From e95f9757c92185e5c8a9cd2795ee7a8ec7b3d95b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 14 Jun 2026 22:38:40 -0700 Subject: [PATCH] lipstick Signed-off-by: Nikolaj Bjorner --- src/solver/parallel_tactical2.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/solver/parallel_tactical2.cpp b/src/solver/parallel_tactical2.cpp index 3966732e6..5b0902751 100644 --- a/src/solver/parallel_tactical2.cpp +++ b/src/solver/parallel_tactical2.cpp @@ -1656,13 +1656,13 @@ class parallel_solver { return den > 0 ? num / den : 0.0; }; - st.update("bb-backbone-yield-pct", + st.update("parallel-bb-backbone-yield-pct", 100.0 * safe_ratio(m_stats.m_internal_backbones_found, m_stats.m_candidates_total)); - st.update("bb-avg-backbones-per-batch", + st.update("parallel-bb-avg-backbones-per-batch", safe_ratio(m_stats.m_internal_backbones_found, m_stats.m_batches_total)); - st.update("bb-core-refinement-rounds-per-batch", + st.update("parallel-bb-core-refinement-rounds-per-batch", safe_ratio(m_stats.m_core_refinement_rounds, m_stats.m_batches_total)); - st.update("bb-core-effectiveness-lit-removed-per-round", + st.update("parallel-bb-core-effectiveness-lit-removed-per-round", safe_ratio(m_stats.m_lits_removed_by_core, m_stats.m_core_refinement_rounds)); }