Improve dotestK.sh script

benchmarks/scripts/dotestK.sh

 #!/bin/bash
 
-while true ; do
-for d in {12..20} ; do
+dir=$HOME/.www/cool/noon/
 
+while sleep 0.2 ; do
+    for T in 5 ; do
+        for d in $(seq 2 3 17) ; do
             echo
-echo "=== d=$d ==="
-
+            echo "=== d=$d T=$T ==="
              ~/git/cool-solver/randcool/dist/build/randcool/randcool \
                 -K \
-    --modal-depth-tbox 2 -T 2 -n 2  \
+                --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
 
-   ./coalgcompare --timeout 300 genericK < input | tee -a K-${d}
+           ./coalgcompare --timeout 300 genericK < input | tee -a $dir/K-d${d}-T${T}.${HOSTNAME}
+        done
     done
 done
+