ProVerifTools service is running.