{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.475227353+00:00","status":"failed","tests":33,"discards":0,"time":"97us","error":null,"tool":"proptest","counterexample":"(a_upper=713787723 b_upper=18348342312991406134)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.476745520+00:00","status":"failed","tests":33,"discards":0,"time":"75us","error":null,"tool":"proptest","counterexample":"(a_upper=1202985214457490694 b_upper=8020386822470705700)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.477895314+00:00","status":"failed","tests":33,"discards":0,"time":"82us","error":null,"tool":"proptest","counterexample":"(a_upper=3561763063172203721 b_upper=5661608975389254122)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.479030191+00:00","status":"failed","tests":34,"discards":0,"time":"81us","error":null,"tool":"proptest","counterexample":"(a_upper=143268037 b_upper=11531961838496825860)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.480175145+00:00","status":"failed","tests":33,"discards":0,"time":"81us","error":null,"tool":"proptest","counterexample":"(a_upper=1907093308 b_upper=13256170673177172056)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.481260550+00:00","status":"failed","tests":33,"discards":0,"time":"75us","error":null,"tool":"proptest","counterexample":"(a_upper=569118588 b_upper=13032981984538746984)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.482405143+00:00","status":"failed","tests":33,"discards":0,"time":"70us","error":null,"tool":"proptest","counterexample":"(a_upper=939165721576888389 b_upper=8284206315380461680)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.483489937+00:00","status":"failed","tests":33,"discards":0,"time":"78us","error":null,"tool":"proptest","counterexample":"(a_upper=37432168 b_upper=10119274022712221947)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.484597631+00:00","status":"failed","tests":33,"discards":0,"time":"79us","error":null,"tool":"proptest","counterexample":"(a_upper=168546900 b_upper=12781394598998440245)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.485702703+00:00","status":"failed","tests":33,"discards":0,"time":"68us","error":null,"tool":"proptest","counterexample":"(a_upper=2550979398 b_upper=17630352745527543235)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.486914562+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"(a_upper=1 b_upper=10213647788429304512)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.488038973+00:00","status":"failed","tests":4,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"(a_upper=7308141835686291033 b_upper=18221974803002849692)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.489131296+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"(a_upper=4855781337349945086 b_upper=11687956266592143133)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.490168921+00:00","status":"failed","tests":1,"discards":0,"time":"17us","error":null,"tool":"quickcheck","counterexample":"(a_upper=2814616934618790209 b_upper=8685186637515300908)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.491240789+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"(a_upper=6678019638614828304 b_upper=18446744073709551615)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.492284124+00:00","status":"failed","tests":1,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"(a_upper=14332506820136907055 b_upper=16396489034620648985)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.493327890+00:00","status":"failed","tests":1,"discards":0,"time":"17us","error":null,"tool":"quickcheck","counterexample":"(a_upper=11472610089434824007 b_upper=8063697954984359458)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.494344526+00:00","status":"failed","tests":1,"discards":0,"time":"14us","error":null,"tool":"quickcheck","counterexample":"(a_upper=15097769324160003466 b_upper=7156612931763592671)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.495407367+00:00","status":"failed","tests":1,"discards":0,"time":"17us","error":null,"tool":"quickcheck","counterexample":"(a_upper=6108444214965056510 b_upper=15780194042450712165)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.496441055+00:00","status":"failed","tests":1,"discards":0,"time":"15us","error":null,"tool":"quickcheck","counterexample":"(a_upper=8846382244714577998 b_upper=16536922006113350483)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.497582954+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"(a_upper=13032774483032373744 b_upper=15371114256180972397)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.498587927+00:00","status":"failed","tests":2,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"(a_upper=5010827772925991486 b_upper=6305926198549488871)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.499631883+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(a_upper=9085986776781143162 b_upper=1030648723851160575)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.500680168+00:00","status":"failed","tests":1,"discards":0,"time":"24us","error":null,"tool":"crabcheck","counterexample":"(a_upper=5350497482974974492 b_upper=12973843703488570037)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.501676715+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(a_upper=15616555501128209671 b_upper=8345971113645830189)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.502790814+00:00","status":"failed","tests":2,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"(a_upper=17958510667062064005 b_upper=3705730185873886917)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.503913266+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"(a_upper=7059443504870871650 b_upper=5954346125926613245)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.504955049+00:00","status":"failed","tests":1,"discards":0,"time":"24us","error":null,"tool":"crabcheck","counterexample":"(a_upper=6888149499703833784 b_upper=5231235931828114243)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.505992693+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"(a_upper=5900637189325572717 b_upper=9179342257223465074)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.507075182+00:00","status":"failed","tests":2,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"(a_upper=17560866328950523577 b_upper=10801160023612748254)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:22.508265010+00:00","status":"failed","tests":102,"discards":0,"time":"1089125us","error":null,"tool":"hegel","counterexample":"(a_upper=0 b_upper=9223372036854775808)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:23.598713280+00:00","status":"failed","tests":102,"discards":0,"time":"273386us","error":null,"tool":"hegel","counterexample":"(a_upper=0 b_upper=9223372036854775808)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:23.873818840+00:00","status":"failed","tests":102,"discards":0,"time":"272538us","error":null,"tool":"hegel","counterexample":"(a_upper=0 b_upper=9223372036854775808)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:24.148038098+00:00","status":"failed","tests":102,"discards":0,"time":"274552us","error":null,"tool":"hegel","counterexample":"(a_upper=0 b_upper=9223372036854775808)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:24.424178485+00:00","status":"failed","tests":102,"discards":0,"time":"273857us","error":null,"tool":"hegel","counterexample":"(a_upper=0 b_upper=9223372036854775808)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:24.699676552+00:00","status":"failed","tests":102,"discards":0,"time":"273818us","error":null,"tool":"hegel","counterexample":"(a_upper=0 b_upper=9223372036854775808)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:24.975084572+00:00","status":"failed","tests":102,"discards":0,"time":"276450us","error":null,"tool":"hegel","counterexample":"(a_upper=0 b_upper=9223372036854775808)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:25.253213912+00:00","status":"failed","tests":102,"discards":0,"time":"271792us","error":null,"tool":"hegel","counterexample":"(a_upper=0 b_upper=9223372036854775808)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:25.526583691+00:00","status":"failed","tests":102,"discards":0,"time":"277909us","error":null,"tool":"hegel","counterexample":"(a_upper=0 b_upper=9223372036854775808)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"MergeJoinSizeHintOverflow","mutations":["merge_join_size_hint_overflow_9f41c18_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:25.806184110+00:00","status":"failed","tests":102,"discards":0,"time":"277221us","error":null,"tool":"hegel","counterexample":"(a_upper=0 b_upper=9223372036854775808)"},"hash":"0ea63b41183f240eb6afdd1593ab2cde15564e21"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.647627449+00:00","status":"failed","tests":9,"discards":0,"time":"61us","error":null,"tool":"proptest","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.648973695+00:00","status":"failed","tests":9,"discards":0,"time":"56us","error":null,"tool":"proptest","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.650036019+00:00","status":"failed","tests":8,"discards":0,"time":"54us","error":null,"tool":"proptest","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.651157891+00:00","status":"failed","tests":9,"discards":0,"time":"55us","error":null,"tool":"proptest","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.652256353+00:00","status":"failed","tests":9,"discards":0,"time":"54us","error":null,"tool":"proptest","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.653324559+00:00","status":"failed","tests":8,"discards":0,"time":"50us","error":null,"tool":"proptest","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.654387219+00:00","status":"failed","tests":9,"discards":0,"time":"54us","error":null,"tool":"proptest","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.655440453+00:00","status":"failed","tests":6,"discards":0,"time":"61us","error":null,"tool":"proptest","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.656496811+00:00","status":"failed","tests":9,"discards":0,"time":"47us","error":null,"tool":"proptest","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.657543443+00:00","status":"failed","tests":7,"discards":0,"time":"56us","error":null,"tool":"proptest","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.658929206+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"(pool_len=139)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.659941193+00:00","status":"failed","tests":1,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"(pool_len=207)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.660993092+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"(pool_len=145)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.661981365+00:00","status":"failed","tests":1,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"(pool_len=227)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.662981037+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.663997502+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"(pool_len=205)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.664989640+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"(pool_len=79)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.666006452+00:00","status":"failed","tests":1,"discards":0,"time":"25us","error":null,"tool":"quickcheck","counterexample":"(pool_len=90)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.667171208+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"(pool_len=188)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.668318386+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"(pool_len=176)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.669612901+00:00","status":"failed","tests":1,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(pool_len=155)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.670637465+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(pool_len=12)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.671641515+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(pool_len=68)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.672699268+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"(pool_len=109)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.673738893+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(pool_len=230)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.674753346+00:00","status":"failed","tests":1,"discards":0,"time":"24us","error":null,"tool":"crabcheck","counterexample":"(pool_len=77)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.675738870+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"(pool_len=13)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.676736521+00:00","status":"failed","tests":1,"discards":0,"time":"37us","error":null,"tool":"crabcheck","counterexample":"(pool_len=25)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.677806805+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(pool_len=126)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.678810747+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(pool_len=22)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.680109427+00:00","status":"failed","tests":12,"discards":0,"time":"160557us","error":null,"tool":"hegel","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:29.841971114+00:00","status":"failed","tests":12,"discards":0,"time":"162378us","error":null,"tool":"hegel","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:30.006005302+00:00","status":"failed","tests":12,"discards":0,"time":"162954us","error":null,"tool":"hegel","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:30.170356026+00:00","status":"failed","tests":12,"discards":0,"time":"161634us","error":null,"tool":"hegel","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:30.333595797+00:00","status":"failed","tests":12,"discards":0,"time":"161245us","error":null,"tool":"hegel","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:30.496445297+00:00","status":"failed","tests":12,"discards":0,"time":"161242us","error":null,"tool":"hegel","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:30.659226689+00:00","status":"failed","tests":12,"discards":0,"time":"162133us","error":null,"tool":"hegel","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:30.823932688+00:00","status":"failed","tests":12,"discards":0,"time":"161600us","error":null,"tool":"hegel","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:30.987107988+00:00","status":"failed","tests":12,"discards":0,"time":"166350us","error":null,"tool":"hegel","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CombinationsZero","mutations":["combinations_zero_empty_13aa10e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:31.154939659+00:00","status":"failed","tests":12,"discards":0,"time":"162093us","error":null,"tool":"hegel","counterexample":"(pool_len=0)"},"hash":"e62e7aa30f70d15bec4e4c8de62842894ed2baed"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.853999554+00:00","status":"failed","tests":9,"discards":0,"time":"72us","error":null,"tool":"proptest","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.855309613+00:00","status":"failed","tests":9,"discards":0,"time":"52us","error":null,"tool":"proptest","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.856372725+00:00","status":"failed","tests":9,"discards":0,"time":"55us","error":null,"tool":"proptest","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.857458809+00:00","status":"failed","tests":9,"discards":0,"time":"53us","error":null,"tool":"proptest","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.858502465+00:00","status":"failed","tests":8,"discards":0,"time":"47us","error":null,"tool":"proptest","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.859539076+00:00","status":"failed","tests":8,"discards":0,"time":"51us","error":null,"tool":"proptest","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.860580889+00:00","status":"failed","tests":9,"discards":0,"time":"51us","error":null,"tool":"proptest","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.861630344+00:00","status":"failed","tests":5,"discards":0,"time":"56us","error":null,"tool":"proptest","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.862675663+00:00","status":"failed","tests":8,"discards":0,"time":"50us","error":null,"tool":"proptest","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.863712785+00:00","status":"failed","tests":9,"discards":0,"time":"51us","error":null,"tool":"proptest","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.865083923+00:00","status":"failed","tests":1,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"(k_byte=166)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.866118691+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"(k_byte=244)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.867129065+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"(k_byte=140)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.868155197+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"(k_byte=252)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.869172213+00:00","status":"failed","tests":1,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"(k_byte=1)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.870166696+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"(k_byte=56)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.871158505+00:00","status":"failed","tests":1,"discards":0,"time":"17us","error":null,"tool":"quickcheck","counterexample":"(k_byte=65)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.872186390+00:00","status":"failed","tests":1,"discards":0,"time":"15us","error":null,"tool":"quickcheck","counterexample":"(k_byte=4)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.873231689+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"(k_byte=251)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.874237583+00:00","status":"failed","tests":1,"discards":0,"time":"17us","error":null,"tool":"quickcheck","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.875578013+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"(k_byte=156)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.876595579+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(k_byte=58)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.877604530+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(k_byte=6)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.878609042+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(k_byte=9)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.879634935+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(k_byte=28)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.880621122+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(k_byte=26)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.881603233+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(k_byte=189)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.882633372+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(k_byte=73)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.883693519+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(k_byte=34)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.884687651+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(k_byte=251)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.886097200+00:00","status":"failed","tests":12,"discards":0,"time":"160195us","error":null,"tool":"hegel","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:35.047472524+00:00","status":"failed","tests":12,"discards":0,"time":"165636us","error":null,"tool":"hegel","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:35.214533800+00:00","status":"failed","tests":12,"discards":0,"time":"162791us","error":null,"tool":"hegel","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:35.378806698+00:00","status":"failed","tests":12,"discards":0,"time":"162493us","error":null,"tool":"hegel","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:35.542664853+00:00","status":"failed","tests":12,"discards":0,"time":"162093us","error":null,"tool":"hegel","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:35.706229095+00:00","status":"failed","tests":12,"discards":0,"time":"163266us","error":null,"tool":"hegel","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:35.870975305+00:00","status":"failed","tests":12,"discards":0,"time":"162929us","error":null,"tool":"hegel","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:36.035334058+00:00","status":"failed","tests":12,"discards":0,"time":"165025us","error":null,"tool":"hegel","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:36.202062862+00:00","status":"failed","tests":12,"discards":0,"time":"163968us","error":null,"tool":"hegel","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"CwrSizeHintOverflow","mutations":["cwr_remaining_overflow_c13ee58_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:36.367608373+00:00","status":"failed","tests":12,"discards":0,"time":"162450us","error":null,"tool":"hegel","counterexample":"(k_byte=0)"},"hash":"17eb2fb37fdd221413da18067eb7189d4d3524b6"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.104754137+00:00","status":"failed","tests":36,"discards":0,"time":"243us","error":null,"tool":"proptest","counterexample":"(inputs=[[-24], [-145, -128, -21, 118], [-174, -171, -98, 25, 142], [-197, -116, 93]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.106229925+00:00","status":"failed","tests":39,"discards":0,"time":"213us","error":null,"tool":"proptest","counterexample":"(inputs=[[-99], [-118, -87, -38, -20, -12, 116, 193], [-173, -137, -111, -83, -45, 95], [-194, -41, 185]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.107453551+00:00","status":"failed","tests":36,"discards":0,"time":"174us","error":null,"tool":"proptest","counterexample":"(inputs=[[-103], [-157], [-145, -114, 154], [-162, -58, -35]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.108684763+00:00","status":"failed","tests":33,"discards":0,"time":"200us","error":null,"tool":"proptest","counterexample":"(inputs=[[-178], [-145], [-103, -89, 0, 34], [-179, -123, -122, -82, 68, 116, 120]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.109943615+00:00","status":"failed","tests":33,"discards":0,"time":"240us","error":null,"tool":"proptest","counterexample":"(inputs=[[56], [-122, -37, -30, -9, 7, 97, 176], [-9, 96], [-170, -72, -37, 48, 153]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.111236397+00:00","status":"failed","tests":42,"discards":0,"time":"189us","error":null,"tool":"proptest","counterexample":"(inputs=[[63], [-51, 20, 43], [132], [-170, -92, -76, 28, 92, 175]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.112427980+00:00","status":"failed","tests":33,"discards":0,"time":"180us","error":null,"tool":"proptest","counterexample":"(inputs=[[61], [-150, -129, -111, -91, 90], [-144, 109, 122], [-171, -142, -137, -102, -94, -35, 70]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.113637014+00:00","status":"failed","tests":34,"discards":0,"time":"166us","error":null,"tool":"proptest","counterexample":"(inputs=[[-24], [2, 100], [9], [-166, -136, -131, -83, 92, 139, 155]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.114800314+00:00","status":"failed","tests":42,"discards":0,"time":"188us","error":null,"tool":"proptest","counterexample":"(inputs=[[116], [-49], [-73, -3, 180, 194], [-105, -76, -70, 179]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"proptest","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.115965973+00:00","status":"failed","tests":37,"discards":0,"time":"215us","error":null,"tool":"proptest","counterexample":"(inputs=[[-20], [-91, -62, -36, 93, 133], [-128, -54, 6, 34, 121], [-187, 32, 179]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.117728331+00:00","status":"failed","tests":11,"discards":0,"time":"68us","error":null,"tool":"quickcheck","counterexample":"(inputs=[[3], [3], [-1, 0, 1, 2, 3, 47], [-3, -2, -2, -2, -1, 0, 1, 2], [2, 47], [-1, 1, 47]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.118840706+00:00","status":"failed","tests":18,"discards":0,"time":"72us","error":null,"tool":"quickcheck","counterexample":"(inputs=[[2], [-3], [-1], [-4, 0], [-48, -4, -4, -2, -1, 0, 2], [-4, -4, -3, -2, 0, 0, 2, 3]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.119889931+00:00","status":"failed","tests":1,"discards":0,"time":"32us","error":null,"tool":"quickcheck","counterexample":"(inputs=[[0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0], [-48, 0, 0, 0, 0, 0, 0, 47], [0, 0, 0, 0, 0, 0, 0], [0]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.120968373+00:00","status":"failed","tests":7,"discards":0,"time":"48us","error":null,"tool":"quickcheck","counterexample":"(inputs=[[-2, 0, 1], [-1, -1, 1], [-2, -1, 0, 2, 2], [-1, 2], [-48, -48, -48, 0, 0, 0, 47, 47]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.122002039+00:00","status":"failed","tests":13,"discards":0,"time":"65us","error":null,"tool":"quickcheck","counterexample":"(inputs=[[-3, 1, 2, 47], [0], [-2, -2, -2, 0, 0], [-3, -2, 1], [-48, -3, -3, -1, -1, 0, 2], [-48, -2, 0, 0, 0, 1, 2, 3]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.123051596+00:00","status":"failed","tests":10,"discards":0,"time":"70us","error":null,"tool":"quickcheck","counterexample":"(inputs=[[0], [-1, 0, 1], [-1, -1, 0, 0, 3], [-3, -3, -1, 0, 1, 2, 2, 3]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.124076847+00:00","status":"failed","tests":30,"discards":0,"time":"109us","error":null,"tool":"quickcheck","counterexample":"(inputs=[[-2, -1, 0, 0, 47], [-1, -1, -1, 0, 2, 4, 4, 4], [-3, 3], [-2, 2], [-4, -4, -2, 4, 47]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.125201565+00:00","status":"failed","tests":14,"discards":0,"time":"74us","error":null,"tool":"quickcheck","counterexample":"(inputs=[[-1, 0, 1, 1, 1, 2, 2, 3], [3], [0, 47], [-2, 0, 3], [-2, -1, 1, 1, 3, 3], [-48, -2, -1, -1, 2, 2]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.126257934+00:00","status":"failed","tests":11,"discards":0,"time":"55us","error":null,"tool":"quickcheck","counterexample":"(inputs=[[0, 0, 1, 3], [-2, 0, 1], [-3, -1, -1, 0, 2, 3, 3, 47], [-48, -3, -2, 0, 0, 2], [0]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"quickcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.127348117+00:00","status":"failed","tests":10,"discards":0,"time":"58us","error":null,"tool":"quickcheck","counterexample":"(inputs=[[-1, -1], [3], [-2, -1, -1, 0, 1, 1, 2, 3], [-3, -2, 2, 3], [-3], [-2, -2, -2, 0, 2, 3]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.129047307+00:00","status":"failed","tests":1,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"(inputs=[[-119, 78, 161], [-106, -75], [-140, -66, 92, 156], [-33, 79], [-144, -91, 18, 19, 42, 83, 96]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.130034097+00:00","status":"failed","tests":1,"discards":0,"time":"31us","error":null,"tool":"crabcheck","counterexample":"(inputs=[[-134, -8, 8, 39, 49, 69, 199], [-108, 121, 152], [-194, 23, 119], [-146, -16, -3, 44, 59, 92, 121], [-198, -117, -75, 150, 171], [-190, -120, 53, 168]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.131072848+00:00","status":"failed","tests":1,"discards":0,"time":"30us","error":null,"tool":"crabcheck","counterexample":"(inputs=[[-21, 89], [-114, -8, 41, 51, 159, 170], [-56, -6], [-182, -129, -96, -15, -14, 10, 84, 103], [-171, 8, 8, 27, 38, 184], [65]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.132133812+00:00","status":"failed","tests":2,"discards":0,"time":"34us","error":null,"tool":"crabcheck","counterexample":"(inputs=[[-72, 113, 141], [-129, -101, -68, -42, 71, 123], [-178, -104, -47, -40, -20, 87, 178], [-14, 63, 90], [-199, -194, -156, -122, -98, 42, 165, 189], [-162, -128, -38, -20, -13, 21, 58]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.133179495+00:00","status":"failed","tests":10,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"(inputs=[[-104, -91, -67, -22, 84, 124, 131], [-139, -121, -22, -22, 45, 104, 188], [-152, 93, 106, 149, 178, 185], [-160, -88, -36, 50, 66], [-39, 23, 46, 168], [-106, 199]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.134245148+00:00","status":"failed","tests":6,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"(inputs=[[-138, -93, 60, 72, 130, 152], [-87, -42, -5, 98, 158], [-104, -31, -5, 0, 28, 59, 69, 111], [-161, -155, -130, -55, 120], [-167, -120, 116, 154], [-180, -89, -38, -16, -2, 63, 157, 172]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.135280542+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"(inputs=[[-160, -149, -54, 11, 45, 130], [-107, -58, 181], [-42, -15, 80], [-178, -163, -118, -108, -84, 38, 199]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.136325677+00:00","status":"failed","tests":1,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"(inputs=[[-182, 68], [40, 78, 136, 137, 157, 157], [-56, 43, 108], [-186, -106, -81, -76, -47, 18, 134], [-138, -96, -70, -10, -7, 17, 184, 186]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.137354539+00:00","status":"failed","tests":5,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"(inputs=[[-104], [-160, -18, -1, 54, 63, 133], [-95, -61, 191], [-95], [-59, -37, -1], [-161, -63, 63, 107]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"crabcheck","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.138430681+00:00","status":"failed","tests":2,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"(inputs=[[-115, -101, -41, -27, -20, 127, 153, 171], [-193], [-29, -7, 183], [-199, -81, -39, -31, 92, 179]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.140061498+00:00","status":"failed","tests":107,"discards":0,"time":"562562us","error":null,"tool":"hegel","counterexample":"(inputs=[[0], [0], [0], [-1]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.703949695+00:00","status":"failed","tests":107,"discards":0,"time":"556598us","error":null,"tool":"hegel","counterexample":"(inputs=[[0], [0], [0], [-1]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:41.262232834+00:00","status":"failed","tests":107,"discards":0,"time":"557300us","error":null,"tool":"hegel","counterexample":"(inputs=[[0], [0], [0], [-1]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:41.821154838+00:00","status":"failed","tests":107,"discards":0,"time":"553604us","error":null,"tool":"hegel","counterexample":"(inputs=[[0], [0], [0], [-1]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:42.376345397+00:00","status":"failed","tests":107,"discards":0,"time":"555820us","error":null,"tool":"hegel","counterexample":"(inputs=[[0], [0], [0], [-1]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:42.933923092+00:00","status":"failed","tests":107,"discards":0,"time":"563596us","error":null,"tool":"hegel","counterexample":"(inputs=[[0], [0], [0], [-1]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.499295226+00:00","status":"failed","tests":107,"discards":0,"time":"560148us","error":null,"tool":"hegel","counterexample":"(inputs=[[0], [0], [0], [-1]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:44.061048664+00:00","status":"failed","tests":107,"discards":0,"time":"565512us","error":null,"tool":"hegel","counterexample":"(inputs=[[0], [0], [0], [-1]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:44.628332743+00:00","status":"failed","tests":107,"discards":0,"time":"558124us","error":null,"tool":"hegel","counterexample":"(inputs=[[0], [0], [0], [-1]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}
{"data":{"experiment":"ci-run","workload":"itertools","language":"rust","strategy":"hegel","property":"KmergeSorted","mutations":["kmerge_heapify_order_ca70258_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:45.188283023+00:00","status":"failed","tests":107,"discards":0,"time":"574597us","error":null,"tool":"hegel","counterexample":"(inputs=[[0], [0], [0], [-1]])"},"hash":"ae42fbe24de98d2c69d9cdb70bb5927dcdf52aa2"}