{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"proptest","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.384113082+00:00","status":"failed","tests":33,"discards":0,"time":"89us","error":null,"tool":"proptest","counterexample":"(crc1_init=0x00000000 crc2_init=0x0c49b0db)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"proptest","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.385518120+00:00","status":"failed","tests":33,"discards":0,"time":"73us","error":null,"tool":"proptest","counterexample":"(crc1_init=0x00000000 crc2_init=0xc0ed43c7)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"proptest","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.386656120+00:00","status":"failed","tests":33,"discards":0,"time":"75us","error":null,"tool":"proptest","counterexample":"(crc1_init=0x00000000 crc2_init=0x521d63da)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"proptest","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.387797175+00:00","status":"failed","tests":33,"discards":0,"time":"70us","error":null,"tool":"proptest","counterexample":"(crc1_init=0x00000000 crc2_init=0x59f7ab56)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"proptest","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.388891294+00:00","status":"failed","tests":33,"discards":0,"time":"73us","error":null,"tool":"proptest","counterexample":"(crc1_init=0x00000000 crc2_init=0x00681111)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"proptest","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.390025657+00:00","status":"failed","tests":33,"discards":0,"time":"106us","error":null,"tool":"proptest","counterexample":"(crc1_init=0x00000000 crc2_init=0x1e29ae38)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"proptest","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.391083498+00:00","status":"failed","tests":33,"discards":0,"time":"78us","error":null,"tool":"proptest","counterexample":"(crc1_init=0x00000000 crc2_init=0x210dde3a)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"proptest","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.392179671+00:00","status":"failed","tests":33,"discards":0,"time":"77us","error":null,"tool":"proptest","counterexample":"(crc1_init=0x00000000 crc2_init=0xd3a6424b)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"proptest","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.393254513+00:00","status":"failed","tests":33,"discards":0,"time":"70us","error":null,"tool":"proptest","counterexample":"(crc1_init=0x00000000 crc2_init=0x57203259)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"proptest","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.394347459+00:00","status":"failed","tests":33,"discards":0,"time":"72us","error":null,"tool":"proptest","counterexample":"(crc1_init=0x00000000 crc2_init=0x0226e60f)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"quickcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.395479167+00:00","status":"failed","tests":1,"discards":0,"time":"25us","error":null,"tool":"quickcheck","counterexample":"(crc1_init=0x3eb8bcd7 crc2_init=0x7314d13a)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"quickcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.396521402+00:00","status":"failed","tests":2,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"(crc1_init=0xfbf0f518 crc2_init=0x33101697)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"quickcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.397589189+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"(crc1_init=0xa69c0399 crc2_init=0x875ddb8c)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"quickcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.398582382+00:00","status":"failed","tests":1,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"(crc1_init=0xb526dac1 crc2_init=0xa966f7dd)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"quickcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.399603983+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"(crc1_init=0x4e4cf5d3 crc2_init=0x8a22c1cb)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"quickcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.400597436+00:00","status":"failed","tests":1,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"(crc1_init=0x691ca8dd crc2_init=0x2ca1a59c)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"quickcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.401669070+00:00","status":"failed","tests":1,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"(crc1_init=0xbac0bc43 crc2_init=0x065c41c8)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"quickcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.402737483+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"(crc1_init=0x68ff81b6 crc2_init=0xfebe9378)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"quickcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.403790861+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"(crc1_init=0x6ed8a829 crc2_init=0x5b5b235e)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"quickcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.404802758+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(crc1_init=0x679acdf5 crc2_init=0x11f49de0)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"crabcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.405944724+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(crc1_init=0x3ff46ee3 crc2_init=0x4c7b17de)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"crabcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.406948095+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(crc1_init=0x06dd3713 crc2_init=0xb9f5bd90)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"crabcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.407995164+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(crc1_init=0x8f3d813b crc2_init=0x8d97c859)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"crabcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.408979460+00:00","status":"failed","tests":1,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"(crc1_init=0xd12b4e8e crc2_init=0x3bd20ad0)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"crabcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.409993467+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(crc1_init=0x862c3eef crc2_init=0x70b789c4)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"crabcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.410998441+00:00","status":"failed","tests":1,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"(crc1_init=0x5d4f5a11 crc2_init=0x8dfb0c51)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"crabcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.412019211+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(crc1_init=0xbb486560 crc2_init=0x729d5e92)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"crabcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.413016892+00:00","status":"failed","tests":1,"discards":0,"time":"79us","error":null,"tool":"crabcheck","counterexample":"(crc1_init=0x4ba112f9 crc2_init=0x9d9dd796)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"crabcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.414078468+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"(crc1_init=0x8e4c8af8 crc2_init=0xc920ba02)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"crabcheck","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.415061291+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(crc1_init=0x8905523c crc2_init=0x8e160348)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"hegel","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T04:57:41.416234895+00:00","status":"failed","tests":17,"discards":0,"time":"815060us","error":null,"tool":"hegel","counterexample":"(crc1_init=0x00000000 crc2_init=0x00000001)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"hegel","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T04:57:42.232502427+00:00","status":"failed","tests":17,"discards":0,"time":"173116us","error":null,"tool":"hegel","counterexample":"(crc1_init=0x00000000 crc2_init=0x00000001)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"hegel","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T04:57:42.407111288+00:00","status":"failed","tests":17,"discards":0,"time":"173193us","error":null,"tool":"hegel","counterexample":"(crc1_init=0x00000000 crc2_init=0x00000001)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"hegel","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T04:57:42.581788786+00:00","status":"failed","tests":17,"discards":0,"time":"172420us","error":null,"tool":"hegel","counterexample":"(crc1_init=0x00000000 crc2_init=0x00000001)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"hegel","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T04:57:42.755577968+00:00","status":"failed","tests":17,"discards":0,"time":"167713us","error":null,"tool":"hegel","counterexample":"(crc1_init=0x00000000 crc2_init=0x00000001)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"hegel","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T04:57:42.924668310+00:00","status":"failed","tests":17,"discards":0,"time":"170985us","error":null,"tool":"hegel","counterexample":"(crc1_init=0x00000000 crc2_init=0x00000001)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"hegel","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T04:57:43.097137253+00:00","status":"failed","tests":17,"discards":0,"time":"171398us","error":null,"tool":"hegel","counterexample":"(crc1_init=0x00000000 crc2_init=0x00000001)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"hegel","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T04:57:43.270001773+00:00","status":"failed","tests":17,"discards":0,"time":"171570us","error":null,"tool":"hegel","counterexample":"(crc1_init=0x00000000 crc2_init=0x00000001)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"hegel","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T04:57:43.443154295+00:00","status":"failed","tests":17,"discards":0,"time":"170921us","error":null,"tool":"hegel","counterexample":"(crc1_init=0x00000000 crc2_init=0x00000001)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}
{"data":{"experiment":"ci-run","workload":"crc32fast","language":"rust","strategy":"hegel","property":"CombineZeroLengthIdentity","mutations":["combine_zero_length_identity_724ceb6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T04:57:43.615607371+00:00","status":"failed","tests":17,"discards":0,"time":"195236us","error":null,"tool":"hegel","counterexample":"(crc1_init=0x00000000 crc2_init=0x00000001)"},"hash":"17a10599b133433d9a8ab8174a0d14016935232f"}