diff --git a/agora-specs/Property/Governor.hs b/agora-specs/Property/Governor.hs
index aba21b4..ed6dc40 100644
--- a/agora-specs/Property/Governor.hs
+++ b/agora-specs/Property/Governor.hs
@@ -291,7 +291,7 @@ props =
   ]
   where
     go :: QuickCheckTests -> QuickCheckTests
-    go = min 2000
+    go = max 20_000
 
 loudEval ::
   forall (p :: S -> Type).