{"key": "postjump-s1-off-2", "flip": "postjump-s1-off", "t_sha256": "9fba1eb5659d5b0ac9b7273a968a520ef9a95551c697be22020993005af70192", "candidate_sha256": "2c6a11153bd7fe78483ce92f832c27fb9c727e210223fe22c9549c18c1306bac", "seeds": {"start": 1000500, "end": 1000999}, "n": 500, "complete": true, "blocked": null, "failures": [], "overall": {"n": 500, "sum_d": 11.40955, "sum_d2": 87.357847, "mean_diff": 0.022819, "se": 0.018684}, "by_spread": {"1": {"n": 120, "sum_d": 11.40955, "sum_d2": 87.357847, "mean_diff": 0.09508, "se": 0.077727}, "2": {"n": 122, "sum_d": 0.0, "sum_d2": 0.0, "mean_diff": 0.0, "se": 0.0}, "3": {"n": 140, "sum_d": 0.0, "sum_d2": 0.0, "mean_diff": 0.0, "se": 0.0}, "4": {"n": 118, "sum_d": 0.0, "sum_d2": 0.0, "mean_diff": 0.0, "se": 0.0}}, "worst": [[1000519, 1, -2.689337], [1000907, 1, -2.127329], [1000647, 1, -0.757613], [1000666, 1, -0.595553], [1000807, 1, -0.572648]], "best": [[1000703, 1, 5.505131], [1000538, 1, 5.097177], [1000596, 1, 3.171002], [1000537, 1, 2.354757], [1000998, 1, 1.267384]], "per_seed": [[1000500, 2, 0.0], [1000501, 4, 0.0], [1000502, 2, 0.0], [1000503, 4, 0.0], [1000504, 1, 0.022887], [1000505, 3, 0.0], [1000506, 2, 0.0], [1000507, 4, 0.0], [1000508, 4, 0.0], [1000509, 1, 0.025756], [1000510, 3, 0.0], [1000511, 3, 0.0], [1000512, 3, 0.0], [1000513, 1, 0.046523], [1000514, 2, 0.0], [1000515, 1, -0.008951], [1000516, 2, 0.0], [1000517, 4, 0.0], [1000518, 3, 0.0], [1000519, 1, -2.689337], [1000520, 2, 0.0], [1000521, 1, 0.027203], [1000522, 2, 0.0], [1000523, 3, 0.0], [1000524, 3, 0.0], [1000525, 3, 0.0], [1000526, 4, 0.0], [1000527, 4, 0.0], [1000528, 3, 0.0], [1000529, 3, 0.0], [1000530, 2, 0.0], [1000531, 3, 0.0], [1000532, 2, 0.0], [1000533, 1, -0.011512], [1000534, 4, 0.0], [1000535, 4, 0.0], [1000536, 2, 0.0], [1000537, 1, 2.354757], [1000538, 1, 5.097177], [1000539, 4, 0.0], [1000540, 3, 0.0], [1000541, 1, -0.041505], [1000542, 4, 0.0], [1000543, 3, 0.0], [1000544, 1, -0.0258], [1000545, 2, 0.0], [1000546, 4, 0.0], [1000547, 1, -0.000155], [1000548, 4, 0.0], [1000549, 3, 0.0], [1000550, 2, 0.0], [1000551, 2, 0.0], [1000552, 1, -3.9e-05], [1000553, 3, 0.0], [1000554, 1, 0.070646], [1000555, 4, 0.0], [1000556, 1, -0.058333], [1000557, 4, 0.0], [1000558, 1, -0.007813], [1000559, 4, 0.0], [1000560, 3, 0.0], [1000561, 1, 0.012928], [1000562, 2, 0.0], [1000563, 2, 0.0], [1000564, 2, 0.0], [1000565, 1, 0.112791], [1000566, 4, 0.0], [1000567, 4, 0.0], [1000568, 1, -0.012928], [1000569, 1, -0.072106], [1000570, 3, 0.0], [1000571, 1, -0.009318], [1000572, 4, 0.0], [1000573, 2, 0.0], [1000574, 2, 0.0], [1000575, 2, 0.0], [1000576, 2, 0.0], [1000577, 3, 0.0], [1000578, 1, -0.024517], [1000579, 1, 0.143693], [1000580, 2, 0.0], [1000581, 2, 0.0], [1000582, 1, 0.022586], [1000583, 1, 0.458717], [1000584, 3, 0.0], [1000585, 4, 0.0], [1000586, 1, -0.02506], [1000587, 4, 0.0], [1000588, 1, -0.0033], [1000589, 4, 0.0], [1000590, 3, 0.0], [1000591, 3, 0.0], [1000592, 2, 0.0], [1000593, 2, 0.0], [1000594, 2, 0.0], [1000595, 4, 0.0], [1000596, 1, 3.171002], [1000597, 2, 0.0], [1000598, 3, 0.0], [1000599, 3, 0.0], [1000600, 4, 0.0], [1000601, 3, 0.0], [1000602, 2, 0.0], [1000603, 1, 0.032306], [1000604, 3, 0.0], [1000605, 3, 0.0], [1000606, 4, 0.0], [1000607, 1, 0.022002], [1000608, 1, -0.03195], [1000609, 1, -0.248743], [1000610, 1, -0.000621], [1000611, 4, 0.0], [1000612, 1, 0.19565], [1000613, 1, 0.000756], [1000614, 2, 0.0], [1000615, 3, 0.0], [1000616, 2, 0.0], [1000617, 1, -0.005379], [1000618, 1, 0.008005], [1000619, 3, 0.0], [1000620, 2, 0.0], [1000621, 2, 0.0], [1000622, 2, 0.0], [1000623, 4, 0.0], [1000624, 4, 0.0], [1000625, 1, 0.011113], [1000626, 4, 0.0], [1000627, 3, 0.0], [1000628, 4, 0.0], [1000629, 2, 0.0], [1000630, 4, 0.0], [1000631, 1, -0.022546], [1000632, 4, 0.0], [1000633, 1, -0.031751], [1000634, 1, 0.001995], [1000635, 1, 0.005134], [1000636, 4, 0.0], [1000637, 4, 0.0], [1000638, 2, 0.0], [1000639, 1, 0.02839], [1000640, 4, 0.0], [1000641, 4, 0.0], [1000642, 2, 0.0], [1000643, 3, 0.0], [1000644, 3, 0.0], [1000645, 1, 0.024013], [1000646, 2, 0.0], [1000647, 1, -0.757613], [1000648, 2, 0.0], [1000649, 3, 0.0], [1000650, 4, 0.0], [1000651, 4, 0.0], [1000652, 3, 0.0], [1000653, 3, 0.0], [1000654, 2, 0.0], [1000655, 4, 0.0], [1000656, 1, -0.01604], [1000657, 2, 0.0], [1000658, 1, -0.002237], [1000659, 3, 0.0], [1000660, 1, 0.202556], [1000661, 1, 0.024598], [1000662, 2, 0.0], [1000663, 2, 0.0], [1000664, 2, 0.0], [1000665, 4, 0.0], [1000666, 1, -0.595553], [1000667, 4, 0.0], [1000668, 2, 0.0], [1000669, 4, 0.0], [1000670, 2, 0.0], [1000671, 3, 0.0], [1000672, 1, -0.024981], [1000673, 2, 0.0], [1000674, 2, 0.0], [1000675, 2, 0.0], [1000676, 4, 0.0], [1000677, 2, 0.0], [1000678, 3, 0.0], [1000679, 3, 0.0], [1000680, 1, 0.104272], [1000681, 3, 0.0], [1000682, 3, 0.0], [1000683, 4, 0.0], [1000684, 3, 0.0], [1000685, 4, 0.0], [1000686, 1, 0.133795], [1000687, 1, -0.003398], [1000688, 3, 0.0], [1000689, 2, 0.0], [1000690, 2, 0.0], [1000691, 2, 0.0], [1000692, 1, -0.001613], [1000693, 4, 0.0], [1000694, 3, 0.0], [1000695, 1, 0.006475], [1000696, 3, 0.0], [1000697, 1, 0.02741], [1000698, 3, 0.0], [1000699, 4, 0.0], [1000700, 4, 0.0], [1000701, 2, 0.0], [1000702, 1, 0.01967], [1000703, 1, 5.505131], [1000704, 1, 0.071599], [1000705, 4, 0.0], [1000706, 2, 0.0], [1000707, 3, 0.0], [1000708, 3, 0.0], [1000709, 1, -0.000311], [1000710, 4, 0.0], [1000711, 4, 0.0], [1000712, 4, 0.0], [1000713, 3, 0.0], [1000714, 3, 0.0], [1000715, 1, 0.35357], [1000716, 1, -0.043312], [1000717, 1, -0.061983], [1000718, 4, 0.0], [1000719, 3, 0.0], [1000720, 3, 0.0], [1000721, 3, 0.0], [1000722, 3, 0.0], [1000723, 3, 0.0], [1000724, 3, 0.0], [1000725, 4, 0.0], [1000726, 2, 0.0], [1000727, 2, 0.0], [1000728, 2, 0.0], [1000729, 4, 0.0], [1000730, 2, 0.0], [1000731, 3, 0.0], [1000732, 1, 0.033395], [1000733, 2, 0.0], [1000734, 3, 0.0], [1000735, 1, 0.012396], [1000736, 2, 0.0], [1000737, 3, 0.0], [1000738, 3, 0.0], [1000739, 3, 0.0], [1000740, 4, 0.0], [1000741, 3, 0.0], [1000742, 2, 0.0], [1000743, 2, 0.0], [1000744, 4, 0.0], [1000745, 3, 0.0], [1000746, 4, 0.0], [1000747, 2, 0.0], [1000748, 1, -0.019474], [1000749, 3, 0.0], [1000750, 4, 0.0], [1000751, 2, 0.0], [1000752, 1, 0.010624], [1000753, 3, 0.0], [1000754, 3, 0.0], [1000755, 3, 0.0], [1000756, 2, 0.0], [1000757, 3, 0.0], [1000758, 2, 0.0], [1000759, 3, 0.0], [1000760, 4, 0.0], [1000761, 4, 0.0], [1000762, 3, 0.0], [1000763, 3, 0.0], [1000764, 2, 0.0], [1000765, 3, 0.0], [1000766, 3, 0.0], [1000767, 4, 0.0], [1000768, 3, 0.0], [1000769, 3, 0.0], [1000770, 1, 7.8e-05], [1000771, 4, 0.0], [1000772, 3, 0.0], [1000773, 3, 0.0], [1000774, 4, 0.0], [1000775, 3, 0.0], [1000776, 3, 0.0], [1000777, 4, 0.0], [1000778, 3, 0.0], [1000779, 4, 0.0], [1000780, 2, 0.0], [1000781, 3, 0.0], [1000782, 4, 0.0], [1000783, 3, 0.0], [1000784, 1, 0.080519], [1000785, 2, 0.0], [1000786, 4, 0.0], [1000787, 2, 0.0], [1000788, 3, 0.0], [1000789, 3, 0.0], [1000790, 2, 0.0], [1000791, 3, 0.0], [1000792, 2, 0.0], [1000793, 4, 0.0], [1000794, 2, 0.0], [1000795, 1, 0.01817], [1000796, 2, 0.0], [1000797, 1, -0.026733], [1000798, 1, -0.010569], [1000799, 1, -0.253213], [1000800, 3, 0.0], [1000801, 1, -0.001713], [1000802, 1, -0.084883], [1000803, 4, 0.0], [1000804, 4, 0.0], [1000805, 4, 0.0], [1000806, 1, -0.028611], [1000807, 1, -0.572648], [1000808, 4, 0.0], [1000809, 1, -0.002628], [1000810, 3, 0.0], [1000811, 3, 0.0], [1000812, 3, 0.0], [1000813, 4, 0.0], [1000814, 3, 0.0], [1000815, 1, 0.011455], [1000816, 2, 0.0], [1000817, 3, 0.0], [1000818, 2, 0.0], [1000819, 4, 0.0], [1000820, 4, 0.0], [1000821, 4, 0.0], [1000822, 4, 0.0], [1000823, 2, 0.0], [1000824, 3, 0.0], [1000825, 4, 0.0], [1000826, 2, 0.0], [1000827, 4, 0.0], [1000828, 4, 0.0], [1000829, 1, -0.002979], [1000830, 2, 0.0], [1000831, 4, 0.0], [1000832, 3, 0.0], [1000833, 2, 0.0], [1000834, 4, 0.0], [1000835, 3, 0.0], [1000836, 2, 0.0], [1000837, 1, -0.00659], [1000838, 2, 0.0], [1000839, 1, 0.007258], [1000840, 2, 0.0], [1000841, 4, 0.0], [1000842, 4, 0.0], [1000843, 4, 0.0], [1000844, 3, 0.0], [1000845, 2, 0.0], [1000846, 1, -0.015833], [1000847, 1, 0.053972], [1000848, 1, -0.009645], [1000849, 2, 0.0], [1000850, 2, 0.0], [1000851, 3, 0.0], [1000852, 1, -0.004273], [1000853, 3, 0.0], [1000854, 2, 0.0], [1000855, 1, 0.106656], [1000856, 3, 0.0], [1000857, 3, 0.0], [1000858, 3, 0.0], [1000859, 1, -0.00235], [1000860, 3, 0.0], [1000861, 3, 0.0], [1000862, 4, 0.0], [1000863, 1, -0.021473], [1000864, 4, 0.0], [1000865, 3, 0.0], [1000866, 3, 0.0], [1000867, 3, 0.0], [1000868, 3, 0.0], [1000869, 1, -0.001811], [1000870, 1, -0.022242], [1000871, 2, 0.0], [1000872, 4, 0.0], [1000873, 3, 0.0], [1000874, 4, 0.0], [1000875, 2, 0.0], [1000876, 2, 0.0], [1000877, 2, 0.0], [1000878, 1, -0.022512], [1000879, 3, 0.0], [1000880, 2, 0.0], [1000881, 4, 0.0], [1000882, 1, -0.374322], [1000883, 3, 0.0], [1000884, 2, 0.0], [1000885, 3, 0.0], [1000886, 1, -0.027006], [1000887, 2, 0.0], [1000888, 4, 0.0], [1000889, 2, 0.0], [1000890, 2, 0.0], [1000891, 4, 0.0], [1000892, 3, 0.0], [1000893, 3, 0.0], [1000894, 1, -0.027218], [1000895, 2, 0.0], [1000896, 4, 0.0], [1000897, 3, 0.0], [1000898, 4, 0.0], [1000899, 4, 0.0], [1000900, 4, 0.0], [1000901, 4, 0.0], [1000902, 2, 0.0], [1000903, 4, 0.0], [1000904, 1, -0.002811], [1000905, 2, 0.0], [1000906, 1, -0.016667], [1000907, 1, -2.127329], [1000908, 4, 0.0], [1000909, 2, 0.0], [1000910, 3, 0.0], [1000911, 2, 0.0], [1000912, 2, 0.0], [1000913, 3, 0.0], [1000914, 1, -0.151548], [1000915, 4, 0.0], [1000916, 4, 0.0], [1000917, 1, 0.011118], [1000918, 3, 0.0], [1000919, 1, 0.008455], [1000920, 4, 0.0], [1000921, 4, 0.0], [1000922, 1, 0.001308], [1000923, 1, -0.015191], [1000924, 1, -0.005105], [1000925, 4, 0.0], [1000926, 1, -0.011795], [1000927, 3, 0.0], [1000928, 2, 0.0], [1000929, 1, -0.001741], [1000930, 2, 0.0], [1000931, 3, 0.0], [1000932, 1, -0.000655], [1000933, 1, 0.023221], [1000934, 2, 0.0], [1000935, 4, 0.0], [1000936, 3, 0.0], [1000937, 3, 0.0], [1000938, 2, 0.0], [1000939, 2, 0.0], [1000940, 4, 0.0], [1000941, 3, 0.0], [1000942, 4, 0.0], [1000943, 3, 0.0], [1000944, 3, 0.0], [1000945, 2, 0.0], [1000946, 1, 0.034982], [1000947, 3, 0.0], [1000948, 4, 0.0], [1000949, 3, 0.0], [1000950, 4, 0.0], [1000951, 2, 0.0], [1000952, 4, 0.0], [1000953, 2, 0.0], [1000954, 3, 0.0], [1000955, 2, 0.0], [1000956, 4, 0.0], [1000957, 2, 0.0], [1000958, 3, 0.0], [1000959, 4, 0.0], [1000960, 1, 0.026564], [1000961, 2, 0.0], [1000962, 4, 0.0], [1000963, 1, -0.018568], [1000964, 2, 0.0], [1000965, 2, 0.0], [1000966, 3, 0.0], [1000967, 4, 0.0], [1000968, 3, 0.0], [1000969, 3, 0.0], [1000970, 2, 0.0], [1000971, 1, 0.032863], [1000972, 2, 0.0], [1000973, 4, 0.0], [1000974, 1, 0.004103], [1000975, 3, 0.0], [1000976, 2, 0.0], [1000977, 3, 0.0], [1000978, 3, 0.0], [1000979, 3, 0.0], [1000980, 3, 0.0], [1000981, 2, 0.0], [1000982, 2, 0.0], [1000983, 3, 0.0], [1000984, 4, 0.0], [1000985, 2, 0.0], [1000986, 3, 0.0], [1000987, 3, 0.0], [1000988, 3, 0.0], [1000989, 1, -0.003347], [1000990, 2, 0.0], [1000991, 2, 0.0], [1000992, 1, -1e-06], [1000993, 1, 0.034631], [1000994, 3, 0.0], [1000995, 4, 0.0], [1000996, 3, 0.0], [1000997, 1, 0.007592], [1000998, 1, 1.267384], [1000999, 1, 0.009889]], "seconds_per_simulation": {"t": 0.9437, "candidate": 0.9469}, "notes": "Simulator b244530 unmodified, Python 3.12.3, serial in-process. Both hashes verified. 120 of 500 seeds have nonzero d; as expected the flip only affects spread-1 seeds."}