#!/bin/bash GTIMEOUT=$(( $STAREXEC_WALLCLOCK_LIMIT - 2 )) # TcT timeout PTIMEOUT=$(( $STAREXEC_WALLCLOCK_LIMIT - 3 )) # Processor timeout CORES=4 # number of cpu cores MEMLIMIT=${STAREXEC_MAX_MEM}M # maximal memory in megabyte LD_LIBRARY_PATH=../lib # path for additional libraries PATH=$PWD:$PATH # binaries path STRATEGY=competition # tct strategy COMPTYPE=dc # competition type PROGRAM="./tct -v a -a $COMPTYPE -s \"$STRATEGY :timeout $PTIMEOUT\" $1 +RTS -N$CORES -M$MEMLIMIT -K32M -RTS" #echo $PROGRAM eval $PROGRAM