UFNIA (Unknown Benchmarks Track)

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

Benchmarks in this division : 1033

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
CVC4	98	531195.00	567695.52
vampire_smt_4.1	398	407061.46	404785.97
vampire_smt_4.1_parallel	407	1131285.46	385928.83
z3n	45	507804.20	507951.90

n. Non-competitive.