Change defaults

mythril/analysis/analysis_args.py

@@ -7,8 +7,8 @@ class AnalysisArgs(object, metaclass=Singleton):
     """
 
     def __init__(self):
-        self._loop_bound = 4
-        self._solver_timeout = 100000
+        self._loop_bound = 3
+        self._solver_timeout = 10000
 
     def set_loop_bound(self, loop_bound: int):
         if loop_bound is not None:

mythril/interfaces/cli.py

@@ -349,7 +349,7 @@ def create_analyzer_parser(analyzer_parser: ArgumentParser):
     options.add_argument(
         "--solver-timeout",
         type=int,
-        default=100000,
+        default=10000,
         help="The maximum amount of time(in milli seconds) the solver spends for queries from analysis modules",
     )
     options.add_argument(

mythril/interfaces/old_cli.py

@@ -216,7 +216,7 @@ def create_parser(parser: argparse.ArgumentParser) -> None:
     options.add_argument(
         "--solver-timeout",
         type=int,
-        default=100000,
+        default=10000,
         help="The maximum amount of time(in milli seconds) the solver spends for queries from analysis modules",
     )
     options.add_argument(