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.r170-tall-167838857100360.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 FamilyReunion-COL-L01200M0120C060P060G030, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-tall-167838857100360
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 604K
-rw-r--r-- 1 mcc users 7.3K Feb 26 11:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 11:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 26 11:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 11:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 11:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 11:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 11:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 11:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 24 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 211K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678523172921

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=FamilyReunion-COL-L01200M0120C060P060G030
Applying reductions before tool marcie
Invoking reducer
Running Version 202303021504
[2023-03-11 08:26:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 08:26:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 08:26:14] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-11 08:26:14] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-11 08:26:15] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 726 ms
[2023-03-11 08:26:15] [INFO ] Detected 5 constant HL places corresponding to 306 PT places.
[2023-03-11 08:26:15] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 4614109 PT places and 4406530.0 transition bindings in 82 ms.
[2023-03-11 08:26:24] [INFO ] Unfolded HLPN to a Petri net with 4614109 places and 4405329 transitions 12628637 arcs in 8950 ms.
[2023-03-11 08:26:24] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-11 08:26:31] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 4614109 places, 4405329 transitions and 12628637 arcs took 7642 ms.
Total runtime 17562 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: FamilyReunion_COL_L01200M0120C060P060G030_unf
(NrP: 4614109 NrTr: 4405329 NrArc: 12628637)

TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 176572 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15235008 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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:
p3940095
p3940096
p3678
p3633658
p3634770
p3787432
p3940097
p3679
p298002
p3633770
p3633992
p3634214
p3634436
p3634658
p3634882
p3635104
p3635326
p3635548
p3635770
p3635882
p3787399
p3787410
p3787421
p3787433
p3787444
p3940051
p3940062
p3940073
p3940084
p3940098
p297969
p297980
p297991
p298003
p298014
p298025
p3612
p3623
p3634
p3645
p3656
p3667
p3680
p3691
p3702
p3713
p3633548
p3633570
p3633592
p3633614
p3633636
p3633660
p3633682
p3633704
p3633726
p3633748
p3633782
p3633804
p3633826
p3633848
p3633870
p3633882
p3633904
p3633926
p3633948
p3633970
p3634004
p3634026
p3634048
p3634070
p3634092
p3634104
p3634126
p3634148
p3634170
p3634192
p3634226
p3634248
p3634270
p3634292
p3634314
p3634326
p3634348
p3634370
p3634392
p3634414
p3634448
p3634470
p3634492
p3634514
p3634536
p3634548
p3634570
p3634592
p3634614
p3634636
p3634670
p3634692
p3634714
p3634736
p3634758
p3634772
p3634794
p3634816
p3634838
p3634860
p3634894
p3634916
p3634938
p3634960
p3634982
p3634994
p3635016
p3635038
p3635060
p3635082
p3635116
p3635138
p3635160
p3635182
p3635204
p3635216
p3635238
p3635260
p3635282
p3635304
p3635338
p3635360
p3635382
p3635404
p3635426
p3635438
p3635460
p3635482
p3635504
p3635526
p3635560
p3635582
p3635604
p3635626
p3635648
p3635660
p3635682
p3635704
p3635726
p3635748
p3635782
p3635804
p3635826
p3635848
p3635870
p3635894
p3635916
p3635938
p3787394
p3787395
p3787396
p3787397
p3787398
p3787400
p3787401
p3787402
p3787403
p3787404
p3787405
p3787406
p3787407
p3787408
p3787409
p3787411
p3787412
p3787413
p3787414
p3787415
p3787416
p3787417
p3787418
p3787419
p3787420
p3787422
p3787423
p3787424
p3787425
p3787426
p3787427
p3787428
p3787429
p3787430
p3787431
p3787434
p3787435
p3787436
p3787437
p3787438
p3787439
p3787440
p3787441
p3787442
p3787443
p3787445
p3787446
p3787447
p3787448
p3787449
p3787450
p3787451
p3787452
p3787453
p3787454
p3940043
p3940044
p3940045
p3940046
p3940047
p3940048
p3940049
p3940050
p3940052
p3940053
p3940054
p3940055
p3940056
p3940057
p3940058
p3940059
p3940060
p3940061
p3940063
p3940064
p3940065
p3940066
p3940067
p3940068
p3940069
p3940070
p3940071
p3940072
p3940074
p3940075
p3940076
p3940077
p3940078
p3940079
p3940080
p3940081
p3940082
p3940083
p3940085
p3940086
p3940087
p3940088
p3940089
p3940090
p3940091
p3940092
p3940093
p3940094
p3940099
p3940100
p3940101
p3940102
p3940103
p3603
p3604
p3605
p3606
p3607
p3608
p3609
p3610
p3611
p3613
p3614
p3615
p3616
p3617
p3618
p3619
p3620
p3621
p3622
p3624
p3625
p3626
p3627
p3628
p3629
p3630
p3631
p3632
p3633
p3635
p3636
p3637
p3638
p3639
p3640
p3641
p3642
p3643
p3644
p3646
p3647
p3648
p3649
p3650
p3651
p3652
p3653
p3654
p3655
p3657
p3658
p3659
p3660
p3661
p3662
p3663
p3664
p3665
p3666
p3668
p3669
p3670
p3671
p3672
p3673
p3674
p3675
p3676
p3677
p3681
p3682
p3683
p3684
p3685
p3686
p3687
p3688
p3689
p3690
p3692
p3693
p3694
p3695
p3696
p3697
p3698
p3699
p3700
p3701
p3703
p3704
p3705
p3706
p3707
p3708
p3709
p3710
p3711
p3712
p3714
p3715
p3716
p3717
p3718
p3719
p3720
p3721
p3722
p3723
p297970
p297971
p297972
p297973
p297974
p297975
p297976
p297977
p297978
p297979
p297981
p297982
p297983
p297984
p297985
p297986
p297987
p297988
p297989
p297990
p297992
p297993
p297994
p297995
p297996
p297997
p297998
p297999
p298000
p298001
p298004
p298005
p298006
p298007
p298008
p298009
p298010
p298011
p298012
p298013
p298015
p298016
p298017
p298018
p298019
p298020
p298021
p298022
p298023
p298024
p298026
p298027
p298028
p298029
p3633544
p3633546
p3633550
p3633552
p3633554
p3633556
p3633558
p3633560
p3633562
p3633564
p3633566
p3633568
p3633572
p3633574
p3633576
p3633578
p3633580
p3633582
p3633584
p3633586
p3633588
p3633590
p3633594
p3633596
p3633598
p3633600
p3633602
p3633604
p3633606
p3633608
p3633610
p3633612
p3633616
p3633618
p3633620
p3633622
p3633624
p3633626
p3633628
p3633630
p3633632
p3633634
p3633638
p3633640
p3633642
p3633644
p3633646
p3633648
p3633650
p3633652
p3633654
p3633656
p3633662
p3633664
p3633666
p3633668
p3633670
p3633672
p3633674
p3633676
p3633678
p3633680
p3633684
p3633686
p3633688
p3633690
p3633692
p3633694
p3633696
p3633698
p3633700
p3633702
p3633706
p3633708
p3633710
p3633712
p3633714
p3633716
p3633718
p3633720
p3633722
p3633724
p3633728
p3633730
p3633732
p3633734
p3633736
p3633738
p3633740
p3633742
p3633744
p3633746
p3633750
p3633752
p3633754
p3633756
p3633758
p3633760
p3633762
p3633764
p3633766
p3633768
p3633772
p3633774
p3633776
p3633778
p3633780
p3633784
p3633786
p3633788
p3633790
p3633792
p3633794
p3633796
p3633798
p3633800
p3633802
p3633806
p3633808
p3633810
p3633812
p3633814
p3633816
p3633818
p3633820
p3633822
p3633824
p3633828
p3633830
p3633832
p3633834
p3633836
p3633838
p3633840
p3633842
p3633844
p3633846
p3633850
p3633852
p3633854
p3633856
p3633858
p3633860
p3633862
p3633864
p3633866
p3633868
p3633872
p3633874
p3633876
p3633878
p3633880
p3633884
p3633886
p3633888
p3633890
p3633892
p3633894
p3633896
p3633898
p3633900
p3633902
p3633906
p3633908
p3633910
p3633912
p3633914
p3633916
p3633918
p3633920
p3633922
p3633924
p3633928
p3633930
p3633932
p3633934
p3633936
p3633938
p3633940
p3633942
p3633944
p3633946
p3633950
p3633952
p3633954
p3633956
p3633958
p3633960
p3633962
p3633964
p3633966
p3633968
p3633972
p3633974
p3633976
p3633978
p3633980
p3633982
p3633984
p3633986
p3633988
p3633990
p3633994
p3633996
p3633998
p3634000
p3634002
p3634006
p3634008
p3634010
p3634012
p3634014
p3634016
p3634018
p3634020
p3634022
p3634024
p3634028
p3634030
p3634032
p3634034
p3634036
p3634038
p3634040
p3634042
p3634044
p3634046
p3634050
p3634052
p3634054
p3634056
p3634058
p3634060
p3634062
p3634064
p3634066
p3634068
p3634072
p3634074
p3634076
p3634078
p3634080
p3634082
p3634084
p3634086
p3634088
p3634090
p3634094
p3634096
p3634098
p3634100
p3634102
p3634106
p3634108
p3634110
p3634112
p3634114
p3634116
p3634118
p3634120
p3634122
p3634124
p3634128
p3634130
p3634132
p3634134
p3634136
p3634138
p3634140
p3634142
p3634144
p3634146
p3634150
p3634152
p3634154
p3634156
p3634158
p3634160
p3634162
p3634164
p3634166
p3634168
p3634172
p3634174
p3634176
p3634178
p3634180
p3634182
p3634184
p3634186
p3634188
p3634190
p3634194
p3634196
p3634198
p3634200
p3634202
p3634204
p3634206
p3634208
p3634210
p3634212
p3634216
p3634218
p3634220
p3634222
p3634224
p3634228
p3634230
p3634232
p3634234
p3634236
p3634238
p3634240
p3634242
p3634244
p3634246
p3634250
p3634252
p3634254
p3634256
p3634258
p3634260
p3634262
p3634264
p3634266
p3634268
p3634272
p3634274
p3634276
p3634278
p3634280
p3634282
p3634284
p3634286
p3634288
p3634290
p3634294
p3634296
p3634298
p3634300
p3634302
p3634304
p3634306
p3634308
p3634310
p3634312
p3634316
p3634318
p3634320
p3634322
p3634324
p3634328
p3634330
p3634332
p3634334
p3634336
p3634338
p3634340
p3634342
p3634344
p3634346
p3634350
p3634352
p3634354
p3634356
p3634358
p3634360
p3634362
p3634364
p3634366
p3634368
p3634372
p3634374
p3634376
p3634378
p3634380
p3634382
p3634384
p3634386
p3634388
p3634390
p3634394
p3634396
p3634398
p3634400
p3634402
p3634404
p3634406
p3634408
p3634410
p3634412
p3634416
p3634418
p3634420
p3634422
p3634424
p3634426
p3634428
p3634430
p3634432
p3634434
p3634438
p3634440
p3634442
p3634444
p3634446
p3634450
p3634452
p3634454
p3634456
p3634458
p3634460
p3634462
p3634464
p3634466
p3634468
p3634472
p3634474
p3634476
p3634478
p3634480
p3634482
p3634484
p3634486
p3634488
p3634490
p3634494
p3634496
p3634498
p3634500
p3634502
p3634504
p3634506
p3634508
p3634510
p3634512
p3634516
p3634518
p3634520
p3634522
p3634524
p3634526
p3634528
p3634530
p3634532
p3634534
p3634538
p3634540
p3634542
p3634544
p3634546
p3634550
p3634552
p3634554
p3634556
p3634558
p3634560
p3634562
p3634564
p3634566
p3634568
p3634572
p3634574
p3634576
p3634578
p3634580
p3634582
p3634584
p3634586
p3634588
p3634590
p3634594
p3634596
p3634598
p3634600
p3634602
p3634604
p3634606
p3634608
p3634610
p3634612
p3634616
p3634618
p3634620
p3634622
p3634624
p3634626
p3634628
p3634630
p3634632
p3634634
p3634638
p3634640
p3634642
p3634644
p3634646
p3634648
p3634650
p3634652
p3634654
p3634656
p3634660
p3634662
p3634664
p3634666
p3634668
p3634672
p3634674
p3634676
p3634678
p3634680
p3634682
p3634684
p3634686
p3634688
p3634690
p3634694
p3634696
p3634698
p3634700
p3634702
p3634704
p3634706
p3634708
p3634710
p3634712
p3634716
p3634718
p3634720
p3634722
p3634724
p3634726
p3634728
p3634730
p3634732
p3634734
p3634738
p3634740
p3634742
p3634744
p3634746
p3634748
p3634750
p3634752
p3634754
p3634756
p3634760
p3634762
p3634764
p3634766
p3634768
p3634774
p3634776
p3634778
p3634780
p3634782
p3634784
p3634786
p3634788
p3634790
p3634792
p3634796
p3634798
p3634800
p3634802
p3634804
p3634806
p3634808
p3634810
p3634812
p3634814
p3634818
p3634820
p3634822
p3634824
p3634826
p3634828
p3634830
p3634832
p3634834
p3634836
p3634840
p3634842
p3634844
p3634846
p3634848
p3634850
p3634852
p3634854
p3634856
p3634858
p3634862
p3634864
p3634866
p3634868
p3634870
p3634872
p3634874
p3634876
p3634878
p3634880
p3634884
p3634886
p3634888
p3634890
p3634892
p3634896
p3634898
p3634900
p3634902
p3634904
p3634906
p3634908
p3634910
p3634912
p3634914
p3634918
p3634920
p3634922
p3634924
p3634926
p3634928
p3634930
p3634932
p3634934
p3634936
p3634940
p3634942
p3634944
p3634946
p3634948
p3634950
p3634952
p3634954
p3634956
p3634958
p3634962
p3634964
p3634966
p3634968
p3634970
p3634972
p3634974
p3634976
p3634978
p3634980
p3634984
p3634986
p3634988
p3634990
p3634992
p3634996
p3634998
p3635000
p3635002
p3635004
p3635006
p3635008
p3635010
p3635012
p3635014
p3635018
p3635020
p3635022
p3635024
p3635026
p3635028
p3635030
p3635032
p3635034
p3635036
p3635040
p3635042
p3635044
p3635046
p3635048
p3635050
p3635052
p3635054
p3635056
p3635058
p3635062
p3635064
p3635066
p3635068
p3635070
p3635072
p3635074
p3635076
p3635078
p3635080
p3635084
p3635086
p3635088
p3635090
p3635092
p3635094
p3635096
p3635098
p3635100
p3635102
p3635106
p3635108
p3635110
p3635112
p3635114
p3635118
p3635120
p3635122
p3635124
p3635126
p3635128
p3635130
p3635132
p3635134
p3635136
p3635140
p3635142
p3635144
p3635146
p3635148
p3635150
p3635152
p3635154
p3635156
p3635158
p3635162
p3635164
p3635166
p3635168
p3635170
p3635172
p3635174
p3635176
p3635178
p3635180
p3635184
p3635186
p3635188
p3635190
p3635192
p3635194
p3635196
p3635198
p3635200
p3635202
p3635206
p3635208
p3635210
p3635212
p3635214
p3635218
p3635220
p3635222
p3635224
p3635226
p3635228
p3635230
p3635232
p3635234
p3635236
p3635240
p3635242
p3635244
p3635246
p3635248
p3635250
p3635252
p3635254
p3635256
p3635258
p3635262
p3635264
p3635266
p3635268
p3635270
p3635272
p3635274
p3635276
p3635278
p3635280
p3635284
p3635286
p3635288
p3635290
p3635292
p3635294
p3635296
p3635298
p3635300
p3635302
p3635306
p3635308
p3635310
p3635312
p3635314
p3635316
p3635318
p3635320
p3635322
p3635324
p3635328
p3635330
p3635332
p3635334
p3635336
p3635340
p3635342
p3635344
p3635346
p3635348
p3635350
p3635352
p3635354
p3635356
p3635358
p3635362
p3635364
p3635366
p3635368
p3635370
p3635372
p3635374
p3635376
p3635378
p3635380
p3635384
p3635386
p3635388
p3635390
p3635392
p3635394
p3635396
p3635398
p3635400
p3635402
p3635406
p3635408
p3635410
p3635412
p3635414
p3635416
p3635418
p3635420
p3635422
p3635424
p3635428
p3635430
p3635432
p3635434
p3635436
p3635440
p3635442
p3635444
p3635446
p3635448
p3635450
p3635452
p3635454
p3635456
p3635458
p3635462
p3635464
p3635466
p3635468
p3635470
p3635472
p3635474
p3635476
p3635478
p3635480
p3635484
p3635486
p3635488
p3635490
p3635492
p3635494
p3635496
p3635498
p3635500
p3635502
p3635506
p3635508
p3635510
p3635512
p3635514
p3635516
p3635518
p3635520
p3635522
p3635524
p3635528
p3635530
p3635532
p3635534
p3635536
p3635538
p3635540
p3635542
p3635544
p3635546
p3635550
p3635552
p3635554
p3635556
p3635558
p3635562
p3635564
p3635566
p3635568
p3635570
p3635572
p3635574
p3635576
p3635578
p3635580
p3635584
p3635586
p3635588
p3635590
p3635592
p3635594
p3635596
p3635598
p3635600
p3635602
p3635606
p3635608
p3635610
p3635612
p3635614
p3635616
p3635618
p3635620
p3635622
p3635624
p3635628
p3635630
p3635632
p3635634
p3635636
p3635638
p3635640
p3635642
p3635644
p3635646
p3635650
p3635652
p3635654
p3635656
p3635658
p3635662
p3635664
p3635666
p3635668
p3635670
p3635672
p3635674
p3635676
p3635678
p3635680
p3635684
p3635686
p3635688
p3635690
p3635692
p3635694
p3635696
p3635698
p3635700
p3635702
p3635706
p3635708
p3635710
p3635712
p3635714
p3635716
p3635718
p3635720
p3635722
p3635724
p3635728
p3635730
p3635732
p3635734
p3635736
p3635738
p3635740
p3635742
p3635744
p3635746
p3635750
p3635752
p3635754
p3635756
p3635758
p3635760
p3635762
p3635764
p3635766
p3635768
p3635772
p3635774
p3635776
p3635778
p3635780
p3635784
p3635786
p3635788
p3635790
p3635792
p3635794
p3635796
p3635798
p3635800
p3635802
p3635806
p3635808
p3635810
p3635812
p3635814
p3635816
p3635818
p3635820
p3635822
p3635824
p3635828
p3635830
p3635832
p3635834
p3635836
p3635838
p3635840
p3635842
p3635844
p3635846
p3635850
p3635852
p3635854
p3635856
p3635858
p3635860
p3635862
p3635864
p3635866
p3635868
p3635872
p3635874
p3635876
p3635878
p3635880
p3635884
p3635886
p3635888
p3635890
p3635892
p3635896
p3635898
p3635900
p3635902
p3635904
p3635906
p3635908
p3635910
p3635912
p3635914
p3635918
p3635920
p3635922
p3635924
p3635926
p3635928
p3635930
p3635932
p3635934
p3635936
p3635940
p3635942
p3635944
p3635945
p3635946

