diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/simpl_is_type.res.oracle b/src/plugins/wp/tests/wp_acsl/oracle_qualif/simpl_is_type.res.oracle
index 32a5ec5a2b6965efd6307676984261a9ed5124da..6ed08cfe5dd63eadec44cff1527c99932378c7a6 100644
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/simpl_is_type.res.oracle
+++ b/src/plugins/wp/tests/wp_acsl/oracle_qualif/simpl_is_type.res.oracle
@@ -1,4 +1,4 @@
-# frama-c -wp [...]
+# frama-c -wp -wp-timeout 3 [...]
 [kernel] Parsing simpl_is_type.i (no preprocessing)
 [wp] Running WP plugin...
 [wp] [Valid] Goal check_acsl_exits (Cfg) (Unreachable)
diff --git a/src/plugins/wp/tests/wp_acsl/simpl_is_type.i b/src/plugins/wp/tests/wp_acsl/simpl_is_type.i
index 965fe5928e62e92673dca4c60b5c29cd10c80240..ad3c91098ebc9be622720a405b9483cd6ec8457e 100644
--- a/src/plugins/wp/tests/wp_acsl/simpl_is_type.i
+++ b/src/plugins/wp/tests/wp_acsl/simpl_is_type.i
@@ -3,7 +3,7 @@
 */
 
 /* run.config_qualif
-   OPT: -wp-simplify-is-cint -wp-prop=-ko,-lack
+   OPT: -wp-simplify-is-cint -wp-prop=-ko,-lack -wp-timeout 3
 */
 
 /** Tests the simplification of (forall x:int. P) into (forall
diff --git a/src/plugins/wp/tests/wp_typed/oracle_qualif/user_init.0.res.oracle b/src/plugins/wp/tests/wp_typed/oracle_qualif/user_init.0.res.oracle
index c9dc833ca04245d08acdc52079e390dd114f477e..3299adf20a915453632ed478e54ca2589c6aa819 100644
--- a/src/plugins/wp/tests/wp_typed/oracle_qualif/user_init.0.res.oracle
+++ b/src/plugins/wp/tests/wp_typed/oracle_qualif/user_init.0.res.oracle
@@ -1,4 +1,4 @@
-# frama-c -wp [...]
+# frama-c -wp -wp-timeout 4 [...]
 [kernel] Parsing user_init.i (no preprocessing)
 [wp] Running WP plugin...
 [wp] [Valid] Goal init_exits (Cfg) (Unreachable)
diff --git a/src/plugins/wp/tests/wp_typed/user_init.i b/src/plugins/wp/tests/wp_typed/user_init.i
index aed34f4502d136129c2145a521942107c0ee07f6..37891a304ee359938feca32215d1221c0e0a2e9c 100644
--- a/src/plugins/wp/tests/wp_typed/user_init.i
+++ b/src/plugins/wp/tests/wp_typed/user_init.i
@@ -1,6 +1,6 @@
 /* run.config_qualif
 
-   OPT: -wp-prop=-lack,-tactic
+   OPT: -wp-prop=-lack,-tactic -wp-timeout 4
    OPT: -wp-prop=tactic -wp-auto=wp:split,wp:range -wp-prover=tip,Alt-Ergo -wp-script dry
    OPT: -wp-prop=lack
  */