{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 03:00 UTC",
  "workload_docs": {
    "ahash": [
      {
        "mutations": [
          "null_padding_collisions_5c99070_1"
        ],
        "tasks": [
          {
            "property": "NullPaddingDistinct",
            "witnesses": [
              {
                "test_fn": "witness_null_padding_distinct_case_zero_vs_one"
              },
              {
                "test_fn": "witness_null_padding_distinct_case_short_within_path"
              },
              {
                "test_fn": "witness_null_padding_distinct_case_zero_vs_eight"
              },
              {
                "test_fn": "witness_null_padding_distinct_case_two_vs_seven"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/tkaitchuck/ahash",
          "commits": [
            "5c99070f97854557ec5e0e6451189798a8ad5853"
          ],
          "commit_subjects": [
            "Prevent null padding collisions."
          ],
          "origin": "internal report",
          "summary": "`AHasher::write` historically did not mix the input length into its internal state. Because the binary-search load helpers (`read_small`, `large_update`) consume only data bytes, all-zero inputs of different lengths collapsed to identical internal state and hashed to the same value. The fix added a length-mixing step (`add_in_length(&mut self.enc, length as u64)` in the AES variant; `self.buffer = self.buffer.wrapping_add(length).wrapping_mul(MULTIPLE)` in the fallback variant) before the data is consumed, so length differences propagate into the final hash."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/aes_hash.rs",
            "src/fallback_hash.rs"
          ],
          "locations": [
            {
              "file": "src/aes_hash.rs",
              "line": 154,
              "symbol": "<AHasher as Hasher>::write"
            },
            {
              "file": "src/fallback_hash.rs",
              "line": 173,
              "symbol": "<AHasher as Hasher>::write"
            }
          ],
          "patch": "patches/null_padding_collisions_5c99070_1.patch"
        },
        "bug": {
          "short_name": "null_padding_collisions",
          "invariant": "For any two distinct lengths `n` and `m`, `RandomState::with_seeds(0,0,0,0)` hashing `[0u8; n]` must produce a different value than hashing `[0u8; m]`. Equivalently: an all-zero input of length `n` is uniquely identified by `n` in the hash output.",
          "how_triggered": "The buggy `<AHasher as Hasher>::write` removes the length-mixing step (`add_in_length` / the buffer wrapping_add+wrapping_mul). For all-zero inputs of length 0..=8, `read_small` returns `[0, 0]` regardless of length; without the length mix the internal state is identical. The witness `(n=0, m=1)` therefore collides on the buggy code (both hash to `0xc3acadb48856bc1e` with the seed used) but produces distinct hashes on the fixed code."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "proptest",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.394824445+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "84us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(49 50)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "proptest",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.396248618+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(17 18)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "proptest",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.397324056+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(49 50)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "proptest",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.398472223+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "65us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(17 18)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "proptest",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.399536495+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 1)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "proptest",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.400638272+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(33 34)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "proptest",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.401703906+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(33 34)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "proptest",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.402825383+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(17 18)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "proptest",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.403967021+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(21 17)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "proptest",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.405062179+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(35 33)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.406210447+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(42 38)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.407271383+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(64 59)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.408294893+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(4 1)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.409378047+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(62 60)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.410528799+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(12 3)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.411607507+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(11 1)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.412653536+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(35 34)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.413688749+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(48 37)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.414734827+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(39 47)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.415820847+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(29 28)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.417009750+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(42 38)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.418035499+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(16 10)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.419063140+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(16 14)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.420099214+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(58 52)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.421150240+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(55 50)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.422181477+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(64 49)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.423230951+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(6 9)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.424253475+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(34 47)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.425322648+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(60 57)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.426354906+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(33 46)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "hegel",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:04.427575007+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "688650us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 1)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "hegel",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:05.117502770+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "195258us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 1)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "hegel",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:05.314249528+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "197561us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 1)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "hegel",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:05.513315216+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "197672us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 1)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "hegel",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:05.712502537+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "196417us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 1)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "hegel",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:05.910680308+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "196230us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 1)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "hegel",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:06.108363646+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "197342us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 1)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "hegel",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:06.307222337+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "192078us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 1)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "hegel",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:06.500834715+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "192533us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 1)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    },
    {
      "experiment": "ci-run",
      "workload": "ahash",
      "language": "rust",
      "strategy": "hegel",
      "property": "NullPaddingDistinct",
      "mutations": [
        "null_padding_collisions_5c99070_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:06.694989425+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "195280us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 1)",
      "hash": "0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"
    }
  ]
}