From c60f0d4948bd34e78109036eccad10ed910ce343 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <edu@thorsten-wissmann.de>
Date: Fri, 31 Jan 2014 15:30:29 +0100
Subject: [PATCH] Improve dotestK.sh script
---
benchmarks/scripts/dotestK.sh | 33 +++++++++++++++++++--------------
1 file changed, 19 insertions(+), 14 deletions(-)
diff --git a/benchmarks/scripts/dotestK.sh b/benchmarks/scripts/dotestK.sh
index 7f0d56a..ed61d8a 100755
--- a/benchmarks/scripts/dotestK.sh
+++ b/benchmarks/scripts/dotestK.sh
@@ -1,19 +1,24 @@
#!/bin/bash
-while true ; do
-for d in {12..20} ; do
+dir=$HOME/.www/cool/noon/
-echo
-echo "=== d=$d ==="
+while sleep 0.2 ; do
+ for T in 5 ; do
+ for d in $(seq 2 3 17) ; do
+ echo
+ echo "=== d=$d T=$T ==="
+ ~/git/cool-solver/randcool/dist/build/randcool/randcool \
+ -K \
+ --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
- ~/git/cool-solver/randcool/dist/build/randcool/randcool \
- -K \
- --modal-depth-tbox 2 -T 2 -n 2 \
- --max-conjuncts 6 \
- --max-disjuncts 6 \
- -d $d \
- > input
-
- ./coalgcompare --timeout 300 genericK < input | tee -a K-${d}
-done
+ ./coalgcompare --timeout 300 genericK < input | tee -a $dir/K-d${d}-T${T}.${HOSTNAME}
+ done
+ done
done
+
--
GitLab