Initial Problem

Start: n_eval_relation1_start
Program_Vars: Arg_0, Arg_1
Temp_Vars:
Locations: n_eval_relation1_0___11, n_eval_relation1_1___10, n_eval_relation1_2___9, n_eval_relation1_3___8, n_eval_relation1_4___7, n_eval_relation1_5___6, n_eval_relation1_6___4, n_eval_relation1_7___3, n_eval_relation1_bb0_in___12, n_eval_relation1_bb1_in___5, n_eval_relation1_bb2_in___2, n_eval_relation1_start, n_eval_relation1_stop___1
Transitions:
0:n_eval_relation1_0___11(Arg_0,Arg_1) -> n_eval_relation1_1___10(Arg_0,Arg_1)
1:n_eval_relation1_1___10(Arg_0,Arg_1) -> n_eval_relation1_2___9(Arg_0,Arg_1)
2:n_eval_relation1_2___9(Arg_0,Arg_1) -> n_eval_relation1_3___8(Arg_0,Arg_1)
3:n_eval_relation1_3___8(Arg_0,Arg_1) -> n_eval_relation1_4___7(Arg_0,Arg_1)
4:n_eval_relation1_4___7(Arg_0,Arg_1) -> n_eval_relation1_5___6(Arg_0,Arg_1)
5:n_eval_relation1_5___6(Arg_0,Arg_1) -> n_eval_relation1_bb1_in___5(Arg_0,Arg_1)
6:n_eval_relation1_6___4(Arg_0,Arg_1) -> n_eval_relation1_7___3(Arg_0,Arg_1)
7:n_eval_relation1_7___3(Arg_0,Arg_1) -> n_eval_relation1_bb2_in___2(Arg_0,Arg_1)
8:n_eval_relation1_bb0_in___12(Arg_0,Arg_1) -> n_eval_relation1_0___11(Arg_0,Arg_1)
9:n_eval_relation1_bb1_in___5(Arg_0,Arg_1) -> n_eval_relation1_6___4(Arg_0,Arg_1)
10:n_eval_relation1_bb2_in___2(Arg_0,Arg_1) -> n_eval_relation1_stop___1(Arg_0,Arg_1)
11:n_eval_relation1_start(Arg_0,Arg_1) -> n_eval_relation1_bb0_in___12(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_relation1_0___11, n_eval_relation1_1___10, n_eval_relation1_2___9, n_eval_relation1_3___8, n_eval_relation1_4___7, n_eval_relation1_5___6, n_eval_relation1_6___4, n_eval_relation1_7___3, n_eval_relation1_bb0_in___12, n_eval_relation1_bb1_in___5, n_eval_relation1_bb2_in___2, n_eval_relation1_start, n_eval_relation1_stop___1
Transitions:
24:n_eval_relation1_0___11 -> n_eval_relation1_1___10
25:n_eval_relation1_1___10 -> n_eval_relation1_2___9
26:n_eval_relation1_2___9 -> n_eval_relation1_3___8
27:n_eval_relation1_3___8 -> n_eval_relation1_4___7
28:n_eval_relation1_4___7 -> n_eval_relation1_5___6
29:n_eval_relation1_5___6 -> n_eval_relation1_bb1_in___5
30:n_eval_relation1_6___4 -> n_eval_relation1_7___3
31:n_eval_relation1_7___3 -> n_eval_relation1_bb2_in___2
32:n_eval_relation1_bb0_in___12 -> n_eval_relation1_0___11
33:n_eval_relation1_bb1_in___5 -> n_eval_relation1_6___4
34:n_eval_relation1_bb2_in___2 -> n_eval_relation1_stop___1
35:n_eval_relation1_start -> n_eval_relation1_bb0_in___12

All Bounds

Timebounds

Overall timebound:12 {O(1)}
24: n_eval_relation1_0___11->n_eval_relation1_1___10: 1 {O(1)}
25: n_eval_relation1_1___10->n_eval_relation1_2___9: 1 {O(1)}
26: n_eval_relation1_2___9->n_eval_relation1_3___8: 1 {O(1)}
27: n_eval_relation1_3___8->n_eval_relation1_4___7: 1 {O(1)}
28: n_eval_relation1_4___7->n_eval_relation1_5___6: 1 {O(1)}
29: n_eval_relation1_5___6->n_eval_relation1_bb1_in___5: 1 {O(1)}
30: n_eval_relation1_6___4->n_eval_relation1_7___3: 1 {O(1)}
31: n_eval_relation1_7___3->n_eval_relation1_bb2_in___2: 1 {O(1)}
32: n_eval_relation1_bb0_in___12->n_eval_relation1_0___11: 1 {O(1)}
33: n_eval_relation1_bb1_in___5->n_eval_relation1_6___4: 1 {O(1)}
34: n_eval_relation1_bb2_in___2->n_eval_relation1_stop___1: 1 {O(1)}
35: n_eval_relation1_start->n_eval_relation1_bb0_in___12: 1 {O(1)}

Costbounds

Overall costbound: 12 {O(1)}
24: n_eval_relation1_0___11->n_eval_relation1_1___10: 1 {O(1)}
25: n_eval_relation1_1___10->n_eval_relation1_2___9: 1 {O(1)}
26: n_eval_relation1_2___9->n_eval_relation1_3___8: 1 {O(1)}
27: n_eval_relation1_3___8->n_eval_relation1_4___7: 1 {O(1)}
28: n_eval_relation1_4___7->n_eval_relation1_5___6: 1 {O(1)}
29: n_eval_relation1_5___6->n_eval_relation1_bb1_in___5: 1 {O(1)}
30: n_eval_relation1_6___4->n_eval_relation1_7___3: 1 {O(1)}
31: n_eval_relation1_7___3->n_eval_relation1_bb2_in___2: 1 {O(1)}
32: n_eval_relation1_bb0_in___12->n_eval_relation1_0___11: 1 {O(1)}
33: n_eval_relation1_bb1_in___5->n_eval_relation1_6___4: 1 {O(1)}
34: n_eval_relation1_bb2_in___2->n_eval_relation1_stop___1: 1 {O(1)}
35: n_eval_relation1_start->n_eval_relation1_bb0_in___12: 1 {O(1)}

Sizebounds