{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.718936824+00:00","status":"failed","tests":9,"discards":0,"time":"756us","error":null,"tool":"proptest","counterexample":"Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.721287205+00:00","status":"failed","tests":9,"discards":0,"time":"682us","error":null,"tool":"proptest","counterexample":"Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.723252494+00:00","status":"failed","tests":8,"discards":0,"time":"665us","error":null,"tool":"proptest","counterexample":"Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.725149613+00:00","status":"failed","tests":8,"discards":0,"time":"688us","error":null,"tool":"proptest","counterexample":"Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.727119733+00:00","status":"failed","tests":8,"discards":0,"time":"654us","error":null,"tool":"proptest","counterexample":"Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.728940275+00:00","status":"failed","tests":9,"discards":0,"time":"672us","error":null,"tool":"proptest","counterexample":"Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.730842515+00:00","status":"failed","tests":7,"discards":0,"time":"615us","error":null,"tool":"proptest","counterexample":"Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.732712901+00:00","status":"failed","tests":9,"discards":0,"time":"655us","error":null,"tool":"proptest","counterexample":"Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.734589565+00:00","status":"failed","tests":7,"discards":0,"time":"620us","error":null,"tool":"proptest","counterexample":"Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.736328265+00:00","status":"failed","tests":8,"discards":0,"time":"660us","error":null,"tool":"proptest","counterexample":"Test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}.\nminimal failing input: 0"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.738256007+00:00","status":"failed","tests":1,"discards":0,"time":"236us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.739726149+00:00","status":"failed","tests":2,"discards":0,"time":"385us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.741297193+00:00","status":"failed","tests":2,"discards":0,"time":"418us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.742868537+00:00","status":"failed","tests":2,"discards":0,"time":"388us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.744439074+00:00","status":"failed","tests":2,"discards":0,"time":"421us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.746002367+00:00","status":"failed","tests":2,"discards":0,"time":"384us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.747570229+00:00","status":"failed","tests":2,"discards":0,"time":"425us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.749129652+00:00","status":"failed","tests":2,"discards":0,"time":"386us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.750751969+00:00","status":"failed","tests":2,"discards":0,"time":"384us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.752322815+00:00","status":"failed","tests":2,"discards":0,"time":"409us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.754089984+00:00","status":"failed","tests":1,"discards":0,"time":"243us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.755467886+00:00","status":"failed","tests":1,"discards":0,"time":"275us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.756892102+00:00","status":"failed","tests":1,"discards":0,"time":"235us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.758296984+00:00","status":"failed","tests":1,"discards":0,"time":"247us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.759683857+00:00","status":"failed","tests":1,"discards":0,"time":"243us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.761117145+00:00","status":"failed","tests":1,"discards":0,"time":"243us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.762527222+00:00","status":"failed","tests":1,"discards":0,"time":"268us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.763929460+00:00","status":"failed","tests":1,"discards":0,"time":"242us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.765331142+00:00","status":"failed","tests":1,"discards":0,"time":"245us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.766774209+00:00","status":"failed","tests":1,"discards":0,"time":"243us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:24:28.768288083+00:00","status":"failed","tests":12,"discards":0,"time":"694089us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:24:29.463753607+00:00","status":"failed","tests":12,"discards":0,"time":"158244us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:24:29.623644441+00:00","status":"failed","tests":12,"discards":0,"time":"157361us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:24:29.782676958+00:00","status":"failed","tests":12,"discards":0,"time":"158552us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:24:29.942993953+00:00","status":"failed","tests":12,"discards":0,"time":"157212us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:24:30.101849441+00:00","status":"failed","tests":12,"discards":0,"time":"159515us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:24:30.262924027+00:00","status":"failed","tests":12,"discards":0,"time":"158537us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:24:30.423178709+00:00","status":"failed","tests":12,"discards":0,"time":"159536us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:24:30.584470132+00:00","status":"failed","tests":12,"discards":0,"time":"159226us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"GcNeSeparatorNegation","mutations":["unicode_named_value_negation_c4865a0_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:24:30.745292568+00:00","status":"failed","tests":12,"discards":0,"time":"157819us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \\p{gc!=Separator}"},"hash":"2ee8eea76f6ac1db7fcbae206becdc8842b47d5c"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.553482116+00:00","status":"failed","tests":8,"discards":0,"time":"319us","error":null,"tool":"proptest","counterexample":"Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.555254161+00:00","status":"failed","tests":10,"discards":0,"time":"357us","error":null,"tool":"proptest","counterexample":"Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.556863012+00:00","status":"failed","tests":8,"discards":0,"time":"266us","error":null,"tool":"proptest","counterexample":"Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.558403191+00:00","status":"failed","tests":9,"discards":0,"time":"323us","error":null,"tool":"proptest","counterexample":"Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.559896386+00:00","status":"failed","tests":9,"discards":0,"time":"271us","error":null,"tool":"proptest","counterexample":"Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.561327067+00:00","status":"failed","tests":9,"discards":0,"time":"303us","error":null,"tool":"proptest","counterexample":"Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.562816024+00:00","status":"failed","tests":9,"discards":0,"time":"281us","error":null,"tool":"proptest","counterexample":"Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.564263466+00:00","status":"failed","tests":9,"discards":0,"time":"294us","error":null,"tool":"proptest","counterexample":"Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.565723527+00:00","status":"failed","tests":12,"discards":0,"time":"304us","error":null,"tool":"proptest","counterexample":"Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.567194155+00:00","status":"failed","tests":9,"discards":0,"time":"279us","error":null,"tool":"proptest","counterexample":"Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.\nminimal failing input: 63"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.568872458+00:00","status":"failed","tests":25,"discards":0,"time":"421us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (63)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.570524734+00:00","status":"failed","tests":19,"discards":0,"time":"399us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (63)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.572026035+00:00","status":"failed","tests":17,"discards":0,"time":"306us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (63)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.573541014+00:00","status":"failed","tests":11,"discards":0,"time":"275us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (63)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.574953327+00:00","status":"failed","tests":16,"discards":0,"time":"302us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (63)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.576437859+00:00","status":"failed","tests":15,"discards":0,"time":"335us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (63)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.577896499+00:00","status":"failed","tests":29,"discards":0,"time":"469us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (63)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.579564005+00:00","status":"failed","tests":27,"discards":0,"time":"486us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (63)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.581160033+00:00","status":"failed","tests":15,"discards":0,"time":"270us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (63)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.582628252+00:00","status":"failed","tests":17,"discards":0,"time":"374us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (63)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.584348145+00:00","status":"failed","tests":6,"discards":0,"time":"125us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (1)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.585662766+00:00","status":"failed","tests":5,"discards":0,"time":"150us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (1)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.586907867+00:00","status":"failed","tests":2,"discards":0,"time":"98us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (1)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.588221887+00:00","status":"failed","tests":2,"discards":0,"time":"92us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (1)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.589440048+00:00","status":"failed","tests":2,"discards":0,"time":"96us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (1)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.590749290+00:00","status":"failed","tests":2,"discards":0,"time":"98us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (1)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.592020781+00:00","status":"failed","tests":7,"discards":0,"time":"144us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (1)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.593347785+00:00","status":"failed","tests":3,"discards":0,"time":"97us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (1)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.594583088+00:00","status":"failed","tests":2,"discards":0,"time":"126us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (1)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.595844733+00:00","status":"failed","tests":2,"discards":0,"time":"94us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (1)"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.597360710+00:00","status":"failed","tests":26,"discards":0,"time":"166488us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.765177569+00:00","status":"failed","tests":26,"discards":0,"time":"167780us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:24:43.934517148+00:00","status":"failed","tests":26,"discards":0,"time":"169386us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:24:44.105620897+00:00","status":"failed","tests":26,"discards":0,"time":"165928us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:24:44.273315620+00:00","status":"failed","tests":26,"discards":0,"time":"166243us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:24:44.441257455+00:00","status":"failed","tests":26,"discards":0,"time":"167131us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:24:44.609915245+00:00","status":"failed","tests":26,"discards":0,"time":"169370us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:24:44.780869245+00:00","status":"failed","tests":26,"discards":0,"time":"167579us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:24:44.950005551+00:00","status":"failed","tests":26,"discards":0,"time":"167289us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"CaptureLocationsGetOverflow","mutations":["captures_get_group_overflow_ab76b86_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:24:45.118954389+00:00","status":"failed","tests":26,"discards":0,"time":"166505us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None"},"hash":"9f7c73d99c7447a181eefef08d8aa06859e5f8a2"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.896891850+00:00","status":"failed","tests":9,"discards":0,"time":"162us","error":null,"tool":"proptest","counterexample":"Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.898452157+00:00","status":"failed","tests":8,"discards":0,"time":"185us","error":null,"tool":"proptest","counterexample":"Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.899896477+00:00","status":"failed","tests":7,"discards":0,"time":"128us","error":null,"tool":"proptest","counterexample":"Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.901211301+00:00","status":"failed","tests":4,"discards":0,"time":"109us","error":null,"tool":"proptest","counterexample":"Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.902471257+00:00","status":"failed","tests":9,"discards":0,"time":"139us","error":null,"tool":"proptest","counterexample":"Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.903745486+00:00","status":"failed","tests":9,"discards":0,"time":"130us","error":null,"tool":"proptest","counterexample":"Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.904966266+00:00","status":"failed","tests":9,"discards":0,"time":"138us","error":null,"tool":"proptest","counterexample":"Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.906210320+00:00","status":"failed","tests":9,"discards":0,"time":"136us","error":null,"tool":"proptest","counterexample":"Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.907488320+00:00","status":"failed","tests":7,"discards":0,"time":"129us","error":null,"tool":"proptest","counterexample":"Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"proptest","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.908755385+00:00","status":"failed","tests":9,"discards":0,"time":"135us","error":null,"tool":"proptest","counterexample":"Test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal.\nminimal failing input: 0"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.910521039+00:00","status":"failed","tests":2,"discards":0,"time":"47us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.911679211+00:00","status":"failed","tests":2,"discards":0,"time":"96us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.912840449+00:00","status":"failed","tests":2,"discards":0,"time":"48us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.913985329+00:00","status":"failed","tests":2,"discards":0,"time":"45us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.915171013+00:00","status":"failed","tests":1,"discards":0,"time":"38us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.916311982+00:00","status":"failed","tests":2,"discards":0,"time":"51us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.917475777+00:00","status":"failed","tests":2,"discards":0,"time":"52us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.918709069+00:00","status":"failed","tests":2,"discards":0,"time":"53us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.919861211+00:00","status":"failed","tests":2,"discards":0,"time":"47us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"quickcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.921049622+00:00","status":"failed","tests":2,"discards":0,"time":"44us","error":null,"tool":"quickcheck","counterexample":"quickcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.922753148+00:00","status":"failed","tests":1,"discards":0,"time":"44us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.924029964+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.925266133+00:00","status":"failed","tests":1,"discards":0,"time":"43us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.926463056+00:00","status":"failed","tests":1,"discards":0,"time":"43us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.927666647+00:00","status":"failed","tests":1,"discards":0,"time":"49us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.928877236+00:00","status":"failed","tests":1,"discards":0,"time":"43us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.930045099+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.931268061+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.932420716+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"crabcheck","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.933629343+00:00","status":"failed","tests":1,"discards":0,"time":"40us","error":null,"tool":"crabcheck","counterexample":"crabcheck counterexample: (0)"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T17:24:57.935209528+00:00","status":"failed","tests":12,"discards":0,"time":"157736us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T17:24:58.094304120+00:00","status":"failed","tests":12,"discards":0,"time":"157685us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T17:24:58.253555236+00:00","status":"failed","tests":12,"discards":0,"time":"157702us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T17:24:58.412907068+00:00","status":"failed","tests":12,"discards":0,"time":"156660us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T17:24:58.571067536+00:00","status":"failed","tests":12,"discards":0,"time":"157633us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T17:24:58.730421488+00:00","status":"failed","tests":12,"discards":0,"time":"158315us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T17:24:58.890431005+00:00","status":"failed","tests":12,"discards":0,"time":"156966us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T17:24:59.048967637+00:00","status":"failed","tests":12,"discards":0,"time":"157956us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T17:24:59.208464601+00:00","status":"failed","tests":12,"discards":0,"time":"157500us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}
{"data":{"experiment":"ci-run","workload":"regex","language":"rust","strategy":"hegel","property":"AlternationLiteralFromAlt","mutations":["alternation_literal_from_alt_33898de_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T17:24:59.367750060+00:00","status":"failed","tests":12,"discards":0,"time":"157999us","error":null,"tool":"hegel","counterexample":"hegel found counterexample: Property test failed: is_alternation_literal() = true for \"(?:z|xx)@|xx\", but \"(?:z|xx)@\" is not a literal"},"hash":"c227cc56cf330caea80ebaa6cda595af1fea1650"}