TIME: 520


SCC: 15
=================================
Global Ranking Function: nat(1*B+ -1)

  HanoiR_solve(IIII)V(A,B,C,D,E) :- HanoiR_solve(IIII)V(F,G,H,I,J) [1*B>=2,1*A>=1,1*E+ -1*I=0,1*C+ -1*H=0,1*B+ -1*G=1,1*A+ -1*F=0,1*D+ -1*J=0]
  HanoiR_solve(IIII)V(A,B,C,D,E) :- HanoiR_solve(IIII)V(F,G,H,I,J) [1*B>=2,1*A>=1,1*D+ -1*I=0,1*E+ -1*H=0,1*B+ -1*G=1,1*A+ -1*F=0,1*C+ -1*J=0]
=================================