CNF=$1
FRAC=$2
if [[ -z $FRAC ]]; then FRAC=0.2; fi
~/march_cu/march_cu $CNF -o /tmp/cubes$$ -f $FRAC -min 8 -bin 25 -max 550 -dli 2
echo "p inccnf" > /tmp/formula$$.icnf
cat $CNF | grep -v c >> /tmp/formula$$.icnf
cat /tmp/cubes$$ >> /tmp/formula$$.icnf
rm /tmp/cubes$$
~/iglucose/core/glucose /tmp/formula$$.icnf -verb=0 | grep -v bound
# ~/iglucose/core/glucose /tmp/formula$$.icnf -verb=0 -certified -certified-output=proof | grep -v bound
rm /tmp/formula$$.icnf
