{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 04:58 UTC",
  "workload_docs": {
    "arrayvec": [
      {
        "mutations": [
          "extend_silent_truncate_a554ea2_1"
        ],
        "tasks": [
          {
            "property": "ExtendPanicsOnOverflow",
            "witnesses": [
              {
                "test_fn": "witness_extend_panics_on_overflow_case_five_items_cap_four"
              },
              {
                "test_fn": "witness_extend_panics_on_overflow_case_exact_fit"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/bluss/arrayvec",
          "commits": [
            "a554ea219a181f74542c5aaaeccec97a52f51939"
          ],
          "commit_subjects": [
            "API: Panic in .extend() and from_iter on capacity exceeded"
          ],
          "summary": "`.extend()` and `from_iter` silently truncated the iterator once the `ArrayVec` hit capacity, contradicting the documented behaviour of panicking on overflow. The fix routes both paths through `extend_panic()` when the backing buffer is full."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/arrayvec.rs"
          ],
          "locations": [
            {
              "file": "src/arrayvec.rs",
              "line": 1143,
              "symbol": "extend_from_iter"
            }
          ],
          "patch": "patches/extend_silent_truncate_a554ea2_1.patch"
        },
        "bug": {
          "short_name": "extend_silent_truncate",
          "invariant": "`ArrayVec::extend` must panic when the iterator yields more items than the vector's remaining capacity; truncating silently is a data-loss bug visible to callers that rely on the documented \"panic on overflow\" behaviour.\n",
          "how_triggered": "replacing `if ptr == end_ptr && CHECK { extend_panic(); }` with `if ptr == end_ptr && CHECK { return; }` makes the extend loop bail out silently once the backing buffer is full. Witness `case_five_items_cap_four` drives this by extending a capacity-4 `ArrayVec` with a 5-element iterator: base build panics as expected; the buggy build truncates to 4 elements and returns normally, and the property reports `vec.len()=4` without a panic observation. The `case_exact_fit` witness guards against over-correction — 4 items must still succeed."
        }
      },
      {
        "mutations": [
          "insert_bound_off_by_one_2a1378d_1"
        ],
        "tasks": [
          {
            "property": "InsertAtLengthSucceeds",
            "witnesses": [
              {
                "test_fn": "witness_insert_at_length_succeeds_case_empty"
              },
              {
                "test_fn": "witness_insert_at_length_succeeds_case_three_elements"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/bluss/arrayvec",
          "commits": [
            "2a1378d3eb073026468063fd354d90511b61def0"
          ],
          "commit_subjects": [
            "Fix bounds checking in ArrayVec::insert(index, element)"
          ],
          "summary": "`try_insert` rejected `index == len` (the valid append position) with an out-of-range panic instead of pushing to the tail, diverging from `Vec::insert`'s contract. The fix loosens the guard from `index >= len` to `index > len` while adding a separate capacity check."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/arrayvec.rs"
          ],
          "locations": [
            {
              "file": "src/arrayvec.rs",
              "line": 310,
              "symbol": "try_insert"
            }
          ],
          "patch": "patches/insert_bound_off_by_one_2a1378d_1.patch"
        },
        "bug": {
          "short_name": "insert_bound_off_by_one",
          "invariant": "`ArrayVec::try_insert(len, v)` must behave as a push-to-tail — index `== len` is a valid append position per the docs, matching `Vec::insert`'s contract. The buggy boundary check rejects this call with a panic as if the index were out of range.",
          "how_triggered": "the base code tests `if index > self.len() { panic_oob!(...) }`; the mutation restores the pre-2a1378d condition `if index >= self.len() { panic_oob!(...) }`, which treats the append position as out-of-bounds. `witness_case_empty` (insert at 0 into an empty vec) and `witness_case_three_elements` (insert at 3 into a 3-element vec) both hit the boundary and panic under the buggy code where the base succeeds."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.086498487+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "102us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([605, 2592402464, 3885302856, 3438229475, 2383058818])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.088012221+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([1941, 536755408, 1325207836, 2217913366, 2342615965])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.089122045+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "118us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([6505, 1008289649, 1991706755, 3996367338, 2428595476])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.090235904+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([7904, 1199123895, 2252072943, 1569907835, 2900801825])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.091358100+00:00",
      "status": "failed",
      "tests": 37,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([896, 2070157552, 4206955060, 3720342803, 3010481114])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.092456267+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "82us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([3261, 763430708, 770474123, 492024395, 218241765])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.093566864+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([4040, 3954058446, 1709828103, 3967587984, 1468467566])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.094660824+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([7083, 255661503, 984777513, 1125025804, 527829338])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.095782912+00:00",
      "status": "failed",
      "tests": 39,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([303, 3716059268, 742393070, 1791651089, 193414418])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.096971739+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([35, 3967427645, 4111719819, 732538714, 1425452607])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.098186470+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([1374607467, 934853867, 3790885775, 1229260695, 2764772995, 3853767427, 1760520826, 2116860663])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.099237450+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([3915038063, 4294967295, 2081625344, 1813894957, 770267250, 519521734])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.100285621+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([1846153381, 422381369, 540501970, 209453997, 1694831561, 3090871957, 4080145785, 2470741138])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.101312686+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2195445090, 1416719407, 2130548715, 2847928969, 23551384, 2879010371, 294327215])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.102358442+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([663162161, 3500888097, 1438851021, 1814743987, 1892748781])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.103423498+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2004424051, 200040625, 185045459, 671437564, 4294967295, 84767516, 1046857602, 1])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.104477910+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([4294967295, 1391879369, 2067942677, 2446353288, 2011395253, 1])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.105559246+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([1122736905, 179584047, 2892570908, 950203994, 3412748617])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.106589584+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2906784547, 3364130213, 1, 685334369, 348365892])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.107666813+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([1602311993, 449532539, 604492788, 3300432355, 1473946774, 2324487320, 1618502745])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.108780586+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([3145658036, 3915540458, 1178807289, 2255650728, 2844429653, 678358043])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.109798303+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([13603749, 3603742902, 2329286554, 3968101107, 904271809, 3288037961, 1393830777, 2200642391])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.110873234+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([294424958, 1421229300, 3641924560, 2264949272, 3114336257, 1635334990])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.111960421+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([449098641, 1672704645, 1363794517, 3204686534, 1068555158, 4076756829])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.113011369+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([2881301984, 3532008388, 3244797968, 3487049704, 4256029909, 2652689876, 1074464196, 2352425484])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.114032400+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([2230639588, 2219048721, 1756956504, 3832825503, 3949018214, 1184079865])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.115067469+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([315462966, 3731739332, 3434324453, 1416472470, 684024269, 4183008524])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.116077479+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([960085720, 84012937, 188451655, 674017073, 13153799, 3941242737])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.117096078+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([516029293, 800611719, 3121883709, 1961117423, 476314134, 3271485318])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.118147385+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([810367227, 3463705586, 185979309, 2827917459, 4169022700])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.119343846+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "865422us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 0, 0, 0, 0])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:53.986115061+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "228737us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 0, 0, 0, 0])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:54.216599963+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "230508us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 0, 0, 0, 0])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:54.448781697+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "230069us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 0, 0, 0, 0])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:54.680330716+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "229322us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 0, 0, 0, 0])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:54.911132936+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "230560us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 0, 0, 0, 0])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:55.143268658+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "230468us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 0, 0, 0, 0])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:55.375300603+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "226728us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 0, 0, 0, 0])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:55.603536518+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "231365us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 0, 0, 0, 0])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "ExtendPanicsOnOverflow",
      "mutations": [
        "extend_silent_truncate_a554ea2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:55.836569211+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "230483us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 0, 0, 0, 0])",
      "hash": "35943a1b64dd36dff88ef32b1276dc5ff4b02524"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.572299120+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "210us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] 3)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.573807083+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "192us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] 28)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.575173771+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "192us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] 1)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.576508341+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "194us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] 45)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.577817737+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "190us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] 45)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.579106400+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "203us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] 0)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.580323895+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "189us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] 11)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.581550642+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "189us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] 62)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.582775191+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "184us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] 47)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "proptest",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.584076397+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "198us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([] 0)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.585492401+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([] 2447629314)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.586614534+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([1526918240, 644588592] 2912919688)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.587689975+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2990850004, 4088460929, 55760481, 3789654823] 1386818867)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.588776732+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([1114029125] 2963367645)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.589875286+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2183252476, 4181005738, 1729129265, 3058115928, 897275507, 0] 2867959447)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.591010003+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([3090750646, 4169123190, 1148010325] 817449377)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.592079904+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([] 0)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.593146223+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([] 1237213831)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.594212177+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2541606297, 1, 4212428419, 4110104126, 339927933, 2928021742] 1079502904)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.595348817+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2333922195, 2745058697, 3984202988, 1753546251] 3283275946)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.596659515+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([2670562921, 4125708124, 3782071069] 3361816774)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.597769596+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([2192094838, 115385331, 2581471155, 288648448, 2743496409, 3833587757] 1953962965)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.598826002+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([1312371685] 3880119488)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.599923128+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([299540945] 3411080932)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.601028966+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([1859529403, 3449479157, 3345670910] 1520153853)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.602079837+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([1924103526, 3277870449, 1188545346, 2774604173] 1773308644)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.603139027+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([803808068, 1059491181, 132438842, 2043504268, 39971142, 3453509922] 3751665560)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.604188466+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "108us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([2633319395, 3772149146, 3991581532, 2103167605, 547294000, 3939585947] 3674447448)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.605265359+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([1531275604, 3943231158] 1088030226)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.606345485+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([3795470144, 3416685225, 1202543937, 643440805] 1928053057)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.607696959+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "186192us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] 0)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.795159944+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "188479us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] 0)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:58.985115053+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "195422us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] 0)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:59.182017729+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "186159us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] 0)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:59.369652641+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "186083us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] 0)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:59.557168146+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "186572us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] 0)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:59.745250141+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "186049us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] 0)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:57:59.932757931+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "190341us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] 0)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:00.124598234+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "189144us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] 0)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    },
    {
      "experiment": "ci-run",
      "workload": "arrayvec",
      "language": "rust",
      "strategy": "hegel",
      "property": "InsertAtLengthSucceeds",
      "mutations": [
        "insert_bound_off_by_one_2a1378d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:00.315239852+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "186456us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([] 0)",
      "hash": "14a4677c3d08f8eb445d89fcaef88f281ada86ca"
    }
  ]
}