LIA (Unknown Benchmarks Track)

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

Benchmarks in this division: 189
Time Limit: 1200s

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
CVC4	189	32.03	31.97
ProB	0	199.12	195.00
vampire_smt_4.1	18	103177.94	102673.47
vampire_smt_4.1_parallel	16	396798.15	103823.92
veriT-dev	3	2481.23	2478.85
z3n	185	2407.63	2406.36

n. Non-competitive.