QF_NRA (Unknown Benchmarks Track)

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

Benchmarks in this division: 1356
Time Limit: 1200s

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
CVC4	0	2165.73	2126.21
SMT-RAT	149	726825.60	726425.08
Yices2	581	483914.67	483638.09
raSAT 0.3	26	801395.47	801093.18
raSAT 0.4	28	1599645.76	798911.15
z3n	415	569624.91	569349.62

n. Non-competitive.