1#!/bin/sh2# Runs drat-trim (via check_fortcover_proof.py, with execution logging) on the stored3# fort-cover proofs for n = 23 and n = 25 in parallel. Called by reproduce.sh (FULL=1) and4# used in the Stage 8 revision; see review/revisions.md (F1).5cd "$(dirname "$0")/../.."6export PYTHONPATH=.pydeps:code7mkdir -p results/revision8python3 code/tools/logrun.py check_fortcover_proof_n23 --log results/revision/check_fortcover_n23.log -- python3 code/check_fortcover_proof.py 23 11 14400 &9P1=$!10python3 code/tools/logrun.py check_fortcover_proof_n25 --log results/revision/check_fortcover_n25.log -- python3 code/check_fortcover_proof.py 25 11 18000 &11P2=$!12wait $P1; E1=$?13wait $P2; E2=$?14echo "n23 exit=$E1 n25 exit=$E2"15