{"key": "cut-s3-on-1", "flip": "cut-s3-on", "t_sha256": "9fba1eb5659d5b0ac9b7273a968a520ef9a95551c697be22020993005af70192", "candidate_sha256": "1a130fe5521b7cf103aab0c5c27778dc50ab4d5bcc3c937d5ca2b818cb1df7f8", "seeds": {"start": 1000000, "end": 1000499}, "n": 500, "complete": true, "blocked": null, "failures": [], "overall": {"n": 500, "sum_d": -75.550858, "sum_d2": 2803.094397, "mean_diff": -0.151102, "se": 0.105779}, "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": -75.550858, "sum_d2": 2803.094397, "mean_diff": -0.590241, "se": 0.411936}, "4": {"n": 110, "sum_d": 0.0, "sum_d2": 0.0, "mean_diff": 0.0, "se": 0.0}}, "worst": [[1000147, 3, -37.94063], [1000306, 3, -20.935014], [1000052, 3, -11.459546], [1000451, 3, -10.370941], [1000167, 3, -7.291739]], "best": [[1000030, 3, 8.925376], [1000491, 3, 7.834237], [1000200, 3, 6.029345], [1000056, 3, 5.168367], [1000468, 3, 4.920707]], "per_seed": [[1000000, 2, 0.0], [1000001, 1, 0.0], [1000002, 2, 0.0], [1000003, 1, 0.0], [1000004, 3, 3.095524], [1000005, 1, 0.0], [1000006, 3, 1.214702], [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, -3.564955], [1000014, 2, 0.0], [1000015, 3, 0.036827], [1000016, 1, 0.0], [1000017, 2, 0.0], [1000018, 3, 3.039908], [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], [1000027, 2, 0.0], [1000028, 1, 0.0], [1000029, 4, 0.0], [1000030, 3, 8.925376], [1000031, 1, 0.0], [1000032, 2, 0.0], [1000033, 3, -0.938396], [1000034, 1, 0.0], [1000035, 4, 0.0], [1000036, 2, 0.0], [1000037, 1, 0.0], [1000038, 2, 0.0], [1000039, 4, 0.0], [1000040, 2, 0.0], [1000041, 3, -0.679705], [1000042, 3, 3.680927], [1000043, 1, 0.0], [1000044, 3, 0.203379], [1000045, 3, -0.026129], [1000046, 2, 0.0], [1000047, 1, 0.0], [1000048, 1, 0.0], [1000049, 1, 0.0], [1000050, 4, 0.0], [1000051, 3, 0.199275], [1000052, 3, -11.459546], [1000053, 1, 0.0], [1000054, 1, 0.0], [1000055, 4, 0.0], [1000056, 3, 5.168367], [1000057, 4, 0.0], [1000058, 1, 0.0], [1000059, 1, 0.0], [1000060, 4, 0.0], [1000061, 3, -1.404502], [1000062, 1, 0.0], [1000063, 1, 0.0], [1000064, 2, 0.0], [1000065, 2, 0.0], [1000066, 3, 0.153323], [1000067, 1, 0.0], [1000068, 2, 0.0], [1000069, 3, 1.010851], [1000070, 1, 0.0], [1000071, 2, 0.0], [1000072, 3, -1.019109], [1000073, 1, 0.0], [1000074, 3, 0.149942], [1000075, 3, -0.679536], [1000076, 1, 0.0], [1000077, 4, 0.0], [1000078, 1, 0.0], [1000079, 3, -1.07096], [1000080, 4, 0.0], [1000081, 3, 0.031706], [1000082, 2, 0.0], [1000083, 3, 1.752113], [1000084, 1, 0.0], [1000085, 1, 0.0], [1000086, 3, -0.587404], [1000087, 1, 0.0], [1000088, 4, 0.0], [1000089, 3, -5.804342], [1000090, 1, 0.0], [1000091, 1, 0.0], [1000092, 4, 0.0], [1000093, 4, 0.0], [1000094, 4, 0.0], [1000095, 3, -0.841144], [1000096, 3, -5.436239], [1000097, 2, 0.0], [1000098, 4, 0.0], [1000099, 3, -6.750465], [1000100, 4, 0.0], [1000101, 4, 0.0], [1000102, 3, -0.080841], [1000103, 1, 0.0], [1000104, 1, 0.0], [1000105, 4, 0.0], [1000106, 2, 0.0], [1000107, 1, 0.0], [1000108, 4, 0.0], [1000109, 4, 0.0], [1000110, 3, -0.211469], [1000111, 2, 0.0], [1000112, 1, 0.0], [1000113, 4, 0.0], [1000114, 4, 0.0], [1000115, 3, -0.997536], [1000116, 1, 0.0], [1000117, 2, 0.0], [1000118, 2, 0.0], [1000119, 2, 0.0], [1000120, 4, 0.0], [1000121, 1, 0.0], [1000122, 4, 0.0], [1000123, 3, -0.086814], [1000124, 1, 0.0], [1000125, 2, 0.0], [1000126, 3, 1.564059], [1000127, 2, 0.0], [1000128, 4, 0.0], [1000129, 4, 0.0], [1000130, 3, 1.34577], [1000131, 2, 0.0], [1000132, 3, 1.23727], [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.014185], [1000142, 1, 0.0], [1000143, 4, 0.0], [1000144, 2, 0.0], [1000145, 3, -5.143896], [1000146, 2, 0.0], [1000147, 3, -37.94063], [1000148, 1, 0.0], [1000149, 2, 0.0], [1000150, 2, 0.0], [1000151, 4, 0.0], [1000152, 2, 0.0], [1000153, 1, 0.0], [1000154, 3, 0.346807], [1000155, 2, 0.0], [1000156, 3, -0.523604], [1000157, 2, 0.0], [1000158, 4, 0.0], [1000159, 4, 0.0], [1000160, 3, 0.598154], [1000161, 4, 0.0], [1000162, 2, 0.0], [1000163, 4, 0.0], [1000164, 1, 0.0], [1000165, 4, 0.0], [1000166, 4, 0.0], [1000167, 3, -7.291739], [1000168, 1, 0.0], [1000169, 4, 0.0], [1000170, 4, 0.0], [1000171, 3, 1.976872], [1000172, 4, 0.0], [1000173, 1, 0.0], [1000174, 1, 0.0], [1000175, 3, 0.631645], [1000176, 2, 0.0], [1000177, 2, 0.0], [1000178, 1, 0.0], [1000179, 1, 0.0], [1000180, 3, -0.715776], [1000181, 4, 0.0], [1000182, 3, -5.78352], [1000183, 4, 0.0], [1000184, 2, 0.0], [1000185, 3, 3.880653], [1000186, 3, 0.27122], [1000187, 3, 0.335412], [1000188, 4, 0.0], [1000189, 3, -1.093428], [1000190, 3, 1.390397], [1000191, 3, 0.367011], [1000192, 4, 0.0], [1000193, 4, 0.0], [1000194, 2, 0.0], [1000195, 3, 0.014317], [1000196, 3, -0.252163], [1000197, 3, 0.355258], [1000198, 2, 0.0], [1000199, 2, 0.0], [1000200, 3, 6.029345], [1000201, 4, 0.0], [1000202, 1, 0.0], [1000203, 1, 0.0], [1000204, 2, 0.0], [1000205, 4, 0.0], [1000206, 3, 0.732395], [1000207, 3, -0.197534], [1000208, 2, 0.0], [1000209, 2, 0.0], [1000210, 4, 0.0], [1000211, 3, -5.674978], [1000212, 1, 0.0], [1000213, 1, 0.0], [1000214, 2, 0.0], [1000215, 2, 0.0], [1000216, 3, -1.485304], [1000217, 1, 0.0], [1000218, 4, 0.0], [1000219, 2, 0.0], [1000220, 4, 0.0], [1000221, 3, 0.861025], [1000222, 1, 0.0], [1000223, 2, 0.0], [1000224, 4, 0.0], [1000225, 2, 0.0], [1000226, 2, 0.0], [1000227, 1, 0.0], [1000228, 4, 0.0], [1000229, 4, 0.0], [1000230, 3, 0.076703], [1000231, 4, 0.0], [1000232, 4, 0.0], [1000233, 3, -2.328529], [1000234, 4, 0.0], [1000235, 3, 3.835728], [1000236, 3, 1.446237], [1000237, 4, 0.0], [1000238, 1, 0.0], [1000239, 4, 0.0], [1000240, 2, 0.0], [1000241, 1, 0.0], [1000242, 1, 0.0], [1000243, 3, 0.696474], [1000244, 2, 0.0], [1000245, 1, 0.0], [1000246, 2, 0.0], [1000247, 4, 0.0], [1000248, 1, 0.0], [1000249, 1, 0.0], [1000250, 2, 0.0], [1000251, 4, 0.0], [1000252, 3, 1.078808], [1000253, 2, 0.0], [1000254, 3, -0.755994], [1000255, 2, 0.0], [1000256, 1, 0.0], [1000257, 2, 0.0], [1000258, 1, 0.0], [1000259, 3, 0.281984], [1000260, 1, 0.0], [1000261, 1, 0.0], [1000262, 3, -0.42174], [1000263, 4, 0.0], [1000264, 3, 0.83233], [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.490053], [1000276, 1, 0.0], [1000277, 1, 0.0], [1000278, 2, 0.0], [1000279, 2, 0.0], [1000280, 3, 0.956261], [1000281, 2, 0.0], [1000282, 2, 0.0], [1000283, 1, 0.0], [1000284, 4, 0.0], [1000285, 4, 0.0], [1000286, 4, 0.0], [1000287, 1, 0.0], [1000288, 1, 0.0], [1000289, 3, 3.065086], [1000290, 4, 0.0], [1000291, 3, -0.8391], [1000292, 2, 0.0], [1000293, 1, 0.0], [1000294, 4, 0.0], [1000295, 3, -0.054161], [1000296, 4, 0.0], [1000297, 1, 0.0], [1000298, 1, 0.0], [1000299, 3, 0.289667], [1000300, 4, 0.0], [1000301, 1, 0.0], [1000302, 1, 0.0], [1000303, 1, 0.0], [1000304, 4, 0.0], [1000305, 1, 0.0], [1000306, 3, -20.935014], [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.0], [1000314, 1, 0.0], [1000315, 2, 0.0], [1000316, 3, 0.006572], [1000317, 2, 0.0], [1000318, 3, -0.866064], [1000319, 2, 0.0], [1000320, 4, 0.0], [1000321, 3, -0.028302], [1000322, 2, 0.0], [1000323, 3, -3.013534], [1000324, 3, -4.716238], [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.087796], [1000334, 2, 0.0], [1000335, 4, 0.0], [1000336, 1, 0.0], [1000337, 3, 0.01594], [1000338, 2, 0.0], [1000339, 4, 0.0], [1000340, 1, 0.0], [1000341, 3, 0.604139], [1000342, 1, 0.0], [1000343, 3, 0.074583], [1000344, 3, 1.93805], [1000345, 2, 0.0], [1000346, 1, 0.0], [1000347, 2, 0.0], [1000348, 3, 0.339513], [1000349, 4, 0.0], [1000350, 4, 0.0], [1000351, 2, 0.0], [1000352, 1, 0.0], [1000353, 1, 0.0], [1000354, 3, 0.172712], [1000355, 1, 0.0], [1000356, 2, 0.0], [1000357, 1, 0.0], [1000358, 3, 0.059425], [1000359, 2, 0.0], [1000360, 2, 0.0], [1000361, 2, 0.0], [1000362, 4, 0.0], [1000363, 1, 0.0], [1000364, 1, 0.0], [1000365, 4, 0.0], [1000366, 4, 0.0], [1000367, 3, 0.982896], [1000368, 4, 0.0], [1000369, 4, 0.0], [1000370, 1, 0.0], [1000371, 3, 0.421556], [1000372, 3, -1.429623], [1000373, 2, 0.0], [1000374, 1, 0.0], [1000375, 1, 0.0], [1000376, 4, 0.0], [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.0], [1000385, 2, 0.0], [1000386, 1, 0.0], [1000387, 3, 2.514921], [1000388, 4, 0.0], [1000389, 1, 0.0], [1000390, 2, 0.0], [1000391, 3, 1.296559], [1000392, 1, 0.0], [1000393, 1, 0.0], [1000394, 4, 0.0], [1000395, 2, 0.0], [1000396, 1, 0.0], [1000397, 3, -0.390378], [1000398, 4, 0.0], [1000399, 2, 0.0], [1000400, 4, 0.0], [1000401, 2, 0.0], [1000402, 3, -1.012269], [1000403, 1, 0.0], [1000404, 1, 0.0], [1000405, 4, 0.0], [1000406, 1, 0.0], [1000407, 3, 0.30297], [1000408, 1, 0.0], [1000409, 4, 0.0], [1000410, 2, 0.0], [1000411, 3, -1.737076], [1000412, 2, 0.0], [1000413, 3, 0.203016], [1000414, 3, -0.198718], [1000415, 4, 0.0], [1000416, 2, 0.0], [1000417, 3, -0.261745], [1000418, 1, 0.0], [1000419, 3, 1.999778], [1000420, 2, 0.0], [1000421, 3, 0.0503], [1000422, 3, 0.362747], [1000423, 4, 0.0], [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, -1.556672], [1000434, 3, 0.325751], [1000435, 3, -0.208262], [1000436, 3, -3.019006], [1000437, 3, 0.95257], [1000438, 3, 1.21649], [1000439, 4, 0.0], [1000440, 2, 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, -1.343859], [1000450, 4, 0.0], [1000451, 3, -10.370941], [1000452, 3, 0.071698], [1000453, 2, 0.0], [1000454, 2, 0.0], [1000455, 3, 0.32515], [1000456, 1, 0.0], [1000457, 2, 0.0], [1000458, 3, -1.239931], [1000459, 4, 0.0], [1000460, 3, -0.022575], [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, 4.920707], [1000469, 1, 0.0], [1000470, 1, 0.0], [1000471, 3, -0.421833], [1000472, 3, 0.08493], [1000473, 1, 0.0], [1000474, 3, 0.124772], [1000475, 1, 0.0], [1000476, 4, 0.0], [1000477, 2, 0.0], [1000478, 3, 0.468432], [1000479, 4, 0.0], [1000480, 2, 0.0], [1000481, 4, 0.0], [1000482, 3, 0.454024], [1000483, 3, -0.429543], [1000484, 4, 0.0], [1000485, 1, 0.0], [1000486, 1, 0.0], [1000487, 2, 0.0], [1000488, 2, 0.0], [1000489, 4, 0.0], [1000490, 4, 0.0], [1000491, 3, 7.834237], [1000492, 1, 0.0], [1000493, 2, 0.0], [1000494, 1, 0.0], [1000495, 1, 0.0], [1000496, 1, 0.0], [1000497, 3, -0.473476], [1000498, 2, 0.0], [1000499, 3, -0.426119]], "seconds_per_simulation": {"t": 0.93, "candidate": 0.9323}, "notes": "Simulator commit b244530, unmodified, Python 3.12.3, serial in-process, fresh factory per run. 128 seeds had nonzero d; the flip only affects spread-3 rounds."}