1 files changed, 6 insertions, 0 deletions
diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c
index 8a41ec40..40e5a45c 100644
--- a/src/aig/gia/giaAbsVta.c
+++ b/src/aig/gia/giaAbsVta.c
@@ -1674,6 +1674,12 @@ int Gia_VtaPerformInt( Gia_Man_t * pAig, Gia_ParVta_t * pPars )
                     Vga_ManRollBack( p, nObjOld );
                     goto finish;
                 }
+                // check timeout
+                if ( p->pSat->nRuntimeLimit && time(NULL) > p->pSat->nRuntimeLimit )
+                {
+                    Vga_ManRollBack( p, nObjOld );
+                    goto finish;
+                }
                 if ( vCore != NULL )
                 {
                     p->timeUnsat += clock() - clk2;