{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.436706443+00:00","status":"failed","tests":15,"discards":0,"time":"89us","error":null,"tool":"proptest","counterexample":"Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.438166260+00:00","status":"failed","tests":8,"discards":0,"time":"67us","error":null,"tool":"proptest","counterexample":"Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.439268211+00:00","status":"failed","tests":5,"discards":0,"time":"88us","error":null,"tool":"proptest","counterexample":"Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.440331122+00:00","status":"failed","tests":17,"discards":0,"time":"106us","error":null,"tool":"proptest","counterexample":"Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.441404116+00:00","status":"failed","tests":4,"discards":0,"time":"62us","error":null,"tool":"proptest","counterexample":"Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.442508635+00:00","status":"failed","tests":17,"discards":0,"time":"76us","error":null,"tool":"proptest","counterexample":"Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.443610773+00:00","status":"failed","tests":3,"discards":0,"time":"63us","error":null,"tool":"proptest","counterexample":"Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.444697007+00:00","status":"failed","tests":3,"discards":0,"time":"59us","error":null,"tool":"proptest","counterexample":"Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.445780100+00:00","status":"failed","tests":11,"discards":0,"time":"72us","error":null,"tool":"proptest","counterexample":"Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.446878307+00:00","status":"failed","tests":5,"discards":0,"time":"69us","error":null,"tool":"proptest","counterexample":"Test failed: len()=1 but iter().count()=64 (input len=1).\nminimal failing input: [\n    0.0,\n]"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.448079270+00:00","status":"failed","tests":2,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.449198146+00:00","status":"failed","tests":2,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.450212517+00:00","status":"failed","tests":2,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.451251366+00:00","status":"failed","tests":2,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.452256429+00:00","status":"failed","tests":2,"discards":0,"time":"14us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.453330223+00:00","status":"failed","tests":2,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.454325989+00:00","status":"failed","tests":2,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.455364647+00:00","status":"failed","tests":2,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.456351887+00:00","status":"failed","tests":2,"discards":0,"time":"15us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.457374515+00:00","status":"failed","tests":2,"discards":0,"time":"14us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.458514311+00:00","status":"failed","tests":2,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0])"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.459583614+00:00","status":"failed","tests":2,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1])"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.460579153+00:00","status":"failed","tests":2,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0])"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.461598031+00:00","status":"failed","tests":2,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1])"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.462592878+00:00","status":"failed","tests":2,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1])"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.463596377+00:00","status":"failed","tests":2,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1])"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.464684269+00:00","status":"failed","tests":2,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0])"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.465676627+00:00","status":"failed","tests":2,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1])"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.466661967+00:00","status":"failed","tests":2,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0])"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.467669694+00:00","status":"failed","tests":2,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1])"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:39:49.468887179+00:00","status":"failed","tests":12,"discards":0,"time":"976459us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:39:50.446563939+00:00","status":"failed","tests":12,"discards":0,"time":"187039us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:39:50.635068494+00:00","status":"failed","tests":12,"discards":0,"time":"180722us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:39:50.817272562+00:00","status":"failed","tests":12,"discards":0,"time":"186096us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:39:51.004782343+00:00","status":"failed","tests":12,"discards":0,"time":"182174us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:39:51.188503866+00:00","status":"failed","tests":12,"discards":0,"time":"187418us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:39:51.377378201+00:00","status":"failed","tests":12,"discards":0,"time":"186794us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:39:51.565713922+00:00","status":"failed","tests":12,"discards":0,"time":"185428us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:39:51.752583446+00:00","status":"failed","tests":12,"discards":0,"time":"186328us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqLenMatchesIter","mutations":["bq_len_bits_vs_bytes_facc857_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:39:51.940306528+00:00","status":"failed","tests":12,"discards":0,"time":"180869us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)"},"hash":"86d0cd33a436a73bc8be2d54a58bb554f6d71270"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.084300942+00:00","status":"failed","tests":54,"discards":0,"time":"199us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[-78.84107, -33.124943, 0.0, -40.359924, 0.0, 69.89667, 8.206664, -47.118572, -0.42293403], b=[-78.84107, -33.124943, 0.0, -40.359924, 0.0, 69.89667, 8.206664, -47.118572, -0.42293403]).\nminimal failing input: (\n    [\n        -78.84107,\n        -33.124943,\n        0.0,\n        -40.359924,\n        0.0,\n        69.89667,\n        8.206664,\n        -47.118572,\n        -0.42293403,\n    ],\n    [\n        -78.84107,\n        -33.124943,\n        0.0,\n        -40.359924,\n        0.0,\n        69.89667,\n        8.206664,\n        -47.118572,\n        -0.42293403,\n    ],\n)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.085709381+00:00","status":"failed","tests":14,"discards":0,"time":"91us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[-10.522291, -17.77551], b=[-10.522291, -17.77551]).\nminimal failing input: (\n    [\n        -10.522291,\n        -17.77551,\n    ],\n    [\n        -10.522291,\n        -17.77551,\n    ],\n)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.086821378+00:00","status":"failed","tests":20,"discards":0,"time":"104us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[-80.068344, 0.95118225, -70.46704], b=[-80.068344, 0.95118225, -70.46704]).\nminimal failing input: (\n    [\n        -80.068344,\n        0.95118225,\n        -70.46704,\n    ],\n    [\n        -80.068344,\n        0.95118225,\n        -70.46704,\n    ],\n)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.087921067+00:00","status":"failed","tests":57,"discards":0,"time":"205us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[15.538778, 27.396944, 39.31005, 60.221127, -60.458725, 0.0, 37.739857, -1.9592782, 38.05103, -80.35433, 0.0, 0.0, 82.90895], b=[15.538778, 27.396944, 39.31005, 60.221127, -60.458725, 0.0, 37.739857, -1.9592782, 38.05103, -80.35433, 0.0, 0.0, 82.90895]).\nminimal failing input: (\n    [\n        15.538778,\n        27.396944,\n        39.31005,\n        60.221127,\n        -60.458725,\n        0.0,\n        37.739857,\n        -1.9592782,\n        38.05103,\n        -80.35433,\n        0.0,\n        0.0,\n        82.90895,\n    ],\n    [\n        15.538778,\n        27.396944,\n        39.31005,\n        60.221127,\n        -60.458725,\n        0.0,\n        37.739857,\n        -1.9592782,\n        38.05103,\n        -80.35433,\n        0.0,\n        0.0,\n        82.90895,\n    ],\n)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.089155093+00:00","status":"failed","tests":34,"discards":0,"time":"133us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[-95.412224, 82.866165, -47.59728, 60.34389, 98.280396], b=[-95.412224, 82.866165, -47.59728, 60.34389, 98.280396]).\nminimal failing input: (\n    [\n        -95.412224,\n        82.866165,\n        -47.59728,\n        60.34389,\n        98.280396,\n    ],\n    [\n        -95.412224,\n        82.866165,\n        -47.59728,\n        60.34389,\n        98.280396,\n    ],\n)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.090266755+00:00","status":"failed","tests":59,"discards":0,"time":"242us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[0.0, -99.26931, 0.0, -8.470866, 21.17093, 77.497, 0.0, 98.10345, -48.6716, 17.198711], b=[0.0, -99.26931, 0.0, -8.470866, 21.17093, 77.497, 0.0, 98.10345, -48.6716, 17.198711]).\nminimal failing input: (\n    [\n        0.0,\n        -99.26931,\n        0.0,\n        -8.470866,\n        21.17093,\n        77.497,\n        0.0,\n        98.10345,\n        -48.6716,\n        17.198711,\n    ],\n    [\n        0.0,\n        -99.26931,\n        0.0,\n        -8.470866,\n        21.17093,\n        77.497,\n        0.0,\n        98.10345,\n        -48.6716,\n        17.198711,\n    ],\n)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.091474331+00:00","status":"failed","tests":14,"discards":0,"time":"96us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[20.915646, -84.94165], b=[20.915646, -84.94165]).\nminimal failing input: (\n    [\n        20.915646,\n        -84.94165,\n    ],\n    [\n        20.915646,\n        -84.94165,\n    ],\n)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.092568550+00:00","status":"failed","tests":49,"discards":0,"time":"180us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[-67.24717, 61.865005, 79.79903, -54.106567, 0.0, -8.079804, 0.0, 91.634155, 84.62563, 0.0, 47.358673, 84.907845], b=[-67.24717, 61.865005, 79.79903, -54.106567, 0.0, -8.079804, 0.0, 91.634155, 84.62563, 0.0, 47.358673, 84.907845]).\nminimal failing input: (\n    [\n        -67.24717,\n        61.865005,\n        79.79903,\n        -54.106567,\n        0.0,\n        -8.079804,\n        0.0,\n        91.634155,\n        84.62563,\n        0.0,\n        47.358673,\n        84.907845,\n    ],\n    [\n        -67.24717,\n        61.865005,\n        79.79903,\n        -54.106567,\n        0.0,\n        -8.079804,\n        0.0,\n        91.634155,\n        84.62563,\n        0.0,\n        47.358673,\n        84.907845,\n    ],\n)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.093736783+00:00","status":"failed","tests":18,"discards":0,"time":"100us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[35.933308, 25.057297, -52.858723], b=[35.933308, 25.057297, -52.858723]).\nminimal failing input: (\n    [\n        35.933308,\n        25.057297,\n        -52.858723,\n    ],\n    [\n        35.933308,\n        25.057297,\n        -52.858723,\n    ],\n)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.094828818+00:00","status":"failed","tests":12,"discards":0,"time":"95us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[-70.8288, -46.49461], b=[-70.8288, -46.49461]).\nminimal failing input: (\n    [\n        -70.8288,\n        -46.49461,\n    ],\n    [\n        -70.8288,\n        -46.49461,\n    ],\n)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.096090706+00:00","status":"failed","tests":1390,"discards":0,"time":"419us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (1152921504607734418 0 true)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.097549358+00:00","status":"failed","tests":1830,"discards":0,"time":"546us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (1152921504606846984 0 true)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.099097182+00:00","status":"failed","tests":2893,"discards":0,"time":"842us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (1152921504606847205 0 true)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.100926570+00:00","status":"failed","tests":2333,"discards":0,"time":"635us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (1152921504606847079 0 true)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.102527293+00:00","status":"failed","tests":2008,"discards":0,"time":"552us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (1152921504606847098 0 true)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.104063752+00:00","status":"failed","tests":2729,"discards":0,"time":"719us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (1152921504606847650 0 true)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.105792605+00:00","status":"failed","tests":133,"discards":0,"time":"71us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (18446744073709551615 18446744073709551615 false)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.106866406+00:00","status":"failed","tests":2480,"discards":0,"time":"700us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (1152921504606846984 0 true)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.108577396+00:00","status":"failed","tests":2237,"discards":0,"time":"566us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (1152921504606847046 0 true)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.110153879+00:00","status":"failed","tests":138,"discards":0,"time":"73us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (18446744073709551615 18446744073709551615 false)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.111417661+00:00","status":"failed","tests":11,"discards":0,"time":"32us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1, 3, 0] [1, 3, 3] true)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.112444023+00:00","status":"failed","tests":14,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1, 0, 3] [1, 1, 3] true)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.113450692+00:00","status":"failed","tests":9,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1, 0, 3] [3, 3, 3] true)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.114453400+00:00","status":"failed","tests":14,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([3, 0, 2] [2, 3, 3] true)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.115464839+00:00","status":"failed","tests":25,"discards":0,"time":"35us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([2, 1, 1, 0] [4, 1, 3, 0] true)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.116480430+00:00","status":"failed","tests":9,"discards":0,"time":"30us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1, 3, 0] [0, 1, 0] true)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.117493612+00:00","status":"failed","tests":5,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1, 1] [2, 2] true)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.118506469+00:00","status":"failed","tests":12,"discards":0,"time":"37us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0, 3, 1] [1, 1, 3] true)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.119520632+00:00","status":"failed","tests":6,"discards":0,"time":"31us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1, 1] [0, 2] true)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.120517579+00:00","status":"failed","tests":9,"discards":0,"time":"32us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0, 1, 1] [1, 1, 1] true)"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.121759430+00:00","status":"failed","tests":216,"discards":0,"time":"407462us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.530530056+00:00","status":"failed","tests":216,"discards":0,"time":"408165us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:39:55.940256343+00:00","status":"failed","tests":216,"discards":0,"time":"409498us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:39:56.351215031+00:00","status":"failed","tests":216,"discards":0,"time":"410444us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:39:56.763262751+00:00","status":"failed","tests":216,"discards":0,"time":"407253us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:39:57.171934142+00:00","status":"failed","tests":216,"discards":0,"time":"410203us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:39:57.583653738+00:00","status":"failed","tests":216,"discards":0,"time":"407737us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:39:57.993003668+00:00","status":"failed","tests":216,"discards":0,"time":"417271us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:39:58.411943892+00:00","status":"failed","tests":216,"discards":0,"time":"414761us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"CosineDistanceInUnit","mutations":["cosine_distance_no_clamp_6a09118_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:39:58.828272899+00:00","status":"failed","tests":216,"discards":0,"time":"403258us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance=-0.000000059604645 outside [0, 1] (a=[4.656613e-8, 4.656613e-8], b=[3.0267984e-6, 3.0267984e-6])"},"hash":"cb32e563721cbf6142ca401de2d33ee114b76037"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.212855278+00:00","status":"failed","tests":3,"discards":0,"time":"73us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.214172087+00:00","status":"failed","tests":14,"discards":0,"time":"81us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.215284796+00:00","status":"failed","tests":5,"discards":0,"time":"71us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.216383623+00:00","status":"failed","tests":15,"discards":0,"time":"74us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.217487976+00:00","status":"failed","tests":17,"discards":0,"time":"83us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.218588627+00:00","status":"failed","tests":2,"discards":0,"time":"60us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.219653674+00:00","status":"failed","tests":18,"discards":0,"time":"74us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.220768677+00:00","status":"failed","tests":8,"discards":0,"time":"72us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.221852376+00:00","status":"failed","tests":8,"discards":0,"time":"73us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"proptest","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.222935289+00:00","status":"failed","tests":11,"discards":0,"time":"69us","error":null,"tool":"proptest","counterexample":"Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.\nminimal failing input: [\n    0.0,\n]"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.224389332+00:00","status":"failed","tests":2,"discards":0,"time":"19us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.225420197+00:00","status":"failed","tests":2,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.226462990+00:00","status":"failed","tests":2,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.227489106+00:00","status":"failed","tests":2,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.228508134+00:00","status":"failed","tests":2,"discards":0,"time":"17us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.229550831+00:00","status":"failed","tests":2,"discards":0,"time":"19us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.230546946+00:00","status":"failed","tests":2,"discards":0,"time":"19us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.231598310+00:00","status":"failed","tests":2,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.232621806+00:00","status":"failed","tests":2,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"quickcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.233654395+00:00","status":"failed","tests":2,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.235039479+00:00","status":"failed","tests":2,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0])"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.236056248+00:00","status":"failed","tests":3,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0])"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.237047584+00:00","status":"failed","tests":2,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0])"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.238139203+00:00","status":"failed","tests":3,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0])"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.239151849+00:00","status":"failed","tests":2,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0])"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.240176853+00:00","status":"failed","tests":2,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0])"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.241181815+00:00","status":"failed","tests":2,"discards":0,"time":"27us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0])"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.242187069+00:00","status":"failed","tests":2,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0])"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.243243693+00:00","status":"failed","tests":2,"discards":0,"time":"27us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0])"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"crabcheck","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.244267880+00:00","status":"failed","tests":4,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0, 0])"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.245674039+00:00","status":"failed","tests":12,"discards":0,"time":"185030us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.431921489+00:00","status":"failed","tests":12,"discards":0,"time":"187483us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.620765383+00:00","status":"failed","tests":12,"discards":0,"time":"182630us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.804929515+00:00","status":"failed","tests":12,"discards":0,"time":"182760us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:40:02.989226563+00:00","status":"failed","tests":12,"discards":0,"time":"182234us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:40:03.173066886+00:00","status":"failed","tests":12,"discards":0,"time":"181694us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:40:03.356164376+00:00","status":"failed","tests":12,"discards":0,"time":"182857us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:40:03.540415428+00:00","status":"failed","tests":12,"discards":0,"time":"183773us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:40:03.725596995+00:00","status":"failed","tests":12,"discards":0,"time":"187264us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}
{"data":{"experiment":"ci-run","workload":"arroy","language":"rust","strategy":"hegel","property":"BqEuclidSelfDistanceZero","mutations":["bq_euclid_self_distance_or_not_xor_47fd2bd_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:40:03.914326283+00:00","status":"failed","tests":12,"discards":0,"time":"192588us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1"},"hash":"bc669bb84e8ec5fd10d7dbba6bae77696fc10e53"}