AUFLIA (Main Track)

Competition results for the AUFLIA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 4 (total = 4, 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 = 0.602)
CVC4	0	3	1	0	15.54	0.339
Z3n	0	2	2	0	0.02	0.151
CVC3	0	2	2	0	5.34	0.151
veriT	0	1	3	0	8.35	0.038

n. Non-competitive.