QF_ABV (Main Track)

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

Competition benchmarks = 14720 Competition industrial benchmarks = 14366

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	14696	92438.55
CVC4	0	14575	442987.79
CVC4 (exp)	0	14618	289383.23
Yices	0	14677	147636.14
MathSatn	0	14629	312923.38
z3n	0	14477	653296.38

Sequential Performance (industrial)

Solver	Errors	Corrects	CPU
Boolector (QF_AUFBV)	0	14361	25476.45
CVC4	0	14281	277381.89
CVC4 (exp)	0	14313	153629.48
Yices	0	14355	50152.39
MathSatn	0	14320	173757.09
z3n	0	14184	472437.94

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
Boolector (QF_AUFBV)	0	14696	92460.66	92441.68
CVC4	0	14575	443108.36	442922.39
CVC4 (exp)	0	14618	289457.96	289396.70
Yices	0	14677	147673.54	147689.10
MathSatn	0	14629	313000.77	312864.73
z3n	0	14477	653514.65	653266.56

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
Boolector (QF_AUFBV)	0	14361	25480.91	25498.92
CVC4	0	14281	277449.78	277321.89
CVC4 (exp)	0	14313	153667.97	153645.67
Yices	0	14355	50161.58	50211.81
MathSatn	0	14320	173795.45	173709.95
z3n	0	14184	472601.32	472433.98

Other Information

Solver	Not Solved	Remaining
Boolector (QF_AUFBV)	24	0
CVC4	145	0
CVC4 (exp)	102	0
Yices	43	0
MathSatn	91	0
z3n	243	0

n. Non-competitive.