source: icGREP/icgrep-devel/cudd-2.5.1/dddmp/exp/3.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: 4.9 KB
Line 
1.ver DDDMP-2.0
2.mode A
3.varinfo 0
4.nnodes 290
5.nvars 50
6.nsuppvars 17
7.suppvarnames DUMMY0 DUMMY1 DUMMY2 DUMMY3 DUMMY4 DUMMY5 DUMMY10 DUMMY11 DUMMY12 DUMMY15 DUMMY16 DUMMY17 DUMMY18 DUMMY19 DUMMY20 DUMMY21 DUMMY22
8.ids 0 1 2 3 4 5 10 11 12 15 16 17 18 19 20 21 22
9.permids 0 1 2 3 4 5 10 11 12 15 16 17 18 19 20 21 22
10.auxids 0 1 2 3 4 5 10 11 12 15 16 17 18 19 20 21 22
11.nroots 1
12.rootids -290
13.nodes
141 T 1 0 0
152 22 16 1 -1
163 21 15 2 1
174 20 14 3 1
185 19 13 4 1
196 18 12 1 5
207 17 11 1 6
218 20 14 2 1
229 19 13 8 1
2310 18 12 1 9
2411 17 11 1 10
2512 5 5 7 11
2613 21 15 1 2
2714 20 14 13 -1
2815 21 15 2 -1
2916 20 14 15 -1
3017 19 13 14 -16
3118 20 14 3 -1
3219 21 15 1 -1
3320 20 14 19 -1
3421 19 13 18 -20
3522 18 12 17 21
3623 17 11 1 22
3724 20 14 13 -15
3825 19 13 24 1
3926 20 14 3 -15
4027 19 13 26 1
4128 18 12 25 27
4229 17 11 1 28
4330 16 10 23 29
4431 19 13 14 1
4532 19 13 18 1
4633 18 12 31 32
4734 17 11 1 33
4835 16 10 34 29
4936 15 9 30 35
5037 19 13 18 -16
5138 18 12 17 37
5239 17 11 1 38
5340 16 10 39 29
5441 15 9 40 35
5542 12 8 36 41
5643 11 7 36 42
5744 11 7 42 36
5845 10 6 43 44
5946 20 14 2 -1
6047 19 13 46 -20
6148 18 12 17 47
6249 17 11 1 48
6350 20 14 2 -15
6451 19 13 50 1
6552 18 12 25 51
6653 17 11 1 52
6754 16 10 49 53
6855 19 13 46 1
6956 18 12 31 55
7057 17 11 1 56
7158 16 10 57 53
7259 15 9 54 58
7360 19 13 46 -16
7461 18 12 17 60
7562 17 11 1 61
7663 16 10 62 53
7764 15 9 63 58
7865 12 8 59 64
7966 11 7 59 65
8067 11 7 65 59
8168 10 6 66 67
8269 5 5 45 68
8370 4 4 12 69
8471 21 15 2 -2
8572 20 14 71 1
8673 19 13 72 1
8774 18 12 1 73
8875 17 11 1 74
8976 20 14 1 13
9077 19 13 72 76
9178 18 12 1 77
9279 17 11 1 78
9380 16 10 75 79
9481 20 14 15 1
9582 19 13 81 1
9683 18 12 1 82
9784 17 11 1 83
9885 19 13 81 76
9986 18 12 1 85
10087 17 11 1 86
10188 16 10 84 87
10289 5 5 80 88
10390 20 14 71 -1
10491 19 13 90 -20
10592 18 12 17 91
10693 17 11 1 92
10794 20 14 71 -15
10895 19 13 94 76
10996 18 12 25 95
11097 17 11 1 96
11198 16 10 93 97
11299 19 13 90 1
113100 18 12 31 99
114101 17 11 1 100
115102 16 10 101 97
116103 15 9 98 102
117104 19 13 90 -16
118105 18 12 17 104
119106 17 11 1 105
120107 16 10 106 97
121108 15 9 107 102
122109 12 8 103 108
123110 11 7 103 109
124111 11 7 109 103
125112 10 6 110 111
126113 19 13 16 -20
127114 18 12 17 113
128115 17 11 1 114
129116 20 14 15 -15
130117 19 13 116 76
131118 18 12 25 117
132119 17 11 1 118
133120 16 10 115 119
134121 19 13 16 1
135122 18 12 31 121
136123 17 11 1 122
137124 16 10 123 119
138125 15 9 120 124
139126 19 13 16 -16
140127 18 12 17 126
141128 17 11 1 127
142129 16 10 128 119
143130 15 9 129 124
144131 12 8 125 130
145132 11 7 125 131
146133 11 7 131 125
147134 10 6 132 133
148135 5 5 112 134
149136 4 4 89 135
150137 3 3 70 136
151138 5 5 75 84
152139 19 13 94 1
153140 18 12 25 139
154141 17 11 1 140
155142 16 10 93 141
156143 16 10 101 141
157144 15 9 142 143
158145 16 10 106 141
159146 15 9 145 143
160147 12 8 144 146
161148 11 7 144 147
162149 11 7 147 144
163150 10 6 148 149
164151 19 13 116 1
165152 18 12 25 151
166153 17 11 1 152
167154 16 10 115 153
168155 16 10 123 153
169156 15 9 154 155
170157 16 10 128 153
171158 15 9 157 155
172159 12 8 156 158
173160 11 7 156 159
174161 11 7 159 156
175162 10 6 160 161
176163 5 5 150 162
177164 4 4 138 163
178165 3 3 70 164
179166 2 2 137 165
180167 1 1 70 166
181168 19 13 16 -1
182169 18 12 168 -5
183170 17 11 1 -169
184171 18 12 168 -9
185172 17 11 1 -171
186173 5 5 170 172
187174 19 13 72 16
188175 18 12 174 -21
189176 17 11 1 -175
190177 20 14 71 15
191178 19 13 177 -1
192179 18 12 178 -27
193180 17 11 1 -179
194181 16 10 176 180
195182 19 13 72 -1
196183 18 12 182 -32
197184 17 11 1 -183
198185 16 10 184 180
199186 15 9 181 185
200187 18 12 174 -37
201188 17 11 1 -187
202189 16 10 188 180
203190 15 9 189 185
204191 12 8 186 190
205192 11 7 186 191
206193 11 7 191 186
207194 10 6 192 193
208195 18 12 174 -47
209196 17 11 1 -195
210197 18 12 178 -51
211198 17 11 1 -197
212199 16 10 196 198
213200 18 12 182 -55
214201 17 11 1 -200
215202 16 10 201 198
216203 15 9 199 202
217204 18 12 174 -60
218205 17 11 1 -204
219206 16 10 205 198
220207 15 9 206 202
221208 12 8 203 207
222209 11 7 203 208
223210 11 7 208 203
224211 10 6 209 210
225212 5 5 194 211
226213 4 4 173 212
227214 18 12 168 -73
228215 17 11 1 -214
229216 18 12 168 -77
230217 17 11 1 -216
231218 16 10 215 217
232219 18 12 168 -82
233220 17 11 1 -219
234221 18 12 168 -85
235222 17 11 1 -221
236223 16 10 220 222
237224 5 5 218 223
238225 18 12 174 -91
239226 17 11 1 -225
240227 18 12 178 -95
241228 17 11 1 -227
242229 16 10 226 228
243230 18 12 182 -99
244231 17 11 1 -230
245232 16 10 231 228
246233 15 9 229 232
247234 18 12 174 -104
248235 17 11 1 -234
249236 16 10 235 228
250237 15 9 236 232
251238 12 8 233 237
252239 11 7 233 238
253240 11 7 238 233
254241 10 6 239 240
255242 18 12 174 -113
256243 17 11 1 -242
257244 18 12 178 -117
258245 17 11 1 -244
259246 16 10 243 245
260247 18 12 182 -121
261248 17 11 1 -247
262249 16 10 248 245
263250 15 9 246 249
264251 18 12 174 -126
265252 17 11 1 -251
266253 16 10 252 245
267254 15 9 253 249
268255 12 8 250 254
269256 11 7 250 255
270257 11 7 255 250
271258 10 6 256 257
272259 5 5 241 258
273260 4 4 224 259
274261 3 3 213 260
275262 5 5 215 220
276263 18 12 178 -139
277264 17 11 1 -263
278265 16 10 226 264
279266 16 10 231 264
280267 15 9 265 266
281268 16 10 235 264
282269 15 9 268 266
283270 12 8 267 269
284271 11 7 267 270
285272 11 7 270 267
286273 10 6 271 272
287274 18 12 178 -151
288275 17 11 1 -274
289276 16 10 243 275
290277 16 10 248 275
291278 15 9 276 277
292279 16 10 252 275
293280 15 9 279 277
294281 12 8 278 280
295282 11 7 278 281
296283 11 7 281 278
297284 10 6 282 283
298285 5 5 273 284
299286 4 4 262 285
300287 3 3 213 286
301288 2 2 261 287
302289 1 1 213 288
303290 0 0 167 289
304.end
Note: See TracBrowser for help on using the repository browser.