Hi Theodore!
Thanks for your message.
On Fri, Dec 16, 2016 at 9:07 AM, theodorepringle1_at_gmail.com
[fc-solve-discuss] <fc-solve-discuss_at_yahoogroups.com> wrote:
>
>
> 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 <(225)%20598-8055>, apparently because the maximal
> items_in_queue occurs early, and then it stops using any additional memory
> starting from around 200 million iterations.
>
I see - does it mean that deals 504179225 and 8203007169 are intractable
(assuming we don't trust patsolve enough)? How much RAM does the machine
you used have?
Regards,
--- Shlomi Fish
>
>
--
Shlomi Fish http://www.shlomifish.org/
You can never truly appreciate The Gilmore Girls until you've watched it in
the original Klingon.
Please reply to list if it's a mailing list post - http://shlom.in/reply .
Received on Fri Dec 16 2016 - 05:27:08 IST