New dataset + Using Glucose instead of Pycosat
[Benchmarks_CSolver.git] / killerSudoku / dataset-cs / 21 / 2-25.killer
1 127=(19, 18)+(19, 17)+(18, 17)+(19, 16)+(18, 18)+(19, 19)+(20, 18)+(20, 17)+(17, 17)+(21, 18)
2 141=(23, 4)+(23, 5)+(23, 6)+(22, 6)+(22, 5)+(24, 5)+(22, 4)+(21, 6)+(23, 7)+(24, 4)+(23, 3)
3 225=(8, 8)+(9, 8)+(10, 8)+(7, 8)+(6, 8)+(7, 7)+(8, 7)+(8, 9)+(7, 6)+(8, 10)+(7, 5)+(7, 9)+(9, 9)+(6, 5)+(7, 4)
4 238=(15, 3)+(14, 3)+(15, 2)+(16, 3)+(16, 2)+(15, 4)+(17, 2)+(14, 4)+(14, 5)+(17, 3)+(15, 1)+(17, 4)+(14, 2)+(16, 4)+(13, 5)+(18, 4)+(16, 1)
5 208=(18, 6)+(17, 6)+(18, 5)+(17, 5)+(18, 7)+(19, 6)+(16, 6)+(19, 5)+(19, 7)+(20, 7)+(16, 7)+(16, 5)+(19, 4)+(20, 6)+(21, 7)+(19, 3)+(17, 7)
6 89=(23, 0)+(22, 0)+(21, 0)+(20, 0)+(21, 1)+(23, 1)+(19, 0)+(24, 0)
7 167=(22, 14)+(22, 15)+(22, 16)+(21, 15)+(21, 16)+(21, 17)+(21, 14)+(20, 14)+(23, 14)+(22, 13)+(19, 14)+(23, 13)
8 126=(19, 11)+(19, 12)+(19, 10)+(19, 9)+(18, 11)+(18, 9)+(20, 11)+(19, 13)+(20, 12)+(18, 12)
9 55=(21, 13)+(20, 13)+(21, 12)+(22, 12)
10 120=(22, 23)+(23, 23)+(24, 23)+(22, 24)+(21, 23)+(21, 22)+(23, 22)+(22, 22)+(24, 22)+(24, 24)
11 99=(0, 9)+(0, 8)+(1, 9)+(0, 10)+(1, 8)+(0, 7)+(1, 10)+(2, 9)+(2, 8)
12 258=(9, 16)+(9, 15)+(8, 16)+(10, 15)+(8, 17)+(9, 14)+(7, 16)+(8, 14)+(6, 16)+(7, 15)+(10, 16)+(11, 16)+(8, 15)+(8, 13)+(10, 14)+(11, 15)+(6, 17)+(10, 17)+(9, 13)+(9, 17)
13 94=(19, 23)+(19, 22)+(19, 24)+(19, 21)+(20, 23)+(19, 20)+(20, 22)+(18, 23)+(18, 21)+(18, 24)
14 127=(16, 13)+(16, 14)+(17, 13)+(16, 12)+(15, 13)+(14, 13)+(15, 14)+(17, 14)+(15, 15)
15 129=(0, 3)+(0, 2)+(1, 2)+(1, 3)+(0, 1)+(1, 4)+(0, 4)+(2, 3)+(1, 1)+(2, 2)+(3, 3)
16 150=(15, 17)+(15, 16)+(15, 18)+(16, 16)+(17, 16)+(14, 17)+(14, 18)+(16, 17)+(14, 19)+(16, 18)
17 132=(13, 1)+(13, 2)+(12, 2)+(12, 1)+(11, 2)+(14, 1)+(12, 0)+(11, 3)+(10, 3)+(13, 0)+(14, 0)
18 251=(15, 23)+(15, 22)+(14, 23)+(15, 21)+(16, 22)+(15, 24)+(14, 22)+(16, 23)+(16, 21)+(13, 22)+(15, 20)+(14, 20)+(13, 21)+(17, 23)+(12, 22)+(16, 24)+(13, 23)+(14, 24)
19 148=(4, 9)+(4, 10)+(3, 10)+(3, 9)+(4, 8)+(5, 10)+(3, 11)+(3, 8)+(3, 12)+(5, 9)
20 174=(15, 12)+(15, 11)+(16, 11)+(15, 10)+(16, 10)+(14, 10)+(14, 12)+(17, 11)+(14, 9)+(13, 12)+(13, 11)+(12, 12)+(14, 11)+(11, 12)
21 234=(3, 18)+(4, 18)+(5, 18)+(4, 17)+(4, 19)+(3, 19)+(3, 20)+(3, 17)+(6, 18)+(4, 16)+(5, 19)+(3, 21)+(6, 19)+(6, 20)+(4, 15)+(2, 18)
22 160=(12, 10)+(12, 9)+(13, 10)+(13, 9)+(12, 8)+(12, 11)+(12, 7)+(11, 10)+(11, 11)+(13, 8)+(10, 10)
23 158=(10, 6)+(9, 6)+(9, 7)+(10, 7)+(8, 6)+(9, 5)+(10, 5)+(11, 6)+(12, 6)+(9, 4)+(11, 5)
24 43=(10, 9)+(11, 9)+(11, 8)
25 6=(14, 21)
26 73=(24, 16)+(23, 16)+(24, 17)+(23, 17)+(24, 15)
27 13=(15, 19)+(16, 19)
28 148=(4, 11)+(4, 12)+(4, 13)+(3, 13)+(5, 13)+(5, 11)+(5, 12)+(6, 13)+(6, 14)+(6, 12)+(6, 11)+(3, 14)
29 231=(7, 1)+(7, 0)+(8, 1)+(6, 1)+(5, 1)+(6, 2)+(4, 1)+(4, 0)+(8, 2)+(3, 0)+(8, 0)+(2, 0)+(5, 2)+(5, 3)+(9, 0)+(6, 0)+(7, 2)
30 172=(0, 13)+(1, 13)+(2, 13)+(2, 14)+(0, 14)+(1, 12)+(0, 12)+(2, 12)+(1, 11)+(0, 15)+(2, 15)+(3, 15)+(1, 15)
31 232=(22, 20)+(22, 21)+(23, 21)+(22, 19)+(21, 19)+(21, 20)+(20, 20)+(22, 18)+(20, 19)+(23, 19)+(24, 19)+(23, 20)+(24, 21)
32 184=(4, 22)+(4, 21)+(4, 23)+(3, 23)+(2, 23)+(5, 22)+(2, 24)+(4, 20)+(3, 22)+(4, 24)+(3, 24)+(5, 20)+(5, 21)+(5, 23)+(6, 22)+(1, 23)
33 18=(21, 21)+(20, 21)
34 89=(17, 20)+(16, 20)+(17, 21)+(18, 20)+(17, 22)+(17, 19)+(18, 19)
35 66=(18, 14)+(18, 13)+(18, 15)
36 29=(24, 3)+(24, 2)+(23, 2)
37 109=(11, 0)+(11, 1)+(10, 1)+(9, 1)+(9, 2)+(10, 0)+(10, 2)+(9, 3)
38 106=(1, 22)+(2, 22)+(0, 22)+(1, 21)+(1, 20)+(1, 19)+(2, 21)+(1, 18)
39 121=(6, 24)+(7, 24)+(8, 24)+(5, 24)+(7, 23)+(6, 23)+(7, 22)+(8, 23)+(7, 21)
40 25=(16, 15)+(17, 15)
41 20=(24, 14)+(24, 13)+(24, 12)
42 129=(11, 17)+(12, 17)+(12, 16)+(12, 18)+(12, 19)+(13, 18)+(11, 18)+(12, 15)+(12, 20)
43 162=(23, 9)+(23, 10)+(23, 8)+(22, 8)+(22, 9)+(21, 8)+(22, 10)+(24, 8)+(24, 10)+(24, 9)+(24, 11)+(23, 11)+(21, 10)
44 42=(8, 3)+(8, 4)+(7, 3)
45 21=(18, 10)+(17, 10)
46 57=(18, 2)+(18, 3)+(18, 1)+(18, 0)+(19, 2)
47 7=(1, 14)
48 42=(24, 6)+(24, 7)
49 48=(20, 5)+(21, 5)+(20, 4)
50 51=(2, 1)+(3, 1)+(3, 2)
51 55=(22, 1)+(22, 2)+(22, 3)+(21, 2)+(21, 3)
52 64=(9, 11)+(8, 11)+(10, 11)+(9, 10)+(8, 12)+(10, 12)+(9, 12)
53 1=(18, 16)
54 36=(13, 20)+(13, 19)
55 66=(18, 8)+(19, 8)+(20, 8)+(17, 8)
56 25=(22, 11)+(21, 11)
57 101=(13, 13)+(13, 14)+(14, 14)+(12, 13)+(13, 15)+(14, 15)+(12, 14)
58 147=(5, 6)+(5, 5)+(5, 7)+(4, 5)+(5, 8)+(5, 4)+(6, 4)+(6, 7)+(6, 3)+(4, 6)+(6, 6)+(3, 6)+(4, 4)
59 42=(15, 0)+(16, 0)
60 24=(21, 9)+(20, 9)+(20, 10)
61 85=(3, 5)+(2, 5)+(3, 4)+(2, 6)+(1, 5)+(2, 4)+(2, 7)+(1, 6)
62 101=(9, 24)+(9, 23)+(10, 24)+(10, 23)+(11, 23)+(9, 22)+(11, 24)
63 15=(11, 7)
64 53=(16, 9)+(15, 9)+(16, 8)+(17, 9)+(15, 8)
65 52=(13, 3)+(13, 4)+(12, 3)+(12, 4)
66 43=(5, 14)+(4, 14)+(5, 15)
67 49=(8, 18)+(9, 18)+(8, 19)+(7, 18)+(10, 18)+(9, 19)
68 47=(1, 24)+(0, 24)
69 17=(17, 12)
70 20=(14, 8)+(14, 7)
71 13=(13, 17)+(13, 16)
72 5=(10, 13)+(11, 13)
73 5=(18, 22)
74 15=(20, 15)+(19, 15)+(20, 16)
75 7=(23, 18)+(24, 18)
76 71=(7, 13)+(7, 12)+(7, 11)+(7, 14)+(7, 10)
77 23=(4, 7)+(3, 7)
78 17=(6, 15)
79 16=(1, 7)
80 15=(23, 15)
81 16=(24, 1)
82 33=(0, 0)+(1, 0)
83 69=(20, 3)+(20, 2)+(20, 1)
84 12=(17, 1)+(17, 0)
85 52=(0, 20)+(0, 21)+(0, 19)+(0, 18)
86 110=(11, 22)+(10, 22)+(10, 21)+(10, 20)+(11, 20)+(9, 21)+(11, 21)
87 13=(2, 20)+(2, 19)
88 28=(6, 9)+(6, 10)
89 13=(14, 16)
90 41=(5, 17)+(5, 16)
91 61=(14, 6)+(15, 6)+(15, 5)+(15, 7)+(13, 6)
92 11=(0, 11)
93 6=(13, 7)
94 24=(22, 17)
95 10=(17, 18)
96 23=(7, 19)+(7, 20)
97 23=(11, 4)+(10, 4)
98 32=(20, 24)+(21, 24)
99 40=(2, 10)+(2, 11)
100 3=(12, 21)
101 7=(23, 24)
102 53=(8, 21)+(8, 20)+(9, 20)+(8, 22)
103 48=(2, 17)+(2, 16)+(3, 16)+(1, 17)
104 9=(22, 7)
105 7=(8, 5)
106 9=(7, 17)
107 16=(0, 23)
108 17=(1, 16)+(0, 16)
109 28=(10, 19)+(11, 19)
110 24=(12, 23)+(12, 24)
111 11=(11, 14)
112 26=(4, 2)+(4, 3)
113 2=(12, 5)
114 24=(17, 24)
115 12=(0, 17)
116 42=(0, 6)+(0, 5)
117 22=(23, 12)
118 10=(19, 1)
119 18=(21, 4)
120 10=(24, 20)
121 3=(5, 0)
122 18=(6, 21)
123 5=(13, 24)