{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 17:03 UTC",
  "workload_docs": {
    "rust-csv": [
      {
        "mutations": [
          "core_reader_reset_output_pos_zero_066de4a_1"
        ],
        "tasks": [
          {
            "property": "ResetClearsOutputPosition",
            "witnesses": [
              {
                "test_fn": "witness_reset_clears_output_position_case_short_field"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/BurntSushi/rust-csv",
          "commits": [
            "066de4aaf5dbf2c82bdb03fb574d905dde172d8a"
          ],
          "commit_subjects": [
            "csv-core: fix Reader::reset not resetting output_pos"
          ],
          "summary": "`csv_core::Reader::reset` cleared most parser state but forgot to zero `output_pos`, so any partial field parsed before the reset leaked into the next record — `ends[0]` after the reset came out as `stale + field.len()` instead of `field.len()`. The fix adds `self.output_pos = 0`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "csv-core/src/reader.rs"
          ],
          "locations": [
            {
              "file": "csv-core/src/reader.rs"
            }
          ],
          "patch": "patches/core_reader_reset_output_pos_zero_066de4a_1.patch"
        },
        "bug": {
          "short_name": "core_reader_reset_output_pos_zero",
          "invariant": "After `Reader::reset()`, a subsequent `read_record` into a fresh record must place `ends[0]` at exactly the length of the first field — `reset` should wipe all parser state including the running `output_pos`.",
          "how_triggered": "Removes the `self.output_pos = 0;` assignment from `Reader::reset`. After priming the reader (a complete record followed by a partial field with no terminator advances `output_pos`), `reset()` leaves the stale offset; the next complete parse reports `ends[0] = stale_output_pos + field.len()` instead of `field.len()`."
        }
      },
      {
        "mutations": [
          "reader_trim_all_without_headers_ce01ae7_1"
        ],
        "tasks": [
          {
            "property": "TrimAllAppliesWithoutHeaders",
            "witnesses": [
              {
                "test_fn": "witness_trim_all_applies_without_headers_case_three_fields"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/BurntSushi/rust-csv",
          "commits": [
            "ce01ae7fe4cf7938a22ca565c33678e7422da6c0"
          ],
          "commit_subjects": [
            "reader: tweak record trimming logic"
          ],
          "summary": "The trim block was nested inside the `has_headers(true)` branch, so `ReaderBuilder::has_headers(false).trim(Trim::All)` silently skipped trimming and returned records with their surrounding whitespace intact (issue #237). The fix lifts the `record.trim()` call out to an unconditional sibling branch."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/reader.rs"
          ],
          "locations": [
            {
              "file": "src/reader.rs"
            }
          ],
          "patch": "patches/reader_trim_all_without_headers_ce01ae7_1.patch"
        },
        "bug": {
          "short_name": "reader_trim_all_without_headers",
          "invariant": "`ReaderBuilder::has_headers(false).trim(Trim::All)` must trim whitespace off every field of every record, not just records read after the header branch.",
          "how_triggered": "Reverts the trim block to the buggy `} else if self.state.trim.should_trim_fields() { record.trim(); }` so trimming only runs inside the `!has_headers` branch path. With `has_headers(false)` and `Trim::All`, the record retains its surrounding whitespace."
        }
      },
      {
        "mutations": [
          "writer_comment_char_auto_quote_0f64d3f_1"
        ],
        "tasks": [
          {
            "property": "WriterCommentCharAutoQuote",
            "witnesses": [
              {
                "test_fn": "witness_writer_comment_char_auto_quote_case_hash_prefix"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/BurntSushi/rust-csv",
          "commits": [
            "0f64d3f3322b30af7a38e222bd7dad18eac38b2b"
          ],
          "commit_subjects": [
            "api: automatically escape fields that contain the comment character"
          ],
          "summary": "When the writer was configured with `comment(Some(c))` and `QuoteStyle::Necessary`, a field beginning with `c` was serialized unquoted, so reading it back under the same comment character silently dropped the row as a comment line (issue #283). The fix marks the comment byte as requires-quotes when the writer is built."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "csv-core/src/writer.rs"
          ],
          "locations": [
            {
              "file": "csv-core/src/writer.rs"
            }
          ],
          "patch": "patches/writer_comment_char_auto_quote_0f64d3f_1.patch"
        },
        "bug": {
          "short_name": "writer_comment_char_auto_quote",
          "invariant": "A field written with `WriterBuilder::comment(Some(c))` and `QuoteStyle::Necessary` must round-trip through a reader configured with the same comment character. When the field starts with `c`, the writer must auto-quote it.",
          "how_triggered": "Removes the `if let Some(comment) = self.wtr.comment { wtr.requires_quotes[comment as usize] = true; }` block from `WriterBuilder::build`. Fields beginning with `#` serialize unquoted; on read-back with `comment = Some(b'#')`, the row is dropped as a comment line."
        }
      },
      {
        "mutations": [
          "byte_record_eq_field_boundaries_efc4a51_1"
        ],
        "tasks": [
          {
            "property": "ByteRecordEqMatchesFields",
            "witnesses": [
              {
                "test_fn": "witness_byte_record_eq_matches_fields_case_boundary_shift"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/BurntSushi/rust-csv",
          "commits": [
            "efc4a51224dd6ccb1b1c4e2254a1ea94b9067b17"
          ],
          "commit_subjects": [
            "csv: fix equality check for raw records"
          ],
          "summary": "`ByteRecord: PartialEq` compared the concatenated byte buffer via `self.as_slice() == other.as_slice()`, which missed field-boundary differences entirely — so `[\"12\",\"34\"] == [\"123\",\"4\"]` returned `true` (issue #138). The fix zips field-by-field so boundaries are part of equality."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/byte_record.rs"
          ],
          "locations": [
            {
              "file": "src/byte_record.rs"
            }
          ],
          "patch": "patches/byte_record_eq_field_boundaries_efc4a51_1.patch"
        },
        "bug": {
          "short_name": "byte_record_eq_field_boundaries",
          "invariant": "Two `ByteRecord`s must only compare equal when their field lists compare equal — the field *boundaries*, not just the concatenated byte buffer, are part of the record's identity.",
          "how_triggered": "Reverts the field-wise zip-compare back to `self.as_slice() == other.as_slice()`, which compares concatenated field bytes. The length-check guard from commit 23fb0cd is preserved, so only the boundary regression is exposed; e.g. `[\"12\",\"34\"] == [\"123\",\"4\"]` incorrectly returns `true`.\n"
        }
      },
      {
        "mutations": [
          "byte_record_eq_length_check_23fb0cd_1"
        ],
        "tasks": [
          {
            "property": "ByteRecordEqMatchesFields",
            "witnesses": [
              {
                "test_fn": "witness_byte_record_eq_matches_fields_case_length_mismatch"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/BurntSushi/rust-csv",
          "commits": [
            "23fb0cd676bf71c23fc8de45856cbf0187627e45"
          ],
          "commit_subjects": [
            "csv: fix record equality, redux"
          ],
          "summary": "After the field-wise fix (`efc4a51`), `ByteRecord: PartialEq` relied on a `zip` which silently truncated at the shorter iterator, so `[\"12\",\"34\",\"56\"] == [\"12\",\"34\"]` returned `true`. The fix adds an explicit `if self.len() != other.len() { return false; }` guard before the zip."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/byte_record.rs"
          ],
          "locations": [
            {
              "file": "src/byte_record.rs"
            }
          ],
          "patch": "patches/byte_record_eq_length_check_23fb0cd_1.patch"
        },
        "bug": {
          "short_name": "byte_record_eq_length_check",
          "invariant": "Records of different field counts must never compare equal, even when the shorter one is a prefix of the longer.",
          "how_triggered": "Removes the `if self.len() != other.len() { return false; }` guard, leaving the zip-based field comparison which silently truncates at the shorter iterator; e.g. `[\"12\",\"34\",\"56\"] == [\"12\",\"34\"]` incorrectly returns `true`.\n"
        }
      },
      {
        "mutations": [
          "core_reader_comment_only_at_record_start_a5745ba_1"
        ],
        "tasks": [
          {
            "property": "CommentOnlyAtRecordStart",
            "witnesses": [
              {
                "test_fn": "witness_comment_only_at_record_start_case_mid_record_hash"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/BurntSushi/rust-csv",
          "commits": [
            "a5745baa172d50679e34b33d6dba3d063eb40cd4"
          ],
          "commit_subjects": [
            "csv-core: fix comment handling"
          ],
          "summary": "The NFA transition for the configured comment character was wired from `StartField`, so any field beginning with the comment byte — not just records starting with it — was treated as a comment (issue #137). Parsing `first,#tail\\n` under `comment = Some(b'#')` therefore dropped the second field. The fix moves the transition to `StartRecord`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "csv-core/src/reader.rs"
          ],
          "locations": [
            {
              "file": "csv-core/src/reader.rs"
            }
          ],
          "patch": "patches/core_reader_comment_only_at_record_start_a5745ba_1.patch"
        },
        "bug": {
          "short_name": "core_reader_comment_only_at_record_start",
          "invariant": "The configured comment character only starts a comment at the beginning of a record, not at the beginning of any field.",
          "how_triggered": "Moves the comment NFA transition from `StartRecord` back to `StartField`. Parsing `first,#tail\\n` with `comment = Some(b'#')` causes the parser to discard the second field as a comment and emit only a single field."
        }
      },
      {
        "mutations": [
          "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
        ],
        "tasks": [
          {
            "property": "DeserializeByteBufAcceptsNonUtf8",
            "witnesses": [
              {
                "test_fn": "witness_deserialize_byte_buf_accepts_non_utf8_case_invalid_middle"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/BurntSushi/rust-csv",
          "commits": [
            "9e644e66db0aa0b931758de1c2b7da555fb632b7"
          ],
          "commit_subjects": [
            "serde: fix bug in handling of invalid UTF-8"
          ],
          "summary": "The serde deserializer's `deserialize_byte_buf` was implemented via `next_field()`, which performs UTF-8 validation, so `#[serde(with = \"serde_bytes\")]` fields rejected perfectly valid raw-byte payloads with a decode error. The fix routes through `next_field_bytes()` instead, honoring the byte-buffer contract."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/deserializer.rs"
          ],
          "locations": [
            {
              "file": "src/deserializer.rs"
            }
          ],
          "patch": "patches/deserialize_byte_buf_bypasses_utf8_9e644e6_1.patch"
        },
        "bug": {
          "short_name": "deserialize_byte_buf_bypasses_utf8",
          "invariant": "A struct field annotated with `#[serde(with = \"serde_bytes\")]` takes arbitrary bytes — deserializing into it must not perform UTF-8 validation on the source field.\n",
          "how_triggered": "Reroutes `deserialize_byte_buf` through `next_field()` (which runs UTF-8 validation) instead of `next_field_bytes()` (which returns raw bytes). Deserializing a record whose middle field contains invalid UTF-8 now returns a decode error."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.341648444+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "340us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    45,\n]",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.343342871+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "485us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    45,\n]",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.344870539+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "445us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    45,\n]",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.346344663+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "303us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    45,\n]",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.347626400+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "548us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    48,\n]",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.349187647+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "339us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    48,\n]",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.350529877+00:00",
      "status": "failed",
      "tests": 30,
      "discards": 0,
      "time": "559us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    45,\n]",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.352033616+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "218us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    45,\n]",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.353294524+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "539us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    45,\n]",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.354775160+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "561us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    48,\n]",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.356499377+00:00",
      "status": "failed",
      "tests": 1225,
      "discards": 0,
      "time": "3833us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (15501)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.361430196+00:00",
      "status": "failed",
      "tests": 1409,
      "discards": 0,
      "time": "4424us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (13263)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.366855607+00:00",
      "status": "failed",
      "tests": 1490,
      "discards": 0,
      "time": "4326us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (1962)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.372190845+00:00",
      "status": "failed",
      "tests": 1249,
      "discards": 0,
      "time": "4052us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (15603)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.377251301+00:00",
      "status": "failed",
      "tests": 1217,
      "discards": 0,
      "time": "3879us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (14970)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.382097411+00:00",
      "status": "failed",
      "tests": 1253,
      "discards": 0,
      "time": "3898us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (7534)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.387013276+00:00",
      "status": "failed",
      "tests": 1176,
      "discards": 0,
      "time": "3629us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (793744)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.391636998+00:00",
      "status": "failed",
      "tests": 1420,
      "discards": 0,
      "time": "4432us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (13976)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.397060266+00:00",
      "status": "failed",
      "tests": 1474,
      "discards": 0,
      "time": "4593us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (3872)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.402638950+00:00",
      "status": "failed",
      "tests": 1227,
      "discards": 0,
      "time": "3900us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (6753)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.407670843+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([4, 4, 1, 0])",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.408743563+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0, 4, 2, 0])",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.409806359+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1, 1, 4, 0])",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.410824828+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([4, 1, 3, 1])",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.411845855+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([3, 4, 1, 4])",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.412899370+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([4, 2, 2, 3])",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.413925838+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([3, 3, 3, 4])",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.414977659+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([4, 0, 1, 2])",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.416015579+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0, 4, 4, 3])",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.417088219+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0, 1, 4, 1])",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:59.418365127+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "913022us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:00.332596954+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "190211us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:00.524167544+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "191395us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:00.717013868+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "190260us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:00.908865924+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "195850us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:01.106106850+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "195022us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:01.302579696+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "194828us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:01.499017506+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "193935us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:01.694463927+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "190123us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ResetClearsOutputPosition",
      "mutations": [
        "core_reader_reset_output_pos_zero_066de4a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:01.886098831+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "196141us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)",
      "hash": "3d65be37f043904548d1a7ace106642a6b69d977"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.354561831+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "280us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: field 0: got Some([32, 64, 9]), expected [64].\nminimal failing input: [\n    [\n        64,\n    ],\n]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.356124460+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "410us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: field 0: got Some([32, 45, 9]), expected [45].\nminimal failing input: [\n    [\n        45,\n    ],\n]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.357579453+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "223us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: field 0: got Some([32, 45, 9]), expected [45].\nminimal failing input: [\n    [\n        45,\n    ],\n]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.358826119+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "253us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: field 0: got Some([32, 64, 9]), expected [64].\nminimal failing input: [\n    [\n        64,\n    ],\n]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.360096586+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "329us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: field 0: got Some([32, 45, 9]), expected [45].\nminimal failing input: [\n    [\n        45,\n    ],\n]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.361459319+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "261us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: field 0: got Some([32, 45, 9]), expected [45].\nminimal failing input: [\n    [\n        45,\n    ],\n]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.362711712+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "258us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: field 0: got Some([32, 45, 9]), expected [45].\nminimal failing input: [\n    [\n        45,\n    ],\n]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.364016057+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "279us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: field 0: got Some([32, 48, 9]), expected [48].\nminimal failing input: [\n    [\n        48,\n    ],\n]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.365319275+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "209us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: field 0: got Some([32, 48, 9]), expected [48].\nminimal failing input: [\n    [\n        48,\n    ],\n]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.366507364+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "232us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: field 0: got Some([32, 45, 9]), expected [45].\nminimal failing input: [\n    [\n        45,\n    ],\n]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.368072317+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.369204387+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.370357462+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.371435803+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.372492178+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.373529943+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "86us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.374569275+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.375612440+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "62us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.376653535+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.377706148+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.378992003+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[0, 4, 3, 1], [2, 0, 4, 3], [0, 0, 4, 1], [3, 4, 2, 0]])",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.380065615+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[0, 0, 3, 4], [4, 4, 4, 1], [0, 3, 0, 4], [0, 3, 4, 2]])",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.381128852+00:00",
      "status": "failed",
      "tests": 41,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[1, 4, 5, 1, 1], [2, 5, 5, 3, 4], [1, 1, 3, 3, 4], [3, 4, 1, 4, 2], [4, 2, 5, 2, 1]])",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.382197265+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[4, 3, 2, 0], [2, 1, 3, 4], [0, 2, 4, 0], [3, 4, 4, 1]])",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.383293203+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[0, 4, 1, 3], [1, 2, 2, 4], [3, 1, 4, 1], [0, 4, 4, 0]])",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.384331168+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[3, 0, 2, 4], [2, 4, 1, 4], [2, 4, 0, 2], [2, 0, 2, 4]])",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.385394866+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[1, 4, 2, 4], [1, 1, 4, 1], [1, 0, 4, 0], [4, 1, 3, 4]])",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.386435577+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[2, 4, 3, 3], [3, 4, 1, 1], [4, 2, 2, 1], [2, 1, 3, 4]])",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.387478696+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "85us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[4, 1, 0, 4], [1, 2, 4, 2], [4, 0, 1, 3], [2, 4, 4, 3]])",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.388525799+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([[4, 3, 1, 3], [3, 0, 1, 4], [3, 1, 2, 4], [3, 4, 2, 0]])",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.389820981+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "209307us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.600375707+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "214059us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:06.816132451+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "209143us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:07.026710037+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "208895us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:07.237073629+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "217803us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:07.456498635+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "208155us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:07.666035354+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "213539us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:07.881181480+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "209807us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:08.092664184+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "214189us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "TrimAllAppliesWithoutHeaders",
      "mutations": [
        "reader_trim_all_without_headers_ce01ae7_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:08.308432489+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "211135us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]",
      "hash": "2d2d26a1d8521579be17ffc31a813c75559c672b"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.776553583+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "221us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.778024560+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "303us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.779403089+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "579us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.781001505+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "250us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.782303802+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "282us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.783591595+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "889us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.785731906+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "497us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.787341724+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "569us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.788869432+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "494us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.790435388+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "390us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.792264402+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.793318698+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "65us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.794364332+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.795425110+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.796470103+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.797545889+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.798590291+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.799646991+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.800755012+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.801799039+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.803365330+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.804550814+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.805614748+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.806667465+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.807690112+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.808716630+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.809764765+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.810788447+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.811825531+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.812850326+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.814270648+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "179367us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:12.994791871+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "178890us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:13.175354729+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "177929us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:13.354860451+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "181575us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:13.538294741+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "179038us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:13.718667025+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "178287us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:13.898407507+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "182129us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:14.081935376+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "177552us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:14.260869413+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "182619us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "WriterCommentCharAutoQuote",
      "mutations": [
        "writer_comment_char_auto_quote_0f64d3f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:14.444891812+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "177261us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted",
      "hash": "96fdbadb85b5f24af16be1e45778f19c3cb26e83"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.884717017+00:00",
      "status": "failed",
      "tests": 202,
      "discards": 0,
      "time": "463us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] splits_a=[16, 2] splits_b=[1, 3] trunc_b=15 left=[[0], [0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] right=[[0], [0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        16,\n        2,\n    ],\n    [\n        1,\n        3,\n    ],\n    15,\n)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.886446479+00:00",
      "status": "failed",
      "tests": 93,
      "discards": 0,
      "time": "211us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0, 0, 0, 0] splits_a=[151, 8] splits_b=[31, 15] trunc_b=42 left=[[0], [0], [0, 0, 0]] right=[[0], [0, 0], [0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        151,\n        8,\n    ],\n    [\n        31,\n        15,\n    ],\n    42,\n)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.887656633+00:00",
      "status": "failed",
      "tests": 131,
      "discards": 0,
      "time": "276us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] splits_a=[4] splits_b=[1] trunc_b=12 left=[[0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0]] right=[[0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        4,\n    ],\n    [\n        1,\n    ],\n    12,\n)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.888927945+00:00",
      "status": "failed",
      "tests": 254,
      "discards": 0,
      "time": "380us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0, 0, 0, 0, 0, 0] splits_a=[25] splits_b=[34] trunc_b=8 left=[[0], [0, 0, 0, 0, 0, 0]] right=[[0, 0], [0, 0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        25,\n    ],\n    [\n        34,\n    ],\n    8,\n)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.890337913+00:00",
      "status": "failed",
      "tests": 276,
      "discards": 0,
      "time": "525us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] splits_a=[40, 41] splits_b=[94, 1] trunc_b=13 left=[[0], [0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] right=[[0], [0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        40,\n        41,\n    ],\n    [\n        94,\n        1,\n    ],\n    13,\n)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.891822335+00:00",
      "status": "failed",
      "tests": 138,
      "discards": 0,
      "time": "290us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=156 left=[[0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] right=[[0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        1,\n    ],\n    [\n        2,\n    ],\n    156,\n)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.893124011+00:00",
      "status": "failed",
      "tests": 199,
      "discards": 0,
      "time": "356us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=12 left=[[0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] right=[[0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        1,\n    ],\n    [\n        2,\n    ],\n    12,\n)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.894546467+00:00",
      "status": "failed",
      "tests": 212,
      "discards": 0,
      "time": "429us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=208 left=[[0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] right=[[0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        1,\n    ],\n    [\n        2,\n    ],\n    208,\n)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.895976423+00:00",
      "status": "failed",
      "tests": 158,
      "discards": 0,
      "time": "261us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0, 0, 0] splits_a=[116] splits_b=[117] trunc_b=40 left=[[0], [0, 0, 0]] right=[[0, 0], [0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        116,\n    ],\n    [\n        117,\n    ],\n    40,\n)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.897220574+00:00",
      "status": "failed",
      "tests": 218,
      "discards": 0,
      "time": "454us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] splits_a=[37] splits_b=[2] trunc_b=192 left=[[0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] right=[[0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        37,\n    ],\n    [\n        2,\n    ],\n    192,\n)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.899119880+00:00",
      "status": "failed",
      "tests": 20507,
      "discards": 0,
      "time": "9037us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (1873497444986207732 1152921504606847254)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.909162470+00:00",
      "status": "failed",
      "tests": 19315,
      "discards": 0,
      "time": "8665us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (1873497445003095092 1152921504606847395)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.918832887+00:00",
      "status": "failed",
      "tests": 14342,
      "discards": 0,
      "time": "6764us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (1873497444986352956 1152921504606847092)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.926620204+00:00",
      "status": "passed",
      "tests": 274,
      "discards": 0,
      "time": "268us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.927881914+00:00",
      "status": "passed",
      "tests": 277,
      "discards": 0,
      "time": "272us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.929158306+00:00",
      "status": "passed",
      "tests": 282,
      "discards": 0,
      "time": "269us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.930426889+00:00",
      "status": "passed",
      "tests": 266,
      "discards": 0,
      "time": "287us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.931671933+00:00",
      "status": "failed",
      "tests": 18102,
      "discards": 0,
      "time": "8294us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (7061644215716937734 1152921504606847158)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.940968638+00:00",
      "status": "failed",
      "tests": 17319,
      "discards": 0,
      "time": "7537us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (1873497444986133913 1152921504606847195)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.949549916+00:00",
      "status": "failed",
      "tests": 8034,
      "discards": 0,
      "time": "4715us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (3746994889972252672 13835058055282163823)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.955768947+00:00",
      "status": "failed",
      "tests": 66,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([5, 6, 3, 3, 2, 0] [0, 5, 0, 6, 0, 3] [2, 0, 6, 0, 6, 6] 0)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.956860432+00:00",
      "status": "failed",
      "tests": 83,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([6, 2, 1, 2, 5, 1] [2, 2, 1, 6, 5, 6] [3, 4, 0, 0, 3, 1] 0)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.957945120+00:00",
      "status": "failed",
      "tests": 78,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1, 5, 6, 1, 0, 0] [0, 0, 3, 2, 2, 6] [5, 1, 5, 2, 3, 6] 0)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.959034151+00:00",
      "status": "failed",
      "tests": 77,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([2, 2, 5, 4, 6, 4] [6, 2, 1, 3, 6, 5] [4, 0, 5, 5, 5, 0] 0)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.960107397+00:00",
      "status": "failed",
      "tests": 75,
      "discards": 0,
      "time": "86us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0, 5, 3, 1, 5, 6] [5, 2, 0, 6, 4, 2] [6, 4, 1, 3, 3, 0] 0)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.961195496+00:00",
      "status": "failed",
      "tests": 92,
      "discards": 0,
      "time": "99us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([6, 6, 1, 4, 4, 2] [0, 0, 5, 0, 2, 2] [1, 1, 6, 2, 1, 5] 0)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.962336389+00:00",
      "status": "failed",
      "tests": 160,
      "discards": 0,
      "time": "170us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0, 3, 4, 6, 0, 2, 7] [7, 1, 4, 2, 3, 5, 0] [0, 1, 3, 6, 5, 5, 5] 0)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.963474502+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "112us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([5, 6, 4, 6, 2, 6] [4, 1, 3, 3, 3, 2] [5, 1, 5, 6, 1, 4] 0)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.964537740+00:00",
      "status": "failed",
      "tests": 64,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0, 1, 2, 1, 4, 6] [6, 2, 4, 6, 0, 2] [4, 5, 5, 4, 0, 4] 0)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.965613765+00:00",
      "status": "failed",
      "tests": 66,
      "discards": 0,
      "time": "83us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([2, 1, 6, 6, 5, 3] [3, 5, 4, 3, 3, 6] [5, 2, 2, 5, 3, 6] 0)",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:18.967197740+00:00",
      "status": "failed",
      "tests": 400,
      "discards": 0,
      "time": "828919us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:19.797377838+00:00",
      "status": "failed",
      "tests": 400,
      "discards": 0,
      "time": "834180us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:20.633144116+00:00",
      "status": "failed",
      "tests": 400,
      "discards": 0,
      "time": "822613us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:21.457522281+00:00",
      "status": "failed",
      "tests": 400,
      "discards": 0,
      "time": "825245us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:22.284466571+00:00",
      "status": "failed",
      "tests": 400,
      "discards": 0,
      "time": "826730us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:23.112870697+00:00",
      "status": "failed",
      "tests": 400,
      "discards": 0,
      "time": "815207us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:23.929527863+00:00",
      "status": "failed",
      "tests": 400,
      "discards": 0,
      "time": "844692us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:24.775715316+00:00",
      "status": "failed",
      "tests": 400,
      "discards": 0,
      "time": "814844us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:25.592031251+00:00",
      "status": "failed",
      "tests": 400,
      "discards": 0,
      "time": "827943us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_field_boundaries_efc4a51_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:26.421672159+00:00",
      "status": "failed",
      "tests": 400,
      "discards": 0,
      "time": "820345us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true",
      "hash": "c4c7217874129264d66525558c3afde602188168"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.376189839+00:00",
      "status": "failed",
      "tests": 80,
      "discards": 0,
      "time": "201us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0] splits_a=[175] splits_b=[] trunc_b=97 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n    ],\n    [\n        175,\n    ],\n    [],\n    97,\n)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.377598334+00:00",
      "status": "failed",
      "tests": 125,
      "discards": 0,
      "time": "259us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0, 0, 0, 0, 0, 0, 0] splits_a=[93, 195] splits_b=[178] trunc_b=101 left=[[0, 0, 0], [0, 0, 0], [0, 0]] right=[[0, 0, 0], [0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        93,\n        195,\n    ],\n    [\n        178,\n    ],\n    101,\n)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.378938687+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "160us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0] splits_a=[19] splits_b=[] trunc_b=142 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n    ],\n    [\n        19,\n    ],\n    [],\n    142,\n)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.380112411+00:00",
      "status": "failed",
      "tests": 56,
      "discards": 0,
      "time": "147us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0, 0, 0] splits_a=[227] splits_b=[] trunc_b=82 left=[[0, 0], [0, 0]] right=[[0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        227,\n    ],\n    [],\n    82,\n)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.381292032+00:00",
      "status": "failed",
      "tests": 65,
      "discards": 0,
      "time": "152us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0, 0] splits_a=[174] splits_b=[] trunc_b=161 left=[[0, 0], [0]] right=[[0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n    ],\n    [\n        174,\n    ],\n    [],\n    161,\n)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.382460185+00:00",
      "status": "failed",
      "tests": 62,
      "discards": 0,
      "time": "183us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0, 0] splits_a=[33] splits_b=[] trunc_b=90 left=[[0], [0, 0]] right=[[0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n    ],\n    [\n        33,\n    ],\n    [],\n    90,\n)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.383598369+00:00",
      "status": "failed",
      "tests": 160,
      "discards": 0,
      "time": "328us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] splits_a=[91] splits_b=[] trunc_b=27 left=[[0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] right=[[0, 0, 0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        91,\n    ],\n    [],\n    27,\n)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.384970085+00:00",
      "status": "failed",
      "tests": 81,
      "discards": 0,
      "time": "169us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0] splits_a=[178] splits_b=[] trunc_b=46 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n    ],\n    [\n        178,\n    ],\n    [],\n    46,\n)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.386120591+00:00",
      "status": "failed",
      "tests": 94,
      "discards": 0,
      "time": "200us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0, 0, 0, 0, 0, 0] splits_a=[172] splits_b=[] trunc_b=219 left=[[0, 0, 0, 0], [0, 0, 0]] right=[[0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        172,\n    ],\n    [],\n    219,\n)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.387353897+00:00",
      "status": "failed",
      "tests": 119,
      "discards": 0,
      "time": "252us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: base=[0, 0, 0, 0, 0, 0] splits_a=[99] splits_b=[] trunc_b=208 left=[[0], [0, 0, 0, 0, 0]] right=[[0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        99,\n    ],\n    [],\n    208,\n)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.389367082+00:00",
      "status": "failed",
      "tests": 2384,
      "discards": 0,
      "time": "899us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (1801439850948198439 9223372036854775808)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.391266447+00:00",
      "status": "failed",
      "tests": 6610,
      "discards": 0,
      "time": "2956us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (10448351135499550720 2305843009213693952)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.395199955+00:00",
      "status": "failed",
      "tests": 4762,
      "discards": 0,
      "time": "1953us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (8718968878589280256 2305843009213693952)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.398162556+00:00",
      "status": "failed",
      "tests": 4360,
      "discards": 0,
      "time": "2096us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (2089670231752557431 11529215046068469760)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.401266307+00:00",
      "status": "failed",
      "tests": 4824,
      "discards": 0,
      "time": "2051us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (3530822107858468864 2305843009213693952)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.404317804+00:00",
      "status": "failed",
      "tests": 5661,
      "discards": 0,
      "time": "2351us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (3530822107858468864 2305843009213693952)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.407648781+00:00",
      "status": "failed",
      "tests": 4880,
      "discards": 0,
      "time": "1994us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (8718968878589280256 2305843009213693952)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.410667487+00:00",
      "status": "failed",
      "tests": 3997,
      "discards": 0,
      "time": "2120us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (4359484440174404694 3458845197950085042)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.413781768+00:00",
      "status": "failed",
      "tests": 6715,
      "discards": 0,
      "time": "2961us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (1945555039024681703 6917529027641081856)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.417753945+00:00",
      "status": "failed",
      "tests": 4268,
      "discards": 0,
      "time": "1931us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (1801439850948198867 9223372036854775808)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.421404026+00:00",
      "status": "failed",
      "tests": 67,
      "discards": 0,
      "time": "80us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([4, 1, 6, 0, 1, 0] [0, 5, 0, 4, 0, 1] [1, 6, 4, 2, 4, 3] 2)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.422499368+00:00",
      "status": "failed",
      "tests": 64,
      "discards": 0,
      "time": "114us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([3, 4, 6, 0, 3, 0] [5, 4, 6, 5, 5, 2] [3, 6, 1, 6, 4, 3] 2)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.423593834+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "109us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([0, 3, 2, 5, 1, 5] [5, 3, 4, 1, 3, 2] [1, 1, 1, 6, 0, 3] 1)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.424683395+00:00",
      "status": "failed",
      "tests": 97,
      "discards": 0,
      "time": "108us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([2, 5, 0, 3, 0, 3] [5, 5, 0, 1, 3, 0] [1, 4, 1, 0, 6, 5] 1)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.425776970+00:00",
      "status": "failed",
      "tests": 66,
      "discards": 0,
      "time": "83us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1, 5, 5, 2, 5, 3] [4, 2, 5, 6, 5, 5] [0, 0, 3, 6, 0, 0] 2)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.426851694+00:00",
      "status": "failed",
      "tests": 67,
      "discards": 0,
      "time": "85us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([3, 2, 4, 6, 5, 2] [4, 5, 6, 0, 4, 3] [1, 2, 2, 6, 3, 6] 1)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.427923387+00:00",
      "status": "failed",
      "tests": 64,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([5, 4, 6, 2, 4, 5] [5, 3, 4, 5, 3, 4] [3, 2, 6, 4, 0, 3] 2)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.428993412+00:00",
      "status": "failed",
      "tests": 84,
      "discards": 0,
      "time": "95us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([4, 2, 0, 3, 4, 4] [0, 6, 5, 2, 6, 6] [0, 0, 2, 2, 5, 6] 2)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.430078621+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "117us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([3, 0, 1, 6, 4, 4] [1, 5, 5, 6, 2, 3] [5, 4, 2, 0, 2, 6] 1)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.431161139+00:00",
      "status": "failed",
      "tests": 67,
      "discards": 0,
      "time": "82us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([3, 1, 3, 2, 2, 0] [4, 2, 5, 0, 4, 0] [6, 4, 2, 3, 6, 2] 1)",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.432949314+00:00",
      "status": "failed",
      "tests": 164,
      "discards": 0,
      "time": "416304us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:31.850482510+00:00",
      "status": "failed",
      "tests": 164,
      "discards": 0,
      "time": "422828us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:32.274831718+00:00",
      "status": "failed",
      "tests": 164,
      "discards": 0,
      "time": "418470us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:32.694793480+00:00",
      "status": "failed",
      "tests": 164,
      "discards": 0,
      "time": "418700us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:33.114913198+00:00",
      "status": "failed",
      "tests": 164,
      "discards": 0,
      "time": "421753us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:33.538158929+00:00",
      "status": "failed",
      "tests": 164,
      "discards": 0,
      "time": "426716us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:33.966525457+00:00",
      "status": "failed",
      "tests": 164,
      "discards": 0,
      "time": "419938us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:34.387895562+00:00",
      "status": "failed",
      "tests": 164,
      "discards": 0,
      "time": "420989us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:34.810436993+00:00",
      "status": "failed",
      "tests": 164,
      "discards": 0,
      "time": "423551us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "ByteRecordEqMatchesFields",
      "mutations": [
        "byte_record_eq_length_check_23fb0cd_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:35.235487264+00:00",
      "status": "failed",
      "tests": 164,
      "discards": 0,
      "time": "418599us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true",
      "hash": "c6d67701aeb02908749cd1cd12f9aeec888f9bda"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.946304031+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "252us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.947829252+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "294us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.949260139+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "474us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.950768547+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "160us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.951924227+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "371us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.953311979+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "298us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.954565302+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "120us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.955724054+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "391us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.957094407+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "105us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.958205189+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "347us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.960298681+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.961335950+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.962375528+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.963440208+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.964470428+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.965510783+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "60us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.966512008+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "120us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.967572210+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.968606919+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.969633568+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.971495298+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.972542606+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.973568016+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.974604835+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.975622982+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.976631587+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.977655075+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.978671093+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.979693639+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.980751066+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:39.982575736+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "178088us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:40.161860803+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "180198us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:40.343520175+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "181140us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:40.526043312+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "182463us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:40.710044194+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "176453us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:40.887814136+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "175680us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:41.064857136+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "176636us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:41.242885202+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "181389us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:41.425779223+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "178557us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "CommentOnlyAtRecordStart",
      "mutations": [
        "core_reader_comment_only_at_record_start_a5745ba_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:41.605893405+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "175978us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])",
      "hash": "77bc31a4bc7967280d0a468a8a750fba1309d1ed"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.054606573+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128]).\nminimal failing input: [\n    128,\n]",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.055931622+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "104us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 1 (bytes=[0, 128]).\nminimal failing input: [\n    0,\n    128,\n]",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.057121812+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "94us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128]).\nminimal failing input: [\n    128,\n]",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.058226538+00:00",
      "status": "failed",
      "tests": 30,
      "discards": 0,
      "time": "111us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128]).\nminimal failing input: [\n    128,\n]",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.059370231+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "111us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128]).\nminimal failing input: [\n    128,\n]",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.060483362+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "124us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128]).\nminimal failing input: [\n    128,\n]",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.061562393+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "101us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128]).\nminimal failing input: [\n    128,\n]",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.062650999+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "104us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128]).\nminimal failing input: [\n    128,\n]",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.063771268+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "106us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128]).\nminimal failing input: [\n    128,\n]",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "proptest",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.064864131+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "111us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128]).\nminimal failing input: [\n    128,\n]",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.067179502+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.068211491+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.069269654+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.070272779+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.071297098+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.072289453+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.073285892+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.074365875+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.075431518+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.076513845+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck counterexample: (0)",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.078509733+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.079615304+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.080679744+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.081723129+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.082815982+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.083876569+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.084934006+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.085992890+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.087042622+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.088117286+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck counterexample: ([1, 1])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.090208836+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "197028us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.288488562+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "202210us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.492108737+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "194659us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.688332168+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "202626us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:46.892307404+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "201410us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:47.095181118+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "199076us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:47.296273266+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "196078us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:47.493814559+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "197212us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:47.692550126+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "196274us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-csv",
      "language": "rust",
      "strategy": "hegel",
      "property": "DeserializeByteBufAcceptsNonUtf8",
      "mutations": [
        "deserialize_byte_buf_bypasses_utf8_9e644e6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:47.890322899+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "201824us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])",
      "hash": "49f0eb27a4f4210bb71155805f51d5137de33eb5"
    }
  ]
}