*.aag
*.aig
*.aag.gz
*.aig.gz
*.smvfromaig
*.log
*.err
