Add benchmark scripts for CL, GML and K

benchmarks/scripts/dotestCL.sh

+#!/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

benchmarks/scripts/dotestGML.sh

+#!/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

benchmarks/scripts/dotestK.sh

+#!/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