(s+n)=t:16 states - 0ms
 (phin(n,t))&(s+n)=t):7 states - 0ms
  (E t (phin(n,t))&(s+n)=t)):6 states - 1ms
Total computation time: 1ms.