distr/nanotrav/C17.out

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