{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 19:41 UTC",
  "workload_docs": {
    "mime": [
      {
        "mutations": [
          "subtype_with_plus_5ebf32e_1"
        ],
        "tasks": [
          {
            "property": "SubtypeWithPlus",
            "witnesses": [
              {
                "test_fn": "witness_subtype_with_plus_case_xhtml_xml"
              },
              {
                "test_fn": "witness_subtype_with_plus_case_app_json_cbor"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/hyperium/mime",
          "commits": [
            "5ebf32ed61c2642a295535e0d64c2f2c2ad1d1d2"
          ],
          "commit_subjects": [
            "Fix subtype() to include the +suffix"
          ],
          "summary": "`MediaType::subtype()` truncated at the `+` index, so `application/xhtml+xml` reported `\"xhtml\"` as the subtype; the fix returns the whole name (`\"xhtml+xml\"`) and exposes the suffix via a separate `suffix()` accessor."
        },
        "injection": {
          "kind": "marauders",
          "files": [
            "mime-parse/src/lib.rs"
          ],
          "locations": [
            {
              "file": "mime-parse/src/lib.rs",
              "line": 119
            }
          ]
        },
        "bug": {
          "short_name": "subtype_with_plus",
          "invariant": "`MediaType::subtype()` must return the entire `<name>+<suffix>` slice, not just the part before the first `+`.",
          "how_triggered": "the base computes the subtype end as `self.semicolon_or_end()`, i.e. the start of the parameter list (or end of source if there are no params). The variant replaces that with `self.plus.map(|p| p as usize).unwrap_or_else(|| self.semicolon_or_end())`, restoring the pre-fix behaviour that used the `+` index as the terminator. For any input of the form `<type>/<name>+<suffix>`, the variant's `subtype()` returns `<name>` instead of `<name>+<suffix>`. The property constructs `\"<type>/<subtype>+<suffix>\"` from the fixed pools and asserts both that `mt.subtype() == \"<subtype>+<suffix>\"` and that `mt.suffix() == Some(<suffix>)`; the first assertion is a `Fail` under the variant.\n"
        }
      },
      {
        "mutations": [
          "strip_empty_params_7a39824_1"
        ],
        "tasks": [
          {
            "property": "StripEmptyParams",
            "witnesses": [
              {
                "test_fn": "witness_strip_empty_params_case_event_stream_semicolon"
              },
              {
                "test_fn": "witness_strip_empty_params_case_json_trailing_ws"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/hyperium/mime",
          "commits": [
            "7a39824f8eb816496895593ccda418c177ef5756"
          ],
          "commit_subjects": [
            "Strip empty parameter lists when parsing"
          ],
          "summary": "When parsing `text/event-stream;` (trailing semicolon, no actual parameters), the parser interned the whole source including the `;`; the fix truncates the interned slice to `&s[..start]` so `has_params()` is `false` and the parse matches `text/event-stream`."
        },
        "injection": {
          "kind": "marauders",
          "files": [
            "mime-parse/src/rfc7231.rs"
          ],
          "locations": [
            {
              "file": "mime-parse/src/rfc7231.rs",
              "line": 144
            }
          ]
        },
        "bug": {
          "short_name": "strip_empty_params",
          "invariant": "when parsing succeeds and `ParamSource::None` is reported by the parameter sub-parser (i.e. there was a `;` but no actual parameters after it, possibly followed by whitespace), the interned source must be chopped at that `;`. The resulting mime must satisfy `has_params() == false`, `subtype()` must not include the trailing `;`, and `MediaType::parse(\"a/b;\") == MediaType::parse(\"a/b\")`.\n",
          "how_triggered": "the base arm for `ParamSource::None` in the source-building match is `Atoms::intern(&s[..start], slash, InternParams::None)`, where `start` points at the first byte of the empty param list. The variant replaces the arm with `Atoms::intern(s, slash, InternParams::None)` — the pre-7a39824 behaviour that keeps the trailing `;` (and any OWS) in the stored source. `subtype()`, which relies on `semicolon_or_end()` but for `ParamSource::None` falls through to `self.source.as_ref().len()`, now yields `\"event-stream;\"` on input `\"text/event-stream;\"`.\n"
        }
      },
      {
        "mutations": [
          "ows_before_semicolon_2e0268e_1"
        ],
        "tasks": [
          {
            "property": "OwsBeforeSemicolon",
            "witnesses": [
              {
                "test_fn": "witness_ows_before_semicolon_case_text_plain_charset"
              },
              {
                "test_fn": "witness_ows_before_semicolon_case_html_name_foo"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/hyperium/mime",
          "commits": [
            "2e0268e6dc2933db308e452787c4ca85bc63bd6e"
          ],
          "commit_subjects": [
            "fix parsing OWS around parameters"
          ],
          "summary": "RFC 7231 allows OWS between the subtype and the `;` introducing parameters; without the OWS arm in the sublevel loop, `a/b ; k=v` was rejected as an invalid token even though `a/b; k=v` parsed cleanly."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "mime-parse/src/rfc7231.rs"
          ],
          "locations": [
            {
              "file": "mime-parse/src/rfc7231.rs",
              "line": 99
            }
          ],
          "patch": "patches/ows_before_semicolon_2e0268e_1.patch"
        },
        "bug": {
          "short_name": "ows_before_semicolon",
          "invariant": "per RFC 7231, `media-type = type \"/\" subtype *( OWS \";\" OWS parameter )`. The parser must accept optional whitespace between the subtype and the `;` that introduces the parameter list, and produce the same `MediaType` as the zero-whitespace form.\n",
          "how_triggered": "the fix extended the sublevel-parsing loop with an OWS match arm (`Some((i, b' ')) if i > start => { start = i; break; }`), so a space after the subtype is treated as the end of the subtype and parsing proceeds into the parameter loop. The variant (a `git apply` of `patches/ows_before_semicolon_2e0268e_1.patch`) deletes that arm. With the arm gone, the space hits the fall-through `Some((pos, byte)) => Err(ParseError::InvalidToken { ... })` branch and parsing fails. The property compares `parse(\"a/b; k=v\")` with `parse(\"a/b ; k=v\")` — the second `parse` returns `Err` under the variant, which is a `Fail`.\n"
        }
      },
      {
        "mutations": [
          "quoted_vs_unquoted_param_eq_0bba696_1"
        ],
        "tasks": [
          {
            "property": "QuotedVsUnquotedParamEq",
            "witnesses": [
              {
                "test_fn": "witness_quoted_vs_unquoted_param_eq_case_name_foo"
              },
              {
                "test_fn": "witness_quoted_vs_unquoted_param_eq_case_profile_bar"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/hyperium/mime",
          "commits": [
            "0bba696c3795daaef945b821558cb2898a214ef1"
          ],
          "commit_subjects": [
            "fix comparison of quoted parameters"
          ],
          "summary": "`params_eq` compared parameter values as raw `&str`, so `a/b; x=foo` and `a/b; x=\"foo\"` compared unequal because one was three bytes and the other five; the fix routes comparisons through `Value`, which strips surrounding quotes before equality."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/cmp.rs"
          ],
          "locations": [
            {
              "file": "src/cmp.rs",
              "line": 41
            }
          ],
          "patch": "patches/quoted_vs_unquoted_param_eq_0bba696_1.patch"
        },
        "bug": {
          "short_name": "quoted_vs_unquoted_param_eq",
          "invariant": "a quoted parameter value and an unquoted value with the same decoded content must compare equal. `parse(\"a/b; x=foo\") == parse(\"a/b; x=\\\"foo\\\"\")` must hold.\n",
          "how_triggered": "the fix introduced `src/cmp.rs::params_eq`, which iterates over `crate::value::params(a)` (yielding `Value` wrappers) and looks each parameter up via `crate::value::param(b, name)` — also returning `Value`. `Value::PartialEq` strips the surrounding quotes from the raw slice before comparing, so the two parses compare equal. The variant (a `git apply` of `patches/quoted_vs_unquoted_param_eq_0bba696_1.patch`) swaps those calls for `a.params()` and `b.param(name)` directly on `Mime`, which return raw `&str`. Under raw `&str` equality, `\"foo\"` (3 bytes) and `\"\\\"foo\\\"\"` (5 bytes including quotes) are unequal, so `params_eq` returns `false` and the two parses compare unequal.\n"
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.703452416+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.704818101+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.705873076+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.706945454+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.707970815+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.709002606+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.710041852+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.711079185+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.712103874+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.713169251+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.714314342+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.715416247+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.716431557+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.717422766+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.718418650+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.719393187+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.720383090+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.721353139+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.722351688+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.723325434+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.724447463+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(254 158 133)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.725505967+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(188 126 132)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.726475732+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(213 202 93)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.727432105+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(113 73 38)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.728394938+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(131 164 169)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.729355750+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(183 167 61)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.730360901+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(118 195 201)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.731331521+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(159 29 103)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.732287861+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(55 46 238)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.733316159+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(52 235 125)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:14.734478243+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "664087us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:15.399773216+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161223us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:15.562321883+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161370us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:15.724990717+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161148us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:15.887463023+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161495us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.050247556+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162190us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.213836559+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162016us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.377158688+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162904us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.541366903+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "167586us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "SubtypeWithPlus",
      "mutations": [
        "subtype_with_plus_5ebf32e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:16.710354827+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "176193us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 suf_idx=0)",
      "hash": "dc766f3e3376c62561863ea78ff471d27b288d76"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.863363715+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.864649075+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.865721790+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "62us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.866771805+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "119us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.867875529+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.868919559+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.869989696+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.871012747+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "60us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.872079308+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.873113409+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "62us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.874355638+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.875340848+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.876368666+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.877374064+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.878384810+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.879366954+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.880418427+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.881446176+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.882468565+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.883443646+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.884772968+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(124 147 179)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.885815240+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(116 3 1)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.886821342+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(159 8 138)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.887841036+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(53 115 16)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.888818341+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(60 82 79)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.889838507+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(189 32 145)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.890833894+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(180 60 211)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.891849532+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(60 191 139)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.892808390+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(6 58 68)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.893810332+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(153 146 165)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:18.895064032+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "160985us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:19.057255593+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "160936us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:19.219652286+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161476us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:19.382592605+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162506us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:19.546526450+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "160671us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:19.708478063+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "160768us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:19.870854294+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161219us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:20.033407890+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "163052us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:20.197955630+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161111us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "StripEmptyParams",
      "mutations": [
        "strip_empty_params_7a39824_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:20.360861027+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161366us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 ws_count=0)",
      "hash": "e0341a0a5e9413cb80892c0a41416907c88be2ec"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.482916763+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.484193435+00:00",
      "status": "failed",
      "tests": 30,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.485255950+00:00",
      "status": "failed",
      "tests": 30,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.486323993+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.487363656+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.488417121+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.489450152+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.490471827+00:00",
      "status": "failed",
      "tests": 30,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.491498516+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.492531553+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.493941718+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.495004450+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.496051337+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.497083062+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.498074835+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.499095501+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.500067125+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.501094552+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.502113195+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.503099196+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.504574010+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(146 162 81 201)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.505540442+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(153 80 129 71)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.506616363+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(103 121 57 29)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.507586934+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(4 240 176 183)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.508588154+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(211 147 61 38)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.509596446+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(115 186 120 141)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.510541712+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(204 119 17 189)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.511512413+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(222 95 100 185)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.512501421+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(164 43 77 244)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.513456954+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(218 181 36 149)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.514918073+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162812us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.678916026+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "163557us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:22.843787481+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "163148us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:23.008261955+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162869us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:23.172665597+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "163283us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:23.337408271+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "164271us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:23.503169469+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162049us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:23.666594108+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "165111us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:23.832963284+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "164185us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "OwsBeforeSemicolon",
      "mutations": [
        "ows_before_semicolon_2e0268e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:23.998522753+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162849us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "152a12f77735297839222e4d00fd5c0103b8005b"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.143883884+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.145118239+00:00",
      "status": "failed",
      "tests": 30,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.146252797+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.147302908+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "86us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.148418520+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "85us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.149464975+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "82us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.150542376+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.151603637+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.152667424+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "proptest",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.153772689+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.155288965+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.156349430+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.157342169+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.158413163+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.159398608+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.160436231+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.161421495+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.162466922+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.163450427+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.164458361+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.165978769+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(198 223 191 171)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.166996067+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(68 110 191 252)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.168040697+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(120 148 145 204)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.169035637+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(16 104 244 220)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.170312650+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(86 49 221 123)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.171357630+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(184 217 251 193)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.172378537+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(144 147 68 167)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.173383383+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(17 24 13 102)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.174395483+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(76 203 127 80)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.175392885+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(192 103 189 82)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.176907864+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162849us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.340951884+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "167503us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.509789200+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "165376us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.676669757+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162828us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.840858928+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "164686us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:27.006865001+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "164742us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:27.173109093+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "163987us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:27.338700349+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "163597us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:27.503626589+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "163945us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    },
    {
      "experiment": "ci-run",
      "workload": "mime",
      "language": "rust",
      "strategy": "hegel",
      "property": "QuotedVsUnquotedParamEq",
      "mutations": [
        "quoted_vs_unquoted_param_eq_0bba696_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:27.668868282+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162765us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(t_idx=0 s_idx=0 p_idx=0 v_idx=0)",
      "hash": "48b756530cbd51a73f07eb74cbbd3606a90f40c9"
    }
  ]
}