QF_AUFBV (Main Track)

Competition results for the QF_AUFBV division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 37 (total = 37, 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.568)
CVC4	0	37	0	0	9.44	1.568
Yices2	0	36	1	0	1.30	1.485
Z3n	0	33	4	0	5.95	1.247
MathSATn	3	34	0	0	3.31	1.324

n. Non-competitive.