← Back to branch summary

~tapaal-ltl/verifypn/scc-optimise

« back to all changes in this revision

Viewing changes to Scripts/MCC20/competition-scripts/tapaal.sh

  • Committer: Jiri Srba
  • Date: 2020-04-30 10:53:55 UTC
  • Revision ID: srba@cs.aau.dk-20200430105355-4cf1g4juvbyy7cnj
updated MCC 2020 competition script

Show diffs side-by-side

added added

removed removed

Lines of Context:
Scripts/MCC20/competition-scripts/tapaal.sh
9
9
 
10
10
if [ -z "$BK_TIME_CONFINEMENT" ] ; then
11
11
        BK_TIME_CONFINEMENT=3600
 
12
        echo "Setting BK_TIME_CONFINEMENT=$BK_TIME_CONFINEMENT"
 
13
else
 
14
        echo "Got BK_TIME_CONFINEMENT=$BK_TIME_CONFINEMENT"
12
15
fi
13
16
TIMEOUT_TOTAL=$(echo "$BK_TIME_CONFINEMENT-10" | bc) 
14
17
TEMPDIR="/home/mcc/tmp"
28
31
#Allowed memory in kB
29
32
if [ -z "$BK_MEMORY_CONFINEMENT" ] ; then
30
33
        BK_MEMORY_CONFINEMENT="16000"
 
34
        echo "Setting BK_MEMORY_CONFINEMENT=$BK_MEMORY_CONFINEMENT"
 
35
else
 
36
        echo "Got BK_MEMORY_CONFINEMENT=$BK_MEMORY_CONFINEMENT"
31
37
fi
32
38
MEM=$(echo "$BK_MEMORY_CONFINEMENT-500" | bc)
33
39
MEM=$(echo "$MEM*1024" | bc)