chiadog icon indicating copy to clipboard operation
chiadog copied to clipboard

Published 20 hours ago • verified publisher icon martomi

Higher priority for seeking plots taking over 120s

Open badi95 opened this issue 2 years ago • 0 comments

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.

badi95 avatar Aug 16 '21 01:08 badi95