New dataset + Using Glucose instead of Pycosat
[Benchmarks_CSolver.git] / killerSudoku / dataset-cs / 5 / 0-9.killer
1 27=(7, 5)+(8, 5)+(8, 6)+(8, 4)+(8, 3)
2 22=(0, 7)+(0, 6)+(1, 6)+(0, 8)+(1, 7)
3 29=(5, 8)+(6, 8)+(6, 7)+(4, 8)+(5, 7)
4 32=(3, 7)+(2, 7)+(3, 8)+(4, 7)+(3, 6)
5 31=(5, 2)+(6, 2)+(6, 1)+(5, 3)+(4, 2)
6 18=(8, 7)+(8, 8)+(7, 7)+(7, 6)+(7, 8)
7 21=(5, 5)+(5, 4)+(6, 4)+(4, 5)+(3, 5)
8 31=(2, 4)+(2, 3)+(1, 3)+(3, 3)+(1, 4)
9 23=(1, 2)+(0, 2)+(2, 2)+(1, 1)+(0, 3)
10 10=(6, 3)+(7, 3)
11 9=(4, 4)+(4, 3)+(3, 4)
12 20=(4, 0)+(3, 0)+(3, 1)+(4, 1)+(5, 0)
13 8=(1, 8)+(2, 8)
14 23=(7, 1)+(7, 2)+(8, 1)+(8, 0)+(7, 0)
15 10=(2, 1)+(2, 0)
16 16=(1, 0)+(0, 0)+(0, 1)
17 10=(2, 6)+(2, 5)
18 17=(0, 4)+(0, 5)+(1, 5)
19 7=(8, 2)
20 15=(5, 6)+(6, 6)+(4, 6)
21 8=(7, 4)
22 1=(6, 5)
23 9=(5, 1)
24 2=(3, 2)
25 6=(6, 0)