New dataset + Using Glucose instead of Pycosat
[Benchmarks_CSolver.git] / killerSudoku / dataset-cs / 19 / 1-36.killer
1 355=(7, 9)+(6, 9)+(7, 8)+(7, 7)+(8, 9)+(8, 7)+(7, 6)+(8, 6)+(8, 5)+(7, 10)+(6, 8)+(6, 6)
2 430=(15, 31)+(15, 32)+(15, 30)+(14, 32)+(14, 33)+(14, 30)+(14, 34)+(16, 32)+(15, 29)+(15, 28)+(13, 33)+(14, 35)+(14, 31)+(16, 31)+(15, 33)+(13, 31)+(14, 29)+(16, 30)+(12, 33)
3 353=(17, 6)+(16, 6)+(18, 6)+(16, 7)+(17, 5)+(15, 6)+(14, 6)+(16, 5)+(13, 6)+(18, 5)+(13, 5)+(15, 7)+(12, 5)+(14, 5)+(17, 7)+(15, 5)+(18, 7)+(18, 4)+(17, 8)
4 177=(8, 15)+(9, 15)+(8, 16)+(9, 16)+(10, 15)+(8, 14)+(7, 14)+(7, 16)+(11, 15)+(7, 15)
5 338=(34, 21)+(33, 21)+(35, 21)+(34, 22)+(32, 21)+(32, 20)+(35, 22)+(33, 22)+(31, 20)+(34, 23)+(34, 20)+(32, 19)+(33, 19)+(33, 20)
6 310=(1, 16)+(1, 17)+(1, 15)+(0, 15)+(0, 16)+(2, 16)+(0, 17)+(0, 14)+(2, 15)+(2, 17)+(1, 18)+(1, 14)
7 236=(31, 19)+(31, 18)+(30, 19)+(31, 17)+(30, 20)+(30, 18)+(30, 17)+(30, 16)+(29, 16)+(29, 20)+(30, 21)+(29, 21)+(29, 15)+(32, 17)
8 298=(17, 21)+(18, 21)+(17, 20)+(18, 20)+(16, 20)+(17, 22)+(18, 22)+(19, 21)+(18, 19)+(20, 21)+(19, 19)+(19, 20)+(16, 19)+(16, 21)+(16, 18)
9 302=(27, 27)+(26, 27)+(26, 28)+(26, 29)+(26, 26)+(25, 28)+(27, 28)+(28, 27)+(27, 26)+(27, 29)+(28, 29)+(26, 25)+(25, 26)+(28, 28)
10 193=(14, 19)+(14, 18)+(14, 20)+(15, 20)+(15, 21)+(13, 19)+(15, 19)+(13, 18)+(15, 18)+(14, 17)+(13, 17)+(12, 18)+(12, 19)+(11, 19)+(14, 16)
11 277=(8, 17)+(7, 17)+(9, 17)+(7, 18)+(6, 17)+(8, 18)+(6, 16)+(6, 15)+(5, 15)+(5, 16)+(8, 19)+(6, 18)+(5, 18)+(5, 14)+(5, 13)+(5, 17)+(6, 13)
12 233=(1, 31)+(0, 31)+(0, 32)+(1, 32)+(0, 30)+(0, 29)+(0, 33)+(1, 33)+(1, 30)+(2, 31)
13 252=(35, 14)+(35, 15)+(34, 14)+(34, 13)+(33, 13)+(34, 12)+(34, 11)+(33, 14)+(34, 15)+(35, 16)+(33, 12)+(34, 16)+(35, 13)+(34, 10)+(35, 17)
14 264=(24, 20)+(24, 21)+(23, 20)+(25, 20)+(25, 19)+(22, 20)+(26, 19)+(22, 19)+(25, 18)+(24, 19)+(23, 19)+(23, 21)
15 75=(35, 1)+(35, 2)+(34, 2)+(34, 3)+(35, 0)+(35, 3)+(34, 1)+(35, 4)+(34, 4)
16 127=(19, 22)+(20, 22)+(20, 23)+(20, 24)+(21, 22)+(19, 24)+(19, 23)
17 296=(23, 28)+(23, 27)+(24, 28)+(23, 29)+(22, 27)+(24, 29)+(23, 26)+(22, 26)+(22, 25)+(21, 25)+(23, 30)+(22, 29)+(21, 27)+(22, 28)
18 68=(35, 10)+(35, 9)+(35, 11)+(34, 9)+(35, 8)
19 203=(22, 4)+(23, 4)+(22, 5)+(21, 5)+(22, 6)+(24, 4)+(21, 4)+(20, 5)+(22, 7)+(19, 5)+(23, 3)+(23, 7)+(21, 7)+(23, 5)+(23, 6)+(22, 3)+(19, 4)+(24, 3)+(22, 8)
20 187=(0, 20)+(1, 20)+(0, 19)+(0, 18)+(1, 19)+(2, 20)+(0, 21)+(3, 20)+(3, 21)
21 81=(8, 8)+(9, 8)+(9, 9)+(10, 9)+(10, 8)
22 35=(13, 32)+(12, 32)+(11, 32)
23 158=(0, 24)+(0, 25)+(1, 25)+(0, 23)+(0, 22)+(1, 24)+(1, 26)+(1, 23)+(0, 26)
24 273=(16, 25)+(15, 25)+(14, 25)+(16, 26)+(14, 24)+(15, 26)+(16, 24)+(17, 25)+(17, 24)+(18, 24)+(15, 24)
25 234=(31, 33)+(32, 33)+(32, 34)+(31, 34)+(32, 32)+(33, 33)+(33, 34)+(32, 35)+(30, 33)+(30, 34)+(30, 32)+(29, 34)+(31, 32)+(31, 35)
26 204=(0, 7)+(0, 6)+(0, 5)+(1, 7)+(1, 6)+(0, 4)+(1, 5)+(0, 8)+(1, 8)+(2, 6)
27 374=(7, 1)+(7, 0)+(6, 0)+(8, 1)+(8, 2)+(7, 2)+(5, 0)+(9, 2)+(10, 2)+(5, 1)+(11, 2)+(8, 0)+(12, 2)+(7, 3)+(11, 3)+(8, 3)+(9, 0)+(6, 2)+(6, 1)
28 257=(10, 7)+(9, 7)+(11, 7)+(9, 6)+(11, 8)+(11, 6)+(12, 6)+(11, 5)+(10, 6)+(11, 4)+(9, 5)+(12, 7)+(12, 8)+(12, 9)
29 234=(3, 27)+(3, 26)+(3, 28)+(3, 25)+(4, 28)+(3, 24)+(4, 27)+(4, 26)+(3, 23)+(2, 27)+(2, 28)+(5, 27)+(4, 24)
30 345=(29, 13)+(28, 13)+(28, 14)+(29, 12)+(27, 13)+(29, 14)+(26, 13)+(29, 11)+(30, 11)+(30, 12)+(26, 12)+(30, 13)+(28, 15)+(27, 15)+(27, 12)+(28, 12)+(27, 16)+(26, 14)+(26, 11)
31 269=(32, 30)+(32, 31)+(32, 29)+(33, 30)+(33, 29)+(33, 31)+(31, 31)+(30, 31)+(31, 29)+(31, 30)+(33, 28)+(32, 28)+(34, 28)+(34, 27)+(34, 29)+(34, 31)
32 144=(9, 10)+(9, 11)+(10, 10)+(8, 10)+(8, 11)+(10, 11)+(9, 12)+(9, 13)+(11, 10)+(10, 12)+(8, 12)
33 75=(10, 14)+(10, 13)+(9, 14)+(11, 14)+(11, 13)
34 120=(11, 0)+(10, 0)+(11, 1)+(12, 0)+(13, 0)+(14, 0)
35 24=(24, 30)+(25, 30)+(24, 31)
36 168=(15, 34)+(16, 34)+(16, 35)+(17, 34)+(18, 34)+(17, 35)+(15, 35)+(18, 35)+(17, 33)+(16, 33)
37 36=(0, 28)+(0, 27)+(1, 28)
38 177=(14, 2)+(14, 1)+(15, 2)+(13, 2)+(15, 1)+(13, 3)+(16, 2)+(15, 3)+(14, 3)
39 199=(17, 26)+(18, 26)+(18, 25)+(17, 27)+(17, 28)+(19, 25)+(19, 26)+(18, 27)+(19, 27)+(19, 28)+(20, 28)+(18, 28)+(20, 26)+(20, 29)+(17, 29)
40 82=(5, 26)+(6, 26)+(6, 27)+(5, 25)+(7, 27)
41 192=(10, 17)+(10, 18)+(10, 16)+(10, 19)+(11, 16)+(11, 18)+(11, 17)+(10, 20)
42 131=(7, 5)+(6, 5)+(6, 4)+(5, 4)+(5, 3)+(7, 4)+(5, 5)
43 351=(22, 17)+(22, 16)+(22, 15)+(23, 17)+(23, 18)+(23, 16)+(22, 18)+(21, 16)+(24, 16)+(24, 17)+(21, 17)+(23, 15)+(20, 17)+(24, 18)+(24, 15)+(21, 15)+(22, 14)+(19, 17)
44 295=(2, 29)+(3, 29)+(3, 30)+(4, 29)+(1, 29)+(2, 30)+(5, 29)+(5, 30)+(5, 31)+(4, 31)+(5, 32)+(4, 32)+(3, 32)+(4, 30)+(4, 33)+(6, 30)
45 30=(13, 30)+(12, 30)+(13, 29)+(12, 29)
46 78=(23, 2)+(22, 2)+(23, 1)+(24, 2)+(24, 1)+(21, 2)
47 217=(21, 30)+(21, 29)+(20, 30)+(21, 28)+(21, 31)+(19, 30)+(18, 30)+(21, 32)+(22, 30)+(17, 30)
48 80=(20, 31)+(19, 31)+(19, 32)+(20, 32)+(18, 31)+(18, 32)+(19, 33)
49 120=(8, 24)+(8, 23)+(7, 24)+(7, 23)+(8, 22)+(9, 22)+(9, 24)+(8, 25)+(9, 23)
50 418=(31, 7)+(30, 7)+(32, 7)+(32, 6)+(30, 6)+(31, 6)+(31, 5)+(29, 6)+(30, 5)+(29, 5)+(31, 8)+(28, 6)+(33, 6)+(30, 4)+(30, 8)+(32, 5)+(31, 4)+(32, 8)+(29, 7)
51 184=(26, 8)+(26, 9)+(26, 7)+(27, 8)+(25, 9)+(25, 8)+(26, 6)+(28, 8)+(26, 5)
52 100=(3, 16)+(3, 17)+(4, 16)+(3, 15)+(4, 15)+(3, 14)+(3, 18)
53 36=(3, 19)+(2, 19)+(2, 18)+(4, 19)
54 49=(0, 34)+(1, 34)+(2, 34)+(2, 35)+(1, 35)+(0, 35)
55 146=(8, 34)+(8, 33)+(8, 32)+(9, 34)+(8, 31)+(7, 34)+(7, 31)+(9, 33)+(8, 35)
56 277=(23, 12)+(22, 12)+(23, 11)+(23, 10)+(24, 11)+(23, 13)+(24, 10)+(22, 11)+(22, 10)+(21, 12)+(22, 13)+(23, 9)+(25, 11)+(24, 12)
57 60=(30, 14)+(30, 15)+(31, 14)
58 83=(33, 23)+(33, 24)+(32, 23)+(33, 25)
59 182=(3, 7)+(2, 7)+(3, 6)+(2, 8)+(4, 7)+(3, 8)+(5, 7)+(5, 6)+(3, 5)+(4, 6)
60 140=(6, 35)+(7, 35)+(6, 34)+(5, 34)+(6, 33)+(4, 34)+(5, 35)+(6, 32)+(4, 35)
61 262=(5, 23)+(5, 22)+(5, 21)+(5, 20)+(5, 24)+(6, 24)+(5, 19)+(4, 23)+(4, 22)+(6, 23)+(4, 20)+(6, 22)+(6, 20)
62 240=(26, 3)+(25, 3)+(27, 3)+(26, 2)+(26, 4)+(25, 4)+(27, 4)+(25, 5)+(27, 2)+(27, 1)+(24, 5)+(28, 2)+(26, 1)
63 147=(14, 26)+(14, 27)+(14, 28)+(13, 28)+(15, 27)+(12, 28)+(12, 27)+(13, 26)+(12, 26)+(13, 27)+(11, 27)
64 235=(26, 34)+(25, 34)+(27, 34)+(25, 33)+(27, 33)+(26, 33)+(24, 34)+(25, 32)+(26, 35)+(25, 35)+(23, 34)+(28, 33)+(27, 35)
65 189=(27, 9)+(28, 9)+(27, 10)+(29, 9)+(28, 10)+(29, 10)+(30, 9)+(28, 11)+(29, 8)+(31, 9)+(30, 10)
66 87=(16, 23)+(17, 23)+(15, 23)+(16, 22)+(18, 23)
67 36=(6, 25)+(7, 25)
68 18=(20, 20)+(21, 20)+(20, 19)
69 115=(2, 24)+(2, 23)+(2, 25)+(2, 22)
70 84=(28, 0)+(28, 1)+(27, 0)+(29, 1)+(29, 0)
71 361=(24, 0)+(25, 0)+(23, 0)+(26, 0)+(22, 0)+(22, 1)+(21, 1)+(20, 1)+(20, 2)+(19, 1)+(25, 1)+(20, 0)+(21, 0)+(19, 2)+(19, 3)+(18, 1)
72 54=(7, 19)+(6, 19)+(7, 20)
73 155=(10, 34)+(11, 34)+(10, 35)+(12, 34)+(11, 33)+(11, 35)+(10, 33)+(13, 34)
74 63=(17, 32)+(17, 31)
75 53=(27, 6)+(27, 7)+(27, 5)
76 269=(5, 2)+(4, 2)+(3, 2)+(3, 1)+(3, 3)+(4, 3)+(4, 4)+(2, 1)+(3, 4)+(2, 0)+(4, 5)+(2, 4)+(1, 0)+(4, 1)
77 36=(34, 8)+(34, 7)+(35, 7)+(33, 8)
78 66=(13, 1)+(12, 1)
79 107=(1, 1)+(0, 1)+(0, 0)+(0, 2)+(1, 2)+(1, 3)
80 15=(4, 17)+(4, 18)
81 194=(33, 32)+(34, 32)+(34, 33)+(34, 34)+(35, 32)+(35, 33)+(34, 35)+(35, 34)
82 138=(28, 32)+(27, 32)+(26, 32)+(28, 31)+(29, 32)+(26, 31)+(27, 31)
83 47=(30, 30)+(30, 29)+(29, 30)
84 7=(3, 22)
85 255=(10, 25)+(10, 26)+(11, 26)+(11, 25)+(12, 25)+(10, 24)+(10, 27)+(9, 25)+(10, 23)+(9, 26)+(11, 24)
86 167=(31, 12)+(31, 13)+(31, 11)+(31, 10)+(32, 11)+(32, 12)+(32, 10)
87 93=(25, 7)+(25, 6)+(24, 6)+(24, 7)
88 106=(34, 18)+(34, 19)+(33, 18)+(34, 17)+(35, 19)+(33, 17)+(35, 18)
89 12=(1, 4)
90 30=(21, 26)
91 121=(32, 1)+(33, 1)+(32, 0)+(31, 0)+(31, 1)+(32, 2)+(32, 3)
92 30=(9, 35)
93 13=(19, 29)+(18, 29)
94 89=(13, 16)+(12, 16)+(12, 15)+(12, 17)+(13, 15)
95 130=(17, 2)+(18, 2)+(18, 3)+(17, 1)+(17, 0)+(16, 1)+(17, 3)+(18, 0)+(17, 4)
96 94=(18, 18)+(19, 18)+(20, 18)+(17, 18)+(18, 17)
97 163=(20, 35)+(21, 35)+(19, 35)+(22, 35)+(21, 34)+(20, 34)
98 141=(2, 9)+(1, 9)+(3, 9)+(4, 9)+(2, 10)+(2, 11)+(1, 11)
99 106=(11, 12)+(12, 12)+(12, 13)+(11, 11)+(13, 13)
100 78=(27, 30)+(26, 30)+(28, 30)
101 153=(14, 10)+(14, 11)+(13, 10)+(14, 12)+(15, 10)+(14, 9)+(15, 11)+(13, 11)
102 52=(35, 31)+(35, 30)
103 7=(34, 0)+(33, 0)
104 217=(28, 24)+(29, 24)+(29, 23)+(29, 22)+(28, 25)+(27, 24)+(28, 22)+(30, 23)+(29, 25)+(28, 23)
105 131=(18, 11)+(19, 11)+(18, 10)+(17, 11)+(18, 12)+(20, 11)
106 136=(13, 23)+(13, 22)+(13, 24)+(14, 23)+(12, 24)+(13, 25)+(13, 21)+(14, 22)+(12, 22)+(11, 22)+(12, 23)
107 162=(7, 11)+(6, 11)+(7, 12)+(6, 10)+(5, 10)+(4, 10)+(5, 11)+(6, 12)+(4, 11)
108 29=(35, 20)
109 131=(31, 16)+(31, 15)+(32, 15)+(33, 15)+(32, 16)+(33, 16)
110 86=(3, 34)+(3, 35)+(3, 33)+(2, 33)
111 32=(9, 1)+(10, 1)
112 49=(24, 9)+(24, 8)+(23, 8)
113 190=(19, 12)+(19, 13)+(18, 13)+(18, 14)+(20, 12)+(20, 13)+(19, 14)+(17, 13)
114 58=(2, 21)+(1, 21)+(1, 22)
115 93=(33, 26)+(33, 27)+(32, 26)+(34, 26)
116 31=(20, 25)
117 234=(28, 18)+(29, 18)+(27, 18)+(29, 19)+(27, 19)+(26, 18)+(28, 19)+(28, 20)+(26, 17)+(26, 16)+(29, 17)+(27, 17)+(28, 21)+(28, 17)
118 22=(7, 33)+(7, 32)
119 41=(15, 4)+(14, 4)+(16, 4)
120 17=(13, 35)+(12, 35)
121 7=(22, 9)+(21, 9)
122 34=(15, 22)
123 126=(16, 12)+(15, 12)+(17, 12)+(16, 13)+(16, 11)+(15, 13)+(16, 14)
124 31=(0, 9)+(0, 10)
125 55=(16, 27)+(16, 28)+(16, 29)
126 53=(26, 24)+(25, 24)+(26, 23)+(26, 22)+(25, 23)
127 3=(14, 21)
128 26=(29, 31)
129 52=(12, 11)+(12, 10)
130 3=(27, 11)
131 165=(10, 28)+(11, 28)+(11, 29)+(10, 29)+(9, 29)+(10, 30)+(9, 28)
132 41=(2, 2)+(2, 3)
133 24=(21, 8)+(20, 8)
134 31=(32, 14)+(32, 13)
135 4=(5, 33)
136 39=(25, 21)+(26, 21)+(25, 22)
137 42=(6, 29)+(7, 29)+(6, 28)+(5, 28)+(7, 30)
138 7=(10, 5)+(10, 4)
139 8=(18, 33)
140 18=(13, 12)
141 90=(35, 25)+(35, 26)+(35, 27)+(34, 25)+(35, 24)
142 3=(32, 18)
143 158=(24, 13)+(25, 13)+(24, 14)+(23, 14)+(25, 14)+(25, 15)
144 53=(7, 13)+(8, 13)
145 32=(20, 27)
146 114=(30, 1)+(30, 2)+(30, 3)+(30, 0)
147 47=(27, 20)+(27, 21)+(26, 20)+(27, 22)
148 39=(4, 8)+(5, 8)
149 58=(26, 10)+(25, 10)
150 13=(19, 34)
151 46=(7, 26)+(8, 26)+(8, 27)+(8, 28)
152 22=(21, 21)+(22, 21)
153 40=(33, 2)+(33, 3)
154 33=(15, 0)+(16, 0)
155 36=(17, 19)
156 19=(24, 35)+(23, 35)
157 56=(25, 27)+(24, 27)+(24, 26)+(24, 25)
158 8=(6, 7)
159 73=(24, 22)+(23, 22)+(24, 23)
160 101=(16, 15)+(15, 15)+(15, 16)+(15, 14)+(15, 17)+(16, 16)+(17, 15)
161 17=(2, 32)
162 1=(28, 16)
163 105=(3, 13)+(3, 12)+(2, 12)+(4, 13)+(2, 13)+(3, 11)+(1, 13)+(4, 12)+(1, 12)
164 62=(12, 31)+(11, 31)+(10, 31)
165 57=(19, 16)+(20, 16)+(19, 15)+(20, 15)+(18, 16)
166 32=(3, 31)
167 86=(14, 15)+(14, 14)+(14, 13)+(13, 14)
168 20=(28, 7)
169 7=(27, 25)
170 127=(30, 25)+(30, 26)+(30, 24)+(29, 26)+(31, 26)+(31, 27)+(29, 27)+(31, 25)+(31, 24)
171 15=(1, 27)
172 131=(21, 6)+(20, 6)+(20, 7)+(19, 6)+(19, 7)
173 36=(24, 33)+(24, 32)+(23, 33)
174 44=(21, 18)+(21, 19)
175 3=(6, 31)
176 57=(35, 28)+(35, 29)
177 68=(23, 31)+(22, 31)+(23, 32)
178 38=(20, 33)+(21, 33)
179 103=(9, 18)+(9, 19)+(9, 20)
180 25=(5, 9)
181 24=(4, 25)
182 46=(21, 14)+(20, 14)+(21, 13)
183 19=(25, 12)
184 44=(8, 29)+(8, 30)+(9, 30)
185 34=(9, 27)
186 61=(29, 28)+(30, 28)+(29, 29)
187 30=(4, 21)
188 52=(21, 3)+(20, 3)+(20, 4)
189 24=(7, 28)
190 57=(8, 4)+(9, 4)+(9, 3)
191 7=(11, 9)
192 7=(1, 10)
193 85=(22, 32)+(22, 33)+(22, 34)
194 202=(22, 23)+(22, 22)+(22, 24)+(23, 23)+(21, 24)+(21, 23)+(23, 24)+(23, 25)
195 7=(2, 26)
196 90=(12, 21)+(12, 20)+(11, 21)+(10, 21)+(11, 20)+(10, 22)
197 13=(4, 14)
198 65=(3, 0)+(4, 0)
199 12=(3, 10)
200 22=(13, 20)
201 68=(33, 4)+(33, 5)+(32, 4)
202 65=(31, 22)+(32, 22)+(30, 22)+(31, 21)+(31, 23)
203 32=(11, 30)
204 27=(27, 23)
205 5=(35, 12)
206 74=(28, 3)+(28, 4)+(28, 5)+(29, 3)+(29, 4)
207 42=(33, 11)+(33, 10)
208 104=(14, 7)+(13, 7)+(14, 8)+(13, 8)
209 49=(28, 34)+(28, 35)
210 43=(33, 9)+(32, 9)
211 23=(30, 27)
212 53=(31, 2)+(31, 3)
213 64=(6, 21)+(7, 21)+(8, 21)
214 45=(25, 17)+(25, 16)
215 26=(7, 22)
216 21=(12, 14)
217 9=(10, 3)
218 31=(25, 2)
219 5=(24, 24)
220 31=(32, 27)
221 66=(12, 3)+(12, 4)
222 9=(25, 25)
223 3=(33, 7)
224 21=(18, 15)
225 7=(31, 28)
226 26=(13, 4)
227 23=(34, 5)+(34, 6)+(35, 5)
228 134=(17, 9)+(18, 9)+(18, 8)+(17, 10)+(19, 9)+(16, 9)+(16, 8)
229 52=(19, 10)+(20, 10)
230 25=(28, 26)
231 28=(17, 14)
232 31=(15, 9)+(15, 8)
233 29=(9, 31)+(9, 32)
234 36=(2, 14)
235 25=(26, 15)
236 32=(6, 3)
237 35=(10, 32)
238 4=(25, 29)
239 36=(21, 11)+(21, 10)
240 11=(34, 30)
241 30=(32, 25)+(32, 24)
242 21=(29, 2)
243 31=(19, 0)
244 24=(0, 3)
245 22=(29, 33)
246 22=(0, 13)+(0, 12)
247 12=(25, 31)
248 23=(6, 14)
249 33=(35, 23)
250 28=(8, 20)
251 33=(13, 9)
252 2=(16, 10)
253 64=(16, 17)+(17, 17)
254 8=(9, 21)
255 36=(34, 24)
256 31=(33, 35)
257 32=(2, 5)
258 17=(17, 16)
259 34=(19, 8)
260 14=(20, 9)
261 13=(0, 11)
262 28=(5, 12)
263 2=(11, 23)
264 9=(35, 6)
265 11=(16, 3)
266 42=(29, 35)+(30, 35)
267 36=(35, 35)
268 14=(27, 14)