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