{"key":"eng3-12004352","seeds":{"from":12004352,"to":12004607},"ib":{"n":256,"sum":136902.45696462746,"sumsq":75540205.39592658,"rows":[[12004352,588.071344],[12004353,691.588682],[12004354,494.06789],[12004355,463.571943],[12004356,588.812602],[12004357,488.239671],[12004358,507.44881],[12004359,409.865019],[12004360,517.410765],[12004361,406.990795],[12004362,531.469647],[12004363,677.844272],[12004364,661.859001],[12004365,505.815409],[12004366,438.368177],[12004367,436.50195],[12004368,592.928548],[12004369,463.294026],[12004370,412.247518],[12004371,569.728123],[12004372,579.75769],[12004373,694.477049],[12004374,471.357303],[12004375,324.384054],[12004376,673.105074],[12004377,452.000869],[12004378,542.900654],[12004379,518.262181],[12004380,396.645799],[12004381,461.136208],[12004382,541.836687],[12004383,660.792522],[12004384,511.094673],[12004385,359.251304],[12004386,596.350131],[12004387,462.193885],[12004388,444.00808],[12004389,534.417471],[12004390,533.866412],[12004391,416.178812],[12004392,573.242593],[12004393,472.957159],[12004394,603.258158],[12004395,574.071422],[12004396,604.728865],[12004397,628.167431],[12004398,414.83788],[12004399,495.994007],[12004400,618.95261],[12004401,471.490635],[12004402,443.595632],[12004403,442.472175],[12004404,600.131642],[12004405,584.221781],[12004406,588.437175],[12004407,486.647269],[12004408,589.182753],[12004409,647.447652],[12004410,607.057975],[12004411,661.612615],[12004412,441.942933],[12004413,653.359813],[12004414,503.114902],[12004415,634.133271],[12004416,389.244052],[12004417,545.521838],[12004418,460.480024],[12004419,528.072388],[12004420,407.289397],[12004421,380.182158],[12004422,676.787502],[12004423,559.014683],[12004424,460.901493],[12004425,562.78925],[12004426,438.163014],[12004427,513.679535],[12004428,523.79266],[12004429,575.770486],[12004430,457.231066],[12004431,388.92942],[12004432,576.902379],[12004433,526.190053],[12004434,470.738954],[12004435,605.824006],[12004436,581.297966],[12004437,503.787983],[12004438,483.912431],[12004439,488.279259],[12004440,385.646967],[12004441,548.813736],[12004442,520.38413],[12004443,418.575145],[12004444,587.180077],[12004445,461.531243],[12004446,531.055406],[12004447,580.810993],[12004448,416.619588],[12004449,614.213134],[12004450,553.17364],[12004451,377.475974],[12004452,487.939006],[12004453,467.623116],[12004454,442.251668],[12004455,723.99102],[12004456,521.056156],[12004457,477.14948],[12004458,570.775819],[12004459,621.926151],[12004460,484.798282],[12004461,666.458712],[12004462,897.68478],[12004463,479.046815],[12004464,485.543879],[12004465,552.221108],[12004466,510.258313],[12004467,436.695822],[12004468,565.444487],[12004469,533.26004],[12004470,631.334678],[12004471,608.066578],[12004472,586.910388],[12004473,404.490334],[12004474,650.478985],[12004475,651.569107],[12004476,653.067967],[12004477,553.001618],[12004478,414.903552],[12004479,644.9469],[12004480,650.636927],[12004481,614.201924],[12004482,592.796978],[12004483,474.276831],[12004484,428.739415],[12004485,581.082769],[12004486,403.477788],[12004487,696.243889],[12004488,530.923875],[12004489,538.072326],[12004490,395.670135],[12004491,442.089064],[12004492,562.114043],[12004493,406.322206],[12004494,516.412531],[12004495,351.666768],[12004496,544.715708],[12004497,609.066047],[12004498,476.495299],[12004499,618.351231],[12004500,513.066573],[12004501,574.014458],[12004502,472.073843],[12004503,675.030204],[12004504,704.2605],[12004505,414.984909],[12004506,423.731671],[12004507,638.663311],[12004508,588.480244],[12004509,700.052435],[12004510,578.91315],[12004511,611.660199],[12004512,520.620643],[12004513,596.588266],[12004514,629.528226],[12004515,569.23531],[12004516,438.365491],[12004517,546.41279],[12004518,639.722639],[12004519,549.013852],[12004520,586.582684],[12004521,660.961564],[12004522,538.971945],[12004523,425.663048],[12004524,549.542284],[12004525,714.151725],[12004526,680.147921],[12004527,501.862772],[12004528,607.450494],[12004529,523.542111],[12004530,490.52636],[12004531,592.604478],[12004532,519.638477],[12004533,559.895047],[12004534,671.332098],[12004535,550.381962],[12004536,374.093897],[12004537,384.038176],[12004538,546.609144],[12004539,401.618475],[12004540,506.913988],[12004541,581.877957],[12004542,547.69601],[12004543,548.525687],[12004544,558.281179],[12004545,505.608187],[12004546,481.574366],[12004547,642.3567],[12004548,476.54386],[12004549,597.3328],[12004550,387.867341],[12004551,585.371392],[12004552,736.028504],[12004553,421.969593],[12004554,605.779497],[12004555,592.154736],[12004556,510.553317],[12004557,577.491445],[12004558,482.489584],[12004559,534.150239],[12004560,444.795502],[12004561,579.659503],[12004562,624.486815],[12004563,424.549457],[12004564,475.336959],[12004565,400.969076],[12004566,378.543879],[12004567,657.306461],[12004568,382.736131],[12004569,535.538994],[12004570,381.225806],[12004571,463.36091],[12004572,537.980422],[12004573,663.031205],[12004574,591.660778],[12004575,732.745771],[12004576,561.053645],[12004577,535.826712],[12004578,383.415465],[12004579,688.953078],[12004580,491.564538],[12004581,595.198346],[12004582,408.9261],[12004583,782.861892],[12004584,662.138357],[12004585,394.718644],[12004586,502.559717],[12004587,632.744547],[12004588,375.62613],[12004589,481.807655],[12004590,392.921111],[12004591,650.129778],[12004592,700.964223],[12004593,466.628308],[12004594,502.306396],[12004595,702.349774],[12004596,604.301927],[12004597,467.073118],[12004598,626.623534],[12004599,560.709034],[12004600,603.576012],[12004601,448.290044],[12004602,563.97673],[12004603,435.084978],[12004604,543.657099],[12004605,514.271207],[12004606,652.191628],[12004607,333.767868]]},"q2":{"n":256,"sum":137685.36163169172,"sumsq":76406801.94082335,"rows":[[12004352,590.623457],[12004353,699.74857],[12004354,496.865118],[12004355,465.163505],[12004356,589.987996],[12004357,492.396246],[12004358,509.99386],[12004359,412.939862],[12004360,518.582455],[12004361,408.586105],[12004362,533.373338],[12004363,680.592212],[12004364,666.466955],[12004365,507.957438],[12004366,440.264967],[12004367,438.390714],[12004368,600.505331],[12004369,467.240641],[12004370,414.760223],[12004371,571.722861],[12004372,582.476281],[12004373,700.050364],[12004374,474.693975],[12004375,326.797685],[12004376,676.011042],[12004377,454.215879],[12004378,544.800794],[12004379,521.373481],[12004380,399.36536],[12004381,466.893139],[12004382,544.741434],[12004383,666.046614],[12004384,514.361322],[12004385,362.08874],[12004386,599.792848],[12004387,464.034463],[12004388,447.370417],[12004389,537.365516],[12004390,537.155609],[12004391,421.329147],[12004392,578.047853],[12004393,473.559689],[12004394,609.270721],[12004395,577.330323],[12004396,607.67164],[12004397,633.157176],[12004398,417.54756],[12004399,499.945411],[12004400,624.002587],[12004401,475.180696],[12004402,446.385935],[12004403,444.507364],[12004404,605.180877],[12004405,588.108163],[12004406,593.947466],[12004407,488.322758],[12004408,592.724747],[12004409,654.459112],[12004410,611.945166],[12004411,664.669637],[12004412,443.985111],[12004413,658.338683],[12004414,507.684287],[12004415,636.621033],[12004416,392.440335],[12004417,548.801881],[12004418,463.507694],[12004419,531.081092],[12004420,410.396994],[12004421,382.211647],[12004422,677.682299],[12004423,562.516413],[12004424,462.462482],[12004425,566.503878],[12004426,440.241455],[12004427,515.479866],[12004428,526.453857],[12004429,576.476153],[12004430,459.626488],[12004431,391.181245],[12004432,580.920406],[12004433,528.108779],[12004434,474.739708],[12004435,610.637662],[12004436,584.343978],[12004437,506.083728],[12004438,486.385956],[12004439,489.395792],[12004440,387.406008],[12004441,550.303183],[12004442,524.417751],[12004443,419.671987],[12004444,591.550336],[12004445,464.083255],[12004446,532.229535],[12004447,584.775328],[12004448,418.740711],[12004449,616.422339],[12004450,557.033352],[12004451,376.98387],[12004452,491.601698],[12004453,470.139541],[12004454,445.531836],[12004455,729.190915],[12004456,522.482686],[12004457,480.220852],[12004458,571.58241],[12004459,624.000223],[12004460,489.891537],[12004461,666.692869],[12004462,898.743037],[12004463,480.848469],[12004464,488.496114],[12004465,554.892641],[12004466,516.354569],[12004467,439.127878],[12004468,571.733408],[12004469,535.024592],[12004470,634.632299],[12004471,612.886905],[12004472,588.708447],[12004473,406.222084],[12004474,653.257131],[12004475,654.868495],[12004476,658.788417],[12004477,556.389998],[12004478,417.66406],[12004479,649.429339],[12004480,655.171427],[12004481,617.776846],[12004482,593.526844],[12004483,477.360356],[12004484,430.872206],[12004485,584.06394],[12004486,406.311556],[12004487,700.766313],[12004488,534.130867],[12004489,542.546447],[12004490,398.627973],[12004491,444.54129],[12004492,565.359468],[12004493,410.191746],[12004494,519.918313],[12004495,352.726126],[12004496,547.764004],[12004497,612.0402],[12004498,480.433148],[12004499,621.5318],[12004500,517.35369],[12004501,578.130693],[12004502,477.202014],[12004503,681.996934],[12004504,709.154212],[12004505,418.053134],[12004506,423.688215],[12004507,640.697408],[12004508,592.54734],[12004509,703.674853],[12004510,582.552915],[12004511,613.785878],[12004512,522.122279],[12004513,599.256821],[12004514,631.700513],[12004515,570.287011],[12004516,441.297989],[12004517,551.864043],[12004518,644.829998],[12004519,552.491989],[12004520,589.467245],[12004521,663.250978],[12004522,539.572947],[12004523,427.297369],[12004524,554.503583],[12004525,717.259335],[12004526,683.291128],[12004527,505.12764],[12004528,609.37811],[12004529,526.799185],[12004530,493.071331],[12004531,593.811597],[12004532,522.670417],[12004533,563.537091],[12004534,675.580045],[12004535,553.161258],[12004536,375.795376],[12004537,386.149083],[12004538,550.686033],[12004539,402.02916],[12004540,510.791407],[12004541,585.19784],[12004542,553.144495],[12004543,550.661815],[12004544,562.197414],[12004545,508.331386],[12004546,483.329083],[12004547,644.720512],[12004548,478.597813],[12004549,600.637915],[12004550,391.048831],[12004551,589.378742],[12004552,741.819613],[12004553,422.88066],[12004554,609.761643],[12004555,597.434448],[12004556,513.842695],[12004557,580.002208],[12004558,484.719394],[12004559,538.757134],[12004560,445.46502],[12004561,580.116606],[12004562,626.822012],[12004563,426.255444],[12004564,478.543363],[12004565,402.867769],[12004566,380.231881],[12004567,661.219859],[12004568,383.457299],[12004569,537.384102],[12004570,383.819903],[12004571,466.562404],[12004572,540.478757],[12004573,664.245028],[12004574,597.083674],[12004575,736.677169],[12004576,564.759011],[12004577,540.576791],[12004578,385.848551],[12004579,693.156309],[12004580,493.060176],[12004581,597.908623],[12004582,411.44686],[12004583,788.729023],[12004584,663.989135],[12004585,398.087292],[12004586,505.040843],[12004587,636.205376],[12004588,377.141069],[12004589,486.082132],[12004590,395.650833],[12004591,653.462604],[12004592,703.995471],[12004593,469.348656],[12004594,503.591331],[12004595,707.335439],[12004596,607.436436],[12004597,469.11248],[12004598,630.339771],[12004599,563.676666],[12004600,605.348654],[12004601,451.788395],[12004602,568.715071],[12004603,437.482769],[12004604,546.18448],[12004605,516.154573],[12004606,658.584062],[12004607,335.429841]]},"pb":{"n":256,"sum":137763.80173591658,"sumsq":76488821.43379702,"rows":[[12004352,590.925966],[12004353,699.599084],[12004354,496.998148],[12004355,466.011926],[12004356,589.895918],[12004357,492.913405],[12004358,510.128889],[12004359,412.501491],[12004360,519.670146],[12004361,408.694095],[12004362,534.237033],[12004363,680.484918],[12004364,666.979347],[12004365,508.664948],[12004366,440.727582],[12004367,437.91293],[12004368,600.881026],[12004369,468.094694],[12004370,414.857727],[12004371,571.875856],[12004372,582.877913],[12004373,700.39618],[12004374,475.322448],[12004375,327.364269],[12004376,675.623276],[12004377,454.234854],[12004378,544.74009],[12004379,522.494181],[12004380,399.173137],[12004381,467.081701],[12004382,545.113601],[12004383,666.586308],[12004384,514.49775],[12004385,362.564041],[12004386,601.293223],[12004387,465.145226],[12004388,447.22141],[12004389,537.778888],[12004390,537.29175],[12004391,420.976857],[12004392,577.777089],[12004393,473.692527],[12004394,609.85021],[12004395,577.985421],[12004396,608.048221],[12004397,633.144851],[12004398,417.625071],[12004399,500.630142],[12004400,624.301859],[12004401,476.437441],[12004402,446.350085],[12004403,444.664044],[12004404,605.14506],[12004405,588.275972],[12004406,593.011631],[12004407,489.462623],[12004408,593.463824],[12004409,654.769447],[12004410,612.64887],[12004411,665.050272],[12004412,444.12044],[12004413,658.337003],[12004414,508.362559],[12004415,636.650269],[12004416,393.272703],[12004417,549.040362],[12004418,463.693891],[12004419,531.224082],[12004420,410.052016],[12004421,382.349726],[12004422,678.037033],[12004423,562.949525],[12004424,463.049562],[12004425,566.921095],[12004426,440.239549],[12004427,515.980332],[12004428,526.907071],[12004429,577.349014],[12004430,459.650822],[12004431,391.742336],[12004432,581.055903],[12004433,528.720005],[12004434,474.841593],[12004435,610.32359],[12004436,584.400539],[12004437,506.828585],[12004438,486.30961],[12004439,490.974617],[12004440,387.969679],[12004441,551.446071],[12004442,525.000433],[12004443,420.050226],[12004444,592.147777],[12004445,464.776351],[12004446,532.594143],[12004447,585.042391],[12004448,419.195687],[12004449,617.34188],[12004450,556.25777],[12004451,377.614874],[12004452,491.130797],[12004453,470.757082],[12004454,445.813093],[12004455,729.117953],[12004456,523.648601],[12004457,479.586744],[12004458,570.897749],[12004459,623.983467],[12004460,490.239727],[12004461,667.144233],[12004462,898.474765],[12004463,480.991872],[12004464,488.364865],[12004465,555.43131],[12004466,516.87075],[12004467,439.53309],[12004468,571.606845],[12004469,535.058636],[12004470,635.279247],[12004471,612.185984],[12004472,588.471954],[12004473,406.557994],[12004474,654.038779],[12004475,655.613232],[12004476,659.006775],[12004477,556.634985],[12004478,417.893223],[12004479,649.751761],[12004480,655.819963],[12004481,618.452889],[12004482,593.937337],[12004483,477.514388],[12004484,431.396101],[12004485,584.479317],[12004486,406.950669],[12004487,699.768957],[12004488,533.694786],[12004489,542.556644],[12004490,398.855971],[12004491,444.65794],[12004492,565.512494],[12004493,410.279569],[12004494,520.745118],[12004495,352.436027],[12004496,548.377803],[12004497,611.066649],[12004498,480.795355],[12004499,622.161132],[12004500,517.872669],[12004501,577.888338],[12004502,477.125117],[12004503,682.138928],[12004504,709.033121],[12004505,418.139398],[12004506,423.948397],[12004507,640.057498],[12004508,593.525526],[12004509,704.616632],[12004510,582.489765],[12004511,614.058502],[12004512,522.952446],[12004513,600.184079],[12004514,632.098597],[12004515,570.265562],[12004516,441.583732],[12004517,551.99217],[12004518,645.106263],[12004519,552.504899],[12004520,590.26822],[12004521,663.401197],[12004522,540.123769],[12004523,428.015866],[12004524,554.687351],[12004525,717.851476],[12004526,683.88295],[12004527,505.842066],[12004528,609.819058],[12004529,527.201724],[12004530,492.81983],[12004531,594.357977],[12004532,522.470015],[12004533,563.879065],[12004534,675.470944],[12004535,554.093409],[12004536,376.424723],[12004537,386.976503],[12004538,551.415727],[12004539,402.92973],[12004540,511.072513],[12004541,585.444989],[12004542,552.737061],[12004543,551.021339],[12004544,561.989194],[12004545,508.680166],[12004546,482.969033],[12004547,644.823349],[12004548,479.019143],[12004549,601.43756],[12004550,391.972748],[12004551,589.989905],[12004552,741.838875],[12004553,423.611029],[12004554,609.324562],[12004555,597.935741],[12004556,514.793224],[12004557,580.719545],[12004558,485.235291],[12004559,538.783459],[12004560,445.505648],[12004561,580.74347],[12004562,626.324454],[12004563,426.717675],[12004564,478.826165],[12004565,403.282914],[12004566,380.735928],[12004567,662.043697],[12004568,384.280555],[12004569,537.112839],[12004570,383.777315],[12004571,467.069502],[12004572,541.397049],[12004573,664.185088],[12004574,596.627989],[12004575,738.154769],[12004576,565.625482],[12004577,540.993886],[12004578,385.927716],[12004579,693.025173],[12004580,493.654706],[12004581,598.019486],[12004582,411.977685],[12004583,789.277011],[12004584,663.547981],[12004585,398.570285],[12004586,505.214512],[12004587,637.212173],[12004588,377.37903],[12004589,486.078845],[12004590,396.49591],[12004591,653.594153],[12004592,703.697712],[12004593,469.264843],[12004594,504.226604],[12004595,707.572979],[12004596,608.162284],[12004597,469.850336],[12004598,630.685291],[12004599,563.409121],[12004600,606.112959],[12004601,452.190703],[12004602,568.596772],[12004603,438.635038],[12004604,546.516706],[12004605,516.138413],[12004606,658.453686],[12004607,335.464595]]},"pb_minus_ib":{"n":256,"mean_diff":3.364628012848148,"se":0.08831680502431842,"sum":861.3447712891259,"sumsq":3407.2794796843173,"worst5":[[12004458,0.12193],[12004451,0.1389],[12004506,0.216726],[12004461,0.685522],[12004560,0.710146]]},"q2_minus_ib":{"n":256,"mean_diff":3.0582213557197693,"se":0.08903510024647107,"sum":782.9046670642609,"sumsq":2911.7865919832957,"worst5":[[12004451,-0.492104],[12004506,-0.043456],[12004461,0.234158],[12004539,0.410685],[12004561,0.457103]]},"pb_minus_q2":{"n":256,"mean_diff":0.3064066571283788,"se":0.0280757843219187,"sum":78.44010422486497,"sumsq":75.49150827053218,"worst5":[[12004487,-0.997356],[12004497,-0.973552],[12004406,-0.935835],[12004450,-0.775582],[12004471,-0.700921]]},"gas":{"ib":{"peak_afterswap":232014,"mean_afterswap":135140.4,"oog":0,"reverts":0},"q2":{"peak_afterswap":195626,"mean_afterswap":92672.7,"oog":0,"reverts":0},"pb":{"peak_afterswap":201320,"mean_afterswap":99896.2,"oog":0,"reverts":0}},"validate":{"ib":"pass","q2":"pass","pb":"pass"},"valid":true,"engine":"ok","notes":"Engine 6b6921f8, setup.sh ok. 12 commands of 64 seeds (4 per contract), each 5-6 s; all 256 seeds returned for all three, n=256 paired. Configs as MatchRunner._build_configs with index i mapped to seed 12004352+i (variance rng and sim seed both = that seed). Edge = edges['submission'] vs VanillaStrategy. Gas from gas_stats() reset per command, Submission role; oog/reverts summed over all Submission callbacks (other_halt, tx_error, bad_return also 0). Sources compiled unchanged; IB sha256 matches code_sha256; Q2 code_sha256 matches the decoded tar; PB code_sha256 matched neither the tar nor its Strategy.sol (used as served). Means: IB 534.775, Q2 537.833, PB 538.140."}