2 # run as the following:
3 # ./runalloy.sh [hexiom] [--alloy]
4 # ./runalloy.sh [nqueens] [--alloy]
5 # ./runalloy.sh [sudoku-csolver] [--alloy]
6 # ./runalloy.sh [killerSudoku] [--alloy]
8 #./run.sh deserializealloytest ../Benchmarks/sudoku-csolver/4x4.dump --alloy
9 #./run.sh java edu.mit.csail.sdg.alloy4whole.ExampleAlloyCompilerNoViz satune.als > solution.log
11 if [ "$#" -lt 2 ]; then
12 echo "Illegal number of argument"
13 echo "./runinterpreter.sh [benchmark] [--alloy/--z3/--smtrat/--mathsat] [timeout]"
19 DUMP=$(find . -name "*.dump")
22 if [[ $d = *$1* ]]; then
25 ./run.sh deserializealloytest "."$d $2 $3
27 DIFF=$(echo "$END - $START" | bc)
28 echo "CSOLVER solve time: $DIFF"