{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 16:43 UTC",
  "workload_docs": {
    "httparse": [
      {
        "mutations": [
          "chunk_size_overflow_34efc1e_1"
        ],
        "tasks": [
          {
            "property": "ChunkSizeMatchesOracle",
            "witnesses": [
              {
                "test_fn": "witness_chunk_size_matches_oracle_case_overflow_17"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/seanmonstar/httparse",
          "commits": [
            "34efc1e39726d7f8d3afe34e2b44d2eebb6ba952"
          ],
          "commit_subjects": [
            "fix u64 overflow if chunk size is too big"
          ],
          "summary": "`parse_chunk_size` accumulated digits into a `u64` with plain `*` / `+`, so a 17-hex-digit chunk size (i.e. ≥ 2^64) silently wrapped and the parser returned `Ok(Complete)` on a value it couldn't actually represent. The fix adds a `count > 15` guard that returns `InvalidChunkSize` before the overflow can happen."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/lib.rs"
          ],
          "locations": [
            {
              "file": "src/lib.rs"
            }
          ],
          "patch": "patches/chunk_size_overflow_34efc1e_1.patch"
        },
        "bug": {
          "short_name": "chunk_size_overflow",
          "invariant": "For hex-digit input, the parser's result must agree with a big-integer (u128) oracle; in particular, any input with 17+ hex digits must return `InvalidChunkSize` because the value cannot fit in u64.",
          "how_triggered": "The buggy `parse_chunk_size` drops the `count > 15` guard and the debug-assert, and switches to `wrapping_mul`/`wrapping_add`, so `\"10000000000000000\"` (17 hex digits → 2^64) wraps to 0 and returns `Ok(Complete)` instead of `Err(InvalidChunkSize)`.\n"
        }
      },
      {
        "mutations": [
          "method_leading_space_9f6702b_1"
        ],
        "tasks": [
          {
            "property": "RequestMethodIsValid",
            "witnesses": [
              {
                "test_fn": "witness_request_method_is_valid_case_leading_space"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/seanmonstar/httparse",
          "commits": [
            "9f6702be571b19ac84e19678b0c4f7eefd2a11b7"
          ],
          "commit_subjects": [
            "Fix method parsing to reject a leading space (#190)"
          ],
          "summary": "`is_method_token` was implemented as `b > 0x1F && b < 0x7F`, which admits `0x20` (SP). A request line like `\" GET / HTTP/1.1\"` therefore parsed as method `\" GET\"` instead of erroring. The fix swaps to the strict HTTP tchar check so SP is rejected."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/lib.rs"
          ],
          "locations": [
            {
              "file": "src/lib.rs"
            }
          ],
          "patch": "patches/method_leading_space_9f6702b_1.patch"
        },
        "bug": {
          "short_name": "method_leading_space",
          "invariant": "Parsing `{method} / HTTP/1.1\\r\\n\\r\\n` succeeds iff `method` is a non-empty valid HTTP token. A leading SP is not a token byte and must be rejected.",
          "how_triggered": "The buggy `is_method_token` is the pre-fix `b > 0x1F && b < 0x7F`, which admits SP. The parser happily accepts a method of `\" GET\"` whose first byte is SP — the property expects an error and fails.\n"
        }
      },
      {
        "mutations": [
          "invalid_token_delim_498de3f_1"
        ],
        "tasks": [
          {
            "property": "RequestMethodIsValid",
            "witnesses": [
              {
                "test_fn": "witness_request_method_is_valid_case_cr_delim"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/seanmonstar/httparse",
          "commits": [
            "498de3fa707a4889395850e88e8260261258bbd2"
          ],
          "commit_subjects": [
            "stop parsing requests with invalid method or path delimiters"
          ],
          "summary": "`parse_token` terminated on SP, CR, or LF, so `\"GET\\r / HTTP/1.1\"` parsed successfully with method `\"GET\"` even though the method/path boundary must be a single SP. The fix restricts the terminator to SP, causing any other non-token byte to error."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/lib.rs"
          ],
          "locations": [
            {
              "file": "src/lib.rs"
            }
          ],
          "patch": "patches/invalid_token_delim_498de3f_1.patch"
        },
        "bug": {
          "short_name": "invalid_token_delim",
          "invariant": "Only `SP` terminates the method token. A bare `\\r` (or `\\n`) after the method is not a legal delimiter and must error.",
          "how_triggered": "The buggy `parse_token` loop ends on SP **or** `\\r`/`\\n`, so `\"GET\\r\"` parses as method `\"GET\"` with a successful completion where the fixed parser returns `Err(Token)`.\n"
        }
      },
      {
        "mutations": [
          "header_value_htab_59a9fd1_1"
        ],
        "tasks": [
          {
            "property": "RequestHeaderValuePreserves",
            "witnesses": [
              {
                "test_fn": "witness_request_header_value_preserves_case_htab"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/seanmonstar/httparse",
          "commits": [
            "59a9fd11b3023581055b4997ff21829e03e909a2"
          ],
          "commit_subjects": [
            "allow htabs in header values"
          ],
          "summary": "`HEADER_VALUE_MAP` omitted HTAB (`0x09`), so header values containing tabs — explicitly permitted by RFC 7230 — were rejected as invalid. The fix adds HTAB to the allowed set alongside `0x20..=0x7E` and `0x80..`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/lib.rs"
          ],
          "locations": [
            {
              "file": "src/lib.rs"
            }
          ],
          "patch": "patches/header_value_htab_59a9fd1_1.patch"
        },
        "bug": {
          "short_name": "header_value_htab",
          "invariant": "Header values made of valid value octets — including HTAB (`0x09`) — must parse, and the parsed bytes must equal the input bytes.",
          "how_triggered": "The buggy `HEADER_VALUE_MAP` drops HTAB from the allowed set (range shrinks from `b'\\t' | 0x20..=0x7E | 0x80..` to `0x20..=0x7E | 0x80..`), so any header value containing `\\t` fails to parse."
        }
      },
      {
        "mutations": [
          "backslash_in_uri_1a791f4_1"
        ],
        "tasks": [
          {
            "property": "RequestPathPreserves",
            "witnesses": [
              {
                "test_fn": "witness_request_path_preserves_case_backslash"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/seanmonstar/httparse",
          "commits": [
            "1a791f4eee2dbb4e51f5211195a6f14da9aa5c12"
          ],
          "commit_subjects": [
            "Fix parsing backslashes in request-targets (#57)"
          ],
          "summary": "`is_uri_token` rejected `\\` even though RFC 3986 permits it in paths (and web clients routinely emit it). The fix removes the backslash exclusion from both the scalar check and the SIMD fast paths so backslash-bearing request targets round-trip through the parser."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/lib.rs",
            "src/simd/swar.rs",
            "src/simd/neon.rs",
            "src/simd/sse42.rs",
            "src/simd/avx2.rs"
          ],
          "locations": [
            {
              "file": "src/lib.rs"
            }
          ],
          "patch": "patches/backslash_in_uri_1a791f4_1.patch"
        },
        "bug": {
          "short_name": "backslash_in_uri",
          "invariant": "A path built from valid URI bytes (`!`..`~` or `0x80..`) must parse, and the parsed path bytes must equal the input bytes.",
          "how_triggered": "The buggy `is_uri_token` adds `&& b != b'\\\\'` to the URI-token check, so any path containing `\\` fails the scalar check. The SIMD fast paths are also redirected: SSE4.2/AVX2/NEON `match_uri_vectored` now forward to the SWAR fallback, and SWAR itself skips its block-wise fast path and walks byte-by-byte via `is_uri_token` so the backslash rejection actually fires."
        }
      },
      {
        "mutations": [
          "response_no_reason_c0631f2_1"
        ],
        "tasks": [
          {
            "property": "ResponseHeaderNamesAreTokens",
            "witnesses": [
              {
                "test_fn": "witness_response_header_names_are_tokens_case_bare_lf"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/seanmonstar/httparse",
          "commits": [
            "c0631f26e86157a8110a202c112b0ea7a051025b"
          ],
          "commit_subjects": [
            "Fix parsing responses that have no reason phrase followed by no CRs (#96)"
          ],
          "summary": "When the status line ended in bare LF with no reason phrase, `Response::parse` set `reason = Some(\"\")` without advancing the byte-slice cursor, so the next header-name slice started inside the status-line digits (producing names like `\"200\\nContent-type\"`). The fix calls `bytes.slice()` to snap the cursor before parsing headers."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/lib.rs"
          ],
          "locations": [
            {
              "file": "src/lib.rs"
            }
          ],
          "patch": "patches/response_no_reason_c0631f2_1.patch"
        },
        "bug": {
          "short_name": "response_no_reason",
          "invariant": "When a response parses successfully, every header name must be a non-empty valid HTTP token (no digits at start, no SP/CR/LF, no colons).",
          "how_triggered": "When the status line ends in bare `\\n` (no reason phrase), the buggy branch sets `self.reason = Some(\"\")` without calling `bytes.slice()`. The slice-start pointer stays inside the status-line digits, so the next header-name slice begins there — producing a header name like `\"200\\nContent-type\"`, which is not a valid token.\n"
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.942674272+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "109us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([99, 53, 48, 70, 54, 70, 67, 68, 56, 66, 65, 68, 69, 66, 102, 53, 99])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.944099561+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "105us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([55, 53, 66, 99, 51, 52, 65, 65, 53, 56, 99, 50, 52, 52, 50, 57, 66])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.945228391+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "105us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([102, 100, 100, 50, 98, 51, 54, 98, 57, 48, 48, 100, 55, 56, 100, 48, 53])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.946369467+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "94us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([66, 65, 101, 100, 102, 54, 100, 101, 52, 97, 57, 56, 52, 66, 50, 50, 54])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.947541584+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([48, 66, 48, 51, 99, 97, 57, 70, 50, 99, 54, 99, 65, 97, 56, 56, 49])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.948689685+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "96us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([70, 97, 51, 51, 52, 67, 70, 97, 102, 101, 53, 70, 100, 67, 69, 69, 69])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.949816528+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "103us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([54, 51, 101, 97, 68, 98, 98, 57, 66, 48, 54, 99, 56, 56, 49, 102, 100])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.950917632+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([50, 50, 50, 98, 69, 70, 98, 54, 70, 101, 101, 51, 54, 98, 67, 56, 53])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.952055796+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "120us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([48, 98, 57, 99, 65, 67, 52, 97, 48, 65, 97, 101, 67, 67, 52, 99, 70])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.953199590+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "101us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([99, 97, 68, 70, 50, 48, 66, 49, 97, 57, 102, 97, 48, 97, 98, 53, 70])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.954471804+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"ed367F7B8E8eAD62faD95\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.955615755+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"1C5eAdb3CEfdAfC8dCeB\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.956634088+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"Ff9f5463598b9cE9F37d\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.957669317+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"178e8E4FfAEc758036eeA\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.958679484+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"a156B0caaEC12dE0c814Fc8e\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.959678385+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"5fd438caEd030eb9867DB04\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.960701877+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"34b4cf2041A6E0014D3580\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.961723731+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"35dd7A81CA4eB3cfbBA8B34\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.962737686+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"665cFbA549b7cF2859\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.963746175+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"f0e70aFDcfA58FafeE4d6aFD\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.964929636+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"D5fBbF8C95cC39fdeaCcFa08\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.965974663+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"Dd46e9aF6FAE90cB0d5a\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.967017852+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"BaeA8bcb0A8ae0b9EeFD9e4f\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.968008778+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"9Ed341dBD0CFb2FE8\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.969027672+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"2c8cc9507AcEAa18aa21bb16\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.970026853+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"eac08fddAdE44F8C9eBA1DA6\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.971020510+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"39032FF2d18B1fb6Dabcbb8\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.972044107+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"CDdB5ECa9dbd4a528b3e\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.973050217+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"eeBf4d97BFcc92D0b85Bc\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.974038438+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"b0d8Baf0eB6E4bFd0ddfBbb8\")",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:08.975275439+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "954589us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:09.931071617+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "346326us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:10.278893625+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "347730us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:10.628319629+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "343554us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:10.973300182+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "340652us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:11.315534323+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "344035us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:11.661146281+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "335013us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:11.997636179+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "334778us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:12.333906808+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "342935us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChunkSizeMatchesOracle",
      "mutations": [
        "chunk_size_overflow_34efc1e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:12.678506145+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "342138us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])",
      "hash": "fd9bf1760c22c69aaeb2606b20b675dd51740fdb"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.566715234+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "82us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.568015036+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.569082260+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.570130353+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.571226490+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.572365413+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.573427481+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "60us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.574483685+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.575535985+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "107us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.576603530+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.577934559+00:00",
      "status": "failed",
      "tests": 39,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\" \" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.579044504+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\" OMU\" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.580067649+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\" zJ\" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.581085742+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\" !BMM_\" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.582132131+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\" CH9-0\" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.583134434+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\" V\" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.584135869+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\" PAJ\" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.585173508+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\" D\" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.586196223+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\" 0PQUV_\" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.587263717+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\" \" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.588611919+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\" UYOV\" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.589621446+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\" aDIM\" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.590632709+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\" SX\" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.591694293+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\" \" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.592706719+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\" D9DIPH\" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.593726494+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\" M\" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.594771+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\" JPB\" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.595784264+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\" \" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.596813290+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\" aA9-R!\" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.597928253+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\" AM.FDVB\" 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.599423592+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "187986us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.788669690+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "189770us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:16.979958245+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "190334us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:17.171679894+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "191649us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:17.364841641+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "192717us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:17.559055076+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "187437us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:17.747948321+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "186085us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:17.935576001+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "193259us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:18.130375043+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "186404us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "method_leading_space_9f6702b_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:18.318220605+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "190165us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([32] 0x20)",
      "hash": "5c96cf0d20564bb4f667e1b774d661f69701c80e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.040508514+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "74us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.041853593+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.043026331+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.044144981+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.045265899+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.046339324+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.047412874+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.048458908+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.049512181+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "109us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.050582450+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.052056577+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"S-\" 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.053095648+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"EHIV\" 0x0a)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.054125986+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"SVV9\" 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.055194704+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"EKU\" 0x0a)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.056226577+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"COTH\" 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.057323075+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"D\" 0x0a)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.058355188+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"ATHE\" 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.059357049+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"CZ\" 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.060360782+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"C\" 0x0a)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.061378205+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"TVXADJHL\" 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.062773670+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"GG!VZJM\" 0x0a)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.063851401+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"AE-R\" 0x0a)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.064869821+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"NQa-0M\" 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.065920942+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"OEOQ\" 0x0a)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.066982763+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"PGaIOP\" 0x0a)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.068025528+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"A\" 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.069021085+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"NODO!FM\" 0x0a)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.070053522+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"NLVSE\" 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.071075949+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"NX!\" 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.072103857+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"SzSa\" 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.073597683+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "236280us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.311108569+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "240112us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.552818430+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "232926us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.787263771+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "241209us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:23.029939615+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "236461us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:23.267945670+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "232778us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:23.502211969+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "238170us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:23.741864804+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "235470us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:23.978993059+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "239737us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestMethodIsValid",
      "mutations": [
        "invalid_token_delim_498de3f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:24.220426274+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "241255us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([71] 0x0d)",
      "hash": "9210148c138986d339c1b40c19a7efa65d366b1e"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:27.991767793+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "95us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:27.993135454+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:27.994269854+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "83us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:27.995355616+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:27.996421908+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:27.997485890+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "118us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:27.998559547+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:27.999668071+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "85us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.000774375+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.001916559+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.003476686+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "62us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"x2 \\t,1\\tb2Z�ZZA\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.004545583+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"A�b,�\\ta\\t1y\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.005582995+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"ca-.-A12\\t\\tZ\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.006649679+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"AZ.�c2c-�\\t.\\t�y\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.007687351+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"Zc1  c\\ta\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.008817570+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"c1 ZAba\\tb,1\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.010145357+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "34us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"ac\\t�b\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.011182542+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"x\\tb2Z �1\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.012270254+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"ba�a\\t\\tAa\\t-122.\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.013334636+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"cAac\\t1-.ab .�,1y\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.014943652+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"x.�-b\\t\\t..,\\t\\tb.A2\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.016001982+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"x,\\tZaAA,\\ta,�-2�\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.017028701+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"A\\t�12b.c1-\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.018085229+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\",�a\\t� a�1\\t- �y\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.019111908+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"a2\\t1�Aa-2\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.020117811+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"cZb a\\tba�a1A\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.021123220+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"ZAaAa\\t1,cA�A\\t�\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.022134012+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"�\\t-1Zcc1�\\t2\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.023168556+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"c12Z.�.��2b- \\t.\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.024179899+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"c1Z-- A1� -A�\\t\\ty\")",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.025877198+00:00",
      "status": "failed",
      "tests": 53,
      "discards": 0,
      "time": "274617us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.301728253+00:00",
      "status": "failed",
      "tests": 53,
      "discards": 0,
      "time": "275761us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.578981572+00:00",
      "status": "failed",
      "tests": 53,
      "discards": 0,
      "time": "274799us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.855407518+00:00",
      "status": "failed",
      "tests": 53,
      "discards": 0,
      "time": "278282us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:29.135124128+00:00",
      "status": "failed",
      "tests": 53,
      "discards": 0,
      "time": "274667us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:29.411230202+00:00",
      "status": "failed",
      "tests": 53,
      "discards": 0,
      "time": "278563us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:29.691508364+00:00",
      "status": "failed",
      "tests": 53,
      "discards": 0,
      "time": "275559us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:29.968544850+00:00",
      "status": "failed",
      "tests": 53,
      "discards": 0,
      "time": "273487us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:30.243565577+00:00",
      "status": "failed",
      "tests": 53,
      "discards": 0,
      "time": "279038us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestHeaderValuePreserves",
      "mutations": [
        "header_value_htab_59a9fd1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:30.524181512+00:00",
      "status": "failed",
      "tests": 53,
      "discards": 0,
      "time": "274128us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([97, 9, 97])",
      "hash": "1f999a0a17cb3836c34903f4e5825c251690ac98"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.348349914+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "84us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.349729227+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.350838875+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.351929993+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "62us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.353034001+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.354109880+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.355204039+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.356293394+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.357397011+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.358480053+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.360158373+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\".0-aa\\\\1/\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.361192263+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"\\\\11\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.362278067+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"./\\\\?\\\\.//\\\\_?a\\\\10\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.363323009+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"\\\\0__=1_a.b\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.364366704+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"?.1b\\\\\\\\_0\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.365458280+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"1\\\\a1.-=10\\\\?/?b\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.366501367+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\".\\\\__0-1=/a.b\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.367576802+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"_b?-\\\\.b100-.-?0\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.368668159+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"1/a/0\\\\.\\\\\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.369738055+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"/?_a\\\\1\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.371522414+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"1\\\\_b?/1a//0a\\\\ba\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.372545472+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"b=0.-??a/1-0\\\\01\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.373596484+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"/a=1?b\\\\.b_\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.374658535+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"a-1\\\\==b/=-__-\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.375720266+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\".0?\\\\.00=.\\\\\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.376743354+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"1-0?a\\\\?\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.377801539+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"b0?_aa../a0\\\\=-\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.378912674+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"=1b\\\\\\\\--b=1\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.379941077+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"-\\\\/0_0.\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.380987473+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"-a?0_0\\\\-a\")",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.382808577+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "229729us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.613802169+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "227213us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:34.842547973+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "224403us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:35.068618024+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "227697us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:35.297809098+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "227544us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:35.526782844+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "227319us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:35.755788796+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "226232us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:35.983722963+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "235623us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:36.220831402+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "233999us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "RequestPathPreserves",
      "mutations": [
        "backslash_in_uri_1a791f4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:36.456413132+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "232998us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([92])",
      "hash": "b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.207382844+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 49, 32, 53, 48, 48, 10, 88, 45, 69, 114, 114, 58, 32, 49, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.208699791+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "65us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 49, 32, 53, 48, 48, 10, 88, 45, 69, 114, 114, 58, 32, 49, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.209813026+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 49, 32, 53, 48, 48, 10, 88, 45, 69, 114, 114, 58, 32, 49, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.210886501+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.211977274+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 49, 32, 53, 48, 48, 10, 88, 45, 69, 114, 114, 58, 32, 49, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.213028338+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 49, 32, 53, 48, 48, 10, 88, 45, 69, 114, 114, 58, 32, 49, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.214115514+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 49, 32, 53, 48, 48, 10, 88, 45, 69, 114, 114, 58, 32, 49, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.215176206+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 49, 32, 53, 48, 48, 10, 88, 45, 69, 114, 114, 58, 32, 49, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.216285463+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 49, 32, 53, 48, 48, 10, 88, 45, 69, 114, 114, 58, 32, 49, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.217328472+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 49, 32, 53, 48, 48, 10, 88, 45, 69, 114, 114, 58, 32, 49, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.219117999+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"HTTP/1.1 500\\nX-Err: 1\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.220136141+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"HTTP/1.0 204\\nConnection: close\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.221190970+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"HTTP/1.0 200\\nContent-type: text/html\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.222319609+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"HTTP/1.0 204\\nConnection: close\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.223335672+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"HTTP/1.0 204\\nConnection: close\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.224354075+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"HTTP/1.0 200\\nContent-type: text/html\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.225363926+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"HTTP/1.0 204\\nConnection: close\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.226385383+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"HTTP/1.1 500\\nX-Err: 1\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.227439383+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"HTTP/1.0 200\\nContent-type: text/html\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.228448052+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"HTTP/1.1 500\\nX-Err: 1\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.230222656+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"HTTP/1.1 500\\nX-Err: 1\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.231331486+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"HTTP/1.0 204\\nConnection: close\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.232321660+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"HTTP/1.0 204\\nConnection: close\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.233362946+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"HTTP/1.0 204\\nConnection: close\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.234369481+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"HTTP/1.0 200\\nContent-type: text/html\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.235374273+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"HTTP/1.0 200\\nContent-type: text/html\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.236462036+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"HTTP/1.0 204\\nConnection: close\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.237476927+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "74us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"HTTP/1.1 500\\nX-Err: 1\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.238552366+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"HTTP/1.0 200\\nContent-type: text/html\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.239566817+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"HTTP/1.1 500\\nX-Err: 1\\n\\n\")",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.241428723+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "171158us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.413770219+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "173638us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.588857263+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "181027us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.771326734+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "177920us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.950819460+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "181473us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:41.133766942+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "180399us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:41.315633537+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "173352us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:41.490498227+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "172664us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:41.664645057+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "173886us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    },
    {
      "experiment": "ci-run",
      "workload": "httparse",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResponseHeaderNamesAreTokens",
      "mutations": [
        "response_no_reason_c0631f2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:41.840128362+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "179353us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])",
      "hash": "8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"
    }
  ]
}