diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index c2d8886c0..e981dcf33 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -3000,20 +3000,6 @@ Gia_Man_t * Gia_ManPerformMappingInt( Gia_Man_t * p, If_Par_t * pPars )
             pPars->pTimesReq[i] = EntryF;
     }
 */
-    if ( p->pManTime && pPars->pTimesArr == NULL )
-    {
-        Tim_Man_t * pManTime = (Tim_Man_t *)p->pManTime;
-        pPars->pTimesArr = ABC_CALLOC( float, Gia_ManCiNum(p) );
-        for ( i = 0; i < Gia_ManCiNum(p); i++ )
-            pPars->pTimesArr[i] = Tim_ManGetCiArrival( pManTime, i );
-    }
-    if ( p->pManTime && pPars->pTimesReq == NULL )
-    {
-        Tim_Man_t * pManTime = (Tim_Man_t *)p->pManTime;
-        pPars->pTimesReq = ABC_CALLOC( float, Gia_ManCoNum(p) );
-        for ( i = 0; i < Gia_ManCoNum(p); i++ )
-            pPars->pTimesReq[i] = Tim_ManGetCoRequired( pManTime, i );
-    }
     ABC_FREE( p->pCellStr );
     Vec_IntFreeP( &p->vConfigs );
     Vec_StrFreeP( &p->vConfigs2 );
diff --git a/src/map/if/ifTime.c b/src/map/if/ifTime.c
index 81f88fd72..2b3e21a5a 100644
--- a/src/map/if/ifTime.c
+++ b/src/map/if/ifTime.c
@@ -477,26 +477,7 @@ void If_ManComputeRequired( If_Man_t * p )
             return;
         // set the required times for the POs
         Tim_ManIncrementTravId( p->pManTim );
-        if ( p->pPars->pTimesReq )
-        {
-            Counter = 0;
-            If_ManForEachCo( p, pObj, i )
-            {
-                reqTime = p->pPars->pTimesReq[i];
-                if ( If_ObjArrTime(If_ObjFanin0(pObj)) > reqTime + p->fEpsilon )
-                {
-                    reqTime = If_ObjArrTime(If_ObjFanin0(pObj));
-                    Counter++;
-                }
-                Tim_ManSetCoRequired( p->pManTim, i, reqTime );
-            }
-            if ( Counter && !p->fReqTimeWarn )
-            {
-                Abc_Print( 0, "Required times are exceeded at %d output%s. The earliest arrival times are used.\n", Counter, Counter > 1 ? "s":"" );
-                p->fReqTimeWarn = 1;
-            }
-        }
-        else if ( p->vCoAttrs )
+        if ( p->vCoAttrs )
         {
             assert( If_ManCoNum(p) == Vec_IntSize(p->vCoAttrs) );
             If_ManForEachCo( p, pObj, i )