{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 17:01 UTC",
  "workload_docs": {
    "nom": [
      {
        "mutations": [
          "multispace0_consumes_all_whitespace_51c3c4e_1"
        ],
        "tasks": [
          {
            "property": "Multispace0ConsumesAllWhitespace",
            "witnesses": [
              {
                "test_fn": "witness_multispace0_consumes_all_whitespace_case_newline_only"
              },
              {
                "test_fn": "witness_multispace0_consumes_all_whitespace_case_mixed_ws"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-bakery/nom",
          "commits": [
            "51c3c4e44fa78a8a09b413419372b97b2cc2a787"
          ],
          "commit_subjects": [
            "Fix for issue 1808 (#1811)"
          ],
          "summary": "`multispace0` (via `split_at_position_complete`) split at offset 0 when every byte matched the predicate, so on an all-whitespace input the parser returned consumed=\"\" / remainder=whole instead of consuming everything; the fix delegates the exhaustive case to `take_split(self.input_len())`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/traits.rs"
          ],
          "locations": [
            {
              "file": "src/traits.rs"
            }
          ],
          "patch": "patches/multispace0_consumes_all_whitespace_51c3c4e_1.patch"
        },
        "bug": {
          "short_name": "multispace0_consumes_all_whitespace",
          "invariant": "`recognize(multispace0)` on an all-whitespace `&str` input must return `(rem=\"\", consumed=whole)`.\n",
          "how_triggered": "The `None` branch of `split_at_position_complete` for `&str` returns `self.split_at(0)` (yielding consumed=\"\", remainder=whole at offset 0) instead of `self.take_split(self.input_len())` (yielding consumed=whole, remainder=\"\" at offset len).\n"
        }
      },
      {
        "mutations": [
          "float_parses_infinity_fully_63def4e_1"
        ],
        "tasks": [
          {
            "property": "FloatParsesInfinityFully",
            "witnesses": [
              {
                "test_fn": "witness_float_parses_infinity_fully_case_lowercase"
              },
              {
                "test_fn": "witness_float_parses_infinity_fully_case_mixed_case"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-bakery/nom",
          "commits": [
            "63def4e16b1273f702f1a77f19a0b61d2bcb1e18"
          ],
          "commit_subjects": [
            "fix: parse \"infinity\" literal fully in `float` (#1673)\n"
          ],
          "summary": "In `recognize_float_or_exceptions` the `tag_no_case(\"inf\")` branch appeared before `tag_no_case(\"infinity\")` inside the `alt`, so parsing \"infinity\" matched the shorter prefix and left \"inity\" unconsumed; reordering the branches lets the longer literal win."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/number/complete.rs"
          ],
          "locations": [
            {
              "file": "src/number/complete.rs"
            }
          ],
          "patch": "patches/float_parses_infinity_fully_63def4e_1.patch"
        },
        "bug": {
          "short_name": "float_parses_infinity_fully",
          "invariant": "`float(\"infinity\")` must return `(\"\", +inf)` — no unparsed remainder.\n",
          "how_triggered": "Inside `recognize_float_or_exceptions` the `alt` branches test `tag_no_case(\"inf\")` before `tag_no_case(\"infinity\")`, so the short tag matches first and leaves `\"inity\"` unconsumed.\n"
        }
      },
      {
        "mutations": [
          "count_handles_zero_sized_output_931bcf0_1"
        ],
        "tasks": [
          {
            "property": "CountHandlesZeroSizedOutput",
            "witnesses": [
              {
                "test_fn": "witness_count_handles_zero_sized_output_case_three_abc"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-bakery/nom",
          "commits": [
            "931bcf0109decd100746297a0d0fa243f8c39e23"
          ],
          "commit_subjects": [
            "avoid panic when counting zero-sized outputs in count() (#1618)"
          ],
          "summary": "`count`'s capacity heuristic divided a byte budget by `size_of::<O>()` without guarding the divisor, so a parser whose output is a zero-sized type hit a divide-by-zero panic; the fix reinstates `.max(1)` on the divisor."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/multi/mod.rs"
          ],
          "locations": [
            {
              "file": "src/multi/mod.rs"
            }
          ],
          "patch": "patches/count_handles_zero_sized_output_931bcf0_1.patch"
        },
        "bug": {
          "short_name": "count_handles_zero_sized_output",
          "invariant": "`count(parser, n)` with a parser whose output is a zero-sized type must not panic during capacity allocation.",
          "how_triggered": "The initial capacity divisor `MAX_INITIAL_CAPACITY_BYTES / size_of::<O>()` drops the `.max(1)` guard, so when `O = ()` (size 0) the division panics with \"attempt to divide by zero\".\n"
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.312684295+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "109us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole.\nminimal failing input: []",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.314193510+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "82us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole.\nminimal failing input: []",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.315330116+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "82us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole.\nminimal failing input: []",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.316818360+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole.\nminimal failing input: []",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.317995716+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole.\nminimal failing input: []",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.319162766+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole.\nminimal failing input: []",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.320280114+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole.\nminimal failing input: []",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.321394427+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole.\nminimal failing input: []",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.322529911+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole.\nminimal failing input: []",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.323609082+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole.\nminimal failing input: []",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.324845845+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.325997633+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.327084555+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.328174813+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.329311028+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.330395657+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.331528748+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.332625885+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.333718666+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.334782895+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.336029433+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.337146289+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.338243447+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.339339553+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.340411163+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.341509412+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.342621982+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.343708164+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.344803028+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.345873346+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.347117129+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "829294us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:27.177786743+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "178813us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:27.358228688+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "178101us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:27.537985102+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "181724us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:27.721168458+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "180584us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:27.903252805+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "175805us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:28.080610593+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "179168us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:28.261265161+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "176792us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:28.439565308+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "176973us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "Multispace0ConsumesAllWhitespace",
      "mutations": [
        "multispace0_consumes_all_whitespace_51c3c4e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:28.618074804+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "181982us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: recognize(multispace0) on \" \": got rem=\"\" out=\"\", expected rem=\"\" out=whole",
      "hash": "6f7e3bab6170f338ab06a84e30e3a1f2b146947f"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.705663812+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: float(\"infinity\") left remainder \"inity\" (expected empty).\nminimal failing input: []",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.707023516+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: float(\"infinity\") left remainder \"inity\" (expected empty).\nminimal failing input: []",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.708226300+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: float(\"infinity\") left remainder \"inity\" (expected empty).\nminimal failing input: []",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.709367632+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: float(\"infinity\") left remainder \"inity\" (expected empty).\nminimal failing input: []",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.710520422+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: float(\"infinity\") left remainder \"inity\" (expected empty).\nminimal failing input: []",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.711650728+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: float(\"infinity\") left remainder \"inity\" (expected empty).\nminimal failing input: []",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.712787334+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: float(\"infinity\") left remainder \"inity\" (expected empty).\nminimal failing input: []",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.713920585+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: float(\"infinity\") left remainder \"inity\" (expected empty).\nminimal failing input: []",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.715039044+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: float(\"infinity\") left remainder \"inity\" (expected empty).\nminimal failing input: []",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.716138745+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: float(\"infinity\") left remainder \"inity\" (expected empty).\nminimal failing input: []",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.717481745+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.718576228+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.719606637+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.720651027+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.721699864+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.722740247+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.723795243+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.724841005+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.725926074+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.726985666+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.728238904+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.729278607+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.730314554+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.731371933+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.732439357+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.733490627+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.734534816+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.735603111+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.736656344+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.737751078+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.739079346+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "182084us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: float(\"infinity\") left remainder \"inity\" (expected empty)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.922521134+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "178914us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: float(\"infinity\") left remainder \"inity\" (expected empty)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:33.102923370+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "178602us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: float(\"infinity\") left remainder \"inity\" (expected empty)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:33.283181083+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "178296us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: float(\"infinity\") left remainder \"inity\" (expected empty)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:33.462966250+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "181106us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: float(\"infinity\") left remainder \"inity\" (expected empty)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:33.645759762+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "182873us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: float(\"infinity\") left remainder \"inity\" (expected empty)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:33.830122447+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "180751us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: float(\"infinity\") left remainder \"inity\" (expected empty)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:34.012355502+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "184767us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: float(\"infinity\") left remainder \"inity\" (expected empty)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:34.198606766+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "183749us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: float(\"infinity\") left remainder \"inity\" (expected empty)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "FloatParsesInfinityFully",
      "mutations": [
        "float_parses_infinity_fully_63def4e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:34.383927784+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "179773us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: float(\"infinity\") left remainder \"inity\" (expected empty)",
      "hash": "619473ea6b44786490d7e1331559d2d223f8d70c"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.450026336+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "127us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: count panicked: attempt to divide by zero.\nminimal failing input: 0",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.451409846+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "119us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: count panicked: attempt to divide by zero.\nminimal failing input: 0",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.452618988+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "149us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: count panicked: attempt to divide by zero.\nminimal failing input: 0",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.453805747+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "127us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: count panicked: attempt to divide by zero.\nminimal failing input: 0",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.455014179+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "115us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: count panicked: attempt to divide by zero.\nminimal failing input: 0",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.456151245+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "127us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: count panicked: attempt to divide by zero.\nminimal failing input: 0",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.457326357+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "116us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: count panicked: attempt to divide by zero.\nminimal failing input: 0",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.458475+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "102us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: count panicked: attempt to divide by zero.\nminimal failing input: 0",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.459711372+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "104us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: count panicked: attempt to divide by zero.\nminimal failing input: 0",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "proptest",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.460913234+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "94us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: count panicked: attempt to divide by zero.\nminimal failing input: 0",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.462509287+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.463644770+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.464779313+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.465913344+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.467052043+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.468166556+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.469297152+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.470405947+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.471522382+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.472685206+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.474175874+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.475271749+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.476350950+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.477417061+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.478538344+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.479612177+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.480713911+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.481791649+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.482879453+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.483975619+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: (0)",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.485486926+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162208us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: count panicked: attempt to divide by zero",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.648926932+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "163561us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: count panicked: attempt to divide by zero",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.814050149+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161249us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: count panicked: attempt to divide by zero",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.976866695+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "166748us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: count panicked: attempt to divide by zero",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:39.145157891+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "163217us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: count panicked: attempt to divide by zero",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:39.309884754+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "163109us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: count panicked: attempt to divide by zero",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:39.474503517+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162908us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: count panicked: attempt to divide by zero",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:39.638984537+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "163148us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: count panicked: attempt to divide by zero",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:39.803742204+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "160248us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: count panicked: attempt to divide by zero",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    },
    {
      "experiment": "ci-run",
      "workload": "nom",
      "language": "rust",
      "strategy": "hegel",
      "property": "CountHandlesZeroSizedOutput",
      "mutations": [
        "count_handles_zero_sized_output_931bcf0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:39.965485389+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161534us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: count panicked: attempt to divide by zero",
      "hash": "9b1d1aebc35e14cfdebf105d06d7820c7a585a85"
    }
  ]
}