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