diff --git a/benchmarks/scripts/dotestCL.sh b/benchmarks/scripts/dotestCL.sh
new file mode 100755
index 0000000000000000000000000000000000000000..aa8b25ff9e2985600645a5980a848db29ea8e316
--- /dev/null
+++ b/benchmarks/scripts/dotestCL.sh
@@ -0,0 +1,24 @@
+#!/bin/bash
+
+logic=CL
+
+while sleep 0.1 ; do
+
+for d in {2..20} ; do
+
+echo
+echo "=== d=$d ==="
+
+ ~/git/cool-solver/randcool/dist/build/randcool/randcool \
+    --coalition-logic \
+    --modal-depth-tbox 2 -T 0 -n 2  \
+    -A 5 \
+    --max-conjuncts 4 \
+    --max-disjuncts 4 \
+    -d $d \
+    > input
+
+   ./coalgcompare --timeout 300 generic$logic < input | tee -a ${logic}-${d}
+done
+
+done
diff --git a/benchmarks/scripts/dotestGML.sh b/benchmarks/scripts/dotestGML.sh
new file mode 100755
index 0000000000000000000000000000000000000000..e276c433b5695ad2bd26a1f057758c943e07fa74
--- /dev/null
+++ b/benchmarks/scripts/dotestGML.sh
@@ -0,0 +1,25 @@
+#!/bin/bash
+
+logic=GML
+
+while sleep 0.1 ; do
+
+for T in {0..2} ; do
+for d in {6..10} ; do
+
+echo
+echo "=== d=$d ==="
+
+ ~/git/cool-solver/randcool/dist/build/randcool/randcool \
+    -G \
+    --modal-depth-tbox 2 -T 0 -n 2  \
+    --max-conjuncts 6 \
+    --max-disjuncts 6 \
+    -d $d \
+    > input
+
+   ./coalgcompare --timeout 300 generic$logic < input | tee -a ${logic}-d${d}-T${T}
+done
+done
+
+done
diff --git a/benchmarks/scripts/dotestK.sh b/benchmarks/scripts/dotestK.sh
new file mode 100755
index 0000000000000000000000000000000000000000..7f0d56a41d2f42c13be71ac9558aef85c5646686
--- /dev/null
+++ b/benchmarks/scripts/dotestK.sh
@@ -0,0 +1,19 @@
+#!/bin/bash
+
+while true ; do
+for d in {12..20} ; do
+
+echo
+echo "=== d=$d ==="
+
+ ~/git/cool-solver/randcool/dist/build/randcool/randcool \
+    -K \
+    --modal-depth-tbox 2 -T 2 -n 2  \
+    --max-conjuncts 6 \
+    --max-disjuncts 6 \
+    -d $d \
+    > input
+
+   ./coalgcompare --timeout 300 genericK < input | tee -a K-${d}
+done
+done