Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-2979
Executing tool marcie
Input is S_SharedMemory-COL-001000, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r185kn-smll-146444129600688
=====================================================================

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME SharedMemory-COL-001000-CTLFireability-0
FORMULA_NAME SharedMemory-COL-001000-CTLFireability-1
FORMULA_NAME SharedMemory-COL-001000-CTLFireability-10
FORMULA_NAME SharedMemory-COL-001000-CTLFireability-11
FORMULA_NAME SharedMemory-COL-001000-CTLFireability-12
FORMULA_NAME SharedMemory-COL-001000-CTLFireability-13
FORMULA_NAME SharedMemory-COL-001000-CTLFireability-14
FORMULA_NAME SharedMemory-COL-001000-CTLFireability-15
FORMULA_NAME SharedMemory-COL-001000-CTLFireability-2
FORMULA_NAME SharedMemory-COL-001000-CTLFireability-3
FORMULA_NAME SharedMemory-COL-001000-CTLFireability-4
FORMULA_NAME SharedMemory-COL-001000-CTLFireability-5
FORMULA_NAME SharedMemory-COL-001000-CTLFireability-6
FORMULA_NAME SharedMemory-COL-001000-CTLFireability-7
FORMULA_NAME SharedMemory-COL-001000-CTLFireability-8
FORMULA_NAME SharedMemory-COL-001000-CTLFireability-9

=== Now, execution of the tool begins

BK_START 1464727965015


Marcie rev. 8535M (built: crohr on 2016-04-27)
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: marcie --net-file=model.pnml --mcc-file=CTLFireability.xml --mcc-mode --memory=6 --suppress

parse successfull
net created successfully

Unfolding complete |P|=1004001|T|=2002000|A|=8004000
Time for unfolding: 1m19.096sec

Net: SharedMemory_COL_001000
(NrP: 1004001 NrTr: 2002000 NrArc: 8004000)

net check time: 0m 1.365sec

parse formulas

BK_STOP 1464728219541

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

