/test/regress/regress1/sym/
../
q-constant.smt2
q-function.smt2
qf-function.smt2
sb-wrong.smt2
sym-setAB.smt2
sym1.smt2
sym2.smt2
sym3.smt2
sym4.smt2
sym5.smt2
sym6.smt2
sym7-uf.smt2