From c62bf1b89c8d710fb1c692962252f1dd35dfd60f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 10 Mar 2025 00:08:35 -0700
Subject: [PATCH] Updating cut level.

---
 src/base/abci/abcPart.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/base/abci/abcPart.c b/src/base/abci/abcPart.c
index 0b8f01c1a..47ee20d1a 100644
--- a/src/base/abci/abcPart.c
+++ b/src/base/abci/abcPart.c
@@ -1816,7 +1816,7 @@ Vec_Ptr_t * Abc_NtkExtractPartitions( Abc_Ntk_t * pNtk, int Iter, int nSuppMax,
         *pvIns = *pvOuts = *pvNodes = NULL;
         return vWins;
     }
-    int iUseRevL = Abc_Random(0) & 1;
+    int iUseRevL = Iter % 3 == 0 ? 0 : Abc_Random(0) & 1;
     int LevelMax = iUseRevL ? Abc_NtkLevelR(pNtk) : Abc_NtkLevel(pNtk);
     int LevelCut = Iter % 3 == 0 ? 0 : LevelMax > 8 ? 2 + (Abc_Random(0) % (LevelMax - 4)) : 0;
     //printf( "Using %s cut level %d (out of %d)\n", iUseRevL ? "reverse": "direct", LevelCut, LevelMax );