diff options
| author |  Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-02-07 04:54:42 +0100 |
|---|---|---|
| committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-02-07 04:54:42 +0100 |
| commit | 9f02e7e2fe8b3e347f3d05e8d0751dec016842cd (patch) | |
| tree | 6d0c34c617ed51c9c9715f3ec18552425656b3a5 /Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh | |
| parent | Remove dreal (diff) | |
| download | VIATRA-Generator-9f02e7e2fe8b3e347f3d05e8d0751dec016842cd.tar.gz VIATRA-Generator-9f02e7e2fe8b3e347f3d05e8d0751dec016842cd.tar.zst VIATRA-Generator-9f02e7e2fe8b3e347f3d05e8d0751dec016842cd.zip | |
measurement setup is ready for server
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh')
| -rwxr-xr-x | Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh index 5895ff6a..18724a1c 100755 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh | |||
| @@ -1,7 +1,12 @@ | |||
| 1 | #!/usr/bin/bash | 1 | #!/usr/bin/bash |
| 2 | NODE="$1" | 2 | NODE="$1" |
| 3 | ./run.sh "${NODE}" -d FamilyTree -lb 20 -nm 10 -rt 3600 | 3 | ./run.sh "${NODE}" -d FamilyTree -lb 20 -nm 10 -rt 3600 -ns z3 |
| 4 | ./run.sh "${NODE}" -d FamilyTree -lb 40 -nm 10 -rt 3600 | 4 | ./run.sh "${NODE}" -d FamilyTree -lb 40 -nm 10 -rt 3600 -ns z3 |
| 5 | ./run.sh "${NODE}" -d FamilyTree -lb 60 -nm 10 -rt 3600 | 5 | ./run.sh "${NODE}" -d FamilyTree -lb 60 -nm 10 -rt 3600 -ns z3 |
| 6 | ./run.sh "${NODE}" -d FamilyTree -lb 80 -nm 10 -rt 3600 | 6 | ./run.sh "${NODE}" -d FamilyTree -lb 80 -nm 10 -rt 3600 -ns z3 |
| 7 | ./run.sh "${NODE}" -d FamilyTree -lb 100 -nm 10 -rt 3600 | 7 | ./run.sh "${NODE}" -d FamilyTree -lb 100 -nm 10 -rt 3600 -ns z3 |
| 8 | ./run.sh "${NODE}" -d FamilyTree -lb 20 -nm 10 -rt 3600 -ns dreal -drp /home/models/dreal4/bazel-bin/dreal/dreal | ||
| 9 | ./run.sh "${NODE}" -d FamilyTree -lb 40 -nm 10 -rt 3600 -ns dreal -drp /home/models/dreal4/bazel-bin/dreal/dreal | ||
| 10 | ./run.sh "${NODE}" -d FamilyTree -lb 60 -nm 10 -rt 3600 -ns dreal -drp /home/models/dreal4/bazel-bin/dreal/dreal | ||
| 11 | ./run.sh "${NODE}" -d FamilyTree -lb 80 -nm 10 -rt 3600 -ns dreal -drp /home/modelsdreal4/bazel-bin/dreal/dreal | ||
| 12 | ./run.sh "${NODE}" -d FamilyTree -lb 100 -nm 10 -rt 3600 -ns dreal -drp /home/models/dreal4/bazel-bin/dreal/dreal | ||