From 9c0c4607956295c019620f5927be0523d1c581a8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 23 Jun 2015 20:48:24 -0700
Subject: New command &genqbf to dump the QBF miter for ind inv computation.

---
 src/base/abci/abcQbf.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/base/abci/abcQbf.c')

diff --git a/src/base/abci/abcQbf.c b/src/base/abci/abcQbf.c
index 81c80b13..aa67ad74 100644
--- a/src/base/abci/abcQbf.c
+++ b/src/base/abci/abcQbf.c
@@ -202,9 +202,10 @@ clkV = Abc_Clock() - clkV;
     // report the results
     if ( fFound )
     {
+        int nZeros = Vec_IntCountZero( vPiValues );
         printf( "Parameters: " );
         Abc_NtkVectorPrintPars( vPiValues, nPars );
-        printf( "\n" );
+        printf( "  Statistics: 0=%d 1=%d\n", nZeros, Vec_IntSize(vPiValues) - nZeros );
         printf( "Solved after %d interations.  ", nIters );
     }
     else if ( nIters == nItersMax )
-- 
cgit v1.2.3