1#!/bin/sh2# Stage 5: independent first-force-normalised exhaustive search (16 threads).3# Table n = 11..22 at s = Z-1 (expect 0 forcing sets) and s = Z (expect > 0),4# then n = 23..30 at s = 11 (expect 0) and n = 23 at s = 12 (positive control).5cd "$(dirname "$0")/../.."6OUT=results/robustness/ff_brute_stdout.txt7: > $OUT8run() { 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; }9for 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"; do10 set -- $ns; run $1 $211done12echo "# ALL DONE $(date -u +%FT%TZ)" >> $OUT13