{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 22:45 UTC",
  "workload_docs": {
    "rstar": [
      {
        "mutations": [
          "min_size_one_log_clamp_44e1bf5_1"
        ],
        "tasks": [
          {
            "property": "MinSizeOneNoPanic",
            "witnesses": [
              {
                "test_fn": "witness_min_size_one_no_panic_case_two_points"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/georust/rstar",
          "commits": [
            "44e1bf54192ad96672a465fcf95025180e540c3d"
          ],
          "commit_subjects": [
            "Fix panic when setting RTreeParams MIN_SIZE to 1"
          ],
          "issues": [
            92
          ],
          "summary": "DrainIterator::new pre-allocates a node stack with `(N as f32).log(MIN_SIZE as f32)` levels, but `log(_, 1.0)` is undefined and yields NaN, which casts to `usize::MAX`-ish — `Vec::with_capacity` panics with `capacity overflow`. The fix clamps the log base to `MIN_SIZE.max(2)` so a single-element minimum doesn't poison the depth estimate."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "rstar/src/algorithm/removal.rs"
          ],
          "locations": [
            {
              "file": "rstar/src/algorithm/removal.rs",
              "line": 102,
              "symbol": "DrainIterator::new"
            }
          ],
          "patch": "patches/min_size_one_log_clamp_44e1bf5_1.patch"
        },
        "bug": {
          "short_name": "min_size_one_log_clamp",
          "invariant": "Removing an element from an `RTree` configured with `MIN_SIZE = 1` does not panic. The depth-estimate inside `DrainIterator::new` must remain finite for any legal `MIN_SIZE`.",
          "how_triggered": "The mutation reverts the clamp `m.max(2)` to plain `m`. With `Params::MIN_SIZE = 1`, `(N as f32).log(1.0)` evaluates to NaN/Inf; the subsequent `as usize` cast saturates to a huge value that `Vec::with_capacity` rejects with `capacity overflow`, panicking on the first call to `tree.remove(_)`."
        }
      },
      {
        "mutations": [
          "bulk_load_clusters_clamp_0139255a_1"
        ],
        "tasks": [
          {
            "property": "BulkLoadSizeCorrect",
            "witnesses": [
              {
                "test_fn": "witness_bulk_load_size_correct_case_log_imprecision",
                "note": "N = 216 (= 6^3 with default MAX_SIZE = 6) hits the log-imprecision case."
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/georust/rstar",
          "commits": [
            "0139255a78ada92277ce0d1025c009254ea5b298"
          ],
          "commit_subjects": [
            "Defend against numerical instability when computing number of clusters (#166)"
          ],
          "prs": [
            166
          ],
          "summary": "OMT bulk loading recursively partitions the input into `number_of_clusters_on_axis` clusters per dimension. For specific input sizes (e.g. `N = MAX_SIZE^k`), the depth calculation `(N as f32).log(MAX_SIZE)` returns `k + eps` instead of `k` exactly; ceil pushes depth one too far, the per-cluster count rounds down to 1, and the recursion never terminates — eventually overflowing the stack."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "rstar/src/algorithm/bulk_load/bulk_load_sequential.rs"
          ],
          "locations": [
            {
              "file": "rstar/src/algorithm/bulk_load/bulk_load_sequential.rs",
              "line": 31,
              "symbol": "bulk_load_recursive"
            }
          ],
          "patch": "patches/bulk_load_clusters_clamp_0139255a_1.patch"
        },
        "bug": {
          "short_name": "bulk_load_clusters_clamp",
          "invariant": "`RTree::bulk_load(points)` terminates and returns a tree containing every input point, even at sizes that hit floating-point imprecision in the cluster-count calculation (notably `N = MAX_SIZE^k` for small k).",
          "how_triggered": "The mutation removes the `.max(2)` clamp from the cluster count, so when log-imprecision yields `number_of_clusters = 1`, the recursion partitions one input slab into one slab and recurses on the same set; depth grows unbounded and the thread stack overflows."
        }
      },
      {
        "mutations": [
          "empty_tree_iter_no_overflow_4b44c03_1"
        ],
        "tasks": [
          {
            "property": "EmptyTreeQueryNoPanic",
            "witnesses": [
              {
                "test_fn": "witness_empty_tree_query_no_panic_case_origin",
                "note": "Regression test #161: `locate_within_distance` on an empty `RTree<[i64; 3]>` previously panicked."
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/georust/rstar",
          "commits": [
            "4b44c0346c030802d5a092cf9001af303423bce4"
          ],
          "commit_subjects": [
            "Revert back to min/max representation of empty AABB (#184)"
          ],
          "prs": [
            184
          ],
          "issues": [
            183
          ],
          "summary": "After PR #162 changed `AABB::new_empty()` from `(max_value, min_value)` to `(one, zero)`, downstream code regressed when merging empty AABBs with negative-coordinate envelopes. PR #184 reverts the empty representation but adds a guard inside the selection iterators: when the root has no children, do not call `should_unpack_parent` (which would compute `distance_2` from the query to the empty AABB and overflow integer coordinates)."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "rstar/src/algorithm/iterators.rs"
          ],
          "locations": [
            {
              "file": "rstar/src/algorithm/iterators.rs",
              "line": 58,
              "symbol": "SelectionIterator::new"
            },
            {
              "file": "rstar/src/algorithm/iterators.rs",
              "line": 140,
              "symbol": "select_nodes"
            },
            {
              "file": "rstar/src/algorithm/iterators.rs",
              "line": 164,
              "symbol": "SelectionIteratorMut::new"
            },
            {
              "file": "rstar/src/algorithm/iterators.rs",
              "line": 246,
              "symbol": "select_nodes_mut"
            }
          ],
          "patch": "patches/empty_tree_iter_no_overflow_4b44c03_1.patch"
        },
        "bug": {
          "short_name": "empty_tree_iter_no_overflow",
          "invariant": "Selection-based queries on an empty `RTree` (e.g. `locate_within_distance` with integer coordinates) do not arithmetic-overflow when computing the distance from the query to the root's empty AABB.",
          "how_triggered": "The patch removes the `!root.children.is_empty()` short-circuit at every entry to `should_unpack_parent`. With an empty tree, the root's AABB is `[i64::MAX..i64::MIN]`; `distance_2` subtracts those (already an overflow) and then squares the difference. Overflow checks (enabled in this workload's release profile) trip a panic; without overflow checks the wrapped distance still differs from the true zero result."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.702765671+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "308us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([[0.0, 0.0], [-0.0, -1.4544242554425947e-185]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.704640122+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "405us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([[0.0, -0.0], [-0.0, -1.1359154295775487e-98]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.706156128+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "213us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([[0.0, 0.0], [-0.0, -1.1851068619179777e-232]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.707395429+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "455us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([[0.0, 0.0], [-2.1865379435738305e-308, -0.0]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.708925028+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "317us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([[0.0, 0.0], [-0.0, -1.4600895759472545e-272]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.710295255+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "322us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([[0.0, 0.0], [0.0, 4.152389064654162e-209]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.711605166+00:00",
      "status": "failed",
      "tests": 44,
      "discards": 0,
      "time": "698us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([[0.0, 0.0], [0.0, -7.104821540089103e-43]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.713363252+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "242us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([[0.0, 0.0], [0.0, 6.654394713560921e-22]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.714591011+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "293us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([[0.0, 0.0], [0.0, 6.3777128447387605e-308]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.715963912+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "166us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([[0.0, 0.0], [0.0, 4.002489585088056e-79]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.717234300+00:00",
      "status": "failed",
      "tests": 97,
      "discards": 0,
      "time": "206us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([0, 0, 0, 1])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.718508878+00:00",
      "status": "failed",
      "tests": 96,
      "discards": 0,
      "time": "131us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([0, 0, 0, 1])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.719654063+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "135us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([0, 0, 0, 1])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.720799452+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "136us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([0, 0, 0, 1])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.721935531+00:00",
      "status": "failed",
      "tests": 84,
      "discards": 0,
      "time": "118us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([0, 0, 0, 1])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.723093683+00:00",
      "status": "failed",
      "tests": 184,
      "discards": 0,
      "time": "217us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([0, 0, 0, 1])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.724408177+00:00",
      "status": "failed",
      "tests": 95,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([0, 0, 0, 1])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.725614142+00:00",
      "status": "failed",
      "tests": 87,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([0, 0, 0, 1])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.726759974+00:00",
      "status": "failed",
      "tests": 59,
      "discards": 0,
      "time": "95us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([0, 0, -1, 0])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.727896573+00:00",
      "status": "failed",
      "tests": 66,
      "discards": 0,
      "time": "102us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([0, 0, 0, -1])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.729146827+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([-414, -25452, 7574, 362])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.730220248+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([-12599, 26245, -3385, 3977])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.731302971+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([31412, 15831, 20971, -27204])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.732381963+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([13411, 26959, -1641, 21249])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.733447714+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([19716, -15961, 1198, 26212])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.734536454+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "62us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([8692, -16910, 29362, 335])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.735595563+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([31057, -10394, -12503, 6758])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.736671038+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([-2287, -32333, -23106, 10037])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.737734696+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([10327, 30169, 20170, 30721])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.738805171+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([-19838, 9212, -21204, 10733])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:06.740138981+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "749019us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([[0.0, 0.0], [0.0, 1.0]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:07.490407678+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "282968us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([[0.0, 0.0], [0.0, 1.0]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:07.775184773+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "275262us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([[0.0, 0.0], [0.0, 1.0]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:08.052364191+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "268525us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([[0.0, 0.0], [0.0, 1.0]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:08.322574676+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "270190us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([[0.0, 0.0], [0.0, 1.0]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:08.594550943+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "271719us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([[0.0, 0.0], [0.0, 1.0]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:08.868052957+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "264890us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([[0.0, 0.0], [0.0, 1.0]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:09.134571889+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "263201us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([[0.0, 0.0], [0.0, 1.0]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:09.399307302+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "267829us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([[0.0, 0.0], [0.0, 1.0]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "MinSizeOneNoPanic",
      "mutations": [
        "min_size_one_log_clamp_44e1bf5_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:09.668824479+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "264347us",
      "error": null,
      "tool": "hegel",
      "counterexample": "([[0.0, 0.0], [0.0, 1.0]])",
      "hash": "fec8a20a5225acca0452f676456ad77374a8e8fb"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:14.082952948+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6695) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:14.241024833+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6704) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:14.389293911+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6718) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:14.550328019+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6736) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:14.760788859+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6755) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:15.008434365+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6774) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:15.244263973+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6789) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:15.488552226+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6806) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:15.697994544+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6827) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:15.921884513+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6841) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.140724384+00:00",
      "status": "passed",
      "tests": 201,
      "discards": 0,
      "time": "273us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.142487398+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "240us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.147355156+00:00",
      "status": "passed",
      "tests": 202,
      "discards": 0,
      "time": "235us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.149459544+00:00",
      "status": "passed",
      "tests": 201,
      "discards": 0,
      "time": "230us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.151017097+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "260us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.152545617+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "235us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.154067003+00:00",
      "status": "passed",
      "tests": 201,
      "discards": 0,
      "time": "263us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.155606642+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "230us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.157167460+00:00",
      "status": "passed",
      "tests": 202,
      "discards": 0,
      "time": "238us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.158763865+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "237us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.160769329+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "118us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.162352189+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "115us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.163830404+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "130us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.165404658+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "112us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.166876321+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "113us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.168398207+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.169798969+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "117us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.173253755+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "119us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.174704409+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "116us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.176184708+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "230us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.178044161+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (6919) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:16.680623528+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (6945) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:17.191813173+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (6974) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:17.702721258+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (6997) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:18.266517125+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (7021) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:18.794238544+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (7041) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:19.293690119+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (7060) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:19.816876965+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (7083) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:20.408772567+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (7110) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "BulkLoadSizeCorrect",
      "mutations": [
        "bulk_load_clusters_clamp_0139255a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:20.946791906+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (7138) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n",
      "hash": "5f21a03f77fefca8f64f997ce76bbc5ea39fa012"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.152183454+00:00",
      "status": "failed",
      "tests": 39,
      "discards": 0,
      "time": "392us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, 0, 0))",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.154288584+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "368us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, 0, 0))",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.155924732+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "483us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, 0, 0))",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.157691053+00:00",
      "status": "failed",
      "tests": 37,
      "discards": 0,
      "time": "356us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, 0, 0))",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.159814035+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "347us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, 0, 0))",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.161542964+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "356us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, 0, 0))",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.163510388+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "306us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, 0, 0))",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.165187465+00:00",
      "status": "failed",
      "tests": 41,
      "discards": 0,
      "time": "352us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, 0, 0))",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.166900945+00:00",
      "status": "failed",
      "tests": 37,
      "discards": 0,
      "time": "451us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, 0, 0))",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "proptest",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.168761931+00:00",
      "status": "failed",
      "tests": 39,
      "discards": 0,
      "time": "347us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, 0, 0))",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.170958110+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.172387344+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "60us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.173845171+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.175393707+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "65us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.176717466+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.178079014+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.179501346+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.181052036+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.182403926+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.183899244+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.185959610+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "60us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-654772656839671038 9187467494277049507 -6460067406098050821)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.187427145+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(8476128408713818713 8251631350953953232 -2601923078375381159)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.188739823+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(2669354982045784119 -4798039792715861935 4850596516214589338)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.190133792+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "112us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(6498277865272018739 -1491996072708495223 575248724764232296)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.191476816+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-6099046912558367186 7851834366756425442 2182651371602388283)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.192816905+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-2844520194210761963 1735135430373981544 -7843373015386530633)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.194443466+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(7463466095370828276 -2172966479793253922 1176074555010234652)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.195775640+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(5207066446146420718 -7841992632041758272 2384425686421696668)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.197149972+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(7846199932861128259 4606577424453437016 -213672546711385374)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.198559740+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(5341797154514950582 -9175968172397315008 -4533521950047062854)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.200505514+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "262660us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.465250643+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "355961us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:30.824434702+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "337851us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:31.164726514+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "275136us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:31.441922466+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "276424us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:31.720359593+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "289527us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:32.011697252+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "264694us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:32.278550531+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "271619us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:32.552216952+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "321563us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    },
    {
      "experiment": "ci-run",
      "workload": "rstar",
      "language": "rust",
      "strategy": "hegel",
      "property": "EmptyTreeQueryNoPanic",
      "mutations": [
        "empty_tree_iter_no_overflow_4b44c03_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T22:45:32.875563033+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "352131us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0)",
      "hash": "ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"
    }
  ]
}