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