From ba15d9cf386dc6505d2da90957830abcbbed85a3 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:12:17 +0100
Subject: [PATCH] Add benchmark scripts for CL, GML and K
---
benchmarks/scripts/dotestCL.sh | 24 ++++++++++++++++++++++++
benchmarks/scripts/dotestGML.sh | 25 +++++++++++++++++++++++++
benchmarks/scripts/dotestK.sh | 19 +++++++++++++++++++
3 files changed, 68 insertions(+)
create mode 100755 benchmarks/scripts/dotestCL.sh
create mode 100755 benchmarks/scripts/dotestGML.sh
create mode 100755 benchmarks/scripts/dotestK.sh
diff --git a/benchmarks/scripts/dotestCL.sh b/benchmarks/scripts/dotestCL.sh
new file mode 100755
index 0000000..aa8b25f
--- /dev/null
+++ b/benchmarks/scripts/dotestCL.sh
@@ -0,0 +1,24 @@
+#!/bin/bash
+
+logic=CL
+
+while sleep 0.1 ; do
+
+for d in {2..20} ; do
+
+echo
+echo "=== d=$d ==="
+
+ ~/git/cool-solver/randcool/dist/build/randcool/randcool \
+ --coalition-logic \
+ --modal-depth-tbox 2 -T 0 -n 2 \
+ -A 5 \
+ --max-conjuncts 4 \
+ --max-disjuncts 4 \
+ -d $d \
+ > input
+
+ ./coalgcompare --timeout 300 generic$logic < input | tee -a ${logic}-${d}
+done
+
+done
diff --git a/benchmarks/scripts/dotestGML.sh b/benchmarks/scripts/dotestGML.sh
new file mode 100755
index 0000000..e276c43
--- /dev/null
+++ b/benchmarks/scripts/dotestGML.sh
@@ -0,0 +1,25 @@
+#!/bin/bash
+
+logic=GML
+
+while sleep 0.1 ; do
+
+for T in {0..2} ; do
+for d in {6..10} ; do
+
+echo
+echo "=== d=$d ==="
+
+ ~/git/cool-solver/randcool/dist/build/randcool/randcool \
+ -G \
+ --modal-depth-tbox 2 -T 0 -n 2 \
+ --max-conjuncts 6 \
+ --max-disjuncts 6 \
+ -d $d \
+ > input
+
+ ./coalgcompare --timeout 300 generic$logic < input | tee -a ${logic}-d${d}-T${T}
+done
+done
+
+done
diff --git a/benchmarks/scripts/dotestK.sh b/benchmarks/scripts/dotestK.sh
new file mode 100755
index 0000000..7f0d56a
--- /dev/null
+++ b/benchmarks/scripts/dotestK.sh
@@ -0,0 +1,19 @@
+#!/bin/bash
+
+while true ; do
+for d in {12..20} ; do
+
+echo
+echo "=== d=$d ==="
+
+ ~/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
+done
--
GitLab