UFLIA (Unknown Benchmarks Track)

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

Benchmarks in this division: 3736
Time Limit: 1200s

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
CVC4	158	2074080.98	2161293.17
vampire_smt_4.1	243	2132902.14	2120235.86
vampire_smt_4.1_parallel	248	6016085.32	2099509.80
veriT-dev	76	2168732.35	2164378.44
z3n	30	2000139.58	2002167.96

n. Non-competitive.