fond
Model Checking Contest @ Petri Nets 2016
6th edition, Toruń, Poland, June 21, 2016
Execution of r185kn-smll-146444129600687
Last Updated
June 30, 2016

About the Execution of Marcie for S_SharedMemory-COL-001000

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
6861.360 3600000.00 3600020.00 30.00 [undef] Time out reached

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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r185kn-smll-146444129600687
=====================================================================


--------------------
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-CTLCardinality-0
FORMULA_NAME SharedMemory-COL-001000-CTLCardinality-1
FORMULA_NAME SharedMemory-COL-001000-CTLCardinality-10
FORMULA_NAME SharedMemory-COL-001000-CTLCardinality-11
FORMULA_NAME SharedMemory-COL-001000-CTLCardinality-12
FORMULA_NAME SharedMemory-COL-001000-CTLCardinality-13
FORMULA_NAME SharedMemory-COL-001000-CTLCardinality-14
FORMULA_NAME SharedMemory-COL-001000-CTLCardinality-15
FORMULA_NAME SharedMemory-COL-001000-CTLCardinality-2
FORMULA_NAME SharedMemory-COL-001000-CTLCardinality-3
FORMULA_NAME SharedMemory-COL-001000-CTLCardinality-4
FORMULA_NAME SharedMemory-COL-001000-CTLCardinality-5
FORMULA_NAME SharedMemory-COL-001000-CTLCardinality-6
FORMULA_NAME SharedMemory-COL-001000-CTLCardinality-7
FORMULA_NAME SharedMemory-COL-001000-CTLCardinality-8
FORMULA_NAME SharedMemory-COL-001000-CTLCardinality-9

=== Now, execution of the tool begins

BK_START 1464727587489


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=CTLCardinality.xml --mcc-mode --memory=6 --suppress

parse successfull
net created successfully

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

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

net check time: 0m 1.351sec

parse formulas
formulas created successfully

BK_TIME_CONFINEMENT_REACHED

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

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="CTLCardinality"
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 CTLCardinality"
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-146444129600687"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.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 ;