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

Competition-Wide Scoring for the Main Track

Competition results as of Fri Jul 21 10:18:02 GMT

Sequential Performances

Parallel Performances

Rank	Solver	Score
-	z3-4.5.0ⁿ	171.99
1	CVC4	161.38
2	Yices2	110.63
3	SMTInterpol	65.96
4	veriT	62.57
5	vampire 4.2	42.72
6	Boolector	29.12
-	mathsat-5.4.1ⁿ	21.59
7	SMTRAT	17.27
8	veriT+Redlog	13.51
9	Redlog	12.39
10	Boolector+CaDiCaL	8.19
11	MinkeyRink	8.09
12	stp_st	7.89
13	veriT+raSAT+Redlog	7.64
14	stp_mt	7.48
15	Q3B	7.05
16	AProVE	1.07
17	opensmt2	-21.35
18	xsat	-42.42
19	COLIBRI	-42.42

Rank	Solver	Score
-	z3-4.5.0ⁿ	171.99
1	CVC4	161.76
2	Yices2	110.63
3	SMTInterpol	66.00
4	veriT	62.57
5	vampire 4.2	43.97
6	Boolector	29.23
-	mathsat-5.4.1ⁿ	21.59
7	SMTRAT	17.27
8	veriT+Redlog	13.51
9	Redlog	12.39
10	MinkeyRink	8.39
11	Boolector+CaDiCaL	8.19
12	stp_mt	8.09
13	stp_st	7.89
14	veriT+raSAT+Redlog	7.64
15	Q3B	7.18
16	AProVE	1.07
17	opensmt2	-21.35
18	xsat	-42.42
19	COLIBRI	-42.42

n. Non-competing.

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

Last modified: Fri 21 Jul 2017 10:19 UTC