Bugfix for Sudoku solver + Using Glucose instead of Pycosat
[Benchmarks_CSolver.git] / killerSudoku / dataset-cs / 11 / 4-16.killer
1 64=(14, 7)+(13, 7)+(15, 7)+(14, 8)+(14, 6)+(14, 5)+(15, 8)
2 101=(9, 1)+(10, 1)+(9, 2)+(10, 0)+(9, 0)+(11, 1)+(9, 3)+(8, 1)+(7, 1)+(7, 2)+(12, 1)
3 89=(1, 3)+(2, 3)+(1, 2)+(0, 3)+(2, 4)+(1, 4)+(1, 1)+(3, 3)+(2, 2)+(3, 4)+(0, 1)
4 102=(13, 13)+(13, 14)+(14, 13)+(13, 12)+(13, 11)+(13, 10)+(15, 13)+(12, 13)+(13, 15)+(14, 14)+(14, 10)
5 72=(10, 3)+(10, 2)+(10, 4)+(11, 2)+(11, 4)+(11, 3)
6 74=(4, 3)+(5, 3)+(4, 2)+(6, 3)+(5, 2)+(3, 2)+(4, 4)+(4, 1)+(5, 1)+(6, 4)
7 68=(7, 4)+(7, 3)+(7, 5)+(8, 4)+(8, 3)+(8, 5)+(8, 6)+(7, 6)
8 87=(5, 5)+(5, 4)+(6, 5)+(4, 5)+(5, 6)+(3, 5)+(3, 6)+(5, 7)+(4, 6)+(5, 8)+(6, 6)
9 57=(11, 12)+(12, 12)+(12, 11)+(11, 11)+(11, 13)+(12, 10)+(10, 12)+(10, 11)
10 83=(0, 7)+(0, 8)+(0, 9)+(0, 6)+(1, 9)+(1, 7)+(1, 10)+(2, 10)+(1, 8)
11 77=(11, 5)+(12, 5)+(10, 5)+(11, 6)+(10, 6)+(12, 6)+(10, 7)
12 3=(0, 2)
13 83=(4, 8)+(3, 8)+(4, 7)+(2, 8)+(2, 7)+(3, 9)+(4, 9)+(5, 9)+(2, 6)+(6, 9)
14 70=(7, 7)+(7, 8)+(6, 7)+(6, 8)+(8, 8)+(8, 7)+(7, 9)+(9, 7)+(8, 9)
15 84=(3, 14)+(3, 15)+(3, 13)+(2, 15)+(4, 13)+(2, 14)+(1, 14)+(4, 14)+(1, 13)+(1, 12)+(3, 12)
16 79=(7, 10)+(7, 11)+(8, 10)+(7, 12)+(6, 10)+(6, 11)+(9, 10)+(6, 12)+(9, 9)+(8, 11)+(10, 10)
17 5=(13, 6)+(13, 5)
18 28=(1, 15)+(0, 15)
19 70=(0, 10)+(0, 11)+(1, 11)+(0, 12)+(0, 13)+(2, 11)
20 76=(11, 7)+(11, 8)+(12, 8)+(11, 9)+(12, 7)+(11, 10)+(10, 8)+(12, 9)+(13, 9)
21 116=(5, 12)+(5, 13)+(5, 14)+(6, 13)+(6, 14)+(5, 11)+(7, 13)+(8, 13)+(4, 12)+(5, 15)+(4, 15)
22 12=(3, 7)
23 64=(8, 15)+(9, 15)+(7, 15)+(7, 14)+(8, 14)+(9, 14)+(10, 14)+(10, 15)
24 25=(1, 5)+(1, 6)+(2, 5)+(0, 5)
25 42=(6, 0)+(7, 0)+(5, 0)+(8, 0)+(6, 1)
26 99=(15, 5)+(15, 6)+(15, 4)+(15, 3)+(15, 2)+(14, 3)+(14, 2)+(13, 3)+(15, 1)
27 11=(2, 13)+(2, 12)
28 16=(12, 2)+(13, 2)+(12, 3)+(13, 1)
29 28=(13, 4)+(14, 4)+(12, 4)
30 19=(11, 0)+(12, 0)
31 2=(2, 9)
32 4=(10, 9)
33 24=(14, 11)+(14, 12)+(15, 12)+(15, 11)+(15, 10)
34 30=(12, 14)+(11, 14)+(12, 15)+(11, 15)
35 10=(14, 9)+(15, 9)
36 28=(15, 0)+(14, 0)
37 40=(8, 12)+(9, 12)+(9, 11)
38 5=(0, 4)
39 48=(3, 0)+(4, 0)+(3, 1)+(2, 1)+(2, 0)
40 7=(6, 15)
41 15=(9, 8)
42 16=(13, 8)
43 15=(0, 14)
44 7=(9, 4)+(9, 5)
45 1=(9, 6)
46 38=(3, 11)+(4, 11)+(4, 10)+(3, 10)
47 8=(13, 0)
48 1=(8, 2)
49 11=(14, 1)
50 16=(5, 10)
51 8=(15, 14)+(15, 15)+(14, 15)
52 20=(9, 13)+(10, 13)
53 12=(6, 2)
54 6=(1, 0)+(0, 0)