{"key":"cut-s2-on-4","flip":"cut-s2-on","t_sha256":"9fba1eb5659d5b0ac9b7273a968a520ef9a95551c697be22020993005af70192","candidate_sha256":"e1dd5b9bb7d4434c95c92d6879c7edb3a05e33b442959c0dc2b536b033c28c6e","seeds":{"start":1001500,"end":1001999},"n":500,"complete":true,"blocked":null,"failures":[],"overall":{"n":500,"sum_d":242.026981,"sum_d2":8405.293729,"mean_diff":0.4840539626511998,"se":0.18226079236006035},"by_spread":{"1":{"n":140,"sum_d":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0},"2":{"n":133,"sum_d":242.026981,"sum_d2":8405.293729,"mean_diff":1.819751739290225,"se":0.673560197409734},"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":[[1001745,2,-22.375372],[1001757,2,-8.672412],[1001628,2,-6.206061],[1001728,2,-4.786904],[1001823,2,-3.377072]],"best":[[1001915,2,76.016845],[1001597,2,26.098301],[1001672,2,19.404199],[1001623,2,14.582532],[1001842,2,9.24986]],"per_seed":[[1001500,4,0.0],[1001501,3,0.0],[1001502,4,0.0],[1001503,4,0.0],[1001504,1,0.0],[1001505,4,0.0],[1001506,3,0.0],[1001507,2,2.301198],[1001508,1,0.0],[1001509,3,0.0],[1001510,4,0.0],[1001511,3,0.0],[1001512,2,1.570917],[1001513,1,0.0],[1001514,1,0.0],[1001515,1,0.0],[1001516,4,0.0],[1001517,2,-0.544884],[1001518,2,-0.11154],[1001519,2,0.178071],[1001520,1,0.0],[1001521,1,0.0],[1001522,4,0.0],[1001523,4,0.0],[1001524,1,0.0],[1001525,1,0.0],[1001526,2,-0.045597],[1001527,1,0.0],[1001528,3,0.0],[1001529,3,0.0],[1001530,2,-0.364545],[1001531,1,0.0],[1001532,1,0.0],[1001533,3,0.0],[1001534,4,0.0],[1001535,4,0.0],[1001536,1,0.0],[1001537,3,0.0],[1001538,2,1.976898],[1001539,2,1.420412],[1001540,1,0.0],[1001541,2,0.112497],[1001542,4,0.0],[1001543,3,0.0],[1001544,4,0.0],[1001545,3,0.0],[1001546,3,0.0],[1001547,1,0.0],[1001548,1,0.0],[1001549,1,0.0],[1001550,1,0.0],[1001551,1,0.0],[1001552,1,0.0],[1001553,2,-0.011898],[1001554,3,0.0],[1001555,4,0.0],[1001556,3,0.0],[1001557,3,0.0],[1001558,2,-0.34347],[1001559,2,-0.779776],[1001560,1,0.0],[1001561,3,0.0],[1001562,1,0.0],[1001563,3,0.0],[1001564,3,0.0],[1001565,4,0.0],[1001566,3,0.0],[1001567,2,0.206991],[1001568,1,0.0],[1001569,1,0.0],[1001570,1,0.0],[1001571,1,0.0],[1001572,3,0.0],[1001573,2,0.746841],[1001574,3,0.0],[1001575,4,0.0],[1001576,1,0.0],[1001577,3,0.0],[1001578,3,0.0],[1001579,2,-0.027998],[1001580,4,0.0],[1001581,3,0.0],[1001582,3,0.0],[1001583,1,0.0],[1001584,4,0.0],[1001585,2,0.600559],[1001586,1,0.0],[1001587,1,0.0],[1001588,3,0.0],[1001589,4,0.0],[1001590,4,0.0],[1001591,1,0.0],[1001592,3,0.0],[1001593,2,1.917302],[1001594,3,0.0],[1001595,4,0.0],[1001596,1,0.0],[1001597,2,26.098301],[1001598,1,0.0],[1001599,2,-0.047279],[1001600,4,0.0],[1001601,3,0.0],[1001602,3,0.0],[1001603,1,0.0],[1001604,2,-1.023151],[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,0.0],[1001613,3,0.0],[1001614,4,0.0],[1001615,3,0.0],[1001616,1,0.0],[1001617,1,0.0],[1001618,1,0.0],[1001619,3,0.0],[1001620,2,0.475501],[1001621,1,0.0],[1001622,3,0.0],[1001623,2,14.582532],[1001624,4,0.0],[1001625,1,0.0],[1001626,3,0.0],[1001627,3,0.0],[1001628,2,-6.206061],[1001629,1,0.0],[1001630,2,-0.196531],[1001631,3,0.0],[1001632,2,0.01381],[1001633,4,0.0],[1001634,2,1.531566],[1001635,2,2.230252],[1001636,2,0.843448],[1001637,4,0.0],[1001638,3,0.0],[1001639,3,0.0],[1001640,2,1.191527],[1001641,2,-0.681019],[1001642,2,-1.590051],[1001643,3,0.0],[1001644,3,0.0],[1001645,3,0.0],[1001646,4,0.0],[1001647,1,0.0],[1001648,4,0.0],[1001649,4,0.0],[1001650,2,1.150865],[1001651,3,0.0],[1001652,2,0.372244],[1001653,1,0.0],[1001654,2,-3.185579],[1001655,1,0.0],[1001656,4,0.0],[1001657,3,0.0],[1001658,2,0.782767],[1001659,4,0.0],[1001660,1,0.0],[1001661,1,0.0],[1001662,2,-0.38521],[1001663,4,0.0],[1001664,1,0.0],[1001665,1,0.0],[1001666,1,0.0],[1001667,1,0.0],[1001668,3,0.0],[1001669,4,0.0],[1001670,1,0.0],[1001671,4,0.0],[1001672,2,19.404199],[1001673,4,0.0],[1001674,2,4.2603],[1001675,3,0.0],[1001676,2,1.203522],[1001677,2,0.952362],[1001678,4,0.0],[1001679,4,0.0],[1001680,3,0.0],[1001681,1,0.0],[1001682,3,0.0],[1001683,3,0.0],[1001684,1,0.0],[1001685,3,0.0],[1001686,1,0.0],[1001687,4,0.0],[1001688,1,0.0],[1001689,2,3.439345],[1001690,2,1.599594],[1001691,3,0.0],[1001692,3,0.0],[1001693,2,3.125892],[1001694,1,0.0],[1001695,1,0.0],[1001696,4,0.0],[1001697,2,0.502002],[1001698,2,0.273938],[1001699,3,0.0],[1001700,2,1.256309],[1001701,1,0.0],[1001702,2,1.912995],[1001703,3,0.0],[1001704,1,0.0],[1001705,1,0.0],[1001706,3,0.0],[1001707,1,0.0],[1001708,1,0.0],[1001709,4,0.0],[1001710,1,0.0],[1001711,1,0.0],[1001712,3,0.0],[1001713,1,0.0],[1001714,2,0.245199],[1001715,1,0.0],[1001716,4,0.0],[1001717,2,2.177244],[1001718,2,1.278913],[1001719,1,0.0],[1001720,2,5.744233],[1001721,3,0.0],[1001722,2,-0.06304],[1001723,3,0.0],[1001724,1,0.0],[1001725,3,0.0],[1001726,4,0.0],[1001727,1,0.0],[1001728,2,-4.786904],[1001729,2,4.484007],[1001730,1,0.0],[1001731,2,1.936587],[1001732,4,0.0],[1001733,1,0.0],[1001734,3,0.0],[1001735,2,0.416414],[1001736,2,2.80849],[1001737,1,0.0],[1001738,3,0.0],[1001739,3,0.0],[1001740,2,8.197944],[1001741,4,0.0],[1001742,3,0.0],[1001743,1,0.0],[1001744,3,0.0],[1001745,2,-22.375372],[1001746,4,0.0],[1001747,2,3.8071],[1001748,3,0.0],[1001749,1,0.0],[1001750,1,0.0],[1001751,2,0.704925],[1001752,1,0.0],[1001753,2,1.752334],[1001754,2,-1.865641],[1001755,3,0.0],[1001756,3,0.0],[1001757,2,-8.672412],[1001758,1,0.0],[1001759,2,2.04707],[1001760,2,0.215543],[1001761,1,0.0],[1001762,1,0.0],[1001763,1,0.0],[1001764,2,0.344715],[1001765,3,0.0],[1001766,1,0.0],[1001767,4,0.0],[1001768,4,0.0],[1001769,2,-1.282278],[1001770,3,0.0],[1001771,3,0.0],[1001772,4,0.0],[1001773,1,0.0],[1001774,2,1.528753],[1001775,1,0.0],[1001776,2,2.860661],[1001777,1,0.0],[1001778,3,0.0],[1001779,1,0.0],[1001780,2,-0.375603],[1001781,2,0.802316],[1001782,4,0.0],[1001783,3,0.0],[1001784,1,0.0],[1001785,1,0.0],[1001786,1,0.0],[1001787,1,0.0],[1001788,3,0.0],[1001789,1,0.0],[1001790,3,0.0],[1001791,4,0.0],[1001792,2,0.278192],[1001793,2,1.574136],[1001794,3,0.0],[1001795,3,0.0],[1001796,1,0.0],[1001797,2,1.230457],[1001798,3,0.0],[1001799,3,0.0],[1001800,4,0.0],[1001801,2,3.509064],[1001802,1,0.0],[1001803,4,0.0],[1001804,4,0.0],[1001805,2,0.754699],[1001806,2,0.340781],[1001807,4,0.0],[1001808,2,9.074284],[1001809,2,0.672484],[1001810,2,-0.74082],[1001811,1,0.0],[1001812,2,-0.095725],[1001813,2,2.909162],[1001814,3,0.0],[1001815,4,0.0],[1001816,4,0.0],[1001817,2,1.548534],[1001818,2,-1.657691],[1001819,2,0.138561],[1001820,1,0.0],[1001821,2,0.042528],[1001822,2,-1.440704],[1001823,2,-3.377072],[1001824,1,0.0],[1001825,1,0.0],[1001826,4,0.0],[1001827,1,0.0],[1001828,4,0.0],[1001829,3,0.0],[1001830,4,0.0],[1001831,4,0.0],[1001832,2,0.824013],[1001833,4,0.0],[1001834,1,0.0],[1001835,3,0.0],[1001836,4,0.0],[1001837,4,0.0],[1001838,1,0.0],[1001839,1,0.0],[1001840,3,0.0],[1001841,3,0.0],[1001842,2,9.24986],[1001843,3,0.0],[1001844,4,0.0],[1001845,1,0.0],[1001846,4,0.0],[1001847,4,0.0],[1001848,1,0.0],[1001849,3,0.0],[1001850,2,1.377333],[1001851,2,0.946881],[1001852,1,0.0],[1001853,3,0.0],[1001854,3,0.0],[1001855,4,0.0],[1001856,1,0.0],[1001857,4,0.0],[1001858,3,0.0],[1001859,3,0.0],[1001860,2,0.756598],[1001861,4,0.0],[1001862,2,6.265997],[1001863,2,1.361926],[1001864,1,0.0],[1001865,3,0.0],[1001866,3,0.0],[1001867,3,0.0],[1001868,1,0.0],[1001869,1,0.0],[1001870,1,0.0],[1001871,2,0.932517],[1001872,1,0.0],[1001873,3,0.0],[1001874,1,0.0],[1001875,1,0.0],[1001876,3,0.0],[1001877,1,0.0],[1001878,4,0.0],[1001879,4,0.0],[1001880,1,0.0],[1001881,2,1.265034],[1001882,1,0.0],[1001883,1,0.0],[1001884,3,0.0],[1001885,2,2.523054],[1001886,3,0.0],[1001887,4,0.0],[1001888,2,1.72124],[1001889,1,0.0],[1001890,2,2.810079],[1001891,2,1.58877],[1001892,3,0.0],[1001893,1,0.0],[1001894,3,0.0],[1001895,3,0.0],[1001896,2,-0.704796],[1001897,2,0.402578],[1001898,2,1.494104],[1001899,4,0.0],[1001900,3,0.0],[1001901,4,0.0],[1001902,1,0.0],[1001903,2,2.786504],[1001904,4,0.0],[1001905,4,0.0],[1001906,3,0.0],[1001907,3,0.0],[1001908,1,0.0],[1001909,2,6.156698],[1001910,3,0.0],[1001911,4,0.0],[1001912,2,0.5604],[1001913,3,0.0],[1001914,4,0.0],[1001915,2,76.016845],[1001916,2,0.573175],[1001917,4,0.0],[1001918,2,-0.622157],[1001919,2,-1.015931],[1001920,4,0.0],[1001921,2,-1.146344],[1001922,3,0.0],[1001923,2,1.388356],[1001924,4,0.0],[1001925,1,0.0],[1001926,1,0.0],[1001927,4,0.0],[1001928,1,0.0],[1001929,2,-1.440553],[1001930,1,0.0],[1001931,1,0.0],[1001932,4,0.0],[1001933,1,0.0],[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,2.408438],[1001941,3,0.0],[1001942,1,0.0],[1001943,3,0.0],[1001944,3,0.0],[1001945,2,4.434731],[1001946,3,0.0],[1001947,4,0.0],[1001948,1,0.0],[1001949,1,0.0],[1001950,4,0.0],[1001951,1,0.0],[1001952,1,0.0],[1001953,3,0.0],[1001954,4,0.0],[1001955,2,-0.466481],[1001956,1,0.0],[1001957,1,0.0],[1001958,3,0.0],[1001959,2,-2.59875],[1001960,2,2.378562],[1001961,1,0.0],[1001962,2,1.529396],[1001963,3,0.0],[1001964,1,0.0],[1001965,2,0.839596],[1001966,3,0.0],[1001967,3,0.0],[1001968,4,0.0],[1001969,2,0.20997],[1001970,1,0.0],[1001971,4,0.0],[1001972,2,1.670391],[1001973,4,0.0],[1001974,3,0.0],[1001975,2,0.263617],[1001976,3,0.0],[1001977,1,0.0],[1001978,1,0.0],[1001979,2,6.183696],[1001980,2,0.826563],[1001981,1,0.0],[1001982,2,1.202056],[1001983,2,3.108688],[1001984,3,0.0],[1001985,3,0.0],[1001986,2,-0.576941],[1001987,1,0.0],[1001988,1,0.0],[1001989,3,0.0],[1001990,2,3.503094],[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,1.655737]],"seconds_per_simulation":{"t":0.6380295405387878,"candidate":0.6374622688293458},"notes":"Serial in-process, simulator at b244530, Python 3.12; run in two chunks (1001500-1001970, 1001971-1001999) because of a tool timeout; T and candidate hashes verified."}