step,rule,n_before,n_after,n_removed,rationale
1,none: simulated sample of design size n kept in full,100000,100000,0,no filtering applied; sample is generated by the counterexample construction