Initial Problem

Start: n_eval_relation1_start
Program_Vars: Arg_0, Arg_1
Temp_Vars:
Locations: n_eval_nondet_start___4, n_eval_relation1_0___5, n_eval_relation1_1___3, n_eval_relation1_bb0_in___7, n_eval_relation1_bb1_in___6, n_eval_relation1_bb2_in___2, n_eval_relation1_start, n_eval_relation1_stop___1
Transitions:
0:n_eval_relation1_0___5(Arg_0,Arg_1) -> n_eval_nondet_start___4(Arg_0,Arg_1)
1:n_eval_relation1_0___5(Arg_0,Arg_1) -> n_eval_relation1_1___3(Arg_0,Arg_1)
2:n_eval_relation1_1___3(Arg_0,Arg_1) -> n_eval_relation1_bb2_in___2(Arg_0,Arg_1)
3:n_eval_relation1_bb0_in___7(Arg_0,Arg_1) -> n_eval_relation1_bb1_in___6(Arg_0,Arg_1)
4:n_eval_relation1_bb1_in___6(Arg_0,Arg_1) -> n_eval_relation1_0___5(Arg_0,Arg_1)
5:n_eval_relation1_bb2_in___2(Arg_0,Arg_1) -> n_eval_relation1_stop___1(Arg_0,Arg_1)
6:n_eval_relation1_start(Arg_0,Arg_1) -> n_eval_relation1_bb0_in___7(Arg_0,Arg_1)

Preprocessing

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

Problem after Preprocessing

Start: n_eval_relation1_start
Program_Vars:
Temp_Vars:
Locations: n_eval_nondet_start___4, n_eval_relation1_0___5, n_eval_relation1_1___3, n_eval_relation1_bb0_in___7, n_eval_relation1_bb1_in___6, n_eval_relation1_bb2_in___2, n_eval_relation1_start, n_eval_relation1_stop___1
Transitions:
14:n_eval_relation1_0___5 -> n_eval_nondet_start___4
15:n_eval_relation1_0___5 -> n_eval_relation1_1___3
16:n_eval_relation1_1___3 -> n_eval_relation1_bb2_in___2
17:n_eval_relation1_bb0_in___7 -> n_eval_relation1_bb1_in___6
18:n_eval_relation1_bb1_in___6 -> n_eval_relation1_0___5
19:n_eval_relation1_bb2_in___2 -> n_eval_relation1_stop___1
20:n_eval_relation1_start -> n_eval_relation1_bb0_in___7

All Bounds

Timebounds

Overall timebound:7 {O(1)}
14: n_eval_relation1_0___5->n_eval_nondet_start___4: 1 {O(1)}
15: n_eval_relation1_0___5->n_eval_relation1_1___3: 1 {O(1)}
16: n_eval_relation1_1___3->n_eval_relation1_bb2_in___2: 1 {O(1)}
17: n_eval_relation1_bb0_in___7->n_eval_relation1_bb1_in___6: 1 {O(1)}
18: n_eval_relation1_bb1_in___6->n_eval_relation1_0___5: 1 {O(1)}
19: n_eval_relation1_bb2_in___2->n_eval_relation1_stop___1: 1 {O(1)}
20: n_eval_relation1_start->n_eval_relation1_bb0_in___7: 1 {O(1)}

Costbounds

Overall costbound: 7 {O(1)}
14: n_eval_relation1_0___5->n_eval_nondet_start___4: 1 {O(1)}
15: n_eval_relation1_0___5->n_eval_relation1_1___3: 1 {O(1)}
16: n_eval_relation1_1___3->n_eval_relation1_bb2_in___2: 1 {O(1)}
17: n_eval_relation1_bb0_in___7->n_eval_relation1_bb1_in___6: 1 {O(1)}
18: n_eval_relation1_bb1_in___6->n_eval_relation1_0___5: 1 {O(1)}
19: n_eval_relation1_bb2_in___2->n_eval_relation1_stop___1: 1 {O(1)}
20: n_eval_relation1_start->n_eval_relation1_bb0_in___7: 1 {O(1)}

Sizebounds