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-158897679500091.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-020, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897679500091
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.0M
-rw-r--r-- 1 mcc users 4.5K Apr 15 13:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 15 13:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 15 13:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 15 13:32 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 439K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.2M Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 764K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.9M Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.2K Apr 15 13:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 15 13:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 15 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 15 13:22 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 4.8M 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-020-CTLCardinality-00
FORMULA_NAME BART-PT-020-CTLCardinality-01
FORMULA_NAME BART-PT-020-CTLCardinality-02
FORMULA_NAME BART-PT-020-CTLCardinality-03
FORMULA_NAME BART-PT-020-CTLCardinality-04
FORMULA_NAME BART-PT-020-CTLCardinality-05
FORMULA_NAME BART-PT-020-CTLCardinality-06
FORMULA_NAME BART-PT-020-CTLCardinality-07
FORMULA_NAME BART-PT-020-CTLCardinality-08
FORMULA_NAME BART-PT-020-CTLCardinality-09
FORMULA_NAME BART-PT-020-CTLCardinality-10
FORMULA_NAME BART-PT-020-CTLCardinality-11
FORMULA_NAME BART-PT-020-CTLCardinality-12
FORMULA_NAME BART-PT-020-CTLCardinality-13
FORMULA_NAME BART-PT-020-CTLCardinality-14
FORMULA_NAME BART-PT-020-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589012465040

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

