QF_UFBV (Main Track)

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

Competition benchmarks = 31
Competition industrial benchmarks = 31

The winners for this division are:

Sequential Performance

Sequential Performance	Sequential Performance (industrial)	Parallel Performance	Parallel Performance (industrial)
Boolector (QF_AUFBV)	Boolector (QF_AUFBV)	Boolector (QF_AUFBV)	Boolector (QF_AUFBV)

Division COMPLETE

Sequential Performance

Solver	Errors	Corrects	CPU
Boolector (QF_AUFBV)	0	31	1353.32
CVC4	59041.46	19	0
CVC4 (exp)	18297.42	0	0
Yices	11812.03	0	0
MathSatn	34700.62	12	0
z3n	19767.85	0	0

Sequential Performance (industrial)

Solver	Errors	Corrects	CPU
Boolector (QF_AUFBV)	0	31	1353.32
CVC4	0	12	59046.86
CVC4 (exp)	0	31	18303.97
Yices	0	31	11815.62
MathSatn	0	19	34702.41
z3n	0	31	19775.70

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
Boolector (QF_AUFBV)	0	31	1353.32	1352.92
CVC4	0	12	59063.75	59041.46
CVC4 (exp)	0	31	18303.97	18297.42
Yices	0	31	11815.62	11812.03
MathSatn	0	19	34712.54	34700.62
z3n	0	31	19775.70	19767.85

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
Boolector (QF_AUFBV)	0	31	1353.32	1352.92
CVC4	0	12	59063.75	59041.46
CVC4 (exp)	0	31	18303.97	18297.42
Yices	0	31	11815.62	11812.03
MathSatn	0	19	34712.54	34700.62
z3n	0	31	19775.70	19767.85

Other Information

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

n. Non-competitive.