*.smt
*.aig
*.cnf
*.log
