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

Average resident text size       =     0K
Average resident data+stack size =     0K
Maximum resident size            =     0K

Virtual text size                = 131815K
Virtual data size                =   297K
    data size initialized        =    25K
    data size uninitialized      =   137K
    data size sbrk               =   135K
Virtual memory limit             = 358400K (4194304K)

Major page faults = 5
Minor page faults = 80223
Swaps = 0
Input blocks = 0
Output blocks = 0
Context switch (voluntary) = 6
Context switch (involuntary) = 1991
