{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"proptest","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.394824445+00:00","status":"failed","tests":19,"discards":0,"time":"84us","error":null,"tool":"proptest","counterexample":"(49 50)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"proptest","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.396248618+00:00","status":"failed","tests":20,"discards":0,"time":"70us","error":null,"tool":"proptest","counterexample":"(17 18)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"proptest","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.397324056+00:00","status":"failed","tests":17,"discards":0,"time":"69us","error":null,"tool":"proptest","counterexample":"(49 50)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"proptest","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.398472223+00:00","status":"failed","tests":12,"discards":0,"time":"65us","error":null,"tool":"proptest","counterexample":"(17 18)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"proptest","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.399536495+00:00","status":"failed","tests":11,"discards":0,"time":"67us","error":null,"tool":"proptest","counterexample":"(0 1)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"proptest","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.400638272+00:00","status":"failed","tests":15,"discards":0,"time":"97us","error":null,"tool":"proptest","counterexample":"(33 34)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"proptest","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.401703906+00:00","status":"failed","tests":13,"discards":0,"time":"64us","error":null,"tool":"proptest","counterexample":"(33 34)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"proptest","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.402825383+00:00","status":"failed","tests":14,"discards":0,"time":"63us","error":null,"tool":"proptest","counterexample":"(17 18)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"proptest","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.403967021+00:00","status":"failed","tests":12,"discards":0,"time":"69us","error":null,"tool":"proptest","counterexample":"(21 17)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"proptest","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.405062179+00:00","status":"failed","tests":13,"discards":0,"time":"71us","error":null,"tool":"proptest","counterexample":"(35 33)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"quickcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.406210447+00:00","status":"failed","tests":2,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"(42 38)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"quickcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.407271383+00:00","status":"failed","tests":2,"discards":0,"time":"19us","error":null,"tool":"quickcheck","counterexample":"(64 59)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"quickcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.408294893+00:00","status":"failed","tests":8,"discards":0,"time":"25us","error":null,"tool":"quickcheck","counterexample":"(4 1)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"quickcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.409378047+00:00","status":"failed","tests":1,"discards":0,"time":"17us","error":null,"tool":"quickcheck","counterexample":"(62 60)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"quickcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.410528799+00:00","status":"failed","tests":4,"discards":0,"time":"25us","error":null,"tool":"quickcheck","counterexample":"(12 3)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"quickcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.411607507+00:00","status":"failed","tests":9,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"(11 1)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"quickcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.412653536+00:00","status":"failed","tests":4,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"(35 34)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"quickcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.413688749+00:00","status":"failed","tests":2,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"(48 37)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"quickcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.414734827+00:00","status":"failed","tests":6,"discards":0,"time":"26us","error":null,"tool":"quickcheck","counterexample":"(39 47)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"quickcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.415820847+00:00","status":"failed","tests":4,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"(29 28)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"crabcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.417009750+00:00","status":"failed","tests":10,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"(42 38)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"crabcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.418035499+00:00","status":"failed","tests":4,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(16 10)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"crabcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.419063140+00:00","status":"failed","tests":11,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"(16 14)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"crabcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.420099214+00:00","status":"failed","tests":2,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(58 52)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"crabcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.421150240+00:00","status":"failed","tests":6,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"(55 50)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"crabcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.422181477+00:00","status":"failed","tests":15,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"(64 49)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"crabcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.423230951+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(6 9)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"crabcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.424253475+00:00","status":"failed","tests":2,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(34 47)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"crabcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.425322648+00:00","status":"failed","tests":1,"discards":0,"time":"17us","error":null,"tool":"crabcheck","counterexample":"(60 57)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"crabcheck","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.426354906+00:00","status":"failed","tests":3,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(33 46)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"hegel","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:00:04.427575007+00:00","status":"failed","tests":36,"discards":0,"time":"688650us","error":null,"tool":"hegel","counterexample":"(0 1)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"hegel","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:00:05.117502770+00:00","status":"failed","tests":36,"discards":0,"time":"195258us","error":null,"tool":"hegel","counterexample":"(0 1)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"hegel","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:00:05.314249528+00:00","status":"failed","tests":36,"discards":0,"time":"197561us","error":null,"tool":"hegel","counterexample":"(0 1)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"hegel","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:00:05.513315216+00:00","status":"failed","tests":36,"discards":0,"time":"197672us","error":null,"tool":"hegel","counterexample":"(0 1)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"hegel","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:00:05.712502537+00:00","status":"failed","tests":36,"discards":0,"time":"196417us","error":null,"tool":"hegel","counterexample":"(0 1)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"hegel","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:00:05.910680308+00:00","status":"failed","tests":36,"discards":0,"time":"196230us","error":null,"tool":"hegel","counterexample":"(0 1)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"hegel","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:00:06.108363646+00:00","status":"failed","tests":36,"discards":0,"time":"197342us","error":null,"tool":"hegel","counterexample":"(0 1)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"hegel","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:00:06.307222337+00:00","status":"failed","tests":36,"discards":0,"time":"192078us","error":null,"tool":"hegel","counterexample":"(0 1)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"hegel","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:00:06.500834715+00:00","status":"failed","tests":36,"discards":0,"time":"192533us","error":null,"tool":"hegel","counterexample":"(0 1)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}
{"data":{"experiment":"ci-run","workload":"ahash","language":"rust","strategy":"hegel","property":"NullPaddingDistinct","mutations":["null_padding_collisions_5c99070_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:00:06.694989425+00:00","status":"failed","tests":36,"discards":0,"time":"195280us","error":null,"tool":"hegel","counterexample":"(0 1)"},"hash":"0abde1b519ef7bb4e3737fc0fb133f76ef004d6e"}