From d847af311fd3fe2057b413a15dda2d70d3104244 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 21 Aug 2025 16:50:12 -0700
Subject: [PATCH] Change score calculation from conflicts to decisions

---
 PARALLEL_PROJECT_NOTES.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/PARALLEL_PROJECT_NOTES.md b/PARALLEL_PROJECT_NOTES.md
index c129631c1..215d9bda0 100644
--- a/PARALLEL_PROJECT_NOTES.md
+++ b/PARALLEL_PROJECT_NOTES.md
@@ -240,8 +240,8 @@ for benchmark in benchmarks:
       s.set("smt.max_conflicts", max_conflicts)
       r = s.check()
       st = s.statistics()
-      conf = st.num_conflicts()
-      scores[(n, v)] = conf 
+      d = st.num_decisions()
+      scores[(n, v)] = d
 
 </pre>