update tests related to #1078

chocoteam · Jan 30, 2024 · c90bf40 · c90bf40
1 parent 65c5b53
commit c90bf40
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/parsers/src/test/resources/xcsp/instances.csv b/parsers/src/test/resources/xcsp/instances.csv
@@ -41,7 +41,7 @@ basics;MagicSequence-008-co.xml.lzma;1;_;5;1
 basics;MagicSquare-4-table.xml.lzma;1;_;20;13
 basics;MagicSquare-6-mdd.xml.lzma;1;_;693;662
 basics;MagicSquare-6-sum.xml.lzma;1;_;960;928
-basics;Mapping-full2x2_mp3.xml.lzma;4;1100;1815;1722
+basics;Mapping-full2x2_mp3.xml.lzma;4;1100;2479;2391
 basics;Mario-easy-4.xml.lzma;4;545;1913;1883
 basics;MarketSplit-01.xml.lzma;1;_;1243457;1236746
 basics;MSPSP-easy_01.xml.lzma;7;26;248;235