Index ModelFamily ModelType ModelInstance Examination ID Consensus Solutions Nupn FormulaType
1 ARMCacheCoherence PT none StateSpace 00 320570000 3 NUPN UNKNOWN
2 ARMCacheCoherence PT none StateSpace 01 22340000000 3 NUPN UNKNOWN
3 ARMCacheCoherence PT none StateSpace 02 1 3 NUPN UNKNOWN
4 ARMCacheCoherence PT none StateSpace 03 12 3 NUPN UNKNOWN
5 ASLink PT 01a StateSpace 00 189400000 3 NUPN UNKNOWN
6 ASLink PT 01a StateSpace 01 956620000 3 NUPN UNKNOWN
7 ASLink PT 01a StateSpace 02 1 3 NUPN UNKNOWN
8 ASLink PT 01a StateSpace 03 23 3 NUPN UNKNOWN
9 ASLink PT 02a StateSpace 00 8867300000000 3 NUPN UNKNOWN
10 ASLink PT 02a StateSpace 01 70218000000000 3 NUPN UNKNOWN
11 ASLink PT 02a StateSpace 02 1 3 NUPN UNKNOWN
12 ASLink PT 02a StateSpace 03 36 3 NUPN UNKNOWN
13 ASLink PT 03a StateSpace 00 42435e13 3 NUPN UNKNOWN
14 ASLink PT 03a StateSpace 01 45791e14 3 NUPN UNKNOWN
15 ASLink PT 03a StateSpace 02 1 3 NUPN UNKNOWN
16 ASLink PT 03a StateSpace 03 49 3 NUPN UNKNOWN
17 AirplaneLD COL 0010 StateSpace 00 43463 3 NONE UNKNOWN
18 AirplaneLD COL 0010 StateSpace 01 183660 3 NONE UNKNOWN
19 AirplaneLD COL 0010 StateSpace 03 38 3 NONE UNKNOWN
20 AirplaneLD COL 0020 StateSpace 00 308300 3 NONE UNKNOWN
21 AirplaneLD COL 0020 StateSpace 01 1339100 3 NONE UNKNOWN
22 AirplaneLD COL 0020 StateSpace 03 68 3 NONE UNKNOWN
23 AirplaneLD COL 0050 StateSpace 00 4471200 3 NONE UNKNOWN
24 AirplaneLD COL 0050 StateSpace 01 19756000 3 NONE UNKNOWN
25 AirplaneLD COL 0050 StateSpace 03 158 3 NONE UNKNOWN
26 AirplaneLD COL 0100 StateSpace 00 34877000 3 NONE UNKNOWN
27 AirplaneLD COL 0100 StateSpace 01 155010000 3 NONE UNKNOWN
28 AirplaneLD COL 0100 StateSpace 03 308 3 NONE UNKNOWN
29 AirplaneLD COL 0200 StateSpace 00 275490000 3 NONE UNKNOWN
30 AirplaneLD COL 0200 StateSpace 01 1228000000 3 NONE UNKNOWN
31 AirplaneLD COL 0200 StateSpace 03 608 3 NONE UNKNOWN
32 AirplaneLD COL 0500 StateSpace 00 4271800000 3 NONE UNKNOWN
33 AirplaneLD COL 0500 StateSpace 01 19075000000 3 NONE UNKNOWN
34 AirplaneLD COL 0500 StateSpace 03 1508 3 NONE UNKNOWN
35 AirplaneLD PT 0010 StateSpace 00 43463 3 GEN UNKNOWN
36 AirplaneLD PT 0010 StateSpace 01 183660 3 GEN UNKNOWN
37 AirplaneLD PT 0010 StateSpace 02 1 3 GEN UNKNOWN
38 AirplaneLD PT 0010 StateSpace 03 38 3 GEN UNKNOWN
39 AirplaneLD PT 0020 StateSpace 00 308300 3 GEN UNKNOWN
40 AirplaneLD PT 0020 StateSpace 01 1339100 3 GEN UNKNOWN
41 AirplaneLD PT 0020 StateSpace 02 1 3 GEN UNKNOWN
42 AirplaneLD PT 0020 StateSpace 03 68 3 GEN UNKNOWN
43 AirplaneLD PT 0050 StateSpace 00 4471200 3 GEN UNKNOWN
44 AirplaneLD PT 0050 StateSpace 01 19756000 3 GEN UNKNOWN
45 AirplaneLD PT 0050 StateSpace 02 1 3 GEN UNKNOWN
46 AirplaneLD PT 0050 StateSpace 03 158 3 GEN UNKNOWN
47 AirplaneLD PT 0100 StateSpace 00 34877000 3 GEN UNKNOWN
48 AirplaneLD PT 0100 StateSpace 01 155010000 3 GEN UNKNOWN
49 AirplaneLD PT 0100 StateSpace 02 1 3 GEN UNKNOWN
50 AirplaneLD PT 0100 StateSpace 03 308 3 GEN UNKNOWN
51 AirplaneLD PT 0200 StateSpace 00 275490000 3 GEN UNKNOWN
52 AirplaneLD PT 0200 StateSpace 01 1228000000 3 GEN UNKNOWN
53 AirplaneLD PT 0200 StateSpace 02 1 3 GEN UNKNOWN
54 AirplaneLD PT 0200 StateSpace 03 608 3 GEN UNKNOWN
55 AirplaneLD PT 0500 StateSpace 00 4271800000 3 GEN UNKNOWN
56 AirplaneLD PT 0500 StateSpace 01 19075000000 3 GEN UNKNOWN
57 AirplaneLD PT 0500 StateSpace 02 1 3 GEN UNKNOWN
58 AirplaneLD PT 0500 StateSpace 03 1508 3 GEN UNKNOWN
59 Angiogenesis PT 01 StateSpace 00 110 3 GEN UNKNOWN
60 Angiogenesis PT 01 StateSpace 01 288 3 GEN UNKNOWN
61 Angiogenesis PT 01 StateSpace 02 1 3 GEN UNKNOWN
62 Angiogenesis PT 01 StateSpace 03 8 3 GEN UNKNOWN
63 Angiogenesis PT 05 StateSpace 00 42735000 3 NONE UNKNOWN
64 Angiogenesis PT 05 StateSpace 01 486870000 3 NONE UNKNOWN
65 Angiogenesis PT 05 StateSpace 02 5 3 NONE UNKNOWN
66 Angiogenesis PT 05 StateSpace 03 40 3 NONE UNKNOWN
67 Angiogenesis PT 10 StateSpace 00 822650000000 3 NONE UNKNOWN
68 Angiogenesis PT 10 StateSpace 01 15636000000000 3 NONE UNKNOWN
69 Angiogenesis PT 10 StateSpace 02 10 3 NONE UNKNOWN
70 Angiogenesis PT 10 StateSpace 03 80 3 NONE UNKNOWN
71 Angiogenesis PT 15 StateSpace 00 11155e11 3 NONE UNKNOWN
72 Angiogenesis PT 15 StateSpace 01 27474e12 3 NONE UNKNOWN
73 Angiogenesis PT 15 StateSpace 02 15 3 NONE UNKNOWN
74 Angiogenesis PT 15 StateSpace 03 120 3 NONE UNKNOWN
75 Angiogenesis PT 20 StateSpace 00 35182e13 3 NONE UNKNOWN
76 Angiogenesis PT 20 StateSpace 01 10195e15 2 NONE UNKNOWN
77 Angiogenesis PT 20 StateSpace 02 20 3 NONE UNKNOWN
78 Angiogenesis PT 20 StateSpace 03 160 3 NONE UNKNOWN
79 Angiogenesis PT 25 StateSpace 00 4309e16 1 NONE UNKNOWN
80 Angiogenesis PT 25 StateSpace 01 13984e17 1 NONE UNKNOWN
81 Angiogenesis PT 25 StateSpace 02 25 1 NONE UNKNOWN
82 Angiogenesis PT 25 StateSpace 03 200 1 NONE UNKNOWN
83 AutoFlight PT 01a StateSpace 00 253 3 NUPN UNKNOWN
84 AutoFlight PT 01a StateSpace 01 1120 3 NUPN UNKNOWN
85 AutoFlight PT 01a StateSpace 02 1 3 NUPN UNKNOWN
86 AutoFlight PT 01a StateSpace 03 9 3 NUPN UNKNOWN
87 AutoFlight PT 01b StateSpace 00 48882000 3 NUPN UNKNOWN
88 AutoFlight PT 01b StateSpace 01 354420000 3 NUPN UNKNOWN
89 AutoFlight PT 01b StateSpace 02 1 3 NUPN UNKNOWN
90 AutoFlight PT 01b StateSpace 03 9 3 NUPN UNKNOWN
91 AutoFlight PT 02a StateSpace 00 6949 3 NUPN UNKNOWN
92 AutoFlight PT 02a StateSpace 01 55285 3 NUPN UNKNOWN
93 AutoFlight PT 02a StateSpace 02 1 3 NUPN UNKNOWN
94 AutoFlight PT 02a StateSpace 03 15 3 NUPN UNKNOWN
95 AutoFlight PT 02b StateSpace 00 16155000000000 3 NUPN UNKNOWN
96 AutoFlight PT 02b StateSpace 01 203510000000000 3 NUPN UNKNOWN
97 AutoFlight PT 02b StateSpace 02 1 3 NUPN UNKNOWN
98 AutoFlight PT 02b StateSpace 03 15 3 NUPN UNKNOWN
99 AutoFlight PT 03a StateSpace 00 157680 3 NUPN UNKNOWN
100 AutoFlight PT 03a StateSpace 01 1821200 3 NUPN UNKNOWN
101 AutoFlight PT 03a StateSpace 02 1 3 NUPN UNKNOWN
102 AutoFlight PT 03a StateSpace 03 21 3 NUPN UNKNOWN
103 AutoFlight PT 03b StateSpace 00 40962e14 3 NUPN UNKNOWN
104 AutoFlight PT 03b StateSpace 01 73643e15 3 NUPN UNKNOWN
105 AutoFlight PT 03b StateSpace 02 1 3 NUPN UNKNOWN
106 AutoFlight PT 03b StateSpace 03 21 3 NUPN UNKNOWN
107 AutoFlight PT 04a StateSpace 00 3332000 3 NUPN UNKNOWN
108 AutoFlight PT 04a StateSpace 01 50619000 3 NUPN UNKNOWN
109 AutoFlight PT 04a StateSpace 02 1 3 NUPN UNKNOWN
110 AutoFlight PT 04a StateSpace 03 27 3 NUPN UNKNOWN
111 AutoFlight PT 04b StateSpace 00 90465e19 3 NUPN UNKNOWN
112 AutoFlight PT 04b StateSpace 01 2114e22 3 NUPN UNKNOWN
113 AutoFlight PT 04b StateSpace 02 1 3 NUPN UNKNOWN
114 AutoFlight PT 04b StateSpace 03 27 3 NUPN UNKNOWN
115 AutoFlight PT 05a StateSpace 00 68180000 3 NUPN UNKNOWN
116 AutoFlight PT 05a StateSpace 01 1286200000 3 NUPN UNKNOWN
117 AutoFlight PT 05a StateSpace 02 1 3 NUPN UNKNOWN
118 AutoFlight PT 05a StateSpace 03 33 3 NUPN UNKNOWN
119 AutoFlight PT 05b StateSpace 00 18382e25 3 NUPN UNKNOWN
120 AutoFlight PT 05b StateSpace 01 52864e26 3 NUPN UNKNOWN
121 AutoFlight PT 05b StateSpace 02 1 3 NUPN UNKNOWN
122 AutoFlight PT 05b StateSpace 03 33 3 NUPN UNKNOWN
123 AutoFlight PT 06a StateSpace 00 1371900000 3 NUPN UNKNOWN
124 AutoFlight PT 06a StateSpace 01 30943000000 3 NUPN UNKNOWN
125 AutoFlight PT 06a StateSpace 02 1 3 NUPN UNKNOWN
126 AutoFlight PT 06a StateSpace 03 39 3 NUPN UNKNOWN
127 AutoFlight PT 12a StateSpace 00 78221e12 3 NUPN UNKNOWN
128 AutoFlight PT 12a StateSpace 01 34975e14 3 NUPN UNKNOWN
129 AutoFlight PT 12a StateSpace 02 1 3 NUPN UNKNOWN
130 AutoFlight PT 12a StateSpace 03 75 3 NUPN UNKNOWN
131 AutoFlight PT 24a StateSpace 00 16997e28 3 NUPN UNKNOWN
132 AutoFlight PT 24a StateSpace 01 15091e30 3 NUPN UNKNOWN
133 AutoFlight PT 24a StateSpace 02 1 3 NUPN UNKNOWN
134 AutoFlight PT 24a StateSpace 03 147 3 NUPN UNKNOWN
135 AutoFlight PT 48a StateSpace 00 16136000000000002e35 3 NUPN UNKNOWN
136 AutoFlight PT 48a StateSpace 01 2337e50 3 NUPN UNKNOWN
137 AutoFlight PT 48a StateSpace 02 1 3 NUPN UNKNOWN
138 AutoFlight PT 48a StateSpace 03 257 3 NUPN UNKNOWN
139 AutoFlight PT 96a StateSpace 00 20424e96 1 NUPN UNKNOWN
140 AutoFlight PT 96a StateSpace 01 5899000000000001e87 1 NUPN UNKNOWN
141 AutoFlight PT 96a StateSpace 02 1 1 NUPN UNKNOWN
142 AutoFlight PT 96a StateSpace 03 513 1 NUPN UNKNOWN
143 BART PT 002 StateSpace 00 17424 3 GEN UNKNOWN
144 BART PT 002 StateSpace 01 53328 3 GEN UNKNOWN
145 BART PT 002 StateSpace 02 1 3 GEN UNKNOWN
146 BART PT 002 StateSpace 03 212 3 GEN UNKNOWN
147 BART PT 005 StateSpace 00 40075000000 3 GEN UNKNOWN
148 BART PT 005 StateSpace 01 306630000000 3 GEN UNKNOWN
149 BART PT 005 StateSpace 02 1 3 GEN UNKNOWN
150 BART PT 005 StateSpace 03 215 3 GEN UNKNOWN
151 BART PT 010 StateSpace 00 1606e18 3 GEN UNKNOWN
152 BART PT 010 StateSpace 01 24576e18 3 GEN UNKNOWN
153 BART PT 010 StateSpace 02 1 3 GEN UNKNOWN
154 BART PT 010 StateSpace 03 220 3 GEN UNKNOWN
155 BART PT 020 StateSpace 00 25792e38 3 GEN UNKNOWN
156 BART PT 020 StateSpace 01 7893800000000001e28 3 GEN UNKNOWN
157 BART PT 020 StateSpace 02 1 3 GEN UNKNOWN
158 BART PT 020 StateSpace 03 230 3 GEN UNKNOWN
159 BART PT 030 StateSpace 00 41421000000000004e47 3 GEN UNKNOWN
160 BART PT 030 StateSpace 01 19015999999999998e49 3 GEN UNKNOWN
161 BART PT 030 StateSpace 02 1 3 GEN UNKNOWN
162 BART PT 030 StateSpace 03 240 3 GEN UNKNOWN
163 BART PT 040 StateSpace 00 66521e80 3 GEN UNKNOWN
164 BART PT 040 StateSpace 01 40719e82 3 GEN UNKNOWN
165 BART PT 040 StateSpace 02 1 3 GEN UNKNOWN
166 BART PT 040 StateSpace 03 250 3 GEN UNKNOWN
167 BridgeAndVehicles COL V04P05N02 StateSpace 00 2874 3 NONE UNKNOWN
168 BridgeAndVehicles COL V04P05N02 StateSpace 01 7160 3 NONE UNKNOWN
169 BridgeAndVehicles COL V04P05N02 StateSpace 03 17 3 NONE UNKNOWN
170 BridgeAndVehicles COL V10P10N10 StateSpace 00 259560 3 NONE UNKNOWN
171 BridgeAndVehicles COL V10P10N10 StateSpace 01 821280 3 NONE UNKNOWN
172 BridgeAndVehicles COL V10P10N10 StateSpace 03 34 3 NONE UNKNOWN
173 BridgeAndVehicles COL V20P10N10 StateSpace 00 6732600 3 NONE UNKNOWN
174 BridgeAndVehicles COL V20P10N10 StateSpace 01 23489000 3 NONE UNKNOWN
175 BridgeAndVehicles COL V20P10N10 StateSpace 03 54 3 NONE UNKNOWN
176 BridgeAndVehicles COL V20P10N20 StateSpace 00 9076300 3 NONE UNKNOWN
177 BridgeAndVehicles COL V20P10N20 StateSpace 01 31773000 3 NONE UNKNOWN
178 BridgeAndVehicles COL V20P10N20 StateSpace 03 54 3 NONE UNKNOWN
179 BridgeAndVehicles COL V20P10N50 StateSpace 00 9080900 3 NONE UNKNOWN
180 BridgeAndVehicles COL V20P10N50 StateSpace 01 31786000 3 NONE UNKNOWN
181 BridgeAndVehicles COL V20P10N50 StateSpace 03 54 3 NONE UNKNOWN
182 BridgeAndVehicles COL V20P20N10 StateSpace 00 6732600 3 NONE UNKNOWN
183 BridgeAndVehicles COL V20P20N10 StateSpace 01 23489000 3 NONE UNKNOWN
184 BridgeAndVehicles COL V20P20N10 StateSpace 03 64 3 NONE UNKNOWN
185 BridgeAndVehicles COL V20P20N20 StateSpace 00 9783600 3 NONE UNKNOWN
186 BridgeAndVehicles COL V20P20N20 StateSpace 01 34321000 3 NONE UNKNOWN
187 BridgeAndVehicles COL V20P20N20 StateSpace 03 64 3 NONE UNKNOWN
188 BridgeAndVehicles COL V20P20N50 StateSpace 00 9792300 3 NONE UNKNOWN
189 BridgeAndVehicles COL V20P20N50 StateSpace 01 34346000 3 NONE UNKNOWN
190 BridgeAndVehicles COL V20P20N50 StateSpace 03 64 3 NONE UNKNOWN
191 BridgeAndVehicles COL V50P20N10 StateSpace 00 347630000 3 NONE UNKNOWN
192 BridgeAndVehicles COL V50P20N10 StateSpace 01 1271700000 3 NONE UNKNOWN
193 BridgeAndVehicles COL V50P20N10 StateSpace 03 124 3 NONE UNKNOWN
194 BridgeAndVehicles COL V50P20N20 StateSpace 00 896290000 3 NONE UNKNOWN
195 BridgeAndVehicles COL V50P20N20 StateSpace 01 3363700000 3 NONE UNKNOWN
196 BridgeAndVehicles COL V50P20N20 StateSpace 03 124 3 NONE UNKNOWN
197 BridgeAndVehicles COL V50P20N50 StateSpace 00 1454600000 3 NONE UNKNOWN
198 BridgeAndVehicles COL V50P20N50 StateSpace 01 5484000000 3 NONE UNKNOWN
199 BridgeAndVehicles COL V50P20N50 StateSpace 03 124 3 NONE UNKNOWN
200 BridgeAndVehicles COL V50P50N10 StateSpace 00 347630000 3 NONE UNKNOWN
201 BridgeAndVehicles COL V50P50N10 StateSpace 01 1271700000 3 NONE UNKNOWN
202 BridgeAndVehicles COL V50P50N10 StateSpace 03 154 3 NONE UNKNOWN
203 BridgeAndVehicles COL V50P50N20 StateSpace 00 896290000 3 NONE UNKNOWN
204 BridgeAndVehicles COL V50P50N20 StateSpace 01 3363700000 3 NONE UNKNOWN
205 BridgeAndVehicles COL V50P50N20 StateSpace 03 154 3 NONE UNKNOWN
206 BridgeAndVehicles COL V50P50N50 StateSpace 00 1676900000 3 NONE UNKNOWN
207 BridgeAndVehicles COL V50P50N50 StateSpace 01 6337400000 3 NONE UNKNOWN
208 BridgeAndVehicles COL V50P50N50 StateSpace 03 154 3 NONE UNKNOWN
209 BridgeAndVehicles COL V80P20N10 StateSpace 00 2432900000 3 NONE UNKNOWN
210 BridgeAndVehicles COL V80P20N10 StateSpace 01 8993400000 3 NONE UNKNOWN
211 BridgeAndVehicles COL V80P20N10 StateSpace 03 184 3 NONE UNKNOWN
212 BridgeAndVehicles COL V80P20N20 StateSpace 00 7099600000 3 NONE UNKNOWN
213 BridgeAndVehicles COL V80P20N20 StateSpace 03 184 3 NONE UNKNOWN
214 BridgeAndVehicles COL V80P20N50 StateSpace 00 16235000000 1 NONE UNKNOWN
215 BridgeAndVehicles COL V80P20N50 StateSpace 03 184 1 NONE UNKNOWN
216 BridgeAndVehicles COL V80P50N10 StateSpace 00 2432900000 3 NONE UNKNOWN
217 BridgeAndVehicles COL V80P50N10 StateSpace 01 8993400000 3 NONE UNKNOWN
218 BridgeAndVehicles COL V80P50N10 StateSpace 03 214 3 NONE UNKNOWN
219 BridgeAndVehicles COL V80P50N20 StateSpace 00 7099600000 3 NONE UNKNOWN
220 BridgeAndVehicles COL V80P50N20 StateSpace 03 214 3 NONE UNKNOWN
221 BridgeAndVehicles COL V80P50N50 StateSpace 00 21619000000 1 NONE UNKNOWN
222 BridgeAndVehicles COL V80P50N50 StateSpace 03 214 1 NONE UNKNOWN
223 BridgeAndVehicles PT V04P05N02 StateSpace 00 2874 3 NONE UNKNOWN
224 BridgeAndVehicles PT V04P05N02 StateSpace 01 7160 3 NONE UNKNOWN
225 BridgeAndVehicles PT V04P05N02 StateSpace 02 5 3 NONE UNKNOWN
226 BridgeAndVehicles PT V04P05N02 StateSpace 03 17 3 NONE UNKNOWN
227 BridgeAndVehicles PT V10P10N10 StateSpace 00 259560 3 NONE UNKNOWN
228 BridgeAndVehicles PT V10P10N10 StateSpace 01 821280 3 NONE UNKNOWN
229 BridgeAndVehicles PT V10P10N10 StateSpace 02 10 3 NONE UNKNOWN
230 BridgeAndVehicles PT V10P10N10 StateSpace 03 34 3 NONE UNKNOWN
231 BridgeAndVehicles PT V20P10N10 StateSpace 00 6732600 3 NONE UNKNOWN
232 BridgeAndVehicles PT V20P10N10 StateSpace 01 23489000 3 NONE UNKNOWN
233 BridgeAndVehicles PT V20P10N10 StateSpace 02 20 3 NONE UNKNOWN
234 BridgeAndVehicles PT V20P10N10 StateSpace 03 54 3 NONE UNKNOWN
235 BridgeAndVehicles PT V20P10N20 StateSpace 00 9076300 3 NONE UNKNOWN
236 BridgeAndVehicles PT V20P10N20 StateSpace 01 31773000 3 NONE UNKNOWN
237 BridgeAndVehicles PT V20P10N20 StateSpace 02 20 3 NONE UNKNOWN
238 BridgeAndVehicles PT V20P10N20 StateSpace 03 54 3 NONE UNKNOWN
239 BridgeAndVehicles PT V20P10N50 StateSpace 00 9080900 3 NONE UNKNOWN
240 BridgeAndVehicles PT V20P10N50 StateSpace 01 31786000 3 NONE UNKNOWN
241 BridgeAndVehicles PT V20P10N50 StateSpace 02 20 3 NONE UNKNOWN
242 BridgeAndVehicles PT V20P10N50 StateSpace 03 54 3 NONE UNKNOWN
243 BridgeAndVehicles PT V20P20N10 StateSpace 00 6732600 3 NONE UNKNOWN
244 BridgeAndVehicles PT V20P20N10 StateSpace 01 23489000 3 NONE UNKNOWN
245 BridgeAndVehicles PT V20P20N10 StateSpace 02 20 3 NONE UNKNOWN
246 BridgeAndVehicles PT V20P20N10 StateSpace 03 64 3 NONE UNKNOWN
247 BridgeAndVehicles PT V20P20N20 StateSpace 00 9783600 3 NONE UNKNOWN
248 BridgeAndVehicles PT V20P20N20 StateSpace 01 34321000 3 NONE UNKNOWN
249 BridgeAndVehicles PT V20P20N20 StateSpace 02 20 3 NONE UNKNOWN
250 BridgeAndVehicles PT V20P20N20 StateSpace 03 64 3 NONE UNKNOWN
251 BridgeAndVehicles PT V20P20N50 StateSpace 00 9792300 3 NONE UNKNOWN
252 BridgeAndVehicles PT V20P20N50 StateSpace 01 34346000 3 NONE UNKNOWN
253 BridgeAndVehicles PT V20P20N50 StateSpace 02 20 3 NONE UNKNOWN
254 BridgeAndVehicles PT V20P20N50 StateSpace 03 64 3 NONE UNKNOWN
255 BridgeAndVehicles PT V50P20N10 StateSpace 00 347630000 3 NONE UNKNOWN
256 BridgeAndVehicles PT V50P20N10 StateSpace 01 1271700000 3 NONE UNKNOWN
257 BridgeAndVehicles PT V50P20N10 StateSpace 02 50 3 NONE UNKNOWN
258 BridgeAndVehicles PT V50P20N10 StateSpace 03 124 3 NONE UNKNOWN
259 BridgeAndVehicles PT V50P20N20 StateSpace 00 896290000 3 NONE UNKNOWN
260 BridgeAndVehicles PT V50P20N20 StateSpace 01 3363700000 3 NONE UNKNOWN
261 BridgeAndVehicles PT V50P20N20 StateSpace 02 50 3 NONE UNKNOWN
262 BridgeAndVehicles PT V50P20N20 StateSpace 03 124 3 NONE UNKNOWN
263 BridgeAndVehicles PT V50P20N50 StateSpace 00 1454600000 3 NONE UNKNOWN
264 BridgeAndVehicles PT V50P20N50 StateSpace 01 5484000000 3 NONE UNKNOWN
265 BridgeAndVehicles PT V50P20N50 StateSpace 02 50 3 NONE UNKNOWN
266 BridgeAndVehicles PT V50P20N50 StateSpace 03 124 3 NONE UNKNOWN
267 BridgeAndVehicles PT V50P50N10 StateSpace 00 347630000 3 NONE UNKNOWN
268 BridgeAndVehicles PT V50P50N10 StateSpace 01 1271700000 3 NONE UNKNOWN
269 BridgeAndVehicles PT V50P50N10 StateSpace 02 50 3 NONE UNKNOWN
270 BridgeAndVehicles PT V50P50N10 StateSpace 03 154 3 NONE UNKNOWN
271 BridgeAndVehicles PT V50P50N20 StateSpace 00 896290000 3 NONE UNKNOWN
272 BridgeAndVehicles PT V50P50N20 StateSpace 01 3363700000 3 NONE UNKNOWN
273 BridgeAndVehicles PT V50P50N20 StateSpace 02 50 3 NONE UNKNOWN
274 BridgeAndVehicles PT V50P50N20 StateSpace 03 154 3 NONE UNKNOWN
275 BridgeAndVehicles PT V50P50N50 StateSpace 00 1676900000 3 NONE UNKNOWN
276 BridgeAndVehicles PT V50P50N50 StateSpace 01 6337400000 3 NONE UNKNOWN
277 BridgeAndVehicles PT V50P50N50 StateSpace 02 50 3 NONE UNKNOWN
278 BridgeAndVehicles PT V50P50N50 StateSpace 03 154 3 NONE UNKNOWN
279 BridgeAndVehicles PT V80P20N10 StateSpace 00 2432900000 3 NONE UNKNOWN
280 BridgeAndVehicles PT V80P20N10 StateSpace 01 8993400000 3 NONE UNKNOWN
281 BridgeAndVehicles PT V80P20N10 StateSpace 02 80 3 NONE UNKNOWN
282 BridgeAndVehicles PT V80P20N10 StateSpace 03 184 3 NONE UNKNOWN
283 BridgeAndVehicles PT V80P20N20 StateSpace 00 7099600000 3 NONE UNKNOWN
284 BridgeAndVehicles PT V80P20N20 StateSpace 02 80 3 NONE UNKNOWN
285 BridgeAndVehicles PT V80P20N20 StateSpace 03 184 3 NONE UNKNOWN
286 BridgeAndVehicles PT V80P20N50 StateSpace 00 16235000000 1 NONE UNKNOWN
287 BridgeAndVehicles PT V80P20N50 StateSpace 02 80 1 NONE UNKNOWN
288 BridgeAndVehicles PT V80P20N50 StateSpace 03 184 1 NONE UNKNOWN
289 BridgeAndVehicles PT V80P50N10 StateSpace 00 2432900000 3 NONE UNKNOWN
290 BridgeAndVehicles PT V80P50N10 StateSpace 01 8993400000 3 NONE UNKNOWN
291 BridgeAndVehicles PT V80P50N10 StateSpace 02 80 3 NONE UNKNOWN
292 BridgeAndVehicles PT V80P50N10 StateSpace 03 214 3 NONE UNKNOWN
293 BridgeAndVehicles PT V80P50N20 StateSpace 00 7099600000 3 NONE UNKNOWN
294 BridgeAndVehicles PT V80P50N20 StateSpace 02 80 3 NONE UNKNOWN
295 BridgeAndVehicles PT V80P50N20 StateSpace 03 214 3 NONE UNKNOWN
296 BridgeAndVehicles PT V80P50N50 StateSpace 00 21619000000 1 NONE UNKNOWN
297 BridgeAndVehicles PT V80P50N50 StateSpace 02 80 1 NONE UNKNOWN
298 BridgeAndVehicles PT V80P50N50 StateSpace 03 214 1 NONE UNKNOWN
299 BusinessProcesses PT 01 StateSpace 00 24161000000 3 NUPN UNKNOWN
300 BusinessProcesses PT 01 StateSpace 01 276500000000 3 NUPN UNKNOWN
301 BusinessProcesses PT 01 StateSpace 02 1 3 NUPN UNKNOWN
302 BusinessProcesses PT 01 StateSpace 03 22 3 NUPN UNKNOWN
303 BusinessProcesses PT 02 StateSpace 00 3143200000000 3 NUPN UNKNOWN
304 BusinessProcesses PT 02 StateSpace 01 50565000000000 3 NUPN UNKNOWN
305 BusinessProcesses PT 02 StateSpace 02 1 3 NUPN UNKNOWN
306 BusinessProcesses PT 02 StateSpace 03 32 3 NUPN UNKNOWN
307 BusinessProcesses PT 03 StateSpace 00 14794000000000 3 NUPN UNKNOWN
308 BusinessProcesses PT 03 StateSpace 01 258220000000000 3 NUPN UNKNOWN
309 BusinessProcesses PT 03 StateSpace 02 1 3 NUPN UNKNOWN
310 BusinessProcesses PT 03 StateSpace 03 31 3 NUPN UNKNOWN
311 BusinessProcesses PT 04 StateSpace 00 219700000000 3 NUPN UNKNOWN
312 BusinessProcesses PT 04 StateSpace 01 2557500000000 3 NUPN UNKNOWN
313 BusinessProcesses PT 04 StateSpace 02 1 3 NUPN UNKNOWN
314 BusinessProcesses PT 04 StateSpace 03 25 3 NUPN UNKNOWN
315 BusinessProcesses PT 05 StateSpace 00 23839e13 3 NUPN UNKNOWN
316 BusinessProcesses PT 05 StateSpace 01 55862e14 3 NUPN UNKNOWN
317 BusinessProcesses PT 05 StateSpace 02 1 3 NUPN UNKNOWN
318 BusinessProcesses PT 05 StateSpace 03 41 3 NUPN UNKNOWN
319 BusinessProcesses PT 06 StateSpace 00 29156e14 3 NUPN UNKNOWN
320 BusinessProcesses PT 06 StateSpace 01 67554e15 3 NUPN UNKNOWN
321 BusinessProcesses PT 06 StateSpace 02 1 3 NUPN UNKNOWN
322 BusinessProcesses PT 06 StateSpace 03 56 3 NUPN UNKNOWN
323 BusinessProcesses PT 07 StateSpace 00 81436e13 3 NUPN UNKNOWN
324 BusinessProcesses PT 07 StateSpace 01 14959e15 3 NUPN UNKNOWN
325 BusinessProcesses PT 07 StateSpace 02 1 3 NUPN UNKNOWN
326 BusinessProcesses PT 07 StateSpace 03 39 3 NUPN UNKNOWN
327 BusinessProcesses PT 08 StateSpace 00 494e15 3 NUPN UNKNOWN
328 BusinessProcesses PT 08 StateSpace 01 11592e15 3 NUPN UNKNOWN
329 BusinessProcesses PT 08 StateSpace 02 1 3 NUPN UNKNOWN
330 BusinessProcesses PT 08 StateSpace 03 44 3 NUPN UNKNOWN
331 BusinessProcesses PT 09 StateSpace 00 75226e14 3 NUPN UNKNOWN
332 BusinessProcesses PT 09 StateSpace 01 14557e16 3 NUPN UNKNOWN
333 BusinessProcesses PT 09 StateSpace 02 1 3 NUPN UNKNOWN
334 BusinessProcesses PT 09 StateSpace 03 41 3 NUPN UNKNOWN
335 BusinessProcesses PT 10 StateSpace 00 20834e21 3 NUPN UNKNOWN
336 BusinessProcesses PT 10 StateSpace 01 52705e22 3 NUPN UNKNOWN
337 BusinessProcesses PT 10 StateSpace 02 1 3 NUPN UNKNOWN
338 BusinessProcesses PT 10 StateSpace 03 54 3 NUPN UNKNOWN
339 BusinessProcesses PT 11 StateSpace 00 71819e18 3 NUPN UNKNOWN
340 BusinessProcesses PT 11 StateSpace 01 20996e20 3 NUPN UNKNOWN
341 BusinessProcesses PT 11 StateSpace 02 1 3 NUPN UNKNOWN
342 BusinessProcesses PT 11 StateSpace 03 61 3 NUPN UNKNOWN
343 BusinessProcesses PT 12 StateSpace 00 61433e19 3 NUPN UNKNOWN
344 BusinessProcesses PT 12 StateSpace 01 18594e21 3 NUPN UNKNOWN
345 BusinessProcesses PT 12 StateSpace 02 1 3 NUPN UNKNOWN
346 BusinessProcesses PT 12 StateSpace 03 63 3 NUPN UNKNOWN
347 BusinessProcesses PT 13 StateSpace 00 31266e21 3 NUPN UNKNOWN
348 BusinessProcesses PT 13 StateSpace 02 1 3 NUPN UNKNOWN
349 BusinessProcesses PT 13 StateSpace 03 62 3 NUPN UNKNOWN
350 BusinessProcesses PT 14 StateSpace 00 5185e23 3 NUPN UNKNOWN
351 BusinessProcesses PT 14 StateSpace 02 1 3 NUPN UNKNOWN
352 BusinessProcesses PT 14 StateSpace 03 65 3 NUPN UNKNOWN
353 BusinessProcesses PT 15 StateSpace 00 88732e21 3 NUPN UNKNOWN
354 BusinessProcesses PT 15 StateSpace 01 29366e23 3 NUPN UNKNOWN
355 BusinessProcesses PT 15 StateSpace 02 1 3 NUPN UNKNOWN
356 BusinessProcesses PT 15 StateSpace 03 67 3 NUPN UNKNOWN
357 BusinessProcesses PT 16 StateSpace 00 37426999999999994e11 3 NUPN UNKNOWN
358 BusinessProcesses PT 16 StateSpace 01 13080000000000001e13 3 NUPN UNKNOWN
359 BusinessProcesses PT 16 StateSpace 02 1 3 NUPN UNKNOWN
360 BusinessProcesses PT 16 StateSpace 03 66 3 NUPN UNKNOWN
361 BusinessProcesses PT 17 StateSpace 00 37496e22 3 NUPN UNKNOWN
362 BusinessProcesses PT 17 StateSpace 01 12757e24 3 NUPN UNKNOWN
363 BusinessProcesses PT 17 StateSpace 02 1 3 NUPN UNKNOWN
364 BusinessProcesses PT 17 StateSpace 03 70 3 NUPN UNKNOWN
365 BusinessProcesses PT 18 StateSpace 00 37276e27 3 NUPN UNKNOWN
366 BusinessProcesses PT 18 StateSpace 01 14065e29 3 NUPN UNKNOWN
367 BusinessProcesses PT 18 StateSpace 02 1 3 NUPN UNKNOWN
368 BusinessProcesses PT 18 StateSpace 03 77 3 NUPN UNKNOWN
369 BusinessProcesses PT 19 StateSpace 00 7157099999999999e18 3 NUPN UNKNOWN
370 BusinessProcesses PT 19 StateSpace 02 1 3 NUPN UNKNOWN
371 BusinessProcesses PT 19 StateSpace 03 84 3 NUPN UNKNOWN
372 CSRepetitions COL 02 StateSpace 00 7424 3 NONE UNKNOWN
373 CSRepetitions COL 02 StateSpace 01 37088 3 NONE UNKNOWN
374 CSRepetitions COL 02 StateSpace 03 8 3 NONE UNKNOWN
375 CSRepetitions COL 03 StateSpace 00 134070000 3 NONE UNKNOWN
376 CSRepetitions COL 03 StateSpace 01 1293900000 3 NONE UNKNOWN
377 CSRepetitions COL 03 StateSpace 03 15 3 NONE UNKNOWN
378 CSRepetitions COL 04 StateSpace 00 30948000000000 2 NONE UNKNOWN
379 CSRepetitions COL 04 StateSpace 01 471360000000000 1 NONE UNKNOWN
380 CSRepetitions COL 04 StateSpace 03 24 2 NONE UNKNOWN
381 CSRepetitions COL 05 StateSpace 00 65491e15 2 NONE UNKNOWN
382 CSRepetitions COL 05 StateSpace 01 14258e17 1 NONE UNKNOWN
383 CSRepetitions COL 05 StateSpace 03 35 2 NONE UNKNOWN
384 CSRepetitions COL 07 StateSpace 00 11507e31 1 NONE UNKNOWN
385 CSRepetitions COL 07 StateSpace 01 43513000000000005e20 1 NONE UNKNOWN
386 CSRepetitions COL 07 StateSpace 03 63 1 NONE UNKNOWN
387 CSRepetitions PT 02 StateSpace 00 7424 3 NONE UNKNOWN
388 CSRepetitions PT 02 StateSpace 01 37088 3 NONE UNKNOWN
389 CSRepetitions PT 02 StateSpace 02 2 3 NONE UNKNOWN
390 CSRepetitions PT 02 StateSpace 03 8 3 NONE UNKNOWN
391 CSRepetitions PT 03 StateSpace 00 134070000 3 NONE UNKNOWN
392 CSRepetitions PT 03 StateSpace 01 1293900000 3 NONE UNKNOWN
393 CSRepetitions PT 03 StateSpace 02 3 3 NONE UNKNOWN
394 CSRepetitions PT 03 StateSpace 03 15 3 NONE UNKNOWN
395 CSRepetitions PT 04 StateSpace 00 30948000000000 3 NONE UNKNOWN
396 CSRepetitions PT 04 StateSpace 01 471360000000000 2 NONE UNKNOWN
397 CSRepetitions PT 04 StateSpace 02 4 3 NONE UNKNOWN
398 CSRepetitions PT 04 StateSpace 03 24 3 NONE UNKNOWN
399 CSRepetitions PT 05 StateSpace 00 65491e15 2 NONE UNKNOWN
400 CSRepetitions PT 05 StateSpace 01 14258e17 1 NONE UNKNOWN
401 CSRepetitions PT 05 StateSpace 02 5 2 NONE UNKNOWN
402 CSRepetitions PT 05 StateSpace 03 35 2 NONE UNKNOWN
403 CSRepetitions PT 07 StateSpace 00 11507e31 1 NONE UNKNOWN
404 CSRepetitions PT 07 StateSpace 02 7 1 NONE UNKNOWN
405 CSRepetitions PT 07 StateSpace 03 63 1 NONE UNKNOWN
406 CircadianClock PT 000001 StateSpace 00 128 3 GEN UNKNOWN
407 CircadianClock PT 000001 StateSpace 01 624 3 GEN UNKNOWN
408 CircadianClock PT 000001 StateSpace 02 1 3 GEN UNKNOWN
409 CircadianClock PT 000001 StateSpace 03 7 3 GEN UNKNOWN
410 CircadianClock PT 000010 StateSpace 00 644200 3 NONE UNKNOWN
411 CircadianClock PT 000010 StateSpace 01 6766300 3 NONE UNKNOWN
412 CircadianClock PT 000010 StateSpace 02 10 3 NONE UNKNOWN
413 CircadianClock PT 000010 StateSpace 03 52 3 NONE UNKNOWN
414 CircadianClock PT 000100 StateSpace 00 42040000000 3 NONE UNKNOWN
415 CircadianClock PT 000100 StateSpace 01 497430000000 3 NONE UNKNOWN
416 CircadianClock PT 000100 StateSpace 02 100 3 NONE UNKNOWN
417 CircadianClock PT 000100 StateSpace 03 502 3 NONE UNKNOWN
418 CircadianClock PT 001000 StateSpace 00 402e13 3 NONE UNKNOWN
419 CircadianClock PT 001000 StateSpace 01 48172e12 3 NONE UNKNOWN
420 CircadianClock PT 001000 StateSpace 02 1000 3 NONE UNKNOWN
421 CircadianClock PT 001000 StateSpace 03 5002 3 NONE UNKNOWN
422 CircularTrains PT 012 StateSpace 00 195 3 NONE UNKNOWN
423 CircularTrains PT 012 StateSpace 01 496 3 NONE UNKNOWN
424 CircularTrains PT 012 StateSpace 02 2 3 NONE UNKNOWN
425 CircularTrains PT 012 StateSpace 03 12 3 NONE UNKNOWN
426 CircularTrains PT 024 StateSpace 00 86515 3 NONE UNKNOWN
427 CircularTrains PT 024 StateSpace 01 411680 3 NONE UNKNOWN
428 CircularTrains PT 024 StateSpace 02 2 3 NONE UNKNOWN
429 CircularTrains PT 024 StateSpace 03 24 3 NONE UNKNOWN
430 CircularTrains PT 048 StateSpace 00 23973000000 3 NONE UNKNOWN
431 CircularTrains PT 048 StateSpace 01 221240000000 3 NONE UNKNOWN
432 CircularTrains PT 048 StateSpace 02 2 3 NONE UNKNOWN
433 CircularTrains PT 048 StateSpace 03 48 3 NONE UNKNOWN
434 CircularTrains PT 096 StateSpace 00 25913e17 3 NONE UNKNOWN
435 CircularTrains PT 096 StateSpace 01 47121e18 3 NONE UNKNOWN
436 CircularTrains PT 096 StateSpace 02 2 3 NONE UNKNOWN
437 CircularTrains PT 096 StateSpace 03 96 3 NONE UNKNOWN
438 CircularTrains PT 192 StateSpace 00 42702000000000003e27 3 NONE UNKNOWN
439 CircularTrains PT 192 StateSpace 01 15416e41 3 NONE UNKNOWN
440 CircularTrains PT 192 StateSpace 02 2 3 NONE UNKNOWN
441 CircularTrains PT 192 StateSpace 03 192 3 NONE UNKNOWN
442 CircularTrains PT 384 StateSpace 00 16377000000000002e72 3 NONE UNKNOWN
443 CircularTrains PT 384 StateSpace 01 11782e86 3 NONE UNKNOWN
444 CircularTrains PT 384 StateSpace 02 2 3 NONE UNKNOWN
445 CircularTrains PT 384 StateSpace 03 384 3 NONE UNKNOWN
446 CircularTrains PT 768 StateSpace 00 34039000000000003e161 2 NONE UNKNOWN
447 CircularTrains PT 768 StateSpace 01 48887000000000004e163 2 NONE UNKNOWN
448 CircularTrains PT 768 StateSpace 02 2 2 NONE UNKNOWN
449 CircularTrains PT 768 StateSpace 03 768 2 NONE UNKNOWN
450 ClientsAndServers PT N0001P0 StateSpace 00 27576 3 NONE UNKNOWN
451 ClientsAndServers PT N0001P0 StateSpace 01 113320 3 NONE UNKNOWN
452 ClientsAndServers PT N0001P0 StateSpace 02 8 3 NONE UNKNOWN
453 ClientsAndServers PT N0001P0 StateSpace 03 25 3 NONE UNKNOWN
454 ClientsAndServers PT N0002P0 StateSpace 00 7081600 3 NONE UNKNOWN
455 ClientsAndServers PT N0002P0 StateSpace 01 44030000 3 NONE UNKNOWN
456 ClientsAndServers PT N0002P0 StateSpace 02 16 3 NONE UNKNOWN
457 ClientsAndServers PT N0002P0 StateSpace 03 50 3 NONE UNKNOWN
458 ClientsAndServers PT N0002P1 StateSpace 00 12462000 3 NONE UNKNOWN
459 ClientsAndServers PT N0002P1 StateSpace 01 77859000 3 NONE UNKNOWN
460 ClientsAndServers PT N0002P1 StateSpace 02 16 3 NONE UNKNOWN
461 ClientsAndServers PT N0002P1 StateSpace 03 55 3 NONE UNKNOWN
462 ClientsAndServers PT N0005P0 StateSpace 00 125510000000 3 NONE UNKNOWN
463 ClientsAndServers PT N0005P0 StateSpace 01 1215600000000 3 NONE UNKNOWN
464 ClientsAndServers PT N0005P0 StateSpace 02 40 3 NONE UNKNOWN
465 ClientsAndServers PT N0005P0 StateSpace 03 125 3 NONE UNKNOWN
466 ClientsAndServers PT N0005P1 StateSpace 00 211710000000 3 NONE UNKNOWN
467 ClientsAndServers PT N0005P1 StateSpace 01 2063200000000 3 NONE UNKNOWN
468 ClientsAndServers PT N0005P1 StateSpace 02 40 3 NONE UNKNOWN
469 ClientsAndServers PT N0005P1 StateSpace 03 130 3 NONE UNKNOWN
470 ClientsAndServers PT N0010P0 StateSpace 00 10911e11 3 NONE UNKNOWN
471 ClientsAndServers PT N0010P0 StateSpace 01 13487e12 3 NONE UNKNOWN
472 ClientsAndServers PT N0010P0 StateSpace 02 80 3 NONE UNKNOWN
473 ClientsAndServers PT N0010P0 StateSpace 03 250 3 NONE UNKNOWN
474 ClientsAndServers PT N0010P1 StateSpace 00 15502e11 3 NONE UNKNOWN
475 ClientsAndServers PT N0010P1 StateSpace 01 19213e12 3 NONE UNKNOWN
476 ClientsAndServers PT N0010P1 StateSpace 02 80 3 NONE UNKNOWN
477 ClientsAndServers PT N0010P1 StateSpace 03 255 3 NONE UNKNOWN
478 ClientsAndServers PT N0010P2 StateSpace 00 1898e12 3 NONE UNKNOWN
479 ClientsAndServers PT N0010P2 StateSpace 01 23544e12 3 NONE UNKNOWN
480 ClientsAndServers PT N0010P2 StateSpace 02 80 3 NONE UNKNOWN
481 ClientsAndServers PT N0010P2 StateSpace 03 260 3 NONE UNKNOWN
482 ClientsAndServers PT N0020P0 StateSpace 00 27979e15 3 NONE UNKNOWN
483 ClientsAndServers PT N0020P0 StateSpace 01 40727e16 3 NONE UNKNOWN
484 ClientsAndServers PT N0020P0 StateSpace 02 160 3 NONE UNKNOWN
485 ClientsAndServers PT N0020P0 StateSpace 03 500 3 NONE UNKNOWN
486 ClientsAndServers PT N0020P1 StateSpace 00 3433e16 3 NONE UNKNOWN
487 ClientsAndServers PT N0020P1 StateSpace 01 50014e16 3 NONE UNKNOWN
488 ClientsAndServers PT N0020P1 StateSpace 02 160 3 NONE UNKNOWN
489 ClientsAndServers PT N0020P1 StateSpace 03 505 3 NONE UNKNOWN
490 ClientsAndServers PT N0020P2 StateSpace 00 40258e15 3 NONE UNKNOWN
491 ClientsAndServers PT N0020P2 StateSpace 01 58683e16 3 NONE UNKNOWN
492 ClientsAndServers PT N0020P2 StateSpace 02 160 3 NONE UNKNOWN
493 ClientsAndServers PT N0020P2 StateSpace 03 510 3 NONE UNKNOWN
494 ClientsAndServers PT N0020P3 StateSpace 00 45408e15 3 NONE UNKNOWN
495 ClientsAndServers PT N0020P3 StateSpace 02 160 3 NONE UNKNOWN
496 ClientsAndServers PT N0020P3 StateSpace 03 515 3 NONE UNKNOWN
497 ClientsAndServers PT N0020P4 StateSpace 00 4951e16 3 NONE UNKNOWN
498 ClientsAndServers PT N0020P4 StateSpace 01 72204e16 3 NONE UNKNOWN
499 ClientsAndServers PT N0020P4 StateSpace 02 160 3 NONE UNKNOWN
500 ClientsAndServers PT N0020P4 StateSpace 03 520 3 NONE UNKNOWN
501 CloudDeployment PT 2a StateSpace 00 4807 3 NUPN UNKNOWN
502 CloudDeployment PT 2a StateSpace 01 87600 3 NUPN UNKNOWN
503 CloudDeployment PT 2a StateSpace 02 1 3 NUPN UNKNOWN
504 CloudDeployment PT 2a StateSpace 03 9 3 NUPN UNKNOWN
505 CloudDeployment PT 2b StateSpace 00 167660000000 3 NUPN UNKNOWN
506 CloudDeployment PT 2b StateSpace 01 1227000000000 3 NUPN UNKNOWN
507 CloudDeployment PT 2b StateSpace 02 1 3 NUPN UNKNOWN
508 CloudDeployment PT 2b StateSpace 03 9 3 NUPN UNKNOWN
509 CloudDeployment PT 3a StateSpace 00 190100 3 NUPN UNKNOWN
510 CloudDeployment PT 3a StateSpace 01 7698100 3 NUPN UNKNOWN
511 CloudDeployment PT 3a StateSpace 02 1 3 NUPN UNKNOWN
512 CloudDeployment PT 3a StateSpace 03 13 3 NUPN UNKNOWN
513 CloudDeployment PT 3b StateSpace 00 74567e12 3 NUPN UNKNOWN
514 CloudDeployment PT 3b StateSpace 01 77439e13 3 NUPN UNKNOWN
515 CloudDeployment PT 3b StateSpace 02 1 3 NUPN UNKNOWN
516 CloudDeployment PT 3b StateSpace 03 13 3 NUPN UNKNOWN
517 CloudDeployment PT 4a StateSpace 00 7091000 3 NUPN UNKNOWN
518 CloudDeployment PT 4a StateSpace 01 508600000 3 NUPN UNKNOWN
519 CloudDeployment PT 4a StateSpace 02 1 3 NUPN UNKNOWN
520 CloudDeployment PT 4a StateSpace 03 17 3 NUPN UNKNOWN
521 CloudDeployment PT 5a StateSpace 00 248830000 3 NUPN UNKNOWN
522 CloudDeployment PT 5a StateSpace 01 27853000000 3 NUPN UNKNOWN
523 CloudDeployment PT 5a StateSpace 02 1 3 NUPN UNKNOWN
524 CloudDeployment PT 5a StateSpace 03 21 3 NUPN UNKNOWN
525 CloudDeployment PT 6a StateSpace 00 8304700000 3 NUPN UNKNOWN
526 CloudDeployment PT 6a StateSpace 01 1338200000000 3 NUPN UNKNOWN
527 CloudDeployment PT 6a StateSpace 02 1 3 NUPN UNKNOWN
528 CloudDeployment PT 6a StateSpace 03 25 3 NUPN UNKNOWN
529 CloudDeployment PT 7a StateSpace 00 266480000000 3 NUPN UNKNOWN
530 CloudDeployment PT 7a StateSpace 01 58448000000000 3 NUPN UNKNOWN
531 CloudDeployment PT 7a StateSpace 02 1 3 NUPN UNKNOWN
532 CloudDeployment PT 7a StateSpace 03 29 3 NUPN UNKNOWN
533 CloudOpsManagement PT 00002by00001 StateSpace 00 3857 3 NONE UNKNOWN
534 CloudOpsManagement PT 00002by00001 StateSpace 01 30090 3 NONE UNKNOWN
535 CloudOpsManagement PT 00002by00001 StateSpace 02 4 3 NONE UNKNOWN
536 CloudOpsManagement PT 00002by00001 StateSpace 03 18 3 NONE UNKNOWN
537 CloudOpsManagement PT 00005by00002 StateSpace 00 1612700 3 NONE UNKNOWN
538 CloudOpsManagement PT 00005by00002 StateSpace 01 19148000 3 NONE UNKNOWN
539 CloudOpsManagement PT 00005by00002 StateSpace 02 9 3 NONE UNKNOWN
540 CloudOpsManagement PT 00005by00002 StateSpace 03 41 3 NONE UNKNOWN
541 CloudOpsManagement PT 00010by00005 StateSpace 00 10733000000 3 NONE UNKNOWN
542 CloudOpsManagement PT 00010by00005 StateSpace 01 185320000000 3 NONE UNKNOWN
543 CloudOpsManagement PT 00010by00005 StateSpace 02 20 3 NONE UNKNOWN
544 CloudOpsManagement PT 00010by00005 StateSpace 03 90 3 NONE UNKNOWN
545 CloudOpsManagement PT 00020by00010 StateSpace 00 66422000000000 3 NONE UNKNOWN
546 CloudOpsManagement PT 00020by00010 StateSpace 01 14148e11 3 NONE UNKNOWN
547 CloudOpsManagement PT 00020by00010 StateSpace 02 40 3 NONE UNKNOWN
548 CloudOpsManagement PT 00020by00010 StateSpace 03 180 3 NONE UNKNOWN
549 CloudOpsManagement PT 00040by00020 StateSpace 00 10905e14 3 NONE UNKNOWN
550 CloudOpsManagement PT 00040by00020 StateSpace 01 26614e15 3 NONE UNKNOWN
551 CloudOpsManagement PT 00040by00020 StateSpace 02 80 3 NONE UNKNOWN
552 CloudOpsManagement PT 00040by00020 StateSpace 03 360 3 NONE UNKNOWN
553 CloudOpsManagement PT 00080by00040 StateSpace 00 33365e18 3 NONE UNKNOWN
554 CloudOpsManagement PT 00080by00040 StateSpace 01 88251e19 3 NONE UNKNOWN
555 CloudOpsManagement PT 00080by00040 StateSpace 02 160 3 NONE UNKNOWN
556 CloudOpsManagement PT 00080by00040 StateSpace 03 720 3 NONE UNKNOWN
557 CloudOpsManagement PT 00160by00080 StateSpace 00 14631e23 3 NONE UNKNOWN
558 CloudOpsManagement PT 00160by00080 StateSpace 01 40454e24 2 NONE UNKNOWN
559 CloudOpsManagement PT 00160by00080 StateSpace 02 320 3 NONE UNKNOWN
560 CloudOpsManagement PT 00160by00080 StateSpace 03 1440 3 NONE UNKNOWN
561 CloudOpsManagement PT 00320by00160 StateSpace 00 7798e28 3 NONE UNKNOWN
562 CloudOpsManagement PT 00320by00160 StateSpace 01 22070999999999997e17 2 NONE UNKNOWN
563 CloudOpsManagement PT 00320by00160 StateSpace 02 640 3 NONE UNKNOWN
564 CloudOpsManagement PT 00320by00160 StateSpace 03 2880 3 NONE UNKNOWN
565 CloudReconfiguration PT 301 StateSpace 00 131970000000 3 NUPN UNKNOWN
566 CloudReconfiguration PT 301 StateSpace 01 604390000000 3 NUPN UNKNOWN
567 CloudReconfiguration PT 301 StateSpace 02 1 3 NUPN UNKNOWN
568 CloudReconfiguration PT 301 StateSpace 03 5 3 NUPN UNKNOWN
569 CloudReconfiguration PT 302 StateSpace 00 202540000000 3 NUPN UNKNOWN
570 CloudReconfiguration PT 302 StateSpace 01 927480000000 3 NUPN UNKNOWN
571 CloudReconfiguration PT 302 StateSpace 02 1 3 NUPN UNKNOWN
572 CloudReconfiguration PT 302 StateSpace 03 5 3 NUPN UNKNOWN
573 CloudReconfiguration PT 303 StateSpace 00 55244000000 3 NUPN UNKNOWN
574 CloudReconfiguration PT 303 StateSpace 01 253510000000 3 NUPN UNKNOWN
575 CloudReconfiguration PT 303 StateSpace 02 1 3 NUPN UNKNOWN
576 CloudReconfiguration PT 303 StateSpace 03 5 3 NUPN UNKNOWN
577 CloudReconfiguration PT 304 StateSpace 00 131970000000 3 NUPN UNKNOWN
578 CloudReconfiguration PT 304 StateSpace 01 604390000000 3 NUPN UNKNOWN
579 CloudReconfiguration PT 304 StateSpace 02 1 3 NUPN UNKNOWN
580 CloudReconfiguration PT 304 StateSpace 03 5 3 NUPN UNKNOWN
581 CloudReconfiguration PT 305 StateSpace 00 131390000000 3 NUPN UNKNOWN
582 CloudReconfiguration PT 305 StateSpace 01 601560000000 3 NUPN UNKNOWN
583 CloudReconfiguration PT 305 StateSpace 02 1 3 NUPN UNKNOWN
584 CloudReconfiguration PT 305 StateSpace 03 5 3 NUPN UNKNOWN
585 CloudReconfiguration PT 306 StateSpace 00 55244000000 3 NUPN UNKNOWN
586 CloudReconfiguration PT 306 StateSpace 01 253510000000 3 NUPN UNKNOWN
587 CloudReconfiguration PT 306 StateSpace 02 1 3 NUPN UNKNOWN
588 CloudReconfiguration PT 306 StateSpace 03 5 3 NUPN UNKNOWN
589 CloudReconfiguration PT 307 StateSpace 00 69905000000 3 NUPN UNKNOWN
590 CloudReconfiguration PT 307 StateSpace 01 319970000000 3 NUPN UNKNOWN
591 CloudReconfiguration PT 307 StateSpace 02 1 3 NUPN UNKNOWN
592 CloudReconfiguration PT 307 StateSpace 03 5 3 NUPN UNKNOWN
593 CloudReconfiguration PT 308 StateSpace 00 202540000000 3 NUPN UNKNOWN
594 CloudReconfiguration PT 308 StateSpace 01 927480000000 3 NUPN UNKNOWN
595 CloudReconfiguration PT 308 StateSpace 02 1 3 NUPN UNKNOWN
596 CloudReconfiguration PT 308 StateSpace 03 5 3 NUPN UNKNOWN
597 CloudReconfiguration PT 309 StateSpace 00 202540000000 3 NUPN UNKNOWN
598 CloudReconfiguration PT 309 StateSpace 01 927480000000 3 NUPN UNKNOWN
599 CloudReconfiguration PT 309 StateSpace 02 1 3 NUPN UNKNOWN
600 CloudReconfiguration PT 309 StateSpace 03 5 3 NUPN UNKNOWN
601 CloudReconfiguration PT 310 StateSpace 00 131390000000 3 NUPN UNKNOWN
602 CloudReconfiguration PT 310 StateSpace 01 601560000000 3 NUPN UNKNOWN
603 CloudReconfiguration PT 310 StateSpace 02 1 3 NUPN UNKNOWN
604 CloudReconfiguration PT 310 StateSpace 03 5 3 NUPN UNKNOWN
605 CloudReconfiguration PT 311 StateSpace 00 107680000000 3 NUPN UNKNOWN
606 CloudReconfiguration PT 311 StateSpace 01 493710000000 3 NUPN UNKNOWN
607 CloudReconfiguration PT 311 StateSpace 02 1 3 NUPN UNKNOWN
608 CloudReconfiguration PT 311 StateSpace 03 5 3 NUPN UNKNOWN
609 CloudReconfiguration PT 312 StateSpace 00 202540000000 3 NUPN UNKNOWN
610 CloudReconfiguration PT 312 StateSpace 01 927480000000 3 NUPN UNKNOWN
611 CloudReconfiguration PT 312 StateSpace 02 1 3 NUPN UNKNOWN
612 CloudReconfiguration PT 312 StateSpace 03 5 3 NUPN UNKNOWN
613 CloudReconfiguration PT 313 StateSpace 00 202540000000 3 NUPN UNKNOWN
614 CloudReconfiguration PT 313 StateSpace 01 927480000000 3 NUPN UNKNOWN
615 CloudReconfiguration PT 313 StateSpace 02 1 3 NUPN UNKNOWN
616 CloudReconfiguration PT 313 StateSpace 03 5 3 NUPN UNKNOWN
617 CloudReconfiguration PT 314 StateSpace 00 107680000000 3 NUPN UNKNOWN
618 CloudReconfiguration PT 314 StateSpace 01 493710000000 3 NUPN UNKNOWN
619 CloudReconfiguration PT 314 StateSpace 02 1 3 NUPN UNKNOWN
620 CloudReconfiguration PT 314 StateSpace 03 5 3 NUPN UNKNOWN
621 CloudReconfiguration PT 315 StateSpace 00 131390000000 3 NUPN UNKNOWN
622 CloudReconfiguration PT 315 StateSpace 01 601560000000 3 NUPN UNKNOWN
623 CloudReconfiguration PT 315 StateSpace 02 1 3 NUPN UNKNOWN
624 CloudReconfiguration PT 315 StateSpace 03 5 3 NUPN UNKNOWN
625 CloudReconfiguration PT 316 StateSpace 00 131390000000 3 NUPN UNKNOWN
626 CloudReconfiguration PT 316 StateSpace 01 601560000000 3 NUPN UNKNOWN
627 CloudReconfiguration PT 316 StateSpace 02 1 3 NUPN UNKNOWN
628 CloudReconfiguration PT 316 StateSpace 03 5 3 NUPN UNKNOWN
629 CloudReconfiguration PT 317 StateSpace 00 172720000000 3 NUPN UNKNOWN
630 CloudReconfiguration PT 317 StateSpace 01 792120000000 3 NUPN UNKNOWN
631 CloudReconfiguration PT 317 StateSpace 02 1 3 NUPN UNKNOWN
632 CloudReconfiguration PT 317 StateSpace 03 5 3 NUPN UNKNOWN
633 CloudReconfiguration PT 318 StateSpace 00 286130000000 3 NUPN UNKNOWN
634 CloudReconfiguration PT 318 StateSpace 01 1310300000000 3 NUPN UNKNOWN
635 CloudReconfiguration PT 318 StateSpace 02 1 3 NUPN UNKNOWN
636 CloudReconfiguration PT 318 StateSpace 03 5 3 NUPN UNKNOWN
637 CloudReconfiguration PT 319 StateSpace 00 131400000000 3 NUPN UNKNOWN
638 CloudReconfiguration PT 319 StateSpace 01 601580000000 3 NUPN UNKNOWN
639 CloudReconfiguration PT 319 StateSpace 02 1 3 NUPN UNKNOWN
640 CloudReconfiguration PT 319 StateSpace 03 5 3 NUPN UNKNOWN
641 CloudReconfiguration PT 320 StateSpace 00 185470000000 3 NUPN UNKNOWN
642 CloudReconfiguration PT 320 StateSpace 01 849140000000 3 NUPN UNKNOWN
643 CloudReconfiguration PT 320 StateSpace 02 1 3 NUPN UNKNOWN
644 CloudReconfiguration PT 320 StateSpace 03 5 3 NUPN UNKNOWN
645 CloudReconfiguration PT 401 StateSpace 00 192940000000000 3 NUPN UNKNOWN
646 CloudReconfiguration PT 401 StateSpace 01 1102e12 2 NUPN UNKNOWN
647 CloudReconfiguration PT 401 StateSpace 02 1 3 NUPN UNKNOWN
648 CloudReconfiguration PT 401 StateSpace 03 6 3 NUPN UNKNOWN
649 CloudReconfiguration PT 402 StateSpace 00 192940000000000 3 NUPN UNKNOWN
650 CloudReconfiguration PT 402 StateSpace 01 1102e12 2 NUPN UNKNOWN
651 CloudReconfiguration PT 402 StateSpace 02 1 3 NUPN UNKNOWN
652 CloudReconfiguration PT 402 StateSpace 03 6 3 NUPN UNKNOWN
653 DES PT 00a StateSpace 00 24197000000 3 NUPN UNKNOWN
654 DES PT 00a StateSpace 01 293100000000 3 NUPN UNKNOWN
655 DES PT 00a StateSpace 02 1 3 NUPN UNKNOWN
656 DES PT 00a StateSpace 03 47 3 NUPN UNKNOWN
657 DES PT 00b StateSpace 00 24601e15 3 NUPN UNKNOWN
658 DES PT 00b StateSpace 01 44365e16 3 NUPN UNKNOWN
659 DES PT 00b StateSpace 02 1 3 NUPN UNKNOWN
660 DES PT 00b StateSpace 03 47 3 NUPN UNKNOWN
661 DES PT 01a StateSpace 00 108580000 3 NUPN UNKNOWN
662 DES PT 01a StateSpace 01 1213400000 3 NUPN UNKNOWN
663 DES PT 01a StateSpace 02 1 3 NUPN UNKNOWN
664 DES PT 01a StateSpace 03 48 3 NUPN UNKNOWN
665 DES PT 01b StateSpace 00 20127e13 3 NUPN UNKNOWN
666 DES PT 01b StateSpace 01 35377e14 3 NUPN UNKNOWN
667 DES PT 01b StateSpace 02 1 3 NUPN UNKNOWN
668 DES PT 01b StateSpace 03 51 3 NUPN UNKNOWN
669 DES PT 02a StateSpace 00 4953200000 3 NUPN UNKNOWN
670 DES PT 02a StateSpace 01 59186000000 3 NUPN UNKNOWN
671 DES PT 02a StateSpace 02 1 3 NUPN UNKNOWN
672 DES PT 02a StateSpace 03 51 3 NUPN UNKNOWN
673 DES PT 02b StateSpace 00 71021e14 3 NUPN UNKNOWN
674 DES PT 02b StateSpace 01 12674e16 3 NUPN UNKNOWN
675 DES PT 02b StateSpace 02 1 3 NUPN UNKNOWN
676 DES PT 02b StateSpace 03 51 3 NUPN UNKNOWN
677 DES PT 05a StateSpace 00 231000000000 3 NUPN UNKNOWN
678 DES PT 05a StateSpace 01 2803900000000 3 NUPN UNKNOWN
679 DES PT 05a StateSpace 02 1 3 NUPN UNKNOWN
680 DES PT 05a StateSpace 03 51 3 NUPN UNKNOWN
681 DES PT 05b StateSpace 00 2614e17 3 NUPN UNKNOWN
682 DES PT 05b StateSpace 01 47052e17 3 NUPN UNKNOWN
683 DES PT 05b StateSpace 02 1 3 NUPN UNKNOWN
684 DES PT 05b StateSpace 03 51 3 NUPN UNKNOWN
685 DES PT 10a StateSpace 00 1600300000000 3 NUPN UNKNOWN
686 DES PT 10a StateSpace 01 19392000000000 3 NUPN UNKNOWN
687 DES PT 10a StateSpace 02 1 3 NUPN UNKNOWN
688 DES PT 10a StateSpace 03 51 3 NUPN UNKNOWN
689 DES PT 10b StateSpace 00 1.6887000000000001e+21 3 NUPN UNKNOWN
690 DES PT 10b StateSpace 01 30429e18 3 NUPN UNKNOWN
691 DES PT 10b StateSpace 02 1 3 NUPN UNKNOWN
692 DES PT 10b StateSpace 03 51 3 NUPN UNKNOWN
693 DES PT 20a StateSpace 00 7969300000000 3 NUPN UNKNOWN
694 DES PT 20a StateSpace 01 96542000000000 3 NUPN UNKNOWN
695 DES PT 20a StateSpace 02 1 3 NUPN UNKNOWN
696 DES PT 20a StateSpace 03 51 3 NUPN UNKNOWN
697 DES PT 20b StateSpace 00 82277e17 3 NUPN UNKNOWN
698 DES PT 20b StateSpace 01 14833e19 3 NUPN UNKNOWN
699 DES PT 20b StateSpace 02 1 3 NUPN UNKNOWN
700 DES PT 20b StateSpace 03 51 3 NUPN UNKNOWN
701 DES PT 30a StateSpace 00 19178000000000 3 NUPN UNKNOWN
702 DES PT 30a StateSpace 01 232310000000000 3 NUPN UNKNOWN
703 DES PT 30a StateSpace 02 1 3 NUPN UNKNOWN
704 DES PT 30a StateSpace 03 51 3 NUPN UNKNOWN
705 DES PT 30b StateSpace 00 19679e18 3 NUPN UNKNOWN
706 DES PT 30b StateSpace 01 35482e19 3 NUPN UNKNOWN
707 DES PT 30b StateSpace 02 1 3 NUPN UNKNOWN
708 DES PT 30b StateSpace 03 51 3 NUPN UNKNOWN
709 DES PT 40a StateSpace 00 35226000000000 3 NUPN UNKNOWN
710 DES PT 40a StateSpace 01 426700000000000 3 NUPN UNKNOWN
711 DES PT 40a StateSpace 02 1 3 NUPN UNKNOWN
712 DES PT 40a StateSpace 03 51 3 NUPN UNKNOWN
713 DES PT 40b StateSpace 00 36042e18 3 NUPN UNKNOWN
714 DES PT 40b StateSpace 01 64989e19 3 NUPN UNKNOWN
715 DES PT 40b StateSpace 02 1 3 NUPN UNKNOWN
716 DES PT 40b StateSpace 03 51 3 NUPN UNKNOWN
717 DES PT 50a StateSpace 00 56113000000000 3 NUPN UNKNOWN
718 DES PT 50a StateSpace 01 679710000000000 3 NUPN UNKNOWN
719 DES PT 50a StateSpace 02 1 3 NUPN UNKNOWN
720 DES PT 50a StateSpace 03 51 3 NUPN UNKNOWN
721 DES PT 50b StateSpace 00 57316e18 3 NUPN UNKNOWN
722 DES PT 50b StateSpace 01 10335e20 3 NUPN UNKNOWN
723 DES PT 50b StateSpace 02 1 3 NUPN UNKNOWN
724 DES PT 50b StateSpace 03 51 3 NUPN UNKNOWN
725 DES PT 60a StateSpace 00 81839000000000 3 NUPN UNKNOWN
726 DES PT 60a StateSpace 01 991330000000000 3 NUPN UNKNOWN
727 DES PT 60a StateSpace 02 1 3 NUPN UNKNOWN
728 DES PT 60a StateSpace 03 51 3 NUPN UNKNOWN
729 DES PT 60b StateSpace 00 83503e18 3 NUPN UNKNOWN
730 DES PT 60b StateSpace 01 15058e20 3 NUPN UNKNOWN
731 DES PT 60b StateSpace 02 1 3 NUPN UNKNOWN
732 DES PT 60b StateSpace 03 51 3 NUPN UNKNOWN
733 DLCflexbar PT 2a StateSpace 00 79792e16 3 NUPN UNKNOWN
734 DLCflexbar PT 2a StateSpace 01 20377e19 3 NUPN UNKNOWN
735 DLCflexbar PT 2a StateSpace 02 1 3 NUPN UNKNOWN
736 DLCflexbar PT 2a StateSpace 03 196 3 NUPN UNKNOWN
737 DLCflexbar PT 3a StateSpace 00 22539e26 3 NUPN UNKNOWN
738 DLCflexbar PT 3a StateSpace 01 10304e29 3 NUPN UNKNOWN
739 DLCflexbar PT 3a StateSpace 02 1 3 NUPN UNKNOWN
740 DLCflexbar PT 3a StateSpace 03 355 3 NUPN UNKNOWN
741 DLCflexbar PT 4a StateSpace 00 15287000000000002e27 3 NUPN UNKNOWN
742 DLCflexbar PT 4a StateSpace 01 11869e42 3 NUPN UNKNOWN
743 DLCflexbar PT 4a StateSpace 02 1 3 NUPN UNKNOWN
744 DLCflexbar PT 4a StateSpace 03 608 3 NUPN UNKNOWN
745 DLCflexbar PT 5a StateSpace 00 24893e55 3 NUPN UNKNOWN
746 DLCflexbar PT 5a StateSpace 01 30931e58 3 NUPN UNKNOWN
747 DLCflexbar PT 5a StateSpace 02 1 3 NUPN UNKNOWN
748 DLCflexbar PT 5a StateSpace 03 979 3 NUPN UNKNOWN
749 DLCflexbar PT 6a StateSpace 00 9732700000000001e63 3 NUPN UNKNOWN
750 DLCflexbar PT 6a StateSpace 01 18344e78 3 NUPN UNKNOWN
751 DLCflexbar PT 6a StateSpace 02 1 3 NUPN UNKNOWN
752 DLCflexbar PT 6a StateSpace 03 1492 3 NUPN UNKNOWN
753 DLCflexbar PT 7a StateSpace 00 91366e97 3 NUPN UNKNOWN
754 DLCflexbar PT 7a StateSpace 01 24966e101 3 NUPN UNKNOWN
755 DLCflexbar PT 7a StateSpace 02 1 3 NUPN UNKNOWN
756 DLCflexbar PT 7a StateSpace 03 2171 3 NUPN UNKNOWN
757 DLCround PT 03a StateSpace 00 24010000 3 NUPN UNKNOWN
758 DLCround PT 03a StateSpace 01 1664200000 3 NUPN UNKNOWN
759 DLCround PT 03a StateSpace 02 1 3 NUPN UNKNOWN
760 DLCround PT 03a StateSpace 03 52 3 NUPN UNKNOWN
761 DLCround PT 04a StateSpace 00 240100000 3 NUPN UNKNOWN
762 DLCround PT 04a StateSpace 01 21918000000 3 NUPN UNKNOWN
763 DLCround PT 04a StateSpace 02 1 3 NUPN UNKNOWN
764 DLCround PT 04a StateSpace 03 69 3 NUPN UNKNOWN
765 DLCround PT 05a StateSpace 00 2401000000 3 NUPN UNKNOWN
766 DLCround PT 05a StateSpace 01 278170000000 3 NUPN UNKNOWN
767 DLCround PT 05a StateSpace 02 1 3 NUPN UNKNOWN
768 DLCround PT 05a StateSpace 03 88 3 NUPN UNKNOWN
769 DLCround PT 06a StateSpace 00 24010000000 3 NUPN UNKNOWN
770 DLCround PT 06a StateSpace 01 3434100000000 3 NUPN UNKNOWN
771 DLCround PT 06a StateSpace 02 1 3 NUPN UNKNOWN
772 DLCround PT 06a StateSpace 03 109 3 NUPN UNKNOWN
773 DLCround PT 07a StateSpace 00 240100000000 3 NUPN UNKNOWN
774 DLCround PT 07a StateSpace 01 41489000000000 3 NUPN UNKNOWN
775 DLCround PT 07a StateSpace 02 1 3 NUPN UNKNOWN
776 DLCround PT 07a StateSpace 03 132 3 NUPN UNKNOWN
777 DLCround PT 08a StateSpace 00 2401000000000 3 NUPN UNKNOWN
778 DLCround PT 08a StateSpace 01 492620000000000 3 NUPN UNKNOWN
779 DLCround PT 08a StateSpace 02 1 3 NUPN UNKNOWN
780 DLCround PT 08a StateSpace 03 157 3 NUPN UNKNOWN
781 DLCround PT 09a StateSpace 00 24010000000000 3 NUPN UNKNOWN
782 DLCround PT 09a StateSpace 01 57658e11 3 NUPN UNKNOWN
783 DLCround PT 09a StateSpace 02 1 3 NUPN UNKNOWN
784 DLCround PT 09a StateSpace 03 184 3 NUPN UNKNOWN
785 DLCround PT 10a StateSpace 00 240100000000000 3 NUPN UNKNOWN
786 DLCround PT 10a StateSpace 01 66679e12 3 NUPN UNKNOWN
787 DLCround PT 10a StateSpace 02 1 3 NUPN UNKNOWN
788 DLCround PT 10a StateSpace 03 213 3 NUPN UNKNOWN
789 DLCround PT 11a StateSpace 00 2401e12 3 NUPN UNKNOWN
790 DLCround PT 11a StateSpace 01 76324e13 3 NUPN UNKNOWN
791 DLCround PT 11a StateSpace 02 1 3 NUPN UNKNOWN
792 DLCround PT 11a StateSpace 03 244 3 NUPN UNKNOWN
793 DLCround PT 12a StateSpace 00 2401e13 3 NUPN UNKNOWN
794 DLCround PT 12a StateSpace 01 86594e14 3 NUPN UNKNOWN
795 DLCround PT 12a StateSpace 02 1 3 NUPN UNKNOWN
796 DLCround PT 12a StateSpace 03 277 3 NUPN UNKNOWN
797 DLCround PT 13a StateSpace 00 2401e14 3 NUPN UNKNOWN
798 DLCround PT 13a StateSpace 01 97487e15 3 NUPN UNKNOWN
799 DLCround PT 13a StateSpace 02 1 3 NUPN UNKNOWN
800 DLCround PT 13a StateSpace 03 312 3 NUPN UNKNOWN
801 DLCshifumi PT 2a StateSpace 00 474760000000000 3 NUPN UNKNOWN
802 DLCshifumi PT 2a StateSpace 01 50962e12 3 NUPN UNKNOWN
803 DLCshifumi PT 2a StateSpace 02 1 3 NUPN UNKNOWN
804 DLCshifumi PT 2a StateSpace 03 79 3 NUPN UNKNOWN
805 DLCshifumi PT 3a StateSpace 00 9095399999999999e20 3 NUPN UNKNOWN
806 DLCshifumi PT 3a StateSpace 01 33784e34 3 NUPN UNKNOWN
807 DLCshifumi PT 3a StateSpace 02 1 3 NUPN UNKNOWN
808 DLCshifumi PT 3a StateSpace 03 282 3 NUPN UNKNOWN
809 DLCshifumi PT 4a StateSpace 00 24119000000000002e51 3 NUPN UNKNOWN
810 DLCshifumi PT 4a StateSpace 01 21584999999999998e54 3 NUPN UNKNOWN
811 DLCshifumi PT 4a StateSpace 02 1 3 NUPN UNKNOWN
812 DLCshifumi PT 4a StateSpace 03 691 3 NUPN UNKNOWN
813 DLCshifumi PT 5a StateSpace 00 88524e104 3 NUPN UNKNOWN
814 DLCshifumi PT 5a StateSpace 01 15631000000000002e96 3 NUPN UNKNOWN
815 DLCshifumi PT 5a StateSpace 02 1 3 NUPN UNKNOWN
816 DLCshifumi PT 5a StateSpace 03 1378 3 NUPN UNKNOWN
817 DNAwalker PT 01track12Block1 StateSpace 00 3795 3 NONE UNKNOWN
818 DNAwalker PT 01track12Block1 StateSpace 01 13149 3 NONE UNKNOWN
819 DNAwalker PT 01track12Block1 StateSpace 02 2 3 NONE UNKNOWN
820 DNAwalker PT 01track12Block1 StateSpace 03 13 3 NONE UNKNOWN
821 DNAwalker PT 02track12Block2 StateSpace 00 5459 3 NONE UNKNOWN
822 DNAwalker PT 02track12Block2 StateSpace 01 21642 3 NONE UNKNOWN
823 DNAwalker PT 02track12Block2 StateSpace 02 2 3 NONE UNKNOWN
824 DNAwalker PT 02track12Block2 StateSpace 03 13 3 NONE UNKNOWN
825 DNAwalker PT 03track12BlockBoth StateSpace 00 5248 3 NONE UNKNOWN
826 DNAwalker PT 03track12BlockBoth StateSpace 01 20281 3 NONE UNKNOWN
827 DNAwalker PT 03track12BlockBoth StateSpace 02 2 3 NONE UNKNOWN
828 DNAwalker PT 03track12BlockBoth StateSpace 03 13 3 NONE UNKNOWN
829 DNAwalker PT 04track28LL StateSpace 00 432880000 3 NONE UNKNOWN
830 DNAwalker PT 04track28LL StateSpace 01 2961900000 3 NONE UNKNOWN
831 DNAwalker PT 04track28LL StateSpace 02 2 3 NONE UNKNOWN
832 DNAwalker PT 04track28LL StateSpace 03 29 3 NONE UNKNOWN
833 DNAwalker PT 05track28LR StateSpace 00 435340000 3 NONE UNKNOWN
834 DNAwalker PT 05track28LR StateSpace 01 2983900000 3 NONE UNKNOWN
835 DNAwalker PT 05track28LR StateSpace 02 2 3 NONE UNKNOWN
836 DNAwalker PT 05track28LR StateSpace 03 29 3 NONE UNKNOWN
837 DNAwalker PT 06track28RL StateSpace 00 435340000 3 NONE UNKNOWN
838 DNAwalker PT 06track28RL StateSpace 01 2983900000 3 NONE UNKNOWN
839 DNAwalker PT 06track28RL StateSpace 02 2 3 NONE UNKNOWN
840 DNAwalker PT 06track28RL StateSpace 03 29 3 NONE UNKNOWN
841 DNAwalker PT 07track28RR StateSpace 00 432880000 3 NONE UNKNOWN
842 DNAwalker PT 07track28RR StateSpace 01 2961900000 3 NONE UNKNOWN
843 DNAwalker PT 07track28RR StateSpace 02 2 3 NONE UNKNOWN
844 DNAwalker PT 07track28RR StateSpace 03 29 3 NONE UNKNOWN
845 DNAwalker PT 08ringLL StateSpace 00 27951000 3 NONE UNKNOWN
846 DNAwalker PT 08ringLL StateSpace 01 237020000 3 NONE UNKNOWN
847 DNAwalker PT 08ringLL StateSpace 02 2 3 NONE UNKNOWN
848 DNAwalker PT 08ringLL StateSpace 03 22 3 NONE UNKNOWN
849 DNAwalker PT 09ringLR StateSpace 00 28210000 3 NONE UNKNOWN
850 DNAwalker PT 09ringLR StateSpace 01 240890000 3 NONE UNKNOWN
851 DNAwalker PT 09ringLR StateSpace 02 2 3 NONE UNKNOWN
852 DNAwalker PT 09ringLR StateSpace 03 22 3 NONE UNKNOWN
853 DNAwalker PT 10ringRL StateSpace 00 27951000 3 NONE UNKNOWN
854 DNAwalker PT 10ringRL StateSpace 01 237020000 3 NONE UNKNOWN
855 DNAwalker PT 10ringRL StateSpace 02 2 3 NONE UNKNOWN
856 DNAwalker PT 10ringRL StateSpace 03 22 3 NONE UNKNOWN
857 DNAwalker PT 11ringRR StateSpace 00 28210000 3 NONE UNKNOWN
858 DNAwalker PT 11ringRR StateSpace 01 240890000 3 NONE UNKNOWN
859 DNAwalker PT 11ringRR StateSpace 02 2 3 NONE UNKNOWN
860 DNAwalker PT 11ringRR StateSpace 03 22 3 NONE UNKNOWN
861 DNAwalker PT 12ringLLLarge StateSpace 00 1885400000 3 NONE UNKNOWN
862 DNAwalker PT 12ringLLLarge StateSpace 01 15271000000 3 NONE UNKNOWN
863 DNAwalker PT 12ringLLLarge StateSpace 02 2 3 NONE UNKNOWN
864 DNAwalker PT 12ringLLLarge StateSpace 03 28 3 NONE UNKNOWN
865 DNAwalker PT 13ringRLLarge StateSpace 00 1885400000 3 NONE UNKNOWN
866 DNAwalker PT 13ringRLLarge StateSpace 01 15271000000 3 NONE UNKNOWN
867 DNAwalker PT 13ringRLLarge StateSpace 02 2 3 NONE UNKNOWN
868 DNAwalker PT 13ringRLLarge StateSpace 03 28 3 NONE UNKNOWN
869 DNAwalker PT 14ringLRLarge StateSpace 00 1860900000 3 NONE UNKNOWN
870 DNAwalker PT 14ringLRLarge StateSpace 01 15025000000 3 NONE UNKNOWN
871 DNAwalker PT 14ringLRLarge StateSpace 02 2 3 NONE UNKNOWN
872 DNAwalker PT 14ringLRLarge StateSpace 03 28 3 NONE UNKNOWN
873 DNAwalker PT 15ringRRLarge StateSpace 00 1860900000 3 NONE UNKNOWN
874 DNAwalker PT 15ringRRLarge StateSpace 01 15025000000 3 NONE UNKNOWN
875 DNAwalker PT 15ringRRLarge StateSpace 02 2 3 NONE UNKNOWN
876 DNAwalker PT 15ringRRLarge StateSpace 03 28 3 NONE UNKNOWN
877 DNAwalker PT 16redondantChoiceR StateSpace 00 800320000000 3 NONE UNKNOWN
878 DNAwalker PT 16redondantChoiceR StateSpace 01 9905000000000 3 NONE UNKNOWN
879 DNAwalker PT 16redondantChoiceR StateSpace 02 2 3 NONE UNKNOWN
880 DNAwalker PT 16redondantChoiceR StateSpace 03 34 3 NONE UNKNOWN
881 DNAwalker PT 17redondantChoiceL StateSpace 00 800320000000 3 NONE UNKNOWN
882 DNAwalker PT 17redondantChoiceL StateSpace 01 9905000000000 3 NONE UNKNOWN
883 DNAwalker PT 17redondantChoiceL StateSpace 02 2 3 NONE UNKNOWN
884 DNAwalker PT 17redondantChoiceL StateSpace 03 34 3 NONE UNKNOWN
885 DatabaseWithMutex COL 02 StateSpace 00 153 3 NONE UNKNOWN
886 DatabaseWithMutex COL 02 StateSpace 01 312 3 NONE UNKNOWN
887 DatabaseWithMutex COL 02 StateSpace 03 6 3 NONE UNKNOWN
888 DatabaseWithMutex COL 04 StateSpace 00 4717900000 3 NONE UNKNOWN
889 DatabaseWithMutex COL 04 StateSpace 01 39697000000 3 NONE UNKNOWN
890 DatabaseWithMutex COL 04 StateSpace 03 20 3 NONE UNKNOWN
891 DatabaseWithMutex PT 02 StateSpace 00 153 3 GEN UNKNOWN
892 DatabaseWithMutex PT 02 StateSpace 01 312 3 GEN UNKNOWN
893 DatabaseWithMutex PT 02 StateSpace 02 1 3 GEN UNKNOWN
894 DatabaseWithMutex PT 02 StateSpace 03 6 3 GEN UNKNOWN
895 DatabaseWithMutex PT 04 StateSpace 00 4717900000 3 GEN UNKNOWN
896 DatabaseWithMutex PT 04 StateSpace 01 39697000000 3 GEN UNKNOWN
897 DatabaseWithMutex PT 04 StateSpace 02 1 3 GEN UNKNOWN
898 DatabaseWithMutex PT 04 StateSpace 03 20 3 GEN UNKNOWN
899 Dekker PT 010 StateSpace 00 6144 3 GEN UNKNOWN
900 Dekker PT 010 StateSpace 01 171530 3 GEN UNKNOWN
901 Dekker PT 010 StateSpace 02 1 3 GEN UNKNOWN
902 Dekker PT 010 StateSpace 03 20 3 GEN UNKNOWN
903 Dekker PT 015 StateSpace 00 278530 3 GEN UNKNOWN
904 Dekker PT 015 StateSpace 01 16835000 3 GEN UNKNOWN
905 Dekker PT 015 StateSpace 02 1 3 GEN UNKNOWN
906 Dekker PT 015 StateSpace 03 30 3 GEN UNKNOWN
907 Dekker PT 020 StateSpace 00 11534000 3 GEN UNKNOWN
908 Dekker PT 020 StateSpace 01 1216300000 3 GEN UNKNOWN
909 Dekker PT 020 StateSpace 02 1 3 GEN UNKNOWN
910 Dekker PT 020 StateSpace 03 40 3 GEN UNKNOWN
911 Dekker PT 050 StateSpace 00 29273e12 3 GEN UNKNOWN
912 Dekker PT 050 StateSpace 01 18676e15 3 GEN UNKNOWN
913 Dekker PT 050 StateSpace 02 1 3 GEN UNKNOWN
914 Dekker PT 050 StateSpace 03 100 3 GEN UNKNOWN
915 Dekker PT 100 StateSpace 00 6465e28 3 GEN UNKNOWN
916 Dekker PT 100 StateSpace 01 16327e31 3 GEN UNKNOWN
917 Dekker PT 100 StateSpace 02 1 3 GEN UNKNOWN
918 Dekker PT 100 StateSpace 03 200 3 GEN UNKNOWN
919 Diffusion2D PT D05N010 StateSpace 00 131130000 3 NONE UNKNOWN
920 Diffusion2D PT D05N010 StateSpace 01 5553700000 3 NONE UNKNOWN
921 Diffusion2D PT D05N010 StateSpace 02 10 3 NONE UNKNOWN
922 Diffusion2D PT D05N010 StateSpace 03 10 3 NONE UNKNOWN
923 Diffusion2D PT D05N050 StateSpace 00 1753e16 3 NONE UNKNOWN
924 Diffusion2D PT D05N050 StateSpace 01 17056e17 3 NONE UNKNOWN
925 Diffusion2D PT D05N050 StateSpace 02 50 3 NONE UNKNOWN
926 Diffusion2D PT D05N050 StateSpace 03 50 3 NONE UNKNOWN
927 Diffusion2D PT D05N100 StateSpace 00 26011e21 3 NONE UNKNOWN
928 Diffusion2D PT D05N100 StateSpace 01 30206e23 3 NONE UNKNOWN
929 Diffusion2D PT D05N100 StateSpace 02 100 3 NONE UNKNOWN
930 Diffusion2D PT D05N100 StateSpace 03 100 3 NONE UNKNOWN
931 Diffusion2D PT D05N150 StateSpace 00 18126000000000002e13 3 NONE UNKNOWN
932 Diffusion2D PT D05N150 StateSpace 02 150 3 NONE UNKNOWN
933 Diffusion2D PT D05N150 StateSpace 03 150 3 NONE UNKNOWN
934 Diffusion2D PT D05N200 StateSpace 00 11439e28 3 NONE UNKNOWN
935 Diffusion2D PT D05N200 StateSpace 02 200 3 NONE UNKNOWN
936 Diffusion2D PT D05N200 StateSpace 03 200 3 NONE UNKNOWN
937 Diffusion2D PT D05N250 StateSpace 00 18314e30 3 NONE UNKNOWN
938 Diffusion2D PT D05N250 StateSpace 02 250 3 NONE UNKNOWN
939 Diffusion2D PT D05N250 StateSpace 03 250 3 NONE UNKNOWN
940 Diffusion2D PT D05N300 StateSpace 00 12054e32 3 NONE UNKNOWN
941 Diffusion2D PT D05N300 StateSpace 02 300 3 NONE UNKNOWN
942 Diffusion2D PT D05N300 StateSpace 03 300 3 NONE UNKNOWN
943 Diffusion2D PT D10N010 StateSpace 00 42634000000000 3 NONE UNKNOWN
944 Diffusion2D PT D10N010 StateSpace 01 26754e11 3 NONE UNKNOWN
945 Diffusion2D PT D10N010 StateSpace 02 10 3 NONE UNKNOWN
946 Diffusion2D PT D10N010 StateSpace 03 10 3 NONE UNKNOWN
947 Diffusion2D PT D10N050 StateSpace 00 13419e36 3 NONE UNKNOWN
948 Diffusion2D PT D10N050 StateSpace 01 30801e38 3 NONE UNKNOWN
949 Diffusion2D PT D10N050 StateSpace 02 50 3 NONE UNKNOWN
950 Diffusion2D PT D10N050 StateSpace 03 50 3 NONE UNKNOWN
951 Diffusion2D PT D10N100 StateSpace 00 45274000000000004e42 3 NONE UNKNOWN
952 Diffusion2D PT D10N100 StateSpace 01 15562000000000003e45 3 NONE UNKNOWN
953 Diffusion2D PT D10N100 StateSpace 02 100 3 NONE UNKNOWN
954 Diffusion2D PT D10N100 StateSpace 03 100 3 NONE UNKNOWN
955 Diffusion2D PT D10N150 StateSpace 00 24252e67 3 NONE UNKNOWN
956 Diffusion2D PT D10N150 StateSpace 01 9993e70 3 NONE UNKNOWN
957 Diffusion2D PT D10N150 StateSpace 02 150 3 NONE UNKNOWN
958 Diffusion2D PT D10N150 StateSpace 03 150 3 NONE UNKNOWN
959 Diffusion2D PT D10N200 StateSpace 00 13860999999999999e65 3 NONE UNKNOWN
960 Diffusion2D PT D10N200 StateSpace 01 63417e79 3 NONE UNKNOWN
961 Diffusion2D PT D10N200 StateSpace 02 200 3 NONE UNKNOWN
962 Diffusion2D PT D10N200 StateSpace 03 200 3 NONE UNKNOWN
963 Diffusion2D PT D20N010 StateSpace 00 32308e15 3 NONE UNKNOWN
964 Diffusion2D PT D20N010 StateSpace 01 23414e17 3 NONE UNKNOWN
965 Diffusion2D PT D20N010 StateSpace 02 10 3 NONE UNKNOWN
966 Diffusion2D PT D20N010 StateSpace 03 10 3 NONE UNKNOWN
967 Diffusion2D PT D20N050 StateSpace 00 79113e62 3 NONE UNKNOWN
968 Diffusion2D PT D20N050 StateSpace 01 26113e65 3 NONE UNKNOWN
969 Diffusion2D PT D20N050 StateSpace 02 50 3 NONE UNKNOWN
970 Diffusion2D PT D20N050 StateSpace 03 50 3 NONE UNKNOWN
971 Diffusion2D PT D20N100 StateSpace 00 16334000000000005e91 3 NONE UNKNOWN
972 Diffusion2D PT D20N100 StateSpace 01 97019e105 3 NONE UNKNOWN
973 Diffusion2D PT D20N100 StateSpace 02 100 3 NONE UNKNOWN
974 Diffusion2D PT D20N100 StateSpace 03 100 3 NONE UNKNOWN
975 Diffusion2D PT D30N010 StateSpace 00 101e21 3 NONE UNKNOWN
976 Diffusion2D PT D30N010 StateSpace 01 76041e20 3 NONE UNKNOWN
977 Diffusion2D PT D30N010 StateSpace 02 10 3 NONE UNKNOWN
978 Diffusion2D PT D30N010 StateSpace 03 10 3 NONE UNKNOWN
979 DiscoveryGPU PT 06a StateSpace 00 1771600 3 NUPN UNKNOWN
980 DiscoveryGPU PT 06a StateSpace 01 13528000 3 NUPN UNKNOWN
981 DiscoveryGPU PT 06a StateSpace 02 1 3 NUPN UNKNOWN
982 DiscoveryGPU PT 06a StateSpace 03 8 3 NUPN UNKNOWN
983 DiscoveryGPU PT 06b StateSpace 00 6138700000 3 NUPN UNKNOWN
984 DiscoveryGPU PT 06b StateSpace 01 38660000000 3 NUPN UNKNOWN
985 DiscoveryGPU PT 06b StateSpace 02 1 3 NUPN UNKNOWN
986 DiscoveryGPU PT 06b StateSpace 03 8 3 NUPN UNKNOWN
987 DiscoveryGPU PT 07a StateSpace 00 19487000 3 NUPN UNKNOWN
988 DiscoveryGPU PT 07a StateSpace 01 173610000 3 NUPN UNKNOWN
989 DiscoveryGPU PT 07a StateSpace 02 1 3 NUPN UNKNOWN
990 DiscoveryGPU PT 07a StateSpace 03 9 3 NUPN UNKNOWN
991 DiscoveryGPU PT 07b StateSpace 00 178680000000 3 NUPN UNKNOWN
992 DiscoveryGPU PT 07b StateSpace 01 1272500000000 3 NUPN UNKNOWN
993 DiscoveryGPU PT 07b StateSpace 02 1 3 NUPN UNKNOWN
994 DiscoveryGPU PT 07b StateSpace 03 9 3 NUPN UNKNOWN
995 DiscoveryGPU PT 08a StateSpace 00 214360000 3 NUPN UNKNOWN
996 DiscoveryGPU PT 08a StateSpace 01 2182600000 3 NUPN UNKNOWN
997 DiscoveryGPU PT 08a StateSpace 02 1 3 NUPN UNKNOWN
998 DiscoveryGPU PT 08a StateSpace 03 10 3 NUPN UNKNOWN
999 DiscoveryGPU PT 08b StateSpace 00 5121500000000 3 NUPN UNKNOWN
1000 DiscoveryGPU PT 08b StateSpace 01 40675000000000 3 NUPN UNKNOWN
1001 DiscoveryGPU PT 08b StateSpace 02 1 3 NUPN UNKNOWN
1002 DiscoveryGPU PT 08b StateSpace 03 10 3 NUPN UNKNOWN
1003 DiscoveryGPU PT 09a StateSpace 00 2357900000 3 NUPN UNKNOWN
1004 DiscoveryGPU PT 09a StateSpace 01 27009000000 3 NUPN UNKNOWN
1005 DiscoveryGPU PT 09a StateSpace 02 1 3 NUPN UNKNOWN
1006 DiscoveryGPU PT 09a StateSpace 03 11 3 NUPN UNKNOWN
1007 DiscoveryGPU PT 09b StateSpace 00 145100000000000 3 NUPN UNKNOWN
1008 DiscoveryGPU PT 09b StateSpace 01 1271e12 3 NUPN UNKNOWN
1009 DiscoveryGPU PT 09b StateSpace 02 1 3 NUPN UNKNOWN
1010 DiscoveryGPU PT 09b StateSpace 03 11 3 NUPN UNKNOWN
1011 DiscoveryGPU PT 10a StateSpace 00 25937000000 3 NUPN UNKNOWN
1012 DiscoveryGPU PT 10a StateSpace 01 330110000000 3 NUPN UNKNOWN
1013 DiscoveryGPU PT 10a StateSpace 02 1 3 NUPN UNKNOWN
1014 DiscoveryGPU PT 10a StateSpace 03 12 3 NUPN UNKNOWN
1015 DiscoveryGPU PT 10b StateSpace 00 40741e11 3 NUPN UNKNOWN
1016 DiscoveryGPU PT 10b StateSpace 01 39011e12 3 NUPN UNKNOWN
1017 DiscoveryGPU PT 10b StateSpace 02 1 3 NUPN UNKNOWN
1018 DiscoveryGPU PT 10b StateSpace 03 12 3 NUPN UNKNOWN
1019 DiscoveryGPU PT 11a StateSpace 00 285310000000 3 NUPN UNKNOWN
1020 DiscoveryGPU PT 11a StateSpace 01 3994400000000 3 NUPN UNKNOWN
1021 DiscoveryGPU PT 11a StateSpace 02 1 3 NUPN UNKNOWN
1022 DiscoveryGPU PT 11a StateSpace 03 13 3 NUPN UNKNOWN
1023 DiscoveryGPU PT 11b StateSpace 00 11358e13 3 NUPN UNKNOWN
1024 DiscoveryGPU PT 11b StateSpace 01 118e16 3 NUPN UNKNOWN
1025 DiscoveryGPU PT 11b StateSpace 02 1 3 NUPN UNKNOWN
1026 DiscoveryGPU PT 11b StateSpace 03 13 3 NUPN UNKNOWN
1027 DiscoveryGPU PT 12a StateSpace 00 3138400000000 3 NUPN UNKNOWN
1028 DiscoveryGPU PT 12a StateSpace 01 47932000000000 3 NUPN UNKNOWN
1029 DiscoveryGPU PT 12a StateSpace 02 1 3 NUPN UNKNOWN
1030 DiscoveryGPU PT 12a StateSpace 03 14 3 NUPN UNKNOWN
1031 DiscoveryGPU PT 12b StateSpace 00 31487e14 3 NUPN UNKNOWN
1032 DiscoveryGPU PT 12b StateSpace 01 35272e15 3 NUPN UNKNOWN
1033 DiscoveryGPU PT 12b StateSpace 02 1 3 NUPN UNKNOWN
1034 DiscoveryGPU PT 12b StateSpace 03 14 3 NUPN UNKNOWN
1035 DiscoveryGPU PT 13a StateSpace 00 34523000000000 3 NUPN UNKNOWN
1036 DiscoveryGPU PT 13a StateSpace 01 571190000000000 3 NUPN UNKNOWN
1037 DiscoveryGPU PT 13a StateSpace 02 1 3 NUPN UNKNOWN
1038 DiscoveryGPU PT 13a StateSpace 03 15 3 NUPN UNKNOWN
1039 DiscoveryGPU PT 13b StateSpace 00 86891e15 3 NUPN UNKNOWN
1040 DiscoveryGPU PT 13b StateSpace 01 10439e17 3 NUPN UNKNOWN
1041 DiscoveryGPU PT 13b StateSpace 02 1 3 NUPN UNKNOWN
1042 DiscoveryGPU PT 13b StateSpace 03 15 3 NUPN UNKNOWN
1043 DiscoveryGPU PT 14a StateSpace 00 379750000000000 3 NUPN UNKNOWN
1044 DiscoveryGPU PT 14a StateSpace 01 67665e11 3 NUPN UNKNOWN
1045 DiscoveryGPU PT 14a StateSpace 02 1 3 NUPN UNKNOWN
1046 DiscoveryGPU PT 14a StateSpace 03 16 3 NUPN UNKNOWN
1047 DiscoveryGPU PT 14b StateSpace 00 2.3889999999999997e+21 3 NUPN UNKNOWN
1048 DiscoveryGPU PT 14b StateSpace 01 30638e18 3 NUPN UNKNOWN
1049 DiscoveryGPU PT 14b StateSpace 02 1 3 NUPN UNKNOWN
1050 DiscoveryGPU PT 14b StateSpace 03 16 3 NUPN UNKNOWN
1051 DiscoveryGPU PT 15a StateSpace 00 41772e11 3 NUPN UNKNOWN
1052 DiscoveryGPU PT 15a StateSpace 01 79747e12 3 NUPN UNKNOWN
1053 DiscoveryGPU PT 15a StateSpace 02 1 3 NUPN UNKNOWN
1054 DiscoveryGPU PT 15a StateSpace 03 17 3 NUPN UNKNOWN
1055 DiscoveryGPU PT 15b StateSpace 00 65486e18 3 NUPN UNKNOWN
1056 DiscoveryGPU PT 15b StateSpace 01 89289e19 3 NUPN UNKNOWN
1057 DiscoveryGPU PT 15b StateSpace 02 1 3 NUPN UNKNOWN
1058 DiscoveryGPU PT 15b StateSpace 03 17 3 NUPN UNKNOWN
1059 DoubleExponent PT 001 StateSpace 00 149 3 NONE UNKNOWN
1060 DoubleExponent PT 001 StateSpace 01 148 3 NONE UNKNOWN
1061 DoubleExponent PT 001 StateSpace 02 4 3 NONE UNKNOWN
1062 DoubleExponent PT 001 StateSpace 03 21 3 NONE UNKNOWN
1063 DoubleExponent PT 002 StateSpace 00 3708 3 NONE UNKNOWN
1064 DoubleExponent PT 002 StateSpace 01 3707 3 NONE UNKNOWN
1065 DoubleExponent PT 002 StateSpace 02 16 3 NONE UNKNOWN
1066 DoubleExponent PT 002 StateSpace 03 71 3 NONE UNKNOWN
1067 DrinkVendingMachine COL 02 StateSpace 00 1024 3 NONE UNKNOWN
1068 DrinkVendingMachine COL 02 StateSpace 01 7680 3 NONE UNKNOWN
1069 DrinkVendingMachine COL 02 StateSpace 03 12 3 NONE UNKNOWN
1070 DrinkVendingMachine PT 02 StateSpace 00 1024 3 NONE UNKNOWN
1071 DrinkVendingMachine PT 02 StateSpace 01 7680 3 NONE UNKNOWN
1072 DrinkVendingMachine PT 02 StateSpace 02 1 3 NONE UNKNOWN
1073 DrinkVendingMachine PT 02 StateSpace 03 12 3 NONE UNKNOWN
1074 EGFr PT 02010 StateSpace 00 4200 3 GEN UNKNOWN
1075 EGFr PT 02010 StateSpace 01 26923 3 GEN UNKNOWN
1076 EGFr PT 02010 StateSpace 02 1 3 GEN UNKNOWN
1077 EGFr PT 02010 StateSpace 03 20 3 GEN UNKNOWN
1078 EGFr PT 10420 StateSpace 00 27022e12 3 GEN UNKNOWN
1079 EGFr PT 10420 StateSpace 01 84643e13 3 GEN UNKNOWN
1080 EGFr PT 10420 StateSpace 02 1 3 GEN UNKNOWN
1081 EGFr PT 10420 StateSpace 03 104 3 GEN UNKNOWN
1082 EGFr PT 10421 StateSpace 00 27022e12 3 NONE UNKNOWN
1083 EGFr PT 10421 StateSpace 01 84643e13 3 NONE UNKNOWN
1084 EGFr PT 10421 StateSpace 02 1 3 NONE UNKNOWN
1085 EGFr PT 10421 StateSpace 03 104 3 NONE UNKNOWN
1086 ERK PT 000001 StateSpace 00 13 3 GEN UNKNOWN
1087 ERK PT 000001 StateSpace 01 30 3 GEN UNKNOWN
1088 ERK PT 000001 StateSpace 02 1 3 GEN UNKNOWN
1089 ERK PT 000001 StateSpace 03 5 3 GEN UNKNOWN
1090 ERK PT 000010 StateSpace 00 47047 3 NONE UNKNOWN
1091 ERK PT 000010 StateSpace 01 372370 3 NONE UNKNOWN
1092 ERK PT 000010 StateSpace 02 10 3 NONE UNKNOWN
1093 ERK PT 000010 StateSpace 03 50 3 NONE UNKNOWN
1094 ERK PT 000100 StateSpace 00 15914000000 3 NONE UNKNOWN
1095 ERK PT 000100 StateSpace 01 168450000000 3 NONE UNKNOWN
1096 ERK PT 000100 StateSpace 02 100 3 NONE UNKNOWN
1097 ERK PT 000100 StateSpace 03 500 3 NONE UNKNOWN
1098 ERK PT 001000 StateSpace 00 14082e12 3 NONE UNKNOWN
1099 ERK PT 001000 StateSpace 01 15429e13 3 NONE UNKNOWN
1100 ERK PT 001000 StateSpace 02 1000 3 NONE UNKNOWN
1101 ERK PT 001000 StateSpace 03 5000 3 NONE UNKNOWN
1102 EnergyBus PT none StateSpace 00 2131800000000 3 NUPN UNKNOWN
1103 EnergyBus PT none StateSpace 01 40859000000000 3 NUPN UNKNOWN
1104 EnergyBus PT none StateSpace 02 1 3 NUPN UNKNOWN
1105 EnergyBus PT none StateSpace 03 22 3 NUPN UNKNOWN
1106 Eratosthenes PT 010 StateSpace 00 32 3 NONE UNKNOWN
1107 Eratosthenes PT 010 StateSpace 01 120 3 NONE UNKNOWN
1108 Eratosthenes PT 010 StateSpace 02 1 3 NONE UNKNOWN
1109 Eratosthenes PT 010 StateSpace 03 9 3 NONE UNKNOWN
1110 Eratosthenes PT 020 StateSpace 00 2048 3 NONE UNKNOWN
1111 Eratosthenes PT 020 StateSpace 01 23040 3 NONE UNKNOWN
1112 Eratosthenes PT 020 StateSpace 02 1 3 NONE UNKNOWN
1113 Eratosthenes PT 020 StateSpace 03 19 3 NONE UNKNOWN
1114 Eratosthenes PT 050 StateSpace 00 17180000000 3 NONE UNKNOWN
1115 Eratosthenes PT 050 StateSpace 01 730140000000 3 NONE UNKNOWN
1116 Eratosthenes PT 050 StateSpace 02 1 3 NONE UNKNOWN
1117 Eratosthenes PT 050 StateSpace 03 49 3 NONE UNKNOWN
1118 Eratosthenes PT 100 StateSpace 00 18889e18 3 NONE UNKNOWN
1119 Eratosthenes PT 100 StateSpace 01 20259e20 3 NONE UNKNOWN
1120 Eratosthenes PT 100 StateSpace 02 1 3 NONE UNKNOWN
1121 Eratosthenes PT 100 StateSpace 03 99 3 NONE UNKNOWN
1122 Eratosthenes PT 200 StateSpace 00 11418000000000002e30 3 NONE UNKNOWN
1123 Eratosthenes PT 200 StateSpace 01 29173000000000003e32 3 NONE UNKNOWN
1124 Eratosthenes PT 200 StateSpace 02 1 3 NONE UNKNOWN
1125 Eratosthenes PT 200 StateSpace 03 199 3 NONE UNKNOWN
1126 Eratosthenes PT 500 StateSpace 00 41316e117 3 NONE UNKNOWN
1127 Eratosthenes PT 500 StateSpace 01 32061000000000005e108 3 NONE UNKNOWN
1128 Eratosthenes PT 500 StateSpace 02 1 3 NONE UNKNOWN
1129 Eratosthenes PT 500 StateSpace 03 499 3 NONE UNKNOWN
1130 FMS PT 00002 StateSpace 00 3444 3 NONE UNKNOWN
1131 FMS PT 00002 StateSpace 01 16311 3 NONE UNKNOWN
1132 FMS PT 00002 StateSpace 02 3 3 NONE UNKNOWN
1133 FMS PT 00002 StateSpace 03 12 3 NONE UNKNOWN
1134 FMS PT 00005 StateSpace 00 2895000 3 NONE UNKNOWN
1135 FMS PT 00005 StateSpace 01 23527000 3 NONE UNKNOWN
1136 FMS PT 00005 StateSpace 02 5 3 NONE UNKNOWN
1137 FMS PT 00005 StateSpace 03 21 3 NONE UNKNOWN
1138 FMS PT 00010 StateSpace 00 2501400000 3 NONE UNKNOWN
1139 FMS PT 00010 StateSpace 01 27568000000 3 NONE UNKNOWN
1140 FMS PT 00010 StateSpace 02 10 3 NONE UNKNOWN
1141 FMS PT 00010 StateSpace 03 36 3 NONE UNKNOWN
1142 FMS PT 00020 StateSpace 00 6029200000000 3 NONE UNKNOWN
1143 FMS PT 00020 StateSpace 01 81442000000000 3 NONE UNKNOWN
1144 FMS PT 00020 StateSpace 02 20 3 NONE UNKNOWN
1145 FMS PT 00020 StateSpace 03 66 3 NONE UNKNOWN
1146 FMS PT 00050 StateSpace 00 42403e13 3 NONE UNKNOWN
1147 FMS PT 00050 StateSpace 01 66135e14 3 NONE UNKNOWN
1148 FMS PT 00050 StateSpace 02 50 3 NONE UNKNOWN
1149 FMS PT 00050 StateSpace 03 156 3 NONE UNKNOWN
1150 FMS PT 00100 StateSpace 00 27031e17 3 NONE UNKNOWN
1151 FMS PT 00100 StateSpace 01 44401e18 3 NONE UNKNOWN
1152 FMS PT 00100 StateSpace 02 100 3 NONE UNKNOWN
1153 FMS PT 00100 StateSpace 03 306 3 NONE UNKNOWN
1154 FMS PT 00200 StateSpace 00 19536e21 3 NONE UNKNOWN
1155 FMS PT 00200 StateSpace 01 32957e22 3 NONE UNKNOWN
1156 FMS PT 00200 StateSpace 02 200 3 NONE UNKNOWN
1157 FMS PT 00200 StateSpace 03 606 3 NONE UNKNOWN
1158 FMS PT 00500 StateSpace 00 27006000000000003e14 2 NONE UNKNOWN
1159 FMS PT 00500 StateSpace 01 46302e27 2 NONE UNKNOWN
1160 FMS PT 00500 StateSpace 02 500 2 NONE UNKNOWN
1161 FMS PT 00500 StateSpace 03 1506 2 NONE UNKNOWN
1162 FlexibleBarrier PT 04a StateSpace 00 20737 3 NUPN UNKNOWN
1163 FlexibleBarrier PT 04a StateSpace 01 121830 3 NUPN UNKNOWN
1164 FlexibleBarrier PT 04a StateSpace 02 1 3 NUPN UNKNOWN
1165 FlexibleBarrier PT 04a StateSpace 03 6 3 NUPN UNKNOWN
1166 FlexibleBarrier PT 04b StateSpace 00 791370000 3 NUPN UNKNOWN
1167 FlexibleBarrier PT 04b StateSpace 01 4501600000 3 NUPN UNKNOWN
1168 FlexibleBarrier PT 04b StateSpace 02 1 3 NUPN UNKNOWN
1169 FlexibleBarrier PT 04b StateSpace 03 6 3 NUPN UNKNOWN
1170 FlexibleBarrier PT 06a StateSpace 00 2986000 3 NUPN UNKNOWN
1171 FlexibleBarrier PT 06a StateSpace 01 26666000 3 NUPN UNKNOWN
1172 FlexibleBarrier PT 06a StateSpace 02 1 3 NUPN UNKNOWN
1173 FlexibleBarrier PT 06a StateSpace 03 8 3 NUPN UNKNOWN
1174 FlexibleBarrier PT 08a StateSpace 00 429980000 3 NUPN UNKNOWN
1175 FlexibleBarrier PT 08a StateSpace 01 5201600000 3 NUPN UNKNOWN
1176 FlexibleBarrier PT 08a StateSpace 02 1 3 NUPN UNKNOWN
1177 FlexibleBarrier PT 08a StateSpace 03 10 3 NUPN UNKNOWN
1178 FlexibleBarrier PT 10a StateSpace 00 61917000000 3 NUPN UNKNOWN
1179 FlexibleBarrier PT 10a StateSpace 01 951980000000 3 NUPN UNKNOWN
1180 FlexibleBarrier PT 10a StateSpace 02 1 3 NUPN UNKNOWN
1181 FlexibleBarrier PT 10a StateSpace 03 12 3 NUPN UNKNOWN
1182 FlexibleBarrier PT 12a StateSpace 00 8916100000000 3 NUPN UNKNOWN
1183 FlexibleBarrier PT 12a StateSpace 01 167300000000000 3 NUPN UNKNOWN
1184 FlexibleBarrier PT 12a StateSpace 02 1 3 NUPN UNKNOWN
1185 FlexibleBarrier PT 12a StateSpace 03 14 3 NUPN UNKNOWN
1186 FlexibleBarrier PT 14a StateSpace 00 12839e11 3 NUPN UNKNOWN
1187 FlexibleBarrier PT 14a StateSpace 01 28585e12 3 NUPN UNKNOWN
1188 FlexibleBarrier PT 14a StateSpace 02 1 3 NUPN UNKNOWN
1189 FlexibleBarrier PT 14a StateSpace 03 16 3 NUPN UNKNOWN
1190 FlexibleBarrier PT 16a StateSpace 00 18488e13 3 NUPN UNKNOWN
1191 FlexibleBarrier PT 16a StateSpace 01 47839e14 3 NUPN UNKNOWN
1192 FlexibleBarrier PT 16a StateSpace 02 1 3 NUPN UNKNOWN
1193 FlexibleBarrier PT 16a StateSpace 03 18 3 NUPN UNKNOWN
1194 FlexibleBarrier PT 18a StateSpace 00 26623e15 3 NUPN UNKNOWN
1195 FlexibleBarrier PT 18a StateSpace 01 78798e16 3 NUPN UNKNOWN
1196 FlexibleBarrier PT 18a StateSpace 02 1 3 NUPN UNKNOWN
1197 FlexibleBarrier PT 18a StateSpace 03 20 3 NUPN UNKNOWN
1198 FlexibleBarrier PT 20a StateSpace 00 3.8337999999999997e+21 3 NUPN UNKNOWN
1199 FlexibleBarrier PT 20a StateSpace 01 1.2815999999999999e+23 3 NUPN UNKNOWN
1200 FlexibleBarrier PT 20a StateSpace 02 1 3 NUPN UNKNOWN
1201 FlexibleBarrier PT 20a StateSpace 03 22 3 NUPN UNKNOWN
1202 FlexibleBarrier PT 22a StateSpace 00 55206e19 3 NUPN UNKNOWN
1203 FlexibleBarrier PT 22a StateSpace 01 20633e21 3 NUPN UNKNOWN
1204 FlexibleBarrier PT 22a StateSpace 02 1 3 NUPN UNKNOWN
1205 FlexibleBarrier PT 22a StateSpace 03 24 3 NUPN UNKNOWN
1206 GPPP PT C0001N0000000001 StateSpace 00 10380 3 NONE UNKNOWN
1207 GPPP PT C0001N0000000001 StateSpace 01 42408 3 NONE UNKNOWN
1208 GPPP PT C0001N0000000001 StateSpace 02 11 3 NONE UNKNOWN
1209 GPPP PT C0001N0000000001 StateSpace 03 41 3 NONE UNKNOWN
1210 GPPP PT C0001N0000000010 StateSpace 00 1655300 3 NONE UNKNOWN
1211 GPPP PT C0001N0000000010 StateSpace 01 9555700 3 NONE UNKNOWN
1212 GPPP PT C0001N0000000010 StateSpace 02 47 3 NONE UNKNOWN
1213 GPPP PT C0001N0000000010 StateSpace 03 133 3 NONE UNKNOWN
1214 GPPP PT C0001N0000000100 StateSpace 00 145480000 3 NONE UNKNOWN
1215 GPPP PT C0001N0000000100 StateSpace 01 869740000 3 NONE UNKNOWN
1216 GPPP PT C0001N0000000100 StateSpace 02 407 3 NONE UNKNOWN
1217 GPPP PT C0001N0000000100 StateSpace 03 1033 3 NONE UNKNOWN
1218 GPPP PT C0001N0000001000 StateSpace 00 14354000000 3 NONE UNKNOWN
1219 GPPP PT C0001N0000001000 StateSpace 01 86140000000 3 NONE UNKNOWN
1220 GPPP PT C0001N0000001000 StateSpace 02 4007 3 NONE UNKNOWN
1221 GPPP PT C0001N0000001000 StateSpace 03 10033 3 NONE UNKNOWN
1222 GPPP PT C0010N0000000010 StateSpace 00 23537000000 3 NONE UNKNOWN
1223 GPPP PT C0010N0000000010 StateSpace 01 210470000000 3 NONE UNKNOWN
1224 GPPP PT C0010N0000000010 StateSpace 02 110 3 NONE UNKNOWN
1225 GPPP PT C0010N0000000010 StateSpace 03 404 3 NONE UNKNOWN
1226 GPPP PT C0010N0000000100 StateSpace 00 176890000000 3 NONE UNKNOWN
1227 GPPP PT C0010N0000000100 StateSpace 01 1642100000000 3 NONE UNKNOWN
1228 GPPP PT C0010N0000000100 StateSpace 02 407 3 NONE UNKNOWN
1229 GPPP PT C0010N0000000100 StateSpace 03 1280 3 NONE UNKNOWN
1230 GPPP PT C0100N0000000010 StateSpace 00 14185000000 3 NONE UNKNOWN
1231 GPPP PT C0100N0000000010 StateSpace 01 119830000000 3 NONE UNKNOWN
1232 GPPP PT C0100N0000000010 StateSpace 02 740 3 NONE UNKNOWN
1233 GPPP PT C0100N0000000010 StateSpace 03 3103 3 NONE UNKNOWN
1234 GPPP PT C0100N0000000100 StateSpace 00 2454e12 3 NONE UNKNOWN
1235 GPPP PT C0100N0000000100 StateSpace 01 23484e12 3 NONE UNKNOWN
1236 GPPP PT C0100N0000000100 StateSpace 02 1100 3 NONE UNKNOWN
1237 GPPP PT C0100N0000000100 StateSpace 03 4004 3 NONE UNKNOWN
1238 GlobalResAllocation COL 03 StateSpace 00 6320 3 NONE UNKNOWN
1239 GlobalResAllocation COL 03 StateSpace 01 116180 3 NONE UNKNOWN
1240 GlobalResAllocation COL 03 StateSpace 03 18 3 NONE UNKNOWN
1241 GlobalResAllocation COL 05 StateSpace 00 106600000 2 NONE UNKNOWN
1242 GlobalResAllocation COL 05 StateSpace 03 30 2 NONE UNKNOWN
1243 GlobalResAllocation PT 03 StateSpace 00 6320 3 NONE UNKNOWN
1244 GlobalResAllocation PT 03 StateSpace 01 116180 3 NONE UNKNOWN
1245 GlobalResAllocation PT 03 StateSpace 02 4 3 NONE UNKNOWN
1246 GlobalResAllocation PT 03 StateSpace 03 18 3 NONE UNKNOWN
1247 GlobalResAllocation PT 05 StateSpace 00 106600000 2 NONE UNKNOWN
1248 GlobalResAllocation PT 05 StateSpace 02 4 2 NONE UNKNOWN
1249 GlobalResAllocation PT 05 StateSpace 03 30 2 NONE UNKNOWN
1250 HexagonalGrid PT 110 StateSpace 00 40193 3 NONE UNKNOWN
1251 HexagonalGrid PT 110 StateSpace 01 430880 3 NONE UNKNOWN
1252 HexagonalGrid PT 110 StateSpace 02 6 3 NONE UNKNOWN
1253 HexagonalGrid PT 110 StateSpace 03 18 3 NONE UNKNOWN
1254 HexagonalGrid PT 126 StateSpace 00 2664200 3 NONE UNKNOWN
1255 HexagonalGrid PT 126 StateSpace 01 39908000 3 NONE UNKNOWN
1256 HexagonalGrid PT 126 StateSpace 02 18 3 NONE UNKNOWN
1257 HexagonalGrid PT 126 StateSpace 03 30 3 NONE UNKNOWN
1258 HexagonalGrid PT 226 StateSpace 00 10086e42 3 NONE UNKNOWN
1259 HexagonalGrid PT 226 StateSpace 01 99582e43 3 NONE UNKNOWN
1260 HexagonalGrid PT 226 StateSpace 02 18 3 NONE UNKNOWN
1261 HexagonalGrid PT 226 StateSpace 03 186 3 NONE UNKNOWN
1262 HospitalTriage PT none StateSpace 00 17342e16 3 NONE UNKNOWN
1263 HospitalTriage PT none StateSpace 01 35036e17 3 NONE UNKNOWN
1264 HospitalTriage PT none StateSpace 02 4 3 NONE UNKNOWN
1265 HospitalTriage PT none StateSpace 03 61 3 NONE UNKNOWN
1266 HouseConstruction PT 00002 StateSpace 00 1501 3 NONE UNKNOWN
1267 HouseConstruction PT 00002 StateSpace 01 4780 3 NONE UNKNOWN
1268 HouseConstruction PT 00002 StateSpace 02 2 3 NONE UNKNOWN
1269 HouseConstruction PT 00002 StateSpace 03 12 3 NONE UNKNOWN
1270 HouseConstruction PT 00005 StateSpace 00 1188000 3 NONE UNKNOWN
1271 HouseConstruction PT 00005 StateSpace 01 7191100 3 NONE UNKNOWN
1272 HouseConstruction PT 00005 StateSpace 02 5 3 NONE UNKNOWN
1273 HouseConstruction PT 00005 StateSpace 03 30 3 NONE UNKNOWN
1274 HouseConstruction PT 00010 StateSpace 00 1663600000 3 NONE UNKNOWN
1275 HouseConstruction PT 00010 StateSpace 01 14808000000 3 NONE UNKNOWN
1276 HouseConstruction PT 00010 StateSpace 02 10 3 NONE UNKNOWN
1277 HouseConstruction PT 00010 StateSpace 03 60 3 NONE UNKNOWN
1278 HouseConstruction PT 00020 StateSpace 00 13666000000000 3 NONE UNKNOWN
1279 HouseConstruction PT 00020 StateSpace 01 161440000000000 3 NONE UNKNOWN
1280 HouseConstruction PT 00020 StateSpace 02 20 3 NONE UNKNOWN
1281 HouseConstruction PT 00020 StateSpace 03 120 3 NONE UNKNOWN
1282 HouseConstruction PT 00050 StateSpace 00 15682e15 3 NONE UNKNOWN
1283 HouseConstruction PT 00050 StateSpace 01 23266e16 3 NONE UNKNOWN
1284 HouseConstruction PT 00050 StateSpace 02 50 3 NONE UNKNOWN
1285 HouseConstruction PT 00050 StateSpace 03 300 3 NONE UNKNOWN
1286 HouseConstruction PT 00100 StateSpace 00 15805e20 3 NONE UNKNOWN
1287 HouseConstruction PT 00100 StateSpace 02 100 3 NONE UNKNOWN
1288 HouseConstruction PT 00100 StateSpace 03 600 3 NONE UNKNOWN
1289 HypertorusGrid PT d2k1p8b00 StateSpace 00 87552 3 NONE UNKNOWN
1290 HypertorusGrid PT d2k1p8b00 StateSpace 01 667630 3 NONE UNKNOWN
1291 HypertorusGrid PT d2k1p8b00 StateSpace 02 32 3 NONE UNKNOWN
1292 HypertorusGrid PT d2k1p8b00 StateSpace 03 36 3 NONE UNKNOWN
1293 HypertorusGrid PT d2k2p1b00 StateSpace 00 51737000000 3 NONE UNKNOWN
1294 HypertorusGrid PT d2k2p1b00 StateSpace 01 921670000000 3 NONE UNKNOWN
1295 HypertorusGrid PT d2k2p1b00 StateSpace 02 4 3 NONE UNKNOWN
1296 HypertorusGrid PT d2k2p1b00 StateSpace 03 32 3 NONE UNKNOWN
1297 HypertorusGrid PT d2k3p2b04 StateSpace 00 54758e31 3 NONE UNKNOWN
1298 HypertorusGrid PT d2k3p2b04 StateSpace 01 30194000000000004e21 3 NONE UNKNOWN
1299 HypertorusGrid PT d2k3p2b04 StateSpace 02 12 3 NONE UNKNOWN
1300 HypertorusGrid PT d2k3p2b04 StateSpace 03 144 3 NONE UNKNOWN
1301 IBM319 PT none StateSpace 00 2482 3 GEN UNKNOWN
1302 IBM319 PT none StateSpace 01 6705 3 GEN UNKNOWN
1303 IBM319 PT none StateSpace 02 1 3 GEN UNKNOWN
1304 IBM319 PT none StateSpace 03 7 3 GEN UNKNOWN
1305 IBM5964 PT none StateSpace 00 15546 3 NONE UNKNOWN
1306 IBM5964 PT none StateSpace 01 59846 3 NONE UNKNOWN
1307 IBM5964 PT none StateSpace 02 5 3 NONE UNKNOWN
1308 IBM5964 PT none StateSpace 03 17 3 NONE UNKNOWN
1309 IBM703 PT none StateSpace 00 8370 3 GEN UNKNOWN
1310 IBM703 PT none StateSpace 01 20499 3 GEN UNKNOWN
1311 IBM703 PT none StateSpace 02 1 3 GEN UNKNOWN
1312 IBM703 PT none StateSpace 03 3 3 GEN UNKNOWN
1313 IBMB2S565S3960 PT none StateSpace 00 15511e12 3 NONE UNKNOWN
1314 IBMB2S565S3960 PT none StateSpace 01 20113e13 3 NONE UNKNOWN
1315 IBMB2S565S3960 PT none StateSpace 02 7 3 NONE UNKNOWN
1316 IBMB2S565S3960 PT none StateSpace 03 60 3 NONE UNKNOWN
1317 IOTPpurchase PT C01M01P01D01 StateSpace 00 204 3 GEN UNKNOWN
1318 IOTPpurchase PT C01M01P01D01 StateSpace 01 436 3 GEN UNKNOWN
1319 IOTPpurchase PT C01M01P01D01 StateSpace 02 1 3 GEN UNKNOWN
1320 IOTPpurchase PT C01M01P01D01 StateSpace 03 22 3 GEN UNKNOWN
1321 IOTPpurchase PT C03M03P03D03 StateSpace 00 354180 3 NONE UNKNOWN
1322 IOTPpurchase PT C03M03P03D03 StateSpace 01 1684100 3 NONE UNKNOWN
1323 IOTPpurchase PT C03M03P03D03 StateSpace 02 3 3 NONE UNKNOWN
1324 IOTPpurchase PT C03M03P03D03 StateSpace 03 40 3 NONE UNKNOWN
1325 IOTPpurchase PT C05M04P03D02 StateSpace 00 17406000 3 NONE UNKNOWN
1326 IOTPpurchase PT C05M04P03D02 StateSpace 01 108420000 3 NONE UNKNOWN
1327 IOTPpurchase PT C05M04P03D02 StateSpace 02 5 3 NONE UNKNOWN
1328 IOTPpurchase PT C05M04P03D02 StateSpace 03 51 3 NONE UNKNOWN
1329 IOTPpurchase PT C12M10P15D17 StateSpace 00 92677000000000 3 NONE UNKNOWN
1330 IOTPpurchase PT C12M10P15D17 StateSpace 01 10921e11 3 NONE UNKNOWN
1331 IOTPpurchase PT C12M10P15D17 StateSpace 02 17 3 NONE UNKNOWN
1332 IOTPpurchase PT C12M10P15D17 StateSpace 03 125 3 NONE UNKNOWN
1333 JoinFreeModules PT 0003 StateSpace 00 35937 3 NONE UNKNOWN
1334 JoinFreeModules PT 0003 StateSpace 01 225450 3 NONE UNKNOWN
1335 JoinFreeModules PT 0003 StateSpace 02 5 3 NONE UNKNOWN
1336 JoinFreeModules PT 0003 StateSpace 03 19 3 NONE UNKNOWN
1337 JoinFreeModules PT 0004 StateSpace 00 14776000 3 NONE UNKNOWN
1338 JoinFreeModules PT 0004 StateSpace 01 138230000 3 NONE UNKNOWN
1339 JoinFreeModules PT 0004 StateSpace 02 6 3 NONE UNKNOWN
1340 JoinFreeModules PT 0004 StateSpace 03 29 3 NONE UNKNOWN
1341 JoinFreeModules PT 0005 StateSpace 00 11593000000 3 NONE UNKNOWN
1342 JoinFreeModules PT 0005 StateSpace 01 150820000000 3 NONE UNKNOWN
1343 JoinFreeModules PT 0005 StateSpace 02 7 3 NONE UNKNOWN
1344 JoinFreeModules PT 0005 StateSpace 03 41 3 NONE UNKNOWN
1345 JoinFreeModules PT 0010 StateSpace 00 15902e29 3 NONE UNKNOWN
1346 JoinFreeModules PT 0010 StateSpace 01 57218e30 3 NONE UNKNOWN
1347 JoinFreeModules PT 0010 StateSpace 02 13 3 NONE UNKNOWN
1348 JoinFreeModules PT 0010 StateSpace 03 131 3 NONE UNKNOWN
1349 JoinFreeModules PT 0020 StateSpace 00 41123e80 3 NONE UNKNOWN
1350 JoinFreeModules PT 0020 StateSpace 01 40369e82 3 NONE UNKNOWN
1351 JoinFreeModules PT 0020 StateSpace 02 23 3 NONE UNKNOWN
1352 JoinFreeModules PT 0020 StateSpace 03 461 3 NONE UNKNOWN
1353 JoinFreeModules PT 0050 StateSpace 00 5746099999999999e264 3 NONE UNKNOWN
1354 JoinFreeModules PT 0050 StateSpace 01 18333e278 3 NONE UNKNOWN
1355 JoinFreeModules PT 0050 StateSpace 02 53 3 NONE UNKNOWN
1356 JoinFreeModules PT 0050 StateSpace 03 2651 3 NONE UNKNOWN
1357 JoinFreeModules PT 0100 StateSpace 00 Inf 3 NONE UNKNOWN
1358 JoinFreeModules PT 0100 StateSpace 01 Inf 3 NONE UNKNOWN
1359 JoinFreeModules PT 0100 StateSpace 02 103 3 NONE UNKNOWN
1360 JoinFreeModules PT 0100 StateSpace 03 10301 3 NONE UNKNOWN
1361 Kanban PT 00005 StateSpace 00 2546400 3 NONE UNKNOWN
1362 Kanban PT 00005 StateSpace 01 24460000 3 NONE UNKNOWN
1363 Kanban PT 00005 StateSpace 02 5 3 NONE UNKNOWN
1364 Kanban PT 00005 StateSpace 03 20 3 NONE UNKNOWN
1365 Kanban PT 00010 StateSpace 00 1005900000 3 NONE UNKNOWN
1366 Kanban PT 00010 StateSpace 01 12032000000 3 NONE UNKNOWN
1367 Kanban PT 00010 StateSpace 02 10 3 NONE UNKNOWN
1368 Kanban PT 00010 StateSpace 03 40 3 NONE UNKNOWN
1369 Kanban PT 00020 StateSpace 00 805420000000 3 NONE UNKNOWN
1370 Kanban PT 00020 StateSpace 01 11012000000000 3 NONE UNKNOWN
1371 Kanban PT 00020 StateSpace 02 20 3 NONE UNKNOWN
1372 Kanban PT 00020 StateSpace 03 80 3 NONE UNKNOWN
1373 Kanban PT 00050 StateSpace 00 10426e12 3 NONE UNKNOWN
1374 Kanban PT 00050 StateSpace 01 15612e13 3 NONE UNKNOWN
1375 Kanban PT 00050 StateSpace 02 50 3 NONE UNKNOWN
1376 Kanban PT 00050 StateSpace 03 200 3 NONE UNKNOWN
1377 Kanban PT 00100 StateSpace 00 17263e15 3 NONE UNKNOWN
1378 Kanban PT 00100 StateSpace 01 26705e16 3 NONE UNKNOWN
1379 Kanban PT 00100 StateSpace 02 100 3 NONE UNKNOWN
1380 Kanban PT 00100 StateSpace 03 400 3 NONE UNKNOWN
1381 Kanban PT 00200 StateSpace 00 31732e18 3 NONE UNKNOWN
1382 Kanban PT 00200 StateSpace 01 49914e19 3 NONE UNKNOWN
1383 Kanban PT 00200 StateSpace 02 200 3 NONE UNKNOWN
1384 Kanban PT 00200 StateSpace 03 800 3 NONE UNKNOWN
1385 Kanban PT 00500 StateSpace 00 7086e23 3 NONE UNKNOWN
1386 Kanban PT 00500 StateSpace 01 1126e25 3 NONE UNKNOWN
1387 Kanban PT 00500 StateSpace 02 500 3 NONE UNKNOWN
1388 Kanban PT 00500 StateSpace 03 2000 3 NONE UNKNOWN
1389 Kanban PT 01000 StateSpace 00 14197e26 3 NONE UNKNOWN
1390 Kanban PT 01000 StateSpace 01 22638e27 3 NONE UNKNOWN
1391 Kanban PT 01000 StateSpace 02 1000 3 NONE UNKNOWN
1392 Kanban PT 01000 StateSpace 03 4000 3 NONE UNKNOWN
1393 LamportFastMutEx COL 2 StateSpace 00 380 3 NONE UNKNOWN
1394 LamportFastMutEx COL 2 StateSpace 01 716 3 NONE UNKNOWN
1395 LamportFastMutEx COL 2 StateSpace 03 8 3 NONE UNKNOWN
1396 LamportFastMutEx COL 3 StateSpace 00 19742 3 NONE UNKNOWN
1397 LamportFastMutEx COL 3 StateSpace 01 58272 3 NONE UNKNOWN
1398 LamportFastMutEx COL 3 StateSpace 03 14 3 NONE UNKNOWN
1399 LamportFastMutEx COL 4 StateSpace 00 1914800 3 NONE UNKNOWN
1400 LamportFastMutEx COL 4 StateSpace 01 9046000 3 NONE UNKNOWN
1401 LamportFastMutEx COL 4 StateSpace 03 22 3 NONE UNKNOWN
1402 LamportFastMutEx COL 5 StateSpace 00 530680000 3 NONE UNKNOWN
1403 LamportFastMutEx COL 5 StateSpace 01 4138200000 3 NONE UNKNOWN
1404 LamportFastMutEx COL 5 StateSpace 03 32 3 NONE UNKNOWN
1405 LamportFastMutEx COL 6 StateSpace 00 547230000000 3 NONE UNKNOWN
1406 LamportFastMutEx COL 6 StateSpace 01 6773000000000 3 NONE UNKNOWN
1407 LamportFastMutEx COL 6 StateSpace 03 44 3 NONE UNKNOWN
1408 LamportFastMutEx PT 2 StateSpace 00 380 3 GEN UNKNOWN
1409 LamportFastMutEx PT 2 StateSpace 01 716 3 GEN UNKNOWN
1410 LamportFastMutEx PT 2 StateSpace 02 1 3 GEN UNKNOWN
1411 LamportFastMutEx PT 2 StateSpace 03 8 3 GEN UNKNOWN
1412 LamportFastMutEx PT 3 StateSpace 00 19742 3 GEN UNKNOWN
1413 LamportFastMutEx PT 3 StateSpace 01 58272 3 GEN UNKNOWN
1414 LamportFastMutEx PT 3 StateSpace 02 1 3 GEN UNKNOWN
1415 LamportFastMutEx PT 3 StateSpace 03 14 3 GEN UNKNOWN
1416 LamportFastMutEx PT 4 StateSpace 00 1914800 3 GEN UNKNOWN
1417 LamportFastMutEx PT 4 StateSpace 01 9046000 3 GEN UNKNOWN
1418 LamportFastMutEx PT 4 StateSpace 02 1 3 GEN UNKNOWN
1419 LamportFastMutEx PT 4 StateSpace 03 22 3 GEN UNKNOWN
1420 LamportFastMutEx PT 5 StateSpace 00 530680000 3 GEN UNKNOWN
1421 LamportFastMutEx PT 5 StateSpace 01 4138200000 3 GEN UNKNOWN
1422 LamportFastMutEx PT 5 StateSpace 02 1 3 GEN UNKNOWN
1423 LamportFastMutEx PT 5 StateSpace 03 32 3 GEN UNKNOWN
1424 LamportFastMutEx PT 6 StateSpace 00 547230000000 3 GEN UNKNOWN
1425 LamportFastMutEx PT 6 StateSpace 01 6773000000000 3 GEN UNKNOWN
1426 LamportFastMutEx PT 6 StateSpace 02 1 3 GEN UNKNOWN
1427 LamportFastMutEx PT 6 StateSpace 03 44 3 GEN UNKNOWN
1428 MAPK PT 00008 StateSpace 00 6110600 3 NONE UNKNOWN
1429 MAPK PT 00008 StateSpace 01 78949000 3 NONE UNKNOWN
1430 MAPK PT 00008 StateSpace 02 8 3 NONE UNKNOWN
1431 MAPK PT 00008 StateSpace 03 36 3 NONE UNKNOWN
1432 MAPK PT 00020 StateSpace 00 88126000000 3 NONE UNKNOWN
1433 MAPK PT 00020 StateSpace 01 1689000000000 3 NONE UNKNOWN
1434 MAPK PT 00020 StateSpace 02 20 3 NONE UNKNOWN
1435 MAPK PT 00020 StateSpace 03 90 3 NONE UNKNOWN
1436 MAPK PT 00040 StateSpace 00 478290000000000 3 NONE UNKNOWN
1437 MAPK PT 00040 StateSpace 01 11099e12 3 NONE UNKNOWN
1438 MAPK PT 00040 StateSpace 02 40 3 NONE UNKNOWN
1439 MAPK PT 00040 StateSpace 03 180 3 NONE UNKNOWN
1440 MAPK PT 00080 StateSpace 00 56349e14 3 NONE UNKNOWN
1441 MAPK PT 00080 StateSpace 01 14704e16 3 NONE UNKNOWN
1442 MAPK PT 00080 StateSpace 02 80 3 NONE UNKNOWN
1443 MAPK PT 00080 StateSpace 03 360 3 NONE UNKNOWN
1444 MAPK PT 00160 StateSpace 00 1.0639999999999999e+23 3 NONE UNKNOWN
1445 MAPK PT 00160 StateSpace 01 2967e21 3 NONE UNKNOWN
1446 MAPK PT 00160 StateSpace 02 160 3 NONE UNKNOWN
1447 MAPK PT 00160 StateSpace 03 720 3 NONE UNKNOWN
1448 MAPK PT 00320 StateSpace 00 26163e23 3 NONE UNKNOWN
1449 MAPK PT 00320 StateSpace 01 75604e24 3 NONE UNKNOWN
1450 MAPK PT 00320 StateSpace 02 320 3 NONE UNKNOWN
1451 MAPK PT 00320 StateSpace 03 1440 3 NONE UNKNOWN
1452 MAPK PT 00640 StateSpace 00 74034e27 2 NONE UNKNOWN
1453 MAPK PT 00640 StateSpace 01 21793e29 2 NONE UNKNOWN
1454 MAPK PT 00640 StateSpace 02 640 2 NONE UNKNOWN
1455 MAPK PT 00640 StateSpace 03 2880 2 NONE UNKNOWN
1456 MAPKbis PT 5310 StateSpace 00 3846400000000 3 GEN UNKNOWN
1457 MAPKbis PT 5310 StateSpace 01 94861000000000 3 GEN UNKNOWN
1458 MAPKbis PT 5310 StateSpace 02 1 3 GEN UNKNOWN
1459 MAPKbis PT 5310 StateSpace 03 53 3 GEN UNKNOWN
1460 MAPKbis PT 5320 StateSpace 00 8126500 3 GEN UNKNOWN
1461 MAPKbis PT 5320 StateSpace 01 101580000 3 GEN UNKNOWN
1462 MAPKbis PT 5320 StateSpace 02 1 3 GEN UNKNOWN
1463 MAPKbis PT 5320 StateSpace 03 53 3 GEN UNKNOWN
1464 MultiwaySync PT none StateSpace 00 52596e15 3 NUPN UNKNOWN
1465 MultiwaySync PT none StateSpace 01 21892e17 3 NUPN UNKNOWN
1466 MultiwaySync PT none StateSpace 02 1 3 NUPN UNKNOWN
1467 MultiwaySync PT none StateSpace 03 27 3 NUPN UNKNOWN
1468 NQueens PT 05 StateSpace 00 462 3 GEN UNKNOWN
1469 NQueens PT 05 StateSpace 01 1295 3 GEN UNKNOWN
1470 NQueens PT 05 StateSpace 02 1 3 GEN UNKNOWN
1471 NQueens PT 05 StateSpace 03 30 3 GEN UNKNOWN
1472 NQueens PT 08 StateSpace 00 118970 3 GEN UNKNOWN
1473 NQueens PT 08 StateSpace 01 564880 3 GEN UNKNOWN
1474 NQueens PT 08 StateSpace 02 1 3 GEN UNKNOWN
1475 NQueens PT 08 StateSpace 03 48 3 GEN UNKNOWN
1476 NQueens PT 10 StateSpace 00 7535400 3 GEN UNKNOWN
1477 NQueens PT 10 StateSpace 02 1 3 GEN UNKNOWN
1478 NQueens PT 10 StateSpace 03 60 3 GEN UNKNOWN
1479 NeighborGrid PT d2n3m1c12 StateSpace 00 24310 3 NONE UNKNOWN
1480 NeighborGrid PT d2n3m1c12 StateSpace 01 514800 3 NONE UNKNOWN
1481 NeighborGrid PT d2n3m1c12 StateSpace 02 9 3 NONE UNKNOWN
1482 NeighborGrid PT d2n3m1c12 StateSpace 03 9 3 NONE UNKNOWN
1483 NeighborGrid PT d2n3m1t12 StateSpace 00 24310 3 NONE UNKNOWN
1484 NeighborGrid PT d2n3m1t12 StateSpace 01 926640 3 NONE UNKNOWN
1485 NeighborGrid PT d2n3m1t12 StateSpace 02 9 3 NONE UNKNOWN
1486 NeighborGrid PT d2n3m1t12 StateSpace 03 9 3 NONE UNKNOWN
1487 NeighborGrid PT d3n3m1t11 StateSpace 00 973470000000000 3 NONE UNKNOWN
1488 NeighborGrid PT d3n3m1t11 StateSpace 01 80339e12 3 NONE UNKNOWN
1489 NeighborGrid PT d3n3m1t11 StateSpace 02 27 3 NONE UNKNOWN
1490 NeighborGrid PT d3n3m1t11 StateSpace 03 27 3 NONE UNKNOWN
1491 NeighborGrid PT d4n3m2c23 StateSpace 00 26957e61 3 NONE UNKNOWN
1492 NeighborGrid PT d4n3m2c23 StateSpace 02 162 3 NONE UNKNOWN
1493 NeighborGrid PT d4n3m2c23 StateSpace 03 162 3 NONE UNKNOWN
1494 NeoElection COL 2 StateSpace 00 241 3 NONE UNKNOWN
1495 NeoElection COL 2 StateSpace 01 448 3 NONE UNKNOWN
1496 NeoElection COL 2 StateSpace 03 14 3 NONE UNKNOWN
1497 NeoElection COL 3 StateSpace 00 974330 3 NONE UNKNOWN
1498 NeoElection COL 3 StateSpace 01 3599100 3 NONE UNKNOWN
1499 NeoElection COL 3 StateSpace 03 30 3 NONE UNKNOWN
1500 NeoElection COL 4 StateSpace 00 291910000000 3 NONE UNKNOWN
1501 NeoElection COL 4 StateSpace 01 1865000000000 3 NONE UNKNOWN
1502 NeoElection COL 4 StateSpace 03 52 3 NONE UNKNOWN
1503 NeoElection PT 2 StateSpace 00 241 3 GEN UNKNOWN
1504 NeoElection PT 2 StateSpace 01 448 3 GEN UNKNOWN
1505 NeoElection PT 2 StateSpace 02 1 3 GEN UNKNOWN
1506 NeoElection PT 2 StateSpace 03 14 3 GEN UNKNOWN
1507 NeoElection PT 3 StateSpace 00 974330 3 GEN UNKNOWN
1508 NeoElection PT 3 StateSpace 01 3599100 3 GEN UNKNOWN
1509 NeoElection PT 3 StateSpace 02 1 3 GEN UNKNOWN
1510 NeoElection PT 3 StateSpace 03 30 3 GEN UNKNOWN
1511 NeoElection PT 4 StateSpace 00 291910000000 3 GEN UNKNOWN
1512 NeoElection PT 4 StateSpace 01 1865000000000 3 GEN UNKNOWN
1513 NeoElection PT 4 StateSpace 02 1 3 GEN UNKNOWN
1514 NeoElection PT 4 StateSpace 03 52 3 GEN UNKNOWN
1515 NoC3x3 PT 1A StateSpace 00 2.1507000000000001e+21 3 NUPN UNKNOWN
1516 NoC3x3 PT 1A StateSpace 01 16406e19 3 NUPN UNKNOWN
1517 NoC3x3 PT 1A StateSpace 02 1 3 NUPN UNKNOWN
1518 NoC3x3 PT 1A StateSpace 03 40 3 NUPN UNKNOWN
1519 PaceMaker PT none StateSpace 00 36803e13 3 NONE UNKNOWN
1520 PaceMaker PT none StateSpace 01 80565e14 3 NONE UNKNOWN
1521 PaceMaker PT none StateSpace 02 949 3 NONE UNKNOWN
1522 PaceMaker PT none StateSpace 03 18085 3 NONE UNKNOWN
1523 ParamProductionCell PT 0 StateSpace 00 2776900 3 GEN UNKNOWN
1524 ParamProductionCell PT 0 StateSpace 01 13152000 3 GEN UNKNOWN
1525 ParamProductionCell PT 0 StateSpace 02 1 3 GEN UNKNOWN
1526 ParamProductionCell PT 0 StateSpace 03 32 3 GEN UNKNOWN
1527 ParamProductionCell PT 1 StateSpace 00 25632 3 GEN UNKNOWN
1528 ParamProductionCell PT 1 StateSpace 01 96722 3 GEN UNKNOWN
1529 ParamProductionCell PT 1 StateSpace 02 1 3 GEN UNKNOWN
1530 ParamProductionCell PT 1 StateSpace 03 36 3 GEN UNKNOWN
1531 ParamProductionCell PT 2 StateSpace 00 349870 3 GEN UNKNOWN
1532 ParamProductionCell PT 2 StateSpace 01 1380700 3 GEN UNKNOWN
1533 ParamProductionCell PT 2 StateSpace 02 1 3 GEN UNKNOWN
1534 ParamProductionCell PT 2 StateSpace 03 36 3 GEN UNKNOWN
1535 ParamProductionCell PT 3 StateSpace 00 1465200 3 GEN UNKNOWN
1536 ParamProductionCell PT 3 StateSpace 01 5922700 3 GEN UNKNOWN
1537 ParamProductionCell PT 3 StateSpace 02 1 3 GEN UNKNOWN
1538 ParamProductionCell PT 3 StateSpace 03 36 3 GEN UNKNOWN
1539 ParamProductionCell PT 4 StateSpace 00 2409700 3 GEN UNKNOWN
1540 ParamProductionCell PT 4 StateSpace 01 9827700 3 GEN UNKNOWN
1541 ParamProductionCell PT 4 StateSpace 02 1 3 GEN UNKNOWN
1542 ParamProductionCell PT 4 StateSpace 03 36 3 GEN UNKNOWN
1543 ParamProductionCell PT 5 StateSpace 00 1657200 3 GEN UNKNOWN
1544 ParamProductionCell PT 5 StateSpace 01 6746400 3 GEN UNKNOWN
1545 ParamProductionCell PT 5 StateSpace 02 1 3 GEN UNKNOWN
1546 ParamProductionCell PT 5 StateSpace 03 36 3 GEN UNKNOWN
1547 Parking PT 104 StateSpace 00 31745 3 NUPN UNKNOWN
1548 Parking PT 104 StateSpace 01 339200 3 NUPN UNKNOWN
1549 Parking PT 104 StateSpace 02 1 3 NUPN UNKNOWN
1550 Parking PT 104 StateSpace 03 15 3 NUPN UNKNOWN
1551 Parking PT 208 StateSpace 00 4567600000 3 NUPN UNKNOWN
1552 Parking PT 208 StateSpace 01 106370000000 3 NUPN UNKNOWN
1553 Parking PT 208 StateSpace 02 1 3 NUPN UNKNOWN
1554 Parking PT 208 StateSpace 03 32 3 NUPN UNKNOWN
1555 Parking PT 416 StateSpace 00 84405e17 3 NUPN UNKNOWN
1556 Parking PT 416 StateSpace 01 45829e19 3 NUPN UNKNOWN
1557 Parking PT 416 StateSpace 02 1 3 NUPN UNKNOWN
1558 Parking PT 416 StateSpace 03 72 3 NUPN UNKNOWN
1559 Parking PT 432 StateSpace 00 36702e28 3 NUPN UNKNOWN
1560 Parking PT 432 StateSpace 01 31753000000000002e18 3 NUPN UNKNOWN
1561 Parking PT 432 StateSpace 02 1 3 NUPN UNKNOWN
1562 Parking PT 432 StateSpace 03 120 3 NUPN UNKNOWN
1563 Parking PT 832 StateSpace 00 14648e50 3 NUPN UNKNOWN
1564 Parking PT 832 StateSpace 01 20475e52 3 NUPN UNKNOWN
1565 Parking PT 832 StateSpace 02 1 3 NUPN UNKNOWN
1566 Parking PT 832 StateSpace 03 176 3 NUPN UNKNOWN
1567 Parking PT 864 StateSpace 00 1445e72 3 NUPN UNKNOWN
1568 Parking PT 864 StateSpace 01 29546999999999997e61 3 NUPN UNKNOWN
1569 Parking PT 864 StateSpace 02 1 3 NUPN UNKNOWN
1570 Parking PT 864 StateSpace 03 272 3 NUPN UNKNOWN
1571 PermAdmissibility COL 01 StateSpace 00 52537 3 NONE UNKNOWN
1572 PermAdmissibility COL 01 StateSpace 01 54600 3 NONE UNKNOWN
1573 PermAdmissibility COL 01 StateSpace 03 9 3 NONE UNKNOWN
1574 PermAdmissibility PT 01 StateSpace 00 52537 3 NONE UNKNOWN
1575 PermAdmissibility PT 01 StateSpace 01 54600 3 NONE UNKNOWN
1576 PermAdmissibility PT 01 StateSpace 02 1 3 NONE UNKNOWN
1577 PermAdmissibility PT 01 StateSpace 03 9 3 NONE UNKNOWN
1578 Peterson COL 2 StateSpace 00 20754 3 NONE UNKNOWN
1579 Peterson COL 2 StateSpace 01 62262 3 NONE UNKNOWN
1580 Peterson COL 2 StateSpace 03 8 3 NONE UNKNOWN
1581 Peterson COL 3 StateSpace 00 3407900 3 NONE UNKNOWN
1582 Peterson COL 3 StateSpace 01 13632000 3 NONE UNKNOWN
1583 Peterson COL 3 StateSpace 03 11 3 NONE UNKNOWN
1584 Peterson COL 4 StateSpace 00 629950000 3 NONE UNKNOWN
1585 Peterson COL 4 StateSpace 01 3149700000 3 NONE UNKNOWN
1586 Peterson COL 4 StateSpace 03 14 3 NONE UNKNOWN
1587 Peterson PT 2 StateSpace 00 20754 3 GEN UNKNOWN
1588 Peterson PT 2 StateSpace 01 62262 3 GEN UNKNOWN
1589 Peterson PT 2 StateSpace 02 1 3 GEN UNKNOWN
1590 Peterson PT 2 StateSpace 03 8 3 GEN UNKNOWN
1591 Peterson PT 3 StateSpace 00 3407900 3 GEN UNKNOWN
1592 Peterson PT 3 StateSpace 01 13632000 3 GEN UNKNOWN
1593 Peterson PT 3 StateSpace 02 1 3 GEN UNKNOWN
1594 Peterson PT 3 StateSpace 03 11 3 GEN UNKNOWN
1595 Peterson PT 4 StateSpace 00 629950000 3 GEN UNKNOWN
1596 Peterson PT 4 StateSpace 01 3149700000 3 GEN UNKNOWN
1597 Peterson PT 4 StateSpace 02 1 3 GEN UNKNOWN
1598 Peterson PT 4 StateSpace 03 14 3 GEN UNKNOWN
1599 PhaseVariation PT D02CS010 StateSpace 00 7716 3 NONE UNKNOWN
1600 PhaseVariation PT D02CS010 StateSpace 01 137160 3 NONE UNKNOWN
1601 PhaseVariation PT D02CS010 StateSpace 02 12 3 NONE UNKNOWN
1602 PhaseVariation PT D02CS010 StateSpace 03 25 3 NONE UNKNOWN
1603 PhaseVariation PT D02CS100 StateSpace 00 18989000000 3 NONE UNKNOWN
1604 PhaseVariation PT D02CS100 StateSpace 01 1054500000000 3 NONE UNKNOWN
1605 PhaseVariation PT D02CS100 StateSpace 02 104 3 NONE UNKNOWN
1606 PhaseVariation PT D02CS100 StateSpace 03 209 3 NONE UNKNOWN
1607 PhaseVariation PT D05CS010 StateSpace 00 476390000000 3 NONE UNKNOWN
1608 PhaseVariation PT D05CS010 StateSpace 01 14767000000000 3 NONE UNKNOWN
1609 PhaseVariation PT D05CS010 StateSpace 02 25 3 NONE UNKNOWN
1610 PhaseVariation PT D05CS010 StateSpace 03 51 3 NONE UNKNOWN
1611 PhaseVariation PT D05CS100 StateSpace 00 8219e29 2 NONE UNKNOWN
1612 PhaseVariation PT D05CS100 StateSpace 02 125 2 NONE UNKNOWN
1613 PhaseVariation PT D05CS100 StateSpace 03 251 2 NONE UNKNOWN
1614 Philosophers COL 000005 StateSpace 00 243 3 NONE UNKNOWN
1615 Philosophers COL 000005 StateSpace 01 945 3 NONE UNKNOWN
1616 Philosophers COL 000005 StateSpace 03 10 3 NONE UNKNOWN
1617 Philosophers COL 000010 StateSpace 00 59049 3 NONE UNKNOWN
1618 Philosophers COL 000010 StateSpace 01 459270 3 NONE UNKNOWN
1619 Philosophers COL 000010 StateSpace 03 20 3 NONE UNKNOWN
1620 Philosophers COL 000020 StateSpace 00 3486800000 3 NONE UNKNOWN
1621 Philosophers COL 000020 StateSpace 01 54239000000 3 NONE UNKNOWN
1622 Philosophers COL 000020 StateSpace 03 40 3 NONE UNKNOWN
1623 Philosophers COL 000050 StateSpace 00 7179e20 3 NONE UNKNOWN
1624 Philosophers COL 000050 StateSpace 01 27918e21 3 NONE UNKNOWN
1625 Philosophers COL 000050 StateSpace 03 100 3 NONE UNKNOWN
1626 Philosophers COL 000100 StateSpace 00 51538e43 3 NONE UNKNOWN
1627 Philosophers COL 000100 StateSpace 01 40085000000000006e33 3 NONE UNKNOWN
1628 Philosophers COL 000100 StateSpace 03 200 3 NONE UNKNOWN
1629 Philosophers COL 000200 StateSpace 00 26561e91 3 NONE UNKNOWN
1630 Philosophers COL 000200 StateSpace 01 41318e93 3 NONE UNKNOWN
1631 Philosophers COL 000200 StateSpace 03 400 3 NONE UNKNOWN
1632 Philosophers COL 000500 StateSpace 00 3636000000000001e223 3 NONE UNKNOWN
1633 Philosophers COL 000500 StateSpace 01 14140000000000005e225 3 NONE UNKNOWN
1634 Philosophers COL 000500 StateSpace 03 1000 3 NONE UNKNOWN
1635 Philosophers COL 001000 StateSpace 00 Inf 3 NONE UNKNOWN
1636 Philosophers COL 001000 StateSpace 01 Inf 3 NONE UNKNOWN
1637 Philosophers COL 001000 StateSpace 03 2000 3 NONE UNKNOWN
1638 Philosophers PT 000005 StateSpace 00 243 3 GEN UNKNOWN
1639 Philosophers PT 000005 StateSpace 01 945 3 GEN UNKNOWN
1640 Philosophers PT 000005 StateSpace 02 1 3 GEN UNKNOWN
1641 Philosophers PT 000005 StateSpace 03 10 3 GEN UNKNOWN
1642 Philosophers PT 000010 StateSpace 00 59049 3 GEN UNKNOWN
1643 Philosophers PT 000010 StateSpace 01 459270 3 GEN UNKNOWN
1644 Philosophers PT 000010 StateSpace 02 1 3 GEN UNKNOWN
1645 Philosophers PT 000010 StateSpace 03 20 3 GEN UNKNOWN
1646 Philosophers PT 000020 StateSpace 00 3486800000 3 GEN UNKNOWN
1647 Philosophers PT 000020 StateSpace 01 54239000000 3 GEN UNKNOWN
1648 Philosophers PT 000020 StateSpace 02 1 3 GEN UNKNOWN
1649 Philosophers PT 000020 StateSpace 03 40 3 GEN UNKNOWN
1650 Philosophers PT 000050 StateSpace 00 7179e20 3 GEN UNKNOWN
1651 Philosophers PT 000050 StateSpace 01 27918e21 3 GEN UNKNOWN
1652 Philosophers PT 000050 StateSpace 02 1 3 GEN UNKNOWN
1653 Philosophers PT 000050 StateSpace 03 100 3 GEN UNKNOWN
1654 Philosophers PT 000100 StateSpace 00 51538e43 3 GEN UNKNOWN
1655 Philosophers PT 000100 StateSpace 01 40085000000000006e33 3 GEN UNKNOWN
1656 Philosophers PT 000100 StateSpace 02 1 3 GEN UNKNOWN
1657 Philosophers PT 000100 StateSpace 03 200 3 GEN UNKNOWN
1658 Philosophers PT 000200 StateSpace 00 26561e91 3 GEN UNKNOWN
1659 Philosophers PT 000200 StateSpace 01 41318e93 3 GEN UNKNOWN
1660 Philosophers PT 000200 StateSpace 02 1 3 GEN UNKNOWN
1661 Philosophers PT 000200 StateSpace 03 400 3 GEN UNKNOWN
1662 Philosophers PT 000500 StateSpace 00 3636000000000001e223 3 GEN UNKNOWN
1663 Philosophers PT 000500 StateSpace 01 14140000000000005e225 3 GEN UNKNOWN
1664 Philosophers PT 000500 StateSpace 02 1 3 GEN UNKNOWN
1665 Philosophers PT 000500 StateSpace 03 1000 3 GEN UNKNOWN
1666 Philosophers PT 001000 StateSpace 00 Inf 3 GEN UNKNOWN
1667 Philosophers PT 001000 StateSpace 01 Inf 3 GEN UNKNOWN
1668 Philosophers PT 001000 StateSpace 02 1 3 GEN UNKNOWN
1669 Philosophers PT 001000 StateSpace 03 2000 3 GEN UNKNOWN
1670 PhilosophersDyn COL 03 StateSpace 00 325 3 NONE UNKNOWN
1671 PhilosophersDyn COL 03 StateSpace 01 768 3 NONE UNKNOWN
1672 PhilosophersDyn COL 03 StateSpace 03 11 3 NONE UNKNOWN
1673 PhilosophersDyn COL 10 StateSpace 00 199050 3 NONE UNKNOWN
1674 PhilosophersDyn COL 10 StateSpace 01 617350 3 NONE UNKNOWN
1675 PhilosophersDyn COL 10 StateSpace 03 20 3 NONE UNKNOWN
1676 PhilosophersDyn PT 03 StateSpace 00 325 3 NONE UNKNOWN
1677 PhilosophersDyn PT 03 StateSpace 01 768 3 NONE UNKNOWN
1678 PhilosophersDyn PT 03 StateSpace 02 1 3 NONE UNKNOWN
1679 PhilosophersDyn PT 03 StateSpace 03 11 3 NONE UNKNOWN
1680 PhilosophersDyn PT 10 StateSpace 00 199050 3 NONE UNKNOWN
1681 PhilosophersDyn PT 10 StateSpace 01 617350 3 NONE UNKNOWN
1682 PhilosophersDyn PT 10 StateSpace 02 1 3 NONE UNKNOWN
1683 PhilosophersDyn PT 10 StateSpace 03 20 3 NONE UNKNOWN
1684 Planning PT none StateSpace 00 Inf 3 NONE UNKNOWN
1685 Planning PT none StateSpace 01 Inf 3 NONE UNKNOWN
1686 Planning PT none StateSpace 02 Inf 3 NONE UNKNOWN
1687 Planning PT none StateSpace 03 Inf 3 NONE UNKNOWN
1688 PolyORBLF COL S02J04T06 StateSpace 00 140750000 3 NONE UNKNOWN
1689 PolyORBLF COL S02J04T06 StateSpace 01 393950000 3 NONE UNKNOWN
1690 PolyORBLF COL S02J04T06 StateSpace 03 63 3 NONE UNKNOWN
1691 PolyORBLF COL S02J06T06 StateSpace 00 254960000 2 NONE UNKNOWN
1692 PolyORBLF COL S02J06T06 StateSpace 01 721890000 1 NONE UNKNOWN
1693 PolyORBLF COL S02J06T06 StateSpace 03 65 2 NONE UNKNOWN
1694 PolyORBLF PT S02J04T06 StateSpace 00 140750000 3 NONE UNKNOWN
1695 PolyORBLF PT S02J04T06 StateSpace 01 393950000 3 NONE UNKNOWN
1696 PolyORBLF PT S02J04T06 StateSpace 02 10 3 NONE UNKNOWN
1697 PolyORBLF PT S02J04T06 StateSpace 03 63 3 NONE UNKNOWN
1698 PolyORBLF PT S02J06T06 StateSpace 00 254960000 1 NONE UNKNOWN
1699 PolyORBLF PT S02J06T06 StateSpace 01 721890000 1 NONE UNKNOWN
1700 PolyORBLF PT S02J06T06 StateSpace 02 10 1 NONE UNKNOWN
1701 PolyORBLF PT S02J06T06 StateSpace 03 65 1 NONE UNKNOWN
1702 PolyORBNT COL S05J20 StateSpace 00 693820000 2 NONE UNKNOWN
1703 PolyORBNT COL S05J20 StateSpace 03 58 2 NONE UNKNOWN
1704 ProductionCell PT none StateSpace 00 11329000000000 3 NUPN UNKNOWN
1705 ProductionCell PT none StateSpace 01 153380000000000 3 NUPN UNKNOWN
1706 ProductionCell PT none StateSpace 02 1 3 NUPN UNKNOWN
1707 ProductionCell PT none StateSpace 03 35 3 NUPN UNKNOWN
1708 QuasiCertifProtocol COL 02 StateSpace 00 1029 3 NONE UNKNOWN
1709 QuasiCertifProtocol COL 02 StateSpace 01 3084 3 NONE UNKNOWN
1710 QuasiCertifProtocol COL 02 StateSpace 03 20 3 NONE UNKNOWN
1711 QuasiCertifProtocol COL 06 StateSpace 00 2272000 3 NONE UNKNOWN
1712 QuasiCertifProtocol COL 06 StateSpace 01 16008000 3 NONE UNKNOWN
1713 QuasiCertifProtocol COL 06 StateSpace 03 74 3 NONE UNKNOWN
1714 QuasiCertifProtocol COL 10 StateSpace 00 21512000000 1 NONE UNKNOWN
1715 QuasiCertifProtocol COL 10 StateSpace 03 161 1 NONE UNKNOWN
1716 QuasiCertifProtocol PT 02 StateSpace 00 1029 3 NONE UNKNOWN
1717 QuasiCertifProtocol PT 02 StateSpace 01 3084 3 NONE UNKNOWN
1718 QuasiCertifProtocol PT 02 StateSpace 02 1 3 NONE UNKNOWN
1719 QuasiCertifProtocol PT 02 StateSpace 03 20 3 NONE UNKNOWN
1720 QuasiCertifProtocol PT 06 StateSpace 00 2272000 3 NONE UNKNOWN
1721 QuasiCertifProtocol PT 06 StateSpace 01 16008000 3 NONE UNKNOWN
1722 QuasiCertifProtocol PT 06 StateSpace 02 3 3 NONE UNKNOWN
1723 QuasiCertifProtocol PT 06 StateSpace 03 74 3 NONE UNKNOWN
1724 QuasiCertifProtocol PT 10 StateSpace 00 21512000000 1 NONE UNKNOWN
1725 QuasiCertifProtocol PT 10 StateSpace 02 6 1 NONE UNKNOWN
1726 QuasiCertifProtocol PT 10 StateSpace 03 161 1 NONE UNKNOWN
1727 Raft PT 02 StateSpace 00 7381 3 NUPN UNKNOWN
1728 Raft PT 02 StateSpace 01 55824 3 NUPN UNKNOWN
1729 Raft PT 02 StateSpace 02 1 3 NUPN UNKNOWN
1730 Raft PT 02 StateSpace 03 6 3 NUPN UNKNOWN
1731 Raft PT 03 StateSpace 00 33820000 3 NUPN UNKNOWN
1732 Raft PT 03 StateSpace 01 350570000 3 NUPN UNKNOWN
1733 Raft PT 03 StateSpace 02 1 3 NUPN UNKNOWN
1734 Raft PT 03 StateSpace 03 11 3 NUPN UNKNOWN
1735 Raft PT 04 StateSpace 00 2965900000000 3 NUPN UNKNOWN
1736 Raft PT 04 StateSpace 01 41776000000000 3 NUPN UNKNOWN
1737 Raft PT 04 StateSpace 02 1 3 NUPN UNKNOWN
1738 Raft PT 04 StateSpace 03 18 3 NUPN UNKNOWN
1739 Raft PT 05 StateSpace 00 59379e14 3 NUPN UNKNOWN
1740 Raft PT 05 StateSpace 01 11095e16 3 NUPN UNKNOWN
1741 Raft PT 05 StateSpace 02 1 3 NUPN UNKNOWN
1742 Raft PT 05 StateSpace 03 27 3 NUPN UNKNOWN
1743 Raft PT 06 StateSpace 00 29094e22 3 NUPN UNKNOWN
1744 Raft PT 06 StateSpace 01 6992599999999999e12 3 NUPN UNKNOWN
1745 Raft PT 06 StateSpace 02 1 3 NUPN UNKNOWN
1746 Raft PT 06 StateSpace 03 38 3 NUPN UNKNOWN
1747 Raft PT 07 StateSpace 00 35526999999999996e19 3 NUPN UNKNOWN
1748 Raft PT 07 StateSpace 01 10676000000000002e21 3 NUPN UNKNOWN
1749 Raft PT 07 StateSpace 02 1 3 NUPN UNKNOWN
1750 Raft PT 07 StateSpace 03 51 3 NUPN UNKNOWN
1751 Raft PT 08 StateSpace 00 10842e42 3 NUPN UNKNOWN
1752 Raft PT 08 StateSpace 01 39801e43 3 NUPN UNKNOWN
1753 Raft PT 08 StateSpace 02 1 3 NUPN UNKNOWN
1754 Raft PT 08 StateSpace 03 66 3 NUPN UNKNOWN
1755 Raft PT 09 StateSpace 00 82718e53 3 NUPN UNKNOWN
1756 Raft PT 09 StateSpace 01 36404e55 3 NUPN UNKNOWN
1757 Raft PT 09 StateSpace 02 1 3 NUPN UNKNOWN
1758 Raft PT 09 StateSpace 03 83 3 NUPN UNKNOWN
1759 Raft PT 10 StateSpace 00 15777e67 3 NUPN UNKNOWN
1760 Raft PT 10 StateSpace 01 8196300000000001e57 3 NUPN UNKNOWN
1761 Raft PT 10 StateSpace 02 1 3 NUPN UNKNOWN
1762 Raft PT 10 StateSpace 03 102 3 NUPN UNKNOWN
1763 Railroad PT 005 StateSpace 00 1838 3 GEN UNKNOWN
1764 Railroad PT 005 StateSpace 01 7699 3 GEN UNKNOWN
1765 Railroad PT 005 StateSpace 02 1 3 GEN UNKNOWN
1766 Railroad PT 005 StateSpace 03 16 3 GEN UNKNOWN
1767 Railroad PT 010 StateSpace 00 2038200 3 GEN UNKNOWN
1768 Railroad PT 010 StateSpace 01 16325000 3 GEN UNKNOWN
1769 Railroad PT 010 StateSpace 02 1 3 GEN UNKNOWN
1770 Railroad PT 010 StateSpace 03 26 3 GEN UNKNOWN
1771 Railroad PT 020 StateSpace 00 2195500000000 3 GEN UNKNOWN
1772 Railroad PT 020 StateSpace 01 34035000000000 3 GEN UNKNOWN
1773 Railroad PT 020 StateSpace 02 1 3 GEN UNKNOWN
1774 Railroad PT 020 StateSpace 03 46 3 GEN UNKNOWN
1775 Referendum COL 0010 StateSpace 00 59050 3 NONE UNKNOWN
1776 Referendum COL 0010 StateSpace 01 393660 3 NONE UNKNOWN
1777 Referendum COL 0010 StateSpace 03 10 3 NONE UNKNOWN
1778 Referendum COL 0015 StateSpace 00 14349000 3 NONE UNKNOWN
1779 Referendum COL 0015 StateSpace 01 143490000 3 NONE UNKNOWN
1780 Referendum COL 0015 StateSpace 03 15 3 NONE UNKNOWN
1781 Referendum COL 0020 StateSpace 00 3486800000 3 NONE UNKNOWN
1782 Referendum COL 0020 StateSpace 01 46490000000 3 NONE UNKNOWN
1783 Referendum COL 0020 StateSpace 03 20 3 NONE UNKNOWN
1784 Referendum COL 0050 StateSpace 00 7179e20 3 NONE UNKNOWN
1785 Referendum COL 0050 StateSpace 01 2393e22 3 NONE UNKNOWN
1786 Referendum COL 0050 StateSpace 03 50 3 NONE UNKNOWN
1787 Referendum COL 0100 StateSpace 00 51538e43 3 NONE UNKNOWN
1788 Referendum COL 0100 StateSpace 01 34359e45 3 NONE UNKNOWN
1789 Referendum COL 0100 StateSpace 03 100 3 NONE UNKNOWN
1790 Referendum COL 0200 StateSpace 00 26561e91 3 NONE UNKNOWN
1791 Referendum COL 0200 StateSpace 01 35415e93 3 NONE UNKNOWN
1792 Referendum COL 0200 StateSpace 03 200 3 NONE UNKNOWN
1793 Referendum COL 0500 StateSpace 00 3636000000000001e223 3 NONE UNKNOWN
1794 Referendum COL 0500 StateSpace 01 12120000000000004e225 3 NONE UNKNOWN
1795 Referendum COL 0500 StateSpace 03 500 3 NONE UNKNOWN
1796 Referendum COL 1000 StateSpace 00 Inf 3 NONE UNKNOWN
1797 Referendum COL 1000 StateSpace 01 Inf 3 NONE UNKNOWN
1798 Referendum COL 1000 StateSpace 03 1000 3 NONE UNKNOWN
1799 Referendum PT 0010 StateSpace 00 59050 3 GEN UNKNOWN
1800 Referendum PT 0010 StateSpace 01 393660 3 GEN UNKNOWN
1801 Referendum PT 0010 StateSpace 02 1 3 GEN UNKNOWN
1802 Referendum PT 0010 StateSpace 03 10 3 GEN UNKNOWN
1803 Referendum PT 0015 StateSpace 00 14349000 3 GEN UNKNOWN
1804 Referendum PT 0015 StateSpace 01 143490000 3 GEN UNKNOWN
1805 Referendum PT 0015 StateSpace 02 1 3 GEN UNKNOWN
1806 Referendum PT 0015 StateSpace 03 15 3 GEN UNKNOWN
1807 Referendum PT 0020 StateSpace 00 3486800000 3 GEN UNKNOWN
1808 Referendum PT 0020 StateSpace 01 46490000000 3 GEN UNKNOWN
1809 Referendum PT 0020 StateSpace 02 1 3 GEN UNKNOWN
1810 Referendum PT 0020 StateSpace 03 20 3 GEN UNKNOWN
1811 Referendum PT 0050 StateSpace 00 7179e20 3 GEN UNKNOWN
1812 Referendum PT 0050 StateSpace 01 2393e22 3 GEN UNKNOWN
1813 Referendum PT 0050 StateSpace 02 1 3 GEN UNKNOWN
1814 Referendum PT 0050 StateSpace 03 50 3 GEN UNKNOWN
1815 Referendum PT 0100 StateSpace 00 51538e43 3 GEN UNKNOWN
1816 Referendum PT 0100 StateSpace 01 34359e45 3 GEN UNKNOWN
1817 Referendum PT 0100 StateSpace 02 1 3 GEN UNKNOWN
1818 Referendum PT 0100 StateSpace 03 100 3 GEN UNKNOWN
1819 Referendum PT 0200 StateSpace 00 26561e91 3 GEN UNKNOWN
1820 Referendum PT 0200 StateSpace 01 35415e93 3 GEN UNKNOWN
1821 Referendum PT 0200 StateSpace 02 1 3 GEN UNKNOWN
1822 Referendum PT 0200 StateSpace 03 200 3 GEN UNKNOWN
1823 Referendum PT 0500 StateSpace 00 3636000000000001e223 3 GEN UNKNOWN
1824 Referendum PT 0500 StateSpace 01 12120000000000004e225 3 GEN UNKNOWN
1825 Referendum PT 0500 StateSpace 02 1 3 GEN UNKNOWN
1826 Referendum PT 0500 StateSpace 03 500 3 GEN UNKNOWN
1827 Referendum PT 1000 StateSpace 00 Inf 3 GEN UNKNOWN
1828 Referendum PT 1000 StateSpace 01 Inf 3 GEN UNKNOWN
1829 Referendum PT 1000 StateSpace 02 1 3 GEN UNKNOWN
1830 Referendum PT 1000 StateSpace 03 1000 3 GEN UNKNOWN
1831 RefineWMG PT 002002 StateSpace 00 58320 3 NONE UNKNOWN
1832 RefineWMG PT 002002 StateSpace 01 321730 3 NONE UNKNOWN
1833 RefineWMG PT 002002 StateSpace 02 7 3 NONE UNKNOWN
1834 RefineWMG PT 002002 StateSpace 03 20 3 NONE UNKNOWN
1835 RefineWMG PT 002003 StateSpace 00 184320 3 NONE UNKNOWN
1836 RefineWMG PT 002003 StateSpace 01 1139500 3 NONE UNKNOWN
1837 RefineWMG PT 002003 StateSpace 02 7 3 NONE UNKNOWN
1838 RefineWMG PT 002003 StateSpace 03 24 3 NONE UNKNOWN
1839 RefineWMG PT 005005 StateSpace 00 622560000000 3 NONE UNKNOWN
1840 RefineWMG PT 005005 StateSpace 01 9379200000000 3 NONE UNKNOWN
1841 RefineWMG PT 005005 StateSpace 02 7 3 NONE UNKNOWN
1842 RefineWMG PT 005005 StateSpace 03 62 3 NONE UNKNOWN
1843 RefineWMG PT 005006 StateSpace 00 2908400000000 3 NONE UNKNOWN
1844 RefineWMG PT 005006 StateSpace 01 45170000000000 3 NONE UNKNOWN
1845 RefineWMG PT 005006 StateSpace 02 7 3 NONE UNKNOWN
1846 RefineWMG PT 005006 StateSpace 03 72 3 NONE UNKNOWN
1847 RefineWMG PT 007007 StateSpace 00 16981e13 3 NONE UNKNOWN
1848 RefineWMG PT 007007 StateSpace 01 36537e14 3 NONE UNKNOWN
1849 RefineWMG PT 007007 StateSpace 02 7 3 NONE UNKNOWN
1850 RefineWMG PT 007007 StateSpace 03 110 3 NONE UNKNOWN
1851 RefineWMG PT 007008 StateSpace 00 88327e13 3 NONE UNKNOWN
1852 RefineWMG PT 007008 StateSpace 01 19333e15 3 NONE UNKNOWN
1853 RefineWMG PT 007008 StateSpace 02 8 3 NONE UNKNOWN
1854 RefineWMG PT 007008 StateSpace 03 124 3 NONE UNKNOWN
1855 RefineWMG PT 010010 StateSpace 00 12846e22 3 NONE UNKNOWN
1856 RefineWMG PT 010010 StateSpace 01 39924999999999995e11 3 NONE UNKNOWN
1857 RefineWMG PT 010010 StateSpace 02 10 3 NONE UNKNOWN
1858 RefineWMG PT 010010 StateSpace 03 212 3 NONE UNKNOWN
1859 RefineWMG PT 010011 StateSpace 00 73203e22 3 NONE UNKNOWN
1860 RefineWMG PT 010011 StateSpace 01 22958e24 3 NONE UNKNOWN
1861 RefineWMG PT 010011 StateSpace 02 11 3 NONE UNKNOWN
1862 RefineWMG PT 010011 StateSpace 03 232 3 NONE UNKNOWN
1863 RefineWMG PT 015015 StateSpace 00 19552e38 3 NONE UNKNOWN
1864 RefineWMG PT 015015 StateSpace 01 9141800000000001e28 3 NONE UNKNOWN
1865 RefineWMG PT 015015 StateSpace 02 15 3 NONE UNKNOWN
1866 RefineWMG PT 015015 StateSpace 03 462 3 NONE UNKNOWN
1867 RefineWMG PT 015016 StateSpace 00 12052e39 3 NONE UNKNOWN
1868 RefineWMG PT 015016 StateSpace 01 56588e40 3 NONE UNKNOWN
1869 RefineWMG PT 015016 StateSpace 02 16 3 NONE UNKNOWN
1870 RefineWMG PT 015016 StateSpace 03 492 3 NONE UNKNOWN
1871 RefineWMG PT 025025 StateSpace 00 14370000000000001e62 3 NONE UNKNOWN
1872 RefineWMG PT 025025 StateSpace 01 11143e76 3 NONE UNKNOWN
1873 RefineWMG PT 025025 StateSpace 02 25 3 NONE UNKNOWN
1874 RefineWMG PT 025025 StateSpace 03 1262 3 NONE UNKNOWN
1875 RefineWMG PT 025026 StateSpace 00 94837e74 3 NONE UNKNOWN
1876 RefineWMG PT 025026 StateSpace 01 7365600000000001e65 3 NONE UNKNOWN
1877 RefineWMG PT 025026 StateSpace 02 26 3 NONE UNKNOWN
1878 RefineWMG PT 025026 StateSpace 03 1312 3 NONE UNKNOWN
1879 RefineWMG PT 050050 StateSpace 00 10310000000000002e164 3 NONE UNKNOWN
1880 RefineWMG PT 050050 StateSpace 01 15812000000000004e166 3 NONE UNKNOWN
1881 RefineWMG PT 050050 StateSpace 02 50 3 NONE UNKNOWN
1882 RefineWMG PT 050050 StateSpace 03 5012 3 NONE UNKNOWN
1883 RefineWMG PT 050051 StateSpace 00 7187600000000001e165 3 NONE UNKNOWN
1884 RefineWMG PT 050051 StateSpace 01 11028e179 3 NONE UNKNOWN
1885 RefineWMG PT 050051 StateSpace 02 51 3 NONE UNKNOWN
1886 RefineWMG PT 050051 StateSpace 03 5112 3 NONE UNKNOWN
1887 ResAllocation PT R100C002 StateSpace 00 6465e28 3 GEN UNKNOWN
1888 ResAllocation PT R100C002 StateSpace 01 16654e29 3 GEN UNKNOWN
1889 ResAllocation PT R100C002 StateSpace 02 1 3 GEN UNKNOWN
1890 ResAllocation PT R100C002 StateSpace 03 200 3 GEN UNKNOWN
1891 ResAllocation PT R002C002 StateSpace 00 8 3 GEN UNKNOWN
1892 ResAllocation PT R002C002 StateSpace 01 12 3 GEN UNKNOWN
1893 ResAllocation PT R002C002 StateSpace 02 1 3 GEN UNKNOWN
1894 ResAllocation PT R002C002 StateSpace 03 4 3 GEN UNKNOWN
1895 ResAllocation PT R003C002 StateSpace 00 20 3 GEN UNKNOWN
1896 ResAllocation PT R003C002 StateSpace 01 34 3 GEN UNKNOWN
1897 ResAllocation PT R003C002 StateSpace 02 1 3 GEN UNKNOWN
1898 ResAllocation PT R003C002 StateSpace 03 6 3 GEN UNKNOWN
1899 ResAllocation PT R003C003 StateSpace 00 92 3 GEN UNKNOWN
1900 ResAllocation PT R003C003 StateSpace 01 257 3 GEN UNKNOWN
1901 ResAllocation PT R003C003 StateSpace 02 1 3 GEN UNKNOWN
1902 ResAllocation PT R003C003 StateSpace 03 9 3 GEN UNKNOWN
1903 ResAllocation PT R003C005 StateSpace 00 1200 3 GEN UNKNOWN
1904 ResAllocation PT R003C005 StateSpace 01 4960 3 GEN UNKNOWN
1905 ResAllocation PT R003C005 StateSpace 02 1 3 GEN UNKNOWN
1906 ResAllocation PT R003C005 StateSpace 03 15 3 GEN UNKNOWN
1907 ResAllocation PT R003C010 StateSpace 00 823550 3 GEN UNKNOWN
1908 ResAllocation PT R003C010 StateSpace 01 6286700 3 GEN UNKNOWN
1909 ResAllocation PT R003C010 StateSpace 02 1 3 GEN UNKNOWN
1910 ResAllocation PT R003C010 StateSpace 03 30 3 GEN UNKNOWN
1911 ResAllocation PT R003C015 StateSpace 00 578880000 3 GEN UNKNOWN
1912 ResAllocation PT R003C015 StateSpace 01 6485700000 3 GEN UNKNOWN
1913 ResAllocation PT R003C015 StateSpace 02 1 3 GEN UNKNOWN
1914 ResAllocation PT R003C015 StateSpace 03 45 3 GEN UNKNOWN
1915 ResAllocation PT R003C020 StateSpace 00 406450000000 3 GEN UNKNOWN
1916 ResAllocation PT R003C020 StateSpace 01 6002900000000 3 GEN UNKNOWN
1917 ResAllocation PT R003C020 StateSpace 02 1 3 GEN UNKNOWN
1918 ResAllocation PT R003C020 StateSpace 03 60 3 GEN UNKNOWN
1919 ResAllocation PT R003C050 StateSpace 00 48718e24 3 GEN UNKNOWN
1920 ResAllocation PT R003C050 StateSpace 01 17616000000000002e14 3 GEN UNKNOWN
1921 ResAllocation PT R003C050 StateSpace 02 1 3 GEN UNKNOWN
1922 ResAllocation PT R003C050 StateSpace 03 150 3 GEN UNKNOWN
1923 ResAllocation PT R003C100 StateSpace 00 14195e53 3 GEN UNKNOWN
1924 ResAllocation PT R003C100 StateSpace 01 10194e55 3 GEN UNKNOWN
1925 ResAllocation PT R003C100 StateSpace 02 1 3 GEN UNKNOWN
1926 ResAllocation PT R003C100 StateSpace 03 300 3 GEN UNKNOWN
1927 ResAllocation PT R005C002 StateSpace 00 112 3 GEN UNKNOWN
1928 ResAllocation PT R005C002 StateSpace 01 240 3 GEN UNKNOWN
1929 ResAllocation PT R005C002 StateSpace 02 1 3 GEN UNKNOWN
1930 ResAllocation PT R005C002 StateSpace 03 10 3 GEN UNKNOWN
1931 ResAllocation PT R010C002 StateSpace 00 6144 3 GEN UNKNOWN
1932 ResAllocation PT R010C002 StateSpace 01 20480 3 GEN UNKNOWN
1933 ResAllocation PT R010C002 StateSpace 02 1 3 GEN UNKNOWN
1934 ResAllocation PT R010C002 StateSpace 03 20 3 GEN UNKNOWN
1935 ResAllocation PT R015C002 StateSpace 00 278530 3 GEN UNKNOWN
1936 ResAllocation PT R015C002 StateSpace 01 1269800 3 GEN UNKNOWN
1937 ResAllocation PT R015C002 StateSpace 02 1 3 GEN UNKNOWN
1938 ResAllocation PT R015C002 StateSpace 03 30 3 GEN UNKNOWN
1939 ResAllocation PT R020C002 StateSpace 00 11534000 3 GEN UNKNOWN
1940 ResAllocation PT R020C002 StateSpace 01 66847000 3 GEN UNKNOWN
1941 ResAllocation PT R020C002 StateSpace 02 1 3 GEN UNKNOWN
1942 ResAllocation PT R020C002 StateSpace 03 40 3 GEN UNKNOWN
1943 ResAllocation PT R050C002 StateSpace 00 29273e12 3 GEN UNKNOWN
1944 ResAllocation PT R050C002 StateSpace 01 38844e13 3 GEN UNKNOWN
1945 ResAllocation PT R050C002 StateSpace 02 1 3 GEN UNKNOWN
1946 ResAllocation PT R050C002 StateSpace 03 100 3 GEN UNKNOWN
1947 Ring PT none StateSpace 00 902650000000 3 GEN UNKNOWN
1948 Ring PT none StateSpace 01 9662800000000 3 GEN UNKNOWN
1949 Ring PT none StateSpace 02 1 3 GEN UNKNOWN
1950 Ring PT none StateSpace 03 61 3 GEN UNKNOWN
1951 RobotManipulation PT 00001 StateSpace 00 110 3 NONE UNKNOWN
1952 RobotManipulation PT 00001 StateSpace 01 274 3 NONE UNKNOWN
1953 RobotManipulation PT 00001 StateSpace 02 3 3 NONE UNKNOWN
1954 RobotManipulation PT 00001 StateSpace 03 12 3 NONE UNKNOWN
1955 RobotManipulation PT 00002 StateSpace 00 1430 3 NONE UNKNOWN
1956 RobotManipulation PT 00002 StateSpace 01 5500 3 NONE UNKNOWN
1957 RobotManipulation PT 00002 StateSpace 02 5 3 NONE UNKNOWN
1958 RobotManipulation PT 00002 StateSpace 03 22 3 NONE UNKNOWN
1959 RobotManipulation PT 00005 StateSpace 00 184760 3 NONE UNKNOWN
1960 RobotManipulation PT 00005 StateSpace 01 1137700 3 NONE UNKNOWN
1961 RobotManipulation PT 00005 StateSpace 02 11 3 NONE UNKNOWN
1962 RobotManipulation PT 00005 StateSpace 03 52 3 NONE UNKNOWN
1963 RobotManipulation PT 00010 StateSpace 00 20030000 3 NONE UNKNOWN
1964 RobotManipulation PT 00010 StateSpace 01 157280000 3 NONE UNKNOWN
1965 RobotManipulation PT 00010 StateSpace 02 21 3 NONE UNKNOWN
1966 RobotManipulation PT 00010 StateSpace 03 102 3 NONE UNKNOWN
1967 RobotManipulation PT 00020 StateSpace 00 4108900000 3 NONE UNKNOWN
1968 RobotManipulation PT 00020 StateSpace 01 37588000000 3 NONE UNKNOWN
1969 RobotManipulation PT 00020 StateSpace 02 41 3 NONE UNKNOWN
1970 RobotManipulation PT 00020 StateSpace 03 202 3 NONE UNKNOWN
1971 RobotManipulation PT 00050 StateSpace 00 8526800000000 3 NONE UNKNOWN
1972 RobotManipulation PT 00050 StateSpace 01 86729000000000 3 NONE UNKNOWN
1973 RobotManipulation PT 00050 StateSpace 02 101 3 NONE UNKNOWN
1974 RobotManipulation PT 00050 StateSpace 03 502 3 NONE UNKNOWN
1975 RobotManipulation PT 00100 StateSpace 00 35216e11 3 NONE UNKNOWN
1976 RobotManipulation PT 00100 StateSpace 01 37218e12 3 NONE UNKNOWN
1977 RobotManipulation PT 00100 StateSpace 02 201 3 NONE UNKNOWN
1978 RobotManipulation PT 00100 StateSpace 03 1002 3 NONE UNKNOWN
1979 RwMutex PT r0010w0010 StateSpace 00 1034 3 GEN UNKNOWN
1980 RwMutex PT r0010w0010 StateSpace 01 10260 3 GEN UNKNOWN
1981 RwMutex PT r0010w0010 StateSpace 02 1 3 GEN UNKNOWN
1982 RwMutex PT r0010w0010 StateSpace 03 30 3 GEN UNKNOWN
1983 RwMutex PT r0010w0020 StateSpace 00 1044 3 GEN UNKNOWN
1984 RwMutex PT r0010w0020 StateSpace 01 10280 3 GEN UNKNOWN
1985 RwMutex PT r0010w0020 StateSpace 02 1 3 GEN UNKNOWN
1986 RwMutex PT r0010w0020 StateSpace 03 40 3 GEN UNKNOWN
1987 RwMutex PT r0010w0050 StateSpace 00 1074 3 GEN UNKNOWN
1988 RwMutex PT r0010w0050 StateSpace 01 10340 3 GEN UNKNOWN
1989 RwMutex PT r0010w0050 StateSpace 02 1 3 GEN UNKNOWN
1990 RwMutex PT r0010w0050 StateSpace 03 70 3 GEN UNKNOWN
1991 RwMutex PT r0010w0100 StateSpace 00 1124 3 GEN UNKNOWN
1992 RwMutex PT r0010w0100 StateSpace 01 10440 3 GEN UNKNOWN
1993 RwMutex PT r0010w0100 StateSpace 02 1 3 GEN UNKNOWN
1994 RwMutex PT r0010w0100 StateSpace 03 120 3 GEN UNKNOWN
1995 RwMutex PT r0010w0500 StateSpace 00 1524 3 GEN UNKNOWN
1996 RwMutex PT r0010w0500 StateSpace 01 11240 3 GEN UNKNOWN
1997 RwMutex PT r0010w0500 StateSpace 02 1 3 GEN UNKNOWN
1998 RwMutex PT r0010w0500 StateSpace 03 520 3 GEN UNKNOWN
1999 RwMutex PT r0010w1000 StateSpace 00 2024 3 GEN UNKNOWN
2000 RwMutex PT r0010w1000 StateSpace 01 12240 3 GEN UNKNOWN
2001 RwMutex PT r0010w1000 StateSpace 02 1 3 GEN UNKNOWN
2002 RwMutex PT r0010w1000 StateSpace 03 1020 3 GEN UNKNOWN
2003 RwMutex PT r0010w2000 StateSpace 00 3024 3 GEN UNKNOWN
2004 RwMutex PT r0010w2000 StateSpace 01 14240 3 GEN UNKNOWN
2005 RwMutex PT r0010w2000 StateSpace 02 1 3 GEN UNKNOWN
2006 RwMutex PT r0010w2000 StateSpace 03 2020 3 GEN UNKNOWN
2007 RwMutex PT r0020w0010 StateSpace 00 1048600 3 GEN UNKNOWN
2008 RwMutex PT r0020w0010 StateSpace 01 20972000 3 GEN UNKNOWN
2009 RwMutex PT r0020w0010 StateSpace 02 1 3 GEN UNKNOWN
2010 RwMutex PT r0020w0010 StateSpace 03 50 3 GEN UNKNOWN
2011 RwMutex PT r0100w0010 StateSpace 00 12677e26 3 GEN UNKNOWN
2012 RwMutex PT r0100w0010 StateSpace 01 12676999999999999e16 3 GEN UNKNOWN
2013 RwMutex PT r0100w0010 StateSpace 02 1 3 GEN UNKNOWN
2014 RwMutex PT r0100w0010 StateSpace 03 210 3 GEN UNKNOWN
2015 RwMutex PT r0500w0010 StateSpace 00 32734000000000006e134 3 GEN UNKNOWN
2016 RwMutex PT r0500w0010 StateSpace 01 16367000000000001e137 3 GEN UNKNOWN
2017 RwMutex PT r0500w0010 StateSpace 02 1 3 GEN UNKNOWN
2018 RwMutex PT r0500w0010 StateSpace 03 1010 3 GEN UNKNOWN
2019 RwMutex PT r1000w0010 StateSpace 00 10715000000000001e285 3 GEN UNKNOWN
2020 RwMutex PT r1000w0010 StateSpace 01 10715000000000001e288 3 GEN UNKNOWN
2021 RwMutex PT r1000w0010 StateSpace 02 1 3 GEN UNKNOWN
2022 RwMutex PT r1000w0010 StateSpace 03 2010 3 GEN UNKNOWN
2023 SafeBus COL 03 StateSpace 00 4650 3 NONE UNKNOWN
2024 SafeBus COL 03 StateSpace 01 12888 3 NONE UNKNOWN
2025 SafeBus COL 03 StateSpace 03 14 3 NONE UNKNOWN
2026 SafeBus COL 06 StateSpace 00 6816800 3 NONE UNKNOWN
2027 SafeBus COL 06 StateSpace 01 29905000 3 NONE UNKNOWN
2028 SafeBus COL 06 StateSpace 03 23 3 NONE UNKNOWN
2029 SafeBus PT 03 StateSpace 00 4650 3 GEN UNKNOWN
2030 SafeBus PT 03 StateSpace 01 12888 3 GEN UNKNOWN
2031 SafeBus PT 03 StateSpace 02 1 3 GEN UNKNOWN
2032 SafeBus PT 03 StateSpace 03 14 3 GEN UNKNOWN
2033 SafeBus PT 06 StateSpace 00 6816800 3 GEN UNKNOWN
2034 SafeBus PT 06 StateSpace 01 29905000 3 GEN UNKNOWN
2035 SafeBus PT 06 StateSpace 02 1 3 GEN UNKNOWN
2036 SafeBus PT 06 StateSpace 03 23 3 GEN UNKNOWN
2037 SharedMemory COL 000005 StateSpace 00 1863 3 NONE UNKNOWN
2038 SharedMemory COL 000005 StateSpace 01 10395 3 NONE UNKNOWN
2039 SharedMemory COL 000005 StateSpace 03 11 3 NONE UNKNOWN
2040 SharedMemory COL 000010 StateSpace 00 1830500 3 NONE UNKNOWN
2041 SharedMemory COL 000010 StateSpace 01 19486000 3 NONE UNKNOWN
2042 SharedMemory COL 000010 StateSpace 03 21 3 NONE UNKNOWN
2043 SharedMemory COL 000020 StateSpace 00 445150000000 3 NONE UNKNOWN
2044 SharedMemory COL 000020 StateSpace 01 9197400000000 3 NONE UNKNOWN
2045 SharedMemory COL 000020 StateSpace 03 41 3 NONE UNKNOWN
2046 SharedMemory PT 000005 StateSpace 00 1863 3 GEN UNKNOWN
2047 SharedMemory PT 000005 StateSpace 01 10395 3 GEN UNKNOWN
2048 SharedMemory PT 000005 StateSpace 02 1 3 GEN UNKNOWN
2049 SharedMemory PT 000005 StateSpace 03 11 3 GEN UNKNOWN
2050 SharedMemory PT 000010 StateSpace 00 1830500 3 GEN UNKNOWN
2051 SharedMemory PT 000010 StateSpace 01 19486000 3 GEN UNKNOWN
2052 SharedMemory PT 000010 StateSpace 02 1 3 GEN UNKNOWN
2053 SharedMemory PT 000010 StateSpace 03 21 3 GEN UNKNOWN
2054 SharedMemory PT 000020 StateSpace 00 445150000000 3 GEN UNKNOWN
2055 SharedMemory PT 000020 StateSpace 01 9197400000000 3 GEN UNKNOWN
2056 SharedMemory PT 000020 StateSpace 02 1 3 GEN UNKNOWN
2057 SharedMemory PT 000020 StateSpace 03 41 3 GEN UNKNOWN
2058 SimpleLoadBal PT 02 StateSpace 00 832 3 GEN UNKNOWN
2059 SimpleLoadBal PT 02 StateSpace 01 2650 3 GEN UNKNOWN
2060 SimpleLoadBal PT 02 StateSpace 02 1 3 GEN UNKNOWN
2061 SimpleLoadBal PT 02 StateSpace 03 11 3 GEN UNKNOWN
2062 SimpleLoadBal PT 05 StateSpace 00 116180 3 GEN UNKNOWN
2063 SimpleLoadBal PT 05 StateSpace 01 566330 3 GEN UNKNOWN
2064 SimpleLoadBal PT 05 StateSpace 02 1 3 GEN UNKNOWN
2065 SimpleLoadBal PT 05 StateSpace 03 17 3 GEN UNKNOWN
2066 SimpleLoadBal PT 10 StateSpace 00 406030000 3 GEN UNKNOWN
2067 SimpleLoadBal PT 10 StateSpace 01 3051200000 3 GEN UNKNOWN
2068 SimpleLoadBal PT 10 StateSpace 02 1 3 GEN UNKNOWN
2069 SimpleLoadBal PT 10 StateSpace 03 27 3 GEN UNKNOWN
2070 SimpleLoadBal PT 15 StateSpace 00 1374100000000 2 GEN UNKNOWN
2071 SimpleLoadBal PT 15 StateSpace 01 13882000000000 1 GEN UNKNOWN
2072 SimpleLoadBal PT 15 StateSpace 02 1 2 GEN UNKNOWN
2073 SimpleLoadBal PT 15 StateSpace 03 37 2 GEN UNKNOWN
2074 SmallOperatingSystem PT MT0016DC0008 StateSpace 00 16587 3 NONE UNKNOWN
2075 SmallOperatingSystem PT MT0016DC0008 StateSpace 01 100900 3 NONE UNKNOWN
2076 SmallOperatingSystem PT MT0016DC0008 StateSpace 02 16 3 NONE UNKNOWN
2077 SmallOperatingSystem PT MT0016DC0008 StateSpace 03 56 3 NONE UNKNOWN
2078 SmallOperatingSystem PT MT0032DC0008 StateSpace 00 166520 3 NONE UNKNOWN
2079 SmallOperatingSystem PT MT0032DC0008 StateSpace 01 1112500 3 NONE UNKNOWN
2080 SmallOperatingSystem PT MT0032DC0008 StateSpace 02 32 3 NONE UNKNOWN
2081 SmallOperatingSystem PT MT0032DC0008 StateSpace 03 88 3 NONE UNKNOWN
2082 SmallOperatingSystem PT MT0032DC0016 StateSpace 00 354500 3 NONE UNKNOWN
2083 SmallOperatingSystem PT MT0032DC0016 StateSpace 01 2451300 3 NONE UNKNOWN
2084 SmallOperatingSystem PT MT0032DC0016 StateSpace 02 32 3 NONE UNKNOWN
2085 SmallOperatingSystem PT MT0032DC0016 StateSpace 03 112 3 NONE UNKNOWN
2086 SmallOperatingSystem PT MT0064DC0016 StateSpace 00 4077900 3 NONE UNKNOWN
2087 SmallOperatingSystem PT MT0064DC0016 StateSpace 01 29675000 3 NONE UNKNOWN
2088 SmallOperatingSystem PT MT0064DC0016 StateSpace 02 64 3 NONE UNKNOWN
2089 SmallOperatingSystem PT MT0064DC0016 StateSpace 03 176 3 NONE UNKNOWN
2090 SmallOperatingSystem PT MT0064DC0032 StateSpace 00 9133600 3 NONE UNKNOWN
2091 SmallOperatingSystem PT MT0064DC0032 StateSpace 01 67763000 3 NONE UNKNOWN
2092 SmallOperatingSystem PT MT0064DC0032 StateSpace 02 64 3 NONE UNKNOWN
2093 SmallOperatingSystem PT MT0064DC0032 StateSpace 03 224 3 NONE UNKNOWN
2094 SmallOperatingSystem PT MT0128DC0032 StateSpace 00 113320000 3 NONE UNKNOWN
2095 SmallOperatingSystem PT MT0128DC0032 StateSpace 01 863520000 3 NONE UNKNOWN
2096 SmallOperatingSystem PT MT0128DC0032 StateSpace 02 128 3 NONE UNKNOWN
2097 SmallOperatingSystem PT MT0128DC0032 StateSpace 03 352 3 NONE UNKNOWN
2098 SmallOperatingSystem PT MT0128DC0064 StateSpace 00 261160000 3 NONE UNKNOWN
2099 SmallOperatingSystem PT MT0128DC0064 StateSpace 01 2010600000 3 NONE UNKNOWN
2100 SmallOperatingSystem PT MT0128DC0064 StateSpace 02 128 3 NONE UNKNOWN
2101 SmallOperatingSystem PT MT0128DC0064 StateSpace 03 448 3 NONE UNKNOWN
2102 SmallOperatingSystem PT MT0256DC0064 StateSpace 00 3372400000 3 NONE UNKNOWN
2103 SmallOperatingSystem PT MT0256DC0064 StateSpace 01 26322000000 3 NONE UNKNOWN
2104 SmallOperatingSystem PT MT0256DC0064 StateSpace 02 256 3 NONE UNKNOWN
2105 SmallOperatingSystem PT MT0256DC0064 StateSpace 03 704 3 NONE UNKNOWN
2106 SmallOperatingSystem PT MT0256DC0128 StateSpace 00 7890700000 3 NONE UNKNOWN
2107 SmallOperatingSystem PT MT0256DC0128 StateSpace 01 61916000000 3 NONE UNKNOWN
2108 SmallOperatingSystem PT MT0256DC0128 StateSpace 02 256 3 NONE UNKNOWN
2109 SmallOperatingSystem PT MT0256DC0128 StateSpace 03 896 3 NONE UNKNOWN
2110 SmallOperatingSystem PT MT0512DC0128 StateSpace 00 104010000000 3 NONE UNKNOWN
2111 SmallOperatingSystem PT MT0512DC0128 StateSpace 01 821840000000 3 NONE UNKNOWN
2112 SmallOperatingSystem PT MT0512DC0128 StateSpace 02 512 3 NONE UNKNOWN
2113 SmallOperatingSystem PT MT0512DC0128 StateSpace 03 1408 3 NONE UNKNOWN
2114 SmallOperatingSystem PT MT0512DC0256 StateSpace 00 245290000000 3 NONE UNKNOWN
2115 SmallOperatingSystem PT MT0512DC0256 StateSpace 01 1943300000000 3 NONE UNKNOWN
2116 SmallOperatingSystem PT MT0512DC0256 StateSpace 02 512 3 NONE UNKNOWN
2117 SmallOperatingSystem PT MT0512DC0256 StateSpace 03 1792 3 NONE UNKNOWN
2118 SmallOperatingSystem PT MT1024DC0256 StateSpace 00 3267300000000 3 NONE UNKNOWN
2119 SmallOperatingSystem PT MT1024DC0256 StateSpace 01 25976000000000 3 NONE UNKNOWN
2120 SmallOperatingSystem PT MT1024DC0256 StateSpace 02 1024 3 NONE UNKNOWN
2121 SmallOperatingSystem PT MT1024DC0256 StateSpace 03 2816 3 NONE UNKNOWN
2122 SmallOperatingSystem PT MT1024DC0512 StateSpace 00 7735600000000 3 NONE UNKNOWN
2123 SmallOperatingSystem PT MT1024DC0512 StateSpace 01 61584000000000 3 NONE UNKNOWN
2124 SmallOperatingSystem PT MT1024DC0512 StateSpace 02 1024 3 NONE UNKNOWN
2125 SmallOperatingSystem PT MT1024DC0512 StateSpace 03 3584 3 NONE UNKNOWN
2126 SquareGrid PT 020102 StateSpace 00 2085400000000 3 NONE UNKNOWN
2127 SquareGrid PT 020102 StateSpace 01 40384000000000 3 NONE UNKNOWN
2128 SquareGrid PT 020102 StateSpace 02 6 3 NONE UNKNOWN
2129 SquareGrid PT 020102 StateSpace 03 48 3 NONE UNKNOWN
2130 SwimmingPool PT 01 StateSpace 00 89621 3 NONE UNKNOWN
2131 SwimmingPool PT 01 StateSpace 01 450000 3 NONE UNKNOWN
2132 SwimmingPool PT 01 StateSpace 02 20 3 NONE UNKNOWN
2133 SwimmingPool PT 01 StateSpace 03 45 3 NONE UNKNOWN
2134 SwimmingPool PT 02 StateSpace 00 3408000 3 NONE UNKNOWN
2135 SwimmingPool PT 02 StateSpace 01 19930000 3 NONE UNKNOWN
2136 SwimmingPool PT 02 StateSpace 02 40 3 NONE UNKNOWN
2137 SwimmingPool PT 02 StateSpace 03 90 3 NONE UNKNOWN
2138 SwimmingPool PT 03 StateSpace 00 32209000 3 NONE UNKNOWN
2139 SwimmingPool PT 03 StateSpace 01 199290000 3 NONE UNKNOWN
2140 SwimmingPool PT 03 StateSpace 02 60 3 NONE UNKNOWN
2141 SwimmingPool PT 03 StateSpace 03 135 3 NONE UNKNOWN
2142 SwimmingPool PT 04 StateSpace 00 164390000 3 NONE UNKNOWN
2143 SwimmingPool PT 04 StateSpace 01 1047500000 3 NONE UNKNOWN
2144 SwimmingPool PT 04 StateSpace 02 80 3 NONE UNKNOWN
2145 SwimmingPool PT 04 StateSpace 03 180 3 NONE UNKNOWN
2146 SwimmingPool PT 05 StateSpace 00 591370000 3 NONE UNKNOWN
2147 SwimmingPool PT 05 StateSpace 01 3837200000 3 NONE UNKNOWN
2148 SwimmingPool PT 05 StateSpace 02 100 3 NONE UNKNOWN
2149 SwimmingPool PT 05 StateSpace 03 225 3 NONE UNKNOWN
2150 SwimmingPool PT 06 StateSpace 00 1697400000 3 NONE UNKNOWN
2151 SwimmingPool PT 06 StateSpace 01 11150000000 3 NONE UNKNOWN
2152 SwimmingPool PT 06 StateSpace 02 120 3 NONE UNKNOWN
2153 SwimmingPool PT 06 StateSpace 03 270 3 NONE UNKNOWN
2154 SwimmingPool PT 07 StateSpace 00 4160400000 3 NONE UNKNOWN
2155 SwimmingPool PT 07 StateSpace 01 27571000000 3 NONE UNKNOWN
2156 SwimmingPool PT 07 StateSpace 02 140 3 NONE UNKNOWN
2157 SwimmingPool PT 07 StateSpace 03 315 3 NONE UNKNOWN
2158 SwimmingPool PT 08 StateSpace 00 9073700000 3 NONE UNKNOWN
2159 SwimmingPool PT 08 StateSpace 01 60534000000 3 NONE UNKNOWN
2160 SwimmingPool PT 08 StateSpace 02 160 3 NONE UNKNOWN
2161 SwimmingPool PT 08 StateSpace 03 360 3 NONE UNKNOWN
2162 SwimmingPool PT 09 StateSpace 00 18090000000 3 NONE UNKNOWN
2163 SwimmingPool PT 09 StateSpace 01 121320000000 3 NONE UNKNOWN
2164 SwimmingPool PT 09 StateSpace 02 180 3 NONE UNKNOWN
2165 SwimmingPool PT 09 StateSpace 03 405 3 NONE UNKNOWN
2166 SwimmingPool PT 10 StateSpace 00 33585000000 3 NONE UNKNOWN
2167 SwimmingPool PT 10 StateSpace 01 226180000000 3 NONE UNKNOWN
2168 SwimmingPool PT 10 StateSpace 02 200 3 NONE UNKNOWN
2169 SwimmingPool PT 10 StateSpace 03 450 3 NONE UNKNOWN
2170 TCPcondis PT 05 StateSpace 00 2985800 3 NONE UNKNOWN
2171 TCPcondis PT 05 StateSpace 01 24899000 3 NONE UNKNOWN
2172 TCPcondis PT 05 StateSpace 02 5 3 NONE UNKNOWN
2173 TCPcondis PT 05 StateSpace 03 20 3 NONE UNKNOWN
2174 TCPcondis PT 10 StateSpace 00 13762000000 3 NONE UNKNOWN
2175 TCPcondis PT 10 StateSpace 01 189250000000 3 NONE UNKNOWN
2176 TCPcondis PT 10 StateSpace 02 10 3 NONE UNKNOWN
2177 TCPcondis PT 10 StateSpace 03 40 3 NONE UNKNOWN
2178 TCPcondis PT 15 StateSpace 00 5397100000000 3 NONE UNKNOWN
2179 TCPcondis PT 15 StateSpace 01 93109000000000 3 NONE UNKNOWN
2180 TCPcondis PT 15 StateSpace 02 15 3 NONE UNKNOWN
2181 TCPcondis PT 15 StateSpace 03 60 3 NONE UNKNOWN
2182 TCPcondis PT 20 StateSpace 00 556110000000000 2 NONE UNKNOWN
2183 TCPcondis PT 20 StateSpace 01 10931e12 2 NONE UNKNOWN
2184 TCPcondis PT 20 StateSpace 02 20 2 NONE UNKNOWN
2185 TCPcondis PT 20 StateSpace 03 80 2 NONE UNKNOWN
2186 TCPcondis PT 25 StateSpace 00 24639e12 1 NONE UNKNOWN
2187 TCPcondis PT 25 StateSpace 01 52719e13 1 NONE UNKNOWN
2188 TCPcondis PT 25 StateSpace 02 25 1 NONE UNKNOWN
2189 TCPcondis PT 25 StateSpace 03 100 1 NONE UNKNOWN
2190 TCPcondis PT 30 StateSpace 00 60961e13 1 NONE UNKNOWN
2191 TCPcondis PT 30 StateSpace 01 13846e15 1 NONE UNKNOWN
2192 TCPcondis PT 30 StateSpace 02 30 1 NONE UNKNOWN
2193 TCPcondis PT 30 StateSpace 03 120 1 NONE UNKNOWN
2194 TokenRing COL 005 StateSpace 00 166 3 NONE UNKNOWN
2195 TokenRing COL 005 StateSpace 01 365 3 NONE UNKNOWN
2196 TokenRing COL 005 StateSpace 03 6 3 NONE UNKNOWN
2197 TokenRing COL 010 StateSpace 00 58905 3 NONE UNKNOWN
2198 TokenRing COL 010 StateSpace 01 294050 3 NONE UNKNOWN
2199 TokenRing COL 010 StateSpace 03 11 3 NONE UNKNOWN
2200 TokenRing COL 015 StateSpace 00 35358000 3 NONE UNKNOWN
2201 TokenRing COL 015 StateSpace 01 265180000 3 NONE UNKNOWN
2202 TokenRing COL 015 StateSpace 03 16 3 NONE UNKNOWN
2203 TokenRing COL 020 StateSpace 00 24466000000 3 NONE UNKNOWN
2204 TokenRing COL 020 StateSpace 01 244660000000 3 NONE UNKNOWN
2205 TokenRing COL 020 StateSpace 03 21 3 NONE UNKNOWN
2206 TokenRing COL 030 StateSpace 00 14545e12 3 NONE UNKNOWN
2207 TokenRing COL 030 StateSpace 01 21817e13 3 NONE UNKNOWN
2208 TokenRing COL 030 StateSpace 03 31 3 NONE UNKNOWN
2209 TokenRing PT 005 StateSpace 00 166 3 GEN UNKNOWN
2210 TokenRing PT 005 StateSpace 01 365 3 GEN UNKNOWN
2211 TokenRing PT 005 StateSpace 02 1 3 GEN UNKNOWN
2212 TokenRing PT 005 StateSpace 03 6 3 GEN UNKNOWN
2213 TokenRing PT 010 StateSpace 00 58905 3 GEN UNKNOWN
2214 TokenRing PT 010 StateSpace 01 294050 3 GEN UNKNOWN
2215 TokenRing PT 010 StateSpace 02 1 3 GEN UNKNOWN
2216 TokenRing PT 010 StateSpace 03 11 3 GEN UNKNOWN
2217 TokenRing PT 015 StateSpace 00 35358000 3 GEN UNKNOWN
2218 TokenRing PT 015 StateSpace 01 265180000 3 GEN UNKNOWN
2219 TokenRing PT 015 StateSpace 02 1 3 GEN UNKNOWN
2220 TokenRing PT 015 StateSpace 03 16 3 GEN UNKNOWN
2221 TokenRing PT 020 StateSpace 00 24466000000 3 GEN UNKNOWN
2222 TokenRing PT 020 StateSpace 01 244660000000 3 GEN UNKNOWN
2223 TokenRing PT 020 StateSpace 02 1 3 GEN UNKNOWN
2224 TokenRing PT 020 StateSpace 03 21 3 GEN UNKNOWN
2225 TokenRing PT 030 StateSpace 00 14545e12 3 GEN UNKNOWN
2226 TokenRing PT 030 StateSpace 01 21817e13 3 GEN UNKNOWN
2227 TokenRing PT 030 StateSpace 02 1 3 GEN UNKNOWN
2228 TokenRing PT 030 StateSpace 03 31 3 GEN UNKNOWN
2229 TriangularGrid PT 1200 StateSpace 00 109550 3 NONE UNKNOWN
2230 TriangularGrid PT 1200 StateSpace 01 566710 3 NONE UNKNOWN
2231 TriangularGrid PT 1200 StateSpace 02 60 3 NONE UNKNOWN
2232 TriangularGrid PT 1200 StateSpace 03 66 3 NONE UNKNOWN
2233 TriangularGrid PT 1500 StateSpace 00 705710 3 NONE UNKNOWN
2234 TriangularGrid PT 1500 StateSpace 01 3683600 3 NONE UNKNOWN
2235 TriangularGrid PT 1500 StateSpace 02 150 3 NONE UNKNOWN
2236 TriangularGrid PT 1500 StateSpace 03 156 3 NONE UNKNOWN
2237 TriangularGrid PT 2011 StateSpace 00 940100000 3 NONE UNKNOWN
2238 TriangularGrid PT 2011 StateSpace 01 10543000000 3 NONE UNKNOWN
2239 TriangularGrid PT 2011 StateSpace 02 4 3 NONE UNKNOWN
2240 TriangularGrid PT 2011 StateSpace 03 34 3 NONE UNKNOWN
2241 TriangularGrid PT 3011 StateSpace 00 28468e16 3 NONE UNKNOWN
2242 TriangularGrid PT 3011 StateSpace 01 69469e17 3 NONE UNKNOWN
2243 TriangularGrid PT 3011 StateSpace 02 4 3 NONE UNKNOWN
2244 TriangularGrid PT 3011 StateSpace 03 72 3 NONE UNKNOWN
2245 TriangularGrid PT 3026 StateSpace 00 37522e24 3 NONE UNKNOWN
2246 TriangularGrid PT 3026 StateSpace 01 12333e26 3 NONE UNKNOWN
2247 TriangularGrid PT 3026 StateSpace 02 12 3 NONE UNKNOWN
2248 TriangularGrid PT 3026 StateSpace 03 144 3 NONE UNKNOWN
2249 UtahNoC PT none StateSpace 00 4759900000 3 NUPN UNKNOWN
2250 UtahNoC PT none StateSpace 01 77248000000 3 NUPN UNKNOWN
2251 UtahNoC PT none StateSpace 02 1 3 NUPN UNKNOWN
2252 UtahNoC PT none StateSpace 03 8 3 NUPN UNKNOWN
2253 Vasy2003 PT none StateSpace 00 97947e17 3 NUPN UNKNOWN
2254 Vasy2003 PT none StateSpace 01 34003e19 3 NUPN UNKNOWN
2255 Vasy2003 PT none StateSpace 02 1 3 NUPN UNKNOWN
2256 Vasy2003 PT none StateSpace 03 60 3 NUPN UNKNOWN
2257 SatelliteMemory PT X00100Y0003 StateSpace 00 76358 3 NONE UNKNOWN
2258 SatelliteMemory PT X00100Y0003 StateSpace 01 209480 3 NONE UNKNOWN
2259 SatelliteMemory PT X00100Y0003 StateSpace 02 100 3 NONE UNKNOWN
2260 SatelliteMemory PT X00100Y0003 StateSpace 03 298 3 NONE UNKNOWN
2261 SatelliteMemory PT X01000Y0032 StateSpace 00 7499500 3 NONE UNKNOWN
2262 SatelliteMemory PT X01000Y0032 StateSpace 01 20619000 3 NONE UNKNOWN
2263 SatelliteMemory PT X01000Y0032 StateSpace 02 1000 3 NONE UNKNOWN
2264 SatelliteMemory PT X01000Y0032 StateSpace 03 2940 3 NONE UNKNOWN
2265 SatelliteMemory PT X01500Y0046 StateSpace 00 16913000 3 NONE UNKNOWN
2266 SatelliteMemory PT X01500Y0046 StateSpace 01 46504000 3 NONE UNKNOWN
2267 SatelliteMemory PT X01500Y0046 StateSpace 02 1500 3 NONE UNKNOWN
2268 SatelliteMemory PT X01500Y0046 StateSpace 03 4412 3 NONE UNKNOWN
2269 SatelliteMemory PT X03000Y0094 StateSpace 00 67523000 3 NONE UNKNOWN
2270 SatelliteMemory PT X03000Y0094 StateSpace 02 3000 3 NONE UNKNOWN
2271 SatelliteMemory PT X03000Y0094 StateSpace 03 8816 3 NONE UNKNOWN
2272 ShieldIIPs PT 001A StateSpace 00 9143 3 NUPN UNKNOWN
2273 ShieldIIPs PT 001A StateSpace 01 36370 3 NUPN UNKNOWN
2274 ShieldIIPs PT 001A StateSpace 02 1 3 NUPN UNKNOWN
2275 ShieldIIPs PT 001A StateSpace 03 10 3 NUPN UNKNOWN
2276 ShieldIIPs PT 001B StateSpace 00 863510 3 NUPN UNKNOWN
2277 ShieldIIPs PT 001B StateSpace 01 4601100 3 NUPN UNKNOWN
2278 ShieldIIPs PT 001B StateSpace 02 1 3 NUPN UNKNOWN
2279 ShieldIIPs PT 001B StateSpace 03 10 3 NUPN UNKNOWN
2280 ShieldIIPs PT 002A StateSpace 00 43960000 3 NUPN UNKNOWN
2281 ShieldIIPs PT 002A StateSpace 01 310640000 3 NUPN UNKNOWN
2282 ShieldIIPs PT 002A StateSpace 02 1 3 NUPN UNKNOWN
2283 ShieldIIPs PT 002A StateSpace 03 19 3 NUPN UNKNOWN
2284 ShieldIIPs PT 002B StateSpace 00 258770000000 3 NUPN UNKNOWN
2285 ShieldIIPs PT 002B StateSpace 01 2539400000000 3 NUPN UNKNOWN
2286 ShieldIIPs PT 002B StateSpace 02 1 3 NUPN UNKNOWN
2287 ShieldIIPs PT 002B StateSpace 03 19 3 NUPN UNKNOWN
2288 ShieldIIPs PT 003A StateSpace 00 211660000000 3 NUPN UNKNOWN
2289 ShieldIIPs PT 003A StateSpace 01 2149000000000 3 NUPN UNKNOWN
2290 ShieldIIPs PT 003A StateSpace 02 1 3 NUPN UNKNOWN
2291 ShieldIIPs PT 003A StateSpace 03 28 3 NUPN UNKNOWN
2292 ShieldIIPs PT 003B StateSpace 00 78269e12 3 NUPN UNKNOWN
2293 ShieldIIPs PT 003B StateSpace 01 11189e14 3 NUPN UNKNOWN
2294 ShieldIIPs PT 003B StateSpace 02 1 3 NUPN UNKNOWN
2295 ShieldIIPs PT 003B StateSpace 03 28 3 NUPN UNKNOWN
2296 ShieldIIPs PT 004A StateSpace 00 10191e11 3 NUPN UNKNOWN
2297 ShieldIIPs PT 004A StateSpace 01 13493e12 3 NUPN UNKNOWN
2298 ShieldIIPs PT 004A StateSpace 02 1 3 NUPN UNKNOWN
2299 ShieldIIPs PT 004A StateSpace 03 37 3 NUPN UNKNOWN
2300 ShieldIIPs PT 004B StateSpace 00 23714e18 3 NUPN UNKNOWN
2301 ShieldIIPs PT 004B StateSpace 01 44531e19 3 NUPN UNKNOWN
2302 ShieldIIPs PT 004B StateSpace 02 1 3 NUPN UNKNOWN
2303 ShieldIIPs PT 004B StateSpace 03 37 3 NUPN UNKNOWN
2304 ShieldIIPs PT 005A StateSpace 00 4907e15 3 NUPN UNKNOWN
2305 ShieldIIPs PT 005A StateSpace 01 80113e15 3 NUPN UNKNOWN
2306 ShieldIIPs PT 005A StateSpace 02 1 3 NUPN UNKNOWN
2307 ShieldIIPs PT 005A StateSpace 03 46 3 NUPN UNKNOWN
2308 ShieldIIPs PT 005B StateSpace 00 7186499999999999e12 1 NUPN UNKNOWN
2309 ShieldIIPs PT 005B StateSpace 01 16716e25 1 NUPN UNKNOWN
2310 ShieldIIPs PT 005B StateSpace 02 1 1 NUPN UNKNOWN
2311 ShieldIIPs PT 005B StateSpace 03 46 1 NUPN UNKNOWN
2312 ShieldIIPs PT 010A StateSpace 00 12699e33 3 NUPN UNKNOWN
2313 ShieldIIPs PT 010A StateSpace 01 40331000000000004e22 3 NUPN UNKNOWN
2314 ShieldIIPs PT 010A StateSpace 02 1 3 NUPN UNKNOWN
2315 ShieldIIPs PT 010A StateSpace 03 91 3 NUPN UNKNOWN
2316 ShieldIIPt PT 001A StateSpace 00 1281 3 NUPN UNKNOWN
2317 ShieldIIPt PT 001A StateSpace 01 6337 3 NUPN UNKNOWN
2318 ShieldIIPt PT 001A StateSpace 02 1 3 NUPN UNKNOWN
2319 ShieldIIPt PT 001A StateSpace 03 10 3 NUPN UNKNOWN
2320 ShieldIIPt PT 001B StateSpace 00 3260200 3 NUPN UNKNOWN
2321 ShieldIIPt PT 001B StateSpace 01 19512000 3 NUPN UNKNOWN
2322 ShieldIIPt PT 001B StateSpace 02 1 3 NUPN UNKNOWN
2323 ShieldIIPt PT 001B StateSpace 03 10 3 NUPN UNKNOWN
2324 ShieldIIPt PT 002A StateSpace 00 819200 3 NUPN UNKNOWN
2325 ShieldIIPt PT 002A StateSpace 01 7290900 3 NUPN UNKNOWN
2326 ShieldIIPt PT 002A StateSpace 02 1 3 NUPN UNKNOWN
2327 ShieldIIPt PT 002A StateSpace 03 19 3 NUPN UNKNOWN
2328 ShieldIIPt PT 002B StateSpace 00 3407700000000 3 NUPN UNKNOWN
2329 ShieldIIPt PT 002B StateSpace 01 37972000000000 3 NUPN UNKNOWN
2330 ShieldIIPt PT 002B StateSpace 02 1 3 NUPN UNKNOWN
2331 ShieldIIPt PT 002B StateSpace 03 19 3 NUPN UNKNOWN
2332 ShieldIIPt PT 003A StateSpace 00 524290000 3 NUPN UNKNOWN
2333 ShieldIIPt PT 003A StateSpace 01 6737100000 3 NUPN UNKNOWN
2334 ShieldIIPt PT 003A StateSpace 02 1 3 NUPN UNKNOWN
2335 ShieldIIPt PT 003A StateSpace 03 28 3 NUPN UNKNOWN
2336 ShieldIIPt PT 003B StateSpace 00 35255e14 3 NUPN UNKNOWN
2337 ShieldIIPt PT 003B StateSpace 01 57476e15 3 NUPN UNKNOWN
2338 ShieldIIPt PT 003B StateSpace 02 1 3 NUPN UNKNOWN
2339 ShieldIIPt PT 003B StateSpace 03 28 3 NUPN UNKNOWN
2340 ShieldIIPt PT 004A StateSpace 00 335540000000 3 NUPN UNKNOWN
2341 ShieldIIPt PT 004A StateSpace 01 5637100000000 3 NUPN UNKNOWN
2342 ShieldIIPt PT 004A StateSpace 02 1 3 NUPN UNKNOWN
2343 ShieldIIPt PT 004A StateSpace 03 37 3 NUPN UNKNOWN
2344 ShieldIIPt PT 004B StateSpace 00 36463e20 3 NUPN UNKNOWN
2345 ShieldIIPt PT 004B StateSpace 01 78259e21 3 NUPN UNKNOWN
2346 ShieldIIPt PT 004B StateSpace 02 1 3 NUPN UNKNOWN
2347 ShieldIIPt PT 004B StateSpace 03 37 3 NUPN UNKNOWN
2348 ShieldIIPt PT 005A StateSpace 00 214750000000000 3 NUPN UNKNOWN
2349 ShieldIIPt PT 005A StateSpace 01 4456e12 3 NUPN UNKNOWN
2350 ShieldIIPt PT 005A StateSpace 02 1 3 NUPN UNKNOWN
2351 ShieldIIPt PT 005A StateSpace 03 46 3 NUPN UNKNOWN
2352 ShieldIIPt PT 005B StateSpace 00 37712e26 3 NUPN UNKNOWN
2353 ShieldIIPt PT 005B StateSpace 01 1004e29 3 NUPN UNKNOWN
2354 ShieldIIPt PT 005B StateSpace 02 1 3 NUPN UNKNOWN
2355 ShieldIIPt PT 005B StateSpace 03 46 3 NUPN UNKNOWN
2356 ShieldIIPt PT 010A StateSpace 00 23058e24 3 NUPN UNKNOWN
2357 ShieldIIPt PT 010A StateSpace 01 93387e25 3 NUPN UNKNOWN
2358 ShieldIIPt PT 010A StateSpace 02 1 3 NUPN UNKNOWN
2359 ShieldIIPt PT 010A StateSpace 03 91 3 NUPN UNKNOWN
2360 ShieldIIPt PT 010B StateSpace 00 4463e57 3 NUPN UNKNOWN
2361 ShieldIIPt PT 010B StateSpace 01 23395e58 3 NUPN UNKNOWN
2362 ShieldIIPt PT 010B StateSpace 02 1 3 NUPN UNKNOWN
2363 ShieldIIPt PT 010B StateSpace 03 91 3 NUPN UNKNOWN
2364 ShieldIIPt PT 020A StateSpace 00 26585e52 3 NUPN UNKNOWN
2365 ShieldIIPt PT 020A StateSpace 01 21268e54 3 NUPN UNKNOWN
2366 ShieldIIPt PT 020A StateSpace 02 1 3 NUPN UNKNOWN
2367 ShieldIIPt PT 020A StateSpace 03 181 3 NUPN UNKNOWN
2368 ShieldIIPt PT 030A StateSpace 00 3065e81 3 NUPN UNKNOWN
2369 ShieldIIPt PT 030A StateSpace 01 36627e82 3 NUPN UNKNOWN
2370 ShieldIIPt PT 030A StateSpace 02 1 3 NUPN UNKNOWN
2371 ShieldIIPt PT 030A StateSpace 03 271 3 NUPN UNKNOWN
2372 ShieldIIPt PT 040A StateSpace 00 35337000000000006e96 3 NUPN UNKNOWN
2373 ShieldIIPt PT 040A StateSpace 01 56186e110 3 NUPN UNKNOWN
2374 ShieldIIPt PT 040A StateSpace 02 1 3 NUPN UNKNOWN
2375 ShieldIIPt PT 040A StateSpace 03 361 3 NUPN UNKNOWN
2376 ShieldIIPt PT 050A StateSpace 00 40741e136 3 NUPN UNKNOWN
2377 ShieldIIPt PT 050A StateSpace 01 8087e139 3 NUPN UNKNOWN
2378 ShieldIIPt PT 050A StateSpace 02 1 3 NUPN UNKNOWN
2379 ShieldIIPt PT 050A StateSpace 03 451 3 NUPN UNKNOWN
2380 ShieldIIPt PT 100A StateSpace 00 8299e277 3 NUPN UNKNOWN
2381 ShieldIIPt PT 100A StateSpace 01 32864e279 3 NUPN UNKNOWN
2382 ShieldIIPt PT 100A StateSpace 02 1 3 NUPN UNKNOWN
2383 ShieldIIPt PT 100A StateSpace 03 901 3 NUPN UNKNOWN
2384 ShieldPPPs PT 001A StateSpace 00 61496 3 NUPN UNKNOWN
2385 ShieldPPPs PT 001A StateSpace 01 275470 3 NUPN UNKNOWN
2386 ShieldPPPs PT 001A StateSpace 02 1 3 NUPN UNKNOWN
2387 ShieldPPPs PT 001A StateSpace 03 12 3 NUPN UNKNOWN
2388 ShieldPPPs PT 001B StateSpace 00 5213000 3 NUPN UNKNOWN
2389 ShieldPPPs PT 001B StateSpace 01 28813000 3 NUPN UNKNOWN
2390 ShieldPPPs PT 001B StateSpace 02 1 3 NUPN UNKNOWN
2391 ShieldPPPs PT 001B StateSpace 03 12 3 NUPN UNKNOWN
2392 ShieldPPPs PT 002A StateSpace 00 1940000000 3 NUPN UNKNOWN
2393 ShieldPPPs PT 002A StateSpace 01 16223000000 3 NUPN UNKNOWN
2394 ShieldPPPs PT 002A StateSpace 02 1 3 NUPN UNKNOWN
2395 ShieldPPPs PT 002A StateSpace 03 23 3 NUPN UNKNOWN
2396 ShieldPPPs PT 002B StateSpace 00 9086700000000 3 NUPN UNKNOWN
2397 ShieldPPPs PT 002B StateSpace 01 94555000000000 3 NUPN UNKNOWN
2398 ShieldPPPs PT 002B StateSpace 02 1 3 NUPN UNKNOWN
2399 ShieldPPPs PT 002B StateSpace 03 23 3 NUPN UNKNOWN
2400 ShieldPPPs PT 003A StateSpace 00 61293000000000 3 NUPN UNKNOWN
2401 ShieldPPPs PT 003A StateSpace 01 750630000000000 3 NUPN UNKNOWN
2402 ShieldPPPs PT 003A StateSpace 02 1 3 NUPN UNKNOWN
2403 ShieldPPPs PT 003A StateSpace 03 34 3 NUPN UNKNOWN
2404 ShieldPPPs PT 003B StateSpace 00 15977e15 3 NUPN UNKNOWN
2405 ShieldPPPs PT 003B StateSpace 01 24418e16 3 NUPN UNKNOWN
2406 ShieldPPPs PT 003B StateSpace 02 1 3 NUPN UNKNOWN
2407 ShieldPPPs PT 003B StateSpace 03 34 3 NUPN UNKNOWN
2408 ShieldPPPs PT 004A StateSpace 00 19367e14 3 NUPN UNKNOWN
2409 ShieldPPPs PT 004A StateSpace 01 31241e15 3 NUPN UNKNOWN
2410 ShieldPPPs PT 004A StateSpace 02 1 3 NUPN UNKNOWN
2411 ShieldPPPs PT 004A StateSpace 03 45 3 NUPN UNKNOWN
2412 ShieldPPPs PT 004B StateSpace 00 28163e21 1 NUPN UNKNOWN
2413 ShieldPPPs PT 004B StateSpace 01 56772e22 1 NUPN UNKNOWN
2414 ShieldPPPs PT 004B StateSpace 02 1 1 NUPN UNKNOWN
2415 ShieldPPPs PT 004B StateSpace 03 45 1 NUPN UNKNOWN
2416 ShieldPPPs PT 005A StateSpace 00 61196e18 3 NUPN UNKNOWN
2417 ShieldPPPs PT 005A StateSpace 01 12248e20 3 NUPN UNKNOWN
2418 ShieldPPPs PT 005A StateSpace 02 1 3 NUPN UNKNOWN
2419 ShieldPPPs PT 005A StateSpace 03 56 3 NUPN UNKNOWN
2420 ShieldPPPt PT 001A StateSpace 00 8001 3 NUPN UNKNOWN
2421 ShieldPPPt PT 001A StateSpace 01 43601 3 NUPN UNKNOWN
2422 ShieldPPPt PT 001A StateSpace 02 1 3 NUPN UNKNOWN
2423 ShieldPPPt PT 001A StateSpace 03 12 3 NUPN UNKNOWN
2424 ShieldPPPt PT 001B StateSpace 00 17903000 3 NUPN UNKNOWN
2425 ShieldPPPt PT 001B StateSpace 01 108420000 3 NUPN UNKNOWN
2426 ShieldPPPt PT 001B StateSpace 02 1 3 NUPN UNKNOWN
2427 ShieldPPPt PT 001B StateSpace 03 12 3 NUPN UNKNOWN
2428 ShieldPPPt PT 002A StateSpace 00 32000000 3 NUPN UNKNOWN
2429 ShieldPPPt PT 002A StateSpace 01 321600000 3 NUPN UNKNOWN
2430 ShieldPPPt PT 002A StateSpace 02 1 3 NUPN UNKNOWN
2431 ShieldPPPt PT 002A StateSpace 03 23 3 NUPN UNKNOWN
2432 ShieldPPPt PT 002B StateSpace 00 100170000000000 3 NUPN UNKNOWN
2433 ShieldPPPt PT 002B StateSpace 01 11513e11 3 NUPN UNKNOWN
2434 ShieldPPPt PT 002B StateSpace 02 1 3 NUPN UNKNOWN
2435 ShieldPPPt PT 002B StateSpace 03 23 3 NUPN UNKNOWN
2436 ShieldPPPt PT 003A StateSpace 00 128000000000 3 NUPN UNKNOWN
2437 ShieldPPPt PT 003A StateSpace 01 1875200000000 3 NUPN UNKNOWN
2438 ShieldPPPt PT 003A StateSpace 02 1 3 NUPN UNKNOWN
2439 ShieldPPPt PT 003A StateSpace 03 34 3 NUPN UNKNOWN
2440 ShieldPPPt PT 003B StateSpace 00 55733e16 3 NUPN UNKNOWN
2441 ShieldPPPt PT 003B StateSpace 01 94375e17 3 NUPN UNKNOWN
2442 ShieldPPPt PT 003B StateSpace 02 1 3 NUPN UNKNOWN
2443 ShieldPPPt PT 003B StateSpace 03 34 3 NUPN UNKNOWN
2444 ShieldPPPt PT 004A StateSpace 00 512000000000000 3 NUPN UNKNOWN
2445 ShieldPPPt PT 004A StateSpace 01 9856e12 3 NUPN UNKNOWN
2446 ShieldPPPt PT 004A StateSpace 02 1 3 NUPN UNKNOWN
2447 ShieldPPPt PT 004A StateSpace 03 45 3 NUPN UNKNOWN
2448 ShieldPPPt PT 004B StateSpace 00 31007e23 3 NUPN UNKNOWN
2449 ShieldPPPt PT 004B StateSpace 01 69372e24 3 NUPN UNKNOWN
2450 ShieldPPPt PT 004B StateSpace 02 1 3 NUPN UNKNOWN
2451 ShieldPPPt PT 004B StateSpace 03 45 3 NUPN UNKNOWN
2452 ShieldPPPt PT 005A StateSpace 00 2048e15 3 NUPN UNKNOWN
2453 ShieldPPPt PT 005A StateSpace 01 48845e15 3 NUPN UNKNOWN
2454 ShieldPPPt PT 005A StateSpace 02 1 3 NUPN UNKNOWN
2455 ShieldPPPt PT 005A StateSpace 03 56 3 NUPN UNKNOWN
2456 ShieldPPPt PT 005B StateSpace 00 17251e30 3 NUPN UNKNOWN
2457 ShieldPPPt PT 005B StateSpace 01 47979e31 3 NUPN UNKNOWN
2458 ShieldPPPt PT 005B StateSpace 02 1 3 NUPN UNKNOWN
2459 ShieldPPPt PT 005B StateSpace 03 56 3 NUPN UNKNOWN
2460 ShieldPPPt PT 010A StateSpace 00 20972e32 3 NUPN UNKNOWN
2461 ShieldPPPt PT 010A StateSpace 01 98252e33 3 NUPN UNKNOWN
2462 ShieldPPPt PT 010A StateSpace 02 1 3 NUPN UNKNOWN
2463 ShieldPPPt PT 010A StateSpace 03 111 3 NUPN UNKNOWN
2464 ShieldPPPt PT 020A StateSpace 00 2199e69 3 NUPN UNKNOWN
2465 ShieldPPPt PT 020A StateSpace 01 20418e70 3 NUPN UNKNOWN
2466 ShieldPPPt PT 020A StateSpace 02 1 3 NUPN UNKNOWN
2467 ShieldPPPt PT 020A StateSpace 03 221 3 NUPN UNKNOWN
2468 ShieldPPPt PT 030A StateSpace 00 23058e104 3 NUPN UNKNOWN
2469 ShieldPPPt PT 030A StateSpace 01 32017e106 3 NUPN UNKNOWN
2470 ShieldPPPt PT 030A StateSpace 02 1 3 NUPN UNKNOWN
2471 ShieldPPPt PT 030A StateSpace 03 331 3 NUPN UNKNOWN
2472 ShieldPPPt PT 040A StateSpace 00 24179e140 3 NUPN UNKNOWN
2473 ShieldPPPt PT 040A StateSpace 01 44694e142 3 NUPN UNKNOWN
2474 ShieldPPPt PT 040A StateSpace 02 1 3 NUPN UNKNOWN
2475 ShieldPPPt PT 040A StateSpace 03 441 3 NUPN UNKNOWN
2476 ShieldPPPt PT 050A StateSpace 00 25353000000000003e164 3 NUPN UNKNOWN
2477 ShieldPPPt PT 050A StateSpace 01 5852700000000002e167 3 NUPN UNKNOWN
2478 ShieldPPPt PT 050A StateSpace 02 1 3 NUPN UNKNOWN
2479 ShieldPPPt PT 050A StateSpace 03 551 3 NUPN UNKNOWN
2480 ShieldPPPt PT 100A StateSpace 00 Inf 3 NUPN UNKNOWN
2481 ShieldPPPt PT 100A StateSpace 01 Inf 3 NUPN UNKNOWN
2482 ShieldPPPt PT 100A StateSpace 02 1 3 NUPN UNKNOWN
2483 ShieldPPPt PT 100A StateSpace 03 1101 3 NUPN UNKNOWN
2484 ShieldRVs PT 001A StateSpace 00 171 3 NUPN UNKNOWN
2485 ShieldRVs PT 001A StateSpace 01 423 3 NUPN UNKNOWN
2486 ShieldRVs PT 001A StateSpace 02 1 3 NUPN UNKNOWN
2487 ShieldRVs PT 001A StateSpace 03 5 3 NUPN UNKNOWN
2488 ShieldRVs PT 001B StateSpace 00 3596 3 NUPN UNKNOWN
2489 ShieldRVs PT 001B StateSpace 01 11341 3 NUPN UNKNOWN
2490 ShieldRVs PT 001B StateSpace 02 1 3 NUPN UNKNOWN
2491 ShieldRVs PT 001B StateSpace 03 5 3 NUPN UNKNOWN
2492 ShieldRVs PT 002A StateSpace 00 16021 3 NUPN UNKNOWN
2493 ShieldRVs PT 002A StateSpace 01 68398 3 NUPN UNKNOWN
2494 ShieldRVs PT 002A StateSpace 02 1 3 NUPN UNKNOWN
2495 ShieldRVs PT 002A StateSpace 03 9 3 NUPN UNKNOWN
2496 ShieldRVs PT 002B StateSpace 00 4261500 3 NUPN UNKNOWN
2497 ShieldRVs PT 002B StateSpace 01 24521000 3 NUPN UNKNOWN
2498 ShieldRVs PT 002B StateSpace 02 1 3 NUPN UNKNOWN
2499 ShieldRVs PT 002B StateSpace 03 9 3 NUPN UNKNOWN
2500 ShieldRVs PT 003A StateSpace 00 1530500 3 NUPN UNKNOWN
2501 ShieldRVs PT 003A StateSpace 01 9261800 3 NUPN UNKNOWN
2502 ShieldRVs PT 003A StateSpace 02 1 3 NUPN UNKNOWN
2503 ShieldRVs PT 003A StateSpace 03 13 3 NUPN UNKNOWN
2504 ShieldRVs PT 003B StateSpace 00 5281300000 3 NUPN UNKNOWN
2505 ShieldRVs PT 003B StateSpace 01 44080000000 3 NUPN UNKNOWN
2506 ShieldRVs PT 003B StateSpace 02 1 3 NUPN UNKNOWN
2507 ShieldRVs PT 003B StateSpace 03 13 3 NUPN UNKNOWN
2508 ShieldRVs PT 004A StateSpace 00 146370000 3 NUPN UNKNOWN
2509 ShieldRVs PT 004A StateSpace 01 1146500000 3 NUPN UNKNOWN
2510 ShieldRVs PT 004A StateSpace 02 1 3 NUPN UNKNOWN
2511 ShieldRVs PT 004A StateSpace 03 17 3 NUPN UNKNOWN
2512 ShieldRVs PT 004B StateSpace 00 6615100000000 3 NUPN UNKNOWN
2513 ShieldRVs PT 004B StateSpace 01 72346000000000 3 NUPN UNKNOWN
2514 ShieldRVs PT 004B StateSpace 02 1 3 NUPN UNKNOWN
2515 ShieldRVs PT 004B StateSpace 03 17 3 NUPN UNKNOWN
2516 ShieldRVs PT 005A StateSpace 00 14001000000 3 NUPN UNKNOWN
2517 ShieldRVs PT 005A StateSpace 01 134600000000 3 NUPN UNKNOWN
2518 ShieldRVs PT 005A StateSpace 02 1 3 NUPN UNKNOWN
2519 ShieldRVs PT 005A StateSpace 03 21 3 NUPN UNKNOWN
2520 ShieldRVs PT 005B StateSpace 00 83086e11 3 NUPN UNKNOWN
2521 ShieldRVs PT 005B StateSpace 01 11239e13 3 NUPN UNKNOWN
2522 ShieldRVs PT 005B StateSpace 02 1 3 NUPN UNKNOWN
2523 ShieldRVs PT 005B StateSpace 03 21 3 NUPN UNKNOWN
2524 ShieldRVs PT 010A StateSpace 00 11214e16 3 NUPN UNKNOWN
2525 ShieldRVs PT 010A StateSpace 01 20764e17 3 NUPN UNKNOWN
2526 ShieldRVs PT 010A StateSpace 02 1 3 NUPN UNKNOWN
2527 ShieldRVs PT 010A StateSpace 03 41 3 NUPN UNKNOWN
2528 ShieldRVs PT 010B StateSpace 00 26109e27 3 NUPN UNKNOWN
2529 ShieldRVs PT 010B StateSpace 01 69131e28 3 NUPN UNKNOWN
2530 ShieldRVs PT 010B StateSpace 02 1 3 NUPN UNKNOWN
2531 ShieldRVs PT 010B StateSpace 03 41 3 NUPN UNKNOWN
2532 ShieldRVs PT 020A StateSpace 00 71936e35 3 NUPN UNKNOWN
2533 ShieldRVs PT 020A StateSpace 01 26129e37 3 NUPN UNKNOWN
2534 ShieldRVs PT 020A StateSpace 02 1 3 NUPN UNKNOWN
2535 ShieldRVs PT 020A StateSpace 03 81 3 NUPN UNKNOWN
2536 ShieldRVs PT 020B StateSpace 00 25812e58 3 NUPN UNKNOWN
2537 ShieldRVs PT 020B StateSpace 01 1352e61 3 NUPN UNKNOWN
2538 ShieldRVs PT 020B StateSpace 02 1 3 NUPN UNKNOWN
2539 ShieldRVs PT 020B StateSpace 03 81 3 NUPN UNKNOWN
2540 ShieldRVs PT 030A StateSpace 00 46146e55 3 NUPN UNKNOWN
2541 ShieldRVs PT 030A StateSpace 01 24979000000000005e45 3 NUPN UNKNOWN
2542 ShieldRVs PT 030A StateSpace 02 1 3 NUPN UNKNOWN
2543 ShieldRVs PT 030A StateSpace 03 121 3 NUPN UNKNOWN
2544 ShieldRVs PT 030B StateSpace 00 25518000000000005e77 3 NUPN UNKNOWN
2545 ShieldRVs PT 030B StateSpace 01 19976e91 3 NUPN UNKNOWN
2546 ShieldRVs PT 030B StateSpace 02 1 3 NUPN UNKNOWN
2547 ShieldRVs PT 030B StateSpace 03 121 3 NUPN UNKNOWN
2548 ShieldRVs PT 040A StateSpace 00 29601999999999997e63 3 NUPN UNKNOWN
2549 ShieldRVs PT 040A StateSpace 01 21295e77 3 NUPN UNKNOWN
2550 ShieldRVs PT 040A StateSpace 02 1 3 NUPN UNKNOWN
2551 ShieldRVs PT 040A StateSpace 03 161 3 NUPN UNKNOWN
2552 ShieldRVs PT 040B StateSpace 00 25228000000000003e108 3 NUPN UNKNOWN
2553 ShieldRVs PT 040B StateSpace 01 26283e122 3 NUPN UNKNOWN
2554 ShieldRVs PT 040B StateSpace 02 1 3 NUPN UNKNOWN
2555 ShieldRVs PT 040B StateSpace 03 161 3 NUPN UNKNOWN
2556 ShieldRVs PT 050A StateSpace 00 18989e95 3 NUPN UNKNOWN
2557 ShieldRVs PT 050A StateSpace 01 17042000000000002e85 3 NUPN UNKNOWN
2558 ShieldRVs PT 050A StateSpace 02 1 3 NUPN UNKNOWN
2559 ShieldRVs PT 050A StateSpace 03 201 3 NUPN UNKNOWN
2560 ShieldRVs PT 050B StateSpace 00 2494e152 3 NUPN UNKNOWN
2561 ShieldRVs PT 050B StateSpace 01 3244400000000001e142 3 NUPN UNKNOWN
2562 ShieldRVs PT 050B StateSpace 02 1 3 NUPN UNKNOWN
2563 ShieldRVs PT 050B StateSpace 03 201 3 NUPN UNKNOWN
2564 ShieldRVs PT 100A StateSpace 00 20627e194 3 NUPN UNKNOWN
2565 ShieldRVs PT 100A StateSpace 01 36877000000000005e184 3 NUPN UNKNOWN
2566 ShieldRVs PT 100A StateSpace 02 1 3 NUPN UNKNOWN
2567 ShieldRVs PT 100A StateSpace 03 401 3 NUPN UNKNOWN
2568 ShieldRVt PT 001A StateSpace 00 33 3 NUPN UNKNOWN
2569 ShieldRVt PT 001A StateSpace 01 113 3 NUPN UNKNOWN
2570 ShieldRVt PT 001A StateSpace 02 1 3 NUPN UNKNOWN
2571 ShieldRVt PT 001A StateSpace 03 5 3 NUPN UNKNOWN
2572 ShieldRVt PT 001B StateSpace 00 21947 3 NUPN UNKNOWN
2573 ShieldRVt PT 001B StateSpace 01 87675 3 NUPN UNKNOWN
2574 ShieldRVt PT 001B StateSpace 02 1 3 NUPN UNKNOWN
2575 ShieldRVt PT 001B StateSpace 03 5 3 NUPN UNKNOWN
2576 ShieldRVt PT 002A StateSpace 00 513 3 NUPN UNKNOWN
2577 ShieldRVt PT 002A StateSpace 01 3137 3 NUPN UNKNOWN
2578 ShieldRVt PT 002A StateSpace 02 1 3 NUPN UNKNOWN
2579 ShieldRVt PT 002A StateSpace 03 9 3 NUPN UNKNOWN
2580 ShieldRVt PT 002B StateSpace 00 165280000 3 NUPN UNKNOWN
2581 ShieldRVt PT 002B StateSpace 01 1248400000 3 NUPN UNKNOWN
2582 ShieldRVt PT 002B StateSpace 02 1 3 NUPN UNKNOWN
2583 ShieldRVt PT 002B StateSpace 03 9 3 NUPN UNKNOWN
2584 ShieldRVt PT 003A StateSpace 00 8193 3 NUPN UNKNOWN
2585 ShieldRVt PT 003A StateSpace 01 71681 3 NUPN UNKNOWN
2586 ShieldRVt PT 003A StateSpace 02 1 3 NUPN UNKNOWN
2587 ShieldRVt PT 003A StateSpace 03 13 3 NUPN UNKNOWN
2588 ShieldRVt PT 003B StateSpace 00 1226900000000 3 NUPN UNKNOWN
2589 ShieldRVt PT 003B StateSpace 01 13619000000000 3 NUPN UNKNOWN
2590 ShieldRVt PT 003B StateSpace 02 1 3 NUPN UNKNOWN
2591 ShieldRVt PT 003B StateSpace 03 13 3 NUPN UNKNOWN
2592 ShieldRVt PT 004A StateSpace 00 131070 3 NUPN UNKNOWN
2593 ShieldRVt PT 004A StateSpace 01 1490900 3 NUPN UNKNOWN
2594 ShieldRVt PT 004A StateSpace 02 1 3 NUPN UNKNOWN
2595 ShieldRVt PT 004A StateSpace 03 17 3 NUPN UNKNOWN
2596 ShieldRVt PT 004B StateSpace 00 90871e11 3 NUPN UNKNOWN
2597 ShieldRVt PT 004B StateSpace 01 13307e13 3 NUPN UNKNOWN
2598 ShieldRVt PT 004B StateSpace 02 1 3 NUPN UNKNOWN
2599 ShieldRVt PT 004B StateSpace 03 17 3 NUPN UNKNOWN
2600 ShieldRVt PT 005A StateSpace 00 2097200 3 NUPN UNKNOWN
2601 ShieldRVt PT 005A StateSpace 01 29360000 3 NUPN UNKNOWN
2602 ShieldRVt PT 005A StateSpace 02 1 3 NUPN UNKNOWN
2603 ShieldRVt PT 005A StateSpace 03 21 3 NUPN UNKNOWN
2604 ShieldRVt PT 005B StateSpace 00 67276e15 3 NUPN UNKNOWN
2605 ShieldRVt PT 005B StateSpace 01 12236e17 3 NUPN UNKNOWN
2606 ShieldRVt PT 005B StateSpace 02 1 3 NUPN UNKNOWN
2607 ShieldRVt PT 005B StateSpace 03 21 3 NUPN UNKNOWN
2608 ShieldRVt PT 010A StateSpace 00 2199000000000 3 NUPN UNKNOWN
2609 ShieldRVt PT 010A StateSpace 01 59649000000000 3 NUPN UNKNOWN
2610 ShieldRVt PT 010A StateSpace 02 1 3 NUPN UNKNOWN
2611 ShieldRVt PT 010A StateSpace 03 41 3 NUPN UNKNOWN
2612 ShieldRVt PT 010B StateSpace 00 14954e35 3 NUPN UNKNOWN
2613 ShieldRVt PT 010B StateSpace 01 53687e36 3 NUPN UNKNOWN
2614 ShieldRVt PT 010B StateSpace 02 1 3 NUPN UNKNOWN
2615 ShieldRVt PT 010B StateSpace 03 41 3 NUPN UNKNOWN
2616 ShieldRVt PT 020A StateSpace 00 24179e20 3 NUPN UNKNOWN
2617 ShieldRVt PT 020A StateSpace 01 12905e22 3 NUPN UNKNOWN
2618 ShieldRVt PT 020A StateSpace 02 1 3 NUPN UNKNOWN
2619 ShieldRVt PT 020A StateSpace 03 81 3 NUPN UNKNOWN
2620 ShieldRVt PT 020B StateSpace 00 7387499999999999e62 3 NUPN UNKNOWN
2621 ShieldRVt PT 020B StateSpace 01 52695999999999996e63 3 NUPN UNKNOWN
2622 ShieldRVt PT 020B StateSpace 02 1 3 NUPN UNKNOWN
2623 ShieldRVt PT 020B StateSpace 03 81 3 NUPN UNKNOWN
2624 ShieldRVt PT 030A StateSpace 00 26585e32 3 NUPN UNKNOWN
2625 ShieldRVt PT 030A StateSpace 01 21168e34 3 NUPN UNKNOWN
2626 ShieldRVt PT 030A StateSpace 02 1 3 NUPN UNKNOWN
2627 ShieldRVt PT 030A StateSpace 03 121 3 NUPN UNKNOWN
2628 ShieldRVt PT 030B StateSpace 00 36496000000000004e100 1 NUPN UNKNOWN
2629 ShieldRVt PT 030B StateSpace 01 38963000000000006e102 1 NUPN UNKNOWN
2630 ShieldRVt PT 030B StateSpace 02 1 1 NUPN UNKNOWN
2631 ShieldRVt PT 030B StateSpace 03 121 1 NUPN UNKNOWN
2632 ShieldRVt PT 040A StateSpace 00 2923e45 3 NUPN UNKNOWN
2633 ShieldRVt PT 040A StateSpace 01 30947e46 3 NUPN UNKNOWN
2634 ShieldRVt PT 040A StateSpace 02 1 3 NUPN UNKNOWN
2635 ShieldRVt PT 040A StateSpace 03 161 3 NUPN UNKNOWN
2636 ShieldRVt PT 050A StateSpace 00 32139e56 3 NUPN UNKNOWN
2637 ShieldRVt PT 050A StateSpace 01 4246300000000001e47 3 NUPN UNKNOWN
2638 ShieldRVt PT 050A StateSpace 02 1 3 NUPN UNKNOWN
2639 ShieldRVt PT 050A StateSpace 03 201 3 NUPN UNKNOWN
2640 ShieldRVt PT 100A StateSpace 00 51645e116 3 NUPN UNKNOWN
2641 ShieldRVt PT 100A StateSpace 01 13602e119 3 NUPN UNKNOWN
2642 ShieldRVt PT 100A StateSpace 02 1 3 NUPN UNKNOWN
2643 ShieldRVt PT 100A StateSpace 03 401 3 NUPN UNKNOWN
2644 SmartHome PT 01 StateSpace 00 43201 3 NUPN UNKNOWN
2645 SmartHome PT 01 StateSpace 01 2410700 3 NUPN UNKNOWN
2646 SmartHome PT 01 StateSpace 02 1 3 NUPN UNKNOWN
2647 SmartHome PT 01 StateSpace 03 18 3 NUPN UNKNOWN
2648 SmartHome PT 02 StateSpace 00 86401 3 NUPN UNKNOWN
2649 SmartHome PT 02 StateSpace 01 5642100 3 NUPN UNKNOWN
2650 SmartHome PT 02 StateSpace 02 1 3 NUPN UNKNOWN
2651 SmartHome PT 02 StateSpace 03 20 3 NUPN UNKNOWN
2652 SmartHome PT 03 StateSpace 00 259200 3 NUPN UNKNOWN
2653 SmartHome PT 03 StateSpace 01 19173000 3 NUPN UNKNOWN
2654 SmartHome PT 03 StateSpace 02 1 3 NUPN UNKNOWN
2655 SmartHome PT 03 StateSpace 03 22 3 NUPN UNKNOWN
2656 SmartHome PT 04 StateSpace 00 5307700 3 NUPN UNKNOWN
2657 SmartHome PT 04 StateSpace 01 29493000 3 NUPN UNKNOWN
2658 SmartHome PT 04 StateSpace 02 1 3 NUPN UNKNOWN
2659 SmartHome PT 04 StateSpace 03 7 3 NUPN UNKNOWN
2660 SmartHome PT 05 StateSpace 00 19706000000 3 NUPN UNKNOWN
2661 SmartHome PT 05 StateSpace 01 158990000000 3 NUPN UNKNOWN
2662 SmartHome PT 05 StateSpace 02 1 3 NUPN UNKNOWN
2663 SmartHome PT 05 StateSpace 03 10 3 NUPN UNKNOWN
2664 SmartHome PT 06 StateSpace 00 15083000000 3 NUPN UNKNOWN
2665 SmartHome PT 06 StateSpace 01 121780000000 3 NUPN UNKNOWN
2666 SmartHome PT 06 StateSpace 02 1 3 NUPN UNKNOWN
2667 SmartHome PT 06 StateSpace 03 9 3 NUPN UNKNOWN
2668 SmartHome PT 07 StateSpace 00 341150000000 3 NUPN UNKNOWN
2669 SmartHome PT 07 StateSpace 01 3125100000000 3 NUPN UNKNOWN
2670 SmartHome PT 07 StateSpace 02 1 3 NUPN UNKNOWN
2671 SmartHome PT 07 StateSpace 03 10 3 NUPN UNKNOWN
2672 SmartHome PT 08 StateSpace 00 806570000000 3 NUPN UNKNOWN
2673 SmartHome PT 08 StateSpace 01 7474000000000 3 NUPN UNKNOWN
2674 SmartHome PT 08 StateSpace 02 1 3 NUPN UNKNOWN
2675 SmartHome PT 08 StateSpace 03 11 3 NUPN UNKNOWN
2676 SmartHome PT 09 StateSpace 00 394080000000 3 NUPN UNKNOWN
2677 SmartHome PT 09 StateSpace 01 3639200000000 3 NUPN UNKNOWN
2678 SmartHome PT 09 StateSpace 02 1 3 NUPN UNKNOWN
2679 SmartHome PT 09 StateSpace 03 10 3 NUPN UNKNOWN
2680 SmartHome PT 10 StateSpace 00 430090000000 3 NUPN UNKNOWN
2681 SmartHome PT 10 StateSpace 01 3908900000000 3 NUPN UNKNOWN
2682 SmartHome PT 10 StateSpace 02 1 3 NUPN UNKNOWN
2683 SmartHome PT 10 StateSpace 03 11 3 NUPN UNKNOWN
2684 SmartHome PT 11 StateSpace 00 1910400000000 3 NUPN UNKNOWN
2685 SmartHome PT 11 StateSpace 01 17954000000000 3 NUPN UNKNOWN
2686 SmartHome PT 11 StateSpace 02 1 3 NUPN UNKNOWN
2687 SmartHome PT 11 StateSpace 03 12 3 NUPN UNKNOWN
2688 SmartHome PT 12 StateSpace 00 112990000000000 3 NUPN UNKNOWN
2689 SmartHome PT 12 StateSpace 01 11974e11 3 NUPN UNKNOWN
2690 SmartHome PT 12 StateSpace 02 1 3 NUPN UNKNOWN
2691 SmartHome PT 12 StateSpace 03 13 3 NUPN UNKNOWN
2692 SmartHome PT 13 StateSpace 00 112990000000000 3 NUPN UNKNOWN
2693 SmartHome PT 13 StateSpace 01 11974e11 3 NUPN UNKNOWN
2694 SmartHome PT 13 StateSpace 02 1 3 NUPN UNKNOWN
2695 SmartHome PT 13 StateSpace 03 13 3 NUPN UNKNOWN
2696 SmartHome PT 14 StateSpace 00 23993e11 3 NUPN UNKNOWN
2697 SmartHome PT 14 StateSpace 01 28259e12 3 NUPN UNKNOWN
2698 SmartHome PT 14 StateSpace 02 1 3 NUPN UNKNOWN
2699 SmartHome PT 14 StateSpace 03 14 3 NUPN UNKNOWN
2700 SmartHome PT 15 StateSpace 00 23993e11 3 NUPN UNKNOWN
2701 SmartHome PT 15 StateSpace 01 28259e12 3 NUPN UNKNOWN
2702 SmartHome PT 15 StateSpace 02 1 3 NUPN UNKNOWN
2703 SmartHome PT 15 StateSpace 03 14 3 NUPN UNKNOWN
2704 SmartHome PT 16 StateSpace 00 14787e14 3 NUPN UNKNOWN
2705 SmartHome PT 16 StateSpace 01 20879e15 3 NUPN UNKNOWN
2706 SmartHome PT 16 StateSpace 02 1 3 NUPN UNKNOWN
2707 SmartHome PT 16 StateSpace 03 16 3 NUPN UNKNOWN
2708 SmartHome PT 17 StateSpace 00 10168e17 3 NUPN UNKNOWN
2709 SmartHome PT 17 StateSpace 01 16738e18 3 NUPN UNKNOWN
2710 SmartHome PT 17 StateSpace 02 1 3 NUPN UNKNOWN
2711 SmartHome PT 17 StateSpace 03 18 3 NUPN UNKNOWN
2712 SmartHome PT 18 StateSpace 00 6725e20 3 NUPN UNKNOWN
2713 SmartHome PT 18 StateSpace 01 12639e21 3 NUPN UNKNOWN
2714 SmartHome PT 18 StateSpace 02 1 3 NUPN UNKNOWN
2715 SmartHome PT 18 StateSpace 03 20 3 NUPN UNKNOWN
2716 SmartHome PT 19 StateSpace 00 63046e22 3 NUPN UNKNOWN
2717 SmartHome PT 19 StateSpace 01 13323e24 3 NUPN UNKNOWN
2718 SmartHome PT 19 StateSpace 02 1 3 NUPN UNKNOWN
2719 SmartHome PT 19 StateSpace 03 22 3 NUPN UNKNOWN
2720 Sudoku COL AN01 StateSpace 00 2 2 NONE UNKNOWN
2721 Sudoku COL AN01 StateSpace 01 1 2 NONE UNKNOWN
2722 Sudoku COL AN01 StateSpace 03 3 2 NONE UNKNOWN
2723 Sudoku COL AN02 StateSpace 00 35 2 NONE UNKNOWN
2724 Sudoku COL AN02 StateSpace 01 72 2 NONE UNKNOWN
2725 Sudoku COL AN02 StateSpace 03 12 2 NONE UNKNOWN
2726 Sudoku COL AN03 StateSpace 00 11776 2 NONE UNKNOWN
2727 Sudoku COL AN03 StateSpace 01 56619 2 NONE UNKNOWN
2728 Sudoku COL AN03 StateSpace 03 27 2 NONE UNKNOWN
2729 Sudoku COL AN04 StateSpace 00 127550000 2 NONE UNKNOWN
2730 Sudoku COL AN04 StateSpace 01 1134300000 2 NONE UNKNOWN
2731 Sudoku COL AN04 StateSpace 03 48 2 NONE UNKNOWN
2732 Sudoku COL BN01 StateSpace 00 2 2 NONE UNKNOWN
2733 Sudoku COL BN01 StateSpace 01 1 2 NONE UNKNOWN
2734 Sudoku COL BN01 StateSpace 03 4 2 NONE UNKNOWN
2735 Sudoku COL BN04 StateSpace 00 61556000 2 NONE UNKNOWN
2736 Sudoku COL BN04 StateSpace 01 526300000 2 NONE UNKNOWN
2737 Sudoku COL BN04 StateSpace 03 64 2 NONE UNKNOWN
2738 Sudoku PT AN01 StateSpace 00 2 3 GEN UNKNOWN
2739 Sudoku PT AN01 StateSpace 01 1 3 GEN UNKNOWN
2740 Sudoku PT AN01 StateSpace 02 1 3 GEN UNKNOWN
2741 Sudoku PT AN01 StateSpace 03 3 3 GEN UNKNOWN
2742 Sudoku PT AN02 StateSpace 00 35 3 GEN UNKNOWN
2743 Sudoku PT AN02 StateSpace 01 72 3 GEN UNKNOWN
2744 Sudoku PT AN02 StateSpace 02 1 3 GEN UNKNOWN
2745 Sudoku PT AN02 StateSpace 03 12 3 GEN UNKNOWN
2746 Sudoku PT AN03 StateSpace 00 11776 3 GEN UNKNOWN
2747 Sudoku PT AN03 StateSpace 01 56619 3 GEN UNKNOWN
2748 Sudoku PT AN03 StateSpace 02 1 3 GEN UNKNOWN
2749 Sudoku PT AN03 StateSpace 03 27 3 GEN UNKNOWN
2750 Sudoku PT AN04 StateSpace 00 127550000 3 GEN UNKNOWN
2751 Sudoku PT AN04 StateSpace 01 1134300000 3 GEN UNKNOWN
2752 Sudoku PT AN04 StateSpace 02 1 3 GEN UNKNOWN
2753 Sudoku PT AN04 StateSpace 03 48 3 GEN UNKNOWN
2754 Sudoku PT BN01 StateSpace 00 2 3 GEN UNKNOWN
2755 Sudoku PT BN01 StateSpace 01 1 3 GEN UNKNOWN
2756 Sudoku PT BN01 StateSpace 02 1 3 GEN UNKNOWN
2757 Sudoku PT BN01 StateSpace 03 4 3 GEN UNKNOWN
2758 Sudoku PT BN04 StateSpace 00 61556000 3 GEN UNKNOWN
2759 Sudoku PT BN04 StateSpace 01 526300000 3 GEN UNKNOWN
2760 Sudoku PT BN04 StateSpace 02 1 3 GEN UNKNOWN
2761 Sudoku PT BN04 StateSpace 03 64 3 GEN UNKNOWN
2762 ViralEpidemic PT S03D1C1A02 StateSpace 00 9168700000 3 GEN UNKNOWN
2763 ViralEpidemic PT S03D1C1A02 StateSpace 01 135660000000 3 GEN UNKNOWN
2764 ViralEpidemic PT S03D1C1A02 StateSpace 02 1 3 GEN UNKNOWN
2765 ViralEpidemic PT S03D1C1A02 StateSpace 03 53 3 GEN UNKNOWN
2766 ViralEpidemic PT S03D1C1A04 StateSpace 00 45789e85 3 GEN UNKNOWN
2767 ViralEpidemic PT S03D1C1A04 StateSpace 01 60975999999999995e75 3 GEN UNKNOWN
2768 ViralEpidemic PT S03D1C1A04 StateSpace 02 1 3 GEN UNKNOWN
2769 ViralEpidemic PT S03D1C1A04 StateSpace 03 485 3 GEN UNKNOWN
2770 ViralEpidemic PT S03D1C1A06 StateSpace 00 Inf 2 GEN UNKNOWN
2771 ViralEpidemic PT S03D1C1A06 StateSpace 01 Inf 1 GEN UNKNOWN
2772 ViralEpidemic PT S03D1C1A06 StateSpace 02 1 2 GEN UNKNOWN
2773 ViralEpidemic PT S03D1C1A06 StateSpace 03 4373 2 GEN UNKNOWN
2774 ViralEpidemic PT S04D1C1A02 StateSpace 00 99373e15 3 GEN UNKNOWN
2775 ViralEpidemic PT S04D1C1A02 StateSpace 01 31399e17 3 GEN UNKNOWN
2776 ViralEpidemic PT S04D1C1A02 StateSpace 02 1 3 GEN UNKNOWN
2777 ViralEpidemic PT S04D1C1A02 StateSpace 03 106 3 GEN UNKNOWN
2778 ViralEpidemic PT S04D1C1A03 StateSpace 00 97517e75 3 GEN UNKNOWN
2779 ViralEpidemic PT S04D1C1A03 StateSpace 01 12325e78 3 GEN UNKNOWN
2780 ViralEpidemic PT S04D1C1A03 StateSpace 02 1 3 GEN UNKNOWN
2781 ViralEpidemic PT S04D1C1A03 StateSpace 03 426 3 GEN UNKNOWN
2782 ViralEpidemic PT S04D1C1A04 StateSpace 00 Inf 3 GEN UNKNOWN
2783 ViralEpidemic PT S04D1C1A04 StateSpace 01 Inf 3 GEN UNKNOWN
2784 ViralEpidemic PT S04D1C1A04 StateSpace 02 1 3 GEN UNKNOWN
2785 ViralEpidemic PT S04D1C1A04 StateSpace 03 1706 3 GEN UNKNOWN
2786 ViralEpidemic PT S08D1C2A02 StateSpace 00 50812000000000004e119 3 NONE UNKNOWN
2787 ViralEpidemic PT S08D1C2A02 StateSpace 01 12893000000000002e122 3 NONE UNKNOWN
2788 ViralEpidemic PT S08D1C2A02 StateSpace 02 2 3 NONE UNKNOWN
2789 ViralEpidemic PT S08D1C2A02 StateSpace 03 731 3 NONE UNKNOWN
2790 ViralEpidemic PT S16D2C4A01 StateSpace 00 14587e66 3 NONE UNKNOWN
2791 ViralEpidemic PT S16D2C4A01 StateSpace 01 22037000000000003e56 3 NONE UNKNOWN
2792 ViralEpidemic PT S16D2C4A01 StateSpace 02 4 3 NONE UNKNOWN
2793 ViralEpidemic PT S16D2C4A01 StateSpace 03 358 3 NONE UNKNOWN
2794 ASLink PT 01b StateSpace 00 594950000000000 3 NUPN UNKNOWN
2795 ASLink PT 01b StateSpace 02 1 3 NUPN UNKNOWN
2796 ASLink PT 01b StateSpace 03 23 3 NUPN UNKNOWN
2797 ASLink PT 04a StateSpace 00 2.0327999999999998e+22 3 NUPN UNKNOWN
2798 ASLink PT 04a StateSpace 02 1 3 NUPN UNKNOWN
2799 ASLink PT 04a StateSpace 03 62 3 NUPN UNKNOWN
2800 ASLink PT 05a StateSpace 00 97382e22 3 NUPN UNKNOWN
2801 ASLink PT 05a StateSpace 02 1 3 NUPN UNKNOWN
2802 ASLink PT 05a StateSpace 03 75 3 NUPN UNKNOWN
2803 ASLink PT 06a StateSpace 00 46652e27 3 NUPN UNKNOWN
2804 ASLink PT 06a StateSpace 02 1 3 NUPN UNKNOWN
2805 ASLink PT 06a StateSpace 03 88 3 NUPN UNKNOWN
2806 AirplaneLD COL 1000 StateSpace 00 34087000000 3 NONE UNKNOWN
2807 AirplaneLD COL 1000 StateSpace 03 3008 3 NONE UNKNOWN
2808 AirplaneLD COL 2000 StateSpace 00 272350000000 3 NONE UNKNOWN
2809 AirplaneLD COL 2000 StateSpace 03 6008 3 NONE UNKNOWN
2810 AirplaneLD COL 4000 StateSpace 00 2177400000000 3 NONE UNKNOWN
2811 AirplaneLD COL 4000 StateSpace 03 12008 3 NONE UNKNOWN
2812 AirplaneLD PT 1000 StateSpace 00 34087000000 3 GEN UNKNOWN
2813 AirplaneLD PT 1000 StateSpace 02 1 3 GEN UNKNOWN
2814 AirplaneLD PT 1000 StateSpace 03 3008 3 GEN UNKNOWN
2815 AirplaneLD PT 2000 StateSpace 00 272350000000 2 GEN UNKNOWN
2816 AirplaneLD PT 2000 StateSpace 02 1 2 GEN UNKNOWN
2817 AirplaneLD PT 2000 StateSpace 03 6008 2 GEN UNKNOWN
2818 AirplaneLD PT 4000 StateSpace 00 2177400000000 2 GEN UNKNOWN
2819 AirplaneLD PT 4000 StateSpace 02 1 2 GEN UNKNOWN
2820 AirplaneLD PT 4000 StateSpace 03 12008 2 GEN UNKNOWN
2821 AutoFlight PT 06b StateSpace 00 35325e30 1 NUPN UNKNOWN
2822 AutoFlight PT 06b StateSpace 02 1 1 NUPN UNKNOWN
2823 AutoFlight PT 06b StateSpace 03 39 1 NUPN UNKNOWN
2824 BART COL 002 StateSpace 00 17424 3 NONE UNKNOWN
2825 BART COL 002 StateSpace 03 274 3 NONE UNKNOWN
2826 BART COL 005 StateSpace 00 40075000000 3 NONE UNKNOWN
2827 BART COL 005 StateSpace 03 277 3 NONE UNKNOWN
2828 BART COL 010 StateSpace 00 1606e18 3 NONE UNKNOWN
2829 BART COL 010 StateSpace 03 282 3 NONE UNKNOWN
2830 BART COL 020 StateSpace 00 25792e38 3 NONE UNKNOWN
2831 BART COL 020 StateSpace 03 292 3 NONE UNKNOWN
2832 BART COL 030 StateSpace 00 41421000000000004e47 3 NONE UNKNOWN
2833 BART COL 030 StateSpace 03 302 3 NONE UNKNOWN
2834 BART COL 040 StateSpace 00 66521e80 3 NONE UNKNOWN
2835 BART COL 040 StateSpace 03 312 3 NONE UNKNOWN
2836 BART COL 050 StateSpace 00 10683e102 3 NONE UNKNOWN
2837 BART COL 050 StateSpace 03 322 3 NONE UNKNOWN
2838 BART COL 060 StateSpace 00 17157000000000001e111 3 NONE UNKNOWN
2839 BART COL 060 StateSpace 03 332 3 NONE UNKNOWN
2840 BART PT 050 StateSpace 00 10683e102 3 GEN UNKNOWN
2841 BART PT 050 StateSpace 02 1 3 GEN UNKNOWN
2842 BART PT 050 StateSpace 03 260 3 GEN UNKNOWN
2843 BART PT 060 StateSpace 00 17157000000000001e111 3 GEN UNKNOWN
2844 BART PT 060 StateSpace 02 1 3 GEN UNKNOWN
2845 BART PT 060 StateSpace 03 270 3 GEN UNKNOWN
2846 DLCflexbar PT 8a StateSpace 00 20593e124 3 NUPN UNKNOWN
2847 DLCflexbar PT 8a StateSpace 02 1 3 NUPN UNKNOWN
2848 DLCflexbar PT 8a StateSpace 03 3040 3 NUPN UNKNOWN
2849 DLCshifumi PT 6a StateSpace 00 44972e156 3 NUPN UNKNOWN
2850 DLCshifumi PT 6a StateSpace 02 1 3 NUPN UNKNOWN
2851 DLCshifumi PT 6a StateSpace 03 2415 3 NUPN UNKNOWN
2852 Dekker PT 200 StateSpace 00 1623e59 3 GEN UNKNOWN
2853 Dekker PT 200 StateSpace 02 1 3 GEN UNKNOWN
2854 Dekker PT 200 StateSpace 03 400 3 GEN UNKNOWN
2855 Diffusion2D PT D05N350 StateSpace 00 4253900000000001e22 3 NONE UNKNOWN
2856 Diffusion2D PT D05N350 StateSpace 02 350 3 NONE UNKNOWN
2857 Diffusion2D PT D05N350 StateSpace 03 350 3 NONE UNKNOWN
2858 Diffusion2D PT D20N150 StateSpace 00 25424000000000002e122 2 NONE UNKNOWN
2859 Diffusion2D PT D20N150 StateSpace 02 150 2 NONE UNKNOWN
2860 Diffusion2D PT D20N150 StateSpace 03 150 2 NONE UNKNOWN
2861 Diffusion2D PT D30N050 StateSpace 00 6451e80 3 NONE UNKNOWN
2862 Diffusion2D PT D30N050 StateSpace 02 50 3 NONE UNKNOWN
2863 Diffusion2D PT D30N050 StateSpace 03 50 3 NONE UNKNOWN
2864 Diffusion2D PT D30N100 StateSpace 00 57465e135 2 NONE UNKNOWN
2865 Diffusion2D PT D30N100 StateSpace 02 100 2 NONE UNKNOWN
2866 Diffusion2D PT D30N100 StateSpace 03 100 2 NONE UNKNOWN
2867 Diffusion2D PT D40N010 StateSpace 00 31162e21 3 NONE UNKNOWN
2868 Diffusion2D PT D40N010 StateSpace 02 10 3 NONE UNKNOWN
2869 Diffusion2D PT D40N010 StateSpace 03 10 3 NONE UNKNOWN
2870 Diffusion2D PT D40N050 StateSpace 00 11273e92 2 NONE UNKNOWN
2871 Diffusion2D PT D40N050 StateSpace 02 50 2 NONE UNKNOWN
2872 Diffusion2D PT D40N050 StateSpace 03 50 2 NONE UNKNOWN
2873 Diffusion2D PT D50N010 StateSpace 00 26757e23 3 NONE UNKNOWN
2874 Diffusion2D PT D50N010 StateSpace 02 10 3 NONE UNKNOWN
2875 Diffusion2D PT D50N010 StateSpace 03 10 3 NONE UNKNOWN
2876 Diffusion2D PT D50N050 StateSpace 00 42203000000000004e89 2 NONE UNKNOWN
2877 Diffusion2D PT D50N050 StateSpace 02 50 2 NONE UNKNOWN
2878 Diffusion2D PT D50N050 StateSpace 03 50 2 NONE UNKNOWN
2879 DoubleExponent PT 003 StateSpace 00 2385100 3 NONE UNKNOWN
2880 DoubleExponent PT 003 StateSpace 02 256 3 NONE UNKNOWN
2881 DoubleExponent PT 003 StateSpace 03 841 3 NONE UNKNOWN
2882 DrinkVendingMachine COL 10 StateSpace 00 11529e14 3 NONE UNKNOWN
2883 DrinkVendingMachine COL 10 StateSpace 03 60 3 NONE UNKNOWN
2884 DrinkVendingMachine COL 16 StateSpace 00 79228e24 2 NONE UNKNOWN
2885 DrinkVendingMachine COL 16 StateSpace 03 96 2 NONE UNKNOWN
2886 DrinkVendingMachine PT 10 StateSpace 00 11529e14 3 NONE UNKNOWN
2887 DrinkVendingMachine PT 10 StateSpace 02 1 3 NONE UNKNOWN
2888 DrinkVendingMachine PT 10 StateSpace 03 60 3 NONE UNKNOWN
2889 GPPP PT C0100N0000001000 StateSpace 00 20293e12 3 NONE UNKNOWN
2890 GPPP PT C0100N0000001000 StateSpace 02 4007 3 NONE UNKNOWN
2891 GPPP PT C0100N0000001000 StateSpace 03 12800 3 NONE UNKNOWN
2892 GPPP PT C1000N0000000010 StateSpace 00 14185000000 3 NONE UNKNOWN
2893 GPPP PT C1000N0000000010 StateSpace 02 7040 3 NONE UNKNOWN
2894 GPPP PT C1000N0000000010 StateSpace 03 30103 3 NONE UNKNOWN
2895 GPPP PT C1000N0000000100 StateSpace 00 11406e11 3 NONE UNKNOWN
2896 GPPP PT C1000N0000000100 StateSpace 02 7400 3 NONE UNKNOWN
2897 GPPP PT C1000N0000000100 StateSpace 03 31003 3 NONE UNKNOWN
2898 HexagonalGrid PT 316 StateSpace 00 14719e86 1 NONE UNKNOWN
2899 HexagonalGrid PT 316 StateSpace 02 12 1 NONE UNKNOWN
2900 HexagonalGrid PT 316 StateSpace 03 372 1 NONE UNKNOWN
2901 HexagonalGrid PT 410 StateSpace 00 52545e166 1 NONE UNKNOWN
2902 HexagonalGrid PT 410 StateSpace 02 6 1 NONE UNKNOWN
2903 HexagonalGrid PT 410 StateSpace 03 486 1 NONE UNKNOWN
2904 JoinFreeModules PT 0200 StateSpace 00 Inf 3 NONE UNKNOWN
2905 JoinFreeModules PT 0200 StateSpace 02 203 3 NONE UNKNOWN
2906 JoinFreeModules PT 0200 StateSpace 03 40601 3 NONE UNKNOWN
2907 JoinFreeModules PT 0500 StateSpace 00 Inf 3 NONE UNKNOWN
2908 JoinFreeModules PT 0500 StateSpace 02 503 3 NONE UNKNOWN
2909 JoinFreeModules PT 0500 StateSpace 03 251500 3 NONE UNKNOWN
2910 JoinFreeModules PT 1000 StateSpace 00 NA 1 NONE UNKNOWN
2911 JoinFreeModules PT 1000 StateSpace 02 1003 1 NONE UNKNOWN
2912 JoinFreeModules PT 1000 StateSpace 03 1003000 1 NONE UNKNOWN
2913 NeoElection COL 5 StateSpace 00 63569e14 3 NONE UNKNOWN
2914 NeoElection COL 5 StateSpace 03 80 3 NONE UNKNOWN
2915 NeoElection PT 5 StateSpace 00 63569e14 3 GEN UNKNOWN
2916 NeoElection PT 5 StateSpace 02 1 3 GEN UNKNOWN
2917 NoC3x3 PT 2A StateSpace 00 7725e25 2 NUPN UNKNOWN
2918 NoC3x3 PT 2A StateSpace 02 1 1 NUPN UNKNOWN
2919 NoC3x3 PT 2A StateSpace 03 66 1 NUPN UNKNOWN
2920 NoC3x3 PT 3A StateSpace 00 23745e25 3 NUPN UNKNOWN
2921 NoC3x3 PT 3A StateSpace 02 1 3 NUPN UNKNOWN
2922 NoC3x3 PT 3A StateSpace 03 66 3 NUPN UNKNOWN
2923 NoC3x3 PT 4A StateSpace 00 7245800000000001e21 1 NUPN UNKNOWN
2924 NoC3x3 PT 4A StateSpace 02 1 1 NUPN UNKNOWN
2925 NoC3x3 PT 4A StateSpace 03 66 1 NUPN UNKNOWN
2926 NoC3x3 PT 8A StateSpace 00 7247999999999999e24 3 NUPN UNKNOWN
2927 NoC3x3 PT 8A StateSpace 02 1 3 NUPN UNKNOWN
2928 NoC3x3 PT 8A StateSpace 03 66 3 NUPN UNKNOWN
2929 PermAdmissibility COL 02 StateSpace 00 32097000000 1 NONE UNKNOWN
2930 PermAdmissibility COL 02 StateSpace 03 18 1 NONE UNKNOWN
2931 Philosophers COL 002000 StateSpace 00 Inf 3 NONE UNKNOWN
2932 Philosophers COL 002000 StateSpace 03 4000 3 NONE UNKNOWN
2933 Philosophers COL 005000 StateSpace 00 Inf 3 NONE UNKNOWN
2934 Philosophers COL 005000 StateSpace 03 10000 3 NONE UNKNOWN
2935 Philosophers COL 010000 StateSpace 00 Inf 3 NONE UNKNOWN
2936 Philosophers COL 010000 StateSpace 03 20000 3 NONE UNKNOWN
2937 Philosophers PT 002000 StateSpace 00 Inf 3 GEN UNKNOWN
2938 Philosophers PT 002000 StateSpace 02 1 3 GEN UNKNOWN
2939 Philosophers PT 002000 StateSpace 03 4000 3 GEN UNKNOWN
2940 Philosophers PT 005000 StateSpace 00 Inf 3 NONE UNKNOWN
2941 Philosophers PT 005000 StateSpace 02 1 3 NONE UNKNOWN
2942 Philosophers PT 005000 StateSpace 03 10000 3 NONE UNKNOWN
2943 Philosophers PT 010000 StateSpace 00 Inf 3 NONE UNKNOWN
2944 Philosophers PT 010000 StateSpace 02 1 3 NONE UNKNOWN
2945 Philosophers PT 010000 StateSpace 03 20000 3 NONE UNKNOWN
2946 PolyORBLF COL S02J04T08 StateSpace 00 3532400000 1 NONE UNKNOWN
2947 PolyORBLF COL S02J04T08 StateSpace 03 69 1 NONE UNKNOWN
2948 PolyORBLF COL S02J04T10 StateSpace 00 82458000000 1 NONE UNKNOWN
2949 PolyORBLF COL S02J04T10 StateSpace 03 75 1 NONE UNKNOWN
2950 PolyORBLF COL S02J06T08 StateSpace 00 6218800000 1 NONE UNKNOWN
2951 PolyORBLF COL S02J06T08 StateSpace 03 71 1 NONE UNKNOWN
2952 PolyORBLF PT S02J04T08 StateSpace 00 3532400000 1 NONE UNKNOWN
2953 PolyORBLF PT S02J04T08 StateSpace 02 10 1 NONE UNKNOWN
2954 PolyORBLF PT S02J04T08 StateSpace 03 69 1 NONE UNKNOWN
2955 PolyORBNT COL S05J30 StateSpace 00 3529300000 1 NONE UNKNOWN
2956 PolyORBNT COL S05J30 StateSpace 03 68 1 NONE UNKNOWN
2957 PolyORBNT COL S05J40 StateSpace 00 11181000000 1 NONE UNKNOWN
2958 PolyORBNT COL S05J40 StateSpace 03 78 1 NONE UNKNOWN
2959 PolyORBNT COL S10J20 StateSpace 00 34694000000 1 NONE UNKNOWN
2960 PolyORBNT COL S10J20 StateSpace 03 68 1 NONE UNKNOWN
2961 RefineWMG PT 100100 StateSpace 00 Inf 3 NONE UNKNOWN
2962 RefineWMG PT 100100 StateSpace 02 100 3 NONE UNKNOWN
2963 RefineWMG PT 100100 StateSpace 03 20012 3 NONE UNKNOWN
2964 RefineWMG PT 100101 StateSpace 00 Inf 3 NONE UNKNOWN
2965 RefineWMG PT 100101 StateSpace 02 101 3 NONE UNKNOWN
2966 RefineWMG PT 100101 StateSpace 03 20212 3 NONE UNKNOWN
2967 SharedMemory COL 000050 StateSpace 00 587e24 3 NONE UNKNOWN
2968 SharedMemory COL 000050 StateSpace 03 101 3 NONE UNKNOWN
2969 SharedMemory COL 000100 StateSpace 00 17013e47 3 NONE UNKNOWN
2970 SharedMemory COL 000100 StateSpace 03 201 3 NONE UNKNOWN
2971 SharedMemory PT 000050 StateSpace 00 587e24 3 GEN UNKNOWN
2972 SharedMemory PT 000050 StateSpace 02 1 3 GEN UNKNOWN
2973 SharedMemory PT 000050 StateSpace 03 101 3 GEN UNKNOWN
2974 SharedMemory PT 000100 StateSpace 00 17013e47 2 GEN UNKNOWN
2975 SharedMemory PT 000100 StateSpace 02 1 2 GEN UNKNOWN
2976 SharedMemory PT 000100 StateSpace 03 201 2 GEN UNKNOWN
2977 SimpleLoadBal PT 20 StateSpace 00 45829e11 1 GEN UNKNOWN
2978 SimpleLoadBal PT 20 StateSpace 02 1 1 GEN UNKNOWN
2979 SimpleLoadBal PT 20 StateSpace 03 47 1 GEN UNKNOWN
2980 Solitaire PT SqrNC5x5 StateSpace 00 16098000 3 GEN UNKNOWN
2981 Solitaire PT SqrNC5x5 StateSpace 02 1 3 GEN UNKNOWN
2982 Solitaire PT SqrNC5x5 StateSpace 03 25 3 GEN UNKNOWN
2983 TokenRing COL 040 StateSpace 00 10114e18 3 NONE UNKNOWN
2984 TokenRing COL 040 StateSpace 03 41 3 NONE UNKNOWN
2985 TokenRing PT 040 StateSpace 00 10114e18 3 GEN UNKNOWN
2986 TokenRing PT 040 StateSpace 02 1 3 GEN UNKNOWN
2987 TokenRing PT 040 StateSpace 03 41 3 GEN UNKNOWN
2988 TokenRing PT 050 StateSpace 00 7684799999999999e12 1 GEN UNKNOWN
2989 TokenRing PT 050 StateSpace 02 1 1 GEN UNKNOWN
2990 TokenRing PT 050 StateSpace 03 51 1 GEN UNKNOWN
2991 TriangularGrid PT 4022 StateSpace 00 6194000000000001e34 3 NONE UNKNOWN
2992 TriangularGrid PT 4022 StateSpace 02 8 3 NONE UNKNOWN
2993 TriangularGrid PT 4022 StateSpace 03 188 3 NONE UNKNOWN
2994 Sudoku COL AN05 StateSpace 00 2 1 NONE UNKNOWN
2995 Sudoku COL AN05 StateSpace 03 3 1 NONE UNKNOWN
2996 Sudoku COL AN06 StateSpace 00 2 1 NONE UNKNOWN
2997 Sudoku COL AN06 StateSpace 03 3 1 NONE UNKNOWN
2998 Sudoku COL AN07 StateSpace 00 2 1 NONE UNKNOWN
2999 Sudoku COL AN07 StateSpace 03 3 1 NONE UNKNOWN
3000 Sudoku COL AN08 StateSpace 00 2 1 NONE UNKNOWN
3001 Sudoku COL AN08 StateSpace 03 3 1 NONE UNKNOWN
3002 Sudoku COL AN09 StateSpace 00 2 1 NONE UNKNOWN
3003 Sudoku COL AN09 StateSpace 03 3 1 NONE UNKNOWN
3004 Sudoku COL AN10 StateSpace 00 2 1 NONE UNKNOWN
3005 Sudoku COL AN10 StateSpace 03 3 1 NONE UNKNOWN
3006 Sudoku COL AN11 StateSpace 00 2 1 NONE UNKNOWN
3007 Sudoku COL AN11 StateSpace 03 3 1 NONE UNKNOWN
3008 Sudoku COL AN12 StateSpace 00 2 1 NONE UNKNOWN
3009 Sudoku COL AN12 StateSpace 03 3 1 NONE UNKNOWN
3010 Sudoku COL AN13 StateSpace 00 2 1 NONE UNKNOWN
3011 Sudoku COL AN13 StateSpace 03 3 1 NONE UNKNOWN
3012 Sudoku COL AN14 StateSpace 00 2 1 NONE UNKNOWN
3013 Sudoku COL AN14 StateSpace 03 3 1 NONE UNKNOWN
3014 Sudoku COL AN15 StateSpace 00 2 1 NONE UNKNOWN
3015 Sudoku COL AN15 StateSpace 03 3 1 NONE UNKNOWN
3016 Sudoku COL AN16 StateSpace 00 2 1 NONE UNKNOWN
3017 Sudoku COL AN16 StateSpace 03 3 1 NONE UNKNOWN
3018 Sudoku COL BN09 StateSpace 00 2 1 NONE UNKNOWN
3019 Sudoku COL BN09 StateSpace 03 4 1 NONE UNKNOWN
3020 Sudoku COL BN16 StateSpace 00 2 1 NONE UNKNOWN
3021 Sudoku COL BN16 StateSpace 03 4 1 NONE UNKNOWN
3022 PhilosophersDyn COL 20 StateSpace 00 4070300 1 NONE UNKNOWN
3023 PhilosophersDyn COL 20 StateSpace 03 30 1 NONE UNKNOWN
3024 PhilosophersDyn PT 20 StateSpace 00 4070300 1 NONE UNKNOWN
3025 PhilosophersDyn PT 20 StateSpace 02 1 1 NONE UNKNOWN
3026 PhilosophersDyn PT 20 StateSpace 03 30 1 NONE UNKNOWN
3027 Solitaire PT EngNC7x7 StateSpace 00 187640000 1 GEN UNKNOWN
3028 Solitaire PT EngNC7x7 StateSpace 02 1 1 GEN UNKNOWN
3029 Solitaire PT EngNC7x7 StateSpace 03 33 1 GEN UNKNOWN
3030 ClientsAndServers PT N0020P3 StateSpace 01 66212e16 3 NONE UNKNOWN
3031 Diffusion2D PT D40N010 StateSpace 01 23868e23 3 NONE UNKNOWN
3032 Diffusion2D PT D50N010 StateSpace 01 20694000000000002e13 3 NONE UNKNOWN
3033 DoubleExponent PT 003 StateSpace 01 2385100 3 NONE UNKNOWN
3034 GPPP PT C0100N0000001000 StateSpace 01 19832e13 3 NONE UNKNOWN
3035 GPPP PT C1000N0000000010 StateSpace 01 119830000000 3 NONE UNKNOWN
3036 GPPP PT C1000N0000000100 StateSpace 01 10253e12 3 NONE UNKNOWN
3037 NQueens PT 10 StateSpace 01 46240000 1 GEN UNKNOWN
3038 Philosophers PT 002000 StateSpace 01 Inf 3 GEN UNKNOWN
3039 PolyORBLF PT S04J04T06 StateSpace 00 13861000 1 NONE UNKNOWN
3040 PolyORBLF PT S04J04T06 StateSpace 01 48889000 1 NONE UNKNOWN
3041 PolyORBLF PT S04J04T06 StateSpace 02 10 1 NONE UNKNOWN
3042 PolyORBLF PT S04J04T06 StateSpace 03 62 1 NONE UNKNOWN
3043 PolyORBNT PT S05J20 StateSpace 00 693820000 1 NONE UNKNOWN
3044 PolyORBNT PT S05J20 StateSpace 02 10 1 NONE UNKNOWN
3045 PolyORBNT PT S05J20 StateSpace 03 58 1 NONE UNKNOWN
3046 SatelliteMemory PT X03000Y0094 StateSpace 01 185670000 1 NONE UNKNOWN
3047 ASLink PT 01b StateSpace 01 73479e11 2 NUPN UNKNOWN
3048 ASLink PT 04a StateSpace 01 27772e19 2 NUPN UNKNOWN
3049 ASLink PT 05a StateSpace 01 16101e24 2 NUPN UNKNOWN
3050 ASLink PT 06a StateSpace 01 9052599999999999e17 2 NUPN UNKNOWN
3051 ASLink PT 07a StateSpace 00 22349000000000002e20 2 NUPN UNKNOWN
3052 ASLink PT 07a StateSpace 01 49784e33 2 NUPN UNKNOWN
3053 ASLink PT 07a StateSpace 02 1 2 NUPN UNKNOWN
3054 ASLink PT 07a StateSpace 03 101 2 NUPN UNKNOWN
3055 ASLink PT 08a StateSpace 00 10706000000000001e25 2 NUPN UNKNOWN
3056 ASLink PT 08a StateSpace 01 26924e38 2 NUPN UNKNOWN
3057 ASLink PT 08a StateSpace 02 1 2 NUPN UNKNOWN
3058 ASLink PT 08a StateSpace 03 114 2 NUPN UNKNOWN
3059 ASLink PT 09a StateSpace 00 51289e41 2 NUPN UNKNOWN
3060 ASLink PT 09a StateSpace 01 14371000000000001e31 2 NUPN UNKNOWN
3061 ASLink PT 09a StateSpace 02 1 2 NUPN UNKNOWN
3062 ASLink PT 09a StateSpace 03 127 2 NUPN UNKNOWN
3063 ASLink PT 10a StateSpace 00 24570999999999998e34 2 NUPN UNKNOWN
3064 ASLink PT 10a StateSpace 01 75898e47 2 NUPN UNKNOWN
3065 ASLink PT 10a StateSpace 02 1 2 NUPN UNKNOWN
3066 ASLink PT 10a StateSpace 03 140 2 NUPN UNKNOWN
3067 AirplaneLD COL 1000 StateSpace 01 152300000000 2 NONE UNKNOWN
3068 AirplaneLD COL 2000 StateSpace 01 1217200000000 2 NONE UNKNOWN
3069 AirplaneLD COL 4000 StateSpace 01 9732800000000 2 NONE UNKNOWN
3070 AirplaneLD PT 1000 StateSpace 01 152300000000 2 GEN UNKNOWN
3071 AirplaneLD PT 2000 StateSpace 01 1217200000000 1 GEN UNKNOWN
3072 AirplaneLD PT 4000 StateSpace 01 9732800000000 1 GEN UNKNOWN
3073 BART COL 002 StateSpace 01 53328 2 NONE UNKNOWN
3074 BART COL 005 StateSpace 01 306630000000 2 NONE UNKNOWN
3075 BART COL 010 StateSpace 01 24576e18 2 NONE UNKNOWN
3076 BART COL 020 StateSpace 01 7893800000000001e28 2 NONE UNKNOWN
3077 BART COL 030 StateSpace 01 19015999999999998e49 2 NONE UNKNOWN
3078 BART COL 040 StateSpace 01 40719e82 2 NONE UNKNOWN
3079 BART COL 050 StateSpace 01 8174200000000002e92 2 NONE UNKNOWN
3080 BART COL 060 StateSpace 01 15753e125 2 NONE UNKNOWN
3081 BART PT 050 StateSpace 01 8174200000000002e92 2 GEN UNKNOWN
3082 BART PT 060 StateSpace 01 15753e125 2 GEN UNKNOWN
3083 BridgeAndVehicles COL V80P20N20 StateSpace 01 26974000000 2 NONE UNKNOWN
3084 BridgeAndVehicles COL V80P50N20 StateSpace 01 26974000000 2 NONE UNKNOWN
3085 BridgeAndVehicles PT V80P20N20 StateSpace 01 26974000000 2 NONE UNKNOWN
3086 BridgeAndVehicles PT V80P50N20 StateSpace 01 26974000000 2 NONE UNKNOWN
3087 BusinessProcesses PT 13 StateSpace 01 10051e23 2 NUPN UNKNOWN
3088 BusinessProcesses PT 14 StateSpace 01 17608e24 2 NUPN UNKNOWN
3089 BusinessProcesses PT 19 StateSpace 01 29309e31 2 NUPN UNKNOWN
3090 ClientsAndServers PT N0050P0 StateSpace 00 53924e21 2 NONE UNKNOWN
3091 ClientsAndServers PT N0050P0 StateSpace 01 88483e22 2 NONE UNKNOWN
3092 ClientsAndServers PT N0050P0 StateSpace 02 400 2 NONE UNKNOWN
3093 ClientsAndServers PT N0050P0 StateSpace 03 1250 2 NONE UNKNOWN
3094 DLCflexbar PT 8a StateSpace 01 78563e127 2 NUPN UNKNOWN
3095 DLCshifumi PT 6a StateSpace 01 13815000000000003e148 2 NUPN UNKNOWN
3096 Dekker PT 200 StateSpace 01 16312e62 1 GEN UNKNOWN
3097 Diffusion2D PT D05N150 StateSpace 01 22501000000000002e15 2 NONE UNKNOWN
3098 Diffusion2D PT D05N200 StateSpace 01 14707000000000001e18 2 NONE UNKNOWN
3099 Diffusion2D PT D05N250 StateSpace 01 24062e32 2 NONE UNKNOWN
3100 Diffusion2D PT D05N300 StateSpace 01 16072e34 2 NONE UNKNOWN
3101 Diffusion2D PT D05N350 StateSpace 01 57325e35 2 NONE UNKNOWN
3102 Diffusion2D PT D20N150 StateSpace 01 20589000000000002e125 1 NONE UNKNOWN
3103 Diffusion2D PT D30N050 StateSpace 01 23262e82 2 NONE UNKNOWN
3104 Diffusion2D PT D30N100 StateSpace 01 39369e138 1 NONE UNKNOWN
3105 Diffusion2D PT D30N150 StateSpace 00 31330000000000003e169 1 NONE UNKNOWN
3106 Diffusion2D PT D30N150 StateSpace 01 30661000000000007e172 1 NONE UNKNOWN
3107 Diffusion2D PT D30N150 StateSpace 02 150 1 NONE UNKNOWN
3108 Diffusion2D PT D30N150 StateSpace 03 150 1 NONE UNKNOWN
3109 Diffusion2D PT D40N050 StateSpace 01 42126e94 1 NONE UNKNOWN
3110 Diffusion2D PT D40N100 StateSpace 00 57356000000000004e147 1 NONE UNKNOWN
3111 Diffusion2D PT D40N100 StateSpace 01 4160400000000001e151 1 NONE UNKNOWN
3112 Diffusion2D PT D40N100 StateSpace 02 100 1 NONE UNKNOWN
3113 Diffusion2D PT D40N100 StateSpace 03 100 1 NONE UNKNOWN
3114 Diffusion2D PT D40N150 StateSpace 00 63692e216 1 NONE UNKNOWN
3115 Diffusion2D PT D40N150 StateSpace 01 6731900000000001e208 1 NONE UNKNOWN
3116 Diffusion2D PT D40N150 StateSpace 02 150 1 NONE UNKNOWN
3117 Diffusion2D PT D40N150 StateSpace 03 150 1 NONE UNKNOWN
3118 Diffusion2D PT D50N050 StateSpace 01 16063e104 1 NONE UNKNOWN
3119 Diffusion2D PT D50N100 StateSpace 00 47067000000000014e166 1 NONE UNKNOWN
3120 Diffusion2D PT D50N100 StateSpace 01 35140000000000004e169 1 NONE UNKNOWN
3121 Diffusion2D PT D50N100 StateSpace 02 100 1 NONE UNKNOWN
3122 Diffusion2D PT D50N100 StateSpace 03 100 1 NONE UNKNOWN
3123 Diffusion2D PT D50N150 StateSpace 00 68837e244 1 NONE UNKNOWN
3124 Diffusion2D PT D50N150 StateSpace 01 75635e247 1 NONE UNKNOWN
3125 Diffusion2D PT D50N150 StateSpace 02 150 1 NONE UNKNOWN
3126 Diffusion2D PT D50N150 StateSpace 03 150 1 NONE UNKNOWN
3127 DrinkVendingMachine COL 10 StateSpace 01 34501e17 2 NONE UNKNOWN
3128 DrinkVendingMachine COL 16 StateSpace 01 24832999999999997e17 1 NONE UNKNOWN
3129 DrinkVendingMachine PT 10 StateSpace 01 34501e17 2 NONE UNKNOWN
3130 ERK PT 010000 StateSpace 00 1.3907999999999999e+22 2 NONE UNKNOWN
3131 ERK PT 010000 StateSpace 01 15293e19 2 NONE UNKNOWN
3132 ERK PT 010000 StateSpace 02 10000 2 NONE UNKNOWN
3133 ERK PT 010000 StateSpace 03 50000 2 NONE UNKNOWN
3134 ERK PT 100000 StateSpace 00 13891e24 2 NONE UNKNOWN
3135 ERK PT 100000 StateSpace 01 15279e25 2 NONE UNKNOWN
3136 ERK PT 100000 StateSpace 02 100000 2 NONE UNKNOWN
3137 ERK PT 100000 StateSpace 03 500000 2 NONE UNKNOWN
3138 FMS PT 01000 StateSpace 00 21577e30 1 NONE UNKNOWN
3139 FMS PT 01000 StateSpace 01 37196e31 1 NONE UNKNOWN
3140 FMS PT 01000 StateSpace 02 1000 1 NONE UNKNOWN
3141 FMS PT 01000 StateSpace 03 3006 1 NONE UNKNOWN
3142 FMS PT 02000 StateSpace 00 17456000000000002e22 1 NONE UNKNOWN
3143 FMS PT 02000 StateSpace 01 30174e35 1 NONE UNKNOWN
3144 FMS PT 02000 StateSpace 02 2000 1 NONE UNKNOWN
3145 FMS PT 02000 StateSpace 03 6006 1 NONE UNKNOWN
3146 FMS PT 05000 StateSpace 00 25817e39 1 NONE UNKNOWN
3147 FMS PT 05000 StateSpace 01 4.4700000000000004e+44 1 NONE UNKNOWN
3148 FMS PT 05000 StateSpace 02 5000 1 NONE UNKNOWN
3149 FMS PT 05000 StateSpace 03 15006 1 NONE UNKNOWN
3150 FMS PT 10000 StateSpace 00 21096e43 1 NONE UNKNOWN
3151 FMS PT 10000 StateSpace 01 36547e44 1 NONE UNKNOWN
3152 FMS PT 10000 StateSpace 02 10000 1 NONE UNKNOWN
3153 FMS PT 10000 StateSpace 03 30006 1 NONE UNKNOWN
3154 FMS PT 20000 StateSpace 00 17261e47 1 NONE UNKNOWN
3155 FMS PT 20000 StateSpace 01 2991e49 1 NONE UNKNOWN
3156 FMS PT 20000 StateSpace 02 20000 1 NONE UNKNOWN
3157 FMS PT 20000 StateSpace 03 60006 1 NONE UNKNOWN
3158 FMS PT 50000 StateSpace 00 25701e52 1 NONE UNKNOWN
3159 FMS PT 50000 StateSpace 01 44544e53 1 NONE UNKNOWN
3160 FMS PT 50000 StateSpace 02 50000 1 NONE UNKNOWN
3161 FMS PT 50000 StateSpace 03 150010 1 NONE UNKNOWN
3162 GPPP PT C0010N1000000000 StateSpace 00 176890000000 2 NONE UNKNOWN
3163 GPPP PT C0010N1000000000 StateSpace 01 1642100000000 2 NONE UNKNOWN
3164 GPPP PT C0010N1000000000 StateSpace 02 4000000000 2 NONE UNKNOWN
3165 GPPP PT C0010N1000000000 StateSpace 03 9000000000 2 NONE UNKNOWN
3166 GPPP PT C0100N0000010000 StateSpace 00 20293e12 2 NONE UNKNOWN
3167 GPPP PT C0100N0000010000 StateSpace 01 19832e13 2 NONE UNKNOWN
3168 GPPP PT C0100N0000010000 StateSpace 02 40007 2 NONE UNKNOWN
3169 GPPP PT C0100N0000010000 StateSpace 03 93800 2 NONE UNKNOWN
3170 GPPP PT C0100N0000100000 StateSpace 00 20293e12 2 NONE UNKNOWN
3171 GPPP PT C0100N0000100000 StateSpace 01 19832e13 2 NONE UNKNOWN
3172 GPPP PT C0100N0000100000 StateSpace 02 400010 2 NONE UNKNOWN
3173 GPPP PT C0100N0000100000 StateSpace 03 903800 2 NONE UNKNOWN
3174 HouseConstruction PT 00100 StateSpace 01 2569e22 2 NONE UNKNOWN
3175 HouseConstruction PT 00200 StateSpace 00 25048e25 2 NONE UNKNOWN
3176 HouseConstruction PT 00200 StateSpace 01 42781e26 2 NONE UNKNOWN
3177 HouseConstruction PT 00200 StateSpace 02 200 2 NONE UNKNOWN
3178 HouseConstruction PT 00200 StateSpace 03 1200 2 NONE UNKNOWN
3179 HouseConstruction PT 00500 StateSpace 00 26712e32 2 NONE UNKNOWN
3180 HouseConstruction PT 00500 StateSpace 01 47066000000000005e21 2 NONE UNKNOWN
3181 HouseConstruction PT 00500 StateSpace 02 500 2 NONE UNKNOWN
3182 HouseConstruction PT 00500 StateSpace 03 3000 2 NONE UNKNOWN
3183 HouseConstruction PT 01000 StateSpace 00 63035e37 2 NONE UNKNOWN
3184 HouseConstruction PT 01000 StateSpace 01 11225e39 2 NONE UNKNOWN
3185 HouseConstruction PT 01000 StateSpace 02 1000 2 NONE UNKNOWN
3186 HouseConstruction PT 01000 StateSpace 03 6000 2 NONE UNKNOWN
3187 HouseConstruction PT 02000 StateSpace 00 15673e43 2 NONE UNKNOWN
3188 HouseConstruction PT 02000 StateSpace 01 28060000000000003e32 2 NONE UNKNOWN
3189 HouseConstruction PT 02000 StateSpace 02 2000 2 NONE UNKNOWN
3190 HouseConstruction PT 02000 StateSpace 03 12000 2 NONE UNKNOWN
3191 HouseConstruction PT 04000 StateSpace 00 40011000000000004e36 2 NONE UNKNOWN
3192 HouseConstruction PT 04000 StateSpace 01 7182600000000001e38 2 NONE UNKNOWN
3193 HouseConstruction PT 04000 StateSpace 02 4000 2 NONE UNKNOWN
3194 HouseConstruction PT 04000 StateSpace 03 24000 2 NONE UNKNOWN
3195 HouseConstruction PT 08000 StateSpace 00 1035e55 2 NONE UNKNOWN
3196 HouseConstruction PT 08000 StateSpace 01 18606e55 2 NONE UNKNOWN
3197 HouseConstruction PT 08000 StateSpace 02 8000 2 NONE UNKNOWN
3198 HouseConstruction PT 08000 StateSpace 03 48000 2 NONE UNKNOWN
3199 HouseConstruction PT 16000 StateSpace 00 26953e59 2 NONE UNKNOWN
3200 HouseConstruction PT 16000 StateSpace 01 48483e60 2 NONE UNKNOWN
3201 HouseConstruction PT 16000 StateSpace 02 16000 2 NONE UNKNOWN
3202 HouseConstruction PT 16000 StateSpace 03 96000 2 NONE UNKNOWN
3203 HouseConstruction PT 32000 StateSpace 00 70422e64 2 NONE UNKNOWN
3204 HouseConstruction PT 32000 StateSpace 01 12672e66 2 NONE UNKNOWN
3205 HouseConstruction PT 32000 StateSpace 02 32000 2 NONE UNKNOWN
3206 HouseConstruction PT 32000 StateSpace 03 192000 2 NONE UNKNOWN
3207 JoinFreeModules PT 0200 StateSpace 01 Inf 2 NONE UNKNOWN
3208 JoinFreeModules PT 0500 StateSpace 01 Inf 2 NONE UNKNOWN
3209 Kanban PT 02000 StateSpace 00 28758999999999997e17 2 NONE UNKNOWN
3210 Kanban PT 02000 StateSpace 01 45935e30 2 NONE UNKNOWN
3211 Kanban PT 02000 StateSpace 02 2000 2 NONE UNKNOWN
3212 Kanban PT 02000 StateSpace 03 8000 2 NONE UNKNOWN
3213 Kanban PT 05000 StateSpace 00 6811600000000001e22 2 NONE UNKNOWN
3214 Kanban PT 05000 StateSpace 01 10890999999999999e23 2 NONE UNKNOWN
3215 Kanban PT 05000 StateSpace 02 5000 2 NONE UNKNOWN
3216 Kanban PT 05000 StateSpace 03 20000 2 NONE UNKNOWN
3217 Kanban PT 10000 StateSpace 00 13919000000000002e25 2 NONE UNKNOWN
3218 Kanban PT 10000 StateSpace 01 22263999999999998e26 2 NONE UNKNOWN
3219 Kanban PT 10000 StateSpace 02 10000 2 NONE UNKNOWN
3220 Kanban PT 10000 StateSpace 03 40000 2 NONE UNKNOWN
3221 Kanban PT 20000 StateSpace 00 28476000000000003e28 2 NONE UNKNOWN
3222 Kanban PT 20000 StateSpace 01 45553e41 2 NONE UNKNOWN
3223 Kanban PT 20000 StateSpace 02 20000 2 NONE UNKNOWN
3224 Kanban PT 20000 StateSpace 03 80000 2 NONE UNKNOWN
3225 Kanban PT 50000 StateSpace 00 67847e44 2 NONE UNKNOWN
3226 Kanban PT 50000 StateSpace 01 10855e46 2 NONE UNKNOWN
3227 Kanban PT 50000 StateSpace 02 50000 2 NONE UNKNOWN
3228 Kanban PT 50000 StateSpace 03 200000 2 NONE UNKNOWN
3229 LamportFastMutEx COL 7 StateSpace 00 23326e11 1 NONE UNKNOWN
3230 LamportFastMutEx COL 7 StateSpace 01 42639e12 1 NONE UNKNOWN
3231 LamportFastMutEx COL 7 StateSpace 03 58 1 NONE UNKNOWN
3232 LamportFastMutEx PT 7 StateSpace 00 23326e11 2 GEN UNKNOWN
3233 LamportFastMutEx PT 7 StateSpace 01 42639e12 2 GEN UNKNOWN
3234 LamportFastMutEx PT 7 StateSpace 02 1 2 GEN UNKNOWN
3235 LamportFastMutEx PT 7 StateSpace 03 58 2 GEN UNKNOWN
3236 MAPK PT 01280 StateSpace 00 22526e32 1 NONE UNKNOWN
3237 MAPK PT 01280 StateSpace 01 6693600000000001e22 1 NONE UNKNOWN
3238 MAPK PT 01280 StateSpace 02 1280 1 NONE UNKNOWN
3239 MAPK PT 01280 StateSpace 03 5760 1 NONE UNKNOWN
3240 MAPK PT 02560 StateSpace 00 71112e36 1 NONE UNKNOWN
3241 MAPK PT 02560 StateSpace 01 21232e38 1 NONE UNKNOWN
3242 MAPK PT 02560 StateSpace 02 2560 1 NONE UNKNOWN
3243 MAPK PT 02560 StateSpace 03 11520 1 NONE UNKNOWN
3244 MAPK PT 05120 StateSpace 00 2287e42 1 NONE UNKNOWN
3245 MAPK PT 05120 StateSpace 01 6844700000000001e31 1 NONE UNKNOWN
3246 MAPK PT 05120 StateSpace 02 5120 1 NONE UNKNOWN
3247 MAPK PT 05120 StateSpace 03 23040 1 NONE UNKNOWN
3248 MAPK PT 10240 StateSpace 00 7424400000000001e34 1 NONE UNKNOWN
3249 MAPK PT 10240 StateSpace 01 22246e47 1 NONE UNKNOWN
3250 MAPK PT 10240 StateSpace 02 10240 1 NONE UNKNOWN
3251 MAPK PT 10240 StateSpace 03 46080 1 NONE UNKNOWN
3252 NeighborGrid PT d4n3m2c23 StateSpace 01 29451000000000003e52 1 NONE UNKNOWN
3253 NeighborGrid PT d5n4m1t35 StateSpace 00 Inf 1 NONE UNKNOWN
3254 NeighborGrid PT d5n4m1t35 StateSpace 01 Inf 1 NONE UNKNOWN
3255 NeighborGrid PT d5n4m1t35 StateSpace 02 1024 1 NONE UNKNOWN
3256 NeighborGrid PT d5n4m1t35 StateSpace 03 1024 1 NONE UNKNOWN
3257 NeoElection COL 5 StateSpace 01 64783e15 2 NONE UNKNOWN
3258 NeoElection PT 5 StateSpace 01 64783e15 2 GEN UNKNOWN
3259 NeoElection PT 5 StateSpace 03 80 2 GEN UNKNOWN
3260 NoC3x3 PT 3A StateSpace 01 11193e27 2 NUPN UNKNOWN
3261 NoC3x3 PT 8A StateSpace 01 70411e38 2 NUPN UNKNOWN
3262 Peterson COL 5 StateSpace 00 136560000000 1 NONE UNKNOWN
3263 Peterson COL 5 StateSpace 01 819370000000 1 NONE UNKNOWN
3264 Peterson COL 5 StateSpace 03 17 1 NONE UNKNOWN
3265 Peterson PT 5 StateSpace 00 136560000000 2 GEN UNKNOWN
3266 Peterson PT 5 StateSpace 01 819370000000 2 GEN UNKNOWN
3267 Peterson PT 5 StateSpace 02 1 2 GEN UNKNOWN
3268 Peterson PT 5 StateSpace 03 17 2 GEN UNKNOWN
3269 Philosophers COL 002000 StateSpace 01 Inf 2 NONE UNKNOWN
3270 Philosophers COL 005000 StateSpace 01 Inf 2 NONE UNKNOWN
3271 Philosophers COL 010000 StateSpace 01 Inf 2 NONE UNKNOWN
3272 Philosophers PT 005000 StateSpace 01 Inf 2 NONE UNKNOWN
3273 Philosophers PT 010000 StateSpace 01 Inf 2 NONE UNKNOWN
3274 RefineWMG PT 100100 StateSpace 01 Inf 2 NONE UNKNOWN
3275 RefineWMG PT 100101 StateSpace 01 Inf 2 NONE UNKNOWN
3276 RobotManipulation PT 00200 StateSpace 00 16154e14 2 NONE UNKNOWN
3277 RobotManipulation PT 00200 StateSpace 01 17414e15 2 NONE UNKNOWN
3278 RobotManipulation PT 00200 StateSpace 02 401 2 NONE UNKNOWN
3279 RobotManipulation PT 00200 StateSpace 03 2002 2 NONE UNKNOWN
3280 RobotManipulation PT 00500 StateSpace 00 57643e17 2 NONE UNKNOWN
3281 RobotManipulation PT 00500 StateSpace 01 62893e18 2 NONE UNKNOWN
3282 RobotManipulation PT 00500 StateSpace 02 1001 2 NONE UNKNOWN
3283 RobotManipulation PT 00500 StateSpace 03 5002 2 NONE UNKNOWN
3284 RobotManipulation PT 01000 StateSpace 00 2886e21 2 NONE UNKNOWN
3285 RobotManipulation PT 01000 StateSpace 01 31616e21 2 NONE UNKNOWN
3286 RobotManipulation PT 01000 StateSpace 02 2001 2 NONE UNKNOWN
3287 RobotManipulation PT 01000 StateSpace 03 10002 2 NONE UNKNOWN
3288 RobotManipulation PT 02000 StateSpace 00 14610999999999998e11 2 NONE UNKNOWN
3289 RobotManipulation PT 02000 StateSpace 01 1604e25 2 NONE UNKNOWN
3290 RobotManipulation PT 02000 StateSpace 02 4001 2 NONE UNKNOWN
3291 RobotManipulation PT 02000 StateSpace 03 20002 2 NONE UNKNOWN
3292 RobotManipulation PT 05000 StateSpace 00 5536300000000001e15 2 NONE UNKNOWN
3293 RobotManipulation PT 05000 StateSpace 01 6085e28 2 NONE UNKNOWN
3294 RobotManipulation PT 05000 StateSpace 02 10001 2 NONE UNKNOWN
3295 RobotManipulation PT 05000 StateSpace 03 50002 2 NONE UNKNOWN
3296 RobotManipulation PT 10000 StateSpace 00 28281999999999995e17 2 NONE UNKNOWN
3297 RobotManipulation PT 10000 StateSpace 01 31098000000000003e18 2 NONE UNKNOWN
3298 RobotManipulation PT 10000 StateSpace 02 20001 2 NONE UNKNOWN
3299 RobotManipulation PT 10000 StateSpace 03 100000 2 NONE UNKNOWN
3300 RwMutex PT r2000w0010 StateSpace 00 Inf 2 GEN UNKNOWN
3301 RwMutex PT r2000w0010 StateSpace 01 Inf 2 GEN UNKNOWN
3302 RwMutex PT r2000w0010 StateSpace 02 1 2 GEN UNKNOWN
3303 RwMutex PT r2000w0010 StateSpace 03 4010 2 GEN UNKNOWN
3304 SharedMemory COL 000050 StateSpace 01 29741e24 2 NONE UNKNOWN
3305 SharedMemory COL 000100 StateSpace 01 17126000000000001e37 2 NONE UNKNOWN
3306 SharedMemory COL 000200 StateSpace 00 35241e95 2 NONE UNKNOWN
3307 SharedMemory COL 000200 StateSpace 01 7071600000000001e86 2 NONE UNKNOWN
3308 SharedMemory COL 000200 StateSpace 03 401 2 NONE UNKNOWN
3309 SharedMemory PT 000050 StateSpace 01 29741e24 2 GEN UNKNOWN
3310 SharedMemory PT 000100 StateSpace 01 17126000000000001e37 1 GEN UNKNOWN
3311 SharedMemory PT 000200 StateSpace 00 35241e95 1 GEN UNKNOWN
3312 SharedMemory PT 000200 StateSpace 01 7071600000000001e86 1 GEN UNKNOWN
3313 SharedMemory PT 000200 StateSpace 02 1 1 GEN UNKNOWN
3314 SharedMemory PT 000200 StateSpace 03 401 1 GEN UNKNOWN
3315 SmallOperatingSystem PT MT2048DC0512 StateSpace 00 103580000000000 2 NONE UNKNOWN
3316 SmallOperatingSystem PT MT2048DC0512 StateSpace 01 826080000000000 2 NONE UNKNOWN
3317 SmallOperatingSystem PT MT2048DC0512 StateSpace 02 2048 2 NONE UNKNOWN
3318 SmallOperatingSystem PT MT2048DC0512 StateSpace 03 5632 2 NONE UNKNOWN
3319 SmallOperatingSystem PT MT2048DC1024 StateSpace 00 245740000000000 2 NONE UNKNOWN
3320 SmallOperatingSystem PT MT2048DC1024 StateSpace 01 19611e11 2 NONE UNKNOWN
3321 SmallOperatingSystem PT MT2048DC1024 StateSpace 02 2048 2 NONE UNKNOWN
3322 SmallOperatingSystem PT MT2048DC1024 StateSpace 03 7168 2 NONE UNKNOWN
3323 SmallOperatingSystem PT MT4096DC1024 StateSpace 00 32992e11 2 NONE UNKNOWN
3324 SmallOperatingSystem PT MT4096DC1024 StateSpace 01 26353e12 2 NONE UNKNOWN
3325 SmallOperatingSystem PT MT4096DC1024 StateSpace 02 4096 2 NONE UNKNOWN
3326 SmallOperatingSystem PT MT4096DC1024 StateSpace 03 11264 2 NONE UNKNOWN
3327 SmallOperatingSystem PT MT4096DC2048 StateSpace 00 78349e11 2 NONE UNKNOWN
3328 SmallOperatingSystem PT MT4096DC2048 StateSpace 01 62603e12 2 NONE UNKNOWN
3329 SmallOperatingSystem PT MT4096DC2048 StateSpace 02 4096 2 NONE UNKNOWN
3330 SmallOperatingSystem PT MT4096DC2048 StateSpace 03 14336 2 NONE UNKNOWN
3331 SmallOperatingSystem PT MT8192DC2048 StateSpace 00 10533e13 2 NONE UNKNOWN
3332 SmallOperatingSystem PT MT8192DC2048 StateSpace 01 84198e13 2 NONE UNKNOWN
3333 SmallOperatingSystem PT MT8192DC2048 StateSpace 02 8192 2 NONE UNKNOWN
3334 SmallOperatingSystem PT MT8192DC2048 StateSpace 03 22528 2 NONE UNKNOWN
3335 SmallOperatingSystem PT MT8192DC4096 StateSpace 00 25026e13 2 NONE UNKNOWN
3336 SmallOperatingSystem PT MT8192DC4096 StateSpace 01 20008e14 2 NONE UNKNOWN
3337 SmallOperatingSystem PT MT8192DC4096 StateSpace 02 8192 2 NONE UNKNOWN
3338 SmallOperatingSystem PT MT8192DC4096 StateSpace 03 28672 2 NONE UNKNOWN
3339 Solitaire PT SqrNC5x5 StateSpace 01 213960000 2 GEN UNKNOWN
3340 TokenRing COL 040 StateSpace 01 20228e19 2 NONE UNKNOWN
3341 TokenRing PT 040 StateSpace 01 20228e19 2 GEN UNKNOWN
3342 TriangularGrid PT 4022 StateSpace 01 35074e47 2 NONE UNKNOWN
3343 VehicularWifi COL none StateSpace 00 Inf 1 NONE UNKNOWN
3344 VehicularWifi COL none StateSpace 01 Inf 1 NONE UNKNOWN
3345 VehicularWifi COL none StateSpace 03 Inf 1 NONE UNKNOWN
3346 ShieldIIPs PT 020A StateSpace 00 85049e69 2 NUPN UNKNOWN
3347 ShieldIIPs PT 020A StateSpace 01 53263e71 2 NUPN UNKNOWN
3348 ShieldIIPs PT 020A StateSpace 02 1 2 NUPN UNKNOWN
3349 ShieldIIPs PT 020A StateSpace 03 181 2 NUPN UNKNOWN
3350 ShieldIIPs PT 050A StateSpace 00 25549000000000005e168 2 NUPN UNKNOWN
3351 ShieldIIPs PT 050A StateSpace 01 3965900000000001e171 2 NUPN UNKNOWN
3352 ShieldIIPs PT 050A StateSpace 02 1 2 NUPN UNKNOWN
3353 ShieldIIPs PT 050A StateSpace 03 451 2 NUPN UNKNOWN
3354 ShieldPPPs PT 010A StateSpace 00 19276e41 2 NUPN UNKNOWN
3355 ShieldPPPs PT 010A StateSpace 01 76014e42 2 NUPN UNKNOWN
3356 ShieldPPPs PT 010A StateSpace 02 1 2 NUPN UNKNOWN
3357 ShieldPPPs PT 010A StateSpace 03 111 2 NUPN UNKNOWN
3358 ShieldPPPs PT 030A StateSpace 00 18974000000000003e119 2 NUPN UNKNOWN
3359 ShieldPPPs PT 030A StateSpace 01 22221e133 2 NUPN UNKNOWN
3360 ShieldPPPs PT 030A StateSpace 02 1 2 NUPN UNKNOWN
3361 ShieldPPPs PT 030A StateSpace 03 331 2 NUPN UNKNOWN
3362 ShieldRVs PT 100B StateSpace 00 Inf 1 NUPN UNKNOWN
3363 ShieldRVs PT 100B StateSpace 02 1 1 NUPN UNKNOWN
3364 ShieldRVs PT 100B StateSpace 03 401 1 NUPN UNKNOWN