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