distr/nanotrav/s27.out

   1 # Nanotrav Version #0.12, Release date 2003/12/31
   2 # ./nanotrav -p 1 -trav s27.blif
   3 # CUDD Version 2.4.2
   4 Order before final reordering
   5 G0 G1 G2 G3 G5 G6 G7
   6 Number of inputs = 7
   7 Building transition relation. Time = 0.00 sec
   8 @@@
   9 Transition relation: 1 parts 3 latches 9 nodes
  10 Traversing. Time = 0.00 sec
  11 S0: 4 nodes 1 leaves 1 minterms
  12 From[1]: 5 nodes 1 leaves 4 minterms
  13 Reached[1]: 5 nodes 1 leaves 5 minterms
  14 5
  15 5e+0
  16 From[2]: 4 nodes 1 leaves 1 minterms
  17 Reached[2]: 3 nodes 1 leaves 6 minterms
  18 6
  19 6e+0
  20 depth = 2
  21 R: 3 nodes 1 leaves 6 minterms
  22 **** CUDD modifiable parameters ****
  23 Hard limit for cache size: 7645866
  24 Cache hit threshold for resizing: 30%
  25 Garbage collection enabled: yes
  26 Limit for fast unique table growth: 4587520
  27 Maximum number of variables sifted per reordering: 1000
  28 Maximum number of variable swaps per reordering: 2000000
  29 Maximum growth while sifting a variable: 1.2
  30 Dynamic reordering of BDDs enabled: no
  31 Default BDD reordering method: 4
  32 Dynamic reordering of ZDDs enabled: no
  33 Default ZDD reordering method: 4
  34 Realignment of ZDDs to BDDs enabled: no
  35 Realignment of BDDs to ZDDs enabled: no
  36 Dead nodes counted in triggering reordering: no
  37 Group checking criterion: 7
  38 Recombination threshold: 0
  39 Symmetry violation threshold: 10
  40 Arc violation threshold: 10
  41 GA population size: 0
  42 Number of crossovers for GA: 0
  43 Next reordering threshold: 4004
  44 **** CUDD non-modifiable parameters ****
  45 Memory in use: 4737772
  46 Peak number of nodes: 1022
  47 Peak number of live nodes: 95
  48 Number of BDD variables: 10
  49 Number of ZDD variables: 0
  50 Number of cache entries: 32768
  51 Number of cache look-ups: 180
  52 Number of cache hits: 26
  53 Number of cache insertions: 151
  54 Number of cache collisions: 1
  55 Number of cache deletions: 0
  56 Cache used slots = 0.46% (expected 0.46%)
  57 Soft limit for cache size: 11264
  58 Number of buckets in unique table: 2816
  59 Used buckets in unique table: 4.97% (expected 5.15%)
  60 Number of BDD and ADD nodes: 150
  61 Number of ZDD nodes: 0
  62 Number of dead BDD and ADD nodes: 75
  63 Number of dead ZDD nodes: 0
  64 Total number of nodes allocated: 150
  65 Total number of nodes reclaimed: 12
  66 Garbage collections so far: 0
  67 Time for garbage collection: 0.00 sec
  68 Reorderings so far: 0
  69 Time for reordering: 0.00 sec
  70 Final size: 16
  71 total time = 0.00 sec
  72 Runtime Statistics
  73 ------------------
  74 Machine name: jobim.colorado.edu
  75 User time      0.0 seconds
  76 System time    0.0 seconds
  77
  78 Average resident text size       =     0K
  79 Average resident data+stack size =     0K
  80 Maximum resident size            =     0K
  81
  82 Virtual text size                = 131815K
  83 Virtual data size                =   297K
  84     data size initialized        =    25K
  85     data size uninitialized      =   137K
  86     data size sbrk               =   135K
  87 Virtual memory limit             = 358400K (4194304K)
  88
  89 Major page faults = 0
  90 Minor page faults = 1424
  91 Swaps = 0
  92 Input blocks = 0
  93 Output blocks = 0
  94 Context switch (voluntary) = 1
  95 Context switch (involuntary) = 0