{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 19:42 UTC",
  "workload_docs": {
    "bytes": [
      {
        "mutations": [
          "sign_extend_zero_nbytes_acd1e0f_1"
        ],
        "tasks": [
          {
            "property": "GetIntZeroNbytes",
            "witnesses": [
              {
                "test_fn": "witness_get_int_zero_nbytes_case_eight_zero_bytes"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/tokio-rs/bytes",
          "commits": [
            "acd1e0ffb8f076225759b8005d04f65ef77cccca"
          ],
          "commit_subjects": [
            "Fix get_int if nbytes is zero (#806)"
          ],
          "summary": "`sign_extend` computed `val << (64 - nbytes * 8)` unconditionally; for `nbytes == 0` that is `val << 64` which panics with `attempt to shift left with overflow`. The fix adds an early `if nbytes == 0 { return 0 }` guard."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/buf/buf_impl.rs"
          ],
          "locations": [
            {
              "file": "src/buf/buf_impl.rs",
              "line": 86
            }
          ],
          "patch": "patches/sign_extend_zero_nbytes_acd1e0f_1.patch"
        },
        "bug": {
          "short_name": "sign_extend_zero_nbytes",
          "invariant": "`Buf::get_int(0)` and `Buf::get_int_le(0)` must return `0` without panicking.",
          "how_triggered": "the patch removes the `if nbytes == 0 { 0 }` guard in `sign_extend`, so a zero-byte call attempts `val << 64`, which panics with `attempt to shift left with overflow`."
        }
      },
      {
        "mutations": [
          "get_int_sign_extension_79fb853_1"
        ],
        "tasks": [
          {
            "property": "GetIntSignExtension",
            "witnesses": [
              {
                "test_fn": "witness_get_int_sign_extension_case_four_ff_bytes"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/tokio-rs/bytes",
          "commits": [
            "79fb85323cf4cf14d9b85f487b65fc147030cf4b"
          ],
          "commit_subjects": [
            "fix: apply sign extension when decoding int (#732)"
          ],
          "summary": "`Buf::get_int`/`get_int_le` decoded partial integers without sign-extending the high bit, so `[0xff; 4]` returned `4294967295` (i64) instead of `-1`. The fix routes through `sign_extend(get_uint(nbytes), nbytes)` to preserve two's-complement semantics."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/buf/buf_impl.rs"
          ],
          "locations": [
            {
              "file": "src/buf/buf_impl.rs",
              "line": 949
            }
          ],
          "patch": "patches/get_int_sign_extension_79fb853_1.patch"
        },
        "bug": {
          "short_name": "get_int_sign_extension",
          "invariant": "`Buf::get_int(n)` on a buffer of `n` bytes of `0xff` must equal `-1` (two's-complement sign extension to `i64`).",
          "how_triggered": "the patch rewires `get_int`/`get_int_le` to use `buf_get_impl!(be => …, i64, nbytes)` in place of `sign_extend(self.get_uint(nbytes), nbytes)`, so the high bit of a partial integer is dropped and `[0xff; 4]` returns `4294967295` instead of `-1`."
        }
      },
      {
        "mutations": [
          "chain_remaining_saturating_2428c15_1"
        ],
        "tasks": [
          {
            "property": "ChainRemainingSaturating",
            "witnesses": [
              {
                "test_fn": "witness_chain_remaining_saturating_case_max_plus_one"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/tokio-rs/bytes",
          "commits": [
            "2428c152a67c06057a98d9d29b08389cb3429c1f"
          ],
          "commit_subjects": [
            "Panic on integer overflow in Chain::remaining (#482)"
          ],
          "summary": "`Chain::remaining` summed the halves with a wrapping `+`, so when the combined length exceeded `usize::MAX` it silently underflowed to a smaller value. The fix switches to `saturating_add`, preserving a lower bound of `max(a, b)`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/buf/chain.rs"
          ],
          "locations": [
            {
              "file": "src/buf/chain.rs",
              "line": 133
            }
          ],
          "patch": "patches/chain_remaining_saturating_2428c15_1.patch"
        },
        "bug": {
          "short_name": "chain_remaining_saturating",
          "invariant": "`Chain::remaining()` must never silently wrap; when the two halves together exceed `usize::MAX` the result must be at least `max(a, b)` (saturating-add behaviour).",
          "how_triggered": "`saturating_add` is replaced by `wrapping_add`, so `Chain(usize::MAX, 1).remaining()` returns `0`, violating the saturating lower bound."
        }
      },
      {
        "mutations": [
          "partialord_bytes_reversed_939a5ed_1"
        ],
        "tasks": [
          {
            "property": "PartialordBytesReversed",
            "witnesses": [
              {
                "test_fn": "witness_partialord_bytes_reversed_case_lhs_less"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/tokio-rs/bytes",
          "commits": [
            "939a5edf3d28acfc390eedc46eab69843ba363b6"
          ],
          "commit_subjects": [
            "Fix reversed arguments in PartialOrd impls (#358)"
          ],
          "summary": "`<[u8] as PartialOrd<Bytes>>::partial_cmp` (and its siblings) were written as `other.partial_cmp(self)`, inverting the comparison. Comparing `[1,2,3]` against `Bytes::from([1,2,4])` returned `Greater` instead of `Less`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/bytes.rs"
          ],
          "locations": [
            {
              "file": "src/bytes.rs",
              "line": 791
            }
          ],
          "patch": "patches/partialord_bytes_reversed_939a5ed_1.patch"
        },
        "bug": {
          "short_name": "partialord_bytes_reversed",
          "invariant": "`<[u8] as PartialOrd<Bytes>>::partial_cmp(lhs, rhs)` must equal `<[u8]>::partial_cmp(lhs, rhs.as_ref())`.",
          "how_triggered": "the body is swapped to `other.partial_cmp(self)`, inverting the comparison. For `lhs=[1,2,3]` and `rhs=[1,2,4]` the buggy impl returns `Some(Greater)` instead of `Some(Less)`."
        }
      },
      {
        "mutations": [
          "slice_ref_empty_f330ef6_1"
        ],
        "tasks": [
          {
            "property": "SliceRefEmpty",
            "witnesses": [
              {
                "test_fn": "witness_slice_ref_empty_case_nonempty_source"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/tokio-rs/bytes",
          "commits": [
            "f330ef6c4d806abecadca945f682436737399039"
          ],
          "commit_subjects": [
            "Do not panic on Bytes::slice_ref on empty slice (#355)"
          ],
          "summary": "`Bytes::slice_ref(&[])` on a non-empty source ran the subset-containment range check, where the empty slice's pointer can legally be below the source's start, triggering a panic. The fix short-circuits `slice_ref` to return `Bytes::new()` when the subset is empty."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/bytes.rs"
          ],
          "locations": [
            {
              "file": "src/bytes.rs",
              "line": 407
            }
          ],
          "patch": "patches/slice_ref_empty_f330ef6_1.patch"
        },
        "bug": {
          "short_name": "slice_ref_empty",
          "invariant": "`Bytes::slice_ref(&[])` must return an empty `Bytes` for any source `Bytes`, including non-empty ones, without panicking.",
          "how_triggered": "the patch removes the `if subset.is_empty() { return Bytes::new(); }` early-return, so the range-check hits `subset.as_ptr() < self.as_ptr()` and panics with `subset slice is not a subset of self`."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.942251433+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "201us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.943806803+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "139us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.945024774+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "186us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.946321804+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "136us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.947472673+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "191us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.948744857+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "164us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.949877376+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "134us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.951051654+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "164us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.952201855+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "128us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.953362303+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "184us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.954685387+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(buf=[82, 131, 78, 69, 91, 14, 31, 76, 9, 1, 226, 1, 186])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.955731586+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(buf=[121, 106, 89, 249, 0, 167, 141, 36, 39, 110, 191, 97, 216])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.956787613+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(buf=[0, 251, 229, 94, 61, 247, 125, 239, 232, 104])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.957830360+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(buf=[227, 35, 1, 64, 154, 0, 17, 8, 225, 1, 124, 183, 238, 255])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.958960173+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(buf=[34, 113, 130, 122, 206, 189, 124, 186, 80, 16, 160, 245, 109, 46, 255])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.960016645+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(buf=[3, 98, 177, 7])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.961124901+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(buf=[209, 127, 211, 166, 187, 43, 92, 22, 31, 81, 28])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.962186824+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(buf=[186, 197, 79, 114, 80, 51, 192])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.963255620+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(buf=[178, 107, 161, 21, 65, 255, 132, 248])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.964313946+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(buf=[84, 127, 183, 241, 154, 116])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.965473551+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(buf=[3, 50, 166, 62, 109, 228, 98, 41, 21, 61, 73, 96, 89, 210])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.966539872+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(buf=[197, 133, 237, 169, 164, 207, 248, 251, 139, 201])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.967590063+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(buf=[24, 198, 82, 58, 163, 152, 242, 244, 175, 148, 225, 58, 14])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.968655251+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(buf=[102, 4, 48, 173, 164, 82, 103, 95, 174, 67, 193, 200, 231, 95, 163])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.969704351+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(buf=[93, 69, 101, 145, 127, 30, 92, 186, 222, 0, 29, 123, 84, 175, 99, 236])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.970707093+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(buf=[148, 203, 46, 166, 80, 215, 153, 31, 209, 238, 235, 232, 66, 31])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.971706551+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(buf=[129, 66, 97, 106, 239, 133, 53, 171, 201])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.972762748+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(buf=[55, 239, 106, 199, 135, 188, 153, 170, 252, 137, 199, 247])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.973782401+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(buf=[141, 40, 87, 19, 126, 63, 21, 185, 146, 48, 174, 242, 139, 227, 218, 6])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.974809053+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(buf=[102, 14, 19, 232, 62, 109, 216, 211, 207, 99, 21, 74, 83, 134, 71])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:33.976036966+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "720128us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.697429328+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "206537us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:34.905852611+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "201750us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:35.109091891+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "208214us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:35.318951358+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "199905us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:35.520364365+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "203695us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:35.725628426+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "206636us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:35.933806699+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "207209us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:36.142609218+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "201407us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntZeroNbytes",
      "mutations": [
        "sign_extend_zero_nbytes_acd1e0f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:36.345473171+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "202754us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(buf=[0])",
      "hash": "5348a552456e502d7140937db871f4eae2070f3a"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.405433907+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(n_byte_select=0)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.406754777+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(n_byte_select=0)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.407815861+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(n_byte_select=56)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.408914780+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(n_byte_select=0)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.409968032+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(n_byte_select=0)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.411024167+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(n_byte_select=24)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.412069614+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(n_byte_select=0)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.413109153+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(n_byte_select=0)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.414144361+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(n_byte_select=0)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.415223090+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(n_byte_select=0)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.416594572+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "13us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(n_byte_select=203)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.417597844+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "13us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(n_byte_select=104)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.418674556+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "12us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(n_byte_select=172)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.419690682+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(n_byte_select=235)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.420714980+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(n_byte_select=171)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.421732114+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "13us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(n_byte_select=28)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.422730835+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(n_byte_select=88)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.423735984+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(n_byte_select=72)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.424754524+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(n_byte_select=172)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.425719298+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "11us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(n_byte_select=83)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.427049165+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(n_byte_select=150)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.428079327+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(n_byte_select=52)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.429092764+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(n_byte_select=99)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.430098795+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(n_byte_select=70)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.431080016+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(n_byte_select=154)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.432066951+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(n_byte_select=27)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.433099504+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(n_byte_select=129)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.434301979+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(n_byte_select=233)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.435323005+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(n_byte_select=197)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.436384308+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(n_byte_select=232)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.437815424+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "165425us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(n_byte_select=0)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.604539220+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "167296us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(n_byte_select=0)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.773329087+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "168091us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(n_byte_select=0)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:39.942959448+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "166174us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(n_byte_select=0)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.110814925+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162003us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(n_byte_select=0)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.274473426+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "164320us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(n_byte_select=0)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.440139421+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "166395us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(n_byte_select=0)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.608025347+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "167592us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(n_byte_select=0)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.777289468+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "166242us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(n_byte_select=0)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "GetIntSignExtension",
      "mutations": [
        "get_int_sign_extension_79fb853_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:40.944986975+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "165671us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(n_byte_select=0)",
      "hash": "f830a1ce291dbb894e2e5a8227d7be70b52fd324"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.944947899+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_rem=6459906392255613173 b_rem=11986837684287572426)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.946303108+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_rem=1203289814500720652 b_rem=17243454261765127018)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.947380570+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_rem=948349670890254401 b_rem=17498394403549937554)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.948482668+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_rem=5110268662269091569 b_rem=13336475414243113082)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.949585156+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_rem=1272862581332301946 b_rem=17173881492819547219)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.950679874+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_rem=4535767480806491569 b_rem=13910976594152804140)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.951758104+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "95us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_rem=14954194861401290429 b_rem=3492549216216433918)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.952829184+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_rem=8608589080265507549 b_rem=9838154995790000522)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.953915271+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_rem=7175861339721669928 b_rem=11270882736006165594)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.955017033+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a_rem=9557186443173282006 b_rem=8889557632778907318)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.956445905+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_rem=544109822970934226 b_rem=18446744073709551615)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.957528390+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_rem=17319943135213312337 b_rem=13955894270962650173)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.958562868+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_rem=15762625495963046760 b_rem=12243484852039827652)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.959585488+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_rem=16118949877256558141 b_rem=16964829665821210712)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.960600093+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_rem=13689482468736998258 b_rem=12069599305419587100)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.961617263+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_rem=17690931190229572556 b_rem=5612209144061121508)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.962666652+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_rem=4861033058913484478 b_rem=16618859511267270915)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.963735041+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "13us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_rem=16943245255557539321 b_rem=1851327378224397797)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.964769078+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_rem=13993231584632777355 b_rem=14169594203033643444)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.965803710+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "13us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a_rem=14985498526070767240 b_rem=4443554330215283741)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.967258355+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_rem=12242834956838924382 b_rem=17473436530127702405)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.968272619+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_rem=5811385362188614323 b_rem=18409122970089048474)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.969326587+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_rem=14414635274376280211 b_rem=13903185345181079827)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.970363557+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_rem=8457238418020187250 b_rem=11023890698822201692)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.971421218+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_rem=13867005499642220151 b_rem=14174111988483446500)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.972417349+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_rem=9339771525443518515 b_rem=13405720011384168186)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.973454666+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_rem=11868333793276732001 b_rem=13400060851307831968)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.974429727+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_rem=16395280638534911018 b_rem=16030055661196143256)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.975464960+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_rem=10625135818310656983 b_rem=18243246405900885277)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.976448097+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a_rem=14022300098334305991 b_rem=13684232178789583742)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:43.977942525+00:00",
      "status": "failed",
      "tests": 148,
      "discards": 0,
      "time": "335807us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_rem=4294967296 b_rem=18446744069414584320)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:44.314993251+00:00",
      "status": "failed",
      "tests": 148,
      "discards": 0,
      "time": "347801us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_rem=4294967296 b_rem=18446744069414584320)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:44.664322209+00:00",
      "status": "failed",
      "tests": 148,
      "discards": 0,
      "time": "344775us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_rem=4294967296 b_rem=18446744069414584320)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:45.010769111+00:00",
      "status": "failed",
      "tests": 148,
      "discards": 0,
      "time": "340142us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_rem=4294967296 b_rem=18446744069414584320)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:45.352395206+00:00",
      "status": "failed",
      "tests": 148,
      "discards": 0,
      "time": "343236us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_rem=4294967296 b_rem=18446744069414584320)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:45.697149503+00:00",
      "status": "failed",
      "tests": 148,
      "discards": 0,
      "time": "335915us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_rem=4294967296 b_rem=18446744069414584320)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:46.034745816+00:00",
      "status": "failed",
      "tests": 148,
      "discards": 0,
      "time": "341661us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_rem=4294967296 b_rem=18446744069414584320)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:46.378049290+00:00",
      "status": "failed",
      "tests": 148,
      "discards": 0,
      "time": "344320us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_rem=4294967296 b_rem=18446744069414584320)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:46.724005052+00:00",
      "status": "failed",
      "tests": 148,
      "discards": 0,
      "time": "337200us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_rem=4294967296 b_rem=18446744069414584320)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "ChainRemainingSaturating",
      "mutations": [
        "chain_remaining_saturating_2428c15_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:47.062900322+00:00",
      "status": "failed",
      "tests": 148,
      "discards": 0,
      "time": "343252us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a_rem=4294967296 b_rem=18446744069414584320)",
      "hash": "ae88ebd59fd508596753839477db7cd2da78dd28"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.243558020+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.244813704+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.245893539+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.246921280+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.247932436+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.248943887+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.249967227+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.250985329+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.252035750+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.253080802+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.254613671+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.255645359+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.256616933+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.257588028+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.258586451+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.259558388+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.260535221+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.261540770+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.262488519+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.263457541+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.264987664+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.265963669+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.266930703+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.267899535+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.268925309+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.269890513+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.270836318+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.271786284+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.272795568+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.273771632+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.275220955+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.276235802+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.277239816+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.278247359+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.279266180+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.280268574+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.281299257+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.282291211+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.283302709+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialordBytesReversed",
      "mutations": [
        "partialord_bytes_reversed_939a5ed_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:50.284325831+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: PartialordBytesReversed",
      "hash": "d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.122379543+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "152us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.123764352+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "183us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.124918188+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "172us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.126076479+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "133us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.127188119+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "137us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.128293815+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "117us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.129380774+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "201us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.130571718+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "151us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.131711485+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "154us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "proptest",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.132837919+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "205us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.134770713+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(payload_len=23)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.135805310+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.136796066+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.137790875+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "98us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(payload_len=28)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.138822240+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(payload_len=13)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.139810056+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(payload_len=28)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.140820201+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(payload_len=27)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.141821923+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(payload_len=32)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.142820457+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(payload_len=25)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.143896397+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(payload_len=2)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.145726730+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(payload_len=19)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.146730135+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(payload_len=22)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.147753145+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(payload_len=18)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.148734760+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(payload_len=2)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.149759472+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(payload_len=22)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.150744663+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(payload_len=8)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.151749192+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(payload_len=17)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.152808342+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(payload_len=4)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.153877533+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(payload_len=26)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.154888409+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(payload_len=16)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.156770966+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "223393us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.381337490+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "223598us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.606430608+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "225628us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:53.833684179+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "220330us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:54.055631041+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "223288us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:54.280405788+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "224735us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:54.506659322+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "233907us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:54.742244714+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "219773us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:54.963727417+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "221592us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    },
    {
      "experiment": "ci-run",
      "workload": "bytes",
      "language": "rust",
      "strategy": "hegel",
      "property": "SliceRefEmpty",
      "mutations": [
        "slice_ref_empty_f330ef6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:42:55.186801091+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "222865us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(payload_len=1)",
      "hash": "7f113356304d0158c1a35ec1c10e2561094a7667"
    }
  ]
}