diff --git a/.circleci/config.yml b/.circleci/config.yml
index 39c219bce..8cddc8793 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -1098,6 +1098,7 @@ jobs:
     parallelism: 20
     environment:
       EVM: << pipeline.parameters.evm-version >>
+      SOLTEST_FLAGS: --no-smt
     <<: *steps_soltest
 
   t_ubu_ubsan_clang_cli: