{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"proptest","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.942079901+00:00","status":"failed","tests":20,"discards":0,"time":"423us","error":null,"tool":"proptest","counterexample":"(9007199254740997 800)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"proptest","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.943663550+00:00","status":"failed","tests":19,"discards":0,"time":"351us","error":null,"tool":"proptest","counterexample":"(9007199254740997 800)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"proptest","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.944953965+00:00","status":"failed","tests":40,"discards":0,"time":"523us","error":null,"tool":"proptest","counterexample":"(9007199254740993 800)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"proptest","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.946366792+00:00","status":"failed","tests":26,"discards":0,"time":"592us","error":null,"tool":"proptest","counterexample":"(9007199254740997 800)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"proptest","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.947919396+00:00","status":"failed","tests":34,"discards":0,"time":"866us","error":null,"tool":"proptest","counterexample":"(9007199254740993 800)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"proptest","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.949657591+00:00","status":"failed","tests":16,"discards":0,"time":"238us","error":null,"tool":"proptest","counterexample":"(9007199254740997 800)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"proptest","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.950862716+00:00","status":"failed","tests":25,"discards":0,"time":"386us","error":null,"tool":"proptest","counterexample":"(9007199254740993 800)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"proptest","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.952131945+00:00","status":"failed","tests":19,"discards":0,"time":"260us","error":null,"tool":"proptest","counterexample":"(9007199254740997 800)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"proptest","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.953370648+00:00","status":"failed","tests":45,"discards":0,"time":"1013us","error":null,"tool":"proptest","counterexample":"(9007199254740993 800)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"proptest","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.955365498+00:00","status":"failed","tests":16,"discards":0,"time":"181us","error":null,"tool":"proptest","counterexample":"(9007199254740993 800)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"quickcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.956594438+00:00","status":"failed","tests":638,"discards":0,"time":"1755us","error":null,"tool":"quickcheck","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"quickcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.959268161+00:00","status":"failed","tests":477,"discards":0,"time":"1325us","error":null,"tool":"quickcheck","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"quickcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.961490427+00:00","status":"failed","tests":422,"discards":0,"time":"1214us","error":null,"tool":"quickcheck","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"quickcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.963584176+00:00","status":"failed","tests":397,"discards":0,"time":"1063us","error":null,"tool":"quickcheck","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"quickcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.965544042+00:00","status":"failed","tests":385,"discards":0,"time":"1122us","error":null,"tool":"quickcheck","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"quickcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.967554546+00:00","status":"failed","tests":481,"discards":0,"time":"1270us","error":null,"tool":"quickcheck","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"quickcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.969728191+00:00","status":"failed","tests":505,"discards":0,"time":"1519us","error":null,"tool":"quickcheck","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"quickcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.972178227+00:00","status":"failed","tests":510,"discards":0,"time":"1432us","error":null,"tool":"quickcheck","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"quickcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.974536447+00:00","status":"failed","tests":285,"discards":0,"time":"690us","error":null,"tool":"quickcheck","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"quickcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.976146062+00:00","status":"failed","tests":566,"discards":0,"time":"1390us","error":null,"tool":"quickcheck","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"crabcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.978606202+00:00","status":"failed","tests":2,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"(9007199254741145 1383)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"crabcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.979578035+00:00","status":"failed","tests":1,"discards":0,"time":"33us","error":null,"tool":"crabcheck","counterexample":"(9007199254741161 1043)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"crabcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.980514138+00:00","status":"failed","tests":6,"discards":0,"time":"69us","error":null,"tool":"crabcheck","counterexample":"(9007199254741041 1335)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"crabcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.981487664+00:00","status":"failed","tests":3,"discards":0,"time":"40us","error":null,"tool":"crabcheck","counterexample":"(9007199254741093 901)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"crabcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.982398489+00:00","status":"failed","tests":11,"discards":0,"time":"175us","error":null,"tool":"crabcheck","counterexample":"(9007199254741153 1472)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"crabcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.983462815+00:00","status":"failed","tests":1,"discards":0,"time":"35us","error":null,"tool":"crabcheck","counterexample":"(9007199254741009 1325)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"crabcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.984398626+00:00","status":"failed","tests":5,"discards":0,"time":"125us","error":null,"tool":"crabcheck","counterexample":"(9007199254741025 951)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"crabcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.985402369+00:00","status":"failed","tests":2,"discards":0,"time":"38us","error":null,"tool":"crabcheck","counterexample":"(9007199254741085 1363)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"crabcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.986349893+00:00","status":"failed","tests":9,"discards":0,"time":"309us","error":null,"tool":"crabcheck","counterexample":"(9007199254741065 815)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"crabcheck","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.987566353+00:00","status":"failed","tests":1,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"(9007199254741137 1024)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"hegel","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:30.988699033+00:00","status":"failed","tests":48,"discards":0,"time":"1008762us","error":null,"tool":"hegel","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"hegel","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:31.998772567+00:00","status":"failed","tests":48,"discards":0,"time":"235152us","error":null,"tool":"hegel","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"hegel","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:32.235313219+00:00","status":"failed","tests":48,"discards":0,"time":"221547us","error":null,"tool":"hegel","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"hegel","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:32.458197216+00:00","status":"failed","tests":48,"discards":0,"time":"217433us","error":null,"tool":"hegel","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"hegel","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:32.676891728+00:00","status":"failed","tests":48,"discards":0,"time":"219509us","error":null,"tool":"hegel","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"hegel","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:32.897713350+00:00","status":"failed","tests":48,"discards":0,"time":"228898us","error":null,"tool":"hegel","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"hegel","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:33.127928319+00:00","status":"failed","tests":48,"discards":0,"time":"216334us","error":null,"tool":"hegel","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"hegel","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:33.345765718+00:00","status":"failed","tests":48,"discards":0,"time":"219287us","error":null,"tool":"hegel","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"hegel","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:33.566421666+00:00","status":"failed","tests":48,"discards":0,"time":"218546us","error":null,"tool":"hegel","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}
{"data":{"experiment":"ci-run","workload":"fast-float","language":"rust","strategy":"hegel","property":"DecimalRoundtripF64","mutations":["decimal_trailing_zeros_56ac048_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:33.786272932+00:00","status":"failed","tests":48,"discards":0,"time":"222574us","error":null,"tool":"hegel","counterexample":"(9007199254740993 753)"},"hash":"f451c313c30648a027849389aa3bbfc3c1ee6be2"}