#!/bin/bash

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

# Increase the soft ulimit
ulimit -s 200000

./run_problem --schedule casc_29_ueq --heuristic_context casc_unsat --no_cores 8 $1 $STAREXEC_WALLCLOCK_LIMIT "${@:2:$#}"
#python3 run_problem.py --schedule base --no_cores 8 $1 $STAREXEC_WALLCLOCK_LIMIT
