Mentions légales du service
this allows to provide the time limit on the command of CVC4, and perhaps Z3 later.