From aa1c2cf73a67f320b6f9ccc04730039bb4503c34 Mon Sep 17 00:00:00 2001
From: Weijia Wang <9713184+wegank@users.noreply.github.com>
Date: Sat, 13 Dec 2025 02:46:03 +0100
Subject: [PATCH] Fix overflow on data duplication with elimination order

---
 src/msolve/duplicate.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/msolve/duplicate.c b/src/msolve/duplicate.c
index f1db24f0..5cf3742e 100644
--- a/src/msolve/duplicate.c
+++ b/src/msolve/duplicate.c
@@ -394,7 +394,7 @@ static inline void duplicate_data_mthread_gbtrace(int nthreads,
                                                   trace_t **btrace){
 
 
-  const len_t len = num_gb[0] * (st->nvars);
+  const len_t len = num_gb[0] * (st->nvars - st->nev);
 
   for(int i = 0; i < nthreads; i++){
     leadmons_current[i] = (int32_t *)calloc(len, sizeof(int32_t));