AUFNIRA (Unknown Benchmarks Track)

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

Benchmarks in this division: 445
Time Limit: 1200s

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
CVC4	9	249180.91	262509.32
vampire_smt_4.1	32	240962.59	239828.61
vampire_smt_4.1_parallel	34	901204.77	239035.04
z3n	8	228795.44	229688.85

n. Non-competitive.