step,rule,n_before,n_after,n_removed,rationale
1,read propositions.csv (no filtering),2,2,0,all propositions assessed
2,read design.csv (no filtering),2,2,0,both design parameters used
3,simulate counterexample sample (no filtering),100000,100000,0,all simulated rows retained