{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 16:57 UTC",
  "workload_docs": {
    "toml_edit": [
      {
        "mutations": [
          "lex_close_paren_loop_cc68ae4f_1"
        ],
        "tasks": [
          {
            "property": "ParseTerminates",
            "witnesses": [
              {
                "test_fn": "witness_parse_terminates_case_close_paren_atom"
              },
              {
                "test_fn": "witness_parse_terminates_case_lonely_close_paren"
              }
            ],
            "inactive": true,
            "reason": "Buggy variant infinite-loops the lexer on `)` inputs; the runner OOMs in ~30s before etna's 60s per-trial timeout can SIGTERM the trial (exit 143). Re-enable once the etna_runner wraps each property call in a thread-level hard timeout."
          }
        ],
        "source": {
          "repo": "https://github.com/toml-rs/toml",
          "commits": [
            "cc68ae4f426d48eb69be9178c28440585c0c32fc"
          ],
          "commit_subjects": [
            "fix(lex): Don't loop over ')' for forever"
          ],
          "prs": [
            1003
          ],
          "issues": [
            1002
          ],
          "summary": "A `)` byte was accidentally included in the lexer's `TOKEN_START` set. When `lex_atom` saw a `)`, `offset_for` returned 0 (the current position is already a token-start), nothing was consumed, and the outer iterator re-entered `lex_atom` on the same byte forever. The fix drops `)` from `TOKEN_START`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "crates/toml_parser/src/lexer/mod.rs"
          ],
          "locations": [
            {
              "file": "crates/toml_parser/src/lexer/mod.rs",
              "line": 623,
              "symbol": "lex_atom"
            }
          ],
          "patch": "patches/lex_close_paren_loop_cc68ae4f_1.patch"
        },
        "bug": {
          "short_name": "lex_close_paren_loop",
          "invariant": "Lexing any string input — well-formed or malformed TOML — terminates in time bounded by the input length. In particular, parsing a document that contains a `)` byte must complete and either return `Ok(_)` or report a parse error.",
          "how_triggered": "The mutation re-adds `)` to `TOKEN_START`. Once the byte stream reaches a `)`, `offset_for(|b| TOKEN_START.contains_token(b))` returns 0 (the current byte is already a token-start), `next_slice(0)` is a no-op, and `Lexer::next` re-invokes `lex_atom` on the same `)` indefinitely — the parser never returns."
        }
      },
      {
        "mutations": [
          "inline_table_no_value_panic_b91d460c_1"
        ],
        "tasks": [
          {
            "property": "ParseDoesNotPanic",
            "witnesses": [
              {
                "test_fn": "witness_parse_does_not_panic_case_inline_table_no_value"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/toml-rs/toml",
          "commits": [
            "b91d460cc8584110c95d8eb7fcb2f45f86b6b14a"
          ],
          "commit_subjects": [
            "fix(edit): Don't panic on inline table keys without values"
          ],
          "summary": "When an unclosed inline table reached EOF in `NeedsEquals` or `NeedsValue` state, the parser jumped straight to `inline_table_close` without first emitting the missing key-val-sep / scalar events. Downstream the toml_edit value receiver tripped a `set_prefix` assertion (`setting a value should set a prefix`) and panicked. The fix synthesises stub events for whichever state we're in before reporting the unclosed-table error."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "crates/toml_parser/src/parser/document.rs"
          ],
          "locations": [
            {
              "file": "crates/toml_parser/src/parser/document.rs",
              "line": 1239,
              "symbol": "on_inline_table_open"
            }
          ],
          "patch": "patches/inline_table_no_value_panic_b91d460c_1.patch"
        },
        "bug": {
          "short_name": "inline_table_no_value_panic",
          "invariant": "Parsing any string input — well-formed or malformed TOML — returns a `Result`, never panics. In particular, the parser must not abort the process on truncated inline tables that end mid-`{ key =`.",
          "how_triggered": "The mutation discards the state-dispatch match that synthesises the missing key/value events. Once an inline table reaches EOF in `NeedsValue` (e.g. `={=<=u==`), `inline_table_close` is emitted without a preceding scalar; toml_edit's `on_value` receiver panics with `setting a value should set a prefix`."
        }
      },
      {
        "mutations": [
          "missing_value_no_span_panic_79681201_1"
        ],
        "tasks": [
          {
            "property": "ParseDoesNotPanic",
            "witnesses": [
              {
                "test_fn": "witness_parse_does_not_panic_case_missing_value_no_span"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/toml-rs/toml",
          "commits": [
            "796812017df0f118130423e5109803a1742b62c5"
          ],
          "commit_subjects": [
            "fix(edit): On missing value, ensure a span is used"
          ],
          "prs": [
            1101
          ],
          "issues": [
            1100
          ],
          "summary": "When the value parser reached EOF without consuming any event, it returned `Value::from(0)` as a placeholder. That value has no `Repr`, so downstream code relying on `set_prefix` / `.span()` (e.g. document.rs:547) panicked with 'all items have spans'. The fix synthesises an empty-span `RawString::with_span(0..0)` and wraps the placeholder integer with it."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "crates/toml_edit/src/parser/value.rs"
          ],
          "locations": [
            {
              "file": "crates/toml_edit/src/parser/value.rs",
              "line": 58,
              "symbol": "value"
            }
          ],
          "patch": "patches/missing_value_no_span_panic_79681201_1.patch"
        },
        "bug": {
          "short_name": "missing_value_no_span_panic",
          "invariant": "Parsing any string input — well-formed or malformed — returns a `Result`, never panics. Even when the value parser produces a placeholder fallback for a malformed key/value pair, the placeholder must carry a `Repr` so callers that read its span do not assertion-panic.",
          "how_triggered": "The mutation reverts the placeholder to `Value::from(0)`, which omits the `Repr`. On `==\\n[._[._` the parser hits the EOF branch in `value()` and returns a span-less integer; the table builder later asserts `all items have spans` (document.rs:547) and panics."
        }
      },
      {
        "mutations": [
          "malformed_array_outer_span_1b0bd028_1"
        ],
        "tasks": [
          {
            "property": "ParseDoesNotPanic",
            "witnesses": [
              {
                "test_fn": "witness_parse_does_not_panic_case_malformed_array_outer_span"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/toml-rs/toml",
          "commits": [
            "1b0bd028f6695ad8314de816787eb041553685eb"
          ],
          "commit_subjects": [
            "fix(edit): Preserve outer spans for malformed arrays"
          ],
          "summary": "When `on_array` exited the parsing loop without seeing a real `ArrayClose` event (e.g. nested malformed inline-table inside an array), `result.span` was left as `None`. Downstream code that asserts `all items have spans` then panicked. The fix tracks the most recently consumed event's span and synthesises an outer span covering open..last when no clean close was observed."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "crates/toml_edit/src/parser/array.rs"
          ],
          "locations": [
            {
              "file": "crates/toml_edit/src/parser/array.rs",
              "line": 80,
              "symbol": "on_array"
            }
          ],
          "patch": "patches/malformed_array_outer_span_1b0bd028_1.patch"
        },
        "bug": {
          "short_name": "malformed_array_outer_span",
          "invariant": "Parsing any string input — well-formed or malformed — returns a `Result`, never panics. In particular, a malformed array followed by another malformed token must not leave the surrounding `Array::span` unset, since downstream consumers assume every emitted item has a span.",
          "how_triggered": "The mutation drops the `if result.span.is_none() { result.span = Some(open..close) }` fallback. On `a=[{[]-]{\\na.` the parser exits `on_array` after a nested malformed inline table without ever seeing `]`; `result.span` stays `None` and the table builder later asserts `all items have spans`, panicking the parse."
        }
      },
      {
        "mutations": [
          "malformed_inline_table_outer_span_57ea4b4f_1"
        ],
        "tasks": [
          {
            "property": "ParseDoesNotPanic",
            "witnesses": [
              {
                "test_fn": "witness_parse_does_not_panic_case_malformed_inline_table_outer_span"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/toml-rs/toml",
          "commits": [
            "57ea4b4f2adbb12f1fbb30ed7c45ac60e5493a31"
          ],
          "commit_subjects": [
            "fix(edit): Preserve outer spans for malformed inline tables"
          ],
          "summary": "Same shape as the malformed-array fix but for inline tables: when `on_inline_table` exited the parsing loop without seeing a clean `InlineTableClose` (e.g. an inline table that contained a malformed array and a CRLF), `result.span` was left as `None`. The downstream `all items have spans` assertion then panicked. The fix tracks the most recently consumed event's span and synthesises an outer span when no clean close was observed."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "crates/toml_edit/src/parser/inline_table.rs"
          ],
          "locations": [
            {
              "file": "crates/toml_edit/src/parser/inline_table.rs",
              "line": 87,
              "symbol": "on_inline_table"
            }
          ],
          "patch": "patches/malformed_inline_table_outer_span_57ea4b4f_1.patch"
        },
        "bug": {
          "short_name": "malformed_inline_table_outer_span",
          "invariant": "Parsing any string input — well-formed or malformed — returns a `Result`, never panics. A malformed inline table that aborts mid-parse must not leave `InlineTable::span` unset, since downstream consumers assume every emitted item has a span.",
          "how_triggered": "The mutation drops the `if result.span.is_none() { result.span = Some(open..close) }` fallback. On `={[]\\r].` the parser exits `on_inline_table` after a nested malformed array without ever seeing `}`; `result.span` stays `None` and the table builder later asserts `all items have spans`, panicking the parse."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.907942100+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2918us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.911943518+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2623us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.915551059+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2938us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.919474480+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "3054us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.923462435+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "3082us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.927418439+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2848us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.931183719+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2804us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.934920807+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2919us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.938772332+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2929us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.942610110+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2942us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.946668315+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "284us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.947914297+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "277us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.949040304+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "301us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.950197481+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "252us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.951283996+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "283us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.952390891+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "243us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.953462493+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "270us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.954534460+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "252us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.955612483+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "263us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.956709213+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "252us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.957930468+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "185us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.958948373+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "167us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.959937321+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "164us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.960928022+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "157us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.961890131+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "161us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.962853478+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "163us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.963833259+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "158us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.964775227+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "165us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.965747887+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "157us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.966671837+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "167us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:28.967901278+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "1015765us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:29.984669187+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "344562us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:30.330672605+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "338919us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:30.671034031+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "342513us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:31.014955831+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "347358us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:31.363634045+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "348111us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:31.713102978+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "343875us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:32.058332687+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "342740us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:32.402436137+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "341256us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "inline_table_no_value_panic_b91d460c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:32.745007697+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "344943us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "f14fba8a963b16274bc4ea8a3438bf67a3bc11d2"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.154621919+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2699us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.158420641+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2752us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.162158128+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2540us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.165671519+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2933us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.169490829+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2651us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.173086359+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2784us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.176829513+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2684us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.180398577+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2878us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.184250713+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2780us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.187957212+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2885us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.192137449+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "267us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.193311956+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "254us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.194458248+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "266us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.195534318+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "250us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.196603528+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "249us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.197652672+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "261us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.198783278+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "259us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.199881548+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "296us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.200972429+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "270us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.201994435+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "319us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.203337529+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "192us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.204342240+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "197us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.205325333+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "170us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.206308078+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "200us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.207307288+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "164us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.208245985+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "192us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.209236887+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "168us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.210174192+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "191us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.211152115+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "277us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.212200243+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "152us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.213400324+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "344571us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.559009436+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "342088us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:47.902310628+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "340503us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:48.244127822+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "338187us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:48.583661880+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "336111us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:48.921140441+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "337585us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:49.260020217+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "347750us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:49.609135965+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "345759us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:49.956225186+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "340984us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "missing_value_no_span_panic_79681201_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:56:50.298656436+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "342816us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "e732793a5384870c93c0142fc911dbecb6f6ca30"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.412151393+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2699us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.415914472+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2666us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.419519890+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2766us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.423189975+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2723us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.426794380+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2631us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.430526638+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2761us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.434137953+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2740us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.437771201+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2732us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.441834977+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2683us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.445427627+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2704us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.449404499+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "252us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.450589634+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "268us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.451745684+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "263us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.452871833+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "316us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.454035308+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "282us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.455119437+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "245us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.456203755+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "253us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.457253199+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "269us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.458374948+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "274us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.459433904+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "279us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.461106240+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "206us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.462071964+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "207us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.463087811+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "202us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.464045691+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "188us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.465033819+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "211us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.466014951+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "191us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.466960565+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "182us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.467945230+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "175us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.468927459+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "167us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.469920163+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "165us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.471357778+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "338749us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:04.811154743+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "340548us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:05.153803758+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "343292us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:05.498296687+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "341935us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:05.841626229+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "340392us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:06.183404467+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "348197us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:06.532880687+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "338070us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:06.872405531+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "346783us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:07.220605973+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "348804us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_array_outer_span_1b0bd028_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:07.570774447+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "349508us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d887dd02ba90241f1f328d5d3ba7c3ec58d3b0aa"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.787554305+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2612us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.791318592+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2690us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.795059442+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2792us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.798883086+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2914us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.802751127+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2763us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.806425729+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2716us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.810011569+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "3551us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.814491143+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2618us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.818174767+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2942us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.822166909+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2640us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.826396437+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "277us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.827617107+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "271us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.828710104+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "285us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.829804886+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "273us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.830869179+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "255us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.831890274+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "290us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.833009869+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "283us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.834079645+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "293us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.835194398+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "264us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.836232432+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "260us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.837910243+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "202us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.838926153+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "180us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.839900703+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "166us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.840843933+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "187us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.841806745+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "172us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.842751677+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "188us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.843786422+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "193us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.844782810+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "190us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.845730238+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "169us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.846705634+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "195us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:21.848284043+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "347695us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:22.197058081+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "348773us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:22.547073180+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "349221us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:22.897765891+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "347955us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:23.247119610+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "350133us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:23.598628513+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "344420us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:23.944357225+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "338372us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:24.284119635+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "342023us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:24.627361363+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "344818us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    },
    {
      "experiment": "ci-run",
      "workload": "toml_edit",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseDoesNotPanic",
      "mutations": [
        "malformed_inline_table_outer_span_57ea4b4f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T16:57:24.973576419+00:00",
      "status": "passed",
      "tests": 226,
      "discards": 0,
      "time": "345082us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af8f68b24d25ed7885a011da4bb452cd1771e7fe"
    }
  ]
}