{ "experiment": "ci-run", "generated_at": "2026-04-30 19:41 UTC", "workload_docs": { "slotmap": [ { "mutations": [ "kd_debug_null_format_226c22a_1" ], "tasks": [ { "property": "KeyDataDebugFormat", "witnesses": [ { "test_fn": "witness_key_data_debug_format_case_null_default" }, { "test_fn": "witness_key_data_debug_format_case_null_any_version_seed" }, { "test_fn": "witness_key_data_debug_format_case_non_null" } ] } ], "source": { "repo": "https://github.com/orlp/slotmap", "commits": [ "226c22ab07423fd04818ddbcd3a1f594729206f8" ], "commit_subjects": [ "Update Debug impl for KeyData to nicely format nulls. (#141)" ], "summary": "`KeyData::fmt` printed the raw `{idx}v{version}` pair, so the null sentinel (`idx = u32::MAX`, `version = 1`) rendered as `\"4294967295v1\"` in debug output instead of the expected `\"null\"`. The fix branches on `is_null()` and emits the `\"null\"` string for the sentinel key." }, "injection": { "kind": "marauders", "files": [ "src/lib.rs" ], "locations": [ { "file": "src/lib.rs", "line": 301 } ] }, "bug": { "short_name": "kd_debug_null_format", "invariant": "the `Debug` implementation of `KeyData` must render the null key (`KeyData::null()`, i.e. `idx == u32::MAX`) as the string `\"null\"`; non-null keys must render as `\"{idx}v{version}\"`.\n", "how_triggered": "the fix replaced the raw `write!(f, \"{}v{}\", self.idx, self.version.get())` with an `is_null()` branch that emits `\"null\"` for the sentinel key. The variant restores the single `write!` call, so `format!(\"{:?}\", KeyData::null())` now yields `\"4294967295v1\"` (the null sentinel `(idx=u32::MAX, version=1)` formatted raw) instead of `\"null\"`. The property calls `format!(\"{:?}\", kd)` and compares against the expected string based on `kd.is_null()`.\n" } }, { "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "tasks": [ { "property": "SparseSecondaryNullInsertIgnored", "witnesses": [ { "test_fn": "witness_sparse_secondary_null_insert_ignored_case_small_value" }, { "test_fn": "witness_sparse_secondary_null_insert_ignored_case_zero_value" } ] } ], "source": { "repo": "https://github.com/orlp/slotmap", "commits": [ "2d49bbd4fdb6c329c49ba2ac13a929198760364f" ], "commit_subjects": [ "Reject insertion of null keys into secondary maps." ], "summary": "`SparseSecondaryMap::insert` accepted the null key, storing it in the backing `HashMap>`; subsequent queries for the null key then returned the inserted value, violating the documented \"null keys never map to anything\" invariant. The fix adds an early `if key.is_null() { return None; }` guard." }, "injection": { "kind": "marauders", "files": [ "src/sparse_secondary.rs" ], "locations": [ { "file": "src/sparse_secondary.rs", "line": 273 } ] }, "bug": { "short_name": "sparse_secondary_null_insert_guard", "invariant": "`SparseSecondaryMap::insert(null_key, v)` must be a no-op — returning `None`, leaving `len()` at 0, and leaving `contains_key(null_key)` and `get(null_key)` both false/None.", "how_triggered": "the fix added an early `if key.is_null() { return None; }` guard at the top of `SparseSecondaryMap::insert`. The variant deletes that guard, so the null key's `KeyData { idx: u32::MAX, version: NonZeroU32::new(1) }` is stored in the backing `HashMap>`. The property inserts the default null key, then observes that the map grew to `len() == 1`, `contains_key` returns true, and `get` returns `Some(&value)` — each of which is a `Fail`." } }, { "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "tasks": [ { "property": "SecondaryEntryDoesNotDoubleCount", "witnesses": [ { "test_fn": "witness_secondary_entry_does_not_double_count_case_basic" }, { "test_fn": "witness_secondary_entry_does_not_double_count_case_same_value" } ] } ], "source": { "repo": "https://github.com/orlp/slotmap", "commits": [ "bd32b7d5ee96beef3cc3299b79ea42c340f5ad28" ], "commit_subjects": [ "Fixed possible memory leak in secondary::VacantEntry::insert." ], "summary": "`VacantEntry::insert` unconditionally incremented `num_elems` and `mem::forget`-ed the replaced slot, so inserting over a stale-occupied slot both leaked the previous value and double-counted it in `len()`. The fix matches on the previous slot state and only increments the counter when the slot was truly vacant." }, "injection": { "kind": "marauders", "files": [ "src/secondary.rs" ], "locations": [ { "file": "src/secondary.rs", "line": 1271 } ] }, "bug": { "short_name": "vacant_entry_insert_no_double_count", "invariant": "after `sec.entry(k_new).or_insert(v)` on a `SecondaryMap` where the underlying slot is stale-occupied from an older key version, `sec.len()` must reflect exactly one live element (the newly inserted one), not two. The stale value's drop is owed.", "how_triggered": "the fix `match`es the replaced slot and only bumps `num_elems` if the prior slot was `Vacant`, correctly dropping any `Occupied` slot it replaces. The variant unconditionally increments `num_elems` and `core::mem::forget`s the old slot, so `len()` becomes 2 after inserting via a fresh `VacantEntry` over a stale-occupied slot. The property inserts a key, removes it without dropping the backing secondary slot (another key with the same `idx` but new `version` makes the old secondary slot stale-occupied), then inserts via `entry(...).or_insert(...)` and checks `sec.len() == 1`." } }, { "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "tasks": [ { "property": "SlotmapCloneFromDropsOverwrittenSlot", "witnesses": [ { "test_fn": "witness_slotmap_clone_from_drops_overwritten_slot_case_small" }, { "test_fn": "witness_slotmap_clone_from_drops_overwritten_slot_case_remove_first" }, { "test_fn": "witness_slotmap_clone_from_drops_overwritten_slot_case_remove_last" } ] } ], "source": { "repo": "https://github.com/orlp/slotmap", "commits": [ "5c3fb220071f935f77c4ef33dd4d0e745f28d2d6" ], "commit_subjects": [ "Fix memory leak and panic issue in clone_from. (#137)" ], "summary": "`SlotMap::clone_from` overwrote an Occupied destination slot with a Vacant source slot by writing a new `SlotUnion { next_free }` directly into the destination union, leaving the old `ManuallyDrop` never dropped. The fix adds an explicit `(OccupiedMut, Vacant)` arm that calls `ManuallyDrop::drop` before reusing the slot." }, "injection": { "kind": "marauders", "files": [ "src/basic.rs" ], "locations": [ { "file": "src/basic.rs", "line": 94 } ] }, "bug": { "short_name": "slot_clone_from_drops_occupied", "invariant": "when `SlotMap::clone_from(&source)` overwrites a destination slot that was previously `Occupied`, the old `T` in that slot must be dropped exactly once. No destructors may be leaked, even when the source slot at the same position is `Vacant`.", "how_triggered": "the fix added the `(OccupiedMut, Vacant)` arm that explicitly calls `ManuallyDrop::drop(&mut self.u.value)` before writing the `next_free` union variant. The variant removes that arm, falling back to a pattern-exhaustive match that overwrites `self.u` with a fresh `SlotUnion { next_free }` while the old `ManuallyDrop` still owns a live value — leaking its `Drop`. The property builds a `SlotMap` with `n` elements, removes one (leaving a mix of occupied and vacant slots), clones-into a freshly-allocated `SlotMap`, drops the destination, and asserts that `drops_during_clone_from + drops_after_drop_dest == n` rather than `< n`." } } ] }, "metrics": [ { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.486978006+00:00", "status": "failed", "tests": 34, "discards": 0, "time": "83us", "error": null, "tool": "proptest", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.488244279+00:00", "status": "failed", "tests": 57, "discards": 0, "time": "81us", "error": null, "tool": "proptest", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.489261076+00:00", "status": "failed", "tests": 36, "discards": 0, "time": "63us", "error": null, "tool": "proptest", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.490168591+00:00", "status": "failed", "tests": 58, "discards": 0, "time": "83us", "error": null, "tool": "proptest", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.491060283+00:00", "status": "failed", "tests": 42, "discards": 0, "time": "68us", "error": null, "tool": "proptest", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.491940008+00:00", "status": "failed", "tests": 52, "discards": 0, "time": "76us", "error": null, "tool": "proptest", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.492813944+00:00", "status": "failed", "tests": 45, "discards": 0, "time": "64us", "error": null, "tool": "proptest", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.493745044+00:00", "status": "failed", "tests": 37, "discards": 0, "time": "58us", "error": null, "tool": "proptest", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.494609737+00:00", "status": "failed", "tests": 38, "discards": 0, "time": "63us", "error": null, "tool": "proptest", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.495544472+00:00", "status": "failed", "tests": 41, "discards": 0, "time": "75us", "error": null, "tool": "proptest", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.496509713+00:00", "status": "failed", "tests": 90, "discards": 0, "time": "46us", "error": null, "tool": "quickcheck", "counterexample": "(4294967295 0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.497439871+00:00", "status": "failed", "tests": 95, "discards": 0, "time": "50us", "error": null, "tool": "quickcheck", "counterexample": "(4294967295 0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.498292035+00:00", "status": "failed", "tests": 98, "discards": 0, "time": "50us", "error": null, "tool": "quickcheck", "counterexample": "(4294967295 0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.499254512+00:00", "status": "failed", "tests": 115, "discards": 0, "time": "55us", "error": null, "tool": "quickcheck", "counterexample": "(4294967295 0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.500141447+00:00", "status": "failed", "tests": 96, "discards": 0, "time": "48us", "error": null, "tool": "quickcheck", "counterexample": "(4294967295 0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.501029043+00:00", "status": "failed", "tests": 66, "discards": 0, "time": "25us", "error": null, "tool": "quickcheck", "counterexample": "(4294967295 0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.501919043+00:00", "status": "failed", "tests": 114, "discards": 0, "time": "53us", "error": null, "tool": "quickcheck", "counterexample": "(4294967295 0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.502782603+00:00", "status": "failed", "tests": 76, "discards": 0, "time": "33us", "error": null, "tool": "quickcheck", "counterexample": "(4294967295 0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.503621749+00:00", "status": "failed", "tests": 38, "discards": 0, "time": "26us", "error": null, "tool": "quickcheck", "counterexample": "(4294967295 0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.504510766+00:00", "status": "failed", "tests": 109, "discards": 0, "time": "53us", "error": null, "tool": "quickcheck", "counterexample": "(4294967295 0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.505498300+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "33us", "error": null, "tool": "crabcheck", "counterexample": "(KdIdx(4294967295) 339959002)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.506389241+00:00", "status": "failed", "tests": 23, "discards": 0, "time": "29us", "error": null, "tool": "crabcheck", "counterexample": "(KdIdx(4294967295) 4037544831)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.507244129+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "26us", "error": null, "tool": "crabcheck", "counterexample": "(KdIdx(4294967295) 3554317621)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.508069133+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "28us", "error": null, "tool": "crabcheck", "counterexample": "(KdIdx(4294967295) 1213017836)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.508908088+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "22us", "error": null, "tool": "crabcheck", "counterexample": "(KdIdx(4294967295) 2399839787)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.509759200+00:00", "status": "failed", "tests": 8, "discards": 0, "time": "24us", "error": null, "tool": "crabcheck", "counterexample": "(KdIdx(4294967295) 298111405)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.510623822+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "30us", "error": null, "tool": "crabcheck", "counterexample": "(KdIdx(4294967295) 3014872104)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.511600369+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "37us", "error": null, "tool": "crabcheck", "counterexample": "(KdIdx(4294967295) 1897021368)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.512451843+00:00", "status": "failed", "tests": 22, "discards": 0, "time": "26us", "error": null, "tool": "crabcheck", "counterexample": "(KdIdx(4294967295) 2409602164)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.513278429+00:00", "status": "failed", "tests": 7, "discards": 0, "time": "35us", "error": null, "tool": "crabcheck", "counterexample": "(KdIdx(4294967295) 2658200907)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:37.514278701+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "752926us", "error": null, "tool": "hegel", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:38.268293004+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "151459us", "error": null, "tool": "hegel", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:38.421220005+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "150313us", "error": null, "tool": "hegel", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:38.572910667+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "150806us", "error": null, "tool": "hegel", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:38.725114245+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "154034us", "error": null, "tool": "hegel", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:38.880751105+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "153386us", "error": null, "tool": "hegel", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:39.035733041+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "149929us", "error": null, "tool": "hegel", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:39.187116472+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "153566us", "error": null, "tool": "hegel", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:39.342277567+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "150183us", "error": null, "tool": "hegel", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "KeyDataDebugFormat", "mutations": [ "kd_debug_null_format_226c22a_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:39.493907420+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "154107us", "error": null, "tool": "hegel", "counterexample": "(idx=4294967295 version_seed=0)", "hash": "5b80e59134efd37c1c99ea5247a524f9fa639261" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.590504958+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "72us", "error": null, "tool": "proptest", "counterexample": "(value=3379463294)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.591743590+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "68us", "error": null, "tool": "proptest", "counterexample": "(value=2677537735)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.592822537+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "65us", "error": null, "tool": "proptest", "counterexample": "(value=2987730156)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.593848046+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "61us", "error": null, "tool": "proptest", "counterexample": "(value=901915839)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.594759877+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "61us", "error": null, "tool": "proptest", "counterexample": "(value=3043625754)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.595648385+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "64us", "error": null, "tool": "proptest", "counterexample": "(value=2179866913)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.596574307+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "84us", "error": null, "tool": "proptest", "counterexample": "(value=1681407780)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.597468363+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "66us", "error": null, "tool": "proptest", "counterexample": "(value=4087364989)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.598395737+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "59us", "error": null, "tool": "proptest", "counterexample": "(value=2218722542)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.599272863+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "60us", "error": null, "tool": "proptest", "counterexample": "(value=2015539038)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.600404753+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "22us", "error": null, "tool": "quickcheck", "counterexample": "(0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.601329573+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "17us", "error": null, "tool": "quickcheck", "counterexample": "(0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.602172198+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "22us", "error": null, "tool": "quickcheck", "counterexample": "(0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.603079598+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "29us", "error": null, "tool": "quickcheck", "counterexample": "(0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.603942002+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "14us", "error": null, "tool": "quickcheck", "counterexample": "(0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.604861309+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "23us", "error": null, "tool": "quickcheck", "counterexample": "(0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.605721680+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "19us", "error": null, "tool": "quickcheck", "counterexample": "(0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.606582802+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "25us", "error": null, "tool": "quickcheck", "counterexample": "(0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.607433499+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "18us", "error": null, "tool": "quickcheck", "counterexample": "(0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.608318446+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "21us", "error": null, "tool": "quickcheck", "counterexample": "(0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.609385471+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "19us", "error": null, "tool": "crabcheck", "counterexample": "(17748108547057006207)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.610262336+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "13us", "error": null, "tool": "crabcheck", "counterexample": "(2168155268119606091)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.611140448+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "17us", "error": null, "tool": "crabcheck", "counterexample": "(16215694758530886584)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.611987473+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "20us", "error": null, "tool": "crabcheck", "counterexample": "(15915454588917116042)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.612884734+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "15us", "error": null, "tool": "crabcheck", "counterexample": "(5620511593316345205)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.613717248+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "13us", "error": null, "tool": "crabcheck", "counterexample": "(9979787890138832961)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.614585406+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "70us", "error": null, "tool": "crabcheck", "counterexample": "(13129528185651667474)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.615440373+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "15us", "error": null, "tool": "crabcheck", "counterexample": "(11761950283611080647)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.616293299+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "17us", "error": null, "tool": "crabcheck", "counterexample": "(16600906837292018109)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.617108978+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "18us", "error": null, "tool": "crabcheck", "counterexample": "(14305499836391763301)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.618227945+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "132574us", "error": null, "tool": "hegel", "counterexample": "(value=0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.751819189+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "134135us", "error": null, "tool": "hegel", "counterexample": "(value=0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:41.887422353+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "133536us", "error": null, "tool": "hegel", "counterexample": "(value=0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:42.022275909+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "136187us", "error": null, "tool": "hegel", "counterexample": "(value=0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:42.160078053+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "132277us", "error": null, "tool": "hegel", "counterexample": "(value=0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:42.293703664+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "136643us", "error": null, "tool": "hegel", "counterexample": "(value=0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:42.431630291+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "135016us", "error": null, "tool": "hegel", "counterexample": "(value=0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:42.568005902+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "132401us", "error": null, "tool": "hegel", "counterexample": "(value=0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:42.701692636+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "136129us", "error": null, "tool": "hegel", "counterexample": "(value=0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SparseSecondaryNullInsertIgnored", "mutations": [ "sparse_secondary_null_insert_guard_2d49bbd_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:42.839152752+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "141234us", "error": null, "tool": "hegel", "counterexample": "(value=0)", "hash": "a0f81216fb5b1b7b01d96a7495b89ca0dc106f18" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.913981554+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "78us", "error": null, "tool": "proptest", "counterexample": "(first_value=0 second_value=1316730527)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.915198734+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "64us", "error": null, "tool": "proptest", "counterexample": "(first_value=0 second_value=3454120820)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.916109924+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "57us", "error": null, "tool": "proptest", "counterexample": "(first_value=0 second_value=2418506549)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.917048421+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "62us", "error": null, "tool": "proptest", "counterexample": "(first_value=0 second_value=486306282)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.917975900+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "69us", "error": null, "tool": "proptest", "counterexample": "(first_value=0 second_value=1155573061)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.918864863+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "68us", "error": null, "tool": "proptest", "counterexample": "(first_value=0 second_value=692732046)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.919772102+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "60us", "error": null, "tool": "proptest", "counterexample": "(first_value=0 second_value=3820123667)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.920663619+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "64us", "error": null, "tool": "proptest", "counterexample": "(first_value=0 second_value=2358313928)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.921596246+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "59us", "error": null, "tool": "proptest", "counterexample": "(first_value=0 second_value=297218963)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.922472280+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "63us", "error": null, "tool": "proptest", "counterexample": "(first_value=0 second_value=683453603)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.923735373+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "21us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.924638037+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "15us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.925474712+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "14us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.926303207+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "15us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.927107595+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "15us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.927999142+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "20us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.928829458+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "16us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.929715717+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "15us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.930532504+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "14us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.931428077+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "13us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.932635638+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "19us", "error": null, "tool": "crabcheck", "counterexample": "(151693011 1544200791)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.933457212+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "14us", "error": null, "tool": "crabcheck", "counterexample": "(3603546903 2357309396)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.934331793+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "22us", "error": null, "tool": "crabcheck", "counterexample": "(506484706 484471084)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.935144724+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "16us", "error": null, "tool": "crabcheck", "counterexample": "(331555559 3719189069)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.936013457+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "19us", "error": null, "tool": "crabcheck", "counterexample": "(903636914 3026752657)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.936849983+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "14us", "error": null, "tool": "crabcheck", "counterexample": "(4067646015 275017342)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.937669524+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "23us", "error": null, "tool": "crabcheck", "counterexample": "(3363187065 2854946136)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.938499911+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "14us", "error": null, "tool": "crabcheck", "counterexample": "(3429533037 1101122470)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.939400120+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "19us", "error": null, "tool": "crabcheck", "counterexample": "(1575321870 1248371244)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.940222265+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "13us", "error": null, "tool": "crabcheck", "counterexample": "(2057145355 1490111903)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:44.941449164+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "150403us", "error": null, "tool": "hegel", "counterexample": "(first_value=0 second_value=0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:45.092912022+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "148263us", "error": null, "tool": "hegel", "counterexample": "(first_value=0 second_value=0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:45.242594180+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "146125us", "error": null, "tool": "hegel", "counterexample": "(first_value=0 second_value=0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:45.390133635+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "146391us", "error": null, "tool": "hegel", "counterexample": "(first_value=0 second_value=0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:45.537975405+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "151052us", "error": null, "tool": "hegel", "counterexample": "(first_value=0 second_value=0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:45.690382206+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "145307us", "error": null, "tool": "hegel", "counterexample": "(first_value=0 second_value=0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:45.837072332+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "151191us", "error": null, "tool": "hegel", "counterexample": "(first_value=0 second_value=0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:45.989788148+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "155380us", "error": null, "tool": "hegel", "counterexample": "(first_value=0 second_value=0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:46.146599504+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "150847us", "error": null, "tool": "hegel", "counterexample": "(first_value=0 second_value=0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SecondaryEntryDoesNotDoubleCount", "mutations": [ "vacant_entry_insert_no_double_count_bd32b7d_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:46.298836851+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "145783us", "error": null, "tool": "hegel", "counterexample": "(first_value=0 second_value=0)", "hash": "94085b380c097f06a3939d8dfaf47fb8f8291167" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.408343411+00:00", "status": "failed", "tests": 17, "discards": 0, "time": "74us", "error": null, "tool": "proptest", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.409575614+00:00", "status": "failed", "tests": 17, "discards": 0, "time": "61us", "error": null, "tool": "proptest", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.410621128+00:00", "status": "failed", "tests": 14, "discards": 0, "time": "56us", "error": null, "tool": "proptest", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.411619321+00:00", "status": "failed", "tests": 13, "discards": 0, "time": "62us", "error": null, "tool": "proptest", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.412502326+00:00", "status": "failed", "tests": 16, "discards": 0, "time": "51us", "error": null, "tool": "proptest", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.413408874+00:00", "status": "failed", "tests": 17, "discards": 0, "time": "55us", "error": null, "tool": "proptest", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.414284428+00:00", "status": "failed", "tests": 16, "discards": 0, "time": "51us", "error": null, "tool": "proptest", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.415136686+00:00", "status": "failed", "tests": 17, "discards": 0, "time": "55us", "error": null, "tool": "proptest", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.416047682+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "54us", "error": null, "tool": "proptest", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "proptest", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.416912659+00:00", "status": "failed", "tests": 17, "discards": 0, "time": "52us", "error": null, "tool": "proptest", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.418323109+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "23us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.419139305+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "15us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.419984744+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "16us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.420835095+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "19us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.421688365+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "15us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.422600297+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "23us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.423469025+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "18us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.424311645+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "16us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.425138962+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "23us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "quickcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.426034450+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "19us", "error": null, "tool": "quickcheck", "counterexample": "(0 0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.427440808+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "28us", "error": null, "tool": "crabcheck", "counterexample": "(43 182)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.428329096+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "20us", "error": null, "tool": "crabcheck", "counterexample": "(80 101)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.429153188+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "19us", "error": null, "tool": "crabcheck", "counterexample": "(99 129)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.429989258+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "26us", "error": null, "tool": "crabcheck", "counterexample": "(4 202)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.430883523+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "17us", "error": null, "tool": "crabcheck", "counterexample": "(58 85)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.431722829+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "20us", "error": null, "tool": "crabcheck", "counterexample": "(186 3)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.432555914+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "17us", "error": null, "tool": "crabcheck", "counterexample": "(28 231)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.433446024+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "23us", "error": null, "tool": "crabcheck", "counterexample": "(10 214)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.434279796+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "20us", "error": null, "tool": "crabcheck", "counterexample": "(247 56)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "crabcheck", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.435145564+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "29us", "error": null, "tool": "crabcheck", "counterexample": "(11 0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.436479562+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "146642us", "error": null, "tool": "hegel", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.584241140+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "148291us", "error": null, "tool": "hegel", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.733902282+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "152202us", "error": null, "tool": "hegel", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:48.887518593+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "151448us", "error": null, "tool": "hegel", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:49.040408040+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "155298us", "error": null, "tool": "hegel", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:49.197090403+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "151825us", "error": null, "tool": "hegel", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:49.350501912+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "152335us", "error": null, "tool": "hegel", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:49.504236383+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "154066us", "error": null, "tool": "hegel", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:49.659667144+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "155367us", "error": null, "tool": "hegel", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" }, { "experiment": "ci-run", "workload": "slotmap", "language": "rust", "strategy": "hegel", "property": "SlotmapCloneFromDropsOverwrittenSlot", "mutations": [ "slot_clone_from_drops_occupied_5c3fb22_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:49.816585173+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "156988us", "error": null, "tool": "hegel", "counterexample": "(n_raw=0 remove_raw=0)", "hash": "f4f014c678d70b632551c9e3c97e22dff3f170dd" } ] }