{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 17:38 UTC",
  "workload_docs": {
    "im-rs": [
      {
        "mutations": [
          "path_next_backtrack_41d99725_1"
        ],
        "tasks": [
          {
            "property": "PathNextBacktrack",
            "witnesses": [
              {
                "test_fn": "witness_path_next_backtrack_case_ordmap_1000"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/bodil/im-rs",
          "commits": [
            "41d9972538d49ffa3964e3a94109619ce053ef36"
          ],
          "commit_subjects": [
            "Fix btree::Node::path_{next/prev}"
          ],
          "summary": "`Node::path_next` returned `Vec::new()` whenever its descent landed on a key the tree didn't contain and the current leaf had no candidate, instead of walking back up to find the next ancestor key. As a result `OrdMap::range(lo..hi)` silently under-counted when `lo` fell past the last key of some leaf node."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/nodes/btree.rs"
          ],
          "locations": [
            {
              "file": "src/nodes/btree.rs"
            }
          ],
          "patch": "patches/path_next_backtrack_41d99725_1.patch"
        },
        "bug": {
          "short_name": "path_next_backtrack",
          "invariant": "`OrdMap::range(lo..hi).count()` must equal `std::collections::BTreeMap::range(lo..hi).count()` for the same key set, regardless of tree shape.",
          "how_triggered": "In `Node::path_next` the `Err(index) → children[index] = None → keys.get(index) = None` arm returns `Vec::new()` instead of backtracking up ancestors. When `lo` lands past the last key of a leaf, the iterator truncates mid-descent and `range().count()` reports fewer keys than the reference."
        }
      },
      {
        "mutations": [
          "range_off_by_one_3f4e01a4_1"
        ],
        "tasks": [
          {
            "property": "RangeOffByOne",
            "witnesses": [
              {
                "test_fn": "witness_range_off_by_one_case_odd_upper_bound"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/bodil/im-rs",
          "commits": [
            "3f4e01a43254fe228d1ce64e47dfaf4edc8f4f19"
          ],
          "commit_subjects": [
            "Fix OrdMap::range including keys outside of requested range if end bound doesn't exist in tree."
          ],
          "summary": "`Node::path_prev` used `keys.get(index)` when the upper bound wasn't present in the tree, which pointed at the key one past `hi` instead of the key just before it. `OrdMap::range(..hi)` therefore leaked the next key into the iteration. The fix uses `keys.get(index - 1)` so the exclusive upper bound is honored."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/nodes/btree.rs"
          ],
          "locations": [
            {
              "file": "src/nodes/btree.rs"
            }
          ],
          "patch": "patches/range_off_by_one_3f4e01a4_1.patch"
        },
        "bug": {
          "short_name": "range_off_by_one",
          "invariant": "`OrdMap::range(..hi)` must never yield a key `k >= hi`.",
          "how_triggered": "`Node::path_prev` uses `keys.get(index)` instead of `keys.get(index - 1)` when the upper bound is absent from the tree, so the iterator leaks the key immediately past `hi`."
        }
      },
      {
        "mutations": [
          "rrb_debug_pop_1209e823_1"
        ],
        "tasks": [
          {
            "property": "RrbDebugPop",
            "witnesses": [
              {
                "test_fn": "witness_rrb_debug_pop_case_release_pop_front"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/bodil/im-rs",
          "commits": [
            "1209e823b633c7ac73ae686896382b7207a907ac"
          ],
          "commit_subjects": [
            "RRB size table: don't pop conditional on cfg(debug_assertions)"
          ],
          "summary": "The `Size::Table` left-pop path put the side-effectful `size_table.pop_front()` call inside a `debug_assert_eq!`. In release builds the entire macro body was compiled out, so the size table never shrank, and later random-access indexing after `pop_front` read stale entries and panicked. The fix hoists the pop above the debug-only assertion."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/nodes/rrb.rs"
          ],
          "locations": [
            {
              "file": "src/nodes/rrb.rs"
            }
          ],
          "patch": "patches/rrb_debug_pop_1209e823_1.patch"
        },
        "bug": {
          "short_name": "rrb_debug_pop",
          "invariant": "After a sequence of `Vector::pop_front` operations, `v.get(i)` must agree with `v.iter().nth(i)` for every valid `i`.",
          "how_triggered": "The `Size::Table` Left-pop arm places the side-effectful `size_table.pop_front()` inside `debug_assert_eq!`. In release builds the entire macro body is compiled out, the size table is never popped, and later random-access indexing consults a stale entry and panics with index-out-of-bounds."
        }
      },
      {
        "mutations": [
          "rrb_density_check_cb431a6_1"
        ],
        "tasks": [
          {
            "property": "RrbDensityCheck",
            "witnesses": [
              {
                "test_fn": "witness_rrb_density_check_case_level2_rrb"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/bodil/im-rs",
          "commits": [
            "cb431a612a39fb7973f7a7218771b5b3fd43d979"
          ],
          "commit_subjects": [
            "Many Vector merging/splitting bug fixes."
          ],
          "summary": "`Node::parent` used `child.is_full()` (a local capacity check) to decide whether to keep compact `Size::Size` accounting for a new parent. At level 2+, a nominally full child whose grandchildren are sparse still warrants the full `Size::Table` accounting — the fix substitutes `is_completely_dense(level - 1)` so sparse grand-children force `Size::Table`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/nodes/rrb.rs"
          ],
          "locations": [
            {
              "file": "src/nodes/rrb.rs"
            }
          ],
          "patch": "patches/rrb_density_check_cb431a6_1.patch"
        },
        "bug": {
          "short_name": "rrb_density_check",
          "invariant": "After `remove`/`split_at`/`append` on a level-2+ RRB tree, `v.get(i)` must agree with `v.iter()` for all indices.",
          "how_triggered": "`Node::parent` uses `child.is_full()` instead of `child.is_completely_dense(level - 1)` to decide whether to keep `Size::Size` accounting. When a level-2 node has a nominally-full child whose grandchildren are sparse, it wrongly stays `Size::Size`, and subsequent index arithmetic lands off-by-several."
        }
      },
      {
        "mutations": [
          "ptr_eq_precedence_f744912_1"
        ],
        "tasks": [
          {
            "property": "PtrEqPrecedence",
            "witnesses": [
              {
                "test_fn": "witness_ptr_eq_precedence_case_diverged_outer"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/bodil/im-rs",
          "commits": [
            "f7449127b83327b82d82690e8333c552014149c8"
          ],
          "commit_subjects": [
            "Fix logic error in Vector::ptr_eq & PartialEq"
          ],
          "summary": "`Vector::ptr_eq` was written as `a && b || c && d || e` without parentheses, so Rust's `&&` precedence caused the final `||` branch to act as a fallback that ignored outer/inner chunk divergence. After `a.set(i, x)` on a clone, `ptr_eq` reduced to comparing the middle tree pointer alone and returned `true`. The fix adds parentheses so all three pointer groups must match."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/vector/mod.rs"
          ],
          "locations": [
            {
              "file": "src/vector/mod.rs"
            }
          ],
          "patch": "patches/ptr_eq_precedence_f744912_1.patch"
        },
        "bug": {
          "short_name": "ptr_eq_precedence",
          "invariant": "After `a.set(i, x)` the cloned vector `b = a.clone()` diverges at index `i`, so `a.ptr_eq(&b)` must be `false`.",
          "how_triggered": "Without parentheses around the final `||`, the `&&` conjunction binds tighter. `ptr_eq` reduces to an identity test on the middle tree pointer alone and silently ignores diverging outer or inner chunks."
        }
      },
      {
        "mutations": [
          "eq_single_chunk_005193a_1"
        ],
        "tasks": [
          {
            "property": "EqSingleChunk",
            "witnesses": [
              {
                "test_fn": "witness_eq_single_chunk_case_small_vec"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/bodil/im-rs",
          "commits": [
            "005193a268e4e9939a50eff0fe6e4f232a1facf4"
          ],
          "commit_subjects": [
            "Fix incomplete `eq` implementation for single chunks."
          ],
          "summary": "The nightly-only `has_specialisation` specialization for `Single == Single` delegated to `cmp_chunk`, which compares chunk *identities* — returning `false` for two structurally-identical-but-distinct chunks. The fix falls through to element-wise comparison when identities differ so that `Vector` equality agrees with iterator equality on all specialisation cfgs."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/vector/mod.rs"
          ],
          "locations": [
            {
              "file": "src/vector/mod.rs"
            }
          ],
          "patch": "patches/eq_single_chunk_005193a_1.patch"
        },
        "bug": {
          "short_name": "eq_single_chunk",
          "invariant": "`PartialEq` on two `Vector<i32>` values holding the same element sequence must return `true`, regardless of internal layout (`Single` vs `Full`, shared or fresh chunks).",
          "how_triggered": "The specialized `Single == Single` arm returns `cmp_chunk(left, right)` directly; `cmp_chunk` returns `false` when the two chunks have distinct identities. Two structurally-different single-chunk vectors with identical elements then compare unequal. Only reachable on the `has_specialisation` nightly cfg — base build uses the fallback `iter().eq()`, which is always correct."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:44.937877742+00:00",
      "status": "failed",
      "tests": 37,
      "discards": 0,
      "time": "56625us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(65..67): got 0 keys, expected 1.\nminimal failing input: (\n    0,\n    0,\n    1,\n)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:44.995964759+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "57366us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(65..67): got 0 keys, expected 1.\nminimal failing input: (\n    0,\n    0,\n    1,\n)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:45.054762091+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "55096us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(65..67): got 0 keys, expected 1.\nminimal failing input: (\n    0,\n    0,\n    1,\n)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:45.111308745+00:00",
      "status": "failed",
      "tests": 37,
      "discards": 0,
      "time": "56986us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(65..67): got 0 keys, expected 1.\nminimal failing input: (\n    0,\n    0,\n    1,\n)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:45.169724108+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "57528us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(65..67): got 0 keys, expected 1.\nminimal failing input: (\n    0,\n    0,\n    1,\n)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:45.228712688+00:00",
      "status": "failed",
      "tests": 37,
      "discards": 0,
      "time": "55991us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(65..67): got 0 keys, expected 1.\nminimal failing input: (\n    0,\n    0,\n    1,\n)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:45.286188737+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "54612us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(65..67): got 0 keys, expected 1.\nminimal failing input: (\n    0,\n    0,\n    1,\n)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:45.342258477+00:00",
      "status": "failed",
      "tests": 37,
      "discards": 0,
      "time": "55547us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(65..67): got 0 keys, expected 1.\nminimal failing input: (\n    0,\n    0,\n    1,\n)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:45.399241573+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "54414us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(65..67): got 0 keys, expected 1.\nminimal failing input: (\n    0,\n    0,\n    1,\n)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:45.455467025+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "55014us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(65..67): got 0 keys, expected 1.\nminimal failing input: (\n    0,\n    0,\n    1,\n)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:45.511958+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "397275us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0 1)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:45.910699492+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "418341us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0 1)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:46.330497046+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "393865us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0 1)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:46.725919521+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "417709us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0 1)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:47.145196823+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "419072us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0 1)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:47.565780579+00:00",
      "status": "failed",
      "tests": 37,
      "discards": 0,
      "time": "439132us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0 1)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:48.006468096+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "419150us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0 1)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:48.427170079+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "418884us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0 1)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:48.847683622+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "418294us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0 1)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:49.267480502+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "323911us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0 1)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:49.593225220+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "991us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:49.595507826+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "969us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:49.597544939+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "974us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:49.599569525+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "970us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:49.601567506+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "972us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:49.603577826+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "961us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:49.605604680+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "968us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:49.607613507+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "972us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:49.609631626+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "968us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:49.611637176+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "988us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:49.613849806+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "873955us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: range(65..67): got 0 keys, expected 1",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:50.489056455+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "281441us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: range(65..67): got 0 keys, expected 1",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:50.771986896+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "279012us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: range(65..67): got 0 keys, expected 1",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:51.052594310+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "278307us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: range(65..67): got 0 keys, expected 1",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:51.332412383+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "276555us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: range(65..67): got 0 keys, expected 1",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:51.610519791+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "278191us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: range(65..67): got 0 keys, expected 1",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:51.890241941+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "284236us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: range(65..67): got 0 keys, expected 1",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:52.175956730+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "287141us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: range(65..67): got 0 keys, expected 1",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:52.464601259+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "284388us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: range(65..67): got 0 keys, expected 1",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PathNextBacktrack",
      "mutations": [
        "path_next_backtrack_41d99725_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:52.750522181+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "283474us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: range(65..67): got 0 keys, expected 1",
      "hash": "581b9059dca4f9b3676748ac2838d7525c09a07f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.206653229+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "454us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(..1) leaked key 2 past upper bound.\nminimal failing input: (\n    1,\n    0,\n)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.208362829+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "261us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(..1) leaked key 2 past upper bound.\nminimal failing input: (\n    1,\n    0,\n)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.209615781+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "252us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(..1) leaked key 2 past upper bound.\nminimal failing input: (\n    1,\n    0,\n)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.210927772+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "329us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(..1) leaked key 2 past upper bound.\nminimal failing input: (\n    1,\n    0,\n)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.212281596+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "351us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(..1) leaked key 2 past upper bound.\nminimal failing input: (\n    1,\n    0,\n)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.213636447+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "539us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(..1) leaked key 2 past upper bound.\nminimal failing input: (\n    1,\n    0,\n)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.215197145+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "493us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(..1) leaked key 2 past upper bound.\nminimal failing input: (\n    1,\n    0,\n)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.216681007+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "591us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(..1) leaked key 2 past upper bound.\nminimal failing input: (\n    1,\n    0,\n)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.218328546+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "571us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(..1) leaked key 2 past upper bound.\nminimal failing input: (\n    1,\n    0,\n)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.219860444+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "179us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: range(..1) leaked key 2 past upper bound.\nminimal failing input: (\n    1,\n    0,\n)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.221405399+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "734us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 0)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.223167193+00:00",
      "status": "failed",
      "tests": 37,
      "discards": 0,
      "time": "742us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 0)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.224905658+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "374us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 0)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.226369316+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "280us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 0)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.227666059+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "320us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 0)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.229042381+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "804us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 0)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.230831442+00:00",
      "status": "failed",
      "tests": 37,
      "discards": 0,
      "time": "740us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 0)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.232587855+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "725us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 0)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.234364503+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "346us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 0)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.235746396+00:00",
      "status": "failed",
      "tests": 39,
      "discards": 0,
      "time": "1051us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (1 0)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.238104312+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (1 1)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.239164490+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (1 0)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.240157068+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (1 0)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.241220482+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (3 0)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.242219611+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (1 1)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.243250545+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (1 0)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.244273920+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (1 1)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.245304162+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (2 0)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.246360962+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (1 1)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.247465627+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (1 0)",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.248768227+00:00",
      "status": "failed",
      "tests": 56,
      "discards": 0,
      "time": "224515us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: index out of bounds: the len is 32 but the index is 32",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.474543833+00:00",
      "status": "failed",
      "tests": 56,
      "discards": 0,
      "time": "230122us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: index out of bounds: the len is 32 but the index is 32",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.706358630+00:00",
      "status": "failed",
      "tests": 56,
      "discards": 0,
      "time": "230168us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: index out of bounds: the len is 32 but the index is 32",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:57.938314014+00:00",
      "status": "failed",
      "tests": 56,
      "discards": 0,
      "time": "231717us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: index out of bounds: the len is 32 but the index is 32",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:58.171519834+00:00",
      "status": "failed",
      "tests": 56,
      "discards": 0,
      "time": "231411us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: index out of bounds: the len is 32 but the index is 32",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:58.404489725+00:00",
      "status": "failed",
      "tests": 56,
      "discards": 0,
      "time": "228485us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: index out of bounds: the len is 32 but the index is 32",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:58.634501929+00:00",
      "status": "failed",
      "tests": 56,
      "discards": 0,
      "time": "221725us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: index out of bounds: the len is 32 but the index is 32",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:58.857687726+00:00",
      "status": "failed",
      "tests": 56,
      "discards": 0,
      "time": "237687us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: index out of bounds: the len is 32 but the index is 32",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:59.097012739+00:00",
      "status": "failed",
      "tests": 56,
      "discards": 0,
      "time": "226556us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: index out of bounds: the len is 32 but the index is 32",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RangeOffByOne",
      "mutations": [
        "range_off_by_one_3f4e01a4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:37:59.325144+00:00",
      "status": "failed",
      "tests": 56,
      "discards": 0,
      "time": "222944us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: index out of bounds: the len is 32 but the index is 32",
      "hash": "f2e9f55d1110ee4ca26f6be10da7b4a56dee3889"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.649989248+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "446us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector::pop_front panicked in release mode.\nminimal failing input: 0",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.651698690+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "422us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector::pop_front panicked in release mode.\nminimal failing input: 0",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.653287248+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "590us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector::pop_front panicked in release mode.\nminimal failing input: 0",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.654906673+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "540us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector::pop_front panicked in release mode.\nminimal failing input: 0",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.656505868+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "491us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector::pop_front panicked in release mode.\nminimal failing input: 0",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.657992649+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "500us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector::pop_front panicked in release mode.\nminimal failing input: 0",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.659554698+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "381us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector::pop_front panicked in release mode.\nminimal failing input: 0",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.660939346+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "408us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector::pop_front panicked in release mode.\nminimal failing input: 0",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.662390266+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "559us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector::pop_front panicked in release mode.\nminimal failing input: 0",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.664001205+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "575us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector::pop_front panicked in release mode.\nminimal failing input: 0",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.666013363+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "161us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.667243685+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "134us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.668376706+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "188us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.669532686+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "172us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.670734238+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "124us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.671846658+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "156us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.673019536+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "155us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.674195183+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "126us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.675303015+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "164us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.676412888+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "158us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.678074844+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.679134908+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.680179447+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.681194834+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "74us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.682231153+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.683265305+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.684347915+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "109us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.685385143+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "101us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.686403990+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "157us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.687481773+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.689073419+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "164924us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector::pop_front panicked in release mode",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:03.855258443+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "165229us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector::pop_front panicked in release mode",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:04.022029340+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "164751us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector::pop_front panicked in release mode",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:04.188179042+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "172552us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector::pop_front panicked in release mode",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:04.362122843+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "165980us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector::pop_front panicked in release mode",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:04.529645337+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "167104us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector::pop_front panicked in release mode",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:04.698209902+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "165823us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector::pop_front panicked in release mode",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:04.865510032+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "165993us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector::pop_front panicked in release mode",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:05.032920108+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "164829us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector::pop_front panicked in release mode",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDebugPop",
      "mutations": [
        "rrb_debug_pop_1209e823_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:05.199193368+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "167285us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector::pop_front panicked in release mode",
      "hash": "8ebe317e6e3565b2bcf09a19bdb28f3792d5e1be"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:09.478478763+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "33755us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector op panicked under buggy RRB density.\nminimal failing input: 0",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:09.513794036+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "49127us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector op panicked under buggy RRB density.\nminimal failing input: 0",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:09.564482224+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "65631us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector op panicked under buggy RRB density.\nminimal failing input: 0",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:09.631680467+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "65781us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector op panicked under buggy RRB density.\nminimal failing input: 0",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:09.698995603+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "87994us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector op panicked under buggy RRB density.\nminimal failing input: 0",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:09.788578106+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "48930us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector op panicked under buggy RRB density.\nminimal failing input: 0",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:09.839127814+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "87862us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector op panicked under buggy RRB density.\nminimal failing input: 0",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:09.928474662+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "65657us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector op panicked under buggy RRB density.\nminimal failing input: 0",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:09.995792768+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "88642us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector op panicked under buggy RRB density.\nminimal failing input: 0",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.086042932+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "53253us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: Vector op panicked under buggy RRB density.\nminimal failing input: 0",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.141490490+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "33403us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.176459188+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "33120us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.211065931+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "34292us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.246780429+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "34410us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.282618361+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "34645us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.318699440+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17072us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.337143330+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "34471us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.372874038+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16961us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.391208375+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "34837us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.427548756+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "33281us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.462922925+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18173us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.482403075+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16768us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.500382207+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16790us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.518400726+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16957us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.536536239+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17023us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.554761633+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16821us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.572806747+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16801us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.590806161+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18243us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.610326328+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18525us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.630280946+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17198us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0)",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:10.649592675+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "360553us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector op panicked under buggy RRB density",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:11.011749638+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "378798us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector op panicked under buggy RRB density",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:11.392366696+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "364835us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector op panicked under buggy RRB density",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:11.758730805+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "381513us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector op panicked under buggy RRB density",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:12.142045719+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "384752us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector op panicked under buggy RRB density",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:12.528466156+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "369507us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector op panicked under buggy RRB density",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:12.899516759+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "389560us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector op panicked under buggy RRB density",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:13.290924364+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "369235us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector op panicked under buggy RRB density",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:13.661806063+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "360592us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector op panicked under buggy RRB density",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "RrbDensityCheck",
      "mutations": [
        "rrb_density_check_cb431a6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:14.024023632+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "366048us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: Vector op panicked under buggy RRB density",
      "hash": "ae58e93faa6e02707776a2b71e15737605a224f5"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.435271269+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "192us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ptr_eq returned true after set(slot=0) diverged the vectors.\nminimal failing input: (\n    1024,\n    0,\n)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.436639891+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "196us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ptr_eq returned true after set(slot=0) diverged the vectors.\nminimal failing input: (\n    2048,\n    0,\n)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.437841878+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "155us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ptr_eq returned true after set(slot=0) diverged the vectors.\nminimal failing input: (\n    0,\n    0,\n)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.439004176+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "173us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ptr_eq returned true after set(slot=0) diverged the vectors.\nminimal failing input: (\n    3072,\n    0,\n)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.440171448+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "161us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ptr_eq returned true after set(slot=0) diverged the vectors.\nminimal failing input: (\n    1024,\n    0,\n)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.441315345+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "184us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ptr_eq returned true after set(slot=0) diverged the vectors.\nminimal failing input: (\n    0,\n    0,\n)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.442441496+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "164us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ptr_eq returned true after set(slot=192) diverged the vectors.\nminimal failing input: (\n    1181,\n    1902,\n)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.443583919+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "280us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ptr_eq returned true after set(slot=832) diverged the vectors.\nminimal failing input: (\n    800,\n    832,\n)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.444847330+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "276us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ptr_eq returned true after set(slot=768) diverged the vectors.\nminimal failing input: (\n    748,\n    768,\n)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.446164206+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "299us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Test failed: ptr_eq returned true after set(slot=640) diverged the vectors.\nminimal failing input: (\n    1655,\n    640,\n)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.448264573+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.449303672+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.450321617+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.451407285+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.452439622+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.453519439+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.454591785+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.455621056+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "95us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.456735981+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.457861751+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "quickcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.459714939+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "34us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.460752187+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.461747975+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.462733761+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.463785363+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.464764686+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.465755565+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.466813324+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.467799836+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.468775542+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "crabcheck failed with counterexample: (0 0)",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.470548195+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "178068us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ptr_eq returned true after set(slot=0) diverged the vectors",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.649800900+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "189047us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ptr_eq returned true after set(slot=0) diverged the vectors",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:18.840326990+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "194278us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ptr_eq returned true after set(slot=0) diverged the vectors",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:19.036070776+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "186075us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ptr_eq returned true after set(slot=0) diverged the vectors",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:19.223704025+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "188675us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ptr_eq returned true after set(slot=0) diverged the vectors",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:19.414069018+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "183430us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ptr_eq returned true after set(slot=0) diverged the vectors",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:19.599176429+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "182484us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ptr_eq returned true after set(slot=0) diverged the vectors",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:19.783205187+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "180750us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ptr_eq returned true after set(slot=0) diverged the vectors",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:19.965526334+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "185449us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ptr_eq returned true after set(slot=0) diverged the vectors",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "PtrEqPrecedence",
      "mutations": [
        "ptr_eq_precedence_f744912_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:20.152463646+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "187443us",
      "error": null,
      "tool": "hegel",
      "counterexample": "hegel found counterexample: Property test failed: ptr_eq returned true after set(slot=0) diverged the vectors",
      "hash": "ea7068581d9432cc1f35b5f2217382e404715c5f"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.403419719+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "211us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.404819721+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "196us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.406010823+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "180us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.407233799+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "223us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.408414190+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "188us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.409633059+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "194us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.410857763+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "179us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.412057175+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "196us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.413258966+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "215us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "proptest",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.414431576+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "190us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.416553600+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "93us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.417666912+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.418778158+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.419831012+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.420881067+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.421972333+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.423031344+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.424072126+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.425176451+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.426210751+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.428142111+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "217us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.429370537+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "233us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.430539357+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "187us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.431726166+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "187us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.432903745+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "185us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.434075981+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "188us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.435269543+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "222us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.436459933+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "185us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.437601738+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "187us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.438788842+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "188us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:24.440762583+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "703406us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:25.145460117+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "706401us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:25.853371031+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "698248us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:26.553265659+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "700881us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:27.255860202+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "710488us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:27.968005512+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "697942us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:28.667712519+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "716508us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:29.385761438+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "700667us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:30.088068303+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "707784us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    },
    {
      "experiment": "ci-run",
      "workload": "im-rs",
      "language": "rust",
      "strategy": "hegel",
      "property": "EqSingleChunk",
      "mutations": [
        "eq_single_chunk_005193a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:38:30.797611512+00:00",
      "status": "passed",
      "tests": 64,
      "discards": 0,
      "time": "716137us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "69ee1254edc6ab8f7151dda56cdc1e7e47392a02"
    }
  ]
}