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.r490-tall-167912708700464.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 Szymanski-PT-b04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r490-tall-167912708700464
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.2M
-rw-r--r-- 1 mcc users 8.4K Feb 26 16:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 26 16:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 16:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 16:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 17:19 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:19 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 17:19 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 26 16:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 205K Feb 26 16:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 16:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Feb 26 16:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 3.7M 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 1679259570864

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=Szymanski-PT-b04
Applying reductions before tool marcie
Invoking reducer
Running Version 202303021504
[2023-03-19 20:59:32] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 20:59:32] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 20:59:32] [INFO ] Load time of PNML (sax parser for PT used): 284 ms
[2023-03-19 20:59:32] [INFO ] Transformed 568 places.
[2023-03-19 20:59:32] [INFO ] Transformed 8320 transitions.
[2023-03-19 20:59:32] [INFO ] Parsed PT model containing 568 places and 8320 transitions and 33408 arcs in 378 ms.
[2023-03-19 20:59:32] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 568 places, 8320 transitions and 33408 arcs took 56 ms.
Total runtime 461 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: Szymanski_PT_b04
(NrP: 568 NrTr: 8320 NrArc: 33408)

place and transition orderings generation:0m 0.616sec

net check time: 0m 0.005sec

init dd package: 0m 2.760sec

TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 9760756 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16109892 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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:
p331
p265
p276
p287
p298
p309
p320
p332
p343
p354
p365
p376
p387
p398
p416
p423
p431
p446
p453
p468
p475
p490
p497
p505
p256
p257
p258
p259
p260
p261
p262
p263
p264
p266
p267
p268
p269
p270
p271
p272
p273
p274
p275
p277
p278
p279
p280
p281
p282
p283
p284
p285
p286
p288
p289
p290
p291
p292
p293
p294
p295
p296
p297
p299
p300
p301
p302
p303
p304
p305
p306
p307
p308
p310
p311
p312
p313
p314
p315
p316
p317
p318
p319
p321
p322
p323
p324
p325
p326
p327
p328
p329
p330
p333
p334
p335
p336
p337
p338
p339
p340
p341
p342
p344
p345
p346
p347
p348
p349
p350
p351
p352
p353
p355
p356
p357
p358
p359
p360
p361
p362
p363
p364
p366
p367
p368
p369
p370
p371
p372
p373
p374
p375
p377
p378
p379
p380
p381
p382
p383
p384
p385
p386
p388
p389
p390
p391
p392
p393
p394
p395
p396
p397
p399
p400
p401
p402
p403
p404
p405
p406
p407
p408
p409
p410
p411
p412
p413
p414
p415
p417
p418
p419
p420
p421
p422
p424
p425
p426
p427
p428
p429
p430
p432
p433
p434
p435
p436
p437
p438
p439
p440
p441
p442
p443
p444
p445
p447
p448
p449
p450
p451
p452
p454
p455
p456
p457
p458
p459
p460
p461
p462
p463
p464
p465
p466
p467
p469
p470
p471
p472
p473
p474
p476
p477
p478
p479
p480
p481
p482
p483
p484
p485
p486
p487
p488
p489
p491
p492
p493
p494
p495
p496
p498
p499
p500
p501
p502
p503
p504
p506
p507
p508
p509
p510
p511
p543
p544
p565
p566

The net has transition(s) that can never fire:
t4346
t4324
t4283
t4261
t4220
t4198
t4157
t4135
t4094
t4072
t4031
t4009
t3968
t8063
t3946
t8041
t8000
t3905
t7978
t3883
t7937
t7915
t3842
t3820
t7874
t7852
t3779
t7811
t3757
t7789
t3716
t7748
t7726
t3694
t7685
t3653
t7663
t3631
t7622
t7600
t3590
t3568
t7559
t7537
t3527
t7496
t3505
t7474
t3464
t7433
t7411
t3442
t7370
t3401
t7348
t3379
t7307
t7285
t3338
t3316
t7244
t7222
t3275
t7181
t3253
t7159
t3212
t7118
t7096
t3190
t7055
t3149
t7033
t3127
t6992
t6970
t3086
t3064
t6929
t6907
t3023
t6866
t3001
t6844
t2960
t6803
t6781
t2938
t6740
t2897
t6718
t2875
t6677
t6655
t2834
t2812
t6614
t6592
t2771
t6551
t2749
t6529
t2708
t6488
t6466
t2686
t6425
t2645
t6403
t2623
t6362
t6340
t2582
t2560
t6299
t6277
t2519
t6236
t2497
t6214
t2456
t6173
t6151
t2434
t6110
t2393
t6088
t2371
t6047
t6025
t2330
t2308
t5984
t5962
t2267
t5921
t2245
t5899
t2204
t5858
t2182
t5836
t5795
t2141
t5773
t2119
t5732
t5710
t5669
t5647
t2015
t1993
t5606
t5584
t1952
t5543
t1930
t5521
t1889
t5480
t1867
t5458
t5417
t1826
t5395
t1804
t5354
t1763
t5332
t1741
t5291
t5269
t1700
t1678
t5228
t5206
t1637
t5165
t1615
t5143
t1574
t5102
t1552
t5080
t1511
t5039
t5017
t1489
t4976
t1448
t4954
t1426
t4913
t4891
t1385
t1363
t4850
t4828
t1322
t1300
t4787
t4765
t1259
t4724
t1237
t4702
t1196
t4661
t4639
t1174
t4598
t1133
t4576
t1111
t4535
t2078
t4513
t2056
t4472
t4450
t1007
t985
t4409
t4387
t40
t103
t229
t440
t881
t922
t292
t62
t125
t166
t188
t251
t944
t818
t314
t355
t377
t418
t481
t503
t1048
t544
t1070
t566
t607
t629
t670
t692
t733
t755
t796
t859

