diff --git a/certora/confs/termRepoServicer.conf b/certora/confs/termRepoServicer.conf
index bb7fa3b..de603df 100644
--- a/certora/confs/termRepoServicer.conf
+++ b/certora/confs/termRepoServicer.conf
@@ -18,12 +18,8 @@
         "TermRepoCollateralManagerHarness:termRepoLocker=TermRepoLocker"
     ],
     "prover_args": [
-		"-smt_initialSplitDepth 10",
-		"-depth 20",
-		"-mediumTimeout 2",
-		"-splitParallel true",
-		"-splitParallelTimelimit 7200",
-		"-splitParallelInitialDepth 10"
+		"-depth 15",
+        "-splitParallel true"
 	],
     "solc_optimize": "50",
     "loop_iter": "2",