diff --git a/.circleci/config.yml b/.circleci/config.yml
index f96089986..765680157 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -425,9 +425,10 @@ defaults:
         TERM: xterm
         MAKEFLAGS: -j 2
 
-  - eof_ubuntu2204_small: &eof_ubuntu2204_small
-      <<: *base_cimg_small
-      resource_class: small
+  - base_ubuntu2204_large: &base_ubuntu2204_large
+      docker:
+        - image: cimg/base:current
+      resource_class: large
       environment:
         TERM: xterm
         MAKEFLAGS: -j 5
@@ -1043,7 +1044,7 @@ jobs:
     <<: *steps_soltest_all
 
   t_ubu_soltest_eof: &t_ubu_soltest_eof
-    <<: *eof_ubuntu2204_small
+    <<: *base_ubuntu2204_large
     environment:
       CMAKE_OPTIONS: -DUSE_CVC4=OFF
       EVM: "shanghai"