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.r048-ebro-158902541700099.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 CloudReconfiguration-PT-313, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541700099
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 3.0K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 16:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 660K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CloudReconfiguration-PT-313-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-313-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-313-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-313-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-313-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-313-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-313-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-313-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-313-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-313-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-313-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-313-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-313-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-313-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-313-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-313-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589095452623

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 313
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4448374 SOS 744561 HAS SOPS 744561 HAS SOUS 686887 HAS SOUPS 686887 WITH SCORE 687631.561
AT ITER 13 NEW BEST:: SOT 4448134 SOS 744081 HAS SOPS 744081 HAS SOUS 686407 HAS SOUPS 686407 WITH SCORE 687151.081
AT ITER 18 NEW BEST:: SOT 4447974 SOS 743849 HAS SOPS 743849 HAS SOUS 686159 HAS SOUPS 686159 WITH SCORE 686902.849
AT ITER 26 NEW BEST:: SOT 4447974 SOS 743849 HAS SOPS 743849 HAS SOUS 686158 HAS SOUPS 686158 WITH SCORE 686901.849
AT ITER 31 NEW BEST:: SOT 4447974 SOS 743849 HAS SOPS 743849 HAS SOUS 686054 HAS SOUPS 686054 WITH SCORE 686797.849
AT ITER 34 NEW BEST:: SOT 4447755 SOS 743798 HAS SOPS 743798 HAS SOUS 686003 HAS SOUPS 686003 WITH SCORE 686746.798
AT ITER 36 NEW BEST:: SOT 4447848 SOS 743984 HAS SOPS 743984 HAS SOUS 685872 HAS SOUPS 685872 WITH SCORE 686615.984
AT ITER 38 NEW BEST:: SOT 4447734 SOS 743756 HAS SOPS 743756 HAS SOUS 685644 HAS SOUPS 685644 WITH SCORE 686387.756
AT ITER 62 NEW BEST:: SOT 4447649 SOS 743586 HAS SOPS 743586 HAS SOUS 685474 HAS SOUPS 685474 WITH SCORE 686217.586
AT ITER 70 NEW BEST:: SOT 4447571 SOS 743508 HAS SOPS 743508 HAS SOUS 685396 HAS SOUPS 685396 WITH SCORE 686139.508
AT ITER 81 NEW BEST:: SOT 4447571 SOS 743508 HAS SOPS 743508 HAS SOUS 685395 HAS SOUPS 685395 WITH SCORE 686138.508
AT ITER 105 NEW BEST:: SOT 4447571 SOS 743398 HAS SOPS 743398 HAS SOUS 685339 HAS SOUPS 685339 WITH SCORE 686082.398
AT ITER 111 NEW BEST:: SOT 4447571 SOS 743398 HAS SOPS 743398 HAS SOUS 685209 HAS SOUPS 685209 WITH SCORE 685952.398
AT ITER 145 NEW BEST:: SOT 4447049 SOS 743050 HAS SOPS 743050 HAS SOUS 684861 HAS SOUPS 684861 WITH SCORE 685604.05
AT ITER 158 NEW BEST:: SOT 4446873 SOS 742698 HAS SOPS 742698 HAS SOUS 684509 HAS SOUPS 684509 WITH SCORE 685251.698
AT ITER 175 NEW BEST:: SOT 4446825 SOS 742672 HAS SOPS 742672 HAS SOUS 684483 HAS SOUPS 684483 WITH SCORE 685225.672
AT ITER 186 NEW BEST:: SOT 4446930 SOS 742882 HAS SOPS 742882 HAS SOUS 684288 HAS SOUPS 684288 WITH SCORE 685030.882
AT ITER 203 NEW BEST:: SOT 4446930 SOS 742882 HAS SOPS 742882 HAS SOUS 684159 HAS SOUPS 684159 WITH SCORE 684901.882
AT ITER 208 NEW BEST:: SOT 4443887 SOS 765272 HAS SOPS 765272 HAS SOUS 681945 HAS SOUPS 681945 WITH SCORE 682710.272
AT ITER 209 NEW BEST:: SOT 4443887 SOS 765022 HAS SOPS 765022 HAS SOUS 681945 HAS SOUPS 681945 WITH SCORE 682710.022
AT ITER 215 NEW BEST:: SOT 4443939 SOS 765126 HAS SOPS 765126 HAS SOUS 681860 HAS SOUPS 681860 WITH SCORE 682625.126
AT ITER 219 NEW BEST:: SOT 4443939 SOS 765100 HAS SOPS 765100 HAS SOUS 681834 HAS SOUPS 681834 WITH SCORE 682599.1
AT ITER 220 NEW BEST:: SOT 4443871 SOS 765141 HAS SOPS 765141 HAS SOUS 681822 HAS SOUPS 681822 WITH SCORE 682587.141
AT ITER 223 NEW BEST:: SOT 4443852 SOS 765103 HAS SOPS 765103 HAS SOUS 681784 HAS SOUPS 681784 WITH SCORE 682549.103
AT ITER 238 NEW BEST:: SOT 4443729 SOS 765191 HAS SOPS 765191 HAS SOUS 681673 HAS SOUPS 681673 WITH SCORE 682438.191
AT ITER 255 NEW BEST:: SOT 4443609 SOS 765071 HAS SOPS 765071 HAS SOUS 681553 HAS SOUPS 681553 WITH SCORE 682318.071
AT ITER 276 NEW BEST:: SOT 4443775 SOS 765069 HAS SOPS 765069 HAS SOUS 681551 HAS SOUPS 681551 WITH SCORE 682316.069
AT ITER 293 NEW BEST:: SOT 4443617 SOS 764753 HAS SOPS 764753 HAS SOUS 681235 HAS SOUPS 681235 WITH SCORE 681999.753
AT ITER 322 NEW BEST:: SOT 4443379 SOS 764536 HAS SOPS 764536 HAS SOUS 681002 HAS SOUPS 681002 WITH SCORE 681766.536
AT ITER 324 NEW BEST:: SOT 4443317 SOS 764412 HAS SOPS 764412 HAS SOUS 680940 HAS SOUPS 680940 WITH SCORE 681704.412
AT ITER 327 NEW BEST:: SOT 4443086 SOS 763950 HAS SOPS 763950 HAS SOUS 680583 HAS SOUPS 680583 WITH SCORE 681346.95
AT ITER 357 NEW BEST:: SOT 4443086 SOS 763950 HAS SOPS 763950 HAS SOUS 680271 HAS SOUPS 680271 WITH SCORE 681034.95
AT ITER 373 NEW BEST:: SOT 4442774 SOS 763742 HAS SOPS 763742 HAS SOUS 679959 HAS SOUPS 679959 WITH SCORE 680722.742
AT ITER 389 NEW BEST:: SOT 4442774 SOS 763585 HAS SOPS 763585 HAS SOUS 679959 HAS SOUPS 679959 WITH SCORE 680722.585
AT ITER 405 NEW BEST:: SOT 4442648 SOS 763405 HAS SOPS 763405 HAS SOUS 679770 HAS SOUPS 679770 WITH SCORE 680533.405
AT ITER 465 NEW BEST:: SOT 4442443 SOS 763200 HAS SOPS 763200 HAS SOUS 679565 HAS SOUPS 679565 WITH SCORE 680328.2
AT ITER 470 NEW BEST:: SOT 4442443 SOS 763200 HAS SOPS 763200 HAS SOUS 679525 HAS SOUPS 679525 WITH SCORE 680288.2
AT ITER 520 NEW BEST:: SOT 4442171 SOS 762473 HAS SOPS 762473 HAS SOUS 678981 HAS SOUPS 678981 WITH SCORE 679743.473
AT ITER 536 NEW BEST:: SOT 4442123 SOS 762377 HAS SOPS 762377 HAS SOUS 678885 HAS SOUPS 678885 WITH SCORE 679647.377
AT ITER 547 NEW BEST:: SOT 4442122 SOS 762375 HAS SOPS 762375 HAS SOUS 678883 HAS SOUPS 678883 WITH SCORE 679645.375
AT ITER 550 NEW BEST:: SOT 4442150 SOS 762132 HAS SOPS 762132 HAS SOUS 678819 HAS SOUPS 678819 WITH SCORE 679581.132
AT ITER 552 NEW BEST:: SOT 4441853 SOS 761833 HAS SOPS 761833 HAS SOUS 678520 HAS SOUPS 678520 WITH SCORE 679281.833
AT ITER 599 NEW BEST:: SOT 4441853 SOS 761771 HAS SOPS 761771 HAS SOUS 678520 HAS SOUPS 678520 WITH SCORE 679281.771
AT ITER 606 NEW BEST:: SOT 4441864 SOS 761793 HAS SOPS 761793 HAS SOUS 678389 HAS SOUPS 678389 WITH SCORE 679150.793
AT ITER 619 NEW BEST:: SOT 4442291 SOS 761617 HAS SOPS 761617 HAS SOUS 678281 HAS SOUPS 678281 WITH SCORE 679042.617
AT ITER 620 NEW BEST:: SOT 4442291 SOS 761608 HAS SOPS 761608 HAS SOUS 678279 HAS SOUPS 678279 WITH SCORE 679040.608
AT ITER 640 NEW BEST:: SOT 4442234 SOS 761494 HAS SOPS 761494 HAS SOUS 678123 HAS SOUPS 678123 WITH SCORE 678884.494
AT ITER 643 NEW BEST:: SOT 4442234 SOS 761494 HAS SOPS 761494 HAS SOUS 677894 HAS SOUPS 677894 WITH SCORE 678655.494
AT ITER 652 NEW BEST:: SOT 4442234 SOS 761378 HAS SOPS 761378 HAS SOUS 677894 HAS SOUPS 677894 WITH SCORE 678655.378
AT ITER 656 NEW BEST:: SOT 4442117 SOS 761454 HAS SOPS 761454 HAS SOUS 677467 HAS SOUPS 677467 WITH SCORE 678228.454
AT ITER 664 NEW BEST:: SOT 4442049 SOS 761318 HAS SOPS 761318 HAS SOUS 677331 HAS SOUPS 677331 WITH SCORE 678092.318
AT ITER 671 NEW BEST:: SOT 4442048 SOS 761316 HAS SOPS 761316 HAS SOUS 677329 HAS SOUPS 677329 WITH SCORE 678090.316
AT ITER 685 NEW BEST:: SOT 4442047 SOS 761314 HAS SOPS 761314 HAS SOUS 677327 HAS SOUPS 677327 WITH SCORE 678088.314
AT ITER 710 NEW BEST:: SOT 4442004 SOS 761228 HAS SOPS 761228 HAS SOUS 677241 HAS SOUPS 677241 WITH SCORE 678002.228
AT ITER 712 NEW BEST:: SOT 4441669 SOS 760904 HAS SOPS 760904 HAS SOUS 676801 HAS SOUPS 676801 WITH SCORE 677561.904
AT ITER 713 NEW BEST:: SOT 4441511 SOS 760588 HAS SOPS 760588 HAS SOUS 676485 HAS SOUPS 676485 WITH SCORE 677245.588
AT ITER 724 NEW BEST:: SOT 4441364 SOS 760216 HAS SOPS 760216 HAS SOUS 676366 HAS SOUPS 676366 WITH SCORE 677126.216
AT ITER 736 NEW BEST:: SOT 4441360 SOS 760208 HAS SOPS 760208 HAS SOUS 676358 HAS SOUPS 676358 WITH SCORE 677118.208
AT ITER 753 NEW BEST:: SOT 4441154 SOS 760078 HAS SOPS 760078 HAS SOUS 676181 HAS SOUPS 676181 WITH SCORE 676941.078
AT ITER 771 NEW BEST:: SOT 4441005 SOS 759780 HAS SOPS 759780 HAS SOUS 675883 HAS SOUPS 675883 WITH SCORE 676642.78
AT ITER 816 NEW BEST:: SOT 4441005 SOS 759568 HAS SOPS 759568 HAS SOUS 675883 HAS SOUPS 675883 WITH SCORE 676642.568
AT ITER 830 NEW BEST:: SOT 4441004 SOS 759566 HAS SOPS 759566 HAS SOUS 675881 HAS SOUPS 675881 WITH SCORE 676640.566
AT ITER 841 NEW BEST:: SOT 4441004 SOS 759222 HAS SOPS 759222 HAS SOUS 675880 HAS SOUPS 675880 WITH SCORE 676639.222
AT ITER 850 NEW BEST:: SOT 4441004 SOS 759206 HAS SOPS 759206 HAS SOUS 675864 HAS SOUPS 675864 WITH SCORE 676623.206
AT ITER 851 NEW BEST:: SOT 4440817 SOS 758832 HAS SOPS 758832 HAS SOUS 675490 HAS SOUPS 675490 WITH SCORE 676248.832
AT ITER 894 NEW BEST:: SOT 4440817 SOS 758558 HAS SOPS 758558 HAS SOUS 675313 HAS SOUPS 675313 WITH SCORE 676071.558
AT ITER 900 NEW BEST:: SOT 4440541 SOS 758190 HAS SOPS 758190 HAS SOUS 674945 HAS SOUPS 674945 WITH SCORE 675703.19
AT ITER 906 NEW BEST:: SOT 4440540 SOS 758188 HAS SOPS 758188 HAS SOUS 674944 HAS SOUPS 674944 WITH SCORE 675702.188
AT ITER 940 NEW BEST:: SOT 4440345 SOS 757798 HAS SOPS 757798 HAS SOUS 674554 HAS SOUPS 674554 WITH SCORE 675311.798
AT ITER 957 NEW BEST:: SOT 4440179 SOS 757634 HAS SOPS 757634 HAS SOUS 674390 HAS SOUPS 674390 WITH SCORE 675147.634
AT ITER 964 NEW BEST:: SOT 4440227 SOS 757730 HAS SOPS 757730 HAS SOUS 674192 HAS SOUPS 674192 WITH SCORE 674949.73
AT ITER 967 NEW BEST:: SOT 4440337 SOS 757586 HAS SOPS 757586 HAS SOUS 674054 HAS SOUPS 674054 WITH SCORE 674811.586
AT ITER 971 NEW BEST:: SOT 4440337 SOS 757586 HAS SOPS 757586 HAS SOUS 674053 HAS SOUPS 674053 WITH SCORE 674810.586
AT ITER 980 NEW BEST:: SOT 4440377 SOS 757578 HAS SOPS 757578 HAS SOUS 674049 HAS SOUPS 674049 WITH SCORE 674806.578
AT ITER 995 NEW BEST:: SOT 4440309 SOS 757510 HAS SOPS 757510 HAS SOUS 673913 HAS SOUPS 673913 WITH SCORE 674670.51
AT ITER 1009 NEW BEST:: SOT 4440381 SOS 757000 HAS SOPS 757000 HAS SOUS 673515 HAS SOUPS 673515 WITH SCORE 674272.0
AT ITER 1014 NEW BEST:: SOT 4440188 SOS 756892 HAS SOPS 756892 HAS SOUS 673044 HAS SOUPS 673044 WITH SCORE 673800.892
AT ITER 1018 NEW BEST:: SOT 4440150 SOS 756778 HAS SOPS 756778 HAS SOUS 672968 HAS SOUPS 672968 WITH SCORE 673724.778
AT ITER 1020 NEW BEST:: SOT 4440150 SOS 756697 HAS SOPS 756697 HAS SOUS 672967 HAS SOUPS 672967 WITH SCORE 673723.697
AT ITER 1023 NEW BEST:: SOT 4440337 SOS 757071 HAS SOPS 757071 HAS SOUS 672902 HAS SOUPS 672902 WITH SCORE 673659.071
AT ITER 1066 NEW BEST:: SOT 4440408 SOS 757213 HAS SOPS 757213 HAS SOUS 672763 HAS SOUPS 672763 WITH SCORE 673520.213
AT ITER 1072 NEW BEST:: SOT 4440268 SOS 756933 HAS SOPS 756933 HAS SOUS 672483 HAS SOUPS 672483 WITH SCORE 673239.933
AT ITER 1077 NEW BEST:: SOT 4440256 SOS 756668 HAS SOPS 756668 HAS SOUS 672222 HAS SOUPS 672222 WITH SCORE 672978.668
AT ITER 1101 NEW BEST:: SOT 4440256 SOS 756668 HAS SOPS 756668 HAS SOUS 672177 HAS SOUPS 672177 WITH SCORE 672933.668
AT ITER 1104 NEW BEST:: SOT 4440153 SOS 756659 HAS SOPS 756659 HAS SOUS 672074 HAS SOUPS 672074 WITH SCORE 672830.659
AT ITER 1122 NEW BEST:: SOT 4440063 SOS 756479 HAS SOPS 756479 HAS SOUS 671984 HAS SOUPS 671984 WITH SCORE 672740.479
AT ITER 1125 NEW BEST:: SOT 4440062 SOS 756477 HAS SOPS 756477 HAS SOUS 671982 HAS SOUPS 671982 WITH SCORE 672738.477
AT ITER 1128 NEW BEST:: SOT 4440039 SOS 756431 HAS SOPS 756431 HAS SOUS 671959 HAS SOUPS 671959 WITH SCORE 672715.431
AT ITER 1165 NEW BEST:: SOT 4439993 SOS 756135 HAS SOPS 756135 HAS SOUS 671709 HAS SOUPS 671709 WITH SCORE 672465.135
AT ITER 1217 NEW BEST:: SOT 4439883 SOS 756057 HAS SOPS 756057 HAS SOUS 671555 HAS SOUPS 671555 WITH SCORE 672311.057
AT ITER 1224 NEW BEST:: SOT 4439868 SOS 756027 HAS SOPS 756027 HAS SOUS 671525 HAS SOUPS 671525 WITH SCORE 672281.027
AT ITER 1227 NEW BEST:: SOT 4440050 SOS 756391 HAS SOPS 756391 HAS SOUS 671518 HAS SOUPS 671518 WITH SCORE 672274.391
AT ITER 1256 NEW BEST:: SOT 4440049 SOS 756171 HAS SOPS 756171 HAS SOUS 671516 HAS SOUPS 671516 WITH SCORE 672272.171
AT ITER 1267 NEW BEST:: SOT 4440215 SOS 755959 HAS SOPS 755959 HAS SOUS 671224 HAS SOUPS 671224 WITH SCORE 671979.959
AT ITER 1295 NEW BEST:: SOT 4440214 SOS 755957 HAS SOPS 755957 HAS SOUS 671222 HAS SOUPS 671222 WITH SCORE 671977.957
AT ITER 1305 NEW BEST:: SOT 4440312 SOS 755909 HAS SOPS 755909 HAS SOUS 671179 HAS SOUPS 671179 WITH SCORE 671934.909
AT ITER 1306 NEW BEST:: SOT 4440333 SOS 755875 HAS SOPS 755875 HAS SOUS 671124 HAS SOUPS 671124 WITH SCORE 671879.875
AT ITER 1315 NEW BEST:: SOT 4440311 SOS 755809 HAS SOPS 755809 HAS SOUS 671079 HAS SOUPS 671079 WITH SCORE 671834.809
AT ITER 1362 NEW BEST:: SOT 4440176 SOS 755366 HAS SOPS 755366 HAS SOUS 670808 HAS SOUPS 670808 WITH SCORE 671563.366
AT ITER 1377 NEW BEST:: SOT 4440176 SOS 755366 HAS SOPS 755366 HAS SOUS 670754 HAS SOUPS 670754 WITH SCORE 671509.366
AT ITER 1384 NEW BEST:: SOT 4440172 SOS 755358 HAS SOPS 755358 HAS SOUS 670713 HAS SOUPS 670713 WITH SCORE 671468.358
AT ITER 1398 NEW BEST:: SOT 4440141 SOS 755001 HAS SOPS 755001 HAS SOUS 670651 HAS SOUPS 670651 WITH SCORE 671406.001
AT ITER 1405 NEW BEST:: SOT 4440140 SOS 754999 HAS SOPS 754999 HAS SOUS 670649 HAS SOUPS 670649 WITH SCORE 671403.999
AT ITER 1440 NEW BEST:: SOT 4440115 SOS 754992 HAS SOPS 754992 HAS SOUS 670640 HAS SOUPS 670640 WITH SCORE 671394.992
AT ITER 1492 NEW BEST:: SOT 4440065 SOS 754942 HAS SOPS 754942 HAS SOUS 670590 HAS SOUPS 670590 WITH SCORE 671344.942
AT ITER 1507 NEW BEST:: SOT 4439804 SOS 754249 HAS SOPS 754249 HAS SOUS 670067 HAS SOUPS 670067 WITH SCORE 670821.249
AT ITER 1512 NEW BEST:: SOT 4439804 SOS 754249 HAS SOPS 754249 HAS SOUS 670032 HAS SOUPS 670032 WITH SCORE 670786.249
AT ITER 1518 NEW BEST:: SOT 4433639 SOS 748303 HAS SOPS 748303 HAS SOUS 664019 HAS SOUPS 664019 WITH SCORE 664767.303
AT ITER 1529 NEW BEST:: SOT 4433538 SOS 748296 HAS SOPS 748296 HAS SOUS 663918 HAS SOUPS 663918 WITH SCORE 664666.296
AT ITER 1532 NEW BEST:: SOT 4433538 SOS 748296 HAS SOPS 748296 HAS SOUS 663916 HAS SOUPS 663916 WITH SCORE 664664.296
AT ITER 1534 NEW BEST:: SOT 4433538 SOS 748296 HAS SOPS 748296 HAS SOUS 663800 HAS SOUPS 663800 WITH SCORE 664548.296
AT ITER 1540 NEW BEST:: SOT 4433521 SOS 748262 HAS SOPS 748262 HAS SOUS 663783 HAS SOUPS 663783 WITH SCORE 664531.262
AT ITER 1564 NEW BEST:: SOT 4433682 SOS 748262 HAS SOPS 748262 HAS SOUS 663782 HAS SOUPS 663782 WITH SCORE 664530.262
AT ITER 1568 NEW BEST:: SOT 4433645 SOS 748225 HAS SOPS 748225 HAS SOUS 663745 HAS SOUPS 663745 WITH SCORE 664493.225
AT ITER 1591 NEW BEST:: SOT 4433606 SOS 748147 HAS SOPS 748147 HAS SOUS 663667 HAS SOUPS 663667 WITH SCORE 664415.147
AT ITER 1601 NEW BEST:: SOT 4433605 SOS 747614 HAS SOPS 747614 HAS SOUS 663330 HAS SOUPS 663330 WITH SCORE 664077.614
AT ITER 1608 NEW BEST:: SOT 4433604 SOS 747612 HAS SOPS 747612 HAS SOUS 663328 HAS SOUPS 663328 WITH SCORE 664075.612
AT ITER 1632 NEW BEST:: SOT 4433350 SOS 747104 HAS SOPS 747104 HAS SOUS 662820 HAS SOUPS 662820 WITH SCORE 663567.104
AT ITER 1652 NEW BEST:: SOT 4433342 SOS 747088 HAS SOPS 747088 HAS SOUS 662812 HAS SOUPS 662812 WITH SCORE 663559.088
AT ITER 1658 NEW BEST:: SOT 4433342 SOS 747035 HAS SOPS 747035 HAS SOUS 662759 HAS SOUPS 662759 WITH SCORE 663506.035
AT ITER 1732 NEW BEST:: SOT 4433319 SOS 746732 HAS SOPS 746732 HAS SOUS 662594 HAS SOUPS 662594 WITH SCORE 663340.732
AT ITER 1740 NEW BEST:: SOT 4432575 SOS 751303 HAS SOPS 751303 HAS SOUS 662443 HAS SOUPS 662443 WITH SCORE 663194.303
AT ITER 1764 NEW BEST:: SOT 4431983 SOS 750476 HAS SOPS 750476 HAS SOUS 661539 HAS SOUPS 661539 WITH SCORE 662289.476
AT ITER 1774 NEW BEST:: SOT 4431948 SOS 750441 HAS SOPS 750441 HAS SOUS 661504 HAS SOUPS 661504 WITH SCORE 662254.441
AT ITER 1784 NEW BEST:: SOT 4431873 SOS 750341 HAS SOPS 750341 HAS SOUS 661404 HAS SOUPS 661404 WITH SCORE 662154.341
AT ITER 1786 NEW BEST:: SOT 4431860 SOS 750315 HAS SOPS 750315 HAS SOUS 661378 HAS SOUPS 661378 WITH SCORE 662128.315
AT ITER 1828 NEW BEST:: SOT 4431781 SOS 750157 HAS SOPS 750157 HAS SOUS 661211 HAS SOUPS 661211 WITH SCORE 661961.157
AT ITER 1835 NEW BEST:: SOT 4431781 SOS 749996 HAS SOPS 749996 HAS SOUS 661211 HAS SOUPS 661211 WITH SCORE 661960.996
AT ITER 1877 NEW BEST:: SOT 4431115 SOS 749795 HAS SOPS 749795 HAS SOUS 660535 HAS SOUPS 660535 WITH SCORE 661284.795
AT ITER 1889 NEW BEST:: SOT 4431084 SOS 749821 HAS SOPS 749821 HAS SOUS 660517 HAS SOUPS 660517 WITH SCORE 661266.821
AT ITER 1906 NEW BEST:: SOT 4431041 SOS 749735 HAS SOPS 749735 HAS SOUS 660431 HAS SOUPS 660431 WITH SCORE 661180.735
AT ITER 1929 NEW BEST:: SOT 4431188 SOS 749439 HAS SOPS 749439 HAS SOUS 660283 HAS SOUPS 660283 WITH SCORE 661032.439
AT ITER 1936 NEW BEST:: SOT 4431178 SOS 749419 HAS SOPS 749419 HAS SOUS 660263 HAS SOUPS 660263 WITH SCORE 661012.419
AT ITER 1954 NEW BEST:: SOT 4430844 SOS 748983 HAS SOPS 748983 HAS SOUS 659827 HAS SOUPS 659827 WITH SCORE 660575.983
AT ITER 2006 NEW BEST:: SOT 4430906 SOS 748865 HAS SOPS 748865 HAS SOUS 659709 HAS SOUPS 659709 WITH SCORE 660457.865
AT ITER 2030 NEW BEST:: SOT 4430616 SOS 749853 HAS SOPS 749853 HAS SOUS 659649 HAS SOUPS 659649 WITH SCORE 660398.853
AT ITER 2089 NEW BEST:: SOT 4430608 SOS 749837 HAS SOPS 749837 HAS SOUS 659617 HAS SOUPS 659617 WITH SCORE 660366.837
AT ITER 2092 NEW BEST:: SOT 4430755 SOS 749590 HAS SOPS 749590 HAS SOUS 659303 HAS SOUPS 659303 WITH SCORE 660052.59
AT ITER 2132 NEW BEST:: SOT 4430690 SOS 749583 HAS SOPS 749583 HAS SOUS 659300 HAS SOUPS 659300 WITH SCORE 660049.583
AT ITER 2135 NEW BEST:: SOT 4430600 SOS 749403 HAS SOPS 749403 HAS SOUS 659120 HAS SOUPS 659120 WITH SCORE 659869.403
AT ITER 2168 NEW BEST:: SOT 4430370 SOS 748630 HAS SOPS 748630 HAS SOUS 658578 HAS SOUPS 658578 WITH SCORE 659326.63
AT ITER 2230 NEW BEST:: SOT 4430370 SOS 748788 HAS SOPS 748788 HAS SOUS 658534 HAS SOUPS 658534 WITH SCORE 659282.788
AT ITER 2237 NEW BEST:: SOT 4430216 SOS 748480 HAS SOPS 748480 HAS SOUS 657987 HAS SOUPS 657987 WITH SCORE 658735.48
AT ITER 2246 NEW BEST:: SOT 4429979 SOS 748006 HAS SOPS 748006 HAS SOUS 657513 HAS SOUPS 657513 WITH SCORE 658261.006
AT ITER 2262 NEW BEST:: SOT 4429529 SOS 747556 HAS SOPS 747556 HAS SOUS 657063 HAS SOUPS 657063 WITH SCORE 657810.556
AT ITER 2293 NEW BEST:: SOT 4429424 SOS 747346 HAS SOPS 747346 HAS SOUS 656853 HAS SOUPS 656853 WITH SCORE 657600.346
AT ITER 2296 NEW BEST:: SOT 4429486 SOS 747470 HAS SOPS 747470 HAS SOUS 656805 HAS SOUPS 656805 WITH SCORE 657552.47
AT ITER 2319 NEW BEST:: SOT 4428954 SOS 747071 HAS SOPS 747071 HAS SOUS 656406 HAS SOUPS 656406 WITH SCORE 657153.071
AT ITER 2342 NEW BEST:: SOT 4428686 SOS 747201 HAS SOPS 747201 HAS SOUS 656138 HAS SOUPS 656138 WITH SCORE 656885.201
AT ITER 2402 NEW BEST:: SOT 4428597 SOS 747140 HAS SOPS 747140 HAS SOUS 655932 HAS SOUPS 655932 WITH SCORE 656679.14
AT ITER 2413 NEW BEST:: SOT 4428166 SOS 748378 HAS SOPS 748378 HAS SOUS 655921 HAS SOUPS 655921 WITH SCORE 656669.378
AT ITER 2417 NEW BEST:: SOT 4428427 SOS 747928 HAS SOPS 747928 HAS SOUS 655858 HAS SOUPS 655858 WITH SCORE 656605.928
AT ITER 2431 NEW BEST:: SOT 4428422 SOS 747918 HAS SOPS 747918 HAS SOUS 655853 HAS SOUPS 655853 WITH SCORE 656600.918
AT ITER 2438 NEW BEST:: SOT 4428156 SOS 747386 HAS SOPS 747386 HAS SOUS 655587 HAS SOUPS 655587 WITH SCORE 656334.386
AT ITER 2446 NEW BEST:: SOT 4428146 SOS 747366 HAS SOPS 747366 HAS SOUS 655567 HAS SOUPS 655567 WITH SCORE 656314.366
AT ITER 2459 NEW BEST:: SOT 4428146 SOS 747366 HAS SOPS 747366 HAS SOUS 655566 HAS SOUPS 655566 WITH SCORE 656313.366
AT ITER 2470 NEW BEST:: SOT 4428146 SOS 747259 HAS SOPS 747259 HAS SOUS 655566 HAS SOUPS 655566 WITH SCORE 656313.259
AT ITER 2481 NEW BEST:: SOT 4428062 SOS 746722 HAS SOPS 746722 HAS SOUS 655398 HAS SOUPS 655398 WITH SCORE 656144.722
AT ITER 2525 NEW BEST:: SOT 4427990 SOS 746678 HAS SOPS 746678 HAS SOUS 655354 HAS SOUPS 655354 WITH SCORE 656100.678
AT ITER 2526 NEW BEST:: SOT 4427692 SOS 746082 HAS SOPS 746082 HAS SOUS 654758 HAS SOUPS 654758 WITH SCORE 655504.082
AT ITER 2536 NEW BEST:: SOT 4427692 SOS 745995 HAS SOPS 745995 HAS SOUS 654671 HAS SOUPS 654671 WITH SCORE 655416.995
AT ITER 2546 NEW BEST:: SOT 4427692 SOS 745936 HAS SOPS 745936 HAS SOUS 654612 HAS SOUPS 654612 WITH SCORE 655357.936
AT ITER 2579 NEW BEST:: SOT 4427579 SOS 745889 HAS SOPS 745889 HAS SOUS 654531 HAS SOUPS 654531 WITH SCORE 655276.889
AT ITER 2633 NEW BEST:: SOT 4427520 SOS 745771 HAS SOPS 745771 HAS SOUS 654413 HAS SOUPS 654413 WITH SCORE 655158.771
AT ITER 2642 NEW BEST:: SOT 4427615 SOS 745961 HAS SOPS 745961 HAS SOUS 654324 HAS SOUPS 654324 WITH SCORE 655069.961
AT ITER 2655 NEW BEST:: SOT 4427614 SOS 745763 HAS SOPS 745763 HAS SOUS 654322 HAS SOUPS 654322 WITH SCORE 655067.763
AT ITER 2686 NEW BEST:: SOT 4427486 SOS 745379 HAS SOPS 745379 HAS SOUS 654066 HAS SOUPS 654066 WITH SCORE 654811.379
AT ITER 2719 NEW BEST:: SOT 4427550 SOS 745231 HAS SOPS 745231 HAS SOUS 653992 HAS SOUPS 653992 WITH SCORE 654737.231
AT ITER 2720 NEW BEST:: SOT 4427549 SOS 745340 HAS SOPS 745340 HAS SOUS 653991 HAS SOUPS 653991 WITH SCORE 654736.34
AT ITER 2723 NEW BEST:: SOT 4427308 SOS 745099 HAS SOPS 745099 HAS SOUS 653750 HAS SOUPS 653750 WITH SCORE 654495.099
AT ITER 2731 NEW BEST:: SOT 4427035 SOS 744553 HAS SOPS 744553 HAS SOUS 653204 HAS SOUPS 653204 WITH SCORE 653948.553
AT ITER 2750 NEW BEST:: SOT 4427474 SOS 744401 HAS SOPS 744401 HAS SOUS 653128 HAS SOUPS 653128 WITH SCORE 653872.401
AT ITER 2752 NEW BEST:: SOT 4427473 SOS 744257 HAS SOPS 744257 HAS SOUS 653126 HAS SOUPS 653126 WITH SCORE 653870.257
AT ITER 2755 NEW BEST:: SOT 4427465 SOS 744249 HAS SOPS 744249 HAS SOUS 653110 HAS SOUPS 653110 WITH SCORE 653854.249
AT ITER 2756 NEW BEST:: SOT 4427189 SOS 743973 HAS SOPS 743973 HAS SOUS 653026 HAS SOUPS 653026 WITH SCORE 653769.973
AT ITER 2774 NEW BEST:: SOT 4426874 SOS 743673 HAS SOPS 743673 HAS SOUS 652726 HAS SOUPS 652726 WITH SCORE 653469.673
AT ITER 2782 NEW BEST:: SOT 4426874 SOS 743660 HAS SOPS 743660 HAS SOUS 652726 HAS SOUPS 652726 WITH SCORE 653469.66
AT ITER 2800 NEW BEST:: SOT 4426411 SOS 743117 HAS SOPS 743117 HAS SOUS 652069 HAS SOUPS 652069 WITH SCORE 652812.117
AT ITER 2801 NEW BEST:: SOT 4426345 SOS 742985 HAS SOPS 742985 HAS SOUS 651937 HAS SOUPS 651937 WITH SCORE 652679.985
AT ITER 2806 NEW BEST:: SOT 4426345 SOS 742985 HAS SOPS 742985 HAS SOUS 651930 HAS SOUPS 651930 WITH SCORE 652672.985
AT ITER 2815 NEW BEST:: SOT 4426162 SOS 742802 HAS SOPS 742802 HAS SOUS 651564 HAS SOUPS 651564 WITH SCORE 652306.802
AT ITER 2823 NEW BEST:: SOT 4425366 SOS 746425 HAS SOPS 746425 HAS SOUS 651171 HAS SOUPS 651171 WITH SCORE 651917.425
AT ITER 2831 NEW BEST:: SOT 4425365 SOS 746211 HAS SOPS 746211 HAS SOUS 651169 HAS SOUPS 651169 WITH SCORE 651915.211
AT ITER 2865 NEW BEST:: SOT 4425344 SOS 746169 HAS SOPS 746169 HAS SOUS 651148 HAS SOUPS 651148 WITH SCORE 651894.169
AT ITER 2890 NEW BEST:: SOT 4425343 SOS 745982 HAS SOPS 745982 HAS SOUS 651145 HAS SOUPS 651145 WITH SCORE 651890.982
AT ITER 2901 NEW BEST:: SOT 4425342 SOS 745980 HAS SOPS 745980 HAS SOUS 651143 HAS SOUPS 651143 WITH SCORE 651888.98
AT ITER 2908 NEW BEST:: SOT 4425341 SOS 745883 HAS SOPS 745883 HAS SOUS 651101 HAS SOUPS 651101 WITH SCORE 651846.883
AT ITER 2915 NEW BEST:: SOT 4425332 SOS 745985 HAS SOPS 745985 HAS SOUS 651087 HAS SOUPS 651087 WITH SCORE 651832.985
AT ITER 2962 NEW BEST:: SOT 4425332 SOS 745777 HAS SOPS 745777 HAS SOUS 651087 HAS SOUPS 651087 WITH SCORE 651832.777
AT ITER 3001 NEW BEST:: SOT 4425054 SOS 745769 HAS SOPS 745769 HAS SOUS 651075 HAS SOUPS 651075 WITH SCORE 651820.769
AT ITER 3054 NEW BEST:: SOT 4424688 SOS 745909 HAS SOPS 745909 HAS SOUS 650796 HAS SOUPS 650796 WITH SCORE 651541.909
AT ITER 3059 NEW BEST:: SOT 4421990 SOS 743211 HAS SOPS 743211 HAS SOUS 648430 HAS SOUPS 648430 WITH SCORE 649173.211
AT ITER 3070 NEW BEST:: SOT 4421990 SOS 743196 HAS SOPS 743196 HAS SOUS 648430 HAS SOUPS 648430 WITH SCORE 649173.196
AT ITER 3077 NEW BEST:: SOT 4421820 SOS 743189 HAS SOPS 743189 HAS SOUS 648280 HAS SOUPS 648280 WITH SCORE 649023.189
AT ITER 3115 NEW BEST:: SOT 4421812 SOS 743173 HAS SOPS 743173 HAS SOUS 648264 HAS SOUPS 648264 WITH SCORE 649007.173
AT ITER 3122 NEW BEST:: SOT 4421783 SOS 743160 HAS SOPS 743160 HAS SOUS 648235 HAS SOUPS 648235 WITH SCORE 648978.16
AT ITER 3131 NEW BEST:: SOT 4421783 SOS 743160 HAS SOPS 743160 HAS SOUS 648030 HAS SOUPS 648030 WITH SCORE 648773.16
AT ITER 3143 NEW BEST:: SOT 4421674 SOS 742942 HAS SOPS 742942 HAS SOUS 647812 HAS SOUPS 647812 WITH SCORE 648554.942
AT ITER 3151 NEW BEST:: SOT 4421642 SOS 742878 HAS SOPS 742878 HAS SOUS 647748 HAS SOUPS 647748 WITH SCORE 648490.878
AT ITER 3158 NEW BEST:: SOT 4421405 SOS 742404 HAS SOPS 742404 HAS SOUS 647528 HAS SOUPS 647528 WITH SCORE 648270.404
AT ITER 3174 NEW BEST:: SOT 4421571 SOS 742439 HAS SOPS 742439 HAS SOUS 647397 HAS SOUPS 647397 WITH SCORE 648139.439
AT ITER 3289 NEW BEST:: SOT 4421571 SOS 742395 HAS SOPS 742395 HAS SOUS 647397 HAS SOUPS 647397 WITH SCORE 648139.395
AT ITER 3301 NEW BEST:: SOT 4421465 SOS 742183 HAS SOPS 742183 HAS SOUS 647344 HAS SOUPS 647344 WITH SCORE 648086.183
AT ITER 3310 NEW BEST:: SOT 4421400 SOS 742053 HAS SOPS 742053 HAS SOUS 647214 HAS SOUPS 647214 WITH SCORE 647956.053
AT ITER 3311 NEW BEST:: SOT 4421190 SOS 741213 HAS SOPS 741213 HAS SOUS 646794 HAS SOUPS 646794 WITH SCORE 647535.213
AT ITER 3345 NEW BEST:: SOT 4420989 SOS 741224 HAS SOPS 741224 HAS SOUS 646666 HAS SOUPS 646666 WITH SCORE 647407.224
AT ITER 3350 NEW BEST:: SOT 4420989 SOS 741020 HAS SOPS 741020 HAS SOUS 646462 HAS SOUPS 646462 WITH SCORE 647203.02
AT ITER 3358 NEW BEST:: SOT 4420988 SOS 741013 HAS SOPS 741013 HAS SOUS 646459 HAS SOUPS 646459 WITH SCORE 647200.013
AT ITER 3396 NEW BEST:: SOT 4420882 SOS 740671 HAS SOPS 740671 HAS SOUS 646233 HAS SOUPS 646233 WITH SCORE 646973.671
AT ITER 3399 NEW BEST:: SOT 4420612 SOS 740131 HAS SOPS 740131 HAS SOUS 645693 HAS SOUPS 645693 WITH SCORE 646433.131
AT ITER 3437 NEW BEST:: SOT 4420529 SOS 739965 HAS SOPS 739965 HAS SOUS 645527 HAS SOUPS 645527 WITH SCORE 646266.965
AT ITER 3442 NEW BEST:: SOT 4420364 SOS 739859 HAS SOPS 739859 HAS SOUS 645421 HAS SOUPS 645421 WITH SCORE 646160.859
AT ITER 3449 NEW BEST:: SOT 4420249 SOS 739485 HAS SOPS 739485 HAS SOUS 645234 HAS SOUPS 645234 WITH SCORE 645973.485
AT ITER 3457 NEW BEST:: SOT 4420185 SOS 730201 HAS SOPS 730201 HAS SOUS 644952 HAS SOUPS 644952 WITH SCORE 645682.201
AT ITER 3462 NEW BEST:: SOT 4420185 SOS 730106 HAS SOPS 730106 HAS SOUS 644952 HAS SOUPS 644952 WITH SCORE 645682.106
AT ITER 3484 NEW BEST:: SOT 4419385 SOS 729650 HAS SOPS 729650 HAS SOUS 644169 HAS SOUPS 644169 WITH SCORE 644898.65
AT ITER 3507 NEW BEST:: SOT 4419401 SOS 729682 HAS SOPS 729682 HAS SOUS 644139 HAS SOUPS 644139 WITH SCORE 644868.682
AT ITER 3523 NEW BEST:: SOT 4419552 SOS 729984 HAS SOPS 729984 HAS SOUS 644066 HAS SOUPS 644066 WITH SCORE 644795.984
AT ITER 3538 NEW BEST:: SOT 4419586 SOS 730052 HAS SOPS 730052 HAS SOUS 643991 HAS SOUPS 643991 WITH SCORE 644721.052
AT ITER 3549 NEW BEST:: SOT 4419396 SOS 729862 HAS SOPS 729862 HAS SOUS 643805 HAS SOUPS 643805 WITH SCORE 644534.862
AT ITER 3609 NEW BEST:: SOT 4419368 SOS 729806 HAS SOPS 729806 HAS SOUS 643749 HAS SOUPS 643749 WITH SCORE 644478.806
AT ITER 3631 NEW BEST:: SOT 4419187 SOS 729583 HAS SOPS 729583 HAS SOUS 643463 HAS SOUPS 643463 WITH SCORE 644192.583
AT ITER 3647 NEW BEST:: SOT 4419133 SOS 724467 HAS SOPS 724467 HAS SOUS 643129 HAS SOUPS 643129 WITH SCORE 643853.467
AT ITER 3651 NEW BEST:: SOT 4418932 SOS 724270 HAS SOPS 724270 HAS SOUS 643077 HAS SOUPS 643077 WITH SCORE 643801.27
AT ITER 3652 NEW BEST:: SOT 4419143 SOS 724399 HAS SOPS 724399 HAS SOUS 642995 HAS SOUPS 642995 WITH SCORE 643719.399
AT ITER 3654 NEW BEST:: SOT 4418980 SOS 724073 HAS SOPS 724073 HAS SOUS 642669 HAS SOUPS 642669 WITH SCORE 643393.073
AT ITER 3666 NEW BEST:: SOT 4416592 SOS 731868 HAS SOPS 731868 HAS SOUS 641120 HAS SOUPS 641120 WITH SCORE 641851.868
AT ITER 3699 NEW BEST:: SOT 4416577 SOS 731838 HAS SOPS 731838 HAS SOUS 641105 HAS SOUPS 641105 WITH SCORE 641836.838
AT ITER 3710 NEW BEST:: SOT 4416568 SOS 731838 HAS SOPS 731838 HAS SOUS 641096 HAS SOUPS 641096 WITH SCORE 641827.838
AT ITER 3730 NEW BEST:: SOT 4416568 SOS 731838 HAS SOPS 731838 HAS SOUS 641075 HAS SOUPS 641075 WITH SCORE 641806.838
AT ITER 3752 NEW BEST:: SOT 4416414 SOS 731934 HAS SOPS 731934 HAS SOUS 640767 HAS SOUPS 640767 WITH SCORE 641498.934
AT ITER 3794 NEW BEST:: SOT 4416430 SOS 731966 HAS SOPS 731966 HAS SOUS 640579 HAS SOUPS 640579 WITH SCORE 641310.966
AT ITER 3798 NEW BEST:: SOT 4416076 SOS 731906 HAS SOPS 731906 HAS SOUS 640322 HAS SOUPS 640322 WITH SCORE 641053.906
AT ITER 3806 NEW BEST:: SOT 4416006 SOS 731766 HAS SOPS 731766 HAS SOUS 640252 HAS SOUPS 640252 WITH SCORE 640983.766
AT ITER 3841 NEW BEST:: SOT 4415777 SOS 731308 HAS SOPS 731308 HAS SOUS 639794 HAS SOUPS 639794 WITH SCORE 640525.308
AT ITER 3847 NEW BEST:: SOT 4415777 SOS 731308 HAS SOPS 731308 HAS SOUS 639786 HAS SOUPS 639786 WITH SCORE 640517.308
AT ITER 3862 NEW BEST:: SOT 4415770 SOS 731294 HAS SOPS 731294 HAS SOUS 639772 HAS SOUPS 639772 WITH SCORE 640503.294
AT ITER 3896 NEW BEST:: SOT 4415479 SOS 730535 HAS SOPS 730535 HAS SOUS 639190 HAS SOUPS 639190 WITH SCORE 639920.535
AT ITER 3903 NEW BEST:: SOT 4415265 SOS 730535 HAS SOPS 730535 HAS SOUS 639083 HAS SOUPS 639083 WITH SCORE 639813.535
AT ITER 3910 NEW BEST:: SOT 4415211 SOS 730647 HAS SOPS 730647 HAS SOUS 639061 HAS SOUPS 639061 WITH SCORE 639791.647
AT ITER 3963 NEW BEST:: SOT 4415208 SOS 730641 HAS SOPS 730641 HAS SOUS 639059 HAS SOUPS 639059 WITH SCORE 639789.641
AT ITER 3986 NEW BEST:: SOT 4415208 SOS 730641 HAS SOPS 730641 HAS SOUS 639051 HAS SOUPS 639051 WITH SCORE 639781.641
AT ITER 4009 NEW BEST:: SOT 4414892 SOS 731296 HAS SOPS 731296 HAS SOUS 638884 HAS SOUPS 638884 WITH SCORE 639615.296
AT ITER 4016 NEW BEST:: SOT 4414858 SOS 731228 HAS SOPS 731228 HAS SOUS 638664 HAS SOUPS 638664 WITH SCORE 639395.228
AT ITER 4042 NEW BEST:: SOT 4414812 SOS 730956 HAS SOPS 730956 HAS SOUS 638446 HAS SOUPS 638446 WITH SCORE 639176.956
AT ITER 4083 NEW BEST:: SOT 4414689 SOS 730710 HAS SOPS 730710 HAS SOUS 638446 HAS SOUPS 638446 WITH SCORE 639176.71
AT ITER 4084 NEW BEST:: SOT 4414689 SOS 730650 HAS SOPS 730650 HAS SOUS 638416 HAS SOUPS 638416 WITH SCORE 639146.65
AT ITER 4089 NEW BEST:: SOT 4414558 SOS 730388 HAS SOPS 730388 HAS SOUS 638339 HAS SOUPS 638339 WITH SCORE 639069.388
AT ITER 4118 NEW BEST:: SOT 4413313 SOS 730915 HAS SOPS 730915 HAS SOUS 637712 HAS SOUPS 637712 WITH SCORE 638442.915
AT ITER 4132 NEW BEST:: SOT 4413221 SOS 730731 HAS SOPS 730731 HAS SOUS 637619 HAS SOUPS 637619 WITH SCORE 638349.731
AT ITER 4138 NEW BEST:: SOT 4413221 SOS 730570 HAS SOPS 730570 HAS SOUS 637619 HAS SOUPS 637619 WITH SCORE 638349.57
AT ITER 4144 NEW BEST:: SOT 4413020 SOS 730558 HAS SOPS 730558 HAS SOUS 637607 HAS SOUPS 637607 WITH SCORE 638337.558
AT ITER 4154 NEW BEST:: SOT 4412942 SOS 730402 HAS SOPS 730402 HAS SOUS 637451 HAS SOUPS 637451 WITH SCORE 638181.402
AT ITER 4156 NEW BEST:: SOT 4412967 SOS 730391 HAS SOPS 730391 HAS SOUS 637440 HAS SOUPS 637440 WITH SCORE 638170.391
AT ITER 4171 NEW BEST:: SOT 4412876 SOS 730020 HAS SOPS 730020 HAS SOUS 637123 HAS SOUPS 637123 WITH SCORE 637853.02
AT ITER 4218 NEW BEST:: SOT 4412875 SOS 730005 HAS SOPS 730005 HAS SOUS 637121 HAS SOUPS 637121 WITH SCORE 637851.005
AT ITER 4232 NEW BEST:: SOT 4412613 SOS 729029 HAS SOPS 729029 HAS SOUS 636407 HAS SOUPS 636407 WITH SCORE 637136.029
AT ITER 4268 NEW BEST:: SOT 4412592 SOS 728987 HAS SOPS 728987 HAS SOUS 636333 HAS SOUPS 636333 WITH SCORE 637061.987
AT ITER 4270 NEW BEST:: SOT 4412476 SOS 728871 HAS SOPS 728871 HAS SOUS 636217 HAS SOUPS 636217 WITH SCORE 636945.871
AT ITER 4282 NEW BEST:: SOT 4412184 SOS 728287 HAS SOPS 728287 HAS SOUS 635633 HAS SOUPS 635633 WITH SCORE 636361.287
AT ITER 4359 NEW BEST:: SOT 4412220 SOS 728270 HAS SOPS 728270 HAS SOUS 635616 HAS SOUPS 635616 WITH SCORE 636344.27
AT ITER 4369 NEW BEST:: SOT 4411950 SOS 728015 HAS SOPS 728015 HAS SOUS 635361 HAS SOUPS 635361 WITH SCORE 636089.015
AT ITER 4382 NEW BEST:: SOT 4411927 SOS 727969 HAS SOPS 727969 HAS SOUS 635315 HAS SOUPS 635315 WITH SCORE 636042.969
AT ITER 4424 NEW BEST:: SOT 4411913 SOS 727954 HAS SOPS 727954 HAS SOUS 635300 HAS SOUPS 635300 WITH SCORE 636027.954
AT ITER 4426 NEW BEST:: SOT 4411851 SOS 727830 HAS SOPS 727830 HAS SOUS 635176 HAS SOUPS 635176 WITH SCORE 635903.83
AT ITER 4449 NEW BEST:: SOT 4411736 SOS 727528 HAS SOPS 727528 HAS SOUS 634925 HAS SOUPS 634925 WITH SCORE 635652.528
AT ITER 4450 NEW BEST:: SOT 4411553 SOS 727162 HAS SOPS 727162 HAS SOUS 634559 HAS SOUPS 634559 WITH SCORE 635286.162
AT ITER 4502 NEW BEST:: SOT 4411552 SOS 727160 HAS SOPS 727160 HAS SOUS 634558 HAS SOUPS 634558 WITH SCORE 635285.16
AT ITER 4513 NEW BEST:: SOT 4411552 SOS 727151 HAS SOPS 727151 HAS SOUS 634549 HAS SOUPS 634549 WITH SCORE 635276.151
AT ITER 4523 NEW BEST:: SOT 4411536 SOS 726937 HAS SOPS 726937 HAS SOUS 634351 HAS SOUPS 634351 WITH SCORE 635077.937
AT ITER 4557 NEW BEST:: SOT 4411368 SOS 726895 HAS SOPS 726895 HAS SOUS 634330 HAS SOUPS 634330 WITH SCORE 635056.895
AT ITER 4565 NEW BEST:: SOT 4411501 SOS 726880 HAS SOPS 726880 HAS SOUS 634315 HAS SOUPS 634315 WITH SCORE 635041.88
AT ITER 4569 NEW BEST:: SOT 4411607 SOS 726676 HAS SOPS 726676 HAS SOUS 634005 HAS SOUPS 634005 WITH SCORE 634731.676
AT ITER 4570 NEW BEST:: SOT 4411538 SOS 726538 HAS SOPS 726538 HAS SOUS 633867 HAS SOUPS 633867 WITH SCORE 634593.538
AT ITER 4585 NEW BEST:: SOT 4411487 SOS 726488 HAS SOPS 726488 HAS SOUS 633816 HAS SOUPS 633816 WITH SCORE 634542.488
AT ITER 4665 NEW BEST:: SOT 4411501 SOS 726516 HAS SOPS 726516 HAS SOUS 633660 HAS SOUPS 633660 WITH SCORE 634386.516
AT ITER 4686 NEW BEST:: SOT 4410816 SOS 726746 HAS SOPS 726746 HAS SOUS 632851 HAS SOUPS 632851 WITH SCORE 633577.746
AT ITER 4688 NEW BEST:: SOT 4410669 SOS 726599 HAS SOPS 726599 HAS SOUS 632557 HAS SOUPS 632557 WITH SCORE 633283.599
AT ITER 4719 NEW BEST:: SOT 4410668 SOS 726597 HAS SOPS 726597 HAS SOUS 632555 HAS SOUPS 632555 WITH SCORE 633281.597
AT ITER 4749 NEW BEST:: SOT 4410868 SOS 726544 HAS SOPS 726544 HAS SOUS 632541 HAS SOUPS 632541 WITH SCORE 633267.544
AT ITER 4750 NEW BEST:: SOT 4410713 SOS 726234 HAS SOPS 726234 HAS SOUS 632410 HAS SOUPS 632410 WITH SCORE 633136.234
AT ITER 4757 NEW BEST:: SOT 4410545 SOS 725898 HAS SOPS 725898 HAS SOUS 632074 HAS SOUPS 632074 WITH SCORE 632799.898
AT ITER 4763 NEW BEST:: SOT 4410545 SOS 725843 HAS SOPS 725843 HAS SOUS 632074 HAS SOUPS 632074 WITH SCORE 632799.843
AT ITER 4764 NEW BEST:: SOT 4410466 SOS 725685 HAS SOPS 725685 HAS SOUS 631916 HAS SOUPS 631916 WITH SCORE 632641.685
AT ITER 4775 NEW BEST:: SOT 4410426 SOS 725795 HAS SOPS 725795 HAS SOUS 631876 HAS SOUPS 631876 WITH SCORE 632601.795
AT ITER 4777 NEW BEST:: SOT 4410426 SOS 725709 HAS SOPS 725709 HAS SOUS 631876 HAS SOUPS 631876 WITH SCORE 632601.709
AT ITER 4792 NEW BEST:: SOT 4410231 SOS 725514 HAS SOPS 725514 HAS SOUS 631681 HAS SOUPS 631681 WITH SCORE 632406.514
AT ITER 4822 NEW BEST:: SOT 4410224 SOS 725500 HAS SOPS 725500 HAS SOUS 631667 HAS SOUPS 631667 WITH SCORE 632392.5
AT ITER 4848 NEW BEST:: SOT 4410102 SOS 725168 HAS SOPS 725168 HAS SOUS 631335 HAS SOUPS 631335 WITH SCORE 632060.168
AT ITER 4854 NEW BEST:: SOT 4409914 SOS 724980 HAS SOPS 724980 HAS SOUS 631147 HAS SOUPS 631147 WITH SCORE 631871.98
AT ITER 4885 NEW BEST:: SOT 4409692 SOS 724536 HAS SOPS 724536 HAS SOUS 630703 HAS SOUPS 630703 WITH SCORE 631427.536
AT ITER 4901 NEW BEST:: SOT 4409671 SOS 724494 HAS SOPS 724494 HAS SOUS 630661 HAS SOUPS 630661 WITH SCORE 631385.494
AT ITER 4930 NEW BEST:: SOT 4409940 SOS 724226 HAS SOPS 724226 HAS SOUS 630560 HAS SOUPS 630560 WITH SCORE 631284.226
AT ITER 4934 NEW BEST:: SOT 4409915 SOS 724201 HAS SOPS 724201 HAS SOUS 630535 HAS SOUPS 630535 WITH SCORE 631259.201
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-313-CTLCardinality-00 ( ( (AG( potential( (tk(P1814)) <= (tk(P2445)) ))) & ( potential( (tk(P1983)) <= (tk(P1795)) ) | (! ( potential( ( 2 ) <= (tk(P922)) ) | potential( (tk(P2113)) <= (tk(P1337)) ) )) ) ) | potential( ( 1 ) <= (tk(P336)) ) )
PROPERTY: CloudReconfiguration-PT-313-CTLCardinality-01 (EU( (EX( potential( (tk(P497)) <= (tk(P966)) ))),(EG( potential( (tk(P237)) <= (tk(P734)) ))) ))
PROPERTY: CloudReconfiguration-PT-313-CTLCardinality-02 (EG( ( (AX( potential( (tk(P2323)) <= (tk(P1766)) ))) | potential( ( 3 ) <= (tk(P14)) ) )))
PROPERTY: CloudReconfiguration-PT-313-CTLCardinality-03 (EX( (EF(potential( ( 3 ) <= (tk(P2378)) )))))
PROPERTY: CloudReconfiguration-PT-313-CTLCardinality-04 (AF((EG( ( potential( ( 1 ) <= (tk(P1507)) ) & potential( (tk(P242)) <= (tk(P1414)) ) )))))
PROPERTY: CloudReconfiguration-PT-313-CTLCardinality-05 (! (AF(( ( potential( (tk(P808)) <= (tk(P483)) ) & potential( ( 2 ) <= (tk(P1634)) ) ) | ( potential( ( 3 ) <= (tk(P2013)) ) & potential( (tk(P2230)) <= (tk(P1041)) ) ) ))))
PROPERTY: CloudReconfiguration-PT-313-CTLCardinality-06 (AU( (EX( potential( (tk(P615)) <= (tk(P2106)) ))),(EG( potential( ( 1 ) <= (tk(P1816)) ))) ))
PROPERTY: CloudReconfiguration-PT-313-CTLCardinality-07 (AG( (EU( potential( ( 1 ) <= (tk(P141)) ),potential( (tk(P2095)) <= (tk(P1709)) ) ))))
PROPERTY: CloudReconfiguration-PT-313-CTLCardinality-08 (EU( (! potential( (tk(P816)) <= (tk(P1185)) )),(AF(potential( ( 1 ) <= (tk(P963)) ))) ))
PROPERTY: CloudReconfiguration-PT-313-CTLCardinality-09 (EF(potential( ( 1 ) <= (tk(P1774)) )))
PROPERTY: CloudReconfiguration-PT-313-CTLCardinality-10 (AX( (EG( potential( (tk(P504)) <= (tk(P2176)) )))))
PROPERTY: CloudReconfiguration-PT-313-CTLCardinality-11 (! (! (AU( potential( (tk(P1794)) <= (tk(P2186)) ),potential( ( 2 ) <= (tk(P1876)) ) ))))
PROPERTY: CloudReconfiguration-PT-313-CTLCardinality-12 (! (EF(potential( ( 2 ) <= (tk(P1286)) ))))
PROPERTY: CloudReconfiguration-PT-313-CTLCardinality-13 (! ( (! (EF(potential( ( 1 ) <= (tk(P1484)) )))) | (AG( ( potential( (tk(P1649)) <= (tk(P845)) ) & potential( ( 2 ) <= (tk(P157)) ) ))) ))
PROPERTY: CloudReconfiguration-PT-313-CTLCardinality-14 (AU( (! potential( (tk(P1774)) <= (tk(P1791)) )),(EG( potential( (tk(P2175)) <= (tk(P1379)) ))) ))
PROPERTY: CloudReconfiguration-PT-313-CTLCardinality-15 (AF((AU( potential( ( 2 ) <= (tk(P2465)) ),potential( ( 1 ) <= (tk(P1035)) ) ))))

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="CloudReconfiguration-PT-313"
export BK_EXAMINATION="CTLCardinality"
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 CloudReconfiguration-PT-313, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902541700099"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-313.tgz
mv CloudReconfiguration-PT-313 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;