{"item":"e09-refit-q/rq-1","status":"complete","credit":"Taylor (gtmcknight): replica (replica2.py), Gaussian filter, solved policy, qm tables; github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved, README first. Also builds on results tca-path (TC-A TwoComp, o1-b port, QMRef = qt1), lb-4 (LEAN tell) and visit-refit (REFIT blob).","summary":"Replica only (python3 -I, standard library). Choose block 64000..64255: R-LEAN +0.052353 se 0.010491 (z 4.99), decision R, written before the report block was opened. Report block 10000..10511 (n=512, once, in order, all three arms): R-LEAN +0.044785 se 0.006685; R-qt1 +3.172116 se 0.045955; LEAN-qt1 +3.127331 se 0.045445. No seed under -2 vs qt1 for either arm in either block. Replica levels are not board scores; nothing ran on the Rust engine.","sha256_checks":{"LB4":{"url":"https://api.imdnotdead.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","download_sha256_equals_name":true,"bundle_sha256":"f368c459fec21abaa30e179ffbf03cfbe1c7b194f1ad8b07de3637892d06e9f1","bundle_sha256_ok":true},"TCA":{"url":"https://api.imdnotdead.fun/artifacts/dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","download_sha256_equals_name":true,"source_bundle_sha256_compressed":"546b440855726c3cd2231e4879e0002dda182dc609ee9c5155c04e4790ca6fdb","bundle_sha256_ok":true},"REFIT":{"url":"https://api.imdnotdead.fun/artifacts/5893446c82f8bc1473468bba6b156ec2a96ce3df5ddfc897c05c63cf545e1162","download_sha256_equals_name":true,"blob_bytes":10167,"blob_sha256":"ca5a606d074224ccc72fb4999c1d01a677ba00440ba39df2f99eba4913a72e1d","blob_sha256_ok":true},"materialize":"python3 -I scratch/materialize.py: blob.bin restored/verified 10167 3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","sources_equal_lb4_frozen":true,"amm_sim_readme":"raw README at 4812a638 fetched and byte-identical to the clone"},"P":{"status":"pass","command":"python3 -I gates.py (unmodified, amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved)","seconds":2.25,"matches_readme_6dp":true,"rows":["seed   perfect-info      gaussian+plain    gaussian+qm       lattice+qm","10000  448.261189  443.455598  443.522608  443.663520","10001  576.779199  571.463409  571.623551  571.977293","10002  531.886497  525.168028  525.865859  526.411631"]},"layout":"TCA source_bundle (base85 tar.xz) into an empty directory, LB4 bundle (base64 tar.xz) over it, deleted scratch/ref/tca_tell.py, scratch/TellCore.sol, scratch/test_tell.py, scratch/test_policy.py (as LB4's scratch/NOTES.md names), ran materialize.py. Scorer mirrors LB4's scratch/score.py work(): port.run(seed, policy) with n_steps=10000; fresh policy object per seed and arm.","arms":{"qt1":{"definition":"QMRef(blob.bin) of scratch/ref/qmref.py","reads":{"ref/qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","ref/port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","ref/replica2.py":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685","ref/blob.bin":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e"}},"LEAN":{"definition":"TellPolicy(blob.bin, 4, .0001) of scratch/ref/policy.py","reads":{"ref/policy.py":"962135885c1ad1ef142ed4b364870869e61948982c165ca2426ee864c1f10b51","ref/lean_tell.py":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","ref/twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","ref/qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","ref/port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","ref/replica2.py":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685","ref/blob.bin":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e"}},"R":{"definition":"TellPolicy(REFIT blob, 4, .0001): identical code, only the blob path differs","reads":{"ref/policy.py":"962135885c1ad1ef142ed4b364870869e61948982c165ca2426ee864c1f10b51","ref/lean_tell.py":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","ref/twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","ref/qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","ref/port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","ref/replica2.py":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685","refit_blob.bin":"ca5a606d074224ccc72fb4999c1d01a677ba00440ba39df2f99eba4913a72e1d"}},"note":"port.py imports replica2.py; policy.py imports twocomp.py, lean_tell.py and qmref.py (hashes listed under each arm). All hashes rechecked unchanged after both blocks."},"decision":{"block":"64000..64256 exclusive (64000..64255)","rule":"R if mean(R-LEAN) on 64000..64255 is more than 2 se above 0, else LEAN; made on the choose block alone","mean_diff":0.052353,"se":0.010491,"z":4.99,"decision":"R","written_before_report_opened":true,"written_at_unix":1794299948.1759357},"choose_block":{"seeds":[64000,64255],"n":256,"n_steps":10000,"paired":{"R-LEAN":{"n":256,"mean_diff":0.052353,"se":0.010491,"min":-0.405963,"worst5":[[64058,-0.405963],[64204,-0.39653],[64105,-0.379498],[64115,-0.37394],[64220,-0.353044]],"wins":163},"R-qt1":{"n":256,"mean_diff":3.173695,"se":0.061711,"min":0.803487,"worst5":[[64109,0.803487],[64102,0.862917],[64150,0.882579],[64088,0.924579],[64203,0.926778]],"wins":256},"LEAN-qt1":{"n":256,"mean_diff":3.121343,"se":0.060857,"min":0.804405,"worst5":[[64109,0.804405],[64150,0.845614],[64020,1.006781],[64088,1.009953],[64102,1.038932]],"wins":256}},"mean_edge":{"qt1":526.762805,"LEAN":529.884148,"R":529.9365},"seeds_under_minus2_vs_qt1":{"LEAN":[],"R":[]},"tell_label_counts":{"LEAN":{"neg":822212,"pos":967533},"R":{"neg":823267,"pos":965643}},"seconds_per_seed_three_arms":{"mean":0.87,"max":4.054}},"report_block":{"seeds":[10000,10511],"n":512,"n_steps":10000,"paired":{"R-LEAN":{"n":512,"mean_diff":0.044785,"se":0.006685,"min":-0.659034,"worst5":[[10357,-0.659034],[10416,-0.471447],[10351,-0.398107],[10028,-0.37218],[10076,-0.354791]],"wins":327},"R-qt1":{"n":512,"mean_diff":3.172116,"se":0.045955,"min":0.288098,"worst5":[[10141,0.288098],[10146,0.300322],[10256,0.446521],[10498,0.550284],[10476,0.725313]],"wins":512},"LEAN-qt1":{"n":512,"mean_diff":3.127331,"se":0.045445,"min":0.257515,"worst5":[[10146,0.257515],[10141,0.269309],[10256,0.362624],[10498,0.501295],[10476,0.638457]],"wins":512}},"mean_edge":{"qt1":536.990076,"LEAN":540.117407,"R":540.162192},"seeds_under_minus2_vs_qt1":{"LEAN":[],"R":[]},"tell_label_counts":{"LEAN":{"neg":1645688,"pos":1947525},"R":{"neg":1647749,"pos":1943698}},"seconds_per_seed_three_arms":{"mean":0.838,"max":4.032}},"report_per_seed":{"columns":["seed","qt1","LEAN","R"],"rows":[[10000,443.101741,446.817951,446.639609],[10001,571.454483,574.178061,574.479297],[10002,525.908441,529.663484,529.761285],[10003,574.040699,577.118184,577.201009],[10004,523.245286,524.815126,524.807541],[10005,526.886083,528.883293,528.946171],[10006,485.471113,489.265431,489.232199],[10007,526.499854,529.514441,529.544694],[10008,662.120344,665.71442,665.895217],[10009,652.215433,656.202138,656.395904],[10010,476.458262,479.975955,479.821958],[10011,370.779112,373.14222,373.062684],[10012,458.676508,462.362179,462.305793],[10013,402.044717,404.288711,404.214964],[10014,699.939333,704.072266,704.01548],[10015,630.00744,636.224424,636.375793],[10016,566.883377,573.729264,574.001501],[10017,493.663184,496.274685,496.118318],[10018,481.294922,485.200199,485.149555],[10019,455.026496,456.610325,456.97245],[10020,494.936996,498.415837,498.389414],[10021,413.14477,416.083131,416.246504],[10022,439.795916,443.382438,443.305813],[10023,635.556903,638.004967,637.94142],[10024,480.645031,484.631608,484.752811],[10025,446.092918,449.514243,449.524479],[10026,346.418333,348.458074,348.58703],[10027,548.294917,550.193957,550.12132],[10028,525.13246,527.88956,527.517379],[10029,442.213958,447.086486,446.98723],[10030,594.705251,598.125956,598.153575],[10031,342.135371,345.660554,345.781613],[10032,638.215547,640.703436,640.77332],[10033,535.889902,538.198775,538.297706],[10034,563.480957,566.34988,566.242804],[10035,630.879107,637.621267,637.648886],[10036,546.599922,549.327045,549.318216],[10037,444.48181,448.204624,448.133882],[10038,619.144826,622.605194,622.606411],[10039,588.640685,593.001251,592.8663],[10040,609.932131,612.658551,612.681233],[10041,629.442648,634.292362,634.168379],[10042,710.943099,714.508456,714.689844],[10043,639.584665,642.34405,642.244259],[10044,420.549954,423.823832,423.791353],[10045,386.200606,389.832878,390.004371],[10046,431.914837,435.176763,435.359174],[10047,597.670416,602.089443,602.511116],[10048,498.509602,500.896974,501.165841],[10049,383.887352,386.399201,386.40214],[10050,374.420306,377.135977,377.199119],[10051,422.856273,425.862784,425.832247],[10052,429.482366,432.689469,432.846614],[10053,537.944577,540.582496,540.503215],[10054,446.855281,448.961923,449.036613],[10055,709.953769,713.266243,713.556264],[10056,582.98274,584.081087,584.250754],[10057,510.91066,512.937279,512.998595],[10058,438.308899,441.617832,441.581509],[10059,507.623204,510.14422,510.257252],[10060,927.605559,929.944354,930.09404],[10061,561.747127,564.87026,565.248513],[10062,608.03992,613.104722,613.203106],[10063,429.739935,432.201594,432.254973],[10064,662.701692,666.200249,666.295688],[10065,584.767693,588.465346,588.307651],[10066,486.846961,489.563754,489.464793],[10067,635.039933,637.824239,637.534969],[10068,501.695794,506.152929,506.182513],[10069,620.364107,623.32056,623.433946],[10070,411.877336,415.438719,415.532751],[10071,436.445869,439.283986,439.335086],[10072,604.136029,606.243743,606.323693],[10073,565.139222,567.548788,567.658804],[10074,530.567882,534.79769,534.660887],[10075,561.510496,563.730348,563.761711],[10076,531.698608,534.28742,533.932629],[10077,429.918486,432.793624,433.050554],[10078,621.712327,624.879124,625.044215],[10079,650.860772,652.569415,652.679357],[10080,484.71482,488.974223,489.089264],[10081,565.27775,567.743539,567.957445],[10082,566.084334,569.504907,569.578193],[10083,464.627242,467.169442,467.19632],[10084,475.504789,478.124721,478.221333],[10085,454.782139,456.969175,456.890796],[10086,570.870425,574.902135,574.93331],[10087,572.389756,574.749158,574.818156],[10088,441.473499,445.291028,445.489071],[10089,413.616707,415.56054,415.41743],[10090,588.298563,592.350659,592.503787],[10091,486.469448,489.521709,489.71506],[10092,556.781189,559.661537,559.621494],[10093,661.203787,665.828984,665.736626],[10094,477.45022,481.191614,481.419927],[10095,596.864148,600.699368,600.794366],[10096,490.894815,494.139201,494.008466],[10097,512.396494,515.433608,515.691316],[10098,503.073616,506.392022,506.642593],[10099,468.392202,471.968782,472.064524],[10100,442.846689,446.323922,446.532876],[10101,536.02803,538.887654,538.951193],[10102,736.376115,739.118128,739.307229],[10103,740.71406,743.425959,743.283751],[10104,704.421713,705.903648,706.070453],[10105,468.722635,471.503278,471.464346],[10106,429.828705,430.701368,430.654066],[10107,489.224584,493.463035,493.449326],[10108,533.238269,535.444066,535.365225],[10109,739.092592,742.564175,742.948752],[10110,572.355791,575.479475,575.607496],[10111,404.311059,407.81175,407.800263],[10112,462.249922,465.793655,465.585248],[10113,435.695683,438.869571,438.900964],[10114,536.405748,538.729398,538.923094],[10115,659.810565,661.925957,662.310844],[10116,522.472955,526.981541,527.113977],[10117,411.875865,414.895571,414.87489],[10118,422.626409,424.761099,424.686266],[10119,414.934724,418.664249,418.612159],[10120,549.567542,555.024649,555.06495],[10121,534.262139,539.010481,538.988898],[10122,585.638977,587.457812,587.554226],[10123,505.724969,509.175117,509.10511],[10124,532.353342,536.112286,536.152349],[10125,456.706305,458.312411,458.358145],[10126,458.71934,464.45614,464.557442],[10127,496.420556,499.880689,499.763756],[10128,733.895099,736.637342,736.751483],[10129,536.315066,541.316393,541.432527],[10130,459.395576,463.808073,463.931106],[10131,497.192109,500.20964,500.543956],[10132,503.524468,505.641986,505.699291],[10133,628.494932,631.681707,631.632199],[10134,534.776354,538.061125,538.16692],[10135,458.591736,461.954579,461.956647],[10136,617.651803,622.83259,623.06106],[10137,621.987879,624.666485,624.661879],[10138,499.566427,501.841987,502.032771],[10139,466.119056,468.375889,468.453897],[10140,553.54315,555.50428,555.507195],[10141,581.77254,582.041849,582.060638],[10142,627.688575,629.646243,629.65727],[10143,469.297113,472.173283,472.335165],[10144,440.627152,442.599381,442.812118],[10145,482.108175,484.339397,484.424259],[10146,762.996946,763.25446,763.297268],[10147,468.064168,470.358615,470.091086],[10148,692.003268,694.068484,693.881456],[10149,525.101166,527.985375,528.023325],[10150,586.727056,590.586938,590.52371],[10151,473.608436,477.3835,477.413134],[10152,415.894526,418.932538,418.897943],[10153,556.989859,559.576479,559.426471],[10154,490.796917,493.752319,493.504884],[10155,476.498828,480.247967,480.21516],[10156,531.981974,536.530924,536.216196],[10157,534.954755,538.385717,538.415667],[10158,436.149253,438.014069,438.078732],[10159,436.108549,440.174497,440.17566],[10160,420.565958,423.211464,423.229465],[10161,457.203039,461.717001,461.760299],[10162,720.578775,722.572644,722.819122],[10163,667.252907,671.115336,671.096305],[10164,683.293974,686.468084,686.591794],[10165,439.044439,442.911395,443.0367],[10166,419.881586,422.716176,422.863668],[10167,493.366135,495.992693,496.189313],[10168,622.91571,627.011652,626.958993],[10169,571.014908,575.006208,575.03948],[10170,389.381564,392.10309,392.114734],[10171,569.550743,571.471161,571.743956],[10172,686.010106,689.783717,689.741372],[10173,397.563867,400.070215,400.024147],[10174,541.676101,546.227406,546.299724],[10175,504.94492,508.20784,508.267137],[10176,445.935164,449.287418,449.041122],[10177,652.44521,656.815373,656.749158],[10178,664.390099,666.511134,666.453209],[10179,379.55562,382.211261,381.982787],[10180,584.724058,588.28409,588.204279],[10181,463.226165,465.115753,465.092493],[10182,576.383908,579.178445,579.275469],[10183,630.30435,634.511648,634.688902],[10184,520.791455,523.616316,523.685278],[10185,541.27786,544.825295,544.78552],[10186,574.396322,577.320654,577.335298],[10187,550.090403,553.684263,553.835723],[10188,531.659929,535.573035,535.505383],[10189,717.118425,720.125856,720.427296],[10190,660.772762,665.163365,665.284104],[10191,662.20162,665.742289,665.909368],[10192,665.564894,668.970245,669.09794],[10193,580.029314,584.277965,584.188924],[10194,511.220517,514.501178,514.614873],[10195,553.859404,556.278029,556.22809],[10196,584.583956,588.891735,588.928564],[10197,441.075809,444.765804,444.549352],[10198,556.612009,558.004234,557.999261],[10199,484.573856,486.467044,486.337535],[10200,559.812075,562.7031,562.513447],[10201,481.279419,484.269154,484.241201],[10202,567.411674,571.112269,571.198063],[10203,616.50822,619.155939,619.152147],[10204,455.025901,457.142248,457.200009],[10205,417.807459,421.487545,421.454905],[10206,521.806005,526.999061,526.948624],[10207,637.98915,640.319608,640.525792],[10208,625.519923,631.192014,630.990123],[10209,551.087413,555.176747,555.096373],[10210,426.431246,428.782397,428.739908],[10211,441.460237,442.898179,442.753617],[10212,627.768796,632.620536,632.713227],[10213,580.848019,586.044681,586.321974],[10214,577.113337,580.290882,580.70111],[10215,456.559062,459.407454,459.490116],[10216,453.657931,456.519795,456.771797],[10217,667.993516,671.856774,671.797508],[10218,631.535409,634.104953,634.101616],[10219,526.79361,529.275383,529.575709],[10220,515.985721,518.152087,518.028175],[10221,534.941418,539.178526,539.298319],[10222,622.404958,626.744549,626.859827],[10223,662.232031,666.390586,666.47456],[10224,435.99776,438.313145,438.471962],[10225,484.010402,485.802483,485.785043],[10226,706.069908,709.222758,709.326044],[10227,444.638902,449.086026,449.005636],[10228,540.693919,544.450677,544.535196],[10229,431.745153,434.736957,434.694048],[10230,631.38208,633.125202,633.243261],[10231,693.177529,697.064743,697.251256],[10232,501.870778,504.574598,504.556331],[10233,446.910787,450.01443,450.111687],[10234,540.813562,543.767356,543.88531],[10235,664.805625,666.230838,666.306636],[10236,444.995263,449.162611,449.209261],[10237,646.750558,651.254579,651.27934],[10238,452.709132,454.966424,454.937528],[10239,599.988315,603.710784,603.806237],[10240,599.986877,605.401244,605.286292],[10241,405.914737,408.953773,408.911578],[10242,424.038149,426.151987,426.397777],[10243,619.053869,622.187675,621.961685],[10244,439.449865,443.571396,443.444892],[10245,599.557915,603.233259,603.145253],[10246,562.973569,563.920557,564.186641],[10247,502.557584,504.566447,504.785538],[10248,499.151706,502.615741,502.463009],[10249,537.660421,539.061428,539.046019],[10250,403.956331,408.216905,408.228758],[10251,386.914292,388.72602,388.679755],[10252,398.659476,401.660836,401.534315],[10253,581.509613,585.112969,585.349105],[10254,497.967902,500.801795,500.780581],[10255,601.673569,604.525339,604.961495],[10256,733.452951,733.815576,733.899473],[10257,457.971004,459.261139,459.202534],[10258,603.000077,604.393491,604.42371],[10259,416.536459,421.444685,421.351885],[10260,647.563458,652.871315,653.064221],[10261,497.52702,501.48488,501.21692],[10262,575.554686,579.124037,579.185443],[10263,516.748742,521.134396,521.244598],[10264,452.419003,455.181498,455.166233],[10265,505.048194,509.992394,510.275094],[10266,427.799724,431.897708,431.97759],[10267,702.242288,704.399358,704.546249],[10268,543.172358,546.841941,546.939287],[10269,571.777404,574.971224,575.001181],[10270,470.789542,473.666886,473.690023],[10271,397.832751,400.38369,400.534982],[10272,733.294528,735.56259,735.821965],[10273,670.16263,672.822312,672.852962],[10274,435.537733,437.857785,437.922944],[10275,485.724871,487.832072,488.096118],[10276,463.018378,465.117937,465.232093],[10277,401.943741,404.121448,403.82581],[10278,654.694685,658.753273,659.004963],[10279,413.1026,416.388121,416.231593],[10280,466.739738,468.814382,468.892239],[10281,634.84089,639.531267,639.769435],[10282,438.379017,441.153751,441.243572],[10283,560.624028,563.068835,563.02745],[10284,471.912473,474.696343,474.666522],[10285,499.967642,503.340081,503.406718],[10286,413.626596,415.87921,416.244044],[10287,695.641903,699.292284,699.372872],[10288,467.466085,471.383823,471.323873],[10289,595.724571,599.742359,599.784841],[10290,478.619857,480.647769,480.668928],[10291,570.865557,573.345532,573.437818],[10292,493.804573,498.134027,498.010867],[10293,641.432175,645.402156,645.475749],[10294,684.236724,687.378032,687.573085],[10295,567.83813,571.15096,571.1454],[10296,400.816924,404.58752,404.343795],[10297,468.821919,471.932394,472.018675],[10298,500.023847,502.719582,502.68161],[10299,562.797788,565.865101,565.764078],[10300,542.628413,546.182772,546.21059],[10301,587.022634,590.96206,590.974449],[10302,408.547697,411.167127,411.216013],[10303,595.857939,598.787686,598.810447],[10304,424.242964,426.802115,426.799239],[10305,392.590333,396.115368,396.177538],[10306,685.028762,685.846094,685.910511],[10307,575.758692,580.067506,580.237111],[10308,530.484925,533.857377,533.810191],[10309,467.952074,472.711915,472.757465],[10310,458.327014,460.131267,460.623697],[10311,550.603519,553.964937,554.1365],[10312,462.975238,465.474473,465.458654],[10313,636.979693,641.605253,641.603656],[10314,412.198423,415.251325,415.258136],[10315,373.415563,376.114341,376.176135],[10316,473.655971,476.315191,476.367427],[10317,603.45748,606.607122,606.751895],[10318,410.05171,412.918255,413.117984],[10319,610.750598,612.764411,612.783613],[10320,501.090401,503.156977,503.157393],[10321,626.248311,629.256695,629.410609],[10322,590.568245,592.74446,592.8141],[10323,451.383677,454.705374,454.768797],[10324,549.821673,552.70787,552.728207],[10325,529.291487,533.805487,533.656386],[10326,398.417968,402.556787,402.713882],[10327,688.376816,690.891682,691.207702],[10328,462.505083,465.778863,465.722697],[10329,579.473323,583.503337,583.392405],[10330,390.870673,393.841315,393.736603],[10331,542.208411,544.4753,544.399038],[10332,525.385418,529.806149,529.734752],[10333,432.025195,434.681095,434.876396],[10334,659.438302,660.566687,660.630896],[10335,721.7373,726.253706,726.295539],[10336,679.199993,684.021625,684.702241],[10337,378.866903,379.793132,379.655951],[10338,521.093599,523.744941,524.041447],[10339,546.439356,549.567535,549.718088],[10340,716.697553,719.944665,720.002435],[10341,537.491454,540.588593,540.526146],[10342,659.219818,662.984421,662.992037],[10343,456.852478,459.316316,459.414378],[10344,543.547585,546.827208,546.935046],[10345,482.250901,486.617598,486.529161],[10346,649.520253,650.81886,650.934993],[10347,428.94172,430.81844,430.888172],[10348,572.585133,576.246721,576.553525],[10349,435.654997,437.706514,437.710269],[10350,591.545021,597.127109,597.482435],[10351,605.920936,608.654085,608.255979],[10352,480.063683,483.216591,483.168431],[10353,658.715133,662.858463,662.913986],[10354,469.213111,473.446646,473.49311],[10355,520.389149,523.672318,523.950118],[10356,523.136409,527.619689,527.434977],[10357,571.40165,574.347855,573.688821],[10358,631.06711,634.966731,635.240575],[10359,664.412525,666.592931,666.339917],[10360,423.532022,427.021744,427.046761],[10361,565.478303,568.569817,568.585997],[10362,491.656709,492.657056,492.784601],[10363,618.197727,621.870668,621.965531],[10364,420.042751,423.171404,423.20587],[10365,534.994131,538.546335,538.604858],[10366,445.174641,448.089883,448.131518],[10367,466.369967,467.703114,467.769923],[10368,458.466025,460.74418,460.959023],[10369,643.562143,647.816931,647.477757],[10370,475.825252,479.292348,479.324986],[10371,432.021036,435.799112,435.85975],[10372,470.494116,475.037222,474.935197],[10373,699.475111,703.290453,703.472146],[10374,398.820483,402.731886,402.734063],[10375,567.71515,571.91041,572.17449],[10376,554.896011,558.122337,558.21954],[10377,556.956355,561.715112,561.785061],[10378,464.554225,468.058976,468.005614],[10379,617.969565,622.221082,622.132635],[10380,618.661062,622.305968,622.426093],[10381,565.49792,568.21825,568.301559],[10382,550.864006,555.338094,555.309113],[10383,611.338942,615.532747,615.526466],[10384,631.28526,635.448076,635.487868],[10385,485.995469,488.842936,489.0241],[10386,599.954177,602.308805,602.035257],[10387,619.518861,621.260677,621.22035],[10388,506.538607,509.475786,509.436073],[10389,640.838263,644.423941,644.584167],[10390,606.067154,607.786477,607.942386],[10391,435.918055,438.776149,438.643523],[10392,492.811385,495.185881,495.269994],[10393,538.223441,541.256432,541.024808],[10394,546.564998,549.196057,549.292657],[10395,657.303235,661.696327,661.886511],[10396,398.181765,402.15326,401.933794],[10397,589.84863,591.47514,591.494014],[10398,515.650036,520.255544,520.46957],[10399,404.808892,408.31576,408.627163],[10400,561.257009,563.83464,563.63311],[10401,927.514803,930.840049,930.965193],[10402,490.259214,493.482037,493.523133],[10403,629.330096,630.144771,630.304706],[10404,570.171605,573.546222,573.65891],[10405,541.125767,544.813157,544.795788],[10406,616.210695,618.933846,619.148523],[10407,509.825122,512.885635,512.825623],[10408,596.026937,598.096752,598.411209],[10409,445.800747,448.079911,448.073499],[10410,541.825208,544.623526,544.691878],[10411,539.063021,541.486376,541.547878],[10412,490.774025,494.080241,494.181223],[10413,666.349759,669.516698,669.629662],[10414,664.745955,666.842,666.883137],[10415,467.460043,469.583448,469.553456],[10416,472.192835,474.928944,474.457496],[10417,534.004654,539.583515,539.79541],[10418,548.838583,552.029022,552.182759],[10419,568.679287,570.970942,570.923628],[10420,373.133158,374.792269,374.739982],[10421,483.691229,487.688238,487.857378],[10422,587.508813,589.081115,588.976403],[10423,464.772208,468.221698,468.016473],[10424,599.218329,603.22301,603.326174],[10425,540.326936,543.146887,543.346835],[10426,583.911994,585.878112,585.963212],[10427,519.38664,521.506853,521.428805],[10428,556.98658,558.997322,559.073632],[10429,591.884836,595.970331,596.185661],[10430,605.956545,608.864083,608.981982],[10431,479.526653,482.326914,482.415018],[10432,494.586009,498.44492,498.418946],[10433,393.481047,395.396458,395.37782],[10434,650.616925,654.091271,654.19442],[10435,530.329868,533.067174,532.902724],[10436,649.750475,654.458601,654.586095],[10437,619.576907,622.031246,622.418729],[10438,389.544907,393.0005,393.192535],[10439,422.62288,425.057156,425.000998],[10440,477.09952,480.070041,480.102561],[10441,610.818705,613.954498,614.036257],[10442,615.267712,618.697832,618.547471],[10443,454.05532,456.802976,457.045304],[10444,598.483149,603.729311,603.972236],[10445,448.17872,452.32181,452.440372],[10446,398.425231,401.891026,402.057465],[10447,445.457837,448.151454,448.152803],[10448,562.624654,566.532656,566.502192],[10449,653.271571,654.183071,654.249226],[10450,770.069778,773.820289,773.848511],[10451,695.307167,699.788614,699.791802],[10452,552.761962,556.559016,557.003358],[10453,487.161121,490.49214,490.527929],[10454,756.384614,760.38913,760.161071],[10455,679.629097,682.073333,682.315181],[10456,430.254502,433.273386,433.336773],[10457,638.431791,640.772218,640.926566],[10458,447.676888,450.674512,451.095801],[10459,619.994259,621.823909,621.786269],[10460,729.104504,732.308937,732.605438],[10461,487.039163,489.492593,489.661459],[10462,533.437956,536.365483,536.502122],[10463,450.897932,454.012506,454.146704],[10464,675.670363,680.47408,680.61473],[10465,428.070835,430.733003,430.626263],[10466,748.439054,751.959775,751.79746],[10467,594.289898,599.079144,599.072448],[10468,469.536624,473.436547,473.627989],[10469,456.730223,460.0194,460.112143],[10470,448.423397,450.735516,450.93034],[10471,404.788279,407.320978,407.214874],[10472,573.344925,576.92396,576.984268],[10473,654.339135,657.359854,657.167898],[10474,469.222092,472.866344,473.120057],[10475,801.054397,804.932731,804.987763],[10476,573.900276,574.538734,574.62559],[10477,556.666207,561.105274,561.193956],[10478,488.308721,493.278803,493.290901],[10479,538.309951,542.965358,542.970255],[10480,393.499178,395.696693,395.712818],[10481,505.460331,507.373782,507.611599],[10482,603.62426,607.984412,607.923595],[10483,454.968597,457.768187,457.909544],[10484,562.941042,566.486684,566.352165],[10485,530.156296,531.49046,531.359773],[10486,592.637978,594.825194,594.965888],[10487,498.615338,504.335588,504.263292],[10488,598.697674,600.154428,600.169208],[10489,530.994062,532.74484,532.750739],[10490,431.016282,432.170857,432.298547],[10491,535.399945,537.94325,537.940402],[10492,598.674973,601.624593,601.618417],[10493,457.300836,460.940819,460.796485],[10494,395.052199,397.515893,397.473798],[10495,678.745123,681.604095,681.361478],[10496,554.983259,557.957566,557.814487],[10497,418.564291,422.768195,422.95665],[10498,670.86126,671.362554,671.411543],[10499,543.151852,547.764219,547.849819],[10500,524.963056,526.839337,527.018277],[10501,502.776806,504.905297,504.848434],[10502,603.954741,606.882874,607.081535],[10503,614.206171,616.247379,616.316851],[10504,729.700445,732.748632,733.022218],[10505,455.40332,457.694957,457.779061],[10506,559.887248,562.364911,562.477931],[10507,451.356897,452.881663,452.988562],[10508,580.357896,586.423982,586.180163],[10509,469.271202,471.392707,471.068613],[10510,475.136884,477.626092,477.434462],[10511,513.27657,517.056006,517.108303]]},"cross_check":"LEAN-qt1 on seed 64020 = 1.006781, equal to lb-4's debug figure 1.0067811864428222 for that seed.","timing":{"serial_seconds_one_seed_three_arms":2.4,"choose_wall_seconds":37.0,"choose_seeds_in_that_run":255,"report_wall_seconds":71.8,"report_seeds":512,"processes":6,"note":"seconds_per_seed_three_arms in each block are per-worker wall times under 6 processes"},"cut":"nothing: both blocks ran in full (256 and 512 seeds, 10000 steps, all three arms).","caveats":["Replica levels are not board scores.","Report block is 10000..10511 only (n=512), as the brief sets; not the full 10000..12047.","No contract, engine or gas work: the brief limits this item to the replica."]}