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.r107-tall-167814485001032.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 smartxred
Input is DatabaseWithMutex-COL-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814485001032
=====================================================================

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

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DatabaseWithMutex-COL-04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 11:26:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 11:26:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 11:26:10] [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-10 11:26:10] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 11:26:11] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 615 ms
[2023-03-10 11:26:11] [INFO ] Imported 11 HL places and 8 HL transitions for a total of 140 PT places and 128.0 transition bindings in 13 ms.
[2023-03-10 11:26:11] [INFO ] Unfolded HLPN to a Petri net with 140 places and 128 transitions 416 arcs in 14 ms.
[2023-03-10 11:26:11] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-10 11:26:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 140 places, 128 transitions and 416 arcs took 4 ms.
Total runtime 730 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DatabaseWithMutex (COL), instance 04
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/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 3 NEW BEST:: SOT 11213 SOS 4556 HAS SOPS 4556 HAS SOUS 4290 HAS SOUPS 4290 WITH SCORE 4294.556
AT ITER 15 NEW BEST:: SOT 11201 SOS 4461 HAS SOPS 4461 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4260.461
AT ITER 17 NEW BEST:: SOT 11162 SOS 4488 HAS SOPS 4488 HAS SOUS 4247 HAS SOUPS 4247 WITH SCORE 4251.488
AT ITER 26 NEW BEST:: SOT 11142 SOS 4486 HAS SOPS 4486 HAS SOUS 4224 HAS SOUPS 4224 WITH SCORE 4228.486
AT ITER 30 NEW BEST:: SOT 11115 SOS 4457 HAS SOPS 4457 HAS SOUS 4182 HAS SOUPS 4182 WITH SCORE 4186.457
AT ITER 31 NEW BEST:: SOT 11102 SOS 4403 HAS SOPS 4403 HAS SOUS 4167 HAS SOUPS 4167 WITH SCORE 4171.403
AT ITER 32 NEW BEST:: SOT 11076 SOS 4390 HAS SOPS 4390 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4158.39
AT ITER 36 NEW BEST:: SOT 11052 SOS 4371 HAS SOPS 4371 HAS SOUS 4123 HAS SOUPS 4123 WITH SCORE 4127.371
AT ITER 38 NEW BEST:: SOT 11035 SOS 4373 HAS SOPS 4373 HAS SOUS 4120 HAS SOUPS 4120 WITH SCORE 4124.373
AT ITER 39 NEW BEST:: SOT 10980 SOS 4385 HAS SOPS 4385 HAS SOUS 4108 HAS SOUPS 4108 WITH SCORE 4112.385
AT ITER 48 NEW BEST:: SOT 10979 SOS 4373 HAS SOPS 4373 HAS SOUS 4104 HAS SOUPS 4104 WITH SCORE 4108.373
AT ITER 50 NEW BEST:: SOT 10979 SOS 4372 HAS SOPS 4372 HAS SOUS 4103 HAS SOUPS 4103 WITH SCORE 4107.372
AT ITER 54 NEW BEST:: SOT 10926 SOS 4339 HAS SOPS 4339 HAS SOUS 4070 HAS SOUPS 4070 WITH SCORE 4074.339
AT ITER 68 NEW BEST:: SOT 10917 SOS 4317 HAS SOPS 4317 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4055.317
AT ITER 83 NEW BEST:: SOT 10917 SOS 4317 HAS SOPS 4317 HAS SOUS 4045 HAS SOUPS 4045 WITH SCORE 4049.317
AT ITER 93 NEW BEST:: SOT 10914 SOS 4315 HAS SOPS 4315 HAS SOUS 4044 HAS SOUPS 4044 WITH SCORE 4048.315
AT ITER 118 NEW BEST:: SOT 10914 SOS 4284 HAS SOPS 4284 HAS SOUS 4013 HAS SOUPS 4013 WITH SCORE 4017.284
AT ITER 141 NEW BEST:: SOT 10914 SOS 4280 HAS SOPS 4280 HAS SOUS 4013 HAS SOUPS 4013 WITH SCORE 4017.28
AT ITER 155 NEW BEST:: SOT 10910 SOS 4251 HAS SOPS 4251 HAS SOUS 4000 HAS SOUPS 4000 WITH SCORE 4004.251
AT ITER 157 NEW BEST:: SOT 10896 SOS 4251 HAS SOPS 4251 HAS SOUS 3988 HAS SOUPS 3988 WITH SCORE 3992.251
AT ITER 158 NEW BEST:: SOT 10873 SOS 4260 HAS SOPS 4260 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3959.26
AT ITER 165 NEW BEST:: SOT 10873 SOS 4260 HAS SOPS 4260 HAS SOUS 3944 HAS SOUPS 3944 WITH SCORE 3948.26
AT ITER 178 NEW BEST:: SOT 10852 SOS 4248 HAS SOPS 4248 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3936.248
AT ITER 201 NEW BEST:: SOT 10843 SOS 4230 HAS SOPS 4230 HAS SOUS 3923 HAS SOUPS 3923 WITH SCORE 3927.23
AT ITER 221 NEW BEST:: SOT 10832 SOS 4299 HAS SOPS 4299 HAS SOUS 3892 HAS SOUPS 3892 WITH SCORE 3896.299
AT ITER 248 NEW BEST:: SOT 10832 SOS 4291 HAS SOPS 4291 HAS SOUS 3884 HAS SOUPS 3884 WITH SCORE 3888.291
AT ITER 264 NEW BEST:: SOT 10832 SOS 4288 HAS SOPS 4288 HAS SOUS 3884 HAS SOUPS 3884 WITH SCORE 3888.288
AT ITER 265 NEW BEST:: SOT 10832 SOS 4286 HAS SOPS 4286 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3886.286
AT ITER 270 NEW BEST:: SOT 10804 SOS 4212 HAS SOPS 4212 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3852.212
AT ITER 275 NEW BEST:: SOT 10804 SOS 4202 HAS SOPS 4202 HAS SOUS 3842 HAS SOUPS 3842 WITH SCORE 3846.202
AT ITER 287 NEW BEST:: SOT 10793 SOS 4191 HAS SOPS 4191 HAS SOUS 3831 HAS SOUPS 3831 WITH SCORE 3835.191
AT ITER 290 NEW BEST:: SOT 10794 SOS 4183 HAS SOPS 4183 HAS SOUS 3823 HAS SOUPS 3823 WITH SCORE 3827.183
AT ITER 294 NEW BEST:: SOT 10765 SOS 4163 HAS SOPS 4163 HAS SOUS 3794 HAS SOUPS 3794 WITH SCORE 3798.163
AT ITER 296 NEW BEST:: SOT 10744 SOS 4153 HAS SOPS 4153 HAS SOUS 3786 HAS SOUPS 3786 WITH SCORE 3790.153
AT ITER 312 NEW BEST:: SOT 10754 SOS 4147 HAS SOPS 4147 HAS SOUS 3774 HAS SOUPS 3774 WITH SCORE 3778.147
AT ITER 320 NEW BEST:: SOT 10693 SOS 4122 HAS SOPS 4122 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3750.122
AT ITER 330 NEW BEST:: SOT 10693 SOS 4115 HAS SOPS 4115 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3750.115
AT ITER 348 NEW BEST:: SOT 10691 SOS 4114 HAS SOPS 4114 HAS SOUS 3745 HAS SOUPS 3745 WITH SCORE 3749.114
AT ITER 350 NEW BEST:: SOT 10694 SOS 4116 HAS SOPS 4116 HAS SOUS 3744 HAS SOUPS 3744 WITH SCORE 3748.116
AT ITER 363 NEW BEST:: SOT 10679 SOS 4109 HAS SOPS 4109 HAS SOUS 3737 HAS SOUPS 3737 WITH SCORE 3741.109
AT ITER 372 NEW BEST:: SOT 10682 SOS 4100 HAS SOPS 4100 HAS SOUS 3734 HAS SOUPS 3734 WITH SCORE 3738.1
AT ITER 397 NEW BEST:: SOT 10661 SOS 4078 HAS SOPS 4078 HAS SOUS 3709 HAS SOUPS 3709 WITH SCORE 3713.078
AT ITER 414 NEW BEST:: SOT 10633 SOS 4118 HAS SOPS 4118 HAS SOUS 3705 HAS SOUPS 3705 WITH SCORE 3709.118
AT ITER 456 NEW BEST:: SOT 10637 SOS 4063 HAS SOPS 4063 HAS SOUS 3681 HAS SOUPS 3681 WITH SCORE 3685.063
AT ITER 457 NEW BEST:: SOT 10623 SOS 4035 HAS SOPS 4035 HAS SOUS 3653 HAS SOUPS 3653 WITH SCORE 3657.035
AT ITER 465 NEW BEST:: SOT 10604 SOS 4016 HAS SOPS 4016 HAS SOUS 3634 HAS SOUPS 3634 WITH SCORE 3638.016
AT ITER 476 NEW BEST:: SOT 10601 SOS 4010 HAS SOPS 4010 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3632.01
AT ITER 482 NEW BEST:: SOT 10595 SOS 4013 HAS SOPS 4013 HAS SOUS 3625 HAS SOUPS 3625 WITH SCORE 3629.013
AT ITER 506 NEW BEST:: SOT 10595 SOS 4012 HAS SOPS 4012 HAS SOUS 3624 HAS SOUPS 3624 WITH SCORE 3628.012
AT ITER 530 NEW BEST:: SOT 10594 SOS 4010 HAS SOPS 4010 HAS SOUS 3623 HAS SOUPS 3623 WITH SCORE 3627.01
AT ITER 535 NEW BEST:: SOT 10579 SOS 3995 HAS SOPS 3995 HAS SOUS 3602 HAS SOUPS 3602 WITH SCORE 3605.995
AT ITER 544 NEW BEST:: SOT 10576 SOS 3992 HAS SOPS 3992 HAS SOUS 3596 HAS SOUPS 3596 WITH SCORE 3599.992
AT ITER 562 NEW BEST:: SOT 10566 SOS 4014 HAS SOPS 4014 HAS SOUS 3586 HAS SOUPS 3586 WITH SCORE 3590.014
AT ITER 595 NEW BEST:: SOT 10568 SOS 3992 HAS SOPS 3992 HAS SOUS 3586 HAS SOUPS 3586 WITH SCORE 3589.992
AT ITER 597 NEW BEST:: SOT 10568 SOS 3990 HAS SOPS 3990 HAS SOUS 3582 HAS SOUPS 3582 WITH SCORE 3585.99
AT ITER 598 NEW BEST:: SOT 10568 SOS 3985 HAS SOPS 3985 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3580.985
AT ITER 626 NEW BEST:: SOT 10566 SOS 3983 HAS SOPS 3983 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3580.983
AT ITER 628 NEW BEST:: SOT 10517 SOS 3998 HAS SOPS 3998 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3566.998
AT ITER 662 NEW BEST:: SOT 10517 SOS 3998 HAS SOPS 3998 HAS SOUS 3562 HAS SOUPS 3562 WITH SCORE 3565.998
AT ITER 666 NEW BEST:: SOT 10517 SOS 3980 HAS SOPS 3980 HAS SOUS 3544 HAS SOUPS 3544 WITH SCORE 3547.98
AT ITER 687 NEW BEST:: SOT 10521 SOS 3980 HAS SOPS 3980 HAS SOUS 3543 HAS SOUPS 3543 WITH SCORE 3546.98
AT ITER 695 NEW BEST:: SOT 10516 SOS 3967 HAS SOPS 3967 HAS SOUS 3531 HAS SOUPS 3531 WITH SCORE 3534.967
AT ITER 706 NEW BEST:: SOT 10539 SOS 3923 HAS SOPS 3923 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3532.923
AT ITER 728 NEW BEST:: SOT 10539 SOS 3917 HAS SOPS 3917 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3532.917
AT ITER 737 NEW BEST:: SOT 10531 SOS 3903 HAS SOPS 3903 HAS SOUS 3520 HAS SOUPS 3520 WITH SCORE 3523.903
AT ITER 749 NEW BEST:: SOT 10531 SOS 3898 HAS SOPS 3898 HAS SOUS 3515 HAS SOUPS 3515 WITH SCORE 3518.898
AT ITER 758 NEW BEST:: SOT 10530 SOS 3898 HAS SOPS 3898 HAS SOUS 3513 HAS SOUPS 3513 WITH SCORE 3516.898
AT ITER 774 NEW BEST:: SOT 10510 SOS 3908 HAS SOPS 3908 HAS SOUS 3483 HAS SOUPS 3483 WITH SCORE 3486.908
AT ITER 781 NEW BEST:: SOT 10501 SOS 3899 HAS SOPS 3899 HAS SOUS 3467 HAS SOUPS 3467 WITH SCORE 3470.899
AT ITER 801 NEW BEST:: SOT 10501 SOS 3899 HAS SOPS 3899 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3469.899
AT ITER 807 NEW BEST:: SOT 10495 SOS 3893 HAS SOPS 3893 HAS SOUS 3460 HAS SOUPS 3460 WITH SCORE 3463.893
AT ITER 822 NEW BEST:: SOT 10480 SOS 3921 HAS SOPS 3921 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3458.921
AT ITER 847 NEW BEST:: SOT 10470 SOS 3935 HAS SOPS 3935 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3455.935
AT ITER 890 NEW BEST:: SOT 10470 SOS 3935 HAS SOPS 3935 HAS SOUS 3440 HAS SOUPS 3440 WITH SCORE 3443.935
AT ITER 911 NEW BEST:: SOT 10458 SOS 3923 HAS SOPS 3923 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3437.923
AT ITER 946 NEW BEST:: SOT 10458 SOS 3920 HAS SOPS 3920 HAS SOUS 3431 HAS SOUPS 3431 WITH SCORE 3434.92
AT ITER 992 NEW BEST:: SOT 10467 SOS 3902 HAS SOPS 3902 HAS SOUS 3428 HAS SOUPS 3428 WITH SCORE 3431.902
AT ITER 1028 NEW BEST:: SOT 10463 SOS 3895 HAS SOPS 3895 HAS SOUS 3428 HAS SOUPS 3428 WITH SCORE 3431.895
AT ITER 1041 NEW BEST:: SOT 10449 SOS 3871 HAS SOPS 3871 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3419.871
AT ITER 1055 NEW BEST:: SOT 10434 SOS 3860 HAS SOPS 3860 HAS SOUS 3405 HAS SOUPS 3405 WITH SCORE 3408.86
AT ITER 1074 NEW BEST:: SOT 10434 SOS 3857 HAS SOPS 3857 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3405.857
AT ITER 1077 NEW BEST:: SOT 10407 SOS 3840 HAS SOPS 3840 HAS SOUS 3385 HAS SOUPS 3385 WITH SCORE 3388.84
AT ITER 1091 NEW BEST:: SOT 10379 SOS 3864 HAS SOPS 3864 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3381.864
AT ITER 1150 NEW BEST:: SOT 10365 SOS 3810 HAS SOPS 3810 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3353.81
AT ITER 1177 NEW BEST:: SOT 10367 SOS 3812 HAS SOPS 3812 HAS SOUS 3348 HAS SOUPS 3348 WITH SCORE 3351.812
AT ITER 1183 NEW BEST:: SOT 10366 SOS 3811 HAS SOPS 3811 HAS SOUS 3347 HAS SOUPS 3347 WITH SCORE 3350.811
AT ITER 1188 NEW BEST:: SOT 10432 SOS 3851 HAS SOPS 3851 HAS SOUS 3329 HAS SOUPS 3329 WITH SCORE 3332.851
AT ITER 1238 NEW BEST:: SOT 10413 SOS 3869 HAS SOPS 3869 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3329.869
AT ITER 1240 NEW BEST:: SOT 10409 SOS 3865 HAS SOPS 3865 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3329.865
AT ITER 1247 NEW BEST:: SOT 10409 SOS 3857 HAS SOPS 3857 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3329.857
AT ITER 1286 NEW BEST:: SOT 10411 SOS 3830 HAS SOPS 3830 HAS SOUS 3322 HAS SOUPS 3322 WITH SCORE 3325.83
AT ITER 1303 NEW BEST:: SOT 10411 SOS 3847 HAS SOPS 3847 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3324.847
AT ITER 1320 NEW BEST:: SOT 10408 SOS 3850 HAS SOPS 3850 HAS SOUS 3318 HAS SOUPS 3318 WITH SCORE 3321.85
AT ITER 1334 NEW BEST:: SOT 10404 SOS 3860 HAS SOPS 3860 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3317.86
AT ITER 1353 NEW BEST:: SOT 10403 SOS 3861 HAS SOPS 3861 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3315.861
AT ITER 1373 NEW BEST:: SOT 10406 SOS 3861 HAS SOPS 3861 HAS SOUS 3300 HAS SOUPS 3300 WITH SCORE 3303.861
AT ITER 1496 NEW BEST:: SOT 10380 SOS 3840 HAS SOPS 3840 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3282.84
AT ITER 1501 NEW BEST:: SOT 10376 SOS 3799 HAS SOPS 3799 HAS SOUS 3270 HAS SOUPS 3270 WITH SCORE 3273.799
AT ITER 1517 NEW BEST:: SOT 10373 SOS 3796 HAS SOPS 3796 HAS SOUS 3268 HAS SOUPS 3268 WITH SCORE 3271.796
AT ITER 1534 NEW BEST:: SOT 10371 SOS 3794 HAS SOPS 3794 HAS SOUS 3266 HAS SOUPS 3266 WITH SCORE 3269.794
AT ITER 1557 NEW BEST:: SOT 10362 SOS 3793 HAS SOPS 3793 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3263.793
AT ITER 1589 NEW BEST:: SOT 10360 SOS 3804 HAS SOPS 3804 HAS SOUS 3255 HAS SOUPS 3255 WITH SCORE 3258.804
AT ITER 1624 NEW BEST:: SOT 10360 SOS 3792 HAS SOPS 3792 HAS SOUS 3252 HAS SOUPS 3252 WITH SCORE 3255.792
AT ITER 1627 NEW BEST:: SOT 10359 SOS 3790 HAS SOPS 3790 HAS SOUS 3250 HAS SOUPS 3250 WITH SCORE 3253.79
AT ITER 1632 NEW BEST:: SOT 10358 SOS 3788 HAS SOPS 3788 HAS SOUS 3248 HAS SOUPS 3248 WITH SCORE 3251.788
AT ITER 1641 NEW BEST:: SOT 10363 SOS 3777 HAS SOPS 3777 HAS SOUS 3245 HAS SOUPS 3245 WITH SCORE 3248.777
AT ITER 1661 NEW BEST:: SOT 10364 SOS 3774 HAS SOPS 3774 HAS SOUS 3242 HAS SOUPS 3242 WITH SCORE 3245.774
AT ITER 1683 NEW BEST:: SOT 10364 SOS 3774 HAS SOPS 3774 HAS SOUS 3240 HAS SOUPS 3240 WITH SCORE 3243.774
AT ITER 1718 NEW BEST:: SOT 10364 SOS 3770 HAS SOPS 3770 HAS SOUS 3240 HAS SOUPS 3240 WITH SCORE 3243.77
AT ITER 1790 NEW BEST:: SOT 10357 SOS 3764 HAS SOPS 3764 HAS SOUS 3237 HAS SOUPS 3237 WITH SCORE 3240.764
AT ITER 1838 NEW BEST:: SOT 10349 SOS 3745 HAS SOPS 3745 HAS SOUS 3221 HAS SOUPS 3221 WITH SCORE 3224.745
AT ITER 1862 NEW BEST:: SOT 10377 SOS 3722 HAS SOPS 3722 HAS SOUS 3219 HAS SOUPS 3219 WITH SCORE 3222.722
AT ITER 1961 NEW BEST:: SOT 10375 SOS 3720 HAS SOPS 3720 HAS SOUS 3215 HAS SOUPS 3215 WITH SCORE 3218.72
AT ITER 1979 NEW BEST:: SOT 10374 SOS 3722 HAS SOPS 3722 HAS SOUS 3214 HAS SOUPS 3214 WITH SCORE 3217.722
AT ITER 1982 NEW BEST:: SOT 10369 SOS 3727 HAS SOPS 3727 HAS SOUS 3209 HAS SOUPS 3209 WITH SCORE 3212.727
AT ITER 2075 NEW BEST:: SOT 10369 SOS 3726 HAS SOPS 3726 HAS SOUS 3208 HAS SOUPS 3208 WITH SCORE 3211.726
AT ITER 2093 NEW BEST:: SOT 10369 SOS 3719 HAS SOPS 3719 HAS SOUS 3202 HAS SOUPS 3202 WITH SCORE 3205.719
AT ITER 2287 NEW BEST:: SOT 10368 SOS 3718 HAS SOPS 3718 HAS SOUS 3201 HAS SOUPS 3201 WITH SCORE 3204.718
AT ITER 2297 NEW BEST:: SOT 10363 SOS 3710 HAS SOPS 3710 HAS SOUS 3201 HAS SOUPS 3201 WITH SCORE 3204.71
AT ITER 2330 NEW BEST:: SOT 10361 SOS 3712 HAS SOPS 3712 HAS SOUS 3197 HAS SOUPS 3197 WITH SCORE 3200.712
AT ITER 2370 NEW BEST:: SOT 10356 SOS 3708 HAS SOPS 3708 HAS SOUS 3192 HAS SOUPS 3192 WITH SCORE 3195.708
AT ITER 2373 NEW BEST:: SOT 10355 SOS 3706 HAS SOPS 3706 HAS SOUS 3190 HAS SOUPS 3190 WITH SCORE 3193.706
AT ITER 2375 NEW BEST:: SOT 10355 SOS 3702 HAS SOPS 3702 HAS SOUS 3189 HAS SOUPS 3189 WITH SCORE 3192.702
AT ITER 2383 NEW BEST:: SOT 10340 SOS 3687 HAS SOPS 3687 HAS SOUS 3174 HAS SOUPS 3174 WITH SCORE 3177.687
AT ITER 2404 NEW BEST:: SOT 10340 SOS 3684 HAS SOPS 3684 HAS SOUS 3171 HAS SOUPS 3171 WITH SCORE 3174.684
AT ITER 2429 NEW BEST:: SOT 10338 SOS 3682 HAS SOPS 3682 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3172.682
AT ITER 2475 NEW BEST:: SOT 10334 SOS 3676 HAS SOPS 3676 HAS SOUS 3165 HAS SOUPS 3165 WITH SCORE 3168.676
AT ITER 2476 NEW BEST:: SOT 10331 SOS 3673 HAS SOPS 3673 HAS SOUS 3156 HAS SOUPS 3156 WITH SCORE 3159.673
AT ITER 2481 NEW BEST:: SOT 10344 SOS 3623 HAS SOPS 3623 HAS SOUS 3150 HAS SOUPS 3150 WITH SCORE 3153.623
AT ITER 2509 NEW BEST:: SOT 10342 SOS 3622 HAS SOPS 3622 HAS SOUS 3148 HAS SOUPS 3148 WITH SCORE 3151.622
AT ITER 2581 NEW BEST:: SOT 10341 SOS 3627 HAS SOPS 3627 HAS SOUS 3147 HAS SOUPS 3147 WITH SCORE 3150.627
AT ITER 2618 NEW BEST:: SOT 10338 SOS 3624 HAS SOPS 3624 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3149.624
AT ITER 2643 NEW BEST:: SOT 10337 SOS 3624 HAS SOPS 3624 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3147.624
AT ITER 2726 NEW BEST:: SOT 10335 SOS 3623 HAS SOPS 3623 HAS SOUS 3143 HAS SOUPS 3143 WITH SCORE 3146.623
AT ITER 2736 NEW BEST:: SOT 10330 SOS 3618 HAS SOPS 3618 HAS SOUS 3141 HAS SOUPS 3141 WITH SCORE 3144.618
AT ITER 2801 NEW BEST:: SOT 10342 SOS 3628 HAS SOPS 3628 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3133.628
AT ITER 2851 NEW BEST:: SOT 10342 SOS 3627 HAS SOPS 3627 HAS SOUS 3129 HAS SOUPS 3129 WITH SCORE 3132.627
AT ITER 2954 NEW BEST:: SOT 10341 SOS 3626 HAS SOPS 3626 HAS SOUS 3129 HAS SOUPS 3129 WITH SCORE 3132.626
AT ITER 2996 NEW BEST:: SOT 10339 SOS 3631 HAS SOPS 3631 HAS SOUS 3125 HAS SOUPS 3125 WITH SCORE 3128.631
AT ITER 3062 NEW BEST:: SOT 10339 SOS 3627 HAS SOPS 3627 HAS SOUS 3125 HAS SOUPS 3125 WITH SCORE 3128.627
AT ITER 3122 NEW BEST:: SOT 10341 SOS 3623 HAS SOPS 3623 HAS SOUS 3123 HAS SOUPS 3123 WITH SCORE 3126.623
AT ITER 3131 NEW BEST:: SOT 10331 SOS 3613 HAS SOPS 3613 HAS SOUS 3113 HAS SOUPS 3113 WITH SCORE 3116.613
AT ITER 3176 NEW BEST:: SOT 10335 SOS 3609 HAS SOPS 3609 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3112.609
AT ITER 3215 NEW BEST:: SOT 10336 SOS 3607 HAS SOPS 3607 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3112.607
AT ITER 3257 NEW BEST:: SOT 10334 SOS 3605 HAS SOPS 3605 HAS SOUS 3101 HAS SOUPS 3101 WITH SCORE 3104.605
AT ITER 3281 NEW BEST:: SOT 10333 SOS 3603 HAS SOPS 3603 HAS SOUS 3099 HAS SOUPS 3099 WITH SCORE 3102.603
AT ITER 3298 NEW BEST:: SOT 10333 SOS 3600 HAS SOPS 3600 HAS SOUS 3097 HAS SOUPS 3097 WITH SCORE 3100.6
AT ITER 3329 NEW BEST:: SOT 10320 SOS 3596 HAS SOPS 3596 HAS SOUS 3093 HAS SOUPS 3093 WITH SCORE 3096.596
AT ITER 3372 NEW BEST:: SOT 10328 SOS 3596 HAS SOPS 3596 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3091.596
AT ITER 3384 NEW BEST:: SOT 10328 SOS 3595 HAS SOPS 3595 HAS SOUS 3087 HAS SOUPS 3087 WITH SCORE 3090.595
AT ITER 3410 NEW BEST:: SOT 10328 SOS 3595 HAS SOPS 3595 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3089.595
AT ITER 3414 NEW BEST:: SOT 10328 SOS 3589 HAS SOPS 3589 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3089.589
AT ITER 3442 NEW BEST:: SOT 10326 SOS 3588 HAS SOPS 3588 HAS SOUS 3085 HAS SOUPS 3085 WITH SCORE 3088.588
AT ITER 3469 NEW BEST:: SOT 10326 SOS 3586 HAS SOPS 3586 HAS SOUS 3083 HAS SOUPS 3083 WITH SCORE 3086.586
AT ITER 3490 NEW BEST:: SOT 10328 SOS 3580 HAS SOPS 3580 HAS SOUS 3083 HAS SOUPS 3083 WITH SCORE 3086.58
AT ITER 3515 NEW BEST:: SOT 10323 SOS 3587 HAS SOPS 3587 HAS SOUS 3081 HAS SOUPS 3081 WITH SCORE 3084.587
AT ITER 3539 NEW BEST:: SOT 10321 SOS 3583 HAS SOPS 3583 HAS SOUS 3077 HAS SOUPS 3077 WITH SCORE 3080.583
AT ITER 3560 NEW BEST:: SOT 10318 SOS 3582 HAS SOPS 3582 HAS SOUS 3075 HAS SOUPS 3075 WITH SCORE 3078.582
AT ITER 3575 NEW BEST:: SOT 10317 SOS 3581 HAS SOPS 3581 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3077.581
AT ITER 3667 NEW BEST:: SOT 10316 SOS 3585 HAS SOPS 3585 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3075.585
AT ITER 3707 NEW BEST:: SOT 10316 SOS 3585 HAS SOPS 3585 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3067.585
AT ITER 3711 NEW BEST:: SOT 10315 SOS 3582 HAS SOPS 3582 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3065.582
AT ITER 3727 NEW BEST:: SOT 10314 SOS 3581 HAS SOPS 3581 HAS SOUS 3061 HAS SOUPS 3061 WITH SCORE 3064.581
AT ITER 3751 NEW BEST:: SOT 10320 SOS 3556 HAS SOPS 3556 HAS SOUS 3058 HAS SOUPS 3058 WITH SCORE 3061.556
AT ITER 3851 NEW BEST:: SOT 10318 SOS 3558 HAS SOPS 3558 HAS SOUS 3056 HAS SOUPS 3056 WITH SCORE 3059.558
AT ITER 3902 NEW BEST:: SOT 10317 SOS 3557 HAS SOPS 3557 HAS SOUS 3052 HAS SOUPS 3052 WITH SCORE 3055.557
AT ITER 3945 NEW BEST:: SOT 10317 SOS 3556 HAS SOPS 3556 HAS SOUS 3051 HAS SOUPS 3051 WITH SCORE 3054.556
AT ITER 3978 NEW BEST:: SOT 10310 SOS 3546 HAS SOPS 3546 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3052.546
AT ITER 4183 NEW BEST:: SOT 10309 SOS 3545 HAS SOPS 3545 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3051.545
AT ITER 4186 NEW BEST:: SOT 10308 SOS 3544 HAS SOPS 3544 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3047.544
AT ITER 4492 NEW BEST:: SOT 10295 SOS 3537 HAS SOPS 3537 HAS SOUS 3033 HAS SOUPS 3033 WITH SCORE 3036.537
AT ITER 4587 NEW BEST:: SOT 10292 SOS 3534 HAS SOPS 3534 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3033.534
AT ITER 4700 NEW BEST:: SOT 10291 SOS 3533 HAS SOPS 3533 HAS SOUS 3029 HAS SOUPS 3029 WITH SCORE 3032.533
AT ITER 4816 NEW BEST:: SOT 10289 SOS 3531 HAS SOPS 3531 HAS SOUS 3025 HAS SOUPS 3025 WITH SCORE 3028.531
AT ITER 4854 NEW BEST:: SOT 10288 SOS 3531 HAS SOPS 3531 HAS SOUS 3023 HAS SOUPS 3023 WITH SCORE 3026.531
AT ITER 5071 NEW BEST:: SOT 10285 SOS 3529 HAS SOPS 3529 HAS SOUS 3021 HAS SOUPS 3021 WITH SCORE 3024.529
AT ITER 5245 NEW BEST:: SOT 10283 SOS 3525 HAS SOPS 3525 HAS SOUS 3019 HAS SOUPS 3019 WITH SCORE 3022.525
AT ITER 5438 NEW BEST:: SOT 10283 SOS 3524 HAS SOPS 3524 HAS SOUS 3018 HAS SOUPS 3018 WITH SCORE 3021.524
AT ITER 5492 NEW BEST:: SOT 10281 SOS 3525 HAS SOPS 3525 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3020.525
AT ITER 5508 NEW BEST:: SOT 10278 SOS 3523 HAS SOPS 3523 HAS SOUS 3015 HAS SOUPS 3015 WITH SCORE 3018.523
AT ITER 5666 NEW BEST:: SOT 10276 SOS 3523 HAS SOPS 3523 HAS SOUS 3011 HAS SOUPS 3011 WITH SCORE 3014.523
AT ITER 5696 NEW BEST:: SOT 10261 SOS 3511 HAS SOPS 3511 HAS SOUS 2999 HAS SOUPS 2999 WITH SCORE 3002.511
AT ITER 5711 NEW BEST:: SOT 10260 SOS 3508 HAS SOPS 3508 HAS SOUS 2995 HAS SOUPS 2995 WITH SCORE 2998.508
AT ITER 5814 NEW BEST:: SOT 10260 SOS 3507 HAS SOPS 3507 HAS SOUS 2994 HAS SOUPS 2994 WITH SCORE 2997.507
AT ITER 5942 NEW BEST:: SOT 10242 SOS 3501 HAS SOPS 3501 HAS SOUS 2988 HAS SOUPS 2988 WITH SCORE 2991.501
AT ITER 5999 NEW BEST:: SOT 10246 SOS 3505 HAS SOPS 3505 HAS SOUS 2987 HAS SOUPS 2987 WITH SCORE 2990.505
AT ITER 6030 NEW BEST:: SOT 10246 SOS 3501 HAS SOPS 3501 HAS SOUS 2987 HAS SOUPS 2987 WITH SCORE 2990.501
AT ITER 6334 NEW BEST:: SOT 10246 SOS 3500 HAS SOPS 3500 HAS SOUS 2987 HAS SOUPS 2987 WITH SCORE 2990.5
AT ITER 6424 NEW BEST:: SOT 10246 SOS 3498 HAS SOPS 3498 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2988.498
AT ITER 6438 NEW BEST:: SOT 10227 SOS 3499 HAS SOPS 3499 HAS SOUS 2972 HAS SOUPS 2972 WITH SCORE 2975.499
AT ITER 6466 NEW BEST:: SOT 10226 SOS 3497 HAS SOPS 3497 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2973.497
AT ITER 6568 NEW BEST:: SOT 10225 SOS 3496 HAS SOPS 3496 HAS SOUS 2969 HAS SOUPS 2969 WITH SCORE 2972.496
AT ITER 6895 NEW BEST:: SOT 10224 SOS 3498 HAS SOPS 3498 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2971.498
AT ITER 7057 NEW BEST:: SOT 10224 SOS 3496 HAS SOPS 3496 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2971.496
AT ITER 7086 NEW BEST:: SOT 10223 SOS 3496 HAS SOPS 3496 HAS SOUS 2967 HAS SOUPS 2967 WITH SCORE 2970.496
AT ITER 7320 NEW BEST:: SOT 10218 SOS 3516 HAS SOPS 3516 HAS SOUS 2964 HAS SOUPS 2964 WITH SCORE 2967.516
AT ITER 7357 NEW BEST:: SOT 10216 SOS 3512 HAS SOPS 3512 HAS SOUS 2960 HAS SOUPS 2960 WITH SCORE 2963.512
AT ITER 7563 NEW BEST:: SOT 10215 SOS 3511 HAS SOPS 3511 HAS SOUS 2959 HAS SOUPS 2959 WITH SCORE 2962.511
AT ITER 7674 NEW BEST:: SOT 10215 SOS 3509 HAS SOPS 3509 HAS SOUS 2957 HAS SOUPS 2957 WITH SCORE 2960.509
AT ITER 7884 NEW BEST:: SOT 10215 SOS 3508 HAS SOPS 3508 HAS SOUS 2956 HAS SOUPS 2956 WITH SCORE 2959.508
AT ITER 8035 NEW BEST:: SOT 10214 SOS 3507 HAS SOPS 3507 HAS SOUS 2955 HAS SOUPS 2955 WITH SCORE 2958.507
AT ITER 8047 NEW BEST:: SOT 10211 SOS 3507 HAS SOPS 3507 HAS SOUS 2953 HAS SOUPS 2953 WITH SCORE 2956.507
AT ITER 8059 NEW BEST:: SOT 10203 SOS 3518 HAS SOPS 3518 HAS SOUS 2951 HAS SOUPS 2951 WITH SCORE 2954.518
AT ITER 8408 NEW BEST:: SOT 10202 SOS 3517 HAS SOPS 3517 HAS SOUS 2950 HAS SOUPS 2950 WITH SCORE 2953.517
AT ITER 8486 NEW BEST:: SOT 10201 SOS 3515 HAS SOPS 3515 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2949.515
AT ITER 8762 NEW BEST:: SOT 10197 SOS 3497 HAS SOPS 3497 HAS SOUS 2941 HAS SOUPS 2941 WITH SCORE 2944.497
AT ITER 8982 NEW BEST:: SOT 10198 SOS 3493 HAS SOPS 3493 HAS SOUS 2937 HAS SOUPS 2937 WITH SCORE 2940.493
AT ITER 9072 NEW BEST:: SOT 10196 SOS 3557 HAS SOPS 3557 HAS SOUS 2935 HAS SOUPS 2935 WITH SCORE 2938.557
AT ITER 9158 NEW BEST:: SOT 10183 SOS 3549 HAS SOPS 3549 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2925.549
AT ITER 9271 NEW BEST:: SOT 10181 SOS 3548 HAS SOPS 3548 HAS SOUS 2921 HAS SOUPS 2921 WITH SCORE 2924.548
AT ITER 9344 NEW BEST:: SOT 10180 SOS 3547 HAS SOPS 3547 HAS SOUS 2921 HAS SOUPS 2921 WITH SCORE 2924.547
AT ITER 9419 NEW BEST:: SOT 10179 SOS 3548 HAS SOPS 3548 HAS SOUS 2919 HAS SOUPS 2919 WITH SCORE 2922.548
AT ITER 9589 NEW BEST:: SOT 10178 SOS 3547 HAS SOPS 3547 HAS SOUS 2919 HAS SOUPS 2919 WITH SCORE 2922.547
AT ITER 9609 NEW BEST:: SOT 10179 SOS 3538 HAS SOPS 3538 HAS SOUS 2919 HAS SOUPS 2919 WITH SCORE 2922.538
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 1678447588942

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

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

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="smartxred"
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 smartxred"
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 4"
echo " Run identifier is r107-tall-167814485001032"
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 ;