NIA (Unknown Benchmarks Track)

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

Benchmarks in this division: 5
Time Limit: 1200s

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
CVC4	0	0.41	0.41
ProB	0	4.91	4.90
vampire_smt_4.1	0	3015.35	3000.14
vampire_smt_4.1_parallel	2	8465.26	2274.89
z3n	5	0.29	0.29

n. Non-competitive.