stuff for running set up

diff --git a/Robust/src/Benchmarks/oooJava/DelaunayRefinement/runr b/Robust/src/Benchmarks/oooJava/DelaunayRefinement/runr
new file mode 100755 (executable)
index 0000000..1517b30
--- /dev/null
+++ b/Robust/src/Benchmarks/oooJava/DelaunayRefinement/runr
@@ -0,0 +1,3 @@
+# the arguments are an input file, the number of DFJ workers
+# and any third symbol triggers a verification step
+./SerialDelaunayRefinementr.bin ./input/massive.2 7 true

diff --git a/Robust/src/Benchmarks/oooJava/DelaunayRefinement/runs b/Robust/src/Benchmarks/oooJava/DelaunayRefinement/runs
index f9aa7ac981b62d83b503822a1772427042a64c00..618ec746514504e6a38859d232064956a311a076 100755 (executable)
--- a/Robust/src/Benchmarks/oooJava/DelaunayRefinement/runs
+++ b/Robust/src/Benchmarks/oooJava/DelaunayRefinement/runs
@@ -1 +1,3 @@
-./SerialDelaunayRefinements.bin ./input/massive.2 true
+# the arguments are an input file, the number of DFJ workers
+# and any third symbol triggers a verification step
+./SerialDelaunayRefinements.bin ./input/massive.2 7 true