{"key":"cut-s1-off-4","flip":"cut-s1-off","t_sha256":"9fba1eb5659d5b0ac9b7273a968a520ef9a95551c697be22020993005af70192","candidate_sha256":"a23040e3c44b30e8d5d96eb365304bb0ab1d9cb05fc7e6e10d8f6db65eb45523","seeds":{"start":1001500,"end":1001999},"n":500,"complete":true,"blocked":null,"failures":[],"overall":{"n":500,"sum_d":1126.0701542048,"sum_d2":1925961.205451661,"mean_diff":2.2521403084096,"se":2.776529990373597},"by_spread":{"1":{"n":140,"sum_d":1126.0701542048,"sum_d2":1925961.205451661,"mean_diff":8.04335824432,"se":9.924959504250126},"2":{"n":133,"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":99,"sum_d":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0}},"worst":[[1001987,1,-152.276312],[1001752,1,-51.533206],[1001762,1,-14.899657],[1001586,1,-13.077696],[1001618,1,-9.544479]],"best":[[1001661,1,1377.720543],[1001711,1,22.708815],[1001708,1,8.88133],[1001925,1,7.413722],[1001933,1,7.337594]],"per_seed":[[1001500,4,0.0],[1001501,3,0.0],[1001502,4,0.0],[1001503,4,0.0],[1001504,1,-0.154642],[1001505,4,0.0],[1001506,3,0.0],[1001507,2,0.0],[1001508,1,0.0],[1001509,3,0.0],[1001510,4,0.0],[1001511,3,0.0],[1001512,2,0.0],[1001513,1,-1.089994],[1001514,1,-0.023687],[1001515,1,0.0],[1001516,4,0.0],[1001517,2,0.0],[1001518,2,0.0],[1001519,2,0.0],[1001520,1,1.907737],[1001521,1,-2.491204],[1001522,4,0.0],[1001523,4,0.0],[1001524,1,0.055642],[1001525,1,4.445758],[1001526,2,0.0],[1001527,1,-0.906736],[1001528,3,0.0],[1001529,3,0.0],[1001530,2,0.0],[1001531,1,-0.786468],[1001532,1,-2.088796],[1001533,3,0.0],[1001534,4,0.0],[1001535,4,0.0],[1001536,1,-0.167473],[1001537,3,0.0],[1001538,2,0.0],[1001539,2,0.0],[1001540,1,-0.262639],[1001541,2,0.0],[1001542,4,0.0],[1001543,3,0.0],[1001544,4,0.0],[1001545,3,0.0],[1001546,3,0.0],[1001547,1,1.921057],[1001548,1,-7.918202],[1001549,1,-0.099792],[1001550,1,-1.623682],[1001551,1,-0.238972],[1001552,1,0.057775],[1001553,2,0.0],[1001554,3,0.0],[1001555,4,0.0],[1001556,3,0.0],[1001557,3,0.0],[1001558,2,0.0],[1001559,2,0.0],[1001560,1,-7.175616],[1001561,3,0.0],[1001562,1,0.094716],[1001563,3,0.0],[1001564,3,0.0],[1001565,4,0.0],[1001566,3,0.0],[1001567,2,0.0],[1001568,1,0.011689],[1001569,1,0.056468],[1001570,1,-0.279038],[1001571,1,-0.652382],[1001572,3,0.0],[1001573,2,0.0],[1001574,3,0.0],[1001575,4,0.0],[1001576,1,-0.007177],[1001577,3,0.0],[1001578,3,0.0],[1001579,2,0.0],[1001580,4,0.0],[1001581,3,0.0],[1001582,3,0.0],[1001583,1,-8.536362],[1001584,4,0.0],[1001585,2,0.0],[1001586,1,-13.077696],[1001587,1,-1.749373],[1001588,3,0.0],[1001589,4,0.0],[1001590,4,0.0],[1001591,1,0.063959],[1001592,3,0.0],[1001593,2,0.0],[1001594,3,0.0],[1001595,4,0.0],[1001596,1,-0.107985],[1001597,2,0.0],[1001598,1,-0.036928],[1001599,2,0.0],[1001600,4,0.0],[1001601,3,0.0],[1001602,3,0.0],[1001603,1,2.599558],[1001604,2,0.0],[1001605,4,0.0],[1001606,4,0.0],[1001607,3,0.0],[1001608,4,0.0],[1001609,3,0.0],[1001610,4,0.0],[1001611,3,0.0],[1001612,1,2.976393],[1001613,3,0.0],[1001614,4,0.0],[1001615,3,0.0],[1001616,1,-0.173864],[1001617,1,-1.820504],[1001618,1,-9.544479],[1001619,3,0.0],[1001620,2,0.0],[1001621,1,-6.133573],[1001622,3,0.0],[1001623,2,0.0],[1001624,4,0.0],[1001625,1,0.008107],[1001626,3,0.0],[1001627,3,0.0],[1001628,2,0.0],[1001629,1,-3.187413],[1001630,2,0.0],[1001631,3,0.0],[1001632,2,0.0],[1001633,4,0.0],[1001634,2,0.0],[1001635,2,0.0],[1001636,2,0.0],[1001637,4,0.0],[1001638,3,0.0],[1001639,3,0.0],[1001640,2,0.0],[1001641,2,0.0],[1001642,2,0.0],[1001643,3,0.0],[1001644,3,0.0],[1001645,3,0.0],[1001646,4,0.0],[1001647,1,0.007199],[1001648,4,0.0],[1001649,4,0.0],[1001650,2,0.0],[1001651,3,0.0],[1001652,2,0.0],[1001653,1,-0.106752],[1001654,2,0.0],[1001655,1,1.302153],[1001656,4,0.0],[1001657,3,0.0],[1001658,2,0.0],[1001659,4,0.0],[1001660,1,-2.844002],[1001661,1,1377.720543],[1001662,2,0.0],[1001663,4,0.0],[1001664,1,3.99657],[1001665,1,-0.055595],[1001666,1,-2.320505],[1001667,1,0.303419],[1001668,3,0.0],[1001669,4,0.0],[1001670,1,-0.000685],[1001671,4,0.0],[1001672,2,0.0],[1001673,4,0.0],[1001674,2,0.0],[1001675,3,0.0],[1001676,2,0.0],[1001677,2,0.0],[1001678,4,0.0],[1001679,4,0.0],[1001680,3,0.0],[1001681,1,0.280276],[1001682,3,0.0],[1001683,3,0.0],[1001684,1,-4.437091],[1001685,3,0.0],[1001686,1,0.344742],[1001687,4,0.0],[1001688,1,-0.537825],[1001689,2,0.0],[1001690,2,0.0],[1001691,3,0.0],[1001692,3,0.0],[1001693,2,0.0],[1001694,1,-0.058435],[1001695,1,-0.154947],[1001696,4,0.0],[1001697,2,0.0],[1001698,2,0.0],[1001699,3,0.0],[1001700,2,0.0],[1001701,1,0.096544],[1001702,2,0.0],[1001703,3,0.0],[1001704,1,-1.602221],[1001705,1,-0.276679],[1001706,3,0.0],[1001707,1,-0.025463],[1001708,1,8.88133],[1001709,4,0.0],[1001710,1,0.114437],[1001711,1,22.708815],[1001712,3,0.0],[1001713,1,6.217021],[1001714,2,0.0],[1001715,1,-0.074652],[1001716,4,0.0],[1001717,2,0.0],[1001718,2,0.0],[1001719,1,-4.065124],[1001720,2,0.0],[1001721,3,0.0],[1001722,2,0.0],[1001723,3,0.0],[1001724,1,1.226722],[1001725,3,0.0],[1001726,4,0.0],[1001727,1,5.928011],[1001728,2,0.0],[1001729,2,0.0],[1001730,1,2.389517],[1001731,2,0.0],[1001732,4,0.0],[1001733,1,0.292453],[1001734,3,0.0],[1001735,2,0.0],[1001736,2,0.0],[1001737,1,-0.146144],[1001738,3,0.0],[1001739,3,0.0],[1001740,2,0.0],[1001741,4,0.0],[1001742,3,0.0],[1001743,1,-0.045057],[1001744,3,0.0],[1001745,2,0.0],[1001746,4,0.0],[1001747,2,0.0],[1001748,3,0.0],[1001749,1,-0.046959],[1001750,1,-0.78802],[1001751,2,0.0],[1001752,1,-51.533206],[1001753,2,0.0],[1001754,2,0.0],[1001755,3,0.0],[1001756,3,0.0],[1001757,2,0.0],[1001758,1,-0.01526],[1001759,2,0.0],[1001760,2,0.0],[1001761,1,0.154636],[1001762,1,-14.899657],[1001763,1,1.411886],[1001764,2,0.0],[1001765,3,0.0],[1001766,1,-0.308997],[1001767,4,0.0],[1001768,4,0.0],[1001769,2,0.0],[1001770,3,0.0],[1001771,3,0.0],[1001772,4,0.0],[1001773,1,-0.110855],[1001774,2,0.0],[1001775,1,-1.024417],[1001776,2,0.0],[1001777,1,-0.367614],[1001778,3,0.0],[1001779,1,-8.507405],[1001780,2,0.0],[1001781,2,0.0],[1001782,4,0.0],[1001783,3,0.0],[1001784,1,-0.063754],[1001785,1,-1.968378],[1001786,1,5.342861],[1001787,1,0.0],[1001788,3,0.0],[1001789,1,-0.891318],[1001790,3,0.0],[1001791,4,0.0],[1001792,2,0.0],[1001793,2,0.0],[1001794,3,0.0],[1001795,3,0.0],[1001796,1,-0.107577],[1001797,2,0.0],[1001798,3,0.0],[1001799,3,0.0],[1001800,4,0.0],[1001801,2,0.0],[1001802,1,-0.141506],[1001803,4,0.0],[1001804,4,0.0],[1001805,2,0.0],[1001806,2,0.0],[1001807,4,0.0],[1001808,2,0.0],[1001809,2,0.0],[1001810,2,0.0],[1001811,1,-0.262023],[1001812,2,0.0],[1001813,2,0.0],[1001814,3,0.0],[1001815,4,0.0],[1001816,4,0.0],[1001817,2,0.0],[1001818,2,0.0],[1001819,2,0.0],[1001820,1,-0.441915],[1001821,2,0.0],[1001822,2,0.0],[1001823,2,0.0],[1001824,1,-0.018419],[1001825,1,-0.319595],[1001826,4,0.0],[1001827,1,-1.247141],[1001828,4,0.0],[1001829,3,0.0],[1001830,4,0.0],[1001831,4,0.0],[1001832,2,0.0],[1001833,4,0.0],[1001834,1,0.062365],[1001835,3,0.0],[1001836,4,0.0],[1001837,4,0.0],[1001838,1,-0.157974],[1001839,1,0.91965],[1001840,3,0.0],[1001841,3,0.0],[1001842,2,0.0],[1001843,3,0.0],[1001844,4,0.0],[1001845,1,-0.05625],[1001846,4,0.0],[1001847,4,0.0],[1001848,1,0.05647],[1001849,3,0.0],[1001850,2,0.0],[1001851,2,0.0],[1001852,1,0.193494],[1001853,3,0.0],[1001854,3,0.0],[1001855,4,0.0],[1001856,1,0.25615],[1001857,4,0.0],[1001858,3,0.0],[1001859,3,0.0],[1001860,2,0.0],[1001861,4,0.0],[1001862,2,0.0],[1001863,2,0.0],[1001864,1,-0.109156],[1001865,3,0.0],[1001866,3,0.0],[1001867,3,0.0],[1001868,1,1.749783],[1001869,1,1.782623],[1001870,1,0.169186],[1001871,2,0.0],[1001872,1,4.513666],[1001873,3,0.0],[1001874,1,-2.883415],[1001875,1,-8.711989],[1001876,3,0.0],[1001877,1,-0.006465],[1001878,4,0.0],[1001879,4,0.0],[1001880,1,-0.08382],[1001881,2,0.0],[1001882,1,-3.163781],[1001883,1,-1.404023],[1001884,3,0.0],[1001885,2,0.0],[1001886,3,0.0],[1001887,4,0.0],[1001888,2,0.0],[1001889,1,-0.978162],[1001890,2,0.0],[1001891,2,0.0],[1001892,3,0.0],[1001893,1,-1.989994],[1001894,3,0.0],[1001895,3,0.0],[1001896,2,0.0],[1001897,2,0.0],[1001898,2,0.0],[1001899,4,0.0],[1001900,3,0.0],[1001901,4,0.0],[1001902,1,6.346062],[1001903,2,0.0],[1001904,4,0.0],[1001905,4,0.0],[1001906,3,0.0],[1001907,3,0.0],[1001908,1,-4.292934],[1001909,2,0.0],[1001910,3,0.0],[1001911,4,0.0],[1001912,2,0.0],[1001913,3,0.0],[1001914,4,0.0],[1001915,2,0.0],[1001916,2,0.0],[1001917,4,0.0],[1001918,2,0.0],[1001919,2,0.0],[1001920,4,0.0],[1001921,2,0.0],[1001922,3,0.0],[1001923,2,0.0],[1001924,4,0.0],[1001925,1,7.413722],[1001926,1,1.432987],[1001927,4,0.0],[1001928,1,-0.007759],[1001929,2,0.0],[1001930,1,-2.266862],[1001931,1,-0.022085],[1001932,4,0.0],[1001933,1,7.337594],[1001934,3,0.0],[1001935,4,0.0],[1001936,3,0.0],[1001937,4,0.0],[1001938,3,0.0],[1001939,4,0.0],[1001940,2,0.0],[1001941,3,0.0],[1001942,1,0.05128],[1001943,3,0.0],[1001944,3,0.0],[1001945,2,0.0],[1001946,3,0.0],[1001947,4,0.0],[1001948,1,-2.966377],[1001949,1,0.140259],[1001950,4,0.0],[1001951,1,-0.125089],[1001952,1,-0.03794],[1001953,3,0.0],[1001954,4,0.0],[1001955,2,0.0],[1001956,1,0.004824],[1001957,1,-2.28739],[1001958,3,0.0],[1001959,2,0.0],[1001960,2,0.0],[1001961,1,-0.066158],[1001962,2,0.0],[1001963,3,0.0],[1001964,1,-0.390464],[1001965,2,0.0],[1001966,3,0.0],[1001967,3,0.0],[1001968,4,0.0],[1001969,2,0.0],[1001970,1,-0.257253],[1001971,4,0.0],[1001972,2,0.0],[1001973,4,0.0],[1001974,3,0.0],[1001975,2,0.0],[1001976,3,0.0],[1001977,1,2.029081],[1001978,1,-0.064372],[1001979,2,0.0],[1001980,2,0.0],[1001981,1,-6.257664],[1001982,2,0.0],[1001983,2,0.0],[1001984,3,0.0],[1001985,3,0.0],[1001986,2,0.0],[1001987,1,-152.276312],[1001988,1,-0.293475],[1001989,3,0.0],[1001990,2,0.0],[1001991,4,0.0],[1001992,3,0.0],[1001993,4,0.0],[1001994,3,0.0],[1001995,3,0.0],[1001996,4,0.0],[1001997,3,0.0],[1001998,4,0.0],[1001999,2,0.0]],"seconds_per_simulation":{"t":0.2475952403181582,"candidate":0.24710275678138716},"notes":["Simulator commit b244530ee2a6247b5f930830eeca9dd950da0e7e, unmodified; Python 3.14.4. Serial in-process; T then CANDIDATE for each seed; fresh load_strategy_factory each run.","Statistics use unrounded paired differences; per_seed, worst and best differences rounded to 6 decimals. Timing includes factory loading and engine execution. No sandbox or workers."]}