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

Competition-Wide Scoring for the Main Track

Competition results as of Thu Jul 7 07:24:34 GMT

Sequential PerformancesParallel Performances
Rank SolverScore
- z3n185.09
1CVC4180.95
2Yices2119.29
3veriT-dev75.11
- MathSat5n74.06
4SMTInterpol68.91
5vampire_smt_4.1_parallel65.36
6vampire_smt_4.164.90
7Boolector32.52
8OpenSMT218.83
9toysmt10.52
10raSAT 0.48.97
11Boolector (preprop)8.74
12stp-cms-st8.52
13stp-cms-exp8.16
14Minkeyrink8.02
15stp-cms-mt8.02
16ABC_glucose7.77
17MapleSTP6.91
18raSAT 0.36.82
19MapleSTP-mt6.57
20stp-minisat-st6.18
21ABC_default5.01
22ProB3.95
23AProVE2.68
24SMT-RAT-38.67
25Q3B-7120.68
Rank SolverScore
- z3n185.09
1CVC4181.19
2Yices2119.29
3veriT-dev75.11
- MathSat5n74.07
4SMTInterpol68.95
5vampire_smt_4.1_parallel65.62
6vampire_smt_4.164.90
7Boolector32.52
8OpenSMT218.83
9toysmt10.52
10raSAT 0.49.07
11Boolector (preprop)8.74
12Minkeyrink8.71
13stp-cms-mt8.58
14stp-cms-st8.52
15stp-cms-exp8.16
16ABC_glucose7.77
17MapleSTP-mt7.38
18MapleSTP6.91
19stp-minisat-st6.18
20ABC_default5.01
21ProB3.95
22AProVE2.68
23SMT-RAT-38.67
24raSAT 0.3-6638.27
25Q3B-7323.52

n. Non-competitive.

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

Last modified: Thu 07 Jul 2016 07:28 UTC
 Valid XHTML 1.0 Valid CSS!