We currently terminate Infer after 25 sec of CPU time.

But if anyone is interested in trying it for lager examples, I can recommend their Docker file: https://github.com/facebook/infer/tree/master/docker