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