source: icGREP/icgrep-devel/cudd-2.5.1/dddmp/exp/1.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: 1.7 KB
Line 
1.ver DDDMP-2.0
2.mode A
3.varinfo 0
4.nnodes 96
5.nvars 50
6.nsuppvars 14
7.suppvarnames DUMMY0 DUMMY1 DUMMY4 DUMMY10 DUMMY11 DUMMY12 DUMMY15 DUMMY16 DUMMY17 DUMMY18 DUMMY19 DUMMY20 DUMMY21 DUMMY22
8.ids 0 1 4 10 11 12 15 16 17 18 19 20 21 22
9.permids 0 1 4 10 11 12 15 16 17 18 19 20 21 22
10.auxids 0 1 4 10 11 12 15 16 17 18 19 20 21 22
11.nroots 1
12.rootids -96
13.nodes
141 T 1 0 0
152 22 13 1 -1
163 21 12 1 -2
174 20 11 1 3
185 19 10 1 4
196 20 11 3 1
207 21 12 1 2
218 20 11 1 7
229 19 10 6 8
2310 18 9 5 9
2411 17 8 1 10
2512 18 9 1 9
2613 17 8 1 12
2714 16 7 11 13
2815 20 11 7 -1
2916 21 12 2 -1
3017 20 11 16 -3
3118 19 10 15 -17
3219 21 12 2 1
3320 20 11 19 7
3421 19 10 6 20
3522 18 9 18 21
3623 17 8 1 22
3724 16 7 23 13
3825 18 9 18 9
3926 17 8 1 25
4027 16 7 26 13
4128 15 6 24 27
4229 12 5 28 27
4330 11 4 28 29
4431 11 4 28 27
4532 10 3 30 31
4633 4 2 14 32
4734 19 10 1 8
4835 18 9 5 34
4936 17 8 1 35
5037 16 7 36 1
5138 19 10 1 20
5239 18 9 18 38
5340 17 8 1 39
5441 16 7 40 1
5542 18 9 18 34
5643 17 8 1 42
5744 16 7 43 1
5845 15 6 41 44
5946 12 5 45 44
6047 11 4 45 46
6148 11 4 45 44
6249 10 3 47 48
6350 4 2 37 49
6451 1 1 33 50
6552 20 11 16 -1
6653 21 12 1 -1
6754 20 11 1 53
6855 19 10 52 -54
6956 18 9 55 -9
7057 17 8 1 -56
7158 19 10 52 -8
7259 18 9 58 -9
7360 17 8 1 -59
7461 16 7 57 60
7562 21 12 2 -2
7663 20 11 62 1
7764 20 11 16 -53
7865 19 10 63 64
7966 18 9 65 -21
8067 17 8 1 -66
8168 16 7 67 60
8269 18 9 65 -9
8370 17 8 1 -69
8471 16 7 70 60
8572 15 6 68 71
8673 12 5 72 71
8774 11 4 72 73
8875 11 4 72 71
8976 10 3 74 75
9077 4 2 61 76
9178 18 9 55 -34
9279 17 8 1 -78
9380 18 9 58 -1
9481 17 8 1 -80
9582 16 7 79 81
9683 18 9 65 -38
9784 17 8 1 -83
9885 16 7 84 81
9986 18 9 65 -34
10087 17 8 1 -86
10188 16 7 87 81
10289 15 6 85 88
10390 12 5 89 88
10491 11 4 89 90
10592 11 4 89 88
10693 10 3 91 92
10794 4 2 82 93
10895 1 1 77 94
10996 0 0 51 95
110.end
Note: See TracBrowser for help on using the repository browser.