← Back to branch summary

~verifypn-stub/verifypn/masters-thesis

« back to all changes in this revision

Viewing changes to experimental_data/CSV/LoLA/LolaSiphon-ReachabilityDeadlock.csv

  • Committer: Jakob Dyhr
  • Date: 2017-06-02 12:23:18 UTC
  • Revision ID: jdyhr12@student.aau.dk-20170602122318-v5njaleyk9kvp2r1
Add experimental data

Show diffs side-by-side

added added

removed removed

Lines of Context:
experimental_data/CSV/LoLA/LolaSiphon-ReachabilityDeadlock.csv
 
1
, model, category, query, answer, elapsed_time, max_memory, exit_status, explored_states
 
2
, AirplaneLD-COL-0010, ReachabilityDeadlock, 1, TRUE, 0, 6124, 0, 8
 
3
, AirplaneLD-COL-0200, ReachabilityDeadlock, 1, TRUE, 0, 21544, 0, 8
 
4
, AirplaneLD-COL-0500, ReachabilityDeadlock, 1, TRUE, 0, 43640, 0, 7
 
5
, AirplaneLD-COL-1000, ReachabilityDeadlock, 1, TRUE, 2, 85392, 0, 7
 
6
, AirplaneLD-COL-2000, ReachabilityDeadlock, 1, TRUE, 8, 180876, 0, 7
 
7
, AirplaneLD-COL-4000, ReachabilityDeadlock, 1, TRUE, 28, 421384, 0, 8
 
8
, Angiogenesis-PT-01, ReachabilityDeadlock, 1, TRUE, 0, 6724, 0, 26
 
9
, Angiogenesis-PT-15, ReachabilityDeadlock, 1, TRUE, 4, 170036, 0, 1184735
 
10
, Angiogenesis-PT-20, ReachabilityDeadlock, 1, TRUE, 36, 1317652, 0, 9437341
 
11
, Angiogenesis-PT-25, ReachabilityDeadlock, 1, TRUE, 176, 5885784, 0, 42309981
 
12
, Angiogenesis-PT-50, ReachabilityDeadlock, 1, , 60, 1916, 0, 
 
13
, ARMCacheCoherence-PT-none, ReachabilityDeadlock, 1, , 60, 2028, 0, 
 
14
, AutoFlight-PT-01a, ReachabilityDeadlock, 1, TRUE, 0, 5636, 0, 22
 
15
, AutoFlight-PT-01b, ReachabilityDeadlock, 1, TRUE, 0, 6480, 0, 60
 
16
, AutoFlight-PT-05a, ReachabilityDeadlock, 1, TRUE, 0, 6548, 0, 21
 
17
, AutoFlight-PT-05b, ReachabilityDeadlock, 1, TRUE, 0, 10328, 0, 239
 
18
, AutoFlight-PT-06a, ReachabilityDeadlock, 1, TRUE, 0, 8040, 0, 24
 
19
, AutoFlight-PT-06b, ReachabilityDeadlock, 1, TRUE, 0, 11680, 0, 278
 
20
, AutoFlight-PT-12a, ReachabilityDeadlock, 1, TRUE, 0, 8576, 0, 42
 
21
, AutoFlight-PT-12b, ReachabilityDeadlock, 1, TRUE, 0, 16612, 0, 544
 
22
, AutoFlight-PT-24a, ReachabilityDeadlock, 1, TRUE, 0, 13188, 0, 78
 
23
, AutoFlight-PT-24b, ReachabilityDeadlock, 1, TRUE, 0, 27864, 0, 1056
 
24
, AutoFlight-PT-48a, ReachabilityDeadlock, 1, TRUE, 0, 17176, 0, 126
 
25
, AutoFlight-PT-48b, ReachabilityDeadlock, 1, TRUE, 0, 46920, 0, 1880
 
26
, AutoFlight-PT-96a, ReachabilityDeadlock, 1, TRUE, 0, 28648, 0, 246
 
27
, AutoFlight-PT-96b, ReachabilityDeadlock, 1, TRUE, 1, 87624, 0, 3691
 
28
, BridgeAndVehicles-COL-V04P05N02, ReachabilityDeadlock, 1, TRUE, 0, 5128, 0, 42
 
29
, BridgeAndVehicles-COL-V20P20N10, ReachabilityDeadlock, 1, TRUE, 0, 6152, 0, 170
 
30
, BridgeAndVehicles-COL-V20P20N20, ReachabilityDeadlock, 1, TRUE, 0, 7724, 0, 166
 
31
, BridgeAndVehicles-COL-V20P20N50, ReachabilityDeadlock, 1, TRUE, 0, 16428, 0, 165
 
32
, BridgeAndVehicles-COL-V50P20N10, ReachabilityDeadlock, 1, TRUE, 0, 9820, 0, 422
 
33
, BridgeAndVehicles-COL-V50P20N20, ReachabilityDeadlock, 1, TRUE, 0, 17932, 0, 413
 
34
, BridgeAndVehicles-COL-V50P20N50, ReachabilityDeadlock, 1, TRUE, 4, 66408, 0, 406
 
35
, BridgeAndVehicles-COL-V50P50N10, ReachabilityDeadlock, 1, TRUE, 0, 9812, 0, 422
 
