{"key":"cut-s1-off-1","flip":"cut-s1-off","t_sha256":"9fba1eb5659d5b0ac9b7273a968a520ef9a95551c697be22020993005af70192","candidate_sha256":"a23040e3c44b30e8d5d96eb365304bb0ab1d9cb05fc7e6e10d8f6db65eb45523","seeds":{"start":1000000,"end":1000499},"n":500,"complete":true,"blocked":null,"failures":[],"overall":{"n":500,"sum_d":-39.22702,"sum_d2":8174.851876,"mean_diff":-0.078454,"se":0.180977},"by_spread":{"1":{"n":144,"sum_d":-39.22702,"sum_d2":8174.851876,"mean_diff":-0.27241,"se":0.629661},"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":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0}},"worst":[[1000063,1,-39.060345],[1000464,1,-18.805908],[1000301,1,-16.018934],[1000441,1,-14.219072],[1000059,1,-13.733117]],"best":[[1000087,1,58.15235],[1000330,1,17.622178],[1000448,1,17.221998],[1000272,1,16.175535],[1000179,1,12.338752]],"per_seed":[[1000000,2,0.0],[1000001,1,8.20484],[1000002,2,0.0],[1000003,1,-5.829403],[1000004,3,0.0],[1000005,1,-0.242887],[1000006,3,0.0],[1000007,1,-4.592905],[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.009247],[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.123327],[1000024,1,3.926095],[1000025,2,0.0],[1000026,2,0.0],[1000027,2,0.0],[1000028,1,0.003034],[1000029,4,0.0],[1000030,3,0.0],[1000031,1,0.791646],[1000032,2,0.0],[1000033,3,0.0],[1000034,1,-0.87422],[1000035,4,0.0],[1000036,2,0.0],[1000037,1,-1.346914],[1000038,2,0.0],[1000039,4,0.0],[1000040,2,0.0],[1000041,3,0.0],[1000042,3,0.0],[1000043,1,0.160971],[1000044,3,0.0],[1000045,3,0.0],[1000046,2,0.0],[1000047,1,1.080379],[1000048,1,8.078729],[1000049,1,0.038205],[1000050,4,0.0],[1000051,3,0.0],[1000052,3,0.0],[1000053,1,0.001609],[1000054,1,5.939989],[1000055,4,0.0],[1000056,3,0.0],[1000057,4,0.0],[1000058,1,0.00087],[1000059,1,-13.733117],[1000060,4,0.0],[1000061,3,0.0],[1000062,1,-1.340749],[1000063,1,-39.060345],[1000064,2,0.0],[1000065,2,0.0],[1000066,3,0.0],[1000067,1,-0.736975],[1000068,2,0.0],[1000069,3,0.0],[1000070,1,8.396072],[1000071,2,0.0],[1000072,3,0.0],[1000073,1,0.378639],[1000074,3,0.0],[1000075,3,0.0],[1000076,1,-0.026114],[1000077,4,0.0],[1000078,1,-0.058088],[1000079,3,0.0],[1000080,4,0.0],[1000081,3,0.0],[1000082,2,0.0],[1000083,3,0.0],[1000084,1,6.200969],[1000085,1,-0.068333],[1000086,3,0.0],[1000087,1,58.15235],[1000088,4,0.0],[1000089,3,0.0],[1000090,1,0.0],[1000091,1,-0.159216],[1000092,4,0.0],[1000093,4,0.0],[1000094,4,0.0],[1000095,3,0.0],[1000096,3,0.0],[1000097,2,0.0],[1000098,4,0.0],[1000099,3,0.0],[1000100,4,0.0],[1000101,4,0.0],[1000102,3,0.0],[1000103,1,-5.866786],[1000104,1,-2.88264],[1000105,4,0.0],[1000106,2,0.0],[1000107,1,0.226001],[1000108,4,0.0],[1000109,4,0.0],[1000110,3,0.0],[1000111,2,0.0],[1000112,1,-5.498783],[1000113,4,0.0],[1000114,4,0.0],[1000115,3,0.0],[1000116,1,0.146605],[1000117,2,0.0],[1000118,2,0.0],[1000119,2,0.0],[1000120,4,0.0],[1000121,1,-1.517786],[1000122,4,0.0],[1000123,3,0.0],[1000124,1,2.156966],[1000125,2,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,-1.550237],[1000134,1,-0.032651],[1000135,2,0.0],[1000136,4,0.0],[1000137,4,0.0],[1000138,1,-0.045469],[1000139,1,-2.193013],[1000140,2,0.0],[1000141,3,0.0],[1000142,1,0.12214],[1000143,4,0.0],[1000144,2,0.0],[1000145,3,0.0],[1000146,2,0.0],[1000147,3,0.0],[1000148,1,-2.660589],[1000149,2,0.0],[1000150,2,0.0],[1000151,4,0.0],[1000152,2,0.0],[1000153,1,-0.214161],[1000154,3,0.0],[1000155,2,0.0],[1000156,3,0.0],[1000157,2,0.0],[1000158,4,0.0],[1000159,4,0.0],[1000160,3,0.0],[1000161,4,0.0],[1000162,2,0.0],[1000163,4,0.0],[1000164,1,-0.00018],[1000165,4,0.0],[1000166,4,0.0],[1000167,3,0.0],[1000168,1,-0.001246],[1000169,4,0.0],[1000170,4,0.0],[1000171,3,0.0],[1000172,4,0.0],[1000173,1,0.191827],[1000174,1,0.35189],[1000175,3,0.0],[1000176,2,0.0],[1000177,2,0.0],[1000178,1,-0.228357],[1000179,1,12.338752],[1000180,3,0.0],[1000181,4,0.0],[1000182,3,0.0],[1000183,4,0.0],[1000184,2,0.0],[1000185,3,0.0],[1000186,3,0.0],[1000187,3,0.0],[1000188,4,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.029687],[1000203,1,-0.769487],[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,-2.081825],[1000213,1,-3.85881],[1000214,2,0.0],[1000215,2,0.0],[1000216,3,0.0],[1000217,1,0.028433],[1000218,4,0.0],[1000219,2,0.0],[1000220,4,0.0],[1000221,3,0.0],[1000222,1,0.756411],[1000223,2,0.0],[1000224,4,0.0],[1000225,2,0.0],[1000226,2,0.0],[1000227,1,0.000931],[1000228,4,0.0],[1000229,4,0.0],[1000230,3,0.0],[1000231,4,0.0],[1000232,4,0.0],[1000233,3,0.0],[1000234,4,0.0],[1000235,3,0.0],[1000236,3,0.0],[1000237,4,0.0],[1000238,1,-0.093249],[1000239,4,0.0],[1000240,2,0.0],[1000241,1,-0.163341],[1000242,1,-8.828558],[1000243,3,0.0],[1000244,2,0.0],[1000245,1,-5.424975],[1000246,2,0.0],[1000247,4,0.0],[1000248,1,-12.367593],[1000249,1,-2.016757],[1000250,2,0.0],[1000251,4,0.0],[1000252,3,0.0],[1000253,2,0.0],[1000254,3,0.0],[1000255,2,0.0],[1000256,1,-0.906699],[1000257,2,0.0],[1000258,1,-0.077959],[1000259,3,0.0],[1000260,1,-1.009154],[1000261,1,0.000243],[1000262,3,0.0],[1000263,4,0.0],[1000264,3,0.0],[1000265,1,0.671417],[1000266,1,-0.212475],[1000267,1,-1.647811],[1000268,2,0.0],[1000269,2,0.0],[1000270,4,0.0],[1000271,4,0.0],[1000272,1,16.175535],[1000273,2,0.0],[1000274,2,0.0],[1000275,3,0.0],[1000276,1,-0.004234],[1000277,1,9.31801],[1000278,2,0.0],[1000279,2,0.0],[1000280,3,0.0],[1000281,2,0.0],[1000282,2,0.0],[1000283,1,-0.412285],[1000284,4,0.0],[1000285,4,0.0],[1000286,4,0.0],[1000287,1,-0.187976],[1000288,1,-0.009446],[1000289,3,0.0],[1000290,4,0.0],[1000291,3,0.0],[1000292,2,0.0],[1000293,1,-0.596181],[1000294,4,0.0],[1000295,3,0.0],[1000296,4,0.0],[1000297,1,0.425236],[1000298,1,-0.661812],[1000299,3,0.0],[1000300,4,0.0],[1000301,1,-16.018934],[1000302,1,-1.914754],[1000303,1,1.059635],[1000304,4,0.0],[1000305,1,0.049324],[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,0.0],[1000313,1,-0.622857],[1000314,1,-0.018014],[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.049121],[1000326,1,0.699951],[1000327,4,0.0],[1000328,1,-3.007812],[1000329,4,0.0],[1000330,1,17.622178],[1000331,4,0.0],[1000332,2,0.0],[1000333,3,0.0],[1000334,2,0.0],[1000335,4,0.0],[1000336,1,0.444645],[1000337,3,0.0],[1000338,2,0.0],[1000339,4,0.0],[1000340,1,2.261811],[1000341,3,0.0],[1000342,1,-0.263103],[1000343,3,0.0],[1000344,3,0.0],[1000345,2,0.0],[1000346,1,-0.588504],[1000347,2,0.0],[1000348,3,0.0],[1000349,4,0.0],[1000350,4,0.0],[1000351,2,0.0],[1000352,1,-1.880588],[1000353,1,-0.711724],[1000354,3,0.0],[1000355,1,-0.887891],[1000356,2,0.0],[1000357,1,-0.161838],[1000358,3,0.0],[1000359,2,0.0],[1000360,2,0.0],[1000361,2,0.0],[1000362,4,0.0],[1000363,1,-0.01227],[1000364,1,-0.009962],[1000365,4,0.0],[1000366,4,0.0],[1000367,3,0.0],[1000368,4,0.0],[1000369,4,0.0],[1000370,1,0.017682],[1000371,3,0.0],[1000372,3,0.0],[1000373,2,0.0],[1000374,1,0.96414],[1000375,1,-0.002984],[1000376,4,0.0],[1000377,1,-0.095187],[1000378,1,6.909148],[1000379,2,0.0],[1000380,1,-0.548352],[1000381,1,-5.096642],[1000382,2,0.0],[1000383,2,0.0],[1000384,4,0.0],[1000385,2,0.0],[1000386,1,3.264615],[1000387,3,0.0],[1000388,4,0.0],[1000389,1,0.998185],[1000390,2,0.0],[1000391,3,0.0],[1000392,1,0.047194],[1000393,1,0.112738],[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],[1000403,1,-4.985338],[1000404,1,-0.987042],[1000405,4,0.0],[1000406,1,-3.600127],[1000407,3,0.0],[1000408,1,0.181504],[1000409,4,0.0],[1000410,2,0.0],[1000411,3,0.0],[1000412,2,0.0],[1000413,3,0.0],[1000414,3,0.0],[1000415,4,0.0],[1000416,2,0.0],[1000417,3,0.0],[1000418,1,-0.027502],[1000419,3,0.0],[1000420,2,0.0],[1000421,3,0.0],[1000422,3,0.0],[1000423,4,0.0],[1000424,1,-0.250051],[1000425,1,-13.589571],[1000426,1,-0.088379],[1000427,2,0.0],[1000428,1,-0.059554],[1000429,1,0.183115],[1000430,1,-3.50231],[1000431,1,-0.281158],[1000432,1,0.111768],[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.0],[1000440,2,0.0],[1000441,1,-14.219072],[1000442,2,0.0],[1000443,1,-0.578791],[1000444,4,0.0],[1000445,1,-2.580232],[1000446,4,0.0],[1000447,1,-0.075355],[1000448,1,17.221998],[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.308941],[1000457,2,0.0],[1000458,3,0.0],[1000459,4,0.0],[1000460,3,0.0],[1000461,1,0.563012],[1000462,2,0.0],[1000463,2,0.0],[1000464,1,-18.805908],[1000465,4,0.0],[1000466,2,0.0],[1000467,1,-0.002936],[1000468,3,0.0],[1000469,1,-1.476397],[1000470,1,-2.657708],[1000471,3,0.0],[1000472,3,0.0],[1000473,1,-1.383068],[1000474,3,0.0],[1000475,1,-1.235388],[1000476,4,0.0],[1000477,2,0.0],[1000478,3,0.0],[1000479,4,0.0],[1000480,2,0.0],[1000481,4,0.0],[1000482,3,0.0],[1000483,3,0.0],[1000484,4,0.0],[1000485,1,0.156203],[1000486,1,-0.021991],[1000487,2,0.0],[1000488,2,0.0],[1000489,4,0.0],[1000490,4,0.0],[1000491,3,0.0],[1000492,1,0.000332],[1000493,2,0.0],[1000494,1,5.263843],[1000495,1,-3.503538],[1000496,1,-3.259888],[1000497,3,0.0],[1000498,2,0.0],[1000499,3,0.0]],"seconds_per_simulation":{"t":0.8034,"candidate":0.8017},"notes":"Simulator commit b244530 unmodified, Python 3.12.3, serial in-process, two sequential processes of 250 seeds each. Both SHA-256 hashes verified. d = CANDIDATE.total_edge - T.total_edge."}