HomeIsabelle/Phabricator

tuned timeouts, based on test runs with threads=1;