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* ]]; then
21 ./run.sh deserializerun "."$d $2 "../"$3 out.out