diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/runSatellite.sh')
-rwxr-xr-x | Tests/MODELS2020-CaseStudies/case.study.pledge.run/runSatellite.sh | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runSatellite.sh b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runSatellite.sh index f5eee8a3..b6c41716 100755 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runSatellite.sh +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runSatellite.sh | |||
@@ -1,7 +1,12 @@ | |||
1 | #!/usr/bin/bash | 1 | #!/usr/bin/bash |
2 | NODE="$1" | 2 | NODE="$1" |
3 | ./run.sh "${NODE}" -d Satellite -lb 20 -nm 10 -rt 3600 | 3 | ./run.sh "${NODE}" -d Satellite -lb 20 -nm 10 -rt 3600 -ns z3 |
4 | ./run.sh "${NODE}" -d Satellite -lb 40 -nm 10 -rt 3600 | 4 | ./run.sh "${NODE}" -d Satellite -lb 40 -nm 10 -rt 3600 -ns z3 |
5 | ./run.sh "${NODE}" -d Satellite -lb 60 -nm 10 -rt 3600 | 5 | ./run.sh "${NODE}" -d Satellite -lb 60 -nm 10 -rt 3600 -ns z3 |
6 | ./run.sh "${NODE}" -d Satellite -lb 80 -nm 10 -rt 3600 | 6 | ./run.sh "${NODE}" -d Satellite -lb 80 -nm 10 -rt 3600 -ns z3 |
7 | ./run.sh "${NODE}" -d Satellite -lb 100 -nm 10 -rt 3600 | 7 | ./run.sh "${NODE}" -d Satellite -lb 100 -nm 10 -rt 3600 -ns z3 |
8 | ./run.sh "${NODE}" -d Satellite -lb 20 -nm 10 -rt 3600 -ns dreal -drp /home/models/dreal4/bazel-bin/dreal/dreal | ||
9 | ./run.sh "${NODE}" -d Satellite -lb 40 -nm 10 -rt 3600 -ns dreal -drp /home/models/dreal4/bazel-bin/dreal/dreal | ||
10 | ./run.sh "${NODE}" -d Satellite -lb 60 -nm 10 -rt 3600 -ns dreal -drp /home/models/dreal4/bazel-bin/dreal/dreal | ||
11 | ./run.sh "${NODE}" -d Satellite -lb 80 -nm 10 -rt 3600 -ns dreal -drp /home/models/dreal4/bazel-bin/dreal/dreal | ||
12 | ./run.sh "${NODE}" -d Satellite -lb 100 -nm 10 -rt 3600 -ns dreal -drp /home/models/dreal4/bazel-bin/dreal/dreal \ No newline at end of file | ||