run script for labyrinth

diff --git a/Robust/src/Benchmarks/oooJava/labyrinth/runr b/Robust/src/Benchmarks/oooJava/labyrinth/runr
index ada142ddfde59dc605c98514d2bb68c7aaecebb9..f295bb503bc1f6171518341c47cbc46de0b26cd6 100755 (executable)
--- a/Robust/src/Benchmarks/oooJava/labyrinth/runr
+++ b/Robust/src/Benchmarks/oooJava/labyrinth/runr
@@ -1,4 +1,3 @@
-#time ./Labyrinthp.bin -i ./inputs/random-x32-y32-z3-n64.txt
-#time ./Labyrinthp.bin -i ./inputs/random-x256-y256-z3-n256.txt
-#time ./Labyrinthr.bin -w 24 -i ./inputs/random-x512-y512-z7-n512.txt
-time ./Labyrinthr.bin -w 24 -i ./inputs/random-x32-y32-z3-n64.txt
+#time ./Labyrinthr.bin -w 24 -i ./inputs/random-x32-y32-z3-n64.txt
+#time ./Labyrinthr.bin -w 24 -i ./inputs/random-x256-y256-z3-n256.txt
+time ./Labyrinthr.bin -w 24 -i ./inputs/random-x512-y512-z7-n512.txt

diff --git a/Robust/src/Benchmarks/oooJava/labyrinth/runs b/Robust/src/Benchmarks/oooJava/labyrinth/runs
index e72fa32a117d2a6c47ac08a05ba10695eeba3598..d29f4e4701a50fd0dea2d4c4d5a1de1cfd9c3d6e 100755 (executable)
--- a/Robust/src/Benchmarks/oooJava/labyrinth/runs
+++ b/Robust/src/Benchmarks/oooJava/labyrinth/runs
@@ -1,3 +1,3 @@
 #./Labyrinths.bin -i ./inputs/random-x32-y32-z3-n64.txt
 #./Labyrinths.bin -i ./inputs/random-x256-y256-z3-n256.txt
-./Labyrinths.bin -w 24 -i ./inputs/random-x512-y512-z7-n512.txt
+./Labyrinths.bin -w 1 -i ./inputs/random-x512-y512-z7-n512.txt