{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.942251433+00:00","status":"failed","tests":19,"discards":0,"time":"201us","error":null,"tool":"proptest","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.943806803+00:00","status":"failed","tests":14,"discards":0,"time":"139us","error":null,"tool":"proptest","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.945024774+00:00","status":"failed","tests":13,"discards":0,"time":"186us","error":null,"tool":"proptest","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.946321804+00:00","status":"failed","tests":13,"discards":0,"time":"136us","error":null,"tool":"proptest","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.947472673+00:00","status":"failed","tests":23,"discards":0,"time":"191us","error":null,"tool":"proptest","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.948744857+00:00","status":"failed","tests":13,"discards":0,"time":"164us","error":null,"tool":"proptest","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.949877376+00:00","status":"failed","tests":12,"discards":0,"time":"134us","error":null,"tool":"proptest","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.951051654+00:00","status":"failed","tests":17,"discards":0,"time":"164us","error":null,"tool":"proptest","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.952201855+00:00","status":"failed","tests":11,"discards":0,"time":"128us","error":null,"tool":"proptest","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.953362303+00:00","status":"failed","tests":21,"discards":0,"time":"184us","error":null,"tool":"proptest","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.954685387+00:00","status":"failed","tests":1,"discards":0,"time":"44us","error":null,"tool":"quickcheck","counterexample":"(buf=[82, 131, 78, 69, 91, 14, 31, 76, 9, 1, 226, 1, 186])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.955731586+00:00","status":"failed","tests":1,"discards":0,"time":"39us","error":null,"tool":"quickcheck","counterexample":"(buf=[121, 106, 89, 249, 0, 167, 141, 36, 39, 110, 191, 97, 216])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.956787613+00:00","status":"failed","tests":1,"discards":0,"time":"67us","error":null,"tool":"quickcheck","counterexample":"(buf=[0, 251, 229, 94, 61, 247, 125, 239, 232, 104])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.957830360+00:00","status":"failed","tests":1,"discards":0,"time":"41us","error":null,"tool":"quickcheck","counterexample":"(buf=[227, 35, 1, 64, 154, 0, 17, 8, 225, 1, 124, 183, 238, 255])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.958960173+00:00","status":"failed","tests":1,"discards":0,"time":"40us","error":null,"tool":"quickcheck","counterexample":"(buf=[34, 113, 130, 122, 206, 189, 124, 186, 80, 16, 160, 245, 109, 46, 255])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.960016645+00:00","status":"failed","tests":1,"discards":0,"time":"36us","error":null,"tool":"quickcheck","counterexample":"(buf=[3, 98, 177, 7])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.961124901+00:00","status":"failed","tests":1,"discards":0,"time":"43us","error":null,"tool":"quickcheck","counterexample":"(buf=[209, 127, 211, 166, 187, 43, 92, 22, 31, 81, 28])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.962186824+00:00","status":"failed","tests":1,"discards":0,"time":"45us","error":null,"tool":"quickcheck","counterexample":"(buf=[186, 197, 79, 114, 80, 51, 192])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.963255620+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"quickcheck","counterexample":"(buf=[178, 107, 161, 21, 65, 255, 132, 248])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.964313946+00:00","status":"failed","tests":1,"discards":0,"time":"39us","error":null,"tool":"quickcheck","counterexample":"(buf=[84, 127, 183, 241, 154, 116])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.965473551+00:00","status":"failed","tests":1,"discards":0,"time":"46us","error":null,"tool":"crabcheck","counterexample":"(buf=[3, 50, 166, 62, 109, 228, 98, 41, 21, 61, 73, 96, 89, 210])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.966539872+00:00","status":"failed","tests":1,"discards":0,"time":"44us","error":null,"tool":"crabcheck","counterexample":"(buf=[197, 133, 237, 169, 164, 207, 248, 251, 139, 201])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.967590063+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"(buf=[24, 198, 82, 58, 163, 152, 242, 244, 175, 148, 225, 58, 14])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.968655251+00:00","status":"failed","tests":1,"discards":0,"time":"43us","error":null,"tool":"crabcheck","counterexample":"(buf=[102, 4, 48, 173, 164, 82, 103, 95, 174, 67, 193, 200, 231, 95, 163])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.969704351+00:00","status":"failed","tests":1,"discards":0,"time":"44us","error":null,"tool":"crabcheck","counterexample":"(buf=[93, 69, 101, 145, 127, 30, 92, 186, 222, 0, 29, 123, 84, 175, 99, 236])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.970707093+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"(buf=[148, 203, 46, 166, 80, 215, 153, 31, 209, 238, 235, 232, 66, 31])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.971706551+00:00","status":"failed","tests":1,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"(buf=[129, 66, 97, 106, 239, 133, 53, 171, 201])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.972762748+00:00","status":"failed","tests":1,"discards":0,"time":"71us","error":null,"tool":"crabcheck","counterexample":"(buf=[55, 239, 106, 199, 135, 188, 153, 170, 252, 137, 199, 247])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.973782401+00:00","status":"failed","tests":1,"discards":0,"time":"81us","error":null,"tool":"crabcheck","counterexample":"(buf=[141, 40, 87, 19, 126, 63, 21, 185, 146, 48, 174, 242, 139, 227, 218, 6])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.974809053+00:00","status":"failed","tests":1,"discards":0,"time":"54us","error":null,"tool":"crabcheck","counterexample":"(buf=[102, 14, 19, 232, 62, 109, 216, 211, 207, 99, 21, 74, 83, 134, 71])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:33.976036966+00:00","status":"failed","tests":12,"discards":0,"time":"720128us","error":null,"tool":"hegel","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.697429328+00:00","status":"failed","tests":12,"discards":0,"time":"206537us","error":null,"tool":"hegel","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:34.905852611+00:00","status":"failed","tests":12,"discards":0,"time":"201750us","error":null,"tool":"hegel","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:35.109091891+00:00","status":"failed","tests":12,"discards":0,"time":"208214us","error":null,"tool":"hegel","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:35.318951358+00:00","status":"failed","tests":12,"discards":0,"time":"199905us","error":null,"tool":"hegel","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:35.520364365+00:00","status":"failed","tests":12,"discards":0,"time":"203695us","error":null,"tool":"hegel","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:35.725628426+00:00","status":"failed","tests":12,"discards":0,"time":"206636us","error":null,"tool":"hegel","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:35.933806699+00:00","status":"failed","tests":12,"discards":0,"time":"207209us","error":null,"tool":"hegel","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:36.142609218+00:00","status":"failed","tests":12,"discards":0,"time":"201407us","error":null,"tool":"hegel","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntZeroNbytes","mutations":["sign_extend_zero_nbytes_acd1e0f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:36.345473171+00:00","status":"failed","tests":12,"discards":0,"time":"202754us","error":null,"tool":"hegel","counterexample":"(buf=[0])"},"hash":"5348a552456e502d7140937db871f4eae2070f3a"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.405433907+00:00","status":"failed","tests":9,"discards":0,"time":"67us","error":null,"tool":"proptest","counterexample":"(n_byte_select=0)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.406754777+00:00","status":"failed","tests":6,"discards":0,"time":"77us","error":null,"tool":"proptest","counterexample":"(n_byte_select=0)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.407815861+00:00","status":"failed","tests":10,"discards":0,"time":"55us","error":null,"tool":"proptest","counterexample":"(n_byte_select=56)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.408914780+00:00","status":"failed","tests":8,"discards":0,"time":"58us","error":null,"tool":"proptest","counterexample":"(n_byte_select=0)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.409968032+00:00","status":"failed","tests":9,"discards":0,"time":"56us","error":null,"tool":"proptest","counterexample":"(n_byte_select=0)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.411024167+00:00","status":"failed","tests":9,"discards":0,"time":"54us","error":null,"tool":"proptest","counterexample":"(n_byte_select=24)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.412069614+00:00","status":"failed","tests":5,"discards":0,"time":"55us","error":null,"tool":"proptest","counterexample":"(n_byte_select=0)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.413109153+00:00","status":"failed","tests":9,"discards":0,"time":"58us","error":null,"tool":"proptest","counterexample":"(n_byte_select=0)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.414144361+00:00","status":"failed","tests":8,"discards":0,"time":"54us","error":null,"tool":"proptest","counterexample":"(n_byte_select=0)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.415223090+00:00","status":"failed","tests":9,"discards":0,"time":"52us","error":null,"tool":"proptest","counterexample":"(n_byte_select=0)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.416594572+00:00","status":"failed","tests":1,"discards":0,"time":"13us","error":null,"tool":"quickcheck","counterexample":"(n_byte_select=203)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.417597844+00:00","status":"failed","tests":1,"discards":0,"time":"13us","error":null,"tool":"quickcheck","counterexample":"(n_byte_select=104)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.418674556+00:00","status":"failed","tests":1,"discards":0,"time":"12us","error":null,"tool":"quickcheck","counterexample":"(n_byte_select=172)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.419690682+00:00","status":"failed","tests":2,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"(n_byte_select=235)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.420714980+00:00","status":"failed","tests":1,"discards":0,"time":"15us","error":null,"tool":"quickcheck","counterexample":"(n_byte_select=171)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.421732114+00:00","status":"failed","tests":1,"discards":0,"time":"13us","error":null,"tool":"quickcheck","counterexample":"(n_byte_select=28)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.422730835+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"(n_byte_select=88)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.423735984+00:00","status":"failed","tests":1,"discards":0,"time":"15us","error":null,"tool":"quickcheck","counterexample":"(n_byte_select=72)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.424754524+00:00","status":"failed","tests":2,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"(n_byte_select=172)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.425719298+00:00","status":"failed","tests":1,"discards":0,"time":"11us","error":null,"tool":"quickcheck","counterexample":"(n_byte_select=83)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.427049165+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"(n_byte_select=150)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.428079327+00:00","status":"failed","tests":1,"discards":0,"time":"16us","error":null,"tool":"crabcheck","counterexample":"(n_byte_select=52)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.429092764+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(n_byte_select=99)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.430098795+00:00","status":"failed","tests":2,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(n_byte_select=70)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.431080016+00:00","status":"failed","tests":2,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(n_byte_select=154)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.432066951+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(n_byte_select=27)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.433099504+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(n_byte_select=129)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.434301979+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(n_byte_select=233)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.435323005+00:00","status":"failed","tests":1,"discards":0,"time":"15us","error":null,"tool":"crabcheck","counterexample":"(n_byte_select=197)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.436384308+00:00","status":"failed","tests":1,"discards":0,"time":"16us","error":null,"tool":"crabcheck","counterexample":"(n_byte_select=232)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.437815424+00:00","status":"failed","tests":12,"discards":0,"time":"165425us","error":null,"tool":"hegel","counterexample":"(n_byte_select=0)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.604539220+00:00","status":"failed","tests":12,"discards":0,"time":"167296us","error":null,"tool":"hegel","counterexample":"(n_byte_select=0)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.773329087+00:00","status":"failed","tests":12,"discards":0,"time":"168091us","error":null,"tool":"hegel","counterexample":"(n_byte_select=0)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:39.942959448+00:00","status":"failed","tests":12,"discards":0,"time":"166174us","error":null,"tool":"hegel","counterexample":"(n_byte_select=0)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.110814925+00:00","status":"failed","tests":12,"discards":0,"time":"162003us","error":null,"tool":"hegel","counterexample":"(n_byte_select=0)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.274473426+00:00","status":"failed","tests":12,"discards":0,"time":"164320us","error":null,"tool":"hegel","counterexample":"(n_byte_select=0)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.440139421+00:00","status":"failed","tests":12,"discards":0,"time":"166395us","error":null,"tool":"hegel","counterexample":"(n_byte_select=0)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.608025347+00:00","status":"failed","tests":12,"discards":0,"time":"167592us","error":null,"tool":"hegel","counterexample":"(n_byte_select=0)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.777289468+00:00","status":"failed","tests":12,"discards":0,"time":"166242us","error":null,"tool":"hegel","counterexample":"(n_byte_select=0)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"GetIntSignExtension","mutations":["get_int_sign_extension_79fb853_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:40.944986975+00:00","status":"failed","tests":12,"discards":0,"time":"165671us","error":null,"tool":"hegel","counterexample":"(n_byte_select=0)"},"hash":"f830a1ce291dbb894e2e5a8227d7be70b52fd324"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.944947899+00:00","status":"failed","tests":33,"discards":0,"time":"88us","error":null,"tool":"proptest","counterexample":"(a_rem=6459906392255613173 b_rem=11986837684287572426)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.946303108+00:00","status":"failed","tests":34,"discards":0,"time":"75us","error":null,"tool":"proptest","counterexample":"(a_rem=1203289814500720652 b_rem=17243454261765127018)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.947380570+00:00","status":"failed","tests":33,"discards":0,"time":"75us","error":null,"tool":"proptest","counterexample":"(a_rem=948349670890254401 b_rem=17498394403549937554)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.948482668+00:00","status":"failed","tests":34,"discards":0,"time":"71us","error":null,"tool":"proptest","counterexample":"(a_rem=5110268662269091569 b_rem=13336475414243113082)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.949585156+00:00","status":"failed","tests":33,"discards":0,"time":"75us","error":null,"tool":"proptest","counterexample":"(a_rem=1272862581332301946 b_rem=17173881492819547219)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.950679874+00:00","status":"failed","tests":34,"discards":0,"time":"81us","error":null,"tool":"proptest","counterexample":"(a_rem=4535767480806491569 b_rem=13910976594152804140)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.951758104+00:00","status":"failed","tests":33,"discards":0,"time":"95us","error":null,"tool":"proptest","counterexample":"(a_rem=14954194861401290429 b_rem=3492549216216433918)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.952829184+00:00","status":"failed","tests":33,"discards":0,"time":"76us","error":null,"tool":"proptest","counterexample":"(a_rem=8608589080265507549 b_rem=9838154995790000522)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.953915271+00:00","status":"failed","tests":34,"discards":0,"time":"79us","error":null,"tool":"proptest","counterexample":"(a_rem=7175861339721669928 b_rem=11270882736006165594)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.955017033+00:00","status":"failed","tests":33,"discards":0,"time":"78us","error":null,"tool":"proptest","counterexample":"(a_rem=9557186443173282006 b_rem=8889557632778907318)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.956445905+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"(a_rem=544109822970934226 b_rem=18446744073709551615)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.957528390+00:00","status":"failed","tests":3,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"(a_rem=17319943135213312337 b_rem=13955894270962650173)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.958562868+00:00","status":"failed","tests":2,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"(a_rem=15762625495963046760 b_rem=12243484852039827652)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.959585488+00:00","status":"failed","tests":1,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"(a_rem=16118949877256558141 b_rem=16964829665821210712)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.960600093+00:00","status":"failed","tests":6,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(a_rem=13689482468736998258 b_rem=12069599305419587100)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.961617263+00:00","status":"failed","tests":2,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"(a_rem=17690931190229572556 b_rem=5612209144061121508)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.962666652+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"(a_rem=4861033058913484478 b_rem=16618859511267270915)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.963735041+00:00","status":"failed","tests":1,"discards":0,"time":"13us","error":null,"tool":"quickcheck","counterexample":"(a_rem=16943245255557539321 b_rem=1851327378224397797)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.964769078+00:00","status":"failed","tests":1,"discards":0,"time":"53us","error":null,"tool":"quickcheck","counterexample":"(a_rem=13993231584632777355 b_rem=14169594203033643444)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.965803710+00:00","status":"failed","tests":1,"discards":0,"time":"13us","error":null,"tool":"quickcheck","counterexample":"(a_rem=14985498526070767240 b_rem=4443554330215283741)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.967258355+00:00","status":"failed","tests":2,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"(a_rem=12242834956838924382 b_rem=17473436530127702405)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.968272619+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(a_rem=5811385362188614323 b_rem=18409122970089048474)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.969326587+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"(a_rem=14414635274376280211 b_rem=13903185345181079827)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.970363557+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(a_rem=8457238418020187250 b_rem=11023890698822201692)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.971421218+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(a_rem=13867005499642220151 b_rem=14174111988483446500)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.972417349+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(a_rem=9339771525443518515 b_rem=13405720011384168186)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.973454666+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(a_rem=11868333793276732001 b_rem=13400060851307831968)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.974429727+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(a_rem=16395280638534911018 b_rem=16030055661196143256)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.975464960+00:00","status":"failed","tests":4,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"(a_rem=10625135818310656983 b_rem=18243246405900885277)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.976448097+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(a_rem=14022300098334305991 b_rem=13684232178789583742)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:43.977942525+00:00","status":"failed","tests":148,"discards":0,"time":"335807us","error":null,"tool":"hegel","counterexample":"(a_rem=4294967296 b_rem=18446744069414584320)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:44.314993251+00:00","status":"failed","tests":148,"discards":0,"time":"347801us","error":null,"tool":"hegel","counterexample":"(a_rem=4294967296 b_rem=18446744069414584320)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:44.664322209+00:00","status":"failed","tests":148,"discards":0,"time":"344775us","error":null,"tool":"hegel","counterexample":"(a_rem=4294967296 b_rem=18446744069414584320)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:45.010769111+00:00","status":"failed","tests":148,"discards":0,"time":"340142us","error":null,"tool":"hegel","counterexample":"(a_rem=4294967296 b_rem=18446744069414584320)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:45.352395206+00:00","status":"failed","tests":148,"discards":0,"time":"343236us","error":null,"tool":"hegel","counterexample":"(a_rem=4294967296 b_rem=18446744069414584320)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:45.697149503+00:00","status":"failed","tests":148,"discards":0,"time":"335915us","error":null,"tool":"hegel","counterexample":"(a_rem=4294967296 b_rem=18446744069414584320)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:46.034745816+00:00","status":"failed","tests":148,"discards":0,"time":"341661us","error":null,"tool":"hegel","counterexample":"(a_rem=4294967296 b_rem=18446744069414584320)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:46.378049290+00:00","status":"failed","tests":148,"discards":0,"time":"344320us","error":null,"tool":"hegel","counterexample":"(a_rem=4294967296 b_rem=18446744069414584320)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:46.724005052+00:00","status":"failed","tests":148,"discards":0,"time":"337200us","error":null,"tool":"hegel","counterexample":"(a_rem=4294967296 b_rem=18446744069414584320)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"ChainRemainingSaturating","mutations":["chain_remaining_saturating_2428c15_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:47.062900322+00:00","status":"failed","tests":148,"discards":0,"time":"343252us","error":null,"tool":"hegel","counterexample":"(a_rem=4294967296 b_rem=18446744069414584320)"},"hash":"ae88ebd59fd508596753839477db7cd2da78dd28"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.243558020+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.244813704+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.245893539+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.246921280+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.247932436+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.248943887+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.249967227+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.250985329+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.252035750+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.253080802+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.254613671+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.255645359+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.256616933+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.257588028+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.258586451+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.259558388+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.260535221+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.261540770+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.262488519+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.263457541+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.264987664+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.265963669+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.266930703+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.267899535+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.268925309+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.269890513+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.270836318+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.271786284+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.272795568+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.273771632+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.275220955+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.276235802+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.277239816+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.278247359+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.279266180+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.280268574+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.281299257+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.282291211+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.283302709+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"PartialordBytesReversed","mutations":["partialord_bytes_reversed_939a5ed_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:50.284325831+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: PartialordBytesReversed"},"hash":"d256e7fe14c7c5971c18d7b2f9b8f2444ae6d7ba"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.122379543+00:00","status":"failed","tests":18,"discards":0,"time":"152us","error":null,"tool":"proptest","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.123764352+00:00","status":"failed","tests":23,"discards":0,"time":"183us","error":null,"tool":"proptest","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.124918188+00:00","status":"failed","tests":28,"discards":0,"time":"172us","error":null,"tool":"proptest","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.126076479+00:00","status":"failed","tests":18,"discards":0,"time":"133us","error":null,"tool":"proptest","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.127188119+00:00","status":"failed","tests":18,"discards":0,"time":"137us","error":null,"tool":"proptest","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.128293815+00:00","status":"failed","tests":13,"discards":0,"time":"117us","error":null,"tool":"proptest","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.129380774+00:00","status":"failed","tests":33,"discards":0,"time":"201us","error":null,"tool":"proptest","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.130571718+00:00","status":"failed","tests":24,"discards":0,"time":"151us","error":null,"tool":"proptest","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.131711485+00:00","status":"failed","tests":15,"discards":0,"time":"154us","error":null,"tool":"proptest","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"proptest","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.132837919+00:00","status":"failed","tests":33,"discards":0,"time":"205us","error":null,"tool":"proptest","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.134770713+00:00","status":"failed","tests":1,"discards":0,"time":"91us","error":null,"tool":"quickcheck","counterexample":"(payload_len=23)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.135805310+00:00","status":"failed","tests":1,"discards":0,"time":"63us","error":null,"tool":"quickcheck","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.136796066+00:00","status":"failed","tests":1,"discards":0,"time":"64us","error":null,"tool":"quickcheck","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.137790875+00:00","status":"failed","tests":1,"discards":0,"time":"98us","error":null,"tool":"quickcheck","counterexample":"(payload_len=28)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.138822240+00:00","status":"failed","tests":1,"discards":0,"time":"39us","error":null,"tool":"quickcheck","counterexample":"(payload_len=13)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.139810056+00:00","status":"failed","tests":1,"discards":0,"time":"46us","error":null,"tool":"quickcheck","counterexample":"(payload_len=28)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.140820201+00:00","status":"failed","tests":1,"discards":0,"time":"40us","error":null,"tool":"quickcheck","counterexample":"(payload_len=27)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.141821923+00:00","status":"failed","tests":1,"discards":0,"time":"35us","error":null,"tool":"quickcheck","counterexample":"(payload_len=32)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.142820457+00:00","status":"failed","tests":1,"discards":0,"time":"40us","error":null,"tool":"quickcheck","counterexample":"(payload_len=25)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"quickcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.143896397+00:00","status":"failed","tests":1,"discards":0,"time":"41us","error":null,"tool":"quickcheck","counterexample":"(payload_len=2)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.145726730+00:00","status":"failed","tests":1,"discards":0,"time":"44us","error":null,"tool":"crabcheck","counterexample":"(payload_len=19)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.146730135+00:00","status":"failed","tests":1,"discards":0,"time":"40us","error":null,"tool":"crabcheck","counterexample":"(payload_len=22)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.147753145+00:00","status":"failed","tests":1,"discards":0,"time":"39us","error":null,"tool":"crabcheck","counterexample":"(payload_len=18)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.148734760+00:00","status":"failed","tests":1,"discards":0,"time":"39us","error":null,"tool":"crabcheck","counterexample":"(payload_len=2)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.149759472+00:00","status":"failed","tests":1,"discards":0,"time":"38us","error":null,"tool":"crabcheck","counterexample":"(payload_len=22)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.150744663+00:00","status":"failed","tests":1,"discards":0,"time":"40us","error":null,"tool":"crabcheck","counterexample":"(payload_len=8)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.151749192+00:00","status":"failed","tests":1,"discards":0,"time":"44us","error":null,"tool":"crabcheck","counterexample":"(payload_len=17)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.152808342+00:00","status":"failed","tests":1,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"(payload_len=4)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.153877533+00:00","status":"failed","tests":1,"discards":0,"time":"39us","error":null,"tool":"crabcheck","counterexample":"(payload_len=26)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"crabcheck","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.154888409+00:00","status":"failed","tests":1,"discards":0,"time":"45us","error":null,"tool":"crabcheck","counterexample":"(payload_len=16)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.156770966+00:00","status":"failed","tests":12,"discards":0,"time":"223393us","error":null,"tool":"hegel","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.381337490+00:00","status":"failed","tests":12,"discards":0,"time":"223598us","error":null,"tool":"hegel","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.606430608+00:00","status":"failed","tests":12,"discards":0,"time":"225628us","error":null,"tool":"hegel","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:42:53.833684179+00:00","status":"failed","tests":12,"discards":0,"time":"220330us","error":null,"tool":"hegel","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:42:54.055631041+00:00","status":"failed","tests":12,"discards":0,"time":"223288us","error":null,"tool":"hegel","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:42:54.280405788+00:00","status":"failed","tests":12,"discards":0,"time":"224735us","error":null,"tool":"hegel","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:42:54.506659322+00:00","status":"failed","tests":12,"discards":0,"time":"233907us","error":null,"tool":"hegel","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:42:54.742244714+00:00","status":"failed","tests":12,"discards":0,"time":"219773us","error":null,"tool":"hegel","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:42:54.963727417+00:00","status":"failed","tests":12,"discards":0,"time":"221592us","error":null,"tool":"hegel","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}
{"data":{"experiment":"ci-run","workload":"bytes","language":"rust","strategy":"hegel","property":"SliceRefEmpty","mutations":["slice_ref_empty_f330ef6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:42:55.186801091+00:00","status":"failed","tests":12,"discards":0,"time":"222865us","error":null,"tool":"hegel","counterexample":"(payload_len=1)"},"hash":"7f113356304d0158c1a35ec1c10e2561094a7667"}