diff --git a/tests/value/oracle_apron/partitioning-annots.0.res.oracle b/tests/value/oracle_apron/partitioning-annots.0.res.oracle
new file mode 100644
index 0000000000000000000000000000000000000000..94ed9ffca14931983ca8b0fcfd773dae01006fe7
--- /dev/null
+++ b/tests/value/oracle_apron/partitioning-annots.0.res.oracle
@@ -0,0 +1,6 @@
+105,106c105,106
+<   x ∈ [0..44]
+<   y ∈ [0..44]
+---
+>   x ∈ [31..44]
+>   y ∈ [31..44]
diff --git a/tests/value/oracle_octagon/partitioning-annots.0.res.oracle b/tests/value/oracle_octagon/partitioning-annots.0.res.oracle
new file mode 100644
index 0000000000000000000000000000000000000000..cd64a1b908f4fcd56dac921a50c0bec490216e7e
--- /dev/null
+++ b/tests/value/oracle_octagon/partitioning-annots.0.res.oracle
@@ -0,0 +1,6 @@
+105,106c105,106
+<   x ∈ [0..44]
+<   y ∈ [0..44]
+---
+>   x ∈ {31; 32; 44}
+>   y ∈ {31; 32; 44}