etc/options
changeset 51423 e5f9a6d9ca82
parent 51230 19192615911e
child 51553 63327f679cff
     1.1 --- a/etc/options	Wed Mar 13 17:15:25 2013 +0100
     1.2 +++ b/etc/options	Wed Mar 13 21:25:08 2013 +0100
     1.3 @@ -51,8 +51,10 @@
     1.4    -- "level of tracing information for multithreading"
     1.5  option parallel_proofs : int = 2
     1.6    -- "level of parallel proof checking: 0, 1, 2"
     1.7 -option parallel_proofs_threshold : int = 100
     1.8 -  -- "threshold for sub-proof parallelization"
     1.9 +option parallel_subproofs_saturation : int = 100
    1.10 +  -- "upper bound for forks of nested proofs (multiplied by worker threads)"
    1.11 +option parallel_subproofs_threshold : real = 0.01
    1.12 +  -- "lower bound of timing estimate for forked nested proofs (seconds)"
    1.13  option parallel_proofs_reuse_timing : bool = true
    1.14    -- "reuse timing information from old log file for parallel proof scheduling"
    1.15