source: icGREP/icgrep-devel/cudd-2.5.1/nanotrav/rcn25.out @ 5815

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

Upload of the CUDD library.

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