#!/bin/bash

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

# Increase the soft ulimit
ulimit -s 200000

#python3 prover_driver.py --schedule_mode external --schedule isabelle_super_30_1c --no_cores 1 $1 $STAREXEC_WALLCLOCK_LIMIT
res/vclausify_rel --time_limit $STAREXEC_WALLCLOCK_LIMIT $1

