Add DIS benchmarks and scripts as they were used for Joshua's PRP

Note that Neighborhood has been modified to use less space

1 files changed, 5 insertions, 0 deletions

diff --git a/dis/original/runDIS4.sh b/dis/original/runDIS4.sh
new file mode 100755
index 0000000..58072a5
--- /dev/null
+++ b/dis/original/runDIS4.sh
@@ -0,0 +1,5 @@
+#!/bin/bash
+cat inputs/Neighborhood/in0 | ./neighborhood neighborhood 1 3 Oct19-neighborhoodtest 1
+cat inputs/Pointer/in0 | ./pointer pointer 10 3 Oct19-pointertest 1
+cat inputs/Transitive/in1 | ./transitive transitive 800 3 Oct19-transitivetest 1
+cat inputs/Update/in0 | ./update update 1000 3 Oct19-updatetest 1