ALIA (Main Track)

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

Division COMPLETE: The winner is CVC4

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)	Weighted Medal Score (weight = 1.462)
Z3n	0	29	0	0	0.77	1.462
CVC4	0	29	0	0	36.65	1.462
veriT	0	14	15	0	0.10	0.341
CVC3	0	0	29	0	0.00	0.000

n. Non-competitive.