Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r001-oct2-167813588400216.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool marcie
Input is AirplaneLD-COL-0500, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r001-oct2-167813588400216
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 7.2K Feb 26 11:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 11:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 11:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 11:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 12:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 26 12:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 12:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 26 12:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 109K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678387900873

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=marcie
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AirplaneLD-COL-0500
Not applying reductions.
Model is COL
StateSpace COL
timeout --kill-after=10s --signal=SIGINT 1m for testing only

Marcie built on Linux at 2019-11-18.
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: /home/mcc/BenchKit/bin//../marcie/bin/marcie --net-file=model.pnml --memory=6 --mcc-mode

parse successfull
net created successfully

Unfolding complete |P|=3519|T|=4008|A|=15278
Time for unfolding: 0m 1.412sec

Net: AirplaneLD_COL_0500
(NrP: 3519 NrTr: 4008 NrArc: 15278)

place and transition orderings generation:0m 1.607sec

net check time: 0m 0.002sec

init dd package: 0m 2.970sec


RS generation: 4m 0.064sec


-> reachability set: #nodes 58702 (5.9e+04) #states 4,271,787,023 (9)



STATE_SPACE STATES 4271787023 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

STATE_SPACE MAX_TOKEN_PER_MARKING 1508 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

STATE_SPACE TRANSITIONS 19074837024 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
totally nodes used: 14972260 (1.5e+07)
number of garbage collections: 0
fire ops cache: hits/miss/sum: 115804501 1241523895 1357328396
used/not used/entry size/cache size: 67108864 0 16 1024MB
basic ops cache: hits/miss/sum: 1043565 10122959 11166524
used/not used/entry size/cache size: 12755294 4021922 12 192MB
unary ops cache: hits/miss/sum: 0 0 0
used/not used/entry size/cache size: 0 16777216 8 128MB
abstract ops cache: hits/miss/sum: 0 0 0
used/not used/entry size/cache size: 0 16777216 12 192MB
state nr cache: hits/miss/sum: 821128 3692237 4513365
used/not used/entry size/cache size: 3008880 5379728 32 256MB
max state cache: hits/miss/sum: 28069 58709 86778
used/not used/entry size/cache size: 58564 8330044 32 256MB
uniqueHash elements/entry size/size: 67108864 4 256MB
0 55114073
1 9542698
2 2004383
3 380568
4 57626
5 8653
6 789
7 66
8 7
9 1
>= 10 0

Total processing time: 5m 2.783sec


BK_STOP 1678388203724

--------------------
content from stderr:

