UFIDL (Main Track)

Competition results for the UFIDL division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 49 (total = 80, unknown status = 12, trivial = 19)

Division COMPLETE: The winner is CVC4

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)
z3n	0	47	2	0	1.24
CVC4	0	45	4	0	245.00
CVC3	0	0	49	0	0.00

n. Non-competitive.