source: icGREP/icgrep-devel/cudd-2.5.1/dddmp/exp/4.cnf @ 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.1 KB
Line 
1c # BDD stored by the DDDMP tool in CNF format
2c #
3c # Warning: AUX IDs missing ... equal to BDD IDs.
4c #
5c .ver DDDMP-2.0
6c .nnodes 35
7c .nvars 50
8c .nsuppvars 15
9c .suppvarnames V2 V3 V8 V9 V10 V12 V22 V23 V24 V37 V38 V39 V48 V49 V50
10c .orderedvarnames V1 V2 V3 V4 V5 V6 V7 V8 V9 V10 V11 V12 V13 V14 V15 V16 V17 V18 V19 V20 V21 V22 V23 V24 V25 V26 V27 V28 V29 V30 V31 V32 V33 V34 V35 V36 V37 V38 V39 V40 V41 V42 V43 V44 V45 V46 V47 V48 V49 V50
11c .ids  1 2 7 8 9 11 21 22 23 36 37 38 47 48 49
12c .permids  1 2 7 8 9 11 21 22 23 36 37 38 47 48 49
13c .auxids  1 2 7 8 9 11 21 22 23 36 37 38 47 48 49
14c .cnfids  2 3 8 9 10 12 22 23 24 37 38 39 48 49 50
15c .nroots 1
16c .rootids 1         
17c .nAddedCnfVar 31
18c #
19c # Init CNF Clauses
20c #
21p cnf 130 108             
22100 -49 0
23100 -50 0
24-100 49 50 0
25101 48 0
26101 -100 0
27-101 -48 100 0
28102 48 0
29102 -50 0
30-102 -48 50 0
31103 39 102 0
32-103 39 -102 0
33103 -39 -48 0
34-103 -39 48 0
35104 48 0
36104 -49 0
37-104 -48 49 0
38105 39 -101 0
39-105 39 101 0
40105 -39 -104 0
41-105 -39 104 0
42106 38 105 0
43-106 38 -105 0
44106 -38 -103 0
45-106 -38 103 0
46107 -37 0
47107 106 0
48-107 37 -106 0
49108 38 104 0
50-108 38 -104 0
51108 -38 -48 0
52-108 -38 48 0
53109 -37 0
54109 108 0
55-109 37 -108 0
56110 24 -109 0
57-110 24 109 0
58110 -24 -107 0
59-110 -24 107 0
60111 -37 0
61111 103 0
62-111 37 -103 0
63112 -37 0
64112 48 0
65-112 37 -48 0
66113 24 -112 0
67-113 24 112 0
68113 -24 -111 0
69-113 -24 111 0
70114 23 -113 0
71-114 23 113 0
72114 -23 -110 0
73-114 -23 110 0
74115 22 0
75115 -114 0
76-115 -22 114 0
77116 23 -112 0
78-116 23 112 0
79116 -23 -109 0
80-116 -23 109 0
81117 22 0
82117 -116 0
83-117 -22 116 0
84118 12 -117 0
85-118 12 117 0
86118 -12 -115 0
87-118 -12 115 0
88119 10 0
89119 -118 0
90-119 -10 118 0
91120 22 0
92120 -113 0
93-120 -22 113 0
94121 12 -120 0
95-121 12 120 0
96121 -12 -115 0
97-121 -12 115 0
98122 10 0
99122 -121 0
100-122 -10 121 0
101123 9 -122 0
102-123 9 122 0
103123 -9 -119 0
104-123 -9 119 0
105124 12 0
106124 -115 0
107-124 -12 115 0
108125 10 0
109125 -124 0
110-125 -10 124 0
111126 10 0
112126 -115 0
113-126 -10 115 0
114127 9 -126 0
115-127 9 126 0
116127 -9 -125 0
117-127 -9 125 0
118128 8 -127 0
119-128 8 127 0
120128 -8 -123 0
121-128 -8 123 0
122129 3 -128 0
123-129 3 128 0
124129 -3 -101 0
125-129 -3 101 0
126130 -2 0
127130 -129 0
128-130 2 129 0
129-130 0
130c # End of Cnf From dddmp-2.0
Note: See TracBrowser for help on using the repository browser.