{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:12:54.986210930+00:00","status":"failed","tests":22,"discards":0,"time":"143us","error":null,"tool":"proptest","counterexample":"Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:12:54.987480509+00:00","status":"failed","tests":17,"discards":0,"time":"124us","error":null,"tool":"proptest","counterexample":"Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:12:54.988468808+00:00","status":"failed","tests":2,"discards":0,"time":"89us","error":null,"tool":"proptest","counterexample":"Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:12:54.989392439+00:00","status":"failed","tests":24,"discards":0,"time":"141us","error":null,"tool":"proptest","counterexample":"Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:12:54.990348590+00:00","status":"failed","tests":22,"discards":0,"time":"130us","error":null,"tool":"proptest","counterexample":"Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:12:54.991322987+00:00","status":"failed","tests":10,"discards":0,"time":"117us","error":null,"tool":"proptest","counterexample":"Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:12:54.992232338+00:00","status":"failed","tests":11,"discards":0,"time":"108us","error":null,"tool":"proptest","counterexample":"Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:12:54.993152034+00:00","status":"failed","tests":11,"discards":0,"time":"102us","error":null,"tool":"proptest","counterexample":"Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:12:54.994123527+00:00","status":"failed","tests":9,"discards":0,"time":"98us","error":null,"tool":"proptest","counterexample":"Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:12:54.995016262+00:00","status":"failed","tests":32,"discards":0,"time":"153us","error":null,"tool":"proptest","counterexample":"Test failed: split_at_mut(len=0) panicked; must accept mid == self.len().\nminimal failing input: []"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:12:54.996159733+00:00","status":"failed","tests":2,"discards":0,"time":"49us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:12:54.997073290+00:00","status":"failed","tests":2,"discards":0,"time":"37us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:12:54.997924403+00:00","status":"failed","tests":2,"discards":0,"time":"37us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:12:54.998767534+00:00","status":"failed","tests":2,"discards":0,"time":"36us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:12:54.999680640+00:00","status":"failed","tests":2,"discards":0,"time":"37us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:12:55.000526545+00:00","status":"failed","tests":2,"discards":0,"time":"39us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:12:55.001387974+00:00","status":"failed","tests":1,"discards":0,"time":"36us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:12:55.002273769+00:00","status":"failed","tests":2,"discards":0,"time":"35us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:12:55.003128568+00:00","status":"failed","tests":2,"discards":0,"time":"39us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:12:55.004088644+00:00","status":"failed","tests":2,"discards":0,"time":"36us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:12:55.005136532+00:00","status":"failed","tests":1,"discards":0,"time":"48us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:12:55.006022097+00:00","status":"failed","tests":1,"discards":0,"time":"38us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:12:55.006974061+00:00","status":"failed","tests":1,"discards":0,"time":"33us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:12:55.007831554+00:00","status":"failed","tests":1,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:12:55.008705240+00:00","status":"failed","tests":1,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:12:55.009617045+00:00","status":"failed","tests":1,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:12:55.010471833+00:00","status":"failed","tests":1,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:12:55.011309687+00:00","status":"failed","tests":1,"discards":0,"time":"39us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:12:55.012175191+00:00","status":"failed","tests":1,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:12:55.013013596+00:00","status":"failed","tests":1,"discards":0,"time":"33us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:12:55.014044648+00:00","status":"failed","tests":12,"discards":0,"time":"1229766us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:12:56.244812980+00:00","status":"failed","tests":12,"discards":0,"time":"162462us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:12:56.408642147+00:00","status":"failed","tests":12,"discards":0,"time":"160579us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:12:56.570596469+00:00","status":"failed","tests":12,"discards":0,"time":"164723us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:12:56.736836985+00:00","status":"failed","tests":12,"discards":0,"time":"168831us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:12:56.907053889+00:00","status":"failed","tests":12,"discards":0,"time":"159528us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:12:57.068114490+00:00","status":"failed","tests":12,"discards":0,"time":"166214us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:12:57.235808195+00:00","status":"failed","tests":12,"discards":0,"time":"165796us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:12:57.403100230+00:00","status":"failed","tests":12,"discards":0,"time":"168516us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"SplitAtMutAcceptsLen","mutations":["split_at_mut_rejects_len_c71ea23_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:12:57.573010520+00:00","status":"failed","tests":12,"discards":0,"time":"171476us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: split_at_mut(len=0) panicked; must accept mid == self.len()"},"hash":"8a8bec27b218c1f269812c75987de23a3fd845b2"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.657859508+00:00","status":"failed","tests":15,"discards":0,"time":"145us","error":null,"tool":"proptest","counterexample":"Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.659166742+00:00","status":"failed","tests":2,"discards":0,"time":"81us","error":null,"tool":"proptest","counterexample":"Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.660121746+00:00","status":"failed","tests":5,"discards":0,"time":"90us","error":null,"tool":"proptest","counterexample":"Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.661063789+00:00","status":"failed","tests":10,"discards":0,"time":"90us","error":null,"tool":"proptest","counterexample":"Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.661988177+00:00","status":"failed","tests":10,"discards":0,"time":"113us","error":null,"tool":"proptest","counterexample":"Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.662922259+00:00","status":"failed","tests":31,"discards":0,"time":"141us","error":null,"tool":"proptest","counterexample":"Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.663911052+00:00","status":"failed","tests":9,"discards":0,"time":"107us","error":null,"tool":"proptest","counterexample":"Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.664852626+00:00","status":"failed","tests":22,"discards":0,"time":"119us","error":null,"tool":"proptest","counterexample":"Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.665830463+00:00","status":"failed","tests":9,"discards":0,"time":"96us","error":null,"tool":"proptest","counterexample":"Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.666739823+00:00","status":"failed","tests":31,"discards":0,"time":"147us","error":null,"tool":"proptest","counterexample":"Test failed: insert(0, _) panicked — must accept index == self.len().\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.668009582+00:00","status":"failed","tests":1,"discards":0,"time":"43us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.668853013+00:00","status":"failed","tests":3,"discards":0,"time":"44us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.669717827+00:00","status":"failed","tests":3,"discards":0,"time":"41us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.670584072+00:00","status":"failed","tests":3,"discards":0,"time":"48us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.671462185+00:00","status":"failed","tests":3,"discards":0,"time":"43us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.672314820+00:00","status":"failed","tests":3,"discards":0,"time":"68us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.673184766+00:00","status":"failed","tests":2,"discards":0,"time":"38us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.674086225+00:00","status":"failed","tests":2,"discards":0,"time":"37us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.675056235+00:00","status":"failed","tests":2,"discards":0,"time":"40us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.675889030+00:00","status":"failed","tests":1,"discards":0,"time":"31us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.677028810+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.677905296+00:00","status":"failed","tests":1,"discards":0,"time":"38us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.678761526+00:00","status":"failed","tests":1,"discards":0,"time":"35us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.679635794+00:00","status":"failed","tests":1,"discards":0,"time":"40us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.680611363+00:00","status":"failed","tests":1,"discards":0,"time":"39us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.681534378+00:00","status":"failed","tests":1,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.682394409+00:00","status":"failed","tests":1,"discards":0,"time":"35us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.683294791+00:00","status":"failed","tests":1,"discards":0,"time":"37us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.684161412+00:00","status":"failed","tests":1,"discards":0,"time":"35us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.685063671+00:00","status":"failed","tests":1,"discards":0,"time":"36us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.686204327+00:00","status":"failed","tests":12,"discards":0,"time":"166443us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:01.853742475+00:00","status":"failed","tests":12,"discards":0,"time":"168720us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:02.023903330+00:00","status":"failed","tests":12,"discards":0,"time":"163082us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:02.188437365+00:00","status":"failed","tests":12,"discards":0,"time":"165540us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:02.355479055+00:00","status":"failed","tests":12,"discards":0,"time":"173401us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:02.530386213+00:00","status":"failed","tests":12,"discards":0,"time":"164949us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:02.696914530+00:00","status":"failed","tests":12,"discards":0,"time":"162446us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:02.860754457+00:00","status":"failed","tests":12,"discards":0,"time":"165634us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:03.027898225+00:00","status":"failed","tests":12,"discards":0,"time":"164743us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"VecInsertAcceptsEnd","mutations":["vec_insert_rejects_end_8e48751_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:03.194131642+00:00","status":"failed","tests":12,"discards":0,"time":"163709us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: insert(0, _) panicked — must accept index == self.len()"},"hash":"772d992da2e75d76494f1720f1e73c13fc58008d"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.195000172+00:00","status":"failed","tests":9,"discards":0,"time":"99us","error":null,"tool":"proptest","counterexample":"Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.196252414+00:00","status":"failed","tests":4,"discards":0,"time":"80us","error":null,"tool":"proptest","counterexample":"Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.197248037+00:00","status":"failed","tests":30,"discards":0,"time":"122us","error":null,"tool":"proptest","counterexample":"Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.198211923+00:00","status":"failed","tests":28,"discards":0,"time":"59us","error":null,"tool":"proptest","counterexample":"Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.199137271+00:00","status":"failed","tests":13,"discards":0,"time":"50us","error":null,"tool":"proptest","counterexample":"Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.200041999+00:00","status":"failed","tests":7,"discards":0,"time":"52us","error":null,"tool":"proptest","counterexample":"Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.200943501+00:00","status":"failed","tests":22,"discards":0,"time":"64us","error":null,"tool":"proptest","counterexample":"Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.201859826+00:00","status":"failed","tests":6,"discards":0,"time":"51us","error":null,"tool":"proptest","counterexample":"Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.202817082+00:00","status":"failed","tests":24,"discards":0,"time":"64us","error":null,"tool":"proptest","counterexample":"Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.203754157+00:00","status":"failed","tests":19,"discards":0,"time":"66us","error":null,"tool":"proptest","counterexample":"Test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1).\nminimal failing input: (\n    [],\n    false,\n)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.205023279+00:00","status":"failed","tests":3,"discards":0,"time":"27us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.205881647+00:00","status":"failed","tests":2,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.206756210+00:00","status":"failed","tests":3,"discards":0,"time":"17us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.207623511+00:00","status":"failed","tests":2,"discards":0,"time":"19us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.208538524+00:00","status":"failed","tests":3,"discards":0,"time":"17us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.209403021+00:00","status":"failed","tests":3,"discards":0,"time":"15us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.210351604+00:00","status":"failed","tests":3,"discards":0,"time":"17us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.211189842+00:00","status":"failed","tests":2,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.212125876+00:00","status":"failed","tests":3,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.212970884+00:00","status":"failed","tests":3,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0 false)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.214203021+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.215053902+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.215881615+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.216762787+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.217641786+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.218524901+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.219425692+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.220294586+00:00","status":"failed","tests":1,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.221218201+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.222083309+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0 0)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.223316768+00:00","status":"failed","tests":12,"discards":0,"time":"165002us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.389464551+00:00","status":"failed","tests":12,"discards":0,"time":"166013us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.557076151+00:00","status":"failed","tests":12,"discards":0,"time":"166163us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.724661978+00:00","status":"failed","tests":12,"discards":0,"time":"167389us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:07.893647513+00:00","status":"failed","tests":12,"discards":0,"time":"168039us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:08.063356428+00:00","status":"failed","tests":12,"discards":0,"time":"168847us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:08.233735740+00:00","status":"failed","tests":12,"discards":0,"time":"165886us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:08.401111584+00:00","status":"failed","tests":12,"discards":0,"time":"163323us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:08.566025817+00:00","status":"failed","tests":12,"discards":0,"time":"168206us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"LeadingTrailingFallback","mutations":["leading_trailing_homogeneous_b08c4bd_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:08.735581694+00:00","status":"failed","tests":12,"discards":0,"time":"165174us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: homogeneous 1-bit slice (all_ones=false): leading=0, trailing=0; expected (1,1)"},"hash":"8c3385f3db03f4ba7a9c548e5559524408224918"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.841940217+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.843143526+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.844071779+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.845018339+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.845921484+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.846825851+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.847734614+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.848612972+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.849508907+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.850458762+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"proptest","counterexample":"Unknown property for proptest: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.851793051+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.852640253+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.853493654+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.854357951+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.855205483+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.856045093+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.856837553+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.857671354+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.858539567+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.859381771+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"quickcheck","counterexample":"Unknown property for quickcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.860653818+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.861556733+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.862397925+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.863268732+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.864086469+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.864908453+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.865906756+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.866726366+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.867576181+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.868407419+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"crabcheck","counterexample":"Unknown property for crabcheck: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.869744873+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.870647558+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.871555440+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.872483607+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.873374019+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.874232652+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.875096313+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.875921697+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.876748553+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"BitvecPartialCmpMatches","mutations":["bitvec_partial_cmp_reversed_f3d5b43_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:12.877617953+00:00","status":"failed","tests":0,"discards":0,"time":"0us","error":null,"tool":"hegel","counterexample":"Unknown property for hegel: BitvecPartialCmpMatches"},"hash":"f6a7f2092e311dc6f8bb32fadff04175a21bbe95"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.806292529+00:00","status":"failed","tests":64,"discards":0,"time":"104us","error":null,"tool":"proptest","counterexample":"Test failed: clone_from_bitslice left bit 0=false (expected true); length 2.\nminimal failing input: (\n    [\n        false,\n    ],\n    [\n        true,\n    ],\n)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.807539313+00:00","status":"failed","tests":23,"discards":0,"time":"62us","error":null,"tool":"proptest","counterexample":"Test failed: clone_from_bitslice left bit 0=false (expected true); length 2.\nminimal failing input: (\n    [\n        false,\n    ],\n    [\n        true,\n    ],\n)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.808488853+00:00","status":"failed","tests":53,"discards":0,"time":"85us","error":null,"tool":"proptest","counterexample":"Test failed: clone_from_bitslice left bit 0=false (expected true); length 2.\nminimal failing input: (\n    [\n        false,\n        false,\n    ],\n    [\n        true,\n    ],\n)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.809451001+00:00","status":"failed","tests":55,"discards":0,"time":"93us","error":null,"tool":"proptest","counterexample":"Test failed: clone_from_bitslice left bit 0=true (expected false); length 2.\nminimal failing input: (\n    [\n        true,\n    ],\n    [\n        false,\n    ],\n)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.810397526+00:00","status":"failed","tests":20,"discards":0,"time":"73us","error":null,"tool":"proptest","counterexample":"Test failed: clone_from_bitslice left bit 0=false (expected true); length 2.\nminimal failing input: (\n    [\n        false,\n    ],\n    [\n        true,\n    ],\n)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.811297361+00:00","status":"failed","tests":19,"discards":0,"time":"92us","error":null,"tool":"proptest","counterexample":"Test failed: clone_from_bitslice left bit 0=false (expected true); length 2.\nminimal failing input: (\n    [\n        false,\n    ],\n    [\n        true,\n    ],\n)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.812204588+00:00","status":"failed","tests":38,"discards":0,"time":"75us","error":null,"tool":"proptest","counterexample":"Test failed: clone_from_bitslice left bit 0=true (expected false); length 2.\nminimal failing input: (\n    [\n        true,\n    ],\n    [\n        false,\n    ],\n)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.813106526+00:00","status":"failed","tests":42,"discards":0,"time":"83us","error":null,"tool":"proptest","counterexample":"Test failed: clone_from_bitslice left bit 0=false (expected true); length 2.\nminimal failing input: (\n    [\n        false,\n    ],\n    [\n        true,\n    ],\n)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.814003096+00:00","status":"failed","tests":45,"discards":0,"time":"73us","error":null,"tool":"proptest","counterexample":"Test failed: clone_from_bitslice left bit 0=false (expected true); length 2.\nminimal failing input: (\n    [\n        false,\n    ],\n    [\n        true,\n    ],\n)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.814920067+00:00","status":"failed","tests":50,"discards":0,"time":"93us","error":null,"tool":"proptest","counterexample":"Test failed: clone_from_bitslice left bit 0=false (expected true); length 2.\nminimal failing input: (\n    [\n        false,\n    ],\n    [\n        true,\n    ],\n)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.816511646+00:00","status":"failed","tests":194,"discards":0,"time":"75us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (1 2)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.817427255+00:00","status":"failed","tests":348,"discards":0,"time":"146us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (1 2)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.818464366+00:00","status":"failed","tests":438,"discards":0,"time":"176us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (1 2)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.819477680+00:00","status":"failed","tests":138,"discards":0,"time":"74us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (2 1)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.820370054+00:00","status":"failed","tests":386,"discards":0,"time":"173us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (1 2)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.821360815+00:00","status":"failed","tests":382,"discards":0,"time":"177us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (1 2)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.822334231+00:00","status":"failed","tests":354,"discards":0,"time":"209us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (1 2)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.823342037+00:00","status":"failed","tests":332,"discards":0,"time":"150us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (1 2)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.824298437+00:00","status":"failed","tests":207,"discards":0,"time":"70us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (1 2)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.825172794+00:00","status":"failed","tests":339,"discards":0,"time":"131us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (1 2)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.826823462+00:00","status":"failed","tests":12,"discards":0,"time":"27us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (1 2)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.827682526+00:00","status":"failed","tests":5,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (2 1)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.828550514+00:00","status":"failed","tests":15,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (1 2)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.829385421+00:00","status":"failed","tests":6,"discards":0,"time":"27us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (1 2)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.830270966+00:00","status":"failed","tests":6,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (2 1)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.831106925+00:00","status":"failed","tests":4,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (2 1)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.831916435+00:00","status":"failed","tests":5,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (1 2)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.832815980+00:00","status":"failed","tests":8,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (3 1)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.833673973+00:00","status":"failed","tests":6,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (2 1)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.834569121+00:00","status":"failed","tests":11,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (2 3)"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:16.836084617+00:00","status":"failed","tests":110,"discards":0,"time":"598632us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:17.435804943+00:00","status":"failed","tests":110,"discards":0,"time":"632824us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:18.070093937+00:00","status":"failed","tests":110,"discards":0,"time":"582944us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:18.654529850+00:00","status":"failed","tests":110,"discards":0,"time":"618990us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:19.274967729+00:00","status":"failed","tests":110,"discards":0,"time":"602664us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:19.879212753+00:00","status":"failed","tests":110,"discards":0,"time":"601461us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:20.482134691+00:00","status":"failed","tests":110,"discards":0,"time":"604596us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:21.088270532+00:00","status":"failed","tests":110,"discards":0,"time":"622382us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:21.712113421+00:00","status":"failed","tests":110,"discards":0,"time":"586379us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"CloneFromBitsliceCopiesSrc","mutations":["clone_from_bitslice_src_bug_935cad8_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:22.299991710+00:00","status":"failed","tests":110,"discards":0,"time":"587513us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: clone_from_bitslice left bit 0=false (expected true); length 2"},"hash":"88010fd7ac8f94e65eab7fec8e009bf2ba276258"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.823610432+00:00","status":"failed","tests":6,"discards":0,"time":"70us","error":null,"tool":"proptest","counterexample":"Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.824851058+00:00","status":"failed","tests":8,"discards":0,"time":"59us","error":null,"tool":"proptest","counterexample":"Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.825829927+00:00","status":"failed","tests":9,"discards":0,"time":"69us","error":null,"tool":"proptest","counterexample":"Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.826778972+00:00","status":"failed","tests":7,"discards":0,"time":"54us","error":null,"tool":"proptest","counterexample":"Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.827701677+00:00","status":"failed","tests":9,"discards":0,"time":"58us","error":null,"tool":"proptest","counterexample":"Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.828592464+00:00","status":"failed","tests":9,"discards":0,"time":"64us","error":null,"tool":"proptest","counterexample":"Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.829535529+00:00","status":"failed","tests":9,"discards":0,"time":"62us","error":null,"tool":"proptest","counterexample":"Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.830427078+00:00","status":"failed","tests":9,"discards":0,"time":"55us","error":null,"tool":"proptest","counterexample":"Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.831348+00:00","status":"failed","tests":6,"discards":0,"time":"54us","error":null,"tool":"proptest","counterexample":"Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"proptest","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.832230094+00:00","status":"failed","tests":8,"discards":0,"time":"54us","error":null,"tool":"proptest","counterexample":"Test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22.\nminimal failing input: 0"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.833792396+00:00","status":"failed","tests":2,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.834670324+00:00","status":"failed","tests":2,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.835542323+00:00","status":"failed","tests":2,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.836451318+00:00","status":"failed","tests":2,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.837324108+00:00","status":"failed","tests":2,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.838182738+00:00","status":"failed","tests":2,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.839056149+00:00","status":"failed","tests":2,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.839878574+00:00","status":"failed","tests":2,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.840733327+00:00","status":"failed","tests":2,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"quickcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.841638336+00:00","status":"failed","tests":2,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"quickcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.843178835+00:00","status":"failed","tests":1,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.844057505+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.844909493+00:00","status":"failed","tests":1,"discards":0,"time":"17us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.845809440+00:00","status":"failed","tests":1,"discards":0,"time":"15us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.846651770+00:00","status":"failed","tests":1,"discards":0,"time":"15us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.847503043+00:00","status":"failed","tests":1,"discards":0,"time":"15us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.848336099+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.849176365+00:00","status":"failed","tests":1,"discards":0,"time":"15us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.850039847+00:00","status":"failed","tests":1,"discards":0,"time":"17us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"crabcheck","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.850869748+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"crabcheck failed with counterexample: (0)"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.852388450+00:00","status":"failed","tests":12,"discards":0,"time":"138177us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:13:26.991692831+00:00","status":"failed","tests":12,"discards":0,"time":"138120us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:13:27.131361287+00:00","status":"failed","tests":12,"discards":0,"time":"138952us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:13:27.271727882+00:00","status":"failed","tests":12,"discards":0,"time":"137895us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:13:27.410986660+00:00","status":"failed","tests":12,"discards":0,"time":"136925us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:13:27.549277901+00:00","status":"failed","tests":12,"discards":0,"time":"138229us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:13:27.688829367+00:00","status":"failed","tests":12,"discards":0,"time":"139430us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:13:27.829795799+00:00","status":"failed","tests":12,"discards":0,"time":"137836us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:13:27.969019265+00:00","status":"failed","tests":12,"discards":0,"time":"136896us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}
{"data":{"experiment":"ci-run","workload":"bitvec","language":"rust","strategy":"hegel","property":"OctalFmtNoPanic","mutations":["octal_fmt_buffer_size_aeef0be_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:13:28.107715962+00:00","status":"failed","tests":12,"discards":0,"time":"143166us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: Octal::fmt emitted 21 octal digits for 1 u64 chunks; expected at least 22"},"hash":"178c5521e242e057d3903d99005dcac0b0ab5ae8"}