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-158897679500096.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 StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897679500096
=====================================================================

--------------------
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 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)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589012468110

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

Filename model.pnml
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 8290494 SOS 5441846 HAS SOPS 4166757 HAS SOUS 3780557 HAS SOUPS 3680687 WITH SCORE 3686128.846
AT ITER 5 NEW BEST:: SOT 8290494 SOS 5428196 HAS SOPS 4140487 HAS SOUS 3779810 HAS SOUPS 3679267 WITH SCORE 3684695.196
AT ITER 6 NEW BEST:: SOT 8291244 SOS 5440866 HAS SOPS 4139582 HAS SOUS 3781061 HAS SOUPS 3678362 WITH SCORE 3683802.866
AT ITER 7 NEW BEST:: SOT 8291244 SOS 5440866 HAS SOPS 4139578 HAS SOUS 3781070 HAS SOUPS 3678358 WITH SCORE 3683798.866
AT ITER 11 NEW BEST:: SOT 8291316 SOS 5441337 HAS SOPS 4138865 HAS SOUS 3781514 HAS SOUPS 3677646 WITH SCORE 3683087.337
AT ITER 20 NEW BEST:: SOT 8291316 SOS 5441337 HAS SOPS 4138864 HAS SOUS 3781406 HAS SOUPS 3677478 WITH SCORE 3682919.337
AT ITER 21 NEW BEST:: SOT 8291316 SOS 5441337 HAS SOPS 4138860 HAS SOUS 3781471 HAS SOUPS 3677474 WITH SCORE 3682915.337
AT ITER 23 NEW BEST:: SOT 8291316 SOS 5441337 HAS SOPS 4138162 HAS SOUS 3780522 HAS SOUPS 3676080 WITH SCORE 3681521.337
AT ITER 24 NEW BEST:: SOT 8291316 SOS 5441337 HAS SOPS 4137545 HAS SOUS 3779654 HAS SOUPS 3674848 WITH SCORE 3680289.337
AT ITER 25 NEW BEST:: SOT 8291787 SOS 5442193 HAS SOPS 4137350 HAS SOUS 3780650 HAS SOUPS 3674654 WITH SCORE 3680096.193
AT ITER 26 NEW BEST:: SOT 8291787 SOS 5442193 HAS SOPS 4136768 HAS SOUS 3779747 HAS SOUPS 3673259 WITH SCORE 3678701.193
AT ITER 30 NEW BEST:: SOT 8291867 SOS 5448373 HAS SOPS 4136506 HAS SOUS 3779872 HAS SOUPS 3672997 WITH SCORE 3678445.373
AT ITER 31 NEW BEST:: SOT 8290964 SOS 5445835 HAS SOPS 4135800 HAS SOUS 3779126 HAS SOUPS 3672292 WITH SCORE 3677737.835
AT ITER 35 NEW BEST:: SOT 8290964 SOS 5445835 HAS SOPS 4135201 HAS SOUS 3777984 HAS SOUPS 3671096 WITH SCORE 3676541.835
AT ITER 38 NEW BEST:: SOT 8290964 SOS 5445835 HAS SOPS 4134618 HAS SOUS 3777366 HAS SOUPS 3669932 WITH SCORE 3675377.835
AT ITER 39 NEW BEST:: SOT 8290964 SOS 5445835 HAS SOPS 4134614 HAS SOUS 3777445 HAS SOUPS 3669928 WITH SCORE 3675373.835
AT ITER 41 NEW BEST:: SOT 8291501 SOS 5446889 HAS SOPS 4134336 HAS SOUS 3778188 HAS SOUPS 3669651 WITH SCORE 3675097.889
AT ITER 46 NEW BEST:: SOT 8291765 SOS 5447416 HAS SOPS 4133764 HAS SOUS 3778602 HAS SOUPS 3669080 WITH SCORE 3674527.416
AT ITER 50 NEW BEST:: SOT 8292174 SOS 5447825 HAS SOPS 4133355 HAS SOUS 3778323 HAS SOUPS 3668671 WITH SCORE 3674118.825
AT ITER 54 NEW BEST:: SOT 8292485 SOS 5448286 HAS SOPS 4133148 HAS SOUS 3779553 HAS SOUPS 3668465 WITH SCORE 3673913.286
AT ITER 61 NEW BEST:: SOT 8292019 SOS 5447820 HAS SOPS 4132215 HAS SOUS 3779062 HAS SOUPS 3667532 WITH SCORE 3672979.82
AT ITER 70 NEW BEST:: SOT 8292317 SOS 5448562 HAS SOPS 4132175 HAS SOUS 3780111 HAS SOUPS 3667493 WITH SCORE 3672941.562
AT ITER 72 NEW BEST:: SOT 8287247 SOS 5443633 HAS SOPS 4127246 HAS SOUS 3775182 HAS SOUPS 3662564 WITH SCORE 3668007.633
AT ITER 77 NEW BEST:: SOT 8287880 SOS 5444810 HAS SOPS 4127207 HAS SOUS 3776130 HAS SOUPS 3662526 WITH SCORE 3667970.81
AT ITER 78 NEW BEST:: SOT 8287499 SOS 5430332 HAS SOPS 4113110 HAS SOUS 3775368 HAS SOUPS 3661764 WITH SCORE 3667194.332
AT ITER 86 NEW BEST:: SOT 8287499 SOS 5430332 HAS SOPS 4113395 HAS SOUS 3775294 HAS SOUPS 3661557 WITH SCORE 3666987.332
AT ITER 89 NEW BEST:: SOT 8286912 SOS 5429178 HAS SOPS 4111776 HAS SOUS 3774117 HAS SOUPS 3659938 WITH SCORE 3665367.178
AT ITER 107 NEW BEST:: SOT 8286912 SOS 5429178 HAS SOPS 4111087 HAS SOUS 3772804 HAS SOUPS 3658562 WITH SCORE 3663991.178
AT ITER 109 NEW BEST:: SOT 8286912 SOS 5429178 HAS SOPS 4110267 HAS SOUS 3772408 HAS SOUPS 3657743 WITH SCORE 3663172.178
AT ITER 115 NEW BEST:: SOT 8286940 SOS 5429234 HAS SOPS 4109843 HAS SOUS 3772010 HAS SOUPS 3657319 WITH SCORE 3662748.234
AT ITER 120 NEW BEST:: SOT 8287447 SOS 5405062 HAS SOPS 4070860 HAS SOUS 3756602 HAS SOUPS 3641911 WITH SCORE 3647316.062
AT ITER 122 NEW BEST:: SOT 8285999 SOS 5403614 HAS SOPS 4070056 HAS SOUS 3755799 HAS SOUPS 3641108 WITH SCORE 3646511.614
AT ITER 123 NEW BEST:: SOT 8285347 SOS 5402962 HAS SOPS 4069089 HAS SOUS 3755075 HAS SOUPS 3640141 WITH SCORE 3645543.962
AT ITER 131 NEW BEST:: SOT 8285347 SOS 5402962 HAS SOPS 4069312 HAS SOUS 3754651 HAS SOUPS 3639664 WITH SCORE 3645066.962
AT ITER 132 NEW BEST:: SOT 8285750 SOS 5403767 HAS SOPS 4068883 HAS SOUS 3755285 HAS SOUPS 3639236 WITH SCORE 3644639.767
AT ITER 133 NEW BEST:: SOT 8285750 SOS 5403767 HAS SOPS 4068674 HAS SOUS 3755207 HAS SOUPS 3639027 WITH SCORE 3644430.767
AT ITER 135 NEW BEST:: SOT 8285750 SOS 5403767 HAS SOPS 4068071 HAS SOUS 3754533 HAS SOUPS 3637823 WITH SCORE 3643226.767
AT ITER 137 NEW BEST:: SOT 8286331 SOS 5404348 HAS SOPS 4068070 HAS SOUS 3754192 HAS SOUPS 3637242 WITH SCORE 3642646.348
AT ITER 144 NEW BEST:: SOT 8286320 SOS 5404337 HAS SOPS 4067394 HAS SOUS 3752864 HAS SOUPS 3635914 WITH SCORE 3641318.337
AT ITER 150 NEW BEST:: SOT 8286320 SOS 5404337 HAS SOPS 4067186 HAS SOUS 3752461 HAS SOUPS 3635511 WITH SCORE 3640915.337
AT ITER 152 NEW BEST:: SOT 8286941 SOS 5404958 HAS SOPS 4067123 HAS SOUS 3752003 HAS SOUPS 3634766 WITH SCORE 3640170.958
AT ITER 154 NEW BEST:: SOT 8286941 SOS 5404958 HAS SOPS 4066560 HAS SOUS 3751440 HAS SOUPS 3634203 WITH SCORE 3639607.958
AT ITER 159 NEW BEST:: SOT 8286456 SOS 5404046 HAS SOPS 4065648 HAS SOUS 3750528 HAS SOUPS 3633291 WITH SCORE 3638695.046
AT ITER 163 NEW BEST:: SOT 8286436 SOS 5404026 HAS SOPS 4065628 HAS SOUS 3750508 HAS SOUPS 3633271 WITH SCORE 3638675.026
AT ITER 165 NEW BEST:: SOT 8286436 SOS 5404026 HAS SOPS 4064862 HAS SOUS 3749178 HAS SOUPS 3631702 WITH SCORE 3637106.026
AT ITER 167 NEW BEST:: SOT 8286495 SOS 5404143 HAS SOPS 4064788 HAS SOUS 3750152 HAS SOUPS 3631628 WITH SCORE 3637032.143
AT ITER 172 NEW BEST:: SOT 8286604 SOS 5404360 HAS SOPS 4064089 HAS SOUS 3750916 HAS SOUPS 3630930 WITH SCORE 3636334.36
AT ITER 173 NEW BEST:: SOT 8287234 SOS 5428350 HAS SOPS 4063537 HAS SOUS 3752130 HAS SOUPS 3630378 WITH SCORE 3635806.35
AT ITER 174 NEW BEST:: SOT 8287149 SOS 5428265 HAS SOPS 4063500 HAS SOUS 3750390 HAS SOUPS 3629515 WITH SCORE 3634943.265
AT ITER 178 NEW BEST:: SOT 8287075 SOS 5428191 HAS SOPS 4063352 HAS SOUS 3750390 HAS SOUPS 3629367 WITH SCORE 3634795.191
AT ITER 182 NEW BEST:: SOT 8287075 SOS 5428191 HAS SOPS 4062865 HAS SOUS 3749418 HAS SOUPS 3628395 WITH SCORE 3633823.191
AT ITER 184 NEW BEST:: SOT 8287075 SOS 5428191 HAS SOPS 4062208 HAS SOUS 3748367 HAS SOUPS 3626920 WITH SCORE 3632348.191
AT ITER 190 NEW BEST:: SOT 8287075 SOS 5428191 HAS SOPS 4062207 HAS SOUS 3747725 HAS SOUPS 3626278 WITH SCORE 3631706.191
AT ITER 193 NEW BEST:: SOT 8287075 SOS 5428191 HAS SOPS 4062206 HAS SOUS 3747689 HAS SOUPS 3626192 WITH SCORE 3631620.191
AT ITER 194 NEW BEST:: SOT 8286174 SOS 5427290 HAS SOPS 4061370 HAS SOUS 3746854 HAS SOUPS 3625357 WITH SCORE 3630784.29
AT ITER 195 NEW BEST:: SOT 8286769 SOS 5428380 HAS SOPS 4061311 HAS SOUS 3747816 HAS SOUPS 3625299 WITH SCORE 3630727.38
AT ITER 200 NEW BEST:: SOT 8286531 SOS 5418622 HAS SOPS 4061311 HAS SOUS 3747578 HAS SOUPS 3625299 WITH SCORE 3630717.622
AT ITER 202 NEW BEST:: SOT 8286531 SOS 5418622 HAS SOPS 4060594 HAS SOUS 3747140 HAS SOUPS 3624583 WITH SCORE 3630001.622
AT ITER 204 NEW BEST:: SOT 8287128 SOS 5419219 HAS SOPS 4060597 HAS SOUS 3746690 HAS SOUPS 3623769 WITH SCORE 3629188.219
AT ITER 205 NEW BEST:: SOT 8286732 SOS 5393530 HAS SOPS 4022290 HAS SOUS 3733328 HAS SOUPS 3610407 WITH SCORE 3615800.53
AT ITER 209 NEW BEST:: SOT 8286732 SOS 5393530 HAS SOPS 4021952 HAS SOUS 3733069 HAS SOUPS 3609918 WITH SCORE 3615311.53
AT ITER 211 NEW BEST:: SOT 8286462 SOS 5393260 HAS SOPS 4021623 HAS SOUS 3731470 HAS SOUPS 3608765 WITH SCORE 3614158.26
AT ITER 215 NEW BEST:: SOT 8286462 SOS 5393260 HAS SOPS 4021012 HAS SOUS 3730752 HAS SOUPS 3607545 WITH SCORE 3612938.26
AT ITER 219 NEW BEST:: SOT 8286660 SOS 5393458 HAS SOPS 4020378 HAS SOUS 3731184 HAS SOUPS 3606912 WITH SCORE 3612305.458
AT ITER 222 NEW BEST:: SOT 8286660 SOS 5393458 HAS SOPS 4020074 HAS SOUS 3731136 HAS SOUPS 3606608 WITH SCORE 3612001.458
AT ITER 224 NEW BEST:: SOT 8286641 SOS 5393439 HAS SOPS 4020206 HAS SOUS 3731098 HAS SOUPS 3606570 WITH SCORE 3611963.439
AT ITER 228 NEW BEST:: SOT 8286882 SOS 5393920 HAS SOPS 4019623 HAS SOUS 3731708 HAS SOUPS 3605988 WITH SCORE 3611381.92
AT ITER 232 NEW BEST:: SOT 8286450 SOS 5393488 HAS SOPS 4018903 HAS SOUS 3730988 HAS SOUPS 3605268 WITH SCORE 3610661.488
AT ITER 233 NEW BEST:: SOT 8285813 SOS 5392851 HAS SOPS 4017670 HAS SOUS 3729890 HAS SOUPS 3604035 WITH SCORE 3609427.851
AT ITER 235 NEW BEST:: SOT 8286174 SOS 5393212 HAS SOPS 4017359 HAS SOUS 3729438 HAS SOUPS 3602921 WITH SCORE 3608314.212
AT ITER 236 NEW BEST:: SOT 8285926 SOS 5392964 HAS SOPS 4016915 HAS SOUS 3729189 HAS SOUPS 3602672 WITH SCORE 3608064.964
AT ITER 247 NEW BEST:: SOT 8286084 SOS 5393279 HAS SOPS 4016251 HAS SOUS 3728787 HAS SOUPS 3602009 WITH SCORE 3607402.279
AT ITER 249 NEW BEST:: SOT 8286215 SOS 5393540 HAS SOPS 4015568 HAS SOUS 3729461 HAS SOUPS 3601327 WITH SCORE 3606720.54
AT ITER 251 NEW BEST:: SOT 8286215 SOS 5393540 HAS SOPS 4015391 HAS SOUS 3729284 HAS SOUPS 3601150 WITH SCORE 3606543.54
AT ITER 254 NEW BEST:: SOT 8286459 SOS 5394027 HAS SOPS 4014801 HAS SOUS 3728695 HAS SOUPS 3600561 WITH SCORE 3605955.027
AT ITER 258 NEW BEST:: SOT 8286525 SOS 5401353 HAS SOPS 4014171 HAS SOUS 3728659 HAS SOUPS 3599931 WITH SCORE 3605332.353
AT ITER 264 NEW BEST:: SOT 8286597 SOS 5401496 HAS SOPS 4013415 HAS SOUS 3729015 HAS SOUPS 3599176 WITH SCORE 3604577.496
AT ITER 268 NEW BEST:: SOT 8286597 SOS 5401496 HAS SOPS 4013184 HAS SOUS 3728245 HAS SOUPS 3598123 WITH SCORE 3603524.496
AT ITER 276 NEW BEST:: SOT 8285726 SOS 5382925 HAS SOPS 4012531 HAS SOUS 3726566 HAS SOUPS 3597386 WITH SCORE 3602768.925
AT ITER 278 NEW BEST:: SOT 8285726 SOS 5382925 HAS SOPS 4012494 HAS SOUS 3726593 HAS SOUPS 3597349 WITH SCORE 3602731.925
AT ITER 287 NEW BEST:: SOT 8285363 SOS 5382562 HAS SOPS 4011829 HAS SOUS 3726409 HAS SOUPS 3596684 WITH SCORE 3602066.562
AT ITER 289 NEW BEST:: SOT 8285399 SOS 5382633 HAS SOPS 4011045 HAS SOUS 3725824 HAS SOUPS 3595901 WITH SCORE 3601283.633
AT ITER 291 NEW BEST:: SOT 8286803 SOS 5384037 HAS SOPS 4010782 HAS SOUS 3726059 HAS SOUPS 3595638 WITH SCORE 3601022.037
AT ITER 293 NEW BEST:: SOT 8286951 SOS 5384560 HAS SOPS 4010586 HAS SOUS 3726479 HAS SOUPS 3595443 WITH SCORE 3600827.56
AT ITER 299 NEW BEST:: SOT 8286705 SOS 5379394 HAS SOPS 4010586 HAS SOUS 3726233 HAS SOUPS 3595443 WITH SCORE 3600822.394
AT ITER 302 NEW BEST:: SOT 8286554 SOS 5379246 HAS SOPS 4010586 HAS SOUS 3726232 HAS SOUPS 3595443 WITH SCORE 3600822.246
AT ITER 310 NEW BEST:: SOT 8286554 SOS 5379246 HAS SOPS 4009831 HAS SOUS 3724722 HAS SOUPS 3593933 WITH SCORE 3599312.246
AT ITER 314 NEW BEST:: SOT 8286554 SOS 5379246 HAS SOPS 4009442 HAS SOUS 3724262 HAS SOUPS 3593157 WITH SCORE 3598536.246
AT ITER 319 NEW BEST:: SOT 8287133 SOS 5380183 HAS SOPS 4009431 HAS SOUS 3725476 HAS SOUPS 3593147 WITH SCORE 3598527.183
AT ITER 320 NEW BEST:: SOT 8287061 SOS 5380111 HAS SOPS 4009287 HAS SOUS 3724785 HAS SOUPS 3593003 WITH SCORE 3598383.111
AT ITER 324 NEW BEST:: SOT 8287061 SOS 5380111 HAS SOPS 4008617 HAS SOUS 3723792 HAS SOUPS 3591665 WITH SCORE 3597045.111
AT ITER 326 NEW BEST:: SOT 8287061 SOS 5380111 HAS SOPS 4008007 HAS SOUS 3722707 HAS SOUPS 3590458 WITH SCORE 3595838.111
AT ITER 327 NEW BEST:: SOT 8287220 SOS 5380428 HAS SOPS 4007344 HAS SOUS 3722247 HAS SOUPS 3589796 WITH SCORE 3595176.428
AT ITER 335 NEW BEST:: SOT 8287220 SOS 5380428 HAS SOPS 4006824 HAS SOUS 3721551 HAS SOUPS 3588980 WITH SCORE 3594360.428
AT ITER 336 NEW BEST:: SOT 8287220 SOS 5380428 HAS SOPS 4006586 HAS SOUS 3721313 HAS SOUPS 3588742 WITH SCORE 3594122.428
AT ITER 339 NEW BEST:: SOT 8287220 SOS 5380428 HAS SOPS 4006164 HAS SOUS 3721313 HAS SOUPS 3588320 WITH SCORE 3593700.428
AT ITER 341 NEW BEST:: SOT 8287220 SOS 5380428 HAS SOPS 4006009 HAS SOUS 3720875 HAS SOUPS 3587882 WITH SCORE 3593262.428
AT ITER 344 NEW BEST:: SOT 8287190 SOS 5380398 HAS SOPS 4005948 HAS SOUS 3720458 HAS SOUPS 3587465 WITH SCORE 3592845.398
AT ITER 345 NEW BEST:: SOT 8287980 SOS 5381188 HAS SOPS 4006114 HAS SOUS 3720087 HAS SOUPS 3586842 WITH SCORE 3592223.188
AT ITER 347 NEW BEST:: SOT 8288117 SOS 5381687 HAS SOPS 4005826 HAS SOUS 3720277 HAS SOUPS 3586554 WITH SCORE 3591935.687
AT ITER 353 NEW BEST:: SOT 8266796 SOS 5382846 HAS SOPS 3984224 HAS SOUS 3698956 HAS SOUPS 3564952 WITH SCORE 3570334.846
AT ITER 354 NEW BEST:: SOT 8266796 SOS 5382421 HAS SOPS 3983062 HAS SOUS 3698089 HAS SOUPS 3563559 WITH SCORE 3568941.421
AT ITER 356 NEW BEST:: SOT 8266430 SOS 5382055 HAS SOPS 3981963 HAS SOUS 3696991 HAS SOUPS 3562095 WITH SCORE 3567477.055
AT ITER 362 NEW BEST:: SOT 8266430 SOS 5382055 HAS SOPS 3981962 HAS SOUS 3696188 HAS SOUPS 3561616 WITH SCORE 3566998.055
AT ITER 363 NEW BEST:: SOT 8266524 SOS 5386769 HAS SOPS 3981821 HAS SOUS 3696433 HAS SOUPS 3561475 WITH SCORE 3566861.769
AT ITER 366 NEW BEST:: SOT 8266496 SOS 5386741 HAS SOPS 3980821 HAS SOUS 3695539 HAS SOUPS 3560247 WITH SCORE 3565633.741
AT ITER 369 NEW BEST:: SOT 8266330 SOS 5386575 HAS SOPS 3980175 HAS SOUS 3695041 HAS SOUPS 3559583 WITH SCORE 3564969.575
AT ITER 370 NEW BEST:: SOT 8266330 SOS 5386483 HAS SOPS 3980355 HAS SOUS 3695040 HAS SOUPS 3559582 WITH SCORE 3564968.483
AT ITER 371 NEW BEST:: SOT 8266330 SOS 5386483 HAS SOPS 3979902 HAS SOUS 3694721 HAS SOUPS 3559101 WITH SCORE 3564487.483
AT ITER 379 NEW BEST:: SOT 8266275 SOS 5386428 HAS SOPS 3979792 HAS SOUS 3694611 HAS SOUPS 3558991 WITH SCORE 3564377.428
AT ITER 385 NEW BEST:: SOT 8119893 SOS 5240322 HAS SOPS 3833410 HAS SOUS 3548435 HAS SOUPS 3412609 WITH SCORE 3417849.322
AT ITER 390 NEW BEST:: SOT 8119893 SOS 5240916 HAS SOPS 3833175 HAS SOUS 3547374 HAS SOUPS 3411548 WITH SCORE 3416788.916
AT ITER 392 NEW BEST:: SOT 8119893 SOS 5240916 HAS SOPS 3833174 HAS SOUS 3547333 HAS SOUPS 3411507 WITH SCORE 3416747.916
AT ITER 393 NEW BEST:: SOT 8119300 SOS 5240323 HAS SOPS 3831394 HAS SOUS 3545601 HAS SOUPS 3409135 WITH SCORE 3414375.323
AT ITER 397 NEW BEST:: SOT 8119300 SOS 5240323 HAS SOPS 3831128 HAS SOUS 3545071 HAS SOUPS 3408605 WITH SCORE 3413845.323
AT ITER 405 NEW BEST:: SOT 8119282 SOS 5226874 HAS SOPS 3818127 HAS SOUS 3544775 HAS SOUPS 3408309 WITH SCORE 3413535.874
AT ITER 412 NEW BEST:: SOT 8119208 SOS 5226800 HAS SOPS 3818053 HAS SOUS 3544701 HAS SOUPS 3408235 WITH SCORE 3413461.8
AT ITER 425 NEW BEST:: SOT 8119208 SOS 5226800 HAS SOPS 3817255 HAS SOUS 3543400 HAS SOUPS 3406641 WITH SCORE 3411867.8
AT ITER 433 NEW BEST:: SOT 8120185 SOS 5246897 HAS SOPS 3816535 HAS SOUS 3544665 HAS SOUPS 3405921 WITH SCORE 3411167.897
AT ITER 436 NEW BEST:: SOT 8120185 SOS 5246897 HAS SOPS 3816323 HAS SOUS 3544665 HAS SOUPS 3405709 WITH SCORE 3410955.897
AT ITER 437 NEW BEST:: SOT 8120347 SOS 5247220 HAS SOPS 3815667 HAS SOUS 3544040 HAS SOUPS 3405054 WITH SCORE 3410301.22
AT ITER 439 NEW BEST:: SOT 8120210 SOS 5247083 HAS SOPS 3815530 HAS SOUS 3543903 HAS SOUPS 3404917 WITH SCORE 3410164.083
AT ITER 448 NEW BEST:: SOT 8120743 SOS 5247616 HAS SOPS 3815529 HAS SOUS 3543980 HAS SOUPS 3404785 WITH SCORE 3410032.616
AT ITER 450 NEW BEST:: SOT 8120743 SOS 5247616 HAS SOPS 3814811 HAS SOUS 3542745 HAS SOUPS 3403351 WITH SCORE 3408598.616
AT ITER 459 NEW BEST:: SOT 8120635 SOS 5222397 HAS SOPS 3785938 HAS SOUS 3539245 HAS SOUPS 3399851 WITH SCORE 3405073.397
AT ITER 463 NEW BEST:: SOT 8120635 SOS 5222397 HAS SOPS 3785459 HAS SOUS 3538384 HAS SOUPS 3398990 WITH SCORE 3404212.397
AT ITER 466 NEW BEST:: SOT 8120199 SOS 5221944 HAS SOPS 3785006 HAS SOUS 3537931 HAS SOUPS 3398537 WITH SCORE 3403758.944
AT ITER 468 NEW BEST:: SOT 8120199 SOS 5221944 HAS SOPS 3785092 HAS SOUS 3537190 HAS SOUPS 3397796 WITH SCORE 3403017.944
AT ITER 471 NEW BEST:: SOT 8120642 SOS 5222387 HAS SOPS 3784542 HAS SOUS 3536420 HAS SOUPS 3396766 WITH SCORE 3401988.387
AT ITER 473 NEW BEST:: SOT 8121078 SOS 5244183 HAS SOPS 3783933 HAS SOUS 3536753 HAS SOUPS 3396157 WITH SCORE 3401401.183
AT ITER 477 NEW BEST:: SOT 7972399 SOS 5446915 HAS SOPS 3633750 HAS SOUS 3447988 HAS SOUPS 3276158 WITH SCORE 3281604.915
AT ITER 478 NEW BEST:: SOT 7972363 SOS 5421015 HAS SOPS 3607703 HAS SOUS 3447858 HAS SOUPS 3276028 WITH SCORE 3281449.015
AT ITER 479 NEW BEST:: SOT 7972149 SOS 5420801 HAS SOPS 3607489 HAS SOUS 3447644 HAS SOUPS 3275814 WITH SCORE 3281234.801
AT ITER 482 NEW BEST:: SOT 7972149 SOS 5420801 HAS SOPS 3606845 HAS SOUS 3447087 HAS SOUPS 3275170 WITH SCORE 3280590.801
AT ITER 486 NEW BEST:: SOT 7972149 SOS 5420801 HAS SOPS 3606026 HAS SOUS 3446268 HAS SOUPS 3274351 WITH SCORE 3279771.801
AT ITER 490 NEW BEST:: SOT 7971847 SOS 5420499 HAS SOPS 3605269 HAS SOUS 3445646 HAS SOUPS 3273594 WITH SCORE 3279014.499
AT ITER 491 NEW BEST:: SOT 7971665 SOS 5420317 HAS SOPS 3605087 HAS SOUS 3445464 HAS SOUPS 3273412 WITH SCORE 3278832.317
AT ITER 492 NEW BEST:: SOT 7971764 SOS 5420659 HAS SOPS 3604902 HAS SOUS 3445759 HAS SOUPS 3273227 WITH SCORE 3278647.659
AT ITER 501 NEW BEST:: SOT 7971646 SOS 5421466 HAS SOPS 3604091 HAS SOUS 3445600 HAS SOUPS 3272416 WITH SCORE 3277837.466
AT ITER 507 NEW BEST:: SOT 7971773 SOS 5421593 HAS SOPS 3603695 HAS SOUS 3446135 HAS SOUPS 3272020 WITH SCORE 3277441.593
AT ITER 509 NEW BEST:: SOT 7971773 SOS 5421593 HAS SOPS 3603656 HAS SOUS 3446136 HAS SOUPS 3271981 WITH SCORE 3277402.593
AT ITER 521 NEW BEST:: SOT 7972019 SOS 5422084 HAS SOPS 3603068 HAS SOUS 3445548 HAS SOUPS 3271393 WITH SCORE 3276815.084
AT ITER 530 NEW BEST:: SOT 7972019 SOS 5422084 HAS SOPS 3601826 HAS SOUS 3444756 HAS SOUPS 3270151 WITH SCORE 3275573.084
AT ITER 531 NEW BEST:: SOT 7972040 SOS 5422125 HAS SOPS 3601019 HAS SOUS 3445061 HAS SOUPS 3269344 WITH SCORE 3274766.125
AT ITER 540 NEW BEST:: SOT 7972040 SOS 5422125 HAS SOPS 3601017 HAS SOUS 3445059 HAS SOUPS 3269342 WITH SCORE 3274764.125
AT ITER 541 NEW BEST:: SOT 7972040 SOS 5422125 HAS SOPS 3600526 HAS SOUS 3444568 HAS SOUPS 3268851 WITH SCORE 3274273.125
AT ITER 545 NEW BEST:: SOT 7972051 SOS 5422147 HAS SOPS 3600296 HAS SOUS 3444338 HAS SOUPS 3268621 WITH SCORE 3274043.147
AT ITER 547 NEW BEST:: SOT 7972051 SOS 5422147 HAS SOPS 3599707 HAS SOUS 3443749 HAS SOUPS 3268032 WITH SCORE 3273454.147
AT ITER 550 NEW BEST:: SOT 7971843 SOS 5421939 HAS SOPS 3599499 HAS SOUS 3443541 HAS SOUPS 3267824 WITH SCORE 3273245.939
AT ITER 553 NEW BEST:: SOT 7971843 SOS 5421939 HAS SOPS 3598912 HAS SOUS 3442671 HAS SOUPS 3267237 WITH SCORE 3272658.939
AT ITER 559 NEW BEST:: SOT 7972107 SOS 5422203 HAS SOPS 3598795 HAS SOUS 3442554 HAS SOUPS 3267120 WITH SCORE 3272542.203
AT ITER 561 NEW BEST:: SOT 7972430 SOS 5422526 HAS SOPS 3598794 HAS SOUS 3442553 HAS SOUPS 3267119 WITH SCORE 3272541.526
AT ITER 565 NEW BEST:: SOT 7972297 SOS 5422393 HAS SOPS 3598661 HAS SOUS 3442420 HAS SOUPS 3266986 WITH SCORE 3272408.393
AT ITER 567 NEW BEST:: SOT 7972438 SOS 5422534 HAS SOPS 3597978 HAS SOUS 3442933 HAS SOUPS 3266303 WITH SCORE 3271725.534
AT ITER 572 NEW BEST:: SOT 7972436 SOS 5422532 HAS SOPS 3597937 HAS SOUS 3442934 HAS SOUPS 3266262 WITH SCORE 3271684.532
AT ITER 573 NEW BEST:: SOT 7972436 SOS 5422532 HAS SOPS 3597699 HAS SOUS 3442696 HAS SOUPS 3266024 WITH SCORE 3271446.532
AT ITER 578 NEW BEST:: SOT 7972301 SOS 5421160 HAS SOPS 3597699 HAS SOUS 3442561 HAS SOUPS 3266024 WITH SCORE 3271445.16
AT ITER 579 NEW BEST:: SOT 7972301 SOS 5421160 HAS SOPS 3597151 HAS SOUS 3442070 HAS SOUPS 3265476 WITH SCORE 3270897.16
AT ITER 583 NEW BEST:: SOT 7972658 SOS 5421873 HAS SOPS 3596682 HAS SOUS 3442745 HAS SOUPS 3265007 WITH SCORE 3270428.873
AT ITER 586 NEW BEST:: SOT 7972331 SOS 5421546 HAS SOPS 3596028 HAS SOUS 3442121 HAS SOUPS 3264353 WITH SCORE 3269774.546
AT ITER 592 NEW BEST:: SOT 7972364 SOS 5421579 HAS SOPS 3596027 HAS SOUS 3442120 HAS SOUPS 3264352 WITH SCORE 3269773.579
AT ITER 597 NEW BEST:: SOT 7972364 SOS 5421579 HAS SOPS 3596026 HAS SOUS 3442119 HAS SOUPS 3264351 WITH SCORE 3269772.579
AT ITER 600 NEW BEST:: SOT 7972680 SOS 5421895 HAS SOPS 3595911 HAS SOUS 3442169 HAS SOUPS 3264236 WITH SCORE 3269657.895
AT ITER 606 NEW BEST:: SOT 7972838 SOS 5422210 HAS SOPS 3595745 HAS SOUS 3442003 HAS SOUPS 3264070 WITH SCORE 3269492.21
AT ITER 609 NEW BEST:: SOT 7972838 SOS 5422210 HAS SOPS 3595664 HAS SOUS 3442065 HAS SOUPS 3263989 WITH SCORE 3269411.21
AT ITER 618 NEW BEST:: SOT 7972875 SOS 5422247 HAS SOPS 3593737 HAS SOUS 3441594 HAS SOUPS 3262062 WITH SCORE 3267484.247
AT ITER 621 NEW BEST:: SOT 7972875 SOS 5422247 HAS SOPS 3593736 HAS SOUS 3441593 HAS SOUPS 3262061 WITH SCORE 3267483.247
AT ITER 623 NEW BEST:: SOT 7972913 SOS 5422285 HAS SOPS 3593159 HAS SOUS 3441016 HAS SOUPS 3261484 WITH SCORE 3266906.285
AT ITER 625 NEW BEST:: SOT 7972660 SOS 5417123 HAS SOPS 3593159 HAS SOUS 3440510 HAS SOUPS 3261484 WITH SCORE 3266901.123
AT ITER 648 NEW BEST:: SOT 7972696 SOS 5417159 HAS SOPS 3591670 HAS SOUS 3439535 HAS SOUPS 3259995 WITH SCORE 3265412.159
AT ITER 651 NEW BEST:: SOT 7972696 SOS 5417159 HAS SOPS 3590989 HAS SOUS 3439006 HAS SOUPS 3259314 WITH SCORE 3264731.159
AT ITER 652 NEW BEST:: SOT 7972781 SOS 5417381 HAS SOPS 3590274 HAS SOUS 3439281 HAS SOUPS 3258599 WITH SCORE 3264016.381
AT ITER 653 NEW BEST:: SOT 7972781 SOS 5417381 HAS SOPS 3589691 HAS SOUS 3438956 HAS SOUPS 3258016 WITH SCORE 3263433.381
AT ITER 663 NEW BEST:: SOT 7972775 SOS 5417375 HAS SOPS 3589685 HAS SOUS 3438950 HAS SOUPS 3258010 WITH SCORE 3263427.375
AT ITER 664 NEW BEST:: SOT 7973165 SOS 5417765 HAS SOPS 3589492 HAS SOUS 3438927 HAS SOUPS 3257817 WITH SCORE 3263234.765
AT ITER 669 NEW BEST:: SOT 7973165 SOS 5417765 HAS SOPS 3588350 HAS SOUS 3437785 HAS SOUPS 3256675 WITH SCORE 3262092.765
AT ITER 673 NEW BEST:: SOT 7972572 SOS 5417172 HAS SOPS 3586570 HAS SOUS 3436599 HAS SOUPS 3254895 WITH SCORE 3260312.172
AT ITER 677 NEW BEST:: SOT 7973384 SOS 5417984 HAS SOPS 3586569 HAS SOUS 3436978 HAS SOUPS 3254894 WITH SCORE 3260311.984
AT ITER 679 NEW BEST:: SOT 7973344 SOS 5417944 HAS SOPS 3586529 HAS SOUS 3436938 HAS SOUPS 3254854 WITH SCORE 3260271.944
AT ITER 683 NEW BEST:: SOT 7973344 SOS 5417944 HAS SOPS 3586311 HAS SOUS 3436721 HAS SOUPS 3254636 WITH SCORE 3260053.944
AT ITER 685 NEW BEST:: SOT 7973344 SOS 5417944 HAS SOPS 3586099 HAS SOUS 3436509 HAS SOUPS 3254424 WITH SCORE 3259841.944
AT ITER 694 NEW BEST:: SOT 7973274 SOS 5419204 HAS SOPS 3585959 HAS SOUS 3436509 HAS SOUPS 3254284 WITH SCORE 3259703.204
AT ITER 696 NEW BEST:: SOT 7973259 SOS 5419189 HAS SOPS 3585515 HAS SOUS 3436065 HAS SOUPS 3253840 WITH SCORE 3259259.189
AT ITER 697 NEW BEST:: SOT 7973259 SOS 5419189 HAS SOPS 3585446 HAS SOUS 3435996 HAS SOUPS 3253771 WITH SCORE 3259190.189
AT ITER 706 NEW BEST:: SOT 7973364 SOS 5419294 HAS SOPS 3584115 HAS SOUS 3435677 HAS SOUPS 3252440 WITH SCORE 3257859.294
AT ITER 707 NEW BEST:: SOT 7973337 SOS 5419267 HAS SOPS 3584088 HAS SOUS 3435650 HAS SOUPS 3252413 WITH SCORE 3257832.267
AT ITER 714 NEW BEST:: SOT 7973352 SOS 5419282 HAS SOPS 3583304 HAS SOUS 3435191 HAS SOUPS 3251629 WITH SCORE 3257048.282
AT ITER 722 NEW BEST:: SOT 7973310 SOS 5419198 HAS SOPS 3581791 HAS SOUS 3433678 HAS SOUPS 3250116 WITH SCORE 3255535.198
AT ITER 726 NEW BEST:: SOT 7973554 SOS 5419442 HAS SOPS 3581667 HAS SOUS 3433554 HAS SOUPS 3249992 WITH SCORE 3255411.442
AT ITER 737 NEW BEST:: SOT 7973063 SOS 5418951 HAS SOPS 3580534 HAS SOUS 3432766 HAS SOUPS 3248859 WITH SCORE 3254277.951
AT ITER 739 NEW BEST:: SOT 7973319 SOS 5419207 HAS SOPS 3580248 HAS SOUS 3432940 HAS SOUPS 3248573 WITH SCORE 3253992.207
AT ITER 742 NEW BEST:: SOT 7973319 SOS 5419207 HAS SOPS 3579992 HAS SOUS 3432721 HAS SOUPS 3248317 WITH SCORE 3253736.207
AT ITER 750 NEW BEST:: SOT 7973609 SOS 5419823 HAS SOPS 3579446 HAS SOUS 3433142 HAS SOUPS 3247771 WITH SCORE 3253190.823
AT ITER 755 NEW BEST:: SOT 7973944 SOS 5420407 HAS SOPS 3579299 HAS SOUS 3434355 HAS SOUPS 3247624 WITH SCORE 3253044.407
AT ITER 762 NEW BEST:: SOT 7973944 SOS 5420407 HAS SOPS 3579181 HAS SOUS 3434237 HAS SOUPS 3247506 WITH SCORE 3252926.407
AT ITER 771 NEW BEST:: SOT 7973944 SOS 5420407 HAS SOPS 3578474 HAS SOUS 3433939 HAS SOUPS 3246799 WITH SCORE 3252219.407
AT ITER 775 NEW BEST:: SOT 7973944 SOS 5420407 HAS SOPS 3577947 HAS SOUS 3433557 HAS SOUPS 3246272 WITH SCORE 3251692.407
AT ITER 778 NEW BEST:: SOT 7973944 SOS 5420407 HAS SOPS 3577503 HAS SOUS 3433165 HAS SOUPS 3245828 WITH SCORE 3251248.407
AT ITER 780 NEW BEST:: SOT 7973680 SOS 5420143 HAS SOPS 3577503 HAS SOUS 3433020 HAS SOUPS 3245828 WITH SCORE 3251248.143
AT ITER 786 NEW BEST:: SOT 7973680 SOS 5420060 HAS SOPS 3577251 HAS SOUS 3432768 HAS SOUPS 3245576 WITH SCORE 3250996.06
AT ITER 787 NEW BEST:: SOT 7973680 SOS 5420060 HAS SOPS 3576920 HAS SOUS 3432528 HAS SOUPS 3245245 WITH SCORE 3250665.06
AT ITER 790 NEW BEST:: SOT 7973787 SOS 5420273 HAS SOPS 3576195 HAS SOUS 3432568 HAS SOUPS 3244520 WITH SCORE 3249940.273
AT ITER 792 NEW BEST:: SOT 7973847 SOS 5421953 HAS SOPS 3576174 HAS SOUS 3432709 HAS SOUPS 3244499 WITH SCORE 3249920.953
AT ITER 795 NEW BEST:: SOT 7973847 SOS 5421953 HAS SOPS 3575854 HAS SOUS 3432389 HAS SOUPS 3244179 WITH SCORE 3249600.953
AT ITER 797 NEW BEST:: SOT 7973847 SOS 5421953 HAS SOPS 3575419 HAS SOUS 3432316 HAS SOUPS 3243744 WITH SCORE 3249165.953
AT ITER 803 NEW BEST:: SOT 7973847 SOS 5421953 HAS SOPS 3573954 HAS SOUS 3431018 HAS SOUPS 3242279 WITH SCORE 3247700.953
AT ITER 804 NEW BEST:: SOT 7973758 SOS 5421930 HAS SOPS 3572679 HAS SOUS 3429811 HAS SOUPS 3241004 WITH SCORE 3246425.93
AT ITER 809 NEW BEST:: SOT 7974134 SOS 5422681 HAS SOPS 3572227 HAS SOUS 3430488 HAS SOUPS 3240552 WITH SCORE 3245974.681
AT ITER 811 NEW BEST:: SOT 7974031 SOS 5422475 HAS SOPS 3572124 HAS SOUS 3430385 HAS SOUPS 3240449 WITH SCORE 3245871.475
AT ITER 814 NEW BEST:: SOT 7974043 SOS 5422302 HAS SOPS 3571746 HAS SOUS 3430019 HAS SOUPS 3240083 WITH SCORE 3245505.302
AT ITER 819 NEW BEST:: SOT 7974043 SOS 5422302 HAS SOPS 3571745 HAS SOUS 3430018 HAS SOUPS 3240082 WITH SCORE 3245504.302
AT ITER 820 NEW BEST:: SOT 7974043 SOS 5422302 HAS SOPS 3571708 HAS SOUS 3430018 HAS SOUPS 3240045 WITH SCORE 3245467.302
AT ITER 830 NEW BEST:: SOT 7974043 SOS 5422302 HAS SOPS 3571461 HAS SOUS 3429771 HAS SOUPS 3239798 WITH SCORE 3245220.302
AT ITER 832 NEW BEST:: SOT 7974043 SOS 5422262 HAS SOPS 3571370 HAS SOUS 3429680 HAS SOUPS 3239707 WITH SCORE 3245129.262
AT ITER 834 NEW BEST:: SOT 7974043 SOS 5422262 HAS SOPS 3571366 HAS SOUS 3429676 HAS SOUPS 3239703 WITH SCORE 3245125.262
AT ITER 848 NEW BEST:: SOT 7974313 SOS 5422857 HAS SOPS 3570692 HAS SOUS 3429435 HAS SOUPS 3239029 WITH SCORE 3244451.857
AT ITER 853 NEW BEST:: SOT 7974313 SOS 5422857 HAS SOPS 3569848 HAS SOUS 3428591 HAS SOUPS 3238185 WITH SCORE 3243607.857
AT ITER 857 NEW BEST:: SOT 7974437 SOS 5422981 HAS SOPS 3569677 HAS SOUS 3428420 HAS SOUPS 3238014 WITH SCORE 3243436.981
AT ITER 859 NEW BEST:: SOT 7974437 SOS 5422981 HAS SOPS 3569624 HAS SOUS 3428367 HAS SOUPS 3237961 WITH SCORE 3243383.981
AT ITER 866 NEW BEST:: SOT 7973994 SOS 5422538 HAS SOPS 3569436 HAS SOUS 3428179 HAS SOUPS 3237773 WITH SCORE 3243195.538
AT ITER 869 NEW BEST:: SOT 7973994 SOS 5422538 HAS SOPS 3568905 HAS SOUS 3427679 HAS SOUPS 3237242 WITH SCORE 3242664.538
AT ITER 871 NEW BEST:: SOT 7973994 SOS 5422538 HAS SOPS 3568626 HAS SOUS 3427400 HAS SOUPS 3236963 WITH SCORE 3242385.538
AT ITER 872 NEW BEST:: SOT 7974110 SOS 5422654 HAS SOPS 3568358 HAS SOUS 3427395 HAS SOUPS 3236695 WITH SCORE 3242117.654
AT ITER 874 NEW BEST:: SOT 7974170 SOS 5431894 HAS SOPS 3567559 HAS SOUS 3427256 HAS SOUPS 3235896 WITH SCORE 3241327.894
AT ITER 886 NEW BEST:: SOT 7974170 SOS 5431894 HAS SOPS 3567271 HAS SOUS 3427256 HAS SOUPS 3235608 WITH SCORE 3241039.894
AT ITER 888 NEW BEST:: SOT 7974292 SOS 5432137 HAS SOPS 3567197 HAS SOUS 3428243 HAS SOUPS 3235534 WITH SCORE 3240966.137
AT ITER 898 NEW BEST:: SOT 7974307 SOS 5434552 HAS SOPS 3567088 HAS SOUS 3428305 HAS SOUPS 3235425 WITH SCORE 3240859.552
AT ITER 910 NEW BEST:: SOT 7974307 SOS 5434552 HAS SOPS 3566953 HAS SOUS 3428794 HAS SOUPS 3235290 WITH SCORE 3240724.552
AT ITER 913 NEW BEST:: SOT 7973856 SOS 5434101 HAS SOPS 3565233 HAS SOUS 3427892 HAS SOUPS 3233570 WITH SCORE 3239004.101
AT ITER 918 NEW BEST:: SOT 7974537 SOS 5434834 HAS SOPS 3565082 HAS SOUS 3427741 HAS SOUPS 3233419 WITH SCORE 3238853.834
AT ITER 925 NEW BEST:: SOT 7974537 SOS 5434834 HAS SOPS 3565056 HAS SOUS 3427741 HAS SOUPS 3233393 WITH SCORE 3238827.834
AT ITER 930 NEW BEST:: SOT 7974542 SOS 5434839 HAS SOPS 3564987 HAS SOUS 3427672 HAS SOUPS 3233324 WITH SCORE 3238758.839
AT ITER 931 NEW BEST:: SOT 7974484 SOS 5434781 HAS SOPS 3564506 HAS SOUS 3426971 HAS SOUPS 3232843 WITH SCORE 3238277.781
AT ITER 937 NEW BEST:: SOT 7974199 SOS 5434496 HAS SOPS 3564221 HAS SOUS 3426686 HAS SOUPS 3232558 WITH SCORE 3237992.496
AT ITER 938 NEW BEST:: SOT 7974249 SOS 5443006 HAS SOPS 3563874 HAS SOUS 3426730 HAS SOUPS 3232211 WITH SCORE 3237654.006
AT ITER 939 NEW BEST:: SOT 7974249 SOS 5443006 HAS SOPS 3563397 HAS SOUS 3426253 HAS SOUPS 3231734 WITH SCORE 3237177.006
AT ITER 943 NEW BEST:: SOT 7974249 SOS 5443006 HAS SOPS 3562782 HAS SOUS 3425638 HAS SOUPS 3231119 WITH SCORE 3236562.006
AT ITER 945 NEW BEST:: SOT 7974249 SOS 5442962 HAS SOPS 3562699 HAS SOUS 3425555 HAS SOUPS 3231036 WITH SCORE 3236478.962
AT ITER 947 NEW BEST:: SOT 7256982 SOS 4726951 HAS SOPS 2845015 HAS SOUS 2708047 HAS SOUPS 2513352 WITH SCORE 2518078.951
AT ITER 948 NEW BEST:: SOT 7256645 SOS 4726614 HAS SOPS 2844341 HAS SOUS 2707373 HAS SOUPS 2512678 WITH SCORE 2517404.614
AT ITER 960 NEW BEST:: SOT 7256297 SOS 4731282 HAS SOPS 2843729 HAS SOUS 2707289 HAS SOUPS 2512066 WITH SCORE 2516797.282
AT ITER 962 NEW BEST:: SOT 7256312 SOS 4731297 HAS SOPS 2843476 HAS SOUS 2707140 HAS SOUPS 2511813 WITH SCORE 2516544.297
AT ITER 969 NEW BEST:: SOT 7255940 SOS 4717998 HAS SOPS 2810226 HAS SOUS 2685790 HAS SOUPS 2490463 WITH SCORE 2495180.998
AT ITER 982 NEW BEST:: SOT 7256627 SOS 4718685 HAS SOPS 2810172 HAS SOUS 2686179 HAS SOUPS 2490409 WITH SCORE 2495127.685
AT ITER 986 NEW BEST:: SOT 7256075 SOS 4718133 HAS SOPS 2809698 HAS SOUS 2685602 HAS SOUPS 2489935 WITH SCORE 2494653.133
AT ITER 988 NEW BEST:: SOT 7255770 SOS 4717828 HAS SOPS 2808404 HAS SOUS 2684698 HAS SOUPS 2488641 WITH SCORE 2493358.828
AT ITER 989 NEW BEST:: SOT 7255636 SOS 4717694 HAS SOPS 2808136 HAS SOUS 2684430 HAS SOUPS 2488373 WITH SCORE 2493090.694
AT ITER 994 NEW BEST:: SOT 7255461 SOS 4717519 HAS SOPS 2807786 HAS SOUS 2684255 HAS SOUPS 2488023 WITH SCORE 2492740.519
AT ITER 997 NEW BEST:: SOT 7255460 SOS 4717518 HAS SOPS 2807784 HAS SOUS 2684253 HAS SOUPS 2488021 WITH SCORE 2492738.518
AT ITER 1007 NEW BEST:: SOT 7255254 SOS 4717312 HAS SOPS 2807372 HAS SOUS 2683841 HAS SOUPS 2487609 WITH SCORE 2492326.312
AT ITER 1018 NEW BEST:: SOT 7255254 SOS 4717312 HAS SOPS 2806976 HAS SOUS 2683499 HAS SOUPS 2487213 WITH SCORE 2491930.312
AT ITER 1033 NEW BEST:: SOT 7255254 SOS 4717312 HAS SOPS 2806322 HAS SOUS 2682845 HAS SOUPS 2486559 WITH SCORE 2491276.312
AT ITER 1042 NEW BEST:: SOT 7255254 SOS 4717312 HAS SOPS 2805853 HAS SOUS 2682376 HAS SOUPS 2486090 WITH SCORE 2490807.312
AT ITER 1052 NEW BEST:: SOT 7254943 SOS 4717001 HAS SOPS 2805231 HAS SOUS 2681589 HAS SOUPS 2485468 WITH SCORE 2490185.001
AT ITER 1055 NEW BEST:: SOT 7254942 SOS 4717000 HAS SOPS 2804445 HAS SOUS 2681362 HAS SOUPS 2484682 WITH SCORE 2489399.0
AT ITER 1063 NEW BEST:: SOT 7254736 SOS 4716443 HAS SOPS 2804033 HAS SOUS 2680950 HAS SOUPS 2484270 WITH SCORE 2488986.443
AT ITER 1064 NEW BEST:: SOT 7254736 SOS 4716443 HAS SOPS 2803634 HAS SOUS 2680551 HAS SOUPS 2483871 WITH SCORE 2488587.443
AT ITER 1077 NEW BEST:: SOT 7254251 SOS 4715997 HAS SOPS 2802315 HAS SOUS 2679232 HAS SOUPS 2482552 WITH SCORE 2487267.997
AT ITER 1081 NEW BEST:: SOT 7254083 SOS 4715829 HAS SOPS 2801979 HAS SOUS 2679064 HAS SOUPS 2482216 WITH SCORE 2486931.829
AT ITER 1089 NEW BEST:: SOT 7254078 SOS 4715824 HAS SOPS 2801969 HAS SOUS 2679054 HAS SOUPS 2482206 WITH SCORE 2486921.824
AT ITER 1094 NEW BEST:: SOT 7253770 SOS 4715516 HAS SOPS 2801281 HAS SOUS 2678366 HAS SOUPS 2481518 WITH SCORE 2486233.516
AT ITER 1102 NEW BEST:: SOT 7253704 SOS 4715450 HAS SOPS 2801149 HAS SOUS 2678300 HAS SOUPS 2481386 WITH SCORE 2486101.45
AT ITER 1104 NEW BEST:: SOT 7253401 SOS 4715147 HAS SOPS 2800543 HAS SOUS 2677997 HAS SOUPS 2480780 WITH SCORE 2485495.147
AT ITER 1120 NEW BEST:: SOT 7253865 SOS 4715611 HAS SOPS 2799977 HAS SOUS 2677468 HAS SOUPS 2480214 WITH SCORE 2484929.611
AT ITER 1124 NEW BEST:: SOT 7253637 SOS 4715513 HAS SOPS 2799419 HAS SOUS 2677984 HAS SOUPS 2479656 WITH SCORE 2484371.513
AT ITER 1127 NEW BEST:: SOT 7253189 SOS 4715373 HAS SOPS 2798151 HAS SOUS 2676744 HAS SOUPS 2478388 WITH SCORE 2483103.373
AT ITER 1136 NEW BEST:: SOT 7253189 SOS 4715373 HAS SOPS 2797905 HAS SOUS 2676498 HAS SOUPS 2478142 WITH SCORE 2482857.373
AT ITER 1137 NEW BEST:: SOT 7253809 SOS 4715993 HAS SOPS 2797840 HAS SOUS 2676174 HAS SOUPS 2478077 WITH SCORE 2482792.993
AT ITER 1148 NEW BEST:: SOT 7253858 SOS 4716314 HAS SOPS 2797139 HAS SOUS 2675473 HAS SOUPS 2477376 WITH SCORE 2482092.314
AT ITER 1153 NEW BEST:: SOT 7253790 SOS 4716246 HAS SOPS 2797003 HAS SOUS 2675405 HAS SOUPS 2477240 WITH SCORE 2481956.246
AT ITER 1161 NEW BEST:: SOT 7253792 SOS 4716555 HAS SOPS 2796255 HAS SOUS 2675983 HAS SOUPS 2476492 WITH SCORE 2481208.555
AT ITER 1162 NEW BEST:: SOT 7253572 SOS 4716335 HAS SOPS 2795815 HAS SOUS 2675763 HAS SOUPS 2476052 WITH SCORE 2480768.335
AT ITER 1172 NEW BEST:: SOT 7253379 SOS 4715831 HAS SOPS 2795815 HAS SOUS 2675570 HAS SOUPS 2476052 WITH SCORE 2480767.831
AT ITER 1182 NEW BEST:: SOT 7253767 SOS 4716219 HAS SOPS 2795517 HAS SOUS 2675456 HAS SOUPS 2475754 WITH SCORE 2480470.219
AT ITER 1194 NEW BEST:: SOT 7253767 SOS 4718399 HAS SOPS 2795295 HAS SOUS 2675343 HAS SOUPS 2475532 WITH SCORE 2480250.399
AT ITER 1216 NEW BEST:: SOT 7251944 SOS 4716718 HAS SOPS 2791506 HAS SOUS 2672708 HAS SOUPS 2471743 WITH SCORE 2476459.718
AT ITER 1228 NEW BEST:: SOT 7251963 SOS 4716857 HAS SOPS 2790960 HAS SOUS 2673252 HAS SOUPS 2471197 WITH SCORE 2475913.857
AT ITER 1232 NEW BEST:: SOT 7252016 SOS 4717121 HAS SOPS 2790905 HAS SOUS 2673197 HAS SOUPS 2471142 WITH SCORE 2475859.121
AT ITER 1246 NEW BEST:: SOT 7252396 SOS 4717501 HAS SOPS 2790275 HAS SOUS 2673219 HAS SOUPS 2470512 WITH SCORE 2475229.501
AT ITER 1248 NEW BEST:: SOT 7252675 SOS 4718192 HAS SOPS 2789718 HAS SOUS 2672662 HAS SOUPS 2469955 WITH SCORE 2474673.192
AT ITER 1249 NEW BEST:: SOT 7252549 SOS 4718066 HAS SOPS 2789718 HAS SOUS 2672536 HAS SOUPS 2469955 WITH SCORE 2474673.066
AT ITER 1250 NEW BEST:: SOT 7252513 SOS 4718030 HAS SOPS 2789232 HAS SOUS 2671929 HAS SOUPS 2469469 WITH SCORE 2474187.03
AT ITER 1251 NEW BEST:: SOT 7252513 SOS 4718030 HAS SOPS 2789228 HAS SOUS 2672005 HAS SOUPS 2469465 WITH SCORE 2474183.03
AT ITER 1254 NEW BEST:: SOT 7258556 SOS 4698511 HAS SOPS 2762539 HAS SOUS 2670614 HAS SOUPS 2468074 WITH SCORE 2472772.511
AT ITER 1269 NEW BEST:: SOT 7259106 SOS 4699061 HAS SOPS 2762537 HAS SOUS 2670612 HAS SOUPS 2468072 WITH SCORE 2472771.061
AT ITER 1271 NEW BEST:: SOT 7258597 SOS 4698552 HAS SOPS 2761519 HAS SOUS 2669462 HAS SOUPS 2467054 WITH SCORE 2471752.552
AT ITER 1274 NEW BEST:: SOT 7258597 SOS 4698552 HAS SOPS 2761293 HAS SOUS 2669236 HAS SOUPS 2466828 WITH SCORE 2471526.552
AT ITER 1285 NEW BEST:: SOT 7258627 SOS 4698582 HAS SOPS 2760382 HAS SOUS 2668140 HAS SOUPS 2465917 WITH SCORE 2470615.582
AT ITER 1286 NEW BEST:: SOT 7258466 SOS 4702639 HAS SOPS 2759999 HAS SOUS 2668201 HAS SOUPS 2465534 WITH SCORE 2470236.639
AT ITER 1307 NEW BEST:: SOT 7258465 SOS 4702638 HAS SOPS 2759860 HAS SOUS 2668062 HAS SOUPS 2465395 WITH SCORE 2470097.638
AT ITER 1308 NEW BEST:: SOT 7257956 SOS 4702518 HAS SOPS 2758523 HAS SOUS 2667868 HAS SOUPS 2464058 WITH SCORE 2468760.518
AT ITER 1326 NEW BEST:: SOT 7258115 SOS 4702677 HAS SOPS 2757979 HAS SOUS 2667324 HAS SOUPS 2463514 WITH SCORE 2468216.677
AT ITER 1328 NEW BEST:: SOT 7258004 SOS 4702566 HAS SOPS 2757868 HAS SOUS 2667213 HAS SOUPS 2463403 WITH SCORE 2468105.566
AT ITER 1332 NEW BEST:: SOT 7258619 SOS 4703181 HAS SOPS 2757273 HAS SOUS 2666787 HAS SOUPS 2462808 WITH SCORE 2467511.181
AT ITER 1336 NEW BEST:: SOT 7258737 SOS 4703299 HAS SOPS 2757045 HAS SOUS 2666786 HAS SOUPS 2462580 WITH SCORE 2467283.299
AT ITER 1339 NEW BEST:: SOT 7258737 SOS 4703299 HAS SOPS 2756229 HAS SOUS 2666538 HAS SOUPS 2461764 WITH SCORE 2466467.299
AT ITER 1350 NEW BEST:: SOT 7258385 SOS 4702947 HAS SOPS 2754591 HAS SOUS 2664995 HAS SOUPS 2460126 WITH SCORE 2464828.947
AT ITER 1351 NEW BEST:: SOT 7257891 SOS 4702453 HAS SOPS 2753538 HAS SOUS 2664501 HAS SOUPS 2459073 WITH SCORE 2463775.453
AT ITER 1353 NEW BEST:: SOT 7257725 SOS 4702684 HAS SOPS 2752889 HAS SOUS 2663990 HAS SOUPS 2458424 WITH SCORE 2463126.684
AT ITER 1363 NEW BEST:: SOT 7257725 SOS 4702684 HAS SOPS 2752803 HAS SOUS 2663956 HAS SOUPS 2458338 WITH SCORE 2463040.684
AT ITER 1370 NEW BEST:: SOT 7256834 SOS 4701950 HAS SOPS 2752441 HAS SOUS 2663415 HAS SOUPS 2457976 WITH SCORE 2462677.95
AT ITER 1375 NEW BEST:: SOT 7256632 SOS 4702110 HAS SOPS 2751737 HAS SOUS 2662711 HAS SOUPS 2457272 WITH SCORE 2461974.11
AT ITER 1387 NEW BEST:: SOT 7256610 SOS 4702066 HAS SOPS 2751693 HAS SOUS 2662667 HAS SOUPS 2457228 WITH SCORE 2461930.066
AT ITER 1394 NEW BEST:: SOT 7256610 SOS 4702066 HAS SOPS 2751558 HAS SOUS 2662532 HAS SOUPS 2457093 WITH SCORE 2461795.066
AT ITER 1401 NEW BEST:: SOT 7256430 SOS 4701886 HAS SOPS 2751378 HAS SOUS 2662442 HAS SOUPS 2456913 WITH SCORE 2461614.886
AT ITER 1403 NEW BEST:: SOT 7256540 SOS 4702259 HAS SOPS 2751140 HAS SOUS 2662204 HAS SOUPS 2456675 WITH SCORE 2461377.259
AT ITER 1405 NEW BEST:: SOT 7256572 SOS 4702363 HAS SOPS 2750698 HAS SOUS 2661762 HAS SOUPS 2456233 WITH SCORE 2460935.363
AT ITER 1409 NEW BEST:: SOT 7256391 SOS 4702182 HAS SOPS 2750336 HAS SOUS 2661202 HAS SOUPS 2455871 WITH SCORE 2460573.182
AT ITER 1410 NEW BEST:: SOT 7256336 SOS 4702127 HAS SOPS 2750226 HAS SOUS 2661092 HAS SOUPS 2455761 WITH SCORE 2460463.127
AT ITER 1427 NEW BEST:: SOT 7255996 SOS 4701055 HAS SOPS 2750122 HAS SOUS 2660914 HAS SOUPS 2455657 WITH SCORE 2460358.055
AT ITER 1441 NEW BEST:: SOT 7256958 SOS 4702563 HAS SOPS 2750060 HAS SOUS 2661939 HAS SOUPS 2455595 WITH SCORE 2460297.563
AT ITER 1445 NEW BEST:: SOT 7256827 SOS 4702697 HAS SOPS 2749497 HAS SOUS 2661376 HAS SOUPS 2455032 WITH SCORE 2459734.697
AT ITER 1465 NEW BEST:: SOT 7256282 SOS 4702341 HAS SOPS 2748272 HAS SOUS 2660631 HAS SOUPS 2453807 WITH SCORE 2458509.341
AT ITER 1466 NEW BEST:: SOT 7261941 SOS 4707531 HAS SOPS 2744004 HAS SOUS 2656363 HAS SOUPS 2449539 WITH SCORE 2454246.531
AT ITER 1469 NEW BEST:: SOT 7261574 SOS 4707565 HAS SOPS 2743239 HAS SOUS 2655610 HAS SOUPS 2448774 WITH SCORE 2453481.565
AT ITER 1472 NEW BEST:: SOT 7260958 SOS 4707128 HAS SOPS 2741805 HAS SOUS 2654176 HAS SOUPS 2447340 WITH SCORE 2452047.128
AT ITER 1499 NEW BEST:: SOT 7261817 SOS 4708092 HAS SOPS 2741268 HAS SOUS 2653639 HAS SOUPS 2446803 WITH SCORE 2451511.092
AT ITER 1506 NEW BEST:: SOT 7261723 SOS 4708922 HAS SOPS 2740750 HAS SOUS 2653121 HAS SOUPS 2446285 WITH SCORE 2450993.922
AT ITER 1510 NEW BEST:: SOT 7261723 SOS 4708922 HAS SOPS 2740348 HAS SOUS 2652719 HAS SOUPS 2445883 WITH SCORE 2450591.922
AT ITER 1513 NEW BEST:: SOT 7261544 SOS 4709027 HAS SOPS 2739959 HAS SOUS 2652547 HAS SOUPS 2445494 WITH SCORE 2450203.027
AT ITER 1517 NEW BEST:: SOT 7261544 SOS 4709024 HAS SOPS 2739959 HAS SOUS 2652547 HAS SOUPS 2445494 WITH SCORE 2450203.024
AT ITER 1530 NEW BEST:: SOT 7256556 SOS 4704197 HAS SOPS 2735618 HAS SOUS 2647720 HAS SOUPS 2441153 WITH SCORE 2445857.197
AT ITER 1534 NEW BEST:: SOT 7256418 SOS 4704055 HAS SOPS 2735044 HAS SOUS 2647146 HAS SOUPS 2440579 WITH SCORE 2445283.055
AT ITER 1537 NEW BEST:: SOT 7256116 SOS 4703753 HAS SOPS 2734809 HAS SOUS 2646911 HAS SOUPS 2440344 WITH SCORE 2445047.753
AT ITER 1557 NEW BEST:: SOT 7256156 SOS 4706853 HAS SOPS 2734692 HAS SOUS 2647081 HAS SOUPS 2440227 WITH SCORE 2444933.853
AT ITER 1560 NEW BEST:: SOT 7256318 SOS 4707015 HAS SOPS 2734501 HAS SOUS 2646897 HAS SOUPS 2440036 WITH SCORE 2444743.015
AT ITER 1565 NEW BEST:: SOT 7256077 SOS 4707093 HAS SOPS 2733428 HAS SOUS 2645824 HAS SOUPS 2438963 WITH SCORE 2443670.093
AT ITER 1567 NEW BEST:: SOT 7256192 SOS 4707208 HAS SOPS 2733377 HAS SOUS 2645681 HAS SOUPS 2438912 WITH SCORE 2443619.208
AT ITER 1577 NEW BEST:: SOT 7256688 SOS 4708163 HAS SOPS 2733056 HAS SOUS 2645360 HAS SOUPS 2438591 WITH SCORE 2443299.163
AT ITER 1597 NEW BEST:: SOT 7256704 SOS 4708460 HAS SOPS 2732634 HAS SOUS 2644938 HAS SOUPS 2438169 WITH SCORE 2442877.46
AT ITER 1614 NEW BEST:: SOT 7256794 SOS 4708550 HAS SOPS 2731244 HAS SOUS 2643828 HAS SOUPS 2436779 WITH SCORE 2441487.55
AT ITER 1620 NEW BEST:: SOT 7256646 SOS 4708402 HAS SOPS 2730948 HAS SOUS 2643543 HAS SOUPS 2436483 WITH SCORE 2441191.402
AT ITER 1629 NEW BEST:: SOT 7256800 SOS 4709014 HAS SOPS 2730597 HAS SOUS 2643192 HAS SOUPS 2436132 WITH SCORE 2440841.014
AT ITER 1635 NEW BEST:: SOT 7256862 SOS 4714616 HAS SOPS 2730378 HAS SOUS 2643394 HAS SOUPS 2435913 WITH SCORE 2440627.616
AT ITER 1642 NEW BEST:: SOT 7256884 SOS 4714638 HAS SOPS 2730079 HAS SOUS 2643190 HAS SOUPS 2435614 WITH SCORE 2440328.638
AT ITER 1659 NEW BEST:: SOT 7256884 SOS 4714638 HAS SOPS 2729871 HAS SOUS 2642982 HAS SOUPS 2435406 WITH SCORE 2440120.638
AT ITER 1668 NEW BEST:: SOT 7257005 SOS 4714759 HAS SOPS 2729310 HAS SOUS 2642421 HAS SOUPS 2434845 WITH SCORE 2439559.759
AT ITER 1669 NEW BEST:: SOT 7256904 SOS 4714658 HAS SOPS 2729108 HAS SOUS 2642320 HAS SOUPS 2434643 WITH SCORE 2439357.658
AT ITER 1672 NEW BEST:: SOT 7256654 SOS 4714408 HAS SOPS 2728500 HAS SOUS 2641712 HAS SOUPS 2434035 WITH SCORE 2438749.408
AT ITER 1675 NEW BEST:: SOT 7256421 SOS 4714175 HAS SOPS 2728325 HAS SOUS 2641537 HAS SOUPS 2433860 WITH SCORE 2438574.175
AT ITER 1701 NEW BEST:: SOT 7255757 SOS 4713567 HAS SOPS 2727349 HAS SOUS 2640661 HAS SOUPS 2432984 WITH SCORE 2437697.567
AT ITER 1726 NEW BEST:: SOT 7255292 SOS 4695897 HAS SOPS 2710144 HAS SOUS 2639731 HAS SOUPS 2432054 WITH SCORE 2436749.897
AT ITER 1728 NEW BEST:: SOT 7254837 SOS 4695604 HAS SOPS 2708861 HAS SOUS 2638448 HAS SOUPS 2430771 WITH SCORE 2435466.604
AT ITER 1730 NEW BEST:: SOT 7254480 SOS 4695256 HAS SOPS 2708252 HAS SOUS 2637839 HAS SOUPS 2430162 WITH SCORE 2434857.256
AT ITER 1736 NEW BEST:: SOT 7254151 SOS 4695132 HAS SOPS 2707555 HAS SOUS 2637322 HAS SOUPS 2429465 WITH SCORE 2434160.132
AT ITER 1739 NEW BEST:: SOT 7253714 SOS 4694695 HAS SOPS 2706951 HAS SOUS 2636718 HAS SOUPS 2428861 WITH SCORE 2433555.695
AT ITER 1746 NEW BEST:: SOT 7253153 SOS 4694146 HAS SOPS 2705816 HAS SOUS 2635877 HAS SOUPS 2427726 WITH SCORE 2432420.146
AT ITER 1747 NEW BEST:: SOT 7253153 SOS 4694146 HAS SOPS 2705492 HAS SOUS 2635553 HAS SOUPS 2427402 WITH SCORE 2432096.146
AT ITER 1748 NEW BEST:: SOT 7253119 SOS 4693625 HAS SOPS 2705676 HAS SOUS 2635314 HAS SOUPS 2427236 WITH SCORE 2431929.625
AT ITER 1752 NEW BEST:: SOT 7253108 SOS 4693614 HAS SOPS 2705159 HAS SOUS 2634598 HAS SOUPS 2426719 WITH SCORE 2431412.614
AT ITER 1754 NEW BEST:: SOT 7252777 SOS 4693453 HAS SOPS 2703992 HAS SOUS 2633431 HAS SOUPS 2425552 WITH SCORE 2430245.453
AT ITER 1758 NEW BEST:: SOT 7252791 SOS 4693467 HAS SOPS 2703773 HAS SOUS 2633438 HAS SOUPS 2425333 WITH SCORE 2430026.467
AT ITER 1762 NEW BEST:: SOT 7252790 SOS 4693466 HAS SOPS 2703771 HAS SOUS 2633442 HAS SOUPS 2425331 WITH SCORE 2430024.466
AT ITER 1772 NEW BEST:: SOT 7252786 SOS 4693462 HAS SOPS 2703767 HAS SOUS 2633438 HAS SOUPS 2425327 WITH SCORE 2430020.462
AT ITER 1781 NEW BEST:: SOT 7253686 SOS 4694362 HAS SOPS 2703367 HAS SOUS 2633811 HAS SOUPS 2424927 WITH SCORE 2429621.362
AT ITER 1785 NEW BEST:: SOT 7253502 SOS 4694178 HAS SOPS 2703183 HAS SOUS 2633627 HAS SOUPS 2424743 WITH SCORE 2429437.178
AT ITER 1790 NEW BEST:: SOT 7252658 SOS 4693385 HAS SOPS 2703053 HAS SOUS 2633406 HAS SOUPS 2424644 WITH SCORE 2429337.385
AT ITER 1799 NEW BEST:: SOT 7253244 SOS 4694028 HAS SOPS 2702879 HAS SOUS 2633232 HAS SOUPS 2424470 WITH SCORE 2429164.028
AT ITER 1805 NEW BEST:: SOT 7252785 SOS 4693709 HAS SOPS 2701852 HAS SOUS 2632429 HAS SOUPS 2423443 WITH SCORE 2428136.709
AT ITER 1817 NEW BEST:: SOT 7252664 SOS 4693588 HAS SOPS 2701489 HAS SOUS 2632087 HAS SOUPS 2423080 WITH SCORE 2427773.588
AT ITER 1827 NEW BEST:: SOT 7252664 SOS 4693487 HAS SOPS 2701342 HAS SOUS 2631940 HAS SOUPS 2422933 WITH SCORE 2427626.487
AT ITER 1845 NEW BEST:: SOT 7252574 SOS 4693397 HAS SOPS 2701162 HAS SOUS 2631760 HAS SOUPS 2422753 WITH SCORE 2427446.397
AT ITER 1865 NEW BEST:: SOT 7252043 SOS 4692866 HAS SOPS 2699879 HAS SOUS 2630486 HAS SOUPS 2421470 WITH SCORE 2426162.866
AT ITER 1877 NEW BEST:: SOT 7252043 SOS 4692866 HAS SOPS 2699695 HAS SOUS 2630302 HAS SOUPS 2421286 WITH SCORE 2425978.866
AT ITER 1885 NEW BEST:: SOT 7251931 SOS 4693055 HAS SOPS 2699206 HAS SOUS 2629813 HAS SOUPS 2420797 WITH SCORE 2425490.055
AT ITER 1887 NEW BEST:: SOT 7252024 SOS 4693055 HAS SOPS 2699173 HAS SOUS 2629780 HAS SOUPS 2420764 WITH SCORE 2425457.055
AT ITER 1901 NEW BEST:: SOT 7252584 SOS 4706263 HAS SOPS 2698766 HAS SOUS 2630382 HAS SOUPS 2420357 WITH SCORE 2425063.263
AT ITER 1907 NEW BEST:: SOT 7252584 SOS 4706263 HAS SOPS 2698734 HAS SOUS 2630414 HAS SOUPS 2420325 WITH SCORE 2425031.263
AT ITER 1914 NEW BEST:: SOT 7251904 SOS 4705706 HAS SOPS 2697265 HAS SOUS 2630470 HAS SOUPS 2418856 WITH SCORE 2423561.706
AT ITER 1916 NEW BEST:: SOT 7251620 SOS 4705493 HAS SOPS 2696470 HAS SOUS 2629675 HAS SOUPS 2418061 WITH SCORE 2422766.493
AT ITER 1919 NEW BEST:: SOT 7251716 SOS 4705898 HAS SOPS 2696392 HAS SOUS 2629597 HAS SOUPS 2417983 WITH SCORE 2422688.898
AT ITER 1927 NEW BEST:: SOT 7251716 SOS 4705898 HAS SOPS 2696206 HAS SOUS 2629411 HAS SOUPS 2417797 WITH SCORE 2422502.898
AT ITER 1928 NEW BEST:: SOT 7251716 SOS 4705898 HAS SOPS 2695662 HAS SOUS 2628867 HAS SOUPS 2417253 WITH SCORE 2421958.898
AT ITER 1937 NEW BEST:: SOT 7251797 SOS 4705979 HAS SOPS 2695204 HAS SOUS 2628229 HAS SOUPS 2416795 WITH SCORE 2421500.979
AT ITER 1938 NEW BEST:: SOT 7251797 SOS 4705979 HAS SOPS 2695100 HAS SOUS 2628125 HAS SOUPS 2416691 WITH SCORE 2421396.979
AT ITER 1939 NEW BEST:: SOT 7251797 SOS 4705979 HAS SOPS 2695097 HAS SOUS 2628122 HAS SOUPS 2416688 WITH SCORE 2421393.979
AT ITER 1947 NEW BEST:: SOT 7251514 SOS 4705413 HAS SOPS 2694814 HAS SOUS 2627839 HAS SOUPS 2416405 WITH SCORE 2421110.413
AT ITER 1955 NEW BEST:: SOT 7251738 SOS 4705787 HAS SOPS 2694786 HAS SOUS 2627811 HAS SOUPS 2416377 WITH SCORE 2421082.787
AT ITER 1960 NEW BEST:: SOT 7242319 SOS 5073069 HAS SOPS 2684549 HAS SOUS 2618754 HAS SOUPS 2406140 WITH SCORE 2411213.069
AT ITER 1975 NEW BEST:: SOT 7242324 SOS 5073190 HAS SOPS 2684502 HAS SOUS 2618707 HAS SOUPS 2406093 WITH SCORE 2411166.19
AT ITER 1984 NEW BEST:: SOT 7242141 SOS 5073007 HAS SOPS 2684319 HAS SOUS 2618524 HAS SOUPS 2405910 WITH SCORE 2410983.007
AT ITER 1986 NEW BEST:: SOT 7241888 SOS 5073263 HAS SOPS 2683812 HAS SOUS 2618051 HAS SOUPS 2405403 WITH SCORE 2410476.263
AT ITER 1988 NEW BEST:: SOT 7241645 SOS 5073020 HAS SOPS 2683812 HAS SOUS 2617930 HAS SOUPS 2405403 WITH SCORE 2410476.02
AT ITER 2002 NEW BEST:: SOT 7241812 SOS 5073187 HAS SOPS 2683693 HAS SOUS 2617973 HAS SOUPS 2405284 WITH SCORE 2410357.187
AT ITER 2014 NEW BEST:: SOT 7242071 SOS 5073446 HAS SOPS 2683624 HAS SOUS 2618308 HAS SOUPS 2405215 WITH SCORE 2410288.446
AT ITER 2019 NEW BEST:: SOT 7258765 SOS 5089033 HAS SOPS 2679107 HAS SOUS 2614982 HAS SOUPS 2400698 WITH SCORE 2405787.033
AT ITER 2025 NEW BEST:: SOT 7257933 SOS 5088201 HAS SOPS 2678275 HAS SOUS 2614150 HAS SOUPS 2399866 WITH SCORE 2404954.201
AT ITER 2038 NEW BEST:: SOT 7258055 SOS 5088323 HAS SOPS 2678188 HAS SOUS 2614063 HAS SOUPS 2399779 WITH SCORE 2404867.323
AT ITER 2045 NEW BEST:: SOT 7257565 SOS 5087684 HAS SOPS 2677269 HAS SOUS 2613144 HAS SOUPS 2398860 WITH SCORE 2403947.684
AT ITER 2054 NEW BEST:: SOT 7258098 SOS 5088217 HAS SOPS 2676657 HAS SOUS 2613072 HAS SOUPS 2398248 WITH SCORE 2403336.217
AT ITER 2059 NEW BEST:: SOT 7257509 SOS 5087628 HAS SOPS 2676225 HAS SOUS 2612483 HAS SOUPS 2397816 WITH SCORE 2402903.628
AT ITER 2062 NEW BEST:: SOT 7259129 SOS 5089842 HAS SOPS 2675543 HAS SOUS 2612028 HAS SOUPS 2397134 WITH SCORE 2402223.842
AT ITER 2065 NEW BEST:: SOT 7259129 SOS 5089842 HAS SOPS 2675539 HAS SOUS 2612058 HAS SOUPS 2397130 WITH SCORE 2402219.842
AT ITER 2067 NEW BEST:: SOT 7259463 SOS 5090510 HAS SOPS 2675278 HAS SOUS 2611977 HAS SOUPS 2396869 WITH SCORE 2401959.51
AT ITER 2068 NEW BEST:: SOT 7259450 SOS 5090497 HAS SOPS 2675252 HAS SOUS 2611951 HAS SOUPS 2396843 WITH SCORE 2401933.497
AT ITER 2070 NEW BEST:: SOT 7259474 SOS 5091081 HAS SOPS 2674338 HAS SOUS 2611482 HAS SOUPS 2395929 WITH SCORE 2401020.081
AT ITER 2073 NEW BEST:: SOT 7259183 SOS 5092745 HAS SOPS 2673932 HAS SOUS 2611306 HAS SOUPS 2395523 WITH SCORE 2400615.745
AT ITER 2074 NEW BEST:: SOT 7259171 SOS 5093011 HAS SOPS 2673908 HAS SOUS 2611401 HAS SOUPS 2395499 WITH SCORE 2400592.011
AT ITER 2075 NEW BEST:: SOT 7259302 SOS 5093142 HAS SOPS 2673645 HAS SOUS 2611178 HAS SOUPS 2395236 WITH SCORE 2400329.142
AT ITER 2076 NEW BEST:: SOT 7259301 SOS 5093141 HAS SOPS 2673639 HAS SOUS 2611172 HAS SOUPS 2395230 WITH SCORE 2400323.141
AT ITER 2078 NEW BEST:: SOT 7259433 SOS 5093273 HAS SOPS 2673327 HAS SOUS 2610860 HAS SOUPS 2394918 WITH SCORE 2400011.273
AT ITER 2088 NEW BEST:: SOT 7256427 SOS 5090267 HAS SOPS 2671400 HAS SOUS 2608933 HAS SOUPS 2392991 WITH SCORE 2398081.267
AT ITER 2092 NEW BEST:: SOT 7255180 SOS 5089020 HAS SOPS 2670294 HAS SOUS 2607827 HAS SOUPS 2391885 WITH SCORE 2396974.02
AT ITER 2100 NEW BEST:: SOT 7254861 SOS 5088701 HAS SOPS 2670046 HAS SOUS 2607508 HAS SOUPS 2391637 WITH SCORE 2396725.701
AT ITER 2108 NEW BEST:: SOT 7254638 SOS 5088561 HAS SOPS 2669597 HAS SOUS 2607060 HAS SOUPS 2391188 WITH SCORE 2396276.561
AT ITER 2110 NEW BEST:: SOT 7254544 SOS 5088467 HAS SOPS 2669597 HAS SOUS 2607060 HAS SOUPS 2391188 WITH SCORE 2396276.467
AT ITER 2115 NEW BEST:: SOT 7253748 SOS 5087671 HAS SOPS 2667974 HAS SOUS 2605870 HAS SOUPS 2389565 WITH SCORE 2394652.671
AT ITER 2117 NEW BEST:: SOT 7253748 SOS 5087671 HAS SOPS 2667867 HAS SOUS 2605763 HAS SOUPS 2389458 WITH SCORE 2394545.671
AT ITER 2125 NEW BEST:: SOT 7255791 SOS 5090054 HAS SOPS 2667772 HAS SOUS 2608080 HAS SOUPS 2389363 WITH SCORE 2394453.054
AT ITER 2127 NEW BEST:: SOT 7255485 SOS 5089967 HAS SOPS 2666632 HAS SOUS 2606940 HAS SOUPS 2388223 WITH SCORE 2393312.967
AT ITER 2130 NEW BEST:: SOT 7255421 SOS 5089839 HAS SOPS 2666504 HAS SOUS 2606812 HAS SOUPS 2388095 WITH SCORE 2393184.839
AT ITER 2132 NEW BEST:: SOT 7255640 SOS 5090058 HAS SOPS 2666493 HAS SOUS 2606836 HAS SOUPS 2388084 WITH SCORE 2393174.058
AT ITER 2144 NEW BEST:: SOT 7255429 SOS 5109935 HAS SOPS 2665793 HAS SOUS 2607866 HAS SOUPS 2387384 WITH SCORE 2392493.935
AT ITER 2145 NEW BEST:: SOT 7255369 SOS 5109875 HAS SOPS 2665673 HAS SOUS 2607746 HAS SOUPS 2387264 WITH SCORE 2392373.875
AT ITER 2149 NEW BEST:: SOT 7255260 SOS 5109657 HAS SOPS 2665564 HAS SOUS 2607637 HAS SOUPS 2387155 WITH SCORE 2392264.657
AT ITER 2163 NEW BEST:: SOT 7254810 SOS 5109278 HAS SOPS 2664632 HAS SOUS 2606727 HAS SOUPS 2386223 WITH SCORE 2391332.278
AT ITER 2166 NEW BEST:: SOT 7249822 SOS 5112467 HAS SOPS 2658590 HAS SOUS 2601989 HAS SOUPS 2380181 WITH SCORE 2385293.467
AT ITER 2170 NEW BEST:: SOT 7249859 SOS 5112504 HAS SOPS 2658580 HAS SOUS 2602311 HAS SOUPS 2380171 WITH SCORE 2385283.504
AT ITER 2173 NEW BEST:: SOT 7249258 SOS 5112031 HAS SOPS 2657149 HAS SOUS 2600880 HAS SOUPS 2378740 WITH SCORE 2383852.031
AT ITER 2176 NEW BEST:: SOT 7249258 SOS 5112031 HAS SOPS 2657141 HAS SOUS 2600872 HAS SOUPS 2378732 WITH SCORE 2383844.031
AT ITER 2178 NEW BEST:: SOT 7249254 SOS 5112027 HAS SOPS 2656072 HAS SOUS 2600155 HAS SOUPS 2377663 WITH SCORE 2382775.027
AT ITER 2181 NEW BEST:: SOT 7249323 SOS 5112612 HAS SOPS 2655971 HAS SOUS 2600054 HAS SOUPS 2377562 WITH SCORE 2382674.612
AT ITER 2186 NEW BEST:: SOT 7250269 SOS 5113558 HAS SOPS 2655891 HAS SOUS 2599974 HAS SOUPS 2377482 WITH SCORE 2382595.558
AT ITER 2187 NEW BEST:: SOT 7250052 SOS 5113341 HAS SOPS 2653737 HAS SOUS 2598276 HAS SOUPS 2375328 WITH SCORE 2380441.341
AT ITER 2191 NEW BEST:: SOT 7250174 SOS 5113463 HAS SOPS 2653716 HAS SOUS 2598255 HAS SOUPS 2375307 WITH SCORE 2380420.463
AT ITER 2193 NEW BEST:: SOT 7250436 SOS 5113725 HAS SOPS 2653662 HAS SOUS 2598502 HAS SOUPS 2375253 WITH SCORE 2380366.725
AT ITER 2197 NEW BEST:: SOT 7250468 SOS 5116813 HAS SOPS 2653519 HAS SOUS 2598709 HAS SOUPS 2375110 WITH SCORE 2380226.813
AT ITER 2216 NEW BEST:: SOT 7250300 SOS 5116477 HAS SOPS 2653351 HAS SOUS 2598541 HAS SOUPS 2374942 WITH SCORE 2380058.477
AT ITER 2218 NEW BEST:: SOT 7250662 SOS 5116839 HAS SOPS 2653239 HAS SOUS 2598429 HAS SOUPS 2374830 WITH SCORE 2379946.839
AT ITER 2220 NEW BEST:: SOT 7250821 SOS 5116998 HAS SOPS 2652886 HAS SOUS 2598350 HAS SOUPS 2374477 WITH SCORE 2379593.998
AT ITER 2221 NEW BEST:: SOT 7250816 SOS 5117077 HAS SOPS 2652712 HAS SOUS 2598176 HAS SOUPS 2374303 WITH SCORE 2379420.077
AT ITER 2233 NEW BEST:: SOT 7250729 SOS 5120903 HAS SOPS 2652412 HAS SOUS 2598302 HAS SOUPS 2374003 WITH SCORE 2379123.903
AT ITER 2241 NEW BEST:: SOT 7250716 SOS 5120890 HAS SOPS 2652386 HAS SOUS 2598446 HAS SOUPS 2373977 WITH SCORE 2379097.89
AT ITER 2247 NEW BEST:: SOT 7250838 SOS 5121012 HAS SOPS 2651338 HAS SOUS 2598131 HAS SOUPS 2372929 WITH SCORE 2378050.012
AT ITER 2248 NEW BEST:: SOT 7250083 SOS 5119028 HAS SOPS 2646589 HAS SOUS 2594300 HAS SOUPS 2369098 WITH SCORE 2374217.028
AT ITER 2257 NEW BEST:: SOT 7250082 SOS 5119027 HAS SOPS 2646587 HAS SOUS 2594298 HAS SOUPS 2369096 WITH SCORE 2374215.027
AT ITER 2271 NEW BEST:: SOT 7249321 SOS 5118310 HAS SOPS 2645020 HAS SOUS 2592923 HAS SOUPS 2367529 WITH SCORE 2372647.31
AT ITER 2274 NEW BEST:: SOT 7248797 SOS 5098398 HAS SOPS 2625632 HAS SOUS 2591875 HAS SOUPS 2366481 WITH SCORE 2371579.398
AT ITER 2282 NEW BEST:: SOT 7248816 SOS 5098417 HAS SOPS 2625474 HAS SOUS 2591717 HAS SOUPS 2366323 WITH SCORE 2371421.417
AT ITER 2286 NEW BEST:: SOT 7182568 SOS 5032169 HAS SOPS 2558958 HAS SOUS 2525577 HAS SOUPS 2299807 WITH SCORE 2304839.169
AT ITER 2302 NEW BEST:: SOT 7182568 SOS 5032169 HAS SOPS 2558828 HAS SOUS 2525447 HAS SOUPS 2299677 WITH SCORE 2304709.169
AT ITER 2304 NEW BEST:: SOT 7182553 SOS 5032154 HAS SOPS 2558798 HAS SOUS 2525417 HAS SOUPS 2299647 WITH SCORE 2304679.154
AT ITER 2316 NEW BEST:: SOT 7182390 SOS 5031991 HAS SOPS 2558472 HAS SOUS 2525091 HAS SOUPS 2299321 WITH SCORE 2304352.991
AT ITER 2326 NEW BEST:: SOT 7182482 SOS 5032083 HAS SOPS 2558462 HAS SOUS 2525253 HAS SOUPS 2299311 WITH SCORE 2304343.083
AT ITER 2341 NEW BEST:: SOT 7182403 SOS 5032004 HAS SOPS 2558383 HAS SOUS 2525174 HAS SOUPS 2299232 WITH SCORE 2304264.004
AT ITER 2344 NEW BEST:: SOT 7182695 SOS 5032296 HAS SOPS 2558359 HAS SOUS 2525150 HAS SOUPS 2299208 WITH SCORE 2304240.296
AT ITER 2350 NEW BEST:: SOT 7182695 SOS 5032296 HAS SOPS 2558354 HAS SOUS 2525145 HAS SOUPS 2299203 WITH SCORE 2304235.296
AT ITER 2357 NEW BEST:: SOT 7183278 SOS 5006413 HAS SOPS 2521500 HAS SOUS 2514400 HAS SOUPS 2288458 WITH SCORE 2293464.413
AT ITER 2387 NEW BEST:: SOT 7182359 SOS 5005494 HAS SOPS 2519662 HAS SOUS 2512907 HAS SOUPS 2286620 WITH SCORE 2291625.494
AT ITER 2388 NEW BEST:: SOT 7182323 SOS 5004650 HAS SOPS 2519727 HAS SOUS 2512105 HAS SOUPS 2285919 WITH SCORE 2290923.65
AT ITER 2402 NEW BEST:: SOT 7182132 SOS 5004751 HAS SOPS 2518700 HAS SOUS 2511078 HAS SOUPS 2284892 WITH SCORE 2289896.751
AT ITER 2416 NEW BEST:: SOT 7182949 SOS 5005568 HAS SOPS 2518690 HAS SOUS 2511266 HAS SOUPS 2284882 WITH SCORE 2289887.568
AT ITER 2429 NEW BEST:: SOT 7183287 SOS 5005906 HAS SOPS 2517960 HAS SOUS 2510536 HAS SOUPS 2284152 WITH SCORE 2289157.906
AT ITER 2431 NEW BEST:: SOT 7183035 SOS 4710376 HAS SOPS 2520077 HAS SOUS 2491291 HAS SOUPS 2280016 WITH SCORE 2284726.376
AT ITER 2436 NEW BEST:: SOT 7183207 SOS 4710548 HAS SOPS 2519337 HAS SOUS 2490551 HAS SOUPS 2279276 WITH SCORE 2283986.548
AT ITER 2448 NEW BEST:: SOT 7183203 SOS 4710544 HAS SOPS 2519329 HAS SOUS 2490677 HAS SOUPS 2279268 WITH SCORE 2283978.544
AT ITER 2449 NEW BEST:: SOT 7183203 SOS 4710544 HAS SOPS 2519170 HAS SOUS 2490518 HAS SOUPS 2279109 WITH SCORE 2283819.544
AT ITER 2455 NEW BEST:: SOT 7182900 SOS 4697158 HAS SOPS 2506139 HAS SOUS 2489912 HAS SOUPS 2278503 WITH SCORE 2283200.158
AT ITER 2457 NEW BEST:: SOT 7182404 SOS 4696662 HAS SOPS 2505035 HAS SOUS 2489164 HAS SOUPS 2277399 WITH SCORE 2282095.662
AT ITER 2467 NEW BEST:: SOT 7183097 SOS 4697355 HAS SOPS 2504699 HAS SOUS 2489239 HAS SOUPS 2277063 WITH SCORE 2281760.355
AT ITER 2468 NEW BEST:: SOT 7182921 SOS 4697179 HAS SOPS 2504171 HAS SOUS 2488711 HAS SOUPS 2276535 WITH SCORE 2281232.179
AT ITER 2479 NEW BEST:: SOT 7182500 SOS 4697023 HAS SOPS 2502926 HAS SOUS 2487467 HAS SOUPS 2275291 WITH SCORE 2279988.023
AT ITER 2494 NEW BEST:: SOT 7181883 SOS 4696394 HAS SOPS 2502381 HAS SOUS 2486658 HAS SOUPS 2274482 WITH SCORE 2279178.394
AT ITER 2509 NEW BEST:: SOT 7182152 SOS 4696663 HAS SOPS 2502351 HAS SOUS 2486784 HAS SOUPS 2274452 WITH SCORE 2279148.663
AT ITER 2521 NEW BEST:: SOT 7182189 SOS 4696688 HAS SOPS 2502338 HAS SOUS 2486771 HAS SOUPS 2274439 WITH SCORE 2279135.688
AT ITER 2532 NEW BEST:: SOT 7182185 SOS 4697048 HAS SOPS 2502330 HAS SOUS 2486763 HAS SOUPS 2274431 WITH SCORE 2279128.048
AT ITER 2547 NEW BEST:: SOT 7182928 SOS 4697791 HAS SOPS 2502004 HAS SOUS 2486437 HAS SOUPS 2274105 WITH SCORE 2278802.791
AT ITER 2549 NEW BEST:: SOT 7182928 SOS 4697791 HAS SOPS 2501902 HAS SOUS 2486335 HAS SOUPS 2274003 WITH SCORE 2278700.791
AT ITER 2554 NEW BEST:: SOT 7182836 SOS 4697699 HAS SOPS 2501901 HAS SOUS 2486286 HAS SOUPS 2273954 WITH SCORE 2278651.699
AT ITER 2560 NEW BEST:: SOT 7182693 SOS 4697556 HAS SOPS 2501615 HAS SOUS 2486148 HAS SOUPS 2273668 WITH SCORE 2278365.556
AT ITER 2570 NEW BEST:: SOT 7182963 SOS 4697826 HAS SOPS 2501527 HAS SOUS 2486060 HAS SOUPS 2273580 WITH SCORE 2278277.826
AT ITER 2572 NEW BEST:: SOT 7182780 SOS 4697995 HAS SOPS 2500510 HAS SOUS 2485044 HAS SOUPS 2272564 WITH SCORE 2277261.995
AT ITER 2577 NEW BEST:: SOT 7183272 SOS 4698487 HAS SOPS 2500381 HAS SOUS 2484915 HAS SOUPS 2272435 WITH SCORE 2277133.487
AT ITER 2580 NEW BEST:: SOT 7183272 SOS 4698487 HAS SOPS 2500151 HAS SOUS 2484735 HAS SOUPS 2272205 WITH SCORE 2276903.487
AT ITER 2581 NEW BEST:: SOT 7183307 SOS 4698522 HAS SOPS 2499775 HAS SOUS 2484597 HAS SOUPS 2271829 WITH SCORE 2276527.522
AT ITER 2590 NEW BEST:: SOT 7183524 SOS 4698528 HAS SOPS 2499673 HAS SOUS 2484495 HAS SOUPS 2271727 WITH SCORE 2276425.528
AT ITER 2607 NEW BEST:: SOT 7183496 SOS 4698500 HAS SOPS 2499514 HAS SOUS 2484336 HAS SOUPS 2271568 WITH SCORE 2276266.5
AT ITER 2608 NEW BEST:: SOT 7183910 SOS 4698914 HAS SOPS 2499502 HAS SOUS 2484324 HAS SOUPS 2271556 WITH SCORE 2276254.914
AT ITER 2616 NEW BEST:: SOT 7183915 SOS 4698919 HAS SOPS 2499199 HAS SOUS 2484021 HAS SOUPS 2271253 WITH SCORE 2275951.919
AT ITER 2625 NEW BEST:: SOT 7183356 SOS 4698463 HAS SOPS 2497814 HAS SOUS 2482637 HAS SOUPS 2269869 WITH SCORE 2274567.463
AT ITER 2626 NEW BEST:: SOT 7183148 SOS 4698255 HAS SOPS 2497031 HAS SOUS 2482172 HAS SOUPS 2269086 WITH SCORE 2273784.255
AT ITER 2634 NEW BEST:: SOT 7183311 SOS 4698418 HAS SOPS 2495663 HAS SOUS 2481840 HAS SOUPS 2267718 WITH SCORE 2272416.418
AT ITER 2640 NEW BEST:: SOT 7183412 SOS 4698519 HAS SOPS 2495398 HAS SOUS 2482357 HAS SOUPS 2267453 WITH SCORE 2272151.519
AT ITER 2645 NEW BEST:: SOT 7183402 SOS 4698509 HAS SOPS 2495378 HAS SOUS 2482337 HAS SOUPS 2267433 WITH SCORE 2272131.509
AT ITER 2653 NEW BEST:: SOT 7189019 SOS 4703770 HAS SOPS 2494152 HAS SOUS 2482152 HAS SOUPS 2266207 WITH SCORE 2270910.77
AT ITER 2657 NEW BEST:: SOT 7188814 SOS 4703565 HAS SOPS 2492872 HAS SOUS 2481478 HAS SOUPS 2264927 WITH SCORE 2269630.565
AT ITER 2667 NEW BEST:: SOT 7188814 SOS 4703565 HAS SOPS 2492852 HAS SOUS 2481458 HAS SOUPS 2264907 WITH SCORE 2269610.565
AT ITER 2671 NEW BEST:: SOT 7190101 SOS 4705490 HAS SOPS 2492656 HAS SOUS 2481262 HAS SOUPS 2264711 WITH SCORE 2269416.49
AT ITER 2672 NEW BEST:: SOT 7189545 SOS 4704934 HAS SOPS 2490890 HAS SOUS 2479785 HAS SOUPS 2262945 WITH SCORE 2267649.934
AT ITER 2680 NEW BEST:: SOT 7189619 SOS 4705081 HAS SOPS 2490714 HAS SOUS 2479609 HAS SOUPS 2262769 WITH SCORE 2267474.081
AT ITER 2694 NEW BEST:: SOT 7190962 SOS 4706424 HAS SOPS 2490313 HAS SOUS 2479208 HAS SOUPS 2262368 WITH SCORE 2267074.424
AT ITER 2696 NEW BEST:: SOT 7190149 SOS 4705896 HAS SOPS 2478955 HAS SOUS 2478110 HAS SOUPS 2260985 WITH SCORE 2265690.896
AT ITER 2697 NEW BEST:: SOT 7190338 SOS 4704717 HAS SOPS 2479656 HAS SOUS 2477457 HAS SOUPS 2260503 WITH SCORE 2265207.717
AT ITER 2713 NEW BEST:: SOT 7190293 SOS 4704672 HAS SOPS 2479566 HAS SOUS 2477397 HAS SOUPS 2260413 WITH SCORE 2265117.672
AT ITER 2724 NEW BEST:: SOT 7190059 SOS 4704438 HAS SOPS 2479332 HAS SOUS 2477163 HAS SOUPS 2260179 WITH SCORE 2264883.438
AT ITER 2731 NEW BEST:: SOT 7189894 SOS 4704273 HAS SOPS 2479002 HAS SOUS 2476833 HAS SOUPS 2259849 WITH SCORE 2264553.273
AT ITER 2744 NEW BEST:: SOT 7189802 SOS 4704181 HAS SOPS 2478818 HAS SOUS 2476575 HAS SOUPS 2259665 WITH SCORE 2264369.181
AT ITER 2755 NEW BEST:: SOT 7189802 SOS 4704181 HAS SOPS 2478749 HAS SOUS 2476506 HAS SOUPS 2259596 WITH SCORE 2264300.181
AT ITER 2767 NEW BEST:: SOT 7189802 SOS 4704181 HAS SOPS 2478449 HAS SOUS 2476206 HAS SOUPS 2259296 WITH SCORE 2264000.181
AT ITER 2777 NEW BEST:: SOT 7189638 SOS 4704017 HAS SOPS 2477236 HAS SOUS 2474993 HAS SOUPS 2258083 WITH SCORE 2262787.017
AT ITER 2787 NEW BEST:: SOT 7189547 SOS 4703926 HAS SOPS 2477143 HAS SOUS 2474901 HAS SOUPS 2257991 WITH SCORE 2262694.926
AT ITER 2790 NEW BEST:: SOT 7189471 SOS 4704072 HAS SOPS 2476685 HAS SOUS 2474443 HAS SOUPS 2257533 WITH SCORE 2262237.072
AT ITER 2793 NEW BEST:: SOT 7189187 SOS 4703788 HAS SOPS 2476401 HAS SOUS 2474017 HAS SOUPS 2257249 WITH SCORE 2261952.788
AT ITER 2800 NEW BEST:: SOT 7189716 SOS 4704317 HAS SOPS 2476127 HAS SOUS 2473603 HAS SOUPS 2256835 WITH SCORE 2261539.317
AT ITER 2801 NEW BEST:: SOT 7189688 SOS 4704289 HAS SOPS 2476071 HAS SOUS 2473575 HAS SOUPS 2256779 WITH SCORE 2261483.289
AT ITER 2807 NEW BEST:: SOT 7189696 SOS 4704376 HAS SOPS 2475747 HAS SOUS 2473251 HAS SOUPS 2256455 WITH SCORE 2261159.376
AT ITER 2809 NEW BEST:: SOT 7189696 SOS 4704376 HAS SOPS 2475610 HAS SOUS 2473160 HAS SOUPS 2256318 WITH SCORE 2261022.376
AT ITER 2810 NEW BEST:: SOT 7189696 SOS 4704376 HAS SOPS 2475312 HAS SOUS 2473429 HAS SOUPS 2256020 WITH SCORE 2260724.376
AT ITER 2816 NEW BEST:: SOT 7189696 SOS 4704376 HAS SOPS 2475205 HAS SOUS 2473364 HAS SOUPS 2255913 WITH SCORE 2260617.376
AT ITER 2817 NEW BEST:: SOT 7189522 SOS 4703997 HAS SOPS 2474544 HAS SOUS 2472703 HAS SOUPS 2255252 WITH SCORE 2259955.997
AT ITER 2818 NEW BEST:: SOT 7189615 SOS 4704090 HAS SOPS 2473686 HAS SOUS 2471846 HAS SOUPS 2254395 WITH SCORE 2259099.09
AT ITER 2822 NEW BEST:: SOT 7189346 SOS 4703821 HAS SOPS 2473480 HAS SOUS 2471640 HAS SOUPS 2254189 WITH SCORE 2258892.821
AT ITER 2823 NEW BEST:: SOT 7189139 SOS 4703407 HAS SOPS 2472914 HAS SOUS 2471074 HAS SOUPS 2253623 WITH SCORE 2258326.407
AT ITER 2828 NEW BEST:: SOT 7188771 SOS 4703039 HAS SOPS 2472178 HAS SOUS 2470415 HAS SOUPS 2252887 WITH SCORE 2257590.039
AT ITER 2830 NEW BEST:: SOT 7188684 SOS 4731712 HAS SOPS 2471455 HAS SOUS 2470632 HAS SOUPS 2252164 WITH SCORE 2256895.712
AT ITER 2832 NEW BEST:: SOT 7188684 SOS 4731712 HAS SOPS 2471129 HAS SOUS 2470306 HAS SOUPS 2251838 WITH SCORE 2256569.712
AT ITER 2833 NEW BEST:: SOT 7188684 SOS 4731712 HAS SOPS 2471043 HAS SOUS 2470306 HAS SOUPS 2251752 WITH SCORE 2256483.712
AT ITER 2841 NEW BEST:: SOT 7188684 SOS 4731678 HAS SOPS 2471043 HAS SOUS 2470306 HAS SOUPS 2251752 WITH SCORE 2256483.678
AT ITER 2854 NEW BEST:: SOT 7188585 SOS 4731579 HAS SOPS 2470845 HAS SOUS 2470108 HAS SOUPS 2251554 WITH SCORE 2256285.579
AT ITER 2859 NEW BEST:: SOT 7188585 SOS 4731579 HAS SOPS 2470853 HAS SOUS 2470107 HAS SOUPS 2251553 WITH SCORE 2256284.579
AT ITER 2860 NEW BEST:: SOT 7188569 SOS 4731563 HAS SOPS 2470821 HAS SOUS 2470075 HAS SOUPS 2251521 WITH SCORE 2256252.563
AT ITER 2862 NEW BEST:: SOT 7188751 SOS 4731745 HAS SOPS 2469712 HAS SOUS 2469299 HAS SOUPS 2250412 WITH SCORE 2255143.745
AT ITER 2879 NEW BEST:: SOT 7188329 SOS 4731323 HAS SOPS 2468868 HAS SOUS 2468509 HAS SOUPS 2249568 WITH SCORE 2254299.323
AT ITER 2882 NEW BEST:: SOT 7188763 SOS 4731757 HAS SOPS 2468470 HAS SOUS 2468112 HAS SOUPS 2249171 WITH SCORE 2253902.757
AT ITER 2883 NEW BEST:: SOT 7188603 SOS 4732064 HAS SOPS 2468026 HAS SOUS 2467668 HAS SOUPS 2248727 WITH SCORE 2253459.064
AT ITER 2900 NEW BEST:: SOT 7188947 SOS 4732408 HAS SOPS 2467248 HAS SOUS 2467450 HAS SOUPS 2247949 WITH SCORE 2252681.408
AT ITER 2905 NEW BEST:: SOT 7188416 SOS 4731850 HAS SOPS 2466682 HAS SOUS 2466884 HAS SOUPS 2247383 WITH SCORE 2252114.85
AT ITER 2906 NEW BEST:: SOT 7188046 SOS 4731480 HAS SOPS 2466318 HAS SOUS 2466520 HAS SOUPS 2247019 WITH SCORE 2251750.48
AT ITER 2913 NEW BEST:: SOT 7188099 SOS 4731533 HAS SOPS 2466276 HAS SOUS 2466478 HAS SOUPS 2246977 WITH SCORE 2251708.533
AT ITER 2918 NEW BEST:: SOT 7188074 SOS 4731508 HAS SOPS 2466226 HAS SOUS 2466428 HAS SOUPS 2246927 WITH SCORE 2251658.508
AT ITER 2921 NEW BEST:: SOT 7187828 SOS 4731262 HAS SOPS 2465734 HAS SOUS 2465936 HAS SOUPS 2246435 WITH SCORE 2251166.262
AT ITER 2933 NEW BEST:: SOT 7187827 SOS 4731261 HAS SOPS 2465494 HAS SOUS 2465703 HAS SOUPS 2246195 WITH SCORE 2250926.261
AT ITER 2936 NEW BEST:: SOT 7186476 SOS 4729910 HAS SOPS 2464889 HAS SOUS 2464917 HAS SOUPS 2245409 WITH SCORE 2250138.91
AT ITER 2939 NEW BEST:: SOT 7186326 SOS 4735113 HAS SOPS 2464589 HAS SOUS 2464767 HAS SOUPS 2245109 WITH SCORE 2249844.113
AT ITER 2969 NEW BEST:: SOT 7186015 SOS 4734802 HAS SOPS 2464232 HAS SOUS 2464422 HAS SOUPS 2244752 WITH SCORE 2249486.802
AT ITER 2970 NEW BEST:: SOT 7185898 SOS 4734685 HAS SOPS 2463998 HAS SOUS 2464188 HAS SOUPS 2244518 WITH SCORE 2249252.685
AT ITER 2971 NEW BEST:: SOT 7185740 SOS 4734527 HAS SOPS 2463670 HAS SOUS 2463860 HAS SOUPS 2244190 WITH SCORE 2248924.527
AT ITER 2974 NEW BEST:: SOT 7186327 SOS 4710638 HAS SOPS 2429995 HAS SOUS 2453044 HAS SOUPS 2233374 WITH SCORE 2238084.638
AT ITER 2981 NEW BEST:: SOT 7168029 SOS 4692340 HAS SOPS 2411697 HAS SOUS 2434746 HAS SOUPS 2215076 WITH SCORE 2219768.34
AT ITER 2992 NEW BEST:: SOT 7168029 SOS 4692340 HAS SOPS 2411381 HAS SOUS 2434552 HAS SOUPS 2214760 WITH SCORE 2219452.34
AT ITER 2994 NEW BEST:: SOT 7168029 SOS 4692340 HAS SOPS 2411295 HAS SOUS 2434466 HAS SOUPS 2214674 WITH SCORE 2219366.34
AT ITER 2997 NEW BEST:: SOT 7168028 SOS 4692339 HAS SOPS 2411293 HAS SOUS 2434387 HAS SOUPS 2214672 WITH SCORE 2219364.339
AT ITER 3009 NEW BEST:: SOT 7167455 SOS 4691766 HAS SOPS 2411293 HAS SOUS 2434387 HAS SOUPS 2214672 WITH SCORE 2219363.766
AT ITER 3016 NEW BEST:: SOT 7167376 SOS 4691687 HAS SOPS 2411138 HAS SOUS 2434232 HAS SOUPS 2214517 WITH SCORE 2219208.687
AT ITER 3058 NEW BEST:: SOT 7167270 SOS 4691581 HAS SOPS 2411138 HAS SOUS 2434232 HAS SOUPS 2214517 WITH SCORE 2219208.581
AT ITER 3061 NEW BEST:: SOT 7125428 SOS 5562361 HAS SOPS 2369103 HAS SOUS 2395525 HAS SOUPS 2174168 WITH SCORE 2179730.361
AT ITER 3072 NEW BEST:: SOT 7125877 SOS 5562810 HAS SOPS 2369101 HAS SOUS 2395523 HAS SOUPS 2174166 WITH SCORE 2179728.81
AT ITER 3082 NEW BEST:: SOT 7125876 SOS 5562809 HAS SOPS 2369099 HAS SOUS 2395521 HAS SOUPS 2174164 WITH SCORE 2179726.809
AT ITER 3086 NEW BEST:: SOT 7125791 SOS 5562724 HAS SOPS 2368929 HAS SOUS 2395351 HAS SOUPS 2173994 WITH SCORE 2179556.724
AT ITER 3100 NEW BEST:: SOT 7125936 SOS 5562869 HAS SOPS 2368061 HAS SOUS 2395334 HAS SOUPS 2173126 WITH SCORE 2178688.869
AT ITER 3102 NEW BEST:: SOT 7125935 SOS 5562868 HAS SOPS 2368059 HAS SOUS 2395332 HAS SOUPS 2173124 WITH SCORE 2178686.868
AT ITER 3107 NEW BEST:: SOT 7125984 SOS 5562917 HAS SOPS 2367741 HAS SOUS 2395014 HAS SOUPS 2172806 WITH SCORE 2178368.917
AT ITER 3118 NEW BEST:: SOT 7108969 SOS 5545902 HAS SOPS 2350636 HAS SOUS 2397481 HAS SOUPS 2161792 WITH SCORE 2167337.902
AT ITER 3122 NEW BEST:: SOT 7109058 SOS 5545991 HAS SOPS 2350569 HAS SOUS 2397414 HAS SOUPS 2161725 WITH SCORE 2167270.991
AT ITER 3127 NEW BEST:: SOT 7109058 SOS 5545991 HAS SOPS 2350341 HAS SOUS 2397300 HAS SOUPS 2161497 WITH SCORE 2167042.991
AT ITER 3142 NEW BEST:: SOT 7108960 SOS 5545893 HAS SOPS 2350045 HAS SOUS 2397104 HAS SOUPS 2161201 WITH SCORE 2166746.893
AT ITER 3149 NEW BEST:: SOT 7109048 SOS 5545981 HAS SOPS 2349887 HAS SOUS 2397332 HAS SOUPS 2161043 WITH SCORE 2166588.981
AT ITER 3153 NEW BEST:: SOT 7109048 SOS 5545981 HAS SOPS 2349886 HAS SOUS 2397331 HAS SOUPS 2161042 WITH SCORE 2166587.981
AT ITER 3157 NEW BEST:: SOT 7109199 SOS 5546132 HAS SOPS 2349766 HAS SOUS 2397211 HAS SOUPS 2160922 WITH SCORE 2166468.132
AT ITER 3173 NEW BEST:: SOT 7109737 SOS 5533099 HAS SOPS 2332917 HAS SOUS 2393597 HAS SOUPS 2157308 WITH SCORE 2162841.099
AT ITER 3178 NEW BEST:: SOT 7110094 SOS 5533456 HAS SOPS 2332721 HAS SOUS 2393455 HAS SOUPS 2157112 WITH SCORE 2162645.456
AT ITER 3181 NEW BEST:: SOT 7110058 SOS 5533420 HAS SOPS 2332685 HAS SOUS 2393419 HAS SOUPS 2157076 WITH SCORE 2162609.42
AT ITER 3182 NEW BEST:: SOT 7109764 SOS 5533126 HAS SOPS 2332097 HAS SOUS 2392831 HAS SOUPS 2156488 WITH SCORE 2162021.126
AT ITER 3183 NEW BEST:: SOT 7110057 SOS 5533419 HAS SOPS 2331912 HAS SOUS 2392646 HAS SOUPS 2156303 WITH SCORE 2161836.419
AT ITER 3198 NEW BEST:: SOT 7110255 SOS 5533617 HAS SOPS 2331443 HAS SOUS 2392511 HAS SOUPS 2155834 WITH SCORE 2161367.617
AT ITER 3206 NEW BEST:: SOT 7110694 SOS 5534056 HAS SOPS 2331409 HAS SOUS 2392520 HAS SOUPS 2155800 WITH SCORE 2161334.056
AT ITER 3210 NEW BEST:: SOT 7110634 SOS 5533996 HAS SOPS 2331289 HAS SOUS 2392536 HAS SOUPS 2155680 WITH SCORE 2161213.996
AT ITER 3216 NEW BEST:: SOT 7110564 SOS 5533926 HAS SOPS 2330303 HAS SOUS 2391550 HAS SOUPS 2154694 WITH SCORE 2160227.926
AT ITER 3221 NEW BEST:: SOT 7111118 SOS 5534480 HAS SOPS 2329020 HAS SOUS 2390034 HAS SOUPS 2153178 WITH SCORE 2158712.48
AT ITER 3223 NEW BEST:: SOT 7111435 SOS 5534797 HAS SOPS 2328985 HAS SOUS 2390446 HAS SOUPS 2153143 WITH SCORE 2158677.797
AT ITER 3244 NEW BEST:: SOT 7110977 SOS 5534339 HAS SOPS 2327875 HAS SOUS 2389336 HAS SOUPS 2152033 WITH SCORE 2157567.339
AT ITER 3250 NEW BEST:: SOT 7111062 SOS 5534424 HAS SOPS 2327825 HAS SOUS 2389328 HAS SOUPS 2151983 WITH SCORE 2157517.424
AT ITER 3253 NEW BEST:: SOT 7110936 SOS 5534298 HAS SOPS 2327573 HAS SOUS 2389076 HAS SOUPS 2151731 WITH SCORE 2157265.298
AT ITER 3256 NEW BEST:: SOT 7110487 SOS 5533849 HAS SOPS 2326675 HAS SOUS 2388826 HAS SOUPS 2150833 WITH SCORE 2156366.849
AT ITER 3259 NEW BEST:: SOT 7110453 SOS 5533815 HAS SOPS 2326607 HAS SOUS 2388758 HAS SOUPS 2150765 WITH SCORE 2156298.815
AT ITER 3268 NEW BEST:: SOT 7110453 SOS 5533815 HAS SOPS 2325663 HAS SOUS 2387962 HAS SOUPS 2149821 WITH SCORE 2155354.815
AT ITER 3272 NEW BEST:: SOT 7110266 SOS 5533628 HAS SOPS 2325476 HAS SOUS 2387922 HAS SOUPS 2149781 WITH SCORE 2155314.628
AT ITER 3289 NEW BEST:: SOT 7110574 SOS 5533936 HAS SOPS 2325474 HAS SOUS 2387920 HAS SOUPS 2149779 WITH SCORE 2155312.936
AT ITER 3291 NEW BEST:: SOT 7109881 SOS 5533243 HAS SOPS 2325272 HAS SOUS 2387718 HAS SOUPS 2149577 WITH SCORE 2155110.243
AT ITER 3299 NEW BEST:: SOT 7109781 SOS 5533143 HAS SOPS 2325072 HAS SOUS 2387252 HAS SOUPS 2149377 WITH SCORE 2154910.143
AT ITER 3300 NEW BEST:: SOT 7110076 SOS 5533438 HAS SOPS 2324442 HAS SOUS 2386622 HAS SOUPS 2148747 WITH SCORE 2154280.438
AT ITER 3312 NEW BEST:: SOT 7109422 SOS 5532784 HAS SOPS 2323134 HAS SOUS 2385314 HAS SOUPS 2147439 WITH SCORE 2152971.784
AT ITER 3317 NEW BEST:: SOT 7109925 SOS 5530848 HAS SOPS 2324414 HAS SOUS 2385046 HAS SOUPS 2147430 WITH SCORE 2152960.848
AT ITER 3319 NEW BEST:: SOT 7110693 SOS 5531616 HAS SOPS 2324412 HAS SOUS 2385423 HAS SOUPS 2147428 WITH SCORE 2152959.616
AT ITER 3328 NEW BEST:: SOT 7110507 SOS 5531430 HAS SOPS 2324040 HAS SOUS 2385407 HAS SOUPS 2147056 WITH SCORE 2152587.43
AT ITER 3331 NEW BEST:: SOT 7110507 SOS 5530825 HAS SOPS 2322389 HAS SOUS 2384262 HAS SOUPS 2145911 WITH SCORE 2151441.825
AT ITER 3335 NEW BEST:: SOT 7111032 SOS 5531350 HAS SOPS 2322040 HAS SOUS 2383913 HAS SOUPS 2145562 WITH SCORE 2151093.35
AT ITER 3341 NEW BEST:: SOT 7110929 SOS 5531247 HAS SOPS 2321937 HAS SOUS 2383810 HAS SOUPS 2145459 WITH SCORE 2150990.247
AT ITER 3350 NEW BEST:: SOT 7110852 SOS 5531170 HAS SOPS 2321788 HAS SOUS 2383661 HAS SOUPS 2145310 WITH SCORE 2150841.17
AT ITER 3351 NEW BEST:: SOT 7110679 SOS 5530997 HAS SOPS 2321441 HAS SOUS 2383451 HAS SOUPS 2144963 WITH SCORE 2150493.997
AT ITER 3360 NEW BEST:: SOT 7110662 SOS 5530980 HAS SOPS 2321430 HAS SOUS 2383440 HAS SOUPS 2144952 WITH SCORE 2150482.98
AT ITER 3367 NEW BEST:: SOT 7110150 SOS 5530355 HAS SOPS 2318218 HAS SOUS 2380228 HAS SOUPS 2141740 WITH SCORE 2147270.355
AT ITER 3369 NEW BEST:: SOT 7110134 SOS 5529969 HAS SOPS 2318312 HAS SOUS 2379937 HAS SOUPS 2141486 WITH SCORE 2147015.969
AT ITER 3370 NEW BEST:: SOT 7109747 SOS 5529582 HAS SOPS 2317325 HAS SOUS 2378950 HAS SOUPS 2140499 WITH SCORE 2146028.582
AT ITER 3401 NEW BEST:: SOT 7108031 SOS 5527900 HAS SOPS 2316731 HAS SOUS 2378654 HAS SOUPS 2140083 WITH SCORE 2145610.9
AT ITER 3402 NEW BEST:: SOT 7108894 SOS 5528903 HAS SOPS 2316295 HAS SOUS 2380969 HAS SOUPS 2139647 WITH SCORE 2145175.903
AT ITER 3404 NEW BEST:: SOT 7108667 SOS 5528676 HAS SOPS 2315841 HAS SOUS 2380515 HAS SOUPS 2139193 WITH SCORE 2144721.676
AT ITER 3406 NEW BEST:: SOT 7108509 SOS 5528518 HAS SOPS 2315218 HAS SOUS 2379894 HAS SOUPS 2138570 WITH SCORE 2144098.518
AT ITER 3423 NEW BEST:: SOT 7108310 SOS 5528852 HAS SOPS 2314891 HAS SOUS 2379631 HAS SOUPS 2138243 WITH SCORE 2143771.852
AT ITER 3425 NEW BEST:: SOT 7108427 SOS 5528969 HAS SOPS 2314557 HAS SOUS 2379297 HAS SOUPS 2137909 WITH SCORE 2143437.969
AT ITER 3439 NEW BEST:: SOT 7108555 SOS 5529183 HAS SOPS 2313831 HAS SOUS 2378460 HAS SOUPS 2137072 WITH SCORE 2142601.183
AT ITER 3445 NEW BEST:: SOT 7108405 SOS 5529033 HAS SOPS 2313302 HAS SOUS 2377931 HAS SOUPS 2136543 WITH SCORE 2142072.033
AT ITER 3453 NEW BEST:: SOT 7107798 SOS 5528426 HAS SOPS 2312088 HAS SOUS 2376717 HAS SOUPS 2135329 WITH SCORE 2140857.426
AT ITER 3455 NEW BEST:: SOT 7107248 SOS 5527876 HAS SOPS 2310710 HAS SOUS 2375339 HAS SOUPS 2133951 WITH SCORE 2139478.876
AT ITER 3458 NEW BEST:: SOT 7108251 SOS 5529739 HAS SOPS 2310694 HAS SOUS 2375968 HAS SOUPS 2133935 WITH SCORE 2139464.739
AT ITER 3476 NEW BEST:: SOT 7107542 SOS 5529030 HAS SOPS 2309197 HAS SOUS 2374471 HAS SOUPS 2132438 WITH SCORE 2137967.03
AT ITER 3477 NEW BEST:: SOT 7108014 SOS 5529502 HAS SOPS 2308739 HAS SOUS 2374013 HAS SOUPS 2131980 WITH SCORE 2137509.502
AT ITER 3478 NEW BEST:: SOT 7108042 SOS 5529530 HAS SOPS 2308157 HAS SOUS 2373752 HAS SOUPS 2131398 WITH SCORE 2136927.53
AT ITER 3481 NEW BEST:: SOT 7107911 SOS 5529399 HAS SOPS 2307895 HAS SOUS 2374110 HAS SOUPS 2131136 WITH SCORE 2136665.399
AT ITER 3486 NEW BEST:: SOT 7107900 SOS 5529388 HAS SOPS 2307873 HAS SOUS 2374088 HAS SOUPS 2131114 WITH SCORE 2136643.388
AT ITER 3493 NEW BEST:: SOT 7107896 SOS 5529384 HAS SOPS 2307865 HAS SOUS 2374080 HAS SOUPS 2131106 WITH SCORE 2136635.384
AT ITER 3499 NEW BEST:: SOT 7107662 SOS 5529150 HAS SOPS 2307032 HAS SOUS 2373247 HAS SOUPS 2130273 WITH SCORE 2135802.15
AT ITER 3514 NEW BEST:: SOT 7108053 SOS 5529541 HAS SOPS 2306614 HAS SOUS 2372829 HAS SOUPS 2129855 WITH SCORE 2135384.541
AT ITER 3517 NEW BEST:: SOT 7107847 SOS 5529335 HAS SOPS 2306427 HAS SOUS 2372642 HAS SOUPS 2129668 WITH SCORE 2135197.335
AT ITER 3519 NEW BEST:: SOT 7107847 SOS 5529335 HAS SOPS 2306124 HAS SOUS 2372339 HAS SOUPS 2129365 WITH SCORE 2134894.335
AT ITER 3528 NEW BEST:: SOT 7107912 SOS 5529400 HAS SOPS 2306021 HAS SOUS 2372236 HAS SOUPS 2129262 WITH SCORE 2134791.4
AT ITER 3554 NEW BEST:: SOT 7107947 SOS 5529435 HAS SOPS 2306019 HAS SOUS 2372234 HAS SOUPS 2129260 WITH SCORE 2134789.435
AT ITER 3559 NEW BEST:: SOT 7107437 SOS 5528925 HAS SOPS 2304999 HAS SOUS 2371214 HAS SOUPS 2128240 WITH SCORE 2133768.925
AT ITER 3564 NEW BEST:: SOT 7106696 SOS 5528184 HAS SOPS 2304609 HAS SOUS 2371004 HAS SOUPS 2127850 WITH SCORE 2133378.184
AT ITER 3586 NEW BEST:: SOT 7106435 SOS 5527923 HAS SOPS 2304087 HAS SOUS 2370482 HAS SOUPS 2127328 WITH SCORE 2132855.923
AT ITER 3589 NEW BEST:: SOT 7106397 SOS 5527885 HAS SOPS 2303965 HAS SOUS 2370360 HAS SOUPS 2127206 WITH SCORE 2132733.885
AT ITER 3607 NEW BEST:: SOT 7106293 SOS 5527641 HAS SOPS 2303548 HAS SOUS 2369943 HAS SOUPS 2126789 WITH SCORE 2132316.641
AT ITER 3613 NEW BEST:: SOT 7106229 SOS 5527577 HAS SOPS 2303420 HAS SOUS 2369591 HAS SOUPS 2126661 WITH SCORE 2132188.577
AT ITER 3616 NEW BEST:: SOT 7106075 SOS 5527423 HAS SOPS 2303112 HAS SOUS 2369283 HAS SOUPS 2126353 WITH SCORE 2131880.423
AT ITER 3627 NEW BEST:: SOT 7106175 SOS 5527523 HAS SOPS 2303014 HAS SOUS 2369185 HAS SOUPS 2126255 WITH SCORE 2131782.523
AT ITER 3630 NEW BEST:: SOT 7106031 SOS 5527379 HAS SOPS 2301665 HAS SOUS 2367629 HAS SOUPS 2124699 WITH SCORE 2130226.379
AT ITER 3639 NEW BEST:: SOT 7106498 SOS 5527846 HAS SOPS 2300954 HAS SOUS 2366907 HAS SOUPS 2123977 WITH SCORE 2129504.846
AT ITER 3653 NEW BEST:: SOT 7106551 SOS 5527899 HAS SOPS 2299302 HAS SOUS 2365522 HAS SOUPS 2122325 WITH SCORE 2127852.899
AT ITER 3669 NEW BEST:: SOT 7106205 SOS 5527553 HAS SOPS 2298883 HAS SOUS 2365103 HAS SOUPS 2121906 WITH SCORE 2127433.553
AT ITER 3676 NEW BEST:: SOT 7106204 SOS 5527552 HAS SOPS 2298883 HAS SOUS 2365102 HAS SOUPS 2121906 WITH SCORE 2127433.552
AT ITER 3680 NEW BEST:: SOT 7106055 SOS 5527403 HAS SOPS 2298734 HAS SOUS 2364953 HAS SOUPS 2121757 WITH SCORE 2127284.403
AT ITER 3692 NEW BEST:: SOT 7106204 SOS 5527552 HAS SOPS 2298413 HAS SOUS 2365328 HAS SOUPS 2121436 WITH SCORE 2126963.552
AT ITER 3702 NEW BEST:: SOT 7106204 SOS 5527552 HAS SOPS 2297445 HAS SOUS 2364844 HAS SOUPS 2120468 WITH SCORE 2125995.552
AT ITER 3707 NEW BEST:: SOT 7105444 SOS 5526792 HAS SOPS 2297437 HAS SOUS 2364474 HAS SOUPS 2120460 WITH SCORE 2125986.792
AT ITER 3710 NEW BEST:: SOT 7103173 SOS 5524521 HAS SOPS 2296079 HAS SOUS 2363348 HAS SOUPS 2119334 WITH SCORE 2124858.521
AT ITER 3714 NEW BEST:: SOT 7102829 SOS 5524177 HAS SOPS 2296029 HAS SOUS 2363298 HAS SOUPS 2119284 WITH SCORE 2124808.177
AT ITER 3728 NEW BEST:: SOT 7102663 SOS 5524011 HAS SOPS 2295697 HAS SOUS 2362966 HAS SOUPS 2118952 WITH SCORE 2124476.011
AT ITER 3740 NEW BEST:: SOT 7102525 SOS 5523873 HAS SOPS 2295490 HAS SOUS 2362897 HAS SOUPS 2118745 WITH SCORE 2124268.873
AT ITER 3744 NEW BEST:: SOT 7102525 SOS 5523873 HAS SOPS 2295435 HAS SOUS 2362842 HAS SOUPS 2118690 WITH SCORE 2124213.873
AT ITER 3759 NEW BEST:: SOT 7102681 SOS 5524029 HAS SOPS 2295074 HAS SOUS 2362481 HAS SOUPS 2118329 WITH SCORE 2123853.029
AT ITER 3761 NEW BEST:: SOT 7102528 SOS 5523723 HAS SOPS 2294768 HAS SOUS 2362175 HAS SOUPS 2118023 WITH SCORE 2123546.723
AT ITER 3768 NEW BEST:: SOT 7103299 SOS 5524494 HAS SOPS 2294390 HAS SOUS 2361797 HAS SOUPS 2117645 WITH SCORE 2123169.494
AT ITER 3769 NEW BEST:: SOT 7102914 SOS 5524109 HAS SOPS 2293620 HAS SOUS 2361027 HAS SOUPS 2116875 WITH SCORE 2122399.109
AT ITER 3775 NEW BEST:: SOT 7103007 SOS 5524202 HAS SOPS 2293085 HAS SOUS 2361270 HAS SOUPS 2116340 WITH SCORE 2121864.202
AT ITER 3790 NEW BEST:: SOT 7103120 SOS 5524315 HAS SOPS 2292857 HAS SOUS 2361383 HAS SOUPS 2116112 WITH SCORE 2121636.315
AT ITER 3799 NEW BEST:: SOT 7103596 SOS 5524791 HAS SOPS 2292855 HAS SOUS 2361381 HAS SOUPS 2116110 WITH SCORE 2121634.791
AT ITER 3801 NEW BEST:: SOT 7103526 SOS 5524721 HAS SOPS 2292170 HAS SOUS 2361968 HAS SOUPS 2115425 WITH SCORE 2120949.721
AT ITER 3812 NEW BEST:: SOT 7103526 SOS 5524721 HAS SOPS 2292039 HAS SOUS 2361837 HAS SOUPS 2115294 WITH SCORE 2120818.721
AT ITER 3816 NEW BEST:: SOT 7104042 SOS 5525237 HAS SOPS 2292017 HAS SOUS 2362185 HAS SOUPS 2115272 WITH SCORE 2120797.237
AT ITER 3829 NEW BEST:: SOT 7103506 SOS 5524701 HAS SOPS 2290409 HAS SOUS 2360577 HAS SOUPS 2113664 WITH SCORE 2119188.701
AT ITER 3830 NEW BEST:: SOT 7102841 SOS 5524061 HAS SOPS 2289904 HAS SOUS 2359947 HAS SOUPS 2113159 WITH SCORE 2118683.061
AT ITER 3836 NEW BEST:: SOT 7102649 SOS 5523869 HAS SOPS 2289520 HAS SOUS 2359563 HAS SOUPS 2112775 WITH SCORE 2118298.869
AT ITER 3841 NEW BEST:: SOT 7102600 SOS 5523820 HAS SOPS 2289471 HAS SOUS 2359514 HAS SOUPS 2112726 WITH SCORE 2118249.82
AT ITER 3848 NEW BEST:: SOT 7101443 SOS 5522663 HAS SOPS 2288953 HAS SOUS 2358996 HAS SOUPS 2112208 WITH SCORE 2117730.663
AT ITER 3850 NEW BEST:: SOT 7101802 SOS 5523022 HAS SOPS 2288870 HAS SOUS 2359315 HAS SOUPS 2112125 WITH SCORE 2117648.022
AT ITER 3864 NEW BEST:: SOT 7102191 SOS 5523411 HAS SOPS 2288320 HAS SOUS 2358765 HAS SOUPS 2111575 WITH SCORE 2117098.411
AT ITER 3865 NEW BEST:: SOT 7102524 SOS 5523744 HAS SOPS 2288151 HAS SOUS 2358596 HAS SOUPS 2111406 WITH SCORE 2116929.744
AT ITER 3867 NEW BEST:: SOT 7102435 SOS 5523655 HAS SOPS 2287973 HAS SOUS 2358418 HAS SOUPS 2111228 WITH SCORE 2116751.655
AT ITER 3877 NEW BEST:: SOT 7102023 SOS 5523243 HAS SOPS 2287561 HAS SOUS 2358006 HAS SOUPS 2110816 WITH SCORE 2116339.243
AT ITER 3880 NEW BEST:: SOT 7102196 SOS 5523416 HAS SOPS 2287299 HAS SOUS 2357744 HAS SOUPS 2110554 WITH SCORE 2116077.416
AT ITER 3887 NEW BEST:: SOT 7101992 SOS 5523008 HAS SOPS 2286483 HAS SOUS 2357132 HAS SOUPS 2109942 WITH SCORE 2115465.008
AT ITER 3898 NEW BEST:: SOT 7101991 SOS 5523007 HAS SOPS 2286481 HAS SOUS 2357130 HAS SOUPS 2109940 WITH SCORE 2115463.007
AT ITER 3919 NEW BEST:: SOT 7102163 SOS 5521997 HAS SOPS 2286892 HAS SOUS 2356625 HAS SOUPS 2109555 WITH SCORE 2115076.997
AT ITER 3921 NEW BEST:: SOT 7101895 SOS 5521729 HAS SOPS 2286296 HAS SOUS 2356669 HAS SOUPS 2108959 WITH SCORE 2114480.729
AT ITER 3922 NEW BEST:: SOT 7101795 SOS 5521629 HAS SOPS 2286196 HAS SOUS 2356569 HAS SOUPS 2108859 WITH SCORE 2114380.629
AT ITER 3929 NEW BEST:: SOT 7101649 SOS 5521483 HAS SOPS 2285887 HAS SOUS 2356406 HAS SOUPS 2108550 WITH SCORE 2114071.483
AT ITER 3938 NEW BEST:: SOT 7101607 SOS 5521441 HAS SOPS 2285803 HAS SOUS 2356322 HAS SOUPS 2108466 WITH SCORE 2113987.441
AT ITER 3939 NEW BEST:: SOT 7100408 SOS 5520242 HAS SOPS 2284236 HAS SOUS 2354812 HAS SOUPS 2106899 WITH SCORE 2112419.242
AT ITER 3952 NEW BEST:: SOT 7100397 SOS 5520231 HAS SOPS 2284214 HAS SOUS 2354607 HAS SOUPS 2106877 WITH SCORE 2112397.231
AT ITER 3956 NEW BEST:: SOT 7099940 SOS 5519774 HAS SOPS 2283300 HAS SOUS 2353861 HAS SOUPS 2105963 WITH SCORE 2111482.774
AT ITER 3959 NEW BEST:: SOT 7099937 SOS 5519771 HAS SOPS 2283150 HAS SOUS 2353711 HAS SOUPS 2105813 WITH SCORE 2111332.771
AT ITER 3963 NEW BEST:: SOT 7100429 SOS 5520263 HAS SOPS 2283054 HAS SOUS 2353615 HAS SOUPS 2105717 WITH SCORE 2111237.263
AT ITER 3977 NEW BEST:: SOT 7100429 SOS 5520263 HAS SOPS 2283053 HAS SOUS 2353614 HAS SOUPS 2105716 WITH SCORE 2111236.263
AT ITER 3983 NEW BEST:: SOT 7100428 SOS 5520262 HAS SOPS 2283052 HAS SOUS 2353613 HAS SOUPS 2105715 WITH SCORE 2111235.262
AT ITER 3986 NEW BEST:: SOT 7100320 SOS 5520154 HAS SOPS 2282836 HAS SOUS 2353397 HAS SOUPS 2105499 WITH SCORE 2111019.154
AT ITER 3993 NEW BEST:: SOT 7100320 SOS 5520154 HAS SOPS 2282751 HAS SOUS 2353312 HAS SOUPS 2105414 WITH SCORE 2110934.154
AT ITER 4001 NEW BEST:: SOT 7099932 SOS 5519766 HAS SOPS 2281738 HAS SOUS 2352299 HAS SOUPS 2104401 WITH SCORE 2109920.766
AT ITER 4011 NEW BEST:: SOT 7100199 SOS 5520033 HAS SOPS 2281736 HAS SOUS 2352297 HAS SOUPS 2104399 WITH SCORE 2109919.033
AT ITER 4020 NEW BEST:: SOT 7100085 SOS 5519919 HAS SOPS 2281584 HAS SOUS 2352145 HAS SOUPS 2104247 WITH SCORE 2109766.919
AT ITER 4026 NEW BEST:: SOT 7099979 SOS 5519813 HAS SOPS 2281395 HAS SOUS 2351956 HAS SOUPS 2104058 WITH SCORE 2109577.813
AT ITER 4032 NEW BEST:: SOT 7099978 SOS 5519812 HAS SOPS 2281393 HAS SOUS 2351954 HAS SOUPS 2104056 WITH SCORE 2109575.812
AT ITER 4033 NEW BEST:: SOT 7101078 SOS 5520912 HAS SOPS 2281368 HAS SOUS 2352049 HAS SOUPS 2104031 WITH SCORE 2109551.912
AT ITER 4046 NEW BEST:: SOT 7101311 SOS 5521145 HAS SOPS 2281149 HAS SOUS 2351830 HAS SOUPS 2103812 WITH SCORE 2109333.145
AT ITER 4049 NEW BEST:: SOT 7102066 SOS 5521900 HAS SOPS 2281081 HAS SOUS 2352470 HAS SOUPS 2103744 WITH SCORE 2109265.9
AT ITER 4053 NEW BEST:: SOT 7101829 SOS 5521663 HAS SOPS 2280607 HAS SOUS 2351996 HAS SOUPS 2103270 WITH SCORE 2108791.663
AT ITER 4070 NEW BEST:: SOT 7101760 SOS 5521594 HAS SOPS 2280152 HAS SOUS 2351541 HAS SOUPS 2102815 WITH SCORE 2108336.594
AT ITER 4084 NEW BEST:: SOT 7101132 SOS 5520966 HAS SOPS 2280050 HAS SOUS 2351439 HAS SOUPS 2102713 WITH SCORE 2108233.966
AT ITER 4087 NEW BEST:: SOT 7101231 SOS 5521065 HAS SOPS 2279712 HAS SOUS 2351345 HAS SOUPS 2102375 WITH SCORE 2107896.065
AT ITER 4101 NEW BEST:: SOT 7101319 SOS 5521153 HAS SOPS 2278472 HAS SOUS 2351037 HAS SOUPS 2101135 WITH SCORE 2106656.153
AT ITER 4125 NEW BEST:: SOT 7101321 SOS 5521155 HAS SOPS 2278227 HAS SOUS 2350792 HAS SOUPS 2100890 WITH SCORE 2106411.155
AT ITER 4129 NEW BEST:: SOT 7101108 SOS 5520942 HAS SOPS 2277801 HAS SOUS 2350399 HAS SOUPS 2100464 WITH SCORE 2105984.942
AT ITER 4132 NEW BEST:: SOT 7101108 SOS 5520942 HAS SOPS 2277141 HAS SOUS 2349819 HAS SOUPS 2099804 WITH SCORE 2105324.942
AT ITER 4140 NEW BEST:: SOT 7101124 SOS 5520958 HAS SOPS 2276928 HAS SOUS 2349506 HAS SOUPS 2099491 WITH SCORE 2105011.958
AT ITER 4141 NEW BEST:: SOT 7101036 SOS 5520870 HAS SOPS 2276928 HAS SOUS 2349506 HAS SOUPS 2099491 WITH SCORE 2105011.87
AT ITER 4150 NEW BEST:: SOT 7101036 SOS 5520870 HAS SOPS 2276484 HAS SOUS 2349284 HAS SOUPS 2099047 WITH SCORE 2104567.87
AT ITER 4159 NEW BEST:: SOT 7101036 SOS 5510806 HAS SOPS 2266420 HAS SOUS 2349012 HAS SOUPS 2098503 WITH SCORE 2104013.806
AT ITER 4164 NEW BEST:: SOT 7100815 SOS 5510585 HAS SOPS 2265502 HAS SOUS 2348261 HAS SOUPS 2097585 WITH SCORE 2103095.585
AT ITER 4165 NEW BEST:: SOT 7100734 SOS 5510504 HAS SOPS 2265334 HAS SOUS 2348093 HAS SOUPS 2097417 WITH SCORE 2102927.504
AT ITER 4168 NEW BEST:: SOT 7101836 SOS 5511606 HAS SOPS 2263250 HAS SOUS 2349367 HAS SOUPS 2095333 WITH SCORE 2100844.606
AT ITER 4175 NEW BEST:: SOT 7101836 SOS 5511606 HAS SOPS 2261886 HAS SOUS 2347969 HAS SOUPS 2093969 WITH SCORE 2099480.606
AT ITER 4176 NEW BEST:: SOT 7101987 SOS 5510097 HAS SOPS 2262534 HAS SOUS 2347109 HAS SOUPS 2093275 WITH SCORE 2098785.097
AT ITER 4182 NEW BEST:: SOT 7101367 SOS 5509477 HAS SOPS 2261937 HAS SOUS 2346512 HAS SOUPS 2092678 WITH SCORE 2098187.477
AT ITER 4184 NEW BEST:: SOT 7103738 SOS 5485979 HAS SOPS 2237312 HAS SOUS 2346269 HAS SOUPS 2092435 WITH SCORE 2097920.979
AT ITER 4193 NEW BEST:: SOT 7103737 SOS 5485978 HAS SOPS 2237310 HAS SOUS 2346497 HAS SOUPS 2092433 WITH SCORE 2097918.978
AT ITER 4197 NEW BEST:: SOT 7103576 SOS 5485817 HAS SOPS 2237061 HAS SOUS 2346248 HAS SOUPS 2092184 WITH SCORE 2097669.817
AT ITER 4202 NEW BEST:: SOT 7103595 SOS 5485836 HAS SOPS 2236956 HAS SOUS 2346231 HAS SOUPS 2092079 WITH SCORE 2097564.836
AT ITER 4203 NEW BEST:: SOT 7103549 SOS 5485790 HAS SOPS 2236864 HAS SOUS 2346139 HAS SOUPS 2091987 WITH SCORE 2097472.79
AT ITER 4227 NEW BEST:: SOT 7103549 SOS 5485790 HAS SOPS 2236231 HAS SOUS 2346272 HAS SOUPS 2091354 WITH SCORE 2096839.79
AT ITER 4237 NEW BEST:: SOT 7103560 SOS 5485801 HAS SOPS 2236164 HAS SOUS 2346361 HAS SOUPS 2091287 WITH SCORE 2096772.801
AT ITER 4251 NEW BEST:: SOT 7103414 SOS 5485655 HAS SOPS 2235989 HAS SOUS 2346186 HAS SOUPS 2091112 WITH SCORE 2096597.655
AT ITER 4271 NEW BEST:: SOT 7103404 SOS 5485645 HAS SOPS 2235969 HAS SOUS 2346362 HAS SOUPS 2091092 WITH SCORE 2096577.645
AT ITER 4272 NEW BEST:: SOT 7103404 SOS 5485645 HAS SOPS 2235579 HAS SOUS 2345972 HAS SOUPS 2090702 WITH SCORE 2096187.645
AT ITER 4277 NEW BEST:: SOT 7103366 SOS 5485607 HAS SOPS 2235579 HAS SOUS 2345972 HAS SOUPS 2090702 WITH SCORE 2096187.607
AT ITER 4281 NEW BEST:: SOT 7104073 SOS 5488154 HAS SOPS 2235031 HAS SOUS 2347253 HAS SOUPS 2090154 WITH SCORE 2095642.154
AT ITER 4296 NEW BEST:: SOT 7104336 SOS 5489079 HAS SOPS 2235171 HAS SOUS 2347824 HAS SOUPS 2090042 WITH SCORE 2095531.079
AT ITER 4300 NEW BEST:: SOT 7104188 SOS 5488931 HAS SOPS 2234875 HAS SOUS 2347528 HAS SOUPS 2089746 WITH SCORE 2095234.931
AT ITER 4332 NEW BEST:: SOT 7103432 SOS 5488175 HAS SOPS 2233291 HAS SOUS 2345944 HAS SOUPS 2088162 WITH SCORE 2093650.175
AT ITER 4342 NEW BEST:: SOT 7103941 SOS 5488684 HAS SOPS 2233273 HAS SOUS 2346214 HAS SOUPS 2088144 WITH SCORE 2093632.684
AT ITER 4345 NEW BEST:: SOT 7104678 SOS 5489421 HAS SOPS 2233267 HAS SOUS 2346231 HAS SOUPS 2088138 WITH SCORE 2093627.421
AT ITER 4379 NEW BEST:: SOT 7104388 SOS 5489131 HAS SOPS 2233267 HAS SOUS 2345941 HAS SOUPS 2088138 WITH SCORE 2093627.131
AT ITER 4381 NEW BEST:: SOT 7103961 SOS 5488704 HAS SOPS 2232840 HAS SOUS 2345514 HAS SOUPS 2087711 WITH SCORE 2093199.704
AT ITER 4408 NEW BEST:: SOT 7105486 SOS 5489503 HAS SOPS 2231734 HAS SOUS 2344877 HAS SOUPS 2087112 WITH SCORE 2092601.503
AT ITER 4419 NEW BEST:: SOT 7105395 SOS 5489412 HAS SOPS 2231510 HAS SOUS 2346318 HAS SOUPS 2086888 WITH SCORE 2092377.412
AT ITER 4430 NEW BEST:: SOT 7104826 SOS 5488843 HAS SOPS 2230690 HAS SOUS 2345903 HAS SOUPS 2086068 WITH SCORE 2091556.843
AT ITER 4441 NEW BEST:: SOT 7104530 SOS 5488547 HAS SOPS 2229970 HAS SOUS 2345183 HAS SOUPS 2085348 WITH SCORE 2090836.547
AT ITER 4443 NEW BEST:: SOT 7104775 SOS 5488792 HAS SOPS 2229898 HAS SOUS 2345271 HAS SOUPS 2085276 WITH SCORE 2090764.792
AT ITER 4446 NEW BEST:: SOT 7104749 SOS 5488766 HAS SOPS 2229846 HAS SOUS 2345219 HAS SOUPS 2085224 WITH SCORE 2090712.766
AT ITER 4448 NEW BEST:: SOT 7104776 SOS 5488793 HAS SOPS 2229761 HAS SOUS 2345134 HAS SOUPS 2085139 WITH SCORE 2090627.793
AT ITER 4452 NEW BEST:: SOT 7104732 SOS 5488749 HAS SOPS 2229716 HAS SOUS 2345089 HAS SOUPS 2085094 WITH SCORE 2090582.749
AT ITER 4474 NEW BEST:: SOT 7104871 SOS 5488888 HAS SOPS 2229674 HAS SOUS 2345047 HAS SOUPS 2085052 WITH SCORE 2090540.888
AT ITER 4475 NEW BEST:: SOT 7105144 SOS 5487089 HAS SOPS 2230549 HAS SOUS 2344357 HAS SOUPS 2084563 WITH SCORE 2090050.089
AT ITER 4493 NEW BEST:: SOT 7105028 SOS 5486973 HAS SOPS 2230549 HAS SOUS 2344357 HAS SOUPS 2084563 WITH SCORE 2090049.973
AT ITER 4494 NEW BEST:: SOT 7104077 SOS 5486022 HAS SOPS 2229799 HAS SOUS 2343607 HAS SOUPS 2083813 WITH SCORE 2089299.022
AT ITER 4495 NEW BEST:: SOT 7105946 SOS 5478937 HAS SOPS 2205724 HAS SOUS 2327429 HAS SOUPS 2067635 WITH SCORE 2073113.937
AT ITER 4497 NEW BEST:: SOT 7105938 SOS 5478929 HAS SOPS 2205708 HAS SOUS 2327421 HAS SOUPS 2067619 WITH SCORE 2073097.929
AT ITER 4503 NEW BEST:: SOT 7106204 SOS 5479195 HAS SOPS 2204804 HAS SOUS 2326517 HAS SOUPS 2066715 WITH SCORE 2072194.195
AT ITER 4525 NEW BEST:: SOT 7105802 SOS 5478793 HAS SOPS 2204275 HAS SOUS 2326242 HAS SOUPS 2066186 WITH SCORE 2071664.793
AT ITER 4541 NEW BEST:: SOT 7105618 SOS 5478609 HAS SOPS 2203692 HAS SOUS 2325659 HAS SOUPS 2065603 WITH SCORE 2071081.609
AT ITER 4546 NEW BEST:: SOT 7105772 SOS 5478763 HAS SOPS 2203255 HAS SOUS 2325222 HAS SOUPS 2065166 WITH SCORE 2070644.763
AT ITER 4548 NEW BEST:: SOT 7105383 SOS 5478374 HAS SOPS 2202477 HAS SOUS 2324857 HAS SOUPS 2064388 WITH SCORE 2069866.374
AT ITER 4556 NEW BEST:: SOT 7105222 SOS 5478213 HAS SOPS 2200781 HAS SOUS 2323796 HAS SOUPS 2062692 WITH SCORE 2068170.213
AT ITER 4567 NEW BEST:: SOT 7105187 SOS 5478178 HAS SOPS 2200498 HAS SOUS 2323513 HAS SOUPS 2062409 WITH SCORE 2067887.178
AT ITER 4574 NEW BEST:: SOT 7105479 SOS 5478470 HAS SOPS 2200068 HAS SOUS 2323083 HAS SOUPS 2061979 WITH SCORE 2067457.47
AT ITER 4581 NEW BEST:: SOT 7105217 SOS 5478208 HAS SOPS 2199544 HAS SOUS 2322217 HAS SOUPS 2061455 WITH SCORE 2066933.208
AT ITER 4585 NEW BEST:: SOT 7105344 SOS 5478335 HAS SOPS 2199501 HAS SOUS 2322174 HAS SOUPS 2061412 WITH SCORE 2066890.335
AT ITER 4586 NEW BEST:: SOT 7105388 SOS 5478379 HAS SOPS 2199370 HAS SOUS 2322043 HAS SOUPS 2061281 WITH SCORE 2066759.379
AT ITER 4593 NEW BEST:: SOT 7105810 SOS 5478801 HAS SOPS 2198898 HAS SOUS 2321571 HAS SOUPS 2060809 WITH SCORE 2066287.801
AT ITER 4597 NEW BEST:: SOT 7105810 SOS 5478801 HAS SOPS 2198720 HAS SOUS 2321393 HAS SOUPS 2060631 WITH SCORE 2066109.801
AT ITER 4602 NEW BEST:: SOT 7105810 SOS 5478801 HAS SOPS 2198362 HAS SOUS 2320990 HAS SOUPS 2060228 WITH SCORE 2065706.801
AT ITER 4614 NEW BEST:: SOT 7105565 SOS 5478556 HAS SOPS 2197872 HAS SOUS 2320500 HAS SOUPS 2059738 WITH SCORE 2065216.556
AT ITER 4647 NEW BEST:: SOT 7105949 SOS 5478940 HAS SOPS 2197467 HAS SOUS 2321492 HAS SOUPS 2059333 WITH SCORE 2064811.94
AT ITER 4662 NEW BEST:: SOT 7105747 SOS 5478738 HAS SOPS 2197265 HAS SOUS 2321391 HAS SOUPS 2059131 WITH SCORE 2064609.738
AT ITER 4670 NEW BEST:: SOT 7105398 SOS 5478389 HAS SOPS 2197178 HAS SOUS 2321304 HAS SOUPS 2059044 WITH SCORE 2064522.389
AT ITER 4672 NEW BEST:: SOT 7105330 SOS 5478321 HAS SOPS 2196891 HAS SOUS 2321017 HAS SOUPS 2058757 WITH SCORE 2064235.321
AT ITER 4679 NEW BEST:: SOT 7105244 SOS 5478235 HAS SOPS 2196805 HAS SOUS 2320931 HAS SOUPS 2058671 WITH SCORE 2064149.235
AT ITER 4691 NEW BEST:: SOT 7105676 SOS 5478667 HAS SOPS 2196227 HAS SOUS 2320353 HAS SOUPS 2058093 WITH SCORE 2063571.667
AT ITER 4704 NEW BEST:: SOT 7105664 SOS 5478655 HAS SOPS 2196191 HAS SOUS 2320353 HAS SOUPS 2058057 WITH SCORE 2063535.655
AT ITER 4707 NEW BEST:: SOT 7105541 SOS 5478532 HAS SOPS 2195945 HAS SOUS 2320107 HAS SOUPS 2057811 WITH SCORE 2063289.532
AT ITER 4712 NEW BEST:: SOT 7105961 SOS 5478952 HAS SOPS 2195653 HAS SOUS 2320381 HAS SOUPS 2057519 WITH SCORE 2062997.952
AT ITER 4716 NEW BEST:: SOT 7105960 SOS 5478951 HAS SOPS 2195651 HAS SOUS 2320379 HAS SOUPS 2057517 WITH SCORE 2062995.951
AT ITER 4719 NEW BEST:: SOT 7105888 SOS 5478879 HAS SOPS 2195555 HAS SOUS 2320331 HAS SOUPS 2057421 WITH SCORE 2062899.879
AT ITER 4722 NEW BEST:: SOT 7105884 SOS 5478875 HAS SOPS 2195547 HAS SOUS 2320323 HAS SOUPS 2057413 WITH SCORE 2062891.875
AT ITER 4742 NEW BEST:: SOT 7105638 SOS 5478629 HAS SOPS 2195056 HAS SOUS 2319832 HAS SOUPS 2056922 WITH SCORE 2062400.629
AT ITER 4746 NEW BEST:: SOT 7105636 SOS 5478627 HAS SOPS 2195022 HAS SOUS 2319830 HAS SOUPS 2056888 WITH SCORE 2062366.627
AT ITER 4751 NEW BEST:: SOT 7105907 SOS 5478898 HAS SOPS 2194946 HAS SOUS 2319754 HAS SOUPS 2056812 WITH SCORE 2062290.898
AT ITER 4760 NEW BEST:: SOT 7105907 SOS 5454488 HAS SOPS 2170536 HAS SOUS 2319362 HAS SOUPS 2055450 WITH SCORE 2060904.488
AT ITER 4762 NEW BEST:: SOT 7106115 SOS 5457476 HAS SOPS 2170242 HAS SOUS 2319449 HAS SOUPS 2055156 WITH SCORE 2060613.476
AT ITER 4778 NEW BEST:: SOT 7106366 SOS 5455716 HAS SOPS 2170996 HAS SOUS 2319106 HAS SOUPS 2054981 WITH SCORE 2060436.716
AT ITER 4784 NEW BEST:: SOT 7106744 SOS 5456094 HAS SOPS 2170994 HAS SOUS 2319106 HAS SOUPS 2054979 WITH SCORE 2060435.094
AT ITER 4801 NEW BEST:: SOT 7106310 SOS 5455660 HAS SOPS 2170091 HAS SOUS 2318203 HAS SOUPS 2054076 WITH SCORE 2059531.66
AT ITER 4808 NEW BEST:: SOT 7106350 SOS 5455700 HAS SOPS 2169327 HAS SOUS 2317464 HAS SOUPS 2053312 WITH SCORE 2058767.7
AT ITER 4809 NEW BEST:: SOT 7106252 SOS 5455602 HAS SOPS 2169131 HAS SOUS 2317268 HAS SOUPS 2053116 WITH SCORE 2058571.602
AT ITER 4815 NEW BEST:: SOT 7105905 SOS 5455255 HAS SOPS 2168851 HAS SOUS 2316988 HAS SOUPS 2052836 WITH SCORE 2058291.255
AT ITER 4817 NEW BEST:: SOT 7104991 SOS 5454341 HAS SOPS 2164837 HAS SOUS 2312949 HAS SOUPS 2048629 WITH SCORE 2054083.341
AT ITER 4840 NEW BEST:: SOT 7105167 SOS 5454517 HAS SOPS 2164549 HAS SOUS 2312826 HAS SOUPS 2048341 WITH SCORE 2053795.517
AT ITER 4846 NEW BEST:: SOT 7105148 SOS 5454498 HAS SOPS 2164165 HAS SOUS 2312442 HAS SOUPS 2047957 WITH SCORE 2053411.498
AT ITER 4854 NEW BEST:: SOT 7105088 SOS 5454438 HAS SOPS 2164105 HAS SOUS 2312382 HAS SOUPS 2047897 WITH SCORE 2053351.438
AT ITER 4873 NEW BEST:: SOT 7105087 SOS 5454437 HAS SOPS 2164103 HAS SOUS 2312380 HAS SOUPS 2047895 WITH SCORE 2053349.437
AT ITER 4880 NEW BEST:: SOT 7104843 SOS 5454193 HAS SOPS 2163859 HAS SOUS 2312136 HAS SOUPS 2047651 WITH SCORE 2053105.193
AT ITER 4897 NEW BEST:: SOT 7104843 SOS 5454193 HAS SOPS 2163463 HAS SOUS 2312086 HAS SOUPS 2047255 WITH SCORE 2052709.193
AT ITER 4899 NEW BEST:: SOT 7103762 SOS 5453112 HAS SOPS 2162519 HAS SOUS 2311051 HAS SOUPS 2046311 WITH SCORE 2051764.112
AT ITER 4910 NEW BEST:: SOT 7104845 SOS 5454195 HAS SOPS 2161659 HAS SOUS 2310303 HAS SOUPS 2045451 WITH SCORE 2050905.195
AT ITER 4924 NEW BEST:: SOT 7104715 SOS 5454065 HAS SOPS 2161116 HAS SOUS 2309869 HAS SOUPS 2044908 WITH SCORE 2050362.065
AT ITER 4931 NEW BEST:: SOT 7104609 SOS 5453959 HAS SOPS 2160904 HAS SOUS 2309657 HAS SOUPS 2044696 WITH SCORE 2050149.959
AT ITER 4932 NEW BEST:: SOT 7104565 SOS 5453915 HAS SOPS 2160816 HAS SOUS 2309613 HAS SOUPS 2044608 WITH SCORE 2050061.915
AT ITER 4944 NEW BEST:: SOT 7104603 SOS 5453953 HAS SOPS 2160766 HAS SOUS 2309563 HAS SOUPS 2044558 WITH SCORE 2050011.953
AT ITER 4945 NEW BEST:: SOT 7104563 SOS 5453913 HAS SOPS 2160766 HAS SOUS 2309523 HAS SOUPS 2044558 WITH SCORE 2050011.913
AT ITER 4968 NEW BEST:: SOT 7104232 SOS 5453582 HAS SOPS 2160104 HAS SOUS 2309000 HAS SOUPS 2043896 WITH SCORE 2049349.582
AT ITER 4969 NEW BEST:: SOT 7104232 SOS 5453582 HAS SOPS 2160095 HAS SOUS 2308991 HAS SOUPS 2043887 WITH SCORE 2049340.582
AT ITER 4997 NEW BEST:: SOT 7104867 SOS 5454217 HAS SOPS 2159741 HAS SOUS 2308650 HAS SOUPS 2043533 WITH SCORE 2048987.217
AT ITER 5002 NEW BEST:: SOT 7104831 SOS 5453641 HAS SOPS 2159750 HAS SOUS 2308264 HAS SOUPS 2043192 WITH SCORE 2048645.641
AT ITER 5005 NEW BEST:: SOT 7104831 SOS 5453641 HAS SOPS 2159565 HAS SOUS 2308264 HAS SOUPS 2043007 WITH SCORE 2048460.641
AT ITER 5021 NEW BEST:: SOT 7104557 SOS 5453367 HAS SOPS 2159291 HAS SOUS 2307792 HAS SOUPS 2042733 WITH SCORE 2048186.367
AT ITER 5026 NEW BEST:: SOT 7104542 SOS 5453352 HAS SOPS 2159291 HAS SOUS 2307792 HAS SOUPS 2042733 WITH SCORE 2048186.352
AT ITER 5029 NEW BEST:: SOT 7104452 SOS 5453262 HAS SOPS 2159111 HAS SOUS 2307612 HAS SOUPS 2042553 WITH SCORE 2048006.262
AT ITER 5033 NEW BEST:: SOT 7103968 SOS 5452778 HAS SOPS 2158007 HAS SOUS 2306508 HAS SOUPS 2041449 WITH SCORE 2046901.778
AT ITER 5034 NEW BEST:: SOT 7104082 SOS 5452892 HAS SOPS 2158002 HAS SOUS 2306503 HAS SOUPS 2041444 WITH SCORE 2046896.892
AT ITER 5060 NEW BEST:: SOT 7104059 SOS 5452869 HAS SOPS 2157956 HAS SOUS 2306457 HAS SOUPS 2041398 WITH SCORE 2046850.869
AT ITER 5073 NEW BEST:: SOT 7104035 SOS 5452845 HAS SOPS 2157946 HAS SOUS 2306447 HAS SOUPS 2041388 WITH SCORE 2046840.845
AT ITER 5077 NEW BEST:: SOT 7103795 SOS 5452605 HAS SOPS 2157466 HAS SOUS 2307435 HAS SOUPS 2040908 WITH SCORE 2046360.605
AT ITER 5088 NEW BEST:: SOT 7103763 SOS 5452573 HAS SOPS 2157434 HAS SOUS 2307403 HAS SOUPS 2040876 WITH SCORE 2046328.573
AT ITER 5089 NEW BEST:: SOT 7103751 SOS 5452561 HAS SOPS 2157422 HAS SOUS 2307391 HAS SOUPS 2040864 WITH SCORE 2046316.561
AT ITER 5103 NEW BEST:: SOT 7103995 SOS 5452805 HAS SOPS 2157295 HAS SOUS 2307264 HAS SOUPS 2040737 WITH SCORE 2046189.805
AT ITER 5118 NEW BEST:: SOT 7103559 SOS 5452369 HAS SOPS 2156260 HAS SOUS 2306229 HAS SOUPS 2039702 WITH SCORE 2045154.369
AT ITER 5132 NEW BEST:: SOT 7103559 SOS 5452369 HAS SOPS 2156153 HAS SOUS 2306229 HAS SOUPS 2039595 WITH SCORE 2045047.369
AT ITER 5141 NEW BEST:: SOT 7103204 SOS 5452014 HAS SOPS 2155163 HAS SOUS 2305239 HAS SOUPS 2038605 WITH SCORE 2044057.014
AT ITER 5149 NEW BEST:: SOT 7103476 SOS 5452286 HAS SOPS 2155161 HAS SOUS 2305237 HAS SOUPS 2038603 WITH SCORE 2044055.286
AT ITER 5158 NEW BEST:: SOT 7103532 SOS 5452342 HAS SOPS 2154514 HAS SOUS 2304590 HAS SOUPS 2037956 WITH SCORE 2043408.342
AT ITER 5159 NEW BEST:: SOT 7103493 SOS 5452303 HAS SOPS 2154436 HAS SOUS 2304512 HAS SOUPS 2037878 WITH SCORE 2043330.303
AT ITER 5172 NEW BEST:: SOT 7103385 SOS 5450035 HAS SOPS 2154436 HAS SOUS 2304388 HAS SOUPS 2037878 WITH SCORE 2043328.035
AT ITER 5178 NEW BEST:: SOT 7103344 SOS 5449994 HAS SOPS 2154354 HAS SOUS 2304795 HAS SOUPS 2037796 WITH SCORE 2043245.994
AT ITER 5180 NEW BEST:: SOT 7102689 SOS 5449339 HAS SOPS 2154118 HAS SOUS 2304374 HAS SOUPS 2037560 WITH SCORE 2043009.339
AT ITER 5185 NEW BEST:: SOT 7102581 SOS 5449231 HAS SOPS 2153974 HAS SOUS 2304302 HAS SOUPS 2037416 WITH SCORE 2042865.231
AT ITER 5196 NEW BEST:: SOT 7102380 SOS 5446157 HAS SOPS 2153773 HAS SOUS 2304260 HAS SOUPS 2037215 WITH SCORE 2042661.157
AT ITER 5206 NEW BEST:: SOT 7101813 SOS 5445590 HAS SOPS 2152312 HAS SOUS 2302799 HAS SOUPS 2035754 WITH SCORE 2041199.59
AT ITER 5207 NEW BEST:: SOT 7101687 SOS 5445464 HAS SOPS 2152186 HAS SOUS 2302673 HAS SOUPS 2035628 WITH SCORE 2041073.464
AT ITER 5219 NEW BEST:: SOT 7101687 SOS 5445371 HAS SOPS 2152000 HAS SOUS 2302487 HAS SOUPS 2035442 WITH SCORE 2040887.371
AT ITER 5225 NEW BEST:: SOT 7102283 SOS 5445967 HAS SOPS 2151886 HAS SOUS 2302373 HAS SOUPS 2035328 WITH SCORE 2040773.967
AT ITER 5226 NEW BEST:: SOT 7101711 SOS 5445395 HAS SOPS 2150555 HAS SOUS 2301048 HAS SOUPS 2033997 WITH SCORE 2039442.395
AT ITER 5232 NEW BEST:: SOT 7101502 SOS 5445186 HAS SOPS 2150354 HAS SOUS 2300847 HAS SOUPS 2033796 WITH SCORE 2039241.186
AT ITER 5245 NEW BEST:: SOT 7101279 SOS 5444963 HAS SOPS 2150131 HAS SOUS 2300624 HAS SOUPS 2033573 WITH SCORE 2039017.963
AT ITER 5248 NEW BEST:: SOT 7101332 SOS 5445016 HAS SOPS 2150041 HAS SOUS 2300583 HAS SOUPS 2033483 WITH SCORE 2038928.016
AT ITER 5251 NEW BEST:: SOT 7101057 SOS 5444741 HAS SOPS 2149248 HAS SOUS 2299790 HAS SOUPS 2032690 WITH SCORE 2038134.741
AT ITER 5266 NEW BEST:: SOT 7100786 SOS 5444470 HAS SOPS 2148706 HAS SOUS 2299281 HAS SOUPS 2032148 WITH SCORE 2037592.47
AT ITER 5270 NEW BEST:: SOT 7100479 SOS 5444163 HAS SOPS 2148092 HAS SOUS 2298926 HAS SOUPS 2031534 WITH SCORE 2036978.163
AT ITER 5279 NEW BEST:: SOT 7100196 SOS 5443880 HAS SOPS 2147453 HAS SOUS 2298643 HAS SOUPS 2030895 WITH SCORE 2036338.88
AT ITER 5282 NEW BEST:: SOT 7100248 SOS 5443932 HAS SOPS 2146857 HAS SOUS 2298047 HAS SOUPS 2030299 WITH SCORE 2035742.932
AT ITER 5301 NEW BEST:: SOT 7100245 SOS 5443929 HAS SOPS 2146851 HAS SOUS 2298041 HAS SOUPS 2030293 WITH SCORE 2035736.929
AT ITER 5305 NEW BEST:: SOT 7099951 SOS 5443635 HAS SOPS 2146263 HAS SOUS 2297457 HAS SOUPS 2029705 WITH SCORE 2035148.635
AT ITER 5308 NEW BEST:: SOT 7099950 SOS 5443634 HAS SOPS 2145689 HAS SOUS 2296884 HAS SOUPS 2029131 WITH SCORE 2034574.634
AT ITER 5309 NEW BEST:: SOT 7099949 SOS 5443633 HAS SOPS 2145661 HAS SOUS 2296869 HAS SOUPS 2029103 WITH SCORE 2034546.633
AT ITER 5341 NEW BEST:: SOT 7099830 SOS 5443514 HAS SOPS 2145661 HAS SOUS 2296869 HAS SOUPS 2029103 WITH SCORE 2034546.514
AT ITER 5342 NEW BEST:: SOT 7099798 SOS 5443482 HAS SOPS 2145629 HAS SOUS 2296837 HAS SOUPS 2029071 WITH SCORE 2034514.482
AT ITER 5366 NEW BEST:: SOT 7099520 SOS 5443204 HAS SOPS 2145310 HAS SOUS 2296518 HAS SOUPS 2028752 WITH SCORE 2034195.204
AT ITER 5384 NEW BEST:: SOT 7098363 SOS 5442047 HAS SOPS 2143608 HAS SOUS 2294700 HAS SOUPS 2027050 WITH SCORE 2032492.047
AT ITER 5390 NEW BEST:: SOT 7098441 SOS 5442366 HAS SOPS 2143764 HAS SOUS 2294695 HAS SOUPS 2027025 WITH SCORE 2032467.366
AT ITER 5394 NEW BEST:: SOT 7098320 SOS 5442245 HAS SOPS 2143518 HAS SOUS 2294449 HAS SOUPS 2026779 WITH SCORE 2032221.245
AT ITER 5397 NEW BEST:: SOT 7099304 SOS 5447789 HAS SOPS 2143495 HAS SOUS 2295584 HAS SOUPS 2026756 WITH SCORE 2032203.789
AT ITER 5410 NEW BEST:: SOT 7099343 SOS 5447388 HAS SOPS 2143613 HAS SOUS 2295462 HAS SOUPS 2026674 WITH SCORE 2032121.388
AT ITER 5411 NEW BEST:: SOT 7099320 SOS 5447365 HAS SOPS 2143567 HAS SOUS 2295416 HAS SOUPS 2026628 WITH SCORE 2032075.365
AT ITER 5420 NEW BEST:: SOT 7099071 SOS 5447116 HAS SOPS 2143567 HAS SOUS 2295167 HAS SOUPS 2026628 WITH SCORE 2032075.116
AT ITER 5423 NEW BEST:: SOT 7098910 SOS 5446955 HAS SOPS 2143406 HAS SOUS 2295006 HAS SOUPS 2026467 WITH SCORE 2031913.955
AT ITER 5425 NEW BEST:: SOT 7098626 SOS 5446671 HAS SOPS 2143091 HAS SOUS 2294691 HAS SOUPS 2026152 WITH SCORE 2031598.671
AT ITER 5428 NEW BEST:: SOT 7098702 SOS 5446747 HAS SOPS 2142920 HAS SOUS 2294520 HAS SOUPS 2025981 WITH SCORE 2031427.747
AT ITER 5430 NEW BEST:: SOT 7098956 SOS 5447001 HAS SOPS 2142786 HAS SOUS 2294600 HAS SOUPS 2025847 WITH SCORE 2031294.001
AT ITER 5438 NEW BEST:: SOT 7098977 SOS 5446714 HAS SOPS 2142884 HAS SOUS 2294507 HAS SOUPS 2025782 WITH SCORE 2031228.714
AT ITER 5449 NEW BEST:: SOT 7099286 SOS 5447023 HAS SOPS 2142430 HAS SOUS 2294053 HAS SOUPS 2025328 WITH SCORE 2030775.023
AT ITER 5470 NEW BEST:: SOT 7099286 SOS 5447023 HAS SOPS 2142360 HAS SOUS 2293983 HAS SOUPS 2025258 WITH SCORE 2030705.023
AT ITER 5475 NEW BEST:: SOT 7099100 SOS 5446837 HAS SOPS 2141988 HAS SOUS 2293660 HAS SOUPS 2024886 WITH SCORE 2030332.837
AT ITER 5481 NEW BEST:: SOT 7099100 SOS 5446837 HAS SOPS 2141720 HAS SOUS 2293392 HAS SOUPS 2024618 WITH SCORE 2030064.837
AT ITER 5490 NEW BEST:: SOT 7099083 SOS 5446820 HAS SOPS 2141686 HAS SOUS 2293358 HAS SOUPS 2024584 WITH SCORE 2030030.82
AT ITER 5493 NEW BEST:: SOT 7098927 SOS 5446664 HAS SOPS 2141374 HAS SOUS 2293046 HAS SOUPS 2024272 WITH SCORE 2029718.664
AT ITER 5497 NEW BEST:: SOT 7099031 SOS 5446768 HAS SOPS 2141332 HAS SOUS 2293037 HAS SOUPS 2024230 WITH SCORE 2029676.768
AT ITER 5500 NEW BEST:: SOT 7099031 SOS 5446768 HAS SOPS 2141161 HAS SOUS 2293037 HAS SOUPS 2024059 WITH SCORE 2029505.768
AT ITER 5507 NEW BEST:: SOT 7100162 SOS 5447899 HAS SOPS 2141155 HAS SOUS 2293462 HAS SOUPS 2024053 WITH SCORE 2029500.899
AT ITER 5513 NEW BEST:: SOT 7100277 SOS 5448014 HAS SOPS 2141114 HAS SOUS 2293609 HAS SOUPS 2024012 WITH SCORE 2029460.014
AT ITER 5515 NEW BEST:: SOT 7100405 SOS 5448279 HAS SOPS 2141071 HAS SOUS 2293566 HAS SOUPS 2023969 WITH SCORE 2029417.279
AT ITER 5517 NEW BEST:: SOT 7101440 SOS 5449314 HAS SOPS 2140725 HAS SOUS 2294552 HAS SOUPS 2023623 WITH SCORE 2029072.314
AT ITER 5521 NEW BEST:: SOT 7101489 SOS 5449363 HAS SOPS 2140398 HAS SOUS 2294544 HAS SOUPS 2023296 WITH SCORE 2028745.363
AT ITER 5524 NEW BEST:: SOT 7101511 SOS 5449385 HAS SOPS 2139793 HAS SOUS 2293939 HAS SOUPS 2022691 WITH SCORE 2028140.385
AT ITER 5535 NEW BEST:: SOT 7101348 SOS 5449222 HAS SOPS 2139467 HAS SOUS 2293613 HAS SOUPS 2022365 WITH SCORE 2027814.222
AT ITER 5542 NEW BEST:: SOT 7101271 SOS 5449145 HAS SOPS 2139313 HAS SOUS 2293459 HAS SOUPS 2022211 WITH SCORE 2027660.145
AT ITER 5545 NEW BEST:: SOT 7100855 SOS 5448729 HAS SOPS 2139089 HAS SOUS 2293081 HAS SOUPS 2021987 WITH SCORE 2027435.729
AT ITER 5553 NEW BEST:: SOT 7100855 SOS 5448729 HAS SOPS 2139045 HAS SOUS 2293037 HAS SOUPS 2021943 WITH SCORE 2027391.729
AT ITER 5555 NEW BEST:: SOT 7101642 SOS 5449516 HAS SOPS 2138977 HAS SOUS 2292969 HAS SOUPS 2021875 WITH SCORE 2027324.516
AT ITER 5558 NEW BEST:: SOT 7101518 SOS 5449532 HAS SOPS 2138456 HAS SOUS 2292448 HAS SOUPS 2021354 WITH SCORE 2026803.532
AT ITER 5560 NEW BEST:: SOT 7101502 SOS 5449516 HAS SOPS 2138212 HAS SOUS 2292219 HAS SOUPS 2021125 WITH SCORE 2026574.516
AT ITER 5607 NEW BEST:: SOT 7101431 SOS 5449445 HAS SOPS 2136582 HAS SOUS 2291269 HAS SOUPS 2019495 WITH SCORE 2024944.445
AT ITER 5610 NEW BEST:: SOT 7100889 SOS 5448903 HAS SOPS 2136040 HAS SOUS 2290727 HAS SOUPS 2018953 WITH SCORE 2024401.903
AT ITER 5617 NEW BEST:: SOT 7100817 SOS 5448831 HAS SOPS 2135968 HAS SOUS 2290655 HAS SOUPS 2018881 WITH SCORE 2024329.831
AT ITER 5645 NEW BEST:: SOT 7101265 SOS 5449279 HAS SOPS 2135966 HAS SOUS 2290653 HAS SOUPS 2018879 WITH SCORE 2024328.279
AT ITER 5665 NEW BEST:: SOT 7101334 SOS 5449348 HAS SOPS 2135850 HAS SOUS 2290976 HAS SOUPS 2018763 WITH SCORE 2024212.348
AT ITER 5671 NEW BEST:: SOT 7101128 SOS 5449142 HAS SOPS 2135584 HAS SOUS 2290710 HAS SOUPS 2018497 WITH SCORE 2023946.142
AT ITER 5672 NEW BEST:: SOT 7100972 SOS 5448986 HAS SOPS 2135272 HAS SOUS 2290469 HAS SOUPS 2018185 WITH SCORE 2023633.986
AT ITER 5691 NEW BEST:: SOT 7100218 SOS 5448232 HAS SOPS 2133716 HAS SOUS 2289270 HAS SOUPS 2016629 WITH SCORE 2022077.232
AT ITER 5695 NEW BEST:: SOT 7100149 SOS 5448163 HAS SOPS 2133440 HAS SOUS 2288994 HAS SOUPS 2016353 WITH SCORE 2021801.163
AT ITER 5708 NEW BEST:: SOT 7099964 SOS 5447978 HAS SOPS 2133298 HAS SOUS 2288852 HAS SOUPS 2016211 WITH SCORE 2021658.978
AT ITER 5713 NEW BEST:: SOT 7099348 SOS 5447362 HAS SOPS 2131846 HAS SOUS 2287400 HAS SOUPS 2014759 WITH SCORE 2020206.362
AT ITER 5729 NEW BEST:: SOT 7099278 SOS 5447292 HAS SOPS 2131706 HAS SOUS 2287260 HAS SOUPS 2014619 WITH SCORE 2020066.292
AT ITER 5733 NEW BEST:: SOT 7099486 SOS 5447500 HAS SOPS 2131672 HAS SOUS 2287226 HAS SOUPS 2014585 WITH SCORE 2020032.5
AT ITER 5736 NEW BEST:: SOT 7099699 SOS 5447713 HAS SOPS 2131299 HAS SOUS 2287657 HAS SOUPS 2014212 WITH SCORE 2019659.713
AT ITER 5738 NEW BEST:: SOT 7099605 SOS 5447619 HAS SOPS 2131111 HAS SOUS 2287469 HAS SOUPS 2014024 WITH SCORE 2019471.619
AT ITER 5744 NEW BEST:: SOT 7104048 SOS 5451680 HAS SOPS 2126627 HAS SOUS 2283039 HAS SOUPS 2009540 WITH SCORE 2014991.68
AT ITER 5760 NEW BEST:: SOT 7104047 SOS 5451679 HAS SOPS 2126625 HAS SOUS 2283037 HAS SOUPS 2009538 WITH SCORE 2014989.679
AT ITER 5776 NEW BEST:: SOT 7104124 SOS 5451756 HAS SOPS 2126433 HAS SOUS 2283194 HAS SOUPS 2009346 WITH SCORE 2014797.756
AT ITER 5784 NEW BEST:: SOT 7103905 SOS 5451537 HAS SOPS 2125995 HAS SOUS 2282756 HAS SOUPS 2008908 WITH SCORE 2014359.537
AT ITER 5788 NEW BEST:: SOT 7103617 SOS 5451249 HAS SOPS 2125419 HAS SOUS 2282180 HAS SOUPS 2008332 WITH SCORE 2013783.249
AT ITER 5796 NEW BEST:: SOT 7102808 SOS 5450440 HAS SOPS 2125233 HAS SOUS 2281994 HAS SOUPS 2008146 WITH SCORE 2013596.44
AT ITER 5830 NEW BEST:: SOT 7102717 SOS 5450349 HAS SOPS 2124949 HAS SOUS 2281710 HAS SOUPS 2007862 WITH SCORE 2013312.349
AT ITER 5845 NEW BEST:: SOT 7102715 SOS 5450347 HAS SOPS 2124945 HAS SOUS 2281706 HAS SOUPS 2007858 WITH SCORE 2013308.347
AT ITER 5847 NEW BEST:: SOT 7103054 SOS 5450686 HAS SOPS 2124751 HAS SOUS 2281512 HAS SOUPS 2007664 WITH SCORE 2013114.686
AT ITER 5854 NEW BEST:: SOT 7102576 SOS 5450208 HAS SOPS 2123795 HAS SOUS 2281201 HAS SOUPS 2006708 WITH SCORE 2012158.208
AT ITER 5868 NEW BEST:: SOT 7102380 SOS 5450012 HAS SOPS 2123403 HAS SOUS 2280809 HAS SOUPS 2006316 WITH SCORE 2011766.012
AT ITER 5872 NEW BEST:: SOT 7102338 SOS 5449970 HAS SOPS 2123319 HAS SOUS 2280725 HAS SOUPS 2006232 WITH SCORE 2011681.97
AT ITER 5873 NEW BEST:: SOT 7102298 SOS 5449190 HAS SOPS 2122579 HAS SOUS 2280685 HAS SOUPS 2006192 WITH SCORE 2011641.19
AT ITER 5877 NEW BEST:: SOT 7102298 SOS 5449190 HAS SOPS 2122345 HAS SOUS 2280451 HAS SOUPS 2005958 WITH SCORE 2011407.19
AT ITER 5886 NEW BEST:: SOT 7102466 SOS 5449358 HAS SOPS 2122296 HAS SOUS 2280402 HAS SOUPS 2005909 WITH SCORE 2011358.358
AT ITER 5908 NEW BEST:: SOT 7102260 SOS 5449152 HAS SOPS 2122047 HAS SOUS 2280153 HAS SOUPS 2005660 WITH SCORE 2011109.152
AT ITER 5912 NEW BEST:: SOT 7102873 SOS 5449765 HAS SOPS 2121979 HAS SOUS 2280447 HAS SOUPS 2005592 WITH SCORE 2011041.765
AT ITER 5922 NEW BEST:: SOT 7103180 SOS 5450072 HAS SOPS 2121033 HAS SOUS 2281079 HAS SOUPS 2004646 WITH SCORE 2010096.072
AT ITER 5927 NEW BEST:: SOT 7102869 SOS 5449761 HAS SOPS 2120411 HAS SOUS 2280907 HAS SOUPS 2004024 WITH SCORE 2009473.761
AT ITER 5929 NEW BEST:: SOT 7102055 SOS 5448947 HAS SOPS 2118783 HAS SOUS 2279293 HAS SOUPS 2002396 WITH SCORE 2007844.947
AT ITER 5931 NEW BEST:: SOT 7103276 SOS 5450168 HAS SOPS 2118765 HAS SOUS 2279275 HAS SOUPS 2002378 WITH SCORE 2007828.168
AT ITER 5936 NEW BEST:: SOT 7103273 SOS 5450165 HAS SOPS 2118748 HAS SOUS 2279250 HAS SOUPS 2002361 WITH SCORE 2007811.165
AT ITER 5938 NEW BEST:: SOT 7102917 SOS 5449809 HAS SOPS 2118036 HAS SOUS 2278557 HAS SOUPS 2001649 WITH SCORE 2007098.809
AT ITER 5946 NEW BEST:: SOT 7103446 SOS 5450338 HAS SOPS 2117946 HAS SOUS 2278876 HAS SOUPS 2001559 WITH SCORE 2007009.338
AT ITER 5951 NEW BEST:: SOT 7103282 SOS 5450174 HAS SOPS 2117618 HAS SOUS 2278548 HAS SOUPS 2001231 WITH SCORE 2006681.174
AT ITER 5954 NEW BEST:: SOT 7102923 SOS 5449815 HAS SOPS 2116537 HAS SOUS 2277611 HAS SOUPS 2000294 WITH SCORE 2005743.815
AT ITER 5960 NEW BEST:: SOT 7102802 SOS 5449694 HAS SOPS 2116256 HAS SOUS 2277330 HAS SOUPS 2000013 WITH SCORE 2005462.694
AT ITER 5966 NEW BEST:: SOT 7102133 SOS 5449025 HAS SOPS 2114918 HAS SOUS 2276244 HAS SOUPS 1998675 WITH SCORE 2004124.025
AT ITER 5982 NEW BEST:: SOT 7102133 SOS 5449025 HAS SOPS 2114365 HAS SOUS 2275890 HAS SOUPS 1998122 WITH SCORE 2003571.025
AT ITER 5993 NEW BEST:: SOT 7101981 SOS 5448873 HAS SOPS 2114138 HAS SOUS 2275663 HAS SOUPS 1997895 WITH SCORE 2003343.873
AT ITER 5996 NEW BEST:: SOT 7101967 SOS 5448859 HAS SOPS 2114110 HAS SOUS 2275635 HAS SOUPS 1997867 WITH SCORE 2003315.859
AT ITER 6002 NEW BEST:: SOT 7101991 SOS 5448883 HAS SOPS 2113856 HAS SOUS 2275532 HAS SOUPS 1997613 WITH SCORE 2003061.883
AT ITER 6016 NEW BEST:: SOT 7101931 SOS 5448823 HAS SOPS 2113736 HAS SOUS 2275412 HAS SOUPS 1997493 WITH SCORE 2002941.823
AT ITER 6018 NEW BEST:: SOT 7102200 SOS 5449092 HAS SOPS 2113485 HAS SOUS 2275161 HAS SOUPS 1997242 WITH SCORE 2002691.092
AT ITER 6027 NEW BEST:: SOT 7102190 SOS 5449082 HAS SOPS 2113465 HAS SOUS 2275141 HAS SOUPS 1997222 WITH SCORE 2002671.082
AT ITER 6036 NEW BEST:: SOT 7101975 SOS 5448867 HAS SOPS 2113250 HAS SOUS 2274926 HAS SOUPS 1997007 WITH SCORE 2002455.867
AT ITER 6055 NEW BEST:: SOT 7094297 SOS 5441189 HAS SOPS 2104732 HAS SOUS 2266749 HAS SOUPS 1988489 WITH SCORE 1993930.189
AT ITER 6065 NEW BEST:: SOT 7094992 SOS 5458824 HAS SOPS 2104264 HAS SOUS 2267991 HAS SOUPS 1988021 WITH SCORE 1993479.824
AT ITER 6076 NEW BEST:: SOT 7094783 SOS 5458615 HAS SOPS 2103699 HAS SOUS 2267426 HAS SOUPS 1987456 WITH SCORE 1992914.615
AT ITER 6084 NEW BEST:: SOT 7094638 SOS 5458470 HAS SOPS 2103265 HAS SOUS 2266992 HAS SOUPS 1987022 WITH SCORE 1992480.47
AT ITER 6103 NEW BEST:: SOT 7094920 SOS 5458752 HAS SOPS 2103263 HAS SOUS 2266990 HAS SOUPS 1987020 WITH SCORE 1992478.752
AT ITER 6111 NEW BEST:: SOT 7094519 SOS 5458351 HAS SOPS 2103263 HAS SOUS 2266589 HAS SOUPS 1987020 WITH SCORE 1992478.351
AT ITER 6122 NEW BEST:: SOT 7095077 SOS 5458909 HAS SOPS 2102631 HAS SOUS 2265957 HAS SOUPS 1986388 WITH SCORE 1991846.909
AT ITER 6123 NEW BEST:: SOT 7095062 SOS 5458894 HAS SOPS 2102601 HAS SOUS 2265880 HAS SOUPS 1986358 WITH SCORE 1991816.894
AT ITER 6135 NEW BEST:: SOT 7094983 SOS 5458815 HAS SOPS 2102443 HAS SOUS 2265874 HAS SOUPS 1986200 WITH SCORE 1991658.815
AT ITER 6142 NEW BEST:: SOT 7095102 SOS 5458934 HAS SOPS 2102007 HAS SOUS 2265723 HAS SOUPS 1986049 WITH SCORE 1991507.934
AT ITER 6147 NEW BEST:: SOT 7094949 SOS 5458781 HAS SOPS 2101701 HAS SOUS 2265417 HAS SOUPS 1985743 WITH SCORE 1991201.781
AT ITER 6152 NEW BEST:: SOT 7094508 SOS 5458340 HAS SOPS 2101102 HAS SOUS 2264775 HAS SOUPS 1985144 WITH SCORE 1990602.34
AT ITER 6166 NEW BEST:: SOT 7094507 SOS 5458339 HAS SOPS 2100942 HAS SOUS 2264615 HAS SOUPS 1984984 WITH SCORE 1990442.339
AT ITER 6172 NEW BEST:: SOT 7094455 SOS 5458287 HAS SOPS 2100838 HAS SOUS 2264511 HAS SOUPS 1984880 WITH SCORE 1990338.287
AT ITER 6184 NEW BEST:: SOT 7094705 SOS 5458537 HAS SOPS 2100819 HAS SOUS 2264492 HAS SOUPS 1984861 WITH SCORE 1990319.537
AT ITER 6186 NEW BEST:: SOT 7094662 SOS 5458494 HAS SOPS 2100733 HAS SOUS 2264406 HAS SOUPS 1984775 WITH SCORE 1990233.494
AT ITER 6190 NEW BEST:: SOT 7094905 SOS 5458737 HAS SOPS 2099995 HAS SOUS 2263668 HAS SOUPS 1984037 WITH SCORE 1989495.737
AT ITER 6213 NEW BEST:: SOT 7094901 SOS 5458733 HAS SOPS 2099940 HAS SOUS 2263613 HAS SOUPS 1983982 WITH SCORE 1989440.733
AT ITER 6214 NEW BEST:: SOT 7094548 SOS 5458380 HAS SOPS 2098852 HAS SOUS 2263105 HAS SOUPS 1982894 WITH SCORE 1988352.38
AT ITER 6218 NEW BEST:: SOT 7094133 SOS 5457550 HAS SOPS 2097607 HAS SOUS 2261860 HAS SOUPS 1981649 WITH SCORE 1987106.55
AT ITER 6221 NEW BEST:: SOT 7095500 SOS 5458917 HAS SOPS 2097083 HAS SOUS 2261902 HAS SOUPS 1981125 WITH SCORE 1986583.917
AT ITER 6230 NEW BEST:: SOT 7095141 SOS 5458558 HAS SOPS 2096248 HAS SOUS 2261103 HAS SOUPS 1980290 WITH SCORE 1985748.558
AT ITER 6259 NEW BEST:: SOT 7094998 SOS 5458415 HAS SOPS 2096051 HAS SOUS 2260906 HAS SOUPS 1980093 WITH SCORE 1985551.415
AT ITER 6280 NEW BEST:: SOT 7094998 SOS 5458395 HAS SOPS 2095955 HAS SOUS 2260810 HAS SOUPS 1979997 WITH SCORE 1985455.395
AT ITER 6285 NEW BEST:: SOT 7094712 SOS 5458109 HAS SOPS 2095669 HAS SOUS 2260524 HAS SOUPS 1979711 WITH SCORE 1985169.109
AT ITER 6294 NEW BEST:: SOT 7094571 SOS 5457968 HAS SOPS 2095387 HAS SOUS 2260242 HAS SOUPS 1979429 WITH SCORE 1984886.968
AT ITER 6313 NEW BEST:: SOT 7094327 SOS 5457724 HAS SOPS 2094411 HAS SOUS 2259266 HAS SOUPS 1978453 WITH SCORE 1983910.724
AT ITER 6325 NEW BEST:: SOT 7094287 SOS 5457684 HAS SOPS 2094331 HAS SOUS 2259186 HAS SOUPS 1978373 WITH SCORE 1983830.684
AT ITER 6347 NEW BEST:: SOT 7094627 SOS 5458024 HAS SOPS 2094126 HAS SOUS 2259276 HAS SOUPS 1978168 WITH SCORE 1983626.024
AT ITER 6349 NEW BEST:: SOT 7094598 SOS 5457975 HAS SOPS 2094068 HAS SOUS 2259218 HAS SOUPS 1978110 WITH SCORE 1983567.975
AT ITER 6352 NEW BEST:: SOT 7095008 SOS 5458385 HAS SOPS 2094014 HAS SOUS 2259260 HAS SOUPS 1978056 WITH SCORE 1983514.385
AT ITER 6355 NEW BEST:: SOT 7094840 SOS 5458217 HAS SOPS 2093678 HAS SOUS 2258924 HAS SOUPS 1977720 WITH SCORE 1983178.217
AT ITER 6363 NEW BEST:: SOT 7094792 SOS 5458169 HAS SOPS 2093633 HAS SOUS 2258828 HAS SOUPS 1977624 WITH SCORE 1983082.169
AT ITER 6364 NEW BEST:: SOT 7094766 SOS 5458143 HAS SOPS 2093581 HAS SOUS 2258776 HAS SOUPS 1977572 WITH SCORE 1983030.143
AT ITER 6383 NEW BEST:: SOT 7094224 SOS 4962925 HAS SOPS 2093581 HAS SOUS 2256799 HAS SOUPS 1976555 WITH SCORE 1981517.925
AT ITER 6398 NEW BEST:: SOT 7094062 SOS 4962763 HAS SOPS 2093257 HAS SOUS 2256475 HAS SOUPS 1976231 WITH SCORE 1981193.763
AT ITER 6404 NEW BEST:: SOT 7093592 SOS 4962293 HAS SOPS 2092481 HAS SOUS 2255999 HAS SOUPS 1975455 WITH SCORE 1980417.293
AT ITER 6421 NEW BEST:: SOT 7093160 SOS 4961861 HAS SOPS 2091185 HAS SOUS 2254752 HAS SOUPS 1974159 WITH SCORE 1979120.861
AT ITER 6425 NEW BEST:: SOT 7093060 SOS 4961761 HAS SOPS 2090985 HAS SOUS 2254369 HAS SOUPS 1973959 WITH SCORE 1978920.761
AT ITER 6426 NEW BEST:: SOT 7092652 SOS 4961051 HAS SOPS 2089809 HAS SOUS 2253193 HAS SOUPS 1972783 WITH SCORE 1977744.051
AT ITER 6427 NEW BEST:: SOT 7092625 SOS 4961024 HAS SOPS 2089626 HAS SOUS 2253010 HAS SOUPS 1972600 WITH SCORE 1977561.024
AT ITER 6437 NEW BEST:: SOT 7092382 SOS 4960781 HAS SOPS 2089383 HAS SOUS 2252767 HAS SOUPS 1972357 WITH SCORE 1977317.781
AT ITER 6439 NEW BEST:: SOT 7092314 SOS 4960713 HAS SOPS 2089315 HAS SOUS 2252631 HAS SOUPS 1972289 WITH SCORE 1977249.713
AT ITER 6447 NEW BEST:: SOT 7092448 SOS 4960761 HAS SOPS 2088921 HAS SOUS 2252171 HAS SOUPS 1971829 WITH SCORE 1976789.761
AT ITER 6453 NEW BEST:: SOT 7091360 SOS 4959673 HAS SOPS 2086745 HAS SOUS 2251391 HAS SOUPS 1969653 WITH SCORE 1974612.673
AT ITER 6462 NEW BEST:: SOT 7091229 SOS 4959586 HAS SOPS 2085790 HAS SOUS 2250436 HAS SOUPS 1968698 WITH SCORE 1973657.586
AT ITER 6463 NEW BEST:: SOT 7091107 SOS 4959342 HAS SOPS 2085546 HAS SOUS 2250192 HAS SOUPS 1968454 WITH SCORE 1973413.342
AT ITER 6474 NEW BEST:: SOT 7091384 SOS 4959619 HAS SOPS 2085391 HAS SOUS 2249895 HAS SOUPS 1968299 WITH SCORE 1973258.619
AT ITER 6476 NEW BEST:: SOT 7091795 SOS 4960030 HAS SOPS 2085371 HAS SOUS 2249875 HAS SOUPS 1968279 WITH SCORE 1973239.03
AT ITER 6480 NEW BEST:: SOT 7092125 SOS 4968257 HAS SOPS 2085268 HAS SOUS 2250358 HAS SOUPS 1968176 WITH SCORE 1973144.257
AT ITER 6482 NEW BEST:: SOT 7091276 SOS 4967408 HAS SOPS 2084803 HAS SOUS 2249797 HAS SOUPS 1967711 WITH SCORE 1972678.408
AT ITER 6503 NEW BEST:: SOT 7091197 SOS 4967329 HAS SOPS 2083363 HAS SOUS 2248462 HAS SOUPS 1966271 WITH SCORE 1971238.329
AT ITER 6505 NEW BEST:: SOT 7091186 SOS 4967318 HAS SOPS 2083341 HAS SOUS 2248451 HAS SOUPS 1966249 WITH SCORE 1971216.318
AT ITER 6526 NEW BEST:: SOT 7091418 SOS 4967550 HAS SOPS 2083161 HAS SOUS 2248271 HAS SOUPS 1966069 WITH SCORE 1971036.55
AT ITER 6532 NEW BEST:: SOT 7091312 SOS 4967444 HAS SOPS 2082843 HAS SOUS 2247953 HAS SOUPS 1965751 WITH SCORE 1970718.444
AT ITER 6539 NEW BEST:: SOT 7091294 SOS 4967426 HAS SOPS 2082731 HAS SOUS 2247888 HAS SOUPS 1965639 WITH SCORE 1970606.426
AT ITER 6540 NEW BEST:: SOT 7092127 SOS 4968259 HAS SOPS 2082624 HAS SOUS 2247781 HAS SOUPS 1965532 WITH SCORE 1970500.259
AT ITER 6542 NEW BEST:: SOT 7107818 SOS 4978565 HAS SOPS 2071516 HAS SOUS 2241037 HAS SOUPS 1958305 WITH SCORE 1963283.565
AT ITER 6555 NEW BEST:: SOT 7107818 SOS 4978235 HAS SOPS 2071516 HAS SOUS 2241037 HAS SOUPS 1958305 WITH SCORE 1963283.235
AT ITER 6557 NEW BEST:: SOT 7107650 SOS 4978067 HAS SOPS 2071370 HAS SOUS 2240891 HAS SOUPS 1958159 WITH SCORE 1963137.067
AT ITER 6563 NEW BEST:: SOT 7107642 SOS 4978059 HAS SOPS 2071318 HAS SOUS 2240839 HAS SOUPS 1958107 WITH SCORE 1963085.059
AT ITER 6572 NEW BEST:: SOT 7108157 SOS 4978574 HAS SOPS 2071056 HAS SOUS 2240577 HAS SOUPS 1957845 WITH SCORE 1962823.574
AT ITER 6576 NEW BEST:: SOT 7107901 SOS 4978318 HAS SOPS 2070800 HAS SOUS 2240193 HAS SOUPS 1957589 WITH SCORE 1962567.318
AT ITER 6577 NEW BEST:: SOT 7107900 SOS 4978317 HAS SOPS 2070728 HAS SOUS 2240121 HAS SOUPS 1957517 WITH SCORE 1962495.317
AT ITER 6581 NEW BEST:: SOT 7107611 SOS 4969888 HAS SOPS 2062670 HAS SOUS 2239392 HAS SOUPS 1957159 WITH SCORE 1962128.888
AT ITER 6612 NEW BEST:: SOT 7107387 SOS 4969552 HAS SOPS 2062334 HAS SOUS 2239056 HAS SOUPS 1956823 WITH SCORE 1961792.552
AT ITER 6644 NEW BEST:: SOT 7107659 SOS 4969824 HAS SOPS 2062042 HAS SOUS 2238764 HAS SOUPS 1956531 WITH SCORE 1961500.824
AT ITER 6653 NEW BEST:: SOT 7107485 SOS 4969650 HAS SOPS 2061520 HAS SOUS 2238242 HAS SOUPS 1956009 WITH SCORE 1960978.65
AT ITER 6664 NEW BEST:: SOT 7107606 SOS 4969771 HAS SOPS 2060584 HAS SOUS 2237420 HAS SOUPS 1955073 WITH SCORE 1960042.771
AT ITER 6688 NEW BEST:: SOT 7107500 SOS 4969665 HAS SOPS 2060531 HAS SOUS 2237367 HAS SOUPS 1955020 WITH SCORE 1959989.665
AT ITER 6707 NEW BEST:: SOT 7107154 SOS 4968356 HAS SOPS 2058524 HAS SOUS 2235910 HAS SOUPS 1953563 WITH SCORE 1958531.356
AT ITER 6708 NEW BEST:: SOT 7106884 SOS 4968086 HAS SOPS 2058164 HAS SOUS 2235640 HAS SOUPS 1953203 WITH SCORE 1958171.086
AT ITER 6730 NEW BEST:: SOT 7106776 SOS 4967439 HAS SOPS 2057882 HAS SOUS 2235358 HAS SOUPS 1952921 WITH SCORE 1957888.439
AT ITER 6731 NEW BEST:: SOT 7106533 SOS 4967196 HAS SOPS 2057396 HAS SOUS 2234872 HAS SOUPS 1952435 WITH SCORE 1957402.196
AT ITER 6741 NEW BEST:: SOT 7105809 SOS 4966472 HAS SOPS 2055948 HAS SOUS 2233424 HAS SOUPS 1950987 WITH SCORE 1955953.472
AT ITER 6749 NEW BEST:: SOT 7105636 SOS 4966299 HAS SOPS 2054054 HAS SOUS 2232208 HAS SOUPS 1949093 WITH SCORE 1954059.299
AT ITER 6757 NEW BEST:: SOT 7105603 SOS 4966266 HAS SOPS 2053988 HAS SOUS 2232142 HAS SOUPS 1949027 WITH SCORE 1953993.266
AT ITER 6759 NEW BEST:: SOT 7106460 SOS 4967123 HAS SOPS 2053968 HAS SOUS 2232306 HAS SOUPS 1949007 WITH SCORE 1953974.123
AT ITER 6778 NEW BEST:: SOT 7106313 SOS 4966976 HAS SOPS 2053556 HAS SOUS 2231894 HAS SOUPS 1948595 WITH SCORE 1953561.976
AT ITER 6779 NEW BEST:: SOT 7105435 SOS 4966098 HAS SOPS 2052219 HAS SOUS 2230479 HAS SOUPS 1947258 WITH SCORE 1952224.098
AT ITER 6781 NEW BEST:: SOT 7105468 SOS 4966277 HAS SOPS 2052139 HAS SOUS 2230399 HAS SOUPS 1947178 WITH SCORE 1952144.277
AT ITER 6783 NEW BEST:: SOT 7105602 SOS 4966411 HAS SOPS 2051983 HAS SOUS 2230243 HAS SOUPS 1947022 WITH SCORE 1951988.411
AT ITER 6784 NEW BEST:: SOT 7106012 SOS 4966821 HAS SOPS 2051865 HAS SOUS 2230171 HAS SOUPS 1946904 WITH SCORE 1951870.821
AT ITER 6794 NEW BEST:: SOT 7106373 SOS 4967182 HAS SOPS 2051789 HAS SOUS 2230095 HAS SOUPS 1946828 WITH SCORE 1951795.182
AT ITER 6800 NEW BEST:: SOT 7106308 SOS 4967117 HAS SOPS 2051659 HAS SOUS 2229965 HAS SOUPS 1946698 WITH SCORE 1951665.117
AT ITER 6804 NEW BEST:: SOT 7106202 SOS 4967079 HAS SOPS 2051553 HAS SOUS 2229859 HAS SOUPS 1946592 WITH SCORE 1951559.079
AT ITER 6809 NEW BEST:: SOT 7106202 SOS 4967079 HAS SOPS 2051451 HAS SOUS 2229757 HAS SOUPS 1946490 WITH SCORE 1951457.079
AT ITER 6810 NEW BEST:: SOT 7105771 SOS 4967124 HAS SOPS 2050589 HAS SOUS 2228895 HAS SOUPS 1945628 WITH SCORE 1950595.124
AT ITER 6822 NEW BEST:: SOT 7105506 SOS 4966859 HAS SOPS 2049971 HAS SOUS 2228277 HAS SOUPS 1945010 WITH SCORE 1949976.859
AT ITER 6825 NEW BEST:: SOT 7106258 SOS 4966032 HAS SOPS 2047649 HAS SOUS 2226987 HAS SOUPS 1943570 WITH SCORE 1948536.032
AT ITER 6845 NEW BEST:: SOT 7106208 SOS 4965982 HAS SOPS 2047466 HAS SOUS 2226804 HAS SOUPS 1943387 WITH SCORE 1948352.982
AT ITER 6851 NEW BEST:: SOT 7106174 SOS 4965869 HAS SOPS 2047398 HAS SOUS 2226736 HAS SOUPS 1943319 WITH SCORE 1948284.869
AT ITER 6852 NEW BEST:: SOT 7106569 SOS 4938819 HAS SOPS 2016419 HAS SOUS 2221274 HAS SOUPS 1937857 WITH SCORE 1942795.819
AT ITER 6862 NEW BEST:: SOT 7106126 SOS 4938376 HAS SOPS 2015533 HAS SOUS 2220741 HAS SOUPS 1936971 WITH SCORE 1941909.376
AT ITER 6875 NEW BEST:: SOT 7106565 SOS 4938815 HAS SOPS 2015531 HAS SOUS 2220739 HAS SOUPS 1936969 WITH SCORE 1941907.815
AT ITER 6879 NEW BEST:: SOT 7106528 SOS 4938723 HAS SOPS 2015457 HAS SOUS 2220665 HAS SOUPS 1936895 WITH SCORE 1941833.723
AT ITER 6895 NEW BEST:: SOT 7106471 SOS 4938666 HAS SOPS 2015343 HAS SOUS 2220551 HAS SOUPS 1936781 WITH SCORE 1941719.666
AT ITER 6905 NEW BEST:: SOT 7106357 SOS 4938552 HAS SOPS 2015046 HAS SOUS 2220254 HAS SOUPS 1936484 WITH SCORE 1941422.552
AT ITER 6909 NEW BEST:: SOT 7106314 SOS 4938509 HAS SOPS 2014960 HAS SOUS 2220211 HAS SOUPS 1936398 WITH SCORE 1941336.509
AT ITER 6936 NEW BEST:: SOT 7106314 SOS 4938509 HAS SOPS 2014952 HAS SOUS 2220203 HAS SOUPS 1936390 WITH SCORE 1941328.509
AT ITER 6944 NEW BEST:: SOT 7106112 SOS 4938307 HAS SOPS 2014548 HAS SOUS 2219799 HAS SOUPS 1935986 WITH SCORE 1940924.307
AT ITER 6976 NEW BEST:: SOT 7106012 SOS 4938207 HAS SOPS 2014241 HAS SOUS 2219492 HAS SOUPS 1935679 WITH SCORE 1940617.207
AT ITER 6979 NEW BEST:: SOT 7105539 SOS 4937734 HAS SOPS 2013295 HAS SOUS 2218544 HAS SOUPS 1934733 WITH SCORE 1939670.734
AT ITER 6980 NEW BEST:: SOT 7105539 SOS 4937734 HAS SOPS 2013011 HAS SOUS 2218260 HAS SOUPS 1934449 WITH SCORE 1939386.734
AT ITER 6984 NEW BEST:: SOT 7104393 SOS 4936588 HAS SOPS 2010719 HAS SOUS 2216065 HAS SOUPS 1932157 WITH SCORE 1937093.588
AT ITER 7001 NEW BEST:: SOT 7104686 SOS 4936881 HAS SOPS 2009877 HAS SOUS 2215223 HAS SOUPS 1931315 WITH SCORE 1936251.881
AT ITER 7019 NEW BEST:: SOT 7104054 SOS 4936249 HAS SOPS 2008613 HAS SOUS 2213746 HAS SOUPS 1930051 WITH SCORE 1934987.249
AT ITER 7033 NEW BEST:: SOT 7104049 SOS 4936244 HAS SOPS 2008343 HAS SOUS 2213476 HAS SOUPS 1929781 WITH SCORE 1934717.244
AT ITER 7042 NEW BEST:: SOT 7103642 SOS 4935837 HAS SOPS 2007759 HAS SOUS 2213069 HAS SOUPS 1929197 WITH SCORE 1934132.837
AT ITER 7043 NEW BEST:: SOT 7103857 SOS 4936052 HAS SOPS 2007757 HAS SOUS 2213067 HAS SOUPS 1929195 WITH SCORE 1934131.052
AT ITER 7049 NEW BEST:: SOT 7103563 SOS 4935758 HAS SOPS 2007316 HAS SOUS 2212626 HAS SOUPS 1928754 WITH SCORE 1933689.758
AT ITER 7052 NEW BEST:: SOT 7103559 SOS 4935754 HAS SOPS 2007304 HAS SOUS 2212614 HAS SOUPS 1928742 WITH SCORE 1933677.754
AT ITER 7069 NEW BEST:: SOT 7103559 SOS 4935754 HAS SOPS 2007302 HAS SOUS 2212612 HAS SOUPS 1928740 WITH SCORE 1933675.754
AT ITER 7083 NEW BEST:: SOT 7103403 SOS 4935598 HAS SOPS 2006990 HAS SOUS 2212300 HAS SOUPS 1928428 WITH SCORE 1933363.598
AT ITER 7097 NEW BEST:: SOT 7102492 SOS 4934687 HAS SOPS 2006766 HAS SOUS 2212076 HAS SOUPS 1928204 WITH SCORE 1933138.687
AT ITER 7127 NEW BEST:: SOT 7102385 SOS 4934580 HAS SOPS 2006445 HAS SOUS 2211755 HAS SOUPS 1927883 WITH SCORE 1932817.58
AT ITER 7132 NEW BEST:: SOT 7102070 SOS 4934265 HAS SOPS 2005815 HAS SOUS 2211125 HAS SOUPS 1927253 WITH SCORE 1932187.265
AT ITER 7140 NEW BEST:: SOT 7102602 SOS 4934709 HAS SOPS 2005313 HAS SOUS 2210623 HAS SOUPS 1926751 WITH SCORE 1931685.709
AT ITER 7142 NEW BEST:: SOT 7102568 SOS 4934675 HAS SOPS 2005245 HAS SOUS 2210691 HAS SOUPS 1926683 WITH SCORE 1931617.675
AT ITER 7146 NEW BEST:: SOT 7102365 SOS 4934472 HAS SOPS 2005059 HAS SOUS 2210505 HAS SOUPS 1926497 WITH SCORE 1931431.472
AT ITER 7168 NEW BEST:: SOT 7102269 SOS 4934376 HAS SOPS 2004867 HAS SOUS 2210313 HAS SOUPS 1926305 WITH SCORE 1931239.376
AT ITER 7199 NEW BEST:: SOT 7102269 SOS 4934376 HAS SOPS 2004676 HAS SOUS 2210122 HAS SOUPS 1926114 WITH SCORE 1931048.376
AT ITER 7214 NEW BEST:: SOT 7102208 SOS 4934315 HAS SOPS 2004369 HAS SOUS 2209815 HAS SOUPS 1925807 WITH SCORE 1930741.315
AT ITER 7229 NEW BEST:: SOT 7102233 SOS 4934340 HAS SOPS 2004271 HAS SOUS 2209846 HAS SOUPS 1925709 WITH SCORE 1930643.34
AT ITER 7230 NEW BEST:: SOT 7102233 SOS 4934340 HAS SOPS 2004023 HAS SOUS 2209598 HAS SOUPS 1925461 WITH SCORE 1930395.34
AT ITER 7243 NEW BEST:: SOT 7102222 SOS 4934329 HAS SOPS 2004023 HAS SOUS 2209598 HAS SOUPS 1925461 WITH SCORE 1930395.329
AT ITER 7265 NEW BEST:: SOT 7101908 SOS 4934015 HAS SOPS 2003395 HAS SOUS 2208970 HAS SOUPS 1924833 WITH SCORE 1929767.015
AT ITER 7269 NEW BEST:: SOT 7102002 SOS 4934109 HAS SOPS 2003159 HAS SOUS 2208763 HAS SOUPS 1924597 WITH SCORE 1929531.109
AT ITER 7270 NEW BEST:: SOT 7113178 SOS 4944628 HAS SOPS 2002516 HAS SOUS 2208665 HAS SOUPS 1923954 WITH SCORE 1928898.628
AT ITER 7283 NEW BEST:: SOT 7112149 SOS 4943599 HAS SOPS 2001144 HAS SOUS 2207293 HAS SOUPS 1922582 WITH SCORE 1927525.599
AT ITER 7284 NEW BEST:: SOT 7112149 SOS 4943599 HAS SOPS 2001069 HAS SOUS 2207218 HAS SOUPS 1922507 WITH SCORE 1927450.599
AT ITER 7289 NEW BEST:: SOT 7112002 SOS 4943452 HAS SOPS 2000397 HAS SOUS 2206546 HAS SOUPS 1921835 WITH SCORE 1926778.452
AT ITER 7293 NEW BEST:: SOT 7111917 SOS 4943367 HAS SOPS 2000227 HAS SOUS 2206508 HAS SOUPS 1921665 WITH SCORE 1926608.367
AT ITER 7304 NEW BEST:: SOT 7111788 SOS 4938336 HAS SOPS 2000227 HAS SOUS 2206250 HAS SOUPS 1921665 WITH SCORE 1926603.336
AT ITER 7306 NEW BEST:: SOT 7111788 SOS 4938336 HAS SOPS 2000106 HAS SOUS 2206129 HAS SOUPS 1921544 WITH SCORE 1926482.336
AT ITER 7311 NEW BEST:: SOT 7097916 SOS 4927577 HAS SOPS 1986075 HAS SOUS 2192406 HAS SOUPS 1907513 WITH SCORE 1912440.577
AT ITER 7335 NEW BEST:: SOT 7097836 SOS 4927497 HAS SOPS 1985517 HAS SOUS 2191848 HAS SOUPS 1906955 WITH SCORE 1911882.497
AT ITER 7344 NEW BEST:: SOT 7097506 SOS 4927167 HAS SOPS 1984857 HAS SOUS 2191188 HAS SOUPS 1906295 WITH SCORE 1911222.167
AT ITER 7365 NEW BEST:: SOT 7097492 SOS 4927153 HAS SOPS 1984821 HAS SOUS 2191152 HAS SOUPS 1906259 WITH SCORE 1911186.153
AT ITER 7379 NEW BEST:: SOT 7098137 SOS 4927798 HAS SOPS 1984593 HAS SOUS 2191193 HAS SOUPS 1906031 WITH SCORE 1910958.798
AT ITER 7401 NEW BEST:: SOT 7098037 SOS 4927698 HAS SOPS 1984582 HAS SOUS 2191182 HAS SOUPS 1906020 WITH SCORE 1910947.698
AT ITER 7408 NEW BEST:: SOT 7098001 SOS 4927662 HAS SOPS 1984449 HAS SOUS 2191049 HAS SOUPS 1905887 WITH SCORE 1910814.662
AT ITER 7414 NEW BEST:: SOT 7097956 SOS 4927552 HAS SOPS 1984359 HAS SOUS 2191004 HAS SOUPS 1905842 WITH SCORE 1910769.552
AT ITER 7423 NEW BEST:: SOT 7097936 SOS 4927532 HAS SOPS 1984319 HAS SOUS 2190964 HAS SOUPS 1905802 WITH SCORE 1910729.532
AT ITER 7431 NEW BEST:: SOT 7097808 SOS 4927404 HAS SOPS 1984063 HAS SOUS 2190708 HAS SOUPS 1905546 WITH SCORE 1910473.404
AT ITER 7461 NEW BEST:: SOT 7097807 SOS 4927403 HAS SOPS 1984061 HAS SOUS 2190706 HAS SOUPS 1905544 WITH SCORE 1910471.403
AT ITER 7462 NEW BEST:: SOT 7085947 SOS 4916033 HAS SOPS 1976511 HAS SOUS 2182639 HAS SOUPS 1897994 WITH SCORE 1902910.033
AT ITER 7463 NEW BEST:: SOT 7085914 SOS 4916000 HAS SOPS 1976478 HAS SOUS 2182606 HAS SOUPS 1897961 WITH SCORE 1902877.0
AT ITER 7465 NEW BEST:: SOT 7085475 SOS 4915561 HAS SOPS 1975600 HAS SOUS 2181800 HAS SOUPS 1897083 WITH SCORE 1901998.561
AT ITER 7468 NEW BEST:: SOT 7085126 SOS 4915212 HAS SOPS 1975136 HAS SOUS 2181429 HAS SOUPS 1896619 WITH SCORE 1901534.212
AT ITER 7470 NEW BEST:: SOT 7084778 SOS 4914864 HAS SOPS 1973010 HAS SOUS 2180061 HAS SOUPS 1894493 WITH SCORE 1899407.864
AT ITER 7486 NEW BEST:: SOT 7084455 SOS 4914541 HAS SOPS 1969474 HAS SOUS 2176525 HAS SOUPS 1890957 WITH SCORE 1895871.541
AT ITER 7523 NEW BEST:: SOT 7084372 SOS 4914458 HAS SOPS 1969391 HAS SOUS 2176442 HAS SOUPS 1890874 WITH SCORE 1895788.458
AT ITER 7531 NEW BEST:: SOT 7084045 SOS 4914131 HAS SOPS 1968737 HAS SOUS 2175785 HAS SOUPS 1890220 WITH SCORE 1895134.131
AT ITER 7559 NEW BEST:: SOT 7084009 SOS 4914095 HAS SOPS 1968701 HAS SOUS 2175749 HAS SOUPS 1890184 WITH SCORE 1895098.095
AT ITER 7563 NEW BEST:: SOT 7084009 SOS 4914095 HAS SOPS 1968558 HAS SOUS 2175606 HAS SOUPS 1890041 WITH SCORE 1894955.095
AT ITER 7570 NEW BEST:: SOT 7083989 SOS 4914075 HAS SOPS 1968518 HAS SOUS 2175231 HAS SOUPS 1890001 WITH SCORE 1894915.075
AT ITER 7572 NEW BEST:: SOT 7083769 SOS 4913855 HAS SOPS 1968078 HAS SOUS 2174791 HAS SOUPS 1889561 WITH SCORE 1894474.855
AT ITER 7578 NEW BEST:: SOT 7083327 SOS 4913650 HAS SOPS 1967194 HAS SOUS 2173907 HAS SOUPS 1888677 WITH SCORE 1893590.65
AT ITER 7582 NEW BEST:: SOT 7083344 SOS 4912068 HAS SOPS 1967579 HAS SOUS 2173572 HAS SOUPS 1888465 WITH SCORE 1893377.068
AT ITER 7585 NEW BEST:: SOT 7084675 SOS 4945879 HAS SOPS 1967325 HAS SOUS 2174465 HAS SOUPS 1888211 WITH SCORE 1893156.879
AT ITER 7611 NEW BEST:: SOT 7084675 SOS 4945879 HAS SOPS 1967300 HAS SOUS 2174440 HAS SOUPS 1888186 WITH SCORE 1893131.879
AT ITER 7631 NEW BEST:: SOT 7084744 SOS 4945948 HAS SOPS 1967123 HAS SOUS 2174373 HAS SOUPS 1888009 WITH SCORE 1892954.948
AT ITER 7637 NEW BEST:: SOT 7084385 SOS 4945589 HAS SOPS 1967069 HAS SOUS 2174184 HAS SOUPS 1887955 WITH SCORE 1892900.589
AT ITER 7640 NEW BEST:: SOT 7084253 SOS 4945457 HAS SOPS 1966527 HAS SOUS 2173642 HAS SOUPS 1887413 WITH SCORE 1892358.457
AT ITER 7694 NEW BEST:: SOT 7084220 SOS 4945424 HAS SOPS 1965856 HAS SOUS 2172971 HAS SOUPS 1886742 WITH SCORE 1891687.424
AT ITER 7700 NEW BEST:: SOT 7084401 SOS 4945605 HAS SOPS 1965729 HAS SOUS 2172844 HAS SOUPS 1886615 WITH SCORE 1891560.605
AT ITER 7707 NEW BEST:: SOT 7084362 SOS 4945566 HAS SOPS 1965582 HAS SOUS 2172697 HAS SOUPS 1886468 WITH SCORE 1891413.566
AT ITER 7753 NEW BEST:: SOT 7072732 SOS 4934713 HAS SOPS 1952728 HAS SOUS 2160253 HAS SOUPS 1873614 WITH SCORE 1878548.713
AT ITER 7759 NEW BEST:: SOT 7072417 SOS 4934398 HAS SOPS 1952098 HAS SOUS 2159623 HAS SOUPS 1872984 WITH SCORE 1877918.398
AT ITER 7763 NEW BEST:: SOT 7072391 SOS 4934372 HAS SOPS 1952072 HAS SOUS 2159597 HAS SOUPS 1872958 WITH SCORE 1877892.372
AT ITER 7772 NEW BEST:: SOT 7072387 SOS 4934368 HAS SOPS 1952064 HAS SOUS 2159589 HAS SOUPS 1872950 WITH SCORE 1877884.368
AT ITER 7791 NEW BEST:: SOT 7072121 SOS 4934102 HAS SOPS 1951532 HAS SOUS 2159057 HAS SOUPS 1872418 WITH SCORE 1877352.102
AT ITER 7795 NEW BEST:: SOT 7072194 SOS 4934175 HAS SOPS 1951516 HAS SOUS 2159041 HAS SOUPS 1872402 WITH SCORE 1877336.175
AT ITER 7809 NEW BEST:: SOT 7072595 SOS 4934576 HAS SOPS 1951502 HAS SOUS 2159108 HAS SOUPS 1872388 WITH SCORE 1877322.576
AT ITER 7811 NEW BEST:: SOT 7072243 SOS 4934224 HAS SOPS 1950555 HAS SOUS 2158161 HAS SOUPS 1871441 WITH SCORE 1876375.224
AT ITER 7812 NEW BEST:: SOT 7072242 SOS 4934223 HAS SOPS 1950553 HAS SOUS 2158159 HAS SOUPS 1871439 WITH SCORE 1876373.223
AT ITER 7820 NEW BEST:: SOT 7072396 SOS 4934377 HAS SOPS 1950536 HAS SOUS 2158142 HAS SOUPS 1871422 WITH SCORE 1876356.377
AT ITER 7840 NEW BEST:: SOT 7072621 SOS 4943602 HAS SOPS 1950311 HAS SOUS 2158142 HAS SOUPS 1871197 WITH SCORE 1876140.602
AT ITER 7852 NEW BEST:: SOT 7072269 SOS 4943250 HAS SOPS 1949607 HAS SOUS 2157722 HAS SOUPS 1870493 WITH SCORE 1875436.25
AT ITER 7854 NEW BEST:: SOT 7072175 SOS 4942902 HAS SOPS 1949419 HAS SOUS 2157534 HAS SOUPS 1870305 WITH SCORE 1875247.902
AT ITER 7856 NEW BEST:: SOT 7072146 SOS 4942873 HAS SOPS 1949072 HAS SOUS 2157187 HAS SOUPS 1869958 WITH SCORE 1874900.873
AT ITER 7877 NEW BEST:: SOT 7071472 SOS 4942199 HAS SOPS 1948762 HAS SOUS 2156891 HAS SOUPS 1869662 WITH SCORE 1874604.199
AT ITER 7890 NEW BEST:: SOT 7071390 SOS 4942117 HAS SOPS 1948598 HAS SOUS 2156727 HAS SOUPS 1869498 WITH SCORE 1874440.117
AT ITER 7895 NEW BEST:: SOT 7071378 SOS 4942105 HAS SOPS 1948574 HAS SOUS 2156703 HAS SOUPS 1869474 WITH SCORE 1874416.105
AT ITER 7902 NEW BEST:: SOT 7071228 SOS 4941955 HAS SOPS 1948274 HAS SOUS 2156403 HAS SOUPS 1869174 WITH SCORE 1874115.955
AT ITER 7923 NEW BEST:: SOT 7071098 SOS 4941825 HAS SOPS 1948144 HAS SOUS 2156273 HAS SOUPS 1869044 WITH SCORE 1873985.825
AT ITER 7951 NEW BEST:: SOT 7071001 SOS 4941728 HAS SOPS 1947950 HAS SOUS 2156079 HAS SOUPS 1868850 WITH SCORE 1873791.728
AT ITER 7964 NEW BEST:: SOT 7070997 SOS 4941724 HAS SOPS 1947946 HAS SOUS 2156075 HAS SOUPS 1868846 WITH SCORE 1873787.724
AT ITER 7966 NEW BEST:: SOT 7070904 SOS 4941631 HAS SOPS 1947574 HAS SOUS 2155703 HAS SOUPS 1868474 WITH SCORE 1873415.631
AT ITER 7978 NEW BEST:: SOT 7069872 SOS 4940642 HAS SOPS 1946771 HAS SOUS 2154953 HAS SOUPS 1867724 WITH SCORE 1872664.642
AT ITER 8012 NEW BEST:: SOT 7069809 SOS 4940579 HAS SOPS 1946708 HAS SOUS 2154890 HAS SOUPS 1867661 WITH SCORE 1872601.579
AT ITER 8021 NEW BEST:: SOT 7069871 SOS 4938778 HAS SOPS 1947174 HAS SOUS 2154609 HAS SOUPS 1867515 WITH SCORE 1872453.778
AT ITER 8031 NEW BEST:: SOT 7069484 SOS 4938454 HAS SOPS 1946400 HAS SOUS 2153835 HAS SOUPS 1866741 WITH SCORE 1871679.454
AT ITER 8034 NEW BEST:: SOT 7069459 SOS 4938429 HAS SOPS 1946350 HAS SOUS 2154124 HAS SOUPS 1866691 WITH SCORE 1871629.429
AT ITER 8047 NEW BEST:: SOT 7069077 SOS 4938047 HAS SOPS 1945968 HAS SOUS 2153585 HAS SOUPS 1866309 WITH SCORE 1871247.047
AT ITER 8048 NEW BEST:: SOT 7068783 SOS 4937753 HAS SOPS 1944628 HAS SOUS 2152428 HAS SOUPS 1864969 WITH SCORE 1869906.753
AT ITER 8051 NEW BEST:: SOT 7068457 SOS 4925365 HAS SOPS 1932566 HAS SOUS 2151776 HAS SOUPS 1864317 WITH SCORE 1869242.365
AT ITER 8055 NEW BEST:: SOT 7065939 SOS 4922959 HAS SOPS 1931450 HAS SOUS 2150258 HAS SOUPS 1863201 WITH SCORE 1868123.959
AT ITER 8063 NEW BEST:: SOT 7065878 SOS 4922898 HAS SOPS 1931328 HAS SOUS 2150136 HAS SOUPS 1863079 WITH SCORE 1868001.898
AT ITER 8071 NEW BEST:: SOT 7065866 SOS 4922886 HAS SOPS 1931315 HAS SOUS 2150112 HAS SOUPS 1863055 WITH SCORE 1867977.886
AT ITER 8075 NEW BEST:: SOT 7065869 SOS 4922889 HAS SOPS 1931167 HAS SOUS 2150269 HAS SOUPS 1862907 WITH SCORE 1867829.889
AT ITER 8078 NEW BEST:: SOT 7065648 SOS 4922668 HAS SOPS 1930725 HAS SOUS 2149827 HAS SOUPS 1862465 WITH SCORE 1867387.668
AT ITER 8087 NEW BEST:: SOT 7065648 SOS 4922668 HAS SOPS 1930573 HAS SOUS 2149675 HAS SOUPS 1862313 WITH SCORE 1867235.668
AT ITER 8088 NEW BEST:: SOT 7065618 SOS 4922638 HAS SOPS 1930513 HAS SOUS 2149615 HAS SOUPS 1862253 WITH SCORE 1867175.638
AT ITER 8102 NEW BEST:: SOT 7065555 SOS 4922575 HAS SOPS 1930450 HAS SOUS 2149489 HAS SOUPS 1862190 WITH SCORE 1867112.575
AT ITER 8104 NEW BEST:: SOT 7065198 SOS 4922218 HAS SOPS 1930158 HAS SOUS 2149197 HAS SOUPS 1861898 WITH SCORE 1866820.218
AT ITER 8113 NEW BEST:: SOT 7064742 SOS 4922251 HAS SOPS 1928915 HAS SOUS 2149219 HAS SOUPS 1860655 WITH SCORE 1865577.251
AT ITER 8116 NEW BEST:: SOT 7064609 SOS 4922089 HAS SOPS 1928582 HAS SOUS 2148886 HAS SOUPS 1860322 WITH SCORE 1865244.089
AT ITER 8126 NEW BEST:: SOT 7064549 SOS 4922029 HAS SOPS 1927448 HAS SOUS 2148135 HAS SOUPS 1859188 WITH SCORE 1864110.029
AT ITER 8134 NEW BEST:: SOT 7064450 SOS 4921930 HAS SOPS 1927250 HAS SOUS 2147937 HAS SOUPS 1858990 WITH SCORE 1863911.93
AT ITER 8142 NEW BEST:: SOT 7064669 SOS 4922396 HAS SOPS 1927205 HAS SOUS 2147892 HAS SOUPS 1858945 WITH SCORE 1863867.396
AT ITER 8143 NEW BEST:: SOT 7064648 SOS 4922375 HAS SOPS 1927163 HAS SOUS 2147850 HAS SOUPS 1858903 WITH SCORE 1863825.375
AT ITER 8152 NEW BEST:: SOT 7064193 SOS 4921920 HAS SOPS 1926253 HAS SOUS 2146940 HAS SOUPS 1857993 WITH SCORE 1862914.92
AT ITER 8153 NEW BEST:: SOT 7064418 SOS 4922145 HAS SOPS 1924881 HAS SOUS 2145568 HAS SOUPS 1856621 WITH SCORE 1861543.145
AT ITER 8183 NEW BEST:: SOT 7064968 SOS 4922695 HAS SOPS 1924798 HAS SOUS 2145870 HAS SOUPS 1856538 WITH SCORE 1861460.695
AT ITER 8193 NEW BEST:: SOT 7065063 SOS 4922790 HAS SOPS 1924796 HAS SOUS 2145868 HAS SOUPS 1856536 WITH SCORE 1861458.79
AT ITER 8195 NEW BEST:: SOT 7064621 SOS 4922348 HAS SOPS 1923912 HAS SOUS 2144984 HAS SOUPS 1855652 WITH SCORE 1860574.348
AT ITER 8204 NEW BEST:: SOT 7064591 SOS 4922318 HAS SOPS 1923852 HAS SOUS 2144924 HAS SOUPS 1855592 WITH SCORE 1860514.318
AT ITER 8220 NEW BEST:: SOT 7064561 SOS 4921248 HAS SOPS 1923981 HAS SOUS 2144624 HAS SOUPS 1855372 WITH SCORE 1860293.248
AT ITER 8227 NEW BEST:: SOT 7064499 SOS 4921186 HAS SOPS 1923981 HAS SOUS 2144562 HAS SOUPS 1855372 WITH SCORE 1860293.186
AT ITER 8229 NEW BEST:: SOT 7064462 SOS 4920616 HAS SOPS 1924066 HAS SOUS 2144365 HAS SOUPS 1855216 WITH SCORE 1860136.616
AT ITER 8233 NEW BEST:: SOT 7064617 SOS 4920771 HAS SOPS 1924049 HAS SOUS 2144610 HAS SOUPS 1855199 WITH SCORE 1860119.771
AT ITER 8234 NEW BEST:: SOT 7064595 SOS 4920749 HAS SOPS 1924005 HAS SOUS 2144566 HAS SOUPS 1855155 WITH SCORE 1860075.749
AT ITER 8247 NEW BEST:: SOT 7064806 SOS 4920960 HAS SOPS 1923709 HAS SOUS 2144270 HAS SOUPS 1854859 WITH SCORE 1859779.96
AT ITER 8257 NEW BEST:: SOT 7064742 SOS 4920896 HAS SOPS 1923709 HAS SOUS 2144206 HAS SOUPS 1854859 WITH SCORE 1859779.896
AT ITER 8272 NEW BEST:: SOT 7064841 SOS 4920995 HAS SOPS 1923556 HAS SOUS 2144305 HAS SOUPS 1854706 WITH SCORE 1859626.995
AT ITER 8289 NEW BEST:: SOT 7064817 SOS 4921214 HAS SOPS 1923508 HAS SOUS 2144257 HAS SOUPS 1854658 WITH SCORE 1859579.214
AT ITER 8297 NEW BEST:: SOT 7064817 SOS 4921214 HAS SOPS 1923449 HAS SOUS 2144198 HAS SOUPS 1854599 WITH SCORE 1859520.214
AT ITER 8302 NEW BEST:: SOT 7064866 SOS 4921240 HAS SOPS 1923445 HAS SOUS 2144194 HAS SOUPS 1854595 WITH SCORE 1859516.24
AT ITER 8306 NEW BEST:: SOT 7064783 SOS 4921157 HAS SOPS 1923279 HAS SOUS 2144028 HAS SOUPS 1854429 WITH SCORE 1859350.157
AT ITER 8313 NEW BEST:: SOT 7064783 SOS 4921157 HAS SOPS 1923228 HAS SOUS 2143977 HAS SOUPS 1854378 WITH SCORE 1859299.157
AT ITER 8317 NEW BEST:: SOT 7065052 SOS 4910233 HAS SOPS 1910744 HAS SOUS 2141888 HAS SOUPS 1852289 WITH SCORE 1857199.233
AT ITER 8329 NEW BEST:: SOT 7064209 SOS 4909390 HAS SOPS 1909058 HAS SOUS 2140450 HAS SOUPS 1850603 WITH SCORE 1855512.39
AT ITER 8332 NEW BEST:: SOT 7064069 SOS 4909250 HAS SOPS 1908996 HAS SOUS 2140310 HAS SOUPS 1850541 WITH SCORE 1855450.25
AT ITER 8339 NEW BEST:: SOT 7064069 SOS 4909270 HAS SOPS 1908976 HAS SOUS 2140290 HAS SOUPS 1850521 WITH SCORE 1855430.27
AT ITER 8346 NEW BEST:: SOT 7064037 SOS 4909238 HAS SOPS 1908790 HAS SOUS 2140104 HAS SOUPS 1850335 WITH SCORE 1855244.238
AT ITER 8348 NEW BEST:: SOT 7062931 SOS 4908132 HAS SOPS 1908542 HAS SOUS 2139856 HAS SOUPS 1850087 WITH SCORE 1854995.132
AT ITER 8372 NEW BEST:: SOT 7062665 SOS 4907866 HAS SOPS 1908542 HAS SOUS 2139764 HAS SOUPS 1850087 WITH SCORE 1854994.866
AT ITER 8375 NEW BEST:: SOT 7062594 SOS 4910299 HAS SOPS 1907817 HAS SOUS 2139404 HAS SOUPS 1849362 WITH SCORE 1854272.299
AT ITER 8376 NEW BEST:: SOT 7062332 SOS 4910037 HAS SOPS 1907555 HAS SOUS 2139142 HAS SOUPS 1849100 WITH SCORE 1854010.037
AT ITER 8381 NEW BEST:: SOT 7062314 SOS 4910019 HAS SOPS 1907504 HAS SOUS 2139091 HAS SOUPS 1849049 WITH SCORE 1853959.019
AT ITER 8409 NEW BEST:: SOT 7062182 SOS 4912239 HAS SOPS 1906892 HAS SOUS 2139195 HAS SOUPS 1848993 WITH SCORE 1853905.239
AT ITER 8424 NEW BEST:: SOT 7062320 SOS 4912377 HAS SOPS 1906474 HAS SOUS 2138998 HAS SOUPS 1848575 WITH SCORE 1853487.377
AT ITER 8428 NEW BEST:: SOT 7063003 SOS 4922780 HAS SOPS 1906369 HAS SOUS 2139471 HAS SOUPS 1848470 WITH SCORE 1853392.78
AT ITER 8454 NEW BEST:: SOT 7062874 SOS 4922651 HAS SOPS 1906369 HAS SOUS 2139471 HAS SOUPS 1848470 WITH SCORE 1853392.651
AT ITER 8460 NEW BEST:: SOT 7062827 SOS 4922604 HAS SOPS 1904665 HAS SOUS 2137767 HAS SOUPS 1846766 WITH SCORE 1851688.604
AT ITER 8478 NEW BEST:: SOT 7062490 SOS 4922267 HAS SOPS 1903991 HAS SOUS 2137516 HAS SOUPS 1846092 WITH SCORE 1851014.267
AT ITER 8483 NEW BEST:: SOT 7062320 SOS 4922097 HAS SOPS 1903842 HAS SOUS 2137367 HAS SOUPS 1845943 WITH SCORE 1850865.097
AT ITER 8514 NEW BEST:: SOT 7061927 SOS 4921704 HAS SOPS 1903522 HAS SOUS 2137047 HAS SOUPS 1845623 WITH SCORE 1850544.704
AT ITER 8518 NEW BEST:: SOT 7062014 SOS 4921791 HAS SOPS 1902570 HAS SOUS 2137537 HAS SOUPS 1844671 WITH SCORE 1849592.791
AT ITER 8523 NEW BEST:: SOT 7062086 SOS 4921863 HAS SOPS 1902480 HAS SOUS 2137643 HAS SOUPS 1844581 WITH SCORE 1849502.863
AT ITER 8526 NEW BEST:: SOT 7062045 SOS 4921751 HAS SOPS 1902398 HAS SOUS 2137561 HAS SOUPS 1844499 WITH SCORE 1849420.751
AT ITER 8531 NEW BEST:: SOT 7061816 SOS 4921522 HAS SOPS 1901607 HAS SOUS 2136456 HAS SOUPS 1843708 WITH SCORE 1848629.522
AT ITER 8536 NEW BEST:: SOT 7062174 SOS 4921880 HAS SOPS 1900687 HAS SOUS 2135536 HAS SOUPS 1842788 WITH SCORE 1847709.88
AT ITER 8556 NEW BEST:: SOT 7061890 SOS 4921694 HAS SOPS 1900403 HAS SOUS 2135252 HAS SOUPS 1842504 WITH SCORE 1847425.694
AT ITER 8565 NEW BEST:: SOT 7061710 SOS 4921514 HAS SOPS 1900254 HAS SOUS 2135103 HAS SOUPS 1842355 WITH SCORE 1847276.514
AT ITER 8582 NEW BEST:: SOT 7061678 SOS 4921460 HAS SOPS 1899934 HAS SOUS 2134783 HAS SOUPS 1842035 WITH SCORE 1846956.46
AT ITER 8595 NEW BEST:: SOT 7061475 SOS 4921201 HAS SOPS 1899640 HAS SOUS 2134489 HAS SOUPS 1841741 WITH SCORE 1846662.201
AT ITER 8599 NEW BEST:: SOT 7061435 SOS 4921167 HAS SOPS 1899560 HAS SOUS 2134409 HAS SOUPS 1841661 WITH SCORE 1846582.167
AT ITER 8608 NEW BEST:: SOT 7062090 SOS 4921822 HAS SOPS 1899240 HAS SOUS 2136654 HAS SOUPS 1841341 WITH SCORE 1846262.822
AT ITER 8609 NEW BEST:: SOT 7062444 SOS 4922176 HAS SOPS 1898366 HAS SOUS 2135780 HAS SOUPS 1840467 WITH SCORE 1845389.176
AT ITER 8610 NEW BEST:: SOT 7062551 SOS 4922283 HAS SOPS 1898210 HAS SOUS 2135517 HAS SOUPS 1840311 WITH SCORE 1845233.283
AT ITER 8619 NEW BEST:: SOT 7062742 SOS 4922474 HAS SOPS 1898103 HAS SOUS 2135410 HAS SOUPS 1840204 WITH SCORE 1845126.474
AT ITER 8637 NEW BEST:: SOT 7062699 SOS 4922431 HAS SOPS 1898017 HAS SOUS 2135324 HAS SOUPS 1840118 WITH SCORE 1845040.431
AT ITER 8652 NEW BEST:: SOT 7062565 SOS 4922297 HAS SOPS 1897883 HAS SOUS 2135190 HAS SOUPS 1839984 WITH SCORE 1844906.297
AT ITER 8658 NEW BEST:: SOT 7061406 SOS 4921138 HAS SOPS 1896651 HAS SOUS 2133958 HAS SOUPS 1838752 WITH SCORE 1843673.138
AT ITER 8668 NEW BEST:: SOT 7061406 SOS 4921138 HAS SOPS 1896629 HAS SOUS 2133936 HAS SOUPS 1838730 WITH SCORE 1843651.138
AT ITER 8696 NEW BEST:: SOT 7061388 SOS 4921120 HAS SOPS 1896593 HAS SOUS 2133912 HAS SOUPS 1838694 WITH SCORE 1843615.12
AT ITER 8697 NEW BEST:: SOT 7061150 SOS 4920882 HAS SOPS 1896117 HAS SOUS 2133436 HAS SOUPS 1838218 WITH SCORE 1843138.882
AT ITER 8704 NEW BEST:: SOT 7061222 SOS 4920954 HAS SOPS 1896115 HAS SOUS 2133508 HAS SOUPS 1838216 WITH SCORE 1843136.954
AT ITER 8711 NEW BEST:: SOT 7061230 SOS 4920962 HAS SOPS 1895552 HAS SOUS 2133317 HAS SOUPS 1837653 WITH SCORE 1842573.962
AT ITER 8721 NEW BEST:: SOT 7061103 SOS 4920387 HAS SOPS 1895284 HAS SOUS 2133015 HAS SOUPS 1837351 WITH SCORE 1842271.387
AT ITER 8737 NEW BEST:: SOT 7061012 SOS 4920296 HAS SOPS 1895102 HAS SOUS 2132833 HAS SOUPS 1837169 WITH SCORE 1842089.296
AT ITER 8743 NEW BEST:: SOT 7059866 SOS 4919207 HAS SOPS 1894805 HAS SOUS 2132536 HAS SOUPS 1836872 WITH SCORE 1841791.207
AT ITER 8744 NEW BEST:: SOT 7059741 SOS 4919082 HAS SOPS 1894305 HAS SOUS 2132036 HAS SOUPS 1836372 WITH SCORE 1841291.082
AT ITER 8769 NEW BEST:: SOT 7058961 SOS 4918604 HAS SOPS 1892527 HAS SOUS 2130561 HAS SOUPS 1834594 WITH SCORE 1839512.604
AT ITER 8772 NEW BEST:: SOT 7059561 SOS 4919344 HAS SOPS 1892454 HAS SOUS 2132320 HAS SOUPS 1834521 WITH SCORE 1839440.344
AT ITER 8789 NEW BEST:: SOT 7059445 SOS 4919228 HAS SOPS 1892222 HAS SOUS 2132088 HAS SOUPS 1834289 WITH SCORE 1839208.228
AT ITER 8800 NEW BEST:: SOT 7059749 SOS 4919532 HAS SOPS 1892191 HAS SOUS 2132057 HAS SOUPS 1834258 WITH SCORE 1839177.532
AT ITER 8814 NEW BEST:: SOT 7059517 SOS 4919300 HAS SOPS 1891459 HAS SOUS 2131325 HAS SOUPS 1833526 WITH SCORE 1838445.3
AT ITER 8817 NEW BEST:: SOT 7059304 SOS 4918944 HAS SOPS 1891018 HAS SOUS 2130884 HAS SOUPS 1833085 WITH SCORE 1838003.944
AT ITER 8820 NEW BEST:: SOT 7058958 SOS 4918598 HAS SOPS 1890326 HAS SOUS 2130192 HAS SOUPS 1832393 WITH SCORE 1837311.598
AT ITER 8827 NEW BEST:: SOT 7058958 SOS 4918218 HAS SOPS 1890326 HAS SOUS 2130154 HAS SOUPS 1832393 WITH SCORE 1837311.218
AT ITER 8828 NEW BEST:: SOT 7058900 SOS 4915843 HAS SOPS 1890326 HAS SOUS 2130096 HAS SOUPS 1832393 WITH SCORE 1837308.843
AT ITER 8829 NEW BEST:: SOT 7058909 SOS 4916014 HAS SOPS 1890248 HAS SOUS 2130018 HAS SOUPS 1832315 WITH SCORE 1837231.014
AT ITER 8861 NEW BEST:: SOT 7058524 SOS 4915672 HAS SOPS 1889478 HAS SOUS 2129248 HAS SOUPS 1831545 WITH SCORE 1836460.672
AT ITER 8871 NEW BEST:: SOT 7058456 SOS 4915604 HAS SOPS 1889410 HAS SOUS 2129146 HAS SOUPS 1831477 WITH SCORE 1836392.604
AT ITER 8875 NEW BEST:: SOT 7057723 SOS 4914871 HAS SOPS 1889060 HAS SOUS 2128796 HAS SOUPS 1831127 WITH SCORE 1836041.871
AT ITER 8876 NEW BEST:: SOT 7057723 SOS 4914871 HAS SOPS 1888894 HAS SOUS 2128630 HAS SOUPS 1830961 WITH SCORE 1835875.871
AT ITER 8889 NEW BEST:: SOT 7057723 SOS 4929771 HAS SOPS 1886466 HAS SOUS 2127075 HAS SOUPS 1828998 WITH SCORE 1833927.771
AT ITER 8928 NEW BEST:: SOT 7057637 SOS 4929685 HAS SOPS 1886294 HAS SOUS 2126903 HAS SOUPS 1828826 WITH SCORE 1833755.685
AT ITER 8938 NEW BEST:: SOT 7057777 SOS 4929825 HAS SOPS 1886179 HAS SOUS 2126833 HAS SOUPS 1828711 WITH SCORE 1833640.825
AT ITER 8941 NEW BEST:: SOT 7057573 SOS 4929621 HAS SOPS 1885771 HAS SOUS 2126425 HAS SOUPS 1828303 WITH SCORE 1833232.621
AT ITER 8953 NEW BEST:: SOT 7057049 SOS 4929097 HAS SOPS 1885135 HAS SOUS 2125744 HAS SOUPS 1827667 WITH SCORE 1832596.097
AT ITER 8974 NEW BEST:: SOT 7056933 SOS 4928981 HAS SOPS 1884903 HAS SOUS 2125512 HAS SOUPS 1827435 WITH SCORE 1832363.981
AT ITER 8979 NEW BEST:: SOT 7057021 SOS 4929069 HAS SOPS 1884595 HAS SOUS 2125204 HAS SOUPS 1827127 WITH SCORE 1832056.069
AT ITER 8980 NEW BEST:: SOT 7057915 SOS 4959163 HAS SOPS 1884525 HAS SOUS 2127216 HAS SOUPS 1827057 WITH SCORE 1832016.163
AT ITER 8995 NEW BEST:: SOT 7057813 SOS 4959009 HAS SOPS 1884261 HAS SOUS 2127012 HAS SOUPS 1826853 WITH SCORE 1831812.009
AT ITER 9009 NEW BEST:: SOT 7059375 SOS 4960939 HAS SOPS 1883787 HAS SOUS 2127030 HAS SOUPS 1826379 WITH SCORE 1831339.939
AT ITER 9010 NEW BEST:: SOT 7059607 SOS 4961171 HAS SOPS 1883677 HAS SOUS 2126920 HAS SOUPS 1826269 WITH SCORE 1831230.171
AT ITER 9023 NEW BEST:: SOT 7059505 SOS 4961069 HAS SOPS 1883473 HAS SOUS 2126818 HAS SOUPS 1826065 WITH SCORE 1831026.069
AT ITER 9033 NEW BEST:: SOT 7059640 SOS 4961204 HAS SOPS 1883433 HAS SOUS 2127105 HAS SOUPS 1826025 WITH SCORE 1830986.204
AT ITER 9036 NEW BEST:: SOT 7059015 SOS 4960579 HAS SOPS 1882183 HAS SOUS 2126247 HAS SOUPS 1824775 WITH SCORE 1829735.579
AT ITER 9053 NEW BEST:: SOT 7059053 SOS 4960617 HAS SOPS 1881857 HAS SOUS 2125921 HAS SOUPS 1824449 WITH SCORE 1829409.617
AT ITER 9054 NEW BEST:: SOT 7058383 SOS 4959947 HAS SOPS 1881543 HAS SOUS 2125607 HAS SOUPS 1824135 WITH SCORE 1829094.947
AT ITER 9067 NEW BEST:: SOT 7058676 SOS 4960240 HAS SOPS 1881245 HAS SOUS 2125309 HAS SOUPS 1823837 WITH SCORE 1828797.24
AT ITER 9073 NEW BEST:: SOT 7058676 SOS 4960213 HAS SOPS 1881245 HAS SOUS 2125309 HAS SOUPS 1823837 WITH SCORE 1828797.213
AT ITER 9112 NEW BEST:: SOT 7058695 SOS 4960232 HAS SOPS 1881089 HAS SOUS 2125153 HAS SOUPS 1823681 WITH SCORE 1828641.232
AT ITER 9121 NEW BEST:: SOT 7058489 SOS 4960026 HAS SOPS 1880677 HAS SOUS 2124741 HAS SOUPS 1823269 WITH SCORE 1828229.026
AT ITER 9124 NEW BEST:: SOT 7057947 SOS 4959484 HAS SOPS 1880579 HAS SOUS 2124410 HAS SOUPS 1823171 WITH SCORE 1828130.484
AT ITER 9137 NEW BEST:: SOT 7057819 SOS 4959356 HAS SOPS 1880323 HAS SOUS 2124052 HAS SOUPS 1822915 WITH SCORE 1827874.356
AT ITER 9145 NEW BEST:: SOT 7058196 SOS 4959733 HAS SOPS 1880231 HAS SOUS 2123960 HAS SOUPS 1822823 WITH SCORE 1827782.733
AT ITER 9161 NEW BEST:: SOT 7058166 SOS 4959703 HAS SOPS 1880171 HAS SOUS 2123900 HAS SOUPS 1822763 WITH SCORE 1827722.703
AT ITER 9162 NEW BEST:: SOT 7058717 SOS 4960254 HAS SOPS 1879971 HAS SOUS 2123700 HAS SOUPS 1822563 WITH SCORE 1827523.254
AT ITER 9188 NEW BEST:: SOT 7058717 SOS 4960254 HAS SOPS 1879751 HAS SOUS 2123480 HAS SOUPS 1822343 WITH SCORE 1827303.254
AT ITER 9196 NEW BEST:: SOT 7058497 SOS 4960034 HAS SOPS 1879311 HAS SOUS 2123040 HAS SOUPS 1821903 WITH SCORE 1826863.034
AT ITER 9202 NEW BEST:: SOT 7057501 SOS 4959099 HAS SOPS 1877319 HAS SOUS 2121048 HAS SOUPS 1819911 WITH SCORE 1824870.099
AT ITER 9213 NEW BEST:: SOT 7057293 SOS 4958891 HAS SOPS 1877237 HAS SOUS 2120867 HAS SOUPS 1819829 WITH SCORE 1824787.891
AT ITER 9240 NEW BEST:: SOT 7057374 SOS 4967084 HAS SOPS 1876523 HAS SOUS 2120459 HAS SOUPS 1819115 WITH SCORE 1824082.084
AT ITER 9243 NEW BEST:: SOT 7057860 SOS 4967570 HAS SOPS 1875679 HAS SOUS 2119735 HAS SOUPS 1818271 WITH SCORE 1823238.57
AT ITER 9272 NEW BEST:: SOT 7057853 SOS 4967563 HAS SOPS 1875672 HAS SOUS 2119721 HAS SOUPS 1818264 WITH SCORE 1823231.563
AT ITER 9294 NEW BEST:: SOT 7057033 SOS 4966743 HAS SOPS 1873596 HAS SOUS 2117645 HAS SOUPS 1816188 WITH SCORE 1821154.743
AT ITER 9307 NEW BEST:: SOT 7056832 SOS 4966542 HAS SOPS 1873194 HAS SOUS 2117243 HAS SOUPS 1815786 WITH SCORE 1820752.542
AT ITER 9311 NEW BEST:: SOT 7056919 SOS 4966813 HAS SOPS 1872954 HAS SOUS 2117003 HAS SOUPS 1815546 WITH SCORE 1820512.813
AT ITER 9317 NEW BEST:: SOT 7056917 SOS 4966811 HAS SOPS 1872950 HAS SOUS 2116999 HAS SOUPS 1815542 WITH SCORE 1820508.811
AT ITER 9321 NEW BEST:: SOT 7053315 SOS 4963393 HAS SOPS 1871818 HAS SOUS 2115006 HAS SOUPS 1814410 WITH SCORE 1819373.393
AT ITER 9334 NEW BEST:: SOT 7054017 SOS 4964095 HAS SOPS 1871100 HAS SOUS 2114446 HAS SOUPS 1813692 WITH SCORE 1818656.095
AT ITER 9341 NEW BEST:: SOT 7053920 SOS 4963998 HAS SOPS 1871080 HAS SOUS 2114426 HAS SOUPS 1813672 WITH SCORE 1818635.998
AT ITER 9344 NEW BEST:: SOT 7053702 SOS 4963835 HAS SOPS 1870153 HAS SOUS 2113499 HAS SOUPS 1812745 WITH SCORE 1817708.835
AT ITER 9345 NEW BEST:: SOT 7053558 SOS 4963619 HAS SOPS 1869865 HAS SOUS 2113211 HAS SOUPS 1812457 WITH SCORE 1817420.619
AT ITER 9347 NEW BEST:: SOT 7053413 SOS 4963474 HAS SOPS 1869757 HAS SOUS 2113096 HAS SOUPS 1812349 WITH SCORE 1817312.474
AT ITER 9360 NEW BEST:: SOT 7053312 SOS 4963373 HAS SOPS 1869223 HAS SOUS 2113125 HAS SOUPS 1811815 WITH SCORE 1816778.373
AT ITER 9374 NEW BEST:: SOT 7053294 SOS 4960484 HAS SOPS 1869606 HAS SOUS 2112609 HAS SOUPS 1811500 WITH SCORE 1816460.484
AT ITER 9379 NEW BEST:: SOT 7053159 SOS 4955489 HAS SOPS 1864611 HAS SOUS 2112339 HAS SOUPS 1811230 WITH SCORE 1816185.489
AT ITER 9383 NEW BEST:: SOT 7053159 SOS 4955489 HAS SOPS 1864490 HAS SOUS 2112218 HAS SOUPS 1811109 WITH SCORE 1816064.489
AT ITER 9385 NEW BEST:: SOT 7053522 SOS 4985004 HAS SOPS 1864190 HAS SOUS 2113010 HAS SOUPS 1810809 WITH SCORE 1815794.004
AT ITER 9386 NEW BEST:: SOT 7053406 SOS 4984888 HAS SOPS 1863958 HAS SOUS 2112778 HAS SOUPS 1810577 WITH SCORE 1815561.888
AT ITER 9389 NEW BEST:: SOT 7053441 SOS 4984923 HAS SOPS 1863304 HAS SOUS 2112124 HAS SOUPS 1809923 WITH SCORE 1814907.923
AT ITER 9393 NEW BEST:: SOT 7053218 SOS 4984700 HAS SOPS 1862858 HAS SOUS 2111722 HAS SOUPS 1809477 WITH SCORE 1814461.7
AT ITER 9404 NEW BEST:: SOT 7053130 SOS 4984612 HAS SOPS 1862682 HAS SOUS 2111634 HAS SOUPS 1809301 WITH SCORE 1814285.612
AT ITER 9430 NEW BEST:: SOT 7052912 SOS 4984394 HAS SOPS 1862246 HAS SOUS 2111198 HAS SOUPS 1808865 WITH SCORE 1813849.394
AT ITER 9435 NEW BEST:: SOT 7052792 SOS 4984274 HAS SOPS 1862006 HAS SOUS 2111064 HAS SOUPS 1808625 WITH SCORE 1813609.274
AT ITER 9441 NEW BEST:: SOT 7052669 SOS 4984151 HAS SOPS 1861760 HAS SOUS 2110878 HAS SOUPS 1808379 WITH SCORE 1813363.151
AT ITER 9450 NEW BEST:: SOT 7052449 SOS 4983931 HAS SOPS 1861320 HAS SOUS 2110477 HAS SOUPS 1807939 WITH SCORE 1812922.931
AT ITER 9452 NEW BEST:: SOT 7052483 SOS 4983965 HAS SOPS 1861170 HAS SOUS 2110509 HAS SOUPS 1807789 WITH SCORE 1812772.965
AT ITER 9457 NEW BEST:: SOT 7051860 SOS 4983342 HAS SOPS 1859924 HAS SOUS 2109376 HAS SOUPS 1806543 WITH SCORE 1811526.342
AT ITER 9459 NEW BEST:: SOT 7051776 SOS 4983258 HAS SOPS 1859840 HAS SOUS 2109292 HAS SOUPS 1806459 WITH SCORE 1811442.258
AT ITER 9464 NEW BEST:: SOT 7051646 SOS 4983128 HAS SOPS 1859580 HAS SOUS 2109032 HAS SOUPS 1806199 WITH SCORE 1811182.128
AT ITER 9483 NEW BEST:: SOT 7051623 SOS 4983105 HAS SOPS 1859534 HAS SOUS 2109009 HAS SOUPS 1806153 WITH SCORE 1811136.105
AT ITER 9484 NEW BEST:: SOT 7051617 SOS 4983099 HAS SOPS 1859524 HAS SOUS 2109003 HAS SOUPS 1806143 WITH SCORE 1811126.099
AT ITER 9493 NEW BEST:: SOT 7051642 SOS 4983124 HAS SOPS 1859116 HAS SOUS 2108595 HAS SOUPS 1805735 WITH SCORE 1810718.124
AT ITER 9522 NEW BEST:: SOT 7051551 SOS 4983033 HAS SOPS 1858934 HAS SOUS 2108402 HAS SOUPS 1805553 WITH SCORE 1810536.033
AT ITER 9535 NEW BEST:: SOT 7051416 SOS 4982898 HAS SOPS 1858664 HAS SOUS 2108132 HAS SOUPS 1805283 WITH SCORE 1810265.898
AT ITER 9551 NEW BEST:: SOT 7051406 SOS 4982888 HAS SOPS 1858624 HAS SOUS 2108092 HAS SOUPS 1805243 WITH SCORE 1810225.888
AT ITER 9556 NEW BEST:: SOT 7050609 SOS 4982091 HAS SOPS 1857930 HAS SOUS 2107373 HAS SOUPS 1804549 WITH SCORE 1809531.091
AT ITER 9558 NEW BEST:: SOT 7049602 SOS 4981348 HAS SOPS 1857187 HAS SOUS 2106749 HAS SOUPS 1803925 WITH SCORE 1808906.348
AT ITER 9562 NEW BEST:: SOT 7049902 SOS 4981648 HAS SOPS 1856914 HAS SOUS 2106478 HAS SOUPS 1803652 WITH SCORE 1808633.648
AT ITER 9569 NEW BEST:: SOT 7049869 SOS 4981615 HAS SOPS 1856848 HAS SOUS 2106412 HAS SOUPS 1803586 WITH SCORE 1808567.615
AT ITER 9574 NEW BEST:: SOT 7049925 SOS 4981671 HAS SOPS 1856818 HAS SOUS 2106382 HAS SOUPS 1803556 WITH SCORE 1808537.671
AT ITER 9610 NEW BEST:: SOT 7049846 SOS 4981592 HAS SOPS 1856496 HAS SOUS 2106060 HAS SOUPS 1803234 WITH SCORE 1808215.592
AT ITER 9619 NEW BEST:: SOT 7049772 SOS 4981518 HAS SOPS 1856348 HAS SOUS 2105912 HAS SOUPS 1803086 WITH SCORE 1808067.518
AT ITER 9620 NEW BEST:: SOT 7049701 SOS 4981447 HAS SOPS 1856028 HAS SOUS 2105592 HAS SOUPS 1802766 WITH SCORE 1807747.447
AT ITER 9637 NEW BEST:: SOT 7049520 SOS 4981266 HAS SOPS 1855666 HAS SOUS 2105230 HAS SOUPS 1802404 WITH SCORE 1807385.266
AT ITER 9645 NEW BEST:: SOT 7047682 SOS 4979428 HAS SOPS 1855279 HAS SOUS 2104805 HAS SOUPS 1802017 WITH SCORE 1806996.428
AT ITER 9652 NEW BEST:: SOT 7047629 SOS 4979375 HAS SOPS 1855173 HAS SOUS 2104991 HAS SOUPS 1801911 WITH SCORE 1806890.375
AT ITER 9655 NEW BEST:: SOT 7047629 SOS 4979375 HAS SOPS 1855172 HAS SOUS 2104990 HAS SOUPS 1801910 WITH SCORE 1806889.375
AT ITER 9662 NEW BEST:: SOT 7047629 SOS 4979375 HAS SOPS 1854792 HAS SOUS 2104610 HAS SOUPS 1801530 WITH SCORE 1806509.375
AT ITER 9665 NEW BEST:: SOT 7047580 SOS 4979326 HAS SOPS 1854694 HAS SOUS 2104339 HAS SOUPS 1801432 WITH SCORE 1806411.326
AT ITER 9678 NEW BEST:: SOT 7047248 SOS 4978994 HAS SOPS 1854694 HAS SOUS 2104339 HAS SOUPS 1801432 WITH SCORE 1806410.994
AT ITER 9708 NEW BEST:: SOT 7047488 SOS 4979234 HAS SOPS 1854681 HAS SOUS 2104550 HAS SOUPS 1801419 WITH SCORE 1806398.234
AT ITER 9730 NEW BEST:: SOT 7047448 SOS 4979194 HAS SOPS 1854601 HAS SOUS 2104510 HAS SOUPS 1801339 WITH SCORE 1806318.194
AT ITER 9745 NEW BEST:: SOT 7047792 SOS 4979538 HAS SOPS 1854333 HAS SOUS 2104242 HAS SOUPS 1801071 WITH SCORE 1806050.538
AT ITER 9757 NEW BEST:: SOT 7047631 SOS 4979267 HAS SOPS 1854172 HAS SOUS 2104081 HAS SOUPS 1800910 WITH SCORE 1805889.267
AT ITER 9765 NEW BEST:: SOT 7047621 SOS 4979257 HAS SOPS 1853960 HAS SOUS 2103869 HAS SOUPS 1800698 WITH SCORE 1805677.257
AT ITER 9768 NEW BEST:: SOT 7046717 SOS 4978353 HAS SOPS 1853056 HAS SOUS 2103003 HAS SOUPS 1799794 WITH SCORE 1804772.353
AT ITER 9784 NEW BEST:: SOT 7046285 SOS 4977842 HAS SOPS 1852192 HAS SOUS 2102139 HAS SOUPS 1798930 WITH SCORE 1803907.842
AT ITER 9786 NEW BEST:: SOT 7046284 SOS 4977841 HAS SOPS 1852190 HAS SOUS 2102137 HAS SOUPS 1798928 WITH SCORE 1803905.841
AT ITER 9805 NEW BEST:: SOT 7046363 SOS 4977920 HAS SOPS 1852132 HAS SOUS 2101971 HAS SOUPS 1798870 WITH SCORE 1803847.92
AT ITER 9807 NEW BEST:: SOT 7046189 SOS 4977575 HAS SOPS 1851995 HAS SOUS 2101834 HAS SOUPS 1798733 WITH SCORE 1803710.575
AT ITER 9826 NEW BEST:: SOT 7046143 SOS 4977529 HAS SOPS 1851903 HAS SOUS 2101742 HAS SOUPS 1798641 WITH SCORE 1803618.529
AT ITER 9838 NEW BEST:: SOT 7045838 SOS 4977224 HAS SOPS 1851903 HAS SOUS 2101742 HAS SOUPS 1798641 WITH SCORE 1803618.224
AT ITER 9847 NEW BEST:: SOT 7045888 SOS 4977274 HAS SOPS 1851805 HAS SOUS 2101891 HAS SOUPS 1798543 WITH SCORE 1803520.274
AT ITER 9850 NEW BEST:: SOT 7045888 SOS 4984394 HAS SOPS 1851627 HAS SOUS 2101891 HAS SOUPS 1798365 WITH SCORE 1803349.394
AT ITER 9864 NEW BEST:: SOT 7045854 SOS 4984360 HAS SOPS 1851359 HAS SOUS 2101687 HAS SOUPS 1798097 WITH SCORE 1803081.36
AT ITER 9893 NEW BEST:: SOT 7045924 SOS 4984430 HAS SOPS 1851063 HAS SOUS 2101391 HAS SOUPS 1797801 WITH SCORE 1802785.43
AT ITER 9904 NEW BEST:: SOT 7046462 SOS 5000840 HAS SOPS 1850945 HAS SOUS 2102030 HAS SOUPS 1797731 WITH SCORE 1802731.84
AT ITER 9913 NEW BEST:: SOT 7046313 SOS 5000691 HAS SOPS 1850647 HAS SOUS 2101823 HAS SOUPS 1797433 WITH SCORE 1802433.691
AT ITER 9921 NEW BEST:: SOT 7046313 SOS 5000691 HAS SOPS 1850617 HAS SOUS 2101793 HAS SOUPS 1797403 WITH SCORE 1802403.691
AT ITER 9931 NEW BEST:: SOT 7046202 SOS 5000580 HAS SOPS 1850617 HAS SOUS 2101793 HAS SOUPS 1797403 WITH SCORE 1802403.58
AT ITER 9938 NEW BEST:: SOT 7045399 SOS 4999777 HAS SOPS 1848987 HAS SOUS 2100163 HAS SOUPS 1795773 WITH SCORE 1800772.777
AT ITER 9939 NEW BEST:: SOT 7045734 SOS 5000112 HAS SOPS 1848583 HAS SOUS 2099759 HAS SOUPS 1795369 WITH SCORE 1800369.112
AT ITER 9958 NEW BEST:: SOT 7045667 SOS 5000045 HAS SOPS 1848449 HAS SOUS 2099625 HAS SOUPS 1795235 WITH SCORE 1800235.045
AT ITER 9969 NEW BEST:: SOT 7045847 SOS 5000225 HAS SOPS 1848245 HAS SOUS 2099421 HAS SOUPS 1795031 WITH SCORE 1800031.225
AT ITER 9972 NEW BEST:: SOT 7045471 SOS 4999849 HAS SOPS 1846471 HAS SOUS 2098104 HAS SOUPS 1793257 WITH SCORE 1798256.849
AT ITER 9986 NEW BEST:: SOT 7045413 SOS 4999791 HAS SOPS 1846355 HAS SOUS 2098137 HAS SOUPS 1793141 WITH SCORE 1798140.791
AT ITER 9987 NEW BEST:: SOT 7045393 SOS 4999771 HAS SOPS 1846315 HAS SOUS 2098097 HAS SOUPS 1793101 WITH SCORE 1798100.771

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="StateSpace"
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 StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897679500096"
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 [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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