{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 19:41 UTC",
  "workload_docs": {
    "uuid": [
      {
        "mutations": [
          "to_fields_le_byte_swap_0a096d4_1"
        ],
        "tasks": [
          {
            "property": "FromToFieldsLeRoundtrip",
            "witnesses": [
              {
                "test_fn": "witness_from_to_fields_le_roundtrip_case_byte_mismatch"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/uuid-rs/uuid",
          "commits": [
            "0a096d4fb752c71ad8528f3e167e9afd58b4217e"
          ],
          "commit_subjects": [
            "fix to_fields_le byte index"
          ],
          "summary": "`Uuid::to_fields_le` read both halves of `d2` from byte 5 instead of bytes 4 and 5, so the accessor did not invert `from_fields_le` and the round-trip dropped half the bytes."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/lib.rs"
          ],
          "locations": [
            {
              "file": "src/lib.rs"
            }
          ],
          "patch": "patches/to_fields_le_byte_swap_0a096d4_1.patch"
        },
        "bug": {
          "short_name": "to_fields_le_byte_swap",
          "invariant": "`Uuid::from_fields_le(d1, d2, d3, &d4).to_fields_le()` must round-trip to the original `(d1, d2, d3, &d4)`.",
          "how_triggered": "In `Uuid::to_fields_le`, replaces `as_bytes()[4]` with `as_bytes()[5]` when assembling `d2`'s low byte, so both halves of `d2` are read from byte 5."
        }
      },
      {
        "mutations": [
          "v7_random_bytes_order_3af4733_1"
        ],
        "tasks": [
          {
            "property": "V7EncodeByteLayout",
            "witnesses": [
              {
                "test_fn": "witness_v7_encode_byte_layout_case_byte_swap"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/uuid-rs/uuid",
          "commits": [
            "3af4733e60f956bd8673b419d3a9e83fcd0a0b8e"
          ],
          "commit_subjects": [
            "fix: keep the order when filling random bytes"
          ],
          "summary": "`encode_unix_timestamp_millis` swapped `counter_random_bytes[0]` and `[1]` when packing the version/random nibble pair of a v7 UUID, so the bytes ended up in the wrong byte positions relative to RFC 9562 §5.7."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/timestamp.rs"
          ],
          "locations": [
            {
              "file": "src/timestamp.rs"
            }
          ],
          "patch": "patches/v7_random_bytes_order_3af4733_1.patch"
        },
        "bug": {
          "short_name": "v7_random_bytes_order",
          "invariant": "`Builder::from_unix_timestamp_millis(millis, &bytes)` must produce a UUID whose byte layout matches RFC 9562 §5.7 — in particular `ub[7] == bytes[1]` and `(ub[6] & 0x0F) == (bytes[0] & 0x0F)`.",
          "how_triggered": "In `timestamp::encode_unix_timestamp_millis`, swaps `counter_random_bytes[0]` and `counter_random_bytes[1]` when assembling `counter_random_version`, so the two bytes land in the wrong nibble/byte of the v7 UUID."
        }
      },
      {
        "mutations": [
          "version_max_guard_0ed83cf_1"
        ],
        "tasks": [
          {
            "property": "VersionMaxRequiresAllOnes",
            "witnesses": [
              {
                "test_fn": "witness_version_max_requires_all_ones_case_version_nibble_only"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/uuid-rs/uuid",
          "commits": [
            "0ed83cf517a34e28f348811ffabf933b694bc901"
          ],
          "commit_subjects": [
            "fix up a few bugs in timestamp related code"
          ],
          "summary": "`Uuid::get_version`'s `0xf` arm was written without the accompanying `if self.is_max()` guard, so any UUID whose version nibble was `0xF` — even if the other bytes were not all-ones — was reported as `Version::Max` (the RFC 9562 all-ones sentinel)."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/lib.rs"
          ],
          "locations": [
            {
              "file": "src/lib.rs"
            }
          ],
          "patch": "patches/version_max_guard_0ed83cf_1.patch"
        },
        "bug": {
          "short_name": "version_max_guard",
          "invariant": "`Uuid::get_version()` returns `Some(Version::Max)` **iff** the UUID is the all-ones sentinel. No other UUID with version nibble `0xF` may be reported as `Version::Max`.",
          "how_triggered": "In `Uuid::get_version`, drops the `if self.is_max()` guard on the `0xf` match arm, so any UUID whose version nibble is `0xF` is classified as `Version::Max` regardless of the other bytes."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.242938832+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "120us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x0 0xd29b 0x7cdd [97, 216, 222, 137, 83, 90, 246, 114])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.244471355+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x0 0xf15b 0xfa84 [237, 12, 106, 69, 155, 239, 116, 26])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.245612900+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "100us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x0 0x2fb 0xeeac [172, 30, 254, 186, 101, 173, 189, 32])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.246691760+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "106us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x0 0xd0 0xdedc [6, 165, 115, 140, 1, 119, 199, 168])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.247772111+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "101us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x0 0x40b6 0xffc4 [190, 169, 218, 143, 151, 230, 62, 202])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.248847204+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x0 0x17d 0xf5b8 [143, 71, 60, 149, 196, 28, 240, 128])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.249899943+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "102us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x0 0x4f9b 0x9059 [124, 47, 219, 147, 75, 17, 40, 111])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.250942986+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "99us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x0 0x1118 0x35b3 [186, 9, 231, 216, 144, 12, 131, 110])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.251993430+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "98us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x0 0x697b 0x6eca [166, 244, 135, 17, 209, 110, 128, 200])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.253099961+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "131us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0x0 0x1f09 0x497b [196, 102, 196, 36, 14, 182, 196, 118])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.254247710+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0x3ba6ae70 0x5205 0x1522 [0, 25, 228, 1, 129, 165, 210, 0])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.255271567+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0x82fcdbc8 0xf4a1 0x6014 [27, 239, 112, 94, 177, 137, 128, 121])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.256268452+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0x2664eee4 0x2aca 0xa605 [113, 5, 255, 0, 46, 246, 210, 199])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.257539189+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0xf31435c1 0xe260 0xffff [131, 117, 194, 157, 193, 0, 161, 190])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.258567246+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0x6e66baee 0x154d 0xffff [171, 137, 70, 211, 23, 171, 90, 130])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.259619680+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0xa3fc9b9a 0x1 0xb72c [168, 79, 64, 195, 56, 113, 16, 0])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.260617652+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0xc4534efd 0x3979 0x229b [30, 127, 88, 189, 182, 206, 225, 182])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.261653535+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0xb6905272 0x74cc 0x37c2 [36, 1, 139, 186, 234, 205, 71, 0])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.262661336+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0x7cbc61fa 0xb2e4 0xc05f [34, 125, 3, 142, 125, 1, 245, 59])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.263671641+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0xfe99b31d 0x2dd1 0x399f [196, 210, 239, 161, 12, 50, 0, 53])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.264828220+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0xea3c10e4 0x881a 0xea2b [172, 183, 215, 45, 154, 11, 5, 112])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.265874439+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0xf41995d5 0x7de4 0x10f2 [244, 89, 185, 66, 242, 229, 98, 186])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.266851555+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0xa3433cc6 0xdebc 0x94b7 [35, 192, 129, 246, 145, 47, 253, 206])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.267860905+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0x15246859 0x2a12 0xb8f7 [45, 178, 124, 4, 71, 180, 203, 186])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.268832+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0x5d33fd12 0xa43b 0xea0f [148, 41, 143, 191, 234, 212, 162, 44])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.269858783+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0xfc7583d6 0x6d64 0x3356 [210, 232, 152, 228, 174, 174, 168, 34])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.270864643+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0x6c53a4b0 0x8abf 0x504e [154, 99, 245, 252, 45, 234, 170, 144])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.271866168+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0x6b8ce1b 0xab2d 0x9f15 [37, 72, 229, 32, 60, 90, 31, 150])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.272852993+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0x9346b40a 0xdd7e 0x1715 [128, 64, 66, 161, 42, 234, 85, 169])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.273827878+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0xd069f7f1 0x1210 0x4384 [193, 154, 11, 233, 248, 37, 244, 43])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:26.274925611+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "824488us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x0 0x1 0x0 [0, 0, 0, 0, 0, 0, 0, 0])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:27.100592257+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "272299us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x0 0x1 0x0 [0, 0, 0, 0, 0, 0, 0, 0])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:27.374307749+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "271677us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x0 0x1 0x0 [0, 0, 0, 0, 0, 0, 0, 0])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:27.647468452+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "277855us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x0 0x1 0x0 [0, 0, 0, 0, 0, 0, 0, 0])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:27.927056099+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "274532us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x0 0x1 0x0 [0, 0, 0, 0, 0, 0, 0, 0])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:28.202964061+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "275502us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x0 0x1 0x0 [0, 0, 0, 0, 0, 0, 0, 0])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:28.479834287+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "282952us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x0 0x1 0x0 [0, 0, 0, 0, 0, 0, 0, 0])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:28.764168883+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "278228us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x0 0x1 0x0 [0, 0, 0, 0, 0, 0, 0, 0])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:29.043866819+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "276358us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x0 0x1 0x0 [0, 0, 0, 0, 0, 0, 0, 0])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromToFieldsLeRoundtrip",
      "mutations": [
        "to_fields_le_byte_swap_0a096d4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:29.321699031+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "277947us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0x0 0x1 0x0 [0, 0, 0, 0, 0, 0, 0, 0])",
      "hash": "a355661cc552245488ba987641e1bf8e3b7dfa39"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.545417814+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "85us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(25085325 [7e, 50, a0, 00, 4a, 3d, 48, 10, 57, be])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.546729862+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(4243689056 [23, 66, 02, 14, 18, cc, 3a, 77, 43, b3])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.547830694+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(1792254188 [9f, c9, 63, 68, 47, 98, 02, e1, 33, 3b])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.548882501+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(2696577245 [29, 89, 64, 32, cd, dd, 63, dc, 4a, 25])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.549961682+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(3364718548 [5d, 0d, 45, 7e, e3, 7b, 42, 3d, 21, e3])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.551007298+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "103us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(187240677 [7c, d9, 69, ce, ca, 4c, a6, de, 71, 3a])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.552068125+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "103us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(341598535 [2e, f9, dd, 22, af, 6f, 67, c6, 2e, 8b])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.553095306+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "83us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(3844434522 [01, 7a, be, 03, fe, 82, 03, 36, cd, 1b])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.554156004+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(1478740854 [5c, 6e, e9, 79, 2b, ba, 99, 87, 5b, 4e])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.555227868+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(4094647002 [2b, 82, 8b, 19, 69, 55, 36, a0, 48, ff])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.556469765+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(4533139341204567335 [ef, 53, 4f, 75, c7, 10, 3e, 9a, 6e, 04])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.557465236+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(9370994852996452301 [ee, 00, 83, 48, ac, eb, 19, 96, 00, 05])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.558502029+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "12us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(2163873401508112837 [b8, cf, 05, 8a, a5, c6, 51, 19, 25, ef])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.559479094+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 [3e, 01, c9, 84, 0d, 38, 4c, 4f, 5e, e4])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.560499026+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(18446744073709551615 [f4, 12, 9c, 70, 7d, 79, 01, 62, 28, 12])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.561475219+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "14us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(6327035748567888448 [5b, 1c, 96, ee, 14, 47, 30, ff, 8d, 55])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.562545570+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1640610103958625042 [2b, f8, 00, bc, 2b, 15, fb, 44, 40, c1])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.563529083+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "12us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(12642182639254893722 [15, d5, 72, ba, eb, a8, d3, 87, ff, 4f])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.564512150+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "14us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(4728584898859999140 [ff, 24, cb, c0, 7a, cf, 2b, dd, ff, 00])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.565511933+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(18446744073709551615 [8d, 75, bd, c2, d8, 2e, 80, 89, e8, 5f])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.566829238+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(6315407586656515720 [c2, fe, ee, 02, b7, 99, 38, de, 20, db])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.567884258+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(15675102352126081308 [47, 96, 48, 98, 03, 8b, 77, d0, 2f, a4])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.568875390+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(7335231060862106273 [10, 1e, 3b, 0f, fb, 30, 8d, eb, 4b, b3])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.569852816+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(10289048159005091381 [3e, e7, ee, 46, f5, 2f, 5c, 21, fc, 5a])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.570844233+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(6688494880912400639 [22, 69, 72, a6, 0e, ae, 3e, 1e, 0e, 6e])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.571815117+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(5401371114947660996 [9d, 31, 56, fa, e5, 46, 0b, b7, 38, 40])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.572755669+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(18187223772849859625 [01, 34, 7d, 5f, 60, 72, 1e, 15, d4, 03])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.573770606+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(8710714340653542822 [2a, 5c, ca, 05, cf, e4, 3f, ae, 19, 9b])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.574731245+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(9514456339283043089 [0c, 5c, 65, 3b, 99, f4, 6b, 95, b8, 05])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.575724992+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(913958290657694707 [60, 75, a7, 07, 79, f9, fe, bf, 3c, 55])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.577153612+00:00",
      "status": "failed",
      "tests": 44,
      "discards": 0,
      "time": "319341us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 [00, 01, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:31.897679512+00:00",
      "status": "failed",
      "tests": 44,
      "discards": 0,
      "time": "320927us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 [00, 01, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:32.220032617+00:00",
      "status": "failed",
      "tests": 44,
      "discards": 0,
      "time": "323416us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 [00, 01, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:32.544848479+00:00",
      "status": "failed",
      "tests": 44,
      "discards": 0,
      "time": "323985us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 [00, 01, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:32.870297097+00:00",
      "status": "failed",
      "tests": 44,
      "discards": 0,
      "time": "321294us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 [00, 01, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:33.193170261+00:00",
      "status": "failed",
      "tests": 44,
      "discards": 0,
      "time": "324970us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 [00, 01, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:33.519524124+00:00",
      "status": "failed",
      "tests": 44,
      "discards": 0,
      "time": "319519us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 [00, 01, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:33.840462675+00:00",
      "status": "failed",
      "tests": 44,
      "discards": 0,
      "time": "321011us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 [00, 01, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:34.162850499+00:00",
      "status": "failed",
      "tests": 44,
      "discards": 0,
      "time": "317794us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 [00, 01, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "V7EncodeByteLayout",
      "mutations": [
        "v7_random_bytes_order_3af4733_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:34.482100547+00:00",
      "status": "failed",
      "tests": 44,
      "discards": 0,
      "time": "323759us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 [00, 01, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "efb0504635ae6f059bd89473971ab3577c6d3400"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.775182690+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "102us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([00, 00, 00, 00, 11, be, f4, 26, 7d, 8b, b4, 1e, 2d, af, 1b, 4b])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.776479324+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "104us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([00, 00, 00, 00, 08, 31, 7b, 18, 60, b8, fa, 17, a7, ae, 8b, 84])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.777560122+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([00, 00, 00, 00, 03, 1f, 40, cf, ee, 85, 48, b5, b9, ec, 5d, 5e])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.778648074+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "98us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([00, 00, 00, 00, 0f, 2f, 11, 32, ae, fb, 78, d5, 5e, 54, f9, 6b])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.779686632+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "99us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([00, 00, 00, 00, 03, 71, 14, 5b, a1, dd, 5f, d4, 44, 8d, 63, ee])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.780766779+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([00, 00, 00, 00, 00, e8, db, 91, 15, 42, 99, 95, b6, e3, 3b, 31])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.781839370+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([00, 00, 00, 00, 09, 3e, 0c, bb, ea, 8c, 5f, 13, 22, d5, 46, 12])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.782955837+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "99us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([00, 00, 00, 00, 03, 87, a7, 55, b6, 16, 98, 0f, c5, ec, b3, 10])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.784000506+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "128us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([00, 00, 00, 00, 03, 52, 7c, c7, 44, 14, 29, 9d, 2a, 5f, af, 2f])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "proptest",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.785086778+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "153us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([00, 00, 00, 00, 46, 7d, 39, 1b, c3, c5, 6f, 12, 47, da, 6d, 9e])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.786474060+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "14us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([5d, 84, 4d, 48, 89, 01, 19, ae, 0c, c2, c0, 30, 32, 68, a8, 4a])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.787480491+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([6e, 99, bd, df, 38, 3f, 54, fc, 2d, dc, 5f, b1, d5, 86, 47, aa])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.788447112+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([bf, 3d, 00, 4c, 01, 3c, 45, 16, e3, 31, ff, 6c, c7, ce, 01, bb])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.789463541+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "13us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([e8, 2f, 42, 13, 2c, 31, a9, 6c, ff, 6b, 8f, ff, f6, 00, 4d, 27])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.790452563+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([08, 8f, 91, 00, f7, 8d, ff, 56, ac, ae, 24, b1, 11, a6, 72, 9a])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.791498239+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([e2, 56, 2d, e0, 56, ad, e1, 99, b5, e5, 5c, e7, d9, 8c, b1, 88])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.792543275+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([6f, 04, 08, 01, 05, ee, 69, 00, 4c, 01, 9b, ad, 05, 86, c7, 02])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.793551310+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([01, 00, 6e, 3a, 01, 02, 98, 3b, 00, c7, e4, fb, cf, 0a, d8, ff])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.794518451+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([ca, 55, 09, 0a, b0, c0, 55, f0, 2a, 9f, 0c, 00, fb, e3, bb, 87])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.795539220+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "13us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([63, d7, d9, 6b, b9, fc, 63, 24, 6a, 5c, 01, 8a, 63, 27, aa, a3])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.796876216+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([81, 3a, 71, 64, 48, c1, b8, dd, a1, e4, 82, 13, a9, 69, 95, ed])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.797896572+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([c6, df, b1, 34, 7f, db, ae, 3f, cc, 48, 31, fb, 3c, 15, a5, 2f])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.798902207+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([d3, 2d, 8d, 5b, 01, 89, 34, 84, e3, d6, 2e, df, c9, 96, 76, db])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.799967147+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([dc, ff, da, 69, cb, 80, f4, c9, 0b, bc, de, 4f, 9b, 0f, 48, 6a])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.800945461+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([8f, 6c, e4, 2c, 71, db, 51, 84, 73, 07, 9e, b5, da, 95, e2, b2])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.801937906+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([64, 58, ee, 87, 98, 54, ed, 31, d0, a2, 76, 30, 1f, 3b, 32, c2])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.802923301+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([21, 30, ca, 20, 97, dc, 79, c7, 8f, 70, 27, 4a, d5, fb, c6, f6])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.803923091+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([97, f5, ff, 7b, 6f, fc, 99, d5, c4, 31, 0c, 73, 8c, 82, 86, ed])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.804881695+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([a6, 74, 8e, 01, e8, 69, ed, d8, c5, 9f, 0f, 2e, 72, 9b, b8, b0])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.805919837+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([95, 44, 91, 1e, 3d, 5d, ea, be, bd, 92, 2f, 18, 07, 4a, 71, 26])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:36.807252054+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "214518us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:37.023011568+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "215701us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:37.240116933+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "211342us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:37.452970897+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "212547us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:37.666990649+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "211772us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:37.880113428+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "214442us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:38.095959604+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "211611us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:38.309146808+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "215428us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:38.526225755+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "211121us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "uuid",
      "language": "rust",
      "strategy": "hegel",
      "property": "VersionMaxRequiresAllOnes",
      "mutations": [
        "version_max_guard_0ed83cf_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:38.738721704+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "212536us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00])",
      "hash": "0cf7ec98b7be5e2cf3a9f17de431831ebeadc8fb"
    }
  ]
}