NRA (Unknown Benchmarks Track)

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

Benchmarks in this division: 25
Time Limit: 1200s

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
CVC4	7	2.91	2.90
vampire_smt_4.1	24	2120.20	2109.36
vampire_smt_4.1_parallel	24	2602.10	721.59
z3n	13	131.03	130.93

n. Non-competitive.