#!/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