check for maximal unmarked siphon
found
The net has a maximal unmarked siphon:
extMemAcc_pId1_pId1
extMemAcc_pId2_pId2
extMemAcc_pId5_pId5
extMemAcc_pId3_pId3
extMemAcc_pId4_pId4
extMemAcc_pId9_pId9
extMemAcc_pId10_pId10
extMemAcc_pId6_pId6
extMemAcc_pId7_pId7
extMemAcc_pId8_pId8
extMemAcc_pId33_pId33
extMemAcc_pId17_pId17
extMemAcc_pId18_pId18
extMemAcc_pId19_pId19
extMemAcc_pId20_pId20
extMemAcc_pId21_pId21
extMemAcc_pId11_pId11
extMemAcc_pId12_pId12
extMemAcc_pId13_pId13
extMemAcc_pId14_pId14
extMemAcc_pId15_pId15
extMemAcc_pId16_pId16
extMemAcc_pId66_pId66
extMemAcc_pId34_pId34
extMemAcc_pId35_pId35
extMemAcc_pId36_pId36
extMemAcc_pId37_pId37
extMemAcc_pId38_pId38
extMemAcc_pId39_pId39
extMemAcc_pId40_pId40
extMemAcc_pId41_pId41
extMemAcc_pId42_pId42
extMemAcc_pId43_pId43
extMemAcc_pId22_pId22
extMemAcc_pId23_pId23
extMemAcc_pId24_pId24
extMemAcc_pId25_pId25
extMemAcc_pId26_pId26
extMemAcc_pId27_pId27
extMemAcc_pId28_pId28
extMemAcc_pId29_pId29
extMemAcc_pId30_pId30
extMemAcc_pId31_pId31
extMemAcc_pId32_pId32
extMemAcc_pId131_pId131
extMemAcc_pId132_pId132
extMemAcc_pId133_pId133
extMemAcc_pId67_pId67
extMemAcc_pId68_pId68
extMemAcc_pId69_pId69
extMemAcc_pId70_pId70
extMemAcc_pId71_pId71
extMemAcc_pId72_pId72
extMemAcc_pId73_pId73
extMemAcc_pId74_pId74
extMemAcc_pId75_pId75
extMemAcc_pId76_pId76
extMemAcc_pId77_pId77
extMemAcc_pId78_pId78
extMemAcc_pId79_pId79
extMemAcc_pId80_pId80
extMemAcc_pId81_pId81
extMemAcc_pId82_pId82
extMemAcc_pId83_pId83
extMemAcc_pId84_pId84
extMemAcc_pId85_pId85
extMemAcc_pId86_pId86
extMemAcc_pId44_pId44
extMemAcc_pId45_pId45
extMemAcc_pId46_pId46
extMemAcc_pId47_pId47
extMemAcc_pId48_pId48
extMemAcc_pId49_pId49
extMemAcc_pId50_pId50
extMemAcc_pId51_pId51
extMemAcc_pId52_pId52
extMemAcc_pId53_pId53
extMemAcc_pId54_pId54
extMemAcc_pId55_pId55
extMemAcc_pId56_pId56
extMemAcc_pId57_pId57
extMemAcc_pId58_pId58
extMemAcc_pId59_pId59
extMemAcc_pId60_pId60
extMemAcc_pId61_pId61
extMemAcc_pId62_pId62
extMemAcc_pId63_pId63
extMemAcc_pId64_pId64
extMemAcc_pId65_pId65
extMemAcc_pId262_pId262
extMemAcc_pId263_pId263
extMemAcc_pId264_pId264
extMemAcc_pId265_pId265
extMemAcc_pId266_pId266
extMemAcc_pId267_pId267
extMemAcc_pId134_pId134
extMemAcc_pId135_pId135
extMemAcc_pId136_pId136
extMemAcc_pId137_pId137
extMemAcc_pId138_pId138
extMemAcc_pId139_pId139
extMemAcc_pId140_pId140
extMemAcc_pId141_pId141
extMemAcc_pId142_pId142
extMemAcc_pId143_pId143
extMemAcc_pId144_pId144
extMemAcc_pId145_pId145
extMemAcc_pId146_pId146
extMemAcc_pId147_pId147
extMemAcc_pId148_pId148
extMemAcc_pId149_pId149
extMemAcc_pId150_pId150
extMemAcc_pId151_pId151
extMemAcc_pId152_pId152
extMemAcc_pId153_pId153
extMemAcc_pId154_pId154
extMemAcc_pId155_pId155
extMemAcc_pId156_pId156
extMemAcc_pId157_pId157
extMemAcc_pId158_pId158
extMemAcc_pId159_pId159
extMemAcc_pId160_pId160
extMemAcc_pId161_pId161
extMemAcc_pId162_pId162
extMemAcc_pId163_pId163
extMemAcc_pId164_pId164
extMemAcc_pId165_pId165
extMemAcc_pId166_pId166
extMemAcc_pId167_pId167
extMemAcc_pId168_pId168
extMemAcc_pId169_pId169
extMemAcc_pId170_pId170
extMemAcc_pId171_pId171
extMemAcc_pId172_pId172
extMemAcc_pId87_pId87
extMemAcc_pId88_pId88
extMemAcc_pId89_pId89
extMemAcc_pId90_pId90
extMemAcc_pId91_pId91
extMemAcc_pId92_pId92
extMemAcc_pId93_pId93
extMemAcc_pId94_pId94
extMemAcc_pId95_pId95
extMemAcc_pId96_pId96
extMemAcc_pId97_pId97
extMemAcc_pId98_pId98
extMemAcc_pId99_pId99
extMemAcc_pId100_pId100
extMemAcc_pId101_pId101
extMemAcc_pId102_pId102
extMemAcc_pId103_pId103
extMemAcc_pId104_pId104
extMemAcc_pId105_pId105
extMemAcc_pId106_pId106
extMemAcc_pId107_pId107
extMemAcc_pId108_pId108
extMemAcc_pId109_pId109
extMemAcc_pId110_pId110
extMemAcc_pId111_pId111
extMemAcc_pId112_pId112
extMemAcc_pId113_pId113
extMemAcc_pId114_pId114
extMemAcc_pId115_pId115
extMemAcc_pId116_pId116
extMemAcc_pId117_pId117
extMemAcc_pId118_pId118
extMemAcc_pId119_pId119
extMemAcc_pId120_pId120
extMemAcc_pId121_pId121
extMemAcc_pId122_pId122
extMemAcc_pId123_pId123
extMemAcc_pId124_pId124
extMemAcc_pId125_pId125
extMemAcc_pId126_pId126
extMemAcc_pId127_pId127
extMemAcc_pId128_pId128
extMemAcc_pId129_pId129
extMemAcc_pId130_pId130
extMemAcc_pId524_pId524
extMemAcc_pId525_pId525
extMemAcc_pId526_pId526
extMemAcc_pId527_pId527
extMemAcc_pId528_pId528
extMemAcc_pId529_pId529
extMemAcc_pId530_pId530
extMemAcc_pId531_pId531
extMemAcc_pId532_pId532
extMemAcc_pId533_pId533
extMemAcc_pId534_pId534
extMemAcc_pId535_pId535
extMemAcc_pId268_pId268
extMemAcc_pId269_pId269
extMemAcc_pId270_pId270
extMemAcc_pId271_pId271
extMemAcc_pId272_pId272
extMemAcc_pId273_pId273
extMemAcc_pId274_pId274
extMemAcc_pId275_pId275
extMemAcc_pId276_pId276
extMemAcc_pId277_pId277
extMemAcc_pId278_pId278
extMemAcc_pId279_pId279
extMemAcc_pId280_pId280
extMemAcc_pId281_pId281
extMemAcc_pId282_pId282
extMemAcc_pId283_pId283
extMemAcc_pId284_pId284
extMemAcc_pId285_pId285
extMemAcc_pId286_pId286
extMemAcc_pId287_pId287
extMemAcc_pId288_pId288
extMemAcc_pId289_pId289
extMemAcc_pId290_pId290
extMemAcc_pId291_pId291
extMemAcc_pId292_pId292
extMemAcc_pId293_pId293
extMemAcc_pId294_pId294
extMemAcc_pId295_pId295
extMemAcc_pId296_pId296
extMemAcc_pId297_pId297
extMemAcc_pId298_pId298
extMemAcc_pId299_pId299
extMemAcc_pId300_pId300
extMemAcc_pId301_pId301
extMemAcc_pId302_pId302
extMemAcc_pId303_pId303
extMemAcc_pId304_pId304
extMemAcc_pId305_pId305
extMemAcc_pId306_pId306
extMemAcc_pId307_pId307
extMemAcc_pId308_pId308
extMemAcc_pId309_pId309
extMemAcc_pId310_pId310
extMemAcc_pId311_pId311
extMemAcc_pId312_pId312
extMemAcc_pId313_pId313
extMemAcc_pId314_pId314
extMemAcc_pId315_pId315
extMemAcc_pId316_pId316
extMemAcc_pId317_pId317
extMemAcc_pId318_pId318
extMemAcc_pId319_pId319
extMemAcc_pId320_pId320
extMemAcc_pId321_pId321
extMemAcc_pId322_pId322
extMemAcc_pId323_pId323
extMemAcc_pId324_pId324
extMemAcc_pId325_pId325
extMemAcc_pId326_pId326
extMemAcc_pId327_pId327
extMemAcc_pId328_pId328
extMemAcc_pId329_pId329
extMemAcc_pId330_pId330
extMemAcc_pId331_pId331
extMemAcc_pId332_pId332
extMemAcc_pId333_pId333
extMemAcc_pId334_pId334
extMemAcc_pId335_pId335
extMemAcc_pId336_pId336
extMemAcc_pId337_pId337
extMemAcc_pId338_pId338
extMemAcc_pId339_pId339
extMemAcc_pId340_pId340
extMemAcc_pId341_pId341
extMemAcc_pId342_pId342
extMemAcc_pId343_pId343
extMemAcc_pId344_pId344
extMemAcc_pId345_pId345
extMemAcc_pId173_pId173
extMemAcc_pId174_pId174
extMemAcc_pId175_pId175
extMemAcc_pId176_pId176
extMemAcc_pId177_pId177
extMemAcc_pId178_pId178
extMemAcc_pId179_pId179
extMemAcc_pId180_pId180
extMemAcc_pId181_pId181
extMemAcc_pId182_pId182
extMemAcc_pId183_pId183
extMemAcc_pId184_pId184
extMemAcc_pId185_pId185
extMemAcc_pId186_pId186
extMemAcc_pId187_pId187
extMemAcc_pId188_pId188
extMemAcc_pId189_pId189
extMemAcc_pId190_pId190
extMemAcc_pId191_pId191
extMemAcc_pId192_pId192
extMemAcc_pId193_pId193
extMemAcc_pId194_pId194
extMemAcc_pId195_pId195
extMemAcc_pId196_pId196
extMemAcc_pId197_pId197
extMemAcc_pId198_pId198
extMemAcc_pId199_pId199
extMemAcc_pId200_pId200
extMemAcc_pId201_pId201
extMemAcc_pId202_pId202
extMemAcc_pId203_pId203
extMemAcc_pId204_pId204
extMemAcc_pId205_pId205
extMemAcc_pId206_pId206
extMemAcc_pId207_pId207
extMemAcc_pId208_pId208
extMemAcc_pId209_pId209
extMemAcc_pId210_pId210
extMemAcc_pId211_pId211
extMemAcc_pId212_pId212
extMemAcc_pId213_pId213
extMemAcc_pId214_pId214
extMemAcc_pId215_pId215
extMemAcc_pId216_pId216
extMemAcc_pId217_pId217
extMemAcc_pId218_pId218
extMemAcc_pId219_pId219
extMemAcc_pId220_pId220
extMemAcc_pId221_pId221
extMemAcc_pId222_pId222
extMemAcc_pId223_pId223
extMemAcc_pId224_pId224
extMemAcc_pId225_pId225
extMemAcc_pId226_pId226
extMemAcc_pId227_pId227
extMemAcc_pId228_pId228
extMemAcc_pId229_pId229
extMemAcc_pId230_pId230
extMemAcc_pId231_pId231
extMemAcc_pId232_pId232
extMemAcc_pId233_pId233
extMemAcc_pId234_pId234
extMemAcc_pId235_pId235
extMemAcc_pId236_pId236
extMemAcc_pId237_pId237
extMemAcc_pId238_pId238
extMemAcc_pId239_pId239
extMemAcc_pId240_pId240
extMemAcc_pId241_pId241
extMemAcc_pId242_pId242
extMemAcc_pId243_pId243
extMemAcc_pId244_pId244
extMemAcc_pId245_pId245
extMemAcc_pId246_pId246
extMemAcc_pId247_pId247
extMemAcc_pId248_pId248
extMemAcc_pId249_pId249
extMemAcc_pId250_pId250
extMemAcc_pId251_pId251
extMemAcc_pId252_pId252
extMemAcc_pId253_pId253
extMemAcc_pId254_pId254
extMemAcc_pId255_pId255
extMemAcc_pId256_pId256
extMemAcc_pId257_pId257
extMemAcc_pId258_pId258
extMemAcc_pId259_pId259
extMemAcc_pId260_pId260
extMemAcc_pId261_pId261
extMemAcc_pId536_pId536
extMemAcc_pId537_pId537
extMemAcc_pId538_pId538
extMemAcc_pId539_pId539
extMemAcc_pId540_pId540
extMemAcc_pId541_pId541
extMemAcc_pId542_pId542
extMemAcc_pId543_pId543
extMemAcc_pId544_pId544
extMemAcc_pId545_pId545
extMemAcc_pId546_pId546
extMemAcc_pId547_pId547
extMemAcc_pId548_pId548
extMemAcc_pId549_pId549
extMemAcc_pId550_pId550
extMemAcc_pId551_pId551
extMemAcc_pId552_pId552
extMemAcc_pId553_pId553
extMemAcc_pId554_pId554
extMemAcc_pId555_pId555
extMemAcc_pId556_pId556
extMemAcc_pId557_pId557
extMemAcc_pId558_pId558
extMemAcc_pId559_pId559
extMemAcc_pId560_pId560
extMemAcc_pId561_pId561
extMemAcc_pId562_pId562
extMemAcc_pId563_pId563
extMemAcc_pId564_pId564
extMemAcc_pId565_pId565
extMemAcc_pId566_pId566
extMemAcc_pId567_pId567
extMemAcc_pId568_pId568
extMemAcc_pId569_pId569
extMemAcc_pId570_pId570
extMemAcc_pId571_pId571
extMemAcc_pId572_pId572
extMemAcc_pId573_pId573
extMemAcc_pId574_pId574
extMemAcc_pId575_pId575
extMemAcc_pId576_pId576
extMemAcc_pId577_pId577
extMemAcc_pId578_pId578
extMemAcc_pId579_pId579
extMemAcc_pId580_pId580
extMemAcc_pId581_pId581
extMemAcc_pId582_pId582
extMemAcc_pId583_pId583
extMemAcc_pId584_pId584
extMemAcc_pId585_pId585
extMemAcc_pId586_pId586
extMemAcc_pId587_pId587
extMemAcc_pId588_pId588
extMemAcc_pId589_pId589
extMemAcc_pId590_pId590
extMemAcc_pId591_pId591
extMemAcc_pId592_pId592
extMemAcc_pId593_pId593
extMemAcc_pId594_pId594
extMemAcc_pId595_pId595
extMemAcc_pId596_pId596
extMemAcc_pId597_pId597
extMemAcc_pId598_pId598
extMemAcc_pId599_pId599
extMemAcc_pId600_pId600
extMemAcc_pId601_pId601
extMemAcc_pId602_pId602
extMemAcc_pId603_pId603
extMemAcc_pId604_pId604
extMemAcc_pId605_pId605
extMemAcc_pId606_pId606
extMemAcc_pId607_pId607
extMemAcc_pId608_pId608
extMemAcc_pId609_pId609
extMemAcc_pId610_pId610
extMemAcc_pId611_pId611
extMemAcc_pId612_pId612
extMemAcc_pId613_pId613
extMemAcc_pId614_pId614
extMemAcc_pId615_pId615
extMemAcc_pId616_pId616
extMemAcc_pId617_pId617
extMemAcc_pId618_pId618
extMemAcc_pId619_pId619
extMemAcc_pId620_pId620
extMemAcc_pId621_pId621
extMemAcc_pId622_pId622
extMemAcc_pId623_pId623
extMemAcc_pId624_pId624
extMemAcc_pId625_pId625
extMemAcc_pId626_pId626
extMemAcc_pId627_pId627
extMemAcc_pId628_pId628
extMemAcc_pId629_pId629
extMemAcc_pId630_pId630
extMemAcc_pId631_pId631
extMemAcc_pId632_pId632
extMemAcc_pId633_pId633
extMemAcc_pId634_pId634
extMemAcc_pId635_pId635
extMemAcc_pId636_pId636
extMemAcc_pId637_pId637
extMemAcc_pId638_pId638
extMemAcc_pId639_pId639
extMemAcc_pId640_pId640
extMemAcc_pId641_pId641
extMemAcc_pId642_pId642
extMemAcc_pId643_pId643
extMemAcc_pId644_pId644
extMemAcc_pId645_pId645
extMemAcc_pId646_pId646
extMemAcc_pId647_pId647
extMemAcc_pId648_pId648
extMemAcc_pId649_pId649
extMemAcc_pId650_pId650
extMemAcc_pId651_pId651
extMemAcc_pId652_pId652
extMemAcc_pId653_pId653
extMemAcc_pId654_pId654
extMemAcc_pId655_pId655
extMemAcc_pId656_pId656
extMemAcc_pId657_pId657
extMemAcc_pId658_pId658
extMemAcc_pId659_pId659
extMemAcc_pId660_pId660
extMemAcc_pId661_pId661
extMemAcc_pId662_pId662
extMemAcc_pId663_pId663
extMemAcc_pId664_pId664
extMemAcc_pId665_pId665
extMemAcc_pId666_pId666
extMemAcc_pId667_pId667
extMemAcc_pId668_pId668
extMemAcc_pId669_pId669
extMemAcc_pId670_pId670
extMemAcc_pId671_pId671
extMemAcc_pId672_pId672
extMemAcc_pId673_pId673
extMemAcc_pId674_pId674
extMemAcc_pId675_pId675
extMemAcc_pId676_pId676
extMemAcc_pId677_pId677
extMemAcc_pId678_pId678
extMemAcc_pId679_pId679
extMemAcc_pId680_pId680
extMemAcc_pId681_pId681
extMemAcc_pId682_pId682
extMemAcc_pId683_pId683
extMemAcc_pId684_pId684
extMemAcc_pId685_pId685
extMemAcc_pId686_pId686
extMemAcc_pId687_pId687
extMemAcc_pId688_pId688
extMemAcc_pId689_pId689
extMemAcc_pId690_pId690
extMemAcc_pId346_pId346
extMemAcc_pId347_pId347
extMemAcc_pId348_pId348
extMemAcc_pId349_pId349
extMemAcc_pId350_pId350
extMemAcc_pId351_pId351
extMemAcc_pId352_pId352
extMemAcc_pId353_pId353
extMemAcc_pId354_pId354
extMemAcc_pId355_pId355
extMemAcc_pId356_pId356
extMemAcc_pId357_pId357
extMemAcc_pId358_pId358
extMemAcc_pId359_pId359
extMemAcc_pId360_pId360
extMemAcc_pId361_pId361
extMemAcc_pId362_pId362
extMemAcc_pId363_pId363
extMemAcc_pId364_pId364
extMemAcc_pId365_pId365
extMemAcc_pId366_pId366
extMemAcc_pId367_pId367
extMemAcc_pId368_pId368
extMemAcc_pId369_pId369
extMemAcc_pId370_pId370
extMemAcc_pId371_pId371
extMemAcc_pId372_pId372
extMemAcc_pId373_pId373
extMemAcc_pId374_pId374
extMemAcc_pId375_pId375
extMemAcc_pId376_pId376
extMemAcc_pId377_pId377
extMemAcc_pId378_pId378
extMemAcc_pId379_pId379
extMemAcc_pId380_pId380
extMemAcc_pId381_pId381
extMemAcc_pId382_pId382
extMemAcc_pId383_pId383
extMemAcc_pId384_pId384
extMemAcc_pId385_pId385
extMemAcc_pId386_pId386
extMemAcc_pId387_pId387
extMemAcc_pId388_pId388
extMemAcc_pId389_pId389
extMemAcc_pId390_pId390
extMemAcc_pId391_pId391
extMemAcc_pId392_pId392
extMemAcc_pId393_pId393
extMemAcc_pId394_pId394
extMemAcc_pId395_pId395
extMemAcc_pId396_pId396
extMemAcc_pId397_pId397
extMemAcc_pId398_pId398
extMemAcc_pId399_pId399
extMemAcc_pId400_pId400
extMemAcc_pId401_pId401
extMemAcc_pId402_pId402
extMemAcc_pId403_pId403
extMemAcc_pId404_pId404
extMemAcc_pId405_pId405
extMemAcc_pId406_pId406
extMemAcc_pId407_pId407
extMemAcc_pId408_pId408
extMemAcc_pId409_pId409
extMemAcc_pId410_pId410
extMemAcc_pId411_pId411
extMemAcc_pId412_pId412
extMemAcc_pId413_pId413
extMemAcc_pId414_pId414
extMemAcc_pId415_pId415
extMemAcc_pId416_pId416
extMemAcc_pId417_pId417
extMemAcc_pId418_pId418
extMemAcc_pId419_pId419
extMemAcc_pId420_pId420
extMemAcc_pId421_pId421
extMemAcc_pId422_pId422
extMemAcc_pId423_pId423
extMemAcc_pId424_pId424
extMemAcc_pId425_pId425
extMemAcc_pId426_pId426
extMemAcc_pId427_pId427
extMemAcc_pId428_pId428
extMemAcc_pId429_pId429
extMemAcc_pId430_pId430
extMemAcc_pId431_pId431
extMemAcc_pId432_pId432
extMemAcc_pId433_pId433
extMemAcc_pId434_pId434
extMemAcc_pId435_pId435
extMemAcc_pId436_pId436
extMemAcc_pId437_pId437
extMemAcc_pId438_pId438
extMemAcc_pId439_pId439
extMemAcc_pId440_pId440
extMemAcc_pId441_pId441
extMemAcc_pId442_pId442
extMemAcc_pId443_pId443
extMemAcc_pId444_pId444
extMemAcc_pId445_pId445
extMemAcc_pId446_pId446
extMemAcc_pId447_pId447
extMemAcc_pId448_pId448
extMemAcc_pId449_pId449
extMemAcc_pId450_pId450
extMemAcc_pId451_pId451
extMemAcc_pId452_pId452
extMemAcc_pId453_pId453
extMemAcc_pId454_pId454
extMemAcc_pId455_pId455
extMemAcc_pId456_pId456
extMemAcc_pId457_pId457
extMemAcc_pId458_pId458
extMemAcc_pId459_pId459
extMemAcc_pId460_pId460
extMemAcc_pId461_pId461
extMemAcc_pId462_pId462
extMemAcc_pId463_pId463
extMemAcc_pId464_pId464
extMemAcc_pId465_pId465
extMemAcc_pId466_pId466
extMemAcc_pId467_pId467
extMemAcc_pId468_pId468
extMemAcc_pId469_pId469
extMemAcc_pId470_pId470
extMemAcc_pId471_pId471
extMemAcc_pId472_pId472
extMemAcc_pId473_pId473
extMemAcc_pId474_pId474
extMemAcc_pId475_pId475
extMemAcc_pId476_pId476
extMemAcc_pId477_pId477
extMemAcc_pId478_pId478
extMemAcc_pId479_pId479
extMemAcc_pId480_pId480
extMemAcc_pId481_pId481
extMemAcc_pId482_pId482
extMemAcc_pId483_pId483
extMemAcc_pId484_pId484
extMemAcc_pId485_pId485
extMemAcc_pId486_pId486
extMemAcc_pId487_pId487
extMemAcc_pId488_pId488
extMemAcc_pId489_pId489
extMemAcc_pId490_pId490
extMemAcc_pId491_pId491
extMemAcc_pId492_pId492
extMemAcc_pId493_pId493
extMemAcc_pId494_pId494
extMemAcc_pId495_pId495
extMemAcc_pId496_pId496
extMemAcc_pId497_pId497
extMemAcc_pId498_pId498
extMemAcc_pId499_pId499
extMemAcc_pId500_pId500
extMemAcc_pId501_pId501
extMemAcc_pId502_pId502
extMemAcc_pId503_pId503
extMemAcc_pId504_pId504
extMemAcc_pId505_pId505
extMemAcc_pId506_pId506
extMemAcc_pId507_pId507
extMemAcc_pId508_pId508
extMemAcc_pId509_pId509
extMemAcc_pId510_pId510
extMemAcc_pId511_pId511
extMemAcc_pId512_pId512
extMemAcc_pId513_pId513
extMemAcc_pId514_pId514
extMemAcc_pId515_pId515
extMemAcc_pId516_pId516
extMemAcc_pId517_pId517
extMemAcc_pId518_pId518
extMemAcc_pId519_pId519
extMemAcc_pId520_pId520
extMemAcc_pId521_pId521
extMemAcc_pId522_pId522
extMemAcc_pId523_pId523
extMemAcc_pId691_pId691
extMemAcc_pId692_pId692
extMemAcc_pId693_pId693
extMemAcc_pId694_pId694
extMemAcc_pId695_pId695
extMemAcc_pId696_pId696
extMemAcc_pId697_pId697
extMemAcc_pId698_pId698
extMemAcc_pId699_pId699
extMemAcc_pId700_pId700
extMemAcc_pId701_pId701
extMemAcc_pId702_pId702
extMemAcc_pId703_pId703
extMemAcc_pId704_pId704
extMemAcc_pId705_pId705
extMemAcc_pId706_pId706
extMemAcc_pId707_pId707
extMemAcc_pId708_pId708
extMemAcc_pId709_pId709
extMemAcc_pId710_pId710
extMemAcc_pId711_pId711
extMemAcc_pId712_pId712
extMemAcc_pId713_pId713
extMemAcc_pId714_pId714
extMemAcc_pId715_pId715
extMemAcc_pId716_pId716
extMemAcc_pId717_pId717
extMemAcc_pId718_pId718
extMemAcc_pId719_pId719
extMemAcc_pId720_pId720
extMemAcc_pId721_pId721
extMemAcc_pId722_pId722
extMemAcc_pId723_pId723
extMemAcc_pId724_pId724
extMemAcc_pId725_pId725
extMemAcc_pId726_pId726
extMemAcc_pId727_pId727
extMemAcc_pId728_pId728
extMemAcc_pId729_pId729
extMemAcc_pId730_pId730
extMemAcc_pId731_pId731
extMemAcc_pId732_pId732
extMemAcc_pId733_pId733
extMemAcc_pId734_pId734
extMemAcc_pId735_pId735
extMemAcc_pId736_pId736
extMemAcc_pId737_pId737
extMemAcc_pId738_pId738
extMemAcc_pId739_pId739
extMemAcc_pId740_pId740
extMemAcc_pId741_pId741
extMemAcc_pId742_pId742
extMemAcc_pId743_pId743
extMemAcc_pId744_pId744
extMemAcc_pId745_pId745
extMemAcc_pId746_pId746
extMemAcc_pId747_pId747
extMemAcc_pId748_pId748
extMemAcc_pId749_pId749
extMemAcc_pId750_pId750
extMemAcc_pId751_pId751
extMemAcc_pId752_pId752
extMemAcc_pId753_pId753
extMemAcc_pId754_pId754
extMemAcc_pId755_pId755
extMemAcc_pId756_pId756
extMemAcc_pId757_pId757
extMemAcc_pId758_pId758
extMemAcc_pId759_pId759
extMemAcc_pId760_pId760
extMemAcc_pId761_pId761
extMemAcc_pId762_pId762
extMemAcc_pId763_pId763
extMemAcc_pId764_pId764
extMemAcc_pId765_pId765
extMemAcc_pId766_pId766
extMemAcc_pId767_pId767
extMemAcc_pId768_pId768
extMemAcc_pId769_pId769
extMemAcc_pId770_pId770
extMemAcc_pId771_pId771
extMemAcc_pId772_pId772
extMemAcc_pId773_pId773
extMemAcc_pId774_pId774
extMemAcc_pId775_pId775
extMemAcc_pId776_pId776
extMemAcc_pId777_pId777
extMemAcc_pId778_pId778
extMemAcc_pId779_pId779
extMemAcc_pId780_pId780
extMemAcc_pId781_pId781
extMemAcc_pId782_pId782
extMemAcc_pId783_pId783
extMemAcc_pId784_pId784
extMemAcc_pId785_pId785
extMemAcc_pId786_pId786
extMemAcc_pId787_pId787
extMemAcc_pId788_pId788
extMemAcc_pId789_pId789
extMemAcc_pId790_pId790
extMemAcc_pId791_pId791
extMemAcc_pId792_pId792
extMemAcc_pId793_pId793
extMemAcc_pId794_pId794
extMemAcc_pId795_pId795
extMemAcc_pId796_pId796
extMemAcc_pId797_pId797
extMemAcc_pId798_pId798
extMemAcc_pId799_pId799
extMemAcc_pId800_pId800
extMemAcc_pId801_pId801
extMemAcc_pId802_pId802
extMemAcc_pId803_pId803
extMemAcc_pId804_pId804
extMemAcc_pId805_pId805
extMemAcc_pId806_pId806
extMemAcc_pId807_pId807
extMemAcc_pId808_pId808
extMemAcc_pId809_pId809
extMemAcc_pId810_pId810
extMemAcc_pId811_pId811
extMemAcc_pId812_pId812
extMemAcc_pId813_pId813
extMemAcc_pId814_pId814
extMemAcc_pId815_pId815
extMemAcc_pId816_pId816
extMemAcc_pId817_pId817
extMemAcc_pId818_pId818
extMemAcc_pId819_pId819
extMemAcc_pId820_pId820
extMemAcc_pId821_pId821
extMemAcc_pId822_pId822
extMemAcc_pId823_pId823
extMemAcc_pId824_pId824
extMemAcc_pId825_pId825
extMemAcc_pId826_pId826
extMemAcc_pId827_pId827
extMemAcc_pId828_pId828
extMemAcc_pId829_pId829
extMemAcc_pId830_pId830
extMemAcc_pId831_pId831
extMemAcc_pId832_pId832
extMemAcc_pId833_pId833
extMemAcc_pId834_pId834
extMemAcc_pId835_pId835
extMemAcc_pId836_pId836
extMemAcc_pId837_pId837
extMemAcc_pId838_pId838
extMemAcc_pId839_pId839
extMemAcc_pId840_pId840
extMemAcc_pId841_pId841
extMemAcc_pId842_pId842
extMemAcc_pId843_pId843
extMemAcc_pId844_pId844
extMemAcc_pId845_pId845
extMemAcc_pId846_pId846
extMemAcc_pId847_pId847
extMemAcc_pId848_pId848
extMemAcc_pId849_pId849
extMemAcc_pId850_pId850
extMemAcc_pId851_pId851
extMemAcc_pId852_pId852
extMemAcc_pId853_pId853
extMemAcc_pId854_pId854
extMemAcc_pId855_pId855
extMemAcc_pId856_pId856
extMemAcc_pId857_pId857
extMemAcc_pId858_pId858
extMemAcc_pId859_pId859
extMemAcc_pId860_pId860
extMemAcc_pId861_pId861
extMemAcc_pId862_pId862
extMemAcc_pId863_pId863
extMemAcc_pId864_pId864
extMemAcc_pId865_pId865
extMemAcc_pId866_pId866
extMemAcc_pId867_pId867
extMemAcc_pId868_pId868
extMemAcc_pId869_pId869
extMemAcc_pId870_pId870
extMemAcc_pId871_pId871
extMemAcc_pId872_pId872
extMemAcc_pId873_pId873
extMemAcc_pId874_pId874
extMemAcc_pId875_pId875
extMemAcc_pId876_pId876
extMemAcc_pId877_pId877
extMemAcc_pId878_pId878
extMemAcc_pId879_pId879
extMemAcc_pId880_pId880
extMemAcc_pId881_pId881
extMemAcc_pId882_pId882
extMemAcc_pId883_pId883
extMemAcc_pId884_pId884
extMemAcc_pId885_pId885
extMemAcc_pId886_pId886
extMemAcc_pId887_pId887
extMemAcc_pId888_pId888
extMemAcc_pId889_pId889
extMemAcc_pId890_pId890
extMemAcc_pId891_pId891
extMemAcc_pId892_pId892
extMemAcc_pId893_pId893
extMemAcc_pId894_pId894
extMemAcc_pId895_pId895
extMemAcc_pId896_pId896
extMemAcc_pId897_pId897
extMemAcc_pId898_pId898
extMemAcc_pId899_pId899
extMemAcc_pId900_pId900
extMemAcc_pId901_pId901
extMemAcc_pId902_pId902
extMemAcc_pId903_pId903
extMemAcc_pId904_pId904
extMemAcc_pId905_pId905
extMemAcc_pId906_pId906
extMemAcc_pId907_pId907
extMemAcc_pId908_pId908
extMemAcc_pId909_pId909
extMemAcc_pId910_pId910
extMemAcc_pId911_pId911
extMemAcc_pId912_pId912
extMemAcc_pId913_pId913
extMemAcc_pId914_pId914
extMemAcc_pId915_pId915
extMemAcc_pId916_pId916
extMemAcc_pId917_pId917
extMemAcc_pId918_pId918
extMemAcc_pId919_pId919
extMemAcc_pId920_pId920
extMemAcc_pId921_pId921
extMemAcc_pId922_pId922
extMemAcc_pId923_pId923
extMemAcc_pId924_pId924
extMemAcc_pId925_pId925
extMemAcc_pId926_pId926
extMemAcc_pId927_pId927
extMemAcc_pId928_pId928
extMemAcc_pId929_pId929
extMemAcc_pId930_pId930
extMemAcc_pId931_pId931
extMemAcc_pId932_pId932
extMemAcc_pId933_pId933
extMemAcc_pId934_pId934
extMemAcc_pId935_pId935
extMemAcc_pId936_pId936
extMemAcc_pId937_pId937
extMemAcc_pId938_pId938
extMemAcc_pId939_pId939
extMemAcc_pId940_pId940
extMemAcc_pId941_pId941
extMemAcc_pId942_pId942
extMemAcc_pId943_pId943
extMemAcc_pId944_pId944
extMemAcc_pId945_pId945
extMemAcc_pId946_pId946
extMemAcc_pId947_pId947
extMemAcc_pId948_pId948
extMemAcc_pId949_pId949
extMemAcc_pId950_pId950
extMemAcc_pId951_pId951
extMemAcc_pId952_pId952
extMemAcc_pId953_pId953
extMemAcc_pId954_pId954
extMemAcc_pId955_pId955
extMemAcc_pId956_pId956
extMemAcc_pId957_pId957
extMemAcc_pId958_pId958
extMemAcc_pId959_pId959
extMemAcc_pId960_pId960
extMemAcc_pId961_pId961
extMemAcc_pId962_pId962
extMemAcc_pId963_pId963
extMemAcc_pId964_pId964
extMemAcc_pId965_pId965
extMemAcc_pId966_pId966
extMemAcc_pId967_pId967
extMemAcc_pId968_pId968
extMemAcc_pId969_pId969
extMemAcc_pId970_pId970
extMemAcc_pId971_pId971
extMemAcc_pId972_pId972
extMemAcc_pId973_pId973
extMemAcc_pId974_pId974
extMemAcc_pId975_pId975
extMemAcc_pId976_pId976
extMemAcc_pId977_pId977
extMemAcc_pId978_pId978
extMemAcc_pId979_pId979
extMemAcc_pId980_pId980
extMemAcc_pId981_pId981
extMemAcc_pId982_pId982
extMemAcc_pId983_pId983
extMemAcc_pId984_pId984
extMemAcc_pId985_pId985
extMemAcc_pId986_pId986
extMemAcc_pId987_pId987
extMemAcc_pId988_pId988
extMemAcc_pId989_pId989
extMemAcc_pId990_pId990
extMemAcc_pId991_pId991
extMemAcc_pId992_pId992
extMemAcc_pId993_pId993
extMemAcc_pId994_pId994
extMemAcc_pId995_pId995
extMemAcc_pId996_pId996
extMemAcc_pId997_pId997
extMemAcc_pId998_pId998
extMemAcc_pId999_pId999
extMemAcc_pId1000_pId1000

