AUFNIRA (Application Track)

Competition results for the AUFNIRA division as of Jul 17 2014
Competition benchmarks = 165 (check-sat commands = 0)

Division COMPLETE: The winner is CVC4

Parallel Performance

Solver	Errors	Solved	Not Solved	CPU Time
Z3n	0	0	0	3.52
CVC3	0	0	0	3.41
CVC4	0	0	0	2.99

n. Non-competitive.