diff --git a/certora/scripts/verify-collectible-v1.sh b/certora/scripts/verify-collectible-v1.sh
index 3de5760..db9c3ff 100755
--- a/certora/scripts/verify-collectible-v1.sh
+++ b/certora/scripts/verify-collectible-v1.sh
@@ -6,6 +6,5 @@ certoraRun \
 --optimistic_loop \
 --loop_iter 3 \
 --rule_sanity "basic" \
---wait_for_results "all" \
 --msg "Verifying CollectibleV1.sol"
 
diff --git a/certora/scripts/verify-community-token-deployer.sh b/certora/scripts/verify-community-token-deployer.sh
index e318e45..10aeb13 100755
--- a/certora/scripts/verify-community-token-deployer.sh
+++ b/certora/scripts/verify-community-token-deployer.sh
@@ -10,6 +10,5 @@ certoraRun \
 --packages @openzeppelin=lib/openzeppelin-contracts \
 --optimistic_loop \
 --rule_sanity "basic" \
---wait_for_results "all" \
 --msg "Verifying CommunityTokenDeployer.sol"