{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.501828241+00:00","status":"failed","tests":172,"discards":0,"time":"336us","error":null,"tool":"proptest","counterexample":"([(7, 14, 0), (11, 13, -2), (13, 14, -2)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.503582234+00:00","status":"failed","tests":148,"discards":0,"time":"342us","error":null,"tool":"proptest","counterexample":"([(1, 8, 2), (8, 9, 0), (8, 9, 2)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.504993233+00:00","status":"failed","tests":29,"discards":0,"time":"109us","error":null,"tool":"proptest","counterexample":"([(0, 4, 0), (2, 3, -2), (3, 4, -2)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.506240833+00:00","status":"failed","tests":64,"discards":0,"time":"170us","error":null,"tool":"proptest","counterexample":"([(6, 11, -2), (11, 12, 0), (11, 13, -2)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.507497446+00:00","status":"failed","tests":89,"discards":0,"time":"220us","error":null,"tool":"proptest","counterexample":"([(0, 4, 2), (4, 5, 0), (4, 5, 2)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.508839434+00:00","status":"failed","tests":100,"discards":0,"time":"208us","error":null,"tool":"proptest","counterexample":"([(10, 14, -2), (14, 15, 0), (14, 15, -2)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.510189885+00:00","status":"failed","tests":67,"discards":0,"time":"167us","error":null,"tool":"proptest","counterexample":"([(1, 7, -2), (7, 8, 0), (7, 8, -2)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.511420069+00:00","status":"failed","tests":81,"discards":0,"time":"188us","error":null,"tool":"proptest","counterexample":"([(9, 14, 0), (14, 15, 1), (14, 15, 0)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.512760955+00:00","status":"failed","tests":130,"discards":0,"time":"289us","error":null,"tool":"proptest","counterexample":"([(0, 1, -1), (1, 2, 0), (1, 2, -1)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.514097586+00:00","status":"failed","tests":87,"discards":0,"time":"240us","error":null,"tool":"proptest","counterexample":"([(1, 8, 0), (1, 7, -2), (7, 8, -2)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.515498931+00:00","status":"failed","tests":57,"discards":0,"time":"118us","error":null,"tool":"quickcheck","counterexample":"([(8, 10, 0), (10, 15, 1), (12, 20, 0), (15, 23, -1), (10, 15, 0), (0, 3, 1)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.516762895+00:00","status":"failed","tests":14,"discards":0,"time":"57us","error":null,"tool":"quickcheck","counterexample":"([(3, 4, 3), (0, 7, 2), (13, 18, -1), (7, 10, 3), (1, 2, -3), (6, 14, -1), (2, 4, -3)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.517904990+00:00","status":"failed","tests":67,"discards":0,"time":"116us","error":null,"tool":"quickcheck","counterexample":"([(0, 8, -3), (1, 7, -2), (15, 23, -1), (1, 2, -3)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.519116196+00:00","status":"failed","tests":43,"discards":0,"time":"88us","error":null,"tool":"quickcheck","counterexample":"([(12, 16, 0), (5, 12, -1), (2, 7, 0), (0, 6, 3), (6, 7, 1), (6, 10, -1), (12, 14, -1)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.520334052+00:00","status":"failed","tests":7,"discards":0,"time":"43us","error":null,"tool":"quickcheck","counterexample":"([(7, 13, -1), (3, 11, 0), (4, 11, 0), (3, 11, 0), (12, 17, 2), (12, 13, -1)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.521485851+00:00","status":"failed","tests":32,"discards":0,"time":"78us","error":null,"tool":"quickcheck","counterexample":"([(5, 12, 3), (1, 8, 2), (2, 5, 0), (3, 7, 0), (11, 16, 0), (7, 15, 0), (14, 16, 3)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.522697328+00:00","status":"failed","tests":187,"discards":0,"time":"314us","error":null,"tool":"quickcheck","counterexample":"([(0, 8, -2), (2, 3, -1), (3, 6, -1)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.524109128+00:00","status":"failed","tests":4,"discards":0,"time":"33us","error":null,"tool":"quickcheck","counterexample":"([(13, 20, 1), (9, 14, -1), (14, 19, -1), (2, 9, 1), (3, 5, -1), (8, 11, -1)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.525344610+00:00","status":"failed","tests":92,"discards":0,"time":"158us","error":null,"tool":"quickcheck","counterexample":"([(0, 1, 0), (1, 6, -3), (2, 9, 2), (3, 4, 1), (1, 3, 0), (2, 7, -2), (2, 7, 1)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.526609636+00:00","status":"failed","tests":9,"discards":0,"time":"44us","error":null,"tool":"quickcheck","counterexample":"([(5, 13, -2), (15, 17, 1), (0, 3, 0), (8, 11, -3), (11, 13, -3), (12, 16, -2)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.527833010+00:00","status":"failed","tests":54,"discards":0,"time":"59us","error":null,"tool":"crabcheck","counterexample":"([(12, 16, 0), (4, 12, 0), (1, 8, 3), (15, 19, 1), (3, 11, 1), (11, 14, 1)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.529013331+00:00","status":"failed","tests":22,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"([(6, 10, 3), (7, 15, -3), (11, 16, 3), (14, 22, -2), (11, 16, -3), (9, 10, 1), (0, 1, 2)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.530106855+00:00","status":"failed","tests":74,"discards":0,"time":"70us","error":null,"tool":"crabcheck","counterexample":"([(6, 9, 2), (3, 9, 0), (4, 9, -3), (4, 5, 0), (15, 18, -3), (12, 20, 1)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.531221460+00:00","status":"failed","tests":79,"discards":0,"time":"66us","error":null,"tool":"crabcheck","counterexample":"([(0, 4, -1), (14, 17, 0), (8, 12, -2), (3, 9, -3), (0, 3, 2), (9, 17, -3)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.532368201+00:00","status":"failed","tests":33,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"([(13, 21, 3), (14, 16, 1), (14, 21, 3), (7, 11, 0), (15, 21, -3)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.533466122+00:00","status":"failed","tests":67,"discards":0,"time":"66us","error":null,"tool":"crabcheck","counterexample":"([(9, 16, -2), (4, 10, 3), (9, 10, 1), (4, 6, 2), (11, 14, -1), (6, 10, 0), (10, 14, 0)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.534596449+00:00","status":"failed","tests":44,"discards":0,"time":"50us","error":null,"tool":"crabcheck","counterexample":"([(10, 11, -1), (14, 19, 3), (3, 8, 0), (4, 5, 3), (4, 10, 0), (1, 2, 0)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.535704545+00:00","status":"failed","tests":25,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"([(15, 23, -3), (14, 22, 0), (6, 13, 3), (4, 9, -1), (4, 11, -3), (8, 10, 2), (10, 14, 2)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.536797497+00:00","status":"failed","tests":159,"discards":0,"time":"118us","error":null,"tool":"crabcheck","counterexample":"([(0, 5, 1), (6, 14, 3), (6, 8, 3), (6, 7, 0), (5, 6, 0), (7, 12, 0), (14, 22, 2)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.537983217+00:00","status":"failed","tests":20,"discards":0,"time":"38us","error":null,"tool":"crabcheck","counterexample":"([(1, 4, -3), (9, 11, 3), (4, 11, 3), (6, 11, 1), (14, 16, 0), (4, 9, -3)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:40:42.539194883+00:00","status":"failed","tests":214,"discards":0,"time":"1153070us","error":null,"tool":"hegel","counterexample":"(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:40:43.693665037+00:00","status":"failed","tests":214,"discards":0,"time":"572283us","error":null,"tool":"hegel","counterexample":"(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:40:44.267714471+00:00","status":"failed","tests":214,"discards":0,"time":"571348us","error":null,"tool":"hegel","counterexample":"(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:40:44.840853601+00:00","status":"failed","tests":214,"discards":0,"time":"572464us","error":null,"tool":"hegel","counterexample":"(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:40:45.415083450+00:00","status":"failed","tests":214,"discards":0,"time":"572031us","error":null,"tool":"hegel","counterexample":"(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:40:45.988860182+00:00","status":"failed","tests":214,"discards":0,"time":"569642us","error":null,"tool":"hegel","counterexample":"(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:40:46.560255084+00:00","status":"failed","tests":214,"discards":0,"time":"574831us","error":null,"tool":"hegel","counterexample":"(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:40:47.136895908+00:00","status":"failed","tests":214,"discards":0,"time":"573548us","error":null,"tool":"hegel","counterexample":"(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:40:47.712244257+00:00","status":"failed","tests":214,"discards":0,"time":"572864us","error":null,"tool":"hegel","counterexample":"(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"CoalesceNoAdjacentSameValue","mutations":["coalesce_contiguous_d1999f4_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:40:48.286952347+00:00","status":"failed","tests":214,"discards":0,"time":"606974us","error":null,"tool":"hegel","counterexample":"(items=[(0, 2, 1), (0, 1, 0), (1, 2, 0)])"},"hash":"a9c59f5a074a62b29f84dc97c5dbbc9e6307886e"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:40:52.994152161+00:00","status":"failed","tests":23,"discards":0,"time":"111us","error":null,"tool":"proptest","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:40:52.995641405+00:00","status":"failed","tests":33,"discards":0,"time":"166us","error":null,"tool":"proptest","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:40:52.996909043+00:00","status":"failed","tests":30,"discards":0,"time":"93us","error":null,"tool":"proptest","counterexample":"(a=[(8, 14, 0)] b=[(8, 15, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:40:52.998130204+00:00","status":"failed","tests":23,"discards":0,"time":"99us","error":null,"tool":"proptest","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:40:52.999313489+00:00","status":"failed","tests":28,"discards":0,"time":"105us","error":null,"tool":"proptest","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.000520238+00:00","status":"failed","tests":33,"discards":0,"time":"117us","error":null,"tool":"proptest","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.001724554+00:00","status":"failed","tests":26,"discards":0,"time":"104us","error":null,"tool":"proptest","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.002926486+00:00","status":"failed","tests":26,"discards":0,"time":"89us","error":null,"tool":"proptest","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.004058406+00:00","status":"failed","tests":34,"discards":0,"time":"110us","error":null,"tool":"proptest","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.005263964+00:00","status":"failed","tests":26,"discards":0,"time":"99us","error":null,"tool":"proptest","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.006677015+00:00","status":"failed","tests":14,"discards":0,"time":"68us","error":null,"tool":"quickcheck","counterexample":"(a=[(6, 7, 3), (8, 12, -3), (8, 13, -1)] b=[(6, 8, 3), (8, 12, -3), (8, 13, -1)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.007838679+00:00","status":"failed","tests":6,"discards":0,"time":"44us","error":null,"tool":"quickcheck","counterexample":"(a=[(9, 11, 2), (5, 8, 1)] b=[(9, 12, 2), (5, 8, 1)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.008948065+00:00","status":"failed","tests":2,"discards":0,"time":"39us","error":null,"tool":"quickcheck","counterexample":"(a=[(4, 9, 0)] b=[(4, 10, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.010207912+00:00","status":"failed","tests":14,"discards":0,"time":"66us","error":null,"tool":"quickcheck","counterexample":"(a=[(4, 8, 1), (15, 22, 0), (2, 6, 1), (0, 7, 0)] b=[(4, 11, 1), (15, 22, 0), (2, 6, 1), (0, 7, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.011377817+00:00","status":"failed","tests":6,"discards":0,"time":"37us","error":null,"tool":"quickcheck","counterexample":"(a=[(7, 15, -2), (14, 17, 2)] b=[(7, 15, -2), (14, 21, 2)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.012568574+00:00","status":"failed","tests":1,"discards":0,"time":"28us","error":null,"tool":"quickcheck","counterexample":"(a=[(15, 18, 0), (0, 6, 0), (1, 6, 0), (5, 10, 0)] b=[(15, 21, 0), (0, 6, 0), (1, 6, 0), (5, 10, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.013698991+00:00","status":"failed","tests":10,"discards":0,"time":"79us","error":null,"tool":"quickcheck","counterexample":"(a=[(15, 16, -1), (0, 6, 0), (12, 13, -3)] b=[(15, 16, -1), (0, 9, 0), (12, 13, -3)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.014851030+00:00","status":"failed","tests":13,"discards":0,"time":"62us","error":null,"tool":"quickcheck","counterexample":"(a=[(1, 6, -3), (10, 17, 0), (7, 10, 3)] b=[(1, 6, -3), (10, 19, 0), (7, 10, 3)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.016016639+00:00","status":"failed","tests":1,"discards":0,"time":"29us","error":null,"tool":"quickcheck","counterexample":"(a=[(13, 21, 0), (10, 11, 0), (13, 18, 0)] b=[(13, 22, 0), (10, 11, 0), (13, 18, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.017169359+00:00","status":"failed","tests":8,"discards":0,"time":"52us","error":null,"tool":"quickcheck","counterexample":"(a=[(12, 15, -1), (14, 16, 1), (5, 7, 2), (3, 6, 3), (12, 14, 0), (15, 23, 2)] b=[(12, 15, -1), (14, 16, 1), (5, 11, 2), (3, 6, 3), (12, 14, 0), (15, 23, 2)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.018694225+00:00","status":"failed","tests":26,"discards":0,"time":"88us","error":null,"tool":"crabcheck","counterexample":"(a=[(11, 17, -1), (14, 19, 1), (2, 7, 0), (2, 6, -1)] b=[(11, 17, -1), (14, 21, 1), (2, 7, 0), (2, 6, -1)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.019879262+00:00","status":"failed","tests":17,"discards":0,"time":"55us","error":null,"tool":"crabcheck","counterexample":"(a=[(14, 20, 0), (1, 9, -1), (15, 18, -1)] b=[(14, 23, 0), (1, 9, -1), (15, 18, -1)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.021037010+00:00","status":"failed","tests":1,"discards":0,"time":"27us","error":null,"tool":"crabcheck","counterexample":"(a=[(13, 18, 0), (9, 16, 0)] b=[(13, 18, 0), (9, 19, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.022157292+00:00","status":"failed","tests":16,"discards":0,"time":"63us","error":null,"tool":"crabcheck","counterexample":"(a=[(4, 10, 0), (8, 10, 0), (3, 10, 1), (14, 17, -1), (10, 11, 0)] b=[(4, 10, 0), (8, 10, 0), (3, 10, 1), (14, 17, -1), (10, 11, 0), (10, 13, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.023570735+00:00","status":"failed","tests":14,"discards":0,"time":"51us","error":null,"tool":"crabcheck","counterexample":"(a=[(3, 10, 3), (0, 3, 0), (6, 9, 3), (11, 15, 0)] b=[(3, 11, 3), (0, 3, 0), (6, 9, 3), (11, 15, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.024693200+00:00","status":"failed","tests":7,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"(a=[(15, 23, 1), (2, 7, 3), (8, 14, -1), (6, 14, -3), (10, 11, 3)] b=[(15, 26, 1), (2, 7, 3), (8, 14, -1), (6, 14, -3), (10, 11, 3)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.025801095+00:00","status":"failed","tests":9,"discards":0,"time":"43us","error":null,"tool":"crabcheck","counterexample":"(a=[(0, 6, -1), (2, 7, 3), (14, 16, -3)] b=[(0, 6, -1), (2, 7, 3), (14, 18, -3)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.026934016+00:00","status":"failed","tests":2,"discards":0,"time":"32us","error":null,"tool":"crabcheck","counterexample":"(a=[(15, 17, 0), (4, 7, -3), (4, 11, 0)] b=[(15, 18, 0), (4, 7, -3), (4, 11, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.028159673+00:00","status":"failed","tests":2,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"(a=[(15, 22, 1), (6, 10, 0), (15, 23, -1), (10, 16, 0), (0, 5, 1)] b=[(15, 22, 1), (6, 10, 0), (15, 24, -1), (10, 16, 0), (0, 5, 1)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.029302860+00:00","status":"failed","tests":6,"discards":0,"time":"38us","error":null,"tool":"crabcheck","counterexample":"(a=[(8, 13, 0), (0, 6, 1), (8, 11, 3), (8, 15, -2), (0, 5, 2), (14, 16, -1)] b=[(8, 13, 0), (0, 6, 1), (8, 11, 3), (8, 15, -2), (0, 5, 2), (14, 19, -1)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.030709021+00:00","status":"failed","tests":29,"discards":0,"time":"236767us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.268853780+00:00","status":"failed","tests":29,"discards":0,"time":"236774us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.507259292+00:00","status":"failed","tests":29,"discards":0,"time":"231997us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.740932876+00:00","status":"failed","tests":29,"discards":0,"time":"233300us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:40:53.975927885+00:00","status":"failed","tests":29,"discards":0,"time":"235990us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:40:54.213802946+00:00","status":"failed","tests":29,"discards":0,"time":"233344us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:40:54.448785215+00:00","status":"failed","tests":29,"discards":0,"time":"233154us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:40:54.683589373+00:00","status":"failed","tests":29,"discards":0,"time":"235250us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:40:54.920583714+00:00","status":"failed","tests":29,"discards":0,"time":"235902us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"PartialEqMatchesIterEq","mutations":["partialeq_map_b3a59e6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:40:55.158174128+00:00","status":"failed","tests":29,"discards":0,"time":"237732us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"924664f687c5a7a6b4f1e6375ec78eeb443b6821"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.464177143+00:00","status":"failed","tests":30,"discards":0,"time":"124us","error":null,"tool":"proptest","counterexample":"(a=[(3, 9, 2)] b=[(3, 10, 2)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.465720697+00:00","status":"failed","tests":47,"discards":0,"time":"181us","error":null,"tool":"proptest","counterexample":"(a=[(1, 8, 1)] b=[(1, 9, 1)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.466989967+00:00","status":"failed","tests":34,"discards":0,"time":"112us","error":null,"tool":"proptest","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.468201114+00:00","status":"failed","tests":35,"discards":0,"time":"126us","error":null,"tool":"proptest","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.469412189+00:00","status":"failed","tests":29,"discards":0,"time":"108us","error":null,"tool":"proptest","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.470604748+00:00","status":"failed","tests":40,"discards":0,"time":"132us","error":null,"tool":"proptest","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.471798889+00:00","status":"failed","tests":31,"discards":0,"time":"100us","error":null,"tool":"proptest","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.472964378+00:00","status":"failed","tests":63,"discards":0,"time":"194us","error":null,"tool":"proptest","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.474235302+00:00","status":"failed","tests":42,"discards":0,"time":"136us","error":null,"tool":"proptest","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.475433619+00:00","status":"failed","tests":52,"discards":0,"time":"189us","error":null,"tool":"proptest","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.477018072+00:00","status":"failed","tests":1,"discards":0,"time":"33us","error":null,"tool":"quickcheck","counterexample":"(a=[(9, 12, 0), (12, 17, 0), (8, 11, 0)] b=[(9, 12, 0), (12, 17, 0), (8, 11, 0), (14, 21, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.478126127+00:00","status":"failed","tests":10,"discards":0,"time":"54us","error":null,"tool":"quickcheck","counterexample":"(a=[(2, 9, 3)] b=[(2, 11, 3)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.479314690+00:00","status":"failed","tests":3,"discards":0,"time":"40us","error":null,"tool":"quickcheck","counterexample":"(a=[(1, 6, 0), (2, 6, 1), (15, 22, 1), (7, 12, 1)] b=[(1, 6, 0), (2, 6, 1), (15, 26, 1), (7, 12, 1)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.480400783+00:00","status":"failed","tests":7,"discards":0,"time":"45us","error":null,"tool":"quickcheck","counterexample":"(a=[(4, 12, 0), (0, 5, 1), (10, 14, -2), (0, 5, -1)] b=[(4, 12, 0), (0, 5, 1), (10, 16, -2), (0, 5, -1)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.481547534+00:00","status":"failed","tests":29,"discards":0,"time":"106us","error":null,"tool":"quickcheck","counterexample":"(a=[(12, 19, 2), (2, 10, 3), (5, 9, 2), (1, 3, -2), (11, 16, 2), (15, 23, 3), (6, 8, 1)] b=[(12, 19, 2), (2, 10, 3), (5, 9, 2), (1, 3, -2), (11, 16, 2), (15, 26, 3), (6, 8, 1)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.482733984+00:00","status":"failed","tests":3,"discards":0,"time":"56us","error":null,"tool":"quickcheck","counterexample":"(a=[(4, 7, 0)] b=[(4, 7, 0), (5, 13, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.483826145+00:00","status":"failed","tests":7,"discards":0,"time":"48us","error":null,"tool":"quickcheck","counterexample":"(a=[(13, 14, -2), (1, 2, 1), (4, 10, -2)] b=[(13, 14, -2), (1, 6, 1), (4, 10, -2)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.484934120+00:00","status":"failed","tests":2,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"(a=[(6, 11, 0)] b=[(6, 11, 0), (8, 14, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.486012551+00:00","status":"failed","tests":15,"discards":0,"time":"75us","error":null,"tool":"quickcheck","counterexample":"(a=[(9, 16, -3), (5, 13, -1), (15, 22, 0), (1, 2, 1), (11, 13, -3), (12, 16, -3)] b=[(9, 16, -3), (5, 13, -1), (15, 22, 0), (1, 4, 1), (11, 13, -3), (12, 16, -3)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.487143991+00:00","status":"failed","tests":7,"discards":0,"time":"41us","error":null,"tool":"quickcheck","counterexample":"(a=[(13, 14, 1), (9, 16, -2), (8, 15, -1), (1, 3, 1), (11, 17, 1)] b=[(13, 14, 1), (9, 16, -2), (8, 15, -1), (1, 6, 1), (11, 17, 1)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.488568720+00:00","status":"failed","tests":42,"discards":0,"time":"85us","error":null,"tool":"crabcheck","counterexample":"(a=[(0, 6, 1)] b=[(0, 7, 1)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.489704255+00:00","status":"failed","tests":2,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"(a=[(6, 8, -2), (14, 15, 2)] b=[(6, 12, -2), (14, 15, 2)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.490776267+00:00","status":"failed","tests":14,"discards":0,"time":"73us","error":null,"tool":"crabcheck","counterexample":"(a=[(15, 23, 0)] b=[(15, 27, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.491863742+00:00","status":"failed","tests":11,"discards":0,"time":"47us","error":null,"tool":"crabcheck","counterexample":"(a=[(2, 6, 2), (8, 13, -1), (9, 10, 0), (15, 23, 1)] b=[(2, 10, 2), (8, 13, -1), (9, 10, 0), (15, 23, 1)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.492977464+00:00","status":"failed","tests":3,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"(a=[(2, 7, 3), (14, 22, 2)] b=[(2, 10, 3), (14, 22, 2)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.494069326+00:00","status":"failed","tests":2,"discards":0,"time":"34us","error":null,"tool":"crabcheck","counterexample":"(a=[(5, 8, 2), (2, 5, 0)] b=[(5, 12, 2), (2, 5, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.495159614+00:00","status":"failed","tests":4,"discards":0,"time":"37us","error":null,"tool":"crabcheck","counterexample":"(a=[(4, 5, -2), (13, 18, 1), (8, 10, 2)] b=[(4, 5, -2), (13, 18, 1), (8, 12, 2)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.496245016+00:00","status":"failed","tests":10,"discards":0,"time":"46us","error":null,"tool":"crabcheck","counterexample":"(a=[(10, 17, 0), (14, 17, 1), (0, 7, 2)] b=[(10, 17, 0), (14, 18, 1), (0, 7, 2)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.497348624+00:00","status":"failed","tests":3,"discards":0,"time":"38us","error":null,"tool":"crabcheck","counterexample":"(a=[(4, 12, 0), (6, 13, -2), (14, 19, -3), (0, 5, 0)] b=[(4, 12, 0), (6, 13, -2), (14, 23, -3), (0, 5, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.498437581+00:00","status":"failed","tests":6,"discards":0,"time":"47us","error":null,"tool":"crabcheck","counterexample":"(a=[(11, 17, 0), (12, 19, 2), (7, 10, -1), (11, 17, 0), (6, 8, -1), (13, 16, -3)] b=[(11, 17, 0), (12, 21, 2), (7, 10, -1), (11, 17, 0), (6, 8, -1), (13, 16, -3)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.499912404+00:00","status":"failed","tests":29,"discards":0,"time":"235409us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.736786467+00:00","status":"failed","tests":29,"discards":0,"time":"236107us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:40:59.974599107+00:00","status":"failed","tests":29,"discards":0,"time":"236110us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:00.212355274+00:00","status":"failed","tests":29,"discards":0,"time":"236067us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:00.450063470+00:00","status":"failed","tests":29,"discards":0,"time":"238131us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:00.689900709+00:00","status":"failed","tests":29,"discards":0,"time":"236996us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:00.928554953+00:00","status":"failed","tests":29,"discards":0,"time":"236873us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:01.167134628+00:00","status":"failed","tests":29,"discards":0,"time":"236210us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:01.405011752+00:00","status":"failed","tests":29,"discards":0,"time":"236752us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"InclusiveEqMatchesIterEq","mutations":["inclusive_equality_a6cdac3_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:01.643507304+00:00","status":"failed","tests":29,"discards":0,"time":"232323us","error":null,"tool":"hegel","counterexample":"(a=[(0, 1, 0)] b=[(0, 2, 0)])"},"hash":"2f8fc51a25b807ee320c8f4d3527e429961f9197"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.933914858+00:00","status":"failed","tests":32,"discards":0,"time":"133us","error":null,"tool":"proptest","counterexample":"(items=[(0, 1, 0), (6, 7, 0)] q=0..1)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.935430489+00:00","status":"failed","tests":33,"discards":0,"time":"107us","error":null,"tool":"proptest","counterexample":"(items=[(14, 15, 0), (0, 1, 0)] q=0..1)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.936660803+00:00","status":"failed","tests":22,"discards":0,"time":"76us","error":null,"tool":"proptest","counterexample":"(items=[(0, 2, 0), (9, 10, 0)] q=0..1)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.937810517+00:00","status":"failed","tests":31,"discards":0,"time":"93us","error":null,"tool":"proptest","counterexample":"(items=[(12, 13, 0), (1, 5, 0)] q=0..2)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.938985850+00:00","status":"failed","tests":23,"discards":0,"time":"84us","error":null,"tool":"proptest","counterexample":"(items=[(7, 8, 0), (0, 3, 0)] q=0..1)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.940138579+00:00","status":"failed","tests":42,"discards":0,"time":"109us","error":null,"tool":"proptest","counterexample":"(items=[(9, 14, 0), (0, 6, 0)] q=0..1)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.941341442+00:00","status":"failed","tests":31,"discards":0,"time":"93us","error":null,"tool":"proptest","counterexample":"(items=[(4, 7, 0), (9, 10, 0)] q=2..5)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.942494341+00:00","status":"failed","tests":29,"discards":0,"time":"94us","error":null,"tool":"proptest","counterexample":"(items=[(6, 7, 0), (8, 9, 0)] q=5..7)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.943700199+00:00","status":"failed","tests":23,"discards":0,"time":"116us","error":null,"tool":"proptest","counterexample":"(items=[(0, 6, 0), (0, 3, -1)] q=0..1)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"proptest","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.944855401+00:00","status":"failed","tests":27,"discards":0,"time":"91us","error":null,"tool":"proptest","counterexample":"(items=[(13, 14, 0), (0, 3, 0)] q=0..1)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.946615060+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(items=[(15, 17, 0), (1, 7, 0)] q=0..14)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.947720660+00:00","status":"failed","tests":8,"discards":0,"time":"62us","error":null,"tool":"quickcheck","counterexample":"(items=[(0, 5, 0), (2, 9, 1), (10, 11, 0), (2, 9, 1), (2, 9, 0), (12, 18, 3), (14, 20, -2)] q=5..11)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.948860121+00:00","status":"failed","tests":3,"discards":0,"time":"40us","error":null,"tool":"quickcheck","counterexample":"(items=[(1, 3, 1), (6, 14, -1), (7, 8, 1), (2, 3, 0), (15, 18, -1), (6, 8, -1), (3, 11, 0)] q=6..14)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.949962576+00:00","status":"failed","tests":9,"discards":0,"time":"44us","error":null,"tool":"quickcheck","counterexample":"(items=[(7, 14, -3), (5, 13, 2), (6, 7, -1), (4, 11, 1)] q=1..5)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.951059864+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"(items=[(15, 16, 0), (7, 8, 0), (2, 3, 0), (11, 15, 0)] q=3..10)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.952142320+00:00","status":"failed","tests":3,"discards":0,"time":"31us","error":null,"tool":"quickcheck","counterexample":"(items=[(8, 9, 1), (1, 2, 1), (1, 4, -1)] q=2..5)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.953219739+00:00","status":"failed","tests":3,"discards":0,"time":"35us","error":null,"tool":"quickcheck","counterexample":"(items=[(1, 5, 0), (15, 16, 0), (2, 4, 1), (2, 6, 0), (4, 8, -1), (2, 9, -1)] q=1..4)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.954408381+00:00","status":"failed","tests":5,"discards":0,"time":"36us","error":null,"tool":"quickcheck","counterexample":"(items=[(6, 11, 1), (15, 18, 0), (2, 9, 0)] q=6..12)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.955496276+00:00","status":"failed","tests":3,"discards":0,"time":"35us","error":null,"tool":"quickcheck","counterexample":"(items=[(6, 12, 3), (4, 10, 1)] q=0..8)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"quickcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.956590088+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"quickcheck","counterexample":"(items=[(0, 5, 0), (0, 1, 0), (0, 8, 0), (4, 12, 0), (1, 4, 0), (15, 22, 3)] q=4..10)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.958227248+00:00","status":"failed","tests":1,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"(items=[(8, 13, 3), (10, 11, -2), (1, 3, 3), (13, 16, 0)] q=9..11)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.959303024+00:00","status":"failed","tests":2,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"(items=[(14, 21, 3), (13, 19, 3), (14, 19, -1), (6, 10, 1), (1, 2, 0), (9, 13, -2), (6, 10, 0)] q=6..17)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.960378941+00:00","status":"failed","tests":6,"discards":0,"time":"32us","error":null,"tool":"crabcheck","counterexample":"(items=[(6, 12, 1), (13, 20, 1), (8, 16, 0), (0, 7, -1)] q=0..2)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.961440937+00:00","status":"failed","tests":12,"discards":0,"time":"44us","error":null,"tool":"crabcheck","counterexample":"(items=[(14, 17, 0), (11, 16, 1), (5, 10, -3), (4, 7, 3)] q=0..12)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.962593677+00:00","status":"failed","tests":2,"discards":0,"time":"34us","error":null,"tool":"crabcheck","counterexample":"(items=[(14, 19, 3), (2, 4, -2), (14, 19, -2)] q=1..4)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.963675001+00:00","status":"failed","tests":10,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"(items=[(1, 7, 2), (12, 13, 3), (2, 4, -2), (13, 19, -1), (1, 5, -2), (12, 14, -2), (6, 11, -1)] q=1..9)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.964762255+00:00","status":"failed","tests":5,"discards":0,"time":"57us","error":null,"tool":"crabcheck","counterexample":"(items=[(3, 7, 0), (7, 15, -2)] q=2..4)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.965839022+00:00","status":"failed","tests":6,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"(items=[(13, 14, 0), (6, 10, -1), (15, 22, -1), (4, 8, 2), (13, 20, -3), (0, 5, 0), (1, 2, 0)] q=5..19)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.966915140+00:00","status":"failed","tests":2,"discards":0,"time":"33us","error":null,"tool":"crabcheck","counterexample":"(items=[(0, 5, 3), (0, 5, -3), (6, 7, -2), (7, 15, 1), (15, 23, -3), (15, 19, -3), (6, 10, -1)] q=1..12)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"crabcheck","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.968045676+00:00","status":"failed","tests":14,"discards":0,"time":"44us","error":null,"tool":"crabcheck","counterexample":"(items=[(4, 5, 3), (2, 3, 0), (15, 21, 1), (0, 8, -3)] q=0..5)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:05.969734261+00:00","status":"failed","tests":203,"discards":0,"time":"533156us","error":null,"tool":"hegel","counterexample":"(items=[(0, 1, 0), (1, 2, 1)] q=0..1)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:06.504231140+00:00","status":"failed","tests":203,"discards":0,"time":"526191us","error":null,"tool":"hegel","counterexample":"(items=[(0, 1, 0), (1, 2, 1)] q=0..1)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:07.032077613+00:00","status":"failed","tests":203,"discards":0,"time":"529381us","error":null,"tool":"hegel","counterexample":"(items=[(0, 1, 0), (1, 2, 1)] q=0..1)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:07.563232224+00:00","status":"failed","tests":203,"discards":0,"time":"525063us","error":null,"tool":"hegel","counterexample":"(items=[(0, 1, 0), (1, 2, 1)] q=0..1)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:08.090131009+00:00","status":"failed","tests":203,"discards":0,"time":"525971us","error":null,"tool":"hegel","counterexample":"(items=[(0, 1, 0), (1, 2, 1)] q=0..1)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:08.617866998+00:00","status":"failed","tests":203,"discards":0,"time":"531483us","error":null,"tool":"hegel","counterexample":"(items=[(0, 1, 0), (1, 2, 1)] q=0..1)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:09.151631541+00:00","status":"failed","tests":203,"discards":0,"time":"575628us","error":null,"tool":"hegel","counterexample":"(items=[(0, 1, 0), (1, 2, 1)] q=0..1)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:09.729112220+00:00","status":"failed","tests":203,"discards":0,"time":"540650us","error":null,"tool":"hegel","counterexample":"(items=[(0, 1, 0), (1, 2, 1)] q=0..1)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:10.271788097+00:00","status":"failed","tests":203,"discards":0,"time":"527012us","error":null,"tool":"hegel","counterexample":"(items=[(0, 1, 0), (1, 2, 1)] q=0..1)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}
{"data":{"experiment":"ci-run","workload":"rangemap","language":"rust","strategy":"hegel","property":"OverlappingReversible","mutations":["overlapping_backwards_6df612f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:10.800726292+00:00","status":"failed","tests":203,"discards":0,"time":"532767us","error":null,"tool":"hegel","counterexample":"(items=[(0, 1, 0), (1, 2, 1)] q=0..1)"},"hash":"cd53926210af2b8bfb0455a3dc1be185e83d96c6"}