{"key":"postjump-s3-on-3","flip":"postjump-s3-on","t_sha256":"9fba1eb5659d5b0ac9b7273a968a520ef9a95551c697be22020993005af70192","candidate_sha256":"85db38e38a961ff40fca5953150fd743f090eec43d7af9dad76f07f537ba3b44","seeds":{"start":1001000,"end":1001499},"n":500,"complete":true,"blocked":null,"failures":[],"overall":{"n":500,"sum_d":-26.552325,"sum_d2":160.580502,"mean_diff":-0.053105,"se":0.025258},"by_spread":{"1":{"n":129,"sum_d":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0},"2":{"n":109,"sum_d":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0},"3":{"n":142,"sum_d":-26.552325,"sum_d2":160.580502,"mean_diff":-0.186988,"se":0.08816},"4":{"n":120,"sum_d":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0}},"worst":[[1001181,3,-10.496425],[1001024,3,-4.875271],[1001249,3,-2.237164],[1001436,3,-1.742788],[1001155,3,-1.664172]],"best":[[1001042,3,2.025187],[1001017,3,1.306588],[1001458,3,0.776241],[1001121,3,0.690306],[1001015,3,0.431867]],"per_seed":[[1001000,3,0.227276],[1001001,3,0.0],[1001002,2,0.0],[1001003,3,0.112983],[1001004,1,0.0],[1001005,3,-0.21759],[1001006,1,0.0],[1001007,3,0.004663],[1001008,2,0.0],[1001009,1,0.0],[1001010,2,0.0],[1001011,3,0.00046],[1001012,4,0.0],[1001013,3,0.015768],[1001014,2,0.0],[1001015,3,0.431867],[1001016,3,0.043172],[1001017,3,1.306588],[1001018,3,-0.000607],[1001019,2,0.0],[1001020,3,-0.019177],[1001021,1,0.0],[1001022,1,0.0],[1001023,1,0.0],[1001024,3,-4.875271],[1001025,4,0.0],[1001026,3,0.230691],[1001027,1,0.0],[1001028,2,0.0],[1001029,1,0.0],[1001030,3,-0.360368],[1001031,3,-0.02135],[1001032,1,0.0],[1001033,4,0.0],[1001034,1,0.0],[1001035,4,0.0],[1001036,3,0.000783],[1001037,2,0.0],[1001038,3,0.001395],[1001039,3,0.002113],[1001040,4,0.0],[1001041,2,0.0],[1001042,3,2.025187],[1001043,3,-0.315582],[1001044,4,0.0],[1001045,4,0.0],[1001046,2,0.0],[1001047,2,0.0],[1001048,1,0.0],[1001049,4,0.0],[1001050,4,0.0],[1001051,4,0.0],[1001052,2,0.0],[1001053,2,0.0],[1001054,3,0.032732],[1001055,1,0.0],[1001056,2,0.0],[1001057,4,0.0],[1001058,3,0.209963],[1001059,4,0.0],[1001060,3,0.041703],[1001061,4,0.0],[1001062,1,0.0],[1001063,4,0.0],[1001064,4,0.0],[1001065,1,0.0],[1001066,1,0.0],[1001067,4,0.0],[1001068,3,0.000479],[1001069,2,0.0],[1001070,3,-0.552979],[1001071,2,0.0],[1001072,1,0.0],[1001073,2,0.0],[1001074,2,0.0],[1001075,2,0.0],[1001076,1,0.0],[1001077,3,0.331238],[1001078,2,0.0],[1001079,2,0.0],[1001080,3,-0.037725],[1001081,3,0.000717],[1001082,3,-0.052261],[1001083,4,0.0],[1001084,4,0.0],[1001085,1,0.0],[1001086,3,0.004206],[1001087,3,-0.383274],[1001088,2,0.0],[1001089,2,0.0],[1001090,1,0.0],[1001091,1,0.0],[1001092,3,0.000811],[1001093,4,0.0],[1001094,1,0.0],[1001095,1,0.0],[1001096,1,0.0],[1001097,1,0.0],[1001098,2,0.0],[1001099,4,0.0],[1001100,3,-0.313159],[1001101,4,0.0],[1001102,3,0.000299],[1001103,3,0.0],[1001104,4,0.0],[1001105,4,0.0],[1001106,4,0.0],[1001107,3,0.001626],[1001108,1,0.0],[1001109,3,0.004129],[1001110,1,0.0],[1001111,3,-0.370292],[1001112,3,0.031966],[1001113,2,0.0],[1001114,3,0.001987],[1001115,3,-0.713241],[1001116,2,0.0],[1001117,4,0.0],[1001118,2,0.0],[1001119,2,0.0],[1001120,4,0.0],[1001121,3,0.690306],[1001122,3,0.004112],[1001123,4,0.0],[1001124,4,0.0],[1001125,4,0.0],[1001126,1,0.0],[1001127,3,0.013683],[1001128,2,0.0],[1001129,3,0.0],[1001130,1,0.0],[1001131,4,0.0],[1001132,4,0.0],[1001133,2,0.0],[1001134,1,0.0],[1001135,4,0.0],[1001136,1,0.0],[1001137,1,0.0],[1001138,2,0.0],[1001139,1,0.0],[1001140,2,0.0],[1001141,4,0.0],[1001142,4,0.0],[1001143,3,0.00338],[1001144,3,0.000983],[1001145,1,0.0],[1001146,1,0.0],[1001147,1,0.0],[1001148,3,-0.475101],[1001149,4,0.0],[1001150,1,0.0],[1001151,1,0.0],[1001152,1,0.0],[1001153,3,0.114313],[1001154,2,0.0],[1001155,3,-1.664172],[1001156,1,0.0],[1001157,4,0.0],[1001158,4,0.0],[1001159,1,0.0],[1001160,1,0.0],[1001161,1,0.0],[1001162,2,0.0],[1001163,4,0.0],[1001164,3,0.0],[1001165,2,0.0],[1001166,2,0.0],[1001167,3,-0.086536],[1001168,1,0.0],[1001169,4,0.0],[1001170,3,0.391306],[1001171,4,0.0],[1001172,3,0.0],[1001173,1,0.0],[1001174,4,0.0],[1001175,4,0.0],[1001176,3,-0.45571],[1001177,3,0.0],[1001178,2,0.0],[1001179,1,0.0],[1001180,2,0.0],[1001181,3,-10.496425],[1001182,1,0.0],[1001183,3,0.0],[1001184,4,0.0],[1001185,1,0.0],[1001186,3,-0.736758],[1001187,1,0.0],[1001188,2,0.0],[1001189,1,0.0],[1001190,2,0.0],[1001191,2,0.0],[1001192,3,-0.156062],[1001193,2,0.0],[1001194,3,-0.254851],[1001195,4,0.0],[1001196,2,0.0],[1001197,3,-0.000332],[1001198,3,-0.061684],[1001199,2,0.0],[1001200,1,0.0],[1001201,1,0.0],[1001202,2,0.0],[1001203,4,0.0],[1001204,2,0.0],[1001205,3,-0.014529],[1001206,1,0.0],[1001207,3,-0.400829],[1001208,2,0.0],[1001209,3,0.0],[1001210,2,0.0],[1001211,1,0.0],[1001212,3,-0.197973],[1001213,2,0.0],[1001214,4,0.0],[1001215,4,0.0],[1001216,4,0.0],[1001217,4,0.0],[1001218,4,0.0],[1001219,2,0.0],[1001220,1,0.0],[1001221,2,0.0],[1001222,4,0.0],[1001223,1,0.0],[1001224,4,0.0],[1001225,3,0.007379],[1001226,4,0.0],[1001227,3,0.001021],[1001228,1,0.0],[1001229,3,0.002272],[1001230,3,0.044268],[1001231,4,0.0],[1001232,4,0.0],[1001233,1,0.0],[1001234,3,-0.13949],[1001235,4,0.0],[1001236,4,0.0],[1001237,4,0.0],[1001238,4,0.0],[1001239,1,0.0],[1001240,4,0.0],[1001241,2,0.0],[1001242,3,-0.011541],[1001243,2,0.0],[1001244,3,0.001247],[1001245,4,0.0],[1001246,3,-0.28906],[1001247,3,0.0],[1001248,4,0.0],[1001249,3,-2.237164],[1001250,3,-0.022035],[1001251,3,0.0],[1001252,3,0.004204],[1001253,1,0.0],[1001254,3,0.0],[1001255,3,-0.701839],[1001256,4,0.0],[1001257,2,0.0],[1001258,4,0.0],[1001259,4,0.0],[1001260,4,0.0],[1001261,3,0.0],[1001262,1,0.0],[1001263,4,0.0],[1001264,1,0.0],[1001265,4,0.0],[1001266,3,0.0],[1001267,3,0.395667],[1001268,2,0.0],[1001269,4,0.0],[1001270,2,0.0],[1001271,1,0.0],[1001272,3,0.004488],[1001273,1,0.0],[1001274,4,0.0],[1001275,3,-0.698172],[1001276,4,0.0],[1001277,3,0.006554],[1001278,4,0.0],[1001279,1,0.0],[1001280,1,0.0],[1001281,1,0.0],[1001282,3,0.005937],[1001283,4,0.0],[1001284,4,0.0],[1001285,3,0.03243],[1001286,2,0.0],[1001287,4,0.0],[1001288,1,0.0],[1001289,3,0.011797],[1001290,3,0.003037],[1001291,2,0.0],[1001292,2,0.0],[1001293,2,0.0],[1001294,4,0.0],[1001295,1,0.0],[1001296,1,0.0],[1001297,1,0.0],[1001298,4,0.0],[1001299,1,0.0],[1001300,3,0.0],[1001301,1,0.0],[1001302,3,-0.669423],[1001303,2,0.0],[1001304,1,0.0],[1001305,4,0.0],[1001306,1,0.0],[1001307,3,0.074001],[1001308,1,0.0],[1001309,2,0.0],[1001310,1,0.0],[1001311,1,0.0],[1001312,3,0.002326],[1001313,3,-0.396396],[1001314,2,0.0],[1001315,3,0.025293],[1001316,1,0.0],[1001317,2,0.0],[1001318,1,0.0],[1001319,1,0.0],[1001320,2,0.0],[1001321,4,0.0],[1001322,3,0.007005],[1001323,1,0.0],[1001324,3,0.001385],[1001325,2,0.0],[1001326,4,0.0],[1001327,1,0.0],[1001328,1,0.0],[1001329,1,0.0],[1001330,1,0.0],[1001331,4,0.0],[1001332,4,0.0],[1001333,2,0.0],[1001334,4,0.0],[1001335,2,0.0],[1001336,2,0.0],[1001337,3,-0.156889],[1001338,4,0.0],[1001339,1,0.0],[1001340,2,0.0],[1001341,2,0.0],[1001342,2,0.0],[1001343,3,-0.25089],[1001344,1,0.0],[1001345,2,0.0],[1001346,2,0.0],[1001347,2,0.0],[1001348,4,0.0],[1001349,2,0.0],[1001350,3,0.001806],[1001351,3,0.0],[1001352,3,-0.122776],[1001353,1,0.0],[1001354,3,-0.331784],[1001355,1,0.0],[1001356,3,-0.00778],[1001357,2,0.0],[1001358,4,0.0],[1001359,2,0.0],[1001360,2,0.0],[1001361,3,0.010974],[1001362,4,0.0],[1001363,1,0.0],[1001364,1,0.0],[1001365,2,0.0],[1001366,4,0.0],[1001367,4,0.0],[1001368,4,0.0],[1001369,4,0.0],[1001370,2,0.0],[1001371,1,0.0],[1001372,2,0.0],[1001373,1,0.0],[1001374,4,0.0],[1001375,3,0.0592],[1001376,2,0.0],[1001377,3,0.0],[1001378,2,0.0],[1001379,3,-0.113746],[1001380,2,0.0],[1001381,2,0.0],[1001382,2,0.0],[1001383,4,0.0],[1001384,4,0.0],[1001385,3,0.003466],[1001386,3,0.004637],[1001387,1,0.0],[1001388,1,0.0],[1001389,2,0.0],[1001390,3,0.000453],[1001391,3,-0.007996],[1001392,1,0.0],[1001393,2,0.0],[1001394,2,0.0],[1001395,1,0.0],[1001396,4,0.0],[1001397,2,0.0],[1001398,3,0.0],[1001399,2,0.0],[1001400,2,0.0],[1001401,2,0.0],[1001402,3,0.0],[1001403,3,-0.001621],[1001404,4,0.0],[1001405,1,0.0],[1001406,1,0.0],[1001407,1,0.0],[1001408,4,0.0],[1001409,1,0.0],[1001410,3,0.173602],[1001411,3,-0.032934],[1001412,2,0.0],[1001413,4,0.0],[1001414,3,0.000667],[1001415,4,0.0],[1001416,1,0.0],[1001417,3,0.0],[1001418,4,0.0],[1001419,1,0.0],[1001420,4,0.0],[1001421,2,0.0],[1001422,4,0.0],[1001423,4,0.0],[1001424,4,0.0],[1001425,2,0.0],[1001426,2,0.0],[1001427,1,0.0],[1001428,4,0.0],[1001429,4,0.0],[1001430,1,0.0],[1001431,1,0.0],[1001432,4,0.0],[1001433,2,0.0],[1001434,1,0.0],[1001435,1,0.0],[1001436,3,-1.742788],[1001437,2,0.0],[1001438,3,0.055987],[1001439,1,0.0],[1001440,4,0.0],[1001441,3,-0.651999],[1001442,1,0.0],[1001443,4,0.0],[1001444,1,0.0],[1001445,4,0.0],[1001446,4,0.0],[1001447,1,0.0],[1001448,1,0.0],[1001449,1,0.0],[1001450,1,0.0],[1001451,1,0.0],[1001452,3,-0.170728],[1001453,4,0.0],[1001454,1,0.0],[1001455,1,0.0],[1001456,1,0.0],[1001457,2,0.0],[1001458,3,0.776241],[1001459,3,0.067756],[1001460,1,0.0],[1001461,2,0.0],[1001462,4,0.0],[1001463,2,0.0],[1001464,4,0.0],[1001465,3,-0.040035],[1001466,3,-0.000407],[1001467,3,-0.010995],[1001468,1,0.0],[1001469,3,0.030178],[1001470,4,0.0],[1001471,3,-0.306955],[1001472,4,0.0],[1001473,1,0.0],[1001474,2,0.0],[1001475,3,0.0],[1001476,4,0.0],[1001477,2,0.0],[1001478,3,-1.31589],[1001479,1,0.0],[1001480,3,-1.066544],[1001481,4,0.0],[1001482,3,0.005486],[1001483,1,0.0],[1001484,2,0.0],[1001485,4,0.0],[1001486,2,0.0],[1001487,3,0.0],[1001488,2,0.0],[1001489,1,0.0],[1001490,1,0.0],[1001491,1,0.0],[1001492,3,0.012693],[1001493,2,0.0],[1001494,3,0.0892],[1001495,2,0.0],[1001496,1,0.0],[1001497,4,0.0],[1001498,1,0.0],[1001499,3,-0.026154]],"seconds_per_simulation":{"t":0.7871,"candidate":0.7843},"notes":"Both SHA-256 hashes matched; T contained the ON line exactly once. Simulator at b244530 unmodified (git status clean), Python 3.12.3, no third-party packages. Serial and in-process, no sandbox or workers, but split across two consecutive processes (first 336 seeds, then 164) because of a per-command time limit; repeat runs of seeds 1001000-1001002 in fresh processes gave identical total_edge. Nonzero d by spread: {1: 0, 2: 0, 3: 121, 4: 0}. Spread 3: 66 seeds d>0, 55 d<0, 21 d=0. Sums, means and se were computed from unrounded d; per_seed, worst and best are rounded to 6 decimals, and sums to 6 decimals. Timings are single-run means measured with T then CANDIDATE on each seed."}