n1!=n2:6 states - 0ms
 (n1!=n2&queta(n1,x))):81 states - 0ms
  ((n1!=n2&queta(n1,x)))&queta(n2,x))):1 states - 1ms
   (E n1 , n2 , x ((n1!=n2&queta(n1,x)))&queta(n2,x)))):1 states - 0ms
    ~(E n1 , n2 , x ((n1!=n2&queta(n1,x)))&queta(n2,x)))):1 states - 0ms
Total computation time: 1ms.