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

QF_BV (Application Track)

Competition results for the QF_BV division as of Fri Oct 30 12:49:29 GMT

Competition benchmarks = 18

Competition industrial benchmarks = 18

The winner is : Yices

The winner on industrial benchmarks is : Yices

Division COMPLETE

Solver	Parallel performance				Parallel performance (industrial)
Solver	Errors	Corrects	CPU	WALL	Errors	Corrects	CPU	WALL
Boolector	0	0	43216.28	43200.20	0	0	43216.28	43200.20
[Boolector fixed]	0	1598	30817.81	30805.37	0	1598	30817.81	30805.37
CVC4 (exp)	0	1560	31459.59	31448.47	0	1560	31459.59	31448.47
CVC4	0	1728	36234.01	36220.68	0	1728	36234.01	36220.68
[MathSat 5.3.6]	0	1998	29381.12	29370.88	0	1998	29381.12	29370.88
Yices	0	1923	30192.19	30180.42	0	1923	30192.19	30180.42
STP-CMSat4 (mt-v15)	0	0	0.17	43200.37	0	0	0.17	43200.37
STP-CMSat4 (v15)	0	0	0.17	43200.36	0	0	0.17	43200.36
STP-CMSat4	0	0	0.18	43200.37	0	0	0.18	43200.37
STP-MiniSAT (v15)	0	0	0.17	43200.37	0	0	0.17	43200.37
[z3 4.4.0]	0	1659	38711.93	38697.27	0	1659	38711.93	38697.27

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

Last modified: Fri 30 Oct 2015 12:49 UTC