Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r419-tajo-167905973800440.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is SieveSingleMsgMbox-PT-d1m64, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973800440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 864K
-rw-r--r-- 1 mcc users 7.0K Feb 26 10:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 10:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 10:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 10:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 10:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 116K Feb 26 10:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 10:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 10:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 17:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 450K 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 1679092233092

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=SieveSingleMsgMbox-PT-d1m64
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SieveSingleMsgMbox (PT), instance d1m64
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: 1295 places, 749 transitions, 2996 arcs.
AT ITER 0 NEW BEST:: SOT 191475 SOS 165858 HAS SOPS 165858 HAS SOUS 145664 HAS SOUPS 145664 WITH SCORE 145829.858
AT ITER 41 NEW BEST:: SOT 191475 SOS 165916 HAS SOPS 165916 HAS SOUS 145460 HAS SOUPS 145460 WITH SCORE 145625.916
AT ITER 42 NEW BEST:: SOT 192083 SOS 166098 HAS SOPS 166098 HAS SOUS 142744 HAS SOUPS 142744 WITH SCORE 142910.098
AT ITER 44 NEW BEST:: SOT 192083 SOS 166193 HAS SOPS 166193 HAS SOUS 141047 HAS SOUPS 141047 WITH SCORE 141213.193
AT ITER 103 NEW BEST:: SOT 192083 SOS 166332 HAS SOPS 166332 HAS SOUS 140292 HAS SOUPS 140292 WITH SCORE 140458.332
AT ITER 104 NEW BEST:: SOT 192083 SOS 166272 HAS SOPS 166272 HAS SOUS 140290 HAS SOUPS 140290 WITH SCORE 140456.272
AT ITER 145 NEW BEST:: SOT 192083 SOS 166192 HAS SOPS 166192 HAS SOUS 140281 HAS SOUPS 140281 WITH SCORE 140447.192
AT ITER 192 NEW BEST:: SOT 192083 SOS 166272 HAS SOPS 166272 HAS SOUS 139981 HAS SOUPS 139981 WITH SCORE 140147.272
AT ITER 207 NEW BEST:: SOT 192080 SOS 165692 HAS SOPS 165692 HAS SOUS 139915 HAS SOUPS 139915 WITH SCORE 140080.692
AT ITER 234 NEW BEST:: SOT 193328 SOS 166915 HAS SOPS 166915 HAS SOUS 137195 HAS SOUPS 137195 WITH SCORE 137361.915
AT ITER 238 NEW BEST:: SOT 193328 SOS 166903 HAS SOPS 166903 HAS SOUS 137194 HAS SOUPS 137194 WITH SCORE 137360.903
AT ITER 341 NEW BEST:: SOT 198135 SOS 171458 HAS SOPS 171458 HAS SOUS 136837 HAS SOUPS 136837 WITH SCORE 137008.458
AT ITER 369 NEW BEST:: SOT 198135 SOS 171413 HAS SOPS 171413 HAS SOUS 136775 HAS SOUPS 136775 WITH SCORE 136946.413
AT ITER 372 NEW BEST:: SOT 198135 SOS 171412 HAS SOPS 171412 HAS SOUS 136775 HAS SOUPS 136775 WITH SCORE 136946.412
AT ITER 384 NEW BEST:: SOT 198135 SOS 170403 HAS SOPS 170403 HAS SOUS 135918 HAS SOUPS 135918 WITH SCORE 136088.403
AT ITER 404 NEW BEST:: SOT 198135 SOS 170293 HAS SOPS 170293 HAS SOUS 134267 HAS SOUPS 134267 WITH SCORE 134437.293
AT ITER 426 NEW BEST:: SOT 200022 SOS 172025 HAS SOPS 172025 HAS SOUS 130660 HAS SOUPS 130660 WITH SCORE 130832.025
AT ITER 446 NEW BEST:: SOT 200022 SOS 171421 HAS SOPS 171421 HAS SOUS 130548 HAS SOUPS 130548 WITH SCORE 130719.421
AT ITER 483 NEW BEST:: SOT 200022 SOS 171325 HAS SOPS 171325 HAS SOUS 130501 HAS SOUPS 130501 WITH SCORE 130672.325
AT ITER 500 NEW BEST:: SOT 200035 SOS 171231 HAS SOPS 171231 HAS SOUS 130407 HAS SOUPS 130407 WITH SCORE 130578.231
AT ITER 510 NEW BEST:: SOT 201667 SOS 172771 HAS SOPS 172771 HAS SOUS 127174 HAS SOUPS 127174 WITH SCORE 127346.771
AT ITER 601 NEW BEST:: SOT 201667 SOS 171964 HAS SOPS 171964 HAS SOUS 126469 HAS SOUPS 126469 WITH SCORE 126640.964
AT ITER 641 NEW BEST:: SOT 205135 SOS 175423 HAS SOPS 175423 HAS SOUS 124742 HAS SOUPS 124742 WITH SCORE 124917.423
AT ITER 658 NEW BEST:: SOT 205135 SOS 175367 HAS SOPS 175367 HAS SOUS 124740 HAS SOUPS 124740 WITH SCORE 124915.367
AT ITER 701 NEW BEST:: SOT 205135 SOS 175095 HAS SOPS 175095 HAS SOUS 124665 HAS SOUPS 124665 WITH SCORE 124840.095
AT ITER 755 NEW BEST:: SOT 208863 SOS 178789 HAS SOPS 178789 HAS SOUS 122105 HAS SOUPS 122105 WITH SCORE 122283.789
AT ITER 817 NEW BEST:: SOT 209330 SOS 178965 HAS SOPS 178712 HAS SOUS 122224 HAS SOUPS 121971 WITH SCORE 122149.965
AT ITER 823 NEW BEST:: SOT 212866 SOS 182346 HAS SOPS 182093 HAS SOUS 118799 HAS SOUPS 118546 WITH SCORE 118728.346
AT ITER 859 NEW BEST:: SOT 212866 SOS 182260 HAS SOPS 182007 HAS SOUS 118792 HAS SOUPS 118539 WITH SCORE 118721.26
AT ITER 945 NEW BEST:: SOT 212866 SOS 182289 HAS SOPS 182036 HAS SOUS 118724 HAS SOUPS 118471 WITH SCORE 118653.289
AT ITER 962 NEW BEST:: SOT 215410 SOS 184699 HAS SOPS 184446 HAS SOUS 115397 HAS SOUPS 115144 WITH SCORE 115328.699
AT ITER 1089 NEW BEST:: SOT 215410 SOS 184692 HAS SOPS 184439 HAS SOUS 115392 HAS SOUPS 115139 WITH SCORE 115323.692
AT ITER 1110 NEW BEST:: SOT 215410 SOS 184638 HAS SOPS 184385 HAS SOUS 115392 HAS SOUPS 115139 WITH SCORE 115323.638
AT ITER 1113 NEW BEST:: SOT 215410 SOS 182536 HAS SOPS 182283 HAS SOUS 113729 HAS SOUPS 113476 WITH SCORE 113658.536
AT ITER 1133 NEW BEST:: SOT 215410 SOS 182536 HAS SOPS 182283 HAS SOUS 113726 HAS SOUPS 113473 WITH SCORE 113655.536
AT ITER 1148 NEW BEST:: SOT 215592 SOS 182393 HAS SOPS 182140 HAS SOUS 113687 HAS SOUPS 113434 WITH SCORE 113616.393
AT ITER 1197 NEW BEST:: SOT 215592 SOS 182366 HAS SOPS 182113 HAS SOUS 111161 HAS SOUPS 110908 WITH SCORE 111090.366
AT ITER 1198 NEW BEST:: SOT 215592 SOS 182351 HAS SOPS 182098 HAS SOUS 111134 HAS SOUPS 110881 WITH SCORE 111063.351
AT ITER 1232 NEW BEST:: SOT 215642 SOS 182347 HAS SOPS 182094 HAS SOUS 111104 HAS SOUPS 110851 WITH SCORE 111033.347
AT ITER 1299 NEW BEST:: SOT 217642 SOS 184054 HAS SOPS 183801 HAS SOUS 107823 HAS SOUPS 107570 WITH SCORE 107754.054
AT ITER 1364 NEW BEST:: SOT 220957 SOS 187006 HAS SOPS 186753 HAS SOUS 104428 HAS SOUPS 104175 WITH SCORE 104362.006
AT ITER 1370 NEW BEST:: SOT 221090 SOS 186907 HAS SOPS 186654 HAS SOUS 104384 HAS SOUPS 104131 WITH SCORE 104317.907
AT ITER 1414 NEW BEST:: SOT 221227 SOS 187163 HAS SOPS 186910 HAS SOUS 104267 HAS SOUPS 104014 WITH SCORE 104201.163
AT ITER 1415 NEW BEST:: SOT 221227 SOS 186096 HAS SOPS 185843 HAS SOUS 103678 HAS SOUPS 103425 WITH SCORE 103611.096
AT ITER 1500 NEW BEST:: SOT 225825 SOS 189884 HAS SOPS 189631 HAS SOUS 100878 HAS SOUPS 100625 WITH SCORE 100814.884
AT ITER 1528 NEW BEST:: SOT 225783 SOS 189842 HAS SOPS 189589 HAS SOUS 100836 HAS SOUPS 100583 WITH SCORE 100772.842
AT ITER 1538 NEW BEST:: SOT 228711 SOS 192405 HAS SOPS 192152 HAS SOUS 97491 HAS SOUPS 97238 WITH SCORE 97430.405
AT ITER 1557 NEW BEST:: SOT 228711 SOS 188902 HAS SOPS 188649 HAS SOUS 95576 HAS SOUPS 95323 WITH SCORE 95511.902
AT ITER 1573 NEW BEST:: SOT 229143 SOS 189217 HAS SOPS 188964 HAS SOUS 93892 HAS SOUPS 93639 WITH SCORE 93828.217
AT ITER 1582 NEW BEST:: SOT 229221 SOS 189176 HAS SOPS 188923 HAS SOUS 93830 HAS SOUPS 93577 WITH SCORE 93766.176
AT ITER 1598 NEW BEST:: SOT 229221 SOS 185385 HAS SOPS 185132 HAS SOUS 91585 HAS SOUPS 91332 WITH SCORE 91517.385
AT ITER 1631 NEW BEST:: SOT 229416 SOS 181455 HAS SOPS 181020 HAS SOUS 88997 HAS SOUPS 88744 WITH SCORE 88925.455
AT ITER 1642 NEW BEST:: SOT 228124 SOS 180163 HAS SOPS 179728 HAS SOUS 88793 HAS SOUPS 88540 WITH SCORE 88720.163
AT ITER 1693 NEW BEST:: SOT 228124 SOS 179315 HAS SOPS 178880 HAS SOUS 88210 HAS SOUPS 87957 WITH SCORE 88136.315
AT ITER 1741 NEW BEST:: SOT 228124 SOS 176829 HAS SOPS 176394 HAS SOUS 87007 HAS SOUPS 86754 WITH SCORE 86930.829
AT ITER 1803 NEW BEST:: SOT 228124 SOS 176496 HAS SOPS 176061 HAS SOUS 86622 HAS SOUPS 86369 WITH SCORE 86545.496
AT ITER 1884 NEW BEST:: SOT 228335 SOS 175512 HAS SOPS 175064 HAS SOUS 83911 HAS SOUPS 83658 WITH SCORE 83833.512
AT ITER 2027 NEW BEST:: SOT 229538 SOS 175556 HAS SOPS 175095 HAS SOUS 81232 HAS SOUPS 80979 WITH SCORE 81154.556
AT ITER 2034 NEW BEST:: SOT 229538 SOS 175380 HAS SOPS 174919 HAS SOUS 80973 HAS SOUPS 80720 WITH SCORE 80895.38
AT ITER 2106 NEW BEST:: SOT 229695 SOS 175464 HAS SOPS 175003 HAS SOUS 80855 HAS SOUPS 80602 WITH SCORE 80777.464
AT ITER 2231 NEW BEST:: SOT 229695 SOS 175177 HAS SOPS 174716 HAS SOUS 80786 HAS SOUPS 80533 WITH SCORE 80708.177
AT ITER 2248 NEW BEST:: SOT 230908 SOS 174429 HAS SOPS 172861 HAS SOUS 80447 HAS SOUPS 80194 WITH SCORE 80368.429
AT ITER 2290 NEW BEST:: SOT 230908 SOS 173380 HAS SOPS 171812 HAS SOUS 78938 HAS SOUPS 78685 WITH SCORE 78858.38
AT ITER 2342 NEW BEST:: SOT 230908 SOS 172668 HAS SOPS 171100 HAS SOUS 78747 HAS SOUPS 78494 WITH SCORE 78666.668
AT ITER 2399 NEW BEST:: SOT 231037 SOS 172757 HAS SOPS 171189 HAS SOUS 78577 HAS SOUPS 78324 WITH SCORE 78496.757
AT ITER 2468 NEW BEST:: SOT 232779 SOS 172107 HAS SOPS 169120 HAS SOUS 77586 HAS SOUPS 77333 WITH SCORE 77505.107
AT ITER 2491 NEW BEST:: SOT 234022 SOS 173350 HAS SOPS 170326 HAS SOUS 77553 HAS SOUPS 77300 WITH SCORE 77473.35
AT ITER 2549 NEW BEST:: SOT 233366 SOS 172694 HAS SOPS 169670 HAS SOUS 77553 HAS SOUPS 77300 WITH SCORE 77472.694
AT ITER 2565 NEW BEST:: SOT 233366 SOS 172675 HAS SOPS 169651 HAS SOUS 77532 HAS SOUPS 77279 WITH SCORE 77451.675
AT ITER 2583 NEW BEST:: SOT 233366 SOS 172678 HAS SOPS 169654 HAS SOUS 77527 HAS SOUPS 77274 WITH SCORE 77446.678
AT ITER 2612 NEW BEST:: SOT 233507 SOS 172737 HAS SOPS 169713 HAS SOUS 77326 HAS SOUPS 77073 WITH SCORE 77245.737
AT ITER 2683 NEW BEST:: SOT 237167 SOS 171247 HAS SOPS 166112 HAS SOUS 76742 HAS SOUPS 76489 WITH SCORE 76660.247
AT ITER 2692 NEW BEST:: SOT 237227 SOS 171304 HAS SOPS 166169 HAS SOUS 76283 HAS SOUPS 76030 WITH SCORE 76201.304
AT ITER 2696 NEW BEST:: SOT 237227 SOS 171179 HAS SOPS 166044 HAS SOUS 76064 HAS SOUPS 75811 WITH SCORE 75982.179
AT ITER 2723 NEW BEST:: SOT 239916 SOS 172789 HAS SOPS 165761 HAS SOUS 75287 HAS SOUPS 75034 WITH SCORE 75206.789
AT ITER 2775 NEW BEST:: SOT 240107 SOS 172926 HAS SOPS 165898 HAS SOUS 75048 HAS SOUPS 74795 WITH SCORE 74967.926
AT ITER 2787 NEW BEST:: SOT 240152 SOS 172971 HAS SOPS 165943 HAS SOUS 74278 HAS SOUPS 74025 WITH SCORE 74197.971
AT ITER 2793 NEW BEST:: SOT 243673 SOS 174651 HAS SOPS 167064 HAS SOUS 72026 HAS SOUPS 71773 WITH SCORE 71947.651
AT ITER 2797 NEW BEST:: SOT 243673 SOS 174454 HAS SOPS 166867 HAS SOUS 71723 HAS SOUPS 71470 WITH SCORE 71644.454
AT ITER 2801 NEW BEST:: SOT 247466 SOS 177146 HAS SOPS 169000 HAS SOUS 70192 HAS SOUPS 69939 WITH SCORE 70116.146
AT ITER 2852 NEW BEST:: SOT 249389 SOS 176545 HAS SOPS 166436 HAS SOUS 69021 HAS SOUPS 68768 WITH SCORE 68944.545
AT ITER 2862 NEW BEST:: SOT 249541 SOS 176605 HAS SOPS 166496 HAS SOUS 68609 HAS SOUPS 68356 WITH SCORE 68532.605
AT ITER 2896 NEW BEST:: SOT 252067 SOS 179131 HAS SOPS 168412 HAS SOUS 68424 HAS SOUPS 68171 WITH SCORE 68350.131
AT ITER 2902 NEW BEST:: SOT 252451 SOS 179345 HAS SOPS 168626 HAS SOUS 68404 HAS SOUPS 68151 WITH SCORE 68330.345
AT ITER 2905 NEW BEST:: SOT 252451 SOS 179344 HAS SOPS 168625 HAS SOUS 68402 HAS SOUPS 68149 WITH SCORE 68328.344
AT ITER 2908 NEW BEST:: SOT 252462 SOS 179186 HAS SOPS 168467 HAS SOUS 68244 HAS SOUPS 67991 WITH SCORE 68170.186
AT ITER 2970 NEW BEST:: SOT 252682 SOS 174330 HAS SOPS 163251 HAS SOUS 66211 HAS SOUPS 65958 WITH SCORE 66132.33
AT ITER 2989 NEW BEST:: SOT 252728 SOS 174333 HAS SOPS 163208 HAS SOUS 66168 HAS SOUPS 65915 WITH SCORE 66089.333
AT ITER 3023 NEW BEST:: SOT 252728 SOS 174351 HAS SOPS 163226 HAS SOUS 66114 HAS SOUPS 65861 WITH SCORE 66035.351
AT ITER 3043 NEW BEST:: SOT 228970 SOS 193531 HAS SOPS 144282 HAS SOUS 42411 HAS SOUPS 41969 WITH SCORE 42162.531
AT ITER 3160 NEW BEST:: SOT 229105 SOS 193666 HAS SOPS 144408 HAS SOUS 42402 HAS SOUPS 41960 WITH SCORE 42153.666
AT ITER 3193 NEW BEST:: SOT 229075 SOS 193636 HAS SOPS 144378 HAS SOUS 42371 HAS SOUPS 41929 WITH SCORE 42122.636
AT ITER 3234 NEW BEST:: SOT 229059 SOS 193620 HAS SOPS 144362 HAS SOUS 42371 HAS SOUPS 41929 WITH SCORE 42122.62
AT ITER 3286 NEW BEST:: SOT 233022 SOS 197539 HAS SOPS 145937 HAS SOUS 42345 HAS SOUPS 41903 WITH SCORE 42100.539
AT ITER 3342 NEW BEST:: SOT 236344 SOS 199315 HAS SOPS 141264 HAS SOUS 41853 HAS SOUPS 41411 WITH SCORE 41610.315
AT ITER 3357 NEW BEST:: SOT 236385 SOS 199311 HAS SOPS 141021 HAS SOUS 41744 HAS SOUPS 41302 WITH SCORE 41501.311
AT ITER 3361 NEW BEST:: SOT 236385 SOS 199209 HAS SOPS 140919 HAS SOUS 41594 HAS SOUPS 41152 WITH SCORE 41351.209
AT ITER 3362 NEW BEST:: SOT 236382 SOS 199021 HAS SOPS 140219 HAS SOUS 41480 HAS SOUPS 41038 WITH SCORE 41237.021
AT ITER 3418 NEW BEST:: SOT 233206 SOS 195845 HAS SOPS 140479 HAS SOUS 40706 HAS SOUPS 40264 WITH SCORE 40459.845
AT ITER 3480 NEW BEST:: SOT 232826 SOS 195465 HAS SOPS 141082 HAS SOUS 40705 HAS SOUPS 40263 WITH SCORE 40458.465
AT ITER 3529 NEW BEST:: SOT 232774 SOS 195421 HAS SOPS 141038 HAS SOUS 40683 HAS SOUPS 40241 WITH SCORE 40436.421
AT ITER 3559 NEW BEST:: SOT 232768 SOS 195415 HAS SOPS 141029 HAS SOUS 40680 HAS SOUPS 40238 WITH SCORE 40433.415
AT ITER 3580 NEW BEST:: SOT 232483 SOS 195130 HAS SOPS 140744 HAS SOUS 40635 HAS SOUPS 40193 WITH SCORE 40388.13
AT ITER 3585 NEW BEST:: SOT 231253 SOS 193900 HAS SOPS 140691 HAS SOUS 40521 HAS SOUPS 40079 WITH SCORE 40272.9
AT ITER 3597 NEW BEST:: SOT 231286 SOS 193933 HAS SOPS 140665 HAS SOUS 40462 HAS SOUPS 40020 WITH SCORE 40213.933
AT ITER 3624 NEW BEST:: SOT 229416 SOS 192063 HAS SOPS 138901 HAS SOUS 40256 HAS SOUPS 39916 WITH SCORE 40108.063
AT ITER 3729 NEW BEST:: SOT 229887 SOS 192534 HAS SOPS 139299 HAS SOUS 40222 HAS SOUPS 39882 WITH SCORE 40074.534
AT ITER 3760 NEW BEST:: SOT 229887 SOS 192504 HAS SOPS 139263 HAS SOUS 40222 HAS SOUPS 39882 WITH SCORE 40074.504
AT ITER 3789 NEW BEST:: SOT 226764 SOS 189381 HAS SOPS 136519 HAS SOUS 40133 HAS SOUPS 39793 WITH SCORE 39982.381
AT ITER 3803 NEW BEST:: SOT 226764 SOS 189337 HAS SOPS 136475 HAS SOUS 40100 HAS SOUPS 39760 WITH SCORE 39949.337
AT ITER 3851 NEW BEST:: SOT 226817 SOS 189390 HAS SOPS 136528 HAS SOUS 40076 HAS SOUPS 39736 WITH SCORE 39925.39
AT ITER 3868 NEW BEST:: SOT 225293 SOS 187866 HAS SOPS 135146 HAS SOUS 40045 HAS SOUPS 39705 WITH SCORE 39892.866
AT ITER 3877 NEW BEST:: SOT 225293 SOS 187866 HAS SOPS 135146 HAS SOUS 40042 HAS SOUPS 39702 WITH SCORE 39889.866
AT ITER 3897 NEW BEST:: SOT 224123 SOS 186696 HAS SOPS 135358 HAS SOUS 40042 HAS SOUPS 39702 WITH SCORE 39888.696
AT ITER 3920 NEW BEST:: SOT 224123 SOS 186656 HAS SOPS 135318 HAS SOUS 40002 HAS SOUPS 39662 WITH SCORE 39848.656
AT ITER 3973 NEW BEST:: SOT 228364 SOS 190621 HAS SOPS 137028 HAS SOUS 39547 HAS SOUPS 39207 WITH SCORE 39397.621
AT ITER 3989 NEW BEST:: SOT 228312 SOS 190569 HAS SOPS 136976 HAS SOUS 39495 HAS SOUPS 39155 WITH SCORE 39345.569
AT ITER 4019 NEW BEST:: SOT 228249 SOS 190506 HAS SOPS 136913 HAS SOUS 39479 HAS SOUPS 39139 WITH SCORE 39329.506
AT ITER 4049 NEW BEST:: SOT 228385 SOS 190292 HAS SOPS 136451 HAS SOUS 39398 HAS SOUPS 39058 WITH SCORE 39248.292
AT ITER 4074 NEW BEST:: SOT 231871 SOS 192250 HAS SOPS 131592 HAS SOUS 39350 HAS SOUPS 38992 WITH SCORE 39184.25
AT ITER 4081 NEW BEST:: SOT 232006 SOS 192385 HAS SOPS 131649 HAS SOUS 39316 HAS SOUPS 38958 WITH SCORE 39150.385
AT ITER 4092 NEW BEST:: SOT 234208 SOS 194587 HAS SOPS 132949 HAS SOUS 39122 HAS SOUPS 38764 WITH SCORE 38958.587
AT ITER 4104 NEW BEST:: SOT 233938 SOS 194317 HAS SOPS 132679 HAS SOUS 38878 HAS SOUPS 38520 WITH SCORE 38714.317
AT ITER 4109 NEW BEST:: SOT 233938 SOS 194317 HAS SOPS 132679 HAS SOUS 38877 HAS SOUPS 38519 WITH SCORE 38713.317
AT ITER 4110 NEW BEST:: SOT 233938 SOS 194343 HAS SOPS 132705 HAS SOUS 38864 HAS SOUPS 38506 WITH SCORE 38700.343
AT ITER 4156 NEW BEST:: SOT 236757 SOS 197162 HAS SOPS 128908 HAS SOUS 38710 HAS SOUPS 38352 WITH SCORE 38549.162
AT ITER 4174 NEW BEST:: SOT 236735 SOS 197140 HAS SOPS 128886 HAS SOUS 38710 HAS SOUPS 38352 WITH SCORE 38549.14
AT ITER 4184 NEW BEST:: SOT 236650 SOS 197051 HAS SOPS 128431 HAS SOUS 38532 HAS SOUPS 38174 WITH SCORE 38371.051
AT ITER 4197 NEW BEST:: SOT 236640 SOS 197041 HAS SOPS 128421 HAS SOUS 38531 HAS SOUPS 38173 WITH SCORE 38370.041
AT ITER 4239 NEW BEST:: SOT 234985 SOS 195386 HAS SOPS 128698 HAS SOUS 38531 HAS SOUPS 38173 WITH SCORE 38368.386
AT ITER 4294 NEW BEST:: SOT 235010 SOS 195411 HAS SOPS 128723 HAS SOUS 38529 HAS SOUPS 38171 WITH SCORE 38366.411
AT ITER 4300 NEW BEST:: SOT 235168 SOS 195569 HAS SOPS 128881 HAS SOUS 38458 HAS SOUPS 38100 WITH SCORE 38295.569
AT ITER 4443 NEW BEST:: SOT 235259 SOS 195629 HAS SOPS 128941 HAS SOUS 38361 HAS SOUPS 38003 WITH SCORE 38198.629
AT ITER 4449 NEW BEST:: SOT 235231 SOS 195601 HAS SOPS 128885 HAS SOUS 38322 HAS SOUPS 37964 WITH SCORE 38159.601
AT ITER 4454 NEW BEST:: SOT 235230 SOS 195600 HAS SOPS 128883 HAS SOUS 38283 HAS SOUPS 37925 WITH SCORE 38120.6
AT ITER 4529 NEW BEST:: SOT 234611 SOS 194981 HAS SOPS 128597 HAS SOUS 38283 HAS SOUPS 37925 WITH SCORE 38119.981
AT ITER 4637 NEW BEST:: SOT 228435 SOS 190366 HAS SOPS 123918 HAS SOUS 32214 HAS SOUPS 31837 WITH SCORE 32027.366
AT ITER 4658 NEW BEST:: SOT 226640 SOS 188571 HAS SOPS 122646 HAS SOUS 31970 HAS SOUPS 31593 WITH SCORE 31781.571
AT ITER 4666 NEW BEST:: SOT 226642 SOS 188567 HAS SOPS 122492 HAS SOUS 31921 HAS SOUPS 31544 WITH SCORE 31732.567
AT ITER 4686 NEW BEST:: SOT 226766 SOS 188407 HAS SOPS 122008 HAS SOUS 31897 HAS SOUPS 31520 WITH SCORE 31708.407
AT ITER 4789 NEW BEST:: SOT 226735 SOS 188376 HAS SOPS 121952 HAS SOUS 31840 HAS SOUPS 31463 WITH SCORE 31651.376
AT ITER 4835 NEW BEST:: SOT 226735 SOS 188376 HAS SOPS 121952 HAS SOUS 31839 HAS SOUPS 31462 WITH SCORE 31650.376
AT ITER 4874 NEW BEST:: SOT 227055 SOS 188696 HAS SOPS 122080 HAS SOUS 31807 HAS SOUPS 31430 WITH SCORE 31618.696
AT ITER 4975 NEW BEST:: SOT 224822 SOS 186463 HAS SOPS 121806 HAS SOUS 31775 HAS SOUPS 31398 WITH SCORE 31584.463
AT ITER 5002 NEW BEST:: SOT 228367 SOS 190008 HAS SOPS 119056 HAS SOUS 31638 HAS SOUPS 31261 WITH SCORE 31451.008
AT ITER 5044 NEW BEST:: SOT 228395 SOS 190036 HAS SOPS 119008 HAS SOUS 31634 HAS SOUPS 31257 WITH SCORE 31447.036
AT ITER 5061 NEW BEST:: SOT 227842 SOS 189483 HAS SOPS 119004 HAS SOUS 31634 HAS SOUPS 31257 WITH SCORE 31446.483
AT ITER 5123 NEW BEST:: SOT 227840 SOS 189481 HAS SOPS 119002 HAS SOUS 31632 HAS SOUPS 31255 WITH SCORE 31444.481
AT ITER 5125 NEW BEST:: SOT 227527 SOS 189211 HAS SOPS 118735 HAS SOUS 31520 HAS SOUPS 31143 WITH SCORE 31332.211
AT ITER 5179 NEW BEST:: SOT 227532 SOS 187631 HAS SOPS 117174 HAS SOUS 31456 HAS SOUPS 31098 WITH SCORE 31285.631
AT ITER 5186 NEW BEST:: SOT 228264 SOS 188363 HAS SOPS 117550 HAS SOUS 31388 HAS SOUPS 31030 WITH SCORE 31218.363
AT ITER 5196 NEW BEST:: SOT 228234 SOS 188333 HAS SOPS 117520 HAS SOUS 31330 HAS SOUPS 30972 WITH SCORE 31160.333
AT ITER 5202 NEW BEST:: SOT 228231 SOS 188700 HAS SOPS 117885 HAS SOUS 31321 HAS SOUPS 30961 WITH SCORE 31149.7
AT ITER 5204 NEW BEST:: SOT 227846 SOS 188315 HAS SOPS 117917 HAS SOUS 31318 HAS SOUPS 30958 WITH SCORE 31146.315
AT ITER 5211 NEW BEST:: SOT 227139 SOS 187608 HAS SOPS 117217 HAS SOUS 31283 HAS SOUPS 30923 WITH SCORE 31110.608
AT ITER 5285 NEW BEST:: SOT 227139 SOS 187608 HAS SOPS 117217 HAS SOUS 31247 HAS SOUPS 30887 WITH SCORE 31074.608
AT ITER 5378 NEW BEST:: SOT 226404 SOS 186873 HAS SOPS 117707 HAS SOUS 31166 HAS SOUPS 30806 WITH SCORE 30992.873
AT ITER 5387 NEW BEST:: SOT 226261 SOS 186730 HAS SOPS 117615 HAS SOUS 31104 HAS SOUPS 30744 WITH SCORE 30930.73
AT ITER 5521 NEW BEST:: SOT 226255 SOS 186724 HAS SOPS 117591 HAS SOUS 31092 HAS SOUPS 30732 WITH SCORE 30918.724
AT ITER 5594 NEW BEST:: SOT 226256 SOS 186725 HAS SOPS 117627 HAS SOUS 31059 HAS SOUPS 30699 WITH SCORE 30885.725
AT ITER 5635 NEW BEST:: SOT 226204 SOS 186673 HAS SOPS 117575 HAS SOUS 31044 HAS SOUPS 30684 WITH SCORE 30870.673
AT ITER 5650 NEW BEST:: SOT 225718 SOS 186187 HAS SOPS 117844 HAS SOUS 31013 HAS SOUPS 30653 WITH SCORE 30839.187
AT ITER 5707 NEW BEST:: SOT 225643 SOS 186112 HAS SOPS 117769 HAS SOUS 31000 HAS SOUPS 30640 WITH SCORE 30826.112
AT ITER 5753 NEW BEST:: SOT 225768 SOS 186237 HAS SOPS 117843 HAS SOUS 30989 HAS SOUPS 30629 WITH SCORE 30815.237
AT ITER 5780 NEW BEST:: SOT 224191 SOS 184660 HAS SOPS 117502 HAS SOUS 30693 HAS SOUPS 30348 WITH SCORE 30532.66
AT ITER 5784 NEW BEST:: SOT 224137 SOS 184606 HAS SOPS 117474 HAS SOUS 30679 HAS SOUPS 30334 WITH SCORE 30518.606
AT ITER 5809 NEW BEST:: SOT 224127 SOS 184596 HAS SOPS 117413 HAS SOUS 30677 HAS SOUPS 30332 WITH SCORE 30516.596
AT ITER 5810 NEW BEST:: SOT 222578 SOS 183047 HAS SOPS 116338 HAS SOUS 30669 HAS SOUPS 30324 WITH SCORE 30507.047
AT ITER 5963 NEW BEST:: SOT 222578 SOS 182495 HAS SOPS 115786 HAS SOUS 30655 HAS SOUPS 30310 WITH SCORE 30492.495
AT ITER 6146 NEW BEST:: SOT 222578 SOS 182471 HAS SOPS 115762 HAS SOUS 30631 HAS SOUPS 30286 WITH SCORE 30468.471
AT ITER 6209 NEW BEST:: SOT 222821 SOS 182689 HAS SOPS 115831 HAS SOUS 30590 HAS SOUPS 30245 WITH SCORE 30427.689
AT ITER 6230 NEW BEST:: SOT 222834 SOS 182702 HAS SOPS 115861 HAS SOUS 30583 HAS SOUPS 30238 WITH SCORE 30420.702
AT ITER 6313 NEW BEST:: SOT 223054 SOS 182922 HAS SOPS 115707 HAS SOUS 30575 HAS SOUPS 30230 WITH SCORE 30412.922
AT ITER 6317 NEW BEST:: SOT 223273 SOS 183141 HAS SOPS 115926 HAS SOUS 30567 HAS SOUPS 30222 WITH SCORE 30405.141
AT ITER 6385 NEW BEST:: SOT 223272 SOS 183140 HAS SOPS 115925 HAS SOUS 30518 HAS SOUPS 30173 WITH SCORE 30356.14
AT ITER 6416 NEW BEST:: SOT 223272 SOS 183140 HAS SOPS 115925 HAS SOUS 30479 HAS SOUPS 30134 WITH SCORE 30317.14
AT ITER 6417 NEW BEST:: SOT 223298 SOS 183103 HAS SOPS 115888 HAS SOUS 30349 HAS SOUPS 30004 WITH SCORE 30187.103
AT ITER 6439 NEW BEST:: SOT 223298 SOS 182425 HAS SOPS 115210 HAS SOUS 30283 HAS SOUPS 29938 WITH SCORE 30120.425
AT ITER 6556 NEW BEST:: SOT 225582 SOS 184292 HAS SOPS 113905 HAS SOUS 29815 HAS SOUPS 29470 WITH SCORE 29654.292
AT ITER 6588 NEW BEST:: SOT 228920 SOS 187630 HAS SOPS 114485 HAS SOUS 29504 HAS SOUPS 29159 WITH SCORE 29346.63
AT ITER 6602 NEW BEST:: SOT 229115 SOS 187825 HAS SOPS 114599 HAS SOUS 29366 HAS SOUPS 29021 WITH SCORE 29208.825
AT ITER 6662 NEW BEST:: SOT 229098 SOS 187808 HAS SOPS 114582 HAS SOUS 29332 HAS SOUPS 28987 WITH SCORE 29174.808
AT ITER 6676 NEW BEST:: SOT 228891 SOS 187601 HAS SOPS 114375 HAS SOUS 29316 HAS SOUPS 28971 WITH SCORE 29158.601
AT ITER 6702 NEW BEST:: SOT 228560 SOS 187270 HAS SOPS 114089 HAS SOUS 28952 HAS SOUPS 28607 WITH SCORE 28794.27
AT ITER 6808 NEW BEST:: SOT 227536 SOS 186246 HAS SOPS 113065 HAS SOUS 28952 HAS SOUPS 28607 WITH SCORE 28793.246
AT ITER 7006 NEW BEST:: SOT 223980 SOS 182690 HAS SOPS 110401 HAS SOUS 28344 HAS SOUPS 27999 WITH SCORE 28181.69
AT ITER 7132 NEW BEST:: SOT 223376 SOS 182086 HAS SOPS 109797 HAS SOUS 28286 HAS SOUPS 27941 WITH SCORE 28123.086
AT ITER 7239 NEW BEST:: SOT 223426 SOS 182136 HAS SOPS 109847 HAS SOUS 28261 HAS SOUPS 27916 WITH SCORE 28098.136
AT ITER 7249 NEW BEST:: SOT 223102 SOS 181812 HAS SOPS 109523 HAS SOUS 28112 HAS SOUPS 27767 WITH SCORE 27948.812
AT ITER 7253 NEW BEST:: SOT 223061 SOS 181771 HAS SOPS 109520 HAS SOUS 28093 HAS SOUPS 27748 WITH SCORE 27929.771
AT ITER 7335 NEW BEST:: SOT 222839 SOS 181549 HAS SOPS 109298 HAS SOUS 28019 HAS SOUPS 27674 WITH SCORE 27855.549
AT ITER 7420 NEW BEST:: SOT 222390 SOS 181142 HAS SOPS 109025 HAS SOUS 27800 HAS SOUPS 27455 WITH SCORE 27636.142
AT ITER 7425 NEW BEST:: SOT 222423 SOS 181175 HAS SOPS 109056 HAS SOUS 27784 HAS SOUPS 27439 WITH SCORE 27620.175
AT ITER 7511 NEW BEST:: SOT 221146 SOS 179898 HAS SOPS 109580 HAS SOUS 27784 HAS SOUPS 27439 WITH SCORE 27618.898
AT ITER 7632 NEW BEST:: SOT 221146 SOS 179840 HAS SOPS 109522 HAS SOUS 27708 HAS SOUPS 27363 WITH SCORE 27542.84
AT ITER 7709 NEW BEST:: SOT 221470 SOS 178469 HAS SOPS 105479 HAS SOUS 27662 HAS SOUPS 27317 WITH SCORE 27495.469
AT ITER 7880 NEW BEST:: SOT 223358 SOS 179424 HAS SOPS 101180 HAS SOUS 27405 HAS SOUPS 27060 WITH SCORE 27239.424
AT ITER 7883 NEW BEST:: SOT 222804 SOS 178870 HAS SOPS 102509 HAS SOUS 27334 HAS SOUPS 26989 WITH SCORE 27167.87
AT ITER 7909 NEW BEST:: SOT 222777 SOS 178843 HAS SOPS 102511 HAS SOUS 27334 HAS SOUPS 26989 WITH SCORE 27167.843
AT ITER 7911 NEW BEST:: SOT 222409 SOS 178475 HAS SOPS 102143 HAS SOUS 27270 HAS SOUPS 26925 WITH SCORE 27103.475
AT ITER 7931 NEW BEST:: SOT 222409 SOS 178067 HAS SOPS 101735 HAS SOUS 27218 HAS SOUPS 26873 WITH SCORE 27051.067
AT ITER 8020 NEW BEST:: SOT 222437 SOS 178095 HAS SOPS 101693 HAS SOUS 27197 HAS SOUPS 26852 WITH SCORE 27030.095
AT ITER 8021 NEW BEST:: SOT 222431 SOS 178089 HAS SOPS 101687 HAS SOUS 27191 HAS SOUPS 26846 WITH SCORE 27024.089
AT ITER 8146 NEW BEST:: SOT 222543 SOS 178130 HAS SOPS 101667 HAS SOUS 27186 HAS SOUPS 26841 WITH SCORE 27019.13
AT ITER 8182 NEW BEST:: SOT 223897 SOS 179484 HAS SOPS 102436 HAS SOUS 27170 HAS SOUPS 26825 WITH SCORE 27004.484
AT ITER 8235 NEW BEST:: SOT 223974 SOS 179561 HAS SOPS 101510 HAS SOUS 26915 HAS SOUPS 26570 WITH SCORE 26749.561
AT ITER 8286 NEW BEST:: SOT 223974 SOS 179561 HAS SOPS 101510 HAS SOUS 26861 HAS SOUPS 26516 WITH SCORE 26695.561
AT ITER 8325 NEW BEST:: SOT 223971 SOS 179558 HAS SOPS 101513 HAS SOUS 26861 HAS SOUPS 26516 WITH SCORE 26695.558
AT ITER 8461 NEW BEST:: SOT 223993 SOS 179580 HAS SOPS 101465 HAS SOUS 26815 HAS SOUPS 26470 WITH SCORE 26649.58
AT ITER 8472 NEW BEST:: SOT 223993 SOS 179580 HAS SOPS 101465 HAS SOUS 26794 HAS SOUPS 26449 WITH SCORE 26628.58
AT ITER 8548 NEW BEST:: SOT 224154 SOS 179741 HAS SOPS 101137 HAS SOUS 26744 HAS SOUPS 26399 WITH SCORE 26578.741
AT ITER 8635 NEW BEST:: SOT 224206 SOS 179793 HAS SOPS 101189 HAS SOUS 26616 HAS SOUPS 26271 WITH SCORE 26450.793
AT ITER 8666 NEW BEST:: SOT 224166 SOS 179753 HAS SOPS 101149 HAS SOUS 26616 HAS SOUPS 26271 WITH SCORE 26450.753
AT ITER 8707 NEW BEST:: SOT 224577 SOS 180164 HAS SOPS 101523 HAS SOUS 26600 HAS SOUPS 26255 WITH SCORE 26435.164
AT ITER 8708 NEW BEST:: SOT 223507 SOS 179094 HAS SOPS 101529 HAS SOUS 26600 HAS SOUPS 26255 WITH SCORE 26434.094
AT ITER 8994 NEW BEST:: SOT 223303 SOS 178890 HAS SOPS 102825 HAS SOUS 26600 HAS SOUPS 26255 WITH SCORE 26433.89
AT ITER 9031 NEW BEST:: SOT 223430 SOS 179017 HAS SOPS 102504 HAS SOUS 26500 HAS SOUPS 26155 WITH SCORE 26334.017
AT ITER 9077 NEW BEST:: SOT 223382 SOS 178969 HAS SOPS 102616 HAS SOUS 26484 HAS SOUPS 26139 WITH SCORE 26317.969
AT ITER 9156 NEW BEST:: SOT 223150 SOS 178737 HAS SOPS 102384 HAS SOUS 26252 HAS SOUPS 25907 WITH SCORE 26085.737
AT ITER 9300 NEW BEST:: SOT 222941 SOS 178528 HAS SOPS 102517 HAS SOUS 26252 HAS SOUPS 25907 WITH SCORE 26085.528
AT ITER 9344 NEW BEST:: SOT 221669 SOS 177256 HAS SOPS 101622 HAS SOUS 26252 HAS SOUPS 25907 WITH SCORE 26084.256
AT ITER 9368 NEW BEST:: SOT 223949 SOS 178681 HAS SOPS 96739 HAS SOUS 25980 HAS SOUPS 25635 WITH SCORE 25813.681
AT ITER 9405 NEW BEST:: SOT 223926 SOS 178658 HAS SOPS 96624 HAS SOUS 25934 HAS SOUPS 25589 WITH SCORE 25767.658
AT ITER 9469 NEW BEST:: SOT 223921 SOS 178660 HAS SOPS 96626 HAS SOUS 25929 HAS SOUPS 25584 WITH SCORE 25762.66
AT ITER 9529 NEW BEST:: SOT 223893 SOS 178632 HAS SOPS 96598 HAS SOUS 25901 HAS SOUPS 25556 WITH SCORE 25734.632
AT ITER 9556 NEW BEST:: SOT 226128 SOS 180867 HAS SOPS 93925 HAS SOUS 25881 HAS SOUPS 25536 WITH SCORE 25716.867
AT ITER 9807 NEW BEST:: SOT 225998 SOS 180737 HAS SOPS 93795 HAS SOUS 25751 HAS SOUPS 25406 WITH SCORE 25586.737
AT ITER 9887 NEW BEST:: SOT 225997 SOS 180736 HAS SOPS 93841 HAS SOUS 25720 HAS SOUPS 25375 WITH SCORE 25555.736
AT ITER 9915 NEW BEST:: SOT 226079 SOS 180818 HAS SOPS 93923 HAS SOUS 25718 HAS SOUPS 25373 WITH SCORE 25553.818
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 5730820 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16150792 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="SieveSingleMsgMbox-PT-d1m64"
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 SieveSingleMsgMbox-PT-d1m64, 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 r419-tajo-167905973800440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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