36
, BridgeAndVehicles-COL-V50P50N20, ReachabilityDeadlock, 1, TRUE, 0, 17984, 0, 413
 
37
, BridgeAndVehicles-COL-V50P50N50, ReachabilityDeadlock, 1, TRUE, 4, 66396, 0, 406
 
38
, BridgeAndVehicles-COL-V80P20N10, ReachabilityDeadlock, 1, TRUE, 1, 15968, 0, 674
 
39
, BridgeAndVehicles-COL-V80P20N20, ReachabilityDeadlock, 1, TRUE, 3, 35684, 0, 658
 
40
, BridgeAndVehicles-COL-V80P20N50, ReachabilityDeadlock, 1, TRUE, 22, 155940, 0, 649
 
41
, BridgeAndVehicles-COL-V80P50N10, ReachabilityDeadlock, 1, TRUE, 0, 15960, 0, 674
 
42
, BridgeAndVehicles-COL-V80P50N20, ReachabilityDeadlock, 1, TRUE, 3, 35680, 0, 658
 
43
, BridgeAndVehicles-COL-V80P50N50, ReachabilityDeadlock, 1, TRUE, 23, 155924, 0, 649
 
44
, CircadianClock-PT-000001, ReachabilityDeadlock, 1, FALSE, 0, 5628, 0, 
 
45
, CircadianClock-PT-001000, ReachabilityDeadlock, 1, FALSE, 0, 5628, 0, 
 
46
, CircadianClock-PT-010000, ReachabilityDeadlock, 1, FALSE, 0, 5588, 0, 
 
47
, CircadianClock-PT-100000, ReachabilityDeadlock, 1, FALSE, 0, 6316, 0, 
 
48
, CircularTrains-PT-012, ReachabilityDeadlock, 1, FALSE, 0, 6232, 0, 
 
49
, CircularTrains-PT-384, ReachabilityDeadlock, 1, FALSE, 0, 18088, 0, 12550
 
50
, CircularTrains-PT-768, ReachabilityDeadlock, 1, FALSE, 0, 83788, 0, 49542
 
51
, CloudDeployment-PT-2a, ReachabilityDeadlock, 1, TRUE, 0, 6404, 0, 134
 
52
, CloudDeployment-PT-2b, ReachabilityDeadlock, 1, TRUE, 0, 10852, 0, 44
 
53
, CloudDeployment-PT-5a, ReachabilityDeadlock, 1, TRUE, 150, 204176, 0, 1717600
 
54
, CloudDeployment-PT-5b, ReachabilityDeadlock, 1, TRUE, 2, 38180, 0, 201
 
55
, CloudDeployment-PT-6a, ReachabilityDeadlock, 1, , 60, 1896, 0, 
 
56
, CloudDeployment-PT-6b, ReachabilityDeadlock, 1, TRUE, 2, 101240, 0, 215
 
57
, CloudDeployment-PT-7a, ReachabilityDeadlock, 1, , 60, 1884, 0, 
 
58
, CloudDeployment-PT-7b, ReachabilityDeadlock, 1, TRUE, 22, 365752, 0, 328
 
59
, CSRepetitions-COL-02, ReachabilityDeadlock, 1, TRUE, 0, 5568, 0, 13
 
60
, CSRepetitions-COL-05, ReachabilityDeadlock, 1, TRUE, 0, 8236, 0, 541
 
61
, CSRepetitions-COL-07, ReachabilityDeadlock, 1, TRUE, 0, 13820, 0, 2155
 
62
, CSRepetitions-COL-10, ReachabilityDeadlock, 1, TRUE, 8, 30804, 0, 333
 
63
, DatabaseWithMutex-COL-02, ReachabilityDeadlock, 1, FALSE, 0, 5792, 0, 
 
64
, DatabaseWithMutex-COL-20, ReachabilityDeadlock, 1, , 60, 1936, 0, 
 
65
, DatabaseWithMutex-COL-40, ReachabilityDeadlock, 1, , 60, 1992, 0, 
 
66
, Dekker-PT-010, ReachabilityDeadlock, 1, FALSE, 0, 7056, 0, 
 
67
, Dekker-PT-100, ReachabilityDeadlock, 1, FALSE, 3568, 1362884, 0, 
 
68
, Dekker-PT-200, ReachabilityDeadlock, 1, , 60, 1912, 0, 
 
69
, DES-PT-00a, ReachabilityDeadlock, 1, TRUE, 0, 6272, 0, 25
 
70
, DES-PT-00b, ReachabilityDeadlock, 1, TRUE, 0, 7748, 0, 116
 
71
, DES-PT-10a, ReachabilityDeadlock, 1, TRUE, 0, 6596, 0, 26
 
72
, DES-PT-10b, ReachabilityDeadlock, 1, TRUE, 0, 8008, 0, 87
 
73
, DES-PT-20a, ReachabilityDeadlock, 1, TRUE, 0, 7000, 0, 50
 
74
, DES-PT-20b, ReachabilityDeadlock, 1, TRUE, 0, 8480, 0, 87
 
75
, DES-PT-30a, ReachabilityDeadlock, 1, TRUE, 0, 7380, 0, 35
 
