Skip to content

Decide #4281's depth-five connector at m = 5 exactly (minima 25, 30, 35, 35) and at m = 6 for length 5m (c = 1 new, c = 3; others >= 36) by exact meet-in-the-middle (no new κ) - #4434

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:depth5-connector-mitm
Oct 21, 2026

Decide #4281's depth-five connector at m = 5 exactly (minima 25, 30, …

930469a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Oct 21, 2026 in 3m 1s