{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.641708940+00:00","status":"failed","tests":141,"discards":0,"time":"457us","error":null,"tool":"proptest","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.643523769+00:00","status":"failed","tests":142,"discards":0,"time":"429us","error":null,"tool":"proptest","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.645052998+00:00","status":"failed","tests":233,"discards":0,"time":"795us","error":null,"tool":"proptest","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.646920394+00:00","status":"failed","tests":195,"discards":0,"time":"574us","error":null,"tool":"proptest","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.648586704+00:00","status":"failed","tests":178,"discards":0,"time":"568us","error":null,"tool":"proptest","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.650221188+00:00","status":"failed","tests":133,"discards":0,"time":"420us","error":null,"tool":"proptest","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.651655767+00:00","status":"failed","tests":219,"discards":0,"time":"763us","error":null,"tool":"proptest","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.653541160+00:00","status":"failed","tests":76,"discards":0,"time":"227us","error":null,"tool":"proptest","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.654782485+00:00","status":"failed","tests":92,"discards":0,"time":"252us","error":null,"tool":"proptest","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.656106442+00:00","status":"failed","tests":94,"discards":0,"time":"194us","error":null,"tool":"proptest","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.657444940+00:00","status":"passed","tests":2000,"discards":0,"time":"1225us","error":null,"tool":"quickcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.659686847+00:00","status":"passed","tests":2000,"discards":0,"time":"1224us","error":null,"tool":"quickcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.661961702+00:00","status":"passed","tests":2000,"discards":0,"time":"1263us","error":null,"tool":"quickcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.664236848+00:00","status":"passed","tests":2000,"discards":0,"time":"1191us","error":null,"tool":"quickcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.666458729+00:00","status":"passed","tests":2000,"discards":0,"time":"1198us","error":null,"tool":"quickcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.668648024+00:00","status":"passed","tests":2000,"discards":0,"time":"1163us","error":null,"tool":"quickcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.670838630+00:00","status":"passed","tests":2000,"discards":0,"time":"1147us","error":null,"tool":"quickcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.673012172+00:00","status":"passed","tests":2000,"discards":0,"time":"1225us","error":null,"tool":"quickcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.675230979+00:00","status":"passed","tests":2000,"discards":0,"time":"1167us","error":null,"tool":"quickcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.677417109+00:00","status":"passed","tests":2000,"discards":0,"time":"1255us","error":null,"tool":"quickcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.679805166+00:00","status":"passed","tests":2000,"discards":0,"time":"139us","error":null,"tool":"crabcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.680951517+00:00","status":"passed","tests":2000,"discards":0,"time":"139us","error":null,"tool":"crabcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.682092249+00:00","status":"passed","tests":2000,"discards":0,"time":"140us","error":null,"tool":"crabcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.683390193+00:00","status":"passed","tests":2000,"discards":0,"time":"140us","error":null,"tool":"crabcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.684525477+00:00","status":"passed","tests":2000,"discards":0,"time":"170us","error":null,"tool":"crabcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.685666781+00:00","status":"passed","tests":2000,"discards":0,"time":"139us","error":null,"tool":"crabcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.686799691+00:00","status":"passed","tests":2000,"discards":0,"time":"139us","error":null,"tool":"crabcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.687939833+00:00","status":"passed","tests":2000,"discards":0,"time":"138us","error":null,"tool":"crabcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.689068097+00:00","status":"passed","tests":2000,"discards":0,"time":"138us","error":null,"tool":"crabcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.690255829+00:00","status":"passed","tests":2000,"discards":0,"time":"142us","error":null,"tool":"crabcheck","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:06:39.691540132+00:00","status":"passed","tests":212,"discards":0,"time":"1602955us","error":null,"tool":"hegel","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:06:41.295782547+00:00","status":"passed","tests":212,"discards":0,"time":"523227us","error":null,"tool":"hegel","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:06:41.820683579+00:00","status":"passed","tests":212,"discards":0,"time":"523200us","error":null,"tool":"hegel","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:06:42.345641289+00:00","status":"passed","tests":212,"discards":0,"time":"525572us","error":null,"tool":"hegel","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:06:42.872884802+00:00","status":"passed","tests":212,"discards":0,"time":"525034us","error":null,"tool":"hegel","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:06:43.399632105+00:00","status":"passed","tests":212,"discards":0,"time":"521060us","error":null,"tool":"hegel","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:06:43.922360204+00:00","status":"passed","tests":212,"discards":0,"time":"526358us","error":null,"tool":"hegel","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:06:44.450637032+00:00","status":"passed","tests":212,"discards":0,"time":"531031us","error":null,"tool":"hegel","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:06:44.983408726+00:00","status":"passed","tests":212,"discards":0,"time":"521736us","error":null,"tool":"hegel","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"HexUintOverflowErrors","mutations":["hex_uint_overflow_b428d65_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:06:45.506865374+00:00","status":"passed","tests":212,"discards":0,"time":"522201us","error":null,"tool":"hegel","counterexample":null},"hash":"da4b39a9f1955c5e1eaaffc24a285e1bd9718eed"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.402496216+00:00","status":"failed","tests":13,"discards":0,"time":"131us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.403830779+00:00","status":"failed","tests":13,"discards":0,"time":"124us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.405079576+00:00","status":"failed","tests":4,"discards":0,"time":"103us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.406354953+00:00","status":"failed","tests":15,"discards":0,"time":"126us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.407506337+00:00","status":"failed","tests":15,"discards":0,"time":"161us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.408711890+00:00","status":"failed","tests":17,"discards":0,"time":"134us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.410017662+00:00","status":"failed","tests":7,"discards":0,"time":"104us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.411152561+00:00","status":"failed","tests":10,"discards":0,"time":"130us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.412304236+00:00","status":"failed","tests":8,"discards":0,"time":"106us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.413502549+00:00","status":"failed","tests":17,"discards":0,"time":"163us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.414865674+00:00","status":"failed","tests":2,"discards":0,"time":"51us","error":null,"tool":"quickcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.415972973+00:00","status":"failed","tests":2,"discards":0,"time":"56us","error":null,"tool":"quickcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.417069126+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"quickcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.418138209+00:00","status":"failed","tests":2,"discards":0,"time":"46us","error":null,"tool":"quickcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.419214562+00:00","status":"failed","tests":1,"discards":0,"time":"44us","error":null,"tool":"quickcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.420287741+00:00","status":"failed","tests":1,"discards":0,"time":"38us","error":null,"tool":"quickcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.421326610+00:00","status":"failed","tests":2,"discards":0,"time":"48us","error":null,"tool":"quickcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.422441140+00:00","status":"failed","tests":2,"discards":0,"time":"49us","error":null,"tool":"quickcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.423510783+00:00","status":"failed","tests":2,"discards":0,"time":"48us","error":null,"tool":"quickcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.424587678+00:00","status":"failed","tests":2,"discards":0,"time":"76us","error":null,"tool":"quickcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.425886999+00:00","status":"failed","tests":1,"discards":0,"time":"59us","error":null,"tool":"crabcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.426993287+00:00","status":"failed","tests":1,"discards":0,"time":"43us","error":null,"tool":"crabcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.428022741+00:00","status":"failed","tests":1,"discards":0,"time":"48us","error":null,"tool":"crabcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.429092736+00:00","status":"failed","tests":1,"discards":0,"time":"48us","error":null,"tool":"crabcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.430133407+00:00","status":"failed","tests":1,"discards":0,"time":"47us","error":null,"tool":"crabcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.431218198+00:00","status":"failed","tests":1,"discards":0,"time":"45us","error":null,"tool":"crabcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.432296339+00:00","status":"failed","tests":1,"discards":0,"time":"40us","error":null,"tool":"crabcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.433475048+00:00","status":"failed","tests":1,"discards":0,"time":"47us","error":null,"tool":"crabcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.434525228+00:00","status":"failed","tests":1,"discards":0,"time":"48us","error":null,"tool":"crabcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.435583240+00:00","status":"failed","tests":1,"discards":0,"time":"61us","error":null,"tool":"crabcheck","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.436980160+00:00","status":"failed","tests":12,"discards":0,"time":"172892us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.611118980+00:00","status":"failed","tests":12,"discards":0,"time":"173887us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.786715415+00:00","status":"failed","tests":12,"discards":0,"time":"177631us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:06:57.965864196+00:00","status":"failed","tests":12,"discards":0,"time":"173587us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:06:58.140920856+00:00","status":"failed","tests":12,"discards":0,"time":"173138us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:06:58.315596311+00:00","status":"failed","tests":12,"discards":0,"time":"173621us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:06:58.490753314+00:00","status":"failed","tests":12,"discards":0,"time":"174709us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:06:58.667169976+00:00","status":"failed","tests":12,"discards":0,"time":"174720us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:06:58.843461653+00:00","status":"failed","tests":12,"discards":0,"time":"173536us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"IteratorNoPanicAfterDone","mutations":["iterator_misuse_panic_86b4c25_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:06:59.018515189+00:00","status":"failed","tests":12,"discards":0,"time":"174951us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"e3e7afb697681c926e06482653eca802bf24320a"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.607403073+00:00","status":"failed","tests":7,"discards":0,"time":"70us","error":null,"tool":"proptest","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.608756583+00:00","status":"failed","tests":10,"discards":0,"time":"68us","error":null,"tool":"proptest","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.609899809+00:00","status":"failed","tests":10,"discards":0,"time":"67us","error":null,"tool":"proptest","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.611019190+00:00","status":"failed","tests":10,"discards":0,"time":"66us","error":null,"tool":"proptest","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.612145681+00:00","status":"failed","tests":10,"discards":0,"time":"61us","error":null,"tool":"proptest","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.613247276+00:00","status":"failed","tests":9,"discards":0,"time":"66us","error":null,"tool":"proptest","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.614374609+00:00","status":"failed","tests":9,"discards":0,"time":"62us","error":null,"tool":"proptest","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.615512887+00:00","status":"failed","tests":6,"discards":0,"time":"61us","error":null,"tool":"proptest","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.616606480+00:00","status":"failed","tests":9,"discards":0,"time":"72us","error":null,"tool":"proptest","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"proptest","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.617727404+00:00","status":"failed","tests":10,"discards":0,"time":"61us","error":null,"tool":"proptest","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.619125204+00:00","status":"failed","tests":18,"discards":0,"time":"29us","error":null,"tool":"quickcheck","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.620212738+00:00","status":"failed","tests":18,"discards":0,"time":"26us","error":null,"tool":"quickcheck","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.621283488+00:00","status":"failed","tests":16,"discards":0,"time":"26us","error":null,"tool":"quickcheck","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.622319716+00:00","status":"failed","tests":18,"discards":0,"time":"26us","error":null,"tool":"quickcheck","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.623402223+00:00","status":"failed","tests":12,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.624432683+00:00","status":"failed","tests":18,"discards":0,"time":"30us","error":null,"tool":"quickcheck","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.625504805+00:00","status":"failed","tests":16,"discards":0,"time":"29us","error":null,"tool":"quickcheck","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.626574883+00:00","status":"failed","tests":18,"discards":0,"time":"51us","error":null,"tool":"quickcheck","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.627612354+00:00","status":"failed","tests":18,"discards":0,"time":"27us","error":null,"tool":"quickcheck","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"quickcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.628675943+00:00","status":"failed","tests":18,"discards":0,"time":"26us","error":null,"tool":"quickcheck","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.630056317+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(19)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.631148248+00:00","status":"failed","tests":1,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(141)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.632179870+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(196)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.633248306+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(87)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.634276272+00:00","status":"failed","tests":1,"discards":0,"time":"17us","error":null,"tool":"crabcheck","counterexample":"(103)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.635318410+00:00","status":"failed","tests":1,"discards":0,"time":"17us","error":null,"tool":"crabcheck","counterexample":"(155)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.636384532+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"(25)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.637379530+00:00","status":"failed","tests":1,"discards":0,"time":"17us","error":null,"tool":"crabcheck","counterexample":"(234)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.638391343+00:00","status":"failed","tests":1,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(13)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"crabcheck","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.639411298+00:00","status":"failed","tests":1,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(63)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.640827816+00:00","status":"failed","tests":13,"discards":0,"time":"163038us","error":null,"tool":"hegel","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.805164059+00:00","status":"failed","tests":13,"discards":0,"time":"164321us","error":null,"tool":"hegel","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:07:10.970953710+00:00","status":"failed","tests":13,"discards":0,"time":"164145us","error":null,"tool":"hegel","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:07:11.136637950+00:00","status":"failed","tests":13,"discards":0,"time":"166526us","error":null,"tool":"hegel","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:07:11.304839737+00:00","status":"failed","tests":13,"discards":0,"time":"163456us","error":null,"tool":"hegel","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:07:11.469980754+00:00","status":"failed","tests":13,"discards":0,"time":"164362us","error":null,"tool":"hegel","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:07:11.635806833+00:00","status":"failed","tests":13,"discards":0,"time":"163213us","error":null,"tool":"hegel","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:07:11.800618735+00:00","status":"failed","tests":13,"discards":0,"time":"163003us","error":null,"tool":"hegel","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:07:11.965139219+00:00","status":"failed","tests":13,"discards":0,"time":"161997us","error":null,"tool":"hegel","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}
{"data":{"experiment":"ci-run","workload":"winnow","language":"rust","strategy":"hegel","property":"RepeatNLoopCheckErrors","mutations":["repeat_n_loop_check_f5c49ba_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:07:12.128637065+00:00","status":"failed","tests":13,"discards":0,"time":"164529us","error":null,"tool":"hegel","counterexample":"(1)"},"hash":"5cf176767103710083bf4193baaf2138aea31b2d"}