Finding 8 column deals in the fc-pro range which are solvable with zero
freecells. The interesting file is 0fc-log.txt which can be generated using
the instructions below. "S" there means the following deal is solvable. "Int"
means that it is intractable and that the solver ran out of resources before
determining its solvability. If a deal does not appear in the list,
then it is impossible to solve using zero freecells.
[shlomif@localhost freecell-pro-0fc-deals]$ -t 0fc
shlomif[0fc]:$this$ pwd
/home/shlomif/Download/unpack/games/freecell/freecell-pro-0fc-deals
shlomif[0fc]:$this$ gmake
g++ -o inc.exe -std=c++11 -Wall -Wextra -O3 -march=native -flto -fwhole-program inc-nums.cpp
g++ -o colstat.exe -std=c++11 -Wall -Wextra -O3 -march=native -flto -fwhole-program collect-stats.cpp
perl stats.pl | perl commify.pl
Solved: 18,577,014 ( 0.2163 %)
Intractable: 175,903 ( 0.002 %)
Impossible: 8,571,181,674 ( 99.7817 %)
shlomif[0fc]:$this$ gmake 0fc-log.txt
bash concatenate-to-big-log.bash
shlomif[0fc]:$this$ ls -l 0fc-log.txt
-rw-r--r--. 1 shlomif shlomif 241722125 Mar 14 13:41 0fc-log.txt
Generating the results here made use of GNU Parallel, so here is the citation for it:
@book{tange_ole_2018_1146014,
author = {Tange, Ole},
title = {GNU Parallel 2018},
publisher = {Ole Tange},
month = Mar,
year = 2018,
ISBN = {9781387509881},
doi = {10.5281/zenodo.1146014},
url = {https://doi.org/10.5281/zenodo.1146014}
}
We also made use of pypy .
We made use of perl 5 .
We made use of Freecell Solver .
We have made use of Travis-CI.
- Freecell Solver - the readme there contains links to other repositories .