files / problems / caccetta-haggkvist-k3 / compute / q40 / run_all.sh

738 B · on GitHub

#!/bin/sh
# Replay leftover cubes from n=150. Parent F4 certificates stay in q4.
set -e
here=$(cd "$(dirname "$0")" && pwd)
cd "$here"
parent=$(dirname "$here")

echo "== parent F4 certificate at 0.34645 =="
python3 "$parent/verify_certificate.py" "$parent/certs/f4_certificate.json" --margin 0.05 --c 0.34645

echo "== q4 F4 CKLS-fork certificate at 0.34640 =="
python3 "$parent/q4/verify_q4_certificate.py" "$parent/q4/certs/keep/f4_or_new_certificate.json" --margin 0.05

echo "== sequential-counter encoding vs known small n and n=21 d=6 =="
python3 regression.py

echo "== stored pigeonhole DRATs against regenerated CNFs =="
python3 verify_keep.py
python3 verify_range.py --n-min 150 --n-max 150 --jobs 3
echo "q40 replay finished"