LRA (Unknown Benchmarks Track)

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

Benchmarks in this division: 282
Time Limit: 1200s

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
CVC4	263	14096.45	14092.83
vampire_smt_4.1	12	149777.94	149044.69
vampire_smt_4.1_parallel	11	618513.72	162779.25
veriT-dev	10	161292.38	161217.42
z3n	246	23089.30	23076.92

n. Non-competitive.