| blob | a44f9703c686fcc530e3ca3f1587ca564ec4898e |
1 # Nanotrav Version #0.12, Release date 2003/12/31
2 # ./nanotrav -p 1 -envelope rcn25.blif
3 # CUDD Version 2.4.2
4 Order before final reordering
5 n0 n1 n2 n3 n4 n5 n6 n7
6 n8 n9 n10 n11 n12 n13 n14 n15
7 n16 n17 n18 n19 n20 n21 n22 n23
8 n24
9 Number of inputs = 25
10 @@@@@@@@@@@@@@@@@@@@@@@@@
11 S0: 1 nodes 1 leaves 3.35544e+07 minterms
12 Envelope[1]: 68 nodes 1 leaves 1.95734e+07 minterms
13 Envelope[2]: 131 nodes 1 leaves 1.53791e+07 minterms
14 Envelope[3]: 240 nodes 1 leaves 1.30489e+07 minterms
15 Envelope[4]: 351 nodes 1 leaves 1.07188e+07 minterms
16 Envelope[5]: 365 nodes 1 leaves 9.08766e+06 minterms
17 Envelope[6]: 672 nodes 1 leaves 7.88374e+06 minterms
18 Envelope[7]: 977 nodes 1 leaves 6.85458e+06 minterms
19 Envelope[8]: 1697 nodes 1 leaves 6.16039e+06 minterms
20 Envelope[9]: 2507 nodes 1 leaves 5.53173e+06 minterms
21 Envelope[10]: 2728 nodes 1 leaves 4.99328e+06 minterms
22 Envelope[11]: 4877 nodes 1 leaves 4.56022e+06 minterms
23 Envelope[12]: 7131 nodes 1 leaves 4.15173e+06 minterms
24 Envelope[13]: 10837 nodes 1 leaves 3.83181e+06 minterms
25 Envelope[14]: 16376 nodes 1 leaves 3.53694e+06 minterms
26 Envelope[15]: 18686 nodes 1 leaves 3.26485e+06 minterms
27 Envelope[16]: 27175 nodes 1 leaves 3.03016e+06 minterms
28 Envelope[17]: 37624 nodes 1 leaves 2.81134e+06 minterms
29 Envelope[18]: 42091 nodes 1 leaves 2.62598e+06 minterms
30 Envelope[19]: 64761 nodes 1 leaves 2.45532e+06 minterms
31 Envelope[20]: 88199 nodes 1 leaves 2.29512e+06 minterms
32 Envelope[21]: 112012 nodes 1 leaves 2.15501e+06 minterms
33 Envelope[22]: 148131 nodes 1 leaves 2.02284e+06 minterms
34 Envelope[23]: 178957 nodes 1 leaves 1.90343e+06 minterms
35 Envelope[24]: 213207 nodes 1 leaves 1.79426e+06 minterms
36 Envelope[25]: 251015 nodes 1 leaves 1.69064e+06 minterms
37 Envelope[26]: 278969 nodes 1 leaves 1.59836e+06 minterms
38 Envelope[27]: 298983 nodes 1 leaves 1.51117e+06 minterms
39 Envelope[28]: 310186 nodes 1 leaves 1.4295e+06 minterms
40 Envelope[29]: 314312 nodes 1 leaves 1.35474e+06 minterms
41 Envelope[30]: 312346 nodes 1 leaves 1.2838e+06 minterms
42 Envelope[31]: 308909 nodes 1 leaves 1.21948e+06 minterms
43 Envelope[32]: 304183 nodes 1 leaves 1.15867e+06 minterms
44 Envelope[33]: 298541 nodes 1 leaves 1.10083e+06 minterms
45 Envelope[34]: 292868 nodes 1 leaves 1.04754e+06 minterms
46 Envelope[35]: 286698 nodes 1 leaves 996946 minterms
47 Envelope[36]: 280610 nodes 1 leaves 949953 minterms
48 Envelope[37]: 274275 nodes 1 leaves 905778 minterms
49 Envelope[38]: 267711 nodes 1 leaves 863616 minterms
50 Envelope[39]: 261513 nodes 1 leaves 824606 minterms
51 Envelope[40]: 255196 nodes 1 leaves 787378 minterms
52 Envelope[41]: 248890 nodes 1 leaves 752197 minterms
53 Envelope[42]: 242617 nodes 1 leaves 719152 minterms
54 Envelope[43]: 236080 nodes 1 leaves 687560 minterms
55 Envelope[44]: 230130 nodes 1 leaves 658155 minterms
56 Envelope[45]: 224259 nodes 1 leaves 629967 minterms
57 Envelope[46]: 218166 nodes 1 leaves 603079 minterms
58 Envelope[47]: 212397 nodes 1 leaves 577815 minterms
59 Envelope[48]: 206597 nodes 1 leaves 553658 minterms
60 Envelope[49]: 201169 nodes 1 leaves 531033 minterms
61 Envelope[50]: 195784 nodes 1 leaves 509531 minterms
62 Envelope[51]: 190388 nodes 1 leaves 488904 minterms
63 Envelope[52]: 185402 nodes 1 leaves 469490 minterms
64 Envelope[53]: 180396 nodes 1 leaves 450891 minterms
65 Envelope[54]: 175724 nodes 1 leaves 433247 minterms
66 Envelope[55]: 171253 nodes 1 leaves 416458 minterms
67 Envelope[56]: 166524 nodes 1 leaves 400345 minterms
68 Envelope[57]: 162304 nodes 1 leaves 385129 minterms
69 Envelope[58]: 158158 nodes 1 leaves 370518 minterms
70 Envelope[59]: 154136 nodes 1 leaves 356541 minterms
71 Envelope[60]: 150218 nodes 1 leaves 343262 minterms
72 Envelope[61]: 146293 nodes 1 leaves 330504 minterms
73 Envelope[62]: 142731 nodes 1 leaves 318444 minterms
74 Envelope[63]: 139152 nodes 1 leaves 306873 minterms
75 Envelope[64]: 135570 nodes 1 leaves 295766 minterms
76 Envelope[65]: 132114 nodes 1 leaves 285183 minterms
77 Envelope[66]: 128777 nodes 1 leaves 275032 minterms
78 Envelope[67]: 125644 nodes 1 leaves 265348 minterms
79 Envelope[68]: 122532 nodes 1 leaves 256089 minterms
80 Envelope[69]: 119388 nodes 1 leaves 247191 minterms
81 Envelope[70]: 116557 nodes 1 leaves 238707 minterms
82 Envelope[71]: 113576 nodes 1 leaves 230531 minterms
83 Envelope[72]: 110737 nodes 1 leaves 222700 minterms
84 Envelope[73]: 107964 nodes 1 leaves 215170 minterms
85 Envelope[74]: 105272 nodes 1 leaves 207896 minterms
86 Envelope[75]: 102720 nodes 1 leaves 200935 minterms
87 Envelope[76]: 100098 nodes 1 leaves 194214 minterms
88 Envelope[77]: 97630 nodes 1 leaves 187719 minterms
89 Envelope[78]: 95248 nodes 1 leaves 181488 minterms
90 Envelope[79]: 92891 nodes 1 leaves 175479 minterms
91 Envelope[80]: 90738 nodes 1 leaves 169733 minterms
92 Envelope[81]: 88566 nodes 1 leaves 164201 minterms
93 Envelope[82]: 86372 nodes 1 leaves 158855 minterms
94 Envelope[83]: 84200 nodes 1 leaves 153722 minterms
95 Envelope[84]: 82108 nodes 1 leaves 148752 minterms
96 Envelope[85]: 80162 nodes 1 leaves 143977 minterms
97 Envelope[86]: 78254 nodes 1 leaves 139369 minterms
98 Envelope[87]: 76349 nodes 1 leaves 134921 minterms
99 Envelope[88]: 74645 nodes 1 leaves 130668 minterms
100 Envelope[89]: 72849 nodes 1 leaves 126558 minterms
101 Envelope[90]: 71140 nodes 1 leaves 122588 minterms
102 Envelope[91]: 69484 nodes 1 leaves 118779 minterms
103 Envelope[92]: 67898 nodes 1 leaves 115076 minterms
104 Envelope[93]: 66429 nodes 1 leaves 111539 minterms
105 Envelope[94]: 64879 nodes 1 leaves 108113 minterms
106 Envelope[95]: 63332 nodes 1 leaves 104807 minterms
107 Envelope[96]: 61892 nodes 1 leaves 101634 minterms
108 Envelope[97]: 60487 nodes 1 leaves 98554 minterms
109 Envelope[98]: 59076 nodes 1 leaves 95579 minterms
110 Envelope[99]: 57675 nodes 1 leaves 92712 minterms
111 Envelope[100]: 56346 nodes 1 leaves 89943 minterms
112 Envelope[101]: 55101 nodes 1 leaves 87270 minterms
113 Envelope[102]: 53857 nodes 1 leaves 84669 minterms
114 Envelope[103]: 52673 nodes 1 leaves 82155 minterms
115 Envelope[104]: 51498 nodes 1 leaves 79722 minterms
116 Envelope[105]: 50375 nodes 1 leaves 77355 minterms
117 Envelope[106]: 49253 nodes 1 leaves 75077 minterms
118 Envelope[107]: 48157 nodes 1 leaves 72867 minterms
119 Envelope[108]: 47096 nodes 1 leaves 70729 minterms
120 Envelope[109]: 46100 nodes 1 leaves 68652 minterms
121 Envelope[110]: 45047 nodes 1 leaves 66635 minterms
122 Envelope[111]: 44107 nodes 1 leaves 64689 minterms
123 Envelope[112]: 43198 nodes 1 leaves 62806 minterms
124 Envelope[113]: 42227 nodes 1 leaves 60981 minterms
125 Envelope[114]: 41297 nodes 1 leaves 59228 minterms
126 Envelope[115]: 40371 nodes 1 leaves 57524 minterms
127 Envelope[116]: 39479 nodes 1 leaves 55874 minterms
128 Envelope[117]: 38623 nodes 1 leaves 54279 minterms
129 Envelope[118]: 37792 nodes 1 leaves 52739 minterms
130 Envelope[119]: 37000 nodes 1 leaves 51264 minterms
131 Envelope[120]: 36185 nodes 1 leaves 49837 minterms
132 Envelope[121]: 35400 nodes 1 leaves 48443 minterms
133 Envelope[122]: 34580 nodes 1 leaves 47093 minterms
134 Envelope[123]: 33793 nodes 1 leaves 45782 minterms
135 Envelope[124]: 33084 nodes 1 leaves 44519 minterms
136 Envelope[125]: 32388 nodes 1 leaves 43292 minterms
137 Envelope[126]: 31710 nodes 1 leaves 42089 minterms
138 Envelope[127]: 31025 nodes 1 leaves 40920 minterms
139 Envelope[128]: 30350 nodes 1 leaves 39778 minterms
140 Envelope[129]: 29683 nodes 1 leaves 38664 minterms
141 Envelope[130]: 29050 nodes 1 leaves 37589 minterms
142 Envelope[131]: 28418 nodes 1 leaves 36551 minterms
143 Envelope[132]: 27804 nodes 1 leaves 35547 minterms
144 Envelope[133]: 27184 nodes 1 leaves 34573 minterms
145 Envelope[134]: 26621 nodes 1 leaves 33636 minterms
146 Envelope[135]: 26074 nodes 1 leaves 32724 minterms
147 Envelope[136]: 25528 nodes 1 leaves 31831 minterms
148 Envelope[137]: 24996 nodes 1 leaves 30967 minterms
149 Envelope[138]: 24472 nodes 1 leaves 30133 minterms
150 Envelope[139]: 23993 nodes 1 leaves 29324 minterms
151 Envelope[140]: 23514 nodes 1 leaves 28535 minterms
152 Envelope[141]: 23008 nodes 1 leaves 27769 minterms
153 Envelope[142]: 22525 nodes 1 leaves 27029 minterms
154 Envelope[143]: 22039 nodes 1 leaves 26318 minterms
155 Envelope[144]: 21561 nodes 1 leaves 25624 minterms
156 Envelope[145]: 21094 nodes 1 leaves 24950 minterms
157 Envelope[146]: 20685 nodes 1 leaves 24289 minterms
158 Envelope[147]: 20249 nodes 1 leaves 23651 minterms
159 Envelope[148]: 19794 nodes 1 leaves 23023 minterms
160 Envelope[149]: 19369 nodes 1 leaves 22418 minterms
161 Envelope[150]: 18976 nodes 1 leaves 21837 minterms
162 Envelope[151]: 18589 nodes 1 leaves 21272 minterms
163 Envelope[152]: 18201 nodes 1 leaves 20723 minterms
164 Envelope[153]: 17806 nodes 1 leaves 20198 minterms
165 Envelope[154]: 17419 nodes 1 leaves 19684 minterms
166 Envelope[155]: 17049 nodes 1 leaves 19180 minterms
167 Envelope[156]: 16672 nodes 1 leaves 18691 minterms
168 Envelope[157]: 16315 nodes 1 leaves 18214 minterms
169 Envelope[158]: 16005 nodes 1 leaves 17741 minterms
170 Envelope[159]: 15679 nodes 1 leaves 17284 minterms
171 Envelope[160]: 15341 nodes 1 leaves 16836 minterms
172 Envelope[161]: 14999 nodes 1 leaves 16397 minterms
173 Envelope[162]: 14667 nodes 1 leaves 15962 minterms
174 Envelope[163]: 14365 nodes 1 leaves 15544 minterms
175 Envelope[164]: 14066 nodes 1 leaves 15138 minterms
176 Envelope[165]: 13792 nodes 1 leaves 14743 minterms
177 Envelope[166]: 13539 nodes 1 leaves 14361 minterms
178 Envelope[167]: 13283 nodes 1 leaves 13992 minterms
179 Envelope[168]: 13022 nodes 1 leaves 13632 minterms
180 Envelope[169]: 12765 nodes 1 leaves 13280 minterms
181 Envelope[170]: 12497 nodes 1 leaves 12938 minterms
182 Envelope[171]: 12257 nodes 1 leaves 12605 minterms
183 Envelope[172]: 11990 nodes 1 leaves 12279 minterms
184 Envelope[173]: 11716 nodes 1 leaves 11958 minterms
185 Envelope[174]: 11436 nodes 1 leaves 11646 minterms
186 Envelope[175]: 11180 nodes 1 leaves 11345 minterms
187 Envelope[176]: 10939 nodes 1 leaves 11056 minterms
188 Envelope[177]: 10717 nodes 1 leaves 10771 minterms
189 Envelope[178]: 10488 nodes 1 leaves 10493 minterms
190 Envelope[179]: 10255 nodes 1 leaves 10221 minterms
191 Envelope[180]: 10013 nodes 1 leaves 9957 minterms
192 Envelope[181]: 9810 nodes 1 leaves 9699 minterms
193 Envelope[182]: 9568 nodes 1 leaves 9449 minterms
194 Envelope[183]: 9355 nodes 1 leaves 9206 minterms
195 Envelope[184]: 9176 nodes 1 leaves 8967 minterms
196 Envelope[185]: 8990 nodes 1 leaves 8733 minterms
197 Envelope[186]: 8810 nodes 1 leaves 8512 minterms
198 Envelope[187]: 8621 nodes 1 leaves 8297 minterms
199 Envelope[188]: 8421 nodes 1 leaves 8091 minterms
200 Envelope[189]: 8200 nodes 1 leaves 7895 minterms
201 Envelope[190]: 7992 nodes 1 leaves 7705 minterms
202 Envelope[191]: 7816 nodes 1 leaves 7519 minterms
203 Envelope[192]: 7641 nodes 1 leaves 7338 minterms
204 Envelope[193]: 7475 nodes 1 leaves 7161 minterms
205 Envelope[194]: 7307 nodes 1 leaves 6986 minterms
206 Envelope[195]: 7137 nodes 1 leaves 6814 minterms
207 Envelope[196]: 6956 nodes 1 leaves 6644 minterms
208 Envelope[197]: 6784 nodes 1 leaves 6477 minterms
209 Envelope[198]: 6642 nodes 1 leaves 6315 minterms
210 Envelope[199]: 6515 nodes 1 leaves 6157 minterms
211 Envelope[200]: 6377 nodes 1 leaves 6000 minterms
212 Envelope[201]: 6221 nodes 1 leaves 5847 minterms
213 Envelope[202]: 6069 nodes 1 leaves 5699 minterms
214 Envelope[203]: 5919 nodes 1 leaves 5555 minterms
215 Envelope[204]: 5797 nodes 1 leaves 5417 minterms
216 Envelope[205]: 5662 nodes 1 leaves 5282 minterms
217 Envelope[206]: 5535 nodes 1 leaves 5149 minterms
218 Envelope[207]: 5414 nodes 1 leaves 5018 minterms
219 Envelope[208]: 5293 nodes 1 leaves 4890 minterms
220 Envelope[209]: 5170 nodes 1 leaves 4765 minterms
221 Envelope[210]: 5057 nodes 1 leaves 4644 minterms
222 Envelope[211]: 4948 nodes 1 leaves 4526 minterms
223 Envelope[212]: 4856 nodes 1 leaves 4410 minterms
224 Envelope[213]: 4763 nodes 1 leaves 4296 minterms
225 Envelope[214]: 4651 nodes 1 leaves 4183 minterms
226 Envelope[215]: 4568 nodes 1 leaves 4076 minterms
227 Envelope[216]: 4488 nodes 1 leaves 3972 minterms
228 Envelope[217]: 4406 nodes 1 leaves 3869 minterms
229 Envelope[218]: 4322 nodes 1 leaves 3771 minterms
230 Envelope[219]: 4249 nodes 1 leaves 3677 minterms
231 Envelope[220]: 4177 nodes 1 leaves 3586 minterms
232 Envelope[221]: 4102 nodes 1 leaves 3496 minterms
233 Envelope[222]: 4021 nodes 1 leaves 3408 minterms
234 Envelope[223]: 3949 nodes 1 leaves 3322 minterms
235 Envelope[224]: 3871 nodes 1 leaves 3238 minterms
236 Envelope[225]: 3800 nodes 1 leaves 3158 minterms
237 Envelope[226]: 3740 nodes 1 leaves 3079 minterms
238 Envelope[227]: 3674 nodes 1 leaves 3002 minterms
239 Envelope[228]: 3618 nodes 1 leaves 2926 minterms
240 Envelope[229]: 3552 nodes 1 leaves 2852 minterms
241 Envelope[230]: 3485 nodes 1 leaves 2780 minterms
242 Envelope[231]: 3428 nodes 1 leaves 2711 minterms
243 Envelope[232]: 3370 nodes 1 leaves 2643 minterms
244 Envelope[233]: 3304 nodes 1 leaves 2575 minterms
245 Envelope[234]: 3244 nodes 1 leaves 2510 minterms
246 Envelope[235]: 3177 nodes 1 leaves 2447 minterms
247 Envelope[236]: 3112 nodes 1 leaves 2385 minterms
248 Envelope[237]: 3054 nodes 1 leaves 2324 minterms
249 Envelope[238]: 2999 nodes 1 leaves 2268 minterms
250 Envelope[239]: 2947 nodes 1 leaves 2212 minterms
251 Envelope[240]: 2892 nodes 1 leaves 2157 minterms
252 Envelope[241]: 2831 nodes 1 leaves 2104 minterms
253 Envelope[242]: 2769 nodes 1 leaves 2052 minterms
254 Envelope[243]: 2709 nodes 1 leaves 2001 minterms
255 Envelope[244]: 2644 nodes 1 leaves 1952 minterms
256 Envelope[245]: 2569 nodes 1 leaves 1903 minterms
257 Envelope[246]: 2505 nodes 1 leaves 1855 minterms
258 Envelope[247]: 2432 nodes 1 leaves 1807 minterms
259 Envelope[248]: 2361 nodes 1 leaves 1760 minterms
260 Envelope[249]: 2289 nodes 1 leaves 1715 minterms
261 Envelope[250]: 2215 nodes 1 leaves 1673 minterms
262 Envelope[251]: 2169 nodes 1 leaves 1632 minterms
263 Envelope[252]: 2114 nodes 1 leaves 1591 minterms
264 Envelope[253]: 2063 nodes 1 leaves 1551 minterms
265 Envelope[254]: 2011 nodes 1 leaves 1512 minterms
266 Envelope[255]: 1957 nodes 1 leaves 1473 minterms
267 Envelope[256]: 1902 nodes 1 leaves 1434 minterms
268 Envelope[257]: 1852 nodes 1 leaves 1396 minterms
269 Envelope[258]: 1805 nodes 1 leaves 1359 minterms
270 Envelope[259]: 1763 nodes 1 leaves 1322 minterms
271 Envelope[260]: 1711 nodes 1 leaves 1287 minterms
272 Envelope[261]: 1653 nodes 1 leaves 1255 minterms
273 Envelope[262]: 1604 nodes 1 leaves 1223 minterms
274 Envelope[263]: 1557 nodes 1 leaves 1193 minterms
275 Envelope[264]: 1515 nodes 1 leaves 1164 minterms
276 Envelope[265]: 1482 nodes 1 leaves 1136 minterms
277 Envelope[266]: 1447 nodes 1 leaves 1108 minterms
278 Envelope[267]: 1416 nodes 1 leaves 1081 minterms
279 Envelope[268]: 1383 nodes 1 leaves 1054 minterms
280 Envelope[269]: 1353 nodes 1 leaves 1028 minterms
281 Envelope[270]: 1323 nodes 1 leaves 1003 minterms
282 Envelope[271]: 1290 nodes 1 leaves 978 minterms
283 Envelope[272]: 1252 nodes 1 leaves 954 minterms
284 Envelope[273]: 1215 nodes 1 leaves 931 minterms
285 Envelope[274]: 1174 nodes 1 leaves 908 minterms
286 Envelope[275]: 1144 nodes 1 leaves 887 minterms
287 Envelope[276]: 1120 nodes 1 leaves 867 minterms
288 Envelope[277]: 1102 nodes 1 leaves 848 minterms
289 Envelope[278]: 1082 nodes 1 leaves 830 minterms
290 Envelope[279]: 1061 nodes 1 leaves 812 minterms
291 Envelope[280]: 1045 nodes 1 leaves 795 minterms
292 Envelope[281]: 1031 nodes 1 leaves 778 minterms
293 Envelope[282]: 1015 nodes 1 leaves 763 minterms
294 Envelope[283]: 1004 nodes 1 leaves 748 minterms
295 Envelope[284]: 996 nodes 1 leaves 733 minterms
296 Envelope[285]: 983 nodes 1 leaves 719 minterms
297 Envelope[286]: 964 nodes 1 leaves 705 minterms
298 Envelope[287]: 949 nodes 1 leaves 691 minterms
299 Envelope[288]: 938 nodes 1 leaves 677 minterms
300 Envelope[289]: 925 nodes 1 leaves 663 minterms
301 Envelope[290]: 913 nodes 1 leaves 650 minterms
302 Envelope[291]: 907 nodes 1 leaves 637 minterms
303 Envelope[292]: 901 nodes 1 leaves 624 minterms
304 Envelope[293]: 887 nodes 1 leaves 611 minterms
305 Envelope[294]: 878 nodes 1 leaves 598 minterms
306 Envelope[295]: 872 nodes 1 leaves 585 minterms
307 Envelope[296]: 860 nodes 1 leaves 573 minterms
308 Envelope[297]: 852 nodes 1 leaves 561 minterms
309 Envelope[298]: 842 nodes 1 leaves 549 minterms
310 Envelope[299]: 834 nodes 1 leaves 537 minterms
311 Envelope[300]: 826 nodes 1 leaves 526 minterms
312 Envelope[301]: 819 nodes 1 leaves 515 minterms
313 Envelope[302]: 808 nodes 1 leaves 505 minterms
314 Envelope[303]: 797 nodes 1 leaves 495 minterms
315 Envelope[304]: 789 nodes 1 leaves 485 minterms
316 Envelope[305]: 773 nodes 1 leaves 475 minterms
317 Envelope[306]: 758 nodes 1 leaves 465 minterms
318 Envelope[307]: 742 nodes 1 leaves 455 minterms
319 Envelope[308]: 727 nodes 1 leaves 445 minterms
320 Envelope[309]: 711 nodes 1 leaves 435 minterms
321 Envelope[310]: 698 nodes 1 leaves 425 minterms
322 Envelope[311]: 677 nodes 1 leaves 415 minterms
323 Envelope[312]: 662 nodes 1 leaves 405 minterms
324 Envelope[313]: 653 nodes 1 leaves 395 minterms
325 Envelope[314]: 638 nodes 1 leaves 386 minterms
326 Envelope[315]: 625 nodes 1 leaves 377 minterms
327 Envelope[316]: 611 nodes 1 leaves 368 minterms
328 Envelope[317]: 603 nodes 1 leaves 359 minterms
329 Envelope[318]: 598 nodes 1 leaves 350 minterms
330 Envelope[319]: 588 nodes 1 leaves 342 minterms
331 Envelope[320]: 581 nodes 1 leaves 334 minterms
332 Envelope[321]: 576 nodes 1 leaves 326 minterms
333 Envelope[322]: 566 nodes 1 leaves 318 minterms
334 Envelope[323]: 555 nodes 1 leaves 311 minterms
335 Envelope[324]: 546 nodes 1 leaves 305 minterms
336 Envelope[325]: 537 nodes 1 leaves 299 minterms
337 Envelope[326]: 526 nodes 1 leaves 293 minterms
338 Envelope[327]: 515 nodes 1 leaves 287 minterms
339 Envelope[328]: 505 nodes 1 leaves 281 minterms
340 Envelope[329]: 493 nodes 1 leaves 275 minterms
341 Envelope[330]: 481 nodes 1 leaves 270 minterms
342 Envelope[331]: 468 nodes 1 leaves 265 minterms
343 Envelope[332]: 455 nodes 1 leaves 260 minterms
344 Envelope[333]: 446 nodes 1 leaves 255 minterms
345 Envelope[334]: 438 nodes 1 leaves 250 minterms
346 Envelope[335]: 433 nodes 1 leaves 245 minterms
347 Envelope[336]: 430 nodes 1 leaves 240 minterms
348 Envelope[337]: 421 nodes 1 leaves 235 minterms
349 Envelope[338]: 415 nodes 1 leaves 230 minterms
350 Envelope[339]: 405 nodes 1 leaves 225 minterms
351 Envelope[340]: 397 nodes 1 leaves 220 minterms
352 Envelope[341]: 390 nodes 1 leaves 215 minterms
353 Envelope[342]: 382 nodes 1 leaves 210 minterms
354 Envelope[343]: 374 nodes 1 leaves 205 minterms
355 Envelope[344]: 368 nodes 1 leaves 200 minterms
356 Envelope[345]: 357 nodes 1 leaves 195 minterms
357 Envelope[346]: 349 nodes 1 leaves 190 minterms
358 Envelope[347]: 345 nodes 1 leaves 185 minterms
359 Envelope[348]: 343 nodes 1 leaves 180 minterms
360 Envelope[349]: 338 nodes 1 leaves 175 minterms
361 Envelope[350]: 329 nodes 1 leaves 170 minterms
362 Envelope[351]: 318 nodes 1 leaves 165 minterms
363 Envelope[352]: 312 nodes 1 leaves 160 minterms
364 Envelope[353]: 305 nodes 1 leaves 156 minterms
365 Envelope[354]: 298 nodes 1 leaves 152 minterms
366 Envelope[355]: 291 nodes 1 leaves 148 minterms
367 Envelope[356]: 284 nodes 1 leaves 144 minterms
368 Envelope[357]: 274 nodes 1 leaves 140 minterms
369 Envelope[358]: 267 nodes 1 leaves 136 minterms
370 Envelope[359]: 258 nodes 1 leaves 132 minterms
371 Envelope[360]: 250 nodes 1 leaves 129 minterms
372 Envelope[361]: 242 nodes 1 leaves 126 minterms
373 Envelope[362]: 239 nodes 1 leaves 123 minterms
374 Envelope[363]: 230 nodes 1 leaves 120 minterms
375 Envelope[364]: 224 nodes 1 leaves 117 minterms
376 Envelope[365]: 218 nodes 1 leaves 114 minterms
377 Envelope[366]: 217 nodes 1 leaves 111 minterms
378 Envelope[367]: 216 nodes 1 leaves 108 minterms
379 Envelope[368]: 214 nodes 1 leaves 105 minterms
380 Envelope[369]: 213 nodes 1 leaves 102 minterms
381 Envelope[370]: 213 nodes 1 leaves 99 minterms
382 Envelope[371]: 210 nodes 1 leaves 96 minterms
383 Envelope[372]: 206 nodes 1 leaves 93 minterms
384 Envelope[373]: 203 nodes 1 leaves 90 minterms
385 Envelope[374]: 199 nodes 1 leaves 87 minterms
386 Envelope[375]: 195 nodes 1 leaves 84 minterms
387 Envelope[376]: 191 nodes 1 leaves 81 minterms
388 Envelope[377]: 188 nodes 1 leaves 78 minterms
389 Envelope[378]: 186 nodes 1 leaves 75 minterms
390 Envelope[379]: 184 nodes 1 leaves 72 minterms
391 Envelope[380]: 183 nodes 1 leaves 70 minterms
392 Envelope[381]: 183 nodes 1 leaves 68 minterms
393 Envelope[382]: 182 nodes 1 leaves 66 minterms
394 Envelope[383]: 181 nodes 1 leaves 64 minterms
395 Envelope[384]: 179 nodes 1 leaves 62 minterms
396 Envelope[385]: 179 nodes 1 leaves 60 minterms
397 Envelope[386]: 178 nodes 1 leaves 58 minterms
398 Envelope[387]: 177 nodes 1 leaves 56 minterms
399 Envelope[388]: 175 nodes 1 leaves 54 minterms
400 Envelope[389]: 171 nodes 1 leaves 52 minterms
401 Envelope[390]: 168 nodes 1 leaves 50 minterms
402 Envelope[391]: 164 nodes 1 leaves 48 minterms
403 Envelope[392]: 159 nodes 1 leaves 46 minterms
404 Envelope[393]: 153 nodes 1 leaves 45 minterms
405 Envelope[394]: 148 nodes 1 leaves 44 minterms
406 Envelope[395]: 144 nodes 1 leaves 43 minterms
407 Envelope[396]: 140 nodes 1 leaves 42 minterms
408 Envelope[397]: 135 nodes 1 leaves 41 minterms
409 Envelope[398]: 132 nodes 1 leaves 40 minterms
410 Envelope[399]: 127 nodes 1 leaves 39 minterms
411 Envelope[400]: 122 nodes 1 leaves 38 minterms
412 Envelope[401]: 118 nodes 1 leaves 37 minterms
413 Envelope[402]: 114 nodes 1 leaves 36 minterms
414 Envelope[403]: 107 nodes 1 leaves 35 minterms
415 Envelope[404]: 100 nodes 1 leaves 34 minterms
416 Envelope[405]: 95 nodes 1 leaves 33 minterms
417 Envelope[406]: 92 nodes 1 leaves 32 minterms
418 Envelope[407]: 89 nodes 1 leaves 31 minterms
419 Envelope[408]: 84 nodes 1 leaves 30 minterms
420 Envelope[409]: 81 nodes 1 leaves 29 minterms
421 Envelope[410]: 78 nodes 1 leaves 28 minterms
422 Envelope[411]: 73 nodes 1 leaves 27 minterms
423 Envelope[412]: 70 nodes 1 leaves 26 minterms
424 Envelope[413]: 67 nodes 1 leaves 25 minterms
425 Envelope[414]: 63 nodes 1 leaves 24 minterms
426 Envelope[415]: 59 nodes 1 leaves 23 minterms
427 Envelope[416]: 56 nodes 1 leaves 22 minterms
428 Envelope[417]: 55 nodes 1 leaves 21 minterms
429 Envelope[418]: 54 nodes 1 leaves 20 minterms
430 Envelope[419]: 53 nodes 1 leaves 19 minterms
431 Envelope[420]: 52 nodes 1 leaves 18 minterms
432 Envelope[421]: 52 nodes 1 leaves 17 minterms
433 Envelope[422]: 50 nodes 1 leaves 16 minterms
434 Envelope[423]: 47 nodes 1 leaves 15 minterms
435 Envelope[424]: 44 nodes 1 leaves 14 minterms
436 Envelope[425]: 40 nodes 1 leaves 13 minterms
437 Envelope[426]: 36 nodes 1 leaves 12 minterms
438 Envelope[427]: 33 nodes 1 leaves 11 minterms
439 Envelope[428]: 31 nodes 1 leaves 10 minterms
440 Envelope[429]: 30 nodes 1 leaves 9 minterms
441 Envelope[430]: 29 nodes 1 leaves 8 minterms
442 Envelope[431]: 29 nodes 1 leaves 7 minterms
443 Envelope[432]: 29 nodes 1 leaves 6 minterms
444 Envelope[433]: 28 nodes 1 leaves 5 minterms
445 Envelope[434]: 27 nodes 1 leaves 4 minterms
446 depth = 434
447 Envelope: 27 nodes 1 leaves 4 minterms
448 **** CUDD modifiable parameters ****
449 Hard limit for cache size: 7645866
450 Cache hit threshold for resizing: 30%
451 Garbage collection enabled: yes
452 Limit for fast unique table growth: 4587520
453 Maximum number of variables sifted per reordering: 1000
454 Maximum number of variable swaps per reordering: 2000000
455 Maximum growth while sifting a variable: 1.2
456 Dynamic reordering of BDDs enabled: no
457 Default BDD reordering method: 4
458 Dynamic reordering of ZDDs enabled: no
459 Default ZDD reordering method: 4
460 Realignment of ZDDs to BDDs enabled: no
461 Realignment of BDDs to ZDDs enabled: no
462 Dead nodes counted in triggering reordering: no
463 Group checking criterion: 7
464 Recombination threshold: 0
465 Symmetry violation threshold: 10
466 Arc violation threshold: 10
467 GA population size: 0
468 Number of crossovers for GA: 0
469 Next reordering threshold: 4004
470 **** CUDD non-modifiable parameters ****
471 Memory in use: 240456716
472 Peak number of nodes: 9643592
473 Peak number of live nodes: 3171948
474 Number of BDD variables: 50
475 Number of ZDD variables: 0
476 Number of cache entries: 4194304
477 Number of cache look-ups: 53170021
478 Number of cache hits: 30653976
479 Number of cache insertions: 22515985
480 Number of cache collisions: 15665382
481 Number of cache deletions: 3483568
482 Cache used slots = 97.84% (expected 98.41%)
483 Soft limit for cache size: 7645866
484 Number of buckets in unique table: 3677184
485 Used buckets in unique table: 71.16% (expected 71.15%)
486 Number of BDD and ADD nodes: 5843265
487 Number of ZDD nodes: 0
488 Number of dead BDD and ADD nodes: 4325974
489 Number of dead ZDD nodes: 0
490 Total number of nodes allocated: 15264438
491 Total number of nodes reclaimed: 7806126
492 Garbage collections so far: 2
493 Time for garbage collection: 2.38 sec
494 Reorderings so far: 0
495 Time for reordering: 0.00 sec
496 Final size: 869
497 total time = 66.53 sec
498 Runtime Statistics
499 ------------------
500 Machine name: jobim.colorado.edu
501 User time 66.5 seconds
502 System time 0.6 seconds
504 Average resident text size = 0K
505 Average resident data+stack size = 0K
506 Maximum resident size = 0K
508 Virtual text size = 131815K
509 Virtual data size = 297K
510 data size initialized = 25K
511 data size uninitialized = 137K
512 data size sbrk = 135K
513 Virtual memory limit = 358400K (4194304K)
515 Major page faults = 5
516 Minor page faults = 80223
517 Swaps = 0
518 Input blocks = 0
519 Output blocks = 0
520 Context switch (voluntary) = 6
521 Context switch (involuntary) = 1991