New dataset + Using Glucose instead of Pycosat

[Benchmarks_CSolver.git] / killerSudoku / dataset-cs / 7 / 0-9.killer

diff --git a/killerSudoku/dataset-cs/7/0-9.killer b/killerSudoku/dataset-cs/7/0-9.killer
index 18371e29969cd1e66e6e254c1a5815d719cef21d..769754e4e6e57cb097aa2898ad299daca1eb7f34 100644 (file)
--- a/killerSudoku/dataset-cs/7/0-9.killer
+++ b/killerSudoku/dataset-cs/7/0-9.killer
@@ -1,18 +1,19 @@
-31=(1, 0)+(1, 1)+(0, 1)+(0, 2)+(0, 3)+(0, 0)+(2, 0)
-33=(1, 4)+(1, 5)+(1, 3)+(2, 5)+(2, 3)+(1, 2)+(3, 5)
-31=(3, 7)+(4, 7)+(5, 7)+(5, 8)+(5, 6)+(3, 8)+(2, 7)
-39=(6, 7)+(6, 8)+(6, 6)+(7, 6)+(7, 8)+(7, 7)
-35=(6, 3)+(5, 3)+(5, 2)+(4, 3)+(4, 4)+(3, 4)+(2, 4)
-24=(5, 5)+(4, 5)+(6, 5)+(5, 4)+(4, 6)+(6, 4)
-34=(0, 7)+(0, 8)+(1, 8)+(1, 7)+(0, 6)+(0, 5)+(2, 8)
-37=(8, 4)+(7, 4)+(7, 5)+(8, 5)+(8, 6)+(7, 3)+(7, 2)
-37=(6, 0)+(7, 0)+(7, 1)+(6, 1)+(8, 1)+(6, 2)+(8, 0)
-34=(5, 1)+(4, 1)+(4, 0)+(3, 1)+(4, 2)+(5, 0)+(3, 2)
-9=(3, 3)
+30=(2, 3)+(3, 3)+(1, 3)+(2, 4)+(2, 5)+(2, 2)+(3, 4)
+39=(3, 7)+(4, 7)+(4, 8)+(3, 8)+(5, 8)+(5, 7)+(2, 7)
+31=(2, 1)+(2, 0)+(1, 0)+(0, 0)+(3, 1)+(4, 1)+(0, 1)
+39=(1, 5)+(1, 4)+(0, 4)+(0, 5)+(0, 6)+(0, 7)+(1, 6)
+15=(0, 8)+(1, 8)+(2, 8)+(1, 7)
+40=(5, 6)+(4, 6)+(4, 5)+(3, 5)+(6, 6)+(6, 7)+(6, 8)
+33=(6, 5)+(7, 5)+(8, 5)+(6, 4)+(7, 6)+(7, 4)+(6, 3)
+33=(6, 2)+(5, 2)+(5, 3)+(7, 2)+(5, 1)+(4, 3)+(7, 1)
+23=(5, 0)+(6, 0)+(7, 0)+(4, 0)+(6, 1)
+15=(5, 4)+(5, 5)+(4, 4)
 5=(3, 0)
-9=(2, 1)+(2, 2)
-3=(8, 7)+(8, 8)
-3=(0, 4)
-19=(2, 6)+(3, 6)+(1, 6)
-9=(4, 8)
-13=(8, 3)+(8, 2)
+20=(7, 3)+(8, 3)+(8, 2)
+12=(7, 8)+(8, 8)+(7, 7)+(8, 7)
+3=(8, 6)
+17=(8, 0)+(8, 1)
+5=(8, 4)
+20=(0, 2)+(1, 2)+(0, 3)+(1, 1)
+15=(2, 6)+(3, 6)
+10=(3, 2)+(4, 2)