{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 19:40 UTC",
  "workload_docs": {
    "more-itertools": [
      {
        "mutations": [
          "numeric_range_reversed_empty_edb3346_1"
        ],
        "tasks": [
          {
            "property": "NumericRangeReversedHandlesEmpty",
            "witnesses": [
              {
                "test_fn": "witness_numeric_range_reversed_handles_empty_case_basic",
                "note": "Empty range numeric_range(0, 0, 1)."
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/more-itertools/more-itertools",
          "commits": [
            "edb3346f835ca917efbfda5e2d6664ab952da369"
          ],
          "commit_subjects": [
            "Fix empty ranges in numeric_range.__reversed__"
          ],
          "origin": "internal",
          "summary": "``numeric_range.__reversed__`` calls ``self._get_by_index(-1)``, which raises ``IndexError`` for an empty range. The fix wraps the call in a ``try/except`` and returns ``iter([])`` on empty ranges."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "more_itertools/more.py"
          ],
          "locations": [
            {
              "file": "more_itertools/more.py",
              "symbol": "numeric_range.__reversed__"
            }
          ],
          "patch": "patches/numeric_range_reversed_empty_edb3346_1.patch"
        },
        "bug": {
          "short_name": "numeric_range_reversed_empty",
          "invariant": "For any valid (start, stop, step), ``list(reversed(numeric_range(start, stop, step)))`` equals ``list(numeric_range(start, stop, step))[::-1]`` and never raises.",
          "how_triggered": "The mutation removes the empty-range guard; ``__reversed__`` calls ``self._get_by_index(-1)`` which raises ``IndexError`` whenever the range is empty (``start == stop``)."
        }
      },
      {
        "mutations": [
          "numeric_range_negative_step_slice_a51da82_1"
        ],
        "tasks": [
          {
            "property": "NumericRangeSliceNegativeStep",
            "witnesses": [
              {
                "test_fn": "witness_numeric_range_slice_negative_step_case_basic",
                "note": "numeric_range(0, 10, 2)[::-1] should equal [8, 6, 4, 2, 0]."
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/more-itertools/more-itertools",
          "commits": [
            "a51da8244b6f9ec59ec05f81f1555f943d9506b2"
          ],
          "commit_subjects": [
            "Fix numeric_range slicing with negative step returning empty range"
          ],
          "origin": "internal",
          "summary": "``numeric_range.__getitem__`` did not normalise default ``start``/``stop`` for slices with a negative step direction, so ``nr[::-1]`` returned an empty range. The fix delegates to ``slice.indices`` and reconstructs the slice from the corrected indices."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "more_itertools/more.py"
          ],
          "locations": [
            {
              "file": "more_itertools/more.py",
              "symbol": "numeric_range.__getitem__"
            }
          ],
          "patch": "patches/numeric_range_negative_step_slice_a51da82_1.patch"
        },
        "bug": {
          "short_name": "numeric_range_negative_step_slice",
          "invariant": "For any valid ``numeric_range`` ``nr``, ``list(nr[::-1])`` equals ``list(nr)[::-1]``.",
          "how_triggered": "The mutation reverts ``__getitem__`` to defaulting ``start`` to ``self._start`` and ``stop`` to ``self._stop`` regardless of step sign. With a negative slice step the resulting range is empty because ``start`` and ``stop`` are not swapped."
        }
      },
      {
        "mutations": [
          "last_reversed_truthy_check_cca3294_1"
        ],
        "tasks": [
          {
            "property": "LastWithNoneReversed",
            "witnesses": [
              {
                "test_fn": "witness_last_with_none_reversed_case_basic",
                "note": "Custom iterable with __reversed__ = None over [1, 2, 3]."
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/more-itertools/more-itertools",
          "commits": [
            "cca32949f12d473fd823e37a5530c30d2faa1332"
          ],
          "commit_subjects": [
            "fix last() when __reversed__ is None"
          ],
          "origin": "internal",
          "summary": "``last`` checked ``hasattr(iterable, '__reversed__')`` to decide whether to call ``reversed()``. Python's protocol allows a class to opt out of ``reversed()`` by setting ``__reversed__ = None``, which still satisfies ``hasattr``, but ``reversed()`` then raises ``TypeError``. The fix uses ``getattr(iterable, '__reversed__', None)`` truthiness."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "more_itertools/more.py"
          ],
          "locations": [
            {
              "file": "more_itertools/more.py",
              "symbol": "last"
            }
          ],
          "patch": "patches/last_reversed_truthy_check_cca3294_1.patch"
        },
        "bug": {
          "short_name": "last_reversed_truthy_check",
          "invariant": "For any non-empty iterable ``it``, ``last(it)`` returns the same value as the last element produced by ``iter(it)`` — even when ``it`` declares ``__reversed__ = None``.",
          "how_triggered": "The mutation reverts to ``hasattr(iterable, '__reversed__')``. For an iterable whose class sets ``__reversed__ = None`` (the official opt-out marker), the buggy branch calls ``reversed(iterable)`` which raises ``TypeError``."
        }
      },
      {
        "mutations": [
          "split_before_empty_buffer_2e81a56_1"
        ],
        "tasks": [
          {
            "property": "SplitBeforeEmptyIterableNoEmpty",
            "witnesses": [
              {
                "test_fn": "witness_split_before_empty_iterable_no_empty_case_basic",
                "note": "split_before([], pred) must yield no chunks."
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/more-itertools/more-itertools",
          "commits": [
            "2e81a562fbaccc996c19c069090a53f52ec894fe"
          ],
          "commit_subjects": [
            "Fix split_before for an empty collections."
          ],
          "origin": "internal",
          "summary": "``split_before`` unconditionally yielded the buffer after the loop, producing a trailing empty list when the input was empty. The fix gates the yield on ``if buf:``."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "more_itertools/more.py"
          ],
          "locations": [
            {
              "file": "more_itertools/more.py",
              "symbol": "split_before"
            }
          ],
          "patch": "patches/split_before_empty_buffer_2e81a56_1.patch"
        },
        "bug": {
          "short_name": "split_before_empty_buffer",
          "invariant": "``split_before([], pred)`` yields no chunks; in particular it never yields an empty list.",
          "how_triggered": "The mutation removes the ``if buf:`` guard before the trailing ``yield buf``. When the input iterable is empty, ``buf`` is empty and the generator yields a stray ``[]``."
        }
      },
      {
        "mutations": [
          "split_after_maxsplit_empty_9245cd0_1"
        ],
        "tasks": [
          {
            "property": "SplitAfterMaxsplitNoEmpty",
            "witnesses": [
              {
                "test_fn": "witness_split_after_maxsplit_no_empty_case_basic",
                "note": "split_after([0], pred=x==0, maxsplit=1) must not yield a trailing []."
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/more-itertools/more-itertools",
          "commits": [
            "9245cd04c043d0d646497934df72549943d5f868"
          ],
          "commit_subjects": [
            "Fix issue 658 for split_after"
          ],
          "prs": [
            658
          ],
          "summary": "When ``maxsplit == 1`` and the predicate matched the final element, ``split_after`` reached its ``yield list(it)`` branch with the iterator already exhausted — yielding a trailing ``[]`` chunk. The fix only yields if the trailing chunk is non-empty."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "more_itertools/more.py"
          ],
          "locations": [
            {
              "file": "more_itertools/more.py",
              "symbol": "split_after"
            }
          ],
          "patch": "patches/split_after_maxsplit_empty_9245cd0_1.patch"
        },
        "bug": {
          "short_name": "split_after_maxsplit_empty",
          "invariant": "``split_after`` never yields an empty chunk for any input, predicate, or ``maxsplit`` value.",
          "how_triggered": "The mutation reverts to ``yield list(it)`` immediately when ``maxsplit == 1``. If the predicate just matched the final item, ``it`` is exhausted and the buggy branch yields ``[]``."
        }
      },
      {
        "mutations": [
          "exactly_n_negative_input_adeda34_1"
        ],
        "tasks": [
          {
            "property": "ExactlyNRejectsNegative",
            "witnesses": [
              {
                "test_fn": "witness_exactly_n_rejects_negative_case_basic",
                "note": "exactly_n([True, False], -2) must return False, not raise."
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/more-itertools/more-itertools",
          "commits": [
            "adeda34bd11ff636f5f19238cf422a73e1455483"
          ],
          "commit_subjects": [
            "Fix bug for negative inputs to exactly_n(). Optimize code."
          ],
          "origin": "internal",
          "summary": "``exactly_n(it, n)`` was implemented as ``ilen(islice(filter(pred, it), n + 1)) == n``. For ``n <= -2`` this passes a negative ``stop`` to ``islice`` which raises ``ValueError``. The fix returns ``False`` directly for ``n < 0``."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "more_itertools/more.py"
          ],
          "locations": [
            {
              "file": "more_itertools/more.py",
              "symbol": "exactly_n"
            }
          ],
          "patch": "patches/exactly_n_negative_input_adeda34_1.patch"
        },
        "bug": {
          "short_name": "exactly_n_negative_input",
          "invariant": "For any iterable and any ``n < 0``, ``exactly_n(iterable, n)`` returns ``False`` and does not raise.",
          "how_triggered": "The mutation reverts ``exactly_n`` to its prior one-line ``islice``-based implementation. With ``n <= -2`` the call ``islice(..., n + 1)`` has a negative ``stop`` argument and raises ``ValueError``."
        }
      },
      {
        "mutations": [
          "iterate_func_stop_iteration_cd0a3a8_1"
        ],
        "tasks": [
          {
            "property": "IterateStopsOnStopIteration",
            "witnesses": [
              {
                "test_fn": "witness_iterate_stops_on_stop_iteration_case_basic",
                "note": "f(3) raises StopIteration; iterate must stop after yielding [0, 1, 2, 3]."
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/more-itertools/more-itertools",
          "commits": [
            "cd0a3a87d231033db06a3c222fe893025e398a86"
          ],
          "commit_subjects": [
            "Issue #707: fix iterate() to enable func to raise StopIteration"
          ],
          "prs": [
            707
          ],
          "summary": "Under PEP 479, a ``StopIteration`` raised inside a generator is converted to ``RuntimeError``. The bare ``while True: yield start; start = func(start)`` body in ``iterate`` therefore corrupted ``StopIteration`` raised from ``func``. The fix wraps the loop in ``with suppress(StopIteration):``."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "more_itertools/more.py"
          ],
          "locations": [
            {
              "file": "more_itertools/more.py",
              "symbol": "iterate"
            }
          ],
          "patch": "patches/iterate_func_stop_iteration_cd0a3a8_1.patch"
        },
        "bug": {
          "short_name": "iterate_func_stop_iteration",
          "invariant": "``iterate(func, start)`` yields ``start, func(start), func(func(start)), ...`` and stops cleanly when ``func`` raises ``StopIteration`` (no ``RuntimeError`` leak).",
          "how_triggered": "The mutation removes the ``with suppress(StopIteration):`` wrapper around the loop. Any ``StopIteration`` raised by ``func`` is converted to ``RuntimeError`` by PEP 479."
        }
      },
      {
        "mutations": [
          "product_index_iterator_input_cf186b5_1"
        ],
        "tasks": [
          {
            "property": "ProductIndexAcceptsIterator",
            "witnesses": [
              {
                "test_fn": "witness_product_index_accepts_iterator_case_basic",
                "note": "iter([2, 3, 1]) over three range(5) pools."
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/more-itertools/more-itertools",
          "commits": [
            "cf186b5de4797602fef76c3391da2d110b88a954"
          ],
          "commit_subjects": [
            "Fix product_index() with iterator input"
          ],
          "origin": "internal",
          "summary": "``product_index`` validated arity with ``len(element) != len(args)``. ``len(element)`` raises ``TypeError`` for bare iterators (e.g. generators); the fix uses the materialised tuples ``len(elements) != len(pools)`` instead."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "more_itertools/more.py"
          ],
          "locations": [
            {
              "file": "more_itertools/more.py",
              "symbol": "product_index"
            }
          ],
          "patch": "patches/product_index_iterator_input_cf186b5_1.patch"
        },
        "bug": {
          "short_name": "product_index_iterator_input",
          "invariant": "For any element-iterable that produces a tuple equal to a list ``L``, ``product_index(elem_iter, *pools)`` returns the same value as ``product_index(L, *pools)``.",
          "how_triggered": "The mutation reverts the arity check to ``len(element) != len(pools)``. When ``element`` is a bare iterator, ``len(element)`` raises ``TypeError`` before any product index is computed."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:43.506871460+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "236560us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:46.465082562+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "144347us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:46.824445450+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "203963us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:47.243409630+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "151440us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:47.610019854+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "300460us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:48.127222241+00:00",
      "status": "failed",
      "tests": 41,
      "discards": 0,
      "time": "182226us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:48.526323691+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "161029us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:48.904433337+00:00",
      "status": "failed",
      "tests": 43,
      "discards": 0,
      "time": "250486us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:49.371382036+00:00",
      "status": "failed",
      "tests": 39,
      "discards": 0,
      "time": "154887us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:49.752719007+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "173422us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:50.148885519+00:00",
      "status": "failed",
      "tests": 101,
      "discards": 0,
      "time": "10921716us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:01.338787907+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "10247498us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:11.859194168+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "10225761us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:22.350452808+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "10113911us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:32.718437936+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "10108087us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:43.079747087+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "10047141us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:53.382224979+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "10108345us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:03.742674820+00:00",
      "status": "failed",
      "tests": 99,
      "discards": 0,
      "time": "10106090us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:14.101048890+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "10189600us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeReversedHandlesEmpty",
      "mutations": [
        "numeric_range_reversed_empty_edb3346_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:24.543800182+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "10092888us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0, 1)",
      "hash": "745f65eb3abdf68d5c67b2868d97676e3b89c899"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:35.199451612+00:00",
      "status": "failed",
      "tests": 99,
      "discards": 0,
      "time": "339404us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:35.783457607+00:00",
      "status": "failed",
      "tests": 70,
      "discards": 0,
      "time": "242366us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:36.246041684+00:00",
      "status": "failed",
      "tests": 183,
      "discards": 0,
      "time": "510621us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:36.991659732+00:00",
      "status": "failed",
      "tests": 71,
      "discards": 0,
      "time": "235679us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:37.444466410+00:00",
      "status": "failed",
      "tests": 199,
      "discards": 0,
      "time": "527998us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:38.207029675+00:00",
      "status": "failed",
      "tests": 83,
      "discards": 0,
      "time": "280616us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:38.709121796+00:00",
      "status": "failed",
      "tests": 69,
      "discards": 0,
      "time": "369504us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:39.315648942+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "179757us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:39.710783802+00:00",
      "status": "failed",
      "tests": 84,
      "discards": 0,
      "time": "271058us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:40.201943778+00:00",
      "status": "failed",
      "tests": 57,
      "discards": 0,
      "time": "210696us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:40.628983225+00:00",
      "status": "failed",
      "tests": 197,
      "discards": 0,
      "time": "2180916us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:43.069031745+00:00",
      "status": "failed",
      "tests": 205,
      "discards": 0,
      "time": "2174254us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:45.503362211+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "1885206us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:47.630520928+00:00",
      "status": "failed",
      "tests": 82,
      "discards": 0,
      "time": "1759595us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:49.629826450+00:00",
      "status": "failed",
      "tests": 73,
      "discards": 0,
      "time": "1755279us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:51.623479356+00:00",
      "status": "failed",
      "tests": 71,
      "discards": 0,
      "time": "1738546us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:53.602713014+00:00",
      "status": "failed",
      "tests": 81,
      "discards": 0,
      "time": "1798081us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:55.640853958+00:00",
      "status": "failed",
      "tests": 191,
      "discards": 0,
      "time": "2129754us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:58.031136856+00:00",
      "status": "failed",
      "tests": 51,
      "discards": 0,
      "time": "1669978us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "NumericRangeSliceNegativeStep",
      "mutations": [
        "numeric_range_negative_step_slice_a51da82_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:59.936061717+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "1903296us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1, 1)",
      "hash": "2f03e29b6824e2285c94faded2c28cdb52ff0d07"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:02.404056899+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "373818us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:03.023873663+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "395696us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:03.642217560+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "458155us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:04.325798590+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "410558us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:04.961150145+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "452912us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:05.636741108+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "392220us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:06.252368637+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "312245us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:06.790404671+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "306003us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:07.320828940+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "461391us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:08.005565409+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "328898us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:08.559002145+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "1197585us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:09.997591702+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1105079us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:11.344161562+00:00",
      "status": "failed",
      "tests": 114,
      "discards": 0,
      "time": "1193084us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:12.777088815+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1191565us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:14.209496083+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "1199715us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:15.654729476+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "1086824us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:16.980573306+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "1291657us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:18.513159319+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "1199398us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:19.952482853+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1198056us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "LastWithNoneReversed",
      "mutations": [
        "last_reversed_truthy_check_cca3294_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:21.389980157+00:00",
      "status": "failed",
      "tests": 114,
      "discards": 0,
      "time": "1287957us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "03cfaa314393c99df16e2e20629870861d7459f1"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:23.222483628+00:00",
      "status": "failed",
      "tests": 65,
      "discards": 0,
      "time": "238196us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:23.698814340+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "226599us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:24.144332737+00:00",
      "status": "failed",
      "tests": 69,
      "discards": 0,
      "time": "217105us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:24.580482488+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "216472us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:25.016921154+00:00",
      "status": "failed",
      "tests": 66,
      "discards": 0,
      "time": "211870us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:25.447861439+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "227447us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:25.892642718+00:00",
      "status": "failed",
      "tests": 67,
      "discards": 0,
      "time": "211800us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:26.322264971+00:00",
      "status": "failed",
      "tests": 72,
      "discards": 0,
      "time": "222510us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:26.761643299+00:00",
      "status": "failed",
      "tests": 70,
      "discards": 0,
      "time": "218776us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:27.198087361+00:00",
      "status": "failed",
      "tests": 67,
      "discards": 0,
      "time": "198822us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:27.613897802+00:00",
      "status": "failed",
      "tests": 77,
      "discards": 0,
      "time": "692103us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:28.547191007+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "685148us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:29.473265585+00:00",
      "status": "failed",
      "tests": 73,
      "discards": 0,
      "time": "655508us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:30.382213308+00:00",
      "status": "failed",
      "tests": 72,
      "discards": 0,
      "time": "677502us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:31.294554169+00:00",
      "status": "failed",
      "tests": 76,
      "discards": 0,
      "time": "661581us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:32.193172287+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "693382us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:33.123363053+00:00",
      "status": "failed",
      "tests": 75,
      "discards": 0,
      "time": "660596us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:34.019917506+00:00",
      "status": "failed",
      "tests": 76,
      "discards": 0,
      "time": "667411us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:34.922200892+00:00",
      "status": "failed",
      "tests": 71,
      "discards": 0,
      "time": "680537us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitBeforeEmptyIterableNoEmpty",
      "mutations": [
        "split_before_empty_buffer_2e81a56_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:35.836928805+00:00",
      "status": "failed",
      "tests": 76,
      "discards": 0,
      "time": "693833us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "09007ef349432947d73208adc985b02154d473c8"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:37.061319801+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "314004us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:37.612761571+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "227964us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:38.053604542+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "79861us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:38.344829620+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "47920us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:38.604657984+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "48804us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:38.896580458+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "91937us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:39.202863845+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "51977us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:39.468720212+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "229512us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:39.912418735+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "48320us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:40.174458829+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "51744us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:40.438859872+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "958506us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:41.625056758+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "969411us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:42.824219135+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "975357us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:44.030636036+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "968953us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:45.229265127+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "964936us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:46.422719497+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "969621us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:47.621347192+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "971422us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:48.822060285+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "1013352us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:50.065512556+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "964384us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "SplitAfterMaxsplitNoEmpty",
      "mutations": [
        "split_after_maxsplit_empty_9245cd0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:51.257031431+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "963333us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 1)",
      "hash": "b28cec940ab907e2f48751c5bf722447326ac6f4"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:52.741050406+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "366597us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:53.349686106+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "410390us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:53.983850606+00:00",
      "status": "failed",
      "tests": 125,
      "discards": 0,
      "time": "373293us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:54.584156827+00:00",
      "status": "failed",
      "tests": 137,
      "discards": 0,
      "time": "460675us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:55.273099816+00:00",
      "status": "failed",
      "tests": 129,
      "discards": 0,
      "time": "362524us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:55.859890644+00:00",
      "status": "failed",
      "tests": 131,
      "discards": 0,
      "time": "507903us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:56.593354198+00:00",
      "status": "failed",
      "tests": 126,
      "discards": 0,
      "time": "357114us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:57.174738001+00:00",
      "status": "failed",
      "tests": 120,
      "discards": 0,
      "time": "408771us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:57.806288631+00:00",
      "status": "failed",
      "tests": 121,
      "discards": 0,
      "time": "425511us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:58.455946135+00:00",
      "status": "failed",
      "tests": 126,
      "discards": 0,
      "time": "425150us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:59.107701822+00:00",
      "status": "failed",
      "tests": 123,
      "discards": 0,
      "time": "1060264us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:00.408318551+00:00",
      "status": "failed",
      "tests": 133,
      "discards": 0,
      "time": "978169us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:01.631071052+00:00",
      "status": "failed",
      "tests": 119,
      "discards": 0,
      "time": "886337us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:02.756811784+00:00",
      "status": "failed",
      "tests": 124,
      "discards": 0,
      "time": "1030649us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:04.028504498+00:00",
      "status": "failed",
      "tests": 132,
      "discards": 0,
      "time": "1071715us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:05.342355215+00:00",
      "status": "failed",
      "tests": 130,
      "discards": 0,
      "time": "1045613us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:06.627832229+00:00",
      "status": "failed",
      "tests": 118,
      "discards": 0,
      "time": "1011317us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:07.878068676+00:00",
      "status": "failed",
      "tests": 132,
      "discards": 0,
      "time": "1050176us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:09.170712414+00:00",
      "status": "failed",
      "tests": 135,
      "discards": 0,
      "time": "1064436us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ExactlyNRejectsNegative",
      "mutations": [
        "exactly_n_negative_input_adeda34_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:10.476414090+00:00",
      "status": "failed",
      "tests": 128,
      "discards": 0,
      "time": "1026602us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], -2)",
      "hash": "4ac9404026e02fa1e9387662b9343aad7eb4bab2"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:12.046268669+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "321378us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:12.605345248+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "52346us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:12.870993825+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "104672us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:13.188472094+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "118237us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:13.519043829+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "52491us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:13.783719393+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "43730us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:14.040820639+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "94358us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:14.347030995+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "48147us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:14.607923437+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "51494us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:14.871494784+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "100302us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:15.186391772+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "648125us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:16.065369688+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "655153us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:16.950675925+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "752286us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:17.931763755+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "658784us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:18.820227582+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "664674us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:19.713777382+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "651799us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:20.594108100+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "652563us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:21.475819128+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "651099us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:22.356168692+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "669926us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "IterateStopsOnStopIteration",
      "mutations": [
        "iterate_func_stop_iteration_cd0a3a8_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:23.256724170+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "650587us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "1099a0fd8abf62db8b69d34002255ef14eb4ca87"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:24.426470510+00:00",
      "status": "failed",
      "tests": 77,
      "discards": 0,
      "time": "286614us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:24.956760124+00:00",
      "status": "failed",
      "tests": 72,
      "discards": 0,
      "time": "237188us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:25.414201132+00:00",
      "status": "failed",
      "tests": 77,
      "discards": 0,
      "time": "220765us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:25.856783109+00:00",
      "status": "failed",
      "tests": 70,
      "discards": 0,
      "time": "234383us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:26.313654054+00:00",
      "status": "failed",
      "tests": 76,
      "discards": 0,
      "time": "238860us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:26.788381440+00:00",
      "status": "failed",
      "tests": 75,
      "discards": 0,
      "time": "304812us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:27.314603016+00:00",
      "status": "failed",
      "tests": 76,
      "discards": 0,
      "time": "243258us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:27.782840933+00:00",
      "status": "failed",
      "tests": 75,
      "discards": 0,
      "time": "229022us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:28.234046554+00:00",
      "status": "failed",
      "tests": 71,
      "discards": 0,
      "time": "235928us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:28.690558349+00:00",
      "status": "failed",
      "tests": 78,
      "discards": 0,
      "time": "236792us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:29.151923213+00:00",
      "status": "failed",
      "tests": 82,
      "discards": 0,
      "time": "971027us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:30.371936877+00:00",
      "status": "failed",
      "tests": 84,
      "discards": 0,
      "time": "995969us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:31.611248360+00:00",
      "status": "failed",
      "tests": 81,
      "discards": 0,
      "time": "984054us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:32.834262786+00:00",
      "status": "failed",
      "tests": 80,
      "discards": 0,
      "time": "948312us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:34.021818152+00:00",
      "status": "failed",
      "tests": 81,
      "discards": 0,
      "time": "957100us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:35.226679509+00:00",
      "status": "failed",
      "tests": 88,
      "discards": 0,
      "time": "1001114us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:36.470820854+00:00",
      "status": "failed",
      "tests": 85,
      "discards": 0,
      "time": "1015477us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:37.728859745+00:00",
      "status": "failed",
      "tests": 79,
      "discards": 0,
      "time": "945323us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:38.918826885+00:00",
      "status": "failed",
      "tests": 78,
      "discards": 0,
      "time": "940177us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    },
    {
      "experiment": "ci-run",
      "workload": "more-itertools",
      "language": "python",
      "strategy": "crosshair",
      "property": "ProductIndexAcceptsIterator",
      "mutations": [
        "product_index_iterator_input_cf186b5_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:40.096535473+00:00",
      "status": "failed",
      "tests": 82,
      "discards": 0,
      "time": "990927us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 0]",
      "hash": "29caf17fed27dd7fb031e3b4d810fee56e46c558"
    }
  ]
}