repro-bundle/verify/claim2/sweep.csv

delta,n,seed,lhs,rhs,margin,holds,precondition_met,vacuous,bound_C_delta_over_n1,delta,delta_over_n1,eps_gap,escape_ratio,n,short_over_delta_over_n1,w2_long,w2_short
0.01,8,0,0.0016666666666666666,0.0013095215803364136,0.00035714508633025296,1,1,0,0.0016667,0.01,0.0011111,0.329,763.6,8,1.1786,1.0,0.0013095
0.01,8,1,0.0016666666666666666,0.0013164055730074877,0.00035026109365917887,1,1,0,0.0016667,0.01,0.0011111,0.3395,759.6,8,1.1848,1.0,0.0013164
0.01,8,2,0.0016666666666666666,0.0013233257060203776,0.000343340960646289,1,1,0,0.0016667,0.01,0.0011111,0.35,755.7,8,1.191,1.0,0.0013233
0.01,8,3,0.0016666666666666666,0.0013302821686028655,0.00033638449806380104,1,1,0,0.0016667,0.01,0.0011111,0.3605,751.7,8,1.1973,1.0,0.0013303
0.01,8,4,0.0016666666666666666,0.0013372751509681655,0.0003293915156985011,1,1,0,0.0016667,0.01,0.0011111,0.371,747.8,8,1.2035,1.0,0.0013373
0.01,16,0,0.0008823529411764705,0.000693340939764938,0.00018901200141153247,1,1,0,0.0008824,0.01,0.0005882,0.329,1442.3,16,1.1787,1.0,0.0006933
0.01,16,1,0.0008823529411764705,0.0006969880077996315,0.00018536493337683896,1,1,0,0.0008824,0.01,0.0005882,0.3395,1434.7,16,1.1849,1.0,0.000697
0.01,16,2,0.0008823529411764705,0.000700654246458012,0.00018169869471845854,1,1,0,0.0008824,0.01,0.0005882,0.35,1427.2,16,1.1911,1.0,0.0007007
0.01,16,3,0.0008823529411764705,0.0007043397563674354,0.00017801318480903513,1,1,0,0.0008824,0.01,0.0005882,0.3605,1419.8,16,1.1974,1.0,0.0007043
0.01,16,4,0.0008823529411764705,0.0007080446386819498,0.00017430830249452072,1,1,0,0.0008824,0.01,0.0005882,0.371,1412.3,16,1.2037,1.0,0.000708
0.01,32,0,0.00045454545454545455,0.0003571938490605722,9.735160548488236e-05,1,1,0,0.0004545,0.01,0.000303,0.329,2799.6,32,1.1787,1.0,0.0003572
0.01,32,1,0.00045454545454545455,0.00035907337283632053,9.547208170913402e-05,1,1,0,0.0004545,0.01,0.000303,0.3395,2784.9,32,1.1849,1.0,0.0003591
0.01,32,2,0.00045454545454545455,0.00036096278293500946,9.358267161044509e-05,1,1,0,0.0004545,0.01,0.000303,0.35,2770.4,32,1.1912,1.0,0.000361
0.01,32,3,0.00045454545454545455,0.0003628621313210835,9.168332322437105e-05,1,1,0,0.0004545,0.01,0.000303,0.3605,2755.9,32,1.1974,1.0,0.0003629
0.01,32,4,0.00045454545454545455,0.00036477147023171935,8.97739843137352e-05,1,1,0,0.0004545,0.01,0.000303,0.371,2741.4,32,1.2037,1.0,0.0003648
0.01,64,0,0.00023076923076923076,0.0001813494066944238,4.9419824074806965e-05,1,1,0,0.0002308,0.01,0.0001538,0.329,5514.2,64,1.1788,1.0,0.0001813
0.01,64,1,0.00023076923076923076,0.00018230382065236974,4.846541011686102e-05,1,1,0,0.0002308,0.01,0.0001538,0.3395,5485.3,64,1.185,1.0,0.0001823
0.01,64,2,0.00023076923076923076,0.0001832632566226882,4.750597414654255e-05,1,1,0,0.0002308,0.01,0.0001538,0.35,5456.6,64,1.1912,1.0,0.0001833
0.01,64,3,0.00023076923076923076,0.00018422774102085234,4.654148974837842e-05,1,1,0,0.0002308,0.01,0.0001538,0.3605,5428.1,64,1.1975,1.0,0.0001842
0.01,64,4,0.00023076923076923076,0.00018519730040117346,4.557193036805731e-05,1,1,0,0.0002308,0.01,0.0001538,0.371,5399.6,64,1.2038,1.0,0.0001852
0.03,8,0,0.005,0.003927004689937408,0.0010729953100625921,1,1,0,0.005,0.03,0.0033333,0.329,254.6,8,1.1781,1.0,0.003927
0.03,8,1,0.005,0.00394759407768915,0.0010524059223108503,1,1,0,0.005,0.03,0.0033333,0.3395,253.3,8,1.1843,1.0,0.0039476
0.03,8,2,0.005,0.0039682909860593255,0.0010317090139406746,1,1,0,0.005,0.03,0.0033333,0.35,252.0,8,1.1905,1.0,0.0039683
0.03,8,3,0.005,0.003989095972013242,0.0010109040279867578,1,1,0,0.005,0.03,0.0033333,0.3605,250.7,8,1.1967,1.0,0.0039891
0.03,8,4,0.005,0.004010009595353746,0.0009899904046462545,1,1,0,0.005,0.03,0.0033333,0.371,249.4,8,1.203,1.0,0.00401
0.03,16,0,0.0026470588235294116,0.002079585409662009,0.0005674734138674028,1,1,0,0.0026471,0.03,0.0017647,0.329,480.9,16,1.1784,1.0,0.0020796
0.03,16,1,0.0026470588235294116,0.0020905090587079165,0.0005565497648214951,1,1,0,0.0026471,0.03,0.0017647,0.3395,478.4,16,1.1846,1.0,0.0020905
0.03,16,2,0.0026470588235294116,0.0021014899666734303,0.0005455688568559813,1,1,0,0.0026471,0.03,0.0017647,0.35,475.9,16,1.1908,1.0,0.0021015
0.03,16,3,0.0026470588235294116,0.0021125284324216803,0.0005345303911077313,1,1,0,0.0026471,0.03,0.0017647,0.3605,473.4,16,1.1971,1.0,0.0021125
0.03,16,4,0.0026470588235294116,0.0021236247563622746,0.000523434067167137,1,1,0,0.0026471,0.03,0.0017647,0.371,470.9,16,1.2034,1.0,0.0021236
0.03,32,0,0.0013636363636363635,0.001071465443263346,0.0002921709203730176,1,1,0,0.0013636,0.03,0.0009091,0.329,933.3,32,1.1786,1.0,0.0010715
0.03,32,1,0.0013636363636363635,0.0010770993540054972,0.0002865370096308663,1,1,0,0.0013636,0.03,0.0009091,0.3395,928.4,32,1.1848,1.0,0.0010771
0.03,32,2,0.0013636363636363635,0.0010827628565026855,0.000280873507133678,1,1,0,0.0013636,0.03,0.0009091,0.35,923.6,32,1.191,1.0,0.0010828
0.03,32,3,0.0013636363636363635,0.0010884561058449082,0.00027518025779145537,1,1,0,0.0013636,0.03,0.0009091,0.3605,918.7,32,1.1973,1.0,0.0010885
0.03,32,4,0.0013636363636363635,0.0010941792579314013,0.0002694571057049622,1,1,0,0.0013636,0.03,0.0009091,0.371,913.9,32,1.2036,1.0,0.0010942
0.03,64,0,0.0006923076923076923,0.000544018290933657,0.00014828940137403526,1,1,0,0.0006923,0.03,0.0004615,0.329,1838.2,64,1.1787,1.0,0.000544
0.03,64,1,0.0006923076923076923,0.00054688033129138,0.00014542736101631228,1,1,0,0.0006923,0.03,0.0004615,0.3395,1828.6,64,1.1849,1.0,0.0005469
0.03,64,2,0.0006923076923076923,0.0005497574203502663,0.00014255027195742595,1,1,0,0.0006923,0.03,0.0004615,0.35,1819.0,64,1.1911,1.0,0.0005498
0.03,64,3,0.0006923076923076923,0.0005526496371493818,0.0001396580551583105,1,1,0,0.0006923,0.03,0.0004615,0.3605,1809.5,64,1.1974,1.0,0.0005526
0.03,64,4,0.0006923076923076923,0.0005555570611419919,0.00013675063116570037,1,1,0,0.0006923,0.03,0.0004615,0.371,1800.0,64,1.2037,1.0,0.0005556
0.06,8,0,0.01,0.007849333870168885,0.0021506661298311153,1,1,0,0.01,0.06,0.0066667,0.329,127.4,8,1.1774,1.0,0.0078493
0.06,8,1,0.01,0.007890325228590202,0.0021096747714097978,1,1,0,0.01,0.06,0.0066667,0.3395,126.7,8,1.1835,1.0,0.0078903
0.06,8,2,0.01,0.007931528943708742,0.0020684710562912587,1,1,0,0.01,0.06,0.0066667,0.35,126.1,8,1.1897,1.0,0.0079315
0.06,8,3,0.01,0.007972946097722937,0.002027053902277063,1,1,0,0.01,0.06,0.0066667,0.3605,125.4,8,1.1959,1.0,0.0079729
0.06,8,4,0.01,0.00801457777815852,0.00198542222184148,1,1,0,0.01,0.06,0.0066667,0.371,124.8,8,1.2022,1.0,0.0080146
0.06,16,0,0.005294117647058823,0.004157859280082136,0.0011362583669766871,1,1,0,0.0052941,0.06,0.0035294,0.329,240.5,16,1.1781,1.0,0.0041579
0.06,16,1,0.005294117647058823,0.0041796539655555316,0.0011144636815032917,1,1,0,0.0052941,0.06,0.0035294,0.3395,239.3,16,1.1842,1.0,0.0041797
0.06,16,2,0.005294117647058823,0.004201562412495009,0.001092555234563814,1,1,0,0.0052941,0.06,0.0035294,0.35,238.0,16,1.1904,1.0,0.0042016
0.06,16,3,0.005294117647058823,0.004223585209632946,0.0010705324374258775,1,1,0,0.0052941,0.06,0.0035294,0.3605,236.8,16,1.1967,1.0,0.0042236
0.06,16,4,0.005294117647058823,0.004245722948695179,0.001048394698363644,1,1,0,0.0052941,0.06,0.0035294,0.371,235.5,16,1.203,1.0,0.0042457
0.06,32,0,0.002727272727272727,0.0021425826691036103,0.0005846900581691168,1,1,0,0.0027273,0.06,0.0018182,0.329,466.7,32,1.1784,1.0,0.0021426
0.06,32,1,0.002727272727272727,0.0021538365160231124,0.0005734362112496147,1,1,0,0.0027273,0.06,0.0018182,0.3395,464.3,32,1.1846,1.0,0.0021538
0.06,32,2,0.002727272727272727,0.0021651493451509962,0.0005621233821217308,1,1,0,0.0027273,0.06,0.0018182,0.35,461.9,32,1.1908,1.0,0.0021651
0.06,32,3,0.002727272727272727,0.0021765214642658786,0.0005507512630068484,1,1,0,0.0027273,0.06,0.0018182,0.3605,459.4,32,1.1971,1.0,0.0021765
0.06,32,4,0.002727272727272727,0.002187953182738153,0.000539319544534574,1,1,0,0.0027273,0.06,0.0018182,0.371,457.0,32,1.2034,1.0,0.002188
0.06,64,0,0.0013846153846153845,0.0010879468067659067,0.00029666857784947783,1,1,0,0.0013846,0.06,0.0009231,0.329,919.2,64,1.1786,1.0,0.0010879
0.06,64,1,0.0013846153846153845,0.0010936672838743168,0.0002909481007410677,1,1,0,0.0013846,0.06,0.0009231,0.3395,914.4,64,1.1848,1.0,0.0010937
0.06,64,2,0.0013846153846153845,0.0010994178064216698,0.00028519757819371475,1,1,0,0.0013846,0.06,0.0009231,0.35,909.6,64,1.191,1.0,0.0010994
0.06,64,3,0.0013846153846153845,0.0011051985318651664,0.0002794168527502181,1,1,0,0.0013846,0.06,0.0009231,0.3605,904.8,64,1.1973,1.0,0.0011052
0.06,64,4,0.0013846153846153845,0.0011110096184834873,0.0002736057661318972,1,1,0,0.0013846,0.06,0.0009231,0.371,900.1,64,1.2036,1.0,0.001111
0.1,8,0,0.01666666666666667,0.013071847516074023,0.003594819150592647,1,1,0,0.0166667,0.1,0.0111111,0.329,76.5,8,1.1765,1.0,0.0130718
0.1,8,1,0.01666666666666667,0.01313975106185401,0.0035269156048126603,1,1,0,0.0166667,0.1,0.0111111,0.3395,76.1,8,1.1826,1.0,0.0131398
0.1,8,2,0.01666666666666667,0.013208002621476428,0.0034586640451902424,1,1,0,0.0166667,0.1,0.0111111,0.35,75.7,8,1.1887,1.0,0.013208
0.1,8,3,0.01666666666666667,0.01327660392938863,0.00339006273727804,1,1,0,0.0166667,0.1,0.0111111,0.3605,75.3,8,1.1949,1.0,0.0132766
0.1,8,4,0.01666666666666667,0.01334555672816998,0.0033211099384966893,1,1,0,0.0166667,0.1,0.0111111,0.371,74.9,8,1.2011,1.0,0.0133456
0.1,16,0,0.008823529411764707,0.0069268530787241385,0.001896676333040569,1,1,0,0.0088235,0.1,0.0058824,0.329,144.4,16,1.1776,1.0,0.0069269
0.1,16,1,0.008823529411764707,0.006963060800860862,0.0018604686109038454,1,1,0,0.0088235,0.1,0.0058824,0.3395,143.6,16,1.1837,1.0,0.0069631
0.1,16,2,0.008823529411764707,0.0069994564523123155,0.001824072959452392,1,1,0,0.0088235,0.1,0.0058824,0.35,142.9,16,1.1899,1.0,0.0069995
0.1,16,3,0.008823529411764707,0.007036040994507475,0.0017874884172572325,1,1,0,0.0088235,0.1,0.0058824,0.3605,142.1,16,1.1961,1.0,0.007036
0.1,16,4,0.008823529411764707,0.007072815393647267,0.0017507140181174403,1,1,0,0.0088235,0.1,0.0058824,0.371,141.4,16,1.2024,1.0,0.0070728
0.1,32,0,0.004545454545454546,0.0035701975920113455,0.0009752569534432006,1,1,0,0.0045455,0.1,0.0030303,0.329,280.1,32,1.1782,1.0,0.0035702
0.1,32,1,0.004545454545454546,0.003588922971309544,0.000956531574145002,1,1,0,0.0045455,0.1,0.0030303,0.3395,278.6,32,1.1843,1.0,0.0035889
0.1,32,2,0.004545454545454546,0.003607746208006675,0.0009377083374478711,1,1,0,0.0045455,0.1,0.0030303,0.35,277.2,32,1.1906,1.0,0.0036077
0.1,32,3,0.004545454545454546,0.0036266678097574743,0.0009187867356970718,1,1,0,0.0045455,0.1,0.0030303,0.3605,275.7,32,1.1968,1.0,0.0036267
0.1,32,4,0.004545454545454546,0.003645688286810856,0.00089976625864369,1,1,0,0.0045455,0.1,0.0030303,0.371,274.3,32,1.2031,1.0,0.0036457
0.1,64,0,0.002307692307692308,0.0018130452161225637,0.0004946470915697442,1,1,0,0.0023077,0.1,0.0015385,0.329,551.6,64,1.1785,1.0,0.001813
0.1,64,1,0.002307692307692308,0.001822571339548383,0.00048512096814392496,1,1,0,0.0023077,0.1,0.0015385,0.3395,548.7,64,1.1847,1.0,0.0018226
0.1,64,2,0.002307692307692308,0.0018321474233698746,0.00047554488432243326,1,1,0,0.0023077,0.1,0.0015385,0.35,545.8,64,1.1909,1.0,0.0018321
0.1,64,3,0.002307692307692308,0.0018417737286393768,0.0004659185790529311,1,1,0,0.0023077,0.1,0.0015385,0.3605,543.0,64,1.1972,1.0,0.0018418
0.1,64,4,0.002307692307692308,0.001851450517763051,0.000456241789929257,1,1,0,0.0023077,0.1,0.0015385,0.371,540.1,64,1.2034,1.0,0.0018515
0.15,8,0,0.024999999999999998,0.019588351704013435,0.005411648295986563,1,1,0,0.025,0.15,0.0166667,0.329,51.1,8,1.1753,1.0,0.0195884
0.15,8,1,0.024999999999999998,0.01968943081230616,0.005310569187693837,1,1,0,0.025,0.15,0.0166667,0.3395,50.8,8,1.1814,1.0,0.0196894
0.15,8,2,0.024999999999999998,0.019791020976401123,0.005208979023598875,1,1,0,0.025,0.15,0.0166667,0.35,50.5,8,1.1875,1.0,0.019791
0.15,8,3,0.024999999999999998,0.01989312467127752,0.005106875328722477,1,1,0,0.025,0.15,0.0166667,0.3605,50.3,8,1.1936,1.0,0.0198931
0.15,8,4,0.024999999999999998,0.019995744382773486,0.005004255617226512,1,1,0,0.025,0.15,0.0166667,0.371,50.0,8,1.1997,1.0,0.0199957
0.15,16,0,0.013235294117647057,0.010384824051458316,0.002850470066188741,1,1,0,0.0132353,0.15,0.0088235,0.329,96.3,16,1.1769,1.0,0.0103848
0.15,16,1,0.013235294117647057,0.010438917114442102,0.0027963770032049546,1,1,0,0.0132353,0.15,0.0088235,0.3395,95.8,16,1.1831,1.0,0.0104389
0.15,16,2,0.013235294117647057,0.010493288952784433,0.002742005164862624,1,1,0,0.0132353,0.15,0.0088235,0.35,95.3,16,1.1892,1.0,0.0104933
0.15,16,3,0.013235294117647057,0.010547940971985546,0.0026873531456615106,1,1,0,0.0132353,0.15,0.0088235,0.3605,94.8,16,1.1954,1.0,0.0105479
0.15,16,4,0.013235294117647057,0.01060287458430579,0.0026324195333412674,1,1,0,0.0132353,0.15,0.0088235,0.371,94.3,16,1.2017,1.0,0.0106029
0.15,32,0,0.006818181818181818,0.005353846738775526,0.001464335079406292,1,1,0,0.0068182,0.15,0.0045455,0.329,186.8,32,1.1778,1.0,0.0053538
0.15,32,1,0.006818181818181818,0.005381876676120793,0.001436305142061025,1,1,0,0.0068182,0.15,0.0045455,0.3395,185.8,32,1.184,1.0,0.0053819
0.15,32,2,0.006818181818181818,0.005410052565326215,0.001408129252855603,1,1,0,0.0068182,0.15,0.0045455,0.35,184.8,32,1.1902,1.0,0.0054101
0.15,32,3,0.006818181818181818,0.005438375157982654,0.0013798066601991635,1,1,0,0.0068182,0.15,0.0045455,0.3605,183.9,32,1.1964,1.0,0.0054384
0.15,32,4,0.006818181818181818,0.005466845209463323,0.0013513366087184947,1,1,0,0.0068182,0.15,0.0045455,0.371,182.9,32,1.2027,1.0,0.0054668
0.15,64,0,0.003461538461538461,0.0027191939258224907,0.0007423445357159705,1,1,0,0.0034615,0.15,0.0023077,0.329,367.8,64,1.1783,1.0,0.0027192
0.15,64,1,0.003461538461538461,0.002733468108474593,0.000728070353063868,1,1,0,0.0034615,0.15,0.0023077,0.3395,365.8,64,1.1845,1.0,0.0027335
0.15,64,2,0.003461538461538461,0.0027478170157984824,0.0007137214457399788,1,1,0,0.0034615,0.15,0.0023077,0.35,363.9,64,1.1907,1.0,0.0027478
0.15,64,3,0.003461538461538461,0.002762241036800503,0.0006992974247379581,1,1,0,0.0034615,0.15,0.0023077,0.3605,362.0,64,1.197,1.0,0.0027622
0.15,64,4,0.003461538461538461,0.0027767405624891956,0.0006847978990492656,1,1,0,0.0034615,0.15,0.0023077,0.371,360.1,64,1.2033,1.0,0.0027767