{"key":"premium-s3-on-1","flip":"premium-s3-on","t_sha256":"9fba1eb5659d5b0ac9b7273a968a520ef9a95551c697be22020993005af70192","candidate_sha256":"2a707134feb85349d9140d234c6be96d7d0161954ca94570c8605dc7ace0f19e","seeds":{"start":1000000,"end":1000499},"n":207,"complete":false,"blocked":null,"failures":[],"overall":{"n":207,"sum_d":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0},"by_spread":{"1":{"n":58,"sum_d":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0},"2":{"n":58,"sum_d":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0},"3":{"n":54,"sum_d":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0},"4":{"n":37,"sum_d":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0}},"worst":[[1000000,2,0.0],[1000001,1,0.0],[1000002,2,0.0],[1000003,1,0.0],[1000004,3,0.0]],"best":[[1000468,3,0.0],[1000467,1,0.0],[1000466,2,0.0],[1000465,4,0.0],[1000464,1,0.0]],"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,0.0],[1000010,2,0.0],[1000011,4,0.0],[1000012,4,0.0],[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,0.0],[1000020,2,0.0],[1000021,2,0.0],[1000022,4,0.0],[1000023,1,0.0],[1000024,1,0.0],[1000025,2,0.0],[1000026,2,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.0],[1000078,1,0.0],[1000079,3,0.0],[1000080,4,0.0],[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.0],[1000126,3,0.0],[1000127,2,0.0],[1000128,4,0.0],[1000129,4,0.0],[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.0],[1000137,4,0.0],[1000138,1,0.0],[1000139,1,0.0],[1000140,2,0.0],[1000141,3,0.0],[1000142,1,0.0],[1000143,4,0.0],[1000144,2,0.0],[1000145,3,0.0],[1000146,2,0.0],[1000147,3,0.0],[1000148,1,0.0],[1000149,2,0.0],[1000189,3,0.0],[1000190,3,0.0],[1000191,3,0.0],[1000192,4,0.0],[1000193,4,0.0],[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,0.0],[1000202,1,0.0],[1000203,1,0.0],[1000204,2,0.0],[1000205,4,0.0],[1000206,3,0.0],[1000207,3,0.0],[1000208,2,0.0],[1000209,2,0.0],[1000210,4,0.0],[1000211,3,0.0],[1000212,1,0.0],[1000213,1,0.0],[1000214,2,0.0],[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.0],[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.0],[1000271,4,0.0],[1000272,1,0.0],[1000273,2,0.0],[1000274,2,0.0],[1000275,3,0.0],[1000276,1,0.0],[1000277,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.0],[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.0],[1000328,1,0.0],[1000329,4,0.0],[1000330,1,0.0],[1000331,4,0.0],[1000332,2,0.0],[1000333,3,0.0],[1000334,2,0.0],[1000335,4,0.0],[1000336,1,0.0],[1000337,3,0.0],[1000338,2,0.0],[1000339,4,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.0],[1000385,2,0.0],[1000386,1,0.0],[1000387,3,0.0],[1000388,4,0.0],[1000389,1,0.0],[1000390,2,0.0],[1000391,3,0.0],[1000392,1,0.0],[1000393,1,0.0],[1000394,4,0.0],[1000395,2,0.0],[1000396,1,0.0],[1000397,3,0.0],[1000398,4,0.0],[1000399,2,0.0],[1000400,4,0.0],[1000401,2,0.0],[1000402,3,0.0],[1000441,1,0.0],[1000442,2,0.0],[1000443,1,0.0],[1000444,4,0.0],[1000445,1,0.0],[1000446,4,0.0],[1000447,1,0.0],[1000448,1,0.0],[1000449,3,0.0],[1000450,4,0.0],[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.0],[1000460,3,0.0],[1000461,1,0.0],[1000462,2,0.0],[1000463,2,0.0],[1000464,1,0.0],[1000465,4,0.0],[1000466,2,0.0],[1000467,1,0.0],[1000468,3,0.0]],"seconds_per_simulation":{"t":49.145566997896644,"candidate":49.288444206910434},"notes":"Incomplete: only 207 of 500 seeds finished in the time budget. The sandbox CPU quota is 1 core (cgroup cpu.max 100000/100000), so 8 parallel worker processes (each seed serial in-process, unmodified simulator b244530, no --sandbox/--workers) gave no speedup. Seeds done are scattered across 8 contiguous blocks of 63 seeds, each processed in ascending order, so coverage is the first ~26 of each block (last block 1000441-1000499), not a random subset. seconds_per_simulation is wall time under 8-way contention on 1 core (about 8x inflated; uncontended ~5.5s). Both hashes verified. All d are exactly 0 because T uses ON['premium'] only at line 409 as `4 not in ON['premium']`, so adding 3 changes no behaviour (flip is a code no-op)."}