1# Nanotrav Version #0.13, Release date 2015/7/15 2# nanotrav/nanotrav -p 1 -autodyn -reordering sifting -trav ./nanotrav/mult32a.blif 3# CUDD Version 3.0.0 4BDD reordering with sifting: from 4001 to ... 268 nodes in 0 sec 5BDD reordering with sifting: from 537 to ... 246 nodes in 0 sec 6BDD reordering with sifting: from 493 to ... 250 nodes in 0 sec 7BDD reordering with sifting: from 501 to ... 280 nodes in 0 sec 8BDD reordering with sifting: from 561 to ... 296 nodes in 0.01 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 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.01 sec 32BDD reordering with sifting: from 669 to ... 452 nodes in 0.01 sec 33@@BDD reordering with sifting: from 939 to ... 705 nodes in 0 sec 34@@BDD reordering with sifting: from 1443 to ... 847 nodes in 0.02 sec 35@@BDD reordering with sifting: from 1727 to ... 1076 nodes in 0.01 sec 36@@@BDD reordering with sifting: from 2185 to ... 770 nodes in 0.01 sec 37@@@@BDD reordering with sifting: from 1573 to ... 922 nodes in 0.01 sec 38@@@@BDD reordering with sifting: from 1877 to ... 1013 nodes in 0.01 sec 39@@@@@BDD reordering with sifting: from 2059 to ... 873 nodes in 0.02 sec 40@@@@@BDD reordering with sifting: from 1779 to ... 975 nodes in 0.01 sec 41@@@@@ 42Transition relation: 1 parts 32 latches 196 nodes 43Traversing. Time = 0.11 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+09 49From[2]: 3 nodes 1 leaves 1.07374e+09 minterms 50Reached[2]: 3 nodes 1 leaves 3.22123e+09 minterms 513221225472 523.22123e+09 53From[3]: 4 nodes 1 leaves 5.36871e+08 minterms 54Reached[3]: 4 nodes 1 leaves 3.7581e+09 minterms 553758096384 563.7581e+09 57From[4]: 5 nodes 1 leaves 2.68435e+08 minterms 58Reached[4]: 5 nodes 1 leaves 4.02653e+09 minterms 594026531840 604.02653e+09 61From[5]: 6 nodes 1 leaves 1.34218e+08 minterms 62Reached[5]: 6 nodes 1 leaves 4.16075e+09 minterms 634160749568 644.16075e+09 65From[6]: 7 nodes 1 leaves 6.71089e+07 minterms 66Reached[6]: 7 nodes 1 leaves 4.22786e+09 minterms 674227858432 684.22786e+09 69From[7]: 8 nodes 1 leaves 3.35544e+07 minterms 70Reached[7]: 8 nodes 1 leaves 4.26141e+09 minterms 714261412864 724.26141e+09 73From[8]: 9 nodes 1 leaves 1.67772e+07 minterms 74Reached[8]: 9 nodes 1 leaves 4.27819e+09 minterms 754278190080 764.27819e+09 77From[9]: 10 nodes 1 leaves 8.38861e+06 minterms 78Reached[9]: 10 nodes 1 leaves 4.28658e+09 minterms 794286578688 804.28658e+09 81From[10]: 11 nodes 1 leaves 4.1943e+06 minterms 82Reached[10]: 11 nodes 1 leaves 4.29077e+09 minterms 834290772992 844.29077e+09 85From[11]: 12 nodes 1 leaves 2.09715e+06 minterms 86Reached[11]: 12 nodes 1 leaves 4.29287e+09 minterms 874292870144 884.29287e+09 89From[12]: 13 nodes 1 leaves 1.04858e+06 minterms 90Reached[12]: 13 nodes 1 leaves 4.29392e+09 minterms 914293918720 924.29392e+09 93From[13]: 14 nodes 1 leaves 524288 minterms 94Reached[13]: 14 nodes 1 leaves 4.29444e+09 minterms 954294443008 964.29444e+09 97From[14]: 15 nodes 1 leaves 262144 minterms 98Reached[14]: 15 nodes 1 leaves 4.29471e+09 minterms 994294705152 1004.29471e+09 101From[15]: 16 nodes 1 leaves 131072 minterms 102Reached[15]: 16 nodes 1 leaves 4.29484e+09 minterms 1034294836224 1044.29484e+09 105From[16]: 17 nodes 1 leaves 65536 minterms 106Reached[16]: 17 nodes 1 leaves 4.2949e+09 minterms 1074294901760 1084.2949e+09 109From[17]: 18 nodes 1 leaves 32768 minterms 110Reached[17]: 18 nodes 1 leaves 4.29493e+09 minterms 1114294934528 1124.29493e+09 113From[18]: 19 nodes 1 leaves 16384 minterms 114Reached[18]: 19 nodes 1 leaves 4.29495e+09 minterms 1154294950912 1164.29495e+09 117From[19]: 20 nodes 1 leaves 8192 minterms 118Reached[19]: 20 nodes 1 leaves 4.29496e+09 minterms 1194294959104 1204.29496e+09 121From[20]: 21 nodes 1 leaves 4096 minterms 122Reached[20]: 21 nodes 1 leaves 4.29496e+09 minterms 1234294963200 1244.29496e+09 125From[21]: 22 nodes 1 leaves 2048 minterms 126Reached[21]: 22 nodes 1 leaves 4.29497e+09 minterms 1274294965248 1284.29497e+09 129From[22]: 23 nodes 1 leaves 1024 minterms 130Reached[22]: 23 nodes 1 leaves 4.29497e+09 minterms 1314294966272 1324.29497e+09 133From[23]: 24 nodes 1 leaves 512 minterms 134Reached[23]: 24 nodes 1 leaves 4.29497e+09 minterms 1354294966784 1364.29497e+09 137From[24]: 25 nodes 1 leaves 256 minterms 138Reached[24]: 25 nodes 1 leaves 4.29497e+09 minterms 1394294967040 1404.29497e+09 141From[25]: 26 nodes 1 leaves 128 minterms 142Reached[25]: 26 nodes 1 leaves 4.29497e+09 minterms 1434294967168 1444.29497e+09 145From[26]: 27 nodes 1 leaves 64 minterms 146Reached[26]: 27 nodes 1 leaves 4.29497e+09 minterms 1474294967232 1484.29497e+09 149From[27]: 28 nodes 1 leaves 32 minterms 150Reached[27]: 28 nodes 1 leaves 4.29497e+09 minterms 1514294967264 1524.29497e+09 153From[28]: 29 nodes 1 leaves 16 minterms 154Reached[28]: 29 nodes 1 leaves 4.29497e+09 minterms 1554294967280 1564.29497e+09 157From[29]: 30 nodes 1 leaves 8 minterms 158Reached[29]: 30 nodes 1 leaves 4.29497e+09 minterms 1594294967288 1604.29497e+09 161From[30]: 31 nodes 1 leaves 4 minterms 162Reached[30]: 31 nodes 1 leaves 4.29497e+09 minterms 1634294967292 1644.29497e+09 165From[31]: 32 nodes 1 leaves 2 minterms 166Reached[31]: 32 nodes 1 leaves 4.29497e+09 minterms 1674294967294 1684.29497e+09 169From[32]: 33 nodes 1 leaves 1 minterms 170Reached[32]: 33 nodes 1 leaves 4.29497e+09 minterms 1714294967295 1724.29497e+09 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: 2796202 187Cache hit threshold for resizing: 30% 188Garbage collection enabled: yes 189Limit for fast unique table growth: 1677721 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: 4625812 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: 49867 215Number of cache hits: 20816 216Number of cache insertions: 29312 217Number of cache collisions: 1359 218Number of cache deletions: 21085 219Cache used slots = 17.70% (expected 10.53%) 220Soft limit for cache size: 100352 221Number of buckets in unique table: 25088 222Used buckets in unique table: 12.40% (expected 12.44%) 223Number of BDD and ADD nodes: 3613 224Number of ZDD nodes: 0 225Number of dead BDD and ADD nodes: 3266 226Number of dead ZDD nodes: 0 227Total number of nodes allocated: 26901 228Total number of nodes reclaimed: 16737 229Garbage collections so far: 15 230Time for garbage collection: 0.00 sec 231Reorderings so far: 15 232Time for reordering: 0.11 sec 233Final size: 275 234total time = 0.11 sec 235Runtime Statistics 236------------------ 237Machine name: crozzon 238User time 0.1 seconds 239System time 0.0 seconds 240 241Average resident text size = 0K 242Average resident data+stack size = 0K 243Maximum resident size = 8080K 244 245Virtual memory limit = unlimited (unlimited) 246Major page faults = 0 247Minor page faults = 1509 248Swaps = 0 249Input blocks = 16 250Output blocks = 16 251Context switch (voluntary) = 1 252Context switch (involuntary) = 1 253