Generators
counter	generaQBF	Qbfgen