/**/*.smt2
/**/*.output
/**/*.dat
