1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
#!/bin/bash
start="$1"
shift
end="$1"
shift
variant="${VARIANT:-simple_simon}"
ms=''
if test -n "${MS}"; then
ms='--ms'
fi
theme=''
if test "$variant" = "simple_simon" ; then
theme='-ni -to abcdefghi'
fi
if test -n "${THEME}" ; then
theme="${THEME}"
fi
max_iters="${MAX_ITERS:-1500000}"
export FREECELL_SOLVER_QUIET=1
seq "$start" "$end" | \
(while read deal ; do
echo "${deal}:"
./board_gen/make_pysol_freecell_board.py $ms -t "$deal" "$variant" |
./fc-solve --game "$variant" $theme -sel -sam -p -t -mi "$max_iters" |
tail -3 ;
date +"T=%s.%N"
done) | tee -a total_dump.txt
|
