About the Execution of smart for BART-PT-030
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15767.850 | 3600000.00 | 3599010.00 | 0.00 | [undef] | Time out reached |
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.r018-oct2-158897679500100.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 BART-PT-030, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897679500100
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 3.6K Apr 15 13:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 15 13:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 15 13:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 15 13:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 1.5M Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 3.6M Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.1M Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 2.7M Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Apr 15 13:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 15 13:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 15 13:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 15 13:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 15 13:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 15 13:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 7.1M 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 BART-PT-030-CTLFireability-00
FORMULA_NAME BART-PT-030-CTLFireability-01
FORMULA_NAME BART-PT-030-CTLFireability-02
FORMULA_NAME BART-PT-030-CTLFireability-03
FORMULA_NAME BART-PT-030-CTLFireability-04
FORMULA_NAME BART-PT-030-CTLFireability-05
FORMULA_NAME BART-PT-030-CTLFireability-06
FORMULA_NAME BART-PT-030-CTLFireability-07
FORMULA_NAME BART-PT-030-CTLFireability-08
FORMULA_NAME BART-PT-030-CTLFireability-09
FORMULA_NAME BART-PT-030-CTLFireability-10
FORMULA_NAME BART-PT-030-CTLFireability-11
FORMULA_NAME BART-PT-030-CTLFireability-12
FORMULA_NAME BART-PT-030-CTLFireability-13
FORMULA_NAME BART-PT-030-CTLFireability-14
FORMULA_NAME BART-PT-030-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589012472089
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BART (PT), instance 030
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 4170 places, 6060 transitions, 48600 arcs.
AT ITER 0 NEW BEST:: SOT 18115247 SOS 11942894 HAS SOPS 9254495 HAS SOUS 8340080 HAS SOUPS 8192890 WITH SCORE 8204832.894
AT ITER 5 NEW BEST:: SOT 18115247 SOS 11942894 HAS SOPS 9253343 HAS SOUS 8338461 HAS SOUPS 8190588 WITH SCORE 8202530.894
AT ITER 6 NEW BEST:: SOT 18115247 SOS 11942894 HAS SOPS 9252160 HAS SOUS 8339096 HAS SOUPS 8189405 WITH SCORE 8201347.894
AT ITER 17 NEW BEST:: SOT 18114976 SOS 11942352 HAS SOPS 9251618 HAS SOUS 8338554 HAS SOUPS 8188863 WITH SCORE 8200805.352
AT ITER 18 NEW BEST:: SOT 18115285 SOS 11942969 HAS SOPS 9250671 HAS SOUS 8339032 HAS SOUPS 8187917 WITH SCORE 8199859.969
AT ITER 20 NEW BEST:: SOT 18115520 SOS 11943410 HAS SOPS 9249744 HAS SOUS 8340260 HAS SOUPS 8186991 WITH SCORE 8198934.41
AT ITER 21 NEW BEST:: SOT 18115240 SOS 11943130 HAS SOPS 9249464 HAS SOUS 8339980 HAS SOUPS 8186711 WITH SCORE 8198654.13
AT ITER 22 NEW BEST:: SOT 18115240 SOS 11943130 HAS SOPS 9247499 HAS SOUS 8338115 HAS SOUPS 8184277 WITH SCORE 8196220.13
AT ITER 23 NEW BEST:: SOT 18114320 SOS 11942210 HAS SOPS 9246579 HAS SOUS 8337195 HAS SOUPS 8183357 WITH SCORE 8195299.21
AT ITER 24 NEW BEST:: SOT 18114320 SOS 11942210 HAS SOPS 9245571 HAS SOUS 8335396 HAS SOUPS 8181343 WITH SCORE 8193285.21
AT ITER 26 NEW BEST:: SOT 18114923 SOS 11943179 HAS SOPS 9245380 HAS SOUS 8337156 HAS SOUPS 8181153 WITH SCORE 8193096.179
AT ITER 33 NEW BEST:: SOT 18114923 SOS 11943179 HAS SOPS 9244158 HAS SOUS 8335037 HAS SOUPS 8178686 WITH SCORE 8190629.179
AT ITER 35 NEW BEST:: SOT 18114923 SOS 11943179 HAS SOPS 9243056 HAS SOUS 8333110 HAS SOUPS 8176343 WITH SCORE 8188286.179
AT ITER 36 NEW BEST:: SOT 18114923 SOS 11943179 HAS SOPS 9242669 HAS SOUS 8332894 HAS SOUPS 8175956 WITH SCORE 8187899.179
AT ITER 52 NEW BEST:: SOT 18114923 SOS 11943179 HAS SOPS 9240997 HAS SOUS 8330783 HAS SOUPS 8173808 WITH SCORE 8185751.179
AT ITER 62 NEW BEST:: SOT 18114941 SOS 11957417 HAS SOPS 9240067 HAS SOUS 8330667 HAS SOUPS 8172878 WITH SCORE 8184835.417
AT ITER 72 NEW BEST:: SOT 18114869 SOS 11957345 HAS SOPS 9239995 HAS SOUS 8330595 HAS SOUPS 8172806 WITH SCORE 8184763.345
AT ITER 82 NEW BEST:: SOT 18115065 SOS 11957856 HAS SOPS 9239279 HAS SOUS 8331898 HAS SOUPS 8172091 WITH SCORE 8184048.856
AT ITER 86 NEW BEST:: SOT 18114767 SOS 11957558 HAS SOPS 9238682 HAS SOUS 8331557 HAS SOUPS 8171494 WITH SCORE 8183451.558
AT ITER 90 NEW BEST:: SOT 18114767 SOS 11957558 HAS SOPS 9238678 HAS SOUS 8331553 HAS SOUPS 8171490 WITH SCORE 8183447.558
AT ITER 91 NEW BEST:: SOT 18114664 SOS 11957455 HAS SOPS 9238575 HAS SOUS 8331450 HAS SOUPS 8171387 WITH SCORE 8183344.455
AT ITER 93 NEW BEST:: SOT 18114935 SOS 11957996 HAS SOPS 9237618 HAS SOUS 8332382 HAS SOUPS 8170431 WITH SCORE 8182388.996
AT ITER 94 NEW BEST:: SOT 18115285 SOS 11958695 HAS SOPS 9236718 HAS SOUS 8331574 HAS SOUPS 8169532 WITH SCORE 8181490.695
AT ITER 102 NEW BEST:: SOT 18114714 SOS 11958124 HAS SOPS 9235503 HAS SOUS 8331003 HAS SOUPS 8168317 WITH SCORE 8180275.124
AT ITER 103 NEW BEST:: SOT 18114727 SOS 11958645 HAS SOPS 9234276 HAS SOUS 8331439 HAS SOUPS 8167091 WITH SCORE 8179049.645
AT ITER 110 NEW BEST:: SOT 18114727 SOS 11958645 HAS SOPS 9232290 HAS SOUS 8330146 HAS SOUPS 8165105 WITH SCORE 8177063.645
AT ITER 113 NEW BEST:: SOT 18114727 SOS 11958645 HAS SOPS 9232417 HAS SOUS 8330022 HAS SOUPS 8164808 WITH SCORE 8176766.645
AT ITER 118 NEW BEST:: SOT 18114727 SOS 11958645 HAS SOPS 9231636 HAS SOUS 8328068 HAS SOUPS 8162786 WITH SCORE 8174744.645
AT ITER 119 NEW BEST:: SOT 18115438 SOS 11959755 HAS SOPS 9231450 HAS SOUS 8329799 HAS SOUPS 8162601 WITH SCORE 8174560.755
AT ITER 125 NEW BEST:: SOT 18115438 SOS 11959755 HAS SOPS 9230626 HAS SOUS 8329367 HAS SOUPS 8161777 WITH SCORE 8173736.755
AT ITER 130 NEW BEST:: SOT 18115717 SOS 11960312 HAS SOPS 9229669 HAS SOUS 8330171 HAS SOUPS 8160821 WITH SCORE 8172781.312
AT ITER 132 NEW BEST:: SOT 18115717 SOS 11960312 HAS SOPS 9228522 HAS SOUS 8328523 HAS SOUPS 8158455 WITH SCORE 8170415.312
AT ITER 138 NEW BEST:: SOT 18115717 SOS 11960609 HAS SOPS 9228090 HAS SOUS 8327876 HAS SOUPS 8157296 WITH SCORE 8169256.609
AT ITER 139 NEW BEST:: SOT 18115717 SOS 11960609 HAS SOPS 9227278 HAS SOUS 8326633 HAS SOUPS 8155674 WITH SCORE 8167634.609
AT ITER 140 NEW BEST:: SOT 18115717 SOS 11960609 HAS SOPS 9226243 HAS SOUS 8324487 HAS SOUPS 8153422 WITH SCORE 8165382.609
AT ITER 150 NEW BEST:: SOT 18115450 SOS 11960342 HAS SOPS 9225709 HAS SOUS 8324166 HAS SOUPS 8152888 WITH SCORE 8164848.342
AT ITER 161 NEW BEST:: SOT 18115450 SOS 11960342 HAS SOPS 9224937 HAS SOUS 8322144 HAS SOUPS 8150866 WITH SCORE 8162826.342
AT ITER 166 NEW BEST:: SOT 18115534 SOS 11960926 HAS SOPS 9223923 HAS SOUS 8322877 HAS SOUPS 8149853 WITH SCORE 8161813.926
AT ITER 168 NEW BEST:: SOT 18116078 SOS 11962013 HAS SOPS 9223215 HAS SOUS 8323637 HAS SOUPS 8149146 WITH SCORE 8161108.013
AT ITER 174 NEW BEST:: SOT 18115657 SOS 11961592 HAS SOPS 9222372 HAS SOUS 8322893 HAS SOUPS 8148303 WITH SCORE 8160264.592
AT ITER 177 NEW BEST:: SOT 18115657 SOS 11961592 HAS SOPS 9221418 HAS SOUS 8320985 HAS SOUPS 8146395 WITH SCORE 8158356.592
AT ITER 179 NEW BEST:: SOT 18115657 SOS 11961592 HAS SOPS 9221124 HAS SOUS 8320656 HAS SOUPS 8145809 WITH SCORE 8157770.592
AT ITER 181 NEW BEST:: SOT 18115657 SOS 11961592 HAS SOPS 9220006 HAS SOUS 8319287 HAS SOUPS 8143575 WITH SCORE 8155536.592
AT ITER 185 NEW BEST:: SOT 18115657 SOS 11961592 HAS SOPS 9218831 HAS SOUS 8317256 HAS SOUPS 8141227 WITH SCORE 8153188.592
AT ITER 186 NEW BEST:: SOT 18115657 SOS 11961592 HAS SOPS 9217802 HAS SOUS 8315652 HAS SOUPS 8139171 WITH SCORE 8151132.592
AT ITER 187 NEW BEST:: SOT 18115657 SOS 11961592 HAS SOPS 9216667 HAS SOUS 8314410 HAS SOUPS 8136903 WITH SCORE 8148864.592
AT ITER 190 NEW BEST:: SOT 18115657 SOS 11961592 HAS SOPS 9215694 HAS SOUS 8312466 HAS SOUPS 8134959 WITH SCORE 8146920.592
AT ITER 191 NEW BEST:: SOT 18115657 SOS 11961592 HAS SOPS 9215403 HAS SOUS 8312558 HAS SOUPS 8134668 WITH SCORE 8146629.592
AT ITER 192 NEW BEST:: SOT 18115657 SOS 11961592 HAS SOPS 9214430 HAS SOUS 8311012 HAS SOUPS 8132468 WITH SCORE 8144429.592
AT ITER 198 NEW BEST:: SOT 18115657 SOS 11961592 HAS SOPS 9214254 HAS SOUS 8310837 HAS SOUPS 8132293 WITH SCORE 8144254.592
AT ITER 206 NEW BEST:: SOT 18116734 SOS 11962669 HAS SOPS 9214253 HAS SOUS 8310801 HAS SOUPS 8131216 WITH SCORE 8143178.669
AT ITER 208 NEW BEST:: SOT 18116734 SOS 11962669 HAS SOPS 9214175 HAS SOUS 8309629 HAS SOUPS 8130044 WITH SCORE 8142006.669
AT ITER 210 NEW BEST:: SOT 18116093 SOS 11962028 HAS SOPS 9213534 HAS SOUS 8308988 HAS SOUPS 8129403 WITH SCORE 8141365.028
AT ITER 215 NEW BEST:: SOT 18116093 SOS 11962028 HAS SOPS 9213798 HAS SOUS 8308983 HAS SOUPS 8129398 WITH SCORE 8141360.028
AT ITER 216 NEW BEST:: SOT 18116093 SOS 11962028 HAS SOPS 9212616 HAS SOUS 8306621 HAS SOUPS 8127036 WITH SCORE 8138998.028
AT ITER 218 NEW BEST:: SOT 18116093 SOS 11962028 HAS SOPS 9212372 HAS SOUS 8306499 HAS SOUPS 8126914 WITH SCORE 8138876.028
AT ITER 223 NEW BEST:: SOT 18116093 SOS 11962028 HAS SOPS 9211801 HAS SOUS 8305389 HAS SOUPS 8125144 WITH SCORE 8137106.028
AT ITER 226 NEW BEST:: SOT 18116093 SOS 11962028 HAS SOPS 9211800 HAS SOUS 8304421 HAS SOUPS 8124176 WITH SCORE 8136138.028
AT ITER 228 NEW BEST:: SOT 18116093 SOS 11962028 HAS SOPS 9211314 HAS SOUS 8304108 HAS SOUPS 8123453 WITH SCORE 8135415.028
AT ITER 235 NEW BEST:: SOT 18116093 SOS 11962028 HAS SOPS 9210399 HAS SOUS 8302620 HAS SOUPS 8121311 WITH SCORE 8133273.028
AT ITER 236 NEW BEST:: SOT 18116093 SOS 11962028 HAS SOPS 9209465 HAS SOUS 8301429 HAS SOUPS 8119901 WITH SCORE 8131863.028
AT ITER 237 NEW BEST:: SOT 18115787 SOS 11961722 HAS SOPS 9208852 HAS SOUS 8300726 HAS SOUPS 8118983 WITH SCORE 8130944.722
AT ITER 238 NEW BEST:: SOT 18115787 SOS 11961722 HAS SOPS 9208851 HAS SOUS 8300309 HAS SOUPS 8118566 WITH SCORE 8130527.722
AT ITER 242 NEW BEST:: SOT 18116263 SOS 11962673 HAS SOPS 9208093 HAS SOUS 8301335 HAS SOUPS 8117809 WITH SCORE 8129771.673
AT ITER 246 NEW BEST:: SOT 18116330 SOS 11962806 HAS SOPS 9206918 HAS SOUS 8300161 HAS SOUPS 8116635 WITH SCORE 8128597.806
AT ITER 248 NEW BEST:: SOT 18116330 SOS 11962806 HAS SOPS 9205648 HAS SOUS 8298457 HAS SOUPS 8114931 WITH SCORE 8126893.806
AT ITER 253 NEW BEST:: SOT 18114451 SOS 11960927 HAS SOPS 9204424 HAS SOUS 8297234 HAS SOUPS 8113708 WITH SCORE 8125668.927
AT ITER 257 NEW BEST:: SOT 18113346 SOS 11958717 HAS SOPS 9204424 HAS SOUS 8295259 HAS SOUPS 8112838 WITH SCORE 8124796.717
AT ITER 260 NEW BEST:: SOT 18113346 SOS 11958717 HAS SOPS 9204420 HAS SOUS 8295255 HAS SOUPS 8112834 WITH SCORE 8124792.717
AT ITER 265 NEW BEST:: SOT 18113819 SOS 11959662 HAS SOPS 9203643 HAS SOUS 8295987 HAS SOUPS 8112058 WITH SCORE 8124017.662
AT ITER 267 NEW BEST:: SOT 18113819 SOS 11959662 HAS SOPS 9203007 HAS SOUS 8294110 HAS SOUPS 8110181 WITH SCORE 8122140.662
AT ITER 272 NEW BEST:: SOT 18113819 SOS 11959662 HAS SOPS 9202993 HAS SOUS 8294096 HAS SOUPS 8110167 WITH SCORE 8122126.662
AT ITER 273 NEW BEST:: SOT 18113828 SOS 11960304 HAS SOPS 9201750 HAS SOUS 8292854 HAS SOUPS 8108925 WITH SCORE 8120885.304
AT ITER 276 NEW BEST:: SOT 18113828 SOS 11960304 HAS SOPS 9201699 HAS SOUS 8292803 HAS SOUPS 8108874 WITH SCORE 8120834.304
AT ITER 279 NEW BEST:: SOT 18114024 SOS 11960735 HAS SOPS 9201353 HAS SOUS 8294288 HAS SOUPS 8108528 WITH SCORE 8120488.735
AT ITER 287 NEW BEST:: SOT 18114024 SOS 11960735 HAS SOPS 9200410 HAS SOUS 8295020 HAS SOUPS 8107585 WITH SCORE 8119545.735
AT ITER 293 NEW BEST:: SOT 18114024 SOS 11960735 HAS SOPS 9200840 HAS SOUS 8294493 HAS SOUPS 8107058 WITH SCORE 8119018.735
AT ITER 299 NEW BEST:: SOT 18114024 SOS 11960735 HAS SOPS 9200694 HAS SOUS 8293305 HAS SOUPS 8105658 WITH SCORE 8117618.735
AT ITER 303 NEW BEST:: SOT 18114024 SOS 11960735 HAS SOPS 9200326 HAS SOUS 8292794 HAS SOUPS 8104924 WITH SCORE 8116884.735
AT ITER 308 NEW BEST:: SOT 18114425 SOS 11961327 HAS SOPS 9199899 HAS SOUS 8292773 HAS SOUPS 8104498 WITH SCORE 8116459.327
AT ITER 310 NEW BEST:: SOT 18114875 SOS 11962226 HAS SOPS 9199093 HAS SOUS 8293377 HAS SOUPS 8103693 WITH SCORE 8115655.226
AT ITER 311 NEW BEST:: SOT 18114875 SOS 11962226 HAS SOPS 9198763 HAS SOUS 8293225 HAS SOUPS 8103363 WITH SCORE 8115325.226
AT ITER 325 NEW BEST:: SOT 18114875 SOS 11962226 HAS SOPS 9198479 HAS SOUS 8292947 HAS SOUPS 8103079 WITH SCORE 8115041.226
AT ITER 329 NEW BEST:: SOT 18116672 SOS 11964023 HAS SOPS 9197652 HAS SOUS 8293833 HAS SOUPS 8102252 WITH SCORE 8114216.023
AT ITER 331 NEW BEST:: SOT 18116489 SOS 11963840 HAS SOPS 9197286 HAS SOUS 8293662 HAS SOUPS 8101886 WITH SCORE 8113849.84
AT ITER 332 NEW BEST:: SOT 18116489 SOS 11963840 HAS SOPS 9196216 HAS SOUS 8291781 HAS SOUPS 8099748 WITH SCORE 8111711.84
AT ITER 335 NEW BEST:: SOT 18116489 SOS 11963840 HAS SOPS 9195345 HAS SOUS 8290263 HAS SOUPS 8098008 WITH SCORE 8109971.84
AT ITER 340 NEW BEST:: SOT 18114260 SOS 11961611 HAS SOPS 9194141 HAS SOUS 8289060 HAS SOUPS 8096805 WITH SCORE 8108766.611
AT ITER 348 NEW BEST:: SOT 18114824 SOS 11962738 HAS SOPS 9193465 HAS SOUS 8288385 HAS SOUPS 8096130 WITH SCORE 8108092.738
AT ITER 349 NEW BEST:: SOT 18114824 SOS 11962738 HAS SOPS 9193465 HAS SOUS 8288127 HAS SOUPS 8095872 WITH SCORE 8107834.738
AT ITER 356 NEW BEST:: SOT 18114130 SOS 11961473 HAS SOPS 9192200 HAS SOUS 8286862 HAS SOUPS 8094607 WITH SCORE 8106568.473
AT ITER 357 NEW BEST:: SOT 18114130 SOS 11961468 HAS SOPS 9192200 HAS SOUS 8286862 HAS SOUPS 8094607 WITH SCORE 8106568.468
AT ITER 359 NEW BEST:: SOT 18114460 SOS 11961798 HAS SOPS 9192045 HAS SOUS 8286707 HAS SOUPS 8094452 WITH SCORE 8106413.798
AT ITER 360 NEW BEST:: SOT 18114460 SOS 11961798 HAS SOPS 9190816 HAS SOUS 8284689 HAS SOUPS 8091984 WITH SCORE 8103945.798
AT ITER 363 NEW BEST:: SOT 18114460 SOS 11961798 HAS SOPS 9190169 HAS SOUS 8283397 HAS SOUPS 8090692 WITH SCORE 8102653.798
AT ITER 367 NEW BEST:: SOT 18114460 SOS 11961798 HAS SOPS 9188306 HAS SOUS 8281854 HAS SOUPS 8088830 WITH SCORE 8100791.798
AT ITER 368 NEW BEST:: SOT 18115137 SOS 11962475 HAS SOPS 9188205 HAS SOUS 8281800 HAS SOUPS 8088728 WITH SCORE 8100690.475
AT ITER 375 NEW BEST:: SOT 18115137 SOS 11962475 HAS SOPS 9187011 HAS SOUS 8280463 HAS SOUPS 8086342 WITH SCORE 8098304.475
AT ITER 378 NEW BEST:: SOT 18115137 SOS 11962475 HAS SOPS 9187288 HAS SOUS 8280458 HAS SOUPS 8086337 WITH SCORE 8098299.475
AT ITER 384 NEW BEST:: SOT 18120915 SOS 11967520 HAS SOPS 9194800 HAS SOUS 8272223 HAS SOUPS 8078835 WITH SCORE 8090802.52
AT ITER 387 NEW BEST:: SOT 18120723 SOS 11967136 HAS SOPS 9194416 HAS SOUS 8271839 HAS SOUPS 8078451 WITH SCORE 8090418.136
AT ITER 388 NEW BEST:: SOT 18120993 SOS 11967675 HAS SOPS 9193436 HAS SOUS 8270860 HAS SOUPS 8077472 WITH SCORE 8089439.675
AT ITER 397 NEW BEST:: SOT 18120993 SOS 11967675 HAS SOPS 9192438 HAS SOUS 8269073 HAS SOUPS 8075235 WITH SCORE 8087202.675
AT ITER 398 NEW BEST:: SOT 18120993 SOS 11967675 HAS SOPS 9192084 HAS SOUS 8268540 HAS SOUPS 8074529 WITH SCORE 8086496.675
AT ITER 402 NEW BEST:: SOT 18120993 SOS 11967675 HAS SOPS 9191179 HAS SOUS 8267636 HAS SOUPS 8073625 WITH SCORE 8085592.675
AT ITER 403 NEW BEST:: SOT 18119656 SOS 11966308 HAS SOPS 9189925 HAS SOUS 8266382 HAS SOUPS 8072372 WITH SCORE 8084338.308
AT ITER 404 NEW BEST:: SOT 18119656 SOS 11966308 HAS SOPS 9189353 HAS SOUS 8265251 HAS SOUPS 8071230 WITH SCORE 8083196.308
AT ITER 405 NEW BEST:: SOT 18120187 SOS 11967369 HAS SOPS 9188642 HAS SOUS 8266087 HAS SOUPS 8070520 WITH SCORE 8082487.369
AT ITER 408 NEW BEST:: SOT 18120187 SOS 11967369 HAS SOPS 9188050 HAS SOUS 8265495 HAS SOUPS 8069928 WITH SCORE 8081895.369
AT ITER 411 NEW BEST:: SOT 18120187 SOS 11967369 HAS SOPS 9187848 HAS SOUS 8265092 HAS SOUPS 8069525 WITH SCORE 8081492.369
AT ITER 419 NEW BEST:: SOT 18120187 SOS 11967369 HAS SOPS 9187849 HAS SOUS 8265087 HAS SOUPS 8069520 WITH SCORE 8081487.369
AT ITER 421 NEW BEST:: SOT 18119239 SOS 11961591 HAS SOPS 9187849 HAS SOUS 8264897 HAS SOUPS 8069520 WITH SCORE 8081481.591
AT ITER 423 NEW BEST:: SOT 18119239 SOS 11961591 HAS SOPS 9186607 HAS SOUS 8263094 HAS SOUPS 8067263 WITH SCORE 8079224.591
AT ITER 424 NEW BEST:: SOT 18119391 SOS 11961894 HAS SOPS 9185533 HAS SOUS 8262461 HAS SOUPS 8066190 WITH SCORE 8078151.894
AT ITER 426 NEW BEST:: SOT 18119391 SOS 11961894 HAS SOPS 9185225 HAS SOUS 8261043 HAS SOUPS 8064655 WITH SCORE 8076616.894
AT ITER 427 NEW BEST:: SOT 18120124 SOS 11963354 HAS SOPS 9185222 HAS SOUS 8261963 HAS SOUPS 8064653 WITH SCORE 8076616.354
AT ITER 439 NEW BEST:: SOT 18120481 SOS 11963927 HAS SOPS 9184623 HAS SOUS 8263519 HAS SOUPS 8064055 WITH SCORE 8076018.927
AT ITER 443 NEW BEST:: SOT 18120481 SOS 11963927 HAS SOPS 9184388 HAS SOUS 8263285 HAS SOUPS 8063586 WITH SCORE 8075549.927
AT ITER 444 NEW BEST:: SOT 18120481 SOS 11963927 HAS SOPS 9183882 HAS SOUS 8262779 HAS SOUPS 8063080 WITH SCORE 8075043.927
AT ITER 447 NEW BEST:: SOT 18120403 SOS 11963849 HAS SOPS 9183725 HAS SOUS 8261212 HAS SOUPS 8061806 WITH SCORE 8073769.849
AT ITER 450 NEW BEST:: SOT 18120478 SOS 11963998 HAS SOPS 9182594 HAS SOUS 8260202 HAS SOUPS 8060676 WITH SCORE 8072639.998
AT ITER 452 NEW BEST:: SOT 18121055 SOS 12001535 HAS SOPS 9182555 HAS SOUS 8260779 HAS SOUPS 8060637 WITH SCORE 8072638.535
AT ITER 459 NEW BEST:: SOT 18122219 SOS 12002699 HAS SOPS 9182554 HAS SOUS 8259843 HAS SOUPS 8059473 WITH SCORE 8071475.699
AT ITER 460 NEW BEST:: SOT 18122219 SOS 12002699 HAS SOPS 9181644 HAS SOUS 8258933 HAS SOUPS 8058563 WITH SCORE 8070565.699
AT ITER 463 NEW BEST:: SOT 18122219 SOS 12003806 HAS SOPS 9181494 HAS SOUS 8257529 HAS SOUPS 8057159 WITH SCORE 8069162.806
AT ITER 465 NEW BEST:: SOT 18122219 SOS 12003806 HAS SOPS 9180701 HAS SOUS 8255499 HAS SOUPS 8055129 WITH SCORE 8067132.806
AT ITER 466 NEW BEST:: SOT 18122219 SOS 12003806 HAS SOPS 9179982 HAS SOUS 8254647 HAS SOUPS 8054277 WITH SCORE 8066280.806
AT ITER 469 NEW BEST:: SOT 18123079 SOS 12005426 HAS SOPS 9179778 HAS SOUS 8254444 HAS SOUPS 8054074 WITH SCORE 8066079.426
AT ITER 483 NEW BEST:: SOT 18123387 SOS 12006041 HAS SOPS 9178854 HAS SOUS 8253521 HAS SOUPS 8053151 WITH SCORE 8065157.041
AT ITER 486 NEW BEST:: SOT 18123218 SOS 12005872 HAS SOPS 9178516 HAS SOUS 8253352 HAS SOUPS 8052813 WITH SCORE 8064818.872
AT ITER 494 NEW BEST:: SOT 18123218 SOS 12005872 HAS SOPS 9178848 HAS SOUS 8253149 HAS SOUPS 8052610 WITH SCORE 8064615.872
AT ITER 504 NEW BEST:: SOT 18127150 SOS 12009212 HAS SOPS 9184555 HAS SOUS 8245029 HAS SOUPS 8045082 WITH SCORE 8057091.212
AT ITER 505 NEW BEST:: SOT 18126618 SOS 12008680 HAS SOPS 9183619 HAS SOUS 8244093 HAS SOUPS 8044146 WITH SCORE 8056154.68
AT ITER 508 NEW BEST:: SOT 18127310 SOS 12009372 HAS SOPS 9183374 HAS SOUS 8243521 HAS SOUPS 8043574 WITH SCORE 8055583.372
AT ITER 512 NEW BEST:: SOT 18125974 SOS 12008036 HAS SOPS 9183168 HAS SOUS 8243315 HAS SOUPS 8043368 WITH SCORE 8055376.036
AT ITER 520 NEW BEST:: SOT 18125974 SOS 12008036 HAS SOPS 9182425 HAS SOUS 8242537 HAS SOUPS 8041884 WITH SCORE 8053892.036
AT ITER 524 NEW BEST:: SOT 18126256 SOS 12008599 HAS SOPS 9181459 HAS SOUS 8243105 HAS SOUPS 8040919 WITH SCORE 8052927.599
AT ITER 525 NEW BEST:: SOT 18126256 SOS 12008599 HAS SOPS 9180651 HAS SOUS 8242701 HAS SOUPS 8040515 WITH SCORE 8052523.599
AT ITER 530 NEW BEST:: SOT 18126240 SOS 12008567 HAS SOPS 9180635 HAS SOUS 8242685 HAS SOUPS 8040499 WITH SCORE 8052507.567
AT ITER 538 NEW BEST:: SOT 18126240 SOS 12008567 HAS SOPS 9178306 HAS SOUS 8240846 HAS SOUPS 8038172 WITH SCORE 8050180.567
AT ITER 546 NEW BEST:: SOT 18125962 SOS 12008011 HAS SOPS 9177750 HAS SOUS 8240564 HAS SOUPS 8037616 WITH SCORE 8049624.011
AT ITER 552 NEW BEST:: SOT 18125962 SOS 12008011 HAS SOPS 9176578 HAS SOUS 8238693 HAS SOUPS 8035235 WITH SCORE 8047243.011
AT ITER 553 NEW BEST:: SOT 18125962 SOS 12008011 HAS SOPS 9175012 HAS SOUS 8237599 HAS SOUPS 8033669 WITH SCORE 8045677.011
AT ITER 564 NEW BEST:: SOT 18125681 SOS 12007495 HAS SOPS 9174496 HAS SOUS 8237083 HAS SOUPS 8033153 WITH SCORE 8045160.495
AT ITER 565 NEW BEST:: SOT 18125681 SOS 12007495 HAS SOPS 9172257 HAS SOUS 8235298 HAS SOUPS 8030767 WITH SCORE 8042774.495
AT ITER 575 NEW BEST:: SOT 18125975 SOS 12008492 HAS SOPS 9171791 HAS SOUS 8234833 HAS SOUPS 8030302 WITH SCORE 8042310.492
AT ITER 580 NEW BEST:: SOT 18126160 SOS 12008677 HAS SOPS 9171787 HAS SOUS 8234829 HAS SOUPS 8030298 WITH SCORE 8042306.677
AT ITER 584 NEW BEST:: SOT 18126160 SOS 12008677 HAS SOPS 9171467 HAS SOUS 8234510 HAS SOUPS 8029979 WITH SCORE 8041987.677
AT ITER 588 NEW BEST:: SOT 18126111 SOS 12008628 HAS SOPS 9171343 HAS SOUS 8234042 HAS SOUPS 8029511 WITH SCORE 8041519.628
AT ITER 589 NEW BEST:: SOT 18126111 SOS 12008628 HAS SOPS 9170506 HAS SOUS 8233205 HAS SOUPS 8028674 WITH SCORE 8040682.628
AT ITER 597 NEW BEST:: SOT 18127021 SOS 12062408 HAS SOPS 9169001 HAS SOUS 8232590 HAS SOUPS 8027169 WITH SCORE 8039231.408
AT ITER 599 NEW BEST:: SOT 18127729 SOS 12063576 HAS SOPS 9168941 HAS SOUS 8232531 HAS SOUPS 8027110 WITH SCORE 8039173.576
AT ITER 603 NEW BEST:: SOT 18127729 SOS 12063576 HAS SOPS 9168553 HAS SOUS 8232198 HAS SOUPS 8026723 WITH SCORE 8038786.576
AT ITER 609 NEW BEST:: SOT 18127729 SOS 12063576 HAS SOPS 9168501 HAS SOUS 8232146 HAS SOUPS 8026671 WITH SCORE 8038734.576
AT ITER 613 NEW BEST:: SOT 18127961 SOS 12064039 HAS SOPS 9167501 HAS SOUS 8232954 HAS SOUPS 8025672 WITH SCORE 8037736.039
AT ITER 625 NEW BEST:: SOT 18127961 SOS 12064039 HAS SOPS 9167483 HAS SOUS 8231971 HAS SOUPS 8024689 WITH SCORE 8036753.039
AT ITER 631 NEW BEST:: SOT 18127961 SOS 12064039 HAS SOPS 9167482 HAS SOUS 8231112 HAS SOUPS 8023774 WITH SCORE 8035838.039
AT ITER 632 NEW BEST:: SOT 18127991 SOS 12064229 HAS SOPS 9166268 HAS SOUS 8230056 HAS SOUPS 8022561 WITH SCORE 8034625.229
AT ITER 633 NEW BEST:: SOT 18127991 SOS 12064229 HAS SOPS 9166090 HAS SOUS 8229702 HAS SOUPS 8022207 WITH SCORE 8034271.229
AT ITER 645 NEW BEST:: SOT 18128006 SOS 12064254 HAS SOPS 9165121 HAS SOUS 8228734 HAS SOUPS 8021239 WITH SCORE 8033303.254
AT ITER 646 NEW BEST:: SOT 18128006 SOS 12064254 HAS SOPS 9164788 HAS SOUS 8228602 HAS SOUPS 8020906 WITH SCORE 8032970.254
AT ITER 647 NEW BEST:: SOT 18127956 SOS 12064154 HAS SOPS 9164688 HAS SOUS 8228502 HAS SOUPS 8020806 WITH SCORE 8032870.154
AT ITER 649 NEW BEST:: SOT 18127956 SOS 12064154 HAS SOPS 9164037 HAS SOUS 8226631 HAS SOUPS 8018935 WITH SCORE 8030999.154
AT ITER 652 NEW BEST:: SOT 18127737 SOS 12063935 HAS SOPS 9163818 HAS SOUS 8226412 HAS SOUPS 8018716 WITH SCORE 8030779.935
AT ITER 653 NEW BEST:: SOT 18127737 SOS 12063935 HAS SOPS 9162828 HAS SOUS 8225168 HAS SOUPS 8017472 WITH SCORE 8029535.935
AT ITER 655 NEW BEST:: SOT 18127737 SOS 12064310 HAS SOPS 9162088 HAS SOUS 8223694 HAS SOUPS 8015619 WITH SCORE 8027683.31
AT ITER 662 NEW BEST:: SOT 18127737 SOS 12064310 HAS SOPS 9160848 HAS SOUS 8222003 HAS SOUPS 8013727 WITH SCORE 8025791.31
AT ITER 663 NEW BEST:: SOT 18127737 SOS 12064310 HAS SOPS 9159833 HAS SOUS 8220990 HAS SOUPS 8012714 WITH SCORE 8024778.31
AT ITER 668 NEW BEST:: SOT 18127737 SOS 12064310 HAS SOPS 9159760 HAS SOUS 8221438 HAS SOUPS 8012635 WITH SCORE 8024699.31
AT ITER 669 NEW BEST:: SOT 18127737 SOS 12064310 HAS SOPS 9159757 HAS SOUS 8221435 HAS SOUPS 8012632 WITH SCORE 8024696.31
AT ITER 670 NEW BEST:: SOT 18125429 SOS 12062002 HAS SOPS 9158557 HAS SOUS 8221182 HAS SOUPS 8012379 WITH SCORE 8024441.002
AT ITER 673 NEW BEST:: SOT 18126401 SOS 12062650 HAS SOPS 9160500 HAS SOUS 8214378 HAS SOUPS 8005899 WITH SCORE 8017961.65
AT ITER 676 NEW BEST:: SOT 18125949 SOS 12045474 HAS SOPS 9143776 HAS SOUS 8213474 HAS SOUPS 8004995 WITH SCORE 8017040.474
AT ITER 677 NEW BEST:: SOT 18125949 SOS 12045474 HAS SOPS 9142696 HAS SOUS 8211214 HAS SOUPS 8002735 WITH SCORE 8014780.474
AT ITER 678 NEW BEST:: SOT 18125949 SOS 12045474 HAS SOPS 9142250 HAS SOUS 8210922 HAS SOUPS 8002289 WITH SCORE 8014334.474
AT ITER 686 NEW BEST:: SOT 18125949 SOS 12045474 HAS SOPS 9141295 HAS SOUS 8208781 HAS SOUPS 8000121 WITH SCORE 8012166.474
AT ITER 688 NEW BEST:: SOT 18125949 SOS 12045474 HAS SOPS 9140487 HAS SOUS 8206950 HAS SOUPS 7998290 WITH SCORE 8010335.474
AT ITER 690 NEW BEST:: SOT 18124983 SOS 12044217 HAS SOPS 9139230 HAS SOUS 8205693 HAS SOUPS 7997033 WITH SCORE 8009077.217
AT ITER 691 NEW BEST:: SOT 18124983 SOS 12044217 HAS SOPS 9138622 HAS SOUS 8204477 HAS SOUPS 7995817 WITH SCORE 8007861.217
AT ITER 692 NEW BEST:: SOT 18124983 SOS 12044217 HAS SOPS 9138323 HAS SOUS 8204055 HAS SOUPS 7995220 WITH SCORE 8007264.217
AT ITER 696 NEW BEST:: SOT 18124983 SOS 12044217 HAS SOPS 9137401 HAS SOUS 8203133 HAS SOUPS 7994298 WITH SCORE 8006342.217
AT ITER 697 NEW BEST:: SOT 18124983 SOS 12044217 HAS SOPS 9136365 HAS SOUS 8201129 HAS SOUPS 7992226 WITH SCORE 8004270.217
AT ITER 699 NEW BEST:: SOT 18124983 SOS 12044217 HAS SOPS 9135344 HAS SOUS 8198885 HAS SOUPS 7989982 WITH SCORE 8002026.217
AT ITER 702 NEW BEST:: SOT 18124983 SOS 12044217 HAS SOPS 9134777 HAS SOUS 8198318 HAS SOUPS 7989415 WITH SCORE 8001459.217
AT ITER 708 NEW BEST:: SOT 18124997 SOS 12057671 HAS SOPS 9134567 HAS SOUS 8198332 HAS SOUPS 7989205 WITH SCORE 8001262.671
AT ITER 709 NEW BEST:: SOT 18124997 SOS 12057671 HAS SOPS 9133460 HAS SOUS 8197365 HAS SOUPS 7987822 WITH SCORE 7999879.671
AT ITER 711 NEW BEST:: SOT 18124997 SOS 12057671 HAS SOPS 9132204 HAS SOUS 8196110 HAS SOUPS 7986567 WITH SCORE 7998624.671
AT ITER 712 NEW BEST:: SOT 18124997 SOS 12057671 HAS SOPS 9131878 HAS SOUS 8194531 HAS SOUPS 7984988 WITH SCORE 7997045.671
AT ITER 716 NEW BEST:: SOT 18124997 SOS 12057671 HAS SOPS 9132958 HAS SOUS 8194530 HAS SOUPS 7984987 WITH SCORE 7997044.671
AT ITER 725 NEW BEST:: SOT 18125720 SOS 12058928 HAS SOPS 9132783 HAS SOUS 8194356 HAS SOUPS 7984813 WITH SCORE 7996871.928
AT ITER 734 NEW BEST:: SOT 18126198 SOS 12059934 HAS SOPS 9132497 HAS SOUS 8194071 HAS SOUPS 7984528 WITH SCORE 7996587.934
AT ITER 747 NEW BEST:: SOT 18126198 SOS 12059934 HAS SOPS 9131584 HAS SOUS 8192247 HAS SOUPS 7982704 WITH SCORE 7994763.934
AT ITER 748 NEW BEST:: SOT 18126198 SOS 12059934 HAS SOPS 9131583 HAS SOUS 8191570 HAS SOUPS 7982027 WITH SCORE 7994086.934
AT ITER 754 NEW BEST:: SOT 18126198 SOS 12059934 HAS SOPS 9130573 HAS SOUS 8189549 HAS SOUPS 7979802 WITH SCORE 7991861.934
AT ITER 758 NEW BEST:: SOT 18125493 SOS 12018322 HAS SOPS 9071003 HAS SOUS 8167614 HAS SOUPS 7957867 WITH SCORE 7969885.322
AT ITER 759 NEW BEST:: SOT 18124606 SOS 11984616 HAS SOPS 9038184 HAS SOUS 8165840 HAS SOUPS 7956093 WITH SCORE 7968077.616
AT ITER 772 NEW BEST:: SOT 18124139 SOS 11984149 HAS SOPS 9037314 HAS SOUS 8165034 HAS SOUPS 7955223 WITH SCORE 7967207.149
AT ITER 775 NEW BEST:: SOT 18124139 SOS 11984149 HAS SOPS 9036288 HAS SOUS 8162787 HAS SOUPS 7952976 WITH SCORE 7964960.149
AT ITER 777 NEW BEST:: SOT 18121014 SOS 11981024 HAS SOPS 9035510 HAS SOUS 8159662 HAS SOUPS 7952198 WITH SCORE 7964179.024
AT ITER 778 NEW BEST:: SOT 18121802 SOS 11981218 HAS SOPS 9036346 HAS SOUS 8152971 HAS SOUPS 7945804 WITH SCORE 7957785.218
AT ITER 781 NEW BEST:: SOT 18121802 SOS 11981218 HAS SOPS 9036345 HAS SOUS 8151535 HAS SOUPS 7944680 WITH SCORE 7956661.218
AT ITER 782 NEW BEST:: SOT 18122109 SOS 11981993 HAS SOPS 9036274 HAS SOUS 8152007 HAS SOUPS 7944609 WITH SCORE 7956590.993
AT ITER 785 NEW BEST:: SOT 18121108 SOS 11980337 HAS SOPS 9034618 HAS SOUS 8150351 HAS SOUPS 7942953 WITH SCORE 7954933.337
AT ITER 786 NEW BEST:: SOT 18121108 SOS 11980337 HAS SOPS 9033742 HAS SOUS 8148601 HAS SOUPS 7941203 WITH SCORE 7953183.337
AT ITER 787 NEW BEST:: SOT 18121351 SOS 11980817 HAS SOPS 9032755 HAS SOUS 8147615 HAS SOUPS 7940217 WITH SCORE 7952197.817
AT ITER 804 NEW BEST:: SOT 18121497 SOS 11981452 HAS SOPS 9032322 HAS SOUS 8147823 HAS SOUPS 7939784 WITH SCORE 7951765.452
AT ITER 805 NEW BEST:: SOT 18121497 SOS 11981452 HAS SOPS 9031977 HAS SOUS 8147135 HAS SOUPS 7939096 WITH SCORE 7951077.452
AT ITER 813 NEW BEST:: SOT 18121497 SOS 11981452 HAS SOPS 9031161 HAS SOUS 8145145 HAS SOUPS 7937046 WITH SCORE 7949027.452
AT ITER 817 NEW BEST:: SOT 18121497 SOS 11981452 HAS SOPS 9031264 HAS SOUS 8143386 HAS SOUPS 7935937 WITH SCORE 7947918.452
AT ITER 821 NEW BEST:: SOT 18121491 SOS 11981446 HAS SOPS 9031258 HAS SOUS 8143380 HAS SOUPS 7935931 WITH SCORE 7947912.446
AT ITER 825 NEW BEST:: SOT 18121491 SOS 11981446 HAS SOPS 9030108 HAS SOUS 8142183 HAS SOUPS 7934276 WITH SCORE 7946257.446
AT ITER 838 NEW BEST:: SOT 18120406 SOS 11979902 HAS SOPS 9028564 HAS SOUS 8140639 HAS SOUPS 7932732 WITH SCORE 7944711.902
AT ITER 842 NEW BEST:: SOT 18120406 SOS 11979902 HAS SOPS 9028090 HAS SOUS 8139235 HAS SOUPS 7931022 WITH SCORE 7943001.902
AT ITER 854 NEW BEST:: SOT 18120406 SOS 11979902 HAS SOPS 9028298 HAS SOUS 8138242 HAS SOUPS 7930029 WITH SCORE 7942008.902
AT ITER 855 NEW BEST:: SOT 18120406 SOS 11979902 HAS SOPS 9027108 HAS SOUS 8137054 HAS SOUPS 7928841 WITH SCORE 7940820.902
AT ITER 856 NEW BEST:: SOT 18120406 SOS 11979902 HAS SOPS 9026706 HAS SOUS 8136680 HAS SOUPS 7928440 WITH SCORE 7940419.902
AT ITER 858 NEW BEST:: SOT 18120406 SOS 11979902 HAS SOPS 9026650 HAS SOUS 8136625 HAS SOUPS 7928385 WITH SCORE 7940364.902
AT ITER 859 NEW BEST:: SOT 18120406 SOS 11979902 HAS SOPS 9026405 HAS SOUS 8136309 HAS SOUPS 7928069 WITH SCORE 7940048.902
AT ITER 861 NEW BEST:: SOT 18120406 SOS 11979902 HAS SOPS 9025303 HAS SOUS 8134404 HAS SOUPS 7925756 WITH SCORE 7937735.902
AT ITER 863 NEW BEST:: SOT 18120266 SOS 11979762 HAS SOPS 9025026 HAS SOUS 8133315 HAS SOUPS 7924277 WITH SCORE 7936256.762
AT ITER 865 NEW BEST:: SOT 18120921 SOS 11980417 HAS SOPS 9025680 HAS SOUS 8133288 HAS SOUPS 7924250 WITH SCORE 7936230.417
AT ITER 867 NEW BEST:: SOT 18120921 SOS 11980417 HAS SOPS 9025540 HAS SOUS 8133010 HAS SOUPS 7923972 WITH SCORE 7935952.417
AT ITER 868 NEW BEST:: SOT 18120921 SOS 11980417 HAS SOPS 9024857 HAS SOUS 8132833 HAS SOUPS 7923771 WITH SCORE 7935751.417
AT ITER 878 NEW BEST:: SOT 18120921 SOS 11980417 HAS SOPS 9023814 HAS SOUS 8130557 HAS SOUPS 7921495 WITH SCORE 7933475.417
AT ITER 884 NEW BEST:: SOT 18120932 SOS 11982078 HAS SOPS 9023770 HAS SOUS 8130583 HAS SOUPS 7921451 WITH SCORE 7933433.078
AT ITER 887 NEW BEST:: SOT 18120932 SOS 11982078 HAS SOPS 9023335 HAS SOUS 8129715 HAS SOUPS 7920583 WITH SCORE 7932565.078
AT ITER 890 NEW BEST:: SOT 18120932 SOS 11982078 HAS SOPS 9022353 HAS SOUS 8128609 HAS SOUPS 7919477 WITH SCORE 7931459.078
AT ITER 891 NEW BEST:: SOT 18120932 SOS 11982078 HAS SOPS 9020593 HAS SOUS 8126894 HAS SOUPS 7917633 WITH SCORE 7929615.078
AT ITER 893 NEW BEST:: SOT 18120932 SOS 11982078 HAS SOPS 9019432 HAS SOUS 8124482 HAS SOUPS 7915221 WITH SCORE 7927203.078
AT ITER 897 NEW BEST:: SOT 18121207 SOS 11982627 HAS SOPS 9018463 HAS SOUS 8124212 HAS SOUPS 7914253 WITH SCORE 7926235.627
AT ITER 902 NEW BEST:: SOT 18121207 SOS 11982627 HAS SOPS 9017372 HAS SOUS 8122054 HAS SOUPS 7911959 WITH SCORE 7923941.627
AT ITER 915 NEW BEST:: SOT 18120735 SOS 11982155 HAS SOPS 9016428 HAS SOUS 8121305 HAS SOUPS 7911015 WITH SCORE 7922997.155
AT ITER 921 NEW BEST:: SOT 18120735 SOS 11982155 HAS SOPS 9016168 HAS SOUS 8121487 HAS SOUPS 7910755 WITH SCORE 7922737.155
AT ITER 922 NEW BEST:: SOT 18120735 SOS 11982155 HAS SOPS 9015825 HAS SOUS 8121145 HAS SOUPS 7910413 WITH SCORE 7922395.155
AT ITER 924 NEW BEST:: SOT 18120735 SOS 11982155 HAS SOPS 9013878 HAS SOUS 8119199 HAS SOUPS 7908467 WITH SCORE 7920449.155
AT ITER 926 NEW BEST:: SOT 18120735 SOS 11982155 HAS SOPS 9013028 HAS SOUS 8117096 HAS SOUPS 7906364 WITH SCORE 7918346.155
AT ITER 933 NEW BEST:: SOT 18120269 SOS 11964447 HAS SOPS 8995786 HAS SOUS 8116164 HAS SOUPS 7905432 WITH SCORE 7917396.447
AT ITER 934 NEW BEST:: SOT 18120269 SOS 11964447 HAS SOPS 8993297 HAS SOUS 8113720 HAS SOUPS 7902945 WITH SCORE 7914909.447
AT ITER 936 NEW BEST:: SOT 18120317 SOS 11964495 HAS SOPS 8992093 HAS SOUS 8112517 HAS SOUPS 7901742 WITH SCORE 7913706.495
AT ITER 937 NEW BEST:: SOT 18120317 SOS 11964495 HAS SOPS 8991187 HAS SOUS 8110366 HAS SOUPS 7899591 WITH SCORE 7911555.495
AT ITER 946 NEW BEST:: SOT 18120317 SOS 11964495 HAS SOPS 8991186 HAS SOUS 8109561 HAS SOUPS 7898786 WITH SCORE 7910750.495
AT ITER 947 NEW BEST:: SOT 18120193 SOS 11964371 HAS SOPS 8991894 HAS SOUS 8108547 HAS SOUPS 7897948 WITH SCORE 7909912.371
AT ITER 950 NEW BEST:: SOT 18120193 SOS 11964371 HAS SOPS 8991894 HAS SOUS 8108352 HAS SOUPS 7897753 WITH SCORE 7909717.371
AT ITER 955 NEW BEST:: SOT 18119532 SOS 11963710 HAS SOPS 8992337 HAS SOUS 8107740 HAS SOUPS 7897141 WITH SCORE 7909104.71
AT ITER 957 NEW BEST:: SOT 18119532 SOS 11963710 HAS SOPS 8991460 HAS SOUS 8105988 HAS SOUPS 7895389 WITH SCORE 7907352.71
AT ITER 960 NEW BEST:: SOT 18119532 SOS 11963710 HAS SOPS 8990862 HAS SOUS 8104502 HAS SOUPS 7893903 WITH SCORE 7905866.71
AT ITER 963 NEW BEST:: SOT 18119532 SOS 11963710 HAS SOPS 8989876 HAS SOUS 8104286 HAS SOUPS 7892918 WITH SCORE 7904881.71
AT ITER 965 NEW BEST:: SOT 18119532 SOS 11963710 HAS SOPS 8989113 HAS SOUS 8103688 HAS SOUPS 7892150 WITH SCORE 7904113.71
AT ITER 967 NEW BEST:: SOT 18119541 SOS 11963859 HAS SOPS 8987886 HAS SOUS 8102526 HAS SOUPS 7890924 WITH SCORE 7902887.859
AT ITER 969 NEW BEST:: SOT 18119541 SOS 11963859 HAS SOPS 8987982 HAS SOUS 8102105 HAS SOUPS 7890503 WITH SCORE 7902466.859
AT ITER 978 NEW BEST:: SOT 18119541 SOS 11963859 HAS SOPS 8987702 HAS SOUS 8101546 HAS SOUPS 7889944 WITH SCORE 7901907.859
AT ITER 986 NEW BEST:: SOT 18119212 SOS 11951357 HAS SOPS 8975529 HAS SOUS 8100888 HAS SOUPS 7889286 WITH SCORE 7901237.357
AT ITER 988 NEW BEST:: SOT 18119212 SOS 11951357 HAS SOPS 8975920 HAS SOUS 8100095 HAS SOUPS 7888493 WITH SCORE 7900444.357
AT ITER 990 NEW BEST:: SOT 18119212 SOS 11951357 HAS SOPS 8975920 HAS SOUS 8099445 HAS SOUPS 7887843 WITH SCORE 7899794.357
AT ITER 992 NEW BEST:: SOT 18119212 SOS 11952213 HAS SOPS 8975539 HAS SOUS 8097830 HAS SOUPS 7886228 WITH SCORE 7898180.213
AT ITER 993 NEW BEST:: SOT 18119212 SOS 11952213 HAS SOPS 8976355 HAS SOUS 8097829 HAS SOUPS 7886227 WITH SCORE 7898179.213
AT ITER 994 NEW BEST:: SOT 18119880 SOS 11952881 HAS SOPS 8976478 HAS SOUS 8097635 HAS SOUPS 7885682 WITH SCORE 7897634.881
AT ITER 996 NEW BEST:: SOT 18119880 SOS 11952881 HAS SOPS 8975800 HAS SOUS 8096298 HAS SOUPS 7884328 WITH SCORE 7896280.881
AT ITER 997 NEW BEST:: SOT 18119889 SOS 11955110 HAS SOPS 8975735 HAS SOUS 8096321 HAS SOUPS 7884263 WITH SCORE 7896218.11
AT ITER 998 NEW BEST:: SOT 18119889 SOS 11955110 HAS SOPS 8974260 HAS SOUS 8094590 HAS SOUPS 7882090 WITH SCORE 7894045.11
AT ITER 1002 NEW BEST:: SOT 18119889 SOS 11955110 HAS SOPS 8973467 HAS SOUS 8092568 HAS SOUPS 7880062 WITH SCORE 7892017.11
AT ITER 1005 NEW BEST:: SOT 18119889 SOS 11955110 HAS SOPS 8973272 HAS SOUS 8092246 HAS SOUPS 7879740 WITH SCORE 7891695.11
AT ITER 1009 NEW BEST:: SOT 18119889 SOS 11955110 HAS SOPS 8973165 HAS SOUS 8092139 HAS SOUPS 7879633 WITH SCORE 7891588.11
AT ITER 1014 NEW BEST:: SOT 18119889 SOS 11955110 HAS SOPS 8971910 HAS SOUS 8091646 HAS SOUPS 7879140 WITH SCORE 7891095.11
AT ITER 1018 NEW BEST:: SOT 18119889 SOS 11955110 HAS SOPS 8971475 HAS SOUS 8090949 HAS SOUPS 7878270 WITH SCORE 7890225.11
AT ITER 1021 NEW BEST:: SOT 18119889 SOS 11955110 HAS SOPS 8970925 HAS SOUS 8090399 HAS SOUPS 7877720 WITH SCORE 7889675.11
AT ITER 1026 NEW BEST:: SOT 18119930 SOS 11997571 HAS SOPS 8970222 HAS SOUS 8090403 HAS SOUPS 7877017 WITH SCORE 7889014.571
AT ITER 1029 NEW BEST:: SOT 18119930 SOS 11997571 HAS SOPS 8969995 HAS SOUS 8090176 HAS SOUPS 7876790 WITH SCORE 7888787.571
AT ITER 1030 NEW BEST:: SOT 18119930 SOS 11997571 HAS SOPS 8970883 HAS SOUS 8090175 HAS SOUPS 7876789 WITH SCORE 7888786.571
AT ITER 1035 NEW BEST:: SOT 18119930 SOS 11997571 HAS SOPS 8970795 HAS SOUS 8090087 HAS SOUPS 7876701 WITH SCORE 7888698.571
AT ITER 1041 NEW BEST:: SOT 18119543 SOS 11997184 HAS SOPS 8971181 HAS SOUS 8089313 HAS SOUPS 7875927 WITH SCORE 7887924.184
AT ITER 1049 NEW BEST:: SOT 18119575 SOS 11997300 HAS SOPS 8969975 HAS SOUS 8088212 HAS SOUPS 7874722 WITH SCORE 7886719.3
AT ITER 1055 NEW BEST:: SOT 18119737 SOS 11997623 HAS SOPS 8968881 HAS SOUS 8087119 HAS SOUPS 7873629 WITH SCORE 7885626.623
AT ITER 1059 NEW BEST:: SOT 18119873 SOS 11997894 HAS SOPS 8968606 HAS SOUS 8086917 HAS SOUPS 7873354 WITH SCORE 7885351.894
AT ITER 1070 NEW BEST:: SOT 18120079 SOS 11998626 HAS SOPS 8968153 HAS SOUS 8086799 HAS SOUPS 7872901 WITH SCORE 7884899.626
AT ITER 1071 NEW BEST:: SOT 18120079 SOS 11998626 HAS SOPS 8967362 HAS SOUS 8085219 HAS SOUPS 7871321 WITH SCORE 7883319.626
AT ITER 1078 NEW BEST:: SOT 18120079 SOS 11998626 HAS SOPS 8966126 HAS SOUS 8082777 HAS SOUPS 7868879 WITH SCORE 7880877.626
AT ITER 1079 NEW BEST:: SOT 18121630 SOS 12000177 HAS SOPS 8965808 HAS SOUS 8081885 HAS SOUPS 7867987 WITH SCORE 7879987.177
AT ITER 1083 NEW BEST:: SOT 18121630 SOS 12000177 HAS SOPS 8965684 HAS SOUS 8081761 HAS SOUPS 7867863 WITH SCORE 7879863.177
AT ITER 1085 NEW BEST:: SOT 18121630 SOS 12000177 HAS SOPS 8964643 HAS SOUS 8079681 HAS SOUPS 7865783 WITH SCORE 7877783.177
AT ITER 1093 NEW BEST:: SOT 18121945 SOS 12000914 HAS SOPS 8964608 HAS SOUS 8080217 HAS SOUPS 7865748 WITH SCORE 7877748.914
AT ITER 1095 NEW BEST:: SOT 18121945 SOS 12000914 HAS SOPS 8964607 HAS SOUS 8079976 HAS SOUPS 7865507 WITH SCORE 7877507.914
AT ITER 1096 NEW BEST:: SOT 18121854 SOS 12000823 HAS SOPS 8964334 HAS SOUS 8079794 HAS SOUPS 7865234 WITH SCORE 7877234.823
AT ITER 1097 NEW BEST:: SOT 18121854 SOS 12000823 HAS SOPS 8963670 HAS SOUS 8077891 HAS SOUPS 7863331 WITH SCORE 7875331.823
AT ITER 1110 NEW BEST:: SOT 18121854 SOS 12000823 HAS SOPS 8963162 HAS SOUS 8077691 HAS SOUPS 7862783 WITH SCORE 7874783.823
AT ITER 1113 NEW BEST:: SOT 18122459 SOS 12001428 HAS SOPS 8962597 HAS SOUS 8078805 HAS SOUPS 7862219 WITH SCORE 7874220.428
AT ITER 1115 NEW BEST:: SOT 18122459 SOS 12001428 HAS SOPS 8961461 HAS SOUS 8077173 HAS SOUPS 7859949 WITH SCORE 7871950.428
AT ITER 1116 NEW BEST:: SOT 18122459 SOS 12001428 HAS SOPS 8960721 HAS SOUS 8076928 HAS SOUPS 7858833 WITH SCORE 7870834.428
AT ITER 1120 NEW BEST:: SOT 18122651 SOS 12001811 HAS SOPS 8959697 HAS SOUS 8076089 HAS SOUPS 7857810 WITH SCORE 7869811.811
AT ITER 1124 NEW BEST:: SOT 18122651 SOS 12001121 HAS SOPS 8959697 HAS SOUS 8076066 HAS SOUPS 7857810 WITH SCORE 7869811.121
AT ITER 1126 NEW BEST:: SOT 18122651 SOS 12001121 HAS SOPS 8958889 HAS SOUS 8074005 HAS SOUPS 7855749 WITH SCORE 7867750.121
AT ITER 1128 NEW BEST:: SOT 18122651 SOS 12001121 HAS SOPS 8958888 HAS SOUS 8073667 HAS SOUPS 7855411 WITH SCORE 7867412.121
AT ITER 1130 NEW BEST:: SOT 18122651 SOS 12001121 HAS SOPS 8958233 HAS SOUS 8072357 HAS SOUPS 7854101 WITH SCORE 7866102.121
AT ITER 1131 NEW BEST:: SOT 18122651 SOS 12001121 HAS SOPS 8957392 HAS SOUS 8071271 HAS SOUPS 7853015 WITH SCORE 7865016.121
AT ITER 1137 NEW BEST:: SOT 18129388 SOS 12006468 HAS SOPS 8966465 HAS SOUS 8064365 HAS SOUPS 7846888 WITH SCORE 7858894.468
AT ITER 1138 NEW BEST:: SOT 18129388 SOS 12006468 HAS SOPS 8965733 HAS SOUS 8062813 HAS SOUPS 7845336 WITH SCORE 7857342.468
AT ITER 1141 NEW BEST:: SOT 18128578 SOS 12005658 HAS SOPS 8963302 HAS SOUS 8061433 HAS SOUPS 7842906 WITH SCORE 7854911.658
AT ITER 1146 NEW BEST:: SOT 18128578 SOS 12005658 HAS SOPS 8962747 HAS SOUS 8060627 HAS SOUPS 7841798 WITH SCORE 7853803.658
AT ITER 1148 NEW BEST:: SOT 18129291 SOS 12007083 HAS SOPS 8962204 HAS SOUS 8060085 HAS SOUPS 7841256 WITH SCORE 7853263.083
AT ITER 1154 NEW BEST:: SOT 18129291 SOS 12007083 HAS SOPS 8960701 HAS SOUS 8058583 HAS SOUPS 7839754 WITH SCORE 7851761.083
AT ITER 1155 NEW BEST:: SOT 18129291 SOS 12007083 HAS SOPS 8960431 HAS SOUS 8058313 HAS SOUPS 7839484 WITH SCORE 7851491.083
AT ITER 1160 NEW BEST:: SOT 18128631 SOS 12005829 HAS SOPS 8958517 HAS SOUS 8057365 HAS SOUPS 7837570 WITH SCORE 7849575.829
AT ITER 1165 NEW BEST:: SOT 18130091 SOS 12007289 HAS SOPS 8959573 HAS SOUS 8057230 HAS SOUPS 7837410 WITH SCORE 7849417.289
AT ITER 1166 NEW BEST:: SOT 18129373 SOS 12005853 HAS SOPS 8958137 HAS SOUS 8055794 HAS SOUPS 7835974 WITH SCORE 7847979.853
AT ITER 1175 NEW BEST:: SOT 18128918 SOS 12005398 HAS SOPS 8957744 HAS SOUS 8053708 HAS SOUPS 7833888 WITH SCORE 7845893.398
AT ITER 1178 NEW BEST:: SOT 18128918 SOS 12005398 HAS SOPS 8956929 HAS SOUS 8053261 HAS SOUPS 7833441 WITH SCORE 7845446.398
AT ITER 1179 NEW BEST:: SOT 18128918 SOS 12005398 HAS SOPS 8955413 HAS SOUS 8052603 HAS SOUPS 7832462 WITH SCORE 7844467.398
AT ITER 1180 NEW BEST:: SOT 18128918 SOS 12005398 HAS SOPS 8954310 HAS SOUS 8050255 HAS SOUPS 7830114 WITH SCORE 7842119.398
AT ITER 1183 NEW BEST:: SOT 18128918 SOS 12005398 HAS SOPS 8954136 HAS SOUS 8050081 HAS SOUPS 7829940 WITH SCORE 7841945.398
AT ITER 1192 NEW BEST:: SOT 18128918 SOS 12005398 HAS SOPS 8954135 HAS SOUS 8049995 HAS SOUPS 7829854 WITH SCORE 7841859.398
AT ITER 1194 NEW BEST:: SOT 18128397 SOS 12004877 HAS SOPS 8952786 HAS SOUS 8049370 HAS SOUPS 7828291 WITH SCORE 7840295.877
AT ITER 1202 NEW BEST:: SOT 18128397 SOS 12004877 HAS SOPS 8953053 HAS SOUS 8049027 HAS SOUPS 7827948 WITH SCORE 7839952.877
AT ITER 1204 NEW BEST:: SOT 18128397 SOS 12004877 HAS SOPS 8952329 HAS SOUS 8047649 HAS SOUPS 7826570 WITH SCORE 7838574.877
AT ITER 1210 NEW BEST:: SOT 18128397 SOS 12004877 HAS SOPS 8951824 HAS SOUS 8047255 HAS SOUPS 7826065 WITH SCORE 7838069.877
AT ITER 1215 NEW BEST:: SOT 18137704 SOS 11971738 HAS SOPS 8885775 HAS SOUS 8021388 HAS SOUPS 7798927 WITH SCORE 7810898.738
AT ITER 1222 NEW BEST:: SOT 18137704 SOS 11971738 HAS SOPS 8885308 HAS SOUS 8021388 HAS SOUPS 7798460 WITH SCORE 7810431.738
AT ITER 1224 NEW BEST:: SOT 18137704 SOS 11971738 HAS SOPS 8884125 HAS SOUS 8020142 HAS SOUPS 7797214 WITH SCORE 7809185.738
AT ITER 1226 NEW BEST:: SOT 18137030 SOS 11970390 HAS SOPS 8883057 HAS SOUS 8019074 HAS SOUPS 7796146 WITH SCORE 7808116.39
AT ITER 1234 NEW BEST:: SOT 18137233 SOS 11970790 HAS SOPS 8882030 HAS SOUS 8019907 HAS SOUPS 7795120 WITH SCORE 7807090.79
AT ITER 1236 NEW BEST:: SOT 18137233 SOS 11970790 HAS SOPS 8881328 HAS SOUS 8020242 HAS SOUPS 7794979 WITH SCORE 7806949.79
AT ITER 1243 NEW BEST:: SOT 18137233 SOS 11970790 HAS SOPS 8880929 HAS SOUS 8019623 HAS SOUPS 7794360 WITH SCORE 7806330.79
AT ITER 1248 NEW BEST:: SOT 18137233 SOS 11970790 HAS SOPS 8880893 HAS SOUS 8019587 HAS SOUPS 7794324 WITH SCORE 7806294.79
AT ITER 1256 NEW BEST:: SOT 18136878 SOS 11970435 HAS SOPS 8880182 HAS SOUS 8018876 HAS SOUPS 7793613 WITH SCORE 7805583.435
AT ITER 1261 NEW BEST:: SOT 18136878 SOS 11970435 HAS SOPS 8879833 HAS SOUS 8018043 HAS SOUPS 7792780 WITH SCORE 7804750.435
AT ITER 1265 NEW BEST:: SOT 18136614 SOS 11969907 HAS SOPS 8879569 HAS SOUS 8017779 HAS SOUPS 7792516 WITH SCORE 7804485.907
AT ITER 1271 NEW BEST:: SOT 18136614 SOS 11969907 HAS SOPS 8879969 HAS SOUS 8017337 HAS SOUPS 7792163 WITH SCORE 7804132.907
AT ITER 1283 NEW BEST:: SOT 18135942 SOS 11969235 HAS SOPS 8879297 HAS SOUS 8016665 HAS SOUPS 7791491 WITH SCORE 7803460.235
AT ITER 1294 NEW BEST:: SOT 18135942 SOS 11969235 HAS SOPS 8878813 HAS SOUS 8015699 HAS SOUPS 7790525 WITH SCORE 7802494.235
AT ITER 1298 NEW BEST:: SOT 18135942 SOS 11969235 HAS SOPS 8878991 HAS SOUS 8015611 HAS SOUPS 7790437 WITH SCORE 7802406.235
AT ITER 1305 NEW BEST:: SOT 18135654 SOS 11968947 HAS SOPS 8879275 HAS SOUS 8015608 HAS SOUPS 7790434 WITH SCORE 7802402.947
AT ITER 1306 NEW BEST:: SOT 18135654 SOS 11968947 HAS SOPS 8878739 HAS SOUS 8014536 HAS SOUPS 7789362 WITH SCORE 7801330.947
AT ITER 1307 NEW BEST:: SOT 18135636 SOS 11968929 HAS SOPS 8878721 HAS SOUS 8014518 HAS SOUPS 7789344 WITH SCORE 7801312.929
AT ITER 1313 NEW BEST:: SOT 18135263 SOS 11968556 HAS SOPS 8877975 HAS SOUS 8013772 HAS SOUPS 7788598 WITH SCORE 7800566.556
AT ITER 1314 NEW BEST:: SOT 18134911 SOS 11968204 HAS SOPS 8876619 HAS SOUS 8012417 HAS SOUPS 7787243 WITH SCORE 7799211.204
AT ITER 1319 NEW BEST:: SOT 18135262 SOS 11969060 HAS SOPS 8876375 HAS SOUS 8012378 HAS SOUPS 7786999 WITH SCORE 7798968.06
AT ITER 1321 NEW BEST:: SOT 18135106 SOS 11968904 HAS SOPS 8876219 HAS SOUS 8012066 HAS SOUPS 7786687 WITH SCORE 7798655.904
AT ITER 1322 NEW BEST:: SOT 18135945 SOS 11969743 HAS SOPS 8876018 HAS SOUS 8011865 HAS SOUPS 7786486 WITH SCORE 7798455.743
AT ITER 1323 NEW BEST:: SOT 18135912 SOS 11969611 HAS SOPS 8876079 HAS SOUS 8010974 HAS SOUPS 7785628 WITH SCORE 7797597.611
AT ITER 1331 NEW BEST:: SOT 18135912 SOS 11969611 HAS SOPS 8874349 HAS SOUS 8010362 HAS SOUPS 7785016 WITH SCORE 7796985.611
AT ITER 1338 NEW BEST:: SOT 18135000 SOS 11968699 HAS SOPS 8871579 HAS SOUS 8007626 HAS SOUPS 7781368 WITH SCORE 7793336.699
AT ITER 1355 NEW BEST:: SOT 18135000 SOS 11968699 HAS SOPS 8871578 HAS SOUS 8007364 HAS SOUPS 7781106 WITH SCORE 7793074.699
AT ITER 1358 NEW BEST:: SOT 18135000 SOS 11968699 HAS SOPS 8871044 HAS SOUS 8006870 HAS SOUPS 7780573 WITH SCORE 7792541.699
AT ITER 1359 NEW BEST:: SOT 18134764 SOS 11968463 HAS SOPS 8870572 HAS SOUS 8006392 HAS SOUPS 7779859 WITH SCORE 7791827.463
AT ITER 1361 NEW BEST:: SOT 18134764 SOS 11968463 HAS SOPS 8871080 HAS SOUS 8006391 HAS SOUPS 7779858 WITH SCORE 7791826.463
AT ITER 1364 NEW BEST:: SOT 18134764 SOS 11968463 HAS SOPS 8869347 HAS SOUS 8005011 HAS SOUPS 7778478 WITH SCORE 7790446.463
AT ITER 1374 NEW BEST:: SOT 18134764 SOS 11973383 HAS SOPS 8869183 HAS SOUS 8005016 HAS SOUPS 7778314 WITH SCORE 7790287.383
AT ITER 1380 NEW BEST:: SOT 18134764 SOS 11973383 HAS SOPS 8868343 HAS SOUS 8004177 HAS SOUPS 7777475 WITH SCORE 7789448.383
AT ITER 1383 NEW BEST:: SOT 18134764 SOS 11973383 HAS SOPS 8868352 HAS SOUS 8003454 HAS SOUPS 7776752 WITH SCORE 7788725.383
AT ITER 1386 NEW BEST:: SOT 18133918 SOS 11941235 HAS SOPS 8837050 HAS SOUS 8001762 HAS SOUPS 7775060 WITH SCORE 7787001.235
AT ITER 1388 NEW BEST:: SOT 18133918 SOS 11941235 HAS SOPS 8835581 HAS SOUS 7999618 HAS SOUPS 7772916 WITH SCORE 7784857.235
AT ITER 1392 NEW BEST:: SOT 18133493 SOS 11940810 HAS SOPS 8835125 HAS SOUS 7999162 HAS SOUPS 7772460 WITH SCORE 7784400.81
AT ITER 1397 NEW BEST:: SOT 18133555 SOS 11971385 HAS SOPS 8834570 HAS SOUS 7999129 HAS SOUPS 7771905 WITH SCORE 7783876.385
AT ITER 1398 NEW BEST:: SOT 18133555 SOS 11971385 HAS SOPS 8834196 HAS SOUS 7998755 HAS SOUPS 7771531 WITH SCORE 7783502.385
AT ITER 1399 NEW BEST:: SOT 18133555 SOS 11971385 HAS SOPS 8832729 HAS SOUS 7997007 HAS SOUPS 7769783 WITH SCORE 7781754.385
AT ITER 1403 NEW BEST:: SOT 18133842 SOS 11972082 HAS SOPS 8832680 HAS SOUS 7996973 HAS SOUPS 7769734 WITH SCORE 7781706.082
AT ITER 1406 NEW BEST:: SOT 18133842 SOS 11972082 HAS SOPS 8832563 HAS SOUS 7996500 HAS SOUPS 7769261 WITH SCORE 7781233.082
AT ITER 1414 NEW BEST:: SOT 18133842 SOS 11972082 HAS SOPS 8832154 HAS SOUS 7996091 HAS SOUPS 7768852 WITH SCORE 7780824.082
AT ITER 1424 NEW BEST:: SOT 18133842 SOS 11972082 HAS SOPS 8830456 HAS SOUS 7995431 HAS SOUPS 7768192 WITH SCORE 7780164.082
AT ITER 1426 NEW BEST:: SOT 18133842 SOS 11972082 HAS SOPS 8830135 HAS SOUS 7995110 HAS SOUPS 7767871 WITH SCORE 7779843.082
AT ITER 1427 NEW BEST:: SOT 18133533 SOS 11971773 HAS SOPS 8829715 HAS SOUS 7994690 HAS SOUPS 7767451 WITH SCORE 7779422.773
AT ITER 1432 NEW BEST:: SOT 18133533 SOS 11971773 HAS SOPS 8829683 HAS SOUS 7994580 HAS SOUPS 7767341 WITH SCORE 7779312.773
AT ITER 1435 NEW BEST:: SOT 18133533 SOS 11971773 HAS SOPS 8828552 HAS SOUS 7993206 HAS SOUPS 7765967 WITH SCORE 7777938.773
AT ITER 1446 NEW BEST:: SOT 18131528 SOS 11967625 HAS SOPS 8827332 HAS SOUS 7991916 HAS SOUPS 7764748 WITH SCORE 7776715.625
AT ITER 1452 NEW BEST:: SOT 18131528 SOS 11967625 HAS SOPS 8826093 HAS SOUS 7989843 HAS SOUPS 7762675 WITH SCORE 7774642.625
AT ITER 1459 NEW BEST:: SOT 18131528 SOS 11967625 HAS SOPS 8824494 HAS SOUS 7987787 HAS SOUPS 7760389 WITH SCORE 7772356.625
AT ITER 1460 NEW BEST:: SOT 18131117 SOS 11966803 HAS SOPS 8823785 HAS SOUS 7987078 HAS SOUPS 7759680 WITH SCORE 7771646.803
AT ITER 1461 NEW BEST:: SOT 18131099 SOS 11966119 HAS SOPS 8823155 HAS SOUS 7987078 HAS SOUPS 7759680 WITH SCORE 7771646.119
AT ITER 1468 NEW BEST:: SOT 18131099 SOS 11966119 HAS SOPS 8822546 HAS SOUS 7986215 HAS SOUPS 7758817 WITH SCORE 7770783.119
AT ITER 1469 NEW BEST:: SOT 18131099 SOS 11966119 HAS SOPS 8821787 HAS SOUS 7985456 HAS SOUPS 7758058 WITH SCORE 7770024.119
AT ITER 1470 NEW BEST:: SOT 18131099 SOS 11966895 HAS SOPS 8821330 HAS SOUS 7983769 HAS SOUPS 7756371 WITH SCORE 7768337.895
AT ITER 1472 NEW BEST:: SOT 18131477 SOS 11967273 HAS SOPS 8821585 HAS SOUS 7983523 HAS SOUPS 7756125 WITH SCORE 7768092.273
AT ITER 1484 NEW BEST:: SOT 18131477 SOS 11967273 HAS SOPS 8820964 HAS SOUS 7982283 HAS SOUPS 7754885 WITH SCORE 7766852.273
AT ITER 1485 NEW BEST:: SOT 18131464 SOS 11967260 HAS SOPS 8820150 HAS SOUS 7981457 HAS SOUPS 7754059 WITH SCORE 7766026.26
AT ITER 1486 NEW BEST:: SOT 18131464 SOS 11967260 HAS SOPS 8819776 HAS SOUS 7979880 HAS SOUPS 7752482 WITH SCORE 7764449.26
AT ITER 1489 NEW BEST:: SOT 18131464 SOS 11967260 HAS SOPS 8819257 HAS SOUS 7978139 HAS SOUPS 7750741 WITH SCORE 7762708.26
AT ITER 1494 NEW BEST:: SOT 18131464 SOS 11967260 HAS SOPS 8819012 HAS SOUS 7977893 HAS SOUPS 7750495 WITH SCORE 7762462.26
AT ITER 1495 NEW BEST:: SOT 18131464 SOS 11967260 HAS SOPS 8816588 HAS SOUS 7976577 HAS SOUPS 7748956 WITH SCORE 7760923.26
AT ITER 1504 NEW BEST:: SOT 18131464 SOS 11967260 HAS SOPS 8816010 HAS SOUS 7976790 HAS SOUPS 7748378 WITH SCORE 7760345.26
AT ITER 1508 NEW BEST:: SOT 18131464 SOS 11967260 HAS SOPS 8813896 HAS SOUS 7974614 HAS SOUPS 7746202 WITH SCORE 7758169.26
AT ITER 1510 NEW BEST:: SOT 18131464 SOS 11967260 HAS SOPS 8812656 HAS SOUS 7974054 HAS SOUPS 7745837 WITH SCORE 7757804.26
AT ITER 1511 NEW BEST:: SOT 18131464 SOS 11967260 HAS SOPS 8812404 HAS SOUS 7973976 HAS SOUPS 7745585 WITH SCORE 7757552.26
AT ITER 1525 NEW BEST:: SOT 18130967 SOS 11966763 HAS SOPS 8811907 HAS SOUS 7973479 HAS SOUPS 7745088 WITH SCORE 7757054.763
AT ITER 1535 NEW BEST:: SOT 18130565 SOS 11966361 HAS SOPS 8811907 HAS SOUS 7973477 HAS SOUPS 7745088 WITH SCORE 7757054.361
AT ITER 1537 NEW BEST:: SOT 18138673 SOS 11934391 HAS SOPS 8762069 HAS SOUS 7961691 HAS SOUPS 7733302 WITH SCORE 7745236.391
AT ITER 1540 NEW BEST:: SOT 18137190 SOS 11931798 HAS SOPS 8762069 HAS SOUS 7961654 HAS SOUPS 7733302 WITH SCORE 7745233.798
AT ITER 1545 NEW BEST:: SOT 18137190 SOS 11931798 HAS SOPS 8761441 HAS SOUS 7959908 HAS SOUPS 7731556 WITH SCORE 7743487.798
AT ITER 1551 NEW BEST:: SOT 18137236 SOS 11931889 HAS SOPS 8761381 HAS SOUS 7959848 HAS SOUPS 7731496 WITH SCORE 7743427.889
AT ITER 1554 NEW BEST:: SOT 18137236 SOS 11931889 HAS SOPS 8760414 HAS SOUS 7958217 HAS SOUPS 7729776 WITH SCORE 7741707.889
AT ITER 1556 NEW BEST:: SOT 18137236 SOS 11931889 HAS SOPS 8760034 HAS SOUS 7957458 HAS SOUPS 7729017 WITH SCORE 7740948.889
AT ITER 1573 NEW BEST:: SOT 18137340 SOS 11931993 HAS SOPS 8759642 HAS SOUS 7956989 HAS SOUPS 7728026 WITH SCORE 7739957.993
AT ITER 1576 NEW BEST:: SOT 18137121 SOS 11931774 HAS SOPS 8758789 HAS SOUS 7956356 HAS SOUPS 7727393 WITH SCORE 7739324.774
AT ITER 1582 NEW BEST:: SOT 18136429 SOS 11931082 HAS SOPS 8756624 HAS SOUS 7955310 HAS SOUPS 7726347 WITH SCORE 7738278.082
AT ITER 1590 NEW BEST:: SOT 18136467 SOS 11931152 HAS SOPS 8756159 HAS SOUS 7954846 HAS SOUPS 7725883 WITH SCORE 7737814.152
AT ITER 1599 NEW BEST:: SOT 18136467 SOS 11931152 HAS SOPS 8754621 HAS SOUS 7953347 HAS SOUPS 7724384 WITH SCORE 7736315.152
AT ITER 1601 NEW BEST:: SOT 18136471 SOS 11931386 HAS SOPS 8754194 HAS SOUS 7953147 HAS SOUPS 7723957 WITH SCORE 7735888.386
AT ITER 1602 NEW BEST:: SOT 18136775 SOS 11932098 HAS SOPS 8754163 HAS SOUS 7953488 HAS SOUPS 7723926 WITH SCORE 7735858.098
AT ITER 1611 NEW BEST:: SOT 18137317 SOS 11933181 HAS SOPS 8753467 HAS SOUS 7952844 HAS SOUPS 7723231 WITH SCORE 7735164.181
AT ITER 1612 NEW BEST:: SOT 18137909 SOS 11934191 HAS SOPS 8753137 HAS SOUS 7952515 HAS SOUPS 7722902 WITH SCORE 7734836.191
AT ITER 1615 NEW BEST:: SOT 18137225 SOS 11932823 HAS SOPS 8752275 HAS SOUS 7951653 HAS SOUPS 7722040 WITH SCORE 7733972.823
AT ITER 1622 NEW BEST:: SOT 18137381 SOS 11933134 HAS SOPS 8751193 HAS SOUS 7950572 HAS SOUPS 7720959 WITH SCORE 7732892.134
AT ITER 1624 NEW BEST:: SOT 18137381 SOS 11933134 HAS SOPS 8750191 HAS SOUS 7949715 HAS SOUPS 7719958 WITH SCORE 7731891.134
AT ITER 1640 NEW BEST:: SOT 18137237 SOS 11932990 HAS SOPS 8749406 HAS SOUS 7948650 HAS SOUPS 7718893 WITH SCORE 7730825.99
AT ITER 1651 NEW BEST:: SOT 18137237 SOS 11932990 HAS SOPS 8749178 HAS SOUS 7948506 HAS SOUPS 7718665 WITH SCORE 7730597.99
AT ITER 1659 NEW BEST:: SOT 18138358 SOS 11934111 HAS SOPS 8750051 HAS SOUS 7948475 HAS SOUPS 7718418 WITH SCORE 7730352.111
AT ITER 1660 NEW BEST:: SOT 18138358 SOS 11934111 HAS SOPS 8748835 HAS SOUS 7947202 HAS SOUPS 7717202 WITH SCORE 7729136.111
AT ITER 1664 NEW BEST:: SOT 18138516 SOS 11934269 HAS SOPS 8748993 HAS SOUS 7947139 HAS SOUPS 7717139 WITH SCORE 7729073.269
AT ITER 1671 NEW BEST:: SOT 18138516 SOS 11934269 HAS SOPS 8748831 HAS SOUS 7946977 HAS SOUPS 7716977 WITH SCORE 7728911.269
AT ITER 1677 NEW BEST:: SOT 18138516 SOS 11934269 HAS SOPS 8748784 HAS SOUS 7946930 HAS SOUPS 7716930 WITH SCORE 7728864.269
AT ITER 1680 NEW BEST:: SOT 18139873 SOS 11935626 HAS SOPS 8748718 HAS SOUS 7946866 HAS SOUPS 7716866 WITH SCORE 7728801.626
AT ITER 1681 NEW BEST:: SOT 18139765 SOS 11935518 HAS SOPS 8747613 HAS SOUS 7944410 HAS SOUPS 7714410 WITH SCORE 7726345.518
AT ITER 1684 NEW BEST:: SOT 18140127 SOS 11936241 HAS SOPS 8746751 HAS SOUS 7945518 HAS SOUPS 7713549 WITH SCORE 7725485.241
AT ITER 1686 NEW BEST:: SOT 18140127 SOS 11936241 HAS SOPS 8745109 HAS SOUS 7943902 HAS SOUPS 7711907 WITH SCORE 7723843.241
AT ITER 1690 NEW BEST:: SOT 18139859 SOS 11935973 HAS SOPS 8742931 HAS SOUS 7941458 HAS SOUPS 7709463 WITH SCORE 7721398.973
AT ITER 1693 NEW BEST:: SOT 18139859 SOS 11935973 HAS SOPS 8742175 HAS SOUS 7939948 HAS SOUPS 7707953 WITH SCORE 7719888.973
AT ITER 1696 NEW BEST:: SOT 18147887 SOS 11940550 HAS SOPS 8750460 HAS SOUS 7930999 HAS SOUPS 7699962 WITH SCORE 7711902.55
AT ITER 1700 NEW BEST:: SOT 18147456 SOS 11940119 HAS SOPS 8750029 HAS SOUS 7930568 HAS SOUPS 7699531 WITH SCORE 7711471.119
AT ITER 1701 NEW BEST:: SOT 18147572 SOS 11940350 HAS SOPS 8748893 HAS SOUS 7929433 HAS SOUPS 7698396 WITH SCORE 7710336.35
AT ITER 1705 NEW BEST:: SOT 18147928 SOS 11941061 HAS SOPS 8747997 HAS SOUS 7928538 HAS SOUPS 7697501 WITH SCORE 7709442.061
AT ITER 1706 NEW BEST:: SOT 18148055 SOS 11941594 HAS SOPS 8747788 HAS SOUS 7928538 HAS SOUPS 7697292 WITH SCORE 7709233.594
AT ITER 1707 NEW BEST:: SOT 18147993 SOS 11941532 HAS SOPS 8747788 HAS SOUS 7928476 HAS SOUPS 7697292 WITH SCORE 7709233.532
AT ITER 1711 NEW BEST:: SOT 18146279 SOS 11939818 HAS SOPS 8746556 HAS SOUS 7927245 HAS SOUPS 7696061 WITH SCORE 7708000.818
AT ITER 1713 NEW BEST:: SOT 18146279 SOS 11939818 HAS SOPS 8746552 HAS SOUS 7927333 HAS SOUPS 7696057 WITH SCORE 7707996.818
AT ITER 1714 NEW BEST:: SOT 18146551 SOS 11940361 HAS SOPS 8746530 HAS SOUS 7927312 HAS SOUPS 7696036 WITH SCORE 7707976.361
AT ITER 1715 NEW BEST:: SOT 18147066 SOS 11940876 HAS SOPS 8745813 HAS SOUS 7926834 HAS SOUPS 7695320 WITH SCORE 7707260.876
AT ITER 1716 NEW BEST:: SOT 18147066 SOS 11940876 HAS SOPS 8744718 HAS SOUS 7926287 HAS SOUPS 7694773 WITH SCORE 7706713.876
AT ITER 1720 NEW BEST:: SOT 18146742 SOS 11940552 HAS SOPS 8741777 HAS SOUS 7924452 HAS SOUPS 7692938 WITH SCORE 7704878.552
AT ITER 1728 NEW BEST:: SOT 18146742 SOS 11940552 HAS SOPS 8740570 HAS SOUS 7923246 HAS SOUPS 7691732 WITH SCORE 7703672.552
AT ITER 1733 NEW BEST:: SOT 18146742 SOS 11940552 HAS SOPS 8740570 HAS SOUS 7922933 HAS SOUPS 7691419 WITH SCORE 7703359.552
AT ITER 1735 NEW BEST:: SOT 18146774 SOS 11940928 HAS SOPS 8739350 HAS SOUS 7921714 HAS SOUPS 7690200 WITH SCORE 7702140.928
AT ITER 1739 NEW BEST:: SOT 18148258 SOS 11942452 HAS SOPS 8738870 HAS SOUS 7922889 HAS SOUPS 7689721 WITH SCORE 7701663.452
AT ITER 1740 NEW BEST:: SOT 18148150 SOS 11906532 HAS SOPS 8700288 HAS SOUS 7919759 HAS SOUPS 7686591 WITH SCORE 7698497.532
AT ITER 1753 NEW BEST:: SOT 18147301 SOS 11905683 HAS SOPS 8699175 HAS SOUS 7919495 HAS SOUPS 7686327 WITH SCORE 7698232.683
AT ITER 1754 NEW BEST:: SOT 18147169 SOS 11905419 HAS SOPS 8698957 HAS SOUS 7919363 HAS SOUPS 7686195 WITH SCORE 7698100.419
AT ITER 1755 NEW BEST:: SOT 18147169 SOS 11905419 HAS SOPS 8698759 HAS SOUS 7919181 HAS SOUPS 7685997 WITH SCORE 7697902.419
AT ITER 1756 NEW BEST:: SOT 18147776 SOS 11906632 HAS SOPS 8698122 HAS SOUS 7918545 HAS SOUPS 7685361 WITH SCORE 7697267.632
AT ITER 1766 NEW BEST:: SOT 18147776 SOS 11906632 HAS SOPS 8697935 HAS SOUS 7918370 HAS SOUPS 7685174 WITH SCORE 7697080.632
AT ITER 1767 NEW BEST:: SOT 18147736 SOS 11906552 HAS SOPS 8697815 HAS SOUS 7918250 HAS SOUPS 7685054 WITH SCORE 7696960.552
AT ITER 1771 NEW BEST:: SOT 18147736 SOS 11906552 HAS SOPS 8697498 HAS SOUS 7918025 HAS SOUPS 7684737 WITH SCORE 7696643.552
AT ITER 1772 NEW BEST:: SOT 18147736 SOS 11906552 HAS SOPS 8697373 HAS SOUS 7917461 HAS SOUPS 7684173 WITH SCORE 7696079.552
AT ITER 1774 NEW BEST:: SOT 18147987 SOS 11907343 HAS SOPS 8696687 HAS SOUS 7916776 HAS SOUPS 7683488 WITH SCORE 7695395.343
AT ITER 1779 NEW BEST:: SOT 18147987 SOS 11907434 HAS SOPS 8695548 HAS SOUS 7916047 HAS SOUPS 7682759 WITH SCORE 7694666.434
AT ITER 1787 NEW BEST:: SOT 18147427 SOS 11906314 HAS SOPS 8694428 HAS SOUS 7914927 HAS SOUPS 7681639 WITH SCORE 7693545.314
AT ITER 1797 NEW BEST:: SOT 18147357 SOS 11905964 HAS SOPS 8694288 HAS SOUS 7914927 HAS SOUPS 7681639 WITH SCORE 7693544.964
AT ITER 1817 NEW BEST:: SOT 18146691 SOS 11905298 HAS SOPS 8693583 HAS SOUS 7914400 HAS SOUPS 7680934 WITH SCORE 7692839.298
AT ITER 1818 NEW BEST:: SOT 18146372 SOS 11904979 HAS SOPS 8692944 HAS SOUS 7913762 HAS SOUPS 7680296 WITH SCORE 7692200.979
AT ITER 1822 NEW BEST:: SOT 18146372 SOS 11904500 HAS SOPS 8692944 HAS SOUS 7913762 HAS SOUPS 7680296 WITH SCORE 7692200.5
AT ITER 1825 NEW BEST:: SOT 18146372 SOS 11904500 HAS SOPS 8691488 HAS SOUS 7912306 HAS SOUPS 7678840 WITH SCORE 7690744.5
AT ITER 1829 NEW BEST:: SOT 18146492 SOS 11904775 HAS SOPS 8691314 HAS SOUS 7912868 HAS SOUPS 7678666 WITH SCORE 7690570.775
AT ITER 1836 NEW BEST:: SOT 18146492 SOS 11904775 HAS SOPS 8690855 HAS SOUS 7912410 HAS SOUPS 7678208 WITH SCORE 7690112.775
AT ITER 1841 NEW BEST:: SOT 18146482 SOS 11904768 HAS SOPS 8690162 HAS SOUS 7911718 HAS SOUPS 7677516 WITH SCORE 7689420.768
AT ITER 1844 NEW BEST:: SOT 18146482 SOS 11904768 HAS SOPS 8690207 HAS SOUS 7910481 HAS SOUPS 7676279 WITH SCORE 7688183.768
AT ITER 1846 NEW BEST:: SOT 18146411 SOS 11904697 HAS SOPS 8690136 HAS SOUS 7910410 HAS SOUPS 7676208 WITH SCORE 7688112.697
AT ITER 1849 NEW BEST:: SOT 18146411 SOS 11904697 HAS SOPS 8689991 HAS SOUS 7910936 HAS SOUPS 7676063 WITH SCORE 7687967.697
AT ITER 1852 NEW BEST:: SOT 18146441 SOS 11904756 HAS SOPS 8688945 HAS SOUS 7909891 HAS SOUPS 7675018 WITH SCORE 7686922.756
AT ITER 1853 NEW BEST:: SOT 18146441 SOS 11904756 HAS SOPS 8688775 HAS SOUS 7909833 HAS SOUPS 7674848 WITH SCORE 7686752.756
AT ITER 1861 NEW BEST:: SOT 18146549 SOS 11904971 HAS SOPS 8687641 HAS SOUS 7908700 HAS SOUPS 7673715 WITH SCORE 7685619.971
AT ITER 1864 NEW BEST:: SOT 18146549 SOS 11904971 HAS SOPS 8685952 HAS SOUS 7907012 HAS SOUPS 7672027 WITH SCORE 7683931.971
AT ITER 1865 NEW BEST:: SOT 18146549 SOS 11904971 HAS SOPS 8685154 HAS SOUS 7905416 HAS SOUPS 7670431 WITH SCORE 7682335.971
AT ITER 1874 NEW BEST:: SOT 18146549 SOS 11904971 HAS SOPS 8684217 HAS SOUS 7904424 HAS SOUPS 7669439 WITH SCORE 7681343.971
AT ITER 1876 NEW BEST:: SOT 18146549 SOS 11904971 HAS SOPS 8681817 HAS SOUS 7901915 HAS SOUPS 7666768 WITH SCORE 7678672.971
AT ITER 1877 NEW BEST:: SOT 18147561 SOS 11906872 HAS SOPS 8681767 HAS SOUS 7902159 HAS SOUPS 7666718 WITH SCORE 7678624.872
AT ITER 1879 NEW BEST:: SOT 18147718 SOS 11907029 HAS SOPS 8680692 HAS SOUS 7901134 HAS SOUPS 7665644 WITH SCORE 7677551.029
AT ITER 1884 NEW BEST:: SOT 18147551 SOS 11906695 HAS SOPS 8680358 HAS SOUS 7900800 HAS SOUPS 7665310 WITH SCORE 7677216.695
AT ITER 1887 NEW BEST:: SOT 18148203 SOS 11907998 HAS SOPS 8680056 HAS SOUS 7900499 HAS SOUPS 7665009 WITH SCORE 7676916.998
AT ITER 1889 NEW BEST:: SOT 18147273 SOS 11907068 HAS SOPS 8677773 HAS SOUS 7897911 HAS SOUPS 7661797 WITH SCORE 7673704.068
AT ITER 1893 NEW BEST:: SOT 18147477 SOS 11907475 HAS SOPS 8676741 HAS SOUS 7896914 HAS SOUPS 7660766 WITH SCORE 7672673.475
AT ITER 1894 NEW BEST:: SOT 18147583 SOS 11907686 HAS SOPS 8676660 HAS SOUS 7896834 HAS SOUPS 7660686 WITH SCORE 7672593.686
AT ITER 1898 NEW BEST:: SOT 18147468 SOS 11907571 HAS SOPS 8676545 HAS SOUS 7896719 HAS SOUPS 7660571 WITH SCORE 7672478.571
AT ITER 1911 NEW BEST:: SOT 18146964 SOS 11907067 HAS SOPS 8676135 HAS SOUS 7896144 HAS SOUPS 7659996 WITH SCORE 7671903.067
AT ITER 1913 NEW BEST:: SOT 18146964 SOS 11907067 HAS SOPS 8675768 HAS SOUS 7895691 HAS SOUPS 7659543 WITH SCORE 7671450.067
AT ITER 1920 NEW BEST:: SOT 18146964 SOS 11907067 HAS SOPS 8674682 HAS SOUS 7893825 HAS SOUPS 7657677 WITH SCORE 7669584.067
AT ITER 1921 NEW BEST:: SOT 18146694 SOS 11906797 HAS SOPS 8674474 HAS SOUS 7893617 HAS SOUPS 7657469 WITH SCORE 7669375.797
AT ITER 1922 NEW BEST:: SOT 18146658 SOS 11906761 HAS SOPS 8674713 HAS SOUS 7893545 HAS SOUPS 7657397 WITH SCORE 7669303.761
AT ITER 1926 NEW BEST:: SOT 18147843 SOS 11907946 HAS SOPS 8674356 HAS SOUS 7893274 HAS SOUPS 7656990 WITH SCORE 7668897.946
AT ITER 1928 NEW BEST:: SOT 18147718 SOS 11907821 HAS SOPS 8674106 HAS SOUS 7893024 HAS SOUPS 7656740 WITH SCORE 7668647.821
AT ITER 1930 NEW BEST:: SOT 18147718 SOS 11907821 HAS SOPS 8672646 HAS SOUS 7892527 HAS SOUPS 7656123 WITH SCORE 7668030.821
AT ITER 1931 NEW BEST:: SOT 18147719 SOS 11907823 HAS SOPS 8672631 HAS SOUS 7892512 HAS SOUPS 7656108 WITH SCORE 7668015.823
AT ITER 1937 NEW BEST:: SOT 18147719 SOS 11907823 HAS SOPS 8672631 HAS SOUS 7892314 HAS SOUPS 7655910 WITH SCORE 7667817.823
AT ITER 1939 NEW BEST:: SOT 18147472 SOS 11907576 HAS SOPS 8671671 HAS SOUS 7891602 HAS SOUPS 7654951 WITH SCORE 7666858.576
AT ITER 1943 NEW BEST:: SOT 18147640 SOS 11907931 HAS SOPS 8670617 HAS SOUS 7891335 HAS SOUPS 7654509 WITH SCORE 7666416.931
AT ITER 1946 NEW BEST:: SOT 18148542 SOS 11908833 HAS SOPS 8671308 HAS SOUS 7891083 HAS SOUPS 7654257 WITH SCORE 7666165.833
AT ITER 1948 NEW BEST:: SOT 18148241 SOS 11908532 HAS SOPS 8671007 HAS SOUS 7890782 HAS SOUPS 7653956 WITH SCORE 7665864.532
AT ITER 1965 NEW BEST:: SOT 18148590 SOS 11909050 HAS SOPS 8670337 HAS SOUS 7890528 HAS SOUPS 7653287 WITH SCORE 7665196.05
AT ITER 1967 NEW BEST:: SOT 18148468 SOS 11908928 HAS SOPS 8669741 HAS SOUS 7889153 HAS SOUPS 7651912 WITH SCORE 7663820.928
AT ITER 1976 NEW BEST:: SOT 18148468 SOS 11908928 HAS SOPS 8669212 HAS SOUS 7887617 HAS SOUPS 7650376 WITH SCORE 7662284.928
AT ITER 1979 NEW BEST:: SOT 18147945 SOS 11907882 HAS SOPS 8668607 HAS SOUS 7887012 HAS SOUPS 7649771 WITH SCORE 7661678.882
AT ITER 1984 NEW BEST:: SOT 18147945 SOS 11907882 HAS SOPS 8667705 HAS SOUS 7886262 HAS SOUPS 7649021 WITH SCORE 7660928.882
AT ITER 1987 NEW BEST:: SOT 18148850 SOS 11909585 HAS SOPS 8667558 HAS SOUS 7886116 HAS SOUPS 7648875 WITH SCORE 7660784.585
AT ITER 1989 NEW BEST:: SOT 18148850 SOS 11909585 HAS SOPS 8666886 HAS SOUS 7884724 HAS SOUPS 7647483 WITH SCORE 7659392.585
AT ITER 1991 NEW BEST:: SOT 18149412 SOS 11910147 HAS SOPS 8666886 HAS SOUS 7884260 HAS SOUPS 7646921 WITH SCORE 7658831.147
AT ITER 1996 NEW BEST:: SOT 18149412 SOS 11910147 HAS SOPS 8666604 HAS SOUS 7883978 HAS SOUPS 7646639 WITH SCORE 7658549.147
AT ITER 1998 NEW BEST:: SOT 18149412 SOS 11910147 HAS SOPS 8665448 HAS SOUS 7881668 HAS SOUPS 7644329 WITH SCORE 7656239.147
AT ITER 1999 NEW BEST:: SOT 18149740 SOS 11910797 HAS SOPS 8664550 HAS SOUS 7882698 HAS SOUPS 7643432 WITH SCORE 7655342.797
AT ITER 2004 NEW BEST:: SOT 18149740 SOS 11910797 HAS SOPS 8665012 HAS SOUS 7882697 HAS SOUPS 7643431 WITH SCORE 7655341.797
AT ITER 2007 NEW BEST:: SOT 18148077 SOS 11909134 HAS SOPS 8663776 HAS SOUS 7881462 HAS SOUPS 7642196 WITH SCORE 7654105.134
AT ITER 2012 NEW BEST:: SOT 18148077 SOS 11909134 HAS SOPS 8662571 HAS SOUS 7879046 HAS SOUPS 7639764 WITH SCORE 7651673.134
AT ITER 2017 NEW BEST:: SOT 17383406 SOS 11150846 HAS SOPS 7897357 HAS SOUS 7114952 HAS SOUPS 6874550 WITH SCORE 6885700.846
AT ITER 2020 NEW BEST:: SOT 17382685 SOS 11150125 HAS SOPS 7895533 HAS SOUS 7113583 HAS SOUPS 6872534 WITH SCORE 6883684.125
AT ITER 2021 NEW BEST:: SOT 17381962 SOS 11149402 HAS SOPS 7892845 HAS SOUS 7110925 HAS SOUPS 6869418 WITH SCORE 6880567.402
AT ITER 2024 NEW BEST:: SOT 17393639 SOS 11120641 HAS SOPS 7847806 HAS SOUS 7104251 HAS SOUPS 6862744 WITH SCORE 6873864.641
AT ITER 2034 NEW BEST:: SOT 17393660 SOS 11142472 HAS SOPS 7847589 HAS SOUS 7104761 HAS SOUPS 6862527 WITH SCORE 6873669.472
AT ITER 2040 NEW BEST:: SOT 17393660 SOS 11142472 HAS SOPS 7847626 HAS SOUS 7104719 HAS SOUPS 6862485 WITH SCORE 6873627.472
AT ITER 2043 NEW BEST:: SOT 17392974 SOS 11141935 HAS SOPS 7845726 HAS SOUS 7104033 HAS SOUPS 6861799 WITH SCORE 6872940.935
AT ITER 2044 NEW BEST:: SOT 17393762 SOS 11143658 HAS SOPS 7845437 HAS SOUS 7103745 HAS SOUPS 6861511 WITH SCORE 6872654.658
AT ITER 2045 NEW BEST:: SOT 17397302 SOS 11144360 HAS SOPS 7850607 HAS SOUS 7098120 HAS SOUPS 6856443 WITH SCORE 6867587.36
AT ITER 2062 NEW BEST:: SOT 17397414 SOS 11144472 HAS SOPS 7849473 HAS SOUS 7096987 HAS SOUPS 6855310 WITH SCORE 6866454.472
AT ITER 2063 NEW BEST:: SOT 17398135 SOS 11145976 HAS SOPS 7849360 HAS SOUS 7096875 HAS SOUPS 6855198 WITH SCORE 6866343.976
AT ITER 2071 NEW BEST:: SOT 17397311 SOS 11145152 HAS SOPS 7846772 HAS SOUS 7094142 HAS SOUPS 6852416 WITH SCORE 6863561.152
AT ITER 2074 NEW BEST:: SOT 17397311 SOS 11145152 HAS SOPS 7846283 HAS SOUS 7093816 HAS SOUPS 6852090 WITH SCORE 6863235.152
AT ITER 2077 NEW BEST:: SOT 17397230 SOS 11145071 HAS SOPS 7846412 HAS SOUS 7093654 HAS SOUPS 6851928 WITH SCORE 6863073.071
AT ITER 2081 NEW BEST:: SOT 17397199 SOS 11145040 HAS SOPS 7845129 HAS SOUS 7092372 HAS SOUPS 6850646 WITH SCORE 6861791.04
AT ITER 2083 NEW BEST:: SOT 17397663 SOS 11146149 HAS SOPS 7845059 HAS SOUS 7092371 HAS SOUPS 6850576 WITH SCORE 6861722.149
AT ITER 2085 NEW BEST:: SOT 17396614 SOS 11145100 HAS SOPS 7841215 HAS SOUS 7090212 HAS SOUPS 6848066 WITH SCORE 6859211.1
AT ITER 2090 NEW BEST:: SOT 17396614 SOS 11146648 HAS SOPS 7840812 HAS SOUS 7089824 HAS SOUPS 6847663 WITH SCORE 6858809.648
AT ITER 2092 NEW BEST:: SOT 17396614 SOS 11146648 HAS SOPS 7840811 HAS SOUS 7088557 HAS SOUPS 6846489 WITH SCORE 6857635.648
AT ITER 2096 NEW BEST:: SOT 17396549 SOS 11146583 HAS SOPS 7840321 HAS SOUS 7088279 HAS SOUPS 6846211 WITH SCORE 6857357.583
AT ITER 2105 NEW BEST:: SOT 17396549 SOS 11146583 HAS SOPS 7840317 HAS SOUS 7088306 HAS SOUPS 6846207 WITH SCORE 6857353.583
AT ITER 2106 NEW BEST:: SOT 17396542 SOS 11146576 HAS SOPS 7840302 HAS SOUS 7087039 HAS SOUPS 6844940 WITH SCORE 6856086.576
AT ITER 2107 NEW BEST:: SOT 17396306 SOS 11146340 HAS SOPS 7840066 HAS SOUS 7086648 HAS SOUPS 6844704 WITH SCORE 6855850.34
AT ITER 2115 NEW BEST:: SOT 17395763 SOS 11145797 HAS SOPS 7838545 HAS SOUS 7086105 HAS SOUPS 6844161 WITH SCORE 6855306.797
AT ITER 2117 NEW BEST:: SOT 17396035 SOS 11146617 HAS SOPS 7837571 HAS SOUS 7085132 HAS SOUPS 6843188 WITH SCORE 6854334.617
AT ITER 2121 NEW BEST:: SOT 17394670 SOS 11145209 HAS SOPS 7835859 HAS SOUS 7083420 HAS SOUPS 6841476 WITH SCORE 6852621.209
AT ITER 2123 NEW BEST:: SOT 17394379 SOS 11144918 HAS SOPS 7835568 HAS SOUS 7083129 HAS SOUPS 6841185 WITH SCORE 6852329.918
AT ITER 2135 NEW BEST:: SOT 17394379 SOS 11144918 HAS SOPS 7835564 HAS SOUS 7083144 HAS SOUPS 6841181 WITH SCORE 6852325.918
AT ITER 2136 NEW BEST:: SOT 17394003 SOS 11144542 HAS SOPS 7835732 HAS SOUS 7082392 HAS SOUPS 6840429 WITH SCORE 6851573.542
AT ITER 2139 NEW BEST:: SOT 17392375 SOS 11142914 HAS SOPS 7832385 HAS SOUS 7079080 HAS SOUPS 6836408 WITH SCORE 6847550.914
AT ITER 2140 NEW BEST:: SOT 17391881 SOS 11142501 HAS SOPS 7831315 HAS SOUS 7078162 HAS SOUPS 6835338 WITH SCORE 6846480.501
AT ITER 2141 NEW BEST:: SOT 17391249 SOS 11118485 HAS SOPS 7807931 HAS SOUS 7076898 HAS SOUPS 6834074 WITH SCORE 6845192.485
AT ITER 2144 NEW BEST:: SOT 17390505 SOS 11117920 HAS SOPS 7806203 HAS SOUS 7076415 HAS SOUPS 6833132 WITH SCORE 6844249.92
AT ITER 2147 NEW BEST:: SOT 17390684 SOS 11118099 HAS SOPS 7805873 HAS SOUS 7076063 HAS SOUPS 6832780 WITH SCORE 6843898.099
AT ITER 2153 NEW BEST:: SOT 17390466 SOS 11117881 HAS SOPS 7804579 HAS SOUS 7074769 HAS SOUPS 6831486 WITH SCORE 6842603.881
AT ITER 2157 NEW BEST:: SOT 17390540 SOS 11117955 HAS SOPS 7805008 HAS SOUS 7074253 HAS SOUPS 6830970 WITH SCORE 6842087.955
AT ITER 2160 NEW BEST:: SOT 17390431 SOS 11117737 HAS SOPS 7804793 HAS SOUS 7074038 HAS SOUPS 6830755 WITH SCORE 6841872.737
AT ITER 2167 NEW BEST:: SOT 17390322 SOS 11117628 HAS SOPS 7804684 HAS SOUS 7073929 HAS SOUPS 6830646 WITH SCORE 6841763.628
AT ITER 2168 NEW BEST:: SOT 17389527 SOS 11116833 HAS SOPS 7802889 HAS SOUS 7072367 HAS SOUPS 6828594 WITH SCORE 6839710.833
AT ITER 2173 NEW BEST:: SOT 17389527 SOS 11116833 HAS SOPS 7802889 HAS SOUS 7071737 HAS SOUPS 6827964 WITH SCORE 6839080.833
AT ITER 2183 NEW BEST:: SOT 17389293 SOS 11116883 HAS SOPS 7801423 HAS SOUS 7070615 HAS SOUPS 6826499 WITH SCORE 6837615.883
AT ITER 2189 NEW BEST:: SOT 17389293 SOS 11116883 HAS SOPS 7801419 HAS SOUS 7070623 HAS SOUPS 6826495 WITH SCORE 6837611.883
AT ITER 2190 NEW BEST:: SOT 17388688 SOS 11116278 HAS SOPS 7799786 HAS SOUS 7067765 HAS SOUPS 6823637 WITH SCORE 6834753.278
AT ITER 2195 NEW BEST:: SOT 17412440 SOS 11095891 HAS SOPS 7750806 HAS SOUS 7061383 HAS SOUPS 6814916 WITH SCORE 6826011.891
AT ITER 2199 NEW BEST:: SOT 17412440 SOS 11095891 HAS SOPS 7750806 HAS SOUS 7060916 HAS SOUPS 6814449 WITH SCORE 6825544.891
AT ITER 2209 NEW BEST:: SOT 17410370 SOS 11093821 HAS SOPS 7746234 HAS SOUS 7058003 HAS SOUPS 6809877 WITH SCORE 6820970.821
AT ITER 2213 NEW BEST:: SOT 17410698 SOS 11094149 HAS SOPS 7746152 HAS SOUS 7058584 HAS SOUPS 6809795 WITH SCORE 6820889.149
AT ITER 2223 NEW BEST:: SOT 17410488 SOS 11093939 HAS SOPS 7745253 HAS SOUS 7056998 HAS SOUPS 6808209 WITH SCORE 6819302.939
AT ITER 2224 NEW BEST:: SOT 17409868 SOS 11093319 HAS SOPS 7743750 HAS SOUS 7055496 HAS SOUPS 6806707 WITH SCORE 6817800.319
AT ITER 2228 NEW BEST:: SOT 17409270 SOS 11092721 HAS SOPS 7742554 HAS SOUS 7054503 HAS SOUPS 6805714 WITH SCORE 6816806.721
AT ITER 2232 NEW BEST:: SOT 17409284 SOS 11092735 HAS SOPS 7742928 HAS SOUS 7053234 HAS SOUPS 6804509 WITH SCORE 6815601.735
AT ITER 2237 NEW BEST:: SOT 17409048 SOS 11092499 HAS SOPS 7742456 HAS SOUS 7052762 HAS SOUPS 6804037 WITH SCORE 6815129.499
AT ITER 2240 NEW BEST:: SOT 17408606 SOS 11092057 HAS SOPS 7740145 HAS SOUS 7050936 HAS SOUPS 6802211 WITH SCORE 6813303.057
AT ITER 2241 NEW BEST:: SOT 17408261 SOS 11091712 HAS SOPS 7740834 HAS SOUS 7050935 HAS SOUPS 6802210 WITH SCORE 6813301.712
AT ITER 2243 NEW BEST:: SOT 17408261 SOS 11091712 HAS SOPS 7740834 HAS SOUS 7050827 HAS SOUPS 6802102 WITH SCORE 6813193.712
AT ITER 2246 NEW BEST:: SOT 17407673 SOS 11091369 HAS SOPS 7739532 HAS SOUS 7049886 HAS SOUPS 6800801 WITH SCORE 6811892.369
AT ITER 2248 NEW BEST:: SOT 17407673 SOS 11091369 HAS SOPS 7739099 HAS SOUS 7049453 HAS SOUPS 6800368 WITH SCORE 6811459.369
AT ITER 2249 NEW BEST:: SOT 17407619 SOS 11091315 HAS SOPS 7738886 HAS SOUS 7049399 HAS SOUPS 6800156 WITH SCORE 6811247.315
AT ITER 2263 NEW BEST:: SOT 17407427 SOS 11091123 HAS SOPS 7737100 HAS SOUS 7047224 HAS SOUPS 6797981 WITH SCORE 6809072.123
AT ITER 2265 NEW BEST:: SOT 17406983 SOS 11090626 HAS SOPS 7736943 HAS SOUS 7047068 HAS SOUPS 6797825 WITH SCORE 6808915.626
AT ITER 2273 NEW BEST:: SOT 17406983 SOS 11090626 HAS SOPS 7737431 HAS SOUS 7046579 HAS SOUPS 6797336 WITH SCORE 6808426.626
AT ITER 2294 NEW BEST:: SOT 17409440 SOS 11093395 HAS SOPS 7735750 HAS SOUS 7048253 HAS SOUPS 6795656 WITH SCORE 6806749.395
AT ITER 2296 NEW BEST:: SOT 17408651 SOS 11092606 HAS SOPS 7733786 HAS SOUS 7046291 HAS SOUPS 6793693 WITH SCORE 6804785.606
AT ITER 2299 NEW BEST:: SOT 17407987 SOS 11091942 HAS SOPS 7732357 HAS SOUS 7044993 HAS SOUPS 6792265 WITH SCORE 6803356.942
AT ITER 2301 NEW BEST:: SOT 17407987 SOS 11091942 HAS SOPS 7732151 HAS SOUS 7044787 HAS SOUPS 6792059 WITH SCORE 6803150.942
AT ITER 2309 NEW BEST:: SOT 17407383 SOS 11091741 HAS SOPS 7730471 HAS SOUS 7043380 HAS SOUPS 6790380 WITH SCORE 6801471.741
AT ITER 2317 NEW BEST:: SOT 17407418 SOS 11096876 HAS SOPS 7730096 HAS SOUS 7043210 HAS SOUPS 6790005 WITH SCORE 6801101.876
AT ITER 2319 NEW BEST:: SOT 17407418 SOS 11096876 HAS SOPS 7729757 HAS SOUS 7042435 HAS SOUPS 6789230 WITH SCORE 6800326.876
AT ITER 2325 NEW BEST:: SOT 17407418 SOS 11096876 HAS SOPS 7729294 HAS SOUS 7041972 HAS SOUPS 6788767 WITH SCORE 6799863.876
AT ITER 2329 NEW BEST:: SOT 17407155 SOS 11097147 HAS SOPS 7728427 HAS SOUS 7041106 HAS SOUPS 6787901 WITH SCORE 6798998.147
AT ITER 2334 NEW BEST:: SOT 17406541 SOS 11096533 HAS SOPS 7725889 HAS SOUS 7038568 HAS SOUPS 6785363 WITH SCORE 6796459.533
AT ITER 2347 NEW BEST:: SOT 17406314 SOS 11096306 HAS SOPS 7725474 HAS SOUS 7037441 HAS SOUPS 6784032 WITH SCORE 6795128.306
AT ITER 2353 NEW BEST:: SOT 17406278 SOS 11096270 HAS SOPS 7725438 HAS SOUS 7037405 HAS SOUPS 6783996 WITH SCORE 6795092.27
AT ITER 2354 NEW BEST:: SOT 17405884 SOS 11095876 HAS SOPS 7724557 HAS SOUS 7035059 HAS SOUPS 6781650 WITH SCORE 6792745.876
AT ITER 2356 NEW BEST:: SOT 17405081 SOS 11095073 HAS SOPS 7722031 HAS SOUS 7031971 HAS SOUPS 6778562 WITH SCORE 6789657.073
AT ITER 2358 NEW BEST:: SOT 17405081 SOS 11095073 HAS SOPS 7722220 HAS SOUS 7031413 HAS SOUPS 6778004 WITH SCORE 6789099.073
AT ITER 2366 NEW BEST:: SOT 17404868 SOS 11094860 HAS SOPS 7721581 HAS SOUS 7030987 HAS SOUPS 6777365 WITH SCORE 6788459.86
AT ITER 2378 NEW BEST:: SOT 17406006 SOS 11125218 HAS SOPS 7720920 HAS SOUS 7032049 HAS SOUPS 6776704 WITH SCORE 6787829.218
AT ITER 2383 NEW BEST:: SOT 17405934 SOS 11129823 HAS SOPS 7720765 HAS SOUS 7032034 HAS SOUPS 6776549 WITH SCORE 6787678.823
AT ITER 2384 NEW BEST:: SOT 17405144 SOS 11129033 HAS SOPS 7718758 HAS SOUS 7028806 HAS SOUPS 6773321 WITH SCORE 6784450.033
AT ITER 2394 NEW BEST:: SOT 17405144 SOS 11129033 HAS SOPS 7718545 HAS SOUS 7028730 HAS SOUPS 6773245 WITH SCORE 6784374.033
AT ITER 2396 NEW BEST:: SOT 17406063 SOS 11130833 HAS SOPS 7715507 HAS SOUS 7026485 HAS SOUPS 6770208 WITH SCORE 6781338.833
AT ITER 2397 NEW BEST:: SOT 17406050 SOS 11130812 HAS SOPS 7715273 HAS SOUS 7026472 HAS SOUPS 6770195 WITH SCORE 6781325.812
AT ITER 2402 NEW BEST:: SOT 17405714 SOS 11130027 HAS SOPS 7714707 HAS SOUS 7024673 HAS SOUPS 6768396 WITH SCORE 6779526.027
AT ITER 2406 NEW BEST:: SOT 17405874 SOS 11130365 HAS SOPS 7714284 HAS SOUS 7024725 HAS SOUPS 6767973 WITH SCORE 6779103.365
AT ITER 2410 NEW BEST:: SOT 17406624 SOS 11131115 HAS SOPS 7714193 HAS SOUS 7024238 HAS SOUPS 6767486 WITH SCORE 6778617.115
AT ITER 2411 NEW BEST:: SOT 17406377 SOS 11130868 HAS SOPS 7710073 HAS SOUS 7021754 HAS SOUPS 6765002 WITH SCORE 6776132.868
AT ITER 2418 NEW BEST:: SOT 17406377 SOS 11130868 HAS SOPS 7709989 HAS SOUS 7021672 HAS SOUPS 6764920 WITH SCORE 6776050.868
AT ITER 2420 NEW BEST:: SOT 17406278 SOS 11130769 HAS SOPS 7709890 HAS SOUS 7021485 HAS SOUPS 6764821 WITH SCORE 6775951.769
AT ITER 2425 NEW BEST:: SOT 17406278 SOS 11130769 HAS SOPS 7710635 HAS SOUS 7021083 HAS SOUPS 6764419 WITH SCORE 6775549.769
AT ITER 2427 NEW BEST:: SOT 17416184 SOS 11135973 HAS SOPS 7724905 HAS SOUS 7016135 HAS SOUPS 6760670 WITH SCORE 6771805.973
AT ITER 2435 NEW BEST:: SOT 17416496 SOS 11136463 HAS SOPS 7724632 HAS SOUS 7017610 HAS SOUPS 6760397 WITH SCORE 6771533.463
AT ITER 2452 NEW BEST:: SOT 17416496 SOS 11136463 HAS SOPS 7724596 HAS SOUS 7017574 HAS SOUPS 6760361 WITH SCORE 6771497.463
AT ITER 2456 NEW BEST:: SOT 17416190 SOS 11136157 HAS SOPS 7724289 HAS SOUS 7016714 HAS SOUPS 6759501 WITH SCORE 6770637.157
AT ITER 2459 NEW BEST:: SOT 17416144 SOS 11136111 HAS SOPS 7723936 HAS SOUS 7016361 HAS SOUPS 6759148 WITH SCORE 6770284.111
AT ITER 2464 NEW BEST:: SOT 17416183 SOS 11179740 HAS SOPS 7722503 HAS SOUS 7016055 HAS SOUPS 6757715 WITH SCORE 6768894.74
AT ITER 2466 NEW BEST:: SOT 17414856 SOS 11178413 HAS SOPS 7719679 HAS SOUS 7014257 HAS SOUPS 6754930 WITH SCORE 6766108.413
AT ITER 2467 NEW BEST:: SOT 17414856 SOS 11178413 HAS SOPS 7719679 HAS SOUS 7014242 HAS SOUPS 6754915 WITH SCORE 6766093.413
AT ITER 2470 NEW BEST:: SOT 17415233 SOS 11179388 HAS SOPS 7719580 HAS SOUS 7014200 HAS SOUPS 6754816 WITH SCORE 6765995.388
AT ITER 2475 NEW BEST:: SOT 17414527 SOS 11178682 HAS SOPS 7717630 HAS SOUS 7011545 HAS SOUPS 6752161 WITH SCORE 6763339.682
AT ITER 2478 NEW BEST:: SOT 17414617 SOS 11178772 HAS SOPS 7716898 HAS SOUS 7010494 HAS SOUPS 6751110 WITH SCORE 6762288.772
AT ITER 2489 NEW BEST:: SOT 17414617 SOS 11178772 HAS SOPS 7716752 HAS SOUS 7010467 HAS SOUPS 6751083 WITH SCORE 6762261.772
AT ITER 2490 NEW BEST:: SOT 17414617 SOS 11178772 HAS SOPS 7715694 HAS SOUS 7010094 HAS SOUPS 6750710 WITH SCORE 6761888.772
AT ITER 2491 NEW BEST:: SOT 17414445 SOS 11178600 HAS SOPS 7715350 HAS SOUS 7009750 HAS SOUPS 6750366 WITH SCORE 6761544.6
AT ITER 2492 NEW BEST:: SOT 17413715 SOS 11177870 HAS SOPS 7713503 HAS SOUS 7007342 HAS SOUPS 6747958 WITH SCORE 6759135.87
AT ITER 2496 NEW BEST:: SOT 17413490 SOS 11177645 HAS SOPS 7713203 HAS SOUS 7007042 HAS SOUPS 6747658 WITH SCORE 6758835.645
AT ITER 2499 NEW BEST:: SOT 17413465 SOS 11177608 HAS SOPS 7712844 HAS SOUS 7006683 HAS SOUPS 6747299 WITH SCORE 6758476.608
AT ITER 2500 NEW BEST:: SOT 17412739 SOS 11176882 HAS SOPS 7710898 HAS SOUS 7005957 HAS SOUPS 6746573 WITH SCORE 6757749.882
AT ITER 2501 NEW BEST:: SOT 17396190 SOS 11195913 HAS SOPS 7693854 HAS SOUS 6989506 HAS SOUPS 6729529 WITH SCORE 6740724.913
AT ITER 2504 NEW BEST:: SOT 17396167 SOS 11195867 HAS SOPS 7693831 HAS SOUS 6989483 HAS SOUPS 6729506 WITH SCORE 6740701.867
AT ITER 2505 NEW BEST:: SOT 17395875 SOS 11195575 HAS SOPS 7693088 HAS SOUS 6988515 HAS SOUPS 6728503 WITH SCORE 6739698.575
AT ITER 2509 NEW BEST:: SOT 17394845 SOS 11194556 HAS SOPS 7691018 HAS SOUS 6987156 HAS SOUPS 6726433 WITH SCORE 6737627.556
AT ITER 2513 NEW BEST:: SOT 17394342 SOS 11194053 HAS SOPS 7688835 HAS SOUS 6984974 HAS SOUPS 6724251 WITH SCORE 6735445.053
AT ITER 2517 NEW BEST:: SOT 17393546 SOS 11193257 HAS SOPS 7687407 HAS SOUS 6983062 HAS SOUPS 6722339 WITH SCORE 6733532.257
AT ITER 2520 NEW BEST:: SOT 17393546 SOS 11193257 HAS SOPS 7687252 HAS SOUS 6982907 HAS SOUPS 6722184 WITH SCORE 6733377.257
AT ITER 2524 NEW BEST:: SOT 17393781 SOS 11191919 HAS SOPS 7688234 HAS SOUS 6978276 HAS SOUPS 6717802 WITH SCORE 6728993.919
AT ITER 2525 NEW BEST:: SOT 17393278 SOS 11191416 HAS SOPS 7687031 HAS SOUS 6977074 HAS SOUPS 6716600 WITH SCORE 6727791.416
AT ITER 2528 NEW BEST:: SOT 17392861 SOS 11190999 HAS SOPS 7686197 HAS SOUS 6975474 HAS SOUPS 6715000 WITH SCORE 6726190.999
AT ITER 2531 NEW BEST:: SOT 17392570 SOS 11190708 HAS SOPS 7686528 HAS SOUS 6975051 HAS SOUPS 6714577 WITH SCORE 6725767.708
AT ITER 2536 NEW BEST:: SOT 17391490 SOS 11189628 HAS SOPS 7684333 HAS SOUS 6972260 HAS SOUPS 6711786 WITH SCORE 6722975.628
AT ITER 2549 NEW BEST:: SOT 17391490 SOS 11189628 HAS SOPS 7683478 HAS SOUS 6971406 HAS SOUPS 6710932 WITH SCORE 6722121.628
AT ITER 2551 NEW BEST:: SOT 17391482 SOS 11189620 HAS SOPS 7683470 HAS SOUS 6971398 HAS SOUPS 6710924 WITH SCORE 6722113.62
AT ITER 2552 NEW BEST:: SOT 17391482 SOS 11189620 HAS SOPS 7682326 HAS SOUS 6970254 HAS SOUPS 6709780 WITH SCORE 6720969.62
AT ITER 2554 NEW BEST:: SOT 17390870 SOS 11189008 HAS SOPS 7681101 HAS SOUS 6968741 HAS SOUPS 6707943 WITH SCORE 6719132.008
AT ITER 2568 NEW BEST:: SOT 17390641 SOS 11189116 HAS SOPS 7679642 HAS SOUS 6969152 HAS SOUPS 6706485 WITH SCORE 6717674.116
AT ITER 2569 NEW BEST:: SOT 17390641 SOS 11189116 HAS SOPS 7679642 HAS SOUS 6969124 HAS SOUPS 6706457 WITH SCORE 6717646.116
AT ITER 2572 NEW BEST:: SOT 17390641 SOS 11189116 HAS SOPS 7679627 HAS SOUS 6969094 HAS SOUPS 6706442 WITH SCORE 6717631.116
AT ITER 2578 NEW BEST:: SOT 17390641 SOS 11189116 HAS SOPS 7679627 HAS SOUS 6968686 HAS SOUPS 6706034 WITH SCORE 6717223.116
AT ITER 2583 NEW BEST:: SOT 17390726 SOS 11189201 HAS SOPS 7679643 HAS SOUS 6967957 HAS SOUPS 6705831 WITH SCORE 6717020.201
AT ITER 2595 NEW BEST:: SOT 17390026 SOS 11188501 HAS SOPS 7678834 HAS SOUS 6967245 HAS SOUPS 6705022 WITH SCORE 6716210.501
AT ITER 2597 NEW BEST:: SOT 17390026 SOS 11188501 HAS SOPS 7678526 HAS SOUS 6966937 HAS SOUPS 6704714 WITH SCORE 6715902.501
AT ITER 2598 NEW BEST:: SOT 17389550 SOS 11188312 HAS SOPS 7676815 HAS SOUS 6966386 HAS SOUPS 6704163 WITH SCORE 6715351.312
AT ITER 2600 NEW BEST:: SOT 17389550 SOS 11188312 HAS SOPS 7676591 HAS SOUS 6966162 HAS SOUPS 6703939 WITH SCORE 6715127.312
AT ITER 2602 NEW BEST:: SOT 17389238 SOS 11188249 HAS SOPS 7675432 HAS SOUS 6965003 HAS SOUPS 6702780 WITH SCORE 6713968.249
AT ITER 2603 NEW BEST:: SOT 17389210 SOS 11188221 HAS SOPS 7675376 HAS SOUS 6964975 HAS SOUPS 6702752 WITH SCORE 6713940.221
AT ITER 2616 NEW BEST:: SOT 17387986 SOS 11186997 HAS SOPS 7673268 HAS SOUS 6962855 HAS SOUPS 6700632 WITH SCORE 6711818.997
AT ITER 2619 NEW BEST:: SOT 16675087 SOS 10474098 HAS SOPS 6959822 HAS SOUS 6279450 HAS SOUPS 6012326 WITH SCORE 6022800.098
AT ITER 2624 NEW BEST:: SOT 16674786 SOS 10473797 HAS SOPS 6959193 HAS SOUS 6278679 HAS SOUPS 6011555 WITH SCORE 6022028.797
AT ITER 2630 NEW BEST:: SOT 16676628 SOS 10477445 HAS SOPS 6959116 HAS SOUS 6281495 HAS SOUPS 6011478 WITH SCORE 6021955.445
AT ITER 2631 NEW BEST:: SOT 16678038 SOS 10479664 HAS SOPS 6958444 HAS SOUS 6280823 HAS SOUPS 6010806 WITH SCORE 6021285.664
AT ITER 2636 NEW BEST:: SOT 16677870 SOS 10479496 HAS SOPS 6958108 HAS SOUS 6280487 HAS SOUPS 6010470 WITH SCORE 6020949.496
AT ITER 2638 NEW BEST:: SOT 16677575 SOS 10479273 HAS SOPS 6956641 HAS SOUS 6279021 HAS SOUPS 6009004 WITH SCORE 6019483.273
AT ITER 2641 NEW BEST:: SOT 16677791 SOS 10479489 HAS SOPS 6956065 HAS SOUS 6278852 HAS SOUPS 6008428 WITH SCORE 6018907.489
AT ITER 2643 NEW BEST:: SOT 16677695 SOS 10479489 HAS SOPS 6955873 HAS SOUS 6278660 HAS SOUPS 6008236 WITH SCORE 6018715.489
AT ITER 2648 NEW BEST:: SOT 16677751 SOS 10479545 HAS SOPS 6954415 HAS SOUS 6276971 HAS SOUPS 6006547 WITH SCORE 6017026.545
AT ITER 2649 NEW BEST:: SOT 16677751 SOS 10479545 HAS SOPS 6953243 HAS SOUS 6275800 HAS SOUPS 6005376 WITH SCORE 6015855.545
AT ITER 2653 NEW BEST:: SOT 16681987 SOS 10479917 HAS SOPS 6958150 HAS SOUS 6268903 HAS SOUPS 5999150 WITH SCORE 6009629.917
AT ITER 2665 NEW BEST:: SOT 16681986 SOS 10479916 HAS SOPS 6958150 HAS SOUS 6268901 HAS SOUPS 5999148 WITH SCORE 6009627.916
AT ITER 2667 NEW BEST:: SOT 16681993 SOS 10481634 HAS SOPS 6958098 HAS SOUS 6268917 HAS SOUPS 5999096 WITH SCORE 6009577.634
AT ITER 2670 NEW BEST:: SOT 16681993 SOS 10481716 HAS SOPS 6958016 HAS SOUS 6268835 HAS SOUPS 5999014 WITH SCORE 6009495.716
AT ITER 2675 NEW BEST:: SOT 16681947 SOS 10481670 HAS SOPS 6957924 HAS SOUS 6268658 HAS SOUPS 5998837 WITH SCORE 6009318.67
AT ITER 2683 NEW BEST:: SOT 16681838 SOS 10481561 HAS SOPS 6957922 HAS SOUS 6268439 HAS SOUPS 5998618 WITH SCORE 6009099.561
AT ITER 2689 NEW BEST:: SOT 16681575 SOS 10481298 HAS SOPS 6957658 HAS SOUS 6267375 HAS SOUPS 5997554 WITH SCORE 6008035.298
AT ITER 2692 NEW BEST:: SOT 16681575 SOS 10481298 HAS SOPS 6955609 HAS SOUS 6266473 HAS SOUPS 5996652 WITH SCORE 6007133.298
AT ITER 2694 NEW BEST:: SOT 16681473 SOS 10481196 HAS SOPS 6955507 HAS SOUS 6266371 HAS SOUPS 5996550 WITH SCORE 6007031.196
AT ITER 2702 NEW BEST:: SOT 16680888 SOS 10480611 HAS SOPS 6954337 HAS SOUS 6265344 HAS SOUPS 5995380 WITH SCORE 6005860.611
AT ITER 2703 NEW BEST:: SOT 16680362 SOS 10480085 HAS SOPS 6954335 HAS SOUS 6265234 HAS SOUPS 5995378 WITH SCORE 6005858.085
AT ITER 2709 NEW BEST:: SOT 16680355 SOS 10480071 HAS SOPS 6954328 HAS SOUS 6265227 HAS SOUPS 5995371 WITH SCORE 6005851.071
AT ITER 2712 NEW BEST:: SOT 16680901 SOS 10481076 HAS SOPS 6954227 HAS SOUS 6265268 HAS SOUPS 5995270 WITH SCORE 6005751.076
AT ITER 2722 NEW BEST:: SOT 16680569 SOS 10480140 HAS SOPS 6953601 HAS SOUS 6264643 HAS SOUPS 5994645 WITH SCORE 6005125.14
AT ITER 2725 NEW BEST:: SOT 16681463 SOS 10481034 HAS SOPS 6952721 HAS SOUS 6264771 HAS SOUPS 5994227 WITH SCORE 6004708.034
AT ITER 2736 NEW BEST:: SOT 16680398 SOS 10479969 HAS SOPS 6949870 HAS SOUS 6262946 HAS SOUPS 5991924 WITH SCORE 6002403.969
AT ITER 2743 NEW BEST:: SOT 16680062 SOS 10479633 HAS SOPS 6949534 HAS SOUS 6262610 HAS SOUPS 5991588 WITH SCORE 6002067.633
AT ITER 2748 NEW BEST:: SOT 16678981 SOS 10478552 HAS SOPS 6948635 HAS SOUS 6262399 HAS SOUPS 5991377 WITH SCORE 6001855.552
AT ITER 2750 NEW BEST:: SOT 16679395 SOS 10478966 HAS SOPS 6947627 HAS SOUS 6262341 HAS SOUPS 5991319 WITH SCORE 6001797.966
AT ITER 2757 NEW BEST:: SOT 16678945 SOS 10478516 HAS SOPS 6947291 HAS SOUS 6261778 HAS SOUPS 5990802 WITH SCORE 6001280.516
AT ITER 2764 NEW BEST:: SOT 16678945 SOS 10478516 HAS SOPS 6947290 HAS SOUS 6261714 HAS SOUPS 5990738 WITH SCORE 6001216.516
AT ITER 2765 NEW BEST:: SOT 16678662 SOS 10478233 HAS SOPS 6945053 HAS SOUS 6260712 HAS SOUPS 5989736 WITH SCORE 6000214.233
AT ITER 2768 NEW BEST:: SOT 16678557 SOS 10478128 HAS SOPS 6944316 HAS SOUS 6260301 HAS SOUPS 5989325 WITH SCORE 5999803.128
AT ITER 2777 NEW BEST:: SOT 16677967 SOS 10477538 HAS SOPS 6943726 HAS SOUS 6259711 HAS SOUPS 5988735 WITH SCORE 5999212.538
AT ITER 2778 NEW BEST:: SOT 16678360 SOS 10477931 HAS SOPS 6943419 HAS SOUS 6259064 HAS SOUPS 5988088 WITH SCORE 5998565.931
AT ITER 2780 NEW BEST:: SOT 16678177 SOS 10477748 HAS SOPS 6942929 HAS SOUS 6258574 HAS SOUPS 5987598 WITH SCORE 5998075.748
AT ITER 2783 NEW BEST:: SOT 16678048 SOS 10477619 HAS SOPS 6942565 HAS SOUS 6258436 HAS SOUPS 5987334 WITH SCORE 5997811.619
AT ITER 2798 NEW BEST:: SOT 16676718 SOS 10476289 HAS SOPS 6938101 HAS SOUS 6255462 HAS SOUPS 5983588 WITH SCORE 5994064.289
AT ITER 2805 NEW BEST:: SOT 16676566 SOS 10476137 HAS SOPS 6937132 HAS SOUS 6254734 HAS SOUPS 5982620 WITH SCORE 5993096.137
AT ITER 2806 NEW BEST:: SOT 16676452 SOS 10476023 HAS SOPS 6936754 HAS SOUS 6254356 HAS SOUPS 5982242 WITH SCORE 5992718.023
AT ITER 2809 NEW BEST:: SOT 16676452 SOS 10476023 HAS SOPS 6936751 HAS SOUS 6254353 HAS SOUPS 5982239 WITH SCORE 5992715.023
AT ITER 2811 NEW BEST:: SOT 16676452 SOS 10476023 HAS SOPS 6936007 HAS SOUS 6253609 HAS SOUPS 5981495 WITH SCORE 5991971.023
AT ITER 2817 NEW BEST:: SOT 16670831 SOS 10491852 HAS SOPS 6930386 HAS SOUS 6248707 HAS SOUPS 5975874 WITH SCORE 5986365.852
AT ITER 2829 NEW BEST:: SOT 16670208 SOS 10491229 HAS SOPS 6928848 HAS SOUS 6247656 HAS SOUPS 5974336 WITH SCORE 5984827.229
AT ITER 2830 NEW BEST:: SOT 16670208 SOS 10491229 HAS SOPS 6928348 HAS SOUS 6247156 HAS SOUPS 5973836 WITH SCORE 5984327.229
AT ITER 2838 NEW BEST:: SOT 16669930 SOS 10490951 HAS SOPS 6925969 HAS SOUS 6245016 HAS SOUPS 5971696 WITH SCORE 5982186.951
AT ITER 2845 NEW BEST:: SOT 16669601 SOS 10490622 HAS SOPS 6925311 HAS SOUS 6244381 HAS SOUPS 5971038 WITH SCORE 5981528.622
AT ITER 2846 NEW BEST:: SOT 16669613 SOS 10502205 HAS SOPS 6924920 HAS SOUS 6244468 HAS SOUPS 5970647 WITH SCORE 5981149.205
AT ITER 2849 NEW BEST:: SOT 16668416 SOS 10501008 HAS SOPS 6923424 HAS SOUS 6242272 HAS SOUPS 5968451 WITH SCORE 5978952.008
AT ITER 2853 NEW BEST:: SOT 16668416 SOS 10501008 HAS SOPS 6923346 HAS SOUS 6242194 HAS SOUPS 5968373 WITH SCORE 5978874.008
AT ITER 2860 NEW BEST:: SOT 16668416 SOS 10501008 HAS SOPS 6922593 HAS SOUS 6241441 HAS SOUPS 5967620 WITH SCORE 5978121.008
AT ITER 2863 NEW BEST:: SOT 16668416 SOS 10501008 HAS SOPS 6922076 HAS SOUS 6240924 HAS SOUPS 5967103 WITH SCORE 5977604.008
AT ITER 2867 NEW BEST:: SOT 16668416 SOS 10501008 HAS SOPS 6921856 HAS SOUS 6240982 HAS SOUPS 5966883 WITH SCORE 5977384.008
AT ITER 2880 NEW BEST:: SOT 16668207 SOS 10500799 HAS SOPS 6921856 HAS SOUS 6240773 HAS SOUPS 5966674 WITH SCORE 5977174.799
AT ITER 2893 NEW BEST:: SOT 16667940 SOS 10500532 HAS SOPS 6921020 HAS SOUS 6239937 HAS SOUPS 5965838 WITH SCORE 5976338.532
AT ITER 2894 NEW BEST:: SOT 16668111 SOS 10500994 HAS SOPS 6920409 HAS SOUS 6239394 HAS SOUPS 5965228 WITH SCORE 5975728.994
AT ITER 2908 NEW BEST:: SOT 16668268 SOS 10500984 HAS SOPS 6920235 HAS SOUS 6238796 HAS SOUPS 5964630 WITH SCORE 5975130.984
AT ITER 2913 NEW BEST:: SOT 16668038 SOS 10500754 HAS SOPS 6919901 HAS SOUS 6238462 HAS SOUPS 5964296 WITH SCORE 5974796.754
AT ITER 2914 NEW BEST:: SOT 16667552 SOS 10500268 HAS SOPS 6920871 HAS SOUS 6237975 HAS SOUPS 5963809 WITH SCORE 5974309.268
AT ITER 2916 NEW BEST:: SOT 16667594 SOS 10500676 HAS SOPS 6920194 HAS SOUS 6238128 HAS SOUPS 5963132 WITH SCORE 5973632.676
AT ITER 2921 NEW BEST:: SOT 16667594 SOS 10500676 HAS SOPS 6919222 HAS SOUS 6237471 HAS SOUPS 5962475 WITH SCORE 5972975.676
AT ITER 2923 NEW BEST:: SOT 16668597 SOS 10502606 HAS SOPS 6919171 HAS SOUS 6237420 HAS SOUPS 5962424 WITH SCORE 5972926.606
AT ITER 2925 NEW BEST:: SOT 16668512 SOS 10502521 HAS SOPS 6918387 HAS SOUS 6237249 HAS SOUPS 5962253 WITH SCORE 5972755.521
AT ITER 2949 NEW BEST:: SOT 16668512 SOS 10502521 HAS SOPS 6917852 HAS SOUS 6236356 HAS SOUPS 5961360 WITH SCORE 5971862.521
AT ITER 2958 NEW BEST:: SOT 16668488 SOS 10502497 HAS SOPS 6917804 HAS SOUS 6236279 HAS SOUPS 5961283 WITH SCORE 5971785.497
AT ITER 2959 NEW BEST:: SOT 16668488 SOS 10502497 HAS SOPS 6917804 HAS SOUS 6236225 HAS SOUPS 5961229 WITH SCORE 5971731.497
AT ITER 2972 NEW BEST:: SOT 16670967 SOS 10502342 HAS SOPS 6921542 HAS SOUS 6232057 HAS SOUPS 5957481 WITH SCORE 5967983.342
AT ITER 2990 NEW BEST:: SOT 16670427 SOS 10501838 HAS SOPS 6921643 HAS SOUS 6232261 HAS SOUPS 5957043 WITH SCORE 5967544.838
AT ITER 2999 NEW BEST:: SOT 16670154 SOS 10501565 HAS SOPS 6921097 HAS SOUS 6231729 HAS SOUPS 5956511 WITH SCORE 5967012.565
AT ITER 3001 NEW BEST:: SOT 16671735 SOS 10459905 HAS SOPS 6858718 HAS SOUS 6211138 HAS SOUPS 5935920 WITH SCORE 5946379.905
AT ITER 3007 NEW BEST:: SOT 16670492 SOS 10457433 HAS SOPS 6855508 HAS SOUS 6208873 HAS SOUPS 5933655 WITH SCORE 5944112.433
AT ITER 3013 NEW BEST:: SOT 16670358 SOS 10457299 HAS SOPS 6855374 HAS SOUS 6208855 HAS SOUPS 5933637 WITH SCORE 5944094.299
AT ITER 3014 NEW BEST:: SOT 16670079 SOS 10456741 HAS SOPS 6854816 HAS SOUS 6208297 HAS SOUPS 5933079 WITH SCORE 5943535.741
AT ITER 3016 NEW BEST:: SOT 16670079 SOS 10456741 HAS SOPS 6854580 HAS SOUS 6208062 HAS SOUPS 5932844 WITH SCORE 5943300.741
AT ITER 3019 NEW BEST:: SOT 16670079 SOS 10447993 HAS SOPS 6845832 HAS SOUS 6207819 HAS SOUPS 5932601 WITH SCORE 5943048.993
AT ITER 3023 NEW BEST:: SOT 16670090 SOS 10448665 HAS SOPS 6845408 HAS SOUS 6207395 HAS SOUPS 5932177 WITH SCORE 5942625.665
AT ITER 3032 NEW BEST:: SOT 16668695 SOS 10447270 HAS SOPS 6844150 HAS SOUS 6205704 HAS SOUPS 5930919 WITH SCORE 5941366.27
AT ITER 3033 NEW BEST:: SOT 16668426 SOS 10447001 HAS SOPS 6844310 HAS SOUS 6205165 HAS SOUPS 5930380 WITH SCORE 5940827.001
AT ITER 3038 NEW BEST:: SOT 16668338 SOS 10447264 HAS SOPS 6844155 HAS SOUS 6205011 HAS SOUPS 5930226 WITH SCORE 5940673.264
AT ITER 3040 NEW BEST:: SOT 16668437 SOS 10447363 HAS SOPS 6842719 HAS SOUS 6203659 HAS SOUPS 5928790 WITH SCORE 5939237.363
AT ITER 3045 NEW BEST:: SOT 16667596 SOS 10415405 HAS SOPS 6811602 HAS SOUS 6201977 HAS SOUPS 5927108 WITH SCORE 5937523.405
AT ITER 3046 NEW BEST:: SOT 16667591 SOS 10415395 HAS SOPS 6811401 HAS SOUS 6201776 HAS SOUPS 5926907 WITH SCORE 5937322.395
AT ITER 3048 NEW BEST:: SOT 16667591 SOS 10440086 HAS SOPS 6810963 HAS SOUS 6202082 HAS SOUPS 5926775 WITH SCORE 5937215.086
AT ITER 3062 NEW BEST:: SOT 16667591 SOS 10440086 HAS SOPS 6810962 HAS SOUS 6201852 HAS SOUPS 5926545 WITH SCORE 5936985.086
AT ITER 3070 NEW BEST:: SOT 16667591 SOS 10440086 HAS SOPS 6810110 HAS SOUS 6201345 HAS SOUPS 5926038 WITH SCORE 5936478.086
AT ITER 3075 NEW BEST:: SOT 16668444 SOS 10440939 HAS SOPS 6810056 HAS SOUS 6201291 HAS SOUPS 5925984 WITH SCORE 5936424.939
AT ITER 3077 NEW BEST:: SOT 16668444 SOS 10440939 HAS SOPS 6810056 HAS SOUS 6201286 HAS SOUPS 5925979 WITH SCORE 5936419.939
AT ITER 3078 NEW BEST:: SOT 16668317 SOS 10440812 HAS SOPS 6810038 HAS SOUS 6201268 HAS SOUPS 5925961 WITH SCORE 5936401.812
AT ITER 3081 NEW BEST:: SOT 16668317 SOS 10440812 HAS SOPS 6809828 HAS SOUS 6201058 HAS SOUPS 5925751 WITH SCORE 5936191.812
AT ITER 3085 NEW BEST:: SOT 16668245 SOS 10440740 HAS SOPS 6809684 HAS SOUS 6200822 HAS SOUPS 5925607 WITH SCORE 5936047.74
AT ITER 3092 NEW BEST:: SOT 16668207 SOS 10440670 HAS SOPS 6809646 HAS SOUS 6200738 HAS SOUPS 5925569 WITH SCORE 5936009.67
AT ITER 3095 NEW BEST:: SOT 16667833 SOS 10440545 HAS SOPS 6808046 HAS SOUS 6201055 HAS SOUPS 5923970 WITH SCORE 5934410.545
AT ITER 3096 NEW BEST:: SOT 16667732 SOS 10440444 HAS SOPS 6808045 HAS SOUS 6200954 HAS SOUPS 5923869 WITH SCORE 5934309.444
AT ITER 3098 NEW BEST:: SOT 16667898 SOS 10440610 HAS SOPS 6807443 HAS SOUS 6200351 HAS SOUPS 5923267 WITH SCORE 5933707.61
AT ITER 3099 NEW BEST:: SOT 16667756 SOS 10440468 HAS SOPS 6807159 HAS SOUS 6199844 HAS SOUPS 5922841 WITH SCORE 5933281.468
AT ITER 3107 NEW BEST:: SOT 16667057 SOS 10413906 HAS SOPS 6781296 HAS SOUS 6198446 HAS SOUPS 5921443 WITH SCORE 5931856.906
AT ITER 3112 NEW BEST:: SOT 16667677 SOS 10414526 HAS SOPS 6780893 HAS SOUS 6197743 HAS SOUPS 5920740 WITH SCORE 5931154.526
AT ITER 3114 NEW BEST:: SOT 16667722 SOS 10414481 HAS SOPS 6778956 HAS SOUS 6196944 HAS SOUPS 5919456 WITH SCORE 5929870.481
AT ITER 3116 NEW BEST:: SOT 16667471 SOS 10413979 HAS SOPS 6778528 HAS SOUS 6196516 HAS SOUPS 5919028 WITH SCORE 5929441.979
AT ITER 3117 NEW BEST:: SOT 16666530 SOS 10413918 HAS SOPS 6779352 HAS SOUS 6197220 HAS SOUPS 5918953 WITH SCORE 5929366.918
AT ITER 3118 NEW BEST:: SOT 16665692 SOS 10413080 HAS SOPS 6777397 HAS SOUS 6195539 HAS SOUPS 5916998 WITH SCORE 5927411.08
AT ITER 3120 NEW BEST:: SOT 16665578 SOS 10412086 HAS SOPS 6776326 HAS SOUS 6194600 HAS SOUPS 5916059 WITH SCORE 5926471.086
AT ITER 3121 NEW BEST:: SOT 16666246 SOS 10412754 HAS SOPS 6775840 HAS SOUS 6195306 HAS SOUPS 5915632 WITH SCORE 5926044.754
AT ITER 3122 NEW BEST:: SOT 16666246 SOS 10431615 HAS SOPS 6775192 HAS SOUS 6195471 HAS SOUPS 5914984 WITH SCORE 5925415.615
AT ITER 3129 NEW BEST:: SOT 16666246 SOS 10431615 HAS SOPS 6775191 HAS SOUS 6195470 HAS SOUPS 5914983 WITH SCORE 5925414.615
AT ITER 3132 NEW BEST:: SOT 16527333 SOS 10292702 HAS SOPS 6636278 HAS SOUS 6082632 HAS SOUPS 5796606 WITH SCORE 5806898.702
AT ITER 3141 NEW BEST:: SOT 16527168 SOS 10292537 HAS SOPS 6635378 HAS SOUS 6081765 HAS SOUPS 5795706 WITH SCORE 5805998.537
AT ITER 3142 NEW BEST:: SOT 16528697 SOS 10345066 HAS SOPS 6634453 HAS SOUS 6083315 HAS SOUPS 5794781 WITH SCORE 5805126.066
AT ITER 3145 NEW BEST:: SOT 16528697 SOS 10345066 HAS SOPS 6634061 HAS SOUS 6082923 HAS SOUPS 5794389 WITH SCORE 5804734.066
AT ITER 3159 NEW BEST:: SOT 16528697 SOS 10345066 HAS SOPS 6633810 HAS SOUS 6082672 HAS SOUPS 5794138 WITH SCORE 5804483.066
AT ITER 3163 NEW BEST:: SOT 16528556 SOS 10344925 HAS SOPS 6632548 HAS SOUS 6081636 HAS SOUPS 5793102 WITH SCORE 5803446.925
AT ITER 3183 NEW BEST:: SOT 16528416 SOS 10344785 HAS SOPS 6630214 HAS SOUS 6081091 HAS SOUPS 5790855 WITH SCORE 5801199.785
AT ITER 3185 NEW BEST:: SOT 16528596 SOS 10344965 HAS SOPS 6629051 HAS SOUS 6079928 HAS SOUPS 5789692 WITH SCORE 5800036.965
AT ITER 3188 NEW BEST:: SOT 16528208 SOS 10345135 HAS SOPS 6628224 HAS SOUS 6079336 HAS SOUPS 5789100 WITH SCORE 5799445.135
AT ITER 3191 NEW BEST:: SOT 16528208 SOS 10345135 HAS SOPS 6627571 HAS SOUS 6078859 HAS SOUPS 5788447 WITH SCORE 5798792.135
AT ITER 3194 NEW BEST:: SOT 16528580 SOS 10345507 HAS SOPS 6627011 HAS SOUS 6078778 HAS SOUPS 5788351 WITH SCORE 5798696.507
AT ITER 3195 NEW BEST:: SOT 16528580 SOS 10345507 HAS SOPS 6627002 HAS SOUS 6078769 HAS SOUPS 5788342 WITH SCORE 5798687.507
AT ITER 3205 NEW BEST:: SOT 16528580 SOS 10342510 HAS SOPS 6624086 HAS SOUS 6078688 HAS SOUPS 5788261 WITH SCORE 5798603.51
AT ITER 3206 NEW BEST:: SOT 16528547 SOS 10345447 HAS SOPS 6623999 HAS SOUS 6078655 HAS SOUPS 5788174 WITH SCORE 5798519.447
AT ITER 3207 NEW BEST:: SOT 16528547 SOS 10329517 HAS SOPS 6608599 HAS SOUS 6078655 HAS SOUPS 5788174 WITH SCORE 5798503.517
AT ITER 3211 NEW BEST:: SOT 16528214 SOS 10329184 HAS SOPS 6605289 HAS SOUS 6076100 HAS SOUPS 5785619 WITH SCORE 5795948.184
AT ITER 3226 NEW BEST:: SOT 16528585 SOS 10329555 HAS SOPS 6604573 HAS SOUS 6074803 HAS SOUPS 5784322 WITH SCORE 5794651.555
AT ITER 3230 NEW BEST:: SOT 16528585 SOS 10329555 HAS SOPS 6604306 HAS SOUS 6074537 HAS SOUPS 5784056 WITH SCORE 5794385.555
AT ITER 3241 NEW BEST:: SOT 16527945 SOS 10328915 HAS SOPS 6603026 HAS SOUS 6073372 HAS SOUPS 5782776 WITH SCORE 5793104.915
AT ITER 3243 NEW BEST:: SOT 16527945 SOS 10328915 HAS SOPS 6602980 HAS SOUS 6073326 HAS SOUPS 5782730 WITH SCORE 5793058.915
AT ITER 3247 NEW BEST:: SOT 16527583 SOS 10328553 HAS SOPS 6602979 HAS SOUS 6072602 HAS SOUPS 5782006 WITH SCORE 5792334.553
AT ITER 3249 NEW BEST:: SOT 16527501 SOS 10328471 HAS SOPS 6602897 HAS SOUS 6072520 HAS SOUPS 5781924 WITH SCORE 5792252.471
AT ITER 3251 NEW BEST:: SOT 16527501 SOS 10328471 HAS SOPS 6602869 HAS SOUS 6072492 HAS SOUPS 5781896 WITH SCORE 5792224.471
AT ITER 3259 NEW BEST:: SOT 16524221 SOS 10325288 HAS SOPS 6599704 HAS SOUS 6069309 HAS SOUPS 5778731 WITH SCORE 5789056.288
AT ITER 3263 NEW BEST:: SOT 16523719 SOS 10324786 HAS SOPS 6599812 HAS SOUS 6067687 HAS SOUPS 5777883 WITH SCORE 5788207.786
AT ITER 3264 NEW BEST:: SOT 16523647 SOS 10324687 HAS SOPS 6597883 HAS SOUS 6065759 HAS SOUPS 5775955 WITH SCORE 5786279.687
AT ITER 3266 NEW BEST:: SOT 16491542 SOS 10381082 HAS SOPS 6562813 HAS SOUS 6032002 HAS SOUPS 5740885 WITH SCORE 5751266.082
AT ITER 3273 NEW BEST:: SOT 16491898 SOS 10381438 HAS SOPS 6562133 HAS SOUS 6031736 HAS SOUPS 5740205 WITH SCORE 5750586.438
AT ITER 3274 NEW BEST:: SOT 16492215 SOS 10381755 HAS SOPS 6561458 HAS SOUS 6031299 HAS SOUPS 5739768 WITH SCORE 5750149.755
AT ITER 3276 NEW BEST:: SOT 16491818 SOS 10381358 HAS SOPS 6561261 HAS SOUS 6030622 HAS SOUPS 5739091 WITH SCORE 5749472.358
AT ITER 3280 NEW BEST:: SOT 16491159 SOS 10380699 HAS SOPS 6559542 HAS SOUS 6029305 HAS SOUPS 5737547 WITH SCORE 5747927.699
AT ITER 3282 NEW BEST:: SOT 16491304 SOS 10381432 HAS SOPS 6559025 HAS SOUS 6028788 HAS SOUPS 5737030 WITH SCORE 5747411.432
AT ITER 3283 NEW BEST:: SOT 16491338 SOS 10381466 HAS SOPS 6558991 HAS SOUS 6028788 HAS SOUPS 5736996 WITH SCORE 5747377.466
AT ITER 3292 NEW BEST:: SOT 16491353 SOS 10381481 HAS SOPS 6558095 HAS SOUS 6028078 HAS SOUPS 5736100 WITH SCORE 5746481.481
AT ITER 3295 NEW BEST:: SOT 16491356 SOS 10381484 HAS SOPS 6557671 HAS SOUS 6027630 HAS SOUPS 5735652 WITH SCORE 5746033.484
AT ITER 3301 NEW BEST:: SOT 16491356 SOS 10381484 HAS SOPS 6556805 HAS SOUS 6027474 HAS SOUPS 5735496 WITH SCORE 5745877.484
AT ITER 3308 NEW BEST:: SOT 16491601 SOS 10401837 HAS SOPS 6556709 HAS SOUS 6027719 HAS SOUPS 5735400 WITH SCORE 5745801.837
AT ITER 3318 NEW BEST:: SOT 16490668 SOS 10400904 HAS SOPS 6553152 HAS SOUS 6024334 HAS SOUPS 5731843 WITH SCORE 5742243.904
AT ITER 3320 NEW BEST:: SOT 16491492 SOS 10460165 HAS SOPS 6552996 HAS SOUS 6025562 HAS SOUPS 5731687 WITH SCORE 5742147.165
AT ITER 3324 NEW BEST:: SOT 16491492 SOS 10460165 HAS SOPS 6552992 HAS SOUS 6025610 HAS SOUPS 5731683 WITH SCORE 5742143.165
AT ITER 3330 NEW BEST:: SOT 16490847 SOS 10459520 HAS SOPS 6551244 HAS SOUS 6023883 HAS SOUPS 5729936 WITH SCORE 5740395.52
AT ITER 3341 NEW BEST:: SOT 16488115 SOS 10456788 HAS SOPS 6548011 HAS SOUS 6020650 HAS SOUPS 5726703 WITH SCORE 5737159.788
AT ITER 3342 NEW BEST:: SOT 16488115 SOS 10456788 HAS SOPS 6546491 HAS SOUS 6019300 HAS SOUPS 5725353 WITH SCORE 5735809.788
AT ITER 3344 NEW BEST:: SOT 16488027 SOS 10456700 HAS SOPS 6543951 HAS SOUS 6016761 HAS SOUPS 5722814 WITH SCORE 5733270.7
AT ITER 3346 NEW BEST:: SOT 16487779 SOS 10456452 HAS SOPS 6543950 HAS SOUS 6016264 HAS SOUPS 5722317 WITH SCORE 5732773.452
AT ITER 3349 NEW BEST:: SOT 16485504 SOS 10421966 HAS SOPS 6543855 HAS SOUS 6015023 HAS SOUPS 5722222 WITH SCORE 5732643.966
AT ITER 3360 NEW BEST:: SOT 16486052 SOS 10422514 HAS SOPS 6543701 HAS SOUS 6014869 HAS SOUPS 5722068 WITH SCORE 5732490.514
AT ITER 3362 NEW BEST:: SOT 16486150 SOS 10422612 HAS SOPS 6541471 HAS SOUS 6013013 HAS SOUPS 5720212 WITH SCORE 5730634.612
AT ITER 3393 NEW BEST:: SOT 16486150 SOS 10422612 HAS SOPS 6541251 HAS SOUS 6012793 HAS SOUPS 5719992 WITH SCORE 5730414.612
AT ITER 3394 NEW BEST:: SOT 16485511 SOS 10421973 HAS SOPS 6540399 HAS SOUS 6012154 HAS SOUPS 5719140 WITH SCORE 5729561.973
AT ITER 3396 NEW BEST:: SOT 16485420 SOS 10421882 HAS SOPS 6540294 HAS SOUS 6012048 HAS SOUPS 5719034 WITH SCORE 5729455.882
AT ITER 3408 NEW BEST:: SOT 16485021 SOS 10421483 HAS SOPS 6540762 HAS SOUS 6010469 HAS SOUPS 5717455 WITH SCORE 5727876.483
AT ITER 3410 NEW BEST:: SOT 16485021 SOS 10421483 HAS SOPS 6540347 HAS SOUS 6010054 HAS SOUPS 5717040 WITH SCORE 5727461.483
AT ITER 3417 NEW BEST:: SOT 16485021 SOS 10421483 HAS SOPS 6539672 HAS SOUS 6010041 HAS SOUPS 5717027 WITH SCORE 5727448.483
AT ITER 3418 NEW BEST:: SOT 16484989 SOS 10421451 HAS SOPS 6537140 HAS SOUS 6009308 HAS SOUPS 5715389 WITH SCORE 5725810.451
AT ITER 3420 NEW BEST:: SOT 16484765 SOS 10421227 HAS SOPS 6535674 HAS SOUS 6007843 HAS SOUPS 5713924 WITH SCORE 5724345.227
AT ITER 3423 NEW BEST:: SOT 16484759 SOS 10421647 HAS SOPS 6535235 HAS SOUS 6008416 HAS SOUPS 5713485 WITH SCORE 5723906.647
AT ITER 3433 NEW BEST:: SOT 16484777 SOS 10423028 HAS SOPS 6535008 HAS SOUS 6008189 HAS SOUPS 5713258 WITH SCORE 5723681.028
AT ITER 3436 NEW BEST:: SOT 16484365 SOS 10422616 HAS SOPS 6534532 HAS SOUS 6007827 HAS SOUPS 5712896 WITH SCORE 5723318.616
AT ITER 3439 NEW BEST:: SOT 16491684 SOS 10386326 HAS SOPS 6470260 HAS SOUS 5985046 HAS SOUPS 5689766 WITH SCORE 5700152.326
AT ITER 3440 NEW BEST:: SOT 16497450 SOS 10385923 HAS SOPS 6476268 HAS SOUS 5978727 HAS SOUPS 5684259 WITH SCORE 5694644.923
AT ITER 3443 NEW BEST:: SOT 16497317 SOS 10385790 HAS SOPS 6473847 HAS SOUS 5977407 HAS SOUPS 5682939 WITH SCORE 5693324.79
AT ITER 3453 NEW BEST:: SOT 16497042 SOS 10385515 HAS SOPS 6473571 HAS SOUS 5976856 HAS SOUPS 5682388 WITH SCORE 5692773.515
AT ITER 3455 NEW BEST:: SOT 16497188 SOS 10385661 HAS SOPS 6473208 HAS SOUS 5976494 HAS SOUPS 5682026 WITH SCORE 5692411.661
AT ITER 3457 NEW BEST:: SOT 16496986 SOS 10385459 HAS SOPS 6472609 HAS SOUS 5975895 HAS SOUPS 5681427 WITH SCORE 5691812.459
AT ITER 3462 NEW BEST:: SOT 16496361 SOS 10384191 HAS SOPS 6471756 HAS SOUS 5975042 HAS SOUPS 5680574 WITH SCORE 5690958.191
AT ITER 3463 NEW BEST:: SOT 16496865 SOS 10385100 HAS SOPS 6471667 HAS SOUS 5975225 HAS SOUPS 5680485 WITH SCORE 5690870.1
AT ITER 3468 NEW BEST:: SOT 16496420 SOS 10384655 HAS SOPS 6470777 HAS SOUS 5974335 HAS SOUPS 5679595 WITH SCORE 5689979.655
AT ITER 3471 NEW BEST:: SOT 16495966 SOS 10384201 HAS SOPS 6469869 HAS SOUS 5973427 HAS SOUPS 5678687 WITH SCORE 5689071.201
AT ITER 3472 NEW BEST:: SOT 16495966 SOS 10387043 HAS SOPS 6469767 HAS SOUS 5973423 HAS SOUPS 5678585 WITH SCORE 5688972.043
AT ITER 3482 NEW BEST:: SOT 16496184 SOS 10387261 HAS SOPS 6469442 HAS SOUS 5972995 HAS SOUPS 5678260 WITH SCORE 5688647.261
AT ITER 3483 NEW BEST:: SOT 16496184 SOS 10386532 HAS SOPS 6468602 HAS SOUS 5972155 HAS SOUPS 5677420 WITH SCORE 5687806.532
AT ITER 3485 NEW BEST:: SOT 16496182 SOS 10386530 HAS SOPS 6468600 HAS SOUS 5972151 HAS SOUPS 5677416 WITH SCORE 5687802.53
AT ITER 3486 NEW BEST:: SOT 16496191 SOS 10386539 HAS SOPS 6468031 HAS SOUS 5971583 HAS SOUPS 5676848 WITH SCORE 5687234.539
AT ITER 3491 NEW BEST:: SOT 16495607 SOS 10352997 HAS SOPS 6467503 HAS SOUS 5970471 HAS SOUPS 5676320 WITH SCORE 5686672.997
AT ITER 3492 NEW BEST:: SOT 16496036 SOS 10354071 HAS SOPS 6466682 HAS SOUS 5969651 HAS SOUPS 5675500 WITH SCORE 5685854.071
AT ITER 3500 NEW BEST:: SOT 16495903 SOS 10353938 HAS SOPS 6466281 HAS SOUS 5969387 HAS SOUPS 5675236 WITH SCORE 5685589.938
AT ITER 3511 NEW BEST:: SOT 16495903 SOS 10353938 HAS SOPS 6467180 HAS SOUS 5969386 HAS SOUPS 5675235 WITH SCORE 5685588.938
AT ITER 3526 NEW BEST:: SOT 16495595 SOS 10344869 HAS SOPS 6467180 HAS SOUS 5969078 HAS SOUPS 5675235 WITH SCORE 5685579.869
AT ITER 3527 NEW BEST:: SOT 16495595 SOS 10344876 HAS SOPS 6467192 HAS SOUS 5969077 HAS SOUPS 5675234 WITH SCORE 5685578.876
AT ITER 3536 NEW BEST:: SOT 16496550 SOS 10396329 HAS SOPS 6466261 HAS SOUS 5969014 HAS SOUPS 5674303 WITH SCORE 5684699.329
AT ITER 3537 NEW BEST:: SOT 16496550 SOS 10396329 HAS SOPS 6466455 HAS SOUS 5969013 HAS SOUPS 5674302 WITH SCORE 5684698.329
AT ITER 3541 NEW BEST:: SOT 16495297 SOS 10395076 HAS SOPS 6465503 HAS SOUS 5968103 HAS SOUPS 5673624 WITH SCORE 5684019.076
AT ITER 3546 NEW BEST:: SOT 16493735 SOS 10393514 HAS SOPS 6460873 HAS SOUS 5965389 HAS SOUPS 5669218 WITH SCORE 5679611.514
AT ITER 3547 NEW BEST:: SOT 16493841 SOS 10393620 HAS SOPS 6460085 HAS SOUS 5965000 HAS SOUPS 5668430 WITH SCORE 5678823.62
AT ITER 3560 NEW BEST:: SOT 16493432 SOS 10393211 HAS SOPS 6459749 HAS SOUS 5964752 HAS SOUPS 5668094 WITH SCORE 5678487.211
AT ITER 3569 NEW BEST:: SOT 16492974 SOS 10392753 HAS SOPS 6459748 HAS SOUS 5963835 HAS SOUPS 5667177 WITH SCORE 5677569.753
AT ITER 3572 NEW BEST:: SOT 16492768 SOS 10392547 HAS SOPS 6459542 HAS SOUS 5963629 HAS SOUPS 5666971 WITH SCORE 5677363.547
AT ITER 3573 NEW BEST:: SOT 16492976 SOS 10393185 HAS SOPS 6458506 HAS SOUS 5963035 HAS SOUPS 5666377 WITH SCORE 5676770.185
AT ITER 3575 NEW BEST:: SOT 16486796 SOS 10412843 HAS SOPS 6448848 HAS SOUS 5954379 HAS SOUPS 5656719 WITH SCORE 5667131.843
AT ITER 3593 NEW BEST:: SOT 16486796 SOS 10412843 HAS SOPS 6448726 HAS SOUS 5954276 HAS SOUPS 5656597 WITH SCORE 5667009.843
AT ITER 3594 NEW BEST:: SOT 16486118 SOS 10412165 HAS SOPS 6448883 HAS SOUS 5954210 HAS SOUPS 5656531 WITH SCORE 5666943.165
AT ITER 3595 NEW BEST:: SOT 16486906 SOS 10412953 HAS SOPS 6448641 HAS SOUS 5953970 HAS SOUPS 5656291 WITH SCORE 5666703.953
AT ITER 3596 NEW BEST:: SOT 16487858 SOS 10414005 HAS SOPS 6447250 HAS SOUS 5953331 HAS SOUPS 5654900 WITH SCORE 5665314.005
AT ITER 3599 NEW BEST:: SOT 16487250 SOS 10413397 HAS SOPS 6446760 HAS SOUS 5951982 HAS SOUPS 5653551 WITH SCORE 5663964.397
AT ITER 3610 NEW BEST:: SOT 16487250 SOS 10413397 HAS SOPS 6446611 HAS SOUS 5951834 HAS SOUPS 5653403 WITH SCORE 5663816.397
AT ITER 3614 NEW BEST:: SOT 16487689 SOS 10413947 HAS SOPS 6446588 HAS SOUS 5952115 HAS SOUPS 5653380 WITH SCORE 5663793.947
AT ITER 3615 NEW BEST:: SOT 16483465 SOS 10409861 HAS SOPS 6442832 HAS SOUS 5948029 HAS SOUPS 5649624 WITH SCORE 5660033.861
AT ITER 3617 NEW BEST:: SOT 16483761 SOS 10410157 HAS SOPS 6442738 HAS SOUS 5947627 HAS SOUPS 5649222 WITH SCORE 5659632.157
AT ITER 3621 NEW BEST:: SOT 16483968 SOS 10410752 HAS SOPS 6441693 HAS SOUS 5946583 HAS SOUPS 5648178 WITH SCORE 5658588.752
AT ITER 3624 NEW BEST:: SOT 16483894 SOS 10410678 HAS SOPS 6441399 HAS SOUS 5946420 HAS SOUPS 5647849 WITH SCORE 5658259.678
AT ITER 3627 NEW BEST:: SOT 16483577 SOS 10410161 HAS SOPS 6439590 HAS SOUS 5944886 HAS SOUPS 5646279 WITH SCORE 5656689.161
AT ITER 3634 NEW BEST:: SOT 16483680 SOS 10410264 HAS SOPS 6440152 HAS SOUS 5944049 HAS SOUPS 5645442 WITH SCORE 5655852.264
AT ITER 3640 NEW BEST:: SOT 16483967 SOS 10410551 HAS SOPS 6440149 HAS SOUS 5944046 HAS SOUPS 5645439 WITH SCORE 5655849.551
AT ITER 3642 NEW BEST:: SOT 16483967 SOS 10410551 HAS SOPS 6439958 HAS SOUS 5943855 HAS SOUPS 5645248 WITH SCORE 5655658.551
AT ITER 3645 NEW BEST:: SOT 16482819 SOS 10409403 HAS SOPS 6439367 HAS SOUS 5943588 HAS SOUPS 5644981 WITH SCORE 5655390.403
AT ITER 3649 NEW BEST:: SOT 16483420 SOS 10410004 HAS SOPS 6439349 HAS SOUS 5943572 HAS SOUPS 5644965 WITH SCORE 5655375.004
AT ITER 3656 NEW BEST:: SOT 16483420 SOS 10410004 HAS SOPS 6439345 HAS SOUS 5943568 HAS SOUPS 5644961 WITH SCORE 5655371.004
AT ITER 3670 NEW BEST:: SOT 16483415 SOS 10389315 HAS SOPS 6406475 HAS SOUS 5940502 HAS SOUPS 5641615 WITH SCORE 5652004.315
AT ITER 3671 NEW BEST:: SOT 16483359 SOS 10389259 HAS SOPS 6406363 HAS SOUS 5940390 HAS SOUPS 5641503 WITH SCORE 5651892.259
AT ITER 3678 NEW BEST:: SOT 16483357 SOS 10389257 HAS SOPS 6406250 HAS SOUS 5940166 HAS SOUPS 5641390 WITH SCORE 5651779.257
AT ITER 3689 NEW BEST:: SOT 16483391 SOS 10389280 HAS SOPS 6405793 HAS SOUS 5939710 HAS SOUPS 5640934 WITH SCORE 5651323.28
AT ITER 3692 NEW BEST:: SOT 16483165 SOS 10389054 HAS SOPS 6404321 HAS SOUS 5938787 HAS SOUPS 5640011 WITH SCORE 5650400.054
AT ITER 3697 NEW BEST:: SOT 16483165 SOS 10389054 HAS SOPS 6404295 HAS SOUS 5938761 HAS SOUPS 5639985 WITH SCORE 5650374.054
AT ITER 3701 NEW BEST:: SOT 16482948 SOS 10388837 HAS SOPS 6403479 HAS SOUS 5938327 HAS SOUPS 5639551 WITH SCORE 5649939.837
AT ITER 3714 NEW BEST:: SOT 16482604 SOS 10388493 HAS SOPS 6403237 HAS SOUS 5937863 HAS SOUPS 5639087 WITH SCORE 5649475.493
AT ITER 3716 NEW BEST:: SOT 16481662 SOS 10387585 HAS SOPS 6401089 HAS SOUS 5937976 HAS SOUPS 5636940 WITH SCORE 5647327.585
AT ITER 3718 NEW BEST:: SOT 16481174 SOS 10387097 HAS SOPS 6400601 HAS SOUS 5937488 HAS SOUPS 5636452 WITH SCORE 5646839.097
AT ITER 3719 NEW BEST:: SOT 16480888 SOS 10386811 HAS SOPS 6400879 HAS SOUS 5936916 HAS SOUPS 5635880 WITH SCORE 5646266.811
AT ITER 3729 NEW BEST:: SOT 16480827 SOS 10386750 HAS SOPS 6400817 HAS SOUS 5936733 HAS SOUPS 5635697 WITH SCORE 5646083.75
AT ITER 3736 NEW BEST:: SOT 16480633 SOS 10386556 HAS SOPS 6400790 HAS SOUS 5936513 HAS SOUPS 5635477 WITH SCORE 5645863.556
AT ITER 3743 NEW BEST:: SOT 16480285 SOS 10384414 HAS SOPS 6399496 HAS SOUS 5935567 HAS SOUPS 5634781 WITH SCORE 5645165.414
AT ITER 3755 NEW BEST:: SOT 16480209 SOS 10384262 HAS SOPS 6399496 HAS SOUS 5935567 HAS SOUPS 5634781 WITH SCORE 5645165.262
AT ITER 3756 NEW BEST:: SOT 16480145 SOS 10384363 HAS SOPS 6399207 HAS SOUS 5935503 HAS SOUPS 5634492 WITH SCORE 5644876.363
AT ITER 3757 NEW BEST:: SOT 16480145 SOS 10384363 HAS SOPS 6398503 HAS SOUS 5934799 HAS SOUPS 5633788 WITH SCORE 5644172.363
AT ITER 3761 NEW BEST:: SOT 16480025 SOS 10384243 HAS SOPS 6396521 HAS SOUS 5932817 HAS SOUPS 5631806 WITH SCORE 5642190.243
AT ITER 3764 NEW BEST:: SOT 16480182 SOS 10384400 HAS SOPS 6395854 HAS SOUS 5932128 HAS SOUPS 5631056 WITH SCORE 5641440.4
AT ITER 3770 NEW BEST:: SOT 16480182 SOS 10384400 HAS SOPS 6395734 HAS SOUS 5932008 HAS SOUPS 5630936 WITH SCORE 5641320.4
AT ITER 3775 NEW BEST:: SOT 16478812 SOS 10383030 HAS SOPS 6394124 HAS SOUS 5930398 HAS SOUPS 5629326 WITH SCORE 5639709.03
AT ITER 3777 NEW BEST:: SOT 16478798 SOS 10382918 HAS SOPS 6393914 HAS SOUS 5930188 HAS SOUPS 5629116 WITH SCORE 5639498.918
AT ITER 3779 NEW BEST:: SOT 16478608 SOS 10382728 HAS SOPS 6393533 HAS SOUS 5929376 HAS SOUPS 5628736 WITH SCORE 5639118.728
AT ITER 3788 NEW BEST:: SOT 16478608 SOS 10382728 HAS SOPS 6393329 HAS SOUS 5929172 HAS SOUPS 5628532 WITH SCORE 5638914.728
AT ITER 3796 NEW BEST:: SOT 16478608 SOS 10382728 HAS SOPS 6392492 HAS SOUS 5928566 HAS SOUPS 5627926 WITH SCORE 5638308.728
AT ITER 3800 NEW BEST:: SOT 16478608 SOS 10382728 HAS SOPS 6392369 HAS SOUS 5928443 HAS SOUPS 5627803 WITH SCORE 5638185.728
AT ITER 3801 NEW BEST:: SOT 16478522 SOS 10382642 HAS SOPS 6392197 HAS SOUS 5928271 HAS SOUPS 5627631 WITH SCORE 5638013.642
AT ITER 3808 NEW BEST:: SOT 16478522 SOS 10382642 HAS SOPS 6392197 HAS SOUS 5927573 HAS SOUPS 5626933 WITH SCORE 5637315.642
AT ITER 3812 NEW BEST:: SOT 16478318 SOS 10382234 HAS SOPS 6391789 HAS SOUS 5927165 HAS SOUPS 5626525 WITH SCORE 5636907.234
AT ITER 3813 NEW BEST:: SOT 16478026 SOS 10381942 HAS SOPS 6391070 HAS SOUS 5926857 HAS SOUPS 5625806 WITH SCORE 5636187.942
AT ITER 3815 NEW BEST:: SOT 16477987 SOS 10381903 HAS SOPS 6390992 HAS SOUS 5926779 HAS SOUPS 5625728 WITH SCORE 5636109.903
AT ITER 3823 NEW BEST:: SOT 16477808 SOS 10381724 HAS SOPS 6390407 HAS SOUS 5925171 HAS SOUPS 5624120 WITH SCORE 5634501.724
AT ITER 3838 NEW BEST:: SOT 16477808 SOS 10381724 HAS SOPS 6389900 HAS SOUS 5924664 HAS SOUPS 5623613 WITH SCORE 5633994.724
AT ITER 3841 NEW BEST:: SOT 16477808 SOS 10381724 HAS SOPS 6389779 HAS SOUS 5924543 HAS SOUPS 5623492 WITH SCORE 5633873.724
AT ITER 3843 NEW BEST:: SOT 16478739 SOS 10382761 HAS SOPS 6389510 HAS SOUS 5924275 HAS SOUPS 5623224 WITH SCORE 5633606.761
AT ITER 3849 NEW BEST:: SOT 16478739 SOS 10382761 HAS SOPS 6389160 HAS SOUS 5924028 HAS SOUPS 5622977 WITH SCORE 5633359.761
AT ITER 3850 NEW BEST:: SOT 16478669 SOS 10382691 HAS SOPS 6389090 HAS SOUS 5923958 HAS SOUPS 5622907 WITH SCORE 5633289.691
AT ITER 3862 NEW BEST:: SOT 16478669 SOS 10382691 HAS SOPS 6389090 HAS SOUS 5923930 HAS SOUPS 5622879 WITH SCORE 5633261.691
AT ITER 3873 NEW BEST:: SOT 16477981 SOS 10381315 HAS SOPS 6388322 HAS SOUS 5923162 HAS SOUPS 5622111 WITH SCORE 5632492.315
AT ITER 3875 NEW BEST:: SOT 16477817 SOS 10381151 HAS SOPS 6387666 HAS SOUS 5922506 HAS SOUPS 5621455 WITH SCORE 5631836.151
AT ITER 3882 NEW BEST:: SOT 16477733 SOS 10381067 HAS SOPS 6387498 HAS SOUS 5922338 HAS SOUPS 5621287 WITH SCORE 5631668.067
AT ITER 3884 NEW BEST:: SOT 16477494 SOS 10380828 HAS SOPS 6387020 HAS SOUS 5922009 HAS SOUPS 5620809 WITH SCORE 5631189.828
AT ITER 3894 NEW BEST:: SOT 16476852 SOS 10380186 HAS SOPS 6384284 HAS SOUS 5919965 HAS SOUPS 5618073 WITH SCORE 5628453.186
AT ITER 3897 NEW BEST:: SOT 16476852 SOS 10380186 HAS SOPS 6383363 HAS SOUS 5919044 HAS SOUPS 5617152 WITH SCORE 5627532.186
AT ITER 3898 NEW BEST:: SOT 16476852 SOS 10380186 HAS SOPS 6383221 HAS SOUS 5918902 HAS SOUPS 5617010 WITH SCORE 5627390.186
AT ITER 3910 NEW BEST:: SOT 16476871 SOS 10380247 HAS SOPS 6382506 HAS SOUS 5918850 HAS SOUPS 5616958 WITH SCORE 5627338.247
AT ITER 3926 NEW BEST:: SOT 16477991 SOS 10381367 HAS SOPS 6381228 HAS SOUS 5918164 HAS SOUPS 5616140 WITH SCORE 5626521.367
AT ITER 3933 NEW BEST:: SOT 16477991 SOS 10381367 HAS SOPS 6381261 HAS SOUS 5918163 HAS SOUPS 5616139 WITH SCORE 5626520.367
AT ITER 3934 NEW BEST:: SOT 16477811 SOS 10381187 HAS SOPS 6380541 HAS SOUS 5917872 HAS SOUPS 5615997 WITH SCORE 5626378.187
AT ITER 3943 NEW BEST:: SOT 16477925 SOS 10381301 HAS SOPS 6380509 HAS SOUS 5917802 HAS SOUPS 5615927 WITH SCORE 5626308.301
AT ITER 3945 NEW BEST:: SOT 16477611 SOS 10380987 HAS SOPS 6380480 HAS SOUS 5917773 HAS SOUPS 5615898 WITH SCORE 5626278.987
AT ITER 3946 NEW BEST:: SOT 16477386 SOS 10380762 HAS SOPS 6380017 HAS SOUS 5917323 HAS SOUPS 5615448 WITH SCORE 5625828.762
AT ITER 3950 NEW BEST:: SOT 16477348 SOS 10380724 HAS SOPS 6379718 HAS SOUS 5917734 HAS SOUPS 5615149 WITH SCORE 5625529.724
AT ITER 3969 NEW BEST:: SOT 16499479 SOS 10383685 HAS SOPS 6361359 HAS SOUS 5917661 HAS SOUPS 5613659 WITH SCORE 5624042.685
AT ITER 3970 NEW BEST:: SOT 16499479 SOS 10383685 HAS SOPS 6360957 HAS SOUS 5917259 HAS SOUPS 5613257 WITH SCORE 5623640.685
AT ITER 3982 NEW BEST:: SOT 16499479 SOS 10383685 HAS SOPS 6360705 HAS SOUS 5917275 HAS SOUPS 5613005 WITH SCORE 5623388.685
AT ITER 3997 NEW BEST:: SOT 16498792 SOS 10382998 HAS SOPS 6360479 HAS SOUS 5917050 HAS SOUPS 5612780 WITH SCORE 5623162.998
AT ITER 3998 NEW BEST:: SOT 16498792 SOS 10382998 HAS SOPS 6360475 HAS SOUS 5917046 HAS SOUPS 5612776 WITH SCORE 5623158.998
AT ITER 4000 NEW BEST:: SOT 16498989 SOS 10383195 HAS SOPS 6360065 HAS SOUS 5916361 HAS SOUPS 5612091 WITH SCORE 5622474.195
AT ITER 4002 NEW BEST:: SOT 16498721 SOS 10382136 HAS SOPS 6359044 HAS SOUS 5915958 HAS SOUPS 5611688 WITH SCORE 5622070.136
AT ITER 4004 NEW BEST:: SOT 16498721 SOS 10382136 HAS SOPS 6359215 HAS SOUS 5915952 HAS SOUPS 5611682 WITH SCORE 5622064.136
AT ITER 4014 NEW BEST:: SOT 16498721 SOS 10382136 HAS SOPS 6359211 HAS SOUS 5915952 HAS SOUPS 5611678 WITH SCORE 5622060.136
AT ITER 4037 NEW BEST:: SOT 16497928 SOS 10380550 HAS SOPS 6358269 HAS SOUS 5915010 HAS SOUPS 5610736 WITH SCORE 5621116.55
AT ITER 4038 NEW BEST:: SOT 16497757 SOS 10380208 HAS SOPS 6357807 HAS SOUS 5914548 HAS SOUPS 5610274 WITH SCORE 5620654.208
AT ITER 4047 NEW BEST:: SOT 16499066 SOS 10381517 HAS SOPS 6357801 HAS SOUS 5914542 HAS SOUPS 5610268 WITH SCORE 5620649.517
AT ITER 4048 NEW BEST:: SOT 16498964 SOS 10381392 HAS SOPS 6357675 HAS SOUS 5914416 HAS SOUPS 5610142 WITH SCORE 5620523.392
AT ITER 4049 NEW BEST:: SOT 16498540 SOS 10380968 HAS SOPS 6355853 HAS SOUS 5913672 HAS SOUPS 5608406 WITH SCORE 5618786.968
AT ITER 4056 NEW BEST:: SOT 16498536 SOS 10380964 HAS SOPS 6354081 HAS SOUS 5912983 HAS SOUPS 5607111 WITH SCORE 5617491.964
AT ITER 4059 NEW BEST:: SOT 16498342 SOS 10380770 HAS SOPS 6353887 HAS SOUS 5912789 HAS SOUPS 5606917 WITH SCORE 5617297.77
AT ITER 4076 NEW BEST:: SOT 16506881 SOS 10380907 HAS SOPS 6364642 HAS SOUS 5907492 HAS SOUPS 5602728 WITH SCORE 5613108.907
AT ITER 4081 NEW BEST:: SOT 16506467 SOS 10380493 HAS SOPS 6363133 HAS SOUS 5907345 HAS SOUPS 5602581 WITH SCORE 5612961.493
AT ITER 4082 NEW BEST:: SOT 16506381 SOS 10380407 HAS SOPS 6363218 HAS SOUS 5907172 HAS SOUPS 5602408 WITH SCORE 5612788.407
AT ITER 4093 NEW BEST:: SOT 16506834 SOS 10380860 HAS SOPS 6362940 HAS SOUS 5906894 HAS SOUPS 5602130 WITH SCORE 5612510.86
AT ITER 4096 NEW BEST:: SOT 16506750 SOS 10380776 HAS SOPS 6362772 HAS SOUS 5906726 HAS SOUPS 5601962 WITH SCORE 5612342.776
AT ITER 4100 NEW BEST:: SOT 16506617 SOS 10380643 HAS SOPS 6361982 HAS SOUS 5905638 HAS SOUPS 5600874 WITH SCORE 5611254.643
AT ITER 4103 NEW BEST:: SOT 16506391 SOS 10380417 HAS SOPS 6360934 HAS SOUS 5905106 HAS SOUPS 5599827 WITH SCORE 5610207.417
AT ITER 4111 NEW BEST:: SOT 16506260 SOS 10380286 HAS SOPS 6360541 HAS SOUS 5904713 HAS SOUPS 5599434 WITH SCORE 5609814.286
AT ITER 4116 NEW BEST:: SOT 16505802 SOS 10379828 HAS SOPS 6360267 HAS SOUS 5904378 HAS SOUPS 5599160 WITH SCORE 5609539.828
AT ITER 4121 NEW BEST:: SOT 16505674 SOS 10380474 HAS SOPS 6360227 HAS SOUS 5904338 HAS SOUPS 5599120 WITH SCORE 5609500.474
AT ITER 4122 NEW BEST:: SOT 16505520 SOS 10380320 HAS SOPS 6360073 HAS SOUS 5904184 HAS SOUPS 5598966 WITH SCORE 5609346.32
AT ITER 4139 NEW BEST:: SOT 16505520 SOS 10380320 HAS SOPS 6360069 HAS SOUS 5904180 HAS SOUPS 5598962 WITH SCORE 5609342.32
AT ITER 4141 NEW BEST:: SOT 16505470 SOS 10380270 HAS SOPS 6359574 HAS SOUS 5903685 HAS SOUPS 5598467 WITH SCORE 5608847.27
AT ITER 4150 NEW BEST:: SOT 16512006 SOS 10380385 HAS SOPS 6368732 HAS SOUS 5899750 HAS SOUPS 5595420 WITH SCORE 5605800.385
AT ITER 4159 NEW BEST:: SOT 16512006 SOS 10380385 HAS SOPS 6368732 HAS SOUS 5899334 HAS SOUPS 5595004 WITH SCORE 5605384.385
AT ITER 4163 NEW BEST:: SOT 16511297 SOS 10379676 HAS SOPS 6366846 HAS SOUS 5898072 HAS SOUPS 5593586 WITH SCORE 5603965.676
AT ITER 4171 NEW BEST:: SOT 16510792 SOS 10379171 HAS SOPS 6367516 HAS SOUS 5897010 HAS SOUPS 5592524 WITH SCORE 5602903.171
AT ITER 4183 NEW BEST:: SOT 16512134 SOS 10381413 HAS SOPS 6364894 HAS SOUS 5894389 HAS SOUPS 5589903 WITH SCORE 5600284.413
AT ITER 4199 NEW BEST:: SOT 16512001 SOS 10381280 HAS SOPS 6362889 HAS SOUS 5892384 HAS SOUPS 5587898 WITH SCORE 5598279.28
AT ITER 4205 NEW BEST:: SOT 16511958 SOS 10379947 HAS SOPS 6362889 HAS SOUS 5892341 HAS SOUPS 5587898 WITH SCORE 5598277.947
AT ITER 4210 NEW BEST:: SOT 16512978 SOS 10380967 HAS SOPS 6362934 HAS SOUS 5892154 HAS SOUPS 5587711 WITH SCORE 5598091.967
AT ITER 4219 NEW BEST:: SOT 16512978 SOS 10380967 HAS SOPS 6362930 HAS SOUS 5892202 HAS SOUPS 5587707 WITH SCORE 5598087.967
AT ITER 4225 NEW BEST:: SOT 16512993 SOS 10381056 HAS SOPS 6362548 HAS SOUS 5891820 HAS SOUPS 5587325 WITH SCORE 5597706.056
AT ITER 4226 NEW BEST:: SOT 16512993 SOS 10381056 HAS SOPS 6361630 HAS SOUS 5890902 HAS SOUPS 5586407 WITH SCORE 5596788.056
AT ITER 4244 NEW BEST:: SOT 16512955 SOS 10381018 HAS SOPS 6361592 HAS SOUS 5890883 HAS SOUPS 5586369 WITH SCORE 5596750.018
AT ITER 4253 NEW BEST:: SOT 16512955 SOS 10381018 HAS SOPS 6361693 HAS SOUS 5890778 HAS SOUPS 5586264 WITH SCORE 5596645.018
AT ITER 4267 NEW BEST:: SOT 16512955 SOS 10381800 HAS SOPS 6360871 HAS SOUS 5890169 HAS SOUPS 5585655 WITH SCORE 5596036.8
AT ITER 4271 NEW BEST:: SOT 16512977 SOS 10381822 HAS SOPS 6360462 HAS SOUS 5889760 HAS SOUPS 5585246 WITH SCORE 5595627.822
AT ITER 4274 NEW BEST:: SOT 16512977 SOS 10381822 HAS SOPS 6360224 HAS SOUS 5889400 HAS SOUPS 5584886 WITH SCORE 5595267.822
AT ITER 4275 NEW BEST:: SOT 16512611 SOS 10381456 HAS SOPS 6359492 HAS SOUS 5888883 HAS SOUPS 5584154 WITH SCORE 5594535.456
AT ITER 4280 NEW BEST:: SOT 16512029 SOS 10380874 HAS SOPS 6358328 HAS SOUS 5887719 HAS SOUPS 5582990 WITH SCORE 5593370.874
AT ITER 4286 NEW BEST:: SOT 16512292 SOS 10381137 HAS SOPS 6357764 HAS SOUS 5887586 HAS SOUPS 5582857 WITH SCORE 5593238.137
AT ITER 4287 NEW BEST:: SOT 16511878 SOS 10380723 HAS SOPS 6358256 HAS SOUS 5886791 HAS SOUPS 5582062 WITH SCORE 5592442.723
AT ITER 4290 NEW BEST:: SOT 16511736 SOS 10380581 HAS SOPS 6358252 HAS SOUS 5886507 HAS SOUPS 5581778 WITH SCORE 5592158.581
AT ITER 4296 NEW BEST:: SOT 16512018 SOS 10381984 HAS SOPS 6358145 HAS SOUS 5886400 HAS SOUPS 5581671 WITH SCORE 5592052.984
AT ITER 4297 NEW BEST:: SOT 16512018 SOS 10381984 HAS SOPS 6358141 HAS SOUS 5886396 HAS SOUPS 5581667 WITH SCORE 5592048.984
AT ITER 4299 NEW BEST:: SOT 16511911 SOS 10377918 HAS SOPS 6354207 HAS SOUS 5886207 HAS SOUPS 5581478 WITH SCORE 5591855.918
AT ITER 4300 NEW BEST:: SOT 16511823 SOS 10377830 HAS SOPS 6354119 HAS SOUS 5886119 HAS SOUPS 5581390 WITH SCORE 5591767.83
AT ITER 4301 NEW BEST:: SOT 16510755 SOS 10376762 HAS SOPS 6352384 HAS SOUS 5883520 HAS SOUPS 5579101 WITH SCORE 5589477.762
AT ITER 4303 NEW BEST:: SOT 16511072 SOS 10377079 HAS SOPS 6351171 HAS SOUS 5882307 HAS SOUPS 5577888 WITH SCORE 5588265.079
AT ITER 4306 NEW BEST:: SOT 16514292 SOS 10381184 HAS SOPS 6351025 HAS SOUS 5885944 HAS SOUPS 5577742 WITH SCORE 5588123.184
AT ITER 4328 NEW BEST:: SOT 16514292 SOS 10381184 HAS SOPS 6349893 HAS SOUS 5885248 HAS SOUPS 5577046 WITH SCORE 5587427.184
AT ITER 4337 NEW BEST:: SOT 16514308 SOS 10381209 HAS SOPS 6349886 HAS SOUS 5885241 HAS SOUPS 5577039 WITH SCORE 5587420.209
AT ITER 4338 NEW BEST:: SOT 16514308 SOS 10381209 HAS SOPS 6349548 HAS SOUS 5885144 HAS SOUPS 5576942 WITH SCORE 5587323.209
AT ITER 4341 NEW BEST:: SOT 16514303 SOS 10381206 HAS SOPS 6349543 HAS SOUS 5885139 HAS SOUPS 5576937 WITH SCORE 5587318.206
AT ITER 4343 NEW BEST:: SOT 16513331 SOS 10379859 HAS SOPS 6347768 HAS SOUS 5884119 HAS SOUPS 5575771 WITH SCORE 5586150.859
AT ITER 4355 NEW BEST:: SOT 16513331 SOS 10379859 HAS SOPS 6347758 HAS SOUS 5884109 HAS SOUPS 5575761 WITH SCORE 5586140.859
AT ITER 4357 NEW BEST:: SOT 16513347 SOS 10379875 HAS SOPS 6347549 HAS SOUS 5883900 HAS SOUPS 5575552 WITH SCORE 5585931.875
AT ITER 4359 NEW BEST:: SOT 16514207 SOS 10380735 HAS SOPS 6347974 HAS SOUS 5883888 HAS SOUPS 5575540 WITH SCORE 5585920.735
AT ITER 4362 NEW BEST:: SOT 16514035 SOS 10380563 HAS SOPS 6347739 HAS SOUS 5883544 HAS SOUPS 5575196 WITH SCORE 5585576.563
AT ITER 4369 NEW BEST:: SOT 16512884 SOS 10379412 HAS SOPS 6346871 HAS SOUS 5883217 HAS SOUPS 5574869 WITH SCORE 5585248.412
AT ITER 4371 NEW BEST:: SOT 16512884 SOS 10379412 HAS SOPS 6346849 HAS SOUS 5883195 HAS SOUPS 5574847 WITH SCORE 5585226.412
AT ITER 4379 NEW BEST:: SOT 16512544 SOS 10379072 HAS SOPS 6346509 HAS SOUS 5882855 HAS SOUPS 5574507 WITH SCORE 5584886.072
AT ITER 4383 NEW BEST:: SOT 16512349 SOS 10378877 HAS SOPS 6346119 HAS SOUS 5882102 HAS SOUPS 5574117 WITH SCORE 5584495.877
AT ITER 4388 NEW BEST:: SOT 16512201 SOS 10378729 HAS SOPS 6345971 HAS SOUS 5881954 HAS SOUPS 5573969 WITH SCORE 5584347.729
AT ITER 4400 NEW BEST:: SOT 16511847 SOS 10378475 HAS SOPS 6344867 HAS SOUS 5881278 HAS SOUPS 5573293 WITH SCORE 5583671.475
AT ITER 4415 NEW BEST:: SOT 16511796 SOS 10378424 HAS SOPS 6343814 HAS SOUS 5880225 HAS SOUPS 5572240 WITH SCORE 5582618.424
AT ITER 4429 NEW BEST:: SOT 16511793 SOS 10378421 HAS SOPS 6343791 HAS SOUS 5880202 HAS SOUPS 5572217 WITH SCORE 5582595.421
AT ITER 4435 NEW BEST:: SOT 16511599 SOS 10378227 HAS SOPS 6343403 HAS SOUS 5879814 HAS SOUPS 5571829 WITH SCORE 5582207.227
AT ITER 4437 NEW BEST:: SOT 16511504 SOS 10378132 HAS SOPS 6343109 HAS SOUS 5879719 HAS SOUPS 5571734 WITH SCORE 5582112.132
AT ITER 4442 NEW BEST:: SOT 16512908 SOS 10379536 HAS SOPS 6342293 HAS SOUS 5879567 HAS SOUPS 5571497 WITH SCORE 5581876.536
AT ITER 4445 NEW BEST:: SOT 16512908 SOS 10379536 HAS SOPS 6342268 HAS SOUS 5879542 HAS SOUPS 5571472 WITH SCORE 5581851.536
AT ITER 4453 NEW BEST:: SOT 16512882 SOS 10379510 HAS SOPS 6342268 HAS SOUS 5879542 HAS SOUPS 5571472 WITH SCORE 5581851.51
AT ITER 4459 NEW BEST:: SOT 16512490 SOS 10379118 HAS SOPS 6340969 HAS SOUS 5878251 HAS SOUPS 5570181 WITH SCORE 5580560.118
AT ITER 4472 NEW BEST:: SOT 16512404 SOS 10379032 HAS SOPS 6340697 HAS SOUS 5877671 HAS SOUPS 5569601 WITH SCORE 5579980.032
AT ITER 4474 NEW BEST:: SOT 16511581 SOS 10378209 HAS SOPS 6338820 HAS SOUS 5876409 HAS SOUPS 5568115 WITH SCORE 5578493.209
AT ITER 4478 NEW BEST:: SOT 16512553 SOS 10382393 HAS SOPS 6340102 HAS SOUS 5876148 HAS SOUPS 5567854 WITH SCORE 5578236.393
AT ITER 4488 NEW BEST:: SOT 16512553 SOS 10382393 HAS SOPS 6340098 HAS SOUS 5876144 HAS SOUPS 5567850 WITH SCORE 5578232.393
AT ITER 4491 NEW BEST:: SOT 16512358 SOS 10382198 HAS SOPS 6337604 HAS SOUS 5874535 HAS SOUPS 5565834 WITH SCORE 5576216.198
AT ITER 4493 NEW BEST:: SOT 16511014 SOS 10380029 HAS SOPS 6334914 HAS SOUS 5871994 HAS SOUPS 5563293 WITH SCORE 5573673.029
AT ITER 4501 NEW BEST:: SOT 16511014 SOS 10380029 HAS SOPS 6334921 HAS SOUS 5871469 HAS SOUPS 5562768 WITH SCORE 5573148.029
AT ITER 4506 NEW BEST:: SOT 16511014 SOS 10380628 HAS SOPS 6334415 HAS SOUS 5870963 HAS SOUPS 5562262 WITH SCORE 5572642.628
AT ITER 4518 NEW BEST:: SOT 16511014 SOS 10380628 HAS SOPS 6333827 HAS SOUS 5870375 HAS SOUPS 5561674 WITH SCORE 5572054.628
AT ITER 4529 NEW BEST:: SOT 16511129 SOS 10380743 HAS SOPS 6333614 HAS SOUS 5869439 HAS SOUPS 5560738 WITH SCORE 5571118.743
AT ITER 4533 NEW BEST:: SOT 16511129 SOS 10380743 HAS SOPS 6333467 HAS SOUS 5869292 HAS SOUPS 5560591 WITH SCORE 5570971.743
AT ITER 4534 NEW BEST:: SOT 16511564 SOS 10381178 HAS SOPS 6333901 HAS SOUS 5868835 HAS SOUPS 5560134 WITH SCORE 5570515.178
AT ITER 4542 NEW BEST:: SOT 16511231 SOS 10380845 HAS SOPS 6333901 HAS SOUS 5868835 HAS SOUPS 5560134 WITH SCORE 5570514.845
AT ITER 4543 NEW BEST:: SOT 16510895 SOS 10362130 HAS SOPS 6333901 HAS SOUS 5868450 HAS SOUPS 5560085 WITH SCORE 5570447.13
AT ITER 4558 NEW BEST:: SOT 16512279 SOS 10363514 HAS SOPS 6333791 HAS SOUS 5867580 HAS SOUPS 5559215 WITH SCORE 5569578.514
AT ITER 4569 NEW BEST:: SOT 16511556 SOS 10362791 HAS SOPS 6332341 HAS SOUS 5866134 HAS SOUPS 5557769 WITH SCORE 5568131.791
AT ITER 4570 NEW BEST:: SOT 16511561 SOS 10362855 HAS SOPS 6331539 HAS SOUS 5865332 HAS SOUPS 5556967 WITH SCORE 5567329.855
AT ITER 4579 NEW BEST:: SOT 16512629 SOS 10363923 HAS SOPS 6331292 HAS SOUS 5865074 HAS SOUPS 5556709 WITH SCORE 5567072.923
AT ITER 4591 NEW BEST:: SOT 16513040 SOS 10364727 HAS SOPS 6330796 HAS SOUS 5864579 HAS SOUPS 5556214 WITH SCORE 5566578.727
AT ITER 4604 NEW BEST:: SOT 16513040 SOS 10361879 HAS SOPS 6328898 HAS SOUS 5864577 HAS SOUPS 5556212 WITH SCORE 5566573.879
AT ITER 4608 NEW BEST:: SOT 16512553 SOS 10361673 HAS SOPS 6327485 HAS SOUS 5863575 HAS SOUPS 5555210 WITH SCORE 5565571.673
AT ITER 4624 NEW BEST:: SOT 16512666 SOS 10361786 HAS SOPS 6327198 HAS SOUS 5863288 HAS SOUPS 5554923 WITH SCORE 5565284.786
AT ITER 4628 NEW BEST:: SOT 16512583 SOS 10361703 HAS SOPS 6327032 HAS SOUS 5863122 HAS SOUPS 5554757 WITH SCORE 5565118.703
AT ITER 4629 NEW BEST:: SOT 16512334 SOS 10361800 HAS SOPS 6325125 HAS SOUS 5862421 HAS SOUPS 5554056 WITH SCORE 5564417.8
AT ITER 4631 NEW BEST:: SOT 16512671 SOS 10362137 HAS SOPS 6324968 HAS SOUS 5861957 HAS SOUPS 5553592 WITH SCORE 5563954.137
AT ITER 4648 NEW BEST:: SOT 16512671 SOS 10362137 HAS SOPS 6324842 HAS SOUS 5861831 HAS SOUPS 5553466 WITH SCORE 5563828.137
AT ITER 4650 NEW BEST:: SOT 16512671 SOS 10362137 HAS SOPS 6324463 HAS SOUS 5861452 HAS SOUPS 5553087 WITH SCORE 5563449.137
AT ITER 4655 NEW BEST:: SOT 16512821 SOS 10362287 HAS SOPS 6323804 HAS SOUS 5860793 HAS SOUPS 5552428 WITH SCORE 5562790.287
AT ITER 4659 NEW BEST:: SOT 16512478 SOS 10362020 HAS SOPS 6322223 HAS SOUS 5859213 HAS SOUPS 5550848 WITH SCORE 5561210.02
AT ITER 4665 NEW BEST:: SOT 16512277 SOS 10361819 HAS SOPS 6321821 HAS SOUS 5858811 HAS SOUPS 5550446 WITH SCORE 5560807.819
AT ITER 4672 NEW BEST:: SOT 16512277 SOS 10361819 HAS SOPS 6321917 HAS SOUS 5858180 HAS SOUPS 5549815 WITH SCORE 5560176.819
AT ITER 4674 NEW BEST:: SOT 16512582 SOS 10362124 HAS SOPS 6321885 HAS SOUS 5858148 HAS SOUPS 5549783 WITH SCORE 5560145.124
AT ITER 4678 NEW BEST:: SOT 16503504 SOS 10353046 HAS SOPS 6312463 HAS SOUS 5849070 HAS SOUPS 5540361 WITH SCORE 5550714.046
AT ITER 4683 NEW BEST:: SOT 16503007 SOS 10352549 HAS SOPS 6311578 HAS SOUS 5848185 HAS SOUPS 5539476 WITH SCORE 5549828.549
AT ITER 4689 NEW BEST:: SOT 16503114 SOS 10353280 HAS SOPS 6311209 HAS SOUS 5848798 HAS SOUPS 5539107 WITH SCORE 5549460.28
AT ITER 4698 NEW BEST:: SOT 16502981 SOS 10352579 HAS SOPS 6307025 HAS SOUS 5846651 HAS SOUPS 5536016 WITH SCORE 5546368.579
AT ITER 4699 NEW BEST:: SOT 16503604 SOS 10353819 HAS SOPS 6306937 HAS SOUS 5846715 HAS SOUPS 5535928 WITH SCORE 5546281.819
AT ITER 4700 NEW BEST:: SOT 16503365 SOS 10353980 HAS SOPS 6305618 HAS SOUS 5845397 HAS SOUPS 5534610 WITH SCORE 5544963.98
AT ITER 4708 NEW BEST:: SOT 16503365 SOS 10353980 HAS SOPS 6305255 HAS SOUS 5845034 HAS SOUPS 5534247 WITH SCORE 5544600.98
AT ITER 4711 NEW BEST:: SOT 16503365 SOS 10353980 HAS SOPS 6304975 HAS SOUS 5844754 HAS SOUPS 5533967 WITH SCORE 5544320.98
AT ITER 4713 NEW BEST:: SOT 16503312 SOS 10353927 HAS SOPS 6304955 HAS SOUS 5844701 HAS SOUPS 5533947 WITH SCORE 5544300.927
AT ITER 4714 NEW BEST:: SOT 16504278 SOS 10355798 HAS SOPS 6300379 HAS SOUS 5840930 HAS SOUPS 5529732 WITH SCORE 5540087.798
AT ITER 4722 NEW BEST:: SOT 16504432 SOS 10355952 HAS SOPS 6299047 HAS SOUS 5840059 HAS SOUPS 5528861 WITH SCORE 5539216.952
AT ITER 4725 NEW BEST:: SOT 16504259 SOS 10355779 HAS SOPS 6298489 HAS SOUS 5839788 HAS SOUPS 5528590 WITH SCORE 5538945.779
AT ITER 4727 NEW BEST:: SOT 16504147 SOS 10355667 HAS SOPS 6298429 HAS SOUS 5839676 HAS SOUPS 5528530 WITH SCORE 5538885.667
AT ITER 4728 NEW BEST:: SOT 16504147 SOS 10355667 HAS SOPS 6298429 HAS SOUS 5839600 HAS SOUPS 5528454 WITH SCORE 5538809.667
AT ITER 4748 NEW BEST:: SOT 16504147 SOS 10355667 HAS SOPS 6298010 HAS SOUS 5839181 HAS SOUPS 5528035 WITH SCORE 5538390.667
AT ITER 4749 NEW BEST:: SOT 16504168 SOS 10355946 HAS SOPS 6297460 HAS SOUS 5838632 HAS SOUPS 5527486 WITH SCORE 5537841.946
AT ITER 4751 NEW BEST:: SOT 16504773 SOS 10356551 HAS SOPS 6297251 HAS SOUS 5837985 HAS SOUPS 5526839 WITH SCORE 5537195.551
AT ITER 4757 NEW BEST:: SOT 16505461 SOS 10368926 HAS SOPS 6297080 HAS SOUS 5838288 HAS SOUPS 5526668 WITH SCORE 5537036.926
AT ITER 4760 NEW BEST:: SOT 16505332 SOS 10368797 HAS SOPS 6297080 HAS SOUS 5838159 HAS SOUPS 5526668 WITH SCORE 5537036.797
AT ITER 4770 NEW BEST:: SOT 16506745 SOS 10367548 HAS SOPS 6298493 HAS SOUS 5834737 HAS SOUPS 5523543 WITH SCORE 5533910.548
AT ITER 4771 NEW BEST:: SOT 16506658 SOS 10367461 HAS SOPS 6297654 HAS SOUS 5833898 HAS SOUPS 5522704 WITH SCORE 5533071.461
AT ITER 4777 NEW BEST:: SOT 16506834 SOS 10367637 HAS SOPS 6297398 HAS SOUS 5833801 HAS SOUPS 5522607 WITH SCORE 5532974.637
AT ITER 4779 NEW BEST:: SOT 16507363 SOS 10368166 HAS SOPS 6297092 HAS SOUS 5833524 HAS SOUPS 5522330 WITH SCORE 5532698.166
AT ITER 4781 NEW BEST:: SOT 16512063 SOS 10367654 HAS SOPS 6303633 HAS SOUS 5831339 HAS SOUPS 5520759 WITH SCORE 5531126.654
AT ITER 4792 NEW BEST:: SOT 16511986 SOS 10367577 HAS SOPS 6303556 HAS SOUS 5831304 HAS SOUPS 5520682 WITH SCORE 5531049.577
AT ITER 4807 NEW BEST:: SOT 16512056 SOS 10367861 HAS SOPS 6303430 HAS SOUS 5831228 HAS SOUPS 5520556 WITH SCORE 5530923.861
AT ITER 4809 NEW BEST:: SOT 16511661 SOS 10367466 HAS SOPS 6302773 HAS SOUS 5830265 HAS SOUPS 5519899 WITH SCORE 5530266.466
AT ITER 4825 NEW BEST:: SOT 16511661 SOS 10367466 HAS SOPS 6302661 HAS SOUS 5830153 HAS SOUPS 5519787 WITH SCORE 5530154.466
AT ITER 4830 NEW BEST:: SOT 16511851 SOS 10367656 HAS SOPS 6302438 HAS SOUS 5829930 HAS SOUPS 5519564 WITH SCORE 5529931.656
AT ITER 4836 NEW BEST:: SOT 16512288 SOS 10368093 HAS SOPS 6301815 HAS SOUS 5828759 HAS SOUPS 5518393 WITH SCORE 5528761.093
AT ITER 4838 NEW BEST:: SOT 16512093 SOS 10367898 HAS SOPS 6301425 HAS SOUS 5828369 HAS SOUPS 5518003 WITH SCORE 5528370.898
AT ITER 4846 NEW BEST:: SOT 16512093 SOS 10367898 HAS SOPS 6301424 HAS SOUS 5827701 HAS SOUPS 5517335 WITH SCORE 5527702.898
AT ITER 4853 NEW BEST:: SOT 16512564 SOS 10368369 HAS SOPS 6301453 HAS SOUS 5827664 HAS SOUPS 5516894 WITH SCORE 5527262.369
AT ITER 4854 NEW BEST:: SOT 16512356 SOS 10368161 HAS SOPS 6301245 HAS SOUS 5827267 HAS SOUPS 5516497 WITH SCORE 5526865.161
AT ITER 4855 NEW BEST:: SOT 16512356 SOS 10368161 HAS SOPS 6301346 HAS SOUS 5827162 HAS SOUPS 5516392 WITH SCORE 5526760.161
AT ITER 4857 NEW BEST:: SOT 16511904 SOS 10367709 HAS SOPS 6300361 HAS SOUS 5826391 HAS SOUPS 5515621 WITH SCORE 5525988.709
AT ITER 4861 NEW BEST:: SOT 16511904 SOS 10367709 HAS SOPS 6300137 HAS SOUS 5826390 HAS SOUPS 5515620 WITH SCORE 5525987.709
AT ITER 4862 NEW BEST:: SOT 16511771 SOS 10367576 HAS SOPS 6297123 HAS SOUS 5824268 HAS SOUPS 5513243 WITH SCORE 5523610.576
AT ITER 4875 NEW BEST:: SOT 16511801 SOS 10367606 HAS SOPS 6296995 HAS SOUS 5824140 HAS SOUPS 5513115 WITH SCORE 5523482.606
AT ITER 4885 NEW BEST:: SOT 16511833 SOS 10367542 HAS SOPS 6296391 HAS SOUS 5823790 HAS SOUPS 5512765 WITH SCORE 5523132.542
AT ITER 4909 NEW BEST:: SOT 16510924 SOS 10365263 HAS SOPS 6297043 HAS SOUS 5823782 HAS SOUPS 5512757 WITH SCORE 5523122.263
AT ITER 4914 NEW BEST:: SOT 16510850 SOS 10365189 HAS SOPS 6295758 HAS SOUS 5823108 HAS SOUPS 5511815 WITH SCORE 5522180.189
AT ITER 4927 NEW BEST:: SOT 16510850 SOS 10365189 HAS SOPS 6295708 HAS SOUS 5823058 HAS SOUPS 5511765 WITH SCORE 5522130.189
AT ITER 4929 NEW BEST:: SOT 16511715 SOS 10366238 HAS SOPS 6294420 HAS SOUS 5822973 HAS SOUPS 5510794 WITH SCORE 5521160.238
AT ITER 4932 NEW BEST:: SOT 16511715 SOS 10366238 HAS SOPS 6294176 HAS SOUS 5822530 HAS SOUPS 5510351 WITH SCORE 5520717.238
AT ITER 4935 NEW BEST:: SOT 16511075 SOS 10365598 HAS SOPS 6293457 HAS SOUS 5821811 HAS SOUPS 5509632 WITH SCORE 5519997.598
AT ITER 4944 NEW BEST:: SOT 16511758 SOS 10366281 HAS SOPS 6292374 HAS SOUS 5822042 HAS SOUPS 5509257 WITH SCORE 5519623.281
AT ITER 4945 NEW BEST:: SOT 16511309 SOS 10365832 HAS SOPS 6291925 HAS SOUS 5821593 HAS SOUPS 5508808 WITH SCORE 5519173.832
AT ITER 4957 NEW BEST:: SOT 16512012 SOS 10367437 HAS SOPS 6291801 HAS SOUS 5821469 HAS SOUPS 5508684 WITH SCORE 5519051.437
AT ITER 4959 NEW BEST:: SOT 16511945 SOS 10367390 HAS SOPS 6290496 HAS SOUS 5820165 HAS SOUPS 5507380 WITH SCORE 5517747.39
AT ITER 4965 NEW BEST:: SOT 16511945 SOS 10375730 HAS SOPS 6289940 HAS SOUS 5819887 HAS SOUPS 5506824 WITH SCORE 5517199.73
AT ITER 4968 NEW BEST:: SOT 16510399 SOS 10374184 HAS SOPS 6289205 HAS SOUS 5819621 HAS SOUPS 5506558 WITH SCORE 5516932.184
AT ITER 4975 NEW BEST:: SOT 16510208 SOS 10373802 HAS SOPS 6288632 HAS SOUS 5819048 HAS SOUPS 5505985 WITH SCORE 5516358.802
AT ITER 4976 NEW BEST:: SOT 16510208 SOS 10373802 HAS SOPS 6287958 HAS SOUS 5818369 HAS SOUPS 5505306 WITH SCORE 5515679.802
AT ITER 4979 NEW BEST:: SOT 16510310 SOS 10373904 HAS SOPS 6287590 HAS SOUS 5818001 HAS SOUPS 5504938 WITH SCORE 5515311.904
AT ITER 4981 NEW BEST:: SOT 16510585 SOS 10374448 HAS SOPS 6287104 HAS SOUS 5817516 HAS SOUPS 5504453 WITH SCORE 5514827.448
AT ITER 4982 NEW BEST:: SOT 16510452 SOS 10374315 HAS SOPS 6286970 HAS SOUS 5817115 HAS SOUPS 5504052 WITH SCORE 5514426.315
AT ITER 4990 NEW BEST:: SOT 16510452 SOS 10374008 HAS SOPS 6286970 HAS SOUS 5817115 HAS SOUPS 5504052 WITH SCORE 5514426.008
Bounds file is: CTLFireability.xml
PROPERTY: BART-PT-030-CTLFireability-00 (AG( ( (! ((potential((tk(P752)>=1) & (tk(P4020)>=1) & (tk(P4024)>=1) & (tk(P4170)>=1) & (tk(P4169)>=1))))) | ((potential((tk(P2570)>=1) & (tk(P4095)>=1) & (tk(P4099)>=1) & (tk(P4170)>=1) & (tk(P4169)>=1)))) )))
PROPERTY: BART-PT-030-CTLFireability-01 (AF( (EX( (AG( ((potential((tk(P729)>=1) & (tk(P4024)>=1) & (tk(P4028)>=1) & (tk(P4169)>=1) & (tk(P4168)>=1))))))))))
PROPERTY: BART-PT-030-CTLFireability-02 ( (! (AX( ((potential((tk(P3698)>=1) & (tk(P4147)>=1) & (tk(P4150)>=1) & (tk(P4169)>=1))))))) & (AF( (! (! ((potential((tk(P2521)>=1) & (tk(P4099)>=1) & (tk(P4103)>=1) & (tk(P4169)>=1)))))))) )
PROPERTY: BART-PT-030-CTLFireability-03 (AX( (AF( ( ( ((potential((tk(P765)>=1) & (tk(P4020)>=1) & (tk(P4024)>=1) & (tk(P4170)>=1) & (tk(P4169)>=1)))) & ((potential((tk(P2609)>=1) & (tk(P4112)>=1) & (tk(P4116)>=1) & (tk(P4167)>=1) & (tk(P4166)>=1)))) ) & ( ((potential((tk(P1461)>=1) & (tk(P4054)>=1) & (tk(P4058)>=1) & (tk(P4169)>=1)))) | ((potential((tk(P18)>=1) & (tk(P3983)>=1)))) ) )))))
PROPERTY: BART-PT-030-CTLFireability-04 (AG( (EF( (AF( ((potential((tk(P1405)>=1) & (tk(P4062)>=1) & (tk(P4066)>=1) & (tk(P4167)>=1))))))))))
PROPERTY: BART-PT-030-CTLFireability-05 (EF( ( (AF( ( ((potential((tk(P8)>=1) & (tk(P3982)>=1)))) | ((potential((tk(P714)>=1) & (tk(P4028)>=1) & (tk(P4032)>=1) & (tk(P4168)>=1)))) ))) & ( ((potential((tk(P1685)>=1) & (tk(P4064)>=1) & (tk(P4068)>=1) & (tk(P4169)>=1)))) | (EX( ((potential((tk(P872)>=1) & (tk(P4025)>=1) & (tk(P4029)>=1) & (tk(P4170)>=1) & (tk(P4169)>=1)))))) ) )))
PROPERTY: BART-PT-030-CTLFireability-06 (AG( ( ( (! ( ((potential((tk(P578)>=1) & (tk(P4027)>=1) & (tk(P4031)>=1) & (tk(P4167)>=1) & (tk(P4166)>=1)))) & ((potential((tk(P3652)>=1) & (tk(P4153)>=1) & (tk(P4155)>=1) & (tk(P4167)>=1)))) )) | (AX( ((potential((tk(P2368)>=1) & (tk(P4102)>=1) & (tk(P4106)>=1) & (tk(P4167)>=1) & (tk(P4166)>=1)))))) ) & (AG( (! ((potential((tk(P3676)>=1) & (tk(P4150)>=1) & (tk(P4153)>=1) & (tk(P4168)>=1))))))) )))
PROPERTY: BART-PT-030-CTLFireability-07 (AF( ( ( ( ( ((potential((tk(P1379)>=1) & (tk(P4045)>=1) & (tk(P4049)>=1) & (tk(P4170)>=1) & (tk(P4169)>=1)))) & ((potential((tk(P221)>=1) & (tk(P4003)>=1) & (tk(P4005)>=1) & (tk(P4168)>=1) & (tk(P4167)>=1)))) ) & ( ((potential((tk(P3092)>=1) & (tk(P4128)>=1) & (tk(P4132)>=1) & (tk(P4168)>=1)))) & ((potential((tk(P2062)>=1) & (tk(P4079)>=1) & (tk(P4083)>=1) & (tk(P4169)>=1)))) ) ) | (AX( ((potential((tk(P24)>=1) & (tk(P3982)>=1)))))) ) & ( (EX( ((potential((tk(P7)>=1) & (tk(P3968)>=1)))))) | (AX( ((potential((tk(P76)>=1) & (tk(P3997)>=1) & (tk(P3998)>=1) & (tk(P4167)>=1) & (tk(P4166)>=1)))))) ) )))
PROPERTY: BART-PT-030-CTLFireability-08 (AU( ( ( (! ((potential((tk(P1157)>=1) & (tk(P4052)>=1) & (tk(P4056)>=1) & (tk(P4167)>=1) & (tk(P4166)>=1))))) | ((potential((tk(P3370)>=1) & (tk(P4134)>=1) & (tk(P4138)>=1) & (tk(P4169)>=1)))) ) | ( ( ((potential((tk(P7)>=1) & (tk(P3987)>=1)))) | ((potential((tk(P3388)>=1) & (tk(P4134)>=1) & (tk(P4138)>=1) & (tk(P4169)>=1)))) ) & ( ((potential((tk(P32)>=1)))) | ((potential((tk(P8)>=1) & (tk(P3970)>=1)))) ) ) ) , (! ( (! ((potential((tk(P1995)>=1) & (tk(P4087)>=1) & (tk(P4091)>=1) & (tk(P4167)>=1) & (tk(P4166)>=1))))) | ( ((potential((tk(P3686)>=1) & (tk(P4150)>=1) & (tk(P4153)>=1) & (tk(P4168)>=1)))) & ((potential((tk(P965)>=1) & (tk(P4034)>=1) & (tk(P4038)>=1) & (tk(P4169)>=1) & (tk(P4168)>=1)))) ) )) ))
PROPERTY: BART-PT-030-CTLFireability-09 (AF( (! (EU( ((potential((tk(P9)>=1) & (tk(P3963)>=1)))) , ((potential((tk(P27)>=1) & (tk(P3976)>=1)))) )))))
PROPERTY: BART-PT-030-CTLFireability-10 (AF( (AU( ( ((potential((tk(P2264)>=1) & (tk(P4093)>=1) & (tk(P4097)>=1) & (tk(P4168)>=1)))) & ((potential((tk(P903)>=1) & (tk(P4042)>=1) & (tk(P4046)>=1) & (tk(P4167)>=1) & (tk(P4166)>=1)))) ) , ( ((potential((tk(P1922)>=1) & (tk(P4074)>=1) & (tk(P4078)>=1) & (tk(P4169)>=1)))) | ((potential((tk(P160)>=1) & (tk(P4000)>=1) & (tk(P4002)>=1) & (tk(P4168)>=1) & (tk(P4167)>=1)))) ) ))))
PROPERTY: BART-PT-030-CTLFireability-11 (EU( ( (! ( ((potential((tk(P2131)>=1) & (tk(P4088)>=1) & (tk(P4092)>=1) & (tk(P4168)>=1)))) | ((potential((tk(P3761)>=1) & (tk(P4154)>=1) & (tk(P4156)>=1) & (tk(P4168)>=1)))) )) | (EF( ((potential((tk(P3456)>=1) & (tk(P4142)>=1) & (tk(P4145)>=1) & (tk(P4168)>=1)))))) ) , (EX( ( ((potential((tk(P346)>=1) & (tk(P4010)>=1) & (tk(P4013)>=1) & (tk(P4168)>=1) & (tk(P4167)>=1)))) | ((potential((tk(P3689)>=1) & (tk(P4150)>=1) & (tk(P4153)>=1) & (tk(P4168)>=1)))) ))) ))
PROPERTY: BART-PT-030-CTLFireability-12 (EG( ( (! ((potential((tk(P2777)>=1) & (tk(P4109)>=1) & (tk(P4113)>=1) & (tk(P4169)>=1))))) | (! (EF( ((potential((tk(P3048)>=1) & (tk(P4115)>=1) & (tk(P4119)>=1) & (tk(P4170)>=1) & (tk(P4169)>=1))))))) )))
PROPERTY: BART-PT-030-CTLFireability-13 (EF( (EU( ((potential((tk(P2354)>=1) & (tk(P4102)>=1) & (tk(P4106)>=1) & (tk(P4167)>=1)))) , ( ((potential((tk(P1596)>=1) & (tk(P4055)>=1) & (tk(P4059)>=1) & (tk(P4170)>=1) & (tk(P4169)>=1)))) & ((potential((tk(P2607)>=1) & (tk(P4112)>=1) & (tk(P4116)>=1) & (tk(P4167)>=1) & (tk(P4166)>=1)))) ) ))))
PROPERTY: BART-PT-030-CTLFireability-14 (AF( ( ( (EF( ((potential((tk(P3535)>=1) & (tk(P4135)>=1) & (tk(P4139)>=1) & (tk(P4170)>=1) & (tk(P4169)>=1)))))) & (EF( ((potential((tk(P3317)>=1) & (tk(P4141)>=1) & (tk(P4144)>=1) & (tk(P4167)>=1)))))) ) | (EX( ( ((potential((tk(P2613)>=1) & (tk(P4108)>=1) & (tk(P4112)>=1) & (tk(P4168)>=1)))) & ((potential((tk(P580)>=1) & (tk(P4027)>=1) & (tk(P4031)>=1) & (tk(P4167)>=1)))) ))) )))
PROPERTY: BART-PT-030-CTLFireability-15 (AU( ( ( ( ((potential((tk(P2935)>=1) & (tk(P4110)>=1) & (tk(P4114)>=1) & (tk(P4170)>=1) & (tk(P4169)>=1)))) | ((potential((tk(P226)>=1) & (tk(P4003)>=1) & (tk(P4005)>=1) & (tk(P4168)>=1) & (tk(P4167)>=1)))) ) | (! ((potential((tk(P2230)>=1) & (tk(P4097)>=1) & (tk(P4101)>=1) & (tk(P4167)>=1) & (tk(P4166)>=1))))) ) & (EX( ((potential((tk(P259)>=1) & (tk(P4009)>=1) & (tk(P4012)>=1) & (tk(P4167)>=1) & (tk(P4166)>=1)))))) ) , (AX( ((potential((tk(P3713)>=1) & (tk(P4147)>=1) & (tk(P4150)>=1) & (tk(P4169)>=1)))))) ))
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="BART-PT-030"
export BK_EXAMINATION="CTLFireability"
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 BART-PT-030, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897679500100"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BART-PT-030.tgz
mv BART-PT-030 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;