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.r015-oct2-167813604300131.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 ReachabilityDeadlock
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r015-oct2-167813604300131
=====================================================================

--------------------
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)

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME ReachabilityDeadlock

=== Now, execution of the tool begins

BK_START 1678860842397

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=ReachabilityDeadlock
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=AirplaneLD-COL-0500
Not applying reductions.
Model is COL
ReachabilityDeadlock 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 --mcc-file=/home/mcc/BenchKit/bin//../marcie/bin//ReachabilityDeadlock.xml --memory=6 --mcc-mode

parse successfull
net created successfully

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

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

parse formulas
formulas created successfully
place and transition orderings generation:0m 1.598sec

net check time: 0m 0.002sec

init dd package: 0m 2.889sec


RS generation: 3m53.055sec


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



starting MCC model checker
--------------------------

checking: EF [DEADLOCK]
normalized: E [true U DEADLOCK]

TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393916 kB
MemFree: 9544168 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16234156 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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.031sec

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

initing FirstDep: 0m 0.018sec

32499 32385 32271 32157 32043 31929 31815 31701 54700 54586 54472 54358 54244 54130 54016 53902 53788 54686 54572 54458 54344 54232 54118 54004 53890 53776 54674 54560 54446 54332 54218 54104 53990 53876 53762 54662

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="ReachabilityDeadlock"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
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 ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r015-oct2-167813604300131"
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 [ "ReachabilityDeadlock" = "ReachabilityDeadlock" ] || [ "ReachabilityDeadlock" = "UpperBounds" ] || [ "ReachabilityDeadlock" = "QuasiLiveness" ] || [ "ReachabilityDeadlock" = "StableMarking" ] || [ "ReachabilityDeadlock" = "Liveness" ] || [ "ReachabilityDeadlock" = "OneSafe" ] || [ "ReachabilityDeadlock" = "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 [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "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 "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.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 '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityDeadlock" = "ReachabilityDeadlock" ] || [ "ReachabilityDeadlock" = "QuasiLiveness" ] || [ "ReachabilityDeadlock" = "StableMarking" ] || [ "ReachabilityDeadlock" = "Liveness" ] || [ "ReachabilityDeadlock" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityDeadlock"
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 ;