{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.714957595+00:00","status":"failed","tests":92,"discards":0,"time":"146us","error":null,"tool":"proptest","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.716249290+00:00","status":"failed","tests":62,"discards":0,"time":"97us","error":null,"tool":"proptest","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.717155147+00:00","status":"failed","tests":74,"discards":0,"time":"92us","error":null,"tool":"proptest","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.718121963+00:00","status":"failed","tests":52,"discards":0,"time":"72us","error":null,"tool":"proptest","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.719026998+00:00","status":"failed","tests":58,"discards":0,"time":"69us","error":null,"tool":"proptest","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.719938052+00:00","status":"failed","tests":54,"discards":0,"time":"73us","error":null,"tool":"proptest","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.720816228+00:00","status":"failed","tests":67,"discards":0,"time":"107us","error":null,"tool":"proptest","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.721746519+00:00","status":"failed","tests":50,"discards":0,"time":"63us","error":null,"tool":"proptest","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.722646077+00:00","status":"failed","tests":57,"discards":0,"time":"76us","error":null,"tool":"proptest","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.723547476+00:00","status":"failed","tests":81,"discards":0,"time":"112us","error":null,"tool":"proptest","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.724520832+00:00","status":"failed","tests":3,"discards":0,"time":"27us","error":null,"tool":"quickcheck","counterexample":"([141, 21, 139, 240, 73, 197, 72, 241, 105, 162, 30, 179, 201, 67, 115, 224, 122, 203, 44, 154, 138, 186, 21, 149, 70, 230, 202, 194, 44, 89, 9, 110, 34, 155, 5, 120, 116, 23, 222] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.725405747+00:00","status":"failed","tests":3,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"([75, 227, 151, 237, 166, 109, 42, 235, 12, 64, 129, 249, 255, 182, 146, 238] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.726336991+00:00","status":"failed","tests":3,"discards":0,"time":"30us","error":null,"tool":"quickcheck","counterexample":"([15, 234, 53, 119, 18, 227, 107, 78, 200, 161, 45, 133, 221, 246, 91, 51, 148, 44, 13, 211, 19, 163, 37, 153, 47, 165, 196, 68, 93, 150, 48, 6, 212, 52, 76, 147, 164, 0, 85, 144, 62, 196, 170, 65, 196, 170, 209, 39, 239, 7, 210, 232, 242, 128, 32, 126, 229, 74, 164, 65] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.727239603+00:00","status":"failed","tests":2,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"([129, 175, 91, 6, 63, 187, 185, 105, 142, 81, 103, 20, 64, 50, 111, 174, 43, 195, 68, 186, 3, 238, 133, 12, 253, 93, 251, 35, 130, 163, 173, 80, 219, 127, 137, 150, 55, 13, 14, 100, 22] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.728116536+00:00","status":"failed","tests":3,"discards":0,"time":"25us","error":null,"tool":"quickcheck","counterexample":"([95, 70, 220, 206, 32, 151, 69, 109, 69, 79, 94, 251, 148, 46, 191, 77, 12, 227, 40, 114, 147, 218, 65, 52, 134, 92, 192, 17, 160, 189, 135, 118, 18, 105, 135, 148, 179, 151, 205, 147, 16, 0, 72, 43, 223, 114, 185, 119, 116, 60, 243, 183, 122, 21, 49] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.728981973+00:00","status":"failed","tests":4,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"([225, 245, 16, 15, 164, 162, 189, 163, 99, 69, 124, 253, 223, 221, 68, 20, 252] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.729855161+00:00","status":"failed","tests":3,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"([193, 211, 175, 137, 174, 253, 154, 178, 120, 93, 154, 70, 166, 239, 13, 81, 8, 248, 104, 107, 87, 111, 224, 184, 54, 226, 89, 208, 244, 34] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.730726517+00:00","status":"failed","tests":3,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"([21, 1, 118, 97, 48, 124, 170, 200, 84, 204, 94, 238, 24] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.731572875+00:00","status":"failed","tests":3,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"([76, 194, 196, 178, 12, 105, 52, 86, 111, 252, 254, 143, 79, 46, 88, 25, 20, 118, 214, 54] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.732403631+00:00","status":"failed","tests":3,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"([41, 206] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.733322947+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"([167, 57, 67, 94, 171, 92, 11, 226, 246, 240, 30, 211, 164, 154, 4, 139, 121, 104, 241, 187, 30, 114, 189, 104, 2, 136, 252, 148, 245, 171, 35, 93, 9, 251, 163, 212] 2946699217 226)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.734204798+00:00","status":"failed","tests":1,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"([25, 136, 194, 194, 214, 21, 145, 164, 178, 4, 161, 146, 38, 60, 199, 164, 143, 224, 22, 40, 63, 42, 36, 7, 76, 77, 38, 129, 236, 32, 64, 89, 3, 34, 118, 120, 246, 176, 82, 151, 4, 9, 133] 1167943707 1)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.735021923+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"([169, 105, 182, 186, 212, 223, 168, 139, 50, 229, 9, 82, 18, 176] 1295355857 214)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.735888061+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"([228, 87, 35, 22, 249, 142, 100] 1275980218 232)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.736727649+00:00","status":"failed","tests":1,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"([180, 206, 36, 170] 1250320884 180)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.737569441+00:00","status":"failed","tests":1,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"([134, 240, 212, 152, 245, 4] 995212905 221)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.738370142+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"([225, 54, 178, 131, 28, 60, 159, 126, 212, 114, 107, 46, 150] 50308085 17)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.739236921+00:00","status":"failed","tests":1,"discards":0,"time":"24us","error":null,"tool":"crabcheck","counterexample":"([53, 56, 44, 248, 199, 11, 143, 55, 113, 183, 170, 125, 235, 200, 81, 152, 11, 95, 231, 72, 53] 1005865230 48)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.740070361+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"([247, 228, 228, 74, 4, 97, 97, 87, 210, 189, 30, 108, 161, 139, 226, 61, 0, 245, 253, 196, 172, 134, 120, 53, 87, 130, 94] 3342746998 98)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.740902347+00:00","status":"failed","tests":1,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"([121, 209, 168, 124, 58, 91, 28, 7, 197, 235, 246, 183, 53] 712751335 138)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:14.741889174+00:00","status":"failed","tests":12,"discards":0,"time":"1103492us","error":null,"tool":"hegel","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.846415011+00:00","status":"failed","tests":12,"discards":0,"time":"137226us","error":null,"tool":"hegel","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.984914140+00:00","status":"failed","tests":12,"discards":0,"time":"133633us","error":null,"tool":"hegel","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:16.119830133+00:00","status":"failed","tests":12,"discards":0,"time":"130994us","error":null,"tool":"hegel","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:16.252066964+00:00","status":"failed","tests":12,"discards":0,"time":"130492us","error":null,"tool":"hegel","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:16.383937385+00:00","status":"failed","tests":12,"discards":0,"time":"129920us","error":null,"tool":"hegel","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:16.515135724+00:00","status":"failed","tests":12,"discards":0,"time":"131113us","error":null,"tool":"hegel","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:16.647573802+00:00","status":"failed","tests":12,"discards":0,"time":"131029us","error":null,"tool":"hegel","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:16.779843962+00:00","status":"failed","tests":12,"discards":0,"time":"131136us","error":null,"tool":"hegel","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"FromHexRejectsWhitespace","mutations":["from_hex_accepts_whitespace_71c83f2_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:16.912393334+00:00","status":"failed","tests":12,"discards":0,"time":"130498us","error":null,"tool":"hegel","counterexample":"([0] 0 0)"},"hash":"de0abc4da4d0c28a539365bd63a9adc32aa49bcc"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.281232718+00:00","status":"failed","tests":10,"discards":0,"time":"62us","error":null,"tool":"proptest","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.282377036+00:00","status":"failed","tests":14,"discards":0,"time":"52us","error":null,"tool":"proptest","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.283255191+00:00","status":"failed","tests":11,"discards":0,"time":"59us","error":null,"tool":"proptest","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.284165865+00:00","status":"failed","tests":11,"discards":0,"time":"61us","error":null,"tool":"proptest","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.285042097+00:00","status":"failed","tests":6,"discards":0,"time":"58us","error":null,"tool":"proptest","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.285911330+00:00","status":"failed","tests":20,"discards":0,"time":"82us","error":null,"tool":"proptest","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.286778388+00:00","status":"failed","tests":7,"discards":0,"time":"54us","error":null,"tool":"proptest","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.287637626+00:00","status":"failed","tests":20,"discards":0,"time":"56us","error":null,"tool":"proptest","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.288470815+00:00","status":"failed","tests":32,"discards":0,"time":"60us","error":null,"tool":"proptest","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"proptest","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.289364794+00:00","status":"failed","tests":4,"discards":0,"time":"56us","error":null,"tool":"proptest","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.290418528+00:00","status":"failed","tests":5,"discards":0,"time":"30us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.291435789+00:00","status":"failed","tests":5,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.292269178+00:00","status":"failed","tests":10,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.293146913+00:00","status":"failed","tests":3,"discards":0,"time":"19us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.293974834+00:00","status":"failed","tests":7,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.294823567+00:00","status":"failed","tests":10,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.295636245+00:00","status":"failed","tests":2,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.296429646+00:00","status":"failed","tests":2,"discards":0,"time":"19us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.297249895+00:00","status":"failed","tests":13,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"quickcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.298089424+00:00","status":"failed","tests":2,"discards":0,"time":"17us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.299139192+00:00","status":"failed","tests":16,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(20 177)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.299961846+00:00","status":"failed","tests":2,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(14 61)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.300823297+00:00","status":"failed","tests":4,"discards":0,"time":"17us","error":null,"tool":"crabcheck","counterexample":"(5 8)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.301625611+00:00","status":"failed","tests":1,"discards":0,"time":"15us","error":null,"tool":"crabcheck","counterexample":"(28 91)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.302422916+00:00","status":"failed","tests":15,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(17 54)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.303231309+00:00","status":"failed","tests":19,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"(11 101)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.304064889+00:00","status":"failed","tests":8,"discards":0,"time":"16us","error":null,"tool":"crabcheck","counterexample":"(17 55)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.304870267+00:00","status":"failed","tests":3,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(14 234)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.305711798+00:00","status":"failed","tests":3,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(24 104)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"crabcheck","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.306495074+00:00","status":"failed","tests":7,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"(7 160)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.307585001+00:00","status":"failed","tests":12,"discards":0,"time":"125439us","error":null,"tool":"hegel","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.434000545+00:00","status":"failed","tests":12,"discards":0,"time":"125457us","error":null,"tool":"hegel","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.560933382+00:00","status":"failed","tests":12,"discards":0,"time":"125269us","error":null,"tool":"hegel","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.687545426+00:00","status":"failed","tests":12,"discards":0,"time":"125122us","error":null,"tool":"hegel","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.813857266+00:00","status":"failed","tests":12,"discards":0,"time":"126243us","error":null,"tool":"hegel","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:18.941288388+00:00","status":"failed","tests":12,"discards":0,"time":"125365us","error":null,"tool":"hegel","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:19.067969324+00:00","status":"failed","tests":12,"discards":0,"time":"125374us","error":null,"tool":"hegel","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:19.194712691+00:00","status":"failed","tests":12,"discards":0,"time":"126498us","error":null,"tool":"hegel","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:19.322580457+00:00","status":"failed","tests":12,"discards":0,"time":"126317us","error":null,"tool":"hegel","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}
{"data":{"experiment":"ci-run","workload":"hex","language":"rust","strategy":"hegel","property":"InvalidCharErrorDisplayEscaped","mutations":["invalid_char_display_raw_764ee61_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:19.450113239+00:00","status":"failed","tests":12,"discards":0,"time":"125156us","error":null,"tool":"hegel","counterexample":"(0x00)"},"hash":"48cb6f16d7c02d148e27298f976b405a3a8be457"}