{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 19:38 UTC",
  "workload_docs": {
    "bidict": [
      {
        "mutations": [
          "bidict_none_silently_empty_678c007_1"
        ],
        "tasks": [
          {
            "property": "BidictNoneRejected",
            "witnesses": [
              {
                "test_fn": "witness_bidict_none_rejected_case_basic",
                "note": "bidict(None) must raise TypeError"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jab/bidict",
          "commits": [
            "678c007d39656fc2305d05fc2ee3c87c5833719e"
          ],
          "commit_subjects": [
            "bugfix + rewrite tests + misc. improvements (#295) — Fix bidict(None) bug (should raise TypeError)"
          ],
          "prs": [
            295
          ],
          "origin": "internal",
          "summary": "``bidict(None)`` should raise TypeError, but pre-fix code in ``BidictBase._update`` skipped the type check and short-circuited on ``not arg`` first, so ``bidict(None)`` silently produced an empty bidict."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "bidict/_base.py"
          ],
          "locations": [
            {
              "file": "bidict/_base.py",
              "line": 438,
              "symbol": "BidictBase._update"
            }
          ],
          "patch": "patches/bidict_none_silently_empty_678c007_1.patch"
        },
        "bug": {
          "short_name": "bidict_none_silently_empty",
          "invariant": "Constructing ``bidict(arg)`` with a non-iterable, non-Maplike ``arg`` (e.g. ``None``) raises TypeError; it must not return an empty bidict.",
          "how_triggered": "The mutation removes the ``isinstance(arg, (Iterable, Maplike))`` early-raise from ``_update``, letting the ``if not arg and not kw: return`` short-circuit fire on ``None`` and silently produce an empty bidict."
        }
      },
      {
        "mutations": [
          "ior_returns_new_bidict_6faf1ef_1"
        ],
        "tasks": [
          {
            "property": "IorPreservesIdentity",
            "witnesses": [
              {
                "test_fn": "witness_ior_preserves_identity_case_basic",
                "note": "alias-after-|= must reflect the new items"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jab/bidict",
          "commits": [
            "6faf1ef03f8fb2c72f289149edf598e5dda0bde1"
          ],
          "commit_subjects": [
            "Fix updating orderedbidict.inv"
          ],
          "origin": "internal",
          "summary": "``b |= other`` must mutate ``b`` in place and return ``b`` itself, mirroring ``dict.__ior__``. A buggy ``__ior__`` that delegates to ``__or__`` rebinds ``b`` to a new bidict — any aliased reference to ``b`` is left pointing at the pre-update contents."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "bidict/_bidict.py"
          ],
          "locations": [
            {
              "file": "bidict/_bidict.py",
              "line": 176,
              "symbol": "MutableBidict.__ior__"
            }
          ],
          "patch": "patches/ior_returns_new_bidict_6faf1ef_1.patch"
        },
        "bug": {
          "short_name": "ior_returns_new_bidict",
          "invariant": "After ``b |= other``, ``b`` is the same object as before (``id(b)`` unchanged) and contains the union; any aliased reference observes the new contents.",
          "how_triggered": "The mutation replaces ``self.update(other); return self`` with ``return self.__or__(other)``, returning a fresh bidict instead of mutating self. Aliased references to ``b`` continue to see the original contents."
        }
      },
      {
        "mutations": [
          "or_mutates_self_2074f4b_1"
        ],
        "tasks": [
          {
            "property": "OrDoesNotMutateSelf",
            "witnesses": [
              {
                "test_fn": "witness_or_does_not_mutate_self_case_basic",
                "note": "a | b must leave a unchanged"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jab/bidict",
          "commits": [
            "2074f4b0d88c09cf02335231faf341930afcf400"
          ],
          "commit_subjects": [
            "implement stricter 1-to-1 checking + many fixes + improvements"
          ],
          "origin": "internal",
          "summary": "``a | b`` must not mutate ``a``. A buggy ``__or__`` that updates ``self`` in place (skipping the ``new = self.copy()`` step) clobbers ``a`` with every union expression."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "bidict/_base.py"
          ],
          "locations": [
            {
              "file": "bidict/_base.py",
              "line": 513,
              "symbol": "BidictBase.__or__"
            }
          ],
          "patch": "patches/or_mutates_self_2074f4b_1.patch"
        },
        "bug": {
          "short_name": "or_mutates_self",
          "invariant": "Computing ``a | b`` returns a fresh bidict and leaves ``a`` unchanged: ``dict(a)`` before and after the ``|`` are equal.",
          "how_triggered": "The mutation removes the ``self.copy()`` call from ``__or__``, so the union is applied to ``self`` directly. The expression returns the now-mutated ``self`` instead of a separate result."
        }
      },
      {
        "mutations": [
          "popitem_orphans_inverse_b1d1c70_1"
        ],
        "tasks": [
          {
            "property": "PopitemKeepsInverseConsistent",
            "witnesses": [
              {
                "test_fn": "witness_popitem_keeps_inverse_consistent_case_basic",
                "note": "popped value must vanish from inverse"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jab/bidict",
          "commits": [
            "3d8812a1e3669e7083052cf356b00da1c0816a9b"
          ],
          "commit_subjects": [
            "hand-crafted: popitem must remove from the inverse mapping"
          ],
          "origin": "internal",
          "summary": "``b.popitem()`` must remove the popped item from both ``_fwdm`` and ``_invm`` so the bidict's two backing dicts stay in sync. A buggy implementation that updates only ``_fwdm`` leaves the popped value as a stale reverse-edge in ``b.inv``."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "bidict/_bidict.py"
          ],
          "locations": [
            {
              "file": "bidict/_bidict.py",
              "line": 153,
              "symbol": "MutableBidict.popitem"
            }
          ],
          "patch": "patches/popitem_orphans_inverse_b1d1c70_1.patch"
        },
        "bug": {
          "short_name": "popitem_orphans_inverse",
          "invariant": "After ``b.popitem()`` returns ``(k, v)``, ``k`` is no longer a key of ``b``, ``v`` is no longer a key of ``b.inv``, and ``len(b) == len(b.inv)``.",
          "how_triggered": "The mutation drops the ``del self._invm[val]`` line from ``popitem``. ``_fwdm`` shrinks by one, ``_invm`` does not, and the inverse mapping retains a stale reverse-edge for the popped value."
        }
      },
      {
        "mutations": [
          "forceput_raises_on_dup_b1d1c71_1"
        ],
        "tasks": [
          {
            "property": "ForceputOverwritesNotRaises",
            "witnesses": [
              {
                "test_fn": "witness_forceput_overwrites_not_raises_case_dup_key",
                "note": "duplicate-key forceput must drop the old mapping"
              },
              {
                "test_fn": "witness_forceput_overwrites_not_raises_case_dup_val",
                "note": "duplicate-value forceput must drop the old mapping"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jab/bidict",
          "commits": [
            "3d8812a1e3669e7083052cf356b00da1c0816a9b"
          ],
          "commit_subjects": [
            "hand-crafted: forceput's contract is unconditional override — must drop_old, not raise"
          ],
          "origin": "internal",
          "summary": "``b.forceput(k, v)`` always overwrites any existing item that duplicates ``k`` or ``v``, by passing ``ON_DUP_DROP_OLD``. A buggy implementation that passes ``ON_DUP_RAISE`` instead turns ``forceput`` into ``put``, raising DuplicationError on the very inputs forceput is supposed to handle."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "bidict/_bidict.py"
          ],
          "locations": [
            {
              "file": "bidict/_bidict.py",
              "line": 118,
              "symbol": "MutableBidict.forceput"
            }
          ],
          "patch": "patches/forceput_raises_on_dup_b1d1c71_1.patch"
        },
        "bug": {
          "short_name": "forceput_raises_on_dup",
          "invariant": "``b.forceput(k, v)`` always succeeds without raising; afterwards ``b[k] == v`` and ``b.inv[v] == k``.",
          "how_triggered": "The mutation flips ``forceput``'s ``on_dup`` argument from ``ON_DUP_DROP_OLD`` to ``ON_DUP_RAISE``, so any duplicate key or duplicate value triggers a DuplicationError instead of being silently overwritten."
        }
      },
      {
        "mutations": [
          "ordered_popitem_last_swapped_b1d1c72_1"
        ],
        "tasks": [
          {
            "property": "OrderedPopitemLastFalseReturnsFirst",
            "witnesses": [
              {
                "test_fn": "witness_ordered_popitem_last_false_returns_first_case_basic",
                "note": "popitem(last=False) must return first; popitem(last=True) must return last"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jab/bidict",
          "commits": [
            "3d8812a1e3669e7083052cf356b00da1c0816a9b"
          ],
          "commit_subjects": [
            "hand-crafted: OrderedBidict.popitem(last=False) must return first item"
          ],
          "origin": "internal",
          "summary": "``OrderedBidict.popitem(last=False)`` must return the first inserted item (LRU-style); ``popitem(last=True)`` returns the most recently inserted item. The mapping is the same as ``collections.OrderedDict.popitem``."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "bidict/_orderedbidict.py"
          ],
          "locations": [
            {
              "file": "bidict/_orderedbidict.py",
              "line": 70,
              "symbol": "OrderedBidict.popitem"
            }
          ],
          "patch": "patches/ordered_popitem_last_swapped_b1d1c72_1.patch"
        },
        "bug": {
          "short_name": "ordered_popitem_last_swapped",
          "invariant": "For an ``OrderedBidict`` with at least two items, ``popitem(last=False)`` returns the first inserted item and ``popitem(last=True)`` returns the most recent.",
          "how_triggered": "The mutation flips the ``'prv' if last else 'nxt'`` ternary inside ``OrderedBidict.popitem`` to ``'prv' if not last else 'nxt'``, so the head/tail selection is inverted."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:08.934813215+00:00",
      "status": "failed",
      "tests": 69,
      "discards": 0,
      "time": "242315us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:10.314904601+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "204656us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:10.744511378+00:00",
      "status": "failed",
      "tests": 67,
      "discards": 0,
      "time": "215848us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:11.187117169+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "219975us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:11.635437584+00:00",
      "status": "failed",
      "tests": 63,
      "discards": 0,
      "time": "208943us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:12.073018311+00:00",
      "status": "failed",
      "tests": 71,
      "discards": 0,
      "time": "223949us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:12.526560774+00:00",
      "status": "failed",
      "tests": 69,
      "discards": 0,
      "time": "206471us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:12.966412939+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "227959us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:13.432288207+00:00",
      "status": "failed",
      "tests": 71,
      "discards": 0,
      "time": "203885us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:13.861143245+00:00",
      "status": "failed",
      "tests": 69,
      "discards": 0,
      "time": "204460us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:14.289967869+00:00",
      "status": "failed",
      "tests": 75,
      "discards": 0,
      "time": "1278208us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:15.821116371+00:00",
      "status": "failed",
      "tests": 80,
      "discards": 0,
      "time": "695295us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:16.772356644+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "708888us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:17.734988464+00:00",
      "status": "failed",
      "tests": 76,
      "discards": 0,
      "time": "687603us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:18.664914346+00:00",
      "status": "failed",
      "tests": 72,
      "discards": 0,
      "time": "661007us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:19.572269932+00:00",
      "status": "failed",
      "tests": 80,
      "discards": 0,
      "time": "703261us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:20.522359129+00:00",
      "status": "failed",
      "tests": 78,
      "discards": 0,
      "time": "690063us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:21.461126072+00:00",
      "status": "failed",
      "tests": 75,
      "discards": 0,
      "time": "700089us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:22.412513321+00:00",
      "status": "failed",
      "tests": 76,
      "discards": 0,
      "time": "678914us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "BidictNoneRejected",
      "mutations": [
        "bidict_none_silently_empty_678c007_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:23.346016101+00:00",
      "status": "failed",
      "tests": 72,
      "discards": 0,
      "time": "698900us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7095783aae158e17d3d83e6212be828a22bb69ef"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:24.371603296+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "626212us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:25.249382733+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "523723us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:26.007512391+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "599668us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:26.847130425+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "545414us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:27.635576287+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "588373us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:28.458564454+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "574113us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:29.273036249+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "523134us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:30.034453678+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "461526us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:30.735723208+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "565367us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:31.548303708+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "544643us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:32.343102285+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "1742940us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:34.355517173+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "1644558us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:36.262074666+00:00",
      "status": "failed",
      "tests": 114,
      "discards": 0,
      "time": "1783014us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:38.313124156+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1682134us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:40.258779193+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "1629457us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:42.153675310+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "1540433us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:43.957645528+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "1642463us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:45.859721933+00:00",
      "status": "failed",
      "tests": 114,
      "discards": 0,
      "time": "1666865us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:47.792334583+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "1736564us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_returns_new_bidict_6faf1ef_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:49.787521739+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "1733704us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "de9130c3744707feff2a578bcbf719854cd0adf8"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:51.857529041+00:00",
      "status": "failed",
      "tests": 163,
      "discards": 0,
      "time": "891450us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:53.002156146+00:00",
      "status": "failed",
      "tests": 157,
      "discards": 0,
      "time": "898748us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:54.157096538+00:00",
      "status": "failed",
      "tests": 134,
      "discards": 0,
      "time": "798644us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:55.204232097+00:00",
      "status": "failed",
      "tests": 150,
      "discards": 0,
      "time": "832353us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:56.285008449+00:00",
      "status": "failed",
      "tests": 139,
      "discards": 0,
      "time": "799933us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:57.322296638+00:00",
      "status": "failed",
      "tests": 151,
      "discards": 0,
      "time": "874217us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:58.439802798+00:00",
      "status": "failed",
      "tests": 180,
      "discards": 0,
      "time": "927733us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:59.626195180+00:00",
      "status": "failed",
      "tests": 140,
      "discards": 0,
      "time": "835246us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:00.705818250+00:00",
      "status": "failed",
      "tests": 151,
      "discards": 0,
      "time": "1012283us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:01.965054477+00:00",
      "status": "failed",
      "tests": 138,
      "discards": 0,
      "time": "835867us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:03.041327680+00:00",
      "status": "failed",
      "tests": 144,
      "discards": 0,
      "time": "2070410us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:05.375998823+00:00",
      "status": "failed",
      "tests": 150,
      "discards": 0,
      "time": "2089424us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:07.727901919+00:00",
      "status": "failed",
      "tests": 137,
      "discards": 0,
      "time": "2018578us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:10.012050421+00:00",
      "status": "failed",
      "tests": 146,
      "discards": 0,
      "time": "2128768us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:12.408249275+00:00",
      "status": "failed",
      "tests": 148,
      "discards": 0,
      "time": "2094666us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:14.764392078+00:00",
      "status": "failed",
      "tests": 150,
      "discards": 0,
      "time": "2105737us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:17.134899317+00:00",
      "status": "failed",
      "tests": 145,
      "discards": 0,
      "time": "2110008us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:19.509361933+00:00",
      "status": "failed",
      "tests": 149,
      "discards": 0,
      "time": "2127596us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:21.902986499+00:00",
      "status": "failed",
      "tests": 150,
      "discards": 0,
      "time": "2108706us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrDoesNotMutateSelf",
      "mutations": [
        "or_mutates_self_2074f4b_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:24.280535687+00:00",
      "status": "failed",
      "tests": 147,
      "discards": 0,
      "time": "2110925us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [(0, 0)])",
      "hash": "d19da0c3d5d801b1fa175f7e53885eda52a7c2da"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:26.728096110+00:00",
      "status": "failed",
      "tests": 139,
      "discards": 0,
      "time": "810850us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:27.782988073+00:00",
      "status": "failed",
      "tests": 142,
      "discards": 0,
      "time": "823049us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:28.854442310+00:00",
      "status": "failed",
      "tests": 137,
      "discards": 0,
      "time": "923819us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:30.020071195+00:00",
      "status": "failed",
      "tests": 131,
      "discards": 0,
      "time": "858202us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:31.122636700+00:00",
      "status": "failed",
      "tests": 136,
      "discards": 0,
      "time": "812096us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:32.178670307+00:00",
      "status": "failed",
      "tests": 141,
      "discards": 0,
      "time": "879230us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:33.300312860+00:00",
      "status": "failed",
      "tests": 126,
      "discards": 0,
      "time": "771374us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:34.316689451+00:00",
      "status": "failed",
      "tests": 134,
      "discards": 0,
      "time": "929028us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:35.499785749+00:00",
      "status": "failed",
      "tests": 131,
      "discards": 0,
      "time": "774876us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:36.519244783+00:00",
      "status": "failed",
      "tests": 143,
      "discards": 0,
      "time": "817174us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:37.587003392+00:00",
      "status": "failed",
      "tests": 138,
      "discards": 0,
      "time": "1949302us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:39.805827070+00:00",
      "status": "failed",
      "tests": 153,
      "discards": 0,
      "time": "2002737us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:42.072901022+00:00",
      "status": "failed",
      "tests": 141,
      "discards": 0,
      "time": "1928218us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:44.265409933+00:00",
      "status": "failed",
      "tests": 139,
      "discards": 0,
      "time": "1987530us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:46.517482842+00:00",
      "status": "failed",
      "tests": 135,
      "discards": 0,
      "time": "1894232us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:48.669673652+00:00",
      "status": "failed",
      "tests": 141,
      "discards": 0,
      "time": "1962957us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:50.896715145+00:00",
      "status": "failed",
      "tests": 146,
      "discards": 0,
      "time": "1968698us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:53.140050385+00:00",
      "status": "failed",
      "tests": 143,
      "discards": 0,
      "time": "1975227us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:55.383609810+00:00",
      "status": "failed",
      "tests": 133,
      "discards": 0,
      "time": "1886302us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "PopitemKeepsInverseConsistent",
      "mutations": [
        "popitem_orphans_inverse_b1d1c70_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:57.533339200+00:00",
      "status": "failed",
      "tests": 143,
      "discards": 0,
      "time": "1974309us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0)]",
      "hash": "948f83f7f3b05220fb558f47e403b97f836549db"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:59.851297191+00:00",
      "status": "failed",
      "tests": 41,
      "discards": 0,
      "time": "169136us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:00.247325831+00:00",
      "status": "failed",
      "tests": 37,
      "discards": 0,
      "time": "307938us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:00.781090939+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "199812us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:01.199104932+00:00",
      "status": "failed",
      "tests": 83,
      "discards": 0,
      "time": "286222us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:01.713852447+00:00",
      "status": "failed",
      "tests": 71,
      "discards": 0,
      "time": "397371us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:02.339963586+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "166482us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:02.732313423+00:00",
      "status": "failed",
      "tests": 86,
      "discards": 0,
      "time": "272488us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:03.235343401+00:00",
      "status": "failed",
      "tests": 77,
      "discards": 0,
      "time": "313481us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:03.776054306+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "188464us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:04.188321346+00:00",
      "status": "failed",
      "tests": 66,
      "discards": 0,
      "time": "384047us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:04.797723708+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "1706430us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:06.746193378+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "1633962us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:08.624509011+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "1695705us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:10.568816710+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "1707816us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:12.521895039+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "1603316us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:14.366792409+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "1598796us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:16.206193298+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "1604123us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:18.057982412+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "1613624us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:19.914273530+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "1594355us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "ForceputOverwritesNotRaises",
      "mutations": [
        "forceput_raises_on_dup_b1d1c71_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:21.747149190+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "1601281us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([(0, 0)], 0, 1)",
      "hash": "7890557b324e31f88b46f0c632aa3b091edd591f"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:23.664703787+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "334819us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:24.234165191+00:00",
      "status": "failed",
      "tests": 121,
      "discards": 0,
      "time": "466799us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:24.934665519+00:00",
      "status": "failed",
      "tests": 144,
      "discards": 0,
      "time": "452899us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:25.624012248+00:00",
      "status": "failed",
      "tests": 77,
      "discards": 0,
      "time": "248548us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:26.100055635+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "172554us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:26.497141560+00:00",
      "status": "failed",
      "tests": 122,
      "discards": 0,
      "time": "395211us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:27.128192368+00:00",
      "status": "failed",
      "tests": 139,
      "discards": 0,
      "time": "444492us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:27.814238768+00:00",
      "status": "failed",
      "tests": 126,
      "discards": 0,
      "time": "425912us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:28.473216724+00:00",
      "status": "failed",
      "tests": 142,
      "discards": 0,
      "time": "478626us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:29.191714009+00:00",
      "status": "failed",
      "tests": 122,
      "discards": 0,
      "time": "523638us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:29.954669654+00:00",
      "status": "failed",
      "tests": 117,
      "discards": 0,
      "time": "3028661us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:33.246517152+00:00",
      "status": "failed",
      "tests": 100,
      "discards": 0,
      "time": "2946998us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:36.455675620+00:00",
      "status": "failed",
      "tests": 62,
      "discards": 0,
      "time": "2807008us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:39.512221196+00:00",
      "status": "failed",
      "tests": 81,
      "discards": 0,
      "time": "2870937us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:42.632618102+00:00",
      "status": "failed",
      "tests": 138,
      "discards": 0,
      "time": "3086895us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:45.979460108+00:00",
      "status": "failed",
      "tests": 142,
      "discards": 0,
      "time": "3122688us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:49.364059571+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "2985931us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:52.608183063+00:00",
      "status": "failed",
      "tests": 86,
      "discards": 0,
      "time": "2849796us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:55.707003216+00:00",
      "status": "failed",
      "tests": 129,
      "discards": 0,
      "time": "3072078us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bidict",
      "language": "python",
      "strategy": "crosshair",
      "property": "OrderedPopitemLastFalseReturnsFirst",
      "mutations": [
        "ordered_popitem_last_swapped_b1d1c72_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:59.041017116+00:00",
      "status": "failed",
      "tests": 84,
      "discards": 0,
      "time": "2862914us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[(0, 0), (1, 1)]",
      "hash": "6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"
    }
  ]
}