Here are some instructions on how to get more information:
fcs-bakers-dozen-1-to-1K/BAKERS_DOZEN_RUN.bash runs the solver and generates the following files:
There are two copies of these filenames,
one for the solver after the prune (in the main directory) and one for beforehand in
From within bash or a compatible shell run
Then the function
table will print a table of the status of the runs.
One can run for example:
table | grep -v S | grep -v U | perl -lane 'print $F'
In order to get a list of all intractable deals.
For now, more information is available at this link: