--- a/etc/options Wed Mar 13 17:15:25 2013 +0100
+++ b/etc/options Wed Mar 13 21:25:08 2013 +0100
@@ -51,8 +51,10 @@
-- "level of tracing information for multithreading"
option parallel_proofs : int = 2
-- "level of parallel proof checking: 0, 1, 2"
-option parallel_proofs_threshold : int = 100
- -- "threshold for sub-proof parallelization"
+option parallel_subproofs_saturation : int = 100
+ -- "upper bound for forks of nested proofs (multiplied by worker threads)"
+option parallel_subproofs_threshold : real = 0.01
+ -- "lower bound of timing estimate for forked nested proofs (seconds)"
option parallel_proofs_reuse_timing : bool = true
-- "reuse timing information from old log file for parallel proof scheduling"