From 6fbf7ca54b483e545aa1b5a154e01bae28cd2b85 Mon Sep 17 00:00:00 2001
From: "Matthias J. Kannwischer" <matthias@kannwischer.eu>
Date: Wed, 16 Oct 2024 14:58:50 +0800
Subject: [PATCH] adjust example to use objective_lower_bound

---
 example.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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