diff --git a/example.py b/example.py
index 30025425..88ff77c6 100644
--- a/example.py
+++ b/example.py
@@ -1910,7 +1910,7 @@ def core(self, slothy):
         
 
         # Step 1: find minimum number of stack spills in first loop
-        slothy.config.timeout = 300
+        slothy.config.objective_lower_bound = 7
         slothy.config.constraints.functional_only = True
         slothy.config.constraints.allow_spills = True
         slothy.config.constraints.minimize_spills = True