Thanks: a soft limit of 140 GB should be workable.
I'm working on solving the board game pentago, which requires
computing win/loss/tie values for 6,359,326,373,893,888 (about
6.36e15) positions.
https://github.com/girving/pentago
It's not yet clear whether I can compress and optimize it down to the
point where I feel like paying for it out of pocket, though (with my
existing code it would probably take several thousand dollars). zlib
and I/O are slow. :)
Geoffrey