{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 04:57 UTC",
  "workload_docs": {
    "crc32fast": [
      {
        "mutations": [
          "combine_zero_length_identity_724ceb6_1"
        ],
        "tasks": [
          {
            "property": "CombineZeroLengthIdentity",
            "witnesses": [
              {
                "test_fn": "witness_combine_zero_length_identity_case_one_zero"
              },
              {
                "test_fn": "witness_combine_zero_length_identity_case_deadbeef_cafebabe"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/srijs/rust-crc32fast",
          "commits": [
            "724ceb6d7f0b24fd2ac2be3461bdcefdae619703"
          ],
          "commit_subjects": [
            "cover special case in combine"
          ],
          "summary": "`combine()` missed a zero-length short-circuit: with `len2 == 0` and a non-zero `crc2`, the main path XOR'd `crc2` into `crc1` and returned `crc1 ^ crc2` instead of `crc1`. The fix adds `if len2 == 0 { return crc1; }` at the top of the function."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/combine.rs"
          ],
          "locations": [
            {
              "file": "src/combine.rs",
              "line": 24
            }
          ],
          "patch": "patches/combine_zero_length_identity_724ceb6_1.patch"
        },
        "bug": {
          "short_name": "combine_zero_length_identity",
          "invariant": "combining a `Hasher` with a zero-length `other` (even one whose internal CRC state is non-zero) must leave the receiver's finalized CRC unchanged — `combine(crc1, crc2, 0) == crc1`.",
          "how_triggered": "deleting the `if len2 == 0 { return crc1; }` early-return in `combine::combine` leaves the subsequent `p ^ crc2` path in charge for zero-length inputs. With `p = crc1` and a non-zero `crc2`, the function returns `crc1 ^ crc2` instead of `crc1`. The witness reaches this via `Hasher::new_with_initial(0x1)` → `Hasher::combine`, which forwards the initialized-but-unused hasher's state as `crc2` with `amount == 0`."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.384113082+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0x0c49b0db)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.385518120+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0xc0ed43c7)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.386656120+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0x521d63da)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.387797175+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0x59f7ab56)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.388891294+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0x00681111)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.390025657+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "106us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0x1e29ae38)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.391083498+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0x210dde3a)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.392179671+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0xd3a6424b)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.393254513+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0x57203259)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "proptest",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.394347459+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0x0226e60f)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.395479167+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(crc1_init=0x3eb8bcd7 crc2_init=0x7314d13a)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.396521402+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(crc1_init=0xfbf0f518 crc2_init=0x33101697)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.397589189+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(crc1_init=0xa69c0399 crc2_init=0x875ddb8c)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.398582382+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(crc1_init=0xb526dac1 crc2_init=0xa966f7dd)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.399603983+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(crc1_init=0x4e4cf5d3 crc2_init=0x8a22c1cb)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.400597436+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(crc1_init=0x691ca8dd crc2_init=0x2ca1a59c)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.401669070+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(crc1_init=0xbac0bc43 crc2_init=0x065c41c8)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.402737483+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(crc1_init=0x68ff81b6 crc2_init=0xfebe9378)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.403790861+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(crc1_init=0x6ed8a829 crc2_init=0x5b5b235e)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.404802758+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(crc1_init=0x679acdf5 crc2_init=0x11f49de0)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.405944724+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(crc1_init=0x3ff46ee3 crc2_init=0x4c7b17de)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.406948095+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(crc1_init=0x06dd3713 crc2_init=0xb9f5bd90)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.407995164+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(crc1_init=0x8f3d813b crc2_init=0x8d97c859)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.408979460+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(crc1_init=0xd12b4e8e crc2_init=0x3bd20ad0)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.409993467+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(crc1_init=0x862c3eef crc2_init=0x70b789c4)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.410998441+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(crc1_init=0x5d4f5a11 crc2_init=0x8dfb0c51)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.412019211+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(crc1_init=0xbb486560 crc2_init=0x729d5e92)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.413016892+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(crc1_init=0x4ba112f9 crc2_init=0x9d9dd796)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.414078468+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(crc1_init=0x8e4c8af8 crc2_init=0xc920ba02)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.415061291+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(crc1_init=0x8905523c crc2_init=0x8e160348)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:41.416234895+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "815060us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0x00000001)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:42.232502427+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "173116us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0x00000001)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:42.407111288+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "173193us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0x00000001)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:42.581788786+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "172420us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0x00000001)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:42.755577968+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "167713us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0x00000001)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:42.924668310+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "170985us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0x00000001)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:43.097137253+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "171398us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0x00000001)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:43.270001773+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "171570us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0x00000001)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:43.443154295+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "170921us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0x00000001)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    },
    {
      "experiment": "ci-run",
      "workload": "crc32fast",
      "language": "rust",
      "strategy": "hegel",
      "property": "CombineZeroLengthIdentity",
      "mutations": [
        "combine_zero_length_identity_724ceb6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:43.615607371+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "195236us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(crc1_init=0x00000000 crc2_init=0x00000001)",
      "hash": "17a10599b133433d9a8ab8174a0d14016935232f"
    }
  ]
}