AUFLIRA (Main Track)

Competition results for the AUFLIRA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 10791 (total = 20014, unknown status = 168, trivial = 9055)

Division COMPLETE: The winner is CVC4

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)	Weighted Medal Score (weight = 4.033)
Z3n	0	10787	4	0	308.31	4.030
CVC4	0	10683	108	0	29122.58	3.953
CVC3	0	10647	144	0	23941.17	3.926
veriT	0	10189	602	0	303.48	3.596

n. Non-competitive.