76
, DES-PT-30b, ReachabilityDeadlock, 1, TRUE, 0, 9948, 0, 89
 
77
, DES-PT-40a, ReachabilityDeadlock, 1, TRUE, 0, 7860, 0, 35
 
78
, DES-PT-40b, ReachabilityDeadlock, 1, TRUE, 0, 8968, 0, 89
 
79
, DES-PT-50a, ReachabilityDeadlock, 1, TRUE, 0, 9156, 0, 35
 
80
, DES-PT-50b, ReachabilityDeadlock, 1, TRUE, 0, 9328, 0, 89
 
81
, DES-PT-60a, ReachabilityDeadlock, 1, TRUE, 0, 8224, 0, 26
 
82
, DES-PT-60b, ReachabilityDeadlock, 1, TRUE, 0, 11532, 0, 89
 
83
, Diffusion2D-PT-D05N010, ReachabilityDeadlock, 1, FALSE, 0, 6276, 0, 
 
84
, Diffusion2D-PT-D05N050, ReachabilityDeadlock, 1, FALSE, 0, 6280, 0, 
 
85
, Diffusion2D-PT-D40N010, ReachabilityDeadlock, 1, FALSE, 2, 88536, 0, 
 
86
, Diffusion2D-PT-D40N050, ReachabilityDeadlock, 1, FALSE, 2, 88344, 0, 
 
87
, Diffusion2D-PT-D40N100, ReachabilityDeadlock, 1, FALSE, 2, 88020, 0, 
 
88
, Diffusion2D-PT-D40N150, ReachabilityDeadlock, 1, FALSE, 2, 87732, 0, 
 
89
, Diffusion2D-PT-D50N010, ReachabilityDeadlock, 1, FALSE, 3, 137704, 0, 
 
90
, Diffusion2D-PT-D50N050, ReachabilityDeadlock, 1, FALSE, 3, 137852, 0, 
 
91
, Diffusion2D-PT-D50N100, ReachabilityDeadlock, 1, FALSE, 3, 136640, 0, 
 
92
, Diffusion2D-PT-D50N150, ReachabilityDeadlock, 1, FALSE, 3, 136224, 0, 
 
93
, DLCshifumi-PT-2a, ReachabilityDeadlock, 1, , 60, 2096, 0, 
 
94
, DLCshifumi-PT-2b, ReachabilityDeadlock, 1, , 60, 1996, 0, 
 
95
, DLCshifumi-PT-3a, ReachabilityDeadlock, 1, , 60, 2028, 0, 
 
96
, DLCshifumi-PT-3b, ReachabilityDeadlock, 1, , 60, 1868, 0, 
 
97
, DLCshifumi-PT-4a, ReachabilityDeadlock, 1, , 60, 1996, 0, 
 
98
, DLCshifumi-PT-4b, ReachabilityDeadlock, 1, , 60, 2108, 0, 
 
99
, DLCshifumi-PT-5a, ReachabilityDeadlock, 1, , 60, 2032, 0, 
 
100
, DLCshifumi-PT-5b, ReachabilityDeadlock, 1, , 60, 1936, 0, 
 
101
, DLCshifumi-PT-6a, ReachabilityDeadlock, 1, , 60, 1896, 0, 
 
102
, DLCshifumi-PT-6b, ReachabilityDeadlock, 1, , 60, 1892, 0, 
 
103
, DNAwalker-PT-01track12Block1, ReachabilityDeadlock, 1, TRUE, 0, 5120, 0, 24
 
104
, DNAwalker-PT-02track12Block2, ReachabilityDeadlock, 1, TRUE, 0, 5112, 0, 16
 
105
, DNAwalker-PT-03track12BlockBoth, ReachabilityDeadlock, 1, TRUE, 0, 5112, 0, 21
 
106
, DNAwalker-PT-04track28LL, ReachabilityDeadlock, 1, TRUE, 0, 5224, 0, 53
 
107
, DNAwalker-PT-05track28LR, ReachabilityDeadlock, 1, TRUE, 0, 5248, 0, 53
 
108
, DNAwalker-PT-06track28RL, ReachabilityDeadlock, 1, TRUE, 0, 5232, 0, 42
 
109
, DNAwalker-PT-07track28RR, ReachabilityDeadlock, 1, TRUE, 0, 5220, 0, 42
 
110
, DNAwalker-PT-08ringLL, ReachabilityDeadlock, 1, FALSE, 96, 183012, 0, 2795865
 
111
, DNAwalker-PT-09ringLR, ReachabilityDeadlock, 1, FALSE, 97, 183196, 0, 2801293
 
112
, DNAwalker-PT-10ringRL, ReachabilityDeadlock, 1, FALSE, 98, 182956, 0, 2795865
 
113
, DNAwalker-PT-11ringRR, ReachabilityDeadlock, 1, FALSE, 98, 183184, 0, 2801293
 
114
, DNAwalker-PT-12ringLLLarge, ReachabilityDeadlock, 1, , 60, 2044, 0, 
 
115
, DNAwalker-PT-13ringRLLarge, ReachabilityDeadlock, 1, , 60, 1980, 0, 
 
