#!/bin/bash # basic variables executable=tct-trs 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 stacksize=32M # stacksize of program LD_LIBRARY_PATH=../lib # PATH FOR ADDITIONAL LIBRARIES PATH=$PWD:$PATH # binaries path # competition specific variables strategy="competition :timeout $ptimeout" # tct strategy comptype=rc # competition type outputtype=c # type of output prooftype=d program="./$executable -a $outputtype -p $prooftype -c $comptype -s \"$strategy\" $1 +RTS -N$cores -M$memlimit -K$stacksize -RTS" #echo $program eval $program