{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.342195831+00:00","status":"failed","tests":1025,"discards":0,"time":"2089us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 120, 50, 68, 22, 29, 8, 8, 62, 123, 121, 61, 10, 117, 7, 75, 126, 59, 105, 38, 201])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.345700257+00:00","status":"failed","tests":1025,"discards":0,"time":"5321us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 22, 89, 51, 107, 48, 14, 121, 69, 89, 43, 53, 72, 49, 73, 55, 114, 18, 78, 43, 126, 84, 18, 69, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.352083904+00:00","status":"failed","tests":1025,"discards":0,"time":"3236us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 65, 10, 111, 64, 11, 105, 113, 95, 35, 13, 111, 0, 112, 71, 105, 44, 13, 2, 111, 24, 240])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.356521612+00:00","status":"failed","tests":1025,"discards":0,"time":"2078us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 17, 38, 121, 125, 27, 34, 34, 59, 10, 89, 57, 14, 61, 60, 14, 79, 41, 202])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.359653161+00:00","status":"failed","tests":1026,"discards":0,"time":"2116us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 40, 113, 84, 21, 114, 123, 54, 112, 103, 63, 71, 11, 15, 62, 52, 14, 198])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.362807347+00:00","status":"failed","tests":1025,"discards":0,"time":"5306us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 64, 50, 125, 102, 9, 115, 71, 56, 115, 97, 95, 1, 16, 79, 6, 7, 7, 124, 56, 65, 46, 101, 6, 56, 104, 53, 66, 22, 218])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.369286029+00:00","status":"failed","tests":1025,"discards":0,"time":"5271us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 64, 103, 6, 117, 49, 48, 81, 90, 81, 36, 127, 95, 110, 70, 18, 76, 46, 98, 109, 122, 89, 92, 66, 127, 223])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.375620517+00:00","status":"failed","tests":1025,"discards":0,"time":"3247us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 97, 86, 32, 26, 18, 62, 120, 88, 80, 52, 97, 0, 45, 83, 20, 37, 82, 90, 75, 193])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.379926670+00:00","status":"failed","tests":1025,"discards":0,"time":"3255us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 47, 1, 110, 65, 78, 109, 73, 56, 101, 21, 56, 64, 118, 120, 22, 22, 114, 126, 24, 108, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.384161094+00:00","status":"failed","tests":1025,"discards":0,"time":"2107us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 22, 7, 63, 66, 110, 6, 87, 31, 74, 20, 112, 62, 45, 29, 49, 86, 204])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.387400849+00:00","status":"failed","tests":61784,"discards":0,"time":"9564us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.398063314+00:00","status":"failed","tests":61781,"discards":0,"time":"9508us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.408684210+00:00","status":"failed","tests":8734,"discards":0,"time":"1230us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.411082129+00:00","status":"failed","tests":62427,"discards":0,"time":"9730us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.421941415+00:00","status":"failed","tests":8600,"discards":0,"time":"1257us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.424250411+00:00","status":"failed","tests":8335,"discards":0,"time":"1159us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.426444307+00:00","status":"failed","tests":61131,"discards":0,"time":"9383us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.436920755+00:00","status":"failed","tests":8612,"discards":0,"time":"1234us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.439145979+00:00","status":"failed","tests":8470,"discards":0,"time":"1176us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.441321386+00:00","status":"failed","tests":62746,"discards":0,"time":"9620us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.452147310+00:00","status":"failed","tests":1,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"([58, 113, 47, 124, 88, 71, 42, 87, 31, 45, 19, 1, 127, 70, 59, 118, 89, 30, 109, 39, 66, 117, 45, 68, 1, 102, 87, 67, 75, 30, 97, 65, 117, 60, 106, 44, 72, 53, 52, 60, 88, 55, 17, 110, 86, 22, 31, 15, 1, 119, 85, 109, 89, 72, 78, 17, 87, 49, 83, 4, 124, 63, 102, 46, 63, 126, 113, 58, 41, 100, 37, 16, 10, 90, 58, 31, 58, 27, 22, 69, 78, 23, 75, 52, 95, 27, 122, 78, 94, 114, 25, 91, 49, 104, 110, 17, 31, 20, 127, 111, 71, 22, 4, 45, 65, 19, 40, 55, 126, 32, 30, 106, 106, 5, 81, 57, 39, 10, 45, 63, 8, 79, 17, 116, 13, 12, 115, 5, 32, 120, 13, 98, 114, 67, 31, 58, 127, 21, 80, 106, 8, 1, 94, 89, 100, 17, 40, 86, 126, 2, 111, 87, 69, 32, 54, 43, 38, 31, 127, 27, 118, 60, 10, 25, 40, 107, 31, 122, 97, 60, 2, 56, 31, 37, 2, 7, 89, 82, 111, 50, 100, 30, 13, 94, 69, 37, 97, 59, 15, 79, 42, 194])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.453247352+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"([120, 72, 19, 22, 22, 61, 23, 79, 118, 122, 99, 79, 15, 0, 45, 6, 90, 83, 69, 114, 64, 60, 123, 60, 109, 36, 92, 5, 104, 12, 65, 89, 114, 18, 104, 5, 91, 103, 67, 111, 58, 85, 91, 93, 123, 34, 45, 59, 47, 87, 8, 20, 8, 1, 52, 16, 23, 22, 51, 80, 16, 10, 19, 241])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.454291566+00:00","status":"failed","tests":1,"discards":0,"time":"24us","error":null,"tool":"crabcheck","counterexample":"([84, 120, 74, 107, 57, 61, 20, 96, 82, 44, 57, 17, 1, 106, 38, 99, 67, 99, 63, 85, 103, 44, 111, 0, 61, 82, 27, 17, 64, 49, 127, 120, 68, 12, 110, 109, 56, 7, 38, 31, 115, 38, 31, 38, 46, 124, 38, 12, 103, 9, 34, 121, 33, 100, 68, 123, 80, 62, 108, 3, 84, 74, 6, 194])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.455319825+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"([115, 115, 10, 41, 101, 41, 83, 114, 35, 40, 112, 12, 71, 25, 24, 74, 55, 28, 7, 83, 83, 66, 126, 78, 59, 96, 106, 63, 25, 46, 115, 21, 54, 87, 102, 53, 52, 42, 64, 40, 60, 38, 96, 96, 43, 48, 49, 77, 110, 57, 75, 92, 94, 71, 23, 27, 88, 2, 125, 36, 66, 8, 73, 99, 60, 89, 83, 106, 29, 67, 110, 82, 89, 37, 85, 22, 121, 26, 2, 32, 126, 123, 72, 80, 82, 116, 50, 60, 97, 74, 87, 113, 73, 103, 31, 112, 95, 17, 95, 63, 83, 101, 34, 85, 63, 69, 21, 40, 92, 92, 114, 120, 27, 76, 94, 57, 70, 89, 64, 43, 69, 8, 89, 23, 2, 66, 38, 214])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.456342108+00:00","status":"failed","tests":2,"discards":0,"time":"29us","error":null,"tool":"crabcheck","counterexample":"([57, 59, 89, 32, 17, 33, 27, 82, 54, 35, 65, 2, 9, 62, 57, 96, 48, 101, 88, 57, 13, 61, 26, 117, 32, 38, 115, 94, 65, 81, 127, 31, 85, 88, 21, 102, 79, 50, 1, 28, 8, 127, 50, 115, 85, 93, 37, 6, 40, 67, 118, 119, 107, 21, 51, 43, 94, 10, 31, 1, 52, 70, 115, 199])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.457363704+00:00","status":"failed","tests":1,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"([87, 51, 48, 67, 110, 29, 125, 104, 51, 86, 4, 33, 95, 88, 77, 100, 81, 16, 35, 87, 42, 98, 80, 27, 58, 51, 3, 27, 58, 64, 62, 109, 19, 33, 56, 111, 41, 109, 84, 33, 124, 24, 33, 57, 107, 3, 125, 81, 26, 105, 48, 106, 70, 82, 46, 99, 25, 73, 49, 7, 123, 110, 8, 15, 3, 24, 4, 92, 57, 0, 124, 39, 100, 69, 70, 113, 99, 48, 16, 67, 40, 17, 75, 33, 46, 62, 83, 60, 50, 56, 52, 59, 122, 63, 121, 124, 74, 100, 122, 112, 87, 31, 101, 18, 69, 37, 49, 10, 121, 110, 112, 102, 53, 49, 9, 93, 92, 3, 112, 61, 122, 32, 29, 21, 98, 17, 117, 83, 97, 2, 126, 82, 88, 71, 71, 99, 106, 10, 38, 118, 11, 29, 94, 90, 106, 13, 55, 24, 50, 8, 34, 63, 19, 42, 107, 120, 85, 85, 37, 37, 100, 51, 41, 93, 60, 13, 68, 4, 111, 92, 67, 41, 92, 112, 54, 123, 92, 98, 101, 2, 117, 59, 71, 14, 28, 82, 102, 59, 67, 45, 54, 237])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.458405032+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"([96, 22, 50, 1, 77, 109, 50, 82, 87, 79, 13, 43, 45, 16, 38, 1, 27, 10, 63, 10, 0, 99, 17, 39, 127, 16, 53, 73, 94, 23, 13, 71, 96, 1, 126, 0, 108, 2, 76, 0, 107, 107, 59, 49, 71, 123, 20, 40, 46, 91, 0, 34, 34, 62, 88, 8, 126, 88, 4, 66, 45, 54, 33, 76, 3, 10, 65, 53, 79, 17, 9, 100, 122, 94, 8, 127, 115, 58, 115, 119, 28, 73, 111, 84, 32, 80, 25, 45, 110, 16, 50, 74, 20, 34, 120, 6, 65, 60, 45, 44, 39, 88, 104, 109, 104, 45, 29, 127, 20, 5, 110, 102, 25, 45, 109, 21, 79, 86, 30, 95, 63, 111, 9, 60, 15, 105, 95, 247])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.459460862+00:00","status":"failed","tests":2,"discards":0,"time":"32us","error":null,"tool":"crabcheck","counterexample":"([90, 72, 123, 13, 115, 38, 121, 40, 106, 107, 96, 23, 95, 117, 119, 109, 23, 9, 31, 38, 38, 16, 91, 12, 27, 20, 34, 2, 121, 115, 110, 81, 114, 16, 110, 32, 94, 29, 125, 76, 48, 125, 41, 51, 72, 88, 78, 86, 112, 75, 28, 30, 83, 42, 112, 43, 98, 42, 17, 15, 80, 54, 108, 53, 74, 101, 46, 20, 74, 19, 109, 35, 103, 42, 22, 126, 52, 56, 23, 57, 39, 125, 30, 50, 126, 33, 117, 96, 57, 27, 29, 113, 109, 19, 27, 80, 51, 117, 29, 28, 47, 25, 37, 119, 10, 25, 93, 72, 97, 61, 47, 27, 21, 43, 35, 21, 111, 56, 126, 109, 36, 108, 42, 62, 127, 100, 104, 12, 72, 26, 71, 88, 11, 49, 49, 29, 72, 103, 106, 109, 95, 45, 93, 32, 83, 70, 1, 95, 88, 5, 46, 93, 58, 23, 8, 23, 6, 127, 116, 42, 99, 23, 14, 58, 30, 63, 78, 85, 38, 108, 48, 30, 15, 27, 62, 10, 20, 122, 81, 46, 95, 48, 13, 10, 64, 118, 27, 46, 99, 127, 13, 253])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.460501589+00:00","status":"failed","tests":2,"discards":0,"time":"30us","error":null,"tool":"crabcheck","counterexample":"([117, 117, 99, 23, 80, 58, 106, 111, 116, 90, 37, 25, 99, 72, 86, 20, 103, 4, 117, 43, 126, 93, 42, 76, 44, 92, 119, 49, 94, 117, 68, 104, 41, 49, 11, 48, 121, 59, 73, 101, 124, 23, 123, 76, 33, 13, 18, 65, 87, 110, 93, 126, 121, 15, 103, 97, 83, 95, 104, 51, 60, 43, 77, 197])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.461523376+00:00","status":"failed","tests":2,"discards":0,"time":"30us","error":null,"tool":"crabcheck","counterexample":"([92, 42, 42, 12, 39, 76, 126, 38, 8, 72, 74, 89, 52, 116, 91, 104, 45, 2, 37, 6, 122, 81, 90, 66, 57, 64, 92, 6, 33, 20, 71, 63, 69, 104, 71, 4, 17, 100, 64, 119, 105, 106, 127, 25, 111, 97, 51, 89, 12, 105, 111, 71, 77, 30, 26, 104, 22, 78, 13, 9, 125, 84, 123, 226])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:06:17.462697622+00:00","status":"failed","tests":14,"discards":0,"time":"1407569us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:06:18.871512344+00:00","status":"failed","tests":14,"discards":0,"time":"718767us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:06:19.591918528+00:00","status":"failed","tests":14,"discards":0,"time":"725020us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:06:20.318456299+00:00","status":"failed","tests":14,"discards":0,"time":"719295us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:06:21.039351654+00:00","status":"failed","tests":14,"discards":0,"time":"717148us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:06:21.758059781+00:00","status":"failed","tests":14,"discards":0,"time":"729559us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:06:22.489385888+00:00","status":"failed","tests":14,"discards":0,"time":"719792us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:06:23.210841445+00:00","status":"failed","tests":14,"discards":0,"time":"735164us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:06:23.947619440+00:00","status":"failed","tests":14,"discards":0,"time":"726432us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"BasicMatchesStd","mutations":["incomplete_eof_basic_8c24752_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:06:24.675588891+00:00","status":"failed","tests":14,"discards":0,"time":"717754us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"2a5994e7621831f41e886fabccdd716501d965e6"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.354999487+00:00","status":"failed","tests":1025,"discards":0,"time":"2155us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 40, 98, 3, 69, 50, 114, 119, 81, 118, 48, 60, 8, 71, 89, 6, 103, 41, 23, 113, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.358449187+00:00","status":"failed","tests":1025,"discards":0,"time":"2120us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 74, 16, 69, 105, 39, 116, 109, 115, 54, 91, 76, 73, 17, 201])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.361641489+00:00","status":"failed","tests":1025,"discards":0,"time":"2169us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 5, 8, 77, 70, 38, 113, 73, 108, 68, 100, 83, 62, 116, 93, 103, 17, 1, 207])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.364912709+00:00","status":"failed","tests":1025,"discards":0,"time":"5380us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 49, 85, 82, 107, 36, 68, 93, 53, 40, 4, 24, 124, 50, 9, 68, 59, 97, 8, 97, 10, 242])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.371424765+00:00","status":"failed","tests":1025,"discards":0,"time":"3307us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 20, 108, 116, 80, 95, 127, 125, 109, 47, 69, 104, 112, 85, 118, 104, 8, 117, 109, 193])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.375889739+00:00","status":"failed","tests":1025,"discards":0,"time":"3327us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 41, 72, 64, 43, 3, 17, 34, 44, 93, 83, 118, 104, 95, 125, 20, 40, 79, 71, 90, 57, 15, 225])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.380235116+00:00","status":"failed","tests":1025,"discards":0,"time":"3322us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 30, 109, 53, 22, 9, 119, 80, 11, 95, 33, 102, 204])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.384628217+00:00","status":"failed","tests":1025,"discards":0,"time":"3361us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 15, 126, 39, 109, 28, 36, 118, 61, 67, 118, 73, 109, 7, 3, 97, 43, 26, 106, 3, 127, 241])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.389073240+00:00","status":"failed","tests":1025,"discards":0,"time":"2126us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 28, 30, 127, 82, 24, 5, 53, 113, 48, 49, 33, 95, 81, 111, 33, 10, 85, 92, 57, 105, 29, 199])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"proptest","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.392282945+00:00","status":"failed","tests":1026,"discards":0,"time":"5390us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 14, 19, 12, 121, 94, 90, 72, 56, 96, 49, 117, 23, 62, 32, 77, 96, 64, 62, 92, 37, 68, 25, 105, 57, 60, 40, 78, 236])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.399251732+00:00","status":"failed","tests":8465,"discards":0,"time":"1201us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.401552082+00:00","status":"failed","tests":8203,"discards":0,"time":"1160us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.403737693+00:00","status":"failed","tests":9002,"discards":0,"time":"1271us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.406069171+00:00","status":"failed","tests":8207,"discards":0,"time":"1154us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.408241237+00:00","status":"failed","tests":61449,"discards":0,"time":"10096us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.419509092+00:00","status":"failed","tests":8475,"discards":0,"time":"1209us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.421918370+00:00","status":"failed","tests":8463,"discards":0,"time":"1236us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.424220384+00:00","status":"failed","tests":8870,"discards":0,"time":"1264us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.426559672+00:00","status":"failed","tests":8599,"discards":0,"time":"1271us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"quickcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.428884227+00:00","status":"failed","tests":8335,"discards":0,"time":"1209us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.431488608+00:00","status":"failed","tests":1,"discards":0,"time":"31us","error":null,"tool":"crabcheck","counterexample":"([25, 5, 28, 96, 82, 67, 68, 111, 15, 57, 109, 50, 118, 121, 27, 21, 39, 119, 64, 107, 38, 101, 26, 63, 3, 22, 127, 75, 127, 80, 119, 66, 84, 59, 113, 1, 60, 70, 38, 29, 63, 78, 79, 63, 84, 81, 59, 28, 55, 40, 38, 45, 48, 109, 116, 83, 101, 22, 62, 125, 52, 69, 72, 18, 5, 23, 46, 4, 18, 9, 65, 98, 1, 91, 101, 3, 57, 68, 120, 48, 44, 66, 113, 81, 61, 17, 23, 68, 51, 46, 18, 49, 29, 116, 78, 118, 122, 73, 47, 83, 77, 77, 44, 58, 85, 26, 1, 78, 32, 68, 63, 55, 47, 27, 113, 121, 16, 107, 40, 15, 1, 113, 86, 17, 8, 71, 59, 103, 39, 60, 88, 44, 82, 62, 25, 119, 82, 124, 81, 26, 93, 91, 67, 20, 58, 60, 105, 40, 64, 86, 56, 48, 124, 80, 60, 38, 123, 103, 49, 45, 4, 43, 11, 66, 63, 14, 68, 0, 44, 4, 70, 25, 126, 25, 49, 65, 38, 124, 37, 0, 45, 36, 35, 109, 86, 121, 50, 10, 53, 69, 67, 218])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.432567292+00:00","status":"failed","tests":1,"discards":0,"time":"30us","error":null,"tool":"crabcheck","counterexample":"([113, 12, 11, 102, 48, 92, 121, 14, 27, 24, 11, 72, 87, 60, 14, 18, 58, 0, 125, 37, 96, 5, 97, 42, 60, 2, 91, 38, 114, 28, 58, 46, 114, 46, 47, 45, 72, 4, 92, 9, 66, 31, 26, 24, 38, 123, 46, 21, 73, 49, 45, 12, 18, 61, 42, 11, 114, 96, 113, 34, 42, 116, 123, 38, 126, 31, 44, 60, 28, 46, 46, 47, 26, 72, 19, 96, 53, 40, 31, 79, 55, 33, 33, 47, 54, 15, 33, 26, 119, 76, 98, 59, 8, 126, 8, 97, 62, 58, 29, 33, 77, 17, 2, 55, 58, 105, 108, 95, 54, 12, 50, 5, 50, 86, 61, 76, 111, 98, 106, 93, 106, 104, 98, 85, 59, 44, 45, 116, 26, 113, 90, 29, 109, 0, 41, 17, 73, 17, 87, 80, 57, 113, 91, 11, 113, 57, 71, 105, 83, 77, 82, 41, 109, 12, 21, 78, 23, 78, 77, 41, 45, 16, 18, 40, 106, 104, 46, 79, 107, 32, 26, 72, 22, 118, 45, 19, 67, 16, 61, 50, 37, 4, 61, 47, 58, 78, 29, 45, 56, 127, 81, 194])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.433629399+00:00","status":"failed","tests":1,"discards":0,"time":"27us","error":null,"tool":"crabcheck","counterexample":"([39, 34, 124, 16, 97, 55, 89, 13, 96, 107, 70, 28, 103, 88, 120, 7, 34, 69, 127, 9, 30, 2, 53, 99, 46, 9, 94, 46, 49, 5, 40, 72, 103, 100, 50, 54, 43, 16, 24, 60, 86, 88, 52, 124, 91, 51, 32, 84, 56, 103, 116, 29, 67, 48, 121, 23, 49, 48, 37, 110, 38, 73, 90, 246])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.434705978+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"([10, 40, 60, 56, 13, 67, 68, 112, 39, 4, 86, 16, 42, 23, 0, 102, 55, 64, 47, 63, 71, 82, 6, 101, 110, 45, 79, 11, 70, 56, 95, 90, 19, 0, 95, 73, 60, 89, 101, 69, 33, 22, 109, 8, 125, 117, 103, 28, 54, 89, 49, 29, 65, 21, 30, 93, 25, 105, 68, 21, 76, 50, 16, 63, 40, 120, 78, 81, 58, 91, 119, 116, 31, 95, 105, 40, 72, 113, 39, 94, 37, 91, 49, 116, 58, 26, 18, 119, 4, 98, 113, 58, 92, 9, 76, 1, 83, 108, 86, 83, 86, 49, 100, 111, 36, 99, 122, 58, 59, 102, 60, 96, 58, 125, 89, 24, 18, 97, 47, 59, 91, 59, 113, 93, 36, 6, 101, 24, 43, 74, 124, 62, 95, 105, 72, 103, 17, 12, 21, 111, 15, 41, 0, 101, 28, 111, 84, 126, 49, 103, 123, 80, 33, 18, 40, 34, 100, 25, 49, 79, 31, 95, 87, 6, 57, 58, 70, 59, 88, 3, 29, 115, 41, 41, 47, 87, 82, 18, 45, 35, 20, 17, 44, 73, 59, 110, 3, 73, 89, 18, 95, 220])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.435778094+00:00","status":"failed","tests":2,"discards":0,"time":"30us","error":null,"tool":"crabcheck","counterexample":"([117, 106, 36, 103, 123, 54, 111, 86, 75, 47, 120, 17, 103, 40, 112, 29, 85, 114, 113, 3, 123, 95, 105, 20, 104, 15, 6, 37, 6, 97, 53, 76, 75, 100, 82, 90, 98, 91, 14, 121, 4, 84, 73, 11, 116, 68, 98, 56, 69, 63, 72, 16, 42, 124, 73, 100, 26, 48, 107, 33, 87, 40, 127, 91, 51, 84, 40, 3, 98, 49, 23, 123, 28, 59, 127, 119, 67, 53, 115, 106, 24, 95, 88, 32, 21, 16, 57, 42, 44, 125, 98, 103, 76, 35, 20, 112, 50, 48, 4, 62, 52, 105, 94, 11, 83, 33, 49, 89, 18, 109, 65, 96, 105, 66, 55, 60, 109, 15, 36, 107, 52, 32, 98, 113, 81, 36, 68, 19, 124, 102, 87, 68, 61, 103, 62, 57, 60, 90, 90, 17, 99, 61, 117, 110, 66, 96, 16, 42, 127, 21, 102, 120, 102, 100, 8, 57, 41, 49, 4, 122, 103, 65, 49, 98, 123, 35, 120, 26, 21, 41, 84, 32, 47, 77, 56, 114, 94, 10, 87, 101, 9, 113, 99, 23, 33, 40, 18, 113, 9, 61, 15, 242])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.436955361+00:00","status":"failed","tests":2,"discards":0,"time":"29us","error":null,"tool":"crabcheck","counterexample":"([28, 101, 16, 107, 68, 92, 54, 126, 91, 44, 42, 114, 76, 80, 91, 5, 98, 74, 48, 80, 112, 95, 100, 48, 39, 111, 60, 97, 47, 21, 27, 100, 113, 119, 80, 78, 67, 112, 94, 116, 60, 81, 106, 109, 55, 45, 71, 107, 42, 53, 37, 99, 106, 56, 55, 56, 41, 70, 87, 59, 9, 75, 63, 93, 85, 41, 17, 100, 71, 14, 101, 102, 19, 102, 110, 115, 65, 82, 127, 11, 42, 9, 89, 114, 91, 98, 13, 51, 45, 60, 9, 90, 83, 53, 2, 62, 105, 57, 122, 46, 117, 122, 8, 6, 24, 76, 95, 119, 108, 5, 86, 101, 19, 75, 24, 7, 23, 126, 82, 72, 68, 3, 125, 74, 88, 35, 33, 211])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.438020875+00:00","status":"failed","tests":1,"discards":0,"time":"57us","error":null,"tool":"crabcheck","counterexample":"([104, 61, 86, 124, 12, 30, 127, 102, 29, 75, 41, 45, 20, 104, 89, 81, 89, 58, 79, 102, 82, 69, 55, 64, 14, 55, 87, 62, 27, 64, 113, 66, 13, 78, 74, 39, 66, 126, 8, 88, 45, 13, 32, 21, 1, 31, 97, 91, 16, 93, 67, 36, 97, 45, 86, 32, 2, 86, 126, 101, 26, 12, 74, 237])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.439076264+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"([33, 37, 92, 69, 95, 104, 45, 40, 66, 125, 68, 31, 120, 19, 0, 107, 86, 47, 122, 1, 102, 125, 13, 34, 73, 83, 104, 48, 104, 127, 56, 45, 79, 82, 66, 79, 114, 52, 39, 104, 115, 60, 121, 45, 35, 118, 70, 46, 105, 46, 72, 38, 59, 46, 80, 25, 102, 37, 86, 40, 88, 54, 49, 201])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.440140896+00:00","status":"failed","tests":1,"discards":0,"time":"29us","error":null,"tool":"crabcheck","counterexample":"([44, 71, 20, 64, 126, 58, 123, 51, 126, 77, 116, 73, 72, 66, 114, 47, 127, 22, 47, 126, 24, 45, 68, 21, 74, 95, 83, 29, 4, 126, 63, 100, 3, 72, 52, 16, 71, 27, 98, 39, 96, 15, 86, 101, 119, 4, 102, 75, 16, 65, 116, 70, 3, 123, 56, 93, 21, 13, 31, 120, 110, 92, 71, 50, 112, 44, 47, 30, 33, 111, 124, 73, 115, 74, 102, 39, 0, 60, 1, 57, 99, 45, 55, 123, 96, 29, 1, 7, 120, 51, 62, 122, 61, 89, 24, 44, 90, 44, 114, 54, 75, 68, 122, 104, 83, 113, 28, 46, 102, 113, 69, 109, 10, 44, 21, 103, 111, 10, 103, 119, 2, 105, 21, 79, 30, 74, 102, 5, 86, 111, 78, 17, 40, 88, 110, 93, 30, 46, 47, 104, 61, 91, 15, 17, 18, 59, 37, 111, 14, 110, 37, 95, 24, 110, 106, 111, 124, 76, 126, 107, 57, 34, 75, 48, 29, 126, 63, 2, 78, 31, 89, 114, 86, 58, 99, 126, 95, 107, 99, 117, 102, 123, 124, 17, 93, 84, 81, 70, 24, 16, 97, 235])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"crabcheck","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.441228976+00:00","status":"failed","tests":1,"discards":0,"time":"31us","error":null,"tool":"crabcheck","counterexample":"([9, 121, 71, 97, 16, 83, 112, 69, 24, 80, 25, 13, 107, 0, 121, 4, 95, 41, 126, 36, 80, 64, 1, 80, 84, 67, 18, 44, 117, 86, 9, 71, 61, 9, 17, 5, 64, 74, 75, 112, 82, 66, 62, 72, 89, 111, 44, 67, 28, 51, 53, 69, 54, 64, 74, 110, 7, 66, 92, 66, 107, 120, 1, 30, 92, 15, 83, 124, 116, 96, 65, 121, 3, 84, 45, 89, 122, 93, 116, 58, 58, 81, 23, 45, 53, 30, 42, 54, 31, 40, 63, 6, 54, 82, 22, 39, 82, 104, 9, 98, 55, 57, 0, 59, 34, 47, 109, 27, 3, 89, 89, 125, 100, 89, 23, 112, 125, 37, 40, 26, 61, 87, 28, 89, 22, 62, 57, 105, 67, 43, 28, 42, 92, 35, 22, 48, 6, 44, 8, 15, 113, 35, 1, 72, 116, 13, 97, 116, 92, 37, 21, 82, 88, 67, 105, 10, 44, 50, 42, 1, 91, 106, 110, 64, 22, 84, 122, 73, 18, 102, 38, 36, 118, 27, 103, 17, 101, 4, 69, 112, 25, 35, 108, 86, 33, 16, 31, 72, 32, 80, 36, 224])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:06:27.442612934+00:00","status":"failed","tests":14,"discards":0,"time":"719385us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:06:28.163291339+00:00","status":"failed","tests":14,"discards":0,"time":"726246us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:06:28.891250072+00:00","status":"failed","tests":14,"discards":0,"time":"720208us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:06:29.613023631+00:00","status":"failed","tests":14,"discards":0,"time":"724471us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:06:30.339244911+00:00","status":"failed","tests":14,"discards":0,"time":"724941us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:06:31.065764289+00:00","status":"failed","tests":14,"discards":0,"time":"711180us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:06:31.778743845+00:00","status":"failed","tests":14,"discards":0,"time":"719219us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:06:32.499580956+00:00","status":"failed","tests":14,"discards":0,"time":"720542us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:06:33.221623068+00:00","status":"failed","tests":14,"discards":0,"time":"715615us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}
{"data":{"experiment":"ci-run","workload":"simdutf8","language":"rust","strategy":"hegel","property":"CompatMatchesStd","mutations":["incomplete_eof_compat_8c24752_2"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:06:33.939106390+00:00","status":"failed","tests":14,"discards":0,"time":"720626us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192])"},"hash":"4621bd9ac863d3af4387f53c7bf35e0f67018e8e"}