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