/test/regress/regress0/sets/jan30/
../
UniqueZipper.hs.fqout.cvc4.10.smt2
UniqueZipper.hs.fqout.cvc4.1832.smt2
UniqueZipper.hs.fqout.minimized10.smt2
UniqueZipper.hs.fqout.minimized1832.smt2