QF_NIRA (Unknown Benchmarks Track)

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

Benchmarks in this division: 1
Time Limit: 1200s

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
CVC4	0	600.17	600.12
Yices2	0	600.44	600.12
raSAT 0.3	0	156.90	156.81
raSAT 0.4	0	159.02	600.07
z3n	0	600.32	600.04

n. Non-competitive.