MAYBE * Step 1: UnsatPaths MAYBE + Considered Problem: Rules: 0. f5(A,B,C,D,E) -> f300(A,B,C,D,E) True (1,1) 1. f4(A,B,C,D,E) -> f300(A,B,1 + C,D,E) [A >= B] (?,1) 2. f4(A,B,C,D,E) -> f4(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] (?,1) 3. f4(A,B,C,D,E) -> f4(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] (?,1) 4. f4(A,B,C,D,E) -> f2(A,B,C,0,E) [B >= 1 + A] (?,1) 5. f2(A,B,C,D,E) -> f4(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] (?,1) 6. f2(A,B,C,D,E) -> f4(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] (?,1) 7. f2(A,B,C,D,E) -> f2(A,B,C,0,E) [B >= 1 + A] (?,1) 8. f300(A,B,C,D,E) -> f1(A,B,C,D,F) [C >= A] (?,1) 9. f300(A,B,C,D,E) -> f300(A,B,1 + C,D,E) [A >= 1 + C && A >= B] (?,1) 10. f300(A,B,C,D,E) -> f4(1 + A,B,C,F,E) [F >= 1 && A >= 1 + C && B >= 1 + A] (?,1) 11. f300(A,B,C,D,E) -> f4(1 + A,B,C,F,E) [0 >= 1 + F && A >= 1 + C && B >= 1 + A] (?,1) 12. f300(A,B,C,D,E) -> f2(A,B,C,0,E) [A >= 1 + C && B >= 1 + A] (?,1) Signature: {(f1,5);(f2,5);(f300,5);(f4,5);(f5,5)} Flow Graph: [0->{8,9,10,11,12},1->{8,9,10,11,12},2->{1,2,3,4},3->{1,2,3,4},4->{5,6,7},5->{1,2,3,4},6->{1,2,3,4},7->{5 ,6,7},8->{},9->{8,9,10,11,12},10->{1,2,3,4},11->{1,2,3,4},12->{5,6,7}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(1,10),(1,11),(1,12),(9,10),(9,11),(9,12)] * Step 2: FromIts MAYBE + Considered Problem: Rules: 0. f5(A,B,C,D,E) -> f300(A,B,C,D,E) True (1,1) 1. f4(A,B,C,D,E) -> f300(A,B,1 + C,D,E) [A >= B] (?,1) 2. f4(A,B,C,D,E) -> f4(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] (?,1) 3. f4(A,B,C,D,E) -> f4(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] (?,1) 4. f4(A,B,C,D,E) -> f2(A,B,C,0,E) [B >= 1 + A] (?,1) 5. f2(A,B,C,D,E) -> f4(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] (?,1) 6. f2(A,B,C,D,E) -> f4(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] (?,1) 7. f2(A,B,C,D,E) -> f2(A,B,C,0,E) [B >= 1 + A] (?,1) 8. f300(A,B,C,D,E) -> f1(A,B,C,D,F) [C >= A] (?,1) 9. f300(A,B,C,D,E) -> f300(A,B,1 + C,D,E) [A >= 1 + C && A >= B] (?,1) 10. f300(A,B,C,D,E) -> f4(1 + A,B,C,F,E) [F >= 1 && A >= 1 + C && B >= 1 + A] (?,1) 11. f300(A,B,C,D,E) -> f4(1 + A,B,C,F,E) [0 >= 1 + F && A >= 1 + C && B >= 1 + A] (?,1) 12. f300(A,B,C,D,E) -> f2(A,B,C,0,E) [A >= 1 + C && B >= 1 + A] (?,1) Signature: {(f1,5);(f2,5);(f300,5);(f4,5);(f5,5)} Flow Graph: [0->{8,9,10,11,12},1->{8,9},2->{1,2,3,4},3->{1,2,3,4},4->{5,6,7},5->{1,2,3,4},6->{1,2,3,4},7->{5,6,7} ,8->{},9->{8,9},10->{1,2,3,4},11->{1,2,3,4},12->{5,6,7}] + Applied Processor: FromIts + Details: () * Step 3: Unfold MAYBE + Considered Problem: Rules: f5(A,B,C,D,E) -> f300(A,B,C,D,E) True f4(A,B,C,D,E) -> f300(A,B,1 + C,D,E) [A >= B] f4(A,B,C,D,E) -> f4(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] f4(A,B,C,D,E) -> f4(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] f4(A,B,C,D,E) -> f2(A,B,C,0,E) [B >= 1 + A] f2(A,B,C,D,E) -> f4(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] f2(A,B,C,D,E) -> f4(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] f2(A,B,C,D,E) -> f2(A,B,C,0,E) [B >= 1 + A] f300(A,B,C,D,E) -> f1(A,B,C,D,F) [C >= A] f300(A,B,C,D,E) -> f300(A,B,1 + C,D,E) [A >= 1 + C && A >= B] f300(A,B,C,D,E) -> f4(1 + A,B,C,F,E) [F >= 1 && A >= 1 + C && B >= 1 + A] f300(A,B,C,D,E) -> f4(1 + A,B,C,F,E) [0 >= 1 + F && A >= 1 + C && B >= 1 + A] f300(A,B,C,D,E) -> f2(A,B,C,0,E) [A >= 1 + C && B >= 1 + A] Signature: {(f1,5);(f2,5);(f300,5);(f4,5);(f5,5)} Rule Graph: [0->{8,9,10,11,12},1->{8,9},2->{1,2,3,4},3->{1,2,3,4},4->{5,6,7},5->{1,2,3,4},6->{1,2,3,4},7->{5,6,7} ,8->{},9->{8,9},10->{1,2,3,4},11->{1,2,3,4},12->{5,6,7}] + Applied Processor: Unfold + Details: () * Step 4: AddSinks MAYBE + Considered Problem: Rules: f5.0(A,B,C,D,E) -> f300.8(A,B,C,D,E) True f5.0(A,B,C,D,E) -> f300.9(A,B,C,D,E) True f5.0(A,B,C,D,E) -> f300.10(A,B,C,D,E) True f5.0(A,B,C,D,E) -> f300.11(A,B,C,D,E) True f5.0(A,B,C,D,E) -> f300.12(A,B,C,D,E) True f4.1(A,B,C,D,E) -> f300.8(A,B,1 + C,D,E) [A >= B] f4.1(A,B,C,D,E) -> f300.9(A,B,1 + C,D,E) [A >= B] f4.2(A,B,C,D,E) -> f4.1(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] f4.2(A,B,C,D,E) -> f4.2(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] f4.2(A,B,C,D,E) -> f4.3(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] f4.2(A,B,C,D,E) -> f4.4(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] f4.3(A,B,C,D,E) -> f4.1(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] f4.3(A,B,C,D,E) -> f4.2(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] f4.3(A,B,C,D,E) -> f4.3(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] f4.3(A,B,C,D,E) -> f4.4(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] f4.4(A,B,C,D,E) -> f2.5(A,B,C,0,E) [B >= 1 + A] f4.4(A,B,C,D,E) -> f2.6(A,B,C,0,E) [B >= 1 + A] f4.4(A,B,C,D,E) -> f2.7(A,B,C,0,E) [B >= 1 + A] f2.5(A,B,C,D,E) -> f4.1(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] f2.5(A,B,C,D,E) -> f4.2(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] f2.5(A,B,C,D,E) -> f4.3(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] f2.5(A,B,C,D,E) -> f4.4(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] f2.6(A,B,C,D,E) -> f4.1(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] f2.6(A,B,C,D,E) -> f4.2(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] f2.6(A,B,C,D,E) -> f4.3(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] f2.6(A,B,C,D,E) -> f4.4(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] f2.7(A,B,C,D,E) -> f2.5(A,B,C,0,E) [B >= 1 + A] f2.7(A,B,C,D,E) -> f2.6(A,B,C,0,E) [B >= 1 + A] f2.7(A,B,C,D,E) -> f2.7(A,B,C,0,E) [B >= 1 + A] f300.8(A,B,C,D,E) -> f1.13(A,B,C,D,F) [C >= A] f300.9(A,B,C,D,E) -> f300.8(A,B,1 + C,D,E) [A >= 1 + C && A >= B] f300.9(A,B,C,D,E) -> f300.9(A,B,1 + C,D,E) [A >= 1 + C && A >= B] f300.10(A,B,C,D,E) -> f4.1(1 + A,B,C,F,E) [F >= 1 && A >= 1 + C && B >= 1 + A] f300.10(A,B,C,D,E) -> f4.2(1 + A,B,C,F,E) [F >= 1 && A >= 1 + C && B >= 1 + A] f300.10(A,B,C,D,E) -> f4.3(1 + A,B,C,F,E) [F >= 1 && A >= 1 + C && B >= 1 + A] f300.10(A,B,C,D,E) -> f4.4(1 + A,B,C,F,E) [F >= 1 && A >= 1 + C && B >= 1 + A] f300.11(A,B,C,D,E) -> f4.1(1 + A,B,C,F,E) [0 >= 1 + F && A >= 1 + C && B >= 1 + A] f300.11(A,B,C,D,E) -> f4.2(1 + A,B,C,F,E) [0 >= 1 + F && A >= 1 + C && B >= 1 + A] f300.11(A,B,C,D,E) -> f4.3(1 + A,B,C,F,E) [0 >= 1 + F && A >= 1 + C && B >= 1 + A] f300.11(A,B,C,D,E) -> f4.4(1 + A,B,C,F,E) [0 >= 1 + F && A >= 1 + C && B >= 1 + A] f300.12(A,B,C,D,E) -> f2.5(A,B,C,0,E) [A >= 1 + C && B >= 1 + A] f300.12(A,B,C,D,E) -> f2.6(A,B,C,0,E) [A >= 1 + C && B >= 1 + A] f300.12(A,B,C,D,E) -> f2.7(A,B,C,0,E) [A >= 1 + C && B >= 1 + A] Signature: {(f1.13,5) ;(f2.5,5) ;(f2.6,5) ;(f2.7,5) ;(f300.10,5) ;(f300.11,5) ;(f300.12,5) ;(f300.8,5) ;(f300.9,5) ;(f4.1,5) ;(f4.2,5) ;(f4.3,5) ;(f4.4,5) ;(f5.0,5)} Rule Graph: [0->{29},1->{30,31},2->{32,33,34,35},3->{36,37,38,39},4->{40,41,42},5->{29},6->{30,31},7->{5,6},8->{7,8,9 ,10},9->{11,12,13,14},10->{15,16,17},11->{5,6},12->{7,8,9,10},13->{11,12,13,14},14->{15,16,17},15->{18,19,20 ,21},16->{22,23,24,25},17->{26,27,28},18->{5,6},19->{7,8,9,10},20->{11,12,13,14},21->{15,16,17},22->{5,6} ,23->{7,8,9,10},24->{11,12,13,14},25->{15,16,17},26->{18,19,20,21},27->{22,23,24,25},28->{26,27,28},29->{} ,30->{29},31->{30,31},32->{5,6},33->{7,8,9,10},34->{11,12,13,14},35->{15,16,17},36->{5,6},37->{7,8,9,10} ,38->{11,12,13,14},39->{15,16,17},40->{18,19,20,21},41->{22,23,24,25},42->{26,27,28}] + Applied Processor: AddSinks + Details: () * Step 5: Failure MAYBE + Considered Problem: Rules: f5.0(A,B,C,D,E) -> f300.8(A,B,C,D,E) True f5.0(A,B,C,D,E) -> f300.9(A,B,C,D,E) True f5.0(A,B,C,D,E) -> f300.10(A,B,C,D,E) True f5.0(A,B,C,D,E) -> f300.11(A,B,C,D,E) True f5.0(A,B,C,D,E) -> f300.12(A,B,C,D,E) True f4.1(A,B,C,D,E) -> f300.8(A,B,1 + C,D,E) [A >= B] f4.1(A,B,C,D,E) -> f300.9(A,B,1 + C,D,E) [A >= B] f4.2(A,B,C,D,E) -> f4.1(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] f4.2(A,B,C,D,E) -> f4.2(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] f4.2(A,B,C,D,E) -> f4.3(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] f4.2(A,B,C,D,E) -> f4.4(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] f4.3(A,B,C,D,E) -> f4.1(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] f4.3(A,B,C,D,E) -> f4.2(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] f4.3(A,B,C,D,E) -> f4.3(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] f4.3(A,B,C,D,E) -> f4.4(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] f4.4(A,B,C,D,E) -> f2.5(A,B,C,0,E) [B >= 1 + A] f4.4(A,B,C,D,E) -> f2.6(A,B,C,0,E) [B >= 1 + A] f4.4(A,B,C,D,E) -> f2.7(A,B,C,0,E) [B >= 1 + A] f2.5(A,B,C,D,E) -> f4.1(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] f2.5(A,B,C,D,E) -> f4.2(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] f2.5(A,B,C,D,E) -> f4.3(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] f2.5(A,B,C,D,E) -> f4.4(1 + A,B,C,F,E) [F >= 1 && B >= 1 + A] f2.6(A,B,C,D,E) -> f4.1(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] f2.6(A,B,C,D,E) -> f4.2(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] f2.6(A,B,C,D,E) -> f4.3(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] f2.6(A,B,C,D,E) -> f4.4(1 + A,B,C,F,E) [0 >= 1 + F && B >= 1 + A] f2.7(A,B,C,D,E) -> f2.5(A,B,C,0,E) [B >= 1 + A] f2.7(A,B,C,D,E) -> f2.6(A,B,C,0,E) [B >= 1 + A] f2.7(A,B,C,D,E) -> f2.7(A,B,C,0,E) [B >= 1 + A] f300.8(A,B,C,D,E) -> f1.13(A,B,C,D,F) [C >= A] f300.9(A,B,C,D,E) -> f300.8(A,B,1 + C,D,E) [A >= 1 + C && A >= B] f300.9(A,B,C,D,E) -> f300.9(A,B,1 + C,D,E) [A >= 1 + C && A >= B] f300.10(A,B,C,D,E) -> f4.1(1 + A,B,C,F,E) [F >= 1 && A >= 1 + C && B >= 1 + A] f300.10(A,B,C,D,E) -> f4.2(1 + A,B,C,F,E) [F >= 1 && A >= 1 + C && B >= 1 + A] f300.10(A,B,C,D,E) -> f4.3(1 + A,B,C,F,E) [F >= 1 && A >= 1 + C && B >= 1 + A] f300.10(A,B,C,D,E) -> f4.4(1 + A,B,C,F,E) [F >= 1 && A >= 1 + C && B >= 1 + A] f300.11(A,B,C,D,E) -> f4.1(1 + A,B,C,F,E) [0 >= 1 + F && A >= 1 + C && B >= 1 + A] f300.11(A,B,C,D,E) -> f4.2(1 + A,B,C,F,E) [0 >= 1 + F && A >= 1 + C && B >= 1 + A] f300.11(A,B,C,D,E) -> f4.3(1 + A,B,C,F,E) [0 >= 1 + F && A >= 1 + C && B >= 1 + A] f300.11(A,B,C,D,E) -> f4.4(1 + A,B,C,F,E) [0 >= 1 + F && A >= 1 + C && B >= 1 + A] f300.12(A,B,C,D,E) -> f2.5(A,B,C,0,E) [A >= 1 + C && B >= 1 + A] f300.12(A,B,C,D,E) -> f2.6(A,B,C,0,E) [A >= 1 + C && B >= 1 + A] f300.12(A,B,C,D,E) -> f2.7(A,B,C,0,E) [A >= 1 + C && B >= 1 + A] f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True f1.13(A,B,C,D,E) -> exitus616(A,B,C,D,E) True Signature: {(exitus616,5) ;(f1.13,5) ;(f2.5,5) ;(f2.6,5) ;(f2.7,5) ;(f300.10,5) ;(f300.11,5) ;(f300.12,5) ;(f300.8,5) ;(f300.9,5) ;(f4.1,5) ;(f4.2,5) ;(f4.3,5) ;(f4.4,5) ;(f5.0,5)} Rule Graph: [0->{29},1->{30,31},2->{32,33,34,35},3->{36,37,38,39},4->{40,41,42},5->{29},6->{30,31},7->{5,6},8->{7,8,9 ,10},9->{11,12,13,14},10->{15,16,17},11->{5,6},12->{7,8,9,10},13->{11,12,13,14},14->{15,16,17},15->{18,19,20 ,21},16->{22,23,24,25},17->{26,27,28},18->{5,6},19->{7,8,9,10},20->{11,12,13,14},21->{15,16,17},22->{5,6} ,23->{7,8,9,10},24->{11,12,13,14},25->{15,16,17},26->{18,19,20,21},27->{22,23,24,25},28->{26,27,28},29->{43 ,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79 ,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111 ,112,113,114,115,116,117,118,119,120},30->{29},31->{30,31},32->{5,6},33->{7,8,9,10},34->{11,12,13,14} ,35->{15,16,17},36->{5,6},37->{7,8,9,10},38->{11,12,13,14},39->{15,16,17},40->{18,19,20,21},41->{22,23,24 ,25},42->{26,27,28}] + 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,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120] | +- p:[8,12,9,19,15,10,23,16,14,13,20,26,17,21,25,27,28,24] c: [8,9,10,12,13,14,15,16,17,19,20,21,23,24,25,26,27] | | | `- p:[28] c: [] | `- p:[31] c: [31] MAYBE