{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 03:04 UTC",
  "workload_docs": {
    "lru": [
      {
        "mutations": [
          "clone_unbounded_no_panic_3ec42b6_1"
        ],
        "tasks": [
          {
            "property": "CloneUnboundedNoPanic",
            "witnesses": [
              {
                "test_fn": "witness_clone_unbounded_no_panic_case_three_entries"
              },
              {
                "test_fn": "witness_clone_unbounded_no_panic_case_one_entry"
              },
              {
                "test_fn": "witness_clone_unbounded_no_panic_case_empty"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jeromefroe/lru-rs",
          "commits": [
            "3ec42b6369082c00da2836fe033db20cb52a36fc"
          ],
          "commit_subjects": [
            "Fix clone implementation for unbounded cache"
          ],
          "prs": [
            219
          ],
          "summary": "`<LruCache as Clone>::clone` forwarded `self.cap()` (which is `usize::MAX` for an unbounded cache) into `HashMap::with_capacity_and_hasher`, panicking with 'Hash table capacity overflow' the first time anyone cloned an unbounded cache. The fix special-cases `is_unbounded()` and uses `self.len()` for the new map's initial capacity instead."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/lib.rs"
          ],
          "locations": [
            {
              "file": "src/lib.rs",
              "symbol": "LruCache::clone"
            }
          ],
          "patch": "patches/clone_unbounded_no_panic_3ec42b6_1.patch"
        },
        "bug": {
          "short_name": "clone_unbounded_no_panic",
          "invariant": "`LruCache::unbounded().clone()` must not panic regardless of how many entries the cache currently holds, and the clone must contain the same key/value pairs as the original.",
          "how_triggered": "The buggy clone allocates the new internal `HashMap` with capacity `self.cap().get()`. When the cache is unbounded `self.cap()` is `NonZeroUsize::MAX`, so `HashMap::with_capacity_and_hasher` is asked to reserve `usize::MAX` slots and hashbrown panics with 'Hash table capacity overflow' before a single entry is copied."
        }
      },
      {
        "mutations": [
          "pop_iter_consistent_5f4a46a_1"
        ],
        "tasks": [
          {
            "property": "PopIterConsistent",
            "witnesses": [
              {
                "test_fn": "witness_pop_iter_consistent_case_pop_middle"
              },
              {
                "test_fn": "witness_pop_iter_consistent_case_pop_first"
              },
              {
                "test_fn": "witness_pop_iter_consistent_case_pop_last"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jeromefroe/lru-rs",
          "commits": [
            "5f4a46a522b4e325cc4d56c1b737e44915921cca"
          ],
          "commit_subjects": [
            "Fix bug in LruCache::pop()."
          ],
          "prs": [
            29
          ],
          "summary": "`LruCache::pop` removed the entry from the underlying hashmap but never detached the corresponding node from the linked list. Subsequent operations (iter, pop_lru, evict-on-put) walked through the orphaned node, leading to memory unsafety and observable wrong-key-in-iter behaviour."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/lib.rs"
          ],
          "locations": [
            {
              "file": "src/lib.rs",
              "symbol": "LruCache::pop"
            }
          ],
          "patch": "patches/pop_iter_consistent_5f4a46a_1.patch"
        },
        "bug": {
          "short_name": "pop_iter_consistent",
          "invariant": "After `pop(k)` removes a key, the cache's linked-list view (iter, pop_lru, evict-on-put) must agree with the map view. In particular, the popped key must not appear in `iter()` and must not be returned by any subsequent `pop_lru`.",
          "how_triggered": "The buggy `pop` removes the entry from the hashmap and frees its `Box<LruEntry>` but skips `self.detach(node)`, so the linked list still threads through the freed slot. iter() then visits the orphan (still holding the popped key), and pop_lru's `self.map.remove(&old_key).unwrap()` panics when it tries to remove a key the map no longer contains."
        }
      },
      {
        "mutations": [
          "drop_impl_drops_all_37dbda0_1"
        ],
        "tasks": [
          {
            "property": "DropImplDropsAll",
            "witnesses": [
              {
                "test_fn": "witness_drop_impl_drops_all_case_many"
              },
              {
                "test_fn": "witness_drop_impl_drops_all_case_one"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jeromefroe/lru-rs",
          "commits": [
            "37dbda01eb6820b86292c1f9d497d01d35287ad8"
          ],
          "commit_subjects": [
            "Use as_mut_ptr method to fix memory leak"
          ],
          "prs": [
            79
          ],
          "summary": "The cache's `Drop` impl ran `ptr::drop_in_place(&mut e.key as *mut _)`. Type inference picked `*mut MaybeUninit<K>`, so the drop targeted the MaybeUninit wrapper (a no-op) rather than the inner `K`/`V`, leaking every entry's key and value when the cache itself was dropped. The fix uses `e.key.as_mut_ptr()` to obtain a `*mut K` so the inner destructor actually runs."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/lib.rs"
          ],
          "locations": [
            {
              "file": "src/lib.rs",
              "symbol": "<LruCache as Drop>::drop"
            }
          ],
          "patch": "patches/drop_impl_drops_all_37dbda0_1.patch"
        },
        "bug": {
          "short_name": "drop_impl_drops_all",
          "invariant": "Dropping an `LruCache` containing N entries must run `Drop` once for every key and once for every value (so 2*N destructor calls when both K and V track drops).",
          "how_triggered": "The buggy `Drop` impl casts `&mut node.key` (whose type is `&mut MaybeUninit<K>`) to `*mut _`, picking up `*mut MaybeUninit<K>` from inference. `ptr::drop_in_place` on a `*mut MaybeUninit<K>` is a no-op (MaybeUninit has no Drop), so the inner `K` is leaked; same for `V`. Dropping the cache therefore observes zero K/V destructor calls instead of the expected 2*N."
        }
      },
      {
        "mutations": [
          "clear_resize_drops_all_4460158_1"
        ],
        "tasks": [
          {
            "property": "ClearResizeDropsAll",
            "witnesses": [
              {
                "test_fn": "witness_clear_resize_drops_all_case_clear"
              },
              {
                "test_fn": "witness_clear_resize_drops_all_case_resize"
              },
              {
                "test_fn": "witness_clear_resize_drops_all_case_clear_one"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jeromefroe/lru-rs",
          "commits": [
            "4460158fab9808001d8fad509615a4a8c2769e11"
          ],
          "commit_subjects": [
            "Fix memory leak when using clear and resize"
          ],
          "prs": [
            101
          ],
          "summary": "Both `clear()` and `resize()` invoked the private `remove_last()` helper, which detaches a node from the linked list and frees its `Box<LruEntry>` shell but leaves the inner `MaybeUninit<K>` / `MaybeUninit<V>` undropped. Every entry the cache evicted via clear or resize was leaked. The fix routes both methods through `pop_lru()`, which `assume_init()`s the K/V out of the slot so they get destructed when the returned tuple is dropped."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/lib.rs"
          ],
          "locations": [
            {
              "file": "src/lib.rs",
              "symbol": "LruCache::clear"
            },
            {
              "file": "src/lib.rs",
              "symbol": "LruCache::resize"
            }
          ],
          "patch": "patches/clear_resize_drops_all_4460158_1.patch"
        },
        "bug": {
          "short_name": "clear_resize_drops_all",
          "invariant": "Both `LruCache::clear()` and `LruCache::resize(small)` must drop every entry they remove from the cache; for N tracked entries cleared, the K/V destructor count must equal 2*N.",
          "how_triggered": "The buggy `clear` and `resize` discard the result of `self.remove_last()`. `remove_last` only frees the `Box<LruEntry>` heap allocation; the inner `MaybeUninit<K>` and `MaybeUninit<V>` are never dropped because `MaybeUninit` does not run its inner `T`'s destructor on drop. Every cleared / resized-out entry leaks both its key and value."
        }
      },
      {
        "mutations": [
          "pop_drops_key_ea64c8f_1"
        ],
        "tasks": [
          {
            "property": "PopDropsKey",
            "witnesses": [
              {
                "test_fn": "witness_pop_drops_key_case_many"
              },
              {
                "test_fn": "witness_pop_drops_key_case_one"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jeromefroe/lru-rs",
          "commits": [
            "ea64c8f932a45434cbc71d3843d28af7c1819864"
          ],
          "commit_subjects": [
            "Fix memory leak when using pop"
          ],
          "prs": [
            104
          ],
          "summary": "`LruCache::pop` removed an entry from the hashmap and returned its value but never dropped the entry's key. The key sat in the freed slot's `MaybeUninit<K>` and was leaked, so any K with a non-trivial destructor (Box, Rc, custom Drop) leaked once per `pop` call. The fix adds an explicit `ptr::drop_in_place(old_node.key.as_mut_ptr())` before the slot is reused."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/lib.rs"
          ],
          "locations": [
            {
              "file": "src/lib.rs",
              "symbol": "LruCache::pop"
            }
          ],
          "patch": "patches/pop_drops_key_ea64c8f_1.patch"
        },
        "bug": {
          "short_name": "pop_drops_key",
          "invariant": "`LruCache::pop(&q)` must drop the popped entry's key. After popping N tracked keys, the key destructor count must equal N.",
          "how_triggered": "The buggy `pop` extracts the entry's `V` via `assume_init` and returns it but never drops the entry's `K`. Because `K` lives inside a `MaybeUninit<K>` slot, dropping the surrounding `LruEntry` is a no-op for the inner key — every `pop` call therefore leaks one K."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.823206160+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "120us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.824521386+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "116us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.825523841+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "194us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.826578654+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "189us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.827605404+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "128us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.828564117+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "202us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.829535071+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "209us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.830583685+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "204us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.831550653+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "93us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.832482980+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "85us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.833465465+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(4294967295, 4137630116), (2305460850, 4030884527), (302768093, 3276118997), (2614142758, 1574222577)])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.834351399+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(2522649003, 940378186), (3197717656, 3369267843), (2845816383, 2996027702), (2914432019, 4027229847), (30774083, 1410095058), (2927155510, 2975592523), (0, 2310298478), (4294967295, 2490388595), (1719050605, 3775100101), (4294967295, 837242719), (430544112, 3578682515), (583902963, 2225645467), (1210341902, 2548842213), (2509099451, 2347825507), (1836031709, 2266914005), (4252173472, 3751901346), (1341757976, 3951600387), (1493206787, 187588625)])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.835161935+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "62us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(3720405876, 3167325816), (2842511046, 2629962993), (3798929354, 4294967295), (1566054965, 3686636270), (2255792830, 3825637804), (3227904472, 1261778709), (0, 963935478), (2665389315, 2629522543), (4024175033, 1331930658), (1172563405, 628656164), (2085245689, 0), (4099701999, 3417077442), (2878226183, 2426542700), (83580652, 1066732035), (2418013427, 1445713073), (1366051234, 0), (2720478898, 2086007870), (4294967295, 3740221283), (2567418281, 2631176311), (1, 0), (836516776, 1137099008)])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.836269536+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(266818721, 2633620794), (3102687998, 3504208560), (2858243351, 1407543689), (1464454301, 0), (0, 3779926446), (2383847871, 1490556259), (4056031497, 2002379919), (1, 716570945), (2477750662, 0), (4229169008, 3274239430), (3122982130, 3669496906), (2443672184, 3306926957), (320041259, 3263060745), (2246164044, 3759727759), (301917765, 1612788868), (2423942710, 3679231727)])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.837335228+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(3862320480, 315812936), (2808126323, 2462400665), (3286084857, 3937304379)])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.838184710+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(2811137885, 622596264)])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.839013688+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(3441097180, 3967913634), (3669649065, 1736879360), (3608848441, 1629379268), (1042319869, 706410951), (3362771680, 118633122), (1824985033, 300583522), (1453407274, 2191052947), (1587883244, 1800226234), (2320082613, 2243471885), (1, 1884464872)])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.839886088+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(2147548771, 1), (4237148337, 682315439), (1606405473, 2435548460), (2611775003, 2138306155), (2084698068, 829040646), (366736627, 3667879473), (2553334823, 442397490), (3321256938, 4294967295), (3441179163, 4294967295), (2791131868, 1613987157), (4088571340, 4075880253), (3960786539, 232015805)])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.840706658+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(2046203381, 1285108765), (1374515019, 0), (1849576173, 4294967295), (1, 3266872394), (3549516732, 472036025), (1789537244, 4057583551), (3807432905, 2890240492), (1574154679, 99288080), (440577588, 0), (2654670298, 1502316694), (1752177431, 3946921913), (2984996708, 1014510732), (3893023106, 3572168406), (436568685, 1367056465), (1833594110, 2308117727), (3702993771, 4066200036), (1548683936, 2676048861), (3074440181, 2249581847), (3164063723, 4294967295)])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.841545869+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(746442382, 1)])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.842532320+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(2844553772, 2551272488), (390189768, 3429340750), (1488989210, 655733004), (2350190670, 1921735691), (2713071302, 1287212243), (1195905007, 2450446762), (368852556, 227513376), (3821579441, 3251327389), (2011811999, 2878401604), (3817396783, 225294310)])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.843365922+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(1946159925, 508340451), (568952305, 1239427373), (2766717862, 2331171995), (2924270770, 2246585036), (2146543338, 376155194), (567454008, 3822230382), (2229087699, 4255879834), (2459499021, 1371605700), (2092327806, 1645708646), (3010492854, 4153457835), (4009912345, 3872958583), (1836699292, 3663340124), (2876337376, 1517609853), (2138906101, 103960891), (3589719452, 2948185801), (2679093704, 2248084495)])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.844198786+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(1465156576, 2265133542), (1306993413, 3846540432), (657802182, 3968193664), (3100779056, 1564068970), (1633511543, 778150240), (3003948744, 1131451897), (2759932122, 1640127190), (1590317250, 127702957), (923289010, 4176987981), (3475677664, 3952577177), (1501133640, 2057340535), (3069451784, 2668970972), (3349958964, 2586128736), (741846971, 2511747233), (1217263743, 3803212808), (238521404, 55457987), (2346171495, 790762317), (1102534941, 2747505584), (4112085537, 2258902901), (683811462, 1480968400), (1274214952, 669285505), (4252299084, 1893544762)])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.845046957+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(1496467192, 11619264), (1555757992, 3730293532), (3224427142, 3610963464)])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.845873601+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(239925218, 2917486806), (939264415, 4198348094), (2839394687, 1766780748), (3703421557, 45180392), (1485948981, 335153262), (2697096116, 194686726), (575341534, 3765229395), (1727327684, 1889016699), (3822021732, 1655508952)])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.846715238+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.847505974+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(2333429107, 3518616552), (3687389419, 3905072289), (2079374247, 3136599138), (1144131016, 224657502), (1976990345, 691894137), (25244664, 458321436), (369304699, 3886542772), (3838759846, 2153348673), (1649120459, 2806490181), (2289969363, 2406735526), (1931674699, 1396847187), (1683291306, 3786827066), (3387545078, 882222160), (3034790595, 3661361446), (2438988413, 2890426077), (1653664899, 3972091370), (1505492364, 1902313042), (2388597488, 3331980546)])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.848302751+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(492993655, 1935746453)])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.849309852+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(400068517, 641582570), (1107379675, 4239674331), (990097397, 851179111), (2791018691, 272668703), (1633369987, 1916512017), (3920881143, 2117174554), (3679601786, 591397797), (4121241749, 4158887732), (2266498159, 1513628484), (2874510185, 118866398), (3533782424, 1457837190), (625743715, 4236719908), (309278636, 2557695350), (1976714704, 1274893383), (2993692955, 86780491), (988600171, 1884418391), (4180093106, 1147078147), (898386935, 2437290871), (1526204076, 2669252823), (2215000643, 2236134274), (3593596081, 2302619052), (3464913466, 15084417), (1228105932, 4000882279)])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.850220747+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(1627445705, 835649448), (224287483, 838552078), (1462499690, 1460238645), (267044628, 632321254), (266590764, 2067752285), (3088680313, 382653991), (334592900, 2100199806), (2004787967, 158788363), (3156973942, 652600493), (358977793, 804819561)])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:45.851224241+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "997854us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:46.850109360+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "222735us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:47.074105471+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "219541us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:47.295114542+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "217598us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:47.514132435+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "221148us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:47.736588167+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "224726us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:47.962694028+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "223706us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:48.187894055+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "222773us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:48.412107547+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "232527us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "CloneUnboundedNoPanic",
      "mutations": [
        "clone_unbounded_no_panic_3ec42b6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:48.645912304+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "221572us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([])",
      "hash": "3357794640d85603e84ad301f48ca8163b533ddb"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.389015176+00:00",
      "status": "failed",
      "tests": 85,
      "discards": 0,
      "time": "515us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.390568100+00:00",
      "status": "failed",
      "tests": 92,
      "discards": 0,
      "time": "609us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.392162762+00:00",
      "status": "failed",
      "tests": 86,
      "discards": 0,
      "time": "452us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.393642763+00:00",
      "status": "failed",
      "tests": 93,
      "discards": 0,
      "time": "605us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.395158313+00:00",
      "status": "failed",
      "tests": 82,
      "discards": 0,
      "time": "541us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.396672122+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "520us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.398063041+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "546us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.399569714+00:00",
      "status": "failed",
      "tests": 94,
      "discards": 0,
      "time": "622us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.401089689+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "432us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.402431856+00:00",
      "status": "failed",
      "tests": 89,
      "discards": 0,
      "time": "561us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.404106142+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2739109605, 2745872635, 960942890, 1331324875, 3964792081, 926214277, 1073980305, 1927755128] 14)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.405052493+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([673161529, 3639742226, 1009229438, 3567056446] 37)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.405863308+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2231054358, 493284460, 328077686, 3627388890, 1079122552, 12023961, 1, 3670120416, 316253454, 2899354375, 366777610, 1377322215, 4231178962] 118)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.406678173+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([591267278, 591630514, 519767060, 438745809, 1149596972, 1968780136, 4294664145, 2363962136, 2386132436, 2600631036, 3048776972, 1636390088, 366317511, 2786458701, 4294967295, 477889533, 3358292262] 249)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.407507767+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([3912005768, 108253914, 3107944035, 4090743626] 174)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.408335204+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([565044752, 2441067377, 3157217533, 3059147660, 2581285682, 1, 802127950, 1499179892, 1354265669, 3065594437] 11)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.409186813+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([862818883, 322299353, 1851605286, 4144194326, 1667932107, 4239487088, 1512349478, 1910605538, 0, 4002384423, 3815179742, 3321838614, 3470103718, 546994984, 4294967295, 1976994362, 1871875398] 103)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.410034897+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([1429692361, 1047658012, 1176232747, 1288567218, 357115062, 3487022546, 2773626569, 3726403753, 1584463589, 3617034912, 1709752861, 3530820226, 3654669732, 1085506671, 1, 2756243869, 1659874635, 2270503069, 943252702, 443857199, 4186329577, 3027279831] 167)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.410857748+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2814911460, 3435980637, 2186307554, 4108336182] 3)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.411708478+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([429188822, 1834830224, 1648274715, 1191717652, 4198362994, 3644699419, 3910653787, 1008328284] 131)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.412728828+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([2601184830, 3170678679, 3854446822, 394885374, 1115148277, 3124838478, 633880299, 2786763154, 1260429906, 3490810006, 3611282520, 3108376438, 1532232058, 1436016066, 1314004096, 3582263954, 603177279, 3486757568, 3908909369, 3402716714, 1110170367, 3317279981] 233)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.413656243+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([3512814865, 201009851, 2511925637] 181)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.414471730+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([3755091985, 2309825470, 2469820751, 4197313460, 1896379109, 3779726160, 3395635590, 1254256142, 1849586452, 1979827747, 3010966670, 697392524, 1754142529, 3911777141, 2542163195] 55)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.415310830+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([3517645958, 3470305156, 2285996399, 1118177754, 2299964570, 1975116995, 1847174516, 3809072963, 1912628089, 3560876779, 147678916, 289980353, 1430735657, 2982436050, 2432909787, 488273237] 227)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.416142619+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([3742637824, 2393688855, 2418972714, 181808579, 1753558068, 4216903029, 2846071812, 2623865654, 1179249079, 2195142486, 3200101857, 2225091668, 2080482658, 3122489215, 2841135168, 1663681059, 3334813869, 927445482, 1514549551] 7)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.417036879+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([26215808, 4246629521, 1490820288, 1534632713, 932788618, 2338374239, 2850164204, 4107536846, 489966450] 13)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.417878985+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([3434080949, 3933294312, 1234710363, 13988071] 135)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.418705302+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([2232126479, 765798295, 1129915079, 2683335813, 2284763196, 1463276885, 2606462432, 1476910741, 1975218153, 1174569292] 232)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.419537122+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([3208745443, 619127717, 4269898969, 2743449924, 4257797120, 1563489087, 444803840, 1235405128, 1359243979, 3035542760, 2994351221, 1874775830, 747699993, 2837939929, 1322477033] 108)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.420371560+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([2835623155, 1741581238, 861795398, 1000376925, 1657848685, 2261476754] 176)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.421549570+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "193605us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.616271630+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "190978us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:51.808701343+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "191942us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:52.002075350+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "191793us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:52.195209745+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "192696us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:52.389344182+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "194412us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:52.585076283+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "189625us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:52.775931994+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "188668us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:52.966033004+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "194867us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopIterConsistent",
      "mutations": [
        "pop_iter_consistent_5f4a46a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:53.162347885+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "190931us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] 0)",
      "hash": "681f2dc1c6ca42fd62f64f5324d36724fecde803"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.884318769+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "109us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.885494312+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.886454941+00:00",
      "status": "failed",
      "tests": 51,
      "discards": 0,
      "time": "100us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.887434006+00:00",
      "status": "failed",
      "tests": 44,
      "discards": 0,
      "time": "101us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.888527193+00:00",
      "status": "failed",
      "tests": 56,
      "discards": 0,
      "time": "107us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.889480407+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "95us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.890360891+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "96us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.891214774+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.892094482+00:00",
      "status": "failed",
      "tests": 50,
      "discards": 0,
      "time": "119us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.893009441+00:00",
      "status": "failed",
      "tests": 57,
      "discards": 0,
      "time": "120us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.894450825+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([1588632292])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.895268317+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2453666282, 1436422942])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.896061917+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([4294967295, 2172710888, 1, 1283043770, 476262498, 3541653171, 2161243942, 1624747402, 3744327965, 2486942098, 1822782417, 0, 1508873656, 1, 2033596098, 2959755784, 608775009, 103300827, 954754492, 267929317, 1898088995])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.896863314+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2868912432, 1764353771, 0, 1057168176, 0, 3547747038, 925926514, 3811484386, 938691623, 4294967295, 671615050, 3879319770, 2567989726, 1980676129, 4146285156, 1, 2604143197, 563694401, 3878611445, 1403786646, 1382245446, 338527256, 2932471293, 3522412678])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.897667346+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([4294967295, 2245873335, 4294967295, 3870970821])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.898406022+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([1, 889180513, 3946449250, 2649397327, 1047575126, 182311998, 1711565638, 651187371])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.899247429+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([58478224, 2216191038, 3074741146, 3681997081, 2096841177, 1022417557, 2909203604, 609848696, 839713326, 1, 0, 3143103021, 2733340451, 4294967295, 3882503238, 3747525210, 605551717, 441319217, 3569472929])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.900017761+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2633060256, 3219109709, 1, 0, 2162644804, 4294967295, 1769014933])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.900821056+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2313913261, 4189658971, 4109974853, 832553442, 2713255565, 1123960745, 4221162542, 1375088258, 312145388, 3647663144, 2657726633, 3248615817, 509287423, 3786105048])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.901612993+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2626004282])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.902785305+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([4011290433, 1932290890, 4151444462, 3975003047, 2230799299])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.903574678+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([3016889751, 1424773607, 1037958883, 93951495, 4103486196, 3280350866, 328603803, 3314313162, 260849644, 986934782, 3526546958, 1180962562, 3715614490])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.904346753+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([952593211, 2074775373, 3422605394, 690953886, 1357783863, 2337898776, 2220334008, 1385774899, 2585906084, 1008382869, 2731292533, 3480211412])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.905118733+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([2368890166, 3687978070, 1668426821, 2317384397, 66466750, 543648482, 2779914662, 4116099608, 2049709483, 628407659, 2865029359, 2620414056, 2501240541])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.905895137+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([969978938, 1224806208, 3476856228, 100377528, 675414010, 1082805577, 2648214920, 4232033956, 4030646929, 4020647127, 295849609, 1865466087, 4035168566, 3392289757, 32461687, 2300353762, 3413067721, 3046686102, 2392254519])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.906661460+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([3490398851, 616545311, 1785337031, 187247463, 2784387578, 148750808, 3462064512, 2932989983, 1863786255, 279136223, 3808491576, 767172773, 746452160, 2455241037, 1472728522, 3599550879, 841904841, 393672057, 3053455700, 4288518707, 295658139])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.907393541+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([3569710513, 4219098179, 2675659255, 2234033225, 1056583980, 678417560, 847018307, 1887953655, 4042699319, 1603748664, 1750997384, 2743172934, 1931999070, 1977799390, 2743135058, 3639467720, 2357166861, 3602768935])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.908191514+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([1545734428, 91927581, 3711833630, 3553050483, 509114624, 2028876987, 1422630234, 150010761, 866202525, 3421887662, 32134273, 1564537793, 1420109649, 1634753704, 2635977994, 3384657843, 2711882147, 2623132917, 2246807276, 3619013683, 3555174194])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.908949382+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([4245528900])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.909719777+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([2485326885, 3283502670, 2760596963, 3477498535, 1211369754, 2058394730, 253645414, 3740924023, 170825105, 4086383000, 1659864889])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:55.910995571+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "258648us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:56.170607123+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "267225us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:56.439055105+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "261190us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:56.701459704+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "258822us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:56.961547219+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "257708us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:57.220542094+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "255797us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:57.477864011+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "257164us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:57.736203263+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "259306us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:57.996748590+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "254924us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "DropImplDropsAll",
      "mutations": [
        "drop_impl_drops_all_37dbda0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:58.252860511+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "252862us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "789974f05b8ad2af8f302185ab75821ff22ae535"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.044932605+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "116us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0] true)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.046068716+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "100us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0] true)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.047031720+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "110us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0] true)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.047950484+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "100us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0] true)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.048803556+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0] true)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.049729532+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0] true)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.050646310+00:00",
      "status": "failed",
      "tests": 72,
      "discards": 0,
      "time": "116us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0, 1] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.051576745+00:00",
      "status": "failed",
      "tests": 69,
      "discards": 0,
      "time": "210us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0, 1] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.052872234+00:00",
      "status": "failed",
      "tests": 77,
      "discards": 0,
      "time": "136us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0, 1] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.053894904+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "94us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0] true)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.055276364+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([4075915030, 1752697401, 213169950, 1691995213, 829526195, 575161145, 381677787, 1459128656, 831805329, 3751013213, 4043115864, 864406466, 1, 1196040339, 3225816446, 2840177316, 4294967295, 3676536116, 0, 1203616575, 1070397194, 484466472, 4294967295, 2917139235] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.056253317+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2328602568, 3445112771, 1028664823, 2037168744, 3062362154, 412566933] true)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.057112146+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([1, 751231835, 3237814611, 1387083930, 1903868760, 2199338033, 1738489330, 1381080063, 1411320693, 2380796967, 140169502] true)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.057931859+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2178276196, 1840074259, 1907401618, 4107332755, 2295828766, 1739366956, 2159131809, 2112113360, 3083930344, 3161597701, 1229998177, 211468122, 3695375108, 149756475, 520074763, 2394966251, 603501339] true)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.058759362+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([6705761, 1401062374, 2674267254, 2790658668, 3603854527, 1048222683, 1519582636, 139253655, 3446755167, 608833661, 2199615231, 536625941, 1831904218, 1, 700794313, 3917406175] true)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.059599568+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([1419745642, 494030158, 2432353731, 1696707503, 3761978136, 3820482688, 1578974830, 574443795, 2186760388, 90553735, 2962679056, 1695220521, 1618992218, 1168464792, 4096168348, 501955714, 1343315923, 2395894040, 4177137565, 3534723842, 3426373883, 2509639028, 2938319454, 1151999248] true)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.060409581+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([3359586167, 2315734464, 1307067370, 373738622, 1084718534, 1190041187, 273724559, 1405585600, 3349732310] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.061245607+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([0, 2686689635, 762406310, 1323984922, 3408366404, 2109904470, 2465675868, 2681033056, 847805192, 1838839670, 2829062308, 163838940, 609416866, 2824664432, 2783985821, 1993759525, 228251894, 1231701435, 2272651750, 711247810, 2389963419, 4208803147, 4294967295] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.062100699+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([3580001638, 1930050518, 4054331411, 1, 0, 571179283, 0, 340888844, 1459845312] true)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.062965230+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([3335634062, 2619163472, 3549617170, 245267092, 4049546469, 3627658061, 3885508266, 3314265028, 0, 4229082368, 2341197695, 4093371155, 3274570542, 1317048651, 1422774463, 1695708247, 1549576604, 2206904121, 1060664683, 2888069942, 0, 467124428, 306607367, 0] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.064200067+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([2277997785, 3695365126] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.065055358+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([4047972604, 2706010533, 3339235884, 1899547757, 3761001545, 2217706072, 4009887019, 3253506407, 605246197, 2300864531, 2424299494, 2225085620, 1557430756, 1755022154, 2330797358, 1726132365, 2114346257, 1462516372, 354182023, 2368278910, 1638240096, 2918388204, 2195843769] true)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.065961432+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([3586828296, 1404089747, 3969151012, 3504590479, 1264560262, 898869579, 3239303981, 1465552572, 1525217803, 2531905597, 1193208856, 4280970680, 2318472939, 3625243121, 912751540, 3571766294, 314459187] true)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.066785187+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([3608759243, 2548838992, 1006748042, 541485602, 2510083991, 352569347, 696850709, 1004121104, 1295964864, 2219530945, 3117627763, 792687988, 1090686860, 2178600556, 4180619425, 2796361515, 4101771518, 4293209277, 3407052109, 2317270025, 136240636, 4106805611, 302943485, 3211537605] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.067608366+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([4138524511, 449960869, 2846587490, 950567406, 1768999567, 2108053776, 2211984787, 1568827210, 1103385506, 900990295, 57403603, 3133491267, 76287638, 2411308704, 2916696634, 593450156, 2960986221, 2979729995] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.068405984+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([2630922066, 2820283406, 3070246203, 2471223485] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.069209894+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([1354468656, 1214584469, 3803354461, 2522895770, 2246893429, 425249610, 4010424283, 1735576490, 655372933, 3736267347, 2775266817, 1845313298, 3108397105, 2656097279, 2109353347, 3103945134, 2213274000, 1314823262] true)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.070068928+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([831786537, 3933008777] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.070895443+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([1286696408, 2768489995, 4198247791, 494347201, 1156818392, 506717310, 969499934, 1656591676, 3887241246, 3419299644] true)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.071707583+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([2110617099, 608510468, 3174808966, 642305342, 664969228, 2128835242, 313523890, 1434994507] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.072939502+00:00",
      "status": "failed",
      "tests": 69,
      "discards": 0,
      "time": "292677us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.366658164+00:00",
      "status": "failed",
      "tests": 69,
      "discards": 0,
      "time": "298704us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.666793554+00:00",
      "status": "failed",
      "tests": 69,
      "discards": 0,
      "time": "293315us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:01.961339575+00:00",
      "status": "failed",
      "tests": 69,
      "discards": 0,
      "time": "298462us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:02.261270376+00:00",
      "status": "failed",
      "tests": 69,
      "discards": 0,
      "time": "293785us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:02.556370418+00:00",
      "status": "failed",
      "tests": 69,
      "discards": 0,
      "time": "299573us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:02.857411005+00:00",
      "status": "failed",
      "tests": 69,
      "discards": 0,
      "time": "295741us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:03.154389084+00:00",
      "status": "failed",
      "tests": 69,
      "discards": 0,
      "time": "307581us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:03.463403968+00:00",
      "status": "failed",
      "tests": 69,
      "discards": 0,
      "time": "298543us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "ClearResizeDropsAll",
      "mutations": [
        "clear_resize_drops_all_4460158_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:03.763197441+00:00",
      "status": "failed",
      "tests": 69,
      "discards": 0,
      "time": "297734us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0, 1] false)",
      "hash": "fc934a5e3ce93006fdd6bf8fc27750468f2605fd"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.622700873+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "112us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.623836739+00:00",
      "status": "failed",
      "tests": 39,
      "discards": 0,
      "time": "104us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.624786883+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.626044793+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "74us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.627155652+00:00",
      "status": "failed",
      "tests": 50,
      "discards": 0,
      "time": "111us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.628081367+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.628976132+00:00",
      "status": "failed",
      "tests": 56,
      "discards": 0,
      "time": "134us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.629925465+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "104us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.630825054+00:00",
      "status": "failed",
      "tests": 43,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "proptest",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.631683308+00:00",
      "status": "failed",
      "tests": 41,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.633216635+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([3649486246, 2175924299, 1211218639, 1339667998, 0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.634079755+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([1974663244, 3898723303, 2291165602, 3264301264, 2943787736, 2751340298, 2479172764, 2840282792, 679682479, 1106837206, 245250718, 3024518462, 926360917, 4008880036, 310271401, 3004537555, 3346087889, 4078537925, 4008462384, 2499002898, 4294967295, 1356931875, 2651157654])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.634889755+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2010772929, 4294967295, 127684955, 2129575246, 4294967295, 3329942158, 3545845115, 2591500685, 1925897264, 541339005, 2315157160, 4099218397, 645569306, 3038181515, 935744290, 2466460969, 2993073821, 4103764065])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.635861364+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2001131339, 3849271216])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.636702519+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([1211759117, 1182283664, 1659273917, 1252783706, 2500701907, 3151640715, 2776692257, 1597932069, 3486039170, 3821623617, 1759257301, 1137925947, 2709660664, 3049404405, 2902457572, 2350019568, 2293003962, 2472301967, 49205281, 1646611453])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.637508741+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([3785622798])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.638337258+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([3599093441, 2808279513, 657693019, 222656979, 1953704183, 3032565918, 2016175500, 2414544960, 200839799, 603121827, 1175949735, 3471879679, 13314534, 595965912, 951161162, 1480875129, 1295322637, 4294967295, 514341597])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.639147528+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([2389030706, 1386029967, 41651047, 3843835403, 1025755600, 3874232931, 392825879, 2601129347, 3458195791, 1, 3639239655, 4294967295, 3998289466, 70415805, 4218744296, 3128791787])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.639983881+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([446119455, 2607654093, 4230853284, 814939762, 4293428969, 1163510473, 1352934820, 254655095, 1592997317, 178462727, 3329019090, 1231463576, 2233405898, 0, 1506219241, 4220959286, 1340469329, 3745193195, 0, 2131055657, 3273997141, 3917038054, 4103339914])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.640776160+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([1447957565, 2646121893, 1032443297, 323447189, 1337438608, 3429407275, 1536661720, 2928345752, 4003075214, 327843666, 3193943016, 1784633135, 2128610080, 2578708146, 23639993, 2587274538, 3377578461, 809415814, 4273284261, 2063851324])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.642287154+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([1081234296, 1776363413, 1553731818, 1817800490, 3801204128, 4246558885, 3765540504, 4049892869, 4280633693, 1273027451, 2216222407, 2330349421, 764013105, 4149472928, 3337902914, 420266529, 4192530801, 3674039446, 1517028037, 134928748, 2238499558])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.643167318+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([3214953360, 3493185622, 3362510148, 1106536409, 2816037053, 3553183633, 1278736243, 483881389, 2659227458, 2236654870, 3996544825, 441184160, 632753220, 868595581, 3794172406, 3190011649, 3325017939, 87826114])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.644004836+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([4227705057, 3710302320, 2087215694, 1643248464, 904902696, 2383169168, 3685152060, 2205319653, 2698347779, 2412879346])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.644839765+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([1186906114, 633827213, 234866145, 975083991, 1417315468, 1951236459, 2260504816, 16014086, 3343932791, 99161113, 1795261458, 100225308, 999599261, 478629916, 3455889474, 1442448044, 3433556731, 2230437711, 4030227346, 3673753290, 2754050192, 817723414, 228371989, 2474030716])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.645710450+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([3310871825, 2245595963, 3264052719, 3829873938, 2914301837, 1413715925, 563188420, 420801663, 2206830894, 2557163647, 208718545, 3264200870, 1477221564, 4260284131, 1346487465, 3046636857, 1110388821, 2239877756, 1872463351, 215810980, 2694437273])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.646511862+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([3833472823])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.647318278+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([3979223154, 1578690254, 3542440805, 631890924, 1199275702, 303813517, 1888840016, 3433930065, 534764556, 3454356475, 3757828493, 130127960, 1484565624, 790615598, 1610448793, 1966767294, 4281151864, 2727323439, 1062438702, 2971986060, 1498356032, 975683891])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.648152241+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([2083933357, 3404930332, 3905797942, 38177045, 4105285847, 755265731, 3685266209])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.648960997+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([3043290651, 3206536914, 895263569, 3295196767, 1604249701, 1075835858, 2989191267, 549800946, 1091611977, 86951380, 2414412937])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.649793726+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([387961035, 3952495618, 2696015638, 2096232796, 932228262, 4014110073, 2785410997, 3302826733, 1131534702, 1086510507, 4088995503])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.651146467+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "260594us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:06.912789564+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "256833us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:07.171096887+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "258145us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:07.430496485+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "258886us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:07.690953272+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "260859us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:07.953121145+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "264583us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:08.218973276+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "265517us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:08.485771145+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "265235us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:08.752502996+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "259674us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    },
    {
      "experiment": "ci-run",
      "workload": "lru",
      "language": "rust",
      "strategy": "hegel",
      "property": "PopDropsKey",
      "mutations": [
        "pop_drops_key_ea64c8f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:04:09.013477371+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "261868us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([0])",
      "hash": "445af26aa172030864cb1fa318e36d163ec00e92"
    }
  ]
}