diff --git a/benchmarks/scripts/dotestCL.sh b/benchmarks/scripts/dotestCL.sh
index 3d71a64a523fb0c553cfd1aae30c4d8696b61788..355800ec290af8092d2856aef76c01086326a702 100755
--- a/benchmarks/scripts/dotestCL.sh
+++ b/benchmarks/scripts/dotestCL.sh
@@ -2,15 +2,20 @@
 
 dir=$HOME/.www/cool/noon/
 
+ulimit -S -m 6000000
+ulimit -H -m 6000000
+
 while sleep 0.2 ; do
-    for T in 5 ; do
-        for d in {8..15} ; do
+    for T in 0 1 2 ; do
+        for d in {3..15} ; do
             echo
             echo "=== d=$d T=$T ==="
              ~/git/cool-solver/randcool/dist/build/randcool/randcool \
                 --coalition-logic \
-                --modal-depth-tbox 2 -T $T -n 2  \
                 -A 5 \
+                --no-toplevel-disj-form \
+                --no-toplevel-conj-tbox \
+                --modal-depth-tbox 2 -T $T -n 2  \
                 --max-conjuncts 4 \
                 --max-disjuncts 4 \
                 -d $d \