check for constant places
p256
p257
p258
p259
p260
p261
p262
p263
p264
p265
p266
p267
p268
p269
p270
p271
p272
p273
p274
p275
p276
p277
p278
p279
p280
p281
p282
p283
p284
p285
p286
p287
p288
p289
p290
p291
p292
p293
p294
p295
p296
p297
p298
p299
p300
p301
p302
p303
p304
p305
p306
p307
p308
p309
p310
p311
p312
p313
p314
p315
p316
p317
p318
p319
p320
p321
p322
p323
p324
p325
p326
p327
p328
p329
p330
p331
p332
p333
p334
p335
p336
p337
p338
p339
p340
p341
p342
p343
p344
p345
p346
p347
p348
p349
p350
p351
p352
p353
p354
p355
p356
p357
p358
p359
p360
p361
p362
p363
p364
p365
p366
p367
p368
p369
p370
p371
p372
p373
p374
p375
p376
p377
p378
p379
p380
p381
p382
p383
p384
p385
p386
p387
p388
p389
p390
p391
p392
p393
p394
p395
p396
p397
p398
p399
p400
p401
p402
p403
p404
p405
p406
p407
p408
p409
p410
p411
p412
p413
p414
p415
p416
p417
p418
p419
p420
p421
p422
p423
p424
p425
p426
p427
p428
p429
p430
p431
p432
p433
p434
p435
p436
p437
p438
p439
p440
p441
p442
p443
p444
p445
p446
p447
p448
p449
p450
p451
p452
p453
p454
p455
p456
p457
p458
p459
p460
p461
p462
p463
p464
p465
p466
p467
p468
p469
p470
p471
p472
p473
p474
p475
p476
p477
p478
p479
p480
p481
p482
p483
p484
p485
p486
p487
p488
p489
p490
p491
p492
p493
p494
p495
p496
p497
p498
p499
p500
p501
p502
p503
p504
p505
p506
p507
p508
p509
p510
p511
found 256 constant places
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m 0.126sec

2099 2610 3336 3529 4313 5564 4316 4689 5561 6234 5375 6043 5722 6185 5822 6612 6970 6571 6206 6636 6948 7481 7514 8345 9615 8875 9605 8888 8434 9188 9127 9711 9841 7987 10783 11753 12797 12430 12840 13091 12778 13228 12015 12887 12920 13076 13591 13894 14748 13488 10541 11269 13210 14153 13763 14648 14747 15753 16608 15682 15851 16505 14912 15158 16046 16309 16351 17441 17844 19776 17698 19021 16950 13051 13485 14334 14576 14702 14556 15056 16725 17078 18167 18579 18942 17451 17611 18316 18979 18182 15215 15955 15934 16766 17521 17480 17487 18478 19560 20192 17843 16122 16330 22910 23714 24997 26423 26409 27470 27337 27507 28827 29299 28938 31500 32247 33529 31133 31594 33505 34642 34833 36124 33196 31859 33105 33297 33387 33738 33705 33444 32677 32688 32924 31240 29438 29485 30095 32958 34154 34932 34784 35326 35589 36545 36839 36827 36646 36185 37483 38854 39215 39660 39492 40357 38078 36080 35234 35172 35245 33459 34454 35097 35286 36966 35686 35542 36767 37821 37432 36159 37328 41189 41055 41157 39569 40155 41357 42428 43093 43104 43136 44757 44764 46160 47406 46892 47127 48707 50686 50264 50359 48845 50128 51588 51481 50983 49793 49894 49455 49100 46666 47233 46931 47864 50834 49758 50286 50151 49643 50545 50038 49525 50060 50787 51315 50835 49810 49892 50857 50471 49790 48614 47643 47933 48227 48469 48975 49393 49389 49701 49614 50753 50322 50945 50171 51378 50565 50653 51035 51445 51065 51263 49459 48054 46154 46489 46076 44691 45543 45562 45178 45960 51067 51371 49317 43669 40294 36478 36283 38350 39284 39443 39810 39493 39391 40762 39407 41899 43220 41446 42757 45527 46309 46724 44721 45906 45198 45313 43937 47586 48796 49912 52677 53181 53793 54903 55396 54830 55637 58308 57631 55782 55141 52667 52750 52555 53751 54242 55212 58877 58629 53790 51628 46368 46716 46943 47456 47437 47887 48659 49348 49022 49484 50792 52336 53344 53641 53184 52307 53974 55077 53181 52984 51608 53396 54262 53832 53635 54394 55700 55857 60005 61894 63947 62892 61841 58081 54935 52078 50758 51408 47376 39731 40248 40725 41111 41635 41143 42028 42476 42516 43841 44831 44097 43891 44696 46793 47522 47838 48290 47248 48136 46513 46311 47404 48731 53522 56313 58311 58659 60216 60928 60961 60673 61498 61406 61135 65370 65801 63903 62683 61960 61167 61308 62476 61757 61990 61652 63298 63004 64602 68985 67610 62047 60113 57607 57925 58025 57825 59291 61303 62396 61053 58030 57995 59166 59055 60542 61637 62736 62083 59556 59718 56620 55118 55849 50100 49772 49947 49994 50875 51179 51707 51627 54842 56460 56686 56261 56087 58264 58140 56243 54367 56518 58280 57075 57768 57293 57269 56136 59979 62590 63028 61156 61612 63756 67963 68517 68263 71047 71507 71736 70342 70502 63156 62077 64610 62549 61854 63888

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="Szymanski-PT-b04"
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 Szymanski-PT-b04, 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 r490-tall-167912708700464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Szymanski-PT-b04.tgz
mv Szymanski-PT-b04 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 ;