On Fri, 12 Oct 2012 16:54:16 +0200
Shlomi Fish <shlomif_at_shlomifish.org> wrote:
> Hi all,
>
> On Wed, 03 Oct 2012 01:37:44 -0000
> "dannyjones183" <dannyjones183_at_yahoo.com> wrote:
>
> > I don't do a very good job of labelling output, so I sometimes make
> > mistakes on identifying it later. That's the case for the
> > unsolveable deals through 100,000,000. Here's a quote from Michael
> > Keller's website on FreeCell FAQ.
> >
> > Most notably, we verified the result of the Ring project: all but
> > one deal (11982) of the 32,000 standard deals is solvable! No more
> > unsolvables turned up for more than 100,000 more deals. Eight of the
> > one million deals in FreeCell for Windows XP are unsolvable. Danny
> > A. Jones has extended the analysis to 20 million using his own
> > solver (of the first 25 million, 320 are impossible), and Ryan L.
> > Miller (running Tom Holroyd's Patsolve solver in FreeCell Pro for
> > more than 22 days of computing time, with some assistance from me,
> > Danny A. Jones, and Gary Campbell) has extended it to 100 million.
> > Of the first 100 million, 1282 are impossible, a win rate of nearly
> > 99.999%, or about 1 loss in 78,000 deals.
> >
> > Here's a list of unsolveable deals that I updated after the last two
> > intractable deals were resolved. I did not realize that the list was
> > complete until I noticed there were 1282 entries in the table!!!
> >
>
> A few days ago I ran Freecell Solver (or its libfreecell-solver
> library) on the first 100 million deals. Over all, it took
> 38,197.7122478485 seconds (with four threads on a Core i3 machine) or
> "10 hours, 36 minutes, 37 seconds", which is much better than 22 days
> of computing time that it took originally.
>
> On the down side, some of the boards were intractable or erroneously
> reported as solved (because I used the faster meta-moves-based
> solver). I'm including the list below. Filtering the false negatives
> from the "Unsolved" results will require running using one of the
> atomic moves solvers.
>
> Regards,
>
> Shlomi Fish
>
I forgot to note that the command I ran to do that was:
limit="100,000,000" ; \
~/apps/fcs/bin/freecell-solver-multi-thread-solve \
1 "${limit//,/}" 5000 \
--num-workers 4 --iters-update-on 100000000 \
--worker-step 16 -l te -mi 1000000 | \
tee "${limit}.dump"
Regards,
Shlomi Fish
--
-----------------------------------------------------------------
Shlomi Fish http://www.shlomifish.org/
Rethinking CPAN - http://shlom.in/rethinking-cpan
* Backward compatibility is your worst enemy.
* Backward compatibility is your users’ best friend.
Please reply to list if it's a mailing list post - http://shlom.in/reply .
Received on Fri Oct 12 2012 - 07:59:08 IST