Updating cut level.

alanminko · alanminko · commit c62bf1b89c8d · 2025-03-10T00:08:35.000-07:00
diff --git 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 );

Original file line number	Diff line number	Diff line change
`@@ -1816,7 +1816,7 @@ Vec_Ptr_t * Abc_NtkExtractPartitions( Abc_Ntk_t * pNtk, int Iter, int nSuppMax,`
`1816`	`1816`	`pvIns = pvOuts = *pvNodes = NULL;`
`1817`	`1817`	`return vWins;`
`1818`	`1818`	`}`
`1819`		`- int iUseRevL = Abc_Random(0) & 1;`
	`1819`	`+ int iUseRevL = Iter % 3 == 0 ? 0 : Abc_Random(0) & 1;`
`1820`	`1820`	`int LevelMax = iUseRevL ? Abc_NtkLevelR(pNtk) : Abc_NtkLevel(pNtk);`
`1821`	`1821`	`int LevelCut = Iter % 3 == 0 ? 0 : LevelMax > 8 ? 2 + (Abc_Random(0) % (LevelMax - 4)) : 0;`
`1822`	`1822`	`//printf( "Using %s cut level %d (out of %d)\n", iUseRevL ? "reverse": "direct", LevelCut, LevelMax );`