{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 19:44 UTC",
  "workload_docs": {
    "boltons": [
      {
        "mutations": [
          "barrellist_sort_drops_lists_b8855d7_1"
        ],
        "tasks": [
          {
            "property": "BarrelListSortPreservesElements",
            "witnesses": [
              {
                "test_fn": "witness_barrel_list_sort_preserves_elements_case_basic",
                "note": "Two internal lists; sort must not raise and must preserve elements"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mahmoud/boltons",
          "commits": [
            "b8855d768baef2f14d832becdfdfa3bee7c9380d"
          ],
          "commit_subjects": [
            "Fix barrellist sort with multiple lists"
          ],
          "origin": "internal",
          "summary": "``BarrelList.sort()`` cleared ``self.lists`` via ``del self.lists[:]`` and then assigned ``self.lists[0] = tmp_sorted`` — but ``self.lists`` is now empty, so the indexed assignment raises IndexError. The fix uses ``self.lists.append(tmp_sorted)`` instead. Reproduces only when there are multiple internal lists (i.e. the BarrelList has spilled past one bucket)."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "boltons/listutils.py"
          ],
          "locations": [
            {
              "file": "boltons/listutils.py",
              "line": 311,
              "symbol": "BarrelList.sort"
            }
          ],
          "patch": "patches/barrellist_sort_drops_lists_b8855d7_1.patch"
        },
        "bug": {
          "short_name": "barrellist_sort_drops_lists",
          "invariant": "When a ``BarrelList`` has more than one internal list, ``bl.sort()`` produces an output whose ``list(bl)`` equals ``sorted(<original elements>)``, without raising.",
          "how_triggered": "The mutation reverts the ``self.lists.append(tmp_sorted)`` line to ``self.lists[0] = tmp_sorted``. Because ``del self.lists[:]`` runs immediately before, the indexed assignment hits an empty list and raises IndexError."
        }
      },
      {
        "mutations": [
          "table_to_text_row_widths_0c88f25_1"
        ],
        "tasks": [
          {
            "property": "TableToTextColumnsAlign",
            "witnesses": [
              {
                "test_fn": "witness_table_to_text_columns_align_case_uneven",
                "note": "Two-column table with widely varying cell widths"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mahmoud/boltons",
          "commits": [
            "0c88f25323de3ff85bcca844b9ce6cd171a80392"
          ],
          "commit_subjects": [
            "Fix Table.to_text() sizing"
          ],
          "origin": "internal",
          "summary": "``Table.to_text`` measured each *row's length* (the number of cells per row) when sizing columns instead of measuring the *contents* of each column. Tables with cells whose stringified width differed from the column count produced rows whose visible widths were uneven, with long cells unpadded and short cells over-padded."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "boltons/tableutils.py"
          ],
          "locations": [
            {
              "file": "boltons/tableutils.py",
              "line": 572,
              "symbol": "Table.to_text"
            }
          ],
          "patch": "patches/table_to_text_row_widths_0c88f25_1.patch"
        },
        "bug": {
          "short_name": "table_to_text_row_widths",
          "invariant": "For each column ``j`` of ``Table.to_text(with_headers=False)``, every rendered cell width equals the maximum stringified width across all values in column ``j``.",
          "how_triggered": "The mutation reverts ``[len(row[idx]) for row in text_data]`` to ``[len(cur) for cur in text_data]``. The latter measures the row's element count (a constant equal to the column count) instead of cell widths, leaving long cells un-padded and short cells over-padded."
        }
      },
      {
        "mutations": [
          "onetoone_update_unbound_keys_vals_6cac49c_1"
        ],
        "tasks": [
          {
            "property": "OneToOneUpdateEmptyOk",
            "witnesses": [
              {
                "test_fn": "witness_one_to_one_update_empty_ok_case_basic",
                "note": "Update with empty dict and empty iterable; original key intact"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mahmoud/boltons",
          "commits": [
            "6cac49ce4eba506a3582e8089bcc347c6b2fa70f"
          ],
          "commit_subjects": [
            "fix OneToOne.update behavior with empty iterables"
          ],
          "origin": "internal",
          "summary": "``OneToOne.update`` only assigned ``keys_vals`` inside the ``for`` loop that hashed the new values. With an empty ``dict_or_iterable`` the loop body never ran, so ``keys_vals`` was never bound and the subsequent ``keys_vals.extend(...)`` raised UnboundLocalError. The fix initialises ``keys_vals = []`` before the conditional."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "boltons/dictutils.py"
          ],
          "locations": [
            {
              "file": "boltons/dictutils.py",
              "line": 874,
              "symbol": "OneToOne.update"
            }
          ],
          "patch": "patches/onetoone_update_unbound_keys_vals_6cac49c_1.patch"
        },
        "bug": {
          "short_name": "onetoone_update_unbound_keys_vals",
          "invariant": "``OneToOne.update`` accepts an empty mapping or iterable without raising, and afterwards the prior contents of the OneToOne remain intact.",
          "how_triggered": "The mutation drops the ``keys_vals = []`` initialiser. With an empty dict argument, the for-loop hashing values never executes, so ``keys_vals`` is unbound when ``keys_vals.extend(kw.items())`` runs — UnboundLocalError."
        }
      },
      {
        "mutations": [
          "bits_as_list_truncates_zero_pad_40a7b47_1"
        ],
        "tasks": [
          {
            "property": "BitsAsListLengthMatches",
            "witnesses": [
              {
                "test_fn": "witness_bits_as_list_length_matches_case_zero_pad",
                "note": "Bits(0, 2): expected [False, False]; bug returns [False]"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mahmoud/boltons",
          "commits": [
            "40a7b47c6e8235a1b2a4600d0ceec4f7ea0f9bb0"
          ],
          "commit_subjects": [
            "bugfix in mathutils.Bits.as_list (#315)"
          ],
          "prs": [
            315
          ],
          "summary": "``Bits.as_list`` formatted the integer with ``'{0:b}'`` (no leading zero pad), so values whose binary representation was shorter than ``self.len`` came out truncated. ``Bits(0, 2).as_list()`` returned ``[False]`` instead of ``[False, False]``. The fix reuses ``self.as_bin()`` which zero-pads to ``self.len``."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "boltons/mathutils.py"
          ],
          "locations": [
            {
              "file": "boltons/mathutils.py",
              "line": 206,
              "symbol": "Bits.as_list"
            }
          ],
          "patch": "patches/bits_as_list_truncates_zero_pad_40a7b47_1.patch"
        },
        "bug": {
          "short_name": "bits_as_list_truncates_zero_pad",
          "invariant": "For all ``Bits(val, n)`` with ``0 <= val < 2**n``, ``len(Bits(val, n).as_list()) == n`` and ``list(Bits(val, n)) == Bits(val, n).as_list()``.",
          "how_triggered": "The mutation reverts ``as_list`` to ``[c == '1' for c in '{0:b}'.format(self.val)]``. The unpadded format strips leading zeros, so for values with fewer significant bits than ``self.len`` the returned list is shorter than ``n``."
        }
      },
      {
        "mutations": [
          "daterange_inclusive_same_start_stop_93185b2_1"
        ],
        "tasks": [
          {
            "property": "DaterangeSameStartStopTerminates",
            "witnesses": [
              {
                "test_fn": "witness_daterange_same_start_stop_terminates_case_zero_offset",
                "note": "Bounded islice keeps the test from hanging on the infinite branch"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mahmoud/boltons",
          "commits": [
            "93185b224ebd60df01df88d64e574a3f651987c5"
          ],
          "commit_subjects": [
            "Fix infinite daterange issue when start and stop is same (#302)"
          ],
          "prs": [
            302
          ],
          "summary": "``daterange(d, d, inclusive=True)`` looped forever. The branch selection used a strict ``elif start < stop``, so when ``start == stop`` it fell through to the descending branch with ``finished = operator.lt`` — and ``operator.lt(d, d)`` is always False. The fix relaxes to ``elif start <= stop`` so the equal case picks the ascending termination predicate."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "boltons/timeutils.py"
          ],
          "locations": [
            {
              "file": "boltons/timeutils.py",
              "line": 371,
              "symbol": "daterange"
            }
          ],
          "patch": "patches/daterange_inclusive_same_start_stop_93185b2_1.patch"
        },
        "bug": {
          "short_name": "daterange_inclusive_same_start_stop",
          "invariant": "``daterange(d, d, inclusive=True)`` yields exactly ``[d]`` and then terminates; ``daterange(d, d, inclusive=False)`` yields ``[]`` and terminates.",
          "how_triggered": "The mutation tightens ``start <= stop`` back to ``start < stop``. With equal endpoints the branch chooses the descending termination test (``operator.lt`` for inclusive=True), which never fires; the generator is infinite."
        }
      },
      {
        "mutations": [
          "indexed_set_index_ignores_dead_4457dec_1"
        ],
        "tasks": [
          {
            "property": "IndexedSetIndexAfterRemovals",
            "witnesses": [
              {
                "test_fn": "witness_indexed_set_index_after_removals_case_pop_one",
                "note": "20-item set; popping a middle index leaves dead_indices populated"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mahmoud/boltons",
          "commits": [
            "4457decc614ee795804f2bb9c44ae9be30831d53"
          ],
          "commit_subjects": [
            "fix IndexedSet.index() to account for removals, fixes #240"
          ],
          "issues": [
            240
          ],
          "summary": "``IndexedSet.index(val)`` returned ``self.item_index_map[val]`` directly. That raw position carries any pre-removal slot the value used to occupy; with un-compacted ``dead_indices`` the apparent index has shifted and the returned value is wrong. The fix routes the lookup through ``self._get_apparent_index`` so the post-removal index is reported."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "boltons/setutils.py"
          ],
          "locations": [
            {
              "file": "boltons/setutils.py",
              "line": 465,
              "symbol": "IndexedSet.index"
            }
          ],
          "patch": "patches/indexed_set_index_ignores_dead_4457dec_1.patch"
        },
        "bug": {
          "short_name": "indexed_set_index_ignores_dead",
          "invariant": "For an ``IndexedSet`` with any removals, ``iset[iset.index(x)] == x`` for every ``x`` still in the set.",
          "how_triggered": "The mutation drops the ``_get_apparent_index`` call. With the ``IndexedSet`` short of its compaction threshold (``dead_count <= len/_COMPACTION_FACTOR``), ``dead_indices`` survives across calls and ``index`` returns the pre-removal slot, off-by-(number of dead intervals before that slot)."
        }
      },
      {
        "mutations": [
          "singularize_senses_to_sens_d056712_1"
        ],
        "tasks": [
          {
            "property": "SingularizeSensesIsSense",
            "witnesses": [
              {
                "test_fn": "witness_singularize_senses_is_sense_case_basic",
                "note": "Direct lookup against the irregular-plural table"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mahmoud/boltons",
          "commits": [
            "d056712a4a2abcdb977a6e9a3f80bef0fcaadedd"
          ],
          "commit_subjects": [
            "Fix singularize(\"senses\") == \"sens\""
          ],
          "origin": "internal",
          "summary": "``singularize('senses')`` produced ``'sens'`` because 'senses' was missing from the irregular plural-to-singular table. The default singularization algorithm strips a trailing 's', which is wrong here. The fix adds ``'sense': 'senses'`` to ``_IRR_S2P``."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "boltons/strutils.py"
          ],
          "locations": [
            {
              "file": "boltons/strutils.py",
              "line": 300,
              "symbol": "_IRR_S2P"
            }
          ],
          "patch": "patches/singularize_senses_to_sens_d056712_1.patch"
        },
        "bug": {
          "short_name": "singularize_senses_to_sens",
          "invariant": "``singularize('senses') == 'sense'``.",
          "how_triggered": "The mutation removes the ``'sense': 'senses'`` entry from ``_IRR_S2P``. The fallback algorithm strips the trailing 's' to give 'sens'."
        }
      },
      {
        "mutations": [
          "omd_setdefault_returns_default_b1df971_1"
        ],
        "tasks": [
          {
            "property": "OmdSetdefaultReturnsStored",
            "witnesses": [
              {
                "test_fn": "witness_omd_setdefault_returns_stored_case_basic",
                "note": "Stored value identity check + no-default returns None"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mahmoud/boltons",
          "commits": [
            "b1df97114e94f930a28b18e756c1df436ea1ac85"
          ],
          "commit_subjects": [
            "fix OMD.setdefault to default to None and not empty list, per documentation (and add a test to the same effect)"
          ],
          "origin": "internal",
          "summary": "``OrderedMultiDict.setdefault(k, v)`` did not match dict semantics: it stored ``[v]`` (or ``[]`` for the no-default case) under the key and returned the raw ``default`` argument rather than the stored value. The fix stores ``v`` (or ``None``) directly and returns ``self[k]`` so the call mirrors ``dict.setdefault``."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "boltons/dictutils.py"
          ],
          "locations": [
            {
              "file": "boltons/dictutils.py",
              "line": 261,
              "symbol": "OrderedMultiDict.setdefault"
            }
          ],
          "patch": "patches/omd_setdefault_returns_default_b1df971_1.patch"
        },
        "bug": {
          "short_name": "omd_setdefault_returns_default",
          "invariant": "After ``omd.setdefault(k, v)``, ``omd[k] == v`` and the call returns ``v``. For the no-default form, ``omd.setdefault(k)`` returns ``None`` and ``omd[k] is None``.",
          "how_triggered": "The mutation reverts to ``self[k] = [] if default is _MISSING else [default]`` and ``return default``. The stored value is wrapped in a list, and the returned value is the sentinel rather than the actual stored value."
        }
      },
      {
        "mutations": [
          "daterange_finished_arity_mismatch_139d5dc_1"
        ],
        "tasks": [
          {
            "property": "DaterangeInfiniteIterates",
            "witnesses": [
              {
                "test_fn": "witness_daterange_infinite_iterates_case_today",
                "note": "Three pulls verify both the first and the inner-loop termination calls"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mahmoud/boltons",
          "commits": [
            "139d5dcd3255eddb822aa2d876ce3120c34d81c7"
          ],
          "commit_subjects": [
            "Fix bug in implementation of `timeutils.daterange`"
          ],
          "origin": "internal",
          "summary": "``daterange`` installs a ``finished`` predicate to terminate the inner loop. With ``stop=None`` the predicate was a 1-arg lambda; with bounded ``stop`` it was 2-arg. The dispatch ``while not finished(now, stop)`` then crashed for the unbounded case. The fix gives both branches the same ``(now, stop) -> bool`` signature."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "boltons/timeutils.py"
          ],
          "locations": [
            {
              "file": "boltons/timeutils.py",
              "line": 370,
              "symbol": "daterange"
            }
          ],
          "patch": "patches/daterange_finished_arity_mismatch_139d5dc_1.patch"
        },
        "bug": {
          "short_name": "daterange_finished_arity_mismatch",
          "invariant": "``daterange(d, None)`` yields a sequence starting at ``d``, ``d+1``, ``d+2``, ... without raising on any pull.",
          "how_triggered": "The mutation reverts the unbounded-stop predicate to ``lambda t: False``. The first call inside the generator's main loop is ``finished(now, stop)`` (two args) — TypeError before the first yield."
        }
      },
      {
        "mutations": [
          "bytes2human_size_ranges_consumed_0082e13_1"
        ],
        "tasks": [
          {
            "property": "Bytes2HumanIsRepeatable",
            "witnesses": [
              {
                "test_fn": "witness_bytes2_human_is_repeatable_case_one_kib",
                "note": "Two consecutive 1024-byte calls; the second observes the drained iterator"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mahmoud/boltons",
          "commits": [
            "0082e13048dcf1574d4163ccc20b67b8a593277a"
          ],
          "commit_subjects": [
            "Fix bytes2human when builtin zip returns iterators"
          ],
          "origin": "internal",
          "summary": "Module-level ``_SIZE_RANGES = zip(...)`` was a one-shot iterator under Python 3 (zip returns an iterator, not a list). The first call to ``bytes2human`` drained it; subsequent calls saw an empty iterable, fell out of the size-bucket loop with ``size`` and ``symbol`` unbound, and raised UnboundLocalError. The fix wraps ``zip`` in ``list``."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "boltons/strutils.py"
          ],
          "locations": [
            {
              "file": "boltons/strutils.py",
              "line": 548,
              "symbol": "_SIZE_RANGES"
            }
          ],
          "patch": "patches/bytes2human_size_ranges_consumed_0082e13_1.patch"
        },
        "bug": {
          "short_name": "bytes2human_size_ranges_consumed",
          "invariant": "``bytes2human(n)`` is referentially transparent: every invocation with the same input returns the same string, regardless of how many times it has been called before.",
          "how_triggered": "The mutation reverts ``_SIZE_RANGES`` to the unwrapped ``zip(...)`` iterator. The first call iterates and drains it; the second call's ``for ... in _SIZE_RANGES`` immediately exits, leaving ``size`` unbound — UnboundLocalError on the divide."
        }
      },
      {
        "mutations": [
          "remap_set_passes_pairs_to_update_f74b7e5_1"
        ],
        "tasks": [
          {
            "property": "RemapPreservesSet",
            "witnesses": [
              {
                "test_fn": "witness_remap_preserves_set_case_three_ints",
                "note": "Plain ``{1,2,3}`` round-trips through remap"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mahmoud/boltons",
          "commits": [
            "f74b7e5a7d6cc985d47540c4437a072da6803851"
          ],
          "commit_subjects": [
            "fix for default remap set support, fixes #84"
          ],
          "issues": [
            84
          ],
          "summary": "``default_exit`` for ``Set`` containers passed ``new_items`` (a list of ``(index, value)`` 2-tuples produced earlier in ``remap``) directly to ``set.update``. ``set.update`` adds each iterable element to the set, so the resulting set was full of 2-tuples instead of the original element values. The fix passes ``vals`` — the values stripped from those 2-tuples — instead."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "boltons/iterutils.py"
          ],
          "locations": [
            {
              "file": "boltons/iterutils.py",
              "line": 1083,
              "symbol": "default_exit"
            }
          ],
          "patch": "patches/remap_set_passes_pairs_to_update_f74b7e5_1.patch"
        },
        "bug": {
          "short_name": "remap_set_passes_pairs_to_update",
          "invariant": "For any ``set`` or ``frozenset`` ``s``, ``remap(s) == s``.",
          "how_triggered": "The mutation reverts the ``set.update`` argument to ``new_items``. Each ``new_items`` element is a ``(i, v)`` tuple, so the resulting set contains those tuples instead of the bare values."
        }
      },
      {
        "mutations": [
          "omd_eq_raises_on_non_iterable_31873ae_1"
        ],
        "tasks": [
          {
            "property": "OmdEqHandlesNonIterable",
            "witnesses": [
              {
                "test_fn": "witness_omd_eq_handles_non_iterable_case_int",
                "note": "OMD([(1,1)]) == 5 must be False, not raise"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mahmoud/boltons",
          "commits": [
            "31873aebe9df299df76053f7f2e6527ae013de9a"
          ],
          "commit_subjects": [
            "fix a bug where __eq__ would fail with non-iterable objects of comparison"
          ],
          "origin": "internal",
          "summary": "``OrderedMultiDict.__eq__`` called ``len(other)`` unconditionally, so comparing against an int (or any object lacking ``__len__``) propagated TypeError. Python's data model expects ``__eq__`` to return ``NotImplemented`` or ``False`` in that situation, never raise. The fix wraps the length check in ``try/except TypeError: return False``."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "boltons/dictutils.py"
          ],
          "locations": [
            {
              "file": "boltons/dictutils.py",
              "line": 342,
              "symbol": "OrderedMultiDict.__eq__"
            }
          ],
          "patch": "patches/omd_eq_raises_on_non_iterable_31873ae_1.patch"
        },
        "bug": {
          "short_name": "omd_eq_raises_on_non_iterable",
          "invariant": "``OMD == x`` and ``OMD != x`` return False/True (respectively) for any non-iterable ``x``, never raising.",
          "how_triggered": "The mutation reverts the conditional length check to a bare ``elif len(other) != len(self)``. ``len(int)`` raises TypeError, which propagates."
        }
      },
      {
        "mutations": [
          "stats_quantile_empty_raises_a13bfb1_1"
        ],
        "tasks": [
          {
            "property": "StatsQuantileEmptyReturnsDefault",
            "witnesses": [
              {
                "test_fn": "witness_stats_quantile_empty_returns_default_case_median",
                "note": "q=0.5 against Stats([]) returns the default"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mahmoud/boltons",
          "commits": [
            "a13bfb16fbf4f53ae23fb20cdafb69547fae8a02"
          ],
          "commit_subjects": [
            "fix a bug with empty Stats and get_quantile"
          ],
          "origin": "internal",
          "summary": "``Stats([]).get_quantile(q)`` raised because the inner ``_get_quantile`` indexed into the empty sorted-data list. Other accessors on empty ``Stats`` already returned the configured ``default``; the fix extends that convention to ``get_quantile``."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "boltons/statsutils.py"
          ],
          "locations": [
            {
              "file": "boltons/statsutils.py",
              "line": 475,
              "symbol": "Stats.get_quantile"
            }
          ],
          "patch": "patches/stats_quantile_empty_raises_a13bfb1_1.patch"
        },
        "bug": {
          "short_name": "stats_quantile_empty_raises",
          "invariant": "``Stats([]).get_quantile(q)`` returns ``self.default`` for any in-range ``q``, never raising.",
          "how_triggered": "The mutation drops the ``elif not self.data: return self.default`` guard. The call descends into ``_get_quantile`` over empty data, which raises (IndexError or ZeroDivision)."
        }
      },
      {
        "mutations": [
          "lru_repr_swaps_max_size_on_miss_bad95b6_1"
        ],
        "tasks": [
          {
            "property": "LruReprFieldOrder",
            "witnesses": [
              {
                "test_fn": "witness_lru_repr_field_order_case_basic",
                "note": "max_size=42; repr must mention max_size=42 and on_miss=None"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mahmoud/boltons",
          "commits": [
            "bad95b645c5fb7d14e02ad6ae479f1a05bc8185e"
          ],
          "commit_subjects": [
            "fix LRU repr reversal, fixes #20"
          ],
          "issues": [
            20
          ],
          "summary": "``LRI.__repr__`` (inherited by LRU) interpolated its format arguments in the wrong order: ``self.on_miss`` filled the ``max_size=`` slot and ``self.max_size`` filled the ``on_miss=`` slot. The reproduced ``repr`` was a valid Python expression that, when ``eval``'d, produced an LRI with the wrong configuration."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "boltons/cacheutils.py"
          ],
          "locations": [
            {
              "file": "boltons/cacheutils.py",
              "line": 329,
              "symbol": "LRI.__repr__"
            }
          ],
          "patch": "patches/lru_repr_swaps_max_size_on_miss_bad95b6_1.patch"
        },
        "bug": {
          "short_name": "lru_repr_swaps_max_size_on_miss",
          "invariant": "``repr(LRI(max_size=n))`` contains the literal substring ``max_size=<n>`` and ``on_miss=None`` for an LRI built without an on-miss callback.",
          "how_triggered": "The mutation swaps the format-interpolation order back to ``(cn, self.on_miss, self.max_size, val_map)``. The repr now reports ``max_size=None`` and ``on_miss=<n>`` instead."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:15.628781496+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "490673us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:17.302806606+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "527578us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:18.072093316+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "542035us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:18.858294957+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "480061us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:19.585665190+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "469824us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:20.304488794+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "469103us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:21.012512647+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "533232us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:21.798497156+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "521671us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:22.561462177+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "542260us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:23.349301386+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "537625us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:24.126672533+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "1927076us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:26.315481543+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "1395353us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:27.973425132+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "1280237us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:29.510711123+00:00",
      "status": "failed",
      "tests": 114,
      "discards": 0,
      "time": "1392413us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:31.170512539+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "1273889us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:32.700056232+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "1172261us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:34.133783244+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "1277858us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:35.671863705+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "1303219us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:37.244372788+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "1292373us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BarrelListSortPreservesElements",
      "mutations": [
        "barrellist_sort_drops_lists_b8855d7_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:38.795788784+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "1384447us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], [])",
      "hash": "a3bbe94112fffa57cc8527bc59bb3740f589ede1"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:40.723522063+00:00",
      "status": "failed",
      "tests": 171,
      "discards": 0,
      "time": "1109490us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:42.102771047+00:00",
      "status": "failed",
      "tests": 178,
      "discards": 0,
      "time": "938771us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:43.297515717+00:00",
      "status": "failed",
      "tests": 176,
      "discards": 0,
      "time": "825104us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:44.371835752+00:00",
      "status": "failed",
      "tests": 183,
      "discards": 0,
      "time": "940907us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:45.567775890+00:00",
      "status": "failed",
      "tests": 171,
      "discards": 0,
      "time": "943053us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:46.761219058+00:00",
      "status": "failed",
      "tests": 175,
      "discards": 0,
      "time": "981033us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:48.007106902+00:00",
      "status": "failed",
      "tests": 178,
      "discards": 0,
      "time": "985661us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:49.251813182+00:00",
      "status": "failed",
      "tests": 175,
      "discards": 0,
      "time": "809844us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:50.321735317+00:00",
      "status": "failed",
      "tests": 178,
      "discards": 0,
      "time": "843942us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:51.423193873+00:00",
      "status": "failed",
      "tests": 177,
      "discards": 0,
      "time": "822132us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:52.505272806+00:00",
      "status": "failed",
      "tests": 190,
      "discards": 0,
      "time": "6382931us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:59.173646563+00:00",
      "status": "failed",
      "tests": 190,
      "discards": 0,
      "time": "6418358us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:05.875964571+00:00",
      "status": "failed",
      "tests": 179,
      "discards": 0,
      "time": "6314337us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:12.489509645+00:00",
      "status": "failed",
      "tests": 191,
      "discards": 0,
      "time": "6495013us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:19.278033601+00:00",
      "status": "failed",
      "tests": 184,
      "discards": 0,
      "time": "6274376us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:25.837540675+00:00",
      "status": "failed",
      "tests": 178,
      "discards": 0,
      "time": "6410334us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:32.547409079+00:00",
      "status": "failed",
      "tests": 185,
      "discards": 0,
      "time": "6418010us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:39.261870460+00:00",
      "status": "failed",
      "tests": 173,
      "discards": 0,
      "time": "6273396us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:45.825464881+00:00",
      "status": "failed",
      "tests": 194,
      "discards": 0,
      "time": "6417254us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "TableToTextColumnsAlign",
      "mutations": [
        "table_to_text_row_widths_0c88f25_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:52.531032723+00:00",
      "status": "failed",
      "tests": 188,
      "discards": 0,
      "time": "6284584us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[('', '')]",
      "hash": "efc6124ef59a22a456464bf220e451c133e4332b"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:59.383732956+00:00",
      "status": "failed",
      "tests": 85,
      "discards": 0,
      "time": "259872us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:59.889928520+00:00",
      "status": "failed",
      "tests": 89,
      "discards": 0,
      "time": "263717us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:00.389275396+00:00",
      "status": "failed",
      "tests": 86,
      "discards": 0,
      "time": "231243us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:00.855830011+00:00",
      "status": "failed",
      "tests": 84,
      "discards": 0,
      "time": "257216us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:01.351598975+00:00",
      "status": "failed",
      "tests": 82,
      "discards": 0,
      "time": "242268us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:01.834768613+00:00",
      "status": "failed",
      "tests": 83,
      "discards": 0,
      "time": "259930us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:02.335936818+00:00",
      "status": "failed",
      "tests": 86,
      "discards": 0,
      "time": "258576us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:02.832813068+00:00",
      "status": "failed",
      "tests": 80,
      "discards": 0,
      "time": "249161us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:03.327179795+00:00",
      "status": "failed",
      "tests": 87,
      "discards": 0,
      "time": "263484us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:03.826652120+00:00",
      "status": "failed",
      "tests": 81,
      "discards": 0,
      "time": "239731us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:04.301066788+00:00",
      "status": "failed",
      "tests": 87,
      "discards": 0,
      "time": "776550us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:05.331839334+00:00",
      "status": "failed",
      "tests": 87,
      "discards": 0,
      "time": "781716us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:06.375067495+00:00",
      "status": "failed",
      "tests": 93,
      "discards": 0,
      "time": "798641us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:07.436213700+00:00",
      "status": "failed",
      "tests": 87,
      "discards": 0,
      "time": "787744us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:08.488630903+00:00",
      "status": "failed",
      "tests": 89,
      "discards": 0,
      "time": "826999us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:09.572480636+00:00",
      "status": "failed",
      "tests": 93,
      "discards": 0,
      "time": "801347us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:10.634809747+00:00",
      "status": "failed",
      "tests": 86,
      "discards": 0,
      "time": "788175us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:11.678001970+00:00",
      "status": "failed",
      "tests": 91,
      "discards": 0,
      "time": "818581us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:12.754467759+00:00",
      "status": "failed",
      "tests": 85,
      "discards": 0,
      "time": "807251us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OneToOneUpdateEmptyOk",
      "mutations": [
        "onetoone_update_unbound_keys_vals_6cac49c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:13.820184216+00:00",
      "status": "failed",
      "tests": 91,
      "discards": 0,
      "time": "824137us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7a699d270f6d5fc1517c3a9290c88d10098bec2a"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:15.170861676+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "97531us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:15.501174218+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "116988us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:15.843817873+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "89929us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:16.161714120+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "45249us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:16.433153945+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "98976us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:16.755872423+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "116221us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:17.099835540+00:00",
      "status": "failed",
      "tests": 44,
      "discards": 0,
      "time": "111207us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:17.440402191+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "59226us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:17.730632671+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "246145us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:18.202609209+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "85060us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:18.516940279+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "909030us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:19.680702985+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "897156us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:20.823576548+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "895784us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:21.965822687+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "917830us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:23.137781556+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "923774us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:24.317287473+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "892163us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:25.457631978+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "895871us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:26.598987994+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "898596us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:27.744067388+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "898216us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "BitsAsListLengthMatches",
      "mutations": [
        "bits_as_list_truncates_zero_pad_40a7b47_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:28.886261963+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "891988us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 2)",
      "hash": "9242ba0af22e16b466e718e86d9b5fc00b87732d"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:30.306686541+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "286430us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:30.838900813+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "283206us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:31.362760433+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "284730us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:31.889113966+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "283315us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:32.413635080+00:00",
      "status": "failed",
      "tests": 101,
      "discards": 0,
      "time": "294031us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:32.960016371+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "285561us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:33.497652615+00:00",
      "status": "failed",
      "tests": 100,
      "discards": 0,
      "time": "279858us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:34.018856644+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "286816us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:34.548728590+00:00",
      "status": "failed",
      "tests": 98,
      "discards": 0,
      "time": "263978us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:35.056941712+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "291946us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:35.595947861+00:00",
      "status": "failed",
      "tests": 99,
      "discards": 0,
      "time": "12232275us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:48.092264520+00:00",
      "status": "failed",
      "tests": 100,
      "discards": 0,
      "time": "12234792us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:00.586379220+00:00",
      "status": "failed",
      "tests": 98,
      "discards": 0,
      "time": "12266704us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:13.119370729+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "12296766us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:25.684083232+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "12252852us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:38.195404240+00:00",
      "status": "failed",
      "tests": 101,
      "discards": 0,
      "time": "12256461us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:50.715798801+00:00",
      "status": "failed",
      "tests": 95,
      "discards": 0,
      "time": "12256658us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:03.235519747+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "12316224us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:15.810395292+00:00",
      "status": "failed",
      "tests": 101,
      "discards": 0,
      "time": "12245590us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeSameStartStopTerminates",
      "mutations": [
        "daterange_inclusive_same_start_stop_93185b2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:28.318115422+00:00",
      "status": "failed",
      "tests": 94,
      "discards": 0,
      "time": "12195402us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "7f4da5edde420f5c25bd091cb3f6fc531220c3a4"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:41.059403296+00:00",
      "status": "failed",
      "tests": 212,
      "discards": 0,
      "time": "1345207us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:42.691071766+00:00",
      "status": "failed",
      "tests": 440,
      "discards": 0,
      "time": "2108132us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:45.122838538+00:00",
      "status": "failed",
      "tests": 241,
      "discards": 0,
      "time": "1380498us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:46.777550755+00:00",
      "status": "failed",
      "tests": 291,
      "discards": 0,
      "time": "1621871us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:48.680140171+00:00",
      "status": "failed",
      "tests": 233,
      "discards": 0,
      "time": "1352274us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:50.300043982+00:00",
      "status": "failed",
      "tests": 240,
      "discards": 0,
      "time": "1451503us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:52.021409762+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "916885us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:53.186256218+00:00",
      "status": "failed",
      "tests": 209,
      "discards": 0,
      "time": "1223524us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:54.687285975+00:00",
      "status": "failed",
      "tests": 221,
      "discards": 0,
      "time": "1324226us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:56.279350544+00:00",
      "status": "failed",
      "tests": 206,
      "discards": 0,
      "time": "1215977us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:39:57.759647746+00:00",
      "status": "failed",
      "tests": 236,
      "discards": 0,
      "time": "12849913us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:10.903406033+00:00",
      "status": "failed",
      "tests": 386,
      "discards": 0,
      "time": "13905784us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:25.137382644+00:00",
      "status": "failed",
      "tests": 234,
      "discards": 0,
      "time": "12740845us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:38.177367369+00:00",
      "status": "failed",
      "tests": 204,
      "discards": 0,
      "time": "12426093us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:40:50.898809484+00:00",
      "status": "failed",
      "tests": 238,
      "discards": 0,
      "time": "12661306us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:03.861139097+00:00",
      "status": "failed",
      "tests": 218,
      "discards": 0,
      "time": "12461508us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:16.618956122+00:00",
      "status": "failed",
      "tests": 221,
      "discards": 0,
      "time": "13162229us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:30.073973936+00:00",
      "status": "failed",
      "tests": 193,
      "discards": 0,
      "time": "12514788us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:42.877227833+00:00",
      "status": "failed",
      "tests": 288,
      "discards": 0,
      "time": "13058013us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "IndexedSetIndexAfterRemovals",
      "mutations": [
        "indexed_set_index_ignores_dead_4457dec_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:41:56.249245150+00:00",
      "status": "failed",
      "tests": 179,
      "discards": 0,
      "time": "12273877us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [0])",
      "hash": "7b1c848b13d082d9a9dd002c43d9bc2daae07835"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:09.076241450+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "43371us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:09.362759811+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "44644us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:09.643661847+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "108277us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:09.986102437+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "43852us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:10.265190173+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "95936us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:10.595574109+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "44192us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:10.873352370+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "44923us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:11.153285245+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "97592us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:11.485502861+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "43724us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:11.756560632+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "109187us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:12.093331327+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "433426us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:12.774227432+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "433430us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:13.451989474+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "419214us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:14.116805749+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "436114us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:14.794112238+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "433588us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:15.475037660+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "439511us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:16.159410122+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "439344us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:16.846743072+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "408500us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:17.507659167+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "439342us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "SingularizeSensesIsSense",
      "mutations": [
        "singularize_senses_to_sens_d056712_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:18.194512662+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "438739us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "ab64a5d41924f2fcbc6c5d8675a2a71d278fbaca"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:19.151909202+00:00",
      "status": "failed",
      "tests": 78,
      "discards": 0,
      "time": "262311us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:19.660650110+00:00",
      "status": "failed",
      "tests": 79,
      "discards": 0,
      "time": "235877us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:20.128265994+00:00",
      "status": "failed",
      "tests": 82,
      "discards": 0,
      "time": "226305us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:20.594307644+00:00",
      "status": "failed",
      "tests": 76,
      "discards": 0,
      "time": "229229us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:21.060981974+00:00",
      "status": "failed",
      "tests": 82,
      "discards": 0,
      "time": "239549us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:21.539212256+00:00",
      "status": "failed",
      "tests": 76,
      "discards": 0,
      "time": "225477us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:22.002806353+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "266610us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:22.503963852+00:00",
      "status": "failed",
      "tests": 84,
      "discards": 0,
      "time": "243283us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:22.980382138+00:00",
      "status": "failed",
      "tests": 82,
      "discards": 0,
      "time": "253252us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:23.470027849+00:00",
      "status": "failed",
      "tests": 81,
      "discards": 0,
      "time": "249884us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:23.953614260+00:00",
      "status": "failed",
      "tests": 93,
      "discards": 0,
      "time": "1207284us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:25.424648147+00:00",
      "status": "failed",
      "tests": 100,
      "discards": 0,
      "time": "1197354us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:26.891587149+00:00",
      "status": "failed",
      "tests": 89,
      "discards": 0,
      "time": "1173714us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:28.318645225+00:00",
      "status": "failed",
      "tests": 88,
      "discards": 0,
      "time": "1154065us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:29.726542100+00:00",
      "status": "failed",
      "tests": 92,
      "discards": 0,
      "time": "1154881us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:31.137603240+00:00",
      "status": "failed",
      "tests": 86,
      "discards": 0,
      "time": "1137876us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:32.527686798+00:00",
      "status": "failed",
      "tests": 100,
      "discards": 0,
      "time": "1197016us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:33.988566404+00:00",
      "status": "failed",
      "tests": 97,
      "discards": 0,
      "time": "1191923us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:35.442130274+00:00",
      "status": "failed",
      "tests": 94,
      "discards": 0,
      "time": "1165093us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdSetdefaultReturnsStored",
      "mutations": [
        "omd_setdefault_returns_default_b1df971_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:36.871893265+00:00",
      "status": "failed",
      "tests": 88,
      "discards": 0,
      "time": "1170055us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "46fe3f90b9104f2ff13f594e4c417b216c6c1084"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:38.588113933+00:00",
      "status": "failed",
      "tests": 101,
      "discards": 0,
      "time": "290945us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:39.126323883+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "298196us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:39.662743140+00:00",
      "status": "failed",
      "tests": 98,
      "discards": 0,
      "time": "281352us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:40.181572890+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "282508us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:40.708018568+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "281301us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:41.229248659+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "294659us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:41.761943895+00:00",
      "status": "failed",
      "tests": 97,
      "discards": 0,
      "time": "279809us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:42.280203843+00:00",
      "status": "failed",
      "tests": 100,
      "discards": 0,
      "time": "274245us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:42.788990558+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "281418us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:43.307081314+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "278309us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:43.818005282+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "1479330us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:45.561224281+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "1482379us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:47.307602841+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "1489340us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:49.062471230+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "1516227us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:50.847881734+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "1477522us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:52.583138408+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "1507070us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:54.351046636+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "1507439us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:56.119775049+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "1502650us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:57.880639916+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "1521095us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "DaterangeInfiniteIterates",
      "mutations": [
        "daterange_finished_arity_mismatch_139d5dc_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:42:59.666013680+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "1523853us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c3cea1802a86809b700174e9e7cae58d9cd34620"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:01.724640775+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "289331us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:02.260587445+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "297076us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:02.793339916+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "308278us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:03.342572398+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "281746us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:03.863552338+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "301418us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:04.404073615+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "290568us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:04.933605178+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "279731us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:05.449727434+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "290511us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:05.986964054+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "303556us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:06.532122842+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "302799us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:07.078904418+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "926286us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:08.289138961+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "911964us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:09.492200155+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "887344us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:10.647720483+00:00",
      "status": "failed",
      "tests": 114,
      "discards": 0,
      "time": "937087us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:11.866408845+00:00",
      "status": "failed",
      "tests": 114,
      "discards": 0,
      "time": "910707us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:13.051608326+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "928147us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:14.251319455+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "905757us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:15.422700835+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "900680us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:16.592151093+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "912731us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "Bytes2HumanIsRepeatable",
      "mutations": [
        "bytes2human_size_ranges_consumed_0082e13_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:17.781643016+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "946527us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "6e6c8d6faee6717c3d624f7c6b369b038968bed8"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:19.291476678+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "131173us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:19.664600496+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "48296us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:19.939458114+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "88301us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:20.257661833+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "49765us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:20.535316983+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "45747us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:20.805236864+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "192371us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:21.229815403+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "47776us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:21.507994358+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "46323us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:21.782850480+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "101052us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:22.112767392+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "48348us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:22.390229988+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "446836us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:23.103275849+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "440683us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:23.788824168+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "441695us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:24.483350391+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "431839us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:25.157138716+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "443241us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:25.846220177+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "439451us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:26.531553384+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "438060us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:27.213808354+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "446094us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:27.907877321+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "446185us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "RemapPreservesSet",
      "mutations": [
        "remap_set_passes_pairs_to_update_f74b7e5_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:28.595669289+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "438799us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "[0]",
      "hash": "d2e4a84bf6efab19c102bf96902619db58995d25"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:29.559264512+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "563026us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:30.379836537+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "524996us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:31.165209100+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "362154us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:31.790426478+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "504827us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:32.543768682+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "516746us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:33.307914121+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "367447us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:33.918495195+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "508557us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:34.671880067+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "460155us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:35.383134636+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "517691us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:36.147892936+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "359950us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:36.761179475+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "1291299us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:38.322311764+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "1296495us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:39.884379880+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "1182779us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:41.336876793+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "1289019us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:42.885776762+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "1261405us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:44.404083228+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "1394654us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:46.057507880+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "1290394us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:47.610320368+00:00",
      "status": "failed",
      "tests": 114,
      "discards": 0,
      "time": "1295959us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:49.178514282+00:00",
      "status": "failed",
      "tests": 114,
      "discards": 0,
      "time": "1301661us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "OmdEqHandlesNonIterable",
      "mutations": [
        "omd_eq_raises_on_non_iterable_31873ae_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:50.746718182+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "1190265us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "([], 0)",
      "hash": "4eb5566eaef9a9026fde725db2b09e70fa1b5732"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:52.477016495+00:00",
      "status": "failed",
      "tests": 67,
      "discards": 0,
      "time": "228730us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:52.959696131+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "231898us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:53.433537331+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "222245us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:53.890192071+00:00",
      "status": "failed",
      "tests": 72,
      "discards": 0,
      "time": "231276us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:54.361877772+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "234395us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:54.832853413+00:00",
      "status": "failed",
      "tests": 70,
      "discards": 0,
      "time": "210528us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:55.273709549+00:00",
      "status": "failed",
      "tests": 66,
      "discards": 0,
      "time": "218289us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:55.725965535+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "238096us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:56.213694290+00:00",
      "status": "failed",
      "tests": 62,
      "discards": 0,
      "time": "214731us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:56.675385339+00:00",
      "status": "failed",
      "tests": 72,
      "discards": 0,
      "time": "245889us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:57.173201723+00:00",
      "status": "failed",
      "tests": 73,
      "discards": 0,
      "time": "847495us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:58.289535247+00:00",
      "status": "failed",
      "tests": 72,
      "discards": 0,
      "time": "826107us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:43:59.382278551+00:00",
      "status": "failed",
      "tests": 70,
      "discards": 0,
      "time": "824428us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:00.469684814+00:00",
      "status": "failed",
      "tests": 82,
      "discards": 0,
      "time": "813339us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:01.541602761+00:00",
      "status": "failed",
      "tests": 75,
      "discards": 0,
      "time": "840124us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:02.641830484+00:00",
      "status": "failed",
      "tests": 72,
      "discards": 0,
      "time": "815040us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:03.710641154+00:00",
      "status": "failed",
      "tests": 79,
      "discards": 0,
      "time": "794203us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:04.762025381+00:00",
      "status": "failed",
      "tests": 76,
      "discards": 0,
      "time": "812272us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:05.825402435+00:00",
      "status": "failed",
      "tests": 78,
      "discards": 0,
      "time": "792065us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "StatsQuantileEmptyReturnsDefault",
      "mutations": [
        "stats_quantile_empty_raises_a13bfb1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:06.870751409+00:00",
      "status": "failed",
      "tests": 79,
      "discards": 0,
      "time": "810439us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "c21d920beb4b1f840ec309ee8c5404cbaf4472ee"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:08.210101374+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "315242us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:08.784865440+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "286556us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:09.320804388+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "280634us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:09.854684186+00:00",
      "status": "failed",
      "tests": 99,
      "discards": 0,
      "time": "284683us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:10.386768101+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "279982us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:10.910823081+00:00",
      "status": "failed",
      "tests": 100,
      "discards": 0,
      "time": "273585us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:11.431709469+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "300445us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:11.980662172+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "287561us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:12.529167141+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "299577us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "hypothesis",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:13.091198094+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "310977us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:13.677091582+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "1010194us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:14.957566833+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "1043953us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:16.274554156+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "1011105us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:17.553055745+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "1000185us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:18.818058001+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "979319us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:20.054369100+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "1016195us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:21.343857301+00:00",
      "status": "failed",
      "tests": 114,
      "discards": 0,
      "time": "1040489us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:22.651345125+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "1005687us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:23.915137538+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "1011676us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    },
    {
      "experiment": "ci-run",
      "workload": "boltons",
      "language": "python",
      "strategy": "crosshair",
      "property": "LruReprFieldOrder",
      "mutations": [
        "lru_repr_swaps_max_size_on_miss_bad95b6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:44:25.189153700+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "1024979us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "7f2185c43d75449b03f36650b2f8b68a52c70fc6"
    }
  ]
}