QF_UFLRA (Application Track)

Competition results for the QF_UFLRA division as of Jul 17 2014
Competition benchmarks = 3333 (check-sat commands = 22066)

Division COMPLETE: The winner is Yices2

Parallel Performance

Solver	Errors	Solved	Not Solved	CPU Time
Z3n	0	22053	13	37844.40
MathSATn	0	21515	551	35897.90
SMTInterpol	0	22006	60	118554.00
CVC4	0	21775	291	104695.00
Yices2	0	22054	12	55642.90

n. Non-competitive.