# HG changeset patch
# User wenzelm
# Date 1498078649 -7200
# Node ID 33f75974288788b90a3dfdf02ce15fbd717e57b4
# Parent  907720561c82fe130883e401fdb865110559bb16
tuned granularity of parallel tasks;

diff -r 907720561c82 -r 33f759742887 etc/options
--- a/etc/options	Wed Jun 21 22:04:20 2017 +0200
+++ b/etc/options	Wed Jun 21 22:57:29 2017 +0200
@@ -76,7 +76,7 @@
 option parallel_subproofs_threshold : real = 0.01
   -- "lower bound of timing estimate for forked nested proofs (seconds)"
 
-option command_timing_threshold : real = 0.01
+option command_timing_threshold : real = 0.1
   -- "default threshold for persistent command timing (seconds)"