{"key":"eng2-12002304","seeds":{"from":12002304,"to":12002559},"ib":{"n":256,"sum":134966.06795031478,"sumsq":72992525.49347362,"rows":[[12002304,523.287612],[12002305,491.038309],[12002306,593.369429],[12002307,642.103837],[12002308,600.740138],[12002309,472.167212],[12002310,529.371737],[12002311,525.877247],[12002312,468.708839],[12002313,358.372679],[12002314,422.440334],[12002315,538.883125],[12002316,560.881276],[12002317,380.90221],[12002318,541.460954],[12002319,674.316439],[12002320,540.340084],[12002321,550.455292],[12002322,509.693904],[12002323,420.237288],[12002324,355.412975],[12002325,687.225794],[12002326,509.765533],[12002327,455.662767],[12002328,830.92521],[12002329,591.701333],[12002330,572.225557],[12002331,405.713867],[12002332,477.724746],[12002333,600.97138],[12002334,608.96949],[12002335,434.10013],[12002336,582.703835],[12002337,475.533704],[12002338,574.755573],[12002339,694.179579],[12002340,619.636472],[12002341,529.915688],[12002342,504.643895],[12002343,483.767367],[12002344,619.907052],[12002345,488.742115],[12002346,598.734419],[12002347,427.763413],[12002348,604.14297],[12002349,517.921528],[12002350,543.725607],[12002351,492.552593],[12002352,510.931869],[12002353,601.017278],[12002354,382.918966],[12002355,467.83238],[12002356,444.153128],[12002357,595.980339],[12002358,404.314048],[12002359,530.445194],[12002360,554.594457],[12002361,566.532317],[12002362,485.690411],[12002363,552.89317],[12002364,526.480065],[12002365,603.722975],[12002366,447.069626],[12002367,395.235841],[12002368,478.852664],[12002369,513.307452],[12002370,613.404744],[12002371,531.002524],[12002372,640.959968],[12002373,478.836875],[12002374,651.614497],[12002375,554.302878],[12002376,484.184416],[12002377,460.509491],[12002378,471.042246],[12002379,429.6842],[12002380,523.987492],[12002381,533.870054],[12002382,472.059462],[12002383,434.619712],[12002384,499.653849],[12002385,414.666071],[12002386,541.193017],[12002387,592.7194],[12002388,489.928023],[12002389,510.547671],[12002390,448.220053],[12002391,499.563003],[12002392,574.513909],[12002393,585.026822],[12002394,485.567451],[12002395,618.011221],[12002396,627.658339],[12002397,522.304799],[12002398,602.987603],[12002399,539.515471],[12002400,539.411653],[12002401,513.244369],[12002402,673.499135],[12002403,575.155445],[12002404,604.968678],[12002405,541.481938],[12002406,622.957131],[12002407,398.345364],[12002408,650.947821],[12002409,454.116802],[12002410,427.581022],[12002411,495.339172],[12002412,532.337127],[12002413,607.065708],[12002414,514.180101],[12002415,490.200436],[12002416,491.585327],[12002417,564.519236],[12002418,637.109533],[12002419,473.363256],[12002420,611.181368],[12002421,439.564797],[12002422,520.707739],[12002423,489.783088],[12002424,430.782917],[12002425,495.904769],[12002426,564.60795],[12002427,562.066588],[12002428,616.233099],[12002429,493.244374],[12002430,634.306903],[12002431,552.044322],[12002432,536.982286],[12002433,631.256139],[12002434,479.999745],[12002435,426.530871],[12002436,428.411027],[12002437,524.622578],[12002438,713.803641],[12002439,650.714593],[12002440,534.220738],[12002441,476.091762],[12002442,428.345438],[12002443,365.889752],[12002444,422.69845],[12002445,371.946071],[12002446,495.51545],[12002447,499.183511],[12002448,535.089503],[12002449,433.971752],[12002450,495.128669],[12002451,516.190988],[12002452,462.075657],[12002453,502.853528],[12002454,430.206096],[12002455,564.545373],[12002456,590.061228],[12002457,595.30212],[12002458,580.928344],[12002459,435.219669],[12002460,479.87844],[12002461,492.067018],[12002462,567.185806],[12002463,623.712833],[12002464,702.027746],[12002465,561.19043],[12002466,479.383918],[12002467,429.081309],[12002468,474.197339],[12002469,429.547599],[12002470,607.528975],[12002471,466.781522],[12002472,633.893187],[12002473,554.75416],[12002474,529.669227],[12002475,602.637415],[12002476,413.822555],[12002477,486.482255],[12002478,757.547315],[12002479,565.630801],[12002480,417.942158],[12002481,648.803386],[12002482,437.735535],[12002483,570.458774],[12002484,401.388708],[12002485,685.864183],[12002486,574.116596],[12002487,570.962395],[12002488,675.426936],[12002489,475.724981],[12002490,533.367208],[12002491,660.185627],[12002492,619.026325],[12002493,433.692932],[12002494,416.082288],[12002495,492.407739],[12002496,737.169859],[12002497,663.023302],[12002498,398.401678],[12002499,604.104816],[12002500,531.034685],[12002501,461.144919],[12002502,596.049693],[12002503,535.963851],[12002504,621.836907],[12002505,469.067517],[12002506,374.711335],[12002507,629.039649],[12002508,566.040479],[12002509,459.770979],[12002510,561.283406],[12002511,503.50285],[12002512,486.177851],[12002513,442.173513],[12002514,713.553768],[12002515,493.761571],[12002516,567.370578],[12002517,506.636007],[12002518,429.961646],[12002519,403.040087],[12002520,496.457463],[12002521,548.830426],[12002522,519.99329],[12002523,502.635081],[12002524,413.267501],[12002525,395.389789],[12002526,614.836102],[12002527,595.656256],[12002528,523.62892],[12002529,360.864067],[12002530,517.138064],[12002531,512.217106],[12002532,600.630179],[12002533,522.777711],[12002534,514.36349],[12002535,451.725843],[12002536,470.196706],[12002537,462.229187],[12002538,716.373314],[12002539,467.051137],[12002540,435.098763],[12002541,397.430637],[12002542,613.822921],[12002543,413.339838],[12002544,743.435106],[12002545,426.439062],[12002546,489.024542],[12002547,505.929188],[12002548,627.64799],[12002549,434.454931],[12002550,494.931883],[12002551,595.357466],[12002552,479.191259],[12002553,619.986941],[12002554,607.411342],[12002555,576.391745],[12002556,445.910301],[12002557,585.575043],[12002558,528.703482],[12002559,641.275185]]},"port":{"n":256,"sum":135709.79265987553,"sumsq":73811446.5332479,"rows":[[12002304,529.155163],[12002305,493.544647],[12002306,597.406007],[12002307,645.019428],[12002308,604.905108],[12002309,475.965103],[12002310,532.208163],[12002311,529.765792],[12002312,472.147395],[12002313,359.74339],[12002314,425.454221],[12002315,542.620874],[12002316,566.322082],[12002317,382.492985],[12002318,545.130217],[12002319,678.12701],[12002320,542.326523],[12002321,552.019545],[12002322,512.327739],[12002323,422.016484],[12002324,355.97771],[12002325,690.092549],[12002326,513.813479],[12002327,458.749786],[12002328,841.42544],[12002329,597.58237],[12002330,575.853686],[12002331,407.413583],[12002332,479.913173],[12002333,605.330884],[12002334,611.696904],[12002335,436.088445],[12002336,587.465944],[12002337,478.842587],[12002338,576.03399],[12002339,699.582518],[12002340,621.949894],[12002341,531.960683],[12002342,506.044071],[12002343,486.475644],[12002344,625.688433],[12002345,491.161383],[12002346,602.909419],[12002347,430.468437],[12002348,607.640682],[12002349,519.38324],[12002350,546.165282],[12002351,493.917666],[12002352,513.868432],[12002353,602.999481],[12002354,384.645444],[12002355,471.575329],[12002356,447.802405],[12002357,600.166504],[12002358,406.066186],[12002359,532.656535],[12002360,557.801662],[12002361,569.058106],[12002362,489.031049],[12002363,557.195537],[12002364,528.991141],[12002365,607.651306],[12002366,451.239443],[12002367,397.862939],[12002368,481.368055],[12002369,517.203919],[12002370,616.899067],[12002371,535.365939],[12002372,643.005874],[12002373,480.535203],[12002374,657.178898],[12002375,557.388826],[12002376,487.44691],[12002377,461.751407],[12002378,472.07521],[12002379,431.568167],[12002380,526.304144],[12002381,536.787938],[12002382,472.796107],[12002383,437.430783],[12002384,501.226159],[12002385,416.578366],[12002386,544.669357],[12002387,595.21824],[12002388,492.808201],[12002389,512.496613],[12002390,450.259137],[12002391,500.522893],[12002392,578.215756],[12002393,588.125889],[12002394,489.386385],[12002395,622.147039],[12002396,632.149911],[12002397,523.00194],[12002398,607.909457],[12002399,541.767129],[12002400,544.024156],[12002401,514.039114],[12002402,677.133696],[12002403,576.747762],[12002404,610.546516],[12002405,546.133021],[12002406,627.419928],[12002407,399.523501],[12002408,654.367741],[12002409,453.859111],[12002410,429.450615],[12002411,499.174891],[12002412,535.262627],[12002413,611.676475],[12002414,517.789959],[12002415,493.309713],[12002416,493.110188],[12002417,566.722493],[12002418,641.7479],[12002419,475.391994],[12002420,612.928487],[12002421,442.087185],[12002422,524.13853],[12002423,494.002116],[12002424,433.350922],[12002425,494.672472],[12002426,567.692203],[12002427,566.013466],[12002428,619.962597],[12002429,495.144289],[12002430,638.360995],[12002431,555.902765],[12002432,539.807892],[12002433,633.626935],[12002434,484.215775],[12002435,429.588974],[12002436,431.152266],[12002437,525.430573],[12002438,719.770076],[12002439,653.659464],[12002440,536.386724],[12002441,479.035773],[12002442,430.723462],[12002443,367.288679],[12002444,424.836912],[12002445,371.452589],[12002446,503.757349],[12002447,499.221835],[12002448,537.9064],[12002449,437.306283],[12002450,497.583151],[12002451,519.317064],[12002452,464.525502],[12002453,505.584533],[12002454,430.863087],[12002455,568.550356],[12002456,595.389775],[12002457,598.929069],[12002458,584.571399],[12002459,436.545482],[12002460,483.005856],[12002461,493.994344],[12002462,570.407146],[12002463,627.840899],[12002464,706.36868],[12002465,563.077409],[12002466,483.111507],[12002467,431.912921],[12002468,477.04258],[12002469,432.266201],[12002470,610.633679],[12002471,467.656086],[12002472,637.144995],[12002473,557.767755],[12002474,531.375543],[12002475,607.025589],[12002476,416.256968],[12002477,489.273381],[12002478,759.007673],[12002479,569.448466],[12002480,421.2224],[12002481,656.234245],[12002482,438.129391],[12002483,573.471514],[12002484,404.569526],[12002485,691.005923],[12002486,579.610454],[12002487,574.050503],[12002488,680.081358],[12002489,478.931838],[12002490,538.885455],[12002491,662.710626],[12002492,622.94156],[12002493,435.109992],[12002494,418.172136],[12002495,494.637023],[12002496,741.963185],[12002497,665.005016],[12002498,401.272544],[12002499,606.090599],[12002500,536.123035],[12002501,462.932716],[12002502,598.81696],[12002503,537.964077],[12002504,623.377715],[12002505,472.432911],[12002506,375.995801],[12002507,632.951401],[12002508,568.582147],[12002509,462.062553],[12002510,562.169434],[12002511,503.023063],[12002512,490.09955],[12002513,443.497472],[12002514,719.559306],[12002515,496.260316],[12002516,570.240339],[12002517,509.716247],[12002518,432.684585],[12002519,405.037971],[12002520,500.320249],[12002521,552.569842],[12002522,521.990932],[12002523,505.218443],[12002524,415.002205],[12002525,397.824934],[12002526,616.994208],[12002527,598.071848],[12002528,526.718377],[12002529,361.350254],[12002530,518.633643],[12002531,514.077015],[12002532,605.129484],[12002533,525.2983],[12002534,516.698193],[12002535,455.052096],[12002536,473.561914],[12002537,465.506376],[12002538,715.94782],[12002539,469.894411],[12002540,436.562231],[12002541,398.393667],[12002542,618.958917],[12002543,415.894327],[12002544,748.68075],[12002545,427.224377],[12002546,490.632109],[12002547,509.403568],[12002548,632.00608],[12002549,434.156662],[12002550,498.858137],[12002551,597.906993],[12002552,480.771441],[12002553,622.332244],[12002554,611.279236],[12002555,578.43019],[12002556,447.331262],[12002557,590.060655],[12002558,530.41204],[12002559,645.155684]]},"paired":{"n":256,"mean_diff":2.9051746601562476,"se":0.09205500269678532,"sum":743.7247129999994,"sumsq":2713.8409738234323,"worst5":[[12002425,-1.232297],[12002445,-0.493482],[12002511,-0.479787],[12002538,-0.425494],[12002549,-0.298269]]},"gas":{"ib":{"peak_afterswap":234849,"mean_afterswap":135172.4,"oog":0,"reverts":0},"port":{"peak_afterswap":204917,"mean_afterswap":92697.6,"oog":0,"reverts":0}},"validate":{"ib":"pass","port":"pass"},"block_seconds":{"ib_0":12.77,"ib_1":13.15,"ib_2":13.26,"ib_3":13.24,"port_0":9.48,"port_1":9.52,"port_2":9.41,"port_3":9.33},"engine":"ok","notes":"All 8 blocks ran (4x64 seeds per arm, 12002304..12002559), 256/256 results each, no seed missing. Port (Q2 qm-2 Strategy.sol, contract Strategy, name QmGaussianPort) minus IB (IB.sol, contract Strategy, name inputs_b): mean 2.9052 se 0.0921; 250/256 seeds positive. IB mean 527.211, port mean 530.116. IB.sol sha256 301941829a44bb60 matches artifact code_sha256. Q2 Strategy.sol sha256 2c471f0132b0f06a; artifact code_sha256 988ef957e0f66335 is the sha256 of the decompressed tar, not of Strategy.sol. Q2 engine afterSwap peak 204917 / mean 92698 vs the artifact's own gas claim 155745 / 59801 (its pyrevm harness); engine figure is under 245000. Gas: mean/peak afterSwap over all Submission afterSwap ok calls of the 4 blocks; oog/reverts summed over all Submission callbacks. IB afterInitialize peaks 243227 gas (afterSwap only is gated). Compiled with SolidityCompiler (solc 0.8.24) unchanged; amm-match validate passed on both."}