{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 17:25 UTC",
  "workload_docs": {
    "regex": [
      {
        "mutations": [
          "unicode_named_value_negation_c4865a0_1"
        ],
        "tasks": [
          {
            "property": "GcNeSeparatorNegation",
            "witnesses": [
              {
                "test_fn": "witness_gc_ne_separator_negation_case_letters_vs_spaces"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-lang/regex",
          "commits": [
            "c4865a0c8446a701e10b0fd987f19068f5dcc365"
          ],
          "commit_subjects": [
            "syntax: fix negation handling in HIR translation"
          ],
          "summary": "`hir_ascii_unicode_class` consulted the bare `negated` field on the AST class, which only tracks the `\\p` vs `\\P` sigil and ignores the `!=` operator inside `\\p{name!=value}`; switching to `is_negated()` folds both sources of negation together."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "regex-syntax/src/hir/translate.rs"
          ],
          "locations": [
            {
              "file": "regex-syntax/src/hir/translate.rs"
            }
          ],
          "patch": "patches/unicode_named_value_negation_c4865a0_1.patch"
        },
        "bug": {
          "short_name": "unicode_named_value_negation",
          "invariant": "`\\p{gc!=Separator}` must match every character whose General_Category is *not* `Separator` and must not match any character whose General_Category is `Separator`.",
          "how_triggered": "Replaces `ast_class.is_negated()` with the bare `ast_class.negated` field in `hir_ascii_unicode_class`. The bare field only tracks the `\\P` vs `\\p` sigil; it ignores the `!=` operator inside `\\p{name!=value}`. With the mutation, `\\p{gc!=Separator}` is lowered as its *non-negated* variant, so spaces match and letters do not — the inverse of the requested class."
        }
      },
      {
        "mutations": [
          "captures_get_group_overflow_ab76b86_1"
        ],
        "tasks": [
          {
            "property": "CaptureLocationsGetOverflow",
            "witnesses": [
              {
                "test_fn": "witness_capture_locations_get_overflow_case_high_bit_index"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-lang/regex",
          "commits": [
            "ab76b863b4b7bb21608a61e5fee2fc968501791c"
          ],
          "commit_subjects": [
            "bug: fix CaptureLocations::get to handle invalid offsets"
          ],
          "summary": "`CaptureLocations::get(i)` computed `(i*2, i*2 + 1)` without overflow guards; an adversarial `i` near `usize::MAX` wrapped to `0` in release builds and returned the span for the whole-match slot instead of `None`, so the fix uses `checked_mul`/`checked_add`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "regex-automata/src/util/captures.rs"
          ],
          "locations": [
            {
              "file": "regex-automata/src/util/captures.rs"
            }
          ],
          "patch": "patches/captures_get_group_overflow_ab76b86_1.patch"
        },
        "bug": {
          "short_name": "captures_get_group_overflow",
          "invariant": "For any `i >= locs.len()`, `CaptureLocations::get(i)` must return `None`. The doubling used internally to find `(start_slot, end_slot)` must not silently wrap for large `i`.",
          "how_triggered": "Reverts the `index.checked_mul(2)?` / `checked_add(1)?` guards to the plain `(index * 2, index * 2 + 1)` arithmetic. For `index = 1 << 63`, `index * 2` wraps to `0`, and the lookup hands back the span for capture group `0` (the whole-match slot) instead of `None`. Release builds mask the wrap silently; debug builds may panic."
        }
      },
      {
        "mutations": [
          "alternation_literal_from_alt_33898de_1"
        ],
        "tasks": [
          {
            "property": "AlternationLiteralFromAlt",
            "witnesses": [
              {
                "test_fn": "witness_alternation_literal_from_alt_case_ossfuzz_58173"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-lang/regex",
          "commits": [
            "33898de870fc584ce912651590d8715d1178e667"
          ],
          "commit_subjects": [
            "syntax: fix bug in new alternation literal analysis"
          ],
          "summary": "`Properties::from_alt` ANDed `is_alternation_literal()` across alternatives instead of `is_literal()`, letting a child like `(?:z|xx)@` propagate the alternation-literal flag into its parent even though it is a concatenation; OSS-Fuzz #58173 then tripped a downstream literal optimizer."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "regex-syntax/src/hir/mod.rs"
          ],
          "locations": [
            {
              "file": "regex-syntax/src/hir/mod.rs"
            }
          ],
          "patch": "patches/alternation_literal_from_alt_33898de_1.patch"
        },
        "bug": {
          "short_name": "alternation_literal_from_alt",
          "invariant": "`Hir::properties().is_alternation_literal()` must be `true` only when the top-level pattern is an alternation whose alternatives are each *single literals*. An alternative like `(?:z|xx)@` is a concatenation and is not a literal, so any alternation containing it must be flagged `false`.",
          "how_triggered": "In the `Properties::from_alt` fold, the mutation replaces `p.is_literal()` with `p.is_alternation_literal()` when ANDing the alternatives' flags. The child `(?:z|xx)@` is itself classified as alternation-literal (because its inner alternation is one), so the outer alternation `(?:z|xx)@|xx` inherits the flag even though it is not literal. The regression surfaces from OSS-Fuzz #58173, where a downstream literal optimizer trusted the flag and panicked."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.718936824+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "756us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.721287205+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "682us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.723252494+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "665us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.725149613+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "688us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.727119733+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "654us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.728940275+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "672us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.730842515+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "615us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.732712901+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "655us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.734589565+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "620us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.736328265+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "660us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.738256007+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "236us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.739726149+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "385us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.741297193+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "418us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.742868537+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "388us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.744439074+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "421us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.746002367+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "384us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.747570229+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "425us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.749129652+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "386us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.750751969+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "384us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.752322815+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "409us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.754089984+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "243us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.755467886+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "275us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.756892102+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "235us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.758296984+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "247us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.759683857+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "243us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.761117145+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "243us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.762527222+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "268us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.763929460+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "242us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.765331142+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "245us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.766774209+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "243us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:28.768288083+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "694089us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:29.463753607+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "158244us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:29.623644441+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "157361us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:29.782676958+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "158552us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:29.942993953+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "157212us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:30.101849441+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "159515us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:30.262924027+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "158537us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:30.423178709+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "159536us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:30.584470132+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "159226us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "GcNeSeparatorNegation",
      "mutations": [
        "unicode_named_value_negation_c4865a0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:30.745292568+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "157819us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}",
      "hash": "2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.553482116+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "319us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.555254161+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "357us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.556863012+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "266us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.558403191+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "323us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.559896386+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "271us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.561327067+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "303us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.562816024+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "281us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.564263466+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "294us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.565723527+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "304us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.567194155+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "279us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.568872458+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "421us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (63)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.570524734+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "399us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (63)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.572026035+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "306us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (63)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.573541014+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "275us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (63)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.574953327+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "302us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (63)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.576437859+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "335us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (63)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.577896499+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "469us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (63)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.579564005+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "486us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (63)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.581160033+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "270us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (63)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.582628252+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "374us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (63)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.584348145+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "125us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (1)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.585662766+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "150us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (1)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.586907867+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "98us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (1)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.588221887+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (1)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.589440048+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "96us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (1)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.590749290+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "98us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (1)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.592020781+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "144us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (1)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.593347785+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (1)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.594583088+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "126us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (1)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.595844733+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "94us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (1)",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.597360710+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "166488us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.765177569+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "167780us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:43.934517148+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "169386us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:44.105620897+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "165928us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:44.273315620+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "166243us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:44.441257455+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "167131us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:44.609915245+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "169370us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:44.780869245+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "167579us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:44.950005551+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "167289us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "CaptureLocationsGetOverflow",
      "mutations": [
        "captures_get_group_overflow_ab76b86_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:45.118954389+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "166505us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None",
      "hash": "9f7c73d99c7447a181eefef08d8aa06859e5f8a2"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.896891850+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "162us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.898452157+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "185us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.899896477+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "128us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.901211301+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "109us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.902471257+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "139us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.903745486+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "130us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.904966266+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "138us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.906210320+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "136us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.907488320+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "129us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "proptest",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.908755385+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "135us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.910521039+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.911679211+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "96us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.912840449+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.913985329+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.915171013+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.916311982+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.917475777+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.918709069+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.919861211+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.921049622+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.922753148+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.924029964+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.925266133+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.926463056+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.927666647+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.928877236+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.930045099+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.931268061+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.932420716+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.933629343+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:57.935209528+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "157736us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:58.094304120+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "157685us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:58.253555236+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "157702us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:58.412907068+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "156660us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:58.571067536+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "157633us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:58.730421488+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "158315us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:58.890431005+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "156966us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:59.048967637+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "157956us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:59.208464601+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "157500us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    },
    {
      "experiment": "ci-run",
      "workload": "regex",
      "language": "rust",
      "strategy": "hegel",
      "property": "AlternationLiteralFromAlt",
      "mutations": [
        "alternation_literal_from_alt_33898de_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:24:59.367750060+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "157999us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal",
      "hash": "c227cc56cf330caea80ebaa6cda595af1fea1650"
    }
  ]
}