add instances

CPMpy · Nov 12, 2023 · bce1b52 · bce1b52
1 parent f879554
commit bce1b52
Show file tree

Hide file tree

Showing 186 changed files with 609,685 additions and 0 deletions.
diff --git a/benchmarks/instances/AnotherMagicSquare-02_c23.xml b/benchmarks/instances/AnotherMagicSquare-02_c23.xml
@@ -0,0 +1,26 @@
+<instance format="XCSP3" type="CSP">
+  <variables>
+    <array id="x" note="x[i,j] is the value at row i and column j" size="[2][2]"> 1..4 </array>
+    <array id="aux_gb" note="aux_gb[i] is the ith auxiliary variable having been automatically introduced" size="[4]"> 3..12 </array>
+  </variables>
+  <constraints>
+    <allDifferent> x[][] </allDifferent>
+    <group note="ensuring that the numbers surrounding a number v add to a multiple of v">
+      <intension> eq(mod(%0,%1),0) </intension>
+      <args> aux_gb[0] x[0][0] </args>
+      <args> aux_gb[1] x[0][1] </args>
+      <args> aux_gb[2] x[1][0] </args>
+      <args> aux_gb[3] x[1][1] </args>
+    </group>
+    <group>
+      <sum>
+        <list> %0 %1 %2 </list>
+        <condition> (eq,%3) </condition>
+      </sum>
+      <args> x[0][1] x[1][] aux_gb[0] </args>
+      <args> x[][0] x[1][1] aux_gb[1] </args>
+      <args> x[0][] x[1][1] aux_gb[2] </args>
+      <args> x[0][] x[1][0] aux_gb[3] </args>
+    </group>
+  </constraints>
+</instance>
diff --git a/benchmarks/instances/AnotherMagicSquare-03_c23.xml b/benchmarks/instances/AnotherMagicSquare-03_c23.xml
@@ -0,0 +1,40 @@
+<instance format="XCSP3" type="CSP">
+  <variables>
+    <array id="x" note="x[i,j] is the value at row i and column j" size="[3][3]"> 1..9 </array>
+    <array id="aux_gb" note="aux_gb[i] is the ith auxiliary variable having been automatically introduced" size="[9]">
+      <domain for="aux_gb[0] aux_gb[2] aux_gb[6] aux_gb[8]"> 3..27 </domain>
+      <domain for="aux_gb[1] aux_gb[3] aux_gb[5] aux_gb[7]"> 5..45 </domain>
+      <domain for="aux_gb[4]"> 8..72 </domain>
+    </array>
+  </variables>
+  <constraints>
+    <allDifferent> x[][] </allDifferent>
+    <group note="ensuring that the numbers surrounding a number v add to a multiple of v">
+      <intension> eq(mod(%0,%1),0) </intension>
+      <args> aux_gb[0] x[0][0] </args>
+      <args> aux_gb[1] x[0][1] </args>
+      <args> aux_gb[2] x[0][2] </args>
+      <args> aux_gb[3] x[1][0] </args>
+      <args> aux_gb[4] x[1][1] </args>
+      <args> aux_gb[5] x[1][2] </args>
+      <args> aux_gb[6] x[2][0] </args>
+      <args> aux_gb[7] x[2][1] </args>
+      <args> aux_gb[8] x[2][2] </args>
+    </group>
+    <group>
+      <sum>
+        <list> %... </list>
+        <condition> (eq,%0) </condition>
+      </sum>
+      <args> aux_gb[0] x[0][1] x[1][0..1] </args>
+      <args> aux_gb[1] x[0][0] x[0][2] x[1][] </args>
+      <args> aux_gb[2] x[0..1][1] x[1][2] </args>
+      <args> aux_gb[3] x[0][0..1] x[1][1] x[2][0..1] </args>
+      <args> aux_gb[4] x[0][] x[1][0] x[1][2] x[2][] </args>
+      <args> aux_gb[5] x[0][1..2] x[1..2][1] x[2][2] </args>
+      <args> aux_gb[6] x[1][0..1] x[2][1] </args>
+      <args> aux_gb[7] x[1][] x[2][0] x[2][2] </args>
+      <args> aux_gb[8] x[1][1..2] x[2][1] </args>
+    </group>
+  </constraints>
+</instance>
diff --git a/benchmarks/instances/AnotherMagicSquare-04_c23.xml b/benchmarks/instances/AnotherMagicSquare-04_c23.xml
@@ -0,0 +1,54 @@
+<instance format="XCSP3" type="CSP">
+  <variables>
+    <array id="x" note="x[i,j] is the value at row i and column j" size="[4][4]"> 1..16 </array>
+    <array id="aux_gb" note="aux_gb[i] is the ith auxiliary variable having been automatically introduced" size="[16]">
+      <domain for="aux_gb[0] aux_gb[3] aux_gb[12] aux_gb[15]"> 3..48 </domain>
+      <domain for="aux_gb[1..2] aux_gb[4] aux_gb[7..8] aux_gb[11] aux_gb[13..14]"> 5..80 </domain>
+      <domain for="aux_gb[5..6] aux_gb[9..10]"> 8..128 </domain>
+    </array>
+  </variables>
+  <constraints>
+    <allDifferent> x[][] </allDifferent>
+    <group note="ensuring that the numbers surrounding a number v add to a multiple of v">
+      <intension> eq(mod(%0,%1),0) </intension>
+      <args> aux_gb[0] x[0][0] </args>
+      <args> aux_gb[1] x[0][1] </args>
+      <args> aux_gb[2] x[0][2] </args>
+      <args> aux_gb[3] x[0][3] </args>
+      <args> aux_gb[4] x[1][0] </args>
+      <args> aux_gb[5] x[1][1] </args>
+      <args> aux_gb[6] x[1][2] </args>
+      <args> aux_gb[7] x[1][3] </args>
+      <args> aux_gb[8] x[2][0] </args>
+      <args> aux_gb[9] x[2][1] </args>
+      <args> aux_gb[10] x[2][2] </args>
+      <args> aux_gb[11] x[2][3] </args>
+      <args> aux_gb[12] x[3][0] </args>
+      <args> aux_gb[13] x[3][1] </args>
+      <args> aux_gb[14] x[3][2] </args>
+      <args> aux_gb[15] x[3][3] </args>
+    </group>
+    <group>
+      <sum>
+        <list> %... </list>
+        <condition> (eq,%0) </condition>
+      </sum>
+      <args> aux_gb[0] x[0][1] x[1][0..1] </args>
+      <args> aux_gb[1] x[0][0] x[0][2] x[1][0..2] </args>
+      <args> aux_gb[2] x[0][1] x[0][3] x[1][1..3] </args>
+      <args> aux_gb[3] x[0..1][2] x[1][3] </args>
+      <args> aux_gb[4] x[0][0..1] x[1][1] x[2][0..1] </args>
+      <args> aux_gb[5] x[0][0..2] x[1][0] x[1][2] x[2][0..2] </args>
+      <args> aux_gb[6] x[0][1..3] x[1][1] x[1][3] x[2][1..3] </args>
+      <args> aux_gb[7] x[0][2..3] x[1..2][2] x[2][3] </args>
+      <args> aux_gb[8] x[1][0..1] x[2][1] x[3][0..1] </args>
+      <args> aux_gb[9] x[1][0..2] x[2][0] x[2][2] x[3][0..2] </args>
+      <args> aux_gb[10] x[1][1..3] x[2][1] x[2][3] x[3][1..3] </args>
+      <args> aux_gb[11] x[1][2..3] x[2..3][2] x[3][3] </args>
+      <args> aux_gb[12] x[2][0..1] x[3][1] </args>
+      <args> aux_gb[13] x[2][0..2] x[3][0] x[3][2] </args>
+      <args> aux_gb[14] x[2][1..3] x[3][1] x[3][3] </args>
+      <args> aux_gb[15] x[2][2..3] x[3][2] </args>
+    </group>
+  </constraints>
+</instance>
diff --git a/benchmarks/instances/AnotherMagicSquare-05_c23.xml b/benchmarks/instances/AnotherMagicSquare-05_c23.xml
@@ -0,0 +1,72 @@
+<instance format="XCSP3" type="CSP">
+  <variables>
+    <array id="x" note="x[i,j] is the value at row i and column j" size="[5][5]"> 1..25 </array>
+    <array id="aux_gb" note="aux_gb[i] is the ith auxiliary variable having been automatically introduced" size="[25]">
+      <domain for="aux_gb[0] aux_gb[4] aux_gb[20] aux_gb[24]"> 3..75 </domain>
+      <domain for="aux_gb[1..3] aux_gb[5] aux_gb[9..10] aux_gb[14..15] aux_gb[19] aux_gb[21..23]"> 5..125 </domain>
+      <domain for="aux_gb[6..8] aux_gb[11..13] aux_gb[16..18]"> 8..200 </domain>
+    </array>
+  </variables>
+  <constraints>
+    <allDifferent> x[][] </allDifferent>
+    <group note="ensuring that the numbers surrounding a number v add to a multiple of v">
+      <intension> eq(mod(%0,%1),0) </intension>
+      <args> aux_gb[0] x[0][0] </args>
+      <args> aux_gb[1] x[0][1] </args>
+      <args> aux_gb[2] x[0][2] </args>
+      <args> aux_gb[3] x[0][3] </args>
+      <args> aux_gb[4] x[0][4] </args>
+      <args> aux_gb[5] x[1][0] </args>
+      <args> aux_gb[6] x[1][1] </args>
+      <args> aux_gb[7] x[1][2] </args>
+      <args> aux_gb[8] x[1][3] </args>
+      <args> aux_gb[9] x[1][4] </args>
+      <args> aux_gb[10] x[2][0] </args>
+      <args> aux_gb[11] x[2][1] </args>
+      <args> aux_gb[12] x[2][2] </args>
+      <args> aux_gb[13] x[2][3] </args>
+      <args> aux_gb[14] x[2][4] </args>
+      <args> aux_gb[15] x[3][0] </args>
+      <args> aux_gb[16] x[3][1] </args>
+      <args> aux_gb[17] x[3][2] </args>
+      <args> aux_gb[18] x[3][3] </args>
+      <args> aux_gb[19] x[3][4] </args>
+      <args> aux_gb[20] x[4][0] </args>
+      <args> aux_gb[21] x[4][1] </args>
+      <args> aux_gb[22] x[4][2] </args>
+      <args> aux_gb[23] x[4][3] </args>
+      <args> aux_gb[24] x[4][4] </args>
+    </group>
+    <group>
+      <sum>
+        <list> %... </list>
+        <condition> (eq,%0) </condition>
+      </sum>
+      <args> aux_gb[0] x[0][1] x[1][0..1] </args>
+      <args> aux_gb[1] x[0][0] x[0][2] x[1][0..2] </args>
+      <args> aux_gb[2] x[0][1] x[0][3] x[1][1..3] </args>
+      <args> aux_gb[3] x[0][2] x[0][4] x[1][2..4] </args>
+      <args> aux_gb[4] x[0..1][3] x[1][4] </args>
+      <args> aux_gb[5] x[0][0..1] x[1][1] x[2][0..1] </args>
+      <args> aux_gb[6] x[0][0..2] x[1][0] x[1][2] x[2][0..2] </args>
+      <args> aux_gb[7] x[0][1..3] x[1][1] x[1][3] x[2][1..3] </args>
+      <args> aux_gb[8] x[0][2..4] x[1][2] x[1][4] x[2][2..4] </args>
+      <args> aux_gb[9] x[0][3..4] x[1..2][3] x[2][4] </args>
+      <args> aux_gb[10] x[1][0..1] x[2][1] x[3][0..1] </args>
+      <args> aux_gb[11] x[1][0..2] x[2][0] x[2][2] x[3][0..2] </args>
+      <args> aux_gb[12] x[1][1..3] x[2][1] x[2][3] x[3][1..3] </args>
+      <args> aux_gb[13] x[1][2..4] x[2][2] x[2][4] x[3][2..4] </args>
+      <args> aux_gb[14] x[1][3..4] x[2..3][3] x[3][4] </args>
+      <args> aux_gb[15] x[2][0..1] x[3][1] x[4][0..1] </args>
+      <args> aux_gb[16] x[2][0..2] x[3][0] x[3][2] x[4][0..2] </args>
+      <args> aux_gb[17] x[2][1..3] x[3][1] x[3][3] x[4][1..3] </args>
+      <args> aux_gb[18] x[2][2..4] x[3][2] x[3][4] x[4][2..4] </args>
+      <args> aux_gb[19] x[2][3..4] x[3..4][3] x[4][4] </args>
+      <args> aux_gb[20] x[3][0..1] x[4][1] </args>
+      <args> aux_gb[21] x[3][0..2] x[4][0] x[4][2] </args>
+      <args> aux_gb[22] x[3][1..3] x[4][1] x[4][3] </args>
+      <args> aux_gb[23] x[3][2..4] x[4][2] x[4][4] </args>
+      <args> aux_gb[24] x[3][3..4] x[4][3] </args>
+    </group>
+  </constraints>
+</instance>
diff --git a/benchmarks/instances/AnotherMagicSquare-06_c23.xml b/benchmarks/instances/AnotherMagicSquare-06_c23.xml
@@ -0,0 +1,94 @@
+<instance format="XCSP3" type="CSP">
+  <variables>
+    <array id="x" note="x[i,j] is the value at row i and column j" size="[6][6]"> 1..36 </array>
+    <array id="aux_gb" note="aux_gb[i] is the ith auxiliary variable having been automatically introduced" size="[36]">
+      <domain for="aux_gb[0] aux_gb[5] aux_gb[30] aux_gb[35]"> 3..108 </domain>
+      <domain for="aux_gb[1..4] aux_gb[6] aux_gb[11..12] aux_gb[17..18] aux_gb[23..24] aux_gb[29] aux_gb[31..34]"> 5..180 </domain>
+      <domain for="aux_gb[7..10] aux_gb[13..16] aux_gb[19..22] aux_gb[25..28]"> 8..288 </domain>
+    </array>
+  </variables>
+  <constraints>
+    <allDifferent> x[][] </allDifferent>
+    <group note="ensuring that the numbers surrounding a number v add to a multiple of v">
+      <intension> eq(mod(%0,%1),0) </intension>
+      <args> aux_gb[0] x[0][0] </args>
+      <args> aux_gb[1] x[0][1] </args>
+      <args> aux_gb[2] x[0][2] </args>
+      <args> aux_gb[3] x[0][3] </args>
+      <args> aux_gb[4] x[0][4] </args>
+      <args> aux_gb[5] x[0][5] </args>
+      <args> aux_gb[6] x[1][0] </args>
+      <args> aux_gb[7] x[1][1] </args>
+      <args> aux_gb[8] x[1][2] </args>
+      <args> aux_gb[9] x[1][3] </args>
+      <args> aux_gb[10] x[1][4] </args>
+      <args> aux_gb[11] x[1][5] </args>
+      <args> aux_gb[12] x[2][0] </args>
+      <args> aux_gb[13] x[2][1] </args>
+      <args> aux_gb[14] x[2][2] </args>
+      <args> aux_gb[15] x[2][3] </args>
+      <args> aux_gb[16] x[2][4] </args>
+      <args> aux_gb[17] x[2][5] </args>
+      <args> aux_gb[18] x[3][0] </args>
+      <args> aux_gb[19] x[3][1] </args>
+      <args> aux_gb[20] x[3][2] </args>
+      <args> aux_gb[21] x[3][3] </args>
+      <args> aux_gb[22] x[3][4] </args>
+      <args> aux_gb[23] x[3][5] </args>
+      <args> aux_gb[24] x[4][0] </args>
+      <args> aux_gb[25] x[4][1] </args>
+      <args> aux_gb[26] x[4][2] </args>
+      <args> aux_gb[27] x[4][3] </args>
+      <args> aux_gb[28] x[4][4] </args>
+      <args> aux_gb[29] x[4][5] </args>
+      <args> aux_gb[30] x[5][0] </args>
+      <args> aux_gb[31] x[5][1] </args>
+      <args> aux_gb[32] x[5][2] </args>
+      <args> aux_gb[33] x[5][3] </args>
+      <args> aux_gb[34] x[5][4] </args>
+      <args> aux_gb[35] x[5][5] </args>
+    </group>
+    <group>
+      <sum>
+        <list> %... </list>
+        <condition> (eq,%0) </condition>
+      </sum>
+      <args> aux_gb[0] x[0][1] x[1][0..1] </args>
+      <args> aux_gb[1] x[0][0] x[0][2] x[1][0..2] </args>
+      <args> aux_gb[2] x[0][1] x[0][3] x[1][1..3] </args>
+      <args> aux_gb[3] x[0][2] x[0][4] x[1][2..4] </args>
+      <args> aux_gb[4] x[0][3] x[0][5] x[1][3..5] </args>
+      <args> aux_gb[5] x[0..1][4] x[1][5] </args>
+      <args> aux_gb[6] x[0][0..1] x[1][1] x[2][0..1] </args>
+      <args> aux_gb[7] x[0][0..2] x[1][0] x[1][2] x[2][0..2] </args>
+      <args> aux_gb[8] x[0][1..3] x[1][1] x[1][3] x[2][1..3] </args>
+      <args> aux_gb[9] x[0][2..4] x[1][2] x[1][4] x[2][2..4] </args>
+      <args> aux_gb[10] x[0][3..5] x[1][3] x[1][5] x[2][3..5] </args>
+      <args> aux_gb[11] x[0][4..5] x[1..2][4] x[2][5] </args>
+      <args> aux_gb[12] x[1][0..1] x[2][1] x[3][0..1] </args>
+      <args> aux_gb[13] x[1][0..2] x[2][0] x[2][2] x[3][0..2] </args>
+      <args> aux_gb[14] x[1][1..3] x[2][1] x[2][3] x[3][1..3] </args>
+      <args> aux_gb[15] x[1][2..4] x[2][2] x[2][4] x[3][2..4] </args>
+      <args> aux_gb[16] x[1][3..5] x[2][3] x[2][5] x[3][3..5] </args>
+      <args> aux_gb[17] x[1][4..5] x[2..3][4] x[3][5] </args>
+      <args> aux_gb[18] x[2][0..1] x[3][1] x[4][0..1] </args>
+      <args> aux_gb[19] x[2][0..2] x[3][0] x[3][2] x[4][0..2] </args>
+      <args> aux_gb[20] x[2][1..3] x[3][1] x[3][3] x[4][1..3] </args>
+      <args> aux_gb[21] x[2][2..4] x[3][2] x[3][4] x[4][2..4] </args>
+      <args> aux_gb[22] x[2][3..5] x[3][3] x[3][5] x[4][3..5] </args>
+      <args> aux_gb[23] x[2][4..5] x[3..4][4] x[4][5] </args>
+      <args> aux_gb[24] x[3][0..1] x[4][1] x[5][0..1] </args>
+      <args> aux_gb[25] x[3][0..2] x[4][0] x[4][2] x[5][0..2] </args>
+      <args> aux_gb[26] x[3][1..3] x[4][1] x[4][3] x[5][1..3] </args>
+      <args> aux_gb[27] x[3][2..4] x[4][2] x[4][4] x[5][2..4] </args>
+      <args> aux_gb[28] x[3][3..5] x[4][3] x[4][5] x[5][3..5] </args>
+      <args> aux_gb[29] x[3][4..5] x[4..5][4] x[5][5] </args>
+      <args> aux_gb[30] x[4][0..1] x[5][1] </args>
+      <args> aux_gb[31] x[4][0..2] x[5][0] x[5][2] </args>
+      <args> aux_gb[32] x[4][1..3] x[5][1] x[5][3] </args>
+      <args> aux_gb[33] x[4][2..4] x[5][2] x[5][4] </args>
+      <args> aux_gb[34] x[4][3..5] x[5][3] x[5][5] </args>
+      <args> aux_gb[35] x[4][4..5] x[5][4] </args>
+    </group>
+  </constraints>
+</instance>