*.log *.smt2