repro-bundle/verify/claim5/sweep.csv

d,gap,seed,lhs,rhs,margin,holds,precondition_met,vacuous,attn_effective_rank,attn_stable_rank,cluster_concentration_cos,d,measured_value_gap,target_gap
6,0.2,0,0.19999999999999962,0.1,0.09999999999999962,1,1,0,3.027,2.898,-0.007,6,0.2,0.2
6,0.2,1,0.19999999999999962,0.1,0.09999999999999962,1,1,0,2.008,2.0,0.0238,6,0.2,0.2
6,0.2,2,0.19999999999999962,0.1,0.09999999999999962,1,1,0,2.669,2.122,-0.0165,6,0.2,0.2
6,0.2,3,0.19999999999999962,0.1,0.09999999999999962,1,1,0,2.005,2.0,-0.021,6,0.2,0.2
6,0.2,4,0.19999999999999962,0.1,0.09999999999999962,1,1,0,2.019,2.0,-0.0026,6,0.2,0.2
6,0.35,0,0.34999999999999987,0.175,0.17499999999999988,1,1,0,2.042,2.0,-0.0138,6,0.35,0.35
6,0.35,1,0.34999999999999987,0.175,0.17499999999999988,1,1,0,2.005,2.0,0.0071,6,0.35,0.35
6,0.35,2,0.34999999999999987,0.175,0.17499999999999988,1,1,0,2.003,2.0,-0.0194,6,0.35,0.35
6,0.35,3,0.34999999999999987,0.175,0.17499999999999988,1,1,0,2.001,2.0,-0.0194,6,0.35,0.35
6,0.35,4,0.34999999999999987,0.175,0.17499999999999988,1,1,0,2.001,2.0,0.0073,6,0.35,0.35
6,0.5,0,0.5000000000000001,0.25,0.2500000000000001,1,1,0,2.006,2.0,0.0071,6,0.5,0.5
6,0.5,1,0.5000000000000001,0.25,0.2500000000000001,1,1,0,2.0,2.0,-0.0053,6,0.5,0.5
6,0.5,2,0.5000000000000001,0.25,0.2500000000000001,1,1,0,2.001,2.0,-0.0195,6,0.5,0.5
6,0.5,3,0.5000000000000001,0.25,0.2500000000000001,1,1,0,2.0,2.0,-0.0195,6,0.5,0.5
6,0.5,4,0.5000000000000001,0.25,0.2500000000000001,1,1,0,2.0,2.0,0.0071,6,0.5,0.5
8,0.2,0,0.2000000000000004,0.1,0.1000000000000004,1,1,0,3.002,2.811,-0.0031,8,0.2,0.2
8,0.2,1,0.2000000000000004,0.1,0.1000000000000004,1,1,0,2.846,2.268,0.0815,8,0.2,0.2
8,0.2,2,0.2000000000000004,0.1,0.1000000000000004,1,1,0,2.408,2.025,0.1304,8,0.2,0.2
8,0.2,3,0.2000000000000004,0.1,0.1000000000000004,1,1,0,2.009,2.0,0.0242,8,0.2,0.2
8,0.2,4,0.2000000000000004,0.1,0.1000000000000004,1,1,0,3.027,2.842,0.01,8,0.2,0.2
8,0.35,0,0.35,0.175,0.175,1,1,0,2.023,2.0,-0.0138,8,0.35,0.35
8,0.35,1,0.35,0.175,0.175,1,1,0,2.002,2.0,0.0658,8,0.35,0.35
8,0.35,2,0.35,0.175,0.175,1,1,0,2.028,2.0,0.0666,8,0.35,0.35
8,0.35,3,0.35,0.175,0.175,1,1,0,2.135,1.995,0.0412,8,0.35,0.35
8,0.35,4,0.35,0.175,0.175,1,1,0,2.003,2.0,-0.0044,8,0.35,0.35
8,0.5,0,0.5,0.25,0.25,1,1,0,2.002,2.0,-0.0141,8,0.5,0.5
8,0.5,1,0.5,0.25,0.25,1,1,0,2.002,2.0,0.0426,8,0.5,0.5
8,0.5,2,0.5,0.25,0.25,1,1,0,2.001,2.0,0.0426,8,0.5,0.5
8,0.5,3,0.5,0.25,0.25,1,1,0,2.002,2.0,0.0071,8,0.5,0.5
8,0.5,4,0.5,0.25,0.25,1,1,0,2.001,2.0,-0.0141,8,0.5,0.5
12,0.2,0,0.20000000000000084,0.1,0.10000000000000084,1,1,0,2.747,2.193,-0.0084,12,0.2,0.2
12,0.2,1,0.20000000000000084,0.1,0.10000000000000084,1,1,0,2.02,2.0,0.0587,12,0.2,0.2
12,0.2,2,0.20000000000000084,0.1,0.10000000000000084,1,1,0,2.074,2.0,0.0168,12,0.2,0.2
12,0.2,3,0.20000000000000084,0.1,0.10000000000000084,1,1,0,3.144,2.835,0.006,12,0.2,0.2
12,0.2,4,0.20000000000000084,0.1,0.10000000000000084,1,1,0,2.145,2.002,0.0394,12,0.2,0.2
12,0.35,0,0.3500000000000001,0.175,0.1750000000000001,1,1,0,2.032,1.999,-0.0183,12,0.35,0.35
12,0.35,1,0.3500000000000001,0.175,0.1750000000000001,1,1,0,2.002,2.0,-0.0014,12,0.35,0.35
12,0.35,2,0.3500000000000001,0.175,0.1750000000000001,1,1,0,2.006,2.0,0.0079,12,0.35,0.35
12,0.35,3,0.3500000000000001,0.175,0.1750000000000001,1,1,0,2.141,2.001,-0.0183,12,0.35,0.35
12,0.35,4,0.3500000000000001,0.175,0.1750000000000001,1,1,0,2.008,2.0,0.0241,12,0.35,0.35
12,0.5,0,0.5000000000000004,0.25,0.25000000000000044,1,1,0,2.003,2.0,-0.0211,12,0.5,0.5
12,0.5,1,0.5000000000000004,0.25,0.25000000000000044,1,1,0,2.001,2.0,-0.0049,12,0.5,0.5
12,0.5,2,0.5000000000000004,0.25,0.25000000000000044,1,1,0,2.02,2.0,-0.005,12,0.5,0.5
12,0.5,3,0.5000000000000004,0.25,0.25000000000000044,1,1,0,2.083,1.999,-0.0054,12,0.5,0.5
12,0.5,4,0.5000000000000004,0.25,0.25000000000000044,1,1,0,2.002,2.0,0.0231,12,0.5,0.5
16,0.2,0,0.19999999999999996,0.1,0.09999999999999995,1,1,0,3.507,2.295,0.2132,16,0.2,0.2
16,0.2,1,0.19999999999999996,0.1,0.09999999999999995,1,1,0,2.02,2.0,0.045,16,0.2,0.2
16,0.2,2,0.19999999999999996,0.1,0.09999999999999995,1,1,0,2.023,2.0,0.2353,16,0.2,0.2
16,0.2,3,0.19999999999999996,0.1,0.09999999999999995,1,1,0,4.328,3.097,0.207,16,0.2,0.2
16,0.2,4,0.19999999999999996,0.1,0.09999999999999995,1,1,0,2.002,2.0,-0.0172,16,0.2,0.2
16,0.35,0,0.34999999999999953,0.175,0.17499999999999954,1,1,0,2.317,1.998,0.1518,16,0.35,0.35
16,0.35,1,0.34999999999999953,0.175,0.17499999999999954,1,1,0,2.005,2.0,0.0429,16,0.35,0.35
16,0.35,2,0.34999999999999953,0.175,0.17499999999999954,1,1,0,2.054,1.998,0.1928,16,0.35,0.35
16,0.35,3,0.34999999999999953,0.175,0.17499999999999954,1,1,0,2.042,2.0,0.1241,16,0.35,0.35
16,0.35,4,0.34999999999999953,0.175,0.17499999999999954,1,1,0,2.002,2.0,-0.0208,16,0.35,0.35
16,0.5,0,0.5000000000000009,0.25,0.2500000000000009,1,1,0,2.044,2.0,0.0426,16,0.5,0.5
16,0.5,1,0.5000000000000009,0.25,0.2500000000000009,1,1,0,2.025,1.999,0.0424,16,0.5,0.5
16,0.5,2,0.5000000000000009,0.25,0.2500000000000009,1,1,0,2.004,2.0,0.1562,16,0.5,0.5
16,0.5,3,0.5000000000000009,0.25,0.2500000000000009,1,1,0,2.013,2.0,0.0923,16,0.5,0.5
16,0.5,4,0.5000000000000009,0.25,0.2500000000000009,1,1,0,2.006,2.0,-0.0141,16,0.5,0.5