QF_UFNRA (Unknown Benchmarks Track)

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

Benchmarks in this division: 9
Time Limit: 1200s

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
CVC4	0	38.47	38.45
Yices2	3	3763.96	3761.80
z3n	7	1525.60	1534.77

n. Non-competitive.