From 77ed0dab358ec9f33f4a7c4f053ffc5b601a44f8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Henning?= <post@soeren-henning.de>
Date: Mon, 30 Mar 2020 11:00:35 +0200
Subject: [PATCH] Add short sleep between experiments

---
 execution/run_loop.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/execution/run_loop.sh b/execution/run_loop.sh
index 05bf30eff..32767d753 100755
--- a/execution/run_loop.sh
+++ b/execution/run_loop.sh
@@ -23,5 +23,6 @@ do
     do
         echo "Run $DIM_VALUE $REPLICA"
         ./run_uc$UC-new.sh $EXP_ID $DIM_VALUE $REPLICA $PARTITIONS
+        sleep 10s
     done
 done
-- 
GitLab