{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.341648444+00:00","status":"failed","tests":16,"discards":0,"time":"340us","error":null,"tool":"proptest","counterexample":"Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    45,\n]"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.343342871+00:00","status":"failed","tests":28,"discards":0,"time":"485us","error":null,"tool":"proptest","counterexample":"Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    45,\n]"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.344870539+00:00","status":"failed","tests":24,"discards":0,"time":"445us","error":null,"tool":"proptest","counterexample":"Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    45,\n]"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.346344663+00:00","status":"failed","tests":16,"discards":0,"time":"303us","error":null,"tool":"proptest","counterexample":"Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    45,\n]"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.347626400+00:00","status":"failed","tests":32,"discards":0,"time":"548us","error":null,"tool":"proptest","counterexample":"Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    48,\n]"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.349187647+00:00","status":"failed","tests":16,"discards":0,"time":"339us","error":null,"tool":"proptest","counterexample":"Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    48,\n]"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.350529877+00:00","status":"failed","tests":30,"discards":0,"time":"559us","error":null,"tool":"proptest","counterexample":"Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    45,\n]"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.352033616+00:00","status":"failed","tests":14,"discards":0,"time":"218us","error":null,"tool":"proptest","counterexample":"Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    45,\n]"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.353294524+00:00","status":"failed","tests":27,"discards":0,"time":"539us","error":null,"tool":"proptest","counterexample":"Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    45,\n]"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.354775160+00:00","status":"failed","tests":32,"discards":0,"time":"561us","error":null,"tool":"proptest","counterexample":"Test failed: ends[0]=4 expected=1 (stale output_pos not reset).\nminimal failing input: [\n    48,\n]"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.356499377+00:00","status":"failed","tests":1225,"discards":0,"time":"3833us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (15501)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.361430196+00:00","status":"failed","tests":1409,"discards":0,"time":"4424us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (13263)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.366855607+00:00","status":"failed","tests":1490,"discards":0,"time":"4326us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (1962)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.372190845+00:00","status":"failed","tests":1249,"discards":0,"time":"4052us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (15603)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.377251301+00:00","status":"failed","tests":1217,"discards":0,"time":"3879us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (14970)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.382097411+00:00","status":"failed","tests":1253,"discards":0,"time":"3898us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (7534)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.387013276+00:00","status":"failed","tests":1176,"discards":0,"time":"3629us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (793744)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.391636998+00:00","status":"failed","tests":1420,"discards":0,"time":"4432us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (13976)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.397060266+00:00","status":"failed","tests":1474,"discards":0,"time":"4593us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (3872)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.402638950+00:00","status":"failed","tests":1227,"discards":0,"time":"3900us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (6753)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.407670843+00:00","status":"failed","tests":16,"discards":0,"time":"47us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([4, 4, 1, 0])"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.408743563+00:00","status":"failed","tests":17,"discards":0,"time":"44us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0, 4, 2, 0])"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.409806359+00:00","status":"failed","tests":17,"discards":0,"time":"43us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1, 1, 4, 0])"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.410824828+00:00","status":"failed","tests":16,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([4, 1, 3, 1])"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.411845855+00:00","status":"failed","tests":16,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([3, 4, 1, 4])"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.412899370+00:00","status":"failed","tests":16,"discards":0,"time":"43us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([4, 2, 2, 3])"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.413925838+00:00","status":"failed","tests":16,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([3, 3, 3, 4])"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.414977659+00:00","status":"failed","tests":16,"discards":0,"time":"45us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([4, 0, 1, 2])"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.416015579+00:00","status":"failed","tests":16,"discards":0,"time":"43us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0, 4, 4, 3])"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.417088219+00:00","status":"failed","tests":16,"discards":0,"time":"46us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0, 1, 4, 1])"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:02:59.418365127+00:00","status":"failed","tests":27,"discards":0,"time":"913022us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:00.332596954+00:00","status":"failed","tests":27,"discards":0,"time":"190211us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:00.524167544+00:00","status":"failed","tests":27,"discards":0,"time":"191395us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:00.717013868+00:00","status":"failed","tests":27,"discards":0,"time":"190260us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:00.908865924+00:00","status":"failed","tests":27,"discards":0,"time":"195850us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:01.106106850+00:00","status":"failed","tests":27,"discards":0,"time":"195022us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:01.302579696+00:00","status":"failed","tests":27,"discards":0,"time":"194828us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:01.499017506+00:00","status":"failed","tests":27,"discards":0,"time":"193935us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:01.694463927+00:00","status":"failed","tests":27,"discards":0,"time":"190123us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ResetClearsOutputPosition","mutations":["core_reader_reset_output_pos_zero_066de4a_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:01.886098831+00:00","status":"failed","tests":27,"discards":0,"time":"196141us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: ends[0]=4 expected=1 (stale output_pos not reset)"},"hash":"3d65be37f043904548d1a7ace106642a6b69d977"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.354561831+00:00","status":"failed","tests":15,"discards":0,"time":"280us","error":null,"tool":"proptest","counterexample":"Test failed: field 0: got Some([32, 64, 9]), expected [64].\nminimal failing input: [\n    [\n        64,\n    ],\n]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.356124460+00:00","status":"failed","tests":27,"discards":0,"time":"410us","error":null,"tool":"proptest","counterexample":"Test failed: field 0: got Some([32, 45, 9]), expected [45].\nminimal failing input: [\n    [\n        45,\n    ],\n]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.357579453+00:00","status":"failed","tests":17,"discards":0,"time":"223us","error":null,"tool":"proptest","counterexample":"Test failed: field 0: got Some([32, 45, 9]), expected [45].\nminimal failing input: [\n    [\n        45,\n    ],\n]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.358826119+00:00","status":"failed","tests":42,"discards":0,"time":"253us","error":null,"tool":"proptest","counterexample":"Test failed: field 0: got Some([32, 64, 9]), expected [64].\nminimal failing input: [\n    [\n        64,\n    ],\n]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.360096586+00:00","status":"failed","tests":24,"discards":0,"time":"329us","error":null,"tool":"proptest","counterexample":"Test failed: field 0: got Some([32, 45, 9]), expected [45].\nminimal failing input: [\n    [\n        45,\n    ],\n]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.361459319+00:00","status":"failed","tests":17,"discards":0,"time":"261us","error":null,"tool":"proptest","counterexample":"Test failed: field 0: got Some([32, 45, 9]), expected [45].\nminimal failing input: [\n    [\n        45,\n    ],\n]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.362711712+00:00","status":"failed","tests":16,"discards":0,"time":"258us","error":null,"tool":"proptest","counterexample":"Test failed: field 0: got Some([32, 45, 9]), expected [45].\nminimal failing input: [\n    [\n        45,\n    ],\n]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.364016057+00:00","status":"failed","tests":19,"discards":0,"time":"279us","error":null,"tool":"proptest","counterexample":"Test failed: field 0: got Some([32, 48, 9]), expected [48].\nminimal failing input: [\n    [\n        48,\n    ],\n]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.365319275+00:00","status":"failed","tests":17,"discards":0,"time":"209us","error":null,"tool":"proptest","counterexample":"Test failed: field 0: got Some([32, 48, 9]), expected [48].\nminimal failing input: [\n    [\n        48,\n    ],\n]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.366507364+00:00","status":"failed","tests":18,"discards":0,"time":"232us","error":null,"tool":"proptest","counterexample":"Test failed: field 0: got Some([32, 45, 9]), expected [45].\nminimal failing input: [\n    [\n        45,\n    ],\n]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.368072317+00:00","status":"failed","tests":10,"discards":0,"time":"70us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.369204387+00:00","status":"failed","tests":3,"discards":0,"time":"63us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.370357462+00:00","status":"failed","tests":8,"discards":0,"time":"69us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.371435803+00:00","status":"failed","tests":6,"discards":0,"time":"67us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.372492178+00:00","status":"failed","tests":4,"discards":0,"time":"43us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.373529943+00:00","status":"failed","tests":2,"discards":0,"time":"86us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.374569275+00:00","status":"failed","tests":9,"discards":0,"time":"47us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.375612440+00:00","status":"failed","tests":2,"discards":0,"time":"62us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.376653535+00:00","status":"failed","tests":3,"discards":0,"time":"59us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.377706148+00:00","status":"failed","tests":2,"discards":0,"time":"61us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.378992003+00:00","status":"failed","tests":16,"discards":0,"time":"54us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([[0, 4, 3, 1], [2, 0, 4, 3], [0, 0, 4, 1], [3, 4, 2, 0]])"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.380065615+00:00","status":"failed","tests":24,"discards":0,"time":"57us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([[0, 0, 3, 4], [4, 4, 4, 1], [0, 3, 0, 4], [0, 3, 4, 2]])"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.381128852+00:00","status":"failed","tests":41,"discards":0,"time":"71us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([[1, 4, 5, 1, 1], [2, 5, 5, 3, 4], [1, 1, 3, 3, 4], [3, 4, 1, 4, 2], [4, 2, 5, 2, 1]])"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.382197265+00:00","status":"failed","tests":20,"discards":0,"time":"56us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([[4, 3, 2, 0], [2, 1, 3, 4], [0, 2, 4, 0], [3, 4, 4, 1]])"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.383293203+00:00","status":"failed","tests":18,"discards":0,"time":"54us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([[0, 4, 1, 3], [1, 2, 2, 4], [3, 1, 4, 1], [0, 4, 4, 0]])"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.384331168+00:00","status":"failed","tests":25,"discards":0,"time":"57us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([[3, 0, 2, 4], [2, 4, 1, 4], [2, 4, 0, 2], [2, 0, 2, 4]])"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.385394866+00:00","status":"failed","tests":20,"discards":0,"time":"57us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([[1, 4, 2, 4], [1, 1, 4, 1], [1, 0, 4, 0], [4, 1, 3, 4]])"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.386435577+00:00","status":"failed","tests":25,"discards":0,"time":"59us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([[2, 4, 3, 3], [3, 4, 1, 1], [4, 2, 2, 1], [2, 1, 3, 4]])"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.387478696+00:00","status":"failed","tests":23,"discards":0,"time":"85us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([[4, 1, 0, 4], [1, 2, 4, 2], [4, 0, 1, 3], [2, 4, 4, 3]])"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.388525799+00:00","status":"failed","tests":31,"discards":0,"time":"90us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([[4, 3, 1, 3], [3, 0, 1, 4], [3, 1, 2, 4], [3, 4, 2, 0]])"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.389820981+00:00","status":"failed","tests":42,"discards":0,"time":"209307us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.600375707+00:00","status":"failed","tests":42,"discards":0,"time":"214059us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:06.816132451+00:00","status":"failed","tests":42,"discards":0,"time":"209143us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:07.026710037+00:00","status":"failed","tests":42,"discards":0,"time":"208895us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:07.237073629+00:00","status":"failed","tests":42,"discards":0,"time":"217803us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:07.456498635+00:00","status":"failed","tests":42,"discards":0,"time":"208155us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:07.666035354+00:00","status":"failed","tests":42,"discards":0,"time":"213539us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:07.881181480+00:00","status":"failed","tests":42,"discards":0,"time":"209807us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:08.092664184+00:00","status":"failed","tests":42,"discards":0,"time":"214189us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"TrimAllAppliesWithoutHeaders","mutations":["reader_trim_all_without_headers_ce01ae7_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:08.308432489+00:00","status":"failed","tests":42,"discards":0,"time":"211135us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: field 0: got Some([32, 45, 9]), expected [45]"},"hash":"2d2d26a1d8521579be17ffc31a813c75559c672b"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.776553583+00:00","status":"failed","tests":7,"discards":0,"time":"221us","error":null,"tool":"proptest","counterexample":"Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.778024560+00:00","status":"failed","tests":11,"discards":0,"time":"303us","error":null,"tool":"proptest","counterexample":"Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.779403089+00:00","status":"failed","tests":24,"discards":0,"time":"579us","error":null,"tool":"proptest","counterexample":"Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.781001505+00:00","status":"failed","tests":9,"discards":0,"time":"250us","error":null,"tool":"proptest","counterexample":"Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.782303802+00:00","status":"failed","tests":9,"discards":0,"time":"282us","error":null,"tool":"proptest","counterexample":"Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.783591595+00:00","status":"failed","tests":20,"discards":0,"time":"889us","error":null,"tool":"proptest","counterexample":"Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.785731906+00:00","status":"failed","tests":22,"discards":0,"time":"497us","error":null,"tool":"proptest","counterexample":"Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.787341724+00:00","status":"failed","tests":21,"discards":0,"time":"569us","error":null,"tool":"proptest","counterexample":"Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.788869432+00:00","status":"failed","tests":21,"discards":0,"time":"494us","error":null,"tool":"proptest","counterexample":"Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.790435388+00:00","status":"failed","tests":14,"discards":0,"time":"390us","error":null,"tool":"proptest","counterexample":"Test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted.\nminimal failing input: []"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.792264402+00:00","status":"failed","tests":2,"discards":0,"time":"67us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.793318698+00:00","status":"failed","tests":2,"discards":0,"time":"65us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.794364332+00:00","status":"failed","tests":2,"discards":0,"time":"63us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.795425110+00:00","status":"failed","tests":2,"discards":0,"time":"67us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.796470103+00:00","status":"failed","tests":2,"discards":0,"time":"66us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.797545889+00:00","status":"failed","tests":2,"discards":0,"time":"67us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.798590291+00:00","status":"failed","tests":2,"discards":0,"time":"68us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.799646991+00:00","status":"failed","tests":2,"discards":0,"time":"66us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.800755012+00:00","status":"failed","tests":2,"discards":0,"time":"64us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.801799039+00:00","status":"failed","tests":2,"discards":0,"time":"66us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.803365330+00:00","status":"failed","tests":1,"discards":0,"time":"81us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.804550814+00:00","status":"failed","tests":1,"discards":0,"time":"49us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.805614748+00:00","status":"failed","tests":1,"discards":0,"time":"47us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.806667465+00:00","status":"failed","tests":1,"discards":0,"time":"48us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.807690112+00:00","status":"failed","tests":1,"discards":0,"time":"45us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.808716630+00:00","status":"failed","tests":1,"discards":0,"time":"47us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.809764765+00:00","status":"failed","tests":1,"discards":0,"time":"45us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.810788447+00:00","status":"failed","tests":1,"discards":0,"time":"46us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.811825531+00:00","status":"failed","tests":1,"discards":0,"time":"46us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.812850326+00:00","status":"failed","tests":1,"discards":0,"time":"47us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.814270648+00:00","status":"failed","tests":12,"discards":0,"time":"179367us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:12.994791871+00:00","status":"failed","tests":12,"discards":0,"time":"178890us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:13.175354729+00:00","status":"failed","tests":12,"discards":0,"time":"177929us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:13.354860451+00:00","status":"failed","tests":12,"discards":0,"time":"181575us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:13.538294741+00:00","status":"failed","tests":12,"discards":0,"time":"179038us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:13.718667025+00:00","status":"failed","tests":12,"discards":0,"time":"178287us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:13.898407507+00:00","status":"failed","tests":12,"discards":0,"time":"182129us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:14.081935376+00:00","status":"failed","tests":12,"discards":0,"time":"177552us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:14.260869413+00:00","status":"failed","tests":12,"discards":0,"time":"182619us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"WriterCommentCharAutoQuote","mutations":["writer_comment_char_auto_quote_0f64d3f_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:14.444891812+00:00","status":"failed","tests":12,"discards":0,"time":"177261us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read back (raw=[35, 44, 97, 102, 116, 101, 114, 10]) — field starting with '#' was not quoted"},"hash":"96fdbadb85b5f24af16be1e45778f19c3cb26e83"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.884717017+00:00","status":"failed","tests":202,"discards":0,"time":"463us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] splits_a=[16, 2] splits_b=[1, 3] trunc_b=15 left=[[0], [0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] right=[[0], [0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        16,\n        2,\n    ],\n    [\n        1,\n        3,\n    ],\n    15,\n)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.886446479+00:00","status":"failed","tests":93,"discards":0,"time":"211us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0, 0, 0, 0] splits_a=[151, 8] splits_b=[31, 15] trunc_b=42 left=[[0], [0], [0, 0, 0]] right=[[0], [0, 0], [0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        151,\n        8,\n    ],\n    [\n        31,\n        15,\n    ],\n    42,\n)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.887656633+00:00","status":"failed","tests":131,"discards":0,"time":"276us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] splits_a=[4] splits_b=[1] trunc_b=12 left=[[0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0]] right=[[0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        4,\n    ],\n    [\n        1,\n    ],\n    12,\n)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.888927945+00:00","status":"failed","tests":254,"discards":0,"time":"380us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0, 0, 0, 0, 0, 0] splits_a=[25] splits_b=[34] trunc_b=8 left=[[0], [0, 0, 0, 0, 0, 0]] right=[[0, 0], [0, 0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        25,\n    ],\n    [\n        34,\n    ],\n    8,\n)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.890337913+00:00","status":"failed","tests":276,"discards":0,"time":"525us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] splits_a=[40, 41] splits_b=[94, 1] trunc_b=13 left=[[0], [0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] right=[[0], [0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        40,\n        41,\n    ],\n    [\n        94,\n        1,\n    ],\n    13,\n)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.891822335+00:00","status":"failed","tests":138,"discards":0,"time":"290us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=156 left=[[0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] right=[[0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        1,\n    ],\n    [\n        2,\n    ],\n    156,\n)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.893124011+00:00","status":"failed","tests":199,"discards":0,"time":"356us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=12 left=[[0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] right=[[0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        1,\n    ],\n    [\n        2,\n    ],\n    12,\n)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.894546467+00:00","status":"failed","tests":212,"discards":0,"time":"429us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=208 left=[[0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] right=[[0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        1,\n    ],\n    [\n        2,\n    ],\n    208,\n)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.895976423+00:00","status":"failed","tests":158,"discards":0,"time":"261us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0, 0, 0] splits_a=[116] splits_b=[117] trunc_b=40 left=[[0], [0, 0, 0]] right=[[0, 0], [0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        116,\n    ],\n    [\n        117,\n    ],\n    40,\n)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.897220574+00:00","status":"failed","tests":218,"discards":0,"time":"454us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] splits_a=[37] splits_b=[2] trunc_b=192 left=[[0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] right=[[0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        37,\n    ],\n    [\n        2,\n    ],\n    192,\n)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.899119880+00:00","status":"failed","tests":20507,"discards":0,"time":"9037us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (1873497444986207732 1152921504606847254)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.909162470+00:00","status":"failed","tests":19315,"discards":0,"time":"8665us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (1873497445003095092 1152921504606847395)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.918832887+00:00","status":"failed","tests":14342,"discards":0,"time":"6764us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (1873497444986352956 1152921504606847092)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.926620204+00:00","status":"passed","tests":274,"discards":0,"time":"268us","error":null,"tool":"quickcheck","counterexample":null},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.927881914+00:00","status":"passed","tests":277,"discards":0,"time":"272us","error":null,"tool":"quickcheck","counterexample":null},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.929158306+00:00","status":"passed","tests":282,"discards":0,"time":"269us","error":null,"tool":"quickcheck","counterexample":null},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.930426889+00:00","status":"passed","tests":266,"discards":0,"time":"287us","error":null,"tool":"quickcheck","counterexample":null},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.931671933+00:00","status":"failed","tests":18102,"discards":0,"time":"8294us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (7061644215716937734 1152921504606847158)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.940968638+00:00","status":"failed","tests":17319,"discards":0,"time":"7537us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (1873497444986133913 1152921504606847195)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.949549916+00:00","status":"failed","tests":8034,"discards":0,"time":"4715us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (3746994889972252672 13835058055282163823)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.955768947+00:00","status":"failed","tests":66,"discards":0,"time":"81us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([5, 6, 3, 3, 2, 0] [0, 5, 0, 6, 0, 3] [2, 0, 6, 0, 6, 6] 0)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.956860432+00:00","status":"failed","tests":83,"discards":0,"time":"92us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([6, 2, 1, 2, 5, 1] [2, 2, 1, 6, 5, 6] [3, 4, 0, 0, 3, 1] 0)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.957945120+00:00","status":"failed","tests":78,"discards":0,"time":"88us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1, 5, 6, 1, 0, 0] [0, 0, 3, 2, 2, 6] [5, 1, 5, 2, 3, 6] 0)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.959034151+00:00","status":"failed","tests":77,"discards":0,"time":"88us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([2, 2, 5, 4, 6, 4] [6, 2, 1, 3, 6, 5] [4, 0, 5, 5, 5, 0] 0)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.960107397+00:00","status":"failed","tests":75,"discards":0,"time":"86us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0, 5, 3, 1, 5, 6] [5, 2, 0, 6, 4, 2] [6, 4, 1, 3, 3, 0] 0)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.961195496+00:00","status":"failed","tests":92,"discards":0,"time":"99us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([6, 6, 1, 4, 4, 2] [0, 0, 5, 0, 2, 2] [1, 1, 6, 2, 1, 5] 0)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.962336389+00:00","status":"failed","tests":160,"discards":0,"time":"170us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0, 3, 4, 6, 0, 2, 7] [7, 1, 4, 2, 3, 5, 0] [0, 1, 3, 6, 5, 5, 5] 0)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.963474502+00:00","status":"failed","tests":68,"discards":0,"time":"112us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([5, 6, 4, 6, 2, 6] [4, 1, 3, 3, 3, 2] [5, 1, 5, 6, 1, 4] 0)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.964537740+00:00","status":"failed","tests":64,"discards":0,"time":"76us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0, 1, 2, 1, 4, 6] [6, 2, 4, 6, 0, 2] [4, 5, 5, 4, 0, 4] 0)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.965613765+00:00","status":"failed","tests":66,"discards":0,"time":"83us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([2, 1, 6, 6, 5, 3] [3, 5, 4, 3, 3, 6] [5, 2, 2, 5, 3, 6] 0)"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:18.967197740+00:00","status":"failed","tests":400,"discards":0,"time":"828919us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:19.797377838+00:00","status":"failed","tests":400,"discards":0,"time":"834180us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:20.633144116+00:00","status":"failed","tests":400,"discards":0,"time":"822613us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:21.457522281+00:00","status":"failed","tests":400,"discards":0,"time":"825245us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:22.284466571+00:00","status":"failed","tests":400,"discards":0,"time":"826730us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:23.112870697+00:00","status":"failed","tests":400,"discards":0,"time":"815207us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:23.929527863+00:00","status":"failed","tests":400,"discards":0,"time":"844692us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:24.775715316+00:00","status":"failed","tests":400,"discards":0,"time":"814844us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:25.592031251+00:00","status":"failed","tests":400,"discards":0,"time":"827943us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_field_boundaries_efc4a51_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:26.421672159+00:00","status":"failed","tests":400,"discards":0,"time":"820345us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0, 0] splits_a=[1] splits_b=[2] trunc_b=0 left=[[0], [0, 0]] right=[[0, 0], [0]] expected_eq=false got_eq=true"},"hash":"c4c7217874129264d66525558c3afde602188168"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.376189839+00:00","status":"failed","tests":80,"discards":0,"time":"201us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0] splits_a=[175] splits_b=[] trunc_b=97 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n    ],\n    [\n        175,\n    ],\n    [],\n    97,\n)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.377598334+00:00","status":"failed","tests":125,"discards":0,"time":"259us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0, 0, 0, 0, 0, 0, 0] splits_a=[93, 195] splits_b=[178] trunc_b=101 left=[[0, 0, 0], [0, 0, 0], [0, 0]] right=[[0, 0, 0], [0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        93,\n        195,\n    ],\n    [\n        178,\n    ],\n    101,\n)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.378938687+00:00","status":"failed","tests":74,"discards":0,"time":"160us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0] splits_a=[19] splits_b=[] trunc_b=142 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n    ],\n    [\n        19,\n    ],\n    [],\n    142,\n)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.380112411+00:00","status":"failed","tests":56,"discards":0,"time":"147us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0, 0, 0] splits_a=[227] splits_b=[] trunc_b=82 left=[[0, 0], [0, 0]] right=[[0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        227,\n    ],\n    [],\n    82,\n)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.381292032+00:00","status":"failed","tests":65,"discards":0,"time":"152us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0, 0] splits_a=[174] splits_b=[] trunc_b=161 left=[[0, 0], [0]] right=[[0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n    ],\n    [\n        174,\n    ],\n    [],\n    161,\n)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.382460185+00:00","status":"failed","tests":62,"discards":0,"time":"183us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0, 0] splits_a=[33] splits_b=[] trunc_b=90 left=[[0], [0, 0]] right=[[0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n    ],\n    [\n        33,\n    ],\n    [],\n    90,\n)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.383598369+00:00","status":"failed","tests":160,"discards":0,"time":"328us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] splits_a=[91] splits_b=[] trunc_b=27 left=[[0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]] right=[[0, 0, 0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        91,\n    ],\n    [],\n    27,\n)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.384970085+00:00","status":"failed","tests":81,"discards":0,"time":"169us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0] splits_a=[178] splits_b=[] trunc_b=46 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n    ],\n    [\n        178,\n    ],\n    [],\n    46,\n)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.386120591+00:00","status":"failed","tests":94,"discards":0,"time":"200us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0, 0, 0, 0, 0, 0] splits_a=[172] splits_b=[] trunc_b=219 left=[[0, 0, 0, 0], [0, 0, 0]] right=[[0, 0, 0, 0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        172,\n    ],\n    [],\n    219,\n)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.387353897+00:00","status":"failed","tests":119,"discards":0,"time":"252us","error":null,"tool":"proptest","counterexample":"Test failed: base=[0, 0, 0, 0, 0, 0] splits_a=[99] splits_b=[] trunc_b=208 left=[[0], [0, 0, 0, 0, 0]] right=[[0]] expected_eq=false got_eq=true.\nminimal failing input: (\n    [\n        0,\n        0,\n        0,\n        0,\n        0,\n        0,\n    ],\n    [\n        99,\n    ],\n    [],\n    208,\n)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.389367082+00:00","status":"failed","tests":2384,"discards":0,"time":"899us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (1801439850948198439 9223372036854775808)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.391266447+00:00","status":"failed","tests":6610,"discards":0,"time":"2956us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (10448351135499550720 2305843009213693952)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.395199955+00:00","status":"failed","tests":4762,"discards":0,"time":"1953us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (8718968878589280256 2305843009213693952)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.398162556+00:00","status":"failed","tests":4360,"discards":0,"time":"2096us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (2089670231752557431 11529215046068469760)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.401266307+00:00","status":"failed","tests":4824,"discards":0,"time":"2051us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (3530822107858468864 2305843009213693952)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.404317804+00:00","status":"failed","tests":5661,"discards":0,"time":"2351us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (3530822107858468864 2305843009213693952)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.407648781+00:00","status":"failed","tests":4880,"discards":0,"time":"1994us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (8718968878589280256 2305843009213693952)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.410667487+00:00","status":"failed","tests":3997,"discards":0,"time":"2120us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (4359484440174404694 3458845197950085042)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.413781768+00:00","status":"failed","tests":6715,"discards":0,"time":"2961us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (1945555039024681703 6917529027641081856)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.417753945+00:00","status":"failed","tests":4268,"discards":0,"time":"1931us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (1801439850948198867 9223372036854775808)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.421404026+00:00","status":"failed","tests":67,"discards":0,"time":"80us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([4, 1, 6, 0, 1, 0] [0, 5, 0, 4, 0, 1] [1, 6, 4, 2, 4, 3] 2)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.422499368+00:00","status":"failed","tests":64,"discards":0,"time":"114us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([3, 4, 6, 0, 3, 0] [5, 4, 6, 5, 5, 2] [3, 6, 1, 6, 4, 3] 2)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.423593834+00:00","status":"failed","tests":90,"discards":0,"time":"109us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([0, 3, 2, 5, 1, 5] [5, 3, 4, 1, 3, 2] [1, 1, 1, 6, 0, 3] 1)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.424683395+00:00","status":"failed","tests":97,"discards":0,"time":"108us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([2, 5, 0, 3, 0, 3] [5, 5, 0, 1, 3, 0] [1, 4, 1, 0, 6, 5] 1)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.425776970+00:00","status":"failed","tests":66,"discards":0,"time":"83us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1, 5, 5, 2, 5, 3] [4, 2, 5, 6, 5, 5] [0, 0, 3, 6, 0, 0] 2)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.426851694+00:00","status":"failed","tests":67,"discards":0,"time":"85us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([3, 2, 4, 6, 5, 2] [4, 5, 6, 0, 4, 3] [1, 2, 2, 6, 3, 6] 1)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.427923387+00:00","status":"failed","tests":64,"discards":0,"time":"76us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([5, 4, 6, 2, 4, 5] [5, 3, 4, 5, 3, 4] [3, 2, 6, 4, 0, 3] 2)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.428993412+00:00","status":"failed","tests":84,"discards":0,"time":"95us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([4, 2, 0, 3, 4, 4] [0, 6, 5, 2, 6, 6] [0, 0, 2, 2, 5, 6] 2)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.430078621+00:00","status":"failed","tests":103,"discards":0,"time":"117us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([3, 0, 1, 6, 4, 4] [1, 5, 5, 6, 2, 3] [5, 4, 2, 0, 2, 6] 1)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.431161139+00:00","status":"failed","tests":67,"discards":0,"time":"82us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([3, 1, 3, 2, 2, 0] [4, 2, 5, 0, 4, 0] [6, 4, 2, 3, 6, 2] 1)"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.432949314+00:00","status":"failed","tests":164,"discards":0,"time":"416304us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:31.850482510+00:00","status":"failed","tests":164,"discards":0,"time":"422828us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:32.274831718+00:00","status":"failed","tests":164,"discards":0,"time":"418470us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:32.694793480+00:00","status":"failed","tests":164,"discards":0,"time":"418700us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:33.114913198+00:00","status":"failed","tests":164,"discards":0,"time":"421753us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:33.538158929+00:00","status":"failed","tests":164,"discards":0,"time":"426716us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:33.966525457+00:00","status":"failed","tests":164,"discards":0,"time":"419938us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:34.387895562+00:00","status":"failed","tests":164,"discards":0,"time":"420989us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:34.810436993+00:00","status":"failed","tests":164,"discards":0,"time":"423551us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"ByteRecordEqMatchesFields","mutations":["byte_record_eq_length_check_23fb0cd_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:35.235487264+00:00","status":"failed","tests":164,"discards":0,"time":"418599us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: base=[0, 0] splits_a=[1] splits_b=[] trunc_b=1 left=[[0], [0]] right=[[0]] expected_eq=false got_eq=true"},"hash":"c6d67701aeb02908749cd1cd12f9aeec888f9bda"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.946304031+00:00","status":"failed","tests":10,"discards":0,"time":"252us","error":null,"tool":"proptest","counterexample":"Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.947829252+00:00","status":"failed","tests":13,"discards":0,"time":"294us","error":null,"tool":"proptest","counterexample":"Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.949260139+00:00","status":"failed","tests":21,"discards":0,"time":"474us","error":null,"tool":"proptest","counterexample":"Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.950768547+00:00","status":"failed","tests":4,"discards":0,"time":"160us","error":null,"tool":"proptest","counterexample":"Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.951924227+00:00","status":"failed","tests":14,"discards":0,"time":"371us","error":null,"tool":"proptest","counterexample":"Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.953311979+00:00","status":"failed","tests":10,"discards":0,"time":"298us","error":null,"tool":"proptest","counterexample":"Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.954565302+00:00","status":"failed","tests":2,"discards":0,"time":"120us","error":null,"tool":"proptest","counterexample":"Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.955724054+00:00","status":"failed","tests":18,"discards":0,"time":"391us","error":null,"tool":"proptest","counterexample":"Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.957094407+00:00","status":"failed","tests":1,"discards":0,"time":"105us","error":null,"tool":"proptest","counterexample":"Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.958205189+00:00","status":"failed","tests":14,"discards":0,"time":"347us","error":null,"tool":"proptest","counterexample":"Test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10]).\nminimal failing input: []"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.960298681+00:00","status":"failed","tests":2,"discards":0,"time":"57us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.961335950+00:00","status":"failed","tests":2,"discards":0,"time":"55us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.962375528+00:00","status":"failed","tests":2,"discards":0,"time":"67us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.963440208+00:00","status":"failed","tests":2,"discards":0,"time":"55us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.964470428+00:00","status":"failed","tests":2,"discards":0,"time":"55us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.965510783+00:00","status":"failed","tests":1,"discards":0,"time":"60us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.966512008+00:00","status":"failed","tests":2,"discards":0,"time":"120us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.967572210+00:00","status":"failed","tests":2,"discards":0,"time":"56us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.968606919+00:00","status":"failed","tests":2,"discards":0,"time":"58us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.969633568+00:00","status":"failed","tests":2,"discards":0,"time":"57us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.971495298+00:00","status":"failed","tests":1,"discards":0,"time":"97us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.972542606+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.973568016+00:00","status":"failed","tests":1,"discards":0,"time":"40us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.974604835+00:00","status":"failed","tests":1,"discards":0,"time":"39us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.975622982+00:00","status":"failed","tests":1,"discards":0,"time":"39us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.976631587+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.977655075+00:00","status":"failed","tests":1,"discards":0,"time":"39us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.978671093+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.979693639+00:00","status":"failed","tests":1,"discards":0,"time":"38us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.980751066+00:00","status":"failed","tests":1,"discards":0,"time":"38us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:39.982575736+00:00","status":"failed","tests":12,"discards":0,"time":"178088us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:40.161860803+00:00","status":"failed","tests":12,"discards":0,"time":"180198us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:40.343520175+00:00","status":"failed","tests":12,"discards":0,"time":"181140us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:40.526043312+00:00","status":"failed","tests":12,"discards":0,"time":"182463us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:40.710044194+00:00","status":"failed","tests":12,"discards":0,"time":"176453us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:40.887814136+00:00","status":"failed","tests":12,"discards":0,"time":"175680us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:41.064857136+00:00","status":"failed","tests":12,"discards":0,"time":"176636us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:41.242885202+00:00","status":"failed","tests":12,"discards":0,"time":"181389us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:41.425779223+00:00","status":"failed","tests":12,"discards":0,"time":"178557us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"CommentOnlyAtRecordStart","mutations":["core_reader_comment_only_at_record_start_a5745ba_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:41.605893405+00:00","status":"failed","tests":12,"discards":0,"time":"175978us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: no record read (data=[102, 105, 114, 115, 116, 44, 35, 10])"},"hash":"77bc31a4bc7967280d0a468a8a750fba1309d1ed"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.054606573+00:00","status":"failed","tests":20,"discards":0,"time":"92us","error":null,"tool":"proptest","counterexample":"Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128]).\nminimal failing input: [\n    128,\n]"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.055931622+00:00","status":"failed","tests":27,"discards":0,"time":"104us","error":null,"tool":"proptest","counterexample":"Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 1 (bytes=[0, 128]).\nminimal failing input: [\n    0,\n    128,\n]"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.057121812+00:00","status":"failed","tests":12,"discards":0,"time":"94us","error":null,"tool":"proptest","counterexample":"Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128]).\nminimal failing input: [\n    128,\n]"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.058226538+00:00","status":"failed","tests":30,"discards":0,"time":"111us","error":null,"tool":"proptest","counterexample":"Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128]).\nminimal failing input: [\n    128,\n]"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.059370231+00:00","status":"failed","tests":32,"discards":0,"time":"111us","error":null,"tool":"proptest","counterexample":"Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128]).\nminimal failing input: [\n    128,\n]"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.060483362+00:00","status":"failed","tests":13,"discards":0,"time":"124us","error":null,"tool":"proptest","counterexample":"Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128]).\nminimal failing input: [\n    128,\n]"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.061562393+00:00","status":"failed","tests":24,"discards":0,"time":"101us","error":null,"tool":"proptest","counterexample":"Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128]).\nminimal failing input: [\n    128,\n]"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.062650999+00:00","status":"failed","tests":26,"discards":0,"time":"104us","error":null,"tool":"proptest","counterexample":"Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128]).\nminimal failing input: [\n    128,\n]"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.063771268+00:00","status":"failed","tests":25,"discards":0,"time":"106us","error":null,"tool":"proptest","counterexample":"Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128]).\nminimal failing input: [\n    128,\n]"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"proptest","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.064864131+00:00","status":"failed","tests":26,"discards":0,"time":"111us","error":null,"tool":"proptest","counterexample":"Test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128]).\nminimal failing input: [\n    128,\n]"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.067179502+00:00","status":"failed","tests":2,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.068211491+00:00","status":"failed","tests":2,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.069269654+00:00","status":"failed","tests":2,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.070272779+00:00","status":"failed","tests":2,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.071297098+00:00","status":"failed","tests":2,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.072289453+00:00","status":"failed","tests":2,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.073285892+00:00","status":"failed","tests":2,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.074365875+00:00","status":"failed","tests":2,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.075431518+00:00","status":"failed","tests":3,"discards":0,"time":"25us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"quickcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.076513845+00:00","status":"failed","tests":2,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.078509733+00:00","status":"failed","tests":3,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.079615304+00:00","status":"failed","tests":2,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.080679744+00:00","status":"failed","tests":3,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.081723129+00:00","status":"failed","tests":2,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.082815982+00:00","status":"failed","tests":2,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.083876569+00:00","status":"failed","tests":3,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.084934006+00:00","status":"failed","tests":2,"discards":0,"time":"27us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.085992890+00:00","status":"failed","tests":2,"discards":0,"time":"25us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.087042622+00:00","status":"failed","tests":3,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"crabcheck","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.088117286+00:00","status":"failed","tests":5,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: ([1, 1])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.090208836+00:00","status":"failed","tests":36,"discards":0,"time":"197028us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.288488562+00:00","status":"failed","tests":36,"discards":0,"time":"202210us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.492108737+00:00","status":"failed","tests":36,"discards":0,"time":"194659us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.688332168+00:00","status":"failed","tests":36,"discards":0,"time":"202626us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:03:46.892307404+00:00","status":"failed","tests":36,"discards":0,"time":"201410us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:03:47.095181118+00:00","status":"failed","tests":36,"discards":0,"time":"199076us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:03:47.296273266+00:00","status":"failed","tests":36,"discards":0,"time":"196078us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:03:47.493814559+00:00","status":"failed","tests":36,"discards":0,"time":"197212us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:03:47.692550126+00:00","status":"failed","tests":36,"discards":0,"time":"196274us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}
{"data":{"experiment":"ci-run","workload":"rust-csv","language":"rust","strategy":"hegel","property":"DeserializeByteBufAcceptsNonUtf8","mutations":["deserialize_byte_buf_bypasses_utf8_9e644e6_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:03:47.890322899+00:00","status":"failed","tests":36,"discards":0,"time":"201824us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: deserialize rejected non-UTF-8 byte buf: CSV deserialize error: field 1: invalid utf-8 sequence of 1 bytes from index 0 (bytes=[128])"},"hash":"49f0eb27a4f4210bb71155805f51d5137de33eb5"}