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