Bugfix for Sudoku solver + Using Glucose instead of Pycosat
[Benchmarks_CSolver.git] / killerSudoku / dataset-cs / 5 / 4-16.killer
1 40=(2, 0)+(2, 1)+(1, 1)+(0, 1)+(3, 0)
2 33=(15, 9)+(15, 8)+(15, 10)+(15, 7)+(14, 9)
3 52=(10, 4)+(10, 3)+(9, 3)+(9, 2)+(10, 5)
4 52=(11, 8)+(12, 8)+(10, 8)+(10, 7)+(13, 8)
5 51=(13, 1)+(14, 1)+(14, 0)+(13, 2)+(15, 1)
6 44=(1, 14)+(2, 14)+(1, 15)+(2, 13)+(2, 15)
7 48=(11, 1)+(10, 1)+(10, 2)+(9, 1)+(12, 1)
8 56=(8, 8)+(7, 8)+(8, 9)+(9, 9)+(7, 7)
9 55=(7, 0)+(8, 0)+(7, 1)+(6, 1)+(7, 2)
10 60=(6, 6)+(6, 5)+(7, 6)+(6, 4)+(8, 6)
11 34=(0, 6)+(0, 7)+(0, 5)+(1, 7)+(0, 8)
12 51=(11, 3)+(11, 4)+(11, 5)+(12, 3)+(11, 2)
13 51=(5, 9)+(4, 9)+(4, 10)+(4, 8)+(3, 10)
14 30=(8, 5)+(8, 4)+(8, 3)+(9, 4)+(7, 4)
15 58=(4, 14)+(4, 15)+(5, 14)+(4, 13)+(3, 13)
16 35=(11, 10)+(11, 9)+(12, 9)+(10, 10)+(12, 10)
17 47=(8, 10)+(8, 11)+(7, 10)+(8, 12)+(7, 9)
18 30=(6, 10)+(6, 11)+(6, 9)+(6, 12)+(5, 10)
19 35=(12, 7)+(13, 7)+(13, 6)+(14, 6)+(14, 7)
20 48=(9, 14)+(9, 15)+(9, 13)+(9, 12)+(10, 15)
21 33=(10, 0)+(9, 0)+(11, 0)
22 9=(7, 11)+(7, 12)
23 44=(3, 12)+(4, 12)+(3, 11)+(5, 12)+(4, 11)
24 42=(4, 6)+(4, 7)+(3, 7)+(4, 5)+(3, 5)
25 26=(9, 7)+(9, 6)+(10, 6)+(8, 7)+(9, 5)
26 29=(1, 5)+(1, 4)+(1, 3)+(2, 4)+(0, 4)
27 18=(15, 11)+(14, 11)+(15, 12)+(14, 12)
28 26=(10, 13)+(10, 12)+(10, 11)+(11, 13)+(10, 14)
29 48=(2, 7)+(2, 6)+(2, 8)+(3, 6)+(3, 8)
30 32=(11, 6)+(11, 7)+(12, 6)+(12, 5)
31 54=(14, 4)+(15, 4)+(14, 3)+(13, 4)+(15, 3)
32 57=(0, 12)+(1, 12)+(1, 11)+(0, 13)+(2, 12)
33 45=(3, 2)+(2, 2)+(1, 2)+(4, 2)+(5, 2)
34 57=(13, 11)+(13, 12)+(12, 12)+(13, 10)+(14, 10)
35 49=(1, 8)+(1, 9)+(1, 10)+(2, 10)+(2, 11)
36 45=(12, 14)+(12, 13)+(11, 14)+(12, 15)+(11, 15)
37 39=(5, 3)+(4, 3)+(6, 3)+(5, 4)+(3, 3)
38 19=(14, 14)+(14, 13)+(15, 14)+(15, 15)+(15, 13)
39 8=(12, 4)
40 15=(13, 9)
41 7=(0, 2)+(0, 3)
42 6=(0, 0)+(1, 0)
43 15=(4, 4)+(3, 4)
44 4=(10, 9)
45 33=(4, 0)+(4, 1)+(5, 0)+(3, 1)+(6, 0)
46 5=(5, 1)
47 2=(12, 2)
48 24=(15, 2)+(14, 2)
49 22=(6, 13)+(7, 13)+(7, 14)+(5, 13)+(7, 15)
50 9=(11, 12)+(11, 11)
51 33=(0, 10)+(0, 9)+(0, 11)
52 5=(8, 2)+(8, 1)
53 12=(6, 2)
54 5=(13, 3)
55 12=(2, 3)
56 8=(2, 9)+(3, 9)
57 21=(15, 6)+(15, 5)
58 15=(7, 3)
59 14=(2, 5)
60 12=(13, 0)+(12, 0)
61 31=(0, 15)+(0, 14)
62 43=(8, 15)+(8, 14)+(8, 13)
63 10=(1, 13)
64 38=(6, 7)+(6, 8)+(5, 8)+(5, 7)+(5, 6)
65 14=(14, 15)+(13, 15)
66 3=(1, 6)
67 27=(9, 10)+(9, 11)
68 4=(14, 8)
69 21=(13, 14)+(13, 13)
70 7=(3, 15)+(3, 14)
71 15=(5, 11)
72 9=(12, 11)
73 26=(6, 15)+(5, 15)+(6, 14)
74 18=(14, 5)+(13, 5)
75 16=(15, 0)
76 15=(9, 8)
77 9=(7, 5)
78 1=(5, 5)