diff --git a/run-demo b/run-demo
index 0b47f73e90dd9e0ec5f5cbe80a9e7ae508824832..a3db30e6682f1483ccc66b79cc65d5222e82bb90 100755
--- a/run-demo
+++ b/run-demo
@@ -1 +1 @@
-./leon --timeout=5 --noLuckyTests $@
+./leon --timeout=10 --noLuckyTests $@