{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:36:43.506871460+00:00","status":"failed","tests":36,"discards":0,"time":"236560us","error":null,"tool":"hypothesis","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:36:46.465082562+00:00","status":"failed","tests":34,"discards":0,"time":"144347us","error":null,"tool":"hypothesis","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:36:46.824445450+00:00","status":"failed","tests":48,"discards":0,"time":"203963us","error":null,"tool":"hypothesis","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:36:47.243409630+00:00","status":"failed","tests":38,"discards":0,"time":"151440us","error":null,"tool":"hypothesis","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:36:47.610019854+00:00","status":"failed","tests":40,"discards":0,"time":"300460us","error":null,"tool":"hypothesis","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:36:48.127222241+00:00","status":"failed","tests":41,"discards":0,"time":"182226us","error":null,"tool":"hypothesis","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:36:48.526323691+00:00","status":"failed","tests":40,"discards":0,"time":"161029us","error":null,"tool":"hypothesis","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:36:48.904433337+00:00","status":"failed","tests":43,"discards":0,"time":"250486us","error":null,"tool":"hypothesis","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:36:49.371382036+00:00","status":"failed","tests":39,"discards":0,"time":"154887us","error":null,"tool":"hypothesis","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:36:49.752719007+00:00","status":"failed","tests":35,"discards":0,"time":"173422us","error":null,"tool":"hypothesis","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:36:50.148885519+00:00","status":"failed","tests":101,"discards":0,"time":"10921716us","error":null,"tool":"crosshair","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:37:01.338787907+00:00","status":"failed","tests":108,"discards":0,"time":"10247498us","error":null,"tool":"crosshair","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:37:11.859194168+00:00","status":"failed","tests":106,"discards":0,"time":"10225761us","error":null,"tool":"crosshair","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:37:22.350452808+00:00","status":"failed","tests":105,"discards":0,"time":"10113911us","error":null,"tool":"crosshair","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:37:32.718437936+00:00","status":"failed","tests":105,"discards":0,"time":"10108087us","error":null,"tool":"crosshair","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:37:43.079747087+00:00","status":"failed","tests":104,"discards":0,"time":"10047141us","error":null,"tool":"crosshair","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:37:53.382224979+00:00","status":"failed","tests":102,"discards":0,"time":"10108345us","error":null,"tool":"crosshair","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:38:03.742674820+00:00","status":"failed","tests":99,"discards":0,"time":"10106090us","error":null,"tool":"crosshair","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:38:14.101048890+00:00","status":"failed","tests":105,"discards":0,"time":"10189600us","error":null,"tool":"crosshair","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeReversedHandlesEmpty","mutations":["numeric_range_reversed_empty_edb3346_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:38:24.543800182+00:00","status":"failed","tests":104,"discards":0,"time":"10092888us","error":null,"tool":"crosshair","counterexample":"(0, 0, 1)"},"hash":"745f65eb3abdf68d5c67b2868d97676e3b89c899"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:38:35.199451612+00:00","status":"failed","tests":99,"discards":0,"time":"339404us","error":null,"tool":"hypothesis","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:38:35.783457607+00:00","status":"failed","tests":70,"discards":0,"time":"242366us","error":null,"tool":"hypothesis","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:38:36.246041684+00:00","status":"failed","tests":183,"discards":0,"time":"510621us","error":null,"tool":"hypothesis","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:38:36.991659732+00:00","status":"failed","tests":71,"discards":0,"time":"235679us","error":null,"tool":"hypothesis","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:38:37.444466410+00:00","status":"failed","tests":199,"discards":0,"time":"527998us","error":null,"tool":"hypothesis","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:38:38.207029675+00:00","status":"failed","tests":83,"discards":0,"time":"280616us","error":null,"tool":"hypothesis","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:38:38.709121796+00:00","status":"failed","tests":69,"discards":0,"time":"369504us","error":null,"tool":"hypothesis","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:38:39.315648942+00:00","status":"failed","tests":38,"discards":0,"time":"179757us","error":null,"tool":"hypothesis","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:38:39.710783802+00:00","status":"failed","tests":84,"discards":0,"time":"271058us","error":null,"tool":"hypothesis","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:38:40.201943778+00:00","status":"failed","tests":57,"discards":0,"time":"210696us","error":null,"tool":"hypothesis","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:38:40.628983225+00:00","status":"failed","tests":197,"discards":0,"time":"2180916us","error":null,"tool":"crosshair","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:38:43.069031745+00:00","status":"failed","tests":205,"discards":0,"time":"2174254us","error":null,"tool":"crosshair","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:38:45.503362211+00:00","status":"failed","tests":105,"discards":0,"time":"1885206us","error":null,"tool":"crosshair","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:38:47.630520928+00:00","status":"failed","tests":82,"discards":0,"time":"1759595us","error":null,"tool":"crosshair","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:38:49.629826450+00:00","status":"failed","tests":73,"discards":0,"time":"1755279us","error":null,"tool":"crosshair","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:38:51.623479356+00:00","status":"failed","tests":71,"discards":0,"time":"1738546us","error":null,"tool":"crosshair","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:38:53.602713014+00:00","status":"failed","tests":81,"discards":0,"time":"1798081us","error":null,"tool":"crosshair","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:38:55.640853958+00:00","status":"failed","tests":191,"discards":0,"time":"2129754us","error":null,"tool":"crosshair","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:38:58.031136856+00:00","status":"failed","tests":51,"discards":0,"time":"1669978us","error":null,"tool":"crosshair","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"NumericRangeSliceNegativeStep","mutations":["numeric_range_negative_step_slice_a51da82_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:38:59.936061717+00:00","status":"failed","tests":107,"discards":0,"time":"1903296us","error":null,"tool":"crosshair","counterexample":"(0, 1, 1)"},"hash":"2f03e29b6824e2285c94faded2c28cdb52ff0d07"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:39:02.404056899+00:00","status":"failed","tests":111,"discards":0,"time":"373818us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:39:03.023873663+00:00","status":"failed","tests":110,"discards":0,"time":"395696us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:39:03.642217560+00:00","status":"failed","tests":111,"discards":0,"time":"458155us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:39:04.325798590+00:00","status":"failed","tests":112,"discards":0,"time":"410558us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:39:04.961150145+00:00","status":"failed","tests":110,"discards":0,"time":"452912us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:39:05.636741108+00:00","status":"failed","tests":104,"discards":0,"time":"392220us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:39:06.252368637+00:00","status":"failed","tests":108,"discards":0,"time":"312245us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:39:06.790404671+00:00","status":"failed","tests":108,"discards":0,"time":"306003us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:39:07.320828940+00:00","status":"failed","tests":111,"discards":0,"time":"461391us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:39:08.005565409+00:00","status":"failed","tests":107,"discards":0,"time":"328898us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:39:08.559002145+00:00","status":"failed","tests":115,"discards":0,"time":"1197585us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:39:09.997591702+00:00","status":"failed","tests":116,"discards":0,"time":"1105079us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:39:11.344161562+00:00","status":"failed","tests":114,"discards":0,"time":"1193084us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:39:12.777088815+00:00","status":"failed","tests":116,"discards":0,"time":"1191565us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:39:14.209496083+00:00","status":"failed","tests":115,"discards":0,"time":"1199715us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:39:15.654729476+00:00","status":"failed","tests":112,"discards":0,"time":"1086824us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:39:16.980573306+00:00","status":"failed","tests":115,"discards":0,"time":"1291657us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:39:18.513159319+00:00","status":"failed","tests":115,"discards":0,"time":"1199398us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:39:19.952482853+00:00","status":"failed","tests":116,"discards":0,"time":"1198056us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"LastWithNoneReversed","mutations":["last_reversed_truthy_check_cca3294_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:39:21.389980157+00:00","status":"failed","tests":114,"discards":0,"time":"1287957us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"03cfaa314393c99df16e2e20629870861d7459f1"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:39:23.222483628+00:00","status":"failed","tests":65,"discards":0,"time":"238196us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:39:23.698814340+00:00","status":"failed","tests":74,"discards":0,"time":"226599us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:39:24.144332737+00:00","status":"failed","tests":69,"discards":0,"time":"217105us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:39:24.580482488+00:00","status":"failed","tests":68,"discards":0,"time":"216472us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:39:25.016921154+00:00","status":"failed","tests":66,"discards":0,"time":"211870us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:39:25.447861439+00:00","status":"failed","tests":74,"discards":0,"time":"227447us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:39:25.892642718+00:00","status":"failed","tests":67,"discards":0,"time":"211800us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:39:26.322264971+00:00","status":"failed","tests":72,"discards":0,"time":"222510us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:39:26.761643299+00:00","status":"failed","tests":70,"discards":0,"time":"218776us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:39:27.198087361+00:00","status":"failed","tests":67,"discards":0,"time":"198822us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:39:27.613897802+00:00","status":"failed","tests":77,"discards":0,"time":"692103us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:39:28.547191007+00:00","status":"failed","tests":74,"discards":0,"time":"685148us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:39:29.473265585+00:00","status":"failed","tests":73,"discards":0,"time":"655508us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:39:30.382213308+00:00","status":"failed","tests":72,"discards":0,"time":"677502us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:39:31.294554169+00:00","status":"failed","tests":76,"discards":0,"time":"661581us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:39:32.193172287+00:00","status":"failed","tests":74,"discards":0,"time":"693382us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:39:33.123363053+00:00","status":"failed","tests":75,"discards":0,"time":"660596us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:39:34.019917506+00:00","status":"failed","tests":76,"discards":0,"time":"667411us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:39:34.922200892+00:00","status":"failed","tests":71,"discards":0,"time":"680537us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitBeforeEmptyIterableNoEmpty","mutations":["split_before_empty_buffer_2e81a56_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:39:35.836928805+00:00","status":"failed","tests":76,"discards":0,"time":"693833us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"09007ef349432947d73208adc985b02154d473c8"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:39:37.061319801+00:00","status":"failed","tests":13,"discards":0,"time":"314004us","error":null,"tool":"hypothesis","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:39:37.612761571+00:00","status":"failed","tests":13,"discards":0,"time":"227964us","error":null,"tool":"hypothesis","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:39:38.053604542+00:00","status":"failed","tests":12,"discards":0,"time":"79861us","error":null,"tool":"hypothesis","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:39:38.344829620+00:00","status":"failed","tests":12,"discards":0,"time":"47920us","error":null,"tool":"hypothesis","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:39:38.604657984+00:00","status":"failed","tests":11,"discards":0,"time":"48804us","error":null,"tool":"hypothesis","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:39:38.896580458+00:00","status":"failed","tests":13,"discards":0,"time":"91937us","error":null,"tool":"hypothesis","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:39:39.202863845+00:00","status":"failed","tests":13,"discards":0,"time":"51977us","error":null,"tool":"hypothesis","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:39:39.468720212+00:00","status":"failed","tests":12,"discards":0,"time":"229512us","error":null,"tool":"hypothesis","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:39:39.912418735+00:00","status":"failed","tests":14,"discards":0,"time":"48320us","error":null,"tool":"hypothesis","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:39:40.174458829+00:00","status":"failed","tests":14,"discards":0,"time":"51744us","error":null,"tool":"hypothesis","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:39:40.438859872+00:00","status":"failed","tests":19,"discards":0,"time":"958506us","error":null,"tool":"crosshair","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:39:41.625056758+00:00","status":"failed","tests":19,"discards":0,"time":"969411us","error":null,"tool":"crosshair","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:39:42.824219135+00:00","status":"failed","tests":19,"discards":0,"time":"975357us","error":null,"tool":"crosshair","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:39:44.030636036+00:00","status":"failed","tests":19,"discards":0,"time":"968953us","error":null,"tool":"crosshair","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:39:45.229265127+00:00","status":"failed","tests":19,"discards":0,"time":"964936us","error":null,"tool":"crosshair","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:39:46.422719497+00:00","status":"failed","tests":19,"discards":0,"time":"969621us","error":null,"tool":"crosshair","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:39:47.621347192+00:00","status":"failed","tests":19,"discards":0,"time":"971422us","error":null,"tool":"crosshair","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:39:48.822060285+00:00","status":"failed","tests":19,"discards":0,"time":"1013352us","error":null,"tool":"crosshair","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:39:50.065512556+00:00","status":"failed","tests":19,"discards":0,"time":"964384us","error":null,"tool":"crosshair","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"SplitAfterMaxsplitNoEmpty","mutations":["split_after_maxsplit_empty_9245cd0_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:39:51.257031431+00:00","status":"failed","tests":19,"discards":0,"time":"963333us","error":null,"tool":"crosshair","counterexample":"([0], 0, 1)"},"hash":"b28cec940ab907e2f48751c5bf722447326ac6f4"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:39:52.741050406+00:00","status":"failed","tests":107,"discards":0,"time":"366597us","error":null,"tool":"hypothesis","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:39:53.349686106+00:00","status":"failed","tests":115,"discards":0,"time":"410390us","error":null,"tool":"hypothesis","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:39:53.983850606+00:00","status":"failed","tests":125,"discards":0,"time":"373293us","error":null,"tool":"hypothesis","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:39:54.584156827+00:00","status":"failed","tests":137,"discards":0,"time":"460675us","error":null,"tool":"hypothesis","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:39:55.273099816+00:00","status":"failed","tests":129,"discards":0,"time":"362524us","error":null,"tool":"hypothesis","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:39:55.859890644+00:00","status":"failed","tests":131,"discards":0,"time":"507903us","error":null,"tool":"hypothesis","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:39:56.593354198+00:00","status":"failed","tests":126,"discards":0,"time":"357114us","error":null,"tool":"hypothesis","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:39:57.174738001+00:00","status":"failed","tests":120,"discards":0,"time":"408771us","error":null,"tool":"hypothesis","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:39:57.806288631+00:00","status":"failed","tests":121,"discards":0,"time":"425511us","error":null,"tool":"hypothesis","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:39:58.455946135+00:00","status":"failed","tests":126,"discards":0,"time":"425150us","error":null,"tool":"hypothesis","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:39:59.107701822+00:00","status":"failed","tests":123,"discards":0,"time":"1060264us","error":null,"tool":"crosshair","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:40:00.408318551+00:00","status":"failed","tests":133,"discards":0,"time":"978169us","error":null,"tool":"crosshair","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:40:01.631071052+00:00","status":"failed","tests":119,"discards":0,"time":"886337us","error":null,"tool":"crosshair","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:40:02.756811784+00:00","status":"failed","tests":124,"discards":0,"time":"1030649us","error":null,"tool":"crosshair","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:40:04.028504498+00:00","status":"failed","tests":132,"discards":0,"time":"1071715us","error":null,"tool":"crosshair","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:40:05.342355215+00:00","status":"failed","tests":130,"discards":0,"time":"1045613us","error":null,"tool":"crosshair","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:40:06.627832229+00:00","status":"failed","tests":118,"discards":0,"time":"1011317us","error":null,"tool":"crosshair","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:40:07.878068676+00:00","status":"failed","tests":132,"discards":0,"time":"1050176us","error":null,"tool":"crosshair","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:40:09.170712414+00:00","status":"failed","tests":135,"discards":0,"time":"1064436us","error":null,"tool":"crosshair","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ExactlyNRejectsNegative","mutations":["exactly_n_negative_input_adeda34_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:40:10.476414090+00:00","status":"failed","tests":128,"discards":0,"time":"1026602us","error":null,"tool":"crosshair","counterexample":"([], -2)"},"hash":"4ac9404026e02fa1e9387662b9343aad7eb4bab2"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:40:12.046268669+00:00","status":"failed","tests":15,"discards":0,"time":"321378us","error":null,"tool":"hypothesis","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:40:12.605345248+00:00","status":"failed","tests":17,"discards":0,"time":"52346us","error":null,"tool":"hypothesis","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:40:12.870993825+00:00","status":"failed","tests":22,"discards":0,"time":"104672us","error":null,"tool":"hypothesis","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:40:13.188472094+00:00","status":"failed","tests":23,"discards":0,"time":"118237us","error":null,"tool":"hypothesis","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:40:13.519043829+00:00","status":"failed","tests":18,"discards":0,"time":"52491us","error":null,"tool":"hypothesis","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:40:13.783719393+00:00","status":"failed","tests":14,"discards":0,"time":"43730us","error":null,"tool":"hypothesis","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:40:14.040820639+00:00","status":"failed","tests":18,"discards":0,"time":"94358us","error":null,"tool":"hypothesis","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:40:14.347030995+00:00","status":"failed","tests":16,"discards":0,"time":"48147us","error":null,"tool":"hypothesis","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:40:14.607923437+00:00","status":"failed","tests":17,"discards":0,"time":"51494us","error":null,"tool":"hypothesis","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:40:14.871494784+00:00","status":"failed","tests":20,"discards":0,"time":"100302us","error":null,"tool":"hypothesis","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:40:15.186391772+00:00","status":"failed","tests":17,"discards":0,"time":"648125us","error":null,"tool":"crosshair","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:40:16.065369688+00:00","status":"failed","tests":19,"discards":0,"time":"655153us","error":null,"tool":"crosshair","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:40:16.950675925+00:00","status":"failed","tests":17,"discards":0,"time":"752286us","error":null,"tool":"crosshair","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:40:17.931763755+00:00","status":"failed","tests":20,"discards":0,"time":"658784us","error":null,"tool":"crosshair","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:40:18.820227582+00:00","status":"failed","tests":24,"discards":0,"time":"664674us","error":null,"tool":"crosshair","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:40:19.713777382+00:00","status":"failed","tests":18,"discards":0,"time":"651799us","error":null,"tool":"crosshair","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:40:20.594108100+00:00","status":"failed","tests":19,"discards":0,"time":"652563us","error":null,"tool":"crosshair","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:40:21.475819128+00:00","status":"failed","tests":19,"discards":0,"time":"651099us","error":null,"tool":"crosshair","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:40:22.356168692+00:00","status":"failed","tests":25,"discards":0,"time":"669926us","error":null,"tool":"crosshair","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"IterateStopsOnStopIteration","mutations":["iterate_func_stop_iteration_cd0a3a8_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:40:23.256724170+00:00","status":"failed","tests":18,"discards":0,"time":"650587us","error":null,"tool":"crosshair","counterexample":"(0, 0)"},"hash":"1099a0fd8abf62db8b69d34002255ef14eb4ca87"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:40:24.426470510+00:00","status":"failed","tests":77,"discards":0,"time":"286614us","error":null,"tool":"hypothesis","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:40:24.956760124+00:00","status":"failed","tests":72,"discards":0,"time":"237188us","error":null,"tool":"hypothesis","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:40:25.414201132+00:00","status":"failed","tests":77,"discards":0,"time":"220765us","error":null,"tool":"hypothesis","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:40:25.856783109+00:00","status":"failed","tests":70,"discards":0,"time":"234383us","error":null,"tool":"hypothesis","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:40:26.313654054+00:00","status":"failed","tests":76,"discards":0,"time":"238860us","error":null,"tool":"hypothesis","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:40:26.788381440+00:00","status":"failed","tests":75,"discards":0,"time":"304812us","error":null,"tool":"hypothesis","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:40:27.314603016+00:00","status":"failed","tests":76,"discards":0,"time":"243258us","error":null,"tool":"hypothesis","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:40:27.782840933+00:00","status":"failed","tests":75,"discards":0,"time":"229022us","error":null,"tool":"hypothesis","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:40:28.234046554+00:00","status":"failed","tests":71,"discards":0,"time":"235928us","error":null,"tool":"hypothesis","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"hypothesis","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:40:28.690558349+00:00","status":"failed","tests":78,"discards":0,"time":"236792us","error":null,"tool":"hypothesis","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:40:29.151923213+00:00","status":"failed","tests":82,"discards":0,"time":"971027us","error":null,"tool":"crosshair","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:40:30.371936877+00:00","status":"failed","tests":84,"discards":0,"time":"995969us","error":null,"tool":"crosshair","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:40:31.611248360+00:00","status":"failed","tests":81,"discards":0,"time":"984054us","error":null,"tool":"crosshair","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:40:32.834262786+00:00","status":"failed","tests":80,"discards":0,"time":"948312us","error":null,"tool":"crosshair","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:40:34.021818152+00:00","status":"failed","tests":81,"discards":0,"time":"957100us","error":null,"tool":"crosshair","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:40:35.226679509+00:00","status":"failed","tests":88,"discards":0,"time":"1001114us","error":null,"tool":"crosshair","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:40:36.470820854+00:00","status":"failed","tests":85,"discards":0,"time":"1015477us","error":null,"tool":"crosshair","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:40:37.728859745+00:00","status":"failed","tests":79,"discards":0,"time":"945323us","error":null,"tool":"crosshair","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:40:38.918826885+00:00","status":"failed","tests":78,"discards":0,"time":"940177us","error":null,"tool":"crosshair","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}
{"data":{"experiment":"ci-run","workload":"more-itertools","language":"python","strategy":"crosshair","property":"ProductIndexAcceptsIterator","mutations":["product_index_iterator_input_cf186b5_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:40:40.096535473+00:00","status":"failed","tests":82,"discards":0,"time":"990927us","error":null,"tool":"crosshair","counterexample":"[0, 0, 0]"},"hash":"29caf17fed27dd7fb031e3b4d810fee56e46c558"}