projects
/
Benchmarks_CSolver.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
New dataset + Using Glucose instead of Pycosat
[Benchmarks_CSolver.git]
/
killerSudoku
/
dataset-cs
/
2
/
0-9.killer
1
9=(7, 8)+(7, 7)
2
17=(8, 0)+(8, 1)
3
15=(7, 5)+(7, 6)
4
9=(4, 6)+(4, 7)
5
14=(1, 2)+(1, 3)
6
11=(6, 0)+(6, 1)
7
10=(0, 6)+(0, 5)
8
4=(4, 1)+(4, 0)
9
11=(4, 3)+(3, 3)
10
8=(7, 2)+(7, 3)
11
13=(8, 3)+(8, 2)
12
10=(3, 4)+(2, 4)
13
8=(1, 5)+(2, 5)
14
5=(8, 7)+(8, 6)
15
6=(6, 4)+(5, 4)
16
17=(6, 6)+(6, 7)
17
10=(0, 7)+(1, 7)
18
11=(5, 8)+(4, 8)
19
12=(1, 6)+(2, 6)
20
14=(3, 7)+(3, 8)
21
6=(5, 5)+(5, 6)
22
10=(1, 4)+(0, 4)
23
9=(1, 1)+(0, 1)
24
10=(6, 2)+(5, 2)
25
9=(3, 0)+(3, 1)
26
8=(2, 8)+(1, 8)
27
3=(5, 7)
28
5=(2, 2)+(3, 2)
29
9=(0, 2)+(0, 3)
30
8=(4, 2)
31
5=(7, 1)+(7, 0)
32
10=(2, 1)+(2, 0)
33
16=(5, 0)+(5, 1)
34
11=(6, 3)+(5, 3)
35
9=(8, 5)+(8, 4)
36
13=(4, 4)+(4, 5)
37
10=(3, 5)+(3, 6)
38
6=(0, 8)
39
1=(2, 3)
40
7=(2, 7)
41
9=(1, 0)+(0, 0)
42
1=(6, 5)
43
1=(8, 8)
44
8=(7, 4)
45
7=(6, 8)