diff options
Diffstat (limited to 'prolog/runner/main.pl')
-rwxr-xr-x | prolog/runner/main.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prolog/runner/main.pl b/prolog/runner/main.pl index 3c324c8..18d8f83 100755 --- a/prolog/runner/main.pl +++ b/prolog/runner/main.pl @@ -35,7 +35,7 @@ prolog:error_message(time_limit_exceeded) --> [ 'time limit exceeded' ]. :- set_setting(pengine_sandbox:time_limit, 5.0). -:- set_setting(pengine_sandbox:thread_pool_size, 50). +:- set_setting(pengine_sandbox:thread_pool_size, 500). % Load required predicates then disable autoloading. :- autoload([verbose(false)]). |