convenient run script

diff --git a/Robust/src/Benchmarks/oooJava/sor/runp b/Robust/src/Benchmarks/oooJava/sor/runp
new file mode 100755 (executable)
index 0000000..398cad5
--- /dev/null
+++ b/Robust/src/Benchmarks/oooJava/sor/runp
@@ -0,0 +1,2 @@
+#!/bin/sh
+time ./JGFSORBenchSizeDp.bin