The net has transition(s) that can never fire:


check for constant places
p3603
p3604
p3605
p3606
p3607
p3608
p3609
p3610
p3611
p3612
p3613
p3614
p3615
p3616
p3617
p3618
p3619
p3620
p3621
p3622
p3623
p3624
p3625
p3626
p3627
p3628
p3629
p3630
p3631
p3632
p3633
p3634
p3635
p3636
p3637
p3638
p3639
p3640
p3641
p3642
p3643
p3644
p3645
p3646
p3647
p3648
p3649
p3650
p3651
p3652
p3653
p3654
p3655
p3656
p3657
p3658
p3659
p3660
p3661
p3662
p3663
p3664
p3665
p3666
p3667
p3668
p3669
p3670
p3671
p3672
p3673
p3674
p3675
p3676
p3677
p3678
p3679
p3680
p3681
p3682
p3683
p3684
p3685
p3686
p3687
p3688
p3689
p3690
p3691
p3692
p3693
p3694
p3695
p3696
p3697
p3698
p3699
p3700
p3701
p3702
p3703
p3704
p3705
p3706
p3707
p3708
p3709
p3710
p3711
p3712
p3713
p3714
p3715
p3716
p3717
p3718
p3719
p3720
p3721
p3722
p3723
p297969
p297970
p297971
p297972
p297973
p297974
p297975
p297976
p297977
p297978
p297979
p297980
p297981
p297982
p297983
p297984
p297985
p297986
p297987
p297988
p297989
p297990
p297991
p297992
p297993
p297994
p297995
p297996
p297997
p297998
p297999
p298000
p298001
p298002
p298003
p298004
p298005
p298006
p298007
p298008
p298009
p298010
p298011
p298012
p298013
p298014
p298015
p298016
p298017
p298018
p298019
p298020
p298021
p298022
p298023
p298024
p298025
p298026
p298027
p298028
p298029
p3633544
p3633546
p3633548
p3633550
p3633552
p3633554
p3633556
p3633558
p3633560
p3633562
p3633564
p3633566
p3633568
p3633570
p3633572
p3633574
p3633576
p3633578
p3633580
p3633582
p3633584
p3633586
p3633588
p3633590
p3633592
p3633594
p3633596
p3633598
p3633600
p3633602
p3633604
p3633606
p3633608
p3633610
p3633612
p3633614
p3633616
p3633618
p3633620
p3633622
p3633624
p3633626
p3633628
p3633630
p3633632
p3633634
p3633636
p3633638
p3633640
p3633642
p3633644
p3633646
p3633648
p3633650
p3633652
p3633654
p3633656
p3633658
p3633660
p3633662
p3633664
p3633666
p3633668
p3633670
p3633672
p3633674
p3633676
p3633678
p3633680
p3633682
p3633684
p3633686
p3633688
p3633690
p3633692
p3633694
p3633696
p3633698
p3633700
p3633702
p3633704
p3633706
p3633708
p3633710
p3633712
p3633714
p3633716
p3633718
p3633720
p3633722
p3633724
p3633726
p3633728
p3633730
p3633732
p3633734
p3633736
p3633738
p3633740
p3633742
p3633744
p3633746
p3633748
p3633750
p3633752
p3633754
p3633756
p3633758
p3633760
p3633762
p3633764
p3633766
p3633768
p3633770
p3633772
p3633774
p3633776
p3633778
p3633780
p3633782
p3633784
p3633786
p3633788
p3633790
p3633792
p3633794
p3633796
p3633798
p3633800
p3633802
p3633804
p3633806
p3633808
p3633810
p3633812
p3633814
p3633816
p3633818
p3633820
p3633822
p3633824
p3633826
p3633828
p3633830
p3633832
p3633834
p3633836
p3633838
p3633840
p3633842
p3633844
p3633846
p3633848
p3633850
p3633852
p3633854
p3633856
p3633858
p3633860
p3633862
p3633864
p3633866
p3633868
p3633870
p3633872
p3633874
p3633876
p3633878
p3633880
p3633882
p3633884
p3633886
p3633888
p3633890
p3633892
p3633894
p3633896
p3633898
p3633900
p3633902
p3633904
p3633906
p3633908
p3633910
p3633912
p3633914
p3633916
p3633918
p3633920
p3633922
p3633924
p3633926
p3633928
p3633930
p3633932
p3633934
p3633936
p3633938
p3633940
p3633942
p3633944
p3633946
p3633948
p3633950
p3633952
p3633954
p3633956
p3633958
p3633960
p3633962
p3633964
p3633966
p3633968
p3633970
p3633972
p3633974
p3633976
p3633978
p3633980
p3633982
p3633984
p3633986
p3633988
p3633990
p3633992
p3633994
p3633996
p3633998
p3634000
p3634002
p3634004
p3634006
p3634008
p3634010
p3634012
p3634014
p3634016
p3634018
p3634020
p3634022
p3634024
p3634026
p3634028
p3634030
p3634032
p3634034
p3634036
p3634038
p3634040
p3634042
p3634044
p3634046
p3634048
p3634050
p3634052
p3634054
p3634056
p3634058
p3634060
p3634062
p3634064
p3634066
p3634068
p3634070
p3634072
p3634074
p3634076
p3634078
p3634080
p3634082
p3634084
p3634086
p3634088
p3634090
p3634092
p3634094
p3634096
p3634098
p3634100
p3634102
p3634104
p3634106
p3634108
p3634110
p3634112
p3634114
p3634116
p3634118
p3634120
p3634122
p3634124
p3634126
p3634128
p3634130
p3634132
p3634134
p3634136
p3634138
p3634140
p3634142
p3634144
p3634146
p3634148
p3634150
p3634152
p3634154
p3634156
p3634158
p3634160
p3634162
p3634164
p3634166
p3634168
p3634170
p3634172
p3634174
p3634176
p3634178
p3634180
p3634182
p3634184
p3634186
p3634188
p3634190
p3634192
p3634194
p3634196
p3634198
p3634200
p3634202
p3634204
p3634206
p3634208
p3634210
p3634212
p3634214
p3634216
p3634218
p3634220
p3634222
p3634224
p3634226
p3634228
p3634230
p3634232
p3634234
p3634236
p3634238
p3634240
p3634242
p3634244
p3634246
p3634248
p3634250
p3634252
p3634254
p3634256
p3634258
p3634260
p3634262
p3634264
p3634266
p3634268
p3634270
p3634272
p3634274
p3634276
p3634278
p3634280
p3634282
p3634284
p3634286
p3634288
p3634290
p3634292
p3634294
p3634296
p3634298
p3634300
p3634302
p3634304
p3634306
p3634308
p3634310
p3634312
p3634314
p3634316
p3634318
p3634320
p3634322
p3634324
p3634326
p3634328
p3634330
p3634332
p3634334
p3634336
p3634338
p3634340
p3634342
p3634344
p3634346
p3634348
p3634350
p3634352
p3634354
p3634356
p3634358
p3634360
p3634362
p3634364
p3634366
p3634368
p3634370
p3634372
p3634374
p3634376
p3634378
p3634380
p3634382
p3634384
p3634386
p3634388
p3634390
p3634392
p3634394
p3634396
p3634398
p3634400
p3634402
p3634404
p3634406
p3634408
p3634410
p3634412
p3634414
p3634416
p3634418
p3634420
p3634422
p3634424
p3634426
p3634428
p3634430
p3634432
p3634434
p3634436
p3634438
p3634440
p3634442
p3634444
p3634446
p3634448
p3634450
p3634452
p3634454
p3634456
p3634458
p3634460
p3634462
p3634464
p3634466
p3634468
p3634470
p3634472
p3634474
p3634476
p3634478
p3634480
p3634482
p3634484
p3634486
p3634488
p3634490
p3634492
p3634494
p3634496
p3634498
p3634500
p3634502
p3634504
p3634506
p3634508
p3634510
p3634512
p3634514
p3634516
p3634518
p3634520
p3634522
p3634524
p3634526
p3634528
p3634530
p3634532
p3634534
p3634536
p3634538
p3634540
p3634542
p3634544
p3634546
p3634548
p3634550
p3634552
p3634554
p3634556
p3634558
p3634560
p3634562
p3634564
p3634566
p3634568
p3634570
p3634572
p3634574
p3634576
p3634578
p3634580
p3634582
p3634584
p3634586
p3634588
p3634590
p3634592
p3634594
p3634596
p3634598
p3634600
p3634602
p3634604
p3634606
p3634608
p3634610
p3634612
p3634614
p3634616
p3634618
p3634620
p3634622
p3634624
p3634626
p3634628
p3634630
p3634632
p3634634
p3634636
p3634638
p3634640
p3634642
p3634644
p3634646
p3634648
p3634650
p3634652
p3634654
p3634656
p3634658
p3634660
p3634662
p3634664
p3634666
p3634668
p3634670
p3634672
p3634674
p3634676
p3634678
p3634680
p3634682
p3634684
p3634686
p3634688
p3634690
p3634692
p3634694
p3634696
p3634698
p3634700
p3634702
p3634704
p3634706
p3634708
p3634710
p3634712
p3634714
p3634716
p3634718
p3634720
p3634722
p3634724
p3634726
p3634728
p3634730
p3634732
p3634734
p3634736
p3634738
p3634740
p3634742
p3634744
p3634746
p3634748
p3634750
p3634752
p3634754
p3634756
p3634758
p3634760
p3634762
p3634764
p3634766
p3634768
p3634770
p3634772
p3634774
p3634776
p3634778
p3634780
p3634782
p3634784
p3634786
p3634788
p3634790
p3634792
p3634794
p3634796
p3634798
p3634800
p3634802
p3634804
p3634806
p3634808
p3634810
p3634812
p3634814
p3634816
p3634818
p3634820
p3634822
p3634824
p3634826
p3634828
p3634830
p3634832
p3634834
p3634836
p3634838
p3634840
p3634842
p3634844
p3634846
p3634848
p3634850
p3634852
p3634854
p3634856
p3634858
p3634860
p3634862
p3634864
p3634866
p3634868
p3634870
p3634872
p3634874
p3634876
p3634878
p3634880
p3634882
p3634884
p3634886
p3634888
p3634890
p3634892
p3634894
p3634896
p3634898
p3634900
p3634902
p3634904
p3634906
p3634908
p3634910
p3634912
p3634914
p3634916
p3634918
p3634920
p3634922
p3634924
p3634926
p3634928
p3634930
p3634932
p3634934
p3634936
p3634938
p3634940
p3634942
p3634944
p3634946
p3634948
p3634950
p3634952
p3634954
p3634956
p3634958
p3634960
p3634962
p3634964
p3634966
p3634968
p3634970
p3634972
p3634974
p3634976
p3634978
p3634980
p3634982
p3634984
p3634986
p3634988
p3634990
p3634992
p3634994
p3634996
p3634998
p3635000
p3635002
p3635004
p3635006
p3635008
p3635010
p3635012
p3635014
p3635016
p3635018
p3635020
p3635022
p3635024
p3635026
p3635028
p3635030
p3635032
p3635034
p3635036
p3635038
p3635040
p3635042
p3635044
p3635046
p3635048
p3635050
p3635052
p3635054
p3635056
p3635058
p3635060
p3635062
p3635064
p3635066
p3635068
p3635070
p3635072
p3635074
p3635076
p3635078
p3635080
p3635082
p3635084
p3635086
p3635088
p3635090
p3635092
p3635094
p3635096
p3635098
p3635100
p3635102
p3635104
p3635106
p3635108
p3635110
p3635112
p3635114
p3635116
p3635118
p3635120
p3635122
p3635124
p3635126
p3635128
p3635130
p3635132
p3635134
p3635136
p3635138
p3635140
p3635142
p3635144
p3635146
p3635148
p3635150
p3635152
p3635154
p3635156
p3635158
p3635160
p3635162
p3635164
p3635166
p3635168
p3635170
p3635172
p3635174
p3635176
p3635178
p3635180
p3635182
p3635184
p3635186
p3635188
p3635190
p3635192
p3635194
p3635196
p3635198
p3635200
p3635202
p3635204
p3635206
p3635208
p3635210
p3635212
p3635214
p3635216
p3635218
p3635220
p3635222
p3635224
p3635226
p3635228
p3635230
p3635232
p3635234
p3635236
p3635238
p3635240
p3635242
p3635244
p3635246
p3635248
p3635250
p3635252
p3635254
p3635256
p3635258
p3635260
p3635262
p3635264
p3635266
p3635268
p3635270
p3635272
p3635274
p3635276
p3635278
p3635280
p3635282
p3635284
p3635286
p3635288
p3635290
p3635292
p3635294
p3635296
p3635298
p3635300
p3635302
p3635304
p3635306
p3635308
p3635310
p3635312
p3635314
p3635316
p3635318
p3635320
p3635322
p3635324
p3635326
p3635328
p3635330
p3635332
p3635334
p3635336
p3635338
p3635340
p3635342
p3635344
p3635346
p3635348
p3635350
p3635352
p3635354
p3635356
p3635358
p3635360
p3635362
p3635364
p3635366
p3635368
p3635370
p3635372
p3635374
p3635376
p3635378
p3635380
p3635382
p3635384
p3635386
p3635388
p3635390
p3635392
p3635394
p3635396
p3635398
p3635400
p3635402
p3635404
p3635406
p3635408
p3635410
p3635412
p3635414
p3635416
p3635418
p3635420
p3635422
p3635424
p3635426
p3635428
p3635430
p3635432
p3635434
p3635436
p3635438
p3635440
p3635442
p3635444
p3635446
p3635448
p3635450
p3635452
p3635454
p3635456
p3635458
p3635460
p3635462
p3635464
p3635466
p3635468
p3635470
p3635472
p3635474
p3635476
p3635478
p3635480
p3635482
p3635484
p3635486
p3635488
p3635490
p3635492
p3635494
p3635496
p3635498
p3635500
p3635502
p3635504
p3635506
p3635508
p3635510
p3635512
p3635514
p3635516
p3635518
p3635520
p3635522
p3635524
p3635526
p3635528
p3635530
p3635532
p3635534
p3635536
p3635538
p3635540
p3635542
p3635544
p3635546
p3635548
p3635550
p3635552
p3635554
p3635556
p3635558
p3635560
p3635562
p3635564
p3635566
p3635568
p3635570
p3635572
p3635574
p3635576
p3635578
p3635580
p3635582
p3635584
p3635586
p3635588
p3635590
p3635592
p3635594
p3635596
p3635598
p3635600
p3635602
p3635604
p3635606
p3635608
p3635610
p3635612
p3635614
p3635616
p3635618
p3635620
p3635622
p3635624
p3635626
p3635628
p3635630
p3635632
p3635634
p3635636
p3635638
p3635640
p3635642
p3635644
p3635646
p3635648
p3635650
p3635652
p3635654
p3635656
p3635658
p3635660
p3635662
p3635664
p3635666
p3635668
p3635670
p3635672
p3635674
p3635676
p3635678
p3635680
p3635682
p3635684
p3635686
p3635688
p3635690
p3635692
p3635694
p3635696
p3635698
p3635700
p3635702
p3635704
p3635706
p3635708
p3635710
p3635712
p3635714
p3635716
p3635718
p3635720
p3635722
p3635724
p3635726
p3635728
p3635730
p3635732
p3635734
p3635736
p3635738
p3635740
p3635742
p3635744
p3635746
p3635748
p3635750
p3635752
p3635754
p3635756
p3635758
p3635760
p3635762
p3635764
p3635766
p3635768
p3635770
p3635772
p3635774
p3635776
p3635778
p3635780
p3635782
p3635784
p3635786
p3635788
p3635790
p3635792
p3635794
p3635796
p3635798
p3635800
p3635802
p3635804
p3635806
p3635808
p3635810
p3635812
p3635814
p3635816
p3635818
p3635820
p3635822
p3635824
p3635826
p3635828
p3635830
p3635832
p3635834
p3635836
p3635838
p3635840
p3635842
p3635844
p3635846
p3635848
p3635850
p3635852
p3635854
p3635856
p3635858
p3635860
p3635862
p3635864
p3635866
p3635868
p3635870
p3635872
p3635874
p3635876
p3635878
p3635880
p3635882
p3635884
p3635886
p3635888
p3635890
p3635892
p3635894
p3635896
p3635898
p3635900
p3635902
p3635904
p3635906
p3635908
p3635910
p3635912
p3635914
p3635916
p3635918
p3635920
p3635922
p3635924
p3635926
p3635928
p3635930
p3635932
p3635934
p3635936
p3635938
p3635940
p3635942
p3635944
p3635945
p3635946
p3787394
p3787395
p3787396
p3787397
p3787398
p3787399
p3787400
p3787401
p3787402
p3787403
p3787404
p3787405
p3787406
p3787407
p3787408
p3787409
p3787410
p3787411
p3787412
p3787413
p3787414
p3787415
p3787416
p3787417
p3787418
p3787419
p3787420
p3787421
p3787422
p3787423
p3787424
p3787425
p3787426
p3787427
p3787428
p3787429
p3787430
p3787431
p3787432
p3787433
p3787434
p3787435
p3787436
p3787437
p3787438
p3787439
p3787440
p3787441
p3787442
p3787443
p3787444
p3787445
p3787446
p3787447
p3787448
p3787449
p3787450
p3787451
p3787452
p3787453
p3787454
p3940043
p3940044
p3940045
p3940046
p3940047
p3940048
p3940049
p3940050
p3940051
p3940052
p3940053
p3940054
p3940055
p3940056
p3940057
p3940058
p3940059
p3940060
p3940061
p3940062
p3940063
p3940064
p3940065
p3940066
p3940067
p3940068
p3940069
p3940070
p3940071
p3940072
p3940073
p3940074
p3940075
p3940076
p3940077
p3940078
p3940079
p3940080
p3940081
p3940082
p3940083
p3940084
p3940085
p3940086
p3940087
p3940088
p3940089
p3940090
p3940091
p3940092
p3940093
p3940094
p3940095
p3940096
p3940097
p3940098
p3940099
p3940100
p3940101
p3940102
p3940103
found 1507 constant 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="FamilyReunion-COL-L01200M0120C060P060G030"
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 FamilyReunion-COL-L01200M0120C060P060G030, 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 r170-tall-167838857100360"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L01200M0120C060P060G030.tgz
mv FamilyReunion-COL-L01200M0120C060P060G030 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 ;