QF_AX (Main Track)

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

Division COMPLETE: The winner is Yices2

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)	Weighted Medal Score (weight = 2.525)
Yices2	0	335	0	0	4.05	2.525
MathSATn	0	335	0	0	23.34	2.525
Z3n	0	335	0	0	27.77	2.525
CVC4	0	335	0	0	49.35	2.525
SMTInterpol	0	335	0	0	607.63	2.525

n. Non-competitive.