From 7019f11e507903d9b067503194e0422e68d2aaa8 Mon Sep 17 00:00:00 2001
From: Harald Holtmann <holtmann@zeuxis.de>
Date: Sun, 7 Sep 2025 16:28:31 +0200
Subject: [PATCH] execution script

---
 harald/explore.sh | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100755 harald/explore.sh

diff --git a/harald/explore.sh b/harald/explore.sh
new file mode 100755
index 0000000..aaf2615
--- /dev/null
+++ b/harald/explore.sh
@@ -0,0 +1,18 @@
+#! /bin/bash
+
+PROBLEMS="$*"
+
+if [ -z "$PROBLEMS" ] ; then
+    PROBLEMS=$(jq -r '.[]|.problem' ../problems.json)
+fi
+
+TRIES=${TRIES:-10}
+
+for problem in $PROBLEMS; do
+    for t in $(seq $TRIES); do
+        ./explore.py $problem
+        if [ $? -eq 0 ]; then
+            break
+        fi
+    done 
+done