Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538400147.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is SmartHome-PT-19, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538400147
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 360K
-rw-r--r-- 1 mcc users 4.0K May 14 03:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 03:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 21:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 21:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 10:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 10:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 181K May 12 20:42 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 SmartHome-PT-19-CTLCardinality-00
FORMULA_NAME SmartHome-PT-19-CTLCardinality-01
FORMULA_NAME SmartHome-PT-19-CTLCardinality-02
FORMULA_NAME SmartHome-PT-19-CTLCardinality-03
FORMULA_NAME SmartHome-PT-19-CTLCardinality-04
FORMULA_NAME SmartHome-PT-19-CTLCardinality-05
FORMULA_NAME SmartHome-PT-19-CTLCardinality-06
FORMULA_NAME SmartHome-PT-19-CTLCardinality-07
FORMULA_NAME SmartHome-PT-19-CTLCardinality-08
FORMULA_NAME SmartHome-PT-19-CTLCardinality-09
FORMULA_NAME SmartHome-PT-19-CTLCardinality-10
FORMULA_NAME SmartHome-PT-19-CTLCardinality-11
FORMULA_NAME SmartHome-PT-19-CTLCardinality-12
FORMULA_NAME SmartHome-PT-19-CTLCardinality-13
FORMULA_NAME SmartHome-PT-19-CTLCardinality-14
FORMULA_NAME SmartHome-PT-19-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590469811471

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 19
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: 741 places, 809 transitions, 1844 arcs.
AT ITER 0 NEW BEST:: SOT 353547 SOS 78692 HAS SOPS 78692 HAS SOUS 77052 HAS SOUPS 77052 WITH SCORE 77130.692
AT ITER 3 NEW BEST:: SOT 353595 SOS 78732 HAS SOPS 78732 HAS SOUS 76978 HAS SOUPS 76978 WITH SCORE 77056.732
AT ITER 11 NEW BEST:: SOT 351008 SOS 77486 HAS SOPS 77486 HAS SOUS 74574 HAS SOUPS 74574 WITH SCORE 74651.486
AT ITER 22 NEW BEST:: SOT 350995 SOS 77473 HAS SOPS 77473 HAS SOUS 74561 HAS SOUPS 74561 WITH SCORE 74638.473
AT ITER 37 NEW BEST:: SOT 351003 SOS 77451 HAS SOPS 77451 HAS SOUS 74537 HAS SOUPS 74537 WITH SCORE 74614.451
AT ITER 48 NEW BEST:: SOT 350112 SOS 78781 HAS SOPS 78781 HAS SOUS 74028 HAS SOUPS 74028 WITH SCORE 74106.781
AT ITER 60 NEW BEST:: SOT 350112 SOS 78757 HAS SOPS 78757 HAS SOUS 74004 HAS SOUPS 74004 WITH SCORE 74082.757
AT ITER 67 NEW BEST:: SOT 350026 SOS 78521 HAS SOPS 78521 HAS SOUS 73827 HAS SOUPS 73827 WITH SCORE 73905.521
AT ITER 73 NEW BEST:: SOT 350026 SOS 78518 HAS SOPS 78518 HAS SOUS 73824 HAS SOUPS 73824 WITH SCORE 73902.518
AT ITER 75 NEW BEST:: SOT 349935 SOS 78506 HAS SOPS 78506 HAS SOUS 73812 HAS SOUPS 73812 WITH SCORE 73890.506
AT ITER 76 NEW BEST:: SOT 349937 SOS 78480 HAS SOPS 78480 HAS SOUS 73786 HAS SOUPS 73786 WITH SCORE 73864.48
AT ITER 85 NEW BEST:: SOT 349691 SOS 78111 HAS SOPS 78111 HAS SOUS 73417 HAS SOUPS 73417 WITH SCORE 73495.111
AT ITER 86 NEW BEST:: SOT 349650 SOS 78025 HAS SOPS 78025 HAS SOUS 73290 HAS SOUPS 73290 WITH SCORE 73368.025
AT ITER 102 NEW BEST:: SOT 349388 SOS 78833 HAS SOPS 78833 HAS SOUS 73139 HAS SOUPS 73139 WITH SCORE 73217.833
AT ITER 109 NEW BEST:: SOT 349238 SOS 78839 HAS SOPS 78839 HAS SOUS 72989 HAS SOUPS 72989 WITH SCORE 73067.839
AT ITER 114 NEW BEST:: SOT 349230 SOS 78833 HAS SOPS 78833 HAS SOUS 72946 HAS SOUPS 72946 WITH SCORE 73024.833
AT ITER 121 NEW BEST:: SOT 349159 SOS 78765 HAS SOPS 78765 HAS SOUS 72833 HAS SOUPS 72833 WITH SCORE 72911.765
AT ITER 128 NEW BEST:: SOT 348969 SOS 78613 HAS SOPS 78613 HAS SOUS 72643 HAS SOUPS 72643 WITH SCORE 72721.613
AT ITER 132 NEW BEST:: SOT 348972 SOS 78547 HAS SOPS 78547 HAS SOUS 72577 HAS SOUPS 72577 WITH SCORE 72655.547
AT ITER 136 NEW BEST:: SOT 348925 SOS 78453 HAS SOPS 78453 HAS SOUS 72530 HAS SOUPS 72530 WITH SCORE 72608.453
AT ITER 144 NEW BEST:: SOT 348700 SOS 78126 HAS SOPS 78126 HAS SOUS 72188 HAS SOUPS 72188 WITH SCORE 72266.126
AT ITER 150 NEW BEST:: SOT 348692 SOS 78290 HAS SOPS 78290 HAS SOUS 72180 HAS SOUPS 72180 WITH SCORE 72258.29
AT ITER 165 NEW BEST:: SOT 348692 SOS 78282 HAS SOPS 78282 HAS SOUS 72172 HAS SOUPS 72172 WITH SCORE 72250.282
AT ITER 169 NEW BEST:: SOT 348728 SOS 78334 HAS SOPS 78334 HAS SOUS 72152 HAS SOUPS 72152 WITH SCORE 72230.334
AT ITER 182 NEW BEST:: SOT 348686 SOS 78250 HAS SOPS 78250 HAS SOUS 72109 HAS SOUPS 72109 WITH SCORE 72187.25
AT ITER 198 NEW BEST:: SOT 348590 SOS 78154 HAS SOPS 78154 HAS SOUS 72109 HAS SOUPS 72109 WITH SCORE 72187.154
AT ITER 199 NEW BEST:: SOT 348623 SOS 78151 HAS SOPS 78151 HAS SOUS 72095 HAS SOUPS 72095 WITH SCORE 72173.151
AT ITER 207 NEW BEST:: SOT 348563 SOS 78091 HAS SOPS 78091 HAS SOUS 72035 HAS SOUPS 72035 WITH SCORE 72113.091
AT ITER 239 NEW BEST:: SOT 348563 SOS 78057 HAS SOPS 78057 HAS SOUS 72001 HAS SOUPS 72001 WITH SCORE 72079.057
AT ITER 246 NEW BEST:: SOT 347164 SOS 83069 HAS SOPS 83069 HAS SOUS 71305 HAS SOUPS 71305 WITH SCORE 71388.069
AT ITER 251 NEW BEST:: SOT 347145 SOS 83031 HAS SOPS 83031 HAS SOUS 71231 HAS SOUPS 71231 WITH SCORE 71314.031
AT ITER 279 NEW BEST:: SOT 347170 SOS 82898 HAS SOPS 82898 HAS SOUS 71178 HAS SOUPS 71178 WITH SCORE 71260.898
AT ITER 285 NEW BEST:: SOT 346677 SOS 82728 HAS SOPS 82728 HAS SOUS 70753 HAS SOUPS 70753 WITH SCORE 70835.728
AT ITER 296 NEW BEST:: SOT 346676 SOS 82888 HAS SOPS 82888 HAS SOUS 70752 HAS SOUPS 70752 WITH SCORE 70834.888
AT ITER 298 NEW BEST:: SOT 346676 SOS 82826 HAS SOPS 82826 HAS SOUS 70690 HAS SOUPS 70690 WITH SCORE 70772.826
AT ITER 306 NEW BEST:: SOT 346676 SOS 82802 HAS SOPS 82802 HAS SOUS 70690 HAS SOUPS 70690 WITH SCORE 70772.802
AT ITER 315 NEW BEST:: SOT 346105 SOS 82828 HAS SOPS 82828 HAS SOUS 70213 HAS SOUPS 70213 WITH SCORE 70295.828
AT ITER 328 NEW BEST:: SOT 345842 SOS 82624 HAS SOPS 82624 HAS SOUS 69938 HAS SOUPS 69938 WITH SCORE 70020.624
AT ITER 338 NEW BEST:: SOT 345830 SOS 82612 HAS SOPS 82612 HAS SOUS 69926 HAS SOUPS 69926 WITH SCORE 70008.612
AT ITER 355 NEW BEST:: SOT 345598 SOS 82148 HAS SOPS 82148 HAS SOUS 69864 HAS SOUPS 69864 WITH SCORE 69946.148
AT ITER 369 NEW BEST:: SOT 345596 SOS 82146 HAS SOPS 82146 HAS SOUS 69862 HAS SOUPS 69862 WITH SCORE 69944.146
AT ITER 374 NEW BEST:: SOT 345517 SOS 82099 HAS SOPS 82099 HAS SOUS 69801 HAS SOUPS 69801 WITH SCORE 69883.099
AT ITER 380 NEW BEST:: SOT 345405 SOS 81875 HAS SOPS 81875 HAS SOUS 69744 HAS SOUPS 69744 WITH SCORE 69825.875
AT ITER 389 NEW BEST:: SOT 345398 SOS 81861 HAS SOPS 81861 HAS SOUS 69737 HAS SOUPS 69737 WITH SCORE 69818.861
AT ITER 421 NEW BEST:: SOT 344577 SOS 85563 HAS SOPS 85563 HAS SOUS 69339 HAS SOUPS 69339 WITH SCORE 69424.563
AT ITER 427 NEW BEST:: SOT 344568 SOS 85545 HAS SOPS 85545 HAS SOUS 69321 HAS SOUPS 69321 WITH SCORE 69406.545
AT ITER 434 NEW BEST:: SOT 344042 SOS 86087 HAS SOPS 86087 HAS SOUS 68917 HAS SOUPS 68917 WITH SCORE 69003.087
AT ITER 443 NEW BEST:: SOT 344028 SOS 86059 HAS SOPS 86059 HAS SOUS 68903 HAS SOUPS 68903 WITH SCORE 68989.059
AT ITER 465 NEW BEST:: SOT 344103 SOS 86048 HAS SOPS 86048 HAS SOUS 68892 HAS SOUPS 68892 WITH SCORE 68978.048
AT ITER 471 NEW BEST:: SOT 344102 SOS 86047 HAS SOPS 86047 HAS SOUS 68891 HAS SOUPS 68891 WITH SCORE 68977.047
AT ITER 487 NEW BEST:: SOT 343968 SOS 85846 HAS SOPS 85846 HAS SOUS 68823 HAS SOUPS 68823 WITH SCORE 68908.846
AT ITER 491 NEW BEST:: SOT 343095 SOS 87238 HAS SOPS 87238 HAS SOUS 68190 HAS SOUPS 68190 WITH SCORE 68277.238
AT ITER 495 NEW BEST:: SOT 342930 SOS 86979 HAS SOPS 86979 HAS SOUS 67931 HAS SOUPS 67931 WITH SCORE 68017.979
AT ITER 498 NEW BEST:: SOT 342810 SOS 86739 HAS SOPS 86739 HAS SOUS 67718 HAS SOUPS 67718 WITH SCORE 67804.739
AT ITER 499 NEW BEST:: SOT 342866 SOS 86571 HAS SOPS 86571 HAS SOUS 67550 HAS SOUPS 67550 WITH SCORE 67636.571
AT ITER 508 NEW BEST:: SOT 342859 SOS 86557 HAS SOPS 86557 HAS SOUS 67536 HAS SOUPS 67536 WITH SCORE 67622.557
AT ITER 514 NEW BEST:: SOT 342855 SOS 86549 HAS SOPS 86549 HAS SOUS 67530 HAS SOUPS 67530 WITH SCORE 67616.549
AT ITER 533 NEW BEST:: SOT 342855 SOS 86499 HAS SOPS 86499 HAS SOUS 67480 HAS SOUPS 67480 WITH SCORE 67566.499
AT ITER 547 NEW BEST:: SOT 342793 SOS 86437 HAS SOPS 86437 HAS SOUS 67418 HAS SOUPS 67418 WITH SCORE 67504.437
AT ITER 554 NEW BEST:: SOT 342629 SOS 86191 HAS SOPS 86191 HAS SOUS 67247 HAS SOUPS 67247 WITH SCORE 67333.191
AT ITER 559 NEW BEST:: SOT 342627 SOS 86059 HAS SOPS 86059 HAS SOUS 67191 HAS SOUPS 67191 WITH SCORE 67277.059
AT ITER 561 NEW BEST:: SOT 342504 SOS 85690 HAS SOPS 85690 HAS SOUS 66945 HAS SOUPS 66945 WITH SCORE 67030.69
AT ITER 568 NEW BEST:: SOT 342504 SOS 85669 HAS SOPS 85669 HAS SOUS 66924 HAS SOUPS 66924 WITH SCORE 67009.669
AT ITER 580 NEW BEST:: SOT 342500 SOS 85661 HAS SOPS 85661 HAS SOUS 66916 HAS SOUPS 66916 WITH SCORE 67001.661
AT ITER 585 NEW BEST:: SOT 342411 SOS 85483 HAS SOPS 85483 HAS SOUS 66827 HAS SOUPS 66827 WITH SCORE 66912.483
AT ITER 591 NEW BEST:: SOT 342612 SOS 85504 HAS SOPS 85504 HAS SOUS 66803 HAS SOUPS 66803 WITH SCORE 66888.504
AT ITER 592 NEW BEST:: SOT 342612 SOS 85410 HAS SOPS 85410 HAS SOUS 66709 HAS SOUPS 66709 WITH SCORE 66794.41
AT ITER 607 NEW BEST:: SOT 342612 SOS 85264 HAS SOPS 85264 HAS SOUS 66709 HAS SOUPS 66709 WITH SCORE 66794.264
AT ITER 609 NEW BEST:: SOT 342235 SOS 84945 HAS SOPS 84945 HAS SOUS 66332 HAS SOUPS 66332 WITH SCORE 66416.945
AT ITER 616 NEW BEST:: SOT 342126 SOS 84938 HAS SOPS 84938 HAS SOUS 66325 HAS SOUPS 66325 WITH SCORE 66409.938
AT ITER 626 NEW BEST:: SOT 342126 SOS 84908 HAS SOPS 84908 HAS SOUS 66315 HAS SOUPS 66315 WITH SCORE 66399.908
AT ITER 630 NEW BEST:: SOT 341716 SOS 86726 HAS SOPS 86726 HAS SOUS 66270 HAS SOUPS 66270 WITH SCORE 66356.726
AT ITER 645 NEW BEST:: SOT 341716 SOS 86705 HAS SOPS 86705 HAS SOUS 66249 HAS SOUPS 66249 WITH SCORE 66335.705
AT ITER 654 NEW BEST:: SOT 341713 SOS 86702 HAS SOPS 86702 HAS SOUS 66246 HAS SOUPS 66246 WITH SCORE 66332.702
AT ITER 678 NEW BEST:: SOT 341666 SOS 86666 HAS SOPS 86666 HAS SOUS 66199 HAS SOUPS 66199 WITH SCORE 66285.666
AT ITER 700 NEW BEST:: SOT 341626 SOS 86586 HAS SOPS 86586 HAS SOUS 66159 HAS SOUPS 66159 WITH SCORE 66245.586
AT ITER 702 NEW BEST:: SOT 341563 SOS 86585 HAS SOPS 86585 HAS SOUS 66152 HAS SOUPS 66152 WITH SCORE 66238.585
AT ITER 705 NEW BEST:: SOT 341563 SOS 86460 HAS SOPS 86460 HAS SOUS 66152 HAS SOUPS 66152 WITH SCORE 66238.46
AT ITER 708 NEW BEST:: SOT 341641 SOS 86454 HAS SOPS 86454 HAS SOUS 66140 HAS SOUPS 66140 WITH SCORE 66226.454
AT ITER 720 NEW BEST:: SOT 341577 SOS 86326 HAS SOPS 86326 HAS SOUS 66076 HAS SOUPS 66076 WITH SCORE 66162.326
AT ITER 722 NEW BEST:: SOT 341577 SOS 86324 HAS SOPS 86324 HAS SOUS 66076 HAS SOUPS 66076 WITH SCORE 66162.324
AT ITER 726 NEW BEST:: SOT 341507 SOS 86183 HAS SOPS 86183 HAS SOUS 65926 HAS SOUPS 65926 WITH SCORE 66012.183
AT ITER 731 NEW BEST:: SOT 341564 SOS 86033 HAS SOPS 86033 HAS SOUS 65851 HAS SOUPS 65851 WITH SCORE 65937.033
AT ITER 737 NEW BEST:: SOT 341564 SOS 85912 HAS SOPS 85912 HAS SOUS 65823 HAS SOUPS 65823 WITH SCORE 65908.912
AT ITER 740 NEW BEST:: SOT 341453 SOS 85918 HAS SOPS 85918 HAS SOUS 65808 HAS SOUPS 65808 WITH SCORE 65893.918
AT ITER 747 NEW BEST:: SOT 341438 SOS 85873 HAS SOPS 85873 HAS SOUS 65778 HAS SOUPS 65778 WITH SCORE 65863.873
AT ITER 759 NEW BEST:: SOT 341438 SOS 85834 HAS SOPS 85834 HAS SOUS 65739 HAS SOUPS 65739 WITH SCORE 65824.834
AT ITER 764 NEW BEST:: SOT 341335 SOS 85637 HAS SOPS 85637 HAS SOUS 65579 HAS SOUPS 65579 WITH SCORE 65664.637
AT ITER 780 NEW BEST:: SOT 341286 SOS 85539 HAS SOPS 85539 HAS SOUS 65530 HAS SOUPS 65530 WITH SCORE 65615.539
AT ITER 804 NEW BEST:: SOT 341225 SOS 85417 HAS SOPS 85417 HAS SOUS 65408 HAS SOUPS 65408 WITH SCORE 65493.417
AT ITER 805 NEW BEST:: SOT 341189 SOS 85345 HAS SOPS 85345 HAS SOUS 65336 HAS SOUPS 65336 WITH SCORE 65421.345
AT ITER 830 NEW BEST:: SOT 341163 SOS 85325 HAS SOPS 85325 HAS SOUS 65316 HAS SOUPS 65316 WITH SCORE 65401.325
AT ITER 835 NEW BEST:: SOT 341104 SOS 85207 HAS SOPS 85207 HAS SOUS 65198 HAS SOUPS 65198 WITH SCORE 65283.207
AT ITER 839 NEW BEST:: SOT 341104 SOS 85118 HAS SOPS 85118 HAS SOUS 65109 HAS SOUPS 65109 WITH SCORE 65194.118
AT ITER 843 NEW BEST:: SOT 341104 SOS 85033 HAS SOPS 85033 HAS SOUS 65024 HAS SOUPS 65024 WITH SCORE 65109.033
AT ITER 845 NEW BEST:: SOT 341097 SOS 85026 HAS SOPS 85026 HAS SOUS 65017 HAS SOUPS 65017 WITH SCORE 65102.026
AT ITER 851 NEW BEST:: SOT 340918 SOS 84668 HAS SOPS 84668 HAS SOUS 64859 HAS SOUPS 64859 WITH SCORE 64943.668
AT ITER 860 NEW BEST:: SOT 340916 SOS 84666 HAS SOPS 84666 HAS SOUS 64857 HAS SOUPS 64857 WITH SCORE 64941.666
AT ITER 865 NEW BEST:: SOT 340916 SOS 84660 HAS SOPS 84660 HAS SOUS 64851 HAS SOUPS 64851 WITH SCORE 64935.66
AT ITER 874 NEW BEST:: SOT 340862 SOS 84552 HAS SOPS 84552 HAS SOUS 64770 HAS SOUPS 64770 WITH SCORE 64854.552
AT ITER 882 NEW BEST:: SOT 340862 SOS 84552 HAS SOPS 84552 HAS SOUS 64769 HAS SOUPS 64769 WITH SCORE 64853.552
AT ITER 900 NEW BEST:: SOT 340770 SOS 84479 HAS SOPS 84479 HAS SOUS 64706 HAS SOUPS 64706 WITH SCORE 64790.479
AT ITER 923 NEW BEST:: SOT 340733 SOS 84405 HAS SOPS 84405 HAS SOUS 64594 HAS SOUPS 64594 WITH SCORE 64678.405
AT ITER 938 NEW BEST:: SOT 340728 SOS 84386 HAS SOPS 84386 HAS SOUS 64580 HAS SOUPS 64580 WITH SCORE 64664.386
AT ITER 940 NEW BEST:: SOT 340649 SOS 84228 HAS SOPS 84228 HAS SOUS 64422 HAS SOUPS 64422 WITH SCORE 64506.228
AT ITER 949 NEW BEST:: SOT 340607 SOS 84207 HAS SOPS 84207 HAS SOUS 64401 HAS SOUPS 64401 WITH SCORE 64485.207
AT ITER 955 NEW BEST:: SOT 340607 SOS 84195 HAS SOPS 84195 HAS SOUS 64389 HAS SOUPS 64389 WITH SCORE 64473.195
AT ITER 974 NEW BEST:: SOT 340824 SOS 84123 HAS SOPS 84123 HAS SOUS 64261 HAS SOUPS 64261 WITH SCORE 64345.123
AT ITER 977 NEW BEST:: SOT 340824 SOS 84077 HAS SOPS 84077 HAS SOUS 64215 HAS SOUPS 64215 WITH SCORE 64299.077
AT ITER 991 NEW BEST:: SOT 340789 SOS 84007 HAS SOPS 84007 HAS SOUS 64180 HAS SOUPS 64180 WITH SCORE 64264.007
AT ITER 1024 NEW BEST:: SOT 340789 SOS 83920 HAS SOPS 83920 HAS SOUS 64157 HAS SOUPS 64157 WITH SCORE 64240.92
AT ITER 1030 NEW BEST:: SOT 340860 SOS 83864 HAS SOPS 83864 HAS SOUS 64109 HAS SOUPS 64109 WITH SCORE 64192.864
AT ITER 1031 NEW BEST:: SOT 340860 SOS 83838 HAS SOPS 83838 HAS SOUS 64083 HAS SOUPS 64083 WITH SCORE 64166.838
AT ITER 1082 NEW BEST:: SOT 340870 SOS 83807 HAS SOPS 83807 HAS SOUS 64052 HAS SOUPS 64052 WITH SCORE 64135.807
AT ITER 1084 NEW BEST:: SOT 340864 SOS 83795 HAS SOPS 83795 HAS SOUS 64040 HAS SOUPS 64040 WITH SCORE 64123.795
AT ITER 1098 NEW BEST:: SOT 340713 SOS 83644 HAS SOPS 83644 HAS SOUS 64040 HAS SOUPS 64040 WITH SCORE 64123.644
AT ITER 1104 NEW BEST:: SOT 340592 SOS 83523 HAS SOPS 83523 HAS SOUS 64040 HAS SOUPS 64040 WITH SCORE 64123.523
AT ITER 1105 NEW BEST:: SOT 340570 SOS 83479 HAS SOPS 83479 HAS SOUS 64018 HAS SOUPS 64018 WITH SCORE 64101.479
AT ITER 1106 NEW BEST:: SOT 340563 SOS 83472 HAS SOPS 83472 HAS SOUS 64011 HAS SOUPS 64011 WITH SCORE 64094.472
AT ITER 1108 NEW BEST:: SOT 340584 SOS 83451 HAS SOPS 83451 HAS SOUS 63990 HAS SOUPS 63990 WITH SCORE 64073.451
AT ITER 1119 NEW BEST:: SOT 340559 SOS 83448 HAS SOPS 83448 HAS SOUS 63940 HAS SOUPS 63940 WITH SCORE 64023.448
AT ITER 1133 NEW BEST:: SOT 340583 SOS 83436 HAS SOPS 83436 HAS SOUS 63923 HAS SOUPS 63923 WITH SCORE 64006.436
AT ITER 1164 NEW BEST:: SOT 340594 SOS 83378 HAS SOPS 83378 HAS SOUS 63865 HAS SOUPS 63865 WITH SCORE 63948.378
AT ITER 1169 NEW BEST:: SOT 340534 SOS 83342 HAS SOPS 83342 HAS SOUS 63805 HAS SOUPS 63805 WITH SCORE 63888.342
AT ITER 1183 NEW BEST:: SOT 340532 SOS 83340 HAS SOPS 83340 HAS SOUS 63805 HAS SOUPS 63805 WITH SCORE 63888.34
AT ITER 1187 NEW BEST:: SOT 340201 SOS 83680 HAS SOPS 83680 HAS SOUS 63536 HAS SOUPS 63536 WITH SCORE 63619.68
AT ITER 1188 NEW BEST:: SOT 339632 SOS 83270 HAS SOPS 83270 HAS SOUS 63041 HAS SOUPS 63041 WITH SCORE 63124.27
AT ITER 1192 NEW BEST:: SOT 339388 SOS 82782 HAS SOPS 82782 HAS SOUS 62754 HAS SOUPS 62754 WITH SCORE 62836.782
AT ITER 1198 NEW BEST:: SOT 339425 SOS 82745 HAS SOPS 82745 HAS SOUS 62726 HAS SOUPS 62726 WITH SCORE 62808.745
AT ITER 1202 NEW BEST:: SOT 339425 SOS 82681 HAS SOPS 82681 HAS SOUS 62662 HAS SOUPS 62662 WITH SCORE 62744.681
AT ITER 1207 NEW BEST:: SOT 339404 SOS 82618 HAS SOPS 82618 HAS SOUS 62620 HAS SOUPS 62620 WITH SCORE 62702.618
AT ITER 1212 NEW BEST:: SOT 339404 SOS 82518 HAS SOPS 82518 HAS SOUS 62579 HAS SOUPS 62579 WITH SCORE 62661.518
AT ITER 1223 NEW BEST:: SOT 339348 SOS 82406 HAS SOPS 82406 HAS SOUS 62376 HAS SOUPS 62376 WITH SCORE 62458.406
AT ITER 1227 NEW BEST:: SOT 339348 SOS 82394 HAS SOPS 82394 HAS SOUS 62364 HAS SOUPS 62364 WITH SCORE 62446.394
AT ITER 1244 NEW BEST:: SOT 339166 SOS 82030 HAS SOPS 82030 HAS SOUS 62218 HAS SOUPS 62218 WITH SCORE 62300.03
AT ITER 1268 NEW BEST:: SOT 339144 SOS 81986 HAS SOPS 81986 HAS SOUS 62196 HAS SOUPS 62196 WITH SCORE 62277.986
AT ITER 1272 NEW BEST:: SOT 339110 SOS 81918 HAS SOPS 81918 HAS SOUS 62145 HAS SOUPS 62145 WITH SCORE 62226.918
AT ITER 1282 NEW BEST:: SOT 339108 SOS 81914 HAS SOPS 81914 HAS SOUS 62141 HAS SOUPS 62141 WITH SCORE 62222.914
AT ITER 1289 NEW BEST:: SOT 339102 SOS 81908 HAS SOPS 81908 HAS SOUS 62138 HAS SOUPS 62138 WITH SCORE 62219.908
AT ITER 1324 NEW BEST:: SOT 339079 SOS 81884 HAS SOPS 81884 HAS SOUS 62114 HAS SOUPS 62114 WITH SCORE 62195.884
AT ITER 1330 NEW BEST:: SOT 339058 SOS 81854 HAS SOPS 81854 HAS SOUS 62084 HAS SOUPS 62084 WITH SCORE 62165.854
AT ITER 1333 NEW BEST:: SOT 339032 SOS 81802 HAS SOPS 81802 HAS SOUS 62058 HAS SOUPS 62058 WITH SCORE 62139.802
AT ITER 1345 NEW BEST:: SOT 339001 SOS 81733 HAS SOPS 81733 HAS SOUS 61961 HAS SOUPS 61961 WITH SCORE 62042.733
AT ITER 1355 NEW BEST:: SOT 339001 SOS 81733 HAS SOPS 81733 HAS SOUS 61957 HAS SOUPS 61957 WITH SCORE 62038.733
AT ITER 1376 NEW BEST:: SOT 339001 SOS 81733 HAS SOPS 81733 HAS SOUS 61947 HAS SOUPS 61947 WITH SCORE 62028.733
AT ITER 1379 NEW BEST:: SOT 338954 SOS 81687 HAS SOPS 81687 HAS SOUS 61815 HAS SOUPS 61815 WITH SCORE 61896.687
AT ITER 1380 NEW BEST:: SOT 338993 SOS 81697 HAS SOPS 81697 HAS SOUS 61765 HAS SOUPS 61765 WITH SCORE 61846.697
AT ITER 1383 NEW BEST:: SOT 338993 SOS 81714 HAS SOPS 81714 HAS SOUS 61748 HAS SOUPS 61748 WITH SCORE 61829.714
AT ITER 1384 NEW BEST:: SOT 338934 SOS 81596 HAS SOPS 81596 HAS SOUS 61689 HAS SOUPS 61689 WITH SCORE 61770.596
AT ITER 1385 NEW BEST:: SOT 338934 SOS 81593 HAS SOPS 81593 HAS SOUS 61686 HAS SOUPS 61686 WITH SCORE 61767.593
AT ITER 1400 NEW BEST:: SOT 338934 SOS 81568 HAS SOPS 81568 HAS SOUS 61661 HAS SOUPS 61661 WITH SCORE 61742.568
AT ITER 1408 NEW BEST:: SOT 339090 SOS 81700 HAS SOPS 81700 HAS SOUS 61637 HAS SOUPS 61637 WITH SCORE 61718.7
AT ITER 1412 NEW BEST:: SOT 339083 SOS 81693 HAS SOPS 81693 HAS SOUS 61630 HAS SOUPS 61630 WITH SCORE 61711.693
AT ITER 1429 NEW BEST:: SOT 339003 SOS 81653 HAS SOPS 81653 HAS SOUS 61590 HAS SOUPS 61590 WITH SCORE 61671.653
AT ITER 1446 NEW BEST:: SOT 339003 SOS 81645 HAS SOPS 81645 HAS SOUS 61584 HAS SOUPS 61584 WITH SCORE 61665.645
AT ITER 1449 NEW BEST:: SOT 338980 SOS 81599 HAS SOPS 81599 HAS SOUS 61584 HAS SOUPS 61584 WITH SCORE 61665.599
AT ITER 1479 NEW BEST:: SOT 338964 SOS 81445 HAS SOPS 81445 HAS SOUS 61477 HAS SOUPS 61477 WITH SCORE 61558.445
AT ITER 1482 NEW BEST:: SOT 338964 SOS 81440 HAS SOPS 81440 HAS SOUS 61477 HAS SOUPS 61477 WITH SCORE 61558.44
AT ITER 1501 NEW BEST:: SOT 339025 SOS 81405 HAS SOPS 81405 HAS SOUS 61415 HAS SOUPS 61415 WITH SCORE 61496.405
AT ITER 1503 NEW BEST:: SOT 338982 SOS 81377 HAS SOPS 81377 HAS SOUS 61372 HAS SOUPS 61372 WITH SCORE 61453.377
AT ITER 1510 NEW BEST:: SOT 339014 SOS 81338 HAS SOPS 81338 HAS SOUS 61364 HAS SOUPS 61364 WITH SCORE 61445.338
AT ITER 1525 NEW BEST:: SOT 339019 SOS 80800 HAS SOPS 80800 HAS SOUS 61284 HAS SOUPS 61284 WITH SCORE 61364.8
AT ITER 1538 NEW BEST:: SOT 338970 SOS 80575 HAS SOPS 80575 HAS SOUS 61207 HAS SOUPS 61207 WITH SCORE 61287.575
AT ITER 1556 NEW BEST:: SOT 339005 SOS 80574 HAS SOPS 80574 HAS SOUS 61206 HAS SOUPS 61206 WITH SCORE 61286.574
AT ITER 1576 NEW BEST:: SOT 338950 SOS 80464 HAS SOPS 80464 HAS SOUS 61096 HAS SOUPS 61096 WITH SCORE 61176.464
AT ITER 1579 NEW BEST:: SOT 338728 SOS 79909 HAS SOPS 79909 HAS SOUS 60874 HAS SOUPS 60874 WITH SCORE 60953.909
AT ITER 1581 NEW BEST:: SOT 338683 SOS 79819 HAS SOPS 79819 HAS SOUS 60784 HAS SOUPS 60784 WITH SCORE 60863.819
AT ITER 1582 NEW BEST:: SOT 338564 SOS 79715 HAS SOPS 79715 HAS SOUS 60759 HAS SOUPS 60759 WITH SCORE 60838.715
AT ITER 1583 NEW BEST:: SOT 338516 SOS 79667 HAS SOPS 79667 HAS SOUS 60711 HAS SOUPS 60711 WITH SCORE 60790.667
AT ITER 1596 NEW BEST:: SOT 338496 SOS 79649 HAS SOPS 79649 HAS SOUS 60693 HAS SOUPS 60693 WITH SCORE 60772.649
AT ITER 1601 NEW BEST:: SOT 338508 SOS 79661 HAS SOPS 79661 HAS SOUS 60687 HAS SOUPS 60687 WITH SCORE 60766.661
AT ITER 1612 NEW BEST:: SOT 338477 SOS 79630 HAS SOPS 79630 HAS SOUS 60656 HAS SOUPS 60656 WITH SCORE 60735.63
AT ITER 1619 NEW BEST:: SOT 338477 SOS 79623 HAS SOPS 79623 HAS SOUS 60649 HAS SOUPS 60649 WITH SCORE 60728.623
AT ITER 1621 NEW BEST:: SOT 338304 SOS 79324 HAS SOPS 79324 HAS SOUS 60460 HAS SOUPS 60460 WITH SCORE 60539.324
AT ITER 1624 NEW BEST:: SOT 338268 SOS 79323 HAS SOPS 79323 HAS SOUS 60459 HAS SOUPS 60459 WITH SCORE 60538.323
AT ITER 1645 NEW BEST:: SOT 338268 SOS 79278 HAS SOPS 79278 HAS SOUS 60459 HAS SOUPS 60459 WITH SCORE 60538.278
AT ITER 1655 NEW BEST:: SOT 338268 SOS 79172 HAS SOPS 79172 HAS SOUS 60459 HAS SOUPS 60459 WITH SCORE 60538.172
AT ITER 1682 NEW BEST:: SOT 337173 SOS 79467 HAS SOPS 79467 HAS SOUS 59431 HAS SOUPS 59431 WITH SCORE 59510.467
AT ITER 1703 NEW BEST:: SOT 337293 SOS 79451 HAS SOPS 79451 HAS SOUS 59415 HAS SOUPS 59415 WITH SCORE 59494.451
AT ITER 1712 NEW BEST:: SOT 337238 SOS 79341 HAS SOPS 79341 HAS SOUS 59360 HAS SOUPS 59360 WITH SCORE 59439.341
AT ITER 1729 NEW BEST:: SOT 337119 SOS 79103 HAS SOPS 79103 HAS SOUS 58950 HAS SOUPS 58950 WITH SCORE 59029.103
AT ITER 1736 NEW BEST:: SOT 337099 SOS 79131 HAS SOPS 79131 HAS SOUS 58910 HAS SOUPS 58910 WITH SCORE 58989.131
AT ITER 1737 NEW BEST:: SOT 336805 SOS 79822 HAS SOPS 79822 HAS SOUS 58764 HAS SOUPS 58764 WITH SCORE 58843.822
AT ITER 1748 NEW BEST:: SOT 336968 SOS 79787 HAS SOPS 79787 HAS SOUS 58712 HAS SOUPS 58712 WITH SCORE 58791.787
AT ITER 1769 NEW BEST:: SOT 336947 SOS 79766 HAS SOPS 79766 HAS SOUS 58712 HAS SOUPS 58712 WITH SCORE 58791.766
AT ITER 1818 NEW BEST:: SOT 336931 SOS 79622 HAS SOPS 79622 HAS SOUS 58688 HAS SOUPS 58688 WITH SCORE 58767.622
AT ITER 1822 NEW BEST:: SOT 336909 SOS 79578 HAS SOPS 79578 HAS SOUS 58509 HAS SOUPS 58509 WITH SCORE 58588.578
AT ITER 1823 NEW BEST:: SOT 336909 SOS 79160 HAS SOPS 79160 HAS SOUS 58485 HAS SOUPS 58485 WITH SCORE 58564.16
AT ITER 1840 NEW BEST:: SOT 336903 SOS 79148 HAS SOPS 79148 HAS SOUS 58473 HAS SOUPS 58473 WITH SCORE 58552.148
AT ITER 1847 NEW BEST:: SOT 336899 SOS 79141 HAS SOPS 79141 HAS SOUS 58466 HAS SOUPS 58466 WITH SCORE 58545.141
AT ITER 1848 NEW BEST:: SOT 336888 SOS 79135 HAS SOPS 79135 HAS SOUS 58430 HAS SOUPS 58430 WITH SCORE 58509.135
AT ITER 1860 NEW BEST:: SOT 336878 SOS 79127 HAS SOPS 79127 HAS SOUS 58422 HAS SOUPS 58422 WITH SCORE 58501.127
AT ITER 1864 NEW BEST:: SOT 336717 SOS 78772 HAS SOPS 78772 HAS SOUS 58077 HAS SOUPS 58077 WITH SCORE 58155.772
AT ITER 1867 NEW BEST:: SOT 336467 SOS 78272 HAS SOPS 78272 HAS SOUS 57840 HAS SOUPS 57840 WITH SCORE 57918.272
AT ITER 1909 NEW BEST:: SOT 336467 SOS 78250 HAS SOPS 78250 HAS SOUS 57818 HAS SOUPS 57818 WITH SCORE 57896.25
AT ITER 1910 NEW BEST:: SOT 336466 SOS 78248 HAS SOPS 78248 HAS SOUS 57816 HAS SOUPS 57816 WITH SCORE 57894.248
AT ITER 1945 NEW BEST:: SOT 336466 SOS 78245 HAS SOPS 78245 HAS SOUS 57813 HAS SOUPS 57813 WITH SCORE 57891.245
AT ITER 1946 NEW BEST:: SOT 336372 SOS 78057 HAS SOPS 78057 HAS SOUS 57813 HAS SOUPS 57813 WITH SCORE 57891.057
AT ITER 1973 NEW BEST:: SOT 336370 SOS 78053 HAS SOPS 78053 HAS SOUS 57809 HAS SOUPS 57809 WITH SCORE 57887.053
AT ITER 1974 NEW BEST:: SOT 336306 SOS 77957 HAS SOPS 77957 HAS SOUS 57745 HAS SOUPS 57745 WITH SCORE 57822.957
AT ITER 1978 NEW BEST:: SOT 336224 SOS 77793 HAS SOPS 77793 HAS SOUS 57570 HAS SOUPS 57570 WITH SCORE 57647.793
AT ITER 1990 NEW BEST:: SOT 336200 SOS 77385 HAS SOPS 77385 HAS SOUS 57522 HAS SOUPS 57522 WITH SCORE 57599.385
AT ITER 2032 NEW BEST:: SOT 336200 SOS 77377 HAS SOPS 77377 HAS SOUS 57514 HAS SOUPS 57514 WITH SCORE 57591.377
AT ITER 2036 NEW BEST:: SOT 336187 SOS 77351 HAS SOPS 77351 HAS SOUS 57501 HAS SOUPS 57501 WITH SCORE 57578.351
AT ITER 2042 NEW BEST:: SOT 336131 SOS 77239 HAS SOPS 77239 HAS SOUS 57420 HAS SOUPS 57420 WITH SCORE 57497.239
AT ITER 2045 NEW BEST:: SOT 336079 SOS 77222 HAS SOPS 77222 HAS SOUS 57372 HAS SOUPS 57372 WITH SCORE 57449.222
AT ITER 2048 NEW BEST:: SOT 335961 SOS 77106 HAS SOPS 77106 HAS SOUS 57254 HAS SOUPS 57254 WITH SCORE 57331.106
AT ITER 2059 NEW BEST:: SOT 335961 SOS 77106 HAS SOPS 77106 HAS SOUS 57252 HAS SOUPS 57252 WITH SCORE 57329.106
AT ITER 2063 NEW BEST:: SOT 335941 SOS 77086 HAS SOPS 77086 HAS SOUS 57232 HAS SOUPS 57232 WITH SCORE 57309.086
AT ITER 2078 NEW BEST:: SOT 335901 SOS 77006 HAS SOPS 77006 HAS SOUS 57192 HAS SOUPS 57192 WITH SCORE 57269.006
AT ITER 2080 NEW BEST:: SOT 335918 SOS 77045 HAS SOPS 77045 HAS SOUS 57174 HAS SOUPS 57174 WITH SCORE 57251.045
AT ITER 2083 NEW BEST:: SOT 335903 SOS 77030 HAS SOPS 77030 HAS SOUS 57159 HAS SOUPS 57159 WITH SCORE 57236.03
AT ITER 2085 NEW BEST:: SOT 335925 SOS 76995 HAS SOPS 76995 HAS SOUS 57124 HAS SOUPS 57124 WITH SCORE 57200.995
AT ITER 2096 NEW BEST:: SOT 335894 SOS 76953 HAS SOPS 76953 HAS SOUS 57102 HAS SOUPS 57102 WITH SCORE 57178.953
AT ITER 2113 NEW BEST:: SOT 335894 SOS 76881 HAS SOPS 76881 HAS SOUS 57030 HAS SOUPS 57030 WITH SCORE 57106.881
AT ITER 2146 NEW BEST:: SOT 335794 SOS 77243 HAS SOPS 77243 HAS SOUS 57014 HAS SOUPS 57014 WITH SCORE 57091.243
AT ITER 2166 NEW BEST:: SOT 335794 SOS 77079 HAS SOPS 77079 HAS SOUS 57014 HAS SOUPS 57014 WITH SCORE 57091.079
AT ITER 2190 NEW BEST:: SOT 335732 SOS 76955 HAS SOPS 76955 HAS SOUS 57014 HAS SOUPS 57014 WITH SCORE 57090.955
AT ITER 2192 NEW BEST:: SOT 335699 SOS 76889 HAS SOPS 76889 HAS SOUS 56948 HAS SOUPS 56948 WITH SCORE 57024.889
AT ITER 2274 NEW BEST:: SOT 335699 SOS 76867 HAS SOPS 76867 HAS SOUS 56936 HAS SOUPS 56936 WITH SCORE 57012.867
AT ITER 2302 NEW BEST:: SOT 335658 SOS 76826 HAS SOPS 76826 HAS SOUS 56854 HAS SOUPS 56854 WITH SCORE 56930.826
AT ITER 2334 NEW BEST:: SOT 335658 SOS 76818 HAS SOPS 76818 HAS SOUS 56846 HAS SOUPS 56846 WITH SCORE 56922.818
AT ITER 2344 NEW BEST:: SOT 335626 SOS 76754 HAS SOPS 76754 HAS SOUS 56785 HAS SOUPS 56785 WITH SCORE 56861.754
AT ITER 2345 NEW BEST:: SOT 335551 SOS 76604 HAS SOPS 76604 HAS SOUS 56785 HAS SOUPS 56785 WITH SCORE 56861.604
AT ITER 2348 NEW BEST:: SOT 335590 SOS 76682 HAS SOPS 76682 HAS SOUS 56758 HAS SOUPS 56758 WITH SCORE 56834.682
AT ITER 2365 NEW BEST:: SOT 335587 SOS 76676 HAS SOPS 76676 HAS SOUS 56752 HAS SOUPS 56752 WITH SCORE 56828.676
AT ITER 2366 NEW BEST:: SOT 335587 SOS 76646 HAS SOPS 76646 HAS SOUS 56752 HAS SOUPS 56752 WITH SCORE 56828.646
AT ITER 2368 NEW BEST:: SOT 335559 SOS 76558 HAS SOPS 76558 HAS SOUS 56714 HAS SOUPS 56714 WITH SCORE 56790.558
AT ITER 2372 NEW BEST:: SOT 335507 SOS 76364 HAS SOPS 76364 HAS SOUS 56376 HAS SOUPS 56376 WITH SCORE 56452.364
AT ITER 2374 NEW BEST:: SOT 335429 SOS 76322 HAS SOPS 76322 HAS SOUS 56334 HAS SOUPS 56334 WITH SCORE 56410.322
AT ITER 2388 NEW BEST:: SOT 335392 SOS 76248 HAS SOPS 76248 HAS SOUS 56297 HAS SOUPS 56297 WITH SCORE 56373.248
AT ITER 2412 NEW BEST:: SOT 335392 SOS 76246 HAS SOPS 76246 HAS SOUS 56295 HAS SOUPS 56295 WITH SCORE 56371.246
AT ITER 2413 NEW BEST:: SOT 335415 SOS 76224 HAS SOPS 76224 HAS SOUS 56256 HAS SOUPS 56256 WITH SCORE 56332.224
AT ITER 2419 NEW BEST:: SOT 335388 SOS 76220 HAS SOPS 76220 HAS SOUS 56229 HAS SOUPS 56229 WITH SCORE 56305.22
AT ITER 2429 NEW BEST:: SOT 335321 SOS 76064 HAS SOPS 76064 HAS SOUS 56065 HAS SOUPS 56065 WITH SCORE 56141.064
AT ITER 2433 NEW BEST:: SOT 335268 SOS 75958 HAS SOPS 75958 HAS SOUS 56012 HAS SOUPS 56012 WITH SCORE 56087.958
AT ITER 2455 NEW BEST:: SOT 335253 SOS 75919 HAS SOPS 75919 HAS SOUS 55973 HAS SOUPS 55973 WITH SCORE 56048.919
AT ITER 2458 NEW BEST:: SOT 335227 SOS 75867 HAS SOPS 75867 HAS SOUS 55921 HAS SOUPS 55921 WITH SCORE 55996.867
AT ITER 2462 NEW BEST:: SOT 335227 SOS 75853 HAS SOPS 75853 HAS SOUS 55921 HAS SOUPS 55921 WITH SCORE 55996.853
AT ITER 2480 NEW BEST:: SOT 335254 SOS 75703 HAS SOPS 75703 HAS SOUS 55845 HAS SOUPS 55845 WITH SCORE 55920.703
AT ITER 2482 NEW BEST:: SOT 335222 SOS 75671 HAS SOPS 75671 HAS SOUS 55781 HAS SOUPS 55781 WITH SCORE 55856.671
AT ITER 2487 NEW BEST:: SOT 335229 SOS 75685 HAS SOPS 75685 HAS SOUS 55780 HAS SOUPS 55780 WITH SCORE 55855.685
AT ITER 2501 NEW BEST:: SOT 335219 SOS 75675 HAS SOPS 75675 HAS SOUS 55770 HAS SOUPS 55770 WITH SCORE 55845.675
AT ITER 2512 NEW BEST:: SOT 335247 SOS 75646 HAS SOPS 75646 HAS SOUS 55747 HAS SOUPS 55747 WITH SCORE 55822.646
AT ITER 2516 NEW BEST:: SOT 335302 SOS 75609 HAS SOPS 75609 HAS SOUS 55735 HAS SOUPS 55735 WITH SCORE 55810.609
AT ITER 2528 NEW BEST:: SOT 335290 SOS 75571 HAS SOPS 75571 HAS SOUS 55709 HAS SOUPS 55709 WITH SCORE 55784.571
AT ITER 2535 NEW BEST:: SOT 335258 SOS 75507 HAS SOPS 75507 HAS SOUS 55697 HAS SOUPS 55697 WITH SCORE 55772.507
AT ITER 2552 NEW BEST:: SOT 335258 SOS 75506 HAS SOPS 75506 HAS SOUS 55696 HAS SOUPS 55696 WITH SCORE 55771.506
AT ITER 2591 NEW BEST:: SOT 335258 SOS 75506 HAS SOPS 75506 HAS SOUS 55695 HAS SOUPS 55695 WITH SCORE 55770.506
AT ITER 2603 NEW BEST:: SOT 335189 SOS 75471 HAS SOPS 75471 HAS SOUS 55680 HAS SOUPS 55680 WITH SCORE 55755.471
AT ITER 2630 NEW BEST:: SOT 335204 SOS 75457 HAS SOPS 75457 HAS SOUS 55666 HAS SOUPS 55666 WITH SCORE 55741.457
AT ITER 2640 NEW BEST:: SOT 335229 SOS 75310 HAS SOPS 75310 HAS SOUS 55519 HAS SOUPS 55519 WITH SCORE 55594.31
AT ITER 2664 NEW BEST:: SOT 335226 SOS 75304 HAS SOPS 75304 HAS SOUS 55513 HAS SOUPS 55513 WITH SCORE 55588.304
AT ITER 2675 NEW BEST:: SOT 335204 SOS 75260 HAS SOPS 75260 HAS SOUS 55447 HAS SOUPS 55447 WITH SCORE 55522.26
AT ITER 2680 NEW BEST:: SOT 335101 SOS 75054 HAS SOPS 75054 HAS SOUS 55241 HAS SOUPS 55241 WITH SCORE 55316.054
AT ITER 2703 NEW BEST:: SOT 335056 SOS 75009 HAS SOPS 75009 HAS SOUS 55196 HAS SOUPS 55196 WITH SCORE 55271.009
AT ITER 2705 NEW BEST:: SOT 335056 SOS 74989 HAS SOPS 74989 HAS SOUS 55176 HAS SOUPS 55176 WITH SCORE 55250.989
AT ITER 2721 NEW BEST:: SOT 335050 SOS 74983 HAS SOPS 74983 HAS SOUS 55160 HAS SOUPS 55160 WITH SCORE 55234.983
AT ITER 2728 NEW BEST:: SOT 334912 SOS 74707 HAS SOPS 74707 HAS SOUS 55045 HAS SOUPS 55045 WITH SCORE 55119.707
AT ITER 2737 NEW BEST:: SOT 334912 SOS 74707 HAS SOPS 74707 HAS SOUS 55031 HAS SOUPS 55031 WITH SCORE 55105.707
AT ITER 2739 NEW BEST:: SOT 334910 SOS 74703 HAS SOPS 74703 HAS SOUS 55028 HAS SOUPS 55028 WITH SCORE 55102.703
AT ITER 2772 NEW BEST:: SOT 334910 SOS 74677 HAS SOPS 74677 HAS SOUS 55028 HAS SOUPS 55028 WITH SCORE 55102.677
AT ITER 2827 NEW BEST:: SOT 334854 SOS 74621 HAS SOPS 74621 HAS SOUS 54972 HAS SOUPS 54972 WITH SCORE 55046.621
AT ITER 2863 NEW BEST:: SOT 334896 SOS 74555 HAS SOPS 74555 HAS SOUS 54906 HAS SOUPS 54906 WITH SCORE 54980.555
AT ITER 2880 NEW BEST:: SOT 334828 SOS 74510 HAS SOPS 74510 HAS SOUS 54824 HAS SOUPS 54824 WITH SCORE 54898.51
AT ITER 2897 NEW BEST:: SOT 334829 SOS 74444 HAS SOPS 74444 HAS SOUS 54758 HAS SOUPS 54758 WITH SCORE 54832.444
AT ITER 2918 NEW BEST:: SOT 334784 SOS 74445 HAS SOPS 74445 HAS SOUS 54725 HAS SOUPS 54725 WITH SCORE 54799.445
AT ITER 2921 NEW BEST:: SOT 334784 SOS 74338 HAS SOPS 74338 HAS SOUS 54618 HAS SOUPS 54618 WITH SCORE 54692.338
AT ITER 2924 NEW BEST:: SOT 334722 SOS 74294 HAS SOPS 74294 HAS SOUS 54574 HAS SOUPS 54574 WITH SCORE 54648.294
AT ITER 2929 NEW BEST:: SOT 334734 SOS 74250 HAS SOPS 74250 HAS SOUS 54561 HAS SOUPS 54561 WITH SCORE 54635.25
AT ITER 2944 NEW BEST:: SOT 334703 SOS 74126 HAS SOPS 74126 HAS SOUS 54443 HAS SOUPS 54443 WITH SCORE 54517.126
AT ITER 2965 NEW BEST:: SOT 334703 SOS 74126 HAS SOPS 74126 HAS SOUS 54435 HAS SOUPS 54435 WITH SCORE 54509.126
AT ITER 2992 NEW BEST:: SOT 334639 SOS 73998 HAS SOPS 73998 HAS SOUS 54307 HAS SOUPS 54307 WITH SCORE 54380.998
AT ITER 3032 NEW BEST:: SOT 334631 SOS 73982 HAS SOPS 73982 HAS SOUS 54291 HAS SOUPS 54291 WITH SCORE 54364.982
AT ITER 3051 NEW BEST:: SOT 334605 SOS 73943 HAS SOPS 73943 HAS SOUS 54265 HAS SOUPS 54265 WITH SCORE 54338.943
AT ITER 3059 NEW BEST:: SOT 334605 SOS 73933 HAS SOPS 73933 HAS SOUS 54265 HAS SOUPS 54265 WITH SCORE 54338.933
AT ITER 3067 NEW BEST:: SOT 334598 SOS 73881 HAS SOPS 73881 HAS SOUS 54213 HAS SOUPS 54213 WITH SCORE 54286.881
AT ITER 3070 NEW BEST:: SOT 334480 SOS 73645 HAS SOPS 73645 HAS SOUS 54170 HAS SOUPS 54170 WITH SCORE 54243.645
AT ITER 3072 NEW BEST:: SOT 334480 SOS 73599 HAS SOPS 73599 HAS SOUS 54124 HAS SOUPS 54124 WITH SCORE 54197.599
AT ITER 3074 NEW BEST:: SOT 334514 SOS 73595 HAS SOPS 73595 HAS SOUS 54120 HAS SOUPS 54120 WITH SCORE 54193.595
AT ITER 3091 NEW BEST:: SOT 334482 SOS 73479 HAS SOPS 73479 HAS SOUS 54004 HAS SOUPS 54004 WITH SCORE 54077.479
AT ITER 3107 NEW BEST:: SOT 334486 SOS 73411 HAS SOPS 73411 HAS SOUS 53936 HAS SOUPS 53936 WITH SCORE 54009.411
AT ITER 3117 NEW BEST:: SOT 334424 SOS 73349 HAS SOPS 73349 HAS SOUS 53833 HAS SOUPS 53833 WITH SCORE 53906.349
AT ITER 3121 NEW BEST:: SOT 334410 SOS 73321 HAS SOPS 73321 HAS SOUS 53805 HAS SOUPS 53805 WITH SCORE 53878.321
AT ITER 3133 NEW BEST:: SOT 334369 SOS 73239 HAS SOPS 73239 HAS SOUS 53723 HAS SOUPS 53723 WITH SCORE 53796.239
AT ITER 3174 NEW BEST:: SOT 334217 SOS 72935 HAS SOPS 72935 HAS SOUS 53495 HAS SOUPS 53495 WITH SCORE 53567.935
AT ITER 3206 NEW BEST:: SOT 334214 SOS 72909 HAS SOPS 72909 HAS SOUS 53469 HAS SOUPS 53469 WITH SCORE 53541.909
AT ITER 3217 NEW BEST:: SOT 334188 SOS 73005 HAS SOPS 73005 HAS SOUS 53457 HAS SOUPS 53457 WITH SCORE 53530.005
AT ITER 3222 NEW BEST:: SOT 334168 SOS 72985 HAS SOPS 72985 HAS SOUS 53417 HAS SOUPS 53417 WITH SCORE 53489.985
AT ITER 3243 NEW BEST:: SOT 334168 SOS 72984 HAS SOPS 72984 HAS SOUS 53416 HAS SOUPS 53416 WITH SCORE 53488.984
AT ITER 3248 NEW BEST:: SOT 334101 SOS 72957 HAS SOPS 72957 HAS SOUS 53349 HAS SOUPS 53349 WITH SCORE 53421.957
AT ITER 3254 NEW BEST:: SOT 334089 SOS 72933 HAS SOPS 72933 HAS SOUS 53325 HAS SOUPS 53325 WITH SCORE 53397.933
AT ITER 3268 NEW BEST:: SOT 334087 SOS 72931 HAS SOPS 72931 HAS SOUS 53323 HAS SOUPS 53323 WITH SCORE 53395.931
AT ITER 3300 NEW BEST:: SOT 334063 SOS 72883 HAS SOPS 72883 HAS SOUS 53299 HAS SOUPS 53299 WITH SCORE 53371.883
AT ITER 3305 NEW BEST:: SOT 334044 SOS 72845 HAS SOPS 72845 HAS SOUS 53261 HAS SOUPS 53261 WITH SCORE 53333.845
AT ITER 3306 NEW BEST:: SOT 333934 SOS 73474 HAS SOPS 73474 HAS SOUS 53151 HAS SOUPS 53151 WITH SCORE 53224.474
AT ITER 3309 NEW BEST:: SOT 333934 SOS 73408 HAS SOPS 73408 HAS SOUS 53151 HAS SOUPS 53151 WITH SCORE 53224.408
AT ITER 3328 NEW BEST:: SOT 333928 SOS 73396 HAS SOPS 73396 HAS SOUS 53139 HAS SOUPS 53139 WITH SCORE 53212.396
AT ITER 3363 NEW BEST:: SOT 333889 SOS 73211 HAS SOPS 73211 HAS SOUS 53028 HAS SOUPS 53028 WITH SCORE 53101.211
AT ITER 3366 NEW BEST:: SOT 333850 SOS 73134 HAS SOPS 73134 HAS SOUS 52989 HAS SOUPS 52989 WITH SCORE 53062.134
AT ITER 3368 NEW BEST:: SOT 333850 SOS 73133 HAS SOPS 73133 HAS SOUS 52988 HAS SOUPS 52988 WITH SCORE 53061.133
AT ITER 3374 NEW BEST:: SOT 334012 SOS 72849 HAS SOPS 72849 HAS SOUS 52957 HAS SOUPS 52957 WITH SCORE 53029.849
AT ITER 3397 NEW BEST:: SOT 333972 SOS 72824 HAS SOPS 72824 HAS SOUS 52946 HAS SOUPS 52946 WITH SCORE 53018.824
AT ITER 3399 NEW BEST:: SOT 334089 SOS 72840 HAS SOPS 72840 HAS SOUS 52941 HAS SOUPS 52941 WITH SCORE 53013.84
AT ITER 3403 NEW BEST:: SOT 334087 SOS 72746 HAS SOPS 72746 HAS SOUS 52933 HAS SOUPS 52933 WITH SCORE 53005.746
AT ITER 3436 NEW BEST:: SOT 334060 SOS 72692 HAS SOPS 72692 HAS SOUS 52843 HAS SOUPS 52843 WITH SCORE 52915.692
AT ITER 3444 NEW BEST:: SOT 334060 SOS 72650 HAS SOPS 72650 HAS SOUS 52801 HAS SOUPS 52801 WITH SCORE 52873.65
AT ITER 3455 NEW BEST:: SOT 334032 SOS 72594 HAS SOPS 72594 HAS SOUS 52764 HAS SOUPS 52764 WITH SCORE 52836.594
AT ITER 3475 NEW BEST:: SOT 333947 SOS 72424 HAS SOPS 72424 HAS SOUS 52748 HAS SOUPS 52748 WITH SCORE 52820.424
AT ITER 3507 NEW BEST:: SOT 333944 SOS 72418 HAS SOPS 72418 HAS SOUS 52742 HAS SOUPS 52742 WITH SCORE 52814.418
AT ITER 3520 NEW BEST:: SOT 333923 SOS 72397 HAS SOPS 72397 HAS SOUS 52738 HAS SOUPS 52738 WITH SCORE 52810.397
AT ITER 3538 NEW BEST:: SOT 333805 SOS 72056 HAS SOPS 72056 HAS SOUS 52591 HAS SOUPS 52591 WITH SCORE 52663.056
AT ITER 3565 NEW BEST:: SOT 333629 SOS 71880 HAS SOPS 71880 HAS SOUS 52415 HAS SOUPS 52415 WITH SCORE 52486.88
AT ITER 3576 NEW BEST:: SOT 333617 SOS 71856 HAS SOPS 71856 HAS SOUS 52391 HAS SOUPS 52391 WITH SCORE 52462.856
AT ITER 3580 NEW BEST:: SOT 333569 SOS 71808 HAS SOPS 71808 HAS SOUS 52343 HAS SOUPS 52343 WITH SCORE 52414.808
AT ITER 3584 NEW BEST:: SOT 333584 SOS 71754 HAS SOPS 71754 HAS SOUS 52331 HAS SOUPS 52331 WITH SCORE 52402.754
AT ITER 3608 NEW BEST:: SOT 333606 SOS 71720 HAS SOPS 71720 HAS SOUS 52323 HAS SOUPS 52323 WITH SCORE 52394.72
AT ITER 3619 NEW BEST:: SOT 333606 SOS 71720 HAS SOPS 71720 HAS SOUS 52291 HAS SOUPS 52291 WITH SCORE 52362.72
AT ITER 3646 NEW BEST:: SOT 333557 SOS 71841 HAS SOPS 71841 HAS SOUS 52193 HAS SOUPS 52193 WITH SCORE 52264.841
AT ITER 3656 NEW BEST:: SOT 333450 SOS 71717 HAS SOPS 71717 HAS SOUS 52151 HAS SOUPS 52151 WITH SCORE 52222.717
AT ITER 3659 NEW BEST:: SOT 333450 SOS 71714 HAS SOPS 71714 HAS SOUS 52151 HAS SOUPS 52151 WITH SCORE 52222.714
AT ITER 3661 NEW BEST:: SOT 333387 SOS 71588 HAS SOPS 71588 HAS SOUS 52112 HAS SOUPS 52112 WITH SCORE 52183.588
AT ITER 3667 NEW BEST:: SOT 333387 SOS 71447 HAS SOPS 71447 HAS SOUS 51971 HAS SOUPS 51971 WITH SCORE 52042.447
AT ITER 3670 NEW BEST:: SOT 333181 SOS 71159 HAS SOPS 71159 HAS SOUS 51807 HAS SOUPS 51807 WITH SCORE 51878.159
AT ITER 3682 NEW BEST:: SOT 333176 SOS 71154 HAS SOPS 71154 HAS SOUS 51797 HAS SOUPS 51797 WITH SCORE 51868.154
AT ITER 3712 NEW BEST:: SOT 332471 SOS 71350 HAS SOPS 71350 HAS SOUS 51259 HAS SOUPS 51259 WITH SCORE 51330.35
AT ITER 3730 NEW BEST:: SOT 332541 SOS 71228 HAS SOPS 71228 HAS SOUS 51137 HAS SOUPS 51137 WITH SCORE 51208.228
AT ITER 3741 NEW BEST:: SOT 332531 SOS 71208 HAS SOPS 71208 HAS SOUS 51117 HAS SOUPS 51117 WITH SCORE 51188.208
AT ITER 3746 NEW BEST:: SOT 332537 SOS 71196 HAS SOPS 71196 HAS SOUS 51105 HAS SOUPS 51105 WITH SCORE 51176.196
AT ITER 3759 NEW BEST:: SOT 332411 SOS 71070 HAS SOPS 71070 HAS SOUS 51105 HAS SOUPS 51105 WITH SCORE 51176.07
AT ITER 3769 NEW BEST:: SOT 332408 SOS 71064 HAS SOPS 71064 HAS SOUS 51099 HAS SOUPS 51099 WITH SCORE 51170.064
AT ITER 3771 NEW BEST:: SOT 332400 SOS 71048 HAS SOPS 71048 HAS SOUS 51068 HAS SOUPS 51068 WITH SCORE 51139.048
AT ITER 3807 NEW BEST:: SOT 332270 SOS 70918 HAS SOPS 70918 HAS SOUS 51068 HAS SOUPS 51068 WITH SCORE 51138.918
AT ITER 3808 NEW BEST:: SOT 332244 SOS 70855 HAS SOPS 70855 HAS SOUS 51005 HAS SOUPS 51005 WITH SCORE 51075.855
AT ITER 3816 NEW BEST:: SOT 332079 SOS 70525 HAS SOPS 70525 HAS SOUS 50771 HAS SOUPS 50771 WITH SCORE 50841.525
AT ITER 3817 NEW BEST:: SOT 332071 SOS 70450 HAS SOPS 70450 HAS SOUS 50724 HAS SOUPS 50724 WITH SCORE 50794.45
AT ITER 3840 NEW BEST:: SOT 332076 SOS 70455 HAS SOPS 70455 HAS SOUS 50722 HAS SOUPS 50722 WITH SCORE 50792.455
AT ITER 3857 NEW BEST:: SOT 332092 SOS 70454 HAS SOPS 70454 HAS SOUS 50721 HAS SOUPS 50721 WITH SCORE 50791.454
AT ITER 3874 NEW BEST:: SOT 332075 SOS 70180 HAS SOPS 70180 HAS SOUS 50687 HAS SOUPS 50687 WITH SCORE 50757.18
AT ITER 3885 NEW BEST:: SOT 332059 SOS 70164 HAS SOPS 70164 HAS SOUS 50655 HAS SOUPS 50655 WITH SCORE 50725.164
AT ITER 3905 NEW BEST:: SOT 332028 SOS 70103 HAS SOPS 70103 HAS SOUS 50594 HAS SOUPS 50594 WITH SCORE 50664.103
AT ITER 3906 NEW BEST:: SOT 332028 SOS 70103 HAS SOPS 70103 HAS SOUS 50586 HAS SOUPS 50586 WITH SCORE 50656.103
AT ITER 3929 NEW BEST:: SOT 331915 SOS 69990 HAS SOPS 69990 HAS SOUS 50539 HAS SOUPS 50539 WITH SCORE 50608.99
AT ITER 3978 NEW BEST:: SOT 331789 SOS 70593 HAS SOPS 70593 HAS SOUS 50422 HAS SOUPS 50422 WITH SCORE 50492.593
AT ITER 3994 NEW BEST:: SOT 331789 SOS 70585 HAS SOPS 70585 HAS SOUS 50422 HAS SOUPS 50422 WITH SCORE 50492.585
AT ITER 4003 NEW BEST:: SOT 331777 SOS 70561 HAS SOPS 70561 HAS SOUS 50359 HAS SOUPS 50359 WITH SCORE 50429.561
AT ITER 4076 NEW BEST:: SOT 331777 SOS 70561 HAS SOPS 70561 HAS SOUS 50355 HAS SOUPS 50355 WITH SCORE 50425.561
AT ITER 4078 NEW BEST:: SOT 331680 SOS 70464 HAS SOPS 70464 HAS SOUS 50355 HAS SOUPS 50355 WITH SCORE 50425.464
AT ITER 4095 NEW BEST:: SOT 331760 SOS 70563 HAS SOPS 70563 HAS SOUS 50315 HAS SOUPS 50315 WITH SCORE 50385.563
AT ITER 4104 NEW BEST:: SOT 331720 SOS 70503 HAS SOPS 70503 HAS SOUS 50255 HAS SOUPS 50255 WITH SCORE 50325.503
AT ITER 4110 NEW BEST:: SOT 331720 SOS 70503 HAS SOPS 70503 HAS SOUS 50254 HAS SOUPS 50254 WITH SCORE 50324.503
AT ITER 4134 NEW BEST:: SOT 331699 SOS 70461 HAS SOPS 70461 HAS SOUS 50233 HAS SOUPS 50233 WITH SCORE 50303.461
AT ITER 4142 NEW BEST:: SOT 331677 SOS 70364 HAS SOPS 70364 HAS SOUS 50210 HAS SOUPS 50210 WITH SCORE 50280.364
AT ITER 4159 NEW BEST:: SOT 331672 SOS 70304 HAS SOPS 70304 HAS SOUS 50187 HAS SOUPS 50187 WITH SCORE 50257.304
AT ITER 4165 NEW BEST:: SOT 331619 SOS 70198 HAS SOPS 70198 HAS SOUS 50168 HAS SOUPS 50168 WITH SCORE 50238.198
AT ITER 4173 NEW BEST:: SOT 331612 SOS 70184 HAS SOPS 70184 HAS SOUS 50143 HAS SOUPS 50143 WITH SCORE 50213.184
AT ITER 4194 NEW BEST:: SOT 331536 SOS 70123 HAS SOPS 70123 HAS SOUS 50082 HAS SOUPS 50082 WITH SCORE 50152.123
AT ITER 4205 NEW BEST:: SOT 331503 SOS 70108 HAS SOPS 70108 HAS SOUS 50062 HAS SOUPS 50062 WITH SCORE 50132.108
AT ITER 4254 NEW BEST:: SOT 331507 SOS 70101 HAS SOPS 70101 HAS SOUS 50055 HAS SOUPS 50055 WITH SCORE 50125.101
AT ITER 4277 NEW BEST:: SOT 331507 SOS 70093 HAS SOPS 70093 HAS SOUS 50047 HAS SOUPS 50047 WITH SCORE 50117.093
AT ITER 4306 NEW BEST:: SOT 331590 SOS 69812 HAS SOPS 69812 HAS SOUS 49981 HAS SOUPS 49981 WITH SCORE 50050.812
AT ITER 4398 NEW BEST:: SOT 331573 SOS 69761 HAS SOPS 69761 HAS SOUS 49930 HAS SOUPS 49930 WITH SCORE 49999.761
AT ITER 4423 NEW BEST:: SOT 331561 SOS 69737 HAS SOPS 69737 HAS SOUS 49906 HAS SOUPS 49906 WITH SCORE 49975.737
AT ITER 4455 NEW BEST:: SOT 331561 SOS 69501 HAS SOPS 69501 HAS SOUS 49670 HAS SOUPS 49670 WITH SCORE 49739.501
AT ITER 4476 NEW BEST:: SOT 331545 SOS 69485 HAS SOPS 69485 HAS SOUS 49638 HAS SOUPS 49638 WITH SCORE 49707.485
AT ITER 4533 NEW BEST:: SOT 331468 SOS 69461 HAS SOPS 69461 HAS SOUS 49571 HAS SOUPS 49571 WITH SCORE 49640.461
AT ITER 4554 NEW BEST:: SOT 331437 SOS 69399 HAS SOPS 69399 HAS SOUS 49509 HAS SOUPS 49509 WITH SCORE 49578.399
AT ITER 4557 NEW BEST:: SOT 331410 SOS 69345 HAS SOPS 69345 HAS SOUS 49461 HAS SOUPS 49461 WITH SCORE 49530.345
AT ITER 4567 NEW BEST:: SOT 330803 SOS 74031 HAS SOPS 74031 HAS SOUS 49395 HAS SOUPS 49395 WITH SCORE 49469.031
AT ITER 4569 NEW BEST:: SOT 330581 SOS 73698 HAS SOPS 73698 HAS SOUS 49278 HAS SOUPS 49278 WITH SCORE 49351.698
AT ITER 4605 NEW BEST:: SOT 330560 SOS 73656 HAS SOPS 73656 HAS SOUS 49257 HAS SOUPS 49257 WITH SCORE 49330.656
AT ITER 4656 NEW BEST:: SOT 330533 SOS 73618 HAS SOPS 73618 HAS SOUS 49219 HAS SOUPS 49219 WITH SCORE 49292.618
AT ITER 4688 NEW BEST:: SOT 330451 SOS 73536 HAS SOPS 73536 HAS SOUS 49219 HAS SOUPS 49219 WITH SCORE 49292.536
AT ITER 4691 NEW BEST:: SOT 330447 SOS 73528 HAS SOPS 73528 HAS SOUS 49211 HAS SOUPS 49211 WITH SCORE 49284.528
AT ITER 4701 NEW BEST:: SOT 330427 SOS 73488 HAS SOPS 73488 HAS SOUS 49191 HAS SOUPS 49191 WITH SCORE 49264.488
AT ITER 4778 NEW BEST:: SOT 330427 SOS 73485 HAS SOPS 73485 HAS SOUS 49188 HAS SOUPS 49188 WITH SCORE 49261.485
AT ITER 4780 NEW BEST:: SOT 330422 SOS 73480 HAS SOPS 73480 HAS SOUS 49188 HAS SOUPS 49188 WITH SCORE 49261.48
AT ITER 4785 NEW BEST:: SOT 330345 SOS 73403 HAS SOPS 73403 HAS SOUS 49111 HAS SOUPS 49111 WITH SCORE 49184.403
AT ITER 4824 NEW BEST:: SOT 330260 SOS 73318 HAS SOPS 73318 HAS SOUS 49026 HAS SOUPS 49026 WITH SCORE 49099.318
AT ITER 4843 NEW BEST:: SOT 330257 SOS 73312 HAS SOPS 73312 HAS SOUS 49020 HAS SOUPS 49020 WITH SCORE 49093.312
AT ITER 4853 NEW BEST:: SOT 330273 SOS 73322 HAS SOPS 73322 HAS SOUS 49011 HAS SOUPS 49011 WITH SCORE 49084.322
AT ITER 4858 NEW BEST:: SOT 330193 SOS 73162 HAS SOPS 73162 HAS SOUS 48920 HAS SOUPS 48920 WITH SCORE 48993.162
AT ITER 4861 NEW BEST:: SOT 330136 SOS 72982 HAS SOPS 72982 HAS SOUS 48806 HAS SOUPS 48806 WITH SCORE 48878.982
AT ITER 4873 NEW BEST:: SOT 330136 SOS 72982 HAS SOPS 72982 HAS SOUS 48805 HAS SOUPS 48805 WITH SCORE 48877.982
AT ITER 4893 NEW BEST:: SOT 330116 SOS 72942 HAS SOPS 72942 HAS SOUS 48765 HAS SOUPS 48765 WITH SCORE 48837.942
AT ITER 4925 NEW BEST:: SOT 330112 SOS 72934 HAS SOPS 72934 HAS SOUS 48757 HAS SOUPS 48757 WITH SCORE 48829.934
AT ITER 4945 NEW BEST:: SOT 330204 SOS 72926 HAS SOPS 72926 HAS SOUS 48749 HAS SOUPS 48749 WITH SCORE 48821.926
AT ITER 4965 NEW BEST:: SOT 330196 SOS 72910 HAS SOPS 72910 HAS SOUS 48733 HAS SOUPS 48733 WITH SCORE 48805.91
AT ITER 4995 NEW BEST:: SOT 330196 SOS 72910 HAS SOPS 72910 HAS SOUS 48698 HAS SOUPS 48698 WITH SCORE 48770.91
AT ITER 4996 NEW BEST:: SOT 330154 SOS 72826 HAS SOPS 72826 HAS SOUS 48668 HAS SOUPS 48668 WITH SCORE 48740.826
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: SmartHome-PT-19-CTLCardinality-00 (EU( ( potential( ( 2 ) <= (tk(P210)) ) | (! potential( ( 3 ) <= (tk(P392)) )) ),(EX( potential( ( 3 ) <= (tk(P325)) ))) ))
PROPERTY: SmartHome-PT-19-CTLCardinality-01 (EU( (EG( potential( (tk(P272)) <= (tk(P614)) ))),(AG( potential( (tk(P723)) <= (tk(P536)) ))) ))
PROPERTY: SmartHome-PT-19-CTLCardinality-02 (EF((AX( ( potential( ( 3 ) <= (tk(P381)) ) | potential( ( 3 ) <= (tk(P6)) ) )))))
PROPERTY: SmartHome-PT-19-CTLCardinality-03 ( (AG( (EF(potential( (tk(P599)) <= (tk(P163)) ))))) | ( ( (EX( potential( (tk(P385)) <= (tk(P596)) ))) & potential( ( 3 ) <= (tk(P192)) ) ) & ( ( ( potential( ( 2 ) <= (tk(P493)) ) & potential( (tk(P206)) <= (tk(P267)) ) ) & ( potential( ( 2 ) <= (tk(P241)) ) & potential( ( 1 ) <= (tk(P382)) ) ) ) & (! potential( (tk(P618)) <= (tk(P131)) )) ) ) )
PROPERTY: SmartHome-PT-19-CTLCardinality-04 (AG( ( ( (! potential( (tk(P408)) <= (tk(P29)) )) & (! potential( (tk(P349)) <= (tk(P426)) )) ) | (EF(potential( ( 2 ) <= (tk(P230)) ))) )))
PROPERTY: SmartHome-PT-19-CTLCardinality-05 ( (EU( potential( (tk(P11)) <= (tk(P3)) ),(! potential( ( 3 ) <= (tk(P479)) )) )) & (EF((AG( potential( ( 3 ) <= (tk(P226)) ))))) )
PROPERTY: SmartHome-PT-19-CTLCardinality-06 (EX( (! (EF(potential( ( 2 ) <= (tk(P248)) ))))))
PROPERTY: SmartHome-PT-19-CTLCardinality-07 (AG( (! ( (! potential( (tk(P463)) <= (tk(P268)) )) & ( potential( (tk(P246)) <= (tk(P502)) ) | potential( (tk(P380)) <= (tk(P380)) ) ) ))))
PROPERTY: SmartHome-PT-19-CTLCardinality-08 ( (EU( ( potential( (tk(P19)) <= (tk(P250)) ) & potential( (tk(P60)) <= (tk(P88)) ) ),( potential( ( 3 ) <= (tk(P446)) ) & potential( (tk(P2)) <= (tk(P645)) ) ) )) | (EX( potential( ( 2 ) <= (tk(P701)) ))) )
PROPERTY: SmartHome-PT-19-CTLCardinality-09 (! ( ( (AX( potential( ( 3 ) <= (tk(P596)) ))) | (AG( potential( (tk(P223)) <= (tk(P83)) ))) ) | potential( ( 3 ) <= (tk(P412)) ) ))
PROPERTY: SmartHome-PT-19-CTLCardinality-10 ( ( (! (EF(potential( ( 2 ) <= (tk(P491)) )))) | (AG( ( potential( (tk(P19)) <= (tk(P586)) ) & potential( ( 1 ) <= (tk(P80)) ) ))) ) | potential( ( 2 ) <= (tk(P182)) ) )
PROPERTY: SmartHome-PT-19-CTLCardinality-11 (EU( ( potential( (tk(P663)) <= (tk(P435)) ) | ( potential( (tk(P77)) <= (tk(P582)) ) & potential( (tk(P28)) <= (tk(P612)) ) ) ),(EG( potential( ( 3 ) <= (tk(P717)) ))) ))
PROPERTY: SmartHome-PT-19-CTLCardinality-12 (EF(( ( (! potential( (tk(P383)) <= (tk(P634)) )) & potential( (tk(P67)) <= (tk(P334)) ) ) & ( ( potential( ( 3 ) <= (tk(P705)) ) | potential( (tk(P179)) <= (tk(P516)) ) ) & ( potential( ( 1 ) <= (tk(P515)) ) | potential( ( 2 ) <= (tk(P299)) ) ) ) )))
PROPERTY: SmartHome-PT-19-CTLCardinality-13 (AG( ( ( (! potential( ( 1 ) <= (tk(P2)) )) | ( potential( (tk(P549)) <= (tk(P739)) ) | potential( ( 2 ) <= (tk(P460)) ) ) ) | ( ( potential( (tk(P534)) <= (tk(P719)) ) & potential( ( 1 ) <= (tk(P312)) ) ) & (! potential( (tk(P573)) <= (tk(P581)) )) ) )))
PROPERTY: SmartHome-PT-19-CTLCardinality-14 ( (AX( (AG( potential( (tk(P211)) <= (tk(P619)) ))))) & potential( (tk(P336)) <= (tk(P595)) ) )
PROPERTY: SmartHome-PT-19-CTLCardinality-15 (AG( ( ( ( potential( (tk(P631)) <= (tk(P612)) ) & potential( (tk(P254)) <= (tk(P305)) ) ) | (! potential( ( 2 ) <= (tk(P726)) )) ) | ( ( potential( ( 3 ) <= (tk(P186)) ) | potential( ( 1 ) <= (tk(P3)) ) ) | ( potential( (tk(P141)) <= (tk(P403)) ) | potential( ( 3 ) <= (tk(P293)) ) ) ) )))

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="SmartHome-PT-19"
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 SmartHome-PT-19, 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 r224-oct2-159033538400147"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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