{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.703452416+00:00","status":"failed","tests":23,"discards":0,"time":"87us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.704818101+00:00","status":"failed","tests":23,"discards":0,"time":"91us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.705873076+00:00","status":"failed","tests":23,"discards":0,"time":"63us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.706945454+00:00","status":"failed","tests":23,"discards":0,"time":"61us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.707970815+00:00","status":"failed","tests":23,"discards":0,"time":"61us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.709002606+00:00","status":"failed","tests":24,"discards":0,"time":"68us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.710041852+00:00","status":"failed","tests":24,"discards":0,"time":"64us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.711079185+00:00","status":"failed","tests":20,"discards":0,"time":"56us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.712103874+00:00","status":"failed","tests":24,"discards":0,"time":"61us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.713169251+00:00","status":"failed","tests":23,"discards":0,"time":"57us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.714314342+00:00","status":"failed","tests":4,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.715416247+00:00","status":"failed","tests":4,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.716431557+00:00","status":"failed","tests":4,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.717422766+00:00","status":"failed","tests":4,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.718418650+00:00","status":"failed","tests":4,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.719393187+00:00","status":"failed","tests":4,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.720383090+00:00","status":"failed","tests":4,"discards":0,"time":"25us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.721353139+00:00","status":"failed","tests":4,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.722351688+00:00","status":"failed","tests":4,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.723325434+00:00","status":"failed","tests":4,"discards":0,"time":"19us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.724447463+00:00","status":"failed","tests":1,"discards":0,"time":"27us","error":null,"tool":"crabcheck","counterexample":"(254 158 133)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.725505967+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(188 126 132)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.726475732+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(213 202 93)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.727432105+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(113 73 38)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.728394938+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(131 164 169)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.729355750+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"(183 167 61)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.730360901+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(118 195 201)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.731331521+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"(159 29 103)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.732287861+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"(55 46 238)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.733316159+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(52 235 125)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.734478243+00:00","status":"failed","tests":12,"discards":0,"time":"664087us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:15.399773216+00:00","status":"failed","tests":12,"discards":0,"time":"161223us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:15.562321883+00:00","status":"failed","tests":12,"discards":0,"time":"161370us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:15.724990717+00:00","status":"failed","tests":12,"discards":0,"time":"161148us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:15.887463023+00:00","status":"failed","tests":12,"discards":0,"time":"161495us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.050247556+00:00","status":"failed","tests":12,"discards":0,"time":"162190us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.213836559+00:00","status":"failed","tests":12,"discards":0,"time":"162016us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.377158688+00:00","status":"failed","tests":12,"discards":0,"time":"162904us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.541366903+00:00","status":"failed","tests":12,"discards":0,"time":"167586us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"SubtypeWithPlus","mutations":["subtype_with_plus_5ebf32e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.710354827+00:00","status":"failed","tests":12,"discards":0,"time":"176193us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 suf_idx=0)"},"hash":"dc766f3e3376c62561863ea78ff471d27b288d76"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.863363715+00:00","status":"failed","tests":24,"discards":0,"time":"69us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.864649075+00:00","status":"failed","tests":25,"discards":0,"time":"68us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.865721790+00:00","status":"failed","tests":19,"discards":0,"time":"62us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.866771805+00:00","status":"failed","tests":24,"discards":0,"time":"119us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.867875529+00:00","status":"failed","tests":17,"discards":0,"time":"67us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.868919559+00:00","status":"failed","tests":22,"discards":0,"time":"61us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.869989696+00:00","status":"failed","tests":20,"discards":0,"time":"57us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.871012747+00:00","status":"failed","tests":21,"discards":0,"time":"60us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.872079308+00:00","status":"failed","tests":24,"discards":0,"time":"70us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.873113409+00:00","status":"failed","tests":23,"discards":0,"time":"62us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.874355638+00:00","status":"failed","tests":4,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.875340848+00:00","status":"failed","tests":4,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.876368666+00:00","status":"failed","tests":4,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.877374064+00:00","status":"failed","tests":4,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.878384810+00:00","status":"failed","tests":4,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.879366954+00:00","status":"failed","tests":3,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.880418427+00:00","status":"failed","tests":4,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.881446176+00:00","status":"failed","tests":4,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.882468565+00:00","status":"failed","tests":4,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.883443646+00:00","status":"failed","tests":4,"discards":0,"time":"25us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.884772968+00:00","status":"failed","tests":1,"discards":0,"time":"47us","error":null,"tool":"crabcheck","counterexample":"(124 147 179)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.885815240+00:00","status":"failed","tests":1,"discards":0,"time":"47us","error":null,"tool":"crabcheck","counterexample":"(116 3 1)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.886821342+00:00","status":"failed","tests":1,"discards":0,"time":"52us","error":null,"tool":"crabcheck","counterexample":"(159 8 138)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.887841036+00:00","status":"failed","tests":1,"discards":0,"time":"44us","error":null,"tool":"crabcheck","counterexample":"(53 115 16)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.888818341+00:00","status":"failed","tests":1,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"(60 82 79)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.889838507+00:00","status":"failed","tests":1,"discards":0,"time":"63us","error":null,"tool":"crabcheck","counterexample":"(189 32 145)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.890833894+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"(180 60 211)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.891849532+00:00","status":"failed","tests":1,"discards":0,"time":"49us","error":null,"tool":"crabcheck","counterexample":"(60 191 139)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.892808390+00:00","status":"failed","tests":1,"discards":0,"time":"40us","error":null,"tool":"crabcheck","counterexample":"(6 58 68)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.893810332+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(153 146 165)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.895064032+00:00","status":"failed","tests":12,"discards":0,"time":"160985us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:19.057255593+00:00","status":"failed","tests":12,"discards":0,"time":"160936us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:19.219652286+00:00","status":"failed","tests":12,"discards":0,"time":"161476us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:19.382592605+00:00","status":"failed","tests":12,"discards":0,"time":"162506us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:19.546526450+00:00","status":"failed","tests":12,"discards":0,"time":"160671us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:19.708478063+00:00","status":"failed","tests":12,"discards":0,"time":"160768us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:19.870854294+00:00","status":"failed","tests":12,"discards":0,"time":"161219us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:20.033407890+00:00","status":"failed","tests":12,"discards":0,"time":"163052us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:20.197955630+00:00","status":"failed","tests":12,"discards":0,"time":"161111us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"StripEmptyParams","mutations":["strip_empty_params_7a39824_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:20.360861027+00:00","status":"failed","tests":12,"discards":0,"time":"161366us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 ws_count=0)"},"hash":"e0341a0a5e9413cb80892c0a41416907c88be2ec"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.482916763+00:00","status":"failed","tests":27,"discards":0,"time":"73us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.484193435+00:00","status":"failed","tests":30,"discards":0,"time":"81us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.485255950+00:00","status":"failed","tests":30,"discards":0,"time":"71us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.486323993+00:00","status":"failed","tests":32,"discards":0,"time":"81us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.487363656+00:00","status":"failed","tests":32,"discards":0,"time":"75us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.488417121+00:00","status":"failed","tests":26,"discards":0,"time":"66us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.489450152+00:00","status":"failed","tests":25,"discards":0,"time":"67us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.490471827+00:00","status":"failed","tests":30,"discards":0,"time":"70us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.491498516+00:00","status":"failed","tests":31,"discards":0,"time":"72us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.492531553+00:00","status":"failed","tests":33,"discards":0,"time":"71us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.493941718+00:00","status":"failed","tests":5,"discards":0,"time":"30us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.495004450+00:00","status":"failed","tests":5,"discards":0,"time":"25us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.496051337+00:00","status":"failed","tests":5,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.497083062+00:00","status":"failed","tests":5,"discards":0,"time":"25us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.498074835+00:00","status":"failed","tests":5,"discards":0,"time":"27us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.499095501+00:00","status":"failed","tests":5,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.500067125+00:00","status":"failed","tests":5,"discards":0,"time":"26us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.501094552+00:00","status":"failed","tests":5,"discards":0,"time":"28us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.502113195+00:00","status":"failed","tests":5,"discards":0,"time":"28us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.503099196+00:00","status":"failed","tests":4,"discards":0,"time":"25us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.504574010+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"(146 162 81 201)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.505540442+00:00","status":"failed","tests":1,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(153 80 129 71)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.506616363+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"(103 121 57 29)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.507586934+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"(4 240 176 183)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.508588154+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(211 147 61 38)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.509596446+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"(115 186 120 141)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.510541712+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"(204 119 17 189)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.511512413+00:00","status":"failed","tests":1,"discards":0,"time":"27us","error":null,"tool":"crabcheck","counterexample":"(222 95 100 185)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.512501421+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"(164 43 77 244)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.513456954+00:00","status":"failed","tests":1,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"(218 181 36 149)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.514918073+00:00","status":"failed","tests":12,"discards":0,"time":"162812us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.678916026+00:00","status":"failed","tests":12,"discards":0,"time":"163557us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:22.843787481+00:00","status":"failed","tests":12,"discards":0,"time":"163148us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:23.008261955+00:00","status":"failed","tests":12,"discards":0,"time":"162869us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:23.172665597+00:00","status":"failed","tests":12,"discards":0,"time":"163283us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:23.337408271+00:00","status":"failed","tests":12,"discards":0,"time":"164271us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:23.503169469+00:00","status":"failed","tests":12,"discards":0,"time":"162049us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:23.666594108+00:00","status":"failed","tests":12,"discards":0,"time":"165111us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:23.832963284+00:00","status":"failed","tests":12,"discards":0,"time":"164185us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"OwsBeforeSemicolon","mutations":["ows_before_semicolon_2e0268e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:23.998522753+00:00","status":"failed","tests":12,"discards":0,"time":"162849us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"152a12f77735297839222e4d00fd5c0103b8005b"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.143883884+00:00","status":"failed","tests":29,"discards":0,"time":"88us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.145118239+00:00","status":"failed","tests":30,"discards":0,"time":"88us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.146252797+00:00","status":"failed","tests":26,"discards":0,"time":"81us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.147302908+00:00","status":"failed","tests":31,"discards":0,"time":"86us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.148418520+00:00","status":"failed","tests":28,"discards":0,"time":"85us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.149464975+00:00","status":"failed","tests":25,"discards":0,"time":"82us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.150542376+00:00","status":"failed","tests":32,"discards":0,"time":"89us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.151603637+00:00","status":"failed","tests":32,"discards":0,"time":"88us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.152667424+00:00","status":"failed","tests":29,"discards":0,"time":"79us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"proptest","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.153772689+00:00","status":"failed","tests":32,"discards":0,"time":"79us","error":null,"tool":"proptest","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.155288965+00:00","status":"failed","tests":5,"discards":0,"time":"29us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.156349430+00:00","status":"failed","tests":5,"discards":0,"time":"29us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.157342169+00:00","status":"failed","tests":5,"discards":0,"time":"29us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.158413163+00:00","status":"failed","tests":5,"discards":0,"time":"29us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.159398608+00:00","status":"failed","tests":5,"discards":0,"time":"28us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.160436231+00:00","status":"failed","tests":5,"discards":0,"time":"28us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.161421495+00:00","status":"failed","tests":5,"discards":0,"time":"31us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.162466922+00:00","status":"failed","tests":5,"discards":0,"time":"29us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.163450427+00:00","status":"failed","tests":5,"discards":0,"time":"26us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"quickcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.164458361+00:00","status":"failed","tests":5,"discards":0,"time":"28us","error":null,"tool":"quickcheck","counterexample":"(0 0 0 0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.165978769+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"(198 223 191 171)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.166996067+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"(68 110 191 252)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.168040697+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"(120 148 145 204)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.169035637+00:00","status":"failed","tests":1,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"(16 104 244 220)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.170312650+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(86 49 221 123)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.171357630+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"(184 217 251 193)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.172378537+00:00","status":"failed","tests":1,"discards":0,"time":"27us","error":null,"tool":"crabcheck","counterexample":"(144 147 68 167)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.173383383+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(17 24 13 102)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.174395483+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(76 203 127 80)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"crabcheck","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.175392885+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"(192 103 189 82)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.176907864+00:00","status":"failed","tests":12,"discards":0,"time":"162849us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.340951884+00:00","status":"failed","tests":12,"discards":0,"time":"167503us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.509789200+00:00","status":"failed","tests":12,"discards":0,"time":"165376us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.676669757+00:00","status":"failed","tests":12,"discards":0,"time":"162828us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:26.840858928+00:00","status":"failed","tests":12,"discards":0,"time":"164686us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:27.006865001+00:00","status":"failed","tests":12,"discards":0,"time":"164742us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:27.173109093+00:00","status":"failed","tests":12,"discards":0,"time":"163987us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:27.338700349+00:00","status":"failed","tests":12,"discards":0,"time":"163597us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:27.503626589+00:00","status":"failed","tests":12,"discards":0,"time":"163945us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}
{"data":{"experiment":"ci-run","workload":"mime","language":"rust","strategy":"hegel","property":"QuotedVsUnquotedParamEq","mutations":["quoted_vs_unquoted_param_eq_0bba696_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:27.668868282+00:00","status":"failed","tests":12,"discards":0,"time":"162765us","error":null,"tool":"hegel","counterexample":"(t_idx=0 s_idx=0 p_idx=0 v_idx=0)"},"hash":"48b756530cbd51a73f07eb74cbbd3606a90f40c9"}