diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index 3adbe618c8..9f99ece121 100644
--- a/kevm-pyk/pyproject.toml
+++ b/kevm-pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.449"
+version = "1.0.450"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py
index ab0ca6c9b9..d8cdf46d25 100644
--- a/kevm-pyk/src/kevm_pyk/__init__.py
+++ b/kevm-pyk/src/kevm_pyk/__init__.py
@@ -6,4 +6,4 @@
     from typing import Final
 
 
-VERSION: Final = '1.0.449'
+VERSION: Final = '1.0.450'
diff --git a/package/version b/package/version
index cc15fe6033..1e2d57a336 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-1.0.449
+1.0.450
diff --git a/tests/failing-symbolic.haskell-booster b/tests/failing-symbolic.haskell-booster
index 6cc20db2ad..3536af751e 100644
--- a/tests/failing-symbolic.haskell-booster
+++ b/tests/failing-symbolic.haskell-booster
@@ -1,19 +1,9 @@
-tests/specs/benchmarks/ecrecoverloop00-sig0-invalid-spec.k
-tests/specs/benchmarks/ecrecoverloop00-sig1-invalid-spec.k
-tests/specs/benchmarks/ecrecoverloop00-sigs-valid-spec.k
-tests/specs/benchmarks/ecrecoverloop02-sig0-invalid-spec.k
-tests/specs/benchmarks/ecrecoverloop02-sig1-invalid-spec.k
-tests/specs/benchmarks/ecrecoverloop02-sigs-valid-spec.k
-tests/specs/benchmarks/functional-spec.k
 tests/specs/bihu/collectToken-spec.k
 tests/specs/examples/erc721-spec.md
 tests/specs/examples/sum-to-n-foundry-spec.k
-tests/specs/examples/sum-to-n-spec.k
-tests/specs/functional/infinite-gas-spec.k
 tests/specs/functional/int-simplifications-spec.k
 tests/specs/functional/lemmas-no-smt-spec.k
 tests/specs/functional/lemmas-spec.k
-tests/specs/functional/merkle-spec.k
 tests/specs/functional/storageRoot-spec.k
 tests/specs/mcd/dstoken-burn-self-fail-rough-spec.k
 tests/specs/mcd/dstoken-transferfrom-fail-rough-spec.k
@@ -23,17 +13,11 @@ tests/specs/mcd/flapper-tend-guy-diff-pass-rough-spec.k
 tests/specs/mcd/flapper-yank-pass-rough-spec.k
 tests/specs/mcd/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k
 tests/specs/mcd/flopper-dent-guy-same-pass-rough-spec.k
-tests/specs/mcd/flopper-kick-pass-rough-spec.k
-tests/specs/mcd/flopper-tick-pass-rough-spec.k
 tests/specs/mcd/gemjoin-exit-pass-rough-spec.k
 tests/specs/mcd/pot-join-pass-rough-spec.k
-tests/specs/mcd/vat-flux-diff-pass-rough-spec.k
 tests/specs/mcd/vat-fold-pass-rough-spec.k
 tests/specs/mcd/vat-fork-diff-pass-rough-spec.k
 tests/specs/mcd/vat-frob-diff-zero-dart-pass-rough-spec.k
 tests/specs/mcd/vow-cage-deficit-pass-rough-spec.k
 tests/specs/mcd/vow-cage-surplus-pass-rough-spec.k
-tests/specs/mcd/vow-fess-fail-rough-spec.k
-tests/specs/mcd/vow-flog-fail-rough-spec.k
 tests/specs/opcodes/create-spec.k
-tests/specs/opcodes/evm-optimizations-spec.md
diff --git a/tests/failing-symbolic.pyk b/tests/failing-symbolic.pyk
index 49ef633baf..8acf9e0bab 100644
--- a/tests/failing-symbolic.pyk
+++ b/tests/failing-symbolic.pyk
@@ -13,13 +13,19 @@ tests/specs/erc20/ds/transferFrom-success-2-spec.k
 tests/specs/erc20/ds/transfer-success-1-spec.k
 tests/specs/examples/erc20-spec.md
 tests/specs/examples/erc721-spec.md
+tests/specs/examples/solidity-code-spec.md
+tests/specs/examples/storage-spec.md
 tests/specs/examples/sum-to-n-foundry-spec.k
 tests/specs/examples/sum-to-n-spec.k
+tests/specs/functional/infinite-gas-spec.k
 tests/specs/functional/int-simplifications-spec.k
 tests/specs/functional/lemmas-no-smt-spec.k
 tests/specs/functional/lemmas-spec.k
 tests/specs/functional/merkle-spec.k
 tests/specs/functional/storageRoot-spec.k
+tests/specs/mcd/cat-exhaustiveness-spec.k
+tests/specs/mcd/cat-file-addr-pass-rough-spec.k
+tests/specs/mcd/dstoken-approve-fail-rough-spec.k
 tests/specs/mcd/dstoken-burn-self-fail-rough-spec.k
 tests/specs/mcd/dstoken-transferfrom-fail-rough-spec.k
 tests/specs/mcd/end-cash-pass-rough-spec.k
@@ -35,12 +41,17 @@ tests/specs/mcd/flopper-tick-pass-rough-spec.k
 tests/specs/mcd/functional-spec.k
 tests/specs/mcd/gemjoin-exit-pass-rough-spec.k
 tests/specs/mcd/pot-join-pass-rough-spec.k
+tests/specs/mcd/vat-addui-pass-spec.k
+tests/specs/mcd/vat-deny-diff-fail-rough-spec.k
 tests/specs/mcd/vat-flux-diff-pass-rough-spec.k
 tests/specs/mcd/vat-fold-pass-rough-spec.k
 tests/specs/mcd/vat-fork-diff-pass-rough-spec.k
 tests/specs/mcd/vat-frob-diff-zero-dart-pass-rough-spec.k
 tests/specs/mcd/vat-move-diff-rough-spec.k
+tests/specs/mcd/vat-muluu-pass-spec.k
 tests/specs/mcd/vat-slip-pass-rough-spec.k
+tests/specs/mcd/vat-subui-pass-rough-spec.k
+tests/specs/mcd/vat-subui-pass-spec.k
 tests/specs/mcd/vow-cage-deficit-pass-rough-spec.k
 tests/specs/mcd/vow-cage-surplus-pass-rough-spec.k
 tests/specs/mcd/vow-fess-fail-rough-spec.k