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