forked from jkff/minxmod
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpeterson.dot
208 lines (208 loc) · 12.2 KB
/
peterson.dot
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
digraph g {
1 [label = "V: claimA:False,claimB:False,flagA:False,flagB:False,victim:0\nM: \nP: 0=entry:1[1],1=ta:0[]"]
3 [label = "V: claimA:False,claimB:False,flagA:False,flagB:False,victim:0\nM: \nP: 1=ta:0[],2=tb:0[]"]
6 [label = "V: claimA:False,claimB:False,flagA:False,flagB:False,victim:0\nM: \nP: 0=entry:1[1],1=ta:2[True]"]
7 [label = "V: claimA:False,claimB:False,flagA:False,flagB:False,victim:0\nM: \nP: 1=ta:2[True],2=tb:0[]"]
8 [label = "V: claimA:False,claimB:False,flagA:False,flagB:False,victim:0\nM: \nP: 1=ta:0[],2=tb:2[True]"]
14 [label = "V: claimA:False,claimB:False,flagA:True,flagB:False,victim:0\nM: \nP: 0=entry:1[1],1=ta:4[1]"]
15 [label = "V: claimA:False,claimB:False,flagA:True,flagB:False,victim:0\nM: \nP: 1=ta:4[1],2=tb:0[]"]
16 [label = "V: claimA:False,claimB:False,flagA:False,flagB:False,victim:0\nM: \nP: 1=ta:2[True],2=tb:2[True]"]
17 [label = "V: claimA:False,claimB:False,flagA:False,flagB:True,victim:0\nM: \nP: 1=ta:0[],2=tb:4[1]"]
18 [label = "V: claimA:False,claimB:False,flagA:True,flagB:False,victim:1\nM: \nP: 0=entry:1[1],1=ta:5[]"]
20 [label = "V: claimA:False,claimB:False,flagA:True,flagB:False,victim:1\nM: \nP: 1=ta:5[],2=tb:0[]"]
23 [label = "V: claimA:False,claimB:False,flagA:False,flagB:True,victim:1\nM: \nP: 1=ta:0[],2=tb:5[]"]
28 [label = "V: claimA:False,claimB:False,flagA:True,flagB:False,victim:0\nM: \nP: 1=ta:4[1],2=tb:2[True]"]
29 [label = "V: claimA:False,claimB:False,flagA:False,flagB:True,victim:0\nM: \nP: 1=ta:2[True],2=tb:4[1]"]
34 [label = "V: claimA:False,claimB:False,flagA:True,flagB:False,victim:1\nM: \nP: 1=ta:5[],2=tb:2[True]"]
36 [label = "V: claimA:False,claimB:False,flagA:False,flagB:True,victim:1\nM: \nP: 1=ta:2[True],2=tb:5[]"]
43 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:0\nM: \nP: 1=ta:4[1],2=tb:4[1]"]
47 [label = "V: claimA:False,claimB:False,flagA:True,flagB:False,victim:1\nM: \nP: 0=entry:1[1],1=ta:14[True]"]
48 [label = "V: claimA:False,claimB:False,flagA:True,flagB:False,victim:1\nM: \nP: 1=ta:14[True],2=tb:0[]"]
50 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:5[],2=tb:4[1]"]
51 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:4[1],2=tb:5[]"]
53 [label = "V: claimA:False,claimB:False,flagA:False,flagB:True,victim:1\nM: \nP: 1=ta:0[],2=tb:14[True]"]
58 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:5[],2=tb:5[]"]
64 [label = "V: claimA:True,claimB:False,flagA:True,flagB:False,victim:1\nM: \nP: 0=entry:1[1],1=ta:16[False]"]
65 [label = "V: claimA:True,claimB:False,flagA:True,flagB:False,victim:1\nM: \nP: 1=ta:16[False],2=tb:0[]"]
66 [label = "V: claimA:False,claimB:False,flagA:True,flagB:False,victim:1\nM: \nP: 1=ta:14[True],2=tb:2[True]"]
71 [label = "V: claimA:False,claimB:False,flagA:False,flagB:True,victim:1\nM: \nP: 1=ta:2[True],2=tb:14[True]"]
72 [label = "V: claimA:False,claimB:True,flagA:False,flagB:True,victim:1\nM: \nP: 1=ta:0[],2=tb:16[False]"]
78 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:8[],2=tb:4[1]"]
81 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:4[1],2=tb:8[]"]
86 [label = "V: claimA:False,claimB:False,flagA:True,flagB:False,victim:1\nM: \nP: 0=entry:1[1],1=ta:18[False]"]
87 [label = "V: claimA:False,claimB:False,flagA:True,flagB:False,victim:1\nM: \nP: 1=ta:18[False],2=tb:0[]"]
88 [label = "V: claimA:True,claimB:False,flagA:True,flagB:False,victim:1\nM: \nP: 1=ta:16[False],2=tb:2[True]"]
89 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:14[True],2=tb:4[1]"]
90 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:8[],2=tb:5[]"]
92 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:5[],2=tb:8[]"]
94 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:4[1],2=tb:14[True]"]
95 [label = "V: claimA:False,claimB:True,flagA:False,flagB:True,victim:1\nM: \nP: 1=ta:2[True],2=tb:16[False]"]
96 [label = "V: claimA:False,claimB:False,flagA:False,flagB:True,victim:1\nM: \nP: 1=ta:0[],2=tb:18[False]"]
102 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:14[True],2=tb:5[]"]
111 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:5[],2=tb:14[True]"]
117 [label = "V: claimA:False,claimB:False,flagA:False,flagB:False,victim:1\nM: \nP: 1=ta:0[],2=tb:0[]"]
118 [label = "V: claimA:False,claimB:False,flagA:True,flagB:False,victim:1\nM: \nP: 1=ta:18[False],2=tb:2[True]"]
119 [label = "V: claimA:True,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:16[False],2=tb:4[1]"]
130 [label = "V: claimA:False,claimB:True,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:4[1],2=tb:16[False]"]
131 [label = "V: claimA:False,claimB:False,flagA:False,flagB:True,victim:1\nM: \nP: 1=ta:2[True],2=tb:18[False]"]
136 [label = "V: claimA:True,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:16[False],2=tb:5[]"]
141 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:8[],2=tb:8[]"]
145 [label = "V: claimA:False,claimB:True,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:5[],2=tb:16[False]"]
149 [label = "V: claimA:False,claimB:False,flagA:False,flagB:False,victim:1\nM: \nP: 0=entry:1[1],1=ta:2[True]"]
150 [label = "V: claimA:False,claimB:False,flagA:False,flagB:False,victim:1\nM: \nP: 1=ta:2[True],2=tb:0[]"]
152 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:18[False],2=tb:4[1]"]
155 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:14[True],2=tb:8[]"]
160 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:8[],2=tb:14[True]"]
163 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:4[1],2=tb:18[False]"]
168 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:18[False],2=tb:5[]"]
178 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:5[],2=tb:18[False]"]
180 [label = "V: claimA:False,claimB:False,flagA:True,flagB:False,victim:1\nM: \nP: 0=entry:1[1],1=ta:4[1]"]
181 [label = "V: claimA:False,claimB:False,flagA:True,flagB:False,victim:1\nM: \nP: 1=ta:4[1],2=tb:0[]"]
182 [label = "V: claimA:False,claimB:False,flagA:False,flagB:False,victim:1\nM: \nP: 1=ta:2[True],2=tb:2[True]"]
186 [label = "V: claimA:True,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:16[False],2=tb:8[]"]
191 [label = "V: claimA:False,claimB:True,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:8[],2=tb:16[False]"]
208 [label = "V: claimA:False,claimB:False,flagA:True,flagB:False,victim:1\nM: \nP: 1=ta:4[1],2=tb:2[True]"]
209 [label = "V: claimA:False,claimB:False,flagA:False,flagB:True,victim:1\nM: \nP: 1=ta:2[True],2=tb:4[1]"]
210 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:18[False],2=tb:8[]"]
215 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:8[],2=tb:18[False]"]
224 [label = "V: claimA:False,claimB:False,flagA:True,flagB:True,victim:1\nM: \nP: 1=ta:4[1],2=tb:4[1]"]
235 [label = "V: claimA:False,claimB:False,flagA:False,flagB:True,victim:1\nM: \nP: 1=ta:2[True],2=tb:8[]"]
238 [label = "V: claimA:False,claimB:False,flagA:True,flagB:False,victim:1\nM: \nP: 1=ta:8[],2=tb:2[True]"]
1 -> 3 [style=bold, color=red, weight=10]
1 -> 6 [style=bold, color=red, weight=10]
3 -> 7 [style=bold, color=red, weight=10]
3 -> 8 [style=bold, color=red, weight=10]
6 -> 7 [constraint=false]
6 -> 14 [style=bold, color=red, weight=10]
7 -> 15 [style=bold, color=red, weight=10]
7 -> 16 [style=bold, color=red, weight=10]
8 -> 16 [constraint=false]
8 -> 17 [style=bold, color=red, weight=10]
14 -> 15 [constraint=false]
14 -> 18 [style=bold, color=red, weight=10]
15 -> 20 [style=bold, color=red, weight=10]
15 -> 28 [style=bold, color=red, weight=10]
16 -> 28 [constraint=false]
16 -> 29 [style=bold, color=red, weight=10]
17 -> 29 [constraint=false]
17 -> 23 [style=bold, color=red, weight=10]
18 -> 20 [constraint=false]
18 -> 47 [style=bold, color=red, weight=10]
20 -> 48 [style=bold, color=red, weight=10]
20 -> 34 [style=bold, color=red, weight=10]
23 -> 36 [constraint=false]
23 -> 53 [style=bold, color=red, weight=10]
28 -> 34 [constraint=false]
28 -> 43 [style=bold, color=red, weight=10]
29 -> 43 [constraint=false]
29 -> 36 [style=bold, color=red, weight=10]
34 -> 66 [constraint=false]
34 -> 50 [style=bold, color=red, weight=10]
36 -> 51 [constraint=false]
36 -> 71 [style=bold, color=red, weight=10]
43 -> 50 [constraint=false]
43 -> 51 [style=bold, color=red, weight=10]
47 -> 48 [constraint=false]
47 -> 64 [style=bold, color=red, weight=10]
48 -> 65 [style=bold, color=red, weight=10]
48 -> 66 [style=bold, color=red, weight=10]
50 -> 78 [style=bold, color=red, weight=10]
50 -> 58 [style=bold, color=red, weight=10]
51 -> 58 [constraint=false]
51 -> 81 [style=bold, color=red, weight=10]
53 -> 71 [constraint=false]
53 -> 72 [style=bold, color=red, weight=10]
58 -> 90 [constraint=false]
58 -> 92 [style=bold, color=red, weight=10]
64 -> 65 [constraint=false]
64 -> 86 [style=bold, color=red, weight=10]
65 -> 87 [style=bold, color=red, weight=10]
65 -> 88 [style=bold, color=red, weight=10]
66 -> 88 [constraint=false]
66 -> 89 [style=bold, color=red, weight=10]
71 -> 94 [style=bold, color=red, weight=10]
71 -> 95 [style=bold, color=red, weight=10]
72 -> 95 [constraint=false]
72 -> 96 [style=bold, color=red, weight=10]
78 -> 50 [constraint=false]
78 -> 90 [style=bold, color=red, weight=10]
81 -> 92 [constraint=false]
81 -> 51 [constraint=false]
86 -> 87 [constraint=false]
86 -> 149 [style=bold, color=red, weight=10]
87 -> 117 [style=bold, color=red, weight=10]
87 -> 118 [style=bold, color=red, weight=10]
88 -> 118 [constraint=false]
88 -> 119 [style=bold, color=red, weight=10]
89 -> 119 [constraint=false]
89 -> 102 [style=bold, color=red, weight=10]
90 -> 58 [constraint=false]
90 -> 141 [style=bold, color=red, weight=10]
92 -> 141 [constraint=false]
92 -> 58 [constraint=false]
94 -> 111 [style=bold, color=red, weight=10]
94 -> 130 [style=bold, color=red, weight=10]
95 -> 130 [constraint=false]
95 -> 131 [style=bold, color=red, weight=10]
96 -> 131 [constraint=false]
96 -> 117 [constraint=false]
102 -> 136 [constraint=false]
102 -> 155 [style=bold, color=red, weight=10]
111 -> 160 [style=bold, color=red, weight=10]
111 -> 145 [style=bold, color=red, weight=10]
117 -> 150 [style=bold, color=red, weight=10]
118 -> 182 [constraint=false]
118 -> 152 [style=bold, color=red, weight=10]
119 -> 152 [constraint=false]
119 -> 136 [style=bold, color=red, weight=10]
130 -> 145 [constraint=false]
130 -> 163 [style=bold, color=red, weight=10]
131 -> 163 [constraint=false]
131 -> 150 [constraint=false]
136 -> 168 [constraint=false]
136 -> 186 [style=bold, color=red, weight=10]
141 -> 92 [constraint=false]
141 -> 90 [constraint=false]
145 -> 191 [constraint=false]
145 -> 178 [style=bold, color=red, weight=10]
149 -> 150 [constraint=false]
149 -> 180 [style=bold, color=red, weight=10]
150 -> 181 [style=bold, color=red, weight=10]
150 -> 182 [style=bold, color=red, weight=10]
152 -> 209 [constraint=false]
152 -> 168 [style=bold, color=red, weight=10]
155 -> 186 [constraint=false]
155 -> 102 [constraint=false]
160 -> 111 [constraint=false]
160 -> 191 [style=bold, color=red, weight=10]
163 -> 178 [constraint=false]
163 -> 181 [constraint=false]
168 -> 23 [constraint=false]
168 -> 210 [style=bold, color=red, weight=10]
178 -> 215 [constraint=false]
178 -> 20 [constraint=false]
180 -> 181 [constraint=false]
180 -> 18 [constraint=false]
181 -> 20 [constraint=false]
181 -> 208 [style=bold, color=red, weight=10]
182 -> 208 [constraint=false]
182 -> 209 [style=bold, color=red, weight=10]
186 -> 210 [constraint=false]
186 -> 136 [constraint=false]
191 -> 145 [constraint=false]
191 -> 215 [style=bold, color=red, weight=10]
208 -> 34 [constraint=false]
208 -> 224 [style=bold, color=red, weight=10]
209 -> 224 [constraint=false]
209 -> 36 [constraint=false]
210 -> 235 [style=bold, color=red, weight=10]
210 -> 168 [constraint=false]
215 -> 178 [constraint=false]
215 -> 238 [style=bold, color=red, weight=10]
224 -> 50 [constraint=false]
224 -> 51 [constraint=false]
235 -> 81 [constraint=false]
235 -> 36 [constraint=false]
238 -> 34 [constraint=false]
238 -> 78 [constraint=false]
}