From b276f8739432cd5ac5e64a15d2a699c9d271c311 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?=
<re06huxa@stud.informatik.uni-erlangen.de>
Date: Fri, 31 Jan 2014 17:51:56 +0100
Subject: [PATCH] Fixup dotestCL.sh
---
benchmarks/scripts/dotestCL.sh | 11 ++++++++---
1 file changed, 8 insertions(+), 3 deletions(-)
diff --git a/benchmarks/scripts/dotestCL.sh b/benchmarks/scripts/dotestCL.sh
index 3d71a64..355800e 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 \
--
GitLab