QF_UFBV (Main Track)

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

Division COMPLETE: The winner is Yices2

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)	Weighted Medal Score (weight = 1.491)
Yices2	0	31	0	0	10791.66	1.491
z3n	0	28	3	0	14164.21	1.217
MathSATn	0	19	12	0	6080.54	0.560
CVC4	0	12	19	0	13405.93	0.223

n. Non-competitive.