equal
deleted
inserted
replaced
74 public option parallel_proofs : int = 1 |
74 public option parallel_proofs : int = 1 |
75 -- "level of parallel proof checking: 0, 1, 2" |
75 -- "level of parallel proof checking: 0, 1, 2" |
76 option parallel_subproofs_threshold : real = 0.01 |
76 option parallel_subproofs_threshold : real = 0.01 |
77 -- "lower bound of timing estimate for forked nested proofs (seconds)" |
77 -- "lower bound of timing estimate for forked nested proofs (seconds)" |
78 |
78 |
79 option command_timing_threshold : real = 0.01 |
79 option command_timing_threshold : real = 0.1 |
80 -- "default threshold for persistent command timing (seconds)" |
80 -- "default threshold for persistent command timing (seconds)" |
81 |
81 |
82 |
82 |
83 section "Detail of Proof Checking" |
83 section "Detail of Proof Checking" |
84 |
84 |