{
  "experiment": "ci-run",
  "generated_at": "2026-05-20 17:17 UTC",
  "workload_docs": {
    "hashbrown": [
      {
        "mutations": [
          "rehash_panic_length_6cb0eb5_1"
        ],
        "tasks": [
          {
            "property": "RehashPanicLength",
            "witnesses": [
              {
                "test_fn": "witness_rehash_panic_length_case_count_zero"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-lang/hashbrown",
          "commits": [
            "6cb0eb5c55140e110ca30da1138ca763f6cebc47"
          ],
          "commit_subjects": [
            "Fix incorrect length if a hasher panics during rehash"
          ],
          "summary": "The guard block that ran during a rehash panic only cleaned up `Tag::DELETED` entries when the value type had a `Drop` impl. For tables whose values did not need drop (e.g. `u64`), a caught panic from `BuildHasher::build_hasher` left those tombstones in place and never decremented the items counter, so `len()` overshot the true entry count and iteration yielded phantom duplicates."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/raw.rs"
          ],
          "locations": [
            {
              "file": "src/raw.rs"
            }
          ],
          "patch": "patches/rehash_panic_length_6cb0eb5_1.patch"
        },
        "bug": {
          "short_name": "rehash_panic_length",
          "invariant": "after catching a panic thrown from `BuildHasher::build_hasher` during an in-place rehash, `HashMap::len()` must equal the number of distinct reachable entries, and iteration must not yield duplicates.",
          "how_triggered": "the unwind guard in `RawTableInner::rehash_in_place` wraps the entire DELETED-tombstone cleanup loop in `if let Some(drop) = drop { ... }`, so maps whose value type has no `Drop` impl (e.g. `u64`) never reset `Tag::DELETED` entries nor decrement `self_.items`; after the caught panic the map's reported length drifts above the number of live entries and iteration yields phantom duplicates."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "proptest",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.310814258+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "588us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "proptest",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.312655735+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "501us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "proptest",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.314159544+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "425us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "proptest",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.315532303+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "405us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "proptest",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.316943390+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "500us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "proptest",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.318442956+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "524us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "proptest",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.320035256+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "537us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "proptest",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.321533895+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "498us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "proptest",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.323028322+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "422us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "proptest",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.324423879+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "455us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.325958681+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "96us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(panic_count_byte=57)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.327081760+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(panic_count_byte=1)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.328192170+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "142us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(panic_count_byte=88)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.329261468+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "121us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(panic_count_byte=149)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.330319551+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(panic_count_byte=37)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.331429945+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(panic_count_byte=164)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.332486315+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "95us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(panic_count_byte=55)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.333534994+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.334622902+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "85us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(panic_count_byte=27)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.335678394+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "103us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(panic_count_byte=100)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.336885185+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "83us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(panic_count_byte=11)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.337945185+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(panic_count_byte=139)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.339036199+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(panic_count_byte=239)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.340101870+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(panic_count_byte=161)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.341155034+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(panic_count_byte=167)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.342218551+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "135us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(panic_count_byte=181)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.343292563+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(panic_count_byte=139)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.344332466+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "103us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(panic_count_byte=168)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.345398654+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(panic_count_byte=24)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.346433337+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "93us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(panic_count_byte=150)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "hegel",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:55.347709447+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "1073103us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "hegel",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:56.421957807+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "183802us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "hegel",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:56.607304847+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "178912us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "hegel",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:56.787644591+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "181953us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "hegel",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:56.970902234+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "177885us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "hegel",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:57.150135770+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "187069us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "hegel",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:57.338512889+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "180288us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "hegel",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:57.520432552+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "179057us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "hegel",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:57.700841192+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "177524us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    },
    {
      "experiment": "ci-run",
      "workload": "hashbrown",
      "language": "rust",
      "strategy": "hegel",
      "property": "RehashPanicLength",
      "mutations": [
        "rehash_panic_length_6cb0eb5_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-20T17:17:57.879715495+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "180124us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(panic_count_byte=0)",
      "hash": "29075a75f0547469c121fd4186cf9f0f2e312630"
    }
  ]
}