{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 17:02 UTC",
  "workload_docs": {
    "bstr": [
      {
        "mutations": [
          "splitn_trailing_empty_aed424a_1"
        ],
        "tasks": [
          {
            "property": "SplitnBounded",
            "witnesses": [
              {
                "test_fn": "witness_splitn_bounded_case_no_needle_in_haystack"
              },
              {
                "test_fn": "witness_splitn_bounded_case_needle_once_extra_limit"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/BurntSushi/bstr",
          "commits": [
            "aed424a778f43373824232e242e4f7894ba221f1"
          ],
          "commit_subjects": [
            "api: fix splitn_str and rsplitn_str"
          ],
          "summary": "`SplitN::next` short-circuited on `count == limit` without checking whether the underlying split had already produced its final chunk, so `splitn_str(n, needle)` emitted a spurious trailing empty slice whenever the haystack contained fewer than `n-1` needle occurrences. The fix gates the early return on `self.split.done` as well."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/ext_slice.rs"
          ],
          "locations": [
            {
              "file": "src/ext_slice.rs"
            }
          ],
          "patch": "patches/splitn_trailing_empty_aed424a_1.patch"
        },
        "bug": {
          "short_name": "splitn_trailing_empty",
          "invariant": "`haystack.splitn_str(n, needle).count() == min(n, haystack.split_str(needle).count())` (and the same for `rsplitn_str`).",
          "how_triggered": "The fix adds `|| self.split.done` to the `count == limit` short-circuit so the splitn iterator stops emitting once the underlying split is exhausted. The buggy version still returns `haystack[haystack.len()..]` (an empty slice) as a spurious trailing element when the limit exceeds the number of matches — so `splitn_str(2, \":\")` on `b\"ab\"` yields `[\"ab\", \"\"]` instead of `[\"ab\"]`.\n"
        }
      },
      {
        "mutations": [
          "cow_partialeq_self_compare_b2111b6_1"
        ],
        "tasks": [
          {
            "property": "CowPartialeqBstr",
            "witnesses": [
              {
                "test_fn": "witness_cow_partialeq_bstr_case_distinct_bytes"
              },
              {
                "test_fn": "witness_cow_partialeq_bstr_case_distinct_lengths"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/BurntSushi/bstr",
          "commits": [
            "b2111b6bbf2c9a819fb1338aa81bd099874106a1"
          ],
          "commit_subjects": [
            "impl: fix cow partialeq impl"
          ],
          "summary": "One arm of the `impl_partial_eq_cow!` macro compared the right-hand operand with itself instead of with the left, so `cow == &bstr` (and the mirrored direction) returned `true` for every pair. The fix swaps the wrong argument for `this` so both directions actually compare against the caller's bytes."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/impls.rs"
          ],
          "locations": [
            {
              "file": "src/impls.rs"
            }
          ],
          "patch": "patches/cow_partialeq_self_compare_b2111b6_1.patch"
        },
        "bug": {
          "short_name": "cow_partialeq_self_compare",
          "invariant": "`&BStr == Cow<BStr>` and `Cow<BStr> == &BStr` must both agree with underlying byte equality, in both directions.",
          "how_triggered": "The buggy second impl of the macro expanded to `PartialEq::eq(this, other.as_bytes())` against the wrong operand, effectively comparing `other` with itself. So `cow == &bstr` would always return `true` regardless of content. The witness compares distinct byte strings and expects `false` via either direction of the macro-generated `impl`s."
        }
      },
      {
        "mutations": [
          "debug_fffd_not_escaped_eafb495_1"
        ],
        "tasks": [
          {
            "property": "DebugValidFffdPreserved",
            "witnesses": [
              {
                "test_fn": "witness_debug_valid_fffd_preserved_case_bare"
              },
              {
                "test_fn": "witness_debug_valid_fffd_preserved_case_sandwiched"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/BurntSushi/bstr",
          "commits": [
            "eafb4951c651c4b4eab94621c259f80b217803ee"
          ],
          "commit_subjects": [
            "impl: fix replacement codepoint handling in Debug impl"
          ],
          "summary": "`Debug for BStr` unconditionally rewrote the three bytes of a well-formed U+FFFD (`0xEF 0xBF 0xBD`) as `\\xef\\xbf\\xbd`, erasing valid replacement characters from the output. The fix special-cases the exact byte sequence and renders it via `ch.escape_debug()` so the codepoint survives verbatim."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/impls.rs"
          ],
          "locations": [
            {
              "file": "src/impls.rs"
            }
          ],
          "patch": "patches/debug_fffd_not_escaped_eafb495_1.patch"
        },
        "bug": {
          "short_name": "debug_fffd_not_escaped",
          "invariant": "Debug output of a `BStr` containing the valid UTF-8 encoding of `U+FFFD` (`0xEF 0xBF 0xBD`) must render the literal replacement character, not three `\\xNN` escapes.",
          "how_triggered": "The fix checks `if bytes == b\"\\xEF\\xBF\\xBD\"` and, when true, renders `ch.escape_debug()` so the character survives verbatim. The buggy code unconditionally rewrites the three FFFD bytes as `\\xef\\xbf\\xbd`, so a well-formed FFFD in the input never appears literally in the output.\n"
        }
      },
      {
        "mutations": [
          "debug_non_ascii_control_unicode_escape_8e2041e_1"
        ],
        "tasks": [
          {
            "property": "DebugAsciiControlHex",
            "witnesses": [
              {
                "test_fn": "witness_debug_ascii_control_hex_case_low_stx"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/BurntSushi/bstr",
          "commits": [
            "8e2041ed5481078f25635dd7989a96abd87721ce"
          ],
          "commit_subjects": [
            "impl: improve Debug impl for BStr"
          ],
          "summary": "Prior to this commit, `Debug for BStr` only special-cased `U+FFFD` and delegated everything else to `ch.escape_debug()`, which renders ASCII control bytes as `\\u{NN}` instead of the shorter `\\xNN`. The fix introduces dedicated arms for `\\0`, `\\x01..=\\x7f`, and the FFFD case so control bytes use the hex-escape form."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/impls.rs"
          ],
          "locations": [
            {
              "file": "src/impls.rs"
            }
          ],
          "patch": "patches/debug_non_ascii_control_unicode_escape_8e2041e_1.patch"
        },
        "bug": {
          "short_name": "debug_non_ascii_control_unicode_escape",
          "invariant": "Debug output of any ASCII control byte (0x01..=0x1f or 0x7f, excluding `\\0`, `\\t`, `\\n`, `\\r`) must use `\\xNN` escapes.",
          "how_triggered": "The fix introduces per-byte arms (`'\\0' => \"\\\\0\"`, `'\\x01'..='\\x7f' => escape_ascii()`, `'\\u{FFFD}' => ...`). The pre-8e2041e buggy code only special-cased FFFD and fell through to `ch.escape_debug()` for everything else, so byte 0x02 prints as `\\u{2}` instead of `\\x02`.\n"
        }
      },
      {
        "mutations": [
          "debug_control_chars_x1a_732fc99_1"
        ],
        "tasks": [
          {
            "property": "DebugAsciiControlHex",
            "witnesses": [
              {
                "test_fn": "witness_debug_ascii_control_hex_case_high_fs"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/BurntSushi/bstr",
          "commits": [
            "732fc99f3844d88dc40f33d95a7bc8f3f6bd2e5b"
          ],
          "commit_subjects": [
            "impl: fix formatting of control characters \\\\x1a through \\\\x1f in Debug impl"
          ],
          "summary": "Following 8e2041e, the ASCII-control escape arm in `Debug for BStr` was written as two disjoint ranges `0x01..=0x19` and `0x20..=0x7f`, accidentally omitting `0x1a..=0x1f`. Those bytes fell through to `escape_debug` and printed as `\\u{1a}..\\u{1f}`. The fix merges the ranges into `'\\x01'..='\\x7f'`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/impls.rs"
          ],
          "locations": [
            {
              "file": "src/impls.rs"
            }
          ],
          "patch": "patches/debug_control_chars_x1a_732fc99_1.patch"
        },
        "bug": {
          "short_name": "debug_control_chars_x1a",
          "invariant": "Same as variant 4, for the 0x1a..=0x1f subrange.",
          "how_triggered": "After 8e2041e the escape branch covered `0x01..=0x19` and `0x20..=0x7f` but omitted `0x1a..=0x1f` (a Rust range subtlety around `SUB` / `ESC` / `FS`..`US`); those bytes still fell through to `escape_debug` and printed `\\u{1a}..\\u{1f}` instead of `\\x1a..\\x1f`. The 732fc99 fix extends the range to `'\\x01'..='\\x7f'`. The mutation narrows it back."
        }
      },
      {
        "mutations": [
          "debug_hex_uppercase_af99a6e_1"
        ],
        "tasks": [
          {
            "property": "DebugHexLowercase",
            "witnesses": [
              {
                "test_fn": "witness_debug_hex_lowercase_case_ff"
              },
              {
                "test_fn": "witness_debug_hex_lowercase_case_ed"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/BurntSushi/bstr",
          "commits": [
            "af99a6ecb4723d0ea03982797a1becd8437d3f7d"
          ],
          "commit_subjects": [
            "impl: fix discrepancy in upper/lower case in `impl fmt::Debug for BStr`"
          ],
          "summary": "The invalid-UTF-8 branch of `Debug for BStr` formatted each byte with `{:02X}` (uppercase), diverging from the lowercase hex the rest of the impl (and the analogous `str` debug output) uses. The fix is a one-character change to `{:02x}`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/impls.rs"
          ],
          "locations": [
            {
              "file": "src/impls.rs"
            }
          ],
          "patch": "patches/debug_hex_uppercase_af99a6e_1.patch"
        },
        "bug": {
          "short_name": "debug_hex_uppercase",
          "invariant": "Invalid UTF-8 bytes rendered through the FFFD-else branch must use lowercase hex in the `\\xNN` escape.",
          "how_triggered": "The pre-af99a6e code wrote `write!(f, \"\\\\x{:02X}\", b)?` (uppercase). The fix is the one-character change to `{:02x}`. The witness formats byte `0xff` and asserts the rendering is `\"\\xff\"`, not `\"\\xFF\"`.\n"
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.004975436+00:00",
      "status": "failed",
      "tests": 30,
      "discards": 0,
      "time": "115us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] [0] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.006275273+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "106us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] [0] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.007207539+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "121us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] [0] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.008135631+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "98us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] [0] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.009122491+00:00",
      "status": "failed",
      "tests": 51,
      "discards": 0,
      "time": "110us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] [0] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.010026344+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "99us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] [0] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.010976437+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] [0] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.011844161+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] [0] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.012766919+00:00",
      "status": "failed",
      "tests": 47,
      "discards": 0,
      "time": "113us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] [0] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.013685280+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "112us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] [0] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.014717930+00:00",
      "status": "failed",
      "tests": 61,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([] [0] 220687154)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.015659658+00:00",
      "status": "failed",
      "tests": 216,
      "discards": 0,
      "time": "184us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([] [0] 1575701738)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.016632138+00:00",
      "status": "failed",
      "tests": 172,
      "discards": 0,
      "time": "84us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([] [0] 3647336266)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.017554438+00:00",
      "status": "failed",
      "tests": 196,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([] [0] 1030068146)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.018452710+00:00",
      "status": "failed",
      "tests": 149,
      "discards": 0,
      "time": "142us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([] [0] 2883233394)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.019428947+00:00",
      "status": "failed",
      "tests": 141,
      "discards": 0,
      "time": "102us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([] [0] 787045178)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.020308795+00:00",
      "status": "failed",
      "tests": 129,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([] [0] 1308029650)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.021197551+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "80us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([] [0] 2776459730)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.022079002+00:00",
      "status": "failed",
      "tests": 56,
      "discards": 0,
      "time": "86us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([] [0] 700296626)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.022993132+00:00",
      "status": "failed",
      "tests": 240,
      "discards": 0,
      "time": "150us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([] [0] 223833458)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.024121238+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([250, 67, 108, 114, 56, 146, 13, 52, 30, 15, 122, 11, 39, 137, 117, 95, 159, 252] [199, 72, 60, 188, 251, 222, 224, 24, 154, 127, 85, 108, 113, 109, 98, 210, 240, 82, 166, 224, 31, 235, 151] 1130051170)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.024972932+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([92, 6, 253, 139, 137, 125, 235, 100, 108, 85, 61, 131, 43, 120, 194, 198, 215, 182, 39, 5, 136, 175] [254] 915819522)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.025762130+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([58, 176, 39, 124, 63, 203] [230, 246, 241, 27, 160, 128, 207, 46, 72, 147, 118, 76, 124, 45, 26, 132, 90, 10] 76056122)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.026623432+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([80, 189, 57, 206, 66, 246, 42, 88, 62, 142, 143, 203, 154, 100, 58, 12, 194, 28, 33, 67, 124, 203, 52, 119, 21] [89, 138, 24, 106, 7, 214, 111, 89, 166, 216, 251, 238, 10, 137, 117, 139, 242, 102, 203, 248, 146, 48, 145, 150, 149, 116, 228, 62, 43] 394484834)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.027428190+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([162, 235, 123, 194] [146, 39, 97, 150, 63, 80, 9, 95, 234, 246, 24, 173, 85, 63, 156, 9, 210, 95, 42, 15, 83, 18] 910151578)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.028217672+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([63, 77, 181] [138, 43, 106, 149, 19, 192, 142, 30, 194, 172, 61, 4, 235, 111, 211, 139, 222, 79, 207, 60, 125, 155, 82, 19, 188] 266027450)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.029109399+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([183, 234, 78, 4, 60, 225, 237, 45, 144, 180, 253] [187, 94, 113, 145, 221, 179, 52, 25, 12, 184, 188, 11, 42, 236, 9, 137, 160, 179, 18, 79] 3760729434)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.029897189+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([226, 182, 95, 254, 187, 101, 25, 7, 54, 112, 113, 55, 115, 150, 60, 152, 17, 90, 222, 33, 33, 151, 242, 169, 53] [115, 25, 118, 197, 144, 239, 155, 124, 21, 85, 113, 7, 67, 114, 33, 44, 34, 94, 201, 43, 61, 215] 1874537458)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.030731030+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([40, 128, 136, 92, 25, 5, 44, 211, 74, 199, 8, 36] [193, 190, 127, 8, 2, 244, 250, 184, 5, 39, 57, 153, 49, 50, 122, 17, 109, 30, 109, 182, 196, 68] 1228041714)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.031555339+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([57, 174] [82, 74, 6, 40, 134, 157, 96, 117, 84, 9, 192, 134, 193, 233, 214, 117, 226, 35, 148, 202, 210, 160, 239, 124, 110, 75, 217, 71, 187, 229] 1339737082)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.032547085+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "1152770us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] [58] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:48.186356011+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "324083us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] [58] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:48.511924218+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "321087us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] [58] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:48.834285861+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "325706us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] [58] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:49.161404256+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "323377us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] [58] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:49.486246809+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "315675us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] [58] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:49.803388785+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "324180us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] [58] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:50.128832770+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "322971us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] [58] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:50.453072808+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "322896us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] [58] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitnBounded",
      "mutations": [
        "splitn_trailing_empty_aed424a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:50.777382153+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "331186us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] [58] 2)",
      "hash": "4d9d2d69e1ac9910eade9a21af249d0affba90e3"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.288825426+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.289920199+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.290841551+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.291675644+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.292545421+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.293353050+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.294165917+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.295009778+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.295814993+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.296597860+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.297788370+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.298551309+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.299336792+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.300082752+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.300827978+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.301607091+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.302368908+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.303140147+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.303889761+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.304645587+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.305631156+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.306395754+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.307158045+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.307915244+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.308663869+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.309422998+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.310186231+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.310935818+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.311663110+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.312489204+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.313725445+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.314551384+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.315391274+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.316171509+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.316946979+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.317717342+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.318679165+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.319571075+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.320367408+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "CowPartialeqBstr",
      "mutations": [
        "cow_partialeq_self_compare_b2111b6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:55.321225685+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: CowPartialeqBstr",
      "hash": "64227d60e59ab80dd50f0d3d4b98f23e10a0065c"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.508269373+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.509338665+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.510260426+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.511125167+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.511958706+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.512766199+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.513574064+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.514410980+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.515221222+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.516054884+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.517135595+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.517915281+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.518654695+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.519459143+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.520217895+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.520985499+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.521726638+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.522492026+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.523293181+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.524100137+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.525195896+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.525989439+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.526721340+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.527510939+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.528275866+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.529084181+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.529821916+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.530596674+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.531348233+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.532126199+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.533218205+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.534082088+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.534830582+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.535623243+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.536446159+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.537301602+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.538103867+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.538888762+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.539824528+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugValidFffdPreserved",
      "mutations": [
        "debug_fffd_not_escaped_eafb495_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:59.540681164+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: DebugValidFffdPreserved",
      "hash": "807b8f38e88963573c443103b4d319ad07a301e9"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.755077796+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(127)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.756179116+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "93us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(14)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.757146770+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.758016841+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.758870709+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.759725322+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.760578193+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(14)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.761459518+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "62us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.762306292+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "85us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(14)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.763145957+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.764371644+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.765203478+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.766016263+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.766772714+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.767542019+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.768366776+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.769107993+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.769888258+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.770666643+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.771466627+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.772753177+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(4)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.773554040+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(18)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.774300302+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(15)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.775133479+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(18)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.775862507+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(17)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.776631212+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(31)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.777605707+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(25)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.778385887+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(15)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.779162996+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(25)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.779940612+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(28)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.781258086+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "156469us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:03.938752848+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "156790us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:04.097050013+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "153816us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:04.252031077+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "156135us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:04.409642531+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "154283us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:04.565380875+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "157248us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:04.723810769+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "152676us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:04.877695989+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "153907us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:05.032737119+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "154332us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_non_ascii_control_unicode_escape_8e2041e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:05.188450185+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "152017us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1)",
      "hash": "4c9bf64c70b9805aacb3ef1ad6e2d914b833730d"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.527371253+00:00",
      "status": "failed",
      "tests": 30,
      "discards": 0,
      "time": "98us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.528491864+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "60us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.529435804+00:00",
      "status": "failed",
      "tests": 65,
      "discards": 0,
      "time": "106us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.530357810+00:00",
      "status": "failed",
      "tests": 50,
      "discards": 0,
      "time": "80us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.531241187+00:00",
      "status": "failed",
      "tests": 132,
      "discards": 0,
      "time": "112us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.532097567+00:00",
      "status": "failed",
      "tests": 58,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.532887225+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.533746879+00:00",
      "status": "failed",
      "tests": 67,
      "discards": 0,
      "time": "109us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.534629992+00:00",
      "status": "failed",
      "tests": 130,
      "discards": 0,
      "time": "96us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.535480212+00:00",
      "status": "failed",
      "tests": 56,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.537267961+00:00",
      "status": "failed",
      "tests": 63,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.538097845+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.538873518+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.539817814+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.540615531+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.541464751+00:00",
      "status": "failed",
      "tests": 67,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.542259310+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.543068179+00:00",
      "status": "failed",
      "tests": 78,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.543848065+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.544604606+00:00",
      "status": "failed",
      "tests": 95,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.546004873+00:00",
      "status": "failed",
      "tests": 37,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(30)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.546777732+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.547522705+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.548338869+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.549078402+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(28)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.549833298+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(29)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.550873001+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(28)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.551723159+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(31)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.552496295+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.553262236+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(30)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.554623236+00:00",
      "status": "failed",
      "tests": 55,
      "discards": 0,
      "time": "186135us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.741740044+00:00",
      "status": "failed",
      "tests": 55,
      "discards": 0,
      "time": "186395us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:09.929382770+00:00",
      "status": "failed",
      "tests": 55,
      "discards": 0,
      "time": "187053us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:10.117684656+00:00",
      "status": "failed",
      "tests": 55,
      "discards": 0,
      "time": "185233us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:10.304148072+00:00",
      "status": "failed",
      "tests": 55,
      "discards": 0,
      "time": "184383us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:10.489669810+00:00",
      "status": "failed",
      "tests": 55,
      "discards": 0,
      "time": "189425us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:10.680421719+00:00",
      "status": "failed",
      "tests": 55,
      "discards": 0,
      "time": "182564us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:10.864265278+00:00",
      "status": "failed",
      "tests": 55,
      "discards": 0,
      "time": "182913us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:11.048418744+00:00",
      "status": "failed",
      "tests": 55,
      "discards": 0,
      "time": "187622us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugAsciiControlHex",
      "mutations": [
        "debug_control_chars_x1a_732fc99_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:11.237308858+00:00",
      "status": "failed",
      "tests": 55,
      "discards": 0,
      "time": "185380us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(26)",
      "hash": "b5f5aac5b7c143269cf04db37a99d55fe2be3740"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.576803483+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.577861415+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(154)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.578784741+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.579627505+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(154)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.580547849+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "62us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(154)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.581414349+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "65us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.582285324+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.583120116+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.583945474+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "proptest",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.584783586+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.586402263+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.587243066+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.588024254+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.588794309+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.589561535+00:00",
      "status": "failed",
      "tests": 41,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.590353934+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.591109434+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(154)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.591873912+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.592662291+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.593440511+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.594986603+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(198)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.595790987+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(192)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.596580279+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(227)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.597340175+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(206)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.598107055+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(254)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.598871553+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(139)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.599626177+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(176)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.600409634+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(170)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.601183870+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(249)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.601953708+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(192)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.603571007+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "159769us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.764293440+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "158476us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:15.924211825+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "159499us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:16.084840469+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "158974us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:16.245030673+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "159100us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:16.405534484+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "160850us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:16.567825086+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "159763us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:16.728806442+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "158420us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:16.888349692+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "158730us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    },
    {
      "experiment": "ci-run",
      "workload": "bstr",
      "language": "rust",
      "strategy": "hegel",
      "property": "DebugHexLowercase",
      "mutations": [
        "debug_hex_uppercase_af99a6e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:17.048308337+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "159158us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(138)",
      "hash": "de97183c72965a5c6be49ad1034ed5ee10d62bdd"
    }
  ]
}