/test/regress/regress0/expect/
../
README
scrub.01.smt
scrub.02.smt
scrub.03.smt2
scrub.04.smt2
scrub.06.cvc
scrub.08.sy
scrub.09.p