#!/bin/sh
# Stage 5: independent first-force-normalised exhaustive search (16 threads).
# Table n = 11..22 at s = Z-1 (expect 0 forcing sets) and s = Z (expect > 0),
# then n = 23..30 at s = 11 (expect 0) and n = 23 at s = 12 (positive control).
cd "$(dirname "$0")/../.."
OUT=results/robustness/ff_brute_stdout.txt
: > $OUT
run() { echo "# START $(date -u +%FT%TZ) n=$1 s=$2" >> $OUT; /usr/bin/time -l code/robustness/ff_brute $1 5 $2 16 >> $OUT 2>> results/robustness/ff_brute_time.txt; echo "# END $(date -u +%FT%TZ)" >> $OUT; }
for ns in "11 5" "11 6" "12 7" "12 8" "13 8" "13 9" "14 7" "14 8" "15 7" "15 8" "16 7" "16 8" "17 9" "17 10" "18 9" "18 10" "19 9" "19 10" "20 9" "20 10" "21 9" "21 10" "22 10" "22 11" "23 11" "24 11" "25 11" "23 12" "26 11" "27 11" "28 11" "29 11" "30 11"; do
  set -- $ns; run $1 $2
done
echo "# ALL DONE $(date -u +%FT%TZ)" >> $OUT