QF_LRA (Main Track)

Competition results for the QF_LRA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 1343 (total = 1682, unknown status = 208, trivial = 131)

Division COMPLETE: The winner is CVC4

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)	Weighted Medal Score (weight = 3.128)
CVC4	0	1333	10	0	69426.83	3.082
Yices2	0	1313	30	0	28691.25	2.990
MathSATn	0	1305	38	0	88009.83	2.954
SMTInterpol	0	1298	45	0	88941.60	2.922
veriT	0	1295	48	0	73697.95	2.908
Z3n	0	1222	121	0	108486.36	2.590

n. Non-competitive.