diff --git a/tests/circomlib-test.rkt b/tests/circomlib-test.rkt
index f989ae3..8b1165f 100644
--- a/tests/circomlib-test.rkt
+++ b/tests/circomlib-test.rkt
@@ -20,7 +20,7 @@
       (parameterize ([current-namespace (make-base-namespace)]
                      [current-command-line-arguments
                       (vector "--solver" "cvc5"
-                              "--timeout" "10000"
+                              "--timeout" "5000"
                               "--weak"
                               "--verbose" "1"
                               "--r1cs"