/test/regress/regress0/sets/mar2014/
../
sharing-preregister.smt2
small.smt2
smaller.smt2