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