116
, DNAwalker-PT-14ringLRLarge, ReachabilityDeadlock, 1, , 60, 1932, 0, 
 
117
, DNAwalker-PT-15ringRRLarge, ReachabilityDeadlock, 1, , 60, 2108, 0, 
 
118
, DNAwalker-PT-16redondantChoiceR, ReachabilityDeadlock, 1, TRUE, 0, 5444, 0, 45
 
119
, DNAwalker-PT-17redondantChoiceL, ReachabilityDeadlock, 1, TRUE, 0, 5468, 0, 42
 
120
, DNAwalker-PT-18lozangeBlock, ReachabilityDeadlock, 1, TRUE, 0, 8772, 0, 164
 
121
, DrinkVendingMachine-COL-02, ReachabilityDeadlock, 1, FALSE, 0, 5144, 0, 25
 
122
, DrinkVendingMachine-COL-10, ReachabilityDeadlock, 1, FALSE, 136, 6446864, 0, 19362
 
123
, Echo-PT-d02r09, ReachabilityDeadlock, 1, TRUE, 0, 14084, 0, 163
 
124
, Echo-PT-d02r11, ReachabilityDeadlock, 1, TRUE, 0, 16564, 0, 243
 
125
, Echo-PT-d02r15, ReachabilityDeadlock, 1, TRUE, 0, 27188, 0, 451
 
126
, Echo-PT-d02r19, ReachabilityDeadlock, 1, TRUE, 0, 42212, 0, 723
 
127
, Echo-PT-d03r03, ReachabilityDeadlock, 1, TRUE, 0, 7524, 0, 55
 
128
, Echo-PT-d03r05, ReachabilityDeadlock, 1, TRUE, 0, 22296, 0, 251
 
129
, Echo-PT-d03r07, ReachabilityDeadlock, 1, TRUE, 1, 54568, 0, 687
 
130
, Echo-PT-d04r03, ReachabilityDeadlock, 1, TRUE, 0, 17756, 0, 163
 
131
, Echo-PT-d05r03, ReachabilityDeadlock, 1, TRUE, 0, 56900, 0, 487
 
132
, EnergyBus-PT-none, ReachabilityDeadlock, 1, , 60, 1980, 0, 
 
133
, Eratosthenes-PT-010, ReachabilityDeadlock, 1, TRUE, 0, 5316, 0, 6
 
134
, Eratosthenes-PT-200, ReachabilityDeadlock, 1, TRUE, 0, 12592, 0, 154
 
135
, Eratosthenes-PT-500, ReachabilityDeadlock, 1, TRUE, 0, 22416, 0, 405
 
136
, ERK-PT-000001, ReachabilityDeadlock, 1, FALSE, 0, 5472, 0, 
 
137
, ERK-PT-001000, ReachabilityDeadlock, 1, FALSE, 0, 5384, 0, 
 
138
, ERK-PT-010000, ReachabilityDeadlock, 1, FALSE, 0, 5360, 0, 
 
139
, ERK-PT-100000, ReachabilityDeadlock, 1, FALSE, 0, 5464, 0, 
 
140
, FMS-PT-002, ReachabilityDeadlock, 1, FALSE, 0, 5484, 0, 
 
141
, FMS-PT-100, ReachabilityDeadlock, 1, FALSE, 0, 5476, 0, 
 
142
, FMS-PT-200, ReachabilityDeadlock, 1, FALSE, 0, 5448, 0, 
 
143
, FMS-PT-500, ReachabilityDeadlock, 1, FALSE, 0, 5528, 0, 
 
144
, GlobalResAllocation-COL-03, ReachabilityDeadlock, 1, FALSE, 0, 12876, 0, 172
 
145
, GlobalResAllocation-COL-05, ReachabilityDeadlock, 1, , 60, 1804, 0, 
 
146
, GPPP-PT-C0001N0000000001, ReachabilityDeadlock, 1, FALSE, 0, 5092, 0, 294
 
147
, GPPP-PT-C0001N0000000010, ReachabilityDeadlock, 1, FALSE, 0, 5112, 0, 460
 
148
, GPPP-PT-C0001N0000000100, ReachabilityDeadlock, 1, FALSE, 0, 5144, 0, 460
 
149
, GPPP-PT-C0100N0000000100, ReachabilityDeadlock, 1, TRUE, 0, 5516, 0, 2876
 
150
, GPPP-PT-C0100N0000001000, ReachabilityDeadlock, 1, TRUE, 0, 5504, 0, 2876
 
151
, GPPP-PT-C0100N0000010000, ReachabilityDeadlock, 1, TRUE, 0, 5500, 0, 2876
 
152
, GPPP-PT-C0100N0000100000, ReachabilityDeadlock, 1, TRUE, 0, 5528, 0, 2876
 
153
, GPPP-PT-C1000N0000000010, ReachabilityDeadlock, 1, TRUE, 0, 5144, 0, 414
 
154
, GPPP-PT-C1000N0000000100, ReachabilityDeadlock, 1, TRUE, 0, 5536, 0, 2934
 
155
, GPPP-PT-C1000N0000001000, ReachabilityDeadlock, 1, TRUE, 0, 9516, 0, 28076
 
156
, HouseConstruction-PT-002, ReachabilityDeadlock, 1, TRUE, 0, 5416, 0, 37
 
157
, HouseConstruction-PT-050, ReachabilityDeadlock, 1, TRUE, 0, 5408, 0, 901
 
158
, HouseConstruction-PT-100, ReachabilityDeadlock, 1, TRUE, 0, 5524, 0, 1801
 
159
, HouseConstruction-PT-200, ReachabilityDeadlock, 1, TRUE, 0, 5864, 0, 3601
 
160
, HouseConstruction-PT-500, ReachabilityDeadlock, 1, TRUE, 0, 6688, 0, 9001
 
161
, HypercubeGrid-PT-C3K4P4B12, ReachabilityDeadlock, 1, TRUE, 1, 30732, 0, 8942
 
162
, HypercubeGrid-PT-C4K3P3B12, ReachabilityDeadlock, 1, TRUE, 5, 95840, 0, 17137
 
163
, HypercubeGrid-PT-C5K3P3B15, ReachabilityDeadlock, 1, TRUE, 150, 1472792, 0, 63248
 
164
, HypertorusGrid-PT-d2k1p8b00, ReachabilityDeadlock, 1, FALSE, 0, 7952, 0, 34328
 
165
, HypertorusGrid-PT-d3k3p2b06, ReachabilityDeadlock, 1, TRUE, 0, 14548, 0, 2425
 
166
, HypertorusGrid-PT-d4k3p2b08, ReachabilityDeadlock, 1, TRUE, 5, 79532, 0, 13828
 
167
, HypertorusGrid-PT-d5k3p2b10, ReachabilityDeadlock, 1, TRUE, 116, 1103580, 0, 49501
 
168
, IBM319-PT-none, ReachabilityDeadlock, 1, TRUE, 0, 8488, 0, 21
 
169
, IBM5964-PT-none, ReachabilityDeadlock, 1, TRUE, 0, 7160, 0, 43
 
170
, IBM703-PT-none, ReachabilityDeadlock, 1, TRUE, 0, 8224, 0, 96
 
171
, IBMB2S565S3960-PT-none, ReachabilityDeadlock, 1, TRUE, 0, 7564, 0, 128
 
172
, IOTPpurchase-PT-C01M01P01D01, ReachabilityDeadlock, 1, FALSE, 0, 6168, 0, 45
 
173
, IOTPpurchase-PT-C12M10P15D17, ReachabilityDeadlock, 1, FALSE, 0, 6120, 0, 967
 
174
, Kanban-PT-0005, ReachabilityDeadlock, 1, FALSE, 0, 5512, 0, 
 
175
, Kanban-PT-0500, ReachabilityDeadlock, 1, FALSE, 0, 5512, 0, 
 
176
, Kanban-PT-1000, ReachabilityDeadlock, 1, FALSE, 0, 5508, 0, 
 
177
, LamportFastMutEx-COL-2, ReachabilityDeadlock, 1, FALSE, 0, 6200, 0, 348
 
178
, LamportFastMutEx-COL-7, ReachabilityDeadlock, 1, , 60, 2104, 0, 
 
179
, LamportFastMutEx-COL-8, ReachabilityDeadlock, 1, , 60, 2024, 0, 
 
180
, MAPK-PT-008, ReachabilityDeadlock, 1, FALSE, 0, 5784, 0, 
 
181
, MAPK-PT-320, ReachabilityDeadlock, 1, FALSE, 0, 5816, 0, 
 
182
, MultiwaySync-PT-none, ReachabilityDeadlock, 1, , 60, 2032, 0, 
 
183
, NeoElection-COL-2, ReachabilityDeadlock, 1, TRUE, 0, 9032, 0, 33
 
184
, NeoElection-COL-6, ReachabilityDeadlock, 1, TRUE, 3, 93020, 0, 409
 
185
, NeoElection-COL-7, ReachabilityDeadlock, 1, TRUE, 6, 150940, 0, 568
 
186
, NeoElection-COL-8, ReachabilityDeadlock, 1, TRUE, 13, 231204, 0, 753
 
187
, PaceMaker-PT-none, ReachabilityDeadlock, 1, , 60, 1916, 0, 
 
188
, ParamProductionCell-PT-0, ReachabilityDeadlock, 1, FALSE, 0, 7384, 0, 820
 
189
, ParamProductionCell-PT-5, ReachabilityDeadlock, 1, FALSE, 0, 8068, 0, 6217
 
190
, Parking-PT-104, ReachabilityDeadlock, 1, TRUE, 0, 6244, 0, 19
 
191
, Parking-PT-864, ReachabilityDeadlock, 1, TRUE, 0, 22176, 0, 238
 
192
, PermAdmissibility-COL-01, ReachabilityDeadlock, 1, TRUE, 0, 10448, 0, 17
 
193
, PermAdmissibility-COL-02, ReachabilityDeadlock, 1, TRUE, 0, 10536, 0, 33
 
194
, PermAdmissibility-COL-05, ReachabilityDeadlock, 1, TRUE, 0, 10504, 0, 81
 
