%:
	@$(BIN_RMF) $(wildcard *~) $(wildcard */*~)

###############################################################################

%.verify: $(wildcard $*/*)
	i=0;pushd $*;find . -name '*.proof' | while read proof ; do \
        i=$$((i+1)); \
        echo "*** $$i"; \
        instance=`echo $$proof | sed 's/[^0-9 ]//g'`; \
        /home/rahn/prog/Prog/Verify.opt -p"$$proof" $$instance 2>/dev/null; \
        done | tee ../$*.verify | grep ^\* ;\
        popd; cat $*.verify | grep 'final result' | sort -u

###############################################################################

rest0.%: $(wildcard proof.$*/*)
	pushd proof.$*; cat ../interesting.$* | while read instance ; do \
        if [ ! -e "$$instance.proof" ] ; then \
        echo $$instance ; fi ; done > ../rest0.$*; popd

###############################################################################

.PHONY: unique.%

unique.%:
	cat $* | perl -e 'while (<>) { print unless $$seen{$$_}++;}' > tmp; \
        mv tmp $