#!/bin/sh
# Stage 5: exhaustive beta_p(n) for small n (no SAT, no symmetry reduction).
cd "$(dirname "$0")/../.."
OUT=results/robustness/beta_brute_stdout.txt
: > $OUT
for n in 13 14 15; do code/robustness/beta_brute $n 5 1 $((2*n-1)) 8 >> $OUT; done
code/robustness/beta_brute 16 5 10 22 8 >> $OUT
echo "# ALL DONE $(date -u +%FT%TZ)" >> $OUT