countbits
*.smt
*.btor
