LRA (Main Track)

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

Division COMPLETE: The winner is CVC4

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)	Weighted Medal Score (weight = 2.233)
CVC4	0	171	0	0	1.10	2.233
Z3n	0	171	0	0	1.14	2.233
CVC3	0	165	6	0	2.25	2.079
veriT	0	66	105	0	0.20	0.333

n. Non-competitive.