/test/regress/regress0/sets/mar2014/
../
UniqueZipper.hs.1030minimized.cvc4.smt2
UniqueZipper.hs.1030minimized2.cvc4.smt2
lemmabug-ListElts317minimized.smt2
sharing-preregister.smt2
small.smt2
smaller.smt2
stacks0.hs.78.cvc4.smt2