AUFNIRA (Main Track)

Competition results for the AUFNIRA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 564 (total = 1495, unknown status = 468, trivial = 463)

Division COMPLETE: The winner is CVC3

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)
CVC4-with-bugfixn	0	547	17	0	4107.47
Z3n	0	541	23	0	303.78
CVC3	0	533	31	0	1596.65
CVC4	1	547	16	0	3137.72

n. Non-competitive.