QF_IDL (Main Track)

Competition results for the QF_IDL division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 1315 (total = 2189, unknown status = 537, trivial = 337)

Division COMPLETE: The winner is Yices2

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)	Weighted Medal Score (weight = 3.119)
Z3n	0	1235	80	0	24813.22	2.751
Yices2	0	1212	103	0	14903.64	2.649
CVC4	0	1130	185	0	119927.16	2.303
veriT	0	979	336	0	172464.50	1.729

n. Non-competitive.