From 7a4946144a1862fb12be5d5c336c1c06dfc9bafe Mon Sep 17 00:00:00 2001
From: Nikhil Parasaram <nikhilparasaram@gmail.com>
Date: Mon, 21 Mar 2022 02:27:23 +0000
Subject: [PATCH] Change default execution time

---
 mythril/interfaces/cli.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mythril/interfaces/cli.py b/mythril/interfaces/cli.py
index d46729d7..ca2ad448 100644
--- a/mythril/interfaces/cli.py
+++ b/mythril/interfaces/cli.py
@@ -455,7 +455,7 @@ def create_safe_functions_parser(parser: ArgumentParser):
     options.add_argument(
         "--execution-timeout",
         type=int,
-        default=86400,
+        default=7200,
         help="The amount of seconds to spend on symbolic execution",
     )
     options.add_argument(