Good work, Shlomi!
I had previously done some work on the first ten million deals. Michael Keller's FAQ says that Danny A. Jones "has found 21,725 probably shortest zero-freecell solutions for deals in the first ten million FCPro deals, plus an additional 24 deals later found by his Pri-DFS solver", suggesting that there are 21,749 known winnable deals in the first ten million. I now indeed have found 21,749 winnable deals, and 12 intractable deals:
https://github.com/theodorepringle/freecell-pro-0fc-deals https://github.com/theodorepringle/freecell-pro-0fc-deals
Received on Mon Apr 09 2018 - 00:56:22 IDT