include ../makefile.common
all:
	./genbenchmarks.sh
clean:
	rm -f *.smt2