{"key":"cut-s4-off-3","flip":"cut-s4-off","t_sha256":"9fba1eb5659d5b0ac9b7273a968a520ef9a95551c697be22020993005af70192","candidate_sha256":"8fc15ca7148427ccb5f49ec5cf7ab2a8d34e0c594306969524792aaa0a448d34","seeds":{"start":1001000,"end":1001499},"n":500,"complete":true,"blocked":null,"failures":[],"overall":{"n":500,"sum_d":-89.66543457030026,"sum_d2":2324.188189386472,"mean_diff":-0.17933086914060054,"se":0.09618178365629874},"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":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0},"4":{"n":120,"sum_d":-89.66543457030026,"sum_d2":2324.188189386472,"mean_diff":-0.7472119547525022,"se":0.3975757335626632}},"worst":[[1001420,4,-27.304220276399974],[1001453,4,-13.539573607699936],[1001163,4,-11.872492826700068],[1001446,4,-11.722880583800006],[1001321,4,-10.002111953200028]],"best":[[1001383,4,16.9240371334],[1001203,4,10.153894754599833],[1001248,4,8.15602767940004],[1001429,4,7.48099745510001],[1001443,4,6.096454612900004]],"per_seed":[[1001000,3,0.0],[1001001,3,0.0],[1001002,2,0.0],[1001003,3,0.0],[1001004,1,0.0],[1001005,3,0.0],[1001006,1,0.0],[1001007,3,0.0],[1001008,2,0.0],[1001009,1,0.0],[1001010,2,0.0],[1001011,3,0.0],[1001012,4,1.424191],[1001013,3,0.0],[1001014,2,0.0],[1001015,3,0.0],[1001016,3,0.0],[1001017,3,0.0],[1001018,3,0.0],[1001019,2,0.0],[1001020,3,0.0],[1001021,1,0.0],[1001022,1,0.0],[1001023,1,0.0],[1001024,3,0.0],[1001025,4,0.078763],[1001026,3,0.0],[1001027,1,0.0],[1001028,2,0.0],[1001029,1,0.0],[1001030,3,0.0],[1001031,3,0.0],[1001032,1,0.0],[1001033,4,-3.512107],[1001034,1,0.0],[1001035,4,-5.138129],[1001036,3,0.0],[1001037,2,0.0],[1001038,3,0.0],[1001039,3,0.0],[1001040,4,-0.483742],[1001041,2,0.0],[1001042,3,0.0],[1001043,3,0.0],[1001044,4,-0.299343],[1001045,4,-1.075805],[1001046,2,0.0],[1001047,2,0.0],[1001048,1,0.0],[1001049,4,-1.599306],[1001050,4,-4.401293],[1001051,4,1.566794],[1001052,2,0.0],[1001053,2,0.0],[1001054,3,0.0],[1001055,1,0.0],[1001056,2,0.0],[1001057,4,-0.078363],[1001058,3,0.0],[1001059,4,-5.607556],[1001060,3,0.0],[1001061,4,-6.725009],[1001062,1,0.0],[1001063,4,-2.304922],[1001064,4,-0.455711],[1001065,1,0.0],[1001066,1,0.0],[1001067,4,-0.298649],[1001068,3,0.0],[1001069,2,0.0],[1001070,3,0.0],[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.0],[1001078,2,0.0],[1001079,2,0.0],[1001080,3,0.0],[1001081,3,0.0],[1001082,3,0.0],[1001083,4,0.646482],[1001084,4,-0.743935],[1001085,1,0.0],[1001086,3,0.0],[1001087,3,0.0],[1001088,2,0.0],[1001089,2,0.0],[1001090,1,0.0],[1001091,1,0.0],[1001092,3,0.0],[1001093,4,0.464442],[1001094,1,0.0],[1001095,1,0.0],[1001096,1,0.0],[1001097,1,0.0],[1001098,2,0.0],[1001099,4,-1.548137],[1001100,3,0.0],[1001101,4,-0.285738],[1001102,3,0.0],[1001103,3,0.0],[1001104,4,-3.528512],[1001105,4,-2.388918],[1001106,4,-2.934924],[1001107,3,0.0],[1001108,1,0.0],[1001109,3,0.0],[1001110,1,0.0],[1001111,3,0.0],[1001112,3,0.0],[1001113,2,0.0],[1001114,3,0.0],[1001115,3,0.0],[1001116,2,0.0],[1001117,4,-0.683963],[1001118,2,0.0],[1001119,2,0.0],[1001120,4,-0.285936],[1001121,3,0.0],[1001122,3,0.0],[1001123,4,-0.074225],[1001124,4,-7.630244],[1001125,4,-0.091142],[1001126,1,0.0],[1001127,3,0.0],[1001128,2,0.0],[1001129,3,0.0],[1001130,1,0.0],[1001131,4,1.930524],[1001132,4,-0.60759],[1001133,2,0.0],[1001134,1,0.0],[1001135,4,-1.512723],[1001136,1,0.0],[1001137,1,0.0],[1001138,2,0.0],[1001139,1,0.0],[1001140,2,0.0],[1001141,4,-0.323426],[1001142,4,-0.475054],[1001143,3,0.0],[1001144,3,0.0],[1001145,1,0.0],[1001146,1,0.0],[1001147,1,0.0],[1001148,3,0.0],[1001149,4,-0.334902],[1001150,1,0.0],[1001151,1,0.0],[1001152,1,0.0],[1001153,3,0.0],[1001154,2,0.0],[1001155,3,0.0],[1001156,1,0.0],[1001157,4,0.719827],[1001158,4,-1.801007],[1001159,1,0.0],[1001160,1,0.0],[1001161,1,0.0],[1001162,2,0.0],[1001163,4,-11.872493],[1001164,3,0.0],[1001165,2,0.0],[1001166,2,0.0],[1001167,3,0.0],[1001168,1,0.0],[1001169,4,-0.367277],[1001170,3,0.0],[1001171,4,-0.088752],[1001172,3,0.0],[1001173,1,0.0],[1001174,4,-0.143852],[1001175,4,-5.310171],[1001176,3,0.0],[1001177,3,0.0],[1001178,2,0.0],[1001179,1,0.0],[1001180,2,0.0],[1001181,3,0.0],[1001182,1,0.0],[1001183,3,0.0],[1001184,4,-1.677678],[1001185,1,0.0],[1001186,3,0.0],[1001187,1,0.0],[1001188,2,0.0],[1001189,1,0.0],[1001190,2,0.0],[1001191,2,0.0],[1001192,3,0.0],[1001193,2,0.0],[1001194,3,0.0],[1001195,4,0.248356],[1001196,2,0.0],[1001197,3,0.0],[1001198,3,0.0],[1001199,2,0.0],[1001200,1,0.0],[1001201,1,0.0],[1001202,2,0.0],[1001203,4,10.153895],[1001204,2,0.0],[1001205,3,0.0],[1001206,1,0.0],[1001207,3,0.0],[1001208,2,0.0],[1001209,3,0.0],[1001210,2,0.0],[1001211,1,0.0],[1001212,3,0.0],[1001213,2,0.0],[1001214,4,-2.175369],[1001215,4,0.00494],[1001216,4,-0.601813],[1001217,4,0.183082],[1001218,4,1.861197],[1001219,2,0.0],[1001220,1,0.0],[1001221,2,0.0],[1001222,4,-0.649636],[1001223,1,0.0],[1001224,4,0.575064],[1001225,3,0.0],[1001226,4,0.072993],[1001227,3,0.0],[1001228,1,0.0],[1001229,3,0.0],[1001230,3,0.0],[1001231,4,-0.006378],[1001232,4,-1.376021],[1001233,1,0.0],[1001234,3,0.0],[1001235,4,0.434705],[1001236,4,1.011844],[1001237,4,0.252709],[1001238,4,0.30005],[1001239,1,0.0],[1001240,4,0.389357],[1001241,2,0.0],[1001242,3,0.0],[1001243,2,0.0],[1001244,3,0.0],[1001245,4,-0.605977],[1001246,3,0.0],[1001247,3,0.0],[1001248,4,8.156028],[1001249,3,0.0],[1001250,3,0.0],[1001251,3,0.0],[1001252,3,0.0],[1001253,1,0.0],[1001254,3,0.0],[1001255,3,0.0],[1001256,4,1.619107],[1001257,2,0.0],[1001258,4,-0.963376],[1001259,4,-1.19673],[1001260,4,-3.675434],[1001261,3,0.0],[1001262,1,0.0],[1001263,4,-0.005769],[1001264,1,0.0],[1001265,4,-0.633825],[1001266,3,0.0],[1001267,3,0.0],[1001268,2,0.0],[1001269,4,5.359207],[1001270,2,0.0],[1001271,1,0.0],[1001272,3,0.0],[1001273,1,0.0],[1001274,4,3.869025],[1001275,3,0.0],[1001276,4,-1.826552],[1001277,3,0.0],[1001278,4,-0.525205],[1001279,1,0.0],[1001280,1,0.0],[1001281,1,0.0],[1001282,3,0.0],[1001283,4,-0.241338],[1001284,4,2.483067],[1001285,3,0.0],[1001286,2,0.0],[1001287,4,-2.442872],[1001288,1,0.0],[1001289,3,0.0],[1001290,3,0.0],[1001291,2,0.0],[1001292,2,0.0],[1001293,2,0.0],[1001294,4,-0.819025],[1001295,1,0.0],[1001296,1,0.0],[1001297,1,0.0],[1001298,4,0.402153],[1001299,1,0.0],[1001300,3,0.0],[1001301,1,0.0],[1001302,3,0.0],[1001303,2,0.0],[1001304,1,0.0],[1001305,4,-0.199988],[1001306,1,0.0],[1001307,3,0.0],[1001308,1,0.0],[1001309,2,0.0],[1001310,1,0.0],[1001311,1,0.0],[1001312,3,0.0],[1001313,3,0.0],[1001314,2,0.0],[1001315,3,0.0],[1001316,1,0.0],[1001317,2,0.0],[1001318,1,0.0],[1001319,1,0.0],[1001320,2,0.0],[1001321,4,-10.002112],[1001322,3,0.0],[1001323,1,0.0],[1001324,3,0.0],[1001325,2,0.0],[1001326,4,0.875288],[1001327,1,0.0],[1001328,1,0.0],[1001329,1,0.0],[1001330,1,0.0],[1001331,4,-0.250499],[1001332,4,1.01404],[1001333,2,0.0],[1001334,4,-1.542137],[1001335,2,0.0],[1001336,2,0.0],[1001337,3,0.0],[1001338,4,-0.001045],[1001339,1,0.0],[1001340,2,0.0],[1001341,2,0.0],[1001342,2,0.0],[1001343,3,0.0],[1001344,1,0.0],[1001345,2,0.0],[1001346,2,0.0],[1001347,2,0.0],[1001348,4,-1.463317],[1001349,2,0.0],[1001350,3,0.0],[1001351,3,0.0],[1001352,3,0.0],[1001353,1,0.0],[1001354,3,0.0],[1001355,1,0.0],[1001356,3,0.0],[1001357,2,0.0],[1001358,4,-1.224183],[1001359,2,0.0],[1001360,2,0.0],[1001361,3,0.0],[1001362,4,-0.528616],[1001363,1,0.0],[1001364,1,0.0],[1001365,2,0.0],[1001366,4,4.109614],[1001367,4,0.28034],[1001368,4,0.541326],[1001369,4,-1.932985],[1001370,2,0.0],[1001371,1,0.0],[1001372,2,0.0],[1001373,1,0.0],[1001374,4,-1.277042],[1001375,3,0.0],[1001376,2,0.0],[1001377,3,0.0],[1001378,2,0.0],[1001379,3,0.0],[1001380,2,0.0],[1001381,2,0.0],[1001382,2,0.0],[1001383,4,16.924037],[1001384,4,-1.004573],[1001385,3,0.0],[1001386,3,0.0],[1001387,1,0.0],[1001388,1,0.0],[1001389,2,0.0],[1001390,3,0.0],[1001391,3,0.0],[1001392,1,0.0],[1001393,2,0.0],[1001394,2,0.0],[1001395,1,0.0],[1001396,4,-0.848079],[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.0],[1001404,4,0.633161],[1001405,1,0.0],[1001406,1,0.0],[1001407,1,0.0],[1001408,4,0.119203],[1001409,1,0.0],[1001410,3,0.0],[1001411,3,0.0],[1001412,2,0.0],[1001413,4,3.462669],[1001414,3,0.0],[1001415,4,0.902987],[1001416,1,0.0],[1001417,3,0.0],[1001418,4,-3.0635],[1001419,1,0.0],[1001420,4,-27.30422],[1001421,2,0.0],[1001422,4,-0.830482],[1001423,4,-0.166453],[1001424,4,0.1706],[1001425,2,0.0],[1001426,2,0.0],[1001427,1,0.0],[1001428,4,-4.585605],[1001429,4,7.480997],[1001430,1,0.0],[1001431,1,0.0],[1001432,4,-0.700228],[1001433,2,0.0],[1001434,1,0.0],[1001435,1,0.0],[1001436,3,0.0],[1001437,2,0.0],[1001438,3,0.0],[1001439,1,0.0],[1001440,4,0.724889],[1001441,3,0.0],[1001442,1,0.0],[1001443,4,6.096455],[1001444,1,0.0],[1001445,4,-0.043833],[1001446,4,-11.722881],[1001447,1,0.0],[1001448,1,0.0],[1001449,1,0.0],[1001450,1,0.0],[1001451,1,0.0],[1001452,3,0.0],[1001453,4,-13.539574],[1001454,1,0.0],[1001455,1,0.0],[1001456,1,0.0],[1001457,2,0.0],[1001458,3,0.0],[1001459,3,0.0],[1001460,1,0.0],[1001461,2,0.0],[1001462,4,0.287559],[1001463,2,0.0],[1001464,4,-0.161843],[1001465,3,0.0],[1001466,3,0.0],[1001467,3,0.0],[1001468,1,0.0],[1001469,3,0.0],[1001470,4,2.963304],[1001471,3,0.0],[1001472,4,-2.878983],[1001473,1,0.0],[1001474,2,0.0],[1001475,3,0.0],[1001476,4,-0.142276],[1001477,2,0.0],[1001478,3,0.0],[1001479,1,0.0],[1001480,3,0.0],[1001481,4,-0.524706],[1001482,3,0.0],[1001483,1,0.0],[1001484,2,0.0],[1001485,4,0.002316],[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.0],[1001493,2,0.0],[1001494,3,0.0],[1001495,2,0.0],[1001496,1,0.0],[1001497,4,-0.087004],[1001498,1,0.0],[1001499,3,0.0]],"seconds_per_simulation":{"t":0.29718587034754457,"candidate":0.29665443353913723},"notes":["Simulator commit b244530ee2a6247b5f930830eeca9dd950da0e7e, unmodified; Python 3.12.3. Serial in-process; T then CANDIDATE, factory loaded fresh for each run.","Aggregates and extrema use unrounded differences; per_seed differences rounded to 6 decimals. Timing includes factory loading and engine construction/run."]}