MAYBE * Step 1: UnsatPaths MAYBE + Considered Problem: Rules: 0. f0(A,B,C,D,E,F,G,H,I) -> f9(0,1,1,0,0,J,G,H,I) [J >= 1] (1,1) 1. f9(A,B,C,D,E,F,G,H,I) -> f20(A,B,-1 + C,D,D,0,-2 + A,1,-2 + A) [A >= 3 && C >= 1 && D = E && F = 0] (?,1) 2. f9(A,B,C,D,E,F,G,H,I) -> f20(A,B,-1 + C,D,D,0,A,0,A) [2 >= A && C >= 1 && D = E && F = 0] (?,1) 3. f9(A,B,C,D,E,F,G,H,I) -> f20(0,1 + B,1 + B,D,D,J,G,H,I) [J >= 1 && A >= 3 && 0 >= C && D = E && F = 0] (?,1) 4. f9(A,B,C,D,E,F,G,H,I) -> f20(1 + A,1 + B,1 + B,D,D,J,G,H,I) [J >= 1 && 2 >= A && 0 >= C && D = E && F = 0] (?,1) 5. f9(A,B,C,D,E,F,G,H,I) -> f20(A,B,C,D,D,-1 + F,G,J,K) [0 >= 1 + F && D = E] (?,1) 6. f9(A,B,C,D,E,F,G,H,I) -> f20(A,B,C,D,D,-1 + F,G,J,K) [F >= 1 && D = E] (?,1) 7. f20(A,B,C,D,E,F,G,H,I) -> f32(A,B,C,0,E,F,G,H,0) [I = 0] (?,1) 8. f20(A,B,C,D,E,F,G,H,I) -> f32(A,B,C,1,E,F,G,H,I) [0 >= 1 + I] (?,1) 9. f20(A,B,C,D,E,F,G,H,I) -> f32(A,B,C,1,E,F,G,H,I) [I >= 1] (?,1) 10. f32(A,B,C,D,E,F,G,H,I) -> f9(A,B,C,D,0,F,G,0,I) [H = 0] (?,1) 11. f32(A,B,C,D,E,F,G,H,I) -> f9(A,B,C,D,1,F,G,H,I) [0 >= 1 + H] (?,1) 12. f32(A,B,C,D,E,F,G,H,I) -> f9(A,B,C,D,1,F,G,H,I) [H >= 1] (?,1) 13. f9(A,B,C,D,E,F,G,H,I) -> f38(A,B,C,D,E,F,G,H,I) [E >= 1 + D] (?,1) 14. f9(A,B,C,D,E,F,G,H,I) -> f38(A,B,C,D,E,F,G,H,I) [D >= 1 + E] (?,1) Signature: {(f0,9);(f20,9);(f32,9);(f38,9);(f9,9)} Flow Graph: [0->{1,2,3,4,5,6,13,14},1->{7,8,9},2->{7,8,9},3->{7,8,9},4->{7,8,9},5->{7,8,9},6->{7,8,9},7->{10,11,12} ,8->{10,11,12},9->{10,11,12},10->{1,2,3,4,5,6,13,14},11->{1,2,3,4,5,6,13,14},12->{1,2,3,4,5,6,13,14},13->{} ,14->{}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(0,1) ,(0,2) ,(0,3) ,(0,4) ,(0,5) ,(0,13) ,(0,14) ,(1,7) ,(1,8)] * Step 2: FromIts MAYBE + Considered Problem: Rules: 0. f0(A,B,C,D,E,F,G,H,I) -> f9(0,1,1,0,0,J,G,H,I) [J >= 1] (1,1) 1. f9(A,B,C,D,E,F,G,H,I) -> f20(A,B,-1 + C,D,D,0,-2 + A,1,-2 + A) [A >= 3 && C >= 1 && D = E && F = 0] (?,1) 2. f9(A,B,C,D,E,F,G,H,I) -> f20(A,B,-1 + C,D,D,0,A,0,A) [2 >= A && C >= 1 && D = E && F = 0] (?,1) 3. f9(A,B,C,D,E,F,G,H,I) -> f20(0,1 + B,1 + B,D,D,J,G,H,I) [J >= 1 && A >= 3 && 0 >= C && D = E && F = 0] (?,1) 4. f9(A,B,C,D,E,F,G,H,I) -> f20(1 + A,1 + B,1 + B,D,D,J,G,H,I) [J >= 1 && 2 >= A && 0 >= C && D = E && F = 0] (?,1) 5. f9(A,B,C,D,E,F,G,H,I) -> f20(A,B,C,D,D,-1 + F,G,J,K) [0 >= 1 + F && D = E] (?,1) 6. f9(A,B,C,D,E,F,G,H,I) -> f20(A,B,C,D,D,-1 + F,G,J,K) [F >= 1 && D = E] (?,1) 7. f20(A,B,C,D,E,F,G,H,I) -> f32(A,B,C,0,E,F,G,H,0) [I = 0] (?,1) 8. f20(A,B,C,D,E,F,G,H,I) -> f32(A,B,C,1,E,F,G,H,I) [0 >= 1 + I] (?,1) 9. f20(A,B,C,D,E,F,G,H,I) -> f32(A,B,C,1,E,F,G,H,I) [I >= 1] (?,1) 10. f32(A,B,C,D,E,F,G,H,I) -> f9(A,B,C,D,0,F,G,0,I) [H = 0] (?,1) 11. f32(A,B,C,D,E,F,G,H,I) -> f9(A,B,C,D,1,F,G,H,I) [0 >= 1 + H] (?,1) 12. f32(A,B,C,D,E,F,G,H,I) -> f9(A,B,C,D,1,F,G,H,I) [H >= 1] (?,1) 13. f9(A,B,C,D,E,F,G,H,I) -> f38(A,B,C,D,E,F,G,H,I) [E >= 1 + D] (?,1) 14. f9(A,B,C,D,E,F,G,H,I) -> f38(A,B,C,D,E,F,G,H,I) [D >= 1 + E] (?,1) Signature: {(f0,9);(f20,9);(f32,9);(f38,9);(f9,9)} Flow Graph: [0->{6},1->{9},2->{7,8,9},3->{7,8,9},4->{7,8,9},5->{7,8,9},6->{7,8,9},7->{10,11,12},8->{10,11,12},9->{10 ,11,12},10->{1,2,3,4,5,6,13,14},11->{1,2,3,4,5,6,13,14},12->{1,2,3,4,5,6,13,14},13->{},14->{}] + Applied Processor: FromIts + Details: () * Step 3: Unfold MAYBE + Considered Problem: Rules: f0(A,B,C,D,E,F,G,H,I) -> f9(0,1,1,0,0,J,G,H,I) [J >= 1] f9(A,B,C,D,E,F,G,H,I) -> f20(A,B,-1 + C,D,D,0,-2 + A,1,-2 + A) [A >= 3 && C >= 1 && D = E && F = 0] f9(A,B,C,D,E,F,G,H,I) -> f20(A,B,-1 + C,D,D,0,A,0,A) [2 >= A && C >= 1 && D = E && F = 0] f9(A,B,C,D,E,F,G,H,I) -> f20(0,1 + B,1 + B,D,D,J,G,H,I) [J >= 1 && A >= 3 && 0 >= C && D = E && F = 0] f9(A,B,C,D,E,F,G,H,I) -> f20(1 + A,1 + B,1 + B,D,D,J,G,H,I) [J >= 1 && 2 >= A && 0 >= C && D = E && F = 0] f9(A,B,C,D,E,F,G,H,I) -> f20(A,B,C,D,D,-1 + F,G,J,K) [0 >= 1 + F && D = E] f9(A,B,C,D,E,F,G,H,I) -> f20(A,B,C,D,D,-1 + F,G,J,K) [F >= 1 && D = E] f20(A,B,C,D,E,F,G,H,I) -> f32(A,B,C,0,E,F,G,H,0) [I = 0] f20(A,B,C,D,E,F,G,H,I) -> f32(A,B,C,1,E,F,G,H,I) [0 >= 1 + I] f20(A,B,C,D,E,F,G,H,I) -> f32(A,B,C,1,E,F,G,H,I) [I >= 1] f32(A,B,C,D,E,F,G,H,I) -> f9(A,B,C,D,0,F,G,0,I) [H = 0] f32(A,B,C,D,E,F,G,H,I) -> f9(A,B,C,D,1,F,G,H,I) [0 >= 1 + H] f32(A,B,C,D,E,F,G,H,I) -> f9(A,B,C,D,1,F,G,H,I) [H >= 1] f9(A,B,C,D,E,F,G,H,I) -> f38(A,B,C,D,E,F,G,H,I) [E >= 1 + D] f9(A,B,C,D,E,F,G,H,I) -> f38(A,B,C,D,E,F,G,H,I) [D >= 1 + E] Signature: {(f0,9);(f20,9);(f32,9);(f38,9);(f9,9)} Rule Graph: [0->{6},1->{9},2->{7,8,9},3->{7,8,9},4->{7,8,9},5->{7,8,9},6->{7,8,9},7->{10,11,12},8->{10,11,12},9->{10 ,11,12},10->{1,2,3,4,5,6,13,14},11->{1,2,3,4,5,6,13,14},12->{1,2,3,4,5,6,13,14},13->{},14->{}] + Applied Processor: Unfold + Details: () * Step 4: AddSinks MAYBE + Considered Problem: Rules: f0.0(A,B,C,D,E,F,G,H,I) -> f9.6(0,1,1,0,0,J,G,H,I) [J >= 1] f9.1(A,B,C,D,E,F,G,H,I) -> f20.9(A,B,-1 + C,D,D,0,-2 + A,1,-2 + A) [A >= 3 && C >= 1 && D = E && F = 0] f9.2(A,B,C,D,E,F,G,H,I) -> f20.7(A,B,-1 + C,D,D,0,A,0,A) [2 >= A && C >= 1 && D = E && F = 0] f9.2(A,B,C,D,E,F,G,H,I) -> f20.8(A,B,-1 + C,D,D,0,A,0,A) [2 >= A && C >= 1 && D = E && F = 0] f9.2(A,B,C,D,E,F,G,H,I) -> f20.9(A,B,-1 + C,D,D,0,A,0,A) [2 >= A && C >= 1 && D = E && F = 0] f9.3(A,B,C,D,E,F,G,H,I) -> f20.7(0,1 + B,1 + B,D,D,J,G,H,I) [J >= 1 && A >= 3 && 0 >= C && D = E && F = 0] f9.3(A,B,C,D,E,F,G,H,I) -> f20.8(0,1 + B,1 + B,D,D,J,G,H,I) [J >= 1 && A >= 3 && 0 >= C && D = E && F = 0] f9.3(A,B,C,D,E,F,G,H,I) -> f20.9(0,1 + B,1 + B,D,D,J,G,H,I) [J >= 1 && A >= 3 && 0 >= C && D = E && F = 0] f9.4(A,B,C,D,E,F,G,H,I) -> f20.7(1 + A,1 + B,1 + B,D,D,J,G,H,I) [J >= 1 && 2 >= A && 0 >= C && D = E && F = 0] f9.4(A,B,C,D,E,F,G,H,I) -> f20.8(1 + A,1 + B,1 + B,D,D,J,G,H,I) [J >= 1 && 2 >= A && 0 >= C && D = E && F = 0] f9.4(A,B,C,D,E,F,G,H,I) -> f20.9(1 + A,1 + B,1 + B,D,D,J,G,H,I) [J >= 1 && 2 >= A && 0 >= C && D = E && F = 0] f9.5(A,B,C,D,E,F,G,H,I) -> f20.7(A,B,C,D,D,-1 + F,G,J,K) [0 >= 1 + F && D = E] f9.5(A,B,C,D,E,F,G,H,I) -> f20.8(A,B,C,D,D,-1 + F,G,J,K) [0 >= 1 + F && D = E] f9.5(A,B,C,D,E,F,G,H,I) -> f20.9(A,B,C,D,D,-1 + F,G,J,K) [0 >= 1 + F && D = E] f9.6(A,B,C,D,E,F,G,H,I) -> f20.7(A,B,C,D,D,-1 + F,G,J,K) [F >= 1 && D = E] f9.6(A,B,C,D,E,F,G,H,I) -> f20.8(A,B,C,D,D,-1 + F,G,J,K) [F >= 1 && D = E] f9.6(A,B,C,D,E,F,G,H,I) -> f20.9(A,B,C,D,D,-1 + F,G,J,K) [F >= 1 && D = E] f20.7(A,B,C,D,E,F,G,H,I) -> f32.10(A,B,C,0,E,F,G,H,0) [I = 0] f20.7(A,B,C,D,E,F,G,H,I) -> f32.11(A,B,C,0,E,F,G,H,0) [I = 0] f20.7(A,B,C,D,E,F,G,H,I) -> f32.12(A,B,C,0,E,F,G,H,0) [I = 0] f20.8(A,B,C,D,E,F,G,H,I) -> f32.10(A,B,C,1,E,F,G,H,I) [0 >= 1 + I] f20.8(A,B,C,D,E,F,G,H,I) -> f32.11(A,B,C,1,E,F,G,H,I) [0 >= 1 + I] f20.8(A,B,C,D,E,F,G,H,I) -> f32.12(A,B,C,1,E,F,G,H,I) [0 >= 1 + I] f20.9(A,B,C,D,E,F,G,H,I) -> f32.10(A,B,C,1,E,F,G,H,I) [I >= 1] f20.9(A,B,C,D,E,F,G,H,I) -> f32.11(A,B,C,1,E,F,G,H,I) [I >= 1] f20.9(A,B,C,D,E,F,G,H,I) -> f32.12(A,B,C,1,E,F,G,H,I) [I >= 1] f32.10(A,B,C,D,E,F,G,H,I) -> f9.1(A,B,C,D,0,F,G,0,I) [H = 0] f32.10(A,B,C,D,E,F,G,H,I) -> f9.2(A,B,C,D,0,F,G,0,I) [H = 0] f32.10(A,B,C,D,E,F,G,H,I) -> f9.3(A,B,C,D,0,F,G,0,I) [H = 0] f32.10(A,B,C,D,E,F,G,H,I) -> f9.4(A,B,C,D,0,F,G,0,I) [H = 0] f32.10(A,B,C,D,E,F,G,H,I) -> f9.5(A,B,C,D,0,F,G,0,I) [H = 0] f32.10(A,B,C,D,E,F,G,H,I) -> f9.6(A,B,C,D,0,F,G,0,I) [H = 0] f32.10(A,B,C,D,E,F,G,H,I) -> f9.13(A,B,C,D,0,F,G,0,I) [H = 0] f32.10(A,B,C,D,E,F,G,H,I) -> f9.14(A,B,C,D,0,F,G,0,I) [H = 0] f32.11(A,B,C,D,E,F,G,H,I) -> f9.1(A,B,C,D,1,F,G,H,I) [0 >= 1 + H] f32.11(A,B,C,D,E,F,G,H,I) -> f9.2(A,B,C,D,1,F,G,H,I) [0 >= 1 + H] f32.11(A,B,C,D,E,F,G,H,I) -> f9.3(A,B,C,D,1,F,G,H,I) [0 >= 1 + H] f32.11(A,B,C,D,E,F,G,H,I) -> f9.4(A,B,C,D,1,F,G,H,I) [0 >= 1 + H] f32.11(A,B,C,D,E,F,G,H,I) -> f9.5(A,B,C,D,1,F,G,H,I) [0 >= 1 + H] f32.11(A,B,C,D,E,F,G,H,I) -> f9.6(A,B,C,D,1,F,G,H,I) [0 >= 1 + H] f32.11(A,B,C,D,E,F,G,H,I) -> f9.13(A,B,C,D,1,F,G,H,I) [0 >= 1 + H] f32.11(A,B,C,D,E,F,G,H,I) -> f9.14(A,B,C,D,1,F,G,H,I) [0 >= 1 + H] f32.12(A,B,C,D,E,F,G,H,I) -> f9.1(A,B,C,D,1,F,G,H,I) [H >= 1] f32.12(A,B,C,D,E,F,G,H,I) -> f9.2(A,B,C,D,1,F,G,H,I) [H >= 1] f32.12(A,B,C,D,E,F,G,H,I) -> f9.3(A,B,C,D,1,F,G,H,I) [H >= 1] f32.12(A,B,C,D,E,F,G,H,I) -> f9.4(A,B,C,D,1,F,G,H,I) [H >= 1] f32.12(A,B,C,D,E,F,G,H,I) -> f9.5(A,B,C,D,1,F,G,H,I) [H >= 1] f32.12(A,B,C,D,E,F,G,H,I) -> f9.6(A,B,C,D,1,F,G,H,I) [H >= 1] f32.12(A,B,C,D,E,F,G,H,I) -> f9.13(A,B,C,D,1,F,G,H,I) [H >= 1] f32.12(A,B,C,D,E,F,G,H,I) -> f9.14(A,B,C,D,1,F,G,H,I) [H >= 1] f9.13(A,B,C,D,E,F,G,H,I) -> f38.15(A,B,C,D,E,F,G,H,I) [E >= 1 + D] f9.14(A,B,C,D,E,F,G,H,I) -> f38.15(A,B,C,D,E,F,G,H,I) [D >= 1 + E] Signature: {(f0.0,9) ;(f20.7,9) ;(f20.8,9) ;(f20.9,9) ;(f32.10,9) ;(f32.11,9) ;(f32.12,9) ;(f38.15,9) ;(f9.1,9) ;(f9.13,9) ;(f9.14,9) ;(f9.2,9) ;(f9.3,9) ;(f9.4,9) ;(f9.5,9) ;(f9.6,9)} Rule Graph: [0->{14,15,16},1->{23,24,25},2->{17,18,19},3->{20,21,22},4->{23,24,25},5->{17,18,19},6->{20,21,22},7->{23 ,24,25},8->{17,18,19},9->{20,21,22},10->{23,24,25},11->{17,18,19},12->{20,21,22},13->{23,24,25},14->{17,18 ,19},15->{20,21,22},16->{23,24,25},17->{26,27,28,29,30,31,32,33},18->{34,35,36,37,38,39,40,41},19->{42,43,44 ,45,46,47,48,49},20->{26,27,28,29,30,31,32,33},21->{34,35,36,37,38,39,40,41},22->{42,43,44,45,46,47,48,49} ,23->{26,27,28,29,30,31,32,33},24->{34,35,36,37,38,39,40,41},25->{42,43,44,45,46,47,48,49},26->{1},27->{2,3 ,4},28->{5,6,7},29->{8,9,10},30->{11,12,13},31->{14,15,16},32->{50},33->{51},34->{1},35->{2,3,4},36->{5,6,7} ,37->{8,9,10},38->{11,12,13},39->{14,15,16},40->{50},41->{51},42->{1},43->{2,3,4},44->{5,6,7},45->{8,9,10} ,46->{11,12,13},47->{14,15,16},48->{50},49->{51},50->{},51->{}] + Applied Processor: AddSinks + Details: () * Step 5: Failure MAYBE + Considered Problem: Rules: f0.0(A,B,C,D,E,F,G,H,I) -> f9.6(0,1,1,0,0,J,G,H,I) [J >= 1] f9.1(A,B,C,D,E,F,G,H,I) -> f20.9(A,B,-1 + C,D,D,0,-2 + A,1,-2 + A) [A >= 3 && C >= 1 && D = E && F = 0] f9.2(A,B,C,D,E,F,G,H,I) -> f20.7(A,B,-1 + C,D,D,0,A,0,A) [2 >= A && C >= 1 && D = E && F = 0] f9.2(A,B,C,D,E,F,G,H,I) -> f20.8(A,B,-1 + C,D,D,0,A,0,A) [2 >= A && C >= 1 && D = E && F = 0] f9.2(A,B,C,D,E,F,G,H,I) -> f20.9(A,B,-1 + C,D,D,0,A,0,A) [2 >= A && C >= 1 && D = E && F = 0] f9.3(A,B,C,D,E,F,G,H,I) -> f20.7(0,1 + B,1 + B,D,D,J,G,H,I) [J >= 1 && A >= 3 && 0 >= C && D = E && F = 0] f9.3(A,B,C,D,E,F,G,H,I) -> f20.8(0,1 + B,1 + B,D,D,J,G,H,I) [J >= 1 && A >= 3 && 0 >= C && D = E && F = 0] f9.3(A,B,C,D,E,F,G,H,I) -> f20.9(0,1 + B,1 + B,D,D,J,G,H,I) [J >= 1 && A >= 3 && 0 >= C && D = E && F = 0] f9.4(A,B,C,D,E,F,G,H,I) -> f20.7(1 + A,1 + B,1 + B,D,D,J,G,H,I) [J >= 1 && 2 >= A && 0 >= C && D = E && F = 0] f9.4(A,B,C,D,E,F,G,H,I) -> f20.8(1 + A,1 + B,1 + B,D,D,J,G,H,I) [J >= 1 && 2 >= A && 0 >= C && D = E && F = 0] f9.4(A,B,C,D,E,F,G,H,I) -> f20.9(1 + A,1 + B,1 + B,D,D,J,G,H,I) [J >= 1 && 2 >= A && 0 >= C && D = E && F = 0] f9.5(A,B,C,D,E,F,G,H,I) -> f20.7(A,B,C,D,D,-1 + F,G,J,K) [0 >= 1 + F && D = E] f9.5(A,B,C,D,E,F,G,H,I) -> f20.8(A,B,C,D,D,-1 + F,G,J,K) [0 >= 1 + F && D = E] f9.5(A,B,C,D,E,F,G,H,I) -> f20.9(A,B,C,D,D,-1 + F,G,J,K) [0 >= 1 + F && D = E] f9.6(A,B,C,D,E,F,G,H,I) -> f20.7(A,B,C,D,D,-1 + F,G,J,K) [F >= 1 && D = E] f9.6(A,B,C,D,E,F,G,H,I) -> f20.8(A,B,C,D,D,-1 + F,G,J,K) [F >= 1 && D = E] f9.6(A,B,C,D,E,F,G,H,I) -> f20.9(A,B,C,D,D,-1 + F,G,J,K) [F >= 1 && D = E] f20.7(A,B,C,D,E,F,G,H,I) -> f32.10(A,B,C,0,E,F,G,H,0) [I = 0] f20.7(A,B,C,D,E,F,G,H,I) -> f32.11(A,B,C,0,E,F,G,H,0) [I = 0] f20.7(A,B,C,D,E,F,G,H,I) -> f32.12(A,B,C,0,E,F,G,H,0) [I = 0] f20.8(A,B,C,D,E,F,G,H,I) -> f32.10(A,B,C,1,E,F,G,H,I) [0 >= 1 + I] f20.8(A,B,C,D,E,F,G,H,I) -> f32.11(A,B,C,1,E,F,G,H,I) [0 >= 1 + I] f20.8(A,B,C,D,E,F,G,H,I) -> f32.12(A,B,C,1,E,F,G,H,I) [0 >= 1 + I] f20.9(A,B,C,D,E,F,G,H,I) -> f32.10(A,B,C,1,E,F,G,H,I) [I >= 1] f20.9(A,B,C,D,E,F,G,H,I) -> f32.11(A,B,C,1,E,F,G,H,I) [I >= 1] f20.9(A,B,C,D,E,F,G,H,I) -> f32.12(A,B,C,1,E,F,G,H,I) [I >= 1] f32.10(A,B,C,D,E,F,G,H,I) -> f9.1(A,B,C,D,0,F,G,0,I) [H = 0] f32.10(A,B,C,D,E,F,G,H,I) -> f9.2(A,B,C,D,0,F,G,0,I) [H = 0] f32.10(A,B,C,D,E,F,G,H,I) -> f9.3(A,B,C,D,0,F,G,0,I) [H = 0] f32.10(A,B,C,D,E,F,G,H,I) -> f9.4(A,B,C,D,0,F,G,0,I) [H = 0] f32.10(A,B,C,D,E,F,G,H,I) -> f9.5(A,B,C,D,0,F,G,0,I) [H = 0] f32.10(A,B,C,D,E,F,G,H,I) -> f9.6(A,B,C,D,0,F,G,0,I) [H = 0] f32.10(A,B,C,D,E,F,G,H,I) -> f9.13(A,B,C,D,0,F,G,0,I) [H = 0] f32.10(A,B,C,D,E,F,G,H,I) -> f9.14(A,B,C,D,0,F,G,0,I) [H = 0] f32.11(A,B,C,D,E,F,G,H,I) -> f9.1(A,B,C,D,1,F,G,H,I) [0 >= 1 + H] f32.11(A,B,C,D,E,F,G,H,I) -> f9.2(A,B,C,D,1,F,G,H,I) [0 >= 1 + H] f32.11(A,B,C,D,E,F,G,H,I) -> f9.3(A,B,C,D,1,F,G,H,I) [0 >= 1 + H] f32.11(A,B,C,D,E,F,G,H,I) -> f9.4(A,B,C,D,1,F,G,H,I) [0 >= 1 + H] f32.11(A,B,C,D,E,F,G,H,I) -> f9.5(A,B,C,D,1,F,G,H,I) [0 >= 1 + H] f32.11(A,B,C,D,E,F,G,H,I) -> f9.6(A,B,C,D,1,F,G,H,I) [0 >= 1 + H] f32.11(A,B,C,D,E,F,G,H,I) -> f9.13(A,B,C,D,1,F,G,H,I) [0 >= 1 + H] f32.11(A,B,C,D,E,F,G,H,I) -> f9.14(A,B,C,D,1,F,G,H,I) [0 >= 1 + H] f32.12(A,B,C,D,E,F,G,H,I) -> f9.1(A,B,C,D,1,F,G,H,I) [H >= 1] f32.12(A,B,C,D,E,F,G,H,I) -> f9.2(A,B,C,D,1,F,G,H,I) [H >= 1] f32.12(A,B,C,D,E,F,G,H,I) -> f9.3(A,B,C,D,1,F,G,H,I) [H >= 1] f32.12(A,B,C,D,E,F,G,H,I) -> f9.4(A,B,C,D,1,F,G,H,I) [H >= 1] f32.12(A,B,C,D,E,F,G,H,I) -> f9.5(A,B,C,D,1,F,G,H,I) [H >= 1] f32.12(A,B,C,D,E,F,G,H,I) -> f9.6(A,B,C,D,1,F,G,H,I) [H >= 1] f32.12(A,B,C,D,E,F,G,H,I) -> f9.13(A,B,C,D,1,F,G,H,I) [H >= 1] f32.12(A,B,C,D,E,F,G,H,I) -> f9.14(A,B,C,D,1,F,G,H,I) [H >= 1] f9.13(A,B,C,D,E,F,G,H,I) -> f38.15(A,B,C,D,E,F,G,H,I) [E >= 1 + D] f9.14(A,B,C,D,E,F,G,H,I) -> f38.15(A,B,C,D,E,F,G,H,I) [D >= 1 + E] f38.15(A,B,C,D,E,F,G,H,I) -> exitus616(A,B,C,D,E,F,G,H,I) True f38.15(A,B,C,D,E,F,G,H,I) -> exitus616(A,B,C,D,E,F,G,H,I) True f38.15(A,B,C,D,E,F,G,H,I) -> exitus616(A,B,C,D,E,F,G,H,I) True f38.15(A,B,C,D,E,F,G,H,I) -> exitus616(A,B,C,D,E,F,G,H,I) True f38.15(A,B,C,D,E,F,G,H,I) -> exitus616(A,B,C,D,E,F,G,H,I) True f38.15(A,B,C,D,E,F,G,H,I) -> exitus616(A,B,C,D,E,F,G,H,I) True Signature: {(exitus616,9) ;(f0.0,9) ;(f20.7,9) ;(f20.8,9) ;(f20.9,9) ;(f32.10,9) ;(f32.11,9) ;(f32.12,9) ;(f38.15,9) ;(f9.1,9) ;(f9.13,9) ;(f9.14,9) ;(f9.2,9) ;(f9.3,9) ;(f9.4,9) ;(f9.5,9) ;(f9.6,9)} Rule Graph: [0->{14,15,16},1->{23,24,25},2->{17,18,19},3->{20,21,22},4->{23,24,25},5->{17,18,19},6->{20,21,22},7->{23 ,24,25},8->{17,18,19},9->{20,21,22},10->{23,24,25},11->{17,18,19},12->{20,21,22},13->{23,24,25},14->{17,18 ,19},15->{20,21,22},16->{23,24,25},17->{26,27,28,29,30,31,32,33},18->{34,35,36,37,38,39,40,41},19->{42,43,44 ,45,46,47,48,49},20->{26,27,28,29,30,31,32,33},21->{34,35,36,37,38,39,40,41},22->{42,43,44,45,46,47,48,49} ,23->{26,27,28,29,30,31,32,33},24->{34,35,36,37,38,39,40,41},25->{42,43,44,45,46,47,48,49},26->{1},27->{2,3 ,4},28->{5,6,7},29->{8,9,10},30->{11,12,13},31->{14,15,16},32->{50},33->{51},34->{1},35->{2,3,4},36->{5,6,7} ,37->{8,9,10},38->{11,12,13},39->{14,15,16},40->{50},41->{51},42->{1},43->{2,3,4},44->{5,6,7},45->{8,9,10} ,46->{11,12,13},47->{14,15,16},48->{50},49->{51},50->{53,55,57},51->{52,54,56}] + Applied Processor: Decompose Greedy + Details: We construct a looptree: P: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57] | `- p:[14,31,17,2,27,20,3,35,18,5,28,23,1,26,34,21,6,36,24,4,43,19,8,29,37,45,22,9,12,30,38,46,25,7,44,10,13,16,39,47,15,11,42] c: [] MAYBE