diff --git a/certora/confs/Liveness.conf b/certora/confs/Liveness.conf
index ed583baf..f391344c 100644
--- a/certora/confs/Liveness.conf
+++ b/certora/confs/Liveness.conf
@@ -16,10 +16,9 @@
     "loop_iter": "2",
     "optimistic_loop": true,
     "prover_args": [
-        "-depth 3",
-        "-mediumTimeout 20",
-        "-timeout 120",
+        "-smt_easy_LIA true",
     ],
+    "smt_timeout": "7000",
     "rule_sanity": "basic",
     "server": "production",
     "msg": "MetaMorpho Liveness"