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 02 1 3 NUPN UNKNOWN
3 ARMCacheCoherence PT none StateSpace 03 12 3 NUPN UNKNOWN
4 AirplaneLD PT 0010 StateSpace 00 43463 3 GEN UNKNOWN
5 AirplaneLD PT 0010 StateSpace 02 1 3 GEN UNKNOWN
6 AirplaneLD PT 0010 StateSpace 03 38 3 GEN UNKNOWN
7 AirplaneLD PT 0020 StateSpace 00 308300 3 GEN UNKNOWN
8 AirplaneLD PT 0020 StateSpace 02 1 3 GEN UNKNOWN
9 AirplaneLD PT 0020 StateSpace 03 68 3 GEN UNKNOWN
10 AirplaneLD PT 0050 StateSpace 00 4471200 3 GEN UNKNOWN
11 AirplaneLD PT 0050 StateSpace 02 1 3 GEN UNKNOWN
12 AirplaneLD PT 0050 StateSpace 03 158 3 GEN UNKNOWN
13 AirplaneLD PT 0100 StateSpace 00 34877000 3 GEN UNKNOWN
14 AirplaneLD PT 0100 StateSpace 02 1 3 GEN UNKNOWN
15 AirplaneLD PT 0100 StateSpace 03 308 3 GEN UNKNOWN
16 AirplaneLD PT 0200 StateSpace 00 275490000 3 GEN UNKNOWN
17 AirplaneLD PT 0200 StateSpace 02 1 3 GEN UNKNOWN
18 AirplaneLD PT 0200 StateSpace 03 608 3 GEN UNKNOWN
19 Angiogenesis PT 01 StateSpace 00 110 3 GEN UNKNOWN
20 Angiogenesis PT 01 StateSpace 02 1 3 GEN UNKNOWN
21 Angiogenesis PT 01 StateSpace 03 8 3 GEN UNKNOWN
22 Angiogenesis PT 05 StateSpace 00 42735000 3 NONE UNKNOWN
23 Angiogenesis PT 05 StateSpace 02 5 3 NONE UNKNOWN
24 Angiogenesis PT 05 StateSpace 03 40 3 NONE UNKNOWN
25 Angiogenesis PT 10 StateSpace 00 822650000000 3 NONE UNKNOWN
26 Angiogenesis PT 10 StateSpace 02 10 3 NONE UNKNOWN
27 Angiogenesis PT 10 StateSpace 03 80 3 NONE UNKNOWN
28 Angiogenesis PT 15 StateSpace 00 11155e11 3 NONE UNKNOWN
29 Angiogenesis PT 15 StateSpace 02 15 3 NONE UNKNOWN
30 Angiogenesis PT 15 StateSpace 03 120 3 NONE UNKNOWN
31 AutoFlight PT 01a StateSpace 00 253 3 NUPN UNKNOWN
32 AutoFlight PT 01a StateSpace 02 1 3 NUPN UNKNOWN
33 AutoFlight PT 01a StateSpace 03 9 3 NUPN UNKNOWN
34 AutoFlight PT 01b StateSpace 00 48882000 3 NUPN UNKNOWN
35 AutoFlight PT 01b StateSpace 02 1 3 NUPN UNKNOWN
36 AutoFlight PT 01b StateSpace 03 9 3 NUPN UNKNOWN
37 AutoFlight PT 02a StateSpace 00 6949 3 NUPN UNKNOWN
38 AutoFlight PT 02a StateSpace 02 1 3 NUPN UNKNOWN
39 AutoFlight PT 02a StateSpace 03 15 3 NUPN UNKNOWN
40 AutoFlight PT 02b StateSpace 00 16155000000000 3 NUPN UNKNOWN
41 AutoFlight PT 02b StateSpace 02 1 3 NUPN UNKNOWN
42 AutoFlight PT 02b StateSpace 03 15 3 NUPN UNKNOWN
43 AutoFlight PT 03a StateSpace 00 157680 3 NUPN UNKNOWN
44 AutoFlight PT 03a StateSpace 02 1 3 NUPN UNKNOWN
45 AutoFlight PT 03a StateSpace 03 21 3 NUPN UNKNOWN
46 AutoFlight PT 03b StateSpace 00 40962e14 3 NUPN UNKNOWN
47 AutoFlight PT 03b StateSpace 02 1 3 NUPN UNKNOWN
48 AutoFlight PT 03b StateSpace 03 21 3 NUPN UNKNOWN
49 AutoFlight PT 04a StateSpace 00 3332000 3 NUPN UNKNOWN
50 AutoFlight PT 04a StateSpace 02 1 3 NUPN UNKNOWN
51 AutoFlight PT 04a StateSpace 03 27 3 NUPN UNKNOWN
52 AutoFlight PT 04b StateSpace 00 90465e19 3 NUPN UNKNOWN
53 AutoFlight PT 04b StateSpace 02 1 3 NUPN UNKNOWN
54 AutoFlight PT 04b StateSpace 03 27 3 NUPN UNKNOWN
55 AutoFlight PT 05a StateSpace 00 68180000 3 NUPN UNKNOWN
56 AutoFlight PT 05a StateSpace 02 1 3 NUPN UNKNOWN
57 AutoFlight PT 05a StateSpace 03 33 3 NUPN UNKNOWN
58 AutoFlight PT 06a StateSpace 00 1371900000 3 NUPN UNKNOWN
59 AutoFlight PT 06a StateSpace 02 1 3 NUPN UNKNOWN
60 AutoFlight PT 06a StateSpace 03 39 3 NUPN UNKNOWN
61 BART PT 002 StateSpace 00 17424 3 GEN UNKNOWN
62 BART PT 002 StateSpace 02 1 3 GEN UNKNOWN
63 BART PT 002 StateSpace 03 212 3 GEN UNKNOWN
64 BART PT 005 StateSpace 00 40075000000 3 GEN UNKNOWN
65 BART PT 005 StateSpace 02 1 3 GEN UNKNOWN
66 BART PT 005 StateSpace 03 215 3 GEN UNKNOWN
67 BridgeAndVehicles PT V04P05N02 StateSpace 00 2874 3 NONE UNKNOWN
68 BridgeAndVehicles PT V04P05N02 StateSpace 02 5 3 NONE UNKNOWN
69 BridgeAndVehicles PT V04P05N02 StateSpace 03 17 3 NONE UNKNOWN
70 BridgeAndVehicles PT V10P10N10 StateSpace 00 259560 3 NONE UNKNOWN
71 BridgeAndVehicles PT V10P10N10 StateSpace 02 10 3 NONE UNKNOWN
72 BridgeAndVehicles PT V10P10N10 StateSpace 03 34 3 NONE UNKNOWN
73 BridgeAndVehicles PT V20P10N10 StateSpace 00 6732600 3 NONE UNKNOWN
74 BridgeAndVehicles PT V20P10N10 StateSpace 02 20 3 NONE UNKNOWN
75 BridgeAndVehicles PT V20P10N10 StateSpace 03 54 3 NONE UNKNOWN
76 BridgeAndVehicles PT V20P20N10 StateSpace 00 6732600 3 NONE UNKNOWN
77 BridgeAndVehicles PT V20P20N10 StateSpace 02 20 3 NONE UNKNOWN
78 BridgeAndVehicles PT V20P20N10 StateSpace 03 64 3 NONE UNKNOWN
79 CSRepetitions PT 02 StateSpace 00 7424 3 NONE UNKNOWN
80 CSRepetitions PT 02 StateSpace 02 2 3 NONE UNKNOWN
81 CSRepetitions PT 02 StateSpace 03 8 3 NONE UNKNOWN
82 CSRepetitions PT 03 StateSpace 00 134070000 3 NONE UNKNOWN
83 CSRepetitions PT 03 StateSpace 02 3 3 NONE UNKNOWN
84 CSRepetitions PT 03 StateSpace 03 15 3 NONE UNKNOWN
85 CSRepetitions PT 04 StateSpace 00 30948000000000 3 NONE UNKNOWN
86 CSRepetitions PT 04 StateSpace 02 4 3 NONE UNKNOWN
87 CSRepetitions PT 04 StateSpace 03 24 3 NONE UNKNOWN
88 CircadianClock PT 000001 StateSpace 00 128 3 GEN UNKNOWN
89 CircadianClock PT 000001 StateSpace 02 1 3 GEN UNKNOWN
90 CircadianClock PT 000001 StateSpace 03 7 3 GEN UNKNOWN
91 CircadianClock PT 000010 StateSpace 00 644200 3 NONE UNKNOWN
92 CircadianClock PT 000010 StateSpace 02 10 3 NONE UNKNOWN
93 CircadianClock PT 000010 StateSpace 03 52 3 NONE UNKNOWN
94 CircadianClock PT 000100 StateSpace 00 42040000000 3 NONE UNKNOWN
95 CircadianClock PT 000100 StateSpace 02 100 3 NONE UNKNOWN
96 CircadianClock PT 000100 StateSpace 03 502 3 NONE UNKNOWN
97 CircularTrains PT 012 StateSpace 00 195 3 NONE UNKNOWN
98 CircularTrains PT 012 StateSpace 02 2 3 NONE UNKNOWN
99 CircularTrains PT 012 StateSpace 03 12 3 NONE UNKNOWN
100 CircularTrains PT 024 StateSpace 00 86515 3 NONE UNKNOWN
101 CircularTrains PT 024 StateSpace 02 2 3 NONE UNKNOWN
102 CircularTrains PT 024 StateSpace 03 24 3 NONE UNKNOWN
103 CircularTrains PT 048 StateSpace 00 23973000000 3 NONE UNKNOWN
104 CircularTrains PT 048 StateSpace 02 2 3 NONE UNKNOWN
105 CircularTrains PT 048 StateSpace 03 48 3 NONE UNKNOWN
106 CircularTrains PT 096 StateSpace 00 25913e17 3 NONE UNKNOWN
107 CircularTrains PT 096 StateSpace 02 2 3 NONE UNKNOWN
108 CircularTrains PT 096 StateSpace 03 96 3 NONE UNKNOWN
109 CircularTrains PT 192 StateSpace 00 42702000000000003e27 3 NONE UNKNOWN
110 CircularTrains PT 192 StateSpace 02 2 3 NONE UNKNOWN
111 CircularTrains PT 192 StateSpace 03 192 3 NONE UNKNOWN
112 ClientsAndServers PT N0001P0 StateSpace 00 27576 3 NONE UNKNOWN
113 ClientsAndServers PT N0001P0 StateSpace 02 8 3 NONE UNKNOWN
114 ClientsAndServers PT N0001P0 StateSpace 03 25 3 NONE UNKNOWN
115 ClientsAndServers PT N0002P0 StateSpace 00 7081600 3 NONE UNKNOWN
116 ClientsAndServers PT N0002P0 StateSpace 02 16 3 NONE UNKNOWN
117 ClientsAndServers PT N0002P0 StateSpace 03 50 3 NONE UNKNOWN
118 ClientsAndServers PT N0002P1 StateSpace 00 12462000 3 NONE UNKNOWN
119 ClientsAndServers PT N0002P1 StateSpace 02 16 3 NONE UNKNOWN
120 ClientsAndServers PT N0002P1 StateSpace 03 55 3 NONE UNKNOWN
121 ClientsAndServers PT N0005P0 StateSpace 00 125510000000 3 NONE UNKNOWN
122 ClientsAndServers PT N0005P0 StateSpace 02 40 3 NONE UNKNOWN
123 ClientsAndServers PT N0005P0 StateSpace 03 125 3 NONE UNKNOWN
124 ClientsAndServers PT N0005P1 StateSpace 00 211710000000 3 NONE UNKNOWN
125 ClientsAndServers PT N0005P1 StateSpace 02 40 3 NONE UNKNOWN
126 ClientsAndServers PT N0005P1 StateSpace 03 130 3 NONE UNKNOWN
127 CloudDeployment PT 2a StateSpace 00 4807 3 NUPN UNKNOWN
128 CloudDeployment PT 2a StateSpace 02 1 3 NUPN UNKNOWN
129 CloudDeployment PT 2a StateSpace 03 9 3 NUPN UNKNOWN
130 CloudDeployment PT 3a StateSpace 00 190100 3 NUPN UNKNOWN
131 CloudDeployment PT 3a StateSpace 02 1 3 NUPN UNKNOWN
132 CloudDeployment PT 3a StateSpace 03 13 3 NUPN UNKNOWN
133 CloudDeployment PT 4a StateSpace 00 7091000 3 NUPN UNKNOWN
134 CloudDeployment PT 4a StateSpace 02 1 3 NUPN UNKNOWN
135 CloudDeployment PT 4a StateSpace 03 17 3 NUPN UNKNOWN
136 CloudDeployment PT 5a StateSpace 00 248830000 3 NUPN UNKNOWN
137 CloudDeployment PT 5a StateSpace 02 1 3 NUPN UNKNOWN
138 CloudDeployment PT 5a StateSpace 03 21 3 NUPN UNKNOWN
139 CloudDeployment PT 6a StateSpace 00 8304700000 3 NUPN UNKNOWN
140 CloudDeployment PT 6a StateSpace 02 1 3 NUPN UNKNOWN
141 CloudDeployment PT 6a StateSpace 03 25 3 NUPN UNKNOWN
142 CloudDeployment PT 7a StateSpace 00 266480000000 3 NUPN UNKNOWN
143 CloudDeployment PT 7a StateSpace 02 1 3 NUPN UNKNOWN
144 CloudDeployment PT 7a StateSpace 03 29 3 NUPN UNKNOWN
145 DES PT 00a StateSpace 00 24197000000 3 NUPN UNKNOWN
146 DES PT 00a StateSpace 02 1 3 NUPN UNKNOWN
147 DES PT 00a StateSpace 03 47 3 NUPN UNKNOWN
148 DES PT 00b StateSpace 00 24601e15 3 NUPN UNKNOWN
149 DES PT 00b StateSpace 02 1 3 NUPN UNKNOWN
150 DES PT 00b StateSpace 03 47 3 NUPN UNKNOWN
151 DES PT 01a StateSpace 00 108580000 3 NUPN UNKNOWN
152 DES PT 01a StateSpace 02 1 3 NUPN UNKNOWN
153 DES PT 01a StateSpace 03 48 3 NUPN UNKNOWN
154 DES PT 01b StateSpace 00 20127e13 3 NUPN UNKNOWN
155 DES PT 01b StateSpace 02 1 3 NUPN UNKNOWN
156 DES PT 01b StateSpace 03 51 3 NUPN UNKNOWN
157 DES PT 02a StateSpace 00 4953200000 3 NUPN UNKNOWN
158 DES PT 02a StateSpace 02 1 3 NUPN UNKNOWN
159 DES PT 02a StateSpace 03 51 3 NUPN UNKNOWN
160 DES PT 02b StateSpace 00 71021e14 3 NUPN UNKNOWN
161 DES PT 02b StateSpace 02 1 3 NUPN UNKNOWN
162 DES PT 02b StateSpace 03 51 3 NUPN UNKNOWN
163 DES PT 05a StateSpace 00 231000000000 3 NUPN UNKNOWN
164 DES PT 05a StateSpace 02 1 3 NUPN UNKNOWN
165 DES PT 05a StateSpace 03 51 3 NUPN UNKNOWN
166 DES PT 05b StateSpace 00 2614e17 3 NUPN UNKNOWN
167 DES PT 05b StateSpace 02 1 3 NUPN UNKNOWN
168 DES PT 05b StateSpace 03 51 3 NUPN UNKNOWN
169 DES PT 10b StateSpace 00 1.6887000000000001e+21 3 NUPN UNKNOWN
170 DES PT 10b StateSpace 02 1 3 NUPN UNKNOWN
171 DES PT 10b StateSpace 03 51 3 NUPN UNKNOWN
172 DLCround PT 03a StateSpace 00 24010000 3 NUPN UNKNOWN
173 DLCround PT 03a StateSpace 02 1 3 NUPN UNKNOWN
174 DLCround PT 03a StateSpace 03 52 3 NUPN UNKNOWN
175 DLCround PT 04a StateSpace 00 240100000 3 NUPN UNKNOWN
176 DLCround PT 04a StateSpace 02 1 3 NUPN UNKNOWN
177 DLCround PT 04a StateSpace 03 69 3 NUPN UNKNOWN
178 DLCround PT 05a StateSpace 00 2401000000 3 NUPN UNKNOWN
179 DLCround PT 05a StateSpace 02 1 3 NUPN UNKNOWN
180 DLCround PT 05a StateSpace 03 88 3 NUPN UNKNOWN
181 DLCround PT 06a StateSpace 00 24010000000 3 NUPN UNKNOWN
182 DLCround PT 06a StateSpace 02 1 3 NUPN UNKNOWN
183 DLCround PT 06a StateSpace 03 109 3 NUPN UNKNOWN
184 DLCround PT 07a StateSpace 00 240100000000 3 NUPN UNKNOWN
185 DLCround PT 07a StateSpace 02 1 3 NUPN UNKNOWN
186 DLCround PT 07a StateSpace 03 132 3 NUPN UNKNOWN
187 DLCround PT 08a StateSpace 00 2401000000000 3 NUPN UNKNOWN
188 DLCround PT 08a StateSpace 02 1 3 NUPN UNKNOWN
189 DLCround PT 08a StateSpace 03 157 3 NUPN UNKNOWN
190 DLCround PT 09a StateSpace 00 24010000000000 3 NUPN UNKNOWN
191 DLCround PT 09a StateSpace 02 1 3 NUPN UNKNOWN
192 DLCround PT 09a StateSpace 03 184 3 NUPN UNKNOWN
193 DLCround PT 10a StateSpace 00 240100000000000 3 NUPN UNKNOWN
194 DLCround PT 10a StateSpace 02 1 3 NUPN UNKNOWN
195 DLCround PT 10a StateSpace 03 213 3 NUPN UNKNOWN
196 DLCround PT 11a StateSpace 00 2401e12 3 NUPN UNKNOWN
197 DLCround PT 11a StateSpace 02 1 3 NUPN UNKNOWN
198 DLCround PT 11a StateSpace 03 244 3 NUPN UNKNOWN
199 DLCround PT 12a StateSpace 00 2401e13 3 NUPN UNKNOWN
200 DLCround PT 12a StateSpace 02 1 3 NUPN UNKNOWN
201 DLCround PT 12a StateSpace 03 277 3 NUPN UNKNOWN
202 DLCshifumi PT 2a StateSpace 00 474760000000000 3 NUPN UNKNOWN
203 DLCshifumi PT 2a StateSpace 02 1 3 NUPN UNKNOWN
204 DLCshifumi PT 2a StateSpace 03 79 3 NUPN UNKNOWN
205 DLCshifumi PT 3a StateSpace 00 9095399999999999e20 3 NUPN UNKNOWN
206 DLCshifumi PT 3a StateSpace 02 1 3 NUPN UNKNOWN
207 DLCshifumi PT 3a StateSpace 03 282 3 NUPN UNKNOWN
208 DLCshifumi PT 4a StateSpace 00 24119000000000002e51 3 NUPN UNKNOWN
209 DLCshifumi PT 4a StateSpace 02 1 3 NUPN UNKNOWN
210 DLCshifumi PT 4a StateSpace 03 691 3 NUPN UNKNOWN
211 DNAwalker PT 01track12Block1 StateSpace 00 3795 3 NONE UNKNOWN
212 DNAwalker PT 01track12Block1 StateSpace 02 2 3 NONE UNKNOWN
213 DNAwalker PT 01track12Block1 StateSpace 03 13 3 NONE UNKNOWN
214 DNAwalker PT 02track12Block2 StateSpace 00 5459 3 NONE UNKNOWN
215 DNAwalker PT 02track12Block2 StateSpace 02 2 3 NONE UNKNOWN
216 DNAwalker PT 02track12Block2 StateSpace 03 13 3 NONE UNKNOWN
217 DNAwalker PT 03track12BlockBoth StateSpace 00 5248 3 NONE UNKNOWN
218 DNAwalker PT 03track12BlockBoth StateSpace 02 2 3 NONE UNKNOWN
219 DNAwalker PT 03track12BlockBoth StateSpace 03 13 3 NONE UNKNOWN
220 DNAwalker PT 04track28LL StateSpace 00 432880000 3 NONE UNKNOWN
221 DNAwalker PT 04track28LL StateSpace 02 2 3 NONE UNKNOWN
222 DNAwalker PT 04track28LL StateSpace 03 29 3 NONE UNKNOWN
223 DNAwalker PT 05track28LR StateSpace 00 435340000 3 NONE UNKNOWN
224 DNAwalker PT 05track28LR StateSpace 02 2 3 NONE UNKNOWN
225 DNAwalker PT 05track28LR StateSpace 03 29 3 NONE UNKNOWN
226 DNAwalker PT 06track28RL StateSpace 00 435340000 3 NONE UNKNOWN
227 DNAwalker PT 06track28RL StateSpace 02 2 3 NONE UNKNOWN
228 DNAwalker PT 06track28RL StateSpace 03 29 3 NONE UNKNOWN
229 DNAwalker PT 07track28RR StateSpace 00 432880000 3 NONE UNKNOWN
230 DNAwalker PT 07track28RR StateSpace 02 2 3 NONE UNKNOWN
231 DNAwalker PT 07track28RR StateSpace 03 29 3 NONE UNKNOWN
232 DNAwalker PT 08ringLL StateSpace 00 27951000 3 NONE UNKNOWN
233 DNAwalker PT 08ringLL StateSpace 02 2 3 NONE UNKNOWN
234 DNAwalker PT 08ringLL StateSpace 03 22 3 NONE UNKNOWN
235 DNAwalker PT 09ringLR StateSpace 00 28210000 3 NONE UNKNOWN
236 DNAwalker PT 09ringLR StateSpace 02 2 3 NONE UNKNOWN
237 DNAwalker PT 09ringLR StateSpace 03 22 3 NONE UNKNOWN
238 DNAwalker PT 10ringRL StateSpace 00 27951000 3 NONE UNKNOWN
239 DNAwalker PT 10ringRL StateSpace 02 2 3 NONE UNKNOWN
240 DNAwalker PT 10ringRL StateSpace 03 22 3 NONE UNKNOWN
241 DNAwalker PT 11ringRR StateSpace 00 28210000 3 NONE UNKNOWN
242 DNAwalker PT 11ringRR StateSpace 02 2 3 NONE UNKNOWN
243 DNAwalker PT 11ringRR StateSpace 03 22 3 NONE UNKNOWN
244 DNAwalker PT 12ringLLLarge StateSpace 00 1885400000 3 NONE UNKNOWN
245 DNAwalker PT 12ringLLLarge StateSpace 02 2 3 NONE UNKNOWN
246 DNAwalker PT 12ringLLLarge StateSpace 03 28 3 NONE UNKNOWN
247 DNAwalker PT 13ringRLLarge StateSpace 00 1885400000 3 NONE UNKNOWN
248 DNAwalker PT 13ringRLLarge StateSpace 02 2 3 NONE UNKNOWN
249 DNAwalker PT 13ringRLLarge StateSpace 03 28 3 NONE UNKNOWN
250 DNAwalker PT 14ringLRLarge StateSpace 00 1860900000 3 NONE UNKNOWN
251 DNAwalker PT 14ringLRLarge StateSpace 02 2 3 NONE UNKNOWN
252 DNAwalker PT 14ringLRLarge StateSpace 03 28 3 NONE UNKNOWN
253 DNAwalker PT 15ringRRLarge StateSpace 00 1860900000 3 NONE UNKNOWN
254 DNAwalker PT 15ringRRLarge StateSpace 02 2 3 NONE UNKNOWN
255 DNAwalker PT 15ringRRLarge StateSpace 03 28 3 NONE UNKNOWN
256 DNAwalker PT 16redondantChoiceR StateSpace 00 800320000000 3 NONE UNKNOWN
257 DNAwalker PT 16redondantChoiceR StateSpace 02 2 3 NONE UNKNOWN
258 DNAwalker PT 16redondantChoiceR StateSpace 03 34 3 NONE UNKNOWN
259 DNAwalker PT 17redondantChoiceL StateSpace 00 800320000000 3 NONE UNKNOWN
260 DNAwalker PT 17redondantChoiceL StateSpace 02 2 3 NONE UNKNOWN
261 DNAwalker PT 17redondantChoiceL StateSpace 03 34 3 NONE UNKNOWN
262 DatabaseWithMutex PT 02 StateSpace 00 153 3 GEN UNKNOWN
263 DatabaseWithMutex PT 02 StateSpace 02 1 3 GEN UNKNOWN
264 DatabaseWithMutex PT 02 StateSpace 03 6 3 GEN UNKNOWN
265 DatabaseWithMutex PT 04 StateSpace 00 4717900000 3 GEN UNKNOWN
266 DatabaseWithMutex PT 04 StateSpace 02 1 3 GEN UNKNOWN
267 DatabaseWithMutex PT 04 StateSpace 03 20 3 GEN UNKNOWN
268 Dekker PT 010 StateSpace 00 6144 3 GEN UNKNOWN
269 Dekker PT 010 StateSpace 02 1 3 GEN UNKNOWN
270 Dekker PT 010 StateSpace 03 20 3 GEN UNKNOWN
271 Dekker PT 015 StateSpace 00 278530 3 GEN UNKNOWN
272 Dekker PT 015 StateSpace 02 1 3 GEN UNKNOWN
273 Dekker PT 015 StateSpace 03 30 3 GEN UNKNOWN
274 Diffusion2D PT D05N010 StateSpace 00 131130000 3 NONE UNKNOWN
275 Diffusion2D PT D05N010 StateSpace 02 10 3 NONE UNKNOWN
276 Diffusion2D PT D05N010 StateSpace 03 10 3 NONE UNKNOWN
277 Diffusion2D PT D05N050 StateSpace 00 1753e16 3 NONE UNKNOWN
278 Diffusion2D PT D05N050 StateSpace 02 50 3 NONE UNKNOWN
279 Diffusion2D PT D05N050 StateSpace 03 50 3 NONE UNKNOWN
280 Diffusion2D PT D10N010 StateSpace 00 42634000000000 3 NONE UNKNOWN
281 Diffusion2D PT D10N010 StateSpace 02 10 3 NONE UNKNOWN
282 Diffusion2D PT D10N010 StateSpace 03 10 3 NONE UNKNOWN
283 Diffusion2D PT D10N050 StateSpace 00 13419e36 3 NONE UNKNOWN
284 Diffusion2D PT D10N050 StateSpace 02 50 3 NONE UNKNOWN
285 Diffusion2D PT D10N050 StateSpace 03 50 3 NONE UNKNOWN
286 Diffusion2D PT D20N010 StateSpace 00 32308e15 3 NONE UNKNOWN
287 Diffusion2D PT D20N010 StateSpace 02 10 3 NONE UNKNOWN
288 Diffusion2D PT D20N010 StateSpace 03 10 3 NONE UNKNOWN
289 Diffusion2D PT D30N010 StateSpace 00 101e21 3 NONE UNKNOWN
290 Diffusion2D PT D30N010 StateSpace 02 10 3 NONE UNKNOWN
291 Diffusion2D PT D30N010 StateSpace 03 10 3 NONE UNKNOWN
292 Diffusion2D PT D40N010 StateSpace 00 31162e21 3 NONE UNKNOWN
293 Diffusion2D PT D40N010 StateSpace 02 10 3 NONE UNKNOWN
294 Diffusion2D PT D40N010 StateSpace 03 10 3 NONE UNKNOWN
295 Diffusion2D PT D50N010 StateSpace 00 26757e23 3 NONE UNKNOWN
296 Diffusion2D PT D50N010 StateSpace 02 10 3 NONE UNKNOWN
297 Diffusion2D PT D50N010 StateSpace 03 10 3 NONE UNKNOWN
298 DrinkVendingMachine PT 02 StateSpace 00 1024 3 NONE UNKNOWN
299 DrinkVendingMachine PT 02 StateSpace 02 1 3 NONE UNKNOWN
300 DrinkVendingMachine PT 02 StateSpace 03 12 3 NONE UNKNOWN
301 DrinkVendingMachine PT 10 StateSpace 00 11529e14 3 NONE UNKNOWN
302 DrinkVendingMachine PT 10 StateSpace 02 1 3 NONE UNKNOWN
303 DrinkVendingMachine PT 10 StateSpace 03 60 3 NONE UNKNOWN
304 ERK PT 000001 StateSpace 00 13 3 GEN UNKNOWN
305 ERK PT 000001 StateSpace 02 1 3 GEN UNKNOWN
306 ERK PT 000001 StateSpace 03 5 3 GEN UNKNOWN
307 ERK PT 000010 StateSpace 00 47047 3 NONE UNKNOWN
308 ERK PT 000010 StateSpace 02 10 3 NONE UNKNOWN
309 ERK PT 000010 StateSpace 03 50 3 NONE UNKNOWN
310 ERK PT 000100 StateSpace 00 15914000000 3 NONE UNKNOWN
311 ERK PT 000100 StateSpace 02 100 3 NONE UNKNOWN
312 ERK PT 000100 StateSpace 03 500 3 NONE UNKNOWN
313 EnergyBus PT none StateSpace 00 2131800000000 3 NUPN UNKNOWN
314 EnergyBus PT none StateSpace 02 1 3 NUPN UNKNOWN
315 EnergyBus PT none StateSpace 03 22 3 NUPN UNKNOWN
316 Eratosthenes PT 010 StateSpace 00 32 3 NONE UNKNOWN
317 Eratosthenes PT 010 StateSpace 02 1 3 NONE UNKNOWN
318 Eratosthenes PT 010 StateSpace 03 9 3 NONE UNKNOWN
319 Eratosthenes PT 020 StateSpace 00 2048 3 NONE UNKNOWN
320 Eratosthenes PT 020 StateSpace 02 1 3 NONE UNKNOWN
321 Eratosthenes PT 020 StateSpace 03 19 3 NONE UNKNOWN
322 Eratosthenes PT 050 StateSpace 00 17180000000 3 NONE UNKNOWN
323 Eratosthenes PT 050 StateSpace 02 1 3 NONE UNKNOWN
324 Eratosthenes PT 050 StateSpace 03 49 3 NONE UNKNOWN
325 Eratosthenes PT 100 StateSpace 00 18889e18 3 NONE UNKNOWN
326 Eratosthenes PT 100 StateSpace 02 1 3 NONE UNKNOWN
327 Eratosthenes PT 100 StateSpace 03 99 3 NONE UNKNOWN
328 Eratosthenes PT 200 StateSpace 00 11418000000000002e30 3 NONE UNKNOWN
329 Eratosthenes PT 200 StateSpace 02 1 3 NONE UNKNOWN
330 Eratosthenes PT 200 StateSpace 03 199 3 NONE UNKNOWN
331 Eratosthenes PT 500 StateSpace 00 41316e117 3 NONE UNKNOWN
332 Eratosthenes PT 500 StateSpace 02 1 3 NONE UNKNOWN
333 Eratosthenes PT 500 StateSpace 03 499 3 NONE UNKNOWN
334 FMS PT 002 StateSpace 00 3444 3 NONE UNKNOWN
335 FMS PT 002 StateSpace 02 3 3 NONE UNKNOWN
336 FMS PT 002 StateSpace 03 12 3 NONE UNKNOWN
337 FMS PT 005 StateSpace 00 2895000 3 NONE UNKNOWN
338 FMS PT 005 StateSpace 02 5 3 NONE UNKNOWN
339 FMS PT 005 StateSpace 03 21 3 NONE UNKNOWN
340 FMS PT 010 StateSpace 00 2501400000 3 NONE UNKNOWN
341 FMS PT 010 StateSpace 02 10 3 NONE UNKNOWN
342 FMS PT 010 StateSpace 03 36 3 NONE UNKNOWN
343 FMS PT 020 StateSpace 00 6029200000000 3 NONE UNKNOWN
344 FMS PT 020 StateSpace 02 20 3 NONE UNKNOWN
345 FMS PT 020 StateSpace 03 66 3 NONE UNKNOWN
346 FMS PT 050 StateSpace 00 42403e13 3 NONE UNKNOWN
347 FMS PT 050 StateSpace 02 50 3 NONE UNKNOWN
348 FMS PT 050 StateSpace 03 156 3 NONE UNKNOWN
349 FMS PT 100 StateSpace 00 27031e17 3 NONE UNKNOWN
350 FMS PT 100 StateSpace 02 100 3 NONE UNKNOWN
351 FMS PT 100 StateSpace 03 306 3 NONE UNKNOWN
352 FMS PT 200 StateSpace 00 19536e21 3 NONE UNKNOWN
353 FMS PT 200 StateSpace 02 200 3 NONE UNKNOWN
354 FMS PT 200 StateSpace 03 606 3 NONE UNKNOWN
355 FlexibleBarrier PT 04a StateSpace 00 20737 3 NUPN UNKNOWN
356 FlexibleBarrier PT 04a StateSpace 02 1 3 NUPN UNKNOWN
357 FlexibleBarrier PT 04a StateSpace 03 6 3 NUPN UNKNOWN
358 FlexibleBarrier PT 04b StateSpace 00 791370000 3 NUPN UNKNOWN
359 FlexibleBarrier PT 04b StateSpace 02 1 3 NUPN UNKNOWN
360 FlexibleBarrier PT 04b StateSpace 03 6 3 NUPN UNKNOWN
361 FlexibleBarrier PT 06a StateSpace 00 2986000 3 NUPN UNKNOWN
362 FlexibleBarrier PT 06a StateSpace 02 1 3 NUPN UNKNOWN
363 FlexibleBarrier PT 06a StateSpace 03 8 3 NUPN UNKNOWN
364 FlexibleBarrier PT 08a StateSpace 00 429980000 3 NUPN UNKNOWN
365 FlexibleBarrier PT 08a StateSpace 02 1 3 NUPN UNKNOWN
366 FlexibleBarrier PT 08a StateSpace 03 10 3 NUPN UNKNOWN
367 FlexibleBarrier PT 10a StateSpace 00 61917000000 3 NUPN UNKNOWN
368 FlexibleBarrier PT 10a StateSpace 02 1 3 NUPN UNKNOWN
369 FlexibleBarrier PT 10a StateSpace 03 12 3 NUPN UNKNOWN
370 FlexibleBarrier PT 12a StateSpace 00 8916100000000 3 NUPN UNKNOWN
371 FlexibleBarrier PT 12a StateSpace 02 1 3 NUPN UNKNOWN
372 FlexibleBarrier PT 12a StateSpace 03 14 3 NUPN UNKNOWN
373 FlexibleBarrier PT 14a StateSpace 00 12839e11 3 NUPN UNKNOWN
374 FlexibleBarrier PT 14a StateSpace 02 1 3 NUPN UNKNOWN
375 FlexibleBarrier PT 14a StateSpace 03 16 3 NUPN UNKNOWN
376 FlexibleBarrier PT 16a StateSpace 00 18488e13 3 NUPN UNKNOWN
377 FlexibleBarrier PT 16a StateSpace 02 1 3 NUPN UNKNOWN
378 FlexibleBarrier PT 16a StateSpace 03 18 3 NUPN UNKNOWN
379 FlexibleBarrier PT 18a StateSpace 00 26623e15 3 NUPN UNKNOWN
380 FlexibleBarrier PT 18a StateSpace 02 1 3 NUPN UNKNOWN
381 FlexibleBarrier PT 18a StateSpace 03 20 3 NUPN UNKNOWN
382 GPPP PT C0001N0000000001 StateSpace 00 10380 3 NONE UNKNOWN
383 GPPP PT C0001N0000000001 StateSpace 02 11 3 NONE UNKNOWN
384 GPPP PT C0001N0000000001 StateSpace 03 41 3 NONE UNKNOWN
385 GPPP PT C0001N0000000010 StateSpace 00 1655300 3 NONE UNKNOWN
386 GPPP PT C0001N0000000010 StateSpace 02 47 3 NONE UNKNOWN
387 GPPP PT C0001N0000000010 StateSpace 03 133 3 NONE UNKNOWN
388 GPPP PT C0001N0000000100 StateSpace 00 145480000 3 NONE UNKNOWN
389 GPPP PT C0001N0000000100 StateSpace 02 407 3 NONE UNKNOWN
390 GPPP PT C0001N0000000100 StateSpace 03 1033 3 NONE UNKNOWN
391 GPPP PT C0010N0000000010 StateSpace 00 23537000000 3 NONE UNKNOWN
392 GPPP PT C0010N0000000010 StateSpace 02 110 3 NONE UNKNOWN
393 GPPP PT C0010N0000000010 StateSpace 03 404 3 NONE UNKNOWN
394 GPPP PT C0010N0000000100 StateSpace 00 176890000000 3 NONE UNKNOWN
395 GPPP PT C0010N0000000100 StateSpace 02 407 3 NONE UNKNOWN
396 GPPP PT C0010N0000000100 StateSpace 03 1280 3 NONE UNKNOWN
397 GPPP PT C0100N0000000010 StateSpace 00 14185000000 3 NONE UNKNOWN
398 GPPP PT C0100N0000000010 StateSpace 02 740 3 NONE UNKNOWN
399 GPPP PT C0100N0000000010 StateSpace 03 3103 3 NONE UNKNOWN
400 GPPP PT C1000N0000000010 StateSpace 00 14185000000 3 NONE UNKNOWN
401 GPPP PT C1000N0000000010 StateSpace 02 7040 3 NONE UNKNOWN
402 GPPP PT C1000N0000000010 StateSpace 03 30103 3 NONE UNKNOWN
403 GlobalResAllocation PT 03 StateSpace 00 6320 3 NONE UNKNOWN
404 GlobalResAllocation PT 03 StateSpace 02 4 3 NONE UNKNOWN
405 GlobalResAllocation PT 03 StateSpace 03 18 3 NONE UNKNOWN
406 GlobalResAllocation PT 05 StateSpace 00 106600000 3 NONE UNKNOWN
407 GlobalResAllocation PT 05 StateSpace 02 4 3 NONE UNKNOWN
408 GlobalResAllocation PT 05 StateSpace 03 30 3 NONE UNKNOWN
409 HexagonalGrid PT 110 StateSpace 00 40193 3 NONE UNKNOWN
410 HexagonalGrid PT 110 StateSpace 02 6 3 NONE UNKNOWN
411 HexagonalGrid PT 110 StateSpace 03 18 3 NONE UNKNOWN
412 HexagonalGrid PT 126 StateSpace 00 2664200 3 NONE UNKNOWN
413 HexagonalGrid PT 126 StateSpace 02 18 3 NONE UNKNOWN
414 HexagonalGrid PT 126 StateSpace 03 30 3 NONE UNKNOWN
415 HouseConstruction PT 002 StateSpace 00 1501 3 NONE UNKNOWN
416 HouseConstruction PT 002 StateSpace 02 2 3 NONE UNKNOWN
417 HouseConstruction PT 002 StateSpace 03 12 3 NONE UNKNOWN
418 HouseConstruction PT 005 StateSpace 00 1188000 3 NONE UNKNOWN
419 HouseConstruction PT 005 StateSpace 02 5 3 NONE UNKNOWN
420 HouseConstruction PT 005 StateSpace 03 30 3 NONE UNKNOWN
421 HouseConstruction PT 010 StateSpace 00 1663600000 3 NONE UNKNOWN
422 HouseConstruction PT 010 StateSpace 02 10 3 NONE UNKNOWN
423 HouseConstruction PT 010 StateSpace 03 60 3 NONE UNKNOWN
424 HouseConstruction PT 020 StateSpace 00 13666000000000 3 NONE UNKNOWN
425 HouseConstruction PT 020 StateSpace 02 20 3 NONE UNKNOWN
426 HouseConstruction PT 020 StateSpace 03 120 3 NONE UNKNOWN
427 HypertorusGrid PT d2k1p8b00 StateSpace 00 87552 3 NONE UNKNOWN
428 HypertorusGrid PT d2k1p8b00 StateSpace 02 32 3 NONE UNKNOWN
429 HypertorusGrid PT d2k1p8b00 StateSpace 03 36 3 NONE UNKNOWN
430 HypertorusGrid PT d2k2p1b00 StateSpace 00 51737000000 3 NONE UNKNOWN
431 HypertorusGrid PT d2k2p1b00 StateSpace 02 4 3 NONE UNKNOWN
432 HypertorusGrid PT d2k2p1b00 StateSpace 03 32 3 NONE UNKNOWN
433 IBM319 PT none StateSpace 00 2482 3 GEN UNKNOWN
434 IBM319 PT none StateSpace 02 1 3 GEN UNKNOWN
435 IBM319 PT none StateSpace 03 7 3 GEN UNKNOWN
436 IBM5964 PT none StateSpace 00 15546 3 NONE UNKNOWN
437 IBM5964 PT none StateSpace 02 5 3 NONE UNKNOWN
438 IBM5964 PT none StateSpace 03 17 3 NONE UNKNOWN
439 IBM703 PT none StateSpace 00 8370 3 GEN UNKNOWN
440 IBM703 PT none StateSpace 02 1 3 GEN UNKNOWN
441 IBM703 PT none StateSpace 03 3 3 GEN UNKNOWN
442 IBMB2S565S3960 PT none StateSpace 00 15511e12 3 NONE UNKNOWN
443 IBMB2S565S3960 PT none StateSpace 02 7 3 NONE UNKNOWN
444 IBMB2S565S3960 PT none StateSpace 03 60 3 NONE UNKNOWN
445 IOTPpurchase PT C01M01P01D01 StateSpace 00 204 3 GEN UNKNOWN
446 IOTPpurchase PT C01M01P01D01 StateSpace 02 1 3 GEN UNKNOWN
447 IOTPpurchase PT C01M01P01D01 StateSpace 03 22 3 GEN UNKNOWN
448 IOTPpurchase PT C03M03P03D03 StateSpace 00 354180 3 NONE UNKNOWN
449 IOTPpurchase PT C03M03P03D03 StateSpace 02 3 3 NONE UNKNOWN
450 IOTPpurchase PT C03M03P03D03 StateSpace 03 40 3 NONE UNKNOWN
451 IOTPpurchase PT C05M04P03D02 StateSpace 00 17406000 3 NONE UNKNOWN
452 IOTPpurchase PT C05M04P03D02 StateSpace 02 5 3 NONE UNKNOWN
453 IOTPpurchase PT C05M04P03D02 StateSpace 03 51 3 NONE UNKNOWN
454 IOTPpurchase PT C12M10P15D17 StateSpace 00 92677000000000 3 NONE UNKNOWN
455 IOTPpurchase PT C12M10P15D17 StateSpace 02 17 3 NONE UNKNOWN
456 IOTPpurchase PT C12M10P15D17 StateSpace 03 125 3 NONE UNKNOWN
457 JoinFreeModules PT 0003 StateSpace 00 35937 3 NONE UNKNOWN
458 JoinFreeModules PT 0003 StateSpace 02 5 3 NONE UNKNOWN
459 JoinFreeModules PT 0003 StateSpace 03 19 3 NONE UNKNOWN
460 JoinFreeModules PT 0004 StateSpace 00 14776000 3 NONE UNKNOWN
461 JoinFreeModules PT 0004 StateSpace 02 6 3 NONE UNKNOWN
462 JoinFreeModules PT 0004 StateSpace 03 29 3 NONE UNKNOWN
463 JoinFreeModules PT 0005 StateSpace 00 11593000000 3 NONE UNKNOWN
464 JoinFreeModules PT 0005 StateSpace 02 7 3 NONE UNKNOWN
465 JoinFreeModules PT 0005 StateSpace 03 41 3 NONE UNKNOWN
466 JoinFreeModules PT 0010 StateSpace 00 15902e29 3 NONE UNKNOWN
467 JoinFreeModules PT 0010 StateSpace 02 13 3 NONE UNKNOWN
468 JoinFreeModules PT 0010 StateSpace 03 131 3 NONE UNKNOWN
469 Kanban PT 0005 StateSpace 00 2546400 3 NONE UNKNOWN
470 Kanban PT 0005 StateSpace 02 5 3 NONE UNKNOWN
471 Kanban PT 0005 StateSpace 03 20 3 NONE UNKNOWN
472 Kanban PT 0010 StateSpace 00 1005900000 3 NONE UNKNOWN
473 Kanban PT 0010 StateSpace 02 10 3 NONE UNKNOWN
474 Kanban PT 0010 StateSpace 03 40 3 NONE UNKNOWN
475 Kanban PT 0020 StateSpace 00 805420000000 3 NONE UNKNOWN
476 Kanban PT 0020 StateSpace 02 20 3 NONE UNKNOWN
477 Kanban PT 0020 StateSpace 03 80 3 NONE UNKNOWN
478 Kanban PT 0050 StateSpace 00 10426e12 3 NONE UNKNOWN
479 Kanban PT 0050 StateSpace 02 50 3 NONE UNKNOWN
480 Kanban PT 0050 StateSpace 03 200 3 NONE UNKNOWN
481 LamportFastMutEx PT 2 StateSpace 00 380 3 GEN UNKNOWN
482 LamportFastMutEx PT 2 StateSpace 02 1 3 GEN UNKNOWN
483 LamportFastMutEx PT 2 StateSpace 03 8 3 GEN UNKNOWN
484 LamportFastMutEx PT 3 StateSpace 00 19742 3 GEN UNKNOWN
485 LamportFastMutEx PT 3 StateSpace 02 1 3 GEN UNKNOWN
486 LamportFastMutEx PT 3 StateSpace 03 14 3 GEN UNKNOWN
487 LamportFastMutEx PT 4 StateSpace 00 1914800 3 GEN UNKNOWN
488 LamportFastMutEx PT 4 StateSpace 02 1 3 GEN UNKNOWN
489 LamportFastMutEx PT 4 StateSpace 03 22 3 GEN UNKNOWN
490 LamportFastMutEx PT 5 StateSpace 00 530680000 3 GEN UNKNOWN
491 LamportFastMutEx PT 5 StateSpace 02 1 3 GEN UNKNOWN
492 LamportFastMutEx PT 5 StateSpace 03 32 3 GEN UNKNOWN
493 MAPK PT 008 StateSpace 00 6110600 3 NONE UNKNOWN
494 MAPK PT 008 StateSpace 02 8 3 NONE UNKNOWN
495 MAPK PT 008 StateSpace 03 36 3 NONE UNKNOWN
496 MAPK PT 020 StateSpace 00 88126000000 3 NONE UNKNOWN
497 MAPK PT 020 StateSpace 02 20 3 NONE UNKNOWN
498 MAPK PT 020 StateSpace 03 90 3 NONE UNKNOWN
499 MAPK PT 040 StateSpace 00 478290000000000 3 NONE UNKNOWN
500 MAPK PT 040 StateSpace 02 40 3 NONE UNKNOWN
501 MAPK PT 040 StateSpace 03 180 3 NONE UNKNOWN
502 MultiwaySync PT none StateSpace 00 52596e15 3 NUPN UNKNOWN
503 MultiwaySync PT none StateSpace 02 1 3 NUPN UNKNOWN
504 MultiwaySync PT none StateSpace 03 27 3 NUPN UNKNOWN
505 NeighborGrid PT d2n3m1c12 StateSpace 00 24310 3 NONE UNKNOWN
506 NeighborGrid PT d2n3m1c12 StateSpace 02 9 3 NONE UNKNOWN
507 NeighborGrid PT d2n3m1c12 StateSpace 03 9 3 NONE UNKNOWN
508 NeighborGrid PT d2n3m1t12 StateSpace 00 24310 3 NONE UNKNOWN
509 NeighborGrid PT d2n3m1t12 StateSpace 02 9 3 NONE UNKNOWN
510 NeighborGrid PT d2n3m1t12 StateSpace 03 9 3 NONE UNKNOWN
511 NeighborGrid PT d3n3m1t11 StateSpace 00 973470000000000 3 NONE UNKNOWN
512 NeighborGrid PT d3n3m1t11 StateSpace 02 27 3 NONE UNKNOWN
513 NeighborGrid PT d3n3m1t11 StateSpace 03 27 3 NONE UNKNOWN
514 NeoElection PT 2 StateSpace 00 241 3 GEN UNKNOWN
515 NeoElection PT 2 StateSpace 02 1 3 GEN UNKNOWN
516 NeoElection PT 2 StateSpace 03 14 3 GEN UNKNOWN
517 NeoElection PT 3 StateSpace 00 974330 3 GEN UNKNOWN
518 NeoElection PT 3 StateSpace 02 1 3 GEN UNKNOWN
519 NeoElection PT 3 StateSpace 03 30 3 GEN UNKNOWN
520 PaceMaker PT none StateSpace 00 36803e13 3 NONE UNKNOWN
521 PaceMaker PT none StateSpace 02 949 3 NONE UNKNOWN
522 PaceMaker PT none StateSpace 03 18085 3 NONE UNKNOWN
523 ParamProductionCell PT 0 StateSpace 00 2776900 3 GEN UNKNOWN
524 ParamProductionCell PT 0 StateSpace 02 1 3 GEN UNKNOWN
525 ParamProductionCell PT 0 StateSpace 03 32 3 GEN UNKNOWN
526 ParamProductionCell PT 1 StateSpace 00 25632 3 GEN UNKNOWN
527 ParamProductionCell PT 1 StateSpace 02 1 3 GEN UNKNOWN
528 ParamProductionCell PT 1 StateSpace 03 36 3 GEN UNKNOWN
529 ParamProductionCell PT 2 StateSpace 00 349870 3 GEN UNKNOWN
530 ParamProductionCell PT 2 StateSpace 02 1 3 GEN UNKNOWN
531 ParamProductionCell PT 2 StateSpace 03 36 3 GEN UNKNOWN
532 ParamProductionCell PT 3 StateSpace 00 1465200 3 GEN UNKNOWN
533 ParamProductionCell PT 3 StateSpace 02 1 3 GEN UNKNOWN
534 ParamProductionCell PT 3 StateSpace 03 36 3 GEN UNKNOWN
535 ParamProductionCell PT 4 StateSpace 00 2409700 3 GEN UNKNOWN
536 ParamProductionCell PT 4 StateSpace 02 1 3 GEN UNKNOWN
537 ParamProductionCell PT 4 StateSpace 03 36 3 GEN UNKNOWN
538 ParamProductionCell PT 5 StateSpace 00 1657200 3 GEN UNKNOWN
539 ParamProductionCell PT 5 StateSpace 02 1 3 GEN UNKNOWN
540 ParamProductionCell PT 5 StateSpace 03 36 3 GEN UNKNOWN
541 Parking PT 104 StateSpace 00 31745 3 NUPN UNKNOWN
542 Parking PT 104 StateSpace 02 1 3 NUPN UNKNOWN
543 Parking PT 104 StateSpace 03 15 3 NUPN UNKNOWN
544 Parking PT 208 StateSpace 00 4567600000 3 NUPN UNKNOWN
545 Parking PT 208 StateSpace 02 1 3 NUPN UNKNOWN
546 Parking PT 208 StateSpace 03 32 3 NUPN UNKNOWN
547 Parking PT 416 StateSpace 00 84405e17 3 NUPN UNKNOWN
548 Parking PT 416 StateSpace 02 1 3 NUPN UNKNOWN
549 Parking PT 416 StateSpace 03 72 3 NUPN UNKNOWN
550 Peterson PT 2 StateSpace 00 20754 3 GEN UNKNOWN
551 Peterson PT 2 StateSpace 02 1 3 GEN UNKNOWN
552 Peterson PT 2 StateSpace 03 8 3 GEN UNKNOWN
553 Peterson PT 3 StateSpace 00 3407900 3 GEN UNKNOWN
554 Peterson PT 3 StateSpace 02 1 3 GEN UNKNOWN
555 Peterson PT 3 StateSpace 03 11 3 GEN UNKNOWN
556 Peterson PT 4 StateSpace 00 629950000 3 GEN UNKNOWN
557 Peterson PT 4 StateSpace 02 1 3 GEN UNKNOWN
558 Peterson PT 4 StateSpace 03 14 3 GEN UNKNOWN
559 PhaseVariation PT D02CS010 StateSpace 00 7716 3 NONE UNKNOWN
560 PhaseVariation PT D02CS010 StateSpace 02 12 3 NONE UNKNOWN
561 PhaseVariation PT D02CS010 StateSpace 03 25 3 NONE UNKNOWN
562 PhaseVariation PT D05CS010 StateSpace 00 476390000000 3 NONE UNKNOWN
563 PhaseVariation PT D05CS010 StateSpace 02 25 3 NONE UNKNOWN
564 PhaseVariation PT D05CS010 StateSpace 03 51 3 NONE UNKNOWN
565 Philosophers PT 000005 StateSpace 00 243 3 GEN UNKNOWN
566 Philosophers PT 000005 StateSpace 02 1 3 GEN UNKNOWN
567 Philosophers PT 000005 StateSpace 03 10 3 GEN UNKNOWN
568 Philosophers PT 000010 StateSpace 00 59049 3 GEN UNKNOWN
569 Philosophers PT 000010 StateSpace 02 1 3 GEN UNKNOWN
570 Philosophers PT 000010 StateSpace 03 20 3 GEN UNKNOWN
571 Philosophers PT 000020 StateSpace 00 3486800000 3 GEN UNKNOWN
572 Philosophers PT 000020 StateSpace 02 1 3 GEN UNKNOWN
573 Philosophers PT 000020 StateSpace 03 40 3 GEN UNKNOWN
574 Philosophers PT 000050 StateSpace 00 7179e20 3 GEN UNKNOWN
575 Philosophers PT 000050 StateSpace 02 1 3 GEN UNKNOWN
576 Philosophers PT 000050 StateSpace 03 100 3 GEN UNKNOWN
577 Philosophers PT 000100 StateSpace 00 51538e43 3 GEN UNKNOWN
578 Philosophers PT 000100 StateSpace 02 1 3 GEN UNKNOWN
579 Philosophers PT 000100 StateSpace 03 200 3 GEN UNKNOWN
580 Philosophers PT 000200 StateSpace 00 26561e91 3 GEN UNKNOWN
581 Philosophers PT 000200 StateSpace 02 1 3 GEN UNKNOWN
582 Philosophers PT 000200 StateSpace 03 400 3 GEN UNKNOWN
583 Philosophers PT 000500 StateSpace 00 3636000000000001e223 3 GEN UNKNOWN
584 Philosophers PT 000500 StateSpace 02 1 3 GEN UNKNOWN
585 Philosophers PT 000500 StateSpace 03 1000 3 GEN UNKNOWN
586 PhilosophersDyn PT 03 StateSpace 00 325 3 NONE UNKNOWN
587 PhilosophersDyn PT 03 StateSpace 02 1 3 NONE UNKNOWN
588 PhilosophersDyn PT 03 StateSpace 03 11 3 NONE UNKNOWN
589 PhilosophersDyn PT 10 StateSpace 00 199050 3 NONE UNKNOWN
590 PhilosophersDyn PT 10 StateSpace 02 1 3 NONE UNKNOWN
591 PhilosophersDyn PT 10 StateSpace 03 20 3 NONE UNKNOWN
592 PolyORBLF PT S02J04T06 StateSpace 00 140750000 3 NONE UNKNOWN
593 PolyORBLF PT S02J04T06 StateSpace 02 10 3 NONE UNKNOWN
594 PolyORBLF PT S02J04T06 StateSpace 03 63 3 NONE UNKNOWN
595 ProductionCell PT none StateSpace 00 11329000000000 3 NUPN UNKNOWN
596 ProductionCell PT none StateSpace 02 1 3 NUPN UNKNOWN
597 ProductionCell PT none StateSpace 03 35 3 NUPN UNKNOWN
598 QuasiCertifProtocol PT 02 StateSpace 00 1029 3 NONE UNKNOWN
599 QuasiCertifProtocol PT 02 StateSpace 02 1 3 NONE UNKNOWN
600 QuasiCertifProtocol PT 02 StateSpace 03 20 3 NONE UNKNOWN
601 QuasiCertifProtocol PT 06 StateSpace 00 2272000 3 NONE UNKNOWN
602 QuasiCertifProtocol PT 06 StateSpace 02 3 3 NONE UNKNOWN
603 QuasiCertifProtocol PT 06 StateSpace 03 74 3 NONE UNKNOWN
604 Raft PT 02 StateSpace 00 7381 3 NUPN UNKNOWN
605 Raft PT 02 StateSpace 02 1 3 NUPN UNKNOWN
606 Raft PT 02 StateSpace 03 6 3 NUPN UNKNOWN
607 Raft PT 03 StateSpace 00 33820000 3 NUPN UNKNOWN
608 Raft PT 03 StateSpace 02 1 3 NUPN UNKNOWN
609 Raft PT 03 StateSpace 03 11 3 NUPN UNKNOWN
610 Raft PT 04 StateSpace 00 2965900000000 3 NUPN UNKNOWN
611 Raft PT 04 StateSpace 02 1 3 NUPN UNKNOWN
612 Raft PT 04 StateSpace 03 18 3 NUPN UNKNOWN
613 Raft PT 05 StateSpace 00 59379e14 3 NUPN UNKNOWN
614 Raft PT 05 StateSpace 02 1 3 NUPN UNKNOWN
615 Raft PT 05 StateSpace 03 27 3 NUPN UNKNOWN
616 Raft PT 06 StateSpace 00 29094e22 3 NUPN UNKNOWN
617 Raft PT 06 StateSpace 02 1 3 NUPN UNKNOWN
618 Raft PT 06 StateSpace 03 38 3 NUPN UNKNOWN
619 Railroad PT 005 StateSpace 00 1838 3 GEN UNKNOWN
620 Railroad PT 005 StateSpace 02 1 3 GEN UNKNOWN
621 Railroad PT 005 StateSpace 03 16 3 GEN UNKNOWN
622 Railroad PT 010 StateSpace 00 2038200 3 GEN UNKNOWN
623 Railroad PT 010 StateSpace 02 1 3 GEN UNKNOWN
624 Railroad PT 010 StateSpace 03 26 3 GEN UNKNOWN
625 Referendum PT 0010 StateSpace 00 59050 3 GEN UNKNOWN
626 Referendum PT 0010 StateSpace 02 1 3 GEN UNKNOWN
627 Referendum PT 0010 StateSpace 03 10 3 GEN UNKNOWN
628 Referendum PT 0015 StateSpace 00 14349000 3 GEN UNKNOWN
629 Referendum PT 0015 StateSpace 02 1 3 GEN UNKNOWN
630 Referendum PT 0015 StateSpace 03 15 3 GEN UNKNOWN
631 Referendum PT 0020 StateSpace 00 3486800000 3 GEN UNKNOWN
632 Referendum PT 0020 StateSpace 02 1 3 GEN UNKNOWN
633 Referendum PT 0020 StateSpace 03 20 3 GEN UNKNOWN
634 ResAllocation PT R002C002 StateSpace 00 8 3 GEN UNKNOWN
635 ResAllocation PT R002C002 StateSpace 02 1 3 GEN UNKNOWN
636 ResAllocation PT R002C002 StateSpace 03 4 3 GEN UNKNOWN
637 ResAllocation PT R003C002 StateSpace 00 20 3 GEN UNKNOWN
638 ResAllocation PT R003C002 StateSpace 02 1 3 GEN UNKNOWN
639 ResAllocation PT R003C002 StateSpace 03 6 3 GEN UNKNOWN
640 ResAllocation PT R003C003 StateSpace 00 92 3 GEN UNKNOWN
641 ResAllocation PT R003C003 StateSpace 02 1 3 GEN UNKNOWN
642 ResAllocation PT R003C003 StateSpace 03 9 3 GEN UNKNOWN
643 ResAllocation PT R003C005 StateSpace 00 1200 3 GEN UNKNOWN
644 ResAllocation PT R003C005 StateSpace 02 1 3 GEN UNKNOWN
645 ResAllocation PT R003C005 StateSpace 03 15 3 GEN UNKNOWN
646 ResAllocation PT R003C010 StateSpace 00 823550 3 GEN UNKNOWN
647 ResAllocation PT R003C010 StateSpace 02 1 3 GEN UNKNOWN
648 ResAllocation PT R003C010 StateSpace 03 30 3 GEN UNKNOWN
649 ResAllocation PT R003C015 StateSpace 00 578880000 3 GEN UNKNOWN
650 ResAllocation PT R003C015 StateSpace 02 1 3 GEN UNKNOWN
651 ResAllocation PT R003C015 StateSpace 03 45 3 GEN UNKNOWN
652 ResAllocation PT R003C020 StateSpace 00 406450000000 3 GEN UNKNOWN
653 ResAllocation PT R003C020 StateSpace 02 1 3 GEN UNKNOWN
654 ResAllocation PT R003C020 StateSpace 03 60 3 GEN UNKNOWN
655 ResAllocation PT R003C050 StateSpace 00 48718e24 3 GEN UNKNOWN
656 ResAllocation PT R003C050 StateSpace 02 1 3 GEN UNKNOWN
657 ResAllocation PT R003C050 StateSpace 03 150 3 GEN UNKNOWN
658 ResAllocation PT R003C100 StateSpace 00 14195e53 3 GEN UNKNOWN
659 ResAllocation PT R003C100 StateSpace 02 1 3 GEN UNKNOWN
660 ResAllocation PT R003C100 StateSpace 03 300 3 GEN UNKNOWN
661 ResAllocation PT R005C002 StateSpace 00 112 3 GEN UNKNOWN
662 ResAllocation PT R005C002 StateSpace 02 1 3 GEN UNKNOWN
663 ResAllocation PT R005C002 StateSpace 03 10 3 GEN UNKNOWN
664 ResAllocation PT R010C002 StateSpace 00 6144 3 GEN UNKNOWN
665 ResAllocation PT R010C002 StateSpace 02 1 3 GEN UNKNOWN
666 ResAllocation PT R010C002 StateSpace 03 20 3 GEN UNKNOWN
667 ResAllocation PT R015C002 StateSpace 00 278530 3 GEN UNKNOWN
668 ResAllocation PT R015C002 StateSpace 02 1 3 GEN UNKNOWN
669 ResAllocation PT R015C002 StateSpace 03 30 3 GEN UNKNOWN
670 ResAllocation PT R020C002 StateSpace 00 11534000 3 GEN UNKNOWN
671 ResAllocation PT R020C002 StateSpace 02 1 3 GEN UNKNOWN
672 ResAllocation PT R020C002 StateSpace 03 40 3 GEN UNKNOWN
673 ResAllocation PT R050C002 StateSpace 00 29273e12 3 GEN UNKNOWN
674 ResAllocation PT R050C002 StateSpace 02 1 3 GEN UNKNOWN
675 ResAllocation PT R050C002 StateSpace 03 100 3 GEN UNKNOWN
676 ResAllocation PT R100C002 StateSpace 00 6465e28 3 GEN UNKNOWN
677 ResAllocation PT R100C002 StateSpace 02 1 3 GEN UNKNOWN
678 ResAllocation PT R100C002 StateSpace 03 200 3 GEN UNKNOWN
679 Ring PT none StateSpace 00 902650000000 3 GEN UNKNOWN
680 Ring PT none StateSpace 02 1 3 GEN UNKNOWN
681 Ring PT none StateSpace 03 61 3 GEN UNKNOWN
682 RobotManipulation PT 00001 StateSpace 00 110 3 NONE UNKNOWN
683 RobotManipulation PT 00001 StateSpace 02 3 3 NONE UNKNOWN
684 RobotManipulation PT 00001 StateSpace 03 12 3 NONE UNKNOWN
685 RobotManipulation PT 00002 StateSpace 00 1430 3 NONE UNKNOWN
686 RobotManipulation PT 00002 StateSpace 02 5 3 NONE UNKNOWN
687 RobotManipulation PT 00002 StateSpace 03 22 3 NONE UNKNOWN
688 RobotManipulation PT 00005 StateSpace 00 184760 3 NONE UNKNOWN
689 RobotManipulation PT 00005 StateSpace 02 11 3 NONE UNKNOWN
690 RobotManipulation PT 00005 StateSpace 03 52 3 NONE UNKNOWN
691 RobotManipulation PT 00010 StateSpace 00 20030000 3 NONE UNKNOWN
692 RobotManipulation PT 00010 StateSpace 02 21 3 NONE UNKNOWN
693 RobotManipulation PT 00010 StateSpace 03 102 3 NONE UNKNOWN
694 RobotManipulation PT 00020 StateSpace 00 4108900000 3 NONE UNKNOWN
695 RobotManipulation PT 00020 StateSpace 02 41 3 NONE UNKNOWN
696 RobotManipulation PT 00020 StateSpace 03 202 3 NONE UNKNOWN
697 RwMutex PT r0010w0010 StateSpace 00 1034 3 GEN UNKNOWN
698 RwMutex PT r0010w0010 StateSpace 02 1 3 GEN UNKNOWN
699 RwMutex PT r0010w0010 StateSpace 03 30 3 GEN UNKNOWN
700 RwMutex PT r0010w0020 StateSpace 00 1044 3 GEN UNKNOWN
701 RwMutex PT r0010w0020 StateSpace 02 1 3 GEN UNKNOWN
702 RwMutex PT r0010w0020 StateSpace 03 40 3 GEN UNKNOWN
703 RwMutex PT r0010w0050 StateSpace 00 1074 3 GEN UNKNOWN
704 RwMutex PT r0010w0050 StateSpace 02 1 3 GEN UNKNOWN
705 RwMutex PT r0010w0050 StateSpace 03 70 3 GEN UNKNOWN
706 RwMutex PT r0010w0100 StateSpace 00 1124 3 GEN UNKNOWN
707 RwMutex PT r0010w0100 StateSpace 02 1 3 GEN UNKNOWN
708 RwMutex PT r0010w0100 StateSpace 03 120 3 GEN UNKNOWN
709 RwMutex PT r0010w0500 StateSpace 00 1524 3 GEN UNKNOWN
710 RwMutex PT r0010w0500 StateSpace 02 1 3 GEN UNKNOWN
711 RwMutex PT r0010w0500 StateSpace 03 520 3 GEN UNKNOWN
712 RwMutex PT r0010w1000 StateSpace 00 2024 3 GEN UNKNOWN
713 RwMutex PT r0010w1000 StateSpace 02 1 3 GEN UNKNOWN
714 RwMutex PT r0010w1000 StateSpace 03 1020 3 GEN UNKNOWN
715 RwMutex PT r0010w2000 StateSpace 00 3024 3 GEN UNKNOWN
716 RwMutex PT r0010w2000 StateSpace 02 1 3 GEN UNKNOWN
717 RwMutex PT r0010w2000 StateSpace 03 2020 3 GEN UNKNOWN
718 RwMutex PT r0020w0010 StateSpace 00 1048600 3 GEN UNKNOWN
719 RwMutex PT r0020w0010 StateSpace 02 1 3 GEN UNKNOWN
720 RwMutex PT r0020w0010 StateSpace 03 50 3 GEN UNKNOWN
721 SafeBus PT 03 StateSpace 00 4650 3 GEN UNKNOWN
722 SafeBus PT 03 StateSpace 02 1 3 GEN UNKNOWN
723 SafeBus PT 03 StateSpace 03 14 3 GEN UNKNOWN
724 SafeBus PT 06 StateSpace 00 6816800 3 GEN UNKNOWN
725 SafeBus PT 06 StateSpace 02 1 3 GEN UNKNOWN
726 SafeBus PT 06 StateSpace 03 23 3 GEN UNKNOWN
727 SharedMemory PT 000005 StateSpace 00 1863 3 GEN UNKNOWN
728 SharedMemory PT 000005 StateSpace 02 1 3 GEN UNKNOWN
729 SharedMemory PT 000005 StateSpace 03 11 3 GEN UNKNOWN
730 SharedMemory PT 000010 StateSpace 00 1830500 3 GEN UNKNOWN
731 SharedMemory PT 000010 StateSpace 02 1 3 GEN UNKNOWN
732 SharedMemory PT 000010 StateSpace 03 21 3 GEN UNKNOWN
733 SimpleLoadBal PT 02 StateSpace 00 832 3 GEN UNKNOWN
734 SimpleLoadBal PT 02 StateSpace 02 1 3 GEN UNKNOWN
735 SimpleLoadBal PT 02 StateSpace 03 11 3 GEN UNKNOWN
736 SimpleLoadBal PT 05 StateSpace 00 116180 3 GEN UNKNOWN
737 SimpleLoadBal PT 05 StateSpace 02 1 3 GEN UNKNOWN
738 SimpleLoadBal PT 05 StateSpace 03 17 3 GEN UNKNOWN
739 SimpleLoadBal PT 10 StateSpace 00 406030000 3 GEN UNKNOWN
740 SimpleLoadBal PT 10 StateSpace 02 1 3 GEN UNKNOWN
741 SimpleLoadBal PT 10 StateSpace 03 27 3 GEN UNKNOWN
742 SmallOperatingSystem PT MT0016DC0008 StateSpace 00 16587 3 NONE UNKNOWN
743 SmallOperatingSystem PT MT0016DC0008 StateSpace 02 16 3 NONE UNKNOWN
744 SmallOperatingSystem PT MT0016DC0008 StateSpace 03 56 3 NONE UNKNOWN
745 SmallOperatingSystem PT MT0032DC0008 StateSpace 00 166520 3 NONE UNKNOWN
746 SmallOperatingSystem PT MT0032DC0008 StateSpace 02 32 3 NONE UNKNOWN
747 SmallOperatingSystem PT MT0032DC0008 StateSpace 03 88 3 NONE UNKNOWN
748 SmallOperatingSystem PT MT0032DC0016 StateSpace 00 354500 3 NONE UNKNOWN
749 SmallOperatingSystem PT MT0032DC0016 StateSpace 02 32 3 NONE UNKNOWN
750 SmallOperatingSystem PT MT0032DC0016 StateSpace 03 112 3 NONE UNKNOWN
751 SmallOperatingSystem PT MT0064DC0016 StateSpace 00 4077900 3 NONE UNKNOWN
752 SmallOperatingSystem PT MT0064DC0016 StateSpace 02 64 3 NONE UNKNOWN
753 SmallOperatingSystem PT MT0064DC0016 StateSpace 03 176 3 NONE UNKNOWN
754 SmallOperatingSystem PT MT0064DC0032 StateSpace 00 9133600 3 NONE UNKNOWN
755 SmallOperatingSystem PT MT0064DC0032 StateSpace 02 64 3 NONE UNKNOWN
756 SmallOperatingSystem PT MT0064DC0032 StateSpace 03 224 3 NONE UNKNOWN
757 SmallOperatingSystem PT MT0128DC0032 StateSpace 00 113320000 3 NONE UNKNOWN
758 SmallOperatingSystem PT MT0128DC0032 StateSpace 02 128 3 NONE UNKNOWN
759 SmallOperatingSystem PT MT0128DC0032 StateSpace 03 352 3 NONE UNKNOWN
760 SmallOperatingSystem PT MT0128DC0064 StateSpace 00 261160000 3 NONE UNKNOWN
761 SmallOperatingSystem PT MT0128DC0064 StateSpace 02 128 3 NONE UNKNOWN
762 SmallOperatingSystem PT MT0128DC0064 StateSpace 03 448 3 NONE UNKNOWN
763 SmallOperatingSystem PT MT0256DC0064 StateSpace 00 3372400000 3 NONE UNKNOWN
764 SmallOperatingSystem PT MT0256DC0064 StateSpace 02 256 3 NONE UNKNOWN
765 SmallOperatingSystem PT MT0256DC0064 StateSpace 03 704 3 NONE UNKNOWN
766 Solitaire PT EngCT7x7 StateSpace 00 187640000 2 NONE UNKNOWN
767 Solitaire PT EngCT7x7 StateSpace 02 32 2 NONE UNKNOWN
768 Solitaire PT EngCT7x7 StateSpace 03 65 2 NONE UNKNOWN
769 Solitaire PT EngNC7x7 StateSpace 00 187640000 2 GEN UNKNOWN
770 Solitaire PT EngNC7x7 StateSpace 02 1 2 GEN UNKNOWN
771 Solitaire PT EngNC7x7 StateSpace 03 33 2 GEN UNKNOWN
772 Solitaire PT SqrCT5x5 StateSpace 00 174460000 2 NONE UNKNOWN
773 Solitaire PT SqrCT5x5 StateSpace 02 24 2 NONE UNKNOWN
774 Solitaire PT SqrCT5x5 StateSpace 03 49 2 NONE UNKNOWN
775 Solitaire PT SqrNC5x5 StateSpace 00 16098000 3 GEN UNKNOWN
776 Solitaire PT SqrNC5x5 StateSpace 02 1 3 GEN UNKNOWN
777 Solitaire PT SqrNC5x5 StateSpace 03 25 3 GEN UNKNOWN
778 SquareGrid PT 020102 StateSpace 00 2085400000000 3 NONE UNKNOWN
779 SquareGrid PT 020102 StateSpace 02 6 3 NONE UNKNOWN
780 SquareGrid PT 020102 StateSpace 03 48 3 NONE UNKNOWN
781 SwimmingPool PT 01 StateSpace 00 89621 3 NONE UNKNOWN
782 SwimmingPool PT 01 StateSpace 02 20 3 NONE UNKNOWN
783 SwimmingPool PT 01 StateSpace 03 45 3 NONE UNKNOWN
784 SwimmingPool PT 02 StateSpace 00 3408000 3 NONE UNKNOWN
785 SwimmingPool PT 02 StateSpace 02 40 3 NONE UNKNOWN
786 SwimmingPool PT 02 StateSpace 03 90 3 NONE UNKNOWN
787 SwimmingPool PT 03 StateSpace 00 32209000 3 NONE UNKNOWN
788 SwimmingPool PT 03 StateSpace 02 60 3 NONE UNKNOWN
789 SwimmingPool PT 03 StateSpace 03 135 3 NONE UNKNOWN
790 SwimmingPool PT 04 StateSpace 00 164390000 3 NONE UNKNOWN
791 SwimmingPool PT 04 StateSpace 02 80 3 NONE UNKNOWN
792 SwimmingPool PT 04 StateSpace 03 180 3 NONE UNKNOWN
793 SwimmingPool PT 05 StateSpace 00 591370000 3 NONE UNKNOWN
794 SwimmingPool PT 05 StateSpace 02 100 3 NONE UNKNOWN
795 SwimmingPool PT 05 StateSpace 03 225 3 NONE UNKNOWN
796 SwimmingPool PT 06 StateSpace 00 1697400000 3 NONE UNKNOWN
797 SwimmingPool PT 06 StateSpace 02 120 3 NONE UNKNOWN
798 SwimmingPool PT 06 StateSpace 03 270 3 NONE UNKNOWN
799 SwimmingPool PT 07 StateSpace 00 4160400000 3 NONE UNKNOWN
800 SwimmingPool PT 07 StateSpace 02 140 3 NONE UNKNOWN
801 SwimmingPool PT 07 StateSpace 03 315 3 NONE UNKNOWN
802 SwimmingPool PT 08 StateSpace 00 9073700000 3 NONE UNKNOWN
803 SwimmingPool PT 08 StateSpace 02 160 3 NONE UNKNOWN
804 SwimmingPool PT 08 StateSpace 03 360 3 NONE UNKNOWN
805 SwimmingPool PT 09 StateSpace 00 18090000000 3 NONE UNKNOWN
806 SwimmingPool PT 09 StateSpace 02 180 3 NONE UNKNOWN
807 SwimmingPool PT 09 StateSpace 03 405 3 NONE UNKNOWN
808 SwimmingPool PT 10 StateSpace 00 33585000000 3 NONE UNKNOWN
809 SwimmingPool PT 10 StateSpace 02 200 3 NONE UNKNOWN
810 SwimmingPool PT 10 StateSpace 03 450 3 NONE UNKNOWN
811 TCPcondis PT 05 StateSpace 00 2985800 3 NONE UNKNOWN
812 TCPcondis PT 05 StateSpace 02 5 3 NONE UNKNOWN
813 TCPcondis PT 05 StateSpace 03 20 3 NONE UNKNOWN
814 TCPcondis PT 10 StateSpace 00 13762000000 3 NONE UNKNOWN
815 TCPcondis PT 10 StateSpace 02 10 3 NONE UNKNOWN
816 TCPcondis PT 10 StateSpace 03 40 3 NONE UNKNOWN
817 TCPcondis PT 15 StateSpace 00 5397100000000 3 NONE UNKNOWN
818 TCPcondis PT 15 StateSpace 02 15 3 NONE UNKNOWN
819 TCPcondis PT 15 StateSpace 03 60 3 NONE UNKNOWN
820 TokenRing PT 005 StateSpace 00 166 3 GEN UNKNOWN
821 TokenRing PT 005 StateSpace 02 1 3 GEN UNKNOWN
822 TokenRing PT 005 StateSpace 03 6 3 GEN UNKNOWN
823 TokenRing PT 010 StateSpace 00 58905 3 GEN UNKNOWN
824 TokenRing PT 010 StateSpace 02 1 3 GEN UNKNOWN
825 TokenRing PT 010 StateSpace 03 11 3 GEN UNKNOWN
826 TokenRing PT 015 StateSpace 00 35358000 3 GEN UNKNOWN
827 TokenRing PT 015 StateSpace 02 1 3 GEN UNKNOWN
828 TokenRing PT 015 StateSpace 03 16 3 GEN UNKNOWN
829 TokenRing PT 020 StateSpace 00 24466000000 3 GEN UNKNOWN
830 TokenRing PT 020 StateSpace 02 1 3 GEN UNKNOWN
831 TokenRing PT 020 StateSpace 03 21 3 GEN UNKNOWN
832 TriangularGrid PT 1200 StateSpace 00 109550 3 NONE UNKNOWN
833 TriangularGrid PT 1200 StateSpace 02 60 3 NONE UNKNOWN
834 TriangularGrid PT 1200 StateSpace 03 66 3 NONE UNKNOWN
835 TriangularGrid PT 1500 StateSpace 00 705710 3 NONE UNKNOWN
836 TriangularGrid PT 1500 StateSpace 02 150 3 NONE UNKNOWN
837 TriangularGrid PT 1500 StateSpace 03 156 3 NONE UNKNOWN
838 TriangularGrid PT 2011 StateSpace 00 940100000 3 NONE UNKNOWN
839 TriangularGrid PT 2011 StateSpace 02 4 3 NONE UNKNOWN
840 TriangularGrid PT 2011 StateSpace 03 34 3 NONE UNKNOWN
841 TriangularGrid PT 3011 StateSpace 00 28468e16 3 NONE UNKNOWN
842 TriangularGrid PT 3011 StateSpace 02 4 3 NONE UNKNOWN
843 TriangularGrid PT 3011 StateSpace 03 72 3 NONE UNKNOWN
844 TriangularGrid PT 3026 StateSpace 00 37522e24 3 NONE UNKNOWN
845 TriangularGrid PT 3026 StateSpace 02 12 3 NONE UNKNOWN
846 TriangularGrid PT 3026 StateSpace 03 144 3 NONE UNKNOWN
847 UtahNoC PT none StateSpace 00 4759900000 3 NUPN UNKNOWN
848 UtahNoC PT none StateSpace 02 1 3 NUPN UNKNOWN
849 UtahNoC PT none StateSpace 03 8 3 NUPN UNKNOWN
850 Vasy2003 PT none StateSpace 00 97947e17 3 NUPN UNKNOWN
851 Vasy2003 PT none StateSpace 02 1 3 NUPN UNKNOWN
852 Vasy2003 PT none StateSpace 03 60 3 NUPN UNKNOWN
853 ASLink PT 01a StateSpace 00 189400000 3 NUPN UNKNOWN
854 ASLink PT 01a StateSpace 02 1 3 NUPN UNKNOWN
855 ASLink PT 01a StateSpace 03 23 3 NUPN UNKNOWN
856 BusinessProcesses PT 01 StateSpace 00 24161000000 3 NUPN UNKNOWN
857 BusinessProcesses PT 01 StateSpace 02 1 3 NUPN UNKNOWN
858 BusinessProcesses PT 01 StateSpace 03 22 3 NUPN UNKNOWN
859 BusinessProcesses PT 02 StateSpace 00 3143200000000 3 NUPN UNKNOWN
860 BusinessProcesses PT 02 StateSpace 02 1 3 NUPN UNKNOWN
861 BusinessProcesses PT 02 StateSpace 03 32 3 NUPN UNKNOWN
862 BusinessProcesses PT 03 StateSpace 00 14794000000000 3 NUPN UNKNOWN
863 BusinessProcesses PT 03 StateSpace 02 1 3 NUPN UNKNOWN
864 BusinessProcesses PT 03 StateSpace 03 31 3 NUPN UNKNOWN
865 BusinessProcesses PT 05 StateSpace 00 23839e13 3 NUPN UNKNOWN
866 BusinessProcesses PT 05 StateSpace 02 1 3 NUPN UNKNOWN
867 BusinessProcesses PT 05 StateSpace 03 41 3 NUPN UNKNOWN
868 BusinessProcesses PT 06 StateSpace 00 29156e14 3 NUPN UNKNOWN
869 BusinessProcesses PT 06 StateSpace 02 1 3 NUPN UNKNOWN
870 BusinessProcesses PT 06 StateSpace 03 56 3 NUPN UNKNOWN
871 DLCflexbar PT 2a StateSpace 00 79792e16 3 NUPN UNKNOWN
872 DLCflexbar PT 2a StateSpace 02 1 3 NUPN UNKNOWN
873 DLCflexbar PT 2a StateSpace 03 196 3 NUPN UNKNOWN
874 DLCflexbar PT 4a StateSpace 00 15287000000000002e27 3 NUPN UNKNOWN
875 DLCflexbar PT 4a StateSpace 02 1 3 NUPN UNKNOWN
876 DLCflexbar PT 4a StateSpace 03 608 3 NUPN UNKNOWN
877 DiscoveryGPU PT 06a StateSpace 00 1771600 3 NUPN UNKNOWN
878 DiscoveryGPU PT 06a StateSpace 02 1 3 NUPN UNKNOWN
879 DiscoveryGPU PT 06a StateSpace 03 8 3 NUPN UNKNOWN
880 DiscoveryGPU PT 06b StateSpace 00 6138700000 3 NUPN UNKNOWN
881 DiscoveryGPU PT 06b StateSpace 02 1 3 NUPN UNKNOWN
882 DiscoveryGPU PT 06b StateSpace 03 8 3 NUPN UNKNOWN
883 DiscoveryGPU PT 07a StateSpace 00 19487000 3 NUPN UNKNOWN
884 DiscoveryGPU PT 07a StateSpace 02 1 3 NUPN UNKNOWN
885 DiscoveryGPU PT 07a StateSpace 03 9 3 NUPN UNKNOWN
886 DiscoveryGPU PT 07b StateSpace 00 178680000000 3 NUPN UNKNOWN
887 DiscoveryGPU PT 07b StateSpace 02 1 3 NUPN UNKNOWN
888 DiscoveryGPU PT 07b StateSpace 03 9 3 NUPN UNKNOWN
889 DiscoveryGPU PT 08a StateSpace 00 214360000 3 NUPN UNKNOWN
890 DiscoveryGPU PT 08a StateSpace 02 1 3 NUPN UNKNOWN
891 DiscoveryGPU PT 08a StateSpace 03 10 3 NUPN UNKNOWN
892 DiscoveryGPU PT 08b StateSpace 00 5121500000000 3 NUPN UNKNOWN
893 DiscoveryGPU PT 08b StateSpace 02 1 3 NUPN UNKNOWN
894 DiscoveryGPU PT 08b StateSpace 03 10 3 NUPN UNKNOWN
895 DiscoveryGPU PT 09a StateSpace 00 2357900000 3 NUPN UNKNOWN
896 DiscoveryGPU PT 09a StateSpace 02 1 3 NUPN UNKNOWN
897 DiscoveryGPU PT 09a StateSpace 03 11 3 NUPN UNKNOWN
898 DiscoveryGPU PT 10a StateSpace 00 25937000000 3 NUPN UNKNOWN
899 DiscoveryGPU PT 10a StateSpace 02 1 3 NUPN UNKNOWN
900 DiscoveryGPU PT 10a StateSpace 03 12 3 NUPN UNKNOWN
901 DiscoveryGPU PT 10b StateSpace 00 40741e11 3 NUPN UNKNOWN
902 DiscoveryGPU PT 10b StateSpace 02 1 3 NUPN UNKNOWN
903 DiscoveryGPU PT 10b StateSpace 03 12 3 NUPN UNKNOWN
904 DiscoveryGPU PT 11a StateSpace 00 285310000000 3 NUPN UNKNOWN
905 DiscoveryGPU PT 11a StateSpace 02 1 3 NUPN UNKNOWN
906 DiscoveryGPU PT 11a StateSpace 03 13 3 NUPN UNKNOWN
907 DiscoveryGPU PT 12a StateSpace 00 3138400000000 3 NUPN UNKNOWN
908 DiscoveryGPU PT 12a StateSpace 02 1 3 NUPN UNKNOWN
909 DiscoveryGPU PT 12a StateSpace 03 14 3 NUPN UNKNOWN
910 DiscoveryGPU PT 13a StateSpace 00 34523000000000 3 NUPN UNKNOWN
911 DiscoveryGPU PT 13a StateSpace 02 1 3 NUPN UNKNOWN
912 DiscoveryGPU PT 13a StateSpace 03 15 3 NUPN UNKNOWN
913 DiscoveryGPU PT 14a StateSpace 00 379750000000000 3 NUPN UNKNOWN
914 DiscoveryGPU PT 14a StateSpace 02 1 3 NUPN UNKNOWN
915 DiscoveryGPU PT 14a StateSpace 03 16 3 NUPN UNKNOWN
916 DiscoveryGPU PT 15a StateSpace 00 41772e11 3 NUPN UNKNOWN
917 DiscoveryGPU PT 15a StateSpace 02 1 3 NUPN UNKNOWN
918 DiscoveryGPU PT 15a StateSpace 03 17 3 NUPN UNKNOWN
919 DoubleExponent PT 001 StateSpace 00 149 3 NONE UNKNOWN
920 DoubleExponent PT 001 StateSpace 02 4 3 NONE UNKNOWN
921 DoubleExponent PT 001 StateSpace 03 21 3 NONE UNKNOWN
922 DoubleExponent PT 002 StateSpace 00 3708 3 NONE UNKNOWN
923 DoubleExponent PT 002 StateSpace 02 16 3 NONE UNKNOWN
924 DoubleExponent PT 002 StateSpace 03 71 3 NONE UNKNOWN
925 EGFr PT 02010 StateSpace 00 4200 3 GEN UNKNOWN
926 EGFr PT 02010 StateSpace 02 1 3 GEN UNKNOWN
927 EGFr PT 02010 StateSpace 03 20 3 GEN UNKNOWN
928 EGFr PT 10420 StateSpace 00 27022e12 3 GEN UNKNOWN
929 EGFr PT 10420 StateSpace 02 1 3 GEN UNKNOWN
930 EGFr PT 10420 StateSpace 03 104 3 GEN UNKNOWN
931 EGFr PT 10421 StateSpace 00 27022e12 3 NONE UNKNOWN
932 EGFr PT 10421 StateSpace 02 1 3 NONE UNKNOWN
933 EGFr PT 10421 StateSpace 03 104 3 NONE UNKNOWN
934 HospitalTriage PT none StateSpace 00 17342e16 3 NONE UNKNOWN
935 HospitalTriage PT none StateSpace 02 4 3 NONE UNKNOWN
936 HospitalTriage PT none StateSpace 03 61 3 NONE UNKNOWN
937 MAPKbis PT 5310 StateSpace 00 3846400000000 3 GEN UNKNOWN
938 MAPKbis PT 5310 StateSpace 02 1 3 GEN UNKNOWN
939 MAPKbis PT 5310 StateSpace 03 53 3 GEN UNKNOWN
940 MAPKbis PT 5320 StateSpace 00 8126500 3 GEN UNKNOWN
941 MAPKbis PT 5320 StateSpace 02 1 3 GEN UNKNOWN
942 MAPKbis PT 5320 StateSpace 03 53 3 GEN UNKNOWN
943 NQueens PT 05 StateSpace 00 462 3 GEN UNKNOWN
944 NQueens PT 05 StateSpace 02 1 3 GEN UNKNOWN
945 NQueens PT 05 StateSpace 03 30 3 GEN UNKNOWN
946 NQueens PT 08 StateSpace 00 118970 3 GEN UNKNOWN
947 NQueens PT 08 StateSpace 02 1 3 GEN UNKNOWN
948 NQueens PT 08 StateSpace 03 48 3 GEN UNKNOWN
949 NQueens PT 10 StateSpace 00 7535400 3 GEN UNKNOWN
950 NQueens PT 10 StateSpace 02 1 3 GEN UNKNOWN
951 NQueens PT 10 StateSpace 03 60 3 GEN UNKNOWN
952 AirplaneLD COL 0010 StateSpace 00 43463 3 NONE UNKNOWN
953 AirplaneLD COL 0010 StateSpace 02 1 3 NONE UNKNOWN
954 AirplaneLD COL 0010 StateSpace 03 38 3 NONE UNKNOWN
955 AirplaneLD COL 0020 StateSpace 00 308300 3 NONE UNKNOWN
956 AirplaneLD COL 0020 StateSpace 02 1 3 NONE UNKNOWN
957 AirplaneLD COL 0020 StateSpace 03 68 3 NONE UNKNOWN
958 AirplaneLD COL 0050 StateSpace 00 4471200 3 NONE UNKNOWN
959 AirplaneLD COL 0050 StateSpace 02 1 3 NONE UNKNOWN
960 AirplaneLD COL 0050 StateSpace 03 158 3 NONE UNKNOWN
961 AirplaneLD COL 0100 StateSpace 00 34877000 3 NONE UNKNOWN
962 AirplaneLD COL 0100 StateSpace 02 1 3 NONE UNKNOWN
963 AirplaneLD COL 0100 StateSpace 03 308 3 NONE UNKNOWN
964 BridgeAndVehicles COL V04P05N02 StateSpace 00 2874 3 NONE UNKNOWN
965 BridgeAndVehicles COL V04P05N02 StateSpace 02 5 3 NONE UNKNOWN
966 BridgeAndVehicles COL V04P05N02 StateSpace 03 17 3 NONE UNKNOWN
967 BridgeAndVehicles COL V10P10N10 StateSpace 00 259560 3 NONE UNKNOWN
968 BridgeAndVehicles COL V10P10N10 StateSpace 02 10 3 NONE UNKNOWN
969 BridgeAndVehicles COL V10P10N10 StateSpace 03 34 3 NONE UNKNOWN
970 BridgeAndVehicles COL V20P10N10 StateSpace 00 6732600 3 NONE UNKNOWN
971 BridgeAndVehicles COL V20P10N10 StateSpace 02 20 3 NONE UNKNOWN
972 BridgeAndVehicles COL V20P10N10 StateSpace 03 54 3 NONE UNKNOWN
973 BridgeAndVehicles COL V20P10N20 StateSpace 00 9076300 3 NONE UNKNOWN
974 BridgeAndVehicles COL V20P10N20 StateSpace 02 20 3 NONE UNKNOWN
975 BridgeAndVehicles COL V20P10N20 StateSpace 03 54 3 NONE UNKNOWN
976 BridgeAndVehicles COL V20P10N50 StateSpace 00 9080900 3 NONE UNKNOWN
977 BridgeAndVehicles COL V20P10N50 StateSpace 02 20 3 NONE UNKNOWN
978 BridgeAndVehicles COL V20P10N50 StateSpace 03 54 3 NONE UNKNOWN
979 BridgeAndVehicles COL V20P20N10 StateSpace 00 6732600 3 NONE UNKNOWN
980 BridgeAndVehicles COL V20P20N10 StateSpace 02 20 3 NONE UNKNOWN
981 BridgeAndVehicles COL V20P20N10 StateSpace 03 64 3 NONE UNKNOWN
982 BridgeAndVehicles COL V20P20N20 StateSpace 00 9783600 3 NONE UNKNOWN
983 BridgeAndVehicles COL V20P20N20 StateSpace 02 20 3 NONE UNKNOWN
984 BridgeAndVehicles COL V20P20N20 StateSpace 03 64 3 NONE UNKNOWN
985 BridgeAndVehicles COL V20P20N50 StateSpace 00 9792300 3 NONE UNKNOWN
986 BridgeAndVehicles COL V20P20N50 StateSpace 02 20 3 NONE UNKNOWN
987 BridgeAndVehicles COL V20P20N50 StateSpace 03 64 3 NONE UNKNOWN
988 BridgeAndVehicles PT V20P10N20 StateSpace 00 9076300 3 NONE UNKNOWN
989 BridgeAndVehicles PT V20P10N20 StateSpace 02 20 3 NONE UNKNOWN
990 BridgeAndVehicles PT V20P10N20 StateSpace 03 54 3 NONE UNKNOWN
991 BridgeAndVehicles PT V20P10N50 StateSpace 00 9080900 3 NONE UNKNOWN
992 BridgeAndVehicles PT V20P10N50 StateSpace 02 20 3 NONE UNKNOWN
993 BridgeAndVehicles PT V20P10N50 StateSpace 03 54 3 NONE UNKNOWN
994 BridgeAndVehicles PT V20P20N20 StateSpace 00 9783600 3 NONE UNKNOWN
995 BridgeAndVehicles PT V20P20N20 StateSpace 02 20 3 NONE UNKNOWN
996 BridgeAndVehicles PT V20P20N20 StateSpace 03 64 3 NONE UNKNOWN
997 BridgeAndVehicles PT V20P20N50 StateSpace 00 9792300 3 NONE UNKNOWN
998 BridgeAndVehicles PT V20P20N50 StateSpace 02 20 3 NONE UNKNOWN
999 BridgeAndVehicles PT V20P20N50 StateSpace 03 64 3 NONE UNKNOWN
1000 CSRepetitions COL 02 StateSpace 00 7424 3 NONE UNKNOWN
1001 CSRepetitions COL 02 StateSpace 02 2 3 NONE UNKNOWN
1002 CSRepetitions COL 02 StateSpace 03 8 3 NONE UNKNOWN
1003 CSRepetitions COL 03 StateSpace 00 134070000 3 NONE UNKNOWN
1004 CSRepetitions COL 03 StateSpace 02 3 3 NONE UNKNOWN
1005 CSRepetitions COL 03 StateSpace 03 15 3 NONE UNKNOWN
1006 DatabaseWithMutex COL 02 StateSpace 00 153 3 NONE UNKNOWN
1007 DatabaseWithMutex COL 02 StateSpace 02 1 3 NONE UNKNOWN
1008 DatabaseWithMutex COL 02 StateSpace 03 6 3 NONE UNKNOWN
1009 Dekker PT 020 StateSpace 00 11534000 3 GEN UNKNOWN
1010 Dekker PT 020 StateSpace 02 1 3 GEN UNKNOWN
1011 Dekker PT 020 StateSpace 03 40 3 GEN UNKNOWN
1012 DrinkVendingMachine COL 02 StateSpace 00 1024 3 NONE UNKNOWN
1013 DrinkVendingMachine COL 02 StateSpace 02 1 3 NONE UNKNOWN
1014 DrinkVendingMachine COL 02 StateSpace 03 12 3 NONE UNKNOWN
1015 GlobalResAllocation COL 03 StateSpace 00 6320 3 NONE UNKNOWN
1016 GlobalResAllocation COL 03 StateSpace 02 4 3 NONE UNKNOWN
1017 GlobalResAllocation COL 03 StateSpace 03 18 3 NONE UNKNOWN
1018 LamportFastMutEx COL 2 StateSpace 00 380 3 NONE UNKNOWN
1019 LamportFastMutEx COL 2 StateSpace 02 1 3 NONE UNKNOWN
1020 LamportFastMutEx COL 2 StateSpace 03 8 3 NONE UNKNOWN
1021 LamportFastMutEx COL 3 StateSpace 00 19742 3 NONE UNKNOWN
1022 LamportFastMutEx COL 3 StateSpace 02 1 3 NONE UNKNOWN
1023 LamportFastMutEx COL 3 StateSpace 03 14 3 NONE UNKNOWN
1024 LamportFastMutEx COL 4 StateSpace 00 1914800 3 NONE UNKNOWN
1025 LamportFastMutEx COL 4 StateSpace 02 1 3 NONE UNKNOWN
1026 LamportFastMutEx COL 4 StateSpace 03 22 3 NONE UNKNOWN
1027 NeoElection COL 2 StateSpace 00 241 3 NONE UNKNOWN
1028 NeoElection COL 2 StateSpace 02 1 3 NONE UNKNOWN
1029 NeoElection COL 2 StateSpace 03 14 3 NONE UNKNOWN
1030 NeoElection COL 3 StateSpace 00 974330 3 NONE UNKNOWN
1031 NeoElection COL 3 StateSpace 02 1 3 NONE UNKNOWN
1032 NeoElection COL 3 StateSpace 03 30 3 NONE UNKNOWN
1033 PermAdmissibility COL 01 StateSpace 00 52537 3 NONE UNKNOWN
1034 PermAdmissibility COL 01 StateSpace 02 1 3 NONE UNKNOWN
1035 PermAdmissibility COL 01 StateSpace 03 9 3 NONE UNKNOWN
1036 PermAdmissibility PT 01 StateSpace 00 52537 3 NONE UNKNOWN
1037 PermAdmissibility PT 01 StateSpace 02 1 3 NONE UNKNOWN
1038 PermAdmissibility PT 01 StateSpace 03 9 3 NONE UNKNOWN
1039 Peterson COL 2 StateSpace 00 20754 3 NONE UNKNOWN
1040 Peterson COL 2 StateSpace 02 1 3 NONE UNKNOWN
1041 Peterson COL 2 StateSpace 03 8 3 NONE UNKNOWN
1042 Peterson COL 3 StateSpace 00 3407900 3 NONE UNKNOWN
1043 Peterson COL 3 StateSpace 02 1 3 NONE UNKNOWN
1044 Peterson COL 3 StateSpace 03 11 3 NONE UNKNOWN
1045 Philosophers COL 000005 StateSpace 00 243 3 NONE UNKNOWN
1046 Philosophers COL 000005 StateSpace 02 1 3 NONE UNKNOWN
1047 Philosophers COL 000005 StateSpace 03 10 3 NONE UNKNOWN
1048 Philosophers COL 000010 StateSpace 00 59049 3 NONE UNKNOWN
1049 Philosophers COL 000010 StateSpace 02 1 3 NONE UNKNOWN
1050 Philosophers COL 000010 StateSpace 03 20 3 NONE UNKNOWN
1051 PhilosophersDyn COL 03 StateSpace 00 325 3 NONE UNKNOWN
1052 PhilosophersDyn COL 03 StateSpace 02 1 3 NONE UNKNOWN
1053 PhilosophersDyn COL 03 StateSpace 03 11 3 NONE UNKNOWN
1054 PhilosophersDyn COL 10 StateSpace 00 199050 3 NONE UNKNOWN
1055 PhilosophersDyn COL 10 StateSpace 02 1 3 NONE UNKNOWN
1056 PhilosophersDyn COL 10 StateSpace 03 20 3 NONE UNKNOWN
1057 PhilosophersDyn COL 20 StateSpace 00 4070300 1 NONE UNKNOWN
1058 PhilosophersDyn COL 20 StateSpace 02 1 1 NONE UNKNOWN
1059 PhilosophersDyn COL 20 StateSpace 03 30 1 NONE UNKNOWN
1060 PhilosophersDyn PT 20 StateSpace 00 4070300 1 NONE UNKNOWN
1061 PhilosophersDyn PT 20 StateSpace 02 1 1 NONE UNKNOWN
1062 PhilosophersDyn PT 20 StateSpace 03 30 1 NONE UNKNOWN
1063 QuasiCertifProtocol COL 02 StateSpace 00 1029 3 NONE UNKNOWN
1064 QuasiCertifProtocol COL 02 StateSpace 02 1 3 NONE UNKNOWN
1065 QuasiCertifProtocol COL 02 StateSpace 03 20 3 NONE UNKNOWN
1066 QuasiCertifProtocol COL 06 StateSpace 00 2272000 3 NONE UNKNOWN
1067 QuasiCertifProtocol COL 06 StateSpace 02 3 3 NONE UNKNOWN
1068 QuasiCertifProtocol COL 06 StateSpace 03 74 3 NONE UNKNOWN
1069 Referendum COL 0010 StateSpace 00 59050 3 NONE UNKNOWN
1070 Referendum COL 0010 StateSpace 02 1 3 NONE UNKNOWN
1071 Referendum COL 0010 StateSpace 03 10 3 NONE UNKNOWN
1072 Referendum COL 0015 StateSpace 00 14349000 3 NONE UNKNOWN
1073 Referendum COL 0015 StateSpace 02 1 3 NONE UNKNOWN
1074 Referendum COL 0015 StateSpace 03 15 3 NONE UNKNOWN
1075 SafeBus COL 03 StateSpace 00 4650 3 NONE UNKNOWN
1076 SafeBus COL 03 StateSpace 02 1 3 NONE UNKNOWN
1077 SafeBus COL 03 StateSpace 03 14 3 NONE UNKNOWN
1078 SafeBus COL 06 StateSpace 00 6816800 3 NONE UNKNOWN
1079 SafeBus COL 06 StateSpace 02 1 3 NONE UNKNOWN
1080 SafeBus COL 06 StateSpace 03 23 3 NONE UNKNOWN
1081 SharedMemory COL 000005 StateSpace 00 1863 3 NONE UNKNOWN
1082 SharedMemory COL 000005 StateSpace 02 1 3 NONE UNKNOWN
1083 SharedMemory COL 000005 StateSpace 03 11 3 NONE UNKNOWN
1084 SharedMemory COL 000010 StateSpace 00 1830500 3 NONE UNKNOWN
1085 SharedMemory COL 000010 StateSpace 02 1 3 NONE UNKNOWN
1086 SharedMemory COL 000010 StateSpace 03 21 3 NONE UNKNOWN
1087 TokenRing COL 005 StateSpace 00 166 3 NONE UNKNOWN
1088 TokenRing COL 005 StateSpace 02 1 3 NONE UNKNOWN
1089 TokenRing COL 005 StateSpace 03 6 3 NONE UNKNOWN
1090 TokenRing COL 010 StateSpace 00 58905 3 NONE UNKNOWN
1091 TokenRing COL 010 StateSpace 02 1 3 NONE UNKNOWN
1092 TokenRing COL 010 StateSpace 03 11 3 NONE UNKNOWN
1093 TokenRing COL 015 StateSpace 00 35358000 3 NONE UNKNOWN
1094 TokenRing COL 015 StateSpace 02 1 3 NONE UNKNOWN
1095 TokenRing COL 015 StateSpace 03 16 3 NONE UNKNOWN
1096 DoubleExponent PT 003 StateSpace 00 2385100 3 NONE UNKNOWN
1097 DoubleExponent PT 003 StateSpace 02 256 3 NONE UNKNOWN
1098 DoubleExponent PT 003 StateSpace 03 841 3 NONE UNKNOWN
1099 RefineWMG PT 002002 StateSpace 00 58320 3 NONE UNKNOWN
1100 RefineWMG PT 002002 StateSpace 02 7 3 NONE UNKNOWN
1101 RefineWMG PT 002002 StateSpace 03 20 3 NONE UNKNOWN
1102 RefineWMG PT 002003 StateSpace 00 184320 3 NONE UNKNOWN
1103 RefineWMG PT 002003 StateSpace 02 7 3 NONE UNKNOWN
1104 RefineWMG PT 002003 StateSpace 03 24 3 NONE UNKNOWN
1105 ARMCacheCoherence PT none StateSpace 01 22340000000 3 NUPN UNKNOWN
1106 AirplaneLD COL 0010 StateSpace 01 183660 3 NONE UNKNOWN
1107 AirplaneLD COL 0200 StateSpace 00 275490000 3 NONE UNKNOWN
1108 AirplaneLD COL 0200 StateSpace 01 1228000000 3 NONE UNKNOWN
1109 AirplaneLD COL 0200 StateSpace 02 1 3 NONE UNKNOWN
1110 AirplaneLD COL 0200 StateSpace 03 608 3 NONE UNKNOWN
1111 AirplaneLD COL 0500 StateSpace 00 4271800000 3 NONE UNKNOWN
1112 AirplaneLD COL 0500 StateSpace 01 19075000000 3 NONE UNKNOWN
1113 AirplaneLD COL 0500 StateSpace 02 1 3 NONE UNKNOWN
1114 AirplaneLD COL 0500 StateSpace 03 1508 3 NONE UNKNOWN
1115 AirplaneLD COL 1000 StateSpace 00 34087000000 3 NONE UNKNOWN
1116 AirplaneLD COL 1000 StateSpace 01 152300000000 3 NONE UNKNOWN
1117 AirplaneLD COL 1000 StateSpace 02 1 3 NONE UNKNOWN
1118 AirplaneLD COL 1000 StateSpace 03 3008 3 NONE UNKNOWN
1119 AirplaneLD COL 2000 StateSpace 00 272350000000 3 NONE UNKNOWN
1120 AirplaneLD COL 2000 StateSpace 01 1217200000000 3 NONE UNKNOWN
1121 AirplaneLD COL 2000 StateSpace 02 1 3 NONE UNKNOWN
1122 AirplaneLD COL 2000 StateSpace 03 6008 3 NONE UNKNOWN
1123 AirplaneLD COL 4000 StateSpace 00 2177400000000 3 NONE UNKNOWN
1124 AirplaneLD COL 4000 StateSpace 01 9732800000000 3 NONE UNKNOWN
1125 AirplaneLD COL 4000 StateSpace 02 1 3 NONE UNKNOWN
1126 AirplaneLD COL 4000 StateSpace 03 12008 3 NONE UNKNOWN
1127 AirplaneLD PT 0010 StateSpace 01 183660 3 GEN UNKNOWN
1128 AirplaneLD PT 0200 StateSpace 01 1228000000 3 GEN UNKNOWN
1129 AirplaneLD PT 0500 StateSpace 00 4271800000 3 GEN UNKNOWN
1130 AirplaneLD PT 0500 StateSpace 01 19075000000 3 GEN UNKNOWN
1131 AirplaneLD PT 0500 StateSpace 02 1 3 GEN UNKNOWN
1132 AirplaneLD PT 0500 StateSpace 03 1508 3 GEN UNKNOWN
1133 AirplaneLD PT 1000 StateSpace 00 34087000000 3 GEN UNKNOWN
1134 AirplaneLD PT 1000 StateSpace 01 152300000000 3 GEN UNKNOWN
1135 AirplaneLD PT 1000 StateSpace 02 1 3 GEN UNKNOWN
1136 AirplaneLD PT 1000 StateSpace 03 3008 3 GEN UNKNOWN
1137 AirplaneLD PT 2000 StateSpace 00 272350000000 3 GEN UNKNOWN
1138 AirplaneLD PT 2000 StateSpace 01 1217200000000 3 GEN UNKNOWN
1139 AirplaneLD PT 2000 StateSpace 02 1 3 GEN UNKNOWN
1140 AirplaneLD PT 2000 StateSpace 03 6008 3 GEN UNKNOWN
1141 AirplaneLD PT 4000 StateSpace 00 2177400000000 3 GEN UNKNOWN
1142 AirplaneLD PT 4000 StateSpace 01 9732800000000 3 GEN UNKNOWN
1143 AirplaneLD PT 4000 StateSpace 02 1 3 GEN UNKNOWN
1144 AirplaneLD PT 4000 StateSpace 03 12008 3 GEN UNKNOWN
1145 AutoFlight PT 01a StateSpace 01 1120 3 NUPN UNKNOWN
1146 AutoFlight PT 01b StateSpace 01 354420000 3 NUPN UNKNOWN
1147 AutoFlight PT 05a StateSpace 01 1286200000 3 NUPN UNKNOWN
1148 AutoFlight PT 05b StateSpace 00 18382e25 3 NUPN UNKNOWN
1149 AutoFlight PT 05b StateSpace 02 1 3 NUPN UNKNOWN
1150 AutoFlight PT 05b StateSpace 03 33 3 NUPN UNKNOWN
1151 AutoFlight PT 06a StateSpace 01 30943000000 3 NUPN UNKNOWN
1152 AutoFlight PT 12a StateSpace 00 78221e12 3 NUPN UNKNOWN
1153 AutoFlight PT 12a StateSpace 01 34975e14 3 NUPN UNKNOWN
1154 AutoFlight PT 12a StateSpace 02 1 3 NUPN UNKNOWN
1155 AutoFlight PT 12a StateSpace 03 75 3 NUPN UNKNOWN
1156 AutoFlight PT 24a StateSpace 00 16997e28 3 NUPN UNKNOWN
1157 AutoFlight PT 24a StateSpace 01 15091e30 3 NUPN UNKNOWN
1158 AutoFlight PT 24a StateSpace 02 1 3 NUPN UNKNOWN
1159 AutoFlight PT 24a StateSpace 03 147 3 NUPN UNKNOWN
1160 AutoFlight PT 48a StateSpace 00 16136000000000002e35 3 NUPN UNKNOWN
1161 AutoFlight PT 48a StateSpace 01 2337e50 3 NUPN UNKNOWN
1162 AutoFlight PT 48a StateSpace 02 1 3 NUPN UNKNOWN
1163 AutoFlight PT 48a StateSpace 03 257 3 NUPN UNKNOWN
1164 AutoFlight PT 96a StateSpace 00 20424e96 3 NUPN UNKNOWN
1165 AutoFlight PT 96a StateSpace 01 5899000000000001e87 3 NUPN UNKNOWN
1166 AutoFlight PT 96a StateSpace 02 1 3 NUPN UNKNOWN
1167 AutoFlight PT 96a StateSpace 03 513 3 NUPN UNKNOWN
1168 CircularTrains PT 384 StateSpace 00 16377000000000002e72 3 NONE UNKNOWN
1169 CircularTrains PT 384 StateSpace 01 11782e86 3 NONE UNKNOWN
1170 CircularTrains PT 384 StateSpace 02 2 3 NONE UNKNOWN
1171 CircularTrains PT 384 StateSpace 03 384 3 NONE UNKNOWN
1172 ClientsAndServers PT N0001P0 StateSpace 01 113320 3 NONE UNKNOWN
1173 ClientsAndServers PT N0002P0 StateSpace 01 44030000 3 NONE UNKNOWN
1174 ClientsAndServers PT N0002P1 StateSpace 01 77859000 3 NONE UNKNOWN
1175 ClientsAndServers PT N0005P0 StateSpace 01 1215600000000 3 NONE UNKNOWN
1176 ClientsAndServers PT N0005P1 StateSpace 01 2063200000000 3 NONE UNKNOWN
1177 ClientsAndServers PT N0010P0 StateSpace 00 10911e11 3 NONE UNKNOWN
1178 ClientsAndServers PT N0010P0 StateSpace 01 13487e12 3 NONE UNKNOWN
1179 ClientsAndServers PT N0010P0 StateSpace 02 80 3 NONE UNKNOWN
1180 ClientsAndServers PT N0010P0 StateSpace 03 250 3 NONE UNKNOWN
1181 ClientsAndServers PT N0010P1 StateSpace 00 15502e11 3 NONE UNKNOWN
1182 ClientsAndServers PT N0010P1 StateSpace 01 19213e12 3 NONE UNKNOWN
1183 ClientsAndServers PT N0010P1 StateSpace 02 80 3 NONE UNKNOWN
1184 ClientsAndServers PT N0010P1 StateSpace 03 255 3 NONE UNKNOWN
1185 ClientsAndServers PT N0010P2 StateSpace 00 1898e12 3 NONE UNKNOWN
1186 ClientsAndServers PT N0010P2 StateSpace 01 23544e12 3 NONE UNKNOWN
1187 ClientsAndServers PT N0010P2 StateSpace 02 80 3 NONE UNKNOWN
1188 ClientsAndServers PT N0010P2 StateSpace 03 260 3 NONE UNKNOWN
1189 ClientsAndServers PT N0020P0 StateSpace 00 27979e15 3 NONE UNKNOWN
1190 ClientsAndServers PT N0020P0 StateSpace 01 40727e16 3 NONE UNKNOWN
1191 ClientsAndServers PT N0020P0 StateSpace 02 160 3 NONE UNKNOWN
1192 ClientsAndServers PT N0020P0 StateSpace 03 500 3 NONE UNKNOWN
1193 ClientsAndServers PT N0020P1 StateSpace 00 3433e16 3 NONE UNKNOWN
1194 ClientsAndServers PT N0020P1 StateSpace 01 50014e16 3 NONE UNKNOWN
1195 ClientsAndServers PT N0020P1 StateSpace 02 160 3 NONE UNKNOWN
1196 ClientsAndServers PT N0020P1 StateSpace 03 505 3 NONE UNKNOWN
1197 ClientsAndServers PT N0020P2 StateSpace 00 40258e15 3 NONE UNKNOWN
1198 ClientsAndServers PT N0020P2 StateSpace 01 58683e16 3 NONE UNKNOWN
1199 ClientsAndServers PT N0020P2 StateSpace 02 160 3 NONE UNKNOWN
1200 ClientsAndServers PT N0020P2 StateSpace 03 510 3 NONE UNKNOWN
1201 ClientsAndServers PT N0020P4 StateSpace 00 4951e16 3 NONE UNKNOWN
1202 ClientsAndServers PT N0020P4 StateSpace 01 72204e16 3 NONE UNKNOWN
1203 ClientsAndServers PT N0020P4 StateSpace 02 160 3 NONE UNKNOWN
1204 ClientsAndServers PT N0020P4 StateSpace 03 520 3 NONE UNKNOWN
1205 CloudDeployment PT 2b StateSpace 00 167660000000 3 NUPN UNKNOWN
1206 CloudDeployment PT 2b StateSpace 02 1 3 NUPN UNKNOWN
1207 CloudDeployment PT 2b StateSpace 03 9 3 NUPN UNKNOWN
1208 CloudReconfiguration PT 301 StateSpace 00 131970000000 3 NUPN UNKNOWN
1209 CloudReconfiguration PT 301 StateSpace 01 604390000000 3 NUPN UNKNOWN
1210 CloudReconfiguration PT 301 StateSpace 02 1 3 NUPN UNKNOWN
1211 CloudReconfiguration PT 301 StateSpace 03 5 3 NUPN UNKNOWN
1212 CloudReconfiguration PT 302 StateSpace 00 202540000000 3 NUPN UNKNOWN
1213 CloudReconfiguration PT 302 StateSpace 01 927480000000 3 NUPN UNKNOWN
1214 CloudReconfiguration PT 302 StateSpace 02 1 3 NUPN UNKNOWN
1215 CloudReconfiguration PT 302 StateSpace 03 5 3 NUPN UNKNOWN
1216 CloudReconfiguration PT 303 StateSpace 00 55244000000 3 NUPN UNKNOWN
1217 CloudReconfiguration PT 303 StateSpace 01 253510000000 3 NUPN UNKNOWN
1218 CloudReconfiguration PT 303 StateSpace 02 1 3 NUPN UNKNOWN
1219 CloudReconfiguration PT 303 StateSpace 03 5 3 NUPN UNKNOWN
1220 CloudReconfiguration PT 304 StateSpace 00 131970000000 3 NUPN UNKNOWN
1221 CloudReconfiguration PT 304 StateSpace 01 604390000000 3 NUPN UNKNOWN
1222 CloudReconfiguration PT 304 StateSpace 02 1 3 NUPN UNKNOWN
1223 CloudReconfiguration PT 304 StateSpace 03 5 3 NUPN UNKNOWN
1224 CloudReconfiguration PT 305 StateSpace 00 131390000000 3 NUPN UNKNOWN
1225 CloudReconfiguration PT 305 StateSpace 01 601560000000 3 NUPN UNKNOWN
1226 CloudReconfiguration PT 305 StateSpace 02 1 3 NUPN UNKNOWN
1227 CloudReconfiguration PT 305 StateSpace 03 5 3 NUPN UNKNOWN
1228 CloudReconfiguration PT 306 StateSpace 00 55244000000 3 NUPN UNKNOWN
1229 CloudReconfiguration PT 306 StateSpace 01 253510000000 3 NUPN UNKNOWN
1230 CloudReconfiguration PT 306 StateSpace 02 1 3 NUPN UNKNOWN
1231 CloudReconfiguration PT 306 StateSpace 03 5 3 NUPN UNKNOWN
1232 CloudReconfiguration PT 307 StateSpace 00 69905000000 3 NUPN UNKNOWN
1233 CloudReconfiguration PT 307 StateSpace 01 319970000000 3 NUPN UNKNOWN
1234 CloudReconfiguration PT 307 StateSpace 02 1 3 NUPN UNKNOWN
1235 CloudReconfiguration PT 307 StateSpace 03 5 3 NUPN UNKNOWN
1236 CloudReconfiguration PT 308 StateSpace 00 202540000000 3 NUPN UNKNOWN
1237 CloudReconfiguration PT 308 StateSpace 01 927480000000 3 NUPN UNKNOWN
1238 CloudReconfiguration PT 308 StateSpace 02 1 3 NUPN UNKNOWN
1239 CloudReconfiguration PT 308 StateSpace 03 5 3 NUPN UNKNOWN
1240 CloudReconfiguration PT 309 StateSpace 00 202540000000 3 NUPN UNKNOWN
1241 CloudReconfiguration PT 309 StateSpace 01 927480000000 3 NUPN UNKNOWN
1242 CloudReconfiguration PT 309 StateSpace 02 1 3 NUPN UNKNOWN
1243 CloudReconfiguration PT 309 StateSpace 03 5 3 NUPN UNKNOWN
1244 CloudReconfiguration PT 310 StateSpace 00 131390000000 3 NUPN UNKNOWN
1245 CloudReconfiguration PT 310 StateSpace 01 601560000000 3 NUPN UNKNOWN
1246 CloudReconfiguration PT 310 StateSpace 02 1 3 NUPN UNKNOWN
1247 CloudReconfiguration PT 310 StateSpace 03 5 3 NUPN UNKNOWN
1248 CloudReconfiguration PT 311 StateSpace 00 107680000000 3 NUPN UNKNOWN
1249 CloudReconfiguration PT 311 StateSpace 01 493710000000 3 NUPN UNKNOWN
1250 CloudReconfiguration PT 311 StateSpace 02 1 3 NUPN UNKNOWN
1251 CloudReconfiguration PT 311 StateSpace 03 5 3 NUPN UNKNOWN
1252 CloudReconfiguration PT 312 StateSpace 00 202540000000 3 NUPN UNKNOWN
1253 CloudReconfiguration PT 312 StateSpace 01 927480000000 3 NUPN UNKNOWN
1254 CloudReconfiguration PT 312 StateSpace 02 1 3 NUPN UNKNOWN
1255 CloudReconfiguration PT 312 StateSpace 03 5 3 NUPN UNKNOWN
1256 CloudReconfiguration PT 313 StateSpace 00 202540000000 3 NUPN UNKNOWN
1257 CloudReconfiguration PT 313 StateSpace 01 927480000000 3 NUPN UNKNOWN
1258 CloudReconfiguration PT 313 StateSpace 02 1 3 NUPN UNKNOWN
1259 CloudReconfiguration PT 313 StateSpace 03 5 3 NUPN UNKNOWN
1260 CloudReconfiguration PT 314 StateSpace 00 107680000000 3 NUPN UNKNOWN
1261 CloudReconfiguration PT 314 StateSpace 01 493710000000 3 NUPN UNKNOWN
1262 CloudReconfiguration PT 314 StateSpace 02 1 3 NUPN UNKNOWN
1263 CloudReconfiguration PT 314 StateSpace 03 5 3 NUPN UNKNOWN
1264 CloudReconfiguration PT 315 StateSpace 00 131390000000 3 NUPN UNKNOWN
1265 CloudReconfiguration PT 315 StateSpace 01 601560000000 3 NUPN UNKNOWN
1266 CloudReconfiguration PT 315 StateSpace 02 1 3 NUPN UNKNOWN
1267 CloudReconfiguration PT 315 StateSpace 03 5 3 NUPN UNKNOWN
1268 CloudReconfiguration PT 316 StateSpace 00 131390000000 3 NUPN UNKNOWN
1269 CloudReconfiguration PT 316 StateSpace 01 601560000000 3 NUPN UNKNOWN
1270 CloudReconfiguration PT 316 StateSpace 02 1 3 NUPN UNKNOWN
1271 CloudReconfiguration PT 316 StateSpace 03 5 3 NUPN UNKNOWN
1272 CloudReconfiguration PT 317 StateSpace 00 172720000000 3 NUPN UNKNOWN
1273 CloudReconfiguration PT 317 StateSpace 01 792120000000 3 NUPN UNKNOWN
1274 CloudReconfiguration PT 317 StateSpace 02 1 3 NUPN UNKNOWN
1275 CloudReconfiguration PT 317 StateSpace 03 5 3 NUPN UNKNOWN
1276 CloudReconfiguration PT 318 StateSpace 00 286130000000 3 NUPN UNKNOWN
1277 CloudReconfiguration PT 318 StateSpace 01 1310300000000 3 NUPN UNKNOWN
1278 CloudReconfiguration PT 318 StateSpace 02 1 3 NUPN UNKNOWN
1279 CloudReconfiguration PT 318 StateSpace 03 5 3 NUPN UNKNOWN
1280 CloudReconfiguration PT 319 StateSpace 00 131400000000 3 NUPN UNKNOWN
1281 CloudReconfiguration PT 319 StateSpace 01 601580000000 3 NUPN UNKNOWN
1282 CloudReconfiguration PT 319 StateSpace 02 1 3 NUPN UNKNOWN
1283 CloudReconfiguration PT 319 StateSpace 03 5 3 NUPN UNKNOWN
1284 CloudReconfiguration PT 320 StateSpace 00 185470000000 3 NUPN UNKNOWN
1285 CloudReconfiguration PT 320 StateSpace 01 849140000000 3 NUPN UNKNOWN
1286 CloudReconfiguration PT 320 StateSpace 02 1 3 NUPN UNKNOWN
1287 CloudReconfiguration PT 320 StateSpace 03 5 3 NUPN UNKNOWN
1288 CloudReconfiguration PT 401 StateSpace 00 192940000000000 3 NUPN UNKNOWN
1289 CloudReconfiguration PT 401 StateSpace 01 1102e12 3 NUPN UNKNOWN
1290 CloudReconfiguration PT 401 StateSpace 02 1 3 NUPN UNKNOWN
1291 CloudReconfiguration PT 401 StateSpace 03 6 3 NUPN UNKNOWN
1292 CloudReconfiguration PT 402 StateSpace 00 192940000000000 3 NUPN UNKNOWN
1293 CloudReconfiguration PT 402 StateSpace 01 1102e12 3 NUPN UNKNOWN
1294 CloudReconfiguration PT 402 StateSpace 02 1 3 NUPN UNKNOWN
1295 CloudReconfiguration PT 402 StateSpace 03 6 3 NUPN UNKNOWN
1296 DES PT 10a StateSpace 00 1600300000000 3 NUPN UNKNOWN
1297 DES PT 10a StateSpace 02 1 3 NUPN UNKNOWN
1298 DES PT 10a StateSpace 03 51 3 NUPN UNKNOWN
1299 DES PT 20a StateSpace 00 7969300000000 3 NUPN UNKNOWN
1300 DES PT 20a StateSpace 02 1 3 NUPN UNKNOWN
1301 DES PT 20a StateSpace 03 51 3 NUPN UNKNOWN
1302 DES PT 20b StateSpace 00 82277e17 3 NUPN UNKNOWN
1303 DES PT 20b StateSpace 02 1 3 NUPN UNKNOWN
1304 DES PT 20b StateSpace 03 51 3 NUPN UNKNOWN
1305 DES PT 30a StateSpace 00 19178000000000 3 NUPN UNKNOWN
1306 DES PT 30a StateSpace 02 1 3 NUPN UNKNOWN
1307 DES PT 30a StateSpace 03 51 3 NUPN UNKNOWN
1308 DES PT 30b StateSpace 00 19679e18 3 NUPN UNKNOWN
1309 DES PT 30b StateSpace 02 1 3 NUPN UNKNOWN
1310 DES PT 30b StateSpace 03 51 3 NUPN UNKNOWN
1311 DES PT 40a StateSpace 00 35226000000000 3 NUPN UNKNOWN
1312 DES PT 40a StateSpace 02 1 3 NUPN UNKNOWN
1313 DES PT 40a StateSpace 03 51 3 NUPN UNKNOWN
1314 DES PT 50a StateSpace 00 56113000000000 3 NUPN UNKNOWN
1315 DES PT 50a StateSpace 02 1 3 NUPN UNKNOWN
1316 DES PT 50a StateSpace 03 51 3 NUPN UNKNOWN
1317 DES PT 60a StateSpace 00 81839000000000 3 NUPN UNKNOWN
1318 DES PT 60a StateSpace 02 1 3 NUPN UNKNOWN
1319 DES PT 60a StateSpace 03 51 3 NUPN UNKNOWN
1320 DLCround PT 03a StateSpace 01 1664200000 3 NUPN UNKNOWN
1321 DLCround PT 04a StateSpace 01 21918000000 3 NUPN UNKNOWN
1322 DLCround PT 05a StateSpace 01 278170000000 3 NUPN UNKNOWN
1323 DLCround PT 06a StateSpace 01 3434100000000 3 NUPN UNKNOWN
1324 DLCround PT 07a StateSpace 01 41489000000000 3 NUPN UNKNOWN
1325 DLCround PT 08a StateSpace 01 492620000000000 3 NUPN UNKNOWN
1326 DLCround PT 09a StateSpace 01 57658e11 3 NUPN UNKNOWN
1327 DLCround PT 10a StateSpace 01 66679e12 3 NUPN UNKNOWN
1328 DLCround PT 11a StateSpace 01 76324e13 3 NUPN UNKNOWN
1329 DLCround PT 12a StateSpace 01 86594e14 3 NUPN UNKNOWN
1330 DLCround PT 13a StateSpace 00 2401e14 3 NUPN UNKNOWN
1331 DLCround PT 13a StateSpace 01 97487e15 3 NUPN UNKNOWN
1332 DLCround PT 13a StateSpace 02 1 3 NUPN UNKNOWN
1333 DLCround PT 13a StateSpace 03 312 3 NUPN UNKNOWN
1334 DLCshifumi PT 2a StateSpace 01 50962e12 3 NUPN UNKNOWN
1335 DLCshifumi PT 3a StateSpace 01 33784e34 3 NUPN UNKNOWN
1336 DLCshifumi PT 4a StateSpace 01 21584999999999998e54 3 NUPN UNKNOWN
1337 DLCshifumi PT 5a StateSpace 00 88524e104 3 NUPN UNKNOWN
1338 DLCshifumi PT 5a StateSpace 01 15631000000000002e96 3 NUPN UNKNOWN
1339 DLCshifumi PT 5a StateSpace 02 1 3 NUPN UNKNOWN
1340 DLCshifumi PT 5a StateSpace 03 1378 3 NUPN UNKNOWN
1341 DLCshifumi PT 6a StateSpace 00 44972e156 3 NUPN UNKNOWN
1342 DLCshifumi PT 6a StateSpace 01 13815000000000003e148 3 NUPN UNKNOWN
1343 DLCshifumi PT 6a StateSpace 02 1 3 NUPN UNKNOWN
1344 DLCshifumi PT 6a StateSpace 03 2415 3 NUPN UNKNOWN
1345 DNAwalker PT 01track12Block1 StateSpace 01 13149 3 NONE UNKNOWN
1346 DNAwalker PT 02track12Block2 StateSpace 01 21642 3 NONE UNKNOWN
1347 DNAwalker PT 03track12BlockBoth StateSpace 01 20281 3 NONE UNKNOWN
1348 DNAwalker PT 04track28LL StateSpace 01 2961900000 3 NONE UNKNOWN
1349 DNAwalker PT 05track28LR StateSpace 01 2983900000 3 NONE UNKNOWN
1350 DNAwalker PT 06track28RL StateSpace 01 2983900000 3 NONE UNKNOWN
1351 DNAwalker PT 07track28RR StateSpace 01 2961900000 3 NONE UNKNOWN
1352 DNAwalker PT 08ringLL StateSpace 01 237020000 3 NONE UNKNOWN
1353 DNAwalker PT 09ringLR StateSpace 01 240890000 3 NONE UNKNOWN
1354 DNAwalker PT 10ringRL StateSpace 01 237020000 3 NONE UNKNOWN
1355 DNAwalker PT 11ringRR StateSpace 01 240890000 3 NONE UNKNOWN
1356 DNAwalker PT 12ringLLLarge StateSpace 01 15271000000 3 NONE UNKNOWN
1357 DNAwalker PT 13ringRLLarge StateSpace 01 15271000000 3 NONE UNKNOWN
1358 DNAwalker PT 14ringLRLarge StateSpace 01 15025000000 3 NONE UNKNOWN
1359 DNAwalker PT 15ringRRLarge StateSpace 01 15025000000 3 NONE UNKNOWN
1360 DatabaseWithMutex COL 02 StateSpace 01 312 3 NONE UNKNOWN
1361 DatabaseWithMutex PT 02 StateSpace 01 312 3 GEN UNKNOWN
1362 Dekker PT 010 StateSpace 01 171530 3 GEN UNKNOWN
1363 Dekker PT 100 StateSpace 00 6465e28 3 GEN UNKNOWN
1364 Dekker PT 100 StateSpace 01 16327e31 3 GEN UNKNOWN
1365 Dekker PT 100 StateSpace 02 1 3 GEN UNKNOWN
1366 Dekker PT 100 StateSpace 03 200 3 GEN UNKNOWN
1367 Dekker PT 200 StateSpace 00 1623e59 3 GEN UNKNOWN
1368 Dekker PT 200 StateSpace 01 16312e62 1 GEN UNKNOWN
1369 Dekker PT 200 StateSpace 02 1 3 GEN UNKNOWN
1370 Dekker PT 200 StateSpace 03 400 3 GEN UNKNOWN
1371 Diffusion2D PT D40N010 StateSpace 01 23868e23 3 NONE UNKNOWN
1372 Diffusion2D PT D50N010 StateSpace 01 20694000000000002e13 3 NONE UNKNOWN
1373 DrinkVendingMachine COL 10 StateSpace 00 11529e14 3 NONE UNKNOWN
1374 DrinkVendingMachine COL 10 StateSpace 01 34501e17 3 NONE UNKNOWN
1375 DrinkVendingMachine COL 10 StateSpace 02 1 3 NONE UNKNOWN
1376 DrinkVendingMachine COL 10 StateSpace 03 60 3 NONE UNKNOWN
1377 DrinkVendingMachine PT 10 StateSpace 01 34501e17 3 NONE UNKNOWN
1378 ERK PT 000001 StateSpace 01 30 3 GEN UNKNOWN
1379 ERK PT 001000 StateSpace 00 14082e12 3 NONE UNKNOWN
1380 ERK PT 001000 StateSpace 01 15429e13 3 NONE UNKNOWN
1381 ERK PT 001000 StateSpace 02 1000 3 NONE UNKNOWN
1382 ERK PT 001000 StateSpace 03 5000 3 NONE UNKNOWN
1383 EnergyBus PT none StateSpace 01 40859000000000 3 NUPN UNKNOWN
1384 FMS PT 002 StateSpace 01 16311 3 NONE UNKNOWN
1385 FMS PT 100 StateSpace 01 44401e18 3 NONE UNKNOWN
1386 FMS PT 200 StateSpace 01 32957e22 3 NONE UNKNOWN
1387 FMS PT 500 StateSpace 00 27006000000000003e14 3 NONE UNKNOWN
1388 FMS PT 500 StateSpace 01 46302e27 3 NONE UNKNOWN
1389 FMS PT 500 StateSpace 02 500 3 NONE UNKNOWN
1390 FMS PT 500 StateSpace 03 1506 3 NONE UNKNOWN
1391 FlexibleBarrier PT 04a StateSpace 01 121830 3 NUPN UNKNOWN
1392 FlexibleBarrier PT 04b StateSpace 01 4501600000 3 NUPN UNKNOWN
1393 FlexibleBarrier PT 06a StateSpace 01 26666000 3 NUPN UNKNOWN
1394 FlexibleBarrier PT 08a StateSpace 01 5201600000 3 NUPN UNKNOWN
1395 FlexibleBarrier PT 10a StateSpace 01 951980000000 3 NUPN UNKNOWN
1396 FlexibleBarrier PT 12a StateSpace 01 167300000000000 3 NUPN UNKNOWN
1397 FlexibleBarrier PT 14a StateSpace 01 28585e12 3 NUPN UNKNOWN
1398 FlexibleBarrier PT 16a StateSpace 01 47839e14 3 NUPN UNKNOWN
1399 FlexibleBarrier PT 18a StateSpace 01 78798e16 3 NUPN UNKNOWN
1400 FlexibleBarrier PT 20a StateSpace 00 3.8337999999999997e+21 3 NUPN UNKNOWN
1401 FlexibleBarrier PT 20a StateSpace 01 1.2815999999999999e+23 3 NUPN UNKNOWN
1402 FlexibleBarrier PT 20a StateSpace 02 1 3 NUPN UNKNOWN
1403 FlexibleBarrier PT 20a StateSpace 03 22 3 NUPN UNKNOWN
1404 FlexibleBarrier PT 22a StateSpace 00 55206e19 3 NUPN UNKNOWN
1405 FlexibleBarrier PT 22a StateSpace 01 20633e21 3 NUPN UNKNOWN
1406 FlexibleBarrier PT 22a StateSpace 02 1 3 NUPN UNKNOWN
1407 FlexibleBarrier PT 22a StateSpace 03 24 3 NUPN UNKNOWN
1408 GPPP PT C0001N0000000001 StateSpace 01 42408 3 NONE UNKNOWN
1409 GPPP PT C0001N0000000010 StateSpace 01 9555700 3 NONE UNKNOWN
1410 GPPP PT C0001N0000000100 StateSpace 01 869740000 3 NONE UNKNOWN
1411 GPPP PT C0100N0000000100 StateSpace 00 2454e12 3 NONE UNKNOWN
1412 GPPP PT C0100N0000000100 StateSpace 01 23484e12 3 NONE UNKNOWN
1413 GPPP PT C0100N0000000100 StateSpace 02 1100 3 NONE UNKNOWN
1414 GPPP PT C0100N0000000100 StateSpace 03 4004 3 NONE UNKNOWN
1415 GlobalResAllocation COL 03 StateSpace 01 116180 3 NONE UNKNOWN
1416 GlobalResAllocation PT 03 StateSpace 01 116180 3 NONE UNKNOWN
1417 HouseConstruction PT 002 StateSpace 01 4780 3 NONE UNKNOWN
1418 HouseConstruction PT 050 StateSpace 00 15682e15 3 NONE UNKNOWN
1419 HouseConstruction PT 050 StateSpace 01 23266e16 3 NONE UNKNOWN
1420 HouseConstruction PT 050 StateSpace 02 50 3 NONE UNKNOWN
1421 HouseConstruction PT 050 StateSpace 03 300 3 NONE UNKNOWN
1422 HouseConstruction PT 100 StateSpace 00 15805e20 3 NONE UNKNOWN
1423 HouseConstruction PT 100 StateSpace 01 2569e22 3 NONE UNKNOWN
1424 HouseConstruction PT 100 StateSpace 02 100 3 NONE UNKNOWN
1425 HouseConstruction PT 100 StateSpace 03 600 3 NONE UNKNOWN
1426 IOTPpurchase PT C01M01P01D01 StateSpace 01 436 3 GEN UNKNOWN
1427 IOTPpurchase PT C12M10P15D17 StateSpace 01 10921e11 3 NONE UNKNOWN
1428 JoinFreeModules PT 0003 StateSpace 01 225450 3 NONE UNKNOWN
1429 JoinFreeModules PT 0004 StateSpace 01 138230000 3 NONE UNKNOWN
1430 JoinFreeModules PT 0005 StateSpace 01 150820000000 3 NONE UNKNOWN
1431 JoinFreeModules PT 0010 StateSpace 01 57218e30 3 NONE UNKNOWN
1432 JoinFreeModules PT 0020 StateSpace 00 41123e80 3 NONE UNKNOWN
1433 JoinFreeModules PT 0020 StateSpace 01 40369e82 3 NONE UNKNOWN
1434 JoinFreeModules PT 0020 StateSpace 02 23 3 NONE UNKNOWN
1435 JoinFreeModules PT 0020 StateSpace 03 461 3 NONE UNKNOWN
1436 JoinFreeModules PT 0050 StateSpace 00 5746099999999999e264 3 NONE UNKNOWN
1437 JoinFreeModules PT 0050 StateSpace 01 18333e278 3 NONE UNKNOWN
1438 JoinFreeModules PT 0050 StateSpace 02 53 3 NONE UNKNOWN
1439 JoinFreeModules PT 0050 StateSpace 03 2651 3 NONE UNKNOWN
1440 LamportFastMutEx COL 2 StateSpace 01 716 3 NONE UNKNOWN
1441 LamportFastMutEx PT 2 StateSpace 01 716 3 GEN UNKNOWN
1442 MAPK PT 008 StateSpace 01 78949000 3 NONE UNKNOWN
1443 MAPK PT 320 StateSpace 00 26163e23 3 NONE UNKNOWN
1444 MAPK PT 320 StateSpace 01 75604e24 3 NONE UNKNOWN
1445 MAPK PT 320 StateSpace 02 320 3 NONE UNKNOWN
1446 MAPK PT 320 StateSpace 03 1440 3 NONE UNKNOWN
1447 MultiwaySync PT none StateSpace 01 21892e17 3 NUPN UNKNOWN
1448 NeoElection COL 2 StateSpace 01 448 3 NONE UNKNOWN
1449 NeoElection PT 2 StateSpace 01 448 3 GEN UNKNOWN
1450 PaceMaker PT none StateSpace 01 80565e14 3 NONE UNKNOWN
1451 Parking PT 104 StateSpace 01 339200 3 NUPN UNKNOWN
1452 Peterson COL 2 StateSpace 01 62262 3 NONE UNKNOWN
1453 Peterson PT 2 StateSpace 01 62262 3 GEN UNKNOWN
1454 PhaseVariation PT D02CS010 StateSpace 01 137160 3 NONE UNKNOWN
1455 Philosophers COL 000005 StateSpace 01 945 3 NONE UNKNOWN
1456 Philosophers PT 000005 StateSpace 01 945 3 GEN UNKNOWN
1457 PhilosophersDyn COL 03 StateSpace 01 768 3 NONE UNKNOWN
1458 PhilosophersDyn PT 03 StateSpace 01 768 3 NONE UNKNOWN
1459 PolyORBLF PT S02J04T06 StateSpace 01 393950000 2 NONE UNKNOWN
1460 ProductionCell PT none StateSpace 01 153380000000000 3 NUPN UNKNOWN
1461 Raft PT 02 StateSpace 01 55824 3 NUPN UNKNOWN
1462 Raft PT 08 StateSpace 00 10842e42 3 NUPN UNKNOWN
1463 Raft PT 08 StateSpace 01 39801e43 3 NUPN UNKNOWN
1464 Raft PT 08 StateSpace 02 1 3 NUPN UNKNOWN
1465 Raft PT 08 StateSpace 03 66 3 NUPN UNKNOWN
1466 Raft PT 09 StateSpace 00 82718e53 3 NUPN UNKNOWN
1467 Raft PT 09 StateSpace 01 36404e55 3 NUPN UNKNOWN
1468 Raft PT 09 StateSpace 02 1 3 NUPN UNKNOWN
1469 Raft PT 09 StateSpace 03 83 3 NUPN UNKNOWN
1470 Raft PT 10 StateSpace 00 15777e67 3 NUPN UNKNOWN
1471 Raft PT 10 StateSpace 01 8196300000000001e57 3 NUPN UNKNOWN
1472 Raft PT 10 StateSpace 02 1 3 NUPN UNKNOWN
1473 Raft PT 10 StateSpace 03 102 3 NUPN UNKNOWN
1474 Railroad PT 005 StateSpace 01 7699 3 GEN UNKNOWN
1475 Railroad PT 020 StateSpace 00 2195500000000 3 GEN UNKNOWN
1476 Railroad PT 020 StateSpace 01 34035000000000 3 GEN UNKNOWN
1477 Railroad PT 020 StateSpace 02 1 3 GEN UNKNOWN
1478 Railroad PT 020 StateSpace 03 46 3 GEN UNKNOWN
1479 Referendum COL 0020 StateSpace 00 3486800000 3 NONE UNKNOWN
1480 Referendum COL 0020 StateSpace 02 1 3 NONE UNKNOWN
1481 Referendum COL 0020 StateSpace 03 20 3 NONE UNKNOWN
1482 Referendum COL 0050 StateSpace 00 7179e20 3 NONE UNKNOWN
1483 Referendum COL 0050 StateSpace 02 1 3 NONE UNKNOWN
1484 Referendum COL 0050 StateSpace 03 50 3 NONE UNKNOWN
1485 Referendum COL 0100 StateSpace 00 51538e43 3 NONE UNKNOWN
1486 Referendum COL 0100 StateSpace 02 1 3 NONE UNKNOWN
1487 Referendum COL 0100 StateSpace 03 100 3 NONE UNKNOWN
1488 Referendum COL 0200 StateSpace 00 26561e91 3 NONE UNKNOWN
1489 Referendum COL 0200 StateSpace 02 1 3 NONE UNKNOWN
1490 Referendum COL 0200 StateSpace 03 200 3 NONE UNKNOWN
1491 Referendum COL 0500 StateSpace 00 3636000000000001e223 3 NONE UNKNOWN
1492 Referendum COL 0500 StateSpace 02 1 3 NONE UNKNOWN
1493 Referendum COL 0500 StateSpace 03 500 3 NONE UNKNOWN
1494 Referendum COL 1000 StateSpace 00 Inf 3 NONE UNKNOWN
1495 Referendum COL 1000 StateSpace 02 1 3 NONE UNKNOWN
1496 Referendum COL 1000 StateSpace 03 1000 3 NONE UNKNOWN
1497 Referendum PT 0050 StateSpace 00 7179e20 3 GEN UNKNOWN
1498 Referendum PT 0050 StateSpace 02 1 3 GEN UNKNOWN
1499 Referendum PT 0050 StateSpace 03 50 3 GEN UNKNOWN
1500 Referendum PT 0100 StateSpace 00 51538e43 3 GEN UNKNOWN
1501 Referendum PT 0100 StateSpace 02 1 3 GEN UNKNOWN
1502 Referendum PT 0100 StateSpace 03 100 3 GEN UNKNOWN
1503 Referendum PT 0200 StateSpace 00 26561e91 3 GEN UNKNOWN
1504 Referendum PT 0200 StateSpace 02 1 3 GEN UNKNOWN
1505 Referendum PT 0200 StateSpace 03 200 3 GEN UNKNOWN
1506 Referendum PT 0500 StateSpace 00 3636000000000001e223 3 GEN UNKNOWN
1507 Referendum PT 0500 StateSpace 02 1 3 GEN UNKNOWN
1508 Referendum PT 0500 StateSpace 03 500 3 GEN UNKNOWN
1509 Referendum PT 1000 StateSpace 00 Inf 3 GEN UNKNOWN
1510 Referendum PT 1000 StateSpace 02 1 3 GEN UNKNOWN
1511 Referendum PT 1000 StateSpace 03 1000 3 GEN UNKNOWN
1512 ResAllocation PT R003C010 StateSpace 01 6286700 3 GEN UNKNOWN
1513 ResAllocation PT R003C015 StateSpace 01 6485700000 3 GEN UNKNOWN
1514 ResAllocation PT R003C020 StateSpace 01 6002900000000 3 GEN UNKNOWN
1515 ResAllocation PT R003C050 StateSpace 01 17616000000000002e14 3 GEN UNKNOWN
1516 ResAllocation PT R003C100 StateSpace 01 10194e55 3 GEN UNKNOWN
1517 ResAllocation PT R100C002 StateSpace 01 16654e29 3 GEN UNKNOWN
1518 Ring PT none StateSpace 01 9662800000000 3 GEN UNKNOWN
1519 RobotManipulation PT 00001 StateSpace 01 274 3 NONE UNKNOWN
1520 RobotManipulation PT 00002 StateSpace 01 5500 3 NONE UNKNOWN
1521 RobotManipulation PT 00005 StateSpace 01 1137700 3 NONE UNKNOWN
1522 RobotManipulation PT 00010 StateSpace 01 157280000 3 NONE UNKNOWN
1523 RobotManipulation PT 00020 StateSpace 01 37588000000 3 NONE UNKNOWN
1524 RobotManipulation PT 00050 StateSpace 00 8526800000000 3 NONE UNKNOWN
1525 RobotManipulation PT 00050 StateSpace 01 86729000000000 3 NONE UNKNOWN
1526 RobotManipulation PT 00050 StateSpace 02 101 3 NONE UNKNOWN
1527 RobotManipulation PT 00050 StateSpace 03 502 3 NONE UNKNOWN
1528 RwMutex PT r0010w0010 StateSpace 01 10260 3 GEN UNKNOWN
1529 RwMutex PT r0100w0010 StateSpace 00 12677e26 3 GEN UNKNOWN
1530 RwMutex PT r0100w0010 StateSpace 01 12676999999999999e16 3 GEN UNKNOWN
1531 RwMutex PT r0100w0010 StateSpace 02 1 3 GEN UNKNOWN
1532 RwMutex PT r0100w0010 StateSpace 03 210 3 GEN UNKNOWN
1533 RwMutex PT r0500w0010 StateSpace 00 32734000000000006e134 3 GEN UNKNOWN
1534 RwMutex PT r0500w0010 StateSpace 01 16367000000000001e137 3 GEN UNKNOWN
1535 RwMutex PT r0500w0010 StateSpace 02 1 3 GEN UNKNOWN
1536 RwMutex PT r0500w0010 StateSpace 03 1010 3 GEN UNKNOWN
1537 RwMutex PT r1000w0010 StateSpace 00 10715000000000001e285 3 GEN UNKNOWN
1538 RwMutex PT r1000w0010 StateSpace 01 10715000000000001e288 3 GEN UNKNOWN
1539 RwMutex PT r1000w0010 StateSpace 02 1 3 GEN UNKNOWN
1540 RwMutex PT r1000w0010 StateSpace 03 2010 3 GEN UNKNOWN
1541 SafeBus COL 03 StateSpace 01 12888 3 NONE UNKNOWN
1542 SafeBus PT 03 StateSpace 01 12888 3 GEN UNKNOWN
1543 SharedMemory COL 000005 StateSpace 01 10395 3 NONE UNKNOWN
1544 SharedMemory PT 000005 StateSpace 01 10395 3 GEN UNKNOWN
1545 SimpleLoadBal PT 02 StateSpace 01 2650 3 GEN UNKNOWN
1546 SmallOperatingSystem PT MT0016DC0008 StateSpace 01 100900 3 NONE UNKNOWN
1547 Solitaire PT SqrNC5x5 StateSpace 01 213960000 3 GEN UNKNOWN
1548 SquareGrid PT 020102 StateSpace 01 40384000000000 3 NONE UNKNOWN
1549 SwimmingPool PT 01 StateSpace 01 450000 3 NONE UNKNOWN
1550 SwimmingPool PT 08 StateSpace 01 60534000000 3 NONE UNKNOWN
1551 SwimmingPool PT 09 StateSpace 01 121320000000 3 NONE UNKNOWN
1552 SwimmingPool PT 10 StateSpace 01 226180000000 3 NONE UNKNOWN
1553 TCPcondis PT 05 StateSpace 01 24899000 3 NONE UNKNOWN
1554 TokenRing COL 005 StateSpace 01 365 3 NONE UNKNOWN
1555 TokenRing PT 005 StateSpace 01 365 3 GEN UNKNOWN
1556 TokenRing PT 040 StateSpace 00 10114e18 3 GEN UNKNOWN
1557 TokenRing PT 040 StateSpace 01 20228e19 3 GEN UNKNOWN
1558 TokenRing PT 040 StateSpace 02 1 3 GEN UNKNOWN
1559 TokenRing PT 040 StateSpace 03 41 3 GEN UNKNOWN
1560 TriangularGrid PT 4022 StateSpace 00 6194000000000001e34 3 NONE UNKNOWN
1561 TriangularGrid PT 4022 StateSpace 01 35074e47 2 NONE UNKNOWN
1562 TriangularGrid PT 4022 StateSpace 02 8 3 NONE UNKNOWN
1563 TriangularGrid PT 4022 StateSpace 03 188 3 NONE UNKNOWN
1564 UtahNoC PT none StateSpace 01 77248000000 3 NUPN UNKNOWN
1565 Vasy2003 PT none StateSpace 01 34003e19 3 NUPN UNKNOWN
1566 Angiogenesis PT 01 StateSpace 01 288 3 GEN UNKNOWN
1567 Angiogenesis PT 15 StateSpace 01 27474e12 3 NONE UNKNOWN
1568 CircadianClock PT 001000 StateSpace 00 402e13 3 NONE UNKNOWN
1569 CircadianClock PT 001000 StateSpace 02 1000 3 NONE UNKNOWN
1570 CircadianClock PT 001000 StateSpace 03 5002 3 NONE UNKNOWN
1571 IBM319 PT none StateSpace 01 6705 3 GEN UNKNOWN
1572 IBM5964 PT none StateSpace 01 59846 3 NONE UNKNOWN
1573 IBM703 PT none StateSpace 01 20499 3 GEN UNKNOWN
1574 JoinFreeModules PT 0100 StateSpace 00 Inf 3 NONE UNKNOWN
1575 JoinFreeModules PT 0100 StateSpace 02 103 3 NONE UNKNOWN
1576 JoinFreeModules PT 0100 StateSpace 03 10301 3 NONE UNKNOWN
1577 PermAdmissibility COL 01 StateSpace 01 54600 3 NONE UNKNOWN
1578 PermAdmissibility PT 01 StateSpace 01 54600 3 NONE UNKNOWN
1579 PolyORBLF COL S02J04T06 StateSpace 00 140750000 3 NONE UNKNOWN
1580 PolyORBLF COL S02J04T06 StateSpace 02 10 3 NONE UNKNOWN
1581 PolyORBLF COL S02J04T06 StateSpace 03 63 3 NONE UNKNOWN
1582 PolyORBNT COL S05J20 StateSpace 00 693820000 3 NONE UNKNOWN
1583 PolyORBNT COL S05J20 StateSpace 02 10 3 NONE UNKNOWN
1584 PolyORBNT COL S05J20 StateSpace 03 58 3 NONE UNKNOWN
1585 QuasiCertifProtocol COL 02 StateSpace 01 3084 3 NONE UNKNOWN
1586 QuasiCertifProtocol PT 02 StateSpace 01 3084 3 NONE UNKNOWN
1587 QuasiCertifProtocol PT 10 StateSpace 00 21512000000 3 NONE UNKNOWN
1588 QuasiCertifProtocol PT 10 StateSpace 02 6 3 NONE UNKNOWN
1589 QuasiCertifProtocol PT 10 StateSpace 03 161 3 NONE UNKNOWN
1590 Referendum COL 0010 StateSpace 01 393660 3 NONE UNKNOWN
1591 Referendum COL 0015 StateSpace 01 143490000 3 NONE UNKNOWN
1592 Referendum COL 0020 StateSpace 01 46490000000 3 NONE UNKNOWN
1593 Referendum COL 0050 StateSpace 01 2393e22 3 NONE UNKNOWN
1594 Referendum COL 0100 StateSpace 01 34359e45 3 NONE UNKNOWN
1595 Referendum COL 0200 StateSpace 01 35415e93 3 NONE UNKNOWN
1596 Referendum COL 0500 StateSpace 01 12120000000000004e225 3 NONE UNKNOWN
1597 Referendum COL 1000 StateSpace 01 Inf 3 NONE UNKNOWN
1598 Referendum PT 0010 StateSpace 01 393660 3 GEN UNKNOWN
1599 Referendum PT 0015 StateSpace 01 143490000 3 GEN UNKNOWN
1600 Referendum PT 0020 StateSpace 01 46490000000 3 GEN UNKNOWN
1601 Referendum PT 0050 StateSpace 01 2393e22 3 GEN UNKNOWN
1602 Referendum PT 0100 StateSpace 01 34359e45 3 GEN UNKNOWN
1603 Referendum PT 0200 StateSpace 01 35415e93 3 GEN UNKNOWN
1604 Referendum PT 0500 StateSpace 01 12120000000000004e225 3 GEN UNKNOWN
1605 Referendum PT 1000 StateSpace 01 Inf 3 GEN UNKNOWN
1606 Angiogenesis PT 20 StateSpace 00 35182e13 3 NONE UNKNOWN
1607 Angiogenesis PT 20 StateSpace 02 20 3 NONE UNKNOWN
1608 Angiogenesis PT 20 StateSpace 03 160 3 NONE UNKNOWN
1609 AutoFlight PT 06b StateSpace 00 35325e30 2 NUPN UNKNOWN
1610 AutoFlight PT 06b StateSpace 02 1 2 NUPN UNKNOWN
1611 AutoFlight PT 06b StateSpace 03 39 2 NUPN UNKNOWN
1612 BART COL 002 StateSpace 00 17424 1 NONE UNKNOWN
1613 BART COL 002 StateSpace 02 1 1 NONE UNKNOWN
1614 BART COL 002 StateSpace 03 274 1 NONE UNKNOWN
1615 BART COL 005 StateSpace 00 40075000000 1 NONE UNKNOWN
1616 BART COL 005 StateSpace 02 1 1 NONE UNKNOWN
1617 BART COL 005 StateSpace 03 277 1 NONE UNKNOWN
1618 BART COL 010 StateSpace 00 1606e18 1 NONE UNKNOWN
1619 BART COL 010 StateSpace 02 1 1 NONE UNKNOWN
1620 BART COL 010 StateSpace 03 282 1 NONE UNKNOWN
1621 BART COL 020 StateSpace 00 25792e38 1 NONE UNKNOWN
1622 BART COL 020 StateSpace 02 1 1 NONE UNKNOWN
1623 BART COL 020 StateSpace 03 292 1 NONE UNKNOWN
1624 BART COL 030 StateSpace 00 41421000000000004e47 1 NONE UNKNOWN
1625 BART COL 030 StateSpace 02 1 1 NONE UNKNOWN
1626 BART COL 030 StateSpace 03 302 1 NONE UNKNOWN
1627 BART COL 040 StateSpace 00 66521e80 1 NONE UNKNOWN
1628 BART COL 040 StateSpace 02 1 1 NONE UNKNOWN
1629 BART COL 040 StateSpace 03 312 1 NONE UNKNOWN
1630 BART COL 050 StateSpace 00 10683e102 1 NONE UNKNOWN
1631 BART COL 050 StateSpace 02 1 1 NONE UNKNOWN
1632 BART COL 050 StateSpace 03 322 1 NONE UNKNOWN
1633 BART COL 060 StateSpace 00 17157000000000001e111 1 NONE UNKNOWN
1634 BART COL 060 StateSpace 02 1 1 NONE UNKNOWN
1635 BART COL 060 StateSpace 03 332 1 NONE UNKNOWN
1636 CSRepetitions COL 04 StateSpace 00 30948000000000 3 NONE UNKNOWN
1637 CSRepetitions COL 04 StateSpace 02 4 3 NONE UNKNOWN
1638 CSRepetitions COL 04 StateSpace 03 24 3 NONE UNKNOWN
1639 CircularTrains PT 768 StateSpace 00 34039000000000003e161 3 NONE UNKNOWN
1640 CircularTrains PT 768 StateSpace 02 2 3 NONE UNKNOWN
1641 CircularTrains PT 768 StateSpace 03 768 3 NONE UNKNOWN
1642 CloudDeployment PT 3b StateSpace 00 74567e12 3 NUPN UNKNOWN
1643 CloudDeployment PT 3b StateSpace 02 1 3 NUPN UNKNOWN
1644 CloudDeployment PT 3b StateSpace 03 13 3 NUPN UNKNOWN
1645 Dekker PT 050 StateSpace 00 29273e12 3 GEN UNKNOWN
1646 Dekker PT 050 StateSpace 02 1 3 GEN UNKNOWN
1647 Dekker PT 050 StateSpace 03 100 3 GEN UNKNOWN
1648 Diffusion2D PT D05N100 StateSpace 00 26011e21 3 NONE UNKNOWN
1649 Diffusion2D PT D05N100 StateSpace 02 100 3 NONE UNKNOWN
1650 Diffusion2D PT D05N100 StateSpace 03 100 3 NONE UNKNOWN
1651 Diffusion2D PT D05N150 StateSpace 00 18126000000000002e13 3 NONE UNKNOWN
1652 Diffusion2D PT D05N150 StateSpace 02 150 3 NONE UNKNOWN
1653 Diffusion2D PT D05N150 StateSpace 03 150 3 NONE UNKNOWN
1654 Diffusion2D PT D05N200 StateSpace 00 11439e28 3 NONE UNKNOWN
1655 Diffusion2D PT D05N200 StateSpace 02 200 3 NONE UNKNOWN
1656 Diffusion2D PT D05N200 StateSpace 03 200 3 NONE UNKNOWN
1657 Diffusion2D PT D05N250 StateSpace 00 18314e30 3 NONE UNKNOWN
1658 Diffusion2D PT D05N250 StateSpace 02 250 3 NONE UNKNOWN
1659 Diffusion2D PT D05N250 StateSpace 03 250 3 NONE UNKNOWN
1660 Diffusion2D PT D05N300 StateSpace 00 12054e32 3 NONE UNKNOWN
1661 Diffusion2D PT D05N300 StateSpace 02 300 3 NONE UNKNOWN
1662 Diffusion2D PT D05N300 StateSpace 03 300 3 NONE UNKNOWN
1663 Diffusion2D PT D05N350 StateSpace 00 4253900000000001e22 2 NONE UNKNOWN
1664 Diffusion2D PT D05N350 StateSpace 02 350 2 NONE UNKNOWN
1665 Diffusion2D PT D05N350 StateSpace 03 350 2 NONE UNKNOWN
1666 Diffusion2D PT D10N100 StateSpace 00 45274000000000004e42 3 NONE UNKNOWN
1667 Diffusion2D PT D10N100 StateSpace 02 100 3 NONE UNKNOWN
1668 Diffusion2D PT D10N100 StateSpace 03 100 3 NONE UNKNOWN
1669 Diffusion2D PT D10N150 StateSpace 00 24252e67 3 NONE UNKNOWN
1670 Diffusion2D PT D10N150 StateSpace 02 150 3 NONE UNKNOWN
1671 Diffusion2D PT D10N150 StateSpace 03 150 3 NONE UNKNOWN
1672 Diffusion2D PT D10N200 StateSpace 00 13860999999999999e65 3 NONE UNKNOWN
1673 Diffusion2D PT D10N200 StateSpace 02 200 3 NONE UNKNOWN
1674 Diffusion2D PT D10N200 StateSpace 03 200 3 NONE UNKNOWN
1675 Diffusion2D PT D20N050 StateSpace 00 79113e62 3 NONE UNKNOWN
1676 Diffusion2D PT D20N050 StateSpace 02 50 3 NONE UNKNOWN
1677 Diffusion2D PT D20N050 StateSpace 03 50 3 NONE UNKNOWN
1678 Diffusion2D PT D20N100 StateSpace 00 16334000000000005e91 3 NONE UNKNOWN
1679 Diffusion2D PT D20N100 StateSpace 02 100 3 NONE UNKNOWN
1680 Diffusion2D PT D20N100 StateSpace 03 100 3 NONE UNKNOWN
1681 Diffusion2D PT D20N150 StateSpace 00 25424000000000002e122 3 NONE UNKNOWN
1682 Diffusion2D PT D20N150 StateSpace 02 150 3 NONE UNKNOWN
1683 Diffusion2D PT D20N150 StateSpace 03 150 3 NONE UNKNOWN
1684 Diffusion2D PT D30N050 StateSpace 00 6451e80 3 NONE UNKNOWN
1685 Diffusion2D PT D30N050 StateSpace 02 50 3 NONE UNKNOWN
1686 Diffusion2D PT D30N050 StateSpace 03 50 3 NONE UNKNOWN
1687 Diffusion2D PT D30N100 StateSpace 00 57465e135 3 NONE UNKNOWN
1688 Diffusion2D PT D30N100 StateSpace 02 100 3 NONE UNKNOWN
1689 Diffusion2D PT D30N100 StateSpace 03 100 3 NONE UNKNOWN
1690 Diffusion2D PT D30N150 StateSpace 00 31330000000000003e169 2 NONE UNKNOWN
1691 Diffusion2D PT D30N150 StateSpace 02 150 2 NONE UNKNOWN
1692 Diffusion2D PT D30N150 StateSpace 03 150 2 NONE UNKNOWN
1693 Diffusion2D PT D40N050 StateSpace 00 11273e92 3 NONE UNKNOWN
1694 Diffusion2D PT D40N050 StateSpace 02 50 3 NONE UNKNOWN
1695 Diffusion2D PT D40N050 StateSpace 03 50 3 NONE UNKNOWN
1696 Diffusion2D PT D40N100 StateSpace 00 57356000000000004e147 3 NONE UNKNOWN
1697 Diffusion2D PT D40N100 StateSpace 02 100 3 NONE UNKNOWN
1698 Diffusion2D PT D40N100 StateSpace 03 100 3 NONE UNKNOWN
1699 Diffusion2D PT D50N050 StateSpace 00 42203000000000004e89 3 NONE UNKNOWN
1700 Diffusion2D PT D50N050 StateSpace 02 50 3 NONE UNKNOWN
1701 Diffusion2D PT D50N050 StateSpace 03 50 3 NONE UNKNOWN
1702 DrinkVendingMachine COL 16 StateSpace 00 79228e24 1 NONE UNKNOWN
1703 DrinkVendingMachine COL 16 StateSpace 02 1 1 NONE UNKNOWN
1704 DrinkVendingMachine COL 16 StateSpace 03 96 1 NONE UNKNOWN
1705 GlobalResAllocation COL 05 StateSpace 00 106600000 3 NONE UNKNOWN
1706 GlobalResAllocation COL 05 StateSpace 02 4 3 NONE UNKNOWN
1707 GlobalResAllocation COL 05 StateSpace 03 30 3 NONE UNKNOWN
1708 HexagonalGrid PT 226 StateSpace 00 10086e42 3 NONE UNKNOWN
1709 HexagonalGrid PT 226 StateSpace 02 18 3 NONE UNKNOWN
1710 HexagonalGrid PT 226 StateSpace 03 186 3 NONE UNKNOWN
1711 HypertorusGrid PT d2k3p2b04 StateSpace 00 54758e31 3 NONE UNKNOWN
1712 HypertorusGrid PT d2k3p2b04 StateSpace 02 12 3 NONE UNKNOWN
1713 HypertorusGrid PT d2k3p2b04 StateSpace 03 144 3 NONE UNKNOWN
1714 Kanban PT 0100 StateSpace 00 17263e15 3 NONE UNKNOWN
1715 Kanban PT 0100 StateSpace 02 100 3 NONE UNKNOWN
1716 Kanban PT 0100 StateSpace 03 400 3 NONE UNKNOWN
1717 Kanban PT 0200 StateSpace 00 31732e18 3 NONE UNKNOWN
1718 Kanban PT 0200 StateSpace 02 200 3 NONE UNKNOWN
1719 Kanban PT 0200 StateSpace 03 800 3 NONE UNKNOWN
1720 LamportFastMutEx COL 5 StateSpace 00 530680000 3 NONE UNKNOWN
1721 LamportFastMutEx COL 5 StateSpace 02 1 3 NONE UNKNOWN
1722 LamportFastMutEx COL 5 StateSpace 03 32 3 NONE UNKNOWN
1723 LamportFastMutEx PT 6 StateSpace 00 547230000000 2 GEN UNKNOWN
1724 LamportFastMutEx PT 6 StateSpace 02 1 2 GEN UNKNOWN
1725 LamportFastMutEx PT 6 StateSpace 03 44 2 GEN UNKNOWN
1726 NeighborGrid PT d4n3m2c23 StateSpace 00 26957e61 3 NONE UNKNOWN
1727 NeighborGrid PT d4n3m2c23 StateSpace 02 162 3 NONE UNKNOWN
1728 NeighborGrid PT d4n3m2c23 StateSpace 03 162 3 NONE UNKNOWN
1729 NeoElection PT 4 StateSpace 00 291910000000 3 GEN UNKNOWN
1730 NeoElection PT 4 StateSpace 02 1 3 GEN UNKNOWN
1731 NeoElection PT 4 StateSpace 03 52 3 GEN UNKNOWN
1732 Parking PT 432 StateSpace 00 36702e28 3 NUPN UNKNOWN
1733 Parking PT 432 StateSpace 02 1 3 NUPN UNKNOWN
1734 Parking PT 432 StateSpace 03 120 3 NUPN UNKNOWN
1735 Parking PT 832 StateSpace 00 14648e50 3 NUPN UNKNOWN
1736 Parking PT 832 StateSpace 02 1 3 NUPN UNKNOWN
1737 Parking PT 832 StateSpace 03 176 3 NUPN UNKNOWN
1738 Parking PT 864 StateSpace 00 1445e72 3 NUPN UNKNOWN
1739 Parking PT 864 StateSpace 02 1 3 NUPN UNKNOWN
1740 Parking PT 864 StateSpace 03 272 3 NUPN UNKNOWN
1741 Peterson COL 4 StateSpace 00 629950000 3 NONE UNKNOWN
1742 Peterson COL 4 StateSpace 02 1 3 NONE UNKNOWN
1743 Peterson COL 4 StateSpace 03 14 3 NONE UNKNOWN
1744 PhaseVariation PT D02CS100 StateSpace 00 18989000000 3 NONE UNKNOWN
1745 PhaseVariation PT D02CS100 StateSpace 02 104 3 NONE UNKNOWN
1746 PhaseVariation PT D02CS100 StateSpace 03 209 3 NONE UNKNOWN
1747 PhaseVariation PT D05CS100 StateSpace 00 8219e29 1 NONE UNKNOWN
1748 PhaseVariation PT D05CS100 StateSpace 02 125 1 NONE UNKNOWN
1749 PhaseVariation PT D05CS100 StateSpace 03 251 1 NONE UNKNOWN
1750 Philosophers COL 000020 StateSpace 00 3486800000 3 NONE UNKNOWN
1751 Philosophers COL 000020 StateSpace 02 1 3 NONE UNKNOWN
1752 Philosophers COL 000020 StateSpace 03 40 3 NONE UNKNOWN
1753 Philosophers COL 000050 StateSpace 00 7179e20 3 NONE UNKNOWN
1754 Philosophers COL 000050 StateSpace 02 1 3 NONE UNKNOWN
1755 Philosophers COL 000050 StateSpace 03 100 3 NONE UNKNOWN
1756 Philosophers COL 000100 StateSpace 00 51538e43 3 NONE UNKNOWN
1757 Philosophers COL 000100 StateSpace 02 1 3 NONE UNKNOWN
1758 Philosophers COL 000100 StateSpace 03 200 3 NONE UNKNOWN
1759 Philosophers COL 000200 StateSpace 00 26561e91 3 NONE UNKNOWN
1760 Philosophers COL 000200 StateSpace 02 1 3 NONE UNKNOWN
1761 Philosophers COL 000200 StateSpace 03 400 3 NONE UNKNOWN
1762 Philosophers COL 000500 StateSpace 00 3636000000000001e223 3 NONE UNKNOWN
1763 Philosophers COL 000500 StateSpace 02 1 3 NONE UNKNOWN
1764 Philosophers COL 000500 StateSpace 03 1000 3 NONE UNKNOWN
1765 Philosophers COL 001000 StateSpace 00 Inf 3 NONE UNKNOWN
1766 Philosophers COL 001000 StateSpace 02 1 3 NONE UNKNOWN
1767 Philosophers COL 001000 StateSpace 03 2000 3 NONE UNKNOWN
1768 Philosophers COL 002000 StateSpace 00 Inf 3 NONE UNKNOWN
1769 Philosophers COL 002000 StateSpace 02 1 3 NONE UNKNOWN
1770 Philosophers COL 002000 StateSpace 03 4000 3 NONE UNKNOWN
1771 Philosophers COL 005000 StateSpace 00 Inf 3 NONE UNKNOWN
1772 Philosophers COL 005000 StateSpace 02 1 3 NONE UNKNOWN
1773 Philosophers COL 005000 StateSpace 03 10000 3 NONE UNKNOWN
1774 Philosophers PT 001000 StateSpace 00 Inf 3 GEN UNKNOWN
1775 Philosophers PT 001000 StateSpace 02 1 3 GEN UNKNOWN
1776 Philosophers PT 001000 StateSpace 03 2000 3 GEN UNKNOWN
1777 Philosophers PT 002000 StateSpace 00 Inf 3 GEN UNKNOWN
1778 Philosophers PT 002000 StateSpace 02 1 3 GEN UNKNOWN
1779 Philosophers PT 002000 StateSpace 03 4000 3 GEN UNKNOWN
1780 Philosophers PT 005000 StateSpace 00 Inf 2 NONE UNKNOWN
1781 Philosophers PT 005000 StateSpace 02 1 2 NONE UNKNOWN
1782 Philosophers PT 005000 StateSpace 03 10000 2 NONE UNKNOWN
1783 PolyORBLF COL S02J04T08 StateSpace 00 3532400000 1 NONE UNKNOWN
1784 PolyORBLF COL S02J04T08 StateSpace 02 10 1 NONE UNKNOWN
1785 PolyORBLF COL S02J04T08 StateSpace 03 69 1 NONE UNKNOWN
1786 PolyORBLF COL S02J04T10 StateSpace 00 82458000000 1 NONE UNKNOWN
1787 PolyORBLF COL S02J04T10 StateSpace 02 10 1 NONE UNKNOWN
1788 PolyORBLF COL S02J04T10 StateSpace 03 75 1 NONE UNKNOWN
1789 PolyORBLF COL S02J06T06 StateSpace 00 254960000 2 NONE UNKNOWN
1790 PolyORBLF COL S02J06T06 StateSpace 02 10 2 NONE UNKNOWN
1791 PolyORBLF COL S02J06T06 StateSpace 03 65 2 NONE UNKNOWN
1792 PolyORBLF PT S02J04T08 StateSpace 00 3532400000 1 NONE UNKNOWN
1793 PolyORBLF PT S02J04T08 StateSpace 02 10 1 NONE UNKNOWN
1794 PolyORBLF PT S02J04T08 StateSpace 03 69 1 NONE UNKNOWN
1795 PolyORBNT COL S10J20 StateSpace 00 34694000000 1 NONE UNKNOWN
1796 PolyORBNT COL S10J20 StateSpace 02 10 1 NONE UNKNOWN
1797 PolyORBNT COL S10J20 StateSpace 03 68 1 NONE UNKNOWN
1798 Raft PT 07 StateSpace 00 35526999999999996e19 3 NUPN UNKNOWN
1799 Raft PT 07 StateSpace 02 1 3 NUPN UNKNOWN
1800 Raft PT 07 StateSpace 03 51 3 NUPN UNKNOWN
1801 SharedMemory COL 000020 StateSpace 00 445150000000 3 NONE UNKNOWN
1802 SharedMemory COL 000020 StateSpace 02 1 3 NONE UNKNOWN
1803 SharedMemory COL 000020 StateSpace 03 41 3 NONE UNKNOWN
1804 SharedMemory PT 000020 StateSpace 00 445150000000 3 GEN UNKNOWN
1805 SharedMemory PT 000020 StateSpace 02 1 3 GEN UNKNOWN
1806 SharedMemory PT 000020 StateSpace 03 41 3 GEN UNKNOWN
1807 SmallOperatingSystem PT MT0256DC0128 StateSpace 00 7890700000 3 NONE UNKNOWN
1808 SmallOperatingSystem PT MT0256DC0128 StateSpace 02 256 3 NONE UNKNOWN
1809 SmallOperatingSystem PT MT0256DC0128 StateSpace 03 896 3 NONE UNKNOWN
1810 SmallOperatingSystem PT MT0512DC0128 StateSpace 00 104010000000 3 NONE UNKNOWN
1811 SmallOperatingSystem PT MT0512DC0128 StateSpace 02 512 3 NONE UNKNOWN
1812 SmallOperatingSystem PT MT0512DC0128 StateSpace 03 1408 3 NONE UNKNOWN
1813 SmallOperatingSystem PT MT0512DC0256 StateSpace 00 245290000000 3 NONE UNKNOWN
1814 SmallOperatingSystem PT MT0512DC0256 StateSpace 02 512 3 NONE UNKNOWN
1815 SmallOperatingSystem PT MT0512DC0256 StateSpace 03 1792 3 NONE UNKNOWN
1816 SmallOperatingSystem PT MT1024DC0256 StateSpace 00 3267300000000 3 NONE UNKNOWN
1817 SmallOperatingSystem PT MT1024DC0256 StateSpace 02 1024 3 NONE UNKNOWN
1818 SmallOperatingSystem PT MT1024DC0256 StateSpace 03 2816 3 NONE UNKNOWN
1819 SmallOperatingSystem PT MT1024DC0512 StateSpace 00 7735600000000 3 NONE UNKNOWN
1820 SmallOperatingSystem PT MT1024DC0512 StateSpace 02 1024 3 NONE UNKNOWN
1821 SmallOperatingSystem PT MT1024DC0512 StateSpace 03 3584 3 NONE UNKNOWN
1822 TCPcondis PT 20 StateSpace 00 556110000000000 2 NONE UNKNOWN
1823 TCPcondis PT 20 StateSpace 02 20 2 NONE UNKNOWN
1824 TCPcondis PT 20 StateSpace 03 80 2 NONE UNKNOWN
1825 TokenRing COL 020 StateSpace 00 24466000000 3 NONE UNKNOWN
1826 TokenRing COL 020 StateSpace 02 1 3 NONE UNKNOWN
1827 TokenRing COL 020 StateSpace 03 21 3 NONE UNKNOWN
1828 TokenRing COL 030 StateSpace 00 14545e12 3 NONE UNKNOWN
1829 TokenRing COL 030 StateSpace 02 1 3 NONE UNKNOWN
1830 TokenRing COL 030 StateSpace 03 31 3 NONE UNKNOWN
1831 TokenRing COL 040 StateSpace 00 10114e18 3 NONE UNKNOWN
1832 TokenRing COL 040 StateSpace 02 1 3 NONE UNKNOWN
1833 TokenRing COL 040 StateSpace 03 41 3 NONE UNKNOWN
1834 TokenRing PT 030 StateSpace 00 14545e12 3 GEN UNKNOWN
1835 TokenRing PT 030 StateSpace 02 1 3 GEN UNKNOWN
1836 TokenRing PT 030 StateSpace 03 31 3 GEN UNKNOWN
1837 ASLink PT 02a StateSpace 00 8867300000000 3 NUPN UNKNOWN
1838 ASLink PT 02a StateSpace 02 1 3 NUPN UNKNOWN
1839 ASLink PT 02a StateSpace 03 36 3 NUPN UNKNOWN
1840 ASLink PT 03a StateSpace 00 42435e13 3 NUPN UNKNOWN
1841 ASLink PT 03a StateSpace 02 1 3 NUPN UNKNOWN
1842 ASLink PT 03a StateSpace 03 49 3 NUPN UNKNOWN
1843 BusinessProcesses PT 04 StateSpace 00 219700000000 3 NUPN UNKNOWN
1844 BusinessProcesses PT 04 StateSpace 02 1 3 NUPN UNKNOWN
1845 BusinessProcesses PT 04 StateSpace 03 25 3 NUPN UNKNOWN
1846 BusinessProcesses PT 08 StateSpace 00 494e15 3 NUPN UNKNOWN
1847 BusinessProcesses PT 08 StateSpace 02 1 3 NUPN UNKNOWN
1848 BusinessProcesses PT 08 StateSpace 03 44 3 NUPN UNKNOWN
1849 BusinessProcesses PT 09 StateSpace 00 75226e14 3 NUPN UNKNOWN
1850 BusinessProcesses PT 09 StateSpace 02 1 3 NUPN UNKNOWN
1851 BusinessProcesses PT 09 StateSpace 03 41 3 NUPN UNKNOWN
1852 BusinessProcesses PT 11 StateSpace 00 71819e18 3 NUPN UNKNOWN
1853 BusinessProcesses PT 11 StateSpace 02 1 3 NUPN UNKNOWN
1854 BusinessProcesses PT 11 StateSpace 03 61 3 NUPN UNKNOWN
1855 BusinessProcesses PT 12 StateSpace 00 61433e19 3 NUPN UNKNOWN
1856 BusinessProcesses PT 12 StateSpace 02 1 3 NUPN UNKNOWN
1857 BusinessProcesses PT 12 StateSpace 03 63 3 NUPN UNKNOWN
1858 BusinessProcesses PT 13 StateSpace 00 31266e21 3 NUPN UNKNOWN
1859 BusinessProcesses PT 13 StateSpace 02 1 3 NUPN UNKNOWN
1860 BusinessProcesses PT 13 StateSpace 03 62 3 NUPN UNKNOWN
1861 BusinessProcesses PT 15 StateSpace 00 88732e21 3 NUPN UNKNOWN
1862 BusinessProcesses PT 15 StateSpace 02 1 3 NUPN UNKNOWN
1863 BusinessProcesses PT 15 StateSpace 03 67 3 NUPN UNKNOWN
1864 BusinessProcesses PT 17 StateSpace 00 37496e22 3 NUPN UNKNOWN
1865 BusinessProcesses PT 17 StateSpace 02 1 3 NUPN UNKNOWN
1866 BusinessProcesses PT 17 StateSpace 03 70 3 NUPN UNKNOWN
1867 BusinessProcesses PT 18 StateSpace 00 37276e27 3 NUPN UNKNOWN
1868 BusinessProcesses PT 18 StateSpace 02 1 3 NUPN UNKNOWN
1869 BusinessProcesses PT 18 StateSpace 03 77 3 NUPN UNKNOWN
1870 BusinessProcesses PT 19 StateSpace 00 7157099999999999e18 1 NUPN UNKNOWN
1871 BusinessProcesses PT 19 StateSpace 02 1 1 NUPN UNKNOWN
1872 BusinessProcesses PT 19 StateSpace 03 84 1 NUPN UNKNOWN
1873 DLCflexbar PT 3a StateSpace 00 22539e26 3 NUPN UNKNOWN
1874 DLCflexbar PT 3a StateSpace 02 1 3 NUPN UNKNOWN
1875 DLCflexbar PT 3a StateSpace 03 355 3 NUPN UNKNOWN
1876 DLCflexbar PT 5a StateSpace 00 24893e55 3 NUPN UNKNOWN
1877 DLCflexbar PT 5a StateSpace 02 1 3 NUPN UNKNOWN
1878 DLCflexbar PT 5a StateSpace 03 979 3 NUPN UNKNOWN
1879 DLCflexbar PT 6a StateSpace 00 9732700000000001e63 3 NUPN UNKNOWN
1880 DLCflexbar PT 6a StateSpace 02 1 3 NUPN UNKNOWN
1881 DLCflexbar PT 6a StateSpace 03 1492 3 NUPN UNKNOWN
1882 DLCflexbar PT 7a StateSpace 00 91366e97 3 NUPN UNKNOWN
1883 DLCflexbar PT 7a StateSpace 02 1 3 NUPN UNKNOWN
1884 DLCflexbar PT 7a StateSpace 03 2171 3 NUPN UNKNOWN
1885 DLCflexbar PT 8a StateSpace 00 20593e124 3 NUPN UNKNOWN
1886 DLCflexbar PT 8a StateSpace 02 1 3 NUPN UNKNOWN
1887 DLCflexbar PT 8a StateSpace 03 3040 3 NUPN UNKNOWN
1888 DiscoveryGPU PT 09b StateSpace 00 145100000000000 3 NUPN UNKNOWN
1889 DiscoveryGPU PT 09b StateSpace 02 1 3 NUPN UNKNOWN
1890 DiscoveryGPU PT 09b StateSpace 03 11 3 NUPN UNKNOWN
1891 DiscoveryGPU PT 11b StateSpace 00 11358e13 3 NUPN UNKNOWN
1892 DiscoveryGPU PT 11b StateSpace 02 1 3 NUPN UNKNOWN
1893 DiscoveryGPU PT 11b StateSpace 03 13 3 NUPN UNKNOWN
1894 DiscoveryGPU PT 12b StateSpace 00 31487e14 3 NUPN UNKNOWN
1895 DiscoveryGPU PT 12b StateSpace 02 1 3 NUPN UNKNOWN
1896 DiscoveryGPU PT 12b StateSpace 03 14 3 NUPN UNKNOWN
1897 DiscoveryGPU PT 13b StateSpace 00 86891e15 3 NUPN UNKNOWN
1898 DiscoveryGPU PT 13b StateSpace 02 1 3 NUPN UNKNOWN
1899 DiscoveryGPU PT 13b StateSpace 03 15 3 NUPN UNKNOWN
1900 DiscoveryGPU PT 14b StateSpace 00 2.3889999999999997e+21 3 NUPN UNKNOWN
1901 DiscoveryGPU PT 14b StateSpace 02 1 3 NUPN UNKNOWN
1902 DiscoveryGPU PT 14b StateSpace 03 16 3 NUPN UNKNOWN
1903 DiscoveryGPU PT 15b StateSpace 00 65486e18 3 NUPN UNKNOWN
1904 DiscoveryGPU PT 15b StateSpace 02 1 3 NUPN UNKNOWN
1905 DiscoveryGPU PT 15b StateSpace 03 17 3 NUPN UNKNOWN
1906 RefineWMG PT 005005 StateSpace 00 622560000000 2 NONE UNKNOWN
1907 RefineWMG PT 005005 StateSpace 02 7 3 NONE UNKNOWN
1908 RefineWMG PT 005005 StateSpace 03 62 3 NONE UNKNOWN
1909 RefineWMG PT 005006 StateSpace 00 2908400000000 2 NONE UNKNOWN
1910 RefineWMG PT 005006 StateSpace 02 7 3 NONE UNKNOWN
1911 RefineWMG PT 005006 StateSpace 03 72 3 NONE UNKNOWN
1912 RefineWMG PT 007007 StateSpace 00 16981e13 2 NONE UNKNOWN
1913 RefineWMG PT 007007 StateSpace 02 7 3 NONE UNKNOWN
1914 RefineWMG PT 007007 StateSpace 03 110 3 NONE UNKNOWN
1915 RefineWMG PT 007008 StateSpace 00 88327e13 2 NONE UNKNOWN
1916 RefineWMG PT 007008 StateSpace 02 8 3 NONE UNKNOWN
1917 RefineWMG PT 007008 StateSpace 03 124 3 NONE UNKNOWN
1918 RefineWMG PT 100100 StateSpace 00 Inf 1 NONE UNKNOWN
1919 RefineWMG PT 100100 StateSpace 02 100 1 NONE UNKNOWN
1920 RefineWMG PT 100100 StateSpace 03 20012 1 NONE UNKNOWN
1921 RefineWMG PT 100101 StateSpace 00 Inf 1 NONE UNKNOWN
1922 RefineWMG PT 100101 StateSpace 02 101 1 NONE UNKNOWN
1923 RefineWMG PT 100101 StateSpace 03 20212 1 NONE UNKNOWN
1924 BART PT 010 StateSpace 00 1606e18 3 GEN UNKNOWN
1925 BART PT 010 StateSpace 02 1 3 GEN UNKNOWN
1926 BART PT 010 StateSpace 03 220 3 GEN UNKNOWN
1927 BART PT 020 StateSpace 00 25792e38 3 GEN UNKNOWN
1928 BART PT 020 StateSpace 02 1 3 GEN UNKNOWN
1929 BART PT 020 StateSpace 03 230 3 GEN UNKNOWN
1930 BART PT 030 StateSpace 00 41421000000000004e47 3 GEN UNKNOWN
1931 BART PT 030 StateSpace 02 1 3 GEN UNKNOWN
1932 BART PT 030 StateSpace 03 240 3 GEN UNKNOWN
1933 BART PT 040 StateSpace 00 66521e80 3 GEN UNKNOWN
1934 BART PT 040 StateSpace 02 1 3 GEN UNKNOWN
1935 BART PT 040 StateSpace 03 250 3 GEN UNKNOWN
1936 BART PT 050 StateSpace 00 10683e102 3 GEN UNKNOWN
1937 BART PT 050 StateSpace 02 1 3 GEN UNKNOWN
1938 BART PT 050 StateSpace 03 260 3 GEN UNKNOWN
1939 BART PT 060 StateSpace 00 17157000000000001e111 3 GEN UNKNOWN
1940 BART PT 060 StateSpace 02 1 3 GEN UNKNOWN
1941 BART PT 060 StateSpace 03 270 3 GEN UNKNOWN
1942 GPPP PT C0001N0000001000 StateSpace 00 14354000000 3 NONE UNKNOWN
1943 GPPP PT C0001N0000001000 StateSpace 02 4007 3 NONE UNKNOWN
1944 GPPP PT C0001N0000001000 StateSpace 03 10033 3 NONE UNKNOWN
1945 HexagonalGrid PT 316 StateSpace 00 14719e86 2 NONE UNKNOWN
1946 HexagonalGrid PT 316 StateSpace 02 12 2 NONE UNKNOWN
1947 HexagonalGrid PT 316 StateSpace 03 372 2 NONE UNKNOWN
1948 HexagonalGrid PT 410 StateSpace 00 52545e166 1 NONE UNKNOWN
1949 HexagonalGrid PT 410 StateSpace 02 6 1 NONE UNKNOWN
1950 HexagonalGrid PT 410 StateSpace 03 486 1 NONE UNKNOWN
1951 JoinFreeModules PT 0200 StateSpace 00 Inf 3 NONE UNKNOWN
1952 JoinFreeModules PT 0200 StateSpace 02 203 3 NONE UNKNOWN
1953 JoinFreeModules PT 0200 StateSpace 03 40601 3 NONE UNKNOWN
1954 JoinFreeModules PT 0500 StateSpace 00 Inf 2 NONE UNKNOWN
1955 JoinFreeModules PT 0500 StateSpace 02 503 2 NONE UNKNOWN
1956 JoinFreeModules PT 0500 StateSpace 03 251500 2 NONE UNKNOWN
1957 Kanban PT 0500 StateSpace 00 7086e23 3 NONE UNKNOWN
1958 Kanban PT 0500 StateSpace 02 500 3 NONE UNKNOWN
1959 Kanban PT 0500 StateSpace 03 2000 3 NONE UNKNOWN
1960 LamportFastMutEx PT 7 StateSpace 00 23326e11 1 GEN UNKNOWN
1961 LamportFastMutEx PT 7 StateSpace 02 1 1 GEN UNKNOWN
1962 LamportFastMutEx PT 7 StateSpace 03 58 1 GEN UNKNOWN
1963 NeoElection COL 4 StateSpace 00 291910000000 3 NONE UNKNOWN
1964 NeoElection COL 4 StateSpace 02 1 3 NONE UNKNOWN
1965 NeoElection COL 4 StateSpace 03 52 3 NONE UNKNOWN
1966 Philosophers PT 010000 StateSpace 00 Inf 2 NONE UNKNOWN
1967 Philosophers PT 010000 StateSpace 02 1 2 NONE UNKNOWN
1968 Philosophers PT 010000 StateSpace 03 20000 2 NONE UNKNOWN
1969 SharedMemory COL 000050 StateSpace 00 587e24 2 NONE UNKNOWN
1970 SharedMemory COL 000050 StateSpace 02 1 2 NONE UNKNOWN
1971 SharedMemory COL 000050 StateSpace 03 101 2 NONE UNKNOWN
1972 SharedMemory COL 000100 StateSpace 00 17013e47 2 NONE UNKNOWN
1973 SharedMemory COL 000100 StateSpace 02 1 2 NONE UNKNOWN
1974 SharedMemory COL 000100 StateSpace 03 201 2 NONE UNKNOWN
1975 SharedMemory PT 000050 StateSpace 00 587e24 2 GEN UNKNOWN
1976 SharedMemory PT 000050 StateSpace 02 1 2 GEN UNKNOWN
1977 SharedMemory PT 000050 StateSpace 03 101 2 GEN UNKNOWN
1978 SharedMemory PT 000100 StateSpace 00 17013e47 2 GEN UNKNOWN
1979 SharedMemory PT 000100 StateSpace 02 1 2 GEN UNKNOWN
1980 SharedMemory PT 000100 StateSpace 03 201 2 GEN UNKNOWN
1981 SimpleLoadBal PT 15 StateSpace 00 1374100000000 1 GEN UNKNOWN
1982 SimpleLoadBal PT 15 StateSpace 02 1 1 GEN UNKNOWN
1983 SimpleLoadBal PT 15 StateSpace 03 37 1 GEN UNKNOWN
1984 SimpleLoadBal PT 20 StateSpace 00 45829e11 1 GEN UNKNOWN
1985 SimpleLoadBal PT 20 StateSpace 02 1 1 GEN UNKNOWN
1986 SimpleLoadBal PT 20 StateSpace 03 47 1 GEN UNKNOWN
1987 SquareGrid PT 040204 StateSpace 00 10157e64 1 NONE UNKNOWN
1988 SquareGrid PT 040204 StateSpace 02 12 1 NONE UNKNOWN
1989 SquareGrid PT 040204 StateSpace 03 272 1 NONE UNKNOWN
1990 ASLink PT 04a StateSpace 00 2.0327999999999998e+22 2 NUPN UNKNOWN
1991 ASLink PT 04a StateSpace 02 1 2 NUPN UNKNOWN
1992 ASLink PT 04a StateSpace 03 62 2 NUPN UNKNOWN
1993 ASLink PT 05a StateSpace 00 97382e22 1 NUPN UNKNOWN
1994 ASLink PT 05a StateSpace 02 1 1 NUPN UNKNOWN
1995 ASLink PT 05a StateSpace 03 75 1 NUPN UNKNOWN
1996 ASLink PT 06a StateSpace 00 46652e27 1 NUPN UNKNOWN
1997 ASLink PT 06a StateSpace 02 1 1 NUPN UNKNOWN
1998 ASLink PT 06a StateSpace 03 88 1 NUPN UNKNOWN
1999 AirplaneLD COL 0020 StateSpace 01 1339100 2 NONE UNKNOWN
2000 AirplaneLD COL 0050 StateSpace 01 19756000 2 NONE UNKNOWN
2001 AirplaneLD COL 0100 StateSpace 01 155010000 2 NONE UNKNOWN
2002 AirplaneLD PT 0020 StateSpace 01 1339100 3 GEN UNKNOWN
2003 AirplaneLD PT 0050 StateSpace 01 19756000 3 GEN UNKNOWN
2004 AirplaneLD PT 0100 StateSpace 01 155010000 3 GEN UNKNOWN
2005 Angiogenesis PT 05 StateSpace 01 486870000 3 NONE UNKNOWN
2006 Angiogenesis PT 10 StateSpace 01 15636000000000 3 NONE UNKNOWN
2007 Angiogenesis PT 20 StateSpace 01 10195e15 3 NONE UNKNOWN
2008 Angiogenesis PT 25 StateSpace 00 4309e16 1 NONE UNKNOWN
2009 Angiogenesis PT 25 StateSpace 01 13984e17 1 NONE UNKNOWN
2010 Angiogenesis PT 25 StateSpace 02 25 1 NONE UNKNOWN
2011 Angiogenesis PT 25 StateSpace 03 200 1 NONE UNKNOWN
2012 AutoFlight PT 02a StateSpace 01 55285 3 NUPN UNKNOWN
2013 AutoFlight PT 02b StateSpace 01 203510000000000 3 NUPN UNKNOWN
2014 AutoFlight PT 03a StateSpace 01 1821200 3 NUPN UNKNOWN
2015 AutoFlight PT 03b StateSpace 01 73643e15 2 NUPN UNKNOWN
2016 AutoFlight PT 04a StateSpace 01 50619000 3 NUPN UNKNOWN
2017 AutoFlight PT 04b StateSpace 01 2114e22 2 NUPN UNKNOWN
2018 BART PT 002 StateSpace 01 53328 3 GEN UNKNOWN
2019 BART PT 005 StateSpace 01 306630000000 2 GEN UNKNOWN
2020 BART PT 010 StateSpace 01 24576e18 2 GEN UNKNOWN
2021 BART PT 020 StateSpace 01 7893800000000001e28 2 GEN UNKNOWN
2022 BART PT 030 StateSpace 01 19015999999999998e49 2 GEN UNKNOWN
2023 BART PT 040 StateSpace 01 40719e82 2 GEN UNKNOWN
2024 BART PT 050 StateSpace 01 8174200000000002e92 2 GEN UNKNOWN
2025 BART PT 060 StateSpace 01 15753e125 2 GEN UNKNOWN
2026 BridgeAndVehicles COL V04P05N02 StateSpace 01 7160 3 NONE UNKNOWN
2027 BridgeAndVehicles COL V10P10N10 StateSpace 01 821280 2 NONE UNKNOWN
2028 BridgeAndVehicles COL V20P10N10 StateSpace 01 23489000 2 NONE UNKNOWN
2029 BridgeAndVehicles COL V20P10N20 StateSpace 01 31773000 2 NONE UNKNOWN
2030 BridgeAndVehicles COL V20P10N50 StateSpace 01 31786000 2 NONE UNKNOWN
2031 BridgeAndVehicles COL V20P20N10 StateSpace 01 23489000 3 NONE UNKNOWN
2032 BridgeAndVehicles COL V20P20N20 StateSpace 01 34321000 3 NONE UNKNOWN
2033 BridgeAndVehicles COL V20P20N50 StateSpace 01 34346000 3 NONE UNKNOWN
2034 BridgeAndVehicles COL V50P20N10 StateSpace 00 347630000 3 NONE UNKNOWN
2035 BridgeAndVehicles COL V50P20N10 StateSpace 01 1271700000 3 NONE UNKNOWN
2036 BridgeAndVehicles COL V50P20N10 StateSpace 02 50 3 NONE UNKNOWN
2037 BridgeAndVehicles COL V50P20N10 StateSpace 03 124 3 NONE UNKNOWN
2038 BridgeAndVehicles COL V50P20N20 StateSpace 00 896290000 3 NONE UNKNOWN
2039 BridgeAndVehicles COL V50P20N20 StateSpace 01 3363700000 3 NONE UNKNOWN
2040 BridgeAndVehicles COL V50P20N20 StateSpace 02 50 3 NONE UNKNOWN
2041 BridgeAndVehicles COL V50P20N20 StateSpace 03 124 3 NONE UNKNOWN
2042 BridgeAndVehicles COL V50P20N50 StateSpace 00 1454600000 3 NONE UNKNOWN
2043 BridgeAndVehicles COL V50P20N50 StateSpace 02 50 3 NONE UNKNOWN
2044 BridgeAndVehicles COL V50P20N50 StateSpace 03 124 3 NONE UNKNOWN
2045 BridgeAndVehicles COL V50P50N10 StateSpace 00 347630000 3 NONE UNKNOWN
2046 BridgeAndVehicles COL V50P50N10 StateSpace 01 1271700000 3 NONE UNKNOWN
2047 BridgeAndVehicles COL V50P50N10 StateSpace 02 50 3 NONE UNKNOWN
2048 BridgeAndVehicles COL V50P50N10 StateSpace 03 154 3 NONE UNKNOWN
2049 BridgeAndVehicles COL V50P50N20 StateSpace 00 896290000 3 NONE UNKNOWN
2050 BridgeAndVehicles COL V50P50N20 StateSpace 02 50 3 NONE UNKNOWN
2051 BridgeAndVehicles COL V50P50N20 StateSpace 03 154 3 NONE UNKNOWN
2052 BridgeAndVehicles COL V50P50N50 StateSpace 00 1676900000 3 NONE UNKNOWN
2053 BridgeAndVehicles COL V50P50N50 StateSpace 02 50 3 NONE UNKNOWN
2054 BridgeAndVehicles COL V50P50N50 StateSpace 03 154 3 NONE UNKNOWN
2055 BridgeAndVehicles COL V80P20N10 StateSpace 00 2432900000 3 NONE UNKNOWN
2056 BridgeAndVehicles COL V80P20N10 StateSpace 02 80 3 NONE UNKNOWN
2057 BridgeAndVehicles COL V80P20N10 StateSpace 03 184 3 NONE UNKNOWN
2058 BridgeAndVehicles COL V80P20N20 StateSpace 00 7099600000 2 NONE UNKNOWN
2059 BridgeAndVehicles COL V80P20N20 StateSpace 02 80 2 NONE UNKNOWN
2060 BridgeAndVehicles COL V80P20N20 StateSpace 03 184 2 NONE UNKNOWN
2061 BridgeAndVehicles COL V80P20N50 StateSpace 00 16235000000 1 NONE UNKNOWN
2062 BridgeAndVehicles COL V80P20N50 StateSpace 02 80 1 NONE UNKNOWN
2063 BridgeAndVehicles COL V80P20N50 StateSpace 03 184 1 NONE UNKNOWN
2064 BridgeAndVehicles COL V80P50N10 StateSpace 00 2432900000 3 NONE UNKNOWN
2065 BridgeAndVehicles COL V80P50N10 StateSpace 02 80 3 NONE UNKNOWN
2066 BridgeAndVehicles COL V80P50N10 StateSpace 03 214 3 NONE UNKNOWN
2067 BridgeAndVehicles COL V80P50N20 StateSpace 00 7099600000 2 NONE UNKNOWN
2068 BridgeAndVehicles COL V80P50N20 StateSpace 02 80 2 NONE UNKNOWN
2069 BridgeAndVehicles COL V80P50N20 StateSpace 03 214 2 NONE UNKNOWN
2070 BridgeAndVehicles COL V80P50N50 StateSpace 00 21619000000 1 NONE UNKNOWN
2071 BridgeAndVehicles COL V80P50N50 StateSpace 02 80 1 NONE UNKNOWN
2072 BridgeAndVehicles COL V80P50N50 StateSpace 03 214 1 NONE UNKNOWN
2073 BridgeAndVehicles PT V04P05N02 StateSpace 01 7160 3 NONE UNKNOWN
2074 BridgeAndVehicles PT V10P10N10 StateSpace 01 821280 3 NONE UNKNOWN
2075 BridgeAndVehicles PT V20P10N10 StateSpace 01 23489000 3 NONE UNKNOWN
2076 BridgeAndVehicles PT V20P10N20 StateSpace 01 31773000 2 NONE UNKNOWN
2077 BridgeAndVehicles PT V20P10N50 StateSpace 01 31786000 2 NONE UNKNOWN
2078 BridgeAndVehicles PT V20P20N10 StateSpace 01 23489000 3 NONE UNKNOWN
2079 BridgeAndVehicles PT V20P20N20 StateSpace 01 34321000 3 NONE UNKNOWN
2080 BridgeAndVehicles PT V20P20N50 StateSpace 01 34346000 3 NONE UNKNOWN
2081 BridgeAndVehicles PT V50P20N10 StateSpace 00 347630000 3 NONE UNKNOWN
2082 BridgeAndVehicles PT V50P20N10 StateSpace 01 1271700000 3 NONE UNKNOWN
2083 BridgeAndVehicles PT V50P20N10 StateSpace 02 50 3 NONE UNKNOWN
2084 BridgeAndVehicles PT V50P20N10 StateSpace 03 124 3 NONE UNKNOWN
2085 BridgeAndVehicles PT V50P20N20 StateSpace 00 896290000 3 NONE UNKNOWN
2086 BridgeAndVehicles PT V50P20N20 StateSpace 01 3363700000 3 NONE UNKNOWN
2087 BridgeAndVehicles PT V50P20N20 StateSpace 02 50 3 NONE UNKNOWN
2088 BridgeAndVehicles PT V50P20N20 StateSpace 03 124 3 NONE UNKNOWN
2089 BridgeAndVehicles PT V50P20N50 StateSpace 00 1454600000 3 NONE UNKNOWN
2090 BridgeAndVehicles PT V50P20N50 StateSpace 02 50 3 NONE UNKNOWN
2091 BridgeAndVehicles PT V50P20N50 StateSpace 03 124 3 NONE UNKNOWN
2092 BridgeAndVehicles PT V50P50N10 StateSpace 00 347630000 3 NONE UNKNOWN
2093 BridgeAndVehicles PT V50P50N10 StateSpace 01 1271700000 3 NONE UNKNOWN
2094 BridgeAndVehicles PT V50P50N10 StateSpace 02 50 3 NONE UNKNOWN
2095 BridgeAndVehicles PT V50P50N10 StateSpace 03 154 3 NONE UNKNOWN
2096 BridgeAndVehicles PT V50P50N20 StateSpace 00 896290000 3 NONE UNKNOWN
2097 BridgeAndVehicles PT V50P50N20 StateSpace 02 50 3 NONE UNKNOWN
2098 BridgeAndVehicles PT V50P50N20 StateSpace 03 154 3 NONE UNKNOWN
2099 BridgeAndVehicles PT V50P50N50 StateSpace 00 1676900000 3 NONE UNKNOWN
2100 BridgeAndVehicles PT V50P50N50 StateSpace 02 50 3 NONE UNKNOWN
2101 BridgeAndVehicles PT V50P50N50 StateSpace 03 154 3 NONE UNKNOWN
2102 BridgeAndVehicles PT V80P20N10 StateSpace 00 2432900000 3 NONE UNKNOWN
2103 BridgeAndVehicles PT V80P20N10 StateSpace 02 80 3 NONE UNKNOWN
2104 BridgeAndVehicles PT V80P20N10 StateSpace 03 184 3 NONE UNKNOWN
2105 BridgeAndVehicles PT V80P20N20 StateSpace 00 7099600000 2 NONE UNKNOWN
2106 BridgeAndVehicles PT V80P20N20 StateSpace 02 80 2 NONE UNKNOWN
2107 BridgeAndVehicles PT V80P20N20 StateSpace 03 184 2 NONE UNKNOWN
2108 BridgeAndVehicles PT V80P20N50 StateSpace 00 16235000000 1 NONE UNKNOWN
2109 BridgeAndVehicles PT V80P20N50 StateSpace 02 80 1 NONE UNKNOWN
2110 BridgeAndVehicles PT V80P20N50 StateSpace 03 184 1 NONE UNKNOWN
2111 BridgeAndVehicles PT V80P50N10 StateSpace 00 2432900000 3 NONE UNKNOWN
2112 BridgeAndVehicles PT V80P50N10 StateSpace 02 80 3 NONE UNKNOWN
2113 BridgeAndVehicles PT V80P50N10 StateSpace 03 214 3 NONE UNKNOWN
2114 BridgeAndVehicles PT V80P50N20 StateSpace 00 7099600000 2 NONE UNKNOWN
2115 BridgeAndVehicles PT V80P50N20 StateSpace 02 80 2 NONE UNKNOWN
2116 BridgeAndVehicles PT V80P50N20 StateSpace 03 214 2 NONE UNKNOWN
2117 BridgeAndVehicles PT V80P50N50 StateSpace 00 21619000000 1 NONE UNKNOWN
2118 BridgeAndVehicles PT V80P50N50 StateSpace 02 80 1 NONE UNKNOWN
2119 BridgeAndVehicles PT V80P50N50 StateSpace 03 214 1 NONE UNKNOWN
2120 CSRepetitions COL 02 StateSpace 01 37088 2 NONE UNKNOWN
2121 CSRepetitions COL 03 StateSpace 01 1293900000 2 NONE UNKNOWN
2122 CSRepetitions COL 04 StateSpace 01 471360000000000 2 NONE UNKNOWN
2123 CSRepetitions COL 05 StateSpace 00 65491e15 1 NONE UNKNOWN
2124 CSRepetitions COL 05 StateSpace 01 14258e17 1 NONE UNKNOWN
2125 CSRepetitions COL 05 StateSpace 02 5 1 NONE UNKNOWN
2126 CSRepetitions COL 05 StateSpace 03 35 1 NONE UNKNOWN
2127 CSRepetitions COL 07 StateSpace 00 11507e31 1 NONE UNKNOWN
2128 CSRepetitions COL 07 StateSpace 01 43513000000000005e20 1 NONE UNKNOWN
2129 CSRepetitions COL 07 StateSpace 02 7 1 NONE UNKNOWN
2130 CSRepetitions COL 07 StateSpace 03 63 1 NONE UNKNOWN
2131 CSRepetitions PT 02 StateSpace 01 37088 3 NONE UNKNOWN
2132 CSRepetitions PT 03 StateSpace 01 1293900000 2 NONE UNKNOWN
2133 CSRepetitions PT 04 StateSpace 01 471360000000000 2 NONE UNKNOWN
2134 CSRepetitions PT 05 StateSpace 00 65491e15 1 NONE UNKNOWN
2135 CSRepetitions PT 05 StateSpace 01 14258e17 1 NONE UNKNOWN
2136 CSRepetitions PT 05 StateSpace 02 5 1 NONE UNKNOWN
2137 CSRepetitions PT 05 StateSpace 03 35 1 NONE UNKNOWN
2138 CSRepetitions PT 07 StateSpace 00 11507e31 1 NONE UNKNOWN
2139 CSRepetitions PT 07 StateSpace 02 7 1 NONE UNKNOWN
2140 CSRepetitions PT 07 StateSpace 03 63 1 NONE UNKNOWN
2141 CircadianClock PT 000001 StateSpace 01 624 3 GEN UNKNOWN
2142 CircadianClock PT 000010 StateSpace 01 6766300 3 NONE UNKNOWN
2143 CircadianClock PT 000100 StateSpace 01 497430000000 3 NONE UNKNOWN
2144 CircadianClock PT 001000 StateSpace 01 48172e12 3 NONE UNKNOWN
2145 CircadianClock PT 010000 StateSpace 00 4002e17 1 NONE UNKNOWN
2146 CircadianClock PT 010000 StateSpace 01 48017e17 1 NONE UNKNOWN
2147 CircadianClock PT 010000 StateSpace 02 10000 1 NONE UNKNOWN
2148 CircadianClock PT 010000 StateSpace 03 50002 1 NONE UNKNOWN
2149 CircularTrains PT 012 StateSpace 01 496 3 NONE UNKNOWN
2150 CircularTrains PT 024 StateSpace 01 411680 3 NONE UNKNOWN
2151 CircularTrains PT 048 StateSpace 01 221240000000 3 NONE UNKNOWN
2152 CircularTrains PT 096 StateSpace 01 47121e18 3 NONE UNKNOWN
2153 CircularTrains PT 192 StateSpace 01 15416e41 3 NONE UNKNOWN
2154 CircularTrains PT 768 StateSpace 01 48887000000000004e163 2 NONE UNKNOWN
2155 ClientsAndServers PT N0020P3 StateSpace 00 45408e15 2 NONE UNKNOWN
2156 ClientsAndServers PT N0020P3 StateSpace 01 66212e16 2 NONE UNKNOWN
2157 ClientsAndServers PT N0020P3 StateSpace 02 160 2 NONE UNKNOWN
2158 ClientsAndServers PT N0020P3 StateSpace 03 515 2 NONE UNKNOWN
2159 CloudDeployment PT 2a StateSpace 01 87600 3 NUPN UNKNOWN
2160 CloudDeployment PT 2b StateSpace 01 1227000000000 2 NUPN UNKNOWN
2161 CloudDeployment PT 3a StateSpace 01 7698100 3 NUPN UNKNOWN
2162 CloudDeployment PT 3b StateSpace 01 77439e13 2 NUPN UNKNOWN
2163 CloudDeployment PT 4a StateSpace 01 508600000 3 NUPN UNKNOWN
2164 CloudDeployment PT 5a StateSpace 01 27853000000 3 NUPN UNKNOWN
2165 CloudDeployment PT 6a StateSpace 01 1338200000000 3 NUPN UNKNOWN
2166 CloudDeployment PT 7a StateSpace 01 58448000000000 3 NUPN UNKNOWN
2167 DES PT 00a StateSpace 01 293100000000 3 NUPN UNKNOWN
2168 DES PT 00b StateSpace 01 44365e16 3 NUPN UNKNOWN
2169 DES PT 01a StateSpace 01 1213400000 3 NUPN UNKNOWN
2170 DES PT 01b StateSpace 01 35377e14 3 NUPN UNKNOWN
2171 DES PT 02a StateSpace 01 59186000000 3 NUPN UNKNOWN
2172 DES PT 02b StateSpace 01 12674e16 2 NUPN UNKNOWN
2173 DES PT 05a StateSpace 01 2803900000000 3 NUPN UNKNOWN
2174 DES PT 05b StateSpace 01 47052e17 2 NUPN UNKNOWN
2175 DES PT 10a StateSpace 01 19392000000000 3 NUPN UNKNOWN
2176 DES PT 10b StateSpace 01 30429e18 3 NUPN UNKNOWN
2177 DES PT 20a StateSpace 01 96542000000000 3 NUPN UNKNOWN
2178 DES PT 20b StateSpace 01 14833e19 3 NUPN UNKNOWN
2179 DES PT 30a StateSpace 01 232310000000000 3 NUPN UNKNOWN
2180 DES PT 30b StateSpace 01 35482e19 3 NUPN UNKNOWN
2181 DES PT 40a StateSpace 01 426700000000000 3 NUPN UNKNOWN
2182 DES PT 40b StateSpace 00 36042e18 2 NUPN UNKNOWN
2183 DES PT 40b StateSpace 01 64989e19 2 NUPN UNKNOWN
2184 DES PT 40b StateSpace 02 1 2 NUPN UNKNOWN
2185 DES PT 40b StateSpace 03 51 2 NUPN UNKNOWN
2186 DES PT 50a StateSpace 01 679710000000000 3 NUPN UNKNOWN
2187 DES PT 50b StateSpace 00 57316e18 3 NUPN UNKNOWN
2188 DES PT 50b StateSpace 01 10335e20 3 NUPN UNKNOWN
2189 DES PT 50b StateSpace 02 1 3 NUPN UNKNOWN
2190 DES PT 50b StateSpace 03 51 3 NUPN UNKNOWN
2191 DES PT 60a StateSpace 01 991330000000000 3 NUPN UNKNOWN
2192 DES PT 60b StateSpace 00 83503e18 2 NUPN UNKNOWN
2193 DES PT 60b StateSpace 01 15058e20 2 NUPN UNKNOWN
2194 DES PT 60b StateSpace 02 1 2 NUPN UNKNOWN
2195 DES PT 60b StateSpace 03 51 2 NUPN UNKNOWN
2196 DNAwalker PT 16redondantChoiceR StateSpace 01 9905000000000 2 NONE UNKNOWN
2197 DNAwalker PT 17redondantChoiceL StateSpace 01 9905000000000 2 NONE UNKNOWN
2198 DatabaseWithMutex COL 04 StateSpace 00 4717900000 2 NONE UNKNOWN
2199 DatabaseWithMutex COL 04 StateSpace 01 39697000000 2 NONE UNKNOWN
2200 DatabaseWithMutex COL 04 StateSpace 02 1 2 NONE UNKNOWN
2201 DatabaseWithMutex COL 04 StateSpace 03 20 2 NONE UNKNOWN
2202 DatabaseWithMutex PT 04 StateSpace 01 39697000000 3 GEN UNKNOWN
2203 Dekker PT 015 StateSpace 01 16835000 3 GEN UNKNOWN
2204 Dekker PT 020 StateSpace 01 1216300000 2 GEN UNKNOWN
2205 Dekker PT 050 StateSpace 01 18676e15 2 GEN UNKNOWN
2206 Diffusion2D PT D05N010 StateSpace 01 5553700000 3 NONE UNKNOWN
2207 Diffusion2D PT D05N050 StateSpace 01 17056e17 3 NONE UNKNOWN
2208 Diffusion2D PT D05N100 StateSpace 01 30206e23 3 NONE UNKNOWN
2209 Diffusion2D PT D10N010 StateSpace 01 26754e11 3 NONE UNKNOWN
2210 Diffusion2D PT D10N050 StateSpace 01 30801e38 3 NONE UNKNOWN
2211 Diffusion2D PT D10N100 StateSpace 01 15562000000000003e45 3 NONE UNKNOWN
2212 Diffusion2D PT D10N150 StateSpace 01 9993e70 3 NONE UNKNOWN
2213 Diffusion2D PT D10N200 StateSpace 01 63417e79 3 NONE UNKNOWN
2214 Diffusion2D PT D20N010 StateSpace 01 23414e17 3 NONE UNKNOWN
2215 Diffusion2D PT D20N050 StateSpace 01 26113e65 3 NONE UNKNOWN
2216 Diffusion2D PT D20N100 StateSpace 01 97019e105 2 NONE UNKNOWN
2217 Diffusion2D PT D20N150 StateSpace 01 20589000000000002e125 2 NONE UNKNOWN
2218 Diffusion2D PT D30N010 StateSpace 01 76041e20 2 NONE UNKNOWN
2219 Diffusion2D PT D30N050 StateSpace 01 23262e82 2 NONE UNKNOWN
2220 Diffusion2D PT D30N100 StateSpace 01 39369e138 2 NONE UNKNOWN
2221 DrinkVendingMachine COL 02 StateSpace 01 7680 3 NONE UNKNOWN
2222 DrinkVendingMachine PT 02 StateSpace 01 7680 3 NONE UNKNOWN
2223 ERK PT 000010 StateSpace 01 372370 3 NONE UNKNOWN
2224 ERK PT 000100 StateSpace 01 168450000000 3 NONE UNKNOWN
2225 Eratosthenes PT 010 StateSpace 01 120 3 NONE UNKNOWN
2226 Eratosthenes PT 020 StateSpace 01 23040 3 NONE UNKNOWN
2227 Eratosthenes PT 050 StateSpace 01 730140000000 3 NONE UNKNOWN
2228 Eratosthenes PT 100 StateSpace 01 20259e20 3 NONE UNKNOWN
2229 Eratosthenes PT 200 StateSpace 01 29173000000000003e32 3 NONE UNKNOWN
2230 Eratosthenes PT 500 StateSpace 01 32061000000000005e108 3 NONE UNKNOWN
2231 FMS PT 005 StateSpace 01 23527000 3 NONE UNKNOWN
2232 FMS PT 010 StateSpace 01 27568000000 3 NONE UNKNOWN
2233 FMS PT 020 StateSpace 01 81442000000000 3 NONE UNKNOWN
2234 FMS PT 050 StateSpace 01 66135e14 3 NONE UNKNOWN
2235 GPPP PT C0001N0000001000 StateSpace 01 86140000000 3 NONE UNKNOWN
2236 GPPP PT C0001N0000010000 StateSpace 00 1433400000000 1 NONE UNKNOWN
2237 GPPP PT C0001N0000010000 StateSpace 01 8605700000000 1 NONE UNKNOWN
2238 GPPP PT C0001N0000010000 StateSpace 02 40007 1 NONE UNKNOWN
2239 GPPP PT C0001N0000010000 StateSpace 03 100030 1 NONE UNKNOWN
2240 GPPP PT C0010N0000000010 StateSpace 01 210470000000 3 NONE UNKNOWN
2241 GPPP PT C0010N0000000100 StateSpace 01 1642100000000 3 NONE UNKNOWN
2242 GPPP PT C0100N0000000010 StateSpace 01 119830000000 3 NONE UNKNOWN
2243 GPPP PT C0100N0000001000 StateSpace 00 20293e12 2 NONE UNKNOWN
2244 GPPP PT C0100N0000001000 StateSpace 01 19832e13 2 NONE UNKNOWN
2245 GPPP PT C0100N0000001000 StateSpace 02 4007 2 NONE UNKNOWN
2246 GPPP PT C0100N0000001000 StateSpace 03 12800 2 NONE UNKNOWN
2247 GPPP PT C1000N0000000010 StateSpace 01 119830000000 3 NONE UNKNOWN
2248 GPPP PT C1000N0000000100 StateSpace 00 11406e11 3 NONE UNKNOWN
2249 GPPP PT C1000N0000000100 StateSpace 02 7400 3 NONE UNKNOWN
2250 GPPP PT C1000N0000000100 StateSpace 03 31003 3 NONE UNKNOWN
2251 GlobalResAllocation COL 05 StateSpace 01 4097900000 2 NONE UNKNOWN
2252 GlobalResAllocation PT 05 StateSpace 01 4097900000 3 NONE UNKNOWN
2253 HexagonalGrid PT 110 StateSpace 01 430880 3 NONE UNKNOWN
2254 HexagonalGrid PT 126 StateSpace 01 39908000 3 NONE UNKNOWN
2255 HexagonalGrid PT 226 StateSpace 01 99582e43 2 NONE UNKNOWN
2256 HexagonalGrid PT 316 StateSpace 01 2935e89 1 NONE UNKNOWN
2257 HouseConstruction PT 005 StateSpace 01 7191100 3 NONE UNKNOWN
2258 HouseConstruction PT 010 StateSpace 01 14808000000 3 NONE UNKNOWN
2259 HouseConstruction PT 020 StateSpace 01 161440000000000 3 NONE UNKNOWN
2260 HouseConstruction PT 200 StateSpace 00 25048e25 2 NONE UNKNOWN
2261 HouseConstruction PT 200 StateSpace 02 200 2 NONE UNKNOWN
2262 HouseConstruction PT 200 StateSpace 03 1200 2 NONE UNKNOWN
2263 HypertorusGrid PT d2k1p8b00 StateSpace 01 667630 3 NONE UNKNOWN
2264 HypertorusGrid PT d2k2p1b00 StateSpace 01 921670000000 3 NONE UNKNOWN
2265 HypertorusGrid PT d2k3p2b04 StateSpace 01 30194000000000004e21 2 NONE UNKNOWN
2266 IBMB2S565S3960 PT none StateSpace 01 20113e13 3 NONE UNKNOWN
2267 IOTPpurchase PT C03M03P03D03 StateSpace 01 1684100 3 NONE UNKNOWN
2268 IOTPpurchase PT C05M04P03D02 StateSpace 01 108420000 3 NONE UNKNOWN
2269 JoinFreeModules PT 0100 StateSpace 01 Inf 2 NONE UNKNOWN
2270 JoinFreeModules PT 0200 StateSpace 01 Inf 2 NONE UNKNOWN
2271 Kanban PT 0005 StateSpace 01 24460000 3 NONE UNKNOWN
2272 Kanban PT 0010 StateSpace 01 12032000000 3 NONE UNKNOWN
2273 Kanban PT 0020 StateSpace 01 11012000000000 3 NONE UNKNOWN
2274 Kanban PT 0050 StateSpace 01 15612e13 3 NONE UNKNOWN
2275 Kanban PT 0100 StateSpace 01 26705e16 3 NONE UNKNOWN
2276 Kanban PT 0200 StateSpace 01 49914e19 2 NONE UNKNOWN
2277 Kanban PT 0500 StateSpace 01 1126e25 3 NONE UNKNOWN
2278 Kanban PT 1000 StateSpace 00 14197e26 3 NONE UNKNOWN
2279 Kanban PT 1000 StateSpace 01 22638e27 3 NONE UNKNOWN
2280 Kanban PT 1000 StateSpace 02 1000 3 NONE UNKNOWN
2281 Kanban PT 1000 StateSpace 03 4000 3 NONE UNKNOWN
2282 LamportFastMutEx COL 3 StateSpace 01 58272 2 NONE UNKNOWN
2283 LamportFastMutEx COL 4 StateSpace 01 9046000 2 NONE UNKNOWN
2284 LamportFastMutEx COL 5 StateSpace 01 4138200000 2 NONE UNKNOWN
2285 LamportFastMutEx COL 6 StateSpace 00 547230000000 2 NONE UNKNOWN
2286 LamportFastMutEx COL 6 StateSpace 01 6773000000000 2 NONE UNKNOWN
2287 LamportFastMutEx COL 6 StateSpace 02 1 2 NONE UNKNOWN
2288 LamportFastMutEx COL 6 StateSpace 03 44 2 NONE UNKNOWN
2289 LamportFastMutEx PT 3 StateSpace 01 58272 3 GEN UNKNOWN
2290 LamportFastMutEx PT 4 StateSpace 01 9046000 3 GEN UNKNOWN
2291 LamportFastMutEx PT 5 StateSpace 01 4138200000 2 GEN UNKNOWN
2292 LamportFastMutEx PT 6 StateSpace 01 6773000000000 1 GEN UNKNOWN
2293 MAPK PT 020 StateSpace 01 1689000000000 3 NONE UNKNOWN
2294 MAPK PT 040 StateSpace 01 11099e12 3 NONE UNKNOWN
2295 MAPK PT 080 StateSpace 00 56349e14 3 NONE UNKNOWN
2296 MAPK PT 080 StateSpace 01 14704e16 3 NONE UNKNOWN
2297 MAPK PT 080 StateSpace 02 80 3 NONE UNKNOWN
2298 MAPK PT 080 StateSpace 03 360 3 NONE UNKNOWN
2299 MAPK PT 160 StateSpace 00 1.0639999999999999e+23 3 NONE UNKNOWN
2300 MAPK PT 160 StateSpace 01 2967e21 3 NONE UNKNOWN
2301 MAPK PT 160 StateSpace 02 160 3 NONE UNKNOWN
2302 MAPK PT 160 StateSpace 03 720 3 NONE UNKNOWN
2303 NeighborGrid PT d2n3m1c12 StateSpace 01 514800 3 NONE UNKNOWN
2304 NeighborGrid PT d2n3m1t12 StateSpace 01 926640 3 NONE UNKNOWN
2305 NeighborGrid PT d3n3m1t11 StateSpace 01 80339e12 3 NONE UNKNOWN
2306 NeoElection COL 3 StateSpace 01 3599100 2 NONE UNKNOWN
2307 NeoElection COL 4 StateSpace 01 1865000000000 2 NONE UNKNOWN
2308 NeoElection PT 3 StateSpace 01 3599100 3 GEN UNKNOWN
2309 NeoElection PT 4 StateSpace 01 1865000000000 2 GEN UNKNOWN
2310 ParamProductionCell PT 0 StateSpace 01 13152000 3 GEN UNKNOWN
2311 ParamProductionCell PT 1 StateSpace 01 96722 3 GEN UNKNOWN
2312 ParamProductionCell PT 2 StateSpace 01 1380700 3 GEN UNKNOWN
2313 ParamProductionCell PT 3 StateSpace 01 5922700 3 GEN UNKNOWN
2314 ParamProductionCell PT 4 StateSpace 01 9827700 3 GEN UNKNOWN
2315 ParamProductionCell PT 5 StateSpace 01 6746400 3 GEN UNKNOWN
2316 Parking PT 208 StateSpace 01 106370000000 3 NUPN UNKNOWN
2317 Parking PT 416 StateSpace 01 45829e19 2 NUPN UNKNOWN
2318 Parking PT 432 StateSpace 01 31753000000000002e18 2 NUPN UNKNOWN
2319 Parking PT 832 StateSpace 01 20475e52 2 NUPN UNKNOWN
2320 Parking PT 864 StateSpace 01 29546999999999997e61 2 NUPN UNKNOWN
2321 Peterson COL 3 StateSpace 01 13632000 2 NONE UNKNOWN
2322 Peterson COL 4 StateSpace 01 3149700000 2 NONE UNKNOWN
2323 Peterson PT 3 StateSpace 01 13632000 3 GEN UNKNOWN
2324 Peterson PT 4 StateSpace 01 3149700000 3 GEN UNKNOWN
2325 PhaseVariation PT D02CS100 StateSpace 01 1054500000000 2 NONE UNKNOWN
2326 PhaseVariation PT D05CS010 StateSpace 01 14767000000000 2 NONE UNKNOWN
2327 Philosophers COL 000010 StateSpace 01 459270 2 NONE UNKNOWN
2328 Philosophers COL 000020 StateSpace 01 54239000000 2 NONE UNKNOWN
2329 Philosophers COL 000050 StateSpace 01 27918e21 2 NONE UNKNOWN
2330 Philosophers COL 000100 StateSpace 01 40085000000000006e33 2 NONE UNKNOWN
2331 Philosophers COL 000200 StateSpace 01 41318e93 2 NONE UNKNOWN
2332 Philosophers COL 000500 StateSpace 01 14140000000000005e225 2 NONE UNKNOWN
2333 Philosophers COL 001000 StateSpace 01 Inf 2 NONE UNKNOWN
2334 Philosophers COL 002000 StateSpace 01 Inf 2 NONE UNKNOWN
2335 Philosophers PT 000010 StateSpace 01 459270 3 GEN UNKNOWN
2336 Philosophers PT 000020 StateSpace 01 54239000000 3 GEN UNKNOWN
2337 Philosophers PT 000050 StateSpace 01 27918e21 3 GEN UNKNOWN
2338 Philosophers PT 000100 StateSpace 01 40085000000000006e33 3 GEN UNKNOWN
2339 Philosophers PT 000200 StateSpace 01 41318e93 3 GEN UNKNOWN
2340 Philosophers PT 000500 StateSpace 01 14140000000000005e225 3 GEN UNKNOWN
2341 Philosophers PT 001000 StateSpace 01 Inf 2 GEN UNKNOWN
2342 Philosophers PT 002000 StateSpace 01 Inf 2 GEN UNKNOWN
2343 PhilosophersDyn COL 10 StateSpace 01 617350 2 NONE UNKNOWN
2344 PhilosophersDyn PT 10 StateSpace 01 617350 2 NONE UNKNOWN
2345 Planning PT none StateSpace 00 Inf 1 NONE UNKNOWN
2346 Planning PT none StateSpace 01 Inf 1 NONE UNKNOWN
2347 Planning PT none StateSpace 02 Inf 1 NONE UNKNOWN
2348 Planning PT none StateSpace 03 Inf 1 NONE UNKNOWN
2349 PolyORBLF COL S02J04T06 StateSpace 01 393950000 1 NONE UNKNOWN
2350 PolyORBLF COL S02J06T06 StateSpace 01 721890000 1 NONE UNKNOWN
2351 PolyORBLF PT S02J06T06 StateSpace 00 254960000 1 NONE UNKNOWN
2352 PolyORBLF PT S02J06T06 StateSpace 01 721890000 1 NONE UNKNOWN
2353 PolyORBLF PT S02J06T06 StateSpace 02 10 1 NONE UNKNOWN
2354 PolyORBLF PT S02J06T06 StateSpace 03 65 1 NONE UNKNOWN
2355 PolyORBNT PT S10J20 StateSpace 00 34694000000 1 NONE UNKNOWN
2356 PolyORBNT PT S10J20 StateSpace 02 10 1 NONE UNKNOWN
2357 PolyORBNT PT S10J20 StateSpace 03 68 1 NONE UNKNOWN
2358 QuasiCertifProtocol COL 06 StateSpace 01 16008000 2 NONE UNKNOWN
2359 QuasiCertifProtocol COL 10 StateSpace 00 21512000000 1 NONE UNKNOWN
2360 QuasiCertifProtocol COL 10 StateSpace 02 6 1 NONE UNKNOWN
2361 QuasiCertifProtocol COL 10 StateSpace 03 161 1 NONE UNKNOWN
2362 QuasiCertifProtocol PT 06 StateSpace 01 16008000 3 NONE UNKNOWN
2363 Raft PT 03 StateSpace 01 350570000 3 NUPN UNKNOWN
2364 Raft PT 04 StateSpace 01 41776000000000 3 NUPN UNKNOWN
2365 Raft PT 05 StateSpace 01 11095e16 3 NUPN UNKNOWN
2366 Raft PT 06 StateSpace 01 6992599999999999e12 2 NUPN UNKNOWN
2367 Raft PT 07 StateSpace 01 10676000000000002e21 2 NUPN UNKNOWN
2368 Railroad PT 010 StateSpace 01 16325000 3 GEN UNKNOWN
2369 ResAllocation PT R002C002 StateSpace 01 12 3 GEN UNKNOWN
2370 ResAllocation PT R003C002 StateSpace 01 34 3 GEN UNKNOWN
2371 ResAllocation PT R003C003 StateSpace 01 257 3 GEN UNKNOWN
2372 ResAllocation PT R003C005 StateSpace 01 4960 3 GEN UNKNOWN
2373 ResAllocation PT R005C002 StateSpace 01 240 3 GEN UNKNOWN
2374 ResAllocation PT R010C002 StateSpace 01 20480 3 GEN UNKNOWN
2375 ResAllocation PT R015C002 StateSpace 01 1269800 3 GEN UNKNOWN
2376 ResAllocation PT R020C002 StateSpace 01 66847000 3 GEN UNKNOWN
2377 ResAllocation PT R050C002 StateSpace 01 38844e13 3 GEN UNKNOWN
2378 RobotManipulation PT 00100 StateSpace 00 35216e11 2 NONE UNKNOWN
2379 RobotManipulation PT 00100 StateSpace 01 37218e12 2 NONE UNKNOWN
2380 RobotManipulation PT 00100 StateSpace 02 201 2 NONE UNKNOWN
2381 RobotManipulation PT 00100 StateSpace 03 1002 2 NONE UNKNOWN
2382 RobotManipulation PT 00200 StateSpace 00 16154e14 2 NONE UNKNOWN
2383 RobotManipulation PT 00200 StateSpace 01 17414e15 2 NONE UNKNOWN
2384 RobotManipulation PT 00200 StateSpace 02 401 2 NONE UNKNOWN
2385 RobotManipulation PT 00200 StateSpace 03 2002 2 NONE UNKNOWN
2386 RwMutex PT r0010w0020 StateSpace 01 10280 3 GEN UNKNOWN
2387 RwMutex PT r0010w0050 StateSpace 01 10340 3 GEN UNKNOWN
2388 RwMutex PT r0010w0100 StateSpace 01 10440 3 GEN UNKNOWN
2389 RwMutex PT r0010w0500 StateSpace 01 11240 3 GEN UNKNOWN
2390 RwMutex PT r0010w1000 StateSpace 01 12240 2 GEN UNKNOWN
2391 RwMutex PT r0010w2000 StateSpace 01 14240 2 GEN UNKNOWN
2392 RwMutex PT r0020w0010 StateSpace 01 20972000 3 GEN UNKNOWN
2393 RwMutex PT r2000w0010 StateSpace 00 Inf 3 GEN UNKNOWN
2394 RwMutex PT r2000w0010 StateSpace 01 Inf 3 GEN UNKNOWN
2395 RwMutex PT r2000w0010 StateSpace 02 1 3 GEN UNKNOWN
2396 RwMutex PT r2000w0010 StateSpace 03 4010 3 GEN UNKNOWN
2397 SafeBus COL 06 StateSpace 01 29905000 2 NONE UNKNOWN
2398 SafeBus PT 06 StateSpace 01 29905000 2 GEN UNKNOWN
2399 SharedMemory COL 000010 StateSpace 01 19486000 2 NONE UNKNOWN
2400 SharedMemory COL 000020 StateSpace 01 9197400000000 2 NONE UNKNOWN
2401 SharedMemory PT 000010 StateSpace 01 19486000 3 GEN UNKNOWN
2402 SimpleLoadBal PT 05 StateSpace 01 566330 3 GEN UNKNOWN
2403 SimpleLoadBal PT 10 StateSpace 01 3051200000 3 GEN UNKNOWN
2404 SmallOperatingSystem PT MT0032DC0008 StateSpace 01 1112500 3 NONE UNKNOWN
2405 SmallOperatingSystem PT MT0032DC0016 StateSpace 01 2451300 3 NONE UNKNOWN
2406 SmallOperatingSystem PT MT0064DC0016 StateSpace 01 29675000 3 NONE UNKNOWN
2407 SmallOperatingSystem PT MT0064DC0032 StateSpace 01 67763000 3 NONE UNKNOWN
2408 SmallOperatingSystem PT MT0128DC0032 StateSpace 01 863520000 3 NONE UNKNOWN
2409 SmallOperatingSystem PT MT0128DC0064 StateSpace 01 2010600000 3 NONE UNKNOWN
2410 SmallOperatingSystem PT MT0256DC0064 StateSpace 01 26322000000 3 NONE UNKNOWN
2411 SmallOperatingSystem PT MT0256DC0128 StateSpace 01 61916000000 3 NONE UNKNOWN
2412 SmallOperatingSystem PT MT0512DC0128 StateSpace 01 821840000000 3 NONE UNKNOWN
2413 SmallOperatingSystem PT MT0512DC0256 StateSpace 01 1943300000000 2 NONE UNKNOWN
2414 SmallOperatingSystem PT MT1024DC0256 StateSpace 01 25976000000000 2 NONE UNKNOWN
2415 SmallOperatingSystem PT MT1024DC0512 StateSpace 01 61584000000000 2 NONE UNKNOWN
2416 SmallOperatingSystem PT MT2048DC0512 StateSpace 00 103580000000000 2 NONE UNKNOWN
2417 SmallOperatingSystem PT MT2048DC0512 StateSpace 02 2048 2 NONE UNKNOWN
2418 SmallOperatingSystem PT MT2048DC0512 StateSpace 03 5632 2 NONE UNKNOWN
2419 SwimmingPool PT 02 StateSpace 01 19930000 3 NONE UNKNOWN
2420 SwimmingPool PT 03 StateSpace 01 199290000 3 NONE UNKNOWN
2421 SwimmingPool PT 04 StateSpace 01 1047500000 3 NONE UNKNOWN
2422 SwimmingPool PT 05 StateSpace 01 3837200000 3 NONE UNKNOWN
2423 SwimmingPool PT 06 StateSpace 01 11150000000 3 NONE UNKNOWN
2424 SwimmingPool PT 07 StateSpace 01 27571000000 3 NONE UNKNOWN
2425 TCPcondis PT 10 StateSpace 01 189250000000 2 NONE UNKNOWN
2426 TCPcondis PT 15 StateSpace 01 93109000000000 3 NONE UNKNOWN
2427 TCPcondis PT 20 StateSpace 01 10931e12 1 NONE UNKNOWN
2428 TCPcondis PT 25 StateSpace 00 24639e12 1 NONE UNKNOWN
2429 TCPcondis PT 25 StateSpace 01 52719e13 1 NONE UNKNOWN
2430 TCPcondis PT 25 StateSpace 02 25 1 NONE UNKNOWN
2431 TCPcondis PT 25 StateSpace 03 100 1 NONE UNKNOWN
2432 TokenRing COL 010 StateSpace 01 294050 2 NONE UNKNOWN
2433 TokenRing COL 015 StateSpace 01 265180000 2 NONE UNKNOWN
2434 TokenRing COL 020 StateSpace 01 244660000000 2 NONE UNKNOWN
2435 TokenRing COL 030 StateSpace 01 21817e13 2 NONE UNKNOWN
2436 TokenRing PT 010 StateSpace 01 294050 3 GEN UNKNOWN
2437 TokenRing PT 015 StateSpace 01 265180000 3 GEN UNKNOWN
2438 TokenRing PT 020 StateSpace 01 244660000000 2 GEN UNKNOWN
2439 TokenRing PT 030 StateSpace 01 21817e13 2 GEN UNKNOWN
2440 TriangularGrid PT 1200 StateSpace 01 566710 3 NONE UNKNOWN
2441 TriangularGrid PT 1500 StateSpace 01 3683600 3 NONE UNKNOWN
2442 TriangularGrid PT 2011 StateSpace 01 10543000000 3 NONE UNKNOWN
2443 TriangularGrid PT 3011 StateSpace 01 69469e17 3 NONE UNKNOWN
2444 TriangularGrid PT 3026 StateSpace 01 12333e26 3 NONE UNKNOWN
2445 ASLink PT 01a StateSpace 01 956620000 2 NUPN UNKNOWN
2446 ASLink PT 02a StateSpace 01 70218000000000 2 NUPN UNKNOWN
2447 ASLink PT 03a StateSpace 01 45791e14 2 NUPN UNKNOWN
2448 ASLink PT 04a StateSpace 01 27772e19 1 NUPN UNKNOWN
2449 BusinessProcesses PT 01 StateSpace 01 276500000000 3 NUPN UNKNOWN
2450 BusinessProcesses PT 02 StateSpace 01 50565000000000 3 NUPN UNKNOWN
2451 BusinessProcesses PT 03 StateSpace 01 258220000000000 3 NUPN UNKNOWN
2452 BusinessProcesses PT 04 StateSpace 01 2557500000000 3 NUPN UNKNOWN
2453 BusinessProcesses PT 05 StateSpace 01 55862e14 2 NUPN UNKNOWN
2454 BusinessProcesses PT 06 StateSpace 01 67554e15 2 NUPN UNKNOWN
2455 BusinessProcesses PT 08 StateSpace 01 11592e15 2 NUPN UNKNOWN
2456 BusinessProcesses PT 11 StateSpace 01 20996e20 2 NUPN UNKNOWN
2457 BusinessProcesses PT 12 StateSpace 01 18594e21 2 NUPN UNKNOWN
2458 BusinessProcesses PT 15 StateSpace 01 29366e23 2 NUPN UNKNOWN
2459 DLCflexbar PT 2a StateSpace 01 20377e19 2 NUPN UNKNOWN
2460 DLCflexbar PT 3a StateSpace 01 10304e29 2 NUPN UNKNOWN
2461 DLCflexbar PT 4a StateSpace 01 11869e42 2 NUPN UNKNOWN
2462 DLCflexbar PT 5a StateSpace 01 30931e58 2 NUPN UNKNOWN
2463 DLCflexbar PT 6a StateSpace 01 18344e78 2 NUPN UNKNOWN
2464 DLCflexbar PT 7a StateSpace 01 24966e101 2 NUPN UNKNOWN
2465 DLCflexbar PT 8a StateSpace 01 78563e127 2 NUPN UNKNOWN
2466 DiscoveryGPU PT 06a StateSpace 01 13528000 3 NUPN UNKNOWN
2467 DiscoveryGPU PT 06b StateSpace 01 38660000000 3 NUPN UNKNOWN
2468 DiscoveryGPU PT 07a StateSpace 01 173610000 3 NUPN UNKNOWN
2469 DiscoveryGPU PT 07b StateSpace 01 1272500000000 2 NUPN UNKNOWN
2470 DiscoveryGPU PT 08a StateSpace 01 2182600000 3 NUPN UNKNOWN
2471 DiscoveryGPU PT 08b StateSpace 01 40675000000000 2 NUPN UNKNOWN
2472 DiscoveryGPU PT 09a StateSpace 01 27009000000 3 NUPN UNKNOWN
2473 DiscoveryGPU PT 09b StateSpace 01 1271e12 2 NUPN UNKNOWN
2474 DiscoveryGPU PT 10a StateSpace 01 330110000000 3 NUPN UNKNOWN
2475 DiscoveryGPU PT 10b StateSpace 01 39011e12 2 NUPN UNKNOWN
2476 DiscoveryGPU PT 11a StateSpace 01 3994400000000 3 NUPN UNKNOWN
2477 DiscoveryGPU PT 11b StateSpace 01 118e16 2 NUPN UNKNOWN
2478 DiscoveryGPU PT 12a StateSpace 01 47932000000000 3 NUPN UNKNOWN
2479 DiscoveryGPU PT 12b StateSpace 01 35272e15 2 NUPN UNKNOWN
2480 DiscoveryGPU PT 13a StateSpace 01 571190000000000 3 NUPN UNKNOWN
2481 DiscoveryGPU PT 13b StateSpace 01 10439e17 2 NUPN UNKNOWN
2482 DiscoveryGPU PT 14a StateSpace 01 67665e11 3 NUPN UNKNOWN
2483 DiscoveryGPU PT 14b StateSpace 01 30638e18 2 NUPN UNKNOWN
2484 DiscoveryGPU PT 15a StateSpace 01 79747e12 3 NUPN UNKNOWN
2485 DiscoveryGPU PT 15b StateSpace 01 89289e19 2 NUPN UNKNOWN
2486 DoubleExponent PT 001 StateSpace 01 148 3 NONE UNKNOWN
2487 DoubleExponent PT 002 StateSpace 01 3707 3 NONE UNKNOWN
2488 DoubleExponent PT 003 StateSpace 01 2385100 3 NONE UNKNOWN
2489 EGFr PT 02010 StateSpace 01 26923 3 GEN UNKNOWN
2490 EGFr PT 10420 StateSpace 01 84643e13 3 GEN UNKNOWN
2491 EGFr PT 10421 StateSpace 01 84643e13 3 NONE UNKNOWN
2492 HospitalTriage PT none StateSpace 01 35036e17 2 NONE UNKNOWN
2493 MAPKbis PT 5310 StateSpace 01 94861000000000 2 GEN UNKNOWN
2494 MAPKbis PT 5320 StateSpace 01 101580000 3 GEN UNKNOWN
2495 NQueens PT 05 StateSpace 01 1295 3 GEN UNKNOWN
2496 NQueens PT 08 StateSpace 01 564880 3 GEN UNKNOWN
2497 BridgeAndVehicles PT V50P50N20 StateSpace 01 3363700000 3 NONE UNKNOWN
2498 Diffusion2D PT D05N150 StateSpace 01 22501000000000002e15 2 NONE UNKNOWN
2499 GPPP PT C0010N1000000000 StateSpace 00 2 1 NONE UNKNOWN
2500 GPPP PT C0010N1000000000 StateSpace 01 1 1 NONE UNKNOWN
2501 GPPP PT C0010N1000000000 StateSpace 02 2000000000 1 NONE UNKNOWN
2502 GPPP PT C0010N1000000000 StateSpace 03 5000000000 1 NONE UNKNOWN
2503 GPPP PT C1000N0000000100 StateSpace 01 10253e12 3 NONE UNKNOWN
2504 SharedMemory PT 000020 StateSpace 01 9197400000000 2 GEN UNKNOWN
2505 SmallOperatingSystem PT MT2048DC0512 StateSpace 01 826080000000000 1 NONE UNKNOWN
2506 NQueens PT 10 StateSpace 01 46240000 1 GEN UNKNOWN
2507 RefineWMG PT 002002 StateSpace 01 321730 1 NONE UNKNOWN
2508 RefineWMG PT 002003 StateSpace 01 1139500 1 NONE UNKNOWN
2509 RefineWMG PT 005005 StateSpace 01 9379200000000 1 NONE UNKNOWN
2510 RefineWMG PT 005006 StateSpace 01 45170000000000 1 NONE UNKNOWN
2511 RefineWMG PT 007007 StateSpace 01 36537e14 1 NONE UNKNOWN
2512 RefineWMG PT 007008 StateSpace 01 19333e15 1 NONE UNKNOWN
2513 AutoFlight PT 05b StateSpace 01 52864e26 1 NUPN UNKNOWN
2514 AutoFlight PT 06b StateSpace 01 12063e32 1 NUPN UNKNOWN
2515 BridgeAndVehicles COL V50P20N50 StateSpace 01 5484000000 2 NONE UNKNOWN
2516 BridgeAndVehicles COL V50P50N20 StateSpace 01 3363700000 2 NONE UNKNOWN
2517 BridgeAndVehicles COL V50P50N50 StateSpace 01 6337400000 2 NONE UNKNOWN
2518 BridgeAndVehicles COL V80P20N10 StateSpace 01 8993400000 2 NONE UNKNOWN
2519 BridgeAndVehicles COL V80P50N10 StateSpace 01 8993400000 2 NONE UNKNOWN
2520 BridgeAndVehicles PT V50P20N50 StateSpace 01 5484000000 2 NONE UNKNOWN
2521 BridgeAndVehicles PT V50P50N50 StateSpace 01 6337400000 2 NONE UNKNOWN
2522 BridgeAndVehicles PT V80P20N10 StateSpace 01 8993400000 2 NONE UNKNOWN
2523 BridgeAndVehicles PT V80P50N10 StateSpace 01 8993400000 2 NONE UNKNOWN
2524 Diffusion2D PT D05N200 StateSpace 01 14707000000000001e18 1 NONE UNKNOWN
2525 Diffusion2D PT D05N250 StateSpace 01 24062e32 1 NONE UNKNOWN
2526 Diffusion2D PT D05N300 StateSpace 01 16072e34 1 NONE UNKNOWN
2527 Diffusion2D PT D05N350 StateSpace 01 57325e35 1 NONE UNKNOWN
2528 Diffusion2D PT D30N150 StateSpace 01 30661000000000007e172 1 NONE UNKNOWN
2529 Diffusion2D PT D40N050 StateSpace 01 42126e94 1 NONE UNKNOWN
2530 Diffusion2D PT D40N100 StateSpace 01 4160400000000001e151 1 NONE UNKNOWN
2531 Diffusion2D PT D40N150 StateSpace 00 63692e216 1 NONE UNKNOWN
2532 Diffusion2D PT D40N150 StateSpace 01 6731900000000001e208 1 NONE UNKNOWN
2533 Diffusion2D PT D40N150 StateSpace 02 150 1 NONE UNKNOWN
2534 Diffusion2D PT D40N150 StateSpace 03 150 1 NONE UNKNOWN
2535 Diffusion2D PT D50N050 StateSpace 01 16063e104 1 NONE UNKNOWN
2536 Diffusion2D PT D50N100 StateSpace 00 47067000000000014e166 1 NONE UNKNOWN
2537 Diffusion2D PT D50N100 StateSpace 01 35140000000000004e169 1 NONE UNKNOWN
2538 Diffusion2D PT D50N100 StateSpace 02 100 1 NONE UNKNOWN
2539 Diffusion2D PT D50N100 StateSpace 03 100 1 NONE UNKNOWN
2540 Diffusion2D PT D50N150 StateSpace 00 68837e244 1 NONE UNKNOWN
2541 Diffusion2D PT D50N150 StateSpace 01 75635e247 1 NONE UNKNOWN
2542 Diffusion2D PT D50N150 StateSpace 02 150 1 NONE UNKNOWN
2543 Diffusion2D PT D50N150 StateSpace 03 150 1 NONE UNKNOWN
2544 GPPP PT C0100N0000010000 StateSpace 00 20293e12 1 NONE UNKNOWN
2545 GPPP PT C0100N0000010000 StateSpace 01 19832e13 1 NONE UNKNOWN
2546 GPPP PT C0100N0000010000 StateSpace 02 40007 1 NONE UNKNOWN
2547 GPPP PT C0100N0000010000 StateSpace 03 93800 1 NONE UNKNOWN
2548 GPPP PT C0100N0000100000 StateSpace 00 20293e12 1 NONE UNKNOWN
2549 GPPP PT C0100N0000100000 StateSpace 01 19832e13 1 NONE UNKNOWN
2550 GPPP PT C0100N0000100000 StateSpace 02 400010 1 NONE UNKNOWN
2551 GPPP PT C0100N0000100000 StateSpace 03 903800 1 NONE UNKNOWN
2552 HouseConstruction PT 200 StateSpace 01 42781e26 1 NONE UNKNOWN
2553 HouseConstruction PT 500 StateSpace 00 26712e32 1 NONE UNKNOWN
2554 HouseConstruction PT 500 StateSpace 01 47066000000000005e21 1 NONE UNKNOWN
2555 HouseConstruction PT 500 StateSpace 02 500 1 NONE UNKNOWN
2556 HouseConstruction PT 500 StateSpace 03 3000 1 NONE UNKNOWN
2557 JoinFreeModules PT 0500 StateSpace 01 Inf 1 NONE UNKNOWN
2558 LamportFastMutEx COL 7 StateSpace 00 23326e11 1 NONE UNKNOWN
2559 LamportFastMutEx COL 7 StateSpace 01 42639e12 1 NONE UNKNOWN
2560 LamportFastMutEx COL 7 StateSpace 02 1 1 NONE UNKNOWN
2561 LamportFastMutEx COL 7 StateSpace 03 58 1 NONE UNKNOWN
2562 NeighborGrid PT d4n3m2c23 StateSpace 01 29451000000000003e52 2 NONE UNKNOWN
2563 NeighborGrid PT d5n4m1t35 StateSpace 00 Inf 1 NONE UNKNOWN
2564 NeighborGrid PT d5n4m1t35 StateSpace 01 Inf 1 NONE UNKNOWN
2565 NeighborGrid PT d5n4m1t35 StateSpace 02 1024 1 NONE UNKNOWN
2566 NeighborGrid PT d5n4m1t35 StateSpace 03 1024 1 NONE UNKNOWN
2567 NeoElection COL 5 StateSpace 00 63569e14 1 NONE UNKNOWN
2568 NeoElection COL 5 StateSpace 01 64783e15 1 NONE UNKNOWN
2569 NeoElection COL 5 StateSpace 02 1 1 NONE UNKNOWN
2570 NeoElection COL 5 StateSpace 03 80 1 NONE UNKNOWN
2571 NeoElection PT 5 StateSpace 00 63569e14 1 GEN UNKNOWN
2572 NeoElection PT 5 StateSpace 01 64783e15 1 GEN UNKNOWN
2573 NeoElection PT 5 StateSpace 02 1 1 GEN UNKNOWN
2574 NeoElection PT 5 StateSpace 03 80 1 GEN UNKNOWN
2575 Peterson COL 5 StateSpace 00 136560000000 1 NONE UNKNOWN
2576 Peterson COL 5 StateSpace 01 819370000000 1 NONE UNKNOWN
2577 Peterson COL 5 StateSpace 02 1 1 NONE UNKNOWN
2578 Peterson COL 5 StateSpace 03 17 1 NONE UNKNOWN
2579 Peterson PT 5 StateSpace 00 136560000000 1 GEN UNKNOWN
2580 Peterson PT 5 StateSpace 01 819370000000 1 GEN UNKNOWN
2581 Peterson PT 5 StateSpace 02 1 1 GEN UNKNOWN
2582 Peterson PT 5 StateSpace 03 17 1 GEN UNKNOWN
2583 Philosophers COL 005000 StateSpace 01 Inf 1 NONE UNKNOWN
2584 Philosophers COL 010000 StateSpace 00 Inf 1 NONE UNKNOWN
2585 Philosophers COL 010000 StateSpace 01 Inf 1 NONE UNKNOWN
2586 Philosophers COL 010000 StateSpace 02 1 1 NONE UNKNOWN
2587 Philosophers COL 010000 StateSpace 03 20000 1 NONE UNKNOWN
2588 Philosophers PT 005000 StateSpace 01 Inf 1 NONE UNKNOWN
2589 Philosophers PT 010000 StateSpace 01 Inf 1 NONE UNKNOWN
2590 RobotManipulation PT 00500 StateSpace 00 57643e17 1 NONE UNKNOWN
2591 RobotManipulation PT 00500 StateSpace 01 62893e18 1 NONE UNKNOWN
2592 RobotManipulation PT 00500 StateSpace 02 1001 1 NONE UNKNOWN
2593 RobotManipulation PT 00500 StateSpace 03 5002 1 NONE UNKNOWN
2594 RobotManipulation PT 01000 StateSpace 00 2886e21 1 NONE UNKNOWN
2595 RobotManipulation PT 01000 StateSpace 01 31616e21 1 NONE UNKNOWN
2596 RobotManipulation PT 01000 StateSpace 02 2001 1 NONE UNKNOWN
2597 RobotManipulation PT 01000 StateSpace 03 10002 1 NONE UNKNOWN
2598 RobotManipulation PT 02000 StateSpace 00 14610999999999998e11 1 NONE UNKNOWN
2599 RobotManipulation PT 02000 StateSpace 01 1604e25 1 NONE UNKNOWN
2600 RobotManipulation PT 02000 StateSpace 02 4001 1 NONE UNKNOWN
2601 RobotManipulation PT 02000 StateSpace 03 20002 1 NONE UNKNOWN
2602 RobotManipulation PT 05000 StateSpace 00 5536300000000001e15 1 NONE UNKNOWN
2603 RobotManipulation PT 05000 StateSpace 01 6085e28 1 NONE UNKNOWN
2604 RobotManipulation PT 05000 StateSpace 02 10001 1 NONE UNKNOWN
2605 RobotManipulation PT 05000 StateSpace 03 50002 1 NONE UNKNOWN
2606 RobotManipulation PT 10000 StateSpace 00 28281999999999995e17 1 NONE UNKNOWN
2607 RobotManipulation PT 10000 StateSpace 01 31098000000000003e18 1 NONE UNKNOWN
2608 RobotManipulation PT 10000 StateSpace 02 20001 1 NONE UNKNOWN
2609 RobotManipulation PT 10000 StateSpace 03 100000 1 NONE UNKNOWN
2610 SharedMemory COL 000050 StateSpace 01 29741e24 1 NONE UNKNOWN
2611 SharedMemory COL 000100 StateSpace 01 17126000000000001e37 1 NONE UNKNOWN
2612 SharedMemory COL 000200 StateSpace 00 35241e95 1 NONE UNKNOWN
2613 SharedMemory COL 000200 StateSpace 01 7071600000000001e86 1 NONE UNKNOWN
2614 SharedMemory COL 000200 StateSpace 02 1 1 NONE UNKNOWN
2615 SharedMemory COL 000200 StateSpace 03 401 1 NONE UNKNOWN
2616 SharedMemory PT 000050 StateSpace 01 29741e24 1 GEN UNKNOWN
2617 SharedMemory PT 000100 StateSpace 01 17126000000000001e37 1 GEN UNKNOWN
2618 SharedMemory PT 000200 StateSpace 00 35241e95 1 GEN UNKNOWN
2619 SharedMemory PT 000200 StateSpace 01 7071600000000001e86 1 GEN UNKNOWN
2620 SharedMemory PT 000200 StateSpace 02 1 1 GEN UNKNOWN
2621 SharedMemory PT 000200 StateSpace 03 401 1 GEN UNKNOWN
2622 TokenRing COL 040 StateSpace 01 20228e19 2 NONE UNKNOWN
2623 ASLink PT 01b StateSpace 00 594950000000000 1 NUPN UNKNOWN
2624 ASLink PT 01b StateSpace 01 73479e11 1 NUPN UNKNOWN
2625 ASLink PT 01b StateSpace 02 1 1 NUPN UNKNOWN
2626 ASLink PT 01b StateSpace 03 23 1 NUPN UNKNOWN
2627 BusinessProcesses PT 07 StateSpace 00 81436e13 1 NUPN UNKNOWN
2628 BusinessProcesses PT 07 StateSpace 01 14959e15 1 NUPN UNKNOWN
2629 BusinessProcesses PT 07 StateSpace 02 1 1 NUPN UNKNOWN
2630 BusinessProcesses PT 07 StateSpace 03 39 1 NUPN UNKNOWN
2631 BusinessProcesses PT 09 StateSpace 01 14557e16 1 NUPN UNKNOWN
2632 BusinessProcesses PT 13 StateSpace 01 10051e23 1 NUPN UNKNOWN
2633 BusinessProcesses PT 14 StateSpace 00 5185e23 1 NUPN UNKNOWN
2634 BusinessProcesses PT 14 StateSpace 01 17608e24 1 NUPN UNKNOWN
2635 BusinessProcesses PT 14 StateSpace 02 1 1 NUPN UNKNOWN
2636 BusinessProcesses PT 14 StateSpace 03 65 1 NUPN UNKNOWN
2637 BusinessProcesses PT 16 StateSpace 00 37426999999999994e11 1 NUPN UNKNOWN
2638 BusinessProcesses PT 16 StateSpace 01 13080000000000001e13 1 NUPN UNKNOWN
2639 BusinessProcesses PT 16 StateSpace 02 1 1 NUPN UNKNOWN
2640 BusinessProcesses PT 16 StateSpace 03 66 1 NUPN UNKNOWN
2641 BusinessProcesses PT 17 StateSpace 01 12757e24 1 NUPN UNKNOWN
2642 BusinessProcesses PT 18 StateSpace 01 14065e29 1 NUPN UNKNOWN
2643 BridgeAndVehicles COL V80P20N20 StateSpace 01 26974000000 1 NONE UNKNOWN
2644 BridgeAndVehicles COL V80P50N20 StateSpace 01 26974000000 1 NONE UNKNOWN
2645 BridgeAndVehicles PT V80P20N20 StateSpace 01 26974000000 1 NONE UNKNOWN
2646 BridgeAndVehicles PT V80P50N20 StateSpace 01 26974000000 1 NONE UNKNOWN
2647 Philosophers COL 050000 StateSpace 00 1 1 NONE UNKNOWN