repro-bundle/verify/claim1/sweep.csv

n,seed,lhs,rhs,margin,holds,precondition_met,vacuous,cluster_var_final,converges,decay_exponent_alpha,n,w2_err_half_n,w2_err_n
4,0,0.38646859212823115,0.30399591749203286,0.08247267463619828,1,0,0,0.687,True,0.3463,4,0.38647,0.304
4,1,0.40760710181920007,0.29887344148188955,0.10873366033731052,1,0,0,0.7038,True,0.4476,4,0.40761,0.29887
4,2,0.38427520910657725,0.2656248567667082,0.11865035233986904,1,0,0,0.78218,True,0.5327,4,0.38428,0.26562
4,3,0.40521782411712204,0.3007924611783454,0.10442536293877663,1,0,0,0.68744,True,0.4299,4,0.40522,0.30079
4,4,0.4010589800526427,0.2903549854521191,0.1107039946005236,1,0,0,0.71797,True,0.466,4,0.40106,0.29035
8,0,0.30399591749203286,0.19658684158380668,0.10740907590822618,1,1,0,0.89461,True,0.6289,8,0.304,0.19659
8,1,0.29887344148188955,0.23588008413890593,0.06299335734298361,1,1,0,0.79766,True,0.3415,8,0.29887,0.23588
8,2,0.2656248567667082,0.21021879052573977,0.05540606624096844,1,1,0,0.85822,True,0.3375,8,0.26562,0.21022
8,3,0.3007924611783454,0.23141239349569118,0.06938006768265423,1,1,0,0.80385,True,0.3783,8,0.30079,0.23141
8,4,0.2903549854521191,0.20803507158350718,0.0823199138686119,1,1,0,0.85862,True,0.481,8,0.29035,0.20804
16,0,0.19658684158380668,0.14985943037648403,0.046727411207322656,1,1,0,0.93607,True,0.3916,16,0.19659,0.14986
16,1,0.23588008413890593,0.15676388411116846,0.07911620002773748,1,1,0,0.92817,True,0.5895,16,0.23588,0.15676
16,2,0.21021879052573977,0.1671041920014729,0.043114598524266884,1,1,0,0.89978,True,0.3311,16,0.21022,0.1671
16,3,0.23141239349569118,0.17046977040606368,0.0609426230896275,1,1,0,0.90017,True,0.441,16,0.23141,0.17047
16,4,0.20803507158350718,0.15467311135288492,0.05336196023062226,1,1,0,0.9255,True,0.4276,16,0.20804,0.15467
32,0,0.14985943037648403,0.11467728633777197,0.03518214403871206,1,1,0,0.96193,True,0.386,32,0.14986,0.11468
32,1,0.15676388411116846,0.12089487024350586,0.0358690138676626,1,1,0,0.95484,True,0.3748,32,0.15676,0.12089
32,2,0.1671041920014729,0.1192110296231431,0.04789316237832979,1,1,0,0.95586,True,0.4872,32,0.1671,0.11921
32,3,0.17046977040606368,0.12464051014045736,0.04582926026560631,1,1,0,0.95023,True,0.4517,32,0.17047,0.12464
32,4,0.15467311135288492,0.12235461751975456,0.03231849383313036,1,1,0,0.95125,True,0.3382,32,0.15467,0.12235
64,0,0.11467728633777197,0.07978040740731276,0.0348968789304592,1,1,0,0.98323,True,0.5235,64,0.11468,0.07978
64,1,0.12089487024350586,0.09754559496054234,0.023349275282963516,1,1,0,0.97137,True,0.3096,64,0.12089,0.09755
64,2,0.1192110296231431,0.09042460970161631,0.028786419921526793,1,1,0,0.97477,True,0.3987,64,0.11921,0.09042
64,3,0.12464051014045736,0.088935855097605,0.03570465504285236,1,1,0,0.97732,True,0.4869,64,0.12464,0.08894
64,4,0.12235461751975456,0.0913500918764752,0.03100452564327935,1,1,0,0.97422,True,0.4216,64,0.12235,0.09135
128,0,0.07978040740731276,0.0625087904478105,0.01727161695950226,1,1,0,0.98998,True,0.352,128,0.07978,0.06251
128,1,0.09754559496054234,0.06618802897928922,0.031357565981253124,1,1,0,0.98822,True,0.5595,128,0.09755,0.06619
128,2,0.09042460970161631,0.07092988335046828,0.01949472635114803,1,1,0,0.98438,True,0.3503,128,0.09042,0.07093
128,3,0.088935855097605,0.07123561051102097,0.017700244586584035,1,1,0,0.98517,True,0.3202,128,0.08894,0.07124
128,4,0.0913500918764752,0.06808733873120702,0.023262753145268183,1,1,0,0.98692,True,0.424,128,0.09135,0.06809
256,0,0.0625087904478105,0.04775165527041822,0.014757135177392286,1,1,0,0.99379,True,0.3885,256,0.06251,0.04775
256,1,0.06618802897928922,0.04894250605808931,0.017245522921199907,1,1,0,0.99436,True,0.4355,256,0.06619,0.04894
256,2,0.07092988335046828,0.050082406008317586,0.020847477342150693,1,1,0,0.994,True,0.5021,256,0.07093,0.05008
256,3,0.07123561051102097,0.0543819966208914,0.016853613890129564,1,1,0,0.99119,True,0.3895,256,0.07124,0.05438
256,4,0.06808733873120702,0.05443608561677784,0.013651253114429183,1,1,0,0.99262,True,0.3228,256,0.06809,0.05444