UFNIA (Main Track)

Competition results for the UFNIA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 1587 (total = 3351, unknown status = 1052, trivial = 712)

Division COMPLETE: The winner is CVC4

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)
z3n	0	1382	205	0	34453.76
CVC4	0	1371	216	0	170245.66
CVC3	0	793	794	0	35825.90

n. Non-competitive.