diff --git a/benchmarks/scripts/dotestK.sh b/benchmarks/scripts/dotestK.sh
index 7f0d56a41d2f42c13be71ac9558aef85c5646686..ed61d8a176bc00515aa458cb1a5288ce2724938c 100755
--- a/benchmarks/scripts/dotestK.sh
+++ b/benchmarks/scripts/dotestK.sh
@@ -1,19 +1,24 @@
 #!/bin/bash
 
-while true ; do
-for d in {12..20} ; do
+dir=$HOME/.www/cool/noon/
 
-echo
-echo "=== d=$d ==="
+while sleep 0.2 ; do
+    for T in 5 ; do
+        for d in $(seq 2 3 17) ; do
+            echo
+            echo "=== d=$d T=$T ==="
+             ~/git/cool-solver/randcool/dist/build/randcool/randcool \
+                -K \
+                --no-toplevel-disj-form \
+                --no-toplevel-conj-tbox \
+                --modal-depth-tbox 2 -T $T -n 2  \
+                --max-conjuncts 6 \
+                --max-disjuncts 6 \
+                -d $d \
+                > input
 
- ~/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
+           ./coalgcompare --timeout 300 genericK < input | tee -a $dir/K-d${d}-T${T}.${HOSTNAME}
+        done
+    done
 done
+