check for maximal unmarked siphon
ok
check for constant places
AltitudePossibleVal_Altitude1
AltitudePossibleVal_Altitude2
AltitudePossibleVal_Altitude3
AltitudePossibleVal_Altitude4
AltitudePossibleVal_Altitude5
AltitudePossibleVal_Altitude6
AltitudePossibleVal_Altitude7
AltitudePossibleVal_Altitude8
AltitudePossibleVal_Altitude9
AltitudePossibleVal_Altitude10
AltitudePossibleVal_Altitude11
AltitudePossibleVal_Altitude12
AltitudePossibleVal_Altitude13
AltitudePossibleVal_Altitude14
AltitudePossibleVal_Altitude15
AltitudePossibleVal_Altitude16
AltitudePossibleVal_Altitude17
AltitudePossibleVal_Altitude18
AltitudePossibleVal_Altitude19
AltitudePossibleVal_Altitude20
AltitudePossibleVal_Altitude21
AltitudePossibleVal_Altitude22
AltitudePossibleVal_Altitude23
AltitudePossibleVal_Altitude24
AltitudePossibleVal_Altitude25
AltitudePossibleVal_Altitude26
AltitudePossibleVal_Altitude27
AltitudePossibleVal_Altitude28
AltitudePossibleVal_Altitude29
AltitudePossibleVal_Altitude30
AltitudePossibleVal_Altitude31
AltitudePossibleVal_Altitude32
AltitudePossibleVal_Altitude33
AltitudePossibleVal_Altitude34
AltitudePossibleVal_Altitude35
AltitudePossibleVal_Altitude36
AltitudePossibleVal_Altitude37
AltitudePossibleVal_Altitude38
AltitudePossibleVal_Altitude39
AltitudePossibleVal_Altitude40
AltitudePossibleVal_Altitude41
AltitudePossibleVal_Altitude42
AltitudePossibleVal_Altitude43
AltitudePossibleVal_Altitude44
AltitudePossibleVal_Altitude45
AltitudePossibleVal_Altitude46
AltitudePossibleVal_Altitude47
AltitudePossibleVal_Altitude48
AltitudePossibleVal_Altitude49
AltitudePossibleVal_Altitude50
AltitudePossibleVal_Altitude51
AltitudePossibleVal_Altitude52
AltitudePossibleVal_Altitude53
AltitudePossibleVal_Altitude54
AltitudePossibleVal_Altitude55
AltitudePossibleVal_Altitude56
AltitudePossibleVal_Altitude57
AltitudePossibleVal_Altitude58
AltitudePossibleVal_Altitude59
AltitudePossibleVal_Altitude60
AltitudePossibleVal_Altitude61
AltitudePossibleVal_Altitude62
AltitudePossibleVal_Altitude63
AltitudePossibleVal_Altitude64
AltitudePossibleVal_Altitude65
AltitudePossibleVal_Altitude66
AltitudePossibleVal_Altitude67
AltitudePossibleVal_Altitude68
AltitudePossibleVal_Altitude69
AltitudePossibleVal_Altitude70
AltitudePossibleVal_Altitude71
AltitudePossibleVal_Altitude72
AltitudePossibleVal_Altitude73
AltitudePossibleVal_Altitude74
AltitudePossibleVal_Altitude75
AltitudePossibleVal_Altitude76
AltitudePossibleVal_Altitude77
AltitudePossibleVal_Altitude78
AltitudePossibleVal_Altitude79
AltitudePossibleVal_Altitude80
AltitudePossibleVal_Altitude81
AltitudePossibleVal_Altitude82
AltitudePossibleVal_Altitude83
AltitudePossibleVal_Altitude84
AltitudePossibleVal_Altitude85
AltitudePossibleVal_Altitude86
AltitudePossibleVal_Altitude87
AltitudePossibleVal_Altitude88
AltitudePossibleVal_Altitude89
AltitudePossibleVal_Altitude90
AltitudePossibleVal_Altitude91
AltitudePossibleVal_Altitude92
AltitudePossibleVal_Altitude93
AltitudePossibleVal_Altitude94
AltitudePossibleVal_Altitude95
AltitudePossibleVal_Altitude96
AltitudePossibleVal_Altitude97
AltitudePossibleVal_Altitude98
AltitudePossibleVal_Altitude99
AltitudePossibleVal_Altitude100
AltitudePossibleVal_Altitude101
AltitudePossibleVal_Altitude102
AltitudePossibleVal_Altitude103
AltitudePossibleVal_Altitude104
AltitudePossibleVal_Altitude105
AltitudePossibleVal_Altitude106
AltitudePossibleVal_Altitude107
AltitudePossibleVal_Altitude108
AltitudePossibleVal_Altitude109
AltitudePossibleVal_Altitude110
AltitudePossibleVal_Altitude111
AltitudePossibleVal_Altitude112
AltitudePossibleVal_Altitude113
AltitudePossibleVal_Altitude114
AltitudePossibleVal_Altitude115
AltitudePossibleVal_Altitude116
AltitudePossibleVal_Altitude117
AltitudePossibleVal_Altitude118
AltitudePossibleVal_Altitude119
AltitudePossibleVal_Altitude120
AltitudePossibleVal_Altitude121
AltitudePossibleVal_Altitude122
AltitudePossibleVal_Altitude123
AltitudePossibleVal_Altitude124
AltitudePossibleVal_Altitude125
AltitudePossibleVal_Altitude126
AltitudePossibleVal_Altitude127
AltitudePossibleVal_Altitude128
AltitudePossibleVal_Altitude129
AltitudePossibleVal_Altitude130
AltitudePossibleVal_Altitude131
AltitudePossibleVal_Altitude132
AltitudePossibleVal_Altitude133
AltitudePossibleVal_Altitude134
AltitudePossibleVal_Altitude135
AltitudePossibleVal_Altitude136
AltitudePossibleVal_Altitude137
AltitudePossibleVal_Altitude138
AltitudePossibleVal_Altitude139
AltitudePossibleVal_Altitude140
AltitudePossibleVal_Altitude141
AltitudePossibleVal_Altitude142
AltitudePossibleVal_Altitude143
AltitudePossibleVal_Altitude144
AltitudePossibleVal_Altitude145
AltitudePossibleVal_Altitude146
AltitudePossibleVal_Altitude147
AltitudePossibleVal_Altitude148
AltitudePossibleVal_Altitude149
AltitudePossibleVal_Altitude150
AltitudePossibleVal_Altitude151
AltitudePossibleVal_Altitude152
AltitudePossibleVal_Altitude153
AltitudePossibleVal_Altitude154
AltitudePossibleVal_Altitude155
AltitudePossibleVal_Altitude156
AltitudePossibleVal_Altitude157
AltitudePossibleVal_Altitude158
AltitudePossibleVal_Altitude159
AltitudePossibleVal_Altitude160
AltitudePossibleVal_Altitude161
AltitudePossibleVal_Altitude162
AltitudePossibleVal_Altitude163
AltitudePossibleVal_Altitude164
AltitudePossibleVal_Altitude165
AltitudePossibleVal_Altitude166
AltitudePossibleVal_Altitude167
AltitudePossibleVal_Altitude168
AltitudePossibleVal_Altitude169
AltitudePossibleVal_Altitude170
AltitudePossibleVal_Altitude171
AltitudePossibleVal_Altitude172
AltitudePossibleVal_Altitude173
AltitudePossibleVal_Altitude174
AltitudePossibleVal_Altitude175
AltitudePossibleVal_Altitude176
AltitudePossibleVal_Altitude177
AltitudePossibleVal_Altitude178
AltitudePossibleVal_Altitude179
AltitudePossibleVal_Altitude180
AltitudePossibleVal_Altitude181
AltitudePossibleVal_Altitude182
AltitudePossibleVal_Altitude183
AltitudePossibleVal_Altitude184
AltitudePossibleVal_Altitude185
AltitudePossibleVal_Altitude186
AltitudePossibleVal_Altitude187
AltitudePossibleVal_Altitude188
AltitudePossibleVal_Altitude189
AltitudePossibleVal_Altitude190
AltitudePossibleVal_Altitude191
AltitudePossibleVal_Altitude192
AltitudePossibleVal_Altitude193
AltitudePossibleVal_Altitude194
AltitudePossibleVal_Altitude195
AltitudePossibleVal_Altitude196
AltitudePossibleVal_Altitude197
AltitudePossibleVal_Altitude198
AltitudePossibleVal_Altitude199
AltitudePossibleVal_Altitude200
AltitudePossibleVal_Altitude201
AltitudePossibleVal_Altitude202
AltitudePossibleVal_Altitude203
AltitudePossibleVal_Altitude204
AltitudePossibleVal_Altitude205
AltitudePossibleVal_Altitude206
AltitudePossibleVal_Altitude207
AltitudePossibleVal_Altitude208
AltitudePossibleVal_Altitude209
AltitudePossibleVal_Altitude210
AltitudePossibleVal_Altitude211
AltitudePossibleVal_Altitude212
AltitudePossibleVal_Altitude213
AltitudePossibleVal_Altitude214
AltitudePossibleVal_Altitude215
AltitudePossibleVal_Altitude216
AltitudePossibleVal_Altitude217
AltitudePossibleVal_Altitude218
AltitudePossibleVal_Altitude219
AltitudePossibleVal_Altitude220
AltitudePossibleVal_Altitude221
AltitudePossibleVal_Altitude222
AltitudePossibleVal_Altitude223
AltitudePossibleVal_Altitude224
AltitudePossibleVal_Altitude225
AltitudePossibleVal_Altitude226
AltitudePossibleVal_Altitude227
AltitudePossibleVal_Altitude228
AltitudePossibleVal_Altitude229
AltitudePossibleVal_Altitude230
AltitudePossibleVal_Altitude231
AltitudePossibleVal_Altitude232
AltitudePossibleVal_Altitude233
AltitudePossibleVal_Altitude234
AltitudePossibleVal_Altitude235
AltitudePossibleVal_Altitude236
AltitudePossibleVal_Altitude237
AltitudePossibleVal_Altitude238
AltitudePossibleVal_Altitude239
AltitudePossibleVal_Altitude240
AltitudePossibleVal_Altitude241
AltitudePossibleVal_Altitude242
AltitudePossibleVal_Altitude243
AltitudePossibleVal_Altitude244
AltitudePossibleVal_Altitude245
AltitudePossibleVal_Altitude246
AltitudePossibleVal_Altitude247
AltitudePossibleVal_Altitude248
AltitudePossibleVal_Altitude249
AltitudePossibleVal_Altitude250
AltitudePossibleVal_Altitude251
AltitudePossibleVal_Altitude252
AltitudePossibleVal_Altitude253
AltitudePossibleVal_Altitude254
AltitudePossibleVal_Altitude255
AltitudePossibleVal_Altitude256
AltitudePossibleVal_Altitude257
AltitudePossibleVal_Altitude258
AltitudePossibleVal_Altitude259
AltitudePossibleVal_Altitude260
AltitudePossibleVal_Altitude261
AltitudePossibleVal_Altitude262
AltitudePossibleVal_Altitude263
AltitudePossibleVal_Altitude264
AltitudePossibleVal_Altitude265
AltitudePossibleVal_Altitude266
AltitudePossibleVal_Altitude267
AltitudePossibleVal_Altitude268
AltitudePossibleVal_Altitude269
AltitudePossibleVal_Altitude270
AltitudePossibleVal_Altitude271
AltitudePossibleVal_Altitude272
AltitudePossibleVal_Altitude273
AltitudePossibleVal_Altitude274
AltitudePossibleVal_Altitude275
AltitudePossibleVal_Altitude276
AltitudePossibleVal_Altitude277
AltitudePossibleVal_Altitude278
AltitudePossibleVal_Altitude279
AltitudePossibleVal_Altitude280
AltitudePossibleVal_Altitude281
AltitudePossibleVal_Altitude282
AltitudePossibleVal_Altitude283
AltitudePossibleVal_Altitude284
AltitudePossibleVal_Altitude285
AltitudePossibleVal_Altitude286
AltitudePossibleVal_Altitude287
AltitudePossibleVal_Altitude288
AltitudePossibleVal_Altitude289
AltitudePossibleVal_Altitude290
AltitudePossibleVal_Altitude291
AltitudePossibleVal_Altitude292
AltitudePossibleVal_Altitude293
AltitudePossibleVal_Altitude294
AltitudePossibleVal_Altitude295
AltitudePossibleVal_Altitude296
AltitudePossibleVal_Altitude297
AltitudePossibleVal_Altitude298
AltitudePossibleVal_Altitude299
AltitudePossibleVal_Altitude300
AltitudePossibleVal_Altitude301
AltitudePossibleVal_Altitude302
AltitudePossibleVal_Altitude303
AltitudePossibleVal_Altitude304
AltitudePossibleVal_Altitude305
AltitudePossibleVal_Altitude306
AltitudePossibleVal_Altitude307
AltitudePossibleVal_Altitude308
AltitudePossibleVal_Altitude309
AltitudePossibleVal_Altitude310
AltitudePossibleVal_Altitude311
AltitudePossibleVal_Altitude312
AltitudePossibleVal_Altitude313
AltitudePossibleVal_Altitude314
AltitudePossibleVal_Altitude315
AltitudePossibleVal_Altitude316
AltitudePossibleVal_Altitude317
AltitudePossibleVal_Altitude318
AltitudePossibleVal_Altitude319
AltitudePossibleVal_Altitude320
AltitudePossibleVal_Altitude321
AltitudePossibleVal_Altitude322
AltitudePossibleVal_Altitude323
AltitudePossibleVal_Altitude324
AltitudePossibleVal_Altitude325
AltitudePossibleVal_Altitude326
AltitudePossibleVal_Altitude327
AltitudePossibleVal_Altitude328
AltitudePossibleVal_Altitude329
AltitudePossibleVal_Altitude330
AltitudePossibleVal_Altitude331
AltitudePossibleVal_Altitude332
AltitudePossibleVal_Altitude333
AltitudePossibleVal_Altitude334
AltitudePossibleVal_Altitude335
AltitudePossibleVal_Altitude336
AltitudePossibleVal_Altitude337
AltitudePossibleVal_Altitude338
AltitudePossibleVal_Altitude339
AltitudePossibleVal_Altitude340
AltitudePossibleVal_Altitude341
AltitudePossibleVal_Altitude342
AltitudePossibleVal_Altitude343
AltitudePossibleVal_Altitude344
AltitudePossibleVal_Altitude345
AltitudePossibleVal_Altitude346
AltitudePossibleVal_Altitude347
AltitudePossibleVal_Altitude348
AltitudePossibleVal_Altitude349
AltitudePossibleVal_Altitude350
AltitudePossibleVal_Altitude351
AltitudePossibleVal_Altitude352
AltitudePossibleVal_Altitude353
AltitudePossibleVal_Altitude354
AltitudePossibleVal_Altitude355
AltitudePossibleVal_Altitude356
AltitudePossibleVal_Altitude357
AltitudePossibleVal_Altitude358
AltitudePossibleVal_Altitude359
AltitudePossibleVal_Altitude360
AltitudePossibleVal_Altitude361
AltitudePossibleVal_Altitude362
AltitudePossibleVal_Altitude363
AltitudePossibleVal_Altitude364
AltitudePossibleVal_Altitude365
AltitudePossibleVal_Altitude366
AltitudePossibleVal_Altitude367
AltitudePossibleVal_Altitude368
AltitudePossibleVal_Altitude369
AltitudePossibleVal_Altitude370
AltitudePossibleVal_Altitude371
AltitudePossibleVal_Altitude372
AltitudePossibleVal_Altitude373
AltitudePossibleVal_Altitude374
AltitudePossibleVal_Altitude375
AltitudePossibleVal_Altitude376
AltitudePossibleVal_Altitude377
AltitudePossibleVal_Altitude378
AltitudePossibleVal_Altitude379
AltitudePossibleVal_Altitude380
AltitudePossibleVal_Altitude381
AltitudePossibleVal_Altitude382
AltitudePossibleVal_Altitude383
AltitudePossibleVal_Altitude384
AltitudePossibleVal_Altitude385
AltitudePossibleVal_Altitude386
AltitudePossibleVal_Altitude387
AltitudePossibleVal_Altitude388
AltitudePossibleVal_Altitude389
AltitudePossibleVal_Altitude390
AltitudePossibleVal_Altitude391
AltitudePossibleVal_Altitude392
AltitudePossibleVal_Altitude393
AltitudePossibleVal_Altitude394
AltitudePossibleVal_Altitude395
AltitudePossibleVal_Altitude396
AltitudePossibleVal_Altitude397
AltitudePossibleVal_Altitude398
AltitudePossibleVal_Altitude399
AltitudePossibleVal_Altitude400
AltitudePossibleVal_Altitude401
AltitudePossibleVal_Altitude402
AltitudePossibleVal_Altitude403
AltitudePossibleVal_Altitude404
AltitudePossibleVal_Altitude405
AltitudePossibleVal_Altitude406
AltitudePossibleVal_Altitude407
AltitudePossibleVal_Altitude408
AltitudePossibleVal_Altitude409
AltitudePossibleVal_Altitude410
AltitudePossibleVal_Altitude411
AltitudePossibleVal_Altitude412
AltitudePossibleVal_Altitude413
AltitudePossibleVal_Altitude414
AltitudePossibleVal_Altitude415
AltitudePossibleVal_Altitude416
AltitudePossibleVal_Altitude417
AltitudePossibleVal_Altitude418
AltitudePossibleVal_Altitude419
AltitudePossibleVal_Altitude420
AltitudePossibleVal_Altitude421
AltitudePossibleVal_Altitude422
AltitudePossibleVal_Altitude423
AltitudePossibleVal_Altitude424
AltitudePossibleVal_Altitude425
AltitudePossibleVal_Altitude426
AltitudePossibleVal_Altitude427
AltitudePossibleVal_Altitude428
AltitudePossibleVal_Altitude429
AltitudePossibleVal_Altitude430
AltitudePossibleVal_Altitude431
AltitudePossibleVal_Altitude432
AltitudePossibleVal_Altitude433
AltitudePossibleVal_Altitude434
AltitudePossibleVal_Altitude435
AltitudePossibleVal_Altitude436
AltitudePossibleVal_Altitude437
AltitudePossibleVal_Altitude438
AltitudePossibleVal_Altitude439
AltitudePossibleVal_Altitude440
AltitudePossibleVal_Altitude441
AltitudePossibleVal_Altitude442
AltitudePossibleVal_Altitude443
AltitudePossibleVal_Altitude444
AltitudePossibleVal_Altitude445
AltitudePossibleVal_Altitude446
AltitudePossibleVal_Altitude447
AltitudePossibleVal_Altitude448
AltitudePossibleVal_Altitude449
AltitudePossibleVal_Altitude450
AltitudePossibleVal_Altitude451
AltitudePossibleVal_Altitude452
AltitudePossibleVal_Altitude453
AltitudePossibleVal_Altitude454
AltitudePossibleVal_Altitude455
AltitudePossibleVal_Altitude456
AltitudePossibleVal_Altitude457
AltitudePossibleVal_Altitude458
AltitudePossibleVal_Altitude459
AltitudePossibleVal_Altitude460
AltitudePossibleVal_Altitude461
AltitudePossibleVal_Altitude462
AltitudePossibleVal_Altitude463
AltitudePossibleVal_Altitude464
AltitudePossibleVal_Altitude465
AltitudePossibleVal_Altitude466
AltitudePossibleVal_Altitude467
AltitudePossibleVal_Altitude468
AltitudePossibleVal_Altitude469
AltitudePossibleVal_Altitude470
AltitudePossibleVal_Altitude471
AltitudePossibleVal_Altitude472
AltitudePossibleVal_Altitude473
AltitudePossibleVal_Altitude474
AltitudePossibleVal_Altitude475
AltitudePossibleVal_Altitude476
AltitudePossibleVal_Altitude477
AltitudePossibleVal_Altitude478
AltitudePossibleVal_Altitude479
AltitudePossibleVal_Altitude480
AltitudePossibleVal_Altitude481
AltitudePossibleVal_Altitude482
AltitudePossibleVal_Altitude483
AltitudePossibleVal_Altitude484
AltitudePossibleVal_Altitude485
AltitudePossibleVal_Altitude486
AltitudePossibleVal_Altitude487
AltitudePossibleVal_Altitude488
AltitudePossibleVal_Altitude489
AltitudePossibleVal_Altitude490
AltitudePossibleVal_Altitude491
AltitudePossibleVal_Altitude492
AltitudePossibleVal_Altitude493
AltitudePossibleVal_Altitude494
AltitudePossibleVal_Altitude495
AltitudePossibleVal_Altitude496
AltitudePossibleVal_Altitude497
AltitudePossibleVal_Altitude498
AltitudePossibleVal_Altitude499
AltitudePossibleVal_Altitude500
AltitudePossibleVal_Altitude501
AltitudePossibleVal_Altitude502
AltitudePossibleVal_Altitude503
AltitudePossibleVal_Altitude504
AltitudePossibleVal_Altitude505
AltitudePossibleVal_Altitude506
AltitudePossibleVal_Altitude507
AltitudePossibleVal_Altitude508
AltitudePossibleVal_Altitude509
AltitudePossibleVal_Altitude510
AltitudePossibleVal_Altitude511
AltitudePossibleVal_Altitude512
AltitudePossibleVal_Altitude513
AltitudePossibleVal_Altitude514
AltitudePossibleVal_Altitude515
AltitudePossibleVal_Altitude516
AltitudePossibleVal_Altitude517
AltitudePossibleVal_Altitude518
AltitudePossibleVal_Altitude519
AltitudePossibleVal_Altitude520
AltitudePossibleVal_Altitude521
AltitudePossibleVal_Altitude522
AltitudePossibleVal_Altitude523
AltitudePossibleVal_Altitude524
AltitudePossibleVal_Altitude525
AltitudePossibleVal_Altitude526
AltitudePossibleVal_Altitude527
AltitudePossibleVal_Altitude528
AltitudePossibleVal_Altitude529
AltitudePossibleVal_Altitude530
AltitudePossibleVal_Altitude531
AltitudePossibleVal_Altitude532
AltitudePossibleVal_Altitude533
AltitudePossibleVal_Altitude534
AltitudePossibleVal_Altitude535
AltitudePossibleVal_Altitude536
AltitudePossibleVal_Altitude537
AltitudePossibleVal_Altitude538
AltitudePossibleVal_Altitude539
AltitudePossibleVal_Altitude540
AltitudePossibleVal_Altitude541
AltitudePossibleVal_Altitude542
AltitudePossibleVal_Altitude543
AltitudePossibleVal_Altitude544
AltitudePossibleVal_Altitude545
AltitudePossibleVal_Altitude546
AltitudePossibleVal_Altitude547
AltitudePossibleVal_Altitude548
AltitudePossibleVal_Altitude549
AltitudePossibleVal_Altitude550
AltitudePossibleVal_Altitude551
AltitudePossibleVal_Altitude552
AltitudePossibleVal_Altitude553
AltitudePossibleVal_Altitude554
AltitudePossibleVal_Altitude555
AltitudePossibleVal_Altitude556
AltitudePossibleVal_Altitude557
AltitudePossibleVal_Altitude558
AltitudePossibleVal_Altitude559
AltitudePossibleVal_Altitude560
AltitudePossibleVal_Altitude561
AltitudePossibleVal_Altitude562
AltitudePossibleVal_Altitude563
AltitudePossibleVal_Altitude564
AltitudePossibleVal_Altitude565
AltitudePossibleVal_Altitude566
AltitudePossibleVal_Altitude567
AltitudePossibleVal_Altitude568
AltitudePossibleVal_Altitude569
AltitudePossibleVal_Altitude570
AltitudePossibleVal_Altitude571
AltitudePossibleVal_Altitude572
AltitudePossibleVal_Altitude573
AltitudePossibleVal_Altitude574
AltitudePossibleVal_Altitude575
AltitudePossibleVal_Altitude576
AltitudePossibleVal_Altitude577
AltitudePossibleVal_Altitude578
AltitudePossibleVal_Altitude579
AltitudePossibleVal_Altitude580
AltitudePossibleVal_Altitude581
AltitudePossibleVal_Altitude582
AltitudePossibleVal_Altitude583
AltitudePossibleVal_Altitude584
AltitudePossibleVal_Altitude585
AltitudePossibleVal_Altitude586
AltitudePossibleVal_Altitude587
AltitudePossibleVal_Altitude588
AltitudePossibleVal_Altitude589
AltitudePossibleVal_Altitude590
AltitudePossibleVal_Altitude591
AltitudePossibleVal_Altitude592
AltitudePossibleVal_Altitude593
AltitudePossibleVal_Altitude594
AltitudePossibleVal_Altitude595
AltitudePossibleVal_Altitude596
AltitudePossibleVal_Altitude597
AltitudePossibleVal_Altitude598
AltitudePossibleVal_Altitude599
AltitudePossibleVal_Altitude600
AltitudePossibleVal_Altitude601
AltitudePossibleVal_Altitude602
AltitudePossibleVal_Altitude603
AltitudePossibleVal_Altitude604
AltitudePossibleVal_Altitude605
AltitudePossibleVal_Altitude606
AltitudePossibleVal_Altitude607
AltitudePossibleVal_Altitude608
AltitudePossibleVal_Altitude609
AltitudePossibleVal_Altitude610
AltitudePossibleVal_Altitude611
AltitudePossibleVal_Altitude612
AltitudePossibleVal_Altitude613
AltitudePossibleVal_Altitude614
AltitudePossibleVal_Altitude615
AltitudePossibleVal_Altitude616
AltitudePossibleVal_Altitude617
AltitudePossibleVal_Altitude618
AltitudePossibleVal_Altitude619
AltitudePossibleVal_Altitude620
AltitudePossibleVal_Altitude621
AltitudePossibleVal_Altitude622
AltitudePossibleVal_Altitude623
AltitudePossibleVal_Altitude624
AltitudePossibleVal_Altitude625
AltitudePossibleVal_Altitude626
AltitudePossibleVal_Altitude627
AltitudePossibleVal_Altitude628
AltitudePossibleVal_Altitude629
AltitudePossibleVal_Altitude630
AltitudePossibleVal_Altitude631
AltitudePossibleVal_Altitude632
AltitudePossibleVal_Altitude633
AltitudePossibleVal_Altitude634
AltitudePossibleVal_Altitude635
AltitudePossibleVal_Altitude636
AltitudePossibleVal_Altitude637
AltitudePossibleVal_Altitude638
AltitudePossibleVal_Altitude639
AltitudePossibleVal_Altitude640
AltitudePossibleVal_Altitude641
AltitudePossibleVal_Altitude642
AltitudePossibleVal_Altitude643
AltitudePossibleVal_Altitude644
AltitudePossibleVal_Altitude645
AltitudePossibleVal_Altitude646
AltitudePossibleVal_Altitude647
AltitudePossibleVal_Altitude648
AltitudePossibleVal_Altitude649
AltitudePossibleVal_Altitude650
AltitudePossibleVal_Altitude651
AltitudePossibleVal_Altitude652
AltitudePossibleVal_Altitude653
AltitudePossibleVal_Altitude654
AltitudePossibleVal_Altitude655
AltitudePossibleVal_Altitude656
AltitudePossibleVal_Altitude657
AltitudePossibleVal_Altitude658
AltitudePossibleVal_Altitude659
AltitudePossibleVal_Altitude660
AltitudePossibleVal_Altitude661
AltitudePossibleVal_Altitude662
AltitudePossibleVal_Altitude663
AltitudePossibleVal_Altitude664
AltitudePossibleVal_Altitude665
AltitudePossibleVal_Altitude666
AltitudePossibleVal_Altitude667
AltitudePossibleVal_Altitude668
AltitudePossibleVal_Altitude669
AltitudePossibleVal_Altitude670
AltitudePossibleVal_Altitude671
AltitudePossibleVal_Altitude672
AltitudePossibleVal_Altitude673
AltitudePossibleVal_Altitude674
AltitudePossibleVal_Altitude675
AltitudePossibleVal_Altitude676
AltitudePossibleVal_Altitude677
AltitudePossibleVal_Altitude678
AltitudePossibleVal_Altitude679
AltitudePossibleVal_Altitude680
AltitudePossibleVal_Altitude681
AltitudePossibleVal_Altitude682
AltitudePossibleVal_Altitude683
AltitudePossibleVal_Altitude684
AltitudePossibleVal_Altitude685
AltitudePossibleVal_Altitude686
AltitudePossibleVal_Altitude687
AltitudePossibleVal_Altitude688
AltitudePossibleVal_Altitude689
AltitudePossibleVal_Altitude690
AltitudePossibleVal_Altitude691
AltitudePossibleVal_Altitude692
AltitudePossibleVal_Altitude693
AltitudePossibleVal_Altitude694
AltitudePossibleVal_Altitude695
AltitudePossibleVal_Altitude696
AltitudePossibleVal_Altitude697
AltitudePossibleVal_Altitude698
AltitudePossibleVal_Altitude699
AltitudePossibleVal_Altitude700
AltitudePossibleVal_Altitude701
AltitudePossibleVal_Altitude702
AltitudePossibleVal_Altitude703
AltitudePossibleVal_Altitude704
AltitudePossibleVal_Altitude705
AltitudePossibleVal_Altitude706
AltitudePossibleVal_Altitude707
AltitudePossibleVal_Altitude708
AltitudePossibleVal_Altitude709
AltitudePossibleVal_Altitude710
AltitudePossibleVal_Altitude711
AltitudePossibleVal_Altitude712
AltitudePossibleVal_Altitude713
AltitudePossibleVal_Altitude714
AltitudePossibleVal_Altitude715
AltitudePossibleVal_Altitude716
AltitudePossibleVal_Altitude717
AltitudePossibleVal_Altitude718
AltitudePossibleVal_Altitude719
AltitudePossibleVal_Altitude720
AltitudePossibleVal_Altitude721
AltitudePossibleVal_Altitude722
AltitudePossibleVal_Altitude723
AltitudePossibleVal_Altitude724
AltitudePossibleVal_Altitude725
AltitudePossibleVal_Altitude726
AltitudePossibleVal_Altitude727
AltitudePossibleVal_Altitude728
AltitudePossibleVal_Altitude729
AltitudePossibleVal_Altitude730
AltitudePossibleVal_Altitude731
AltitudePossibleVal_Altitude732
AltitudePossibleVal_Altitude733
AltitudePossibleVal_Altitude734
AltitudePossibleVal_Altitude735
AltitudePossibleVal_Altitude736
AltitudePossibleVal_Altitude737
AltitudePossibleVal_Altitude738
AltitudePossibleVal_Altitude739
AltitudePossibleVal_Altitude740
AltitudePossibleVal_Altitude741
AltitudePossibleVal_Altitude742
AltitudePossibleVal_Altitude743
AltitudePossibleVal_Altitude744
AltitudePossibleVal_Altitude745
AltitudePossibleVal_Altitude746
AltitudePossibleVal_Altitude747
AltitudePossibleVal_Altitude748
AltitudePossibleVal_Altitude749
AltitudePossibleVal_Altitude750
AltitudePossibleVal_Altitude751
AltitudePossibleVal_Altitude752
AltitudePossibleVal_Altitude753
AltitudePossibleVal_Altitude754
AltitudePossibleVal_Altitude755
AltitudePossibleVal_Altitude756
AltitudePossibleVal_Altitude757
AltitudePossibleVal_Altitude758
AltitudePossibleVal_Altitude759
AltitudePossibleVal_Altitude760
AltitudePossibleVal_Altitude761
AltitudePossibleVal_Altitude762
AltitudePossibleVal_Altitude763
AltitudePossibleVal_Altitude764
AltitudePossibleVal_Altitude765
AltitudePossibleVal_Altitude766
AltitudePossibleVal_Altitude767
AltitudePossibleVal_Altitude768
AltitudePossibleVal_Altitude769
AltitudePossibleVal_Altitude770
AltitudePossibleVal_Altitude771
AltitudePossibleVal_Altitude772
AltitudePossibleVal_Altitude773
AltitudePossibleVal_Altitude774
AltitudePossibleVal_Altitude775
AltitudePossibleVal_Altitude776
AltitudePossibleVal_Altitude777
AltitudePossibleVal_Altitude778
AltitudePossibleVal_Altitude779
AltitudePossibleVal_Altitude780
AltitudePossibleVal_Altitude781
AltitudePossibleVal_Altitude782
AltitudePossibleVal_Altitude783
AltitudePossibleVal_Altitude784
AltitudePossibleVal_Altitude785
AltitudePossibleVal_Altitude786
AltitudePossibleVal_Altitude787
AltitudePossibleVal_Altitude788
AltitudePossibleVal_Altitude789
AltitudePossibleVal_Altitude790
AltitudePossibleVal_Altitude791
AltitudePossibleVal_Altitude792
AltitudePossibleVal_Altitude793
AltitudePossibleVal_Altitude794
AltitudePossibleVal_Altitude795
AltitudePossibleVal_Altitude796
AltitudePossibleVal_Altitude797
AltitudePossibleVal_Altitude798
AltitudePossibleVal_Altitude799
AltitudePossibleVal_Altitude800
AltitudePossibleVal_Altitude801
AltitudePossibleVal_Altitude802
AltitudePossibleVal_Altitude803
AltitudePossibleVal_Altitude804
AltitudePossibleVal_Altitude805
AltitudePossibleVal_Altitude806
AltitudePossibleVal_Altitude807
AltitudePossibleVal_Altitude808
AltitudePossibleVal_Altitude809
AltitudePossibleVal_Altitude810
AltitudePossibleVal_Altitude811
AltitudePossibleVal_Altitude812
AltitudePossibleVal_Altitude813
AltitudePossibleVal_Altitude814
AltitudePossibleVal_Altitude815
AltitudePossibleVal_Altitude816
AltitudePossibleVal_Altitude817
AltitudePossibleVal_Altitude818
AltitudePossibleVal_Altitude819
AltitudePossibleVal_Altitude820
AltitudePossibleVal_Altitude821
AltitudePossibleVal_Altitude822
AltitudePossibleVal_Altitude823
AltitudePossibleVal_Altitude824
AltitudePossibleVal_Altitude825
AltitudePossibleVal_Altitude826
AltitudePossibleVal_Altitude827
AltitudePossibleVal_Altitude828
AltitudePossibleVal_Altitude829
AltitudePossibleVal_Altitude830
AltitudePossibleVal_Altitude831
AltitudePossibleVal_Altitude832
AltitudePossibleVal_Altitude833
AltitudePossibleVal_Altitude834
AltitudePossibleVal_Altitude835
AltitudePossibleVal_Altitude836
AltitudePossibleVal_Altitude837
AltitudePossibleVal_Altitude838
AltitudePossibleVal_Altitude839
AltitudePossibleVal_Altitude840
AltitudePossibleVal_Altitude841
AltitudePossibleVal_Altitude842
AltitudePossibleVal_Altitude843
AltitudePossibleVal_Altitude844
AltitudePossibleVal_Altitude845
AltitudePossibleVal_Altitude846
AltitudePossibleVal_Altitude847
AltitudePossibleVal_Altitude848
AltitudePossibleVal_Altitude849
AltitudePossibleVal_Altitude850
AltitudePossibleVal_Altitude851
AltitudePossibleVal_Altitude852
AltitudePossibleVal_Altitude853
AltitudePossibleVal_Altitude854
AltitudePossibleVal_Altitude855
AltitudePossibleVal_Altitude856
AltitudePossibleVal_Altitude857
AltitudePossibleVal_Altitude858
AltitudePossibleVal_Altitude859
AltitudePossibleVal_Altitude860
AltitudePossibleVal_Altitude861
AltitudePossibleVal_Altitude862
AltitudePossibleVal_Altitude863
AltitudePossibleVal_Altitude864
AltitudePossibleVal_Altitude865
AltitudePossibleVal_Altitude866
AltitudePossibleVal_Altitude867
AltitudePossibleVal_Altitude868
AltitudePossibleVal_Altitude869
AltitudePossibleVal_Altitude870
AltitudePossibleVal_Altitude871
AltitudePossibleVal_Altitude872
AltitudePossibleVal_Altitude873
AltitudePossibleVal_Altitude874
AltitudePossibleVal_Altitude875
AltitudePossibleVal_Altitude876
AltitudePossibleVal_Altitude877
AltitudePossibleVal_Altitude878
AltitudePossibleVal_Altitude879
AltitudePossibleVal_Altitude880
AltitudePossibleVal_Altitude881
AltitudePossibleVal_Altitude882
AltitudePossibleVal_Altitude883
AltitudePossibleVal_Altitude884
AltitudePossibleVal_Altitude885
AltitudePossibleVal_Altitude886
AltitudePossibleVal_Altitude887
AltitudePossibleVal_Altitude888
AltitudePossibleVal_Altitude889
AltitudePossibleVal_Altitude890
AltitudePossibleVal_Altitude891
AltitudePossibleVal_Altitude892
AltitudePossibleVal_Altitude893
AltitudePossibleVal_Altitude894
AltitudePossibleVal_Altitude895
AltitudePossibleVal_Altitude896
AltitudePossibleVal_Altitude897
AltitudePossibleVal_Altitude898
AltitudePossibleVal_Altitude899
AltitudePossibleVal_Altitude900
AltitudePossibleVal_Altitude901
AltitudePossibleVal_Altitude902
AltitudePossibleVal_Altitude903
AltitudePossibleVal_Altitude904
AltitudePossibleVal_Altitude905
AltitudePossibleVal_Altitude906
AltitudePossibleVal_Altitude907
AltitudePossibleVal_Altitude908
AltitudePossibleVal_Altitude909
AltitudePossibleVal_Altitude910
AltitudePossibleVal_Altitude911
AltitudePossibleVal_Altitude912
AltitudePossibleVal_Altitude913
AltitudePossibleVal_Altitude914
AltitudePossibleVal_Altitude915
AltitudePossibleVal_Altitude916
AltitudePossibleVal_Altitude917
AltitudePossibleVal_Altitude918
AltitudePossibleVal_Altitude919
AltitudePossibleVal_Altitude920
AltitudePossibleVal_Altitude921
AltitudePossibleVal_Altitude922
AltitudePossibleVal_Altitude923
AltitudePossibleVal_Altitude924
AltitudePossibleVal_Altitude925
AltitudePossibleVal_Altitude926
AltitudePossibleVal_Altitude927
AltitudePossibleVal_Altitude928
AltitudePossibleVal_Altitude929
AltitudePossibleVal_Altitude930
AltitudePossibleVal_Altitude931
AltitudePossibleVal_Altitude932
AltitudePossibleVal_Altitude933
AltitudePossibleVal_Altitude934
AltitudePossibleVal_Altitude935
AltitudePossibleVal_Altitude936
AltitudePossibleVal_Altitude937
AltitudePossibleVal_Altitude938
AltitudePossibleVal_Altitude939
AltitudePossibleVal_Altitude940
AltitudePossibleVal_Altitude941
AltitudePossibleVal_Altitude942
AltitudePossibleVal_Altitude943
AltitudePossibleVal_Altitude944
AltitudePossibleVal_Altitude945
AltitudePossibleVal_Altitude946
AltitudePossibleVal_Altitude947
AltitudePossibleVal_Altitude948
AltitudePossibleVal_Altitude949
AltitudePossibleVal_Altitude950
AltitudePossibleVal_Altitude951
AltitudePossibleVal_Altitude952
AltitudePossibleVal_Altitude953
AltitudePossibleVal_Altitude954
AltitudePossibleVal_Altitude955
AltitudePossibleVal_Altitude956
AltitudePossibleVal_Altitude957
AltitudePossibleVal_Altitude958
AltitudePossibleVal_Altitude959
AltitudePossibleVal_Altitude960
AltitudePossibleVal_Altitude961
AltitudePossibleVal_Altitude962
AltitudePossibleVal_Altitude963
AltitudePossibleVal_Altitude964
AltitudePossibleVal_Altitude965
AltitudePossibleVal_Altitude966
AltitudePossibleVal_Altitude967
AltitudePossibleVal_Altitude968
AltitudePossibleVal_Altitude969
AltitudePossibleVal_Altitude970
AltitudePossibleVal_Altitude971
AltitudePossibleVal_Altitude972
AltitudePossibleVal_Altitude973
AltitudePossibleVal_Altitude974
AltitudePossibleVal_Altitude975
AltitudePossibleVal_Altitude976
AltitudePossibleVal_Altitude977
AltitudePossibleVal_Altitude978
AltitudePossibleVal_Altitude979
AltitudePossibleVal_Altitude980
AltitudePossibleVal_Altitude981
AltitudePossibleVal_Altitude982
AltitudePossibleVal_Altitude983
AltitudePossibleVal_Altitude984
AltitudePossibleVal_Altitude985
AltitudePossibleVal_Altitude986
AltitudePossibleVal_Altitude987
AltitudePossibleVal_Altitude988
AltitudePossibleVal_Altitude989
AltitudePossibleVal_Altitude990
AltitudePossibleVal_Altitude991
AltitudePossibleVal_Altitude992
AltitudePossibleVal_Altitude993
AltitudePossibleVal_Altitude994
AltitudePossibleVal_Altitude995
AltitudePossibleVal_Altitude996
AltitudePossibleVal_Altitude997
AltitudePossibleVal_Altitude998
AltitudePossibleVal_Altitude999
AltitudePossibleVal_Altitude1000
SpeedPossibleVal_Speed1
SpeedPossibleVal_Speed2
SpeedPossibleVal_Speed3
SpeedPossibleVal_Speed4
SpeedPossibleVal_Speed5
SpeedPossibleVal_Speed6
SpeedPossibleVal_Speed7
SpeedPossibleVal_Speed8
SpeedPossibleVal_Speed9
SpeedPossibleVal_Speed10
SpeedPossibleVal_Speed11
SpeedPossibleVal_Speed12
SpeedPossibleVal_Speed13
SpeedPossibleVal_Speed14
SpeedPossibleVal_Speed15
SpeedPossibleVal_Speed16
SpeedPossibleVal_Speed17
SpeedPossibleVal_Speed18
SpeedPossibleVal_Speed19
SpeedPossibleVal_Speed20
SpeedPossibleVal_Speed21
SpeedPossibleVal_Speed22
SpeedPossibleVal_Speed23
SpeedPossibleVal_Speed24
SpeedPossibleVal_Speed25
SpeedPossibleVal_Speed26
SpeedPossibleVal_Speed27
SpeedPossibleVal_Speed28
SpeedPossibleVal_Speed29
SpeedPossibleVal_Speed30
SpeedPossibleVal_Speed31
SpeedPossibleVal_Speed32
SpeedPossibleVal_Speed33
SpeedPossibleVal_Speed34
SpeedPossibleVal_Speed35
SpeedPossibleVal_Speed36
SpeedPossibleVal_Speed37
SpeedPossibleVal_Speed38
SpeedPossibleVal_Speed39
SpeedPossibleVal_Speed40
SpeedPossibleVal_Speed41
SpeedPossibleVal_Speed42
SpeedPossibleVal_Speed43
SpeedPossibleVal_Speed44
SpeedPossibleVal_Speed45
SpeedPossibleVal_Speed46
SpeedPossibleVal_Speed47
SpeedPossibleVal_Speed48
SpeedPossibleVal_Speed49
SpeedPossibleVal_Speed50
SpeedPossibleVal_Speed51
SpeedPossibleVal_Speed52
SpeedPossibleVal_Speed53
SpeedPossibleVal_Speed54
SpeedPossibleVal_Speed55
SpeedPossibleVal_Speed56
SpeedPossibleVal_Speed57
SpeedPossibleVal_Speed58
SpeedPossibleVal_Speed59
SpeedPossibleVal_Speed60
SpeedPossibleVal_Speed61
SpeedPossibleVal_Speed62
SpeedPossibleVal_Speed63
SpeedPossibleVal_Speed64
SpeedPossibleVal_Speed65
SpeedPossibleVal_Speed66
SpeedPossibleVal_Speed67
SpeedPossibleVal_Speed68
SpeedPossibleVal_Speed69
SpeedPossibleVal_Speed70
SpeedPossibleVal_Speed71
SpeedPossibleVal_Speed72
SpeedPossibleVal_Speed73
SpeedPossibleVal_Speed74
SpeedPossibleVal_Speed75
SpeedPossibleVal_Speed76
SpeedPossibleVal_Speed77
SpeedPossibleVal_Speed78
SpeedPossibleVal_Speed79
SpeedPossibleVal_Speed80
SpeedPossibleVal_Speed81
SpeedPossibleVal_Speed82
SpeedPossibleVal_Speed83
SpeedPossibleVal_Speed84
SpeedPossibleVal_Speed85
SpeedPossibleVal_Speed86
SpeedPossibleVal_Speed87
SpeedPossibleVal_Speed88
SpeedPossibleVal_Speed89
SpeedPossibleVal_Speed90
SpeedPossibleVal_Speed91
SpeedPossibleVal_Speed92
SpeedPossibleVal_Speed93
SpeedPossibleVal_Speed94
SpeedPossibleVal_Speed95
SpeedPossibleVal_Speed96
SpeedPossibleVal_Speed97
SpeedPossibleVal_Speed98
SpeedPossibleVal_Speed99
SpeedPossibleVal_Speed100
SpeedPossibleVal_Speed101
SpeedPossibleVal_Speed102
SpeedPossibleVal_Speed103
SpeedPossibleVal_Speed104
SpeedPossibleVal_Speed105
SpeedPossibleVal_Speed106
SpeedPossibleVal_Speed107
SpeedPossibleVal_Speed108
SpeedPossibleVal_Speed109
SpeedPossibleVal_Speed110
SpeedPossibleVal_Speed111
SpeedPossibleVal_Speed112
SpeedPossibleVal_Speed113
SpeedPossibleVal_Speed114
SpeedPossibleVal_Speed115
SpeedPossibleVal_Speed116
SpeedPossibleVal_Speed117
SpeedPossibleVal_Speed118
SpeedPossibleVal_Speed119
SpeedPossibleVal_Speed120
SpeedPossibleVal_Speed121
SpeedPossibleVal_Speed122
SpeedPossibleVal_Speed123
SpeedPossibleVal_Speed124
SpeedPossibleVal_Speed125
SpeedPossibleVal_Speed126
SpeedPossibleVal_Speed127
SpeedPossibleVal_Speed128
SpeedPossibleVal_Speed129
SpeedPossibleVal_Speed130
SpeedPossibleVal_Speed131
SpeedPossibleVal_Speed132
SpeedPossibleVal_Speed133
SpeedPossibleVal_Speed134
SpeedPossibleVal_Speed135
SpeedPossibleVal_Speed136
SpeedPossibleVal_Speed137
SpeedPossibleVal_Speed138
SpeedPossibleVal_Speed139
SpeedPossibleVal_Speed140
SpeedPossibleVal_Speed141
SpeedPossibleVal_Speed142
SpeedPossibleVal_Speed143
SpeedPossibleVal_Speed144
SpeedPossibleVal_Speed145
SpeedPossibleVal_Speed146
SpeedPossibleVal_Speed147
SpeedPossibleVal_Speed148
SpeedPossibleVal_Speed149
SpeedPossibleVal_Speed150
SpeedPossibleVal_Speed151
SpeedPossibleVal_Speed152
SpeedPossibleVal_Speed153
SpeedPossibleVal_Speed154
SpeedPossibleVal_Speed155
SpeedPossibleVal_Speed156
SpeedPossibleVal_Speed157
SpeedPossibleVal_Speed158
SpeedPossibleVal_Speed159
SpeedPossibleVal_Speed160
SpeedPossibleVal_Speed161
SpeedPossibleVal_Speed162
SpeedPossibleVal_Speed163
SpeedPossibleVal_Speed164
SpeedPossibleVal_Speed165
SpeedPossibleVal_Speed166
SpeedPossibleVal_Speed167
SpeedPossibleVal_Speed168
SpeedPossibleVal_Speed169
SpeedPossibleVal_Speed170
SpeedPossibleVal_Speed171
SpeedPossibleVal_Speed172
SpeedPossibleVal_Speed173
SpeedPossibleVal_Speed174
SpeedPossibleVal_Speed175
SpeedPossibleVal_Speed176
SpeedPossibleVal_Speed177
SpeedPossibleVal_Speed178
SpeedPossibleVal_Speed179
SpeedPossibleVal_Speed180
SpeedPossibleVal_Speed181
SpeedPossibleVal_Speed182
SpeedPossibleVal_Speed183
SpeedPossibleVal_Speed184
SpeedPossibleVal_Speed185
SpeedPossibleVal_Speed186
SpeedPossibleVal_Speed187
SpeedPossibleVal_Speed188
SpeedPossibleVal_Speed189
SpeedPossibleVal_Speed190
SpeedPossibleVal_Speed191
SpeedPossibleVal_Speed192
SpeedPossibleVal_Speed193
SpeedPossibleVal_Speed194
SpeedPossibleVal_Speed195
SpeedPossibleVal_Speed196
SpeedPossibleVal_Speed197
SpeedPossibleVal_Speed198
SpeedPossibleVal_Speed199
SpeedPossibleVal_Speed200
SpeedPossibleVal_Speed201
SpeedPossibleVal_Speed202
SpeedPossibleVal_Speed203
SpeedPossibleVal_Speed204
SpeedPossibleVal_Speed205
SpeedPossibleVal_Speed206
SpeedPossibleVal_Speed207
SpeedPossibleVal_Speed208
SpeedPossibleVal_Speed209
SpeedPossibleVal_Speed210
SpeedPossibleVal_Speed211
SpeedPossibleVal_Speed212
SpeedPossibleVal_Speed213
SpeedPossibleVal_Speed214
SpeedPossibleVal_Speed215
SpeedPossibleVal_Speed216
SpeedPossibleVal_Speed217
SpeedPossibleVal_Speed218
SpeedPossibleVal_Speed219
SpeedPossibleVal_Speed220
SpeedPossibleVal_Speed221
SpeedPossibleVal_Speed222
SpeedPossibleVal_Speed223
SpeedPossibleVal_Speed224
SpeedPossibleVal_Speed225
SpeedPossibleVal_Speed226
SpeedPossibleVal_Speed227
SpeedPossibleVal_Speed228
SpeedPossibleVal_Speed229
SpeedPossibleVal_Speed230
SpeedPossibleVal_Speed231
SpeedPossibleVal_Speed232
SpeedPossibleVal_Speed233
SpeedPossibleVal_Speed234
SpeedPossibleVal_Speed235
SpeedPossibleVal_Speed236
SpeedPossibleVal_Speed237
SpeedPossibleVal_Speed238
SpeedPossibleVal_Speed239
SpeedPossibleVal_Speed240
SpeedPossibleVal_Speed241
SpeedPossibleVal_Speed242
SpeedPossibleVal_Speed243
SpeedPossibleVal_Speed244
SpeedPossibleVal_Speed245
SpeedPossibleVal_Speed246
SpeedPossibleVal_Speed247
SpeedPossibleVal_Speed248
SpeedPossibleVal_Speed249
SpeedPossibleVal_Speed250
SpeedPossibleVal_Speed251
SpeedPossibleVal_Speed252
SpeedPossibleVal_Speed253
SpeedPossibleVal_Speed254
SpeedPossibleVal_Speed255
SpeedPossibleVal_Speed256
SpeedPossibleVal_Speed257
SpeedPossibleVal_Speed258
SpeedPossibleVal_Speed259
SpeedPossibleVal_Speed260
SpeedPossibleVal_Speed261
SpeedPossibleVal_Speed262
SpeedPossibleVal_Speed263
SpeedPossibleVal_Speed264
SpeedPossibleVal_Speed265
SpeedPossibleVal_Speed266
SpeedPossibleVal_Speed267
SpeedPossibleVal_Speed268
SpeedPossibleVal_Speed269
SpeedPossibleVal_Speed270
SpeedPossibleVal_Speed271
SpeedPossibleVal_Speed272
SpeedPossibleVal_Speed273
SpeedPossibleVal_Speed274
SpeedPossibleVal_Speed275
SpeedPossibleVal_Speed276
SpeedPossibleVal_Speed277
SpeedPossibleVal_Speed278
SpeedPossibleVal_Speed279
SpeedPossibleVal_Speed280
SpeedPossibleVal_Speed281
SpeedPossibleVal_Speed282
SpeedPossibleVal_Speed283
SpeedPossibleVal_Speed284
SpeedPossibleVal_Speed285
SpeedPossibleVal_Speed286
SpeedPossibleVal_Speed287
SpeedPossibleVal_Speed288
SpeedPossibleVal_Speed289
SpeedPossibleVal_Speed290
SpeedPossibleVal_Speed291
SpeedPossibleVal_Speed292
SpeedPossibleVal_Speed293
SpeedPossibleVal_Speed294
SpeedPossibleVal_Speed295
SpeedPossibleVal_Speed296
SpeedPossibleVal_Speed297
SpeedPossibleVal_Speed298
SpeedPossibleVal_Speed299
SpeedPossibleVal_Speed300
SpeedPossibleVal_Speed301
SpeedPossibleVal_Speed302
SpeedPossibleVal_Speed303
SpeedPossibleVal_Speed304
SpeedPossibleVal_Speed305
SpeedPossibleVal_Speed306
SpeedPossibleVal_Speed307
SpeedPossibleVal_Speed308
SpeedPossibleVal_Speed309
SpeedPossibleVal_Speed310
SpeedPossibleVal_Speed311
SpeedPossibleVal_Speed312
SpeedPossibleVal_Speed313
SpeedPossibleVal_Speed314
SpeedPossibleVal_Speed315
SpeedPossibleVal_Speed316
SpeedPossibleVal_Speed317
SpeedPossibleVal_Speed318
SpeedPossibleVal_Speed319
SpeedPossibleVal_Speed320
SpeedPossibleVal_Speed321
SpeedPossibleVal_Speed322
SpeedPossibleVal_Speed323
SpeedPossibleVal_Speed324
SpeedPossibleVal_Speed325
SpeedPossibleVal_Speed326
SpeedPossibleVal_Speed327
SpeedPossibleVal_Speed328
SpeedPossibleVal_Speed329
SpeedPossibleVal_Speed330
SpeedPossibleVal_Speed331
SpeedPossibleVal_Speed332
SpeedPossibleVal_Speed333
SpeedPossibleVal_Speed334
SpeedPossibleVal_Speed335
SpeedPossibleVal_Speed336
SpeedPossibleVal_Speed337
SpeedPossibleVal_Speed338
SpeedPossibleVal_Speed339
SpeedPossibleVal_Speed340
SpeedPossibleVal_Speed341
SpeedPossibleVal_Speed342
SpeedPossibleVal_Speed343
SpeedPossibleVal_Speed344
SpeedPossibleVal_Speed345
SpeedPossibleVal_Speed346
SpeedPossibleVal_Speed347
SpeedPossibleVal_Speed348
SpeedPossibleVal_Speed349
SpeedPossibleVal_Speed350
SpeedPossibleVal_Speed351
SpeedPossibleVal_Speed352
SpeedPossibleVal_Speed353
SpeedPossibleVal_Speed354
SpeedPossibleVal_Speed355
SpeedPossibleVal_Speed356
SpeedPossibleVal_Speed357
SpeedPossibleVal_Speed358
SpeedPossibleVal_Speed359
SpeedPossibleVal_Speed360
SpeedPossibleVal_Speed361
SpeedPossibleVal_Speed362
SpeedPossibleVal_Speed363
SpeedPossibleVal_Speed364
SpeedPossibleVal_Speed365
SpeedPossibleVal_Speed366
SpeedPossibleVal_Speed367
SpeedPossibleVal_Speed368
SpeedPossibleVal_Speed369
SpeedPossibleVal_Speed370
SpeedPossibleVal_Speed371
SpeedPossibleVal_Speed372
SpeedPossibleVal_Speed373
SpeedPossibleVal_Speed374
SpeedPossibleVal_Speed375
SpeedPossibleVal_Speed376
SpeedPossibleVal_Speed377
SpeedPossibleVal_Speed378
SpeedPossibleVal_Speed379
SpeedPossibleVal_Speed380
SpeedPossibleVal_Speed381
SpeedPossibleVal_Speed382
SpeedPossibleVal_Speed383
SpeedPossibleVal_Speed384
SpeedPossibleVal_Speed385
SpeedPossibleVal_Speed386
SpeedPossibleVal_Speed387
SpeedPossibleVal_Speed388
SpeedPossibleVal_Speed389
SpeedPossibleVal_Speed390
SpeedPossibleVal_Speed391
SpeedPossibleVal_Speed392
SpeedPossibleVal_Speed393
SpeedPossibleVal_Speed394
SpeedPossibleVal_Speed395
SpeedPossibleVal_Speed396
SpeedPossibleVal_Speed397
SpeedPossibleVal_Speed398
SpeedPossibleVal_Speed399
SpeedPossibleVal_Speed400
SpeedPossibleVal_Speed401
SpeedPossibleVal_Speed402
SpeedPossibleVal_Speed403
SpeedPossibleVal_Speed404
SpeedPossibleVal_Speed405
SpeedPossibleVal_Speed406
SpeedPossibleVal_Speed407
SpeedPossibleVal_Speed408
SpeedPossibleVal_Speed409
SpeedPossibleVal_Speed410
SpeedPossibleVal_Speed411
SpeedPossibleVal_Speed412
SpeedPossibleVal_Speed413
SpeedPossibleVal_Speed414
SpeedPossibleVal_Speed415
SpeedPossibleVal_Speed416
SpeedPossibleVal_Speed417
SpeedPossibleVal_Speed418
SpeedPossibleVal_Speed419
SpeedPossibleVal_Speed420
SpeedPossibleVal_Speed421
SpeedPossibleVal_Speed422
SpeedPossibleVal_Speed423
SpeedPossibleVal_Speed424
SpeedPossibleVal_Speed425
SpeedPossibleVal_Speed426
SpeedPossibleVal_Speed427
SpeedPossibleVal_Speed428
SpeedPossibleVal_Speed429
SpeedPossibleVal_Speed430
SpeedPossibleVal_Speed431
SpeedPossibleVal_Speed432
SpeedPossibleVal_Speed433
SpeedPossibleVal_Speed434
SpeedPossibleVal_Speed435
SpeedPossibleVal_Speed436
SpeedPossibleVal_Speed437
SpeedPossibleVal_Speed438
SpeedPossibleVal_Speed439
SpeedPossibleVal_Speed440
SpeedPossibleVal_Speed441
SpeedPossibleVal_Speed442
SpeedPossibleVal_Speed443
SpeedPossibleVal_Speed444
SpeedPossibleVal_Speed445
SpeedPossibleVal_Speed446
SpeedPossibleVal_Speed447
SpeedPossibleVal_Speed448
SpeedPossibleVal_Speed449
SpeedPossibleVal_Speed450
SpeedPossibleVal_Speed451
SpeedPossibleVal_Speed452
SpeedPossibleVal_Speed453
SpeedPossibleVal_Speed454
SpeedPossibleVal_Speed455
SpeedPossibleVal_Speed456
SpeedPossibleVal_Speed457
SpeedPossibleVal_Speed458
SpeedPossibleVal_Speed459
SpeedPossibleVal_Speed460
SpeedPossibleVal_Speed461
SpeedPossibleVal_Speed462
SpeedPossibleVal_Speed463
SpeedPossibleVal_Speed464
SpeedPossibleVal_Speed465
SpeedPossibleVal_Speed466
SpeedPossibleVal_Speed467
SpeedPossibleVal_Speed468
SpeedPossibleVal_Speed469
SpeedPossibleVal_Speed470
SpeedPossibleVal_Speed471
SpeedPossibleVal_Speed472
SpeedPossibleVal_Speed473
SpeedPossibleVal_Speed474
SpeedPossibleVal_Speed475
SpeedPossibleVal_Speed476
SpeedPossibleVal_Speed477
SpeedPossibleVal_Speed478
SpeedPossibleVal_Speed479
SpeedPossibleVal_Speed480
SpeedPossibleVal_Speed481
SpeedPossibleVal_Speed482
SpeedPossibleVal_Speed483
SpeedPossibleVal_Speed484
SpeedPossibleVal_Speed485
SpeedPossibleVal_Speed486
SpeedPossibleVal_Speed487
SpeedPossibleVal_Speed488
SpeedPossibleVal_Speed489
SpeedPossibleVal_Speed490
SpeedPossibleVal_Speed491
SpeedPossibleVal_Speed492
SpeedPossibleVal_Speed493
SpeedPossibleVal_Speed494
SpeedPossibleVal_Speed495
SpeedPossibleVal_Speed496
SpeedPossibleVal_Speed497
SpeedPossibleVal_Speed498
SpeedPossibleVal_Speed499
SpeedPossibleVal_Speed500
WeightPossibleVal_Weight0
WeightPossibleVal_Weight1
found 1502 constant places
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m 0.018sec

4644 14889 15004 27649 27749 27848 28019 30182 30258 30329 30397 30462 30525 30585 30643
iterations count:1528059 (381), effective:2014 (0)

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AirplaneLD-COL-0500"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool marcie"
echo " Input is AirplaneLD-COL-0500, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r001-oct2-167813588400216"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-COL-0500.tgz
mv AirplaneLD-COL-0500 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;