From 41b609326a7ff4f63ef233cfb6b72ddc53afc421 Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sun, 22 Jul 2018 15:08:50 +0100
Subject: [PATCH] Benchmarks

---
 drs_benchmark.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/drs_benchmark.sh b/drs_benchmark.sh
index cd69944..42f9bf7 100755
--- a/drs_benchmark.sh
+++ b/drs_benchmark.sh
@@ -4,7 +4,7 @@ TMPINPUT="tmp_$RANDOM$RANDOM.rs"
 
 CMD="./reactics -b -B"
 
-for i in `seq 2 10`;do
+for i in `seq 2 20`;do
 
 	echo "[i] n=$i; generating input file"
 	in/gen_drs_mutex.py $i > $TMPINPUT
@@ -32,4 +32,4 @@ done
 
 rm -f $TMPINPUT
 
-# EOF
\ No newline at end of file
+# EOF