SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Previous Competitions
SMT-LIB

SMT-COMP 2018

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

Competition-Wide Scoring for the Main Track

Competition results as of Fri Jul 13 00:02:11 GMT

Sequential Performance Parallel Performance
Rank SolverScore
1CVC4211.99
- z3-4.7.1n186.19
2Yices 2.6.0115.26
3SMTInterpol65.32
4veriT62.75
- MathSATn59.41
5Vampire 4.341.34
6Boolector34.37
7SPASS-SATT14.81
8Alt-Ergo13.78
9Ctrl-Ergo12.82
10SMTRAT-MCSAT9.74
11Minkeyrink-ST8.49
12STP-CMS-st-20188.17
13veriT+raSAT+Reduce7.83
14Minkeyrink-MT7.70
15STP-Riss-st-20187.63
16STP-CMS-mt-20187.54
17AProVE1.07
18COLIBRI-21.71
19opensmt2-25.83
20CVC4-experimental-idl-2-30.77
21Q3B-34.63
22SMTRAT-Rat-97.36
Rank SolverScore
1CVC4211.99
- z3-4.7.1n186.19
2Yices 2.6.0115.26
3SMTInterpol65.38
4veriT62.75
- MathSATn59.41
5Vampire 4.347.88
6Boolector34.44
7SPASS-SATT14.81
8Alt-Ergo13.88
9Ctrl-Ergo13.32
10SMTRAT-MCSAT9.74
11Minkeyrink-MT8.76
12Minkeyrink-ST8.49
13STP-CMS-mt-20188.46
14STP-CMS-st-20188.17
15veriT+raSAT+Reduce7.83
16STP-Riss-st-20187.63
17AProVE1.07
18COLIBRI-21.71
19opensmt2-25.83
20CVC4-experimental-idl-2-30.77
21Q3B-34.63
22SMTRAT-Rat-97.36

n. Non-competing.