diff --git a/.gitignore b/.gitignore
index 3225e6ac9..c9b7b672f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -57,3 +57,7 @@ config.cache
 *.json
 *.fdb_latexmk
 *.xz
+dt*ba-sat.cnf
+dt*ba-sat.out
+dt*ba-sat.dbg
+*.exe