UF (Unknown Benchmarks Track)

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

Benchmarks in this division : 2909

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
CVC4	171	1614668.45	1675415.23
vampire_smt_4.1	343	1569057.37	1559340.75
vampire_smt_4.1_parallel	343	4863157.00	1546408.42
veriT-dev	34	1727504.35	1724313.81
z3n	3	1604553.18	1603918.16

n. Non-competitive.