QF_ALIA (Main Track)

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

Division COMPLETE: The winner is Yices2

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)	Weighted Medal Score (weight = 1.987)
Yices2	0	97	0	0	63.45	1.987
SMTInterpol	0	97	0	0	894.62	1.987
Z3n	0	97	0	0	5152.12	1.987
MathSATn	0	78	19	0	8507.60	1.285
CVC4	0	77	20	0	9402.96	1.252

n. Non-competitive.