diff --git a/certora/confs/AssetsAccounting.conf b/certora/confs/AssetsAccounting.conf
index 4b72c46fc..a9c261160 100644
--- a/certora/confs/AssetsAccounting.conf
+++ b/certora/confs/AssetsAccounting.conf
@@ -7,6 +7,7 @@
     "prover_args": [
         "-smt_hashingScheme plaininjectivity",
         "-mediumTimeout 30",
+        "-timeout 3600"
     ],
     "msg": "Morpho Blue Assets Accounting"
 }