the first repro script

Docker/repro

@@ -0,0 +1,28 @@
+#!/bin/bash
+
+logfile="16.out${LOGSUFFIX}"
+./run-experiment 16 >> $logfile
+
+logfile="18.out${LOGSUFFIX}"
+./run-experiment 18 >> $logfile
+
+logfile="20.out${LOGSUFFIX}"
+./run-experiment 20 >> $logfile
+
+logfile="22.out${LOGSUFFIX}"
+./run-experiment 22 >> $logfile
+
+logfile="24.out${LOGSUFFIX}"
+./run-experiment 24 >> $logfile
+
+logfile="26.out${LOGSUFFIX}"
+./run-experiment 26 >> $logfile
+
+logfile="28.out${LOGSUFFIX}"
+./run-experiment 28 >> $logfile
+
+logfile="20.out${LOGSUFFIX}"
+./run-experiment 30 >> $logfile
+
+logfile="32.out${LOGSUFFIX}"
+./run-experiment 32 >> $logfile