From 6bb11f989ee51a3d2edf0fc94f1d473f0a18cc90 Mon Sep 17 00:00:00 2001
From: sunbreak1211 <sunbreak1211@proton.me>
Date: Mon, 2 Dec 2024 07:22:04 -0300
Subject: [PATCH] Change config

---
 PSM3.conf | 1 -
 1 file changed, 1 deletion(-)

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,