Start: f0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7, Arg_8
Temp_Vars:
Locations: f0, f19, f7
Transitions:
0:f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f7(30,30,1,0,2,Arg_5,Arg_6,Arg_7,Arg_8)
2:f7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f19(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_2,Arg_2,Arg_2):|:1+Arg_1<=Arg_4
1:f7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f7(Arg_0,Arg_1,Arg_2+Arg_3,Arg_2,Arg_4+1,Arg_2,Arg_6,Arg_7,Arg_8):|:Arg_4<=Arg_1
Eliminate variables {Arg_0,Arg_2,Arg_3,Arg_5,Arg_6,Arg_7,Arg_8} that do not contribute to the problem
Found invariant Arg_4<=31 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=61 && 31<=Arg_4 && 61<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && Arg_1<=30 && 30<=Arg_1 for location f19
Found invariant Arg_4<=31 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=61 && 2<=Arg_4 && 32<=Arg_1+Arg_4 && Arg_1<=28+Arg_4 && Arg_1<=30 && 30<=Arg_1 for location f7
Start: f0
Program_Vars: Arg_1, Arg_4
Temp_Vars:
Locations: f0, f19, f7
Transitions:
7:f0(Arg_1,Arg_4) -> f7(30,2)
9:f7(Arg_1,Arg_4) -> f19(Arg_1,Arg_4):|:Arg_4<=31 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=61 && 2<=Arg_4 && 32<=Arg_1+Arg_4 && Arg_1<=28+Arg_4 && Arg_1<=30 && 30<=Arg_1 && 1+Arg_1<=Arg_4
8:f7(Arg_1,Arg_4) -> f7(Arg_1,Arg_4+1):|:Arg_4<=31 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=61 && 2<=Arg_4 && 32<=Arg_1+Arg_4 && Arg_1<=28+Arg_4 && Arg_1<=30 && 30<=Arg_1 && Arg_4<=Arg_1
new bound:
34 {O(1)}
MPRF:
f7 [32-Arg_4 ]
Overall timebound:36 {O(1)}
7: f0->f7: 1 {O(1)}
8: f7->f7: 34 {O(1)}
9: f7->f19: 1 {O(1)}
Overall costbound: 36 {O(1)}
7: f0->f7: 1 {O(1)}
8: f7->f7: 34 {O(1)}
9: f7->f19: 1 {O(1)}
7: f0->f7, Arg_1: 30 {O(1)}
7: f0->f7, Arg_4: 2 {O(1)}
8: f7->f7, Arg_1: 30 {O(1)}
8: f7->f7, Arg_4: 31 {O(1)}
9: f7->f19, Arg_1: 30 {O(1)}
9: f7->f19, Arg_4: 31 {O(1)}