195
, PermAdmissibility-COL-10, ReachabilityDeadlock, 1, TRUE, 0, 10540, 0, 161
 
196
, PermAdmissibility-COL-20, ReachabilityDeadlock, 1, TRUE, 0, 11568, 0, 321
 
197
, PermAdmissibility-COL-50, ReachabilityDeadlock, 1, TRUE, 0, 10616, 0, 801
 
198
, Peterson-COL-2, ReachabilityDeadlock, 1, FALSE, 0, 6688, 0, 3271
 
199
, Peterson-COL-4, ReachabilityDeadlock, 1, FALSE, 331, 5372300, 0, 14748761
 
200
, Peterson-COL-5, ReachabilityDeadlock, 1, , 60, 2028, 0, 
 
201
, Peterson-COL-6, ReachabilityDeadlock, 1, , 60, 2036, 0, 
 
202
, Peterson-COL-7, ReachabilityDeadlock, 1, , 60, 1892, 0, 
 
203
, PhaseVariation-PT-D02CS010, ReachabilityDeadlock, 1, TRUE, 0, 5112, 0, 13
 
204
, PhaseVariation-PT-D10CS010, ReachabilityDeadlock, 1, TRUE, 0, 7784, 0, 90
 
205
, PhaseVariation-PT-D10CS100, ReachabilityDeadlock, 1, TRUE, 0, 7860, 0, 183
 
206
, PhaseVariation-PT-D20CS010, ReachabilityDeadlock, 1, TRUE, 9, 17368, 0, 315
 
207
, PhaseVariation-PT-D20CS100, ReachabilityDeadlock, 1, TRUE, 9, 17360, 0, 315
 
208
, PhaseVariation-PT-D30CS010, ReachabilityDeadlock, 1, TRUE, 3, 32780, 0, 11
 
209
, PhaseVariation-PT-D30CS100, ReachabilityDeadlock, 1, TRUE, 60, 36280, 0, 546
 
210
, Philosophers-COL-000005, ReachabilityDeadlock, 1, TRUE, 0, 5504, 0, 6
 
211
, Philosophers-COL-005000, ReachabilityDeadlock, 1, , 60, 1892, 0, 
 
212
, Philosophers-COL-010000, ReachabilityDeadlock, 1, , 60, 1896, 0, 
 
213
, PhilosophersDyn-COL-03, ReachabilityDeadlock, 1, TRUE, 0, 5352, 0, 8
 
214
, PhilosophersDyn-COL-20, ReachabilityDeadlock, 1, TRUE, 4, 280104, 0, 8
 
215
, Planning-PT-none, ReachabilityDeadlock, 1, FALSE, 0, 6932, 0, 
 
216
, PolyORBLF-COL-S02J04T06, ReachabilityDeadlock, 1, TRUE, 4, 118912, 0, 121919
 
217
, PolyORBLF-COL-S02J06T08, ReachabilityDeadlock, 1, TRUE, 14, 298120, 0, 205834
 
218
, PolyORBLF-COL-S02J06T10, ReachabilityDeadlock, 1, TRUE, 0, 8028, 0, 469
 
219
, PolyORBLF-COL-S04J04T06, ReachabilityDeadlock, 1, TRUE, 20, 147944, 0, 117226
 
220
, PolyORBLF-COL-S04J04T08, ReachabilityDeadlock, 1, , 60, 2032, 0, 
 
221
, PolyORBLF-COL-S04J04T10, ReachabilityDeadlock, 1, TRUE, 34, 174040, 0, 80610
 
222
, PolyORBLF-COL-S04J06T06, ReachabilityDeadlock, 1, TRUE, 115, 621440, 0, 502326
 
223
, PolyORBLF-COL-S04J06T08, ReachabilityDeadlock, 1, TRUE, 1020, 4670772, 0, 2892582
 
224
, PolyORBLF-COL-S04J06T10, ReachabilityDeadlock, 1, TRUE, 1005, 4404472, 0, 2105176
 
225
, PolyORBLF-COL-S06J04T04, ReachabilityDeadlock, 1, TRUE, 0, 13940, 0, 87
 
226
, PolyORBLF-COL-S06J04T06, ReachabilityDeadlock, 1, TRUE, 0, 18988, 0, 90
 
227
, PolyORBLF-COL-S06J04T08, ReachabilityDeadlock, 1, TRUE, 0, 24500, 0, 101
 
228
, PolyORBLF-COL-S06J06T04, ReachabilityDeadlock, 1, TRUE, 0, 14132, 0, 37
 
229
, PolyORBLF-COL-S06J06T06, ReachabilityDeadlock, 1, TRUE, 0, 19308, 0, 37
 
230
, PolyORBLF-COL-S06J06T08, ReachabilityDeadlock, 1, TRUE, 0, 24944, 0, 37
 
231
, PolyORBNT-COL-S05J20, ReachabilityDeadlock, 1, TRUE, 0, 6332, 0, 13
 
232
, PolyORBNT-COL-S05J30, ReachabilityDeadlock, 1, TRUE, 0, 6680, 0, 13
 
233
, PolyORBNT-COL-S05J40, ReachabilityDeadlock, 1, TRUE, 0, 6908, 0, 13
 
