{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"proptest","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.310814258+00:00","status":"failed","tests":9,"discards":0,"time":"588us","error":null,"tool":"proptest","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"proptest","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.312655735+00:00","status":"failed","tests":9,"discards":0,"time":"501us","error":null,"tool":"proptest","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"proptest","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.314159544+00:00","status":"failed","tests":7,"discards":0,"time":"425us","error":null,"tool":"proptest","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"proptest","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.315532303+00:00","status":"failed","tests":7,"discards":0,"time":"405us","error":null,"tool":"proptest","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"proptest","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.316943390+00:00","status":"failed","tests":8,"discards":0,"time":"500us","error":null,"tool":"proptest","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"proptest","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.318442956+00:00","status":"failed","tests":9,"discards":0,"time":"524us","error":null,"tool":"proptest","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"proptest","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.320035256+00:00","status":"failed","tests":9,"discards":0,"time":"537us","error":null,"tool":"proptest","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"proptest","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.321533895+00:00","status":"failed","tests":9,"discards":0,"time":"498us","error":null,"tool":"proptest","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"proptest","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.323028322+00:00","status":"failed","tests":7,"discards":0,"time":"422us","error":null,"tool":"proptest","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"proptest","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.324423879+00:00","status":"failed","tests":8,"discards":0,"time":"455us","error":null,"tool":"proptest","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"quickcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.325958681+00:00","status":"failed","tests":1,"discards":0,"time":"96us","error":null,"tool":"quickcheck","counterexample":"(panic_count_byte=57)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"quickcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.327081760+00:00","status":"failed","tests":1,"discards":0,"time":"78us","error":null,"tool":"quickcheck","counterexample":"(panic_count_byte=1)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"quickcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.328192170+00:00","status":"failed","tests":1,"discards":0,"time":"142us","error":null,"tool":"quickcheck","counterexample":"(panic_count_byte=88)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"quickcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.329261468+00:00","status":"failed","tests":1,"discards":0,"time":"121us","error":null,"tool":"quickcheck","counterexample":"(panic_count_byte=149)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"quickcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.330319551+00:00","status":"failed","tests":1,"discards":0,"time":"90us","error":null,"tool":"quickcheck","counterexample":"(panic_count_byte=37)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"quickcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.331429945+00:00","status":"failed","tests":1,"discards":0,"time":"92us","error":null,"tool":"quickcheck","counterexample":"(panic_count_byte=164)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"quickcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.332486315+00:00","status":"failed","tests":1,"discards":0,"time":"95us","error":null,"tool":"quickcheck","counterexample":"(panic_count_byte=55)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"quickcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.333534994+00:00","status":"failed","tests":1,"discards":0,"time":"79us","error":null,"tool":"quickcheck","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"quickcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.334622902+00:00","status":"failed","tests":1,"discards":0,"time":"85us","error":null,"tool":"quickcheck","counterexample":"(panic_count_byte=27)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"quickcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.335678394+00:00","status":"failed","tests":1,"discards":0,"time":"103us","error":null,"tool":"quickcheck","counterexample":"(panic_count_byte=100)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"crabcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.336885185+00:00","status":"failed","tests":1,"discards":0,"time":"83us","error":null,"tool":"crabcheck","counterexample":"(panic_count_byte=11)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"crabcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.337945185+00:00","status":"failed","tests":1,"discards":0,"time":"91us","error":null,"tool":"crabcheck","counterexample":"(panic_count_byte=139)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"crabcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.339036199+00:00","status":"failed","tests":1,"discards":0,"time":"88us","error":null,"tool":"crabcheck","counterexample":"(panic_count_byte=239)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"crabcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.340101870+00:00","status":"failed","tests":1,"discards":0,"time":"92us","error":null,"tool":"crabcheck","counterexample":"(panic_count_byte=161)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"crabcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.341155034+00:00","status":"failed","tests":1,"discards":0,"time":"97us","error":null,"tool":"crabcheck","counterexample":"(panic_count_byte=167)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"crabcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.342218551+00:00","status":"failed","tests":1,"discards":0,"time":"135us","error":null,"tool":"crabcheck","counterexample":"(panic_count_byte=181)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"crabcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.343292563+00:00","status":"failed","tests":1,"discards":0,"time":"89us","error":null,"tool":"crabcheck","counterexample":"(panic_count_byte=139)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"crabcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.344332466+00:00","status":"failed","tests":1,"discards":0,"time":"103us","error":null,"tool":"crabcheck","counterexample":"(panic_count_byte=168)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"crabcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.345398654+00:00","status":"failed","tests":1,"discards":0,"time":"89us","error":null,"tool":"crabcheck","counterexample":"(panic_count_byte=24)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"crabcheck","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.346433337+00:00","status":"failed","tests":1,"discards":0,"time":"93us","error":null,"tool":"crabcheck","counterexample":"(panic_count_byte=150)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"hegel","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-20T17:17:55.347709447+00:00","status":"failed","tests":12,"discards":0,"time":"1073103us","error":null,"tool":"hegel","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"hegel","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-20T17:17:56.421957807+00:00","status":"failed","tests":12,"discards":0,"time":"183802us","error":null,"tool":"hegel","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"hegel","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-20T17:17:56.607304847+00:00","status":"failed","tests":12,"discards":0,"time":"178912us","error":null,"tool":"hegel","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"hegel","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-20T17:17:56.787644591+00:00","status":"failed","tests":12,"discards":0,"time":"181953us","error":null,"tool":"hegel","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"hegel","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-20T17:17:56.970902234+00:00","status":"failed","tests":12,"discards":0,"time":"177885us","error":null,"tool":"hegel","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"hegel","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-20T17:17:57.150135770+00:00","status":"failed","tests":12,"discards":0,"time":"187069us","error":null,"tool":"hegel","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"hegel","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-20T17:17:57.338512889+00:00","status":"failed","tests":12,"discards":0,"time":"180288us","error":null,"tool":"hegel","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"hegel","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-20T17:17:57.520432552+00:00","status":"failed","tests":12,"discards":0,"time":"179057us","error":null,"tool":"hegel","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"hegel","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-20T17:17:57.700841192+00:00","status":"failed","tests":12,"discards":0,"time":"177524us","error":null,"tool":"hegel","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}
{"data":{"experiment":"ci-run","workload":"hashbrown","language":"rust","strategy":"hegel","property":"RehashPanicLength","mutations":["rehash_panic_length_6cb0eb5_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-20T17:17:57.879715495+00:00","status":"failed","tests":12,"discards":0,"time":"180124us","error":null,"tool":"hegel","counterexample":"(panic_count_byte=0)"},"hash":"29075a75f0547469c121fd4186cf9f0f2e312630"}