AUFLIRA (Unknown Benchmarks Track)

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

Benchmarks in this division: 165
Time Limit: 1200s

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
CVC4	18	86272.23	88930.75
vampire_smt_4.1	31	80872.32	80472.27
vampire_smt_4.1_parallel	31	261880.18	80317.14
veriT-dev	3	97328.92	97211.73
z3n	3	75415.31	75583.00

n. Non-competitive.