GOT IT HERE. BS
Petri model created: 2850 places, 4040 transitions, 32400 arcs.
AT ITER 0 NEW BEST:: SOT 8290762 SOS 5442114 HAS SOPS 4167025 HAS SOUS 3780825 HAS SOUPS 3680955 WITH SCORE 3686397.114
AT ITER 4 NEW BEST:: SOT 8291154 SOS 5442897 HAS SOPS 4166589 HAS SOUS 3781509 HAS SOUPS 3680520 WITH SCORE 3685962.897
AT ITER 8 NEW BEST:: SOT 8291154 SOS 5442897 HAS SOPS 4166585 HAS SOUS 3781505 HAS SOUPS 3680516 WITH SCORE 3685958.897
AT ITER 9 NEW BEST:: SOT 8291154 SOS 5442897 HAS SOPS 4166107 HAS SOUS 3780472 HAS SOUPS 3679402 WITH SCORE 3684844.897
AT ITER 15 NEW BEST:: SOT 8291154 SOS 5442897 HAS SOPS 4165584 HAS SOUS 3779590 HAS SOUPS 3678358 WITH SCORE 3683800.897
AT ITER 16 NEW BEST:: SOT 8291154 SOS 5442897 HAS SOPS 4166266 HAS SOUS 3779589 HAS SOUPS 3678357 WITH SCORE 3683799.897
AT ITER 20 NEW BEST:: SOT 8291154 SOS 5442897 HAS SOPS 4165872 HAS SOUS 3779589 HAS SOUPS 3677963 WITH SCORE 3683405.897
AT ITER 30 NEW BEST:: SOT 8291154 SOS 5442897 HAS SOPS 4165642 HAS SOUS 3779499 HAS SOUPS 3677733 WITH SCORE 3683175.897
AT ITER 31 NEW BEST:: SOT 8291968 SOS 5443711 HAS SOPS 4166043 HAS SOUS 3779617 HAS SOUPS 3677323 WITH SCORE 3682766.711
AT ITER 32 NEW BEST:: SOT 8291968 SOS 5443451 HAS SOPS 4166043 HAS SOUS 3779611 HAS SOUPS 3677323 WITH SCORE 3682766.451
AT ITER 40 NEW BEST:: SOT 8291968 SOS 5443451 HAS SOPS 4166133 HAS SOUS 3779107 HAS SOUPS 3676755 WITH SCORE 3682198.451
AT ITER 42 NEW BEST:: SOT 8291952 SOS 5443379 HAS SOPS 4166284 HAS SOUS 3778673 HAS SOUPS 3676377 WITH SCORE 3681820.379
AT ITER 52 NEW BEST:: SOT 8292297 SOS 5443994 HAS SOPS 4165891 HAS SOUS 3779607 HAS SOUPS 3675985 WITH SCORE 3681428.994
AT ITER 55 NEW BEST:: SOT 8291937 SOS 5418343 HAS SOPS 4128470 HAS SOUS 3767193 HAS SOUPS 3663571 WITH SCORE 3668989.343
AT ITER 58 NEW BEST:: SOT 8291975 SOS 5418418 HAS SOPS 4127700 HAS SOUS 3767893 HAS SOUPS 3662802 WITH SCORE 3668220.418
AT ITER 69 NEW BEST:: SOT 8291366 SOS 5417809 HAS SOPS 4125872 HAS SOUS 3766675 HAS SOUPS 3660366 WITH SCORE 3665783.809
AT ITER 70 NEW BEST:: SOT 8291747 SOS 5418491 HAS SOPS 4125581 HAS SOUS 3767677 HAS SOUPS 3660076 WITH SCORE 3665494.491
AT ITER 74 NEW BEST:: SOT 8292086 SOS 5419157 HAS SOPS 4125122 HAS SOUS 3768477 HAS SOUPS 3659618 WITH SCORE 3665037.157
AT ITER 76 NEW BEST:: SOT 8292619 SOS 5420218 HAS SOPS 4124827 HAS SOUS 3769169 HAS SOUPS 3659324 WITH SCORE 3664744.218
AT ITER 78 NEW BEST:: SOT 8293011 SOS 5421001 HAS SOPS 4124393 HAS SOUS 3769889 HAS SOUPS 3658891 WITH SCORE 3664312.001
AT ITER 80 NEW BEST:: SOT 8293310 SOS 5421521 HAS SOPS 4124022 HAS SOUS 3770913 HAS SOUPS 3658521 WITH SCORE 3663942.521
AT ITER 84 NEW BEST:: SOT 8293253 SOS 5421407 HAS SOPS 4123965 HAS SOUS 3770856 HAS SOUPS 3658464 WITH SCORE 3663885.407
AT ITER 87 NEW BEST:: SOT 8293253 SOS 5421407 HAS SOPS 4123532 HAS SOUS 3769778 HAS SOUPS 3657200 WITH SCORE 3662621.407
AT ITER 90 NEW BEST:: SOT 8293890 SOS 5422590 HAS SOPS 4123427 HAS SOUS 3770660 HAS SOUPS 3657096 WITH SCORE 3662518.59
AT ITER 97 NEW BEST:: SOT 8293890 SOS 5422590 HAS SOPS 4122868 HAS SOUS 3769636 HAS SOUPS 3655716 WITH SCORE 3661138.59
AT ITER 98 NEW BEST:: SOT 8293890 SOS 5422590 HAS SOPS 4122395 HAS SOUS 3768948 HAS SOUPS 3654772 WITH SCORE 3660194.59
AT ITER 107 NEW BEST:: SOT 8293890 SOS 5422590 HAS SOPS 4122130 HAS SOUS 3768681 HAS SOUPS 3654310 WITH SCORE 3659732.59
AT ITER 110 NEW BEST:: SOT 8293174 SOS 5421874 HAS SOPS 4119981 HAS SOUS 3767249 HAS SOUPS 3651446 WITH SCORE 3656867.874
AT ITER 115 NEW BEST:: SOT 8293174 SOS 5421874 HAS SOPS 4119980 HAS SOUS 3767012 HAS SOUPS 3651209 WITH SCORE 3656630.874
AT ITER 116 NEW BEST:: SOT 8293174 SOS 5421874 HAS SOPS 4119335 HAS SOUS 3766224 HAS SOUPS 3649921 WITH SCORE 3655342.874
AT ITER 117 NEW BEST:: SOT 8293174 SOS 5421874 HAS SOPS 4119030 HAS SOUS 3765382 HAS SOUPS 3648791 WITH SCORE 3654212.874
AT ITER 121 NEW BEST:: SOT 8293202 SOS 5421929 HAS SOPS 4118242 HAS SOUS 3764932 HAS SOUPS 3648004 WITH SCORE 3653425.929
AT ITER 124 NEW BEST:: SOT 8293202 SOS 5421929 HAS SOPS 4117315 HAS SOUS 3763531 HAS SOUPS 3646481 WITH SCORE 3651902.929
AT ITER 126 NEW BEST:: SOT 8292964 SOS 5421691 HAS SOPS 4116839 HAS SOUS 3763527 HAS SOUPS 3646005 WITH SCORE 3651426.691
AT ITER 135 NEW BEST:: SOT 8292964 SOS 5421691 HAS SOPS 4116835 HAS SOUS 3763523 HAS SOUPS 3646001 WITH SCORE 3651422.691
AT ITER 137 NEW BEST:: SOT 8292964 SOS 5421691 HAS SOPS 4116929 HAS SOUS 3763102 HAS SOUPS 3645580 WITH SCORE 3651001.691
AT ITER 148 NEW BEST:: SOT 8292944 SOS 5421671 HAS SOPS 4116101 HAS SOUS 3761628 HAS SOUPS 3643954 WITH SCORE 3649375.671
AT ITER 149 NEW BEST:: SOT 8292944 SOS 5421671 HAS SOPS 4115386 HAS SOUS 3760610 HAS SOUPS 3642467 WITH SCORE 3647888.671
AT ITER 151 NEW BEST:: SOT 8292944 SOS 5421671 HAS SOPS 4114856 HAS SOUS 3759829 HAS SOUPS 3641409 WITH SCORE 3646830.671
AT ITER 155 NEW BEST:: SOT 8292944 SOS 5421671 HAS SOPS 4114558 HAS SOUS 3759137 HAS SOUPS 3640293 WITH SCORE 3645714.671
AT ITER 156 NEW BEST:: SOT 8292944 SOS 5421671 HAS SOPS 4113924 HAS SOUS 3758288 HAS SOUPS 3639027 WITH SCORE 3644448.671
AT ITER 166 NEW BEST:: SOT 8292944 SOS 5421671 HAS SOPS 4113109 HAS SOUS 3756847 HAS SOUPS 3637586 WITH SCORE 3643007.671
AT ITER 167 NEW BEST:: SOT 8292800 SOS 5418669 HAS SOPS 4113109 HAS SOUS 3756703 HAS SOUPS 3637586 WITH SCORE 3643004.669
AT ITER 168 NEW BEST:: SOT 8292800 SOS 5418669 HAS SOPS 4112841 HAS SOUS 3756780 HAS SOUPS 3637318 WITH SCORE 3642736.669
AT ITER 172 NEW BEST:: SOT 8305057 SOS 5403734 HAS SOPS 4074744 HAS SOUS 3743980 HAS SOUPS 3624518 WITH SCORE 3629921.734
AT ITER 175 NEW BEST:: SOT 8305300 SOS 5404405 HAS SOPS 4074554 HAS SOUS 3744289 HAS SOUPS 3624328 WITH SCORE 3629732.405
AT ITER 181 NEW BEST:: SOT 8304999 SOS 5404104 HAS SOPS 4073650 HAS SOUS 3743479 HAS SOUPS 3623124 WITH SCORE 3628528.104
AT ITER 182 NEW BEST:: SOT 8304999 SOS 5404104 HAS SOPS 4072885 HAS SOUS 3741949 HAS SOUPS 3621594 WITH SCORE 3626998.104
AT ITER 188 NEW BEST:: SOT 8305292 SOS 5404671 HAS SOPS 4072390 HAS SOUS 3742747 HAS SOUPS 3621100 WITH SCORE 3626504.671
AT ITER 191 NEW BEST:: SOT 8305292 SOS 5404671 HAS SOPS 4071723 HAS SOUS 3741415 HAS SOUPS 3619768 WITH SCORE 3625172.671
AT ITER 192 NEW BEST:: SOT 8305292 SOS 5404671 HAS SOPS 4071177 HAS SOUS 3740734 HAS SOUPS 3618955 WITH SCORE 3624359.671
AT ITER 193 NEW BEST:: SOT 8305292 SOS 5404671 HAS SOPS 4071434 HAS SOUS 3740730 HAS SOUPS 3618951 WITH SCORE 3624355.671
AT ITER 197 NEW BEST:: SOT 8304898 SOS 5404277 HAS SOPS 4069877 HAS SOUS 3739136 HAS SOUPS 3616627 WITH SCORE 3622031.277
AT ITER 201 NEW BEST:: SOT 8304898 SOS 5404277 HAS SOPS 4069876 HAS SOUS 3738596 HAS SOUPS 3616041 WITH SCORE 3621445.277
AT ITER 204 NEW BEST:: SOT 8304898 SOS 5404277 HAS SOPS 4069327 HAS SOUS 3737652 HAS SOUPS 3614945 WITH SCORE 3620349.277
AT ITER 205 NEW BEST:: SOT 8304898 SOS 5404277 HAS SOPS 4069026 HAS SOUS 3737130 HAS SOUPS 3614345 WITH SCORE 3619749.277
AT ITER 210 NEW BEST:: SOT 8304898 SOS 5404277 HAS SOPS 4068455 HAS SOUS 3735878 HAS SOUPS 3612941 WITH SCORE 3618345.277
AT ITER 213 NEW BEST:: SOT 8305166 SOS 5404812 HAS SOPS 4067897 HAS SOUS 3736506 HAS SOUPS 3612384 WITH SCORE 3617788.812
AT ITER 215 NEW BEST:: SOT 8305416 SOS 5405311 HAS SOPS 4067329 HAS SOUS 3735939 HAS SOUPS 3611817 WITH SCORE 3617222.311
AT ITER 217 NEW BEST:: SOT 8303919 SOS 5403814 HAS SOPS 4066527 HAS SOUS 3735138 HAS SOUPS 3611016 WITH SCORE 3616419.814
AT ITER 219 NEW BEST:: SOT 8303915 SOS 5403810 HAS SOPS 4066519 HAS SOUS 3736128 HAS SOUPS 3611008 WITH SCORE 3616411.81
AT ITER 223 NEW BEST:: SOT 8303946 SOS 5404212 HAS SOPS 4065714 HAS SOUS 3736313 HAS SOUPS 3610204 WITH SCORE 3615608.212
AT ITER 231 NEW BEST:: SOT 8229283 SOS 5373549 HAS SOPS 3990547 HAS SOUS 3661583 HAS SOUPS 3535037 WITH SCORE 3540410.549
AT ITER 236 NEW BEST:: SOT 8229283 SOS 5373549 HAS SOPS 3990546 HAS SOUS 3661540 HAS SOUPS 3534994 WITH SCORE 3540367.549
AT ITER 245 NEW BEST:: SOT 8229283 SOS 5373549 HAS SOPS 3990374 HAS SOUS 3661368 HAS SOUPS 3534822 WITH SCORE 3540195.549
AT ITER 246 NEW BEST:: SOT 8228721 SOS 5352193 HAS SOPS 3969580 HAS SOUS 3660244 HAS SOUPS 3533698 WITH SCORE 3539050.193
AT ITER 251 NEW BEST:: SOT 8228721 SOS 5352193 HAS SOPS 3969576 HAS SOUS 3660240 HAS SOUPS 3533694 WITH SCORE 3539046.193
AT ITER 253 NEW BEST:: SOT 8228721 SOS 5352193 HAS SOPS 3969141 HAS SOUS 3660199 HAS SOUPS 3533259 WITH SCORE 3538611.193
AT ITER 258 NEW BEST:: SOT 8229648 SOS 5353120 HAS SOPS 3969501 HAS SOUS 3660117 HAS SOUPS 3532812 WITH SCORE 3538165.12
AT ITER 260 NEW BEST:: SOT 8229313 SOS 5352785 HAS SOPS 3968495 HAS SOUS 3659285 HAS SOUPS 3531472 WITH SCORE 3536824.785
AT ITER 268 NEW BEST:: SOT 8229313 SOS 5352785 HAS SOPS 3967757 HAS SOUS 3658296 HAS SOUPS 3529998 WITH SCORE 3535350.785
AT ITER 271 NEW BEST:: SOT 8228854 SOS 5352326 HAS SOPS 3966379 HAS SOUS 3657812 HAS SOUPS 3528620 WITH SCORE 3533972.326
AT ITER 278 NEW BEST:: SOT 8228854 SOS 5352326 HAS SOPS 3966018 HAS SOUS 3656974 HAS SOUPS 3527782 WITH SCORE 3533134.326
AT ITER 281 NEW BEST:: SOT 8228854 SOS 5352326 HAS SOPS 3966017 HAS SOUS 3656476 HAS SOUPS 3527284 WITH SCORE 3532636.326
AT ITER 284 NEW BEST:: SOT 8229109 SOS 5352835 HAS SOPS 3965450 HAS SOUS 3656152 HAS SOUPS 3526718 WITH SCORE 3532070.835
AT ITER 286 NEW BEST:: SOT 8229332 SOS 5353280 HAS SOPS 3964847 HAS SOUS 3656716 HAS SOUPS 3526116 WITH SCORE 3531469.28
AT ITER 293 NEW BEST:: SOT 8228950 SOS 5352898 HAS SOPS 3963662 HAS SOUS 3655770 HAS SOUPS 3524512 WITH SCORE 3529864.898
AT ITER 294 NEW BEST:: SOT 8229148 SOS 5353293 HAS SOPS 3963564 HAS SOUS 3656975 HAS SOUPS 3524414 WITH SCORE 3529767.293
AT ITER 302 NEW BEST:: SOT 8228756 SOS 5353098 HAS SOPS 3962521 HAS SOUS 3656181 HAS SOUPS 3522917 WITH SCORE 3528270.098
AT ITER 304 NEW BEST:: SOT 8228756 SOS 5353098 HAS SOPS 3961853 HAS SOUS 3655040 HAS SOUPS 3521436 WITH SCORE 3526789.098
AT ITER 305 NEW BEST:: SOT 8228756 SOS 5353098 HAS SOPS 3961345 HAS SOUS 3653709 HAS SOUPS 3520105 WITH SCORE 3525458.098
AT ITER 306 NEW BEST:: SOT 8228450 SOS 5352486 HAS SOPS 3960733 HAS SOUS 3653403 HAS SOUPS 3519799 WITH SCORE 3525151.486
AT ITER 307 NEW BEST:: SOT 8228450 SOS 5352486 HAS SOPS 3960270 HAS SOUS 3653264 HAS SOUPS 3519338 WITH SCORE 3524690.486
AT ITER 318 NEW BEST:: SOT 8228450 SOS 5352486 HAS SOPS 3959477 HAS SOUS 3652004 HAS SOUPS 3517754 WITH SCORE 3523106.486
AT ITER 329 NEW BEST:: SOT 8228450 SOS 5352486 HAS SOPS 3959616 HAS SOUS 3650900 HAS SOUPS 3517067 WITH SCORE 3522419.486
AT ITER 338 NEW BEST:: SOT 8228450 SOS 5352486 HAS SOPS 3958848 HAS SOUS 3650177 HAS SOUPS 3516212 WITH SCORE 3521564.486
AT ITER 340 NEW BEST:: SOT 8228469 SOS 5352523 HAS SOPS 3958063 HAS SOUS 3649619 HAS SOUPS 3515428 WITH SCORE 3520780.523
AT ITER 342 NEW BEST:: SOT 8228469 SOS 5352523 HAS SOPS 3957317 HAS SOUS 3648061 HAS SOUPS 3513863 WITH SCORE 3519215.523
AT ITER 345 NEW BEST:: SOT 8227804 SOS 5351858 HAS SOPS 3955821 HAS SOUS 3647228 HAS SOUPS 3512367 WITH SCORE 3517718.858
AT ITER 352 NEW BEST:: SOT 8227999 SOS 5352247 HAS SOPS 3955190 HAS SOUS 3646598 HAS SOUPS 3511737 WITH SCORE 3517089.247
AT ITER 355 NEW BEST:: SOT 8227943 SOS 5352191 HAS SOPS 3955134 HAS SOUS 3646542 HAS SOUPS 3511681 WITH SCORE 3517033.191
AT ITER 359 NEW BEST:: SOT 8227943 SOS 5352862 HAS SOPS 3954986 HAS SOUS 3645595 HAS SOUPS 3510716 WITH SCORE 3516068.862
AT ITER 373 NEW BEST:: SOT 8227906 SOS 5352825 HAS SOPS 3954911 HAS SOUS 3645520 HAS SOUPS 3510641 WITH SCORE 3515993.825
AT ITER 381 NEW BEST:: SOT 8227906 SOS 5352825 HAS SOPS 3954206 HAS SOUS 3644027 HAS SOUPS 3509148 WITH SCORE 3514500.825
AT ITER 384 NEW BEST:: SOT 8228188 SOS 5353388 HAS SOPS 3953670 HAS SOUS 3643492 HAS SOUPS 3508613 WITH SCORE 3513966.388
AT ITER 386 NEW BEST:: SOT 8228188 SOS 5353388 HAS SOPS 3953222 HAS SOUS 3642287 HAS SOUPS 3507402 WITH SCORE 3512755.388
AT ITER 393 NEW BEST:: SOT 8227709 SOS 5352909 HAS SOPS 3952561 HAS SOUS 3641841 HAS SOUPS 3506741 WITH SCORE 3512093.909
AT ITER 397 NEW BEST:: SOT 8227709 SOS 5352909 HAS SOPS 3951811 HAS SOUS 3641409 HAS SOUPS 3505992 WITH SCORE 3511344.909
AT ITER 401 NEW BEST:: SOT 8228579 SOS 5353779 HAS SOPS 3951874 HAS SOUS 3640838 HAS SOUPS 3505251 WITH SCORE 3510604.779
AT ITER 402 NEW BEST:: SOT 8228731 SOS 5354082 HAS SOPS 3951200 HAS SOUS 3640733 HAS SOUPS 3505146 WITH SCORE 3510500.082
AT ITER 406 NEW BEST:: SOT 8228731 SOS 5354082 HAS SOPS 3951196 HAS SOUS 3640729 HAS SOUPS 3505142 WITH SCORE 3510496.082
AT ITER 409 NEW BEST:: SOT 8228731 SOS 5354082 HAS SOPS 3950436 HAS SOUS 3639258 HAS SOUPS 3503624 WITH SCORE 3508978.082
AT ITER 411 NEW BEST:: SOT 8228731 SOS 5354082 HAS SOPS 3949948 HAS SOUS 3638284 HAS SOUPS 3502650 WITH SCORE 3508004.082
AT ITER 420 NEW BEST:: SOT 8228727 SOS 5354078 HAS SOPS 3949797 HAS SOUS 3638267 HAS SOUPS 3502499 WITH SCORE 3507853.078
AT ITER 426 NEW BEST:: SOT 8228727 SOS 5354078 HAS SOPS 3947484 HAS SOUS 3638683 HAS SOUPS 3500796 WITH SCORE 3506150.078
AT ITER 429 NEW BEST:: SOT 8228727 SOS 5354078 HAS SOPS 3947234 HAS SOUS 3637602 HAS SOUPS 3499715 WITH SCORE 3505069.078
AT ITER 433 NEW BEST:: SOT 8228962 SOS 5366433 HAS SOPS 3947166 HAS SOUS 3637880 HAS SOUPS 3499647 WITH SCORE 3505013.433
AT ITER 434 NEW BEST:: SOT 8229435 SOS 5367202 HAS SOPS 3947143 HAS SOUS 3637858 HAS SOUPS 3499625 WITH SCORE 3504992.202
AT ITER 439 NEW BEST:: SOT 8229077 SOS 5366844 HAS SOPS 3946426 HAS SOUS 3637445 HAS SOUPS 3499212 WITH SCORE 3504578.844
AT ITER 440 NEW BEST:: SOT 8229077 SOS 5366844 HAS SOPS 3946670 HAS SOUS 3637440 HAS SOUPS 3499207 WITH SCORE 3504573.844
AT ITER 444 NEW BEST:: SOT 8229077 SOS 5366968 HAS SOPS 3946391 HAS SOUS 3636984 HAS SOUPS 3498751 WITH SCORE 3504117.968
AT ITER 446 NEW BEST:: SOT 8229467 SOS 5367747 HAS SOPS 3945947 HAS SOUS 3636541 HAS SOUPS 3498308 WITH SCORE 3503675.747
AT ITER 448 NEW BEST:: SOT 8229467 SOS 5367747 HAS SOPS 3945278 HAS SOUS 3635873 HAS SOUPS 3496912 WITH SCORE 3502279.747
AT ITER 450 NEW BEST:: SOT 8229461 SOS 5367735 HAS SOPS 3945698 HAS SOUS 3635725 HAS SOUPS 3496764 WITH SCORE 3502131.735
AT ITER 453 NEW BEST:: SOT 8229830 SOS 5368459 HAS SOPS 3945271 HAS SOUS 3635537 HAS SOUPS 3496338 WITH SCORE 3501706.459
AT ITER 456 NEW BEST:: SOT 8229983 SOS 5368764 HAS SOPS 3944610 HAS SOUS 3635089 HAS SOUPS 3495678 WITH SCORE 3501046.764
AT ITER 457 NEW BEST:: SOT 8229983 SOS 5368764 HAS SOPS 3943794 HAS SOUS 3633698 HAS SOUPS 3494048 WITH SCORE 3499416.764
AT ITER 460 NEW BEST:: SOT 8230334 SOS 5369315 HAS SOPS 3943611 HAS SOUS 3633720 HAS SOUPS 3493866 WITH SCORE 3499235.315
AT ITER 461 NEW BEST:: SOT 8230596 SOS 5369838 HAS SOPS 3943051 HAS SOUS 3634339 HAS SOUPS 3493307 WITH SCORE 3498676.838
AT ITER 465 NEW BEST:: SOT 8229320 SOS 5368562 HAS SOPS 3942235 HAS SOUS 3634339 HAS SOUPS 3493307 WITH SCORE 3498675.562
AT ITER 468 NEW BEST:: SOT 8229320 SOS 5368562 HAS SOPS 3941725 HAS SOUS 3634169 HAS SOUPS 3492797 WITH SCORE 3498165.562
AT ITER 474 NEW BEST:: SOT 8229083 SOS 5368325 HAS SOPS 3941281 HAS SOUS 3633725 HAS SOUPS 3492353 WITH SCORE 3497721.325
AT ITER 482 NEW BEST:: SOT 8229083 SOS 5368325 HAS SOPS 3940842 HAS SOUS 3632558 HAS SOUPS 3491097 WITH SCORE 3496465.325
AT ITER 491 NEW BEST:: SOT 8229083 SOS 5368325 HAS SOPS 3940350 HAS SOUS 3632286 HAS SOUPS 3490605 WITH SCORE 3495973.325
AT ITER 492 NEW BEST:: SOT 8229083 SOS 5368325 HAS SOPS 3939783 HAS SOUS 3631153 HAS SOUPS 3489472 WITH SCORE 3494840.325
AT ITER 493 NEW BEST:: SOT 8229083 SOS 5368325 HAS SOPS 3938382 HAS SOUS 3630239 HAS SOUPS 3487998 WITH SCORE 3493366.325
AT ITER 499 NEW BEST:: SOT 8228881 SOS 5367921 HAS SOPS 3938180 HAS SOUS 3630037 HAS SOUPS 3487796 WITH SCORE 3493163.921
AT ITER 501 NEW BEST:: SOT 8228952 SOS 5384743 HAS SOPS 3937787 HAS SOUS 3630067 HAS SOUPS 3487403 WITH SCORE 3492787.743
AT ITER 506 NEW BEST:: SOT 8228023 SOS 5383814 HAS SOPS 3936951 HAS SOUS 3629232 HAS SOUPS 3486568 WITH SCORE 3491951.814
AT ITER 509 NEW BEST:: SOT 8228958 SOS 5384749 HAS SOPS 3937299 HAS SOUS 3628761 HAS SOUPS 3486097 WITH SCORE 3491481.749
AT ITER 510 NEW BEST:: SOT 8229029 SOS 5384890 HAS SOPS 3936548 HAS SOUS 3629249 HAS SOUPS 3485347 WITH SCORE 3490731.89
AT ITER 511 NEW BEST:: SOT 8229029 SOS 5384890 HAS SOPS 3934818 HAS SOUS 3628615 HAS SOUPS 3484713 WITH SCORE 3490097.89
AT ITER 513 NEW BEST:: SOT 8228440 SOS 5384301 HAS SOPS 3933050 HAS SOUS 3626779 HAS SOUPS 3482357 WITH SCORE 3487741.301
AT ITER 523 NEW BEST:: SOT 8228440 SOS 5384301 HAS SOPS 3932454 HAS SOUS 3625580 HAS SOUPS 3481158 WITH SCORE 3486542.301
AT ITER 525 NEW BEST:: SOT 8227735 SOS 5383596 HAS SOPS 3931082 HAS SOUS 3624208 HAS SOUPS 3479786 WITH SCORE 3485169.596
AT ITER 527 NEW BEST:: SOT 8227735 SOS 5383596 HAS SOPS 3929792 HAS SOUS 3622720 HAS SOUPS 3478240 WITH SCORE 3483623.596
AT ITER 534 NEW BEST:: SOT 8226134 SOS 5365668 HAS SOPS 3929419 HAS SOUS 3621925 HAS SOUPS 3477868 WITH SCORE 3483233.668
AT ITER 535 NEW BEST:: SOT 8226134 SOS 5365668 HAS SOPS 3928687 HAS SOUS 3620512 HAS SOUPS 3476406 WITH SCORE 3481771.668
AT ITER 539 NEW BEST:: SOT 8226134 SOS 5365668 HAS SOPS 3927954 HAS SOUS 3619085 HAS SOUPS 3474872 WITH SCORE 3480237.668
AT ITER 550 NEW BEST:: SOT 8226121 SOS 5365642 HAS SOPS 3927543 HAS SOUS 3618674 HAS SOUPS 3474461 WITH SCORE 3479826.642
AT ITER 552 NEW BEST:: SOT 8226121 SOS 5366643 HAS SOPS 3926948 HAS SOUS 3618402 HAS SOUPS 3473866 WITH SCORE 3479232.643
AT ITER 556 NEW BEST:: SOT 8226121 SOS 5366643 HAS SOPS 3926708 HAS SOUS 3618216 HAS SOUPS 3473626 WITH SCORE 3478992.643
AT ITER 559 NEW BEST:: SOT 8226121 SOS 5366643 HAS SOPS 3926586 HAS SOUS 3617974 HAS SOUPS 3473384 WITH SCORE 3478750.643
AT ITER 561 NEW BEST:: SOT 8225730 SOS 5366252 HAS SOPS 3925558 HAS SOUS 3617109 HAS SOUPS 3472356 WITH SCORE 3477722.252
AT ITER 562 NEW BEST:: SOT 8225543 SOS 5359146 HAS SOPS 3918639 HAS SOUS 3616735 HAS SOUPS 3471982 WITH SCORE 3477341.146
AT ITER 566 NEW BEST:: SOT 8225543 SOS 5359146 HAS SOPS 3917840 HAS SOUS 3615127 HAS SOUPS 3470374 WITH SCORE 3475733.146
AT ITER 573 NEW BEST:: SOT 8225543 SOS 5353530 HAS SOPS 3912380 HAS SOUS 3615127 HAS SOUPS 3470374 WITH SCORE 3475727.53
AT ITER 576 NEW BEST:: SOT 8225543 SOS 5353530 HAS SOPS 3911553 HAS SOUS 3613612 HAS SOUPS 3468859 WITH SCORE 3474212.53
AT ITER 588 NEW BEST:: SOT 8224832 SOS 5352819 HAS SOPS 3909419 HAS SOUS 3612901 HAS SOUPS 3466726 WITH SCORE 3472078.819
AT ITER 590 NEW BEST:: SOT 8224832 SOS 5353277 HAS SOPS 3909058 HAS SOUS 3612541 HAS SOUPS 3466366 WITH SCORE 3471719.277
AT ITER 596 NEW BEST:: SOT 8225116 SOS 5353561 HAS SOPS 3909008 HAS SOUS 3613001 HAS SOUPS 3466316 WITH SCORE 3471669.561
AT ITER 597 NEW BEST:: SOT 8225557 SOS 5354350 HAS SOPS 3908884 HAS SOUS 3613808 HAS SOUPS 3466192 WITH SCORE 3471546.35
AT ITER 601 NEW BEST:: SOT 8225273 SOS 5354066 HAS SOPS 3908031 HAS SOUS 3612727 HAS SOUPS 3465056 WITH SCORE 3470410.066
AT ITER 605 NEW BEST:: SOT 8225289 SOS 5354176 HAS SOPS 3907211 HAS SOUS 3612880 HAS SOUPS 3464237 WITH SCORE 3469591.176
AT ITER 609 NEW BEST:: SOT 8225289 SOS 5354176 HAS SOPS 3906529 HAS SOUS 3611518 HAS SOUPS 3462875 WITH SCORE 3468229.176
AT ITER 633 NEW BEST:: SOT 8225289 SOS 5354176 HAS SOPS 3906283 HAS SOUS 3611272 HAS SOUPS 3462629 WITH SCORE 3467983.176
AT ITER 653 NEW BEST:: SOT 8225289 SOS 5354176 HAS SOPS 3905896 HAS SOUS 3610885 HAS SOUPS 3462242 WITH SCORE 3467596.176
AT ITER 656 NEW BEST:: SOT 8225289 SOS 5355304 HAS SOPS 3905665 HAS SOUS 3611753 HAS SOUPS 3462011 WITH SCORE 3467366.304
AT ITER 663 NEW BEST:: SOT 8225289 SOS 5355304 HAS SOPS 3905495 HAS SOUS 3611582 HAS SOUPS 3461840 WITH SCORE 3467195.304
AT ITER 677 NEW BEST:: SOT 8226309 SOS 5356933 HAS SOPS 3905412 HAS SOUS 3612728 HAS SOUPS 3461758 WITH SCORE 3467114.933
AT ITER 681 NEW BEST:: SOT 8226484 SOS 5357282 HAS SOPS 3904765 HAS SOUS 3612082 HAS SOUPS 3461112 WITH SCORE 3466469.282
AT ITER 687 NEW BEST:: SOT 8226405 SOS 5357203 HAS SOPS 3904607 HAS SOUS 3612003 HAS SOUPS 3460954 WITH SCORE 3466311.203
AT ITER 702 NEW BEST:: SOT 8227036 SOS 5358334 HAS SOPS 3904542 HAS SOUS 3611939 HAS SOUPS 3460890 WITH SCORE 3466248.334
AT ITER 711 NEW BEST:: SOT 8227036 SOS 5358334 HAS SOPS 3903772 HAS SOUS 3611148 HAS SOUPS 3460099 WITH SCORE 3465457.334
AT ITER 715 NEW BEST:: SOT 8227036 SOS 5358334 HAS SOPS 3903111 HAS SOUS 3609828 HAS SOUPS 3458779 WITH SCORE 3464137.334
AT ITER 726 NEW BEST:: SOT 8227036 SOS 5358334 HAS SOPS 3901449 HAS SOUS 3608168 HAS SOUPS 3457119 WITH SCORE 3462477.334
AT ITER 729 NEW BEST:: SOT 8225795 SOS 5357093 HAS SOPS 3900631 HAS SOUS 3607351 HAS SOUPS 3456302 WITH SCORE 3461659.093
AT ITER 730 NEW BEST:: SOT 8225596 SOS 5356894 HAS SOPS 3900233 HAS SOUS 3606953 HAS SOUPS 3455904 WITH SCORE 3461260.894
AT ITER 731 NEW BEST:: SOT 8225596 SOS 5356894 HAS SOPS 3900232 HAS SOUS 3605427 HAS SOUPS 3455141 WITH SCORE 3460497.894
AT ITER 735 NEW BEST:: SOT 8224991 SOS 5356030 HAS SOPS 3898763 HAS SOUS 3604474 HAS SOUPS 3453672 WITH SCORE 3459028.03
AT ITER 738 NEW BEST:: SOT 8224991 SOS 5356030 HAS SOPS 3898762 HAS SOUS 3604207 HAS SOUPS 3453405 WITH SCORE 3458761.03
AT ITER 752 NEW BEST:: SOT 8224991 SOS 5356030 HAS SOPS 3898495 HAS SOUS 3603675 HAS SOUPS 3452873 WITH SCORE 3458229.03
AT ITER 761 NEW BEST:: SOT 8224991 SOS 5356030 HAS SOPS 3898384 HAS SOUS 3603566 HAS SOUPS 3452764 WITH SCORE 3458120.03
AT ITER 763 NEW BEST:: SOT 8224991 SOS 5356030 HAS SOPS 3897616 HAS SOUS 3602799 HAS SOUPS 3451997 WITH SCORE 3457353.03
AT ITER 765 NEW BEST:: SOT 8224301 SOS 5355340 HAS SOPS 3895864 HAS SOUS 3601565 HAS SOUPS 3450355 WITH SCORE 3455710.34
AT ITER 769 NEW BEST:: SOT 8223719 SOS 5354758 HAS SOPS 3894826 HAS SOUS 3600527 HAS SOUPS 3449317 WITH SCORE 3454671.758
AT ITER 771 NEW BEST:: SOT 8223719 SOS 5354758 HAS SOPS 3894826 HAS SOUS 3600520 HAS SOUPS 3449076 WITH SCORE 3454430.758
AT ITER 777 NEW BEST:: SOT 8223939 SOS 5354978 HAS SOPS 3894635 HAS SOUS 3600819 HAS SOUPS 3448885 WITH SCORE 3454239.978
AT ITER 779 NEW BEST:: SOT 8223939 SOS 5354978 HAS SOPS 3894026 HAS SOUS 3599612 HAS SOUPS 3447669 WITH SCORE 3453023.978
AT ITER 782 NEW BEST:: SOT 8223849 SOS 5354888 HAS SOPS 3894321 HAS SOUS 3599555 HAS SOUPS 3447612 WITH SCORE 3452966.888
AT ITER 791 NEW BEST:: SOT 8223972 SOS 5355133 HAS SOPS 3893636 HAS SOUS 3598969 HAS SOUPS 3446928 WITH SCORE 3452283.133
AT ITER 799 NEW BEST:: SOT 8224304 SOS 5354784 HAS SOPS 3894195 HAS SOUS 3598321 HAS SOUPS 3446507 WITH SCORE 3451861.784
AT ITER 802 NEW BEST:: SOT 8224304 SOS 5354784 HAS SOPS 3893798 HAS SOUS 3598099 HAS SOUPS 3446285 WITH SCORE 3451639.784
AT ITER 816 NEW BEST:: SOT 8224322 SOS 5355028 HAS SOPS 3892996 HAS SOUS 3598335 HAS SOUPS 3445484 WITH SCORE 3450839.028
AT ITER 819 NEW BEST:: SOT 8223770 SOS 5354476 HAS SOPS 3891576 HAS SOUS 3596946 HAS SOUPS 3444064 WITH SCORE 3449418.476
AT ITER 820 NEW BEST:: SOT 8223651 SOS 5354357 HAS SOPS 3890094 HAS SOUS 3595292 HAS SOUPS 3442410 WITH SCORE 3447764.357
AT ITER 825 NEW BEST:: SOT 8243960 SOS 5349377 HAS SOPS 3863184 HAS SOUS 3595319 HAS SOUPS 3441389 WITH SCORE 3446738.377
AT ITER 828 NEW BEST:: SOT 8243960 SOS 5349377 HAS SOPS 3862516 HAS SOUS 3593825 HAS SOUPS 3439895 WITH SCORE 3445244.377
AT ITER 847 NEW BEST:: SOT 8244176 SOS 5349630 HAS SOPS 3862144 HAS SOUS 3594991 HAS SOUPS 3439524 WITH SCORE 3444873.63
AT ITER 850 NEW BEST:: SOT 8244400 SOS 5350077 HAS SOPS 3861532 HAS SOUS 3594380 HAS SOUPS 3438913 WITH SCORE 3444263.077
AT ITER 852 NEW BEST:: SOT 8244400 SOS 5350077 HAS SOPS 3861188 HAS SOUS 3594524 HAS SOUPS 3438762 WITH SCORE 3444112.077
AT ITER 864 NEW BEST:: SOT 8244400 SOS 5350077 HAS SOPS 3861119 HAS SOUS 3593621 HAS SOUPS 3437859 WITH SCORE 3443209.077
AT ITER 868 NEW BEST:: SOT 8244400 SOS 5350077 HAS SOPS 3860720 HAS SOUS 3592909 HAS SOUPS 3437147 WITH SCORE 3442497.077
AT ITER 875 NEW BEST:: SOT 8244400 SOS 5350077 HAS SOPS 3860562 HAS SOUS 3592879 HAS SOUPS 3436989 WITH SCORE 3442339.077
AT ITER 885 NEW BEST:: SOT 8244400 SOS 5350077 HAS SOPS 3861196 HAS SOUS 3592685 HAS SOUPS 3436795 WITH SCORE 3442145.077
AT ITER 892 NEW BEST:: SOT 8243019 SOS 5348696 HAS SOPS 3860388 HAS SOUS 3591878 HAS SOUPS 3435988 WITH SCORE 3441336.696
AT ITER 894 NEW BEST:: SOT 8243019 SOS 5348696 HAS SOPS 3859993 HAS SOUS 3591664 HAS SOUPS 3435593 WITH SCORE 3440941.696
AT ITER 897 NEW BEST:: SOT 8243019 SOS 5348696 HAS SOPS 3859989 HAS SOUS 3591660 HAS SOUPS 3435589 WITH SCORE 3440937.696
AT ITER 901 NEW BEST:: SOT 8243019 SOS 5348696 HAS SOPS 3860336 HAS SOUS 3590507 HAS SOUPS 3435138 WITH SCORE 3440486.696
AT ITER 902 NEW BEST:: SOT 8243465 SOS 5349587 HAS SOPS 3859948 HAS SOUS 3590120 HAS SOUPS 3434751 WITH SCORE 3440100.587
AT ITER 903 NEW BEST:: SOT 8243465 SOS 5349587 HAS SOPS 3859325 HAS SOUS 3589439 HAS SOUPS 3434070 WITH SCORE 3439419.587
AT ITER 913 NEW BEST:: SOT 8243544 SOS 5349744 HAS SOPS 3858572 HAS SOUS 3588687 HAS SOUPS 3433318 WITH SCORE 3438667.744
AT ITER 914 NEW BEST:: SOT 8243574 SOS 5350203 HAS SOPS 3857774 HAS SOUS 3587916 HAS SOUPS 3432521 WITH SCORE 3437871.203
AT ITER 915 NEW BEST:: SOT 8243191 SOS 5349820 HAS SOPS 3855836 HAS SOUS 3586470 HAS SOUPS 3430204 WITH SCORE 3435553.82
AT ITER 927 NEW BEST:: SOT 8243048 SOS 5349677 HAS SOPS 3855693 HAS SOUS 3586327 HAS SOUPS 3430061 WITH SCORE 3435410.677
AT ITER 928 NEW BEST:: SOT 8243048 SOS 5349677 HAS SOPS 3854154 HAS SOUS 3585170 HAS SOUPS 3428523 WITH SCORE 3433872.677
AT ITER 929 NEW BEST:: SOT 8242368 SOS 5348997 HAS SOPS 3852185 HAS SOUS 3583940 HAS SOUPS 3426483 WITH SCORE 3431831.997
AT ITER 937 NEW BEST:: SOT 8241648 SOS 5348277 HAS SOPS 3851331 HAS SOUS 3582711 HAS SOUPS 3425629 WITH SCORE 3430977.277
AT ITER 940 NEW BEST:: SOT 8241777 SOS 5348534 HAS SOPS 3851253 HAS SOUS 3582634 HAS SOUPS 3425552 WITH SCORE 3430900.534
AT ITER 944 NEW BEST:: SOT 8241777 SOS 5348534 HAS SOPS 3850864 HAS SOUS 3582408 HAS SOUPS 3425164 WITH SCORE 3430512.534
AT ITER 949 NEW BEST:: SOT 8241899 SOS 5348777 HAS SOPS 3850383 HAS SOUS 3581928 HAS SOUPS 3424684 WITH SCORE 3430032.777
AT ITER 952 NEW BEST:: SOT 8243686 SOS 5351148 HAS SOPS 3849468 HAS SOUS 3585110 HAS SOUPS 3423769 WITH SCORE 3429120.148
AT ITER 955 NEW BEST:: SOT 8243686 SOS 5351148 HAS SOPS 3849473 HAS SOUS 3584700 HAS SOUPS 3423359 WITH SCORE 3428710.148
AT ITER 959 NEW BEST:: SOT 8243686 SOS 5351148 HAS SOPS 3848511 HAS SOUS 3584664 HAS SOUPS 3422878 WITH SCORE 3428229.148
AT ITER 965 NEW BEST:: SOT 8243055 SOS 5350517 HAS SOPS 3846459 HAS SOUS 3581811 HAS SOUPS 3420025 WITH SCORE 3425375.517
AT ITER 967 NEW BEST:: SOT 8243047 SOS 5350501 HAS SOPS 3846155 HAS SOUS 3581507 HAS SOUPS 3419721 WITH SCORE 3425071.501
AT ITER 970 NEW BEST:: SOT 8243047 SOS 5350501 HAS SOPS 3846011 HAS SOUS 3581364 HAS SOUPS 3419578 WITH SCORE 3424928.501
AT ITER 971 NEW BEST:: SOT 8243002 SOS 5350456 HAS SOPS 3845966 HAS SOUS 3581288 HAS SOUPS 3419488 WITH SCORE 3424838.456
AT ITER 976 NEW BEST:: SOT 8242918 SOS 5350372 HAS SOPS 3845740 HAS SOUS 3581062 HAS SOUPS 3419262 WITH SCORE 3424612.372
AT ITER 977 NEW BEST:: SOT 8242918 SOS 5350372 HAS SOPS 3845480 HAS SOUS 3580803 HAS SOUPS 3419003 WITH SCORE 3424353.372
AT ITER 981 NEW BEST:: SOT 8242933 SOS 5350871 HAS SOPS 3844659 HAS SOUS 3580955 HAS SOUPS 3418183 WITH SCORE 3423533.871
AT ITER 983 NEW BEST:: SOT 8242933 SOS 5350871 HAS SOPS 3844464 HAS SOUS 3580239 HAS SOUPS 3417446 WITH SCORE 3422796.871
AT ITER 984 NEW BEST:: SOT 8242543 SOS 5350481 HAS SOPS 3843196 HAS SOUS 3579011 HAS SOUPS 3415378 WITH SCORE 3420728.481
AT ITER 991 NEW BEST:: SOT 8242365 SOS 5350303 HAS SOPS 3842990 HAS SOUS 3578805 HAS SOUPS 3415172 WITH SCORE 3420522.303
AT ITER 992 NEW BEST:: SOT 8242365 SOS 5350303 HAS SOPS 3842990 HAS SOUS 3578596 HAS SOUPS 3414963 WITH SCORE 3420313.303
AT ITER 999 NEW BEST:: SOT 8242365 SOS 5350303 HAS SOPS 3842692 HAS SOUS 3578000 HAS SOUPS 3414367 WITH SCORE 3419717.303
AT ITER 1007 NEW BEST:: SOT 8242004 SOS 5349942 HAS SOPS 3842331 HAS SOUS 3577639 HAS SOUPS 3414006 WITH SCORE 3419355.942
AT ITER 1012 NEW BEST:: SOT 8242058 SOS 5350049 HAS SOPS 3841567 HAS SOUS 3577398 HAS SOUPS 3413765 WITH SCORE 3419115.049
AT ITER 1014 NEW BEST:: SOT 8242058 SOS 5350049 HAS SOPS 3841306 HAS SOUS 3576310 HAS SOUPS 3412677 WITH SCORE 3418027.049
AT ITER 1015 NEW BEST:: SOT 8241930 SOS 5349793 HAS SOPS 3841174 HAS SOUS 3576178 HAS SOUPS 3412545 WITH SCORE 3417894.793
AT ITER 1023 NEW BEST:: SOT 8242421 SOS 5371724 HAS SOPS 3841124 HAS SOUS 3576716 HAS SOUPS 3412495 WITH SCORE 3417866.724
AT ITER 1027 NEW BEST:: SOT 8242045 SOS 5371348 HAS SOPS 3840088 HAS SOUS 3576018 HAS SOUPS 3411367 WITH SCORE 3416738.348
AT ITER 1030 NEW BEST:: SOT 8243140 SOS 5372443 HAS SOPS 3840358 HAS SOUS 3575466 HAS SOUPS 3410815 WITH SCORE 3416187.443
AT ITER 1034 NEW BEST:: SOT 8243232 SOS 5377295 HAS SOPS 3840331 HAS SOUS 3575558 HAS SOUPS 3410788 WITH SCORE 3416165.295
AT ITER 1042 NEW BEST:: SOT 8243166 SOS 5377229 HAS SOPS 3840265 HAS SOUS 3575492 HAS SOUPS 3410722 WITH SCORE 3416099.229
AT ITER 1047 NEW BEST:: SOT 8243166 SOS 5377229 HAS SOPS 3840093 HAS SOUS 3574675 HAS SOUPS 3409719 WITH SCORE 3415096.229
AT ITER 1055 NEW BEST:: SOT 8243183 SOS 5377263 HAS SOPS 3840019 HAS SOUS 3574601 HAS SOUPS 3409645 WITH SCORE 3415022.263
AT ITER 1059 NEW BEST:: SOT 8243535 SOS 5377615 HAS SOPS 3839693 HAS SOUS 3574275 HAS SOUPS 3409319 WITH SCORE 3414696.615
AT ITER 1069 NEW BEST:: SOT 8243310 SOS 5377390 HAS SOPS 3839468 HAS SOUS 3574050 HAS SOUPS 3409094 WITH SCORE 3414471.39
AT ITER 1072 NEW BEST:: SOT 8243076 SOS 5377156 HAS SOPS 3839233 HAS SOUS 3573843 HAS SOUPS 3408887 WITH SCORE 3414264.156
AT ITER 1081 NEW BEST:: SOT 8017383 SOS 5151820 HAS SOPS 3613540 HAS SOUS 3348507 HAS SOUPS 3183194 WITH SCORE 3188345.82
AT ITER 1082 NEW BEST:: SOT 8017383 SOS 5151820 HAS SOPS 3613232 HAS SOUS 3347474 HAS SOUPS 3182059 WITH SCORE 3187210.82
AT ITER 1086 NEW BEST:: SOT 8017383 SOS 5151820 HAS SOPS 3613231 HAS SOUS 3347312 HAS SOUPS 3181897 WITH SCORE 3187048.82
AT ITER 1090 NEW BEST:: SOT 8017383 SOS 5151820 HAS SOPS 3612475 HAS SOUS 3346952 HAS SOUPS 3181142 WITH SCORE 3186293.82
AT ITER 1093 NEW BEST:: SOT 8017900 SOS 5152724 HAS SOPS 3612400 HAS SOUS 3346878 HAS SOUPS 3181068 WITH SCORE 3186220.724
AT ITER 1095 NEW BEST:: SOT 8017523 SOS 5152347 HAS SOPS 3610841 HAS SOUS 3345538 HAS SOUPS 3179672 WITH SCORE 3184824.347
AT ITER 1096 NEW BEST:: SOT 8017720 SOS 5161007 HAS SOPS 3610821 HAS SOUS 3345770 HAS SOUPS 3179652 WITH SCORE 3184813.007
AT ITER 1099 NEW BEST:: SOT 8017537 SOS 5160824 HAS SOPS 3609999 HAS SOUS 3345230 HAS SOUPS 3178984 WITH SCORE 3184144.824
AT ITER 1102 NEW BEST:: SOT 8017537 SOS 5160824 HAS SOPS 3609927 HAS SOUS 3345230 HAS SOUPS 3178912 WITH SCORE 3184072.824
AT ITER 1111 NEW BEST:: SOT 8017537 SOS 5160824 HAS SOPS 3609926 HAS SOUS 3345229 HAS SOUPS 3178911 WITH SCORE 3184071.824
AT ITER 1117 NEW BEST:: SOT 8017234 SOS 5160521 HAS SOPS 3608823 HAS SOUS 3344172 HAS SOUPS 3177276 WITH SCORE 3182436.521
AT ITER 1123 NEW BEST:: SOT 8017234 SOS 5160521 HAS SOPS 3606316 HAS SOUS 3342492 HAS SOUPS 3175596 WITH SCORE 3180756.521
AT ITER 1124 NEW BEST:: SOT 8016819 SOS 5160106 HAS SOPS 3604923 HAS SOUS 3341269 HAS SOUPS 3173936 WITH SCORE 3179096.106
AT ITER 1131 NEW BEST:: SOT 8017225 SOS 5160873 HAS SOPS 3604901 HAS SOUS 3341247 HAS SOUPS 3173914 WITH SCORE 3179074.873
AT ITER 1143 NEW BEST:: SOT 8017237 SOS 5135419 HAS SOPS 3571874 HAS SOUS 3332261 HAS SOUPS 3164928 WITH SCORE 3170063.419
AT ITER 1146 NEW BEST:: SOT 8017506 SOS 5135871 HAS SOPS 3571859 HAS SOUS 3332246 HAS SOUPS 3164913 WITH SCORE 3170048.871
AT ITER 1148 NEW BEST:: SOT 8017687 SOS 5136232 HAS SOPS 3571222 HAS SOUS 3331610 HAS SOUPS 3164277 WITH SCORE 3169413.232
AT ITER 1150 NEW BEST:: SOT 8017687 SOS 5136232 HAS SOPS 3571095 HAS SOUS 3330651 HAS SOUPS 3163318 WITH SCORE 3168454.232
AT ITER 1151 NEW BEST:: SOT 8016823 SOS 5135368 HAS SOPS 3568871 HAS SOUS 3328147 HAS SOUPS 3160293 WITH SCORE 3165428.368
AT ITER 1152 NEW BEST:: SOT 8017033 SOS 5135578 HAS SOPS 3568778 HAS SOUS 3328351 HAS SOUPS 3160200 WITH SCORE 3165335.578
AT ITER 1153 NEW BEST:: SOT 8017032 SOS 5135577 HAS SOPS 3568776 HAS SOUS 3328349 HAS SOUPS 3160198 WITH SCORE 3165333.577
AT ITER 1162 NEW BEST:: SOT 8017032 SOS 5135577 HAS SOPS 3568228 HAS SOUS 3327847 HAS SOUPS 3159651 WITH SCORE 3164786.577
AT ITER 1165 NEW BEST:: SOT 8017032 SOS 5135577 HAS SOPS 3565607 HAS SOUS 3326055 HAS SOUPS 3157859 WITH SCORE 3162994.577
AT ITER 1173 NEW BEST:: SOT 8016800 SOS 5135345 HAS SOPS 3565143 HAS SOUS 3325359 HAS SOUPS 3157163 WITH SCORE 3162298.345
AT ITER 1174 NEW BEST:: SOT 8015821 SOS 5134366 HAS SOPS 3564309 HAS SOUS 3324526 HAS SOUPS 3156330 WITH SCORE 3161464.366
AT ITER 1178 NEW BEST:: SOT 8015659 SOS 5134204 HAS SOPS 3563985 HAS SOUS 3324526 HAS SOUPS 3156006 WITH SCORE 3161140.204
AT ITER 1185 NEW BEST:: SOT 8015659 SOS 5134204 HAS SOPS 3563598 HAS SOUS 3324139 HAS SOUPS 3155619 WITH SCORE 3160753.204
AT ITER 1188 NEW BEST:: SOT 8015678 SOS 5134364 HAS SOPS 3562805 HAS SOUS 3324245 HAS SOUPS 3155564 WITH SCORE 3160698.364
AT ITER 1197 NEW BEST:: SOT 8015678 SOS 5134364 HAS SOPS 3562804 HAS SOUS 3323415 HAS SOUPS 3154734 WITH SCORE 3159868.364
AT ITER 1202 NEW BEST:: SOT 8015678 SOS 5134364 HAS SOPS 3562105 HAS SOUS 3322717 HAS SOUPS 3154036 WITH SCORE 3159170.364
AT ITER 1218 NEW BEST:: SOT 8015678 SOS 5134364 HAS SOPS 3561750 HAS SOUS 3322235 HAS SOUPS 3153682 WITH SCORE 3158816.364
AT ITER 1227 NEW BEST:: SOT 8015745 SOS 5134431 HAS SOPS 3561005 HAS SOUS 3321747 HAS SOUPS 3152938 WITH SCORE 3158072.431
AT ITER 1236 NEW BEST:: SOT 8015221 SOS 5133907 HAS SOPS 3561005 HAS SOUS 3321747 HAS SOUPS 3152938 WITH SCORE 3158071.907
AT ITER 1240 NEW BEST:: SOT 8015515 SOS 5134201 HAS SOPS 3560792 HAS SOUS 3321536 HAS SOUPS 3152727 WITH SCORE 3157861.201
AT ITER 1253 NEW BEST:: SOT 8015515 SOS 5134201 HAS SOPS 3560714 HAS SOUS 3321271 HAS SOUPS 3152462 WITH SCORE 3157596.201
AT ITER 1256 NEW BEST:: SOT 8015515 SOS 5134201 HAS SOPS 3560759 HAS SOUS 3320484 HAS SOUPS 3151675 WITH SCORE 3156809.201
AT ITER 1260 NEW BEST:: SOT 8015515 SOS 5134201 HAS SOPS 3560755 HAS SOUS 3320480 HAS SOUPS 3151671 WITH SCORE 3156805.201
AT ITER 1268 NEW BEST:: SOT 8015515 SOS 5134201 HAS SOPS 3560666 HAS SOUS 3320391 HAS SOUPS 3151582 WITH SCORE 3156716.201
AT ITER 1269 NEW BEST:: SOT 8015612 SOS 5134298 HAS SOPS 3559860 HAS SOUS 3319652 HAS SOUPS 3150776 WITH SCORE 3155910.298
AT ITER 1270 NEW BEST:: SOT 8015577 SOS 5134263 HAS SOPS 3559185 HAS SOUS 3318211 HAS SOUPS 3149288 WITH SCORE 3154422.263
AT ITER 1275 NEW BEST:: SOT 8015805 SOS 5134718 HAS SOPS 3558589 HAS SOUS 3317676 HAS SOUPS 3148693 WITH SCORE 3153827.718
AT ITER 1282 NEW BEST:: SOT 8017843 SOS 5137361 HAS SOPS 3558346 HAS SOUS 3318363 HAS SOUPS 3148450 WITH SCORE 3153587.361
AT ITER 1293 NEW BEST:: SOT 8018175 SOS 5136353 HAS SOPS 3559481 HAS SOUS 3316159 HAS SOUPS 3146514 WITH SCORE 3151650.353
AT ITER 1300 NEW BEST:: SOT 8018175 SOS 5136878 HAS SOPS 3558955 HAS SOUS 3315634 HAS SOUPS 3145989 WITH SCORE 3151125.878
AT ITER 1302 NEW BEST:: SOT 8018175 SOS 5136878 HAS SOPS 3558552 HAS SOUS 3315232 HAS SOUPS 3145587 WITH SCORE 3150723.878
AT ITER 1308 NEW BEST:: SOT 8018175 SOS 5136878 HAS SOPS 3558670 HAS SOUS 3314158 HAS SOUPS 3144908 WITH SCORE 3150044.878
AT ITER 1317 NEW BEST:: SOT 8017929 SOS 5136386 HAS SOPS 3558205 HAS SOUS 3313693 HAS SOUPS 3144443 WITH SCORE 3149579.386
AT ITER 1321 NEW BEST:: SOT 8017929 SOS 5136386 HAS SOPS 3558149 HAS SOUS 3313637 HAS SOUPS 3144387 WITH SCORE 3149523.386
AT ITER 1328 NEW BEST:: SOT 8017401 SOS 5135858 HAS SOPS 3556133 HAS SOUS 3312359 HAS SOUPS 3142371 WITH SCORE 3147506.858
AT ITER 1335 NEW BEST:: SOT 8017393 SOS 5135867 HAS SOPS 3556345 HAS SOUS 3311637 HAS SOUPS 3141649 WITH SCORE 3146784.867
AT ITER 1341 NEW BEST:: SOT 8017401 SOS 5135980 HAS SOPS 3555541 HAS SOUS 3312225 HAS SOUPS 3140846 WITH SCORE 3145981.98
AT ITER 1344 NEW BEST:: SOT 8017479 SOS 5137233 HAS SOPS 3555242 HAS SOUS 3311926 HAS SOUPS 3140547 WITH SCORE 3145684.233
AT ITER 1348 NEW BEST:: SOT 8017479 SOS 5137233 HAS SOPS 3554561 HAS SOUS 3311247 HAS SOUPS 3139868 WITH SCORE 3145005.233
AT ITER 1363 NEW BEST:: SOT 8017453 SOS 5137207 HAS SOPS 3553644 HAS SOUS 3311276 HAS SOUPS 3139771 WITH SCORE 3144908.207
AT ITER 1371 NEW BEST:: SOT 8017458 SOS 5137212 HAS SOPS 3553410 HAS SOUS 3311175 HAS SOUPS 3139537 WITH SCORE 3144674.212
AT ITER 1372 NEW BEST:: SOT 8016946 SOS 5136700 HAS SOPS 3551953 HAS SOUS 3310353 HAS SOUPS 3138173 WITH SCORE 3143309.7
AT ITER 1383 NEW BEST:: SOT 8016645 SOS 5136379 HAS SOPS 3551953 HAS SOUS 3310352 HAS SOUPS 3138173 WITH SCORE 3143309.379
AT ITER 1384 NEW BEST:: SOT 8016827 SOS 5136807 HAS SOPS 3551399 HAS SOUS 3311124 HAS SOUPS 3137620 WITH SCORE 3142756.807
AT ITER 1392 NEW BEST:: SOT 8016580 SOS 5136560 HAS SOPS 3551152 HAS SOUS 3310877 HAS SOUPS 3137373 WITH SCORE 3142509.56
AT ITER 1395 NEW BEST:: SOT 8016367 SOS 5136347 HAS SOPS 3550820 HAS SOUS 3310545 HAS SOUPS 3137041 WITH SCORE 3142177.347
AT ITER 1396 NEW BEST:: SOT 8016361 SOS 5136071 HAS SOPS 3550556 HAS SOUS 3310281 HAS SOUPS 3136777 WITH SCORE 3141913.071
AT ITER 1402 NEW BEST:: SOT 8016307 SOS 5136017 HAS SOPS 3550448 HAS SOUS 3310227 HAS SOUPS 3136669 WITH SCORE 3141805.017
AT ITER 1403 NEW BEST:: SOT 8016594 SOS 5143624 HAS SOPS 3550003 HAS SOUS 3310386 HAS SOUPS 3136224 WITH SCORE 3141367.624
AT ITER 1406 NEW BEST:: SOT 8016594 SOS 5143624 HAS SOPS 3548355 HAS SOUS 3309274 HAS SOUPS 3134578 WITH SCORE 3139721.624
AT ITER 1414 NEW BEST:: SOT 8016707 SOS 5143737 HAS SOPS 3548258 HAS SOUS 3309157 HAS SOUPS 3134272 WITH SCORE 3139415.737
AT ITER 1424 NEW BEST:: SOT 8016452 SOS 5143482 HAS SOPS 3547493 HAS SOUS 3308392 HAS SOUPS 3133507 WITH SCORE 3138650.482
AT ITER 1429 NEW BEST:: SOT 8015361 SOS 5122722 HAS SOPS 3546679 HAS SOUS 3306531 HAS SOUPS 3132694 WITH SCORE 3137816.722
AT ITER 1440 NEW BEST:: SOT 8015361 SOS 5122722 HAS SOPS 3546609 HAS SOUS 3306461 HAS SOUPS 3132624 WITH SCORE 3137746.722
AT ITER 1448 NEW BEST:: SOT 8015200 SOS 5122561 HAS SOPS 3546102 HAS SOUS 3306253 HAS SOUPS 3132290 WITH SCORE 3137412.561
AT ITER 1449 NEW BEST:: SOT 8015200 SOS 5122504 HAS SOPS 3546156 HAS SOUS 3306253 HAS SOUPS 3132290 WITH SCORE 3137412.504
AT ITER 1455 NEW BEST:: SOT 8015200 SOS 5122504 HAS SOPS 3544016 HAS SOUS 3304701 HAS SOUPS 3130738 WITH SCORE 3135860.504
AT ITER 1469 NEW BEST:: SOT 8015059 SOS 5122363 HAS SOPS 3542047 HAS SOUS 3303685 HAS SOUPS 3129221 WITH SCORE 3134343.363
AT ITER 1483 NEW BEST:: SOT 8014941 SOS 5122127 HAS SOPS 3541916 HAS SOUS 3303554 HAS SOUPS 3129090 WITH SCORE 3134212.127
AT ITER 1499 NEW BEST:: SOT 8014458 SOS 5121644 HAS SOPS 3540949 HAS SOUS 3303083 HAS SOUPS 3128124 WITH SCORE 3133245.644
AT ITER 1515 NEW BEST:: SOT 8014703 SOS 5121916 HAS SOPS 3540366 HAS SOUS 3303629 HAS SOUPS 3127542 WITH SCORE 3132663.916
AT ITER 1521 NEW BEST:: SOT 8014802 SOS 5122140 HAS SOPS 3539645 HAS SOUS 3302926 HAS SOUPS 3126822 WITH SCORE 3131944.14
AT ITER 1523 NEW BEST:: SOT 8014639 SOS 5121977 HAS SOPS 3539319 HAS SOUS 3302600 HAS SOUPS 3126496 WITH SCORE 3131617.977
AT ITER 1532 NEW BEST:: SOT 8014703 SOS 5126685 HAS SOPS 3539213 HAS SOUS 3302623 HAS SOUPS 3126390 WITH SCORE 3131516.685
AT ITER 1541 NEW BEST:: SOT 8014590 SOS 5126572 HAS SOPS 3539100 HAS SOUS 3302510 HAS SOUPS 3126277 WITH SCORE 3131403.572
AT ITER 1545 NEW BEST:: SOT 8014819 SOS 5127029 HAS SOPS 3538495 HAS SOUS 3301906 HAS SOUPS 3125673 WITH SCORE 3130800.029
AT ITER 1550 NEW BEST:: SOT 8014819 SOS 5127029 HAS SOPS 3538494 HAS SOUS 3301905 HAS SOUPS 3125672 WITH SCORE 3130799.029
AT ITER 1562 NEW BEST:: SOT 8014819 SOS 5127029 HAS SOPS 3538682 HAS SOUS 3301324 HAS SOUPS 3125091 WITH SCORE 3130218.029
AT ITER 1565 NEW BEST:: SOT 8014808 SOS 5127018 HAS SOPS 3538843 HAS SOUS 3300657 HAS SOUPS 3124424 WITH SCORE 3129551.018
AT ITER 1574 NEW BEST:: SOT 8014804 SOS 5127014 HAS SOPS 3538839 HAS SOUS 3300655 HAS SOUPS 3124422 WITH SCORE 3129549.014
AT ITER 1581 NEW BEST:: SOT 8014804 SOS 5127014 HAS SOPS 3539239 HAS SOUS 3300650 HAS SOUPS 3124417 WITH SCORE 3129544.014
AT ITER 1582 NEW BEST:: SOT 8014804 SOS 5127014 HAS SOPS 3538445 HAS SOUS 3299200 HAS SOUPS 3122967 WITH SCORE 3128094.014
AT ITER 1608 NEW BEST:: SOT 8014804 SOS 5127014 HAS SOPS 3538244 HAS SOUS 3298728 HAS SOUPS 3122495 WITH SCORE 3127622.014
AT ITER 1613 NEW BEST:: SOT 8015160 SOS 5127725 HAS SOPS 3537859 HAS SOUS 3298344 HAS SOUPS 3122111 WITH SCORE 3127238.725
AT ITER 1619 NEW BEST:: SOT 8015260 SOS 5127825 HAS SOPS 3538468 HAS SOUS 3297844 HAS SOUPS 3121695 WITH SCORE 3126822.825
AT ITER 1622 NEW BEST:: SOT 8015260 SOS 5127825 HAS SOPS 3536848 HAS SOUS 3296893 HAS SOUPS 3120744 WITH SCORE 3125871.825
AT ITER 1625 NEW BEST:: SOT 8014871 SOS 5127381 HAS SOPS 3535389 HAS SOUS 3295315 HAS SOUPS 3119004 WITH SCORE 3124131.381
AT ITER 1634 NEW BEST:: SOT 8014871 SOS 5127381 HAS SOPS 3534705 HAS SOUS 3295099 HAS SOUPS 3118728 WITH SCORE 3123855.381
AT ITER 1637 NEW BEST:: SOT 8014871 SOS 5127381 HAS SOPS 3534311 HAS SOUS 3294707 HAS SOUPS 3118336 WITH SCORE 3123463.381
AT ITER 1640 NEW BEST:: SOT 8014871 SOS 5127381 HAS SOPS 3534232 HAS SOUS 3294529 HAS SOUPS 3118158 WITH SCORE 3123285.381
AT ITER 1643 NEW BEST:: SOT 8014871 SOS 5127381 HAS SOPS 3534658 HAS SOUS 3294256 HAS SOUPS 3117885 WITH SCORE 3123012.381
AT ITER 1646 NEW BEST:: SOT 8014871 SOS 5127381 HAS SOPS 3534639 HAS SOUS 3294187 HAS SOUPS 3117816 WITH SCORE 3122943.381
AT ITER 1652 NEW BEST:: SOT 8014871 SOS 5126249 HAS SOPS 3533970 HAS SOUS 3294187 HAS SOUPS 3117816 WITH SCORE 3122942.249
AT ITER 1656 NEW BEST:: SOT 8014871 SOS 5126249 HAS SOPS 3534388 HAS SOUS 3293886 HAS SOUPS 3117515 WITH SCORE 3122641.249
AT ITER 1661 NEW BEST:: SOT 8014871 SOS 5126249 HAS SOPS 3533319 HAS SOUS 3292967 HAS SOUPS 3116596 WITH SCORE 3121722.249
AT ITER 1667 NEW BEST:: SOT 8014111 SOS 5124773 HAS SOPS 3533128 HAS SOUS 3292666 HAS SOUPS 3116332 WITH SCORE 3121456.773
AT ITER 1668 NEW BEST:: SOT 8014111 SOS 5124773 HAS SOPS 3532491 HAS SOUS 3291212 HAS SOUPS 3114878 WITH SCORE 3120002.773
AT ITER 1669 NEW BEST:: SOT 8014111 SOS 5124773 HAS SOPS 3531757 HAS SOUS 3290223 HAS SOUPS 3114145 WITH SCORE 3119269.773
AT ITER 1671 NEW BEST:: SOT 8014111 SOS 5124773 HAS SOPS 3531252 HAS SOUS 3289718 HAS SOUPS 3113640 WITH SCORE 3118764.773
AT ITER 1672 NEW BEST:: SOT 8014509 SOS 5125344 HAS SOPS 3531228 HAS SOUS 3289695 HAS SOUPS 3113617 WITH SCORE 3118742.344
AT ITER 1674 NEW BEST:: SOT 8014509 SOS 5125344 HAS SOPS 3531244 HAS SOUS 3289694 HAS SOUPS 3113616 WITH SCORE 3118741.344
AT ITER 1678 NEW BEST:: SOT 8014535 SOS 5134283 HAS SOPS 3530994 HAS SOUS 3289679 HAS SOUPS 3113366 WITH SCORE 3118500.283
AT ITER 1680 NEW BEST:: SOT 8015167 SOS 5158761 HAS SOPS 3530264 HAS SOUS 3289572 HAS SOUPS 3112636 WITH SCORE 3117794.761
AT ITER 1685 NEW BEST:: SOT 8015478 SOS 5167110 HAS SOPS 3529769 HAS SOUS 3289480 HAS SOUPS 3112141 WITH SCORE 3117308.11
AT ITER 1688 NEW BEST:: SOT 8015144 SOS 5166776 HAS SOPS 3528766 HAS SOUS 3288812 HAS SOUPS 3111139 WITH SCORE 3116305.776
AT ITER 1690 NEW BEST:: SOT 8015144 SOS 5166776 HAS SOPS 3528765 HAS SOUS 3288798 HAS SOUPS 3111125 WITH SCORE 3116291.776
AT ITER 1692 NEW BEST:: SOT 8015144 SOS 5158856 HAS SOPS 3521065 HAS SOUS 3288798 HAS SOUPS 3111125 WITH SCORE 3116283.856
AT ITER 1697 NEW BEST:: SOT 8015144 SOS 5158856 HAS SOPS 3520945 HAS SOUS 3288678 HAS SOUPS 3111005 WITH SCORE 3116163.856
AT ITER 1703 NEW BEST:: SOT 8014950 SOS 5158662 HAS SOPS 3520698 HAS SOUS 3288431 HAS SOUPS 3110758 WITH SCORE 3115916.662
AT ITER 1705 NEW BEST:: SOT 8014950 SOS 5158662 HAS SOPS 3520719 HAS SOUS 3287656 HAS SOUPS 3109983 WITH SCORE 3115141.662
AT ITER 1706 NEW BEST:: SOT 8015237 SOS 5159139 HAS SOPS 3522128 HAS SOUS 3287596 HAS SOUPS 3109923 WITH SCORE 3115082.139
AT ITER 1707 NEW BEST:: SOT 8015195 SOS 5159097 HAS SOPS 3521893 HAS SOUS 3287594 HAS SOUPS 3109689 WITH SCORE 3114848.097
AT ITER 1711 NEW BEST:: SOT 8015195 SOS 5159097 HAS SOPS 3521315 HAS SOUS 3286440 HAS SOUPS 3108535 WITH SCORE 3113694.097
AT ITER 1717 NEW BEST:: SOT 8015177 SOS 5158629 HAS SOPS 3521567 HAS SOUS 3285234 HAS SOUPS 3107419 WITH SCORE 3112577.629
AT ITER 1719 NEW BEST:: SOT 8015177 SOS 5158629 HAS SOPS 3521567 HAS SOUS 3285210 HAS SOUPS 3107146 WITH SCORE 3112304.629
AT ITER 1729 NEW BEST:: SOT 8015177 SOS 5158629 HAS SOPS 3521013 HAS SOUS 3285033 HAS SOUPS 3106592 WITH SCORE 3111750.629
AT ITER 1732 NEW BEST:: SOT 8014946 SOS 5158398 HAS SOPS 3520606 HAS SOUS 3284857 HAS SOUPS 3106416 WITH SCORE 3111574.398
AT ITER 1737 NEW BEST:: SOT 8014990 SOS 5158442 HAS SOPS 3520595 HAS SOUS 3284901 HAS SOUPS 3106405 WITH SCORE 3111563.442
AT ITER 1739 NEW BEST:: SOT 8015106 SOS 5158558 HAS SOPS 3521195 HAS SOUS 3284602 HAS SOUPS 3106193 WITH SCORE 3111351.558
AT ITER 1758 NEW BEST:: SOT 8015106 SOS 5158558 HAS SOPS 3520988 HAS SOUS 3284399 HAS SOUPS 3105986 WITH SCORE 3111144.558
AT ITER 1760 NEW BEST:: SOT 8015106 SOS 5158558 HAS SOPS 3520896 HAS SOUS 3284307 HAS SOUPS 3105894 WITH SCORE 3111052.558
AT ITER 1765 NEW BEST:: SOT 8015066 SOS 5158518 HAS SOPS 3520856 HAS SOUS 3284267 HAS SOUPS 3105854 WITH SCORE 3111012.518
AT ITER 1767 NEW BEST:: SOT 8015066 SOS 5158518 HAS SOPS 3520097 HAS SOUS 3282944 HAS SOUPS 3104531 WITH SCORE 3109689.518
AT ITER 1774 NEW BEST:: SOT 8014850 SOS 5150310 HAS SOPS 3512105 HAS SOUS 3282512 HAS SOUPS 3104099 WITH SCORE 3109249.31
AT ITER 1795 NEW BEST:: SOT 8014289 SOS 5148466 HAS SOPS 3510422 HAS SOUS 3280829 HAS SOUPS 3102416 WITH SCORE 3107564.466
AT ITER 1818 NEW BEST:: SOT 8014289 SOS 5148466 HAS SOPS 3510279 HAS SOUS 3280097 HAS SOUPS 3101684 WITH SCORE 3106832.466
AT ITER 1825 NEW BEST:: SOT 8014554 SOS 5148915 HAS SOPS 3510263 HAS SOUS 3280120 HAS SOUPS 3101668 WITH SCORE 3106816.915
AT ITER 1826 NEW BEST:: SOT 8014537 SOS 5148898 HAS SOPS 3509936 HAS SOUS 3279793 HAS SOUPS 3101341 WITH SCORE 3106489.898
AT ITER 1830 NEW BEST:: SOT 8014537 SOS 5148898 HAS SOPS 3509936 HAS SOUS 3279540 HAS SOUPS 3101088 WITH SCORE 3106236.898
AT ITER 1831 NEW BEST:: SOT 8014603 SOS 5148964 HAS SOPS 3509512 HAS SOUS 3279116 HAS SOUPS 3100664 WITH SCORE 3105812.964
AT ITER 1838 NEW BEST:: SOT 8014603 SOS 5148964 HAS SOPS 3509664 HAS SOUS 3278693 HAS SOUPS 3100241 WITH SCORE 3105389.964
AT ITER 1842 NEW BEST:: SOT 8014603 SOS 5148964 HAS SOPS 3508850 HAS SOUS 3277334 HAS SOUPS 3098882 WITH SCORE 3104030.964
AT ITER 1847 NEW BEST:: SOT 8014580 SOS 5148941 HAS SOPS 3508019 HAS SOUS 3276606 HAS SOUPS 3098052 WITH SCORE 3103200.941
AT ITER 1854 NEW BEST:: SOT 8014580 SOS 5148941 HAS SOPS 3508067 HAS SOUS 3276364 HAS SOUPS 3097810 WITH SCORE 3102958.941
AT ITER 1861 NEW BEST:: SOT 8014528 SOS 5148889 HAS SOPS 3507406 HAS SOUS 3274891 HAS SOUPS 3096337 WITH SCORE 3101485.889
AT ITER 1866 NEW BEST:: SOT 8014528 SOS 5148889 HAS SOPS 3507000 HAS SOUS 3274485 HAS SOUPS 3095931 WITH SCORE 3101079.889
AT ITER 1867 NEW BEST:: SOT 8013862 SOS 5148223 HAS SOPS 3505175 HAS SOUS 3272388 HAS SOUPS 3093307 WITH SCORE 3098455.223
AT ITER 1876 NEW BEST:: SOT 8013973 SOS 5148334 HAS SOPS 3505137 HAS SOUS 3272263 HAS SOUPS 3093182 WITH SCORE 3098330.334
AT ITER 1880 NEW BEST:: SOT 8014578 SOS 5149307 HAS SOPS 3505126 HAS SOUS 3272253 HAS SOUPS 3093172 WITH SCORE 3098321.307
AT ITER 1881 NEW BEST:: SOT 8013885 SOS 5148614 HAS SOPS 3503739 HAS SOUS 3272252 HAS SOUPS 3092478 WITH SCORE 3097626.614
AT ITER 1885 NEW BEST:: SOT 8013885 SOS 5148614 HAS SOPS 3503375 HAS SOUS 3271471 HAS SOUPS 3091697 WITH SCORE 3096845.614
AT ITER 1886 NEW BEST:: SOT 8013885 SOS 5148614 HAS SOPS 3502768 HAS SOUS 3270955 HAS SOUPS 3091027 WITH SCORE 3096175.614
AT ITER 1895 NEW BEST:: SOT 8013885 SOS 5148614 HAS SOPS 3502724 HAS SOUS 3270907 HAS SOUPS 3090979 WITH SCORE 3096127.614
AT ITER 1901 NEW BEST:: SOT 8013976 SOS 5148705 HAS SOPS 3501996 HAS SOUS 3269659 HAS SOUPS 3090252 WITH SCORE 3095400.705
AT ITER 1907 NEW BEST:: SOT 8013884 SOS 5148613 HAS SOPS 3501136 HAS SOUS 3268715 HAS SOUPS 3089308 WITH SCORE 3094456.613
AT ITER 1911 NEW BEST:: SOT 8013884 SOS 5148613 HAS SOPS 3501497 HAS SOUS 3268300 HAS SOUPS 3088893 WITH SCORE 3094041.613
AT ITER 1916 NEW BEST:: SOT 8014072 SOS 5148859 HAS SOPS 3500980 HAS SOUS 3268182 HAS SOUPS 3088775 WITH SCORE 3093923.859
AT ITER 1919 NEW BEST:: SOT 8014072 SOS 5148859 HAS SOPS 3500675 HAS SOUS 3268677 HAS SOUPS 3088470 WITH SCORE 3093618.859
AT ITER 1930 NEW BEST:: SOT 8014068 SOS 5148855 HAS SOPS 3500528 HAS SOUS 3268602 HAS SOUPS 3088323 WITH SCORE 3093471.855
AT ITER 1935 NEW BEST:: SOT 8013572 SOS 5148359 HAS SOPS 3498424 HAS SOUS 3266695 HAS SOUPS 3086339 WITH SCORE 3091487.359
AT ITER 1938 NEW BEST:: SOT 8013460 SOS 5148135 HAS SOPS 3498200 HAS SOUS 3266471 HAS SOUPS 3086115 WITH SCORE 3091263.135
AT ITER 1948 NEW BEST:: SOT 8013449 SOS 5148113 HAS SOPS 3498142 HAS SOUS 3266413 HAS SOUPS 3086057 WITH SCORE 3091205.113
AT ITER 1961 NEW BEST:: SOT 8013361 SOS 5147937 HAS SOPS 3498054 HAS SOUS 3266325 HAS SOUPS 3085969 WITH SCORE 3091116.937
AT ITER 1983 NEW BEST:: SOT 8013361 SOS 5147937 HAS SOPS 3498054 HAS SOUS 3266313 HAS SOUPS 3085841 WITH SCORE 3090988.937
AT ITER 1991 NEW BEST:: SOT 8013725 SOS 5162861 HAS SOPS 3497644 HAS SOUS 3266267 HAS SOUPS 3085431 WITH SCORE 3090593.861
AT ITER 1997 NEW BEST:: SOT 8013963 SOS 5163396 HAS SOPS 3497484 HAS SOUS 3266107 HAS SOUPS 3085271 WITH SCORE 3090434.396
AT ITER 1999 NEW BEST:: SOT 8013817 SOS 5163250 HAS SOPS 3497338 HAS SOUS 3265961 HAS SOUPS 3085125 WITH SCORE 3090288.25
AT ITER 2001 NEW BEST:: SOT 8013817 SOS 5163250 HAS SOPS 3496867 HAS SOUS 3266039 HAS SOUPS 3084654 WITH SCORE 3089817.25
AT ITER 2002 NEW BEST:: SOT 8013294 SOS 5143376 HAS SOPS 3477516 HAS SOUS 3264993 HAS SOUPS 3083608 WITH SCORE 3088751.376
AT ITER 2004 NEW BEST:: SOT 8013186 SOS 5143268 HAS SOPS 3476616 HAS SOUS 3264105 HAS SOUPS 3082710 WITH SCORE 3087853.268
AT ITER 2006 NEW BEST:: SOT 8013186 SOS 5143268 HAS SOPS 3476356 HAS SOUS 3263596 HAS SOUPS 3082201 WITH SCORE 3087344.268
AT ITER 2007 NEW BEST:: SOT 8013466 SOS 5143764 HAS SOPS 3476313 HAS SOUS 3263609 HAS SOUPS 3082158 WITH SCORE 3087301.764
AT ITER 2013 NEW BEST:: SOT 8013424 SOS 5143396 HAS SOPS 3476488 HAS SOUS 3263409 HAS SOUPS 3081950 WITH SCORE 3087093.396
AT ITER 2017 NEW BEST:: SOT 8013424 SOS 5143396 HAS SOPS 3476433 HAS SOUS 3263354 HAS SOUPS 3081895 WITH SCORE 3087038.396
AT ITER 2024 NEW BEST:: SOT 8013424 SOS 5143396 HAS SOPS 3475850 HAS SOUS 3262771 HAS SOUPS 3081312 WITH SCORE 3086455.396
AT ITER 2048 NEW BEST:: SOT 8013424 SOS 5143396 HAS SOPS 3474471 HAS SOUS 3261211 HAS SOUPS 3079752 WITH SCORE 3084895.396
AT ITER 2054 NEW BEST:: SOT 8013424 SOS 5143396 HAS SOPS 3474467 HAS SOUS 3261114 HAS SOUPS 3079655 WITH SCORE 3084798.396
AT ITER 2059 NEW BEST:: SOT 8013142 SOS 5143114 HAS SOPS 3474185 HAS SOUS 3260832 HAS SOUPS 3079373 WITH SCORE 3084516.114
AT ITER 2061 NEW BEST:: SOT 8013142 SOS 5143114 HAS SOPS 3473456 HAS SOUS 3260104 HAS SOUPS 3078645 WITH SCORE 3083788.114
AT ITER 2067 NEW BEST:: SOT 8012935 SOS 5142907 HAS SOPS 3473382 HAS SOUS 3260214 HAS SOUPS 3078571 WITH SCORE 3083713.907
AT ITER 2070 NEW BEST:: SOT 8012935 SOS 5142907 HAS SOPS 3473288 HAS SOUS 3260083 HAS SOUPS 3078440 WITH SCORE 3083582.907
AT ITER 2077 NEW BEST:: SOT 8012935 SOS 5142907 HAS SOPS 3473286 HAS SOUS 3260081 HAS SOUPS 3078438 WITH SCORE 3083580.907
AT ITER 2078 NEW BEST:: SOT 8012935 SOS 5142907 HAS SOPS 3473105 HAS SOUS 3259901 HAS SOUPS 3078258 WITH SCORE 3083400.907
AT ITER 2079 NEW BEST:: SOT 8012943 SOS 5142923 HAS SOPS 3473022 HAS SOUS 3259819 HAS SOUPS 3078176 WITH SCORE 3083318.923
AT ITER 2084 NEW BEST:: SOT 8012943 SOS 5142923 HAS SOPS 3472215 HAS SOUS 3259014 HAS SOUPS 3077371 WITH SCORE 3082513.923
AT ITER 2097 NEW BEST:: SOT 8012943 SOS 5142923 HAS SOPS 3471496 HAS SOUS 3258295 HAS SOUPS 3076652 WITH SCORE 3081794.923
AT ITER 2102 NEW BEST:: SOT 8012584 SOS 5142564 HAS SOPS 3471241 HAS SOUS 3258040 HAS SOUPS 3076397 WITH SCORE 3081539.564
AT ITER 2108 NEW BEST:: SOT 8012813 SOS 5142793 HAS SOPS 3471656 HAS SOUS 3258005 HAS SOUPS 3076362 WITH SCORE 3081504.793
AT ITER 2113 NEW BEST:: SOT 8020556 SOS 5150526 HAS SOPS 3468782 HAS SOUS 3255608 HAS SOUPS 3073488 WITH SCORE 3078638.526
AT ITER 2117 NEW BEST:: SOT 8020535 SOS 5150505 HAS SOPS 3468823 HAS SOUS 3255590 HAS SOUPS 3073470 WITH SCORE 3078620.505
AT ITER 2124 NEW BEST:: SOT 8025568 SOS 5129289 HAS SOPS 3439764 HAS SOUS 3251840 HAS SOUPS 3069720 WITH SCORE 3074849.289
AT ITER 2127 NEW BEST:: SOT 8025907 SOS 5152048 HAS SOPS 3439315 HAS SOUS 3252117 HAS SOUPS 3069271 WITH SCORE 3074423.048
AT ITER 2128 NEW BEST:: SOT 8025907 SOS 5152048 HAS SOPS 3439217 HAS SOUS 3251210 HAS SOUPS 3068364 WITH SCORE 3073516.048
AT ITER 2129 NEW BEST:: SOT 8025496 SOS 5145407 HAS SOPS 3439217 HAS SOUS 3250799 HAS SOUPS 3068364 WITH SCORE 3073509.407
AT ITER 2130 NEW BEST:: SOT 8025496 SOS 5145407 HAS SOPS 3438341 HAS SOUS 3249923 HAS SOUPS 3067488 WITH SCORE 3072633.407
AT ITER 2132 NEW BEST:: SOT 8025496 SOS 5144854 HAS SOPS 3437989 HAS SOUS 3249371 HAS SOUPS 3066936 WITH SCORE 3072080.854
AT ITER 2136 NEW BEST:: SOT 8025421 SOS 5144779 HAS SOPS 3437839 HAS SOUS 3249296 HAS SOUPS 3066736 WITH SCORE 3071880.779
AT ITER 2141 NEW BEST:: SOT 8025898 SOS 5169090 HAS SOPS 3437321 HAS SOUS 3249576 HAS SOUPS 3066218 WITH SCORE 3071387.09
AT ITER 2146 NEW BEST:: SOT 8025514 SOS 5168706 HAS SOPS 3435193 HAS SOUS 3248427 HAS SOUPS 3064770 WITH SCORE 3069938.706
AT ITER 2155 NEW BEST:: SOT 8025514 SOS 5168706 HAS SOPS 3435439 HAS SOUS 3248426 HAS SOUPS 3064769 WITH SCORE 3069937.706
AT ITER 2163 NEW BEST:: SOT 8026705 SOS 5167950 HAS SOPS 3437644 HAS SOUS 3247756 HAS SOUPS 3064444 WITH SCORE 3069611.95
AT ITER 2166 NEW BEST:: SOT 8026281 SOS 5167526 HAS SOPS 3436871 HAS SOUS 3246908 HAS SOUPS 3063596 WITH SCORE 3068763.526
AT ITER 2171 NEW BEST:: SOT 8025989 SOS 5167234 HAS SOPS 3435854 HAS SOUS 3245764 HAS SOUPS 3062432 WITH SCORE 3067599.234
AT ITER 2173 NEW BEST:: SOT 8025842 SOS 5167087 HAS SOPS 3436065 HAS SOUS 3245190 HAS SOUPS 3061858 WITH SCORE 3067025.087
AT ITER 2174 NEW BEST:: SOT 8025692 SOS 5166937 HAS SOPS 3434934 HAS SOUS 3244330 HAS SOUPS 3060998 WITH SCORE 3066164.937
AT ITER 2181 NEW BEST:: SOT 8025300 SOS 5166545 HAS SOPS 3434542 HAS SOUS 3243938 HAS SOUPS 3060606 WITH SCORE 3065772.545
AT ITER 2192 NEW BEST:: SOT 8025300 SOS 5165985 HAS SOPS 3433931 HAS SOUS 3242716 HAS SOUPS 3059384 WITH SCORE 3064549.985
AT ITER 2193 NEW BEST:: SOT 8025247 SOS 5165932 HAS SOPS 3433825 HAS SOUS 3242610 HAS SOUPS 3059278 WITH SCORE 3064443.932
AT ITER 2196 NEW BEST:: SOT 8025707 SOS 5186960 HAS SOPS 3433763 HAS SOUS 3243070 HAS SOUPS 3059216 WITH SCORE 3064402.96
AT ITER 2197 NEW BEST:: SOT 8025707 SOS 5186960 HAS SOPS 3433913 HAS SOUS 3242826 HAS SOUPS 3058972 WITH SCORE 3064158.96
AT ITER 2203 NEW BEST:: SOT 8025707 SOS 5186960 HAS SOPS 3433878 HAS SOUS 3242792 HAS SOUPS 3058938 WITH SCORE 3064124.96
AT ITER 2205 NEW BEST:: SOT 8025707 SOS 5187587 HAS SOPS 3433675 HAS SOUS 3242589 HAS SOUPS 3058735 WITH SCORE 3063922.587
AT ITER 2211 NEW BEST:: SOT 8025707 SOS 5187587 HAS SOPS 3433128 HAS SOUS 3242044 HAS SOUPS 3058190 WITH SCORE 3063377.587
AT ITER 2221 NEW BEST:: SOT 8025390 SOS 5187270 HAS SOPS 3432176 HAS SOUS 3241410 HAS SOUPS 3057239 WITH SCORE 3062426.27
AT ITER 2228 NEW BEST:: SOT 8025355 SOS 5187235 HAS SOPS 3432070 HAS SOUS 3241305 HAS SOUPS 3057134 WITH SCORE 3062321.235
AT ITER 2234 NEW BEST:: SOT 8025355 SOS 5187235 HAS SOPS 3431954 HAS SOUS 3241189 HAS SOUPS 3057018 WITH SCORE 3062205.235
AT ITER 2237 NEW BEST:: SOT 8025355 SOS 5187235 HAS SOPS 3432470 HAS SOUS 3240875 HAS SOUPS 3056704 WITH SCORE 3061891.235
AT ITER 2239 NEW BEST:: SOT 8025355 SOS 5187154 HAS SOPS 3432389 HAS SOUS 3240794 HAS SOUPS 3056623 WITH SCORE 3061810.154
AT ITER 2250 NEW BEST:: SOT 8025054 SOS 5186853 HAS SOPS 3431607 HAS SOUS 3240490 HAS SOUPS 3055841 WITH SCORE 3061027.853
AT ITER 2256 NEW BEST:: SOT 8024921 SOS 5186766 HAS SOPS 3430666 HAS SOUS 3239627 HAS SOUPS 3054901 WITH SCORE 3060087.766
AT ITER 2270 NEW BEST:: SOT 8024591 SOS 5186436 HAS SOPS 3429232 HAS SOUS 3238512 HAS SOUPS 3053786 WITH SCORE 3058972.436
AT ITER 2281 NEW BEST:: SOT 8025180 SOS 5187487 HAS SOPS 3429217 HAS SOUS 3238498 HAS SOUPS 3053772 WITH SCORE 3058959.487
AT ITER 2289 NEW BEST:: SOT 8025180 SOS 5187487 HAS SOPS 3429130 HAS SOUS 3237823 HAS SOUPS 3053097 WITH SCORE 3058284.487
AT ITER 2290 NEW BEST:: SOT 8025257 SOS 5187564 HAS SOPS 3429726 HAS SOUS 3237608 HAS SOUPS 3052882 WITH SCORE 3058069.564
AT ITER 2295 NEW BEST:: SOT 8025215 SOS 5187522 HAS SOPS 3429642 HAS SOUS 3236199 HAS SOUPS 3052798 WITH SCORE 3057985.522
AT ITER 2296 NEW BEST:: SOT 8024490 SOS 5186797 HAS SOPS 3428917 HAS SOUS 3235474 HAS SOUPS 3052073 WITH SCORE 3057259.797
AT ITER 2299 NEW BEST:: SOT 8024490 SOS 5186797 HAS SOPS 3428475 HAS SOUS 3234004 HAS SOUPS 3051630 WITH SCORE 3056816.797
AT ITER 2300 NEW BEST:: SOT 8024404 SOS 5186711 HAS SOPS 3428302 HAS SOUS 3233832 HAS SOUPS 3051458 WITH SCORE 3056644.711
AT ITER 2301 NEW BEST:: SOT 8023802 SOS 5183701 HAS SOPS 3425894 HAS SOUS 3232628 HAS SOUPS 3050254 WITH SCORE 3055437.701
AT ITER 2311 NEW BEST:: SOT 8023517 SOS 5183416 HAS SOPS 3425323 HAS SOUS 3232057 HAS SOUPS 3049683 WITH SCORE 3054866.416
AT ITER 2314 NEW BEST:: SOT 8022579 SOS 5182478 HAS SOPS 3425323 HAS SOUS 3232057 HAS SOUPS 3049683 WITH SCORE 3054865.478
AT ITER 2317 NEW BEST:: SOT 8022450 SOS 5182349 HAS SOPS 3425065 HAS SOUS 3231799 HAS SOUPS 3049425 WITH SCORE 3054607.349
AT ITER 2318 NEW BEST:: SOT 8022450 SOS 5182349 HAS SOPS 3423934 HAS SOUS 3231056 HAS SOUPS 3048682 WITH SCORE 3053864.349
AT ITER 2320 NEW BEST:: SOT 8022440 SOS 5182339 HAS SOPS 3423923 HAS SOUS 3231045 HAS SOUPS 3048671 WITH SCORE 3053853.339
AT ITER 2324 NEW BEST:: SOT 8022554 SOS 5182453 HAS SOPS 3423422 HAS SOUS 3230298 HAS SOUPS 3047924 WITH SCORE 3053106.453
AT ITER 2326 NEW BEST:: SOT 8023068 SOS 5183480 HAS SOPS 3423337 HAS SOUS 3231091 HAS SOUPS 3047861 WITH SCORE 3053044.48
AT ITER 2327 NEW BEST:: SOT 8023068 SOS 5183480 HAS SOPS 3423193 HAS SOUS 3230571 HAS SOUPS 3047341 WITH SCORE 3052524.48
AT ITER 2331 NEW BEST:: SOT 8023068 SOS 5183480 HAS SOPS 3423090 HAS SOUS 3230468 HAS SOUPS 3047238 WITH SCORE 3052421.48
AT ITER 2338 NEW BEST:: SOT 8023522 SOS 5182680 HAS SOPS 3423961 HAS SOUS 3228867 HAS SOUPS 3045846 WITH SCORE 3051028.68
AT ITER 2339 NEW BEST:: SOT 8023757 SOS 5183149 HAS SOPS 3423374 HAS SOUS 3228289 HAS SOUPS 3045260 WITH SCORE 3050443.149
AT ITER 2342 NEW BEST:: SOT 8023757 SOS 5183749 HAS SOPS 3423344 HAS SOUS 3228274 HAS SOUPS 3045230 WITH SCORE 3050413.749
AT ITER 2346 NEW BEST:: SOT 8023757 SOS 5183749 HAS SOPS 3423250 HAS SOUS 3228180 HAS SOUPS 3045136 WITH SCORE 3050319.749
AT ITER 2370 NEW BEST:: SOT 8023757 SOS 5183749 HAS SOPS 3423177 HAS SOUS 3228107 HAS SOUPS 3045063 WITH SCORE 3050246.749
AT ITER 2371 NEW BEST:: SOT 8023617 SOS 5183609 HAS SOPS 3422854 HAS SOUS 3227784 HAS SOUPS 3044740 WITH SCORE 3049923.609
AT ITER 2388 NEW BEST:: SOT 8023487 SOS 5183479 HAS SOPS 3422594 HAS SOUS 3227402 HAS SOUPS 3044358 WITH SCORE 3049541.479
AT ITER 2389 NEW BEST:: SOT 8022925 SOS 5182917 HAS SOPS 3421486 HAS SOUS 3226208 HAS SOUPS 3043164 WITH SCORE 3048346.917
AT ITER 2402 NEW BEST:: SOT 8029347 SOS 5188846 HAS SOPS 3420396 HAS SOUS 3225119 HAS SOUPS 3042075 WITH SCORE 3047263.846
AT ITER 2407 NEW BEST:: SOT 8029189 SOS 5188688 HAS SOPS 3419922 HAS SOUS 3224645 HAS SOUPS 3041601 WITH SCORE 3046789.688
AT ITER 2419 NEW BEST:: SOT 8029189 SOS 5188688 HAS SOPS 3419044 HAS SOUS 3223994 HAS SOUPS 3040920 WITH SCORE 3046108.688
AT ITER 2431 NEW BEST:: SOT 8029189 SOS 5188688 HAS SOPS 3417537 HAS SOUS 3223806 HAS SOUPS 3040732 WITH SCORE 3045920.688
AT ITER 2437 NEW BEST:: SOT 8029156 SOS 5189111 HAS SOPS 3417461 HAS SOUS 3224377 HAS SOUPS 3040656 WITH SCORE 3045845.111
AT ITER 2439 NEW BEST:: SOT 8029121 SOS 5189076 HAS SOPS 3417442 HAS SOUS 3224352 HAS SOUPS 3040637 WITH SCORE 3045826.076
AT ITER 2445 NEW BEST:: SOT 8029081 SOS 5189036 HAS SOPS 3417442 HAS SOUS 3224352 HAS SOUPS 3040637 WITH SCORE 3045826.036
AT ITER 2447 NEW BEST:: SOT 8029081 SOS 5189036 HAS SOPS 3417442 HAS SOUS 3223815 HAS SOUPS 3040100 WITH SCORE 3045289.036
AT ITER 2454 NEW BEST:: SOT 8029081 SOS 5189036 HAS SOPS 3417002 HAS SOUS 3222925 HAS SOUPS 3039210 WITH SCORE 3044399.036
AT ITER 2467 NEW BEST:: SOT 8028842 SOS 5188797 HAS SOPS 3416457 HAS SOUS 3221563 HAS SOUPS 3037848 WITH SCORE 3043036.797
AT ITER 2470 NEW BEST:: SOT 8028523 SOS 5188478 HAS SOPS 3414080 HAS SOUS 3220152 HAS SOUPS 3036407 WITH SCORE 3041595.478
AT ITER 2477 NEW BEST:: SOT 8028378 SOS 5188333 HAS SOPS 3413305 HAS SOUS 3218842 HAS SOUPS 3035097 WITH SCORE 3040285.333
AT ITER 2478 NEW BEST:: SOT 8028378 SOS 5188333 HAS SOPS 3413537 HAS SOUS 3218423 HAS SOUPS 3034678 WITH SCORE 3039866.333
AT ITER 2481 NEW BEST:: SOT 8028378 SOS 5188333 HAS SOPS 3413594 HAS SOUS 3218422 HAS SOUPS 3034677 WITH SCORE 3039865.333
AT ITER 2484 NEW BEST:: SOT 8028247 SOS 5188202 HAS SOPS 3413288 HAS SOUS 3217978 HAS SOUPS 3034233 WITH SCORE 3039421.202
AT ITER 2486 NEW BEST:: SOT 8028136 SOS 5188091 HAS SOPS 3413066 HAS SOUS 3217496 HAS SOUPS 3033751 WITH SCORE 3038939.091
AT ITER 2496 NEW BEST:: SOT 8027964 SOS 5187919 HAS SOPS 3412560 HAS SOUS 3216985 HAS SOUPS 3033240 WITH SCORE 3038427.919
AT ITER 2500 NEW BEST:: SOT 8027964 SOS 5187919 HAS SOPS 3412541 HAS SOUS 3216963 HAS SOUPS 3033218 WITH SCORE 3038405.919
AT ITER 2505 NEW BEST:: SOT 8027788 SOS 5187702 HAS SOPS 3412293 HAS SOUS 3216716 HAS SOUPS 3032971 WITH SCORE 3038158.702
AT ITER 2514 NEW BEST:: SOT 8027868 SOS 5187782 HAS SOPS 3411877 HAS SOUS 3216312 HAS SOUPS 3032555 WITH SCORE 3037742.782
AT ITER 2520 NEW BEST:: SOT 8028375 SOS 5208823 HAS SOPS 3411849 HAS SOUS 3216819 HAS SOUPS 3032527 WITH SCORE 3037735.823
AT ITER 2523 NEW BEST:: SOT 8028375 SOS 5208823 HAS SOPS 3411848 HAS SOUS 3216522 HAS SOUPS 3032230 WITH SCORE 3037438.823
AT ITER 2524 NEW BEST:: SOT 8028006 SOS 5208454 HAS SOPS 3410936 HAS SOUS 3216141 HAS SOUPS 3031693 WITH SCORE 3036901.454
AT ITER 2529 NEW BEST:: SOT 8028806 SOS 5209301 HAS SOPS 3410228 HAS SOUS 3215434 HAS SOUPS 3030986 WITH SCORE 3036195.301
AT ITER 2531 NEW BEST:: SOT 8028704 SOS 5209199 HAS SOPS 3409471 HAS SOUS 3214678 HAS SOUPS 3030230 WITH SCORE 3035439.199
AT ITER 2534 NEW BEST:: SOT 8028915 SOS 5208765 HAS SOPS 3410069 HAS SOUS 3213552 HAS SOUPS 3029233 WITH SCORE 3034441.765
AT ITER 2541 NEW BEST:: SOT 8028749 SOS 5208599 HAS SOPS 3409574 HAS SOUS 3213127 HAS SOUPS 3028738 WITH SCORE 3033946.599
AT ITER 2543 NEW BEST:: SOT 8028749 SOS 5208599 HAS SOPS 3409435 HAS SOUS 3212989 HAS SOUPS 3028600 WITH SCORE 3033808.599
AT ITER 2545 NEW BEST:: SOT 8028749 SOS 5208599 HAS SOPS 3408628 HAS SOUS 3212182 HAS SOUPS 3027793 WITH SCORE 3033001.599
AT ITER 2552 NEW BEST:: SOT 8029202 SOS 5209501 HAS SOPS 3408128 HAS SOUS 3211812 HAS SOUPS 3027423 WITH SCORE 3032632.501
AT ITER 2553 NEW BEST:: SOT 8029159 SOS 5209458 HAS SOPS 3408085 HAS SOUS 3211769 HAS SOUPS 3027380 WITH SCORE 3032589.458
AT ITER 2560 NEW BEST:: SOT 8029159 SOS 5209458 HAS SOPS 3408077 HAS SOUS 3211760 HAS SOUPS 3027371 WITH SCORE 3032580.458
AT ITER 2565 NEW BEST:: SOT 8029159 SOS 5209458 HAS SOPS 3407699 HAS SOUS 3211317 HAS SOUPS 3026928 WITH SCORE 3032137.458
AT ITER 2571 NEW BEST:: SOT 8029159 SOS 5209458 HAS SOPS 3407291 HAS SOUS 3210422 HAS SOUPS 3026033 WITH SCORE 3031242.458
AT ITER 2578 NEW BEST:: SOT 8029147 SOS 5209446 HAS SOPS 3407279 HAS SOUS 3210410 HAS SOUPS 3026021 WITH SCORE 3031230.446
AT ITER 2581 NEW BEST:: SOT 8032730 SOS 5187131 HAS SOPS 3378099 HAS SOUS 3206038 HAS SOUPS 3021649 WITH SCORE 3026836.131
AT ITER 2583 NEW BEST:: SOT 8032730 SOS 5187131 HAS SOPS 3378099 HAS SOUS 3205870 HAS SOUPS 3021481 WITH SCORE 3026668.131
AT ITER 2585 NEW BEST:: SOT 8032785 SOS 5187186 HAS SOPS 3377953 HAS SOUS 3205213 HAS SOUPS 3020824 WITH SCORE 3026011.186
AT ITER 2590 NEW BEST:: SOT 8032902 SOS 5187303 HAS SOPS 3377928 HAS SOUS 3205188 HAS SOUPS 3020799 WITH SCORE 3025986.303
AT ITER 2593 NEW BEST:: SOT 8029052 SOS 5187773 HAS SOPS 3374020 HAS SOUS 3201307 HAS SOUPS 3016891 WITH SCORE 3022078.773
AT ITER 2604 NEW BEST:: SOT 8029661 SOS 5187458 HAS SOPS 3373124 HAS SOUS 3201020 HAS SOUPS 3016604 WITH SCORE 3021791.458
AT ITER 2605 NEW BEST:: SOT 8029797 SOS 5187729 HAS SOPS 3372426 HAS SOUS 3200323 HAS SOUPS 3015907 WITH SCORE 3021094.729
AT ITER 2612 NEW BEST:: SOT 8029797 SOS 5187729 HAS SOPS 3372351 HAS SOUS 3200158 HAS SOUPS 3015742 WITH SCORE 3020929.729
AT ITER 2615 NEW BEST:: SOT 8029848 SOS 5187963 HAS SOPS 3371896 HAS SOUS 3201096 HAS SOUPS 3015287 WITH SCORE 3020474.963
AT ITER 2616 NEW BEST:: SOT 8031538 SOS 5187365 HAS SOPS 3374041 HAS SOUS 3199383 HAS SOUPS 3014029 WITH SCORE 3019216.365
AT ITER 2622 NEW BEST:: SOT 8031538 SOS 5187365 HAS SOPS 3373550 HAS SOUS 3198893 HAS SOUPS 3013539 WITH SCORE 3018726.365
AT ITER 2631 NEW BEST:: SOT 8031534 SOS 5187361 HAS SOPS 3373462 HAS SOUS 3198805 HAS SOUPS 3013451 WITH SCORE 3018638.361
AT ITER 2635 NEW BEST:: SOT 8031534 SOS 5187361 HAS SOPS 3372871 HAS SOUS 3197623 HAS SOUPS 3012269 WITH SCORE 3017456.361
AT ITER 2640 NEW BEST:: SOT 8031534 SOS 5187361 HAS SOPS 3372598 HAS SOUS 3197350 HAS SOUPS 3011996 WITH SCORE 3017183.361
AT ITER 2645 NEW BEST:: SOT 8031425 SOS 5187252 HAS SOPS 3372162 HAS SOUS 3196914 HAS SOUPS 3011560 WITH SCORE 3016747.252
AT ITER 2647 NEW BEST:: SOT 8031392 SOS 5187208 HAS SOPS 3372027 HAS SOUS 3196903 HAS SOUPS 3011549 WITH SCORE 3016736.208
AT ITER 2648 NEW BEST:: SOT 8031356 SOS 5187172 HAS SOPS 3370360 HAS SOUS 3195245 HAS SOUPS 3009884 WITH SCORE 3015071.172
AT ITER 2658 NEW BEST:: SOT 8031259 SOS 5187075 HAS SOPS 3368592 HAS SOUS 3194333 HAS SOUPS 3008972 WITH SCORE 3014159.075
AT ITER 2663 NEW BEST:: SOT 8030494 SOS 5186310 HAS SOPS 3368592 HAS SOUS 3194333 HAS SOUPS 3008972 WITH SCORE 3014158.31
AT ITER 2666 NEW BEST:: SOT 8030494 SOS 5186310 HAS SOPS 3368717 HAS SOUS 3193555 HAS SOUPS 3008646 WITH SCORE 3013832.31
AT ITER 2672 NEW BEST:: SOT 8030397 SOS 5186213 HAS SOPS 3368620 HAS SOUS 3193450 HAS SOUPS 3008549 WITH SCORE 3013735.213
AT ITER 2677 NEW BEST:: SOT 8030394 SOS 5186210 HAS SOPS 3368049 HAS SOUS 3192880 HAS SOUPS 3007979 WITH SCORE 3013165.21
AT ITER 2706 NEW BEST:: SOT 8030162 SOS 5185978 HAS SOPS 3367332 HAS SOUS 3191976 HAS SOUPS 3007075 WITH SCORE 3012260.978
AT ITER 2708 NEW BEST:: SOT 8030629 SOS 5199804 HAS SOPS 3366979 HAS SOUS 3192077 HAS SOUPS 3006824 WITH SCORE 3012023.804
AT ITER 2711 NEW BEST:: SOT 8030618 SOS 5199756 HAS SOPS 3366968 HAS SOUS 3192066 HAS SOUPS 3006813 WITH SCORE 3012012.756
AT ITER 2714 NEW BEST:: SOT 8030291 SOS 5199429 HAS SOPS 3366314 HAS SOUS 3191585 HAS SOUPS 3006332 WITH SCORE 3011531.429
AT ITER 2719 NEW BEST:: SOT 8030001 SOS 5199139 HAS SOPS 3366094 HAS SOUS 3191143 HAS SOUPS 3005890 WITH SCORE 3011089.139
AT ITER 2724 NEW BEST:: SOT 8030000 SOS 5199348 HAS SOPS 3366056 HAS SOUS 3191105 HAS SOUPS 3005852 WITH SCORE 3011051.348
AT ITER 2726 NEW BEST:: SOT 8030000 SOS 5199348 HAS SOPS 3365932 HAS SOUS 3190981 HAS SOUPS 3005728 WITH SCORE 3010927.348
AT ITER 2734 NEW BEST:: SOT 8030006 SOS 5199329 HAS SOPS 3365913 HAS SOUS 3190962 HAS SOUPS 3005709 WITH SCORE 3010908.329
AT ITER 2737 NEW BEST:: SOT 8030006 SOS 5199329 HAS SOPS 3365912 HAS SOUS 3190927 HAS SOUPS 3005674 WITH SCORE 3010873.329
AT ITER 2739 NEW BEST:: SOT 8030006 SOS 5198609 HAS SOPS 3365912 HAS SOUS 3190904 HAS SOUPS 3005674 WITH SCORE 3010872.609
AT ITER 2745 NEW BEST:: SOT 8028872 SOS 5197428 HAS SOPS 3365188 HAS SOUS 3190180 HAS SOUPS 3004950 WITH SCORE 3010147.428
AT ITER 2749 NEW BEST:: SOT 8029092 SOS 5197866 HAS SOPS 3364940 HAS SOUS 3190047 HAS SOUPS 3004702 WITH SCORE 3009899.866
AT ITER 2751 NEW BEST:: SOT 8029092 SOS 5197866 HAS SOPS 3364940 HAS SOUS 3190006 HAS SOUPS 3004661 WITH SCORE 3009858.866
AT ITER 2754 NEW BEST:: SOT 8028968 SOS 5197742 HAS SOPS 3364816 HAS SOUS 3189882 HAS SOUPS 3004537 WITH SCORE 3009734.742
AT ITER 2755 NEW BEST:: SOT 8028601 SOS 5197375 HAS SOPS 3364081 HAS SOUS 3188831 HAS SOUPS 3003254 WITH SCORE 3008451.375
AT ITER 2763 NEW BEST:: SOT 8028601 SOS 5197375 HAS SOPS 3363932 HAS SOUS 3188596 HAS SOUPS 3003019 WITH SCORE 3008216.375
AT ITER 2766 NEW BEST:: SOT 8028085 SOS 5196859 HAS SOPS 3363932 HAS SOUS 3188596 HAS SOUPS 3003019 WITH SCORE 3008215.859
AT ITER 2781 NEW BEST:: SOT 8027977 SOS 5196751 HAS SOPS 3363670 HAS SOUS 3187840 HAS SOUPS 3002379 WITH SCORE 3007575.751
AT ITER 2784 NEW BEST:: SOT 8028581 SOS 5189324 HAS SOPS 3355364 HAS SOUS 3187381 HAS SOUPS 3001920 WITH SCORE 3007109.324
AT ITER 2796 NEW BEST:: SOT 8028581 SOS 5189324 HAS SOPS 3355212 HAS SOUS 3187161 HAS SOUPS 3001700 WITH SCORE 3006889.324
AT ITER 2800 NEW BEST:: SOT 8028581 SOS 5189324 HAS SOPS 3354899 HAS SOUS 3186854 HAS SOUPS 3001393 WITH SCORE 3006582.324
AT ITER 2801 NEW BEST:: SOT 8028748 SOS 5187967 HAS SOPS 3355321 HAS SOUS 3184238 HAS SOUPS 2999032 WITH SCORE 3004219.967
AT ITER 2807 NEW BEST:: SOT 8028730 SOS 5187949 HAS SOPS 3355284 HAS SOUS 3183940 HAS SOUPS 2998734 WITH SCORE 3003921.949
AT ITER 2820 NEW BEST:: SOT 8028730 SOS 5187949 HAS SOPS 3355521 HAS SOUS 3183613 HAS SOUPS 2998407 WITH SCORE 3003594.949
AT ITER 2821 NEW BEST:: SOT 8028564 SOS 5187783 HAS SOPS 3354636 HAS SOUS 3182823 HAS SOUPS 2997523 WITH SCORE 3002710.783
AT ITER 2841 NEW BEST:: SOT 8028564 SOS 5174175 HAS SOPS 3341325 HAS SOUS 3182742 HAS SOUPS 2997442 WITH SCORE 3002616.175
AT ITER 2846 NEW BEST:: SOT 8028455 SOS 5174066 HAS SOPS 3341126 HAS SOUS 3182341 HAS SOUPS 2996932 WITH SCORE 3002106.066
AT ITER 2847 NEW BEST:: SOT 8028257 SOS 5173671 HAS SOPS 3340928 HAS SOUS 3182143 HAS SOUPS 2996734 WITH SCORE 3001907.671
AT ITER 2850 NEW BEST:: SOT 8027951 SOS 5173365 HAS SOPS 3340495 HAS SOUS 3181956 HAS SOUPS 2996454 WITH SCORE 3001627.365
AT ITER 2870 NEW BEST:: SOT 8027951 SOS 5173365 HAS SOPS 3340161 HAS SOUS 3181640 HAS SOUPS 2996138 WITH SCORE 3001311.365
AT ITER 2873 NEW BEST:: SOT 8027951 SOS 5173365 HAS SOPS 3339993 HAS SOUS 3181277 HAS SOUPS 2995775 WITH SCORE 3000948.365
AT ITER 2878 NEW BEST:: SOT 8027951 SOS 5173365 HAS SOPS 3340146 HAS SOUS 3181075 HAS SOUPS 2995573 WITH SCORE 3000746.365
AT ITER 2897 NEW BEST:: SOT 7897673 SOS 5045473 HAS SOPS 3209374 HAS SOUS 3050692 HAS SOUPS 2864801 WITH SCORE 2869846.473
AT ITER 2907 NEW BEST:: SOT 7897759 SOS 5045559 HAS SOPS 3209036 HAS SOUS 3050355 HAS SOUPS 2864464 WITH SCORE 2869509.559
AT ITER 2920 NEW BEST:: SOT 7897584 SOS 5045384 HAS SOPS 3208686 HAS SOUS 3050004 HAS SOUPS 2864114 WITH SCORE 2869159.384
AT ITER 2923 NEW BEST:: SOT 7897237 SOS 5045037 HAS SOPS 3207719 HAS SOUS 3049076 HAS SOUPS 2863186 WITH SCORE 2868231.037
AT ITER 2936 NEW BEST:: SOT 7897237 SOS 5045037 HAS SOPS 3207567 HAS SOUS 3048924 HAS SOUPS 2863034 WITH SCORE 2868079.037
AT ITER 2937 NEW BEST:: SOT 7897279 SOS 5045001 HAS SOPS 3207433 HAS SOUS 3048790 HAS SOUPS 2862900 WITH SCORE 2867945.001
AT ITER 2938 NEW BEST:: SOT 7897113 SOS 5044669 HAS SOPS 3207101 HAS SOUS 3048458 HAS SOUPS 2862568 WITH SCORE 2867612.669
AT ITER 2939 NEW BEST:: SOT 7896773 SOS 5044329 HAS SOPS 3205881 HAS SOUS 3048065 HAS SOUPS 2862175 WITH SCORE 2867219.329
AT ITER 2964 NEW BEST:: SOT 7896689 SOS 5044245 HAS SOPS 3204913 HAS SOUS 3047097 HAS SOUPS 2861207 WITH SCORE 2866251.245
AT ITER 2969 NEW BEST:: SOT 7896746 SOS 5053640 HAS SOPS 3204690 HAS SOUS 3047113 HAS SOUPS 2860984 WITH SCORE 2866037.64
AT ITER 2986 NEW BEST:: SOT 7896740 SOS 5053634 HAS SOPS 3204666 HAS SOUS 3047089 HAS SOUPS 2860960 WITH SCORE 2866013.634
AT ITER 2987 NEW BEST:: SOT 7896774 SOS 5053668 HAS SOPS 3203710 HAS SOUS 3046291 HAS SOUPS 2860006 WITH SCORE 2865059.668
AT ITER 2988 NEW BEST:: SOT 7897329 SOS 5062983 HAS SOPS 3203315 HAS SOUS 3046334 HAS SOUPS 2859611 WITH SCORE 2864673.983
AT ITER 2991 NEW BEST:: SOT 7897228 SOS 5062882 HAS SOPS 3202704 HAS SOUS 3045623 HAS SOUPS 2858900 WITH SCORE 2863962.882
AT ITER 2995 NEW BEST:: SOT 7896832 SOS 5062486 HAS SOPS 3201484 HAS SOUS 3044511 HAS SOUPS 2857788 WITH SCORE 2862850.486
AT ITER 2996 NEW BEST:: SOT 7896739 SOS 5062393 HAS SOPS 3201391 HAS SOUS 3044418 HAS SOUPS 2857695 WITH SCORE 2862757.393
AT ITER 2997 NEW BEST:: SOT 7897419 SOS 5091184 HAS SOPS 3201358 HAS SOUS 3045791 HAS SOUPS 2857662 WITH SCORE 2862753.184
AT ITER 3013 NEW BEST:: SOT 7897304 SOS 5091069 HAS SOPS 3201128 HAS SOUS 3045561 HAS SOUPS 2857432 WITH SCORE 2862523.069
AT ITER 3014 NEW BEST:: SOT 7897109 SOS 5090874 HAS SOPS 3200738 HAS SOUS 3045171 HAS SOUPS 2856728 WITH SCORE 2861818.874
AT ITER 3024 NEW BEST:: SOT 7897109 SOS 5090874 HAS SOPS 3200697 HAS SOUS 3045130 HAS SOUPS 2856687 WITH SCORE 2861777.874
AT ITER 3025 NEW BEST:: SOT 7896595 SOS 5090360 HAS SOPS 3198923 HAS SOUS 3043898 HAS SOUPS 2855455 WITH SCORE 2860545.36
AT ITER 3027 NEW BEST:: SOT 7896439 SOS 5090308 HAS SOPS 3198533 HAS SOUS 3043842 HAS SOUPS 2855065 WITH SCORE 2860155.308
AT ITER 3037 NEW BEST:: SOT 7896544 SOS 5095153 HAS SOPS 3198265 HAS SOUS 3043904 HAS SOUPS 2854797 WITH SCORE 2859892.153
AT ITER 3051 NEW BEST:: SOT 7896492 SOS 5095101 HAS SOPS 3198401 HAS SOUS 3043266 HAS SOUPS 2854159 WITH SCORE 2859254.101
AT ITER 3054 NEW BEST:: SOT 7896384 SOS 5094993 HAS SOPS 3198185 HAS SOUS 3043104 HAS SOUPS 2853889 WITH SCORE 2858983.993
AT ITER 3062 NEW BEST:: SOT 7896102 SOS 5094711 HAS SOPS 3197872 HAS SOUS 3042791 HAS SOUPS 2853576 WITH SCORE 2858670.711
AT ITER 3076 NEW BEST:: SOT 7896102 SOS 5094711 HAS SOPS 3197639 HAS SOUS 3042558 HAS SOUPS 2853343 WITH SCORE 2858437.711
AT ITER 3078 NEW BEST:: SOT 7896594 SOS 5095203 HAS SOPS 3197383 HAS SOUS 3042302 HAS SOUPS 2853087 WITH SCORE 2858182.203
AT ITER 3097 NEW BEST:: SOT 7896789 SOS 5099298 HAS SOPS 3196993 HAS SOUS 3042107 HAS SOUPS 2852697 WITH SCORE 2857796.298
AT ITER 3104 NEW BEST:: SOT 7896789 SOS 5099298 HAS SOPS 3196429 HAS SOUS 3041577 HAS SOUPS 2852133 WITH SCORE 2857232.298
AT ITER 3109 NEW BEST:: SOT 7896645 SOS 5099115 HAS SOPS 3196308 HAS SOUS 3041423 HAS SOUPS 2851979 WITH SCORE 2857078.115
AT ITER 3112 NEW BEST:: SOT 7896645 SOS 5099115 HAS SOPS 3196133 HAS SOUS 3041354 HAS SOUPS 2851910 WITH SCORE 2857009.115
AT ITER 3113 NEW BEST:: SOT 7895947 SOS 5098417 HAS SOPS 3196133 HAS SOUS 3041354 HAS SOUPS 2851910 WITH SCORE 2857008.417
AT ITER 3123 NEW BEST:: SOT 7895501 SOS 5097955 HAS SOPS 3195072 HAS SOUS 3040878 HAS SOUPS 2851434 WITH SCORE 2856531.955
AT ITER 3126 NEW BEST:: SOT 7895368 SOS 5095162 HAS SOPS 3195072 HAS SOUS 3040745 HAS SOUPS 2851434 WITH SCORE 2856529.162
AT ITER 3134 NEW BEST:: SOT 7895368 SOS 5095162 HAS SOPS 3193557 HAS SOUS 3039820 HAS SOUPS 2850509 WITH SCORE 2855604.162
AT ITER 3137 NEW BEST:: SOT 7895368 SOS 5095162 HAS SOPS 3193379 HAS SOUS 3039642 HAS SOUPS 2850331 WITH SCORE 2855426.162
AT ITER 3140 NEW BEST:: SOT 7894922 SOS 5094716 HAS SOPS 3193267 HAS SOUS 3039529 HAS SOUPS 2850218 WITH SCORE 2855312.716
AT ITER 3142 NEW BEST:: SOT 7894888 SOS 5094682 HAS SOPS 3193199 HAS SOUS 3039461 HAS SOUPS 2850150 WITH SCORE 2855244.682
AT ITER 3168 NEW BEST:: SOT 7894849 SOS 5094643 HAS SOPS 3194173 HAS SOUS 3038937 HAS SOUPS 2849858 WITH SCORE 2854952.643
AT ITER 3172 NEW BEST:: SOT 7893061 SOS 5078164 HAS SOPS 3193857 HAS SOUS 3037778 HAS SOUPS 2849469 WITH SCORE 2854547.164
AT ITER 3177 NEW BEST:: SOT 7892760 SOS 5077863 HAS SOPS 3193255 HAS SOUS 3037366 HAS SOUPS 2849007 WITH SCORE 2854084.863
AT ITER 3188 NEW BEST:: SOT 7892370 SOS 5077473 HAS SOPS 3192018 HAS SOUS 3036033 HAS SOUPS 2847674 WITH SCORE 2852751.473
AT ITER 3193 NEW BEST:: SOT 7892246 SOS 5077473 HAS SOPS 3191769 HAS SOUS 3035677 HAS SOUPS 2847302 WITH SCORE 2852379.473
AT ITER 3208 NEW BEST:: SOT 7893079 SOS 5075647 HAS SOPS 3192737 HAS SOUS 3031824 HAS SOUPS 2843957 WITH SCORE 2849032.647
AT ITER 3211 NEW BEST:: SOT 7892933 SOS 5075501 HAS SOPS 3192445 HAS SOUS 3031532 HAS SOUPS 2843665 WITH SCORE 2848740.501
AT ITER 3218 NEW BEST:: SOT 7892739 SOS 5075291 HAS SOPS 3191939 HAS SOUS 3031170 HAS SOUPS 2843303 WITH SCORE 2848378.291
AT ITER 3220 NEW BEST:: SOT 7892739 SOS 5075291 HAS SOPS 3191932 HAS SOUS 3031163 HAS SOUPS 2843296 WITH SCORE 2848371.291
AT ITER 3222 NEW BEST:: SOT 7892628 SOS 5075180 HAS SOPS 3191599 HAS SOUS 3031052 HAS SOUPS 2843074 WITH SCORE 2848149.18
AT ITER 3227 NEW BEST:: SOT 7892747 SOS 5075299 HAS SOPS 3191516 HAS SOUS 3030969 HAS SOUPS 2842991 WITH SCORE 2848066.299
AT ITER 3230 NEW BEST:: SOT 7892837 SOS 5075389 HAS SOPS 3191422 HAS SOUS 3030875 HAS SOUPS 2842897 WITH SCORE 2847972.389
AT ITER 3234 NEW BEST:: SOT 7893075 SOS 5075863 HAS SOPS 3191342 HAS SOUS 3031431 HAS SOUPS 2842817 WITH SCORE 2847892.863
AT ITER 3243 NEW BEST:: SOT 7899742 SOS 5052610 HAS SOPS 3158137 HAS SOUS 3025735 HAS SOUPS 2837121 WITH SCORE 2842173.61
AT ITER 3248 NEW BEST:: SOT 7898976 SOS 5051844 HAS SOPS 3156604 HAS SOUS 3023402 HAS SOUPS 2834788 WITH SCORE 2839839.844
AT ITER 3249 NEW BEST:: SOT 7898638 SOS 5051506 HAS SOPS 3154004 HAS SOUS 3021870 HAS SOUPS 2833256 WITH SCORE 2838307.506
AT ITER 3254 NEW BEST:: SOT 7898168 SOS 5051036 HAS SOPS 3152720 HAS SOUS 3020586 HAS SOUPS 2831972 WITH SCORE 2837023.036
AT ITER 3261 NEW BEST:: SOT 7898022 SOS 5036257 HAS SOPS 3135063 HAS SOUS 3017247 HAS SOUPS 2828633 WITH SCORE 2833669.257
AT ITER 3263 NEW BEST:: SOT 7897325 SOS 5035560 HAS SOPS 3134022 HAS SOUS 3016903 HAS SOUPS 2828289 WITH SCORE 2833324.56
AT ITER 3269 NEW BEST:: SOT 7896509 SOS 5034142 HAS SOPS 3130540 HAS SOUS 3013829 HAS SOUPS 2825215 WITH SCORE 2830249.142
AT ITER 3273 NEW BEST:: SOT 7896509 SOS 5034142 HAS SOPS 3129875 HAS SOUS 3012939 HAS SOUPS 2824325 WITH SCORE 2829359.142
AT ITER 3299 NEW BEST:: SOT 7895438 SOS 5033071 HAS SOPS 3127433 HAS SOUS 3011160 HAS SOUPS 2822008 WITH SCORE 2827041.071
AT ITER 3306 NEW BEST:: SOT 7896400 SOS 5066764 HAS SOPS 3126762 HAS SOUS 3012207 HAS SOUPS 2821337 WITH SCORE 2826403.764
AT ITER 3307 NEW BEST:: SOT 7896325 SOS 5066689 HAS SOPS 3127103 HAS SOUS 3012120 HAS SOUPS 2821250 WITH SCORE 2826316.689
AT ITER 3308 NEW BEST:: SOT 7896295 SOS 5066659 HAS SOPS 3127073 HAS SOUS 3012090 HAS SOUPS 2821220 WITH SCORE 2826286.659
AT ITER 3310 NEW BEST:: SOT 7896325 SOS 5072088 HAS SOPS 3126920 HAS SOUS 3012079 HAS SOUPS 2821067 WITH SCORE 2826139.088
AT ITER 3315 NEW BEST:: SOT 7896455 SOS 5072218 HAS SOPS 3126544 HAS SOUS 3011703 HAS SOUPS 2820691 WITH SCORE 2825763.218
AT ITER 3319 NEW BEST:: SOT 7895906 SOS 5071669 HAS SOPS 3125420 HAS SOUS 3010602 HAS SOUPS 2819567 WITH SCORE 2824638.669
AT ITER 3321 NEW BEST:: SOT 7895863 SOS 5071626 HAS SOPS 3125334 HAS SOUS 3010516 HAS SOUPS 2819481 WITH SCORE 2824552.626
AT ITER 3330 NEW BEST:: SOT 7895610 SOS 5071373 HAS SOPS 3125576 HAS SOUS 3010505 HAS SOUPS 2819470 WITH SCORE 2824541.373
AT ITER 3335 NEW BEST:: SOT 7895476 SOS 5071239 HAS SOPS 3125160 HAS SOUS 3010174 HAS SOUPS 2819139 WITH SCORE 2824210.239
AT ITER 3337 NEW BEST:: SOT 7894888 SOS 5070651 HAS SOPS 3124643 HAS SOUS 3009931 HAS SOUPS 2818896 WITH SCORE 2823966.651
AT ITER 3342 NEW BEST:: SOT 7894700 SOS 5070463 HAS SOPS 3124267 HAS SOUS 3009845 HAS SOUPS 2818520 WITH SCORE 2823590.463
AT ITER 3344 NEW BEST:: SOT 7894696 SOS 5070459 HAS SOPS 3124128 HAS SOUS 3009706 HAS SOUPS 2818381 WITH SCORE 2823451.459
AT ITER 3346 NEW BEST:: SOT 7894381 SOS 5070602 HAS SOPS 3123398 HAS SOUS 3008977 HAS SOUPS 2817652 WITH SCORE 2822722.602
AT ITER 3348 NEW BEST:: SOT 7894425 SOS 5070646 HAS SOPS 3123286 HAS SOUS 3008865 HAS SOUPS 2817540 WITH SCORE 2822610.646
AT ITER 3349 NEW BEST:: SOT 7894523 SOS 5071143 HAS SOPS 3123036 HAS SOUS 3008760 HAS SOUPS 2817435 WITH SCORE 2822506.143
AT ITER 3358 NEW BEST:: SOT 7894931 SOS 5114242 HAS SOPS 3122163 HAS SOUS 3009265 HAS SOUPS 2816562 WITH SCORE 2821676.242
AT ITER 3359 NEW BEST:: SOT 7894931 SOS 5114242 HAS SOPS 3121925 HAS SOUS 3009027 HAS SOUPS 2816324 WITH SCORE 2821438.242
AT ITER 3365 NEW BEST:: SOT 7894887 SOS 5114198 HAS SOPS 3121034 HAS SOUS 3007940 HAS SOUPS 2815237 WITH SCORE 2820351.198
AT ITER 3367 NEW BEST:: SOT 7894869 SOS 5114180 HAS SOPS 3120998 HAS SOUS 3007462 HAS SOUPS 2815201 WITH SCORE 2820315.18
AT ITER 3369 NEW BEST:: SOT 7894469 SOS 5113780 HAS SOPS 3120651 HAS SOUS 3007315 HAS SOUPS 2815054 WITH SCORE 2820167.78
AT ITER 3371 NEW BEST:: SOT 7894604 SOS 5113915 HAS SOPS 3120435 HAS SOUS 3007355 HAS SOUPS 2814838 WITH SCORE 2819951.915
AT ITER 3377 NEW BEST:: SOT 7894462 SOS 5113773 HAS SOPS 3119520 HAS SOUS 3006441 HAS SOUPS 2813924 WITH SCORE 2819037.773
AT ITER 3380 NEW BEST:: SOT 7894400 SOS 5113711 HAS SOPS 3119396 HAS SOUS 3006379 HAS SOUPS 2813800 WITH SCORE 2818913.711
AT ITER 3382 NEW BEST:: SOT 7894207 SOS 5113325 HAS SOPS 3119134 HAS SOUS 3006117 HAS SOUPS 2813538 WITH SCORE 2818651.325
AT ITER 3398 NEW BEST:: SOT 7894197 SOS 5113115 HAS SOPS 3119124 HAS SOUS 3006107 HAS SOUPS 2813528 WITH SCORE 2818641.115
AT ITER 3400 NEW BEST:: SOT 7894191 SOS 5113109 HAS SOPS 3117648 HAS SOUS 3005294 HAS SOUPS 2812715 WITH SCORE 2817828.109
AT ITER 3401 NEW BEST:: SOT 7894008 SOS 5112926 HAS SOPS 3116819 HAS SOUS 3004405 HAS SOUPS 2811826 WITH SCORE 2816938.926
AT ITER 3412 NEW BEST:: SOT 7894008 SOS 5112346 HAS SOPS 3116819 HAS SOUS 3004405 HAS SOUPS 2811826 WITH SCORE 2816938.346
AT ITER 3421 NEW BEST:: SOT 7893117 SOS 5111455 HAS SOPS 3114867 HAS SOUS 3001650 HAS SOUPS 2809071 WITH SCORE 2814182.455
AT ITER 3423 NEW BEST:: SOT 7893072 SOS 5111410 HAS SOPS 3114363 HAS SOUS 3001353 HAS SOUPS 2808774 WITH SCORE 2813885.41
AT ITER 3427 NEW BEST:: SOT 7893133 SOS 5112127 HAS SOPS 3113443 HAS SOUS 3000578 HAS SOUPS 2807987 WITH SCORE 2813099.127
AT ITER 3433 NEW BEST:: SOT 7892994 SOS 5111988 HAS SOPS 3113026 HAS SOUS 3000161 HAS SOUPS 2807570 WITH SCORE 2812681.988
AT ITER 3434 NEW BEST:: SOT 7892257 SOS 5111251 HAS SOPS 3112026 HAS SOUS 2998733 HAS SOUPS 2806569 WITH SCORE 2811680.251
AT ITER 3446 NEW BEST:: SOT 7891180 SOS 5110174 HAS SOPS 3109192 HAS SOUS 2996622 HAS SOUPS 2804250 WITH SCORE 2809360.174
AT ITER 3449 NEW BEST:: SOT 7890737 SOS 5109731 HAS SOPS 3108630 HAS SOUS 2996060 HAS SOUPS 2803688 WITH SCORE 2808797.731
AT ITER 3455 NEW BEST:: SOT 7890737 SOS 5109731 HAS SOPS 3108478 HAS SOUS 2995908 HAS SOUPS 2803536 WITH SCORE 2808645.731
AT ITER 3456 NEW BEST:: SOT 7890484 SOS 5109478 HAS SOPS 3107887 HAS SOUS 2995318 HAS SOUPS 2802946 WITH SCORE 2808055.478
AT ITER 3466 NEW BEST:: SOT 7890480 SOS 5109474 HAS SOPS 3107879 HAS SOUS 2995310 HAS SOUPS 2802938 WITH SCORE 2808047.474
AT ITER 3475 NEW BEST:: SOT 7890291 SOS 5109285 HAS SOPS 3107157 HAS SOUS 2994588 HAS SOUPS 2802216 WITH SCORE 2807325.285
AT ITER 3478 NEW BEST:: SOT 7890067 SOS 5107596 HAS SOPS 3107157 HAS SOUS 2994551 HAS SOUPS 2802216 WITH SCORE 2807323.596
AT ITER 3483 NEW BEST:: SOT 7890406 SOS 5107935 HAS SOPS 3107133 HAS SOUS 2995141 HAS SOUPS 2802193 WITH SCORE 2807300.935
AT ITER 3485 NEW BEST:: SOT 7890468 SOS 5107961 HAS SOPS 3107147 HAS SOUS 2994518 HAS SOUPS 2802064 WITH SCORE 2807171.961
AT ITER 3488 NEW BEST:: SOT 7890468 SOS 5107961 HAS SOPS 3107549 HAS SOUS 2994517 HAS SOUPS 2802063 WITH SCORE 2807170.961
AT ITER 3496 NEW BEST:: SOT 7889577 SOS 5107070 HAS SOPS 3105619 HAS SOUS 2991857 HAS SOUPS 2799330 WITH SCORE 2804437.07
AT ITER 3499 NEW BEST:: SOT 7889157 SOS 5106650 HAS SOPS 3104483 HAS SOUS 2989908 HAS SOUPS 2797381 WITH SCORE 2802487.65
AT ITER 3500 NEW BEST:: SOT 7888993 SOS 5106486 HAS SOPS 3104319 HAS SOUS 2989908 HAS SOUPS 2797381 WITH SCORE 2802487.486
AT ITER 3512 NEW BEST:: SOT 7888787 SOS 5106280 HAS SOPS 3103907 HAS SOUS 2989702 HAS SOUPS 2796969 WITH SCORE 2802075.28
AT ITER 3517 NEW BEST:: SOT 7888634 SOS 5106127 HAS SOPS 3102240 HAS SOUS 2988948 HAS SOUPS 2796175 WITH SCORE 2801281.127
AT ITER 3518 NEW BEST:: SOT 7885100 SOS 5102593 HAS SOPS 3098387 HAS SOUS 2984277 HAS SOUPS 2791504 WITH SCORE 2796606.593
AT ITER 3539 NEW BEST:: SOT 7884920 SOS 5102413 HAS SOPS 3098019 HAS SOUS 2984097 HAS SOUPS 2791324 WITH SCORE 2796426.413
AT ITER 3545 NEW BEST:: SOT 7884920 SOS 5107519 HAS SOPS 3088917 HAS SOUS 2983854 HAS SOUPS 2790832 WITH SCORE 2795939.519
AT ITER 3555 NEW BEST:: SOT 7884920 SOS 5107519 HAS SOPS 3088799 HAS SOUS 2983736 HAS SOUPS 2790714 WITH SCORE 2795821.519
AT ITER 3556 NEW BEST:: SOT 7884767 SOS 5107366 HAS SOPS 3088493 HAS SOUS 2983430 HAS SOUPS 2790408 WITH SCORE 2795515.366
AT ITER 3558 NEW BEST:: SOT 7885412 SOS 5105528 HAS SOPS 3089746 HAS SOUS 2981535 HAS SOUPS 2788818 WITH SCORE 2793923.528
AT ITER 3561 NEW BEST:: SOT 7884395 SOS 5102673 HAS SOPS 3088618 HAS SOUS 2980277 HAS SOUPS 2787560 WITH SCORE 2792662.673
AT ITER 3568 NEW BEST:: SOT 7885088 SOS 5103366 HAS SOPS 3088277 HAS SOUS 2979955 HAS SOUPS 2787219 WITH SCORE 2792322.366
AT ITER 3574 NEW BEST:: SOT 7884901 SOS 5103179 HAS SOPS 3088277 HAS SOUS 2979768 HAS SOUPS 2787219 WITH SCORE 2792322.179
AT ITER 3579 NEW BEST:: SOT 7888461 SOS 5078490 HAS SOPS 3053893 HAS SOUS 2973088 HAS SOUPS 2780539 WITH SCORE 2785617.49
AT ITER 3584 NEW BEST:: SOT 7888461 SOS 5078490 HAS SOPS 3053864 HAS SOUS 2973059 HAS SOUPS 2780510 WITH SCORE 2785588.49
AT ITER 3603 NEW BEST:: SOT 7888439 SOS 5078468 HAS SOPS 3053750 HAS SOUS 2973032 HAS SOUPS 2780443 WITH SCORE 2785521.468
AT ITER 3628 NEW BEST:: SOT 7888034 SOS 5077557 HAS SOPS 3051927 HAS SOUS 2971615 HAS SOUPS 2779026 WITH SCORE 2784103.557
AT ITER 3643 NEW BEST:: SOT 7887772 SOS 5077295 HAS SOPS 3052053 HAS SOUS 2971448 HAS SOUPS 2778859 WITH SCORE 2783936.295
AT ITER 3652 NEW BEST:: SOT 7887703 SOS 5077226 HAS SOPS 3051984 HAS SOUS 2971379 HAS SOUPS 2778790 WITH SCORE 2783867.226
AT ITER 3662 NEW BEST:: SOT 7887322 SOS 5076845 HAS SOPS 3051411 HAS SOUS 2970604 HAS SOUPS 2778027 WITH SCORE 2783103.845
AT ITER 3666 NEW BEST:: SOT 7887322 SOS 5076845 HAS SOPS 3051000 HAS SOUS 2970194 HAS SOUPS 2777617 WITH SCORE 2782693.845
AT ITER 3668 NEW BEST:: SOT 7887168 SOS 5076691 HAS SOPS 3050691 HAS SOUS 2970318 HAS SOUPS 2777435 WITH SCORE 2782511.691
AT ITER 3680 NEW BEST:: SOT 7887168 SOS 5076691 HAS SOPS 3050691 HAS SOUS 2970204 HAS SOUPS 2777321 WITH SCORE 2782397.691
AT ITER 3682 NEW BEST:: SOT 7887168 SOS 5076691 HAS SOPS 3050485 HAS SOUS 2969998 HAS SOUPS 2777115 WITH SCORE 2782191.691
AT ITER 3689 NEW BEST:: SOT 7887168 SOS 5076691 HAS SOPS 3049367 HAS SOUS 2969401 HAS SOUPS 2776518 WITH SCORE 2781594.691
AT ITER 3707 NEW BEST:: SOT 7886680 SOS 5076203 HAS SOPS 3048981 HAS SOUS 2969015 HAS SOUPS 2776132 WITH SCORE 2781208.203
AT ITER 3715 NEW BEST:: SOT 7886574 SOS 5073977 HAS SOPS 3048981 HAS SOUS 2968909 HAS SOUPS 2776132 WITH SCORE 2781205.977
AT ITER 3718 NEW BEST:: SOT 7886574 SOS 5073977 HAS SOPS 3048685 HAS SOUS 2968709 HAS SOUPS 2775932 WITH SCORE 2781005.977
AT ITER 3726 NEW BEST:: SOT 7886479 SOS 5073882 HAS SOPS 3048400 HAS SOUS 2968614 HAS SOUPS 2775837 WITH SCORE 2780910.882
AT ITER 3727 NEW BEST:: SOT 7886646 SOS 5074049 HAS SOPS 3048152 HAS SOUS 2968225 HAS SOUPS 2775448 WITH SCORE 2780522.049
AT ITER 3749 NEW BEST:: SOT 7886749 SOS 5074152 HAS SOPS 3048095 HAS SOUS 2968169 HAS SOUPS 2775392 WITH SCORE 2780466.152
AT ITER 3759 NEW BEST:: SOT 7886929 SOS 5074332 HAS SOPS 3048091 HAS SOUS 2968165 HAS SOUPS 2775388 WITH SCORE 2780462.332
AT ITER 3763 NEW BEST:: SOT 7886752 SOS 5074114 HAS SOPS 3048038 HAS SOUS 2967978 HAS SOUPS 2775201 WITH SCORE 2780275.114
AT ITER 3767 NEW BEST:: SOT 7886579 SOS 5073941 HAS SOPS 3047691 HAS SOUS 2967885 HAS SOUPS 2775108 WITH SCORE 2780181.941
AT ITER 3772 NEW BEST:: SOT 7886262 SOS 5073934 HAS SOPS 3047458 HAS SOUS 2967782 HAS SOUPS 2774971 WITH SCORE 2780044.934
AT ITER 3777 NEW BEST:: SOT 7885743 SOS 5073415 HAS SOPS 3046811 HAS SOUS 2966597 HAS SOUPS 2773786 WITH SCORE 2778859.415
AT ITER 3779 NEW BEST:: SOT 7885626 SOS 5073298 HAS SOPS 3046487 HAS SOUS 2966596 HAS SOUPS 2773785 WITH SCORE 2778858.298
AT ITER 3797 NEW BEST:: SOT 7885662 SOS 5073334 HAS SOPS 3046363 HAS SOUS 2966276 HAS SOUPS 2773661 WITH SCORE 2778734.334
AT ITER 3809 NEW BEST:: SOT 7885529 SOS 5073334 HAS SOPS 3046230 HAS SOUS 2966143 HAS SOUPS 2773528 WITH SCORE 2778601.334
AT ITER 3811 NEW BEST:: SOT 7885323 SOS 5073128 HAS SOPS 3045559 HAS SOUS 2965514 HAS SOUPS 2772857 WITH SCORE 2777930.128
AT ITER 3817 NEW BEST:: SOT 7884987 SOS 5072792 HAS SOPS 3044403 HAS SOUS 2964424 HAS SOUPS 2771702 WITH SCORE 2776774.792
AT ITER 3831 NEW BEST:: SOT 7884987 SOS 5072792 HAS SOPS 3043578 HAS SOUS 2964257 HAS SOUPS 2771535 WITH SCORE 2776607.792
AT ITER 3834 NEW BEST:: SOT 7885109 SOS 5073940 HAS SOPS 3043171 HAS SOUS 2964122 HAS SOUPS 2771128 WITH SCORE 2776201.94
AT ITER 3835 NEW BEST:: SOT 7884924 SOS 5073755 HAS SOPS 3042446 HAS SOUS 2963397 HAS SOUPS 2770403 WITH SCORE 2775476.755
AT ITER 3842 NEW BEST:: SOT 7884840 SOS 5073671 HAS SOPS 3042076 HAS SOUS 2962741 HAS SOUPS 2770033 WITH SCORE 2775106.671
AT ITER 3843 NEW BEST:: SOT 7885017 SOS 5074023 HAS SOPS 3041789 HAS SOUS 2962936 HAS SOUPS 2769746 WITH SCORE 2774820.023
AT ITER 3853 NEW BEST:: SOT 7885461 SOS 5074914 HAS SOPS 3041677 HAS SOUS 2963529 HAS SOUPS 2769634 WITH SCORE 2774708.914
AT ITER 3857 NEW BEST:: SOT 7885750 SOS 5075203 HAS SOPS 3041676 HAS SOUS 2963528 HAS SOUPS 2769633 WITH SCORE 2774708.203
AT ITER 3865 NEW BEST:: SOT 7885750 SOS 5075203 HAS SOPS 3041606 HAS SOUS 2963498 HAS SOUPS 2769563 WITH SCORE 2774638.203
AT ITER 3870 NEW BEST:: SOT 7885750 SOS 5075203 HAS SOPS 3041196 HAS SOUS 2963089 HAS SOUPS 2769154 WITH SCORE 2774229.203
AT ITER 3871 NEW BEST:: SOT 7525994 SOS 4725854 HAS SOPS 2681439 HAS SOUS 2689825 HAS SOUPS 2469857 WITH SCORE 2474582.854
AT ITER 3873 NEW BEST:: SOT 7525973 SOS 4725833 HAS SOPS 2681417 HAS SOUS 2689486 HAS SOUPS 2469518 WITH SCORE 2474243.833
AT ITER 3875 NEW BEST:: SOT 7525513 SOS 4725373 HAS SOPS 2680957 HAS SOUS 2689026 HAS SOUPS 2469058 WITH SCORE 2473783.373
AT ITER 3879 NEW BEST:: SOT 7525475 SOS 4725335 HAS SOPS 2680957 HAS SOUS 2689026 HAS SOUPS 2469058 WITH SCORE 2473783.335
AT ITER 3882 NEW BEST:: SOT 7525552 SOS 4725412 HAS SOPS 2681257 HAS SOUS 2688951 HAS SOUPS 2468983 WITH SCORE 2473708.412
AT ITER 3899 NEW BEST:: SOT 7525145 SOS 4725005 HAS SOPS 2680443 HAS SOUS 2688137 HAS SOUPS 2468169 WITH SCORE 2472894.005
AT ITER 3903 NEW BEST:: SOT 7525096 SOS 4725238 HAS SOPS 2680441 HAS SOUS 2688438 HAS SOUPS 2468167 WITH SCORE 2472892.238
AT ITER 3912 NEW BEST:: SOT 7525467 SOS 4725895 HAS SOPS 2680078 HAS SOUS 2688075 HAS SOUPS 2467804 WITH SCORE 2472529.895
AT ITER 3932 NEW BEST:: SOT 7525467 SOS 4725895 HAS SOPS 2680007 HAS SOUS 2688004 HAS SOUPS 2467733 WITH SCORE 2472458.895
AT ITER 3935 NEW BEST:: SOT 7525005 SOS 4725213 HAS SOPS 2678598 HAS SOUS 2686700 HAS SOUPS 2466429 WITH SCORE 2471154.213
AT ITER 3945 NEW BEST:: SOT 7524517 SOS 4724725 HAS SOPS 2677831 HAS SOUS 2685933 HAS SOUPS 2465662 WITH SCORE 2470386.725
AT ITER 3950 NEW BEST:: SOT 7524531 SOS 4724794 HAS SOPS 2677788 HAS SOUS 2685891 HAS SOUPS 2465620 WITH SCORE 2470344.794
AT ITER 3953 NEW BEST:: SOT 7524004 SOS 4724267 HAS SOPS 2677590 HAS SOUS 2685693 HAS SOUPS 2465422 WITH SCORE 2470146.267
AT ITER 3956 NEW BEST:: SOT 7514212 SOS 4714617 HAS SOPS 2672048 HAS SOUS 2678490 HAS SOUPS 2459880 WITH SCORE 2464594.617
AT ITER 3957 NEW BEST:: SOT 7514212 SOS 4714838 HAS SOPS 2671606 HAS SOUS 2678048 HAS SOUPS 2459438 WITH SCORE 2464152.838
AT ITER 3963 NEW BEST:: SOT 7513978 SOS 4714604 HAS SOPS 2669453 HAS SOUS 2675909 HAS SOUPS 2457285 WITH SCORE 2461999.604
AT ITER 3966 NEW BEST:: SOT 7513249 SOS 4715116 HAS SOPS 2668317 HAS SOUS 2675904 HAS SOUPS 2457079 WITH SCORE 2461794.116
AT ITER 3968 NEW BEST:: SOT 7512106 SOS 4714026 HAS SOPS 2668359 HAS SOUS 2675514 HAS SOUPS 2456700 WITH SCORE 2461414.026
AT ITER 3978 NEW BEST:: SOT 7511190 SOS 4713110 HAS SOPS 2667443 HAS SOUS 2674598 HAS SOUPS 2455784 WITH SCORE 2460497.11
AT ITER 3994 NEW BEST:: SOT 7510992 SOS 4713132 HAS SOPS 2666429 HAS SOUS 2673601 HAS SOUPS 2454787 WITH SCORE 2459500.132
AT ITER 3995 NEW BEST:: SOT 7510987 SOS 4713127 HAS SOPS 2666409 HAS SOUS 2673586 HAS SOUPS 2454772 WITH SCORE 2459485.127
AT ITER 4002 NEW BEST:: SOT 7510958 SOS 4713348 HAS SOPS 2666160 HAS SOUS 2673337 HAS SOUPS 2454523 WITH SCORE 2459236.348
AT ITER 4009 NEW BEST:: SOT 7510958 SOS 4712612 HAS SOPS 2665792 HAS SOUS 2673153 HAS SOUPS 2454523 WITH SCORE 2459235.612
AT ITER 4011 NEW BEST:: SOT 7509854 SOS 4711508 HAS SOPS 2665568 HAS SOUS 2672929 HAS SOUPS 2454299 WITH SCORE 2459010.508
AT ITER 4018 NEW BEST:: SOT 7509414 SOS 4711068 HAS SOPS 2665432 HAS SOUS 2672624 HAS SOUPS 2454163 WITH SCORE 2458874.068
AT ITER 4020 NEW BEST:: SOT 7508774 SOS 4710428 HAS SOPS 2663888 HAS SOUS 2671522 HAS SOUPS 2452619 WITH SCORE 2457329.428
AT ITER 4027 NEW BEST:: SOT 7508602 SOS 4710256 HAS SOPS 2663428 HAS SOUS 2671315 HAS SOUPS 2452412 WITH SCORE 2457122.256
AT ITER 4034 NEW BEST:: SOT 7508366 SOS 4710020 HAS SOPS 2663191 HAS SOUS 2670948 HAS SOUPS 2452045 WITH SCORE 2456755.02
AT ITER 4056 NEW BEST:: SOT 7508036 SOS 4709690 HAS SOPS 2663191 HAS SOUS 2670948 HAS SOUPS 2452045 WITH SCORE 2456754.69
AT ITER 4062 NEW BEST:: SOT 7507882 SOS 4709536 HAS SOPS 2661462 HAS SOUS 2669640 HAS SOUPS 2450316 WITH SCORE 2455025.536
AT ITER 4064 NEW BEST:: SOT 7507803 SOS 4709378 HAS SOPS 2661383 HAS SOUS 2669561 HAS SOUPS 2450237 WITH SCORE 2454946.378
AT ITER 4065 NEW BEST:: SOT 7508986 SOS 4710933 HAS SOPS 2661083 HAS SOUS 2669261 HAS SOUPS 2449937 WITH SCORE 2454647.933
AT ITER 4066 NEW BEST:: SOT 7508486 SOS 4710433 HAS SOPS 2661013 HAS SOUS 2669191 HAS SOUPS 2449867 WITH SCORE 2454577.433
AT ITER 4069 NEW BEST:: SOT 7508486 SOS 4710433 HAS SOPS 2660673 HAS SOUS 2668851 HAS SOUPS 2449527 WITH SCORE 2454237.433
AT ITER 4074 NEW BEST:: SOT 7508452 SOS 4710399 HAS SOPS 2660605 HAS SOUS 2668817 HAS SOUPS 2449459 WITH SCORE 2454169.399
AT ITER 4075 NEW BEST:: SOT 7507935 SOS 4689998 HAS SOPS 2660605 HAS SOUS 2668300 HAS SOUPS 2449459 WITH SCORE 2454148.998
AT ITER 4084 NEW BEST:: SOT 7506625 SOS 4688685 HAS SOPS 2658085 HAS SOUS 2665780 HAS SOUPS 2446939 WITH SCORE 2451627.685
AT ITER 4107 NEW BEST:: SOT 7506867 SOS 4689119 HAS SOPS 2657788 HAS SOUS 2665919 HAS SOUPS 2446643 WITH SCORE 2451332.119
AT ITER 4119 NEW BEST:: SOT 7506785 SOS 4689037 HAS SOPS 2657611 HAS SOUS 2665869 HAS SOUPS 2446593 WITH SCORE 2451282.037
AT ITER 4130 NEW BEST:: SOT 7507215 SOS 4689467 HAS SOPS 2657266 HAS SOUS 2665568 HAS SOUPS 2446249 WITH SCORE 2450938.467
AT ITER 4134 NEW BEST:: SOT 7508021 SOS 4690273 HAS SOPS 2656813 HAS SOUS 2665194 HAS SOUPS 2445796 WITH SCORE 2450486.273
AT ITER 4136 NEW BEST:: SOT 7507965 SOS 4690217 HAS SOPS 2656809 HAS SOUS 2665174 HAS SOUPS 2445792 WITH SCORE 2450482.217
AT ITER 4140 NEW BEST:: SOT 7508229 SOS 4700791 HAS SOPS 2656795 HAS SOUS 2665438 HAS SOUPS 2445778 WITH SCORE 2450478.791
AT ITER 4167 NEW BEST:: SOT 7508121 SOS 4700544 HAS SOPS 2655570 HAS SOUS 2664343 HAS SOUPS 2444683 WITH SCORE 2449383.544
AT ITER 4171 NEW BEST:: SOT 7507558 SOS 4699418 HAS SOPS 2654710 HAS SOUS 2663483 HAS SOUPS 2443823 WITH SCORE 2448522.418
AT ITER 4178 NEW BEST:: SOT 7507537 SOS 4699397 HAS SOPS 2654702 HAS SOUS 2663475 HAS SOUPS 2443815 WITH SCORE 2448514.397
AT ITER 4182 NEW BEST:: SOT 7507537 SOS 4699678 HAS SOPS 2654370 HAS SOUS 2663143 HAS SOUPS 2443483 WITH SCORE 2448182.678
AT ITER 4193 NEW BEST:: SOT 7507450 SOS 4699591 HAS SOPS 2654196 HAS SOUS 2662969 HAS SOUPS 2443309 WITH SCORE 2448008.591
AT ITER 4202 NEW BEST:: SOT 7507426 SOS 4699683 HAS SOPS 2654015 HAS SOUS 2662788 HAS SOUPS 2443128 WITH SCORE 2447827.683
AT ITER 4210 NEW BEST:: SOT 7507426 SOS 4699683 HAS SOPS 2654015 HAS SOUS 2662768 HAS SOUPS 2443108 WITH SCORE 2447807.683
AT ITER 4217 NEW BEST:: SOT 7507278 SOS 4699535 HAS SOPS 2653866 HAS SOUS 2662472 HAS SOUPS 2442812 WITH SCORE 2447511.535
AT ITER 4218 NEW BEST:: SOT 7507418 SOS 4699675 HAS SOPS 2653528 HAS SOUS 2662134 HAS SOUPS 2442474 WITH SCORE 2447173.675
AT ITER 4219 NEW BEST:: SOT 7507400 SOS 4699657 HAS SOPS 2653254 HAS SOUS 2662116 HAS SOUPS 2442456 WITH SCORE 2447155.657
AT ITER 4221 NEW BEST:: SOT 7506618 SOS 4698875 HAS SOPS 2650690 HAS SOUS 2660363 HAS SOUPS 2439892 WITH SCORE 2444590.875
AT ITER 4224 NEW BEST:: SOT 7506458 SOS 4698715 HAS SOPS 2650530 HAS SOUS 2660203 HAS SOUPS 2439732 WITH SCORE 2444430.715
AT ITER 4234 NEW BEST:: SOT 7506644 SOS 4699117 HAS SOPS 2649956 HAS SOUS 2659629 HAS SOUPS 2439158 WITH SCORE 2443857.117
AT ITER 4241 NEW BEST:: SOT 7506050 SOS 4698523 HAS SOPS 2649362 HAS SOUS 2659035 HAS SOUPS 2438564 WITH SCORE 2443262.523
AT ITER 4252 NEW BEST:: SOT 7506028 SOS 4698501 HAS SOPS 2649340 HAS SOUS 2659013 HAS SOUPS 2438542 WITH SCORE 2443240.501
AT ITER 4257 NEW BEST:: SOT 7504910 SOS 4697383 HAS SOPS 2648554 HAS SOUS 2658812 HAS SOUPS 2438341 WITH SCORE 2443038.383
AT ITER 4265 NEW BEST:: SOT 7506675 SOS 4694532 HAS SOPS 2651144 HAS SOUS 2656979 HAS SOUPS 2437155 WITH SCORE 2441849.532
AT ITER 4266 NEW BEST:: SOT 7506675 SOS 4694532 HAS SOPS 2651027 HAS SOUS 2656862 HAS SOUPS 2437038 WITH SCORE 2441732.532
AT ITER 4270 NEW BEST:: SOT 7506994 SOS 4695252 HAS SOPS 2650734 HAS SOUS 2656569 HAS SOUPS 2436745 WITH SCORE 2441440.252
AT ITER 4274 NEW BEST:: SOT 7506870 SOS 4694858 HAS SOPS 2650238 HAS SOUS 2656321 HAS SOUPS 2436497 WITH SCORE 2441191.858
AT ITER 4282 NEW BEST:: SOT 7506984 SOS 4694972 HAS SOPS 2649976 HAS SOUS 2656090 HAS SOUPS 2436235 WITH SCORE 2440929.972
AT ITER 4284 NEW BEST:: SOT 7506984 SOS 4694946 HAS SOPS 2649976 HAS SOUS 2656090 HAS SOUPS 2436235 WITH SCORE 2440929.946
AT ITER 4291 NEW BEST:: SOT 7506911 SOS 4694873 HAS SOPS 2649206 HAS SOUS 2655320 HAS SOUPS 2435465 WITH SCORE 2440159.873
AT ITER 4294 NEW BEST:: SOT 7506650 SOS 4694612 HAS SOPS 2648848 HAS SOUS 2654962 HAS SOUPS 2435107 WITH SCORE 2439801.612
AT ITER 4304 NEW BEST:: SOT 7506717 SOS 4694679 HAS SOPS 2647666 HAS SOUS 2654051 HAS SOUPS 2433965 WITH SCORE 2438659.679
AT ITER 4316 NEW BEST:: SOT 7506305 SOS 4694267 HAS SOPS 2646841 HAS SOUS 2653441 HAS SOUPS 2433140 WITH SCORE 2437834.267
AT ITER 4317 NEW BEST:: SOT 7506292 SOS 4694722 HAS SOPS 2646815 HAS SOUS 2653441 HAS SOUPS 2433114 WITH SCORE 2437808.722
AT ITER 4322 NEW BEST:: SOT 7505954 SOS 4694384 HAS SOPS 2646963 HAS SOUS 2653267 HAS SOUPS 2432940 WITH SCORE 2437634.384
AT ITER 4324 NEW BEST:: SOT 7505954 SOS 4695158 HAS SOPS 2646791 HAS SOUS 2653224 HAS SOUPS 2432854 WITH SCORE 2437549.158
AT ITER 4328 NEW BEST:: SOT 7505872 SOS 4695076 HAS SOPS 2646244 HAS SOUS 2652677 HAS SOUPS 2432307 WITH SCORE 2437002.076
AT ITER 4339 NEW BEST:: SOT 7505671 SOS 4694875 HAS SOPS 2645842 HAS SOUS 2652275 HAS SOUPS 2431905 WITH SCORE 2436599.875
AT ITER 4341 NEW BEST:: SOT 7505133 SOS 4694337 HAS SOPS 2645304 HAS SOUS 2651737 HAS SOUPS 2431367 WITH SCORE 2436061.337
AT ITER 4342 NEW BEST:: SOT 7505107 SOS 4694311 HAS SOPS 2644385 HAS SOUS 2650981 HAS SOUPS 2430611 WITH SCORE 2435305.311
AT ITER 4344 NEW BEST:: SOT 7504977 SOS 4694181 HAS SOPS 2644125 HAS SOUS 2650851 HAS SOUPS 2430351 WITH SCORE 2435045.181
AT ITER 4372 NEW BEST:: SOT 7504977 SOS 4694181 HAS SOPS 2644005 HAS SOUS 2650731 HAS SOUPS 2430231 WITH SCORE 2434925.181
AT ITER 4373 NEW BEST:: SOT 7504977 SOS 4694221 HAS SOPS 2643891 HAS SOUS 2650764 HAS SOUPS 2430117 WITH SCORE 2434811.221
AT ITER 4392 NEW BEST:: SOT 7504973 SOS 4694217 HAS SOPS 2643772 HAS SOUS 2650649 HAS SOUPS 2429998 WITH SCORE 2434692.217
AT ITER 4395 NEW BEST:: SOT 7505029 SOS 4692947 HAS SOPS 2644215 HAS SOUS 2649805 HAS SOUPS 2429283 WITH SCORE 2433975.947
AT ITER 4396 NEW BEST:: SOT 7504498 SOS 4692416 HAS SOPS 2643507 HAS SOUS 2649097 HAS SOUPS 2428575 WITH SCORE 2433267.416
AT ITER 4406 NEW BEST:: SOT 7504487 SOS 4692365 HAS SOPS 2643496 HAS SOUS 2649086 HAS SOUPS 2428564 WITH SCORE 2433256.365
AT ITER 4411 NEW BEST:: SOT 7503864 SOS 4691742 HAS SOPS 2642689 HAS SOUS 2648582 HAS SOUPS 2427757 WITH SCORE 2432448.742
AT ITER 4412 NEW BEST:: SOT 7503270 SOS 4691100 HAS SOPS 2642132 HAS SOUS 2647417 HAS SOUPS 2426592 WITH SCORE 2431283.1
AT ITER 4415 NEW BEST:: SOT 7503270 SOS 4691100 HAS SOPS 2640717 HAS SOUS 2646015 HAS SOUPS 2425190 WITH SCORE 2429881.1
AT ITER 4424 NEW BEST:: SOT 7503270 SOS 4691100 HAS SOPS 2640717 HAS SOUS 2646010 HAS SOUPS 2425185 WITH SCORE 2429876.1
AT ITER 4425 NEW BEST:: SOT 7503019 SOS 4690849 HAS SOPS 2640156 HAS SOUS 2645449 HAS SOUPS 2424624 WITH SCORE 2429314.849
AT ITER 4427 NEW BEST:: SOT 7502707 SOS 4690656 HAS SOPS 2639531 HAS SOUS 2644759 HAS SOUPS 2423934 WITH SCORE 2428624.656
AT ITER 4437 NEW BEST:: SOT 7502793 SOS 4690742 HAS SOPS 2638773 HAS SOUS 2644001 HAS SOUPS 2423176 WITH SCORE 2427866.742
AT ITER 4444 NEW BEST:: SOT 7502793 SOS 4690742 HAS SOPS 2638260 HAS SOUS 2643488 HAS SOUPS 2422663 WITH SCORE 2427353.742
AT ITER 4445 NEW BEST:: SOT 7502764 SOS 4690713 HAS SOPS 2638231 HAS SOUS 2643459 HAS SOUPS 2422634 WITH SCORE 2427324.713
AT ITER 4446 NEW BEST:: SOT 7502674 SOS 4690623 HAS SOPS 2638141 HAS SOUS 2643369 HAS SOUPS 2422544 WITH SCORE 2427234.623
AT ITER 4459 NEW BEST:: SOT 7502387 SOS 4690590 HAS SOPS 2638083 HAS SOUS 2643166 HAS SOUPS 2422341 WITH SCORE 2427031.59
AT ITER 4462 NEW BEST:: SOT 7502063 SOS 4690266 HAS SOPS 2637893 HAS SOUS 2642976 HAS SOUPS 2422151 WITH SCORE 2426841.266
AT ITER 4465 NEW BEST:: SOT 7502105 SOS 4694328 HAS SOPS 2637575 HAS SOUS 2642905 HAS SOUPS 2421833 WITH SCORE 2426527.328
AT ITER 4472 NEW BEST:: SOT 7502098 SOS 4694244 HAS SOPS 2637568 HAS SOUS 2642835 HAS SOUPS 2421770 WITH SCORE 2426464.244
AT ITER 4483 NEW BEST:: SOT 7501169 SOS 4693315 HAS SOPS 2636012 HAS SOUS 2641296 HAS SOUPS 2420214 WITH SCORE 2424907.315
AT ITER 4488 NEW BEST:: SOT 7501115 SOS 4693261 HAS SOPS 2635904 HAS SOUS 2641091 HAS SOUPS 2420106 WITH SCORE 2424799.261
AT ITER 4489 NEW BEST:: SOT 7501115 SOS 4693261 HAS SOPS 2635659 HAS SOUS 2640846 HAS SOUPS 2419861 WITH SCORE 2424554.261
AT ITER 4495 NEW BEST:: SOT 7501093 SOS 4693239 HAS SOPS 2635637 HAS SOUS 2640824 HAS SOUPS 2419839 WITH SCORE 2424532.239
AT ITER 4497 NEW BEST:: SOT 7501068 SOS 4693214 HAS SOPS 2634995 HAS SOUS 2640382 HAS SOUPS 2419397 WITH SCORE 2424090.214
AT ITER 4517 NEW BEST:: SOT 7501068 SOS 4693214 HAS SOPS 2634898 HAS SOUS 2640285 HAS SOUPS 2419300 WITH SCORE 2423993.214
AT ITER 4521 NEW BEST:: SOT 7501193 SOS 4693339 HAS SOPS 2634076 HAS SOUS 2639658 HAS SOUPS 2418478 WITH SCORE 2423171.339
AT ITER 4524 NEW BEST:: SOT 7501280 SOS 4693426 HAS SOPS 2633535 HAS SOUS 2639117 HAS SOUPS 2417937 WITH SCORE 2422630.426
AT ITER 4525 NEW BEST:: SOT 7501077 SOS 4693223 HAS SOPS 2632647 HAS SOUS 2638229 HAS SOUPS 2417049 WITH SCORE 2421742.223
AT ITER 4526 NEW BEST:: SOT 7500005 SOS 4692151 HAS SOPS 2631389 HAS SOUS 2636971 HAS SOUPS 2415791 WITH SCORE 2420483.151
AT ITER 4534 NEW BEST:: SOT 7500005 SOS 4692151 HAS SOPS 2631388 HAS SOUS 2636970 HAS SOUPS 2415790 WITH SCORE 2420482.151
AT ITER 4540 NEW BEST:: SOT 7499822 SOS 4691968 HAS SOPS 2631169 HAS SOUS 2636742 HAS SOUPS 2415562 WITH SCORE 2420253.968
AT ITER 4556 NEW BEST:: SOT 7499925 SOS 4692071 HAS SOPS 2631116 HAS SOUS 2636865 HAS SOUPS 2415509 WITH SCORE 2420201.071
AT ITER 4561 NEW BEST:: SOT 7499573 SOS 4691719 HAS SOPS 2629708 HAS SOUS 2635730 HAS SOUPS 2414101 WITH SCORE 2418792.719
AT ITER 4573 NEW BEST:: SOT 7498897 SOS 4691043 HAS SOPS 2627475 HAS SOUS 2633987 HAS SOUPS 2411868 WITH SCORE 2416559.043
AT ITER 4576 NEW BEST:: SOT 7499021 SOS 4691167 HAS SOPS 2627475 HAS SOUS 2633948 HAS SOUPS 2411829 WITH SCORE 2416520.167
AT ITER 4577 NEW BEST:: SOT 7498947 SOS 4691063 HAS SOPS 2627371 HAS SOUS 2633844 HAS SOUPS 2411725 WITH SCORE 2416416.063
AT ITER 4596 NEW BEST:: SOT 7498947 SOS 4691063 HAS SOPS 2627244 HAS SOUS 2633716 HAS SOUPS 2411597 WITH SCORE 2416288.063
AT ITER 4607 NEW BEST:: SOT 7498565 SOS 4691002 HAS SOPS 2626547 HAS SOUS 2633195 HAS SOUPS 2411076 WITH SCORE 2415767.002
AT ITER 4617 NEW BEST:: SOT 7497069 SOS 4688971 HAS SOPS 2625396 HAS SOUS 2632009 HAS SOUPS 2409890 WITH SCORE 2414578.971
AT ITER 4619 NEW BEST:: SOT 7497383 SOS 4689712 HAS SOPS 2625394 HAS SOUS 2632007 HAS SOUPS 2409888 WITH SCORE 2414577.712
AT ITER 4623 NEW BEST:: SOT 7497383 SOS 4689712 HAS SOPS 2625376 HAS SOUS 2632003 HAS SOUPS 2409884 WITH SCORE 2414573.712
AT ITER 4634 NEW BEST:: SOT 7497383 SOS 4689712 HAS SOPS 2625352 HAS SOUS 2631979 HAS SOUPS 2409860 WITH SCORE 2414549.712
AT ITER 4644 NEW BEST:: SOT 7497199 SOS 4689528 HAS SOPS 2624686 HAS SOUS 2631472 HAS SOUPS 2409353 WITH SCORE 2414042.528
AT ITER 4649 NEW BEST:: SOT 7497199 SOS 4689528 HAS SOPS 2624645 HAS SOUS 2631431 HAS SOUPS 2409312 WITH SCORE 2414001.528
AT ITER 4651 NEW BEST:: SOT 7497668 SOS 4689997 HAS SOPS 2624556 HAS SOUS 2631342 HAS SOUPS 2409223 WITH SCORE 2413912.997
AT ITER 4654 NEW BEST:: SOT 7497668 SOS 4689997 HAS SOPS 2624254 HAS SOUS 2631040 HAS SOUPS 2408921 WITH SCORE 2413610.997
AT ITER 4663 NEW BEST:: SOT 7497285 SOS 4689614 HAS SOPS 2624658 HAS SOUS 2631032 HAS SOUPS 2408913 WITH SCORE 2413602.614
AT ITER 4666 NEW BEST:: SOT 7497344 SOS 4690746 HAS SOPS 2624601 HAS SOUS 2631110 HAS SOUPS 2408856 WITH SCORE 2413546.746
AT ITER 4675 NEW BEST:: SOT 7497193 SOS 4690595 HAS SOPS 2624299 HAS SOUS 2630808 HAS SOUPS 2408554 WITH SCORE 2413244.595
AT ITER 4677 NEW BEST:: SOT 7497089 SOS 4690491 HAS SOPS 2623883 HAS SOUS 2630392 HAS SOUPS 2408138 WITH SCORE 2412828.491
AT ITER 4678 NEW BEST:: SOT 7496881 SOS 4690283 HAS SOPS 2623779 HAS SOUS 2630288 HAS SOUPS 2408034 WITH SCORE 2412724.283
AT ITER 4679 NEW BEST:: SOT 7496897 SOS 4690315 HAS SOPS 2623626 HAS SOUS 2630135 HAS SOUPS 2407881 WITH SCORE 2412571.315
AT ITER 4686 NEW BEST:: SOT 7496855 SOS 4690273 HAS SOPS 2623340 HAS SOUS 2629849 HAS SOUPS 2407595 WITH SCORE 2412285.273
AT ITER 4697 NEW BEST:: SOT 7497079 SOS 4694977 HAS SOPS 2623116 HAS SOUS 2630072 HAS SOUPS 2407371 WITH SCORE 2412065.977
AT ITER 4703 NEW BEST:: SOT 7496927 SOS 4694825 HAS SOPS 2623116 HAS SOUS 2629920 HAS SOUPS 2407371 WITH SCORE 2412065.825
AT ITER 4708 NEW BEST:: SOT 7496586 SOS 4694484 HAS SOPS 2622970 HAS SOUS 2629579 HAS SOUPS 2407225 WITH SCORE 2411919.484
AT ITER 4714 NEW BEST:: SOT 7496638 SOS 4694555 HAS SOPS 2622926 HAS SOUS 2630140 HAS SOUPS 2407181 WITH SCORE 2411875.555
AT ITER 4720 NEW BEST:: SOT 7495518 SOS 4693435 HAS SOPS 2622766 HAS SOUS 2629856 HAS SOUPS 2406897 WITH SCORE 2411590.435
AT ITER 4737 NEW BEST:: SOT 7495470 SOS 4692009 HAS SOPS 2620757 HAS SOUS 2627402 HAS SOUPS 2404443 WITH SCORE 2409135.009
AT ITER 4745 NEW BEST:: SOT 7495050 SOS 4691589 HAS SOPS 2619880 HAS SOUS 2626525 HAS SOUPS 2403566 WITH SCORE 2408257.589
AT ITER 4752 NEW BEST:: SOT 7495008 SOS 4691547 HAS SOPS 2619594 HAS SOUS 2626239 HAS SOUPS 2403280 WITH SCORE 2407971.547
AT ITER 4761 NEW BEST:: SOT 7494665 SOS 4691204 HAS SOPS 2619251 HAS SOUS 2625896 HAS SOUPS 2402937 WITH SCORE 2407628.204
AT ITER 4762 NEW BEST:: SOT 7494665 SOS 4691204 HAS SOPS 2619078 HAS SOUS 2625863 HAS SOUPS 2402904 WITH SCORE 2407595.204
AT ITER 4768 NEW BEST:: SOT 7494817 SOS 4691756 HAS SOPS 2619031 HAS SOUS 2625821 HAS SOUPS 2402857 WITH SCORE 2407548.756
AT ITER 4770 NEW BEST:: SOT 7494788 SOS 4691727 HAS SOPS 2618870 HAS SOUS 2625632 HAS SOUPS 2402668 WITH SCORE 2407359.727
AT ITER 4776 NEW BEST:: SOT 7494788 SOS 4691438 HAS SOPS 2618870 HAS SOUS 2625632 HAS SOUPS 2402668 WITH SCORE 2407359.438
AT ITER 4784 NEW BEST:: SOT 7494553 SOS 4691192 HAS SOPS 2618138 HAS SOUS 2624900 HAS SOUPS 2401936 WITH SCORE 2406627.192
AT ITER 4785 NEW BEST:: SOT 7494553 SOS 4691401 HAS SOPS 2617720 HAS SOUS 2624482 HAS SOUPS 2401518 WITH SCORE 2406209.401
AT ITER 4789 NEW BEST:: SOT 7494180 SOS 4691028 HAS SOPS 2616846 HAS SOUS 2623689 HAS SOUPS 2400644 WITH SCORE 2405335.028
AT ITER 4793 NEW BEST:: SOT 7494021 SOS 4690842 HAS SOPS 2616687 HAS SOUS 2623530 HAS SOUPS 2400485 WITH SCORE 2405175.842
AT ITER 4801 NEW BEST:: SOT 7494021 SOS 4680830 HAS SOPS 2598335 HAS SOUS 2622998 HAS SOUPS 2399493 WITH SCORE 2404173.83
AT ITER 4803 NEW BEST:: SOT 7493678 SOS 4680487 HAS SOPS 2598021 HAS SOUS 2622684 HAS SOUPS 2399179 WITH SCORE 2403859.487
AT ITER 4805 NEW BEST:: SOT 7493755 SOS 4680564 HAS SOPS 2597916 HAS SOUS 2622579 HAS SOUPS 2399074 WITH SCORE 2403754.564
AT ITER 4811 NEW BEST:: SOT 7493591 SOS 4680400 HAS SOPS 2597782 HAS SOUS 2622445 HAS SOUPS 2398940 WITH SCORE 2403620.4
AT ITER 4812 NEW BEST:: SOT 7493591 SOS 4680498 HAS SOPS 2597733 HAS SOUS 2622396 HAS SOUPS 2398891 WITH SCORE 2403571.498
AT ITER 4840 NEW BEST:: SOT 7493360 SOS 4671720 HAS SOPS 2589186 HAS SOUS 2621934 HAS SOUPS 2398429 WITH SCORE 2403100.72
AT ITER 4841 NEW BEST:: SOT 7493589 SOS 4672019 HAS SOPS 2588625 HAS SOUS 2621373 HAS SOUPS 2397868 WITH SCORE 2402540.019
AT ITER 4844 NEW BEST:: SOT 7493856 SOS 4672286 HAS SOPS 2587962 HAS SOUS 2620711 HAS SOUPS 2397206 WITH SCORE 2401878.286
AT ITER 4849 NEW BEST:: SOT 7494033 SOS 4672463 HAS SOPS 2587442 HAS SOUS 2620051 HAS SOUPS 2396546 WITH SCORE 2401218.463
AT ITER 4855 NEW BEST:: SOT 7494033 SOS 4672463 HAS SOPS 2587019 HAS SOUS 2619659 HAS SOUPS 2396154 WITH SCORE 2400826.463
AT ITER 4856 NEW BEST:: SOT 7493746 SOS 4672176 HAS SOPS 2586445 HAS SOUS 2619085 HAS SOUPS 2395580 WITH SCORE 2400252.176
AT ITER 4865 NEW BEST:: SOT 7493649 SOS 4672079 HAS SOPS 2586445 HAS SOUS 2619085 HAS SOUPS 2395580 WITH SCORE 2400252.079
AT ITER 4881 NEW BEST:: SOT 7493151 SOS 4671581 HAS SOPS 2586445 HAS SOUS 2619085 HAS SOUPS 2395580 WITH SCORE 2400251.581
AT ITER 4885 NEW BEST:: SOT 7493086 SOS 4671516 HAS SOPS 2586058 HAS SOUS 2618698 HAS SOUPS 2395193 WITH SCORE 2399864.516
AT ITER 4899 NEW BEST:: SOT 7493086 SOS 4671516 HAS SOPS 2585972 HAS SOUS 2618612 HAS SOUPS 2395107 WITH SCORE 2399778.516
AT ITER 4904 NEW BEST:: SOT 7492926 SOS 4671356 HAS SOPS 2585572 HAS SOUS 2618212 HAS SOUPS 2394707 WITH SCORE 2399378.356
AT ITER 4908 NEW BEST:: SOT 7492472 SOS 4670902 HAS SOPS 2585118 HAS SOUS 2617758 HAS SOUPS 2394253 WITH SCORE 2398923.902
AT ITER 4915 NEW BEST:: SOT 7491963 SOS 4670393 HAS SOPS 2584100 HAS SOUS 2617057 HAS SOUPS 2393235 WITH SCORE 2397905.393
AT ITER 4923 NEW BEST:: SOT 7492216 SOS 4670646 HAS SOPS 2584022 HAS SOUS 2616979 HAS SOUPS 2393157 WITH SCORE 2397827.646
AT ITER 4924 NEW BEST:: SOT 7493615 SOS 4669807 HAS SOPS 2585694 HAS SOUS 2616297 HAS SOUPS 2392825 WITH SCORE 2397494.807
AT ITER 4926 NEW BEST:: SOT 7493234 SOS 4669426 HAS SOPS 2585672 HAS SOUS 2615864 HAS SOUPS 2392803 WITH SCORE 2397472.426
AT ITER 4932 NEW BEST:: SOT 7492670 SOS 4668862 HAS SOPS 2585008 HAS SOUS 2615098 HAS SOUPS 2392139 WITH SCORE 2396807.862
AT ITER 4939 NEW BEST:: SOT 7492925 SOS 4669117 HAS SOPS 2584835 HAS SOUS 2614925 HAS SOUPS 2391966 WITH SCORE 2396635.117
AT ITER 4942 NEW BEST:: SOT 7492925 SOS 4669117 HAS SOPS 2584701 HAS SOUS 2614791 HAS SOUPS 2391832 WITH SCORE 2396501.117
AT ITER 4951 NEW BEST:: SOT 7493251 SOS 4670363 HAS SOPS 2584283 HAS SOUS 2614745 HAS SOUPS 2391414 WITH SCORE 2396084.363
AT ITER 4958 NEW BEST:: SOT 7493251 SOS 4670363 HAS SOPS 2583917 HAS SOUS 2614564 HAS SOUPS 2391048 WITH SCORE 2395718.363
AT ITER 4962 NEW BEST:: SOT 7493182 SOS 4671849 HAS SOPS 2583563 HAS SOUS 2614256 HAS SOUPS 2390694 WITH SCORE 2395365.849
AT ITER 4963 NEW BEST:: SOT 7494104 SOS 4672572 HAS SOPS 2583518 HAS SOUS 2614319 HAS SOUPS 2390649 WITH SCORE 2395321.572
AT ITER 4969 NEW BEST:: SOT 7494161 SOS 4695099 HAS SOPS 2581994 HAS SOUS 2613642 HAS SOUPS 2389125 WITH SCORE 2393820.099
AT ITER 4971 NEW BEST:: SOT 7493671 SOS 4694609 HAS SOPS 2581513 HAS SOUS 2613195 HAS SOUPS 2388644 WITH SCORE 2393338.609
AT ITER 4972 NEW BEST:: SOT 7493376 SOS 4694314 HAS SOPS 2580951 HAS SOUS 2612624 HAS SOUPS 2388073 WITH SCORE 2392767.314
AT ITER 4974 NEW BEST:: SOT 7493867 SOS 4694805 HAS SOPS 2580500 HAS SOUS 2612197 HAS SOUPS 2387622 WITH SCORE 2392316.805
AT ITER 4978 NEW BEST:: SOT 7493088 SOS 4694026 HAS SOPS 2578942 HAS SOUS 2610336 HAS SOUPS 2386064 WITH SCORE 2390758.026
AT ITER 4986 NEW BEST:: SOT 7493088 SOS 4695486 HAS SOPS 2578796 HAS SOUS 2610263 HAS SOUPS 2385918 WITH SCORE 2390613.486
AT ITER 4989 NEW BEST:: SOT 7493034 SOS 4695432 HAS SOPS 2578462 HAS SOUS 2610394 HAS SOUPS 2385584 WITH SCORE 2390279.432
AT ITER 4993 NEW BEST:: SOT 7493386 SOS 4695784 HAS SOPS 2578347 HAS SOUS 2610279 HAS SOUPS 2385469 WITH SCORE 2390164.784
AT ITER 4998 NEW BEST:: SOT 7493804 SOS 4696202 HAS SOPS 2578083 HAS SOUS 2610016 HAS SOUPS 2385206 WITH SCORE 2389902.202
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BART-PT-020-CTLCardinality-00 (EX( (EF(( potential( ( 3 ) <= (tk(P2779)) ) & potential( ( 2 ) <= (tk(P1608)) ) )))))
PROPERTY: BART-PT-020-CTLCardinality-01 (AU( ( (! potential( ( 3 ) <= (tk(P2560)) )) | (! potential( ( 1 ) <= (tk(P2001)) )) ),(AG( potential( ( 1 ) <= (tk(P2475)) ))) ))
PROPERTY: BART-PT-020-CTLCardinality-02 (! (EG( (EF(potential( (tk(P704)) <= (tk(P2155)) ))))))
PROPERTY: BART-PT-020-CTLCardinality-03 (AF(( ( (! potential( ( 1 ) <= (tk(P1044)) )) & ( potential( (tk(P1175)) <= (tk(P2661)) ) & potential( ( 2 ) <= (tk(P511)) ) ) ) & ( ( potential( (tk(P133)) <= (tk(P1413)) ) | potential( ( 3 ) <= (tk(P1342)) ) ) | ( potential( ( 1 ) <= (tk(P2373)) ) & potential( ( 3 ) <= (tk(P2564)) ) ) ) )))
PROPERTY: BART-PT-020-CTLCardinality-04 (AG( (AF(( potential( (tk(P1627)) <= (tk(P696)) ) & potential( ( 2 ) <= (tk(P1978)) ) )))))
PROPERTY: BART-PT-020-CTLCardinality-05 (! (! (! (EF(potential( ( 3 ) <= (tk(P254)) ))))))
PROPERTY: BART-PT-020-CTLCardinality-06 ( (! (! ( potential( ( 1 ) <= (tk(P1695)) ) | potential( (tk(P1111)) <= (tk(P2673)) ) ))) & (AU( ( potential( ( 3 ) <= (tk(P1434)) ) | potential( (tk(P2331)) <= (tk(P397)) ) ),(! potential( (tk(P1624)) <= (tk(P2541)) )) )) )
PROPERTY: BART-PT-020-CTLCardinality-07 (AF(( ( ( potential( (tk(P1041)) <= (tk(P817)) ) | potential( ( 1 ) <= (tk(P1439)) ) ) | ( potential( (tk(P1038)) <= (tk(P274)) ) & potential( ( 3 ) <= (tk(P1774)) ) ) ) & potential( ( 3 ) <= (tk(P2423)) ) )))
PROPERTY: BART-PT-020-CTLCardinality-08 ( ( ( potential( (tk(P1930)) <= (tk(P1356)) ) | ( potential( (tk(P1927)) <= (tk(P2540)) ) | potential( (tk(P688)) <= (tk(P480)) ) ) ) & ( (EX( potential( (tk(P1618)) <= (tk(P2719)) ))) | ( (! potential( ( 3 ) <= (tk(P709)) )) | potential( (tk(P2499)) <= (tk(P2815)) ) ) ) ) & (! (EF(( potential( (tk(P448)) <= (tk(P697)) ) & potential( ( 3 ) <= (tk(P2376)) ) )))) )
PROPERTY: BART-PT-020-CTLCardinality-09 (EF(( (AG( potential( ( 2 ) <= (tk(P2339)) ))) & ( (! potential( ( 1 ) <= (tk(P439)) )) | (! potential( ( 3 ) <= (tk(P2169)) )) ) )))
PROPERTY: BART-PT-020-CTLCardinality-10 (! (AF((! ( potential( ( 1 ) <= (tk(P1778)) ) | potential( (tk(P2523)) <= (tk(P897)) ) )))))
PROPERTY: BART-PT-020-CTLCardinality-11 ( ( potential( (tk(P2536)) <= (tk(P1263)) ) | ( ( ( potential( ( 2 ) <= (tk(P2057)) ) & potential( (tk(P1819)) <= (tk(P968)) ) ) & potential( (tk(P793)) <= (tk(P2190)) ) ) & (! ( potential( (tk(P2771)) <= (tk(P2055)) ) & potential( (tk(P2627)) <= (tk(P466)) ) )) ) ) & (! (EG( potential( (tk(P1326)) <= (tk(P1261)) )))) )
PROPERTY: BART-PT-020-CTLCardinality-12 (EG( ( potential( (tk(P2283)) <= (tk(P67)) ) | (! potential( ( 3 ) <= (tk(P1810)) )) )))
PROPERTY: BART-PT-020-CTLCardinality-13 ( (! (! potential( ( 1 ) <= (tk(P2737)) ))) & (AX( (AF(potential( ( 3 ) <= (tk(P1427)) ))))) )
PROPERTY: BART-PT-020-CTLCardinality-14 (EG( (! potential( ( 2 ) <= (tk(P106)) ))))
PROPERTY: BART-PT-020-CTLCardinality-15 (EG( potential( (tk(P1640)) <= (tk(P1229)) )))

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-020"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is BART-PT-020, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897679500091"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BART-PT-020.tgz
mv BART-PT-020 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;