if [[ $d = *$1* ]] && [[ $d = *learningset* ]]; then
echo "Running: ./run.sh tunerrun "."$d $2 $3 out.out"
./run.sh tunerrun "."$d $2 $3 out.out
- echo "Return code: $?"
- if [ $? -eq 141 ]; then #Dump info when SAT Solver gets killed by OS ....
+ RETCODE=$?
+ echo "Return code: $RETCODE"
+ if [ $RETCODE -eq 141 ]; then #Dump info when SAT Solver gets killed by OS ....
echo "Satune got out of memory"
echo "deserializing $d ..."
echo "SAT Solving time: 400000000.0"