Bugfix for Sudoku solver + Using Glucose instead of Pycosat
[Benchmarks_CSolver.git] / killerSudoku / dataset-cs / 13 / 4-16.killer
1 92=(8, 5)+(8, 4)+(9, 5)+(7, 4)+(9, 4)+(7, 5)+(8, 6)+(10, 4)+(7, 6)+(8, 3)+(9, 6)+(10, 5)
2 139=(3, 11)+(3, 10)+(4, 10)+(5, 10)+(4, 11)+(5, 11)+(4, 9)+(5, 9)+(6, 9)+(5, 8)+(4, 12)+(5, 12)+(5, 13)
3 97=(11, 10)+(10, 10)+(11, 11)+(10, 9)+(12, 11)+(13, 11)+(11, 9)+(14, 11)+(15, 11)+(10, 11)+(12, 12)+(9, 9)+(12, 9)
4 104=(7, 7)+(8, 7)+(8, 8)+(8, 9)+(7, 9)+(6, 7)+(7, 8)+(5, 7)+(9, 7)+(10, 7)+(8, 10)+(4, 7)+(10, 8)
5 118=(9, 2)+(9, 1)+(8, 2)+(9, 3)+(10, 3)+(9, 0)+(8, 1)+(11, 3)+(7, 1)+(10, 2)+(7, 0)+(7, 2)+(10, 0)
6 122=(1, 11)+(1, 10)+(1, 12)+(2, 11)+(0, 11)+(1, 13)+(0, 10)+(0, 13)+(2, 10)+(0, 12)+(0, 14)
7 66=(10, 15)+(10, 14)+(11, 15)+(10, 13)+(9, 14)+(11, 14)+(9, 15)+(9, 13)+(8, 14)
8 92=(12, 15)+(13, 15)+(13, 14)+(14, 14)+(14, 13)+(12, 14)+(12, 13)+(14, 15)+(13, 13)+(15, 14)
9 26=(7, 3)+(6, 3)
10 116=(1, 8)+(1, 9)+(2, 9)+(2, 8)+(2, 7)+(0, 8)+(1, 7)+(0, 7)+(3, 9)+(3, 7)+(3, 6)+(0, 9)+(3, 5)
11 84=(12, 4)+(11, 4)+(11, 5)+(12, 5)+(11, 6)+(13, 4)+(12, 3)+(12, 2)+(13, 2)+(12, 6)+(13, 5)+(14, 5)
12 27=(15, 12)+(14, 12)+(13, 12)+(15, 13)
13 51=(14, 9)+(14, 10)+(13, 9)+(14, 8)+(15, 9)+(13, 10)+(15, 10)
14 126=(15, 4)+(14, 4)+(14, 3)+(13, 3)+(15, 3)+(14, 2)+(15, 5)+(15, 6)+(14, 1)+(15, 1)+(15, 2)
15 30=(14, 6)+(13, 6)+(14, 7)+(13, 7)
16 125=(2, 4)+(2, 3)+(3, 3)+(2, 5)+(1, 3)+(3, 2)+(1, 4)+(3, 4)+(0, 4)+(0, 5)+(2, 6)+(2, 2)
17 86=(4, 14)+(4, 15)+(5, 14)+(4, 13)+(6, 14)+(7, 14)+(5, 15)+(3, 15)+(3, 14)
18 43=(5, 1)+(5, 0)+(4, 1)+(6, 1)+(6, 2)+(5, 2)+(4, 0)
19 10=(6, 0)
20 51=(5, 6)+(5, 5)+(5, 4)+(6, 5)+(6, 6)+(5, 3)+(4, 6)
21 65=(13, 1)+(12, 1)+(12, 0)+(13, 0)+(11, 0)+(11, 1)+(10, 1)
22 24=(7, 15)+(6, 15)+(8, 15)
23 85=(8, 11)+(9, 11)+(8, 12)+(7, 12)+(7, 11)+(7, 10)+(8, 13)+(9, 10)
24 57=(2, 0)+(2, 1)+(3, 1)+(3, 0)+(1, 0)+(1, 1)
25 21=(10, 12)+(9, 12)+(11, 12)
26 4=(11, 13)
27 14=(6, 4)
28 13=(4, 3)+(4, 4)+(4, 2)
29 14=(2, 12)+(2, 13)+(3, 13)+(3, 12)
30 5=(4, 5)
31 54=(1, 14)+(2, 14)+(2, 15)+(1, 15)+(0, 15)
32 35=(13, 8)+(12, 8)+(11, 8)
33 2=(6, 8)
34 13=(10, 6)
35 17=(15, 7)+(15, 8)
36 1=(15, 15)
37 5=(1, 5)+(1, 6)
38 15=(12, 7)+(11, 7)
39 15=(7, 13)+(6, 13)+(6, 12)+(6, 11)
40 7=(0, 3)+(0, 2)
41 7=(1, 2)
42 28=(15, 0)+(14, 0)
43 7=(0, 6)
44 3=(0, 1)+(0, 0)
45 4=(6, 10)
46 13=(11, 2)
47 15=(9, 8)
48 3=(8, 0)
49 10=(12, 10)
50 15=(3, 8)+(4, 8)