QF_UFNRA (Main Track)

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

Division COMPLETE: The winner is CVC3

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)
z3n	0	27	5	0	2763.69
CVC3	0	17	15	0	0.10
CVC4	0	17	15	0	0.11

n. Non-competitive.