summaryrefslogtreecommitdiff
path: root/prolog/runner/main.pl
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-28 14:10:31 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-28 14:10:31 +0100
commit3072efb05b460f8edcf1d9187a92e98e513ca421 (patch)
treee0a9310a5bfedd1c058a9947b4863f9dc469608b /prolog/runner/main.pl
parent575c459059d6f847eb49935f4680da1981a0dbaf (diff)
Increase thread pool size for Prolog runner
Diffstat (limited to 'prolog/runner/main.pl')
-rwxr-xr-xprolog/runner/main.pl2
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)]).