tailored criterion usage towards output that can be turned into a time/imprecision plot (part 3)
tailored criterion usage towards output that can be turned into a time/imprecision plot (part 3)

michalkonecny/aern