All the DIS runner scripts as used for the (rejected) RTSS'20 submission

DANGER! There's an inconsistency in the input files used for the
all-pairs tests and those used for the baseline tests.

Baselines: run_all_dis.sh calls run_dis.sh to do all baselines.
All-pairs: Uses old TACLe script (not included here).
Cache allocation 2nd-order effects on SMT friendliness: run_pair_convexity.sh

8 files changed, 40 insertions, 0 deletions

diff --git a/dis/inputs/Field/in0 b/dis/inputs/Field/in0
new file mode 120000
index 0000000..2f8d436
--- /dev/null
+++ b/dis/inputs/Field/in0
@@ -0,0 +1 @@
+in1
\ No newline at end of file
diff --git a/dis/inputs/Matrix/in0 b/dis/inputs/Matrix/in0
new file mode 120000
index 0000000..2f8d436
--- /dev/null
+++ b/dis/inputs/Matrix/in0
@@ -0,0 +1 @@
+in1
\ No newline at end of file
diff --git a/dis/inputs/Neighborhood/in0 b/dis/inputs/Neighborhood/in0
new file mode 120000
index 0000000..83ac113
--- /dev/null
+++ b/dis/inputs/Neighborhood/in0
@@ -0,0 +1 @@
+test1.in
\ No newline at end of file
diff --git a/dis/inputs/Pointer/in0 b/dis/inputs/Pointer/in0
new file mode 100644
index 0000000..3535667
--- /dev/null
+++ b/dis/inputs/Pointer/in0
@@ -0,0 +1,3 @@
+10485770 15 12800000 -2 1
+
+10 10485760 10485760
diff --git a/dis/inputs/Transitive/in0 b/dis/inputs/Transitive/in0
new file mode 120000
index 0000000..2f8d436
--- /dev/null
+++ b/dis/inputs/Transitive/in0
@@ -0,0 +1 @@
+in1
\ No newline at end of file
diff --git a/dis/inputs/Update/in0 b/dis/inputs/Update/in0
new file mode 120000
index 0000000..2f8d436
--- /dev/null
+++ b/dis/inputs/Update/in0
@@ -0,0 +1 @@
+in1
\ No newline at end of file
diff --git a/dis/inputs/WSSS_maxstride2mb b/dis/inputs/WSSS_maxstride2mb
new file mode 100644
index 0000000..8fdbbc4
--- /dev/null
+++ b/dis/inputs/WSSS_maxstride2mb
@@ -0,0 +1,15 @@
+262144
+524288
+1048576
+2097152
+4194304
+6291456
+8388608
+10485760
+12582912
+14680064
+16777216
+18874368
+20971520
+23068672
+25165824
diff --git a/dis/inputs/caches_all b/dis/inputs/caches_all
new file mode 100644
index 0000000..92e936c
--- /dev/null
+++ b/dis/inputs/caches_all
@@ -0,0 +1,17 @@
+L3:0=0000;1=0000;2=0000;3=0000
+L3:0=0000;1=0000;2=0000;3=0001
+L3:0=0000;1=0000;2=0000;3=0003
+L3:0=0000;1=0000;2=0000;3=0007
+L3:0=0000;1=0000;2=0000;3=000f
+L3:0=0000;1=0000;2=0000;3=001f
+L3:0=0000;1=0000;2=0000;3=003f
+L3:0=0000;1=0000;2=0000;3=007f
+L3:0=0000;1=0000;2=0000;3=00ff
+L3:0=0000;1=0000;2=0000;3=01ff
+L3:0=0000;1=0000;2=0000;3=03ff
+L3:0=0000;1=0000;2=0000;3=07ff
+L3:0=0000;1=0000;2=0000;3=0fff
+L3:0=0000;1=0000;2=0000;3=1fff
+L3:0=0000;1=0000;2=0000;3=3fff
+L3:0=0000;1=0000;2=0000;3=7fff
+L3:0=0000;1=0000;2=0000;3=ffff