QF_ABV (Unknown Benchmarks Track)

Competition results for the QF_ABV division as of Thu Jul 7 07:28:02 GMT

Benchmarks in this division: 174
Time Limit: 1200s

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
Boolector	173	637.83	637.87
CVC4	173	528.72	619.60
Yices2	173	605.21	605.60
MathSat5n	173	626.95	626.44
z3n	167	4363.65	4361.34

n. Non-competitive.