CNF=$1
DIR=/tmp

rm -f $DIR/counts$$
~/march_cu/march_cu $CNF -d 5 -# -o $DIR/cubes$$
SIZE=`wc $DIR/cubes$$ | awk '{print $1}'`
for (( LINE=1; LINE<=$SIZE; LINE++ ))
do
  ~/march_cu/apply.sh $CNF $DIR/cubes$$ $LINE > $DIR/cnf$$
  ~/sharpSAT/Release/sharpSAT $DIR/cnf$$ | tail -n 5 | head -n 1 >> $DIR/counts$$
  echo -n "part "$LINE": "
  tail -n 1 $DIR/counts$$
  rm $DIR/cnf$$
done
echo -n "total: "
cut -d' ' -f1 $DIR/counts$$ | paste -sd+ | BC_LINE_LENGTH=0 bc -l
rm $DIR/counts$$
