let
help =
Printf
.sprintf
"Set the timeout (in seconds) for provers (default: %d)."
default