Improve benchmark scripts

benchmarks/scripts/dotestK.sh

@@ -4,7 +4,7 @@ dir=$HOME/.www/cool/noon/
 
 while sleep 0.2 ; do
     for T in 5 ; do
-        for d in $(seq 2 3 17) ; do
+        for d in {8..15} ; do
             echo
             echo "=== d=$d T=$T ==="
              ~/git/cool-solver/randcool/dist/build/randcool/randcool \
@@ -17,7 +17,9 @@ while sleep 0.2 ; do
                 -d $d \
                 > input
 
-           ./coalgcompare --timeout 300 genericK < input | tee -a $dir/K-d${d}-T${T}.${HOSTNAME}
+           ./coalgcompare --timeout 300 genericK < input \
+                | tee -a $dir/K-d${d}-T${T}.${HOSTNAME} \
+            || break
         done
     done
 done

install-remote.sh

-#!/bin/bash
+#!/bin/bash -e
 
 
 # install everything on a remote machine
 
-[ -f FaCT++ ]   || wget http://wwwcip.cs.fau.de/~re06huxa/pkg/FaCT++
+[ -f FaCT++ ]   || { wget http://wwwcip.cs.fau.de/~re06huxa/pkg/FaCT++ && chmod +x FaCT++ ; }
 [ -f tatl ]     || wget -O - http://atila.ibisc.univ-evry.fr/tableau_ATL/bin/tatl.tar.gz | tar xv
 
 files=(
     coalg
     coalgcompare
-    benchmarks/
+    benchmarks/scripts/*
 
     FaCT++
     fact.conf
@@ -26,4 +26,7 @@ files=(
 echo "==> sending files:"
 printf ":: %s\n" "${files[@]}"
 
-rsync --copy-links -r "${files[@]}" "$1:/${2:-/var/tmp/re06huxa/}"
+host="${1}:"
+[ -z "$1" ] && host=""
+
+rsync --copy-links -r "${files[@]}" "$host/${2:-/var/tmp/re06huxa/}"