Actually use the strengthened lower bound

wbreeze · May 10, 2019 · 6d4f6e5 · 6d4f6e5
1 parent 7789cd9
commit 6d4f6e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/davenport.c b/src/davenport.c
@@ -150,7 +150,7 @@ void dv_extend_solution(Davenport *d)
   if (e_cur < d->edge_ct) {
     int lower_bound = solution_graph_disagreements(d->solution_graph) +
       d->cycle_lower_bounds;
-    if (solution_graph_disagreements(d->solution_graph) <= d->best_found)
+    if (lower_bound <= d->best_found)
     {
       while(e_cur < d->edge_ct) {
         int edge_offset = d->edge_list[e_cur];