LIA (Main Track)

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

Division COMPLETE: The winner is CVC4

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)	Weighted Medal Score (weight = 1.663)
Z3n	0	46	0	0	0.59	1.663
CVC4	0	44	2	0	0.29	1.521
CVC3	0	33	13	0	0.24	0.856
veriT	0	4	42	0	0.01	0.013

n. Non-competitive.