summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-05-21 22:40:19 +0900
committerAlan Mishchenko <alanmi@berkeley.edu>2014-05-21 22:40:19 +0900
commit292cbfcf90ea8830d8da5bdf753f6130e47a0ddd (patch)
tree53008816d627e72497a0b80221b808fe183d21aa
parent79c62d22fca56bcf5f9c51a51da3e6dfac7a4d15 (diff)
downloadabc-292cbfcf90ea8830d8da5bdf753f6130e47a0ddd.tar.gz
abc-292cbfcf90ea8830d8da5bdf753f6130e47a0ddd.tar.bz2
abc-292cbfcf90ea8830d8da5bdf753f6130e47a0ddd.zip
Experiment with support minimization.
-rw-r--r--src/misc/extra/extraUtilSupp.c2
1 files changed, 1 insertions, 1 deletions
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