QF_UFIDL (Main Track)

Competition results for the QF_UFIDL division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 311 (total = 441, unknown status = 0, trivial = 130)

Division COMPLETE: The winner is Yices2

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)	Weighted Medal Score (weight = 2.493)
z3n	0	309	2	0	940.22	2.461
Yices2	0	309	2	0	6985.17	2.461
CVC4	0	284	27	0	23302.90	2.079
veriT	0	281	30	0	15557.03	2.035

n. Non-competitive.