diff --git a/certora/conf/v1.5/execute.conf b/certora/conf/v1.5/execute.conf
index 356f6fcab..3972e17c0 100644
--- a/certora/conf/v1.5/execute.conf
+++ b/certora/conf/v1.5/execute.conf
@@ -24,13 +24,4 @@
     
     "solc": "solc7.6",
     "solc_via_ir": false,  
-
-    "java_args": [
-        " -ea -Dlevel.setup.helpers=info"
-    ],
-    "process": "emv",
-    "prover_args": [
-        " -verifyCache -verifyTACDumps -testMode -checkRuleDigest -callTraceHardFail on",
-        "-enableSolidityBasedInlining true"
-    ],
 }
\ No newline at end of file
diff --git a/certora/conf/v1.5/fallback.conf b/certora/conf/v1.5/fallback.conf
index d6ef152e8..acb0b6047 100644
--- a/certora/conf/v1.5/fallback.conf
+++ b/certora/conf/v1.5/fallback.conf
@@ -24,14 +24,5 @@
     "rule_sanity": "basic",
     
     "solc": "solc7.6",
-    "solc_via_ir": false,  
-
-    "java_args": [
-        " -ea -Dlevel.setup.helpers=info"
-    ],
-    "process": "emv",
-    "prover_args": [
-        " -verifyCache -verifyTACDumps -testMode -checkRuleDigest -callTraceHardFail on",
-        "-enableSolidityBasedInlining true"
-    ]
+    "solc_via_ir": false,
 }
\ No newline at end of file
diff --git a/certora/conf/v1.5/guards.conf b/certora/conf/v1.5/guards.conf
index 566876795..0e67a93c5 100644
--- a/certora/conf/v1.5/guards.conf
+++ b/certora/conf/v1.5/guards.conf
@@ -24,14 +24,5 @@
     "rule_sanity": "basic",
     
     "solc": "solc7.6",
-    "solc_via_ir": false,  
-
-    "java_args": [
-        " -ea -Dlevel.setup.helpers=info"
-    ],
-    "process": "emv",
-    "prover_args": [
-        " -verifyCache -verifyTACDumps -testMode -checkRuleDigest -callTraceHardFail on",
-        "-enableSolidityBasedInlining true"
-    ],
+    "solc_via_ir": false, 
 }
\ No newline at end of file
diff --git a/certora/conf/v1.5/setup.conf b/certora/conf/v1.5/setup.conf
index e9ed4b885..71a505028 100644
--- a/certora/conf/v1.5/setup.conf
+++ b/certora/conf/v1.5/setup.conf
@@ -22,13 +22,4 @@
     
     "solc": "solc7.6",
     "solc_via_ir": false,  
-
-    "java_args": [
-        " -ea -Dlevel.setup.helpers=info"
-    ],
-    "process": "emv",
-    "prover_args": [
-        " -verifyCache -verifyTACDumps -testMode -checkRuleDigest -callTraceHardFail on",
-        "-enableSolidityBasedInlining true"
-    ]
 }
\ No newline at end of file