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

Competition-Wide Scoring for the Main Track

Competition results as of Fri Oct 30 12:49:29 GMT

Sequential PerformancesParallel Performances Sequential Performances (industrial benchmarks) Parallel Performances (industrial benchmarks)
Rank SolverScore
- [Z3]159.36
1CVC4144.67
2CVC4 (exp)140.47
3Yices101.91
- [MathSat]79.77
4veriT70.68
5SMTInterpol68.31
6CVC324.44
7Boolector (QF_AUFBV)16.61
8raSAT13.52
9Boolector (QF_BV)10.06
10STP-CMSat49.96
11OpenSMT28.75
12Yices2-NL8.64
13AProVE8.61
14SMT-RAT (parallel)6.96
15OpenSMT2 (parallel)-17.60
16SMT-RAT-130.02
17STP-CMSat4 (mt-v15)-142.54
18STP-CMSat4 (v15)-162.91
19STP-MiniSAT (v15)-162.91
Rank SolverScore
- [Z3]159.36
1CVC4144.74
2CVC4 (exp)140.51
3Yices101.91
- [MathSat]79.77
4veriT70.68
5SMTInterpol68.44
6CVC324.44
7Boolector (QF_AUFBV)16.61
8raSAT13.52
9Boolector (QF_BV)10.06
10STP-CMSat49.96
11OpenSMT28.75
12Yices2-NL8.64
13AProVE8.61
14SMT-RAT (parallel)6.97
15OpenSMT2 (parallel)-17.60
16SMT-RAT-130.02
17STP-CMSat4 (mt-v15)-142.54
18STP-CMSat4 (v15)-162.91
19STP-MiniSAT (v15)-162.91
Rank SolverScore
- [Z3]139.34
1CVC4124.59
2CVC4 (exp)120.49
3Yices81.64
4veriT60.94
- [MathSat]60.27
5SMTInterpol47.87
6CVC325.19
7Boolector (QF_AUFBV)16.61
8raSAT13.59
9Boolector (QF_BV)10.04
10STP-CMSat410.00
11Yices2-NL8.71
12AProVE8.60
13SMT-RAT (parallel)7.15
14OpenSMT21.10
15OpenSMT2 (parallel)1.10
16SMT-RAT-119.71
17STP-CMSat4 (mt-v15)-141.72
18STP-CMSat4 (v15)-161.97
19STP-MiniSAT (v15)-161.97
Rank SolverScore
- [Z3]139.34
1CVC4124.63
2CVC4 (exp)120.51
3Yices81.64
4veriT60.94
- [MathSat]60.27
5SMTInterpol47.97
6CVC325.19
7Boolector (QF_AUFBV)16.61
8raSAT13.59
9Boolector (QF_BV)10.04
10STP-CMSat410.00
11Yices2-NL8.71
12AProVE8.60
13SMT-RAT (parallel)7.16
14OpenSMT21.10
15OpenSMT2 (parallel)1.10
16SMT-RAT-119.71
17STP-CMSat4 (mt-v15)-141.72
18STP-CMSat4 (v15)-161.97
19STP-MiniSAT (v15)-161.97
Home • Rules • Benchmarks • Tools • Specs • Participants • Results • SMT-LIB • Previous

Last modified: Fri 30 Oct 2015 12:49 UTC
 Valid XHTML 1.0 Valid CSS!