source:
cegar_dev/cegar/concrete_model/SATcnf_c1.cnf
@
72
Last change on this file since 72 was 6, checked in by , 13 years ago | |
---|---|
File size: 3.5 KB |
Line | |
---|---|
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 |
61 | p cnf 105 257 |
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 |
96 | -23 -22 0 |
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 |
153 | 43 -44 0 |
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 |
211 | 65 -67 0 |
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 |
254 | -83 -84 0 |
255 | -82 -83 85 0 |
256 | 82 -85 0 |
257 | 83 -85 0 |
258 | 84 85 0 |
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 |
275 | 92 93 0 |
276 | 94 29 95 0 |
277 | -94 -95 0 |
278 | -29 -95 0 |
279 | -94 -29 96 0 |
280 | 94 -96 0 |
281 | 29 -96 0 |
282 | 95 96 0 |
283 | 97 40 98 0 |
284 | -97 -98 0 |
285 | -40 -98 0 |
286 | -97 -40 99 0 |
287 | 97 -99 0 |
288 | 40 -99 0 |
289 | 98 99 0 |
290 | 100 50 101 0 |
291 | -100 -101 0 |
292 | -50 -101 0 |
293 | -100 -50 102 0 |
294 | 100 -102 0 |
295 | 50 -102 0 |
296 | 101 102 0 |
297 | 103 63 104 0 |
298 | -103 -104 0 |
299 | -63 -104 0 |
300 | -103 -63 105 0 |
301 | 103 -105 0 |
302 | 63 -105 0 |
303 | 104 105 0 |
304 | -72 0 |
305 | -1 0 |
306 | -90 0 |
307 | 74 0 |
308 | -3 0 |
309 | -94 0 |
310 | 78 0 |
311 | -9 0 |
312 | -97 0 |
313 | 82 0 |
314 | -15 0 |
315 | -100 0 |
316 | 86 0 |
317 | -21 0 |
318 | -103 0 |
Note: See TracBrowser
for help on using the repository browser.