Open badi95 opened 3 years ago
The message "Seeking plots took too long: # seconds!" is NORMAL priority, if # is greater than 120s which causes us to miss proofs the priority should be higher than NORMAL.
The message "Seeking plots took too long: # seconds!" is NORMAL priority, if # is greater than 120s which causes us to miss proofs the priority should be higher than NORMAL.