diff --git a/rflx/expression.py b/rflx/expression.py
index c5b64d3c5..6a7d7dbcb 100644
--- a/rflx/expression.py
+++ b/rflx/expression.py
@@ -27,7 +27,7 @@
     from _typeshed import SupportsAllComparisons
 
 MAX_LINE_LENGTH: Final = 100
-PROVER_TIMEOUT: Final = 600000
+PROVER_TIMEOUT: Final = 1800000
 
 
 class Z3TypeError(TypeError):