diff --git a/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.0.session/script/lemma_res_n.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.0.session/script/lemma_res_n.json
index ac78ca7305f4763d5fd6c105d3e9e4075a6736ac..c1f541d00af218c3a2c837305606b0681f1e9f7d 100644
--- a/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.0.session/script/lemma_res_n.json
+++ b/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.0.session/script/lemma_res_n.json
@@ -3,6 +3,6 @@
                 "target": "not (bit_test off_0 15)",
                 "pattern": "!bit_test$off15" },
     "children": { "Bit #15 (inf)": [ { "prover": "qed", "verdict": "valid" } ],
-                  "Bit #15 (sup)": [ { "prover": "Alt-Ergo:2.0.0",
-                                       "verdict": "valid", "time": 0.0203,
-                                       "steps": 21 } ] } } ]
+                  "Bit #15 (sup)": [ { "prover": "Alt-Ergo:2.2.0",
+                                       "verdict": "valid", "time": 0.0263,
+                                       "steps": 32 } ] } } ]
diff --git a/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.0.session/script/lemma_res_y.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.0.session/script/lemma_res_y.json
index 33e7209ad3158d6d4f71329229b8baae165cd394..95cf3e5f2953bc7ed7b6c9ad5939b20299677781 100644
--- a/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.0.session/script/lemma_res_y.json
+++ b/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.0.session/script/lemma_res_y.json
@@ -2,7 +2,7 @@
     "select": { "select": "inside-step", "at": 1, "kind": "have", "occur": 0,
                 "target": "(bit_test off_0 15)",
                 "pattern": "bit_test$off15" },
-    "children": { "Bit #15 (inf)": [ { "prover": "Alt-Ergo:2.0.0",
-                                       "verdict": "valid", "time": 0.0214,
-                                       "steps": 20 } ],
+    "children": { "Bit #15 (inf)": [ { "prover": "Alt-Ergo:2.2.0",
+                                       "verdict": "valid", "time": 0.0129,
+                                       "steps": 32 } ],
                   "Bit #15 (sup)": [ { "prover": "qed", "verdict": "valid" } ] } } ]