{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 19:42 UTC",
  "workload_docs": {
    "itertools": [
      {
        "mutations": [
          "merge_join_size_hint_overflow_9f41c18_1"
        ],
        "tasks": [
          {
            "property": "MergeJoinSizeHintOverflow",
            "witnesses": [
              {
                "test_fn": "witness_merge_join_size_hint_overflow_case_max_plus_max"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-itertools/itertools",
          "commits": [
            "9f41c18435249691cb06c0e98ca5653a3d02ed57"
          ],
          "commit_subjects": [
            "Fix potential overflow in MergeJoinBy::size_hint"
          ],
          "summary": "`MergeJoinBy::size_hint` added the two upstream upper bounds as plain `usize + usize`, so when both bounds were near `usize::MAX` the addition panicked in debug and silently wrapped in release; the fix uses `checked_add` and reports `None` on overflow."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/merge_join.rs"
          ],
          "locations": [
            {
              "file": "src/merge_join.rs"
            }
          ],
          "patch": "patches/merge_join_size_hint_overflow_9f41c18_1.patch"
        },
        "bug": {
          "short_name": "merge_join_size_hint_overflow",
          "invariant": "`MergeJoinBy`'s `size_hint` upper bound must never wrap on arithmetic overflow. `Iterator::size_hint` returns `Option<usize>`, where `None` represents \"cannot be determined\" (including when the real bound exceeds `usize::MAX`). The merged length is at most `a.len() + b.len()`, so when both upper bounds are `usize`, the sum must use `checked_add` and return `None` on overflow.\n",
          "how_triggered": "Reverts the `size_hint` upper-bound computation from `x.checked_add(y)` to `Some(x + y)`. The property passes two upper bounds that sum to `> usize::MAX` via an `OpaqueIter` that reports a huge upper hint while yielding nothing. On the buggy variant, the `x + y` either panics (debug) or silently wraps (release); either outcome fails the property — only graceful `None` is accepted."
        }
      },
      {
        "mutations": [
          "combinations_zero_empty_13aa10e_1"
        ],
        "tasks": [
          {
            "property": "CombinationsZero",
            "witnesses": [
              {
                "test_fn": "witness_combinations_zero_case_small_pool"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-itertools/itertools",
          "commits": [
            "13aa10e27a6bb5b5dd70cb677924af5846862560"
          ],
          "commit_subjects": [
            "Fix combinations(0) and combinations_with_replacement(0)"
          ],
          "summary": "`combinations(0)` and `combinations_with_replacement(0)` short-circuited to an empty iterator, but mathematically they must yield exactly one empty combination (`vec![vec![]]`, matching `choose(n, 0) = 1`); the fix stops treating `k == 0` as \"done\"."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/combinations.rs",
            "src/combinations_with_replacement.rs"
          ],
          "locations": [
            {
              "file": "src/combinations.rs"
            }
          ],
          "patch": "patches/combinations_zero_empty_13aa10e_1.patch"
        },
        "bug": {
          "short_name": "combinations_zero_empty",
          "invariant": "`(a..b).combinations(0)` and `(a..b).combinations_with_replacement(0)` must each yield exactly one empty combination, `vec![vec![]]`. The empty combination is always a valid 0-length combination, independent of pool size (mirrors `choose(n, 0) = 1`).",
          "how_triggered": "Short-circuits both iterators when `k == 0`: adds `self.k() == 0 ||` to the `done` check inside `CombinationsGeneric::init`, and flips the empty-indices guard in `CombinationsWithReplacementGeneric::next` so empty indices immediately return `None`. The property asserts the collected output equals `vec![Vec::new()]`; under the mutation it collects to an empty `Vec<Vec<u32>>` and reports `got [], expected [[]]`."
        }
      },
      {
        "mutations": [
          "cwr_remaining_overflow_c13ee58_1"
        ],
        "tasks": [
          {
            "property": "CwrSizeHintOverflow",
            "witnesses": [
              {
                "test_fn": "witness_cwr_size_hint_overflow_case_huge_pool"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-itertools/itertools",
          "commits": [
            "c13ee581247fb009dbd12f7685b155e8c6bdcff5"
          ],
          "commit_subjects": [
            "remaining_for: handle n + k - 1 overflowing"
          ],
          "summary": "`remaining_for` in `combinations_with_replacement` computed `checked_binomial((n + k).saturating_sub(1), k)`, which evaluates `n + k` eagerly; when `n` is near `usize::MAX` this overflows (panic in debug, wrap in release) instead of returning `None` from the size hint."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/combinations_with_replacement.rs"
          ],
          "locations": [
            {
              "file": "src/combinations_with_replacement.rs"
            }
          ],
          "patch": "patches/cwr_remaining_overflow_c13ee58_1.patch"
        },
        "bug": {
          "short_name": "cwr_remaining_overflow",
          "invariant": "`combinations_with_replacement(k)` exposes a `size_hint` that equals `binomial(n + k - 1, k)`. When `n + k - 1` would overflow `usize`, the upper bound must be `Option::None` — never a garbage wrapped value and never a panic.",
          "how_triggered": "Reverts the `count` helper inside `remaining_for` from a two-branch form (`n == 0` ⇒ `k.saturating_sub(1)`, else `(n - 1).checked_add(k)?`) back to the one-liner `checked_binomial((n + k).saturating_sub(1), k)`. Feeding `n = usize::MAX` and `k >= 2` through this computes `n + k` which overflows — panicking in debug, wrapping in release. The property wraps the `size_hint()` call in `catch_unwind`: both a panic and a `Some(u)` result are failures, only a clean `None` passes."
        }
      },
      {
        "mutations": [
          "kmerge_heapify_order_ca70258_1"
        ],
        "tasks": [
          {
            "property": "KmergeSorted",
            "witnesses": [
              {
                "test_fn": "witness_kmerge_sorted_case_descending_starts"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-itertools/itertools",
          "commits": [
            "ca7025816a263ab7b57f439962341309a1073273"
          ],
          "commit_subjects": [
            "Fix bug in kmerge (heapify)"
          ],
          "summary": "`kmerge`'s `heapify` iterated internal node indices forward (`0..n/2`) instead of bottom-up (`(0..n/2).rev()`); the forward order produced an invalid min-heap and the iterator yielded elements out of sorted order."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/kmerge_impl.rs"
          ],
          "locations": [
            {
              "file": "src/kmerge_impl.rs"
            }
          ],
          "patch": "patches/kmerge_heapify_order_ca70258_1.patch"
        },
        "bug": {
          "short_name": "kmerge_heapify_order",
          "invariant": "`Itertools::kmerge()` on sorted sub-iterators must produce a sorted merge equal to the sort of the concatenation. The standard min-heap construction via repeated `sift_down` requires iterating internal node indices **bottom-up** (`(0..n/2).rev()`); forward iteration produces an invalid heap.",
          "how_triggered": "Flips the loop bound in `heapify` from `(0..data.len() / 2).rev()` to `0..data.len() / 2`. With four sorted inputs whose heads are `3, 2, 1, 0` (i.e. sub-iterators starting in descending order of their first element), the buggy forward iteration places `1` at the root instead of `0`, so `KMerge::next` yields `1` before `0`. The property compares the collected merge against the sorted concatenation and fails with a `got … expected …` diff."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.475227353+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_upper=713787723 b_upper=18348342312991406134)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.476745520+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_upper=1202985214457490694 b_upper=8020386822470705700)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.477895314+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "82us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_upper=3561763063172203721 b_upper=5661608975389254122)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.479030191+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_upper=143268037 b_upper=11531961838496825860)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.480175145+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_upper=1907093308 b_upper=13256170673177172056)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.481260550+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_upper=569118588 b_upper=13032981984538746984)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.482405143+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_upper=939165721576888389 b_upper=8284206315380461680)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.483489937+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_upper=37432168 b_upper=10119274022712221947)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.484597631+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_upper=168546900 b_upper=12781394598998440245)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.485702703+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_upper=2550979398 b_upper=17630352745527543235)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.486914562+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_upper=1 b_upper=10213647788429304512)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.488038973+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_upper=7308141835686291033 b_upper=18221974803002849692)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.489131296+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_upper=4855781337349945086 b_upper=11687956266592143133)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.490168921+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_upper=2814616934618790209 b_upper=8685186637515300908)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.491240789+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_upper=6678019638614828304 b_upper=18446744073709551615)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.492284124+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_upper=14332506820136907055 b_upper=16396489034620648985)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.493327890+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_upper=11472610089434824007 b_upper=8063697954984359458)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.494344526+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "14us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_upper=15097769324160003466 b_upper=7156612931763592671)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.495407367+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_upper=6108444214965056510 b_upper=15780194042450712165)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.496441055+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_upper=8846382244714577998 b_upper=16536922006113350483)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.497582954+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_upper=13032774483032373744 b_upper=15371114256180972397)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.498587927+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_upper=5010827772925991486 b_upper=6305926198549488871)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.499631883+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_upper=9085986776781143162 b_upper=1030648723851160575)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.500680168+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_upper=5350497482974974492 b_upper=12973843703488570037)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.501676715+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_upper=15616555501128209671 b_upper=8345971113645830189)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.502790814+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_upper=17958510667062064005 b_upper=3705730185873886917)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.503913266+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_upper=7059443504870871650 b_upper=5954346125926613245)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.504955049+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_upper=6888149499703833784 b_upper=5231235931828114243)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.505992693+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_upper=5900637189325572717 b_upper=9179342257223465074)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.507075182+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_upper=17560866328950523577 b_upper=10801160023612748254)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:22.508265010+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "1089125us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_upper=0 b_upper=9223372036854775808)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:23.598713280+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "273386us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_upper=0 b_upper=9223372036854775808)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:23.873818840+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "272538us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_upper=0 b_upper=9223372036854775808)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:24.148038098+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "274552us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_upper=0 b_upper=9223372036854775808)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:24.424178485+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "273857us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_upper=0 b_upper=9223372036854775808)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:24.699676552+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "273818us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_upper=0 b_upper=9223372036854775808)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:24.975084572+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "276450us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_upper=0 b_upper=9223372036854775808)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:25.253213912+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "271792us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_upper=0 b_upper=9223372036854775808)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:25.526583691+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "277909us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_upper=0 b_upper=9223372036854775808)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "MergeJoinSizeHintOverflow",
      "mutations": [
        "merge_join_size_hint_overflow_9f41c18_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:25.806184110+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "277221us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_upper=0 b_upper=9223372036854775808)",
      "hash": "0ea63b41183f240eb6afdd1593ab2cde15564e21"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.647627449+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.648973695+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.650036019+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.651157891+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.652256353+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.653324559+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.654387219+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.655440453+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.656496811+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.657543443+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.658929206+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(pool_len=139)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.659941193+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(pool_len=207)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.660993092+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(pool_len=145)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.661981365+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(pool_len=227)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.662981037+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.663997502+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(pool_len=205)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.664989640+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(pool_len=79)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.666006452+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(pool_len=90)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.667171208+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(pool_len=188)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.668318386+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(pool_len=176)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.669612901+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(pool_len=155)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.670637465+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(pool_len=12)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.671641515+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(pool_len=68)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.672699268+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(pool_len=109)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.673738893+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(pool_len=230)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.674753346+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(pool_len=77)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.675738870+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(pool_len=13)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.676736521+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(pool_len=25)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.677806805+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(pool_len=126)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.678810747+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(pool_len=22)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.680109427+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "160557us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:29.841971114+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162378us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:30.006005302+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162954us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:30.170356026+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161634us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:30.333595797+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161245us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:30.496445297+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161242us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:30.659226689+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162133us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:30.823932688+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161600us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:30.987107988+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "166350us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombinationsZero",
      "mutations": [
        "combinations_zero_empty_13aa10e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:31.154939659+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162093us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(pool_len=0)",
      "hash": "e62e7aa30f70d15bec4e4c8de62842894ed2baed"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.853999554+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.855309613+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.856372725+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.857458809+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.858502465+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.859539076+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.860580889+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.861630344+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.862675663+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.863712785+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.865083923+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(k_byte=166)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.866118691+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(k_byte=244)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.867129065+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(k_byte=140)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.868155197+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(k_byte=252)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.869172213+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(k_byte=1)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.870166696+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(k_byte=56)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.871158505+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(k_byte=65)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.872186390+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(k_byte=4)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.873231689+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(k_byte=251)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.874237583+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.875578013+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(k_byte=156)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.876595579+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(k_byte=58)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.877604530+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(k_byte=6)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.878609042+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(k_byte=9)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.879634935+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(k_byte=28)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.880621122+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(k_byte=26)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.881603233+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(k_byte=189)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.882633372+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(k_byte=73)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.883693519+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(k_byte=34)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.884687651+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(k_byte=251)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.886097200+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "160195us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:35.047472524+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "165636us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:35.214533800+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162791us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:35.378806698+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162493us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:35.542664853+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162093us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:35.706229095+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "163266us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:35.870975305+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162929us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:36.035334058+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "165025us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:36.202062862+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "163968us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "CwrSizeHintOverflow",
      "mutations": [
        "cwr_remaining_overflow_c13ee58_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:36.367608373+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162450us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(k_byte=0)",
      "hash": "17eb2fb37fdd221413da18067eb7189d4d3524b6"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.104754137+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "243us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(inputs=[[-24], [-145, -128, -21, 118], [-174, -171, -98, 25, 142], [-197, -116, 93]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.106229925+00:00",
      "status": "failed",
      "tests": 39,
      "discards": 0,
      "time": "213us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(inputs=[[-99], [-118, -87, -38, -20, -12, 116, 193], [-173, -137, -111, -83, -45, 95], [-194, -41, 185]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.107453551+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "174us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(inputs=[[-103], [-157], [-145, -114, 154], [-162, -58, -35]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.108684763+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "200us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(inputs=[[-178], [-145], [-103, -89, 0, 34], [-179, -123, -122, -82, 68, 116, 120]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.109943615+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "240us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(inputs=[[56], [-122, -37, -30, -9, 7, 97, 176], [-9, 96], [-170, -72, -37, 48, 153]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.111236397+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "189us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(inputs=[[63], [-51, 20, 43], [132], [-170, -92, -76, 28, 92, 175]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.112427980+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "180us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(inputs=[[61], [-150, -129, -111, -91, 90], [-144, 109, 122], [-171, -142, -137, -102, -94, -35, 70]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.113637014+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "166us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(inputs=[[-24], [2, 100], [9], [-166, -136, -131, -83, 92, 139, 155]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.114800314+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "188us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(inputs=[[116], [-49], [-73, -3, 180, 194], [-105, -76, -70, 179]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "proptest",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.115965973+00:00",
      "status": "failed",
      "tests": 37,
      "discards": 0,
      "time": "215us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(inputs=[[-20], [-91, -62, -36, 93, 133], [-128, -54, 6, 34, 121], [-187, 32, 179]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.117728331+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(inputs=[[3], [3], [-1, 0, 1, 2, 3, 47], [-3, -2, -2, -2, -1, 0, 1, 2], [2, 47], [-1, 1, 47]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.118840706+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(inputs=[[2], [-3], [-1], [-4, 0], [-48, -4, -4, -2, -1, 0, 2], [-4, -4, -3, -2, 0, 0, 2, 3]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.119889931+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(inputs=[[0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0], [-48, 0, 0, 0, 0, 0, 0, 47], [0, 0, 0, 0, 0, 0, 0], [0]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.120968373+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(inputs=[[-2, 0, 1], [-1, -1, 1], [-2, -1, 0, 2, 2], [-1, 2], [-48, -48, -48, 0, 0, 0, 47, 47]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.122002039+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "65us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(inputs=[[-3, 1, 2, 47], [0], [-2, -2, -2, 0, 0], [-3, -2, 1], [-48, -3, -3, -1, -1, 0, 2], [-48, -2, 0, 0, 0, 1, 2, 3]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.123051596+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(inputs=[[0], [-1, 0, 1], [-1, -1, 0, 0, 3], [-3, -3, -1, 0, 1, 2, 2, 3]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.124076847+00:00",
      "status": "failed",
      "tests": 30,
      "discards": 0,
      "time": "109us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(inputs=[[-2, -1, 0, 0, 47], [-1, -1, -1, 0, 2, 4, 4, 4], [-3, 3], [-2, 2], [-4, -4, -2, 4, 47]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.125201565+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "74us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(inputs=[[-1, 0, 1, 1, 1, 2, 2, 3], [3], [0, 47], [-2, 0, 3], [-2, -1, 1, 1, 3, 3], [-48, -2, -1, -1, 2, 2]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.126257934+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(inputs=[[0, 0, 1, 3], [-2, 0, 1], [-3, -1, -1, 0, 2, 3, 3, 47], [-48, -3, -2, 0, 0, 2], [0]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.127348117+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(inputs=[[-1, -1], [3], [-2, -1, -1, 0, 1, 1, 2, 3], [-3, -2, 2, 3], [-3], [-2, -2, -2, 0, 2, 3]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.129047307+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(inputs=[[-119, 78, 161], [-106, -75], [-140, -66, 92, 156], [-33, 79], [-144, -91, 18, 19, 42, 83, 96]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.130034097+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(inputs=[[-134, -8, 8, 39, 49, 69, 199], [-108, 121, 152], [-194, 23, 119], [-146, -16, -3, 44, 59, 92, 121], [-198, -117, -75, 150, 171], [-190, -120, 53, 168]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.131072848+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(inputs=[[-21, 89], [-114, -8, 41, 51, 159, 170], [-56, -6], [-182, -129, -96, -15, -14, 10, 84, 103], [-171, 8, 8, 27, 38, 184], [65]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.132133812+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "34us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(inputs=[[-72, 113, 141], [-129, -101, -68, -42, 71, 123], [-178, -104, -47, -40, -20, 87, 178], [-14, 63, 90], [-199, -194, -156, -122, -98, 42, 165, 189], [-162, -128, -38, -20, -13, 21, 58]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.133179495+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(inputs=[[-104, -91, -67, -22, 84, 124, 131], [-139, -121, -22, -22, 45, 104, 188], [-152, 93, 106, 149, 178, 185], [-160, -88, -36, 50, 66], [-39, 23, 46, 168], [-106, 199]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.134245148+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(inputs=[[-138, -93, 60, 72, 130, 152], [-87, -42, -5, 98, 158], [-104, -31, -5, 0, 28, 59, 69, 111], [-161, -155, -130, -55, 120], [-167, -120, 116, 154], [-180, -89, -38, -16, -2, 63, 157, 172]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.135280542+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(inputs=[[-160, -149, -54, 11, 45, 130], [-107, -58, 181], [-42, -15, 80], [-178, -163, -118, -108, -84, 38, 199]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.136325677+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(inputs=[[-182, 68], [40, 78, 136, 137, 157, 157], [-56, 43, 108], [-186, -106, -81, -76, -47, 18, 134], [-138, -96, -70, -10, -7, 17, 184, 186]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.137354539+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(inputs=[[-104], [-160, -18, -1, 54, 63, 133], [-95, -61, 191], [-95], [-59, -37, -1], [-161, -63, 63, 107]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.138430681+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(inputs=[[-115, -101, -41, -27, -20, 127, 153, 171], [-193], [-29, -7, 183], [-199, -81, -39, -31, 92, 179]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.140061498+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "562562us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(inputs=[[0], [0], [0], [-1]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.703949695+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "556598us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(inputs=[[0], [0], [0], [-1]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:41.262232834+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "557300us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(inputs=[[0], [0], [0], [-1]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:41.821154838+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "553604us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(inputs=[[0], [0], [0], [-1]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:42.376345397+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "555820us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(inputs=[[0], [0], [0], [-1]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:42.933923092+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "563596us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(inputs=[[0], [0], [0], [-1]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.499295226+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "560148us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(inputs=[[0], [0], [0], [-1]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:44.061048664+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "565512us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(inputs=[[0], [0], [0], [-1]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:44.628332743+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "558124us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(inputs=[[0], [0], [0], [-1]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    },
    {
      "experiment": "ci-run",
      "workload": "itertools",
      "language": "rust",
      "strategy": "hegel",
      "property": "KmergeSorted",
      "mutations": [
        "kmerge_heapify_order_ca70258_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:45.188283023+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "574597us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(inputs=[[0], [0], [0], [-1]])",
      "hash": "ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"
    }
  ]
}