QF_IDL (Main Track)

Competition results for the QF_IDL division as of Fri Oct 30 12:49:29 GMT

Competition benchmarks = 2094
Competition industrial benchmarks = 1074

The winners for this division are:

Sequential Performance

Sequential Performance	Sequential Performance (industrial)	Parallel Performance	Parallel Performance (industrial)
Yices	Yices	Yices	Yices

Division COMPLETE

Sequential Performance

Solver	Errors	Corrects	CPU
CVC4	0	1834	812546.38
CVC4 (exp)	0	1835	812119.48
SMTInterpol	0	1646	1264057.27
Yices	0	1950	395133.07
z3n	0	1965	431735.20
veriT	0	1638	1332543.16

Sequential Performance (industrial)

Solver	Errors	Corrects	CPU
CVC4	0	991	292132.68
CVC4 (exp)	0	992	291687.86
SMTInterpol	0	869	597200.74
Yices	0	1012	192096.80
z3n	0	1023	228443.27
veriT	0	935	422027.61

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
CVC4	0	1834	812777.75	812472.85
CVC4 (exp)	0	1835	812348.86	812046.56
SMTInterpol	0	1648	1592553.47	1232274.35
Yices	0	1950	395259.88	395118.58
z3n	0	1965	431863.50	431682.47
veriT	0	1638	1332925.88	1332462.81

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
CVC4	0	991	292201.07	292101.56
CVC4 (exp)	0	992	291753.95	291644.79
SMTInterpol	0	870	839201.52	580923.92
Yices	0	1012	192149.82	192084.96
z3n	0	1023	228490.03	228403.24
veriT	0	935	422121.39	422006.96

Other Information

Solver	Not Solved	Remaining
CVC4	260	0
CVC4 (exp)	259	0
SMTInterpol	446	0
Yices	144	0
z3n	129	0
veriT	456	0

n. Non-competitive.