diff --git a/test/concurrent/templates/flows_ra.t b/test/concurrent/templates/flows_ra.t
index 745a554..055f155 100644
--- a/test/concurrent/templates/flows_ra.t
+++ b/test/concurrent/templates/flows_ra.t
@@ -1,2 +1,2 @@
-  $ dune exec -- raven --shh ./flows_ra.rav
+  $ dune exec -- raven --shh ./flows_ra.rav --smt-timeout 20000
   Verification successful.