source: icGREP/icgrep-devel/cudd-2.5.1/dddmp/exp/4xor5.bdd @ 4597

Last change on this file since 4597 was 4597, checked in by nmedfort, 4 years ago

Upload of the CUDD library.

File size: 2.3 KB
Line 
1.ver DDDMP-2.0
2.mode A
3.varinfo 0
4.nnodes 105
5.nvars 50
6.nsuppvars 18
7.suppvarnames DUMMY1 DUMMY2 DUMMY7 DUMMY8 DUMMY9 DUMMY11 DUMMY19 DUMMY20 DUMMY21 DUMMY22 DUMMY23 DUMMY24 DUMMY36 DUMMY37 DUMMY38 DUMMY47 DUMMY48 DUMMY49
8.orderedvarnames DUMMY0 DUMMY1 DUMMY2 DUMMY3 DUMMY4 DUMMY5 DUMMY6 DUMMY7 DUMMY8 DUMMY9 DUMMY10 DUMMY11 DUMMY12 DUMMY13 DUMMY14 DUMMY15 DUMMY16 DUMMY17 DUMMY18 DUMMY19 DUMMY20 DUMMY21 DUMMY22 DUMMY23 DUMMY24 DUMMY25 DUMMY26 DUMMY27 DUMMY28 DUMMY29 DUMMY30 DUMMY31 DUMMY32 DUMMY33 DUMMY34 DUMMY35 DUMMY36 DUMMY37 DUMMY38 DUMMY39 DUMMY40 DUMMY41 DUMMY42 DUMMY43 DUMMY44 DUMMY45 DUMMY46 DUMMY47 DUMMY48 DUMMY49
9.ids 1 2 7 8 9 11 19 20 21 22 23 24 36 37 38 47 48 49
10.permids 1 2 7 8 9 11 19 20 21 22 23 24 36 37 38 47 48 49
11.auxids 1 2 7 8 9 11 19 20 21 22 23 24 36 37 38 47 48 49
12.nroots 1
13.rootids 105
14.nodes
151 T 1 0 0
162 24 11 1 -1
173 23 10 1 -2
184 22 9 3 -2
195 21 8 4 -2
206 23 10 1 -1
217 22 9 6 -1
228 21 8 7 -1
239 20 7 5 8
2410 23 10 2 -1
2511 22 9 2 10
2612 21 8 11 2
2713 23 10 2 -2
2814 22 9 3 -13
2915 21 8 4 14
3016 20 7 12 15
3117 19 6 9 -16
3218 49 17 1 -1
3319 48 16 1 18
3420 47 15 19 1
3521 24 11 20 -20
3622 23 10 20 -21
3723 22 9 22 -21
3824 21 8 23 -21
3925 23 10 20 -20
4026 22 9 25 -20
4127 21 8 26 -20
4228 20 7 24 27
4329 23 10 21 -20
4430 22 9 21 29
4531 21 8 30 21
4632 23 10 21 -21
4733 22 9 22 -32
4834 21 8 23 33
4935 20 7 31 34
5036 19 6 28 -35
5137 47 15 1 -1
5238 47 15 18 1
5339 38 14 37 -38
5440 48 16 1 -1
5541 47 15 40 1
5642 38 14 41 20
5743 37 13 39 -42
5844 36 12 1 -43
5945 37 13 37 -41
6046 36 12 1 -45
6147 24 11 46 -46
6248 23 10 44 -47
6349 36 12 1 -39
6450 24 11 49 -49
6551 36 12 1 -37
6652 24 11 51 -51
6753 23 10 50 52
6854 22 9 48 -53
6955 21 8 54 -2
7056 23 10 44 -46
7157 23 10 49 51
7258 22 9 56 -57
7359 21 8 58 -1
7460 20 7 55 59
7561 24 11 44 -44
7662 23 10 61 47
7763 23 10 50 -51
7864 22 9 62 63
7965 21 8 64 2
8066 21 8 54 14
8167 20 7 65 66
8268 19 6 60 -67
8369 23 10 46 -47
8470 22 9 69 -52
8571 21 8 70 -2
8672 23 10 46 -46
8773 22 9 72 -51
8874 21 8 73 -1
8975 20 7 71 74
9076 23 10 52 -51
9177 22 9 47 76
9278 21 8 77 2
9379 21 8 70 14
9480 20 7 78 79
9581 19 6 75 -80
9682 11 5 68 81
9783 9 4 82 17
9884 23 10 49 -52
9985 22 9 84 -53
10086 21 8 85 -2
10187 23 10 49 -51
10288 22 9 87 -57
10389 21 8 88 -1
10490 20 7 86 89
10591 22 9 53 63
10692 21 8 91 2
10793 21 8 85 14
10894 20 7 92 93
10995 19 6 90 -94
11096 11 5 68 95
11197 9 4 96 17
11298 8 3 83 97
11399 11 5 68 17
114100 9 4 99 17
115101 9 4 68 17
116102 8 3 100 101
117103 7 2 98 102
118104 2 1 36 103
119105 1 0 17 104
120.end
Note: See TracBrowser for help on using the repository browser.