{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 19:41 UTC",
  "workload_docs": {
    "rust-base64": [
      {
        "mutations": [
          "binhex_alphabet_838355e_1"
        ],
        "tasks": [
          {
            "property": "BinhexAlphabetMatchesSpec",
            "witnesses": [
              {
                "test_fn": "witness_binhex_alphabet_matches_spec_case_hello_world"
              },
              {
                "test_fn": "witness_binhex_alphabet_matches_spec_case_full_range"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/marshallpierce/rust-base64",
          "commits": [
            "838355e0ac5fb8237ec9b96be5edb011bff00275"
          ],
          "commit_subjects": [
            "Correct BinHex 4.0 alphabet according to specifications"
          ],
          "prs": [
            271
          ],
          "summary": "The `alphabet::BIN_HEX` literal misspelled the BinHex 4.0 alphabet — it included `7` and omitted `f` where the spec is the other way around. The fix replaces the literal with the correct 64-character set, so any encode/decode traversing indices 7–10 or 37–40 now matches the reference alphabet."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/alphabet.rs"
          ],
          "locations": [
            {
              "file": "src/alphabet.rs"
            }
          ],
          "patch": "patches/binhex_alphabet_838355e_1.patch"
        },
        "bug": {
          "short_name": "binhex_alphabet",
          "invariant": "The crate's `BIN_HEX` constant must match the [BinHex 4.0 spec alphabet](http://files.stairways.com/other/binhex-40-specs-info.txt) — specifically, the 64-character set containing `f` and omitting `7`. The property encodes the same input under both `alphabet::BIN_HEX` and a freshly-constructed `Alphabet::new(BINHEX_SPEC)` and demands byte-for-byte equality.",
          "how_triggered": "The buggy literal contains `3456789` and `abcdeh` where the spec has `345689` and `abcdefh` — effectively swapping `7` in place of `f`. Any input byte whose base64 lookup traverses one of the disagreeing table indices (7, 8, 9, 10, 37, 38, 39, 40) encodes to a different character under the crate alphabet than under the spec alphabet. The property sees the mismatched bytes and fails."
        }
      },
      {
        "mutations": [
          "decoded_len_overflow_fa47981_1"
        ],
        "tasks": [
          {
            "property": "DecodedLenEstimateDoesNotPanic",
            "witnesses": [
              {
                "test_fn": "witness_decoded_len_estimate_does_not_panic_case_usize_max"
              },
              {
                "test_fn": "witness_decoded_len_estimate_does_not_panic_case_near_max"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/marshallpierce/rust-base64",
          "commits": [
            "fa47981fd791467183e4c61112b848095aab21ac"
          ],
          "commit_subjects": [
            "Switch to non-overflowing decoded length formula"
          ],
          "prs": [
            217
          ],
          "summary": "`GeneralPurposeEstimate::new` computed `encoded_len.checked_add(3).expect(\"Overflow when calculating decoded len estimate\")`, panicking on any `encoded_len > usize::MAX - 3`. The fix switches to a non-overflowing formula so `base64::decoded_len_estimate` is total over its declared `usize` domain."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/engine/general_purpose/decode.rs"
          ],
          "locations": [
            {
              "file": "src/engine/general_purpose/decode.rs"
            }
          ],
          "patch": "patches/decoded_len_overflow_fa47981_1.patch"
        },
        "bug": {
          "short_name": "decoded_len_overflow",
          "invariant": "`base64::decoded_len_estimate` is a public function whose argument is `usize`. It must be total on its declared input domain — returning a value for every `usize` input, never panicking. The estimator's job is size-hinting for downstream `Vec::with_capacity`-style calls; a panic here is a crash on advertised public-API input.",
          "how_triggered": "The buggy constructor uses `encoded_len.checked_add(3).expect(\"Overflow when calculating decoded len estimate\")`. When `encoded_len > usize::MAX - 3` (i.e., `usize::MAX`, `usize::MAX - 1`, `usize::MAX - 2`), `checked_add(3)` returns `None` and `.expect` panics. The property wraps the call in `std::panic::catch_unwind` and reports the panic as a failure.\n"
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.335611429+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "143us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([72, 72, 72])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.337239909+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([72, 72, 72])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.338439976+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "173us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([101, 32, 49])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.339628988+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "167us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([72, 72, 48])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.340844338+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "136us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([72, 72, 72])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.341986330+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "165us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([72, 119, 100])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.343182071+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "176us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([101, 101, 127])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.344418103+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "123us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([72, 72, 72])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.345547885+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "169us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([72, 72, 101])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.346737078+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "183us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([72, 72, 44])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.348060039+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([98, 70, 56, 111, 32, 119, 56, 127, 99, 114, 52, 53, 100, 98, 51, 53, 49, 100, 255, 48, 54, 56, 102, 51, 101, 102, 100, 48, 255])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.349179186+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([111, 100, 57, 32, 70, 44, 98, 100, 108, 49, 49, 70, 100, 52, 101, 32, 100, 70, 51, 44])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.350284012+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([114, 44, 70, 102, 119, 0, 72, 50, 54, 111, 49, 53, 97, 98, 32, 32, 98])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.351345812+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([0, 114, 32, 255, 99, 101, 57, 127, 48, 108, 101, 57, 108, 54, 51, 101, 111, 98, 0, 101, 99, 32, 255, 48, 53, 48, 111])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.352457828+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([49, 57, 127, 101, 48, 111, 53, 101, 97, 55, 255, 111, 255, 99, 127, 98, 56, 98, 32, 49, 100, 54, 54, 72, 102, 114, 55, 100, 97, 33])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.353512438+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([0, 48, 127, 101, 127, 56, 127, 52, 56])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.354602662+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([255, 101, 97, 50, 55, 99, 57, 50, 102, 100, 48, 0, 72, 98, 72, 57, 100, 114, 48, 50, 48, 98, 98, 127, 54, 33, 49, 255, 44, 51])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.355805183+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([119, 57, 57, 108, 108, 99, 108, 57, 114, 50, 102, 99, 114, 70, 54])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.356893143+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([32, 119, 0, 49])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.357947343+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([255, 54, 119, 97, 49, 255, 255, 49, 101, 54, 97, 101, 72, 119, 51, 56, 97, 44, 102, 56, 0])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.359116084+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([111, 111, 111, 101, 255, 127, 52])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.360210383+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([98, 255, 51])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.361271162+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([50, 52, 51, 101, 55, 72, 55, 57, 44, 70, 33, 99, 108, 100, 51, 55, 119, 55, 102, 97, 127, 127, 102])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.362366774+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([111, 102, 119, 54, 53, 97, 44, 119, 57, 52, 101, 111, 119, 127, 111, 100, 99, 56, 99])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.363413522+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([101, 100, 119, 99, 127, 50, 255, 50, 51, 102, 33, 32, 255, 100, 55, 102, 100, 50, 52, 99, 51, 55, 99, 33, 100, 102])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.364501983+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([50, 55, 33, 98, 52, 255, 98, 119, 54, 70, 108, 33, 99, 33, 101, 54, 111, 100, 98, 0, 101, 44, 0, 102, 101])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.365571295+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([32, 57, 100, 70, 56, 54, 53, 33, 44, 70, 0, 102, 100])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.366668258+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([127, 53, 72, 54, 51, 100])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.367772633+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([114, 100, 114, 55, 56, 52, 101, 97, 57, 55, 52])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.368834865+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([57, 49, 57, 99, 0, 100, 100, 255, 33, 53, 50, 44])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:12.369986980+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "676973us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 72, 72])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:13.048249304+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "194213us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 72, 72])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:13.244036726+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "194747us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 72, 72])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:13.440790735+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "192794us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 72, 72])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:13.635105401+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "191918us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 72, 72])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:13.828709632+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "191911us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 72, 72])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.022276536+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "191439us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 72, 72])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.215240217+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "189964us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 72, 72])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.406829650+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "190572us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 72, 72])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "BinhexAlphabetMatchesSpec",
      "mutations": [
        "binhex_alphabet_838355e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.598976700+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "199821us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 72, 72])",
      "hash": "68c96f7cf767bc62015bbe99bf7a9290663bf780"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.567114630+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "99us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.568569859+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.569767733+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.570945277+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.572099144+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.573225782+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "100us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.574372478+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.575487509+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.576589759+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.577737208+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.579047319+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(18446744073709551613)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.580137432+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(18446744073709551613)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.581205812+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(18446744073709551613)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.582303516+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.583372506+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(18446744073709551614)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.584433766+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(18446744073709551614)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.585547203+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(18446744073709551613)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.586610085+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(18446744073709551613)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.587721008+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.588771292+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(18446744073709551613)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.590058659+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(18446744073709551613)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.591107981+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(18446744073709551614)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.592160547+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.593231761+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(18446744073709551613)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.594306320+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(18446744073709551613)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.595385396+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(18446744073709551613)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.596457271+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(18446744073709551613)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.597533623+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.598606059+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(18446744073709551614)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.599658135+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(18446744073709551613)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.600999583+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "180514us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.782807487+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "179818us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.964313047+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "176888us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:17.142738625+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "178144us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:17.322389098+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "179622us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:17.503689060+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "177639us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:17.683144721+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "180287us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:17.865098753+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "182034us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.048693942+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "179164us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-base64",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecodedLenEstimateDoesNotPanic",
      "mutations": [
        "decoded_len_overflow_fa47981_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.229470161+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "181076us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(18446744073709551615)",
      "hash": "17ef116363e25235c0fff019f08fc716479b0c3d"
    }
  ]
}