artifacts/claim5/reduction_check.csv

n,domain,n_graphs,n_transitively_closed_dags,mismatches,control_plain_differs,max_editing_optimum
3,exhaustive: all acyclic digraphs,25,19,0,0,1
4,exhaustive: all acyclic digraphs,543,219,0,0,1
5,random sample of 300 acyclic digraphs,300,4231,0,0,2