| # TestCudd Version #1.0, Release date 3/17/01 |
| # ./testcudd -p 2 r7x8.1.mat |
| :name: r7x8.1.mat: 7 rows 9 columns |
| :1: M: 63 nodes 5 leaves 52 minterms |
| 000000-- 1 |
| 000001-0 1 |
| 000001-1 4 |
| 000010-0 4 |
| 000010-1 3 |
| 000011-0 2 |
| 000011-1 4 |
| 000100-- 3 |
| 000101-0 3 |
| 000110-0 1 |
| 000110-1 2 |
| 000111-0 4 |
| 001000-- 1 |
| 001001-0 4 |
| 001010-0 2 |
| 001010-1 1 |
| 001011-1 4 |
| 001100-0 2 |
| 001100-1 3 |
| 001101-0 3 |
| 001110-0 4 |
| 001110-1 1 |
| 0100-0-0 3 |
| 011000-0 3 |
| 011010-0 1 |
| 100000-0 2 |
| 100000-1 3 |
| 100001-0 2 |
| 100001-1 4 |
| 100010-- 3 |
| 100011-- 4 |
| 100100-- 1 |
| 100101-0 2 |
| 100110-0 1 |
| 100110-1 3 |
| 100111-0 3 |
| 101000-1 1 |
| 101001-0 1 |
| 101001-1 4 |
| 101100-0 2 |
| 101100-1 4 |
| 101101-0 4 |
| 110000-0 2 |
| 110010-0 4 |
| 111000-0 2 |
| |
| :2: time to read the matrix = 0.00 sec |
| :3: C: 22 nodes 1 leaves 52 minterms |
| 0000---- 1 |
| 0001-0-- 1 |
| 0001-1-0 1 |
| 001000-- 1 |
| 001001-0 1 |
| 001010-- 1 |
| 001011-1 1 |
| 001100-- 1 |
| 001101-0 1 |
| 001110-- 1 |
| 01-0-0-0 1 |
| 1000---- 1 |
| 1001-0-- 1 |
| 1001-1-0 1 |
| 101000-1 1 |
| 101001-- 1 |
| 101100-- 1 |
| 101101-0 1 |
| 1100-0-0 1 |
| 111000-0 1 |
| |
| Testing iterator on cubes: |
| 000000-- 1 |
| 000001-0 1 |
| 000001-1 4 |
| 000010-0 4 |
| 000010-1 3 |
| 000011-0 2 |
| 000011-1 4 |
| 000100-- 3 |
| 000101-0 3 |
| 000110-0 1 |
| 000110-1 2 |
| 000111-0 4 |
| 001000-- 1 |
| 001001-0 4 |
| 001010-0 2 |
| 001010-1 1 |
| 001011-1 4 |
| 001100-0 2 |
| 001100-1 3 |
| 001101-0 3 |
| 001110-0 4 |
| 001110-1 1 |
| 0100-0-0 3 |
| 011000-0 3 |
| 011010-0 1 |
| 100000-0 2 |
| 100000-1 3 |
| 100001-0 2 |
| 100001-1 4 |
| 100010-- 3 |
| 100011-- 4 |
| 100100-- 1 |
| 100101-0 2 |
| 100110-0 1 |
| 100110-1 3 |
| 100111-0 3 |
| 101000-1 1 |
| 101001-0 1 |
| 101001-1 4 |
| 101100-0 2 |
| 101100-1 4 |
| 101101-0 4 |
| 110000-0 2 |
| 110010-0 4 |
| 111000-0 2 |
| |
| Testing prime expansion of cubes: |
| -000---- 1 |
| -00--0-- 1 |
| 0--0-0-0 1 |
| --00-0-0 1 |
| -0-100-- 1 |
| 10-001-- 1 |
| -00----0 1 |
| 00---0-- 1 |
| -1-000-0 1 |
| -0--01-0 1 |
| -0--00-1 1 |
| 00-01--1 1 |
| |
| Testing iterator on primes (CNF): |
| -0-0---- 1 |
| -0---0-- 1 |
| 0-0-0--- 1 |
| -0-----0 1 |
| ---0-0-0 1 |
| 0101-1-1 1 |
| --0-00-1 1 |
| 1-0-10-0 1 |
| |
| Cache used slots = 58.06% (expected 58.92%) |
| xor1: 14 nodes 1 leaves 28 minterms |
| 000--1-1 1 |
| 001-11-1 1 |
| 01---0-0 1 |
| 100--1-1 1 |
| 101-00-0 1 |
| 101-01-1 1 |
| 110--0-0 1 |
| 111-00-0 1 |
| |
| Chosen minterm for Hamming distance test: : 9 nodes 1 leaves 1 minterms |
| 11110010 1 |
| |
| Minimum Hamming distance = 1 |
| ycube: 5 nodes 1 leaves 8 minterms |
| -0-0-0-0 1 |
| |
| CP: 11 nodes 1 leaves 7 minterms |
| 00-0-0-0 1 |
| 1000-0-0 1 |
| 101000-1 1 |
| |
| :4: ineq: 10 nodes 1 leaves 42 minterms |
| 001000-- 1 |
| 00101--- 1 |
| 1000---- 1 |
| 100100-- 1 |
| 10011--- 1 |
| 101----- 1 |
| 111000-- 1 |
| 11101--- 1 |
| |
| 10------ 1 |
| -01----- 1 |
| 1-1----- 1 |
| -0-0---- 1 |
| 1--0---- 1 |
| -0--10-- 1 |
| --1010-- 1 |
| 1---10-- 1 |
| |
| :4: ess: 1 nodes 1 leaves 128 minterms |
| -------- 1 |
| |
| :5: shortP: 7 nodes 1 leaves 2 minterms |
| 000000-- 1 |
| |
| :5b: largest: 4 nodes 1 leaves 16 minterms |
| 01-1---- 1 |
| |
| The value of M along the chosen shortest path is 1 |
| :6: shortP: 5 nodes 1 leaves 8 minterms |
| 0000---- 1 |
| |
| Average distance: 4133.34 |
| Number of variables = 8 Number of slots = 2304 |
| Number of keys = 995 Number of min dead = 9216 |
| walsh1: 16 nodes 2 leaves 256 minterms |
| -0--0--0--0- 1 |
| -0--0--0--10 1 |
| -0--0--0--11 -1 |
| -0--0--10-0- 1 |
| -0--0--10-10 1 |
| -0--0--10-11 -1 |
| -0--0--11-0- -1 |
| -0--0--11-10 -1 |
| -0--0--11-11 1 |
| -0--10-0--0- 1 |
| -0--10-0--10 1 |
| -0--10-0--11 -1 |
| -0--10-10-0- 1 |
| -0--10-10-10 1 |
| -0--10-10-11 -1 |
| -0--10-11-0- -1 |
| -0--10-11-10 -1 |
| -0--10-11-11 1 |
| -0--11-0--0- -1 |
| -0--11-0--10 -1 |
| -0--11-0--11 1 |
| -0--11-10-0- -1 |
| -0--11-10-10 -1 |
| -0--11-10-11 1 |
| -0--11-11-0- 1 |
| -0--11-11-10 1 |
| -0--11-11-11 -1 |
| -10-0--0--0- 1 |
| -10-0--0--10 1 |
| -10-0--0--11 -1 |
| -10-0--10-0- 1 |
| -10-0--10-10 1 |
| -10-0--10-11 -1 |
| -10-0--11-0- -1 |
| -10-0--11-10 -1 |
| -10-0--11-11 1 |
| -10-10-0--0- 1 |
| -10-10-0--10 1 |
| -10-10-0--11 -1 |
| -10-10-10-0- 1 |
| -10-10-10-10 1 |
| -10-10-10-11 -1 |
| -10-10-11-0- -1 |
| -10-10-11-10 -1 |
| -10-10-11-11 1 |
| -10-11-0--0- -1 |
| -10-11-0--10 -1 |
| -10-11-0--11 1 |
| -10-11-10-0- -1 |
| -10-11-10-10 -1 |
| -10-11-10-11 1 |
| -10-11-11-0- 1 |
| -10-11-11-10 1 |
| -10-11-11-11 -1 |
| -11-0--0--0- -1 |
| -11-0--0--10 -1 |
| -11-0--0--11 1 |
| -11-0--10-0- -1 |
| -11-0--10-10 -1 |
| -11-0--10-11 1 |
| -11-0--11-0- 1 |
| -11-0--11-10 1 |
| -11-0--11-11 -1 |
| -11-10-0--0- -1 |
| -11-10-0--10 -1 |
| -11-10-0--11 1 |
| -11-10-10-0- -1 |
| -11-10-10-10 -1 |
| -11-10-10-11 1 |
| -11-10-11-0- 1 |
| -11-10-11-10 1 |
| -11-10-11-11 -1 |
| -11-11-0--0- 1 |
| -11-11-0--10 1 |
| -11-11-0--11 -1 |
| -11-11-10-0- 1 |
| -11-11-10-10 1 |
| -11-11-10-11 -1 |
| -11-11-11-0- -1 |
| -11-11-11-10 -1 |
| -11-11-11-11 1 |
| |
| wtw: 14 nodes 2 leaves 16 minterms |
| 0-00-00-00-0 16 |
| 0-00-00-01-1 16 |
| 0-00-01-10-0 16 |
| 0-00-01-11-1 16 |
| 0-01-10-00-0 16 |
| 0-01-10-01-1 16 |
| 0-01-11-10-0 16 |
| 0-01-11-11-1 16 |
| 1-10-00-00-0 16 |
| 1-10-00-01-1 16 |
| 1-10-01-10-0 16 |
| 1-10-01-11-1 16 |
| 1-11-10-00-0 16 |
| 1-11-10-01-1 16 |
| 1-11-11-10-0 16 |
| 1-11-11-11-1 16 |
| |
| Average length of non-empty lists = 1 |
| **** CUDD modifiable parameters **** |
| Hard limit for cache size: 7645866 |
| Cache hit threshold for resizing: 30% |
| Garbage collection enabled: yes |
| Limit for fast unique table growth: 4587520 |
| Maximum number of variables sifted per reordering: 1000 |
| Maximum number of variable swaps per reordering: 2000000 |
| Maximum growth while sifting a variable: 1.2 |
| Dynamic reordering of BDDs enabled: no |
| Default BDD reordering method: 4 |
| Dynamic reordering of ZDDs enabled: no |
| Default ZDD reordering method: 4 |
| Realignment of ZDDs to BDDs enabled: no |
| Realignment of BDDs to ZDDs enabled: no |
| Dead nodes counted in triggering reordering: no |
| Group checking criterion: 7 |
| Recombination threshold: 0 |
| Symmetry violation threshold: 0 |
| Arc violation threshold: 0 |
| GA population size: 0 |
| Number of crossovers for GA: 0 |
| Next reordering threshold: 4004 |
| **** CUDD non-modifiable parameters **** |
| Memory in use: 4274484 |
| Peak number of nodes: 2044 |
| Peak number of live nodes: 119 |
| Number of BDD variables: 9 |
| Number of ZDD variables: 0 |
| Number of cache entries: 2048 |
| Number of cache look-ups: 2846 |
| Number of cache hits: 715 |
| Number of cache insertions: 2289 |
| Number of cache collisions: 937 |
| Number of cache deletions: 1348 |
| Cache used slots = 66.02% (expected 67.30%) |
| Soft limit for cache size: 13312 |
| Number of buckets in unique table: 2560 |
| Used buckets in unique table: 0.51% (expected 0.51%) |
| Number of BDD and ADD nodes: 13 |
| Number of ZDD nodes: 0 |
| Number of dead BDD and ADD nodes: 0 |
| Number of dead ZDD nodes: 0 |
| Total number of nodes allocated: 1091 |
| Total number of nodes reclaimed: 950 |
| Garbage collections so far: 1 |
| Time for garbage collection: 0.00 sec |
| Reorderings so far: 0 |
| Time for reordering: 0.00 sec |
| total time = 0.00 sec |
| Runtime Statistics |
| ------------------ |
| Machine name: jobim.colorado.edu |
| User time 0.0 seconds |
| System time 0.0 seconds |
| |
| Average resident text size = 0K |
| Average resident data+stack size = 0K |
| Maximum resident size = 0K |
| |
| Virtual text size = 131644K |
| Virtual data size = 151K |
| data size initialized = 17K |
| data size uninitialized = 0K |
| data size sbrk = 134K |
| Virtual memory limit = 358400K (4194304K) |
| |
| Major page faults = 0 |
| Minor page faults = 1318 |
| Swaps = 0 |
| Input blocks = 0 |
| Output blocks = 0 |
| Context switch (voluntary) = 1 |
| Context switch (involuntary) = 1 |
