On Tuesday 28 September 2010 20:23:06 Shlomi Fish wrote:
> A little late (almost 5 years) but I guess it's better late than never.
>
> On Sunday 06 November 2005 22:10:44 wgreview wrote:
> > I recently posted a report on the analysis of the first 100
> > million deals in FreeCell Pro; this has also been summarized
> > in the FAQ on my site. But there are two deals for which
> > there is still a little bit of doubt. Both are currently
> > classified as impossible, but the slight element of doubt
> > makes me want to ask anyone out there with a working solver
> > to give them a try:
> >
> > are 53102422 and 53687601 solvable?
>
> The following invocation:
>
> {{{
> $ pi-make-microsoft-freecell-board -t 53102422 | \
> fc-solve -p -t -sam -to 01ABCDE -sp r:tf | \
> tee 53102422.sol
> }}}
>
> Which tries to solve the deal using atomic moves and the Horne's prune,
> yielded the following result on a high-performance computing machine with
> 64 GB RAM that was provided to Amadiro by his university, the University
> of Oslo ( http://www.uio.no/english/ ).
Oh, sorry, I didn't include the result:
{{{
I could not solve this game.
Total number of states checked is 32083976.
This scan generated 32083975 states.
}}}
Regards,
Shlomi Fish
>
> The other deal (53,687,601) proved to be intractable with these resources
> and with the current memory comsumption of Freecell Solver and caused it
> to crash before it reached a conclusive verdict. So either we need more
> RAM or we need to reduce the memory consumption, or both.
>
> Regards,
>
> Shlomi Fish
--
-----------------------------------------------------------------
Shlomi Fish http://www.shlomifish.org/
List of Portability Libraries - http://shlom.in/port-libs
<rindolf> She's a hot chick. But she smokes.
<go|dfish> She can smoke as long as she's smokin'.
Please reply to list if it's a mailing list post - http://shlom.in/reply .
Received on Tue Sep 28 2010 - 12:44:19 IST