SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2018

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides
Report

LRA (Main Track)

Competition results for the LRA division as of Fri Jul 13 00:02:11 GMT

Benchmarks in this division : 2419
Time limit: 1200s

Winners

Sequential PerformanceParallel Performance
CVC4CVC4

Result table1

Sequential Performance

Solver Error Score Correctly Solved Score CPU time Score Solved Unsolved
z3-4.7.1n 0.000 2251.758 107.982 2211 208
CVC4 0.000 2139.137 166.110 2074 345
Vampire 4.3 0.000 782.918 830.496 700 1719

Parallel Performance

Solver Error Score Correctly Solved Score CPU time Score WALL time Score Solved Unsolved
z3-4.7.1n 0.0002251.758107.983107.9742211208
CVC4 0.0002139.137166.126166.6292074345
Vampire 4.3 0.0001032.1183067.115771.6339861433

n. Non-competing.

1. Scores are computed according to Section 7 of the rules.