diff --git a/certora/scripts/ERC20VotesRule.sh b/certora/scripts/old/ERC20VotesRule.sh
similarity index 100%
rename from certora/scripts/ERC20VotesRule.sh
rename to certora/scripts/old/ERC20VotesRule.sh
diff --git a/certora/scripts/Governor.sh b/certora/scripts/old/Governor.sh
similarity index 100%
rename from certora/scripts/Governor.sh
rename to certora/scripts/old/Governor.sh
diff --git a/certora/scripts/GovernorCountingSimple-counting.sh b/certora/scripts/old/GovernorCountingSimple-counting.sh
similarity index 100%
rename from certora/scripts/GovernorCountingSimple-counting.sh
rename to certora/scripts/old/GovernorCountingSimple-counting.sh
diff --git a/certora/scripts/WizardControlFirstPriority.sh b/certora/scripts/old/WizardControlFirstPriority.sh
similarity index 100%
rename from certora/scripts/WizardControlFirstPriority.sh
rename to certora/scripts/old/WizardControlFirstPriority.sh
diff --git a/certora/scripts/WizardFirstTry.sh b/certora/scripts/old/WizardFirstTry.sh
similarity index 100%
rename from certora/scripts/WizardFirstTry.sh
rename to certora/scripts/old/WizardFirstTry.sh
diff --git a/certora/scripts/sanity.sh b/certora/scripts/old/sanity.sh
similarity index 100%
rename from certora/scripts/sanity.sh
rename to certora/scripts/old/sanity.sh
diff --git a/certora/scripts/sanityGovernor.sh b/certora/scripts/old/sanityGovernor.sh
similarity index 100%
rename from certora/scripts/sanityGovernor.sh
rename to certora/scripts/old/sanityGovernor.sh
diff --git a/certora/scripts/sanityTokens.sh b/certora/scripts/old/sanityTokens.sh
similarity index 100%
rename from certora/scripts/sanityTokens.sh
rename to certora/scripts/old/sanityTokens.sh
diff --git a/certora/scripts/verifyAccessControl.sh b/certora/scripts/old/verifyAccessControl.sh
similarity index 100%
rename from certora/scripts/verifyAccessControl.sh
rename to certora/scripts/old/verifyAccessControl.sh
diff --git a/certora/scripts/verifyAll.sh b/certora/scripts/old/verifyAll.sh
similarity index 100%
rename from certora/scripts/verifyAll.sh
rename to certora/scripts/old/verifyAll.sh
diff --git a/certora/scripts/verifyAll2.sh b/certora/scripts/old/verifyAll2.sh
similarity index 100%
rename from certora/scripts/verifyAll2.sh
rename to certora/scripts/old/verifyAll2.sh
diff --git a/certora/scripts/verifyERC1155.sh b/certora/scripts/old/verifyERC1155.sh
similarity index 100%
rename from certora/scripts/verifyERC1155.sh
rename to certora/scripts/old/verifyERC1155.sh
diff --git a/certora/scripts/verifyERC20FlashMint.sh b/certora/scripts/old/verifyERC20FlashMint.sh
similarity index 100%
rename from certora/scripts/verifyERC20FlashMint.sh
rename to certora/scripts/old/verifyERC20FlashMint.sh
diff --git a/certora/scripts/verifyERC20Votes.sh b/certora/scripts/old/verifyERC20Votes.sh
similarity index 100%
rename from certora/scripts/verifyERC20Votes.sh
rename to certora/scripts/old/verifyERC20Votes.sh
diff --git a/certora/scripts/verifyERC20Wrapper.sh b/certora/scripts/old/verifyERC20Wrapper.sh
similarity index 100%
rename from certora/scripts/verifyERC20Wrapper.sh
rename to certora/scripts/old/verifyERC20Wrapper.sh
diff --git a/certora/scripts/verifyERC721Votes.sh b/certora/scripts/old/verifyERC721Votes.sh
similarity index 100%
rename from certora/scripts/verifyERC721Votes.sh
rename to certora/scripts/old/verifyERC721Votes.sh
diff --git a/certora/scripts/verifyGovernor.sh b/certora/scripts/old/verifyGovernor.sh
similarity index 100%
rename from certora/scripts/verifyGovernor.sh
rename to certora/scripts/old/verifyGovernor.sh
diff --git a/certora/scripts/verifyTimelock.sh b/certora/scripts/old/verifyTimelock.sh
similarity index 100%
rename from certora/scripts/verifyTimelock.sh
rename to certora/scripts/old/verifyTimelock.sh