Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 3.4K Mar 31 14:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 31 14:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 31 14:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 31 14:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 31 14:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 31 14:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 31 14:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 31 14:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 31 14:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 31 14:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 411K Mar 24 05:37 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 1589367524072

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Echo (PT), instance d02r11
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 1119 places, 874 transitions, 4996 arcs.
AT ITER 0 NEW BEST:: SOT 557003 SOS 129015 HAS SOPS 129015 HAS SOUS 101536 HAS SOUPS 101536 WITH SCORE 101665.015
AT ITER 53 NEW BEST:: SOT 557003 SOS 129015 HAS SOPS 129015 HAS SOUS 101524 HAS SOUPS 101524 WITH SCORE 101653.015
AT ITER 304 NEW BEST:: SOT 557003 SOS 129015 HAS SOPS 129015 HAS SOUS 101498 HAS SOUPS 101498 WITH SCORE 101627.015
AT ITER 324 NEW BEST:: SOT 556923 SOS 129003 HAS SOPS 129003 HAS SOUS 101440 HAS SOUPS 101440 WITH SCORE 101569.003
AT ITER 340 NEW BEST:: SOT 556919 SOS 129113 HAS SOPS 129113 HAS SOUS 101389 HAS SOUPS 101389 WITH SCORE 101518.113
AT ITER 345 NEW BEST:: SOT 556919 SOS 129113 HAS SOPS 129113 HAS SOUS 101387 HAS SOUPS 101387 WITH SCORE 101516.113
AT ITER 441 NEW BEST:: SOT 556711 SOS 129227 HAS SOPS 129227 HAS SOUS 101299 HAS SOUPS 101299 WITH SCORE 101428.227
AT ITER 480 NEW BEST:: SOT 556711 SOS 129227 HAS SOPS 129227 HAS SOUS 101281 HAS SOUPS 101281 WITH SCORE 101410.227
AT ITER 618 NEW BEST:: SOT 556711 SOS 129227 HAS SOPS 129227 HAS SOUS 101269 HAS SOUPS 101269 WITH SCORE 101398.227
AT ITER 711 NEW BEST:: SOT 556711 SOS 129243 HAS SOPS 129243 HAS SOUS 101267 HAS SOUPS 101267 WITH SCORE 101396.243
AT ITER 763 NEW BEST:: SOT 556657 SOS 129300 HAS SOPS 129300 HAS SOUS 101246 HAS SOUPS 101246 WITH SCORE 101375.3
AT ITER 807 NEW BEST:: SOT 556657 SOS 129300 HAS SOPS 129300 HAS SOUS 101238 HAS SOUPS 101238 WITH SCORE 101367.3
AT ITER 861 NEW BEST:: SOT 556657 SOS 129300 HAS SOPS 129300 HAS SOUS 101232 HAS SOUPS 101232 WITH SCORE 101361.3
AT ITER 902 NEW BEST:: SOT 556657 SOS 129300 HAS SOPS 129300 HAS SOUS 101228 HAS SOUPS 101228 WITH SCORE 101357.3
AT ITER 956 NEW BEST:: SOT 556538 SOS 129369 HAS SOPS 129369 HAS SOUS 101157 HAS SOUPS 101157 WITH SCORE 101286.369
AT ITER 1010 NEW BEST:: SOT 556538 SOS 129369 HAS SOPS 129369 HAS SOUS 101129 HAS SOUPS 101129 WITH SCORE 101258.369
AT ITER 1239 NEW BEST:: SOT 556538 SOS 129369 HAS SOPS 129369 HAS SOUS 101113 HAS SOUPS 101113 WITH SCORE 101242.369
AT ITER 1272 NEW BEST:: SOT 556528 SOS 129359 HAS SOPS 129359 HAS SOUS 101103 HAS SOUPS 101103 WITH SCORE 101232.359
AT ITER 1331 NEW BEST:: SOT 556504 SOS 129379 HAS SOPS 129379 HAS SOUS 101090 HAS SOUPS 101090 WITH SCORE 101219.379
AT ITER 1490 NEW BEST:: SOT 556342 SOS 129711 HAS SOPS 129711 HAS SOUS 101059 HAS SOUPS 101059 WITH SCORE 101188.711
AT ITER 1511 NEW BEST:: SOT 556181 SOS 129758 HAS SOPS 129758 HAS SOUS 100957 HAS SOUPS 100957 WITH SCORE 101086.758
AT ITER 1635 NEW BEST:: SOT 556175 SOS 129752 HAS SOPS 129752 HAS SOUS 100951 HAS SOUPS 100951 WITH SCORE 101080.752
AT ITER 1646 NEW BEST:: SOT 555933 SOS 129808 HAS SOPS 129808 HAS SOUS 100796 HAS SOUPS 100796 WITH SCORE 100925.808
AT ITER 1690 NEW BEST:: SOT 555933 SOS 129808 HAS SOPS 129808 HAS SOUS 100782 HAS SOUPS 100782 WITH SCORE 100911.808
AT ITER 1708 NEW BEST:: SOT 555710 SOS 129911 HAS SOPS 129911 HAS SOUS 100644 HAS SOUPS 100644 WITH SCORE 100773.911
AT ITER 1731 NEW BEST:: SOT 555477 SOS 129848 HAS SOPS 129848 HAS SOUS 100614 HAS SOUPS 100614 WITH SCORE 100743.848
AT ITER 1799 NEW BEST:: SOT 555451 SOS 129918 HAS SOPS 129918 HAS SOUS 100612 HAS SOUPS 100612 WITH SCORE 100741.918
AT ITER 1852 NEW BEST:: SOT 555429 SOS 129896 HAS SOPS 129896 HAS SOUS 100590 HAS SOUPS 100590 WITH SCORE 100719.896
AT ITER 1870 NEW BEST:: SOT 555397 SOS 129924 HAS SOPS 129924 HAS SOUS 100578 HAS SOUPS 100578 WITH SCORE 100707.924
AT ITER 2201 NEW BEST:: SOT 555397 SOS 129924 HAS SOPS 129924 HAS SOUS 100560 HAS SOUPS 100560 WITH SCORE 100689.924
AT ITER 2444 NEW BEST:: SOT 555397 SOS 129924 HAS SOPS 129924 HAS SOUS 100544 HAS SOUPS 100544 WITH SCORE 100673.924
AT ITER 2472 NEW BEST:: SOT 555397 SOS 129924 HAS SOPS 129924 HAS SOUS 100540 HAS SOUPS 100540 WITH SCORE 100669.924
AT ITER 2486 NEW BEST:: SOT 555397 SOS 129924 HAS SOPS 129924 HAS SOUS 100520 HAS SOUPS 100520 WITH SCORE 100649.924
AT ITER 2609 NEW BEST:: SOT 555367 SOS 129963 HAS SOPS 129963 HAS SOUS 100511 HAS SOUPS 100511 WITH SCORE 100640.963
AT ITER 2863 NEW BEST:: SOT 555361 SOS 129957 HAS SOPS 129957 HAS SOUS 100499 HAS SOUPS 100499 WITH SCORE 100628.957
AT ITER 2933 NEW BEST:: SOT 555163 SOS 130019 HAS SOPS 130019 HAS SOUS 100349 HAS SOUPS 100349 WITH SCORE 100479.019
AT ITER 3007 NEW BEST:: SOT 555149 SOS 130209 HAS SOPS 130209 HAS SOUS 100326 HAS SOUPS 100326 WITH SCORE 100456.209
AT ITER 3008 NEW BEST:: SOT 555136 SOS 130196 HAS SOPS 130196 HAS SOUS 100313 HAS SOUPS 100313 WITH SCORE 100443.196
AT ITER 3105 NEW BEST:: SOT 555136 SOS 130196 HAS SOPS 130196 HAS SOUS 100289 HAS SOUPS 100289 WITH SCORE 100419.196
AT ITER 3163 NEW BEST:: SOT 555123 SOS 130226 HAS SOPS 130226 HAS SOUS 100281 HAS SOUPS 100281 WITH SCORE 100411.226
AT ITER 3164 NEW BEST:: SOT 555111 SOS 130226 HAS SOPS 130226 HAS SOUS 100272 HAS SOUPS 100272 WITH SCORE 100402.226
AT ITER 3196 NEW BEST:: SOT 555111 SOS 130226 HAS SOPS 130226 HAS SOUS 100246 HAS SOUPS 100246 WITH SCORE 100376.226
AT ITER 3233 NEW BEST:: SOT 555095 SOS 130240 HAS SOPS 130240 HAS SOUS 100226 HAS SOUPS 100226 WITH SCORE 100356.24
AT ITER 3263 NEW BEST:: SOT 555093 SOS 130242 HAS SOPS 130242 HAS SOUS 100223 HAS SOUPS 100223 WITH SCORE 100353.242
AT ITER 3430 NEW BEST:: SOT 555001 SOS 130242 HAS SOPS 130242 HAS SOUS 100150 HAS SOUPS 100150 WITH SCORE 100280.242
AT ITER 3674 NEW BEST:: SOT 555001 SOS 130242 HAS SOPS 130242 HAS SOUS 100132 HAS SOUPS 100132 WITH SCORE 100262.242
AT ITER 3701 NEW BEST:: SOT 555001 SOS 130242 HAS SOPS 130242 HAS SOUS 100128 HAS SOUPS 100128 WITH SCORE 100258.242
AT ITER 3740 NEW BEST:: SOT 554990 SOS 130231 HAS SOPS 130231 HAS SOUS 100117 HAS SOUPS 100117 WITH SCORE 100247.231
AT ITER 3962 NEW BEST:: SOT 554990 SOS 130231 HAS SOPS 130231 HAS SOUS 100109 HAS SOUPS 100109 WITH SCORE 100239.231
AT ITER 3974 NEW BEST:: SOT 554880 SOS 130109 HAS SOPS 130109 HAS SOUS 100004 HAS SOUPS 100004 WITH SCORE 100134.109
AT ITER 3975 NEW BEST:: SOT 554880 SOS 130109 HAS SOPS 130109 HAS SOUS 99950 HAS SOUPS 99950 WITH SCORE 100080.109
AT ITER 3984 NEW BEST:: SOT 554880 SOS 130109 HAS SOPS 130109 HAS SOUS 99934 HAS SOUPS 99934 WITH SCORE 100064.109
AT ITER 3996 NEW BEST:: SOT 554828 SOS 130162 HAS SOPS 130162 HAS SOUS 99917 HAS SOUPS 99917 WITH SCORE 100047.162
AT ITER 4025 NEW BEST:: SOT 554828 SOS 130162 HAS SOPS 130162 HAS SOUS 99915 HAS SOUPS 99915 WITH SCORE 100045.162
AT ITER 4047 NEW BEST:: SOT 554738 SOS 130300 HAS SOPS 130300 HAS SOUS 99880 HAS SOUPS 99880 WITH SCORE 100010.3
AT ITER 4097 NEW BEST:: SOT 554725 SOS 130287 HAS SOPS 130287 HAS SOUS 99849 HAS SOUPS 99849 WITH SCORE 99979.287
AT ITER 4151 NEW BEST:: SOT 554597 SOS 130409 HAS SOPS 130409 HAS SOUS 99791 HAS SOUPS 99791 WITH SCORE 99921.409
AT ITER 4258 NEW BEST:: SOT 554597 SOS 130409 HAS SOPS 130409 HAS SOUS 99789 HAS SOUPS 99789 WITH SCORE 99919.409
AT ITER 4318 NEW BEST:: SOT 554597 SOS 130409 HAS SOPS 130409 HAS SOUS 99777 HAS SOUPS 99777 WITH SCORE 99907.409
AT ITER 4319 NEW BEST:: SOT 554597 SOS 130409 HAS SOPS 130409 HAS SOUS 99761 HAS SOUPS 99761 WITH SCORE 99891.409
AT ITER 4358 NEW BEST:: SOT 554511 SOS 130567 HAS SOPS 130567 HAS SOUS 99756 HAS SOUPS 99756 WITH SCORE 99886.567
AT ITER 4404 NEW BEST:: SOT 554505 SOS 130593 HAS SOPS 130593 HAS SOUS 99742 HAS SOUPS 99742 WITH SCORE 99872.593
AT ITER 4470 NEW BEST:: SOT 554484 SOS 130676 HAS SOPS 130676 HAS SOUS 99695 HAS SOUPS 99695 WITH SCORE 99825.676
AT ITER 4522 NEW BEST:: SOT 554448 SOS 130708 HAS SOPS 130708 HAS SOUS 99677 HAS SOUPS 99677 WITH SCORE 99807.708
AT ITER 4580 NEW BEST:: SOT 554444 SOS 130704 HAS SOPS 130704 HAS SOUS 99673 HAS SOUPS 99673 WITH SCORE 99803.704
AT ITER 4631 NEW BEST:: SOT 554444 SOS 130704 HAS SOPS 130704 HAS SOUS 99669 HAS SOUPS 99669 WITH SCORE 99799.704
AT ITER 4638 NEW BEST:: SOT 554444 SOS 130704 HAS SOPS 130704 HAS SOUS 99657 HAS SOUPS 99657 WITH SCORE 99787.704
AT ITER 4651 NEW BEST:: SOT 554418 SOS 130747 HAS SOPS 130747 HAS SOUS 99610 HAS SOUPS 99610 WITH SCORE 99740.747
AT ITER 4780 NEW BEST:: SOT 554418 SOS 130745 HAS SOPS 130745 HAS SOUS 99605 HAS SOUPS 99605 WITH SCORE 99735.745
AT ITER 4903 NEW BEST:: SOT 554418 SOS 130745 HAS SOPS 130745 HAS SOUS 99591 HAS SOUPS 99591 WITH SCORE 99721.745
AT ITER 4909 NEW BEST:: SOT 554408 SOS 130737 HAS SOPS 130737 HAS SOUS 99584 HAS SOUPS 99584 WITH SCORE 99714.737
AT ITER 4971 NEW BEST:: SOT 554408 SOS 130737 HAS SOPS 130737 HAS SOUS 99558 HAS SOUPS 99558 WITH SCORE 99688.737
AT ITER 5028 NEW BEST:: SOT 554344 SOS 130715 HAS SOPS 130715 HAS SOUS 99514 HAS SOUPS 99514 WITH SCORE 99644.715
AT ITER 5084 NEW BEST:: SOT 554264 SOS 130697 HAS SOPS 130697 HAS SOUS 99417 HAS SOUPS 99417 WITH SCORE 99547.697
AT ITER 5197 NEW BEST:: SOT 554246 SOS 130809 HAS SOPS 130809 HAS SOUS 99363 HAS SOUPS 99363 WITH SCORE 99493.809
AT ITER 5205 NEW BEST:: SOT 554240 SOS 130803 HAS SOPS 130803 HAS SOUS 99359 HAS SOUPS 99359 WITH SCORE 99489.803
AT ITER 5321 NEW BEST:: SOT 554198 SOS 130837 HAS SOPS 130837 HAS SOUS 99336 HAS SOUPS 99336 WITH SCORE 99466.837
AT ITER 5431 NEW BEST:: SOT 554206 SOS 130843 HAS SOPS 130843 HAS SOUS 99335 HAS SOUPS 99335 WITH SCORE 99465.843
AT ITER 5436 NEW BEST:: SOT 554206 SOS 130843 HAS SOPS 130843 HAS SOUS 99331 HAS SOUPS 99331 WITH SCORE 99461.843
AT ITER 5510 NEW BEST:: SOT 554206 SOS 130843 HAS SOPS 130843 HAS SOUS 99329 HAS SOUPS 99329 WITH SCORE 99459.843
AT ITER 5517 NEW BEST:: SOT 554206 SOS 130843 HAS SOPS 130843 HAS SOUS 99325 HAS SOUPS 99325 WITH SCORE 99455.843
AT ITER 5781 NEW BEST:: SOT 554204 SOS 131021 HAS SOPS 131021 HAS SOUS 99314 HAS SOUPS 99314 WITH SCORE 99445.021
AT ITER 5876 NEW BEST:: SOT 554150 SOS 131069 HAS SOPS 131069 HAS SOUS 99262 HAS SOUPS 99262 WITH SCORE 99393.069
AT ITER 5886 NEW BEST:: SOT 554115 SOS 131034 HAS SOPS 131034 HAS SOUS 99227 HAS SOUPS 99227 WITH SCORE 99358.034
AT ITER 5888 NEW BEST:: SOT 554115 SOS 131034 HAS SOPS 131034 HAS SOUS 99211 HAS SOUPS 99211 WITH SCORE 99342.034
AT ITER 5956 NEW BEST:: SOT 554115 SOS 131034 HAS SOPS 131034 HAS SOUS 99207 HAS SOUPS 99207 WITH SCORE 99338.034
AT ITER 5984 NEW BEST:: SOT 554115 SOS 131034 HAS SOPS 131034 HAS SOUS 99203 HAS SOUPS 99203 WITH SCORE 99334.034
AT ITER 6184 NEW BEST:: SOT 554097 SOS 131062 HAS SOPS 131062 HAS SOUS 99194 HAS SOUPS 99194 WITH SCORE 99325.062
AT ITER 6250 NEW BEST:: SOT 554086 SOS 131051 HAS SOPS 131051 HAS SOUS 99183 HAS SOUPS 99183 WITH SCORE 99314.051
AT ITER 6420 NEW BEST:: SOT 554059 SOS 131024 HAS SOPS 131024 HAS SOUS 99156 HAS SOUPS 99156 WITH SCORE 99287.024
AT ITER 6423 NEW BEST:: SOT 554059 SOS 131024 HAS SOPS 131024 HAS SOUS 99120 HAS SOUPS 99120 WITH SCORE 99251.024
AT ITER 6435 NEW BEST:: SOT 554059 SOS 131024 HAS SOPS 131024 HAS SOUS 99116 HAS SOUPS 99116 WITH SCORE 99247.024
AT ITER 6588 NEW BEST:: SOT 554058 SOS 131023 HAS SOPS 131023 HAS SOUS 99091 HAS SOUPS 99091 WITH SCORE 99222.023
AT ITER 6622 NEW BEST:: SOT 554058 SOS 131023 HAS SOPS 131023 HAS SOUS 99089 HAS SOUPS 99089 WITH SCORE 99220.023
AT ITER 6655 NEW BEST:: SOT 554104 SOS 130877 HAS SOPS 130877 HAS SOUS 99087 HAS SOUPS 99087 WITH SCORE 99217.877
AT ITER 6728 NEW BEST:: SOT 554104 SOS 130877 HAS SOPS 130877 HAS SOUS 99085 HAS SOUPS 99085 WITH SCORE 99215.877
AT ITER 6793 NEW BEST:: SOT 554104 SOS 130877 HAS SOPS 130877 HAS SOUS 99049 HAS SOUPS 99049 WITH SCORE 99179.877
AT ITER 6877 NEW BEST:: SOT 554104 SOS 130877 HAS SOPS 130877 HAS SOUS 99047 HAS SOUPS 99047 WITH SCORE 99177.877
AT ITER 7057 NEW BEST:: SOT 554098 SOS 130871 HAS SOPS 130871 HAS SOUS 99041 HAS SOUPS 99041 WITH SCORE 99171.871
AT ITER 7215 NEW BEST:: SOT 554071 SOS 131028 HAS SOPS 131028 HAS SOUS 98977 HAS SOUPS 98977 WITH SCORE 99108.028
AT ITER 7255 NEW BEST:: SOT 554071 SOS 131028 HAS SOPS 131028 HAS SOUS 98949 HAS SOUPS 98949 WITH SCORE 99080.028
AT ITER 7382 NEW BEST:: SOT 554053 SOS 131036 HAS SOPS 131036 HAS SOUS 98941 HAS SOUPS 98941 WITH SCORE 99072.036
AT ITER 7417 NEW BEST:: SOT 554023 SOS 131036 HAS SOPS 131036 HAS SOUS 98919 HAS SOUPS 98919 WITH SCORE 99050.036
AT ITER 7472 NEW BEST:: SOT 554012 SOS 131025 HAS SOPS 131025 HAS SOUS 98908 HAS SOUPS 98908 WITH SCORE 99039.025
AT ITER 7620 NEW BEST:: SOT 554012 SOS 131025 HAS SOPS 131025 HAS SOUS 98902 HAS SOUPS 98902 WITH SCORE 99033.025
AT ITER 7640 NEW BEST:: SOT 554012 SOS 131024 HAS SOPS 131024 HAS SOUS 98901 HAS SOUPS 98901 WITH SCORE 99032.024
AT ITER 7705 NEW BEST:: SOT 554012 SOS 131024 HAS SOPS 131024 HAS SOUS 98857 HAS SOUPS 98857 WITH SCORE 98988.024
AT ITER 7853 NEW BEST:: SOT 554012 SOS 131024 HAS SOPS 131024 HAS SOUS 98833 HAS SOUPS 98833 WITH SCORE 98964.024
AT ITER 7945 NEW BEST:: SOT 554011 SOS 131023 HAS SOPS 131023 HAS SOUS 98830 HAS SOUPS 98830 WITH SCORE 98961.023
AT ITER 8063 NEW BEST:: SOT 554011 SOS 131023 HAS SOPS 131023 HAS SOUS 98810 HAS SOUPS 98810 WITH SCORE 98941.023
AT ITER 8286 NEW BEST:: SOT 553994 SOS 131006 HAS SOPS 131006 HAS SOUS 98793 HAS SOUPS 98793 WITH SCORE 98924.006
AT ITER 8412 NEW BEST:: SOT 553992 SOS 131004 HAS SOPS 131004 HAS SOUS 98791 HAS SOUPS 98791 WITH SCORE 98922.004
AT ITER 8492 NEW BEST:: SOT 553789 SOS 131051 HAS SOPS 131051 HAS SOUS 98651 HAS SOUPS 98651 WITH SCORE 98782.051
AT ITER 8496 NEW BEST:: SOT 553789 SOS 131051 HAS SOPS 131051 HAS SOUS 98611 HAS SOUPS 98611 WITH SCORE 98742.051
AT ITER 8526 NEW BEST:: SOT 553789 SOS 131051 HAS SOPS 131051 HAS SOUS 98601 HAS SOUPS 98601 WITH SCORE 98732.051
AT ITER 8587 NEW BEST:: SOT 553789 SOS 131051 HAS SOPS 131051 HAS SOUS 98589 HAS SOUPS 98589 WITH SCORE 98720.051
AT ITER 8699 NEW BEST:: SOT 553753 SOS 131027 HAS SOPS 131027 HAS SOUS 98565 HAS SOUPS 98565 WITH SCORE 98696.027
AT ITER 8732 NEW BEST:: SOT 553731 SOS 131109 HAS SOPS 131109 HAS SOUS 98528 HAS SOUPS 98528 WITH SCORE 98659.109
AT ITER 8753 NEW BEST:: SOT 553731 SOS 131109 HAS SOPS 131109 HAS SOUS 98508 HAS SOUPS 98508 WITH SCORE 98639.109
AT ITER 8764 NEW BEST:: SOT 553731 SOS 131109 HAS SOPS 131109 HAS SOUS 98506 HAS SOUPS 98506 WITH SCORE 98637.109
AT ITER 9030 NEW BEST:: SOT 553731 SOS 131109 HAS SOPS 131109 HAS SOUS 98490 HAS SOUPS 98490 WITH SCORE 98621.109
AT ITER 9326 NEW BEST:: SOT 553730 SOS 131108 HAS SOPS 131108 HAS SOUS 98489 HAS SOUPS 98489 WITH SCORE 98620.108
AT ITER 9406 NEW BEST:: SOT 553730 SOS 131108 HAS SOPS 131108 HAS SOUS 98421 HAS SOUPS 98421 WITH SCORE 98552.108
AT ITER 9593 NEW BEST:: SOT 553730 SOS 131108 HAS SOPS 131108 HAS SOUS 98419 HAS SOUPS 98419 WITH SCORE 98550.108
AT ITER 9624 NEW BEST:: SOT 553730 SOS 131108 HAS SOPS 131108 HAS SOUS 98407 HAS SOUPS 98407 WITH SCORE 98538.108
AT ITER 9732 NEW BEST:: SOT 553705 SOS 131083 HAS SOPS 131083 HAS SOUS 98382 HAS SOUPS 98382 WITH SCORE 98513.083
AT ITER 9852 NEW BEST:: SOT 553705 SOS 131083 HAS SOPS 131083 HAS SOUS 98380 HAS SOUPS 98380 WITH SCORE 98511.083
AT ITER 9872 NEW BEST:: SOT 553697 SOS 131098 HAS SOPS 131098 HAS SOUS 98378 HAS SOUPS 98378 WITH SCORE 98509.098
AT ITER 9994 NEW BEST:: SOT 553654 SOS 131055 HAS SOPS 131055 HAS SOUS 98335 HAS SOUPS 98335 WITH SCORE 98466.055

BK_TIME_CONFINEMENT_REACHED

--------------------
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="Echo-PT-d02r11"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is Echo-PT-d02r11, 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 r063-tajo-158922808200944"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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