{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 19:13 UTC",
  "workload_docs": {
    "bitvec": [
      {
        "mutations": [
          "split_at_mut_rejects_len_c71ea23_1"
        ],
        "tasks": [
          {
            "property": "SplitAtMutAcceptsLen",
            "witnesses": [
              {
                "test_fn": "witness_split_at_mut_accepts_len_case_empty_right"
              },
              {
                "test_fn": "witness_split_at_mut_accepts_len_case_zero_len"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/ferrilab/bitvec",
          "commits": [
            "c71ea2344fd4a728263f33d66a9708d93c52dc48"
          ],
          "commit_subjects": [
            "fix split_at_mut as well"
          ],
          "summary": "`BitSlice::split_at_mut` asserted `mid < self.len()`, rejecting the exact-length split that should return `(self, empty)`. The fix bumps the assertion to `mid <= self.len()`, mirroring `slice::split_at_mut`'s inclusive bound."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/slice/api.rs"
          ],
          "locations": [
            {
              "file": "src/slice/api.rs"
            }
          ],
          "patch": "patches/split_at_mut_rejects_len_c71ea23_1.patch"
        },
        "bug": {
          "short_name": "split_at_mut_rejects_len",
          "invariant": "`split_at_mut(mid)` must accept `mid == self.len()`; the right half is simply empty.",
          "how_triggered": "Reverts the `assert_in_bounds` bound from `0 ..= self.len()` back to `0 .. self.len()`, so splitting at the exact length panics instead of yielding `(self, empty)`."
        }
      },
      {
        "mutations": [
          "vec_insert_rejects_end_8e48751_1"
        ],
        "tasks": [
          {
            "property": "VecInsertAcceptsEnd",
            "witnesses": [
              {
                "test_fn": "witness_vec_insert_accepts_end_case_push_true"
              },
              {
                "test_fn": "witness_vec_insert_accepts_end_case_empty_vec"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/ferrilab/bitvec",
          "commits": [
            "8e48751508526cbe0c656f4dffa60cf4e6e4bfb0"
          ],
          "commit_subjects": [
            "vec/api: fix insert for index == len"
          ],
          "summary": "`BitVec::insert` bounded the index with `0 .. self.len()`, so calling `bv.insert(bv.len(), v)` — the push-equivalent case — panicked. The fix widens the bound to `0 ..= self.len()`, aligning with `Vec::insert` semantics."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/vec/api.rs"
          ],
          "locations": [
            {
              "file": "src/vec/api.rs"
            }
          ],
          "patch": "patches/vec_insert_rejects_end_8e48751_1.patch"
        },
        "bug": {
          "short_name": "vec_insert_rejects_end",
          "invariant": "`BitVec::insert(self.len(), v)` must be equivalent to `push(v)` — appending a bit at the tail, not panicking.",
          "how_triggered": "Reverts the inclusive upper bound so `assert_in_bounds(index, 0 .. self.len())` rejects the exact-length case, producing a panic on the push-equivalent call."
        }
      },
      {
        "mutations": [
          "leading_trailing_homogeneous_b08c4bd_1"
        ],
        "tasks": [
          {
            "property": "LeadingTrailingFallback",
            "witnesses": [
              {
                "test_fn": "witness_leading_trailing_fallback_case_all_ones"
              },
              {
                "test_fn": "witness_leading_trailing_fallback_case_all_zeros"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/ferrilab/bitvec",
          "commits": [
            "b08c4bdde959c172d5e77fe1746e903688b804e4"
          ],
          "commit_subjects": [
            "Fix edge case for {leading,trailing}_{zero,one}"
          ],
          "summary": "`leading_ones`/`trailing_ones`/`leading_zeros`/`trailing_zeros` called `unwrap_or_default()` on the underlying `find_bit_*` helpers, so an all-same-value slice (where the search finds no boundary bit) returned `0` instead of the slice length. The fix switches to `unwrap_or(self.len())`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/slice/api.rs"
          ],
          "locations": [
            {
              "file": "src/slice/api.rs"
            }
          ],
          "patch": "patches/leading_trailing_homogeneous_b08c4bd_1.patch"
        },
        "bug": {
          "short_name": "leading_trailing_homogeneous",
          "invariant": "For an N-bit slice whose bits are all `true` (resp. `false`), `leading_ones() == trailing_ones() == N` (resp. `…_zeros() == N`).",
          "how_triggered": "The `unwrap_or_else(|| self.len())` / `unwrap_or(len)` fallbacks on the `find_bit_{ones,zeros}` helpers are reverted to `unwrap_or_default()`, so the all-same-value case falls through to `0` instead of the slice length."
        }
      },
      {
        "mutations": [
          "bitvec_partial_cmp_reversed_f3d5b43_1"
        ],
        "tasks": [
          {
            "property": "BitvecPartialCmpMatches",
            "witnesses": [
              {
                "test_fn": "witness_bitvec_partial_cmp_matches_case_lt"
              },
              {
                "test_fn": "witness_bitvec_partial_cmp_matches_case_gt"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/ferrilab/bitvec",
          "commits": [
            "f3d5b43000f6e9a52a233bf07c295929cce66387"
          ],
          "commit_subjects": [
            "Fix BitVec to BitSlice partial_cmp. Fixes #215"
          ],
          "summary": "The blanket `PartialOrd<Rhs> for BitVec<T, O>` impl delegated via `other.partial_cmp(self.as_bitslice())` but forgot to reverse the result, so comparing a `BitVec` to a `BitSlice` returned the opposite ordering from the direct `BitVec: PartialOrd<BitVec>` impl. The fix adds `.map(|o| o.reverse())`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/vec/traits.rs"
          ],
          "locations": [
            {
              "file": "src/vec/traits.rs"
            }
          ],
          "patch": "patches/bitvec_partial_cmp_reversed_f3d5b43_1.patch"
        },
        "bug": {
          "short_name": "bitvec_partial_cmp_reversed",
          "invariant": "`bv.partial_cmp(bv.as_bitslice())` must match `bv.partial_cmp(&bv)` (and transitively, ordering between equal-content `BitVec`s and `BitSlice`s must agree).",
          "how_triggered": "Drops the `.map(|o| o.reverse())` on the `impl<T, O, Rhs> PartialOrd<Rhs> for BitVec<T, O>` blanket, so delegating through `other.partial_cmp(self.as_bitslice())` returns the inverted ordering relative to the direct `BitVec: PartialOrd<BitVec>` impl."
        }
      },
      {
        "mutations": [
          "clone_from_bitslice_src_bug_935cad8_1"
        ],
        "tasks": [
          {
            "property": "CloneFromBitsliceCopiesSrc",
            "witnesses": [
              {
                "test_fn": "witness_clone_from_bitslice_copies_src_case_flip_all"
              },
              {
                "test_fn": "witness_clone_from_bitslice_copies_src_case_alternating"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/ferrilab/bitvec",
          "commits": [
            "935cad8888d0f09837b95000c44f4a56579c7108"
          ],
          "commit_subjects": [
            "Fix a bug in BitSlice::clone_from_bitslice"
          ],
          "summary": "When the coerce fast path did not apply (different `T`/`O` parameters on source and destination), `clone_from_bitslice` fell through to a `self → self` zip that left `dst` unchanged instead of copying bits from `src`. The fix makes the fallback actually read from `src`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/slice.rs"
          ],
          "locations": [
            {
              "file": "src/slice.rs"
            }
          ],
          "patch": "patches/clone_from_bitslice_src_bug_935cad8_1.patch"
        },
        "bug": {
          "short_name": "clone_from_bitslice_src_bug",
          "invariant": "After `dst.clone_from_bitslice(&src)` (equal-length slices), every bit of `dst` must equal the corresponding bit of `src`.",
          "how_triggered": "The non-coerce fallback branch is gutted to an identity loop (semantically equivalent to the pre-935cad8 `self->self` zip), so when the `<T, O>` and `<T2, O2>` parameters differ — defeating the coerce fast path — `dst` is left unchanged. The property uses heterogeneous `<u8, Lsb0>` / `<u16, Msb0>` to force the fallback."
        }
      },
      {
        "mutations": [
          "octal_fmt_buffer_size_aeef0be_1"
        ],
        "tasks": [
          {
            "property": "OctalFmtNoPanic",
            "witnesses": [
              {
                "test_fn": "witness_octal_fmt_no_panic_case_one_u64"
              },
              {
                "test_fn": "witness_octal_fmt_no_panic_case_three_u64"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/ferrilab/bitvec",
          "commits": [
            "aeef0be672538b8f6694f464bd947084813fb327"
          ],
          "commit_subjects": [
            "Ensure correct buffer size during Octal::fmt"
          ],
          "summary": "`Octal::fmt` preallocated a digit buffer of width `usize::BITS / 3` (floor) instead of `ceil(usize::BITS / 3)`, so each storage-element body chunk lost one octal digit. The fix adds `+ (usize::BITS % 3 != 0) as usize`, rounding up."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/slice/traits.rs"
          ],
          "locations": [
            {
              "file": "src/slice/traits.rs"
            }
          ],
          "patch": "patches/octal_fmt_buffer_size_aeef0be_1.patch"
        },
        "bug": {
          "short_name": "octal_fmt_buffer_size",
          "invariant": "Formatting a `BitSlice` via the `Octal` trait must emit `ceil(bits / 3)` octal digits per storage-element body chunk. A `BitSlice<u64, _>` of 64 bits must emit 22 digits, not 21.",
          "how_triggered": "The pre-allocated digit buffer width `W = D + (M != 0)` (with `D = usize::BITS / 3`, `M = usize::BITS % 3`) is reverted to `W = D`, dropping the ceiling. The per-chunk zip against the under-sized buffer truncates one octal digit from each 64-bit body chunk."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:54.986210930+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "143us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:54.987480509+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "124us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:54.988468808+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:54.989392439+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "141us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:54.990348590+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "130us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:54.991322987+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "117us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:54.992232338+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "108us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:54.993152034+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "102us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:54.994123527+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "98us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:54.995016262+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "153us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:54.996159733+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:54.997073290+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:54.997924403+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:54.998767534+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:54.999680640+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:55.000526545+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:55.001387974+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:55.002273769+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:55.003128568+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:55.004088644+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:55.005136532+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:55.006022097+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:55.006974061+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:55.007831554+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:55.008705240+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:55.009617045+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:55.010471833+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:55.011309687+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:55.012175191+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:55.013013596+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:55.014044648+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "1229766us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:56.244812980+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162462us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:56.408642147+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "160579us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:56.570596469+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "164723us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:56.736836985+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "168831us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:56.907053889+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "159528us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:57.068114490+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "166214us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:57.235808195+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "165796us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:57.403100230+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "168516us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "SplitAtMutAcceptsLen",
      "mutations": [
        "split_at_mut_rejects_len_c71ea23_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:12:57.573010520+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "171476us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()",
      "hash": "8a8bec27b218c1f269812c75987de23a3fd845b2"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.657859508+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "145us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.659166742+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.660121746+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.661063789+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.661988177+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "113us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.662922259+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "141us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.663911052+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "107us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.664852626+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "119us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.665830463+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "96us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.666739823+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "147us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.668009582+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.668853013+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.669717827+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.670584072+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.671462185+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.672314820+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.673184766+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.674086225+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.675056235+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.675889030+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.677028810+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.677905296+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.678761526+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.679635794+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.680611363+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.681534378+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.682394409+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.683294791+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.684161412+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.685063671+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.686204327+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "166443us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:01.853742475+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "168720us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:02.023903330+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "163082us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:02.188437365+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "165540us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:02.355479055+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "173401us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:02.530386213+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "164949us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:02.696914530+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162446us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:02.860754457+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "165634us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:03.027898225+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "164743us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "VecInsertAcceptsEnd",
      "mutations": [
        "vec_insert_rejects_end_8e48751_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:03.194131642+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "163709us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()",
      "hash": "772d992da2e75d76494f1720f1e73c13fc58008d"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.195000172+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "99us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.196252414+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "80us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.197248037+00:00",
      "status": "failed",
      "tests": 30,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.198211923+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.199137271+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.200041999+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.200943501+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.201859826+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.202817082+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.203754157+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.205023279+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.205881647+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.206756210+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.207623511+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.208538524+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.209403021+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.210351604+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.211189842+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.212125876+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.212970884+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 false)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.214203021+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.215053902+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.215881615+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.216762787+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.217641786+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.218524901+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.219425692+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.220294586+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.221218201+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.222083309+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.223316768+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "165002us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.389464551+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "166013us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.557076151+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "166163us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.724661978+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "167389us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:07.893647513+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "168039us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:08.063356428+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "168847us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:08.233735740+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "165886us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:08.401111584+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "163323us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:08.566025817+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "168206us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "LeadingTrailingFallback",
      "mutations": [
        "leading_trailing_homogeneous_b08c4bd_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:08.735581694+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "165174us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)",
      "hash": "8c3385f3db03f4ba7a9c548e5559524408224918"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.841940217+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.843143526+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.844071779+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.845018339+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.845921484+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.846825851+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.847734614+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.848612972+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.849508907+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.850458762+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.851793051+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.852640253+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.853493654+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.854357951+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.855205483+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.856045093+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.856837553+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.857671354+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.858539567+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.859381771+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.860653818+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.861556733+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.862397925+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.863268732+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.864086469+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.864908453+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.865906756+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.866726366+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.867576181+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.868407419+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.869744873+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.870647558+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.871555440+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.872483607+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.873374019+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.874232652+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.875096313+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.875921697+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.876748553+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "BitvecPartialCmpMatches",
      "mutations": [
        "bitvec_partial_cmp_reversed_f3d5b43_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:12.877617953+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: BitvecPartialCmpMatches",
      "hash": "f6a7f2092e311dc6f8bb32fadff04175a21bbe95"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.806292529+00:00",
      "status": "failed",
      "tests": 64,
      "discards": 0,
      "time": "104us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: clone_from_bitslice left bit 0=false (expected true); length 2.\nminimal failing input: (\n    [\n        false,\n    ],\n    [\n        true,\n    ],\n)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.807539313+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "62us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: clone_from_bitslice left bit 0=false (expected true); length 2.\nminimal failing input: (\n    [\n        false,\n    ],\n    [\n        true,\n    ],\n)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.808488853+00:00",
      "status": "failed",
      "tests": 53,
      "discards": 0,
      "time": "85us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: clone_from_bitslice left bit 0=false (expected true); length 2.\nminimal failing input: (\n    [\n        false,\n        false,\n    ],\n    [\n        true,\n    ],\n)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.809451001+00:00",
      "status": "failed",
      "tests": 55,
      "discards": 0,
      "time": "93us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: clone_from_bitslice left bit 0=true (expected false); length 2.\nminimal failing input: (\n    [\n        true,\n    ],\n    [\n        false,\n    ],\n)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.810397526+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: clone_from_bitslice left bit 0=false (expected true); length 2.\nminimal failing input: (\n    [\n        false,\n    ],\n    [\n        true,\n    ],\n)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.811297361+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: clone_from_bitslice left bit 0=false (expected true); length 2.\nminimal failing input: (\n    [\n        false,\n    ],\n    [\n        true,\n    ],\n)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.812204588+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: clone_from_bitslice left bit 0=true (expected false); length 2.\nminimal failing input: (\n    [\n        true,\n    ],\n    [\n        false,\n    ],\n)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.813106526+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "83us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: clone_from_bitslice left bit 0=false (expected true); length 2.\nminimal failing input: (\n    [\n        false,\n    ],\n    [\n        true,\n    ],\n)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.814003096+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: clone_from_bitslice left bit 0=false (expected true); length 2.\nminimal failing input: (\n    [\n        false,\n    ],\n    [\n        true,\n    ],\n)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.814920067+00:00",
      "status": "failed",
      "tests": 50,
      "discards": 0,
      "time": "93us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: clone_from_bitslice left bit 0=false (expected true); length 2.\nminimal failing input: (\n    [\n        false,\n    ],\n    [\n        true,\n    ],\n)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.816511646+00:00",
      "status": "failed",
      "tests": 194,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 2)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.817427255+00:00",
      "status": "failed",
      "tests": 348,
      "discards": 0,
      "time": "146us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 2)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.818464366+00:00",
      "status": "failed",
      "tests": 438,
      "discards": 0,
      "time": "176us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 2)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.819477680+00:00",
      "status": "failed",
      "tests": 138,
      "discards": 0,
      "time": "74us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (2 1)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.820370054+00:00",
      "status": "failed",
      "tests": 386,
      "discards": 0,
      "time": "173us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 2)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.821360815+00:00",
      "status": "failed",
      "tests": 382,
      "discards": 0,
      "time": "177us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 2)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.822334231+00:00",
      "status": "failed",
      "tests": 354,
      "discards": 0,
      "time": "209us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 2)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.823342037+00:00",
      "status": "failed",
      "tests": 332,
      "discards": 0,
      "time": "150us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 2)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.824298437+00:00",
      "status": "failed",
      "tests": 207,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 2)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.825172794+00:00",
      "status": "failed",
      "tests": 339,
      "discards": 0,
      "time": "131us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 2)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.826823462+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (1 2)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.827682526+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (2 1)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.828550514+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (1 2)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.829385421+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (1 2)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.830270966+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (2 1)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.831106925+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (2 1)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.831916435+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (1 2)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.832815980+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (3 1)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.833673973+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (2 1)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.834569121+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (2 3)",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:16.836084617+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "598632us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:17.435804943+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "632824us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:18.070093937+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "582944us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:18.654529850+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "618990us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:19.274967729+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "602664us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:19.879212753+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "601461us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:20.482134691+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "604596us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:21.088270532+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "622382us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:21.712113421+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "586379us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneFromBitsliceCopiesSrc",
      "mutations": [
        "clone_from_bitslice_src_bug_935cad8_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:22.299991710+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "587513us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2",
      "hash": "88010fd7ac8f94e65eab7fec8e009bf2ba276258"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.823610432+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.824851058+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.825829927+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.826778972+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.827701677+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.828592464+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.829535529+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "62us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.830427078+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.831348+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.832230094+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.833792396+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.834670324+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.835542323+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.836451318+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.837324108+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.838182738+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.839056149+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.839878574+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.840733327+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.841638336+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.843178835+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.844057505+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.844909493+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.845809440+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.846651770+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.847503043+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.848336099+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.849176365+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.850039847+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.850869748+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.852388450+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "138177us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:26.991692831+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "138120us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:27.131361287+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "138952us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:27.271727882+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "137895us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:27.410986660+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "136925us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:27.549277901+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "138229us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:27.688829367+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "139430us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:27.829795799+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "137836us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:27.969019265+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "136896us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    },
    {
      "experiment": "ci-run",
      "workload": "bitvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "OctalFmtNoPanic",
      "mutations": [
        "octal_fmt_buffer_size_aeef0be_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:13:28.107715962+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "143166us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22",
      "hash": "178c5521e242e057d3903d99005dcac0b0ab5ae8"
    }
  ]
}