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