QF_UFLIA (Application Track)

Competition results for the QF_UFLIA division as of Jul 17 2014
Competition benchmarks = 905 (check-sat commands = 766079)

Division COMPLETE: The winner is CVC4

Parallel Performance

Solver	Errors	Solved	Not Solved	CPU Time
Z3n	0	766078	1	35438.00
MathSATn	0	761910	4169	256039.00
SMTInterpol	0	764699	1380	198923.00
CVC4	0	765522	557	175669.00
Yices2	0	762831	3248	432776.00

n. Non-competitive.