Start: start
Program_Vars: Arg_0
Temp_Vars:
Locations: f, start
Transitions:
0:f(Arg_0) -> f(Arg_0):|:Arg_0^2+1<=0
1:start(Arg_0) -> f(Arg_0)
Start: start
Program_Vars: Arg_0
Temp_Vars:
Locations: f, start
Transitions:
0:f(Arg_0) -> f(Arg_0):|:Arg_0^2+1<=0
1:start(Arg_0) -> f(Arg_0)
Overall timebound:inf {Infinity}
0: f->f: inf {Infinity}
1: start->f: 1 {O(1)}
Overall costbound: inf {Infinity}
0: f->f: inf {Infinity}
1: start->f: 1 {O(1)}
0: f->f, Arg_0: Arg_0 {O(n)}
1: start->f, Arg_0: Arg_0 {O(n)}