{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 19:41 UTC",
  "workload_docs": {
    "rangemap": [
      {
        "mutations": [
          "coalesce_contiguous_d1999f4_1"
        ],
        "tasks": [
          {
            "property": "CoalesceNoAdjacentSameValue",
            "witnesses": [
              {
                "test_fn": "witness_coalesce_no_adjacent_same_value_case_replace_middle"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jeffparsons/rangemap",
          "commits": [
            "d1999f48003b43ec7ed598c9497b859a8302b897"
          ],
          "commit_subjects": [
            "Fix coalescing of contiguous ranges"
          ],
          "summary": "The insert path used `.take(2)` when scanning preceding ranges for coalescing; the buggy `.take(1)` only considers the single range immediately to the left, so when an earlier insert has split an older range into two pieces, the coalescing step misses the older-older piece and leaves two adjacent ranges with the same value."
        },
        "injection": {
          "kind": "marauders",
          "files": [
            "src/map.rs"
          ],
          "locations": [
            {
              "file": "src/map.rs",
              "line": 284
            }
          ]
        },
        "bug": {
          "short_name": "coalesce_contiguous",
          "invariant": "After any sequence of `insert` calls the map must not contain two adjacent ranges that share the same value — the data structure's core coalescing invariant.",
          "how_triggered": "the fix changed `.take(2)` to `.take(1)` on the reverse-iteration candidate window. With `.take(1)` the insert only ever considers the single range immediately to the left of the new one. If a preceding insert has split an older range into two pieces, the mutation misses the older-older piece, and a freshly-replacing insert that makes the trailing piece share a value with the piece two steps back leaves two uncoalesced adjacent ranges. The witness inserts `1..3 => 0`, `3..5 => 1`, then overwrites `3..5 => 0`; the base coalesces into `1..5 => 0`, the mutation leaves both `1..3 => 0` and `3..5 => 0`."
        }
      },
      {
        "mutations": [
          "partialeq_map_b3a59e6_1"
        ],
        "tasks": [
          {
            "property": "PartialEqMatchesIterEq",
            "witnesses": [
              {
                "test_fn": "witness_partial_eq_matches_iter_eq_case_same_start_different_end"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jeffparsons/rangemap",
          "commits": [
            "b3a59e6641a9e3869791f781abbae98f828f91c9"
          ],
          "commit_subjects": [
            "Fix PartialEq implementation for RangeMap"
          ],
          "summary": "`RangeMap::PartialEq` delegated to `self.btm == other.btm`. The inner `BTreeMap` keys are `RangeStartWrapper`, which orders and compares only on `range.start`, so maps with matching starts but different ends (e.g. `{1..3 => 0}` vs `{1..4 => 0}`) compared equal. The fix switches to `self.iter().eq(other.iter())`."
        },
        "injection": {
          "kind": "marauders",
          "files": [
            "src/map.rs"
          ],
          "locations": [
            {
              "file": "src/map.rs",
              "line": 60,
              "symbol": "impl PartialEq for RangeMap"
            }
          ]
        },
        "bug": {
          "short_name": "partialeq_map",
          "invariant": "`a == b` must iff `a.iter().eq(b.iter())`. Two maps that differ in any stored range or value must not compare equal.",
          "how_triggered": "the pre-b3a59e6 impl delegated to `self.btm == other.btm`. The inner `BTreeMap` keys are `RangeStartWrapper` which orders solely by `range.start`, so `{1..3 => 0}` and `{1..4 => 0}` hash to identical keys and the BTreeMap equality coincidentally also compares values, *but* for the *keys* themselves BTreeMap only consults `PartialEq` of the wrapper — which in turn compares only the start. End/value mismatches silently slip through. The fix replaces this with `self.iter().eq(other.iter())`."
        }
      },
      {
        "mutations": [
          "inclusive_equality_a6cdac3_1"
        ],
        "tasks": [
          {
            "property": "InclusiveEqMatchesIterEq",
            "witnesses": [
              {
                "test_fn": "witness_inclusive_eq_matches_iter_eq_case_same_start_different_end"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jeffparsons/rangemap",
          "commits": [
            "a6cdac3e99e747c9ec80b4ef238e1480e63927fb"
          ],
          "commit_subjects": [
            "Fix RangeInclusiveMap equality comparison"
          ],
          "summary": "Same bug class as `partialeq_map` but for `RangeInclusiveMap`: the pre-fix impl compared inner `BTreeMap`s whose keys order solely on `range.start`, so inclusive maps with matching starts but different ends compared equal. The fix delegates to iterator equality."
        },
        "injection": {
          "kind": "marauders",
          "files": [
            "src/inclusive_map.rs"
          ],
          "locations": [
            {
              "file": "src/inclusive_map.rs",
              "line": 73,
              "symbol": "impl PartialEq for RangeInclusiveMap"
            }
          ]
        },
        "bug": {
          "short_name": "inclusive_equality",
          "invariant": "identical to `partialeq_map` but for the inclusive-range variant: `a == b` iff `a.iter().eq(b.iter())`.",
          "how_triggered": "same mechanism — pre-a6cdac3 the impl reads `self.btm == other.btm` and compares BTreeMap keys via a start-only wrapper. The witness uses `{0..=5 => 0}` vs. `{0..=2 => 0}` which share a start but differ in end and therefore in iter-equality but not in the buggy `==`."
        }
      },
      {
        "mutations": [
          "overlapping_backwards_6df612f_1"
        ],
        "tasks": [
          {
            "property": "OverlappingReversible",
            "witnesses": [
              {
                "test_fn": "witness_overlapping_reversible_case_trailing_non_overlap"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/jeffparsons/rangemap",
          "commits": [
            "6df612f45d6023cab8eeec69e10fe794c70eacd8"
          ],
          "commit_subjects": [
            "Fixes overlapping backwards iterator"
          ],
          "summary": "`Overlapping::next_back` used a single `if let Some(_)` followed by a start-bound check, terminating the iterator when the first reverse candidate's start exceeded the query end. The fix replaces it with `while let Some(_)` so non-overlapping trailing ranges are skipped instead of ending iteration."
        },
        "injection": {
          "kind": "marauders",
          "files": [
            "src/map.rs"
          ],
          "locations": [
            {
              "file": "src/map.rs",
              "line": 832,
              "symbol": "impl DoubleEndedIterator for Overlapping::next_back"
            }
          ]
        },
        "bug": {
          "short_name": "overlapping_backwards",
          "invariant": "reverse iteration of `Overlapping` must yield the same set of ranges as forward iteration. In particular, if the inner BTreeMap's reverse cursor lands on a range whose start is past the query end, `next_back` must *skip* that range and keep walking backwards — not bail out.",
          "how_triggered": "the pre-6df612f impl uses a single `if let Some(_) = next_back()` followed by a start-bound check; if the check fails it returns `None` and the whole iterator terminates. The fix turns this into `while let Some(_)` so non-overlapping trailing ranges are skipped over. The witness stores `0..5` and `10..15`, queries `0..7`, and calls `next_back()`: forward yields `(0..5)`, base's reverse also yields `(0..5)` (skipping the trailing `10..15`), the mutation returns `None` immediately because the first reverse candidate is `10..15` whose start exceeds the query end."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.501828241+00:00",
      "status": "failed",
      "tests": 172,
      "discards": 0,
      "time": "336us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(7, 14, 0), (11, 13, -2), (13, 14, -2)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.503582234+00:00",
      "status": "failed",
      "tests": 148,
      "discards": 0,
      "time": "342us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(1, 8, 2), (8, 9, 0), (8, 9, 2)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.504993233+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "109us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(0, 4, 0), (2, 3, -2), (3, 4, -2)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.506240833+00:00",
      "status": "failed",
      "tests": 64,
      "discards": 0,
      "time": "170us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(6, 11, -2), (11, 12, 0), (11, 13, -2)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.507497446+00:00",
      "status": "failed",
      "tests": 89,
      "discards": 0,
      "time": "220us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(0, 4, 2), (4, 5, 0), (4, 5, 2)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.508839434+00:00",
      "status": "failed",
      "tests": 100,
      "discards": 0,
      "time": "208us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(10, 14, -2), (14, 15, 0), (14, 15, -2)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.510189885+00:00",
      "status": "failed",
      "tests": 67,
      "discards": 0,
      "time": "167us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(1, 7, -2), (7, 8, 0), (7, 8, -2)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.511420069+00:00",
      "status": "failed",
      "tests": 81,
      "discards": 0,
      "time": "188us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(9, 14, 0), (14, 15, 1), (14, 15, 0)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.512760955+00:00",
      "status": "failed",
      "tests": 130,
      "discards": 0,
      "time": "289us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(0, 1, -1), (1, 2, 0), (1, 2, -1)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.514097586+00:00",
      "status": "failed",
      "tests": 87,
      "discards": 0,
      "time": "240us",
      "error": null,
      "tool": "proptest",
      "counterexample": "([(1, 8, 0), (1, 7, -2), (7, 8, -2)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.515498931+00:00",
      "status": "failed",
      "tests": 57,
      "discards": 0,
      "time": "118us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(8, 10, 0), (10, 15, 1), (12, 20, 0), (15, 23, -1), (10, 15, 0), (0, 3, 1)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.516762895+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(3, 4, 3), (0, 7, 2), (13, 18, -1), (7, 10, 3), (1, 2, -3), (6, 14, -1), (2, 4, -3)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.517904990+00:00",
      "status": "failed",
      "tests": 67,
      "discards": 0,
      "time": "116us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(0, 8, -3), (1, 7, -2), (15, 23, -1), (1, 2, -3)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.519116196+00:00",
      "status": "failed",
      "tests": 43,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(12, 16, 0), (5, 12, -1), (2, 7, 0), (0, 6, 3), (6, 7, 1), (6, 10, -1), (12, 14, -1)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.520334052+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(7, 13, -1), (3, 11, 0), (4, 11, 0), (3, 11, 0), (12, 17, 2), (12, 13, -1)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.521485851+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(5, 12, 3), (1, 8, 2), (2, 5, 0), (3, 7, 0), (11, 16, 0), (7, 15, 0), (14, 16, 3)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.522697328+00:00",
      "status": "failed",
      "tests": 187,
      "discards": 0,
      "time": "314us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(0, 8, -2), (2, 3, -1), (3, 6, -1)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.524109128+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(13, 20, 1), (9, 14, -1), (14, 19, -1), (2, 9, 1), (3, 5, -1), (8, 11, -1)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.525344610+00:00",
      "status": "failed",
      "tests": 92,
      "discards": 0,
      "time": "158us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(0, 1, 0), (1, 6, -3), (2, 9, 2), (3, 4, 1), (1, 3, 0), (2, 7, -2), (2, 7, 1)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.526609636+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "([(5, 13, -2), (15, 17, 1), (0, 3, 0), (8, 11, -3), (11, 13, -3), (12, 16, -2)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.527833010+00:00",
      "status": "failed",
      "tests": 54,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(12, 16, 0), (4, 12, 0), (1, 8, 3), (15, 19, 1), (3, 11, 1), (11, 14, 1)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.529013331+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(6, 10, 3), (7, 15, -3), (11, 16, 3), (14, 22, -2), (11, 16, -3), (9, 10, 1), (0, 1, 2)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.530106855+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(6, 9, 2), (3, 9, 0), (4, 9, -3), (4, 5, 0), (15, 18, -3), (12, 20, 1)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.531221460+00:00",
      "status": "failed",
      "tests": 79,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(0, 4, -1), (14, 17, 0), (8, 12, -2), (3, 9, -3), (0, 3, 2), (9, 17, -3)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.532368201+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(13, 21, 3), (14, 16, 1), (14, 21, 3), (7, 11, 0), (15, 21, -3)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.533466122+00:00",
      "status": "failed",
      "tests": 67,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(9, 16, -2), (4, 10, 3), (9, 10, 1), (4, 6, 2), (11, 14, -1), (6, 10, 0), (10, 14, 0)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.534596449+00:00",
      "status": "failed",
      "tests": 44,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(10, 11, -1), (14, 19, 3), (3, 8, 0), (4, 5, 3), (4, 10, 0), (1, 2, 0)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.535704545+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(15, 23, -3), (14, 22, 0), (6, 13, 3), (4, 9, -1), (4, 11, -3), (8, 10, 2), (10, 14, 2)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.536797497+00:00",
      "status": "failed",
      "tests": 159,
      "discards": 0,
      "time": "118us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(0, 5, 1), (6, 14, 3), (6, 8, 3), (6, 7, 0), (5, 6, 0), (7, 12, 0), (14, 22, 2)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.537983217+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "([(1, 4, -3), (9, 11, 3), (4, 11, 3), (6, 11, 1), (14, 16, 0), (4, 9, -3)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:42.539194883+00:00",
      "status": "failed",
      "tests": 214,
      "discards": 0,
      "time": "1153070us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:43.693665037+00:00",
      "status": "failed",
      "tests": 214,
      "discards": 0,
      "time": "572283us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:44.267714471+00:00",
      "status": "failed",
      "tests": 214,
      "discards": 0,
      "time": "571348us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:44.840853601+00:00",
      "status": "failed",
      "tests": 214,
      "discards": 0,
      "time": "572464us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:45.415083450+00:00",
      "status": "failed",
      "tests": 214,
      "discards": 0,
      "time": "572031us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:45.988860182+00:00",
      "status": "failed",
      "tests": 214,
      "discards": 0,
      "time": "569642us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:46.560255084+00:00",
      "status": "failed",
      "tests": 214,
      "discards": 0,
      "time": "574831us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:47.136895908+00:00",
      "status": "failed",
      "tests": 214,
      "discards": 0,
      "time": "573548us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:47.712244257+00:00",
      "status": "failed",
      "tests": 214,
      "discards": 0,
      "time": "572864us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "CoalesceNoAdjacentSameValue",
      "mutations": [
        "coalesce_contiguous_d1999f4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:48.286952347+00:00",
      "status": "failed",
      "tests": 214,
      "discards": 0,
      "time": "606974us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])",
      "hash": "a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:52.994152161+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "111us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:52.995641405+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "166us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:52.996909043+00:00",
      "status": "failed",
      "tests": 30,
      "discards": 0,
      "time": "93us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(8, 14, 0)] b=[(8, 15, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:52.998130204+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "99us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:52.999313489+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "105us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.000520238+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "117us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.001724554+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "104us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.002926486+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.004058406+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "110us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.005263964+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "99us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.006677015+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(6, 7, 3), (8, 12, -3), (8, 13, -1)] b=[(6, 8, 3), (8, 12, -3), (8, 13, -1)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.007838679+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(9, 11, 2), (5, 8, 1)] b=[(9, 12, 2), (5, 8, 1)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.008948065+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(4, 9, 0)] b=[(4, 10, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.010207912+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(4, 8, 1), (15, 22, 0), (2, 6, 1), (0, 7, 0)] b=[(4, 11, 1), (15, 22, 0), (2, 6, 1), (0, 7, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.011377817+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(7, 15, -2), (14, 17, 2)] b=[(7, 15, -2), (14, 21, 2)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.012568574+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(15, 18, 0), (0, 6, 0), (1, 6, 0), (5, 10, 0)] b=[(15, 21, 0), (0, 6, 0), (1, 6, 0), (5, 10, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.013698991+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(15, 16, -1), (0, 6, 0), (12, 13, -3)] b=[(15, 16, -1), (0, 9, 0), (12, 13, -3)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.014851030+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "62us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(1, 6, -3), (10, 17, 0), (7, 10, 3)] b=[(1, 6, -3), (10, 19, 0), (7, 10, 3)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.016016639+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(13, 21, 0), (10, 11, 0), (13, 18, 0)] b=[(13, 22, 0), (10, 11, 0), (13, 18, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.017169359+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(12, 15, -1), (14, 16, 1), (5, 7, 2), (3, 6, 3), (12, 14, 0), (15, 23, 2)] b=[(12, 15, -1), (14, 16, 1), (5, 11, 2), (3, 6, 3), (12, 14, 0), (15, 23, 2)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.018694225+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(11, 17, -1), (14, 19, 1), (2, 7, 0), (2, 6, -1)] b=[(11, 17, -1), (14, 21, 1), (2, 7, 0), (2, 6, -1)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.019879262+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(14, 20, 0), (1, 9, -1), (15, 18, -1)] b=[(14, 23, 0), (1, 9, -1), (15, 18, -1)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.021037010+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(13, 18, 0), (9, 16, 0)] b=[(13, 18, 0), (9, 19, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.022157292+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(4, 10, 0), (8, 10, 0), (3, 10, 1), (14, 17, -1), (10, 11, 0)] b=[(4, 10, 0), (8, 10, 0), (3, 10, 1), (14, 17, -1), (10, 11, 0), (10, 13, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.023570735+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(3, 10, 3), (0, 3, 0), (6, 9, 3), (11, 15, 0)] b=[(3, 11, 3), (0, 3, 0), (6, 9, 3), (11, 15, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.024693200+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(15, 23, 1), (2, 7, 3), (8, 14, -1), (6, 14, -3), (10, 11, 3)] b=[(15, 26, 1), (2, 7, 3), (8, 14, -1), (6, 14, -3), (10, 11, 3)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.025801095+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(0, 6, -1), (2, 7, 3), (14, 16, -3)] b=[(0, 6, -1), (2, 7, 3), (14, 18, -3)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.026934016+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(15, 17, 0), (4, 7, -3), (4, 11, 0)] b=[(15, 18, 0), (4, 7, -3), (4, 11, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.028159673+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(15, 22, 1), (6, 10, 0), (15, 23, -1), (10, 16, 0), (0, 5, 1)] b=[(15, 22, 1), (6, 10, 0), (15, 24, -1), (10, 16, 0), (0, 5, 1)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.029302860+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(8, 13, 0), (0, 6, 1), (8, 11, 3), (8, 15, -2), (0, 5, 2), (14, 16, -1)] b=[(8, 13, 0), (0, 6, 1), (8, 11, 3), (8, 15, -2), (0, 5, 2), (14, 19, -1)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.030709021+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "236767us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.268853780+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "236774us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.507259292+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "231997us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.740932876+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "233300us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:53.975927885+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "235990us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:54.213802946+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "233344us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:54.448785215+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "233154us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:54.683589373+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "235250us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:54.920583714+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "235902us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "PartialEqMatchesIterEq",
      "mutations": [
        "partialeq_map_b3a59e6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:55.158174128+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "237732us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "924664f687c5a7a6b4f1e6375ec78eeb443b6821"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.464177143+00:00",
      "status": "failed",
      "tests": 30,
      "discards": 0,
      "time": "124us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(3, 9, 2)] b=[(3, 10, 2)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.465720697+00:00",
      "status": "failed",
      "tests": 47,
      "discards": 0,
      "time": "181us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(1, 8, 1)] b=[(1, 9, 1)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.466989967+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "112us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.468201114+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "126us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.469412189+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "108us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.470604748+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.471798889+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "100us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.472964378+00:00",
      "status": "failed",
      "tests": 63,
      "discards": 0,
      "time": "194us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.474235302+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "136us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.475433619+00:00",
      "status": "failed",
      "tests": 52,
      "discards": 0,
      "time": "189us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.477018072+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(9, 12, 0), (12, 17, 0), (8, 11, 0)] b=[(9, 12, 0), (12, 17, 0), (8, 11, 0), (14, 21, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.478126127+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(2, 9, 3)] b=[(2, 11, 3)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.479314690+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(1, 6, 0), (2, 6, 1), (15, 22, 1), (7, 12, 1)] b=[(1, 6, 0), (2, 6, 1), (15, 26, 1), (7, 12, 1)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.480400783+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(4, 12, 0), (0, 5, 1), (10, 14, -2), (0, 5, -1)] b=[(4, 12, 0), (0, 5, 1), (10, 16, -2), (0, 5, -1)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.481547534+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "106us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(12, 19, 2), (2, 10, 3), (5, 9, 2), (1, 3, -2), (11, 16, 2), (15, 23, 3), (6, 8, 1)] b=[(12, 19, 2), (2, 10, 3), (5, 9, 2), (1, 3, -2), (11, 16, 2), (15, 26, 3), (6, 8, 1)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.482733984+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(4, 7, 0)] b=[(4, 7, 0), (5, 13, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.483826145+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(13, 14, -2), (1, 2, 1), (4, 10, -2)] b=[(13, 14, -2), (1, 6, 1), (4, 10, -2)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.484934120+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(6, 11, 0)] b=[(6, 11, 0), (8, 14, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.486012551+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(9, 16, -3), (5, 13, -1), (15, 22, 0), (1, 2, 1), (11, 13, -3), (12, 16, -3)] b=[(9, 16, -3), (5, 13, -1), (15, 22, 0), (1, 4, 1), (11, 13, -3), (12, 16, -3)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.487143991+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(a=[(13, 14, 1), (9, 16, -2), (8, 15, -1), (1, 3, 1), (11, 17, 1)] b=[(13, 14, 1), (9, 16, -2), (8, 15, -1), (1, 6, 1), (11, 17, 1)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.488568720+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "85us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(0, 6, 1)] b=[(0, 7, 1)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.489704255+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(6, 8, -2), (14, 15, 2)] b=[(6, 12, -2), (14, 15, 2)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.490776267+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(15, 23, 0)] b=[(15, 27, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.491863742+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(2, 6, 2), (8, 13, -1), (9, 10, 0), (15, 23, 1)] b=[(2, 10, 2), (8, 13, -1), (9, 10, 0), (15, 23, 1)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.492977464+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(2, 7, 3), (14, 22, 2)] b=[(2, 10, 3), (14, 22, 2)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.494069326+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "34us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(5, 8, 2), (2, 5, 0)] b=[(5, 12, 2), (2, 5, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.495159614+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(4, 5, -2), (13, 18, 1), (8, 10, 2)] b=[(4, 5, -2), (13, 18, 1), (8, 12, 2)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.496245016+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(10, 17, 0), (14, 17, 1), (0, 7, 2)] b=[(10, 17, 0), (14, 18, 1), (0, 7, 2)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.497348624+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(4, 12, 0), (6, 13, -2), (14, 19, -3), (0, 5, 0)] b=[(4, 12, 0), (6, 13, -2), (14, 23, -3), (0, 5, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.498437581+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(a=[(11, 17, 0), (12, 19, 2), (7, 10, -1), (11, 17, 0), (6, 8, -1), (13, 16, -3)] b=[(11, 17, 0), (12, 21, 2), (7, 10, -1), (11, 17, 0), (6, 8, -1), (13, 16, -3)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.499912404+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "235409us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.736786467+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "236107us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:40:59.974599107+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "236110us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:00.212355274+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "236067us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:00.450063470+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "238131us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:00.689900709+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "236996us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:00.928554953+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "236873us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:01.167134628+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "236210us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:01.405011752+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "236752us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "InclusiveEqMatchesIterEq",
      "mutations": [
        "inclusive_equality_a6cdac3_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:01.643507304+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "232323us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(a=[(0, 1, 0)] b=[(0, 2, 0)])",
      "hash": "2f8fc51a25b807ee320c8f4d3527e429961f9197"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.933914858+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "133us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(items=[(0, 1, 0), (6, 7, 0)] q=0..1)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.935430489+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "107us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(items=[(14, 15, 0), (0, 1, 0)] q=0..1)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.936660803+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(items=[(0, 2, 0), (9, 10, 0)] q=0..1)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.937810517+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "93us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(items=[(12, 13, 0), (1, 5, 0)] q=0..2)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.938985850+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "84us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(items=[(7, 8, 0), (0, 3, 0)] q=0..1)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.940138579+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "109us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(items=[(9, 14, 0), (0, 6, 0)] q=0..1)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.941341442+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "93us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(items=[(4, 7, 0), (9, 10, 0)] q=2..5)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.942494341+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "94us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(items=[(6, 7, 0), (8, 9, 0)] q=5..7)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.943700199+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "116us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(items=[(0, 6, 0), (0, 3, -1)] q=0..1)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "proptest",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.944855401+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(items=[(13, 14, 0), (0, 3, 0)] q=0..1)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.946615060+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(items=[(15, 17, 0), (1, 7, 0)] q=0..14)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.947720660+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "62us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(items=[(0, 5, 0), (2, 9, 1), (10, 11, 0), (2, 9, 1), (2, 9, 0), (12, 18, 3), (14, 20, -2)] q=5..11)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.948860121+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(items=[(1, 3, 1), (6, 14, -1), (7, 8, 1), (2, 3, 0), (15, 18, -1), (6, 8, -1), (3, 11, 0)] q=6..14)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.949962576+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(items=[(7, 14, -3), (5, 13, 2), (6, 7, -1), (4, 11, 1)] q=1..5)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.951059864+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(items=[(15, 16, 0), (7, 8, 0), (2, 3, 0), (11, 15, 0)] q=3..10)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.952142320+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(items=[(8, 9, 1), (1, 2, 1), (1, 4, -1)] q=2..5)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.953219739+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(items=[(1, 5, 0), (15, 16, 0), (2, 4, 1), (2, 6, 0), (4, 8, -1), (2, 9, -1)] q=1..4)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.954408381+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(items=[(6, 11, 1), (15, 18, 0), (2, 9, 0)] q=6..12)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.955496276+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(items=[(6, 12, 3), (4, 10, 1)] q=0..8)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.956590088+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(items=[(0, 5, 0), (0, 1, 0), (0, 8, 0), (4, 12, 0), (1, 4, 0), (15, 22, 3)] q=4..10)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.958227248+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(items=[(8, 13, 3), (10, 11, -2), (1, 3, 3), (13, 16, 0)] q=9..11)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.959303024+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(items=[(14, 21, 3), (13, 19, 3), (14, 19, -1), (6, 10, 1), (1, 2, 0), (9, 13, -2), (6, 10, 0)] q=6..17)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.960378941+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(items=[(6, 12, 1), (13, 20, 1), (8, 16, 0), (0, 7, -1)] q=0..2)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.961440937+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(items=[(14, 17, 0), (11, 16, 1), (5, 10, -3), (4, 7, 3)] q=0..12)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.962593677+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "34us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(items=[(14, 19, 3), (2, 4, -2), (14, 19, -2)] q=1..4)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.963675001+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(items=[(1, 7, 2), (12, 13, 3), (2, 4, -2), (13, 19, -1), (1, 5, -2), (12, 14, -2), (6, 11, -1)] q=1..9)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.964762255+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(items=[(3, 7, 0), (7, 15, -2)] q=2..4)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.965839022+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(items=[(13, 14, 0), (6, 10, -1), (15, 22, -1), (4, 8, 2), (13, 20, -3), (0, 5, 0), (1, 2, 0)] q=5..19)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.966915140+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(items=[(0, 5, 3), (0, 5, -3), (6, 7, -2), (7, 15, 1), (15, 23, -3), (15, 19, -3), (6, 10, -1)] q=1..12)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.968045676+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(items=[(4, 5, 3), (2, 3, 0), (15, 21, 1), (0, 8, -3)] q=0..5)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:05.969734261+00:00",
      "status": "failed",
      "tests": 203,
      "discards": 0,
      "time": "533156us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 1, 0), (1, 2, 1)] q=0..1)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:06.504231140+00:00",
      "status": "failed",
      "tests": 203,
      "discards": 0,
      "time": "526191us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 1, 0), (1, 2, 1)] q=0..1)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:07.032077613+00:00",
      "status": "failed",
      "tests": 203,
      "discards": 0,
      "time": "529381us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 1, 0), (1, 2, 1)] q=0..1)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:07.563232224+00:00",
      "status": "failed",
      "tests": 203,
      "discards": 0,
      "time": "525063us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 1, 0), (1, 2, 1)] q=0..1)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:08.090131009+00:00",
      "status": "failed",
      "tests": 203,
      "discards": 0,
      "time": "525971us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 1, 0), (1, 2, 1)] q=0..1)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:08.617866998+00:00",
      "status": "failed",
      "tests": 203,
      "discards": 0,
      "time": "531483us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 1, 0), (1, 2, 1)] q=0..1)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:09.151631541+00:00",
      "status": "failed",
      "tests": 203,
      "discards": 0,
      "time": "575628us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 1, 0), (1, 2, 1)] q=0..1)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:09.729112220+00:00",
      "status": "failed",
      "tests": 203,
      "discards": 0,
      "time": "540650us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 1, 0), (1, 2, 1)] q=0..1)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:10.271788097+00:00",
      "status": "failed",
      "tests": 203,
      "discards": 0,
      "time": "527012us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 1, 0), (1, 2, 1)] q=0..1)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    },
    {
      "experiment": "ci-run",
      "workload": "rangemap",
      "language": "rust",
      "strategy": "hegel",
      "property": "OverlappingReversible",
      "mutations": [
        "overlapping_backwards_6df612f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T19:41:10.800726292+00:00",
      "status": "failed",
      "tests": 203,
      "discards": 0,
      "time": "532767us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(items=[(0, 1, 0), (1, 2, 1)] q=0..1)",
      "hash": "cd53926210af2b8bfb0455a3dc1be185e83d96c6"
    }
  ]
}