diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree_exact.sh')
-rwxr-xr-x | Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree_exact.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree_exact.sh b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree_exact.sh new file mode 100755 index 00000000..3d4a4755 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree_exact.sh | |||
@@ -0,0 +1,14 @@ | |||
1 | #!/usr/bin/bash | ||
2 | NODE="$1" | ||
3 | VERSION="$2" | ||
4 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 5 -ub 5 -nm 1 -rt 300 | ||
5 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 6 -ub 6 -nm 1 -rt 300 | ||
6 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 7 -ub 7 -nm 1 -rt 300 | ||
7 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 8 -ub 8 -nm 1 -rt 300 | ||
8 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 9 -ub 9 -nm 1 -rt 300 | ||
9 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 10 -ub 10 -nm 1 -rt 300 | ||
10 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 20 -ub 20 -nm 1 -rt 300 | ||
11 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 40 -ub 40 -nm 1 -rt 300 | ||
12 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 60 -ub 60 -nm 1 -rt 300 | ||
13 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 80 -ub 80 -nm 1 -rt 300 | ||
14 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 100 -ub 100 -nm 1 -rt 300 | ||