Start: eval_relation1_start
Program_Vars: Arg_0, Arg_1
Temp_Vars:
Locations: eval_relation1_0, eval_relation1_1, eval_relation1_2, eval_relation1_3, eval_relation1_4, eval_relation1_5, eval_relation1_6, eval_relation1_7, eval_relation1_bb0_in, eval_relation1_bb1_in, eval_relation1_bb2_in, eval_relation1_start, eval_relation1_stop
Transitions:
2:eval_relation1_0(Arg_0,Arg_1) -> eval_relation1_1(Arg_0,Arg_1)
3:eval_relation1_1(Arg_0,Arg_1) -> eval_relation1_2(Arg_0,Arg_1)
4:eval_relation1_2(Arg_0,Arg_1) -> eval_relation1_3(Arg_0,Arg_1)
5:eval_relation1_3(Arg_0,Arg_1) -> eval_relation1_4(Arg_0,Arg_1)
6:eval_relation1_4(Arg_0,Arg_1) -> eval_relation1_5(Arg_0,Arg_1)
7:eval_relation1_5(Arg_0,Arg_1) -> eval_relation1_bb1_in(Arg_0,Arg_1)
9:eval_relation1_6(Arg_0,Arg_1) -> eval_relation1_7(Arg_0,Arg_1)
10:eval_relation1_7(Arg_0,Arg_1) -> eval_relation1_bb2_in(Arg_0,Arg_1)
1:eval_relation1_bb0_in(Arg_0,Arg_1) -> eval_relation1_0(Arg_0,Arg_1)
8:eval_relation1_bb1_in(Arg_0,Arg_1) -> eval_relation1_6(Arg_0,Arg_1)
11: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)
Eliminate variables {Arg_0,Arg_1} that do not contribute to the problem
Start: eval_relation1_start
Program_Vars:
Temp_Vars:
Locations: eval_relation1_0, eval_relation1_1, eval_relation1_2, eval_relation1_3, eval_relation1_4, eval_relation1_5, eval_relation1_6, eval_relation1_7, eval_relation1_bb0_in, eval_relation1_bb1_in, eval_relation1_bb2_in, eval_relation1_start, eval_relation1_stop
Transitions:
24:eval_relation1_0 -> eval_relation1_1
25:eval_relation1_1 -> eval_relation1_2
26:eval_relation1_2 -> eval_relation1_3
27:eval_relation1_3 -> eval_relation1_4
28:eval_relation1_4 -> eval_relation1_5
29:eval_relation1_5 -> eval_relation1_bb1_in
30:eval_relation1_6 -> eval_relation1_7
31:eval_relation1_7 -> eval_relation1_bb2_in
32:eval_relation1_bb0_in -> eval_relation1_0
33:eval_relation1_bb1_in -> eval_relation1_6
34:eval_relation1_bb2_in -> eval_relation1_stop
35:eval_relation1_start -> eval_relation1_bb0_in
Overall timebound:12 {O(1)}
24: eval_relation1_0->eval_relation1_1: 1 {O(1)}
25: eval_relation1_1->eval_relation1_2: 1 {O(1)}
26: eval_relation1_2->eval_relation1_3: 1 {O(1)}
27: eval_relation1_3->eval_relation1_4: 1 {O(1)}
28: eval_relation1_4->eval_relation1_5: 1 {O(1)}
29: eval_relation1_5->eval_relation1_bb1_in: 1 {O(1)}
30: eval_relation1_6->eval_relation1_7: 1 {O(1)}
31: eval_relation1_7->eval_relation1_bb2_in: 1 {O(1)}
32: eval_relation1_bb0_in->eval_relation1_0: 1 {O(1)}
33: eval_relation1_bb1_in->eval_relation1_6: 1 {O(1)}
34: eval_relation1_bb2_in->eval_relation1_stop: 1 {O(1)}
35: eval_relation1_start->eval_relation1_bb0_in: 1 {O(1)}
Overall costbound: 12 {O(1)}
24: eval_relation1_0->eval_relation1_1: 1 {O(1)}
25: eval_relation1_1->eval_relation1_2: 1 {O(1)}
26: eval_relation1_2->eval_relation1_3: 1 {O(1)}
27: eval_relation1_3->eval_relation1_4: 1 {O(1)}
28: eval_relation1_4->eval_relation1_5: 1 {O(1)}
29: eval_relation1_5->eval_relation1_bb1_in: 1 {O(1)}
30: eval_relation1_6->eval_relation1_7: 1 {O(1)}
31: eval_relation1_7->eval_relation1_bb2_in: 1 {O(1)}
32: eval_relation1_bb0_in->eval_relation1_0: 1 {O(1)}
33: eval_relation1_bb1_in->eval_relation1_6: 1 {O(1)}
34: eval_relation1_bb2_in->eval_relation1_stop: 1 {O(1)}
35: eval_relation1_start->eval_relation1_bb0_in: 1 {O(1)}