Branching order changed which changed solution found first

Gecode · Apr 9, 2019 · 198e8a1 · 198e8a1
1 parent 818150e
commit 198e8a1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/test/flatzinc/magicsq_3.cpp b/test/flatzinc/magicsq_3.cpp
@@ -103,7 +103,7 @@ constraint int_lin_eq([1, 1, 1], [a[3], a[6], a[9]], 15);\n\
 constraint int_lin_eq([1, 1, 1], [a[4], a[5], a[6]], 15);\n\
 constraint int_lin_eq([1, 1, 1], [a[7], a[8], a[9]], 15);\n\
 solve satisfy;\n\
-", "a = array2d(1..3, 1..3, [8, 1, 6, 3, 5, 7, 4, 9, 2]);\n\
+", "a = array2d(1..3, 1..3, [4, 3, 8, 9, 5, 1, 2, 7, 6]);\n\
 ----------\n\
 ");
       }

diff --git a/test/flatzinc/magicsq_4.cpp b/test/flatzinc/magicsq_4.cpp
@@ -105,7 +105,7 @@ constraint int_lin_eq([1, 1, 1, 1], [a[5], a[6], a[7], a[8]], 34);\n\
 constraint int_lin_eq([1, 1, 1, 1], [a[9], a[10], a[11], a[12]], 34);\n\
 constraint int_lin_eq([1, 1, 1, 1], [a[13], a[14], a[15], a[16]], 34);\n\
 solve satisfy;\n\
-", "a = array2d(1..4, 1..4, [13, 2, 7, 12, 3, 16, 9, 6, 10, 5, 4, 15, 8, 11, 14, 1]);\n\
+", "a = array2d(1..4, 1..4, [4, 5, 10, 15, 9, 16, 3, 6, 7, 2, 13, 12, 14, 11, 8, 1]);\n\
 ----------\n\
 ");
       }