x!=y:6 states - 0ms
 (x!=y&quetb(n,x))):49 states - 0ms
  ((x!=y&quetb(n,x)))&quetb(n,y))):1 states - 1ms
   (E x , y ((x!=y&quetb(n,x)))&quetb(n,y)))):1 states - 0ms
    ~(E x , y ((x!=y&quetb(n,x)))&quetb(n,y)))):2 states - 0ms
     (A n ~(E x , y ((x!=y&quetb(n,x)))&quetb(n,y))))):1 states - 0ms
Total computation time: 1ms.