UFLIA (Main Track)

Competition results for the UFLIA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 5766 (total = 12138, unknown status = 5499, trivial = 873)

Division COMPLETE: The winner is CVC4

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)	Weighted Medal Score (weight = 3.761)
CVC4	0	5582	184	0	101235.79	3.525
z3n	0	5145	621	0	45346.45	2.994
veriT	0	3985	1781	0	21518.67	1.796
CVC3	0	8	5758	0	177.79	0.000

n. Non-competitive.