{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.182794649+00:00","status":"failed","tests":1,"discards":0,"time":"85us","error":null,"tool":"proptest","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.184175910+00:00","status":"failed","tests":1,"discards":0,"time":"59us","error":null,"tool":"proptest","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.185260497+00:00","status":"failed","tests":5,"discards":0,"time":"97us","error":null,"tool":"proptest","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.186413076+00:00","status":"failed","tests":1,"discards":0,"time":"64us","error":null,"tool":"proptest","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.187521728+00:00","status":"failed","tests":3,"discards":0,"time":"78us","error":null,"tool":"proptest","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.188616008+00:00","status":"failed","tests":12,"discards":0,"time":"175us","error":null,"tool":"proptest","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.189782378+00:00","status":"failed","tests":7,"discards":0,"time":"104us","error":null,"tool":"proptest","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.190904109+00:00","status":"failed","tests":9,"discards":0,"time":"137us","error":null,"tool":"proptest","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.192080769+00:00","status":"failed","tests":2,"discards":0,"time":"79us","error":null,"tool":"proptest","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.193181241+00:00","status":"failed","tests":2,"discards":0,"time":"77us","error":null,"tool":"proptest","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.194386604+00:00","status":"failed","tests":2,"discards":0,"time":"46us","error":null,"tool":"quickcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.195522342+00:00","status":"failed","tests":26,"discards":0,"time":"218us","error":null,"tool":"quickcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.196755898+00:00","status":"failed","tests":3,"discards":0,"time":"58us","error":null,"tool":"quickcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.197831723+00:00","status":"failed","tests":9,"discards":0,"time":"91us","error":null,"tool":"quickcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.198945876+00:00","status":"failed","tests":5,"discards":0,"time":"73us","error":null,"tool":"quickcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.200046027+00:00","status":"failed","tests":2,"discards":0,"time":"43us","error":null,"tool":"quickcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.201112209+00:00","status":"failed","tests":1,"discards":0,"time":"27us","error":null,"tool":"quickcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.202185560+00:00","status":"failed","tests":6,"discards":0,"time":"80us","error":null,"tool":"quickcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.203284163+00:00","status":"failed","tests":4,"discards":0,"time":"61us","error":null,"tool":"quickcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.204354448+00:00","status":"failed","tests":2,"discards":0,"time":"44us","error":null,"tool":"quickcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.205566223+00:00","status":"failed","tests":3,"discards":0,"time":"43us","error":null,"tool":"crabcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.206710249+00:00","status":"failed","tests":19,"discards":0,"time":"122us","error":null,"tool":"crabcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.207813105+00:00","status":"failed","tests":2,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.208872465+00:00","status":"failed","tests":9,"discards":0,"time":"68us","error":null,"tool":"crabcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.209949392+00:00","status":"failed","tests":2,"discards":0,"time":"31us","error":null,"tool":"crabcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.210993523+00:00","status":"failed","tests":6,"discards":0,"time":"60us","error":null,"tool":"crabcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.212073747+00:00","status":"failed","tests":4,"discards":0,"time":"44us","error":null,"tool":"crabcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.213130171+00:00","status":"failed","tests":2,"discards":0,"time":"37us","error":null,"tool":"crabcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.214173024+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.215234528+00:00","status":"failed","tests":2,"discards":0,"time":"34us","error":null,"tool":"crabcheck","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:00.216454974+00:00","status":"failed","tests":12,"discards":0,"time":"811995us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:01.029719689+00:00","status":"failed","tests":12,"discards":0,"time":"261855us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:01.293053990+00:00","status":"failed","tests":12,"discards":0,"time":"254625us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:01.549142397+00:00","status":"failed","tests":12,"discards":0,"time":"250464us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:01.801131975+00:00","status":"failed","tests":12,"discards":0,"time":"257458us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:02.060116023+00:00","status":"failed","tests":12,"discards":0,"time":"258001us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:02.319691130+00:00","status":"failed","tests":12,"discards":0,"time":"261146us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:02.582316165+00:00","status":"failed","tests":12,"discards":0,"time":"256341us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:02.840465039+00:00","status":"failed","tests":12,"discards":0,"time":"256748us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"LinesMatchModel","mutations":["lines_empty_total_lines_faf6738_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:03.098719549+00:00","status":"failed","tests":12,"discards":0,"time":"250663us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"ab5d37bf5499a3d75441f90b54bfd07326078c67"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeEqChunkInvariant","mutations":["rope_eq_utf8_boundary_cc516d5_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:07.896680649+00:00","status":"timed_out"},"hash":"6d469682a5ebcca1d3f95c76bc7c29543c5cbf09"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeEqChunkInvariant","mutations":["rope_eq_utf8_boundary_cc516d5_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:02:07.897775738+00:00","status":"timed_out"},"hash":"6d469682a5ebcca1d3f95c76bc7c29543c5cbf09"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeEqChunkInvariant","mutations":["rope_eq_utf8_boundary_cc516d5_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:07.898942287+00:00","status":"timed_out"},"hash":"6d469682a5ebcca1d3f95c76bc7c29543c5cbf09"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeEqChunkInvariant","mutations":["rope_eq_utf8_boundary_cc516d5_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:04:07.900078959+00:00","status":"timed_out"},"hash":"6d469682a5ebcca1d3f95c76bc7c29543c5cbf09"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.518269245+00:00","status":"failed","tests":33,"discards":0,"time":"607us","error":null,"tool":"proptest","counterexample":"(\"\\u{85}.zがc がñ y\\u{85}c𝄞🎉🎉𝄞byca.,𝄞.9\\rb字\\u{c}ñcñ.\\u{b}\\n あ字 \\u{2028}\\ra\\r🎉 \\u{2028}があ0\\r字🎉𝄞\\n.ñ9🎉0é𝄞🎉𝄞\\u{b}cb\\u{85}a\\u{85}\\r字9ñ\" 28 30)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.520223828+00:00","status":"failed","tests":33,"discards":0,"time":"962us","error":null,"tool":"proptest","counterexample":"(\"0az\\u{b}字\\u{85}字x字が \\réñ9\\u{85}.yあxb,字z𝄞🎉bb\\u{2028}. \\r\\rb0が.ca🎉あ\\u{b}が\\u{2028}🎉y\\n\\u{c}\\ry,9.ñzあ字yあ\\u{85}c🎉 9が x\\u{85}\\r\\u{c}\\u{b}\\u{b}.字\\u{2028}\\u{2028}があyxñ\\n \\u{2028}\\u{85}z🎉\\rcb9𝄞9ññ\\u{2028}b9\\n\\nxが字\\nあ\\u{b}9.𝄞,\\u{b}\\u{2028}\\u{2028}zxyy\\u{c}éx🎉\\u{85}9é𝄞あñ\\u{2028}ñz\\u{c}0é.,y\\u{85}y,0é9\\u{2028}0\\u{c}𝄞がa\\r,\" 23 26)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.522543599+00:00","status":"failed","tests":33,"discards":0,"time":"579us","error":null,"tool":"proptest","counterexample":"(\"\\u{85}ab,\\nあc\\u{85}x🎉9c\\n.b\\u{2028}yb \\u{b}\\u{85}éx\\u{85}が𝄞ñ\\u{85}0,bx\\ré\\ncがc\\u{b}ñあ\\u{c}\\u{c} bzc字xが𝄞9z\\u{2028}x\\u{85}é\\u{2028}\\u{2028}𝄞\" 11 7)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.524271971+00:00","status":"failed","tests":33,"discards":0,"time":"682us","error":null,"tool":"proptest","counterexample":"(\"ycc \\u{b}.cy.\\n\\u{85}zbあé\\u{85}c99\\u{2028}bz\\n xがñ𝄞ñ𝄞x\\u{b}a x\\u{c}ñ.a\\u{b}がy\\u{2028}字bがba𝄞x9c字🎉,字9\\r\\u{b}bñ 𝄞,xéñ\\u{c}\\u{85}é\\n\\u{b}0b.\\u{85}.🎉\\u{c}\\u{c}9b\\u{b}09ñ 𝄞\\u{c}09b🎉0añ9z𝄞za 0\\r,xあb0,\\u{c}a.\\ny𝄞\\u{2028}\" 29 12)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.526081286+00:00","status":"failed","tests":33,"discards":0,"time":"2806us","error":null,"tool":"proptest","counterexample":"(\"é字c\\r é\\u{b}\\u{c}\\r\\n\\nyz,\\u{85} 🎉9cが\\u{c}.\\n\\néyがb\\u{85}a\\u{b},00ñ9z字あ\\nñ0.b\\u{2028}9y9あñ\\u{b}\\u{b}\\rが\\u{c}\\u{b}99éがy🎉\\nが字9z9,\\nああbñ.\\u{2028}.y\\u{c}9\\u{b}𝄞abcc 9ñ字\\u{85}🎉\\r9\\nb\\u{c}ñ\\r字ééが\\u{85}bあñ\\u{c} ,ñaé\\rz\\r\\u{85}9\\n\\nが\\u{85}c\\u{c}ñあz\\u{c}\\r cñ9\\u{85}\\u{85}é\\r y.字x字9あ🎉0c字 zb\\u{c}xc\\u{c}\\u{85}\\n\\u{85}y\\u{85}\\u{c}é\\u{85}\\u{c}x字añéあ\\u{85}.x.がc🎉c字\\u{c}ac字 cy🎉\\u{c}0🎉,y🎉.z字字\\u{85}\\r\\r\\u{2028}\\u{b}0,..\\u{c}がc🎉字\\u{85}ññ\" 11 2)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.530024649+00:00","status":"failed","tests":33,"discards":0,"time":"521us","error":null,"tool":"proptest","counterexample":"(\"🎉éa\\u{85}\\u{2028}yx.\\u{c}cñ\\u{c}y0あ0ñあñ0がが\\u{b}c\\r\\u{2028}\\u{c}\\rがy x\\u{2028}\\u{b},.,9 \\u{c}\\u{85}é\\u{c}z𝄞a0が字𝄞ya字 ay\\u{b}.🎉cがy99x aが\\u{85} \\u{85}y\\u{85}\\u{c}\\u{85}🎉.\" 26 20)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.531677743+00:00","status":"failed","tests":33,"discards":0,"time":"745us","error":null,"tool":"proptest","counterexample":"(\"yzc0\\u{b}\\u{85}é\\u{85}  \\u{b}\\nc字\\u{2028}zé\\u{85}c90\\u{b}字.\\n é\\u{c}🎉c9あa\\u{c}\\u{c}0\\u{c},y,x .\\u{c}が\\u{85} がñ,0\\u{2028}x🎉z\\u{b}\\u{c}c0ñ9 字𝄞yy\\u{c}が\\u{b}\\u{2028}0\\n𝄞字字𝄞b🎉\\nxzy🎉x\\u{85}\\u{2028}が ,éc字.ñ\\u{2028} é\\u{c} ññ\\ray\\u{85}9 ,あé 0 xがあ\\r\\u{c}cñ9がc\" 13 19)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.533564428+00:00","status":"failed","tests":33,"discards":0,"time":"775us","error":null,"tool":"proptest","counterexample":"(\"0\\n\\u{2028}あ,c 字é0zñ🎉0あy0.\\u{85}\\u{2028}\\u{b}c.a 9.b0a\\rbbyb,c\\r𝄞あycx\\u{85},\\rあzc\\u{b}bがyzx\\r\\r0字é🎉b\\n\\u{c}\\u{85}𝄞a,あ字\\n\\u{85}ñ🎉09\\u{b}é𝄞y9字\\u{b}y\\u{85}🎉xñ.\\rñéyaあzé\\u{c}あ字y🎉𝄞字yc\\réañy\\rx9ñxé,が\\u{c} 9\\n🎉cが.\\n字\" 19 17)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.535415443+00:00","status":"failed","tests":33,"discards":0,"time":"449us","error":null,"tool":"proptest","counterexample":"(\"あ𝄞ñybが\\u{b}ñがx \\n\\r\\u{c}c é,9\\u{2028}\\u{2028}z\\r🎉.あ9🎉0é.,é9bxがcz𝄞\" 15 20)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.536937387+00:00","status":"failed","tests":33,"discards":0,"time":"1600us","error":null,"tool":"proptest","counterexample":"(\"9字y\\u{c}\\u{85}\\r,,y\\u{85},🎉𝄞0が\\u{85}ñz\\n\\nz.\\u{b}ayb90aが.z\\nñ.\\n0bあa\\u{b}yñ\\u{b}\\u{c}zx\\u{2028}zaxñézazc\\u{2028}\\n .b0.c字が\\n0\\u{c}🎉\\u{85}𝄞🎉 \\ré.z\\u{c}𝄞が🎉\\u{85}0がyz\\u{85}字あb𝄞\\u{b},\\u{c}9\\u{2028}y\\u{85}éa\\u{b}a\\r.byé\\u{b}ああ\\u{b}c.\\na\\r\\n \\u{c}\\u{b}🎉\\u{85}b\\u{b}\\n\\u{b}.bbあ,zz🎉x\\u{85}🎉あxacz字\\u{2028}\\u{85}𝄞z\\u{85},. a\\n9\\u{c}y,🎉\\u{85} x字字\\u{2028}\\u{85}0x🎉x.cx0.0 \\u{c}y0\\u{85}あ\\u{c} \\r9a,𝄞\\u{85}.y,,9字ba 9a 🎉9𝄞0\\u{85} 𝄞\\u{c}ybayzがa\" 5 7)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.539934235+00:00","status":"failed","tests":1,"discards":0,"time":"43us","error":null,"tool":"quickcheck","counterexample":"(\"\\r.ñ,\\u{b}a\\u{85}𝄞が\\u{c}\\r,\\u{c}\\n 9𝄞9\\u{b}z\" 26 17)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.541057725+00:00","status":"failed","tests":1,"discards":0,"time":"103us","error":null,"tool":"quickcheck","counterexample":"(\"ñ\\n00zé\\u{b}\\u{2028}\\u{b}a\\u{85}🎉a,c𝄞x\\u{2028}字éa🎉\\u{b}c\\u{b}字\\nc\\u{b}ñz\\u{c}\\u{b},\\u{85}\\rが,\\rbéñ\\u{85}bz\\u{2028}.あ\\u{85} b字 ézaがx9𝄞9\\u{2028}𝄞\\u{b}\\u{85}é0  🎉é\\r\\u{b}\\u{2028}ñc\\rが0\\u{2028}x zxy🎉ああx\\nが𝄞𝄞z𝄞あbあ\\n9a.axbé\\u{b}é\\u{c}xyc🎉bb\\r0\\u{c}b,é\\u{b}0が0ñ\\nñ9 yyb𝄞字xbyb\\n\\u{b}字é9\\u{2028}a\\u{2028}\\rb\\u{c},🎉\\u{b}あ\\u{c},字𝄞\\ny0a\\r𝄞ñ9ñ が\\u{2028}x ,\\u{2028}\\u{85}あ9aa\\u{2028}0y,🎉\" 4 28)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.542275316+00:00","status":"failed","tests":1,"discards":0,"time":"48us","error":null,"tool":"quickcheck","counterexample":"(\".x\\rccé 𝄞\\u{b}c\\u{b}🎉,9b .🎉.\\u{b}\\rx🎉𝄞z,𝄞ñがa🎉xbz,\\r \\u{b}a\\u{85},\\u{b}z\\u{85}b\\u{85}\\u{b}𝄞zbが🎉\\u{85}0x\\nñ\\u{2028}あ\\u{c}\\u{85}00🎉𝄞\\u{85}あ\\u{b}𝄞x🎉\\u{2028}é\" 20 28)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.543391472+00:00","status":"failed","tests":1,"discards":0,"time":"55us","error":null,"tool":"quickcheck","counterexample":"(\"字9b,ééあ\\u{85}z\\n\\u{b}y céñéが\\u{85},🎉é\\rébが字🎉x\\u{85}\\u{b}\\u{85}\\u{c} z𝄞\\u{b}\\r字bé\\u{2028}é𝄞\\n9がñ\\naé9\\u{b}9z \\u{2028}x\\rx99ñが 🎉a9\\u{85}\\u{85}\\u{c}x\\u{85}x.x.9x𝄞字b ñc\\n\\u{85}𝄞.yñ.y\" 17 21)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.544566843+00:00","status":"failed","tests":1,"discards":0,"time":"48us","error":null,"tool":"quickcheck","counterexample":"(\"字\\u{b}bがxz\\u{2028}🎉\\u{c}が字\\u{85}9é\\u{b} ,9b\\u{2028}が\\u{c}9が字ñ,🎉9é0é\\u{85}🎉字あéa \\u{c}b.\\u{2028}\\n字\\rc\\na9ñaña y \\u{c} \" 24 19)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.545669063+00:00","status":"failed","tests":1,"discards":0,"time":"118us","error":null,"tool":"quickcheck","counterexample":"(\"9.字0,🎉é𝄞\\r\\r0ñ\\u{85}\\u{c}xébxy\\r,あñyx\\ny\\u{c}9ñ\\u{85}0\\u{85} .\\u{c}🎉9🎉\\u{85}.字b\\r \\u{2028}\\u{c}\\rxé\\u{85}\\u{c}.\\u{b}b\\ryb\\r\\u{c}あ字y9\\u{85}9🎉x00𝄞\\u{b}bé0 é\\nzx.𝄞\\u{c}0y9.zb0cc\\u{b} あ字cñ𝄞🎉bあyあ\\rxé\\u{b}が𝄞9byañc\\u{2028}がが99,🎉\\rb\\n𝄞あ\\u{85}\\r0z🎉bccz0x𝄞0,\\u{b}\\u{85}09\\u{b}🎉9𝄞c𝄞\\u{85}.é字が \\r🎉x9\\u{2028}z\\ncaxがy,,が9a\\u{b}zzé\\rzxc字bが🎉9\\u{85}がzb9\\u{85}\\u{2028}aあ🎉ñ\\u{2028}🎉\\u{85}\\u{2028}\\u{85}a🎉 cy\\r🎉,zbéあ\" 9 29)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.546854354+00:00","status":"failed","tests":1,"discards":0,"time":"65us","error":null,"tool":"quickcheck","counterexample":"(\"🎉あ字🎉がc.0 y,字0𝄞0bbyxc\\u{85}.\\u{b}\\u{c}\\rが\\u{c},éaあ🎉xx9a\\u{85}é9a\\r0\\u{2028}.zé𝄞字 a字0\\u{b}\\u{b}az\\u{85}b\\u{b}z\\u{2028}\\u{85}xc xx0z\\né\\n\\n\\nがé. yy\\u{85}ñcあ\\u{2028}𝄞 ,0が\\n0xc\\u{85}0字9字z9𝄞が🎉c\\n,.0 \\u{c} z9\\u{85}\\n\\u{2028}z0.c.éが🎉,0\\u{2028}0あ0ああ\\r. 𝄞字あ yac9c\" 14 32)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.548011196+00:00","status":"failed","tests":1,"discards":0,"time":"40us","error":null,"tool":"quickcheck","counterexample":"(\"c があyc acz𝄞.9y𝄞\\n.x\\u{c}\\u{2028}z\\u{2028}é.𝄞 xあ\\u{c}x\\r\\u{2028}x\\u{c}\\u{85}\\u{85}\\nz\\r字\\raaxあ\\r\\u{c}\\rb.zc\\u{b}字が\\u{c}y cññ a b\\u{b}z\" 29 18)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.549125123+00:00","status":"failed","tests":1,"discards":0,"time":"53us","error":null,"tool":"quickcheck","counterexample":"(\"が9\\nbが𝄞\\u{85}が 0b\\u{2028}\\ré🎉あé,が\\u{b}0bé\\u{2028}0,é𝄞\\u{c}b\\u{2028}\\u{2028}𝄞a\\u{85}字9\\u{c},x𝄞é\\u{2028}\\u{85}0\\u{85}a\\u{85}\\u{c}z\\u{2028}がcz字z\\u{2028}🎉\\u{2028}yc9x\\u{2028}🎉\\u{c}がéz\\rbécñé\\n.0\\r字ああcñ🎉\\nzがaあ\" 20 32)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.550255565+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"quickcheck","counterexample":"(\"zéが 9\\u{85}ññ \\nx9\" 1 15)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.551678111+00:00","status":"failed","tests":1,"discards":0,"time":"81us","error":null,"tool":"crabcheck","counterexample":"(\" x\\n🎉ña\\u{2028}\\n🎉é🎉.c字\\u{85}あ\\u{2028}a\\u{85}\" 6 26)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.552798294+00:00","status":"failed","tests":2,"discards":0,"time":"70us","error":null,"tool":"crabcheck","counterexample":"(\"yz🎉c0écyあa  z\\u{85}z\\u{c}acが\\u{85}\\u{b}éx\\rc\\u{c}é0  \\u{85}\\n\\n9c\\n0\\u{c}\\u{b}字𝄞zñ9あab\\u{c}ñ9azñ\\u{85}99\\u{2028}0 c.\\u{2028}あ\\u{c}9ñ0あ\\n\\naa x yc0\\r\\u{85}xaあx \\u{b}あby\\u{b}\\u{2028}yxña字0y\\u{85}c\\rxb..a\\n\\rb字\\nzが\\u{c}yx\\u{2028}0xyz\\r\\nxñé🎉bxa𝄞字 あ\\u{2028}\\n あa🎉\\u{2028}yz 0 \\u{b}0z\" 31 26)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.553952516+00:00","status":"failed","tests":1,"discards":0,"time":"107us","error":null,"tool":"crabcheck","counterexample":"(\"yñcbac\\n\\u{85}x \\u{85}\\ré.éが字がa zx.がéb0\\u{85}z🎉𝄞 \\u{c}9字.\\u{2028}caa9ñが0x9🎉éñ\\rb\\n\\rc🎉𝄞9éxがあ\\u{c}𝄞.\\nc\\r 0字0字🎉cb9  .9あ\\nが字\\u{85}z \\u{85}.9cby\\u{c}\\u{2028}\\u{c}xab9\\u{2028}\\u{2028}bab\\n\\u{2028}\\n🎉 0y\\u{2028}z0𝄞ycx\\u{85}0y écé.c\\u{b}ya\\u{b}.\\u{b}あ\\u{85}éが\\u{85}\\nあ字\\u{2028}🎉\\u{c}𝄞ééがñ 0éb 9あ0\\u{85}0\\u{2028}が\\u{b}b🎉𝄞yc🎉\\n字\\u{85}ñ\\ré\\u{b}が0y0\\u{85}\\u{85}\\u{b}𝄞が\\u{c}z 🎉b\\u{b}y\\u{2028}\\u{b}é\\u{c}x字 cézc0ay\\r..\\u{c}éñ𝄞🎉b\\rc\\n\" 24 6)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.555169301+00:00","status":"failed","tests":1,"discards":0,"time":"102us","error":null,"tool":"crabcheck","counterexample":"(\"🎉 9あが\\u{b}.é\\u{85} yがñ\\nzñ ñyz \\u{2028}\\u{c}9ñ字b🎉0🎉9c\\r.\\u{b}\\n🎉🎉🎉éa𝄞\\u{b}\\u{2028}.あc xz0ax\\u{2028}字 があ𝄞🎉が\\u{85}\\u{b}\\n\\n\\nxc𝄞x\\u{c}𝄞\\ry0\\u{2028}\\u{85}\\u{c}\\u{85}が\\rc\\u{2028}x\\u{85}0\\naba9bxy9🎉\\nあbyébがyéあc\\u{c}\\u{c}\\u{85}ññña\\u{85}x ああbx0c\\r \\rñ0字\\r\\u{c} cc\\nあ𝄞.0.🎉がx字がc🎉xが字\\n\\n が9\\n あ9\\u{c}\\u{85}0xあ\\r\\u{c}.x\" 8 10)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.556398093+00:00","status":"failed","tests":1,"discards":0,"time":"76us","error":null,"tool":"crabcheck","counterexample":"(\"\\u{2028}0が\\u{c}c\\u{c}\\u{b}\\u{85}\\u{85}\\r\\u{2028}あxz🎉\\r\\u{c} 🎉.0🎉xxが\\u{b}9字.a ñ\\u{c}\\u{b}\\u{2028}yb\\u{2028}\\u{85}が\\u{2028} \\u{c}9\\u{2028}\\u{c}.cが\\u{85}\\u{c}zé0  あby9🎉🎉\\r字.\" 2 15)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.557575123+00:00","status":"failed","tests":1,"discards":0,"time":"101us","error":null,"tool":"crabcheck","counterexample":"(\"x y がñbé9ñ\\u{2028}c字90zñ𝄞z\\u{85}あ\\u{2028}\\u{2028}\\u{c}a\\r字🎉.\\u{b}\\u{85}a字𝄞\\u{85}bx.\\r\\u{2028}0yéaé \\u{85}9\\r\\n\\u{b}𝄞9が0ががが\\u{85}が\\u{b} zc\\nbxéあy\\nx\\nb 0\\n0\\r が\\r\\u{b}🎉🎉 0字xñ9𝄞がa\\u{2028}zéz éあz 𝄞🎉xxñ\\u{85}字x\\r b.x\\u{b} \\n\\rあ\\n y\\u{85}🎉écあ字\\u{b}zx\\u{b}ññ ñ9\\u{85} 🎉\\u{85}あがb0\\u{b}é🎉b\\r\\u{c}ñ \\u{b}\\r𝄞\\réy é\\n🎉bzx\\u{c}字\\rが9 🎉あ\\u{85}\\u{2028}é あ\\r あaaああz𝄞字𝄞a𝄞0🎉x🎉字\\u{c}x.\\u{c}\\u{2028}がc \\n0字\\nbzxñx\\u{c}字éé0b\\u{2028} がy\\u{b} \" 24 11)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.558782765+00:00","status":"failed","tests":1,"discards":0,"time":"105us","error":null,"tool":"crabcheck","counterexample":"(\"\\u{85}9bé\\u{b}y\\u{85}\\u{b}bz\\u{85}字あx字🎉\\u{85}が \\n𝄞 \\n9éあñ\\u{2028}yあ\\u{85}\\u{2028}b.9y\\ré  があ\\u{c}あ\\u{b}00🎉\\u{b}\\u{85}y  c\\u{b} \\u{85}.字0 00xy0ñ\\u{c}cc9𝄞字zññ 𝄞a\\r\\u{2028}.\\r .🎉c.ñ🎉\\u{b}y字あ9cx\\n\\u{b}\\n. \\u{2028}0.\\n\\u{2028}é\\u{b}\\u{b}.\\u{c} \\u{c}\\u{85}字 \\u{b}zyx.baya9 \\u{c}がb 9 あañ\\r字字9 0cby𝄞 ññ\\n\\u{c}\\u{85}0\\n z字字あ.\\u{b}.🎉\\r\\u{85}zñ\\u{2028}.が.あ\\n\\u{85}0z\\r\\u{b}a\" 11 5)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.559975886+00:00","status":"failed","tests":1,"discards":0,"time":"108us","error":null,"tool":"crabcheck","counterexample":"(\"é🎉🎉a\\u{2028}éñ\\n éあ🎉y🎉\\u{85}cx\\r🎉 .y\\u{c} 🎉あaa é\\r\\u{b}🎉\\u{b} ac\\r zあ字\\nb 9𝄞\\nz\\rzñ\\réaが字z\\u{c} . 🎉xx9a字\\u{2028}x𝄞cbé\\u{2028}\\u{c}.xx 0yéがa が𝄞c\\r\\nñcy x𝄞\\u{85}𝄞ba\\u{b}あcあ字éña\\u{2028}𝄞a字 ñ ñ🎉.字\\u{c}\\rが9 \\u{85}z🎉z🎉𝄞a字  \\u{b}字あz\\u{85}🎉\\u{2028}yc\\u{2028}b\\u{2028}xあb\\u{b}xxyñ\\u{b}あb0あ\\u{2028} \\u{85}\\u{85}9ñ ñ 字🎉\\u{85}cé があ\\n\\u{c}y0..\\u{b}🎉🎉がaañ \\u{c}9.aがz🎉あ9z\\u{b}0\\r ñ\\u{c}\\u{2028}𝄞ñ\\u{b}\\n.c\\n🎉y\\nx09🎉🎉\\u{c}xa\\r\\u{c}ñ yaña\" 15 12)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.561185211+00:00","status":"failed","tests":1,"discards":0,"time":"79us","error":null,"tool":"crabcheck","counterexample":"(\"ccx\\u{85}axñyy\\r\\r\\u{c}zx🎉é𝄞éあac \\u{c}.9 \\u{c}.\\u{2028}あ\\n\\r0\\ny\\r.ñx\\u{85}字 y0🎉éyが\\u{c}z.xé9\\u{85}\\u{85}b\\u{c}x. \\n9\\u{b}\\u{85}xxb\\u{b}𝄞\\r\\u{85}x\\u{c}\\u{c}c\\u{85}c\\u{85}z\\u{85} ñ0字字é9.あ字𝄞\\u{85}9c\\u{2028}字あ\\u{b}\\u{c}.\\rc\\u{2028}cc字0xa\\r\\r\\u{85}🎉が🎉ñ a0🎉a\\u{b}\" 28 4)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.562375987+00:00","status":"failed","tests":1,"discards":0,"time":"172us","error":null,"tool":"crabcheck","counterexample":"(\"aがc𝄞\\u{b}字\\u{c} あx \\u{2028}y𝄞🎉が0y🎉あay 0\\u{b}x\\nbñが𝄞. .あ  \\u{2028}\\ryああz がa字\\u{85}\\u{85}字字あ0字b🎉\\u{b} \\r\\r\\u{2028}字字🎉éz字\\u{c}\\nあ.é.éxaa9xa 909\\rあé\\u{2028}🎉x\\r\\u{2028}yb🎉\\u{b}añx𝄞\\u{85}yb ab \\u{c}00𝄞\\n\\u{85}あ9y.\\u{b}.字y\\rがx\\u{85} z𝄞éあyあ𝄞xy🎉🎉z0\\u{c} b\\u{2028}z0\\u{c}ñ\\u{2028}c.\\u{85}\\u{c}.あ🎉cx\\nxb\" 25 1)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:05:12.564009458+00:00","status":"failed","tests":150,"discards":0,"time":"1540287us","error":null,"tool":"hegel","counterexample":"(\"aa\" 1 2)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:05:14.105622294+00:00","status":"failed","tests":150,"discards":0,"time":"1514488us","error":null,"tool":"hegel","counterexample":"(\"aa\" 1 2)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:05:15.621667474+00:00","status":"failed","tests":150,"discards":0,"time":"1504345us","error":null,"tool":"hegel","counterexample":"(\"aa\" 1 2)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:05:17.127617150+00:00","status":"failed","tests":150,"discards":0,"time":"1554373us","error":null,"tool":"hegel","counterexample":"(\"aa\" 1 2)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:05:18.683548249+00:00","status":"failed","tests":150,"discards":0,"time":"1514590us","error":null,"tool":"hegel","counterexample":"(\"aa\" 1 2)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:05:20.199854729+00:00","status":"failed","tests":150,"discards":0,"time":"1529723us","error":null,"tool":"hegel","counterexample":"(\"aa\" 1 2)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:05:21.731199378+00:00","status":"failed","tests":150,"discards":0,"time":"1506742us","error":null,"tool":"hegel","counterexample":"(\"aa\" 1 2)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:05:23.239566843+00:00","status":"failed","tests":150,"discards":0,"time":"1506451us","error":null,"tool":"hegel","counterexample":"(\"aa\" 1 2)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:05:24.747649780+00:00","status":"failed","tests":150,"discards":0,"time":"1543683us","error":null,"tool":"hegel","counterexample":"(\"aa\" 1 2)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeHashChunkInvariant","mutations":["rope_hash_chunk_boundary_fef5be9_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:05:26.293056656+00:00","status":"failed","tests":150,"discards":0,"time":"1515064us","error":null,"tool":"hegel","counterexample":"(\"aa\" 1 2)"},"hash":"725e5a0d5f3ece7dc12d14218127b971ffd693ae"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.426402713+00:00","status":"failed","tests":33,"discards":0,"time":"293us","error":null,"tool":"proptest","counterexample":"(\"あ𝄞あ\\r国\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.428046046+00:00","status":"failed","tests":33,"discards":0,"time":"289us","error":null,"tool":"proptest","counterexample":"(\"\\n国国🎉🎉字aba字üü𝄞が\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.429548133+00:00","status":"failed","tests":9,"discards":0,"time":"116us","error":null,"tool":"proptest","counterexample":"(\"aé\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.430777540+00:00","status":"failed","tests":31,"discards":0,"time":"205us","error":null,"tool":"proptest","counterexample":"(\"aé\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.432087447+00:00","status":"failed","tests":5,"discards":0,"time":"79us","error":null,"tool":"proptest","counterexample":"(\"aé\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.433239157+00:00","status":"failed","tests":16,"discards":0,"time":"110us","error":null,"tool":"proptest","counterexample":"(\"aé\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.434422307+00:00","status":"failed","tests":26,"discards":0,"time":"152us","error":null,"tool":"proptest","counterexample":"(\"aé\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.435764742+00:00","status":"failed","tests":26,"discards":0,"time":"136us","error":null,"tool":"proptest","counterexample":"(\"aé\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.436993901+00:00","status":"failed","tests":14,"discards":0,"time":"101us","error":null,"tool":"proptest","counterexample":"(\"aé\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.438157190+00:00","status":"failed","tests":7,"discards":0,"time":"77us","error":null,"tool":"proptest","counterexample":"(\"aé\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.439745362+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"quickcheck","counterexample":"(\"字a \\r 𝄞üñ国ñ \\r🎉\\n\\n国国éñ𝄞\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.440837278+00:00","status":"failed","tests":1,"discards":0,"time":"39us","error":null,"tool":"quickcheck","counterexample":"(\"ñb字 字ü\\rあ🎉ü🎉a\\r🎉ü ñ\\ré 国がa字a国ñ字\\nあ\\rüé\\nあ𝄞🎉がüüñ\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.441931233+00:00","status":"failed","tests":1,"discards":0,"time":"36us","error":null,"tool":"quickcheck","counterexample":"(\"がñ国 é𝄞が a𝄞aaああ字が\\rあ国 字\\rがa\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.443081348+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"quickcheck","counterexample":"(\"\\rññ🎉ñü\\nüがあñあ\\na🎉国字\\n\\nb a🎉\\rbあ国 🎉 \\n字𝄞\\r字\\r𝄞🎉字\\r\\r国がü𝄞𝄞国国\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.444185742+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"quickcheck","counterexample":"(\"国\\n\\nüb国bübaあ𝄞が字ñéüñ字がbあが𝄞\\rが\\rba🎉a 🎉é𝄞\\rñ\\n\\n\\nñ国ññ字𝄞ü\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.445278209+00:00","status":"failed","tests":1,"discards":0,"time":"33us","error":null,"tool":"quickcheck","counterexample":"(\"bあbあbñ𝄞a🎉🎉字ñ🎉bあñ国éb\\n\\nががあがb\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.446373556+00:00","status":"failed","tests":1,"discards":0,"time":"36us","error":null,"tool":"quickcheck","counterexample":"(\"𝄞𝄞aあaa\\nñ国  𝄞é \\na\\né üあ𝄞ñ𝄞üb\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.447452006+00:00","status":"failed","tests":1,"discards":0,"time":"37us","error":null,"tool":"quickcheck","counterexample":"(\"字bü 🎉\\rあb国bñ国国𝄞\\n𝄞aébña\\nbあééñü é\\n国字字ü\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.448578112+00:00","status":"failed","tests":1,"discards":0,"time":"34us","error":null,"tool":"quickcheck","counterexample":"(\"\\r\\r\\nüéü\\rééあ\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.449666150+00:00","status":"failed","tests":1,"discards":0,"time":"44us","error":null,"tool":"quickcheck","counterexample":"(\"é国éé🎉üが𝄞国字b国𝄞国字あ\\rがü字字\\r\\r\\n国b\\rが字字がéñü字🎉a\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.451157120+00:00","status":"failed","tests":1,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"(\"あéが𝄞ñ aがb字ü国字🎉\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.452238385+00:00","status":"failed","tests":1,"discards":0,"time":"37us","error":null,"tool":"crabcheck","counterexample":"(\"字字字𝄞字b\\n\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.453312813+00:00","status":"failed","tests":1,"discards":0,"time":"34us","error":null,"tool":"crabcheck","counterexample":"(\"\\ra\\nüü\\nü字が \")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.454408907+00:00","status":"failed","tests":1,"discards":0,"time":"45us","error":null,"tool":"crabcheck","counterexample":"(\"🎉b \\n \\nあ b🎉国\\r \\n 字é\\n字é\\r b𝄞がé𝄞 b\\rbaüあ𝄞ü\\n国国𝄞 国国あ\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.455565109+00:00","status":"failed","tests":1,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"(\"🎉übñが字é𝄞国あ\\r字é🎉\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.456630454+00:00","status":"failed","tests":1,"discards":0,"time":"39us","error":null,"tool":"crabcheck","counterexample":"(\"🎉b字国🎉bがa\\réñ𝄞🎉が字\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.457707227+00:00","status":"failed","tests":1,"discards":0,"time":"65us","error":null,"tool":"crabcheck","counterexample":"(\"\\r𝄞\\n国b字\\nあñb🎉🎉が ü éü 🎉国字が\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.458800936+00:00","status":"failed","tests":1,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"(\"\\n 字国\\n𝄞ñü🎉🎉\\r国が国\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.459933754+00:00","status":"failed","tests":1,"discards":0,"time":"32us","error":null,"tool":"crabcheck","counterexample":"(\"が字b𝄞🎉🎉🎉 \")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.461011613+00:00","status":"failed","tests":1,"discards":0,"time":"27us","error":null,"tool":"crabcheck","counterexample":"(\"ñ\\n\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.462518342+00:00","status":"failed","tests":12,"discards":0,"time":"226502us","error":null,"tool":"hegel","counterexample":"(\"aé\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.690348026+00:00","status":"failed","tests":12,"discards":0,"time":"226874us","error":null,"tool":"hegel","counterexample":"(\"aé\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:05:32.918923539+00:00","status":"failed","tests":12,"discards":0,"time":"230455us","error":null,"tool":"hegel","counterexample":"(\"aé\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:05:33.150993946+00:00","status":"failed","tests":12,"discards":0,"time":"223710us","error":null,"tool":"hegel","counterexample":"(\"aé\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:05:33.376570296+00:00","status":"failed","tests":12,"discards":0,"time":"227002us","error":null,"tool":"hegel","counterexample":"(\"aé\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:05:33.605164975+00:00","status":"failed","tests":12,"discards":0,"time":"220498us","error":null,"tool":"hegel","counterexample":"(\"aé\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:05:33.827352535+00:00","status":"failed","tests":12,"discards":0,"time":"221703us","error":null,"tool":"hegel","counterexample":"(\"aé\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:05:34.050759793+00:00","status":"failed","tests":12,"discards":0,"time":"224401us","error":null,"tool":"hegel","counterexample":"(\"aé\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:05:34.276737250+00:00","status":"failed","tests":12,"discards":0,"time":"219574us","error":null,"tool":"hegel","counterexample":"(\"aé\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"Utf16CharRoundtrip","mutations":["utf16_code_unit_conversion_c0af16b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:05:34.497983684+00:00","status":"failed","tests":12,"discards":0,"time":"214723us","error":null,"tool":"hegel","counterexample":"(\"aé\")"},"hash":"f4d59fe928e7832173410e40769522d10aca1529"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.295667825+00:00","status":"failed","tests":22,"discards":0,"time":"218us","error":null,"tool":"proptest","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.297138343+00:00","status":"failed","tests":33,"discards":0,"time":"501us","error":null,"tool":"proptest","counterexample":"(\"0z\\rñ\\n\\ny,\\u{2028},y\\u{2028}ñcあzyéz.bc.aa,\\u{c}ñ0by\\n0ñy𝄞0ay\\n 字ñあ\\u{c}𝄞cé\\n\\u{b}\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.298772368+00:00","status":"failed","tests":33,"discards":0,"time":"722us","error":null,"tool":"proptest","counterexample":"(\"\\r.\\u{c},b\\u{2028}z,\\n\\u{2028}字あ\\u{b}𝄞,あ𝄞z𝄞é\\r \\u{85}🎉cñ𝄞字\\u{c} ,a.aéxあ\\u{c}\\u{c}🎉\\u{2028}9\\nが\\n\\u{85}\\u{85}がc\\n字xがé\\u{b}ñbé字 a\\u{c}y\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.300569329+00:00","status":"failed","tests":33,"discards":0,"time":"502us","error":null,"tool":"proptest","counterexample":"(\"azb9y\\u{b}0\\u{85}あbzが.\\u{2028}\\u{2028}bあx\\u{c}あé.\\u{2028}\\r9,aa00\\u{b}\\u{2028}9c,yyb,z\\u{85}.y字0b\\r\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.302128875+00:00","status":"failed","tests":33,"discards":0,"time":"314us","error":null,"tool":"proptest","counterexample":"(\"a\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.303500858+00:00","status":"failed","tests":1,"discards":0,"time":"93us","error":null,"tool":"proptest","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.304665272+00:00","status":"failed","tests":33,"discards":0,"time":"551us","error":null,"tool":"proptest","counterexample":"(\"\\u{b}\\u{2028}ñ aがbz9cあxyca.\\rb\\r90\\u{2028}.🎉9ña,\\u{85}\\rac\\r\\u{b}a\\u{85}\\r0ñあ9があ,a,\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.306216653+00:00","status":"failed","tests":33,"discards":0,"time":"735us","error":null,"tool":"proptest","counterexample":"(\"あb𝄞.\\u{85},\\u{b} ñ.z\\rb𝄞\\u{85}c🎉\\r ,\\u{c}\\u{85}字\\nñ.\\u{c}\\u{2028}ああ\\u{2028}0,zyzéが𝄞0z\\u{b}\\u{b}\\u{2028}あ9aあ\\nñ𝄞\\u{c}0é\\u{b}y09がé\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.308014024+00:00","status":"failed","tests":33,"discards":0,"time":"581us","error":null,"tool":"proptest","counterexample":"(\"é\\n\\n,.yz.\\n\\r\\u{85}\\u{2028}az\\réyé\\rxc\\ry\\néñbがが\\u{c}x,xñ𝄞a,\\u{2028}z 0あ\\u{c} é\\u{c} a\\u{2028}🎉があ \\rが\\ry🎉 \")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.309658689+00:00","status":"failed","tests":28,"discards":0,"time":"298us","error":null,"tool":"proptest","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.311459968+00:00","status":"failed","tests":1,"discards":0,"time":"45us","error":null,"tool":"quickcheck","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.312607301+00:00","status":"failed","tests":1,"discards":0,"time":"44us","error":null,"tool":"quickcheck","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.313710049+00:00","status":"failed","tests":1,"discards":0,"time":"101us","error":null,"tool":"quickcheck","counterexample":"(\"9yñx.字\\u{85}\\raxzbz\\ny.\\u{b}がa𝄞あ\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.314809432+00:00","status":"failed","tests":1,"discards":0,"time":"46us","error":null,"tool":"quickcheck","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.315912410+00:00","status":"failed","tests":1,"discards":0,"time":"59us","error":null,"tool":"quickcheck","counterexample":"(\"\\r𝄞9🎉z\\r.zが\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.317002946+00:00","status":"failed","tests":1,"discards":0,"time":"44us","error":null,"tool":"quickcheck","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.318096948+00:00","status":"failed","tests":1,"discards":0,"time":"67us","error":null,"tool":"quickcheck","counterexample":"(\".9\\u{2028}cあ\\u{b}\\n\\u{b}あ字éあñ0é0y \\u{b}\\u{b}\\u{2028}\\u{b}a🎉あ\\u{c}\\u{2028}z cx.🎉\\u{2028}cy\\u{b}.\\u{85}9🎉b\\ncが,zy\\u{85}\\u{c}𝄞b字c\\u{85}.ayが字.,acz\\u{c}\\u{2028} ,,y🎉,é\\u{85}. \")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.319221898+00:00","status":"failed","tests":1,"discards":0,"time":"54us","error":null,"tool":"quickcheck","counterexample":"(\"\\n\\u{2028}. \\n\\u{2028}xy\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.320330157+00:00","status":"failed","tests":1,"discards":0,"time":"57us","error":null,"tool":"quickcheck","counterexample":"(\"é字\\u{85}b\\u{85}\\u{b} é\\u{c}\\u{c}ñが.があ,\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.321409592+00:00","status":"failed","tests":1,"discards":0,"time":"68us","error":null,"tool":"quickcheck","counterexample":"(\"\\u{85}cb字\\r🎉xc\\né\\u{2028}𝄞\\u{c}がbb\\rab\\u{c}が9\\réが.\\u{c}éz🎉🎉zあ.🎉 字\\r 9a\\u{2028}\\n\\u{2028}\\u{2028}\\u{c}\\n\\u{2028}\\u{2028}が\\u{2028}.\\u{85}0\\u{85}z9ñbzが\\ny🎉\\u{c}z\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.323042696+00:00","status":"failed","tests":1,"discards":0,"time":"48us","error":null,"tool":"crabcheck","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.324121329+00:00","status":"failed","tests":1,"discards":0,"time":"59us","error":null,"tool":"crabcheck","counterexample":"(\"z𝄞,b\\r,ñ\\nあy0\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.325273871+00:00","status":"failed","tests":1,"discards":0,"time":"70us","error":null,"tool":"crabcheck","counterexample":"(\"\\n, \\u{c}\\u{c}zy,ya90z\\u{2028}ñ🎉🎉\\u{b}\\rあ\\u{b}が🎉𝄞\\u{85}, 🎉xb\\n.ががyc9\\u{2028}\\u{2028}\\u{c}\\u{2028}\\r0z9字\\réya\\u{c}\\u{c}0\\n xががa.\\nb🎉y字字,z\\u{2028}\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.326387570+00:00","status":"failed","tests":1,"discards":0,"time":"51us","error":null,"tool":"crabcheck","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.327520455+00:00","status":"failed","tests":1,"discards":0,"time":"73us","error":null,"tool":"crabcheck","counterexample":"(\"\\u{85}aaあ 𝄞a\\n0ñ9\\nがñ\\u{2028},字.,9\\u{c}が\\nが\\né\\u{c}𝄞\\u{85}字\\u{2028}zあ\\r\\u{2028}ñ.\\u{2028}xa𝄞あ\\r 🎉がc9𝄞\\u{c}字ñ\\u{85}\\u{b}字ñ écが字ca9\\u{c}zあy\\u{c}🎉y\\u{c}\\u{85},が🎉,éが,9\\nyxycb\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.328663369+00:00","status":"failed","tests":1,"discards":0,"time":"86us","error":null,"tool":"crabcheck","counterexample":"(\" \\u{2028}\\nab🎉yñ\\u{2028}c\\u{2028}\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.329785995+00:00","status":"failed","tests":1,"discards":0,"time":"69us","error":null,"tool":"crabcheck","counterexample":"(\".\\nézñzc,9\\u{b},écb\\na字🎉yy\\u{c}c\\n\\r\\r字𝄞y\\n が0b.\\u{b},\\r字\\u{c}0z\\u{b}z\\nx\\u{c}あ.z\\u{85}あ0c\\nz,\\u{2028},字字𝄞字\\ra\\u{85} が\\u{85},\\n\\ryが.\\u{c}bé字cy9a\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.330897951+00:00","status":"failed","tests":1,"discards":0,"time":"47us","error":null,"tool":"crabcheck","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.331999327+00:00","status":"failed","tests":1,"discards":0,"time":"56us","error":null,"tool":"crabcheck","counterexample":"(\"9b\\u{85}0\\r\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.333084803+00:00","status":"failed","tests":1,"discards":0,"time":"59us","error":null,"tool":"crabcheck","counterexample":"(\"\\nññ\\u{c},9\\u{2028}ññz..cbb0a \")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.334752702+00:00","status":"failed","tests":12,"discards":0,"time":"263267us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.599281618+00:00","status":"failed","tests":12,"discards":0,"time":"268189us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:05:39.869003444+00:00","status":"failed","tests":12,"discards":0,"time":"267073us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:05:40.137719451+00:00","status":"failed","tests":12,"discards":0,"time":"270779us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:05:40.410238014+00:00","status":"failed","tests":12,"discards":0,"time":"266069us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:05:40.677913384+00:00","status":"failed","tests":12,"discards":0,"time":"263431us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:05:40.943225276+00:00","status":"failed","tests":12,"discards":0,"time":"265945us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:05:41.210867083+00:00","status":"failed","tests":12,"discards":0,"time":"268081us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:05:41.480504130+00:00","status":"failed","tests":12,"discards":0,"time":"271621us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"RopeBuilderDefaultBuild","mutations":["rope_builder_default_empty_stack_dfcac8b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:05:41.753900257+00:00","status":"failed","tests":12,"discards":0,"time":"265300us","error":null,"tool":"hegel","counterexample":"(\"\")"},"hash":"59cc200ef6fcb9bdb8636d2b80f341070ad98eb9"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.590493758+00:00","status":"failed","tests":38,"discards":0,"time":"1480us","error":null,"tool":"proptest","counterexample":"(\"b\\raab \\nb\\r0\\r\\r\\r.\\r.\\n\\r..\\r\\r\\n\\n\\rb \\n\\n\\n\\n.\\n\\ra\\nab0a \\ra\\naa\\r\\r\\r\\ra00.\\n\\r\\r\\n\\r\\n\\n\\n\\n\\n\\r\\n\\r a\\r\\r.\\r\\ra  \\n\\r\\r0 b\\r\\n\\n\\n\\n\\r0.\\nb0\\n\\r.\\r\\n\\n\\n\\n\\n\\r..a\\na0b \\n\\ra..a\\n\\r\\r\\n\\r\\r..\\r\\n 0\\r \\r\\n.a\\r.a\\n\\n\\n.\\nb\\r.\\n\\r\\rbbb\\r\\n\\nb0\\n\\n\\rb\\n.\\r\\n\\na00 0 0.\\rabb\\n\\n.abbabb a. a \\nb  \\n \\n\\n0\\n\\n\\rb\\r.\\n\\n\\n\\n\\n.\\n a.\\ra ab0\\r\\r\\r\\n\\n\\n \\n00 \\r.bb 0. \\n \\n.0\\n.\\ra\\n\\r \\r\\r. \\ra0 b\\ra\\n a  a\\r.a\\n0\\na\\n\\n.\\ra0\\n.\\nb \\rb\\na\\n\\r\\n\\n0\\r\\n.\\ra\\r\\r\\r\\r0\\n\\r.\\n\\r\\na\\n\\r\\r .\\n0\\na\\n000.\\n0aaa\\r\\n\\r\\r\\r.\\r.\\na\\n\\n\\n\\n.\\r\\na \\r0\\n\\n0. \\r\\r\\nb0b\\n\\r\\n0b\\r\\n0 \\r.\\r\\na\\r\\n\\r \\n \\r\\r00ba\\n\\r\\r0\\ra\\n\\naaab\\nb\\r \\r\\n\\n\\n0\\n\\r.\\r\\n.b\\n\\n\\n\\nab\\ra \\r\\n\\r\\n\\r\\n\\n.. \\n\\n\\n\\r\\na\\na\\n\\n\\nb\\n\\nb\\r\\r\\r\\n\\r\\ra\\r \\n b\\na. a \\n.\\n\\na a\\n\\n0\\r0 \\rb0\\r0\\n\\r\\n \\r\\n\\n a\\r.b\\n\\n\\n  a \\r 0\\n\\r.\\n\\n\\n\\n \\r.\\r.b\\r\\n\\n0\\r\\ra.\\n \\r\\r\\r\\n\\nb\\r\\r\\n0\\r \\r \\n\\n\\na\\r\\nb.\\r.\\n.b\\r\\ra00\\r\\na\\r\\r\\n\\rb\\ra\\rb\\n\\n\\n.\\r\\r \\r0b\\r\\ra\\nb\\r\\n\\n\\na00 \\ra0\\raa\\r0\\n\\n\\raa\\n\\n0\\r\\n \\r\\n\\n0.\\r\\r\\r\\n0\\r\\n\\r\\n\\n0.0b\\n\\r\\n\\rb0a\\r\\r \\n\\n0\\r..0 \\r\\n. \\r\\r\\n0\\ra\\n\\n0\\na\\nba....ab\\r \\n\\r . \\rb\\n\\na\\n\\r\\r\\n\\n0\\na 0 0ab0\\ra.a\\ra\\n\\r\\r\\n\\r\\r\\r\\r0a\\r\\n\\raa\\r0\\na\\n\\n  \\n.b0\\ra.00\\ra\\r\\r a\\r\\n\\n0aa\\r.\\n.0a.\\r\\r\\r b0\\nb\\n\\n \\r\\na\\r.\\n\\n\\r\\n\\r a\\n\\n\\r\\n\\rba00a\\r\\r.\\nb\\r \\n\\naa\\n\\naa\\n\\r0\\n.0\\r\\r0\\r\\r.\\n\\r\\n0\\n\\r \\rb\\n0\\n\\r\\r  \\n\\nbb\\n\\n\\n.. \\n\\n\\n b\\n\\n\\n\\n\\n\\r\\n\\n\\n..a\\nb\\r \\rb0a \\n.\\n\\n0\\r\\n\\ra\\r\\r\\r\\r\\r\\n\\n\\r\\r0ba.0\\n\\n\\r\\r\\n.b0\\r\\r\\rbaa\\n\\n\\r ..0.\\r\\n00\\n. \\r\\r .\\n\\n\\n.\\n.\\n\\n.\\n0\\n\\n\\r\\n0 aab.\\n.\\r \\n0  b\\n\\r \\n0\\n\\r0\\n \\r.\\r.\\r\\n\\r a \\n\\n\\n \\r\\r\\r.\\r\\n\\n \\r\\rba.\\r \\n.\\n\\n\\r\\rb\\r\\r\\r\\nb.\\n0a.\\r.b\\rba \\r\\n0\\n\\n \\n\\r\\r\\nb\\n\\n\\na \\n\\r\\r\\n0\\n\\ra\\r0\\r\\r..b\\n.\\n\\r\\n0a\\r0\\r\\n\\ra\\ra\\r\\n\\n\\n\\ra  .\\ra\\n \\r0a\\r0\\r\\n0\\n0\\rb.\\r\\r.aa\\r\\nb\\nb\\r\\r\\r\\n\\r\\r0\\n00 \\n\\n.\\n\\r\\n0.bbaa0a0\\rb0\\n.\\n\\rb0\\n\\n0\\n\\r\\n\\n\\r\\n .\\n\\n\\n\\n\\r..\\ra\\n\\n.a\\nb\\r\\r\\n\\r\\n\\n\\n\\n\\r\\r\\n.0\\r\\n00\\r\\r\\n\\n0\\n00\\n.a\\r\\n\\n\\r\\na\\r\\r ab\\r\\r\\r \\n\\n.b\\r\\n\\r \\n \\r\\na \\r.0\\ra \\nb\\n\\r\\r.\\r\\n\\n.\\n\\n \\n  \\n\\r\\n \\n\\rbb\\r  \\r\\n \\r.b\\r\\r\\r0\\r\\n0 \\n\\n\\r.a0.b \\n\\n\\r\\n\\n\\r 0 \\r \\n0\\r\\r \\r\\r0 \\r\\n\\n\\r0 \\r\\n\\rb.\\n. \\rb.\\r \\r\\r.a0\\n\\n  \\n a\\r0\\r\\nb\\r\\na\\n\\r\\r\\r \\nba\\rb 0.\\n\\ra\\r\\r0bb\\n.a.\\n..\\n\\n\\nb\\n\\r.\\r\\n\\n \\n0\\r\\n0b\\n\\r\\na\\r.0\\r.\\n\\n\\r\\n\\r\\n\\r0aaaa \\n \\r\\r\\r a\\r0a\\r\\n0\\r\\n 0\\r\\n . \\r.\\r\\n0\\r\\rb\\n\\n\\r\\n\\r\\ra.\\r0b\\nb0.\\n\\n\\n\\n\\r. \\ra\" 21915)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.593316873+00:00","status":"failed","tests":64,"discards":0,"time":"2318us","error":null,"tool":"proptest","counterexample":"(\"\\r. \\n\\n0\\n\\r\\r\\n0\\nb\\n.\\rab\\r\\n....\\r \\n\\r\\n\\r.0\\r\\r\\n\\r\\n\\nb. \\nb\\r\\na\\r\\n\\r\\r\\n0b\\n\\r a\\ra\\n\\n\\n\\n0\\r\\r..aa\\r\\n.\\n\\r\\n.0\\n.\\n\\n\\n0\\n\\n\\n.\\r.\\r\\r\\n\\n\\n\\n\\n\\n\\r\\n  \\n00\\rba\\n\\r\\n\\r\\r\\rb0.b0\\n  b.\\n000\\na \\n 0.\\r\\r\\r bb\\n\\n\\nb\\r\\n \\n\\n.\\nab\\n\\n0\\n\\r\\n   b\\na\\r0a\\n.0\\n\\r\\na\\n\\r\\n\\n\\ra \\na\\rb\\r\\r.\\nb0\\n.\\n\\r0aa \\n\\r\\r\\r \\n 0. \\na0\\n\\n\\n\\na\\r 00\\n\\n.\\n \\n0\\r b\\n\\n\\n0.\\n0a \\n\\r\\rb.\\r\\n0\\rbb\\n0\\n0a\\n.b\\r\\r\\r \\raa\\n\\r\\n\\n\\r \\ra0\\na\\r \\r \\r\\r\\n\\n.\\n \\rb\\n \\r \\nb\\n\\n..\\nb\\nba0\\r\\r\\n\\r\\n\\r.\\r.\\r\\r\\n\\r\\n\\r \\n00\\r\\na\\r0a.\\n.\\r\\n\\r\\nb\\n\\n\\r\\n a\\r0\\r\\n\\na.a\\r\\n\\n\\r\\r0\\rb\\n.\\r.ba \\na\\r.\\r\\n\\n \\n\\r\\r\\n.\\n\\r\\r\\r0\\r\\r0\\r\\ra\\r\\nb\\n0b\\r\\n0bbaa\\n\\n\\n\\n\\n\\n a0\\r.\\r\\r\\r\\n\\r.\\n0\\ra\\r .\\na\\r\\r\\r\\n0\\n\\n\\n0\\ra\\r bb\\n0\\n\\r\\n\\nab \\r\\r\\n\\nb\\n\\r00\\r\\r\\r\\n.0\\n \\n\\n\\n.\\n\\n.\\na\\n\\n\\rb\\n. \\r \\r\\ra0.\\n.\\rba\\rb\\r\\r.\\r\\n0\\r\\n\\n \\n0\\n\\n\\r\\n\\rbaa\\n\\r\\n\\n\\r00b\\n\\n0\\r\\na\\n\\r \\r\\na0a\\n a\\r0\\r0\\n\\rb\\n\\n\\n\\rb\\r.\\r\\n\\ra\\r\\r.\\r\\n a\\nb.\\rb\\n\\r\\n\\r\\r\\na.. .\\n\\n \\n\\r\\ra\\n\\nb.\\r\\rb0b\\rb\\n0 a\\n\\r\\r\\n\\raa\\n a0\\n\\n\\rb\\rb0b\\n\\r\\na\\r\\r\\n\\n b\\n\\r\\r\\r0.\\r\\r. \\n\\r\\n00a\\r\\r\\r\\r\\n\\n\\r0 \\n \\n\\n0a0\\n\\r0 \\n0\\n.\\rb\\r0abba\\r\\r0\\n0\\ra. \\n\\r\\n\\rb\\n\\r.\\n\\n\\nb\\r\\n a0 a\\rbb\\n\\n\\n\\r\\n  b\\nb\\n.\\r0\\r\\n.\\r0bb\\r\\ra\\r\\r ba \\r \\rb\\r.b\\r\\r\\n\\r\\r\\r\\r\\n\\n\\n0b0\\r.b \\n\\ra\\n.b\\n\\n\\n\\rb.\\n  a0\\rb0\\r\\r\\n\\r\\rb.\\nb\\r\\nb\\r 0a\\n0\\r\\n\\r0.0\\r\\r\\r \\n\\r\\n\\n\\n.0 \\n\\na0\\n00.\\n\\n\\rb\\r a\\r\\n\\r\\n\\n\\r\\r0b0\\r\\n \\r\\r\\r\\n0 b\\n\\r\\r\\n.\\r\\r.\\r\\n0\\r\\n\\rb\\n\\rb\\n\\r\\n.a\\r\\rb\\rb..\\n0a\\r.\\r\\n\\n\\r\\r\\r\\n\\r\\r.\\ra\\r.\\n\\n\\ra .\\n\\n\\n\\n\\rb\\n\\r\\n\\n.0\\r\\r.a\\r \\ra.\\r0\\nb0\\r\\n\\nb\\n\\n. . \\r\\n\\naa\\r\\r\\n\\nb00.\\r\\n\\n\\r\\rab\\r\\r\\r.\\r \\r\\n\\n \\r\\n\\n\\r\\n \\rb0\\nb \\n\\n.b\\r\\nb0.\\na\\r\\r0\\r\\n\\r\\nbb\\r\\r.\\r\\n\\r\\r\\n\\n\\r\\r\\r. \\n.a\\r\\n.\\r \\n\\n\\r\\n\\n\\r.0\\r\\r\\n\\r \\r .a\\r\\n0\\n 0\\r\\n.\\n0\\rba\\n\\n\\r\" 56774)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.596804595+00:00","status":"failed","tests":63,"discards":0,"time":"2256us","error":null,"tool":"proptest","counterexample":"(\"\\n \\n\\r\\n\\r\\r a0\\r.\\n\\rb ab\\r .\\r0\\r\\n.b\\rb  ab.\\r0\\n0b\\n\\ra\\n\\r\\n \\rba\\r .\\n\\r\\r\\n\\r\\nb\\n\\r\\rb0.\\nb\\r \\r0\\na.\\n\\r\\r\\rab\\r.0\\n\\r\\nb0\\r\\n\\r\\n\\r\\ra\\n \\n\\na.\\r\\n\\nb\\n0\\r\\n\\n\\r 0\\n\\r\\n\\n0\\r\\r \\na 0\\nb\\r0\\n0.a\\na\\r.\\r\\naab\\rb \\ra   \\n\\n\\n0\\n\\r a0\\r\\r\\r\\rb\\n\\r0b\\n\\n. \\na \\n00\\r\\r  \\nb \\r0  \\n\\n\\n\\n\\r\\n\\nabb\\n\\r\\r\\na baaba\\r\\n\\r\\r\\na.0\\r\\r\\n \\n. \\r\\r0.\\n\\na0\\r\\r\\r\\n\\r\\n\\r  \\nb\\r\\ra\\r\\n\\r0\\r\\rb\\r0.\\n0 0\\n\\r.\\rb.0\\r\\r.\\r\\r\\n\\n0\\r.\\r0\\r\\ra.\\r.\\na \\n.\\n\\r \\n\\n.\\r\\n 0\\r\\r\\na.\\r\\na0..\\n \\nb\\r\\n\\n\\n\\n\\n\\n\\r\\r0\\r\\n.0\\r\\r\\n\\r\\nbb\\r\\n\\ra\\n0\\r.ba\\n\\r\\r\\r\\n \\r0 a0\\na.\\r\\n0\\n\\n\\n\\n\\n.\\n\\n\\r\\r\\n\\n.\\n\\r  \\r\\n\\rb.\\r\\nbb\\n\\n\\n\\ra\\n\\n \\n\\n\\n\\n\\n 0\\n0\\na.\\rb\\n\\n\\n\\r\\r \\n\\r\\r\\r.a\\n\\n0a\\n \\rb \\r\\r\\n \\nab\\n \\n0.\\r\\n.\\n0\\r\\n\\r\\n\\na\\n0\\n\\r \\na\\r\\ra\\n  .\\n\\r0\\n\\n0\\nab\\r\\n\\r\\r\\r.\\nbbb\\nbb\\na\\rb.\\r\\r\\r\\nb0\\r\\naa0.\\r\\r\\r\\n0\\n \\n.\\nb\\r\\n. \\n\\r\\na\\r \\n\\r\\r \\r\\nb\\nba\\r\\n\\n.0\\rb\\r\\nbb \\n\\n....\\r\\n\\rb.\\n00\\r\\r\\r\\r\\n\\rb\\n\\r\\r\\n\\r0\\n .a\\r 0\\n.\\n\\n0\\r \\r\\n\\n0\\r\\n ba 0\\r\\r 0b\\r\\ra\\n\\r\\n\\n\\r \\n\\r\\r0.0\\r \\na\\n\\rb\\r\\r\\n\\n b.\\r \\r\\n\\r\\naa0b\\n\\r 0\\n\\n0 \\nb\\r\\r\\n.\\r\\n. 0\\n \\r\\r \\r\\r\\r.   \\ra\\n\\r\\n\\r\\r0a\\n\\r\\r \\r.\\na\\r\\n\\ra. \\n b\\r\\r\\n\\rb\\n.\\n\\n\\r\\n\\n\\nba\\r.\\ra\\r. 0\\n\\naa\\n\\n b  \\n\\r00\\rb\\r\\r\\n\\n\\n\\rb\\r\\n\\n\\n\\n.\\n\\na\\na\\r \\r.ab\\ra\\r\\nb.b0a.a0.bb\\n.\\n..\\r\\n\\n\\na\\r \\n\\nb\\r0bb \\r\\r\\ra\\n\\ra0\\rb.\\r\\r\\n\\n\\r\\n\\r\\r\\n\\n\\n \\ra\\r\\r\\r.\\r\\n\\n0\\r\\r\\r0\\n\\n \\r\\rbbb\\r\\n\\r \\rab\\n ba\\r \\r\\n.b\\r\\n\\r\\r0\\r\\r\\r\\r\\r\\n\\nb\\nb. \\rb\\n\\r\\r\\n\\nb0a\\r\\r\\n\\n.a\\r\\r\\r0a\\nb\\r\\n.\\n.\\n.\\n\\r\\n \\r.\\n\\n\\n\\r\\r\\n\\n00\\r\\n\\r\\n.\\rb\\n. \\n\\n\\r\\n.\\n0a0\\n\\rbb .\\n\\n0 \\r \\n \\n b.\\n\\n\\nab\\r\\n\\n0b\\r\\n.\\r\\n \\nb\\r\\n\\r\\n\\n a\\rb\\nb\\n \\r\\n.\\n\\n\\n\\n\\r\\n\\n\\n\\r\\n\\r\\n\\r\\r.b\\n\\ra\\r\\r\\r\\rb\\rb\\rb\\n\\n..a\\r\\r\\n\\r\\n .a.\\n\\r   ..\\n  a 0. abb .\\na\\na\\n\\n\\n\\na\\n.a\\r0\\rb0b\\r\\ra bb\\n\\r\\n\\n.0..a.\\n\\r\\n\\r.\\n\\r0\\na.\\r0\\ra0\\n  \\n0.bbb\\n \\r \\n.\\n \\n\\n\\n \\r\\rb \\n\\r0\\n\\n\\r\\r\\rb\\n.\\r\\n .\\nb.\\ra \\n a\\r\\n\\r.\\r\\n b\\r\\r\\rb\\r\\n\\n0\\n\\r0\\n\\n\\nb\\n0.\\r\\n\\ra\\r\\ra \" 9272)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.600191274+00:00","status":"failed","tests":79,"discards":0,"time":"3029us","error":null,"tool":"proptest","counterexample":"(\"\\r\\r b0 bb...\\r\\r\\nb \\r\\r\\n\\n.\\n\\n.b\\rb0a \\n0.0\\n\\r\\naa\\r\\rbaa \\n\\na. a\\n\\n\\r\\n\\rb.aa0\\rbb\\r \\nb\\n\\n \\n\\n0\\r\\n. .\\rb.\\n \\r.a .\\n\\n\\r.0 0\\r\\n.. \\n\\rb\\ra\\n 0\\ra\\r\\ra0\\nb.0\\n\\na \\r0 \\r\\n\\n\\n\\n\\rb\\n\\r\\r\\r\\n 0\\n.\\n\\r\\r\\rbb0\\r\\nab\\n\\r.\\r.\\n  \\r\\r\\r.\\r\\n\\n\\n00b\\n\\n0 \\r0\\r\\n0\\n\\r\\r\\r\\n\\ra.b\\n    \\n\\n.0\\r\\n0\\n\\n\\r0b.0\\r . 0\\r ..\\r0\\r\\n.\\r\\r\\r\\r\\n\\nb\\n\\na \\n\\r\\r\\r\\n\\na \\n\\rb00a0\\nb\\r\\r0  .\\rb\\r\\n0\\r\\r\\r\\r\\n\\r\\n \\rb\\n.\\n \\n\\r\\n \\n.a\\n0\\r \\r\\r\\n\\n\\r\\n\\nbb b0a\\r \\r.abb\\r \\r.\\n0\\n \\r\\n\\ra\\n\\r. \\r\\r\\r\\r\\n\\rb0\\n\\n\\raa0b \\r \\r\\n\\r\\ra \\nb\\n\\nb.\\r.\\n .\\r\\rb.\\r bb\\r\\n\\n\\r\\r0\\n.\\n\\r\\n\\r\\nba\\n\\n\\n \\na\\r\\ra \\r \\r\\n0 \\na0\\n0\\r\\n\\r a\\n\\r\\r\\r\\nb\\n\\n\\rb\\r.ba\\n\\n\\r.b\\n\\n\\n\\r\\r\\r\\r\\r \\n\\rb..\\n.\\n\\n\\n.\\n\\r\\r\\n bbb\\r.0ba\\na.b0\\r \\r\\r\\n b\\r.b0aa.0\\n\\n0\\r \\nb\\r0\\n 0ab\\na.\\rb \\n\\r\\n\\r\\r\\n \\r0\\raa    .a\\r\\nb\\r\\n\\n\\r\\r\\r\\n\\r\\n \\r\\n\\r\\ra b\\rb\\r0 00  0\\na a \\n.\\ra0ab \\n\\n\\r\\nb\\r\\n \\r\\n. b\\ra\\r\\n0\\ra\\na0 .\\r\\r\\n\\n a\\n\\n\\r..\\n\\r\\nb \\r \\n\\r\\n.\\n00a\\n.. \\r.bb\\n\\r\\n\\ra\\n\\nb0.a\\rb\\rb\\ra\\n ab\\ra\\rb\\r.\\n\\r\\r\\r.00\\nb\\r0\\r\\n\\r  0 a\\n\\n\\r0 \\r.\\r \\n\\r0 a\\n\\r\\r\\n.\\r\\n\\n\\r.\\na\\ra\\r..\\n\\na\\n. . 0b\\n\\n\\r .\\r0\\n00.\\n\\r\\r.\\r .0a\\r.\\ra\\n\\n\\r\\n\\n\\n\\n\\rb\\n0\\n\\r.\\n0.b\\nba\\na \\r.b\\r\\n\\n ba\\n\\nb\\n\\ra \\n\\r\\r\\n\\n0\\n\\r.\\n\\r\\n \\n\\n\\r\\rb0\\n \\rba\\n\\n\\n\\nb\\n\\r0ba.\\n\\n \\n\\rb a\\r\\n.a0\\r \\n\\nb0\\n\\n\\r.0\\r0\\n\\r..\\r.\\r\\na\\r\\n b\\n. \\r\\r \\r\\nb\\r..0.\\n\\r\\r\\r\\n  \\n  b\\r \\r\\n\\r.\\nb \\n\\n0 \\n\\r0\\n\\ra \\r\\r\\rb0\\r\\n\\r\\rbaa a\\rb\\r\\r\\nb  \\r\\n.\\r0\\rbb\\r\\na\\n \\n\\n.ab\\r\\r \\n0\\ra\\ra\\r \\r\\r00\\naab\\nb b \\na\\r\\n\\r\\na .b\\r\\n\\n\\r\\na0b 0\\nb00.a\\n0.\\r\\nbb. \\r\\na\\n.baa\\r\\n \\r\\n\\r0\\r0. \\n\\na\\n\\r\\r\\r\\rb\\n\\n\\r\\nba\\na\\r\\r\\r\\n\\n0\\nb\\n\\r\\r\\r0\\nba\\n0.00\\n\\n\\r\\r\\r\\r \\n  \\n. \\n\\r..a0\\r\\na aab0\\r..\\n\\r0ab\\r\\r\\n\\n0a00b\\r\\r\\n \\n\\nb\\r \\n\\r0 \\r\\r\\r\\r\\r\\n\\rb a0\\n\\rab.0\\r \\n\\n\\n..\\n\\n\\r\\n\\n.\\nb \\r\\rb\\n \\n\\r.\\n0a\\r\\n\\n.  a\\r\\r0\\r\\r\\n\\n.\\r\\r  \\n\\na\\r\\r\\r\\n \\na0\\r0\\r.\\r b\\r\\n.\\n\\n\\n\\n.\\r0\\n\\r\\naa.0\\n\\n\\n\\r\\r0b\\r.b\\rb\\n \\r.b\\r\\nab0\\r\\r\\r\\r a0b.\\r ... \\n\\r..a\\na\\n\\n\\n\\r 0.\\ra\\na0a\\r b\\r\\n.b\\r\\n0\\n.\\r\\n\\r\\r\\n\\n.ab0b..b\\r\\nb\\r.\\n\\r\\n\\r\\n\\n\\n0a\\n\\r\\r\\n\\r\\n\\r\\n \\naa \\n.\\n\\n.\\n\\r.\\r\\r\\r\\n\\n \\n\\r\\r\\n\\r\\n\\r\\n\\r0.\\ra0\\n\\n\\n.0\\n\\r\\n0a\\rb \\r.a.\\n\\nb\\n\\n.0b\\r.\\r.\\n \\na\\r\\n.\\n\\ra\\n \\nba\\r\\n.0\\n\\n.ba0\\r...\\nb ba0\\n..00 0\\n\\r\\r.\\r\\n\\n\\ra .ba..a.\\r\\n\\ra\\n\\rb b\\rab \\n.\\n bb0\\ra\\ra\\n0\\n \\r.\\n\\n0a\\r\\n\\n.\\r aa\\r00\\n0.b\\rb\\n\\n\\r\\n \\n\\n b\\n\\r \\n\\r\\n\\nb 0b\\n\\rb\\r0\\n\\n \\r \\r b00\\nab0\\r\\r\\n\\n. \\r\\n\\r \\nb\\n\\n\\n.\" 27168)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.604395623+00:00","status":"failed","tests":123,"discards":0,"time":"4933us","error":null,"tool":"proptest","counterexample":"(\" \\nb\\n\\na00 b.\\nb \\n\\r.\\r\\r \\r0 .\\r \\rb a\\r\\n0 \\naa\\r\\n\\n\\r. \\ra\\r\\n\\r\\r\\r\\n\\na ..\\r\\n\\n.b.ab0\\n0 \\n\\r\\nbbb\\r\\n\\n\\r\\n\\rb\\r b\\n \\n\\n.\\r\\n\\n.a\\r\\r\\n0a\\rb\\n0a\\r\\n\\n\\n\\n \\r\\r \\r\\n\\nb\\n0a\\n\\raa\\nb\\n.\\n\\r\\r\\n\\n\\n \\r\\r \\r\\n.b00\\nb .\\rb\\r\\r\\r0a\\n\\rb \\nb\\r\\n\\r a\\n\\n0\\r\\r.\\n\\r\\r \\ra\\n\\r\\r  b\\n\\r\\n\\r.\\r0 \\n\\r0\\n0\\nb. \\n\\n\\n\\r\\ra\\r \\r\\n\\ra\\n\\n\\n0\\r\\nb0 \\ra\\n  0 00. \\r \\r\\n00\\r..b \\r.\\r\\n\\r\\n.\\n\\n0\\r\\na00 0 .\\r\\n\\r\\n\\n\\nb\\ra a\\na\\r\\n a b\\r\\r\\n\\r\\r\\n\\r\\r\\r  0\\r\\raa\\r\\r\\r.\\n\\r\\r\\r\\n\\r\\rb\\n\\r\\ra \\n0...a \\r \\r a0.\\n0 a0\\r\\r.b\\r\\r0\\na\\r\\r\\na0\\nb\\r0\\r\\n\\r\\n.0\\n\\n\\nbb \\r \\r\\r\\r\\n\\r\\rbb\\r\\r\\r\\n. \\n\\n0\\n \\n\\r\\n\\n \\n .\\n\\ra \\rb\\nbb\\na..\\r \\n\\n\\nb\\n.\\r\\n\\na0\\n\\r\\rba .\\n\\n\\na\\r\\r.\\n\\n0\\r .\\n.\\r.\\r\\r a\\r\\n\\r\\n\\r0\\n\\r\\r\\n0\\r  \\nb\\ra\\n. \\r.b \\na\\na 0\\nb  \\r\\na0.\\r0\\n a\\n\\n\\n.b \\n\\n.\\r\\r\\n\\r\\r\\n\\n\\nb.0\\n aaab \\n.\\n\\n0\\rb\\na\\n\\r\\n\\na\\r\\r\\na\\r\\r\\n\\r \\r\\n\\n\\r\\r b\\r \\r\\r\\n\\n0\\r0\\r\\n  \\n\\r\\ra \\r\\r0\\r\\ra\\n\\n\\n \\n \\n\\r\\n\\n \\na\\r\\n\\n\\n\\r\\na\\r0a\\r\\r\\r\\r\\r\\na\\n 0\\r\\r\\r\\r\\n\\r \\n\\n\\n \\r\\r.0\\ra\\r\\r\\nab\\nb\\r.0\\na\\r.\\r\\rb\\r.0\\n \\r\\r0b\\n \\n0a0 \\r\\ra\\ra\\r\\n00\\r\\r.b\\r\\r\\n0.0\\r.ba.0a\\n\\r\\r\\r\\nb\\rabbb\\n00 \\r\\nb\\r .a\\r00\\n\\n \\n\\nba0\\r\\n00b0.\\r a 0\\r.\\n0 b\\r\\n\\r.b .b\\na0\\n\\n\\naa\\n\\na\\nb \\n\\r\\r0b0b\\n0\\r.a \\n\\n\\r\\n\\r0aba\\r\\r\\r\\n\\r. .\\n.b.\\r\\n\\nb\\n\\ra\\n\\n\\r.\\r\\nb\\r\\r\\n \\r\\r0 .\\n b\\na\\r\\n.\\r\\ra\\r\\r\\nb0\\n.\\n\\r0\\r.\\na .\\na\\n\\n\\r\\n\\na\\n\\r\\ra\\r.\\n\\n0\\r\\r.b\\r\\na.\\r\\nb \\na\\n\\n0\\n\\n0\\na\\r\\rb\\n\\r\\nb0\\r a\\r.\\n.aa\\r \\r\\nb \\n.0b\\r\\n\\r.0\\r.\\n\\raa\\n\\r\\r\\r\\n\\r\\r\\r\\r\\r\\n\\r\\r\\n0b\\na 00\\r\\r \\n.\\r\\n\\r\\n \\rbb\\n0 b .\\r\\rb\\nba\\rb\\ra\\r\\n\\n\\n.\\n \\n\\r\\n\\nb\\n. .\\n\\r\\r.0\\r00\\n\\n \\r. 0\\rb.0.\\n0\\n.\\n\\r\\rbbba\\n\\r\\r \\n.\\n.\\r\\n0\\nbb ..\\n\\naaa \\n\\r\\n0\\r\\r.b\\r\\rb\\n.\\n\\n \\r0\\r 0a.\\n\\nb\\n \\r0\\r\\r\\r\\r\\n\\r\\n\\r.\\n0\\n..b\\ra\\r\\r\\r\\r\\n a.\\n\\na\\n\\n\\n\\n\\rb\\n.\\r.\\n\\n0\\n\\r b\\n\\r\\r. \\r\\n\\r b\\n\\n\\raab\\r\\n\\n\\r\\naa b\\r.0 0\\r0\\n\\r\\na.0bab\\r\\nbb\\n\\n\\n\\r\\ra\\ra\\r\\n\\n\\n\\ra\\n0\\r \\r b .a.\\n0b \\r\\n\\r\\n\\n0.\\r 0a .\\r\\nb\\nbb\\na\\n.a\\r\\r.\\r \\rb\\naa..\\n0.b0.0\\n\\n\\r \\n\\n\\n\\na\\rab\\r\\r0\\r\\n.\\r\\n\\r. \\r.a\\r\\r \\n. \\n\\n\\n \\r\\n\\na\\n\\r\\r\\n\\r\\n\\n\\n\\r\\r\\r \\nbb \\r.a\\rb\\r\\na\\n0\\r\\na\\n\\nb\\n0.\\r\\na0 \\n\\n\\n0\\n.\\n\\n\\n b 0\\r0\\n  0\\n\\r0a\\n\\n\\n\\n\\na\\r.ab\\r b .\\na\\ra\\r\\r\\n\\r\\r.\\r0  \\r \" 57154)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.610510691+00:00","status":"failed","tests":67,"discards":0,"time":"2452us","error":null,"tool":"proptest","counterexample":"(\"\\n\\n\\nab\\n\\n\\r\\r.\\r\\r\\r\\r\\r\\r\\n0 a\\n0\\n\\naa\\r\\n \\n0\\r\\r\\na0b\\n\\r\\r\\r\\nbb0\\r\\r\\n\\r\\r\\ra\\n.\\n b\\n\\n\\n\\r\\n\\n.a\\n\\r\\n0\\n\\r\\n\\rbb  \\nb\\r\\n\\n b\\n\\nb\\n\\r\\r0\\n\\r0\\n\\n\\nb\\na0 \\r\\n.\\r\\na.\\r\\n .b\\r0. bb0\\r\\r  a\\n.\\n\\n\\r\\r\\rb\\n\\r \\r\\r.aa\\na\\n0\\r\\n\\n\\n0b.0\\r\\r\\n\\r\\r\\n0.\\r\\r\\naa b\\n0a.\\n\\n ba.bb\\n.\\n\\r\\r\\n\\r .\\n\\r\\na\\n\\n\\na\\n\\r\\n.\\r\\rb\\na\\na\\n\\n \\nab\\r\\n0\\rb\\r\\r\\r.0\\rb\\r\\r.\\n\\n.\\r \\n\\r. \\r\\r ..\\r0\\na \\r.b\\n\\nb\\n\\n\\n\\n\\n\\n\\r \\n\\r\\ra\\r \\n\\n0 \\rb\\r\\n\\r\\r.\\n\\n\\n\\r\\n\\na\\n\\ra b0.0.\\n\\rb0\\rb.a0\\r\\r\\n\\na\\r\\n\\r\\r\\n\\n\\nbb.aaaa\\r0  0 \\n \\r\\naab\\n.\\r\\n\\r\\r0\\r.0\\r\\r\\r.\\n\\r. \\r\\r\\r\\n\\rb\\n \\n\\na\\n\\r\\n\\r\\n.\\n\\n b\\n.\\n.aa\\n..bbb\\n\\r b0 \\r0b\\r\\raa\\n \\r0\\n\\ra0.\\r\\r\\r\\n\\n00\\nb\\nba\\n\\rba\\n.\\n\\n\\r\\r.bab\\nb\\n\\r \\n.\\n0 \\n\\n\\n\\n\\nb\\n\\n\\r\\n\\raa\\n\\r\\r\\r\\n\\ra0a\\n\\n\\r\\raa\\rb0..\\n\\r\\r\\r\\r\\r.\\n0\\n\\raa.\\n.ab\\r0\\r\\r\\n\\n\\ra\\r\\r\\r\\n0\\n.\\r\\n\\n\\r\\n\\n\\n0\\n\\naaa\\n\\n.0\\r\\r\\r\\n.\\n\\ra0.\\n\\r\\n00\\n\\n\\r.00\\r\\n0\\na\\n\\r.\\r\\n\\r\\r\\r0\\r \\rb\\n\\r.\\nb\\n . a\\n.\\n0.\\r.\\n \\r.\\na0\\r.\\r\\n\\r  \\n\\n 0\\r\\n\\n\\n. 000.\\rb\\ra\\n\\r.ab0\\r\\n\\ra\\r\\ra.\\r\\n\\n\\na0a\\n0\\r\\n\\naa0\\r\\n\\n\\n\\r.aa.0\\r\\r00\\r0\\n\\n. bb\\nab\\n\\r0\\nb\\r\\ra\\naa\\n\\n\\r\\r\\r000a.b\\rb\\n.\\r\\n0 \\na\\ra\\r .b.\\r\\n\\r\\n.0\\n \\nb\\n\\n\\r \\r\\rb.\\n \\r\\r\\n\\r.\\n \\nb bb\\r\\n0\\r.b\\n..a\\r\\n\\na0\\r\\n\\rb0\\r\\r\\r\\n.\\n\\ra0\\n0\\r\\r\\r\\r\\r\\r\\rbb\\r\\n\\r\\r\\rb\\r\\ra0\\r\\n\\r \\r\\r.\\n\\n\\n\\r\\n\\n0\\n\\n\\nb\\r\\n\\n.b.\\rb\\raa\\r\\na a \\n\\n\\n\\n\\n \\n. \\n0\\r\\r\\na0\\n.\\n\\r\\n\\na\\r\\n\\r\\n.\\r\\n\\r\\n0\\r\\n\\n\\r\\rb\\r\\n a\\n\\n\\r\\nb\\nbab\\n\\r\\n.\\r\\r\\r\\r.a\\r \\n. 0\\rb\\n\\r\\n\\rbab.\\rb\\n0 0b\\na\\r\\r\\r\\n \\r.\\n\\n\\n\\n\\n \\n\\r0\\r.\\na00\\n.a0\\r \\r\\r\\r0\\nb\\na\\r\\r0 .\\n0ab.\\n0bb\\r\\n.b\\na  ab\\n\\rb\\n\\n. \\n\\na\\r\\r \\n.\\n0a\\r \\r\\r \\naa\\r0\\ra..\\n\\n\\n\\n.\\n\\r\\nbb\\n \\r\\ra0a\\rb\\r.\\na\\nb\\r\\n\\r\\r0\\n0 \\n\\na \\r\\n\\n\\r\" 30217)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.614040895+00:00","status":"failed","tests":49,"discards":0,"time":"1687us","error":null,"tool":"proptest","counterexample":"(\"0\\r\\n.\\r \\r\\na0a\\r\\r0\\n\\n \\r .\\r\\r\\r0\\naab\\r\\n\\r.\\r.\\n\\rb\\n\\n0\\r \\r\\n\\r.\\n ba0a\\rb\\r\\n\\r0a\\n\\n.\\r\\n\\r \\r\\n\\r0b\\n\\r\\n\\r\\r\\n.b.\\rbb\\n\\n\\n\\n\\n00.0\\r\\n.\\r\\n\\rb.\\r\\r\\r\\r\\n b\\na \\r\\r\\rb\\r0\\r.\\n\\r\\n\\n.   0\\r\\na\\r\\r\\r \\ra\\n\\n\\n\\r\\ra\\r\\n\\ra\\r0 a \\r\\nb\\r\\n b\\nb\\n..\\r\\r\\n\\n\\n\\r  \\n \\n\\n\\r\\nb.\\n\\r. b\\r\\n0\\r\\n\\na\\n..\\r b.0\\r b\\rab\\r\\n\\r.\\r0\\r\\n\\r\\n..\\n\\r\\n\\n\\n b \\n\\n b\\r\\n0b\\n\\n0  \\n0\\naa\\n0\\r\\n. 0. \\nb0 \\r\\n0a\\na\\r\\r\\r\\n\\na\\na\\n\\n\\n.\\r\\r\\r\\r\\n\\r \\r a\\r\\nb\\n\\na\\r\\nb\\rb\\r\\n\\n\\r   \\r0\\nb\\nb\\raa\\r \\n\\n\\r\\r\\n\\nb\\ra0\\r\\n\\r \\n\\n.\\r0a\\n\\n .b\\n.\\n.\\rb\\rb\\n\\rb\\r0..\\n\\n\\r\\n0\\n\\r\\r.\\r\\n \\r\\r\\r\\r.\\n.\\r\\r. 0\\r  a\\r\\n\\r0. \\n a\\n\\r0\\n\\ra\\n\\r \\n0\\r \\n\\n.\\n. \\n \\n\\ra\\n\\r\\n\\n\\r\\r\\r0\\na0b 00\\nb\\n\\n\\r\\n\\nb\\r\\r\\n.\\n\\n\\r\\na\\r\\rab0\\n\\n0\\rb\\n\\r\\nb\\r b\\n.\\r\\n\\n\\r0 \\r\\n\\r.\\r.bb\\n\\n\\nb\\n\\n00\\rb\\na\\n.\\r.\\n\\r.b0b0\\nab\\n\\r\\r.b\\r\\n\\r.\\r\\r\\n\\r \\n\\n\\n\\n b 0\\r0\\r\\n\\n \\r.\\r\\n0\\r0 .b\\nb\\r\\n\\r\\na0\\n \\n\\r .\\n0ba\\ra\\n.\\r .b\\rb\\r\\n \\nb\\r\\r0\\r\\n\\r\\r\\r\\n.\\na\\r\\n\\r\\n\\r\\n b\\r\\n\\n\\r. \\n.b\\n\\nb\\nb00\\r\\r\\r\\n.a.\\na .\\r aa0b0\\n.a0\\r\\r.\\n \\n\\rba\\r\\n\\r\\n\\n\\r\\nba\\ra.\\nb\\n\\n\\r\\n00 .0\\n\\r \\ra0\\n0\\n\\r\\na\\n0\\n\\nba b.\\r.a\\r00\\n\\r\\r\\r\\na0\\nb\\r0ab\\rb.0\\r\\r\\r \\r\\n\\n\\n\\n\\n .a\\r\\n.\\nba \\r.\\r\\nb.\\r\\r\\r.\\n0\\n\\n.\\n\\r0\\r\\r\\n\\r.aa\\r.\\n.\\n\\n\\r\\n\\n\\n\\ra\\ra\\r.\\n\\n\\n \\r.ba0\\r\\n\\n\\ra.\\n\\r\\r\\r\\r\\r.\\r\\n\\r\\r.\\ra\\na\\nb\\nabb0b\\n.a\\n00\\n\\n.a\\r\\nb\\ra\\n.\\r\\rb\\n..\\n\\n\\n\\n\\r\\r.\\n\\r\\n\\n\\r\\r\\n\\n\\r0b\\n  .a\\n\\n\\n\\ra a\\n\\r\\r\\n\\ra.0ab0\\n\\n\\na \\r\\r \\r\\n\\n\\r \\n\\r \\n0a \\r\\n \\rb\\r\\rb\\n  0\\n.\\r\\n\\rba\\r\\r0 \\r\\n\\r0\\na\\n\\nb\\n ab\\n\\rb\\r\\n\\n\\r.\\r.a\\r \\na\\r\\r\\nb0\\n\\n\\r\\n.\\n\\n.\\r\\n.b0a\\rab\\r\\r\\nba\\n\\r\\nba 0b\\r \\n.0\\n\\r\\r\\n b.\\r\\n .0\\r\\n0\\r\\n..\\n \\ra\\n\\rb. \\n0a.\\r\\nb0b\\n.\\ra\\r\\n\\r\\n\\r 00a0\\r\\ra b \\na \\r\\n\\n\\n\" 41943)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.616883865+00:00","status":"failed","tests":42,"discards":0,"time":"1667us","error":null,"tool":"proptest","counterexample":"(\"\\r \\r0\\n\\r\\n\\r0\\n\\n.\\rb. 0\\na.\\n00ab\\r a0b\\r\\r\\n\\n\\n \\r\\n0 \\r\\n\\n\\n \\r \\r\\n b\\nb\\r0\\r\\r\\n\\nbb\\n a\\r.0\\n 0  \\r\\n\\nb\\n\\ra\\r\\n.0 0\\n\\n0\\r\\n\\nb\\n. b\\r\\n0\\n.\\n.b\\n\\n\\n\\nb \\r\\n\\r\\r .a b  \\nba\\rb\\rb\\na\\rb00\\n  \\r ..aa\\n\\rab\\r\\r .\\r\\na.\\r\\r. \\r\\r\\n\\ra.\\n\\n\\n\\r 0\\r\\r \\r0 \\n\\n\\n\\r\\r. \\r\\n\\n\\r \\r0\\ra.a ..\\nb\\r\\n.a\\nbbb\\r.\\n  \\r\\n\\r\\n\\n.\\r0.a\\n\\n\\r\\r\\n\\n\\n\\r\\n\\r\\r\\n.\\naab \\r. 0\\n.0\\r\\n.\\n  \\n0\\n\\n \\n0 \\rb\\n\\n.b ab\\rb\\n.\\n\\r b\\n\\rba \\n \\rb   .\\r\\ra.\\r\\n\\r \\r\\rba\\rabb\\rb\\rb\\nb\\n \\r\\n\\r\\n\\r\\n\\n\\r0 . \\r.\\r.\\r \\n. \\r0\\nb\\n  \\n\\r \\n\\n0\\n\\r\\r0a\\n\\nb 0\\r\\n bba\\r0\\nb..ab\\n a\\rbbb 0\\n \\n\\r\\n\\nb\\n\\nba\\r\\nba0a\\ra000\\n\\n0.\\n\\r0.\\n\\r\\r\\n\\nb \\n a \\n\\ra.\\n0a\\n\\n. \\r.\\r\\r\\n a\\r\\rb\\na\\n\\r0 \\n\\n.\\r a.\\na0\\nbb\\r\\n\\n\\rbb0\\n\\r\\r\\n\\nb\\r\\r\\na0\\r00\\ra\\r b .\\n\\n\\r\\r\\n\\raa .\\r\\n\\r\\r .a0\\r\\r.\\n\\r\\n a\\r \\n\\n\\n\\r\\n\\n.\\n\\r\\r\\r\\n\\r\\ra.\\r\\rba.b \\n.\\r\\ra\\n\\r.\\r\\r \\r\\r.\\na\\n\\r\\n0\\n\\n\\r0 \\n\\n\\n\\r\\n\\n00\\n\\r0\\n\\n\\n\\n\\r\\n\\n\\n\\r\\r\\r\\na\\r\\r\\r00\\nb\\na\\n\\r b\\na\\n\\r\\nb\\r\\n\\n0a.0\\n\\r0b\\ra\\n\\n \\n0\\r\\n0\\n0. \\n.0..\\r0\\n\\r\\nab\\r\\ra\\n\\n\\n\\n0 0\\n\\rabb\\ra\\n\\r\\n0\\r 0\\n\\r\\n\\r0b\\ra  \\ra\\n\\n\\r \\n \\r0\\n b\\r.\\rb  \\r\\n \\r\\nba\\n\\n\\n\\r\\n\\nba\\n\\r 0\\r\\r\\n\\rb\\r\\rb\\r\\r0\\r\\n0b\\n\\n\\r\\n\\r0. \\n00\\r.\\rb0\\n\\n \\n\\r.0\\r\\n\\r\\n\\r\\n.a\\r. \\ra\\rab\\n0\\n\\r0b\\r\\n\\r\\r0\\n\\n0\\r\\r\\n  a\\r\\r\\r0\\n\\r\\r\\r\\n  \\r\\r0a\\r\\n\\r \\n \\r \\n\\n\\rba\\n \\naab b\\r\\ra\\rb\\r0\\r\\n\\r.\\n\\r\\r\\n.0a \\r\\n\\n0\\ra\\n\\r\\n.\\na.0b\\n\\r\\n\\n\\n\\n.\\r\\n\\r\\n\\n00.\\raa\\n.\\n\\n\\n\\n\\n\\n\\na.0\\n\\n\\n\\r\\r00\\n\\n\\n\\r\\na.0\\nb b\\r\\n\\n\\n0\\n\\r\\raa\\n .\\n \\n\\r ..\\naa\\r\\n\\n0\\r.\\r\\n0\\n\\r\\n\\n\\n\\ra\\nb.a0\\n\\n\\n0b \\n\\n.0\\n\\n\\n\\r\\n\\r \\r\\r.a.0\\r.0bb\\n\\n\\r\\n\\nb\\r..\\r\\r\\r\\r a0 b.\\r0\\r\\na\\n\\n.\\r. \\n\\r\\r. b\\n\\n \\r\\n0.\\n \\n\\n\\n\\rb\\rb\\n b\\n.\\n0 b..a\\n\\n\\r\\r\\rb\\r\\r\\r\\rb\\r\\n\\n\\r\\n\\r\\nb\\r\\r\\n 0.b b\\n\\n\\n\\r0\\ra\\n\\r\\r\\n\\r\\r\\r\\r\\ra\\r0\\n\\r \\r\\n\\nb\\n\\r\\rbb\\n\\naa\\rb.\\r\\na\\r\\rb \\r\\r. \\r\\n0a\\r\\r\\n\\r\\r  .\\n\\n\\n   \\ra\\r\\n0\\n\\r \\ra \\n\\r\\r\\na\\r0 \\r\\r\\r\\r\\r0.\\n\\n\\r\\n0\\r\\r\\r\\r \\r\\r\\n0.\\n\\r\\n\\n.0b\\nb\\n .\\r\\n\\nbb\\r b a\\n.00b\\r\\r\\n a\\r0bb\\r\\r\\n\\r0\\n\\n\\n\\n\\n\\n.\\r\\r\\r0\\n\\r\\n0\\n\\r \\r\\r0\\r\\r.b\\n\\na 0\\n\\n\\r\\n.\\r.\\r0\\ra \\r\\nb\\n\\n0 .. \\n\\r 000\\nb\\r\\n\\ra\\nbb\\n\\n \\ra\\rb\\r\\r\\n\\n\\n\\rb\\n\\nbb0 \\n\\n0.\\raa.00ab\\r\\n\\n \\r\\r\\n\\ra\\r\\n\\r\\n0\\r\\r.b\\n\\r\\r.\\r\\r.\\n\\n \\r\\n0\\rbb.\\r\\r\\r \\rb\\rb\\ra\\n\\n\\n\\n\\nb\\n 0\\n\\r\\n\\n\\r\\n\\r\\nb b\\r ab\\r\\n\\n\\ra0b\\r\\raa\\r. a\\rb\\r\\r0 \\n\\r\\r\\r\\r0 \" 63835)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.619715338+00:00","status":"failed","tests":142,"discards":0,"time":"5933us","error":null,"tool":"proptest","counterexample":"(\"\\n.\\r\\n0\\r.\\r\\n.0\\n\\r\\n0a\\r\\na\\r\\n0\\r\\nb\\nb\\r\\n0 a\\ra\\r b0\\n\\r0b\\n.\\n\\rb\\n a\\n0\\n\\r\\rb\\r0\\n\\rb\\r.\\n\\r.\\r\\rbbba\\n.\\rbb00\\rba\\nb\\r\\r\\r0\\ra.\\r\\n\\r\\n\\r .\\n b\\rb.0\\na\\n\\r\\r0\\r\\n\\nb\\r\\n\\n0\\n\\na\\r\\n\\n\\r\\r\\n.\\r\\r.\\r\\r\\rb0\\r\\n\\n\\r a.\\n\\n \\nb\\n\\r0\\n.\\r\\r\\r\\nba\\n\\ra\\n0.\\r\\n\\n\\r\\n\\n\\n\\r0\\r\\na\\r\\n.\\n\\n\\ra.a\\r\\n0\\n\\n\\rab\\r  \\n\\n.\\ra\\n.\\n\\n\\n\\n\\r\\r\\n\\n\\n\\n\\n\\nab\\r0 0\\n\\n\\na\\n\\r0\\n\\ra\\n\\n..a\\n\\r\\r\\n\\naa \\r\\n\\n0\\n.\\n\\n\\r\\n\\r\\n\\n\\n\\r\\n\\nb\\ra\\n\\n\\n\\r  .\\r\\r.0\\r\\n0\\rbb\\n\\n0ba\\r\\r\\r\\r\\r\\r\\nb\\r\\nbb. \\r\\n0.\\n0\\r0. 0\\n\\r\\n\\n.00 \\n\\n\\n\\n\\rb\\n\\n\\r 0a.bb\\r\\r0a\\r\\n.\\r. .\\n\\n\\n000\\r\\r \\r\\n.0.0\\r \\r0\\nba\\na0\\r\\r\\r\\na\\r.\\r \\ra.\\n\\r\\r\\n\\n .\\n\\r\\rbb\\r.\\r\\r\\r\\n \\r\\rbb.\\n.0 \\n\\n\\n\\n\\r\\r a b\\r\\n\\n\\n\\r\\r. \\r\\r\\ra\\n.\\r0aa\\r\\r0b\\r.\\n\\n .\\rab\\r\\ra.\\r a\\r.bb0.  \\n\\n0\\n\\r\\n\\n\\r\\rb0\\n\\n0\\ra\\n\\n0 b\\rbbb\\n\\n\\rb .\\r.ba\\n\\r\\r\\r00\\ra\\n\\na \\r b.\\n\\n\\r\\r0a\\n\\naab0 a\\n\\n \\r\\ra\\n\\r0\\nb\\r\\r0\\na\\r\\na\\n0\\r.\\r\\r.\\rb\\n\\n\\r\\r\\nb\\r..\\na0\\n\\n\\rb00\\n\\r0\\n\\nb\\r\\rb0\\n\\r b\\n\\na\\n\\n\\r\\r\\r \\r\\n\\r\\r\\r\\n\\r\\n\\r0\\r\\n0\\r\\r\\r\\r\\r\\n0\\n\\r\\r \\na0\\r\\r0\\r...\\r\\n\\n\\n0\\n.  \\r\\n\\raa\\r\\rb\\n\\r\\n0a\\r0\\n\\r\\n\\r \\r\\r0\\r\\rb\\na\\n\\r\\n\\nba\\n\\r\\r\\ra\\r\\n\\nb\\na0\\n\\n.\\n\\n0\\n\\r  .\\n\\r\\r\\n0\\r\\r\\n\\n\\rba\\n\\r\\r0\\n\\n\\ra\\r\\n\\nb\\n.\\na\\nba\\rb.00\\n\\r\\n\\r\\r\\r\\n.\\r\\n\\r \\n0\\r0\\r.0\\n.\\r0\\r\\nb\\r0\\n. 0\\r\\r\\r\\na.b0a\\n\\n\\r.\\r\\r\\n\\na.\\r \\nba\\n\\na\\r.\\na\\n.\\rbaa\\n\\r0\\r\\n0\\n\\r\\n\\r.ba\\r\\n\\n\\r\\n\\r.\\r\\r.b\\ra\\r\\n.a\\n \\r\\r.\\r0\\ra\\r\\n\\r\\r \\r b\\r\\r\\na\\r\\n\\rb\\n00a a  \\n \\r\\n\\rb\\nb.\\r\\r\\ra\\r\\r\\r\\r0\\r\\n0\\n\\r\\r\\r 0\\r\\r.\\n\\n\\n \\n b\\na\\n\\r\\r\\rbbb\\n\\n.0\\n\\n\\r\\r\\n\\r.b \\n\\n\\r0 \\ra\\n\\r\\n\\n\\r\\r\\nb\\r\\n\\r\\n\\r \\n\\r\\r \\na b\\na\\r0 .\\rb\\r\\n \\r 0b\\rb0.\\r\\rb\\n\\ra.\\n  \\r\\n\\r0.\\n\\n\\n\\n\\n\\r\\r0\\r \\r\\rb.\\r\\n\\r.000.\\r\\r\\n a\\r\\n\\n\\n\\r\\n\\n\\r0\\r\\n\\r\\n0. \\r\\n\\r.\\r\\r\\n.\\n\\r\\r\\r\\n.0\\n.\\r\\n0 \\n.\\r\\n\\na\\r\\n \\r0\\r \\n\\n\\r\\n\\r .  \\r\\r\\nb a\\r\\r\\r\\ra\\n\\r\\r0\\r \\n\\r\\n\\ra0\\r\\n\\r\\r0a a\\n\\n.a\\n\\r\\n\\ra\\r\\ra.\\ra\\r\\rb\\nb\\n\\n\\na\\ra0\\n\\r\\r\\r\\n.\\n\\nb0 0\\r  \\n\\r \\r\\r\\n\\r\\n\\n\\n\\n\\r\\n\\r\\n. \\rb\\rb\\r\\rb\\r\\r.\\na\\n\\r\\n0\\n\\n0\\ra\\na\\n\\r\\r\\r0b\\r\\r\\r...a\\n0\\r0\\rb\\n\\r0\\raa\\r  .\\r\\n.\\n\\r\\n\\n..\\r\\n \\na\\r0\\r \\r\\n\\n\\r b\\n.\\na\\r.\\r\\r\\r\\n0\\r\\n a\\n0\\r0 \\n0 a..b0\\n\\r00\\n\\r\\r\\r\\r\\rbb\\n\\r\\n\\n\\r\\rb\\n\\r\\n\\r 0\\naa.\\na\\r\\n.\\r\\n\\r\\n\\n\\r\\r\\n\\r\\n\\r.\\n\\r \\r\\nb\\r ab \\n \\n.\\r\\rb\\n aba0b\\r\\nbb 0\\r\\ra\\n\\r\\n\\n.0\\n\\na0\\r.b .\\r\\n b\\na\\r\\n\\r\\r0 a\\n\\n0\\r\\n\\n\\n\\n \\rb \\r\\n\\r0\\r\\n\\r b\\n0a0\\n b\\n \\r\\nab\\n\\n\\r\\n\\n\\n\\r\\r\\nbb\\r\\nb\\r \\r\\n\\n\\n\\n\\n\\n\\r\\r.\\n\\n\\nba 0 00 ..b\\r\\n\\n\\n.\\n\\na\\na \\n\" 39564)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"proptest","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.626871809+00:00","status":"failed","tests":34,"discards":0,"time":"1038us","error":null,"tool":"proptest","counterexample":"(\"b\\r \\ra a\\r\\r\\r0aa0\\n.\\nb \\ra.b0\\na\\n\\r\\r.a\\n0.\\n\\n\\r\\n\\n\\n\\na..\\na\\n\\r\\n\\rb\\n \\n0 \\r\\r\\n\\r.ab\\r\\r\\nb\\r\\r\\na\\rb.\\r\\r\\r\\n\\nab\\n\\n\\rb0\\n\\r. \\r\\r0.b..a\\ra.b0\\na.\\n.b\\na\\r b\\r\\r \\n\\r\\r\\r\\rab\\n0\\rb\\nb\\n.a\\n\\r0\\rb\\nb\\r\\r\\r\\n \\n\\r\\nb0\\n\\r0\\nb \\n\\r\\r\\r\\nb0\\n\\rb00\\r\\n\\n \\r\\rb\\n\\n \\r .\\n b\\n\\n\\r\\r0 \\r\\nb.\\n\\n\\n\\r\\n.a\\r0b\\r0 ab\\n\\r\\n\\n\\r.\\n\\n0\\na00\\na.\\n0\\r a\\r\\rab\\n. \\r\\r\\n\\n.\\n\\n0 \\r\\n\\ra\\nab0a. \\n.\\n\\r a.\\n\\r.\\rb\\r\\rb\\r\\n\\n\\n .\\n\\r\\r\\n\\n\\r \\r.\\n\\r0b\\r\\r\\n\\n\\ra\\n\\r\\rbb\\n0\\nb\\n\\n\\na\\r\\r\\n\\nbb\\n\\r\\n\\rb\\r0\\r \\n\\r\\n\\n0\\n..\\n\\n a00\\r00\\r\\nb.\\r..\\r.\\n0\\r \\n0\\n \\r\\r..\\rbb\\r\\n.\\n\\r\\n\\n\\ra\\ra..\\n0b\\r\\r\\r . \\r\\na\\r00\\n\\n\\n\\r\\ra\\r\\n.\\n\\n0\\n\\n.00\\r\\n\\nb\\r\\n.\\r\\r\\r\\r\\r\\r \\ra\\r\\r\\r\\r\\na\\n\\ra\\n\\r\\n.0\\ra\\r\\r\\n0\\r.\\n \\r\\r. \\r.\\n.\\r0\\r\\r.\\n\\r\\n\\n 0..\\n\\nba\\n\\r\\n\\n\\na0.0\\r\\n\\r\\r\\n\\na \\n0\\n\\r \\r \\r\\ra..\\n\\n\\n\\n0\\n\\n.\\r 0\\r\\ra\\rab\\n\\n\\r\\n00. b\\n\\na\\r\\r0\\n\\ra\\n\\rb.\\rb\\r.\\rb00\\r\\r.\\n \\r\\na\\r\\n\\n\\r.\\r0\\nb\\na\\r\\n\\r\\n\\r b.\\n\\r\\r\\na\\n0  \\ra\\r\\na\\r\\n 0\\n\\ra\\n\\r\\r\\r\\nb\\n. \\n\\r0\\n\\nb\\n0  \\r \\r\\n b00\\n\\n\\rb\\n\\ra\\r\\ra \\r00 \\n. 0\\r\\raa\\r\\rb b\\r\\r\\n 0\\n\\n\\n\\n \\r\\r\\nb\\n\\n0.a\\n ab.b\\r0a\\r\\n\\na\\n\\n.\\r\\r0\\n.a\\n ba\\r0\\n\\n\\r\\r 0b\\n\\r b\\r\\r\\rb \\n.\\n\\r\\nb \\r\\n.\\r\\n b\\r\\r\\r\\n\\n\\r\\n0\\n\\r.\\r\\n .\\rb\\n\\rba\\na  a\\n0a. \\r\\n\\n\\r\\n\\rb \\r\\n\\n\\r\\r\\n\\r.. \\r\\nbbaa.\\n\\raab\\r\\rb\\n\\n \\n\\r\\r\\r\\r\\n\\n\\r.\\n 0\\ra\\r.0\\r\\nb\\r.\\r\\r\\n\\r\\n\\r\\n\\r...\\r\\n \\nb\\ra\\r\\n\\n\\n\\n\\n0a\\nbb\\r0.a \\n.0\\n\\n0\\n\\r\\ra\\n\\n0 \\r\\r\\n\\n\\n.\\n\\r.\\r0\\n.b\\na\\r\\r0\\n\\n0\\r\\r\\r.a.b.\\r \\r0\\n \\n\\n0 \\n.0a\\nb\\n.\\na \\ra0\\r0\\nb \\r00a\\na\\r.\\n.b\\r\\n\\n\\naa\\r\\n0\\n\\n\\nbb0\\r\\r\\n\\n\\r\\r0\\r\\r\\r\\n\\r\\n\\r\\rb\\n\\nb\\r\\n\\r\\n\\n.\\n \\r\\n\\n \\n\\rba0.\\n \\n\\r\\r\\n\\n\\n\\n0\\n\\n\\r\\n0 .\\n \\r0\\n\\n\\r\\r\\r\\ra0\\r\\n\\r\\n.00b\\rb\\r\\ra\\r\\n0  \\r\\n\\n\\r\\n \\ra\\n\\r\\r\\r.\\na\\r\\nb0 .0.\\r\\r.0\\n\\n\\na.ab\\n\\n00 \\n\\n\\n00\\nba \\n\\na\\ra\\n\\n0\\n0b0aaa\\n\\n.\\na\\n\\n.\\r\\r\\r\\n\\n\\n\\n\\r.\\r\\n.00\\rb.\\n\\n... a b.\\r\\n\\r\\r. \\r\\r\\n\\ra.\" 28447)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.629718712+00:00","status":"failed","tests":63,"discards":0,"time":"1848us","error":null,"tool":"quickcheck","counterexample":"(\"\\na0\\nb.0bb\\n\\r\\r\\ra\\n\\r\\nb\\n\\r\\nb\\r \\r \\n \\r\\n\\r \\n\\n0\\r\\ra\\r\\n\\r\\r\\na \\ra.. \\na\\r   abb\\r\\n 0\\na  0\\r\\r.\\n a\\rab .b0a\\r. b\\n\\n\\r0.a \\r .0\\n.\\n\\r\\r\\n \\r \\n\\r\\n\\r\\n\\ra\\rbbb\\rb\\ra\\r.\\r\\n .\\n.\\ra0\\n\\n a0\\r.\\r\\rb\\r\\n0ba\\n\\n.0bb0ab \\nb \\r\\r\\n00\\n\\n\\r \\r\\n\\n\\n. 0\\n\\r. b00b\\na \\nb\\n.\\n\\r0\\n\\r\\n\\n0.\\n\\r00aa\\ra.\\n\\r0\\r aa\\n\\ra. .\\n\\r\\n\\r\\rb 000\\r .a\\r\\r\\n\\ra\\n\\n\\nba\\r.ab.b\\n \\nb\\rb 0.\\r\\n\\r0ab\\nba00 \\n\\n\\n\\nbb\\r\\r 0bb \\r\\n\\n \\na.a\\r\\n.\\r 00 .\\n .\\r.\\n0\\ra\\na \\r0ba\\r\\n0b\\n \\r b.abba.aa\\n\\r\\n\\n\\rb\\n0\\n\\r\\n\\rb.a000\\r\\n \\na0\\na\\r\\nb.\\n\\r\\r\\n\\n\\r\\na\\r\\r \\r\\na\\r0\\r.b\\n\\r\\r\\nb\\n\\nbb \\r\\rba0\\rb\\n\\r0\\n.\\n\\nab\\na.0 .\\n0a.\\na\\r\\n \\nb\\r\\r\\n..\\n\\r.a\\rb00\\n\\r\\n.\\n 0\\n\\n\\n\\n\\r\\r\\n.\\r\\r\\r\\r\\n 000\\n\\n\\n0.\\r\\na\\ra\\n\\r.\\r\\na\\n\\n\\r.\\r\\n\\nba\\r\\na\\r \\n \\rb\\ra a.\\n.\\r\\nb\\r\\r\\n\\n0.\\nb. 0. a\\n \\r\\r b.0 \\r\\ra\\n\\r0\\n\\r.b\\r\\rb\\r\\n\\na a \\ra00.a.a.\\r\\n.\\nb\\r\\n\\r\\r\\r b.\\r \\r0\\r.\\n\\r\\r\\n.\\n0b\\n0\\n \\n\\r.\\n\\r0 \\n\\n\\n\\n\\n\\n\\n. \\n\\nab\\n\\n. \\r\\ra00 b\\n0aaa \\r\\rb\\ra\\na\\n\\n \\n\\n\\n\\r\\n\\nb\\r.\\nb\\r\\rb\\n\\nb\\n \\nb\\r0\\n\\n \\n\\n\\n\\r  0. .\\r\\r\\r\\n \\n bb\\r.\\n\\n\\ra\\r\\n\\na\\n\\n.\\nb\\r\\n 0\\r\\nb\\n..\\r\\r0 \\r\\r\\r  0bb\\r\\nb\\r .\\r \\r\\rb\\r\\n\\r.\\r\\r\\r\\rb\\n0\\r\\n\\r00\\n0..0\\r\\n\\r\\n\\n\\rb 0.\\r\\rb\\na\\r\\n\\n  ab\\n\\r\\n \\r0\\n\\r\\n\\n\\n.\\n\\r\\n 0\\na.0\\n .a\\r\\r\\n00 b\\nb\\ra. \\n\\n\\r\\n\\n\\n\\n  b\\na\\n.\\n\\n00 \\r.0\\n\\nb\\nbba\\n\\r\\n\\n\\r 0. ab\\r\\ra\\n\\n\\r\\r\\n\\n\\n.\\n \\n0a\\n\\rb\\r..a .\\nb0 0.\\n\\nb \\r\\r\\r\\n0\\r0\\r\\r\\n\\r\\r\\rb.\\n.\\rb\\n\\n0\\n \\r\\r.\\r .\\r\\n\\r\\n0\\n\\n\\r\\n\\na\\n 0\\r\\n\\n a.\\rbab.\\n\\r\\n.0\\r\\n \\r\\r0a\\r\\r\\n\\r \\r\\na \\n\\r0.\\rb \\n\\r\\r0\\n\\r\\nb \\n.\\r\\nb\\r\\r\\n\\r\\na\\na\\ra  0\\n\\r\\n\\r\\rb 0\\nb b\\n\\r \\n\\r\\n\\n0\\r.b\\r\\ra. \\r 0  ba\\n\\na\\na\\n \\rb \\r.\\r b0\\r\\n\\n\\ra \\n0\\na \\rab\\na\\n\\n\\n\\r0\\n\\r\\r\\r..b\\n0\\n \\n\\r\\r..0\\r\\n\\r\\n\\nb.\\n\\r\\r\\na\\r\\r\\ra\\r\\n\\n\\n\\na\\r.a0\\r\\r0\\r\\n.\\ra\\r\\r\\n\\n\\nb\\r\\r\\n\\n\\nba \\r\\r\\r \\n\\r\\r\\n\\ra\\rbb\\n\\r0\\r\\r\\na\\n\\rab\\r\\r\\r\\r. \\n\\n0\\n\\na\\r\\r .0\\r\\r\\n\\r\\r b\\n.a\\r\\n ab\\n\\r b\\rb \\n\\r0\\r\\n\\n.0\\r\\r0..\\r\\n\\rb\\n\\r\\na \\n.\\n\\n \\n.\\n0\\raa\\n\\n\\rb\\r\\n\\n\\n ..\\r\\n\\r\\r\\n\\rbb\\na\\n\\n\\n\\rb .\\n\\r\\n\\r. \\r\\r0.\\rb.a\\r\\nba. \\n\\n0b0\\n b\\na\\r.b\\n.\\n\\n \\rb\\r0b\" 34658)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.632709709+00:00","status":"failed","tests":130,"discards":0,"time":"3549us","error":null,"tool":"quickcheck","counterexample":"(\"\\r\\r\\n \\n0\\n\\n\\r\\r\\n\\r\\r0\\r\\r\\r0\\n\\r\\r\\r.0 \\r\\r \\r a b\\n\\n\\r\\r \\n\\r .\\n0\\nb \\ra\\n\\r \\r\\r\\r0\\n\\n\\r0\\r\\r .\\r\\r\\raa\\r\\r \\rba\\n\\n\\rba\\n\\r\\r\\r\\n \\nb\\r0\\n\\r\\n\\r0\\naab0\\rbba\\n\\r\\r \\r\\r\\n\\r\\r\\n0 \\n0\\n\\r\\n 0\\nbb. a\\n\\r..0\\ra\\r  a\\n \\r\\r\\n b..0\\n\\ra.\\n\\r\\r\\r\\r\\r\\n\\n\\n \\r\\n\\r0 a a\\n .\\r\\r\\r.0 \\r\\n0\\nb\\ra\\r0a\\n0\\rb\\n\\r\\n.\\r  \\nb\\r\\n\\r\\n\\r\\r0b\\nb\\r\\n 0 b\\n0a\\r\\r \\r\\r\\nb\\r\\n\\r0\\nb\\r\\r\\n\\r\\r\\n \\n\\n \\rb \\n\\rb\\n\\r\\n0\\n\\n 0.b\\n\\n\\n\\n\\n.\\ra.\\rb ab\\rb\\r\\n .b\\r\\rbb\\r\\nb0\\r\\r\\r\\r\\n\\n.\\r\\r \\n\\ra\\r00a\\n \\r\\r\\nb\\r.0.\\r\\r\\n\\n \\nb0\\ra\\n\\rb0\\ra\\n0\\n0\\r\\n  \\r\\r\\r\\nb\\r\\ra\\n\\nbb.\\r\\n\\n\\n\\n\\r\\n 0b.0 .\\r a.\\r\\n0b.\\n\\n.\\nb0 \\n\\n\\n\\n. \\n0\\n\\rb \\n\\r\\n \\r.0.a\\n\\ra\\r.\\n\\r0\\n \\n...a\\n0a.. \\rb0\\n\\n\\n  \\ra\\n\\n\\r0b\\r\\r\\n0a.\\na\\r\\n\\r\\r0\\n\\n\\r\\r\\n\\r\\n\\n\\r\\nb\\r\\n \\nba\\r 0\\n\\n\\n ab0..\\r \\r\\nb\\n0bb\\r\\n .\\n \\r\\r\\n.0a\\n\\nb\\rb\\n0\\n\\r\\r\\n\\n\\na\\n\\n\\r\\nb\\r.\\n\\n0a\\n\\n0\\r\\r \\r\\nb\\n\\r \\r\\r\\n\\r\\r\\r\\n\\nb\\n0\\r\\n\\r\\n0\\n \\nb\\n\\rb\\n\\nab\\r\\rbb\\r\\n\\r0\\na\\n b \\n\\n\\r.b\\n\\r00\\ra\\n\\nba\\r\\r.\\r  \\n\\r\\n0a \\r\\n00\\n\\n\\n\\rb\\r.b.0\\n\\r. \\nb \\r\\r\\n\\r 0\\n\\r\\n\\na\\r\\nb\\n\\n0.aab. \\n.\\r0\\n\\r0ab\\r\\n .\\r\\r\\r \\r\\r\\na\\r\\n\\n\\n0b0 b.0\\r\\n\\r\\n..a.\\n\\ra\\r\\r \\r\\n\\r\\r\\n\\nb\\r\\rb\\rb\\r\\n\\r\\nb \\n.\\r.a\\r\\r\\nba.\\n\\r\\n \\r\\n\\n\\n\\nab\\nb\\n\\r\\n\\rb\\n\\n\\r\\n\\r\\ra\\naa\\n.\\na\\r\\ra b0\\r\\n\\r\\n aa\\n\\r\\n0 \\n \\nb0\\n\\n\\n\\nb\\n\\nb\\n\\nb\\nabb.\\r\\r\\n\\r  \\n \\r\\n\\r\\n\\r\\r  \\n\\r\\n00\\r\\ra \\r.\\n\\n\\n.\\n\\n\\n \\r\\r\\raba\\na0\\r\\n\\n\\r\\r\\r\\r\\r\\n\\r\\n\\r\\n\\r. 0 aab \\r\\n\\r\\r\\r\\nba.\\r\\n\\r\\r.0b.\\r.\\n0\\r\\na00 \\r\\nb\\nba.\\r\\n\\n.\\n\\n\\nab0\\n\\r\\n\\r\\n\\r\\n\\n.\\ra\\r\\r.\\n0\\r\\ra\\r\\r\\na000\\ra0\\rb\\n \\n\\rb\\r \\r\\r\\na..\\rb \\r0\\r. \\nb\\r\\r\\nb\\r\\n\\r0\\n\\na\\n\\n.\\naa.\\r\\r \\rb\\nbb\\n a.0\\r\\r\\r\\n\\r\\n\\r.\\r\\n\\nbb.abb\\r\\r..\\r\\r\\na\\r\\n\\r\\r\\r\\n\\ra\\nb\\r.\\n\\r\\n\\r. \\nb0a0\\r.\\n\\ra\\r\\r\\na\\rbb\\n0\\r\\r\\r\\r\\n.a 0\\n.\\r\\r\\n\\n\\ra\\n\\r\\nb 0\\r \\n\\rab0b\\rb\\n00\\ra\\n\\na\\n0b \\nb\\r0\\nba.\\rb\\r \\n \\na\\r.\\r\\n\\r\\r\\nbbb\\r \\n\\n\\r\\rb\\r\\rb\\nb\\na\\na.\\r..\\n.\\ra\\ra. a\\ra \\na\\n\\r \\n\\rba0\\n\\r0\\rbb\\n\\r\\nb\\rbb\\r\\ra\\n\\r00\\r\\n\\n\\ra\\r\\r\\n . .\\na0\\rb\\n.\\r\\n.\\r\\nb\\n.a\\rab \\n\\n a \\n\\r\\r.\\n\\r0\\r\\nb\\nb\\n\\r\\rb\\ra.\\n\\r\\n0 \\n\\n b\\n\\n\\r\\n\\r\\r\\n\\n\\r\\r\\n\\n\\r\\r\\n\\n\\r\\r0\\r\\n\\nbb\\n\\n\\r\\r\\n\\r\\nb\\n\\n0a\\n\\r\\r a\\r\" 60575)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.637352901+00:00","status":"failed","tests":5,"discards":0,"time":"204us","error":null,"tool":"quickcheck","counterexample":"(\".b\\n0\\nb\\n\\n\\r\\n\\n0\\r\\n\\n\\n\\n\\r0\\n 0a \\n\\r\\nb \\r\\n 0\\n\\n\\n.b\\n.\\n\\na\\r\\r\\n..\\r\\r\\r.\\r \\ra\\n\\rb\\r0\\r\\r\\r\\na.\\n\\r\\nb\\n\\r ..a\\r0 b.  \\nb\\r\\n \\n\\r\\na0\\r\\nb\\n\\nb\\r0\\n\\n0\\r\\ra.\\r\\n\\r00\\r. b\\ra\\r.\\nb\\n b\\r\\n\\r  b\\n\\nb\\rb\\r b\\n\\r\\r\\n\\n\\n .0\\n  \\r.\\n \\nb a.\\r\\r\\n\\n\\r. \\nb\\r.b\\ra0\\n\\n\\r.\\r\\r\\r\\n\\r\\n\\r0\\n\\na0\\n\\ra\\r\\r \\n\\n\\n\\n\\n\\r\\r\\r\\r\\r\\n .\\r\\rb 0 \\r\\n\\n\\ra\\n\\n a\\n\\rb\\n.\\n.bb\\r0\\n\\n\\n\\r\\r.\\n\\nb\\r\\r  \\r\\n\\n\\r\\n\\ra\\n\\na\\r a\\r\\n\\r\\r\\nabb.b.. \\nb\\n\\r\\nb\\n\\n\\r\\n00\\r\\n.a\\n\\r\\n\\r\\r\\r\\r \\r \\n a\\n\\n\\n0a\\n\\n\\r\\n\\r\\nb b\\r\\rb\\raa\\n\\r\\n0a.0 ab\\n\\r\\n\\r\\nb\\r\\na.0\\r\\n0a\\n\\ra\\nb\\n\\n \\n\\r. \\r00\\ra\\n0 bb\\r0\\n.\\r.\\n\\rb\\r.\\r0\\r\\n\\r \\n.\\n\\n\\rb\\r\\n\\r\\n.\\n\\ra0\\n .\\r\\n \\r..0\\n\\n.b\\r\\n\\n\\n\\r\\nb\\r\\n\\n0\\r\\n\\rab\\n \\n\\n \\n\\n.b\\rb .\\r0\\r b  \\n\\r0\\r\\r\\r\\n\\r\\n0\\r \\r\\na\\r\\r\\n\\n\\r.0.\\r0\\n\\rb.b\\nab \\r\\r  \\r\\n\\rb \\n\\nb\\r\\r\\r\\n. \\n\\r.0\\n.\\n\\r\\r\\rbb \\r. .  \\r. \\r.\\n \\rb \\r\\r\\r\\r\\n\\r\\na\\r\\n\\nb\\n\\n\\r\\r\\r\\n\\n ..\\n0\\rb0.0\\r \\n\\n.aa0. ..\\ra\\r\\n\\nb\\nbba.0 \\n. \\r .  \\r\\n\\nb\\n\\r\\n\\r\\r\\r\\r\\n\\n0\\r\\r\\ra b\\r\\r.a\\n..0b\\r\\n\\n.\\n0ab\\n.a0\\na.\\ra\\n.\\r\\ra 0b \\r\\r\\n\\n \\n.\\n\\n\\r\\ra00\\r\\n\\n.\\n\\n  \\r0ab\\r\\ra\\ra\\n\\n\\n \\r\\n\\r\\n\\n.\\n\\n\\n\\r\\r\\r\\n\\r\\n\\n\\na\\r\\n 000\\n.\\r\\ra\\n\\r\\nab.\\n.b\\ra \\na\\n\\n\\n \\n0\\r\\n\\r\\n.\\r\\nb. \\n\\n\\r\\r.a\\n\\r\\nbb\\r\\r\\n\\n\\r\\r\\r.\\n\\n0\\rb.b\\r\\n0\\n\\r\\r\\ra\\r \\r\\r\\r\\n\\r0\\n\\r\\n.\\n0a. bb0 .\\r0.\\r\\n\\n 0\\r\\ra .\\r \\r\\n a\\n\\n.\\n\\r\\r\\r.a\\n\\r0\\n\\r\\n\\r\\r\\n\\r\\n\\n\\nbaa 0 0 \\rb.\\n.0a\\r\\n\\n\\na\\r\\n\\n\\n \\n\\n0\\n\\nb\\n\\r\\ra0\\ra\\n \\r\\r.\\r\\nbaab\\ra\\r.\\n\\r \\r\\r\\n\\r\\rb0b.\\n\\n \\n\\nb0 \\r\\na\\n\\n\\n  a \\r \\n\\n\\n\\n\\r\\r\\n\\r\\n0.\\ra .b\\n0\\r\\r\\r\\r0\\nbb\\r\\n\\r a\\n\\n.\\r\\r\\na0\\n\\r\\r\\r\\n \\n\\n\\r.\\n0\\r\\n \\nb\\n \\n\\n a.\\rb0..b\\n\\r.\\r\\n\\n\\r\\nb.b\\n \\r\\naa\\r.. \\n\\nbb .aa\\r\\n\\nba\\na\\n00 \\rb \\n\\r\\n\\n\\r\\r\\r0\\r\\r\\nb0\\r\\n0b\\n\\rb\\n0\\r\\na\\n0.\\n\\n\\r b\\r\\r\\n\\nbb\\r\\nab\\r0a\\ra\\n\\r\\naa \\n\\r\\r .\\n\\r0. 0a\\r\\n\\nba\\nb.\\r\\r..\\r\\r\\rba\\n\\r\\r\\n\\n\\n0.\\n\\n0\\n\\n00\\n0 \\r\\nb\\r\\r\\n\\n\\n.\\n\\r\\na\\n0\\r\\r0\\rb00b\\naa\\ra.  \\n\\r .aa..a0bb\\rb \\r\\n\\n\\rb\\r.\\n\\r\\r\\rb \\ra.\\r\\r\\r ..\\r\\r\\r\\rbb\\r\\ra\\n\\rb\\nb\\r b\\r\\n.\\r\\nbb\\n.a\\n\\r.\\ra\\n\\n\\n \\n\\n\\r\\n\\n\\r\\n\\n0\\nb\\ra\\r.\\nb\\r0\\ra\\ra\\r.b.\\na\\r\\n.\\n\\r0a\\r\\nb\\n.\\r \\r\\n. \\n\\n\\r.a\\r  a\\n\\r\\r .0b\\n\\r\\n\\n  \\n\\n0\\n\\ra\\nb\\r\\rb\\r\\nb\\r\\r\\rb\\n 0a \\r \\r.\\r\\r\\r\\r\\n.\\r\\n0a\\na\\na0\\n \\r\\r\\n a\\rb\\r\\n\\nb..\\r\\r\\n\\n.\\n\\ra\\n\\r\\r\\n\\n\\r\\n\\r\\n\\r\\nb\\r\\nbb. 0a\\rb\\n.\\r\\n b0\\r\\naa\\r\\n  \\n.\\n\\n\\n\\r\\r\\n\\n\\n.\\r\\r.\\n\\na.0a\\r\\n.b0\\r\\n\\n\\n\\n\\n \\n\\r\\n\\r.\\n.\\r\\n .\\naa.\\n\\rb\\ra\\r \\r0a. \\nb\\r \\n.\\n\\n \\r\\n.\\n.\\r0\\r\\r\\r\\n0 \\n\\r\\nb\\r\\r.b\\r\\r.ba\\nb\\r\\r\\n\\n\\r\" 28393)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.638760689+00:00","status":"failed","tests":4,"discards":0,"time":"282us","error":null,"tool":"quickcheck","counterexample":"(\"\\na \\n\\r\\r\\r\\n\\n\\n  \\n\\r\\r \\r0 \\n\\n\\n\\r\\ra\\r\\rb\\r\\r.\\n\\r\\n0\\n\\n\\r00.b\\r \\n\\n\\n\\ra0\\r\\r \\r\\r0\\n\\r\\r \\rb\\n\\n\\n\\n\\rb\\r. a\\na\\n\\r \\n.\\r .\\r\\r\\nbb.\\r.b a\\r.\\r0\\r\\n \\r\\n b\\r\\n\\r. 0 b\\r \\n\\r\\r0 0.\\r\\r\\n\\n \\r\\n\\r\\r0\\n\\nbb0\\n.\\n\\n\\r.a0.\\n\\r\\r\\n\\r\\n\\n\\n\\n0\\na.\\r\\na..\\r0a \\r\\n\\n\\n\\r\\nab\\n..\\r\\rb\\r\\n\\n\\r\\r\\r.b\\n. 0b\\n0a\\n\\n\\r\\na.\\n.\\n0.\\rbb\\rb\\r \\na.a\\n0bb\\r00\\r \\na\\naab\\n \\r\\nbb\\r\\n \\r\\rb.\\n\\r.\\n0\\n.a\\na\\n.0a\\n\\r\\r0\\nb.b\\n.\\r\\n.\\n\\n\\na\\r\\r\\r\\n  a\\r\\n\\r \\ra.\\r \\r a\\nba\\n\\r.b\\r\\r\\r\\r\\r00\\n\\n\\r\\n\\nb\\rb\\n ba\\r\\n \\n\\r\\n\\r.b0 \\r\\ra\\n b\\r\\n\\n \\n.\\r.\\r\\n\\r\\r \\n\\ra\\n\\n\\rb\\n\\n\\r.\\n\\n \\r0\\n \\r\\n0.\\nb\\n00.\\n..\\n \\r\\r\\r\\r\\r b\\n a\\n\\r0\\r\\r0\\n\\n \\r\\n\\n\\r\\n\\r\\n b\\r.\\n.\\n0\\r\\n\\ra\\n\\n\\r\\ra\\r .a\\ra\\r\\n\\n\\n\\r\\n\\nb\\n\\n\\n\\n\\n0b\\r\\r\\na.bb\\rb0\\r\\r\\n\\rb.\\r\\r \\r\\r\\n\\r\\n\\n\\n \\ra\\r\\r\\rb.a.b\\n .\\r\\r0\\n\\r\\r \\n\\r\\n\\r0\\r\\ra0\\r\\n\\r..b\\r a\\n\\n00\\n\\n\\n\\n\\n0.\\n0\\na\\n \\n\\r0\\n\\r0\\n.\\n\\r\\n\\n\\n\\r .\\ra b\\n\\rb00\\n\\r\\r\\n\\r\\r\\n\\n0\\nb\\n\\n\\nb\\r.0\\r \\r\\n b0 \\n \\r \\n\\n\\n\\na\\r\\n\\r\\n.\\r\\r.0\\r\\n\\r\\n\\n.b\\r\\n0\\r.\\n .\\r\\r\\ra.\\nb\\r\\r\\naa\\r\\r\\n \\r  \\n\\r\\r\\n\\r. \\r\\n\\r\\r\\r\\r\\rab\\rb\\n \\r  . \\n\\r.\\r0\\r\\r\\r0.\\r\\n\\r\\n\\nab\\ra\\n0\\rb\\ra\\r\\n \\n\\ra\\r\\n\\r \\r\\r\\na\\n\\n\\n.\\rb\\ra\\n\\r0\\n\\r\\nb...\\r\\n.\\rb\\rb\\n\\n0\\n.\\n\\r..\\r\\n\\n\\r \\n\\n.b\\r\\r \\n\\r00\\r\\na\\n\\n.\\r\\n0\\r\\rab\\r0 \\n\\r\\r.0\\n0\\r\\n\\n\\r\\rb\\n\\n\\n0\\r\\rb\\n0\\na0 0b\\r00b\\nb\\r\\n \\r.\\n\\n.\\n\\n\\n\\r\\ra\\r\\n\\r\\r\\n\\r\\n\\n\\n  0b\\r\\n\\n.0.\\nb\\r0\\r.  \\r\\nba\\r\\r00\\n b\\n.00a\\rab\\na\\n.b. a.\\r\\n.0b\\ra.\\n a0 .\\naa\\n.\\rb \\r\\r\\r\\n\\r.\\n.\\rb\\r\\n\\r\\r\\nb\\n\\nb\\n\\r\\n\\na 0a \\n\\r\\na0\\r\\r\\n\\r.\\r\\rb\\n\\rbb\\r\\n.aa0aa\\n.\\r.\\n.0\\r\\r\\r\\n\\rb\\r\\r\\n\\n0a\\r\\r\\n\\n0\\r\\n0b.\\r \\n\\r0 \\r\\nabb \\r 0 \\n\\n\\r\\n .b\\n. a\\n\\r\\rb\\raaa.a.\\r.0\\na\\ra\\r \\r0\\n.\\na\\r\\r\\r\\n\\na\\n\\n.\\r\\r\\n\\r\\n\\n \\r\\naa\\r.a\\nb\\r \\n\\n\\n\\n.\\r.\\n\\ra\\r\\n \\n\\r\\r\\r\\r\\n \\n\\r \\r\\r\\r\\n\\raa\\r\\nbaa \\r \\nba\\r\\r\\r\\r\\n\\r\\r.. \\n\\n\\n\\n\\na\\r0 0\\r \\r\\n0\\n.\\r\\r00a b\\r\\r.a\\r\\na\\r\\r\\n\\n \\r\\rb\\nbaa\\r \\r\\n.\\n 0\\n\\r\\n\\n\\n\\n\\r\\na\\rb \\na\\r\\n\\r.\\n \\n\\n0\\ra.\\r\\rb\\n0\\na0\\r \\na\\n\\na.\\nb0\\r \\n\\r..ab0\\n\\n0\\n\\n0\\n  a \\n0\\n\\n\\n.\\n.\\r\\n0a\\n\\rb\\r0\\r.\\r \\n\\n\\n\\r\\r 0\\r\\r\\r\\r\\n0\\r.0\\raab0\\na\\r\\rb\\r0a \\r\\r\\ra\\n\\r.\\r\\n\\r.0\\n \\r\\r \\r\\r\\n\\na\\r\\n0\\r0.00\\r\\r\\n\\n\\r\\n\\r\\r.\\r.\\na\\n\\n.\\ra.\\n0 a \\r\\n\\n\\n\\n\\n\\n\\r\\nb.\\na\\ra0\\n\\n0\\n\\rb.a b\\n\\r0\\n\\r\\r\\n.b0\\r \\r.\\rb.0b\\n\\nb\\n\\r\\n\\n\\n\\ra  \\r \\r0\\naba\\ra\\n\\n\\n0. \\n\\rb  \\r\\r\\r\\nb\\n\\n\\n\\r\\n\\na \\rb  .\\n\\n...00\\nb\\r\\n\\r \\n.\\r0\\n\\ra\\na\\nb\\n\\n\\r.0\\n\\r aa0b0\\n\\r\\n\\n\\na.aab0b\\r\\r\\rb\\n\\r\\r\\n\\n0\\r\\n \\r \\n 0\\r \\rb\\r\\r\\n.0\\rb\\n.\\raa\\r\\naa.0\\n\\naa\\r\" 1070)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.640434521+00:00","status":"failed","tests":11,"discards":0,"time":"404us","error":null,"tool":"quickcheck","counterexample":"(\"\\r0aa.\\n\\n \\n a..\\n\\r\\n\\n\\r  .\\r\\n.0\\r0\\r0bb..b\\r   b\\rbb\\r \\nb00\\ra\\na \\rb\\rb\\n\\n.\\n\\n\\n\\nb\\n\\r\\r\\na\\n\\ra\\ra\\r\\r\\r\\rb.a\\n \\n\\n\\r\\n\\r\\rb\\n .\\n\\r \\n\\r\\r\\n\\n\\n\\r\\nbb0\\na\\n0\\r0.a\\r0\\n\\r\\n\\n\\r.\\ra\\n\\r\\n0\\n0\\n0\\n\\r\\r b\\r\\na0\\n\\n\\n\\r\\r\\n\\n\\r\\n\\n0a\\r. 0.\\r.b0.\\r0\\r\\ra \\na\\r\\r\\r\\na0\\r\\r\\r\\nb 0\\n0\\r\\r\\n\\n0 0\\r\\n\\rb\\rb\\ra\\rb.\\r\\n\\n\\r0a\\rb\\r\\r\\r\\r0\\n \\n\\r. \\rba .\\naaaba\\n\\r\\n\\n \\n\\n0\\rbb\\nb  b\\r\\r\\n\\rb \\nb. \\n\\r\\r\\n0\\n\\r\\r.\\n\\n\\ra\\raa\\r\\r\\ra.\\r0.\\ra\\n\\r\\rb a.\\r\\nba\\n0\\n..\\n a\\r\\n\\r\\r\\r.000a\\r \\nab\\r a\\n\\r\\r\\na\\r\\r 0\\r\\n\\rb\\r\\n\\r\\n\\n.\\n.\\r0a\\r\\n0\\n\\n. \\r\\n\\n\\r\\r..a\\nb\\n 00\\r\\na \\na\\n\\n \\r0b.\\n\\r\\n\\ra\\r\\r\\n.\\n.\\r\\n\\n\\n\\rb\\r\\n0\\na\\n\\rb\\r 0\\ra\\na \\rb\\n\\n\\r.a\\n\\n. b.\\r\\r \\n\\n0\\n\\rb\\r\\r.\\r0..a\\n\\rb\\r\\r0\\nb . b.\\nba\\n0a\\n0\\r\\rbaa0\\r\\n\\ra\\r\\r\\nb\\n.\\r\\n\\n\\r0\\n\\r\\n\\n \\n a\\rb\\n \\na b\\r\\nb\\n.\\n00\\r\\na\\n\\r\\r\\n a .0 b\\n\\r..\\n\\n\\r \\r\\ra\\na\\n\\n\\rb  \\na\\r\\n\\n\\n0a\\r00 \\raa.ba\\na\\ra0\\naaa. .0.\\nb.\\r0ba.  a.aba\\na0\\r\\n\\rb.0\\r. \\ra0\\r\\na\\n\\r\\n\\n.\\n\\ra\\n\\n\\r\\r\\n\\r\\rbbb\\n0.\\r\\n\\r\\r\\r\\n\\n\\n\\r0\\n a.\\nbb\\n\\nb \\n0\\r\\r\\r.\\r\\ra \\r\\n. aa.\\na\\n.b\\r\\r\\r\\n.a\\r\\r.0\\na\\n\\r a\\r\\n\\r\\n b\\nb\\r\\r .\\r0.\\r\\n\\r\\r.\\n\\nb\\r a\\r\\n\\ra0\\rb\\r\\n\\n\\n\\r.\\nb\\ra\\n\\r\\n\\r\\r\\n. \\n\\r.\\n\\n\\n\\na\\n\\n\\r\\rb 000\\n\\n\\r\\r\\r\\nb \\n\\r\\rb\\n\\r \\n\\n\\r\\n\\n0a\\r\\rbb b\\r\\n\\ra \\n\\n\\n\\r\\r\\nb\\n\\n\\r\\ra0\\n0\\r bb\\r\\r\\r\\r0aa\\n\\n\\r \\rab.\\r\\n \\r\\n\\na\\r a.\\r\\ra\\n.\\n \\r00\\r\\r\\rbb\\r\\n\\r.  \\r\\r \\n\\r\\rb  a\\raa\\r\\r.\\na.. \\n\\n\\n bb\\n0\\nabb\\n\\r \\r\\n\\r\\rb\\n\\r\\n\\n  \\r0  \\n.a\\r \\nb\\r\\r 0.\\na\\ra\\n\\r.\\r\\n.a\\n\\r0\\rb\\r \\n\\r b\\n.aab\\r\\n0ab\\r\\r\\n b\\n\\n\\r \\n00\\n\\r\\r\\n\\n\\r\\n.b\\n0.\\na\\ra\\n\\r\\nb \\n.\\n\\n\\r0\\n\\r.b\\r0\\r\\r\\r.\\n\\n\\naa\\n\\n000\\r\\nbabba\\ra\\r\\n0\\ra\\n0\\n0\\nba\\r\\n.\\r.00\\n\\n a 0\\r\\r\\n\\r\\r \\ra b a\\na\\rb \\r \\n\\r.ba\\n\\ra\\n.\\nb\\ra\\na.\\r\\r\\n\\r\\naa\\r \\r\\r0\\r0a\\r\\r\\r\\ra \\n\\n\\r\\r\\r\\r\\n \\r\\r\\n\\n\\r0\\r0..\\r\\r\\nb0\\r.\\r\\na b0\\r\\r\\r\\raa\\n0\\nb\\r\\r\\n\\r\\r\\n0 a\\r\\r\\n . \\nb\\r\\n\\n \\n.\\n \\n\\rb\\n0a\\r\\n\\rb\\n\\n0\\n0\\nb0\\n\\n0\\r\\r\\r\\n 0bb0b\\n\\n\\r\\r\\r0 a0a0 \\r\\r\\rb\\n\\r.\\r \\na\\n\\n.\\r0\\r0\\n\\r0\\r \\n0\\r\\n.\\n\\r\\n\\n\\n.ba\\n.0.\\n\\n\\r 0b.0\\n \\n\\r0b\\r\\rb\\r a.0\\r\\r \\r\\rb\\n\\n\\n\\n\" 5912)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.642006690+00:00","status":"failed","tests":6,"discards":0,"time":"352us","error":null,"tool":"quickcheck","counterexample":"(\"..a0.0 0\\r\\r\\r\\n\\n\\r\\r\\r \\nb0 \\n.0 .\\n 0\\n0bb\\r\\n\\ra\\n \\n\\r\\n\\na\\n\\rb\\r\\r.ba\\n0 bab\\r\\r\\r\\r0.\\r\\r0.\\ra\\na\\r\\nba\\na.b\\r..\\n \\n0b\\r.\\n\\n a\\r \\n0  0\\n0.b\\n\\na \\r\\n0\\n.bb\\na0\\r\\n\\n0\\n\\ra.\\r0 \\rb\\na00b.\\r\\n.\\n \\r \\n\\n\\r\\r0\\n\\n\\n\\n0\\n\\r \\na\\r0\\ra\\r \\n..\\r\\r.\\r\\r\\n\\n.\\r\\r aa\\r\\r..bb\\n\\r0\\r0\\naa a.\\r\\r.\\n\\r\\n\\n.\\nb\\r\\r\\r. 0\\r ab\\r\\n\\rb\\n\\r b\\n0\\n\\n\\r.\\n\\n\\r\\n\\na\\n\\rb.a\\r.\\n\\r\\na\\n\\n\\ra\\r.a\\n.a. \\n  .ab\\r\\n\\n \\ra\\n.\\nab\\n0\\r.\\n.0\\nbba \\n\\n\\r. ab\\r\\na00\\r.\\n\\n\\nb\\na\\n\\r0\\n0\\n\\r \\r\\ra\\r\\r\\nb\\r\\n\\n\\r0 \\r\\n\\nb\\n0\\n\\r\\n\\n\\n\\n\\n\\n\\ra.\\n0\\r\\nba\\r\\r\\r \\r\\rb \\ra\\r\\r\\n..\\r\\n\\n00.\\r\\r\\n\\r\\r\\ra.0a0b\\r0\\r b\\r\\na \\n\\rb \\ra\\n\\n\\n\\n\\rb\\nb \\n\\ra\\r\\na\\r\\rb0b\\r b\\n.a\\r\\r \\r\\n\\n \\r\\r\\r\\n.a\\nb \\n\\n\\r\\n\\ra\\n\\n0.\\n\\rb\\nba\\r\\r\\r\\r\\n\\n\\n\\rb.\\r\\rbb\\n.\\n0\\ra\\n00\\r0\\rb.0abb\\r\\rb\\rba\\n\\n   \\r\\n0\\r.\\r\\n.. \\r\\n\\n 0\\n\\n\\n\\n a.\\ra\\rbbba\\r\\r..\\r\\r\\n\\n\\n\\n\\n\\r. a \\n\\n\\n\\r..a a\\n\\nb .0\\na00\\n b\\r\\n\\na \\n\\rbab\\n.\\r0\\r\\n\\n\\n\\rb\\r.\\r\\na\\r\\r \\r  \\raa.\\r\\nba0\\n\\nb\\nb0\\na\\r\\n\\r 0\\n\\nbb\\r\\n0b\\n\\n\\r\\n\\nab\\r b\\n\\n\\nab\\r \\r\\n\\n\\n..\\r0.bab\\r0\\r\\r\\r\\n\\r \\r \\r\\ra0\\r.\\n \\r.\\r.\\n.ba.\\r\\n\\n\\n \\r0.a0\\na\\n\\n\\r\\n\\n\\r0\\n\\n0.\\n00\\r\\n\\r\\r.0\\n\\r\\n\\n\\r\\r\\r.b\\n\\ra.a\\r \\nba\\r0\\nb\\r0a\\n\\n\\r\\rab\\n\\n\\n\\r.\\r\\rab \\n\\nab  aa\\r\\n.\\rb \\r b\\r . \\rb\\r\\r\\na\\r\\r\\rb\\n\\r\\n  a\\n\\r.0\\n a\\r\\r.\\n.\\r\\n. \\r \\r\\r\\r\\r\\n\\rb \\n \\r\\n \\r\\n\\n00a0\\n\\n\\r\\n\\n\\r\\r \\n0b\\naaaab  \\r\\r\\n \\r.0b0\\n0.\\nb\\ra0\\r\\n\\r\\ra\\n\\r\\n\\r.\\r\\rb\\n\\n\\r \\r.\\n\\ra \\rb\\r\\rb\\r\\n\\n\\n\\r\\n.\\ra\\n\\n\\n\\r\\n.00\\r \\n .\\r.\\n\\rbba.\\rb\\n\\n\\n\\ra..\\n\\r\\r\\r\\r\\r\\r\\r\\r. \\r0aa \\n\\n\\r\\rb\\n\\n0 .\\r0\\n\\r\\n\\n0\\n\\n.\\n\\r\\n\\r\\r\\n\\n0\\n\\rbaa \\n\\r\\r..\\rb\\r\\r\\r 0\\r\\n\\n\\n\\r\\n\\r\\n\\n\\r\\n. 0\\r\\n\\r \\r\\r\\n \\n\\ra\\r\\r\\r.\\r\\n \\n .\\n  \\r\\ra\\r\\r0\\ra\\n\\r\\n\\n\\r\\r0\\n \\nb0\\n\\n\\r.\\r\\n\\n\\r0\\n\\n0\\na\\ra\\r\\rb \\r \\n\\n\\r\\n\\n\\na\\r\\r\\n\\ra\\n\\raa\\n\\nb\\n\\na. \\r0\\n\\r\\n\\r\\r\\r\\r.\\r\\n \\nb \\r\\rbb a\\r\\r.b0a\\n\\r.0\\r0.\\n\\r\\n\\r\\r.0\\n\\r \\na\\n \\n\\r\\r\\n\\r b.b\\n0\\n\\r\\n\\r\\n\\n0.0\\r\\n\\n\\ra0\\nabb\\r.0.\\n\\r\\r0\\n\\n\\r ba\\n\\r0\\na 0.b\\n\\ra aa0 \\na\\raaa\\n\\n0\\r\\n0\\n\\nb\\n00\\n\\rb\\na\\n. .\\r  \\r\\n\\n.00\\n\\r\\r 0\\r\\r\\n\\r\\r\\r \\nba\\n.0\\n \\na.\\r\\n\\r\\rab  \\r\\r.\\n.\\n0\\n\\n\\n  aa\\n\\n\\r0a\\n\\r\\n0\\r\\n\\r.0 0a\\nb\\n a\\n\\nb.\\n\\r .. 0a\\n .\\na.\\r\\r\\r\\r00\\n0000\\n\\r\\nb0.\\rab\\r\\r\\n\\naabb\\n 0 b\\r\\n\\n\\n\\n  0\\rb \\n\\r\\n \\n\\r.\\n\\n\\rb\\r\\n\\ra\\r\\n .\\r\\r\\r0\\r \\r\\n\\r.\\r\\n\\n\\ra\\n\\n ..\\n a...a\\n\\r\\r0\\r .\\n\\rba\\r\\r.b\\nb \\r\\r.\\r\\n0\\n\\n\\n\\nbb a.b\\n\\nb\\na\\r\\r\\r\\n0\\n\\r\\n.a.0 .a \\r..\\n.aa\\rb\\rb\\r\\ra.\\r\\r \\n\\n\\r\\n ba.\\r\\n\\r\\n\\r\\n\\n \\r  bb\\n \\rb\\r\\n\\n\\n\\n\\r\\nb\" 29081)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.643770268+00:00","status":"failed","tests":1,"discards":0,"time":"80us","error":null,"tool":"quickcheck","counterexample":"(\" .\\n 0\\r.a . \\rb \\n\\r\\n\\n\\n\\n\\n\\n\\r\\r\\n \\r\\r\\n\\n\\na.0\\r\\n\\r\\ra\\r\\n\\rb\\n\\nb\\n b\\n\\r\\n00a\\r0b\\r\\r\\r.\\n.\\n\\r\\r\\rba b\\na\\n\\n.\\r \\r\\n\\n\\r.b\\n.0 a\\r\\rb \\n\\n\\rbab \\r\\n\\n\\r\\n\\n\\r\\n \\n\\r\\ra\\na\\nb\\rb\\na\\ra\\r\\n\\r\\ra\\n\\r \\r.\\n \\n\\n\\r0.a\\r\\n\\rbbb\\nb\\n\\r\\n0\\ra\\r\\n\\ra0a\\n\\r\\r\\n\\r\\n\\n\\rb\\n\\n\\n\\n\\n\\r\\n.a\\r\\n\\n\\n0\\n\\na\\nb \\nba\\n00  \\n0aba \\n\\r0a\\r\\n\\r\\r..\\r\\n\\nb\\rb\\n\\r\\r\\n\\r\\r.a.a\\n\\n.a.b0\\n\\n \\n\\na\\n\\r.a\\n 0\\n\\n \\n\\r\\r0b \\r0\\na 0.\\r\\n0bbbb\\n.\\r\\r\\n\\n\\n\\n \\r.0  \\n\\n\\n\\n\\n\\n\\r\\n\\n\\n\\n\\n\\ra0\\r0\\n a\\n \\n\\n\\rb \\n.\\n a \\n\\r0a\\r\\na\\nbb\\r\\r\\n0  \\n.  \\nb\\n\\r\\n a\\r\\r\\r\\rbb\\n0a\\n...  .aabb.. \\r\\r\\r\\n\\r\\r\\nbb\\r\\n0\\r\\n\\n\\n0a0\\na\\ra0\\n\\n.\\n\\r 0\\r.\\n\\r\\r.\\r\\n\\n\\nbb a\\n\\r\\r.\\n\\r\\n\\n\\rb\\n \\r\\r00.\\r \\r\\n\\n\\r\\r\\n0  b 0  \\r\\n\\ra\\n \\ra\\r\\r\\r \\n\\r\\r\\r\\r0a\\r..b\\n.a.\\n.. b\\na\\rb\\n\\nb\\r\\nb.\\n\\n\\r\\n \\n\\ra\\r\\na.\\r\\ra\\n \\r\\rb \\n\\r\\na\\rb\\n\\n.\\n\\n \\r\\r\\n.\\r\\r\\r\\naa\\n\\n\\r\\n.\\n \\nbb\\na\\r\\r b\\r\\n  0b\\r\\na\\nb 0\\r .\\rb\\n\\r\\n0.\\n\\n\\n0.\\r.\\n\\r\\nbb\\r.\\n \\r \\n\\n\\n\\n\\r0\\r\\rb0.0a 0 \\n0 0\\n\\r\\n\\r\\n \\r\\n\\n\\n\\n0\\r0\\n \\nb\\n.a\\r\\r  \\nb\\nb\\r.\\na\\n\\n\\n\\n.b\\r\\r\\n\\ra\\r\\n\\rb\\n\\n\\r \\r\\n a a a\\r\\n\\nab\\n\\raba\\n\\nb\\r\\n\\n.\\n0\\r\\r0\\r\\r.\\n\\n0\\rb\\r a.\\r\\r\\r\\n\\n\\r\\r\\n.a.\\r\\r\\r\\r\\r\\ra\\r0.\\n \\r.\\r\\rba.\\ra\\n\\r\\r00\\rb\\r\\r\\r\\n\\n\\n\\n0\\n.a.ba \\rb\\n.\\n\\na \\r\\n\\ra \\n\\r.\\r\\ra\\r.baa0\\n0a\\r.b0\\r\\na\\r\\r\\r\\n\\r b\\r\\na.0a \\r\\na \\ra\\ra \\r\\r\\rb b\\nb\\rb \\r\\rb\\r\\n\\r\\rb\\n. 0\\r0\\na\\n00\\r\\r\\nb.\\r\\n\\nbb\\rab b ab\\r0\\n\\n\\r \\n\\n .a\\r\\n\\r\\n\\ra\\na\\n\\n\\r.\\r\\rb\\r\\n.\\n\\r\\r\\n\\r\\nb\\r\\r\\r\\r \\n\\r\\n\\na\\r..\\nb0\\r.\\n\\na\\ra\\r\\n\\n.a .\\r\\r\\n\\rb\\rb\\n\\r \\r\\n\\rb\\r\\r.\\rb\\n.\\rb0\\nb\\na\\r\\n\\n00a\\na\\n \\r\\r0\\rba\\r\\r\\n\\r\\n\\n.\\r.\\r\\n\\r\\n\\n\\rba\\r.\\r.a \\n\\rb\\r0 a0\\n\\r\\nab\\na0\\r\\r0\\r\\n0\\r0\\n\\n\\n0aa\\r\\r\\n0b\\n.\\r\\n\\r\\r .\\r\\r\\r\\n\\r\\n\\r\\r b\\r\\n\\n\\n\\r\\n\\r a\\n\\n\\ra\\n\\n\\n\\ra\\rb\\r\\naa\\n\\nb\\n \\rbb\\n\\n\\r\\n\\ra\\n\\rbab\\n0.\\r\\r\\n\\rb\\r\\r\\rb\\raa\\r\\n\\r\\n\\n\\n\\na \\na\\raaaab\\n\\r\\r\\n a0\\r \\n\\r..\\rb\\r0.\\n\\n0\\nb\\r\\r\\r\\n0..\\r\\r\\n \\n\\r0\\n.\\nb \\r\\na.a\\r\\r\\n\\r\" 42395)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.645017284+00:00","status":"failed","tests":186,"discards":0,"time":"6610us","error":null,"tool":"quickcheck","counterexample":"(\".\\nb a\\r\\n\\rb\\nab.\\n\\rbb \\n. \\n.aab\\n0b..\\r\\n\\r\\n\\nb\\r\\n\\r\\n\\n\\nb\\r\\na.\\r\\r\\r \\naaa\\r\\n\\r\\n\\n\\n\\r\\n\\r\\r\\n0\\r\\n\\r\\r \\n0\\ra\\n\\na\\n\\r a\\r.\\rb\\n.a\\naa\\r00.\\r.\\r\\r .a\\n\\n.a\\n\\r\\n\\n\\r\\r\\r\\r\\n\\n\\ra\\r0\\n\\n\\n\\r0\\r\\na.\\n.\\ra\\r\\rbb\\r 0\\rb.\\r.\\r\\r. ..a\\r\\n\\r0\\r\\n. ..\\n.\\r0\\r\\rab\\n\\r\\r\\r\\n \\n\\n0b\\r\\n\\r\\n0\\nb\\r..\\n\\n.a0bb\\na\\r.\\r0.0ab. ab\\r.\\nbaa\\r..a\\ra\\n\\rb\\n\\n\\n\\r0..\\n\\r\\r\\rba \\n\\r b\\r a\\n0\\r0\\n.\\n\\r\\rb\\r.b\\r\\nb\\n\\r \\r\\r\\n \\ra\\r\\n\\r0\\n\\r\\n\\nb\\r.\\n\\n\\n\\n\\n\\r\\r\\r ab\\naa\\r\\n\\na \\r\\n\\n\\n\\r\\ra\\r\\r\\nb\\n\\n\\r\\r.\\ra\\n\\n\\r\\n \\na \\n\\r\\n.0\\r\\n\\n\\n\\r\\r\\r\\r\\r\\nab\\n\\ra.\\n. \\n\\r\\n.\\n\\r\\n \\n\\rb0\\n\\r\\n\\r0\\r b\\n\\r\\r\\r0 a\\n\\n\\n\\n. \\n\\r\\r\\n0\\r\\r.\\r\\na\\n\\rbb\\r\\r\\n0\\r\\r\\r\\n  0\\n b\\r.\\r\\r\\r a\\r0\\n\\r.0\\ra\\r\\r \\nb\\n\\n\\r\\ra\\r\\r\\n \\r\\r.b\\r\\ra\\nbb \\n\\r \\r\\r\\n\\n0a\\r\\na\\r\\n\\ra\\r\\n.\\rb\\n\\r\\n\\r\\r\\na\\r\\r.\\n \\r.\\r\\n.\\r\\r\\r\\ra\\rb\\rb.\\n\\r\\r\\ra a00.\\n\\n.\\n\\rb.\\n.a\\r.bb  \\r\\ra\\r\\r\\r\\r.\\ra0\\n\\na\\rb0\\r. \\r\\r\\nb.\\r\\n\\n  \\n\\n\\r \\n.\\r\\r\\n\\r\\r\\n   \\ra\\r0b\\n0\\na\\r\\n.b\\r\\r\\n .\\r.\\rb. \\n\\r\\rb.\\r\\n\\r\\r\\nab\\n\\n.\\r0\\n\\r\\n \\rb\\n0\\r\\n0\\r\\n\\n\\n\\r\\r\\r\\nb .\\nb\\n\\r\\ra\\n\\r\\nb0\\r\\r\\na\\n\\ra0\\r\\r .\\ra\\n\\n\\r0\\r\\n\\na\\r\\r\\rbb\\n\\na\\r\\r\\r .b\\r\\r\\n.b0 \\n\\r\\r0.0a\\nb\\n\\n\\n\\ra \\rb\\r\\ra\\n\\r\\r\\n\\r\\r\\n\\n\\n.\\r\\r\\r\\n\\rba\\n\\n\\raa\\r0a\\ra00.0\\r\\n.b\\nb\\n\\r\\r\\ra\\r\\n\\r\\n\\n\\r..\\r\\n\\r0 \\r\\n\\n\\n\\r\\rb\\n.b\\r\\n0\\n\\r.\\nb\\n \\r\\r\\nb\\r..\\ra\\n\\r0b\\r 0\\rb\\r\\r\\na\\n\\rb\\r\\n\\n0\\r\\ra \\r.aa a\\r\\n0\\n \\r\\n\\r0 \\r\\n\\r\\r\\r\\n\\ra\\r\\rb  \\n\\r\\na \\na\\n\\r\\r\\n\\r\\n\\r \\n\\r.\\n\\na\\r.\\n0\\n\\nb\\n\\n\\r\\n\\r\\n0\\r\\nb\\ra0.\\r.b.0bb\\n\\n\\r\\rb\\r \\n\\n\\rb\\n \\n\\r\\n\\n\\n0a\\na\\n\\n\\r.b.b\\nb\\r\\r0\\n\\r\\r\\r\\n\\r\\r\\n\\nb.\\n \\r a\\r\\n \\r\\n.\\nb\\r\\n\\n\\nb. \\nb \\r.\\nbaab0\\n0\\r 00\\r\\r\\r\\r\\r\\nb\\r\\r\\n\\n\\r\\n \\n00\\r.\\n.\\n \\n.b\\n\\n a\\n..b\\n\\n0b\\n\\r\" 55907)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.652885035+00:00","status":"failed","tests":63,"discards":0,"time":"1829us","error":null,"tool":"quickcheck","counterexample":"(\"\\n\\n\\r \\n0b\\r. \\rab\\n\\n\\rb0\\r\\n . \\n0\\r\\n.\\n\\r\\r\\r\\r.0\\r\\r\\n\\r\\r\\n\\r0\\n\\nb\\r\\r  a\\ra\\nb\\r0\\r\\n \\raaab\\n0.ba0\\r \\n\\n\\n\\n\\rb \\rbb \\n\\r0\\r\\r\\r\\n \\n\\n\\r\\n\\r\\r\\n\\n\\n\\r\\n\\n\\r.b\\r b\\n\\n\\r \\r\\n\\r\\n0\\r\\r\\n\\r\\n\\n0b\\n\\r0.\\r0\\r\\r\\r0b  \\r.0\\n\\n.a\\r\\r\\n\\r\\n b\\r\\rab \\n\\n\\n\\r\\n\\ra a\\r.a\\n\\n\\r\\na.000b\\r0 \\r\\r\\n. a. \\r\\nb\\n \\r\\ra \\r.\\ra\\r\\n\\r\\r\\r\\r\\n.\\r\\r\\ra\\n\\raa \\n\\n\\r\\r\\r\\n\\r\\r\\r\\r\\r\\na\\n\\n\\n\\r\\r\\n\\r\\r0\\r b\\n\\n\\n 0.. 0\\n\\n\\r\\n0 \\n000\\r\\na0 \\nb\\r\\r \\n\\na\\r.\\n\\nb\\n\\nba\\n\\n  0..\\n\\na\\r\\r\\r\\r\\r\\n0\\r\\r0\\nb0\\n \\r  .\\r\\n\\r\\rb00\\n a\\r\\r\\n\\n\\r \\rb\\r.\\ra\\r0\\r0ab\\r\\n\\r .b\\n\\ra\\n\\r\\r\\ra\\n\\n\\n\\n\\r\\n\\r.\\r\\n0b\\n\\n\\r\\r. \\nbabb.0a0\\ra.\\r 0.a\\r0\\n\\ra.\\raba\\r\\n\\rb\\n\\n\\r\\n\\nab. \\n\\na\\n\\n \\r\\rb\\raa\\r\\r\\n.0\\n\\nb\\n\\r.\\n\\r.\\r\\r0.\\n . .\\r\\n\\na0\\n0\\n\\n\\na...\\n\\r000\\n\\r\\n\\n\\na\\r\\n \\r 0\\r\\r\\n\\na. a0\\na\\n\\n\\n\\r\\nb\\r\\r\\r.\\ra\\r\\r\\r.b a0\\r\\r\\n0\\n\\r\\n.abaa00\\n.\\na\\nba0b\\n\\n 0\\n \\n\\nab\\n0\\r\\r \\na  .00\\n\\n\\r.\\r0 b\\n\\n0b.\\n.b\\r b\\n\\nb\\n\\r\\r\\n\\n\\n \\na\\rb.. 0\\n\\r\\n\\n\\r\\n\\n\\n.\\r\\n000\\n\\n\\na\\na0b\\rb\\r0\\n\\n\\rbb.b0\\r\\nb..a\\r\\na\\r\\r.\\na\\naa\\r\\n\\rb.\\rb\\r.\\r\\n\\r\\n\\n\\n\\r.\\r\\n\\n\\r\\rab\\r \\na0\\nbbabbaa\\r\\n.\\n\\n\\r 0\\n.\\n0\\n\\na\\r\\rbb.0b\\n .b \\r\\na.\\n\\r\\ra\\n\\n\\r\\n\\r\\r \\n0\\nb\\n0ab\\r\\r\\nb\\n0a\\r0\\r bb0\\r\\n .\\r\\naa\\n\\r\\n0a\\r\\nb. \\rb\\ra\\n\\r\\n  \\r\\r\\r \\n\\n0ab\\r \\r  \\r\\n\\r\\n\\r 0b\\r\\n\\n .\\n\\rba\\n\\r.\\na 0\\r\\r0\\r0..\\r\\n\\r\\n. \\n\\r\\n\\r\\n\\r\\n  . \\r\\r\\n.\\rb\\r\\r\\r0a\\r\\r\\n\\naab\\nba\\r\\r\\n. \\r.b\\r0\\r\\n\\n.\\r\\n\\n\\n\\rb.\\n\\n\\n\\n\\n \\n\\na \\r\\r0\\r\\na\\r\\r\\n\\n\\r 0\\r\\n\\n\\n\\n\\n\\rb\\r\\r\\n0\\n0\\n \\r\\r\\r.\\n.\\r\\rb\\n\\n\\r\\r\\r\\n\\r\\r\\n\\nb\\r\\nb\\r\\n\\r\\n\\nb\\n00  \\n\\n\\n\\r . a.0\\r   \\n\\r\\n\\r\\naa.\\r\\r\\naa\\n\\nb\\n.\\n\\n\\r\\r\\n \\r\\n\\rb\\r\\rb\\n0b0\\n\\nbabb0 \\r\\n.\\n0.0\\rb\\nb\\r\\n.0\\nb \\r a \\n\\r a\\n\\n\\r\\r\\n\\r0b\\r\\n.\\nb\\n\\n.\\n\\n\" 20849)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"quickcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.655852829+00:00","status":"failed","tests":16,"discards":0,"time":"488us","error":null,"tool":"quickcheck","counterexample":"(\"0b\\n.\\r\\n\\na\\r\\n.\\n0\\r\\r\\n b  \\n\\r.\\r.\\r.\\n\\nb 0\\r\\n.\\n\\n\\n a0\\n\\r\\ra\\r\\r\\na.\\n\\r\\n\\r\\n\\na\\r\\r\\n\\r\\n\\na\\n0\\n\\r\\r0 a \\n \\r0\\r0a\\n\\n\\na\\r\\ra\\nb\\r \\nb\\r.\\r00\\n0a\\r\\r \\n0\\n .\\n\\ra\\r\\r a\\r0\\r\\r\\n\\n\\r\\r a..\\n.\\n\\r\\rb\\rb\\r\\r \\rab  \\r\\r\\r\\r\\n\\r\\n.\\n0\\r\\n.b\\rb\\n\\nb.\\r\\nab.\\r\\ra\\r\\na\\n\\rb\\r\\ra\\r\\n\\r\\n\\r0\\r\\r\\r\\r \\r\\n\\rbbb\\r\\r\\n\\r.aab\\n\\n bb \\r0\\n.\\rb\\r\\n\\n\\n0\\n \\ra \\nbbb\\n\\n0\\nb.ba \\rb\\r \\r.b\\n\\r000\\n\\na   0\\n\\n\\r\\ra\\r\\nb \\n \\r\\n\\raa\\n\\r\\n\\n 0\\r\\ra\\rb\\n\\r\\r\\n\\ra\\n \\r\\ra\\r ba.b\\n\\n\\r\\r.b\\r \\n\\r\\r\\n \\n\\r .0.\\ra.\\r a\\n\\r\\r\\n0\\ra\\r0a.\\rb\\r \\r.b\\na\\na\\nb.\\r\\n0\\n\\r.\\r\\n\\r\\rb\\n \\r.\\r\\r\\r .b \\r0\\n\\r\\r\\n \\r\\n\\n\\n\\n\\r\\n\\n\\n0\\r \\n\\n\\n\\r\\n\\r\\r\\r\\r\\r.\\n\\r\\n\\rb.0\\ra\\r.\\rb0a..\\nb\\r\\rb. \\n\\r\\n\\r\\r.\\r .\\raa0\\n0\\n\\n b\\n.\\nb \\r\\na\\n\\r\\rab\\n\\na\\r00\\r\\n\\nb\\r0 a\\r\\r. \\n0\\n\\n\\nbb.  .\\r .\\n\\raaaa .a\\n\\n0\\nb 0\\rab0\\n\\r \\r\\n0bab\\nba\\n\\na\\raa\\n\\n\\r\\n\\n\\r0 \\n\\n\\r\\na\\r0\\r\\nb\\n\\rb \\r.\\r\\r\\r\\n\\nba0\\n\\nb 0..b\\nb0 \\r.\\r\\nb\\r0\\r\\r 0\\r\\n.0 .b\\n\\n\\n\\n\\r0a\\n0\\n\\r\\na\\n\\n\\r\\n\\r\\n\\r ..\\r00.ba\\n\\r\\n.\\n \\n\\r0a\\nab\\r \\r\\r\\n\\rb\\n a  .\\r0ba0\\n\\n\\na\\r \\r0ba\\n\\r\\r\\n  .\\r0\\n\\n\\r\\rbb\\n0\\r\\r\\r\\n0b\\ra\\raa\\n. \\ra \\r\\ra\\n\\n\\n0.\\na\\n\\ra\\n\\r\\n0a \\nb\\n0a\\n \\n a0\\r\\n\\r.aa .\\r\\n\\n\\r\\rb\\n \\n.\\n\\rb\\r0\\n\\nb00 a\\r\\r\\r0\\n\\r.\\n\\na\\r\\rbaab. aabb\\n\\r\\n\\nb\\r\\ra\\n\\nb\\n\\r\\n\\rb\\n.\\n\\r\\n\\n\\r\\n \\r\\n\\r.\\r. ..\\r\\r\\r0\\r\\na\\r\\r\\r.\\r \\n.\\r.\\ra\\n\\r\\na  \\r0\\ra \\r\\r\\r\\n\\n\\ra\\n\\ra\\n\\r\\n\\r\\r\\r\\r\\nb.\\r\\r\\r\\n \\n\\n\\r\\r. \\ra\\r\\r0\\n \\r\\n.\\r.a\\r\\n\\n00a\\n\\r\\n\\r\\r\\n0\\r\\r\\rba\\rab\\r\\r0aa\\r0\\r \\r b\\r\\r\\r\\nb0b0\\n\\n\\na  \\n\\n a\\r\\n .0a.0\\rb\\r.\\r\\n\\r\\nbb\\r\\r\\n\\r0\\n\\n0.\\n\\r\\ra\\ra.\\n\\n.\\n\\n\\n0.\\n\\n\\n0\\n\\r\\r\\n  a\\r 0\\n\\n\\n...0\\n\\na\\n \\r\\r\\rb\\n\\nb\\nb0\\r0a\\n\\r\\n\\n\\ra \\n\\n\\n0b\\n\\ra\\n.\\n\\ra\\r\\n\\r\\n\\n\\r\\n\\na\\n\\r\\rb\\r\\n\\r.a0a\\rb\\n \\na\\n\\r\\r\\ra \\r\\r\\r\\r\\n0. \\n\\n\\r\\na0\\n\\n\\rb\\ra.\\r\\r\\n\\n.bb aa  \\n\\n\\r.0bb\\r\\n0\\r \\r\\n.\\r\\r.\\n.\\n \\r \\n0\\nb\\nb.a\\r.\\r\\n\\n\\n\\n\\n\\r\\r\\n0\\r\\n \\r \\r\\r\" 36913)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.658159288+00:00","status":"failed","tests":40,"discards":0,"time":"789us","error":null,"tool":"crabcheck","counterexample":"(\" \\r0\\n\\n\\n\\n\\r\\r\\n\\n\\n0b\\r  0\\n\\r.bb\\n\\n\\r\\n\\r.. \\r\\n0b\\rb\\n\\r\\n\\n0ab.0ab\\nb\\nbbaba.\\r\\r\\n\\r. \\rbaa\\n\\r 0\\r\\r0a\\r.\\n\\n\\n\\rb\\n\\n\\r0a\\n\\nb\\r\\n\\r\\r\\n\\nb0a \\n\\rb\\r\\n.\\n \\r\\r\\n.\\n\\n\\n0b\\n b0\\n\\r\\r\\r.\\rb..0 \\r\\raa\\n\\rabb\\rb\\r\\n\\rbaa\\n\\n\\n\\n\\rb\\n. b\\n\\r\\r0\\r..\\nb \\ra\\r\\r\\n.0\\r\\r\\r b\\r\\n\\na\\rab.\\n0\\r\\n\\n\\n\\r0\\n\\n\\r\\n.\\n\\n\\n\\r \\n.\\r \\na.\\n\\n\\rb.b\\n\\r.\\n b0\\r\\nb\\rb \\r\\r\\n \\na\\r\\n\\n0\\r\\n\\n0 b\\r0\\n \\rb\\n\\n\\r\\rb\\nab\\n0a\\ra.\\n\\r\\n\\r\\r\\n\\ra\\n0\\r\\n0\\r\\r\\n\\n\\n\\n\\n\\r\\r\\r\\n\\n\\r\\rabb\\n\\n\\n\\r  \\n\\r\\r\\nb00b.\\ra \\n\\n\\nabb\\n\\n.a  \\r \\n\\n. \\r\\n\\n\\r\\nb\\n  a0\\nba\\n\\ra\\n\\na\\ra\\n\\nb0\\n b 0\\r.\\r0\\n\\r0\\ra000\\ra.\\r\\n\\nb\\r\\r \\n\\n\\r\\rb.\\r\\r\\r\\r\\rb0\\n\\r00\\nb\\rb\\n.\\n\\r\\r \\na\\n\\n\\n\\n\\nb\\r\\r\\n\\n\\n\\n\\n.\\r \\r\\n\\ra..\\n\\r\\r\\n\\rb   \\r \\r\\n\\n\\n\\n\\r\\nb\\r\\r0\\naa\\n\\n\\n\\n0.\\r.\\r\\r\\n\\nbb00a\\na\\r .\\r\\r.\\n0\\n.\\n\\n\\r0b0ba\\n\\r\\n\\r\\n .\\r\\r\\r\\n\\r\\r\\rb\\n.\\r \\n\\n.0\\n\\r\\n  .b\\r0b\\r\\r\\r\\n\\rb\\n .. 0a.\\n\\r\\r0..a\\na\\n0a \\r\\r\\n\\r0\\r\\r \\n\\r\\n\\rb\\ra\\n \\r\\n\\r\\r\\n\\nb0.\\ra b\\n .b\\r\\ra\\n0\\n\\n\\n\\n\\n.\\n\\n\\rb\\rb\\n\\n\\rab\\n0\\n 0 \\n0\\r0b\\ra .\\na\\n\\n\\r0.\\r\\n\\ra a0.\\n\\ra\\r\\r\\r\\nb\\r\\n\\n .\\r\\r.\\r\\r. \\r\\r\\n \\r.a\\r\\na0\\r0a\\nb .\\ra\\r0.b\\n0\\r b\\r\\nb\\n\\n\\r\\n\\n\\r\\n \\n\\r\\n\\n\\n\\r\\n\\n\\rbb\\r\\n.a\\ra\\n\\n\\n\\n..\\ra\\ra.\\r0bab .0 ..bb ba.\\n\\nb\\r\\n\\n\\r\\n.\\n\\r\\n a \\n\\n\\r\\n\\n\\n \\r\\n. \\r\\r0\\na\\n\\n\\r\\n\\n0\\r .\\n\\n\\n\\rb 0\\n\\n\\n\\n\\r\\r\\r\\n00\\rb\\r\\r\\r\\n\\r\\rb\\n\\n \\nbb\\r  \\n \\n.\\n\\r\\r\\n \\na0\\nb\\rb00a\\r\\n\\r\\n.\\r\\n\\na\\n\\n\\r   0\\r\\n\\n\\n\\n\\r\\n\\n..b\\n00\\n\\n\\r\\r\\n\\r\\r 0\\n.\\n\\n0b.\\n \\n\\nb\\n\\n b\\r\\n \\r\\n\\r.\\n\\n.\\raa\\r0\\n\\rb\\n\\r\\r\\n\\n\\na\\r\\na\\n\\r\\r\\n \\na\\na \\r\\r..\\nb\\n\\r\\r\\n\\r\\n\\n.\\n.\\n\\nabb\\na\\n\\r\\n. \\r\\n.a0\\n\\r\\rb \\n0\\r \\n\\n\\raa\\nb\\r.\\ra.\\r\\rbb.\\n\\n\\r\\r .\\nb \\rb\\r\\n\\r0\\r\\n0\\na\\n\\n\\n\\n\\r\\r\\r\\r\\r \\r\\n\\rb\\n..0\\r\\r \\r\\nb\\ra  . a.\\n\\ra\\r \\n. b\\r\\r\\r\\n\\na\\n\\raa\\nba\\n\\r 0.\\n\\r  \\n\\r \\n\\r\\n\\r.\\r\\r.a\\n\\na\\rb\\n.\\nb\\r0\\r\\n .a\\naa\\n\\n\\ra\\n.\\n\\n\\n0\\r\\n \\n\\n \\n0.0\\r.\\r\\r0b b \\n\\na\\r \\rba.\\n00\\r0\\n0\\r\\n..\\r\\n.a\\r0b\\r\\r\\r0\\r  \\r\\n.\\n \\n\\r.\\r0\\n\\n\\n \\r\\n\\r\\nb\\r\\nba b\\n\\n \\r\\naa\\na\\r\\nb0\\r\\r0.0abb0\\n \\n.0b\\r\\r\\n\\r\\n\\r\\n.\\n.\\nb\\n\\n\\r \\r.0aa\\n\\na\\r.\\n\\r\\n.\\ra\\r0.\\r\\n.b 0 \\ra\\r\\n\\r\\r .\\na\\r0\\r\\r\\r\\n\\n\\r\\rb\\r\\n.b\\n\\r.a\\r\\n.0\\n\\r\\r\\n\\r\" 58816)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.660208218+00:00","status":"failed","tests":13,"discards":0,"time":"263us","error":null,"tool":"crabcheck","counterexample":"(\"b \\r\\nabb\\r.\\r \\rb\\n\\n0\\r.\\n \\n a. .\\n\\n.\\r\\n\\r\\nb\\r0.b..\\n \\n \\r.b 0a\\n\\n\\n 0\\r\\n.\\n\\n\\r\\r\\r0b\\nba\\nb\\nb\\r\\r0\\n\\n.b\\nb\\nb0\\r0\\r\\n0\\r  \\r.\\raab\\n\\n\\r\\r\\ra.a. .0\\na\\n.0\\r\\nb\\n\\n\\n\\n0\\n\\r \\r\\nb.\\r \\n\\n\\n.\\n\\rb\\ra.a\\r.\\r0b0\\n0..a.\\n\\n0 ab..\\r\\r0 \\ra\\ra.\\n\\r0\\n00. 0\\nb\\r\\rb\\r\\r00\\r\\r0\\n\\ra \\na0a.\\r\\nab \\r\\r0b\\n\\r  ba\\r\\r0\\r0\\r\\n\\n\\n\\n\\ra \\n\\n0.0a\\r\\n0  \\nb\\r \\r\\n\\n\\r\\n..\\r\\n\\r\\n\\r\\n\\n0\\rb.a\\r\\n\\ra\\rba\\n\\n\\r\\r\\rb\\r.\\r\\r\\na\\n\\n \\n\\n\\n\\n 0\\r\\rb\\rb\\r\\n\\n\\n\\n.a\\r\\n\\n.\\na\\n0 . \\n\\r\\n\\r\\n\\r\\r\\r\\r\\n\\n\\r\\n \\n\\n. \\r\\n\\r\\n\\n\\n\\ra\\rb\\n\\r\\nb\\raa\\na\\n\\n\\rb\\ra \\rbb\\r.\\n0\\r\\r0 \\n\\n\\nb\\r\\n\\r\\nb\\r\\n.\\n.\\r\\r\\n \\r\\r\\n\\n0 \\r\\n\\r\\r0.\\n\\r\\n\\nb\\ra\\r\\nb00\\n\\r0\\r\\n..b\\r\\n\\r\\n \\nb\\ra\\n\\n\\r \\n\\rb .\\n  \\n 0\\n\\n\\na.\\ra. \\nbaa.\\r\\r0 \\r\\n.\\n0a\\n\\r0\\n..\\n\\r\\r\\na.\\n.\\n\\n \\na \\r\\r. 0\\n\\r0a\\rb \\r\\r\\n \\r0\\n \\n0a \\r\\n\\naaa\\r.\\r0\\n \\r\\n\\r\\n\\rb\\n\\na. \\r\\r\\raa\\r\\n\\r\\r\\r b\\n\\r\\ra \\r\\r\\n\\r0b\\r\\r.\\n0\\n\\n.\\n0b\\ra\\nba00\\n \\n \\r 0.\\r.\\rb0\\n.bb0b\\r. \\r\\nab0ba\\n0\\n0\\rb\\r\\na\\r \\n\\r0a\\r\\r.a\\n\\n\\n 0.\\n. a\\n\\r\\n\\n\\r\\nab.\\r.a\\rb\\r0\\n0\\n\\r\\n\\nb.\\r0\\n0.\\r\\r\\n\\rb0a0a\\n\\nb\\n.\\n\\n.  \\r0.b  \\na\\n \\r\\n\\n.\\n\\r\\rbb.\\ra\\nb0b\\nb\\n0\\n\\r\\n\\r\\ra\\nb\\r0\\n\\ra00\\n.\\n.\\r\\n\\r\\n0 \\naa\\n\\r\\r0ab\\na\\r0 b\\r\\nb\\r0\\r\\n..b\\r0 \\r0a\\n\\r \\r\\rb\\n b\\n\\ra \\n\\n\\r\\n.\\r\\ra.\\n\\r0. 0\\n\\r\\n0\\ra. .\\nb.b\\r\\r\\n\\r\\r\\n.\\n\\r\\nb  0\\n \\r.\\r\\n\\rb\\r\\rb\\rb\\n\\n\\na \\na.0\\r\\n .\\r0\\na\\r\\n\\r\\r\\n\\n0\\r\\n.\\r\\n\\r\\r\\n\\n.\\r.\\n\\n0\\r\\r \\n.\\r.\\r\\na.0\\na\\ra\\r00\\ra \\n\\nb0\\nbbaa\\n\\r\\n\\n\\ra\\rab0bb\\n.00a\\rbb\\ra\\r0\\n \\nb0b\\r\\r.\\n \\rba\\nbb\\n\\n0ab0b0\\r..0\\r\\r\\ra\\r\\n\\r\\r\\n\\r\\r\\n\\n.\\n \\n\\r\\r\\n.\\na\\n.\\n\\r\\r\\n\\rb\\r\\n\\rb\\r \\n\\r..\\n\\n0\\na\\ra\\n\\r  b\\n\\n0\\n0\\r\\n\\r \\r.b.\\r\\rbb\\r\\n\\n\\r\\n0\\r\\r\\ra\\n0\\r\\n0\\r...\\n\\r\\r\\nb\\r0.\\r\\n\\r0\\ra\\r0\\r\\r\\r..\\n\\n\\r\\r\\n\\n\\r\\n\\n .\\r\\n\\n\\r\\r\\r\\n\\na\\rb\\n \\n\\r \\r0a\\n\\r\\nb \\r.\\r ba\" 1804)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.661639806+00:00","status":"failed","tests":13,"discards":0,"time":"276us","error":null,"tool":"crabcheck","counterexample":"(\"..b\\n 0\\n\\n0\\n\\n\\n.\\n\\r b\\r\\r0\\nb\\naa\\n\\n\\n. \\n\\r\\r0a\\n\\r\\n 0 .0\\n\\r\\r\\ra\\r. \\r. 0\\n.\\r\\n.\\n\\n\\n\\r\\r\\na\\n\\n\\nb\\r0\\n0\\r .0\\n\\nb\\n\\r0\\r\\n.\\n\\r0.b.a0\\n0b\\n\\n\\n\\n\\r0.\\r \\n\\n..0\\n\\n.\\r\\r\\r..\\r\\n\\n0 \\r\\na0\\r\\r\\nbb\\r \\r  a.\\n\\n \\r\\nbb\\r\\n\\n b\\n.\\n\\n\\n\\r \\r 00\\n \\ra\\r\\r\\rba\\r\\rb a\\n. \\n0\\n\\n\\n\\n\\r\\r\\r\\r\\r\\r0b\\n \\n \\r\\n0\\r\\ra\\n.0. bab\\na\\n.0\\n 0\\rb\\n\\rb\\r\\r\\r\\n0..\\r\\n\\r\\ra\\r\\rb\\n\\r .00  b\\r\\n\\r\\r\\r\\n\\n\\n0\\na\\r\\r \\r\\r\\n\\n0\\n \\rbb\\r\\r\\n\\r00\\r\\n \\n\\n\\na00\\n\\n\\naa\\nb\\na00a\\n\\r\\n\\rb\\n\\r.ab\\n\\n.a0\\n\\n\\na\\n\\n0\\n\\n0\\r\\ra\\r.\\r\\n 0\\r\\n\\r\\n\\n \\n\\nb\\ra\\r .0\\r\\na.0\\n0 0.0\\r\\n\\r\\naba\\r\\na0\\r \\r0\\n\\n\\r.0\\na.\\n\\r\\n 0\\r\\r\\n\\r\\n\\ra\\rb\\nb.\\r \\n\\r ...\\r \\nb.a.\\n0 0\\r\\nba\\n.0\\n\\n\\n\\r.\\n.\\rb0\\n\\r\\r\\r  b\\n.\\r\\n\\r0\\r0.. \\n\\rb\\n\\r\\n\\n\\n0\\r\\r0\\rb0\\n\\ra\\r\\r\\ra\\na\\r\\n\\r\\n0\\n\\ra\\r\\n\\r\\na.\\n\\r \\n\\r\\nb\\n..ba\\n 0 \\r\\n\\r.\\r\\n.\\n\\r\\r\\r0\\r\\ra0a\\n\\rb\\r\\r 0ba\\ra0\\n\\rb0\\r\\n\\n\\ra\\r 0\\n\\r\\r \\r\\n0\\r.\\r\\r\\ra0\\n\\r\\n\\n.\\rb\\n 00.\\n0.\\r0\\n\\n\\r\\n\\r\\r\\r bb\\r \\n\\n0b \\r0\\n0abba0\\r\\n\\nb\\n.\\r\\n\\n \\r \\r\\n\\n\\n\\n.00..\\r\\n\\n\\ra\\n.a\\n.\\r\\r\\na\\n\\nbb\\nb.0a\\n\\r0\\r\\na\\na\\r\\r.\\r\\n\\n\\na.a.\\r\\na\\na\\n\\n\\n0 a\\ra\\n0\\r\\n\\r\\r\\r\\r\\r\\n\\r\\n \\r\\nb\\r\\r0\\n0a\\r\\r\\n\\n\\n\\n \\n\\n\\r \\n\\n..\\r\\nb.\\ra\\rb\\n0\\n\\r\\r\\n\\r\\n\\r\\r\\r.\\na\\n\\n\\nb.\\r\\r\\n\\nba.\\r 0\\n\\n  \\r b.\\r.\\nb\\r\\r\\na\\n\\n\\ra\\na  .\\rb \\na\\na\\n. \\nb\\r\\n\\r\\r \\r\\r0aa..\\rb\\n.\\rba\\nb\\rb\\r\\r\\n \\r\\r\\r.a\\r\\r..b\\n \\r\\r.a\\n\\na\\n\\ra\\n\\n\\r\\r\\r.\\n\\n\\n0a.a0\\r\\n\\r\\n\\n\\r\\raba\\r \\r0\\n\\n\\r  \\ra0\\r\\n \\ra\\n.\\rb\\n\\n.bb\\n  a0b\\n\\na\\r.\\r\\ra\\n0a.\\rb\\na\\n\\n\\r\\n\\n\\r\\r\\n\\r\\r\\na\\r\\n0\\raa.\\n 0\\n...\\n\\ra\\n\\r00\\r\\r.\\r\\r\\r\\n \\n\\r\\rab\\nbb\\rb. \\r\\r\\r\\n\\n\\n\\n\\r\\n\\r  \\n\\n\\n \\r\\ra\\n\\rb\\n\\n\\r b\\n\\n\\r\\r0a\\r \\r0.\\n\\n\\n\\n\\r\\n..\" 25159)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.662996498+00:00","status":"failed","tests":47,"discards":0,"time":"659us","error":null,"tool":"crabcheck","counterexample":"(\"\\r0aa\\n\\n\\r\\r 0\\na\\n\\r\\n\\r\\r.\\r\\n b\\n.\\n\\r\\n0\\r0\\n\\r\\ra 0\\n\\r\\raab.0\\n\\nb0\\r\\n\\n.\\n0a.a00b\\rb\\r\\r\\n\\rbaa\\n.\\na\\n\\r\\r\\r\\n\\r\\r\\n\\r\\r\\n\\rb \\r.b\\r \\nb\\r\\r aa\\r\\n\\r\\n\\n\\n\\r0a\\r \\n\\r \\n\\n\\rbb \\n\\n\\r\\ra\\r\\n\\r.0\\n\\n\\r\\n.\\n 00 a\\r\\na0\\na\\r0\\rb\\r\\r\\r0\\n\\n0ba ba\\n\\n\\r0.\\n\\ra\\r\\n\\r\\r\\n0.\\r .aa\\n \\r\\na\\r.\\na\\n\\n.\\r.\\r.\\r\\r\\r0\\r0b\\n\\n\\n0\\r\\na0b\\r\\na.b0\\r.b\\r\\r\\r \\n b\\r\\n \\ra\\ra\\r\\n.\\r\\r\\ra\\r\\n\\r\\rb\\n\\r\\r\\n\\n\\n\\r\\r\\r\\r\\r\\n\\n\\n\\n\\r\\r\\n\\r\\n\\n\\r.\\nb0\\r\\r\\rb.\\n\\n.bb\\n\\n \\r.0\\n\\n\\n\\r...0\\na\\r\\rab  .b\\n\\r\\n\\r\\n \\n\\rb\\n a\\r.\\n.\\n0a0\\n\\ra0\\n\\r0ab\\n0b ..\\n.b \\n\\n\\na. \\naab\\n\\n\\ra..\\r\\r bb\\nb.\\r.0\\r\\na0\\r.\\r\\n\\n\\na\\n\\r\\n\\rb\\r\\n\\r0 \\n\\n\\n\\n\\n\\n \\n .0b\\n\\n\\r\\n \\r\\r\\n \\n\\n\\ra \\n.\\r\\r\\r.\\n0\\rbb\\r0\\nb\\n \\ra\\r\\n\\n.0 .\\n\\n\\nb\\n\\r\\n\\r\\na \\nb\\na\\n a\\rb\\na  \\rb\\r\\r0\\n.\\n \\n\\n\\nb \\rb0\\n\\na\\r\\ra\\r\\n.\\rb.a.\\r \\r\\n\\na\\n\\r\\r\\r\\n\\n0\\r\\r\\n  bb\\r \\r. \\n\\n.\\r\\r\\n0\\r\\r\\rb0\\r\\n\\n\\r\\n\\r\\r.\\n\\ra..\\r  \\n\\n\\n\\n\\n\\r\\n \\r\\ra.\\rb\\n\\n \\n\\n\\naba \\r a\\n\\r0aa\\r\\n\\n\\r\\r\\n\\n\\r\\r\\r\\r\\n .ab\\r\\nb\\n\\nb\\r \\n\\n \\n\\r.\\n\\r\\n 0bb\\na.\\n\\r\\r0\\n\\r\\r\\r\\n \\ra0.a.\\rb.a\\n .\\n\\r\\r\\na.aab.\\n0b0.\\n \\n\\n\\r\\r  \\n\\n\\n. 0 a\\r\\n\\r\\n\\n\\rb\\r\\nb \\r\\r\\n\\rb\\na.a\\r\\r\\r\\r\\n\\r\\n \\ra 0b\\r\\r .\\n.\\n\\n\\rb\\r\\n...\\n a0.a\\r\\n\\r a\\r0..\\r\\n0  0\\r\\n\\na.\\r\\r\\r  b\\n\\r\\na0\\r\\n\\n\\n\\n\\na b\\n. b.a\\r\\r.\\r\\n\\n\\r\\r\\r\\r\\n\\n\\na\\n\\r a\\r\\r\\r \\n0\\n \\r0a0\\n \\r\\r\\n\\r\\na \\na\\n\\n \\r\\nb\\nb\\n0\\rb00\\rb.\\r\\n\\n\\r\\r\\n\\n\\r\\n .b\\n\\n\\n\\r\\r\\rba\\n\\n00\\n00\\r\\n\\n\\r.\\r\\n\\n00 a\\r\\r\\n\\n\\n.\\n\\r\\r.b\\n\\rb \\n\\nb.\\r.\\r\\r a\\r\\n\\n.\\r\\r.a\\raa\\n\\n\\n \\n\\n  \\rb0a\\r\\rb\\ra0\\n\\r\\n\\r\\r\\n\\n\\r\\r\\n\\r 0\\na.ab\\n \\n.a\\r\\n\\n\\r.\\r\\n\\r\\na\\r \\rb\\n\\r\\r \\n\\r\\r\\r\\n\\n\\r\\naa0b\\r.a  \\n \\rb\\n\\r\\r b\\r\\r0ba\\n\\rab\\n\\r\\r\\r\\r 0\\n\\ra.\\r \\n\\r\\nb\\nb\\n\\r\\r\\nbb \\n\\r\\n\\r a a\\n.0\\n  \\n\\rba\" 3852)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.664811175+00:00","status":"failed","tests":47,"discards":0,"time":"669us","error":null,"tool":"crabcheck","counterexample":"(\"\\n0.\\n0\\n\\n\\n\\n\\n\\n\\nb \\r \\n \\r0.\\n\\nb\\n\\na\\r \\n \\n0b. \\n\\n\\n\\r\\nb0\\n.\\n\\r\\r0\\n0\\r\\n\\nb\\r\\n\\n \\r\\nb.\\n\\n\\n  .0\\nbbb\\r\\n.\\nb\\r.\\r\\n\\n.\\n\\n.\\ra\\n\\n0\\r\\r\\n\\n\\r \\nb\\n\\n.a0\\r\\r\\r aa\\r\\r0 \\r\\r\\n\\n\\nb\\nab.0bb0\\r\\n00\\n\\n\\n\\nb\\r\\n a\\r\\r\\r0\\na\\n\\r\\n\\nb.\\r\\n\\nb\\r0a a\\r\\n\\n\\r 0b\\r\\r0.\\nb\\r\\n\\r  \\r.\\r\\n\\n\\r\\n\\r\\raa\\r0aa \\r.ba\\ra \\n\\n\\n\\r.\\n..\\n\\nbb\\r \\n\\r\\n\\r\\r0\\n \\rb\\r\\r\\r\\n.\\r0\\r\\ra\\n0\\r\\n\\r\\n\\n\\r\\r0a\\n\\r0\\r.\\rb\\na\\ra\\r0b\\nb\\r\\r\\rb\\r0aba\\r\\n\\n .\\r\\n\\na\\n \\r\\r\\n\\n.b\\na\\na\\r\\r\\n\\n\\r\\n\\n. \\na.a\\r\\r\\n\\r\\n\\n\\r\\r\\n\\na .. b\\r\\n.\\r0 \\r\\n\\r\\r\\r\\n\\r\\n\\r\\n\\r\\r.\\r\\n\\rb\\n0\\raa\\n0 ba\\n\\r0\\n\\rb\\r\\r\\n   \\r0\\r0...\\n\\n ..b0b\\n .\\r\\r\\nb \\r\\n\\r\\n\\rb0.0bb \\r\\nabbbbaba \\r\\r\\na\\n0\\r \\nb 0\\r \\r .b\\n\\r\\r\\n\\r\\n0\\na\\n\\n \\n\\r.\\n.b\\n\\rb \\n\\r \\rb 0a\\r00\\n\\n\\n\\r\\n\\n \\rb\\r\\ra\\r\\rb\\n \\ra.\\n\\n\\n\\n\\n\\n\\n\\rb\\n \\n.\\r.\\r \\r\\r0.\\n\\na \\r0\\n\\rb\\n\\nb\\n0\\nb.a\\ra\\n  \\n\\n\\n.\\r\\r0\\r\\n\\n\\na\\rb.\\r.\\ra\\r.\\nb0\\n\\n\\r\\r. \\n\\r\\r \\n\\ra.a\\n0\\r\\nb\\rba\\r \\rb\\r\\r\\n\\n\\r0..0b\\r\\r\\na.\\n\\r0\\r\\n\\n\\n\\r\\r\\n\\n\\na\\r\\n\\ra\\n  \\r b0.a.\\nb.a\\n.\\r\\r\\rab\\nab\\n\\n.\\ra\\n .\\r\\naa.0\\na\\n\\nb \\n\\n.0\\r\\n\\ra\\n\\n\\n\\r\\r\\n\\r. .\\n\\r\\rb\\r\\r\\n\\r.a.\\r\\n\\n.b\\n \\n\\n\\r\\n\\r \\r\\r\\n \\nb\\rb \\r. \\r.a\\raa\\nb\\r\\r \\nb\\r\\n\\r\\r\\r\\n\\nb\\n\\r\\r \\ra0b\\r.a\\r\\n\\n\\r\\na\\r\\n\\ra0a\\r\\n..\\n\\r0\\r ba\\r\\r\\r\\n\\n.\\n\\na\\rb\\n00 \\r  .\\r\\r\\r\\n\\r.\\n00\\n\\n\\r\\n.0\\r\\rb\\n\\r.\\r.\\n.\\n.\\n\\n0\\r\\r..\\r0b\\ra \\rb\\rb\\r\\n\\n\\n\\r\\r\\n0ab\\n0\\na\\r\\n\\n\\nba\\r.\\n\\n\\n\\n.0b\\rba\\r\\nb \\r \\r .\\n \\r \\n\\r\\n.0\\r.\\n.\\r\\r\\n\\r\\n\\n.\\n\\n\\n a\\r\\r\\nb \\n\\na\\n \\r\\r\\r.0\\nba.\\n\\r \\r\\n\\n.\\rb\\n\\r \\na\\n\\nba\\r\\r.\\r\\r\\n\\n\\n0a\\n\\n\\r..\\r\\r\\n\\r\\n.\\ra\\n\\nb\\r\\n\\rb\\rb\\n0\\ra.\\r\\n 0\\n\\naa.\\n\\nb\\n0 .b\\r\\r\\nb\\n\\na\\n\\na\\r\\r \\r0\\r\\r\\r\\n\\n\\n\\n.\\r0\\n\\r \\r\\r\\rab\\r\\r\\rb\\nab\\n\\n \\n\\rb\\n \\n \\n.\\r\\r b0\\r\" 42717)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.666647166+00:00","status":"failed","tests":67,"discards":0,"time":"942us","error":null,"tool":"crabcheck","counterexample":"(\"\\n.0\\r\\nb\\n\\na.a\\n\\ra.b\\rb\\r.\\n00 \\n\\rbaa\\nb.\\r\\na\\n0\\n\\n\\rb b\\n\\r.\\n\\ra\\n0b\\r  0\\n\\n \\n\\r \\n\\r.\\n\\nb0\\n\\n0\\na\\r\\n\\n..\\r.\\rb0\\n0\\r\\r0\\n0\\ra\\n\\r\\n\\ra\\r0.\\n\\r\\n\\ra  \\nba\\n\\n a\\r.\\r\\r\\r.\\rbab a\\n \\rb\\r\\r\\n.0.a a\\r\\n\\ra\\rb\\r\\n\\n\\r\\r\\n\\n\\r\\r\\nab\\r\\n b\\n\\nba\\n.\\r a.b\\r\\nb\\n0\\n\\r00\\n\\n.\\r\\n0\\nbb\\nba\\n\\n \\n\\n\\n\\ra\\n\\n\\r\\n\\r\\n0\\n\\n.\\r.\\n\\r\\n\\r\\n\\n  b\\n\\r0\\n\\n 000\\nb\\n.\\n\\n\\r a.\\r\\r\\n\\r\\r\\ra\\n\\r\\r\\n\\n.\\n0\\r .\\na\\rb\\n \\n\\r\\r \\na \\n\\ra\\r\\r \\nb\\r\\n\\n\\r\\n\\n\\n\\n\\r\\nab\\na\\rab\\ra\\na\\r\\rb..\\nb\\n .\\r\\r\\n\\ra\\r\\r\\n0abb\\r\\n0 \\nb\\r\\r\\r\\r\\n aaa\\nb0 .\\n\\n\\r.\\r\\n \\r\\n\\n\\n\\r\\n\\r0\\nb\\n\\r.\\n\\r\\n \\r\\nb\\na.a\\n\\r\\r\\r\\n\\n b \\ra..0\\rb\\r \\n\\r\\r\\n0\\n.\\r00\\r\\n\\r\\n\\n\\n\\n.a\\n.b\\n00\\raaa\\n\\raa \\r\\r\\r\\n0 \\n \\n0\\n\\n\\r0\\n\\r0\\n.a\\n\\r . b\\r\\raa\\n\\n\\rb\\r.\\n0 aabba0\\n\\r\\n0\\n \\n0\\r\\n\\r.\\r..0 \\r\\r\\n\\r\\r\\ra\\r\\rb\\n 0\\r.\\n\\n00a\\r\\n0\\n\\n\\na\\nb\\n.\\r.00\\n \\r\\n0\\na\\n\\n\\n\\n.b  \\n\\n\\n \\r\\r\\n\\r a\\nb\\n0\\r\\r\\n\\r\\nb\\r\\r0\\nb\\n\\r\\n0..a\\r\\r0\\r\\rb\\n \\nb0\\r\\r\\r.b\\nb\\n\\rb\\r\\n\\na.\\n.a\\ra.\\nb.\\r\\r\\r\\na\\rb\\n.\\r \\n\\nb00 0 a0\\n\\n0\\r.0\\n\\r\\n0\\r\\n\\n.ba \\n00\\r\\n b .0\\n\\n \\n\\n \\r.0\\n\\n \\n\\r\\n\\nb\\r\\n.\\r0.0a\\r\\n \\n.a\\n\\r \\n\\r0.b.b\\n\\r \\nb\\r0aa\\r\\na\\n0a\\nab\\n\\n \\n\\r.b\\r \\n\\n \\r\\r\\r\\n0.\\n\\n  b 0 \\r\\n .\\rb\\n\\nab\\r.\\n\\r\\n\\r..\\r0\\r\\r \\r\\n.\\n..\\n\\r\\na\\n\\nb\\ra0\\r\\r\\n\\nb\\n\\n0a.\\na 0\\rb \\r\\rb0b.\\n\\rb\\n\\n \\n\\rb\\r\\ra\\n\\nbb.\\r\\r\\nb\\n\\r.\\r\\r\\r\\nb\\r\\n\\n\\nab\\n\\n \\r\\nb \\n\\n\\n\\n0. 0\\n\\na \\n  ba\\n\\n\\r\\n\\r.000\\na.\\r\\r\\nb\\r\\n \\r.\\r\\r.\\n\\r0\\ra\\ra\\r\\r. 0\\n\\r00\\n\\n0\\n0.\\ra0\\n0\\nb \\r\\n.\\n\\n\\r\\r\\nb\\r\\r\\n \\n.0\\n\\r\\rb\\n\\r\\n\\rbb\\nba\\n\\n\\r\\n\\r \\n.\\n\\n0\\r\\r\\n \\r\\r\\n\\r00 \\r.0\\r \\r\\n\\rb \\r0\\r\\n0\\n\\n\\n\\r\\r0.\\n \\rb00b\\r\\n..\\n\\n\\ra\\n\\r00\\r\\r0\\n\\r0\\n\\n\\n\\r\\n\\r\\r\\nb\\rb..a.0ab\\r\\r\\nb0\\nbbb0b\\n\\r\\n\\ra\\n\\n\\r\\r\\n .\\ra\\na\\n .a\\r\\n\\n\\n\\r\\na\\n\\nb.\\n \\n\\r\\rb. \\r\\n\\ra b\\r\\r\\r\\na\\n\\n\\r\\n\\n\\r\\n\\n..\\n\\r \\n\\r \\n   \\r\\r \\r\\n\\n \\n\\n\\r\\r b0 \\n\\r\\rab\\ra bb\\r0\\n\\r\\nb\\r.\\r\\r\\r \\r\\r\\n\\na b\\r\\r\\n\\r\\n\\n\\r\\nb\\n\\r\\r\\r\\n\\r \\n\\r\\r\\n\\n\\r\\n.ab0\\n.\\n\\n\\r\\n\\n0a\\n\\r\\n \\n\\n\\r\\rba\\r\\n\\n\\n\\r\\r\\rb\\ra\\rb\\na\\n\" 2357)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.668711751+00:00","status":"failed","tests":78,"discards":0,"time":"1111us","error":null,"tool":"crabcheck","counterexample":"(\" a\\n\\n\\r. 0\\r\\ra\\n 0\\n\\n. \\r\\n\\n\\r\\r\\r\\r\\na\\n\\n0.\\n\\r.\\n  \\n0 \\rb\\r\\r\\r\\r\\r 0\\na\\nb\\na\\rb\\n\\r\\r\\r.\\n\\r\\n\\n  \\r\\n\\n\\ra\\n\\r\\n.\\n\\n\\n ab0 bbb.\\ra\\r\\n0\\rb\\n\\n0.ab \\n \\n\\n\\n\\n\\r. \\nab\\rabaa0a.\\n\\rba\\r.\\r.\\n.b 0.0.\\n.\\ra\\rb 0\\n\\rb0 a\\r\\r\\r \\n\\n0\\n.\\r\\n .\\r\\n\\r\\r \\r\\r\\n0b\\r\\n\\r\\r\\n\\r\\n0.b\\n0\\r\\r\\n\\n..\\n.\\n \\n\\r0\\n\\n\\r\\n.\\ra\\n.\\r 0\\r . \\n\\n\\n\\n\\r0\\n\\r\\r \\n\\r\\r\\r\\n.b\\n\\r.\\n\\rbba\\r\\r\\r 0\\nb0\\ra\\r\\n\\r\\r\\rbbb\\r\\n\\r\\r\\r.\\r\\n\\r ba.\\r\\r\\rb.\\r\\n\\n\\r\\n\\r  0a\\n\\r \\r\\n0\\n\\n\\r\\ra\\nb\\r\\n.\\n\\r \\r\\r\\n\\n0\\n\\r.\\n \\n\\n\\n.\\r\\rb\\nb\\n \\n\\rb.a\\r\\r\\n.\\r\\r\\na\\n\\r\\ra\\r\\r\\r\\r\\r \\r\\nb\\r\\r\\r \\r0\\n a\\ra..ab\\n\\n\\r\\n\\n\\ra\\n..\\n\\na\\n\\n\\n. \\r\\nb\\r\\r.\\n0\\n\\n\\n\\n\\n .\\nb\\n\\r\\r\\r.\\n\\naa.\\n\\rb0. 0 \\rab\\naaa\\n 0.\\r\\rb\\r\\n\\r0\\r .babab0\\r0....\\r\\n\\r0\\rb\\n.\\n0\\n\\rba0\\n .a.\\n\\ra0\\na\\r a \\r\\r\\n\\n0\\r\\rb\\n \\n0\\r\\r\\r\\n.ab\\r\\r\\n\\n \\n\\r\\r\\nab\\r\\n \\n \\n\\rbb\\r..b\\r0\\n\\n\\n\\n\\r\\na\\r\\r\\r\\n\\rab0b0.\\n\\n\\rb\\n\\r.bb\\r.\\rb\\r\\r..b\\n\\r\\n\\r\\n\\r\\r\\r.\\n\\n\\n\\r\\n\\n\\r\\n\\n\\n\\n.\\r\\r\\r\\naa\\n.\\n\\r \\n\\na\\r\\r aa\\r\\n\\r\\r.\\r.0ba\\rba.\\na\\n\\r\\r0\\na\\r0.b0b\\nb \\n\\n.0\\r\\n0\\rbb\\n.\\rb0\\r\\r\\n\\rb00\\n\\n\\n\\na\\n0.bb\\n\\na \\r\\n b\\r.\\r0\\r\\n\\n\\r\\n\\n \\ra0.\\n.\\rb\\rb\\r  \\r0\\r0\\n\\n \\n\\n\\r\\nb\\n0\\n0\\ra0.b.00\\n\\n.a\\n0\\r\\r\\r\\r \\n\\r\\n\\ra\\r\\n\\n.a0 .\\na  \\na\\n \\rb\\n\\n\\na\\n\\n\\n.0\\n\\n\\r\\r\\r\\n\\n\\n\\r\\r  \\r\\r0\\r \\rb\\r\\n0ab  \\n\\r\\r\\rb0\\n\\r\\na\\n b .\\n.a ba\\r.\\n0 \\na\\n\\n\\n\\n...\\n0\\rb \\r\\rb\\n\\nb\\n\\n\\n\\na\\n.\\r\\n 0\\n \\rba.\\n.\\r0\\r 0.\\n\\n\\r0 .\\r\\n0a\\rb0b\\n\\r\\r0\\r\\r\\r\\n\\n\\r0\\n\\nb\\r\\n\\naa\\r.\\n\\rb\\n\\r0\\r0\\r\\ra\\r\\n \\r\\r0 0\\r\\r\\n a\\nb\\n\\r\\n\\n0b\\r\\r\\nb\\na\\n\\n\\r\\r\\r\\n bb\\n\\n\\r\\r0 \\na\\r.\\r0\\r\\r\\nb.\\r\\r\\r\\n\\n00  \\r \\n\\nb\\r\\n\\n\\n a  \\r\\r\\n\\ra\\n\\r\\r\\n000 bb\\na .\\n\\r\\r\\r\\r\\n.0\\n\\r .b \\n\\n\\na\\r\\r.0\\n\\rb\\r\\n\\r0\\n0\\n0b0\\n\\r0\\r\\n\\n  \\r\\n\\r\\r\\n\\r\\r\\rba\\n\\n\\n0a\\r\\r  \\n.\\r\\r\" 52110)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.670885736+00:00","status":"failed","tests":31,"discards":0,"time":"493us","error":null,"tool":"crabcheck","counterexample":"(\"\\n\\n\\r\\r\\r\\n\\n\\n\\r\\n0 \\r\\n \\n .\\r\\r \\r \\n\\r\\n\\r0.\\r.a\\n.\\r\\rb\\n\\n\\n .0\\naa\\r\\n\\r0\\r\\nb\\r\\ra0\\n\\r\\ra\\n.\\n .\\n.\\raa\\n  aaa\\r\\r\\r\\r\\n\\ra.0.\\n0\\r \\n\\nb\\r\\rab\\ra.0\\n\\n\\r.\\r\\nbb\\n\\r\\n\\n\\ra0\\rab\\n0\\n\\r\\r\\n\\n0\\n\\n\\n\\ra\\n\\n\\r\\r\\n\\n\\r \\rb\\na00 \\r\\n\\r\\ra\\r.0a\\r b\\n\\nba0\\n \\n\\n\\r\\n\\r\\n.\\r..0\\n b\\nb\\r..\\r\\r\\naa\\r\\n00\\n \\n\\rba\\n\\r\\n \\r\\r0\\nab\\na0\\raa\\n.\\r\\n\\n\\r\\n \\n0.b.\\n\\rb\\r  \\n\\n\\r\\n\\n0\\n\\n\\r\\n 0\\r00a\\r\\n \\r0\\r. \\ra0b.\\r\\r\\r \\r\\n\\ra\\rb\\nbab\\n a\\n\\r\\r\\r00a\\r.\\n\\r0b\\n\\r\\n\\rbaba a\\n\\ra\\r\\r0..\\n\\rb\\n\\n\\n\\n\\rbb\\n\\n\\n\\n.\\r\\r\\r0ab\\n\\n 0\\r \\na\\n b 0a.0.\\ra\\rb\\r.\\r\\n\\na.\\ra0.b\\n\\ra\\na\\ra.\\r0.\\ra\\n\\r\\r\\n0 b.\\r0 .b\\n\\r\\n\\r\\ra\\ra\\n0b\\r.a\\r\\n\\n0.b0.\\n\\r \\ra0b\\n\\n\\nb\\na\\r\\n\\n\\rab.\\na \\n\\n\\n\\r. \\nb\\ra.\\r0\\r.\\rab \\n\\n\\n\\na\\n\\r.\\n\\n\\n\\r\\r\\r\\n0\\n\\r0\\n0\\n\\r\\r00\\n \\r 0.a\\r\\n\\r\\r0\\n\\r\\n\\r\\n a\\n\\n\\r0\\n\\r  a0\\n. \\rbbb\\n\\r0ba.\\ra0b\\r\\n\\n.b\\r\\r\\na\\n\\r.a\\r0\\r\\r\\r0\\ra\\n0\\r\\r\\r\\n0\\r\\ra\\n\\r\\r\\r\\r\\r\\n\\r\\na b b...\\naa0\\n\\n\\r\\r.b0.\\n\\rb\\nb a\\n.b\\r\\n.0b.\\n0\\nb\\rb\\n\\n\\n.\\n0 0a\\n\\n.\\nb0\\n\\r\\n\\n\\r \\r\\r\\n\\n\\n\\r\\r0 \\n\\r\\r\\n\\r\\n0\\r0\\r0\\r\\ra0 \\rb\\r\\n\\n\\rab a0a\\r\\r\\n\\r .ab\\r\\n\\r\\r\\n\\r\\r \\n\\n.\\n\\r\\r\\n.\\r\\r.0b.\\n .\\r\\r\\nbb 0  \\n\\n\\r\\r\\r.\\n\\r\\r\\r\\nb\\nb\\n.b\\nb\\n\\rb0\\r0 \\n\\r.\\r\\n\\r.0\\r.\\n\\n\\r .\\nb\\r \\na\\n.\\r0.\\n \\r.aa\\r\\n\\n\\r\\n00b\\n\\r\\r0\\n.a  \\n\\n.\\n\\rb \\n\\r\\n.\\r\\r0.\\n\\n0\\ra0\\r\\n \\n\\n.0.\\r 0\\n\\r0a.\\r\\n\\r  \\n\\n\\r\\nb\\r 0.b\\n\\n  \\nb a.\\ra\\r\\n\\n\\n0\\r\\r.\\r\\r0\\n\\r00bb\\r \\nb.\\r\\n\\n\\n \\r\\r\\r \\r \\n\\n\\n\\n0\\n\\nb\\na\\r\\r\\n\\n\\r\\n\\r0\\ra\\nab0.0\\nb\\r\\r\\n.\\n\\rb\\n\\n\\r\\r\\n0\\n.\\n. \\r\\r.\\n\\ra\\n\\r\\r \\r\\r\\n\\n\\r\\n \\r a\\na.0\\r\\ra\\r\\r\\ra\\n\\n\\rb\\n.\\r\\r\\n 0. 0 \\r\\r.a\\r\\ra\\n \\n\\r\\r  \\r0\\r\\r\\r\\r\\r0\\n\\na\\r0\\r\\n\\n\\r\\na.\\n\\rbb0\\r\\n\\r ab\\r\\n.\\n\\r\\raa0\\nb\\n\\na.b\\r\\r\\r.0\\r\\r \\n\\nab\\r 0\\r.\\r .\\r\\r.\\r\\nba0\\n0\\r.\\r\\r\\n.\\n\\r00 .bbaa\\nb\\na\\nb.\\n \\r.\\n..\\r.b \\r.\\r\\n\\n.b \\r\\n \\r\\n0b0\\r\\n\\n\\nba\\na\\n0\\n0\\n\\r\\n0.\\r\\n\\r\\n\\r.\\n\\r0\\n\\rb\\ra00\\r\\r \\nb \\n0b\\rb \\n\\nb\\r\\r0\\n\\n\\r0\\nb a\\r0\\n \\r.\\n\\n.bbaa\\n\\n0..00.\\r0\\r \\n\\rb0\\rbb\\r\\n\\r.\\r.\\n0\\n\\r\\r\\r\\n\\ra0\\r\\n\\r0\\n\\n\\r\\r\\rb\\r\\r.\\r\\r\\r\\r.0\\r\\r0babb\\nb\\ra\\n\\nb\\n \\rabb\\r\\r\\r \\na\\ra\\n\\n\\n.\\ra0a\\r\\r\\n\\na\\r0a0.aa\\rba\\r..\\r bb.\\n \\n\\r\\ra\\r.\\n\\r0 \\nb\\ra\\n \\r\\r\\n.\\n.a\\r.\\nb \\r\\ra\\r0\\n\\r0 \\n\\rb.\\r\\na\\n\\n0\\r.\\n0\\r\\r.\\n\\r\\r\\n\\r\\r.a0 b0   \\r\\n0.\\r a\\rbb\\n\\r\\r.\\r\\r\\n\\r b0b\\r\\r0 \\n\\rbaa0\\n\\n\\r\\n\\nb\\rb\\ra\\r\\n\\n \\n\\r\\n \\nb. \\ra\\nb\\r0b\\rab  \\ra\" 5692)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.672534802+00:00","status":"failed","tests":39,"discards":0,"time":"593us","error":null,"tool":"crabcheck","counterexample":"(\". \\r\\n.\\r \\r\\n\\ra \\na0 \\ra\\n\\r0b\\rbb0\\nb.0\\n\\r.\\n\\na.\\r\\n \\n.a\\ra\\r\\n\\n\\n\\raa   \\r\\r00..\\na .\\n\\r\\r\\n..\\rb\\n0\\r a0\\ra\\n\\r..a\\r. \\r\\r\\r ba\\n0\\r0\\na\\r. \\n \\r00.\\rb\\n\\n\\r0b\\r.0\\n \\r0a .\\na .\\n.b\\r\\n0\\r\\r\\r0b\\n0\\ra\\n.\\n\\n\\nb\\n\\r\\n\\r\\n\\r\\n.a\\r0\\n.\\r0\\n\\n\\na\\r\\n0\\r\\n\\n \\n0\\rbab0..b\\nb.0.\\nb\\n0\\rbb\\n\\rb \\r\\n\\r\\r\\r\\n\\rb\\n.\\ra\\r00\\n0b\\n0 \\r.b a\\r0\\r\\ra\\n\\n0a\\n\\r\\n\\n\\ra00  \\r\\r\\n\\r \\r\\nb\\r.0\\na \\r\\r\\r\\r\\ra\\nb0.b00ba\\n000\\rb \\r0\\n0b.\\r\\n\\n\\r \\r.\\nb \\rb  \\r.\\r b.\\n0\\r\\r.\\r\\nb\\r\\r0\\n\\raba0\\n\\r\\r\\r0\\r0  \\n\\rab\\r\\n0\\n\\r\\n\\n\\r0\\n\\n\\r\\naa\\n\\naa\\r\\nb\\n\\n.\\n b\\r.\\r\\n.a\\r\\na.a\\r.\\n\\n\\n\\n0\\r\\n\\r\\n\\r\\r0a\\n\\n\\n\\n\\nb0 \\n\\n\\r.\\r\\n\\r.b\\r\\r .\\ra\\r\\n\\n\\r \\n0\\r\\n\\r0bb \\nab0\\n.\\r\\n\\r\\r0\\n\\r\\r\\n\\ra0a \\r\\r \\n\\n\\na\\n\\r\\n\\n\\na.\\r.b\\n\\r\\rb\\n\\r\\r0 .a\\r\\n.bb\\nb\\r\\n\\ra\\nb\\r\\r\\n\\raa\\r.\\n\\r  \\n\\r\\r\\r0\\r \\r..\\n0a\\n0b0\\r\\r 00\\n\\n b\\n\\n 0\\r\\n0 b\\n\\r\\n\\n\\n\\r.\\n a.b\\r\\r\\r.\\n\\r\\r\\n\\n\\r\\n.\\r \\n\\r.b\\n0\\rb0.  ..\\r.b\\n0\\raa\\rb\\n\\rb\\r0\\n\\r\\r\\na\\r\\n ab\\n\\r\\n\\n00\\r0a\\n\\r\\n \\r.\\r\\n\\n\\r0b\\n\\r.0 .0\\rb\\n\\r \\r b \\n\\r\\nb\\n\\r\\na \\r\\nb\\ra\\r\\n  \\r0 \\r\\n \\r  ab\\n\\r.\\n\\n\\ra\\na\\n0\\r\\r\\r\\n\\r.ba\\r\\r\\r\\r\\n0\\n a\\n.00b\\n\\n 0\\n\\r\\r \\n\\r\\nbb\\rb.\\n\\nb0a\\n\\n\\r\\n\\n\\r\\r\\r.\\n\\n \\r\\r\\naa\\n\\n\\n\\rb0 \\n0 \\rb\\n\\r\\r a\\r 0\\n0 \\r\\n\\ra\\n.\\n\\n\\n ba\\n\\r.\\r \\n\\nb\\n\\n\\n\\n\\nb \\n\\r\\r \\na b\\n   .aa.\\nba00\\r a\\n\\n \\r\\ra\\n\\nb\\r\\r\\r\\n\\na\\r\\n\\r0\\n\\n\\rb0\\n.\\r a \\r\\n\\n\\r \\n\\n \\r\\n.\\r.\\na\\rb\\n.\\r\\r ba0\\n\\r\\n.\\n0a .\\n\\rb\\r\\n\\r\\r\\n\\r .aa.a \\n\\n\\n\\r\\n.\\nba\\r.\\r.\\n\\nb \\r\\n\\r\\n.aa \\r\\n\\n\\n\\r\\n \\n\\n\\nb0 \\n\\r\\r\\na  \\ra\\n0\\nb.\\na a\\n \\r0a\\n\\n\\r\\r \\r\\n \\ra b\\r.\\r\\n\\r\\n\\n\\n\\r\\nb\\r0\\r\\rb\\na\\rb.\\r \\nb00b\\n\\n\\r\\r\\r\\n\\na\\rb.\\n\\r00\\r\\n\\n.\\n  b0\\n\\n \\r\\r\\rbb\\n\\n\\rb\\r0a\\n\\n  \\r\\r0\\r  a\\n\\r\\n\\n\\rbb \\r\\n\\r\\r.a\\r\\nba . \\r\\r\\n\\n\\r\\r\\rb\\n\\n\\na \\n\\n\\r\\n\\r. \\na\\n\\r\\n\\n.\\r.\\n\\r  b.0\\r0\\n\\r\\n\\r\\na\\r.\\r\\r\\r0\\r\\n a\\n\\r\\r\\n\\n\\r\\n\\r\\r\\n \\n.a\\r.\\n\\nb\\n\\r0a\\r\\n0\\n\\n\\n\\n\\r\\r  \\n\\nb\\n\\nb\\n0..\\rb\\n.\\n\\r \" 35836)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"crabcheck","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.674200123+00:00","status":"failed","tests":3,"discards":0,"time":"130us","error":null,"tool":"crabcheck","counterexample":"(\"b.\\r\\n\\r0\\n\\r0\\ra\\rb\\r\\r0 \\nb\\r \\r\\n b \\r. .a\\n\\rb.a\\r\\rba. \\n\\n\\n\\na\\rb\\r\\n0.\\n\\r0a0\\n\\r \\n.\\r \\r\\n0\\n\\r  .a.\\r0\\nbb\\r\\r\\nb.\\r00\\n\\r\\r\\ra 0.\\na\\nb\\ra\\r0.\\n\\n\\r \\n  .\\n\\r.\\n0\\n\\n0\\n\\ra\\na0.\\nb0\\n\\r\\n \\r\\n\\n\\r\\r\\n bb\\rb\\n\\n\\r\\ra\\r\\rb\\r\\r\\n\\n.\\n0\\n\\r\\n\\ra\\r\\rabb\\n\\n\\n\\n\\r.\\n\\rb00 \\na.\\n\\r\\n\\n.a...\\r\\nb\\n\\n\\r\\n\\n..b\\n\\n\\r\\r\\r a \\n.\\n\\r\\n\\r\\n0\\r\\ra\\r. \\n\\r\\n.a0 \\r\\r\\r..\\r0\\r0a\\n\\n\\n\\r\\n \\r\\n0.\\r0b\\r.0\\na.a\\r\\r00\\r\\r\\n\\n.b.b .\\n\\n\\r  \\n \\n\\n\\r\\n\\r b\\r\\r\\rb\\r.\\rab\\n\\r0a\\na\\r\\r\\r\\n\\n\\r\\r\\n.\\r\\r \\r.\\r\\ra bb\\rb\\r\\n\\n\\r\\r0.\\n0b a\\r\\ra\\n\\na0\\n 0ba. \\r \\na.a\\r \\r\\n \\r\\r.aa\\r\\n\\r\\rb\\r\\nba\\r0\\nb\\r\\ra\\r\\r.\\n\\n \\r\\r\\ra\\n.0a\\r\\r\\r0\\r\\n\\n\\n\\r \\r\\r\\n\\n \\r.\\r0ab\\r\\naa\\n.\\n\\n.\\n\\r.b\\na\\r\\n\\rab\\r\\r\\r\\r\\n0\\r.\\n\\rb\\naa\\nb\\n\\n\\nbaa \\r\\n\\rb\\n0\\nb\\n .\\r0 \\r\\na\\r\\r\\n0\\n\\r\\n\\r \\r0.\\r\\n\\n\\r \\r a a \\r. \\r0a \\n\\n\\r\\ra \\r\\n\\n\\r \\na a.\\r00a\\n\\r\\nb\\r\\r\\r.b\\r\\n\\n..\\r.\\rb\\r\\r\\r\\rba\\r\\rba \\n.\\n\\r\\n \\r0.b\\r\\ra\\n\\r\\n\\r\\r\\r00\\r0\\nab\\n0a \\r..\\r\\n \\n.\\r\\n\\rba\\n\\n\\na0a. \\rbbb\\r\\na\\r0\\r\\n\\r\\n\\n \\n\\r\\n\\naaa\\n.\\r.a0\\r\\n .\\n\\nba00b\\n\\r\\r\\r\\r b0 a b0   \\r\\raa a\\n\\n\\r\\n\\r0\\r\\n\\n\\r\\r\\n \\nba\\n\\ra\\r\\r\\rb \\n\\n\\n\\n\\na.\\ra\\n\\n\\nabb\\nba\\r.a\\r\\r\\n\\n \\n \\n\\r\\n\\r \\r0a\\n \\r \\n0\\n\\n\\r\\n\\ra.a\\r...00\\r\\n\\n\\ra\\na\\n\\n\\r\\nb \\n\\r 0\\n\\r\\n\\r0\\n.\\rb.\\nb\\r\\nb\\nba\\n\\r \\n\\n \\n\\na\\n\\n \\n b\\r\\n\\r\\na.\\n\\n .0.ab 0. b\\r\\r0\\rb\\n\\n..\\ra\\n0b\\r\\n0a\\r0 \\n\\rb\\n\\r\\n. 0a\\n\\r\\r\\n\\nb\\r\\n\\n\\na  \\rb\\nb\\n\\r\\r. a\\r \\n.\\n\\r0\\r.\\n\\n\\n.\\rb\\na0\\rbb.\\r\\n\\ra\\n\\r\\r\\n\\r\\na\\r \\r\\n\\r\\r\\n.\\nb\\n\\rba\\ra 0b\\naa\\r\\n\\r.0\\r00b\\r\\n\\ra\\r\\r\\n\\n0\\nb0\\r\\rb.\\r\\r\\n\\n.0 0a\\r \\n\\rb 0\\n\\r\\rb\\n\\rb.0bab\\nb\\r\\n\\n.\\r\\n\\n\\r\\n.\\n\\r\\n b\\n0\\n0.aa0\\r \\r\\rbb \\nba\\n\\r \\r\\r\\r\\r \\r\\n.b.a\\rb\\n\\naa\\n\\r.\\n\\n.\\r\\r\\n\\na\\ra0\\ra\\n\\r0\\r ..\\n\\n\\rb\\n\\n\\rb\\r\\r\\n\\r\\r \\n\\n  b\\r\\raa .\\r0b.b\\r.\\na..\\n\\n\\na\\n\\n\\n\\n0a\\nb\\r.b0\\n.b\\rb \\r\\n.b \\n\\r\\n \\n\\n \\r\\n.\\n\\n\\r\\r\\r\\na\\r0 \\naa\\n\\n\\r \\r \\n .0a0\\n0b\\n0\\r\\r00a\\r\\r\\n\\n.\\rb\\r00\\n\\r\\r\\n\\naa .abbaa.a0\\r\\n\\r.\\n0\\r\\r\\n\\n\\r\\n\\r a0a\\n\\n\\r0\\n\\n\\r0\\r\\n\\r.\\n\\r\\n\\n0\\r\\r\\r\\r..aa\\n\\n\\r\\r \\ra .b0\\n a\\na\\n    0 \\n\\n\\r\\r\\n00 \\n\\r\\r\\r\\r\\n\\n\\n\\na\\raba0\\n\\n 0\\na.a0b\\r \\r\\r.\\r\\n\\r\\r\\n\\n\\n\\n \\n\\naba\\n\\r\\n\\n0\\rbb0\\r\\r\\r\\n0\\n0\\nbab\\n\\na\\r\\n0\\r\\r\\n..bb0\\n\\n\\r\\n\\n\\n\\n \\n\\r\\nb\\n\" 29536)"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}
{"data":{"experiment":"ci-run","workload":"ropey","language":"rust","strategy":"hegel","property":"SliceCrlfLenLines","mutations":["slice_crlf_split_end_info_8699de0_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:05:46.676178887+00:00","status":"timed_out"},"hash":"4092afb2ec6765af09f8002038c47bc0e49d8dc6"}