diff --git a/.gitignore b/.gitignore
index 77c94768e4622647b2921ddc87f91a73b4a6a8e5..2211745bbcd88bc91b988914f2b37a6d954b92d5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,5 +12,7 @@ tests/org/
 .stack-work/
 # Intellij IDEA
 .idea/
-# Z3
-z3.log
+# Output logs
+*.log
+*.out
+*.backup