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.r099-tall-167814473201032.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 smart
Input is DatabaseWithMutex-COL-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814473201032
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 8.3K Feb 25 13:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 25 13:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 13:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 25 13:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Feb 25 13:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 25 13:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 13:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 112K Feb 25 13:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 21K 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 1678271688635

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DatabaseWithMutex-COL-04
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-08 10:34:51] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-08 10:34:51] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-08 10:34:51] [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-08 10:34:52] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-08 10:34:52] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 760 ms
[2023-03-08 10:34:52] [INFO ] Imported 11 HL places and 8 HL transitions for a total of 140 PT places and 128.0 transition bindings in 22 ms.
[2023-03-08 10:34:52] [INFO ] Unfolded HLPN to a Petri net with 140 places and 128 transitions 416 arcs in 35 ms.
[2023-03-08 10:34:52] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-08 10:34:52] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 140 places, 128 transitions and 416 arcs took 10 ms.
Total runtime 1049 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DatabaseWithMutex (COL), instance 04
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 140 places, 128 transitions, 416 arcs.
AT ITER 0 NEW BEST:: SOT 11219 SOS 4574 HAS SOPS 4574 HAS SOUS 4296 HAS SOUPS 4296 WITH SCORE 4300.574
AT ITER 2 NEW BEST:: SOT 11212 SOS 4563 HAS SOPS 4563 HAS SOUS 4289 HAS SOUPS 4289 WITH SCORE 4293.563
AT ITER 10 NEW BEST:: SOT 11212 SOS 4554 HAS SOPS 4554 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4284.554
AT ITER 19 NEW BEST:: SOT 11128 SOS 4505 HAS SOPS 4505 HAS SOUS 4204 HAS SOUPS 4204 WITH SCORE 4208.505
AT ITER 28 NEW BEST:: SOT 11073 SOS 4506 HAS SOPS 4506 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4180.506
AT ITER 32 NEW BEST:: SOT 11074 SOS 4511 HAS SOPS 4511 HAS SOUS 4175 HAS SOUPS 4175 WITH SCORE 4179.511
AT ITER 35 NEW BEST:: SOT 11039 SOS 4487 HAS SOPS 4487 HAS SOUS 4140 HAS SOUPS 4140 WITH SCORE 4144.487
AT ITER 41 NEW BEST:: SOT 11044 SOS 4458 HAS SOPS 4458 HAS SOUS 4097 HAS SOUPS 4097 WITH SCORE 4101.458
AT ITER 47 NEW BEST:: SOT 11044 SOS 4451 HAS SOPS 4451 HAS SOUS 4094 HAS SOUPS 4094 WITH SCORE 4098.451
AT ITER 54 NEW BEST:: SOT 11038 SOS 4445 HAS SOPS 4445 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4092.445
AT ITER 58 NEW BEST:: SOT 10990 SOS 4423 HAS SOPS 4423 HAS SOUS 4066 HAS SOUPS 4066 WITH SCORE 4070.423
AT ITER 70 NEW BEST:: SOT 10985 SOS 4399 HAS SOPS 4399 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4060.399
AT ITER 81 NEW BEST:: SOT 10945 SOS 4351 HAS SOPS 4351 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4011.351
AT ITER 86 NEW BEST:: SOT 10900 SOS 4353 HAS SOPS 4353 HAS SOUS 3980 HAS SOUPS 3980 WITH SCORE 3984.353
AT ITER 90 NEW BEST:: SOT 10894 SOS 4347 HAS SOPS 4347 HAS SOUS 3974 HAS SOUPS 3974 WITH SCORE 3978.347
AT ITER 110 NEW BEST:: SOT 10908 SOS 4334 HAS SOPS 4334 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3958.334
AT ITER 112 NEW BEST:: SOT 10908 SOS 4326 HAS SOPS 4326 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3958.326
AT ITER 129 NEW BEST:: SOT 10890 SOS 4330 HAS SOPS 4330 HAS SOUS 3948 HAS SOUPS 3948 WITH SCORE 3952.33
AT ITER 137 NEW BEST:: SOT 10890 SOS 4326 HAS SOPS 4326 HAS SOUS 3944 HAS SOUPS 3944 WITH SCORE 3948.326
AT ITER 158 NEW BEST:: SOT 10853 SOS 4351 HAS SOPS 4351 HAS SOUS 3931 HAS SOUPS 3931 WITH SCORE 3935.351
AT ITER 159 NEW BEST:: SOT 10849 SOS 4347 HAS SOPS 4347 HAS SOUS 3927 HAS SOUPS 3927 WITH SCORE 3931.347
AT ITER 160 NEW BEST:: SOT 10842 SOS 4344 HAS SOPS 4344 HAS SOUS 3924 HAS SOUPS 3924 WITH SCORE 3928.344
AT ITER 169 NEW BEST:: SOT 10873 SOS 4328 HAS SOPS 4328 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3903.328
AT ITER 176 NEW BEST:: SOT 10858 SOS 4356 HAS SOPS 4356 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3873.356
AT ITER 184 NEW BEST:: SOT 10858 SOS 4356 HAS SOPS 4356 HAS SOUS 3863 HAS SOUPS 3863 WITH SCORE 3867.356
AT ITER 185 NEW BEST:: SOT 10840 SOS 4333 HAS SOPS 4333 HAS SOUS 3846 HAS SOUPS 3846 WITH SCORE 3850.333
AT ITER 197 NEW BEST:: SOT 10837 SOS 4327 HAS SOPS 4327 HAS SOUS 3837 HAS SOUPS 3837 WITH SCORE 3841.327
AT ITER 206 NEW BEST:: SOT 10811 SOS 4309 HAS SOPS 4309 HAS SOUS 3811 HAS SOUPS 3811 WITH SCORE 3815.309
AT ITER 212 NEW BEST:: SOT 10811 SOS 4307 HAS SOPS 4307 HAS SOUS 3811 HAS SOUPS 3811 WITH SCORE 3815.307
AT ITER 215 NEW BEST:: SOT 10805 SOS 4307 HAS SOPS 4307 HAS SOUS 3805 HAS SOUPS 3805 WITH SCORE 3809.307
AT ITER 216 NEW BEST:: SOT 10805 SOS 4295 HAS SOPS 4295 HAS SOUS 3793 HAS SOUPS 3793 WITH SCORE 3797.295
AT ITER 232 NEW BEST:: SOT 10805 SOS 4294 HAS SOPS 4294 HAS SOUS 3792 HAS SOUPS 3792 WITH SCORE 3796.294
AT ITER 234 NEW BEST:: SOT 10785 SOS 4287 HAS SOPS 4287 HAS SOUS 3785 HAS SOUPS 3785 WITH SCORE 3789.287
AT ITER 235 NEW BEST:: SOT 10791 SOS 4285 HAS SOPS 4285 HAS SOUS 3783 HAS SOUPS 3783 WITH SCORE 3787.285
AT ITER 280 NEW BEST:: SOT 10791 SOS 4266 HAS SOPS 4266 HAS SOUS 3764 HAS SOUPS 3764 WITH SCORE 3768.266
AT ITER 287 NEW BEST:: SOT 10770 SOS 4287 HAS SOPS 4287 HAS SOUS 3747 HAS SOUPS 3747 WITH SCORE 3751.287
AT ITER 312 NEW BEST:: SOT 10768 SOS 4286 HAS SOPS 4286 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3750.286
AT ITER 315 NEW BEST:: SOT 10768 SOS 4282 HAS SOPS 4282 HAS SOUS 3742 HAS SOUPS 3742 WITH SCORE 3746.282
AT ITER 341 NEW BEST:: SOT 10762 SOS 4270 HAS SOPS 4270 HAS SOUS 3730 HAS SOUPS 3730 WITH SCORE 3734.27
AT ITER 377 NEW BEST:: SOT 10756 SOS 4264 HAS SOPS 4264 HAS SOUS 3724 HAS SOUPS 3724 WITH SCORE 3728.264
AT ITER 378 NEW BEST:: SOT 10756 SOS 4258 HAS SOPS 4258 HAS SOUS 3724 HAS SOUPS 3724 WITH SCORE 3728.258
AT ITER 385 NEW BEST:: SOT 10753 SOS 4252 HAS SOPS 4252 HAS SOUS 3715 HAS SOUPS 3715 WITH SCORE 3719.252
AT ITER 411 NEW BEST:: SOT 10767 SOS 4266 HAS SOPS 4266 HAS SOUS 3711 HAS SOUPS 3711 WITH SCORE 3715.266
AT ITER 417 NEW BEST:: SOT 10770 SOS 4248 HAS SOPS 4248 HAS SOUS 3706 HAS SOUPS 3706 WITH SCORE 3710.248
AT ITER 436 NEW BEST:: SOT 10756 SOS 4224 HAS SOPS 4224 HAS SOUS 3687 HAS SOUPS 3687 WITH SCORE 3691.224
AT ITER 438 NEW BEST:: SOT 10754 SOS 4222 HAS SOPS 4222 HAS SOUS 3682 HAS SOUPS 3682 WITH SCORE 3686.222
AT ITER 447 NEW BEST:: SOT 10746 SOS 4236 HAS SOPS 4236 HAS SOUS 3680 HAS SOUPS 3680 WITH SCORE 3684.236
AT ITER 465 NEW BEST:: SOT 10751 SOS 4166 HAS SOPS 4166 HAS SOUS 3674 HAS SOUPS 3674 WITH SCORE 3678.166
AT ITER 482 NEW BEST:: SOT 10751 SOS 4163 HAS SOPS 4163 HAS SOUS 3671 HAS SOUPS 3671 WITH SCORE 3675.163
AT ITER 492 NEW BEST:: SOT 10748 SOS 4146 HAS SOPS 4146 HAS SOUS 3643 HAS SOUPS 3643 WITH SCORE 3647.146
AT ITER 510 NEW BEST:: SOT 10747 SOS 4145 HAS SOPS 4145 HAS SOUS 3642 HAS SOUPS 3642 WITH SCORE 3646.145
AT ITER 520 NEW BEST:: SOT 10726 SOS 4115 HAS SOPS 4115 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3642.115
AT ITER 576 NEW BEST:: SOT 10721 SOS 4127 HAS SOPS 4127 HAS SOUS 3637 HAS SOUPS 3637 WITH SCORE 3641.127
AT ITER 592 NEW BEST:: SOT 10710 SOS 4116 HAS SOPS 4116 HAS SOUS 3625 HAS SOUPS 3625 WITH SCORE 3629.116
AT ITER 618 NEW BEST:: SOT 10701 SOS 4080 HAS SOPS 4080 HAS SOUS 3603 HAS SOUPS 3603 WITH SCORE 3607.08
AT ITER 627 NEW BEST:: SOT 10702 SOS 4037 HAS SOPS 4037 HAS SOUS 3598 HAS SOUPS 3598 WITH SCORE 3602.037
AT ITER 653 NEW BEST:: SOT 10691 SOS 4029 HAS SOPS 4029 HAS SOUS 3595 HAS SOUPS 3595 WITH SCORE 3599.029
AT ITER 660 NEW BEST:: SOT 10690 SOS 4028 HAS SOPS 4028 HAS SOUS 3590 HAS SOUPS 3590 WITH SCORE 3594.028
AT ITER 671 NEW BEST:: SOT 10681 SOS 4034 HAS SOPS 4034 HAS SOUS 3578 HAS SOUPS 3578 WITH SCORE 3582.034
AT ITER 678 NEW BEST:: SOT 10680 SOS 4029 HAS SOPS 4029 HAS SOUS 3576 HAS SOUPS 3576 WITH SCORE 3580.029
AT ITER 693 NEW BEST:: SOT 10680 SOS 4025 HAS SOPS 4025 HAS SOUS 3572 HAS SOUPS 3572 WITH SCORE 3576.025
AT ITER 696 NEW BEST:: SOT 10678 SOS 4034 HAS SOPS 4034 HAS SOUS 3570 HAS SOUPS 3570 WITH SCORE 3574.034
AT ITER 766 NEW BEST:: SOT 10678 SOS 4042 HAS SOPS 4042 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3562.042
AT ITER 777 NEW BEST:: SOT 10678 SOS 4040 HAS SOPS 4040 HAS SOUS 3556 HAS SOUPS 3556 WITH SCORE 3560.04
AT ITER 798 NEW BEST:: SOT 10660 SOS 4044 HAS SOPS 4044 HAS SOUS 3542 HAS SOUPS 3542 WITH SCORE 3546.044
AT ITER 860 NEW BEST:: SOT 10660 SOS 4034 HAS SOPS 4034 HAS SOUS 3542 HAS SOUPS 3542 WITH SCORE 3546.034
AT ITER 862 NEW BEST:: SOT 10660 SOS 4031 HAS SOPS 4031 HAS SOUS 3542 HAS SOUPS 3542 WITH SCORE 3546.031
AT ITER 887 NEW BEST:: SOT 10658 SOS 4029 HAS SOPS 4029 HAS SOUS 3534 HAS SOUPS 3534 WITH SCORE 3538.029
AT ITER 889 NEW BEST:: SOT 10651 SOS 4028 HAS SOPS 4028 HAS SOUS 3524 HAS SOUPS 3524 WITH SCORE 3528.028
AT ITER 899 NEW BEST:: SOT 10653 SOS 4026 HAS SOPS 4026 HAS SOUS 3522 HAS SOUPS 3522 WITH SCORE 3526.026
AT ITER 918 NEW BEST:: SOT 10645 SOS 4014 HAS SOPS 4014 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3514.014
AT ITER 941 NEW BEST:: SOT 10644 SOS 4006 HAS SOPS 4006 HAS SOUS 3505 HAS SOUPS 3505 WITH SCORE 3509.006
AT ITER 953 NEW BEST:: SOT 10625 SOS 3987 HAS SOPS 3987 HAS SOUS 3490 HAS SOUPS 3490 WITH SCORE 3493.987
AT ITER 977 NEW BEST:: SOT 10609 SOS 4021 HAS SOPS 4021 HAS SOUS 3477 HAS SOUPS 3477 WITH SCORE 3481.021
AT ITER 982 NEW BEST:: SOT 10607 SOS 4019 HAS SOPS 4019 HAS SOUS 3471 HAS SOUPS 3471 WITH SCORE 3475.019
AT ITER 988 NEW BEST:: SOT 10619 SOS 4013 HAS SOPS 4013 HAS SOUS 3465 HAS SOUPS 3465 WITH SCORE 3469.013
AT ITER 1005 NEW BEST:: SOT 10618 SOS 4038 HAS SOPS 4038 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3467.038
AT ITER 1011 NEW BEST:: SOT 10618 SOS 4038 HAS SOPS 4038 HAS SOUS 3461 HAS SOUPS 3461 WITH SCORE 3465.038
AT ITER 1095 NEW BEST:: SOT 10618 SOS 4033 HAS SOPS 4033 HAS SOUS 3456 HAS SOUPS 3456 WITH SCORE 3460.033
AT ITER 1097 NEW BEST:: SOT 10622 SOS 4037 HAS SOPS 4037 HAS SOUS 3453 HAS SOUPS 3453 WITH SCORE 3457.037
AT ITER 1139 NEW BEST:: SOT 10602 SOS 4025 HAS SOPS 4025 HAS SOUS 3427 HAS SOUPS 3427 WITH SCORE 3431.025
AT ITER 1206 NEW BEST:: SOT 10602 SOS 4017 HAS SOPS 4017 HAS SOUS 3419 HAS SOUPS 3419 WITH SCORE 3423.017
AT ITER 1226 NEW BEST:: SOT 10598 SOS 4013 HAS SOPS 4013 HAS SOUS 3411 HAS SOUPS 3411 WITH SCORE 3415.013
AT ITER 1233 NEW BEST:: SOT 10605 SOS 4011 HAS SOPS 4011 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3414.011
AT ITER 1250 NEW BEST:: SOT 10604 SOS 4009 HAS SOPS 4009 HAS SOUS 3409 HAS SOUPS 3409 WITH SCORE 3413.009
AT ITER 1258 NEW BEST:: SOT 10604 SOS 4004 HAS SOPS 4004 HAS SOUS 3409 HAS SOUPS 3409 WITH SCORE 3413.004
AT ITER 1264 NEW BEST:: SOT 10606 SOS 4002 HAS SOPS 4002 HAS SOUS 3406 HAS SOUPS 3406 WITH SCORE 3410.002
AT ITER 1266 NEW BEST:: SOT 10602 SOS 3988 HAS SOPS 3988 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3405.988
AT ITER 1272 NEW BEST:: SOT 10595 SOS 3981 HAS SOPS 3981 HAS SOUS 3395 HAS SOUPS 3395 WITH SCORE 3398.981
AT ITER 1336 NEW BEST:: SOT 10596 SOS 3988 HAS SOPS 3988 HAS SOUS 3394 HAS SOUPS 3394 WITH SCORE 3397.988
AT ITER 1412 NEW BEST:: SOT 10596 SOS 3986 HAS SOPS 3986 HAS SOUS 3394 HAS SOUPS 3394 WITH SCORE 3397.986
AT ITER 1484 NEW BEST:: SOT 10596 SOS 3959 HAS SOPS 3959 HAS SOUS 3391 HAS SOUPS 3391 WITH SCORE 3394.959
AT ITER 1486 NEW BEST:: SOT 10594 SOS 3961 HAS SOPS 3961 HAS SOUS 3389 HAS SOUPS 3389 WITH SCORE 3392.961
AT ITER 1514 NEW BEST:: SOT 10594 SOS 3959 HAS SOPS 3959 HAS SOUS 3389 HAS SOUPS 3389 WITH SCORE 3392.959
AT ITER 1612 NEW BEST:: SOT 10591 SOS 3955 HAS SOPS 3955 HAS SOUS 3385 HAS SOUPS 3385 WITH SCORE 3388.955
AT ITER 1626 NEW BEST:: SOT 10604 SOS 3954 HAS SOPS 3954 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3387.954
AT ITER 1638 NEW BEST:: SOT 10601 SOS 3943 HAS SOPS 3943 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3381.943
AT ITER 1674 NEW BEST:: SOT 10597 SOS 3940 HAS SOPS 3940 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3380.94
AT ITER 1725 NEW BEST:: SOT 10581 SOS 3957 HAS SOPS 3957 HAS SOUS 3367 HAS SOUPS 3367 WITH SCORE 3370.957
AT ITER 1750 NEW BEST:: SOT 10581 SOS 3945 HAS SOPS 3945 HAS SOUS 3361 HAS SOUPS 3361 WITH SCORE 3364.945
AT ITER 1758 NEW BEST:: SOT 10568 SOS 3933 HAS SOPS 3933 HAS SOUS 3337 HAS SOUPS 3337 WITH SCORE 3340.933
AT ITER 1783 NEW BEST:: SOT 10568 SOS 3925 HAS SOPS 3925 HAS SOUS 3329 HAS SOUPS 3329 WITH SCORE 3332.925
AT ITER 1802 NEW BEST:: SOT 10564 SOS 3921 HAS SOPS 3921 HAS SOUS 3325 HAS SOUPS 3325 WITH SCORE 3328.921
AT ITER 1807 NEW BEST:: SOT 10565 SOS 3920 HAS SOPS 3920 HAS SOUS 3325 HAS SOUPS 3325 WITH SCORE 3328.92
AT ITER 1843 NEW BEST:: SOT 10545 SOS 3939 HAS SOPS 3939 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3327.939
AT ITER 1856 NEW BEST:: SOT 10545 SOS 3938 HAS SOPS 3938 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3327.938
AT ITER 1866 NEW BEST:: SOT 10545 SOS 3937 HAS SOPS 3937 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3327.937
AT ITER 1913 NEW BEST:: SOT 10544 SOS 3936 HAS SOPS 3936 HAS SOUS 3320 HAS SOUPS 3320 WITH SCORE 3323.936
AT ITER 1937 NEW BEST:: SOT 10538 SOS 3936 HAS SOPS 3936 HAS SOUS 3313 HAS SOUPS 3313 WITH SCORE 3316.936
AT ITER 1965 NEW BEST:: SOT 10532 SOS 3925 HAS SOPS 3925 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3315.925
AT ITER 1976 NEW BEST:: SOT 10515 SOS 3889 HAS SOPS 3889 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3297.889
AT ITER 2038 NEW BEST:: SOT 10513 SOS 3887 HAS SOPS 3887 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3296.887
AT ITER 2054 NEW BEST:: SOT 10516 SOS 3890 HAS SOPS 3890 HAS SOUS 3287 HAS SOUPS 3287 WITH SCORE 3290.89
AT ITER 2156 NEW BEST:: SOT 10512 SOS 3899 HAS SOPS 3899 HAS SOUS 3282 HAS SOUPS 3282 WITH SCORE 3285.899
AT ITER 2171 NEW BEST:: SOT 10512 SOS 3898 HAS SOPS 3898 HAS SOUS 3281 HAS SOUPS 3281 WITH SCORE 3284.898
AT ITER 2276 NEW BEST:: SOT 10502 SOS 3897 HAS SOPS 3897 HAS SOUS 3277 HAS SOUPS 3277 WITH SCORE 3280.897
AT ITER 2347 NEW BEST:: SOT 10503 SOS 3884 HAS SOPS 3884 HAS SOUS 3274 HAS SOUPS 3274 WITH SCORE 3277.884
AT ITER 2355 NEW BEST:: SOT 10503 SOS 3883 HAS SOPS 3883 HAS SOUS 3270 HAS SOUPS 3270 WITH SCORE 3273.883
AT ITER 2386 NEW BEST:: SOT 10505 SOS 3867 HAS SOPS 3867 HAS SOUS 3266 HAS SOUPS 3266 WITH SCORE 3269.867
AT ITER 2425 NEW BEST:: SOT 10501 SOS 3867 HAS SOPS 3867 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3265.867
AT ITER 2482 NEW BEST:: SOT 10491 SOS 3860 HAS SOPS 3860 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.86
AT ITER 2542 NEW BEST:: SOT 10487 SOS 3856 HAS SOPS 3856 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.856
AT ITER 2553 NEW BEST:: SOT 10484 SOS 3871 HAS SOPS 3871 HAS SOUS 3252 HAS SOUPS 3252 WITH SCORE 3255.871
AT ITER 2572 NEW BEST:: SOT 10478 SOS 3865 HAS SOPS 3865 HAS SOUS 3252 HAS SOUPS 3252 WITH SCORE 3255.865
AT ITER 2637 NEW BEST:: SOT 10477 SOS 3862 HAS SOPS 3862 HAS SOUS 3249 HAS SOUPS 3249 WITH SCORE 3252.862
AT ITER 2644 NEW BEST:: SOT 10477 SOS 3861 HAS SOPS 3861 HAS SOUS 3248 HAS SOUPS 3248 WITH SCORE 3251.861
AT ITER 2646 NEW BEST:: SOT 10477 SOS 3860 HAS SOPS 3860 HAS SOUS 3248 HAS SOUPS 3248 WITH SCORE 3251.86
AT ITER 2686 NEW BEST:: SOT 10477 SOS 3858 HAS SOPS 3858 HAS SOUS 3246 HAS SOUPS 3246 WITH SCORE 3249.858
AT ITER 2695 NEW BEST:: SOT 10473 SOS 3885 HAS SOPS 3885 HAS SOUS 3238 HAS SOUPS 3238 WITH SCORE 3241.885
AT ITER 2709 NEW BEST:: SOT 10469 SOS 3886 HAS SOPS 3886 HAS SOUS 3234 HAS SOUPS 3234 WITH SCORE 3237.886
AT ITER 2711 NEW BEST:: SOT 10477 SOS 3884 HAS SOPS 3884 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3235.884
AT ITER 2763 NEW BEST:: SOT 10473 SOS 3872 HAS SOPS 3872 HAS SOUS 3228 HAS SOUPS 3228 WITH SCORE 3231.872
AT ITER 2777 NEW BEST:: SOT 10472 SOS 3871 HAS SOPS 3871 HAS SOUS 3227 HAS SOUPS 3227 WITH SCORE 3230.871
AT ITER 2813 NEW BEST:: SOT 10470 SOS 3871 HAS SOPS 3871 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3229.871
AT ITER 2846 NEW BEST:: SOT 10465 SOS 3864 HAS SOPS 3864 HAS SOUS 3217 HAS SOUPS 3217 WITH SCORE 3220.864
AT ITER 2880 NEW BEST:: SOT 10463 SOS 3862 HAS SOPS 3862 HAS SOUS 3215 HAS SOUPS 3215 WITH SCORE 3218.862
AT ITER 2907 NEW BEST:: SOT 10463 SOS 3861 HAS SOPS 3861 HAS SOUS 3214 HAS SOUPS 3214 WITH SCORE 3217.861
AT ITER 2929 NEW BEST:: SOT 10455 SOS 3859 HAS SOPS 3859 HAS SOUS 3206 HAS SOUPS 3206 WITH SCORE 3209.859
AT ITER 2997 NEW BEST:: SOT 10455 SOS 3856 HAS SOPS 3856 HAS SOUS 3206 HAS SOUPS 3206 WITH SCORE 3209.856
AT ITER 3049 NEW BEST:: SOT 10451 SOS 3855 HAS SOPS 3855 HAS SOUS 3202 HAS SOUPS 3202 WITH SCORE 3205.855
AT ITER 3078 NEW BEST:: SOT 10450 SOS 3853 HAS SOPS 3853 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3203.853
AT ITER 3083 NEW BEST:: SOT 10449 SOS 3851 HAS SOPS 3851 HAS SOUS 3197 HAS SOUPS 3197 WITH SCORE 3200.851
AT ITER 3099 NEW BEST:: SOT 10462 SOS 3850 HAS SOPS 3850 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3199.85
AT ITER 3125 NEW BEST:: SOT 10463 SOS 3846 HAS SOPS 3846 HAS SOUS 3195 HAS SOUPS 3195 WITH SCORE 3198.846
AT ITER 3183 NEW BEST:: SOT 10461 SOS 3844 HAS SOPS 3844 HAS SOUS 3193 HAS SOUPS 3193 WITH SCORE 3196.844
AT ITER 3202 NEW BEST:: SOT 10458 SOS 3837 HAS SOPS 3837 HAS SOUS 3187 HAS SOUPS 3187 WITH SCORE 3190.837
AT ITER 3223 NEW BEST:: SOT 10454 SOS 3835 HAS SOPS 3835 HAS SOUS 3185 HAS SOUPS 3185 WITH SCORE 3188.835
AT ITER 3268 NEW BEST:: SOT 10453 SOS 3835 HAS SOPS 3835 HAS SOUS 3183 HAS SOUPS 3183 WITH SCORE 3186.835
AT ITER 3305 NEW BEST:: SOT 10451 SOS 3837 HAS SOPS 3837 HAS SOUS 3181 HAS SOUPS 3181 WITH SCORE 3184.837
AT ITER 3311 NEW BEST:: SOT 10447 SOS 3831 HAS SOPS 3831 HAS SOUS 3173 HAS SOUPS 3173 WITH SCORE 3176.831
AT ITER 3312 NEW BEST:: SOT 10447 SOS 3826 HAS SOPS 3826 HAS SOUS 3171 HAS SOUPS 3171 WITH SCORE 3174.826
AT ITER 3374 NEW BEST:: SOT 10446 SOS 3823 HAS SOPS 3823 HAS SOUS 3168 HAS SOUPS 3168 WITH SCORE 3171.823
AT ITER 3380 NEW BEST:: SOT 10449 SOS 3820 HAS SOPS 3820 HAS SOUS 3165 HAS SOUPS 3165 WITH SCORE 3168.82
AT ITER 3435 NEW BEST:: SOT 10447 SOS 3818 HAS SOPS 3818 HAS SOUS 3161 HAS SOUPS 3161 WITH SCORE 3164.818
AT ITER 3553 NEW BEST:: SOT 10447 SOS 3817 HAS SOPS 3817 HAS SOUS 3160 HAS SOUPS 3160 WITH SCORE 3163.817
AT ITER 3625 NEW BEST:: SOT 10436 SOS 3838 HAS SOPS 3838 HAS SOUS 3148 HAS SOUPS 3148 WITH SCORE 3151.838
AT ITER 3828 NEW BEST:: SOT 10435 SOS 3839 HAS SOPS 3839 HAS SOUS 3147 HAS SOUPS 3147 WITH SCORE 3150.839
AT ITER 3870 NEW BEST:: SOT 10427 SOS 3853 HAS SOPS 3853 HAS SOUS 3139 HAS SOUPS 3139 WITH SCORE 3142.853
AT ITER 4016 NEW BEST:: SOT 10426 SOS 3855 HAS SOPS 3855 HAS SOUS 3133 HAS SOUPS 3133 WITH SCORE 3136.855
AT ITER 4058 NEW BEST:: SOT 10408 SOS 3855 HAS SOPS 3855 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3131.855
AT ITER 4116 NEW BEST:: SOT 10403 SOS 3850 HAS SOPS 3850 HAS SOUS 3127 HAS SOUPS 3127 WITH SCORE 3130.85
AT ITER 4125 NEW BEST:: SOT 10403 SOS 3849 HAS SOPS 3849 HAS SOUS 3126 HAS SOUPS 3126 WITH SCORE 3129.849
AT ITER 4304 NEW BEST:: SOT 10402 SOS 3848 HAS SOPS 3848 HAS SOUS 3125 HAS SOUPS 3125 WITH SCORE 3128.848
AT ITER 4348 NEW BEST:: SOT 10403 SOS 3839 HAS SOPS 3839 HAS SOUS 3125 HAS SOUPS 3125 WITH SCORE 3128.839
AT ITER 4363 NEW BEST:: SOT 10402 SOS 3838 HAS SOPS 3838 HAS SOUS 3124 HAS SOUPS 3124 WITH SCORE 3127.838
AT ITER 4407 NEW BEST:: SOT 10390 SOS 3834 HAS SOPS 3834 HAS SOUS 3118 HAS SOUPS 3118 WITH SCORE 3121.834
AT ITER 4517 NEW BEST:: SOT 10384 SOS 3800 HAS SOPS 3800 HAS SOUS 3117 HAS SOUPS 3117 WITH SCORE 3120.8
AT ITER 4744 NEW BEST:: SOT 10381 SOS 3794 HAS SOPS 3794 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3115.794
AT ITER 4797 NEW BEST:: SOT 10378 SOS 3796 HAS SOPS 3796 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3109.796
AT ITER 4824 NEW BEST:: SOT 10378 SOS 3783 HAS SOPS 3783 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3109.783
AT ITER 4834 NEW BEST:: SOT 10365 SOS 3760 HAS SOPS 3760 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3109.76
AT ITER 4859 NEW BEST:: SOT 10357 SOS 3779 HAS SOPS 3779 HAS SOUS 3105 HAS SOUPS 3105 WITH SCORE 3108.779
AT ITER 4920 NEW BEST:: SOT 10357 SOS 3779 HAS SOPS 3779 HAS SOUS 3104 HAS SOUPS 3104 WITH SCORE 3107.779
AT ITER 4966 NEW BEST:: SOT 10351 SOS 3779 HAS SOPS 3779 HAS SOUS 3102 HAS SOUPS 3102 WITH SCORE 3105.779
AT ITER 4974 NEW BEST:: SOT 10317 SOS 3768 HAS SOPS 3768 HAS SOUS 3097 HAS SOUPS 3097 WITH SCORE 3100.768
AT ITER 5063 NEW BEST:: SOT 10316 SOS 3767 HAS SOPS 3767 HAS SOUS 3095 HAS SOUPS 3095 WITH SCORE 3098.767
AT ITER 5097 NEW BEST:: SOT 10313 SOS 3755 HAS SOPS 3755 HAS SOUS 3095 HAS SOUPS 3095 WITH SCORE 3098.755
AT ITER 5181 NEW BEST:: SOT 10312 SOS 3754 HAS SOPS 3754 HAS SOUS 3093 HAS SOUPS 3093 WITH SCORE 3096.754
AT ITER 5206 NEW BEST:: SOT 10311 SOS 3754 HAS SOPS 3754 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3095.754
AT ITER 5219 NEW BEST:: SOT 10311 SOS 3753 HAS SOPS 3753 HAS SOUS 3091 HAS SOUPS 3091 WITH SCORE 3094.753
AT ITER 5309 NEW BEST:: SOT 10311 SOS 3732 HAS SOPS 3732 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3091.732
AT ITER 5363 NEW BEST:: SOT 10313 SOS 3731 HAS SOPS 3731 HAS SOUS 3087 HAS SOUPS 3087 WITH SCORE 3090.731
AT ITER 5383 NEW BEST:: SOT 10313 SOS 3729 HAS SOPS 3729 HAS SOUS 3085 HAS SOUPS 3085 WITH SCORE 3088.729
AT ITER 5424 NEW BEST:: SOT 10296 SOS 3719 HAS SOPS 3719 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3083.719
AT ITER 5447 NEW BEST:: SOT 10296 SOS 3717 HAS SOPS 3717 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3083.717
AT ITER 5460 NEW BEST:: SOT 10296 SOS 3717 HAS SOPS 3717 HAS SOUS 3079 HAS SOUPS 3079 WITH SCORE 3082.717
AT ITER 5509 NEW BEST:: SOT 10290 SOS 3725 HAS SOPS 3725 HAS SOUS 3073 HAS SOUPS 3073 WITH SCORE 3076.725
AT ITER 5532 NEW BEST:: SOT 10290 SOS 3721 HAS SOPS 3721 HAS SOUS 3069 HAS SOUPS 3069 WITH SCORE 3072.721
AT ITER 5683 NEW BEST:: SOT 10291 SOS 3722 HAS SOPS 3722 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3071.722
AT ITER 5910 NEW BEST:: SOT 10290 SOS 3707 HAS SOPS 3707 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3063.707
AT ITER 5946 NEW BEST:: SOT 10290 SOS 3706 HAS SOPS 3706 HAS SOUS 3059 HAS SOUPS 3059 WITH SCORE 3062.706
AT ITER 6061 NEW BEST:: SOT 10288 SOS 3704 HAS SOPS 3704 HAS SOUS 3057 HAS SOUPS 3057 WITH SCORE 3060.704
AT ITER 6184 NEW BEST:: SOT 10280 SOS 3713 HAS SOPS 3713 HAS SOUS 3055 HAS SOUPS 3055 WITH SCORE 3058.713
AT ITER 6189 NEW BEST:: SOT 10289 SOS 3722 HAS SOPS 3722 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3057.722
AT ITER 6195 NEW BEST:: SOT 10288 SOS 3720 HAS SOPS 3720 HAS SOUS 3053 HAS SOUPS 3053 WITH SCORE 3056.72
AT ITER 6265 NEW BEST:: SOT 10283 SOS 3715 HAS SOPS 3715 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3051.715
AT ITER 6317 NEW BEST:: SOT 10280 SOS 3709 HAS SOPS 3709 HAS SOUS 3042 HAS SOUPS 3042 WITH SCORE 3045.709
AT ITER 6440 NEW BEST:: SOT 10279 SOS 3708 HAS SOPS 3708 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3044.708
AT ITER 6553 NEW BEST:: SOT 10278 SOS 3702 HAS SOPS 3702 HAS SOUS 3039 HAS SOUPS 3039 WITH SCORE 3042.702
AT ITER 6591 NEW BEST:: SOT 10278 SOS 3701 HAS SOPS 3701 HAS SOUS 3038 HAS SOUPS 3038 WITH SCORE 3041.701
AT ITER 6663 NEW BEST:: SOT 10271 SOS 3692 HAS SOPS 3692 HAS SOUS 3036 HAS SOUPS 3036 WITH SCORE 3039.692
AT ITER 6676 NEW BEST:: SOT 10270 SOS 3691 HAS SOPS 3691 HAS SOUS 3036 HAS SOUPS 3036 WITH SCORE 3039.691
AT ITER 6727 NEW BEST:: SOT 10270 SOS 3689 HAS SOPS 3689 HAS SOUS 3035 HAS SOUPS 3035 WITH SCORE 3038.689
AT ITER 6825 NEW BEST:: SOT 10270 SOS 3688 HAS SOPS 3688 HAS SOUS 3034 HAS SOUPS 3034 WITH SCORE 3037.688
AT ITER 6919 NEW BEST:: SOT 10267 SOS 3685 HAS SOPS 3685 HAS SOUS 3031 HAS SOUPS 3031 WITH SCORE 3034.685
AT ITER 6989 NEW BEST:: SOT 10267 SOS 3680 HAS SOPS 3680 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3033.68
AT ITER 7335 NEW BEST:: SOT 10266 SOS 3679 HAS SOPS 3679 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3031.679
AT ITER 7438 NEW BEST:: SOT 10265 SOS 3676 HAS SOPS 3676 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3031.676
AT ITER 7574 NEW BEST:: SOT 10264 SOS 3674 HAS SOPS 3674 HAS SOUS 3027 HAS SOUPS 3027 WITH SCORE 3030.674
AT ITER 7582 NEW BEST:: SOT 10266 SOS 3666 HAS SOPS 3666 HAS SOUS 3027 HAS SOUPS 3027 WITH SCORE 3030.666
AT ITER 7584 NEW BEST:: SOT 10266 SOS 3661 HAS SOPS 3661 HAS SOUS 3022 HAS SOUPS 3022 WITH SCORE 3025.661
AT ITER 7621 NEW BEST:: SOT 10268 SOS 3652 HAS SOPS 3652 HAS SOUS 3007 HAS SOUPS 3007 WITH SCORE 3010.652
AT ITER 7805 NEW BEST:: SOT 10267 SOS 3653 HAS SOPS 3653 HAS SOUS 3006 HAS SOUPS 3006 WITH SCORE 3009.653
AT ITER 7837 NEW BEST:: SOT 10266 SOS 3648 HAS SOPS 3648 HAS SOUS 3004 HAS SOUPS 3004 WITH SCORE 3007.648
AT ITER 7904 NEW BEST:: SOT 10266 SOS 3645 HAS SOPS 3645 HAS SOUS 3003 HAS SOUPS 3003 WITH SCORE 3006.645
AT ITER 7927 NEW BEST:: SOT 10266 SOS 3643 HAS SOPS 3643 HAS SOUS 3003 HAS SOUPS 3003 WITH SCORE 3006.643
AT ITER 7983 NEW BEST:: SOT 10264 SOS 3639 HAS SOPS 3639 HAS SOUS 3001 HAS SOUPS 3001 WITH SCORE 3004.639
AT ITER 8059 NEW BEST:: SOT 10264 SOS 3638 HAS SOPS 3638 HAS SOUS 3000 HAS SOUPS 3000 WITH SCORE 3003.638
AT ITER 8070 NEW BEST:: SOT 10261 SOS 3638 HAS SOPS 3638 HAS SOUS 2999 HAS SOUPS 2999 WITH SCORE 3002.638
AT ITER 8181 NEW BEST:: SOT 10259 SOS 3635 HAS SOPS 3635 HAS SOUS 2996 HAS SOUPS 2996 WITH SCORE 2999.635
AT ITER 8280 NEW BEST:: SOT 10259 SOS 3627 HAS SOPS 3627 HAS SOUS 2988 HAS SOUPS 2988 WITH SCORE 2991.627
AT ITER 8283 NEW BEST:: SOT 10259 SOS 3625 HAS SOPS 3625 HAS SOUS 2988 HAS SOUPS 2988 WITH SCORE 2991.625
AT ITER 8715 NEW BEST:: SOT 10259 SOS 3625 HAS SOPS 3625 HAS SOUS 2987 HAS SOUPS 2987 WITH SCORE 2990.625
AT ITER 8777 NEW BEST:: SOT 10259 SOS 3624 HAS SOPS 3624 HAS SOUS 2987 HAS SOUPS 2987 WITH SCORE 2990.624
AT ITER 8911 NEW BEST:: SOT 10258 SOS 3621 HAS SOPS 3621 HAS SOUS 2987 HAS SOUPS 2987 WITH SCORE 2990.621
AT ITER 9486 NEW BEST:: SOT 10256 SOS 3612 HAS SOPS 3612 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2988.612
AT ITER 9525 NEW BEST:: SOT 10256 SOS 3614 HAS SOPS 3614 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2987.614
AT ITER 9550 NEW BEST:: SOT 10256 SOS 3613 HAS SOPS 3613 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2987.613
AT ITER 9556 NEW BEST:: SOT 10255 SOS 3614 HAS SOPS 3614 HAS SOUS 2983 HAS SOUPS 2983 WITH SCORE 2986.614
STATE_SPACE STATES 4717886881 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 20 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 39697223744 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678271713316

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

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="DatabaseWithMutex-COL-04"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is DatabaseWithMutex-COL-04, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814473201032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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