n1<n2:6 states - 0ms
 n2<n3:6 states - 0ms
  (n1<n2&n2<n3):18 states - 0ms
   ((n1<n2&n2<n3)&h(n1,x))):55 states - 0ms
    (((n1<n2&n2<n3)&h(n1,x)))&h(n2,x))):22 states - 0ms
     ((((n1<n2&n2<n3)&h(n1,x)))&h(n2,x)))&h(n3,x))):1 states - 0ms
      (E n1 , n2 , n3 , x ((((n1<n2&n2<n3)&h(n1,x)))&h(n2,x)))&h(n3,x)))):1 states - 0ms
       ~(E n1 , n2 , n3 , x ((((n1<n2&n2<n3)&h(n1,x)))&h(n2,x)))&h(n3,x)))):1 states - 0ms
Total computation time: 0ms.