diff --git a/benchmarks/scripts/dotestGML.sh b/benchmarks/scripts/dotestGML.sh
index 0f4c5c1a55d86899177eaa13148504bb494d830e..c3b4673ddbb13464b48d13bb7094ad2d65d16ea3 100755
--- a/benchmarks/scripts/dotestGML.sh
+++ b/benchmarks/scripts/dotestGML.sh
@@ -12,11 +12,12 @@ while sleep 0.2 ; do
             echo "=== d=$d T=$T ==="
              ~/git/cool-solver/randcool/dist/build/randcool/randcool \
                 -G \
+                --min-grade 1 \
                 --no-toplevel-disj-form \
                 --no-toplevel-conj-tbox \
                 --modal-depth-tbox 2 -T 0 -n 2  \
-                --max-conjuncts 6 \
-                --max-disjuncts 6 \
+                --max-conjuncts 7 \
+                --max-disjuncts 7 \
                 -d $d \
                 > input