repro-bundle/verify/claim5/sweep.csv

d,rho,seed,lhs,rhs,margin,holds,precondition_met,vacuous,acceleration_gap,d,n_linear,overlap_v_correlated,overlap_v_independent,rho
60,0.6,0,1.0,1.0,0.0,1,1,0,0.8528,60,2400,0.9462,0.0934,0.6
60,0.6,1,1.0,1.0,0.0,1,1,0,0.788,60,2400,0.9385,0.1505,0.6
60,0.6,2,1.0,1.0,0.0,1,1,0,0.7268,60,2400,0.9468,0.22,0.6
60,0.6,3,1.0,1.0,0.0,1,1,0,0.769,60,2400,0.9459,0.1769,0.6
60,0.8,0,1.0,1.0,0.0,1,1,0,0.8755,60,2400,0.9688,0.0934,0.8
60,0.8,1,1.0,1.0,0.0,1,1,0,0.8171,60,2400,0.9676,0.1505,0.8
60,0.8,2,1.0,1.0,0.0,1,1,0,0.7462,60,2400,0.9661,0.22,0.8
60,0.8,3,1.0,1.0,0.0,1,1,0,0.7925,60,2400,0.9694,0.1769,0.8
120,0.6,0,1.0,1.0,0.0,1,1,0,0.8033,120,4800,0.9411,0.1378,0.6
120,0.6,1,1.0,1.0,0.0,1,1,0,0.8423,120,4800,0.9461,0.1038,0.6
120,0.6,2,1.0,1.0,0.0,1,1,0,0.7868,120,4800,0.9407,0.1539,0.6
120,0.6,3,1.0,1.0,0.0,1,1,0,0.9285,120,4800,0.943,0.0145,0.6
120,0.8,0,1.0,1.0,0.0,1,1,0,0.829,120,4800,0.9668,0.1378,0.8
120,0.8,1,1.0,1.0,0.0,1,1,0,0.8635,120,4800,0.9672,0.1038,0.8
120,0.8,2,1.0,1.0,0.0,1,1,0,0.8113,120,4800,0.9652,0.1539,0.8
120,0.8,3,1.0,1.0,0.0,1,1,0,0.9509,120,4800,0.9654,0.0145,0.8