From 009d7d1548f97478b60c26f8f77a848c04577790 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?=
<re06huxa@stud.informatik.uni-erlangen.de>
Date: Sat, 1 Feb 2014 02:34:52 +0100
Subject: [PATCH] Improve dotestGML.sh
---
benchmarks/scripts/dotestGML.sh | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/benchmarks/scripts/dotestGML.sh b/benchmarks/scripts/dotestGML.sh
index 0f4c5c1..c3b4673 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
--
GitLab