Initial Problem

Start: evalspeedFails4start
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3
Temp_Vars:
Locations: evalspeedFails4bb3in, evalspeedFails4bb4in, evalspeedFails4bb5in, evalspeedFails4bb6in, evalspeedFails4entryin, evalspeedFails4returnin, evalspeedFails4start, evalspeedFails4stop
Transitions:
5:evalspeedFails4bb3in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4bb4in(Arg_0,Arg_1,Arg_2,Arg_3):|:1<=Arg_2
6:evalspeedFails4bb3in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4bb5in(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_2<=0
7:evalspeedFails4bb4in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4bb6in(Arg_0,Arg_1,Arg_2,Arg_3+Arg_0)
8:evalspeedFails4bb5in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4bb6in(Arg_0,Arg_1,Arg_2,Arg_3-Arg_0)
3:evalspeedFails4bb6in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4bb3in(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=Arg_1
4:evalspeedFails4bb6in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4returnin(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_1+1<=Arg_3
1:evalspeedFails4entryin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4bb6in(1,Arg_2,Arg_0,Arg_1):|:1<=Arg_0
2:evalspeedFails4entryin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4bb6in(-1,Arg_2,Arg_0,Arg_1):|:Arg_0<=0
9:evalspeedFails4returnin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4stop(Arg_0,Arg_1,Arg_2,Arg_3)
0:evalspeedFails4start(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4entryin(Arg_0,Arg_1,Arg_2,Arg_3)

Preprocessing

Found invariant Arg_3<=Arg_1 && Arg_0<=1 && 0<=1+Arg_0 for location evalspeedFails4bb3in

Found invariant Arg_0<=1 && 0<=1+Arg_0 for location evalspeedFails4bb6in

Found invariant Arg_3<=Arg_1 && Arg_2<=0 && Arg_2<=1+Arg_0 && Arg_0+Arg_2<=1 && Arg_0<=1 && 0<=1+Arg_0 for location evalspeedFails4bb5in

Found invariant Arg_3<=Arg_1 && 1<=Arg_2 && 0<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=1 && 0<=1+Arg_0 for location evalspeedFails4bb4in

Found invariant 1+Arg_1<=Arg_3 && Arg_0<=1 && 0<=1+Arg_0 for location evalspeedFails4returnin

Found invariant 1+Arg_1<=Arg_3 && Arg_0<=1 && 0<=1+Arg_0 for location evalspeedFails4stop

Problem after Preprocessing

Start: evalspeedFails4start
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3
Temp_Vars:
Locations: evalspeedFails4bb3in, evalspeedFails4bb4in, evalspeedFails4bb5in, evalspeedFails4bb6in, evalspeedFails4entryin, evalspeedFails4returnin, evalspeedFails4start, evalspeedFails4stop
Transitions:
5:evalspeedFails4bb3in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4bb4in(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=Arg_1 && Arg_0<=1 && 0<=1+Arg_0 && 1<=Arg_2
6:evalspeedFails4bb3in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4bb5in(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=Arg_1 && Arg_0<=1 && 0<=1+Arg_0 && Arg_2<=0
7:evalspeedFails4bb4in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4bb6in(Arg_0,Arg_1,Arg_2,Arg_3+Arg_0):|:Arg_3<=Arg_1 && 1<=Arg_2 && 0<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=1 && 0<=1+Arg_0
8:evalspeedFails4bb5in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4bb6in(Arg_0,Arg_1,Arg_2,Arg_3-Arg_0):|:Arg_3<=Arg_1 && Arg_2<=0 && Arg_2<=1+Arg_0 && Arg_0+Arg_2<=1 && Arg_0<=1 && 0<=1+Arg_0
3:evalspeedFails4bb6in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4bb3in(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_0<=1 && 0<=1+Arg_0 && Arg_3<=Arg_1
4:evalspeedFails4bb6in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4returnin(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_0<=1 && 0<=1+Arg_0 && Arg_1+1<=Arg_3
1:evalspeedFails4entryin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4bb6in(1,Arg_2,Arg_0,Arg_1):|:1<=Arg_0
2:evalspeedFails4entryin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4bb6in(-1,Arg_2,Arg_0,Arg_1):|:Arg_0<=0
9:evalspeedFails4returnin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4stop(Arg_0,Arg_1,Arg_2,Arg_3):|:1+Arg_1<=Arg_3 && Arg_0<=1 && 0<=1+Arg_0
0:evalspeedFails4start(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4entryin(Arg_0,Arg_1,Arg_2,Arg_3)

Analysing control-flow refined program

Found invariant Arg_0<=1 && 0<=1+Arg_0 for location evalspeedFails4bb6in

Found invariant 1+Arg_1<=Arg_3 && Arg_0<=1 && 0<=1+Arg_0 for location evalspeedFails4returnin

Found invariant Arg_3<=Arg_1 && 1<=Arg_2 && 2<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=1 && 1<=Arg_0 for location n_evalspeedFails4bb3in___6

Found invariant Arg_3<=Arg_1 && Arg_2<=0 && Arg_2<=1+Arg_0 && 1+Arg_0+Arg_2<=0 && 1+Arg_0<=0 && 0<=1+Arg_0 for location n_evalspeedFails4bb5in___2

Found invariant Arg_3<=1+Arg_1 && Arg_2<=0 && Arg_2<=1+Arg_0 && 1+Arg_0+Arg_2<=0 && 1+Arg_0<=0 && 0<=1+Arg_0 for location n_evalspeedFails4bb6in___1

Found invariant Arg_3<=1+Arg_1 && 1<=Arg_2 && 2<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=1 && 1<=Arg_0 for location n_evalspeedFails4bb6in___4

Found invariant 1+Arg_1<=Arg_3 && Arg_0<=1 && 0<=1+Arg_0 for location evalspeedFails4stop

Found invariant Arg_3<=Arg_1 && 1<=Arg_2 && 2<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=1 && 1<=Arg_0 for location n_evalspeedFails4bb4in___5

Found invariant Arg_3<=Arg_1 && Arg_2<=0 && Arg_2<=1+Arg_0 && 1+Arg_0+Arg_2<=0 && 1+Arg_0<=0 && 0<=1+Arg_0 for location n_evalspeedFails4bb3in___3

MPRF for transition 71:n_evalspeedFails4bb3in___3(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalspeedFails4bb5in___2(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=Arg_1 && Arg_2<=0 && Arg_2<=1+Arg_0 && 1+Arg_0+Arg_2<=0 && 1+Arg_0<=0 && 0<=1+Arg_0 && Arg_2<=0 && Arg_3<=Arg_1 && Arg_0+1<=0 && 0<=1+Arg_0 && 0<=1+Arg_0 && Arg_3<=Arg_1 && Arg_2<=0 && Arg_0<=1 of depth 1:

new bound:

Arg_1+Arg_2+1 {O(n)}

MPRF:

n_evalspeedFails4bb5in___2 [Arg_1-Arg_3 ]
n_evalspeedFails4bb6in___1 [Arg_1-Arg_0-Arg_3 ]
n_evalspeedFails4bb3in___3 [Arg_1+1-Arg_3 ]

MPRF for transition 74:n_evalspeedFails4bb5in___2(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalspeedFails4bb6in___1(Arg_0,Arg_1,Arg_2,Arg_3-Arg_0):|:Arg_3<=Arg_1 && Arg_2<=0 && Arg_2<=1+Arg_0 && 1+Arg_0+Arg_2<=0 && 1+Arg_0<=0 && 0<=1+Arg_0 && Arg_2<=0 && Arg_3<=Arg_1 && Arg_0+1<=0 && 0<=1+Arg_0 && Arg_3<=Arg_1 && Arg_2<=0 && Arg_0<=1 && 0<=1+Arg_0 of depth 1:

new bound:

Arg_1+Arg_2+1 {O(n)}

MPRF:

n_evalspeedFails4bb5in___2 [Arg_1+1-Arg_3 ]
n_evalspeedFails4bb6in___1 [Arg_1-Arg_0-Arg_3 ]
n_evalspeedFails4bb3in___3 [Arg_1+1-Arg_3 ]

MPRF for transition 75:n_evalspeedFails4bb6in___1(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalspeedFails4bb3in___3(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=1+Arg_1 && Arg_2<=0 && Arg_2<=1+Arg_0 && 1+Arg_0+Arg_2<=0 && 1+Arg_0<=0 && 0<=1+Arg_0 && Arg_0<=1 && 0<=1+Arg_0 && Arg_2<=0 && 0<=1+Arg_0 && Arg_0+Arg_3<=Arg_1 && Arg_2<=0 && Arg_0<=1 && 1+Arg_0<=0 && 0<=1+Arg_0 && Arg_2<=0 && 0<=1+Arg_0 && Arg_3<=Arg_1 && Arg_0<=1 of depth 1:

new bound:

Arg_1+Arg_2 {O(n)}

MPRF:

n_evalspeedFails4bb5in___2 [Arg_0+Arg_1+1-Arg_3 ]
n_evalspeedFails4bb6in___1 [Arg_1+1-Arg_3 ]
n_evalspeedFails4bb3in___3 [Arg_1-Arg_3 ]

MPRF for transition 72:n_evalspeedFails4bb3in___6(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalspeedFails4bb4in___5(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=Arg_1 && 1<=Arg_2 && 2<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=1 && 1<=Arg_0 && 1<=Arg_2 && Arg_3<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && 0<=1+Arg_0 && Arg_3<=Arg_1 && 1<=Arg_2 && Arg_0<=1 of depth 1:

new bound:

Arg_1+Arg_2+1 {O(n)}

MPRF:

n_evalspeedFails4bb4in___5 [Arg_1-Arg_3 ]
n_evalspeedFails4bb6in___4 [Arg_0+Arg_1-Arg_3 ]
n_evalspeedFails4bb3in___6 [Arg_1+1-Arg_3 ]

MPRF for transition 73:n_evalspeedFails4bb4in___5(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalspeedFails4bb6in___4(Arg_0,Arg_1,Arg_2,Arg_0+Arg_3):|:Arg_3<=Arg_1 && 1<=Arg_2 && 2<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=1 && 1<=Arg_0 && 1<=Arg_2 && Arg_3<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_3<=Arg_1 && 1<=Arg_2 && 0<=1+Arg_0 && Arg_0<=1 of depth 1:

new bound:

Arg_1+Arg_2+1 {O(n)}

MPRF:

n_evalspeedFails4bb4in___5 [Arg_1+1-Arg_3 ]
n_evalspeedFails4bb6in___4 [Arg_0+Arg_1-Arg_3 ]
n_evalspeedFails4bb3in___6 [Arg_1+1-Arg_3 ]

MPRF for transition 76:n_evalspeedFails4bb6in___4(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalspeedFails4bb3in___6(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=1+Arg_1 && 1<=Arg_2 && 2<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=1 && 1<=Arg_0 && Arg_0<=1 && 0<=1+Arg_0 && 1<=Arg_2 && 0<=1+Arg_0 && 1<=Arg_2 && Arg_3<=Arg_0+Arg_1 && Arg_0<=1 && Arg_0<=1 && 1<=Arg_0 && 1<=Arg_2 && 0<=1+Arg_0 && Arg_3<=Arg_1 && Arg_0<=1 of depth 1:

new bound:

Arg_1+Arg_2 {O(n)}

MPRF:

n_evalspeedFails4bb4in___5 [Arg_1-Arg_3 ]
n_evalspeedFails4bb6in___4 [Arg_1+1-Arg_3 ]
n_evalspeedFails4bb3in___6 [Arg_1-Arg_3 ]

CFR: Improvement to new bound with the following program:

new bound:

6*Arg_1+6*Arg_2+4 {O(n)}

cfr-program:

Start: evalspeedFails4start
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3
Temp_Vars:
Locations: evalspeedFails4bb6in, evalspeedFails4entryin, evalspeedFails4returnin, evalspeedFails4start, evalspeedFails4stop, n_evalspeedFails4bb3in___3, n_evalspeedFails4bb3in___6, n_evalspeedFails4bb4in___5, n_evalspeedFails4bb5in___2, n_evalspeedFails4bb6in___1, n_evalspeedFails4bb6in___4
Transitions:
4:evalspeedFails4bb6in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4returnin(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_0<=1 && 0<=1+Arg_0 && Arg_0<=1 && 0<=1+Arg_0 && Arg_1+1<=Arg_3
77:evalspeedFails4bb6in(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalspeedFails4bb3in___3(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_0<=1 && 0<=1+Arg_0 && Arg_0<=1 && 0<=1+Arg_0 && Arg_2<=0 && 1+Arg_0<=0 && 0<=1+Arg_0 && Arg_2<=0 && 0<=1+Arg_0 && Arg_3<=Arg_1 && Arg_0<=1
78:evalspeedFails4bb6in(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalspeedFails4bb3in___6(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_0<=1 && 0<=1+Arg_0 && Arg_0<=1 && 0<=1+Arg_0 && 1<=Arg_2 && Arg_0<=1 && 1<=Arg_0 && 1<=Arg_2 && 0<=1+Arg_0 && Arg_3<=Arg_1 && Arg_0<=1
1:evalspeedFails4entryin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4bb6in(1,Arg_2,Arg_0,Arg_1):|:1<=Arg_0
2:evalspeedFails4entryin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4bb6in(-1,Arg_2,Arg_0,Arg_1):|:Arg_0<=0
9:evalspeedFails4returnin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4stop(Arg_0,Arg_1,Arg_2,Arg_3):|:1+Arg_1<=Arg_3 && Arg_0<=1 && 0<=1+Arg_0 && 1+Arg_1<=Arg_3 && Arg_0<=1 && 0<=1+Arg_0
0:evalspeedFails4start(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4entryin(Arg_0,Arg_1,Arg_2,Arg_3)
71:n_evalspeedFails4bb3in___3(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalspeedFails4bb5in___2(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=Arg_1 && Arg_2<=0 && Arg_2<=1+Arg_0 && 1+Arg_0+Arg_2<=0 && 1+Arg_0<=0 && 0<=1+Arg_0 && Arg_2<=0 && Arg_3<=Arg_1 && Arg_0+1<=0 && 0<=1+Arg_0 && 0<=1+Arg_0 && Arg_3<=Arg_1 && Arg_2<=0 && Arg_0<=1
72:n_evalspeedFails4bb3in___6(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalspeedFails4bb4in___5(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=Arg_1 && 1<=Arg_2 && 2<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=1 && 1<=Arg_0 && 1<=Arg_2 && Arg_3<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && 0<=1+Arg_0 && Arg_3<=Arg_1 && 1<=Arg_2 && Arg_0<=1
73:n_evalspeedFails4bb4in___5(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalspeedFails4bb6in___4(Arg_0,Arg_1,Arg_2,Arg_0+Arg_3):|:Arg_3<=Arg_1 && 1<=Arg_2 && 2<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=1 && 1<=Arg_0 && 1<=Arg_2 && Arg_3<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_3<=Arg_1 && 1<=Arg_2 && 0<=1+Arg_0 && Arg_0<=1
74:n_evalspeedFails4bb5in___2(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalspeedFails4bb6in___1(Arg_0,Arg_1,Arg_2,Arg_3-Arg_0):|:Arg_3<=Arg_1 && Arg_2<=0 && Arg_2<=1+Arg_0 && 1+Arg_0+Arg_2<=0 && 1+Arg_0<=0 && 0<=1+Arg_0 && Arg_2<=0 && Arg_3<=Arg_1 && Arg_0+1<=0 && 0<=1+Arg_0 && Arg_3<=Arg_1 && Arg_2<=0 && Arg_0<=1 && 0<=1+Arg_0
89:n_evalspeedFails4bb6in___1(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4returnin(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=1+Arg_1 && Arg_2<=0 && Arg_2<=1+Arg_0 && 1+Arg_0+Arg_2<=0 && 1+Arg_0<=0 && 0<=1+Arg_0 && Arg_0<=1 && 0<=1+Arg_0 && Arg_1+1<=Arg_3
75:n_evalspeedFails4bb6in___1(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalspeedFails4bb3in___3(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=1+Arg_1 && Arg_2<=0 && Arg_2<=1+Arg_0 && 1+Arg_0+Arg_2<=0 && 1+Arg_0<=0 && 0<=1+Arg_0 && Arg_0<=1 && 0<=1+Arg_0 && Arg_2<=0 && 0<=1+Arg_0 && Arg_0+Arg_3<=Arg_1 && Arg_2<=0 && Arg_0<=1 && 1+Arg_0<=0 && 0<=1+Arg_0 && Arg_2<=0 && 0<=1+Arg_0 && Arg_3<=Arg_1 && Arg_0<=1
90:n_evalspeedFails4bb6in___4(Arg_0,Arg_1,Arg_2,Arg_3) -> evalspeedFails4returnin(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=1+Arg_1 && 1<=Arg_2 && 2<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=1 && 1<=Arg_0 && Arg_0<=1 && 0<=1+Arg_0 && Arg_1+1<=Arg_3
76:n_evalspeedFails4bb6in___4(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalspeedFails4bb3in___6(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=1+Arg_1 && 1<=Arg_2 && 2<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=1 && 1<=Arg_0 && Arg_0<=1 && 0<=1+Arg_0 && 1<=Arg_2 && 0<=1+Arg_0 && 1<=Arg_2 && Arg_3<=Arg_0+Arg_1 && Arg_0<=1 && Arg_0<=1 && 1<=Arg_0 && 1<=Arg_2 && 0<=1+Arg_0 && Arg_3<=Arg_1 && Arg_0<=1

All Bounds

Timebounds

Overall timebound:6*Arg_1+6*Arg_2+13 {O(n)}
4: evalspeedFails4bb6in->evalspeedFails4returnin: 1 {O(1)}
77: evalspeedFails4bb6in->n_evalspeedFails4bb3in___3: 1 {O(1)}
78: evalspeedFails4bb6in->n_evalspeedFails4bb3in___6: 1 {O(1)}
1: evalspeedFails4entryin->evalspeedFails4bb6in: 1 {O(1)}
2: evalspeedFails4entryin->evalspeedFails4bb6in: 1 {O(1)}
9: evalspeedFails4returnin->evalspeedFails4stop: 1 {O(1)}
0: evalspeedFails4start->evalspeedFails4entryin: 1 {O(1)}
71: n_evalspeedFails4bb3in___3->n_evalspeedFails4bb5in___2: Arg_1+Arg_2+1 {O(n)}
72: n_evalspeedFails4bb3in___6->n_evalspeedFails4bb4in___5: Arg_1+Arg_2+1 {O(n)}
73: n_evalspeedFails4bb4in___5->n_evalspeedFails4bb6in___4: Arg_1+Arg_2+1 {O(n)}
74: n_evalspeedFails4bb5in___2->n_evalspeedFails4bb6in___1: Arg_1+Arg_2+1 {O(n)}
75: n_evalspeedFails4bb6in___1->n_evalspeedFails4bb3in___3: Arg_1+Arg_2 {O(n)}
89: n_evalspeedFails4bb6in___1->evalspeedFails4returnin: 1 {O(1)}
76: n_evalspeedFails4bb6in___4->n_evalspeedFails4bb3in___6: Arg_1+Arg_2 {O(n)}
90: n_evalspeedFails4bb6in___4->evalspeedFails4returnin: 1 {O(1)}

Costbounds

Overall costbound: 6*Arg_1+6*Arg_2+13 {O(n)}
4: evalspeedFails4bb6in->evalspeedFails4returnin: 1 {O(1)}
77: evalspeedFails4bb6in->n_evalspeedFails4bb3in___3: 1 {O(1)}
78: evalspeedFails4bb6in->n_evalspeedFails4bb3in___6: 1 {O(1)}
1: evalspeedFails4entryin->evalspeedFails4bb6in: 1 {O(1)}
2: evalspeedFails4entryin->evalspeedFails4bb6in: 1 {O(1)}
9: evalspeedFails4returnin->evalspeedFails4stop: 1 {O(1)}
0: evalspeedFails4start->evalspeedFails4entryin: 1 {O(1)}
71: n_evalspeedFails4bb3in___3->n_evalspeedFails4bb5in___2: Arg_1+Arg_2+1 {O(n)}
72: n_evalspeedFails4bb3in___6->n_evalspeedFails4bb4in___5: Arg_1+Arg_2+1 {O(n)}
73: n_evalspeedFails4bb4in___5->n_evalspeedFails4bb6in___4: Arg_1+Arg_2+1 {O(n)}
74: n_evalspeedFails4bb5in___2->n_evalspeedFails4bb6in___1: Arg_1+Arg_2+1 {O(n)}
75: n_evalspeedFails4bb6in___1->n_evalspeedFails4bb3in___3: Arg_1+Arg_2 {O(n)}
89: n_evalspeedFails4bb6in___1->evalspeedFails4returnin: 1 {O(1)}
76: n_evalspeedFails4bb6in___4->n_evalspeedFails4bb3in___6: Arg_1+Arg_2 {O(n)}
90: n_evalspeedFails4bb6in___4->evalspeedFails4returnin: 1 {O(1)}

Sizebounds

4: evalspeedFails4bb6in->evalspeedFails4returnin, Arg_0: 1 {O(1)}
4: evalspeedFails4bb6in->evalspeedFails4returnin, Arg_1: 2*Arg_2 {O(n)}
4: evalspeedFails4bb6in->evalspeedFails4returnin, Arg_2: 2*Arg_0 {O(n)}
4: evalspeedFails4bb6in->evalspeedFails4returnin, Arg_3: 2*Arg_1 {O(n)}
77: evalspeedFails4bb6in->n_evalspeedFails4bb3in___3, Arg_0: 1 {O(1)}
77: evalspeedFails4bb6in->n_evalspeedFails4bb3in___3, Arg_1: Arg_2 {O(n)}
77: evalspeedFails4bb6in->n_evalspeedFails4bb3in___3, Arg_2: Arg_0 {O(n)}
77: evalspeedFails4bb6in->n_evalspeedFails4bb3in___3, Arg_3: Arg_1 {O(n)}
78: evalspeedFails4bb6in->n_evalspeedFails4bb3in___6, Arg_0: 1 {O(1)}
78: evalspeedFails4bb6in->n_evalspeedFails4bb3in___6, Arg_1: Arg_2 {O(n)}
78: evalspeedFails4bb6in->n_evalspeedFails4bb3in___6, Arg_2: Arg_0 {O(n)}
78: evalspeedFails4bb6in->n_evalspeedFails4bb3in___6, Arg_3: Arg_1 {O(n)}
1: evalspeedFails4entryin->evalspeedFails4bb6in, Arg_0: 1 {O(1)}
1: evalspeedFails4entryin->evalspeedFails4bb6in, Arg_1: Arg_2 {O(n)}
1: evalspeedFails4entryin->evalspeedFails4bb6in, Arg_2: Arg_0 {O(n)}
1: evalspeedFails4entryin->evalspeedFails4bb6in, Arg_3: Arg_1 {O(n)}
2: evalspeedFails4entryin->evalspeedFails4bb6in, Arg_0: 1 {O(1)}
2: evalspeedFails4entryin->evalspeedFails4bb6in, Arg_1: Arg_2 {O(n)}
2: evalspeedFails4entryin->evalspeedFails4bb6in, Arg_2: Arg_0 {O(n)}
2: evalspeedFails4entryin->evalspeedFails4bb6in, Arg_3: Arg_1 {O(n)}
9: evalspeedFails4returnin->evalspeedFails4stop, Arg_0: 1 {O(1)}
9: evalspeedFails4returnin->evalspeedFails4stop, Arg_1: 4*Arg_2 {O(n)}
9: evalspeedFails4returnin->evalspeedFails4stop, Arg_2: 4*Arg_0 {O(n)}
9: evalspeedFails4returnin->evalspeedFails4stop, Arg_3: 2*Arg_2+6*Arg_1+2 {O(n)}
0: evalspeedFails4start->evalspeedFails4entryin, Arg_0: Arg_0 {O(n)}
0: evalspeedFails4start->evalspeedFails4entryin, Arg_1: Arg_1 {O(n)}
0: evalspeedFails4start->evalspeedFails4entryin, Arg_2: Arg_2 {O(n)}
0: evalspeedFails4start->evalspeedFails4entryin, Arg_3: Arg_3 {O(n)}
71: n_evalspeedFails4bb3in___3->n_evalspeedFails4bb5in___2, Arg_0: 1 {O(1)}
71: n_evalspeedFails4bb3in___3->n_evalspeedFails4bb5in___2, Arg_1: Arg_2 {O(n)}
71: n_evalspeedFails4bb3in___3->n_evalspeedFails4bb5in___2, Arg_2: Arg_0 {O(n)}
71: n_evalspeedFails4bb3in___3->n_evalspeedFails4bb5in___2, Arg_3: 2*Arg_1+Arg_2+1 {O(n)}
72: n_evalspeedFails4bb3in___6->n_evalspeedFails4bb4in___5, Arg_0: 1 {O(1)}
72: n_evalspeedFails4bb3in___6->n_evalspeedFails4bb4in___5, Arg_1: Arg_2 {O(n)}
72: n_evalspeedFails4bb3in___6->n_evalspeedFails4bb4in___5, Arg_2: Arg_0 {O(n)}
72: n_evalspeedFails4bb3in___6->n_evalspeedFails4bb4in___5, Arg_3: 2*Arg_1+Arg_2+1 {O(n)}
73: n_evalspeedFails4bb4in___5->n_evalspeedFails4bb6in___4, Arg_0: 1 {O(1)}
73: n_evalspeedFails4bb4in___5->n_evalspeedFails4bb6in___4, Arg_1: Arg_2 {O(n)}
73: n_evalspeedFails4bb4in___5->n_evalspeedFails4bb6in___4, Arg_2: Arg_0 {O(n)}
73: n_evalspeedFails4bb4in___5->n_evalspeedFails4bb6in___4, Arg_3: 2*Arg_1+Arg_2+1 {O(n)}
74: n_evalspeedFails4bb5in___2->n_evalspeedFails4bb6in___1, Arg_0: 1 {O(1)}
74: n_evalspeedFails4bb5in___2->n_evalspeedFails4bb6in___1, Arg_1: Arg_2 {O(n)}
74: n_evalspeedFails4bb5in___2->n_evalspeedFails4bb6in___1, Arg_2: Arg_0 {O(n)}
74: n_evalspeedFails4bb5in___2->n_evalspeedFails4bb6in___1, Arg_3: 2*Arg_1+Arg_2+1 {O(n)}
75: n_evalspeedFails4bb6in___1->n_evalspeedFails4bb3in___3, Arg_0: 1 {O(1)}
75: n_evalspeedFails4bb6in___1->n_evalspeedFails4bb3in___3, Arg_1: Arg_2 {O(n)}
75: n_evalspeedFails4bb6in___1->n_evalspeedFails4bb3in___3, Arg_2: Arg_0 {O(n)}
75: n_evalspeedFails4bb6in___1->n_evalspeedFails4bb3in___3, Arg_3: 2*Arg_1+Arg_2+1 {O(n)}
89: n_evalspeedFails4bb6in___1->evalspeedFails4returnin, Arg_0: 1 {O(1)}
89: n_evalspeedFails4bb6in___1->evalspeedFails4returnin, Arg_1: Arg_2 {O(n)}
89: n_evalspeedFails4bb6in___1->evalspeedFails4returnin, Arg_2: Arg_0 {O(n)}
89: n_evalspeedFails4bb6in___1->evalspeedFails4returnin, Arg_3: 2*Arg_1+Arg_2+1 {O(n)}
76: n_evalspeedFails4bb6in___4->n_evalspeedFails4bb3in___6, Arg_0: 1 {O(1)}
76: n_evalspeedFails4bb6in___4->n_evalspeedFails4bb3in___6, Arg_1: Arg_2 {O(n)}
76: n_evalspeedFails4bb6in___4->n_evalspeedFails4bb3in___6, Arg_2: Arg_0 {O(n)}
76: n_evalspeedFails4bb6in___4->n_evalspeedFails4bb3in___6, Arg_3: 2*Arg_1+Arg_2+1 {O(n)}
90: n_evalspeedFails4bb6in___4->evalspeedFails4returnin, Arg_0: 1 {O(1)}
90: n_evalspeedFails4bb6in___4->evalspeedFails4returnin, Arg_1: Arg_2 {O(n)}
90: n_evalspeedFails4bb6in___4->evalspeedFails4returnin, Arg_2: Arg_0 {O(n)}
90: n_evalspeedFails4bb6in___4->evalspeedFails4returnin, Arg_3: 2*Arg_1+Arg_2+1 {O(n)}