Start: n_f0
Program_Vars: Arg_0, Arg_1, Arg_2
Temp_Vars: NoDet0
Locations: n_f0, n_f5___1, n_f5___5, n_f7___2, n_f7___3, n_f7___4
Transitions:
0:n_f0(Arg_0,Arg_1,Arg_2) -> n_f5___5(Arg_0,0,Arg_2):|:128<=Arg_0
1:n_f0(Arg_0,Arg_1,Arg_2) -> n_f7___4(Arg_0,0,NoDet0):|:Arg_0<=127
2:n_f7___2(Arg_0,Arg_1,Arg_2) -> n_f5___1(Arg_0,Arg_1,Arg_2):|:Arg_1<=36 && 36<=Arg_1
3:n_f7___2(Arg_0,Arg_1,Arg_2) -> n_f7___2(Arg_0,Arg_1+1,Arg_2+1):|:Arg_1<=36 && Arg_1<=35
4:n_f7___3(Arg_0,Arg_1,Arg_2) -> n_f7___2(Arg_0,Arg_1+1,Arg_2+1):|:Arg_1<=35 && Arg_1<=35 && Arg_1<=36 && Arg_1<=35
5:n_f7___4(Arg_0,Arg_1,Arg_2) -> n_f7___3(Arg_0,Arg_1+1,Arg_2+1):|:Arg_1<=35 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=127 && Arg_1<=35 && Arg_1<=36 && Arg_1<=35
Eliminate variables {NoDet0,Arg_2} that do not contribute to the problem
Found invariant Arg_1<=0 && 128+Arg_1<=Arg_0 && 0<=Arg_1 && 128<=Arg_0+Arg_1 && 128<=Arg_0 for location n_f5___5
Found invariant Arg_1<=36 && Arg_0+Arg_1<=163 && 2<=Arg_1 && Arg_0<=125+Arg_1 && Arg_0<=127 for location n_f7___2
Found invariant Arg_1<=36 && Arg_0+Arg_1<=163 && 36<=Arg_1 && Arg_0<=91+Arg_1 && Arg_0<=127 for location n_f5___1
Found invariant Arg_1<=1 && Arg_0+Arg_1<=128 && 1<=Arg_1 && Arg_0<=126+Arg_1 && Arg_0<=127 for location n_f7___3
Found invariant Arg_1<=0 && Arg_0+Arg_1<=127 && 0<=Arg_1 && Arg_0<=127+Arg_1 && Arg_0<=127 for location n_f7___4
Start: n_f0
Program_Vars: Arg_0, Arg_1
Temp_Vars:
Locations: n_f0, n_f5___1, n_f5___5, n_f7___2, n_f7___3, n_f7___4
Transitions:
11:n_f0(Arg_0,Arg_1) -> n_f5___5(Arg_0,0):|:128<=Arg_0
12:n_f0(Arg_0,Arg_1) -> n_f7___4(Arg_0,0):|:Arg_0<=127
13:n_f7___2(Arg_0,Arg_1) -> n_f5___1(Arg_0,Arg_1):|:Arg_1<=36 && Arg_0+Arg_1<=163 && 2<=Arg_1 && Arg_0<=125+Arg_1 && Arg_0<=127 && Arg_1<=36 && 36<=Arg_1
14:n_f7___2(Arg_0,Arg_1) -> n_f7___2(Arg_0,Arg_1+1):|:Arg_1<=36 && Arg_0+Arg_1<=163 && 2<=Arg_1 && Arg_0<=125+Arg_1 && Arg_0<=127 && Arg_1<=36 && Arg_1<=35
15:n_f7___3(Arg_0,Arg_1) -> n_f7___2(Arg_0,Arg_1+1):|:Arg_1<=1 && Arg_0+Arg_1<=128 && 1<=Arg_1 && Arg_0<=126+Arg_1 && Arg_0<=127 && Arg_1<=35 && Arg_1<=35 && Arg_1<=36 && Arg_1<=35
16:n_f7___4(Arg_0,Arg_1) -> n_f7___3(Arg_0,Arg_1+1):|:Arg_1<=0 && Arg_0+Arg_1<=127 && 0<=Arg_1 && Arg_0<=127+Arg_1 && Arg_0<=127 && Arg_1<=35 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=127 && Arg_1<=35 && Arg_1<=36 && Arg_1<=35
new bound:
39 {O(1)}
MPRF:
n_f7___2 [37-Arg_1 ]
Overall timebound:44 {O(1)}
11: n_f0->n_f5___5: 1 {O(1)}
12: n_f0->n_f7___4: 1 {O(1)}
13: n_f7___2->n_f5___1: 1 {O(1)}
14: n_f7___2->n_f7___2: 39 {O(1)}
15: n_f7___3->n_f7___2: 1 {O(1)}
16: n_f7___4->n_f7___3: 1 {O(1)}
Overall costbound: 44 {O(1)}
11: n_f0->n_f5___5: 1 {O(1)}
12: n_f0->n_f7___4: 1 {O(1)}
13: n_f7___2->n_f5___1: 1 {O(1)}
14: n_f7___2->n_f7___2: 39 {O(1)}
15: n_f7___3->n_f7___2: 1 {O(1)}
16: n_f7___4->n_f7___3: 1 {O(1)}
11: n_f0->n_f5___5, Arg_0: Arg_0 {O(n)}
11: n_f0->n_f5___5, Arg_1: 0 {O(1)}
12: n_f0->n_f7___4, Arg_0: Arg_0 {O(n)}
12: n_f0->n_f7___4, Arg_1: 0 {O(1)}
13: n_f7___2->n_f5___1, Arg_0: Arg_0 {O(n)}
13: n_f7___2->n_f5___1, Arg_1: 36 {O(1)}
14: n_f7___2->n_f7___2, Arg_0: Arg_0 {O(n)}
14: n_f7___2->n_f7___2, Arg_1: 36 {O(1)}
15: n_f7___3->n_f7___2, Arg_0: Arg_0 {O(n)}
15: n_f7___3->n_f7___2, Arg_1: 2 {O(1)}
16: n_f7___4->n_f7___3, Arg_0: Arg_0 {O(n)}
16: n_f7___4->n_f7___3, Arg_1: 1 {O(1)}