Initial Problem

Start: eval_relation1_start
Program_Vars: Arg_0, Arg_1
Temp_Vars:
Locations: eval_relation1_0, eval_relation1_1, eval_relation1_bb0_in, eval_relation1_bb1_in, eval_relation1_bb2_in, eval_relation1_start, eval_relation1_stop
Transitions:
4:eval_relation1_0(Arg_0,Arg_1) -> eval_relation1_1(Arg_0,Arg_1)
5:eval_relation1_1(Arg_0,Arg_1) -> eval_relation1_bb2_in(Arg_0,Arg_1)
1:eval_relation1_bb0_in(Arg_0,Arg_1) -> eval_relation1_bb1_in(Arg_0,Arg_1)
2:eval_relation1_bb1_in(Arg_0,Arg_1) -> eval_relation1_0(Arg_0,Arg_1)
6:eval_relation1_bb2_in(Arg_0,Arg_1) -> eval_relation1_stop(Arg_0,Arg_1)
0:eval_relation1_start(Arg_0,Arg_1) -> eval_relation1_bb0_in(Arg_0,Arg_1)

Preprocessing

Eliminate variables {Arg_0,Arg_1} that do not contribute to the problem

Problem after Preprocessing

Start: eval_relation1_start
Program_Vars:
Temp_Vars:
Locations: eval_relation1_0, eval_relation1_1, eval_relation1_bb0_in, eval_relation1_bb1_in, eval_relation1_bb2_in, eval_relation1_start, eval_relation1_stop
Transitions:
13:eval_relation1_0 -> eval_relation1_1
14:eval_relation1_1 -> eval_relation1_bb2_in
15:eval_relation1_bb0_in -> eval_relation1_bb1_in
16:eval_relation1_bb1_in -> eval_relation1_0
17:eval_relation1_bb2_in -> eval_relation1_stop
18:eval_relation1_start -> eval_relation1_bb0_in

All Bounds

Timebounds

Overall timebound:6 {O(1)}
13: eval_relation1_0->eval_relation1_1: 1 {O(1)}
14: eval_relation1_1->eval_relation1_bb2_in: 1 {O(1)}
15: eval_relation1_bb0_in->eval_relation1_bb1_in: 1 {O(1)}
16: eval_relation1_bb1_in->eval_relation1_0: 1 {O(1)}
17: eval_relation1_bb2_in->eval_relation1_stop: 1 {O(1)}
18: eval_relation1_start->eval_relation1_bb0_in: 1 {O(1)}

Costbounds

Overall costbound: 6 {O(1)}
13: eval_relation1_0->eval_relation1_1: 1 {O(1)}
14: eval_relation1_1->eval_relation1_bb2_in: 1 {O(1)}
15: eval_relation1_bb0_in->eval_relation1_bb1_in: 1 {O(1)}
16: eval_relation1_bb1_in->eval_relation1_0: 1 {O(1)}
17: eval_relation1_bb2_in->eval_relation1_stop: 1 {O(1)}
18: eval_relation1_start->eval_relation1_bb0_in: 1 {O(1)}

Sizebounds