source: icGREP/icgrep-devel/cudd-2.5.1/nanotrav/mult32a.out

Last change on this file was 4597, checked in by nmedfort, 4 years ago

Upload of the CUDD library.

File size: 8.2 KB
Line 
1# Nanotrav Version #0.12, Release date 2003/12/31
2# ./nanotrav -p 1 -autodyn -reordering sifting -trav mult32a.blif
3# CUDD Version 2.5.1
4BDD reordering with sifting: from 4001 to ... 268 nodes in 0.001 sec
5BDD reordering with sifting: from 537 to ... 246 nodes in 0.002 sec
6BDD reordering with sifting: from 493 to ... 250 nodes in 0.002 sec
7BDD reordering with sifting: from 501 to ... 280 nodes in 0.004 sec
8BDD reordering with sifting: from 561 to ... 296 nodes in 0.005 sec
9Order before final reordering
102 34 33 66 32 65 31 64
1163 30 62 29 28 61 27 60
1226 59 25 58 24 57 23 56
1322 55 21 54 20 53 19 52
1451 18 50 17 49 16 48 15
1547 14 46 13 45 12 36 3
1637 4 38 5 39 6 40 7
1741 8 42 9 43 10 44 11
181
19Number of inputs = 65
20BDD reordering with sifting: from 380 to ... 317 nodes in 0.005 sec
21New order
221 2 34 66 33 65 32 64
2331 63 30 62 29 61 28 60
2427 59 26 58 25 57 24 56
2523 55 22 54 21 53 20 52
2619 51 18 50 17 49 16 48
2715 47 14 46 13 45 12 36
283 4 37 5 38 6 39 7
2940 8 41 9 42 10 43 44
3011
31Building transition relation. Time = 0.02 sec
32BDD reordering with sifting: from 669 to ... 452 nodes in 0.011 sec
33@@BDD reordering with sifting: from 939 to ... 705 nodes in 0.011 sec
34@@BDD reordering with sifting: from 1443 to ... 847 nodes in 0.015 sec
35@@BDD reordering with sifting: from 1727 to ... 1076 nodes in 0.017 sec
36@@@BDD reordering with sifting: from 2185 to ... 770 nodes in 0.017 sec
37@@@@BDD reordering with sifting: from 1573 to ... 922 nodes in 0.015 sec
38@@@@BDD reordering with sifting: from 1877 to ... 1013 nodes in 0.018 sec
39@@@@@BDD reordering with sifting: from 2059 to ... 873 nodes in 0.021 sec
40@@@@@BDD reordering with sifting: from 1779 to ... 975 nodes in 0.021 sec
41@@@@@
42Transition relation: 1 parts 32 latches 196 nodes
43Traversing. Time = 0.17 sec
44S0: 33 nodes 1 leaves 1 minterms
45From[1]: 33 nodes 1 leaves 2.14748e+09 minterms
46Reached[1]: 2 nodes 1 leaves 2.14748e+09 minterms
472147483648
482.14748e+9
49From[2]: 3 nodes 1 leaves 1.07374e+09 minterms
50Reached[2]: 3 nodes 1 leaves 3.22123e+09 minterms
513221225472
523.22122e+9
53From[3]: 4 nodes 1 leaves 5.36871e+08 minterms
54Reached[3]: 4 nodes 1 leaves 3.7581e+09 minterms
553758096384
563.75809e+9
57From[4]: 5 nodes 1 leaves 2.68435e+08 minterms
58Reached[4]: 5 nodes 1 leaves 4.02653e+09 minterms
594026531840
604.02653e+9
61From[5]: 6 nodes 1 leaves 1.34218e+08 minterms
62Reached[5]: 6 nodes 1 leaves 4.16075e+09 minterms
634160749568
644.16074e+9
65From[6]: 7 nodes 1 leaves 6.71089e+07 minterms
66Reached[6]: 7 nodes 1 leaves 4.22786e+09 minterms
674227858432
684.22785e+9
69From[7]: 8 nodes 1 leaves 3.35544e+07 minterms
70Reached[7]: 8 nodes 1 leaves 4.26141e+09 minterms
714261412864
724.26141e+9
73From[8]: 9 nodes 1 leaves 1.67772e+07 minterms
74Reached[8]: 9 nodes 1 leaves 4.27819e+09 minterms
754278190080
764.27819e+9
77From[9]: 10 nodes 1 leaves 8.38861e+06 minterms
78Reached[9]: 10 nodes 1 leaves 4.28658e+09 minterms
794286578688
804.28657e+9
81From[10]: 11 nodes 1 leaves 4.1943e+06 minterms
82Reached[10]: 11 nodes 1 leaves 4.29077e+09 minterms
834290772992
844.29077e+9
85From[11]: 12 nodes 1 leaves 2.09715e+06 minterms
86Reached[11]: 12 nodes 1 leaves 4.29287e+09 minterms
874292870144
884.29287e+9
89From[12]: 13 nodes 1 leaves 1.04858e+06 minterms
90Reached[12]: 13 nodes 1 leaves 4.29392e+09 minterms
914293918720
924.29391e+9
93From[13]: 14 nodes 1 leaves 524288 minterms
94Reached[13]: 14 nodes 1 leaves 4.29444e+09 minterms
954294443008
964.29444e+9
97From[14]: 15 nodes 1 leaves 262144 minterms
98Reached[14]: 15 nodes 1 leaves 4.29471e+09 minterms
994294705152
1004.29470e+9
101From[15]: 16 nodes 1 leaves 131072 minterms
102Reached[15]: 16 nodes 1 leaves 4.29484e+09 minterms
1034294836224
1044.29483e+9
105From[16]: 17 nodes 1 leaves 65536 minterms
106Reached[16]: 17 nodes 1 leaves 4.2949e+09 minterms
1074294901760
1084.29490e+9
109From[17]: 18 nodes 1 leaves 32768 minterms
110Reached[17]: 18 nodes 1 leaves 4.29493e+09 minterms
1114294934528
1124.29493e+9
113From[18]: 19 nodes 1 leaves 16384 minterms
114Reached[18]: 19 nodes 1 leaves 4.29495e+09 minterms
1154294950912
1164.29495e+9
117From[19]: 20 nodes 1 leaves 8192 minterms
118Reached[19]: 20 nodes 1 leaves 4.29496e+09 minterms
1194294959104
1204.29495e+9
121From[20]: 21 nodes 1 leaves 4096 minterms
122Reached[20]: 21 nodes 1 leaves 4.29496e+09 minterms
1234294963200
1244.29496e+9
125From[21]: 22 nodes 1 leaves 2048 minterms
126Reached[21]: 22 nodes 1 leaves 4.29497e+09 minterms
1274294965248
1284.29496e+9
129From[22]: 23 nodes 1 leaves 1024 minterms
130Reached[22]: 23 nodes 1 leaves 4.29497e+09 minterms
1314294966272
1324.29496e+9
133From[23]: 24 nodes 1 leaves 512 minterms
134Reached[23]: 24 nodes 1 leaves 4.29497e+09 minterms
1354294966784
1364.29496e+9
137From[24]: 25 nodes 1 leaves 256 minterms
138Reached[24]: 25 nodes 1 leaves 4.29497e+09 minterms
1394294967040
1404.29496e+9
141From[25]: 26 nodes 1 leaves 128 minterms
142Reached[25]: 26 nodes 1 leaves 4.29497e+09 minterms
1434294967168
1444.29496e+9
145From[26]: 27 nodes 1 leaves 64 minterms
146Reached[26]: 27 nodes 1 leaves 4.29497e+09 minterms
1474294967232
1484.29496e+9
149From[27]: 28 nodes 1 leaves 32 minterms
150Reached[27]: 28 nodes 1 leaves 4.29497e+09 minterms
1514294967264
1524.29496e+9
153From[28]: 29 nodes 1 leaves 16 minterms
154Reached[28]: 29 nodes 1 leaves 4.29497e+09 minterms
1554294967280
1564.29496e+9
157From[29]: 30 nodes 1 leaves 8 minterms
158Reached[29]: 30 nodes 1 leaves 4.29497e+09 minterms
1594294967288
1604.29496e+9
161From[30]: 31 nodes 1 leaves 4 minterms
162Reached[30]: 31 nodes 1 leaves 4.29497e+09 minterms
1634294967292
1644.29496e+9
165From[31]: 32 nodes 1 leaves 2 minterms
166Reached[31]: 32 nodes 1 leaves 4.29497e+09 minterms
1674294967294
1684.29496e+9
169From[32]: 33 nodes 1 leaves 1 minterms
170Reached[32]: 33 nodes 1 leaves 4.29497e+09 minterms
1714294967295
1724.29496e+9
173depth = 32
174R: 33 nodes 1 leaves 4.29497e+09 minterms
175Order at the end of reachability analysis
1761 2 34 33 66 32 65 31
17764 63 30 29 62 28 61 27
17860 59 26 58 25 57 24 56
17923 55 22 54 21 20 53 19
18052 18 51 17 50 49 16 15
18148 14 47 13 46 12 45 11
18244 10 43 3 36 4 37 5
18338 6 39 7 40 8 41 42
1849
185**** CUDD modifiable parameters ****
186Hard limit for cache size: 21845333
187Cache hit threshold for resizing: 30%
188Garbage collection enabled: yes
189Limit for fast unique table growth: 13107200
190Maximum number of variables sifted per reordering: 1000000
191Maximum number of variable swaps per reordering: 1000000000
192Maximum growth while sifting a variable: 1.2
193Dynamic reordering of BDDs enabled: yes
194Default BDD reordering method: 4
195Dynamic reordering of ZDDs enabled: no
196Default ZDD reordering method: 4
197Realignment of ZDDs to BDDs enabled: no
198Realignment of BDDs to ZDDs enabled: no
199Dead nodes counted in triggering reordering: no
200Group checking criterion: 7
201Recombination threshold: 0
202Symmetry violation threshold: 10
203Arc violation threshold: 10
204GA population size: 0
205Number of crossovers for GA: 0
206Next reordering threshold: 2018
207**** CUDD non-modifiable parameters ****
208Memory in use: 19305908
209Peak number of nodes: 7154
210Peak number of live nodes: 4004
211Number of BDD variables: 97
212Number of ZDD variables: 0
213Number of cache entries: 65536
214Number of cache look-ups: 49884
215Number of cache hits: 20823
216Number of cache insertions: 29322
217Number of cache collisions: 1344
218Number of cache deletions: 21077
219Cache used slots = 17.74% (expected 10.53%)
220Soft limit for cache size: 100352
221Number of buckets in unique table: 25088
222Used buckets in unique table: 12.24% (expected 12.44%)
223Unique lookups: 43172
224Unique links: 3616 (0.083758 per lookup)
225Number of BDD and ADD nodes: 3613
226Number of ZDD nodes: 0
227Number of dead BDD and ADD nodes: 3266
228Number of dead ZDD nodes: 0
229Total number of nodes allocated: 26901
230Total number of nodes reclaimed: 16739
231Number of recursive calls: 114112
232Garbage collections so far: 15
233Time for garbage collection: 0.00 sec
234Reorderings so far: 15
235Time for reordering: 0.17 sec
236Node swaps in reordering: 938162
237Final size: 275
238total time = 0.17 sec
239Runtime Statistics
240------------------
241Machine name: jobim.colorado.edu
242User time      0.2 seconds
243System time    0.0 seconds
244
245Average resident text size       =     0K
246Average resident data+stack size =     0K
247Maximum resident size            =  9128K
248
249Virtual text size                =  4621K
250Virtual data size                = 12442K
251    data size initialized        =  2135K
252    data size uninitialized      =   137K
253    data size sbrk               = 10170K
254Virtual memory limit             = 2048000K (18014398509481984K)
255
256Major page faults = 0
257Minor page faults = 1770
258Swaps = 0
259Input blocks = 16
260Output blocks = 16
261Context switch (voluntary) = 1
262Context switch (involuntary) = 2
Note: See TracBrowser for help on using the repository browser.