blob: b77d4366f0e815b4cf73e3d4001cc4d1c230dc0c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/usr/bin/bash
NODE="$1"
./run.sh "${NODE}" -d Taxation -lb 20 -nm 10 -rt 3600 -hh 1 -ns z3
./run.sh "${NODE}" -d Taxation -lb 40 -nm 10 -rt 3600 -hh 2 -ns z3
./run.sh "${NODE}" -d Taxation -lb 60 -nm 10 -rt 3600 -hh 3 -ns z3
./run.sh "${NODE}" -d Taxation -lb 80 -nm 10 -rt 3600 -hh 4 -ns z3
./run.sh "${NODE}" -d Taxation -lb 100 -nm 10 -rt 3600 -hh 5 -ns z3
./run.sh "${NODE}" -d Taxation -lb 20 -nm 10 -rt 3600 -hh 1 -ns dreal -drp /home/models/dreal4/bazel-bin/dreal/dreal
./run.sh "${NODE}" -d Taxation -lb 40 -nm 10 -rt 3600 -hh 2 -ns dreal -drp /home/models/dreal4/bazel-bin/dreal/dreal
./run.sh "${NODE}" -d Taxation -lb 60 -nm 10 -rt 3600 -hh 3 -ns dreal -drp /home/models/dreal4/bazel-bin/dreal/dreal
./run.sh "${NODE}" -d Taxation -lb 80 -nm 10 -rt 3600 -hh 4 -ns dreal -drp /home/models/dreal4/bazel-bin/dreal/dreal
./run.sh "${NODE}" -d Taxation -lb 100 -nm 10 -rt 3600 -hh 5 -ns dreal -drp /home/models/dreal4/bazel-bin/dreal/dreal
|
