HomeIsabelle/Phabricator

more generous timeout (25min CPU time);