diff --git a/certora/scripts/verifyInitializableComplex.sh b/certora/scripts/verifyInitializableComplex.sh
deleted file mode 100644
index 2a3da4b2d..000000000
--- a/certora/scripts/verifyInitializableComplex.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-certoraRun \
-    certora/harnesses/InitializableComplexHarness.sol \
-    --verify InitializableComplexHarness:certora/specs/InitializableCompex.spec \
-    --solc solc \
-    --optimistic_loop \
-    --rule_sanity advanced \
-    --send_only \
-    --loop_iter 1 \
-    --msg "all sanity" \
-
-
-