NIA (Main Track)

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

Division COMPLETE: The winner is CVC4

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)
Z3n	0	9	0	0	0.13
CVC4	0	3	6	0	0.02
CVC3	0	0	9	0	0.00

n. Non-competitive.