/*.log
/*.out
/write_gzip.v
/write_gzip.v.gz
/run-test.mk
/plugin.so
/plugin.so.dSYM
/temp
/smtlib2_module.smt2
/smtlib2_module-filtered.smt2