UFIDL (Unknown Benchmarks Track)

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

Benchmarks in this division: 12
Time Limit: 1200s

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
CVC4	0	6831.31	7200.59
vampire_smt_4.1	4	4848.90	4820.82
vampire_smt_4.1_parallel	4	18125.44	4807.23
veriT-dev	0	7203.97	7200.74
z3n	0	6580.34	6577.57

n. Non-competitive.