diff --git a/tests/bench/speedcenter.exec.velcom.yaml b/tests/bench/speedcenter.exec.velcom.yaml
index f284966839..62f882459a 100644
--- a/tests/bench/speedcenter.exec.velcom.yaml
+++ b/tests/bench/speedcenter.exec.velcom.yaml
@@ -426,7 +426,7 @@
     tags: [fast, suite]
   run_config:
     <<: *time
-    cmd: lean simp_congr.lean
+    cmd: lean --tstack=16384 simp_congr.lean
 - attributes:
     description: mut_rec_wf
     tags: [fast, suite]