diff --git a/benchmarks/scripts/dotestCL.sh b/benchmarks/scripts/dotestCL.sh index aa8b25ff9e2985600645a5980a848db29ea8e316..3d71a64a523fb0c553cfd1aae30c4d8696b61788 100755 --- a/benchmarks/scripts/dotestCL.sh +++ b/benchmarks/scripts/dotestCL.sh @@ -1,24 +1,24 @@ #!/bin/bash -logic=CL +dir=$HOME/.www/cool/noon/ -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 +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