TCT3_DCI_CERT

loading
details
attribute current value
name TCT3_DCI_CERT
description no description
owning solver TCT3_2015
contents
#!/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="certify"                             # tct strategy
comptype=dci                                   # competition type
outputtype=c                                   # type of output
prooftype=c

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

back to TCT3_2015