UF (Main Track)

Competition results for the UF division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 2830 (total = 5748, unknown status = 2911, trivial = 7)

Division COMPLETE: The winner is CVC4

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)	Weighted Medal Score (weight = 3.452)
CVC4	0	2732	98	0	87682.16	3.217
z3n	0	1802	1028	0	21936.93	1.400
CVC3	0	1682	1148	0	31862.96	1.219
veriT	0	1410	1420	0	7880.76	0.857

n. Non-competitive.