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 Performance

Sequential Performance	Sequential Performance (industrial)	Parallel Performance	Parallel Performance (industrial)
CVC4	CVC4	CVC4	CVC4

Division COMPLETE

Sequential Performance

Solver	Errors	Corrects	CPU
Boolector (QF_AUFBV)	0	37	24.83
CVC4	0	37	8.27
CVC4 (exp)	0	37	8.30
Yices	0	37	10.27
MathSatn	0	37	3.40
z3n	0	34	7263.13

Sequential Performance (industrial)

Solver	Errors	Corrects	CPU
Boolector (QF_AUFBV)	0	37	24.83
CVC4	0	37	8.27
CVC4 (exp)	0	37	8.30
Yices	0	37	10.27
MathSatn	0	37	3.40
z3n	0	34	7263.13

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
Boolector (QF_AUFBV)	0	37	24.83	24.91
CVC4	0	37	8.27	8.37
CVC4 (exp)	0	37	8.30	8.40
Yices	0	37	10.27	10.34
MathSatn	0	37	3.40	3.44
z3n	0	34	7263.13	7263.79

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
Boolector (QF_AUFBV)	0	37	24.83	24.91
CVC4	0	37	8.27	8.37
CVC4 (exp)	0	37	8.30	8.40
Yices	0	37	10.27	10.34
MathSatn	0	37	3.40	3.44
z3n	0	34	7263.13	7263.79

Other Information

Solver	Not Solved	Remaining
Boolector (QF_AUFBV)	0	0
CVC4	0	0
CVC4 (exp)	0	0
Yices	0	0
MathSatn	0	0
z3n	3	0

n. Non-competitive.