/test/regress/regress0/sets/mar2014/
../
sharing-preregister.smt2
small.smt2
smaller.smt2
stacks0.hs.78.cvc4.smt2