{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.942674272+00:00","status":"failed","tests":36,"discards":0,"time":"109us","error":null,"tool":"proptest","counterexample":"([99, 53, 48, 70, 54, 70, 67, 68, 56, 66, 65, 68, 69, 66, 102, 53, 99])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.944099561+00:00","status":"failed","tests":34,"discards":0,"time":"105us","error":null,"tool":"proptest","counterexample":"([55, 53, 66, 99, 51, 52, 65, 65, 53, 56, 99, 50, 52, 52, 50, 57, 66])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.945228391+00:00","status":"failed","tests":34,"discards":0,"time":"105us","error":null,"tool":"proptest","counterexample":"([102, 100, 100, 50, 98, 51, 54, 98, 57, 48, 48, 100, 55, 56, 100, 48, 53])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.946369467+00:00","status":"failed","tests":33,"discards":0,"time":"94us","error":null,"tool":"proptest","counterexample":"([66, 65, 101, 100, 102, 54, 100, 101, 52, 97, 57, 56, 52, 66, 50, 50, 54])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.947541584+00:00","status":"failed","tests":35,"discards":0,"time":"97us","error":null,"tool":"proptest","counterexample":"([48, 66, 48, 51, 99, 97, 57, 70, 50, 99, 54, 99, 65, 97, 56, 56, 49])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.948689685+00:00","status":"failed","tests":35,"discards":0,"time":"96us","error":null,"tool":"proptest","counterexample":"([70, 97, 51, 51, 52, 67, 70, 97, 102, 101, 53, 70, 100, 67, 69, 69, 69])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.949816528+00:00","status":"failed","tests":35,"discards":0,"time":"103us","error":null,"tool":"proptest","counterexample":"([54, 51, 101, 97, 68, 98, 98, 57, 66, 48, 54, 99, 56, 56, 49, 102, 100])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.950917632+00:00","status":"failed","tests":33,"discards":0,"time":"91us","error":null,"tool":"proptest","counterexample":"([50, 50, 50, 98, 69, 70, 98, 54, 70, 101, 101, 51, 54, 98, 67, 56, 53])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.952055796+00:00","status":"failed","tests":34,"discards":0,"time":"120us","error":null,"tool":"proptest","counterexample":"([48, 98, 57, 99, 65, 67, 52, 97, 48, 65, 97, 101, 67, 67, 52, 99, 70])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.953199590+00:00","status":"failed","tests":33,"discards":0,"time":"101us","error":null,"tool":"proptest","counterexample":"([99, 97, 68, 70, 50, 48, 66, 49, 97, 57, 102, 97, 48, 97, 98, 53, 70])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.954471804+00:00","status":"failed","tests":3,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"(\"ed367F7B8E8eAD62faD95\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.955615755+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"(\"1C5eAdb3CEfdAfC8dCeB\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.956634088+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"(\"Ff9f5463598b9cE9F37d\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.957669317+00:00","status":"failed","tests":6,"discards":0,"time":"28us","error":null,"tool":"quickcheck","counterexample":"(\"178e8E4FfAEc758036eeA\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.958679484+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"(\"a156B0caaEC12dE0c814Fc8e\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.959678385+00:00","status":"failed","tests":5,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(\"5fd438caEd030eb9867DB04\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.960701877+00:00","status":"failed","tests":2,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"(\"34b4cf2041A6E0014D3580\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.961723731+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"(\"35dd7A81CA4eB3cfbBA8B34\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.962737686+00:00","status":"failed","tests":1,"discards":0,"time":"17us","error":null,"tool":"quickcheck","counterexample":"(\"665cFbA549b7cF2859\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.963746175+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"(\"f0e70aFDcfA58FafeE4d6aFD\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.964929636+00:00","status":"failed","tests":3,"discards":0,"time":"31us","error":null,"tool":"crabcheck","counterexample":"(\"D5fBbF8C95cC39fdeaCcFa08\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.965974663+00:00","status":"failed","tests":2,"discards":0,"time":"29us","error":null,"tool":"crabcheck","counterexample":"(\"Dd46e9aF6FAE90cB0d5a\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.967017852+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"(\"BaeA8bcb0A8ae0b9EeFD9e4f\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.968008778+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"(\"9Ed341dBD0CFb2FE8\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.969027672+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"(\"2c8cc9507AcEAa18aa21bb16\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.970026853+00:00","status":"failed","tests":3,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"(\"eac08fddAdE44F8C9eBA1DA6\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.971020510+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"(\"39032FF2d18B1fb6Dabcbb8\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.972044107+00:00","status":"failed","tests":2,"discards":0,"time":"29us","error":null,"tool":"crabcheck","counterexample":"(\"CDdB5ECa9dbd4a528b3e\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.973050217+00:00","status":"failed","tests":2,"discards":0,"time":"27us","error":null,"tool":"crabcheck","counterexample":"(\"eeBf4d97BFcc92D0b85Bc\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.974038438+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"(\"b0d8Baf0eB6E4bFd0ddfBbb8\")"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:08.975275439+00:00","status":"failed","tests":25,"discards":0,"time":"954589us","error":null,"tool":"hegel","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:09.931071617+00:00","status":"failed","tests":25,"discards":0,"time":"346326us","error":null,"tool":"hegel","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:10.278893625+00:00","status":"failed","tests":25,"discards":0,"time":"347730us","error":null,"tool":"hegel","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:10.628319629+00:00","status":"failed","tests":25,"discards":0,"time":"343554us","error":null,"tool":"hegel","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:10.973300182+00:00","status":"failed","tests":25,"discards":0,"time":"340652us","error":null,"tool":"hegel","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:11.315534323+00:00","status":"failed","tests":25,"discards":0,"time":"344035us","error":null,"tool":"hegel","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:11.661146281+00:00","status":"failed","tests":25,"discards":0,"time":"335013us","error":null,"tool":"hegel","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:11.997636179+00:00","status":"failed","tests":25,"discards":0,"time":"334778us","error":null,"tool":"hegel","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:12.333906808+00:00","status":"failed","tests":25,"discards":0,"time":"342935us","error":null,"tool":"hegel","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ChunkSizeMatchesOracle","mutations":["chunk_size_overflow_34efc1e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:12.678506145+00:00","status":"failed","tests":25,"discards":0,"time":"342138us","error":null,"tool":"hegel","counterexample":"([48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48])"},"hash":"fd9bf1760c22c69aaeb2606b20b675dd51740fdb"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.566715234+00:00","status":"failed","tests":15,"discards":0,"time":"82us","error":null,"tool":"proptest","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.568015036+00:00","status":"failed","tests":7,"discards":0,"time":"57us","error":null,"tool":"proptest","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.569082260+00:00","status":"failed","tests":14,"discards":0,"time":"66us","error":null,"tool":"proptest","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.570130353+00:00","status":"failed","tests":17,"discards":0,"time":"64us","error":null,"tool":"proptest","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.571226490+00:00","status":"failed","tests":10,"discards":0,"time":"55us","error":null,"tool":"proptest","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.572365413+00:00","status":"failed","tests":10,"discards":0,"time":"61us","error":null,"tool":"proptest","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.573427481+00:00","status":"failed","tests":7,"discards":0,"time":"60us","error":null,"tool":"proptest","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.574483685+00:00","status":"failed","tests":11,"discards":0,"time":"88us","error":null,"tool":"proptest","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.575535985+00:00","status":"failed","tests":19,"discards":0,"time":"107us","error":null,"tool":"proptest","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.576603530+00:00","status":"failed","tests":17,"discards":0,"time":"64us","error":null,"tool":"proptest","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.577934559+00:00","status":"failed","tests":39,"discards":0,"time":"59us","error":null,"tool":"quickcheck","counterexample":"(\" \" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.579044504+00:00","status":"failed","tests":5,"discards":0,"time":"31us","error":null,"tool":"quickcheck","counterexample":"(\" OMU\" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.580067649+00:00","status":"failed","tests":9,"discards":0,"time":"32us","error":null,"tool":"quickcheck","counterexample":"(\" zJ\" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.581085742+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"(\" !BMM_\" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.582132131+00:00","status":"failed","tests":3,"discards":0,"time":"32us","error":null,"tool":"quickcheck","counterexample":"(\" CH9-0\" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.583134434+00:00","status":"failed","tests":5,"discards":0,"time":"30us","error":null,"tool":"quickcheck","counterexample":"(\" V\" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.584135869+00:00","status":"failed","tests":14,"discards":0,"time":"40us","error":null,"tool":"quickcheck","counterexample":"(\" PAJ\" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.585173508+00:00","status":"failed","tests":10,"discards":0,"time":"33us","error":null,"tool":"quickcheck","counterexample":"(\" D\" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.586196223+00:00","status":"failed","tests":9,"discards":0,"time":"38us","error":null,"tool":"quickcheck","counterexample":"(\" 0PQUV_\" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.587263717+00:00","status":"failed","tests":5,"discards":0,"time":"31us","error":null,"tool":"quickcheck","counterexample":"(\" \" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.588611919+00:00","status":"failed","tests":11,"discards":0,"time":"32us","error":null,"tool":"crabcheck","counterexample":"(\" UYOV\" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.589621446+00:00","status":"failed","tests":3,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"(\" aDIM\" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.590632709+00:00","status":"failed","tests":2,"discards":0,"time":"29us","error":null,"tool":"crabcheck","counterexample":"(\" SX\" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.591694293+00:00","status":"failed","tests":3,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"(\" \" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.592706719+00:00","status":"failed","tests":5,"discards":0,"time":"33us","error":null,"tool":"crabcheck","counterexample":"(\" D9DIPH\" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.593726494+00:00","status":"failed","tests":5,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"(\" M\" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.594771+00:00","status":"failed","tests":3,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"(\" JPB\" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.595784264+00:00","status":"failed","tests":12,"discards":0,"time":"32us","error":null,"tool":"crabcheck","counterexample":"(\" \" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.596813290+00:00","status":"failed","tests":10,"discards":0,"time":"29us","error":null,"tool":"crabcheck","counterexample":"(\" aA9-R!\" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.597928253+00:00","status":"failed","tests":10,"discards":0,"time":"32us","error":null,"tool":"crabcheck","counterexample":"(\" AM.FDVB\" 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.599423592+00:00","status":"failed","tests":12,"discards":0,"time":"187986us","error":null,"tool":"hegel","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.788669690+00:00","status":"failed","tests":12,"discards":0,"time":"189770us","error":null,"tool":"hegel","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:16.979958245+00:00","status":"failed","tests":12,"discards":0,"time":"190334us","error":null,"tool":"hegel","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:17.171679894+00:00","status":"failed","tests":12,"discards":0,"time":"191649us","error":null,"tool":"hegel","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:17.364841641+00:00","status":"failed","tests":12,"discards":0,"time":"192717us","error":null,"tool":"hegel","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:17.559055076+00:00","status":"failed","tests":12,"discards":0,"time":"187437us","error":null,"tool":"hegel","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:17.747948321+00:00","status":"failed","tests":12,"discards":0,"time":"186085us","error":null,"tool":"hegel","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:17.935576001+00:00","status":"failed","tests":12,"discards":0,"time":"193259us","error":null,"tool":"hegel","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:18.130375043+00:00","status":"failed","tests":12,"discards":0,"time":"186404us","error":null,"tool":"hegel","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["method_leading_space_9f6702b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:18.318220605+00:00","status":"failed","tests":12,"discards":0,"time":"190165us","error":null,"tool":"hegel","counterexample":"([32] 0x20)"},"hash":"5c96cf0d20564bb4f667e1b774d661f69701c80e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.040508514+00:00","status":"failed","tests":12,"discards":0,"time":"74us","error":null,"tool":"proptest","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.041853593+00:00","status":"failed","tests":16,"discards":0,"time":"68us","error":null,"tool":"proptest","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.043026331+00:00","status":"failed","tests":10,"discards":0,"time":"61us","error":null,"tool":"proptest","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.044144981+00:00","status":"failed","tests":16,"discards":0,"time":"66us","error":null,"tool":"proptest","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.045265899+00:00","status":"failed","tests":13,"discards":0,"time":"63us","error":null,"tool":"proptest","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.046339324+00:00","status":"failed","tests":12,"discards":0,"time":"66us","error":null,"tool":"proptest","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.047412874+00:00","status":"failed","tests":16,"discards":0,"time":"61us","error":null,"tool":"proptest","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.048458908+00:00","status":"failed","tests":15,"discards":0,"time":"66us","error":null,"tool":"proptest","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.049512181+00:00","status":"failed","tests":16,"discards":0,"time":"109us","error":null,"tool":"proptest","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.050582450+00:00","status":"failed","tests":14,"discards":0,"time":"64us","error":null,"tool":"proptest","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.052056577+00:00","status":"failed","tests":2,"discards":0,"time":"28us","error":null,"tool":"quickcheck","counterexample":"(\"S-\" 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.053095648+00:00","status":"failed","tests":2,"discards":0,"time":"30us","error":null,"tool":"quickcheck","counterexample":"(\"EHIV\" 0x0a)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.054125986+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"quickcheck","counterexample":"(\"SVV9\" 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.055194704+00:00","status":"failed","tests":4,"discards":0,"time":"33us","error":null,"tool":"quickcheck","counterexample":"(\"EKU\" 0x0a)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.056226577+00:00","status":"failed","tests":1,"discards":0,"time":"25us","error":null,"tool":"quickcheck","counterexample":"(\"COTH\" 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.057323075+00:00","status":"failed","tests":1,"discards":0,"time":"25us","error":null,"tool":"quickcheck","counterexample":"(\"D\" 0x0a)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.058355188+00:00","status":"failed","tests":1,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"(\"ATHE\" 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.059357049+00:00","status":"failed","tests":6,"discards":0,"time":"32us","error":null,"tool":"quickcheck","counterexample":"(\"CZ\" 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.060360782+00:00","status":"failed","tests":4,"discards":0,"time":"30us","error":null,"tool":"quickcheck","counterexample":"(\"C\" 0x0a)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.061378205+00:00","status":"failed","tests":1,"discards":0,"time":"27us","error":null,"tool":"quickcheck","counterexample":"(\"TVXADJHL\" 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.062773670+00:00","status":"failed","tests":2,"discards":0,"time":"27us","error":null,"tool":"crabcheck","counterexample":"(\"GG!VZJM\" 0x0a)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.063851401+00:00","status":"failed","tests":1,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"(\"AE-R\" 0x0a)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.064869821+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"(\"NQa-0M\" 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.065920942+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"(\"OEOQ\" 0x0a)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.066982763+00:00","status":"failed","tests":1,"discards":0,"time":"24us","error":null,"tool":"crabcheck","counterexample":"(\"PGaIOP\" 0x0a)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.068025528+00:00","status":"failed","tests":1,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"(\"A\" 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.069021085+00:00","status":"failed","tests":1,"discards":0,"time":"29us","error":null,"tool":"crabcheck","counterexample":"(\"NODO!FM\" 0x0a)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.070053522+00:00","status":"failed","tests":2,"discards":0,"time":"33us","error":null,"tool":"crabcheck","counterexample":"(\"NLVSE\" 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.071075949+00:00","status":"failed","tests":4,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"(\"NX!\" 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.072103857+00:00","status":"failed","tests":2,"discards":0,"time":"31us","error":null,"tool":"crabcheck","counterexample":"(\"SzSa\" 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.073597683+00:00","status":"failed","tests":48,"discards":0,"time":"236280us","error":null,"tool":"hegel","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.311108569+00:00","status":"failed","tests":48,"discards":0,"time":"240112us","error":null,"tool":"hegel","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.552818430+00:00","status":"failed","tests":48,"discards":0,"time":"232926us","error":null,"tool":"hegel","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:22.787263771+00:00","status":"failed","tests":48,"discards":0,"time":"241209us","error":null,"tool":"hegel","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:23.029939615+00:00","status":"failed","tests":48,"discards":0,"time":"236461us","error":null,"tool":"hegel","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:23.267945670+00:00","status":"failed","tests":48,"discards":0,"time":"232778us","error":null,"tool":"hegel","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:23.502211969+00:00","status":"failed","tests":48,"discards":0,"time":"238170us","error":null,"tool":"hegel","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:23.741864804+00:00","status":"failed","tests":48,"discards":0,"time":"235470us","error":null,"tool":"hegel","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:23.978993059+00:00","status":"failed","tests":48,"discards":0,"time":"239737us","error":null,"tool":"hegel","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestMethodIsValid","mutations":["invalid_token_delim_498de3f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:24.220426274+00:00","status":"failed","tests":48,"discards":0,"time":"241255us","error":null,"tool":"hegel","counterexample":"([71] 0x0d)"},"hash":"9210148c138986d339c1b40c19a7efa65d366b1e"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:27.991767793+00:00","status":"failed","tests":40,"discards":0,"time":"95us","error":null,"tool":"proptest","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:27.993135454+00:00","status":"failed","tests":27,"discards":0,"time":"79us","error":null,"tool":"proptest","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:27.994269854+00:00","status":"failed","tests":29,"discards":0,"time":"83us","error":null,"tool":"proptest","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:27.995355616+00:00","status":"failed","tests":25,"discards":0,"time":"75us","error":null,"tool":"proptest","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:27.996421908+00:00","status":"failed","tests":33,"discards":0,"time":"72us","error":null,"tool":"proptest","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:27.997485890+00:00","status":"failed","tests":40,"discards":0,"time":"118us","error":null,"tool":"proptest","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:27.998559547+00:00","status":"failed","tests":21,"discards":0,"time":"69us","error":null,"tool":"proptest","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:27.999668071+00:00","status":"failed","tests":22,"discards":0,"time":"85us","error":null,"tool":"proptest","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.000774375+00:00","status":"failed","tests":26,"discards":0,"time":"75us","error":null,"tool":"proptest","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.001916559+00:00","status":"failed","tests":21,"discards":0,"time":"70us","error":null,"tool":"proptest","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.003476686+00:00","status":"failed","tests":1,"discards":0,"time":"62us","error":null,"tool":"quickcheck","counterexample":"(\"x2 \\t,1\\tb2Z�ZZA\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.004545583+00:00","status":"failed","tests":4,"discards":0,"time":"40us","error":null,"tool":"quickcheck","counterexample":"(\"A�b,�\\ta\\t1y\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.005582995+00:00","status":"failed","tests":1,"discards":0,"time":"31us","error":null,"tool":"quickcheck","counterexample":"(\"ca-.-A12\\t\\tZ\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.006649679+00:00","status":"failed","tests":6,"discards":0,"time":"40us","error":null,"tool":"quickcheck","counterexample":"(\"AZ.�c2c-�\\t.\\t�y\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.007687351+00:00","status":"failed","tests":2,"discards":0,"time":"31us","error":null,"tool":"quickcheck","counterexample":"(\"Zc1  c\\ta\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.008817570+00:00","status":"failed","tests":2,"discards":0,"time":"44us","error":null,"tool":"quickcheck","counterexample":"(\"c1 ZAba\\tb,1\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.010145357+00:00","status":"failed","tests":5,"discards":0,"time":"34us","error":null,"tool":"quickcheck","counterexample":"(\"ac\\t�b\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.011182542+00:00","status":"failed","tests":1,"discards":0,"time":"29us","error":null,"tool":"quickcheck","counterexample":"(\"x\\tb2Z �1\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.012270254+00:00","status":"failed","tests":3,"discards":0,"time":"35us","error":null,"tool":"quickcheck","counterexample":"(\"ba�a\\t\\tAa\\t-122.\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.013334636+00:00","status":"failed","tests":1,"discards":0,"time":"28us","error":null,"tool":"quickcheck","counterexample":"(\"cAac\\t1-.ab .�,1y\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.014943652+00:00","status":"failed","tests":3,"discards":0,"time":"29us","error":null,"tool":"crabcheck","counterexample":"(\"x.�-b\\t\\t..,\\t\\tb.A2\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.016001982+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"(\"x,\\tZaAA,\\ta,�-2�\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.017028701+00:00","status":"failed","tests":2,"discards":0,"time":"31us","error":null,"tool":"crabcheck","counterexample":"(\"A\\t�12b.c1-\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.018085229+00:00","status":"failed","tests":5,"discards":0,"time":"33us","error":null,"tool":"crabcheck","counterexample":"(\",�a\\t� a�1\\t- �y\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.019111908+00:00","status":"failed","tests":1,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"(\"a2\\t1�Aa-2\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.020117811+00:00","status":"failed","tests":1,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"(\"cZb a\\tba�a1A\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.021123220+00:00","status":"failed","tests":1,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"(\"ZAaAa\\t1,cA�A\\t�\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.022134012+00:00","status":"failed","tests":4,"discards":0,"time":"33us","error":null,"tool":"crabcheck","counterexample":"(\"�\\t-1Zcc1�\\t2\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.023168556+00:00","status":"failed","tests":5,"discards":0,"time":"29us","error":null,"tool":"crabcheck","counterexample":"(\"c12Z.�.��2b- \\t.\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.024179899+00:00","status":"failed","tests":2,"discards":0,"time":"27us","error":null,"tool":"crabcheck","counterexample":"(\"c1Z-- A1� -A�\\t\\ty\")"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.025877198+00:00","status":"failed","tests":53,"discards":0,"time":"274617us","error":null,"tool":"hegel","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.301728253+00:00","status":"failed","tests":53,"discards":0,"time":"275761us","error":null,"tool":"hegel","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.578981572+00:00","status":"failed","tests":53,"discards":0,"time":"274799us","error":null,"tool":"hegel","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:28.855407518+00:00","status":"failed","tests":53,"discards":0,"time":"278282us","error":null,"tool":"hegel","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:29.135124128+00:00","status":"failed","tests":53,"discards":0,"time":"274667us","error":null,"tool":"hegel","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:29.411230202+00:00","status":"failed","tests":53,"discards":0,"time":"278563us","error":null,"tool":"hegel","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:29.691508364+00:00","status":"failed","tests":53,"discards":0,"time":"275559us","error":null,"tool":"hegel","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:29.968544850+00:00","status":"failed","tests":53,"discards":0,"time":"273487us","error":null,"tool":"hegel","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:30.243565577+00:00","status":"failed","tests":53,"discards":0,"time":"279038us","error":null,"tool":"hegel","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestHeaderValuePreserves","mutations":["header_value_htab_59a9fd1_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:30.524181512+00:00","status":"failed","tests":53,"discards":0,"time":"274128us","error":null,"tool":"hegel","counterexample":"([97, 9, 97])"},"hash":"1f999a0a17cb3836c34903f4e5825c251690ac98"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.348349914+00:00","status":"failed","tests":17,"discards":0,"time":"84us","error":null,"tool":"proptest","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.349729227+00:00","status":"failed","tests":5,"discards":0,"time":"53us","error":null,"tool":"proptest","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.350838875+00:00","status":"failed","tests":14,"discards":0,"time":"57us","error":null,"tool":"proptest","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.351929993+00:00","status":"failed","tests":16,"discards":0,"time":"62us","error":null,"tool":"proptest","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.353034001+00:00","status":"failed","tests":22,"discards":0,"time":"73us","error":null,"tool":"proptest","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.354109880+00:00","status":"failed","tests":11,"discards":0,"time":"57us","error":null,"tool":"proptest","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.355204039+00:00","status":"failed","tests":21,"discards":0,"time":"64us","error":null,"tool":"proptest","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.356293394+00:00","status":"failed","tests":20,"discards":0,"time":"70us","error":null,"tool":"proptest","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.357397011+00:00","status":"failed","tests":13,"discards":0,"time":"57us","error":null,"tool":"proptest","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.358480053+00:00","status":"failed","tests":11,"discards":0,"time":"91us","error":null,"tool":"proptest","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.360158373+00:00","status":"failed","tests":2,"discards":0,"time":"30us","error":null,"tool":"quickcheck","counterexample":"(\".0-aa\\\\1/\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.361192263+00:00","status":"failed","tests":1,"discards":0,"time":"27us","error":null,"tool":"quickcheck","counterexample":"(\"\\\\11\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.362278067+00:00","status":"failed","tests":1,"discards":0,"time":"27us","error":null,"tool":"quickcheck","counterexample":"(\"./\\\\?\\\\.//\\\\_?a\\\\10\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.363323009+00:00","status":"failed","tests":1,"discards":0,"time":"30us","error":null,"tool":"quickcheck","counterexample":"(\"\\\\0__=1_a.b\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.364366704+00:00","status":"failed","tests":4,"discards":0,"time":"33us","error":null,"tool":"quickcheck","counterexample":"(\"?.1b\\\\\\\\_0\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.365458280+00:00","status":"failed","tests":1,"discards":0,"time":"30us","error":null,"tool":"quickcheck","counterexample":"(\"1\\\\a1.-=10\\\\?/?b\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.366501367+00:00","status":"failed","tests":6,"discards":0,"time":"36us","error":null,"tool":"quickcheck","counterexample":"(\".\\\\__0-1=/a.b\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.367576802+00:00","status":"failed","tests":2,"discards":0,"time":"29us","error":null,"tool":"quickcheck","counterexample":"(\"_b?-\\\\.b100-.-?0\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.368668159+00:00","status":"failed","tests":3,"discards":0,"time":"32us","error":null,"tool":"quickcheck","counterexample":"(\"1/a/0\\\\.\\\\\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.369738055+00:00","status":"failed","tests":2,"discards":0,"time":"28us","error":null,"tool":"quickcheck","counterexample":"(\"/?_a\\\\1\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.371522414+00:00","status":"failed","tests":2,"discards":0,"time":"53us","error":null,"tool":"crabcheck","counterexample":"(\"1\\\\_b?/1a//0a\\\\ba\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.372545472+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"(\"b=0.-??a/1-0\\\\01\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.373596484+00:00","status":"failed","tests":3,"discards":0,"time":"30us","error":null,"tool":"crabcheck","counterexample":"(\"/a=1?b\\\\.b_\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.374658535+00:00","status":"failed","tests":4,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"(\"a-1\\\\==b/=-__-\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.375720266+00:00","status":"failed","tests":2,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"(\".0?\\\\.00=.\\\\\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.376743354+00:00","status":"failed","tests":3,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"(\"1-0?a\\\\?\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.377801539+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"(\"b0?_aa../a0\\\\=-\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.378912674+00:00","status":"failed","tests":3,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"(\"=1b\\\\\\\\--b=1\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.379941077+00:00","status":"failed","tests":5,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"(\"-\\\\/0_0.\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.380987473+00:00","status":"failed","tests":1,"discards":0,"time":"24us","error":null,"tool":"crabcheck","counterexample":"(\"-a?0_0\\\\-a\")"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.382808577+00:00","status":"failed","tests":28,"discards":0,"time":"229729us","error":null,"tool":"hegel","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.613802169+00:00","status":"failed","tests":28,"discards":0,"time":"227213us","error":null,"tool":"hegel","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:34.842547973+00:00","status":"failed","tests":28,"discards":0,"time":"224403us","error":null,"tool":"hegel","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:35.068618024+00:00","status":"failed","tests":28,"discards":0,"time":"227697us","error":null,"tool":"hegel","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:35.297809098+00:00","status":"failed","tests":28,"discards":0,"time":"227544us","error":null,"tool":"hegel","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:35.526782844+00:00","status":"failed","tests":28,"discards":0,"time":"227319us","error":null,"tool":"hegel","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:35.755788796+00:00","status":"failed","tests":28,"discards":0,"time":"226232us","error":null,"tool":"hegel","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:35.983722963+00:00","status":"failed","tests":28,"discards":0,"time":"235623us","error":null,"tool":"hegel","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:36.220831402+00:00","status":"failed","tests":28,"discards":0,"time":"233999us","error":null,"tool":"hegel","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"RequestPathPreserves","mutations":["backslash_in_uri_1a791f4_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:36.456413132+00:00","status":"failed","tests":28,"discards":0,"time":"232998us","error":null,"tool":"hegel","counterexample":"([92])"},"hash":"b03623e14ae63e6652ef446c90c9c9b61dc6d2d5"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.207382844+00:00","status":"failed","tests":3,"discards":0,"time":"71us","error":null,"tool":"proptest","counterexample":"([72, 84, 84, 80, 47, 49, 46, 49, 32, 53, 48, 48, 10, 88, 45, 69, 114, 114, 58, 32, 49, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.208699791+00:00","status":"failed","tests":5,"discards":0,"time":"65us","error":null,"tool":"proptest","counterexample":"([72, 84, 84, 80, 47, 49, 46, 49, 32, 53, 48, 48, 10, 88, 45, 69, 114, 114, 58, 32, 49, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.209813026+00:00","status":"failed","tests":3,"discards":0,"time":"58us","error":null,"tool":"proptest","counterexample":"([72, 84, 84, 80, 47, 49, 46, 49, 32, 53, 48, 48, 10, 88, 45, 69, 114, 114, 58, 32, 49, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.210886501+00:00","status":"failed","tests":1,"discards":0,"time":"50us","error":null,"tool":"proptest","counterexample":"([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.211977274+00:00","status":"failed","tests":4,"discards":0,"time":"59us","error":null,"tool":"proptest","counterexample":"([72, 84, 84, 80, 47, 49, 46, 49, 32, 53, 48, 48, 10, 88, 45, 69, 114, 114, 58, 32, 49, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.213028338+00:00","status":"failed","tests":3,"discards":0,"time":"55us","error":null,"tool":"proptest","counterexample":"([72, 84, 84, 80, 47, 49, 46, 49, 32, 53, 48, 48, 10, 88, 45, 69, 114, 114, 58, 32, 49, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.214115514+00:00","status":"failed","tests":5,"discards":0,"time":"58us","error":null,"tool":"proptest","counterexample":"([72, 84, 84, 80, 47, 49, 46, 49, 32, 53, 48, 48, 10, 88, 45, 69, 114, 114, 58, 32, 49, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.215176206+00:00","status":"failed","tests":6,"discards":0,"time":"59us","error":null,"tool":"proptest","counterexample":"([72, 84, 84, 80, 47, 49, 46, 49, 32, 53, 48, 48, 10, 88, 45, 69, 114, 114, 58, 32, 49, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.216285463+00:00","status":"failed","tests":3,"discards":0,"time":"57us","error":null,"tool":"proptest","counterexample":"([72, 84, 84, 80, 47, 49, 46, 49, 32, 53, 48, 48, 10, 88, 45, 69, 114, 114, 58, 32, 49, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"proptest","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.217328472+00:00","status":"failed","tests":3,"discards":0,"time":"58us","error":null,"tool":"proptest","counterexample":"([72, 84, 84, 80, 47, 49, 46, 49, 32, 53, 48, 48, 10, 88, 45, 69, 114, 114, 58, 32, 49, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.219117999+00:00","status":"failed","tests":1,"discards":0,"time":"28us","error":null,"tool":"quickcheck","counterexample":"(\"HTTP/1.1 500\\nX-Err: 1\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.220136141+00:00","status":"failed","tests":1,"discards":0,"time":"29us","error":null,"tool":"quickcheck","counterexample":"(\"HTTP/1.0 204\\nConnection: close\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.221190970+00:00","status":"failed","tests":6,"discards":0,"time":"37us","error":null,"tool":"quickcheck","counterexample":"(\"HTTP/1.0 200\\nContent-type: text/html\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.222319609+00:00","status":"failed","tests":3,"discards":0,"time":"35us","error":null,"tool":"quickcheck","counterexample":"(\"HTTP/1.0 204\\nConnection: close\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.223335672+00:00","status":"failed","tests":1,"discards":0,"time":"27us","error":null,"tool":"quickcheck","counterexample":"(\"HTTP/1.0 204\\nConnection: close\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.224354075+00:00","status":"failed","tests":1,"discards":0,"time":"27us","error":null,"tool":"quickcheck","counterexample":"(\"HTTP/1.0 200\\nContent-type: text/html\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.225363926+00:00","status":"failed","tests":1,"discards":0,"time":"30us","error":null,"tool":"quickcheck","counterexample":"(\"HTTP/1.0 204\\nConnection: close\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.226385383+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"(\"HTTP/1.1 500\\nX-Err: 1\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.227439383+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"quickcheck","counterexample":"(\"HTTP/1.0 200\\nContent-type: text/html\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"quickcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.228448052+00:00","status":"failed","tests":1,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"(\"HTTP/1.1 500\\nX-Err: 1\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.230222656+00:00","status":"failed","tests":2,"discards":0,"time":"30us","error":null,"tool":"crabcheck","counterexample":"(\"HTTP/1.1 500\\nX-Err: 1\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.231331486+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"(\"HTTP/1.0 204\\nConnection: close\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.232321660+00:00","status":"failed","tests":2,"discards":0,"time":"29us","error":null,"tool":"crabcheck","counterexample":"(\"HTTP/1.0 204\\nConnection: close\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.233362946+00:00","status":"failed","tests":1,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"(\"HTTP/1.0 204\\nConnection: close\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.234369481+00:00","status":"failed","tests":2,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"(\"HTTP/1.0 200\\nContent-type: text/html\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.235374273+00:00","status":"failed","tests":2,"discards":0,"time":"27us","error":null,"tool":"crabcheck","counterexample":"(\"HTTP/1.0 200\\nContent-type: text/html\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.236462036+00:00","status":"failed","tests":2,"discards":0,"time":"29us","error":null,"tool":"crabcheck","counterexample":"(\"HTTP/1.0 204\\nConnection: close\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.237476927+00:00","status":"failed","tests":1,"discards":0,"time":"74us","error":null,"tool":"crabcheck","counterexample":"(\"HTTP/1.1 500\\nX-Err: 1\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.238552366+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"(\"HTTP/1.0 200\\nContent-type: text/html\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"crabcheck","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.239566817+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"(\"HTTP/1.1 500\\nX-Err: 1\\n\\n\")"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.241428723+00:00","status":"failed","tests":6,"discards":0,"time":"171158us","error":null,"tool":"hegel","counterexample":"([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.413770219+00:00","status":"failed","tests":6,"discards":0,"time":"173638us","error":null,"tool":"hegel","counterexample":"([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.588857263+00:00","status":"failed","tests":6,"discards":0,"time":"181027us","error":null,"tool":"hegel","counterexample":"([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.771326734+00:00","status":"failed","tests":6,"discards":0,"time":"177920us","error":null,"tool":"hegel","counterexample":"([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T16:43:40.950819460+00:00","status":"failed","tests":6,"discards":0,"time":"181473us","error":null,"tool":"hegel","counterexample":"([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T16:43:41.133766942+00:00","status":"failed","tests":6,"discards":0,"time":"180399us","error":null,"tool":"hegel","counterexample":"([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T16:43:41.315633537+00:00","status":"failed","tests":6,"discards":0,"time":"173352us","error":null,"tool":"hegel","counterexample":"([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T16:43:41.490498227+00:00","status":"failed","tests":6,"discards":0,"time":"172664us","error":null,"tool":"hegel","counterexample":"([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T16:43:41.664645057+00:00","status":"failed","tests":6,"discards":0,"time":"173886us","error":null,"tool":"hegel","counterexample":"([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}
{"data":{"experiment":"ci-run","workload":"httparse","language":"rust","strategy":"hegel","property":"ResponseHeaderNamesAreTokens","mutations":["response_no_reason_c0631f2_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T16:43:41.840128362+00:00","status":"failed","tests":6,"discards":0,"time":"179353us","error":null,"tool":"hegel","counterexample":"([72, 84, 84, 80, 47, 49, 46, 48, 32, 50, 48, 48, 10, 67, 111, 110, 116, 101, 110, 116, 45, 116, 121, 112, 101, 58, 32, 116, 101, 120, 116, 47, 104, 116, 109, 108, 10, 10])"},"hash":"8b84d530c157b2d39bbfa3c0528fc26d72c2e93c"}