projects
/
Benchmarks_CSolver.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
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)