{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 19:37 UTC",
  "workload_docs": {
    "funcy": [
      {
        "mutations": [
          "walk_values_defaultdict_factory_c245b04_1"
        ],
        "tasks": [
          {
            "property": "WalkValuesDefaultdictFactory",
            "witnesses": [
              {
                "test_fn": "witness_walk_values_defaultdict_factory_case_basic",
                "note": "defaultdict(None, {1:10, 2:20}) — fix yields mapped values, bug TypeError"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/Suor/funcy",
          "commits": [
            "c245b042616a2a88c250884b318b06ea0113ca58"
          ],
          "commit_subjects": [
            "Fix walk_values() for defaultdicts with empty factory"
          ],
          "origin": "internal",
          "summary": "``_factory(coll, mapper=f)`` for a ``defaultdict`` with no ``default_factory`` (i.e. ``defaultdict(None, ...)``) constructed ``compose(mapper, None)`` whenever a mapper was supplied. ``compose`` returns a function that calls ``None()`` on first invocation, raising ``TypeError: 'NoneType' object is not callable`` from ``walk_values``. The fix only composes when ``coll.default_factory`` is itself truthy."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "funcy/colls.py"
          ],
          "locations": [
            {
              "file": "funcy/colls.py",
              "line": 36,
              "symbol": "_factory"
            }
          ],
          "patch": "patches/walk_values_defaultdict_factory_c245b04_1.patch"
        },
        "bug": {
          "short_name": "walk_values_defaultdict_factory",
          "invariant": "``walk_values(f, defaultdict(None, payload))`` returns a defaultdict whose mapping equals ``{k: f(v) for k, v in payload}``, without raising.",
          "how_triggered": "The mutation drops the ``and coll.default_factory`` guard, so ``compose(mapper, None)`` is built and ``walk_values`` raises ``TypeError`` when the resulting factory is invoked."
        }
      },
      {
        "mutations": [
          "flatten_follow_argument_54ed07a_1"
        ],
        "tasks": [
          {
            "property": "FlattenFollowArgument",
            "witnesses": [
              {
                "test_fn": "witness_flatten_follow_argument_case_nested",
                "note": "[[[[1,2,3]]]] with follow=is_list — fix flattens to [1,2,3], bug returns one-level-deep list"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/Suor/funcy",
          "commits": [
            "54ed07a6a52acad6f409a828f544c37ace003902"
          ],
          "commit_subjects": [
            "Fix bug with flatten() follow argument"
          ],
          "origin": "internal",
          "summary": "``flatten(seq, follow=p)`` recursed with the default ``is_seqcont`` predicate instead of the user-supplied ``follow``. As a result, only the top-level was flattened with ``p``; deeper nestings were either over-unpacked (when ``p`` was narrower than ``is_seqcont``) or under-unpacked (when ``p`` accepted shapes ``is_seqcont`` rejects). The fix passes ``follow`` through every recursive call."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "funcy/seqs.py"
          ],
          "locations": [
            {
              "file": "funcy/seqs.py",
              "line": 186,
              "symbol": "flatten"
            }
          ],
          "patch": "patches/flatten_follow_argument_54ed07a_1.patch"
        },
        "bug": {
          "short_name": "flatten_follow_argument",
          "invariant": "``flatten(nested, follow=is_list)`` fully unpacks an arbitrary-depth list-of-lists when ``is_list`` is the user-supplied predicate.",
          "how_triggered": "The mutation reverts the recursive call to ``flatten(item, is_seqcont)``. ``is_seqcont`` does not consider plain ``list`` instances as sequence containers in some intermediate branches when other follow predicates are used; with the bug, the user's predicate is honoured only at depth 1."
        }
      },
      {
        "mutations": [
          "iffy_default_argument_77e4c5e_1"
        ],
        "tasks": [
          {
            "property": "IffyDefaultArgument",
            "witnesses": [
              {
                "test_fn": "witness_iffy_default_argument_case_falsy",
                "note": "iffy(pred, default=99); 1-arg form means pred plays as action and default=99 must be returned for falsy v=0 — fix returns 99, bug returns identity(0)=0"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/Suor/funcy",
          "commits": [
            "77e4c5ee4f25fbcd760232e11da6df9f9a128322"
          ],
          "commit_subjects": [
            "Fix iffy() default argument"
          ],
          "origin": "internal",
          "summary": "``iffy(pred, action=EMPTY, default=identity)`` recurses through the action-is-EMPTY branch as ``iffy(bool, pred)``, dropping any caller-supplied ``default`` and silently substituting ``identity``. The fix forwards ``default`` into the recursive call."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "funcy/funcs.py"
          ],
          "locations": [
            {
              "file": "funcy/funcs.py",
              "line": 98,
              "symbol": "iffy"
            }
          ],
          "patch": "patches/iffy_default_argument_77e4c5e_1.patch"
        },
        "bug": {
          "short_name": "iffy_default_argument",
          "invariant": "``iffy(pred, default=k)(v)`` returns ``k`` when ``not pred(v)``.",
          "how_triggered": "The mutation drops the ``default`` argument from the recursive call, so the 1-arg form silently uses ``identity`` and the value passes through unchanged when it should fall back to ``k``."
        }
      },
      {
        "mutations": [
          "empty_iterators_4a5e9df_1"
        ],
        "tasks": [
          {
            "property": "EmptyOnIterators",
            "witnesses": [
              {
                "test_fn": "witness_empty_on_iterators_case_basic",
                "note": "iter([1,2,3]) — fix returns iter([]), bug TypeError"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/Suor/funcy",
          "commits": [
            "4a5e9df9d65c1dc980a1aeb5f2e0f837eae689e4"
          ],
          "commit_subjects": [
            "Fix empty() on iterators"
          ],
          "origin": "internal",
          "summary": "``empty(coll)`` for an iterator funnelled through ``_factory(coll)()`` which returned ``iter`` (the constructor) and then attempted ``iter()`` with no arguments — which raises ``TypeError: iter expected at least 1 argument``. The fix special-cases ``Iterator`` to return ``iter([])``."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "funcy/colls.py"
          ],
          "locations": [
            {
              "file": "funcy/colls.py",
              "line": 50,
              "symbol": "empty"
            }
          ],
          "patch": "patches/empty_iterators_4a5e9df_1.patch"
        },
        "bug": {
          "short_name": "empty_iterators",
          "invariant": "``list(empty(iter(xs)))`` is ``[]`` and the call does not raise.",
          "how_triggered": "The mutation removes the iterator special case so ``empty(iter(xs))`` falls into ``_factory(coll)()`` which is ``iter()``, raising ``TypeError``."
        }
      },
      {
        "mutations": [
          "partition_by_extended_mapper_7729f8d_1"
        ],
        "tasks": [
          {
            "property": "PartitionByExtendedMapper",
            "witnesses": [
              {
                "test_fn": "witness_partition_by_extended_mapper_case_basic",
                "note": "regex \\d on mixed string — fix produces multiple chunks, bug collapses by truthiness"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/Suor/funcy",
          "commits": [
            "7729f8da225742c3eb9c9ab5f939efa0e6e6aea6"
          ],
          "commit_subjects": [
            "Fix i?partition_by() for non-boolean extended mapper"
          ],
          "origin": "internal",
          "summary": "``partition_by(f, seq)`` forced the key function through ``make_pred`` rather than ``make_func``. ``make_pred`` wraps the result in ``bool``, collapsing every distinct match value into ``True`` and every miss into ``False``. With a regex string mapper like ``\\d``, every digit collapses into one bucket instead of being grouped by the matched character."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "funcy/seqs.py"
          ],
          "locations": [
            {
              "file": "funcy/seqs.py",
              "line": 402,
              "symbol": "partition_by"
            }
          ],
          "patch": "patches/partition_by_extended_mapper_7729f8d_1.patch"
        },
        "bug": {
          "short_name": "partition_by_extended_mapper",
          "invariant": "``lpartition_by('\\d', list(s))`` groups consecutive items by what the regex matches, distinguishing different match results — not by truthiness.",
          "how_triggered": "The mutation reverts to ``make_pred(f)``. The bool collapse erases distinctions between match values, so e.g. \"1211\" partitions into one chunk instead of three."
        }
      },
      {
        "mutations": [
          "where_nonexistent_keys_e068b64_1"
        ],
        "tasks": [
          {
            "property": "WhereNonexistentKeys",
            "witnesses": [
              {
                "test_fn": "witness_where_nonexistent_keys_case_missing",
                "note": "mappings = [{}, {'a': 5}], where(..., a=5) — fix returns [{'a':5}], bug KeyError"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/Suor/funcy",
          "commits": [
            "e068b64005b0f3c432311a7584b82d4e08420a67"
          ],
          "commit_subjects": [
            "Don't crash in where on nonexistent keys from conditions"
          ],
          "origin": "internal",
          "summary": "``where(mappings, **cond)`` evaluated ``m[k] == v`` directly. If any mapping in ``mappings`` lacked a ``cond`` key, the call raised ``KeyError`` instead of treating the mapping as a non-match. The fix guards with ``k in m and m[k] == v``."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "funcy/colls.py"
          ],
          "locations": [
            {
              "file": "funcy/colls.py",
              "line": 360,
              "symbol": "where"
            }
          ],
          "patch": "patches/where_nonexistent_keys_e068b64_1.patch"
        },
        "bug": {
          "short_name": "where_nonexistent_keys",
          "invariant": "``where(mappings, k=v)`` returns the mappings whose ``k`` equals ``v``; mappings lacking ``k`` are silently skipped, not surfaced as ``KeyError``.",
          "how_triggered": "The mutation drops the ``k in m`` guard from the lambda, so a mapping without one of the cond keys raises ``KeyError`` from inside ``filter``."
        }
      },
      {
        "mutations": [
          "cache_mixed_args_592b6ea_1"
        ],
        "tasks": [
          {
            "property": "CacheMixedArgs",
            "witnesses": [
              {
                "test_fn": "witness_cache_mixed_args_case_basic",
                "note": "add(1, y=2) under @cache — fix returns 3, bug raises TypeError"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/Suor/funcy",
          "commits": [
            "592b6eaa3b004885ed0f4f1cbde81ffef3d91c87"
          ],
          "commit_subjects": [
            "Fix @cache with mixed positional and keywords args"
          ],
          "issues": [
            60
          ],
          "origin": "internal",
          "summary": "On a cache miss with mixed positional and keyword arguments the wrapper called ``func(*key, **kwargs)`` where ``key = args + tuple(sorted(kwargs.items()))``. The unpacked ``key`` includes the keyword-pair tuples as positional arguments, doubling those values and corrupting the function call. The fix dispatches with ``func(*args, **kwargs)``."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "funcy/calc.py"
          ],
          "locations": [
            {
              "file": "funcy/calc.py",
              "line": 55,
              "symbol": "_memory_decorator"
            }
          ],
          "patch": "patches/cache_mixed_args_592b6ea_1.patch"
        },
        "bug": {
          "short_name": "cache_mixed_args",
          "invariant": "Calling a ``@cache(timeout)``-wrapped function with mixed positional and keyword arguments returns the same result as calling the unwrapped function with the same arguments.",
          "how_triggered": "The mutation reverts the call to ``func(*key, **kwargs)``. With a positional + kwarg call, ``key`` includes the sorted ``(name, value)`` pair, so the wrapped function receives extra positional arguments and either raises ``TypeError`` or silently returns the wrong result."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:12.278354588+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "607178us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:13.614239717+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "381987us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:14.248351134+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "514471us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:15.016002588+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "449156us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:15.707959087+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "456077us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:16.418068766+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "441704us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:17.100437096+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "500670us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:17.836507774+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "451863us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:18.534195377+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "372191us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:19.150472977+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "505006us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:19.905720156+00:00",
      "status": "failed",
      "tests": 114,
      "discards": 0,
      "time": "1556243us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:21.741782824+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1137838us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:23.156633388+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "1277676us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:24.703289846+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1353391us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:26.323854230+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1292849us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:27.899899586+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1150317us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:29.315038547+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "1335656us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:30.914586916+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1278921us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:32.467004817+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1291248us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WalkValuesDefaultdictFactory",
      "mutations": [
        "walk_values_defaultdict_factory_c245b04_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:34.024759392+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1146822us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "fc9a83b7647003b52234cc716081778222762337"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:35.510466922+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "100548us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:35.839196075+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "53063us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:36.116273704+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "49516us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:36.387717743+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "125203us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:36.740103928+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "56217us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:37.027937598+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "88923us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:37.343212364+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "194804us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:37.763132549+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "129697us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:38.119040041+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "53494us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:38.399470386+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "53178us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:38.685592543+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "848578us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:39.781482664+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "841132us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:40.867333007+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "833555us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:41.949527491+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "835157us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:43.032087263+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "844870us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:44.123379446+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "839292us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:45.205920166+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "827592us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:46.273711180+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "830758us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:47.343821820+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "844040us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "FlattenFollowArgument",
      "mutations": [
        "flatten_follow_argument_54ed07a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:48.434061365+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "834722us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0]",
      "hash": "ba1dbefee669a6fda07b52997de805671314eeb9"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:49.594494995+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "445717us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:50.284238385+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "316701us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:50.840855873+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "446405us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:51.529627282+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "314636us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:52.078611468+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "314485us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:52.627829509+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "319315us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:53.185556923+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "393978us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:53.815256548+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "453390us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:54.510453500+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "453531us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:55.204243966+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "303526us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:55.748099093+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "1304467us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:57.302628410+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1297770us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:58.856857218+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1261288us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:00.377679484+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1269083us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:01.903494452+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1256863us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:03.410474875+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "1268796us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:04.942582987+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1260128us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:06.459626471+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1305391us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:08.023842830+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1247963us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "IffyDefaultArgument",
      "mutations": [
        "iffy_default_argument_77e4c5e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:09.530158544+00:00",
      "status": "failed",
      "tests": 114,
      "discards": 0,
      "time": "1292153us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "3690582b26a303ed91ce2319686bccc3b00a6821"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:11.165605268+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "399481us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:11.804287998+00:00",
      "status": "failed",
      "tests": 79,
      "discards": 0,
      "time": "352976us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:12.387611601+00:00",
      "status": "failed",
      "tests": 81,
      "discards": 0,
      "time": "404993us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:13.025292696+00:00",
      "status": "failed",
      "tests": 94,
      "discards": 0,
      "time": "435921us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:13.697972164+00:00",
      "status": "failed",
      "tests": 93,
      "discards": 0,
      "time": "429809us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:14.356281072+00:00",
      "status": "failed",
      "tests": 93,
      "discards": 0,
      "time": "380178us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:14.969203420+00:00",
      "status": "failed",
      "tests": 93,
      "discards": 0,
      "time": "297866us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:15.500373806+00:00",
      "status": "failed",
      "tests": 92,
      "discards": 0,
      "time": "375115us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:16.112665993+00:00",
      "status": "failed",
      "tests": 96,
      "discards": 0,
      "time": "439318us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:16.787546739+00:00",
      "status": "failed",
      "tests": 84,
      "discards": 0,
      "time": "415981us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:17.445158214+00:00",
      "status": "failed",
      "tests": 99,
      "discards": 0,
      "time": "922980us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:18.621230308+00:00",
      "status": "failed",
      "tests": 91,
      "discards": 0,
      "time": "1016072us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:19.889696429+00:00",
      "status": "failed",
      "tests": 100,
      "discards": 0,
      "time": "1042941us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:21.193507357+00:00",
      "status": "failed",
      "tests": 96,
      "discards": 0,
      "time": "1133028us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:22.580001691+00:00",
      "status": "failed",
      "tests": 96,
      "discards": 0,
      "time": "923122us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:23.765062048+00:00",
      "status": "failed",
      "tests": 97,
      "discards": 0,
      "time": "921887us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:24.940282700+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "1142778us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:26.336233761+00:00",
      "status": "failed",
      "tests": 95,
      "discards": 0,
      "time": "1170530us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:27.761630003+00:00",
      "status": "failed",
      "tests": 84,
      "discards": 0,
      "time": "1079188us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "EmptyOnIterators",
      "mutations": [
        "empty_iterators_4a5e9df_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:29.094260303+00:00",
      "status": "failed",
      "tests": 98,
      "discards": 0,
      "time": "1146866us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "3a6f0cb4f95cf5a600386e6a258ce55083680999"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:30.584296965+00:00",
      "status": "failed",
      "tests": 72,
      "discards": 0,
      "time": "227822us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:31.050244487+00:00",
      "status": "failed",
      "tests": 70,
      "discards": 0,
      "time": "192027us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:31.467836518+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "146021us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:31.843141600+00:00",
      "status": "failed",
      "tests": 53,
      "discards": 0,
      "time": "170963us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:32.242368490+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "84148us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:32.546936534+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "143467us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:32.913550861+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "76609us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:33.214767529+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "144684us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:33.583344844+00:00",
      "status": "failed",
      "tests": 37,
      "discards": 0,
      "time": "144341us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:33.956922791+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "74153us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:34.255564482+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "1997196us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:36.498641974+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "1977852us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:38.721717869+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "1995156us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:40.964517547+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "1984477us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:43.196221408+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "1980420us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:45.423203377+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "1992443us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:47.662871622+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "1974077us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:49.886353589+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "1986998us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:52.126337709+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "1995365us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "PartitionByExtendedMapper",
      "mutations": [
        "partition_by_extended_mapper_7729f8d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:54.369926771+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "1983142us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0, 0, 1]",
      "hash": "aa272edf72b58fd625eea4c2e1aea8d6205a7cce"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:56.702243849+00:00",
      "status": "failed",
      "tests": 75,
      "discards": 0,
      "time": "249205us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:57.193415593+00:00",
      "status": "failed",
      "tests": 80,
      "discards": 0,
      "time": "265066us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:57.710046062+00:00",
      "status": "failed",
      "tests": 82,
      "discards": 0,
      "time": "280946us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:58.236434824+00:00",
      "status": "failed",
      "tests": 80,
      "discards": 0,
      "time": "347235us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:58.821007367+00:00",
      "status": "failed",
      "tests": 81,
      "discards": 0,
      "time": "352154us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:59.408994135+00:00",
      "status": "failed",
      "tests": 80,
      "discards": 0,
      "time": "400765us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:00.040193453+00:00",
      "status": "failed",
      "tests": 80,
      "discards": 0,
      "time": "351137us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:00.627312673+00:00",
      "status": "failed",
      "tests": 75,
      "discards": 0,
      "time": "402709us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:01.271662831+00:00",
      "status": "failed",
      "tests": 81,
      "discards": 0,
      "time": "352507us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:01.862025327+00:00",
      "status": "failed",
      "tests": 78,
      "discards": 0,
      "time": "400408us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:02.499631217+00:00",
      "status": "failed",
      "tests": 80,
      "discards": 0,
      "time": "966780us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:03.723782977+00:00",
      "status": "failed",
      "tests": 79,
      "discards": 0,
      "time": "968151us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:04.949593092+00:00",
      "status": "failed",
      "tests": 77,
      "discards": 0,
      "time": "914926us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:06.114526630+00:00",
      "status": "failed",
      "tests": 79,
      "discards": 0,
      "time": "952146us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:07.324772833+00:00",
      "status": "failed",
      "tests": 76,
      "discards": 0,
      "time": "946527us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:08.528474974+00:00",
      "status": "failed",
      "tests": 80,
      "discards": 0,
      "time": "971116us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:09.757930673+00:00",
      "status": "failed",
      "tests": 79,
      "discards": 0,
      "time": "929587us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:10.938839031+00:00",
      "status": "failed",
      "tests": 73,
      "discards": 0,
      "time": "934315us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:12.130396595+00:00",
      "status": "failed",
      "tests": 76,
      "discards": 0,
      "time": "951561us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "WhereNonexistentKeys",
      "mutations": [
        "where_nonexistent_keys_e068b64_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:13.345896129+00:00",
      "status": "failed",
      "tests": 76,
      "discards": 0,
      "time": "956286us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "ccb36f6e328e125d87041c7017890e526d932333"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:14.635047096+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "319331us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:15.189983867+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "321265us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:15.752288096+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "338101us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:16.322904725+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "313335us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:16.866754228+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "321849us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:17.428808820+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "323331us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:18.006951933+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "310369us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:18.562883098+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "325374us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:19.129567973+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "456817us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:19.830029842+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "454475us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:20.530351345+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "926338us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:21.707621783+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "908575us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:22.862430774+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "946302us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:24.063496193+00:00",
      "status": "failed",
      "tests": 114,
      "discards": 0,
      "time": "941275us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:25.276452270+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "903696us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:26.438343734+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "917645us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:27.617062106+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "883833us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:28.754754215+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "901191us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:29.908351890+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "934306us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    },
    {
      "experiment": "ci-run",
      "workload": "funcy",
      "language": "python",
      "strategy": "crosshair",
      "property": "CacheMixedArgs",
      "mutations": [
        "cache_mixed_args_592b6ea_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:31.101026730+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "921618us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 0)",
      "hash": "30fa65a72e78fb3c0c7314d51476fa3f35c3360f"
    }
  ]
}