diff --git a/certora/confs/Reverts.conf b/certora/confs/Reverts.conf
index d1aee2ad..cec44bdc 100644
--- a/certora/confs/Reverts.conf
+++ b/certora/confs/Reverts.conf
@@ -20,7 +20,7 @@
     "prover_args": [
         "-depth 3",
         "-mediumTimeout 20",
-        "-timeout 300",
+        "-timeout 3600",
     ],
     "rule_sanity": "basic",
     "server": "production",