Print results even when aborting

Signal handlers are not invoked immediately, so if a particular graph
takes a long time SIGINT won't take effect until processing is done.
Ignore acyclic graphs in the benchmark