check in all changes to the benchmarks for the pldi2009 paper

[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
index 1740034cdeaac8142fec937498965f9de06bf0ac..4b7a736a02e90c1e5bb46bde9f3af6621994acd3 100644 (file)
--- a/Robust/src/Benchmarks/Prefetch/MicroBenchmarks/dstm.conf
+++ b/Robust/src/Benchmarks/Prefetch/MicroBenchmarks/dstm.conf
@@ -3,3 +3,6 @@
 128.195.175.86
 128.195.175.87
 128.195.175.88
+128.195.175.89
+128.195.175.90
+128.195.175.91