#!/bin/bash

export TPTP=$(dirname $1)
export HERE=$(dirname $0)

# Increase the soft limit
ulimit -s 200000

python3 -u prover_driver.py --schedule_mode external --ltb --heuristic_context ltb --no_cores 8 --schedule ltb_super_22_5C --ltb_output_dir $2 --ltb_version _1 $1 1 -v



