{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved; solved policy, filter, exact-arithmetic tell and U1 tables underlying QLX5.","n":7,"id":"phase_cnt","family":"phase thresholds","find":"cnt++;ph=cnt==1?1:2;","lo":"cnt++;ph=2;","hi":"cnt++;ph=cnt<=2?1:2;","seeds":{"first":10203896,"last":10204023,"n":128,"unused":[]},"arms":{"QLX5":{"mean_edge":544.2177329125608,"peak_gas":206022,"out_of_gas":0,"runtime_bytes":22440,"source_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40"},"LO":{"mean_edge":544.058782662418,"peak_gas":202943,"out_of_gas":0,"runtime_bytes":22416,"source_sha256":"a97542f076007b95be31aa0ba448348704852d8880d640d63c2b97c8cb7ac1af"},"HI":{"mean_edge":544.1896383668085,"peak_gas":207677,"out_of_gas":0,"runtime_bytes":22437,"source_sha256":"4ffc4e1eb8338e279eaf31fff2ed5d3d8ffb3765816f9d4f2ce7c4cba6fb74c9"}},"diffs":{"LO-QLX5":{"n":128,"mean_diff":-0.15895025014287345,"se":0.02391582204630997,"sum_d":-20.3456320182878,"sum_d2":12.531831440336553,"seeds_positive":33,"min":-0.7832460903861147,"max":0.7857956147487357},"HI-QLX5":{"n":128,"mean_diff":-0.02809454575232717,"se":0.01867110852685109,"sum_d":-3.596101856297878,"sum_d2":5.768039781242105,"seeds_positive":58,"min":-0.7027993028390256,"max":0.7360232488936163},"HI-LO":{"n":128,"mean_diff":0.13085570439054628,"se":0.02904943079655146,"sum_d":16.749530161989924,"sum_d2":15.90971301519454,"seeds_positive":83,"min":-0.7718472341849747,"max":0.8882789885798275}},"pass_peak":{"LO":true,"HI":true},"reading":"On 128 paired fresh seeds, LO changes mean edge by -0.158950 (SE 0.023916) and HI by -0.028095 (SE 0.018671) versus QLX5.","not_done":["No leaderboard submission; this 128-seed screening item does not establish the goal's >=+0.04 improvement on 1,024+ fresh seeds.","Gates P, Q, T and F and qt1 comparison were not run; this item tests only QLX5, LO and HI on the assigned engine lease, with size and observed gas/error checks.","Peak gas is an observed sample maximum, not a bound for untested seeds; no measurements were fabricated."],"evidence":{"map_sha256":"f921f2133d55d8ce81b5d809494003e898fc2a72d1fe47cdc34606ff269d676e","driver_sha256":"d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282","kit_commit":"45e7563d1a29ffca9d608fdf60c90bf2624d2d01","engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","compiler":"solc 0.8.24, optimizer 200, viaIR, paris","compiler_sha256":"fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f","native_sha256":"ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14","source_chars":{"QLX5":47230,"LO":47221,"HI":47230},"method":"Unchanged block driver; QLX5, LO, HI in that order inside each 32-seed block, each alone vs 30 bps VanillaStrategy; workers=8; config equality checked for each seed and arm; no seed rerun; paired SE uses sample SD with n-1 divided by sqrt(n).","engine_seconds":195.83714473759755,"failures":[],"burnt":[],"rows_format":["seed","QLX5","LO","HI"],"rows":[[10203896,413.0380682169729,412.9359939839402,412.9561226942493],[10203897,583.3648843552239,583.6413462413074,582.8694990071224],[10203898,579.033991658133,578.412613984798,578.8112653840852],[10203899,406.2463677430278,406.16690864582034,406.2815415442138],[10203900,608.8283389444313,608.5901794243819,609.0819496014278],[10203901,733.5888740800195,733.5396936613781,733.379143231064],[10203902,520.3455300427909,519.7729007049095,520.5448538605324],[10203903,543.9336416295895,543.9392180627163,543.8005338674162],[10203904,537.1144673764193,536.5766828468575,537.2576303928164],[10203905,743.8151713439534,743.1244109057146,743.6869021961336],[10203906,582.0427175500982,581.8380607394405,581.8622944101006],[10203907,502.5591225336425,502.8556882097593,502.70810574296837],[10203908,565.9804620449567,566.1435537490629,565.9419609440347],[10203909,465.522040874633,465.5256972786607,465.31510892317675],[10203910,450.0209212403116,449.69281824418607,450.2082526658152],[10203911,582.4105942675278,582.2562123970986,582.3787565541988],[10203912,577.2667055279916,576.6210824013934,577.1662753008338],[10203913,574.2810293542225,574.2893846008707,574.0646501351265],[10203914,628.9377366533562,628.5569303828039,628.8032003973303],[10203915,553.8843690285871,553.1430172876586,553.7671619511403],[10203916,687.9415029795758,688.118130407689,688.0148154876637],[10203917,479.4074167240389,479.090401527293,479.0823914992821],[10203918,489.1096306002778,488.87929053022935,489.5180209818142],[10203919,491.3619709463063,491.610341727554,491.38275001144007],[10203920,467.71013106124406,468.0780966014446,467.68960078480654],[10203921,564.372922573834,564.5189686752623,564.4598261197146],[10203922,493.7182656487988,493.70057373262966,493.7293162372318],[10203923,545.5230959860617,545.1193314775744,545.7324125603654],[10203924,616.0359763863136,615.806918438357,615.9404802611634],[10203925,615.3048909829967,614.7643406493627,614.9812920447785],[10203926,633.5822796155788,634.3680752303276,633.8004662468286],[10203927,594.375292647679,594.4043900971479,594.3347675854063],[10203928,625.6776814166514,625.5392042737785,625.4429522736713],[10203929,564.8187223321555,564.773127663863,564.8083294287462],[10203930,508.97533644166134,509.0057441065885,509.018153819598],[10203931,519.7326694437056,519.8370745789417,519.9195485183515],[10203932,500.14635553377383,499.96389824220415,499.9074475747441],[10203933,459.5400704159148,459.53265415344623,459.7478587108397],[10203934,555.0323001691639,554.7563267009297,555.0619210773535],[10203935,719.4207400824971,719.4663502104667,719.8306181012751],[10203936,454.2965516707898,454.14752998778266,454.4184803996204],[10203937,748.4886761249045,747.9056222202389,748.5255256369355],[10203938,536.3106407615286,536.2017469328275,536.0115917643204],[10203939,695.9023540423899,695.4518908614486,696.1253000034468],[10203940,424.8266403405462,425.11547136660084,424.8978831696611],[10203941,516.8173597416629,516.6149030811949,516.6544338905528],[10203942,623.5829685358059,623.1783235544877,623.5749614252506],[10203943,399.3070839186614,399.1711649965979,399.284716472721],[10203944,643.7512241689647,643.3697744907868,643.0484248661256],[10203945,473.37158597437696,473.11705112482326,473.45729600201815],[10203946,656.9497263151516,656.6743092739541,657.2995140007739],[10203947,471.0499566294753,470.9539782001258,471.2136489016374],[10203948,574.5264463607573,574.2530591307338,574.1740650182284],[10203949,565.5884279793904,565.5229008040998,565.0824803075002],[10203950,563.3785132043886,563.8354359991351,563.1330229767939],[10203951,515.6059856413736,515.8414123170729,515.4276854678315],[10203952,406.73870245868557,406.40436163739554,406.82353644866197],[10203953,469.0031328986537,468.9501381899987,468.9692363841606],[10203954,576.8971697470378,576.4138256117578,576.8899775819681],[10203955,674.3797313379521,674.0493103262017,674.6005845817964],[10203956,485.9445335575233,485.98572399435704,485.9801695978562],[10203957,495.3321280544642,495.2262548557442,495.4012389536969],[10203958,494.6373414452245,494.05084596503724,494.48120216865533],[10203959,397.1942628982331,397.0023598918329,397.0264478501177],[10203960,480.01679564418697,479.84085281274724,480.0190351332737],[10203961,417.44765183223603,417.0368209298097,417.3459172122468],[10203962,525.1898951487378,525.0498205329501,525.3177937900061],[10203963,647.7712819557731,647.688048870834,647.6444804058577],[10203964,524.3299847661536,524.0136718121678,524.3926154244944],[10203965,480.77648939628125,480.40910884799484,480.76455038378765],[10203966,707.3877669515509,706.7586814280813,707.3485786481342],[10203967,525.8553806799418,525.9169128501683,525.6002143822608],[10203968,432.091348049595,432.2334572883917,432.0544918857253],[10203969,459.212185046799,459.02528995174555,459.22136866539034],[10203970,645.361701167146,645.0501707084939,645.5164271179916],[10203971,517.7090441908666,517.4132182999193,517.6303641581611],[10203972,652.0802310395898,651.9704115852248,652.3130685834839],[10203973,658.7950327537922,658.2054682486155,659.0937472371953],[10203974,533.4795686425874,533.6498698059971,533.2596417980169],[10203975,496.0492677051093,495.986148159713,496.0208575803423],[10203976,522.0434831596629,521.6444229343424,521.8799203888931],[10203977,579.5909653172527,579.2916456703645,579.4786420642823],[10203978,511.72851450085574,511.61864492853636,511.87887808943634],[10203979,596.1903620923733,595.5425014464845,596.14374867945],[10203980,481.9308151413999,481.74734906738774,481.98612175574704],[10203981,475.4514900934719,475.2768582001305,475.06781213568684],[10203982,756.1184764109753,755.9395591758823,755.6979657782196],[10203983,425.6834080240442,425.4946558363788,425.82240575767776],[10203984,410.39429518030215,410.69188487245754,410.5113132763088],[10203985,586.6182497884371,586.4779713845493,586.3950282611077],[10203986,579.8154311184755,579.7452378026484,580.5514543673692],[10203987,562.7003227917153,562.3271013301717,562.5088670453027],[10203988,571.1815887655993,571.037003656348,570.959517605732],[10203989,428.34865646077844,428.2906803732672,427.96789384474266],[10203990,568.3533697819962,568.3373651808145,568.1240585365938],[10203991,410.3527614135178,410.0251450900945,410.4045834834456],[10203992,460.8173927665158,460.7423353747245,460.8726232793219],[10203993,547.1023270014688,547.122516299054,547.2026556530393],[10203994,378.2235605211323,378.0944065121466,377.9557442960312],[10203995,561.9973868183156,561.9609728209902,562.3359866929951],[10203996,571.7151292420335,571.289915215514,571.3229284004485],[10203997,562.8737855650176,562.6750441228044,562.6625721174669],[10203998,630.3369248895268,630.2564130503774,630.1486902415348],[10203999,639.6661031267106,639.5090442406653,639.6070204119915],[10204000,384.33802843076654,384.5476416600803,384.34148361382086],[10204001,569.0815886815319,569.1529289708071,569.4542149572206],[10204002,586.5798322461137,586.6897956060827,586.5462809295291],[10204003,494.12168292405323,493.9675302072651,494.014417731635],[10204004,566.8048075783354,566.6318020372597,567.0431350136805],[10204005,606.9490293434419,606.7672499115431,606.7398635078508],[10204006,617.2439677576433,617.0655164526089,617.320303680327],[10204007,539.5232025061506,539.2618962445432,539.3004165929696],[10204008,410.2631793927068,410.1973800601755,410.24071827148026],[10204009,556.8253806586351,556.8432190022572,556.9041341438436],[10204010,412.28286131409703,411.90895707708074,412.30668899879106],[10204011,726.8563027126713,726.6008088142297,727.1646194876606],[10204012,579.3861229015806,579.5551562600788,579.1775759996185],[10204013,426.7038068041331,426.1288192038075,426.7141645282609],[10204014,658.6918853245298,658.7157047387436,658.7545135677775],[10204015,594.6850731855997,594.3217614683558,594.6581870672574],[10204016,399.7622747870978,399.1734160719709,399.81376364308704],[10204017,366.76374036151844,366.5033304510752,366.68505388365094],[10204018,504.6853921409613,505.08256449916234,504.858998221557],[10204019,638.2605033677984,637.8693319140758,638.0325502204319],[10204020,607.432900027044,606.6496539366578,607.161392249224],[10204021,742.684783201552,742.4249497939609,742.9203511974647],[10204022,592.2876525511632,592.3434393514655,592.3410744906412],[10204023,406.98395940467833,407.3416727451397,406.96062238532545]],"blocks_format":["arm","first","last","peak_gas","out_of_gas","all_callback_errors"],"blocks":[["QLX5",10203896,10203927,205287,0,0],["QLX5",10203928,10203959,204523,0,0],["QLX5",10203960,10203991,206022,0,0],["QLX5",10203992,10204023,205899,0,0],["LO",10203896,10203927,202204,0,0],["LO",10203928,10203959,202285,0,0],["LO",10203960,10203991,201499,0,0],["LO",10203992,10204023,202943,0,0],["HI",10203896,10203927,205713,0,0],["HI",10203928,10203959,204539,0,0],["HI",10203960,10203991,206833,0,0],["HI",10203992,10204023,207677,0,0]],"find_occurrences":1,"single_replacement_only":true}}