UFBV (Unknown Benchmarks Track)

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

Benchmarks in this division: 129
Time Limit: 1200s

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
Boolector	109	13923.24	13910.97
CVC4	30	62607.13	63116.31
z3n	95	20500.48	20489.86

n. Non-competitive.