TCT3_DCF

#!/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=dc                                    # 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