{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 03:07 UTC",
  "workload_docs": {
    "winnow": [
      {
        "mutations": [
          "hex_uint_overflow_b428d65_1"
        ],
        "tasks": [
          {
            "property": "HexUintOverflowErrors",
            "witnesses": [
              {
                "test_fn": "witness_hex_uint_overflow_case_nine_digits_lowercase"
              },
              {
                "test_fn": "witness_hex_uint_overflow_case_ten_digits_alpha"
              },
              {
                "test_fn": "witness_hex_uint_overflow_case_eight_digits_ok"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/winnow-rs/winnow",
          "commits": [
            "b428d6504dd5f600ebe2a13bdd7b6510aa7d4a17"
          ],
          "commit_subjects": [
            "fix(char): Error on hex_uint overflow"
          ],
          "summary": "`hex_uint::<u32>` (then named `hex_u32`) silently truncated inputs longer than the type could hold by taking `min(invalid_offset, max_offset)`. The fix returns an `Err` whenever the input has more leading hex digits than the type's `max_nibbles`, instead of dropping the leading nibbles and parsing the trailing 8."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/ascii/mod.rs"
          ],
          "locations": [
            {
              "file": "src/ascii/mod.rs",
              "line": 1298,
              "symbol": "ascii::hex_uint"
            }
          ],
          "patch": "patches/hex_uint_overflow_b428d65_1.patch"
        },
        "bug": {
          "short_name": "hex_uint_overflow",
          "invariant": "`winnow::ascii::hex_uint::<_, u32, _>(s)` must return `Err` when `s` consists entirely of hex digits and has length strictly greater than `max_nibbles::<u32>() = 8`. Conversely it must return `Ok` for hex-digit-only inputs of length 1..=8.",
          "how_triggered": "The buggy branch reads `Ok(max_offset) => invalid_offset.min(max_offset)`. For a 10-byte all-hex input, `invalid_offset = 10` and `max_offset = 8`, so the parser silently consumes 8 nibbles and reports success with the trailing 2 bytes as remainder, dropping the leading nibbles. The fix replaces the `min` with an explicit comparison that errors when `max_offset < invalid_offset`."
        }
      },
      {
        "mutations": [
          "iterator_misuse_panic_86b4c25_1"
        ],
        "tasks": [
          {
            "property": "IteratorNoPanicAfterDone",
            "witnesses": [
              {
                "test_fn": "witness_iterator_misuse_panic_case_short_input"
              },
              {
                "test_fn": "witness_iterator_misuse_panic_case_empty_input"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/winnow-rs/winnow",
          "commits": [
            "86b4c25b33aadc3095333b31afd89be6cc9c6e82"
          ],
          "commit_subjects": [
            "fix(comb): Prevent misuse of 'iterator' from panicking"
          ],
          "summary": "`combinator::iterator()` returns a `ParserIterator` whose state machine was held in `Option<State<E>>` and consumed via `.take().unwrap()`. Once the iterator transitioned to `Done`/`Cut`, a follow-up `next()` call would `unwrap()` a `None` and panic. The fix replaces the `Option` with `State<E>` directly and uses `matches!` so post-completion `next()` simply returns `None`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/combinator/multi.rs"
          ],
          "locations": [
            {
              "file": "src/combinator/multi.rs",
              "line": 50,
              "symbol": "combinator::iterator"
            }
          ],
          "patch": "patches/iterator_misuse_panic_86b4c25_1.patch"
        },
        "bug": {
          "short_name": "iterator_misuse_panic",
          "invariant": "Calling `next()` on a `ParserIterator` after it has returned `None` (because the embedded parser backtracked or cut) must continue to return `None` and never panic. Calling `finish()` on an exhausted iterator must succeed without panicking.",
          "how_triggered": "The patch reinstates the buggy state representation: `state: Option<State<E>>` plus `let State::Running = self.state.take().unwrap()` inside `next()` and `match self.state.take().unwrap() { ... }` inside `finish()`. After the first `None`, the state field is left as `None`; subsequent calls into `next()`/`finish()` execute `.unwrap()` on `None` and panic with `called Option::unwrap() on a None value`."
        }
      },
      {
        "mutations": [
          "repeat_n_loop_check_f5c49ba_1"
        ],
        "tasks": [
          {
            "property": "RepeatNLoopCheckErrors",
            "witnesses": [
              {
                "test_fn": "witness_repeat_n_loop_check_case_n2"
              },
              {
                "test_fn": "witness_repeat_n_loop_check_case_n7"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/winnow-rs/winnow",
          "commits": [
            "f5c49ba6607517c7eea73a32ffef66515f4b7049"
          ],
          "commit_subjects": [
            "fix(comb)!: Add missing infinite loop check to repeat"
          ],
          "issues": [
            365
          ],
          "summary": "The count-bounded `repeat(n, parser)` path (`fold_repeat_n_`) had no progress check: if `parser` succeeded without consuming any input, `repeat(n, parser)` silently accumulated n outputs over the same position. The fix adds an `eof_offset` comparison that produces a `ParserError::assert` (debug-build panic, release-build error) when the inner parser doesn't make progress, mirroring the unbounded `repeat0/repeat1` paths."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/combinator/multi.rs"
          ],
          "locations": [
            {
              "file": "src/combinator/multi.rs",
              "line": 714,
              "symbol": "combinator::fold_repeat_n_"
            }
          ],
          "patch": "patches/repeat_n_loop_check_f5c49ba_1.patch"
        },
        "bug": {
          "short_name": "repeat_n_loop_check",
          "invariant": "For any `n >= 1` and any parser `p` that succeeds without consuming input, `repeat(n, p).parse_next(&mut \"\")` must not return `Ok` — either an assert panic (debug) or `Err(ParserError::assert(..))` (release) is the correct outcome.",
          "how_triggered": "The buggy variant deletes the `if input.eof_offset() == len { return Err(ParserError::assert(...)); }` block. With `space0` as the inner parser, every call succeeds matching zero whitespace and consumes no input; the loop runs `n` times and returns `Ok(vec![\"\"; n])`."
        }
      }
    ]
  },
  "metrics": [
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    },
    {
      "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"
    }
  ]
}