New dataset + Using Glucose instead of Pycosat
[Benchmarks_CSolver.git] / killerSudoku / dataset-cs / 2 / 2-25.killer
1 10=(2, 20)+(2, 21)
2 21=(21, 0)+(20, 0)
3 34=(4, 3)+(3, 3)
4 38=(2, 1)+(2, 2)
5 17=(13, 17)+(13, 18)
6 23=(22, 6)+(23, 6)
7 22=(19, 23)+(19, 22)
8 26=(18, 4)+(19, 4)
9 28=(24, 4)+(24, 3)
10 32=(11, 8)+(11, 9)
11 25=(15, 23)+(15, 24)
12 40=(18, 9)+(19, 9)
13 26=(24, 22)+(24, 23)
14 8=(16, 7)+(15, 7)
15 29=(11, 23)+(11, 24)
16 42=(10, 16)+(10, 15)
17 22=(17, 6)+(18, 6)
18 14=(13, 7)+(13, 8)
19 10=(1, 2)+(1, 3)
20 23=(13, 3)+(14, 3)
21 16=(2, 23)+(1, 23)
22 32=(3, 14)+(4, 14)
23 16=(13, 1)+(12, 1)
24 8=(15, 10)+(15, 9)
25 7=(10, 12)+(10, 13)
26 34=(0, 1)+(0, 0)
27 23=(7, 11)+(6, 11)
28 47=(8, 23)+(8, 22)
29 20=(4, 21)+(5, 21)
30 19=(9, 24)+(8, 24)
31 48=(22, 19)+(21, 19)
32 26=(12, 4)+(12, 3)
33 43=(7, 1)+(8, 1)
34 33=(21, 12)+(22, 12)
35 20=(5, 4)+(4, 4)
36 7=(10, 2)+(10, 3)
37 16=(12, 10)+(11, 10)
38 28=(18, 13)+(19, 13)
39 33=(1, 19)+(1, 18)
40 19=(7, 17)+(6, 17)
41 13=(11, 13)+(11, 14)
42 42=(18, 24)+(17, 24)
43 29=(2, 6)+(3, 6)
44 37=(1, 11)+(2, 11)
45 19=(16, 20)+(17, 20)
46 7=(24, 18)+(23, 18)
47 22=(19, 0)+(18, 0)
48 35=(14, 16)+(14, 17)
49 12=(5, 0)+(4, 0)
50 33=(2, 14)+(2, 15)
51 42=(15, 0)+(16, 0)
52 40=(8, 0)+(9, 0)
53 28=(8, 7)+(8, 6)
54 5=(19, 21)+(20, 21)
55 29=(5, 22)+(5, 23)
56 9=(12, 18)+(11, 18)
57 31=(15, 3)+(15, 4)
58 24=(2, 13)+(1, 13)
59 25=(22, 11)+(21, 11)
60 43=(5, 17)+(5, 18)
61 40=(7, 4)+(7, 3)
62 27=(9, 9)+(9, 8)
63 45=(15, 12)+(16, 12)
64 43=(11, 20)+(11, 21)
65 38=(13, 0)+(12, 0)
66 13=(0, 10)+(0, 9)
67 33=(19, 18)+(19, 19)
68 14=(23, 2)+(24, 2)
69 30=(20, 10)+(20, 11)
70 4=(1, 4)+(0, 4)
71 37=(4, 18)+(4, 17)
72 3=(6, 20)+(6, 19)
73 28=(9, 21)+(8, 21)
74 31=(11, 15)+(12, 15)
75 42=(0, 5)+(0, 6)
76 17=(16, 24)+(16, 23)
77 17=(18, 22)+(17, 22)
78 22=(8, 15)+(9, 15)
79 37=(9, 22)+(10, 22)
80 9=(1, 14)+(0, 14)
81 5=(8, 19)+(9, 19)
82 41=(19, 8)+(19, 7)
83 12=(14, 11)+(15, 11)
84 10=(20, 14)+(20, 15)
85 29=(22, 17)+(23, 17)
86 20=(15, 5)+(16, 5)
87 38=(17, 8)+(17, 9)
88 31=(4, 20)+(5, 20)
89 25=(16, 11)+(17, 11)
90 37=(13, 13)+(12, 13)
91 45=(22, 21)+(23, 21)
92 24=(7, 14)+(7, 13)
93 23=(3, 7)+(4, 7)
94 33=(6, 23)+(6, 24)
95 45=(1, 9)+(1, 8)
96 37=(1, 21)+(0, 21)
97 36=(4, 5)+(4, 6)
98 8=(21, 23)+(21, 22)
99 24=(13, 15)+(13, 14)
100 28=(1, 24)+(2, 24)
101 16=(14, 24)+(13, 24)
102 24=(23, 13)+(22, 13)
103 27=(11, 7)+(12, 7)
104 17=(4, 13)+(4, 12)
105 28=(24, 17)+(24, 16)
106 30=(17, 23)+(18, 23)
107 22=(2, 17)+(3, 17)
108 19=(24, 21)+(24, 20)
109 29=(7, 21)+(6, 21)
110 33=(16, 9)+(16, 10)
111 25=(7, 24)+(7, 23)
112 43=(3, 11)+(3, 12)
113 26=(0, 20)+(1, 20)
114 28=(5, 11)+(5, 10)
115 28=(10, 18)+(9, 18)
116 9=(3, 15)+(4, 15)
117 38=(10, 5)+(10, 4)
118 14=(3, 9)+(2, 9)
119 34=(3, 1)+(3, 2)
120 39=(8, 10)+(9, 10)
121 26=(11, 4)+(11, 5)
122 24=(24, 10)+(24, 11)
123 20=(0, 13)+(0, 12)
124 18=(14, 19)+(14, 20)
125 24=(19, 5)+(20, 5)
126 18=(0, 18)+(0, 17)
127 34=(1, 22)+(0, 22)
128 41=(20, 3)+(21, 3)
129 29=(5, 1)+(4, 1)
130 16=(8, 12)+(9, 12)
131 45=(14, 5)+(14, 4)
132 31=(2, 12)+(1, 12)
133 22=(22, 24)+(23, 24)
134 48=(24, 6)+(24, 5)
135 46=(9, 13)+(8, 13)
136 26=(3, 19)+(2, 19)
137 22=(3, 4)+(2, 4)
138 29=(22, 14)+(22, 15)
139 34=(18, 7)+(18, 8)
140 33=(21, 15)+(21, 16)
141 43=(12, 12)+(13, 12)
142 17=(23, 0)+(24, 0)
143 20=(23, 22)+(22, 22)
144 25=(12, 21)+(12, 20)
145 30=(21, 6)+(21, 7)
146 38=(5, 8)+(6, 8)
147 25=(16, 15)+(17, 15)
148 28=(19, 2)+(18, 2)
149 17=(22, 1)+(22, 2)
150 20=(14, 7)+(14, 8)
151 27=(21, 8)+(22, 8)
152 43=(21, 20)+(20, 20)
153 20=(11, 22)+(12, 22)
154 16=(10, 14)+(9, 14)
155 44=(14, 2)+(15, 2)
156 25=(20, 7)+(20, 8)
157 28=(18, 14)+(17, 14)
158 25=(19, 10)+(18, 10)
159 30=(10, 0)+(11, 0)
160 29=(6, 2)+(6, 3)
161 27=(23, 9)+(23, 10)
162 14=(20, 22)+(20, 23)
163 9=(11, 2)+(12, 2)
164 24=(5, 14)+(5, 15)
165 20=(4, 16)+(5, 16)
166 12=(17, 0)+(17, 1)
167 18=(5, 6)+(5, 5)
168 23=(23, 3)+(23, 4)
169 20=(12, 6)+(12, 5)
170 20=(7, 22)+(6, 22)
171 18=(10, 8)+(10, 7)
172 17=(24, 13)+(24, 12)
173 37=(16, 22)+(15, 22)
174 26=(4, 10)+(4, 11)
175 25=(2, 0)+(3, 0)
176 22=(10, 21)+(10, 20)
177 24=(13, 22)+(14, 22)
178 32=(0, 3)+(0, 2)
179 29=(12, 9)+(12, 8)
180 31=(17, 2)+(16, 2)
181 27=(6, 5)+(6, 4)
182 33=(6, 7)+(7, 7)
183 11=(19, 6)+(20, 6)
184 27=(10, 23)+(10, 24)
185 23=(23, 19)+(23, 20)
186 19=(5, 24)+(4, 24)
187 35=(21, 2)+(20, 2)
188 19=(14, 21)+(13, 21)
189 25=(14, 14)+(15, 14)
190 7=(19, 17)+(18, 17)
191 33=(8, 17)+(9, 17)
192 38=(2, 18)+(3, 18)
193 19=(11, 16)+(11, 17)
194 37=(10, 1)+(11, 1)
195 46=(17, 21)+(16, 21)
196 25=(3, 22)+(3, 21)
197 22=(21, 13)+(20, 13)
198 32=(6, 12)+(6, 13)
199 8=(12, 23)+(13, 23)
200 7=(8, 20)+(7, 20)
201 30=(22, 7)+(23, 7)
202 39=(8, 4)+(9, 4)
203 24=(3, 5)+(2, 5)
204 11=(3, 24)+(3, 23)
205 11=(0, 11)
206 25=(16, 6)+(15, 6)
207 30=(13, 10)+(14, 10)
208 28=(20, 18)+(21, 18)
209 37=(14, 9)+(13, 9)
210 24=(7, 6)+(7, 5)
211 11=(3, 8)+(2, 8)
212 9=(8, 2)+(8, 3)
213 14=(12, 14)
214 33=(16, 16)+(17, 16)
215 17=(1, 6)+(1, 5)
216 36=(19, 15)+(19, 16)
217 32=(16, 4)+(17, 4)
218 37=(14, 13)+(15, 13)
219 26=(18, 3)+(19, 3)
220 25=(20, 12)+(19, 12)
221 19=(24, 9)+(24, 8)
222 16=(20, 24)+(19, 24)
223 33=(20, 1)+(19, 1)
224 38=(0, 23)+(0, 24)
225 24=(7, 19)+(7, 18)
226 30=(22, 23)+(23, 23)
227 6=(22, 9)+(21, 9)
228 13=(21, 17)+(20, 17)
229 29=(15, 20)+(15, 19)
230 36=(11, 12)+(11, 11)
231 22=(10, 10)+(10, 11)
232 25=(15, 18)+(16, 18)
233 23=(6, 15)+(6, 16)
234 25=(21, 10)+(22, 10)
235 33=(23, 15)+(23, 16)
236 24=(12, 17)+(12, 16)
237 30=(19, 11)+(18, 11)
238 6=(16, 1)+(15, 1)
239 24=(9, 7)+(9, 6)
240 13=(15, 8)+(16, 8)
241 25=(1, 10)+(2, 10)
242 14=(16, 3)+(17, 3)
243 23=(5, 2)+(5, 3)
244 19=(17, 12)+(18, 12)
245 33=(16, 17)+(15, 17)
246 21=(24, 24)
247 16=(22, 20)
248 42=(4, 23)+(4, 22)
249 15=(6, 1)+(6, 0)
250 34=(1, 15)+(0, 15)
251 2=(7, 0)
252 19=(8, 11)+(9, 11)
253 25=(8, 9)+(7, 9)
254 36=(23, 12)+(23, 11)
255 19=(18, 5)+(17, 5)
256 14=(7, 12)
257 5=(2, 3)
258 3=(20, 9)
259 21=(14, 6)+(13, 6)
260 2=(20, 16)
261 25=(7, 10)+(6, 10)
262 28=(1, 17)+(1, 16)
263 28=(11, 19)+(10, 19)
264 21=(20, 19)
265 17=(24, 7)
266 22=(21, 4)+(22, 4)
267 19=(13, 5)+(13, 4)
268 28=(2, 16)+(3, 16)
269 26=(23, 5)+(22, 5)
270 26=(2, 7)+(1, 7)
271 23=(9, 23)
272 25=(19, 20)+(18, 20)
273 11=(8, 18)
274 25=(14, 1)+(14, 0)
275 20=(21, 24)
276 27=(0, 8)+(0, 7)
277 26=(5, 12)+(5, 13)
278 12=(14, 18)
279 20=(18, 1)
280 10=(21, 14)
281 5=(0, 19)
282 13=(21, 5)
283 44=(12, 19)+(13, 19)
284 36=(6, 9)+(5, 9)
285 7=(18, 21)
286 25=(24, 1)+(23, 1)
287 24=(6, 18)
288 10=(15, 21)
289 14=(17, 13)+(16, 13)
290 23=(17, 7)
291 35=(9, 3)+(9, 2)
292 22=(4, 9)+(4, 8)
293 22=(18, 15)+(18, 16)
294 5=(8, 14)
295 11=(13, 16)
296 14=(21, 21)
297 25=(18, 19)+(17, 19)
298 5=(22, 0)
299 39=(5, 19)+(4, 19)
300 8=(0, 16)
301 31=(13, 11)+(12, 11)
302 18=(8, 5)+(9, 5)
303 9=(3, 13)
304 32=(1, 1)+(1, 0)
305 15=(7, 8)+(8, 8)
306 25=(14, 23)
307 35=(15, 15)+(15, 16)
308 24=(7, 15)+(7, 16)
309 18=(13, 2)
310 1=(14, 12)
311 6=(9, 1)
312 24=(16, 14)
313 28=(24, 14)+(23, 14)
314 25=(10, 6)+(11, 6)
315 2=(5, 7)
316 22=(3, 10)
317 9=(9, 20)
318 10=(22, 16)
319 16=(10, 17)
320 21=(17, 17)+(17, 18)
321 23=(12, 24)
322 7=(16, 19)
323 21=(19, 14)
324 17=(7, 2)
325 12=(13, 20)
326 8=(22, 3)
327 9=(2, 22)
328 17=(18, 18)
329 14=(24, 19)
330 14=(3, 20)
331 24=(23, 8)
332 23=(6, 14)
333 20=(11, 3)
334 9=(14, 15)
335 7=(17, 10)
336 27=(9, 16)+(8, 16)
337 25=(20, 4)
338 11=(10, 9)
339 13=(22, 18)
340 15=(6, 6)
341 16=(4, 2)
342 22=(24, 15)
343 21=(21, 1)