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