diff options
Diffstat (limited to 'src/aig/bdc/bdcSpfd.c')
| -rw-r--r-- | src/aig/bdc/bdcSpfd.c | 8 |
1 files changed, 6 insertions, 2 deletions
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; |