QF_UFNIA (Main Track)

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

Division COMPLETE: The winner is CVC4

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)
CVC4	0	7	0	0	0.04
z3n	0	7	0	0	0.07
CVC3	0	0	7	0	0.00

n. Non-competitive.