From 166fba35092bb78818320a93bcb47f0d0af8d84b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 21 Aug 2011 15:09:11 +0700 Subject: Experiments with SPFD-based decomposition. --- src/aig/bdc/bdcSpfd.c | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/aig/bdc/bdcSpfd.c b/src/aig/bdc/bdcSpfd.c index 7e2a423f..b9e477b0 100644 --- a/src/aig/bdc/bdcSpfd.c +++ b/src/aig/bdc/bdcSpfd.c @@ -578,8 +578,12 @@ Vec_Wrd_t * Bdc_SpfdDecomposeTest__( Vec_Int_t ** pvWeights ) // int nSize = 2777111; // the hash table size to use // int Limit = 6; - int nFuncs = 51000000; // the number of functions to compute - int nSize = 50331653; // the hash table size to use +// int nFuncs = 51000000; // the number of functions to compute +// int nSize = 50331653; // the hash table size to use +// int Limit = 6; + + int nFuncs = 250000000; // the number of functions to compute + int nSize = 201326611; // the hash table size to use int Limit = 6; int * pPlace, i, n, m, k, s, fCompl, clk = clock(), clk2; -- cgit v1.2.3