{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.822815486+00:00","status":"failed","tests":72,"discards":0,"time":"1085us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.825156628+00:00","status":"failed","tests":127,"discards":0,"time":"1948us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.828101238+00:00","status":"failed","tests":13,"discards":0,"time":"288us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.829412345+00:00","status":"failed","tests":131,"discards":0,"time":"1979us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.832400167+00:00","status":"failed","tests":28,"discards":0,"time":"456us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.833890708+00:00","status":"failed","tests":237,"discards":0,"time":"3918us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.838818423+00:00","status":"failed","tests":57,"discards":0,"time":"892us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.840720572+00:00","status":"failed","tests":158,"discards":0,"time":"1746us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.843435464+00:00","status":"failed","tests":155,"discards":0,"time":"1294us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.845748178+00:00","status":"failed","tests":29,"discards":0,"time":"445us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.847284214+00:00","status":"failed","tests":1,"discards":0,"time":"61us","error":null,"tool":"quickcheck","counterexample":"([33, 114, 174, 18, 4, 139, 157, 51, 139, 115, 153, 16, 211, 56, 18, 140, 157, 172, 65, 1, 0, 29, 46, 131, 166, 183, 255, 6, 154, 188, 255, 85, 0, 10, 0, 77, 0, 184, 200, 144, 148, 255, 126, 28, 88, 4, 50, 164, 239, 169, 0, 166, 255, 68, 163, 41, 111, 1, 199, 25, 56, 88, 248, 122, 60, 1, 60, 20, 0, 231, 202, 79, 205, 47, 89, 31, 45, 0, 161, 109, 255, 12, 35, 39, 43, 200, 25, 255, 216, 170, 255, 107, 64, 119, 254, 218, 81, 239, 194, 52, 27, 178, 134, 154, 1, 45, 196, 242, 251, 105, 179, 102, 146, 62, 255, 172, 197, 255, 252, 202, 221, 243, 116, 92, 19, 32, 77, 42, 43, 233, 235, 27, 33, 0, 226, 73, 131, 167, 179, 92, 65, 188, 153, 223, 255, 135, 255, 108, 255, 130, 228, 156, 225, 22, 247, 119, 117, 188, 110, 80, 223, 144, 125, 1, 113, 26, 104, 209, 114, 255, 21, 177, 172, 153, 213, 138, 49, 52, 207, 212, 130, 15, 215, 62, 144, 50, 252, 22, 153, 141, 91, 77, 254, 46, 128, 235, 216, 136, 81, 248, 145, 6, 86, 15, 74, 53, 255, 192, 138, 227, 183, 210, 62, 45, 146, 48, 255, 73, 198, 197, 241, 142, 7, 33, 226, 158, 255, 15, 20, 79, 246, 216, 235, 1, 32, 0, 242, 141, 83, 133, 1])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.848384672+00:00","status":"failed","tests":1,"discards":0,"time":"57us","error":null,"tool":"quickcheck","counterexample":"([218, 38, 181, 0, 252, 0, 17, 230, 183, 132, 1, 244, 1, 183, 66, 0, 218, 36, 61, 227, 74, 95, 215, 1, 219, 105, 240, 69, 213, 116, 162, 165, 243, 230, 102, 90, 133, 59, 176, 0, 83, 181, 136, 91, 1, 196, 159, 151, 88, 59, 130, 1, 62, 252, 241, 109, 80, 114, 39, 150, 148, 205, 2, 129, 236, 105, 202, 65, 246, 13, 77, 175, 186, 70, 237, 2, 163, 61, 18, 100, 255, 74, 14, 100, 119, 149, 114, 240, 114, 111, 64, 73, 0, 135, 235, 1, 254, 148, 49, 141, 179, 229, 142, 209, 5, 1, 226, 132, 217, 0, 130, 76, 35, 176, 171, 44, 192, 12, 156, 185, 0, 37, 96, 89, 152, 147, 121, 104, 235, 255, 124, 127, 43, 0, 168, 35, 114, 23, 177])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.849445891+00:00","status":"failed","tests":1,"discards":0,"time":"62us","error":null,"tool":"quickcheck","counterexample":"([6, 48, 134, 183, 255, 162, 69, 1, 255, 255, 94, 246, 147, 0, 150, 1, 0, 50, 68, 169, 46, 31, 121, 3, 164, 94, 56, 250, 83, 115, 167, 209, 112, 50, 151, 158, 37, 14, 230, 169, 255, 164, 0, 171, 9, 251, 0, 154, 60, 66, 193, 148, 92, 44, 55, 201, 9, 206, 163, 153, 180, 18, 236, 1, 58, 73, 42, 42, 187, 211, 31, 191, 116, 200, 13, 255, 232, 254, 146, 118, 182, 129, 249, 112, 121, 154, 12, 251, 240, 155, 100, 255, 1, 98, 166, 18, 245, 1, 157, 180, 190, 235, 255, 139, 125, 8, 169, 139, 199, 96, 229, 181, 2, 0, 189, 60, 212, 26, 97, 159, 150, 251, 232, 255, 39, 73, 113, 123, 124, 96, 244, 104, 144, 0, 71, 210, 221, 237, 224, 165, 83, 219, 242, 168])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.850502217+00:00","status":"failed","tests":1,"discards":0,"time":"60us","error":null,"tool":"quickcheck","counterexample":"([85, 19, 149, 172, 115, 32, 233, 73, 149, 1, 140, 115, 100, 50, 1, 166, 239, 44, 255, 97, 196, 36, 224, 178, 14, 117, 183, 245, 107, 69, 72, 170, 54, 99, 35, 37, 203, 86, 255, 180, 202, 92, 217, 95, 151, 0, 243, 121, 48, 247, 0, 111, 0, 171, 232, 37, 21, 1, 4, 255, 192, 34, 112, 164, 125, 222, 20, 236, 53, 170, 114, 129, 71, 119, 1, 1, 188, 86, 26, 208, 188, 178, 51, 139, 100, 44, 53, 184, 225, 84, 70, 172, 152, 159, 7, 0, 239, 255, 230, 19, 243, 30, 202, 129, 0, 157, 222, 244, 178, 182, 161, 135, 211, 16, 242, 80, 121, 139, 192, 126, 122, 235, 41, 25, 189, 174, 0, 255, 170, 255, 213, 189, 144, 241, 237, 232, 1, 150, 144, 247, 222, 223, 221, 124, 0, 132, 144, 189, 254, 208, 169, 10, 65, 252, 32, 127, 242, 50, 103, 64, 223, 82, 10, 96, 201, 158, 251, 162, 154, 255, 255, 255, 169, 8, 139, 120, 157, 139, 92, 169, 203, 1, 174, 129, 128, 224, 19, 115, 69, 11, 75, 138, 250, 1, 45, 103])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.851565740+00:00","status":"failed","tests":1,"discards":0,"time":"62us","error":null,"tool":"quickcheck","counterexample":"([75, 185, 171, 156, 201, 75, 143, 207, 145, 143, 97, 164, 225, 84, 255, 252, 36, 232, 234, 8, 108, 124, 13, 5, 47, 155, 182, 9, 195, 91, 198, 33, 226, 22, 229, 202, 29, 44, 174, 9, 33, 245, 150, 155, 50, 105, 187, 172, 165, 143, 91, 236, 0, 216, 214, 216, 1, 70, 147, 120, 214, 215, 146, 129, 2, 23, 0, 119, 65, 1, 38, 72, 175, 160, 178, 65, 219, 238, 234, 1, 81, 6, 1, 31, 47, 88, 106, 255, 32, 18, 0, 134, 242, 0, 121, 33, 18, 92, 120, 203, 160, 195, 255, 255, 48, 133, 102, 196, 39, 112, 191, 0, 199, 0, 55, 247, 207, 242, 174, 173, 58, 61, 235, 77, 180, 214, 133, 117, 173, 253, 121, 106, 255, 109, 211, 17, 121, 42, 61, 179, 178, 79, 162, 79, 0, 231, 55, 0, 99, 28, 131, 57, 220, 27, 255, 0, 103, 37, 150, 24, 202, 255, 235, 169, 4, 1, 112, 219, 0, 158, 66, 225, 198, 39, 67, 2, 145, 110, 93, 0, 197, 128, 83, 183, 63, 31, 140, 134, 85, 48, 182, 4, 46, 245, 113, 0, 27, 173, 203, 195, 65, 205, 59, 140, 123, 227, 57, 46, 236, 71, 48, 255, 132, 56, 95, 198, 244, 1, 22, 36, 72, 1, 167, 252, 74, 203, 208, 56, 193, 1, 0])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.852614041+00:00","status":"failed","tests":1,"discards":0,"time":"55us","error":null,"tool":"quickcheck","counterexample":"([216, 66, 184, 58, 242, 0, 211, 225, 39, 219, 1, 128, 14, 87, 156, 19, 86, 109, 159, 76, 42, 108, 122, 71, 150, 61, 200, 154, 73, 44, 51, 62, 13, 175, 18, 165, 165, 35, 0, 136, 61, 255, 242, 142, 212, 60, 194, 251, 201, 1, 184, 194, 42, 42, 148, 168, 161, 202, 110, 139, 181, 10, 223, 188])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.853664230+00:00","status":"failed","tests":1,"discards":0,"time":"54us","error":null,"tool":"quickcheck","counterexample":"([95, 23, 194, 173, 69, 65, 75, 90, 147, 249, 11, 150, 246, 101, 238, 255, 143, 138, 44, 1, 0, 63, 163, 45, 227, 187, 122, 241, 103, 110, 29, 118, 170, 0, 129, 254, 29, 51, 21, 210, 214, 255, 102, 255, 20, 96, 147, 181, 9, 193, 152, 138, 108, 248, 158, 222, 113, 218, 222, 35, 116, 106, 189, 122, 252, 138, 26, 122, 23, 33, 49, 237, 110, 214, 0, 235, 221, 78, 124, 1, 212, 98, 122, 77, 214, 84, 175, 236, 197, 157, 231, 152, 8, 75, 171, 134, 78, 113, 29, 82, 231, 47, 27, 146, 142, 175, 228, 169, 209, 19, 42, 57, 245, 1, 1, 207, 60, 249, 8, 245, 154, 133, 78, 182, 131, 27, 195, 205, 197, 223, 149, 130, 86, 219, 1, 159, 247, 87, 172, 165, 240, 232, 8, 86, 206, 128, 120, 255, 109, 83, 9, 3, 86, 121, 177, 55, 237, 156, 28, 1, 54, 51, 210, 85, 141, 218, 143, 74, 169, 21, 169, 113, 4, 34, 168, 1, 154, 166, 166, 199, 255, 220, 145, 77, 145, 125, 11, 32, 244, 126, 229, 13, 174, 94, 114, 51, 125, 65, 0, 247, 33, 23, 147, 129, 35, 135, 250, 123, 0, 122, 88, 43])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.854724854+00:00","status":"failed","tests":1,"discards":0,"time":"57us","error":null,"tool":"quickcheck","counterexample":"([43, 56, 204, 240, 17, 25, 199, 218, 147, 127, 195, 212, 53, 0, 1, 215, 224, 23, 64, 18, 83, 13, 182, 201, 66, 210, 255, 108, 81, 198, 172, 100, 192, 158, 38, 157, 254, 12, 212, 0, 28, 58, 120, 137, 10, 116, 153, 48, 135, 17, 11, 187, 71, 11, 197, 255, 8, 172, 41, 187, 129, 130, 237, 81, 245, 131, 0, 209, 250, 219, 71, 1, 102, 149, 112, 40, 199, 206, 198, 167, 252, 249, 2, 243, 135, 200, 238, 156, 1, 4, 241, 60, 235, 158, 78, 231, 23, 230, 12, 205, 9, 1, 28, 248, 68, 22, 67, 61, 0, 189, 190, 228, 202, 69, 20, 32, 230, 231, 44, 82, 50, 207, 37, 1, 254, 59, 255])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.855753141+00:00","status":"failed","tests":1,"discards":0,"time":"54us","error":null,"tool":"quickcheck","counterexample":"([221, 1, 54, 183, 31, 255, 29, 1, 237, 171, 53, 201, 72, 20, 1, 159, 129, 201, 255, 71, 237, 95, 68, 42, 255, 31, 86, 213, 92, 11, 1, 79, 131, 185, 152, 1, 75, 51, 138, 110, 207, 93, 75, 196, 70, 114, 92, 157, 91])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.856780353+00:00","status":"failed","tests":1,"discards":0,"time":"61us","error":null,"tool":"quickcheck","counterexample":"([138, 155, 1, 26, 168, 31, 187, 133, 209, 149, 220, 176, 0, 242, 133, 177, 154, 200, 64, 159, 233, 176, 86, 153, 5, 184, 144, 28, 229, 170, 226, 240, 68, 181, 18, 50, 48, 130, 38, 153, 91, 0, 115, 24, 170, 143, 183, 16, 71, 14, 231, 128, 8, 157, 1, 56, 148, 226, 69, 198, 186, 11, 207, 148, 159, 156, 111, 41, 166, 238, 180, 213, 6, 82, 248, 103, 89, 60, 199, 248, 50, 221, 127, 72, 12, 247, 5, 191, 243, 234, 216, 97, 62, 149, 56, 182, 251, 2, 120, 126, 229, 255, 0, 63, 255, 110, 15, 0, 33, 134, 0, 118, 191, 13, 1, 16, 200, 1, 246, 68, 5, 121, 141, 55, 132, 63, 92, 0, 170, 25, 251, 221, 72, 90, 36, 84, 255, 171, 96, 222, 170, 32, 47, 187, 173, 0])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.857926991+00:00","status":"failed","tests":1,"discards":0,"time":"59us","error":null,"tool":"crabcheck","counterexample":"([176, 20, 73, 23, 212, 187, 100, 29, 167, 172, 30, 187, 199, 157, 87, 116, 150, 146, 160, 35, 221, 8, 22, 168, 30, 170, 58, 75, 33, 83, 193, 164, 168, 0, 102, 248, 93, 140, 49, 177, 180, 5, 61, 163, 244, 118, 245, 51, 242, 173, 152, 207, 75, 98, 232, 136, 109, 231, 11, 226, 120, 138, 41, 185, 212, 39, 130, 67, 187, 88, 211, 147, 164, 253, 5, 41, 225, 205, 87, 205, 123, 23, 138, 84, 221, 137, 163, 157, 213, 165, 19, 72, 70, 85, 154, 119, 22, 156, 137, 108, 10, 40, 196, 166, 43, 33, 232, 134, 188, 230, 240, 40, 227, 174, 209, 65, 85, 242, 188, 29, 250, 39, 162, 80, 50, 135, 208, 23, 143, 2, 13, 79, 111, 239, 159, 49, 118, 180, 229, 240, 107, 204, 75, 25, 137, 249, 121, 45, 203, 9, 255])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.859018322+00:00","status":"failed","tests":1,"discards":0,"time":"61us","error":null,"tool":"crabcheck","counterexample":"([170, 166, 121, 19, 85, 26, 24, 160, 109, 132, 77, 103, 89, 177, 140, 140, 218, 140, 116, 43, 203, 165, 205, 175, 53, 21, 52, 80, 218, 32, 48, 232, 189, 0, 251, 56, 38, 11, 233, 252, 18, 158, 116, 30, 234, 124, 23, 4, 3, 61, 60, 58, 238, 221, 31, 154, 132, 248, 50, 182, 165, 127])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.860094356+00:00","status":"failed","tests":1,"discards":0,"time":"54us","error":null,"tool":"crabcheck","counterexample":"([95, 65, 65, 196, 53, 61, 63, 15, 250, 89, 113, 170, 13, 231, 44, 11, 5, 98, 223, 107, 73, 95, 190, 233, 93, 83, 56])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.861154869+00:00","status":"failed","tests":1,"discards":0,"time":"80us","error":null,"tool":"crabcheck","counterexample":"([220, 193, 168, 219, 230, 207, 64, 26, 188, 190, 38, 98, 4, 239, 178, 52, 159, 12, 47, 187, 11, 146, 77, 159, 6, 212, 51, 67, 53, 131, 9, 89, 79, 115, 210, 54, 234, 200, 145, 161, 184, 38, 112, 128, 200, 174, 243, 61, 252, 131, 229, 80, 41, 250, 125, 200, 0, 112, 231, 190, 137, 17, 105, 165, 141, 86, 70, 47, 171, 198, 76, 33, 15, 102, 86, 144, 231, 182, 164, 234, 248, 48, 76, 153, 169, 255, 165, 67, 45, 156, 80, 91, 81, 187, 97, 75, 139, 132, 98, 128, 52, 4, 223, 116, 104, 151, 104, 56, 156, 147])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.862233181+00:00","status":"failed","tests":1,"discards":0,"time":"87us","error":null,"tool":"crabcheck","counterexample":"([105, 249, 57, 21, 61, 207, 95, 177, 210, 56, 141, 99, 175, 215, 202, 12, 198, 77, 185, 27, 225, 128, 189, 96, 125, 151, 136, 163, 43, 200, 24, 160, 158, 20, 111, 116, 73, 177, 186, 22, 214, 89, 152, 96, 168, 7, 54, 32, 17])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.863264058+00:00","status":"failed","tests":1,"discards":0,"time":"55us","error":null,"tool":"crabcheck","counterexample":"([184, 221, 253, 39, 245, 16, 106, 217, 152, 195, 144, 216, 18, 201, 84, 123, 69, 73, 97, 194, 55, 140, 51, 32, 116, 254, 173, 16, 70, 151, 171, 9, 54, 223, 142, 222, 234, 83, 245, 25, 67, 6, 16, 199, 75, 160, 45, 179, 59, 233, 172, 134, 239, 248, 70, 245, 216, 8, 254, 9, 239, 103, 139, 11, 70, 124, 101, 40, 177, 191, 128, 203, 16, 59, 147, 84, 83, 94, 108, 175, 136, 168, 160, 45, 123, 126, 200, 51, 104, 250, 234, 56, 252, 150, 8, 57, 40, 122, 31, 116, 253, 134, 69, 229, 47, 196, 236, 247, 169, 47, 128, 243, 32, 189, 86, 130, 167])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.864337742+00:00","status":"failed","tests":1,"discards":0,"time":"60us","error":null,"tool":"crabcheck","counterexample":"([251, 145, 30, 57, 48, 45, 253, 88, 67, 93, 241, 156, 105, 35, 155, 44, 244, 189, 251, 202, 91, 229, 141, 148, 221, 90, 125, 28, 59, 227, 212, 16, 62, 158, 36, 128, 80, 92, 14, 118, 48, 97, 206, 100, 111, 46, 98, 157, 39, 26, 202, 162, 26, 57, 24, 239, 178, 154, 42, 156, 239, 221, 205, 36, 87, 31, 224, 112, 112, 137, 169, 114, 92, 152, 36, 80, 178, 131, 60, 108, 95, 61, 79, 95, 147, 56, 7, 93, 100, 149, 26, 202, 231, 19, 12, 149, 251, 77, 109, 75, 149, 182, 230, 204, 255, 92, 227, 27, 178, 99, 139, 150, 245, 215, 233, 75, 107, 128, 35, 141, 2, 242, 51, 89, 201, 89, 85, 137, 94, 19, 221, 196, 82, 160, 235, 129, 19, 84, 154, 201, 196, 73, 210, 25, 187, 210, 79, 97, 25, 72, 26, 10, 164, 81, 200, 213, 112, 34, 126, 178, 134, 162, 239, 235, 56, 193, 254, 20, 252, 147, 112, 80, 89, 208, 14, 145, 106, 174, 109, 243, 57, 97, 98, 120, 98, 233, 26, 78, 196, 133, 63, 84, 179, 254, 74, 254])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.865417210+00:00","status":"failed","tests":1,"discards":0,"time":"62us","error":null,"tool":"crabcheck","counterexample":"([179, 43, 189, 101, 139, 230, 255, 238, 8, 225, 125, 40, 76, 101, 52, 21, 116, 209, 1, 117, 127, 254, 120, 232, 255, 94, 74, 81, 35, 151, 0, 192, 142, 114, 229, 94, 30, 41, 55, 183, 100, 209, 123, 36, 189, 222, 94, 5, 91, 105, 84, 245, 34, 69, 137, 201, 24, 71, 141, 231, 78, 39, 165, 160, 105, 217, 161, 248, 125, 17, 58, 34, 241, 205, 25, 241, 133, 208, 123, 24, 54, 172, 120, 158, 255, 13, 94, 101, 35, 229, 7, 85, 213, 90, 164, 34, 3, 13, 23, 176, 157, 97, 37, 212, 147, 61, 42, 28, 116, 85, 170, 47, 198, 202, 70, 162, 3, 143, 28, 84, 62, 251, 64, 153, 156, 38, 168, 3, 190, 157, 182, 252, 219, 117, 122, 43, 70, 80, 102, 241, 243, 128, 42, 116])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.866506151+00:00","status":"failed","tests":1,"discards":0,"time":"61us","error":null,"tool":"crabcheck","counterexample":"([102, 197, 179, 162, 250, 87, 149, 165, 209, 76, 194, 55, 22, 141, 43, 53, 13, 202, 1, 13, 249, 95, 148, 32, 51, 89, 160, 38, 113, 133, 53, 139, 139, 170, 100, 124, 223, 36])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.867564390+00:00","status":"failed","tests":1,"discards":0,"time":"62us","error":null,"tool":"crabcheck","counterexample":"([129, 219, 108, 95, 71, 35, 68, 161, 30, 198, 247, 206, 7, 33, 149, 224, 89, 142, 221, 46, 208, 6, 36, 46, 138, 27, 224, 117, 140, 156, 9, 147, 76, 180, 52, 106, 197, 10, 35, 72, 255, 168, 151, 242, 100, 195, 96, 120, 51, 87, 143, 47, 222, 187, 209, 224, 230, 90, 85, 218, 218, 110, 252, 137, 17, 75, 169, 205, 246, 74, 107, 36, 194, 37, 125, 246, 219, 165, 44, 168, 94, 0, 50, 189, 60, 148, 97, 71, 207, 27, 161, 143, 186, 163, 220, 211, 30, 71, 111, 213, 117, 162, 246, 84, 49, 144, 126, 132, 27, 76, 85, 151, 252, 17, 127, 215, 34, 162, 156, 44, 130, 59, 107, 36, 240, 16, 125, 154, 102, 93, 94, 8, 154, 32, 248, 247, 63, 34, 234, 82, 19, 44, 250, 237, 234, 53, 88, 110, 191, 26, 77, 159, 55, 126, 211, 199, 204, 67, 189, 241, 166, 236, 83, 253, 177, 92, 75, 7, 84, 29, 78, 246, 119, 196, 103, 162, 238, 34, 224, 197, 107])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:14:49.868779095+00:00","status":"failed","tests":12,"discards":0,"time":"1547453us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:14:51.419780193+00:00","status":"failed","tests":12,"discards":0,"time":"534421us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:14:51.955740890+00:00","status":"failed","tests":12,"discards":0,"time":"535626us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:14:52.492736376+00:00","status":"failed","tests":12,"discards":0,"time":"535596us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:14:53.029625536+00:00","status":"failed","tests":12,"discards":0,"time":"537287us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:14:53.568254078+00:00","status":"failed","tests":12,"discards":0,"time":"539194us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:14:54.108943267+00:00","status":"failed","tests":12,"discards":0,"time":"536068us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:14:54.646486878+00:00","status":"failed","tests":12,"discards":0,"time":"537082us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:14:55.184913387+00:00","status":"failed","tests":12,"discards":0,"time":"524170us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DontPanicOnDrop","mutations":["dont_panic_on_drop_44e14b1_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:14:55.711375885+00:00","status":"failed","tests":12,"discards":0,"time":"539143us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"be82bde76091e0edd612ce1354e8532e9d65c840"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.919393024+00:00","status":"failed","tests":239,"discards":0,"time":"1360us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.921995572+00:00","status":"failed","tests":361,"discards":0,"time":"2702us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.925674694+00:00","status":"failed","tests":254,"discards":0,"time":"1487us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.928188349+00:00","status":"failed","tests":375,"discards":0,"time":"2820us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.931982244+00:00","status":"failed","tests":172,"discards":0,"time":"888us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.933828997+00:00","status":"failed","tests":123,"discards":0,"time":"616us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.935451558+00:00","status":"failed","tests":264,"discards":0,"time":"1613us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.938073654+00:00","status":"failed","tests":262,"discards":0,"time":"1607us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.940621028+00:00","status":"failed","tests":328,"discards":0,"time":"2281us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.943910908+00:00","status":"failed","tests":297,"discards":0,"time":"2145us","error":null,"tool":"proptest","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.947321039+00:00","status":"failed","tests":9,"discards":0,"time":"104us","error":null,"tool":"quickcheck","counterexample":"([129, 130, 17, 1, 35, 196, 122, 245, 235, 9, 0, 83, 83, 184, 254, 255, 244, 205, 1, 16, 178, 19, 85, 95, 190, 78, 162, 161, 255, 47, 96, 147, 137, 170, 1, 58, 86, 68, 169, 191, 1, 229, 39, 219, 1, 24, 243, 91, 60, 30, 220, 183, 175, 252, 71, 41, 135, 202, 251, 14, 155, 46, 255, 182, 194, 192, 201, 0, 94, 20, 197, 88, 1, 187, 48, 39, 92, 71, 7, 29, 243, 179, 204, 84, 93, 70, 247, 49, 13, 94, 92, 104, 26, 83, 128, 164, 41, 91, 230, 243, 0, 174, 127, 221, 231, 65, 200, 204, 10, 119, 54, 69, 25, 84, 192, 245, 117, 219, 179, 152, 1, 255, 158, 255, 143, 71, 1, 158, 204, 249, 231, 27, 154, 7, 38, 0, 49, 48, 163, 209, 66, 174, 176, 17, 145, 29, 189, 217, 220, 15, 160, 1, 43, 0, 1, 196, 106, 109, 242, 181, 136, 142, 203, 107, 183, 134, 26, 160, 69, 51, 78, 230, 32, 75, 232, 35, 202, 211, 255, 235, 1, 197, 236, 0, 59, 87, 167, 1, 130, 133, 39, 102, 152, 121, 174, 6, 188, 52, 214, 0, 109, 253, 243, 255, 250, 11, 51, 161, 3, 216, 206, 73, 255, 88, 173, 50, 87, 43, 25, 111, 202, 137, 1, 173, 146, 56, 253, 167, 0, 106, 15, 62, 1, 100, 250, 67, 185, 225, 39, 60, 107, 179, 4, 252, 183, 51, 131, 116, 102, 101, 125, 45, 234, 24, 30] [15, 69, 167])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.948450796+00:00","status":"failed","tests":1,"discards":0,"time":"53us","error":null,"tool":"quickcheck","counterexample":"([1, 134, 255, 82, 36, 0, 39, 1, 0, 167, 47, 103, 107, 170, 159, 163, 189, 104, 27, 46, 23, 186, 213, 237, 212, 67, 109, 201, 95, 140, 102, 70, 163, 129, 43, 0, 95, 21, 51, 119, 10, 212, 99, 1, 234, 165, 1, 228, 105, 179, 205, 1, 0, 255, 100, 229, 203, 151, 18, 30, 200, 89, 164, 232, 255] [79, 11, 38])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.949500720+00:00","status":"failed","tests":1,"discards":0,"time":"53us","error":null,"tool":"quickcheck","counterexample":"([152, 218, 1, 73, 16, 1, 2, 7, 248, 32, 248, 94, 27, 163, 255, 228, 30, 101, 180, 72, 160, 131, 119, 66, 85, 133, 63, 177, 23, 17, 107, 0, 127, 130, 157, 143, 232, 14, 207, 204, 232, 217, 1, 145, 255, 12, 198, 184, 226, 38, 64, 197, 13, 187, 181, 216, 21, 105, 72, 168, 45, 152, 136, 255, 72, 85, 249, 120, 190, 205, 215, 23, 198, 218, 99, 121, 62, 4, 120, 101, 134, 229, 117, 164, 127, 144, 30, 91, 164, 81, 255, 75, 43, 3, 54, 215, 14, 92, 155, 89, 2, 243, 57, 125, 10, 164, 103, 43, 68, 205, 140, 155, 127, 22, 163, 117, 118] [41])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.950536271+00:00","status":"failed","tests":9,"discards":0,"time":"89us","error":null,"tool":"quickcheck","counterexample":"([160, 28, 98, 25, 54, 10, 64, 132, 168, 99, 142, 123, 211, 151, 193, 1, 101, 30, 157, 204, 215, 87, 185, 144, 0, 236, 33, 227, 144, 135, 1, 185, 8, 86, 92, 91, 144, 169, 182, 30, 208, 1, 139, 23, 149, 88, 180, 75, 5, 213, 139, 161, 181, 33, 228, 80, 149, 173, 123, 8, 0, 249, 230, 253, 0, 34, 255, 235, 206, 226, 180, 228, 115, 145, 20, 1, 222, 171] [21])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.951645525+00:00","status":"failed","tests":3,"discards":0,"time":"56us","error":null,"tool":"quickcheck","counterexample":"([236, 222, 247, 197, 199, 242, 190, 153, 224, 25, 145, 110, 156, 83, 134, 87, 49, 28, 7, 121, 72, 136, 193, 88, 32, 231, 93, 1, 238, 1, 225, 255, 30, 111, 1, 153, 60, 255, 60, 8] [91])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.952692688+00:00","status":"failed","tests":1,"discards":0,"time":"46us","error":null,"tool":"quickcheck","counterexample":"([221, 174, 96, 1, 158, 34, 229, 249, 32, 41, 132, 120, 158, 211, 175, 112, 169, 79, 238, 37, 15, 240, 1, 228, 255, 88, 164, 138, 162, 159, 236, 161, 120, 107, 168, 94, 176, 116, 190, 89, 107, 51, 42, 209, 229, 251, 243, 66, 80, 11, 147, 255, 102, 205, 103, 118, 84, 171, 210, 87, 231, 119, 4, 69, 148, 0] [214])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.953761798+00:00","status":"failed","tests":10,"discards":0,"time":"102us","error":null,"tool":"quickcheck","counterexample":"([4, 17, 245, 197, 1, 255, 175, 90, 29, 180, 177, 5, 248, 42, 178, 248, 74, 134, 67, 250, 131, 155, 170, 173, 253, 121, 0, 179, 145, 80, 95, 16, 210, 123, 225, 22, 30, 65, 217, 46, 95, 178, 192, 237, 255, 241, 240, 105, 1, 139, 232, 93, 220, 202, 135, 147, 209, 56, 195, 72, 204, 184, 250, 1, 24, 120, 183, 165, 29, 255, 108, 135, 120, 125, 113, 133, 33, 186, 218, 255, 220, 173, 119, 20, 58, 92, 12, 18, 40, 0, 169, 172, 92, 92, 133, 210, 186, 36, 10, 1, 119, 113, 2, 68, 72, 57, 0, 141, 41, 73, 146, 101, 88, 30, 91, 138, 145, 146, 25, 61, 43, 181, 1, 133, 40, 252, 26, 192, 188, 167, 181, 243, 4, 220, 23, 14, 192, 60, 79, 254, 131, 232, 139, 149, 239, 251, 236, 136, 25, 118, 67, 233, 201, 193, 137, 132, 143, 231, 69, 8, 95, 206, 201, 218, 15, 110, 186, 32, 190, 222, 238, 209, 159, 255, 22, 173, 223, 44, 249, 221, 208, 251, 108, 142, 130, 119, 23, 255, 90, 68, 255, 186, 116, 79, 68, 255, 183, 0, 191, 120, 144] [54])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.954850708+00:00","status":"failed","tests":15,"discards":0,"time":"130us","error":null,"tool":"quickcheck","counterexample":"([90, 0, 181, 99, 101, 182, 160, 200, 97, 149, 230, 69, 244, 191, 165, 9, 104, 140, 222, 190, 84, 237, 3, 187, 123, 57, 73, 3, 191, 92, 250, 89, 174, 134, 2, 1, 5, 179, 0, 53, 172, 84, 202, 42, 0, 250, 115, 101, 17, 234, 206, 86, 1, 6, 32, 47, 16, 229, 209, 205, 207, 198, 249, 0, 251, 110, 146, 26, 137, 73, 125, 1, 210, 83, 55, 200, 33, 98, 1, 107, 128, 198, 175, 107, 114, 196, 0, 41, 129, 167, 161, 243, 168, 34, 105, 61, 240, 196, 220, 2, 189, 84, 15, 254, 98, 23, 166, 196, 71, 218, 68, 99, 255, 165, 175, 16, 1, 179, 38, 242, 94, 26, 1, 134, 85, 90, 255] [155])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.956018893+00:00","status":"failed","tests":5,"discards":0,"time":"68us","error":null,"tool":"quickcheck","counterexample":"([218, 73, 255, 1, 140, 47, 126, 12, 23, 61, 186, 207, 102, 211, 185, 162, 85, 172, 199, 160, 79, 100, 255, 114, 51, 140, 26, 23, 3, 120, 232, 86, 24, 163, 189, 90, 26, 242, 132, 141, 110, 128, 159, 43, 203, 137, 160, 144, 237, 19, 83, 231, 245, 252, 217, 199, 110, 198, 176, 0, 0, 79, 249, 179, 21, 110, 0, 24, 244, 38, 41, 133, 1, 0, 146, 127, 142, 1, 211, 1, 56, 130, 255, 135, 253, 255, 231, 11, 113, 140, 75, 61, 177, 49, 0, 38, 65, 230, 6, 193, 42, 112, 96, 177, 70, 34, 178, 205, 207, 102, 241, 42, 15, 1, 4, 89, 104] [174, 179])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.957066466+00:00","status":"failed","tests":1,"discards":0,"time":"55us","error":null,"tool":"quickcheck","counterexample":"([1, 92, 0, 0, 32, 91, 180, 223, 159, 3, 74, 188, 207, 194, 165, 111, 243, 88, 157, 67, 148, 192, 77, 58, 63, 68, 207, 57, 8, 250, 57, 134, 171, 86, 0, 53, 213, 109, 91, 22, 207, 153, 228, 222, 216, 78, 9, 2, 240, 1, 41, 195, 51, 15, 127, 133, 84, 30, 138, 121, 144, 183, 108, 122, 7, 166, 152, 141, 227, 113, 121, 146, 15, 137, 199, 92, 127, 53, 53, 1, 0, 27, 37, 115, 168, 255, 68, 37, 110, 252, 200, 99, 96, 133, 162, 150, 151, 44, 76, 76, 117, 70, 167, 84, 169, 236, 255, 230, 202, 126, 73, 255, 141, 39, 171, 150, 53, 92, 216, 64, 29, 127, 199, 227, 159, 50, 223, 189, 112, 137, 207, 134, 255, 171, 199, 104, 183, 106, 188, 38, 50, 76, 10, 235, 247, 177, 32, 91, 106, 222, 143, 87, 93, 81, 129, 0, 154, 248, 77, 251, 9, 73, 150, 1, 238, 42, 63, 166, 24, 5, 255, 113, 79, 4, 238, 111, 135, 208, 36, 160, 177, 188, 130, 178, 204, 34, 39, 175, 150, 45, 73, 68, 8, 103, 29, 38, 191, 28, 63, 7, 51, 145, 166, 54, 49, 146, 197, 33, 147, 0, 1, 126, 94, 154, 124, 134, 114, 103, 229, 0, 0, 252, 86, 186, 95, 222, 103, 43, 36, 175, 131, 1, 44, 5, 173, 191, 234, 92, 70, 42] [175])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.958417601+00:00","status":"failed","tests":2,"discards":0,"time":"52us","error":null,"tool":"crabcheck","counterexample":"([126, 22, 121, 94, 83, 85, 66, 111, 37, 35, 144, 36, 201, 3, 114, 121, 137, 214, 254, 84, 4, 109, 229, 239, 232, 111, 208, 225, 57, 224, 222, 227, 145, 218, 67, 236, 190, 219, 90, 136, 187, 130, 235, 86, 32, 30, 198, 184, 147, 140, 177, 255, 131, 101, 69, 133, 133, 106, 63, 206, 100, 51, 120, 232, 221, 158, 221, 151, 49, 156, 204, 209, 46, 143, 181, 97, 246, 72, 82, 13, 81, 16, 178, 62, 196, 171, 122, 13, 240, 243, 165, 223, 92, 150, 110, 203, 39, 143, 122, 201, 169, 86, 224, 62, 31, 190, 129, 60, 235, 91, 51, 181, 105, 137, 144, 26, 151, 68, 209, 203, 18, 146, 118, 120, 156, 73, 97, 84, 41, 191, 37, 157, 177, 250, 115, 180, 41, 209, 173, 151, 143, 138, 217, 31, 237, 124, 194, 109, 109, 143, 10, 17, 37, 178, 199, 232, 205, 35, 233, 90, 182, 140, 131, 106, 102, 185, 63, 208, 59, 62, 15, 23, 151, 129, 60, 114, 224, 44] [58])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.959495211+00:00","status":"failed","tests":1,"discards":0,"time":"46us","error":null,"tool":"crabcheck","counterexample":"([36, 89, 40, 44, 6, 92, 160, 178, 115, 192, 193, 155, 78, 122, 67, 210, 240, 77, 231, 130, 156, 112, 130, 211, 10, 48, 150, 231, 204, 175, 170, 98, 187, 55, 66, 239, 247, 51, 186, 85, 244, 32, 145, 207, 70, 61, 75, 10, 123, 208, 183, 227, 212, 18, 146, 216, 125, 74, 80, 85, 185, 229] [195])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.960519366+00:00","status":"failed","tests":5,"discards":0,"time":"53us","error":null,"tool":"crabcheck","counterexample":"([157, 185, 108, 79, 109, 161, 135, 20, 82, 219, 58, 185, 240, 237, 1, 99, 137, 127, 66, 249, 130, 141, 31, 227, 115, 100, 135, 211, 139, 100, 199, 9, 43, 187, 23, 90, 97, 112, 119, 246, 39, 31, 182, 164, 157, 140, 247, 98, 62, 187, 0, 67, 25, 52, 118, 1, 57, 66, 25, 196, 98, 235, 22, 9, 249, 179, 208, 106, 87, 62, 66, 165, 72, 123, 186, 213, 35, 61, 210, 73, 11, 10, 189, 126, 54, 202, 55, 218, 111, 121, 177, 189, 50, 243, 25, 244, 151, 136, 8, 171, 195, 74, 18, 22, 155, 191, 121, 122, 19, 18, 57, 190, 224, 8, 187, 102, 174, 247, 93, 217, 44, 245, 157, 50, 173, 15, 156, 65, 224, 155, 120, 255, 255, 13, 100, 115, 210, 212, 158, 102, 99, 234, 59, 83, 87, 170, 59, 9, 0, 203, 134, 50, 139, 80, 124, 161, 90, 250, 57, 77, 214, 198, 21, 189, 150, 52, 11, 55, 118, 76, 195, 21, 113, 172, 177, 161, 133, 25, 249, 54, 116, 79, 245, 12, 134, 217, 92, 10, 112, 174, 245] [96, 123, 54])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.961549467+00:00","status":"failed","tests":1,"discards":0,"time":"51us","error":null,"tool":"crabcheck","counterexample":"([182, 146, 70, 119, 190, 198, 10, 177, 215, 175, 171, 219, 227, 89, 193, 134, 174, 173, 80, 5, 143, 93, 123, 83, 255, 234, 121, 42, 186, 12, 0, 122, 102, 138, 220, 65, 65, 174, 74, 227, 141, 251, 43, 233, 220, 8, 209, 41, 112, 66, 116, 230, 145, 69, 50, 135, 106, 192, 26, 173, 16, 143, 164, 32, 99, 195, 25, 20, 45, 34, 38, 141, 60, 252, 124, 246, 253, 243, 44, 83, 222, 120, 91, 117, 62, 15, 67, 147, 81, 101, 185, 72, 196, 246, 141, 60, 179, 181, 65, 111, 101, 137, 85, 169, 135, 91, 6, 220, 63, 231, 63, 42, 115, 57, 188, 190, 24, 21, 138, 116, 125, 66, 84, 21, 97, 236, 99, 134, 160, 134, 246, 133, 230, 87, 28, 252, 233, 102, 202, 206, 138, 171, 88, 149, 51, 236, 164, 198, 5, 62, 19, 39, 56, 49, 247, 70, 162, 119, 27, 32, 231, 189, 195, 166, 248, 194, 87, 241, 208, 29, 151, 93, 105, 74, 84, 26, 20, 159, 149, 114, 54, 113, 51, 156, 33, 31, 204, 139, 109, 178, 24, 85, 210, 16, 5, 209, 200, 241, 28, 7, 205, 29, 212, 123, 208, 46] [48, 46])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.962632263+00:00","status":"failed","tests":1,"discards":0,"time":"48us","error":null,"tool":"crabcheck","counterexample":"([26, 111, 248, 79, 3, 217, 246, 89, 31, 105, 55, 71, 16, 11, 133, 19, 189, 148, 95, 178, 32, 189, 121, 215, 1, 41, 9, 121, 221, 66, 84, 38, 47, 71, 229, 173, 73, 224, 48, 113, 87, 14, 66, 51, 214, 79, 82, 70, 176, 106, 73, 118, 229, 149, 43, 92, 127, 166, 244, 251, 195, 60, 193, 79, 106, 73, 204, 210, 134, 218, 95, 1, 246, 165, 246, 171, 150, 1, 58, 209, 13, 251, 22, 250, 224, 221, 68, 247, 41, 169, 17, 103, 125, 155, 97, 67, 34, 98, 214, 195, 207, 170, 101, 37, 44, 131, 52, 29, 203, 217, 251, 18, 113, 35, 188, 103, 242, 196, 225, 154, 139, 63, 165, 228, 43, 97, 239, 223, 233, 208, 53, 10, 223, 157, 38, 114, 206, 36, 51, 125, 108, 189, 199, 31, 47, 189, 58, 143, 44, 161, 245, 192, 75, 246, 216, 21, 81, 129, 33, 95, 25, 173, 24, 135, 148, 238, 196, 193, 20, 98, 250, 85, 199, 30] [149])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.963697289+00:00","status":"failed","tests":7,"discards":0,"time":"62us","error":null,"tool":"crabcheck","counterexample":"([141, 118, 155, 125, 129, 32, 251, 187, 117, 253, 251, 122, 252, 239, 17, 251, 76, 58, 15, 181, 246, 71, 207, 173, 149, 105, 54, 186, 241, 24, 70, 251, 55, 240, 94, 77, 247, 50, 3, 112, 106, 147, 161, 14, 165, 232, 144, 173, 225, 249, 117, 26, 42, 131, 83, 254, 7, 219, 60, 17, 208, 66, 249, 66, 234, 148, 119, 209, 207, 218, 215, 157, 195, 79, 132, 216, 160, 104, 140, 122, 53, 217, 76, 255, 166, 193, 139, 242, 179, 89, 225, 101, 175, 10, 34, 192, 37, 89, 171, 207, 14, 152, 17, 190, 67, 65, 243, 68, 49, 73, 49, 102, 83, 169, 3, 7, 132, 103, 248, 192, 251, 194, 122, 243, 13, 175, 126, 165, 37, 114, 10, 81, 168, 172, 71, 62, 159, 69, 51, 143, 48, 93, 8, 76, 212, 186, 79, 142, 208, 37, 132, 204, 243, 164, 243, 210, 127, 57, 37, 108, 83, 48, 152, 124, 213, 37, 92, 14, 101, 104, 71, 146, 170, 185, 2, 91, 112, 226, 142, 156, 148, 232, 83, 64, 116, 123, 1, 112, 232, 131, 160, 19, 180, 33, 178, 44, 49, 134, 209, 119, 48, 221, 14, 188, 186, 241, 7, 73, 7, 58, 127, 51, 203, 82, 0, 121, 109, 130, 105, 116, 29, 175, 21, 41, 29, 213, 154, 252, 27, 49] [197, 127])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.964740640+00:00","status":"failed","tests":2,"discards":0,"time":"56us","error":null,"tool":"crabcheck","counterexample":"([141, 129, 62, 137, 74, 246, 226, 125, 11, 149, 34, 64, 243, 218, 185, 161, 147, 128, 111, 186, 70, 106, 57, 16, 133, 152, 69, 78, 59, 115, 215, 144, 11, 150, 179, 199, 58, 244, 113, 215, 203, 206, 44, 148, 168, 163, 67, 96, 194, 68, 217, 25, 169, 216, 68, 190, 231, 144, 196, 217, 65, 224, 22, 120, 5, 197, 240, 220, 30, 80, 71, 178, 106, 65, 194, 93, 110, 5, 53, 113, 249, 85, 224, 140, 228, 86, 19, 18, 209, 164, 128, 6, 217, 179, 89, 20, 27, 89, 251, 13, 164, 76, 66, 112, 148, 96, 152, 246, 172, 124, 203, 106, 139, 250, 194, 225, 61, 213, 41, 179, 241, 167, 223, 77, 199, 194, 154, 139, 141, 8, 35, 139, 147, 96, 49, 36, 242, 134, 206, 154, 228, 119, 124, 226, 145, 211, 8, 182, 171, 192, 220, 64, 219, 89, 14, 200, 148, 207, 252, 51, 87, 28, 60, 45, 133, 198, 80, 89, 222, 148, 145, 217, 212, 113, 92, 179, 201, 23, 132, 44, 187, 133, 203, 102, 109, 53, 237, 145, 216, 234, 43, 1, 48, 76, 248, 210, 53, 91, 176] [213, 55])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.965789085+00:00","status":"failed","tests":2,"discards":0,"time":"52us","error":null,"tool":"crabcheck","counterexample":"([222, 85, 52, 106, 150, 40, 164, 168, 242, 252, 85, 230, 165, 210, 164, 131, 7, 246, 191, 175, 87, 79, 122, 237, 36, 255, 180, 7, 193, 176, 98, 176, 2, 226, 213, 238, 7, 16, 210, 116, 153, 129, 60, 180, 168, 230, 0, 13, 58, 147, 115, 212, 192, 205, 64, 249, 42, 15, 207, 161, 51, 205, 230, 85, 172, 143, 196, 228, 73, 16, 99, 201, 79, 95, 226, 238, 144, 15, 183, 133, 1, 128, 216, 156, 77, 156, 131, 66, 61, 155, 225, 228, 142, 246, 124, 208, 84, 238, 149, 249, 121, 75, 55, 102, 250, 253, 119, 5, 86, 226, 231, 97, 25, 164, 181, 216, 121, 139, 209, 235, 80, 194, 101, 220, 104, 182, 187, 236, 234, 42, 121, 20, 173, 144, 122, 15, 145, 152, 240, 3, 51, 187, 238, 153, 206, 174, 198, 159, 254, 180, 96, 155, 139, 25, 132, 27, 11, 139, 91, 219, 117, 14, 12, 168, 241, 253, 188, 18, 211, 228, 177, 117, 66, 194, 120, 251, 20, 204, 192, 182, 111, 48, 59, 17, 57, 253, 71, 219, 197, 98, 48, 139, 64, 42, 162, 139, 161, 195, 28, 199, 201, 124, 154, 246, 244, 236, 185, 72, 125, 156, 66, 150, 149, 235, 51, 6, 4, 75, 39, 214, 237, 241, 108, 55, 180, 228, 249, 250, 24, 136, 41, 53, 177, 215, 193, 123, 103, 148, 7, 244] [154])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.966856181+00:00","status":"failed","tests":20,"discards":0,"time":"78us","error":null,"tool":"crabcheck","counterexample":"([227, 60, 28, 176, 6, 6, 71, 89, 79, 227, 82, 92, 230, 76, 232, 42, 93, 19, 115, 228, 134, 226, 22, 83, 201, 78, 96, 79, 90, 140, 175, 215, 250, 182, 109, 124, 160, 25, 48, 2, 72, 235, 157, 228, 48, 44, 155, 169, 117, 124, 108, 58, 130, 201, 37, 182, 205, 2, 255, 17, 111, 146, 127, 147, 187, 113, 252, 51, 150, 17, 113, 17, 47, 44, 239, 229, 54, 159, 177, 44, 51, 185, 150, 93, 231, 28, 156, 37] [78, 33, 240])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.967945974+00:00","status":"failed","tests":9,"discards":0,"time":"67us","error":null,"tool":"crabcheck","counterexample":"([202, 199, 117, 168, 136, 6, 91, 82, 248, 252, 81, 177, 156, 167, 137, 167, 196, 239, 216, 91, 78, 74, 79, 65, 3, 206, 254, 213, 209, 136, 204, 177, 43, 111, 172, 225, 47, 213, 5, 162, 28, 17, 208, 248, 163, 255, 91, 224, 47, 104, 216, 27, 167, 21, 64, 19, 151, 190, 106, 25, 225, 128, 161, 252, 7, 43, 50, 4, 119, 174, 17, 152, 226, 55, 91, 17, 134, 7, 29, 245, 152, 75, 102, 141, 203, 157, 105, 43, 2, 71, 48, 2, 249, 182, 166, 6, 250, 114, 107, 248, 115, 182, 112, 78, 211, 146, 176, 102, 10, 119, 165, 21, 61, 157, 236, 120, 53, 145, 151, 113, 189, 1, 177, 241, 147, 138, 154, 40, 101, 77, 84, 19, 203, 87, 33, 41, 130, 76, 112, 28, 236, 72, 27, 143, 164, 177, 90, 171, 244, 196, 108, 53, 2, 147, 184, 153, 58, 97, 49, 222, 168, 154, 41, 147, 133, 154, 82, 213, 85, 43, 28, 137, 24, 184, 81, 84, 218, 162, 98, 237, 131, 191, 1, 244, 20, 197, 255, 10, 55, 174, 166, 39, 176, 168, 207, 181, 159, 21, 138, 44, 190] [168, 77])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:14:59.969260971+00:00","status":"failed","tests":999,"discards":0,"time":"39005843us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:15:38.976510929+00:00","status":"failed","tests":999,"discards":0,"time":"39100596us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:16:18.078630073+00:00","status":"failed","tests":999,"discards":0,"time":"39428751us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:16:57.509040081+00:00","status":"failed","tests":999,"discards":0,"time":"39169323us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:17:36.679784627+00:00","status":"failed","tests":999,"discards":0,"time":"38888991us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:18:15.570268178+00:00","status":"failed","tests":999,"discards":0,"time":"38973432us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:18:54.545159884+00:00","status":"failed","tests":999,"discards":0,"time":"38976392us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:19:33.523143334+00:00","status":"failed","tests":999,"discards":0,"time":"38808135us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:20:12.332845415+00:00","status":"failed","tests":999,"discards":0,"time":"38918212us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"SmallDictNoPanic","mutations":["small_dict_no_panic_2d83a3d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:20:51.252750320+00:00","status":"failed","tests":999,"discards":0,"time":"38941940us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0])"},"hash":"a03a2c7003c2df1ab1588f325ed2f492fb3fbb9d"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.892714109+00:00","status":"failed","tests":1,"discards":0,"time":"92us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.894026573+00:00","status":"failed","tests":3,"discards":0,"time":"90us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.895160579+00:00","status":"failed","tests":2,"discards":0,"time":"111us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.896271548+00:00","status":"failed","tests":1,"discards":0,"time":"81us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.897380537+00:00","status":"failed","tests":6,"discards":0,"time":"97us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.898519498+00:00","status":"failed","tests":1,"discards":0,"time":"86us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.899613279+00:00","status":"failed","tests":3,"discards":0,"time":"95us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.900724938+00:00","status":"failed","tests":3,"discards":0,"time":"88us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.901814101+00:00","status":"failed","tests":4,"discards":0,"time":"87us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"proptest","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.902929037+00:00","status":"failed","tests":2,"discards":0,"time":"89us","error":null,"tool":"proptest","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.904365546+00:00","status":"failed","tests":1,"discards":0,"time":"37us","error":null,"tool":"quickcheck","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.905419299+00:00","status":"failed","tests":1,"discards":0,"time":"38us","error":null,"tool":"quickcheck","counterexample":"([186, 170])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.906483985+00:00","status":"failed","tests":2,"discards":0,"time":"41us","error":null,"tool":"quickcheck","counterexample":"([80, 137, 124])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.907548517+00:00","status":"failed","tests":1,"discards":0,"time":"33us","error":null,"tool":"quickcheck","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.908590421+00:00","status":"failed","tests":1,"discards":0,"time":"37us","error":null,"tool":"quickcheck","counterexample":"([8, 60])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.909656707+00:00","status":"failed","tests":4,"discards":0,"time":"45us","error":null,"tool":"quickcheck","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.910754423+00:00","status":"failed","tests":1,"discards":0,"time":"50us","error":null,"tool":"quickcheck","counterexample":"([228, 137])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.911817264+00:00","status":"failed","tests":2,"discards":0,"time":"38us","error":null,"tool":"quickcheck","counterexample":"([182, 211, 13])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.912882690+00:00","status":"failed","tests":2,"discards":0,"time":"39us","error":null,"tool":"quickcheck","counterexample":"([160])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"quickcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.913933078+00:00","status":"failed","tests":1,"discards":0,"time":"37us","error":null,"tool":"quickcheck","counterexample":"([185, 0, 125])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.915341022+00:00","status":"failed","tests":1,"discards":0,"time":"37us","error":null,"tool":"crabcheck","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.916384427+00:00","status":"failed","tests":1,"discards":0,"time":"45us","error":null,"tool":"crabcheck","counterexample":"([198])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.917443141+00:00","status":"failed","tests":3,"discards":0,"time":"39us","error":null,"tool":"crabcheck","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.918492487+00:00","status":"failed","tests":2,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"([141, 174])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.919554757+00:00","status":"failed","tests":4,"discards":0,"time":"38us","error":null,"tool":"crabcheck","counterexample":"([204])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.920570240+00:00","status":"failed","tests":5,"discards":0,"time":"38us","error":null,"tool":"crabcheck","counterexample":"([81, 15, 204])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.921623422+00:00","status":"failed","tests":1,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"([111, 161])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.922643103+00:00","status":"failed","tests":2,"discards":0,"time":"43us","error":null,"tool":"crabcheck","counterexample":"([170, 35])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.923711514+00:00","status":"failed","tests":3,"discards":0,"time":"37us","error":null,"tool":"crabcheck","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"crabcheck","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.924721558+00:00","status":"failed","tests":1,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"([248, 171])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T05:21:33.926194753+00:00","status":"failed","tests":12,"discards":0,"time":"164375us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T05:21:34.091695612+00:00","status":"failed","tests":12,"discards":0,"time":"164130us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T05:21:34.257139995+00:00","status":"failed","tests":12,"discards":0,"time":"165155us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T05:21:34.423631099+00:00","status":"failed","tests":12,"discards":0,"time":"165585us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T05:21:34.590646393+00:00","status":"failed","tests":12,"discards":0,"time":"165270us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T05:21:34.757307715+00:00","status":"failed","tests":12,"discards":0,"time":"165762us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T05:21:34.924397945+00:00","status":"failed","tests":12,"discards":0,"time":"165662us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T05:21:35.091478767+00:00","status":"failed","tests":12,"discards":0,"time":"165972us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T05:21:35.258792073+00:00","status":"failed","tests":12,"discards":0,"time":"166064us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}
{"data":{"experiment":"ci-run","workload":"lz4_flex","language":"rust","strategy":"hegel","property":"DecompressShortInputNoPanic","mutations":["decompress_short_input_no_panic_e0e7e5c_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T05:21:35.426185479+00:00","status":"failed","tests":12,"discards":0,"time":"165958us","error":null,"tool":"hegel","counterexample":"([])"},"hash":"1ebd9dbbd509a61659a633f4eafe4261c16d23a1"}