From 292cbfcf90ea8830d8da5bdf753f6130e47a0ddd Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 21 May 2014 22:40:19 +0900 Subject: Experiment with support minimization. --- src/misc/extra/extraUtilSupp.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/misc/extra/extraUtilSupp.c b/src/misc/extra/extraUtilSupp.c index 13d8828b..52cd435b 100644 --- a/src/misc/extra/extraUtilSupp.c +++ b/src/misc/extra/extraUtilSupp.c @@ -220,7 +220,7 @@ void Abc_SuppTest( int nOnes, int nVars, int fUseSimple, int fVerbose ) Vec_Int_t * vPairs = fUseSimple ? Abc_SuppGenPairs2( nOnes, nVars ) : Abc_SuppGenPairs( vRes, nVars ); printf( "M = %2d N = %2d : ", nOnes, nVars ); printf( "K = %6d ", Vec_IntSize(vRes) ); - printf( "Total = %12u ", (word)Vec_IntSize(vRes) * (word)(Vec_IntSize(vRes) - 1) / 2 ); + printf( "Total = %12.0f ", 0.5 * Vec_IntSize(vRes) * (Vec_IntSize(vRes) - 1) ); printf( "Distinct = %8d ", Vec_IntSize(vPairs) ); Abc_PrintTime( 1, "Reduction time", Abc_Clock() - clk ); // solve the problem -- cgit v1.2.3