UFLRA (Main Track)

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

Division COMPLETE: The winner is veriT

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)	Weighted Medal Score (weight = 1.398)
z3n	0	21	4	0	6.32	0.986
veriT	0	20	5	0	0.06	0.895
CVC3	0	20	5	0	0.12	0.895
CVC4	0	20	5	0	0.14	0.895

n. Non-competitive.