diff --git a/execution/run_loop.sh b/execution/run_loop.sh index 05bf30eff1d01ea5b5cc84347087fa5befb36497..32767d753f02027181a33a2082aff556778ab2a0 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