repro-bundle/verify/claim4/sweep.csv

delta,seed,lhs,rhs,margin,holds,precondition_met,vacuous,delta,n_clusters_generic,n_clusters_orth,new_channel_energy,overlap_gap,overlap_generic,overlap_orthogonal
0.3,0,1.0,0.9999998116950862,1.883049137729742e-07,1,1,0,0.3,2,2,0.11725,0.0,1.0,1.0
0.3,1,1.0,0.9998485415373964,0.00015145846260355977,1,1,0,0.3,2,2,0.11666,0.00015,0.99985,1.0
0.3,2,1.0,0.056688778995487854,0.9433112210045121,1,1,0,0.3,2,2,0.11806,0.94331,0.05669,1.0
0.3,3,0.9999999999999998,0.999926897782925,7.310221707479414e-05,1,1,0,0.3,2,2,0.1169,7e-05,0.99993,1.0
0.3,4,1.0,0.9999983989266343,1.6010733656646181e-06,1,1,0,0.3,2,2,0.11721,0.0,1.0,1.0
0.6,0,1.0,0.9999980804823568,1.9195176431674454e-06,1,1,0,0.6,2,2,0.11725,0.0,1.0,1.0
0.6,1,1.0,0.9989917801873742,0.0010082198126257769,1,1,0,0.6,2,2,0.11666,0.00101,0.99899,1.0
0.6,2,1.0,0.053081953947306415,0.9469180460526936,1,1,0,0.6,2,2,0.11806,0.94692,0.05308,1.0
0.6,3,0.9999999999999998,0.9999678284856537,3.2171514346091e-05,1,1,0,0.6,2,2,0.1169,3e-05,0.99997,1.0
0.6,4,1.0,0.9999949108638041,5.089136195901567e-06,1,1,0,0.6,2,2,0.11721,1e-05,0.99999,1.0
1.0,0,1.0,0.9999996741343913,3.258656087190559e-07,1,1,0,1.0,2,2,0.11725,0.0,1.0,1.0
1.0,1,1.0,0.003846517006110897,0.9961534829938891,1,1,0,1.0,2,2,0.11666,0.99615,0.00385,1.0
1.0,2,1.0,0.07195619883379067,0.9280438011662093,1,1,0,1.0,2,2,0.11806,0.92804,0.07196,1.0
1.0,3,0.9999999999999998,0.9999706926663927,2.9307333607064834e-05,1,1,0,1.0,2,2,0.1169,3e-05,0.99997,1.0
1.0,4,1.0,0.9999804753010441,1.9524698955941666e-05,1,1,0,1.0,2,2,0.11721,2e-05,0.99998,1.0
1.5,0,1.0,0.9835145636436642,0.016485436356335814,1,1,0,1.5,2,2,0.11725,0.01649,0.98351,1.0
1.5,1,1.0,0.99960208796413,0.00039791203587002943,1,1,0,1.5,2,2,0.11666,0.0004,0.9996,1.0
1.5,2,1.0,0.4773467171458234,0.5226532828541766,1,1,0,1.5,2,2,0.11806,0.52265,0.47735,1.0
1.5,3,0.9999999999999998,0.9999763251273084,2.367487269139268e-05,1,1,0,1.5,2,2,0.1169,2e-05,0.99998,1.0
1.5,4,1.0,0.99445439700249,0.005545602997509946,1,1,0,1.5,2,2,0.11721,0.00555,0.99445,1.0
2.0,0,1.0,0.9899838573987185,0.010016142601281475,1,1,0,2.0,2,2,0.11725,0.01002,0.98998,1.0
2.0,1,1.0,0.9914060253070809,0.008593974692919115,1,1,0,2.0,2,2,0.11666,0.00859,0.99141,1.0
2.0,2,1.0,0.10862291849034611,0.8913770815096539,1,1,0,2.0,1,2,0.11806,0.89138,0.10862,1.0
2.0,3,0.9999999999999998,0.9999336250055584,6.637499444139827e-05,1,1,0,2.0,2,2,0.1169,7e-05,0.99993,1.0
2.0,4,1.0,0.26496491590303195,0.735035084096968,1,1,0,2.0,2,2,0.11721,0.73504,0.26496,1.0