diff --git a/GillianCore/z3/z3_encoding.ml b/GillianCore/z3/z3_encoding.ml
index da51046a5..5e40fc1a4 100644
--- a/GillianCore/z3/z3_encoding.ml
+++ b/GillianCore/z3/z3_encoding.ml
@@ -39,7 +39,7 @@ let cfg =
     ("proof", "false");
     ("unsat_core", "false");
     ("auto_config", "true");
-    ("timeout", "16384");
+    ("timeout", "30000");
   ]
 
 let ctx : Z3.context = Z3.mk_context cfg