{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 17:00 UTC",
  "workload_docs": {
    "indexmap": [
      {
        "mutations": [
          "reverse_indices_offbyone_a442475_1"
        ],
        "tasks": [
          {
            "property": "ReversePreservesLookup",
            "witnesses": [
              {
                "test_fn": "witness_reverse_preserves_lookup_case_three_keys"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/indexmap-rs/indexmap",
          "commits": [
            "a442475ab6a0ddefd886aed1938e6486e4aed1f8"
          ],
          "commit_subjects": [
            "Fix off-by-one error in reindexing after `reverse`"
          ],
          "prs": [
            128
          ],
          "summary": "The initial `IndexMap::reverse` implementation reindexed hash-table entries as `len - i` instead of `len - i - 1`, so every stored index was off by one. Lookups after `reverse` then returned the wrong bucket's value or panicked out of bounds."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/inner.rs"
          ],
          "locations": [
            {
              "file": "src/inner.rs"
            }
          ],
          "patch": "patches/reverse_indices_offbyone_a442475_1.patch"
        },
        "bug": {
          "short_name": "reverse_indices_offbyone",
          "invariant": "After `IndexMap::reverse()`, every previously inserted key must still map to its originally inserted value — only the iteration order flips, the key→value relation is preserved.",
          "how_triggered": "The post-reverse reindexing loop in `Core::reverse` rewrites every hash-table entry as `*i = len - *i` instead of the correct `*i = len - *i - 1`. Every stored index is therefore shifted one slot past its true position — the entry originally at index 0 gets index `len` (out of bounds), so subsequent `map.get(k)` either returns the wrong bucket's value or panics when indexing into `self.entries[len]`. Any map with two or more distinct keys exposes the bug; `catch_unwind` inside the property converts the panic into a `PropertyResult::Fail`."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.375731261+00:00",
      "status": "failed",
      "tests": 55,
      "discards": 0,
      "time": "399us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.377451319+00:00",
      "status": "failed",
      "tests": 57,
      "discards": 0,
      "time": "328us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.378846233+00:00",
      "status": "failed",
      "tests": 56,
      "discards": 0,
      "time": "402us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.380349582+00:00",
      "status": "failed",
      "tests": 54,
      "discards": 0,
      "time": "279us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.381677684+00:00",
      "status": "failed",
      "tests": 53,
      "discards": 0,
      "time": "307us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.382998261+00:00",
      "status": "failed",
      "tests": 53,
      "discards": 0,
      "time": "307us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.384285927+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "237us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.385512662+00:00",
      "status": "failed",
      "tests": 55,
      "discards": 0,
      "time": "297us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.386865086+00:00",
      "status": "failed",
      "tests": 53,
      "discards": 0,
      "time": "318us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "proptest",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.388216441+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "244us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.389580678+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(164, 928), (691, 265), (291, 533)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.390669216+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(45, 936), (729, 153), (562, 512)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.391702450+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(405, 5), (31, 177), (227, 687), (694, 404), (536, 523), (970, 162), (854, 823), (70, 676)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.392737999+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(99, 311), (98, 649), (542, 644), (202, 637), (983, 999), (856, 145), (246, 762)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.393752909+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(520, 581), (355, 484), (387, 402), (151, 396), (292, 639), (126, 749), (521, 116), (332, 577), (894, 428), (655, 556), (705, 989)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.394800380+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(976, 1002), (552, 229), (286, 961), (360, 251), (260, 435), (372, 354)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.395808607+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(812, 210), (961, 274), (147, 237), (61, 632), (610, 23), (431, 5)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.396882829+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(871, 248), (162, 322)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.397878335+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(334, 544), (262, 112), (128, 689), (221, 18), (989, 869), (1008, 569), (527, 950), (365, 459)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.398969856+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(628, 592), (929, 753), (290, 349), (438, 487), (257, 890), (1023, 728), (961, 618), (405, 3), (571, 1018), (390, 104), (632, 260), (59, 580), (998, 688), (132, 398), (634, 44)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.400100025+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(951, 161), (94, 829), (477, 591), (784, 139)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.401233076+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(825, 1019), (182, 533), (825, 297), (768, 905)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.402284840+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(925, 333), (982, 938)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.403324130+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(83, 888), (580, 65), (6, 816), (564, 529), (987, 833)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.404362800+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(63, 112), (409, 215), (492, 694), (103, 676), (949, 85), (338, 167), (293, 0), (17, 816), (596, 260), (276, 816), (440, 353), (587, 652), (709, 278)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.405390449+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(41, 82), (528, 365), (258, 425), (569, 820), (780, 682), (32, 455), (26, 426), (857, 425), (171, 905), (83, 316), (503, 823), (527, 974), (532, 864)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.406400255+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(606, 91), (759, 248), (75, 194), (372, 49), (989, 888), (876, 490)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.407443233+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(1011, 961), (792, 784), (920, 527)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.408437952+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(658, 725), (842, 2)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.409479705+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(150, 117), (6, 68), (738, 587), (306, 397), (326, 987), (291, 838), (455, 682), (811, 1024), (106, 941), (266, 791), (596, 159)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:35.410656503+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "935167us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:36.347092618+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "420949us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:36.769572557+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "429484us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:37.200547749+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "420874us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:37.622910660+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "418544us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:38.042919254+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "417510us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:38.462125362+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "421531us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:38.885313045+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "424528us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:39.311388536+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "420655us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    },
    {
      "experiment": "ci-run",
      "workload": "indexmap",
      "language": "rust",
      "strategy": "hegel",
      "property": "ReversePreservesLookup",
      "mutations": [
        "reverse_indices_offbyone_a442475_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:00:39.733710262+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "424150us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([(0, 0), (1, 0)])",
      "hash": "23f3a0eaae65ec21730dafb9fd07e2fa293b7fd3"
    }
  ]
}