Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r362-smll-167891812900448.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool marciexred
Input is SemanticWebServices-PT-S256P15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r362-smll-167891812900448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 32M
-rw-r--r-- 1 mcc users 6.0K Feb 26 10:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 26 10:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 10:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 10:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 10:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 26 10:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 10:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 10:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 32M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679175996708

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=marciexred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SemanticWebServices-PT-S256P15
Applying reductions before tool marcie
Invoking reducer
Running Version 202303021504
[2023-03-18 21:46:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 21:46:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 21:46:41] [INFO ] Load time of PNML (sax parser for PT used): 2182 ms
[2023-03-18 21:46:41] [INFO ] Transformed 329 places.
[2023-03-18 21:46:41] [INFO ] Transformed 29492 transitions.
[2023-03-18 21:46:41] [INFO ] Parsed PT model containing 329 places and 29492 transitions and 267319 arcs in 2458 ms.
[2023-03-18 21:46:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 329 places, 29492 transitions and 267319 arcs took 290 ms.
Total runtime 2790 ms.
There are residual formulas that ITS could not solve within timeout
timeout --kill-after=10s --signal=SIGINT 1m for testing only

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

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

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

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

parse successfull
net created successfully

Net: _14_ont_256_15_net
(NrP: 329 NrTr: 29492 NrArc: 267319)

place and transition orderings generation:0m 8.701sec

net check time: 0m 0.049sec

CANNOT_COMPUTE


BK_STOP 1679176015770

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
check for maximal unmarked siphon
found
The net has a maximal unmarked siphon:
p291
p118
p290
p307
p315

The net has transition(s) that can never fire:
t17197
t17187
t17186
t17185
t17184
t17179
t17168
t17161
t17153
t16927
t16926
t16925
t16924
t16919
t16918
t16917
t16916
t16915
t16914
t16889
t16888
t16887
t16886
t16885
t16884
t16877
t16876
t16875
t16874
t16854
t16853
t16852
t16851
t16850
t16849
t16842
t16841
t16840
t16839
t16817
t16816
t16815
t16814
t16809
t16798
t16797
t16796
t16795
t16794
t16793
t16786
t16785
t16784
t16783
t16761
t16760
t16759
t16758
t16753
t16740
t16739
t16738
t16737
t16732
t16721
t16714
t16713
t16712
t16711
t16710
t16709
t16702
t16701
t16700
t16699
t16677
t16676
t16675
t16674
t16669
t16656
t16655
t16654
t16653
t16648
t16637
t16628
t16627
t16626
t16625
t16620
t16609
t16602
t16102
t16100
t16099
t16098
t16097
t16080
t16079
t16078
t16077
t16072
t16071
t16070
t16069
t16068
t16067
t17223
t16045
t16044
t16043
t16042
t16037
t16036
t16035
t16034
t16033
t16032
t16007
t16006
t16005
t16004
t16003
t16002
t15995
t15994
t15993
t15992
t15975
t15974
t15973
t15972
t15967
t15966
t15965
t15964
t15963
t15962
t15937
t15936
t15935
t15934
t15933
t15932
t15925
t15924
t15923
t15922
t15902
t15901
t15900
t15899
t15898
t15897
t15890
t15889
t15888
t15887
t15865
t15864
t17222
t15862
t15863
t15857
t15849
t15848
t15847
t15846
t15841
t15840
t15839
t15837
t15836
t15838
t15811
t15810
t15809
t15808
t15807
t15806
t15799
t15798
t15797
t15796
t15776
t15775
t15774
t15773
t15772
t15771
t15764
t15763
t15762
t15761
t15739
t15738
t15737
t15736
t15731
t15720
t15719
t15718
t15717
t15716
t15715
t15708
t15707
t15705
t15706
t15683
t15682
t15681
t15680
t15675
t15662
t15661
t15660
t15659
t15654
t15643
t17221
t17220
t14841
t14834
t14832
t14831
t14830
t14829
t14813
t14811
t14810
t14809
t14808
t14791
t14790
t14789
t14788
t14783
t14782
t14781
t14780
t14779
t14778
t14757
t14755
t14754
t14753
t14752
t14735
t14734
t14733
t14732
t14727
t14726
t14725
t14724
t14723
t14722
t14700
t14699
t14698
t14697
t14692
t14691
t14690
t14689
t14688
t14687
t14662
t14661
t14660
t14659
t14658
t14657
t14650
t14649
t14648
t14647
t14631
t14629
t14628
t14627
t14626
t14609
t14608
t14607
t14606
t14601
t14600
t14599
t14598
t14597
t14596
t14574
t14573
t14572
t14571
t14566
t14565
t14564
t14563
t14562
t14561
t14536
t14535
t14534
t14533
t14532
t14531
t14524
t14523
t14522
t14521
t14504
t14503
t14502
t14501
t14496
t14495
t14494
t14492
t14493
t14491
t14466
t14465
t14464
t14463
t14462
t14461
t14454
t14453
t14452
t14451
t14431
t14430
t14429
t14428
t14427
t14426
t14419
t14418
t14417
t14416
t14394
t14393
t14392
t14391
t14386
t13433
t13426
t13419
t13417
t13416
t13415
t13414
t13398
t13391
t13389
t13388
t13387
t13386
t13370
t13368
t13367
t13366
t13365
t13348
t13347
t13346
t13345
t13340
t13339
t13338
t13337
t13336
t13335
t13314
t13307
t13305
t13304
t13303
t13302
t13286
t13284
t13283
t13282
t13281
t13264
t13263
t13262
t13261
t13256
t13255
t13254
t13253
t13252
t13251
t13230
t13228
t13227
t13226
t13225
t13208
t13207
t13206
t13205
t13200
t13199
t13198
t13197
t13196
t13195
t13173
t13172
t13171
t13170
t13165
t13164
t13163
t13162
t13161
t13160
t13135
t13134
t13133
t13132
t13131
t13130
t13123
t13122
t13121
t13120
t12275
t12267
t12260
t12253
t12251
t12250
t12249
t12248
t12231
t12224
t12217
t12215
t12214
t12213
t12212
t12196
t12189
t12187
t12186
t12185
t12184
t12168
t12166
t12165
t12164
t12163
t12146
t12145
t12144
t12143
t12138
t12137
t12136
t12135
t12134
t12133
t11579
t11570
t11562
t11555
t11548
t11546
t11545
t11544
t11543
t11281
t17215
t11088
t11065
t11064
t11063
t11062
t11061
t11060
t11059
t11058
t11056
t11038
t11037
t11036
t11035
t11034
t11033
t11032
t11031
t11030
t11029
t11028
t11027
t11026
t11025
t11024
t11023
t11022
t11021
t11020
t11019
t11018
t11017
t11016
t11015
t11014
t11013
t11012
t11011
t11002
t11001
t11000
t10999
t10998
t10997
t10996
t10995
t10947
t10946
t10945
t10944
t10943
t10942
t10941
t10940
t10939
t10938
t10937
t10936
t10935
t10934
t10933
t10932
t10931
t10930
t10929
t10928
t10927
t10926
t10925
t10924
t10923
t10922
t10921
t10920
t10919
t10918
t10917
t10916
t10915
t10914
t10913
t10912
t10911
t10910
t10909
t10908
t10907
t10906
t10905
t10904
t10903
t10902
t10901
t10900
t10899
t10898
t10897
t10896
t10895
t10894
t10893
t10892
t10863
t10862
t10861
t10859
t10858
t10857
t10856
t10855
t10854
t10853
t10851
t10860
t10852
t10850
t10849
t10848
t10847
t10846
t10845
t10844
t10843
t10842
t10841
t10840
t10839
t10838
t10837
t10836
t10707
t10706
t10705
t10704
t10703
t10702
t10701
t10700
t10699
t10698
t10697
t10696
t10695
t10694
t10693
t10692
t10691
t10690
t10689
t10688
t10687
t10686
t10685
t10684
t10683
t10682
t10681
t10680
t10679
t10678
t10677
t10676
t10675
t10674
t10673
t10672
t10671
t10670
t10669
t10668
t10667
t10666
t10665
t10664
t10663
t10662
t10661
t10660
t10659
t10658
t10657
t10656
t10655
t10654
t10653
t10652
t10651
t10650
t10649
t10648
t10647
t10646
t10645
t10644
t10643
t10642
t10641
t10640
t10639
t10638
t10581
t10580
t10579
t10578
t10577
t10576
t10575
t10574
t10573
t10572
t10571
t10570
t10569
t10568
t10567
t10566
t10565
t10564
t10563
t10562
t10561
t10560
t10559
t10558
t10557
t10556
t10555
t10554
t10553
t10552
t10551
t10550
t10549
t10548
t10547
t10546
t10545
t10544
t10543
t10542
t10541
t10540
t10539
t10538
t10537
t10536
t10535
t10534
t10533
t10532
t10531
t10530
t10529
t10528
t10527
t10526
t10287
t10286
t10285
t10284
t10283
t10282
t10281
t10280
t10279
t10278
t10277
t10276
t10275
t10274
t10273
t10272
t10271
t10270
t10269
t10268
t10267
t10266
t10265
t10264
t10263
t10262
t10261
t10260
t10259
t10258
t10257
t10256
t10255
t10254
t10253
t10251
t10252
t10250
t10249
t10248
t10247
t10246
t10245
t10244
t10243
t10242
t10241
t10240
t10239
t10238
t10237
t10236
t10235
t10234
t10233
t10232
t10161
t10160
t10159
t10158
t10157
t10156
t10155
t10154
t10153
t10152
t10151
t10150
t10149
t10148
t10147
t10146
t10145
t10144
t10143
t10142
t10141
t10140
t10139
t10138
t10137
t10136
t10135
t10134
t10133
t10132
t10131
t10130
t10129
t10128
t10127
t10126
t10125
t10124
t10123
t10122
t10121
t10120
t10119
t10118
t10117
t10116
t10115
t10114
t10113
t10112
t10111
t10110
t10109
t10108
t10107
t10106
t10105
t10104
t10103
t10102
t10101
t10100
t10099
t10098
t10097
t10096
t10095
t10094
t10093
t10092
t9783
t9782
t9781
t9780
t9779
t9778
t9777
t9776
t9775
t9774
t9773
t9772
t9771
t9770
t9769
t9768
t9767
t9766
t9765
t9764
t9763
t9762
t9761
t9760
t9759
t9758
t9756
t9757
t9699
t9698
t9697
t9696
t9695
t9694
t9693
t9692
t9691
t9690
t9689
t9688
t9687
t9686
t9685
t9684
t9683
t9682
t9681
t9680
t9679
t9678
t9677
t9676
t9675
t9674
t9673
t9672
t9671
t9670
t9669
t9668
t9667
t9666
t9665
t9664
t9662
t9663
t9661
t9660
t9659
t9658
t9657
t9656
t9655
t9654
t9653
t9652
t9651
t9650
t9649
t9648
t9647
t9646
t9644
t9645
t9363
t9362
t9361
t9359
t9360
t9358
t9357
t9356
t9327
t9326
t9325
t9324
t9323
t9322
t9321
t9320
t9319
t9318
t9317
t9316
t9315
t9314
t9313
t9312
t9311
t9310
t9309
t9308
t9307
t9306
t9305
t9304
t9303
t9302
t9301
t9300
t9123
t9114
t9113
t9112
t9111
t9110
t9109
t9108
t9107
t9032
t17204
t21820
t21798
t21796
t21793
t21789
t21784
t21778
t21771
t21763
t21754
t21744
t21730
t21727
t21725
t21721
t21719
t21716
t21711
t21709
t21706
t21702
t21696
t21694
t21691
t21687
t21682
t21675
t21673
t21670
t21666
t21661
t21655
t21647
t21645
t21642
t21638
t21633
t21627
t21620
t21611
t21609
t21606
t21602
t21597
t21591
t21584
t21576
t21566
t21564
t21561
t21557
t21552
t21546
t21539
t21531
t21522
t21508
t21504
t21501
t21499
t21494
t21491
t21489
t21485
t21483
t21480
t21474
t21471
t21469
t21465
t21463
t21460
t21455
t21453
t21450
t21446
t21439
t21436
t21434
t21430
t21428
t21425
t21420
t21418
t21415
t21411
t21405
t21403
t21400
t21396
t21391
t21383
t21380
t21378
t21374
t21372
t21369
t21364
t21362
t21359
t21355
t21349
t21347
t21344
t21340
t21335
t21328
t21326
t21323
t21319
t21314
t21308
t21299
t21296
t21294
t21290
t21288
t21285
t21280
t21278
t21275
t21271
t21265
t21263
t21260
t21256
t21251
t21244
t21242
t21239
t21235
t21230
t21224
t21216
t21214
t21211
t21207
t21202
t21196
t21189
t21179
t21176
t21174
t21170
t21168
t21165
t21160
t21158
t21155
t21151
t21145
t21143
t21140
t21136
t21131
t21124
t21122
t21119
t21115
t21110
t21104
t21096
t21094
t21091
t21087
t21082
t21076
t21069
t21060
t21058
t21055
t21051
t21046
t21040
t21033
t21025
t21004
t20999
t20995
t20992
t20990
t20984
t20980
t20977
t20975
t20970
t20967
t20965
t20961
t20959
t20956
t20949
t20945
t20942
t20940
t20935
t20932
t20930
t20926
t20924
t20921
t20915
t20912
t20910
t20906
t20904
t20901
t20896
t20894
t20891
t20887
t20879
t20875
t20872
t20870
t20865
t20862
t20860
t20856
t20854
t20851
t20845
t20842
t20840
t20836
t20834
t20831
t20826
t20824
t20821
t20817
t20810
t20807
t20805
t20801
t20799
t20796
t20791
t20789
t20786
t20782
t20776
t20774
t20771
t20767
t20762
t20753
t20749
t20746
t20744
t20739
t20736
t20734
t20730
t20728
t20725
t20719
t20716
t20714
t20710
t20708
t20705
t20700
t20698
t20695
t20691
t20684
t20681
t20679
t20675
t20673
t20670
t20665
t20663
t20660
t20656
t20650
t20648
t20645
t20641
t20636
t20628
t20625
t20623
t20619
t20617
t20614
t20609
t20607
t20604
t20600
t20594
t20592
t20589
t20585
t20580
t20573
t20571
t20568
t20564
t20559
t20553
t20543
t20539
t20536
t20534
t20529
t20526
t20524
t20520
t20518
t20515
t20509
t20506
t20504
t20500
t20498
t20495
t20490
t20488
t20485
t20481
t20474
t20471
t20469
t20465
t20463
t20460
t20455
t20453
t20450
t20446
t20440
t20438
t20435
t20431
t20426
t20418
t20415
t20413
t20409
t20407
t20404
t20399
t20397
t20394
t20390
t20384
t20382
t20379
t20375
t20370
t20363
t20361
t20358
t20354
t20349
t20343
t20334
t20331
t20329
t20325
t20323
t20320
t20315
t20313
t20310
t20306
t20300
t20298
t20295
t20291
t20286
t20279
t20277
t20274
t20270
t20265
t20259
t20251
t20249
t20246
t20242
t20237
t20231
t20224
t20183
t20177
t20172
t20168
t20165
t20163
t20156
t20151
t20147
t20144
t20142
t20136
t20132
t20129
t20127
t20122
t20119
t20117
t20113
t20111
t20108
t20100
t20095
t20091
t20088
t20086
t20080
t20076
t20073
t20071
t20066
t20063
t20061
t20057
t20055
t20052
t20045
t20041
t20038
t20036
t20031
t20028
t20026
t20022
t20020
t20017
t20011
t20008
t20006
t20002
t20000
t19997
t19992
t19990
t19987
t19983
t19974
t19969
t19965
t19962
t19960
t19954
t19950
t19947
t19945
t19940
t19937
t19935
t19931
t19929
t19926
t19919
t19915
t19912
t19910
t19905
t19902
t19900
t19896
t19894
t19891
t19885
t19882
t19880
t19876
t19874
t19871
t19866
t19864
t19861
t19857
t19849
t19845
t19842
t19840
t19835
t19832
t19830
t19826
t19824
t19821
t19815
t19812
t19810
t19806
t19804
t19801
t19796
t19794
t19791
t19787
t19777
t19775
t19771
t19769
t19766
t19761
t19759
t19756
t19752
t19746
t19744
t19741
t19737
t19732
t19722
t19717
t19713
t19710
t19708
t19702
t19698
t19695
t19693
t19688
t19685
t19683
t19679
t19677
t19674
t19667
t19780
t19663
t19660
t19658
t19653
t19650
t19648
t19644
t19642
t19639
t19633
t19630
t19628
t19624
t19622
t19619
t19614
t19612
t19609
t19605
t19597
t19593
t19590
t19588
t19583
t19580
t19578
t19574
t19572
t19569
t19563
t19560
t19558
t19554
t19552
t19549
t19544
t19542
t19539
t19535
t19528
t19525
t19523
t19519
t19517
t19514
t19509
t19507
t19504
t19500
t19494
t19492
t19489
t19485
t19480
t19471
t19467
t19464
t19462
t19457
t19454
t19452
t19448
t19446
t19443
t19437
t19434
t19432
t19428
t19426
t19423
t19418
t19416
t19413
t19409
t19402
t19399
t19397
t19393
t19391
t19388
t19383
t19381
t19378
t19374
t19368
t19366
t19363
t19359
t19354
t19346
t19343
t19341
t19337
t19335
t19332
t19327
t19325
t19322
t19318
t19312
t19310
t19307
t19303
t19298
t19291
t19289
t19286
t19282
t19277
t19271
t19202
t19195
t19189
t19184
t19180
t19177
t19175
t19167
t19161
t19156
t19152
t19149
t19147
t19140
t19135
t19131
t19128
t19126
t19120
t19116
t19113
t19111
t19106
t19103
t19101
t19097
t19095
t19092
t19083
t19077
t19072
t19068
t19065
t19063
t19056
t19051
t19047
t19044
t19042
t19036
t19032
t19029
t19027
t19022
t19019
t19017
t19013
t19011
t19008
t19000
t18995
t18991
t18988
t18986
t18980
t18976
t18973
t18971
t18966
t18963
t18961
t18957
t18955
t18952
t18945
t18941
t18938
t18936
t18931
t18928
t18926
t18922
t18920
t18917
t18911
t18908
t18906
t18902
t18900
t18897
t18892
t18890
t18887
t18883
t18873
t18867
t18862
t18858
t18855
t18853
t18846
t18841
t18837
t18834
t18832
t18826
t18822
t18819
t18817
t18812
t18809
t18807
t18803
t18801
t18798
t18790
t18785
t18781
t18778
t18776
t18770
t18766
t18763
t18761
t18756
t18753
t18751
t18747
t18745
t18742
t18735
t18731
t18728
t18726
t18721
t18718
t18716
t18712
t18710
t18707
t18701
t18698
t18696
t18692
t18690
t18687
t18682
t18680
t18677
t18673
t18664
t18659
t18655
t18652
t18650
t18644
t18640
t18637
t18635
t18630
t18627
t18625
t18621
t18619
t18616
t18609
t18605
t18602
t18600
t18595
t18592
t18590
t18586
t18584
t18581
t18575
t18572
t18570
t18566
t18564
t18561
t18556
t18554
t18551
t18547
t18539
t18535
t18532
t18530
t18525
t18522
t18520
t18516
t18514
t18511
t18505
t18502
t18500
t18496
t18494
t18491
t18486
t18484
t18481
t18477
t18470
t18467
t18465
t18461
t18459
t18456
t18451
t18449
t18446
t18442
t18436
t18434
t18431
t18427
t18422
t18339
t18331
t18324
t18318
t18313
t18309
t18306
t18304
t18295
t18288
t18282
t18277
t18273
t18270
t18268
t18260
t18254
t18249
t18245
t18242
t18240
t18233
t18228
t18224
t18221
t18219
t18213
t18209
t18206
t18204
t18199
t18196
t18194
t18190
t18188
t18185
t18175
t18168
t18162
t18157
t18153
t18150
t18148
t18140
t18134
t18129
t18125
t18122
t18120
t18113
t18108
t18104
t18101
t18099
t18093
t18089
t18086
t18084
t18079
t18076
t18074
t18070
t18068
t18065
t18056
t18050
t18045
t18041
t18038
t18036
t18029
t18024
t18020
t18017
t18015
t18009
t18005
t18002
t18000
t17995
t17992
t17990
t17986
t17984
t17981
t17973
t17968
t17964
t17961
t17959
t17953
t17949
t17946
t17944
t17939
t17936
t17934
t17930
t17928
t17925
t17918
t17914
t17911
t17909
t17904
t17901
t17899
t17895
t17893
t17890
t17884
t17881
t17879
t17875
t17873
t17870
t17865
t17863
t17860
t17856
t17787
t17778
t17770
t17763
t17757
t17752
t17748
t17745
t17743
t17733
t17725
t17718
t17712
t17707
t17703
t17700
t17698
t17689
t17682
t17676
t17671
t17667
t17664
t17662
t17654
t17648
t17643
t17639
t17636
t17634
t17627
t17622
t17618
t17615
t17613
t17607
t17603
t17600
t17598
t17593
t17590
t17588
t17584
t17582
t17579
t17538
t17528
t17519
t17511
t17504
t17498
t17493
t17489
t17486
t17484
t17462
t17454
t17428
t17427
t17426
t17425
t17420
t17409
t17402
t17394
t17385
t17309
t17308
t17307
t17306
t17305
t17304
t17297
t17296
t17295
t17294
t17272
t17271
t17270
t17269
t17264
t17251
t17250
t17249
t17248
t17243
t17232
t2
t21

check for constant places
p290
p291
p315
found 3 constant places
check if there are places and transitions
ok
check if there are transitions without pre-places
The net has transition(s) without pre-places:
t6 (t6)
t7 (t7)
t8 (t8)
t9 (t9)
t10 (t10)
t11 (t11)
t12 (t12)
t13 (t13)
t15 (t15)
t16 (t16)
t17 (t17)
t18 (t18)
t19 (t19)
t20 (t20)
t22 (t22)
t24 (t24)
t25 (t25)
t26 (t26)
t27 (t27)
t28 (t28)
t29 (t29)
t30 (t30)
t31 (t31)
t34 (t34)
t35 (t35)
t36 (t36)
t38 (t38)
t39 (t39)
t40 (t40)
t41 (t41)
t42 (t42)
t43 (t43)
t44 (t44)
t45 (t45)
t46 (t46)
t47 (t47)
t48 (t48)
t49 (t49)
t50 (t50)
t51 (t51)
t52 (t52)
t53 (t53)
t54 (t54)
t55 (t55)
t56 (t56)
t57 (t57)
t58 (t58)
t59 (t59)
t60 (t60)
t61 (t61)
t62 (t62)
t63 (t63)
t64 (t64)
t65 (t65)
t66 (t66)
t67 (t67)
t68 (t68)
t69 (t69)
t70 (t70)
t71 (t71)
t72 (t72)
t73 (t73)
t74 (t74)
t75 (t75)
t76 (t76)
t77 (t77)
t78 (t78)
t79 (t79)
t80 (t80)
t81 (t81)
t82 (t82)
t83 (t83)
t84 (t84)
t85 (t85)
t86 (t86)
t87 (t87)
t88 (t88)
t89 (t89)
t90 (t90)
t91 (t91)
t92 (t92)
t93 (t93)
t94 (t94)
t95 (t95)
t96 (t96)
t97 (t97)
t98 (t98)
t99 (t99)
t100 (t100)
t101 (t101)
t102 (t102)
t103 (t103)
t104 (t104)
t105 (t105)
t106 (t106)
t107 (t107)
t108 (t108)
t109 (t109)
t110 (t110)
t111 (t111)
t112 (t112)
t113 (t113)
t114 (t114)
t115 (t115)
t116 (t116)
t117 (t117)
t118 (t118)
t119 (t119)
t120 (t120)
t121 (t121)
t122 (t122)
t123 (t123)
t124 (t124)
t125 (t125)
t126 (t126)
t127 (t127)
t128 (t128)
t129 (t129)
t130 (t130)
t131 (t131)
t132 (t132)
t133 (t133)
t134 (t134)
t135 (t135)
t136 (t136)
t137 (t137)
t138 (t138)
t139 (t139)
t140 (t140)
t141 (t141)
t142 (t142)
t143 (t143)
t144 (t144)
t145 (t145)
t146 (t146)
t147 (t147)
t148 (t148)
t149 (t149)
t150 (t150)
t151 (t151)
t152 (t152)
t153 (t153)
t154 (t154)
t155 (t155)
t156 (t156)
t157 (t157)
t158 (t158)
t159 (t159)
t160 (t160)
t161 (t161)
t162 (t162)
t163 (t163)
t164 (t164)
t165 (t165)
t166 (t166)
t167 (t167)
t168 (t168)
t169 (t169)
t170 (t170)
t171 (t171)
t172 (t172)
t173 (t173)
t174 (t174)
t175 (t175)
t176 (t176)
t177 (t177)
t178 (t178)
t179 (t179)
t180 (t180)
t181 (t181)
t182 (t182)
t183 (t183)
t184 (t184)
t185 (t185)
t186 (t186)
t187 (t187)
t188 (t188)
t189 (t189)
t190 (t190)
t191 (t191)
t192 (t192)
t193 (t193)
t194 (t194)
t195 (t195)
t196 (t196)
t197 (t197)
t198 (t198)
t199 (t199)
t200 (t200)
t201 (t201)
t202 (t202)
t203 (t203)
t204 (t204)
t205 (t205)
t206 (t206)
t207 (t207)
t208 (t208)
t209 (t209)
t210 (t210)
t211 (t211)
t212 (t212)
t213 (t213)
t214 (t214)
t215 (t215)
t216 (t216)
t217 (t217)
t218 (t218)
t219 (t219)
t220 (t220)
t221 (t221)
t222 (t222)
t223 (t223)
t224 (t224)
t225 (t225)
t226 (t226)
t227 (t227)
t228 (t228)
t229 (t229)
t230 (t230)
t231 (t231)
t232 (t232)
t233 (t233)
t234 (t234)
t235 (t235)
t236 (t236)
t237 (t237)
t238 (t238)
t239 (t239)
t240 (t240)
t241 (t241)
t242 (t242)
t243 (t243)
t244 (t244)
t245 (t245)
t246 (t246)
t247 (t247)
t248 (t248)
t249 (t249)
t250 (t250)
t251 (t251)
t252 (t252)
t253 (t253)
t254 (t254)
t255 (t255)
t256 (t256)
t257 (t257)
t258 (t258)
t259 (t259)
t260 (t260)
t261 (t261)
t262 (t262)
t263 (t263)
t264 (t264)
t265 (t265)
t266 (t266)
t267 (t267)
t268 (t268)
t269 (t269)
t270 (t270)
t271 (t271)
t272 (t272)
t273 (t273)
t274 (t274)
t275 (t275)
t276 (t276)
t277 (t277)
t278 (t278)
t279 (t279)
t280 (t280)
t281 (t281)
t282 (t282)
t283 (t283)
t284 (t284)
t285 (t285)
t286 (t286)
t287 (t287)
t288 (t288)
t289 (t289)
t290 (t290)
t291 (t291)
t292 (t292)
t293 (t293)
t294 (t294)
t295 (t295)
t296 (t296)
t297 (t297)
t298 (t298)
t299 (t299)
t300 (t300)
t301 (t301)
t302 (t302)
t303 (t303)
t304 (t304)
t305 (t305)
t306 (t306)
t307 (t307)
t308 (t308)
t309 (t309)
t310 (t310)
t311 (t311)
t312 (t312)
t313 (t313)
t314 (t314)
t315 (t315)
t316 (t316)
t317 (t317)
t318 (t318)
t319 (t319)
t320 (t320)
t321 (t321)
t322 (t322)
t323 (t323)
t324 (t324)
t325 (t325)
t326 (t326)
t327 (t327)
t328 (t328)
t329 (t329)
t330 (t330)
t331 (t331)
t332 (t332)
t333 (t333)
t334 (t334)
t335 (t335)
t336 (t336)
t337 (t337)
t338 (t338)
t339 (t339)
t340 (t340)
t341 (t341)
t382 (t382)
t385 (t385)
t386 (t386)
t387 (t387)
t388 (t388)
t389 (t389)
t390 (t390)
t391 (t391)
t392 (t392)
t393 (t393)
t394 (t394)
t395 (t395)
t396 (t396)
t397 (t397)
t398 (t398)
t399 (t399)
t400 (t400)
t401 (t401)
t402 (t402)
t403 (t403)
t406 (t406)
t407 (t407)
t408 (t408)
t415 (t415)
t416 (t416)
t423 (t423)
t424 (t424)
t425 (t425)
t426 (t426)
t429 (t429)
t431 (t431)
t432 (t432)
t433 (t433)
t434 (t434)
t435 (t435)
t436 (t436)
t439 (t439)
t440 (t440)
t441 (t441)
t442 (t442)
t443 (t443)
t444 (t444)
t445 (t445)
t446 (t446)
t447 (t447)
t449 (t449)
t450 (t450)
t451 (t451)
t452 (t452)
t453 (t453)
t454 (t454)
t455 (t455)
t456 (t456)
t457 (t457)
t458 (t458)
t459 (t459)
t460 (t460)
t461 (t461)
t462 (t462)
t463 (t463)
t464 (t464)
t465 (t465)
t466 (t466)
t467 (t467)
t468 (t468)
t469 (t469)
t470 (t470)
t471 (t471)
t472 (t472)
t473 (t473)
t474 (t474)
t475 (t475)
t476 (t476)
t477 (t477)
t478 (t478)
t479 (t479)
t480 (t480)
t481 (t481)
t482 (t482)
t483 (t483)
t484 (t484)
t485 (t485)
t486 (t486)
t487 (t487)
t488 (t488)
t489 (t489)
t490 (t490)
t491 (t491)
t492 (t492)
t493 (t493)
t494 (t494)
t495 (t495)
t496 (t496)
t497 (t497)
t498 (t498)
t499 (t499)
t500 (t500)
t501 (t501)
t502 (t502)
t503 (t503)
t504 (t504)
t505 (t505)
t506 (t506)
t507 (t507)
t508 (t508)
t509 (t509)
t510 (t510)
t511 (t511)
t512 (t512)
t513 (t513)
t514 (t514)
t515 (t515)
t516 (t516)
t517 (t517)
t518 (t518)
t519 (t519)
t520 (t520)
t521 (t521)
t522 (t522)
t523 (t523)
t524 (t524)
t525 (t525)
t526 (t526)
t527 (t527)
t528 (t528)
t529 (t529)
t530 (t530)
t531 (t531)
t532 (t532)
t533 (t533)
t534 (t534)
t535 (t535)
t536 (t536)
t537 (t537)
t538 (t538)
t539 (t539)
t540 (t540)
t541 (t541)
t542 (t542)
t543 (t543)
t544 (t544)
t545 (t545)
t546 (t546)
t547 (t547)
t548 (t548)
t549 (t549)
t550 (t550)
t551 (t551)
t552 (t552)
t553 (t553)
t554 (t554)
t555 (t555)
t556 (t556)
t557 (t557)
t558 (t558)
t559 (t559)
t560 (t560)
t561 (t561)
t562 (t562)
t563 (t563)
t564 (t564)
t565 (t565)
t566 (t566)
t567 (t567)
t568 (t568)
t569 (t569)
t570 (t570)
t571 (t571)
t572 (t572)
t573 (t573)
t574 (t574)
t575 (t575)
t576 (t576)
t577 (t577)
t578 (t578)
t579 (t579)
t580 (t580)
t581 (t581)
t582 (t582)
t583 (t583)
t584 (t584)
t585 (t585)
t586 (t586)
t587 (t587)
t588 (t588)
t589 (t589)
t590 (t590)
t591 (t591)
t592 (t592)
t593 (t593)
t594 (t594)
t595 (t595)
t596 (t596)
t597 (t597)
t598 (t598)
t599 (t599)
t600 (t600)
t601 (t601)
t602 (t602)
t603 (t603)
t604 (t604)
t605 (t605)
t606 (t606)
t607 (t607)
t608 (t608)
t609 (t609)
t610 (t610)
t611 (t611)
t612 (t612)
t613 (t613)
t614 (t614)
t615 (t615)
t616 (t616)
t617 (t617)
t618 (t618)
t619 (t619)
t620 (t620)
t621 (t621)
t622 (t622)
t623 (t623)
t624 (t624)
t625 (t625)
t626 (t626)
t627 (t627)
t628 (t628)
t629 (t629)
t630 (t630)
t631 (t631)
t632 (t632)
t633 (t633)
t634 (t634)
t635 (t635)
t636 (t636)
t637 (t637)
t638 (t638)
t639 (t639)
t640 (t640)
t641 (t641)
t642 (t642)
t643 (t643)
t644 (t644)
t645 (t645)
t646 (t646)
t647 (t647)
t648 (t648)
t649 (t649)
t650 (t650)
t651 (t651)
t652 (t652)
t653 (t653)
t654 (t654)
t655 (t655)
t656 (t656)
t657 (t657)
t658 (t658)
t659 (t659)
t660 (t660)
t661 (t661)
t662 (t662)
t663 (t663)
t664 (t664)
t665 (t665)
t666 (t666)
t667 (t667)
t668 (t668)
t669 (t669)
t670 (t670)
t671 (t671)
t672 (t672)
t673 (t673)
t674 (t674)
t675 (t675)
t676 (t676)
t677 (t677)
t678 (t678)
t679 (t679)
t680 (t680)
t681 (t681)
t682 (t682)
t683 (t683)
t684 (t684)
t685 (t685)
t686 (t686)
t687 (t687)
t688 (t688)
t689 (t689)
t690 (t690)
t691 (t691)
t692 (t692)
t693 (t693)
t694 (t694)
t695 (t695)
t696 (t696)
t697 (t697)
t698 (t698)
t699 (t699)
t700 (t700)
t701 (t701)
t702 (t702)
t703 (t703)
t704 (t704)
t705 (t705)
t706 (t706)
t707 (t707)
t708 (t708)
t709 (t709)
t710 (t710)
t711 (t711)
t712 (t712)
t713 (t713)
t714 (t714)
t715 (t715)
t716 (t716)
t717 (t717)
t718 (t718)
t719 (t719)
t720 (t720)
t721 (t721)
t722 (t722)
t723 (t723)
t724 (t724)
t725 (t725)
t726 (t726)
t727 (t727)
t728 (t728)
t729 (t729)
t730 (t730)
t731 (t731)
t732 (t732)
t733 (t733)
t734 (t734)
t735 (t735)
t736 (t736)
t737 (t737)
t738 (t738)
t739 (t739)
t740 (t740)
t741 (t741)
t742 (t742)
t743 (t743)
t744 (t744)
t745 (t745)
t746 (t746)
t747 (t747)
t748 (t748)
t749 (t749)
t750 (t750)
t751 (t751)
t752 (t752)
t753 (t753)
t754 (t754)
t755 (t755)
t756 (t756)
t757 (t757)
t758 (t758)
t759 (t759)
t760 (t760)
t761 (t761)
t762 (t762)
t763 (t763)
t764 (t764)
t765 (t765)
t766 (t766)
t767 (t767)
t768 (t768)
t769 (t769)
t770 (t770)
t771 (t771)
t772 (t772)
t773 (t773)
t774 (t774)
t775 (t775)
t776 (t776)
t777 (t777)
t778 (t778)
t779 (t779)
t780 (t780)
t781 (t781)
t782 (t782)
t783 (t783)
t784 (t784)
t785 (t785)
t786 (t786)
t787 (t787)
t788 (t788)
t789 (t789)
t790 (t790)
t791 (t791)
t792 (t792)
t793 (t793)
t794 (t794)
t795 (t795)
t796 (t796)
t797 (t797)
t798 (t798)
t799 (t799)
t800 (t800)
t801 (t801)
t802 (t802)
t803 (t803)
t804 (t804)
t805 (t805)
t806 (t806)
t807 (t807)
t808 (t808)
t809 (t809)
t810 (t810)
t811 (t811)
t812 (t812)
t813 (t813)
t814 (t814)
t815 (t815)
t816 (t816)
t817 (t817)
t818 (t818)
t819 (t819)
t820 (t820)
t821 (t821)
t822 (t822)
t823 (t823)
t824 (t824)
t825 (t825)
t826 (t826)
t827 (t827)
t828 (t828)
t829 (t829)
t830 (t830)
t831 (t831)
t832 (t832)
t833 (t833)
t834 (t834)
t835 (t835)
t836 (t836)
t837 (t837)
t838 (t838)
t839 (t839)
t840 (t840)
t841 (t841)
t842 (t842)
t843 (t843)
t844 (t844)
t845 (t845)
t846 (t846)
t847 (t847)
t848 (t848)
t849 (t849)
t850 (t850)
t851 (t851)
t852 (t852)
t853 (t853)
t854 (t854)
t855 (t855)
t856 (t856)
t857 (t857)
t858 (t858)
t859 (t859)
t860 (t860)
t861 (t861)
t862 (t862)
t863 (t863)
t864 (t864)
t865 (t865)
t866 (t866)
t867 (t867)
t868 (t868)
t869 (t869)
t870 (t870)
t871 (t871)
t872 (t872)
t873 (t873)
t874 (t874)
t875 (t875)
t876 (t876)
t877 (t877)
t878 (t878)
t879 (t879)
t880 (t880)
t881 (t881)
t882 (t882)
t883 (t883)
t884 (t884)
t885 (t885)
t886 (t886)
t887 (t887)
t888 (t888)
t889 (t889)
t890 (t890)
t891 (t891)
t892 (t892)
t893 (t893)
t894 (t894)
t895 (t895)
t896 (t896)
t897 (t897)
t898 (t898)
t899 (t899)
t900 (t900)
t901 (t901)
t902 (t902)
t903 (t903)
t904 (t904)
t905 (t905)
t906 (t906)
t907 (t907)
t908 (t908)
t909 (t909)
t910 (t910)
t911 (t911)
t912 (t912)
t913 (t913)
t914 (t914)
t915 (t915)
t916 (t916)
t917 (t917)
t918 (t918)
t919 (t919)
t920 (t920)
t921 (t921)
t922 (t922)
t923 (t923)
t924 (t924)
t925 (t925)
t926 (t926)
t927 (t927)
t928 (t928)
t929 (t929)
t930 (t930)
t931 (t931)
t932 (t932)
t933 (t933)
t934 (t934)
t935 (t935)
t936 (t936)
t937 (t937)
t938 (t938)
t939 (t939)
t940 (t940)
t941 (t941)
t942 (t942)
t943 (t943)
t944 (t944)
t945 (t945)
t946 (t946)
t947 (t947)
t948 (t948)
t949 (t949)
t950 (t950)
t951 (t951)
t953 (t953)
t954 (t954)
t955 (t955)
t956 (t956)
t957 (t957)
t958 (t958)
t959 (t959)
t960 (t960)
t961 (t961)
t962 (t962)
t963 (t963)
t964 (t964)
t965 (t965)
t966 (t966)
t967 (t967)
t968 (t968)
t969 (t969)
t970 (t970)
t971 (t971)
t972 (t972)
t973 (t973)
t974 (t974)
t975 (t975)
t976 (t976)
t977 (t977)
t978 (t978)
t979 (t979)
t980 (t980)
t981 (t981)
t982 (t982)
t983 (t983)
t984 (t984)
t985 (t985)
t986 (t986)
t987 (t987)
t988 (t988)
t989 (t989)
t990 (t990)
t991 (t991)
t992 (t992)
t993 (t993)
t994 (t994)
t995 (t995)
t996 (t996)
t997 (t997)
t998 (t998)
t1001 (t1001)
t1002 (t1002)
t1003 (t1003)
t1004 (t1004)
t1005 (t1005)
t1006 (t1006)
t1007 (t1007)
t1008 (t1008)
t1009 (t1009)
t1010 (t1010)
t1011 (t1011)
t1012 (t1012)
t1013 (t1013)
t1014 (t1014)
t1015 (t1015)
t1016 (t1016)
t1017 (t1017)
t1018 (t1018)
t1019 (t1019)
t1020 (t1020)
t1021 (t1021)
t1022 (t1022)
t1023 (t1023)
t1024 (t1024)
t1025 (t1025)
t1026 (t1026)
t1027 (t1027)
t1029 (t1029)
t1030 (t1030)
t1031 (t1031)
t1032 (t1032)
t1033 (t1033)
t1034 (t1034)
t1035 (t1035)
t1036 (t1036)
t1037 (t1037)
t1038 (t1038)
t1039 (t1039)
t1040 (t1040)
t1041 (t1041)
t1042 (t1042)
t1043 (t1043)
t1044 (t1044)
t1045 (t1045)
t1046 (t1046)
t1047 (t1047)
t1048 (t1048)
t1049 (t1049)
t1051 (t1051)
t1052 (t1052)
t1053 (t1053)
t1054 (t1054)
t1055 (t1055)
t1056 (t1056)
t1057 (t1057)
t1058 (t1058)
t1059 (t1059)
t1060 (t1060)
t1061 (t1061)
t1062 (t1062)
t1063 (t1063)
t1064 (t1064)
t1065 (t1065)
t1066 (t1066)
t1068 (t1068)
t1069 (t1069)
t1070 (t1070)
t1071 (t1071)
t1072 (t1072)
t1073 (t1073)
t1074 (t1074)
t1075 (t1075)
t1076 (t1076)
t1077 (t1077)
t1085 (t1085)
t1086 (t1086)
t1087 (t1087)
t1088 (t1088)
t1089 (t1089)
t1091 (t1091)
t1092 (t1092)
t1093 (t1093)
t1094 (t1094)
t1095 (t1095)
t1096 (t1096)
t1097 (t1097)
t1098 (t1098)
t1099 (t1099)
t1100 (t1100)
t1102 (t1102)
t1103 (t1103)
t1104 (t1104)
t1105 (t1105)
t1106 (t1106)
t1107 (t1107)
t1108 (t1108)
t1109 (t1109)
t1110 (t1110)
t1111 (t1111)
t1113 (t1113)
t1117 (t1117)
t1118 (t1118)
t1119 (t1119)
t1120 (t1120)
t1121 (t1121)
t1122 (t1122)
t1123 (t1123)
t1124 (t1124)
t1125 (t1125)
t1126 (t1126)
t1127 (t1127)
t1128 (t1128)
t1129 (t1129)
t1130 (t1130)
t1131 (t1131)
t1134 (t1134)
t1135 (t1135)
t1136 (t1136)
t1137 (t1137)
t1138 (t1138)
t1140 (t1140)
t1141 (t1141)
t1142 (t1142)
t1143 (t1143)
t1144 (t1144)
t1145 (t1145)
t1146 (t1146)
t1147 (t1147)
t1148 (t1148)
t1149 (t1149)
t1152 (t1152)
t1153 (t1153)
t1154 (t1154)
t1155 (t1155)
t1156 (t1156)
t1166 (t1166)
t1168 (t1168)
t1169 (t1169)
t1170 (t1170)
t1171 (t1171)
t1172 (t1172)
t1173 (t1173)
t1174 (t1174)
t1175 (t1175)
t1176 (t1176)
t1177 (t1177)
t1179 (t1179)
t1180 (t1180)
t1181 (t1181)
t1182 (t1182)
t1183 (t1183)
t1186 (t1186)
t1187 (t1187)
t1188 (t1188)
t1189 (t1189)
t1190 (t1190)
t1191 (t1191)
t1195 (t1195)
t1196 (t1196)
t1197 (t1197)
t1198 (t1198)
t1199 (t1199)
t1200 (t1200)
t1203 (t1203)
t1205 (t1205)
t1206 (t1206)
t1207 (t1207)
t1208 (t1208)
t1209 (t1209)
t1210 (t1210)
t1211 (t1211)
t1212 (t1212)
t1213 (t1213)
t1214 (t1214)
t1216 (t1216)
t1217 (t1217)
t1223 (t1223)
t1224 (t1224)
t1225 (t1225)
t1226 (t1226)
t1227 (t1227)
t1228 (t1228)
t1230 (t1230)
t1231 (t1231)
t1232 (t1232)
t1233 (t1233)
t1234 (t1234)
t1236 (t1236)
t1237 (t1237)
t1238 (t1238)
t1239 (t1239)
t1240 (t1240)
t1241 (t1241)
t1242 (t1242)
t1243 (t1243)
t1244 (t1244)
t1245 (t1245)
t1247 (t1247)
t1249 (t1249)
t1250 (t1250)
t1251 (t1251)
t1252 (t1252)
t1253 (t1253)
t1255 (t1255)
t1256 (t1256)
t1257 (t1257)
t1258 (t1258)
t1259 (t1259)
t1260 (t1260)
t1262 (t1262)
t1263 (t1263)
t1264 (t1264)
t1265 (t1265)
t1266 (t1266)
t1267 (t1267)
t1268 (t1268)
t1269 (t1269)
t1270 (t1270)
t1271 (t1271)
t1272 (t1272)
t1274 (t1274)
t1275 (t1275)
t1276 (t1276)
t1277 (t1277)
t1278 (t1278)
t1279 (t1279)
t1280 (t1280)
t1281 (t1281)
t1282 (t1282)
t1283 (t1283)
t1286 (t1286)
t1288 (t1288)
t1289 (t1289)
t1290 (t1290)
t1291 (t1291)
t1292 (t1292)
t1293 (t1293)
t1294 (t1294)
t1295 (t1295)
t1296 (t1296)
t1297 (t1297)
t1298 (t1298)
t1299 (t1299)
t1300 (t1300)
t1301 (t1301)
t1302 (t1302)
t1303 (t1303)
t1304 (t1304)
t1305 (t1305)
t1306 (t1306)
t1307 (t1307)
t1308 (t1308)
t1309 (t1309)
t1310 (t1310)
t1311 (t1311)
t1312 (t1312)
t1313 (t1313)
t1314 (t1314)
t1315 (t1315)
t1316 (t1316)
t1317 (t1317)
t1319 (t1319)
t1320 (t1320)
t1321 (t1321)
t1322 (t1322)
t1323 (t1323)
t1324 (t1324)
t1325 (t1325)
t1326 (t1326)
t1327 (t1327)
t1328 (t1328)
t1329 (t1329)
t1330 (t1330)
t1331 (t1331)
t1332 (t1332)
t1333 (t1333)
t1334 (t1334)
t1335 (t1335)
t1336 (t1336)
t1337 (t1337)
t1338 (t1338)
t1339 (t1339)
t1340 (t1340)
t1341 (t1341)
t1342 (t1342)
t1343 (t1343)
t1344 (t1344)
t1345 (t1345)
t1346 (t1346)
t1347 (t1347)
t1348 (t1348)
t1349 (t1349)
t1350 (t1350)
t1351 (t1351)
t1352 (t1352)
t1353 (t1353)
t1354 (t1354)
t1355 (t1355)
t1356 (t1356)
t1357 (t1357)
t1358 (t1358)
t1359 (t1359)
t1360 (t1360)
t1361 (t1361)
t1362 (t1362)
t1363 (t1363)
t1364 (t1364)
t1365 (t1365)
t1366 (t1366)
t1367 (t1367)
t1368 (t1368)
t1369 (t1369)
t1370 (t1370)
t1371 (t1371)
t1372 (t1372)
t1373 (t1373)
t1374 (t1374)
t1375 (t1375)
t1376 (t1376)
t1377 (t1377)
t1378 (t1378)
t1379 (t1379)
t1380 (t1380)
t1381 (t1381)
t1382 (t1382)
t1383 (t1383)
t1384 (t1384)
t1385 (t1385)
t1386 (t1386)
t1387 (t1387)
t1388 (t1388)
t1389 (t1389)
t1390 (t1390)
t1391 (t1391)
t1392 (t1392)
t1393 (t1393)
t1394 (t1394)
t1395 (t1395)
t1396 (t1396)
t1397 (t1397)
t1398 (t1398)
t1399 (t1399)
t1400 (t1400)
t1401 (t1401)
t1402 (t1402)
t1403 (t1403)
t1404 (t1404)
t1405 (t1405)
t1406 (t1406)
t1407 (t1407)
t1408 (t1408)
t1409 (t1409)
t1410 (t1410)
t1411 (t1411)
t1412 (t1412)
t1413 (t1413)
t1414 (t1414)
t1415 (t1415)
t1416 (t1416)
t1417 (t1417)
t1418 (t1418)
t1419 (t1419)
t1420 (t1420)
t1421 (t1421)
t1422 (t1422)
t1423 (t1423)
t1424 (t1424)
t1425 (t1425)
t1426 (t1426)
t1427 (t1427)
t1428 (t1428)
t1429 (t1429)
t1430 (t1430)
t1431 (t1431)
t1432 (t1432)
t1433 (t1433)
t1434 (t1434)
t1435 (t1435)
t1436 (t1436)
t1437 (t1437)
t1438 (t1438)
t1439 (t1439)
t1440 (t1440)
t1441 (t1441)
t1442 (t1442)
t1443 (t1443)
t1444 (t1444)
t1445 (t1445)
t1446 (t1446)
t1447 (t1447)
t1448 (t1448)
t1449 (t1449)
t1450 (t1450)
t1451 (t1451)
t1452 (t1452)
t1453 (t1453)
t1454 (t1454)
t1455 (t1455)
t1456 (t1456)
t1457 (t1457)
t1458 (t1458)
t1459 (t1459)
t1460 (t1460)
t1461 (t1461)
t1462 (t1462)
t1463 (t1463)
t1464 (t1464)
t1465 (t1465)
t1466 (t1466)
t1467 (t1467)
t1468 (t1468)
t1469 (t1469)
t1470 (t1470)
t1471 (t1471)
t1472 (t1472)
t1473 (t1473)
t1474 (t1474)
t1475 (t1475)
t1476 (t1476)
t1477 (t1477)
t1478 (t1478)
t1479 (t1479)
t1480 (t1480)
t1481 (t1481)
t1482 (t1482)
t1483 (t1483)
t1484 (t1484)
t1485 (t1485)
t1486 (t1486)
t1487 (t1487)
t1488 (t1488)
t1489 (t1489)
t1490 (t1490)
t1491 (t1491)
t1492 (t1492)
t1493 (t1493)
t1494 (t1494)
t1495 (t1495)
t1496 (t1496)
t1497 (t1497)
t1498 (t1498)
t1499 (t1499)
t1500 (t1500)
t1501 (t1501)
t1502 (t1502)
t1503 (t1503)
t1504 (t1504)
t1505 (t1505)
t1506 (t1506)
t1507 (t1507)
t1508 (t1508)
t1509 (t1509)
t1510 (t1510)
t1511 (t1511)
t1512 (t1512)
t1513 (t1513)
t1514 (t1514)
t1515 (t1515)
t1516 (t1516)
t1517 (t1517)
t1518 (t1518)
t1519 (t1519)
t1520 (t1520)
t1521 (t1521)
t1522 (t1522)
t1523 (t1523)
t1524 (t1524)
t1525 (t1525)
t1526 (t1526)
t1527 (t1527)
t1528 (t1528)
t1529 (t1529)
t1530 (t1530)
t1531 (t1531)
t1532 (t1532)
t1533 (t1533)
t1534 (t1534)
t1535 (t1535)
t1536 (t1536)
t1537 (t1537)
t1538 (t1538)
t1539 (t1539)
t1540 (t1540)
t1541 (t1541)
t1542 (t1542)
t1543 (t1543)
t1544 (t1544)
t1545 (t1545)
t1546 (t1546)
t1547 (t1547)
t1548 (t1548)
t1549 (t1549)
t1550 (t1550)
t1551 (t1551)
t1552 (t1552)
t1553 (t1553)
t1554 (t1554)
t1555 (t1555)
t1556 (t1556)
t1557 (t1557)
t1558 (t1558)
t1559 (t1559)
t1560 (t1560)
t1561 (t1561)
t1562 (t1562)
t1563 (t1563)
t1564 (t1564)
t1565 (t1565)
t1566 (t1566)
t1567 (t1567)
t1568 (t1568)
t1569 (t1569)
t1570 (t1570)
t1571 (t1571)
t1572 (t1572)
t1573 (t1573)
t1574 (t1574)
t1575 (t1575)
t1576 (t1576)
t1577 (t1577)
t1578 (t1578)
t1579 (t1579)
t1580 (t1580)
t1581 (t1581)
t1582 (t1582)
t1583 (t1583)
t1584 (t1584)
t1585 (t1585)
t1586 (t1586)
t1587 (t1587)
t1588 (t1588)
t1589 (t1589)
t1590 (t1590)
t1591 (t1591)
t1592 (t1592)
t1593 (t1593)
t1594 (t1594)
t1595 (t1595)
t1596 (t1596)
t1597 (t1597)
t1598 (t1598)
t1599 (t1599)
t1600 (t1600)
t1601 (t1601)
t1602 (t1602)
t1603 (t1603)
t1604 (t1604)
t1605 (t1605)
t1606 (t1606)
t1607 (t1607)
t1608 (t1608)
t1610 (t1610)
t1611 (t1611)
t1612 (t1612)
t1613 (t1613)
t1614 (t1614)
t1615 (t1615)
t1616 (t1616)
t1617 (t1617)
t1618 (t1618)
t1619 (t1619)
t1620 (t1620)
t1621 (t1621)
t1622 (t1622)
t1623 (t1623)
t1624 (t1624)
t1625 (t1625)
t1626 (t1626)
t1627 (t1627)
t1628 (t1628)
t1629 (t1629)
t1630 (t1630)
t1631 (t1631)
t1632 (t1632)
t1633 (t1633)
t1634 (t1634)
t1635 (t1635)
t1636 (t1636)
t1637 (t1637)
t1638 (t1638)
t1639 (t1639)
t1640 (t1640)
t1641 (t1641)
t1642 (t1642)
t1643 (t1643)
t1644 (t1644)
t1645 (t1645)
t1646 (t1646)
t1647 (t1647)
t1648 (t1648)
t1649 (t1649)
t1650 (t1650)
t1651 (t1651)
t1652 (t1652)
t1653 (t1653)
t1654 (t1654)
t1655 (t1655)
t1656 (t1656)
t1657 (t1657)
t1658 (t1658)
t1659 (t1659)
t1660 (t1660)
t1661 (t1661)
t1662 (t1662)
t1663 (t1663)
t1664 (t1664)
t1665 (t1665)
t1666 (t1666)
t1667 (t1667)
t1668 (t1668)
t1669 (t1669)
t1670 (t1670)
t1671 (t1671)
t1672 (t1672)
t1673 (t1673)
t1676 (t1676)
t1677 (t1677)
t1678 (t1678)
t1679 (t1679)
t1680 (t1680)
t1681 (t1681)
t1682 (t1682)
t1683 (t1683)
t1684 (t1684)
t1685 (t1685)
t1686 (t1686)
t1687 (t1687)
t1688 (t1688)
t1689 (t1689)
t1690 (t1690)
t1691 (t1691)
t1692 (t1692)
t1693 (t1693)
t1694 (t1694)
t1695 (t1695)
t1696 (t1696)
t1697 (t1697)
t1698 (t1698)
t1699 (t1699)
t1700 (t1700)
t1701 (t1701)
t1702 (t1702)
t1704 (t1704)
t1705 (t1705)
t1706 (t1706)
t1707 (t1707)
t1708 (t1708)
t1709 (t1709)
t1710 (t1710)
t1711 (t1711)
t1712 (t1712)
t1713 (t1713)
t1714 (t1714)
t1715 (t1715)
t1716 (t1716)
t1717 (t1717)
t1718 (t1718)
t1720 (t1720)
t1721 (t1721)
t1722 (t1722)
t1723 (t1723)
t1724 (t1724)
t1725 (t1725)
t1726 (t1726)
t1727 (t1727)
t1728 (t1728)
t1729 (t1729)
t1730 (t1730)
t1731 (t1731)
t1732 (t1732)
t1733 (t1733)
t1734 (t1734)
t1735 (t1735)
t1736 (t1736)
t1737 (t1737)
t1738 (t1738)
t1739 (t1739)
t1740 (t1740)
t1741 (t1741)
t1747 (t1747)
t1748 (t1748)
t1749 (t1749)
t1750 (t1750)
t1751 (t1751)
t1752 (t1752)
t1753 (t1753)
t1754 (t1754)
t1755 (t1755)
t1756 (t1756)
t1757 (t1757)
t1758 (t1758)
t1759 (t1759)
t1760 (t1760)
t1761 (t1761)
t1762 (t1762)
t1763 (t1763)
t1764 (t1764)
t1765 (t1765)
t1766 (t1766)
t1767 (t1767)
t1768 (t1768)
t1769 (t1769)
t1770 (t1770)
t1771 (t1771)
t1772 (t1772)
t1773 (t1773)
t1774 (t1774)
t1775 (t1775)
t1776 (t1776)
t1777 (t1777)
t1778 (t1778)
t1779 (t1779)
t1780 (t1780)
t1781 (t1781)
t1782 (t1782)
t1783 (t1783)
t1791 (t1791)
t1792 (t1792)
t1793 (t1793)
t1794 (t1794)
t1795 (t1795)
t1796 (t1796)
t1797 (t1797)
t1798 (t1798)
t1799 (t1799)
t1800 (t1800)
t1801 (t1801)
t1802 (t1802)
t1803 (t1803)
t1804 (t1804)
t1805 (t1805)
t1806 (t1806)
t1807 (t1807)
t1808 (t1808)
t1809 (t1809)
t1810 (t1810)
t1811 (t1811)
t1812 (t1812)
t1813 (t1813)
t1814 (t1814)
t1815 (t1815)
t1816 (t1816)
t1817 (t1817)
t1818 (t1818)
t1819 (t1819)
t1820 (t1820)
t1821 (t1821)
t1822 (t1822)
t1823 (t1823)
t1824 (t1824)
t1825 (t1825)
t1826 (t1826)
t1827 (t1827)
t1828 (t1828)
t1829 (t1829)
t1830 (t1830)
t1831 (t1831)
t1832 (t1832)
t1836 (t1836)
t1837 (t1837)
t1838 (t1838)
t1839 (t1839)
t1840 (t1840)
t1841 (t1841)
t1842 (t1842)
t1843 (t1843)
t1844 (t1844)
t1845 (t1845)
t1846 (t1846)
t1847 (t1847)
t1848 (t1848)
t1849 (t1849)
t1850 (t1850)
t1851 (t1851)
t1852 (t1852)
t1853 (t1853)
t1854 (t1854)
t1855 (t1855)
t1856 (t1856)
t1857 (t1857)
t1858 (t1858)
t1859 (t1859)
t1860 (t1860)
t1861 (t1861)
t1862 (t1862)
t1863 (t1863)
t1864 (t1864)
t1865 (t1865)
t1866 (t1866)
t1867 (t1867)
t1868 (t1868)
t1869 (t1869)
t1870 (t1870)
t1871 (t1871)
t1872 (t1872)
t1873 (t1873)
t1874 (t1874)
t1875 (t1875)
t1876 (t1876)
t1877 (t1877)
t1878 (t1878)
t1879 (t1879)
t1880 (t1880)
t1881 (t1881)
t1882 (t1882)
t1883 (t1883)
t1884 (t1884)
t1885 (t1885)
t1886 (t1886)
t1887 (t1887)
t1888 (t1888)
t1889 (t1889)
t1890 (t1890)
t1891 (t1891)
t1892 (t1892)
t1893 (t1893)
t1894 (t1894)
t1895 (t1895)
t1896 (t1896)
t1897 (t1897)
t1898 (t1898)
t1899 (t1899)
t1900 (t1900)
t1901 (t1901)
t1902 (t1902)
t1903 (t1903)
t1904 (t1904)
t1905 (t1905)
t1906 (t1906)
t1907 (t1907)
t1908 (t1908)
t1909 (t1909)
t1910 (t1910)
t1911 (t1911)
t1912 (t1912)
t1913 (t1913)
t1914 (t1914)
t1915 (t1915)
t1916 (t1916)
t1917 (t1917)
t1918 (t1918)
t1919 (t1919)
t1920 (t1920)
t1921 (t1921)
t1922 (t1922)
t1923 (t1923)
t1924 (t1924)
t1925 (t1925)
t1926 (t1926)
t1927 (t1927)
t1928 (t1928)
t1929 (t1929)
t1930 (t1930)
t1931 (t1931)
t1932 (t1932)
t1933 (t1933)
t1934 (t1934)
t1935 (t1935)
t1936 (t1936)
t1937 (t1937)
t1938 (t1938)
t1939 (t1939)
t1940 (t1940)
t1941 (t1941)
t1942 (t1942)
t1943 (t1943)
t1944 (t1944)
t1945 (t1945)
t1946 (t1946)
t1947 (t1947)
t1948 (t1948)
t1949 (t1949)
t1950 (t1950)
t1951 (t1951)
t1952 (t1952)
t1953 (t1953)
t1954 (t1954)
t1955 (t1955)
t1956 (t1956)
t1957 (t1957)
t1958 (t1958)
t1959 (t1959)
t1960 (t1960)
t1961 (t1961)
t1962 (t1962)
t1963 (t1963)

ptnet_check.cc:63: Net check exception: Net check failed on the test:
"check if there are transitions without pre-places".

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="SemanticWebServices-PT-S256P15"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="marciexred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool marciexred"
echo " Input is SemanticWebServices-PT-S256P15, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r362-smll-167891812900448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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