Hi all,
this is the report of running several solvers in succession over deals
#100,000,001 to #1,000,000,000 of the 4-freecell MS Freecell deals. One can
find the data used for the report here:
http://github.com/shlomif/Freecell-4fc-solving-logs
I should note that some of the reported impossible deals were determined so
using a variation of the Horne/Raymond prune that I'm not sure if is
conclusive, so it may warrant a further investigation.
Regards,
Shlomi Fish
=================
Out of 900,000,000 deals, Amateur Star:
- solved 899,988,818 deals
- left 11,182 as indetermined.
Toons-for-twenty-somethings deteremined:
- solved 899,989,316 (total)
- impossible 10,490
- to check 194
DBM solver deteremined:
- solved 899,989,320 (total)
- impossible 10,671 (total)
- to check 9
Patsolve solver deteremined:
- solved 899,989,328 (total)
- impossible 10,671 (total)
- to check 1
Human/Computer assisted solving deteremined:
- solved 899,989,329 (total)
- impossible 10,671 (total)
- to check 0
--
-----------------------------------------------------------------
Shlomi Fish http://www.shlomifish.org/
Emma Watson Factoids - http://shlom.in/emwatson-facts
Selina: Quite a weird lot this supernatural underworld seems to be.
— http://www.shlomifish.org/humour/Selina-Mandrake/
Please reply to list if it's a mailing list post - http://shlom.in/reply .
Received on Sat Nov 08 2014 - 05:30:38 IST