Add microbenchmarks with script for analyzing our Prefetch and other results

[IRC.git] / Robust / src / Benchmarks / Prefetch / MicroBenchmarks / dstm.conf

diff --git a/Robust/src/Benchmarks/Prefetch/MicroBenchmarks/dstm.conf b/Robust/src/Benchmarks/Prefetch/MicroBenchmarks/dstm.conf
new file mode 100644 (file)
index 0000000..1740034
--- /dev/null
+++ b/Robust/src/Benchmarks/Prefetch/MicroBenchmarks/dstm.conf
@@ -0,0 +1,5 @@
+128.195.175.84
+128.195.175.85
+128.195.175.86
+128.195.175.87
+128.195.175.88