{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.812898014+00:00","status":"failed","tests":34,"discards":0,"time":"186us","error":null,"tool":"proptest","counterexample":"(\" a !\" 18446744073709551612)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.814601983+00:00","status":"failed","tests":94,"discards":0,"time":"328us","error":null,"tool":"proptest","counterexample":"(\"9IU%V{^\\\"q669SH1w\" 18446744073709551600)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.816131204+00:00","status":"failed","tests":48,"discards":0,"time":"236us","error":null,"tool":"proptest","counterexample":"(\"X)l<U1v\" 18446744073709551609)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.817573523+00:00","status":"failed","tests":41,"discards":0,"time":"153us","error":null,"tool":"proptest","counterexample":"(\"b=&&* e\" 18446744073709551609)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.819036539+00:00","status":"failed","tests":61,"discards":0,"time":"231us","error":null,"tool":"proptest","counterexample":"(\"_S\\\"M<LxTvX/+&g&=<\\\\oe}l)\" 18446744073709551593)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.820477758+00:00","status":"failed","tests":39,"discards":0,"time":"159us","error":null,"tool":"proptest","counterexample":"(\"?t!x\\\\\" 18446744073709551611)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.821820577+00:00","status":"failed","tests":47,"discards":0,"time":"182us","error":null,"tool":"proptest","counterexample":"(\" .+5\\\\4*\" 18446744073709551609)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.823167092+00:00","status":"failed","tests":41,"discards":0,"time":"199us","error":null,"tool":"proptest","counterexample":"(\"X::d'9?/EERCt'.u\\\\.\" 18446744073709551598)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.824520628+00:00","status":"failed","tests":28,"discards":0,"time":"142us","error":null,"tool":"proptest","counterexample":"(\" \" 18446744073709551615)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.825823367+00:00","status":"failed","tests":44,"discards":0,"time":"155us","error":null,"tool":"proptest","counterexample":"(\"0!:H]=k(|{\" 18446744073709551606)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.827274340+00:00","status":"failed","tests":10,"discards":0,"time":"62us","error":null,"tool":"quickcheck","counterexample":"(\"40#'][&J/9HEHCiR{12(TA  4/[[\" 18446744073709551615)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.828518931+00:00","status":"failed","tests":4,"discards":0,"time":"28us","error":null,"tool":"quickcheck","counterexample":"(\"?;W\" 18446744073709551614)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.829726427+00:00","status":"failed","tests":22,"discards":0,"time":"42us","error":null,"tool":"quickcheck","counterexample":"(\"I]@)71hrCUc7 cSQ,k^.U,3HD\" 18446744073709551604)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.831016161+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(\"^z'H5,c8(-Z'{-}=-(!3N=\" 18446744073709551596)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.832303132+00:00","status":"failed","tests":8,"discards":0,"time":"37us","error":null,"tool":"quickcheck","counterexample":"(\"Kqq\" 18446744073709551614)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.833528169+00:00","status":"failed","tests":7,"discards":0,"time":"36us","error":null,"tool":"quickcheck","counterexample":"(\"c$4cpW Wp|. *!Yh15gzWSyN`s\" 18446744073709551615)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.834747717+00:00","status":"failed","tests":1,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"(\"4zY*UQtPDLVH9/i}0$mP-P4E6N#q \" 18446744073709551601)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.835966445+00:00","status":"failed","tests":5,"discards":0,"time":"32us","error":null,"tool":"quickcheck","counterexample":"(\">G1!8NSS8Ir>$ \" 18446744073709551606)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.837138362+00:00","status":"failed","tests":4,"discards":0,"time":"31us","error":null,"tool":"quickcheck","counterexample":"(\"n Wl jrPh6:u<c\\\"XaV:<^X0cjre\" 18446744073709551597)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.838385833+00:00","status":"failed","tests":2,"discards":0,"time":"28us","error":null,"tool":"quickcheck","counterexample":"(\"p!aS.+{ce;\\\\f|>N*/#ScR! fGEAU)ZT\" 18446744073709551587)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.839693735+00:00","status":"failed","tests":18,"discards":0,"time":"33us","error":null,"tool":"crabcheck","counterexample":"(\"-2}I+[|3ERp@mD*5hIW{B\\\\J\" 18446744073709551600)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.840924891+00:00","status":"failed","tests":3,"discards":0,"time":"30us","error":null,"tool":"crabcheck","counterexample":"(\"y!'#|RZVmVINUZ8\\\\5\" 18446744073709551601)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.842162427+00:00","status":"failed","tests":2,"discards":0,"time":"34us","error":null,"tool":"crabcheck","counterexample":"(\"UAY)6k1G\\\"f-7*u(}'V@Pc\" 18446744073709551612)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.843406743+00:00","status":"failed","tests":4,"discards":0,"time":"30us","error":null,"tool":"crabcheck","counterexample":"(\"S^[dA6RtuF(\" 18446744073709551606)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.844649086+00:00","status":"failed","tests":8,"discards":0,"time":"30us","error":null,"tool":"crabcheck","counterexample":"(\"gQC|!sD7(Q-;YJ<y@BHb`)z.']wUC*/\" 18446744073709551585)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.845860482+00:00","status":"failed","tests":3,"discards":0,"time":"31us","error":null,"tool":"crabcheck","counterexample":"(\"jvo) G\" 18446744073709551610)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.847059811+00:00","status":"failed","tests":4,"discards":0,"time":"31us","error":null,"tool":"crabcheck","counterexample":"(\"(Zl hA1BXF,*H@8j8m)oXqo\" 18446744073709551597)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.848271327+00:00","status":"failed","tests":11,"discards":0,"time":"30us","error":null,"tool":"crabcheck","counterexample":"(\"I-pJD\" 18446744073709551611)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.849470986+00:00","status":"failed","tests":11,"discards":0,"time":"33us","error":null,"tool":"crabcheck","counterexample":"(\"\\\"= 8HSLrDFG\\\"zkN,\\\\8/]a'@.?\" 18446744073709551610)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.850690956+00:00","status":"failed","tests":16,"discards":0,"time":"31us","error":null,"tool":"crabcheck","counterexample":"(\"5o}6TcQRXnoE|-0ov,`\" 18446744073709551612)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:16:37.852077656+00:00","status":"failed","tests":12,"discards":0,"time":"694670us","error":null,"tool":"hegel","counterexample":"(\" \" 18446744073709551615)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:16:38.548240658+00:00","status":"failed","tests":12,"discards":0,"time":"200996us","error":null,"tool":"hegel","counterexample":"(\" \" 18446744073709551615)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:16:38.751138838+00:00","status":"failed","tests":12,"discards":0,"time":"204858us","error":null,"tool":"hegel","counterexample":"(\" \" 18446744073709551615)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:16:38.957798224+00:00","status":"failed","tests":12,"discards":0,"time":"200875us","error":null,"tool":"hegel","counterexample":"(\" \" 18446744073709551615)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:16:39.160564514+00:00","status":"failed","tests":12,"discards":0,"time":"206943us","error":null,"tool":"hegel","counterexample":"(\" \" 18446744073709551615)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:16:39.369247130+00:00","status":"failed","tests":12,"discards":0,"time":"200973us","error":null,"tool":"hegel","counterexample":"(\" \" 18446744073709551615)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:16:39.572090723+00:00","status":"failed","tests":12,"discards":0,"time":"199482us","error":null,"tool":"hegel","counterexample":"(\" \" 18446744073709551615)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:16:39.773327712+00:00","status":"failed","tests":12,"discards":0,"time":"200962us","error":null,"tool":"hegel","counterexample":"(\" \" 18446744073709551615)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:16:39.976026286+00:00","status":"failed","tests":12,"discards":0,"time":"200672us","error":null,"tool":"hegel","counterexample":"(\" \" 18446744073709551615)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"TryReserveOverflowReturnsErr","mutations":["try_reserve_overflow_silent_ae5f2bc_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:16:40.178439389+00:00","status":"failed","tests":12,"discards":0,"time":"204211us","error":null,"tool":"hegel","counterexample":"(\" \" 18446744073709551615)"},"hash":"d4b3142819d060628e9591bdde16e9a1a231a7cc"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.502292930+00:00","status":"failed","tests":9,"discards":0,"time":"167us","error":null,"tool":"proptest","counterexample":"(\"A\" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.503925652+00:00","status":"failed","tests":13,"discards":0,"time":"172us","error":null,"tool":"proptest","counterexample":"(\"a\" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.505397972+00:00","status":"failed","tests":15,"discards":0,"time":"179us","error":null,"tool":"proptest","counterexample":"(\" \" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.506849405+00:00","status":"failed","tests":18,"discards":0,"time":"207us","error":null,"tool":"proptest","counterexample":"(\"A\" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.508333407+00:00","status":"failed","tests":21,"discards":0,"time":"226us","error":null,"tool":"proptest","counterexample":"(\" \" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.509771251+00:00","status":"failed","tests":20,"discards":0,"time":"210us","error":null,"tool":"proptest","counterexample":"(\"a\" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.511201522+00:00","status":"failed","tests":7,"discards":0,"time":"132us","error":null,"tool":"proptest","counterexample":"(\" \" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.512492403+00:00","status":"failed","tests":20,"discards":0,"time":"212us","error":null,"tool":"proptest","counterexample":"(\"A\" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.513866770+00:00","status":"failed","tests":16,"discards":0,"time":"186us","error":null,"tool":"proptest","counterexample":"(\"a\" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"proptest","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.515251023+00:00","status":"failed","tests":15,"discards":0,"time":"210us","error":null,"tool":"proptest","counterexample":"(\"a\" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.516875757+00:00","status":"failed","tests":1,"discards":0,"time":"56us","error":null,"tool":"quickcheck","counterexample":"(\"Ec,73 ;@='6Y\" 1)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.518133158+00:00","status":"failed","tests":1,"discards":0,"time":"46us","error":null,"tool":"quickcheck","counterexample":"(\"Xw\" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.519400634+00:00","status":"failed","tests":1,"discards":0,"time":"53us","error":null,"tool":"quickcheck","counterexample":"(\"F\" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.520595511+00:00","status":"failed","tests":1,"discards":0,"time":"47us","error":null,"tool":"quickcheck","counterexample":"(\"b9]b2C\" 1)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.521779380+00:00","status":"failed","tests":1,"discards":0,"time":"48us","error":null,"tool":"quickcheck","counterexample":"(\"-QBC!!3c\" 1)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.523010402+00:00","status":"failed","tests":1,"discards":0,"time":"49us","error":null,"tool":"quickcheck","counterexample":"(\"l/\\\"\\\"RNhY^ XS='\" 8)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.524214221+00:00","status":"failed","tests":1,"discards":0,"time":"48us","error":null,"tool":"quickcheck","counterexample":"(\"+@V\" 1)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.525427917+00:00","status":"failed","tests":1,"discards":0,"time":"52us","error":null,"tool":"quickcheck","counterexample":"(\"z^\" 1)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.526632217+00:00","status":"failed","tests":1,"discards":0,"time":"48us","error":null,"tool":"quickcheck","counterexample":"(\"3\" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"quickcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.527911912+00:00","status":"failed","tests":1,"discards":0,"time":"51us","error":null,"tool":"quickcheck","counterexample":"(\"F:3i/NZ \" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.529403866+00:00","status":"failed","tests":1,"discards":0,"time":"49us","error":null,"tool":"crabcheck","counterexample":"(\"l\" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.530770927+00:00","status":"failed","tests":1,"discards":0,"time":"49us","error":null,"tool":"crabcheck","counterexample":"(\"I>J5$le|y\" 8)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.532002915+00:00","status":"failed","tests":1,"discards":0,"time":"54us","error":null,"tool":"crabcheck","counterexample":"(\"JS}Rbb%C3\" 3)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.533266710+00:00","status":"failed","tests":1,"discards":0,"time":"56us","error":null,"tool":"crabcheck","counterexample":"(\"\\\\S=qA;LFvNwuQ\" 3)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.534487371+00:00","status":"failed","tests":1,"discards":0,"time":"52us","error":null,"tool":"crabcheck","counterexample":"(\"h\" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.535714641+00:00","status":"failed","tests":1,"discards":0,"time":"53us","error":null,"tool":"crabcheck","counterexample":"(\"A0<g&\" 3)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.536926598+00:00","status":"failed","tests":1,"discards":0,"time":"53us","error":null,"tool":"crabcheck","counterexample":"(\"Al[<+H^YgU*f\" 8)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.538163894+00:00","status":"failed","tests":1,"discards":0,"time":"48us","error":null,"tool":"crabcheck","counterexample":"(\"$!!?-,LRkm!UIY>\" 2)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.539390183+00:00","status":"failed","tests":1,"discards":0,"time":"55us","error":null,"tool":"crabcheck","counterexample":"(\">-\" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"crabcheck","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.540629080+00:00","status":"failed","tests":1,"discards":0,"time":"47us","error":null,"tool":"crabcheck","counterexample":"(\"Qs)!\" 1)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.542080339+00:00","status":"failed","tests":12,"discards":0,"time":"194399us","error":null,"tool":"hegel","counterexample":"(\" \" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.738322307+00:00","status":"failed","tests":12,"discards":0,"time":"200075us","error":null,"tool":"hegel","counterexample":"(\" \" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:16:42.940138371+00:00","status":"failed","tests":12,"discards":0,"time":"193870us","error":null,"tool":"hegel","counterexample":"(\" \" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:16:43.135895345+00:00","status":"failed","tests":12,"discards":0,"time":"198773us","error":null,"tool":"hegel","counterexample":"(\" \" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:16:43.336333118+00:00","status":"failed","tests":12,"discards":0,"time":"198708us","error":null,"tool":"hegel","counterexample":"(\" \" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:16:43.536891679+00:00","status":"failed","tests":12,"discards":0,"time":"197795us","error":null,"tool":"hegel","counterexample":"(\" \" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:16:43.736660111+00:00","status":"failed","tests":12,"discards":0,"time":"198033us","error":null,"tool":"hegel","counterexample":"(\" \" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:16:43.936732012+00:00","status":"failed","tests":12,"discards":0,"time":"197664us","error":null,"tool":"hegel","counterexample":"(\" \" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:16:44.136137924+00:00","status":"failed","tests":12,"discards":0,"time":"193937us","error":null,"tool":"hegel","counterexample":"(\" \" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}
{"data":{"experiment":"ci-run","workload":"compact_str","language":"rust","strategy":"hegel","property":"RetainPanicPreservesUtf8","mutations":["retain_leaves_stale_len_on_panic_042b64a_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:16:44.331984739+00:00","status":"failed","tests":12,"discards":0,"time":"194115us","error":null,"tool":"hegel","counterexample":"(\" \" 0)"},"hash":"0453c196d843dc100446ab70d0e545b8aa4b7c6e"}