{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 03:01 UTC",
  "workload_docs": {
    "hex": [
      {
        "mutations": [
          "from_hex_accepts_whitespace_71c83f2_1"
        ],
        "tasks": [
          {
            "property": "FromHexRejectsWhitespace",
            "witnesses": [
              {
                "test_fn": "witness_from_hex_rejects_whitespace_case_space_at_start"
              },
              {
                "test_fn": "witness_from_hex_rejects_whitespace_case_tab_mid_string"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/KokaKiwi/rust-hex",
          "commits": [
            "71c83f2349d847ec95bf1ee6080ecdc7ca665037"
          ],
          "commit_subjects": [
            "Stop accepting whitespace in `FromHex::from_hex`."
          ],
          "summary": "`FromHex::from_hex` historically accepted ASCII whitespace and silently treated each whitespace byte as the `0` nibble, quietly corrupting decoded output. The fix drops the whitespace short-circuit so any non-hex byte produces `InvalidHexCharacter`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/lib.rs"
          ],
          "locations": [
            {
              "file": "src/lib.rs"
            }
          ],
          "patch": "patches/from_hex_accepts_whitespace_71c83f2_1.patch"
        },
        "bug": {
          "short_name": "from_hex_accepts_whitespace",
          "invariant": "`decode` must reject any byte that is not in `[0-9a-fA-F]`. In particular, ASCII whitespace bytes (`b' '`, `b'\\t'`, `b'\\n'`, `b'\\r'`) must produce `FromHexError::InvalidHexCharacter { c, index }` pointing at the offending byte, not be silently treated as the zero nibble.",
          "how_triggered": "The marauder replaces the fixed `val()` body with a pre-71c83f2 variant that, for each byte, first checks `matches!(b, b' ' | b'\\t' | b'\\n' | b'\\r')` and returns `Some(0)` for whitespace. As a result the buggy decoder silently converts inputs like `\" 0ab1\"` into `[0x00, 0xab, 0x10]` instead of erroring — the property observes the `Ok(_)` return and fails.\n"
        }
      },
      {
        "mutations": [
          "invalid_char_display_raw_764ee61_1"
        ],
        "tasks": [
          {
            "property": "InvalidCharErrorDisplayEscaped",
            "witnesses": [
              {
                "test_fn": "witness_invalid_char_error_display_escaped_case_nul"
              },
              {
                "test_fn": "witness_invalid_char_error_display_escaped_case_esc"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/KokaKiwi/rust-hex",
          "commits": [
            "764ee61536cbeb8cfbce6dba61c1b85398700bb6"
          ],
          "commit_subjects": [
            "Fix `Error::InvalidHexCharacter::to_string`."
          ],
          "summary": "The pre-fix `Display` impl formatted `InvalidHexCharacter` with `'{}'` around the raw byte, so control characters (newline, tab, NUL, escape) appeared literally in error messages and broke terminal output. The fix uses the `{:?}` debug formatter to escape non-printable bytes."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/error.rs"
          ],
          "locations": [
            {
              "file": "src/error.rs"
            }
          ],
          "patch": "patches/invalid_char_display_raw_764ee61_1.patch"
        },
        "bug": {
          "short_name": "invalid_char_display_raw",
          "invariant": "The `Display` output for `FromHexError::InvalidHexCharacter { c, index }` must render `c` via its `{:?}` debug representation so control/whitespace bytes are escaped (e.g. `'\\n'`, `'\\t'`). It must NOT contain the raw character verbatim, which would produce ambiguous, multi-line, or terminal-hostile messages.",
          "how_triggered": "The marauder switches the format string from `\"Invalid character {c:?} at position {index}\"` back to `\"Invalid character '{}' at position {}\"` (the pre-fix form). For a control byte such as `b'\\n'`, `to_string()` then produces `\"Invalid character '\\n' at position 0\"` with an embedded raw newline — the property detects the raw byte in the rendered string and fails.\n"
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.714957595+00:00",
      "status": "failed",
      "tests": 92,
      "discards": 0,
      "time": "146us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.716249290+00:00",
      "status": "failed",
      "tests": 62,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.717155147+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.718121963+00:00",
      "status": "failed",
      "tests": 52,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.719026998+00:00",
      "status": "failed",
      "tests": 58,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.719938052+00:00",
      "status": "failed",
      "tests": 54,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.720816228+00:00",
      "status": "failed",
      "tests": 67,
      "discards": 0,
      "time": "107us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.721746519+00:00",
      "status": "failed",
      "tests": 50,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.722646077+00:00",
      "status": "failed",
      "tests": 57,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.723547476+00:00",
      "status": "failed",
      "tests": 81,
      "discards": 0,
      "time": "112us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.724520832+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([141, 21, 139, 240, 73, 197, 72, 241, 105, 162, 30, 179, 201, 67, 115, 224, 122, 203, 44, 154, 138, 186, 21, 149, 70, 230, 202, 194, 44, 89, 9, 110, 34, 155, 5, 120, 116, 23, 222] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.725405747+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([75, 227, 151, 237, 166, 109, 42, 235, 12, 64, 129, 249, 255, 182, 146, 238] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.726336991+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([15, 234, 53, 119, 18, 227, 107, 78, 200, 161, 45, 133, 221, 246, 91, 51, 148, 44, 13, 211, 19, 163, 37, 153, 47, 165, 196, 68, 93, 150, 48, 6, 212, 52, 76, 147, 164, 0, 85, 144, 62, 196, 170, 65, 196, 170, 209, 39, 239, 7, 210, 232, 242, 128, 32, 126, 229, 74, 164, 65] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.727239603+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([129, 175, 91, 6, 63, 187, 185, 105, 142, 81, 103, 20, 64, 50, 111, 174, 43, 195, 68, 186, 3, 238, 133, 12, 253, 93, 251, 35, 130, 163, 173, 80, 219, 127, 137, 150, 55, 13, 14, 100, 22] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.728116536+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([95, 70, 220, 206, 32, 151, 69, 109, 69, 79, 94, 251, 148, 46, 191, 77, 12, 227, 40, 114, 147, 218, 65, 52, 134, 92, 192, 17, 160, 189, 135, 118, 18, 105, 135, 148, 179, 151, 205, 147, 16, 0, 72, 43, 223, 114, 185, 119, 116, 60, 243, 183, 122, 21, 49] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.728981973+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([225, 245, 16, 15, 164, 162, 189, 163, 99, 69, 124, 253, 223, 221, 68, 20, 252] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.729855161+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([193, 211, 175, 137, 174, 253, 154, 178, 120, 93, 154, 70, 166, 239, 13, 81, 8, 248, 104, 107, 87, 111, 224, 184, 54, 226, 89, 208, 244, 34] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.730726517+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([21, 1, 118, 97, 48, 124, 170, 200, 84, 204, 94, 238, 24] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.731572875+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([76, 194, 196, 178, 12, 105, 52, 86, 111, 252, 254, 143, 79, 46, 88, 25, 20, 118, 214, 54] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.732403631+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([41, 206] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.733322947+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([167, 57, 67, 94, 171, 92, 11, 226, 246, 240, 30, 211, 164, 154, 4, 139, 121, 104, 241, 187, 30, 114, 189, 104, 2, 136, 252, 148, 245, 171, 35, 93, 9, 251, 163, 212] 2946699217 226)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.734204798+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([25, 136, 194, 194, 214, 21, 145, 164, 178, 4, 161, 146, 38, 60, 199, 164, 143, 224, 22, 40, 63, 42, 36, 7, 76, 77, 38, 129, 236, 32, 64, 89, 3, 34, 118, 120, 246, 176, 82, 151, 4, 9, 133] 1167943707 1)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.735021923+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([169, 105, 182, 186, 212, 223, 168, 139, 50, 229, 9, 82, 18, 176] 1295355857 214)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.735888061+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([228, 87, 35, 22, 249, 142, 100] 1275980218 232)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.736727649+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([180, 206, 36, 170] 1250320884 180)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.737569441+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([134, 240, 212, 152, 245, 4] 995212905 221)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.738370142+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([225, 54, 178, 131, 28, 60, 159, 126, 212, 114, 107, 46, 150] 50308085 17)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.739236921+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([53, 56, 44, 248, 199, 11, 143, 55, 113, 183, 170, 125, 235, 200, 81, 152, 11, 95, 231, 72, 53] 1005865230 48)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.740070361+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([247, 228, 228, 74, 4, 97, 97, 87, 210, 189, 30, 108, 161, 139, 226, 61, 0, 245, 253, 196, 172, 134, 120, 53, 87, 130, 94] 3342746998 98)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.740902347+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([121, 209, 168, 124, 58, 91, 28, 7, 197, 235, 246, 183, 53] 712751335 138)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:14.741889174+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "1103492us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.846415011+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "137226us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.984914140+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "133633us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:16.119830133+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "130994us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:16.252066964+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "130492us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:16.383937385+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "129920us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:16.515135724+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "131113us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:16.647573802+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "131029us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:16.779843962+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "131136us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromHexRejectsWhitespace",
      "mutations": [
        "from_hex_accepts_whitespace_71c83f2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:16.912393334+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "130498us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0] 0 0)",
      "hash": "de0abc4da4d0c28a539365bd63a9adc32aa49bcc"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.281232718+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "62us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.282377036+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.283255191+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.284165865+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.285042097+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.285911330+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "82us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.286778388+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.287637626+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.288470815+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "60us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "proptest",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.289364794+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.290418528+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.291435789+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.292269178+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.293146913+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.293974834+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.294823567+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.295636245+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.296429646+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.297249895+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.298089424+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.299139192+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(20 177)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.299961846+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(14 61)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.300823297+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(5 8)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.301625611+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(28 91)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.302422916+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(17 54)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.303231309+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(11 101)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.304064889+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(17 55)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.304870267+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(14 234)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.305711798+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(24 104)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.306495074+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(7 160)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.307585001+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "125439us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.434000545+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "125457us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.560933382+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "125269us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.687545426+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "125122us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.813857266+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "126243us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:18.941288388+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "125365us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:19.067969324+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "125374us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:19.194712691+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "126498us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:19.322580457+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "126317us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    },
    {
      "experiment": "ci-run",
      "workload": "hex",
      "language": "rust",
      "strategy": "hegel",
      "property": "InvalidCharErrorDisplayEscaped",
      "mutations": [
        "invalid_char_display_raw_764ee61_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:19.450113239+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "125156us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x00)",
      "hash": "48cb6f16d7c02d148e27298f976b405a3a8be457"
    }
  ]
}