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

QF_AUFBV (Main Track)

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

Competition benchmarks = 37

Competition industrial benchmarks = 37

The winners for this division are:

Sequential Performances	Sequential Performances (industrial)	Parallel Performances	Parallel Performances (industrial)
CVC4	CVC4	CVC4	CVC4

Division COMPLETE

Solver	Sequential performance			Sequential performance (industrial)			Parallel performance				Parallel performance (industrial)				Other information
Solver	Errors	Corrects	CPU	Errors	Corrects	CPU	Errors	Corrects	CPU	WALL	Errors	Corrects	CPU	WALL	Not solved	Remaining
Boolector (QF_AUFBV)	0	37	24.83	0	37	24.83	0	37	24.83	24.91	0	37	24.83	24.91	0	0
CVC4	0	37	8.27	0	37	8.27	0	37	8.27	8.37	0	37	8.27	8.37	0	0
CVC4 (exp)	0	37	8.30	0	37	8.30	0	37	8.30	8.40	0	37	8.30	8.40	0	0
Yices	0	37	10.27	0	37	10.27	0	37	10.27	10.34	0	37	10.27	10.34	0	0
[MathSat]	0	37	3.40	0	37	3.40	0	37	3.40	3.44	0	37	3.40	3.44	0	0
[z3]	0	34	7263.13	0	34	7263.13	0	34	7263.13	7263.79	0	34	7263.13	7263.79	3	0

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

Last modified: Fri 30 Oct 2015 12:49 UTC