repro-bundle/verify/claim3/sweep.csv

delta,eps,seed,lhs,rhs,margin,holds,precondition_met,vacuous,T_star,affine_pred,delta,eps,eps_times_Tstar,fit_R2,fit_slope_a,inv_eps_times_log,log_inv_delta
0.0001,0.15,0,11.409,11.411550963308835,0.49744903669116525,1,1,0,76.06,11.4116,0.0001,0.15,11.409,1.0,1.0009,61.4023,9.2103
0.0001,0.15,1,11.409,11.411550963308835,0.49744903669116525,1,1,0,76.06,11.4116,0.0001,0.15,11.409,1.0,1.0009,61.4023,9.2103
0.0001,0.15,2,11.409,11.411550963308835,0.49744903669116525,1,1,0,76.06,11.4116,0.0001,0.15,11.409,1.0,1.0009,61.4023,9.2103
0.0001,0.15,3,11.409,11.411550963308835,0.49744903669116525,1,1,0,76.06,11.4116,0.0001,0.15,11.409,1.0,1.0009,61.4023,9.2103
0.0001,0.15,4,11.409,11.411550963308835,0.49744903669116525,1,1,0,76.06,11.4116,0.0001,0.15,11.409,1.0,1.0009,61.4023,9.2103
0.0001,0.25,0,11.41,11.411550963308835,0.4984490366911647,1,1,0,45.64,11.4116,0.0001,0.25,11.41,1.0,1.0009,36.8414,9.2103
0.0001,0.25,1,11.41,11.411550963308835,0.4984490366911647,1,1,0,45.64,11.4116,0.0001,0.25,11.41,1.0,1.0009,36.8414,9.2103
0.0001,0.25,2,11.41,11.411550963308835,0.4984490366911647,1,1,0,45.64,11.4116,0.0001,0.25,11.41,1.0,1.0009,36.8414,9.2103
0.0001,0.25,3,11.41,11.411550963308835,0.4984490366911647,1,1,0,45.64,11.4116,0.0001,0.25,11.41,1.0,1.0009,36.8414,9.2103
0.0001,0.25,4,11.41,11.411550963308835,0.4984490366911647,1,1,0,45.64,11.4116,0.0001,0.25,11.41,1.0,1.0009,36.8414,9.2103
0.0001,0.4,0,11.408000000000001,11.411550963308835,0.4964490366911658,1,1,0,28.52,11.4116,0.0001,0.4,11.408,1.0,1.0009,23.0259,9.2103
0.0001,0.4,1,11.408000000000001,11.411550963308835,0.4964490366911658,1,1,0,28.52,11.4116,0.0001,0.4,11.408,1.0,1.0009,23.0259,9.2103
0.0001,0.4,2,11.408000000000001,11.411550963308835,0.4964490366911658,1,1,0,28.52,11.4116,0.0001,0.4,11.408,1.0,1.0009,23.0259,9.2103
0.0001,0.4,3,11.408000000000001,11.411550963308835,0.4964490366911658,1,1,0,28.52,11.4116,0.0001,0.4,11.408,1.0,1.0009,23.0259,9.2103
0.0001,0.4,4,11.408000000000001,11.411550963308835,0.4964490366911658,1,1,0,28.52,11.4116,0.0001,0.4,11.408,1.0,1.0009,23.0259,9.2103
0.0001,0.5,0,11.41,11.411550963308835,0.4984490366911647,1,1,0,22.82,11.4116,0.0001,0.5,11.41,1.0,1.0009,18.4207,9.2103
0.0001,0.5,1,11.41,11.411550963308835,0.4984490366911647,1,1,0,22.82,11.4116,0.0001,0.5,11.41,1.0,1.0009,18.4207,9.2103
0.0001,0.5,2,11.41,11.411550963308835,0.4984490366911647,1,1,0,22.82,11.4116,0.0001,0.5,11.41,1.0,1.0009,18.4207,9.2103
0.0001,0.5,3,11.41,11.411550963308835,0.4984490366911647,1,1,0,22.82,11.4116,0.0001,0.5,11.41,1.0,1.0009,18.4207,9.2103
0.0001,0.5,4,11.41,11.411550963308835,0.4984490366911647,1,1,0,22.82,11.4116,0.0001,0.5,11.41,1.0,1.0009,18.4207,9.2103
0.001,0.15,0,9.105,9.10695232341086,0.49804767658913995,1,1,0,60.7,9.107,0.001,0.15,9.105,1.0,1.0009,46.0517,6.9078
0.001,0.15,1,9.105,9.10695232341086,0.49804767658913995,1,1,0,60.7,9.107,0.001,0.15,9.105,1.0,1.0009,46.0517,6.9078
0.001,0.15,2,9.105,9.10695232341086,0.49804767658913995,1,1,0,60.7,9.107,0.001,0.15,9.105,1.0,1.0009,46.0517,6.9078
0.001,0.15,3,9.105,9.10695232341086,0.49804767658913995,1,1,0,60.7,9.107,0.001,0.15,9.105,1.0,1.0009,46.0517,6.9078
0.001,0.15,4,9.105,9.10695232341086,0.49804767658913995,1,1,0,60.7,9.107,0.001,0.15,9.105,1.0,1.0009,46.0517,6.9078
0.001,0.25,0,9.105,9.10695232341086,0.49804767658913995,1,1,0,36.42,9.107,0.001,0.25,9.105,1.0,1.0009,27.631,6.9078
0.001,0.25,1,9.105,9.10695232341086,0.49804767658913995,1,1,0,36.42,9.107,0.001,0.25,9.105,1.0,1.0009,27.631,6.9078
0.001,0.25,2,9.105,9.10695232341086,0.49804767658913995,1,1,0,36.42,9.107,0.001,0.25,9.105,1.0,1.0009,27.631,6.9078
0.001,0.25,3,9.105,9.10695232341086,0.49804767658913995,1,1,0,36.42,9.107,0.001,0.25,9.105,1.0,1.0009,27.631,6.9078
0.001,0.25,4,9.105,9.10695232341086,0.49804767658913995,1,1,0,36.42,9.107,0.001,0.25,9.105,1.0,1.0009,27.631,6.9078
0.001,0.4,0,9.112,9.10695232341086,0.4949523234108604,1,1,0,22.78,9.107,0.001,0.4,9.112,1.0,1.0009,17.2694,6.9078
0.001,0.4,1,9.112,9.10695232341086,0.4949523234108604,1,1,0,22.78,9.107,0.001,0.4,9.112,1.0,1.0009,17.2694,6.9078
0.001,0.4,2,9.112,9.10695232341086,0.4949523234108604,1,1,0,22.78,9.107,0.001,0.4,9.112,1.0,1.0009,17.2694,6.9078
0.001,0.4,3,9.112,9.10695232341086,0.4949523234108604,1,1,0,22.78,9.107,0.001,0.4,9.112,1.0,1.0009,17.2694,6.9078
0.001,0.4,4,9.112,9.10695232341086,0.4949523234108604,1,1,0,22.78,9.107,0.001,0.4,9.112,1.0,1.0009,17.2694,6.9078
0.001,0.5,0,9.11,9.10695232341086,0.49695232341086104,1,1,0,18.22,9.107,0.001,0.5,9.11,1.0,1.0009,13.8155,6.9078
0.001,0.5,1,9.11,9.10695232341086,0.49695232341086104,1,1,0,18.22,9.107,0.001,0.5,9.11,1.0,1.0009,13.8155,6.9078
0.001,0.5,2,9.11,9.10695232341086,0.49695232341086104,1,1,0,18.22,9.107,0.001,0.5,9.11,1.0,1.0009,13.8155,6.9078
0.001,0.5,3,9.11,9.10695232341086,0.49695232341086104,1,1,0,18.22,9.107,0.001,0.5,9.11,1.0,1.0009,13.8155,6.9078
0.001,0.5,4,9.11,9.10695232341086,0.49695232341086104,1,1,0,18.22,9.107,0.001,0.5,9.11,1.0,1.0009,13.8155,6.9078
0.01,0.15,0,6.803999999999999,6.802353683512887,0.4983536835128879,1,1,0,45.36,6.8024,0.01,0.15,6.804,1.0,1.0009,30.7011,4.6052
0.01,0.15,1,6.803999999999999,6.802353683512887,0.4983536835128879,1,1,0,45.36,6.8024,0.01,0.15,6.804,1.0,1.0009,30.7011,4.6052
0.01,0.15,2,6.803999999999999,6.802353683512887,0.4983536835128879,1,1,0,45.36,6.8024,0.01,0.15,6.804,1.0,1.0009,30.7011,4.6052
0.01,0.15,3,6.803999999999999,6.802353683512887,0.4983536835128879,1,1,0,45.36,6.8024,0.01,0.15,6.804,1.0,1.0009,30.7011,4.6052
0.01,0.15,4,6.803999999999999,6.802353683512887,0.4983536835128879,1,1,0,45.36,6.8024,0.01,0.15,6.804,1.0,1.0009,30.7011,4.6052
0.01,0.25,0,6.805,6.802353683512887,0.49735368351288756,1,1,0,27.22,6.8024,0.01,0.25,6.805,1.0,1.0009,18.4207,4.6052
0.01,0.25,1,6.805,6.802353683512887,0.49735368351288756,1,1,0,27.22,6.8024,0.01,0.25,6.805,1.0,1.0009,18.4207,4.6052
0.01,0.25,2,6.805,6.802353683512887,0.49735368351288756,1,1,0,27.22,6.8024,0.01,0.25,6.805,1.0,1.0009,18.4207,4.6052
0.01,0.25,3,6.805,6.802353683512887,0.49735368351288756,1,1,0,27.22,6.8024,0.01,0.25,6.805,1.0,1.0009,18.4207,4.6052
0.01,0.25,4,6.805,6.802353683512887,0.49735368351288756,1,1,0,27.22,6.8024,0.01,0.25,6.805,1.0,1.0009,18.4207,4.6052
0.01,0.4,0,6.808,6.802353683512887,0.49435368351288744,1,1,0,17.02,6.8024,0.01,0.4,6.808,1.0,1.0009,11.5129,4.6052
0.01,0.4,1,6.808,6.802353683512887,0.49435368351288744,1,1,0,17.02,6.8024,0.01,0.4,6.808,1.0,1.0009,11.5129,4.6052
0.01,0.4,2,6.808,6.802353683512887,0.49435368351288744,1,1,0,17.02,6.8024,0.01,0.4,6.808,1.0,1.0009,11.5129,4.6052
0.01,0.4,3,6.808,6.802353683512887,0.49435368351288744,1,1,0,17.02,6.8024,0.01,0.4,6.808,1.0,1.0009,11.5129,4.6052
0.01,0.4,4,6.808,6.802353683512887,0.49435368351288744,1,1,0,17.02,6.8024,0.01,0.4,6.808,1.0,1.0009,11.5129,4.6052
0.01,0.5,0,6.8100000000000005,6.802353683512887,0.4923536835128868,1,1,0,13.62,6.8024,0.01,0.5,6.81,1.0,1.0009,9.2103,4.6052
0.01,0.5,1,6.8100000000000005,6.802353683512887,0.4923536835128868,1,1,0,13.62,6.8024,0.01,0.5,6.81,1.0,1.0009,9.2103,4.6052
0.01,0.5,2,6.8100000000000005,6.802353683512887,0.4923536835128868,1,1,0,13.62,6.8024,0.01,0.5,6.81,1.0,1.0009,9.2103,4.6052
0.01,0.5,3,6.8100000000000005,6.802353683512887,0.4923536835128868,1,1,0,13.62,6.8024,0.01,0.5,6.81,1.0,1.0009,9.2103,4.6052
0.01,0.5,4,6.8100000000000005,6.802353683512887,0.4923536835128868,1,1,0,13.62,6.8024,0.01,0.5,6.81,1.0,1.0009,9.2103,4.6052
0.1,0.15,0,4.491,4.497755043614912,0.49324495638508736,1,1,0,29.94,4.4978,0.1,0.15,4.491,1.0,1.0009,15.3506,2.3026
0.1,0.15,1,4.491,4.497755043614912,0.49324495638508736,1,1,0,29.94,4.4978,0.1,0.15,4.491,1.0,1.0009,15.3506,2.3026
0.1,0.15,2,4.491,4.497755043614912,0.49324495638508736,1,1,0,29.94,4.4978,0.1,0.15,4.491,1.0,1.0009,15.3506,2.3026
0.1,0.15,3,4.491,4.497755043614912,0.49324495638508736,1,1,0,29.94,4.4978,0.1,0.15,4.491,1.0,1.0009,15.3506,2.3026
0.1,0.15,4,4.491,4.497755043614912,0.49324495638508736,1,1,0,29.94,4.4978,0.1,0.15,4.491,1.0,1.0009,15.3506,2.3026
0.1,0.25,0,4.49,4.497755043614912,0.4922449563850879,1,1,0,17.96,4.4978,0.1,0.25,4.49,1.0,1.0009,9.2103,2.3026
0.1,0.25,1,4.49,4.497755043614912,0.4922449563850879,1,1,0,17.96,4.4978,0.1,0.25,4.49,1.0,1.0009,9.2103,2.3026
0.1,0.25,2,4.49,4.497755043614912,0.4922449563850879,1,1,0,17.96,4.4978,0.1,0.25,4.49,1.0,1.0009,9.2103,2.3026
0.1,0.25,3,4.49,4.497755043614912,0.4922449563850879,1,1,0,17.96,4.4978,0.1,0.25,4.49,1.0,1.0009,9.2103,2.3026
0.1,0.25,4,4.49,4.497755043614912,0.4922449563850879,1,1,0,17.96,4.4978,0.1,0.25,4.49,1.0,1.0009,9.2103,2.3026
0.1,0.4,0,4.496,4.497755043614912,0.49824495638508814,1,1,0,11.24,4.4978,0.1,0.4,4.496,1.0,1.0009,5.7565,2.3026
0.1,0.4,1,4.496,4.497755043614912,0.49824495638508814,1,1,0,11.24,4.4978,0.1,0.4,4.496,1.0,1.0009,5.7565,2.3026
0.1,0.4,2,4.496,4.497755043614912,0.49824495638508814,1,1,0,11.24,4.4978,0.1,0.4,4.496,1.0,1.0009,5.7565,2.3026
0.1,0.4,3,4.496,4.497755043614912,0.49824495638508814,1,1,0,11.24,4.4978,0.1,0.4,4.496,1.0,1.0009,5.7565,2.3026
0.1,0.4,4,4.496,4.497755043614912,0.49824495638508814,1,1,0,11.24,4.4978,0.1,0.4,4.496,1.0,1.0009,5.7565,2.3026
0.1,0.5,0,4.49,4.497755043614912,0.4922449563850879,1,1,0,8.98,4.4978,0.1,0.5,4.49,1.0,1.0009,4.6052,2.3026
0.1,0.5,1,4.49,4.497755043614912,0.4922449563850879,1,1,0,8.98,4.4978,0.1,0.5,4.49,1.0,1.0009,4.6052,2.3026
0.1,0.5,2,4.49,4.497755043614912,0.4922449563850879,1,1,0,8.98,4.4978,0.1,0.5,4.49,1.0,1.0009,4.6052,2.3026
0.1,0.5,3,4.49,4.497755043614912,0.4922449563850879,1,1,0,8.98,4.4978,0.1,0.5,4.49,1.0,1.0009,4.6052,2.3026
0.1,0.5,4,4.49,4.497755043614912,0.4922449563850879,1,1,0,8.98,4.4978,0.1,0.5,4.49,1.0,1.0009,4.6052,2.3026