equal
deleted
inserted
replaced
69 -- "maximum number of worker threads for prover process (0 = hardware max.)" |
69 -- "maximum number of worker threads for prover process (0 = hardware max.)" |
70 public option threads_trace : int = 0 |
70 public option threads_trace : int = 0 |
71 -- "level of tracing information for multithreading" |
71 -- "level of tracing information for multithreading" |
72 public option parallel_proofs : int = 2 |
72 public option parallel_proofs : int = 2 |
73 -- "level of parallel proof checking: 0, 1, 2" |
73 -- "level of parallel proof checking: 0, 1, 2" |
74 option parallel_subproofs_saturation : int = 100 |
|
75 -- "upper bound for forks of nested proofs (multiplied by worker threads)" |
|
76 option parallel_subproofs_threshold : real = 0.01 |
74 option parallel_subproofs_threshold : real = 0.01 |
77 -- "lower bound of timing estimate for forked nested proofs (seconds)" |
75 -- "lower bound of timing estimate for forked nested proofs (seconds)" |
78 |
76 |
79 |
77 |
80 section "Detail of Proof Checking" |
78 section "Detail of Proof Checking" |