234
, PolyORBNT-COL-S05J60, ReachabilityDeadlock, 1, TRUE, 0, 7496, 0, 13
 
235
, PolyORBNT-COL-S05J80, ReachabilityDeadlock, 1, TRUE, 0, 8228, 0, 13
 
236
, PolyORBNT-COL-S10J20, ReachabilityDeadlock, 1, TRUE, 0, 33816, 0, 18
 
237
, PolyORBNT-COL-S10J30, ReachabilityDeadlock, 1, TRUE, 0, 34416, 0, 18
 
238
, PolyORBNT-COL-S10J40, ReachabilityDeadlock, 1, TRUE, 0, 34748, 0, 18
 
239
, PolyORBNT-COL-S10J60, ReachabilityDeadlock, 1, TRUE, 0, 35704, 0, 18
 
240
, PolyORBNT-COL-S10J80, ReachabilityDeadlock, 1, TRUE, 0, 36808, 0, 18
 
241
, ProductionCell-PT-none, ReachabilityDeadlock, 1, , 60, 2036, 0, 
 
242
, QuasiCertifProtocol-COL-02, ReachabilityDeadlock, 1, TRUE, 0, 6020, 0, 6
 
243
, QuasiCertifProtocol-COL-10, ReachabilityDeadlock, 1, TRUE, 0, 8528, 0, 14
 
244
, QuasiCertifProtocol-COL-18, ReachabilityDeadlock, 1, TRUE, 0, 14220, 0, 23
 
245
, QuasiCertifProtocol-COL-22, ReachabilityDeadlock, 1, TRUE, 0, 16512, 0, 30
 
246
, QuasiCertifProtocol-COL-28, ReachabilityDeadlock, 1, TRUE, 0, 20540, 0, 39
 
247
, QuasiCertifProtocol-COL-32, ReachabilityDeadlock, 1, TRUE, 0, 26072, 0, 46
 
248
, Raft-PT-02, ReachabilityDeadlock, 1, FALSE, 0, 5724, 0, 3550
 
249
, Raft-PT-08, ReachabilityDeadlock, 1, , 60, 1980, 0, 
 
250
, Raft-PT-09, ReachabilityDeadlock, 1, , 60, 2096, 0, 
 
251
, Raft-PT-10, ReachabilityDeadlock, 1, , 60, 1920, 0, 
 
252
, Railroad-PT-005, ReachabilityDeadlock, 1, FALSE, 0, 5884, 0, 892
 
253
, Railroad-PT-020, ReachabilityDeadlock, 1, , 60, 1916, 0, 
 
254
, Railroad-PT-050, ReachabilityDeadlock, 1, , 60, 2044, 0, 
 
255
, Railroad-PT-100, ReachabilityDeadlock, 1, , 60, 1996, 0, 
 
256
, ResAllocation-PT-R003C010, ReachabilityDeadlock, 1, TRUE, 0, 5736, 0, 59
 
257
, ResAllocation-PT-R003C015, ReachabilityDeadlock, 1, TRUE, 0, 6020, 0, 33
 
258
, ResAllocation-PT-R003C020, ReachabilityDeadlock, 1, TRUE, 0, 6336, 0, 41
 
259
, ResAllocation-PT-R003C050, ReachabilityDeadlock, 1, TRUE, 0, 7912, 0, 99
 
260
, ResAllocation-PT-R003C100, ReachabilityDeadlock, 1, TRUE, 0, 10132, 0, 198
 
261
, ResAllocation-PT-R100C002, ReachabilityDeadlock, 1, TRUE, 0, 9104, 0, 4952
 
262
, Ring-PT-none, ReachabilityDeadlock, 1, , 60, 2024, 0, 
 
263
, RwMutex-PT-r0010w0010, ReachabilityDeadlock, 1, FALSE, 0, 6156, 0, 
 
264
, RwMutex-PT-r0100w0010, ReachabilityDeadlock, 1, FALSE, 0, 9624, 0, 
 
265
, RwMutex-PT-r0500w0010, ReachabilityDeadlock, 1, FALSE, 9, 30036, 0, 
 
266
, RwMutex-PT-r1000w0010, ReachabilityDeadlock, 1, FALSE, 50, 53296, 0, 
 
267
, RwMutex-PT-r2000w0010, ReachabilityDeadlock, 1, FALSE, 268, 109664, 0, 
 
268
, SafeBus-COL-03, ReachabilityDeadlock, 1, FALSE, 0, 6192, 0, 3957
 
269
, SafeBus-COL-10, ReachabilityDeadlock, 1, , 60, 1800, 0, 
 
270
, SafeBus-COL-15, ReachabilityDeadlock, 1, , 60, 2108, 0, 
 
271
, SafeBus-COL-20, ReachabilityDeadlock, 1, , 60, 2024, 0, 
 
272
, SharedMemory-COL-000005, ReachabilityDeadlock, 1, FALSE, 0, 5952, 0, 
 
273
, SharedMemory-COL-000100, ReachabilityDeadlock, 1, , 60, 1976, 0, 
 
274
, SharedMemory-COL-000200, ReachabilityDeadlock, 1, , 60, 1896, 0, 
 
