{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 19:42 UTC",
  "workload_docs": {
    "toolz": [
      {
        "mutations": [
          "partition_all_invalid_length_5a7e078_1"
        ],
        "tasks": [
          {
            "property": "PartitionAllValidatesLength",
            "witnesses": [
              {
                "test_fn": "witness_partition_all_validates_length_case_off_by_one",
                "note": "List subclass whose __len__ over-reports by one — fix raises, bug emits sentinel"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/pytoolz/toolz",
          "commits": [
            "5a7e078c941c990dcaca53ac6920e5d5c0b1475f"
          ],
          "commit_subjects": [
            "Raise in partition_all when length is invalid (#603)"
          ],
          "prs": [
            603
          ],
          "issues": [
            602
          ],
          "origin": "internal",
          "summary": "``partition_all`` blindly trusts ``len(seq) % n`` to decide where the no-pad sentinels start in the final tuple. If the iterable's ``__len__`` lies (e.g. a list subclass that returns ``super().__len__() + 1``), the slice ``prev[:len(seq) % n]`` either drops a real value or includes a ``no_pad`` sentinel — silently bad output. The fix asserts that ``prev[end-1]`` is a real value and ``prev[end]`` is the sentinel before yielding the slice, raising ``LookupError`` when the invariant fails."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "toolz/itertoolz.py"
          ],
          "locations": [
            {
              "file": "toolz/itertoolz.py",
              "line": 729,
              "symbol": "partition_all"
            }
          ],
          "patch": "patches/partition_all_invalid_length_5a7e078_1.patch"
        },
        "bug": {
          "short_name": "partition_all_invalid_length",
          "invariant": "When a sequence's ``__len__`` is inconsistent with its iterated contents, ``partition_all(n, seq)`` must raise ``LookupError`` rather than silently emitting tuples that contain ``no_pad`` sentinels or drop real elements.",
          "how_triggered": "The mutation drops the ``end-1``/``end`` sentinel check from the fast path. With a list subclass whose ``__len__`` is off-by-one, ``len(seq) % n`` lands at the wrong slice boundary and the function yields a tuple containing the internal ``no_pad`` sentinel (or drops a value)."
        }
      },
      {
        "mutations": [
          "join_iteritems_namerror_80ae197_1"
        ],
        "tasks": [
          {
            "property": "JoinRightDefaultIterates",
            "witnesses": [
              {
                "test_fn": "witness_join_right_default_iterates_case_basic",
                "note": "Full outer join with one unmatched left key — bug NameErrors, fix yields the unmatched pair"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/pytoolz/toolz",
          "commits": [
            "80ae19783d10852619d435253cfc2e052be7a73c"
          ],
          "commit_subjects": [
            "Fix missed items call."
          ],
          "origin": "internal",
          "summary": "The full / right-default branch of ``join`` iterated unmatched left keys with ``iteritems(d)``. ``iteritems`` is defined in ``toolz.compatibility`` but never imported into ``toolz.itertoolz``, so any ``join(..., right_default=...)`` call where some left keys went unmatched would raise ``NameError`` at iteration time. The fix uses ``d.items()`` directly."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "toolz/itertoolz.py"
          ],
          "locations": [
            {
              "file": "toolz/itertoolz.py",
              "line": 918,
              "symbol": "join"
            }
          ],
          "patch": "patches/join_iteritems_namerror_80ae197_1.patch"
        },
        "bug": {
          "short_name": "join_iteritems_namerror",
          "invariant": "``join(leftkey, leftseq, rightkey, rightseq, right_default=...)`` yields one ``(left_match, right_default)`` tuple per left key with no matching right element — without raising.",
          "how_triggered": "The mutation reverts ``d.items()`` back to ``iteritems(d)``. Since ``iteritems`` is not imported in ``toolz/itertoolz.py``, the unmatched-keys loop raises NameError as soon as it is reached."
        }
      },
      {
        "mutations": [
          "fold_chunksize_one_e9c2724_1"
        ],
        "tasks": [
          {
            "property": "FoldChunksizeOneRejected",
            "witnesses": [
              {
                "test_fn": "witness_fold_chunksize_one_rejected_case_basic",
                "note": "fold(add, [1,2,3,4], chunksize=1) must raise; bug returns silently"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/pytoolz/toolz",
          "commits": [
            "e9c2724108a1487a1e781c86999ccd9d73471653"
          ],
          "commit_subjects": [
            "raise if chunksize less than two"
          ],
          "origin": "internal",
          "summary": "``toolz.sandbox.parallel.fold`` partitions the sequence into chunks of size ``chunksize`` and reduces each chunk before combining. With ``chunksize <= 1`` the per-chunk reduce never sees two elements, so it returns the single element instead of applying ``binop`` — and the overall result is wrong (e.g. ``fold(add, [1,2,3,4], chunksize=1)`` returns the last element rather than the sum). The fix asserts ``chunksize > 1`` so the misuse fails loudly."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "toolz/sandbox/parallel.py"
          ],
          "locations": [
            {
              "file": "toolz/sandbox/parallel.py",
              "line": 53,
              "symbol": "fold"
            }
          ],
          "patch": "patches/fold_chunksize_one_e9c2724_1.patch"
        },
        "bug": {
          "short_name": "fold_chunksize_one",
          "invariant": "``toolz.sandbox.parallel.fold(binop, seq, chunksize=k)`` raises ``AssertionError`` for any ``k <= 1``.",
          "how_triggered": "The mutation drops the ``assert chunksize > 1`` line. With ``chunksize=1`` the function silently produces a wrong reduction (the sequence is not actually combined), so the test that expects ``AssertionError`` instead observes a return value."
        }
      },
      {
        "mutations": [
          "topk_zero_key_falsy_dd87e4f_1"
        ],
        "tasks": [
          {
            "property": "TopkZeroKeyAccepted",
            "witnesses": [
              {
                "test_fn": "witness_topk_zero_key_accepted_case_basic",
                "note": "topk(2, [(0,4),(1,3),(2,2),(3,1),(4,0)], 0) — bug TypeErrors, fix returns the two highest-zeroth-field tuples"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/pytoolz/toolz",
          "commits": [
            "dd87e4f20f6ef591a57f3d28f43c1d1eb1318794"
          ],
          "commit_subjects": [
            "Fix topk to work with 0 for key"
          ],
          "origin": "internal",
          "summary": "``topk(k, seq, key=0)`` should sort tuples by their first element, but the buggy guard ``if key and not callable(key)`` treats ``key=0`` as falsy and skips the ``getter(0)`` conversion. ``key=0`` then propagates to ``heapq.nlargest`` as a non-callable integer, which raises ``TypeError: 'int' object is not callable``. The fix uses ``if key is not None and not callable(key)`` so integer indexers are honoured."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "toolz/itertoolz.py"
          ],
          "locations": [
            {
              "file": "toolz/itertoolz.py",
              "line": 990,
              "symbol": "topk"
            }
          ],
          "patch": "patches/topk_zero_key_falsy_dd87e4f_1.patch"
        },
        "bug": {
          "short_name": "topk_zero_key_falsy",
          "invariant": "``topk(k, seq, key=0)`` ranks tuples in ``seq`` by their zeroth field, never raising — i.e. the integer 0 is a valid key indexer.",
          "how_triggered": "The mutation reverts ``key is not None`` to ``key`` (truthiness). ``key=0`` is falsy, so ``getter(0)`` is never wrapped and ``heapq.nlargest`` receives ``key=0``, which is not callable: TypeError."
        }
      },
      {
        "mutations": [
          "dissoc_missing_key_keyerror_46b1726_1"
        ],
        "tasks": [
          {
            "property": "DissocMissingKeyOk",
            "witnesses": [
              {
                "test_fn": "witness_dissoc_missing_key_ok_case_basic",
                "note": "5-key dict, drop one missing key (fast path) — bug raises KeyError, fix returns the dict"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/pytoolz/toolz",
          "commits": [
            "46b17268bbd3c960f5471ea4dc9d68af976fc0cd"
          ],
          "commit_subjects": [
            "Make dissoc idempotent per #258."
          ],
          "issues": [
            258
          ],
          "origin": "internal",
          "summary": "``dissoc(d, *keys)`` deleted each key unconditionally on the small-keys fast path (``len(keys) < len(d) * .6``). Calling ``dissoc({'x': 1}, 'y')`` raised ``KeyError`` even though dropping a missing key should be a no-op. The fix wraps the ``del`` in ``if key in d2``, matching the semantics of the slow set-difference path."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "toolz/dicttoolz.py"
          ],
          "locations": [
            {
              "file": "toolz/dicttoolz.py",
              "line": 220,
              "symbol": "dissoc"
            }
          ],
          "patch": "patches/dissoc_missing_key_keyerror_46b1726_1.patch"
        },
        "bug": {
          "short_name": "dissoc_missing_key_keyerror",
          "invariant": "``dissoc(d, *keys)`` is idempotent and ignores missing keys: ``dissoc({'x': 1}, 'y')`` returns ``{'x': 1}`` and ``dissoc(dissoc({'x': 1}, 'x'), 'x')`` returns ``{}``.",
          "how_triggered": "The mutation drops the ``if key in d2`` guard on the fast path. With one key in ``d`` and one missing key supplied, the fast path is taken (1 < 1*.6 is False — actually fast path covers up to 60% — for a single-key dict where supplied key is missing, ``len(keys)=1 < .6`` is False, so it takes the SET branch). To reliably hit the fast path we need a larger ``d`` so 1 < .6*N is True; the witness uses a 5-element dict and a single missing key."
        }
      },
      {
        "mutations": [
          "isdistinct_iter_broken_060cc4b_1"
        ],
        "tasks": [
          {
            "property": "IsdistinctOnIterators",
            "witnesses": [
              {
                "test_fn": "witness_isdistinct_on_iterators_case_basic",
                "note": "isdistinct(iter([1,2,3])) — bug TypeErrors, fix returns True"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/pytoolz/toolz",
          "commits": [
            "060cc4bf8627c35e733c8037d9a4eebd0edb7fab"
          ],
          "commit_subjects": [
            "`isdistinct` now works on iterators.  See #89"
          ],
          "issues": [
            89
          ],
          "origin": "internal",
          "summary": "``isdistinct(seq)`` was implemented as ``len(seq) == len(set(seq))``. For iterators (anything where ``iter(seq) is seq``) this is wrong on two counts: ``len`` raises ``TypeError`` for iterators with no ``__len__``, and even when it doesn't, ``set(seq)`` consumes the iterator so ``len(seq)`` is then computed against an empty iterator. The fix dispatches on whether the input is its own iterator, and walks it once."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "toolz/itertoolz.py"
          ],
          "locations": [
            {
              "file": "toolz/itertoolz.py",
              "line": 287,
              "symbol": "isdistinct"
            }
          ],
          "patch": "patches/isdistinct_iter_broken_060cc4b_1.patch"
        },
        "bug": {
          "short_name": "isdistinct_iter_broken",
          "invariant": "``isdistinct(iter(xs))`` returns the same boolean as ``isdistinct(xs)`` for any sequence ``xs``.",
          "how_triggered": "The mutation collapses ``isdistinct`` back to ``return len(seq) == len(set(seq))``. Passing ``iter([1,2,3])`` raises ``TypeError`` (iterators have no ``__len__``); passing a generator likewise."
        }
      },
      {
        "mutations": [
          "accumulate_iter_double_consume_1d78a46_1"
        ],
        "tasks": [
          {
            "property": "AccumulateOnIterators",
            "witnesses": [
              {
                "test_fn": "witness_accumulate_on_iterators_case_basic",
                "note": "accumulate(add, iter([1,2,3])) — bug returns [1,4], fix returns [1,3,6]"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/pytoolz/toolz",
          "commits": [
            "1d78a46bffd43c9a232715303fdfc61ef9a1b424"
          ],
          "commit_subjects": [
            "Fixed bug in the accumulate function"
          ],
          "origin": "internal",
          "summary": "``accumulate`` started with ``result = next(iter(seq))`` and then iterated the rest with ``itertools.islice(seq, 1, None)``. For a true iterator argument, ``next(iter(seq))`` and ``islice(seq, 1, None)`` operate on the same underlying iterator: ``next`` consumes element 0, then ``islice(seq, 1, None)`` skips one MORE — so element 1 is dropped and accumulation starts from element 2. The fix binds ``seq = iter(seq)`` once and iterates it directly, yielding the correct result for both list and iterator inputs."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "toolz/itertoolz.py"
          ],
          "locations": [
            {
              "file": "toolz/itertoolz.py",
              "line": 57,
              "symbol": "accumulate"
            }
          ],
          "patch": "patches/accumulate_iter_double_consume_1d78a46_1.patch"
        },
        "bug": {
          "short_name": "accumulate_iter_double_consume",
          "invariant": "For any list ``xs`` and any binary operator ``binop``, ``list(accumulate(binop, iter(xs)))`` equals ``list(accumulate(binop, xs))``.",
          "how_triggered": "The mutation reverts ``seq = iter(seq)`` + ``for elem in seq`` to the buggy double-consume pattern (``next(iter(seq))`` + ``itertools.islice(seq, 1, None)``). On iterators, element 1 is silently skipped — ``list(accumulate(add, iter([1,2,3])))`` returns ``[1, 4]`` instead of ``[1, 3, 6]``."
        }
      },
      {
        "mutations": [
          "merge_with_mapping_typecheck_c696ac6_1"
        ],
        "tasks": [
          {
            "property": "MergeWithCustomMapping",
            "witnesses": [
              {
                "test_fn": "witness_merge_with_custom_mapping_case_basic",
                "note": "Custom Mapping with one key — bug TypeErrors, fix returns {key: func([value])}"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/pytoolz/toolz",
          "commits": [
            "c696ac6f3c2962b370fe8dda78c64cf2564e1457"
          ],
          "commit_subjects": [
            "Also fix merge_with"
          ],
          "origin": "internal",
          "summary": "``merge_with(func, *dicts)`` accepts either a list of dicts or a single iterable-of-dicts. To dispatch, it tested ``not isinstance(dicts[0], dict)`` — but a custom Mapping subclass that does NOT subclass ``dict`` would be wrongly treated as ``iterable-of-dicts`` and unpacked, raising ``TypeError`` (or producing nonsense). The fix tests against ``collections.abc.Mapping``, which is the correct ABC."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "toolz/dicttoolz.py"
          ],
          "locations": [
            {
              "file": "toolz/dicttoolz.py",
              "line": 57,
              "symbol": "merge_with"
            }
          ],
          "patch": "patches/merge_with_mapping_typecheck_c696ac6_1.patch"
        },
        "bug": {
          "short_name": "merge_with_mapping_typecheck",
          "invariant": "``merge_with(func, m)`` where ``m`` is any ``Mapping`` (not necessarily a ``dict``) returns a result equal to ``merge_with(func, dict(m))``.",
          "how_triggered": "The mutation reverts the isinstance check from ``Mapping`` back to ``dict``. A custom ``Mapping`` subclass that does not inherit from ``dict`` is now treated as an iterable of dicts; ``merge_with`` then iterates the mapping (which yields keys, not dicts) and crashes."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:38.705043641+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "187892us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:39.562102203+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "145481us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:39.930129236+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "142363us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:40.292099053+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "227265us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:40.740716275+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "126069us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:41.085492208+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "129721us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:41.439305422+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "141992us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:41.801103175+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "143789us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:42.168254322+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "141210us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:42.543290942+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "280809us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:43.063585358+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "1361422us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:44.671357550+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "1001135us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:45.910543936+00:00",
      "status": "failed",
      "tests": 30,
      "discards": 0,
      "time": "990759us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:47.142992623+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "954430us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:48.339154750+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "976106us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:49.564902763+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "1006449us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:50.811781825+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "987536us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:52.036519052+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "983629us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:53.280726751+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "992196us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionAllValidatesLength",
      "mutations": [
        "partition_all_invalid_length_5a7e078_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:54.516660489+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "969678us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 2, -1)",
      "hash": "0331e50e4b345e1b1b1797d3404cefc68f7e2697"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:55.851589118+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "503622us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:56.599379179+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "353358us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:57.203061525+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "443400us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:57.886723058+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "351915us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:58.478082186+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "440105us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:59.159970846+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "427788us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:59.817013521+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "461864us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:00.508518596+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "350923us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:01.092249178+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "519299us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:01.849724882+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "344669us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:02.426301501+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "1070162us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:03.741535034+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "1153131us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:05.141090752+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "1183450us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:06.571833328+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "1078226us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:07.899102010+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "1182469us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:09.331099623+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "974848us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:10.553874572+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "958796us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:11.757960218+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "951604us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:12.955598287+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "1185332us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "JoinRightDefaultIterates",
      "mutations": [
        "join_iteritems_namerror_80ae197_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:14.385888667+00:00",
      "status": "failed",
      "tests": 114,
      "discards": 0,
      "time": "1195228us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [])",
      "hash": "84f132cc264ad0d9c6c979bf176ffe9ac01fd380"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:15.933733266+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "153243us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:16.308126437+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "197255us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:16.723231161+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "152756us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:17.094250598+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "200862us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:17.512411660+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "156120us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:17.885516446+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "151874us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:18.257875291+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "156131us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:18.630574547+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "153720us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:19.002403956+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "152519us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:19.371638913+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "160167us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:19.748662493+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "12948101us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:32.938681145+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "12962209us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:46.143028313+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "12878224us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:59.261898245+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "12916875us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:12.419716287+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "13040749us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:25.704389326+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "12921892us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:38.868290840+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "13145211us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:52.256505272+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "13011236us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:05.511028668+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "13014418us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "FoldChunksizeOneRejected",
      "mutations": [
        "fold_chunksize_one_e9c2724_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:18.771470449+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "12921335us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "01187b72287b7700f3564d7c68880496ff7d2c07"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:32.039293064+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "101780us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:32.361871283+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "29088us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:32.607264165+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "28941us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:32.852963495+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "91193us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:33.160653674+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "28787us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:33.405923732+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "91436us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:33.713150124+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "78565us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:34.008896724+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "65343us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:34.290661972+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "29020us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:34.535017875+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "28867us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:34.779878372+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "445522us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:35.457927580+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "476895us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:36.171445765+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "484961us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:36.894439577+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "484553us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:37.617040616+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "475940us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:38.330457053+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "491294us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:39.060093345+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "449030us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:39.745043901+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "445877us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:40.426447751+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "473897us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "TopkZeroKeyAccepted",
      "mutations": [
        "topk_zero_key_falsy_dd87e4f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:41.133968004+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "447570us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "bb8638995feed893264949e569997dbffeaaf712"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:41.923017575+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "529824us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:42.690877405+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "389555us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:43.316408052+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "383593us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:43.929303266+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "454562us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:44.613639793+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "459516us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:45.303077617+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "369504us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:45.901349486+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "511157us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:46.641928008+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "511871us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:47.384282492+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "513817us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:48.128257259+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "373272us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:48.734205065+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "6977221us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:55.964121052+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "7026644us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:03.241140048+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "7005850us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:10.496920755+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "7027009us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:17.775098167+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "7029889us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:25.059836283+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "7010633us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:32.323211684+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "7035283us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:39.611228914+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "7077744us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:46.946250748+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "7049774us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "DissocMissingKeyOk",
      "mutations": [
        "dissoc_missing_key_keyerror_46b1726_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:54.247850639+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "7058487us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3], 100)",
      "hash": "802fcb82fd2c3f51ccd490ad8a2df819570afdd2"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:01.672721717+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "449029us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:02.365862197+00:00",
      "status": "failed",
      "tests": 94,
      "discards": 0,
      "time": "450243us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:03.051238450+00:00",
      "status": "failed",
      "tests": 92,
      "discards": 0,
      "time": "442778us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:03.720765382+00:00",
      "status": "failed",
      "tests": 97,
      "discards": 0,
      "time": "399559us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:04.347124679+00:00",
      "status": "failed",
      "tests": 101,
      "discards": 0,
      "time": "313480us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:04.887430164+00:00",
      "status": "failed",
      "tests": 92,
      "discards": 0,
      "time": "445549us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:05.558604152+00:00",
      "status": "failed",
      "tests": 98,
      "discards": 0,
      "time": "461371us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:06.254259242+00:00",
      "status": "failed",
      "tests": 99,
      "discards": 0,
      "time": "403749us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:06.887074289+00:00",
      "status": "failed",
      "tests": 89,
      "discards": 0,
      "time": "378606us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:07.491860574+00:00",
      "status": "failed",
      "tests": 88,
      "discards": 0,
      "time": "433617us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:08.151906071+00:00",
      "status": "failed",
      "tests": 94,
      "discards": 0,
      "time": "1175418us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:09.573571167+00:00",
      "status": "failed",
      "tests": 96,
      "discards": 0,
      "time": "974788us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:10.792664819+00:00",
      "status": "failed",
      "tests": 99,
      "discards": 0,
      "time": "1185405us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:12.224495868+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "1117990us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:13.589884974+00:00",
      "status": "failed",
      "tests": 101,
      "discards": 0,
      "time": "1102938us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:14.940305427+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "1198825us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:16.388377374+00:00",
      "status": "failed",
      "tests": 101,
      "discards": 0,
      "time": "1095739us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:17.730872695+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "1111781us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:19.088290671+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "1183494us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsdistinctOnIterators",
      "mutations": [
        "isdistinct_iter_broken_060cc4b_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:20.516604427+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "1177875us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "c3dc3d1d21dbacebca77a7e31701700ca614962a"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:22.048172640+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "117870us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:22.388674618+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "100094us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:22.705680999+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "118764us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:23.041391414+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "49575us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:23.309498675+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "91559us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:23.617789497+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "48223us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:23.881653994+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "54032us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:24.153028201+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "51565us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:24.420814447+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "91204us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:24.728846754+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "119876us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:25.066991382+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "1279045us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:26.580369530+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "1279010us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:28.092876515+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "1274045us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:29.600370244+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "1276480us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:31.111937554+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "1265973us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:32.613831799+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "1279802us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:34.129241755+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "1273628us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:35.641066717+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "1264149us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:37.140225781+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "1284301us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "AccumulateOnIterators",
      "mutations": [
        "accumulate_iter_double_consume_1d78a46_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:38.657303752+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "1273498us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "1c44cfbb5dd9a9c72f08adcc6b86883340e85759"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:40.272758100+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "460642us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:40.968577957+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "505433us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:41.704092769+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "370847us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:42.304175781+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "449895us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:42.984505327+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "506936us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:43.725619173+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "457277us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:44.414414390+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "445935us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:45.093246594+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "452317us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:45.776455272+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "444858us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:46.451175103+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "455451us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:47.138638901+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "1577180us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:48.964996627+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1483659us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:50.694881348+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1483742us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:52.429375704+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1570621us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:54.249042872+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1470891us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:55.974773059+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1582099us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:57.808953489+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1486916us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:59.551453907+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1577835us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:01.381840938+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1471347us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    },
    {
      "experiment": "ci-run",
      "workload": "toolz",
      "language": "python",
      "strategy": "crosshair",
      "property": "MergeWithCustomMapping",
      "mutations": [
        "merge_with_mapping_typecheck_c696ac6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:03.103261079+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1584086us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "6e98feaddf45a02024e31876005e122b0f6bc3e8"
    }
  ]
}