From de2a2a25ce1dd64c58bb3cc51a743c551094121c Mon Sep 17 00:00:00 2001
From: Quentin Dufour <quentin.dufour@inria.fr>
Date: Tue, 23 Apr 2019 16:17:42 +0200
Subject: [PATCH] Add a simple runner

---
 scripts/run-seq | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 scripts/run-seq

diff --git a/scripts/run-seq b/scripts/run-seq
new file mode 100644
index 0000000..65050dd
--- /dev/null
+++ b/scripts/run-seq
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+WAITFOR=1800 # 30min
+
+for i in {1..60}; do
+timeout $WAITFOR bash <<EOF
+  ./xp-instance-runner witness 6000 100 100 &
+  ./xp-instance-runner orig 6000 100 100 &
+  ./xp-instance-runner naive 6000 100 100 &
+  ./xp-instance-runner rr 6000 100 100 &
+  ./xp-instance-runner rrh 6000 100 100 &
+  wait;
+EOF
+done