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.r067-smll-167814394900456.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is CloudDeployment-PT-7b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r067-smll-167814394900456
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 21M
-rw-r--r-- 1 mcc users 8.7K Feb 25 14:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 14:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 14:47 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:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 25 14:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 14:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 14:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:45 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 20M 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 1678316384253

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=CloudDeployment-PT-7b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 7b
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: 2271 places, 19752 transitions, 389666 arcs.
AT ITER 0 NEW BEST:: SOT 35950159 SOS 13093579 HAS SOPS 13093579 HAS SOUS 3940296 HAS SOUPS 3940296 WITH SCORE 3953389.579
AT ITER 14 NEW BEST:: SOT 35949259 SOS 13101184 HAS SOPS 13101184 HAS SOUS 3939690 HAS SOUPS 3939690 WITH SCORE 3952791.184
AT ITER 44 NEW BEST:: SOT 35948918 SOS 13100843 HAS SOPS 13100843 HAS SOUS 3939349 HAS SOUPS 3939349 WITH SCORE 3952449.843
AT ITER 46 NEW BEST:: SOT 35948821 SOS 13100649 HAS SOPS 13100649 HAS SOUS 3939155 HAS SOUPS 3939155 WITH SCORE 3952255.649
AT ITER 55 NEW BEST:: SOT 35948536 SOS 13166274 HAS SOPS 13166274 HAS SOUS 3939035 HAS SOUPS 3939035 WITH SCORE 3952201.274
AT ITER 60 NEW BEST:: SOT 35946443 SOS 13184881 HAS SOPS 13184881 HAS SOUS 3937983 HAS SOUPS 3937983 WITH SCORE 3951167.881
AT ITER 82 NEW BEST:: SOT 35946365 SOS 13184803 HAS SOPS 13184803 HAS SOUS 3937938 HAS SOUPS 3937938 WITH SCORE 3951122.803
AT ITER 84 NEW BEST:: SOT 35945911 SOS 13185281 HAS SOPS 13185281 HAS SOUS 3937723 HAS SOUPS 3937723 WITH SCORE 3950908.281
AT ITER 89 NEW BEST:: SOT 35945596 SOS 13184651 HAS SOPS 13184651 HAS SOUS 3937407 HAS SOUPS 3937407 WITH SCORE 3950591.651
AT ITER 95 NEW BEST:: SOT 35945439 SOS 13185695 HAS SOPS 13185695 HAS SOUS 3937249 HAS SOUPS 3937249 WITH SCORE 3950434.695
AT ITER 100 NEW BEST:: SOT 35945243 SOS 13185303 HAS SOPS 13185303 HAS SOUS 3937110 HAS SOUPS 3937110 WITH SCORE 3950295.303
AT ITER 107 NEW BEST:: SOT 35945496 SOS 13185779 HAS SOPS 13185779 HAS SOUS 3936999 HAS SOUPS 3936999 WITH SCORE 3950184.779
AT ITER 110 NEW BEST:: SOT 35945375 SOS 13185537 HAS SOPS 13185537 HAS SOUS 3936757 HAS SOUPS 3936757 WITH SCORE 3949942.537
AT ITER 113 NEW BEST:: SOT 35943767 SOS 13185411 HAS SOPS 13185411 HAS SOUS 3935702 HAS SOUPS 3935702 WITH SCORE 3948887.411
AT ITER 121 NEW BEST:: SOT 35943744 SOS 13187466 HAS SOPS 13187466 HAS SOUS 3935640 HAS SOUPS 3935640 WITH SCORE 3948827.466
AT ITER 127 NEW BEST:: SOT 35943624 SOS 13187426 HAS SOPS 13187426 HAS SOUS 3935560 HAS SOUPS 3935560 WITH SCORE 3948747.426
AT ITER 136 NEW BEST:: SOT 35943417 SOS 13189560 HAS SOPS 13189560 HAS SOUS 3935352 HAS SOUPS 3935352 WITH SCORE 3948541.56
AT ITER 149 NEW BEST:: SOT 35943057 SOS 13189440 HAS SOPS 13189440 HAS SOUS 3935112 HAS SOUPS 3935112 WITH SCORE 3948301.44
AT ITER 179 NEW BEST:: SOT 35942784 SOS 13189596 HAS SOPS 13189596 HAS SOUS 3935073 HAS SOUPS 3935073 WITH SCORE 3948262.596
AT ITER 191 NEW BEST:: SOT 35942785 SOS 13204757 HAS SOPS 13204757 HAS SOUS 3935007 HAS SOUPS 3935007 WITH SCORE 3948211.757
AT ITER 196 NEW BEST:: SOT 35942680 SOS 13204547 HAS SOPS 13204547 HAS SOUS 3934901 HAS SOUPS 3934901 WITH SCORE 3948105.547
AT ITER 205 NEW BEST:: SOT 35942138 SOS 13206087 HAS SOPS 13206087 HAS SOUS 3933876 HAS SOUPS 3933876 WITH SCORE 3947082.087
AT ITER 218 NEW BEST:: SOT 35941973 SOS 13205757 HAS SOPS 13205757 HAS SOUS 3933711 HAS SOUPS 3933711 WITH SCORE 3946916.757
AT ITER 229 NEW BEST:: SOT 35941784 SOS 13205933 HAS SOPS 13205933 HAS SOUS 3933648 HAS SOUPS 3933648 WITH SCORE 3946853.933
AT ITER 234 NEW BEST:: SOT 35940931 SOS 13189208 HAS SOPS 13189208 HAS SOUS 3932444 HAS SOUPS 3932444 WITH SCORE 3945633.208
AT ITER 258 NEW BEST:: SOT 35940931 SOS 13188925 HAS SOPS 13188925 HAS SOUS 3932444 HAS SOUPS 3932444 WITH SCORE 3945632.925
AT ITER 267 NEW BEST:: SOT 36636427 SOS 13887417 HAS SOPS 13887417 HAS SOUS 3161886 HAS SOUPS 3161886 WITH SCORE 3175773.417
AT ITER 271 NEW BEST:: SOT 36636427 SOS 13887417 HAS SOPS 13887417 HAS SOUS 3161211 HAS SOUPS 3161211 WITH SCORE 3175098.417
AT ITER 275 NEW BEST:: SOT 36636339 SOS 13887351 HAS SOPS 13887351 HAS SOUS 3161096 HAS SOUPS 3161096 WITH SCORE 3174983.351
AT ITER 295 NEW BEST:: SOT 36636106 SOS 13887557 HAS SOPS 13887557 HAS SOUS 3160914 HAS SOUPS 3160914 WITH SCORE 3174801.557
AT ITER 296 NEW BEST:: SOT 36635940 SOS 13887925 HAS SOPS 13887925 HAS SOUS 3160748 HAS SOUPS 3160748 WITH SCORE 3174635.925
AT ITER 315 NEW BEST:: SOT 36635907 SOS 13888505 HAS SOPS 13888505 HAS SOUS 3160747 HAS SOUPS 3160747 WITH SCORE 3174635.505
AT ITER 352 NEW BEST:: SOT 36633925 SOS 13888081 HAS SOPS 13888081 HAS SOUS 3159521 HAS SOUPS 3159521 WITH SCORE 3173409.081
AT ITER 355 NEW BEST:: SOT 36633924 SOS 13888079 HAS SOPS 13888079 HAS SOUS 3159205 HAS SOUPS 3159205 WITH SCORE 3173093.079
AT ITER 358 NEW BEST:: SOT 36632198 SOS 13885938 HAS SOPS 13885938 HAS SOUS 3157407 HAS SOUPS 3157407 WITH SCORE 3171292.938
AT ITER 368 NEW BEST:: SOT 36631723 SOS 13885463 HAS SOPS 13885463 HAS SOUS 2672708 HAS SOUPS 2672708 WITH SCORE 2686593.463
AT ITER 374 NEW BEST:: SOT 36631440 SOS 13886512 HAS SOPS 13886512 HAS SOUS 2672102 HAS SOUPS 2672102 WITH SCORE 2685988.512
AT ITER 376 NEW BEST:: SOT 36631440 SOS 13886796 HAS SOPS 13886796 HAS SOUS 2671818 HAS SOUPS 2671818 WITH SCORE 2685704.796
AT ITER 384 NEW BEST:: SOT 36631426 SOS 13886768 HAS SOPS 13886768 HAS SOUS 2671803 HAS SOUPS 2671803 WITH SCORE 2685689.768
AT ITER 394 NEW BEST:: SOT 36631440 SOS 13886796 HAS SOPS 13886796 HAS SOUS 2671705 HAS SOUPS 2671705 WITH SCORE 2685591.796
AT ITER 399 NEW BEST:: SOT 36631438 SOS 13887104 HAS SOPS 13887104 HAS SOUS 2671533 HAS SOUPS 2671533 WITH SCORE 2685420.104
AT ITER 417 NEW BEST:: SOT 36631281 SOS 13886790 HAS SOPS 13886790 HAS SOUS 2671257 HAS SOUPS 2671257 WITH SCORE 2685143.79
AT ITER 418 NEW BEST:: SOT 36631281 SOS 13886789 HAS SOPS 13886789 HAS SOUS 2671256 HAS SOUPS 2671256 WITH SCORE 2685142.789
AT ITER 422 NEW BEST:: SOT 36628619 SOS 13920464 HAS SOPS 13920464 HAS SOUS 2670777 HAS SOUPS 2670777 WITH SCORE 2684697.464
AT ITER 442 NEW BEST:: SOT 36628616 SOS 13920458 HAS SOPS 13920458 HAS SOUS 2670771 HAS SOUPS 2670771 WITH SCORE 2684691.458
AT ITER 447 NEW BEST:: SOT 36628484 SOS 13920326 HAS SOPS 13920326 HAS SOUS 2670770 HAS SOUPS 2670770 WITH SCORE 2684690.326
AT ITER 453 NEW BEST:: SOT 36628484 SOS 13920301 HAS SOPS 13920301 HAS SOUS 2670745 HAS SOUPS 2670745 WITH SCORE 2684665.301
AT ITER 463 NEW BEST:: SOT 36627009 SOS 13935489 HAS SOPS 13935489 HAS SOUS 2670186 HAS SOUPS 2670186 WITH SCORE 2684121.489
AT ITER 496 NEW BEST:: SOT 36627009 SOS 13935885 HAS SOPS 13935885 HAS SOUS 2670094 HAS SOUPS 2670094 WITH SCORE 2684029.885
AT ITER 502 NEW BEST:: SOT 36627009 SOS 13935494 HAS SOPS 13935494 HAS SOUS 2670017 HAS SOUPS 2670017 WITH SCORE 2683952.494
AT ITER 506 NEW BEST:: SOT 36626836 SOS 13935148 HAS SOPS 13935148 HAS SOUS 2669698 HAS SOUPS 2669698 WITH SCORE 2683633.148
AT ITER 511 NEW BEST:: SOT 36626836 SOS 13935148 HAS SOPS 13935148 HAS SOUS 2669635 HAS SOUPS 2669635 WITH SCORE 2683570.148
AT ITER 527 NEW BEST:: SOT 36627107 SOS 13935690 HAS SOPS 13935690 HAS SOUS 2669588 HAS SOUPS 2669588 WITH SCORE 2683523.69
AT ITER 535 NEW BEST:: SOT 36627000 SOS 13935569 HAS SOPS 13935569 HAS SOUS 2669520 HAS SOUPS 2669520 WITH SCORE 2683455.569
AT ITER 541 NEW BEST:: SOT 36627014 SOS 13935734 HAS SOPS 13935734 HAS SOUS 2669473 HAS SOUPS 2669473 WITH SCORE 2683408.734
AT ITER 543 NEW BEST:: SOT 36623767 SOS 13999855 HAS SOPS 13999855 HAS SOUS 2668709 HAS SOUPS 2668709 WITH SCORE 2682708.855
AT ITER 555 NEW BEST:: SOT 36623775 SOS 13999820 HAS SOPS 13999820 HAS SOUS 2668682 HAS SOUPS 2668682 WITH SCORE 2682681.82
AT ITER 572 NEW BEST:: SOT 36623175 SOS 13998228 HAS SOPS 13998228 HAS SOUS 2667914 HAS SOUPS 2667914 WITH SCORE 2681912.228
AT ITER 580 NEW BEST:: SOT 36623174 SOS 13998226 HAS SOPS 13998226 HAS SOUS 2667912 HAS SOUPS 2667912 WITH SCORE 2681910.226
AT ITER 625 NEW BEST:: SOT 36622826 SOS 13997878 HAS SOPS 13997878 HAS SOUS 2667216 HAS SOUPS 2667216 WITH SCORE 2681213.878
AT ITER 634 NEW BEST:: SOT 36622789 SOS 13997841 HAS SOPS 13997841 HAS SOUS 2667179 HAS SOUPS 2667179 WITH SCORE 2681176.841
AT ITER 642 NEW BEST:: SOT 36622757 SOS 13997805 HAS SOPS 13997805 HAS SOUS 2667143 HAS SOUPS 2667143 WITH SCORE 2681140.805
AT ITER 652 NEW BEST:: SOT 36622077 SOS 13998237 HAS SOPS 13998237 HAS SOUS 2666724 HAS SOUPS 2666724 WITH SCORE 2680722.237
AT ITER 678 NEW BEST:: SOT 36617335 SOS 13998987 HAS SOPS 13998987 HAS SOUS 2662405 HAS SOUPS 2662405 WITH SCORE 2676403.987
AT ITER 703 NEW BEST:: SOT 36617335 SOS 13998669 HAS SOPS 13998669 HAS SOUS 2662327 HAS SOUPS 2662327 WITH SCORE 2676325.669
AT ITER 705 NEW BEST:: SOT 36617247 SOS 13999193 HAS SOPS 13999193 HAS SOUS 2662284 HAS SOUPS 2662284 WITH SCORE 2676283.193
AT ITER 717 NEW BEST:: SOT 36616914 SOS 13999697 HAS SOPS 13999697 HAS SOUS 2662082 HAS SOUPS 2662082 WITH SCORE 2676081.697
AT ITER 726 NEW BEST:: SOT 36616576 SOS 13998007 HAS SOPS 13998007 HAS SOUS 2661575 HAS SOUPS 2661575 WITH SCORE 2675573.007
AT ITER 730 NEW BEST:: SOT 36616315 SOS 13997485 HAS SOPS 13997485 HAS SOUS 2661469 HAS SOUPS 2661469 WITH SCORE 2675466.485
AT ITER 743 NEW BEST:: SOT 36616315 SOS 13997698 HAS SOPS 13997698 HAS SOUS 2661386 HAS SOUPS 2661386 WITH SCORE 2675383.698
AT ITER 769 NEW BEST:: SOT 36616212 SOS 13997405 HAS SOPS 13997405 HAS SOUS 2661283 HAS SOUPS 2661283 WITH SCORE 2675280.405
AT ITER 774 NEW BEST:: SOT 36616382 SOS 13997412 HAS SOPS 13997412 HAS SOUS 2660957 HAS SOUPS 2660957 WITH SCORE 2674954.412
AT ITER 779 NEW BEST:: SOT 36616374 SOS 13997404 HAS SOPS 13997404 HAS SOUS 2660949 HAS SOUPS 2660949 WITH SCORE 2674946.404
AT ITER 783 NEW BEST:: SOT 36616376 SOS 13997166 HAS SOPS 13997166 HAS SOUS 2660628 HAS SOUPS 2660628 WITH SCORE 2674625.166
AT ITER 788 NEW BEST:: SOT 36615940 SOS 13998968 HAS SOPS 13998968 HAS SOUS 2660192 HAS SOUPS 2660192 WITH SCORE 2674190.968
AT ITER 789 NEW BEST:: SOT 36615860 SOS 13998952 HAS SOPS 13998952 HAS SOUS 2660128 HAS SOUPS 2660128 WITH SCORE 2674126.952
AT ITER 790 NEW BEST:: SOT 36615987 SOS 14001908 HAS SOPS 14001908 HAS SOUS 2660067 HAS SOUPS 2660067 WITH SCORE 2674068.908
AT ITER 810 NEW BEST:: SOT 36615987 SOS 14001846 HAS SOPS 14001846 HAS SOUS 2660067 HAS SOUPS 2660067 WITH SCORE 2674068.846
AT ITER 827 NEW BEST:: SOT 36615987 SOS 14001566 HAS SOPS 14001566 HAS SOUS 2660067 HAS SOUPS 2660067 WITH SCORE 2674068.566
AT ITER 843 NEW BEST:: SOT 36615750 SOS 14001092 HAS SOPS 14001092 HAS SOUS 2659593 HAS SOUPS 2659593 WITH SCORE 2673594.092
AT ITER 853 NEW BEST:: SOT 36615548 SOS 14001255 HAS SOPS 14001255 HAS SOUS 2659442 HAS SOUPS 2659442 WITH SCORE 2673443.255
AT ITER 883 NEW BEST:: SOT 36615548 SOS 14001255 HAS SOPS 14001255 HAS SOUS 2659383 HAS SOUPS 2659383 WITH SCORE 2673384.255
AT ITER 888 NEW BEST:: SOT 36615181 SOS 14000521 HAS SOPS 14000521 HAS SOUS 2659015 HAS SOUPS 2659015 WITH SCORE 2673015.521
AT ITER 895 NEW BEST:: SOT 36614539 SOS 13999879 HAS SOPS 13999879 HAS SOUS 2658694 HAS SOUPS 2658694 WITH SCORE 2672693.879
AT ITER 896 NEW BEST:: SOT 36614558 SOS 13999917 HAS SOPS 13999917 HAS SOUS 2658432 HAS SOUPS 2658432 WITH SCORE 2672431.917
AT ITER 906 NEW BEST:: SOT 36613833 SOS 13999363 HAS SOPS 13999363 HAS SOUS 2657285 HAS SOUPS 2657285 WITH SCORE 2671284.363
AT ITER 930 NEW BEST:: SOT 36613768 SOS 13999320 HAS SOPS 13999320 HAS SOUS 2657133 HAS SOUPS 2657133 WITH SCORE 2671132.32
AT ITER 931 NEW BEST:: SOT 36613768 SOS 13999320 HAS SOPS 13999320 HAS SOUS 2657113 HAS SOUPS 2657113 WITH SCORE 2671112.32
AT ITER 945 NEW BEST:: SOT 36613649 SOS 13999306 HAS SOPS 13999306 HAS SOUS 2656720 HAS SOUPS 2656720 WITH SCORE 2670719.306
AT ITER 971 NEW BEST:: SOT 36613552 SOS 13999112 HAS SOPS 13999112 HAS SOUS 2656623 HAS SOUPS 2656623 WITH SCORE 2670622.112
AT ITER 972 NEW BEST:: SOT 36613552 SOS 13999082 HAS SOPS 13999082 HAS SOUS 2656547 HAS SOUPS 2656547 WITH SCORE 2670546.082
AT ITER 991 NEW BEST:: SOT 36613156 SOS 13998577 HAS SOPS 13998577 HAS SOUS 2656169 HAS SOUPS 2656169 WITH SCORE 2670167.577
AT ITER 1002 NEW BEST:: SOT 36613156 SOS 13998577 HAS SOPS 13998577 HAS SOUS 2656156 HAS SOUPS 2656156 WITH SCORE 2670154.577
AT ITER 1003 NEW BEST:: SOT 36612343 SOS 14001715 HAS SOPS 14001715 HAS SOUS 2656114 HAS SOUPS 2656114 WITH SCORE 2670115.715
AT ITER 1029 NEW BEST:: SOT 36612343 SOS 14001715 HAS SOPS 14001715 HAS SOUS 2656113 HAS SOUPS 2656113 WITH SCORE 2670114.715
AT ITER 1046 NEW BEST:: SOT 36612343 SOS 14001715 HAS SOPS 14001715 HAS SOUS 2655888 HAS SOUPS 2655888 WITH SCORE 2669889.715
AT ITER 1062 NEW BEST:: SOT 36610618 SOS 14000038 HAS SOPS 14000038 HAS SOUS 2654663 HAS SOUPS 2654663 WITH SCORE 2668663.038
AT ITER 1064 NEW BEST:: SOT 36610055 SOS 13999475 HAS SOPS 13999475 HAS SOUS 2328914 HAS SOUPS 2328914 WITH SCORE 2342913.475
AT ITER 1065 NEW BEST:: SOT 36609854 SOS 13999925 HAS SOPS 13999925 HAS SOUS 2328635 HAS SOUPS 2328635 WITH SCORE 2342634.925
AT ITER 1075 NEW BEST:: SOT 36609299 SOS 13999289 HAS SOPS 13999289 HAS SOUS 2327973 HAS SOUPS 2327973 WITH SCORE 2341972.289
AT ITER 1080 NEW BEST:: SOT 36609299 SOS 13999564 HAS SOPS 13999564 HAS SOUS 2327893 HAS SOUPS 2327893 WITH SCORE 2341892.564
AT ITER 1083 NEW BEST:: SOT 36609299 SOS 13999564 HAS SOPS 13999564 HAS SOUS 2327892 HAS SOUPS 2327892 WITH SCORE 2341891.564
AT ITER 1084 NEW BEST:: SOT 36609475 SOS 13999916 HAS SOPS 13999916 HAS SOUS 2327826 HAS SOUPS 2327826 WITH SCORE 2341825.916
AT ITER 1086 NEW BEST:: SOT 36609155 SOS 13999796 HAS SOPS 13999796 HAS SOUS 2327546 HAS SOUPS 2327546 WITH SCORE 2341545.796
AT ITER 1103 NEW BEST:: SOT 36608873 SOS 13999284 HAS SOPS 13999284 HAS SOUS 2327546 HAS SOUPS 2327546 WITH SCORE 2341545.284
AT ITER 1110 NEW BEST:: SOT 36608873 SOS 13999304 HAS SOPS 13999304 HAS SOUS 2327429 HAS SOUPS 2327429 WITH SCORE 2341428.304
AT ITER 1132 NEW BEST:: SOT 36608873 SOS 13999206 HAS SOPS 13999206 HAS SOUS 2327429 HAS SOUPS 2327429 WITH SCORE 2341428.206
AT ITER 1136 NEW BEST:: SOT 36608564 SOS 13999204 HAS SOPS 13999204 HAS SOUS 2327196 HAS SOUPS 2327196 WITH SCORE 2341195.204
AT ITER 1143 NEW BEST:: SOT 36608533 SOS 13999142 HAS SOPS 13999142 HAS SOUS 2327134 HAS SOUPS 2327134 WITH SCORE 2341133.142
AT ITER 1161 NEW BEST:: SOT 36608533 SOS 13999142 HAS SOPS 13999142 HAS SOUS 2326968 HAS SOUPS 2326968 WITH SCORE 2340967.142
AT ITER 1165 NEW BEST:: SOT 36608431 SOS 13998938 HAS SOPS 13998938 HAS SOUS 2326764 HAS SOUPS 2326764 WITH SCORE 2340762.938
AT ITER 1170 NEW BEST:: SOT 36608495 SOS 13998850 HAS SOPS 13998850 HAS SOUS 2326676 HAS SOUPS 2326676 WITH SCORE 2340674.85
AT ITER 1174 NEW BEST:: SOT 35916335 SOS 17819236 HAS SOPS 17819236 HAS SOUS 2292079 HAS SOUPS 2292079 WITH SCORE 2309898.236
AT ITER 1175 NEW BEST:: SOT 35916206 SOS 17818978 HAS SOPS 17818978 HAS SOUS 2291821 HAS SOUPS 2291821 WITH SCORE 2309639.978
AT ITER 1190 NEW BEST:: SOT 35915945 SOS 17818456 HAS SOPS 17818456 HAS SOUS 2291555 HAS SOUPS 2291555 WITH SCORE 2309373.456
AT ITER 1223 NEW BEST:: SOT 35915699 SOS 17817964 HAS SOPS 17817964 HAS SOUS 2291309 HAS SOUPS 2291309 WITH SCORE 2309126.964
AT ITER 1235 NEW BEST:: SOT 35914952 SOS 17817934 HAS SOPS 17817934 HAS SOUS 2290302 HAS SOUPS 2290302 WITH SCORE 2308119.934
AT ITER 1237 NEW BEST:: SOT 35914827 SOS 17817684 HAS SOPS 17817684 HAS SOUS 2289618 HAS SOUPS 2289618 WITH SCORE 2307435.684
AT ITER 1249 NEW BEST:: SOT 35914803 SOS 17820031 HAS SOPS 17820031 HAS SOUS 2289594 HAS SOUPS 2289594 WITH SCORE 2307414.031
AT ITER 1258 NEW BEST:: SOT 35914998 SOS 17818753 HAS SOPS 17818753 HAS SOUS 2289451 HAS SOUPS 2289451 WITH SCORE 2307269.753
AT ITER 1269 NEW BEST:: SOT 35914872 SOS 17818501 HAS SOPS 17818501 HAS SOUS 2289325 HAS SOUPS 2289325 WITH SCORE 2307143.501
AT ITER 1285 NEW BEST:: SOT 35914872 SOS 17818756 HAS SOPS 17818756 HAS SOUS 2289295 HAS SOUPS 2289295 WITH SCORE 2307113.756
AT ITER 1303 NEW BEST:: SOT 35913942 SOS 17817454 HAS SOPS 17817454 HAS SOUS 2287993 HAS SOUPS 2287993 WITH SCORE 2305810.454
AT ITER 1315 NEW BEST:: SOT 35913077 SOS 17819484 HAS SOPS 17819484 HAS SOUS 2287519 HAS SOUPS 2287519 WITH SCORE 2305338.484
AT ITER 1327 NEW BEST:: SOT 35913039 SOS 17819180 HAS SOPS 17819180 HAS SOUS 2287443 HAS SOUPS 2287443 WITH SCORE 2305262.18
AT ITER 1328 NEW BEST:: SOT 35912940 SOS 17818941 HAS SOPS 17818941 HAS SOUS 2287204 HAS SOUPS 2287204 WITH SCORE 2305022.941
AT ITER 1344 NEW BEST:: SOT 35913152 SOS 17819800 HAS SOPS 17819800 HAS SOUS 2287159 HAS SOUPS 2287159 WITH SCORE 2304978.8
AT ITER 1370 NEW BEST:: SOT 35913152 SOS 17819554 HAS SOPS 17819554 HAS SOUS 2287079 HAS SOUPS 2287079 WITH SCORE 2304898.554
AT ITER 1373 NEW BEST:: SOT 35913152 SOS 17819554 HAS SOPS 17819554 HAS SOUS 2286852 HAS SOUPS 2286852 WITH SCORE 2304671.554
AT ITER 1388 NEW BEST:: SOT 35913259 SOS 17838426 HAS SOPS 17838426 HAS SOUS 2286810 HAS SOUPS 2286810 WITH SCORE 2304648.426
AT ITER 1391 NEW BEST:: SOT 35913213 SOS 17838460 HAS SOPS 17838460 HAS SOUS 2286566 HAS SOUPS 2286566 WITH SCORE 2304404.46
AT ITER 1403 NEW BEST:: SOT 35913050 SOS 17838134 HAS SOPS 17838134 HAS SOUS 2286402 HAS SOUPS 2286402 WITH SCORE 2304240.134
AT ITER 1409 NEW BEST:: SOT 35912924 SOS 17838560 HAS SOPS 17838560 HAS SOUS 2286298 HAS SOUPS 2286298 WITH SCORE 2304136.56
AT ITER 1415 NEW BEST:: SOT 35912816 SOS 17838344 HAS SOPS 17838344 HAS SOUS 2286254 HAS SOUPS 2286254 WITH SCORE 2304092.344
AT ITER 1427 NEW BEST:: SOT 35912689 SOS 17838471 HAS SOPS 17838471 HAS SOUS 2286247 HAS SOUPS 2286247 WITH SCORE 2304085.471
AT ITER 1428 NEW BEST:: SOT 35912532 SOS 17838724 HAS SOPS 17838724 HAS SOUS 2286090 HAS SOUPS 2286090 WITH SCORE 2303928.724
AT ITER 1432 NEW BEST:: SOT 35912340 SOS 17839324 HAS SOPS 17839324 HAS SOUS 2285923 HAS SOUPS 2285923 WITH SCORE 2303762.324
AT ITER 1452 NEW BEST:: SOT 35912340 SOS 17838937 HAS SOPS 17838937 HAS SOUS 2285516 HAS SOUPS 2285516 WITH SCORE 2303354.937
AT ITER 1458 NEW BEST:: SOT 35912279 SOS 17839326 HAS SOPS 17839326 HAS SOUS 2285421 HAS SOUPS 2285421 WITH SCORE 2303260.326
AT ITER 1472 NEW BEST:: SOT 35912044 SOS 17838909 HAS SOPS 17838909 HAS SOUS 2285322 HAS SOUPS 2285322 WITH SCORE 2303160.909
AT ITER 1503 NEW BEST:: SOT 35911848 SOS 17838811 HAS SOPS 17838811 HAS SOUS 2285126 HAS SOUPS 2285126 WITH SCORE 2302964.811
AT ITER 1533 NEW BEST:: SOT 35911846 SOS 17838742 HAS SOPS 17838742 HAS SOUS 2285122 HAS SOUPS 2285122 WITH SCORE 2302960.742
AT ITER 1534 NEW BEST:: SOT 35911846 SOS 17838563 HAS SOPS 17838563 HAS SOUS 2285044 HAS SOUPS 2285044 WITH SCORE 2302882.563
AT ITER 1547 NEW BEST:: SOT 35911819 SOS 17838574 HAS SOPS 17838574 HAS SOUS 2284867 HAS SOUPS 2284867 WITH SCORE 2302705.574
AT ITER 1551 NEW BEST:: SOT 35911487 SOS 17839325 HAS SOPS 17839325 HAS SOUS 2284766 HAS SOUPS 2284766 WITH SCORE 2302605.325
AT ITER 1592 NEW BEST:: SOT 35905368 SOS 19660171 HAS SOPS 19660171 HAS SOUS 2280651 HAS SOUPS 2280651 WITH SCORE 2300311.171
AT ITER 1598 NEW BEST:: SOT 35905258 SOS 19660061 HAS SOPS 19660061 HAS SOUS 2280541 HAS SOUPS 2280541 WITH SCORE 2300201.061
AT ITER 1601 NEW BEST:: SOT 35904667 SOS 19660231 HAS SOPS 19660231 HAS SOUS 2280042 HAS SOUPS 2280042 WITH SCORE 2299702.231
AT ITER 1614 NEW BEST:: SOT 35904577 SOS 19660051 HAS SOPS 19660051 HAS SOUS 2279652 HAS SOUPS 2279652 WITH SCORE 2299312.051
AT ITER 1615 NEW BEST:: SOT 35904073 SOS 19659799 HAS SOPS 19659799 HAS SOUS 2278896 HAS SOUPS 2278896 WITH SCORE 2298555.799
AT ITER 1632 NEW BEST:: SOT 35903764 SOS 19659490 HAS SOPS 19659490 HAS SOUS 2278461 HAS SOUPS 2278461 WITH SCORE 2298120.49
AT ITER 1642 NEW BEST:: SOT 35903764 SOS 19659587 HAS SOPS 19659587 HAS SOUS 2278364 HAS SOUPS 2278364 WITH SCORE 2298023.587
AT ITER 1644 NEW BEST:: SOT 35903303 SOS 19660045 HAS SOPS 19660045 HAS SOUS 2277903 HAS SOUPS 2277903 WITH SCORE 2297563.045
AT ITER 1663 NEW BEST:: SOT 35903133 SOS 19659705 HAS SOPS 19659705 HAS SOUS 2277563 HAS SOUPS 2277563 WITH SCORE 2297222.705
AT ITER 1666 NEW BEST:: SOT 35902722 SOS 19659217 HAS SOPS 19659217 HAS SOUS 2277196 HAS SOUPS 2277196 WITH SCORE 2296855.217
AT ITER 1677 NEW BEST:: SOT 35902303 SOS 19659231 HAS SOPS 19659231 HAS SOUS 2276783 HAS SOUPS 2276783 WITH SCORE 2296442.231
AT ITER 1678 NEW BEST:: SOT 35902151 SOS 19659587 HAS SOPS 19659587 HAS SOUS 2276763 HAS SOUPS 2276763 WITH SCORE 2296422.587
AT ITER 1680 NEW BEST:: SOT 35901800 SOS 19659236 HAS SOPS 19659236 HAS SOUS 2276412 HAS SOUPS 2276412 WITH SCORE 2296071.236
AT ITER 1687 NEW BEST:: SOT 35901683 SOS 19658648 HAS SOPS 19658648 HAS SOUS 2276191 HAS SOUPS 2276191 WITH SCORE 2295849.648
AT ITER 1689 NEW BEST:: SOT 35901576 SOS 19658434 HAS SOPS 19658434 HAS SOUS 2276084 HAS SOUPS 2276084 WITH SCORE 2295742.434
AT ITER 1706 NEW BEST:: SOT 35901576 SOS 19658663 HAS SOPS 19658663 HAS SOUS 2275782 HAS SOUPS 2275782 WITH SCORE 2295440.663
AT ITER 1712 NEW BEST:: SOT 35901576 SOS 19658722 HAS SOPS 19658722 HAS SOUS 2275781 HAS SOUPS 2275781 WITH SCORE 2295439.722
AT ITER 1714 NEW BEST:: SOT 35901181 SOS 19658327 HAS SOPS 19658327 HAS SOUS 2275386 HAS SOUPS 2275386 WITH SCORE 2295044.327
AT ITER 1715 NEW BEST:: SOT 35901134 SOS 19658233 HAS SOPS 19658233 HAS SOUS 2275292 HAS SOUPS 2275292 WITH SCORE 2294950.233
AT ITER 1726 NEW BEST:: SOT 35897309 SOS 19656165 HAS SOPS 19656165 HAS SOUS 2273175 HAS SOUPS 2273175 WITH SCORE 2292831.165
AT ITER 1727 NEW BEST:: SOT 35895971 SOS 19654960 HAS SOPS 19654960 HAS SOUS 2271983 HAS SOUPS 2271983 WITH SCORE 2291637.96
AT ITER 1741 NEW BEST:: SOT 35896147 SOS 19655312 HAS SOPS 19655312 HAS SOUS 2271822 HAS SOUPS 2271822 WITH SCORE 2291477.312
AT ITER 1744 NEW BEST:: SOT 35896219 SOS 19656164 HAS SOPS 19656164 HAS SOUS 2271787 HAS SOUPS 2271787 WITH SCORE 2291443.164
AT ITER 1750 NEW BEST:: SOT 35895910 SOS 19655752 HAS SOPS 19655752 HAS SOUS 2271375 HAS SOUPS 2271375 WITH SCORE 2291030.752
AT ITER 1758 NEW BEST:: SOT 35895910 SOS 19655695 HAS SOPS 19655695 HAS SOUS 2271375 HAS SOUPS 2271375 WITH SCORE 2291030.695
AT ITER 1759 NEW BEST:: SOT 35895733 SOS 19655341 HAS SOPS 19655341 HAS SOUS 2271197 HAS SOUPS 2271197 WITH SCORE 2290852.341
AT ITER 1764 NEW BEST:: SOT 35895573 SOS 19655181 HAS SOPS 19655181 HAS SOUS 2271097 HAS SOUPS 2271097 WITH SCORE 2290752.181
AT ITER 1768 NEW BEST:: SOT 35895453 SOS 19655044 HAS SOPS 19655044 HAS SOUS 2270977 HAS SOUPS 2270977 WITH SCORE 2290632.044
AT ITER 1774 NEW BEST:: SOT 35895326 SOS 19655546 HAS SOPS 19655546 HAS SOUS 2270850 HAS SOUPS 2270850 WITH SCORE 2290505.546
AT ITER 1803 NEW BEST:: SOT 35895244 SOS 19655382 HAS SOPS 19655382 HAS SOUS 2270834 HAS SOUPS 2270834 WITH SCORE 2290489.382
AT ITER 1811 NEW BEST:: SOT 35893731 SOS 19654587 HAS SOPS 19654587 HAS SOUS 2269537 HAS SOUPS 2269537 WITH SCORE 2289191.587
AT ITER 1833 NEW BEST:: SOT 35893731 SOS 19654361 HAS SOPS 19654361 HAS SOUS 2269537 HAS SOUPS 2269537 WITH SCORE 2289191.361
AT ITER 1854 NEW BEST:: SOT 35893596 SOS 19654226 HAS SOPS 19654226 HAS SOUS 2269493 HAS SOUPS 2269493 WITH SCORE 2289147.226
AT ITER 1858 NEW BEST:: SOT 35893589 SOS 19654212 HAS SOPS 19654212 HAS SOUS 2269479 HAS SOUPS 2269479 WITH SCORE 2289133.212
AT ITER 1859 NEW BEST:: SOT 35893374 SOS 19653997 HAS SOPS 19653997 HAS SOUS 2269243 HAS SOUPS 2269243 WITH SCORE 2288896.997
AT ITER 1867 NEW BEST:: SOT 35893374 SOS 19653997 HAS SOPS 19653997 HAS SOUS 2269213 HAS SOUPS 2269213 WITH SCORE 2288866.997
AT ITER 1869 NEW BEST:: SOT 35893216 SOS 19653681 HAS SOPS 19653681 HAS SOUS 2268801 HAS SOUPS 2268801 WITH SCORE 2288454.681
AT ITER 1900 NEW BEST:: SOT 35893254 SOS 19653757 HAS SOPS 19653757 HAS SOUS 2268716 HAS SOUPS 2268716 WITH SCORE 2288369.757
AT ITER 1907 NEW BEST:: SOT 35892994 SOS 19654630 HAS SOPS 19654630 HAS SOUS 2268435 HAS SOUPS 2268435 WITH SCORE 2288089.63
AT ITER 1921 NEW BEST:: SOT 35892985 SOS 19654603 HAS SOPS 19654603 HAS SOUS 2268426 HAS SOUPS 2268426 WITH SCORE 2288080.603
AT ITER 1923 NEW BEST:: SOT 35892550 SOS 19654634 HAS SOPS 19654634 HAS SOUS 2268078 HAS SOUPS 2268078 WITH SCORE 2287732.634
AT ITER 1930 NEW BEST:: SOT 35892470 SOS 19654142 HAS SOPS 19654142 HAS SOUS 2267918 HAS SOUPS 2267918 WITH SCORE 2287572.142
AT ITER 1935 NEW BEST:: SOT 35892470 SOS 19653839 HAS SOPS 19653839 HAS SOUS 2267615 HAS SOUPS 2267615 WITH SCORE 2287268.839
AT ITER 1978 NEW BEST:: SOT 35892470 SOS 19653839 HAS SOPS 19653839 HAS SOUS 2267376 HAS SOUPS 2267376 WITH SCORE 2287029.839
AT ITER 1981 NEW BEST:: SOT 35892470 SOS 19653816 HAS SOPS 19653816 HAS SOUS 2267375 HAS SOUPS 2267375 WITH SCORE 2287028.816
AT ITER 2017 NEW BEST:: SOT 35892622 SOS 19852164 HAS SOPS 19852164 HAS SOUS 2267166 HAS SOUPS 2267166 WITH SCORE 2287018.164
AT ITER 2029 NEW BEST:: SOT 35892263 SOS 19852040 HAS SOPS 19852040 HAS SOUS 2266821 HAS SOUPS 2266821 WITH SCORE 2286673.04
AT ITER 2038 NEW BEST:: SOT 35892262 SOS 19852038 HAS SOPS 19852038 HAS SOUS 2266819 HAS SOUPS 2266819 WITH SCORE 2286671.038
AT ITER 2039 NEW BEST:: SOT 35892238 SOS 19851990 HAS SOPS 19851990 HAS SOUS 2266771 HAS SOUPS 2266771 WITH SCORE 2286622.99
AT ITER 2043 NEW BEST:: SOT 35891793 SOS 19851544 HAS SOPS 19851544 HAS SOUS 2266368 HAS SOUPS 2266368 WITH SCORE 2286219.544
AT ITER 2046 NEW BEST:: SOT 35890041 SOS 19851169 HAS SOPS 19851169 HAS SOUS 2264466 HAS SOUPS 2264466 WITH SCORE 2284317.169
AT ITER 2051 NEW BEST:: SOT 35890041 SOS 19851063 HAS SOPS 19851063 HAS SOUS 2264466 HAS SOUPS 2264466 WITH SCORE 2284317.063
AT ITER 2064 NEW BEST:: SOT 35889876 SOS 19874889 HAS SOPS 19874889 HAS SOUS 2264161 HAS SOUPS 2264161 WITH SCORE 2284035.889
AT ITER 2084 NEW BEST:: SOT 35889809 SOS 19874755 HAS SOPS 19874755 HAS SOUS 2263691 HAS SOUPS 2263691 WITH SCORE 2283565.755
AT ITER 2106 NEW BEST:: SOT 35889513 SOS 19874180 HAS SOPS 19874180 HAS SOUS 2263613 HAS SOUPS 2263613 WITH SCORE 2283487.18
AT ITER 2124 NEW BEST:: SOT 35889784 SOS 19876382 HAS SOPS 19876382 HAS SOUS 2262611 HAS SOUPS 2262611 WITH SCORE 2282487.382
AT ITER 2129 NEW BEST:: SOT 35889729 SOS 19876272 HAS SOPS 19876272 HAS SOUS 2262541 HAS SOUPS 2262541 WITH SCORE 2282417.272
AT ITER 2159 NEW BEST:: SOT 35889464 SOS 19876795 HAS SOPS 19876795 HAS SOUS 2262276 HAS SOUPS 2262276 WITH SCORE 2282152.795
AT ITER 2183 NEW BEST:: SOT 35889464 SOS 19876795 HAS SOPS 19876795 HAS SOUS 2262274 HAS SOUPS 2262274 WITH SCORE 2282150.795
AT ITER 2189 NEW BEST:: SOT 35889159 SOS 19876490 HAS SOPS 19876490 HAS SOUS 2259834 HAS SOUPS 2259834 WITH SCORE 2279710.49
AT ITER 2208 NEW BEST:: SOT 35889159 SOS 19876490 HAS SOPS 19876490 HAS SOUS 2259823 HAS SOUPS 2259823 WITH SCORE 2279699.49
AT ITER 2209 NEW BEST:: SOT 35889159 SOS 19876600 HAS SOPS 19876600 HAS SOUS 2259640 HAS SOUPS 2259640 WITH SCORE 2279516.6
AT ITER 2215 NEW BEST:: SOT 35888566 SOS 19875436 HAS SOPS 19875436 HAS SOUS 2258841 HAS SOUPS 2258841 WITH SCORE 2278716.436
AT ITER 2233 NEW BEST:: SOT 35888489 SOS 19874283 HAS SOPS 19874283 HAS SOUS 2258214 HAS SOUPS 2258214 WITH SCORE 2278088.283
AT ITER 2251 NEW BEST:: SOT 35888446 SOS 19874197 HAS SOPS 19874197 HAS SOUS 2257906 HAS SOUPS 2257906 WITH SCORE 2277780.197
AT ITER 2253 NEW BEST:: SOT 35888446 SOS 19873982 HAS SOPS 19873982 HAS SOUS 2257691 HAS SOUPS 2257691 WITH SCORE 2277564.982
AT ITER 2263 NEW BEST:: SOT 35888466 SOS 19873701 HAS SOPS 19873701 HAS SOUS 2257410 HAS SOUPS 2257410 WITH SCORE 2277283.701
AT ITER 2279 NEW BEST:: SOT 35888401 SOS 19873571 HAS SOPS 19873571 HAS SOUS 2257298 HAS SOUPS 2257298 WITH SCORE 2277171.571
AT ITER 2298 NEW BEST:: SOT 35887763 SOS 19873480 HAS SOPS 19873480 HAS SOUS 2256760 HAS SOUPS 2256760 WITH SCORE 2276633.48
AT ITER 2299 NEW BEST:: SOT 35887693 SOS 19873153 HAS SOPS 19873153 HAS SOUS 2256426 HAS SOUPS 2256426 WITH SCORE 2276299.153
AT ITER 2308 NEW BEST:: SOT 35887310 SOS 19872636 HAS SOPS 19872636 HAS SOUS 2255835 HAS SOUPS 2255835 WITH SCORE 2275707.636
AT ITER 2319 NEW BEST:: SOT 35887330 SOS 19872432 HAS SOPS 19872432 HAS SOUS 2255793 HAS SOUPS 2255793 WITH SCORE 2275665.432
AT ITER 2340 NEW BEST:: SOT 35887329 SOS 19872430 HAS SOPS 19872430 HAS SOUS 2255791 HAS SOUPS 2255791 WITH SCORE 2275663.43
AT ITER 2348 NEW BEST:: SOT 35887302 SOS 19872430 HAS SOPS 19872430 HAS SOUS 2255734 HAS SOUPS 2255734 WITH SCORE 2275606.43
AT ITER 2353 NEW BEST:: SOT 35887505 SOS 19872227 HAS SOPS 19872227 HAS SOUS 2255734 HAS SOUPS 2255734 WITH SCORE 2275606.227
AT ITER 2356 NEW BEST:: SOT 35887581 SOS 19872379 HAS SOPS 19872379 HAS SOUS 2255210 HAS SOUPS 2255210 WITH SCORE 2275082.379
AT ITER 2373 NEW BEST:: SOT 35887462 SOS 19872141 HAS SOPS 19872141 HAS SOUS 2254972 HAS SOUPS 2254972 WITH SCORE 2274844.141
AT ITER 2380 NEW BEST:: SOT 35887424 SOS 19872160 HAS SOPS 19872160 HAS SOUS 2254801 HAS SOUPS 2254801 WITH SCORE 2274673.16
AT ITER 2408 NEW BEST:: SOT 35887424 SOS 19872115 HAS SOPS 19872115 HAS SOUS 2254756 HAS SOUPS 2254756 WITH SCORE 2274628.115
AT ITER 2413 NEW BEST:: SOT 35887410 SOS 19872087 HAS SOPS 19872087 HAS SOUS 2254740 HAS SOUPS 2254740 WITH SCORE 2274612.087
AT ITER 2449 NEW BEST:: SOT 35887357 SOS 19874141 HAS SOPS 19874141 HAS SOUS 2254687 HAS SOUPS 2254687 WITH SCORE 2274561.141
AT ITER 2456 NEW BEST:: SOT 35887420 SOS 19874128 HAS SOPS 19874128 HAS SOUS 2254674 HAS SOUPS 2254674 WITH SCORE 2274548.128
AT ITER 2480 NEW BEST:: SOT 35887347 SOS 19873805 HAS SOPS 19873805 HAS SOUS 2254601 HAS SOUPS 2254601 WITH SCORE 2274474.805
AT ITER 2484 NEW BEST:: SOT 35886719 SOS 19873221 HAS SOPS 19873221 HAS SOUS 2253793 HAS SOUPS 2253793 WITH SCORE 2273666.221
AT ITER 2487 NEW BEST:: SOT 35886719 SOS 19873663 HAS SOPS 19873663 HAS SOUS 2253422 HAS SOUPS 2253422 WITH SCORE 2273295.663
AT ITER 2502 NEW BEST:: SOT 35886635 SOS 19873495 HAS SOPS 19873495 HAS SOUS 2253254 HAS SOUPS 2253254 WITH SCORE 2273127.495
AT ITER 2503 NEW BEST:: SOT 35886390 SOS 19873005 HAS SOPS 19873005 HAS SOUS 2253009 HAS SOUPS 2253009 WITH SCORE 2272882.005
AT ITER 2512 NEW BEST:: SOT 35885931 SOS 19872546 HAS SOPS 19872546 HAS SOUS 2252502 HAS SOUPS 2252502 WITH SCORE 2272374.546
AT ITER 2528 NEW BEST:: SOT 35885849 SOS 19872201 HAS SOPS 19872201 HAS SOUS 2252258 HAS SOUPS 2252258 WITH SCORE 2272130.201
AT ITER 2536 NEW BEST:: SOT 35885597 SOS 19873069 HAS SOPS 19873069 HAS SOUS 2252006 HAS SOUPS 2252006 WITH SCORE 2271879.069
AT ITER 2540 NEW BEST:: SOT 35885369 SOS 19872841 HAS SOPS 19872841 HAS SOUS 2251882 HAS SOUPS 2251882 WITH SCORE 2271754.841
AT ITER 2548 NEW BEST:: SOT 35884607 SOS 19872847 HAS SOPS 19872847 HAS SOUS 2251120 HAS SOUPS 2251120 WITH SCORE 2270992.847
AT ITER 2558 NEW BEST:: SOT 35884598 SOS 19872690 HAS SOPS 19872690 HAS SOUS 2251102 HAS SOUPS 2251102 WITH SCORE 2270974.69
AT ITER 2577 NEW BEST:: SOT 35884675 SOS 19872159 HAS SOPS 19872159 HAS SOUS 2250571 HAS SOUPS 2250571 WITH SCORE 2270443.159
AT ITER 2593 NEW BEST:: SOT 35884311 SOS 19871431 HAS SOPS 19871431 HAS SOUS 2249843 HAS SOUPS 2249843 WITH SCORE 2269714.431
AT ITER 2604 NEW BEST:: SOT 35883957 SOS 19871294 HAS SOPS 19871294 HAS SOUS 2249793 HAS SOUPS 2249793 WITH SCORE 2269664.294
AT ITER 2611 NEW BEST:: SOT 35883826 SOS 19871032 HAS SOPS 19871032 HAS SOUS 2249660 HAS SOUPS 2249660 WITH SCORE 2269531.032
AT ITER 2625 NEW BEST:: SOT 35883826 SOS 19871032 HAS SOPS 19871032 HAS SOUS 2249637 HAS SOUPS 2249637 WITH SCORE 2269508.032
AT ITER 2626 NEW BEST:: SOT 35883806 SOS 19871293 HAS SOPS 19871293 HAS SOUS 2249521 HAS SOUPS 2249521 WITH SCORE 2269392.293
AT ITER 2637 NEW BEST:: SOT 35883614 SOS 19871549 HAS SOPS 19871549 HAS SOUS 2249259 HAS SOUPS 2249259 WITH SCORE 2269130.549
AT ITER 2638 NEW BEST:: SOT 35883611 SOS 19871543 HAS SOPS 19871543 HAS SOUS 2249253 HAS SOUPS 2249253 WITH SCORE 2269124.543
AT ITER 2644 NEW BEST:: SOT 35883541 SOS 19872443 HAS SOPS 19872443 HAS SOUS 2249066 HAS SOUPS 2249066 WITH SCORE 2268938.443
AT ITER 2650 NEW BEST:: SOT 35883487 SOS 19872335 HAS SOPS 19872335 HAS SOUS 2249007 HAS SOUPS 2249007 WITH SCORE 2268879.335
AT ITER 2656 NEW BEST:: SOT 35882944 SOS 19924480 HAS SOPS 19924480 HAS SOUS 2248716 HAS SOUPS 2248716 WITH SCORE 2268640.48
AT ITER 2658 NEW BEST:: SOT 35882944 SOS 19924480 HAS SOPS 19924480 HAS SOUS 2248602 HAS SOUPS 2248602 WITH SCORE 2268526.48
AT ITER 2678 NEW BEST:: SOT 35882660 SOS 19929308 HAS SOPS 19929308 HAS SOUS 2248318 HAS SOUPS 2248318 WITH SCORE 2268247.308
AT ITER 2688 NEW BEST:: SOT 35882602 SOS 19929292 HAS SOPS 19929292 HAS SOUS 2248202 HAS SOUPS 2248202 WITH SCORE 2268131.292
AT ITER 2693 NEW BEST:: SOT 35882602 SOS 19929035 HAS SOPS 19929035 HAS SOUS 2248202 HAS SOUPS 2248202 WITH SCORE 2268131.035
AT ITER 2698 NEW BEST:: SOT 35882596 SOS 19929023 HAS SOPS 19929023 HAS SOUS 2248190 HAS SOUPS 2248190 WITH SCORE 2268119.023
AT ITER 2706 NEW BEST:: SOT 35882762 SOS 19929189 HAS SOPS 19929189 HAS SOUS 2248054 HAS SOUPS 2248054 WITH SCORE 2267983.189
AT ITER 2728 NEW BEST:: SOT 35881653 SOS 19929996 HAS SOPS 19929996 HAS SOUS 2247586 HAS SOUPS 2247586 WITH SCORE 2267515.996
AT ITER 2735 NEW BEST:: SOT 35881493 SOS 17442766 HAS SOPS 17442766 HAS SOUS 2158908 HAS SOUPS 2158908 WITH SCORE 2176350.766
AT ITER 2737 NEW BEST:: SOT 35881493 SOS 17442851 HAS SOPS 17442851 HAS SOUS 2158823 HAS SOUPS 2158823 WITH SCORE 2176265.851
AT ITER 2743 NEW BEST:: SOT 35881402 SOS 17442669 HAS SOPS 17442669 HAS SOUS 2158641 HAS SOUPS 2158641 WITH SCORE 2176083.669
AT ITER 2750 NEW BEST:: SOT 35881077 SOS 17442533 HAS SOPS 17442533 HAS SOUS 2158641 HAS SOUPS 2158641 WITH SCORE 2176083.533
AT ITER 2758 NEW BEST:: SOT 35881136 SOS 17442152 HAS SOPS 17442152 HAS SOUS 2158260 HAS SOUPS 2158260 WITH SCORE 2175702.152
AT ITER 2765 NEW BEST:: SOT 35880877 SOS 17441588 HAS SOPS 17441588 HAS SOUS 2158047 HAS SOUPS 2158047 WITH SCORE 2175488.588
AT ITER 2776 NEW BEST:: SOT 35880360 SOS 17440554 HAS SOPS 17440554 HAS SOUS 2157219 HAS SOUPS 2157219 WITH SCORE 2174659.554
AT ITER 2787 NEW BEST:: SOT 35879425 SOS 17439619 HAS SOPS 17439619 HAS SOUS 2156538 HAS SOUPS 2156538 WITH SCORE 2173977.619
AT ITER 2789 NEW BEST:: SOT 35879310 SOS 17439596 HAS SOPS 17439596 HAS SOUS 2156423 HAS SOUPS 2156423 WITH SCORE 2173862.596
AT ITER 2795 NEW BEST:: SOT 35879310 SOS 17439535 HAS SOPS 17439535 HAS SOUS 2156284 HAS SOUPS 2156284 WITH SCORE 2173723.535
AT ITER 2800 NEW BEST:: SOT 35878883 SOS 17439216 HAS SOPS 17439216 HAS SOUS 2155960 HAS SOUPS 2155960 WITH SCORE 2173399.216
AT ITER 2809 NEW BEST:: SOT 35878564 SOS 17438608 HAS SOPS 17438608 HAS SOUS 2155560 HAS SOUPS 2155560 WITH SCORE 2172998.608
AT ITER 2818 NEW BEST:: SOT 35878605 SOS 17438649 HAS SOPS 17438649 HAS SOUS 2155541 HAS SOUPS 2155541 WITH SCORE 2172979.649
AT ITER 2833 NEW BEST:: SOT 35878517 SOS 17438473 HAS SOPS 17438473 HAS SOUS 2155537 HAS SOUPS 2155537 WITH SCORE 2172975.473
AT ITER 2841 NEW BEST:: SOT 35878517 SOS 17438450 HAS SOPS 17438450 HAS SOUS 2155514 HAS SOUPS 2155514 WITH SCORE 2172952.45
AT ITER 2848 NEW BEST:: SOT 35873927 SOS 17433723 HAS SOPS 17433723 HAS SOUS 2150249 HAS SOUPS 2150249 WITH SCORE 2167682.723
AT ITER 2867 NEW BEST:: SOT 35873927 SOS 17433830 HAS SOPS 17433830 HAS SOUS 2150166 HAS SOUPS 2150166 WITH SCORE 2167599.83
AT ITER 2871 NEW BEST:: SOT 35873927 SOS 17433430 HAS SOPS 17433430 HAS SOUS 2150115 HAS SOUPS 2150115 WITH SCORE 2167548.43
AT ITER 2904 NEW BEST:: SOT 35873757 SOS 17433600 HAS SOPS 17433600 HAS SOUS 2149945 HAS SOUPS 2149945 WITH SCORE 2167378.6
AT ITER 2927 NEW BEST:: SOT 35873412 SOS 17433674 HAS SOPS 17433674 HAS SOUS 2149791 HAS SOUPS 2149791 WITH SCORE 2167224.674
AT ITER 2951 NEW BEST:: SOT 35873409 SOS 17433668 HAS SOPS 17433668 HAS SOUS 2149788 HAS SOUPS 2149788 WITH SCORE 2167221.668
AT ITER 2960 NEW BEST:: SOT 35873271 SOS 17433625 HAS SOPS 17433625 HAS SOUS 2149343 HAS SOUPS 2149343 WITH SCORE 2166776.625
AT ITER 2967 NEW BEST:: SOT 35873119 SOS 17433321 HAS SOPS 17433321 HAS SOUS 2149191 HAS SOUPS 2149191 WITH SCORE 2166624.321
AT ITER 2979 NEW BEST:: SOT 35872988 SOS 17432928 HAS SOPS 17432928 HAS SOUS 2149060 HAS SOUPS 2149060 WITH SCORE 2166492.928
AT ITER 2985 NEW BEST:: SOT 35872875 SOS 17433494 HAS SOPS 17433494 HAS SOUS 2149032 HAS SOUPS 2149032 WITH SCORE 2166465.494
AT ITER 3018 NEW BEST:: SOT 35866311 SOS 17452216 HAS SOPS 17452216 HAS SOUS 2143412 HAS SOUPS 2143412 WITH SCORE 2160864.216
AT ITER 3022 NEW BEST:: SOT 35866311 SOS 17452216 HAS SOPS 17452216 HAS SOUS 2143394 HAS SOUPS 2143394 WITH SCORE 2160846.216
AT ITER 3035 NEW BEST:: SOT 35866260 SOS 17452114 HAS SOPS 17452114 HAS SOUS 2143343 HAS SOUPS 2143343 WITH SCORE 2160795.114
AT ITER 3053 NEW BEST:: SOT 35866239 SOS 17451536 HAS SOPS 17451536 HAS SOUS 2143230 HAS SOUPS 2143230 WITH SCORE 2160681.536
AT ITER 3058 NEW BEST:: SOT 35866698 SOS 17451927 HAS SOPS 17451927 HAS SOUS 2143028 HAS SOUPS 2143028 WITH SCORE 2160479.927
AT ITER 3077 NEW BEST:: SOT 35866569 SOS 17451859 HAS SOPS 17451859 HAS SOUS 2142916 HAS SOUPS 2142916 WITH SCORE 2160367.859
AT ITER 3091 NEW BEST:: SOT 35866577 SOS 17452075 HAS SOPS 17452075 HAS SOUS 2142732 HAS SOUPS 2142732 WITH SCORE 2160184.075
AT ITER 3102 NEW BEST:: SOT 35866325 SOS 17451823 HAS SOPS 17451823 HAS SOUS 2142732 HAS SOUPS 2142732 WITH SCORE 2160183.823
AT ITER 3103 NEW BEST:: SOT 35865285 SOS 17450616 HAS SOPS 17450616 HAS SOUS 2142076 HAS SOUPS 2142076 WITH SCORE 2159526.616
AT ITER 3113 NEW BEST:: SOT 35865265 SOS 17450040 HAS SOPS 17450040 HAS SOUS 2141418 HAS SOUPS 2141418 WITH SCORE 2158868.04
AT ITER 3122 NEW BEST:: SOT 35865187 SOS 17449962 HAS SOPS 17449962 HAS SOUS 2141310 HAS SOUPS 2141310 WITH SCORE 2158759.962
AT ITER 3132 NEW BEST:: SOT 35865186 SOS 17449960 HAS SOPS 17449960 HAS SOUS 2141308 HAS SOUPS 2141308 WITH SCORE 2158757.96
AT ITER 3139 NEW BEST:: SOT 35865186 SOS 17449959 HAS SOPS 17449959 HAS SOUS 2141307 HAS SOUPS 2141307 WITH SCORE 2158756.959
AT ITER 3149 NEW BEST:: SOT 35865042 SOS 17449671 HAS SOPS 17449671 HAS SOUS 2141019 HAS SOUPS 2141019 WITH SCORE 2158468.671
AT ITER 3158 NEW BEST:: SOT 35865066 SOS 17450192 HAS SOPS 17450192 HAS SOUS 2140814 HAS SOUPS 2140814 WITH SCORE 2158264.192
AT ITER 3160 NEW BEST:: SOT 35865066 SOS 17450109 HAS SOPS 17450109 HAS SOUS 2140688 HAS SOUPS 2140688 WITH SCORE 2158138.109
AT ITER 3171 NEW BEST:: SOT 35865058 SOS 17450117 HAS SOPS 17450117 HAS SOUS 2140680 HAS SOUPS 2140680 WITH SCORE 2158130.117
AT ITER 3190 NEW BEST:: SOT 35864766 SOS 17450260 HAS SOPS 17450260 HAS SOUS 2140569 HAS SOUPS 2140569 WITH SCORE 2158019.26
AT ITER 3192 NEW BEST:: SOT 35865104 SOS 17450521 HAS SOPS 17450521 HAS SOUS 2140503 HAS SOUPS 2140503 WITH SCORE 2157953.521
AT ITER 3201 NEW BEST:: SOT 35865104 SOS 17450405 HAS SOPS 17450405 HAS SOUS 2140164 HAS SOUPS 2140164 WITH SCORE 2157614.405
AT ITER 3231 NEW BEST:: SOT 35865052 SOS 17450257 HAS SOPS 17450257 HAS SOUS 2140016 HAS SOUPS 2140016 WITH SCORE 2157466.257
AT ITER 3237 NEW BEST:: SOT 35862365 SOS 17466108 HAS SOPS 17466108 HAS SOUS 2138708 HAS SOUPS 2138708 WITH SCORE 2156174.108
AT ITER 3280 NEW BEST:: SOT 35861584 SOS 17466410 HAS SOPS 17466410 HAS SOUS 2138160 HAS SOUPS 2138160 WITH SCORE 2155626.41
AT ITER 3285 NEW BEST:: SOT 35861584 SOS 17479148 HAS SOPS 17479148 HAS SOUS 2138146 HAS SOUPS 2138146 WITH SCORE 2155625.148
AT ITER 3286 NEW BEST:: SOT 35850892 SOS 24815226 HAS SOPS 24815226 HAS SOUS 2129734 HAS SOUPS 2129734 WITH SCORE 2154549.226
AT ITER 3300 NEW BEST:: SOT 35850661 SOS 24814825 HAS SOPS 24814825 HAS SOUS 2129466 HAS SOUPS 2129466 WITH SCORE 2154280.825
AT ITER 3328 NEW BEST:: SOT 35850731 SOS 24814755 HAS SOPS 24814755 HAS SOUS 2129466 HAS SOUPS 2129466 WITH SCORE 2154280.755
AT ITER 3348 NEW BEST:: SOT 35850480 SOS 24815927 HAS SOPS 24815927 HAS SOUS 2129217 HAS SOUPS 2129217 WITH SCORE 2154032.927
AT ITER 3359 NEW BEST:: SOT 35850458 SOS 24815883 HAS SOPS 24815883 HAS SOUS 2129195 HAS SOUPS 2129195 WITH SCORE 2154010.883
AT ITER 3369 NEW BEST:: SOT 35850214 SOS 24815604 HAS SOPS 24815604 HAS SOUS 2128737 HAS SOUPS 2128737 WITH SCORE 2153552.604
AT ITER 3376 NEW BEST:: SOT 35805609 SOS 24770580 HAS SOPS 24770580 HAS SOUS 2083294 HAS SOUPS 2083294 WITH SCORE 2108064.58
AT ITER 3385 NEW BEST:: SOT 35805728 SOS 24770326 HAS SOPS 24770326 HAS SOUS 2083246 HAS SOUPS 2083246 WITH SCORE 2108016.326
AT ITER 3396 NEW BEST:: SOT 35805392 SOS 24770684 HAS SOPS 24770684 HAS SOUS 2083047 HAS SOUPS 2083047 WITH SCORE 2107817.684
AT ITER 3409 NEW BEST:: SOT 35805372 SOS 24770915 HAS SOPS 24770915 HAS SOUS 2083027 HAS SOUPS 2083027 WITH SCORE 2107797.915
AT ITER 3413 NEW BEST:: SOT 35805299 SOS 24770769 HAS SOPS 24770769 HAS SOUS 2082954 HAS SOUPS 2082954 WITH SCORE 2107724.769
AT ITER 3420 NEW BEST:: SOT 35805534 SOS 24771001 HAS SOPS 24771001 HAS SOUS 2082806 HAS SOUPS 2082806 WITH SCORE 2107577.001
AT ITER 3424 NEW BEST:: SOT 35805552 SOS 24771071 HAS SOPS 24771071 HAS SOUS 2082790 HAS SOUPS 2082790 WITH SCORE 2107561.071
AT ITER 3425 NEW BEST:: SOT 35805522 SOS 24771011 HAS SOPS 24771011 HAS SOUS 2082760 HAS SOUPS 2082760 WITH SCORE 2107531.011
AT ITER 3438 NEW BEST:: SOT 35799082 SOS 24796694 HAS SOPS 24796694 HAS SOUS 2078818 HAS SOUPS 2078818 WITH SCORE 2103614.694
AT ITER 3449 NEW BEST:: SOT 35798072 SOS 24798033 HAS SOPS 24798033 HAS SOUS 2077981 HAS SOUPS 2077981 WITH SCORE 2102779.033
AT ITER 3452 NEW BEST:: SOT 35798072 SOS 24798033 HAS SOPS 24798033 HAS SOUS 2077870 HAS SOUPS 2077870 WITH SCORE 2102668.033
AT ITER 3460 NEW BEST:: SOT 35798072 SOS 24798018 HAS SOPS 24798018 HAS SOUS 2077870 HAS SOUPS 2077870 WITH SCORE 2102668.018
AT ITER 3462 NEW BEST:: SOT 35797678 SOS 24797230 HAS SOPS 24797230 HAS SOUS 2076705 HAS SOUPS 2076705 WITH SCORE 2101502.23
AT ITER 3483 NEW BEST:: SOT 35797678 SOS 24797230 HAS SOPS 24797230 HAS SOUS 2076692 HAS SOUPS 2076692 WITH SCORE 2101489.23
AT ITER 3494 NEW BEST:: SOT 35797678 SOS 24797179 HAS SOPS 24797179 HAS SOUS 2076666 HAS SOUPS 2076666 WITH SCORE 2101463.179
AT ITER 3506 NEW BEST:: SOT 35797672 SOS 24797167 HAS SOPS 24797167 HAS SOUS 2076653 HAS SOUPS 2076653 WITH SCORE 2101450.167
AT ITER 3507 NEW BEST:: SOT 35797523 SOS 24796869 HAS SOPS 24796869 HAS SOUS 2076355 HAS SOUPS 2076355 WITH SCORE 2101151.869
AT ITER 3508 NEW BEST:: SOT 35793996 SOS 24793237 HAS SOPS 24793237 HAS SOUS 2072418 HAS SOUPS 2072418 WITH SCORE 2097211.237
AT ITER 3510 NEW BEST:: SOT 35793983 SOS 24793211 HAS SOPS 24793211 HAS SOUS 2072392 HAS SOUPS 2072392 WITH SCORE 2097185.211
AT ITER 3511 NEW BEST:: SOT 35793920 SOS 24793046 HAS SOPS 24793046 HAS SOUS 2072227 HAS SOUPS 2072227 WITH SCORE 2097020.046
AT ITER 3523 NEW BEST:: SOT 35793915 SOS 24793124 HAS SOPS 24793124 HAS SOUS 2072221 HAS SOUPS 2072221 WITH SCORE 2097014.124
AT ITER 3555 NEW BEST:: SOT 35793847 SOS 24792988 HAS SOPS 24792988 HAS SOUS 2072017 HAS SOUPS 2072017 WITH SCORE 2096809.988
AT ITER 3582 NEW BEST:: SOT 35793689 SOS 24793528 HAS SOPS 24793528 HAS SOUS 2071701 HAS SOUPS 2071701 WITH SCORE 2096494.528
AT ITER 3592 NEW BEST:: SOT 35793348 SOS 24793299 HAS SOPS 24793299 HAS SOUS 2071418 HAS SOUPS 2071418 WITH SCORE 2096211.299
AT ITER 3597 NEW BEST:: SOT 35793329 SOS 24793280 HAS SOPS 24793280 HAS SOUS 2071398 HAS SOUPS 2071398 WITH SCORE 2096191.28
AT ITER 3599 NEW BEST:: SOT 35792032 SOS 24791983 HAS SOPS 24791983 HAS SOUS 2069901 HAS SOUPS 2069901 WITH SCORE 2094692.983
AT ITER 3617 NEW BEST:: SOT 35791877 SOS 24791673 HAS SOPS 24791673 HAS SOUS 2069717 HAS SOUPS 2069717 WITH SCORE 2094508.673
AT ITER 3619 NEW BEST:: SOT 35791876 SOS 24791671 HAS SOPS 24791671 HAS SOUS 2069715 HAS SOUPS 2069715 WITH SCORE 2094506.671
AT ITER 3645 NEW BEST:: SOT 35791700 SOS 24791319 HAS SOPS 24791319 HAS SOUS 2069461 HAS SOUPS 2069461 WITH SCORE 2094252.319
AT ITER 3647 NEW BEST:: SOT 35791534 SOS 24790987 HAS SOPS 24790987 HAS SOUS 2069129 HAS SOUPS 2069129 WITH SCORE 2093919.987
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15787144 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16136764 kB

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="CloudDeployment-PT-7b"
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 CloudDeployment-PT-7b, 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 r067-smll-167814394900456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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