275
, SimpleLoadBal-COL-02, ReachabilityDeadlock, 1, FALSE, 0, 5768, 0, 219
 
276
, SimpleLoadBal-COL-15, ReachabilityDeadlock, 1, , 60, 1932, 0, 
 
277
, SimpleLoadBal-COL-20, ReachabilityDeadlock, 1, , 60, 1804, 0, 
 
278
, SmallOperatingSystem-PT-MT0016DC0008, ReachabilityDeadlock, 1, FALSE, 0, 5328, 0, 
 
279
, SmallOperatingSystem-PT-MT2048DC0512, ReachabilityDeadlock, 1, FALSE, 0, 5312, 0, 
 
280
, SmallOperatingSystem-PT-MT2048DC1024, ReachabilityDeadlock, 1, FALSE, 0, 5324, 0, 
 
281
, SmallOperatingSystem-PT-MT4096DC1024, ReachabilityDeadlock, 1, FALSE, 0, 5336, 0, 
 
282
, SmallOperatingSystem-PT-MT4096DC2048, ReachabilityDeadlock, 1, FALSE, 0, 5412, 0, 
 
283
, SmallOperatingSystem-PT-MT8192DC2048, ReachabilityDeadlock, 1, FALSE, 0, 5348, 0, 
 
284
, SmallOperatingSystem-PT-MT8192DC4096, ReachabilityDeadlock, 1, FALSE, 0, 5344, 0, 
 
285
, Solitaire-PT-EngCT7x7, ReachabilityDeadlock, 1, TRUE, 0, 6164, 0, 26
 
286
, Solitaire-PT-EngNC7x7, ReachabilityDeadlock, 1, TRUE, 0, 6092, 0, 25
 
287
, Solitaire-PT-FrnCT7x7, ReachabilityDeadlock, 1, TRUE, 0, 6300, 0, 22
 
288
, Solitaire-PT-FrnNC7x7, ReachabilityDeadlock, 1, TRUE, 0, 6208, 0, 23
 
289
, Solitaire-PT-SqrCT5x5, ReachabilityDeadlock, 1, TRUE, 0, 6100, 0, 20
 
290
, Solitaire-PT-SqrNC5x5, ReachabilityDeadlock, 1, TRUE, 0, 6040, 0, 24
 
291
, SquareGrid-PT-020102, ReachabilityDeadlock, 1, TRUE, 0, 5944, 0, 112
 
292
, SquareGrid-PT-040204, ReachabilityDeadlock, 1, TRUE, 0, 7700, 0, 671
 
293
, SquareGrid-PT-080408, ReachabilityDeadlock, 1, TRUE, 0, 15372, 0, 4802
 
294
, SquareGrid-PT-100510, ReachabilityDeadlock, 1, TRUE, 0, 26148, 0, 9829
 
295
, SquareGrid-PT-130613, ReachabilityDeadlock, 1, TRUE, 2, 114048, 0, 29188
 
296
, SwimmingPool-PT-01, ReachabilityDeadlock, 1, FALSE, 0, 5328, 0, 140
 
297
, SwimmingPool-PT-08, ReachabilityDeadlock, 1, FALSE, 0, 5436, 0, 1120
 
298
, SwimmingPool-PT-09, ReachabilityDeadlock, 1, FALSE, 0, 5400, 0, 1260
 
299
, SwimmingPool-PT-10, ReachabilityDeadlock, 1, FALSE, 0, 5460, 0, 1400
 
300
, TCPcondis-PT-05, ReachabilityDeadlock, 1, FALSE, 2, 58928, 0, 639255
 
301
, TCPcondis-PT-25, ReachabilityDeadlock, 1, , 60, 2032, 0, 
 
302
, TCPcondis-PT-30, ReachabilityDeadlock, 1, , 60, 2044, 0, 
 
303
, TCPcondis-PT-35, ReachabilityDeadlock, 1, , 60, 1880, 0, 
 
304
, TCPcondis-PT-40, ReachabilityDeadlock, 1, , 60, 2016, 0, 
 
305
, TCPcondis-PT-50, ReachabilityDeadlock, 1, , 60, 2036, 0, 
 
306
, TokenRing-COL-005, ReachabilityDeadlock, 1, FALSE, 0, 10124, 0, 
 
307
, TokenRing-COL-040, ReachabilityDeadlock, 1, , 60, 2108, 0, 
 
308
, TokenRing-COL-050, ReachabilityDeadlock, 1, , 60, 2032, 0, 
 
309
, TriangularGrid-PT-1200, ReachabilityDeadlock, 1, FALSE, 0, 6416, 0, 14182
 
310
, TriangularGrid-PT-4022, ReachabilityDeadlock, 1, TRUE, 0, 7932, 0, 484
 
311
, TriangularGrid-PT-5020, ReachabilityDeadlock, 1, TRUE, 0, 7828, 0, 570
 
312
, TriangularGrid-PT-5046, ReachabilityDeadlock, 1, TRUE, 0, 7900, 0, 1778
 
313
, UtahNoC-PT-none, ReachabilityDeadlock, 1, , 60, 2044, 0, 
 
314
, Vasy2003-PT-none, ReachabilityDeadlock, 1, , 60, 2044, 0,