From 0f4480a16da05f5e61d26c1a56046c4f691f0f29 Mon Sep 17 00:00:00 2001
From: Alinson Xavier <axavier@uwaterloo.ca>
Date: Wed, 9 Aug 2017 08:00:52 -0400
Subject: [PATCH] infinity: Make coefficients slightly weaker

---
 infinity/library/src/infinity.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/infinity/library/src/infinity.c b/infinity/library/src/infinity.c
index 3269f66..7ece25c 100644
--- a/infinity/library/src/infinity.c
+++ b/infinity/library/src/infinity.c
@@ -154,6 +154,7 @@ static int create_cut_from_lfree(const struct Tableau *tableau,
             abort_if(rval, "INFINITY_psi failed");
         }
 
+        value *= 1.001;
         log_verbose("   psi[%4d] = %20.12lf %d\n", map->indices[i], value);
 
         cut->indices[i] = map->indices[i];