diff --git a/tests/value/oracle_apron/multidim.res.oracle b/tests/value/oracle_apron/multidim.res.oracle
index 1002afddb9f7cdb7e089830942e80ae6d9262255..89bd56baa46f5d074acf97874916faac570f71d0 100644
--- a/tests/value/oracle_apron/multidim.res.oracle
+++ b/tests/value/oracle_apron/multidim.res.oracle
@@ -1,2 +1,2 @@
-4d3
+2d1
 < [eva:experimental] Warning: The multidim domain is experimental.
diff --git a/tests/value/oracle_equality/multidim.res.oracle b/tests/value/oracle_equality/multidim.res.oracle
index a5c41b1ac9f8f5f25fe0567c3fecd0cb6ea6ad3f..949bc2e8b3ac72296427a5ca325ec8ff49bb572a 100644
--- a/tests/value/oracle_equality/multidim.res.oracle
+++ b/tests/value/oracle_equality/multidim.res.oracle
@@ -1,18 +1,18 @@
-103a104
-> [kernel] multidim.c:65: more than 1(20) elements to enumerate. Approximating.
-105a107
+101a102
 > [kernel] multidim.c:66: more than 1(20) elements to enumerate. Approximating.
-107a110
-> [kernel] multidim.c:65: more than 1(28) elements to enumerate. Approximating.
-109a113
+103a105
+> [kernel] multidim.c:67: more than 1(20) elements to enumerate. Approximating.
+105a108
 > [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating.
-136,137d139
-< [kernel] multidim.c:65: more than 1(28) elements to enumerate. Approximating.
+107a111
+> [kernel] multidim.c:67: more than 1(28) elements to enumerate. Approximating.
+134,135d137
 < [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating.
-182a185
+< [kernel] multidim.c:67: more than 1(28) elements to enumerate. Approximating.
+180a183
 > [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating.
-184a188
+182a186
 > [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating.
-205,206d208
+203,204d206
 < [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating.
 < [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating.
diff --git a/tests/value/oracle_octagon/multidim.res.oracle b/tests/value/oracle_octagon/multidim.res.oracle
index a5c41b1ac9f8f5f25fe0567c3fecd0cb6ea6ad3f..949bc2e8b3ac72296427a5ca325ec8ff49bb572a 100644
--- a/tests/value/oracle_octagon/multidim.res.oracle
+++ b/tests/value/oracle_octagon/multidim.res.oracle
@@ -1,18 +1,18 @@
-103a104
-> [kernel] multidim.c:65: more than 1(20) elements to enumerate. Approximating.
-105a107
+101a102
 > [kernel] multidim.c:66: more than 1(20) elements to enumerate. Approximating.
-107a110
-> [kernel] multidim.c:65: more than 1(28) elements to enumerate. Approximating.
-109a113
+103a105
+> [kernel] multidim.c:67: more than 1(20) elements to enumerate. Approximating.
+105a108
 > [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating.
-136,137d139
-< [kernel] multidim.c:65: more than 1(28) elements to enumerate. Approximating.
+107a111
+> [kernel] multidim.c:67: more than 1(28) elements to enumerate. Approximating.
+134,135d137
 < [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating.
-182a185
+< [kernel] multidim.c:67: more than 1(28) elements to enumerate. Approximating.
+180a183
 > [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating.
-184a188
+182a186
 > [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating.
-205,206d208
+203,204d206
 < [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating.
 < [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating.
diff --git a/tests/value/oracle_symblocs/multidim.res.oracle b/tests/value/oracle_symblocs/multidim.res.oracle
index a5c41b1ac9f8f5f25fe0567c3fecd0cb6ea6ad3f..949bc2e8b3ac72296427a5ca325ec8ff49bb572a 100644
--- a/tests/value/oracle_symblocs/multidim.res.oracle
+++ b/tests/value/oracle_symblocs/multidim.res.oracle
@@ -1,18 +1,18 @@
-103a104
-> [kernel] multidim.c:65: more than 1(20) elements to enumerate. Approximating.
-105a107
+101a102
 > [kernel] multidim.c:66: more than 1(20) elements to enumerate. Approximating.
-107a110
-> [kernel] multidim.c:65: more than 1(28) elements to enumerate. Approximating.
-109a113
+103a105
+> [kernel] multidim.c:67: more than 1(20) elements to enumerate. Approximating.
+105a108
 > [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating.
-136,137d139
-< [kernel] multidim.c:65: more than 1(28) elements to enumerate. Approximating.
+107a111
+> [kernel] multidim.c:67: more than 1(28) elements to enumerate. Approximating.
+134,135d137
 < [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating.
-182a185
+< [kernel] multidim.c:67: more than 1(28) elements to enumerate. Approximating.
+180a183
 > [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating.
-184a188
+182a186
 > [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating.
-205,206d208
+203,204d206
 < [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating.
 < [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating.