Merge branch 'incremental' of ssh://plrg.ics.uci.edu/home/git/constraint_compiler...

diff --cc src/Scripts/runbench.sh
index 3e498d2645a0c3b4cb60473356f0fdc65e72f688,2e47420a990db4e84cdb4cfeba1dce7a6cfc6d11..db570dfd039b99f92047766ad23ca19b052e19ea
--- 1/src/Scripts/runbench.sh
--- 2/src/Scripts/runbench.sh
+++ b/src/Scripts/runbench.sh
@@@ -16,12 -16,11 +16,12 @@@ BIN=./bi
  DUMP=$(find . -name "*.dump")
  cd $BIN
  for d in $DUMP; do
-       if [[ $d = *$1* ]]; then
+       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"