{"key":"premium-s4-on-1","flip":"premium-s4-on","t_sha256":"9fba1eb5659d5b0ac9b7273a968a520ef9a95551c697be22020993005af70192","candidate_sha256":"3c4caa84ddf78b46fea0457ac407701a0539f149ebf48dbee1deb878b37f162c","seeds":{"start":1000000,"end":1000499},"n":500,"complete":true,"blocked":null,"failures":0,"overall":{"n":500,"sum_d":-18.74863762910013,"sum_d2":1899.4232680876596,"mean_diff":-0.03749727525820026,"se":0.08723589389359111},"by_spread":{"1":{"n":144,"sum_d":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0},"2":{"n":118,"sum_d":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0},"3":{"n":128,"sum_d":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0},"4":{"n":110,"sum_d":-18.74863762910013,"sum_d2":1899.4232680876596,"mean_diff":-0.17044216026454664,"se":0.3976817422543395}},"worst":[[1000143,4,-30.371771],[1000294,4,-11.039709],[1000231,4,-9.606917],[1000205,4,-8.176152],[1000050,4,-6.281732]],"best":[[1000234,4,15.58868],[1000423,4,6.146982],[1000331,4,5.468648],[1000108,4,4.981338],[1000284,4,4.963823]],"per_seed":[[1000000,2,0.0],[1000001,1,0.0],[1000002,2,0.0],[1000003,1,0.0],[1000004,3,0.0],[1000005,1,0.0],[1000006,3,0.0],[1000007,1,0.0],[1000008,2,0.0],[1000009,4,1.224548],[1000010,2,0.0],[1000011,4,-1.41724],[1000012,4,-1.525623],[1000013,3,0.0],[1000014,2,0.0],[1000015,3,0.0],[1000016,1,0.0],[1000017,2,0.0],[1000018,3,0.0],[1000019,4,3.253005],[1000020,2,0.0],[1000021,2,0.0],[1000022,4,-2.401539],[1000023,1,0.0],[1000024,1,0.0],[1000025,2,0.0],[1000026,2,0.0],[1000027,2,0.0],[1000028,1,0.0],[1000029,4,4.354304],[1000030,3,0.0],[1000031,1,0.0],[1000032,2,0.0],[1000033,3,0.0],[1000034,1,0.0],[1000035,4,-0.845564],[1000036,2,0.0],[1000037,1,0.0],[1000038,2,0.0],[1000039,4,3.4694],[1000040,2,0.0],[1000041,3,0.0],[1000042,3,0.0],[1000043,1,0.0],[1000044,3,0.0],[1000045,3,0.0],[1000046,2,0.0],[1000047,1,0.0],[1000048,1,0.0],[1000049,1,0.0],[1000050,4,-6.281732],[1000051,3,0.0],[1000052,3,0.0],[1000053,1,0.0],[1000054,1,0.0],[1000055,4,-3.574773],[1000056,3,0.0],[1000057,4,-5.338975],[1000058,1,0.0],[1000059,1,0.0],[1000060,4,-0.142948],[1000061,3,0.0],[1000062,1,0.0],[1000063,1,0.0],[1000064,2,0.0],[1000065,2,0.0],[1000066,3,0.0],[1000067,1,0.0],[1000068,2,0.0],[1000069,3,0.0],[1000070,1,0.0],[1000071,2,0.0],[1000072,3,0.0],[1000073,1,0.0],[1000074,3,0.0],[1000075,3,0.0],[1000076,1,0.0],[1000077,4,0.157237],[1000078,1,0.0],[1000079,3,0.0],[1000080,4,-1.044916],[1000081,3,0.0],[1000082,2,0.0],[1000083,3,0.0],[1000084,1,0.0],[1000085,1,0.0],[1000086,3,0.0],[1000087,1,0.0],[1000088,4,0.327179],[1000089,3,0.0],[1000090,1,0.0],[1000091,1,0.0],[1000092,4,-0.569685],[1000093,4,0.005367],[1000094,4,-1.659649],[1000095,3,0.0],[1000096,3,0.0],[1000097,2,0.0],[1000098,4,0.211207],[1000099,3,0.0],[1000100,4,-0.560407],[1000101,4,-1.565916],[1000102,3,0.0],[1000103,1,0.0],[1000104,1,0.0],[1000105,4,0.359113],[1000106,2,0.0],[1000107,1,0.0],[1000108,4,4.981338],[1000109,4,-1.059127],[1000110,3,0.0],[1000111,2,0.0],[1000112,1,0.0],[1000113,4,-0.367047],[1000114,4,-1.226214],[1000115,3,0.0],[1000116,1,0.0],[1000117,2,0.0],[1000118,2,0.0],[1000119,2,0.0],[1000120,4,-1.482502],[1000121,1,0.0],[1000122,4,-0.030726],[1000123,3,0.0],[1000124,1,0.0],[1000125,2,0.0],[1000126,3,0.0],[1000127,2,0.0],[1000128,4,0.283173],[1000129,4,0.121236],[1000130,3,0.0],[1000131,2,0.0],[1000132,3,0.0],[1000133,1,0.0],[1000134,1,0.0],[1000135,2,0.0],[1000136,4,-0.19623],[1000137,4,1.190974],[1000138,1,0.0],[1000139,1,0.0],[1000140,2,0.0],[1000141,3,0.0],[1000142,1,0.0],[1000143,4,-30.371771],[1000144,2,0.0],[1000145,3,0.0],[1000146,2,0.0],[1000147,3,0.0],[1000148,1,0.0],[1000149,2,0.0],[1000150,2,0.0],[1000151,4,1.666291],[1000152,2,0.0],[1000153,1,0.0],[1000154,3,0.0],[1000155,2,0.0],[1000156,3,0.0],[1000157,2,0.0],[1000158,4,1.319649],[1000159,4,2.042674],[1000160,3,0.0],[1000161,4,-0.168703],[1000162,2,0.0],[1000163,4,-0.251939],[1000164,1,0.0],[1000165,4,0.152695],[1000166,4,0.912504],[1000167,3,0.0],[1000168,1,0.0],[1000169,4,0.209859],[1000170,4,0.392507],[1000171,3,0.0],[1000172,4,2.736417],[1000173,1,0.0],[1000174,1,0.0],[1000175,3,0.0],[1000176,2,0.0],[1000177,2,0.0],[1000178,1,0.0],[1000179,1,0.0],[1000180,3,0.0],[1000181,4,0.422162],[1000182,3,0.0],[1000183,4,-0.428514],[1000184,2,0.0],[1000185,3,0.0],[1000186,3,0.0],[1000187,3,0.0],[1000188,4,-2.838548],[1000189,3,0.0],[1000190,3,0.0],[1000191,3,0.0],[1000192,4,0.638274],[1000193,4,-0.140423],[1000194,2,0.0],[1000195,3,0.0],[1000196,3,0.0],[1000197,3,0.0],[1000198,2,0.0],[1000199,2,0.0],[1000200,3,0.0],[1000201,4,-1.157087],[1000202,1,0.0],[1000203,1,0.0],[1000204,2,0.0],[1000205,4,-8.176152],[1000206,3,0.0],[1000207,3,0.0],[1000208,2,0.0],[1000209,2,0.0],[1000210,4,-0.187609],[1000211,3,0.0],[1000212,1,0.0],[1000213,1,0.0],[1000214,2,0.0],[1000215,2,0.0],[1000216,3,0.0],[1000217,1,0.0],[1000218,4,0.53306],[1000219,2,0.0],[1000220,4,0.232557],[1000221,3,0.0],[1000222,1,0.0],[1000223,2,0.0],[1000224,4,-0.354787],[1000225,2,0.0],[1000226,2,0.0],[1000227,1,0.0],[1000228,4,-0.969714],[1000229,4,2.251964],[1000230,3,0.0],[1000231,4,-9.606917],[1000232,4,0.574445],[1000233,3,0.0],[1000234,4,15.58868],[1000235,3,0.0],[1000236,3,0.0],[1000237,4,-1.146758],[1000238,1,0.0],[1000239,4,-2.266974],[1000240,2,0.0],[1000241,1,0.0],[1000242,1,0.0],[1000243,3,0.0],[1000244,2,0.0],[1000245,1,0.0],[1000246,2,0.0],[1000247,4,0.487497],[1000248,1,0.0],[1000249,1,0.0],[1000250,2,0.0],[1000251,4,1.827706],[1000252,3,0.0],[1000253,2,0.0],[1000254,3,0.0],[1000255,2,0.0],[1000256,1,0.0],[1000257,2,0.0],[1000258,1,0.0],[1000259,3,0.0],[1000260,1,0.0],[1000261,1,0.0],[1000262,3,0.0],[1000263,4,0.654237],[1000264,3,0.0],[1000265,1,0.0],[1000266,1,0.0],[1000267,1,0.0],[1000268,2,0.0],[1000269,2,0.0],[1000270,4,-0.16679],[1000271,4,0.361725],[1000272,1,0.0],[1000273,2,0.0],[1000274,2,0.0],[1000275,3,0.0],[1000276,1,0.0],[1000277,1,0.0],[1000278,2,0.0],[1000279,2,0.0],[1000280,3,0.0],[1000281,2,0.0],[1000282,2,0.0],[1000283,1,0.0],[1000284,4,4.963823],[1000285,4,-3.542749],[1000286,4,-0.979566],[1000287,1,0.0],[1000288,1,0.0],[1000289,3,0.0],[1000290,4,3.767486],[1000291,3,0.0],[1000292,2,0.0],[1000293,1,0.0],[1000294,4,-11.039709],[1000295,3,0.0],[1000296,4,-0.32943],[1000297,1,0.0],[1000298,1,0.0],[1000299,3,0.0],[1000300,4,2.511355],[1000301,1,0.0],[1000302,1,0.0],[1000303,1,0.0],[1000304,4,-3.276496],[1000305,1,0.0],[1000306,3,0.0],[1000307,2,0.0],[1000308,2,0.0],[1000309,2,0.0],[1000310,2,0.0],[1000311,2,0.0],[1000312,4,1.223971],[1000313,1,0.0],[1000314,1,0.0],[1000315,2,0.0],[1000316,3,0.0],[1000317,2,0.0],[1000318,3,0.0],[1000319,2,0.0],[1000320,4,0.467603],[1000321,3,0.0],[1000322,2,0.0],[1000323,3,0.0],[1000324,3,0.0],[1000325,1,0.0],[1000326,1,0.0],[1000327,4,0.792798],[1000328,1,0.0],[1000329,4,-0.803916],[1000330,1,0.0],[1000331,4,5.468648],[1000332,2,0.0],[1000333,3,0.0],[1000334,2,0.0],[1000335,4,0.467941],[1000336,1,0.0],[1000337,3,0.0],[1000338,2,0.0],[1000339,4,-5.712633],[1000340,1,0.0],[1000341,3,0.0],[1000342,1,0.0],[1000343,3,0.0],[1000344,3,0.0],[1000345,2,0.0],[1000346,1,0.0],[1000347,2,0.0],[1000348,3,0.0],[1000349,4,3.616338],[1000350,4,0.478564],[1000351,2,0.0],[1000352,1,0.0],[1000353,1,0.0],[1000354,3,0.0],[1000355,1,0.0],[1000356,2,0.0],[1000357,1,0.0],[1000358,3,0.0],[1000359,2,0.0],[1000360,2,0.0],[1000361,2,0.0],[1000362,4,-0.241052],[1000363,1,0.0],[1000364,1,0.0],[1000365,4,-0.201192],[1000366,4,-1.874685],[1000367,3,0.0],[1000368,4,0.150762],[1000369,4,0.587289],[1000370,1,0.0],[1000371,3,0.0],[1000372,3,0.0],[1000373,2,0.0],[1000374,1,0.0],[1000375,1,0.0],[1000376,4,0.253333],[1000377,1,0.0],[1000378,1,0.0],[1000379,2,0.0],[1000380,1,0.0],[1000381,1,0.0],[1000382,2,0.0],[1000383,2,0.0],[1000384,4,0.672406],[1000385,2,0.0],[1000386,1,0.0],[1000387,3,0.0],[1000388,4,-0.862248],[1000389,1,0.0],[1000390,2,0.0],[1000391,3,0.0],[1000392,1,0.0],[1000393,1,0.0],[1000394,4,0.322363],[1000395,2,0.0],[1000396,1,0.0],[1000397,3,0.0],[1000398,4,0.261584],[1000399,2,0.0],[1000400,4,-0.46006],[1000401,2,0.0],[1000402,3,0.0],[1000403,1,0.0],[1000404,1,0.0],[1000405,4,1.596215],[1000406,1,0.0],[1000407,3,0.0],[1000408,1,0.0],[1000409,4,1.001936],[1000410,2,0.0],[1000411,3,0.0],[1000412,2,0.0],[1000413,3,0.0],[1000414,3,0.0],[1000415,4,-0.288617],[1000416,2,0.0],[1000417,3,0.0],[1000418,1,0.0],[1000419,3,0.0],[1000420,2,0.0],[1000421,3,0.0],[1000422,3,0.0],[1000423,4,6.146982],[1000424,1,0.0],[1000425,1,0.0],[1000426,1,0.0],[1000427,2,0.0],[1000428,1,0.0],[1000429,1,0.0],[1000430,1,0.0],[1000431,1,0.0],[1000432,1,0.0],[1000433,3,0.0],[1000434,3,0.0],[1000435,3,0.0],[1000436,3,0.0],[1000437,3,0.0],[1000438,3,0.0],[1000439,4,0.355232],[1000440,2,0.0],[1000441,1,0.0],[1000442,2,0.0],[1000443,1,0.0],[1000444,4,0.740365],[1000445,1,0.0],[1000446,4,0.39103],[1000447,1,0.0],[1000448,1,0.0],[1000449,3,0.0],[1000450,4,2.265967],[1000451,3,0.0],[1000452,3,0.0],[1000453,2,0.0],[1000454,2,0.0],[1000455,3,0.0],[1000456,1,0.0],[1000457,2,0.0],[1000458,3,0.0],[1000459,4,0.70403],[1000460,3,0.0],[1000461,1,0.0],[1000462,2,0.0],[1000463,2,0.0],[1000464,1,0.0],[1000465,4,1.414376],[1000466,2,0.0],[1000467,1,0.0],[1000468,3,0.0],[1000469,1,0.0],[1000470,1,0.0],[1000471,3,0.0],[1000472,3,0.0],[1000473,1,0.0],[1000474,3,0.0],[1000475,1,0.0],[1000476,4,1.785322],[1000477,2,0.0],[1000478,3,0.0],[1000479,4,1.196692],[1000480,2,0.0],[1000481,4,-1.277633],[1000482,3,0.0],[1000483,3,0.0],[1000484,4,1.813278],[1000485,1,0.0],[1000486,1,0.0],[1000487,2,0.0],[1000488,2,0.0],[1000489,4,-1.149948],[1000490,4,4.454124],[1000491,3,0.0],[1000492,1,0.0],[1000493,2,0.0],[1000494,1,0.0],[1000495,1,0.0],[1000496,1,0.0],[1000497,3,0.0],[1000498,2,0.0],[1000499,3,0.0]],"seconds_per_simulation":{"t":0.3311224499521777,"candidate":0.3304107740651816},"notes":"Both SHA-256 hashes matched the brief. Simulator b244530ee2a6247b5f930830eeca9dd950da0e7e unmodified, Python 3.12.3, serial in-process, no sandbox, no workers. Seeds with nonzero d by spread: {1: 0, 2: 0, 3: 0, 4: 110}. Run in two serial processes with a checkpoint: seeds 1000000-1000002 as a smoke test, then the other 497; a later third process re-ran 9 seeds (6 of spread 4, plus 1000000-1000002), in a different order, and reproduced T and CANDIDATE total_edge exactly. overall and by_spread are computed from unrounded d; per_seed, worst and best are rounded to 6 decimals. In T the premium switch is read at one place only, under self.s == 4 in qask. failures counts seeds where either run returned failed=True."}