s27b.out 2.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384
  1. # Nanotrav Version #0.13, Release date 2015/7/15
  2. # nanotrav/nanotrav -p 1 -ordering dfs -reordering win4 -verify ./nanotrav/s27.blif ./nanotrav/s27b.blif
  3. # CUDD Version 3.0.0
  4. Order before final reordering
  5. G0 G6 G1 G7 G3 G5 G2
  6. Number of inputs = 7
  7. BDD reordering with window: from 11 to ... 11 nodes in 0 sec
  8. New order
  9. G0 G6 G1 G7 G3 G5 G2
  10. Testing equivalence
  11. G17: 7 nodes 1 leaves 106 minterms
  12. G10: 6 nodes 1 leaves 60 minterms
  13. G11: 7 nodes 1 leaves 22 minterms
  14. G13: 4 nodes 1 leaves 48 minterms
  15. Verification succeeded
  16. **** CUDD modifiable parameters ****
  17. Hard limit for cache size: 2796202
  18. Cache hit threshold for resizing: 30%
  19. Garbage collection enabled: yes
  20. Limit for fast unique table growth: 1677721
  21. Maximum number of variables sifted per reordering: 1000000
  22. Maximum number of variable swaps per reordering: 1000000000
  23. Maximum growth while sifting a variable: 1.2
  24. Dynamic reordering of BDDs enabled: no
  25. Default BDD reordering method: 4
  26. Dynamic reordering of ZDDs enabled: no
  27. Default ZDD reordering method: 4
  28. Realignment of ZDDs to BDDs enabled: no
  29. Realignment of BDDs to ZDDs enabled: no
  30. Dead nodes counted in triggering reordering: no
  31. Group checking criterion: 7
  32. Recombination threshold: 0
  33. Symmetry violation threshold: 10
  34. Arc violation threshold: 10
  35. GA population size: 0
  36. Number of crossovers for GA: 0
  37. Next reordering threshold: 36
  38. **** CUDD non-modifiable parameters ****
  39. Memory in use: 3182768
  40. Peak number of nodes: 1022
  41. Peak number of live nodes: 29
  42. Number of BDD variables: 7
  43. Number of ZDD variables: 0
  44. Number of cache entries: 32768
  45. Number of cache look-ups: 27
  46. Number of cache hits: 8
  47. Number of cache insertions: 19
  48. Number of cache collisions: 0
  49. Number of cache deletions: 19
  50. Cache used slots = 0.06% (expected 0.00%)
  51. Soft limit for cache size: 8192
  52. Number of buckets in unique table: 2048
  53. Used buckets in unique table: 1.27% (expected 1.25%)
  54. Number of BDD and ADD nodes: 26
  55. Number of ZDD nodes: 0
  56. Number of dead BDD and ADD nodes: 7
  57. Number of dead ZDD nodes: 0
  58. Total number of nodes allocated: 36
  59. Total number of nodes reclaimed: 10
  60. Garbage collections so far: 1
  61. Time for garbage collection: 0.00 sec
  62. Reorderings so far: 1
  63. Time for reordering: 0.00 sec
  64. Final size: 11
  65. total time = 0.00 sec
  66. Runtime Statistics
  67. ------------------
  68. Machine name: crozzon
  69. User time 0.0 seconds
  70. System time 0.0 seconds
  71. Average resident text size = 0K
  72. Average resident data+stack size = 0K
  73. Maximum resident size = 6052K
  74. Virtual memory limit = unlimited (unlimited)
  75. Major page faults = 0
  76. Minor page faults = 895
  77. Swaps = 0
  78. Input blocks = 8
  79. Output blocks = 8
  80. Context switch (voluntary) = 1
  81. Context switch (involuntary) = 1