QF_UFLIA (Main Track)

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

Division COMPLETE: The winner is Yices2

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)	Weighted Medal Score (weight = 2.685)
z3n	0	484	0	0	108.14	2.685
Yices2	0	484	0	0	145.15	2.685
CVC4	0	484	0	0	643.48	2.685
SMTInterpol	0	484	0	0	1906.79	2.685
[MathSAT]	0	484	0	0	2054.81	2.685
veriT	0	438	46	0	86658.63	2.199

n. Non-competitive.