{ "experiment": "ci-run", "generated_at": "2026-05-03 16:59 UTC", "workload_docs": { "psqueues": [ { "mutations": [ "ord_psq_from_list_37c12f5_1" ], "tasks": [ { "property": "OrdPsqFromListLastOccurrenceWins", "witnesses": [ { "test_fn": "witness_ord_psq_from_list_last_occurrence_wins_case_two_dup", "note": "fromList [(1,0,100),(1,0,200)] must give lookup 1 == Just (0,200)" }, { "test_fn": "witness_ord_psq_from_list_last_occurrence_wins_case_three_dup", "note": "Mixed-key list with overrides at keys 1 and 2 must keep the last value/priority" } ] } ], "source": { "repo": "https://github.com/jaspervdj/psqueues", "commits": [ "37c12f5cef9962ca92d4198a5a3ed400e8c64e73" ], "commit_subjects": [ "Fix the fromList implementation (#50)" ], "origin": "internal", "summary": "Pre-fix `OrdPSQ.fromList` was `foldr (\\(k,p,v) q -> insert k p v q) empty`. `foldr` processes the input list right-to-left, so when an item with key `k` is followed by another item with the same key, the *first* occurrence is the one that ends up in the queue -- the opposite of the function's documented contract (\"the last priority and value for the key is retained\"). The fix swapped to `foldl'`. The patch reverts to the historical `foldr` formulation." }, "injection": { "kind": "patch", "files": [ "src/Data/OrdPSQ/Internal.hs" ], "locations": [ { "file": "src/Data/OrdPSQ/Internal.hs", "line": 292, "symbol": "fromList" } ], "patch": "patches/ord_psq_from_list_37c12f5_1.patch" }, "bug": { "short_name": "from_list_first_occurrence_wins", "invariant": "For every list `xs :: [(k, p, v)]` and every key `k` that appears in `xs`, `lookup k (fromList xs)` equals `(p, v)` for the *last* (k, p, v) triple in `xs` whose key matches.", "how_triggered": "Reverse-applying the patch swaps `foldl'` for `foldr`. For any list with at least two entries sharing a key, the buggy `fromList` retains the first-encountered (k, p, v) and discards subsequent ones, so `lookup` returns the wrong (p, v) pair." } }, { "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "tasks": [ { "property": "HashPsqInsertEqualPriorityKeyTieBreak", "witnesses": [ { "test_fn": "witness_hash_psq_insert_equal_priority_key_tie_break_case_descending", "note": "Inserting (k=2,p=0) then (k=1,p=0) must leave findMin == Just (CK 1, 0, ...)" }, { "test_fn": "witness_hash_psq_insert_equal_priority_key_tie_break_case_three_apart", "note": "Inserting (k=5,p=7) then (k=1,p=7) must leave findMin == Just (CK 1, 7, ...)" } ] } ], "source": { "repo": "https://github.com/jaspervdj/psqueues", "commits": [ "c107f382d7c93692e0bb64140c4f6823f25d76e1" ], "commit_subjects": [ "HashPSQ.valid (and fix bug found using valid...)" ], "origin": "internal", "summary": "Pre-fix `HashPSQ.insert` used a non-strict priority comparison `p' <= p` to decide whether the existing bucket head should stay or whether the incoming item should take its place. When two distinct keys hash to the same `IntPSQ` slot and are inserted with *equal* priority, `<=` keeps whichever item was inserted first as the bucket head -- regardless of which key is smaller. The fix introduced a strict `p' < p || (p == p' && k' < k)` form that breaks ties by key. The patch reverts the priority guard to `p' <= p`." }, "injection": { "kind": "patch", "files": [ "src/Data/HashPSQ/Internal.hs" ], "locations": [ { "file": "src/Data/HashPSQ/Internal.hs", "line": 184, "symbol": "insert" } ], "patch": "patches/hash_psq_insert_equal_priority_c107f38_1.patch" }, "bug": { "short_name": "hash_psq_insert_drops_smaller_key_at_equal_priority", "invariant": "For any two distinct keys `k1`, `k2` that share a hash slot and any priority `p`, `findMin (insert k2 p v2 (insert k1 p v1 empty))` equals `Just (min k1 k2, p, v_min)` where `v_min` is the value associated with the smaller key.", "how_triggered": "Reverse-applying the patch turns the strict priority+key comparison back into `p' <= p`. When the second insert has the same priority but a smaller key, the buggy version drops it into the OrdPSQ tail instead of promoting it to the bucket head, so `findMin` returns the larger key." } }, { "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "tasks": [ { "property": "OrdPsqBalanceAfterOperations", "witnesses": [ { "test_fn": "witness_ord_psq_balance_after_operations_case_ascending_64", "note": "64 ascending inserts must produce a tree that passes OrdPSQ.valid" }, { "test_fn": "witness_ord_psq_balance_after_operations_case_ascending_128", "note": "128 ascending inserts must produce a tree that passes OrdPSQ.valid" } ] } ], "source": { "repo": "https://github.com/jaspervdj/psqueues", "commits": [ "6a4a2b735be37099738ace78c28a252dd5391a39" ], "commit_subjects": [ "Fix OrdPSQ tree balancing logic. fixes #60 (#61)" ], "origin": "internal", "summary": "Pre-fix `lbalance`/`rbalance` short-circuited unconditionally whenever either child was `Start` (a leaf), regardless of how deeply nested the opposite child was. This was an attempted optimisation of Hinze's original paper, but it skipped the omega-rebalancing trigger on inserts at the boundary -- so a long ascending insert sequence produces a tree that satisfies the BST and heap invariants but violates the omega-balance invariant. The fix reverted to the paper's formulation (with a `size' r + size' l < 2` guard for the trivial cases). The patch reverts to the historical short-circuit form." }, "injection": { "kind": "patch", "files": [ "src/Data/OrdPSQ/Internal.hs" ], "locations": [ { "file": "src/Data/OrdPSQ/Internal.hs", "line": 522, "symbol": "lbalance" } ], "patch": "patches/ord_psq_balance_6a4a2b7_1.patch" }, "bug": { "short_name": "lbalance_skips_rebalance_on_start_child", "invariant": "After an arbitrary sequence of `insert` and `delete` operations, `OrdPSQ.valid q` must return `True` (which on modern HEAD includes the omega-balance check `hasBalancedTreeProperty`).", "how_triggered": "Reverse-applying the patch puts back the `Start`-child short-circuits in `lbalance`/`rbalance`. A monotonically-ascending insert sequence repeatedly hits the short-circuit (the left child stays `Start`, the right grows unbounded), so the resulting tree fails `hasBalancedTreeProperty` and `valid` returns `False`." } } ] }, "metrics": [ { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:34.808558696+00:00", "status": "failed", "tests": 5, "discards": 0, "time": "147us", "error": null, "tool": "quickcheck", "counterexample": "FromListArgs {fromListItems = [(4,19,3),(4,1,4),(1,-31,1)]}fromList: key 4: got Just (19,3), expected Just (1,4)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:34.973885133+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "165us", "error": null, "tool": "quickcheck", "counterexample": "FromListArgs {fromListItems = [(0,-3,2),(0,2,-2)]}fromList: key 0: got Just (-3,2), expected Just (2,-2)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:35.139051010+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "162us", "error": null, "tool": "quickcheck", "counterexample": "FromListArgs {fromListItems = [(0,6,2),(0,-44,-2)]}fromList: key 0: got Just (6,2), expected Just (-44,-2)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:35.304036871+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "131us", "error": null, "tool": "quickcheck", "counterexample": "FromListArgs {fromListItems = [(2,-22,0),(2,26,2)]}fromList: key 2: got Just (-22,0), expected Just (26,2)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:35.469360352+00:00", "status": "failed", "tests": 7, "discards": 0, "time": "180us", "error": null, "tool": "quickcheck", "counterexample": "FromListArgs {fromListItems = [(1,40,4),(1,28,6),(1,-8,-4),(1,4,-3)]}fromList: key 1: got Just (40,4), expected Just (4,-3)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:35.644774955+00:00", "status": "failed", "tests": 7, "discards": 0, "time": "159us", "error": null, "tool": "quickcheck", "counterexample": "FromListArgs {fromListItems = [(1,-26,1),(3,39,1),(1,-8,-6),(1,-32,-1)]}fromList: key 1: got Just (-26,1), expected Just (-32,-1)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:35.809929303+00:00", "status": "failed", "tests": 4, "discards": 0, "time": "141us", "error": null, "tool": "quickcheck", "counterexample": "FromListArgs {fromListItems = [(1,-40,-3),(1,-21,-3)]}fromList: key 1: got Just (-40,-3), expected Just (-21,-3)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:35.974973400+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "138us", "error": null, "tool": "quickcheck", "counterexample": "FromListArgs {fromListItems = [(1,-47,-2),(1,34,-1)]}fromList: key 1: got Just (-47,-2), expected Just (34,-1)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:36.140194010+00:00", "status": "failed", "tests": 5, "discards": 0, "time": "174us", "error": null, "tool": "quickcheck", "counterexample": "FromListArgs {fromListItems = [(4,23,-2),(1,50,4),(4,-31,-4)]}fromList: key 4: got Just (23,-2), expected Just (-31,-4)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:36.306088286+00:00", "status": "failed", "tests": 6, "discards": 0, "time": "151us", "error": null, "tool": "quickcheck", "counterexample": "FromListArgs {fromListItems = [(3,-34,0),(3,29,-3),(4,-18,2)]}fromList: key 3: got Just (-34,0), expected Just (29,-3)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:36.471281945+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "2042us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:36.636589484+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "2047us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:36.801620099+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1833us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:36.966913183+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1992us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:37.141963849+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1940us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:37.306985751+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "2270us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:37.472150451+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1995us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:37.637317665+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1874us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:37.812477414+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "2504us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:37.978160782+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1946us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:38.142489229+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "108us", "error": null, "tool": "falsify", "counterexample": "FromListArgs {fromListItems = [(0,-50,-100),(0,-50,-99)]}: fromList: key 0: got Just (-50,-100), expected Just (-50,-99)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:38.307580983+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "96us", "error": null, "tool": "falsify", "counterexample": "FromListArgs {fromListItems = [(3,-50,-100),(3,-50,-99)]}: fromList: key 3: got Just (-50,-100), expected Just (-50,-99)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:38.472532175+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "132us", "error": null, "tool": "falsify", "counterexample": "FromListArgs {fromListItems = [(1,-50,-100),(1,-50,-99)]}: fromList: key 1: got Just (-50,-100), expected Just (-50,-99)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:38.637668712+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "97us", "error": null, "tool": "falsify", "counterexample": "FromListArgs {fromListItems = [(0,-50,-100),(0,-50,-99)]}: fromList: key 0: got Just (-50,-100), expected Just (-50,-99)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:38.802865491+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "95us", "error": null, "tool": "falsify", "counterexample": "FromListArgs {fromListItems = [(4,-50,-100),(4,-50,-99)]}: fromList: key 4: got Just (-50,-100), expected Just (-50,-99)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:38.968073001+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "105us", "error": null, "tool": "falsify", "counterexample": "FromListArgs {fromListItems = [(0,-50,-100),(0,-50,-100),(0,-50,-100),(0,-50,-99)]}: fromList: key 0: got Just (-50,-100), expected Just (-50,-99)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:39.133985900+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "82us", "error": null, "tool": "falsify", "counterexample": "FromListArgs {fromListItems = [(0,-50,-100),(0,-50,-99)]}: fromList: key 0: got Just (-50,-100), expected Just (-50,-99)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:39.298908527+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "98us", "error": null, "tool": "falsify", "counterexample": "FromListArgs {fromListItems = [(0,-50,-100),(0,-50,-99)]}: fromList: key 0: got Just (-50,-100), expected Just (-50,-99)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:39.464086841+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "105us", "error": null, "tool": "falsify", "counterexample": "FromListArgs {fromListItems = [(0,-50,-100),(0,-50,-100),(0,-50,-100),(0,-50,-99)]}: fromList: key 0: got Just (-50,-100), expected Just (-50,-99)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:39.629649620+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "100us", "error": null, "tool": "falsify", "counterexample": "FromListArgs {fromListItems = [(0,-50,-100),(0,-50,-99)]}: fromList: key 0: got Just (-50,-100), expected Just (-50,-99)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:39.795194630+00:00", "status": "failed", "tests": 10, "discards": 0, "time": "168us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"FromListArgs {fromListItems = [(0,0,0),(0,0,1)]}\"] (PropertyFalse Nothing)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:39.960916299+00:00", "status": "failed", "tests": 10, "discards": 0, "time": "166us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"FromListArgs {fromListItems = [(0,0,0),(0,0,1)]}\"] (PropertyFalse Nothing)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:40.125935667+00:00", "status": "failed", "tests": 10, "discards": 0, "time": "170us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"FromListArgs {fromListItems = [(0,0,0),(0,0,1)]}\"] (PropertyFalse Nothing)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:40.291419152+00:00", "status": "failed", "tests": 10, "discards": 0, "time": "174us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"FromListArgs {fromListItems = [(0,0,0),(0,0,1)]}\"] (PropertyFalse Nothing)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:40.456459088+00:00", "status": "failed", "tests": 10, "discards": 0, "time": "183us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"FromListArgs {fromListItems = [(0,0,0),(0,0,1)]}\"] (PropertyFalse Nothing)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:40.621565118+00:00", "status": "failed", "tests": 10, "discards": 0, "time": "187us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"FromListArgs {fromListItems = [(0,0,0),(0,0,1)]}\"] (PropertyFalse Nothing)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:40.786922347+00:00", "status": "failed", "tests": 10, "discards": 0, "time": "168us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"FromListArgs {fromListItems = [(0,0,0),(0,0,1)]}\"] (PropertyFalse Nothing)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:40.952238649+00:00", "status": "failed", "tests": 10, "discards": 0, "time": "169us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"FromListArgs {fromListItems = [(0,0,0),(0,0,1)]}\"] (PropertyFalse Nothing)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:41.117582914+00:00", "status": "failed", "tests": 10, "discards": 0, "time": "173us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"FromListArgs {fromListItems = [(0,0,0),(0,0,1)]}\"] (PropertyFalse Nothing)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqFromListLastOccurrenceWins", "mutations": [ "ord_psq_from_list_37c12f5_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:41.282658597+00:00", "status": "failed", "tests": 10, "discards": 0, "time": "170us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"FromListArgs {fromListItems = [(0,0,0),(0,0,1)]}\"] (PropertyFalse Nothing)", "hash": "be4ad65ab0a2e7eb5ea1f17b6022762d68a11193" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:49.876724824+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "139us", "error": null, "tool": "quickcheck", "counterexample": "EqPriorityArgs {epK1 = -8, epK2 = -12, epPrio = 27, epV1 = 0, epV2 = 0}findMin: got Just (CK -8,27,0), expected Just (CK -12,27,0) (inserts: k1=-8, k2=-12, p=27)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:50.041952686+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "134us", "error": null, "tool": "quickcheck", "counterexample": "EqPriorityArgs {epK1 = 14, epK2 = 8, epPrio = 11, epV1 = -1, epV2 = 1}findMin: got Just (CK 14,11,-1), expected Just (CK 8,11,1) (inserts: k1=14, k2=8, p=11)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:50.206970687+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "120us", "error": null, "tool": "quickcheck", "counterexample": "EqPriorityArgs {epK1 = -8, epK2 = -12, epPrio = -47, epV1 = 0, epV2 = 0}findMin: got Just (CK -8,-47,0), expected Just (CK -12,-47,0) (inserts: k1=-8, k2=-12, p=-47)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:50.371964913+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "137us", "error": null, "tool": "quickcheck", "counterexample": "EqPriorityArgs {epK1 = 18, epK2 = -20, epPrio = -3, epV1 = 1, epV2 = 0}findMin: got Just (CK 18,-3,1), expected Just (CK -20,-3,0) (inserts: k1=18, k2=-20, p=-3)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:50.537279787+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "121us", "error": null, "tool": "quickcheck", "counterexample": "EqPriorityArgs {epK1 = -7, epK2 = -8, epPrio = -30, epV1 = 0, epV2 = 0}findMin: got Just (CK -7,-30,0), expected Just (CK -8,-30,0) (inserts: k1=-7, k2=-8, p=-30)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:50.702585314+00:00", "status": "failed", "tests": 4, "discards": 0, "time": "151us", "error": null, "tool": "quickcheck", "counterexample": "EqPriorityArgs {epK1 = 12, epK2 = 6, epPrio = 45, epV1 = 3, epV2 = -1}findMin: got Just (CK 12,45,3), expected Just (CK 6,45,-1) (inserts: k1=12, k2=6, p=45)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:50.867651554+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "140us", "error": null, "tool": "quickcheck", "counterexample": "EqPriorityArgs {epK1 = 5, epK2 = 4, epPrio = 40, epV1 = -1, epV2 = 1}findMin: got Just (CK 5,40,-1), expected Just (CK 4,40,1) (inserts: k1=5, k2=4, p=40)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:51.033009066+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "136us", "error": null, "tool": "quickcheck", "counterexample": "EqPriorityArgs {epK1 = -1, epK2 = -18, epPrio = -6, epV1 = 0, epV2 = -1}findMin: got Just (CK -1,-6,0), expected Just (CK -18,-6,-1) (inserts: k1=-1, k2=-18, p=-6)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:51.198161247+00:00", "status": "failed", "tests": 4, "discards": 0, "time": "140us", "error": null, "tool": "quickcheck", "counterexample": "EqPriorityArgs {epK1 = 18, epK2 = 0, epPrio = 46, epV1 = 3, epV2 = 2}findMin: got Just (CK 18,46,3), expected Just (CK 0,46,2) (inserts: k1=18, k2=0, p=46)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:51.363175029+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "118us", "error": null, "tool": "quickcheck", "counterexample": "EqPriorityArgs {epK1 = 1, epK2 = -15, epPrio = -32, epV1 = 0, epV2 = 0}findMin: got Just (CK 1,-32,0), expected Just (CK -15,-32,0) (inserts: k1=1, k2=-15, p=-32)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:51.528768984+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "927us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:51.694158951+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1075us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:51.859965310+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1051us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:52.025555451+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "945us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:52.190590082+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1098us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:52.356480038+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1063us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:52.521796044+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1014us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:52.687192982+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1144us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:52.852504169+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1365us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.018117951+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "924us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.183514909+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "78us", "error": null, "tool": "falsify", "counterexample": "EqPriorityArgs {epK1 = -19, epK2 = -20, epPrio = -50, epV1 = -100, epV2 = -100}: findMin: got Just (CK -19,-50,-100), expected Just (CK -20,-50,-100) (inserts: k1=-19, k2=-20, p=-50)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.348608814+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "98us", "error": null, "tool": "falsify", "counterexample": "EqPriorityArgs {epK1 = -19, epK2 = -20, epPrio = -50, epV1 = -100, epV2 = -100}: findMin: got Just (CK -19,-50,-100), expected Just (CK -20,-50,-100) (inserts: k1=-19, k2=-20, p=-50)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.513965720+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "69us", "error": null, "tool": "falsify", "counterexample": "EqPriorityArgs {epK1 = -19, epK2 = -20, epPrio = -50, epV1 = -100, epV2 = -100}: findMin: got Just (CK -19,-50,-100), expected Just (CK -20,-50,-100) (inserts: k1=-19, k2=-20, p=-50)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.680055016+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "69us", "error": null, "tool": "falsify", "counterexample": "EqPriorityArgs {epK1 = -19, epK2 = -20, epPrio = -50, epV1 = -100, epV2 = -100}: findMin: got Just (CK -19,-50,-100), expected Just (CK -20,-50,-100) (inserts: k1=-19, k2=-20, p=-50)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.845725382+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "68us", "error": null, "tool": "falsify", "counterexample": "EqPriorityArgs {epK1 = -19, epK2 = -20, epPrio = -50, epV1 = -100, epV2 = -100}: findMin: got Just (CK -19,-50,-100), expected Just (CK -20,-50,-100) (inserts: k1=-19, k2=-20, p=-50)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.011259459+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "67us", "error": null, "tool": "falsify", "counterexample": "EqPriorityArgs {epK1 = -19, epK2 = -20, epPrio = -50, epV1 = -100, epV2 = -100}: findMin: got Just (CK -19,-50,-100), expected Just (CK -20,-50,-100) (inserts: k1=-19, k2=-20, p=-50)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.176257957+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "78us", "error": null, "tool": "falsify", "counterexample": "EqPriorityArgs {epK1 = -19, epK2 = -20, epPrio = -50, epV1 = -100, epV2 = -100}: findMin: got Just (CK -19,-50,-100), expected Just (CK -20,-50,-100) (inserts: k1=-19, k2=-20, p=-50)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.341318640+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "67us", "error": null, "tool": "falsify", "counterexample": "EqPriorityArgs {epK1 = -19, epK2 = -20, epPrio = -50, epV1 = -100, epV2 = -100}: findMin: got Just (CK -19,-50,-100), expected Just (CK -20,-50,-100) (inserts: k1=-19, k2=-20, p=-50)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.506783168+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "66us", "error": null, "tool": "falsify", "counterexample": "EqPriorityArgs {epK1 = -19, epK2 = -20, epPrio = -50, epV1 = -100, epV2 = -100}: findMin: got Just (CK -19,-50,-100), expected Just (CK -20,-50,-100) (inserts: k1=-19, k2=-20, p=-50)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.671839643+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "67us", "error": null, "tool": "falsify", "counterexample": "EqPriorityArgs {epK1 = -19, epK2 = -20, epPrio = -50, epV1 = -100, epV2 = -100}: findMin: got Just (CK -19,-50,-100), expected Just (CK -20,-50,-100) (inserts: k1=-19, k2=-20, p=-50)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.837335980+00:00", "status": "failed", "tests": 687, "discards": 0, "time": "2224us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"EqPriorityArgs {epK1 = 0, epK2 = -1, epPrio = 0, epV1 = 0, epV2 = 0}\"] (PropertyFalse Nothing)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.002682848+00:00", "status": "failed", "tests": 687, "discards": 0, "time": "2189us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"EqPriorityArgs {epK1 = 0, epK2 = -1, epPrio = 0, epV1 = 0, epV2 = 0}\"] (PropertyFalse Nothing)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.167818561+00:00", "status": "failed", "tests": 687, "discards": 0, "time": "2204us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"EqPriorityArgs {epK1 = 0, epK2 = -1, epPrio = 0, epV1 = 0, epV2 = 0}\"] (PropertyFalse Nothing)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.333284601+00:00", "status": "failed", "tests": 687, "discards": 0, "time": "2144us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"EqPriorityArgs {epK1 = 0, epK2 = -1, epPrio = 0, epV1 = 0, epV2 = 0}\"] (PropertyFalse Nothing)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.498437316+00:00", "status": "failed", "tests": 687, "discards": 0, "time": "2179us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"EqPriorityArgs {epK1 = 0, epK2 = -1, epPrio = 0, epV1 = 0, epV2 = 0}\"] (PropertyFalse Nothing)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.663899650+00:00", "status": "failed", "tests": 687, "discards": 0, "time": "2163us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"EqPriorityArgs {epK1 = 0, epK2 = -1, epPrio = 0, epV1 = 0, epV2 = 0}\"] (PropertyFalse Nothing)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.828992613+00:00", "status": "failed", "tests": 687, "discards": 0, "time": "2167us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"EqPriorityArgs {epK1 = 0, epK2 = -1, epPrio = 0, epV1 = 0, epV2 = 0}\"] (PropertyFalse Nothing)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.994451039+00:00", "status": "failed", "tests": 687, "discards": 0, "time": "2154us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"EqPriorityArgs {epK1 = 0, epK2 = -1, epPrio = 0, epV1 = 0, epV2 = 0}\"] (PropertyFalse Nothing)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.159986228+00:00", "status": "failed", "tests": 687, "discards": 0, "time": "2190us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"EqPriorityArgs {epK1 = 0, epK2 = -1, epPrio = 0, epV1 = 0, epV2 = 0}\"] (PropertyFalse Nothing)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "HashPsqInsertEqualPriorityKeyTieBreak", "mutations": [ "hash_psq_insert_equal_priority_c107f38_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.325056941+00:00", "status": "failed", "tests": 687, "discards": 0, "time": "2177us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"EqPriorityArgs {epK1 = 0, epK2 = -1, epPrio = 0, epV1 = 0, epV2 = 0}\"] (PropertyFalse Nothing)", "hash": "ec120ca4cc3b6719758ec74ac124ca23f3bbdfb7" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:06.472478147+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "10175us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:06.647610704+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "10093us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:06.823225710+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "10034us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:06.998927729+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "10140us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:07.174005603+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "10085us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:07.349565517+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "10119us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:07.524668740+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "10122us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:07.700324555+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "9990us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:07.875505654+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "10112us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "quickcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:08.050878391+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "10072us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:08.226366013+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "20590us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:08.411465963+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "20946us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:08.596570982+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "21796us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:08.780926693+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "21655us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:08.966390011+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "21812us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:09.151527693+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "21306us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:09.336652413+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "22172us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:09.521733562+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "21479us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:09.707381147+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "20111us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "hedgehog", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:09.892541253+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "20002us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.078468450+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "11233us", "error": null, "tool": "falsify", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.253961296+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "11481us", "error": null, "tool": "falsify", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.429080826+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "10544us", "error": null, "tool": "falsify", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.604181661+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "11058us", "error": null, "tool": "falsify", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.779329894+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "11593us", "error": null, "tool": "falsify", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:10.954665307+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "12513us", "error": null, "tool": "falsify", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.129811867+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "12045us", "error": null, "tool": "falsify", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.305032695+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "12306us", "error": null, "tool": "falsify", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.480093496+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "11791us", "error": null, "tool": "falsify", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "falsify", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.656553927+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "11890us", "error": null, "tool": "falsify", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:59:11.832166547+00:00", "status": "passed", "tests": 11831, "discards": 0, "time": "4485348us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:59:16.478532610+00:00", "status": "passed", "tests": 11831, "discards": 0, "time": "4545296us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:59:21.184249500+00:00", "status": "passed", "tests": 11831, "discards": 0, "time": "4481112us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:59:25.830901629+00:00", "status": "passed", "tests": 11831, "discards": 0, "time": "4499394us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:59:30.486593816+00:00", "status": "passed", "tests": 11831, "discards": 0, "time": "4551567us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:59:35.203443962+00:00", "status": "passed", "tests": 11831, "discards": 0, "time": "4482734us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:59:39.848841135+00:00", "status": "passed", "tests": 11831, "discards": 0, "time": "4546945us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:59:44.555797821+00:00", "status": "passed", "tests": 11831, "discards": 0, "time": "4516420us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:59:49.232921547+00:00", "status": "passed", "tests": 11831, "discards": 0, "time": "4542148us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" }, { "experiment": "ci-run", "workload": "psqueues", "language": "haskell", "strategy": "smallcheck", "property": "OrdPsqBalanceAfterOperations", "mutations": [ "ord_psq_balance_6a4a2b7_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:59:53.938128826+00:00", "status": "passed", "tests": 11831, "discards": 0, "time": "4571072us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "678fbcd0e0adc938c108e87d8df05174996e5821" } ] }