let descr = "set the timeout (in s) for calls to the alt-ergo prover (default: 10)"