{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:35:15.628781496+00:00","status":"failed","tests":108,"discards":0,"time":"490673us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:35:17.302806606+00:00","status":"failed","tests":105,"discards":0,"time":"527578us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:35:18.072093316+00:00","status":"failed","tests":109,"discards":0,"time":"542035us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:35:18.858294957+00:00","status":"failed","tests":108,"discards":0,"time":"480061us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:35:19.585665190+00:00","status":"failed","tests":106,"discards":0,"time":"469824us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:35:20.304488794+00:00","status":"failed","tests":107,"discards":0,"time":"469103us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:35:21.012512647+00:00","status":"failed","tests":103,"discards":0,"time":"533232us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:35:21.798497156+00:00","status":"failed","tests":105,"discards":0,"time":"521671us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:35:22.561462177+00:00","status":"failed","tests":109,"discards":0,"time":"542260us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:35:23.349301386+00:00","status":"failed","tests":108,"discards":0,"time":"537625us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:35:24.126672533+00:00","status":"failed","tests":113,"discards":0,"time":"1927076us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:35:26.315481543+00:00","status":"failed","tests":113,"discards":0,"time":"1395353us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:35:27.973425132+00:00","status":"failed","tests":112,"discards":0,"time":"1280237us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:35:29.510711123+00:00","status":"failed","tests":114,"discards":0,"time":"1392413us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:35:31.170512539+00:00","status":"failed","tests":107,"discards":0,"time":"1273889us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:35:32.700056232+00:00","status":"failed","tests":115,"discards":0,"time":"1172261us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:35:34.133783244+00:00","status":"failed","tests":112,"discards":0,"time":"1277858us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:35:35.671863705+00:00","status":"failed","tests":111,"discards":0,"time":"1303219us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:35:37.244372788+00:00","status":"failed","tests":113,"discards":0,"time":"1292373us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BarrelListSortPreservesElements","mutations":["barrellist_sort_drops_lists_b8855d7_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:35:38.795788784+00:00","status":"failed","tests":112,"discards":0,"time":"1384447us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"a3bbe94112fffa57cc8527bc59bb3740f589ede1"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:35:40.723522063+00:00","status":"failed","tests":171,"discards":0,"time":"1109490us","error":null,"tool":"hypothesis","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:35:42.102771047+00:00","status":"failed","tests":178,"discards":0,"time":"938771us","error":null,"tool":"hypothesis","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:35:43.297515717+00:00","status":"failed","tests":176,"discards":0,"time":"825104us","error":null,"tool":"hypothesis","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:35:44.371835752+00:00","status":"failed","tests":183,"discards":0,"time":"940907us","error":null,"tool":"hypothesis","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:35:45.567775890+00:00","status":"failed","tests":171,"discards":0,"time":"943053us","error":null,"tool":"hypothesis","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:35:46.761219058+00:00","status":"failed","tests":175,"discards":0,"time":"981033us","error":null,"tool":"hypothesis","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:35:48.007106902+00:00","status":"failed","tests":178,"discards":0,"time":"985661us","error":null,"tool":"hypothesis","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:35:49.251813182+00:00","status":"failed","tests":175,"discards":0,"time":"809844us","error":null,"tool":"hypothesis","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:35:50.321735317+00:00","status":"failed","tests":178,"discards":0,"time":"843942us","error":null,"tool":"hypothesis","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:35:51.423193873+00:00","status":"failed","tests":177,"discards":0,"time":"822132us","error":null,"tool":"hypothesis","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:35:52.505272806+00:00","status":"failed","tests":190,"discards":0,"time":"6382931us","error":null,"tool":"crosshair","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:35:59.173646563+00:00","status":"failed","tests":190,"discards":0,"time":"6418358us","error":null,"tool":"crosshair","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:36:05.875964571+00:00","status":"failed","tests":179,"discards":0,"time":"6314337us","error":null,"tool":"crosshair","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:36:12.489509645+00:00","status":"failed","tests":191,"discards":0,"time":"6495013us","error":null,"tool":"crosshair","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:36:19.278033601+00:00","status":"failed","tests":184,"discards":0,"time":"6274376us","error":null,"tool":"crosshair","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:36:25.837540675+00:00","status":"failed","tests":178,"discards":0,"time":"6410334us","error":null,"tool":"crosshair","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:36:32.547409079+00:00","status":"failed","tests":185,"discards":0,"time":"6418010us","error":null,"tool":"crosshair","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:36:39.261870460+00:00","status":"failed","tests":173,"discards":0,"time":"6273396us","error":null,"tool":"crosshair","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:36:45.825464881+00:00","status":"failed","tests":194,"discards":0,"time":"6417254us","error":null,"tool":"crosshair","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"TableToTextColumnsAlign","mutations":["table_to_text_row_widths_0c88f25_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:36:52.531032723+00:00","status":"failed","tests":188,"discards":0,"time":"6284584us","error":null,"tool":"crosshair","counterexample":"[('', '')]"},"hash":"efc6124ef59a22a456464bf220e451c133e4332b"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:36:59.383732956+00:00","status":"failed","tests":85,"discards":0,"time":"259872us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:36:59.889928520+00:00","status":"failed","tests":89,"discards":0,"time":"263717us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:37:00.389275396+00:00","status":"failed","tests":86,"discards":0,"time":"231243us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:37:00.855830011+00:00","status":"failed","tests":84,"discards":0,"time":"257216us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:37:01.351598975+00:00","status":"failed","tests":82,"discards":0,"time":"242268us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:37:01.834768613+00:00","status":"failed","tests":83,"discards":0,"time":"259930us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:37:02.335936818+00:00","status":"failed","tests":86,"discards":0,"time":"258576us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:37:02.832813068+00:00","status":"failed","tests":80,"discards":0,"time":"249161us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:37:03.327179795+00:00","status":"failed","tests":87,"discards":0,"time":"263484us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:37:03.826652120+00:00","status":"failed","tests":81,"discards":0,"time":"239731us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:37:04.301066788+00:00","status":"failed","tests":87,"discards":0,"time":"776550us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:37:05.331839334+00:00","status":"failed","tests":87,"discards":0,"time":"781716us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:37:06.375067495+00:00","status":"failed","tests":93,"discards":0,"time":"798641us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:37:07.436213700+00:00","status":"failed","tests":87,"discards":0,"time":"787744us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:37:08.488630903+00:00","status":"failed","tests":89,"discards":0,"time":"826999us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:37:09.572480636+00:00","status":"failed","tests":93,"discards":0,"time":"801347us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:37:10.634809747+00:00","status":"failed","tests":86,"discards":0,"time":"788175us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:37:11.678001970+00:00","status":"failed","tests":91,"discards":0,"time":"818581us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:37:12.754467759+00:00","status":"failed","tests":85,"discards":0,"time":"807251us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OneToOneUpdateEmptyOk","mutations":["onetoone_update_unbound_keys_vals_6cac49c_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:37:13.820184216+00:00","status":"failed","tests":91,"discards":0,"time":"824137us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7a699d270f6d5fc1517c3a9290c88d10098bec2a"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:37:15.170861676+00:00","status":"failed","tests":28,"discards":0,"time":"97531us","error":null,"tool":"hypothesis","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:37:15.501174218+00:00","status":"failed","tests":38,"discards":0,"time":"116988us","error":null,"tool":"hypothesis","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:37:15.843817873+00:00","status":"failed","tests":13,"discards":0,"time":"89929us","error":null,"tool":"hypothesis","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:37:16.161714120+00:00","status":"failed","tests":15,"discards":0,"time":"45249us","error":null,"tool":"hypothesis","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:37:16.433153945+00:00","status":"failed","tests":29,"discards":0,"time":"98976us","error":null,"tool":"hypothesis","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:37:16.755872423+00:00","status":"failed","tests":42,"discards":0,"time":"116221us","error":null,"tool":"hypothesis","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:37:17.099835540+00:00","status":"failed","tests":44,"discards":0,"time":"111207us","error":null,"tool":"hypothesis","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:37:17.440402191+00:00","status":"failed","tests":32,"discards":0,"time":"59226us","error":null,"tool":"hypothesis","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:37:17.730632671+00:00","status":"failed","tests":16,"discards":0,"time":"246145us","error":null,"tool":"hypothesis","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:37:18.202609209+00:00","status":"failed","tests":16,"discards":0,"time":"85060us","error":null,"tool":"hypothesis","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:37:18.516940279+00:00","status":"failed","tests":18,"discards":0,"time":"909030us","error":null,"tool":"crosshair","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:37:19.680702985+00:00","status":"failed","tests":18,"discards":0,"time":"897156us","error":null,"tool":"crosshair","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:37:20.823576548+00:00","status":"failed","tests":18,"discards":0,"time":"895784us","error":null,"tool":"crosshair","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:37:21.965822687+00:00","status":"failed","tests":18,"discards":0,"time":"917830us","error":null,"tool":"crosshair","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:37:23.137781556+00:00","status":"failed","tests":18,"discards":0,"time":"923774us","error":null,"tool":"crosshair","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:37:24.317287473+00:00","status":"failed","tests":18,"discards":0,"time":"892163us","error":null,"tool":"crosshair","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:37:25.457631978+00:00","status":"failed","tests":18,"discards":0,"time":"895871us","error":null,"tool":"crosshair","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:37:26.598987994+00:00","status":"failed","tests":18,"discards":0,"time":"898596us","error":null,"tool":"crosshair","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:37:27.744067388+00:00","status":"failed","tests":18,"discards":0,"time":"898216us","error":null,"tool":"crosshair","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"BitsAsListLengthMatches","mutations":["bits_as_list_truncates_zero_pad_40a7b47_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:37:28.886261963+00:00","status":"failed","tests":18,"discards":0,"time":"891988us","error":null,"tool":"crosshair","counterexample":"(0, 2)"},"hash":"9242ba0af22e16b466e718e86d9b5fc00b87732d"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:37:30.306686541+00:00","status":"failed","tests":103,"discards":0,"time":"286430us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:37:30.838900813+00:00","status":"failed","tests":105,"discards":0,"time":"283206us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:37:31.362760433+00:00","status":"failed","tests":105,"discards":0,"time":"284730us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:37:31.889113966+00:00","status":"failed","tests":104,"discards":0,"time":"283315us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:37:32.413635080+00:00","status":"failed","tests":101,"discards":0,"time":"294031us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:37:32.960016371+00:00","status":"failed","tests":103,"discards":0,"time":"285561us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:37:33.497652615+00:00","status":"failed","tests":100,"discards":0,"time":"279858us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:37:34.018856644+00:00","status":"failed","tests":104,"discards":0,"time":"286816us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:37:34.548728590+00:00","status":"failed","tests":98,"discards":0,"time":"263978us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:37:35.056941712+00:00","status":"failed","tests":102,"discards":0,"time":"291946us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:37:35.595947861+00:00","status":"failed","tests":99,"discards":0,"time":"12232275us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:37:48.092264520+00:00","status":"failed","tests":100,"discards":0,"time":"12234792us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:38:00.586379220+00:00","status":"failed","tests":98,"discards":0,"time":"12266704us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:38:13.119370729+00:00","status":"failed","tests":103,"discards":0,"time":"12296766us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:38:25.684083232+00:00","status":"failed","tests":103,"discards":0,"time":"12252852us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:38:38.195404240+00:00","status":"failed","tests":101,"discards":0,"time":"12256461us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:38:50.715798801+00:00","status":"failed","tests":95,"discards":0,"time":"12256658us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:39:03.235519747+00:00","status":"failed","tests":103,"discards":0,"time":"12316224us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:39:15.810395292+00:00","status":"failed","tests":101,"discards":0,"time":"12245590us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeSameStartStopTerminates","mutations":["daterange_inclusive_same_start_stop_93185b2_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:39:28.318115422+00:00","status":"failed","tests":94,"discards":0,"time":"12195402us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7f4da5edde420f5c25bd091cb3f6fc531220c3a4"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:39:41.059403296+00:00","status":"failed","tests":212,"discards":0,"time":"1345207us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:39:42.691071766+00:00","status":"failed","tests":440,"discards":0,"time":"2108132us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:39:45.122838538+00:00","status":"failed","tests":241,"discards":0,"time":"1380498us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:39:46.777550755+00:00","status":"failed","tests":291,"discards":0,"time":"1621871us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:39:48.680140171+00:00","status":"failed","tests":233,"discards":0,"time":"1352274us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:39:50.300043982+00:00","status":"failed","tests":240,"discards":0,"time":"1451503us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:39:52.021409762+00:00","status":"failed","tests":111,"discards":0,"time":"916885us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:39:53.186256218+00:00","status":"failed","tests":209,"discards":0,"time":"1223524us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:39:54.687285975+00:00","status":"failed","tests":221,"discards":0,"time":"1324226us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:39:56.279350544+00:00","status":"failed","tests":206,"discards":0,"time":"1215977us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:39:57.759647746+00:00","status":"failed","tests":236,"discards":0,"time":"12849913us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:40:10.903406033+00:00","status":"failed","tests":386,"discards":0,"time":"13905784us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:40:25.137382644+00:00","status":"failed","tests":234,"discards":0,"time":"12740845us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:40:38.177367369+00:00","status":"failed","tests":204,"discards":0,"time":"12426093us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:40:50.898809484+00:00","status":"failed","tests":238,"discards":0,"time":"12661306us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:41:03.861139097+00:00","status":"failed","tests":218,"discards":0,"time":"12461508us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:41:16.618956122+00:00","status":"failed","tests":221,"discards":0,"time":"13162229us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:41:30.073973936+00:00","status":"failed","tests":193,"discards":0,"time":"12514788us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:41:42.877227833+00:00","status":"failed","tests":288,"discards":0,"time":"13058013us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"IndexedSetIndexAfterRemovals","mutations":["indexed_set_index_ignores_dead_4457dec_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:41:56.249245150+00:00","status":"failed","tests":179,"discards":0,"time":"12273877us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])"},"hash":"7b1c848b13d082d9a9dd002c43d9bc2daae07835"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:42:09.076241450+00:00","status":"failed","tests":13,"discards":0,"time":"43371us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:42:09.362759811+00:00","status":"failed","tests":13,"discards":0,"time":"44644us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:42:09.643661847+00:00","status":"failed","tests":13,"discards":0,"time":"108277us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:42:09.986102437+00:00","status":"failed","tests":13,"discards":0,"time":"43852us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:42:10.265190173+00:00","status":"failed","tests":13,"discards":0,"time":"95936us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:42:10.595574109+00:00","status":"failed","tests":13,"discards":0,"time":"44192us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:42:10.873352370+00:00","status":"failed","tests":13,"discards":0,"time":"44923us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:42:11.153285245+00:00","status":"failed","tests":13,"discards":0,"time":"97592us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:42:11.485502861+00:00","status":"failed","tests":13,"discards":0,"time":"43724us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:42:11.756560632+00:00","status":"failed","tests":13,"discards":0,"time":"109187us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:42:12.093331327+00:00","status":"failed","tests":19,"discards":0,"time":"433426us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:42:12.774227432+00:00","status":"failed","tests":18,"discards":0,"time":"433430us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:42:13.451989474+00:00","status":"failed","tests":18,"discards":0,"time":"419214us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:42:14.116805749+00:00","status":"failed","tests":18,"discards":0,"time":"436114us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:42:14.794112238+00:00","status":"failed","tests":19,"discards":0,"time":"433588us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:42:15.475037660+00:00","status":"failed","tests":18,"discards":0,"time":"439511us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:42:16.159410122+00:00","status":"failed","tests":18,"discards":0,"time":"439344us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:42:16.846743072+00:00","status":"failed","tests":19,"discards":0,"time":"408500us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:42:17.507659167+00:00","status":"failed","tests":18,"discards":0,"time":"439342us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"SingularizeSensesIsSense","mutations":["singularize_senses_to_sens_d056712_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:42:18.194512662+00:00","status":"failed","tests":18,"discards":0,"time":"438739us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:42:19.151909202+00:00","status":"failed","tests":78,"discards":0,"time":"262311us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:42:19.660650110+00:00","status":"failed","tests":79,"discards":0,"time":"235877us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:42:20.128265994+00:00","status":"failed","tests":82,"discards":0,"time":"226305us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:42:20.594307644+00:00","status":"failed","tests":76,"discards":0,"time":"229229us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:42:21.060981974+00:00","status":"failed","tests":82,"discards":0,"time":"239549us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:42:21.539212256+00:00","status":"failed","tests":76,"discards":0,"time":"225477us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:42:22.002806353+00:00","status":"failed","tests":90,"discards":0,"time":"266610us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:42:22.503963852+00:00","status":"failed","tests":84,"discards":0,"time":"243283us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:42:22.980382138+00:00","status":"failed","tests":82,"discards":0,"time":"253252us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:42:23.470027849+00:00","status":"failed","tests":81,"discards":0,"time":"249884us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:42:23.953614260+00:00","status":"failed","tests":93,"discards":0,"time":"1207284us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:42:25.424648147+00:00","status":"failed","tests":100,"discards":0,"time":"1197354us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:42:26.891587149+00:00","status":"failed","tests":89,"discards":0,"time":"1173714us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:42:28.318645225+00:00","status":"failed","tests":88,"discards":0,"time":"1154065us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:42:29.726542100+00:00","status":"failed","tests":92,"discards":0,"time":"1154881us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:42:31.137603240+00:00","status":"failed","tests":86,"discards":0,"time":"1137876us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:42:32.527686798+00:00","status":"failed","tests":100,"discards":0,"time":"1197016us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:42:33.988566404+00:00","status":"failed","tests":97,"discards":0,"time":"1191923us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:42:35.442130274+00:00","status":"failed","tests":94,"discards":0,"time":"1165093us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdSetdefaultReturnsStored","mutations":["omd_setdefault_returns_default_b1df971_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:42:36.871893265+00:00","status":"failed","tests":88,"discards":0,"time":"1170055us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"46fe3f90b9104f2ff13f594e4c417b216c6c1084"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:42:38.588113933+00:00","status":"failed","tests":101,"discards":0,"time":"290945us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:42:39.126323883+00:00","status":"failed","tests":105,"discards":0,"time":"298196us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:42:39.662743140+00:00","status":"failed","tests":98,"discards":0,"time":"281352us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:42:40.181572890+00:00","status":"failed","tests":104,"discards":0,"time":"282508us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:42:40.708018568+00:00","status":"failed","tests":104,"discards":0,"time":"281301us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:42:41.229248659+00:00","status":"failed","tests":104,"discards":0,"time":"294659us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:42:41.761943895+00:00","status":"failed","tests":97,"discards":0,"time":"279809us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:42:42.280203843+00:00","status":"failed","tests":100,"discards":0,"time":"274245us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:42:42.788990558+00:00","status":"failed","tests":106,"discards":0,"time":"281418us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:42:43.307081314+00:00","status":"failed","tests":102,"discards":0,"time":"278309us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:42:43.818005282+00:00","status":"failed","tests":107,"discards":0,"time":"1479330us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:42:45.561224281+00:00","status":"failed","tests":108,"discards":0,"time":"1482379us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:42:47.307602841+00:00","status":"failed","tests":107,"discards":0,"time":"1489340us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:42:49.062471230+00:00","status":"failed","tests":107,"discards":0,"time":"1516227us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:42:50.847881734+00:00","status":"failed","tests":106,"discards":0,"time":"1477522us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:42:52.583138408+00:00","status":"failed","tests":105,"discards":0,"time":"1507070us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:42:54.351046636+00:00","status":"failed","tests":110,"discards":0,"time":"1507439us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:42:56.119775049+00:00","status":"failed","tests":106,"discards":0,"time":"1502650us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:42:57.880639916+00:00","status":"failed","tests":108,"discards":0,"time":"1521095us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"DaterangeInfiniteIterates","mutations":["daterange_finished_arity_mismatch_139d5dc_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:42:59.666013680+00:00","status":"failed","tests":107,"discards":0,"time":"1523853us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c3cea1802a86809b700174e9e7cae58d9cd34620"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:43:01.724640775+00:00","status":"failed","tests":105,"discards":0,"time":"289331us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:43:02.260587445+00:00","status":"failed","tests":110,"discards":0,"time":"297076us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:43:02.793339916+00:00","status":"failed","tests":112,"discards":0,"time":"308278us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:43:03.342572398+00:00","status":"failed","tests":107,"discards":0,"time":"281746us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:43:03.863552338+00:00","status":"failed","tests":109,"discards":0,"time":"301418us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:43:04.404073615+00:00","status":"failed","tests":111,"discards":0,"time":"290568us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:43:04.933605178+00:00","status":"failed","tests":107,"discards":0,"time":"279731us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:43:05.449727434+00:00","status":"failed","tests":111,"discards":0,"time":"290511us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:43:05.986964054+00:00","status":"failed","tests":111,"discards":0,"time":"303556us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:43:06.532122842+00:00","status":"failed","tests":111,"discards":0,"time":"302799us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:43:07.078904418+00:00","status":"failed","tests":112,"discards":0,"time":"926286us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:43:08.289138961+00:00","status":"failed","tests":111,"discards":0,"time":"911964us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:43:09.492200155+00:00","status":"failed","tests":107,"discards":0,"time":"887344us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:43:10.647720483+00:00","status":"failed","tests":114,"discards":0,"time":"937087us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:43:11.866408845+00:00","status":"failed","tests":114,"discards":0,"time":"910707us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:43:13.051608326+00:00","status":"failed","tests":110,"discards":0,"time":"928147us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:43:14.251319455+00:00","status":"failed","tests":109,"discards":0,"time":"905757us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:43:15.422700835+00:00","status":"failed","tests":110,"discards":0,"time":"900680us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:43:16.592151093+00:00","status":"failed","tests":112,"discards":0,"time":"912731us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"Bytes2HumanIsRepeatable","mutations":["bytes2human_size_ranges_consumed_0082e13_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:43:17.781643016+00:00","status":"failed","tests":111,"discards":0,"time":"946527us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"6e6c8d6faee6717c3d624f7c6b369b038968bed8"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:43:19.291476678+00:00","status":"failed","tests":11,"discards":0,"time":"131173us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:43:19.664600496+00:00","status":"failed","tests":12,"discards":0,"time":"48296us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:43:19.939458114+00:00","status":"failed","tests":11,"discards":0,"time":"88301us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:43:20.257661833+00:00","status":"failed","tests":12,"discards":0,"time":"49765us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:43:20.535316983+00:00","status":"failed","tests":10,"discards":0,"time":"45747us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:43:20.805236864+00:00","status":"failed","tests":12,"discards":0,"time":"192371us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:43:21.229815403+00:00","status":"failed","tests":11,"discards":0,"time":"47776us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:43:21.507994358+00:00","status":"failed","tests":10,"discards":0,"time":"46323us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:43:21.782850480+00:00","status":"failed","tests":10,"discards":0,"time":"101052us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:43:22.112767392+00:00","status":"failed","tests":11,"discards":0,"time":"48348us","error":null,"tool":"hypothesis","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:43:22.390229988+00:00","status":"failed","tests":15,"discards":0,"time":"446836us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:43:23.103275849+00:00","status":"failed","tests":15,"discards":0,"time":"440683us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:43:23.788824168+00:00","status":"failed","tests":15,"discards":0,"time":"441695us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:43:24.483350391+00:00","status":"failed","tests":15,"discards":0,"time":"431839us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:43:25.157138716+00:00","status":"failed","tests":15,"discards":0,"time":"443241us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:43:25.846220177+00:00","status":"failed","tests":15,"discards":0,"time":"439451us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:43:26.531553384+00:00","status":"failed","tests":15,"discards":0,"time":"438060us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:43:27.213808354+00:00","status":"failed","tests":15,"discards":0,"time":"446094us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:43:27.907877321+00:00","status":"failed","tests":15,"discards":0,"time":"446185us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"RemapPreservesSet","mutations":["remap_set_passes_pairs_to_update_f74b7e5_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:43:28.595669289+00:00","status":"failed","tests":15,"discards":0,"time":"438799us","error":null,"tool":"crosshair","counterexample":"[0]"},"hash":"d2e4a84bf6efab19c102bf96902619db58995d25"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:43:29.559264512+00:00","status":"failed","tests":110,"discards":0,"time":"563026us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:43:30.379836537+00:00","status":"failed","tests":109,"discards":0,"time":"524996us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:43:31.165209100+00:00","status":"failed","tests":108,"discards":0,"time":"362154us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:43:31.790426478+00:00","status":"failed","tests":107,"discards":0,"time":"504827us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:43:32.543768682+00:00","status":"failed","tests":107,"discards":0,"time":"516746us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:43:33.307914121+00:00","status":"failed","tests":106,"discards":0,"time":"367447us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:43:33.918495195+00:00","status":"failed","tests":107,"discards":0,"time":"508557us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:43:34.671880067+00:00","status":"failed","tests":108,"discards":0,"time":"460155us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:43:35.383134636+00:00","status":"failed","tests":109,"discards":0,"time":"517691us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:43:36.147892936+00:00","status":"failed","tests":108,"discards":0,"time":"359950us","error":null,"tool":"hypothesis","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:43:36.761179475+00:00","status":"failed","tests":110,"discards":0,"time":"1291299us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:43:38.322311764+00:00","status":"failed","tests":115,"discards":0,"time":"1296495us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:43:39.884379880+00:00","status":"failed","tests":112,"discards":0,"time":"1182779us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:43:41.336876793+00:00","status":"failed","tests":110,"discards":0,"time":"1289019us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:43:42.885776762+00:00","status":"failed","tests":109,"discards":0,"time":"1261405us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:43:44.404083228+00:00","status":"failed","tests":115,"discards":0,"time":"1394654us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:43:46.057507880+00:00","status":"failed","tests":113,"discards":0,"time":"1290394us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:43:47.610320368+00:00","status":"failed","tests":114,"discards":0,"time":"1295959us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:43:49.178514282+00:00","status":"failed","tests":114,"discards":0,"time":"1301661us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"OmdEqHandlesNonIterable","mutations":["omd_eq_raises_on_non_iterable_31873ae_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:43:50.746718182+00:00","status":"failed","tests":113,"discards":0,"time":"1190265us","error":null,"tool":"crosshair","counterexample":"([], 0)"},"hash":"4eb5566eaef9a9026fde725db2b09e70fa1b5732"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:43:52.477016495+00:00","status":"failed","tests":67,"discards":0,"time":"228730us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:43:52.959696131+00:00","status":"failed","tests":68,"discards":0,"time":"231898us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:43:53.433537331+00:00","status":"failed","tests":68,"discards":0,"time":"222245us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:43:53.890192071+00:00","status":"failed","tests":72,"discards":0,"time":"231276us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:43:54.361877772+00:00","status":"failed","tests":68,"discards":0,"time":"234395us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:43:54.832853413+00:00","status":"failed","tests":70,"discards":0,"time":"210528us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:43:55.273709549+00:00","status":"failed","tests":66,"discards":0,"time":"218289us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:43:55.725965535+00:00","status":"failed","tests":68,"discards":0,"time":"238096us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:43:56.213694290+00:00","status":"failed","tests":62,"discards":0,"time":"214731us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:43:56.675385339+00:00","status":"failed","tests":72,"discards":0,"time":"245889us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:43:57.173201723+00:00","status":"failed","tests":73,"discards":0,"time":"847495us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:43:58.289535247+00:00","status":"failed","tests":72,"discards":0,"time":"826107us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:43:59.382278551+00:00","status":"failed","tests":70,"discards":0,"time":"824428us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:44:00.469684814+00:00","status":"failed","tests":82,"discards":0,"time":"813339us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:44:01.541602761+00:00","status":"failed","tests":75,"discards":0,"time":"840124us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:44:02.641830484+00:00","status":"failed","tests":72,"discards":0,"time":"815040us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:44:03.710641154+00:00","status":"failed","tests":79,"discards":0,"time":"794203us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:44:04.762025381+00:00","status":"failed","tests":76,"discards":0,"time":"812272us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:44:05.825402435+00:00","status":"failed","tests":78,"discards":0,"time":"792065us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"StatsQuantileEmptyReturnsDefault","mutations":["stats_quantile_empty_raises_a13bfb1_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:44:06.870751409+00:00","status":"failed","tests":79,"discards":0,"time":"810439us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"c21d920beb4b1f840ec309ee8c5404cbaf4472ee"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:44:08.210101374+00:00","status":"failed","tests":108,"discards":0,"time":"315242us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:44:08.784865440+00:00","status":"failed","tests":105,"discards":0,"time":"286556us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:44:09.320804388+00:00","status":"failed","tests":102,"discards":0,"time":"280634us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:44:09.854684186+00:00","status":"failed","tests":99,"discards":0,"time":"284683us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:44:10.386768101+00:00","status":"failed","tests":104,"discards":0,"time":"279982us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:44:10.910823081+00:00","status":"failed","tests":100,"discards":0,"time":"273585us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:44:11.431709469+00:00","status":"failed","tests":106,"discards":0,"time":"300445us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:44:11.980662172+00:00","status":"failed","tests":105,"discards":0,"time":"287561us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:44:12.529167141+00:00","status":"failed","tests":104,"discards":0,"time":"299577us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"hypothesis","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:44:13.091198094+00:00","status":"failed","tests":104,"discards":0,"time":"310977us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:44:13.677091582+00:00","status":"failed","tests":110,"discards":0,"time":"1010194us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:44:14.957566833+00:00","status":"failed","tests":111,"discards":0,"time":"1043953us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:44:16.274554156+00:00","status":"failed","tests":108,"discards":0,"time":"1011105us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:44:17.553055745+00:00","status":"failed","tests":109,"discards":0,"time":"1000185us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:44:18.818058001+00:00","status":"failed","tests":104,"discards":0,"time":"979319us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:44:20.054369100+00:00","status":"failed","tests":107,"discards":0,"time":"1016195us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:44:21.343857301+00:00","status":"failed","tests":114,"discards":0,"time":"1040489us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:44:22.651345125+00:00","status":"failed","tests":110,"discards":0,"time":"1005687us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:44:23.915137538+00:00","status":"failed","tests":108,"discards":0,"time":"1011676us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}
{"data":{"experiment":"ci-run","workload":"boltons","language":"python","strategy":"crosshair","property":"LruReprFieldOrder","mutations":["lru_repr_swaps_max_size_on_miss_bad95b6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:44:25.189153700+00:00","status":"failed","tests":112,"discards":0,"time":"1024979us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"7f2185c43d75449b03f36650b2f8b68a52c70fc6"}