Test file for zero and one-set counterexamples