New dataset + Using Glucose instead of Pycosat

[Benchmarks_CSolver.git] / killerSudoku / dataset-cs / 2 / 3-4.killer

diff --git a/killerSudoku/dataset-cs/2/3-4.killer b/killerSudoku/dataset-cs/2/3-4.killer
index b822db57c520cdb43660326fd6b38c3aad0fac5a..d5622a5ca841e9352a0a8508fefc6bc121ed048f 100644 (file)
--- a/killerSudoku/dataset-cs/2/3-4.killer
+++ b/killerSudoku/dataset-cs/2/3-4.killer
@@ -1,10 +1,9 @@
-5=(2, 3)+(1, 3)
-5=(1, 1)+(1, 2)
+7=(1, 1)+(1, 0)
+4=(3, 3)+(2, 3)
 5=(3, 2)+(3, 1)
-3=(2, 1)+(2, 0)
-3=(0, 0)+(0, 1)
+3=(0, 1)+(0, 0)
+3=(2, 0)+(2, 1)
+5=(2, 2)+(1, 2)
 7=(0, 2)+(0, 3)
+2=(1, 3)
 4=(3, 0)
-4=(2, 2)
-1=(3, 3)
-3=(1, 0)