Thanks to Simon, Tim, and everyone who has been pointing resources toward this project! At this point, there are only about 10 teams contributing and the number of cores at work is around 10% of what it was at our peak, which is a big reason that waste=118 has taken so long.
It's certainly possible that the task before us is too monumental to be feasible, but I see two reasons for optimism.
(1) In the current waste=118 task, we are proving that as waste increases from 117 to 118, at most 4 new permutations can be added. The pre-computation we've done shows that as waste increases from 118 to 119, at least 5 new permutations can be added (assuming we are not surprised with a more efficient superpermutation with waste=118 than we have previously seen). Since only the case of 6 new permutations will need to ruled out, it's reasonable to think that the proportional increase in work between waste=118 and waste=119 will not be as high as the increase from waste=117 to waste=118.
(2) Greg Egan has noted in the n=5 computation that there is a substantial speed-up at waste=24. Accordingly, there may be a speed up in the current n=6 computation when we reach waste=5!=120. How substantial will this be? I have no idea.
So, personally, I think it's too early to give up! I'm keeping my 60 cores working on this for now.
- Jay