From 7df17e3c5ebc426bddbc43fdcf4cfa2826627cba Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 5 Sep 2023 11:13:08 +0700 Subject: [PATCH] Experiments with the SAT sweeper. --- src/proof/cec/cecSatG2.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/proof/cec/cecSatG2.c b/src/proof/cec/cecSatG2.c index 0395d7fe2..281deb0e9 100644 --- a/src/proof/cec/cecSatG2.c +++ b/src/proof/cec/cecSatG2.c @@ -1919,11 +1919,11 @@ finalize: char pFileName[1000], * pBase = Extra_FileNameGeneric(p->pName); extern Gia_Man_t * Gia_ManDupMiterCones( Gia_Man_t * p, Vec_Int_t * vPairs ); Gia_Man_t * pM = Gia_ManDupMiterCones( p, pMan->vPairs ); - sprintf( pFileName, "%s_miter.aig", pBase ); + sprintf( pFileName, "%s_sm.aig", pBase ); Gia_AigerWrite( pM, pFileName, 0, 0, 0 ); Gia_ManStop( pM ); ABC_FREE( pBase ); - printf( "Dumped miter \"%s\" with %d pairs.\n", pFileName, pMan->vPairs ? Vec_IntSize(pMan->vPairs) : -1 ); + printf( "Dumped miter \"%s\" with %d pairs.\n", pFileName, pMan->vPairs ? Vec_IntSize(pMan->vPairs)/2 : -1 ); } Cec4_ManDestroy( pMan ); //Gia_ManStaticFanoutStop( p );