{"item":"eng-12005632","batch":"a6-close-q2","status":"complete","blocked":null,"board_entry":false,"engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","seeds":{"allocation":[12005632,12005887],"blocks":[12005632,12005696,12005760,12005824],"block_size":64,"workers":8,"retries":0,"old_seeds_run":0,"run_batch_calls_per_arm":4},"arms":{"m09":"m09-2/Strategy.sol (artifact 063270cb...)","ib":"IB.sol (artifact db67c7a0...)","q2":"Q2.sol (artifact db67c7a0...), the control arm","opponent":"contracts/src/VanillaStrategy.sol"},"hashes":{"sources_and_bytecode":{"ib":{"creation_bytecode_sha256":"345cbfe273190c3b629d6e624b4f19ecae919477786d13539b8bdd1ca87ed8b0","creation_bytes":14556,"runtime_bytecode_sha256":"a4f70330df778c7a4c916170f1b3036522789028ae2dfd8f715b93ff7f24ab2d","runtime_bytes":14528,"source_sha256":"301941829a44bb60977bb28181a5e4bfa6544f3696763f987054789b2611d686"},"m09":{"creation_bytecode_sha256":"1340c99e746d6166e0b81eb7db8b6d871854407a7042274ae48f7e0224134d3f","creation_bytes":22013,"runtime_bytecode_sha256":"e95f44d13169747859490d2f5fb627a55b4a9cb3c84dae0c95a6b37e0023e281","runtime_bytes":21984,"source_sha256":"a44cca4b0155ca3953f27ccb6b43ac8ee74b1cdc4f27022ee5fc51d8ab67ed5f"},"q2":{"creation_bytecode_sha256":"d3f203d0e2aab89b82829252b026d9fc56c82db21a01401c71702fd9b766f52a","creation_bytes":23758,"runtime_bytecode_sha256":"d040e6e1a15ec8430e40ba7f153245d7f9b9bcfdd8d1384b64d4baa414810d43","runtime_bytes":23729,"source_sha256":"2c471f0132b0f06aae83b7b2c8622083c9d8cb7b3d5e75719dd362f5b36bb259"},"vanilla":{"creation_bytecode_sha256":"3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05","creation_bytes":668,"runtime_bytecode_sha256":"69ed6562da17454439bad4fbe3690194539001ef8ca2068ea50d937ee50c670b","runtime_bytes":640,"source_sha256":"62d40ccef0de99a385e332a36ddf9cbd1da73eda06bd7954492a9880cb91a572"}},"same_in_all_blocks":true,"m09_expected":{"source":"a44cca4b0155ca3953f27ccb6b43ac8ee74b1cdc4f27022ee5fc51d8ab67ed5f","runtime":"e95f44d13169747859490d2f5fb627a55b4a9cb3c84dae0c95a6b37e0023e281","match":true},"wheel":{"filename":"amm_sim_rs-0.1.0.post1-cp310-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.whl","sha256":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a","verified_by":"setup.sh sha256sum -c (OK) on the downloaded wheel","local_source_build":false},"native_extension_sha256":"ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14","numpy_version":"2.5.4"},"builder_checks":{"method":"canonical.py cfg(): default_rng(absolute seed), draws retail_mean_size, retail_arrival_rate, gbm_sigma uniform over BASELINE_VARIANCE, build_config; every FIELD compared with MatchRunner._build_configs()[0..7] without simulating","fields":["gbm_dt","gbm_mu","gbm_sigma","initial_price","initial_x","initial_y","n_steps","retail_arrival_rate","retail_buy_prob","retail_mean_size","retail_size_sigma","seed"],"all_equal_every_block":true,"checks_per_block":8,"baseline_settings":{"gbm_dt":1.0,"gbm_mu":0.0,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"n_simulations":1000,"n_steps":10000,"retail_buy_prob":0.5,"retail_size_sigma":1.2},"baseline_variance":{"gbm_sigma_max":0.001008,"gbm_sigma_min":0.000882,"retail_arrival_rate_max":1.0,"retail_arrival_rate_min":0.6,"retail_mean_size_max":21.0,"retail_mean_size_min":19.0,"vary_gbm_sigma":true,"vary_retail_arrival_rate":true,"vary_retail_mean_size":true},"compiler":{"evmVersion":"paris","optimizer":{"enabled":true,"runs":200},"solc":"0.8.24","viaIR":true}},"configs":{"hash_encoding":"SHA256 of UTF-8 json.dumps(configs in ascending absolute seed order, sort_keys=True, separators=(',',':')), no newline","sha256_all_256":"ff9c5dfcc8cf747e45fe42193f0c736eefe4b4dec4d3b574da8270e7f4caae60","sha256_per_block":{"12005632":"cc59497b72616510ba34edfa60528023e0c7d2b8ecc901176e264f3aca7955fe","12005696":"54411bda3b2e8d69760528fad8b97a2b1106406553bb6b566d3e598fc722a216","12005760":"39f0ac6d2e477d72c09599b1cf52289f7d3504bd2796e91bba096e172d885238","12005824":"5156adb93b4299a0b790335421108a00291fea05fd27d87b78922b405026f336"},"first":{"gbm_dt":1.0,"gbm_mu":0.0,"gbm_sigma":0.0008996391481280072,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"n_steps":10000,"retail_arrival_rate":0.9274771688981172,"retail_buy_prob":0.5,"retail_mean_size":20.77018936180604,"retail_size_sigma":1.2,"seed":12005632},"last":{"gbm_dt":1.0,"gbm_mu":0.0,"gbm_sigma":0.0008823316806352256,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"n_steps":10000,"retail_arrival_rate":0.6731254714668784,"retail_buy_prob":0.5,"retail_mean_size":20.557377744990667,"retail_size_sigma":1.2,"seed":12005887},"same_configs_each_arm":true},"per_arm":{"m09":{"n":256,"mean":527.4344658494847,"se":5.830594263936735,"sum":135023.22325746808,"sumsq":73435149.38392256,"rows":[[12005632,731.0180702873839],[12005633,525.4587349111683],[12005634,472.991674060961],[12005635,576.1342142478004],[12005636,788.917114415905],[12005637,470.6996239683007],[12005638,661.7905701617193],[12005639,640.7408487666619],[12005640,481.75163720800646],[12005641,566.4511513888541],[12005642,669.5276388954645],[12005643,569.7874563022259],[12005644,500.8745318403166],[12005645,417.69823334425786],[12005646,614.7147189318908],[12005647,466.6159404184037],[12005648,454.5950079765767],[12005649,383.76420500785497],[12005650,470.9718204021605],[12005651,505.18263565471574],[12005652,501.3719532497171],[12005653,628.3141267123463],[12005654,546.3933459000716],[12005655,573.5605670647781],[12005656,613.9277914150798],[12005657,636.7286761803938],[12005658,459.16376345333464],[12005659,673.4467534508851],[12005660,486.03177918588995],[12005661,405.05505157614255],[12005662,594.5585004312743],[12005663,415.0684359440111],[12005664,542.4494244675673],[12005665,453.35385420900764],[12005666,509.5434598880728],[12005667,666.9402256047977],[12005668,540.6495999299331],[12005669,439.94429559113064],[12005670,464.93884241686914],[12005671,595.9816839014435],[12005672,377.54599685037863],[12005673,622.010053710486],[12005674,397.72991641416513],[12005675,449.1757287799286],[12005676,682.5848157870759],[12005677,587.0632385417041],[12005678,612.8186033556918],[12005679,373.6057444587663],[12005680,669.6792866737123],[12005681,506.88086959942365],[12005682,430.80859248794064],[12005683,761.7765128462003],[12005684,475.1155368919683],[12005685,480.4104491896603],[12005686,581.8097099679185],[12005687,634.8481260342702],[12005688,501.28736538097456],[12005689,443.54001744064215],[12005690,575.0034899738216],[12005691,464.2145276230662],[12005692,443.43858696258667],[12005693,625.5224526747178],[12005694,559.9484842288882],[12005695,379.59830062072643],[12005696,549.7702633454006],[12005697,397.52823314637476],[12005698,392.7521525718971],[12005699,426.5251289662222],[12005700,472.7380601986477],[12005701,469.73777330034403],[12005702,485.86870984926736],[12005703,530.0210716393404],[12005704,561.5502648521394],[12005705,498.22530551310166],[12005706,349.7002754192036],[12005707,457.8842236246854],[12005708,728.2969046875214],[12005709,634.9355176571806],[12005710,446.6194255606711],[12005711,476.80710946307477],[12005712,673.0653801426834],[12005713,522.8910269138747],[12005714,427.7547459683758],[12005715,455.2802788376043],[12005716,618.4165770759269],[12005717,436.07187424159736],[12005718,632.3703898472129],[12005719,407.8556718848607],[12005720,574.8544852501963],[12005721,540.9452497248766],[12005722,488.1182202480194],[12005723,547.9205289682587],[12005724,495.8813692387814],[12005725,678.7337264788122],[12005726,469.07502000362376],[12005727,718.306594449314],[12005728,566.3607425529203],[12005729,630.2522469352105],[12005730,510.18923674934763],[12005731,594.1993579827886],[12005732,449.0819795296732],[12005733,438.89035927466915],[12005734,673.3554901959602],[12005735,544.1802023012029],[12005736,470.2066422226619],[12005737,552.3160499174286],[12005738,553.5343994956198],[12005739,377.96315347274736],[12005740,593.7487599379419],[12005741,547.2965103346493],[12005742,456.956365951285],[12005743,444.291297970421],[12005744,652.895027202763],[12005745,554.7642718384017],[12005746,503.25061351835853],[12005747,439.04030742579204],[12005748,620.0996723078939],[12005749,417.39689503122884],[12005750,464.8309160874918],[12005751,340.052637815976],[12005752,586.2880963788398],[12005753,380.47668789824667],[12005754,598.6636136466611],[12005755,564.5155774155294],[12005756,734.1719777573253],[12005757,510.2849502452733],[12005758,400.7522631622407],[12005759,653.4416100444993],[12005760,540.3911208685275],[12005761,408.02986254820087],[12005762,379.3630123363642],[12005763,664.2021306017396],[12005764,555.5828819805016],[12005765,482.0253405290154],[12005766,498.04323111711943],[12005767,418.8952653075275],[12005768,562.5541330685538],[12005769,580.6505675264489],[12005770,587.9270131443944],[12005771,559.4666942080211],[12005772,474.2966261894926],[12005773,651.1040801273824],[12005774,671.8396895848646],[12005775,402.80308069988837],[12005776,645.729659592581],[12005777,514.4262327235505],[12005778,451.2037386470055],[12005779,475.26216198537264],[12005780,651.4693007879486],[12005781,530.9717493285837],[12005782,556.6484786756813],[12005783,466.8751947853507],[12005784,523.8281480011487],[12005785,560.3517120789402],[12005786,442.6280283030385],[12005787,687.7964249558102],[12005788,383.704749011044],[12005789,396.57503532853144],[12005790,460.5071720412142],[12005791,393.39658247422636],[12005792,623.1965652823881],[12005793,548.3851008523843],[12005794,490.7330395393278],[12005795,598.8019404510441],[12005796,444.4568312753928],[12005797,595.6740383311628],[12005798,577.3219338892841],[12005799,417.7048601170585],[12005800,620.0238719996081],[12005801,500.5581023232534],[12005802,432.8012237415829],[12005803,467.92231847538164],[12005804,485.52405109258365],[12005805,514.2937632671079],[12005806,543.6153727196886],[12005807,494.78357634902255],[12005808,566.0767797918675],[12005809,704.799447336126],[12005810,439.03054482072986],[12005811,683.1974467374796],[12005812,629.8829060352806],[12005813,558.9303859762817],[12005814,591.7595258124752],[12005815,589.3508718716015],[12005816,433.0295461312072],[12005817,385.1774731961758],[12005818,464.085675899717],[12005819,508.6489308040457],[12005820,557.3046705427084],[12005821,452.06118283318557],[12005822,499.7422212082129],[12005823,556.6594349692081],[12005824,510.0745830599567],[12005825,505.2514913361758],[12005826,409.58548197446515],[12005827,371.26729975608623],[12005828,480.52787506103385],[12005829,372.9649749424826],[12005830,660.8031487422339],[12005831,450.7475487974125],[12005832,515.0190946233719],[12005833,611.9419119855534],[12005834,462.09009050032523],[12005835,629.6544059211734],[12005836,736.2746935489706],[12005837,504.9854013564059],[12005838,594.9227209387077],[12005839,393.6984265986023],[12005840,523.8335033877702],[12005841,555.7840094069736],[12005842,588.9393151858069],[12005843,426.4154721588415],[12005844,571.8320535302357],[12005845,487.4408576309156],[12005846,425.17039051607327],[12005847,489.8753102055615],[12005848,551.7166955913827],[12005849,648.8972674096777],[12005850,502.22823768721577],[12005851,469.5383140798079],[12005852,486.00705188902765],[12005853,576.0363866351943],[12005854,482.82215398320915],[12005855,562.4179991620573],[12005856,636.5798008484293],[12005857,622.8913637563226],[12005858,335.8649553773176],[12005859,509.607294238608],[12005860,584.3997845655429],[12005861,433.99304500963746],[12005862,405.74162843922664],[12005863,600.8445605049335],[12005864,587.2162060657798],[12005865,514.084473748539],[12005866,466.7388547102903],[12005867,508.1750296189168],[12005868,425.184971215238],[12005869,727.9534817400704],[12005870,405.5462078311981],[12005871,633.3593974279439],[12005872,656.0170770555721],[12005873,551.9704872554624],[12005874,571.3079871285678],[12005875,660.2655581456753],[12005876,463.00383909335255],[12005877,547.5056083342973],[12005878,489.42008638475704],[12005879,566.0561257926157],[12005880,410.12484544959904],[12005881,485.58679079986683],[12005882,537.3623598070063],[12005883,756.7763903395833],[12005884,437.27461031550837],[12005885,492.87225076806953],[12005886,574.524123716138],[12005887,568.3533252224423]]},"ib":{"n":256,"mean":523.5679890777928,"se":5.772440430833556,"sum":134033.40520391497,"sumsq":72350799.78533937,"rows":[[12005632,727.3661914826982],[12005633,521.1049453451109],[12005634,468.91288558996774],[12005635,571.0208575272001],[12005636,781.3937987976054],[12005637,468.5433466350217],[12005638,658.6308224422137],[12005639,635.3919686784682],[12005640,479.81857282938427],[12005641,562.2188230537253],[12005642,667.4358269971384],[12005643,564.0516926881941],[12005644,497.2397984275873],[12005645,415.1950847478531],[12005646,610.4320457256014],[12005647,463.0703528717469],[12005648,451.9537244451121],[12005649,379.9831726937208],[12005650,466.8410878029416],[12005651,500.80578461829424],[12005652,497.8244253116226],[12005653,622.7891250978287],[12005654,541.7000823183586],[12005655,570.7012846602291],[12005656,609.6356926049185],[12005657,631.3767596354933],[12005658,455.6660150743719],[12005659,665.9053241506701],[12005660,483.5463771064462],[12005661,404.4968214249868],[12005662,589.388129799877],[12005663,411.2666936340272],[12005664,537.3164918494906],[12005665,449.8234117831987],[12005666,505.1209518496074],[12005667,662.1122351021435],[12005668,537.266891209569],[12005669,437.76049872476995],[12005670,462.5221774007661],[12005671,588.6469437084692],[12005672,375.32869447172294],[12005673,618.6272850586904],[12005674,395.6560988139415],[12005675,447.0578452384731],[12005676,681.1042840738112],[12005677,583.1659194305334],[12005678,608.6754206127969],[12005679,371.0686910497371],[12005680,663.9930481035648],[12005681,503.69094011927444],[12005682,427.2317833745292],[12005683,753.0227987972276],[12005684,470.9086979885576],[12005685,476.5376569823089],[12005686,577.6035267978542],[12005687,631.5893131185576],[12005688,497.96324022577227],[12005689,440.1914356767186],[12005690,571.022307573049],[12005691,460.0461862430797],[12005692,439.43071937418944],[12005693,620.1560943535771],[12005694,554.3598232097181],[12005695,377.388152881976],[12005696,546.598797963901],[12005697,394.30788721432117],[12005698,390.37060808850094],[12005699,424.12254250289277],[12005700,469.2252420673592],[12005701,466.29238461451473],[12005702,485.2219027966558],[12005703,528.2191668391018],[12005704,556.2887062484175],[12005705,495.3473815082015],[12005706,349.0431499113804],[12005707,454.61758259779805],[12005708,722.0810413755394],[12005709,630.6828497434107],[12005710,443.40555337895256],[12005711,474.1362262426594],[12005712,664.6480695974727],[12005713,520.1253990441596],[12005714,425.7044332540832],[12005715,451.87048472323306],[12005716,613.9923457563344],[12005717,434.71611664671866],[12005718,627.1352863102319],[12005719,404.6577651224106],[12005720,570.4189654582182],[12005721,536.6415588050068],[12005722,485.1711342883378],[12005723,543.6842110955027],[12005724,492.32912942927567],[12005725,672.0031288138961],[12005726,466.17136537713213],[12005727,711.6757290862705],[12005728,564.535906996196],[12005729,626.2398540745791],[12005730,506.5697516410284],[12005731,589.169456652226],[12005732,445.26180830929036],[12005733,436.18854722903575],[12005734,668.8948201599703],[12005735,539.8505164134451],[12005736,467.08440662820885],[12005737,549.3707100571659],[12005738,550.0767670624859],[12005739,374.21460219031695],[12005740,589.1188101411329],[12005741,544.1889786853826],[12005742,453.9935162169425],[12005743,441.80176096871895],[12005744,646.3061692943055],[12005745,550.6008960820498],[12005746,499.297720422791],[12005747,435.5225333421464],[12005748,616.0733008619563],[12005749,413.4891051997297],[12005750,461.74265392209963],[12005751,337.09152719772703],[12005752,580.7774271255208],[12005753,377.997305619876],[12005754,595.6267621533475],[12005755,561.3497173440462],[12005756,727.4477425604479],[12005757,506.51600526485225],[12005758,398.6312767937651],[12005759,647.2973124140966],[12005760,537.4687864781066],[12005761,405.7327486163756],[12005762,376.5490310888577],[12005763,657.7314669852958],[12005764,552.906499119077],[12005765,478.6011732278405],[12005766,494.3024102754791],[12005767,414.2387762658753],[12005768,557.8450418732724],[12005769,576.8220289617477],[12005770,583.4247873494315],[12005771,554.1034893612089],[12005772,471.25834757287413],[12005773,647.6354973470139],[12005774,667.8265975037137],[12005775,400.3920212006794],[12005776,641.0641086642793],[12005777,510.4410162690104],[12005778,446.9607297764068],[12005779,470.9853411436744],[12005780,646.869114890737],[12005781,528.8462332232427],[12005782,554.0657279503235],[12005783,462.46796857642886],[12005784,519.5667139255513],[12005785,556.0128588639113],[12005786,440.425982063795],[12005787,680.7263196575726],[12005788,381.72112008094626],[12005789,393.66701371086305],[12005790,456.63431026686146],[12005791,390.4492286783258],[12005792,619.7668003590674],[12005793,546.0084510689559],[12005794,487.23863913116463],[12005795,595.3695232005841],[12005796,441.82369660848354],[12005797,592.8888346203844],[12005798,572.0858193194667],[12005799,413.21334687712243],[12005800,616.7735177760946],[12005801,497.29294743129145],[12005802,429.2095110407167],[12005803,464.15223715877386],[12005804,482.35995858752415],[12005805,511.64832158700835],[12005806,540.5167670831806],[12005807,491.4936657415744],[12005808,562.9473022278522],[12005809,699.5216022844531],[12005810,436.1837820798367],[12005811,676.6459677134302],[12005812,625.3343662600707],[12005813,554.0766827026921],[12005814,588.0474836617832],[12005815,585.3598653276334],[12005816,429.80991083471906],[12005817,382.13091978014535],[12005818,461.5196028193415],[12005819,505.9644041237447],[12005820,551.8152508795738],[12005821,448.8077330299379],[12005822,497.56456689110723],[12005823,553.1845716034013],[12005824,506.82313683956266],[12005825,501.34594684905124],[12005826,405.19930768696184],[12005827,368.3256442884027],[12005828,477.97099639592716],[12005829,370.82462760846926],[12005830,656.5659006173883],[12005831,448.17605175428633],[12005832,513.3875593812877],[12005833,583.4391483611207],[12005834,460.00216694856806],[12005835,623.7313163337592],[12005836,729.9536485525769],[12005837,500.1855127043666],[12005838,589.7036426757495],[12005839,391.118456286543],[12005840,520.6687536894299],[12005841,550.8497246195991],[12005842,581.8625642689734],[12005843,423.1882670426279],[12005844,567.6233773865202],[12005845,482.3159631726829],[12005846,423.27176695687615],[12005847,485.830159892576],[12005848,547.6720710291451],[12005849,644.7526617336625],[12005850,497.3087894010561],[12005851,466.16849638529675],[12005852,482.2526888061317],[12005853,570.760158000146],[12005854,479.77337925353925],[12005855,560.3367477897145],[12005856,633.4188802124341],[12005857,617.0220630377377],[12005858,334.7309423177706],[12005859,506.64894799543487],[12005860,579.3265968578074],[12005861,432.23166315860107],[12005862,402.64297213908617],[12005863,596.9599500362707],[12005864,583.0840697033419],[12005865,511.9926860087898],[12005866,464.2347209302162],[12005867,504.8779346650805],[12005868,421.6096186975413],[12005869,725.2560055242479],[12005870,401.950427906411],[12005871,628.1434514278402],[12005872,651.5742268402669],[12005873,547.8049457175466],[12005874,566.0642251377201],[12005875,655.0915532948237],[12005876,461.31100722807093],[12005877,544.8823233797859],[12005878,485.82533474811316],[12005879,562.1538291725582],[12005880,407.7879310449077],[12005881,482.0892857816815],[12005882,532.3497543156291],[12005883,750.9089966745305],[12005884,433.49774539399107],[12005885,489.9759594122955],[12005886,569.2431903331616],[12005887,563.4958969865112]]},"q2":{"n":256,"mean":526.6162637894197,"se":5.829983596489671,"sum":134813.76353009144,"sumsq":73213903.36384998,"rows":[[12005632,730.3605131774092],[12005633,523.5867671425026],[12005634,471.6909387216751],[12005635,574.5576004577995],[12005636,787.0888848719256],[12005637,470.325344552282],[12005638,659.9304793342267],[12005639,639.1475631982632],[12005640,481.5885406596421],[12005641,566.1513065382638],[12005642,668.2219873981766],[12005643,568.3083027899318],[12005644,500.2772904351743],[12005645,416.8764020475133],[12005646,613.7826096914056],[12005647,466.0554868413321],[12005648,454.2768897855102],[12005649,382.2438000329532],[12005650,470.33166607928354],[12005651,504.3684071587095],[12005652,501.49132501818895],[12005653,626.9940578829402],[12005654,544.8991215511471],[12005655,572.4662112119855],[12005656,613.6297683694046],[12005657,636.5981452190003],[12005658,458.28557321146457],[12005659,673.189362444729],[12005660,485.37177250560416],[12005661,404.162725683481],[12005662,593.5704838648862],[12005663,413.73913563611353],[12005664,541.7516895464925],[12005665,452.9609426998248],[12005666,507.7852582520471],[12005667,665.5586107549818],[12005668,540.1486012587034],[12005669,439.80529393057634],[12005670,464.8110578707692],[12005671,594.0174920703661],[12005672,376.47424033590295],[12005673,620.8933814630789],[12005674,397.386205583866],[12005675,447.57805758589416],[12005676,682.1471571156723],[12005677,586.3172589281107],[12005678,612.32635800765],[12005679,372.13883604674805],[12005680,669.0159212474281],[12005681,506.06779121543894],[12005682,430.1117211555834],[12005683,760.474162503307],[12005684,473.961486687562],[12005685,479.2778385730272],[12005686,581.2520812110866],[12005687,633.6750732706615],[12005688,500.8598398643014],[12005689,442.6690663740342],[12005690,573.6043031810224],[12005691,463.8661981227169],[12005692,442.50218740074916],[12005693,624.492095381236],[12005694,559.710370110599],[12005695,378.8311678242665],[12005696,548.3764231542891],[12005697,396.58016096984244],[12005698,392.06925016441454],[12005699,425.33522101699833],[12005700,472.4939326825494],[12005701,469.2736120014023],[12005702,485.74920118574477],[12005703,529.3451911577316],[12005704,560.0194284137509],[12005705,497.2476737545833],[12005706,349.17052804135864],[12005707,456.9529874531379],[12005708,727.6239909506328],[12005709,634.2461671718979],[12005710,446.0742050608892],[12005711,477.20657154886413],[12005712,672.8563744048199],[12005713,523.419132067417],[12005714,427.6628802831426],[12005715,454.3666159007008],[12005716,616.9953891167172],[12005717,435.9810785266203],[12005718,630.5329668634055],[12005719,407.55112318570895],[12005720,574.3223578916451],[12005721,539.8810891687291],[12005722,487.75628830681495],[12005723,547.3534378824032],[12005724,494.69197210361244],[12005725,677.7753759528484],[12005726,468.41727857848053],[12005727,718.4197220144347],[12005728,564.2459853463414],[12005729,628.8931959443588],[12005730,509.24910097210227],[12005731,593.019180953186],[12005732,448.61821235433956],[12005733,439.29457075911847],[12005734,672.9018209428211],[12005735,543.3898323216065],[12005736,468.86933118042714],[12005737,552.1069989198423],[12005738,553.0787748599515],[12005739,377.54088294117827],[12005740,592.34581174909],[12005741,546.0107454571909],[12005742,456.16084137810407],[12005743,442.9886154989026],[12005744,652.3160844152792],[12005745,553.9432027414891],[12005746,502.4531247715037],[12005747,438.70074474282086],[12005748,620.0761051415849],[12005749,416.4979938596943],[12005750,464.3175778075928],[12005751,339.0104822308193],[12005752,584.8764620482875],[12005753,380.0029367118767],[12005754,598.5183945473091],[12005755,563.3866696677292],[12005756,733.0571592256127],[12005757,509.98387754066255],[12005758,400.5014552917009],[12005759,652.8909276204325],[12005760,540.1422507469374],[12005761,407.0177479427931],[12005762,378.5977938101917],[12005763,665.1305028141086],[12005764,554.6603486571528],[12005765,481.49804925826396],[12005766,497.33557580834355],[12005767,417.7684508801832],[12005768,561.3501863590159],[12005769,579.524321715581],[12005770,588.018358531298],[12005771,558.851135133861],[12005772,473.3849727788151],[12005773,650.4031896644439],[12005774,670.7552465336468],[12005775,401.1007921531008],[12005776,644.5456482121015],[12005777,513.2367511557434],[12005778,449.96680466025174],[12005779,474.7846291025431],[12005780,650.6840345530896],[12005781,531.2533316919994],[12005782,555.13897677824],[12005783,465.0505719176303],[12005784,522.7691812881724],[12005785,558.5119731939511],[12005786,441.1415215214552],[12005787,687.2100289660823],[12005788,383.21346987759904],[12005789,395.9483111566015],[12005790,460.2838606848146],[12005791,391.87111286848324],[12005792,622.6423724509041],[12005793,547.3298052221388],[12005794,489.39665954758703],[12005795,597.6512819631815],[12005796,443.7659417233786],[12005797,594.6336753699073],[12005798,576.3241059405404],[12005799,415.7772751191929],[12005800,618.6711341427181],[12005801,498.8626709470682],[12005802,432.3090138853305],[12005803,467.23530438790704],[12005804,484.9869197210754],[12005805,513.1329597628826],[12005806,543.5545623462258],[12005807,493.16207042238364],[12005808,565.9349281307096],[12005809,704.740402412457],[12005810,437.67946798381837],[12005811,682.4161411163485],[12005812,628.5397512780938],[12005813,559.5151439749351],[12005814,590.4952225103514],[12005815,587.6556494870975],[12005816,432.0037475753454],[12005817,384.6539102699513],[12005818,461.6291844651191],[12005819,507.7883085317529],[12005820,557.0296103648826],[12005821,450.81957923870795],[12005822,499.5852272732691],[12005823,556.0067724564283],[12005824,508.83683926323323],[12005825,504.96116100120366],[12005826,409.1739304278672],[12005827,369.8664101932227],[12005828,479.6709760990934],[12005829,372.3761856909442],[12005830,660.6380509360092],[12005831,450.4201411262615],[12005832,515.1547692692072],[12005833,610.9079633152301],[12005834,461.98180326431185],[12005835,627.747469640347],[12005836,735.5524863144029],[12005837,504.5184251613048],[12005838,594.0133988279432],[12005839,392.9788439002226],[12005840,523.294964294855],[12005841,555.5931097389556],[12005842,587.8497924473342],[12005843,425.3462097786809],[12005844,570.8808568296371],[12005845,486.49874186311365],[12005846,424.9639378731781],[12005847,489.45120019499564],[12005848,550.354556086353],[12005849,648.2528818888296],[12005850,501.8732292159886],[12005851,467.9806214077618],[12005852,484.54205565061926],[12005853,574.8780548147605],[12005854,481.18253568200544],[12005855,561.9314742027913],[12005856,636.2195995528449],[12005857,621.7806657598575],[12005858,335.1825453011298],[12005859,508.1725084626949],[12005860,584.3683202018624],[12005861,433.6103026697496],[12005862,404.5423843544466],[12005863,600.668705173832],[12005864,587.0040532780085],[12005865,513.0439855885926],[12005866,466.44552888064044],[12005867,507.3281052047222],[12005868,424.58458890061473],[12005869,727.5403028773864],[12005870,404.0282718461175],[12005871,632.7963607345412],[12005872,655.8202929739527],[12005873,550.9068559109971],[12005874,571.5700111021099],[12005875,659.5733445864093],[12005876,462.42772770611515],[12005877,546.0509257654123],[12005878,488.7916295198901],[12005879,565.0585056499292],[12005880,409.112916048964],[12005881,484.33336789156397],[12005882,537.2543518722812],[12005883,755.5209386322065],[12005884,436.7263181053435],[12005885,491.47420915297914],[12005886,572.4931218225474],[12005887,567.546841719662]]}},"paired":{"m09_minus_ib":{"n":256,"mean_diff":3.8664767716918904,"se":0.12831329307822517,"sum":989.818053553124,"sumsq":4901.898093332598,"worst5":[[12005661,0.5582301511557262],[12005702,0.6468070526115639],[12005706,0.6571255078231957],[12005858,1.1340130595469873],[12005717,1.3557575948786962]]},"control_minus_ib":{"n":256,"mean_diff":3.0482747116268145,"se":0.13005762262097542,"sum":780.3583261764645,"sumsq":3482.9567856659596,"worst5":[[12005661,-0.33409574150579147],[12005728,-0.2899216498545911],[12005818,0.10958164577760954],[12005706,0.12737812997823994],[12005858,0.45160298335918014]]},"m09_minus_control":{"n":256,"mean_diff":0.8182020600650759,"se":0.034254646537487124,"sum":209.45972737665943,"sumsq":247.97867967841782,"worst5":[[12005763,-0.9283722123690268],[12005813,-0.5847579986533447],[12005713,-0.5281051535422421],[12005733,-0.40421148444931987],[12005711,-0.3994620857893665]]},"control":"q2","se":"sample SD (n-1)/sqrt(n)","pairing":"completed seed intersections only"},"commands":[{"arm":"m09","start":12005632,"count":64,"run_batch_calls":1,"exit_code":0,"elapsed_seconds":27.494,"command_wall_seconds":29.31,"n":64,"missing_ranges":[],"gas_before_run":[],"gas_stats":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":702720,"max_ok_gas":22592,"ok":702720,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15855283212,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229594,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14694016,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":714309,"max_ok_gas":202495,"ok":714309,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":79574218444,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}],"submission_afterSwap_peak":202495},{"arm":"ib","start":12005632,"count":64,"run_batch_calls":1,"exit_code":0,"elapsed_seconds":28.204,"command_wall_seconds":29.98,"n":64,"missing_ranges":[],"gas_before_run":[],"gas_stats":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":699980,"max_ok_gas":22592,"ok":699980,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15793506268,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":243227,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":15566528,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":699504,"max_ok_gas":234704,"ok":699504,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":94420010487,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21735,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1391040,"tx_error":0}],"submission_afterSwap_peak":234704},{"arm":"q2","start":12005632,"count":64,"run_batch_calls":1,"exit_code":0,"elapsed_seconds":23.011,"command_wall_seconds":24.72,"n":64,"missing_ranges":[],"gas_before_run":[],"gas_stats":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":707839,"max_ok_gas":22592,"ok":707839,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15970776140,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":142315,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":9108160,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":707687,"max_ok_gas":201779,"ok":707687,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":65522235145,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21521,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377344,"tx_error":0}],"submission_afterSwap_peak":201779},{"arm":"m09","start":12005696,"count":64,"run_batch_calls":1,"exit_code":0,"elapsed_seconds":25.132,"command_wall_seconds":26.82,"n":64,"missing_ranges":[],"gas_before_run":[],"gas_stats":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":679610,"max_ok_gas":22592,"ok":679610,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15333844384,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229594,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14694016,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":693599,"max_ok_gas":201496,"ok":693599,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":77583238156,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}],"submission_afterSwap_peak":201496},{"arm":"ib","start":12005696,"count":64,"run_batch_calls":1,"exit_code":0,"elapsed_seconds":28.456,"command_wall_seconds":30.28,"n":64,"missing_ranges":[],"gas_before_run":[],"gas_stats":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":675282,"max_ok_gas":22592,"ok":675282,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15236230752,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":243227,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":15566528,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":681635,"max_ok_gas":234775,"ok":681635,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":92307966699,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21735,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1391040,"tx_error":0}],"submission_afterSwap_peak":234775},{"arm":"q2","start":12005696,"count":64,"run_batch_calls":1,"exit_code":0,"elapsed_seconds":23.591,"command_wall_seconds":25.34,"n":64,"missing_ranges":[],"gas_before_run":[],"gas_stats":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":684412,"max_ok_gas":22592,"ok":684412,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15442193108,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":142315,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":9108160,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":686634,"max_ok_gas":189272,"ok":686634,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":63745031276,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21521,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377344,"tx_error":0}],"submission_afterSwap_peak":189272},{"arm":"m09","start":12005760,"count":64,"run_batch_calls":1,"exit_code":0,"elapsed_seconds":26.367,"command_wall_seconds":28.24,"n":64,"missing_ranges":[],"gas_before_run":[],"gas_stats":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":696281,"max_ok_gas":22592,"ok":696281,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15709995700,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229594,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14694016,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":708458,"max_ok_gas":202101,"ok":708458,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":79020237541,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}],"submission_afterSwap_peak":202101},{"arm":"ib","start":12005760,"count":64,"run_batch_calls":1,"exit_code":0,"elapsed_seconds":27.702,"command_wall_seconds":29.36,"n":64,"missing_ranges":[],"gas_before_run":[],"gas_stats":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":692608,"max_ok_gas":22592,"ok":692608,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15627150092,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":243227,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":15566528,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":695141,"max_ok_gas":232014,"ok":695141,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":93905194221,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21735,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1391040,"tx_error":0}],"submission_afterSwap_peak":232014},{"arm":"q2","start":12005760,"count":64,"run_batch_calls":1,"exit_code":0,"elapsed_seconds":22.525,"command_wall_seconds":24.27,"n":64,"missing_ranges":[],"gas_before_run":[],"gas_stats":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":701251,"max_ok_gas":22592,"ok":701251,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15822128096,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":142315,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":9108160,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":702087,"max_ok_gas":193133,"ok":702087,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":65071419639,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21521,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377344,"tx_error":0}],"submission_afterSwap_peak":193133},{"arm":"m09","start":12005824,"count":64,"run_batch_calls":1,"exit_code":0,"elapsed_seconds":25.547,"command_wall_seconds":27.27,"n":64,"missing_ranges":[],"gas_before_run":[],"gas_stats":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":687981,"max_ok_gas":22592,"ok":687981,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15522748452,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229594,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14694016,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":701190,"max_ok_gas":210064,"ok":701190,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":78301256164,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}],"submission_afterSwap_peak":210064},{"arm":"ib","start":12005824,"count":64,"run_batch_calls":1,"exit_code":0,"elapsed_seconds":27.647,"command_wall_seconds":29.44,"n":64,"missing_ranges":[],"gas_before_run":[],"gas_stats":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":684305,"max_ok_gas":22592,"ok":684305,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15439825624,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":243227,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":15566528,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":687887,"max_ok_gas":234751,"ok":687887,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":93032885410,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21735,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1391040,"tx_error":0}],"submission_afterSwap_peak":234751},{"arm":"q2","start":12005824,"count":64,"run_batch_calls":1,"exit_code":0,"elapsed_seconds":22.742,"command_wall_seconds":24.52,"n":64,"missing_ranges":[],"gas_before_run":[],"gas_stats":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":693054,"max_ok_gas":22592,"ok":693054,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15637201512,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":142315,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":9108160,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":694556,"max_ok_gas":206021,"ok":694556,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":64392810876,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21521,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377344,"tx_error":0}],"submission_afterSwap_peak":206021}],"gas_measurement":{"reset":"rs.gas_stats_reset() immediately before each run_batch; gas_stats() asserted [] then snapshotted immediately after return","roles":"gas_stats rows include both Submission and Baseline roles","validation_gas_used":false,"command_timeout_seconds":470},"validate":{"m09":{"pass":true,"unchanged_source":true,"output":"Strategy 'MixGaussian' validated successfully!"},"ib":{"pass":true,"unchanged_source":true,"output":"Strategy 'inputs_b' validated successfully!"},"q2":{"pass":true,"unchanged_source":true,"output":"Strategy 'QmGaussianPort' validated successfully!"}},"faults":[],"valid":true,"notes":["Contracts used byte-identical (source SHA256 asserted in runner before compile).","No board entry. 1024 of 1024 arm-seeds completed; no timeouts, no missing seeds.","256 seeds cannot establish the +2.7-over-IB bar on 4,000 seeds."],"runner":{"code_zb64":"eNrtWFtz27oRzrN+BSYvICc0Leou+fDBTd2OZxI3Y6eZdlQNBwQhGce8hSAVuR7/9+4CoKyLc5J2TvtSYcYmLruLxWL324WqJs9FdV7pj18+vvkvtC600WCgv9AOvkGv19vOmfkgCPqjN6T75n/QGlWzCrZ/8//Z3r59e5mwshYJWVZFRliTyPosIJzlRS45S8EnZoRVmSJZd3ou4/OvPeIokQpek2+yvieM17LIXY+ITZlKLmtydoY2rUklvjayQslF1bn6cnX7d0vsEV4VSp0lsMrronokqUhWoiLFkmhW4MlY9SAq5ZPbJicyJ6UED00Ivxf8oWjs3opXrOb35yJf+wqGRVNxkfidshIlqwQBt1YkL4jIVzIXRAmRgMQbsYa9KpEVa3G4HylwpVGC8CJXTQYrhgsM1ZFZWcC5WLUC6Up4CasZT5lSQnn3TN2nMvZ+VXC+ktV6UMtMtFx5k5WPhIE+5VZQlkVKZhFsC/OV6pgrgFleZKWoJRrL3+/nS7kilj9uZJpEZs4zg5gp0c784fLu6sP1zVV0d/X58/XNn+9eZr5c3l5f3ry/+vGOGRq43fAjDm41VrzOKdaZ5pYpWNgy3RWpBKd6fG/nO3+6vvrwx7uQ5pGqRangdoGZpVFZSS62o82290hWcRZljf4oucqY7iXoYTWTacSqSq6BEJxBtHOZYCBf/nM7gX3LbWfi5hH2LGJ9w9RX4L6143au/vbp6v3n8InKmM5ovxtMB8GkN2WDQRyPutPxOI57k2ASsKEYxEs2Gg4Gy/5oOhqP+svpZNwdDsaTadwbBUEymoyoR7/2QE6PD8bBshv0e3F32R0xJib9eBz3+GQE+Dfp82ky4TDRT4ZiPBwH0yTpj3rLYdwfwX7DKciBAARBoAfnbBB3g+GQs/502F/2xpzHo3jQZ3wixHgQBzzhA5ju9npCDJd8GCQTFo/GIhku6XPnY3ca3f715vP1x6uQiulwORgkQT8YTceg+nA6mHYT2HkZj3pjNhzGAzblcZ9PBgkTXT4dslHcH4tut9cXYAjaufzw4S/vQyfodbvDUb/n6c5kMnY7iYCAvmdO7M7A5k2VExsmEK2sNxzBgn8vNolcCYWmR/oi/tXhW/qnh9kKbquuK4d7Dy5CCXlAPDBO9KxZ+HLlKHfWIVWYl37F8qTIfFhgTVpHVY6LF+vw2PlJFlZ+k0sQmjlr/9Bzokzm3mvTbON2CHuNd9cT99n3V7SE1Z6ErXNbvp2xprYG2Y15Bx03VN6WNFx5r2wXMu/wDGFmjP2tkrVwSm/jzkpfD6JabGoHUcxPALGUs/EURHH0IB5V+LlqhKcQWxnAtgod8EoPfNJ139F/5NTItODrAEp7Gl09XjQ59CuuLykLYeWcWjLfAjC9yPyiFLlDN9Q1qjhL+qRXn8mTFvGs9yBchXPtJfrajU8gihC4+ZVwzJ76/zvN5i46xBQ44Q6AOWiJrEkZApcKJ56xaXiEo8bKN0UuXC+PvhU6TwD9mlWS5VwcO5a+raWoBK7a0iravTjl4DEwlcFRAGjyRGzoTHp0KUWaqAgSJ0vpbNf54azShQgIw3Zqu8VcLl4LjWc9I18MM0FDYLbC1JOmDv5t5vt7LnzwmkaAgkYgorDVFFW2EB4eYrrjXmBkCxU+PXc0I5QMeONezjLEdDJ3NH5pL5jr7sKjdzX65+qRup6DcGtXoXe4CBhqF6F3uLhmuUxTRtu863+Cr0PB1kDFa3UOnOdfDFHL6KsiBWZ6ME3dBbgoiUNggdBl4AmPtdD3ReQST4WHMSliZm1pEC4MzewcaBaeg+enpiAB+6H9E/RdwsPWiG2idGLAKl4kwnG9VuUIzRbiP/fC7sJ91XAulPK4L6oKwm+rUhia3LCjDweZZVo8CnMAFA8a7gC/p+8D4wKLFDDud5hQZwzlczzRO+rHEmLQBqi1Dfe31EBs/EBbAXKosUBk4J7OjKk8ysG0GHfbffYodgR61Gr4PcpjjQ+kKzpLAVa+K3O7fiwJXPmoUvP3i7YcNlqLjgXSPWBDDKUemACRCNTVsEQ1ItGZgURq4CAyAQaz+utRRJ8UKtZIibqW+QqWdmpNn6lE8to5qu/cHc4WnX6bc4tYrSqohNrqtWvqnZQAFD+TE3wAJ+3WIN14BZ2Zr0eN3SLINSJXeFW7W+2FsaH0o2gJsRJF7l5Uar1NOAFcgrelHLbu+hO/NwAtihKuGdKdXhQ5i+GdQWdaY/QB0AdKlWePriW7vm0XoIb9AggPSoEoOJZUFEh0+R6t2wWoM6J2FEXPJvOBz+ush3G7l/rM8waTXxlqO6YFS5Tzir/Y4+kk7G5jv5xbL1qEoXlbQY2Ds8abYNb6k1481wOSwdOWaFQn9b1o03JC4rTgD7RDHKPVOWRZVPg5ssk2ssl2m5ndVxIz5I6CM3w4WS7ff9pJuWfB8wXJ7TsLLG0St8ER3AyAZCv9dxOPdYGpCX6qJNhByx3fNpWFkcB18lOLf9Pbw1DfzG4EYQWi/BVT8ORhtYoqAZENSTMWsA/UCDtrzvbW7WI4X3im2yF1iLjlZ0Ve1Pg+x7wUY02DIsAQkR44qYRyes/aFrb3Y+eFrE2hhu6ADMJ9guUqU4eKivRIn7P6oiq+wU0sTB1QoQ21ViBVQUGuML/aE1LVxJlUOqT0bfnokpjYUIbPSnCMxJlXPpZgnl2d73ItFlhsITHeEZrjBYnbs5vAAiSG+ITIxeD8TVBGcXSG/yHsTXbAAWDN9ux0Bl0zNldDZ+YL8JGyUkEWUZBD8gQoRQrwAIk60kk9iiBbR1DTS8ANCrZgZdj+oOBfVqsmE3n9CUdYVLHSZ0kC1byZd6j5AYV6/L6AxzKYuYUP+z70dBmli6RXuM/OwC7Uqx9LEe6CrNf+VKP9+1VGYzDDKsFKP+YwRn3hsA+ycDTA19MxvYGj/0w7PPQR36uUWEj+HKU25zEpvvyAWl8Y0u8EbPBLyHx97F/glBqj9dt43l3gygty2/47S30GjIYwgNIWrkjJRBCx4WmjIPcRi4Z48bC7DwR+9pDIysGLz2uLSmID4RwVD62VfGPQH5N2tk82Lduz2nlWO8/8EsJ8GZvfMpj/tWd/jWA+fJ5dXYf6xjfBvVuXJCJVQmfFVrD9/e9wh1ZXt/Pm1E7t1E7t1E7t1E7t1E7t1E7t1E7t1E7t1H7X9i/oTi3b","tar_sha256":"e44f4493f2a529dd52639711a83be32b96660a97a832740596c70dc9ce30293a","contents":["runner/runner.py"],"runner_py_sha256":"ebdc579d1ba86f03c1928788b0823134c574c62bdfdf1e3eb631cf5e5c8fff5c","derived_from":"audit-1 canonical.py (sha256 1a0652c3...)"}}