1# Nanotrav Version #0.13, Release date 2015/7/15 2# nanotrav/nanotrav -p 1 -ordering dfs -autodyn -automethod sifting -reordering sifting -drop ./nanotrav/C880.blif 3# CUDD Version 3.0.0 4BDD reordering with sifting: from 3974 to ... 2432 nodes in 0.01 sec 5BDD reordering with sifting: from 4893 to ... 3549 nodes in 0.01 sec 6BDD reordering with sifting: from 7133 to ... 6246 nodes in 0.03 sec 7BDD reordering with sifting: from 12522 to ... 6465 nodes in 0.04 sec 8Order before final reordering 986GAT(18) 85GAT(17) 90GAT(22) 89GAT(21) 88GAT(20) 87GAT(19) 1GAT(0) 51GAT(8) 1075GAT(15) 26GAT(4) 268GAT(59) 36GAT(6) 29GAT(5) 80GAT(16) 59GAT(10) 42GAT(7) 11156GAT(39) 17GAT(3) 74GAT(14) 55GAT(9) 8GAT(1) 219GAT(50) 210GAT(49) 91GAT(23) 12101GAT(25) 138GAT(33) 96GAT(24) 171GAT(42) 152GAT(37) 146GAT(35) 116GAT(28) 189GAT(45) 13149GAT(36) 121GAT(29) 195GAT(46) 153GAT(38) 126GAT(30) 261GAT(57) 201GAT(47) 143GAT(34) 14111GAT(27) 183GAT(44) 130GAT(31) 135GAT(32) 106GAT(26) 177GAT(43) 165GAT(41) 207GAT(48) 15159GAT(40) 228GAT(51) 237GAT(52) 246GAT(53) 73GAT(13) 72GAT(12) 68GAT(11) 13GAT(2) 16260GAT(56) 267GAT(58) 259GAT(55) 255GAT(54) 17Number of inputs = 60 18BDD reordering with sifting: from 6204 to ... 4623 nodes in 0.02 sec 19New order 20135GAT(32) 207GAT(48) 130GAT(31) 86GAT(18) 85GAT(17) 89GAT(21) 90GAT(22) 88GAT(20) 2187GAT(19) 1GAT(0) 51GAT(8) 26GAT(4) 268GAT(59) 29GAT(5) 80GAT(16) 59GAT(10) 2242GAT(7) 75GAT(15) 156GAT(39) 36GAT(6) 17GAT(3) 74GAT(14) 55GAT(9) 8GAT(1) 23210GAT(49) 91GAT(23) 138GAT(33) 165GAT(41) 96GAT(24) 159GAT(40) 101GAT(25) 171GAT(42) 24152GAT(37) 149GAT(36) 146GAT(35) 116GAT(28) 189GAT(45) 121GAT(29) 195GAT(46) 153GAT(38) 25143GAT(34) 126GAT(30) 201GAT(47) 261GAT(57) 111GAT(27) 106GAT(26) 183GAT(44) 177GAT(43) 26219GAT(50) 246GAT(53) 237GAT(52) 228GAT(51) 73GAT(13) 72GAT(12) 68GAT(11) 13GAT(2) 27260GAT(56) 267GAT(58) 259GAT(55) 255GAT(54) 28**** CUDD modifiable parameters **** 29Hard limit for cache size: 2796202 30Cache hit threshold for resizing: 30% 31Garbage collection enabled: yes 32Limit for fast unique table growth: 1677721 33Maximum number of variables sifted per reordering: 1000000 34Maximum number of variable swaps per reordering: 1000000000 35Maximum growth while sifting a variable: 1.2 36Dynamic reordering of BDDs enabled: yes 37Default BDD reordering method: 4 38Dynamic reordering of ZDDs enabled: no 39Default ZDD reordering method: 4 40Realignment of ZDDs to BDDs enabled: no 41Realignment of BDDs to ZDDs enabled: no 42Dead nodes counted in triggering reordering: no 43Group checking criterion: 7 44Recombination threshold: 0 45Symmetry violation threshold: 10 46Arc violation threshold: 10 47GA population size: 0 48Number of crossovers for GA: 0 49Next reordering threshold: 9340 50**** CUDD non-modifiable parameters **** 51Memory in use: 4926992 52Peak number of nodes: 19418 53Peak number of live nodes: 12568 54Number of BDD variables: 60 55Number of ZDD variables: 0 56Number of cache entries: 65536 57Number of cache look-ups: 59150 58Number of cache hits: 28634 59Number of cache insertions: 30595 60Number of cache collisions: 2450 61Number of cache deletions: 28145 62Cache used slots = 18.22% (expected 0.00%) 63Soft limit for cache size: 62464 64Number of buckets in unique table: 15616 65Used buckets in unique table: 20.72% (expected 20.96%) 66Number of BDD and ADD nodes: 4671 67Number of ZDD nodes: 0 68Number of dead BDD and ADD nodes: 0 69Number of dead ZDD nodes: 0 70Total number of nodes allocated: 32671 71Total number of nodes reclaimed: 1974 72Garbage collections so far: 5 73Time for garbage collection: 0.00 sec 74Reorderings so far: 5 75Time for reordering: 0.11 sec 76Final size: 4623 77total time = 0.11 sec 78Runtime Statistics 79------------------ 80Machine name: crozzon 81User time 0.1 seconds 82System time 0.0 seconds 83 84Average resident text size = 0K 85Average resident data+stack size = 0K 86Maximum resident size = 6616K 87 88Virtual memory limit = unlimited (unlimited) 89Major page faults = 0 90Minor page faults = 1302 91Swaps = 0 92Input blocks = 40 93Output blocks = 8 94Context switch (voluntary) = 1 95Context switch (involuntary) = 1 96