{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:35:08.934813215+00:00","status":"failed","tests":69,"discards":0,"time":"242315us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:35:10.314904601+00:00","status":"failed","tests":68,"discards":0,"time":"204656us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:35:10.744511378+00:00","status":"failed","tests":67,"discards":0,"time":"215848us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:35:11.187117169+00:00","status":"failed","tests":68,"discards":0,"time":"219975us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:35:11.635437584+00:00","status":"failed","tests":63,"discards":0,"time":"208943us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:35:12.073018311+00:00","status":"failed","tests":71,"discards":0,"time":"223949us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:35:12.526560774+00:00","status":"failed","tests":69,"discards":0,"time":"206471us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:35:12.966412939+00:00","status":"failed","tests":74,"discards":0,"time":"227959us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:35:13.432288207+00:00","status":"failed","tests":71,"discards":0,"time":"203885us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:35:13.861143245+00:00","status":"failed","tests":69,"discards":0,"time":"204460us","error":null,"tool":"hypothesis","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:35:14.289967869+00:00","status":"failed","tests":75,"discards":0,"time":"1278208us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:35:15.821116371+00:00","status":"failed","tests":80,"discards":0,"time":"695295us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:35:16.772356644+00:00","status":"failed","tests":74,"discards":0,"time":"708888us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:35:17.734988464+00:00","status":"failed","tests":76,"discards":0,"time":"687603us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:35:18.664914346+00:00","status":"failed","tests":72,"discards":0,"time":"661007us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:35:19.572269932+00:00","status":"failed","tests":80,"discards":0,"time":"703261us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:35:20.522359129+00:00","status":"failed","tests":78,"discards":0,"time":"690063us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:35:21.461126072+00:00","status":"failed","tests":75,"discards":0,"time":"700089us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:35:22.412513321+00:00","status":"failed","tests":76,"discards":0,"time":"678914us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"BidictNoneRejected","mutations":["bidict_none_silently_empty_678c007_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:35:23.346016101+00:00","status":"failed","tests":72,"discards":0,"time":"698900us","error":null,"tool":"crosshair","counterexample":"0"},"hash":"7095783aae158e17d3d83e6212be828a22bb69ef"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:35:24.371603296+00:00","status":"failed","tests":109,"discards":0,"time":"626212us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:35:25.249382733+00:00","status":"failed","tests":105,"discards":0,"time":"523723us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:35:26.007512391+00:00","status":"failed","tests":107,"discards":0,"time":"599668us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:35:26.847130425+00:00","status":"failed","tests":107,"discards":0,"time":"545414us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:35:27.635576287+00:00","status":"failed","tests":106,"discards":0,"time":"588373us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:35:28.458564454+00:00","status":"failed","tests":107,"discards":0,"time":"574113us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:35:29.273036249+00:00","status":"failed","tests":106,"discards":0,"time":"523134us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:35:30.034453678+00:00","status":"failed","tests":107,"discards":0,"time":"461526us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:35:30.735723208+00:00","status":"failed","tests":108,"discards":0,"time":"565367us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:35:31.548303708+00:00","status":"failed","tests":107,"discards":0,"time":"544643us","error":null,"tool":"hypothesis","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:35:32.343102285+00:00","status":"failed","tests":111,"discards":0,"time":"1742940us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:35:34.355517173+00:00","status":"failed","tests":111,"discards":0,"time":"1644558us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:35:36.262074666+00:00","status":"failed","tests":114,"discards":0,"time":"1783014us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:35:38.313124156+00:00","status":"failed","tests":116,"discards":0,"time":"1682134us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:35:40.258779193+00:00","status":"failed","tests":107,"discards":0,"time":"1629457us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:35:42.153675310+00:00","status":"failed","tests":113,"discards":0,"time":"1540433us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:35:43.957645528+00:00","status":"failed","tests":110,"discards":0,"time":"1642463us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:35:45.859721933+00:00","status":"failed","tests":114,"discards":0,"time":"1666865us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:35:47.792334583+00:00","status":"failed","tests":113,"discards":0,"time":"1736564us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"IorPreservesIdentity","mutations":["ior_returns_new_bidict_6faf1ef_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:35:49.787521739+00:00","status":"failed","tests":112,"discards":0,"time":"1733704us","error":null,"tool":"crosshair","counterexample":"([], [])"},"hash":"de9130c3744707feff2a578bcbf719854cd0adf8"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:35:51.857529041+00:00","status":"failed","tests":163,"discards":0,"time":"891450us","error":null,"tool":"hypothesis","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:35:53.002156146+00:00","status":"failed","tests":157,"discards":0,"time":"898748us","error":null,"tool":"hypothesis","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:35:54.157096538+00:00","status":"failed","tests":134,"discards":0,"time":"798644us","error":null,"tool":"hypothesis","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:35:55.204232097+00:00","status":"failed","tests":150,"discards":0,"time":"832353us","error":null,"tool":"hypothesis","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:35:56.285008449+00:00","status":"failed","tests":139,"discards":0,"time":"799933us","error":null,"tool":"hypothesis","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:35:57.322296638+00:00","status":"failed","tests":151,"discards":0,"time":"874217us","error":null,"tool":"hypothesis","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:35:58.439802798+00:00","status":"failed","tests":180,"discards":0,"time":"927733us","error":null,"tool":"hypothesis","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:35:59.626195180+00:00","status":"failed","tests":140,"discards":0,"time":"835246us","error":null,"tool":"hypothesis","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:36:00.705818250+00:00","status":"failed","tests":151,"discards":0,"time":"1012283us","error":null,"tool":"hypothesis","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:36:01.965054477+00:00","status":"failed","tests":138,"discards":0,"time":"835867us","error":null,"tool":"hypothesis","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:36:03.041327680+00:00","status":"failed","tests":144,"discards":0,"time":"2070410us","error":null,"tool":"crosshair","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:36:05.375998823+00:00","status":"failed","tests":150,"discards":0,"time":"2089424us","error":null,"tool":"crosshair","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:36:07.727901919+00:00","status":"failed","tests":137,"discards":0,"time":"2018578us","error":null,"tool":"crosshair","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:36:10.012050421+00:00","status":"failed","tests":146,"discards":0,"time":"2128768us","error":null,"tool":"crosshair","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:36:12.408249275+00:00","status":"failed","tests":148,"discards":0,"time":"2094666us","error":null,"tool":"crosshair","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:36:14.764392078+00:00","status":"failed","tests":150,"discards":0,"time":"2105737us","error":null,"tool":"crosshair","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:36:17.134899317+00:00","status":"failed","tests":145,"discards":0,"time":"2110008us","error":null,"tool":"crosshair","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:36:19.509361933+00:00","status":"failed","tests":149,"discards":0,"time":"2127596us","error":null,"tool":"crosshair","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:36:21.902986499+00:00","status":"failed","tests":150,"discards":0,"time":"2108706us","error":null,"tool":"crosshair","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrDoesNotMutateSelf","mutations":["or_mutates_self_2074f4b_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:36:24.280535687+00:00","status":"failed","tests":147,"discards":0,"time":"2110925us","error":null,"tool":"crosshair","counterexample":"([], [(0, 0)])"},"hash":"d19da0c3d5d801b1fa175f7e53885eda52a7c2da"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:36:26.728096110+00:00","status":"failed","tests":139,"discards":0,"time":"810850us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:36:27.782988073+00:00","status":"failed","tests":142,"discards":0,"time":"823049us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:36:28.854442310+00:00","status":"failed","tests":137,"discards":0,"time":"923819us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:36:30.020071195+00:00","status":"failed","tests":131,"discards":0,"time":"858202us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:36:31.122636700+00:00","status":"failed","tests":136,"discards":0,"time":"812096us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:36:32.178670307+00:00","status":"failed","tests":141,"discards":0,"time":"879230us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:36:33.300312860+00:00","status":"failed","tests":126,"discards":0,"time":"771374us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:36:34.316689451+00:00","status":"failed","tests":134,"discards":0,"time":"929028us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:36:35.499785749+00:00","status":"failed","tests":131,"discards":0,"time":"774876us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:36:36.519244783+00:00","status":"failed","tests":143,"discards":0,"time":"817174us","error":null,"tool":"hypothesis","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:36:37.587003392+00:00","status":"failed","tests":138,"discards":0,"time":"1949302us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:36:39.805827070+00:00","status":"failed","tests":153,"discards":0,"time":"2002737us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:36:42.072901022+00:00","status":"failed","tests":141,"discards":0,"time":"1928218us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:36:44.265409933+00:00","status":"failed","tests":139,"discards":0,"time":"1987530us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:36:46.517482842+00:00","status":"failed","tests":135,"discards":0,"time":"1894232us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:36:48.669673652+00:00","status":"failed","tests":141,"discards":0,"time":"1962957us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:36:50.896715145+00:00","status":"failed","tests":146,"discards":0,"time":"1968698us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:36:53.140050385+00:00","status":"failed","tests":143,"discards":0,"time":"1975227us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:36:55.383609810+00:00","status":"failed","tests":133,"discards":0,"time":"1886302us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"PopitemKeepsInverseConsistent","mutations":["popitem_orphans_inverse_b1d1c70_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:36:57.533339200+00:00","status":"failed","tests":143,"discards":0,"time":"1974309us","error":null,"tool":"crosshair","counterexample":"[(0, 0)]"},"hash":"948f83f7f3b05220fb558f47e403b97f836549db"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:36:59.851297191+00:00","status":"failed","tests":41,"discards":0,"time":"169136us","error":null,"tool":"hypothesis","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:37:00.247325831+00:00","status":"failed","tests":37,"discards":0,"time":"307938us","error":null,"tool":"hypothesis","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:37:00.781090939+00:00","status":"failed","tests":48,"discards":0,"time":"199812us","error":null,"tool":"hypothesis","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:37:01.199104932+00:00","status":"failed","tests":83,"discards":0,"time":"286222us","error":null,"tool":"hypothesis","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:37:01.713852447+00:00","status":"failed","tests":71,"discards":0,"time":"397371us","error":null,"tool":"hypothesis","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:37:02.339963586+00:00","status":"failed","tests":35,"discards":0,"time":"166482us","error":null,"tool":"hypothesis","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:37:02.732313423+00:00","status":"failed","tests":86,"discards":0,"time":"272488us","error":null,"tool":"hypothesis","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:37:03.235343401+00:00","status":"failed","tests":77,"discards":0,"time":"313481us","error":null,"tool":"hypothesis","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:37:03.776054306+00:00","status":"failed","tests":46,"discards":0,"time":"188464us","error":null,"tool":"hypothesis","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:37:04.188321346+00:00","status":"failed","tests":66,"discards":0,"time":"384047us","error":null,"tool":"hypothesis","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:37:04.797723708+00:00","status":"failed","tests":35,"discards":0,"time":"1706430us","error":null,"tool":"crosshair","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:37:06.746193378+00:00","status":"failed","tests":35,"discards":0,"time":"1633962us","error":null,"tool":"crosshair","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:37:08.624509011+00:00","status":"failed","tests":35,"discards":0,"time":"1695705us","error":null,"tool":"crosshair","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:37:10.568816710+00:00","status":"failed","tests":35,"discards":0,"time":"1707816us","error":null,"tool":"crosshair","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:37:12.521895039+00:00","status":"failed","tests":35,"discards":0,"time":"1603316us","error":null,"tool":"crosshair","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:37:14.366792409+00:00","status":"failed","tests":35,"discards":0,"time":"1598796us","error":null,"tool":"crosshair","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:37:16.206193298+00:00","status":"failed","tests":35,"discards":0,"time":"1604123us","error":null,"tool":"crosshair","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:37:18.057982412+00:00","status":"failed","tests":35,"discards":0,"time":"1613624us","error":null,"tool":"crosshair","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:37:19.914273530+00:00","status":"failed","tests":35,"discards":0,"time":"1594355us","error":null,"tool":"crosshair","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"ForceputOverwritesNotRaises","mutations":["forceput_raises_on_dup_b1d1c71_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:37:21.747149190+00:00","status":"failed","tests":35,"discards":0,"time":"1601281us","error":null,"tool":"crosshair","counterexample":"([(0, 0)], 0, 1)"},"hash":"7890557b324e31f88b46f0c632aa3b091edd591f"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:37:23.664703787+00:00","status":"failed","tests":103,"discards":0,"time":"334819us","error":null,"tool":"hypothesis","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:37:24.234165191+00:00","status":"failed","tests":121,"discards":0,"time":"466799us","error":null,"tool":"hypothesis","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:37:24.934665519+00:00","status":"failed","tests":144,"discards":0,"time":"452899us","error":null,"tool":"hypothesis","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:37:25.624012248+00:00","status":"failed","tests":77,"discards":0,"time":"248548us","error":null,"tool":"hypothesis","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:37:26.100055635+00:00","status":"failed","tests":42,"discards":0,"time":"172554us","error":null,"tool":"hypothesis","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:37:26.497141560+00:00","status":"failed","tests":122,"discards":0,"time":"395211us","error":null,"tool":"hypothesis","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:37:27.128192368+00:00","status":"failed","tests":139,"discards":0,"time":"444492us","error":null,"tool":"hypothesis","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:37:27.814238768+00:00","status":"failed","tests":126,"discards":0,"time":"425912us","error":null,"tool":"hypothesis","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:37:28.473216724+00:00","status":"failed","tests":142,"discards":0,"time":"478626us","error":null,"tool":"hypothesis","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"hypothesis","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:37:29.191714009+00:00","status":"failed","tests":122,"discards":0,"time":"523638us","error":null,"tool":"hypothesis","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T19:37:29.954669654+00:00","status":"failed","tests":117,"discards":0,"time":"3028661us","error":null,"tool":"crosshair","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T19:37:33.246517152+00:00","status":"failed","tests":100,"discards":0,"time":"2946998us","error":null,"tool":"crosshair","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T19:37:36.455675620+00:00","status":"failed","tests":62,"discards":0,"time":"2807008us","error":null,"tool":"crosshair","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T19:37:39.512221196+00:00","status":"failed","tests":81,"discards":0,"time":"2870937us","error":null,"tool":"crosshair","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T19:37:42.632618102+00:00","status":"failed","tests":138,"discards":0,"time":"3086895us","error":null,"tool":"crosshair","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T19:37:45.979460108+00:00","status":"failed","tests":142,"discards":0,"time":"3122688us","error":null,"tool":"crosshair","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T19:37:49.364059571+00:00","status":"failed","tests":105,"discards":0,"time":"2985931us","error":null,"tool":"crosshair","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T19:37:52.608183063+00:00","status":"failed","tests":86,"discards":0,"time":"2849796us","error":null,"tool":"crosshair","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T19:37:55.707003216+00:00","status":"failed","tests":129,"discards":0,"time":"3072078us","error":null,"tool":"crosshair","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}
{"data":{"experiment":"ci-run","workload":"bidict","language":"python","strategy":"crosshair","property":"OrderedPopitemLastFalseReturnsFirst","mutations":["ordered_popitem_last_swapped_b1d1c72_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T19:37:59.041017116+00:00","status":"failed","tests":84,"discards":0,"time":"2862914us","error":null,"tool":"crosshair","counterexample":"[(0, 0), (1, 1)]"},"hash":"6eb069e64d0628bfe3e593bdbf6ebf72d308a3fe"}