/test/regress/regress0/sets/mar2014/

• ../
• sharing-preregister.smt2
• small.smt2
• smaller.smt2