QF_IDL (Unknown Benchmarks Track)

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

Benchmarks in this division : 104

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
CVC4	0	61420.31	61394.16
Yices2	4	60108.87	60076.14
SMTInterpol	1	70735.68	62103.14
veriT-dev	0	61358.50	61327.88
z3n	1	61876.10	61843.98

n. Non-competitive.