#!/bin/bash

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

# Set the soft limit
ulimit -s 200000

./iproveropt-multi-core.sh -d -l tptp  -s tfa_schedule -t $STAREXEC_WALLCLOCK_LIMIT $1

#./run_problem --no_cores 8 --schedule casc_29_tfa --heuristic_context casc_unsat $1 $STAREXEC_WALLCLOCK_LIMIT "${@:2:$#}"

