source:
cegar_dev/cegar/concrete_model/SATcnf_c1.cnf
@
7
Last change on this file since 7 was 6, checked in by , 13 years ago | |
---|---|
File size: 3.5 KB |
Rev | Line | |
---|---|---|
[6] | 1 | c Nd253_277_1 79 |
2 | c o1_0_0 72 | |
3 | c Nd25_36_3 52 | |
4 | c Nd253_277_0 75 | |
5 | c Nd25_36_2 42 | |
6 | c Nd24_36_4 70 | |
7 | c Nd25_36_1 31 | |
8 | c Nd24_36_3 57 | |
9 | c Nd25_36_0 35 | |
10 | c Nd24_36_2 47 | |
11 | c Nd25_37_4 59 | |
12 | c Nd24_36_1 37 | |
13 | c Nd25_37_3 22 | |
14 | c Nd25_37_2 16 | |
15 | c r_i1_0_0 90 | |
16 | c r_i1_0_1 94 | |
17 | c Nd25_37_1 10 | |
18 | c Nd24_37_4 68 | |
19 | c r_i1_0_2 97 | |
20 | c Nd25_37_0 4 | |
21 | c Nd24_37_3 55 | |
22 | c r_i1_0_3 100 | |
23 | c Nd24_37_2 45 | |
24 | c r_i1_0_4 103 | |
25 | c Nd13_84_3 62 | |
26 | c Nd24_37_1 34 | |
27 | c Nd13_84_2 49 | |
28 | c i1_0_-1 91 | |
29 | c machine_concret1.m_state_1_0 6 | |
30 | c Nd13_84_1 39 | |
31 | c machine_concret1.m_state_1_1 12 | |
32 | c Nd13_84_0 28 | |
33 | c Nd12_84_3 66 | |
34 | c Nd12_84_2 53 | |
35 | c machine_concret1.m_state_1_2 18 | |
36 | c Nd12_84_1 43 | |
37 | c machine_concret1.m_state_1_3 24 | |
38 | c Nd12_84_0 32 | |
39 | c machine_concret1.m_state_1_4 61 | |
40 | c machine_concret1.m_state_0_0 5 | |
41 | c o2_0_4 21 | |
42 | c i1_0_0 29 | |
43 | c machine_concret1.m_state_0_1 11 | |
44 | c o2_0_3 15 | |
45 | c i1_0_1 40 | |
46 | c o1_0_4 86 | |
47 | c machine_concret1.m_state_0_2 17 | |
48 | c o2_0_2 9 | |
49 | c i1_0_2 50 | |
50 | c machine_concret1.m_state_0_3 23 | |
51 | c o2_0_1 3 | |
52 | c i1_0_3 63 | |
53 | c o1_0_3 82 | |
54 | c machine_concret1.m_state_0_4 60 | |
55 | c o2_0_0 1 | |
56 | c Nd253_277_3 87 | |
57 | c o1_0_2 78 | |
58 | c Nd25_36_4 65 | |
59 | c Nd253_277_2 83 | |
60 | c o1_0_1 74 | |
[4] | 61 | p cnf 105 257 |
[6] | 62 | 1 2 0 |
63 | -1 -2 0 | |
64 | 2 0 | |
65 | 5 6 4 0 | |
66 | -5 -4 0 | |
67 | -6 -4 0 | |
68 | 3 -4 7 0 | |
69 | -3 -7 0 | |
70 | 4 -7 0 | |
71 | -3 4 8 0 | |
72 | 3 -8 0 | |
73 | -4 -8 0 | |
74 | 7 8 0 | |
75 | 11 12 10 0 | |
76 | -11 -10 0 | |
77 | -12 -10 0 | |
78 | 9 -10 13 0 | |
79 | -9 -13 0 | |
80 | 10 -13 0 | |
81 | -9 10 14 0 | |
82 | 9 -14 0 | |
83 | -10 -14 0 | |
84 | 13 14 0 | |
85 | 17 18 16 0 | |
86 | -17 -16 0 | |
87 | -18 -16 0 | |
88 | 15 -16 19 0 | |
89 | -15 -19 0 | |
90 | 16 -19 0 | |
91 | -15 16 20 0 | |
92 | 15 -20 0 | |
93 | -16 -20 0 | |
94 | 19 20 0 | |
95 | 23 24 22 0 | |
[4] | 96 | -23 -22 0 |
[6] | 97 | -24 -22 0 |
98 | 21 -22 25 0 | |
99 | -21 -25 0 | |
100 | 22 -25 0 | |
101 | -21 22 26 0 | |
102 | 21 -26 0 | |
103 | -22 -26 0 | |
104 | 25 26 0 | |
105 | -4 27 0 | |
106 | 4 -27 0 | |
107 | 27 0 | |
108 | 29 -4 28 0 | |
109 | -29 -28 0 | |
110 | 4 -28 0 | |
111 | -10 -28 30 0 | |
112 | 10 -30 0 | |
113 | 28 -30 0 | |
114 | 11 -12 31 0 | |
115 | -11 -31 0 | |
116 | 12 -31 0 | |
117 | -29 -4 32 0 | |
118 | 29 -32 0 | |
119 | 4 -32 0 | |
120 | -31 -32 33 0 | |
121 | 31 -33 0 | |
122 | 32 -33 0 | |
123 | -11 12 34 0 | |
124 | 11 -34 0 | |
125 | -12 -34 0 | |
126 | 5 -6 35 0 | |
127 | -5 -35 0 | |
128 | 6 -35 0 | |
129 | -34 -35 36 0 | |
130 | 34 -36 0 | |
131 | 35 -36 0 | |
132 | -11 -12 37 0 | |
133 | 11 -37 0 | |
134 | 12 -37 0 | |
135 | -37 -5 38 0 | |
136 | 37 -38 0 | |
137 | 5 -38 0 | |
138 | 30 33 36 38 0 | |
139 | 40 -10 39 0 | |
140 | -40 -39 0 | |
141 | 10 -39 0 | |
142 | -16 -39 41 0 | |
143 | 16 -41 0 | |
144 | 39 -41 0 | |
145 | 17 -18 42 0 | |
146 | -17 -42 0 | |
147 | 18 -42 0 | |
148 | -40 -10 43 0 | |
149 | 40 -43 0 | |
150 | 10 -43 0 | |
151 | -42 -43 44 0 | |
152 | 42 -44 0 | |
[4] | 153 | 43 -44 0 |
[6] | 154 | -17 18 45 0 |
155 | 17 -45 0 | |
156 | -18 -45 0 | |
157 | -45 -31 46 0 | |
158 | 45 -46 0 | |
159 | 31 -46 0 | |
160 | -17 -18 47 0 | |
161 | 17 -47 0 | |
162 | 18 -47 0 | |
163 | -47 -11 48 0 | |
164 | 47 -48 0 | |
165 | 11 -48 0 | |
166 | 41 44 46 48 0 | |
167 | 50 -16 49 0 | |
168 | -50 -49 0 | |
169 | 16 -49 0 | |
170 | -22 -49 51 0 | |
171 | 22 -51 0 | |
172 | 49 -51 0 | |
173 | 23 -24 52 0 | |
174 | -23 -52 0 | |
175 | 24 -52 0 | |
176 | -50 -16 53 0 | |
177 | 50 -53 0 | |
178 | 16 -53 0 | |
179 | -52 -53 54 0 | |
180 | 52 -54 0 | |
181 | 53 -54 0 | |
182 | -23 24 55 0 | |
183 | 23 -55 0 | |
184 | -24 -55 0 | |
185 | -55 -42 56 0 | |
186 | 55 -56 0 | |
187 | 42 -56 0 | |
188 | -23 -24 57 0 | |
189 | 23 -57 0 | |
190 | 24 -57 0 | |
191 | -57 -17 58 0 | |
192 | 57 -58 0 | |
193 | 17 -58 0 | |
194 | 51 54 56 58 0 | |
195 | 60 61 59 0 | |
196 | -60 -59 0 | |
197 | -61 -59 0 | |
198 | 63 -22 62 0 | |
199 | -63 -62 0 | |
200 | 22 -62 0 | |
201 | -59 -62 64 0 | |
202 | 59 -64 0 | |
203 | 62 -64 0 | |
204 | 60 -61 65 0 | |
205 | -60 -65 0 | |
206 | 61 -65 0 | |
207 | -63 -22 66 0 | |
208 | 63 -66 0 | |
209 | 22 -66 0 | |
210 | -65 -66 67 0 | |
[4] | 211 | 65 -67 0 |
[6] | 212 | 66 -67 0 |
213 | -60 61 68 0 | |
214 | 60 -68 0 | |
215 | -61 -68 0 | |
216 | -68 -52 69 0 | |
217 | 68 -69 0 | |
218 | 52 -69 0 | |
219 | -60 -61 70 0 | |
220 | 60 -70 0 | |
221 | 61 -70 0 | |
222 | -70 -23 71 0 | |
223 | 70 -71 0 | |
224 | 23 -71 0 | |
225 | 64 67 69 71 0 | |
226 | 72 73 0 | |
227 | -72 -73 0 | |
228 | 73 0 | |
229 | 28 35 75 0 | |
230 | -28 -75 0 | |
231 | -35 -75 0 | |
232 | 74 75 76 0 | |
233 | -74 -76 0 | |
234 | -75 -76 0 | |
235 | -74 -75 77 0 | |
236 | 74 -77 0 | |
237 | 75 -77 0 | |
238 | 76 77 0 | |
239 | 39 31 79 0 | |
240 | -39 -79 0 | |
241 | -31 -79 0 | |
242 | 78 79 80 0 | |
243 | -78 -80 0 | |
244 | -79 -80 0 | |
245 | -78 -79 81 0 | |
246 | 78 -81 0 | |
247 | 79 -81 0 | |
248 | 80 81 0 | |
249 | 49 42 83 0 | |
250 | -49 -83 0 | |
251 | -42 -83 0 | |
252 | 82 83 84 0 | |
253 | -82 -84 0 | |
[4] | 254 | -83 -84 0 |
[6] | 255 | -82 -83 85 0 |
256 | 82 -85 0 | |
[4] | 257 | 83 -85 0 |
258 | 84 85 0 | |
[6] | 259 | 62 52 87 0 |
260 | -62 -87 0 | |
261 | -52 -87 0 | |
262 | 86 87 88 0 | |
263 | -86 -88 0 | |
264 | -87 -88 0 | |
265 | -86 -87 89 0 | |
266 | 86 -89 0 | |
267 | 87 -89 0 | |
268 | 88 89 0 | |
269 | 90 91 92 0 | |
270 | -90 -92 0 | |
271 | -91 -92 0 | |
272 | -90 -91 93 0 | |
273 | 90 -93 0 | |
274 | 91 -93 0 | |
[4] | 275 | 92 93 0 |
[6] | 276 | 94 29 95 0 |
[4] | 277 | -94 -95 0 |
[6] | 278 | -29 -95 0 |
279 | -94 -29 96 0 | |
[4] | 280 | 94 -96 0 |
[6] | 281 | 29 -96 0 |
[4] | 282 | 95 96 0 |
[6] | 283 | 97 40 98 0 |
[4] | 284 | -97 -98 0 |
[6] | 285 | -40 -98 0 |
286 | -97 -40 99 0 | |
[4] | 287 | 97 -99 0 |
[6] | 288 | 40 -99 0 |
[4] | 289 | 98 99 0 |
[6] | 290 | 100 50 101 0 |
[4] | 291 | -100 -101 0 |
[6] | 292 | -50 -101 0 |
293 | -100 -50 102 0 | |
[4] | 294 | 100 -102 0 |
[6] | 295 | 50 -102 0 |
[4] | 296 | 101 102 0 |
[6] | 297 | 103 63 104 0 |
[4] | 298 | -103 -104 0 |
[6] | 299 | -63 -104 0 |
300 | -103 -63 105 0 | |
[4] | 301 | 103 -105 0 |
[6] | 302 | 63 -105 0 |
[4] | 303 | 104 105 0 |
[6] | 304 | -72 0 |
305 | -1 0 | |
306 | -90 0 | |
307 | 74 0 | |
308 | -3 0 | |
[4] | 309 | -94 0 |
[6] | 310 | 78 0 |
311 | -9 0 | |
[4] | 312 | -97 0 |
[6] | 313 | 82 0 |
314 | -15 0 | |
[4] | 315 | -100 0 |
[6] | 316 | 86 0 |
317 | -21 0 | |
[4] | 318 | -103 0 |
Note: See TracBrowser
for help on using the repository browser.