# | action | description | affected node/edge |
---|---|---|---|
1 | ![]() | Initial state | |
2 | ![]() | Injecting | R |
3 | ![]() | KB DW Step | 2 |
4 | ![]() | KB DW Step | 3 |
5 | ![]() | KB DW Step | 4 |
6 | ![]() | KB DW Step | 5 |
7 | ![]() | KB DW Step | 6 |
8 | ![]() | KB DW Step | 7 |
9 | ![]() | KB DW Step | 8 |
10 | ![]() | KB DW Step | 9 |
11 | ![]() | KB DW Step | 10 |
12 | ![]() | KB DW Step | 11 |
13 | ![]() | KB DW Step | 12 |
14 | ![]() | KB DW Step | 13 |
15 | ![]() | KB DW Step | 14 |
16 | ![]() | KB DW Step | 15 |
17 | ![]() | KB DW Step | 16 |
18 | ![]() | Same As: | N_l1 l1 |
19 | ![]() | DW step:0 cycle: | 1 |
20 | ![]() | DW step:0 cycle: | 2 |
21 | ![]() | DW step:0 cycle: | 3 |
22 | ![]() | DW step:0 cycle: | 4 |
23 | ![]() | DW step:0 cycle: | 5 |
24 | ![]() | DW step:0 cycle: | 6 |
25 | ![]() | DW step:0 cycle: | 7 |
26 | ![]() | DW step:0 cycle: | 8 |
27 | ![]() | DW step:0 cycle: | 9 |
28 | ![]() | DW step:0 cycle: | 10 |
29 | ![]() | DW step:0 cycle: | 11 |
30 | ![]() | DW step:0 cycle: | 12 |
31 | ![]() | DW step:0 cycle: | 13 |
32 | ![]() | DW step:0 cycle: | 14 |
33 | ![]() | DW step:0 cycle: | 15 |
34 | ![]() | DW step:0 cycle: | 16 |
35 | ![]() | DW step:0 cycle: | 17 |
36 | ![]() | UP step:0 cycle: | 1 |
37 | ![]() | UP step:0 cycle: | 2 |
38 | ![]() | UP step:0 cycle: | 3 |
39 | ![]() | UP step:0 cycle: | 4 |
40 | ![]() | UP step:0 cycle: | 5 |
41 | ![]() | UP step:0 cycle: | 6 |
42 | ![]() | UP step:0 cycle: | 7 |
43 | ![]() | UP step:0 cycle: | 8 |
44 | ![]() | UP step:0 cycle: | 9 |
45 | ![]() | UP step:0 cycle: | 10 |
46 | ![]() | UP step:0 cycle: | 11 |
47 | ![]() | UP step:0 cycle: | 12 |
48 | ![]() | UP step:0 cycle: | 13 |
49 | ![]() | UP step:0 cycle: | 14 |
50 | ![]() | UP step:0 cycle: | 15 |
51 | ![]() | UP step:0 cycle: | 16 |
52 | ![]() | UP step:0 cycle: | 17 |
prova