New dataset + Using Glucose instead of Pycosat
[Benchmarks_CSolver.git] / killerSudoku / dataset-cs / 5 / 2-25.killer
1 60=(23, 14)+(23, 13)+(24, 13)+(23, 12)+(24, 14)
2 64=(16, 10)+(17, 10)+(18, 10)+(16, 9)+(16, 11)
3 51=(24, 17)+(23, 17)+(24, 18)+(24, 19)+(24, 16)
4 74=(10, 17)+(10, 18)+(9, 17)+(10, 19)+(11, 17)
5 67=(4, 1)+(3, 1)+(2, 1)+(5, 1)+(5, 2)
6 49=(18, 20)+(19, 20)+(19, 19)+(18, 21)+(18, 19)
7 57=(10, 1)+(10, 2)+(11, 2)+(10, 3)+(9, 3)
8 71=(0, 7)+(0, 6)+(1, 6)+(1, 5)+(1, 7)
9 49=(18, 5)+(17, 5)+(16, 5)+(18, 4)+(18, 3)
10 69=(4, 12)+(4, 13)+(5, 13)+(3, 12)+(2, 12)
11 64=(20, 5)+(20, 4)+(20, 6)+(20, 7)+(21, 5)
12 81=(16, 14)+(16, 15)+(16, 13)+(15, 13)+(17, 15)
13 63=(3, 6)+(2, 6)+(4, 6)+(4, 7)+(3, 7)
14 39=(22, 10)+(22, 9)+(23, 10)+(21, 10)+(21, 9)
15 65=(8, 13)+(8, 14)+(8, 12)+(9, 13)+(7, 13)
16 19=(9, 18)+(9, 19)+(8, 18)
17 71=(17, 4)+(16, 4)+(17, 3)+(17, 2)+(18, 2)
18 46=(9, 20)+(9, 21)+(8, 20)+(10, 20)+(10, 21)
19 58=(3, 16)+(4, 16)+(3, 15)+(3, 17)+(4, 17)
20 34=(2, 23)+(2, 24)+(2, 22)+(3, 23)+(2, 21)
21 74=(7, 7)+(7, 6)+(7, 5)+(8, 7)+(8, 5)
22 66=(11, 19)+(11, 18)+(12, 18)+(11, 20)+(12, 19)
23 56=(6, 3)+(7, 3)+(8, 3)+(8, 4)+(6, 4)
24 72=(21, 2)+(20, 2)+(19, 2)+(22, 2)+(21, 1)
25 75=(4, 19)+(5, 19)+(4, 20)+(3, 19)+(4, 18)
26 37=(0, 14)+(1, 14)+(1, 13)+(1, 12)+(0, 15)
27 62=(13, 2)+(14, 2)+(14, 3)+(12, 2)+(12, 1)
28 55=(23, 2)+(24, 2)+(23, 3)+(23, 1)+(24, 3)
29 87=(2, 10)+(2, 11)+(1, 11)+(3, 11)+(1, 10)
30 64=(8, 2)+(9, 2)+(7, 2)+(9, 1)+(8, 1)
31 101=(24, 6)+(23, 6)+(24, 5)+(24, 7)+(23, 5)
32 66=(21, 17)+(21, 16)+(22, 17)+(22, 16)+(21, 18)
33 64=(13, 19)+(13, 18)+(13, 17)+(13, 16)+(13, 20)
34 59=(0, 10)+(0, 9)+(0, 8)+(1, 9)+(0, 11)
35 92=(15, 3)+(15, 4)+(15, 2)+(14, 4)+(15, 5)
36 37=(10, 12)+(10, 11)+(10, 13)+(9, 12)+(11, 12)
37 64=(22, 8)+(21, 8)+(22, 7)+(22, 6)+(23, 7)
38 94=(10, 22)+(10, 23)+(11, 22)+(9, 22)+(9, 23)
39 66=(15, 21)+(15, 22)+(15, 23)+(16, 22)+(14, 22)
40 84=(0, 1)+(0, 0)+(0, 2)+(0, 3)+(1, 1)
41 70=(14, 23)+(13, 23)+(13, 22)+(14, 24)+(13, 21)
42 34=(3, 0)+(2, 0)+(4, 0)
43 86=(12, 0)+(11, 0)+(13, 0)+(13, 1)+(14, 0)
44 61=(1, 20)+(0, 20)+(2, 20)+(2, 19)+(2, 18)
45 44=(7, 1)+(6, 1)+(7, 0)+(6, 0)+(5, 0)
46 97=(1, 24)+(0, 24)+(0, 23)+(0, 22)+(1, 22)
47 74=(20, 20)+(20, 19)+(21, 19)+(20, 21)+(20, 22)
48 55=(15, 19)+(16, 19)+(16, 20)+(17, 20)+(15, 20)
49 69=(4, 23)+(5, 23)+(4, 24)+(4, 22)+(5, 24)
50 66=(21, 11)+(20, 11)+(21, 12)+(22, 11)+(20, 12)
51 81=(17, 11)+(17, 12)+(17, 13)+(18, 13)+(16, 12)
52 55=(1, 17)+(2, 17)+(1, 18)+(1, 16)+(0, 18)
53 23=(8, 19)+(7, 19)
54 8=(12, 22)+(12, 23)+(12, 21)
55 57=(21, 24)+(22, 24)+(21, 23)+(21, 22)+(21, 21)
56 72=(19, 18)+(20, 18)+(18, 18)+(20, 17)+(18, 17)
57 74=(6, 12)+(6, 13)+(6, 11)+(6, 14)+(7, 14)
58 69=(13, 8)+(13, 9)+(14, 9)+(14, 10)+(12, 8)
59 52=(11, 6)+(12, 6)+(11, 5)+(12, 5)+(12, 7)
60 1=(3, 24)
61 63=(7, 23)+(6, 23)+(7, 24)+(8, 24)+(7, 22)
62 66=(12, 24)+(11, 24)+(10, 24)+(11, 23)+(13, 24)
63 86=(3, 2)+(3, 3)+(2, 2)+(4, 2)+(3, 4)
64 30=(21, 7)+(21, 6)
65 19=(6, 24)
66 76=(6, 9)+(6, 10)+(5, 10)+(5, 9)+(5, 11)
67 71=(18, 9)+(18, 8)+(17, 9)+(19, 9)+(20, 9)
68 60=(20, 16)+(20, 15)+(19, 15)+(18, 15)+(19, 16)
69 64=(23, 18)+(23, 19)+(22, 19)+(22, 18)+(23, 20)
70 59=(21, 0)+(22, 0)+(23, 0)+(20, 0)+(20, 1)
71 20=(0, 16)+(0, 17)
72 30=(24, 24)+(24, 23)+(23, 24)
73 36=(14, 20)+(14, 19)+(14, 21)+(14, 18)
74 71=(13, 15)+(13, 14)+(14, 14)+(13, 13)+(14, 15)
75 39=(3, 22)+(3, 21)+(3, 20)
76 41=(4, 21)+(5, 21)+(5, 22)
77 39=(24, 10)+(24, 11)+(23, 11)+(24, 9)
78 83=(11, 4)+(10, 4)+(9, 4)+(10, 5)+(11, 3)
79 71=(20, 14)+(19, 14)+(20, 13)+(21, 14)+(21, 15)
80 59=(7, 18)+(7, 17)+(7, 16)+(6, 18)
81 54=(2, 3)+(1, 3)+(1, 2)+(2, 4)+(2, 5)
82 56=(17, 1)+(17, 0)+(16, 0)+(18, 1)+(18, 0)
83 42=(7, 20)+(6, 20)+(6, 19)+(7, 21)+(5, 20)
84 73=(18, 23)+(19, 23)+(18, 24)+(18, 22)+(17, 23)
85 62=(14, 5)+(14, 6)+(13, 6)+(14, 7)+(14, 8)
86 59=(12, 9)+(11, 9)+(12, 10)+(11, 8)+(10, 9)
87 36=(15, 11)+(15, 12)+(14, 11)+(14, 12)+(15, 10)
88 71=(5, 16)+(5, 15)+(6, 16)+(5, 14)+(5, 17)
89 28=(19, 13)+(19, 12)+(18, 12)+(18, 11)
90 22=(7, 4)
91 103=(12, 11)+(11, 11)+(12, 12)+(13, 11)+(13, 10)
92 26=(19, 1)+(19, 0)
93 22=(0, 5)+(0, 4)+(1, 4)
94 57=(17, 8)+(16, 8)+(15, 8)+(17, 7)+(16, 7)
95 47=(22, 4)+(23, 4)+(22, 5)+(24, 4)+(21, 4)
96 60=(11, 10)+(10, 10)+(9, 10)+(9, 11)
97 41=(15, 0)+(15, 1)+(14, 1)+(16, 1)+(16, 2)
98 14=(22, 1)
99 37=(0, 21)+(1, 21)
100 78=(9, 16)+(8, 16)+(8, 17)+(9, 15)+(10, 16)
101 16=(19, 24)+(20, 24)
102 23=(24, 1)+(24, 0)
103 34=(7, 15)+(6, 15)+(8, 15)
104 42=(24, 8)+(23, 8)
105 5=(15, 9)
106 54=(17, 24)+(16, 24)+(15, 24)
107 10=(6, 17)
108 66=(17, 18)+(16, 18)+(16, 17)+(15, 18)+(17, 19)
109 22=(12, 20)
110 88=(15, 17)+(15, 16)+(14, 17)+(14, 16)+(15, 15)
111 69=(2, 15)+(2, 14)+(3, 14)+(2, 13)+(3, 13)
112 16=(9, 14)+(10, 14)
113 60=(5, 4)+(4, 4)+(5, 5)+(6, 5)+(5, 6)
114 55=(24, 15)+(23, 15)+(23, 16)
115 2=(9, 24)
116 73=(22, 23)+(23, 23)+(23, 22)+(22, 22)+(23, 21)
117 6=(20, 23)
118 21=(4, 15)+(4, 14)
119 52=(19, 3)+(19, 4)+(20, 3)
120 92=(18, 7)+(19, 7)+(19, 8)+(18, 6)+(20, 8)
121 46=(19, 11)+(19, 10)+(20, 10)
122 54=(12, 16)+(11, 16)+(12, 17)+(12, 15)
123 70=(8, 11)+(7, 11)+(8, 10)+(7, 10)+(7, 12)
124 58=(11, 7)+(10, 7)+(10, 6)+(9, 7)+(9, 8)
125 34=(17, 6)+(16, 6)+(15, 6)
126 14=(1, 0)
127 5=(10, 8)
128 66=(10, 15)+(11, 15)+(11, 14)+(12, 14)+(12, 13)
129 30=(3, 8)+(2, 8)+(3, 9)+(2, 7)+(4, 8)
130 43=(24, 22)+(24, 21)+(24, 20)
131 2=(11, 13)
132 40=(9, 6)+(9, 5)+(8, 6)
133 45=(17, 16)+(18, 16)+(16, 16)+(17, 17)
134 20=(19, 5)+(19, 6)
135 69=(4, 9)+(4, 10)+(4, 11)+(3, 10)
136 3=(16, 23)
137 73=(8, 8)+(8, 9)+(7, 8)+(9, 9)+(6, 8)
138 19=(13, 12)
139 63=(8, 22)+(8, 23)+(8, 21)
140 18=(5, 18)
141 20=(6, 2)
142 18=(14, 13)
143 52=(12, 3)+(12, 4)+(13, 3)+(13, 4)
144 23=(1, 8)
145 24=(11, 21)
146 6=(2, 9)
147 48=(9, 0)+(8, 0)+(10, 0)
148 11=(24, 12)
149 63=(22, 20)+(22, 21)+(21, 20)
150 56=(22, 15)+(22, 14)+(22, 13)+(21, 13)
151 31=(6, 21)+(6, 22)
152 58=(17, 21)+(16, 21)+(17, 22)
153 25=(6, 6)+(6, 7)+(5, 7)
154 7=(15, 7)
155 16=(3, 18)
156 19=(23, 9)
157 27=(21, 3)+(22, 3)
158 17=(5, 8)
159 30=(3, 5)+(4, 5)
160 8=(15, 14)
161 25=(2, 16)
162 6=(13, 7)
163 3=(19, 22)+(19, 21)
164 23=(5, 3)+(4, 3)
165 28=(17, 14)+(18, 14)
166 18=(1, 19)+(0, 19)
167 21=(22, 12)
168 12=(11, 1)
169 3=(19, 17)
170 15=(5, 12)
171 20=(0, 13)+(0, 12)
172 12=(1, 23)
173 12=(7, 9)
174 12=(16, 3)
175 9=(13, 5)
176 24=(1, 15)