Time  Action  State
0 1 1
1 1 2
2 w-i(send) 3
2 1 4
3 3 5
6 w-i(receive) 6
6 2 7
8 4 8
12 i(yes) 9
12 i(snd_ack) 10
12 1 11
13 w-i(rec_ack) 12
13 1 13
14 1 14
15 w-i(send) 15
15 1 16
16 5 17
21 i(receive) 18
21 2 19
23 4 20
27 i(yes) 21
27 i(snd_ack) 22
27 1 23
28 3 24
31 w-i(rec_ack) 25
31 1 26
32 1 27
33 w-i(send) 28
33 1 29
34 1 30
35 w-i(receive) 31
35 2 32
37 w-i(yes) 33
37 i(snd_ack) 34
37 1 35
38 w-i(rec_ack) 36
38 1 37
39 2 38
41 i(send) 39
41 1 40
42 1 41
43 w-i(receive) 42
43 2 43
45 w-i(no) 44
45 15 45
60 i(timeout) 46
60 i(send) 47
60 1 48
61 2 49
63 w-i(receive) 50
63 2 51
65 2 52
67 w-i(no) 53
67 12 54
79 i(timeout) 55
79 i(send) 56
79 1 57
80 5 58
85 i(receive) 59
85 2 60
87 3 61
90 w-i(yes) 62
90 i(snd_ack) 63
90 1 64
91 4 65
95 w-i(rec_ack) 66
95 1 67
96 1 68
97 w-i(send) 69
97 1 70
98 w-i(receive) 71
98 2 72
100 w-i(yes) 73
100 i(snd_ack) 74
100 1 75
101 w-i(rec_ack) 76
101 1 77
102 w-i(send) 78
102 1 79
103 4 80
107 w-i(receive) 81
107 2 82
109 1 83
110 w-i(yes) 84
110 i(snd_ack) 85
110 1 86
111 w-i(rec_ack) 87
111 1 88
112 w-i(send) 89
112 1 90
113 4 91
117 w-i(receive) 92
117 2 93
119 4 94
123 i(no) 95
123 8 96
131 i(timeout) 97
131 i(send) 98
131 1 99
132 w-i(receive) 100
132 2 101
134 w-i(yes) 102
134 i(snd_ack) 103
134 1 104
135 5 105
140 i(rec_ack) 106
140 1 107
141 2 108
143 i(send) 109
143 1 110
144 4 111
148 w-i(receive) 112
148 2 113
150 2 114
152 w-i(no) 115
152 10 116
162 i(timeout) 117
162 i(send) 118
162 1 119
163 1 120
164 w-i(receive) 121
164 2 122
166 2 123
168 w-i(yes) 124
168 i(snd_ack) 125
168 1 126
169 3 127
172 w-i(rec_ack) 128
172 1 129
173 2 130