diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-23 10:38:05 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-23 10:38:05 -0700 |
| commit | 47142c084b52659356cfd85182dec03d07e87380 (patch) | |
| tree | 47c1f8e7961fccda38d5e50549ee7c712158a932 /src/misc/extra | |
| parent | eb3ee4ca4aaf137cf7d56e906403e3ed84edc62a (diff) | |
| download | abc-47142c084b52659356cfd85182dec03d07e87380.tar.gz abc-47142c084b52659356cfd85182dec03d07e87380.tar.bz2 abc-47142c084b52659356cfd85182dec03d07e87380.zip | |
Experiments with permutations.
Diffstat (limited to 'src/misc/extra')
| -rw-r--r-- | src/misc/extra/extraUtilCube.c | 17 | ||||
| -rw-r--r-- | src/misc/extra/extraUtilPerm.c | 19 |
2 files changed, 36 insertions, 0 deletions
diff --git a/src/misc/extra/extraUtilCube.c b/src/misc/extra/extraUtilCube.c index 7c3bc6aa..7d1a053a 100644 --- a/src/misc/extra/extraUtilCube.c +++ b/src/misc/extra/extraUtilCube.c @@ -131,6 +131,23 @@ void Abc_EnumerateCubeStates() Vec_IntFree( vData ); } +/* +Enumerating states of 2x2x2 cube. +Iter 0 -> 1 Time = 0.00 sec +Iter 1 -> 10 Time = 0.00 sec +Iter 2 -> 64 Time = 0.00 sec +Iter 3 -> 385 Time = 0.00 sec +Iter 4 -> 2232 Time = 0.00 sec +Iter 5 -> 12224 Time = 0.00 sec +Iter 6 -> 62360 Time = 0.02 sec +Iter 7 -> 289896 Time = 0.09 sec +Iter 8 -> 1159968 Time = 0.90 sec +Iter 9 -> 3047716 Time = 11.62 sec +Iter 10 -> 3671516 Time = 52.00 sec +Iter 11 -> 3674160 Time = 70.38 sec +Iter 12 -> 3674160 Time = 70.48 sec +*/ + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// diff --git a/src/misc/extra/extraUtilPerm.c b/src/misc/extra/extraUtilPerm.c index bd78f1c9..295d2f27 100644 --- a/src/misc/extra/extraUtilPerm.c +++ b/src/misc/extra/extraUtilPerm.c @@ -901,6 +901,25 @@ void Abc_EnumerateCubeStatesZdd() } Abc_ZddManFree( p ); } + +/* +Enumerating states of 2x2x2 cube. +Iter 0 -> 1 Nodes = 0 Used = 2 Time = 0.00 sec +Iter 1 -> 10 Nodes = 63 Used = 577 Time = 0.00 sec +Iter 2 -> 64 Nodes = 443 Used = 4349 Time = 0.03 sec +Iter 3 -> 385 Nodes = 2018 Used = 26654 Time = 0.14 sec +Iter 4 -> 2232 Nodes = 7451 Used = 119442 Time = 0.45 sec +Iter 5 -> 12224 Nodes = 25178 Used = 490038 Time = 1.10 sec +Iter 6 -> 62360 Nodes = 83955 Used = 1919750 Time = 1.79 sec +Iter 7 -> 289896 Nodes = 290863 Used = 7182932 Time = 3.15 sec +Iter 8 -> 1159968 Nodes = 614845 Used = 25301123 Time = 8.03 sec +Iter 9 -> 3047716 Nodes = 585664 Used = 66228369 Time = 20.22 sec +Iter 10 -> 3671516 Nodes = 19430 Used = 102292452 Time = 33.41 sec +Iter 11 -> 3674160 Nodes = 511 Used = 103545878 Time = 33.92 sec +Iter 12 -> 3674160 Nodes = 511 Used = 103566266 Time = 33.93 sec +ZDD stats: Var = 276 Obj = 103566266 Alloc = 134217728 Hit = 63996630 Miss = 141768893 Mem = 4608.00 MB +*/ + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// |