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