2 # run as the following:
3 # ./runbench.sh [hexiom] [timeout] [tuner.conf]
4 # ./runbench.sh [nqueens] [timeout] [tuner.conf]
5 # ./runbench.sh [sudoku-csolver] [timeout] [tuner.conf]
6 # ./runbench.sh [killerSudoku] [timeout] [tuner.conf]
8 if [ "$#" -lt 3 ]; then
9 echo "Illegal number of argument"
10 echo "./runbench.sh [benchmark] [timeout] [tuner.conf]"
16 DUMP=$(find . -name "*.dump")
19 if [[ $d = *$1* ]] && [[ $d = *learningset* ]]; then
20 echo "Running: ./run.sh tunerrun "."$d $2 $3 out.out"
21 ./run.sh tunerrun "."$d $2 $3 out.out
23 echo "Return code: $RETCODE"
24 if [ $RETCODE -eq 141 ]; then #Dump info when SAT Solver gets killed by OS ....
25 echo "Satune got out of memory"
26 echo "deserializing $d ..."
27 echo "SAT Solving time: 400000000.0"
28 echo "CSOLVER solve time: 400000000.0"