{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.335611429+00:00","status":"failed","tests":28,"discards":0,"time":"143us","error":null,"tool":"proptest","counterexample":"([72, 72, 72])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.337239909+00:00","status":"failed","tests":12,"discards":0,"time":"90us","error":null,"tool":"proptest","counterexample":"([72, 72, 72])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.338439976+00:00","status":"failed","tests":33,"discards":0,"time":"173us","error":null,"tool":"proptest","counterexample":"([101, 32, 49])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.339628988+00:00","status":"failed","tests":33,"discards":0,"time":"167us","error":null,"tool":"proptest","counterexample":"([72, 72, 48])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.340844338+00:00","status":"failed","tests":20,"discards":0,"time":"136us","error":null,"tool":"proptest","counterexample":"([72, 72, 72])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.341986330+00:00","status":"failed","tests":33,"discards":0,"time":"165us","error":null,"tool":"proptest","counterexample":"([72, 119, 100])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.343182071+00:00","status":"failed","tests":33,"discards":0,"time":"176us","error":null,"tool":"proptest","counterexample":"([101, 101, 127])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.344418103+00:00","status":"failed","tests":25,"discards":0,"time":"123us","error":null,"tool":"proptest","counterexample":"([72, 72, 72])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.345547885+00:00","status":"failed","tests":33,"discards":0,"time":"169us","error":null,"tool":"proptest","counterexample":"([72, 72, 101])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.346737078+00:00","status":"failed","tests":33,"discards":0,"time":"183us","error":null,"tool":"proptest","counterexample":"([72, 72, 44])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.348060039+00:00","status":"failed","tests":1,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"([98, 70, 56, 111, 32, 119, 56, 127, 99, 114, 52, 53, 100, 98, 51, 53, 49, 100, 255, 48, 54, 56, 102, 51, 101, 102, 100, 48, 255])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.349179186+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"quickcheck","counterexample":"([111, 100, 57, 32, 70, 44, 98, 100, 108, 49, 49, 70, 100, 52, 101, 32, 100, 70, 51, 44])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.350284012+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"([114, 44, 70, 102, 119, 0, 72, 50, 54, 111, 49, 53, 97, 98, 32, 32, 98])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.351345812+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"quickcheck","counterexample":"([0, 114, 32, 255, 99, 101, 57, 127, 48, 108, 101, 57, 108, 54, 51, 101, 111, 98, 0, 101, 99, 32, 255, 48, 53, 48, 111])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.352457828+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"([49, 57, 127, 101, 48, 111, 53, 101, 97, 55, 255, 111, 255, 99, 127, 98, 56, 98, 32, 49, 100, 54, 54, 72, 102, 114, 55, 100, 97, 33])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.353512438+00:00","status":"failed","tests":1,"discards":0,"time":"28us","error":null,"tool":"quickcheck","counterexample":"([0, 48, 127, 101, 127, 56, 127, 52, 56])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.354602662+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"([255, 101, 97, 50, 55, 99, 57, 50, 102, 100, 48, 0, 72, 98, 72, 57, 100, 114, 48, 50, 48, 98, 98, 127, 54, 33, 49, 255, 44, 51])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.355805183+00:00","status":"failed","tests":1,"discards":0,"time":"27us","error":null,"tool":"quickcheck","counterexample":"([119, 57, 57, 108, 108, 99, 108, 57, 114, 50, 102, 99, 114, 70, 54])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.356893143+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"([32, 119, 0, 49])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.357947343+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"([255, 54, 119, 97, 49, 255, 255, 49, 101, 54, 97, 101, 72, 119, 51, 56, 97, 44, 102, 56, 0])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.359116084+00:00","status":"failed","tests":1,"discards":0,"time":"27us","error":null,"tool":"crabcheck","counterexample":"([111, 111, 111, 101, 255, 127, 52])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.360210383+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"([98, 255, 51])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.361271162+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"([50, 52, 51, 101, 55, 72, 55, 57, 44, 70, 33, 99, 108, 100, 51, 55, 119, 55, 102, 97, 127, 127, 102])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.362366774+00:00","status":"failed","tests":1,"discards":0,"time":"29us","error":null,"tool":"crabcheck","counterexample":"([111, 102, 119, 54, 53, 97, 44, 119, 57, 52, 101, 111, 119, 127, 111, 100, 99, 56, 99])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.363413522+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"([101, 100, 119, 99, 127, 50, 255, 50, 51, 102, 33, 32, 255, 100, 55, 102, 100, 50, 52, 99, 51, 55, 99, 33, 100, 102])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.364501983+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"([50, 55, 33, 98, 52, 255, 98, 119, 54, 70, 108, 33, 99, 33, 101, 54, 111, 100, 98, 0, 101, 44, 0, 102, 101])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.365571295+00:00","status":"failed","tests":1,"discards":0,"time":"29us","error":null,"tool":"crabcheck","counterexample":"([32, 57, 100, 70, 56, 54, 53, 33, 44, 70, 0, 102, 100])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.366668258+00:00","status":"failed","tests":1,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"([127, 53, 72, 54, 51, 100])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.367772633+00:00","status":"failed","tests":1,"discards":0,"time":"30us","error":null,"tool":"crabcheck","counterexample":"([114, 100, 114, 55, 56, 52, 101, 97, 57, 55, 52])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.368834865+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"([57, 49, 57, 99, 0, 100, 100, 255, 33, 53, 50, 44])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:12.369986980+00:00","status":"failed","tests":12,"discards":0,"time":"676973us","error":null,"tool":"hegel","counterexample":"([72, 72, 72])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:13.048249304+00:00","status":"failed","tests":12,"discards":0,"time":"194213us","error":null,"tool":"hegel","counterexample":"([72, 72, 72])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:13.244036726+00:00","status":"failed","tests":12,"discards":0,"time":"194747us","error":null,"tool":"hegel","counterexample":"([72, 72, 72])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:13.440790735+00:00","status":"failed","tests":12,"discards":0,"time":"192794us","error":null,"tool":"hegel","counterexample":"([72, 72, 72])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:13.635105401+00:00","status":"failed","tests":12,"discards":0,"time":"191918us","error":null,"tool":"hegel","counterexample":"([72, 72, 72])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:13.828709632+00:00","status":"failed","tests":12,"discards":0,"time":"191911us","error":null,"tool":"hegel","counterexample":"([72, 72, 72])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.022276536+00:00","status":"failed","tests":12,"discards":0,"time":"191439us","error":null,"tool":"hegel","counterexample":"([72, 72, 72])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.215240217+00:00","status":"failed","tests":12,"discards":0,"time":"189964us","error":null,"tool":"hegel","counterexample":"([72, 72, 72])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.406829650+00:00","status":"failed","tests":12,"discards":0,"time":"190572us","error":null,"tool":"hegel","counterexample":"([72, 72, 72])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"BinhexAlphabetMatchesSpec","mutations":["binhex_alphabet_838355e_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:14.598976700+00:00","status":"failed","tests":12,"discards":0,"time":"199821us","error":null,"tool":"hegel","counterexample":"([72, 72, 72])"},"hash":"68c96f7cf767bc62015bbe99bf7a9290663bf780"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.567114630+00:00","status":"failed","tests":8,"discards":0,"time":"99us","error":null,"tool":"proptest","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.568569859+00:00","status":"failed","tests":3,"discards":0,"time":"89us","error":null,"tool":"proptest","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.569767733+00:00","status":"failed","tests":1,"discards":0,"time":"75us","error":null,"tool":"proptest","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.570945277+00:00","status":"failed","tests":25,"discards":0,"time":"90us","error":null,"tool":"proptest","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.572099144+00:00","status":"failed","tests":5,"discards":0,"time":"79us","error":null,"tool":"proptest","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.573225782+00:00","status":"failed","tests":15,"discards":0,"time":"100us","error":null,"tool":"proptest","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.574372478+00:00","status":"failed","tests":5,"discards":0,"time":"76us","error":null,"tool":"proptest","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.575487509+00:00","status":"failed","tests":4,"discards":0,"time":"91us","error":null,"tool":"proptest","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.576589759+00:00","status":"failed","tests":3,"discards":0,"time":"88us","error":null,"tool":"proptest","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"proptest","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.577737208+00:00","status":"failed","tests":20,"discards":0,"time":"91us","error":null,"tool":"proptest","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.579047319+00:00","status":"failed","tests":1,"discards":0,"time":"40us","error":null,"tool":"quickcheck","counterexample":"(18446744073709551613)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.580137432+00:00","status":"failed","tests":2,"discards":0,"time":"38us","error":null,"tool":"quickcheck","counterexample":"(18446744073709551613)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.581205812+00:00","status":"failed","tests":8,"discards":0,"time":"41us","error":null,"tool":"quickcheck","counterexample":"(18446744073709551613)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.582303516+00:00","status":"failed","tests":1,"discards":0,"time":"51us","error":null,"tool":"quickcheck","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.583372506+00:00","status":"failed","tests":10,"discards":0,"time":"43us","error":null,"tool":"quickcheck","counterexample":"(18446744073709551614)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.584433766+00:00","status":"failed","tests":4,"discards":0,"time":"39us","error":null,"tool":"quickcheck","counterexample":"(18446744073709551614)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.585547203+00:00","status":"failed","tests":16,"discards":0,"time":"45us","error":null,"tool":"quickcheck","counterexample":"(18446744073709551613)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.586610085+00:00","status":"failed","tests":5,"discards":0,"time":"45us","error":null,"tool":"quickcheck","counterexample":"(18446744073709551613)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.587721008+00:00","status":"failed","tests":3,"discards":0,"time":"41us","error":null,"tool":"quickcheck","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"quickcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.588771292+00:00","status":"failed","tests":6,"discards":0,"time":"41us","error":null,"tool":"quickcheck","counterexample":"(18446744073709551613)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.590058659+00:00","status":"failed","tests":22,"discards":0,"time":"43us","error":null,"tool":"crabcheck","counterexample":"(18446744073709551613)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.591107981+00:00","status":"failed","tests":5,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"(18446744073709551614)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.592160547+00:00","status":"failed","tests":12,"discards":0,"time":"39us","error":null,"tool":"crabcheck","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.593231761+00:00","status":"failed","tests":2,"discards":0,"time":"46us","error":null,"tool":"crabcheck","counterexample":"(18446744073709551613)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.594306320+00:00","status":"failed","tests":1,"discards":0,"time":"46us","error":null,"tool":"crabcheck","counterexample":"(18446744073709551613)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.595385396+00:00","status":"failed","tests":14,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"(18446744073709551613)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.596457271+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"(18446744073709551613)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.597533623+00:00","status":"failed","tests":1,"discards":0,"time":"40us","error":null,"tool":"crabcheck","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.598606059+00:00","status":"failed","tests":3,"discards":0,"time":"46us","error":null,"tool":"crabcheck","counterexample":"(18446744073709551614)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"crabcheck","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.599658135+00:00","status":"failed","tests":1,"discards":0,"time":"46us","error":null,"tool":"crabcheck","counterexample":"(18446744073709551613)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.600999583+00:00","status":"failed","tests":12,"discards":0,"time":"180514us","error":null,"tool":"hegel","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.782807487+00:00","status":"failed","tests":12,"discards":0,"time":"179818us","error":null,"tool":"hegel","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:16.964313047+00:00","status":"failed","tests":12,"discards":0,"time":"176888us","error":null,"tool":"hegel","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:17.142738625+00:00","status":"failed","tests":12,"discards":0,"time":"178144us","error":null,"tool":"hegel","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:17.322389098+00:00","status":"failed","tests":12,"discards":0,"time":"179622us","error":null,"tool":"hegel","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:17.503689060+00:00","status":"failed","tests":12,"discards":0,"time":"177639us","error":null,"tool":"hegel","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:17.683144721+00:00","status":"failed","tests":12,"discards":0,"time":"180287us","error":null,"tool":"hegel","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:17.865098753+00:00","status":"failed","tests":12,"discards":0,"time":"182034us","error":null,"tool":"hegel","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.048693942+00:00","status":"failed","tests":12,"discards":0,"time":"179164us","error":null,"tool":"hegel","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}
{"data":{"experiment":"ci-run","workload":"rust-base64","language":"rust","strategy":"hegel","property":"DecodedLenEstimateDoesNotPanic","mutations":["decoded_len_overflow_fa47981_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:18.229470161+00:00","status":"failed","tests":12,"discards":0,"time":"181076us","error":null,"tool":"hegel","counterexample":"(18446744073709551615)"},"hash":"17ef116363e25235c0fff019f08fc716479b0c3d"}