1 files changed, 10 insertions, 3 deletions
diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c
index 69d1df77..1eb5a964 100644
--- a/src/base/wlc/wlcAbs.c
+++ b/src/base/wlc/wlcAbs.c
@@ -1107,9 +1107,16 @@ int Wlc_NtkPdrAbs( Wlc_Ntk_t * p, Wlc_Par_t * pPars )
         }
 
         // perform refinement
-        clk2 = Abc_Clock();
-        vRefine = Wlc_NtkAbsRefinement( p, pGia, pCex, vPisNew );
-        tCbr += Abc_Clock() - clk2;
+        if ( pPars->fHybrid || !pPars->fProofRefine )
+        {
+            clk2 = Abc_Clock();
+            vRefine = Wlc_NtkAbsRefinement( p, pGia, pCex, vPisNew );
+            tCbr += Abc_Clock() - clk2;
+        }
+        else // proof-based only
+        {
+            vRefine = Vec_IntDup( vPisNew );
+        }
         if ( pPars->fProofRefine ) 
         {
             clk2 = Abc_Clock();