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/ ).
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/
http://www.shlomifish.org/humour/ways_to_do_it.html
<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:09:00 IST