{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:36:38.705043641+00:00","status":"failed","tests":26,"discards":0,"time":"187892us","error":null,"tool":"hypothesis","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:36:39.562102203+00:00","status":"failed","tests":26,"discards":0,"time":"145481us","error":null,"tool":"hypothesis","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:36:39.930129236+00:00","status":"failed","tests":25,"discards":0,"time":"142363us","error":null,"tool":"hypothesis","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:36:40.292099053+00:00","status":"failed","tests":25,"discards":0,"time":"227265us","error":null,"tool":"hypothesis","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:36:40.740716275+00:00","status":"failed","tests":25,"discards":0,"time":"126069us","error":null,"tool":"hypothesis","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:36:41.085492208+00:00","status":"failed","tests":23,"discards":0,"time":"129721us","error":null,"tool":"hypothesis","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:36:41.439305422+00:00","status":"failed","tests":25,"discards":0,"time":"141992us","error":null,"tool":"hypothesis","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:36:41.801103175+00:00","status":"failed","tests":27,"discards":0,"time":"143789us","error":null,"tool":"hypothesis","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:36:42.168254322+00:00","status":"failed","tests":24,"discards":0,"time":"141210us","error":null,"tool":"hypothesis","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:36:42.543290942+00:00","status":"failed","tests":26,"discards":0,"time":"280809us","error":null,"tool":"hypothesis","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:36:43.063585358+00:00","status":"failed","tests":27,"discards":0,"time":"1361422us","error":null,"tool":"crosshair","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:36:44.671357550+00:00","status":"failed","tests":38,"discards":0,"time":"1001135us","error":null,"tool":"crosshair","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:36:45.910543936+00:00","status":"failed","tests":30,"discards":0,"time":"990759us","error":null,"tool":"crosshair","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:36:47.142992623+00:00","status":"failed","tests":26,"discards":0,"time":"954430us","error":null,"tool":"crosshair","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:36:48.339154750+00:00","status":"failed","tests":29,"discards":0,"time":"976106us","error":null,"tool":"crosshair","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:36:49.564902763+00:00","status":"failed","tests":26,"discards":0,"time":"1006449us","error":null,"tool":"crosshair","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:36:50.811781825+00:00","status":"failed","tests":31,"discards":0,"time":"987536us","error":null,"tool":"crosshair","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:36:52.036519052+00:00","status":"failed","tests":29,"discards":0,"time":"983629us","error":null,"tool":"crosshair","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:36:53.280726751+00:00","status":"failed","tests":28,"discards":0,"time":"992196us","error":null,"tool":"crosshair","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"PartitionAllValidatesLength","mutations":["partition_all_invalid_length_5a7e078_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:36:54.516660489+00:00","status":"failed","tests":29,"discards":0,"time":"969678us","error":null,"tool":"crosshair","counterexample":"(1, 2, -1)"},"hash":"0331e50e4b345e1b1b1797d3404cefc68f7e2697"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:36:55.851589118+00:00","status":"failed","tests":102,"discards":0,"time":"503622us","error":null,"tool":"hypothesis","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:36:56.599379179+00:00","status":"failed","tests":108,"discards":0,"time":"353358us","error":null,"tool":"hypothesis","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:36:57.203061525+00:00","status":"failed","tests":106,"discards":0,"time":"443400us","error":null,"tool":"hypothesis","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:36:57.886723058+00:00","status":"failed","tests":109,"discards":0,"time":"351915us","error":null,"tool":"hypothesis","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:36:58.478082186+00:00","status":"failed","tests":107,"discards":0,"time":"440105us","error":null,"tool":"hypothesis","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:36:59.159970846+00:00","status":"failed","tests":107,"discards":0,"time":"427788us","error":null,"tool":"hypothesis","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:36:59.817013521+00:00","status":"failed","tests":103,"discards":0,"time":"461864us","error":null,"tool":"hypothesis","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:37:00.508518596+00:00","status":"failed","tests":103,"discards":0,"time":"350923us","error":null,"tool":"hypothesis","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:37:01.092249178+00:00","status":"failed","tests":108,"discards":0,"time":"519299us","error":null,"tool":"hypothesis","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:37:01.849724882+00:00","status":"failed","tests":103,"discards":0,"time":"344669us","error":null,"tool":"hypothesis","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:37:02.426301501+00:00","status":"failed","tests":106,"discards":0,"time":"1070162us","error":null,"tool":"crosshair","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:37:03.741535034+00:00","status":"failed","tests":104,"discards":0,"time":"1153131us","error":null,"tool":"crosshair","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:37:05.141090752+00:00","status":"failed","tests":110,"discards":0,"time":"1183450us","error":null,"tool":"crosshair","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:37:06.571833328+00:00","status":"failed","tests":110,"discards":0,"time":"1078226us","error":null,"tool":"crosshair","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:37:07.899102010+00:00","status":"failed","tests":110,"discards":0,"time":"1182469us","error":null,"tool":"crosshair","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:37:09.331099623+00:00","status":"failed","tests":110,"discards":0,"time":"974848us","error":null,"tool":"crosshair","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:37:10.553874572+00:00","status":"failed","tests":107,"discards":0,"time":"958796us","error":null,"tool":"crosshair","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:37:11.757960218+00:00","status":"failed","tests":109,"discards":0,"time":"951604us","error":null,"tool":"crosshair","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:37:12.955598287+00:00","status":"failed","tests":109,"discards":0,"time":"1185332us","error":null,"tool":"crosshair","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"JoinRightDefaultIterates","mutations":["join_iteritems_namerror_80ae197_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:37:14.385888667+00:00","status":"failed","tests":114,"discards":0,"time":"1195228us","error":null,"tool":"crosshair","counterexample":"([0], [])"},"hash":"84f132cc264ad0d9c6c979bf176ffe9ac01fd380"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:37:15.933733266+00:00","status":"failed","tests":6,"discards":0,"time":"153243us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:37:16.308126437+00:00","status":"failed","tests":6,"discards":0,"time":"197255us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:37:16.723231161+00:00","status":"failed","tests":6,"discards":0,"time":"152756us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:37:17.094250598+00:00","status":"failed","tests":6,"discards":0,"time":"200862us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:37:17.512411660+00:00","status":"failed","tests":6,"discards":0,"time":"156120us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:37:17.885516446+00:00","status":"failed","tests":6,"discards":0,"time":"151874us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:37:18.257875291+00:00","status":"failed","tests":6,"discards":0,"time":"156131us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:37:18.630574547+00:00","status":"failed","tests":6,"discards":0,"time":"153720us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:37:19.002403956+00:00","status":"failed","tests":6,"discards":0,"time":"152519us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:37:19.371638913+00:00","status":"failed","tests":6,"discards":0,"time":"160167us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:37:19.748662493+00:00","status":"failed","tests":8,"discards":0,"time":"12948101us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:37:32.938681145+00:00","status":"failed","tests":8,"discards":0,"time":"12962209us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:37:46.143028313+00:00","status":"failed","tests":8,"discards":0,"time":"12878224us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:37:59.261898245+00:00","status":"failed","tests":8,"discards":0,"time":"12916875us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:38:12.419716287+00:00","status":"failed","tests":8,"discards":0,"time":"13040749us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:38:25.704389326+00:00","status":"failed","tests":8,"discards":0,"time":"12921892us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:38:38.868290840+00:00","status":"failed","tests":8,"discards":0,"time":"13145211us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:38:52.256505272+00:00","status":"failed","tests":8,"discards":0,"time":"13011236us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:39:05.511028668+00:00","status":"failed","tests":8,"discards":0,"time":"13014418us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"FoldChunksizeOneRejected","mutations":["fold_chunksize_one_e9c2724_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:39:18.771470449+00:00","status":"failed","tests":8,"discards":0,"time":"12921335us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"01187b72287b7700f3564d7c68880496ff7d2c07"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:39:32.039293064+00:00","status":"failed","tests":6,"discards":0,"time":"101780us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:39:32.361871283+00:00","status":"failed","tests":6,"discards":0,"time":"29088us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:39:32.607264165+00:00","status":"failed","tests":6,"discards":0,"time":"28941us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:39:32.852963495+00:00","status":"failed","tests":6,"discards":0,"time":"91193us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:39:33.160653674+00:00","status":"failed","tests":6,"discards":0,"time":"28787us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:39:33.405923732+00:00","status":"failed","tests":6,"discards":0,"time":"91436us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:39:33.713150124+00:00","status":"failed","tests":6,"discards":0,"time":"78565us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:39:34.008896724+00:00","status":"failed","tests":6,"discards":0,"time":"65343us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:39:34.290661972+00:00","status":"failed","tests":6,"discards":0,"time":"29020us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:39:34.535017875+00:00","status":"failed","tests":6,"discards":0,"time":"28867us","error":null,"tool":"hypothesis","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:39:34.779878372+00:00","status":"failed","tests":14,"discards":0,"time":"445522us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:39:35.457927580+00:00","status":"failed","tests":14,"discards":0,"time":"476895us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:39:36.171445765+00:00","status":"failed","tests":15,"discards":0,"time":"484961us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:39:36.894439577+00:00","status":"failed","tests":15,"discards":0,"time":"484553us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:39:37.617040616+00:00","status":"failed","tests":14,"discards":0,"time":"475940us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:39:38.330457053+00:00","status":"failed","tests":15,"discards":0,"time":"491294us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:39:39.060093345+00:00","status":"failed","tests":15,"discards":0,"time":"449030us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:39:39.745043901+00:00","status":"failed","tests":15,"discards":0,"time":"445877us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:39:40.426447751+00:00","status":"failed","tests":14,"discards":0,"time":"473897us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"TopkZeroKeyAccepted","mutations":["topk_zero_key_falsy_dd87e4f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:39:41.133968004+00:00","status":"failed","tests":15,"discards":0,"time":"447570us","error":null,"tool":"crosshair","counterexample":"1"},"hash":"bb8638995feed893264949e569997dbffeaaf712"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:39:41.923017575+00:00","status":"failed","tests":111,"discards":0,"time":"529824us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:39:42.690877405+00:00","status":"failed","tests":112,"discards":0,"time":"389555us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:39:43.316408052+00:00","status":"failed","tests":109,"discards":0,"time":"383593us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:39:43.929303266+00:00","status":"failed","tests":108,"discards":0,"time":"454562us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:39:44.613639793+00:00","status":"failed","tests":108,"discards":0,"time":"459516us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:39:45.303077617+00:00","status":"failed","tests":110,"discards":0,"time":"369504us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:39:45.901349486+00:00","status":"failed","tests":110,"discards":0,"time":"511157us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:39:46.641928008+00:00","status":"failed","tests":110,"discards":0,"time":"511871us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:39:47.384282492+00:00","status":"failed","tests":109,"discards":0,"time":"513817us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:39:48.128257259+00:00","status":"failed","tests":112,"discards":0,"time":"373272us","error":null,"tool":"hypothesis","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:39:48.734205065+00:00","status":"failed","tests":116,"discards":0,"time":"6977221us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:39:55.964121052+00:00","status":"failed","tests":116,"discards":0,"time":"7026644us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:40:03.241140048+00:00","status":"failed","tests":116,"discards":0,"time":"7005850us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:40:10.496920755+00:00","status":"failed","tests":116,"discards":0,"time":"7027009us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:40:17.775098167+00:00","status":"failed","tests":116,"discards":0,"time":"7029889us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:40:25.059836283+00:00","status":"failed","tests":116,"discards":0,"time":"7010633us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:40:32.323211684+00:00","status":"failed","tests":116,"discards":0,"time":"7035283us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:40:39.611228914+00:00","status":"failed","tests":116,"discards":0,"time":"7077744us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:40:46.946250748+00:00","status":"failed","tests":116,"discards":0,"time":"7049774us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"DissocMissingKeyOk","mutations":["dissoc_missing_key_keyerror_46b1726_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:40:54.247850639+00:00","status":"failed","tests":116,"discards":0,"time":"7058487us","error":null,"tool":"crosshair","counterexample":"([0, 1, 2, 3], 100)"},"hash":"802fcb82fd2c3f51ccd490ad8a2df819570afdd2"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:41:01.672721717+00:00","status":"failed","tests":104,"discards":0,"time":"449029us","error":null,"tool":"hypothesis","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:41:02.365862197+00:00","status":"failed","tests":94,"discards":0,"time":"450243us","error":null,"tool":"hypothesis","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:41:03.051238450+00:00","status":"failed","tests":92,"discards":0,"time":"442778us","error":null,"tool":"hypothesis","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:41:03.720765382+00:00","status":"failed","tests":97,"discards":0,"time":"399559us","error":null,"tool":"hypothesis","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:41:04.347124679+00:00","status":"failed","tests":101,"discards":0,"time":"313480us","error":null,"tool":"hypothesis","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:41:04.887430164+00:00","status":"failed","tests":92,"discards":0,"time":"445549us","error":null,"tool":"hypothesis","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:41:05.558604152+00:00","status":"failed","tests":98,"discards":0,"time":"461371us","error":null,"tool":"hypothesis","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:41:06.254259242+00:00","status":"failed","tests":99,"discards":0,"time":"403749us","error":null,"tool":"hypothesis","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:41:06.887074289+00:00","status":"failed","tests":89,"discards":0,"time":"378606us","error":null,"tool":"hypothesis","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:41:07.491860574+00:00","status":"failed","tests":88,"discards":0,"time":"433617us","error":null,"tool":"hypothesis","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:41:08.151906071+00:00","status":"failed","tests":94,"discards":0,"time":"1175418us","error":null,"tool":"crosshair","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:41:09.573571167+00:00","status":"failed","tests":96,"discards":0,"time":"974788us","error":null,"tool":"crosshair","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:41:10.792664819+00:00","status":"failed","tests":99,"discards":0,"time":"1185405us","error":null,"tool":"crosshair","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:41:12.224495868+00:00","status":"failed","tests":103,"discards":0,"time":"1117990us","error":null,"tool":"crosshair","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:41:13.589884974+00:00","status":"failed","tests":101,"discards":0,"time":"1102938us","error":null,"tool":"crosshair","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:41:14.940305427+00:00","status":"failed","tests":104,"discards":0,"time":"1198825us","error":null,"tool":"crosshair","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:41:16.388377374+00:00","status":"failed","tests":101,"discards":0,"time":"1095739us","error":null,"tool":"crosshair","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:41:17.730872695+00:00","status":"failed","tests":103,"discards":0,"time":"1111781us","error":null,"tool":"crosshair","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:41:19.088290671+00:00","status":"failed","tests":103,"discards":0,"time":"1183494us","error":null,"tool":"crosshair","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"IsdistinctOnIterators","mutations":["isdistinct_iter_broken_060cc4b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:41:20.516604427+00:00","status":"failed","tests":102,"discards":0,"time":"1177875us","error":null,"tool":"crosshair","counterexample":"[]"},"hash":"c3dc3d1d21dbacebca77a7e31701700ca614962a"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:41:22.048172640+00:00","status":"failed","tests":26,"discards":0,"time":"117870us","error":null,"tool":"hypothesis","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:41:22.388674618+00:00","status":"failed","tests":15,"discards":0,"time":"100094us","error":null,"tool":"hypothesis","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:41:22.705680999+00:00","status":"failed","tests":23,"discards":0,"time":"118764us","error":null,"tool":"hypothesis","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:41:23.041391414+00:00","status":"failed","tests":11,"discards":0,"time":"49575us","error":null,"tool":"hypothesis","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:41:23.309498675+00:00","status":"failed","tests":11,"discards":0,"time":"91559us","error":null,"tool":"hypothesis","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:41:23.617789497+00:00","status":"failed","tests":12,"discards":0,"time":"48223us","error":null,"tool":"hypothesis","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:41:23.881653994+00:00","status":"failed","tests":14,"discards":0,"time":"54032us","error":null,"tool":"hypothesis","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:41:24.153028201+00:00","status":"failed","tests":14,"discards":0,"time":"51565us","error":null,"tool":"hypothesis","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:41:24.420814447+00:00","status":"failed","tests":15,"discards":0,"time":"91204us","error":null,"tool":"hypothesis","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:41:24.728846754+00:00","status":"failed","tests":24,"discards":0,"time":"119876us","error":null,"tool":"hypothesis","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:41:25.066991382+00:00","status":"failed","tests":19,"discards":0,"time":"1279045us","error":null,"tool":"crosshair","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:41:26.580369530+00:00","status":"failed","tests":19,"discards":0,"time":"1279010us","error":null,"tool":"crosshair","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:41:28.092876515+00:00","status":"failed","tests":19,"discards":0,"time":"1274045us","error":null,"tool":"crosshair","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:41:29.600370244+00:00","status":"failed","tests":19,"discards":0,"time":"1276480us","error":null,"tool":"crosshair","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:41:31.111937554+00:00","status":"failed","tests":19,"discards":0,"time":"1265973us","error":null,"tool":"crosshair","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:41:32.613831799+00:00","status":"failed","tests":19,"discards":0,"time":"1279802us","error":null,"tool":"crosshair","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:41:34.129241755+00:00","status":"failed","tests":19,"discards":0,"time":"1273628us","error":null,"tool":"crosshair","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:41:35.641066717+00:00","status":"failed","tests":19,"discards":0,"time":"1264149us","error":null,"tool":"crosshair","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:41:37.140225781+00:00","status":"failed","tests":19,"discards":0,"time":"1284301us","error":null,"tool":"crosshair","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"AccumulateOnIterators","mutations":["accumulate_iter_double_consume_1d78a46_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:41:38.657303752+00:00","status":"failed","tests":19,"discards":0,"time":"1273498us","error":null,"tool":"crosshair","counterexample":"[0, 0]"},"hash":"1c44cfbb5dd9a9c72f08adcc6b86883340e85759"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:41:40.272758100+00:00","status":"failed","tests":110,"discards":0,"time":"460642us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:41:40.968577957+00:00","status":"failed","tests":108,"discards":0,"time":"505433us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:41:41.704092769+00:00","status":"failed","tests":107,"discards":0,"time":"370847us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:41:42.304175781+00:00","status":"failed","tests":108,"discards":0,"time":"449895us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:41:42.984505327+00:00","status":"failed","tests":110,"discards":0,"time":"506936us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:41:43.725619173+00:00","status":"failed","tests":110,"discards":0,"time":"457277us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:41:44.414414390+00:00","status":"failed","tests":108,"discards":0,"time":"445935us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:41:45.093246594+00:00","status":"failed","tests":109,"discards":0,"time":"452317us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:41:45.776455272+00:00","status":"failed","tests":107,"discards":0,"time":"444858us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"hypothesis","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:41:46.451175103+00:00","status":"failed","tests":109,"discards":0,"time":"455451us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:41:47.138638901+00:00","status":"failed","tests":115,"discards":0,"time":"1577180us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:41:48.964996627+00:00","status":"failed","tests":116,"discards":0,"time":"1483659us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:41:50.694881348+00:00","status":"failed","tests":116,"discards":0,"time":"1483742us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:41:52.429375704+00:00","status":"failed","tests":116,"discards":0,"time":"1570621us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:41:54.249042872+00:00","status":"failed","tests":116,"discards":0,"time":"1470891us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:41:55.974773059+00:00","status":"failed","tests":116,"discards":0,"time":"1582099us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:41:57.808953489+00:00","status":"failed","tests":116,"discards":0,"time":"1486916us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:41:59.551453907+00:00","status":"failed","tests":116,"discards":0,"time":"1577835us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:42:01.381840938+00:00","status":"failed","tests":116,"discards":0,"time":"1471347us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}
{"data":{"experiment":"ci-run","workload":"toolz","language":"python","strategy":"crosshair","property":"MergeWithCustomMapping","mutations":["merge_with_mapping_typecheck_c696ac6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:42:03.103261079+00:00","status":"failed","tests":116,"discards":0,"time":"1584086us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"6e98feaddf45a02024e31876005e122b0f6bc3e8"}