diff --git a/src/aig/gia/giaAbsGla.c b/src/aig/gia/giaAbsGla.c
index a3efac1..d992aea 100644
--- a/src/aig/gia/giaAbsGla.c
+++ b/src/aig/gia/giaAbsGla.c
@@ -2082,10 +2082,12 @@ int Gia_GlaPerform( Gia_Man_t * pAig, Gia_ParVta_t * pPars, int fStartVta )
             // dump the model into file
             if ( p->pPars->fDumpVabs )
             {
+                char Command[1000];
                 Abc_FrameSetStatus( -1 );
                 Abc_FrameSetCex( NULL );
                 Abc_FrameSetNFrames( f+1 );
-                Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "write_status gla.status" );
+                sprintf( Command, "write_status %s", Extra_FileNameGenericAppend((p->pPars->pFileVabs ? p->pPars->pFileVabs : "glabs.aig"), ".status") );
+                Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), Command );
                 Gia_GlaDumpAbsracted( p, pPars->fVerbose );
             }
         }
diff --git a/src/aig/gia/giaAbsGla2.c b/src/aig/gia/giaAbsGla2.c
index da9d63c..9504e32 100644
--- a/src/aig/gia/giaAbsGla2.c
+++ b/src/aig/gia/giaAbsGla2.c
@@ -1641,10 +1641,12 @@ int Ga2_ManPerform( Gia_Man_t * pAig, Gia_ParVta_t * pPars )
                 // dump the model into file
                 if ( p->pPars->fDumpVabs || p->pPars->fDumpMabs )
                 {
+                    char Command[1000];
                     Abc_FrameSetStatus( -1 );
                     Abc_FrameSetCex( NULL );
                     Abc_FrameSetNFrames( f+1 );
-                    Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "write_status gla.status" );
+                    sprintf( Command, "write_status %s", Extra_FileNameGenericAppend((p->pPars->pFileVabs ? p->pPars->pFileVabs : "glabs.aig"), ".status") );
+                    Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), Command );
                     Ga2_GlaDumpAbsracted( p, pPars->fVerbose );
                 }
 
diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c
index 084cb90..4edbacc 100644
--- a/src/aig/gia/giaAbsVta.c
+++ b/src/aig/gia/giaAbsVta.c
@@ -1683,10 +1683,12 @@ int Gia_VtaPerformInt( Gia_Man_t * pAig, Gia_ParVta_t * pPars )
         // dump the model
         if ( p->pPars->fDumpVabs && (f & 1) )
         {
+            char Command[1000];
             Abc_FrameSetStatus( -1 );
             Abc_FrameSetCex( NULL );
             Abc_FrameSetNFrames( f+1 );
-            Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "write_status vta.status" );
+            sprintf( Command, "write_status %s", Extra_FileNameGenericAppend((p->pPars->pFileVabs ? p->pPars->pFileVabs : "vtabs.aig"), ".status") );
+            Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), Command );
             Gia_VtaDumpAbsracted( p, pPars->fVerbose );
         }
         // check if the number of objects is below limit