{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.939464868+00:00","status":"failed","tests":13,"discards":0,"time":"122us","error":null,"tool":"proptest","counterexample":"(9223372036854775807 0 1 0)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.940711291+00:00","status":"failed","tests":14,"discards":0,"time":"124us","error":null,"tool":"proptest","counterexample":"(9223372036854775807 0 1 0)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.941740314+00:00","status":"failed","tests":14,"discards":0,"time":"94us","error":null,"tool":"proptest","counterexample":"(9223372036854775807 0 1 0)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.942666019+00:00","status":"failed","tests":15,"discards":0,"time":"118us","error":null,"tool":"proptest","counterexample":"(9223372036854775807 0 1 0)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.943616379+00:00","status":"failed","tests":20,"discards":0,"time":"98us","error":null,"tool":"proptest","counterexample":"(9223372036854775807 0 1 0)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.944543225+00:00","status":"failed","tests":15,"discards":0,"time":"114us","error":null,"tool":"proptest","counterexample":"(9223372036854775807 0 1 0)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.945478003+00:00","status":"failed","tests":13,"discards":0,"time":"98us","error":null,"tool":"proptest","counterexample":"(9223372036854775807 1 1 0)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.946396616+00:00","status":"failed","tests":18,"discards":0,"time":"141us","error":null,"tool":"proptest","counterexample":"(9223372036854775807 0 1 0)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.947280726+00:00","status":"failed","tests":9,"discards":0,"time":"88us","error":null,"tool":"proptest","counterexample":"(0 0 -1 0)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.948157487+00:00","status":"failed","tests":17,"discards":0,"time":"132us","error":null,"tool":"proptest","counterexample":"(0 0 -1 0)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.949292620+00:00","status":"failed","tests":315,"discards":0,"time":"219us","error":null,"tool":"quickcheck","counterexample":"(0 0 -1 0)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.950335341+00:00","status":"failed","tests":427,"discards":0,"time":"254us","error":null,"tool":"quickcheck","counterexample":"(0 0 -1 0)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.951396667+00:00","status":"failed","tests":162,"discards":0,"time":"103us","error":null,"tool":"quickcheck","counterexample":"(0 0 -1 0)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.952403766+00:00","status":"failed","tests":54,"discards":0,"time":"48us","error":null,"tool":"quickcheck","counterexample":"(1 0 1 1)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.953257760+00:00","status":"failed","tests":638,"discards":0,"time":"339us","error":null,"tool":"quickcheck","counterexample":"(2 0 1 0)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.954392440+00:00","status":"failed","tests":675,"discards":0,"time":"350us","error":null,"tool":"quickcheck","counterexample":"(0 0 -1 0)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.955601451+00:00","status":"failed","tests":46,"discards":0,"time":"47us","error":null,"tool":"quickcheck","counterexample":"(0 0 -1 0)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.956475708+00:00","status":"failed","tests":836,"discards":0,"time":"421us","error":null,"tool":"quickcheck","counterexample":"(1 0 1 1)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.957730101+00:00","status":"failed","tests":90,"discards":0,"time":"66us","error":null,"tool":"quickcheck","counterexample":"(0 0 -1 0)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.958621554+00:00","status":"failed","tests":231,"discards":0,"time":"135us","error":null,"tool":"quickcheck","counterexample":"(0 0 -1 0)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.959694240+00:00","status":"failed","tests":3,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"(-3462330338272304894 3785825967 -6107721223702524328 2485108910)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.960696822+00:00","status":"failed","tests":1,"discards":0,"time":"32us","error":null,"tool":"crabcheck","counterexample":"(1390660729949019174 3812801571 -8016673587506467851 3277972394)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.961726192+00:00","status":"failed","tests":3,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(2139479739165428617 501843224 -3792371836534896979 1428855074)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.962591452+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"(3546444401494363184 1843078467 -3365528430011872087 172018839)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.963458725+00:00","status":"failed","tests":1,"discards":0,"time":"24us","error":null,"tool":"crabcheck","counterexample":"(-4758112725711302693 596496562 -1332204406634972000 1558311101)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.964291393+00:00","status":"failed","tests":1,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(1295658852199833234 975645931 -1918757974331693871 233085966)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.965148472+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"(1073017066596347671 1096415996 6261702575314256012 1156372029)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.965938775+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"(191994522340431067 3086991094 -7029944223515850512 2144392384)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.966751874+00:00","status":"failed","tests":1,"discards":0,"time":"29us","error":null,"tool":"crabcheck","counterexample":"(5685507782178736156 517074620 -8075454271364460164 3585571765)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.967608632+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(-6986932897744313256 1664501923 -9154527472241297100 583084272)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:13.968569404+00:00","status":"failed","tests":46,"discards":0,"time":"832487us","error":null,"tool":"hegel","counterexample":"(1 0 1 1)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:14.802165257+00:00","status":"failed","tests":46,"discards":0,"time":"202249us","error":null,"tool":"hegel","counterexample":"(1 0 1 1)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:15.005729973+00:00","status":"failed","tests":46,"discards":0,"time":"205035us","error":null,"tool":"hegel","counterexample":"(1 0 1 1)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:15.212322111+00:00","status":"failed","tests":46,"discards":0,"time":"201069us","error":null,"tool":"hegel","counterexample":"(1 0 1 1)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:15.414715511+00:00","status":"failed","tests":46,"discards":0,"time":"201889us","error":null,"tool":"hegel","counterexample":"(1 0 1 1)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:15.618190167+00:00","status":"failed","tests":46,"discards":0,"time":"203270us","error":null,"tool":"hegel","counterexample":"(1 0 1 1)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:15.822747375+00:00","status":"failed","tests":46,"discards":0,"time":"208724us","error":null,"tool":"hegel","counterexample":"(1 0 1 1)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:16.032957957+00:00","status":"failed","tests":46,"discards":0,"time":"205462us","error":null,"tool":"hegel","counterexample":"(1 0 1 1)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:16.239670389+00:00","status":"failed","tests":46,"discards":0,"time":"203229us","error":null,"tool":"hegel","counterexample":"(1 0 1 1)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"AbsSubDifference","mutations":["abs_sub_returns_abs_dd711db_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:16.444437626+00:00","status":"failed","tests":46,"discards":0,"time":"203291us","error":null,"tool":"hegel","counterexample":"(1 0 1 1)"},"hash":"99577fe486e094341d4754f9c0a9881a360b2675"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.156136920+00:00","status":"failed","tests":36,"discards":0,"time":"142us","error":null,"tool":"proptest","counterexample":"(4000000000 10)"},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.157509542+00:00","status":"passed","tests":256,"discards":0,"time":"502us","error":null,"tool":"proptest","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.159004254+00:00","status":"failed","tests":149,"discards":0,"time":"663us","error":null,"tool":"proptest","counterexample":"(4000000000 10)"},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.160496510+00:00","status":"failed","tests":185,"discards":0,"time":"735us","error":null,"tool":"proptest","counterexample":"(4000000000 10)"},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.162133082+00:00","status":"passed","tests":256,"discards":0,"time":"913us","error":null,"tool":"proptest","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.163896608+00:00","status":"failed","tests":26,"discards":0,"time":"158us","error":null,"tool":"proptest","counterexample":"(4000000000 10)"},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.164928202+00:00","status":"failed","tests":8,"discards":0,"time":"82us","error":null,"tool":"proptest","counterexample":"(4000000000 10)"},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.165832802+00:00","status":"failed","tests":44,"discards":0,"time":"146us","error":null,"tool":"proptest","counterexample":"(4000000000 10)"},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.166791701+00:00","status":"passed","tests":256,"discards":0,"time":"764us","error":null,"tool":"proptest","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.168364440+00:00","status":"passed","tests":256,"discards":0,"time":"1010us","error":null,"tool":"proptest","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.170543645+00:00","status":"passed","tests":2000,"discards":0,"time":"668us","error":null,"tool":"quickcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.172087172+00:00","status":"passed","tests":2000,"discards":0,"time":"713us","error":null,"tool":"quickcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.173850226+00:00","status":"passed","tests":2000,"discards":0,"time":"714us","error":null,"tool":"quickcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.175414394+00:00","status":"passed","tests":2000,"discards":0,"time":"677us","error":null,"tool":"quickcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.176938992+00:00","status":"passed","tests":2000,"discards":0,"time":"691us","error":null,"tool":"quickcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.178485601+00:00","status":"passed","tests":2000,"discards":0,"time":"671us","error":null,"tool":"quickcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.180007261+00:00","status":"passed","tests":2000,"discards":0,"time":"688us","error":null,"tool":"quickcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.181515017+00:00","status":"passed","tests":2000,"discards":0,"time":"686us","error":null,"tool":"quickcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.183022960+00:00","status":"passed","tests":2000,"discards":0,"time":"736us","error":null,"tool":"quickcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.184548103+00:00","status":"passed","tests":2000,"discards":0,"time":"664us","error":null,"tool":"quickcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.186427090+00:00","status":"passed","tests":200,"discards":0,"time":"54us","error":null,"tool":"crabcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.187274377+00:00","status":"passed","tests":200,"discards":0,"time":"51us","error":null,"tool":"crabcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.188096889+00:00","status":"passed","tests":200,"discards":0,"time":"56us","error":null,"tool":"crabcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.188975747+00:00","status":"passed","tests":200,"discards":0,"time":"51us","error":null,"tool":"crabcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.189805823+00:00","status":"passed","tests":200,"discards":0,"time":"51us","error":null,"tool":"crabcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.190659685+00:00","status":"passed","tests":200,"discards":0,"time":"56us","error":null,"tool":"crabcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.191524174+00:00","status":"passed","tests":200,"discards":0,"time":"57us","error":null,"tool":"crabcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.192346919+00:00","status":"passed","tests":200,"discards":0,"time":"124us","error":null,"tool":"crabcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.193272458+00:00","status":"passed","tests":200,"discards":0,"time":"51us","error":null,"tool":"crabcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.194088966+00:00","status":"passed","tests":200,"discards":0,"time":"51us","error":null,"tool":"crabcheck","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.195287183+00:00","status":"passed","tests":200,"discards":0,"time":"309918us","error":null,"tool":"hegel","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.506253765+00:00","status":"passed","tests":200,"discards":0,"time":"309342us","error":null,"tool":"hegel","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:20.817065966+00:00","status":"passed","tests":200,"discards":0,"time":"311158us","error":null,"tool":"hegel","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:21.129633988+00:00","status":"passed","tests":200,"discards":0,"time":"313823us","error":null,"tool":"hegel","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:21.444749757+00:00","status":"passed","tests":200,"discards":0,"time":"309491us","error":null,"tool":"hegel","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:21.755568507+00:00","status":"passed","tests":200,"discards":0,"time":"306580us","error":null,"tool":"hegel","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:22.063522621+00:00","status":"passed","tests":200,"discards":0,"time":"311888us","error":null,"tool":"hegel","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:22.376806383+00:00","status":"passed","tests":200,"discards":0,"time":"313831us","error":null,"tool":"hegel","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:22.691993739+00:00","status":"passed","tests":200,"discards":0,"time":"317792us","error":null,"tool":"hegel","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"IsIntegerMatchesString","mutations":["is_integer_scale_decrement_951512d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:23.011131258+00:00","status":"passed","tests":200,"discards":0,"time":"308041us","error":null,"tool":"hegel","counterexample":null},"hash":"dccde7c5b051436dc1b77681b05ab662788b2053"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.808314268+00:00","status":"failed","tests":20,"discards":0,"time":"130us","error":null,"tool":"proptest","counterexample":"(156)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.809549122+00:00","status":"failed","tests":17,"discards":0,"time":"115us","error":null,"tool":"proptest","counterexample":"(66)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.810590073+00:00","status":"failed","tests":18,"discards":0,"time":"94us","error":null,"tool":"proptest","counterexample":"(78)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.811537383+00:00","status":"failed","tests":10,"discards":0,"time":"139us","error":null,"tool":"proptest","counterexample":"(48)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.812713991+00:00","status":"failed","tests":11,"discards":0,"time":"91us","error":null,"tool":"proptest","counterexample":"(216)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.813683340+00:00","status":"failed","tests":9,"discards":0,"time":"93us","error":null,"tool":"proptest","counterexample":"(156)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.814595717+00:00","status":"failed","tests":11,"discards":0,"time":"89us","error":null,"tool":"proptest","counterexample":"(78)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.815562560+00:00","status":"failed","tests":25,"discards":0,"time":"82us","error":null,"tool":"proptest","counterexample":"(174)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.816443830+00:00","status":"failed","tests":8,"discards":0,"time":"96us","error":null,"tool":"proptest","counterexample":"(42)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.817319142+00:00","status":"failed","tests":13,"discards":0,"time":"98us","error":null,"tool":"proptest","counterexample":"(138)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.818652872+00:00","status":"failed","tests":4,"discards":0,"time":"53us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.819560655+00:00","status":"failed","tests":7,"discards":0,"time":"48us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.820437658+00:00","status":"failed","tests":4,"discards":0,"time":"48us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.821260626+00:00","status":"failed","tests":2,"discards":0,"time":"41us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.822114044+00:00","status":"failed","tests":19,"discards":0,"time":"50us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.822925769+00:00","status":"failed","tests":16,"discards":0,"time":"50us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.823779141+00:00","status":"failed","tests":2,"discards":0,"time":"44us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.824642974+00:00","status":"failed","tests":4,"discards":0,"time":"66us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.825800408+00:00","status":"failed","tests":3,"discards":0,"time":"45us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.826656718+00:00","status":"failed","tests":5,"discards":0,"time":"42us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.828253887+00:00","status":"failed","tests":2,"discards":0,"time":"35us","error":null,"tool":"crabcheck","counterexample":"(42)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.829105048+00:00","status":"failed","tests":6,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"(102)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.829922606+00:00","status":"failed","tests":4,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"(42)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.830762903+00:00","status":"failed","tests":3,"discards":0,"time":"33us","error":null,"tool":"crabcheck","counterexample":"(66)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.831568254+00:00","status":"failed","tests":4,"discards":0,"time":"34us","error":null,"tool":"crabcheck","counterexample":"(114)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.832469534+00:00","status":"failed","tests":1,"discards":0,"time":"32us","error":null,"tool":"crabcheck","counterexample":"(246)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.833310714+00:00","status":"failed","tests":2,"discards":0,"time":"52us","error":null,"tool":"crabcheck","counterexample":"(54)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.834183793+00:00","status":"failed","tests":3,"discards":0,"time":"34us","error":null,"tool":"crabcheck","counterexample":"(66)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.835046325+00:00","status":"failed","tests":27,"discards":0,"time":"32us","error":null,"tool":"crabcheck","counterexample":"(228)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.835841468+00:00","status":"failed","tests":1,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"(210)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.837243056+00:00","status":"failed","tests":12,"discards":0,"time":"157323us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:26.995555468+00:00","status":"failed","tests":12,"discards":0,"time":"157434us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:27.154284918+00:00","status":"failed","tests":12,"discards":0,"time":"159497us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:27.315279761+00:00","status":"failed","tests":12,"discards":0,"time":"159471us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:27.476145502+00:00","status":"failed","tests":12,"discards":0,"time":"160713us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:27.638180825+00:00","status":"failed","tests":12,"discards":0,"time":"160773us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:27.800287534+00:00","status":"failed","tests":12,"discards":0,"time":"160385us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:27.961921420+00:00","status":"failed","tests":12,"discards":0,"time":"159581us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:28.123068739+00:00","status":"failed","tests":12,"discards":0,"time":"160401us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromI128Extremes","mutations":["from_i128_negation_overflow_6f7d295_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:28.284756486+00:00","status":"failed","tests":12,"discards":0,"time":"160028us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"08fd3220fc0d9cf97992510ce641b324853400e8"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:31.988661750+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:31.989813588+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:31.990776811+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:31.991904144+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:31.992818752+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:31.993684192+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:31.994553059+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:31.995428619+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:31.996313403+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:31.997210468+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:31.998652332+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:31.999526974+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.000371063+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.001876522+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.002743550+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.003578733+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.004421984+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.005231250+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.006037883+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.007885737+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.009264364+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.010148053+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.010956174+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.011804209+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.012684601+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.013484384+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.014299651+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.015111975+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.015897358+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.016707519+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.018584675+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.019471973+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.020322899+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.021180750+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.022032268+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.022848334+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.023689448+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.024543377+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.025523724+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"RoundDpPreservesWhenDpExceedsScale","mutations":["round_dp_early_return_reorder_c205456_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:32.026360675+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale"},"hash":"509dbb36c319dd274cd59f613b85825cbc8220e2"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.527349719+00:00","status":"passed","tests":256,"discards":0,"time":"960us","error":null,"tool":"proptest","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.529450531+00:00","status":"passed","tests":256,"discards":0,"time":"436us","error":null,"tool":"proptest","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.530810423+00:00","status":"passed","tests":256,"discards":0,"time":"673us","error":null,"tool":"proptest","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.532329455+00:00","status":"passed","tests":256,"discards":0,"time":"995us","error":null,"tool":"proptest","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.534151318+00:00","status":"passed","tests":256,"discards":0,"time":"678us","error":null,"tool":"proptest","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.535640131+00:00","status":"passed","tests":256,"discards":0,"time":"662us","error":null,"tool":"proptest","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.537181686+00:00","status":"passed","tests":256,"discards":0,"time":"643us","error":null,"tool":"proptest","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.538651531+00:00","status":"passed","tests":256,"discards":0,"time":"784us","error":null,"tool":"proptest","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.540255839+00:00","status":"passed","tests":256,"discards":0,"time":"982us","error":null,"tool":"proptest","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.542049056+00:00","status":"passed","tests":256,"discards":0,"time":"958us","error":null,"tool":"proptest","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.544330191+00:00","status":"passed","tests":2000,"discards":0,"time":"669us","error":null,"tool":"quickcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.545800933+00:00","status":"passed","tests":2000,"discards":0,"time":"694us","error":null,"tool":"quickcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.547298675+00:00","status":"passed","tests":2000,"discards":0,"time":"666us","error":null,"tool":"quickcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.548777551+00:00","status":"passed","tests":2000,"discards":0,"time":"672us","error":null,"tool":"quickcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.550275127+00:00","status":"passed","tests":2000,"discards":0,"time":"675us","error":null,"tool":"quickcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.551732640+00:00","status":"passed","tests":2000,"discards":0,"time":"699us","error":null,"tool":"quickcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.553252084+00:00","status":"passed","tests":2000,"discards":0,"time":"663us","error":null,"tool":"quickcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.554685488+00:00","status":"passed","tests":2000,"discards":0,"time":"662us","error":null,"tool":"quickcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.556167858+00:00","status":"passed","tests":2000,"discards":0,"time":"763us","error":null,"tool":"quickcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.557726116+00:00","status":"passed","tests":2000,"discards":0,"time":"682us","error":null,"tool":"quickcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.560055525+00:00","status":"passed","tests":200,"discards":0,"time":"15us","error":null,"tool":"crabcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.560879891+00:00","status":"passed","tests":200,"discards":0,"time":"14us","error":null,"tool":"crabcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.561667558+00:00","status":"passed","tests":200,"discards":0,"time":"16us","error":null,"tool":"crabcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.562494772+00:00","status":"passed","tests":200,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.563356270+00:00","status":"passed","tests":200,"discards":0,"time":"43us","error":null,"tool":"crabcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.564191366+00:00","status":"passed","tests":200,"discards":0,"time":"16us","error":null,"tool":"crabcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.565029751+00:00","status":"passed","tests":200,"discards":0,"time":"13us","error":null,"tool":"crabcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.565813097+00:00","status":"passed","tests":200,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.566614211+00:00","status":"passed","tests":200,"discards":0,"time":"13us","error":null,"tool":"crabcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.567440641+00:00","status":"passed","tests":200,"discards":0,"time":"14us","error":null,"tool":"crabcheck","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.568871812+00:00","status":"passed","tests":200,"discards":0,"time":"297136us","error":null,"tool":"hegel","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:35.867061851+00:00","status":"passed","tests":200,"discards":0,"time":"314825us","error":null,"tool":"hegel","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:36.183181323+00:00","status":"passed","tests":200,"discards":0,"time":"331724us","error":null,"tool":"hegel","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:36.516260823+00:00","status":"passed","tests":200,"discards":0,"time":"313550us","error":null,"tool":"hegel","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:36.831183875+00:00","status":"passed","tests":200,"discards":0,"time":"312003us","error":null,"tool":"hegel","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:37.144568070+00:00","status":"passed","tests":200,"discards":0,"time":"316503us","error":null,"tool":"hegel","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:37.462428780+00:00","status":"passed","tests":200,"discards":0,"time":"302052us","error":null,"tool":"hegel","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:37.765794053+00:00","status":"passed","tests":200,"discards":0,"time":"309018us","error":null,"tool":"hegel","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:38.076137299+00:00","status":"passed","tests":200,"discards":0,"time":"316846us","error":null,"tool":"hegel","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedLnNoPanic","mutations":["checked_ln_zero_panic_092fdf8_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:38.394586402+00:00","status":"passed","tests":200,"discards":0,"time":"306668us","error":null,"tool":"hegel","counterexample":null},"hash":"af6cc3aa6083453fa07c6b66c565612a753f62ef"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.206747612+00:00","status":"failed","tests":22,"discards":0,"time":"120us","error":null,"tool":"proptest","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.207925390+00:00","status":"failed","tests":7,"discards":0,"time":"75us","error":null,"tool":"proptest","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.208881701+00:00","status":"failed","tests":15,"discards":0,"time":"125us","error":null,"tool":"proptest","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.209867906+00:00","status":"failed","tests":22,"discards":0,"time":"113us","error":null,"tool":"proptest","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.210861476+00:00","status":"failed","tests":20,"discards":0,"time":"137us","error":null,"tool":"proptest","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.211833132+00:00","status":"failed","tests":12,"discards":0,"time":"101us","error":null,"tool":"proptest","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.212772705+00:00","status":"failed","tests":25,"discards":0,"time":"114us","error":null,"tool":"proptest","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.213713792+00:00","status":"failed","tests":7,"discards":0,"time":"74us","error":null,"tool":"proptest","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.214621652+00:00","status":"failed","tests":14,"discards":0,"time":"104us","error":null,"tool":"proptest","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.215566685+00:00","status":"failed","tests":11,"discards":0,"time":"77us","error":null,"tool":"proptest","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.217271126+00:00","status":"failed","tests":2,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.218161079+00:00","status":"failed","tests":2,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.218996593+00:00","status":"failed","tests":2,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.219839259+00:00","status":"failed","tests":2,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.220683708+00:00","status":"failed","tests":2,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.221550972+00:00","status":"failed","tests":2,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.222371923+00:00","status":"failed","tests":2,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.223242880+00:00","status":"failed","tests":2,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.224057235+00:00","status":"failed","tests":2,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.224886201+00:00","status":"failed","tests":2,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.226644168+00:00","status":"passed","tests":200,"discards":0,"time":"117us","error":null,"tool":"crabcheck","counterexample":null},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.227660464+00:00","status":"passed","tests":200,"discards":0,"time":"120us","error":null,"tool":"crabcheck","counterexample":null},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.228640285+00:00","status":"passed","tests":200,"discards":0,"time":"117us","error":null,"tool":"crabcheck","counterexample":null},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.229651605+00:00","status":"passed","tests":200,"discards":0,"time":"120us","error":null,"tool":"crabcheck","counterexample":null},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.230600909+00:00","status":"passed","tests":200,"discards":0,"time":"114us","error":null,"tool":"crabcheck","counterexample":null},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.231589878+00:00","status":"passed","tests":200,"discards":0,"time":"115us","error":null,"tool":"crabcheck","counterexample":null},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.232515468+00:00","status":"passed","tests":200,"discards":0,"time":"114us","error":null,"tool":"crabcheck","counterexample":null},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.233481690+00:00","status":"passed","tests":200,"discards":0,"time":"119us","error":null,"tool":"crabcheck","counterexample":null},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.234443050+00:00","status":"passed","tests":200,"discards":0,"time":"121us","error":null,"tool":"crabcheck","counterexample":null},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.235476919+00:00","status":"passed","tests":200,"discards":0,"time":"121us","error":null,"tool":"crabcheck","counterexample":null},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.237256070+00:00","status":"failed","tests":12,"discards":0,"time":"159691us","error":null,"tool":"hegel","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.398032649+00:00","status":"failed","tests":12,"discards":0,"time":"161808us","error":null,"tool":"hegel","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.561354442+00:00","status":"failed","tests":12,"discards":0,"time":"161570us","error":null,"tool":"hegel","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.724435102+00:00","status":"failed","tests":12,"discards":0,"time":"159911us","error":null,"tool":"hegel","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:01:42.885810930+00:00","status":"failed","tests":12,"discards":0,"time":"162618us","error":null,"tool":"hegel","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:01:43.049739037+00:00","status":"failed","tests":12,"discards":0,"time":"162814us","error":null,"tool":"hegel","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:01:43.213816061+00:00","status":"failed","tests":12,"discards":0,"time":"171473us","error":null,"tool":"hegel","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:01:43.386557768+00:00","status":"failed","tests":12,"discards":0,"time":"161286us","error":null,"tool":"hegel","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:01:43.549168098+00:00","status":"failed","tests":12,"discards":0,"time":"162447us","error":null,"tool":"hegel","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"ScientificFmtRoundtrip","mutations":["scientific_fmt_zero_d0f2a64_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:01:43.712796493+00:00","status":"failed","tests":12,"discards":0,"time":"161827us","error":null,"tool":"hegel","counterexample":"(0 0)"},"hash":"7ed985aa254455783a5bfea0ae10e9f74315068f"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:01:47.374286454+00:00","status":"failed","tests":28,"discards":0,"time":"4104425us","error":null,"tool":"proptest","counterexample":"(32 0 5)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:01:51.480193247+00:00","status":"failed","tests":49,"discards":0,"time":"10257318us","error":null,"tool":"proptest","counterexample":"(0 0 47)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:02:01.738750206+00:00","status":"failed","tests":117,"discards":0,"time":"16410928us","error":null,"tool":"proptest","counterexample":"(32 0 85)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:02:18.150879228+00:00","status":"failed","tests":38,"discards":0,"time":"8203824us","error":null,"tool":"proptest","counterexample":"(32 0 133)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:02:26.355984393+00:00","status":"failed","tests":21,"discards":0,"time":"6160285us","error":null,"tool":"proptest","counterexample":"(32 0 31)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:02:32.517485439+00:00","status":"failed","tests":68,"discards":0,"time":"17973324us","error":null,"tool":"proptest","counterexample":"(224 0 19)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:02:50.492063364+00:00","status":"failed","tests":170,"discards":0,"time":"26959008us","error":null,"tool":"proptest","counterexample":"(224 0 187)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:17.452288431+00:00","status":"failed","tests":37,"discards":0,"time":"12313137us","error":null,"tool":"proptest","counterexample":"(32 0 151)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:29.766700577+00:00","status":"failed","tests":82,"discards":0,"time":"8226020us","error":null,"tool":"proptest","counterexample":"(160 0 7)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:37.993935691+00:00","status":"failed","tests":61,"discards":0,"time":"10257717us","error":null,"tool":"proptest","counterexample":"(96 0 103)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:48.253798658+00:00","status":"failed","tests":126,"discards":0,"time":"52193724us","error":null,"tool":"quickcheck","counterexample":"(0 0 3)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:04:40.448867370+00:00","status":"failed","tests":7,"discards":0,"time":"8231916us","error":null,"tool":"quickcheck","counterexample":"(0 0 15)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:04:48.682086475+00:00","status":"failed","tests":8,"discards":0,"time":"14358849us","error":null,"tool":"quickcheck","counterexample":"(0 0 127)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:05:03.042186180+00:00","status":"failed","tests":75,"discards":0,"time":"18490303us","error":null,"tool":"quickcheck","counterexample":"(0 0 255)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:05:21.533788090+00:00","status":"failed","tests":41,"discards":0,"time":"26883517us","error":null,"tool":"quickcheck","counterexample":"(0 0 63)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:05:48.418548996+00:00","status":"failed","tests":124,"discards":0,"time":"25606229us","error":null,"tool":"quickcheck","counterexample":"(0 0 31)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:06:14.026043060+00:00","status":"failed","tests":45,"discards":0,"time":"42236347us","error":null,"tool":"quickcheck","counterexample":"(0 0 3)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:06:56.263632764+00:00","status":"failed","tests":35,"discards":0,"time":"31950986us","error":null,"tool":"quickcheck","counterexample":"(0 0 3)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:07:28.215861195+00:00","status":"failed","tests":62,"discards":0,"time":"39366499us","error":null,"tool":"quickcheck","counterexample":"(0 0 3)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:08:07.583544025+00:00","status":"failed","tests":51,"discards":0,"time":"21097082us","error":null,"tool":"quickcheck","counterexample":"(0 0 3)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:08:28.684401610+00:00","status":"failed","tests":194,"discards":0,"time":"26675725us","error":null,"tool":"crabcheck","counterexample":"(128 128 237)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:08:55.361806124+00:00","status":"failed","tests":15,"discards":0,"time":"54us","error":null,"tool":"crabcheck","counterexample":"(64 18 225)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:08:55.362934704+00:00","status":"failed","tests":76,"discards":0,"time":"6743246us","error":null,"tool":"crabcheck","counterexample":"(96 15 109)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:09:02.107217986+00:00","status":"failed","tests":16,"discards":0,"time":"50us","error":null,"tool":"crabcheck","counterexample":"(96 182 189)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:09:02.108321177+00:00","status":"failed","tests":4,"discards":0,"time":"44us","error":null,"tool":"crabcheck","counterexample":"(64 20 223)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:09:02.109265623+00:00","status":"failed","tests":113,"discards":0,"time":"12308375us","error":null,"tool":"crabcheck","counterexample":"(128 245 101)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:09:14.418592011+00:00","status":"failed","tests":67,"discards":0,"time":"8255510us","error":null,"tool":"crabcheck","counterexample":"(32 43 99)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:09:22.675286218+00:00","status":"failed","tests":20,"discards":0,"time":"51us","error":null,"tool":"crabcheck","counterexample":"(0 171 175)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:09:22.676374574+00:00","status":"failed","tests":20,"discards":0,"time":"45us","error":null,"tool":"crabcheck","counterexample":"(160 31 195)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:09:22.677315995+00:00","status":"failed","tests":30,"discards":0,"time":"4104371us","error":null,"tool":"crabcheck","counterexample":"(0 107 179)"},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:09:26.783528451+00:00","status":"passed","tests":200,"discards":0,"time":"53675327us","error":null,"tool":"hegel","counterexample":null},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:10:20.460181721+00:00","status":"passed","tests":200,"discards":0,"time":"53696746us","error":null,"tool":"hegel","counterexample":null},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:11:14.158334724+00:00","status":"passed","tests":200,"discards":0,"time":"53751496us","error":null,"tool":"hegel","counterexample":null},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:12:07.911607956+00:00","status":"passed","tests":200,"discards":0,"time":"53751957us","error":null,"tool":"hegel","counterexample":null},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:13:01.665017135+00:00","status":"passed","tests":200,"discards":0,"time":"58781735us","error":null,"tool":"hegel","counterexample":null},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:14:00.448095900+00:00","status":"passed","tests":200,"discards":0,"time":"58773129us","error":null,"tool":"hegel","counterexample":null},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:14:59.222680761+00:00","status":"passed","tests":200,"discards":0,"time":"53687225us","error":null,"tool":"hegel","counterexample":null},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:15:52.911191531+00:00","status":"passed","tests":200,"discards":0,"time":"53688572us","error":null,"tool":"hegel","counterexample":null},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:16:46.601269615+00:00","status":"passed","tests":200,"discards":0,"time":"53698738us","error":null,"tool":"hegel","counterexample":null},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"FromScientificNoPanic","mutations":["scientific_scale_overflow_722af9f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:17:40.301435498+00:00","status":"passed","tests":200,"discards":0,"time":"58768638us","error":null,"tool":"hegel","counterexample":null},"hash":"df2fd0c1a17f9c97a2b9810067c893a3d2439b72"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.497759049+00:00","status":"failed","tests":96,"discards":0,"time":"532us","error":null,"tool":"proptest","counterexample":"(0 0 0 0 88)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.499364662+00:00","status":"failed","tests":37,"discards":0,"time":"256us","error":null,"tool":"proptest","counterexample":"(0 0 0 0 72)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.500536914+00:00","status":"failed","tests":33,"discards":0,"time":"248us","error":null,"tool":"proptest","counterexample":"(0 0 0 0 12)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.501635043+00:00","status":"failed","tests":35,"discards":0,"time":"240us","error":null,"tool":"proptest","counterexample":"(0 0 0 0 124)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.502729522+00:00","status":"failed","tests":32,"discards":0,"time":"232us","error":null,"tool":"proptest","counterexample":"(0 0 0 0 60)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.503811595+00:00","status":"failed","tests":24,"discards":0,"time":"181us","error":null,"tool":"proptest","counterexample":"(0 0 0 0 92)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.504794108+00:00","status":"failed","tests":31,"discards":0,"time":"220us","error":null,"tool":"proptest","counterexample":"(0 0 0 0 88)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.505851107+00:00","status":"failed","tests":33,"discards":0,"time":"194us","error":null,"tool":"proptest","counterexample":"(0 0 0 0 12)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.506833191+00:00","status":"failed","tests":106,"discards":0,"time":"571us","error":null,"tool":"proptest","counterexample":"(0 0 0 0 32)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"proptest","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.508199907+00:00","status":"failed","tests":25,"discards":0,"time":"237us","error":null,"tool":"proptest","counterexample":"(0 0 0 0 60)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.510124958+00:00","status":"failed","tests":4,"discards":0,"time":"54us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.511003863+00:00","status":"failed","tests":24,"discards":0,"time":"78us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.511879456+00:00","status":"failed","tests":10,"discards":0,"time":"70us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.512765499+00:00","status":"failed","tests":4,"discards":0,"time":"57us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.513617368+00:00","status":"failed","tests":8,"discards":0,"time":"69us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.514516763+00:00","status":"failed","tests":9,"discards":0,"time":"65us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.515400577+00:00","status":"failed","tests":12,"discards":0,"time":"66us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.516260399+00:00","status":"failed","tests":3,"discards":0,"time":"52us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.517118737+00:00","status":"failed","tests":5,"discards":0,"time":"60us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"quickcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.517992005+00:00","status":"failed","tests":4,"discards":0,"time":"59us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.519810846+00:00","status":"failed","tests":1,"discards":0,"time":"40us","error":null,"tool":"crabcheck","counterexample":"(4847067109177372266 244 4105532530171836026 40 24)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.520669166+00:00","status":"failed","tests":1,"discards":0,"time":"40us","error":null,"tool":"crabcheck","counterexample":"(8827407697873989883 4 8418617294521810674 176 180)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.521580943+00:00","status":"failed","tests":1,"discards":0,"time":"35us","error":null,"tool":"crabcheck","counterexample":"(6776574313261869395 67 -6465639153866915989 183 4)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.522432143+00:00","status":"failed","tests":1,"discards":0,"time":"38us","error":null,"tool":"crabcheck","counterexample":"(-8147863936172495041 236 -8774738099450393581 5 12)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.523289198+00:00","status":"failed","tests":3,"discards":0,"time":"38us","error":null,"tool":"crabcheck","counterexample":"(-6222677331508073290 206 1009328185675832093 30 196)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.524122400+00:00","status":"failed","tests":3,"discards":0,"time":"35us","error":null,"tool":"crabcheck","counterexample":"(767741548697151922 216 -4179000040046191439 154 136)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.524936424+00:00","status":"failed","tests":2,"discards":0,"time":"39us","error":null,"tool":"crabcheck","counterexample":"(1425919082375163788 215 -3529606575009038576 44 168)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.525833919+00:00","status":"failed","tests":4,"discards":0,"time":"39us","error":null,"tool":"crabcheck","counterexample":"(-8695791176028278105 6 -3105569970471495513 107 144)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.526786192+00:00","status":"failed","tests":6,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"(-4015325930304202642 213 5273098767701091127 40 144)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"crabcheck","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.527671296+00:00","status":"failed","tests":6,"discards":0,"time":"40us","error":null,"tool":"crabcheck","counterexample":"(6602661443118747103 58 2142012002004299257 131 44)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.530585618+00:00","status":"failed","tests":12,"discards":0,"time":"178695us","error":null,"tool":"hegel","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.710324698+00:00","status":"failed","tests":12,"discards":0,"time":"182133us","error":null,"tool":"hegel","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:18:42.893737270+00:00","status":"failed","tests":12,"discards":0,"time":"180496us","error":null,"tool":"hegel","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:18:43.075445594+00:00","status":"failed","tests":12,"discards":0,"time":"177564us","error":null,"tool":"hegel","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:18:43.254504118+00:00","status":"failed","tests":12,"discards":0,"time":"178645us","error":null,"tool":"hegel","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:18:43.434494156+00:00","status":"failed","tests":12,"discards":0,"time":"175514us","error":null,"tool":"hegel","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:18:43.611312100+00:00","status":"failed","tests":12,"discards":0,"time":"177353us","error":null,"tool":"hegel","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:18:43.789860614+00:00","status":"failed","tests":12,"discards":0,"time":"179750us","error":null,"tool":"hegel","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:18:43.971110399+00:00","status":"failed","tests":12,"discards":0,"time":"176110us","error":null,"tool":"hegel","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}
{"data":{"experiment":"ci-run","workload":"rust-decimal","language":"rust","strategy":"hegel","property":"CheckedDivNoPanic","mutations":["div_remainder_overflow_a231fbf_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:18:44.148430018+00:00","status":"failed","tests":12,"discards":0,"time":"180211us","error":null,"tool":"hegel","counterexample":"(0 0 0 0 0)"},"hash":"821571c8e3d308c76adb08be8cb88c8b1b7c8e68"}