Initial Problem
Start: evalsipma91start
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3
Temp_Vars:
Locations: evalsipma91bb11in, evalsipma91bb2in, evalsipma91bb3in, evalsipma91bb5in, evalsipma91bb8in, evalsipma91entryin, evalsipma91returnin, evalsipma91start, evalsipma91stop
Transitions:
6:evalsipma91bb11in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb5in(Arg_0,Arg_1,Arg_2,Arg_3):|:2<=Arg_0
7:evalsipma91bb11in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91returnin(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_0<=1
5:evalsipma91bb2in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb3in(Arg_0+1,Arg_1+11,Arg_2,Arg_3)
4:evalsipma91bb3in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb11in(Arg_0,Arg_1,Arg_2,Arg_3):|:101<=Arg_1
3:evalsipma91bb3in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb2in(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_1<=100
11:evalsipma91bb5in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb11in(Arg_0-1,Arg_1-10,Arg_2,Arg_3):|:111<=Arg_1 && Arg_0<=2 && 2<=Arg_0
8:evalsipma91bb5in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb8in(Arg_0,Arg_1,Arg_1-10,Arg_0-1):|:Arg_1<=110
9:evalsipma91bb5in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb8in(Arg_0,Arg_1,Arg_1-10,Arg_0-1):|:Arg_0<=1
10:evalsipma91bb5in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb8in(Arg_0,Arg_1,Arg_1-10,Arg_0-1):|:3<=Arg_0
12:evalsipma91bb8in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb11in(Arg_3,Arg_2+1,Arg_2,Arg_3):|:101<=Arg_2
13:evalsipma91bb8in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb11in(Arg_3,Arg_2+11,Arg_2,Arg_3):|:101<=Arg_2 && Arg_2<=100
14:evalsipma91bb8in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb11in(Arg_3+1,Arg_2+1,Arg_2,Arg_3):|:Arg_2<=100 && 101<=Arg_2
15:evalsipma91bb8in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb11in(Arg_3+1,Arg_2+11,Arg_2,Arg_3):|:Arg_2<=100
2:evalsipma91entryin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb3in(1,Arg_0,Arg_2,Arg_3):|:Arg_0<=100
1:evalsipma91entryin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91returnin(Arg_0,Arg_1,Arg_2,Arg_3):|:101<=Arg_0
16:evalsipma91returnin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91stop(Arg_0,Arg_1,Arg_2,Arg_3)
0:evalsipma91start(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91entryin(Arg_0,Arg_1,Arg_2,Arg_3)
Preprocessing
Cut unsatisfiable transition 9: evalsipma91bb5in->evalsipma91bb8in
Cut unsatisfiable transition 13: evalsipma91bb8in->evalsipma91bb11in
Cut unsatisfiable transition 14: evalsipma91bb8in->evalsipma91bb11in
Found invariant Arg_1<=111 && Arg_1<=109+Arg_0 && 101<=Arg_1 && 103<=Arg_0+Arg_1 && 2<=Arg_0 for location evalsipma91bb5in
Found invariant 1+Arg_3<=Arg_0 && 1<=Arg_3 && 92<=Arg_2+Arg_3 && Arg_2<=99+Arg_3 && 102<=Arg_1+Arg_3 && Arg_1<=109+Arg_3 && 3<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && Arg_2<=101 && 10+Arg_2<=Arg_1 && Arg_1+Arg_2<=212 && Arg_2<=98+Arg_0 && 91<=Arg_2 && 192<=Arg_1+Arg_2 && Arg_1<=10+Arg_2 && 93<=Arg_0+Arg_2 && Arg_1<=111 && Arg_1<=108+Arg_0 && 101<=Arg_1 && 103<=Arg_0+Arg_1 && 2<=Arg_0 for location evalsipma91bb8in
Found invariant 1<=Arg_0 for location evalsipma91returnin
Found invariant 1<=Arg_0 for location evalsipma91stop
Found invariant Arg_1<=100 && Arg_1<=99+Arg_0 && 1<=Arg_0 for location evalsipma91bb2in
Found invariant Arg_1<=111 && Arg_1<=109+Arg_0 && 1<=Arg_0 for location evalsipma91bb3in
Found invariant Arg_1<=111 && Arg_1<=109+Arg_0 && 101<=Arg_1 && 102<=Arg_0+Arg_1 && 1<=Arg_0 for location evalsipma91bb11in
Problem after Preprocessing
Start: evalsipma91start
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3
Temp_Vars:
Locations: evalsipma91bb11in, evalsipma91bb2in, evalsipma91bb3in, evalsipma91bb5in, evalsipma91bb8in, evalsipma91entryin, evalsipma91returnin, evalsipma91start, evalsipma91stop
Transitions:
6:evalsipma91bb11in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb5in(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_1<=111 && Arg_1<=109+Arg_0 && 101<=Arg_1 && 102<=Arg_0+Arg_1 && 1<=Arg_0 && 2<=Arg_0
7:evalsipma91bb11in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91returnin(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_1<=111 && Arg_1<=109+Arg_0 && 101<=Arg_1 && 102<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=1
5:evalsipma91bb2in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb3in(Arg_0+1,Arg_1+11,Arg_2,Arg_3):|:Arg_1<=100 && Arg_1<=99+Arg_0 && 1<=Arg_0
4:evalsipma91bb3in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb11in(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_1<=111 && Arg_1<=109+Arg_0 && 1<=Arg_0 && 101<=Arg_1
3:evalsipma91bb3in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb2in(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_1<=111 && Arg_1<=109+Arg_0 && 1<=Arg_0 && Arg_1<=100
11:evalsipma91bb5in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb11in(Arg_0-1,Arg_1-10,Arg_2,Arg_3):|:Arg_1<=111 && Arg_1<=109+Arg_0 && 101<=Arg_1 && 103<=Arg_0+Arg_1 && 2<=Arg_0 && 111<=Arg_1 && Arg_0<=2 && 2<=Arg_0
8:evalsipma91bb5in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb8in(Arg_0,Arg_1,Arg_1-10,Arg_0-1):|:Arg_1<=111 && Arg_1<=109+Arg_0 && 101<=Arg_1 && 103<=Arg_0+Arg_1 && 2<=Arg_0 && Arg_1<=110
10:evalsipma91bb5in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb8in(Arg_0,Arg_1,Arg_1-10,Arg_0-1):|:Arg_1<=111 && Arg_1<=109+Arg_0 && 101<=Arg_1 && 103<=Arg_0+Arg_1 && 2<=Arg_0 && 3<=Arg_0
12:evalsipma91bb8in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb11in(Arg_3,Arg_2+1,Arg_2,Arg_3):|:1+Arg_3<=Arg_0 && 1<=Arg_3 && 92<=Arg_2+Arg_3 && Arg_2<=99+Arg_3 && 102<=Arg_1+Arg_3 && Arg_1<=109+Arg_3 && 3<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && Arg_2<=101 && 10+Arg_2<=Arg_1 && Arg_1+Arg_2<=212 && Arg_2<=98+Arg_0 && 91<=Arg_2 && 192<=Arg_1+Arg_2 && Arg_1<=10+Arg_2 && 93<=Arg_0+Arg_2 && Arg_1<=111 && Arg_1<=108+Arg_0 && 101<=Arg_1 && 103<=Arg_0+Arg_1 && 2<=Arg_0 && 101<=Arg_2
15:evalsipma91bb8in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb11in(Arg_3+1,Arg_2+11,Arg_2,Arg_3):|:1+Arg_3<=Arg_0 && 1<=Arg_3 && 92<=Arg_2+Arg_3 && Arg_2<=99+Arg_3 && 102<=Arg_1+Arg_3 && Arg_1<=109+Arg_3 && 3<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && Arg_2<=101 && 10+Arg_2<=Arg_1 && Arg_1+Arg_2<=212 && Arg_2<=98+Arg_0 && 91<=Arg_2 && 192<=Arg_1+Arg_2 && Arg_1<=10+Arg_2 && 93<=Arg_0+Arg_2 && Arg_1<=111 && Arg_1<=108+Arg_0 && 101<=Arg_1 && 103<=Arg_0+Arg_1 && 2<=Arg_0 && Arg_2<=100
2:evalsipma91entryin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb3in(1,Arg_0,Arg_2,Arg_3):|:Arg_0<=100
1:evalsipma91entryin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91returnin(Arg_0,Arg_1,Arg_2,Arg_3):|:101<=Arg_0
16:evalsipma91returnin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91stop(Arg_0,Arg_1,Arg_2,Arg_3):|:1<=Arg_0
0:evalsipma91start(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91entryin(Arg_0,Arg_1,Arg_2,Arg_3)
MPRF for transition 5:evalsipma91bb2in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb3in(Arg_0+1,Arg_1+11,Arg_2,Arg_3):|:Arg_1<=100 && Arg_1<=99+Arg_0 && 1<=Arg_0 of depth 1:
new bound:
Arg_0+101 {O(n)}
MPRF:
evalsipma91bb3in [101-Arg_1 ]
evalsipma91bb2in [101-Arg_1 ]
MPRF for transition 3:evalsipma91bb3in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb2in(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_1<=111 && Arg_1<=109+Arg_0 && 1<=Arg_0 && Arg_1<=100 of depth 1:
new bound:
Arg_0+112 {O(n)}
MPRF:
evalsipma91bb3in [112-Arg_1 ]
evalsipma91bb2in [101-Arg_1 ]
MPRF for transition 6:evalsipma91bb11in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb5in(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_1<=111 && Arg_1<=109+Arg_0 && 101<=Arg_1 && 102<=Arg_0+Arg_1 && 1<=Arg_0 && 2<=Arg_0 of depth 1:
new bound:
11*Arg_0+1334 {O(n)}
MPRF:
evalsipma91bb5in [11*Arg_0+100-Arg_1 ]
evalsipma91bb8in [11*Arg_3+111-Arg_1 ]
evalsipma91bb11in [11*Arg_0+101-Arg_1 ]
MPRF for transition 8:evalsipma91bb5in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb8in(Arg_0,Arg_1,Arg_1-10,Arg_0-1):|:Arg_1<=111 && Arg_1<=109+Arg_0 && 101<=Arg_1 && 103<=Arg_0+Arg_1 && 2<=Arg_0 && Arg_1<=110 of depth 1:
new bound:
10*Arg_0+1222 {O(n)}
MPRF:
evalsipma91bb5in [10*Arg_0+91-Arg_1 ]
evalsipma91bb8in [10*Arg_3+100-Arg_1 ]
evalsipma91bb11in [10*Arg_0+91-Arg_1 ]
MPRF for transition 10:evalsipma91bb5in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb8in(Arg_0,Arg_1,Arg_1-10,Arg_0-1):|:Arg_1<=111 && Arg_1<=109+Arg_0 && 101<=Arg_1 && 103<=Arg_0+Arg_1 && 2<=Arg_0 && 3<=Arg_0 of depth 1:
new bound:
10*Arg_0+1213 {O(n)}
MPRF:
evalsipma91bb5in [10*Arg_0+82-Arg_1 ]
evalsipma91bb8in [10*Arg_0+71-Arg_2 ]
evalsipma91bb11in [10*Arg_0+82-Arg_1 ]
MPRF for transition 11:evalsipma91bb5in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb11in(Arg_0-1,Arg_1-10,Arg_2,Arg_3):|:Arg_1<=111 && Arg_1<=109+Arg_0 && 101<=Arg_1 && 103<=Arg_0+Arg_1 && 2<=Arg_0 && 111<=Arg_1 && Arg_0<=2 && 2<=Arg_0 of depth 1:
new bound:
10*Arg_0+1039 {O(n)}
MPRF:
evalsipma91bb5in [10*Arg_0-19 ]
evalsipma91bb8in [10*Arg_0-19 ]
evalsipma91bb11in [10*Arg_0-19 ]
MPRF for transition 12:evalsipma91bb8in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb11in(Arg_3,Arg_2+1,Arg_2,Arg_3):|:1+Arg_3<=Arg_0 && 1<=Arg_3 && 92<=Arg_2+Arg_3 && Arg_2<=99+Arg_3 && 102<=Arg_1+Arg_3 && Arg_1<=109+Arg_3 && 3<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && Arg_2<=101 && 10+Arg_2<=Arg_1 && Arg_1+Arg_2<=212 && Arg_2<=98+Arg_0 && 91<=Arg_2 && 192<=Arg_1+Arg_2 && Arg_1<=10+Arg_2 && 93<=Arg_0+Arg_2 && Arg_1<=111 && Arg_1<=108+Arg_0 && 101<=Arg_1 && 103<=Arg_0+Arg_1 && 2<=Arg_0 && 101<=Arg_2 of depth 1:
new bound:
Arg_0+103 {O(n)}
MPRF:
evalsipma91bb5in [Arg_0-1 ]
evalsipma91bb8in [Arg_3 ]
evalsipma91bb11in [Arg_0-1 ]
MPRF for transition 15:evalsipma91bb8in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalsipma91bb11in(Arg_3+1,Arg_2+11,Arg_2,Arg_3):|:1+Arg_3<=Arg_0 && 1<=Arg_3 && 92<=Arg_2+Arg_3 && Arg_2<=99+Arg_3 && 102<=Arg_1+Arg_3 && Arg_1<=109+Arg_3 && 3<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && Arg_2<=101 && 10+Arg_2<=Arg_1 && Arg_1+Arg_2<=212 && Arg_2<=98+Arg_0 && 91<=Arg_2 && 192<=Arg_1+Arg_2 && Arg_1<=10+Arg_2 && 93<=Arg_0+Arg_2 && Arg_1<=111 && Arg_1<=108+Arg_0 && 101<=Arg_1 && 103<=Arg_0+Arg_1 && 2<=Arg_0 && Arg_2<=100 of depth 1:
new bound:
10*Arg_0+1223 {O(n)}
MPRF:
evalsipma91bb5in [10*Arg_0+92-Arg_1 ]
evalsipma91bb8in [9*Arg_0+Arg_3+83-Arg_2 ]
evalsipma91bb11in [10*Arg_0+92-Arg_1 ]
All Bounds
Timebounds
Overall timebound:54*Arg_0+6353 {O(n)}
6: evalsipma91bb11in->evalsipma91bb5in: 11*Arg_0+1334 {O(n)}
7: evalsipma91bb11in->evalsipma91returnin: 1 {O(1)}
5: evalsipma91bb2in->evalsipma91bb3in: Arg_0+101 {O(n)}
3: evalsipma91bb3in->evalsipma91bb2in: Arg_0+112 {O(n)}
4: evalsipma91bb3in->evalsipma91bb11in: 1 {O(1)}
8: evalsipma91bb5in->evalsipma91bb8in: 10*Arg_0+1222 {O(n)}
10: evalsipma91bb5in->evalsipma91bb8in: 10*Arg_0+1213 {O(n)}
11: evalsipma91bb5in->evalsipma91bb11in: 10*Arg_0+1039 {O(n)}
12: evalsipma91bb8in->evalsipma91bb11in: Arg_0+103 {O(n)}
15: evalsipma91bb8in->evalsipma91bb11in: 10*Arg_0+1223 {O(n)}
1: evalsipma91entryin->evalsipma91returnin: 1 {O(1)}
2: evalsipma91entryin->evalsipma91bb3in: 1 {O(1)}
16: evalsipma91returnin->evalsipma91stop: 1 {O(1)}
0: evalsipma91start->evalsipma91entryin: 1 {O(1)}
Costbounds
Overall costbound: 54*Arg_0+6353 {O(n)}
6: evalsipma91bb11in->evalsipma91bb5in: 11*Arg_0+1334 {O(n)}
7: evalsipma91bb11in->evalsipma91returnin: 1 {O(1)}
5: evalsipma91bb2in->evalsipma91bb3in: Arg_0+101 {O(n)}
3: evalsipma91bb3in->evalsipma91bb2in: Arg_0+112 {O(n)}
4: evalsipma91bb3in->evalsipma91bb11in: 1 {O(1)}
8: evalsipma91bb5in->evalsipma91bb8in: 10*Arg_0+1222 {O(n)}
10: evalsipma91bb5in->evalsipma91bb8in: 10*Arg_0+1213 {O(n)}
11: evalsipma91bb5in->evalsipma91bb11in: 10*Arg_0+1039 {O(n)}
12: evalsipma91bb8in->evalsipma91bb11in: Arg_0+103 {O(n)}
15: evalsipma91bb8in->evalsipma91bb11in: 10*Arg_0+1223 {O(n)}
1: evalsipma91entryin->evalsipma91returnin: 1 {O(1)}
2: evalsipma91entryin->evalsipma91bb3in: 1 {O(1)}
16: evalsipma91returnin->evalsipma91stop: 1 {O(1)}
0: evalsipma91start->evalsipma91entryin: 1 {O(1)}
Sizebounds
6: evalsipma91bb11in->evalsipma91bb5in, Arg_0: Arg_0+102 {O(n)}
6: evalsipma91bb11in->evalsipma91bb5in, Arg_1: 111 {O(1)}
6: evalsipma91bb11in->evalsipma91bb5in, Arg_2: Arg_2+201 {O(n)}
6: evalsipma91bb11in->evalsipma91bb5in, Arg_3: 3*Arg_0+Arg_3+306 {O(n)}
7: evalsipma91bb11in->evalsipma91returnin, Arg_0: 1 {O(1)}
7: evalsipma91bb11in->evalsipma91returnin, Arg_1: 110 {O(1)}
7: evalsipma91bb11in->evalsipma91returnin, Arg_2: 2*Arg_2+201 {O(n)}
7: evalsipma91bb11in->evalsipma91returnin, Arg_3: 2*Arg_3+3*Arg_0+306 {O(n)}
5: evalsipma91bb2in->evalsipma91bb3in, Arg_0: Arg_0+102 {O(n)}
5: evalsipma91bb2in->evalsipma91bb3in, Arg_1: 12*Arg_0+1111 {O(n)}
5: evalsipma91bb2in->evalsipma91bb3in, Arg_2: Arg_2 {O(n)}
5: evalsipma91bb2in->evalsipma91bb3in, Arg_3: Arg_3 {O(n)}
3: evalsipma91bb3in->evalsipma91bb2in, Arg_0: Arg_0+102 {O(n)}
3: evalsipma91bb3in->evalsipma91bb2in, Arg_1: 12*Arg_0+1111 {O(n)}
3: evalsipma91bb3in->evalsipma91bb2in, Arg_2: Arg_2 {O(n)}
3: evalsipma91bb3in->evalsipma91bb2in, Arg_3: Arg_3 {O(n)}
4: evalsipma91bb3in->evalsipma91bb11in, Arg_0: Arg_0+102 {O(n)}
4: evalsipma91bb3in->evalsipma91bb11in, Arg_1: 111 {O(1)}
4: evalsipma91bb3in->evalsipma91bb11in, Arg_2: Arg_2 {O(n)}
4: evalsipma91bb3in->evalsipma91bb11in, Arg_3: Arg_3 {O(n)}
8: evalsipma91bb5in->evalsipma91bb8in, Arg_0: Arg_0+102 {O(n)}
8: evalsipma91bb5in->evalsipma91bb8in, Arg_1: 110 {O(1)}
8: evalsipma91bb5in->evalsipma91bb8in, Arg_2: 100 {O(1)}
8: evalsipma91bb5in->evalsipma91bb8in, Arg_3: Arg_0+102 {O(n)}
10: evalsipma91bb5in->evalsipma91bb8in, Arg_0: Arg_0+102 {O(n)}
10: evalsipma91bb5in->evalsipma91bb8in, Arg_1: 111 {O(1)}
10: evalsipma91bb5in->evalsipma91bb8in, Arg_2: 101 {O(1)}
10: evalsipma91bb5in->evalsipma91bb8in, Arg_3: Arg_0+102 {O(n)}
11: evalsipma91bb5in->evalsipma91bb11in, Arg_0: 1 {O(1)}
11: evalsipma91bb5in->evalsipma91bb11in, Arg_1: 101 {O(1)}
11: evalsipma91bb5in->evalsipma91bb11in, Arg_2: Arg_2+201 {O(n)}
11: evalsipma91bb5in->evalsipma91bb11in, Arg_3: 3*Arg_0+Arg_3+306 {O(n)}
12: evalsipma91bb8in->evalsipma91bb11in, Arg_0: Arg_0+102 {O(n)}
12: evalsipma91bb8in->evalsipma91bb11in, Arg_1: 102 {O(1)}
12: evalsipma91bb8in->evalsipma91bb11in, Arg_2: 101 {O(1)}
12: evalsipma91bb8in->evalsipma91bb11in, Arg_3: Arg_0+102 {O(n)}
15: evalsipma91bb8in->evalsipma91bb11in, Arg_0: Arg_0+102 {O(n)}
15: evalsipma91bb8in->evalsipma91bb11in, Arg_1: 111 {O(1)}
15: evalsipma91bb8in->evalsipma91bb11in, Arg_2: 100 {O(1)}
15: evalsipma91bb8in->evalsipma91bb11in, Arg_3: 2*Arg_0+204 {O(n)}
1: evalsipma91entryin->evalsipma91returnin, Arg_0: Arg_0 {O(n)}
1: evalsipma91entryin->evalsipma91returnin, Arg_1: Arg_1 {O(n)}
1: evalsipma91entryin->evalsipma91returnin, Arg_2: Arg_2 {O(n)}
1: evalsipma91entryin->evalsipma91returnin, Arg_3: Arg_3 {O(n)}
2: evalsipma91entryin->evalsipma91bb3in, Arg_0: 1 {O(1)}
2: evalsipma91entryin->evalsipma91bb3in, Arg_1: Arg_0 {O(n)}
2: evalsipma91entryin->evalsipma91bb3in, Arg_2: Arg_2 {O(n)}
2: evalsipma91entryin->evalsipma91bb3in, Arg_3: Arg_3 {O(n)}
16: evalsipma91returnin->evalsipma91stop, Arg_0: Arg_0+1 {O(n)}
16: evalsipma91returnin->evalsipma91stop, Arg_1: Arg_1+110 {O(n)}
16: evalsipma91returnin->evalsipma91stop, Arg_2: 3*Arg_2+201 {O(n)}
16: evalsipma91returnin->evalsipma91stop, Arg_3: 3*Arg_0+3*Arg_3+306 {O(n)}
0: evalsipma91start->evalsipma91entryin, Arg_0: Arg_0 {O(n)}
0: evalsipma91start->evalsipma91entryin, Arg_1: Arg_1 {O(n)}
0: evalsipma91start->evalsipma91entryin, Arg_2: Arg_2 {O(n)}
0: evalsipma91start->evalsipma91entryin, Arg_3: Arg_3 {O(n)}