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-158922808300976.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-d03r05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922808300976
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 804K
-rw-r--r-- 1 mcc users 3.6K Mar 31 14:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 31 14:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 31 14:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 31 14:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 31 14:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 31 14:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 31 14:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 31 14:05 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 635K 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 1589368746995

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

Filename model.pnml
Petri model created: 1445 places, 1190 transitions, 8260 arcs.
AT ITER 0 NEW BEST:: SOT 1082505 SOS 418948 HAS SOPS 418948 HAS SOUS 329171 HAS SOUPS 329171 WITH SCORE 329589.948
AT ITER 83 NEW BEST:: SOT 1082292 SOS 419398 HAS SOPS 419398 HAS SOUS 329105 HAS SOUPS 329105 WITH SCORE 329524.398
AT ITER 102 NEW BEST:: SOT 1082091 SOS 419532 HAS SOPS 419532 HAS SOUS 328990 HAS SOUPS 328990 WITH SCORE 329409.532
AT ITER 106 NEW BEST:: SOT 1082091 SOS 419532 HAS SOPS 419532 HAS SOUS 328984 HAS SOUPS 328984 WITH SCORE 329403.532
AT ITER 145 NEW BEST:: SOT 1082091 SOS 419532 HAS SOPS 419532 HAS SOUS 328978 HAS SOUPS 328978 WITH SCORE 329397.532
AT ITER 164 NEW BEST:: SOT 1082091 SOS 419532 HAS SOPS 419532 HAS SOUS 328972 HAS SOUPS 328972 WITH SCORE 329391.532
AT ITER 195 NEW BEST:: SOT 1082091 SOS 419532 HAS SOPS 419532 HAS SOUS 328964 HAS SOUPS 328964 WITH SCORE 329383.532
AT ITER 202 NEW BEST:: SOT 1082017 SOS 419458 HAS SOPS 419458 HAS SOUS 328890 HAS SOUPS 328890 WITH SCORE 329309.458
AT ITER 223 NEW BEST:: SOT 1082017 SOS 419458 HAS SOPS 419458 HAS SOUS 328882 HAS SOUPS 328882 WITH SCORE 329301.458
AT ITER 251 NEW BEST:: SOT 1082017 SOS 419458 HAS SOPS 419458 HAS SOUS 328880 HAS SOUPS 328880 WITH SCORE 329299.458
AT ITER 284 NEW BEST:: SOT 1081799 SOS 419432 HAS SOPS 419432 HAS SOUS 328716 HAS SOUPS 328716 WITH SCORE 329135.432
AT ITER 287 NEW BEST:: SOT 1081649 SOS 419329 HAS SOPS 419329 HAS SOUS 328632 HAS SOUPS 328632 WITH SCORE 329051.329
AT ITER 334 NEW BEST:: SOT 1081649 SOS 419329 HAS SOPS 419329 HAS SOUS 328630 HAS SOUPS 328630 WITH SCORE 329049.329
AT ITER 407 NEW BEST:: SOT 1081649 SOS 419325 HAS SOPS 419325 HAS SOUS 328624 HAS SOUPS 328624 WITH SCORE 329043.325
AT ITER 501 NEW BEST:: SOT 1081435 SOS 419867 HAS SOPS 419867 HAS SOUS 328595 HAS SOUPS 328595 WITH SCORE 329014.867
AT ITER 556 NEW BEST:: SOT 1081435 SOS 419867 HAS SOPS 419867 HAS SOUS 328519 HAS SOUPS 328519 WITH SCORE 328938.867
AT ITER 568 NEW BEST:: SOT 1081435 SOS 419867 HAS SOPS 419867 HAS SOUS 328495 HAS SOUPS 328495 WITH SCORE 328914.867
AT ITER 600 NEW BEST:: SOT 1081435 SOS 419867 HAS SOPS 419867 HAS SOUS 328465 HAS SOUPS 328465 WITH SCORE 328884.867
AT ITER 603 NEW BEST:: SOT 1081240 SOS 419805 HAS SOPS 419805 HAS SOUS 328308 HAS SOUPS 328308 WITH SCORE 328727.805
AT ITER 605 NEW BEST:: SOT 1081240 SOS 419805 HAS SOPS 419805 HAS SOUS 328304 HAS SOUPS 328304 WITH SCORE 328723.805
AT ITER 644 NEW BEST:: SOT 1080966 SOS 419671 HAS SOPS 419671 HAS SOUS 328163 HAS SOUPS 328163 WITH SCORE 328582.671
AT ITER 731 NEW BEST:: SOT 1080966 SOS 419671 HAS SOPS 419671 HAS SOUS 328143 HAS SOUPS 328143 WITH SCORE 328562.671
AT ITER 733 NEW BEST:: SOT 1080634 SOS 420047 HAS SOPS 420047 HAS SOUS 328058 HAS SOUPS 328058 WITH SCORE 328478.047
AT ITER 757 NEW BEST:: SOT 1080634 SOS 420047 HAS SOPS 420047 HAS SOUS 328024 HAS SOUPS 328024 WITH SCORE 328444.047
AT ITER 818 NEW BEST:: SOT 1080525 SOS 420073 HAS SOPS 420073 HAS SOUS 327942 HAS SOUPS 327942 WITH SCORE 328362.073
AT ITER 838 NEW BEST:: SOT 1080525 SOS 420073 HAS SOPS 420073 HAS SOUS 327938 HAS SOUPS 327938 WITH SCORE 328358.073
AT ITER 992 NEW BEST:: SOT 1080326 SOS 420191 HAS SOPS 420191 HAS SOUS 327826 HAS SOUPS 327826 WITH SCORE 328246.191
AT ITER 1091 NEW BEST:: SOT 1080095 SOS 420168 HAS SOPS 420168 HAS SOUS 327574 HAS SOUPS 327574 WITH SCORE 327994.168
AT ITER 1258 NEW BEST:: SOT 1080095 SOS 420268 HAS SOPS 420268 HAS SOUS 327547 HAS SOUPS 327547 WITH SCORE 327967.268
AT ITER 1347 NEW BEST:: SOT 1079802 SOS 420565 HAS SOPS 420565 HAS SOUS 327442 HAS SOUPS 327442 WITH SCORE 327862.565
AT ITER 1422 NEW BEST:: SOT 1079618 SOS 420571 HAS SOPS 420571 HAS SOUS 327309 HAS SOUPS 327309 WITH SCORE 327729.571
AT ITER 1444 NEW BEST:: SOT 1079452 SOS 420957 HAS SOPS 420957 HAS SOUS 327293 HAS SOUPS 327293 WITH SCORE 327713.957
AT ITER 1516 NEW BEST:: SOT 1079452 SOS 420957 HAS SOPS 420957 HAS SOUS 327287 HAS SOUPS 327287 WITH SCORE 327707.957
AT ITER 1546 NEW BEST:: SOT 1079412 SOS 421032 HAS SOPS 421032 HAS SOUS 327236 HAS SOUPS 327236 WITH SCORE 327657.032
AT ITER 1549 NEW BEST:: SOT 1079370 SOS 421022 HAS SOPS 421022 HAS SOUS 327187 HAS SOUPS 327187 WITH SCORE 327608.022
AT ITER 1650 NEW BEST:: SOT 1078882 SOS 421328 HAS SOPS 421328 HAS SOUS 326933 HAS SOUPS 326933 WITH SCORE 327354.328
AT ITER 1656 NEW BEST:: SOT 1078679 SOS 421905 HAS SOPS 421905 HAS SOUS 326925 HAS SOUPS 326925 WITH SCORE 327346.905
AT ITER 1682 NEW BEST:: SOT 1078679 SOS 421905 HAS SOPS 421905 HAS SOUS 326911 HAS SOUPS 326911 WITH SCORE 327332.905
AT ITER 1787 NEW BEST:: SOT 1078679 SOS 421905 HAS SOPS 421905 HAS SOUS 326907 HAS SOUPS 326907 WITH SCORE 327328.905
AT ITER 1810 NEW BEST:: SOT 1078679 SOS 421916 HAS SOPS 421916 HAS SOUS 326902 HAS SOUPS 326902 WITH SCORE 327323.916
AT ITER 1823 NEW BEST:: SOT 1078514 SOS 421906 HAS SOPS 421906 HAS SOUS 326756 HAS SOUPS 326756 WITH SCORE 327177.906
AT ITER 1859 NEW BEST:: SOT 1078514 SOS 421906 HAS SOPS 421906 HAS SOUS 326644 HAS SOUPS 326644 WITH SCORE 327065.906
AT ITER 1896 NEW BEST:: SOT 1078379 SOS 421906 HAS SOPS 421906 HAS SOUS 326536 HAS SOUPS 326536 WITH SCORE 326957.906
AT ITER 1943 NEW BEST:: SOT 1078379 SOS 421906 HAS SOPS 421906 HAS SOUS 326520 HAS SOUPS 326520 WITH SCORE 326941.906
AT ITER 2017 NEW BEST:: SOT 1078169 SOS 422532 HAS SOPS 422532 HAS SOUS 326479 HAS SOUPS 326479 WITH SCORE 326901.532
AT ITER 2021 NEW BEST:: SOT 1078058 SOS 422767 HAS SOPS 422767 HAS SOUS 326462 HAS SOUPS 326462 WITH SCORE 326884.767
AT ITER 2097 NEW BEST:: SOT 1078058 SOS 422767 HAS SOPS 422767 HAS SOUS 326426 HAS SOUPS 326426 WITH SCORE 326848.767
AT ITER 2179 NEW BEST:: SOT 1077924 SOS 423359 HAS SOPS 423359 HAS SOUS 326289 HAS SOUPS 326289 WITH SCORE 326712.359
AT ITER 2218 NEW BEST:: SOT 1077924 SOS 423359 HAS SOPS 423359 HAS SOUS 326273 HAS SOUPS 326273 WITH SCORE 326696.359
AT ITER 2261 NEW BEST:: SOT 1077879 SOS 423314 HAS SOPS 423314 HAS SOUS 326228 HAS SOUPS 326228 WITH SCORE 326651.314
AT ITER 2275 NEW BEST:: SOT 1077620 SOS 423419 HAS SOPS 423419 HAS SOUS 326183 HAS SOUPS 326183 WITH SCORE 326606.419
AT ITER 2309 NEW BEST:: SOT 1077620 SOS 423419 HAS SOPS 423419 HAS SOUS 326167 HAS SOUPS 326167 WITH SCORE 326590.419
AT ITER 2341 NEW BEST:: SOT 1077320 SOS 423324 HAS SOPS 423324 HAS SOUS 325991 HAS SOUPS 325991 WITH SCORE 326414.324
AT ITER 2343 NEW BEST:: SOT 1077320 SOS 423336 HAS SOPS 423336 HAS SOUS 325987 HAS SOUPS 325987 WITH SCORE 326410.336
AT ITER 2359 NEW BEST:: SOT 1077007 SOS 423259 HAS SOPS 423259 HAS SOUS 325916 HAS SOUPS 325916 WITH SCORE 326339.259
AT ITER 2454 NEW BEST:: SOT 1077007 SOS 423259 HAS SOPS 423259 HAS SOUS 325880 HAS SOUPS 325880 WITH SCORE 326303.259
AT ITER 2458 NEW BEST:: SOT 1076927 SOS 423192 HAS SOPS 423192 HAS SOUS 325808 HAS SOUPS 325808 WITH SCORE 326231.192
AT ITER 2469 NEW BEST:: SOT 1076927 SOS 423000 HAS SOPS 423000 HAS SOUS 325782 HAS SOUPS 325782 WITH SCORE 326205.0
AT ITER 2485 NEW BEST:: SOT 1076927 SOS 423000 HAS SOPS 423000 HAS SOUS 325776 HAS SOUPS 325776 WITH SCORE 326199.0
AT ITER 2530 NEW BEST:: SOT 1076874 SOS 423108 HAS SOPS 423108 HAS SOUS 325754 HAS SOUPS 325754 WITH SCORE 326177.108
AT ITER 2551 NEW BEST:: SOT 1076743 SOS 423078 HAS SOPS 423078 HAS SOUS 325745 HAS SOUPS 325745 WITH SCORE 326168.078
AT ITER 2603 NEW BEST:: SOT 1076743 SOS 423078 HAS SOPS 423078 HAS SOUS 325741 HAS SOUPS 325741 WITH SCORE 326164.078
AT ITER 2691 NEW BEST:: SOT 1076743 SOS 423078 HAS SOPS 423078 HAS SOUS 325739 HAS SOUPS 325739 WITH SCORE 326162.078
AT ITER 2791 NEW BEST:: SOT 1076743 SOS 423078 HAS SOPS 423078 HAS SOUS 325703 HAS SOUPS 325703 WITH SCORE 326126.078
AT ITER 2813 NEW BEST:: SOT 1076743 SOS 423205 HAS SOPS 423205 HAS SOUS 325677 HAS SOUPS 325677 WITH SCORE 326100.205
AT ITER 2835 NEW BEST:: SOT 1076558 SOS 423229 HAS SOPS 423229 HAS SOUS 325625 HAS SOUPS 325625 WITH SCORE 326048.229
AT ITER 2843 NEW BEST:: SOT 1076516 SOS 423234 HAS SOPS 423234 HAS SOUS 325606 HAS SOUPS 325606 WITH SCORE 326029.234
AT ITER 2964 NEW BEST:: SOT 1076462 SOS 423234 HAS SOPS 423234 HAS SOUS 325601 HAS SOUPS 325601 WITH SCORE 326024.234
AT ITER 2973 NEW BEST:: SOT 1076462 SOS 423234 HAS SOPS 423234 HAS SOUS 325597 HAS SOUPS 325597 WITH SCORE 326020.234
AT ITER 3003 NEW BEST:: SOT 1076462 SOS 423234 HAS SOPS 423234 HAS SOUS 325581 HAS SOUPS 325581 WITH SCORE 326004.234
AT ITER 3021 NEW BEST:: SOT 1076462 SOS 423234 HAS SOPS 423234 HAS SOUS 325575 HAS SOUPS 325575 WITH SCORE 325998.234
AT ITER 3147 NEW BEST:: SOT 1076462 SOS 423650 HAS SOPS 423650 HAS SOUS 325490 HAS SOUPS 325490 WITH SCORE 325913.65
AT ITER 3153 NEW BEST:: SOT 1076422 SOS 423610 HAS SOPS 423610 HAS SOUS 325448 HAS SOUPS 325448 WITH SCORE 325871.61
AT ITER 3173 NEW BEST:: SOT 1076422 SOS 423610 HAS SOPS 423610 HAS SOUS 325446 HAS SOUPS 325446 WITH SCORE 325869.61
AT ITER 3179 NEW BEST:: SOT 1075982 SOS 423601 HAS SOPS 423601 HAS SOUS 325124 HAS SOUPS 325124 WITH SCORE 325547.601
AT ITER 3224 NEW BEST:: SOT 1075982 SOS 423601 HAS SOPS 423601 HAS SOUS 325078 HAS SOUPS 325078 WITH SCORE 325501.601
AT ITER 3229 NEW BEST:: SOT 1075982 SOS 423601 HAS SOPS 423601 HAS SOUS 325072 HAS SOUPS 325072 WITH SCORE 325495.601
AT ITER 3260 NEW BEST:: SOT 1075750 SOS 423743 HAS SOPS 423743 HAS SOUS 324997 HAS SOUPS 324997 WITH SCORE 325420.743
AT ITER 3467 NEW BEST:: SOT 1075724 SOS 423722 HAS SOPS 423722 HAS SOUS 324976 HAS SOUPS 324976 WITH SCORE 325399.722
AT ITER 3475 NEW BEST:: SOT 1075724 SOS 423722 HAS SOPS 423722 HAS SOUS 324960 HAS SOUPS 324960 WITH SCORE 325383.722
AT ITER 3529 NEW BEST:: SOT 1075724 SOS 423722 HAS SOPS 423722 HAS SOUS 324952 HAS SOUPS 324952 WITH SCORE 325375.722
AT ITER 3700 NEW BEST:: SOT 1075724 SOS 423792 HAS SOPS 423792 HAS SOUS 324938 HAS SOUPS 324938 WITH SCORE 325361.792
AT ITER 3765 NEW BEST:: SOT 1075702 SOS 423770 HAS SOPS 423770 HAS SOUS 324916 HAS SOUPS 324916 WITH SCORE 325339.77
AT ITER 3895 NEW BEST:: SOT 1075702 SOS 423770 HAS SOPS 423770 HAS SOUS 324872 HAS SOUPS 324872 WITH SCORE 325295.77
AT ITER 3975 NEW BEST:: SOT 1075589 SOS 423882 HAS SOPS 423882 HAS SOUS 324804 HAS SOUPS 324804 WITH SCORE 325227.882
AT ITER 4075 NEW BEST:: SOT 1075391 SOS 423778 HAS SOPS 423778 HAS SOUS 324793 HAS SOUPS 324793 WITH SCORE 325216.778
AT ITER 4187 NEW BEST:: SOT 1075394 SOS 423796 HAS SOPS 423796 HAS SOUS 324791 HAS SOUPS 324791 WITH SCORE 325214.796
AT ITER 4201 NEW BEST:: SOT 1075394 SOS 423796 HAS SOPS 423796 HAS SOUS 324649 HAS SOUPS 324649 WITH SCORE 325072.796
AT ITER 4238 NEW BEST:: SOT 1075070 SOS 423757 HAS SOPS 423757 HAS SOUS 324379 HAS SOUPS 324379 WITH SCORE 324802.757
AT ITER 4258 NEW BEST:: SOT 1074975 SOS 423700 HAS SOPS 423700 HAS SOUS 324303 HAS SOUPS 324303 WITH SCORE 324726.7
AT ITER 4273 NEW BEST:: SOT 1074845 SOS 423571 HAS SOPS 423571 HAS SOUS 324267 HAS SOUPS 324267 WITH SCORE 324690.571
AT ITER 4331 NEW BEST:: SOT 1074819 SOS 423545 HAS SOPS 423545 HAS SOUS 324241 HAS SOUPS 324241 WITH SCORE 324664.545
AT ITER 4355 NEW BEST:: SOT 1074819 SOS 423545 HAS SOPS 423545 HAS SOUS 324217 HAS SOUPS 324217 WITH SCORE 324640.545
AT ITER 4407 NEW BEST:: SOT 1074819 SOS 423545 HAS SOPS 423545 HAS SOUS 324165 HAS SOUPS 324165 WITH SCORE 324588.545
AT ITER 4508 NEW BEST:: SOT 1074819 SOS 423527 HAS SOPS 423527 HAS SOUS 324161 HAS SOUPS 324161 WITH SCORE 324584.527
AT ITER 4571 NEW BEST:: SOT 1074633 SOS 423957 HAS SOPS 423957 HAS SOUS 324123 HAS SOUPS 324123 WITH SCORE 324546.957
AT ITER 4602 NEW BEST:: SOT 1074633 SOS 423957 HAS SOPS 423957 HAS SOUS 324121 HAS SOUPS 324121 WITH SCORE 324544.957
AT ITER 4620 NEW BEST:: SOT 1074621 SOS 423939 HAS SOPS 423939 HAS SOUS 324107 HAS SOUPS 324107 WITH SCORE 324530.939
AT ITER 4771 NEW BEST:: SOT 1074621 SOS 423939 HAS SOPS 423939 HAS SOUS 324089 HAS SOUPS 324089 WITH SCORE 324512.939
AT ITER 4808 NEW BEST:: SOT 1074546 SOS 423926 HAS SOPS 423926 HAS SOUS 324059 HAS SOUPS 324059 WITH SCORE 324482.926
AT ITER 4862 NEW BEST:: SOT 1074546 SOS 423926 HAS SOPS 423926 HAS SOUS 323887 HAS SOUPS 323887 WITH SCORE 324310.926
AT ITER 4875 NEW BEST:: SOT 1074161 SOS 424261 HAS SOPS 424261 HAS SOUS 323622 HAS SOUPS 323622 WITH SCORE 324046.261
AT ITER 5013 NEW BEST:: SOT 1074013 SOS 424146 HAS SOPS 424146 HAS SOUS 323474 HAS SOUPS 323474 WITH SCORE 323898.146
AT ITER 5016 NEW BEST:: SOT 1073909 SOS 424091 HAS SOPS 424091 HAS SOUS 323420 HAS SOUPS 323420 WITH SCORE 323844.091
AT ITER 5025 NEW BEST:: SOT 1073825 SOS 424427 HAS SOPS 424427 HAS SOUS 323402 HAS SOUPS 323402 WITH SCORE 323826.427
AT ITER 5094 NEW BEST:: SOT 1073786 SOS 424388 HAS SOPS 424388 HAS SOUS 323363 HAS SOUPS 323363 WITH SCORE 323787.388
AT ITER 5133 NEW BEST:: SOT 1073738 SOS 424340 HAS SOPS 424340 HAS SOUS 323315 HAS SOUPS 323315 WITH SCORE 323739.34
AT ITER 5255 NEW BEST:: SOT 1073460 SOS 424176 HAS SOPS 424176 HAS SOUS 323059 HAS SOUPS 323059 WITH SCORE 323483.176
AT ITER 5272 NEW BEST:: SOT 1073344 SOS 424088 HAS SOPS 424088 HAS SOUS 323047 HAS SOUPS 323047 WITH SCORE 323471.088
AT ITER 5296 NEW BEST:: SOT 1073344 SOS 424088 HAS SOPS 424088 HAS SOUS 323013 HAS SOUPS 323013 WITH SCORE 323437.088
AT ITER 5377 NEW BEST:: SOT 1073344 SOS 423794 HAS SOPS 423794 HAS SOUS 322964 HAS SOUPS 322964 WITH SCORE 323387.794
AT ITER 5492 NEW BEST:: SOT 1073375 SOS 424139 HAS SOPS 424139 HAS SOUS 322940 HAS SOUPS 322940 WITH SCORE 323364.139
AT ITER 5570 NEW BEST:: SOT 1073375 SOS 424139 HAS SOPS 424139 HAS SOUS 322928 HAS SOUPS 322928 WITH SCORE 323352.139
AT ITER 5619 NEW BEST:: SOT 1073375 SOS 424139 HAS SOPS 424139 HAS SOUS 322926 HAS SOUPS 322926 WITH SCORE 323350.139
AT ITER 5623 NEW BEST:: SOT 1073375 SOS 424139 HAS SOPS 424139 HAS SOUS 322914 HAS SOUPS 322914 WITH SCORE 323338.139
AT ITER 5654 NEW BEST:: SOT 1073375 SOS 424175 HAS SOPS 424175 HAS SOUS 322911 HAS SOUPS 322911 WITH SCORE 323335.175
AT ITER 5721 NEW BEST:: SOT 1073371 SOS 424222 HAS SOPS 424222 HAS SOUS 322896 HAS SOUPS 322896 WITH SCORE 323320.222
AT ITER 5734 NEW BEST:: SOT 1073384 SOS 424279 HAS SOPS 424279 HAS SOUS 322887 HAS SOUPS 322887 WITH SCORE 323311.279
AT ITER 5774 NEW BEST:: SOT 1073384 SOS 424279 HAS SOPS 424279 HAS SOUS 322825 HAS SOUPS 322825 WITH SCORE 323249.279
AT ITER 5941 NEW BEST:: SOT 1073407 SOS 424302 HAS SOPS 424302 HAS SOUS 322728 HAS SOUPS 322728 WITH SCORE 323152.302
AT ITER 6010 NEW BEST:: SOT 1073407 SOS 424302 HAS SOPS 424302 HAS SOUS 322590 HAS SOUPS 322590 WITH SCORE 323014.302
AT ITER 6014 NEW BEST:: SOT 1073407 SOS 424905 HAS SOPS 424905 HAS SOUS 322471 HAS SOUPS 322471 WITH SCORE 322895.905
AT ITER 6026 NEW BEST:: SOT 1073407 SOS 424905 HAS SOPS 424905 HAS SOUS 322469 HAS SOUPS 322469 WITH SCORE 322893.905
AT ITER 6038 NEW BEST:: SOT 1073407 SOS 424905 HAS SOPS 424905 HAS SOUS 322355 HAS SOUPS 322355 WITH SCORE 322779.905
AT ITER 6043 NEW BEST:: SOT 1073368 SOS 424986 HAS SOPS 424986 HAS SOUS 322346 HAS SOUPS 322346 WITH SCORE 322770.986
AT ITER 6047 NEW BEST:: SOT 1072989 SOS 425118 HAS SOPS 425118 HAS SOUS 322158 HAS SOUPS 322158 WITH SCORE 322583.118
AT ITER 6072 NEW BEST:: SOT 1072989 SOS 425257 HAS SOPS 425257 HAS SOUS 322129 HAS SOUPS 322129 WITH SCORE 322554.257
AT ITER 6198 NEW BEST:: SOT 1072980 SOS 425248 HAS SOPS 425248 HAS SOUS 322120 HAS SOUPS 322120 WITH SCORE 322545.248
AT ITER 6200 NEW BEST:: SOT 1073015 SOS 424983 HAS SOPS 424983 HAS SOUS 322105 HAS SOUPS 322105 WITH SCORE 322529.983
AT ITER 6272 NEW BEST:: SOT 1073015 SOS 424983 HAS SOPS 424983 HAS SOUS 322101 HAS SOUPS 322101 WITH SCORE 322525.983
AT ITER 6369 NEW BEST:: SOT 1073005 SOS 424959 HAS SOPS 424959 HAS SOUS 322100 HAS SOUPS 322100 WITH SCORE 322524.959
AT ITER 6391 NEW BEST:: SOT 1072989 SOS 424943 HAS SOPS 424943 HAS SOUS 322084 HAS SOUPS 322084 WITH SCORE 322508.943
AT ITER 6468 NEW BEST:: SOT 1072989 SOS 424943 HAS SOPS 424943 HAS SOUS 322070 HAS SOUPS 322070 WITH SCORE 322494.943
AT ITER 6473 NEW BEST:: SOT 1072989 SOS 424943 HAS SOPS 424943 HAS SOUS 321994 HAS SOUPS 321994 WITH SCORE 322418.943
AT ITER 6510 NEW BEST:: SOT 1072973 SOS 424927 HAS SOPS 424927 HAS SOUS 321978 HAS SOUPS 321978 WITH SCORE 322402.927
AT ITER 6543 NEW BEST:: SOT 1072747 SOS 424748 HAS SOPS 424748 HAS SOUS 321856 HAS SOUPS 321856 WITH SCORE 322280.748
AT ITER 6557 NEW BEST:: SOT 1072746 SOS 424747 HAS SOPS 424747 HAS SOUS 321855 HAS SOUPS 321855 WITH SCORE 322279.747
AT ITER 6569 NEW BEST:: SOT 1072735 SOS 424830 HAS SOPS 424830 HAS SOUS 321835 HAS SOUPS 321835 WITH SCORE 322259.83
AT ITER 6643 NEW BEST:: SOT 1072680 SOS 424804 HAS SOPS 424804 HAS SOUS 321797 HAS SOUPS 321797 WITH SCORE 322221.804
AT ITER 6652 NEW BEST:: SOT 1072557 SOS 424681 HAS SOPS 424681 HAS SOUS 321680 HAS SOUPS 321680 WITH SCORE 322104.681
AT ITER 6713 NEW BEST:: SOT 1072557 SOS 424681 HAS SOPS 424681 HAS SOUS 321660 HAS SOUPS 321660 WITH SCORE 322084.681
AT ITER 6771 NEW BEST:: SOT 1072557 SOS 424681 HAS SOPS 424681 HAS SOUS 321634 HAS SOUPS 321634 WITH SCORE 322058.681
AT ITER 6793 NEW BEST:: SOT 1072557 SOS 424681 HAS SOPS 424681 HAS SOUS 321618 HAS SOUPS 321618 WITH SCORE 322042.681
AT ITER 6838 NEW BEST:: SOT 1072557 SOS 424681 HAS SOPS 424681 HAS SOUS 321614 HAS SOUPS 321614 WITH SCORE 322038.681
AT ITER 6894 NEW BEST:: SOT 1072260 SOS 425202 HAS SOPS 425202 HAS SOUS 321609 HAS SOUPS 321609 WITH SCORE 322034.202
AT ITER 6955 NEW BEST:: SOT 1072258 SOS 425215 HAS SOPS 425215 HAS SOUS 321606 HAS SOUPS 321606 WITH SCORE 322031.215
AT ITER 6966 NEW BEST:: SOT 1072112 SOS 424800 HAS SOPS 424800 HAS SOUS 321389 HAS SOUPS 321389 WITH SCORE 321813.8
AT ITER 6988 NEW BEST:: SOT 1071908 SOS 424744 HAS SOPS 424744 HAS SOUS 321388 HAS SOUPS 321388 WITH SCORE 321812.744
AT ITER 7049 NEW BEST:: SOT 1071908 SOS 424744 HAS SOPS 424744 HAS SOUS 321386 HAS SOUPS 321386 WITH SCORE 321810.744
AT ITER 7058 NEW BEST:: SOT 1071901 SOS 424810 HAS SOPS 424810 HAS SOUS 321358 HAS SOUPS 321358 WITH SCORE 321782.81
AT ITER 7064 NEW BEST:: SOT 1071847 SOS 425170 HAS SOPS 425170 HAS SOUS 321161 HAS SOUPS 321161 WITH SCORE 321586.17
AT ITER 7208 NEW BEST:: SOT 1071819 SOS 425142 HAS SOPS 425142 HAS SOUS 321133 HAS SOUPS 321133 WITH SCORE 321558.142
AT ITER 7211 NEW BEST:: SOT 1071819 SOS 425139 HAS SOPS 425139 HAS SOUS 321133 HAS SOUPS 321133 WITH SCORE 321558.139
AT ITER 7334 NEW BEST:: SOT 1071818 SOS 425138 HAS SOPS 425138 HAS SOUS 321132 HAS SOUPS 321132 WITH SCORE 321557.138
AT ITER 7344 NEW BEST:: SOT 1071818 SOS 425138 HAS SOPS 425138 HAS SOUS 320948 HAS SOUPS 320948 WITH SCORE 321373.138
AT ITER 7348 NEW BEST:: SOT 1071775 SOS 425085 HAS SOPS 425085 HAS SOUS 320875 HAS SOUPS 320875 WITH SCORE 321300.085
AT ITER 7375 NEW BEST:: SOT 1071737 SOS 425087 HAS SOPS 425087 HAS SOUS 320873 HAS SOUPS 320873 WITH SCORE 321298.087
AT ITER 7423 NEW BEST:: SOT 1071737 SOS 425087 HAS SOPS 425087 HAS SOUS 320869 HAS SOUPS 320869 WITH SCORE 321294.087
AT ITER 7541 NEW BEST:: SOT 1071594 SOS 424794 HAS SOPS 424794 HAS SOUS 320660 HAS SOUPS 320660 WITH SCORE 321084.794
AT ITER 7550 NEW BEST:: SOT 1071594 SOS 424794 HAS SOPS 424794 HAS SOUS 320654 HAS SOUPS 320654 WITH SCORE 321078.794
AT ITER 7639 NEW BEST:: SOT 1071594 SOS 424892 HAS SOPS 424892 HAS SOUS 320634 HAS SOUPS 320634 WITH SCORE 321058.892
AT ITER 7642 NEW BEST:: SOT 1071574 SOS 424872 HAS SOPS 424872 HAS SOUS 320614 HAS SOUPS 320614 WITH SCORE 321038.872
AT ITER 7703 NEW BEST:: SOT 1071544 SOS 424933 HAS SOPS 424933 HAS SOUS 320612 HAS SOUPS 320612 WITH SCORE 321036.933
AT ITER 7708 NEW BEST:: SOT 1071544 SOS 424966 HAS SOPS 424966 HAS SOUS 320607 HAS SOUPS 320607 WITH SCORE 321031.966
AT ITER 7717 NEW BEST:: SOT 1071544 SOS 424966 HAS SOPS 424966 HAS SOUS 320599 HAS SOUPS 320599 WITH SCORE 321023.966
AT ITER 7739 NEW BEST:: SOT 1071521 SOS 424951 HAS SOPS 424951 HAS SOUS 320578 HAS SOUPS 320578 WITH SCORE 321002.951
AT ITER 7747 NEW BEST:: SOT 1071515 SOS 424945 HAS SOPS 424945 HAS SOUS 320572 HAS SOUPS 320572 WITH SCORE 320996.945
AT ITER 7799 NEW BEST:: SOT 1071370 SOS 425290 HAS SOPS 425290 HAS SOUS 320525 HAS SOUPS 320525 WITH SCORE 320950.29
AT ITER 7837 NEW BEST:: SOT 1071370 SOS 425290 HAS SOPS 425290 HAS SOUS 320523 HAS SOUPS 320523 WITH SCORE 320948.29
AT ITER 7914 NEW BEST:: SOT 1071370 SOS 425290 HAS SOPS 425290 HAS SOUS 320393 HAS SOUPS 320393 WITH SCORE 320818.29
AT ITER 7948 NEW BEST:: SOT 1071315 SOS 425257 HAS SOPS 425257 HAS SOUS 320360 HAS SOUPS 320360 WITH SCORE 320785.257
AT ITER 7988 NEW BEST:: SOT 1071311 SOS 425631 HAS SOPS 425631 HAS SOUS 320282 HAS SOUPS 320282 WITH SCORE 320707.631
AT ITER 8290 NEW BEST:: SOT 1071258 SOS 425608 HAS SOPS 425608 HAS SOUS 320226 HAS SOUPS 320226 WITH SCORE 320651.608
AT ITER 8319 NEW BEST:: SOT 1071064 SOS 425537 HAS SOPS 425537 HAS SOUS 320065 HAS SOUPS 320065 WITH SCORE 320490.537
AT ITER 8376 NEW BEST:: SOT 1070955 SOS 425963 HAS SOPS 425963 HAS SOUS 320063 HAS SOUPS 320063 WITH SCORE 320488.963
AT ITER 8483 NEW BEST:: SOT 1070955 SOS 425963 HAS SOPS 425963 HAS SOUS 320059 HAS SOUPS 320059 WITH SCORE 320484.963
AT ITER 8507 NEW BEST:: SOT 1070537 SOS 426001 HAS SOPS 426001 HAS SOUS 319717 HAS SOUPS 319717 WITH SCORE 320143.001
AT ITER 8516 NEW BEST:: SOT 1070311 SOS 426072 HAS SOPS 426072 HAS SOUS 319597 HAS SOUPS 319597 WITH SCORE 320023.072
AT ITER 8561 NEW BEST:: SOT 1070289 SOS 426158 HAS SOPS 426158 HAS SOUS 319574 HAS SOUPS 319574 WITH SCORE 320000.158
AT ITER 8563 NEW BEST:: SOT 1070160 SOS 426230 HAS SOPS 426230 HAS SOUS 319488 HAS SOUPS 319488 WITH SCORE 319914.23
AT ITER 8685 NEW BEST:: SOT 1070146 SOS 426243 HAS SOPS 426243 HAS SOUS 319474 HAS SOUPS 319474 WITH SCORE 319900.243
AT ITER 8697 NEW BEST:: SOT 1070127 SOS 426224 HAS SOPS 426224 HAS SOUS 319423 HAS SOUPS 319423 WITH SCORE 319849.224
AT ITER 8724 NEW BEST:: SOT 1070127 SOS 426224 HAS SOPS 426224 HAS SOUS 319403 HAS SOUPS 319403 WITH SCORE 319829.224
AT ITER 8806 NEW BEST:: SOT 1070127 SOS 426224 HAS SOPS 426224 HAS SOUS 319387 HAS SOUPS 319387 WITH SCORE 319813.224
AT ITER 8855 NEW BEST:: SOT 1070127 SOS 426224 HAS SOPS 426224 HAS SOUS 319343 HAS SOUPS 319343 WITH SCORE 319769.224
AT ITER 8992 NEW BEST:: SOT 1070127 SOS 426224 HAS SOPS 426224 HAS SOUS 319341 HAS SOUPS 319341 WITH SCORE 319767.224
AT ITER 9007 NEW BEST:: SOT 1070127 SOS 426171 HAS SOPS 426171 HAS SOUS 319308 HAS SOUPS 319308 WITH SCORE 319734.171
AT ITER 9106 NEW BEST:: SOT 1070127 SOS 426171 HAS SOPS 426171 HAS SOUS 319290 HAS SOUPS 319290 WITH SCORE 319716.171
AT ITER 9126 NEW BEST:: SOT 1070123 SOS 426167 HAS SOPS 426167 HAS SOUS 319286 HAS SOUPS 319286 WITH SCORE 319712.167
AT ITER 9133 NEW BEST:: SOT 1070113 SOS 426157 HAS SOPS 426157 HAS SOUS 319276 HAS SOUPS 319276 WITH SCORE 319702.157
AT ITER 9143 NEW BEST:: SOT 1070113 SOS 426157 HAS SOPS 426157 HAS SOUS 319274 HAS SOUPS 319274 WITH SCORE 319700.157
AT ITER 9167 NEW BEST:: SOT 1070113 SOS 426157 HAS SOPS 426157 HAS SOUS 319272 HAS SOUPS 319272 WITH SCORE 319698.157
AT ITER 9172 NEW BEST:: SOT 1070113 SOS 426157 HAS SOPS 426157 HAS SOUS 319254 HAS SOUPS 319254 WITH SCORE 319680.157
AT ITER 9216 NEW BEST:: SOT 1070113 SOS 426157 HAS SOPS 426157 HAS SOUS 319250 HAS SOUPS 319250 WITH SCORE 319676.157
AT ITER 9297 NEW BEST:: SOT 1070050 SOS 426094 HAS SOPS 426094 HAS SOUS 319185 HAS SOUPS 319185 WITH SCORE 319611.094
AT ITER 9376 NEW BEST:: SOT 1070050 SOS 426094 HAS SOPS 426094 HAS SOUS 319105 HAS SOUPS 319105 WITH SCORE 319531.094
AT ITER 9404 NEW BEST:: SOT 1070049 SOS 426093 HAS SOPS 426093 HAS SOUS 319104 HAS SOUPS 319104 WITH SCORE 319530.093
AT ITER 9471 NEW BEST:: SOT 1070049 SOS 426093 HAS SOPS 426093 HAS SOUS 319094 HAS SOUPS 319094 WITH SCORE 319520.093
AT ITER 9560 NEW BEST:: SOT 1069908 SOS 425952 HAS SOPS 425952 HAS SOUS 318951 HAS SOUPS 318951 WITH SCORE 319376.952
AT ITER 9562 NEW BEST:: SOT 1069868 SOS 425912 HAS SOPS 425912 HAS SOUS 318911 HAS SOUPS 318911 WITH SCORE 319336.912
AT ITER 9577 NEW BEST:: SOT 1069868 SOS 425752 HAS SOPS 425752 HAS SOUS 318869 HAS SOUPS 318869 WITH SCORE 319294.752
AT ITER 9586 NEW BEST:: SOT 1069868 SOS 425752 HAS SOPS 425752 HAS SOUS 318827 HAS SOUPS 318827 WITH SCORE 319252.752
AT ITER 9629 NEW BEST:: SOT 1069773 SOS 425735 HAS SOPS 425735 HAS SOUS 318822 HAS SOUPS 318822 WITH SCORE 319247.735
AT ITER 9648 NEW BEST:: SOT 1069658 SOS 425775 HAS SOPS 425775 HAS SOUS 318738 HAS SOUPS 318738 WITH SCORE 319163.775
AT ITER 9674 NEW BEST:: SOT 1069658 SOS 425805 HAS SOPS 425805 HAS SOUS 318719 HAS SOUPS 318719 WITH SCORE 319144.805
AT ITER 9792 NEW BEST:: SOT 1069658 SOS 425805 HAS SOPS 425805 HAS SOUS 318713 HAS SOUPS 318713 WITH SCORE 319138.805
AT ITER 9793 NEW BEST:: SOT 1069635 SOS 425782 HAS SOPS 425782 HAS SOUS 318690 HAS SOUPS 318690 WITH SCORE 319115.782
AT ITER 9819 NEW BEST:: SOT 1069635 SOS 426132 HAS SOPS 426132 HAS SOUS 318686 HAS SOUPS 318686 WITH SCORE 319112.132
AT ITER 9871 NEW BEST:: SOT 1069635 SOS 426132 HAS SOPS 426132 HAS SOUS 318660 HAS SOUPS 318660 WITH SCORE 319086.132
AT ITER 9982 NEW BEST:: SOT 1069506 SOS 426030 HAS SOPS 426030 HAS SOUS 318571 HAS SOUPS 318571 WITH SCORE 318997.03

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-d03r05"
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-d03r05, 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-158922808300976"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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