diff --git a/.circleci/config.yml b/.circleci/config.yml
index 087341292..4c2e9327d 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -1044,6 +1044,8 @@ jobs:
 
   t_ubu_soltest_eof: &t_ubu_soltest_eof
     <<: *eof_ubuntu2204_small
+    environment:
+      CMAKE_OPTIONS: -DUSE_CVC4=OFF
     parallelism: 50
     steps:
       - run: