I have been working on verifying that the list of impossible deals is correct. I used freecell-solver-fork-solve to redo all of the FreeCell Pro deals, which took about 38 days running on one computer. Then I ran fc-solve -l tfts -mi 5000000, used Patsolve to solve most of the remaining winnable deals, manually solved the rest of the deals I knew to be winnable, and used depth_dbm_fc_solver for the remaining deals. I found no new winnable or impossible deals, and the only deals that I was not able to reconfirm as impossible are 53687601 (already known to be impossible), 504179225, and 8203007169. It also turned out that I could have resolved 2255988055, apparently because the maximal items_in_queue occurs early, and then it stops using any additional memory starting from around 200 million iterations.
Received on Thu Dec 15 2016 - 23:07:25 IST