1 files changed, 10 insertions, 5 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh
index 5895ff6a..18724a1c 100755
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh
@@ -1,7 +1,12 @@
 #!/usr/bin/bash
 NODE="$1"
-./run.sh "${NODE}" -d FamilyTree -lb 20 -nm 10 -rt 3600
+./run.sh "${NODE}" -d FamilyTree -lb 20 -nm 10 -rt 3600 -ns z3
-./run.sh "${NODE}" -d FamilyTree -lb 40 -nm 10 -rt 3600
+./run.sh "${NODE}" -d FamilyTree -lb 40 -nm 10 -rt 3600 -ns z3
-./run.sh "${NODE}" -d FamilyTree -lb 60 -nm 10 -rt 3600
+./run.sh "${NODE}" -d FamilyTree -lb 60 -nm 10 -rt 3600 -ns z3
-./run.sh "${NODE}" -d FamilyTree -lb 80 -nm 10 -rt 3600
+./run.sh "${NODE}" -d FamilyTree -lb 80 -nm 10 -rt 3600 -ns z3
-./run.sh "${NODE}" -d FamilyTree -lb 100 -nm 10 -rt 3600
+./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

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh index 5895ff6a..18724a1c 100755 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh
@@ -1,7 +1,12 @@
1	#!/usr/bin/bash	1	#!/usr/bin/bash
2	NODE="$1"	2	NODE="$1"
3	./run.sh "${NODE}" -d FamilyTree -lb 20 -nm 10 -rt 3600	3	./run.sh "${NODE}" -d FamilyTree -lb 20 -nm 10 -rt 3600 -ns z3
4	./run.sh "${NODE}" -d FamilyTree -lb 40 -nm 10 -rt 3600	4	./run.sh "${NODE}" -d FamilyTree -lb 40 -nm 10 -rt 3600 -ns z3
5	./run.sh "${NODE}" -d FamilyTree -lb 60 -nm 10 -rt 3600	5	./run.sh "${NODE}" -d FamilyTree -lb 60 -nm 10 -rt 3600 -ns z3
6	./run.sh "${NODE}" -d FamilyTree -lb 80 -nm 10 -rt 3600	6	./run.sh "${NODE}" -d FamilyTree -lb 80 -nm 10 -rt 3600 -ns z3
7	./run.sh "${NODE}" -d FamilyTree -lb 100 -nm 10 -rt 3600	7	./run.sh "${NODE}" -d FamilyTree -lb 100 -nm 10 -rt 3600 -ns z3
		8	./run.sh "${NODE}" -d FamilyTree -lb 20 -nm 10 -rt 3600 -ns dreal -drp /home/models/dreal4/bazel-bin/dreal/dreal
		9	./run.sh "${NODE}" -d FamilyTree -lb 40 -nm 10 -rt 3600 -ns dreal -drp /home/models/dreal4/bazel-bin/dreal/dreal
		10	./run.sh "${NODE}" -d FamilyTree -lb 60 -nm 10 -rt 3600 -ns dreal -drp /home/models/dreal4/bazel-bin/dreal/dreal
		11	./run.sh "${NODE}" -d FamilyTree -lb 80 -nm 10 -rt 3600 -ns dreal -drp /home/modelsdreal4/bazel-bin/dreal/dreal
		12	./run.sh "${NODE}" -d FamilyTree -lb 100 -nm 10 -rt 3600 -ns dreal -drp /home/models/dreal4/bazel-bin/dreal/dreal