BV (Unknown Benchmarks Track)

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

Benchmarks in this division : 106

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
Boolector	89	11431.67	11422.49
CVC4	56	29464.02	29453.31
Q3B	99	12111.60	4059.43
z3n	78	16721.33	16713.75

n. Non-competitive.