diff --git a/Analysis/GRSimpleVals.cpp b/Analysis/GRSimpleVals.cpp
index efe435b..c1bb9fd 100644
--- a/Analysis/GRSimpleVals.cpp
+++ b/Analysis/GRSimpleVals.cpp
@@ -101,7 +101,7 @@
   CheckerState->setTransferFunctions(GRSV);
   
   // Execute the worklist algorithm.
-  Engine.ExecuteWorkList(20000);
+  Engine.ExecuteWorkList(50000);
   
   SourceManager& SrcMgr = Ctx.getSourceManager();