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