#!/bin/bash

export TPTP=$(./get_tptp_variable.sh $1)
export HERE=$(dirname $0)

# Set the soft limit
ulimit -s 200000

python3 prover_driver.py --schedule_mode external --no_cores 8 --heuristic_context fnt --schedule fnt_schedule $1 $STAREXEC_WALLCLOCK_LIMIT

