- START=$(date +%s.%N)
- ./run.sh deserializealloytest "."$d $2 $3
- END=$(date +%s.%N)
- DIFF=$(echo "$END - $START" | bc)
- echo "CSOLVER solve time: $DIFF"
- cat solution.sol
- echo "Best tuner"
+ if [[ $2 = *--all* ]]; then
+ SOLVERS="--alloy --z3 --smtrat --mathsat"
+ LINE=""
+ for solver in $SOLVERS; do
+ START=$(date +%s.%N)
+ echo "./run.sh deserializealloytest .$d $solver $3"
+ ./run.sh deserializealloytest "."$d $solver $3
+ END=$(date +%s.%N)
+ DIFF=$(echo "$END - $START" | bc)
+ LINE="$LINE,$DIFF"
+ done
+ echo "$d$LINE" >> $OUTPUT
+ else
+ START=$(date +%s.%N)
+ ./run.sh deserializealloytest "."$d $2 $3
+ END=$(date +%s.%N)
+ DIFF=$(echo "$END - $START" | bc)
+ echo "CSOLVER solve time: $DIFF"
+ cat solution.sol
+ echo "Best tuner"
+ fi
+