NRA (Main Track)

Competition results for the NRA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 3747 (total = 3813, unknown status = 66, trivial = 0)

Division COMPLETE: The winner is CVC4

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)
Z3n	0	3714	33	0	2059.42
CVC4	0	3661	86	0	107.97
CVC3	0	0	3747	0	0.00

n. Non-competitive.