Home • Rules • Benchmarks • Tools • Specs • Participants • Results • SMT-LIB • Previous

Competition-Wide Scoring for the Main Track

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

Sequential PerformancesParallel Performances
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.

Home • Rules • Benchmarks • Tools • Specs • Participants • Results • SMT-LIB • Previous

Last modified: Fri 13 Jul 2018 00:05 UTC
 Valid XHTML 1.0 Valid CSS!