BENCH=	mini.qdimacs \
	cnt01e.qdimacs \
	cnt01re.qdimacs \
	tree-exa2-10.qdimacs \
	tree-exa2-15.qdimacs \
	toilet_a_02_01.2.qdimacs \
	toilet_a_02_01.3.qdimacs \
	1qbf-5cnf-20var-160cl.0.qdimacs \
	1qbf-5cnf-20var-160cl.1.qdimacs


EXPLICIT=$(patsubst %.qdimacs, %.explicit.elf, $(BENCH))
PREFIX=$(patsubst %.qdimacs, %.prefix.elf, $(BENCH))
IMPLICIT=$(patsubst %.qdimacs, %.implicit.elf, $(BENCH))
SCIMPLICIT=$(patsubst %.qdimacs, %.scimplicit.elf, $(BENCH))

all: qbf implicit explicit #scimplicit prefix

explicit: $(EXPLICIT) 

implicit: $(IMPLICIT) 

scimplicit: $(SCIMPLICIT) 

prefix: $(PREFIX) 

none: $(BENCH)
	./run_qbf.sh $(BENCH)

qbf:	qbf.hs
	ghc -c qbf.hs; ghc qbf.o -o qbf

%.explicit.elf:	qbf %.qdimacs
		./qbf < $*.qdimacs > $@
%.prefix.elf:	qbf %.qdimacs
		./qbf prefix < $*.qdimacs > $@
%.implicit.elf:	qbf %.qdimacs
		./qbf implicit < $*.qdimacs > $@
%.scimplicit.elf:	qbf %.qdimacs
			./qbf scimplicit < $*.qdimacs > $@