UFLRA (Application Track)

Competition results for the UFLRA division as of Jul 17 2014
Competition benchmarks = 5358 (check-sat commands = 223820)

Division COMPLETE: The winner is CVC3

Parallel Performance

Solver	Errors	Solved	Not Solved	CPU Time
Z3n	0	223365	455	370861.00
CVC4	0	66315	157505	2815900.00
CVC3	0	67802	156018	194698.00

n. Non-competitive.