QF_UFLRA (Main Track)

Competition results for the QF_UFLRA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 1176 (total = 1630, unknown status = 87, trivial = 367)

Division COMPLETE: The winner is Yices2

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)	Weighted Medal Score (weight = 3.070)
z3n	0	1175	1	0	4232.16	3.065
Yices2	0	1171	5	0	91.99	3.044
[MathSAT]	0	1171	5	0	464.54	3.044
CVC4	0	1171	5	0	1461.07	3.044
SMTInterpol	0	1171	5	0	4124.91	3.044
veriT	0	1099	77	0	26850.24	2.681

n. Non-competitive.