TCT2_DCF_CERT

loading
details
attribute current value
name TCT2_DCF_CERT
description no description
owning solver TCT2_20150725
contents
#!/bin/bash

# basic variables
executable=tct-certify.sh
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="certify"                             # tct strategy
comptype=dc                                   # competition type
#outputtype=p                                   # type of output

program="./$executable
  -a $comptype
  -t $gtimeout
  -s \"$strategy\"
  $1
  +RTS
  -N$cores
  -M$memlimit
  -K$stacksize
  -RTS"
#echo $program
eval $program

back to TCT2_20150725