/test/regress/regress4/
../
C880mul.miter.shuffled-as.sat03-348.smtv1.smt2
NEQ016_size5.smtv1.smt2
bug143.smtv1.smt2
comb2.shuffled-as.sat03-420.smtv1.smt2
hole10.cvc
instance_1151.smtv1.smt2