diff --git a/Formula/cbmc.rb b/Formula/cbmc.rb
index 5891cc97ff4..5a9d67369df 100644
--- a/Formula/cbmc.rb
+++ b/Formula/cbmc.rb
@@ -7,14 +7,13 @@ class Cbmc < Formula
   license "BSD-4-Clause"
 
   bottle do
-    sha256 cellar: :any_skip_relocation, arm64_ventura:  "78a48921b949e9b445dbbb59b557c6ff135c9df0d6eb1b9ad50f2fd0d43e4b17"
-    sha256 cellar: :any_skip_relocation, arm64_monterey: "ef623b843686b80fc8642e39df3b18e39c00b215ccb44f1b90b38f1639385585"
-    sha256 cellar: :any_skip_relocation, arm64_big_sur:  "abf374ff4b390b578cab241360108f489beb9e20d8f76302139dffbbbb299b4f"
-    sha256 cellar: :any_skip_relocation, ventura:        "3022a52172207872566e82f21b5d4d6d92bc7b590a6fe9baa142c6a682a6dfed"
-    sha256 cellar: :any_skip_relocation, monterey:       "3cbbbb60620f13fe6cf94d2a9ce65bf79fcbbf1bc37aa334343bee73e70d1abc"
-    sha256 cellar: :any_skip_relocation, big_sur:        "5460c1dd9293332780144060f00eee10464fb53df856aba000ed258c73aa54fc"
-    sha256 cellar: :any_skip_relocation, catalina:       "283f1167c26341add17dd5421ece7a9c841dad787bbc0441e83b017dc22bb9f4"
-    sha256 cellar: :any_skip_relocation, x86_64_linux:   "8fef44b052d5234ef96036c76c0b76a56da221972785e20cb3515c0b8ea50730"
+    sha256 cellar: :any_skip_relocation, arm64_ventura:  "24d813de8d7c7d463f864fc5e0959b720b5352d87c658edc779dbb9754060205"
+    sha256 cellar: :any_skip_relocation, arm64_monterey: "54306e131363082cbbf4a0912d8dcff695543f1ff38e14dd014f7112eb8cf422"
+    sha256 cellar: :any_skip_relocation, arm64_big_sur:  "d0875eba861ff43c0c80f3804e7302b71849b8162bbe13a940f5a7a3cc157f67"
+    sha256 cellar: :any_skip_relocation, ventura:        "37a064fd8540a13b72696249f6096080374a98ef136190061547ea692973d18d"
+    sha256 cellar: :any_skip_relocation, monterey:       "01901ba5c69c0d96698d37e5dd542ae00f19801ab1de05a783273de0be98b1e5"
+    sha256 cellar: :any_skip_relocation, big_sur:        "683e6209fd73ae3782db76e13338b6b06f2b9e183ae7df04fe378cb116d9d362"
+    sha256 cellar: :any_skip_relocation, x86_64_linux:   "d26f95ca5704ef52ddeda869247d164ec0214a71543d8a4faafb3a65edbfcb0e"
   end
 
   depends_on "cmake" => :build