(E n queta(n,x))):2 states - 0ms
 (A x (E n queta(n,x)))):1 states - 1ms
Total computation time: 1ms.