QF_AUFLIA (Main Track)

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

Division COMPLETE: The winner is Yices2

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)	Weighted Medal Score (weight = 2.785)
Yices2	0	610	0	0	25.17	2.785
MathSATn	0	610	0	0	95.98	2.785
Z3n	0	610	0	0	97.05	2.785
SMTInterpol	0	610	0	0	1160.78	2.785
CVC4	0	610	0	0	1669.16	2.785
veriT	0	8	602	0	0.04	0.000

n. Non-competitive.