diff --git a/src/verification.ml b/src/verification.ml
index a8baac2f6028924cd8fa5b2e3810a0ceb607e5e9..fc561e3d4be7913f064706e3ce929a2b4a1397ab 100644
--- a/src/verification.ml
+++ b/src/verification.ml
@@ -11,8 +11,17 @@ let () = Language.register_nnet_support ()
 
 let create_env loadpath =
   let config = Autodetection.autodetect ~debug:true () in
-  let stdlib = Dirs.Sites.stdlib in
   let open Why3 in
+  let config =
+    let main = Whyconf.get_main config in
+    let dft_memlimit = 4000 (* 4 GB *) in
+    let main =
+      Whyconf.(
+        set_limits main (timelimit main) dft_memlimit (running_provers_max main))
+    in
+    Whyconf.set_main config main
+  in
+  let stdlib = Dirs.Sites.stdlib in
   ( Env.create_env
       (loadpath @ stdlib @ Whyconf.loadpath (Whyconf.get_main config)),
     config )
diff --git a/tests/bin/pyrat.py b/tests/bin/pyrat.py
old mode 100644
new mode 100755