We currently terminate Infer after 25 sec of CPU time.<p>But if anyone is interested in trying it for lager examples, I can recommend their Docker file: <a href="https:&#x2F;&#x2F;github.com&#x2F;facebook&#x2F;infer&#x2F;tree&#x2F;master&#x2F;docker" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;facebook&#x2F;infer&#x2F;tree&#x2F;master&#x2F;docker</a>