New dataset + Using Glucose instead of Pycosat

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

diff --git a/killerSudoku/dataset-cs/2/0-9.killer b/killerSudoku/dataset-cs/2/0-9.killer
index d2bb20b2d4d56bcfbe0c79ffc054ef5a753925d2..5cfe68120da8322470083c41dd0becd30ebad138 100644 (file)
--- a/killerSudoku/dataset-cs/2/0-9.killer
+++ b/killerSudoku/dataset-cs/2/0-9.killer
@@ -1,44 +1,45 @@
-17=(8, 1)+(8, 0)
-6=(0, 6)+(1, 6)
-4=(5, 7)+(5, 6)
-13=(8, 3)+(8, 2)
-5=(6, 4)+(6, 3)
-12=(2, 0)+(1, 0)
-7=(0, 3)+(0, 4)
-4=(7, 2)+(7, 1)
-14=(3, 8)+(3, 7)
-9=(6, 8)+(5, 8)
-8=(0, 0)+(0, 1)
-15=(2, 6)+(3, 6)
+9=(7, 8)+(7, 7)
+17=(8, 0)+(8, 1)
+15=(7, 5)+(7, 6)
+9=(4, 6)+(4, 7)
+14=(1, 2)+(1, 3)
+11=(6, 0)+(6, 1)
+10=(0, 6)+(0, 5)
 4=(4, 1)+(4, 0)
-12=(4, 5)+(5, 5)
-8=(7, 0)+(6, 0)
-9=(2, 2)+(2, 1)
-15=(7, 6)+(7, 5)
-16=(5, 1)+(5, 0)
-4=(1, 8)+(1, 7)
-12=(2, 7)+(2, 8)
+11=(4, 3)+(3, 3)
+8=(7, 2)+(7, 3)
+13=(8, 3)+(8, 2)
+10=(3, 4)+(2, 4)
 8=(1, 5)+(2, 5)
-13=(8, 4)+(7, 4)
-3=(8, 8)+(8, 7)
-15=(0, 7)+(0, 8)
-7=(8, 6)+(8, 5)
-13=(7, 7)+(6, 7)
-11=(1, 1)+(1, 2)
-10=(4, 2)+(4, 3)
-10=(6, 5)+(6, 6)
-10=(5, 4)+(4, 4)
-16=(2, 4)+(1, 4)
-8=(0, 5)
-7=(7, 3)
-5=(0, 2)
-9=(3, 1)+(3, 0)
-4=(3, 4)+(3, 5)
-10=(5, 2)+(6, 2)
-6=(1, 3)+(2, 3)
-13=(4, 8)+(4, 7)
-4=(7, 8)
-5=(6, 1)
-11=(3, 3)+(3, 2)
-5=(4, 6)
-8=(5, 3)
+5=(8, 7)+(8, 6)
+6=(6, 4)+(5, 4)
+17=(6, 6)+(6, 7)
+10=(0, 7)+(1, 7)
+11=(5, 8)+(4, 8)
+12=(1, 6)+(2, 6)
+14=(3, 7)+(3, 8)
+6=(5, 5)+(5, 6)
+10=(1, 4)+(0, 4)
+9=(1, 1)+(0, 1)
+10=(6, 2)+(5, 2)
+9=(3, 0)+(3, 1)
+8=(2, 8)+(1, 8)
+3=(5, 7)
+5=(2, 2)+(3, 2)
+9=(0, 2)+(0, 3)
+8=(4, 2)
+5=(7, 1)+(7, 0)
+10=(2, 1)+(2, 0)
+16=(5, 0)+(5, 1)
+11=(6, 3)+(5, 3)
+9=(8, 5)+(8, 4)
+13=(4, 4)+(4, 5)
+10=(3, 5)+(3, 6)
+6=(0, 8)
+1=(2, 3)
+7=(2, 7)
+9=(1, 0)+(0, 0)
+1=(6, 5)
+1=(8, 8)
+8=(7, 4)
+7=(6, 8)