diff --git a/PSM3.conf b/PSM3.conf
index 475f843..0cb476c 100644
--- a/PSM3.conf
+++ b/PSM3.conf
@@ -27,7 +27,6 @@
     "smt_timeout": "7200",
     "global_timeout": "7200",
     "prover_args": [
-        "-depth 0",
         " -s [z3:def{randomSeed=1},z3:def{randomSeed=2},z3:def{randomSeed=3},z3:def{randomSeed=4},z3:def{randomSeed=5},z3:def{randomSeed=6},z3:def{randomSeed=7},z3:def{randomSeed=8},z3:def{randomSeed=9},z3:def{randomSeed=10}]"
     ],
     "build_cache": true,