New dataset + Using Glucose instead of Pycosat
[Benchmarks_CSolver.git] / killerSudoku / dataset-cs / 2 / 0-9.killer
1 9=(7, 8)+(7, 7)
2 17=(8, 0)+(8, 1)
3 15=(7, 5)+(7, 6)
4 9=(4, 6)+(4, 7)
5 14=(1, 2)+(1, 3)
6 11=(6, 0)+(6, 1)
7 10=(0, 6)+(0, 5)
8 4=(4, 1)+(4, 0)
9 11=(4, 3)+(3, 3)
10 8=(7, 2)+(7, 3)
11 13=(8, 3)+(8, 2)
12 10=(3, 4)+(2, 4)
13 8=(1, 5)+(2, 5)
14 5=(8, 7)+(8, 6)
15 6=(6, 4)+(5, 4)
16 17=(6, 6)+(6, 7)
17 10=(0, 7)+(1, 7)
18 11=(5, 8)+(4, 8)
19 12=(1, 6)+(2, 6)
20 14=(3, 7)+(3, 8)
21 6=(5, 5)+(5, 6)
22 10=(1, 4)+(0, 4)
23 9=(1, 1)+(0, 1)
24 10=(6, 2)+(5, 2)
25 9=(3, 0)+(3, 1)
26 8=(2, 8)+(1, 8)
27 3=(5, 7)
28 5=(2, 2)+(3, 2)
29 9=(0, 2)+(0, 3)
30 8=(4, 2)
31 5=(7, 1)+(7, 0)
32 10=(2, 1)+(2, 0)
33 16=(5, 0)+(5, 1)
34 11=(6, 3)+(5, 3)
35 9=(8, 5)+(8, 4)
36 13=(4, 4)+(4, 5)
37 10=(3, 5)+(3, 6)
38 6=(0, 8)
39 1=(2, 3)
40 7=(2, 7)
41 9=(1, 0)+(0, 0)
42 1=(6, 5)
43 1=(8, 8)
44 8=(7, 4)
45 7=(6, 8)