dotestCL.sh

#!/bin/bash

dir=$HOME/.www/cool/noon/

while sleep 0.2 ; do
    for T in 5 ; do
        for d in {8..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 \
                --max-conjuncts 4 \
                --max-disjuncts 4 \
                -d $d \
                > input

           ./coalgcompare --timeout 300 genericCL < input \
                | tee -a $dir/CL-d${d}-T${T}.${HOSTNAME} \
            || break
        done
    done
done