The net has transition(s) that can never fire:
endExtAcc_0_0
endExtAcc_1_1
endExtAcc_2_2
endExtAcc_3_3
endExtAcc_4_4
endExtAcc_5_5
endExtAcc_6_6
endExtAcc_31_31
endExtAcc_15_15
endExtAcc_7_7
endExtAcc_8_8
endExtAcc_16_16
endExtAcc_9_9
endExtAcc_10_10
endExtAcc_11_11
endExtAcc_12_12
endExtAcc_13_13
endExtAcc_14_14
endExtAcc_128_128
endExtAcc_64_64
endExtAcc_32_32
endExtAcc_17_17
endExtAcc_18_18
endExtAcc_19_19
endExtAcc_20_20
endExtAcc_21_21
endExtAcc_43_43
endExtAcc_22_22
endExtAcc_23_23
endExtAcc_24_24
endExtAcc_25_25
endExtAcc_26_26
endExtAcc_27_27
endExtAcc_28_28
endExtAcc_29_29
endExtAcc_30_30
endExtAcc_129_129
endExtAcc_130_130
endExtAcc_65_65
endExtAcc_66_66
endExtAcc_33_33
endExtAcc_34_34
endExtAcc_35_35
endExtAcc_36_36
endExtAcc_37_37
endExtAcc_38_38
endExtAcc_39_39
endExtAcc_40_40
endExtAcc_41_41
endExtAcc_42_42
endExtAcc_87_87
endExtAcc_88_88
endExtAcc_44_44
endExtAcc_45_45
endExtAcc_46_46
endExtAcc_47_47
endExtAcc_48_48
endExtAcc_49_49
endExtAcc_50_50
endExtAcc_51_51
endExtAcc_52_52
endExtAcc_53_53
endExtAcc_54_54
endExtAcc_55_55
endExtAcc_56_56
endExtAcc_57_57
endExtAcc_58_58
endExtAcc_59_59
endExtAcc_60_60
endExtAcc_61_61
endExtAcc_62_62
endExtAcc_63_63
endExtAcc_260_260
endExtAcc_261_261
endExtAcc_262_262
endExtAcc_263_263
endExtAcc_264_264
endExtAcc_131_131
endExtAcc_132_132
endExtAcc_133_133
endExtAcc_67_67
endExtAcc_68_68
endExtAcc_69_69
endExtAcc_70_70
endExtAcc_71_71
endExtAcc_72_72
endExtAcc_73_73
endExtAcc_74_74
endExtAcc_75_75
endExtAcc_76_76
endExtAcc_77_77
endExtAcc_78_78
endExtAcc_79_79
endExtAcc_80_80
endExtAcc_81_81
endExtAcc_82_82
endExtAcc_83_83
endExtAcc_84_84
endExtAcc_85_85
endExtAcc_86_86
endExtAcc_174_174
endExtAcc_175_175
endExtAcc_176_176
endExtAcc_177_177
endExtAcc_89_89
endExtAcc_90_90
endExtAcc_91_91
endExtAcc_92_92
endExtAcc_93_93
endExtAcc_94_94
endExtAcc_95_95
endExtAcc_96_96
endExtAcc_97_97
endExtAcc_98_98
endExtAcc_99_99
endExtAcc_100_100
endExtAcc_101_101
endExtAcc_102_102
endExtAcc_103_103
endExtAcc_104_104
endExtAcc_105_105
endExtAcc_106_106
endExtAcc_107_107
endExtAcc_108_108
endExtAcc_109_109
endExtAcc_110_110
endExtAcc_111_111
endExtAcc_112_112
endExtAcc_113_113
endExtAcc_114_114
endExtAcc_115_115
endExtAcc_116_116
endExtAcc_117_117
endExtAcc_118_118
endExtAcc_119_119
endExtAcc_120_120
endExtAcc_121_121
endExtAcc_122_122
endExtAcc_123_123
endExtAcc_124_124
endExtAcc_125_125
endExtAcc_126_126
endExtAcc_127_127
endExtAcc_256_256
endExtAcc_512_512
endExtAcc_522_522
endExtAcc_523_523
endExtAcc_524_524
endExtAcc_525_525
endExtAcc_526_526
endExtAcc_527_527
endExtAcc_528_528
endExtAcc_529_529
endExtAcc_530_530
endExtAcc_531_531
endExtAcc_265_265
endExtAcc_266_266
endExtAcc_267_267
endExtAcc_268_268
endExtAcc_269_269
endExtAcc_134_134
endExtAcc_135_135
endExtAcc_136_136
endExtAcc_137_137
endExtAcc_138_138
endExtAcc_139_139
endExtAcc_140_140
endExtAcc_141_141
endExtAcc_142_142
endExtAcc_143_143
endExtAcc_144_144
endExtAcc_145_145
endExtAcc_146_146
endExtAcc_147_147
endExtAcc_148_148
endExtAcc_149_149
endExtAcc_150_150
endExtAcc_151_151
endExtAcc_152_152
endExtAcc_153_153
endExtAcc_154_154
endExtAcc_155_155
endExtAcc_156_156
endExtAcc_157_157
endExtAcc_158_158
endExtAcc_159_159
endExtAcc_160_160
endExtAcc_161_161
endExtAcc_162_162
endExtAcc_163_163
endExtAcc_164_164
endExtAcc_165_165
endExtAcc_166_166
endExtAcc_167_167
endExtAcc_168_168
endExtAcc_169_169
endExtAcc_170_170
endExtAcc_171_171
endExtAcc_172_172
endExtAcc_173_173
endExtAcc_349_349
endExtAcc_350_350
endExtAcc_351_351
endExtAcc_352_352
endExtAcc_353_353
endExtAcc_354_354
endExtAcc_355_355
endExtAcc_356_356
endExtAcc_178_178
endExtAcc_179_179
endExtAcc_180_180
endExtAcc_181_181
endExtAcc_182_182
endExtAcc_183_183
endExtAcc_184_184
endExtAcc_185_185
endExtAcc_186_186
endExtAcc_187_187
endExtAcc_188_188
endExtAcc_189_189
endExtAcc_190_190
endExtAcc_191_191
endExtAcc_192_192
endExtAcc_193_193
endExtAcc_194_194
endExtAcc_195_195
endExtAcc_196_196
endExtAcc_197_197
endExtAcc_198_198
endExtAcc_199_199
endExtAcc_200_200
endExtAcc_201_201
endExtAcc_202_202
endExtAcc_203_203
endExtAcc_204_204
endExtAcc_205_205
endExtAcc_206_206
endExtAcc_207_207
endExtAcc_208_208
endExtAcc_209_209
endExtAcc_210_210
endExtAcc_211_211
endExtAcc_212_212
endExtAcc_213_213
endExtAcc_214_214
endExtAcc_215_215
endExtAcc_216_216
endExtAcc_217_217
endExtAcc_218_218
endExtAcc_219_219
endExtAcc_220_220
endExtAcc_221_221
endExtAcc_222_222
endExtAcc_223_223
endExtAcc_224_224
endExtAcc_225_225
endExtAcc_226_226
endExtAcc_227_227
endExtAcc_228_228
endExtAcc_229_229
endExtAcc_230_230
endExtAcc_231_231
endExtAcc_232_232
endExtAcc_233_233
endExtAcc_234_234
endExtAcc_235_235
endExtAcc_236_236
endExtAcc_237_237
endExtAcc_238_238
endExtAcc_239_239
endExtAcc_240_240
endExtAcc_241_241
endExtAcc_242_242
endExtAcc_243_243
endExtAcc_244_244
endExtAcc_245_245
endExtAcc_246_246
endExtAcc_247_247
endExtAcc_248_248
endExtAcc_249_249
endExtAcc_250_250
endExtAcc_251_251
endExtAcc_252_252
endExtAcc_253_253
endExtAcc_254_254
endExtAcc_255_255
endExtAcc_257_257
endExtAcc_258_258
endExtAcc_259_259
endExtAcc_532_532
endExtAcc_533_533
endExtAcc_534_534
endExtAcc_535_535
endExtAcc_536_536
endExtAcc_537_537
endExtAcc_538_538
endExtAcc_539_539
endExtAcc_540_540
endExtAcc_541_541
endExtAcc_270_270
endExtAcc_271_271
endExtAcc_272_272
endExtAcc_273_273
endExtAcc_274_274
endExtAcc_275_275
endExtAcc_276_276
endExtAcc_277_277
endExtAcc_278_278
endExtAcc_279_279
endExtAcc_280_280
endExtAcc_281_281
endExtAcc_282_282
endExtAcc_283_283
endExtAcc_284_284
endExtAcc_285_285
endExtAcc_286_286
endExtAcc_287_287
endExtAcc_288_288
endExtAcc_289_289
endExtAcc_290_290
endExtAcc_291_291
endExtAcc_292_292
endExtAcc_293_293
endExtAcc_294_294
endExtAcc_295_295
endExtAcc_296_296
endExtAcc_297_297
endExtAcc_298_298
endExtAcc_299_299
endExtAcc_300_300
endExtAcc_301_301
endExtAcc_302_302
endExtAcc_303_303
endExtAcc_304_304
endExtAcc_305_305
endExtAcc_306_306
endExtAcc_307_307
endExtAcc_308_308
endExtAcc_309_309
endExtAcc_310_310
endExtAcc_311_311
endExtAcc_312_312
endExtAcc_313_313
endExtAcc_314_314
endExtAcc_315_315
endExtAcc_316_316
endExtAcc_317_317
endExtAcc_318_318
endExtAcc_319_319
endExtAcc_320_320
endExtAcc_321_321
endExtAcc_322_322
endExtAcc_323_323
endExtAcc_324_324
endExtAcc_325_325
endExtAcc_326_326
endExtAcc_327_327
endExtAcc_328_328
endExtAcc_329_329
endExtAcc_330_330
endExtAcc_331_331
endExtAcc_332_332
endExtAcc_333_333
endExtAcc_334_334
endExtAcc_335_335
endExtAcc_336_336
endExtAcc_337_337
endExtAcc_338_338
endExtAcc_339_339
endExtAcc_340_340
endExtAcc_341_341
endExtAcc_342_342
endExtAcc_343_343
endExtAcc_344_344
endExtAcc_345_345
endExtAcc_346_346
endExtAcc_347_347
endExtAcc_348_348
endExtAcc_698_698
endExtAcc_699_699
endExtAcc_700_700
endExtAcc_701_701
endExtAcc_702_702
endExtAcc_703_703
endExtAcc_704_704
endExtAcc_705_705
endExtAcc_706_706
endExtAcc_707_707
endExtAcc_708_708
endExtAcc_709_709
endExtAcc_710_710
endExtAcc_711_711
endExtAcc_712_712
endExtAcc_713_713
endExtAcc_357_357
endExtAcc_358_358
endExtAcc_359_359
endExtAcc_360_360
endExtAcc_361_361
endExtAcc_362_362
endExtAcc_363_363
endExtAcc_364_364
endExtAcc_365_365
endExtAcc_366_366
endExtAcc_367_367
endExtAcc_368_368
endExtAcc_369_369
endExtAcc_370_370
endExtAcc_371_371
endExtAcc_372_372
endExtAcc_373_373
endExtAcc_374_374
endExtAcc_375_375
endExtAcc_376_376
endExtAcc_377_377
endExtAcc_378_378
endExtAcc_379_379
endExtAcc_380_380
endExtAcc_381_381
endExtAcc_382_382
endExtAcc_383_383
endExtAcc_384_384
endExtAcc_385_385
endExtAcc_386_386
endExtAcc_387_387
endExtAcc_388_388
endExtAcc_389_389
endExtAcc_390_390
endExtAcc_391_391
endExtAcc_392_392
endExtAcc_393_393
endExtAcc_394_394
endExtAcc_395_395
endExtAcc_396_396
endExtAcc_397_397
endExtAcc_398_398
endExtAcc_399_399
endExtAcc_400_400
endExtAcc_401_401
endExtAcc_402_402
endExtAcc_403_403
endExtAcc_404_404
endExtAcc_405_405
endExtAcc_406_406
endExtAcc_407_407
endExtAcc_408_408
endExtAcc_409_409
endExtAcc_410_410
endExtAcc_411_411
endExtAcc_412_412
endExtAcc_413_413
endExtAcc_414_414
endExtAcc_415_415
endExtAcc_416_416
endExtAcc_417_417
endExtAcc_418_418
endExtAcc_419_419
endExtAcc_420_420
endExtAcc_421_421
endExtAcc_422_422
endExtAcc_423_423
endExtAcc_424_424
endExtAcc_425_425
endExtAcc_426_426
endExtAcc_427_427
endExtAcc_428_428
endExtAcc_429_429
endExtAcc_430_430
endExtAcc_431_431
endExtAcc_432_432
endExtAcc_433_433
endExtAcc_434_434
endExtAcc_435_435
endExtAcc_436_436
endExtAcc_437_437
endExtAcc_438_438
endExtAcc_439_439
endExtAcc_440_440
endExtAcc_441_441
endExtAcc_442_442
endExtAcc_443_443
endExtAcc_444_444
endExtAcc_445_445
endExtAcc_446_446
endExtAcc_447_447
endExtAcc_448_448
endExtAcc_449_449
endExtAcc_450_450
endExtAcc_451_451
endExtAcc_452_452
endExtAcc_453_453
endExtAcc_454_454
endExtAcc_455_455
endExtAcc_456_456
endExtAcc_457_457
endExtAcc_458_458
endExtAcc_459_459
endExtAcc_460_460
endExtAcc_461_461
endExtAcc_462_462
endExtAcc_463_463
endExtAcc_464_464
endExtAcc_465_465
endExtAcc_466_466
endExtAcc_467_467
endExtAcc_468_468
endExtAcc_469_469
endExtAcc_470_470
endExtAcc_471_471
endExtAcc_472_472
endExtAcc_473_473
endExtAcc_474_474
endExtAcc_475_475
endExtAcc_476_476
endExtAcc_477_477
endExtAcc_478_478
endExtAcc_479_479
endExtAcc_480_480
endExtAcc_481_481
endExtAcc_482_482
endExtAcc_483_483
endExtAcc_484_484
endExtAcc_485_485
endExtAcc_486_486
endExtAcc_487_487
endExtAcc_488_488
endExtAcc_489_489
endExtAcc_490_490
endExtAcc_491_491
endExtAcc_492_492
endExtAcc_493_493
endExtAcc_494_494
endExtAcc_495_495
endExtAcc_496_496
endExtAcc_497_497
endExtAcc_498_498
endExtAcc_499_499
endExtAcc_500_500
endExtAcc_501_501
endExtAcc_502_502
endExtAcc_503_503
endExtAcc_504_504
endExtAcc_505_505
endExtAcc_506_506
endExtAcc_507_507
endExtAcc_508_508
endExtAcc_509_509
endExtAcc_510_510
endExtAcc_511_511
endExtAcc_513_513
endExtAcc_514_514
endExtAcc_515_515
endExtAcc_516_516
endExtAcc_517_517
endExtAcc_518_518
endExtAcc_519_519
endExtAcc_520_520
endExtAcc_521_521
endExtAcc_542_542
endExtAcc_543_543
endExtAcc_544_544
endExtAcc_545_545
endExtAcc_546_546
endExtAcc_547_547
endExtAcc_548_548
endExtAcc_549_549
endExtAcc_550_550
endExtAcc_551_551
endExtAcc_552_552
endExtAcc_553_553
endExtAcc_554_554
endExtAcc_555_555
endExtAcc_556_556
endExtAcc_557_557
endExtAcc_558_558
endExtAcc_559_559
endExtAcc_560_560
endExtAcc_561_561
endExtAcc_562_562
endExtAcc_563_563
endExtAcc_564_564
endExtAcc_565_565
endExtAcc_566_566
endExtAcc_567_567
endExtAcc_568_568
endExtAcc_569_569
endExtAcc_570_570
endExtAcc_571_571
endExtAcc_572_572
endExtAcc_573_573
endExtAcc_574_574
endExtAcc_575_575
endExtAcc_576_576
endExtAcc_577_577
endExtAcc_578_578
endExtAcc_579_579
endExtAcc_580_580
endExtAcc_581_581
endExtAcc_582_582
endExtAcc_583_583
endExtAcc_584_584
endExtAcc_585_585
endExtAcc_586_586
endExtAcc_587_587
endExtAcc_588_588
endExtAcc_589_589
endExtAcc_590_590
endExtAcc_591_591
endExtAcc_592_592
endExtAcc_593_593
endExtAcc_594_594
endExtAcc_595_595
endExtAcc_596_596
endExtAcc_597_597
endExtAcc_598_598
endExtAcc_599_599
endExtAcc_600_600
endExtAcc_601_601
endExtAcc_602_602
endExtAcc_603_603
endExtAcc_604_604
endExtAcc_605_605
endExtAcc_606_606
endExtAcc_607_607
endExtAcc_608_608
endExtAcc_609_609
endExtAcc_610_610
endExtAcc_611_611
endExtAcc_612_612
endExtAcc_613_613
endExtAcc_614_614
endExtAcc_615_615
endExtAcc_616_616
endExtAcc_617_617
endExtAcc_618_618
endExtAcc_619_619
endExtAcc_620_620
endExtAcc_621_621
endExtAcc_622_622
endExtAcc_623_623
endExtAcc_624_624
endExtAcc_625_625
endExtAcc_626_626
endExtAcc_627_627
endExtAcc_628_628
endExtAcc_629_629
endExtAcc_630_630
endExtAcc_631_631
endExtAcc_632_632
endExtAcc_633_633
endExtAcc_634_634
endExtAcc_635_635
endExtAcc_636_636
endExtAcc_637_637
endExtAcc_638_638
endExtAcc_639_639
endExtAcc_640_640
endExtAcc_641_641
endExtAcc_642_642
endExtAcc_643_643
endExtAcc_644_644
endExtAcc_645_645
endExtAcc_646_646
endExtAcc_647_647
endExtAcc_648_648
endExtAcc_649_649
endExtAcc_650_650
endExtAcc_651_651
endExtAcc_652_652
endExtAcc_653_653
endExtAcc_654_654
endExtAcc_655_655
endExtAcc_656_656
endExtAcc_657_657
endExtAcc_658_658
endExtAcc_659_659
endExtAcc_660_660
endExtAcc_661_661
endExtAcc_662_662
endExtAcc_663_663
endExtAcc_664_664
endExtAcc_665_665
endExtAcc_666_666
endExtAcc_667_667
endExtAcc_668_668
endExtAcc_669_669
endExtAcc_670_670
endExtAcc_671_671
endExtAcc_672_672
endExtAcc_673_673
endExtAcc_674_674
endExtAcc_675_675
endExtAcc_676_676
endExtAcc_677_677
endExtAcc_678_678
endExtAcc_679_679
endExtAcc_680_680
endExtAcc_681_681
endExtAcc_682_682
endExtAcc_683_683
endExtAcc_684_684
endExtAcc_685_685
endExtAcc_686_686
endExtAcc_687_687
endExtAcc_688_688
endExtAcc_689_689
endExtAcc_690_690
endExtAcc_691_691
endExtAcc_692_692
endExtAcc_693_693
endExtAcc_694_694
endExtAcc_695_695
endExtAcc_696_696
endExtAcc_697_697
endExtAcc_714_714
endExtAcc_715_715
endExtAcc_716_716
endExtAcc_717_717
endExtAcc_718_718
endExtAcc_719_719
endExtAcc_720_720
endExtAcc_721_721
endExtAcc_722_722
endExtAcc_723_723
endExtAcc_724_724
endExtAcc_725_725
endExtAcc_726_726
endExtAcc_727_727
endExtAcc_728_728
endExtAcc_729_729
endExtAcc_730_730
endExtAcc_731_731
endExtAcc_732_732
endExtAcc_733_733
endExtAcc_734_734
endExtAcc_735_735
endExtAcc_736_736
endExtAcc_737_737
endExtAcc_738_738
endExtAcc_739_739
endExtAcc_740_740
endExtAcc_741_741
endExtAcc_742_742
endExtAcc_743_743
endExtAcc_744_744
endExtAcc_745_745
endExtAcc_746_746
endExtAcc_747_747
endExtAcc_748_748
endExtAcc_749_749
endExtAcc_750_750
endExtAcc_751_751
endExtAcc_752_752
endExtAcc_753_753
endExtAcc_754_754
endExtAcc_755_755
endExtAcc_756_756
endExtAcc_757_757
endExtAcc_758_758
endExtAcc_759_759
endExtAcc_760_760
endExtAcc_761_761
endExtAcc_762_762
endExtAcc_763_763
endExtAcc_764_764
endExtAcc_765_765
endExtAcc_766_766
endExtAcc_767_767
endExtAcc_768_768
endExtAcc_769_769
endExtAcc_770_770
endExtAcc_771_771
endExtAcc_772_772
endExtAcc_773_773
endExtAcc_774_774
endExtAcc_775_775
endExtAcc_776_776
endExtAcc_777_777
endExtAcc_778_778
endExtAcc_779_779
endExtAcc_780_780
endExtAcc_781_781
endExtAcc_782_782
endExtAcc_783_783
endExtAcc_784_784
endExtAcc_785_785
endExtAcc_786_786
endExtAcc_787_787
endExtAcc_788_788
endExtAcc_789_789
endExtAcc_790_790
endExtAcc_791_791
endExtAcc_792_792
endExtAcc_793_793
endExtAcc_794_794
endExtAcc_795_795
endExtAcc_796_796
endExtAcc_797_797
endExtAcc_798_798
endExtAcc_799_799
endExtAcc_800_800
endExtAcc_801_801
endExtAcc_802_802
endExtAcc_803_803
endExtAcc_804_804
endExtAcc_805_805
endExtAcc_806_806
endExtAcc_807_807
endExtAcc_808_808
endExtAcc_809_809
endExtAcc_810_810
endExtAcc_811_811
endExtAcc_812_812
endExtAcc_813_813
endExtAcc_814_814
endExtAcc_815_815
endExtAcc_816_816
endExtAcc_817_817
endExtAcc_818_818
endExtAcc_819_819
endExtAcc_820_820
endExtAcc_821_821
endExtAcc_822_822
endExtAcc_823_823
endExtAcc_824_824
endExtAcc_825_825
endExtAcc_826_826
endExtAcc_827_827
endExtAcc_828_828
endExtAcc_829_829
endExtAcc_830_830
endExtAcc_831_831
endExtAcc_832_832
endExtAcc_833_833
endExtAcc_834_834
endExtAcc_835_835
endExtAcc_836_836
endExtAcc_837_837
endExtAcc_838_838
endExtAcc_839_839
endExtAcc_840_840
endExtAcc_841_841
endExtAcc_842_842
endExtAcc_843_843
endExtAcc_844_844
endExtAcc_845_845
endExtAcc_846_846
endExtAcc_847_847
endExtAcc_848_848
endExtAcc_849_849
endExtAcc_850_850
endExtAcc_851_851
endExtAcc_852_852
endExtAcc_853_853
endExtAcc_854_854
endExtAcc_855_855
endExtAcc_856_856
endExtAcc_857_857
endExtAcc_858_858
endExtAcc_859_859
endExtAcc_860_860
endExtAcc_861_861
endExtAcc_862_862
endExtAcc_863_863
endExtAcc_864_864
endExtAcc_865_865
endExtAcc_866_866
endExtAcc_867_867
endExtAcc_868_868
endExtAcc_869_869
endExtAcc_870_870
endExtAcc_871_871
endExtAcc_872_872
endExtAcc_873_873
endExtAcc_874_874
endExtAcc_875_875
endExtAcc_876_876
endExtAcc_877_877
endExtAcc_878_878
endExtAcc_879_879
endExtAcc_880_880
endExtAcc_881_881
endExtAcc_882_882
endExtAcc_883_883
endExtAcc_884_884
endExtAcc_885_885
endExtAcc_886_886
endExtAcc_887_887
endExtAcc_888_888
endExtAcc_889_889
endExtAcc_890_890
endExtAcc_891_891
endExtAcc_892_892
endExtAcc_893_893
endExtAcc_894_894
endExtAcc_895_895
endExtAcc_896_896
endExtAcc_897_897
endExtAcc_898_898
endExtAcc_899_899
endExtAcc_900_900
endExtAcc_901_901
endExtAcc_902_902
endExtAcc_903_903
endExtAcc_904_904
endExtAcc_905_905
endExtAcc_906_906
endExtAcc_907_907
endExtAcc_908_908
endExtAcc_909_909
endExtAcc_910_910
endExtAcc_911_911
endExtAcc_912_912
endExtAcc_913_913
endExtAcc_914_914
endExtAcc_915_915
endExtAcc_916_916
endExtAcc_917_917
endExtAcc_918_918
endExtAcc_919_919
endExtAcc_920_920
endExtAcc_921_921
endExtAcc_922_922
endExtAcc_923_923
endExtAcc_924_924
endExtAcc_925_925
endExtAcc_926_926
endExtAcc_927_927
endExtAcc_928_928
endExtAcc_929_929
endExtAcc_930_930
endExtAcc_931_931
endExtAcc_932_932
endExtAcc_933_933
endExtAcc_934_934
endExtAcc_935_935
endExtAcc_936_936
endExtAcc_937_937
endExtAcc_938_938
endExtAcc_939_939
endExtAcc_940_940
endExtAcc_941_941
endExtAcc_942_942
endExtAcc_943_943
endExtAcc_944_944
endExtAcc_945_945
endExtAcc_946_946
endExtAcc_947_947
endExtAcc_948_948
endExtAcc_949_949
endExtAcc_950_950
endExtAcc_951_951
endExtAcc_952_952
endExtAcc_953_953
endExtAcc_954_954
endExtAcc_955_955
endExtAcc_956_956
endExtAcc_957_957
endExtAcc_958_958
endExtAcc_959_959
endExtAcc_960_960
endExtAcc_961_961
endExtAcc_962_962
endExtAcc_963_963
endExtAcc_964_964
endExtAcc_965_965
endExtAcc_966_966
endExtAcc_967_967
endExtAcc_968_968
endExtAcc_969_969
endExtAcc_970_970
endExtAcc_971_971
endExtAcc_972_972
endExtAcc_973_973
endExtAcc_974_974
endExtAcc_975_975
endExtAcc_976_976
endExtAcc_977_977
endExtAcc_978_978
endExtAcc_979_979
endExtAcc_980_980
endExtAcc_981_981
endExtAcc_982_982
endExtAcc_983_983
endExtAcc_984_984
endExtAcc_985_985
endExtAcc_986_986
endExtAcc_987_987
endExtAcc_988_988
endExtAcc_989_989
endExtAcc_990_990
endExtAcc_991_991
endExtAcc_992_992
endExtAcc_993_993
endExtAcc_994_994
endExtAcc_995_995
endExtAcc_996_996
endExtAcc_997_997
endExtAcc_998_998
endExtAcc_999_999

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

/home/mcc/BenchKit/BenchKit_head.sh: line 13: 325 Killed ${TIMEOUT} marcie --net-file=model.pnml --mcc-file=${BK_EXAMINATION}.xml ${MARCIE_CONFIG}

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="S_SharedMemory-COL-001000"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/root/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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

tar xzf /home/mcc/BenchKit/INPUTS/S_SharedMemory-COL-001000.tgz
mv S_SharedMemory-COL-001000 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool marcie"
echo " Input is S_SharedMemory-COL-001000, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r185kn-smll-146444129600688"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;