diff --git a/src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2471.0.res.oracle b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2471.0.res.oracle
index 98f1622798301b6a86bf3ca9aa6446ad1a45ebd8..496e2f0690073f685362bcf86099d58a7ae46d38 100644
--- a/src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2471.0.res.oracle
+++ b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2471.0.res.oracle
@@ -4,8 +4,9 @@
 [wp] Loading driver 'share/wp.driver'
 [wp] Warning: Missing RTE guards
 [wp] 1 goal scheduled
-[wp] [Failed] Goal typed_foo_assert_ko
+[wp] [Alt-Ergo 2.0.0] Goal typed_foo_assert_ko : Unsuccess
 [wp] Proved goals:    0 / 1
+  Alt-Ergo 2.0.0:    0  (unsuccess: 1)
 [wp] Report in:  'tests/wp_bts/oracle_qualif/bts_2471.0.report.json'
 [wp] Report out: 'tests/wp_bts/result_qualif/bts_2471.0.report.json'
 -------------------------------------------------------------
diff --git a/src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2471.0.session/cache/73ea306163d25a228b4586b8b98472f6.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2471.0.session/cache/73ea306163d25a228b4586b8b98472f6.json
new file mode 100644
index 0000000000000000000000000000000000000000..852d81aab273985772cb5b7d655f3f996ee7db5d
--- /dev/null
+++ b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2471.0.session/cache/73ea306163d25a228b4586b8b98472f6.json
@@ -0,0 +1 @@
+{ "prover": "why3:Alt-Ergo,2.0.0", "verdict": "timeout", "time": 1. }