Also a couple of clarifications:

The array{a:int,b:string} syntax (which originated in Psalm, later adopted by Phan) is currently invalid in PHPStan.

Psalm is the fastest of the three, as far as I’m aware. This will help you get it running as fast as possible: https://getpsalm.org/docs/running_psalm/#running-psalm-faster