{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 19:38 UTC",
  "workload_docs": {
    "sortedcontainers": [
      {
        "mutations": [
          "ior_uses_union_94b7d8f_1"
        ],
        "tasks": [
          {
            "property": "IorPreservesIdentity",
            "witnesses": [
              {
                "test_fn": "witness_ior_preserves_identity_case_basic",
                "note": "[1,2,3] |= [4,5] aliasing check"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/grantjenks/python-sortedcontainers",
          "commits": [
            "94b7d8f6e1e3514db0a315e840677c1d99f0bf98"
          ],
          "commit_subjects": [
            "Bug Fix: SortedSet.__ior__ should call update, not union"
          ],
          "origin": "internal",
          "summary": "SortedSet.__ior__ was bound to ``union`` instead of ``update``. ``s |= x`` therefore returned a brand-new SortedSet, leaving any aliased reference to ``s`` pointing at the original (un-updated) set instead of mutating in place."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/sortedcontainers/sortedset.py"
          ],
          "locations": [
            {
              "file": "src/sortedcontainers/sortedset.py",
              "line": 659,
              "symbol": "SortedSet.__ior__"
            }
          ],
          "patch": "patches/ior_uses_union_94b7d8f_1.patch"
        },
        "bug": {
          "short_name": "ior_uses_union",
          "invariant": "After ``s |= x`` every reference that previously aliased ``s`` continues to refer to the same SortedSet object, and that object's contents equal the union of ``s``'s previous contents and ``x``.",
          "how_triggered": "The mutation re-binds ``__ior__`` to ``union``, which constructs and returns a new SortedSet. Python's ``|=`` rewrites the local name to that new object, but other references still point at the original — they observe stale contents."
        }
      },
      {
        "mutations": [
          "fromkeys_no_cls_a0dfdd8_1"
        ],
        "tasks": [
          {
            "property": "FromkeysUsesCls",
            "witnesses": [
              {
                "test_fn": "witness_fromkeys_uses_cls_case_basic",
                "note": "Subclass.fromkeys returns Subclass instance"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/grantjenks/python-sortedcontainers",
          "commits": [
            "a0dfdd88ac62d4ca4629a924d522582bf9c998a7"
          ],
          "commit_subjects": [
            "Fix SortedDict.fromkeys to use cls"
          ],
          "origin": "internal",
          "summary": "``SortedDict.fromkeys`` constructed a plain ``SortedDict`` instead of using ``cls``. Subclasses calling ``Subclass.fromkeys(...)`` therefore got a ``SortedDict`` instance back, breaking subclass polymorphism."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/sortedcontainers/sorteddict.py"
          ],
          "locations": [
            {
              "file": "src/sortedcontainers/sorteddict.py",
              "line": 319,
              "symbol": "SortedDict.fromkeys"
            }
          ],
          "patch": "patches/fromkeys_no_cls_a0dfdd8_1.patch"
        },
        "bug": {
          "short_name": "fromkeys_no_cls",
          "invariant": "For any subclass ``S`` of ``SortedDict``, ``S.fromkeys(seq, value)`` returns an instance whose runtime type is exactly ``S``.",
          "how_triggered": "The mutation hard-codes ``SortedDict(...)`` instead of ``cls(...)`` inside the classmethod, so subclass dispatch is bypassed and the returned instance is always a plain ``SortedDict``."
        }
      },
      {
        "mutations": [
          "shallow_copy_aliases_set_970f93f_1"
        ],
        "tasks": [
          {
            "property": "CopyDoesNotAliasSet",
            "witnesses": [
              {
                "test_fn": "witness_copy_does_not_alias_set_case_basic",
                "note": "add to original; copy must be unchanged"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/grantjenks/python-sortedcontainers",
          "commits": [
            "970f93fbc5c98d24c0b5ace481ce91a1286ad078"
          ],
          "commit_subjects": [
            "Fix shallow copy definitions"
          ],
          "origin": "internal",
          "summary": "``SortedSet.copy`` aliased the underlying ``_set`` and ``_list`` attributes from the original instance, so mutating one set silently mutated its copy. Fixed by constructing a new backing ``set`` in ``copy``."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/sortedcontainers/sortedset.py"
          ],
          "locations": [
            {
              "file": "src/sortedcontainers/sortedset.py",
              "line": 351,
              "symbol": "SortedSet.copy"
            }
          ],
          "patch": "patches/shallow_copy_aliases_set_970f93f_1.patch"
        },
        "bug": {
          "short_name": "shallow_copy_aliases_set",
          "invariant": "After ``c = s.copy()``, mutating ``s`` (e.g. ``s.add(x)``) does not affect ``c``: ``c`` still equals the snapshot of ``s`` at the moment of copy.",
          "how_triggered": "The mutation re-binds the new SortedSet's ``_set`` and ``_list`` attributes to the originals, so subsequent additions to either object are observable through both."
        }
      },
      {
        "mutations": [
          "shallow_copy_aliases_dict_970f93f_1"
        ],
        "tasks": [
          {
            "property": "CopyDoesNotAliasDict",
            "witnesses": [
              {
                "test_fn": "witness_copy_does_not_alias_dict_case_basic",
                "note": "add to original; copy must be unchanged"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/grantjenks/python-sortedcontainers",
          "commits": [
            "970f93fbc5c98d24c0b5ace481ce91a1286ad078"
          ],
          "commit_subjects": [
            "Fix shallow copy definitions"
          ],
          "origin": "internal",
          "summary": "``SortedDict.copy`` aliased the original instance's ``_list`` (and the values were copied via ``dict.__setitem__`` without re-adding to ``_list``), so the copy's sorted-keys view was inconsistent with its dict contents and mutations to one dict bled into the other."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/sortedcontainers/sorteddict.py"
          ],
          "locations": [
            {
              "file": "src/sortedcontainers/sorteddict.py",
              "line": 295,
              "symbol": "SortedDict.copy"
            }
          ],
          "patch": "patches/shallow_copy_aliases_dict_970f93f_1.patch"
        },
        "bug": {
          "short_name": "shallow_copy_aliases_dict",
          "invariant": "After ``c = d.copy()``, mutating ``d`` (e.g. ``d[k] = v``) does not affect ``c``: ``c`` still equals the snapshot of ``d`` at the moment of copy.",
          "how_triggered": "The mutation re-binds the copy's ``_list`` to the original's, and uses raw ``dict.__setitem__`` for the values without going through SortedDict's ``__setitem__``. Mutations made later to either dict propagate to both."
        }
      },
      {
        "mutations": [
          "update_ordering_inconsistent_7dc426c_1"
        ],
        "tasks": [
          {
            "property": "UpdateMatchesAdd",
            "witnesses": [
              {
                "test_fn": "witness_update_matches_add_case_basic",
                "note": "Modulo-10 key with tie collisions on existing and new"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/grantjenks/python-sortedcontainers",
          "commits": [
            "7dc426c95a0c329d5514e6198d92080f1ffc1e5e"
          ],
          "commit_subjects": [
            "Fix update() ordering to be more consistent with add() ordering (#159)"
          ],
          "prs": [
            159
          ],
          "summary": "When the bulk-update path was taken, ``SortedKeyList.update`` extended the freshly-sorted *new* values with the existing values, which placed new values *before* existing values for tie-keys. The subsequent stable sort therefore produced an order that disagreed with calling ``add`` element-by-element."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/sortedcontainers/sortedlist.py"
          ],
          "locations": [
            {
              "file": "src/sortedcontainers/sortedlist.py",
              "line": 1779,
              "symbol": "SortedKeyList.update"
            }
          ],
          "patch": "patches/update_ordering_inconsistent_7dc426c_1.patch"
        },
        "bug": {
          "short_name": "update_ordering_inconsistent",
          "invariant": "For any starting ``SortedKeyList`` ``A`` and iterable ``vs``, ``A.update(vs)`` produces the same final ordering as calling ``A.add(v)`` for each ``v`` in ``vs`` in turn.",
          "how_triggered": "The mutation reverts the bulk-update branch to ``values.extend(chain.from_iterable(_lists))``, which prepends new data to existing data instead of appending it. Because the subsequent ``values.sort(key=...)`` is stable, tie-key elements end up in the wrong order."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:32.824899424+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "591315us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:34.200727409+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "507398us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:34.946537024+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "438673us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:35.616853360+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "458837us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:36.313536090+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "423505us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:36.968033350+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "387895us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:37.593025182+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "524495us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:38.356958401+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "407411us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:39.003745373+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "398832us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:39.638882507+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "515084us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:40.391686461+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "1710518us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:42.362504542+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1341734us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:43.962070350+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "1325900us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:45.547347166+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "1293361us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:47.095090155+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "1447434us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:48.809163347+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "1396065us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:50.462668109+00:00",
      "status": "failed",
      "tests": 116,
      "discards": 0,
      "time": "1317330us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:52.036807799+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "1390364us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:53.677274630+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "1302704us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "IorPreservesIdentity",
      "mutations": [
        "ior_uses_union_94b7d8f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:55.237224571+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "1381717us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "0a7b84844adda48530061452ac29603ddf33a3a1"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:57.002683527+00:00",
      "status": "failed",
      "tests": 97,
      "discards": 0,
      "time": "456099us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:57.698452669+00:00",
      "status": "failed",
      "tests": 100,
      "discards": 0,
      "time": "392638us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:58.327523319+00:00",
      "status": "failed",
      "tests": 95,
      "discards": 0,
      "time": "364411us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:58.928612325+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "405183us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:59.560963924+00:00",
      "status": "failed",
      "tests": 96,
      "discards": 0,
      "time": "294658us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:00.083342338+00:00",
      "status": "failed",
      "tests": 101,
      "discards": 0,
      "time": "448636us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:00.768004218+00:00",
      "status": "failed",
      "tests": 94,
      "discards": 0,
      "time": "361954us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:01.361102283+00:00",
      "status": "failed",
      "tests": 89,
      "discards": 0,
      "time": "291017us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:01.884682139+00:00",
      "status": "failed",
      "tests": 89,
      "discards": 0,
      "time": "418329us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:02.535586839+00:00",
      "status": "failed",
      "tests": 92,
      "discards": 0,
      "time": "357474us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:03.120045489+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "1062651us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:04.431218754+00:00",
      "status": "failed",
      "tests": 101,
      "discards": 0,
      "time": "938955us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:05.625593761+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "943152us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:06.816753458+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "941942us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:08.009110775+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "986232us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:09.243406882+00:00",
      "status": "failed",
      "tests": 99,
      "discards": 0,
      "time": "940621us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:10.439444735+00:00",
      "status": "failed",
      "tests": 96,
      "discards": 0,
      "time": "933958us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:11.619725360+00:00",
      "status": "failed",
      "tests": 96,
      "discards": 0,
      "time": "918569us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:12.784478265+00:00",
      "status": "failed",
      "tests": 97,
      "discards": 0,
      "time": "1008267us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "FromkeysUsesCls",
      "mutations": [
        "fromkeys_no_cls_a0dfdd8_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:14.042487912+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "1024433us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[]",
      "hash": "2bc6722afe913d359769489b5abae1ee93dbb3ca"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:15.454409339+00:00",
      "status": "failed",
      "tests": 87,
      "discards": 0,
      "time": "333204us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:16.022237752+00:00",
      "status": "failed",
      "tests": 80,
      "discards": 0,
      "time": "367315us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:16.621744191+00:00",
      "status": "failed",
      "tests": 86,
      "discards": 0,
      "time": "383983us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:17.239260120+00:00",
      "status": "failed",
      "tests": 83,
      "discards": 0,
      "time": "260231us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:17.728083064+00:00",
      "status": "failed",
      "tests": 87,
      "discards": 0,
      "time": "336269us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:18.297872749+00:00",
      "status": "failed",
      "tests": 91,
      "discards": 0,
      "time": "287210us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:18.818455967+00:00",
      "status": "failed",
      "tests": 87,
      "discards": 0,
      "time": "318575us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:19.364032411+00:00",
      "status": "failed",
      "tests": 91,
      "discards": 0,
      "time": "261488us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:19.850471540+00:00",
      "status": "failed",
      "tests": 94,
      "discards": 0,
      "time": "279854us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:20.363514704+00:00",
      "status": "failed",
      "tests": 88,
      "discards": 0,
      "time": "263157us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:20.859536925+00:00",
      "status": "failed",
      "tests": 168,
      "discards": 0,
      "time": "1387947us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:22.514927124+00:00",
      "status": "failed",
      "tests": 147,
      "discards": 0,
      "time": "1535958us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:24.314550589+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "1042272us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:25.607490451+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "1287050us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:27.143694235+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "1073007us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:28.464175024+00:00",
      "status": "failed",
      "tests": 100,
      "discards": 0,
      "time": "1087836us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:29.799859819+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "1331677us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:31.378674929+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "1245229us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:32.876572913+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "1142619us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasSet",
      "mutations": [
        "shallow_copy_aliases_set_970f93f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:34.270220582+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "1163103us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "a2d62e568601f277c1799eb4808a3504d18452ea"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:35.820459655+00:00",
      "status": "failed",
      "tests": 260,
      "discards": 0,
      "time": "727376us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:36.812974399+00:00",
      "status": "failed",
      "tests": 258,
      "discards": 0,
      "time": "788808us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:37.857166134+00:00",
      "status": "failed",
      "tests": 254,
      "discards": 0,
      "time": "767948us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:38.886102831+00:00",
      "status": "failed",
      "tests": 252,
      "discards": 0,
      "time": "672575us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:39.812675464+00:00",
      "status": "failed",
      "tests": 247,
      "discards": 0,
      "time": "679712us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:40.749250668+00:00",
      "status": "failed",
      "tests": 249,
      "discards": 0,
      "time": "698913us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:41.708963837+00:00",
      "status": "failed",
      "tests": 270,
      "discards": 0,
      "time": "859504us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:42.832667606+00:00",
      "status": "failed",
      "tests": 256,
      "discards": 0,
      "time": "821639us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:43.915722004+00:00",
      "status": "failed",
      "tests": 244,
      "discards": 0,
      "time": "749092us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:44.923272270+00:00",
      "status": "failed",
      "tests": 257,
      "discards": 0,
      "time": "673998us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:45.853944611+00:00",
      "status": "failed",
      "tests": 284,
      "discards": 0,
      "time": "3216887us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:49.352278501+00:00",
      "status": "failed",
      "tests": 284,
      "discards": 0,
      "time": "3346135us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:52.987928761+00:00",
      "status": "failed",
      "tests": 282,
      "discards": 0,
      "time": "3269147us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:56.542756131+00:00",
      "status": "failed",
      "tests": 287,
      "discards": 0,
      "time": "3255361us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:00.088219987+00:00",
      "status": "failed",
      "tests": 287,
      "discards": 0,
      "time": "3256048us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:03.627241798+00:00",
      "status": "failed",
      "tests": 283,
      "discards": 0,
      "time": "3426776us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:07.341520975+00:00",
      "status": "failed",
      "tests": 282,
      "discards": 0,
      "time": "3409548us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:11.037107894+00:00",
      "status": "failed",
      "tests": 284,
      "discards": 0,
      "time": "3358460us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:14.678646607+00:00",
      "status": "failed",
      "tests": 290,
      "discards": 0,
      "time": "3283875us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "CopyDoesNotAliasDict",
      "mutations": [
        "shallow_copy_aliases_dict_970f93f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:18.252909887+00:00",
      "status": "failed",
      "tests": 281,
      "discards": 0,
      "time": "3427768us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], 0, 0)",
      "hash": "bc2a27d903512f602138158157d46a0ef92bb167"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:22.102307271+00:00",
      "status": "failed",
      "tests": 145,
      "discards": 0,
      "time": "388226us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [50])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:22.734128067+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "283117us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [50])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:23.245365593+00:00",
      "status": "failed",
      "tests": 138,
      "discards": 0,
      "time": "326318us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [30])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:23.796820516+00:00",
      "status": "failed",
      "tests": 136,
      "discards": 0,
      "time": "307130us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [10])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:24.327204274+00:00",
      "status": "failed",
      "tests": 83,
      "discards": 0,
      "time": "232598us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [70])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:24.787071807+00:00",
      "status": "failed",
      "tests": 99,
      "discards": 0,
      "time": "251800us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [50])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:25.261326574+00:00",
      "status": "failed",
      "tests": 133,
      "discards": 0,
      "time": "352419us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [30])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:25.846510809+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "264908us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [30])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:26.334847791+00:00",
      "status": "failed",
      "tests": 101,
      "discards": 0,
      "time": "257104us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [10])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "hypothesis",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:26.817869819+00:00",
      "status": "failed",
      "tests": 83,
      "discards": 0,
      "time": "238260us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0], [10])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:27.277198552+00:00",
      "status": "failed",
      "tests": 47,
      "discards": 0,
      "time": "3856267us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [10])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:31.373199504+00:00",
      "status": "failed",
      "tests": 47,
      "discards": 0,
      "time": "3838867us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [10])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:35.458079726+00:00",
      "status": "failed",
      "tests": 47,
      "discards": 0,
      "time": "3839165us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [10])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:39.537713635+00:00",
      "status": "failed",
      "tests": 47,
      "discards": 0,
      "time": "3836250us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [10])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:43.618022607+00:00",
      "status": "failed",
      "tests": 47,
      "discards": 0,
      "time": "3839745us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [10])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:47.704197599+00:00",
      "status": "failed",
      "tests": 47,
      "discards": 0,
      "time": "3836395us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [10])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:51.778208685+00:00",
      "status": "failed",
      "tests": 47,
      "discards": 0,
      "time": "3834082us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [10])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:55.852417401+00:00",
      "status": "failed",
      "tests": 47,
      "discards": 0,
      "time": "3846383us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [10])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:59.945251745+00:00",
      "status": "failed",
      "tests": 47,
      "discards": 0,
      "time": "3852451us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [10])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    },
    {
      "experiment": "ci-run",
      "workload": "sortedcontainers",
      "language": "python",
      "strategy": "crosshair",
      "property": "UpdateMatchesAdd",
      "mutations": [
        "update_ordering_inconsistent_7dc426c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:04.043808152+00:00",
      "status": "failed",
      "tests": 47,
      "discards": 0,
      "time": "3834463us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0], [10])",
      "hash": "212948523df3812178322be96e8171b89eef3b9c"
    }
  ]
}