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