{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 16:42 UTC",
  "workload_docs": {
    "semver": [
      {
        "mutations": [
          "less_prerelease_5742fc2_1"
        ],
        "tasks": [
          {
            "property": "LessRejectsPrerelease",
            "witnesses": [
              {
                "test_fn": "witness_less_rejects_prerelease_case_1_0_0"
              },
              {
                "test_fn": "witness_less_rejects_prerelease_case_2_5_3"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/dtolnay/semver",
          "commits": [
            "5742fc2f584dc14b46199d797de65305fe9b5144"
          ],
          "commit_subjects": [
            "Fix <I.J to not match I.J.0 prereleases"
          ],
          "summary": "`Op::Less` was evaluated as `!matches_exact && !matches_greater`, which for a patch-less comparator (`<M.m`) against a prerelease collapsed to `true` and accepted `M.m.p-beta`; the fix distinguishes patch-less Less from a full Less comparator so that the whole `M.m` line is excluded."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/eval.rs"
          ],
          "locations": [
            {
              "file": "src/eval.rs"
            }
          ],
          "patch": "patches/less_prerelease_5742fc2_1.patch"
        },
        "bug": {
          "short_name": "less_prerelease",
          "invariant": "A `VersionReq` of the form `>M.m.p-alpha, <M.m` (Less comparator without a patch component) must NOT match `M.m.p-beta`. The Less comparator with `patch = None` is supposed to exclude the entire `M.m.*` line, even when combined with a prerelease-admitting Greater.",
          "how_triggered": "The buggy `Op::Less` branch is `!matches_exact && !matches_greater`. For a `<M.m` comparator with `cmp.patch = None`, `matches_greater` returns `false` (early return on the `None` patch) and `matches_exact` returns `false` (version has non-empty pre, cmp does not), so the naive complement yields `true` — the version matches, violating the invariant."
        }
      },
      {
        "mutations": [
          "wildcard_patch_digit_a5850bb_1"
        ],
        "tasks": [
          {
            "property": "ParseRejectsDigitAfterMinorWildcard",
            "witnesses": [
              {
                "test_fn": "witness_parse_rejects_digit_after_minor_wildcard_case_greater_1_0"
              },
              {
                "test_fn": "witness_parse_rejects_digit_after_minor_wildcard_case_caret_1_0"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/dtolnay/semver",
          "commits": [
            "a5850bbd0d1bf6e5ae1ed1310cbe8919fa77d618"
          ],
          "commit_subjects": [
            "Disallow patch version digit after minor version wildcard"
          ],
          "summary": "The parser's `UnexpectedAfterWildcard` guard gated on `op == Op::Wildcard`, so when an explicit operator preceded the wildcard (e.g. `>1.*.0`) the guard never fired and the parser silently accepted a concrete patch digit after a minor wildcard."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/parse.rs"
          ],
          "locations": [
            {
              "file": "src/parse.rs"
            }
          ],
          "patch": "patches/wildcard_patch_digit_a5850bb_1.patch"
        },
        "bug": {
          "short_name": "wildcard_patch_digit",
          "invariant": "A comparator of the form `<op>M.*.P` — where `<op>` is an explicit operator (`>`, `<`, `~`, `^`) and `P` is a concrete digit — must be rejected by the parser. The minor wildcard cannot be followed by a concrete patch component.",
          "how_triggered": "The buggy patch-position check is `op == Op::Wildcard`. When the caller supplied an explicit `<op>`, `op` is `Greater`/`Less`/`Tilde`/`Caret` — never `Wildcard` — so the `UnexpectedAfterWildcard` guard never fires and `\">1.*.0\"` parses successfully as `op=Greater, minor=None, patch=Some(0)`.\n"
        }
      },
      {
        "mutations": [
          "debug_omits_empty_ae1b06c_1"
        ],
        "tasks": [
          {
            "property": "VersionDebugOmitsEmpty",
            "witnesses": [
              {
                "test_fn": "witness_version_debug_omits_empty_case_1_0_0"
              },
              {
                "test_fn": "witness_version_debug_omits_empty_case_42_7_99"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/dtolnay/semver",
          "commits": [
            "ae1b06c8c005345ec9d343ddb0f87f45e61ea4a8"
          ],
          "commit_subjects": [
            "Customize Debug impl of Version to omit empty pieces"
          ],
          "summary": "The derived `Debug for Version` always emitted `pre` and `build` fields, so printing a bare `Version::new(1, 0, 0)` produced the noisy `Prerelease(\"\")` / `BuildMetadata(\"\")` lines; the custom impl drops those fields when they are empty."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/display.rs"
          ],
          "locations": [
            {
              "file": "src/display.rs"
            }
          ],
          "patch": "patches/debug_omits_empty_ae1b06c_1.patch"
        },
        "bug": {
          "short_name": "debug_omits_empty",
          "invariant": "The `Debug` rendering of a `Version` whose `pre` and `build` identifiers are both empty must be exactly `Version { major: M, minor: m, patch: p }`. Empty pre-release and build-metadata fields must be omitted.",
          "how_triggered": "The buggy `impl Debug for Version` unconditionally chains `.field(\"pre\", &self.pre).field(\"build\", &self.build)`, so `format!(\"{:?}\", Version::new(1, 0, 0))` renders as `Version { major: 1, minor: 0, patch: 0, pre: Prerelease(\"\"), build: BuildMetadata(\"\") }` — including the empty fields the customized impl is supposed to suppress.\n"
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.514913897+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.516324277+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.517425952+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.518474239+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.519516773+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.520562465+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.521600851+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.522639028+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.523670692+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.524704011+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.525889070+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1.16.7)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.526951113+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(10.16.13)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.527928555+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(5.4.0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.528939232+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0.15.13)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.529910372+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(9.2.1)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.530886072+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(9.16.8)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.531902319+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(11.2.0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.532961653+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0.7.1)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.533976799+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(12.5.5)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.534975250+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(7.15.3)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.536110780+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(5.16.5)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.537185775+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(1.2.11)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.538205215+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(16.5.7)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.539229378+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(12.9.7)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.540237206+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(12.8.6)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.541292025+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(6.13.10)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.542293612+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(6.9.4)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.543316472+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0.4.5)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.544344708+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(16.13.2)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.545385281+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(8.1.4)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:03.546558969+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "676622us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:04.224387279+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "183136us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:04.409073411+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "189173us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:04.599930470+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "183123us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:04.784385659+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "178863us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:04.964605468+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "185007us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:05.151009962+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "184895us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:05.337249560+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "185112us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:05.523825995+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "184013us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "LessRejectsPrerelease",
      "mutations": [
        "less_prerelease_5742fc2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:05.709251465+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "183364us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "6c7bc1ce2ebdfbadf6e068409a893151c69102b8"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.497491675+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.498956917+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.500071627+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "62us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.501155718+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.502238068+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.503312911+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.504402946+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.505497205+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "60us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.506585677+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.507688132+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.509087383+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(>0.*.11)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.510137622+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(>1.*.8)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.511127607+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(~10.*.7)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.512209987+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(<1.*.1)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.513202797+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(~2.*.0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.514180391+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(~13.*.9)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.515154970+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(<11.*.13)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.516136812+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(~1.*.13)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.517146273+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(^12.*.9)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.518119338+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(<12.*.9)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.519413854+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(>8.*.0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.520398048+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(>1.*.14)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.521370994+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(<2.*.4)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.522427956+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(>8.*.11)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.523403373+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(~15.*.12)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.524375787+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(>2.*.3)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.525411591+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(<2.*.7)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.526382881+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(<4.*.6)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.527355036+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(<2.*.15)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.528327730+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(^7.*.12)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.529665545+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "164331us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.695157886+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162105us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:08.858680315+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "164205us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:09.024177674+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "165439us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:09.191011019+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "164832us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:09.357309003+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "169730us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:09.528508088+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "169999us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:09.699952451+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "163405us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:09.864753154+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162971us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRejectsDigitAfterMinorWildcard",
      "mutations": [
        "wildcard_patch_digit_a5850bb_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:10.029292227+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "173781us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "abeee8fb089d7d134cf1e62544448d218f0a3799"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.838932774+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.840198835+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.841251898+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.842340388+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "60us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.843392391+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.844464229+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.845509189+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "65us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.846566240+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.847583588+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.848647783+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.850058324+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(10.5.0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.851089146+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(7.4.9)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.852073282+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(10.4.3)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.853104295+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(10.16.1)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.854079724+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(14.11.14)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.855112031+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(3.4.13)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.856101255+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(13.2.10)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.857127679+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(7.3.4)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.858121274+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(4.10.3)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.859171172+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(10.10.13)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.860492517+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(2.9.11)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.861501689+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0.0.3)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.862515861+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(2.7.1)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.863529250+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(6.7.2)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.864498408+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(11.8.2)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.865507270+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(12.12.1)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.866504540+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(2.8.3)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.867506168+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(14.2.9)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.868471839+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(8.15.2)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.869520576+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(16.3.9)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:12.870965190+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "182665us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:13.054854516+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "189875us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:13.246217138+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "181608us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:13.429267068+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "183931us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:13.614695696+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "183890us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:13.800016633+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "182942us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:13.984497857+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "184001us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:14.169838801+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "178277us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:14.349656365+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "178010us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    },
    {
      "experiment": "ci-run",
      "workload": "semver",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionDebugOmitsEmpty",
      "mutations": [
        "debug_omits_empty_ae1b06c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:42:14.529036453+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "178563us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "cc784533211258e3cc515f0f6f16f37f41b05f43"
    }
  ]
}