Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538800419.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 Sudoku-PT-AN14, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538800419
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.7M
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Jun 3 09:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Jun 3 09:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Jun 3 09:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 652K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.1M May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.2M May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 4.3M May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.3K Jun 3 09:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Jun 3 09:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Jun 3 09:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Jun 3 09:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 3 09:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 1.4M May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1591336621977

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

GOT IT HERE. BS
Petri model created: 3332 places, 2744 transitions, 10976 arcs.
AT ITER 0 NEW BEST:: SOT 7545035 SOS 3761281 HAS SOPS 3761281 HAS SOUS 3761281 HAS SOUPS 3761281 WITH SCORE 3765042.281
AT ITER 4 NEW BEST:: SOT 7543527 SOS 3759961 HAS SOPS 3759961 HAS SOUS 3759805 HAS SOUPS 3759805 WITH SCORE 3763564.961
AT ITER 24 NEW BEST:: SOT 7540074 SOS 3769428 HAS SOPS 3769428 HAS SOUS 3756571 HAS SOUPS 3756571 WITH SCORE 3760340.428
AT ITER 31 NEW BEST:: SOT 7538570 SOS 3782442 HAS SOPS 3782442 HAS SOUS 3755259 HAS SOUPS 3755259 WITH SCORE 3759041.442
AT ITER 44 NEW BEST:: SOT 7537254 SOS 3796657 HAS SOPS 3796657 HAS SOUS 3754199 HAS SOUPS 3754199 WITH SCORE 3757995.657
AT ITER 50 NEW BEST:: SOT 7535759 SOS 3795467 HAS SOPS 3795467 HAS SOUS 3752853 HAS SOUPS 3752853 WITH SCORE 3756648.467
AT ITER 75 NEW BEST:: SOT 7532544 SOS 3818320 HAS SOPS 3818320 HAS SOUS 3749836 HAS SOUPS 3749836 WITH SCORE 3753654.32
AT ITER 92 NEW BEST:: SOT 7530377 SOS 3832727 HAS SOPS 3832727 HAS SOUS 3747902 HAS SOUPS 3747902 WITH SCORE 3751734.727
AT ITER 93 NEW BEST:: SOT 7528357 SOS 3832157 HAS SOPS 3832157 HAS SOUS 3745954 HAS SOUPS 3745954 WITH SCORE 3749786.157
AT ITER 102 NEW BEST:: SOT 7526492 SOS 3830292 HAS SOPS 3830292 HAS SOUS 3744089 HAS SOUPS 3744089 WITH SCORE 3747919.292
AT ITER 103 NEW BEST:: SOT 7525933 SOS 3830008 HAS SOPS 3830008 HAS SOUS 3743714 HAS SOUPS 3743714 WITH SCORE 3747544.008
AT ITER 108 NEW BEST:: SOT 7525933 SOS 3828700 HAS SOPS 3828700 HAS SOUS 3743714 HAS SOUPS 3743714 WITH SCORE 3747542.7
AT ITER 129 NEW BEST:: SOT 7525985 SOS 3828629 HAS SOPS 3828629 HAS SOUS 3743513 HAS SOUPS 3743513 WITH SCORE 3747341.629
AT ITER 131 NEW BEST:: SOT 7525985 SOS 3805861 HAS SOPS 3805861 HAS SOUS 3743513 HAS SOUPS 3743513 WITH SCORE 3747318.861
AT ITER 146 NEW BEST:: SOT 7525686 SOS 3817496 HAS SOPS 3817496 HAS SOUS 3743260 HAS SOUPS 3743260 WITH SCORE 3747077.496
AT ITER 148 NEW BEST:: SOT 7525387 SOS 3826429 HAS SOPS 3826429 HAS SOUS 3742961 HAS SOUPS 3742961 WITH SCORE 3746787.429
AT ITER 151 NEW BEST:: SOT 7525501 SOS 3826470 HAS SOPS 3826470 HAS SOUS 3742781 HAS SOUPS 3742781 WITH SCORE 3746607.47
AT ITER 152 NEW BEST:: SOT 7524578 SOS 3825757 HAS SOPS 3825757 HAS SOUS 3742016 HAS SOUPS 3742016 WITH SCORE 3745841.757
AT ITER 158 NEW BEST:: SOT 7521786 SOS 3849505 HAS SOPS 3849505 HAS SOUS 3739426 HAS SOUPS 3739426 WITH SCORE 3743275.505
AT ITER 163 NEW BEST:: SOT 7521764 SOS 3849483 HAS SOPS 3849483 HAS SOUS 3739404 HAS SOUPS 3739404 WITH SCORE 3743253.483
AT ITER 171 NEW BEST:: SOT 7521936 SOS 3849599 HAS SOPS 3849599 HAS SOUS 3739312 HAS SOUPS 3739312 WITH SCORE 3743161.599
AT ITER 174 NEW BEST:: SOT 7520929 SOS 3854732 HAS SOPS 3854732 HAS SOUS 3738491 HAS SOUPS 3738491 WITH SCORE 3742345.732
AT ITER 175 NEW BEST:: SOT 7521125 SOS 3853748 HAS SOPS 3853748 HAS SOUS 3737195 HAS SOUPS 3737195 WITH SCORE 3741048.748
AT ITER 185 NEW BEST:: SOT 7519084 SOS 3852012 HAS SOPS 3852012 HAS SOUS 3735290 HAS SOUPS 3735290 WITH SCORE 3739142.012
AT ITER 190 NEW BEST:: SOT 7517154 SOS 3852212 HAS SOPS 3852212 HAS SOUS 3733665 HAS SOUPS 3733665 WITH SCORE 3737517.212
AT ITER 209 NEW BEST:: SOT 7517263 SOS 3852243 HAS SOPS 3852243 HAS SOUS 3733540 HAS SOUPS 3733540 WITH SCORE 3737392.243
AT ITER 210 NEW BEST:: SOT 7516912 SOS 3851927 HAS SOPS 3851927 HAS SOUS 3733224 HAS SOUPS 3733224 WITH SCORE 3737075.927
AT ITER 211 NEW BEST:: SOT 7517016 SOS 3851942 HAS SOPS 3851942 HAS SOUS 3733148 HAS SOUPS 3733148 WITH SCORE 3736999.942
AT ITER 212 NEW BEST:: SOT 7516834 SOS 3864168 HAS SOPS 3864168 HAS SOUS 3733051 HAS SOUPS 3733051 WITH SCORE 3736915.168
AT ITER 215 NEW BEST:: SOT 7514505 SOS 3870483 HAS SOPS 3870483 HAS SOUS 3730864 HAS SOUPS 3730864 WITH SCORE 3734734.483
AT ITER 217 NEW BEST:: SOT 7512662 SOS 3868883 HAS SOPS 3868883 HAS SOUS 3729134 HAS SOUPS 3729134 WITH SCORE 3733002.883
AT ITER 230 NEW BEST:: SOT 7512324 SOS 3871335 HAS SOPS 3871335 HAS SOUS 3729063 HAS SOUPS 3729063 WITH SCORE 3732934.335
AT ITER 231 NEW BEST:: SOT 7512324 SOS 3870585 HAS SOPS 3870585 HAS SOUS 3728313 HAS SOUPS 3728313 WITH SCORE 3732183.585
AT ITER 236 NEW BEST:: SOT 7510373 SOS 3871691 HAS SOPS 3871691 HAS SOUS 3727567 HAS SOUPS 3727567 WITH SCORE 3731438.691
AT ITER 237 NEW BEST:: SOT 7507994 SOS 3869582 HAS SOPS 3869582 HAS SOUS 3725315 HAS SOUPS 3725315 WITH SCORE 3729184.582
AT ITER 256 NEW BEST:: SOT 7506646 SOS 3880500 HAS SOPS 3880500 HAS SOUS 3724143 HAS SOUPS 3724143 WITH SCORE 3728023.5
AT ITER 258 NEW BEST:: SOT 7506646 SOS 3879006 HAS SOPS 3879006 HAS SOUS 3724143 HAS SOUPS 3724143 WITH SCORE 3728022.006
AT ITER 263 NEW BEST:: SOT 7504310 SOS 3880860 HAS SOPS 3880860 HAS SOUS 3722018 HAS SOUPS 3722018 WITH SCORE 3725898.86
AT ITER 265 NEW BEST:: SOT 7502036 SOS 3895929 HAS SOPS 3895929 HAS SOUS 3720174 HAS SOUPS 3720174 WITH SCORE 3724069.929
AT ITER 276 NEW BEST:: SOT 7501983 SOS 3895831 HAS SOPS 3895831 HAS SOUS 3720102 HAS SOUPS 3720102 WITH SCORE 3723997.831
AT ITER 279 NEW BEST:: SOT 7502248 SOS 3894573 HAS SOPS 3894573 HAS SOUS 3718739 HAS SOUPS 3718739 WITH SCORE 3722633.573
AT ITER 287 NEW BEST:: SOT 7502304 SOS 3894148 HAS SOPS 3894148 HAS SOUS 3718474 HAS SOUPS 3718474 WITH SCORE 3722368.148
AT ITER 289 NEW BEST:: SOT 7501966 SOS 3895690 HAS SOPS 3895690 HAS SOUS 3718393 HAS SOUPS 3718393 WITH SCORE 3722288.69
AT ITER 292 NEW BEST:: SOT 7501966 SOS 3895016 HAS SOPS 3895016 HAS SOUS 3718393 HAS SOUPS 3718393 WITH SCORE 3722288.016
AT ITER 295 NEW BEST:: SOT 7501966 SOS 3894021 HAS SOPS 3894021 HAS SOUS 3718393 HAS SOUPS 3718393 WITH SCORE 3722287.021
AT ITER 298 NEW BEST:: SOT 7501485 SOS 3896129 HAS SOPS 3896129 HAS SOUS 3718038 HAS SOUPS 3718038 WITH SCORE 3721934.129
AT ITER 299 NEW BEST:: SOT 7501485 SOS 3895603 HAS SOPS 3895603 HAS SOUS 3718038 HAS SOUPS 3718038 WITH SCORE 3721933.603
AT ITER 300 NEW BEST:: SOT 7501485 SOS 3895097 HAS SOPS 3895097 HAS SOUS 3718038 HAS SOUPS 3718038 WITH SCORE 3721933.097
AT ITER 305 NEW BEST:: SOT 7501485 SOS 3884692 HAS SOPS 3884692 HAS SOUS 3718038 HAS SOUPS 3718038 WITH SCORE 3721922.692
AT ITER 312 NEW BEST:: SOT 7500147 SOS 3895521 HAS SOPS 3895521 HAS SOUS 3717097 HAS SOUPS 3717097 WITH SCORE 3720992.521
AT ITER 316 NEW BEST:: SOT 7497834 SOS 3893395 HAS SOPS 3893395 HAS SOUS 3714971 HAS SOUPS 3714971 WITH SCORE 3718864.395
AT ITER 330 NEW BEST:: SOT 7497834 SOS 3892900 HAS SOPS 3892900 HAS SOUS 3714971 HAS SOUPS 3714971 WITH SCORE 3718863.9
AT ITER 339 NEW BEST:: SOT 7497652 SOS 3900951 HAS SOPS 3900951 HAS SOUS 3714930 HAS SOUPS 3714930 WITH SCORE 3718830.951
AT ITER 340 NEW BEST:: SOT 7497652 SOS 3900022 HAS SOPS 3900022 HAS SOUS 3714754 HAS SOUPS 3714754 WITH SCORE 3718654.022
AT ITER 342 NEW BEST:: SOT 7497652 SOS 3899802 HAS SOPS 3899802 HAS SOUS 3714754 HAS SOUPS 3714754 WITH SCORE 3718653.802
AT ITER 347 NEW BEST:: SOT 7494830 SOS 3900916 HAS SOPS 3900916 HAS SOUS 3712306 HAS SOUPS 3712306 WITH SCORE 3716206.916
AT ITER 348 NEW BEST:: SOT 7494767 SOS 3900853 HAS SOPS 3900853 HAS SOUS 3712306 HAS SOUPS 3712306 WITH SCORE 3716206.853
AT ITER 350 NEW BEST:: SOT 7494598 SOS 3901842 HAS SOPS 3901842 HAS SOUS 3712137 HAS SOUPS 3712137 WITH SCORE 3716038.842
AT ITER 351 NEW BEST:: SOT 7494633 SOS 3901292 HAS SOPS 3901292 HAS SOUS 3711949 HAS SOUPS 3711949 WITH SCORE 3715850.292
AT ITER 355 NEW BEST:: SOT 7494087 SOS 3901006 HAS SOPS 3901006 HAS SOUS 3711689 HAS SOUPS 3711689 WITH SCORE 3715590.006
AT ITER 356 NEW BEST:: SOT 7494196 SOS 3901040 HAS SOPS 3901040 HAS SOUS 3711593 HAS SOUPS 3711593 WITH SCORE 3715494.04
AT ITER 359 NEW BEST:: SOT 7494196 SOS 3900406 HAS SOPS 3900406 HAS SOUS 3711593 HAS SOUPS 3711593 WITH SCORE 3715493.406
AT ITER 362 NEW BEST:: SOT 7494196 SOS 3900089 HAS SOPS 3900089 HAS SOUS 3711593 HAS SOUPS 3711593 WITH SCORE 3715493.089
AT ITER 363 NEW BEST:: SOT 7492233 SOS 3898375 HAS SOPS 3898375 HAS SOUS 3709775 HAS SOUPS 3709775 WITH SCORE 3713673.375
AT ITER 367 NEW BEST:: SOT 7488921 SOS 3904252 HAS SOPS 3904252 HAS SOUS 3706734 HAS SOUPS 3706734 WITH SCORE 3710638.252
AT ITER 368 NEW BEST:: SOT 7488921 SOS 3904075 HAS SOPS 3904075 HAS SOUS 3706734 HAS SOUPS 3706734 WITH SCORE 3710638.075
AT ITER 371 NEW BEST:: SOT 7488921 SOS 3898602 HAS SOPS 3898602 HAS SOUS 3706734 HAS SOUPS 3706734 WITH SCORE 3710632.602
AT ITER 379 NEW BEST:: SOT 7486504 SOS 3906356 HAS SOPS 3906356 HAS SOUS 3704647 HAS SOUPS 3704647 WITH SCORE 3708553.356
AT ITER 382 NEW BEST:: SOT 7485958 SOS 3906444 HAS SOPS 3906444 HAS SOUS 3704594 HAS SOUPS 3704594 WITH SCORE 3708500.444
AT ITER 387 NEW BEST:: SOT 7485087 SOS 3905887 HAS SOPS 3905887 HAS SOUS 3703777 HAS SOUPS 3703777 WITH SCORE 3707682.887
AT ITER 391 NEW BEST:: SOT 7484749 SOS 3906233 HAS SOPS 3906233 HAS SOUS 3703714 HAS SOUPS 3703714 WITH SCORE 3707620.233
AT ITER 395 NEW BEST:: SOT 7481774 SOS 3903514 HAS SOPS 3903514 HAS SOUS 3700917 HAS SOUPS 3700917 WITH SCORE 3704820.514
AT ITER 401 NEW BEST:: SOT 7480890 SOS 3902943 HAS SOPS 3902943 HAS SOUS 3700203 HAS SOUPS 3700203 WITH SCORE 3704105.943
AT ITER 403 NEW BEST:: SOT 7480136 SOS 3905939 HAS SOPS 3905939 HAS SOUS 3699449 HAS SOUPS 3699449 WITH SCORE 3703354.939
AT ITER 411 NEW BEST:: SOT 7479603 SOS 3906381 HAS SOPS 3906381 HAS SOUS 3699254 HAS SOUPS 3699254 WITH SCORE 3703160.381
AT ITER 421 NEW BEST:: SOT 7476280 SOS 3909490 HAS SOPS 3909490 HAS SOUS 3697538 HAS SOUPS 3697538 WITH SCORE 3701447.49
AT ITER 425 NEW BEST:: SOT 7476280 SOS 3909449 HAS SOPS 3909449 HAS SOUS 3697538 HAS SOUPS 3697538 WITH SCORE 3701447.449
AT ITER 428 NEW BEST:: SOT 7476280 SOS 3904158 HAS SOPS 3904158 HAS SOUS 3697538 HAS SOUPS 3697538 WITH SCORE 3701442.158
AT ITER 436 NEW BEST:: SOT 7476280 SOS 3897259 HAS SOPS 3897259 HAS SOUS 3697538 HAS SOUPS 3697538 WITH SCORE 3701435.259
AT ITER 438 NEW BEST:: SOT 7476280 SOS 3896695 HAS SOPS 3896695 HAS SOUS 3697538 HAS SOUPS 3697538 WITH SCORE 3701434.695
AT ITER 440 NEW BEST:: SOT 7476394 SOS 3896715 HAS SOPS 3896715 HAS SOUS 3697389 HAS SOUPS 3697389 WITH SCORE 3701285.715
AT ITER 450 NEW BEST:: SOT 7474353 SOS 3895944 HAS SOPS 3895944 HAS SOUS 3695446 HAS SOUPS 3695446 WITH SCORE 3699341.944
AT ITER 451 NEW BEST:: SOT 7473729 SOS 3895826 HAS SOPS 3895826 HAS SOUS 3695142 HAS SOUPS 3695142 WITH SCORE 3699037.826
AT ITER 458 NEW BEST:: SOT 7472638 SOS 3897871 HAS SOPS 3897871 HAS SOUS 3694051 HAS SOUPS 3694051 WITH SCORE 3697948.871
AT ITER 459 NEW BEST:: SOT 7469054 SOS 3897053 HAS SOPS 3897053 HAS SOUS 3690581 HAS SOUPS 3690581 WITH SCORE 3694478.053
AT ITER 460 NEW BEST:: SOT 7468651 SOS 3896874 HAS SOPS 3896874 HAS SOUS 3690485 HAS SOUPS 3690485 WITH SCORE 3694381.874
AT ITER 466 NEW BEST:: SOT 7468843 SOS 3895961 HAS SOPS 3895961 HAS SOUS 3690253 HAS SOUPS 3690253 WITH SCORE 3694148.961
AT ITER 474 NEW BEST:: SOT 7466691 SOS 3895153 HAS SOPS 3895153 HAS SOUS 3688446 HAS SOUPS 3688446 WITH SCORE 3692341.153
AT ITER 475 NEW BEST:: SOT 7466210 SOS 3903882 HAS SOPS 3903882 HAS SOUS 3687965 HAS SOUPS 3687965 WITH SCORE 3691868.882
AT ITER 478 NEW BEST:: SOT 7462226 SOS 3901261 HAS SOPS 3901261 HAS SOUS 3684204 HAS SOUPS 3684204 WITH SCORE 3688105.261
AT ITER 488 NEW BEST:: SOT 7460419 SOS 3899787 HAS SOPS 3899787 HAS SOUS 3682730 HAS SOUPS 3682730 WITH SCORE 3686629.787
AT ITER 489 NEW BEST:: SOT 7458742 SOS 3898346 HAS SOPS 3898346 HAS SOUS 3681211 HAS SOUPS 3681211 WITH SCORE 3685109.346
AT ITER 492 NEW BEST:: SOT 7458696 SOS 3897520 HAS SOPS 3897520 HAS SOUS 3680995 HAS SOUPS 3680995 WITH SCORE 3684892.52
AT ITER 493 NEW BEST:: SOT 7457479 SOS 3896604 HAS SOPS 3896604 HAS SOUS 3679839 HAS SOUPS 3679839 WITH SCORE 3683735.604
AT ITER 501 NEW BEST:: SOT 7457479 SOS 3896515 HAS SOPS 3896515 HAS SOUS 3679839 HAS SOUPS 3679839 WITH SCORE 3683735.515
AT ITER 504 NEW BEST:: SOT 7457128 SOS 3900057 HAS SOPS 3900057 HAS SOUS 3679671 HAS SOUPS 3679671 WITH SCORE 3683571.057
AT ITER 510 NEW BEST:: SOT 7455256 SOS 3898712 HAS SOPS 3898712 HAS SOUS 3677848 HAS SOUPS 3677848 WITH SCORE 3681746.712
AT ITER 515 NEW BEST:: SOT 7455256 SOS 3898630 HAS SOPS 3898630 HAS SOUS 3677779 HAS SOUPS 3677779 WITH SCORE 3681677.63
AT ITER 519 NEW BEST:: SOT 7455256 SOS 3897955 HAS SOPS 3897955 HAS SOUS 3677779 HAS SOUPS 3677779 WITH SCORE 3681676.955
AT ITER 523 NEW BEST:: SOT 7455523 SOS 3897494 HAS SOPS 3897494 HAS SOUS 3677201 HAS SOUPS 3677201 WITH SCORE 3681098.494
AT ITER 528 NEW BEST:: SOT 7455172 SOS 3901458 HAS SOPS 3901458 HAS SOUS 3677134 HAS SOUPS 3677134 WITH SCORE 3681035.458
AT ITER 536 NEW BEST:: SOT 7455172 SOS 3901228 HAS SOPS 3901228 HAS SOUS 3677134 HAS SOUPS 3677134 WITH SCORE 3681035.228
AT ITER 541 NEW BEST:: SOT 7455172 SOS 3892158 HAS SOPS 3892158 HAS SOUS 3677134 HAS SOUPS 3677134 WITH SCORE 3681026.158
AT ITER 542 NEW BEST:: SOT 7455251 SOS 3892098 HAS SOPS 3892098 HAS SOUS 3677035 HAS SOUPS 3677035 WITH SCORE 3680927.098
AT ITER 554 NEW BEST:: SOT 7454874 SOS 3895884 HAS SOPS 3895884 HAS SOUS 3676801 HAS SOUPS 3676801 WITH SCORE 3680696.884
AT ITER 556 NEW BEST:: SOT 7454874 SOS 3895657 HAS SOPS 3895657 HAS SOUS 3676801 HAS SOUPS 3676801 WITH SCORE 3680696.657
AT ITER 557 NEW BEST:: SOT 7454874 SOS 3895578 HAS SOPS 3895578 HAS SOUS 3676801 HAS SOUPS 3676801 WITH SCORE 3680696.578
AT ITER 558 NEW BEST:: SOT 7454874 SOS 3895239 HAS SOPS 3895239 HAS SOUS 3676801 HAS SOUPS 3676801 WITH SCORE 3680696.239
AT ITER 564 NEW BEST:: SOT 7454874 SOS 3895140 HAS SOPS 3895140 HAS SOUS 3676801 HAS SOUPS 3676801 WITH SCORE 3680696.14
AT ITER 568 NEW BEST:: SOT 7450678 SOS 3891514 HAS SOPS 3891514 HAS SOUS 3672834 HAS SOUPS 3672834 WITH SCORE 3676725.514
AT ITER 574 NEW BEST:: SOT 7450678 SOS 3891378 HAS SOPS 3891378 HAS SOUS 3672834 HAS SOUPS 3672834 WITH SCORE 3676725.378
AT ITER 575 NEW BEST:: SOT 7450678 SOS 3891015 HAS SOPS 3891015 HAS SOUS 3672768 HAS SOUPS 3672768 WITH SCORE 3676659.015
AT ITER 576 NEW BEST:: SOT 7450028 SOS 3891978 HAS SOPS 3891978 HAS SOUS 3672118 HAS SOUPS 3672118 WITH SCORE 3676009.978
AT ITER 578 NEW BEST:: SOT 7450028 SOS 3890732 HAS SOPS 3890732 HAS SOUS 3672118 HAS SOUPS 3672118 WITH SCORE 3676008.732
AT ITER 581 NEW BEST:: SOT 7450320 SOS 3891084 HAS SOPS 3891084 HAS SOUS 3671605 HAS SOUPS 3671605 WITH SCORE 3675496.084
AT ITER 583 NEW BEST:: SOT 7450320 SOS 3890780 HAS SOPS 3890780 HAS SOUS 3671439 HAS SOUPS 3671439 WITH SCORE 3675329.78
AT ITER 598 NEW BEST:: SOT 7450511 SOS 3890929 HAS SOPS 3890929 HAS SOUS 3671393 HAS SOUPS 3671393 WITH SCORE 3675283.929
AT ITER 600 NEW BEST:: SOT 7449881 SOS 3890301 HAS SOPS 3890301 HAS SOUS 3670763 HAS SOUPS 3670763 WITH SCORE 3674653.301
AT ITER 603 NEW BEST:: SOT 7445916 SOS 3886644 HAS SOPS 3886644 HAS SOUS 3667054 HAS SOUPS 3667054 WITH SCORE 3670940.644
AT ITER 611 NEW BEST:: SOT 7445916 SOS 3885399 HAS SOPS 3885399 HAS SOUS 3667054 HAS SOUPS 3667054 WITH SCORE 3670939.399
AT ITER 619 NEW BEST:: SOT 7445916 SOS 3884993 HAS SOPS 3884993 HAS SOUS 3667054 HAS SOUPS 3667054 WITH SCORE 3670938.993
AT ITER 627 NEW BEST:: SOT 7445916 SOS 3884950 HAS SOPS 3884950 HAS SOUS 3667011 HAS SOUPS 3667011 WITH SCORE 3670895.95
AT ITER 629 NEW BEST:: SOT 7445916 SOS 3884172 HAS SOPS 3884172 HAS SOUS 3667011 HAS SOUPS 3667011 WITH SCORE 3670895.172
AT ITER 630 NEW BEST:: SOT 7445916 SOS 3883210 HAS SOPS 3883210 HAS SOUS 3666870 HAS SOUPS 3666870 WITH SCORE 3670753.21
AT ITER 631 NEW BEST:: SOT 7442743 SOS 3892814 HAS SOPS 3892814 HAS SOUS 3664070 HAS SOUPS 3664070 WITH SCORE 3667962.814
AT ITER 632 NEW BEST:: SOT 7441989 SOS 3898214 HAS SOPS 3898214 HAS SOUS 3663690 HAS SOUPS 3663690 WITH SCORE 3667588.214
AT ITER 633 NEW BEST:: SOT 7441989 SOS 3897118 HAS SOPS 3897118 HAS SOUS 3663690 HAS SOUPS 3663690 WITH SCORE 3667587.118
AT ITER 637 NEW BEST:: SOT 7441989 SOS 3896138 HAS SOPS 3896138 HAS SOUS 3663690 HAS SOUPS 3663690 WITH SCORE 3667586.138
AT ITER 638 NEW BEST:: SOT 7441188 SOS 3896595 HAS SOPS 3896595 HAS SOUS 3663477 HAS SOUPS 3663477 WITH SCORE 3667373.595
AT ITER 639 NEW BEST:: SOT 7441353 SOS 3895356 HAS SOPS 3895356 HAS SOUS 3662121 HAS SOUPS 3662121 WITH SCORE 3666016.356
AT ITER 641 NEW BEST:: SOT 7441353 SOS 3895204 HAS SOPS 3895204 HAS SOUS 3662121 HAS SOUPS 3662121 WITH SCORE 3666016.204
AT ITER 642 NEW BEST:: SOT 7441353 SOS 3894983 HAS SOPS 3894983 HAS SOUS 3662121 HAS SOUPS 3662121 WITH SCORE 3666015.983
AT ITER 649 NEW BEST:: SOT 7440872 SOS 3896089 HAS SOPS 3896089 HAS SOUS 3661640 HAS SOUPS 3661640 WITH SCORE 3665536.089
AT ITER 651 NEW BEST:: SOT 7440863 SOS 3895690 HAS SOPS 3895690 HAS SOUS 3661505 HAS SOUPS 3661505 WITH SCORE 3665400.69
AT ITER 656 NEW BEST:: SOT 7438367 SOS 3894189 HAS SOPS 3894189 HAS SOUS 3659350 HAS SOUPS 3659350 WITH SCORE 3663244.189
AT ITER 662 NEW BEST:: SOT 7438371 SOS 3894212 HAS SOPS 3894212 HAS SOUS 3659230 HAS SOUPS 3659230 WITH SCORE 3663124.212
AT ITER 667 NEW BEST:: SOT 7435702 SOS 3896216 HAS SOPS 3896216 HAS SOUS 3657649 HAS SOUPS 3657649 WITH SCORE 3661545.216
AT ITER 679 NEW BEST:: SOT 7435702 SOS 3896050 HAS SOPS 3896050 HAS SOUS 3657649 HAS SOUPS 3657649 WITH SCORE 3661545.05
AT ITER 683 NEW BEST:: SOT 7435702 SOS 3895840 HAS SOPS 3895840 HAS SOUS 3657649 HAS SOUPS 3657649 WITH SCORE 3661544.84
AT ITER 697 NEW BEST:: SOT 7434106 SOS 3896972 HAS SOPS 3896972 HAS SOUS 3656553 HAS SOUPS 3656553 WITH SCORE 3660449.972
AT ITER 705 NEW BEST:: SOT 7434106 SOS 3896883 HAS SOPS 3896883 HAS SOUS 3656553 HAS SOUPS 3656553 WITH SCORE 3660449.883
AT ITER 706 NEW BEST:: SOT 7433456 SOS 3899495 HAS SOPS 3899495 HAS SOUS 3656061 HAS SOUPS 3656061 WITH SCORE 3659960.495
AT ITER 711 NEW BEST:: SOT 7433456 SOS 3898737 HAS SOPS 3898737 HAS SOUS 3656061 HAS SOUPS 3656061 WITH SCORE 3659959.737
AT ITER 712 NEW BEST:: SOT 7433662 SOS 3897721 HAS SOPS 3897721 HAS SOUS 3654915 HAS SOUPS 3654915 WITH SCORE 3658812.721
AT ITER 714 NEW BEST:: SOT 7433529 SOS 3897458 HAS SOPS 3897458 HAS SOUS 3654808 HAS SOUPS 3654808 WITH SCORE 3658705.458
AT ITER 715 NEW BEST:: SOT 7431475 SOS 3896030 HAS SOPS 3896030 HAS SOUS 3652754 HAS SOUPS 3652754 WITH SCORE 3656650.03
AT ITER 716 NEW BEST:: SOT 7431475 SOS 3895887 HAS SOPS 3895887 HAS SOUS 3652754 HAS SOUPS 3652754 WITH SCORE 3656649.887
AT ITER 723 NEW BEST:: SOT 7431553 SOS 3894886 HAS SOPS 3894886 HAS SOUS 3651649 HAS SOUPS 3651649 WITH SCORE 3655543.886
AT ITER 727 NEW BEST:: SOT 7430673 SOS 3896308 HAS SOPS 3896308 HAS SOUS 3651560 HAS SOUPS 3651560 WITH SCORE 3655456.308
AT ITER 732 NEW BEST:: SOT 7429919 SOS 3895677 HAS SOPS 3895677 HAS SOUS 3650806 HAS SOUPS 3650806 WITH SCORE 3654701.677
AT ITER 735 NEW BEST:: SOT 7429807 SOS 3895565 HAS SOPS 3895565 HAS SOUS 3650780 HAS SOUPS 3650780 WITH SCORE 3654675.565
AT ITER 743 NEW BEST:: SOT 7429807 SOS 3894389 HAS SOPS 3894389 HAS SOUS 3650607 HAS SOUPS 3650607 WITH SCORE 3654501.389
AT ITER 750 NEW BEST:: SOT 7429110 SOS 3892700 HAS SOPS 3892700 HAS SOUS 3650502 HAS SOUPS 3650502 WITH SCORE 3654394.7
AT ITER 752 NEW BEST:: SOT 7427866 SOS 3893115 HAS SOPS 3893115 HAS SOUS 3649258 HAS SOUPS 3649258 WITH SCORE 3653151.115
AT ITER 754 NEW BEST:: SOT 7427866 SOS 3892113 HAS SOPS 3892113 HAS SOUS 3649258 HAS SOUPS 3649258 WITH SCORE 3653150.113
AT ITER 763 NEW BEST:: SOT 7427862 SOS 3892107 HAS SOPS 3892107 HAS SOUS 3649187 HAS SOUPS 3649187 WITH SCORE 3653079.107
AT ITER 771 NEW BEST:: SOT 7425476 SOS 3892273 HAS SOPS 3892273 HAS SOUS 3647151 HAS SOUPS 3647151 WITH SCORE 3651043.273
AT ITER 774 NEW BEST:: SOT 7424761 SOS 3891847 HAS SOPS 3891847 HAS SOUS 3646491 HAS SOUPS 3646491 WITH SCORE 3650382.847
AT ITER 776 NEW BEST:: SOT 7424761 SOS 3891735 HAS SOPS 3891735 HAS SOUS 3646491 HAS SOUPS 3646491 WITH SCORE 3650382.735
AT ITER 784 NEW BEST:: SOT 7424761 SOS 3891064 HAS SOPS 3891064 HAS SOUS 3646491 HAS SOUPS 3646491 WITH SCORE 3650382.064
AT ITER 785 NEW BEST:: SOT 7422793 SOS 3889096 HAS SOPS 3889096 HAS SOUS 3644523 HAS SOUPS 3644523 WITH SCORE 3648412.096
AT ITER 787 NEW BEST:: SOT 7422793 SOS 3887861 HAS SOPS 3887861 HAS SOUS 3644523 HAS SOUPS 3644523 WITH SCORE 3648410.861
AT ITER 788 NEW BEST:: SOT 7420458 SOS 3890928 HAS SOPS 3890928 HAS SOUS 3642543 HAS SOUPS 3642543 WITH SCORE 3646433.928
AT ITER 789 NEW BEST:: SOT 7420458 SOS 3890772 HAS SOPS 3890772 HAS SOUS 3642543 HAS SOUPS 3642543 WITH SCORE 3646433.772
AT ITER 791 NEW BEST:: SOT 7420407 SOS 3890721 HAS SOPS 3890721 HAS SOUS 3642492 HAS SOUPS 3642492 WITH SCORE 3646382.721
AT ITER 795 NEW BEST:: SOT 7420407 SOS 3890535 HAS SOPS 3890535 HAS SOUS 3642492 HAS SOUPS 3642492 WITH SCORE 3646382.535
AT ITER 808 NEW BEST:: SOT 7420457 SOS 3890459 HAS SOPS 3890459 HAS SOUS 3642221 HAS SOUPS 3642221 WITH SCORE 3646111.459
AT ITER 819 NEW BEST:: SOT 7420394 SOS 3890053 HAS SOPS 3890053 HAS SOUS 3641943 HAS SOUPS 3641943 WITH SCORE 3645833.053
AT ITER 824 NEW BEST:: SOT 7420394 SOS 3889240 HAS SOPS 3889240 HAS SOUS 3641943 HAS SOUPS 3641943 WITH SCORE 3645832.24
AT ITER 827 NEW BEST:: SOT 7419669 SOS 3880410 HAS SOPS 3880410 HAS SOUS 3641218 HAS SOUPS 3641218 WITH SCORE 3645098.41
AT ITER 834 NEW BEST:: SOT 7420004 SOS 3879707 HAS SOPS 3879707 HAS SOUS 3640504 HAS SOUPS 3640504 WITH SCORE 3644383.707
AT ITER 835 NEW BEST:: SOT 7420004 SOS 3879317 HAS SOPS 3879317 HAS SOUS 3640504 HAS SOUPS 3640504 WITH SCORE 3644383.317
AT ITER 836 NEW BEST:: SOT 7419443 SOS 3880256 HAS SOPS 3880256 HAS SOUS 3640240 HAS SOUPS 3640240 WITH SCORE 3644120.256
AT ITER 841 NEW BEST:: SOT 7418169 SOS 3878345 HAS SOPS 3878345 HAS SOUS 3638329 HAS SOUPS 3638329 WITH SCORE 3642207.345
AT ITER 842 NEW BEST:: SOT 7417376 SOS 3878577 HAS SOPS 3878577 HAS SOUS 3637809 HAS SOUPS 3637809 WITH SCORE 3641687.577
AT ITER 847 NEW BEST:: SOT 7415227 SOS 3878176 HAS SOPS 3878176 HAS SOUS 3636052 HAS SOUPS 3636052 WITH SCORE 3639930.176
AT ITER 848 NEW BEST:: SOT 7411917 SOS 3879884 HAS SOPS 3879884 HAS SOUS 3634183 HAS SOUPS 3634183 WITH SCORE 3638062.884
AT ITER 854 NEW BEST:: SOT 7411267 SOS 3890640 HAS SOPS 3890640 HAS SOUS 3633982 HAS SOUPS 3633982 WITH SCORE 3637872.64
AT ITER 856 NEW BEST:: SOT 7411391 SOS 3889841 HAS SOPS 3889841 HAS SOUS 3633936 HAS SOUPS 3633936 WITH SCORE 3637825.841
AT ITER 869 NEW BEST:: SOT 7411508 SOS 3889865 HAS SOPS 3889865 HAS SOUS 3633778 HAS SOUPS 3633778 WITH SCORE 3637667.865
AT ITER 870 NEW BEST:: SOT 7410856 SOS 3889900 HAS SOPS 3889900 HAS SOUS 3633126 HAS SOUPS 3633126 WITH SCORE 3637015.9
AT ITER 872 NEW BEST:: SOT 7410856 SOS 3889501 HAS SOPS 3889501 HAS SOUS 3632976 HAS SOUPS 3632976 WITH SCORE 3636865.501
AT ITER 883 NEW BEST:: SOT 7410759 SOS 3889404 HAS SOPS 3889404 HAS SOUS 3632879 HAS SOUPS 3632879 WITH SCORE 3636768.404
AT ITER 893 NEW BEST:: SOT 7410759 SOS 3888015 HAS SOPS 3888015 HAS SOUS 3632828 HAS SOUPS 3632828 WITH SCORE 3636716.015
AT ITER 894 NEW BEST:: SOT 7410759 SOS 3885149 HAS SOPS 3885149 HAS SOUS 3632828 HAS SOUPS 3632828 WITH SCORE 3636713.149
AT ITER 895 NEW BEST:: SOT 7410759 SOS 3884291 HAS SOPS 3884291 HAS SOUS 3632828 HAS SOUPS 3632828 WITH SCORE 3636712.291
AT ITER 899 NEW BEST:: SOT 7410759 SOS 3884079 HAS SOPS 3884079 HAS SOUS 3632828 HAS SOUPS 3632828 WITH SCORE 3636712.079
AT ITER 901 NEW BEST:: SOT 7410759 SOS 3883684 HAS SOPS 3883684 HAS SOUS 3632828 HAS SOUPS 3632828 WITH SCORE 3636711.684
AT ITER 902 NEW BEST:: SOT 7410759 SOS 3884448 HAS SOPS 3884448 HAS SOUS 3632808 HAS SOUPS 3632808 WITH SCORE 3636692.448
AT ITER 903 NEW BEST:: SOT 7410921 SOS 3884556 HAS SOPS 3884556 HAS SOUS 3632695 HAS SOUPS 3632695 WITH SCORE 3636579.556
AT ITER 905 NEW BEST:: SOT 7408408 SOS 3882326 HAS SOPS 3882326 HAS SOUS 3630270 HAS SOUPS 3630270 WITH SCORE 3634152.326
AT ITER 909 NEW BEST:: SOT 7408605 SOS 3882481 HAS SOPS 3882481 HAS SOUS 3630243 HAS SOUPS 3630243 WITH SCORE 3634125.481
AT ITER 923 NEW BEST:: SOT 7407451 SOS 3894851 HAS SOPS 3894851 HAS SOUS 3629618 HAS SOUPS 3629618 WITH SCORE 3633512.851
AT ITER 930 NEW BEST:: SOT 7408182 SOS 3895156 HAS SOPS 3895156 HAS SOUS 3629584 HAS SOUPS 3629584 WITH SCORE 3633479.156
AT ITER 935 NEW BEST:: SOT 7406876 SOS 3893850 HAS SOPS 3893850 HAS SOUS 3628278 HAS SOUPS 3628278 WITH SCORE 3632171.85
AT ITER 947 NEW BEST:: SOT 7406876 SOS 3893522 HAS SOPS 3893522 HAS SOUS 3628278 HAS SOUPS 3628278 WITH SCORE 3632171.522
AT ITER 949 NEW BEST:: SOT 7405143 SOS 3906685 HAS SOPS 3906685 HAS SOUS 3627733 HAS SOUPS 3627733 WITH SCORE 3631639.685
AT ITER 950 NEW BEST:: SOT 7405143 SOS 3906604 HAS SOPS 3906604 HAS SOUS 3627733 HAS SOUPS 3627733 WITH SCORE 3631639.604
AT ITER 952 NEW BEST:: SOT 7405143 SOS 3906414 HAS SOPS 3906414 HAS SOUS 3627733 HAS SOUPS 3627733 WITH SCORE 3631639.414
AT ITER 953 NEW BEST:: SOT 7405143 SOS 3906202 HAS SOPS 3906202 HAS SOUS 3627733 HAS SOUPS 3627733 WITH SCORE 3631639.202
AT ITER 954 NEW BEST:: SOT 7405310 SOS 3905459 HAS SOPS 3905459 HAS SOUS 3626886 HAS SOUPS 3626886 WITH SCORE 3630791.459
AT ITER 958 NEW BEST:: SOT 7404222 SOS 3904371 HAS SOPS 3904371 HAS SOUS 3625798 HAS SOUPS 3625798 WITH SCORE 3629702.371
AT ITER 967 NEW BEST:: SOT 7404222 SOS 3903730 HAS SOPS 3903730 HAS SOUS 3625798 HAS SOUPS 3625798 WITH SCORE 3629701.73
AT ITER 968 NEW BEST:: SOT 7403066 SOS 3905353 HAS SOPS 3905353 HAS SOUS 3625124 HAS SOUPS 3625124 WITH SCORE 3629029.353
AT ITER 969 NEW BEST:: SOT 7402937 SOS 3906086 HAS SOPS 3906086 HAS SOUS 3624995 HAS SOUPS 3624995 WITH SCORE 3628901.086
AT ITER 970 NEW BEST:: SOT 7400142 SOS 3911323 HAS SOPS 3911323 HAS SOUS 3622588 HAS SOUPS 3622588 WITH SCORE 3626499.323
AT ITER 981 NEW BEST:: SOT 7399502 SOS 3912553 HAS SOPS 3912553 HAS SOUS 3621948 HAS SOUPS 3621948 WITH SCORE 3625860.553
AT ITER 982 NEW BEST:: SOT 7397435 SOS 3910784 HAS SOPS 3910784 HAS SOUS 3619893 HAS SOUPS 3619893 WITH SCORE 3623803.784
AT ITER 983 NEW BEST:: SOT 7397435 SOS 3903331 HAS SOPS 3903331 HAS SOUS 3619502 HAS SOUPS 3619502 WITH SCORE 3623405.331
AT ITER 995 NEW BEST:: SOT 7397435 SOS 3902916 HAS SOPS 3902916 HAS SOUS 3619502 HAS SOUPS 3619502 WITH SCORE 3623404.916
AT ITER 999 NEW BEST:: SOT 7397435 SOS 3902381 HAS SOPS 3902381 HAS SOUS 3619502 HAS SOUPS 3619502 WITH SCORE 3623404.381
AT ITER 1008 NEW BEST:: SOT 7397435 SOS 3902350 HAS SOPS 3902350 HAS SOUS 3619497 HAS SOUPS 3619497 WITH SCORE 3623399.35
AT ITER 1011 NEW BEST:: SOT 7396995 SOS 3902131 HAS SOPS 3902131 HAS SOUS 3619057 HAS SOUPS 3619057 WITH SCORE 3622959.131
AT ITER 1012 NEW BEST:: SOT 7396906 SOS 3902042 HAS SOPS 3902042 HAS SOUS 3618968 HAS SOUPS 3618968 WITH SCORE 3622870.042
AT ITER 1019 NEW BEST:: SOT 7395946 SOS 3911025 HAS SOPS 3911025 HAS SOUS 3618492 HAS SOUPS 3618492 WITH SCORE 3622403.025
AT ITER 1028 NEW BEST:: SOT 7394328 SOS 3909540 HAS SOPS 3909540 HAS SOUS 3617007 HAS SOUPS 3617007 WITH SCORE 3620916.54
AT ITER 1036 NEW BEST:: SOT 7394328 SOS 3909518 HAS SOPS 3909518 HAS SOUS 3617007 HAS SOUPS 3617007 WITH SCORE 3620916.518
AT ITER 1038 NEW BEST:: SOT 7393379 SOS 3917403 HAS SOPS 3917403 HAS SOUS 3616513 HAS SOUPS 3616513 WITH SCORE 3620430.403
AT ITER 1056 NEW BEST:: SOT 7393379 SOS 3916929 HAS SOPS 3916929 HAS SOUS 3616513 HAS SOUPS 3616513 WITH SCORE 3620429.929
AT ITER 1064 NEW BEST:: SOT 7393379 SOS 3910285 HAS SOPS 3910285 HAS SOUS 3616513 HAS SOUPS 3616513 WITH SCORE 3620423.285
AT ITER 1065 NEW BEST:: SOT 7393379 SOS 3910285 HAS SOPS 3910285 HAS SOUS 3616429 HAS SOUPS 3616429 WITH SCORE 3620339.285
AT ITER 1068 NEW BEST:: SOT 7390445 SOS 3913412 HAS SOPS 3913412 HAS SOUS 3614806 HAS SOUPS 3614806 WITH SCORE 3618719.412
AT ITER 1072 NEW BEST:: SOT 7390445 SOS 3913791 HAS SOPS 3913791 HAS SOUS 3614234 HAS SOUPS 3614234 WITH SCORE 3618147.791
AT ITER 1074 NEW BEST:: SOT 7389018 SOS 3912964 HAS SOPS 3912964 HAS SOUS 3612872 HAS SOUPS 3612872 WITH SCORE 3616784.964
AT ITER 1075 NEW BEST:: SOT 7386149 SOS 3910495 HAS SOPS 3910495 HAS SOUS 3610231 HAS SOUPS 3610231 WITH SCORE 3614141.495
AT ITER 1084 NEW BEST:: SOT 7386149 SOS 3910448 HAS SOPS 3910448 HAS SOUS 3610231 HAS SOUPS 3610231 WITH SCORE 3614141.448
AT ITER 1092 NEW BEST:: SOT 7385392 SOS 3911986 HAS SOPS 3911986 HAS SOUS 3610098 HAS SOUPS 3610098 WITH SCORE 3614009.986
AT ITER 1097 NEW BEST:: SOT 7383490 SOS 3930769 HAS SOPS 3930769 HAS SOUS 3608336 HAS SOUPS 3608336 WITH SCORE 3612266.769
AT ITER 1099 NEW BEST:: SOT 7383490 SOS 3930213 HAS SOPS 3930213 HAS SOUS 3608336 HAS SOUPS 3608336 WITH SCORE 3612266.213
AT ITER 1107 NEW BEST:: SOT 7380458 SOS 3943352 HAS SOPS 3943352 HAS SOUS 3608144 HAS SOUPS 3608144 WITH SCORE 3612087.352
AT ITER 1112 NEW BEST:: SOT 7380458 SOS 3943161 HAS SOPS 3943161 HAS SOUS 3608144 HAS SOUPS 3608144 WITH SCORE 3612087.161
AT ITER 1114 NEW BEST:: SOT 7379539 SOS 3954486 HAS SOPS 3954486 HAS SOUS 3607581 HAS SOUPS 3607581 WITH SCORE 3611535.486
AT ITER 1126 NEW BEST:: SOT 7379771 SOS 3954468 HAS SOPS 3954468 HAS SOUS 3607489 HAS SOUPS 3607489 WITH SCORE 3611443.468
AT ITER 1128 NEW BEST:: SOT 7379199 SOS 3954512 HAS SOPS 3954512 HAS SOUS 3607099 HAS SOUPS 3607099 WITH SCORE 3611053.512
AT ITER 1129 NEW BEST:: SOT 7379199 SOS 3954099 HAS SOPS 3954099 HAS SOUS 3607099 HAS SOUPS 3607099 WITH SCORE 3611053.099
AT ITER 1132 NEW BEST:: SOT 7378510 SOS 3956462 HAS SOPS 3956462 HAS SOUS 3606546 HAS SOUPS 3606546 WITH SCORE 3610502.462
AT ITER 1137 NEW BEST:: SOT 7377852 SOS 3958930 HAS SOPS 3958930 HAS SOUS 3606486 HAS SOUPS 3606486 WITH SCORE 3610444.93
AT ITER 1138 NEW BEST:: SOT 7377852 SOS 3958783 HAS SOPS 3958783 HAS SOUS 3606486 HAS SOUPS 3606486 WITH SCORE 3610444.783
AT ITER 1143 NEW BEST:: SOT 7378145 SOS 3958865 HAS SOPS 3958865 HAS SOUS 3604981 HAS SOUPS 3604981 WITH SCORE 3608939.865
AT ITER 1145 NEW BEST:: SOT 7376213 SOS 3957094 HAS SOPS 3957094 HAS SOUS 3603259 HAS SOUPS 3603259 WITH SCORE 3607216.094
AT ITER 1147 NEW BEST:: SOT 7374765 SOS 3961609 HAS SOPS 3961609 HAS SOUS 3602156 HAS SOUPS 3602156 WITH SCORE 3606117.609
AT ITER 1148 NEW BEST:: SOT 7374765 SOS 3948125 HAS SOPS 3948125 HAS SOUS 3600389 HAS SOUPS 3600389 WITH SCORE 3604337.125
AT ITER 1154 NEW BEST:: SOT 7372540 SOS 3946143 HAS SOPS 3946143 HAS SOUS 3598339 HAS SOUPS 3598339 WITH SCORE 3602285.143
AT ITER 1161 NEW BEST:: SOT 7372540 SOS 3945835 HAS SOPS 3945835 HAS SOUS 3598339 HAS SOUPS 3598339 WITH SCORE 3602284.835
AT ITER 1167 NEW BEST:: SOT 7372540 SOS 3945684 HAS SOPS 3945684 HAS SOUS 3598339 HAS SOUPS 3598339 WITH SCORE 3602284.684
AT ITER 1175 NEW BEST:: SOT 7371968 SOS 3961216 HAS SOPS 3961216 HAS SOUS 3598275 HAS SOUPS 3598275 WITH SCORE 3602236.216
AT ITER 1179 NEW BEST:: SOT 7368863 SOS 3958392 HAS SOPS 3958392 HAS SOUS 3595725 HAS SOUPS 3595725 WITH SCORE 3599683.392
AT ITER 1195 NEW BEST:: SOT 7368330 SOS 3962892 HAS SOPS 3962892 HAS SOUS 3595376 HAS SOUPS 3595376 WITH SCORE 3599338.892
AT ITER 1199 NEW BEST:: SOT 7368330 SOS 3960650 HAS SOPS 3960650 HAS SOUS 3595326 HAS SOUPS 3595326 WITH SCORE 3599286.65
AT ITER 1201 NEW BEST:: SOT 7368519 SOS 3962342 HAS SOPS 3962342 HAS SOUS 3595260 HAS SOUPS 3595260 WITH SCORE 3599222.342
AT ITER 1205 NEW BEST:: SOT 7368519 SOS 3962064 HAS SOPS 3962064 HAS SOUS 3595038 HAS SOUPS 3595038 WITH SCORE 3599000.064
AT ITER 1211 NEW BEST:: SOT 7368519 SOS 3961103 HAS SOPS 3961103 HAS SOUS 3595038 HAS SOUPS 3595038 WITH SCORE 3598999.103
AT ITER 1212 NEW BEST:: SOT 7367765 SOS 3961435 HAS SOPS 3961435 HAS SOUS 3594576 HAS SOUPS 3594576 WITH SCORE 3598537.435
AT ITER 1216 NEW BEST:: SOT 7367765 SOS 3960866 HAS SOPS 3960866 HAS SOUS 3594576 HAS SOUPS 3594576 WITH SCORE 3598536.866
AT ITER 1218 NEW BEST:: SOT 7367765 SOS 3960034 HAS SOPS 3960034 HAS SOUS 3594436 HAS SOUPS 3594436 WITH SCORE 3598396.034
AT ITER 1224 NEW BEST:: SOT 7367765 SOS 3959815 HAS SOPS 3959815 HAS SOUS 3594436 HAS SOUPS 3594436 WITH SCORE 3598395.815
AT ITER 1229 NEW BEST:: SOT 7367696 SOS 3959227 HAS SOPS 3959227 HAS SOUS 3594342 HAS SOUPS 3594342 WITH SCORE 3598301.227
AT ITER 1233 NEW BEST:: SOT 7367696 SOS 3957968 HAS SOPS 3957968 HAS SOUS 3594342 HAS SOUPS 3594342 WITH SCORE 3598299.968
AT ITER 1234 NEW BEST:: SOT 7367217 SOS 3957428 HAS SOPS 3957428 HAS SOUS 3593863 HAS SOUPS 3593863 WITH SCORE 3597820.428
AT ITER 1236 NEW BEST:: SOT 7367217 SOS 3957190 HAS SOPS 3957190 HAS SOUS 3593863 HAS SOUPS 3593863 WITH SCORE 3597820.19
AT ITER 1237 NEW BEST:: SOT 7367217 SOS 3957092 HAS SOPS 3957092 HAS SOUS 3593863 HAS SOUPS 3593863 WITH SCORE 3597820.092
AT ITER 1239 NEW BEST:: SOT 7367217 SOS 3956392 HAS SOPS 3956392 HAS SOUS 3593863 HAS SOUPS 3593863 WITH SCORE 3597819.392
AT ITER 1250 NEW BEST:: SOT 7367217 SOS 3955522 HAS SOPS 3955522 HAS SOUS 3593863 HAS SOUPS 3593863 WITH SCORE 3597818.522
AT ITER 1251 NEW BEST:: SOT 7366504 SOS 3960161 HAS SOPS 3960161 HAS SOUS 3593470 HAS SOUPS 3593470 WITH SCORE 3597430.161
AT ITER 1253 NEW BEST:: SOT 7364830 SOS 3960048 HAS SOPS 3960048 HAS SOUS 3592726 HAS SOUPS 3592726 WITH SCORE 3596686.048
AT ITER 1257 NEW BEST:: SOT 7363698 SOS 3958671 HAS SOPS 3958671 HAS SOUS 3591836 HAS SOUPS 3591836 WITH SCORE 3595794.671
AT ITER 1262 NEW BEST:: SOT 7361504 SOS 3956666 HAS SOPS 3956666 HAS SOUS 3589831 HAS SOUPS 3589831 WITH SCORE 3593787.666
AT ITER 1269 NEW BEST:: SOT 7361504 SOS 3956146 HAS SOPS 3956146 HAS SOUS 3589432 HAS SOUPS 3589432 WITH SCORE 3593388.146
AT ITER 1276 NEW BEST:: SOT 7361504 SOS 3955917 HAS SOPS 3955917 HAS SOUS 3589432 HAS SOUPS 3589432 WITH SCORE 3593387.917
AT ITER 1284 NEW BEST:: SOT 7361504 SOS 3955773 HAS SOPS 3955773 HAS SOUS 3589432 HAS SOUPS 3589432 WITH SCORE 3593387.773
AT ITER 1292 NEW BEST:: SOT 7361504 SOS 3955744 HAS SOPS 3955744 HAS SOUS 3589432 HAS SOUPS 3589432 WITH SCORE 3593387.744
AT ITER 1304 NEW BEST:: SOT 7361504 SOS 3955589 HAS SOPS 3955589 HAS SOUS 3589432 HAS SOUPS 3589432 WITH SCORE 3593387.589
AT ITER 1308 NEW BEST:: SOT 7361504 SOS 3954735 HAS SOPS 3954735 HAS SOUS 3589432 HAS SOUPS 3589432 WITH SCORE 3593386.735
AT ITER 1312 NEW BEST:: SOT 7361903 SOS 3955134 HAS SOPS 3955134 HAS SOUS 3589034 HAS SOUPS 3589034 WITH SCORE 3592989.134
AT ITER 1315 NEW BEST:: SOT 7361903 SOS 3954992 HAS SOPS 3954992 HAS SOUS 3589034 HAS SOUPS 3589034 WITH SCORE 3592988.992
AT ITER 1316 NEW BEST:: SOT 7361903 SOS 3954726 HAS SOPS 3954726 HAS SOUS 3589034 HAS SOUPS 3589034 WITH SCORE 3592988.726
AT ITER 1318 NEW BEST:: SOT 7361383 SOS 3954778 HAS SOPS 3954778 HAS SOUS 3588566 HAS SOUPS 3588566 WITH SCORE 3592520.778
AT ITER 1319 NEW BEST:: SOT 7361383 SOS 3954317 HAS SOPS 3954317 HAS SOUS 3588566 HAS SOUPS 3588566 WITH SCORE 3592520.317
AT ITER 1320 NEW BEST:: SOT 7361160 SOS 3961451 HAS SOPS 3961451 HAS SOUS 3588369 HAS SOUPS 3588369 WITH SCORE 3592330.451
AT ITER 1325 NEW BEST:: SOT 7360439 SOS 3961474 HAS SOPS 3961474 HAS SOUS 3588237 HAS SOUPS 3588237 WITH SCORE 3592198.474
AT ITER 1342 NEW BEST:: SOT 7359272 SOS 3960307 HAS SOPS 3960307 HAS SOUS 3586965 HAS SOUPS 3586965 WITH SCORE 3590925.307
AT ITER 1347 NEW BEST:: SOT 7358588 SOS 3959680 HAS SOPS 3959680 HAS SOUS 3586338 HAS SOUPS 3586338 WITH SCORE 3590297.68
AT ITER 1348 NEW BEST:: SOT 7358695 SOS 3959682 HAS SOPS 3959682 HAS SOUS 3586327 HAS SOUPS 3586327 WITH SCORE 3590286.682
AT ITER 1349 NEW BEST:: SOT 7355853 SOS 3958509 HAS SOPS 3958509 HAS SOUS 3583804 HAS SOUPS 3583804 WITH SCORE 3587762.509
AT ITER 1350 NEW BEST:: SOT 7355874 SOS 3959181 HAS SOPS 3959181 HAS SOUS 3583772 HAS SOUPS 3583772 WITH SCORE 3587731.181
AT ITER 1352 NEW BEST:: SOT 7355874 SOS 3958993 HAS SOPS 3958993 HAS SOUS 3583772 HAS SOUPS 3583772 WITH SCORE 3587730.993
AT ITER 1353 NEW BEST:: SOT 7352354 SOS 3961746 HAS SOPS 3961746 HAS SOUS 3581891 HAS SOUPS 3581891 WITH SCORE 3585852.746
AT ITER 1355 NEW BEST:: SOT 7352354 SOS 3961658 HAS SOPS 3961658 HAS SOUS 3581891 HAS SOUPS 3581891 WITH SCORE 3585852.658
AT ITER 1356 NEW BEST:: SOT 7351195 SOS 3970191 HAS SOPS 3970191 HAS SOUS 3581440 HAS SOUPS 3581440 WITH SCORE 3585410.191
AT ITER 1357 NEW BEST:: SOT 7350863 SOS 3964850 HAS SOPS 3964850 HAS SOUS 3581108 HAS SOUPS 3581108 WITH SCORE 3585072.85
AT ITER 1358 NEW BEST:: SOT 7350863 SOS 3964524 HAS SOPS 3964524 HAS SOUS 3581108 HAS SOUPS 3581108 WITH SCORE 3585072.524
AT ITER 1360 NEW BEST:: SOT 7350863 SOS 3964404 HAS SOPS 3964404 HAS SOUS 3581108 HAS SOUPS 3581108 WITH SCORE 3585072.404
AT ITER 1367 NEW BEST:: SOT 7350863 SOS 3964428 HAS SOPS 3964428 HAS SOUS 3581015 HAS SOUPS 3581015 WITH SCORE 3584979.428
AT ITER 1371 NEW BEST:: SOT 7351182 SOS 3964747 HAS SOPS 3964747 HAS SOUS 3579982 HAS SOUPS 3579982 WITH SCORE 3583946.747
AT ITER 1372 NEW BEST:: SOT 7349817 SOS 3963830 HAS SOPS 3963830 HAS SOUS 3578842 HAS SOUPS 3578842 WITH SCORE 3582805.83
AT ITER 1373 NEW BEST:: SOT 7347827 SOS 3966397 HAS SOPS 3966397 HAS SOUS 3577202 HAS SOUPS 3577202 WITH SCORE 3581168.397
AT ITER 1378 NEW BEST:: SOT 7347938 SOS 3966430 HAS SOPS 3966430 HAS SOUS 3577025 HAS SOUPS 3577025 WITH SCORE 3580991.43
AT ITER 1380 NEW BEST:: SOT 7347938 SOS 3966349 HAS SOPS 3966349 HAS SOUS 3577025 HAS SOUPS 3577025 WITH SCORE 3580991.349
AT ITER 1382 NEW BEST:: SOT 7347368 SOS 3968926 HAS SOPS 3968926 HAS SOUS 3576596 HAS SOUPS 3576596 WITH SCORE 3580564.926
AT ITER 1384 NEW BEST:: SOT 7347368 SOS 3967933 HAS SOPS 3967933 HAS SOUS 3576596 HAS SOUPS 3576596 WITH SCORE 3580563.933
AT ITER 1395 NEW BEST:: SOT 7347368 SOS 3960088 HAS SOPS 3960088 HAS SOUS 3576290 HAS SOUPS 3576290 WITH SCORE 3580250.088
AT ITER 1402 NEW BEST:: SOT 7347368 SOS 3958597 HAS SOPS 3958597 HAS SOUS 3576163 HAS SOUPS 3576163 WITH SCORE 3580121.597
AT ITER 1407 NEW BEST:: SOT 7347368 SOS 3958464 HAS SOPS 3958464 HAS SOUS 3576163 HAS SOUPS 3576163 WITH SCORE 3580121.464
AT ITER 1408 NEW BEST:: SOT 7347368 SOS 3958378 HAS SOPS 3958378 HAS SOUS 3576163 HAS SOUPS 3576163 WITH SCORE 3580121.378
AT ITER 1413 NEW BEST:: SOT 7347368 SOS 3957864 HAS SOPS 3957864 HAS SOUS 3576163 HAS SOUPS 3576163 WITH SCORE 3580120.864
AT ITER 1414 NEW BEST:: SOT 7347504 SOS 3957914 HAS SOPS 3957914 HAS SOUS 3576122 HAS SOUPS 3576122 WITH SCORE 3580079.914
AT ITER 1415 NEW BEST:: SOT 7344558 SOS 3967713 HAS SOPS 3967713 HAS SOUS 3573822 HAS SOUPS 3573822 WITH SCORE 3577789.713
AT ITER 1418 NEW BEST:: SOT 7344558 SOS 3967770 HAS SOPS 3967770 HAS SOUS 3573821 HAS SOUPS 3573821 WITH SCORE 3577788.77
AT ITER 1424 NEW BEST:: SOT 7342050 SOS 3965565 HAS SOPS 3965565 HAS SOUS 3571447 HAS SOUPS 3571447 WITH SCORE 3575412.565
AT ITER 1428 NEW BEST:: SOT 7340454 SOS 3964257 HAS SOPS 3964257 HAS SOUS 3570259 HAS SOUPS 3570259 WITH SCORE 3574223.257
AT ITER 1430 NEW BEST:: SOT 7339752 SOS 3964218 HAS SOPS 3964218 HAS SOUS 3569648 HAS SOUPS 3569648 WITH SCORE 3573612.218
AT ITER 1441 NEW BEST:: SOT 7337535 SOS 3963925 HAS SOPS 3963925 HAS SOUS 3568348 HAS SOUPS 3568348 WITH SCORE 3572311.925
AT ITER 1444 NEW BEST:: SOT 7334980 SOS 3961579 HAS SOPS 3961579 HAS SOUS 3566002 HAS SOUPS 3566002 WITH SCORE 3569963.579
AT ITER 1447 NEW BEST:: SOT 7334980 SOS 3957055 HAS SOPS 3957055 HAS SOUS 3566002 HAS SOUPS 3566002 WITH SCORE 3569959.055
AT ITER 1455 NEW BEST:: SOT 7333108 SOS 3957134 HAS SOPS 3957134 HAS SOUS 3564653 HAS SOUPS 3564653 WITH SCORE 3568610.134
AT ITER 1458 NEW BEST:: SOT 7333108 SOS 3956315 HAS SOPS 3956315 HAS SOUS 3564466 HAS SOUPS 3564466 WITH SCORE 3568422.315
AT ITER 1462 NEW BEST:: SOT 7331972 SOS 3955315 HAS SOPS 3955315 HAS SOUS 3563466 HAS SOUPS 3563466 WITH SCORE 3567421.315
AT ITER 1465 NEW BEST:: SOT 7331922 SOS 3955184 HAS SOPS 3955184 HAS SOUS 3563439 HAS SOUPS 3563439 WITH SCORE 3567394.184
AT ITER 1469 NEW BEST:: SOT 7331909 SOS 3956214 HAS SOPS 3956214 HAS SOUS 3563387 HAS SOUPS 3563387 WITH SCORE 3567343.214
AT ITER 1473 NEW BEST:: SOT 7331909 SOS 3955329 HAS SOPS 3955329 HAS SOUS 3563387 HAS SOUPS 3563387 WITH SCORE 3567342.329
AT ITER 1481 NEW BEST:: SOT 7329655 SOS 3955329 HAS SOPS 3955329 HAS SOUS 3561333 HAS SOUPS 3561333 WITH SCORE 3565288.329
AT ITER 1482 NEW BEST:: SOT 7329655 SOS 3955310 HAS SOPS 3955310 HAS SOUS 3561333 HAS SOUPS 3561333 WITH SCORE 3565288.31
AT ITER 1485 NEW BEST:: SOT 7329595 SOS 3955206 HAS SOPS 3955206 HAS SOUS 3561164 HAS SOUPS 3561164 WITH SCORE 3565119.206
AT ITER 1490 NEW BEST:: SOT 7329595 SOS 3955059 HAS SOPS 3955059 HAS SOUS 3561164 HAS SOUPS 3561164 WITH SCORE 3565119.059
AT ITER 1510 NEW BEST:: SOT 7328485 SOS 3954151 HAS SOPS 3954151 HAS SOUS 3560158 HAS SOUPS 3560158 WITH SCORE 3564112.151
AT ITER 1512 NEW BEST:: SOT 7328355 SOS 3954092 HAS SOPS 3954092 HAS SOUS 3560080 HAS SOUPS 3560080 WITH SCORE 3564034.092
AT ITER 1516 NEW BEST:: SOT 7328355 SOS 3953001 HAS SOPS 3953001 HAS SOUS 3560080 HAS SOUPS 3560080 WITH SCORE 3564033.001
AT ITER 1517 NEW BEST:: SOT 7325224 SOS 3950128 HAS SOPS 3950128 HAS SOUS 3557129 HAS SOUPS 3557129 WITH SCORE 3561079.128
AT ITER 1520 NEW BEST:: SOT 7325224 SOS 3949896 HAS SOPS 3949896 HAS SOUS 3557129 HAS SOUPS 3557129 WITH SCORE 3561078.896
AT ITER 1527 NEW BEST:: SOT 7325224 SOS 3949446 HAS SOPS 3949446 HAS SOUS 3557129 HAS SOUPS 3557129 WITH SCORE 3561078.446
AT ITER 1528 NEW BEST:: SOT 7322841 SOS 3947264 HAS SOPS 3947264 HAS SOUS 3555333 HAS SOUPS 3555333 WITH SCORE 3559280.264
AT ITER 1530 NEW BEST:: SOT 7322841 SOS 3947162 HAS SOPS 3947162 HAS SOUS 3555036 HAS SOUPS 3555036 WITH SCORE 3558983.162
AT ITER 1540 NEW BEST:: SOT 7322841 SOS 3947076 HAS SOPS 3947076 HAS SOUS 3555036 HAS SOUPS 3555036 WITH SCORE 3558983.076
AT ITER 1543 NEW BEST:: SOT 7322697 SOS 3946386 HAS SOPS 3946386 HAS SOUS 3554721 HAS SOUPS 3554721 WITH SCORE 3558667.386
AT ITER 1547 NEW BEST:: SOT 7322697 SOS 3946211 HAS SOPS 3946211 HAS SOUS 3554721 HAS SOUPS 3554721 WITH SCORE 3558667.211
AT ITER 1550 NEW BEST:: SOT 7322303 SOS 3946927 HAS SOPS 3946927 HAS SOUS 3554327 HAS SOUPS 3554327 WITH SCORE 3558273.927
AT ITER 1565 NEW BEST:: SOT 7322192 SOS 3948496 HAS SOPS 3948496 HAS SOUS 3554287 HAS SOUPS 3554287 WITH SCORE 3558235.496
AT ITER 1572 NEW BEST:: SOT 7322235 SOS 3948058 HAS SOPS 3948058 HAS SOUS 3553823 HAS SOUPS 3553823 WITH SCORE 3557771.058
AT ITER 1576 NEW BEST:: SOT 7322235 SOS 3947366 HAS SOPS 3947366 HAS SOUS 3553823 HAS SOUPS 3553823 WITH SCORE 3557770.366
AT ITER 1579 NEW BEST:: SOT 7319859 SOS 3958659 HAS SOPS 3958659 HAS SOUS 3553722 HAS SOUPS 3553722 WITH SCORE 3557680.659
AT ITER 1584 NEW BEST:: SOT 7316190 SOS 3959540 HAS SOPS 3959540 HAS SOUS 3551890 HAS SOUPS 3551890 WITH SCORE 3555849.54
AT ITER 1588 NEW BEST:: SOT 7313978 SOS 3967061 HAS SOPS 3967061 HAS SOUS 3551065 HAS SOUPS 3551065 WITH SCORE 3555032.061
AT ITER 1591 NEW BEST:: SOT 7313637 SOS 3966042 HAS SOPS 3966042 HAS SOUS 3550041 HAS SOUPS 3550041 WITH SCORE 3554007.042
AT ITER 1595 NEW BEST:: SOT 7313637 SOS 3965569 HAS SOPS 3965569 HAS SOUS 3550041 HAS SOUPS 3550041 WITH SCORE 3554006.569
AT ITER 1600 NEW BEST:: SOT 7311353 SOS 3972064 HAS SOPS 3972064 HAS SOUS 3549093 HAS SOUPS 3549093 WITH SCORE 3553065.064
AT ITER 1603 NEW BEST:: SOT 7308412 SOS 3969370 HAS SOPS 3969370 HAS SOUS 3546191 HAS SOUPS 3546191 WITH SCORE 3550160.37
AT ITER 1605 NEW BEST:: SOT 7305913 SOS 3968750 HAS SOPS 3968750 HAS SOUS 3544194 HAS SOUPS 3544194 WITH SCORE 3548162.75
AT ITER 1607 NEW BEST:: SOT 7306338 SOS 3968343 HAS SOPS 3968343 HAS SOUS 3544186 HAS SOUPS 3544186 WITH SCORE 3548154.343
AT ITER 1609 NEW BEST:: SOT 7303465 SOS 3971558 HAS SOPS 3971558 HAS SOUS 3542321 HAS SOUPS 3542321 WITH SCORE 3546292.558
AT ITER 1611 NEW BEST:: SOT 7301534 SOS 3970518 HAS SOPS 3970518 HAS SOUS 3540713 HAS SOUPS 3540713 WITH SCORE 3544683.518
AT ITER 1614 NEW BEST:: SOT 7301534 SOS 3969167 HAS SOPS 3969167 HAS SOUS 3539682 HAS SOUPS 3539682 WITH SCORE 3543651.167
AT ITER 1615 NEW BEST:: SOT 7301534 SOS 3968222 HAS SOPS 3968222 HAS SOUS 3539682 HAS SOUPS 3539682 WITH SCORE 3543650.222
AT ITER 1618 NEW BEST:: SOT 7301534 SOS 3968205 HAS SOPS 3968205 HAS SOUS 3539682 HAS SOUPS 3539682 WITH SCORE 3543650.205
AT ITER 1619 NEW BEST:: SOT 7300951 SOS 3967886 HAS SOPS 3967886 HAS SOUS 3539363 HAS SOUPS 3539363 WITH SCORE 3543330.886
AT ITER 1621 NEW BEST:: SOT 7300983 SOS 3967961 HAS SOPS 3967961 HAS SOUS 3539209 HAS SOUPS 3539209 WITH SCORE 3543176.961
AT ITER 1624 NEW BEST:: SOT 7300396 SOS 3967906 HAS SOPS 3967906 HAS SOUS 3538622 HAS SOUPS 3538622 WITH SCORE 3542589.906
AT ITER 1629 NEW BEST:: SOT 7300210 SOS 3966134 HAS SOPS 3966134 HAS SOUS 3538025 HAS SOUPS 3538025 WITH SCORE 3541991.134
AT ITER 1631 NEW BEST:: SOT 7300210 SOS 3964552 HAS SOPS 3964552 HAS SOUS 3538025 HAS SOUPS 3538025 WITH SCORE 3541989.552
AT ITER 1633 NEW BEST:: SOT 7299962 SOS 3964304 HAS SOPS 3964304 HAS SOUS 3537692 HAS SOUPS 3537692 WITH SCORE 3541656.304
AT ITER 1640 NEW BEST:: SOT 7299875 SOS 3963827 HAS SOPS 3963827 HAS SOUS 3537457 HAS SOUPS 3537457 WITH SCORE 3541420.827
AT ITER 1648 NEW BEST:: SOT 7299875 SOS 3963665 HAS SOPS 3963665 HAS SOUS 3537457 HAS SOUPS 3537457 WITH SCORE 3541420.665
AT ITER 1655 NEW BEST:: SOT 7299875 SOS 3962731 HAS SOPS 3962731 HAS SOUS 3537457 HAS SOUPS 3537457 WITH SCORE 3541419.731
AT ITER 1657 NEW BEST:: SOT 7299875 SOS 3962182 HAS SOPS 3962182 HAS SOUS 3537457 HAS SOUPS 3537457 WITH SCORE 3541419.182
AT ITER 1660 NEW BEST:: SOT 7299875 SOS 3962039 HAS SOPS 3962039 HAS SOUS 3537314 HAS SOUPS 3537314 WITH SCORE 3541276.039
AT ITER 1661 NEW BEST:: SOT 7299875 SOS 3961802 HAS SOPS 3961802 HAS SOUS 3537314 HAS SOUPS 3537314 WITH SCORE 3541275.802
AT ITER 1663 NEW BEST:: SOT 7298985 SOS 3961757 HAS SOPS 3961757 HAS SOUS 3536927 HAS SOUPS 3536927 WITH SCORE 3540888.757
AT ITER 1666 NEW BEST:: SOT 7298985 SOS 3961603 HAS SOPS 3961603 HAS SOUS 3536927 HAS SOUPS 3536927 WITH SCORE 3540888.603
AT ITER 1667 NEW BEST:: SOT 7298985 SOS 3961503 HAS SOPS 3961503 HAS SOUS 3536927 HAS SOUPS 3536927 WITH SCORE 3540888.503
AT ITER 1670 NEW BEST:: SOT 7298985 SOS 3960732 HAS SOPS 3960732 HAS SOUS 3536927 HAS SOUPS 3536927 WITH SCORE 3540887.732
AT ITER 1672 NEW BEST:: SOT 7298259 SOS 3960006 HAS SOPS 3960006 HAS SOUS 3535917 HAS SOUPS 3535917 WITH SCORE 3539877.006
AT ITER 1675 NEW BEST:: SOT 7298259 SOS 3952950 HAS SOPS 3952950 HAS SOUS 3535742 HAS SOUPS 3535742 WITH SCORE 3539694.95
AT ITER 1679 NEW BEST:: SOT 7298505 SOS 3952828 HAS SOPS 3952828 HAS SOUS 3535477 HAS SOUPS 3535477 WITH SCORE 3539429.828
AT ITER 1689 NEW BEST:: SOT 7297099 SOS 3951483 HAS SOPS 3951483 HAS SOUS 3534071 HAS SOUPS 3534071 WITH SCORE 3538022.483
AT ITER 1697 NEW BEST:: SOT 7297099 SOS 3950710 HAS SOPS 3950710 HAS SOUS 3534071 HAS SOUPS 3534071 WITH SCORE 3538021.71
AT ITER 1704 NEW BEST:: SOT 7297099 SOS 3950467 HAS SOPS 3950467 HAS SOUS 3534071 HAS SOUPS 3534071 WITH SCORE 3538021.467
AT ITER 1707 NEW BEST:: SOT 7297099 SOS 3950314 HAS SOPS 3950314 HAS SOUS 3534071 HAS SOUPS 3534071 WITH SCORE 3538021.314
AT ITER 1710 NEW BEST:: SOT 7295964 SOS 3955012 HAS SOPS 3955012 HAS SOUS 3533330 HAS SOUPS 3533330 WITH SCORE 3537285.012
AT ITER 1725 NEW BEST:: SOT 7295964 SOS 3955012 HAS SOPS 3955012 HAS SOUS 3532926 HAS SOUPS 3532926 WITH SCORE 3536881.012
AT ITER 1727 NEW BEST:: SOT 7295269 SOS 3954794 HAS SOPS 3954794 HAS SOUS 3532708 HAS SOUPS 3532708 WITH SCORE 3536662.794
AT ITER 1729 NEW BEST:: SOT 7293397 SOS 3956653 HAS SOPS 3956653 HAS SOUS 3531803 HAS SOUPS 3531803 WITH SCORE 3535759.653
AT ITER 1730 NEW BEST:: SOT 7293397 SOS 3956501 HAS SOPS 3956501 HAS SOUS 3531803 HAS SOUPS 3531803 WITH SCORE 3535759.501
AT ITER 1733 NEW BEST:: SOT 7293055 SOS 3956273 HAS SOPS 3956273 HAS SOUS 3531461 HAS SOUPS 3531461 WITH SCORE 3535417.273
AT ITER 1740 NEW BEST:: SOT 7293055 SOS 3956218 HAS SOPS 3956218 HAS SOUS 3531461 HAS SOUPS 3531461 WITH SCORE 3535417.218
AT ITER 1746 NEW BEST:: SOT 7293055 SOS 3955346 HAS SOPS 3955346 HAS SOUS 3531461 HAS SOUPS 3531461 WITH SCORE 3535416.346
AT ITER 1748 NEW BEST:: SOT 7293177 SOS 3955395 HAS SOPS 3955395 HAS SOUS 3531380 HAS SOUPS 3531380 WITH SCORE 3535335.395
AT ITER 1749 NEW BEST:: SOT 7292477 SOS 3954870 HAS SOPS 3954870 HAS SOUS 3530680 HAS SOUPS 3530680 WITH SCORE 3534634.87
AT ITER 1750 NEW BEST:: SOT 7292167 SOS 3957113 HAS SOPS 3957113 HAS SOUS 3530370 HAS SOUPS 3530370 WITH SCORE 3534327.113
AT ITER 1751 NEW BEST:: SOT 7292008 SOS 3956275 HAS SOPS 3956275 HAS SOUS 3530041 HAS SOUPS 3530041 WITH SCORE 3533997.275
AT ITER 1756 NEW BEST:: SOT 7291915 SOS 3955857 HAS SOPS 3955857 HAS SOUS 3529995 HAS SOUPS 3529995 WITH SCORE 3533950.857
AT ITER 1769 NEW BEST:: SOT 7291431 SOS 3955684 HAS SOPS 3955684 HAS SOUS 3529621 HAS SOUPS 3529621 WITH SCORE 3533576.684
AT ITER 1779 NEW BEST:: SOT 7291474 SOS 3953150 HAS SOPS 3953150 HAS SOUS 3529548 HAS SOUPS 3529548 WITH SCORE 3533501.15
AT ITER 1786 NEW BEST:: SOT 7291474 SOS 3953365 HAS SOPS 3953365 HAS SOUS 3529402 HAS SOUPS 3529402 WITH SCORE 3533355.365
AT ITER 1792 NEW BEST:: SOT 7291657 SOS 3950868 HAS SOPS 3950868 HAS SOUS 3529180 HAS SOUPS 3529180 WITH SCORE 3533130.868
AT ITER 1795 NEW BEST:: SOT 7291657 SOS 3950806 HAS SOPS 3950806 HAS SOUS 3529180 HAS SOUPS 3529180 WITH SCORE 3533130.806
AT ITER 1802 NEW BEST:: SOT 7290092 SOS 3949436 HAS SOPS 3949436 HAS SOUS 3527810 HAS SOUPS 3527810 WITH SCORE 3531759.436
AT ITER 1807 NEW BEST:: SOT 7290113 SOS 3947153 HAS SOPS 3947153 HAS SOUS 3527252 HAS SOUPS 3527252 WITH SCORE 3531199.153
AT ITER 1808 NEW BEST:: SOT 7289630 SOS 3948025 HAS SOPS 3948025 HAS SOUS 3526885 HAS SOUPS 3526885 WITH SCORE 3530833.025
AT ITER 1809 NEW BEST:: SOT 7289630 SOS 3947678 HAS SOPS 3947678 HAS SOUS 3526650 HAS SOUPS 3526650 WITH SCORE 3530597.678
AT ITER 1811 NEW BEST:: SOT 7289630 SOS 3947063 HAS SOPS 3947063 HAS SOUS 3526650 HAS SOUPS 3526650 WITH SCORE 3530597.063
AT ITER 1824 NEW BEST:: SOT 7288732 SOS 3949973 HAS SOPS 3949973 HAS SOUS 3525831 HAS SOUPS 3525831 WITH SCORE 3529780.973
AT ITER 1825 NEW BEST:: SOT 7285925 SOS 3953217 HAS SOPS 3953217 HAS SOUS 3524722 HAS SOUPS 3524722 WITH SCORE 3528675.217
AT ITER 1826 NEW BEST:: SOT 7285788 SOS 3954691 HAS SOPS 3954691 HAS SOUS 3524585 HAS SOUPS 3524585 WITH SCORE 3528539.691
AT ITER 1827 NEW BEST:: SOT 7285788 SOS 3953809 HAS SOPS 3953809 HAS SOUS 3524585 HAS SOUPS 3524585 WITH SCORE 3528538.809
AT ITER 1836 NEW BEST:: SOT 7284879 SOS 3957863 HAS SOPS 3957863 HAS SOUS 3524328 HAS SOUPS 3524328 WITH SCORE 3528285.863
AT ITER 1837 NEW BEST:: SOT 7284879 SOS 3957761 HAS SOPS 3957761 HAS SOUS 3524328 HAS SOUPS 3524328 WITH SCORE 3528285.761
AT ITER 1844 NEW BEST:: SOT 7284879 SOS 3956991 HAS SOPS 3956991 HAS SOUS 3524328 HAS SOUPS 3524328 WITH SCORE 3528284.991
AT ITER 1848 NEW BEST:: SOT 7282297 SOS 3958708 HAS SOPS 3958708 HAS SOUS 3521746 HAS SOUPS 3521746 WITH SCORE 3525704.708
AT ITER 1854 NEW BEST:: SOT 7282297 SOS 3958369 HAS SOPS 3958369 HAS SOUS 3521746 HAS SOUPS 3521746 WITH SCORE 3525704.369
AT ITER 1858 NEW BEST:: SOT 7282160 SOS 3959594 HAS SOPS 3959594 HAS SOUS 3521578 HAS SOUPS 3521578 WITH SCORE 3525537.594
AT ITER 1871 NEW BEST:: SOT 7279683 SOS 3967088 HAS SOPS 3967088 HAS SOUS 3520466 HAS SOUPS 3520466 WITH SCORE 3524433.088
AT ITER 1877 NEW BEST:: SOT 7279683 SOS 3966893 HAS SOPS 3966893 HAS SOUS 3520297 HAS SOUPS 3520297 WITH SCORE 3524263.893
AT ITER 1878 NEW BEST:: SOT 7275198 SOS 3966128 HAS SOPS 3966128 HAS SOUS 3516302 HAS SOUPS 3516302 WITH SCORE 3520268.128
AT ITER 1883 NEW BEST:: SOT 7271384 SOS 3978803 HAS SOPS 3978803 HAS SOUS 3513972 HAS SOUPS 3513972 WITH SCORE 3517950.803
AT ITER 1884 NEW BEST:: SOT 7271384 SOS 3978374 HAS SOPS 3978374 HAS SOUS 3513972 HAS SOUPS 3513972 WITH SCORE 3517950.374
AT ITER 1891 NEW BEST:: SOT 7271377 SOS 3977912 HAS SOPS 3977912 HAS SOUS 3513873 HAS SOUPS 3513873 WITH SCORE 3517850.912
AT ITER 1902 NEW BEST:: SOT 7271303 SOS 3979330 HAS SOPS 3979330 HAS SOUS 3513808 HAS SOUPS 3513808 WITH SCORE 3517787.33
AT ITER 1905 NEW BEST:: SOT 7268290 SOS 3978049 HAS SOPS 3978049 HAS SOUS 3510928 HAS SOUPS 3510928 WITH SCORE 3514906.049
AT ITER 1907 NEW BEST:: SOT 7266863 SOS 3976622 HAS SOPS 3976622 HAS SOUS 3509501 HAS SOUPS 3509501 WITH SCORE 3513477.622
AT ITER 1914 NEW BEST:: SOT 7264951 SOS 3974975 HAS SOPS 3974975 HAS SOUS 3508664 HAS SOUPS 3508664 WITH SCORE 3512638.975
AT ITER 1916 NEW BEST:: SOT 7262984 SOS 3978161 HAS SOPS 3978161 HAS SOUS 3506995 HAS SOUPS 3506995 WITH SCORE 3510973.161
AT ITER 1917 NEW BEST:: SOT 7262984 SOS 3978142 HAS SOPS 3978142 HAS SOUS 3506995 HAS SOUPS 3506995 WITH SCORE 3510973.142
AT ITER 1921 NEW BEST:: SOT 7261210 SOS 3977632 HAS SOPS 3977632 HAS SOUS 3506538 HAS SOUPS 3506538 WITH SCORE 3510515.632
AT ITER 1926 NEW BEST:: SOT 7255888 SOS 3974886 HAS SOPS 3974886 HAS SOUS 3501808 HAS SOUPS 3501808 WITH SCORE 3505782.886
AT ITER 1938 NEW BEST:: SOT 7255839 SOS 3974122 HAS SOPS 3974122 HAS SOUS 3501537 HAS SOUPS 3501537 WITH SCORE 3505511.122
AT ITER 1942 NEW BEST:: SOT 7255839 SOS 3973453 HAS SOPS 3973453 HAS SOUS 3501537 HAS SOUPS 3501537 WITH SCORE 3505510.453
AT ITER 1943 NEW BEST:: SOT 7255839 SOS 3973305 HAS SOPS 3973305 HAS SOUS 3501455 HAS SOUPS 3501455 WITH SCORE 3505428.305
AT ITER 1945 NEW BEST:: SOT 7252798 SOS 3969588 HAS SOPS 3969588 HAS SOUS 3499163 HAS SOUPS 3499163 WITH SCORE 3503132.588
AT ITER 1947 NEW BEST:: SOT 7250865 SOS 3977486 HAS SOPS 3977486 HAS SOUS 3498702 HAS SOUPS 3498702 WITH SCORE 3502679.486
AT ITER 1951 NEW BEST:: SOT 7250865 SOS 3976877 HAS SOPS 3976877 HAS SOUS 3498702 HAS SOUPS 3498702 WITH SCORE 3502678.877
AT ITER 1952 NEW BEST:: SOT 7250865 SOS 3976653 HAS SOPS 3976653 HAS SOUS 3498702 HAS SOUPS 3498702 WITH SCORE 3502678.653
AT ITER 1957 NEW BEST:: SOT 7250737 SOS 3975615 HAS SOPS 3975615 HAS SOUS 3498389 HAS SOUPS 3498389 WITH SCORE 3502364.615
AT ITER 1960 NEW BEST:: SOT 7250857 SOS 3974167 HAS SOPS 3974167 HAS SOUS 3496941 HAS SOUPS 3496941 WITH SCORE 3500915.167
AT ITER 1975 NEW BEST:: SOT 7248855 SOS 3972809 HAS SOPS 3972809 HAS SOUS 3495091 HAS SOUPS 3495091 WITH SCORE 3499063.809
AT ITER 1980 NEW BEST:: SOT 7248855 SOS 3972288 HAS SOPS 3972288 HAS SOUS 3494754 HAS SOUPS 3494754 WITH SCORE 3498726.288
AT ITER 1985 NEW BEST:: SOT 7247630 SOS 3972071 HAS SOPS 3972071 HAS SOUS 3494705 HAS SOUPS 3494705 WITH SCORE 3498677.071
AT ITER 1988 NEW BEST:: SOT 7247228 SOS 3971870 HAS SOPS 3971870 HAS SOUS 3494546 HAS SOUPS 3494546 WITH SCORE 3498517.87
AT ITER 1999 NEW BEST:: SOT 7247228 SOS 3971606 HAS SOPS 3971606 HAS SOUS 3494546 HAS SOUPS 3494546 WITH SCORE 3498517.606
AT ITER 2005 NEW BEST:: SOT 7247228 SOS 3971175 HAS SOPS 3971175 HAS SOUS 3494151 HAS SOUPS 3494151 WITH SCORE 3498122.175
AT ITER 2014 NEW BEST:: SOT 7247326 SOS 3960261 HAS SOPS 3960261 HAS SOUS 3493946 HAS SOUPS 3493946 WITH SCORE 3497906.261
AT ITER 2015 NEW BEST:: SOT 7247326 SOS 3958687 HAS SOPS 3958687 HAS SOUS 3493653 HAS SOUPS 3493653 WITH SCORE 3497611.687
AT ITER 2018 NEW BEST:: SOT 7247326 SOS 3958596 HAS SOPS 3958596 HAS SOUS 3493653 HAS SOUPS 3493653 WITH SCORE 3497611.596
AT ITER 2024 NEW BEST:: SOT 7247326 SOS 3957820 HAS SOPS 3957820 HAS SOUS 3493653 HAS SOUPS 3493653 WITH SCORE 3497610.82
AT ITER 2027 NEW BEST:: SOT 7244975 SOS 3957842 HAS SOPS 3957842 HAS SOUS 3491834 HAS SOUPS 3491834 WITH SCORE 3495791.842
AT ITER 2028 NEW BEST:: SOT 7243089 SOS 3962564 HAS SOPS 3962564 HAS SOUS 3490532 HAS SOUPS 3490532 WITH SCORE 3494494.564
AT ITER 2029 NEW BEST:: SOT 7240234 SOS 3971351 HAS SOPS 3971351 HAS SOUS 3490059 HAS SOUPS 3490059 WITH SCORE 3494030.351
AT ITER 2032 NEW BEST:: SOT 7240234 SOS 3964629 HAS SOPS 3964629 HAS SOUS 3490022 HAS SOUPS 3490022 WITH SCORE 3493986.629
AT ITER 2037 NEW BEST:: SOT 7239574 SOS 3974399 HAS SOPS 3974399 HAS SOUS 3489868 HAS SOUPS 3489868 WITH SCORE 3493842.399
AT ITER 2040 NEW BEST:: SOT 7239574 SOS 3974093 HAS SOPS 3974093 HAS SOUS 3489719 HAS SOUPS 3489719 WITH SCORE 3493693.093
AT ITER 2041 NEW BEST:: SOT 7239039 SOS 3971894 HAS SOPS 3971894 HAS SOUS 3488475 HAS SOUPS 3488475 WITH SCORE 3492446.894
AT ITER 2043 NEW BEST:: SOT 7239039 SOS 3971893 HAS SOPS 3971893 HAS SOUS 3488475 HAS SOUPS 3488475 WITH SCORE 3492446.893
AT ITER 2044 NEW BEST:: SOT 7239039 SOS 3971554 HAS SOPS 3971554 HAS SOUS 3488475 HAS SOUPS 3488475 WITH SCORE 3492446.554
AT ITER 2048 NEW BEST:: SOT 7239196 SOS 3971596 HAS SOPS 3971596 HAS SOUS 3488287 HAS SOUPS 3488287 WITH SCORE 3492258.596
AT ITER 2050 NEW BEST:: SOT 7239637 SOS 3971504 HAS SOPS 3971504 HAS SOUS 3488187 HAS SOUPS 3488187 WITH SCORE 3492158.504
AT ITER 2051 NEW BEST:: SOT 7239637 SOS 3971481 HAS SOPS 3971481 HAS SOUS 3488187 HAS SOUPS 3488187 WITH SCORE 3492158.481
AT ITER 2056 NEW BEST:: SOT 7239637 SOS 3971366 HAS SOPS 3971366 HAS SOUS 3488187 HAS SOUPS 3488187 WITH SCORE 3492158.366
AT ITER 2057 NEW BEST:: SOT 7239637 SOS 3970998 HAS SOPS 3970998 HAS SOUS 3487819 HAS SOUPS 3487819 WITH SCORE 3491789.998
AT ITER 2059 NEW BEST:: SOT 7239637 SOS 3970964 HAS SOPS 3970964 HAS SOUS 3487819 HAS SOUPS 3487819 WITH SCORE 3491789.964
AT ITER 2060 NEW BEST:: SOT 7239637 SOS 3970293 HAS SOPS 3970293 HAS SOUS 3487819 HAS SOUPS 3487819 WITH SCORE 3491789.293
AT ITER 2062 NEW BEST:: SOT 7239672 SOS 3969842 HAS SOPS 3969842 HAS SOUS 3487221 HAS SOUPS 3487221 WITH SCORE 3491190.842
AT ITER 2065 NEW BEST:: SOT 7240114 SOS 3970284 HAS SOPS 3970284 HAS SOUS 3486922 HAS SOUPS 3486922 WITH SCORE 3490892.284
AT ITER 2067 NEW BEST:: SOT 7238172 SOS 3970694 HAS SOPS 3970694 HAS SOUS 3485948 HAS SOUPS 3485948 WITH SCORE 3489918.694
AT ITER 2071 NEW BEST:: SOT 7238309 SOS 3970784 HAS SOPS 3970784 HAS SOUS 3485869 HAS SOUPS 3485869 WITH SCORE 3489839.784
AT ITER 2072 NEW BEST:: SOT 7238334 SOS 3962169 HAS SOPS 3962169 HAS SOUS 3485876 HAS SOUPS 3485876 WITH SCORE 3489838.169
AT ITER 2076 NEW BEST:: SOT 7236986 SOS 3961532 HAS SOPS 3961532 HAS SOUS 3485338 HAS SOUPS 3485338 WITH SCORE 3489299.532
AT ITER 2078 NEW BEST:: SOT 7233740 SOS 3960299 HAS SOPS 3960299 HAS SOUS 3484193 HAS SOUPS 3484193 WITH SCORE 3488153.299
AT ITER 2088 NEW BEST:: SOT 7233740 SOS 3959926 HAS SOPS 3959926 HAS SOUS 3484193 HAS SOUPS 3484193 WITH SCORE 3488152.926
AT ITER 2090 NEW BEST:: SOT 7233842 SOS 3959944 HAS SOPS 3959944 HAS SOUS 3484120 HAS SOUPS 3484120 WITH SCORE 3488079.944
AT ITER 2100 NEW BEST:: SOT 7233842 SOS 3959912 HAS SOPS 3959912 HAS SOUS 3484120 HAS SOUPS 3484120 WITH SCORE 3488079.912
AT ITER 2101 NEW BEST:: SOT 7233842 SOS 3959580 HAS SOPS 3959580 HAS SOUS 3484106 HAS SOUPS 3484106 WITH SCORE 3488065.58
AT ITER 2104 NEW BEST:: SOT 7232675 SOS 3958413 HAS SOPS 3958413 HAS SOUS 3482939 HAS SOUPS 3482939 WITH SCORE 3486897.413
AT ITER 2106 NEW BEST:: SOT 7232675 SOS 3958390 HAS SOPS 3958390 HAS SOUS 3482939 HAS SOUPS 3482939 WITH SCORE 3486897.39
AT ITER 2108 NEW BEST:: SOT 7232675 SOS 3958340 HAS SOPS 3958340 HAS SOUS 3482939 HAS SOUPS 3482939 WITH SCORE 3486897.34
AT ITER 2109 NEW BEST:: SOT 7230335 SOS 3957146 HAS SOPS 3957146 HAS SOUS 3480928 HAS SOUPS 3480928 WITH SCORE 3484885.146
AT ITER 2116 NEW BEST:: SOT 7230335 SOS 3956886 HAS SOPS 3956886 HAS SOUS 3480928 HAS SOUPS 3480928 WITH SCORE 3484884.886
AT ITER 2121 NEW BEST:: SOT 7230335 SOS 3956760 HAS SOPS 3956760 HAS SOUS 3480928 HAS SOUPS 3480928 WITH SCORE 3484884.76
AT ITER 2131 NEW BEST:: SOT 7229639 SOS 3956746 HAS SOPS 3956746 HAS SOUS 3480232 HAS SOUPS 3480232 WITH SCORE 3484188.746
AT ITER 2137 NEW BEST:: SOT 7229639 SOS 3955868 HAS SOPS 3955868 HAS SOUS 3480232 HAS SOUPS 3480232 WITH SCORE 3484187.868
AT ITER 2138 NEW BEST:: SOT 7229702 SOS 3956664 HAS SOPS 3956664 HAS SOUS 3480101 HAS SOUPS 3480101 WITH SCORE 3484057.664
AT ITER 2139 NEW BEST:: SOT 7229702 SOS 3956532 HAS SOPS 3956532 HAS SOUS 3480101 HAS SOUPS 3480101 WITH SCORE 3484057.532
AT ITER 2140 NEW BEST:: SOT 7230797 SOS 3956578 HAS SOPS 3956578 HAS SOUS 3479980 HAS SOUPS 3479980 WITH SCORE 3483936.578
AT ITER 2141 NEW BEST:: SOT 7230819 SOS 3956315 HAS SOPS 3956315 HAS SOUS 3479806 HAS SOUPS 3479806 WITH SCORE 3483762.315
AT ITER 2143 NEW BEST:: SOT 7229792 SOS 3955072 HAS SOPS 3955072 HAS SOUS 3478779 HAS SOUPS 3478779 WITH SCORE 3482734.072
AT ITER 2151 NEW BEST:: SOT 7229792 SOS 3954879 HAS SOPS 3954879 HAS SOUS 3478779 HAS SOUPS 3478779 WITH SCORE 3482733.879
AT ITER 2155 NEW BEST:: SOT 7229792 SOS 3954027 HAS SOPS 3954027 HAS SOUS 3478779 HAS SOUPS 3478779 WITH SCORE 3482733.027
AT ITER 2167 NEW BEST:: SOT 7229646 SOS 3953830 HAS SOPS 3953830 HAS SOUS 3478716 HAS SOUPS 3478716 WITH SCORE 3482669.83
AT ITER 2169 NEW BEST:: SOT 7227010 SOS 3952492 HAS SOPS 3952492 HAS SOUS 3475549 HAS SOUPS 3475549 WITH SCORE 3479501.492
AT ITER 2171 NEW BEST:: SOT 7226994 SOS 3952476 HAS SOPS 3952476 HAS SOUS 3474972 HAS SOUPS 3474972 WITH SCORE 3478924.476
AT ITER 2179 NEW BEST:: SOT 7226716 SOS 3952337 HAS SOPS 3952337 HAS SOUS 3474833 HAS SOUPS 3474833 WITH SCORE 3478785.337
AT ITER 2181 NEW BEST:: SOT 7224651 SOS 3953275 HAS SOPS 3953275 HAS SOUS 3474142 HAS SOUPS 3474142 WITH SCORE 3478095.275
AT ITER 2182 NEW BEST:: SOT 7224651 SOS 3952873 HAS SOPS 3952873 HAS SOUS 3474142 HAS SOUPS 3474142 WITH SCORE 3478094.873
AT ITER 2187 NEW BEST:: SOT 7224651 SOS 3947417 HAS SOPS 3947417 HAS SOUS 3474142 HAS SOUPS 3474142 WITH SCORE 3478089.417
AT ITER 2191 NEW BEST:: SOT 7224695 SOS 3946993 HAS SOPS 3946993 HAS SOUS 3473679 HAS SOUPS 3473679 WITH SCORE 3477625.993
AT ITER 2199 NEW BEST:: SOT 7224695 SOS 3946218 HAS SOPS 3946218 HAS SOUS 3473679 HAS SOUPS 3473679 WITH SCORE 3477625.218
AT ITER 2202 NEW BEST:: SOT 7224695 SOS 3946016 HAS SOPS 3946016 HAS SOUS 3473679 HAS SOUPS 3473679 WITH SCORE 3477625.016
AT ITER 2208 NEW BEST:: SOT 7222771 SOS 3945212 HAS SOPS 3945212 HAS SOUS 3472865 HAS SOUPS 3472865 WITH SCORE 3476810.212
AT ITER 2211 NEW BEST:: SOT 7222698 SOS 3945328 HAS SOPS 3945328 HAS SOUS 3471966 HAS SOUPS 3471966 WITH SCORE 3475911.328
AT ITER 2213 NEW BEST:: SOT 7221378 SOS 3945307 HAS SOPS 3945307 HAS SOUS 3471477 HAS SOUPS 3471477 WITH SCORE 3475422.307
AT ITER 2220 NEW BEST:: SOT 7221378 SOS 3944382 HAS SOPS 3944382 HAS SOUS 3471396 HAS SOUPS 3471396 WITH SCORE 3475340.382
AT ITER 2223 NEW BEST:: SOT 7221378 SOS 3944235 HAS SOPS 3944235 HAS SOUS 3471396 HAS SOUPS 3471396 WITH SCORE 3475340.235
AT ITER 2228 NEW BEST:: SOT 7220456 SOS 3943604 HAS SOPS 3943604 HAS SOUS 3470490 HAS SOUPS 3470490 WITH SCORE 3474433.604
AT ITER 2229 NEW BEST:: SOT 7218655 SOS 3943066 HAS SOPS 3943066 HAS SOUS 3468975 HAS SOUPS 3468975 WITH SCORE 3472918.066
AT ITER 2232 NEW BEST:: SOT 7215552 SOS 3940668 HAS SOPS 3940668 HAS SOUS 3466493 HAS SOUPS 3466493 WITH SCORE 3470433.668
AT ITER 2233 NEW BEST:: SOT 7212782 SOS 3941193 HAS SOPS 3941193 HAS SOUS 3466013 HAS SOUPS 3466013 WITH SCORE 3469954.193
AT ITER 2234 NEW BEST:: SOT 7212680 SOS 3940584 HAS SOPS 3940584 HAS SOUS 3465235 HAS SOUPS 3465235 WITH SCORE 3469175.584
AT ITER 2237 NEW BEST:: SOT 7212680 SOS 3938561 HAS SOPS 3938561 HAS SOUS 3464783 HAS SOUPS 3464783 WITH SCORE 3468721.561
AT ITER 2243 NEW BEST:: SOT 7212680 SOS 3938171 HAS SOPS 3938171 HAS SOUS 3464338 HAS SOUPS 3464338 WITH SCORE 3468276.171
AT ITER 2247 NEW BEST:: SOT 7208210 SOS 3938869 HAS SOPS 3938869 HAS SOUS 3461662 HAS SOUPS 3461662 WITH SCORE 3465600.869
AT ITER 2255 NEW BEST:: SOT 7205267 SOS 3928377 HAS SOPS 3928377 HAS SOUS 3458150 HAS SOUPS 3458150 WITH SCORE 3462078.377
AT ITER 2263 NEW BEST:: SOT 7205267 SOS 3927486 HAS SOPS 3927486 HAS SOUS 3458150 HAS SOUPS 3458150 WITH SCORE 3462077.486
AT ITER 2267 NEW BEST:: SOT 7205267 SOS 3926591 HAS SOPS 3926591 HAS SOUS 3458150 HAS SOUPS 3458150 WITH SCORE 3462076.591
AT ITER 2268 NEW BEST:: SOT 7205207 SOS 3926561 HAS SOPS 3926561 HAS SOUS 3458085 HAS SOUPS 3458085 WITH SCORE 3462011.561
AT ITER 2269 NEW BEST:: SOT 7202664 SOS 3928280 HAS SOPS 3928280 HAS SOUS 3455967 HAS SOUPS 3455967 WITH SCORE 3459895.28
AT ITER 2273 NEW BEST:: SOT 7202664 SOS 3927807 HAS SOPS 3927807 HAS SOUS 3455967 HAS SOUPS 3455967 WITH SCORE 3459894.807
AT ITER 2276 NEW BEST:: SOT 7201484 SOS 3928967 HAS SOPS 3928967 HAS SOUS 3455369 HAS SOUPS 3455369 WITH SCORE 3459297.967
AT ITER 2278 NEW BEST:: SOT 7200906 SOS 3929624 HAS SOPS 3929624 HAS SOUS 3454951 HAS SOUPS 3454951 WITH SCORE 3458880.624
AT ITER 2285 NEW BEST:: SOT 7200906 SOS 3929600 HAS SOPS 3929600 HAS SOUS 3454935 HAS SOUPS 3454935 WITH SCORE 3458864.6
AT ITER 2286 NEW BEST:: SOT 7199153 SOS 3928435 HAS SOPS 3928435 HAS SOUS 3453371 HAS SOUPS 3453371 WITH SCORE 3457299.435
AT ITER 2287 NEW BEST:: SOT 7199153 SOS 3927606 HAS SOPS 3927606 HAS SOUS 3452340 HAS SOUPS 3452340 WITH SCORE 3456267.606
AT ITER 2294 NEW BEST:: SOT 7199153 SOS 3927040 HAS SOPS 3927040 HAS SOUS 3452340 HAS SOUPS 3452340 WITH SCORE 3456267.04
AT ITER 2300 NEW BEST:: SOT 7199381 SOS 3927050 HAS SOPS 3927050 HAS SOUS 3451980 HAS SOUPS 3451980 WITH SCORE 3455907.05
AT ITER 2301 NEW BEST:: SOT 7197882 SOS 3925965 HAS SOPS 3925965 HAS SOUS 3450822 HAS SOUPS 3450822 WITH SCORE 3454747.965
AT ITER 2303 NEW BEST:: SOT 7197882 SOS 3925696 HAS SOPS 3925696 HAS SOUS 3450822 HAS SOUPS 3450822 WITH SCORE 3454747.696
AT ITER 2307 NEW BEST:: SOT 7197882 SOS 3925619 HAS SOPS 3925619 HAS SOUS 3450822 HAS SOUPS 3450822 WITH SCORE 3454747.619
AT ITER 2325 NEW BEST:: SOT 7197882 SOS 3925592 HAS SOPS 3925592 HAS SOUS 3450125 HAS SOUPS 3450125 WITH SCORE 3454050.592
AT ITER 2326 NEW BEST:: SOT 7197882 SOS 3924858 HAS SOPS 3924858 HAS SOUS 3450125 HAS SOUPS 3450125 WITH SCORE 3454049.858
AT ITER 2334 NEW BEST:: SOT 7196325 SOS 3924571 HAS SOPS 3924571 HAS SOUS 3449880 HAS SOUPS 3449880 WITH SCORE 3453804.571
AT ITER 2338 NEW BEST:: SOT 7196325 SOS 3923078 HAS SOPS 3923078 HAS SOUS 3449880 HAS SOUPS 3449880 WITH SCORE 3453803.078
AT ITER 2343 NEW BEST:: SOT 7196325 SOS 3922716 HAS SOPS 3922716 HAS SOUS 3449880 HAS SOUPS 3449880 WITH SCORE 3453802.716
AT ITER 2344 NEW BEST:: SOT 7196325 SOS 3922369 HAS SOPS 3922369 HAS SOUS 3449880 HAS SOUPS 3449880 WITH SCORE 3453802.369
AT ITER 2347 NEW BEST:: SOT 7196325 SOS 3922009 HAS SOPS 3922009 HAS SOUS 3449702 HAS SOUPS 3449702 WITH SCORE 3453624.009
AT ITER 2351 NEW BEST:: SOT 7194654 SOS 3921092 HAS SOPS 3921092 HAS SOUS 3448521 HAS SOUPS 3448521 WITH SCORE 3452442.092
AT ITER 2355 NEW BEST:: SOT 7194654 SOS 3921088 HAS SOPS 3921088 HAS SOUS 3448521 HAS SOUPS 3448521 WITH SCORE 3452442.088
AT ITER 2358 NEW BEST:: SOT 7194654 SOS 3920978 HAS SOPS 3920978 HAS SOUS 3448521 HAS SOUPS 3448521 WITH SCORE 3452441.978
AT ITER 2365 NEW BEST:: SOT 7194654 SOS 3920936 HAS SOPS 3920936 HAS SOUS 3448519 HAS SOUPS 3448519 WITH SCORE 3452439.936
AT ITER 2371 NEW BEST:: SOT 7194582 SOS 3920693 HAS SOPS 3920693 HAS SOUS 3448232 HAS SOUPS 3448232 WITH SCORE 3452152.693
AT ITER 2376 NEW BEST:: SOT 7194582 SOS 3920626 HAS SOPS 3920626 HAS SOUS 3448232 HAS SOUPS 3448232 WITH SCORE 3452152.626
AT ITER 2377 NEW BEST:: SOT 7193309 SOS 3920449 HAS SOPS 3920449 HAS SOUS 3447306 HAS SOUPS 3447306 WITH SCORE 3451226.449
AT ITER 2380 NEW BEST:: SOT 7192223 SOS 3920538 HAS SOPS 3920538 HAS SOUS 3446853 HAS SOUPS 3446853 WITH SCORE 3450773.538
AT ITER 2392 NEW BEST:: SOT 7192223 SOS 3919822 HAS SOPS 3919822 HAS SOUS 3446853 HAS SOUPS 3446853 WITH SCORE 3450772.822
AT ITER 2394 NEW BEST:: SOT 7192223 SOS 3919632 HAS SOPS 3919632 HAS SOUS 3446853 HAS SOUPS 3446853 WITH SCORE 3450772.632
AT ITER 2396 NEW BEST:: SOT 7192223 SOS 3918767 HAS SOPS 3918767 HAS SOUS 3446853 HAS SOUPS 3446853 WITH SCORE 3450771.767
AT ITER 2402 NEW BEST:: SOT 7192223 SOS 3918490 HAS SOPS 3918490 HAS SOUS 3446853 HAS SOUPS 3446853 WITH SCORE 3450771.49
AT ITER 2414 NEW BEST:: SOT 7188840 SOS 3923855 HAS SOPS 3923855 HAS SOUS 3446753 HAS SOUPS 3446753 WITH SCORE 3450676.855
AT ITER 2416 NEW BEST:: SOT 7188822 SOS 3923837 HAS SOPS 3923837 HAS SOUS 3445935 HAS SOUPS 3445935 WITH SCORE 3449858.837
AT ITER 2427 NEW BEST:: SOT 7188822 SOS 3923630 HAS SOPS 3923630 HAS SOUS 3445935 HAS SOUPS 3445935 WITH SCORE 3449858.63
AT ITER 2431 NEW BEST:: SOT 7188581 SOS 3924207 HAS SOPS 3924207 HAS SOUS 3445704 HAS SOUPS 3445704 WITH SCORE 3449628.207
AT ITER 2432 NEW BEST:: SOT 7188009 SOS 3925738 HAS SOPS 3925738 HAS SOUS 3445229 HAS SOUPS 3445229 WITH SCORE 3449154.738
AT ITER 2433 NEW BEST:: SOT 7185885 SOS 3927190 HAS SOPS 3927190 HAS SOUS 3444417 HAS SOUPS 3444417 WITH SCORE 3448344.19
AT ITER 2436 NEW BEST:: SOT 7185885 SOS 3926995 HAS SOPS 3926995 HAS SOUS 3444261 HAS SOUPS 3444261 WITH SCORE 3448187.995
AT ITER 2440 NEW BEST:: SOT 7186056 SOS 3927095 HAS SOPS 3927095 HAS SOUS 3444218 HAS SOUPS 3444218 WITH SCORE 3448145.095
AT ITER 2441 NEW BEST:: SOT 7186056 SOS 3926908 HAS SOPS 3926908 HAS SOUS 3444218 HAS SOUPS 3444218 WITH SCORE 3448144.908
AT ITER 2445 NEW BEST:: SOT 7186056 SOS 3926761 HAS SOPS 3926761 HAS SOUS 3444218 HAS SOUPS 3444218 WITH SCORE 3448144.761
AT ITER 2452 NEW BEST:: SOT 7186201 SOS 3925671 HAS SOPS 3925671 HAS SOUS 3443937 HAS SOUPS 3443937 WITH SCORE 3447862.671
AT ITER 2458 NEW BEST:: SOT 7186176 SOS 3930014 HAS SOPS 3930014 HAS SOUS 3443930 HAS SOUPS 3443930 WITH SCORE 3447860.014
AT ITER 2460 NEW BEST:: SOT 7184855 SOS 3928877 HAS SOPS 3928877 HAS SOUS 3442609 HAS SOUPS 3442609 WITH SCORE 3446537.877
AT ITER 2465 NEW BEST:: SOT 7185134 SOS 3923182 HAS SOPS 3923182 HAS SOUS 3442274 HAS SOUPS 3442274 WITH SCORE 3446197.182
AT ITER 2468 NEW BEST:: SOT 7185134 SOS 3923120 HAS SOPS 3923120 HAS SOUS 3442274 HAS SOUPS 3442274 WITH SCORE 3446197.12
AT ITER 2475 NEW BEST:: SOT 7183643 SOS 3922779 HAS SOPS 3922779 HAS SOUS 3441635 HAS SOUPS 3441635 WITH SCORE 3445557.779
AT ITER 2477 NEW BEST:: SOT 7183621 SOS 3922757 HAS SOPS 3922757 HAS SOUS 3441613 HAS SOUPS 3441613 WITH SCORE 3445535.757
AT ITER 2481 NEW BEST:: SOT 7181478 SOS 3920076 HAS SOPS 3920076 HAS SOUS 3438962 HAS SOUPS 3438962 WITH SCORE 3442882.076
AT ITER 2488 NEW BEST:: SOT 7180310 SOS 3919805 HAS SOPS 3919805 HAS SOUS 3438950 HAS SOUPS 3438950 WITH SCORE 3442869.805
AT ITER 2493 NEW BEST:: SOT 7180310 SOS 3919452 HAS SOPS 3919452 HAS SOUS 3438950 HAS SOUPS 3438950 WITH SCORE 3442869.452
AT ITER 2496 NEW BEST:: SOT 7180310 SOS 3919403 HAS SOPS 3919403 HAS SOUS 3438360 HAS SOUPS 3438360 WITH SCORE 3442279.403
AT ITER 2498 NEW BEST:: SOT 7180461 SOS 3919461 HAS SOPS 3919461 HAS SOUS 3438262 HAS SOUPS 3438262 WITH SCORE 3442181.461
AT ITER 2500 NEW BEST:: SOT 7180461 SOS 3916633 HAS SOPS 3916633 HAS SOUS 3438262 HAS SOUPS 3438262 WITH SCORE 3442178.633
AT ITER 2505 NEW BEST:: SOT 7180461 SOS 3916471 HAS SOPS 3916471 HAS SOUS 3438262 HAS SOUPS 3438262 WITH SCORE 3442178.471
AT ITER 2507 NEW BEST:: SOT 7180461 SOS 3916414 HAS SOPS 3916414 HAS SOUS 3438262 HAS SOUPS 3438262 WITH SCORE 3442178.414
AT ITER 2510 NEW BEST:: SOT 7177412 SOS 3915943 HAS SOPS 3915943 HAS SOUS 3436540 HAS SOUPS 3436540 WITH SCORE 3440455.943
AT ITER 2518 NEW BEST:: SOT 7174417 SOS 3920317 HAS SOPS 3920317 HAS SOUS 3434918 HAS SOUPS 3434918 WITH SCORE 3438838.317
AT ITER 2525 NEW BEST:: SOT 7173583 SOS 3919878 HAS SOPS 3919878 HAS SOUS 3434479 HAS SOUPS 3434479 WITH SCORE 3438398.878
AT ITER 2527 NEW BEST:: SOT 7169506 SOS 3921810 HAS SOPS 3921810 HAS SOUS 3431618 HAS SOUPS 3431618 WITH SCORE 3435539.81
AT ITER 2532 NEW BEST:: SOT 7169506 SOS 3921536 HAS SOPS 3921536 HAS SOUS 3431618 HAS SOUPS 3431618 WITH SCORE 3435539.536
AT ITER 2540 NEW BEST:: SOT 7169506 SOS 3921176 HAS SOPS 3921176 HAS SOUS 3431618 HAS SOUPS 3431618 WITH SCORE 3435539.176
AT ITER 2553 NEW BEST:: SOT 7168596 SOS 3920266 HAS SOPS 3920266 HAS SOUS 3430708 HAS SOUPS 3430708 WITH SCORE 3434628.266
AT ITER 2557 NEW BEST:: SOT 7168596 SOS 3919266 HAS SOPS 3919266 HAS SOUS 3430708 HAS SOUPS 3430708 WITH SCORE 3434627.266
AT ITER 2565 NEW BEST:: SOT 7168596 SOS 3919043 HAS SOPS 3919043 HAS SOUS 3430708 HAS SOUPS 3430708 WITH SCORE 3434627.043
AT ITER 2567 NEW BEST:: SOT 7168596 SOS 3918780 HAS SOPS 3918780 HAS SOUS 3430699 HAS SOUPS 3430699 WITH SCORE 3434617.78
AT ITER 2570 NEW BEST:: SOT 7168596 SOS 3918780 HAS SOPS 3918780 HAS SOUS 3430649 HAS SOUPS 3430649 WITH SCORE 3434567.78
AT ITER 2572 NEW BEST:: SOT 7165188 SOS 3919811 HAS SOPS 3919811 HAS SOUS 3428980 HAS SOUPS 3428980 WITH SCORE 3432899.811
AT ITER 2575 NEW BEST:: SOT 7163978 SOS 3919886 HAS SOPS 3919886 HAS SOUS 3428610 HAS SOUPS 3428610 WITH SCORE 3432529.886
AT ITER 2576 NEW BEST:: SOT 7163978 SOS 3918870 HAS SOPS 3918870 HAS SOUS 3428413 HAS SOUPS 3428413 WITH SCORE 3432331.87
AT ITER 2578 NEW BEST:: SOT 7163824 SOS 3918716 HAS SOPS 3918716 HAS SOUS 3427612 HAS SOUPS 3427612 WITH SCORE 3431530.716
AT ITER 2579 NEW BEST:: SOT 7164108 SOS 3917741 HAS SOPS 3917741 HAS SOUS 3427612 HAS SOUPS 3427612 WITH SCORE 3431529.741
AT ITER 2584 NEW BEST:: SOT 7164108 SOS 3916940 HAS SOPS 3916940 HAS SOUS 3426611 HAS SOUPS 3426611 WITH SCORE 3430527.94
AT ITER 2585 NEW BEST:: SOT 7164108 SOS 3916921 HAS SOPS 3916921 HAS SOUS 3426611 HAS SOUPS 3426611 WITH SCORE 3430527.921
AT ITER 2592 NEW BEST:: SOT 7163860 SOS 3917669 HAS SOPS 3917669 HAS SOUS 3426287 HAS SOUPS 3426287 WITH SCORE 3430204.669
AT ITER 2596 NEW BEST:: SOT 7163860 SOS 3917557 HAS SOPS 3917557 HAS SOUS 3426287 HAS SOUPS 3426287 WITH SCORE 3430204.557
AT ITER 2601 NEW BEST:: SOT 7163860 SOS 3917264 HAS SOPS 3917264 HAS SOUS 3426227 HAS SOUPS 3426227 WITH SCORE 3430144.264
AT ITER 2606 NEW BEST:: SOT 7164241 SOS 3917645 HAS SOPS 3917645 HAS SOUS 3426088 HAS SOUPS 3426088 WITH SCORE 3430005.645
AT ITER 2609 NEW BEST:: SOT 7163994 SOS 3917183 HAS SOPS 3917183 HAS SOUS 3425626 HAS SOUPS 3425626 WITH SCORE 3429543.183
AT ITER 2612 NEW BEST:: SOT 7163994 SOS 3916454 HAS SOPS 3916454 HAS SOUS 3425403 HAS SOUPS 3425403 WITH SCORE 3429319.454
AT ITER 2624 NEW BEST:: SOT 7161870 SOS 3914707 HAS SOPS 3914707 HAS SOUS 3423370 HAS SOUPS 3423370 WITH SCORE 3427284.707
AT ITER 2625 NEW BEST:: SOT 7161489 SOS 3913659 HAS SOPS 3913659 HAS SOUS 3423110 HAS SOUPS 3423110 WITH SCORE 3427023.659
AT ITER 2631 NEW BEST:: SOT 7161489 SOS 3913641 HAS SOPS 3913641 HAS SOUS 3423110 HAS SOUPS 3423110 WITH SCORE 3427023.641
AT ITER 2640 NEW BEST:: SOT 7156982 SOS 3921516 HAS SOPS 3921516 HAS SOUS 3421453 HAS SOUPS 3421453 WITH SCORE 3425374.516
AT ITER 2646 NEW BEST:: SOT 7156982 SOS 3921270 HAS SOPS 3921270 HAS SOUS 3421453 HAS SOUPS 3421453 WITH SCORE 3425374.27
AT ITER 2655 NEW BEST:: SOT 7156982 SOS 3921270 HAS SOPS 3921270 HAS SOUS 3421452 HAS SOUPS 3421452 WITH SCORE 3425373.27
AT ITER 2658 NEW BEST:: SOT 7156982 SOS 3915184 HAS SOPS 3915184 HAS SOUS 3421452 HAS SOUPS 3421452 WITH SCORE 3425367.184
AT ITER 2660 NEW BEST:: SOT 7156982 SOS 3914985 HAS SOPS 3914985 HAS SOUS 3421452 HAS SOUPS 3421452 WITH SCORE 3425366.985
AT ITER 2662 NEW BEST:: SOT 7156877 SOS 3915283 HAS SOPS 3915283 HAS SOUS 3421447 HAS SOUPS 3421447 WITH SCORE 3425362.283
AT ITER 2664 NEW BEST:: SOT 7156681 SOS 3917666 HAS SOPS 3917666 HAS SOUS 3421251 HAS SOUPS 3421251 WITH SCORE 3425168.666
AT ITER 2666 NEW BEST:: SOT 7156579 SOS 3917483 HAS SOPS 3917483 HAS SOUS 3420974 HAS SOUPS 3420974 WITH SCORE 3424891.483
AT ITER 2668 NEW BEST:: SOT 7156579 SOS 3907670 HAS SOPS 3907670 HAS SOUS 3419066 HAS SOUPS 3419066 WITH SCORE 3422973.67
AT ITER 2671 NEW BEST:: SOT 7154844 SOS 3906099 HAS SOPS 3906099 HAS SOUS 3417495 HAS SOUPS 3417495 WITH SCORE 3421401.099
AT ITER 2677 NEW BEST:: SOT 7154561 SOS 3905816 HAS SOPS 3905816 HAS SOUS 3417174 HAS SOUPS 3417174 WITH SCORE 3421079.816
AT ITER 2680 NEW BEST:: SOT 7154561 SOS 3905816 HAS SOPS 3905816 HAS SOUS 3416934 HAS SOUPS 3416934 WITH SCORE 3420839.816
AT ITER 2684 NEW BEST:: SOT 7154095 SOS 3905734 HAS SOPS 3905734 HAS SOUS 3416468 HAS SOUPS 3416468 WITH SCORE 3420373.734
AT ITER 2688 NEW BEST:: SOT 7153337 SOS 3907173 HAS SOPS 3907173 HAS SOUS 3415782 HAS SOUPS 3415782 WITH SCORE 3419689.173
AT ITER 2689 NEW BEST:: SOT 7153337 SOS 3906295 HAS SOPS 3906295 HAS SOUS 3415782 HAS SOUPS 3415782 WITH SCORE 3419688.295
AT ITER 2693 NEW BEST:: SOT 7151444 SOS 3905143 HAS SOPS 3905143 HAS SOUS 3415280 HAS SOUPS 3415280 WITH SCORE 3419185.143
AT ITER 2700 NEW BEST:: SOT 7147090 SOS 3903707 HAS SOPS 3903707 HAS SOUS 3412116 HAS SOUPS 3412116 WITH SCORE 3416019.707
AT ITER 2708 NEW BEST:: SOT 7144498 SOS 3901115 HAS SOPS 3901115 HAS SOUS 3408711 HAS SOUPS 3408711 WITH SCORE 3412612.115
AT ITER 2712 NEW BEST:: SOT 7142789 SOS 3902905 HAS SOPS 3902905 HAS SOUS 3408144 HAS SOUPS 3408144 WITH SCORE 3412046.905
AT ITER 2715 NEW BEST:: SOT 7142693 SOS 3902794 HAS SOPS 3902794 HAS SOUS 3407888 HAS SOUPS 3407888 WITH SCORE 3411790.794
AT ITER 2724 NEW BEST:: SOT 7142329 SOS 3902458 HAS SOPS 3902458 HAS SOUS 3407552 HAS SOUPS 3407552 WITH SCORE 3411454.458
AT ITER 2725 NEW BEST:: SOT 7142329 SOS 3902400 HAS SOPS 3902400 HAS SOUS 3407552 HAS SOUPS 3407552 WITH SCORE 3411454.4
AT ITER 2728 NEW BEST:: SOT 7142414 SOS 3902025 HAS SOPS 3902025 HAS SOUS 3407377 HAS SOUPS 3407377 WITH SCORE 3411279.025
AT ITER 2729 NEW BEST:: SOT 7142414 SOS 3901933 HAS SOPS 3901933 HAS SOUS 3407377 HAS SOUPS 3407377 WITH SCORE 3411278.933
AT ITER 2730 NEW BEST:: SOT 7140558 SOS 3898342 HAS SOPS 3898342 HAS SOUS 3406350 HAS SOUPS 3406350 WITH SCORE 3410248.342
AT ITER 2732 NEW BEST:: SOT 7140558 SOS 3898311 HAS SOPS 3898311 HAS SOUS 3406350 HAS SOUPS 3406350 WITH SCORE 3410248.311
AT ITER 2733 NEW BEST:: SOT 7140558 SOS 3898166 HAS SOPS 3898166 HAS SOUS 3406350 HAS SOUPS 3406350 WITH SCORE 3410248.166
AT ITER 2737 NEW BEST:: SOT 7140558 SOS 3898162 HAS SOPS 3898162 HAS SOUS 3406350 HAS SOUPS 3406350 WITH SCORE 3410248.162
AT ITER 2740 NEW BEST:: SOT 7136401 SOS 3899482 HAS SOPS 3899482 HAS SOUS 3404213 HAS SOUPS 3404213 WITH SCORE 3408112.482
AT ITER 2743 NEW BEST:: SOT 7136401 SOS 3899376 HAS SOPS 3899376 HAS SOUS 3404213 HAS SOUPS 3404213 WITH SCORE 3408112.376
AT ITER 2744 NEW BEST:: SOT 7136401 SOS 3899185 HAS SOPS 3899185 HAS SOUS 3404213 HAS SOUPS 3404213 WITH SCORE 3408112.185
AT ITER 2749 NEW BEST:: SOT 7136401 SOS 3899162 HAS SOPS 3899162 HAS SOUS 3404213 HAS SOUPS 3404213 WITH SCORE 3408112.162
AT ITER 2754 NEW BEST:: SOT 7133751 SOS 3902062 HAS SOPS 3902062 HAS SOUS 3402756 HAS SOUPS 3402756 WITH SCORE 3406658.062
AT ITER 2757 NEW BEST:: SOT 7133751 SOS 3901169 HAS SOPS 3901169 HAS SOUS 3402756 HAS SOUPS 3402756 WITH SCORE 3406657.169
AT ITER 2758 NEW BEST:: SOT 7133563 SOS 3900714 HAS SOPS 3900714 HAS SOUS 3402380 HAS SOUPS 3402380 WITH SCORE 3406280.714
AT ITER 2760 NEW BEST:: SOT 7132663 SOS 3900264 HAS SOPS 3900264 HAS SOUS 3401850 HAS SOUPS 3401850 WITH SCORE 3405750.264
AT ITER 2765 NEW BEST:: SOT 7132663 SOS 3900104 HAS SOPS 3900104 HAS SOUS 3401809 HAS SOUPS 3401809 WITH SCORE 3405709.104
AT ITER 2769 NEW BEST:: SOT 7132663 SOS 3899639 HAS SOPS 3899639 HAS SOUS 3401809 HAS SOUPS 3401809 WITH SCORE 3405708.639
AT ITER 2776 NEW BEST:: SOT 7132663 SOS 3898960 HAS SOPS 3898960 HAS SOUS 3401809 HAS SOUPS 3401809 WITH SCORE 3405707.96
AT ITER 2796 NEW BEST:: SOT 7131673 SOS 3899450 HAS SOPS 3899450 HAS SOUS 3401271 HAS SOUPS 3401271 WITH SCORE 3405170.45
AT ITER 2797 NEW BEST:: SOT 7131673 SOS 3898527 HAS SOPS 3898527 HAS SOUS 3401271 HAS SOUPS 3401271 WITH SCORE 3405169.527
AT ITER 2802 NEW BEST:: SOT 7131673 SOS 3898457 HAS SOPS 3898457 HAS SOUS 3401271 HAS SOUPS 3401271 WITH SCORE 3405169.457
AT ITER 2807 NEW BEST:: SOT 7131659 SOS 3898443 HAS SOPS 3898443 HAS SOUS 3401257 HAS SOUPS 3401257 WITH SCORE 3405155.443
AT ITER 2819 NEW BEST:: SOT 7128171 SOS 3898657 HAS SOPS 3898657 HAS SOUS 3399441 HAS SOUPS 3399441 WITH SCORE 3403339.657
AT ITER 2829 NEW BEST:: SOT 7128171 SOS 3898098 HAS SOPS 3898098 HAS SOUS 3399441 HAS SOUPS 3399441 WITH SCORE 3403339.098
AT ITER 2830 NEW BEST:: SOT 7128154 SOS 3898903 HAS SOPS 3898903 HAS SOUS 3399393 HAS SOUPS 3399393 WITH SCORE 3403291.903
AT ITER 2832 NEW BEST:: SOT 7127682 SOS 3896178 HAS SOPS 3896178 HAS SOUS 3399277 HAS SOUPS 3399277 WITH SCORE 3403173.178
AT ITER 2834 NEW BEST:: SOT 7127682 SOS 3896166 HAS SOPS 3896166 HAS SOUS 3399277 HAS SOUPS 3399277 WITH SCORE 3403173.166
AT ITER 2835 NEW BEST:: SOT 7127682 SOS 3896161 HAS SOPS 3896161 HAS SOUS 3399277 HAS SOUPS 3399277 WITH SCORE 3403173.161
AT ITER 2836 NEW BEST:: SOT 7127573 SOS 3896706 HAS SOPS 3896706 HAS SOUS 3399168 HAS SOUPS 3399168 WITH SCORE 3403064.706
AT ITER 2839 NEW BEST:: SOT 7125303 SOS 3896025 HAS SOPS 3896025 HAS SOUS 3397998 HAS SOUPS 3397998 WITH SCORE 3401894.025
AT ITER 2840 NEW BEST:: SOT 7125456 SOS 3896065 HAS SOPS 3896065 HAS SOUS 3397851 HAS SOUPS 3397851 WITH SCORE 3401747.065
AT ITER 2841 NEW BEST:: SOT 7124313 SOS 3895488 HAS SOPS 3895488 HAS SOUS 3397208 HAS SOUPS 3397208 WITH SCORE 3401103.488
AT ITER 2845 NEW BEST:: SOT 7124313 SOS 3895488 HAS SOPS 3895488 HAS SOUS 3397141 HAS SOUPS 3397141 WITH SCORE 3401036.488
AT ITER 2848 NEW BEST:: SOT 7124313 SOS 3895078 HAS SOPS 3895078 HAS SOUS 3397141 HAS SOUPS 3397141 WITH SCORE 3401036.078
AT ITER 2852 NEW BEST:: SOT 7124313 SOS 3894871 HAS SOPS 3894871 HAS SOUS 3397141 HAS SOUPS 3397141 WITH SCORE 3401035.871
AT ITER 2854 NEW BEST:: SOT 7122526 SOS 3895179 HAS SOPS 3895179 HAS SOUS 3396855 HAS SOUPS 3396855 WITH SCORE 3400750.179
AT ITER 2858 NEW BEST:: SOT 7122472 SOS 3894462 HAS SOPS 3894462 HAS SOUS 3395956 HAS SOUPS 3395956 WITH SCORE 3399850.462
AT ITER 2859 NEW BEST:: SOT 7122472 SOS 3894455 HAS SOPS 3894455 HAS SOUS 3395956 HAS SOUPS 3395956 WITH SCORE 3399850.455
AT ITER 2862 NEW BEST:: SOT 7122472 SOS 3895617 HAS SOPS 3895617 HAS SOUS 3395785 HAS SOUPS 3395785 WITH SCORE 3399680.617
AT ITER 2888 NEW BEST:: SOT 7122472 SOS 3894740 HAS SOPS 3894740 HAS SOUS 3395454 HAS SOUPS 3395454 WITH SCORE 3399348.74
AT ITER 2898 NEW BEST:: SOT 7122839 SOS 3894696 HAS SOPS 3894696 HAS SOUS 3395074 HAS SOUPS 3395074 WITH SCORE 3398968.696
AT ITER 2910 NEW BEST:: SOT 7122257 SOS 3893704 HAS SOPS 3893704 HAS SOUS 3393759 HAS SOUPS 3393759 WITH SCORE 3397652.704
AT ITER 2911 NEW BEST:: SOT 7116401 SOS 3889123 HAS SOPS 3889123 HAS SOUS 3388669 HAS SOUPS 3388669 WITH SCORE 3392558.123
AT ITER 2912 NEW BEST:: SOT 7115684 SOS 3897092 HAS SOPS 3897092 HAS SOUS 3388299 HAS SOUPS 3388299 WITH SCORE 3392196.092
AT ITER 2920 NEW BEST:: SOT 7115684 SOS 3896821 HAS SOPS 3896821 HAS SOUS 3388299 HAS SOUPS 3388299 WITH SCORE 3392195.821
AT ITER 2924 NEW BEST:: SOT 7115684 SOS 3896628 HAS SOPS 3896628 HAS SOUS 3388299 HAS SOUPS 3388299 WITH SCORE 3392195.628
AT ITER 2927 NEW BEST:: SOT 7115684 SOS 3895468 HAS SOPS 3895468 HAS SOUS 3388299 HAS SOUPS 3388299 WITH SCORE 3392194.468
AT ITER 2928 NEW BEST:: SOT 7115770 SOS 3895081 HAS SOPS 3895081 HAS SOUS 3388293 HAS SOUPS 3388293 WITH SCORE 3392188.081
AT ITER 2930 NEW BEST:: SOT 7112256 SOS 3892122 HAS SOPS 3892122 HAS SOUS 3385593 HAS SOUPS 3385593 WITH SCORE 3389485.122
AT ITER 2944 NEW BEST:: SOT 7108569 SOS 3890050 HAS SOPS 3890050 HAS SOUS 3382879 HAS SOUPS 3382879 WITH SCORE 3386769.05
AT ITER 2946 NEW BEST:: SOT 7108569 SOS 3889991 HAS SOPS 3889991 HAS SOUS 3382879 HAS SOUPS 3382879 WITH SCORE 3386768.991
AT ITER 2952 NEW BEST:: SOT 7108569 SOS 3889785 HAS SOPS 3889785 HAS SOUS 3382188 HAS SOUPS 3382188 WITH SCORE 3386077.785
AT ITER 2953 NEW BEST:: SOT 7108410 SOS 3889626 HAS SOPS 3889626 HAS SOUS 3382029 HAS SOUPS 3382029 WITH SCORE 3385918.626
AT ITER 2959 NEW BEST:: SOT 7108410 SOS 3889487 HAS SOPS 3889487 HAS SOUS 3382029 HAS SOUPS 3382029 WITH SCORE 3385918.487
AT ITER 2969 NEW BEST:: SOT 7106469 SOS 3888708 HAS SOPS 3888708 HAS SOUS 3380564 HAS SOUPS 3380564 WITH SCORE 3384452.708
AT ITER 2973 NEW BEST:: SOT 7106469 SOS 3888329 HAS SOPS 3888329 HAS SOUS 3380564 HAS SOUPS 3380564 WITH SCORE 3384452.329
AT ITER 2975 NEW BEST:: SOT 7106469 SOS 3888321 HAS SOPS 3888321 HAS SOUS 3380564 HAS SOUPS 3380564 WITH SCORE 3384452.321
AT ITER 2984 NEW BEST:: SOT 7106584 SOS 3887523 HAS SOPS 3887523 HAS SOUS 3380366 HAS SOUPS 3380366 WITH SCORE 3384253.523
AT ITER 2986 NEW BEST:: SOT 7104068 SOS 3894363 HAS SOPS 3894363 HAS SOUS 3377850 HAS SOUPS 3377850 WITH SCORE 3381744.363
AT ITER 2987 NEW BEST:: SOT 7104068 SOS 3893741 HAS SOPS 3893741 HAS SOUS 3377850 HAS SOUPS 3377850 WITH SCORE 3381743.741
AT ITER 2990 NEW BEST:: SOT 7104620 SOS 3888223 HAS SOPS 3888223 HAS SOUS 3377296 HAS SOUPS 3377296 WITH SCORE 3381184.223
AT ITER 2994 NEW BEST:: SOT 7104620 SOS 3886811 HAS SOPS 3886811 HAS SOUS 3377091 HAS SOUPS 3377091 WITH SCORE 3380977.811
AT ITER 3002 NEW BEST:: SOT 7102215 SOS 3885804 HAS SOPS 3885804 HAS SOUS 3376372 HAS SOUPS 3376372 WITH SCORE 3380257.804
AT ITER 3007 NEW BEST:: SOT 7101992 SOS 3884196 HAS SOPS 3884196 HAS SOUS 3375909 HAS SOUPS 3375909 WITH SCORE 3379793.196
AT ITER 3008 NEW BEST:: SOT 7102204 SOS 3883779 HAS SOPS 3883779 HAS SOUS 3375909 HAS SOUPS 3375909 WITH SCORE 3379792.779
AT ITER 3016 NEW BEST:: SOT 7102204 SOS 3882623 HAS SOPS 3882623 HAS SOUS 3375909 HAS SOUPS 3375909 WITH SCORE 3379791.623
AT ITER 3020 NEW BEST:: SOT 7099650 SOS 3883619 HAS SOPS 3883619 HAS SOUS 3375218 HAS SOUPS 3375218 WITH SCORE 3379101.619
AT ITER 3021 NEW BEST:: SOT 7099650 SOS 3883275 HAS SOPS 3883275 HAS SOUS 3375218 HAS SOUPS 3375218 WITH SCORE 3379101.275
AT ITER 3022 NEW BEST:: SOT 7099650 SOS 3882576 HAS SOPS 3882576 HAS SOUS 3375090 HAS SOUPS 3375090 WITH SCORE 3378972.576
AT ITER 3029 NEW BEST:: SOT 7099650 SOS 3882433 HAS SOPS 3882433 HAS SOUS 3375090 HAS SOUPS 3375090 WITH SCORE 3378972.433
AT ITER 3033 NEW BEST:: SOT 7099653 SOS 3882436 HAS SOPS 3882436 HAS SOUS 3374607 HAS SOUPS 3374607 WITH SCORE 3378489.436
AT ITER 3037 NEW BEST:: SOT 7098646 SOS 3883747 HAS SOPS 3883747 HAS SOUS 3373600 HAS SOUPS 3373600 WITH SCORE 3377483.747
AT ITER 3054 NEW BEST:: SOT 7098646 SOS 3883277 HAS SOPS 3883277 HAS SOUS 3373600 HAS SOUPS 3373600 WITH SCORE 3377483.277
AT ITER 3057 NEW BEST:: SOT 7098646 SOS 3883116 HAS SOPS 3883116 HAS SOUS 3373475 HAS SOUPS 3373475 WITH SCORE 3377358.116
AT ITER 3063 NEW BEST:: SOT 7098646 SOS 3882823 HAS SOPS 3882823 HAS SOUS 3373475 HAS SOUPS 3373475 WITH SCORE 3377357.823
AT ITER 3064 NEW BEST:: SOT 7098646 SOS 3881998 HAS SOPS 3881998 HAS SOUS 3373475 HAS SOUPS 3373475 WITH SCORE 3377356.998
AT ITER 3065 NEW BEST:: SOT 7098646 SOS 3874017 HAS SOPS 3874017 HAS SOUS 3372927 HAS SOUPS 3372927 WITH SCORE 3376801.017
AT ITER 3070 NEW BEST:: SOT 7098646 SOS 3873961 HAS SOPS 3873961 HAS SOUS 3372927 HAS SOUPS 3372927 WITH SCORE 3376800.961
AT ITER 3076 NEW BEST:: SOT 7097306 SOS 3874233 HAS SOPS 3874233 HAS SOUS 3371802 HAS SOUPS 3371802 WITH SCORE 3375676.233
AT ITER 3078 NEW BEST:: SOT 7097093 SOS 3873599 HAS SOPS 3873599 HAS SOUS 3371489 HAS SOUPS 3371489 WITH SCORE 3375362.599
AT ITER 3079 NEW BEST:: SOT 7097093 SOS 3873464 HAS SOPS 3873464 HAS SOUS 3371450 HAS SOUPS 3371450 WITH SCORE 3375323.464
AT ITER 3080 NEW BEST:: SOT 7096752 SOS 3873123 HAS SOPS 3873123 HAS SOUS 3371109 HAS SOUPS 3371109 WITH SCORE 3374982.123
AT ITER 3082 NEW BEST:: SOT 7096848 SOS 3872855 HAS SOPS 3872855 HAS SOUS 3370698 HAS SOUPS 3370698 WITH SCORE 3374570.855
AT ITER 3087 NEW BEST:: SOT 7094504 SOS 3870551 HAS SOPS 3870551 HAS SOUS 3370447 HAS SOUPS 3370447 WITH SCORE 3374317.551
AT ITER 3092 NEW BEST:: SOT 7094504 SOS 3870609 HAS SOPS 3870609 HAS SOUS 3370312 HAS SOUPS 3370312 WITH SCORE 3374182.609
AT ITER 3100 NEW BEST:: SOT 7094504 SOS 3870609 HAS SOPS 3870609 HAS SOUS 3370129 HAS SOUPS 3370129 WITH SCORE 3373999.609
AT ITER 3105 NEW BEST:: SOT 7094332 SOS 3870437 HAS SOPS 3870437 HAS SOUS 3369898 HAS SOUPS 3369898 WITH SCORE 3373768.437
AT ITER 3111 NEW BEST:: SOT 7089949 SOS 3870749 HAS SOPS 3870749 HAS SOUS 3367911 HAS SOUPS 3367911 WITH SCORE 3371781.749
AT ITER 3119 NEW BEST:: SOT 7089949 SOS 3870112 HAS SOPS 3870112 HAS SOUS 3367911 HAS SOUPS 3367911 WITH SCORE 3371781.112
AT ITER 3121 NEW BEST:: SOT 7088172 SOS 3868918 HAS SOPS 3868918 HAS SOUS 3366234 HAS SOUPS 3366234 WITH SCORE 3370102.918
AT ITER 3124 NEW BEST:: SOT 7088186 SOS 3868932 HAS SOPS 3868932 HAS SOUS 3365603 HAS SOUPS 3365603 WITH SCORE 3369471.932
AT ITER 3126 NEW BEST:: SOT 7088186 SOS 3867932 HAS SOPS 3867932 HAS SOUS 3365603 HAS SOUPS 3365603 WITH SCORE 3369470.932
AT ITER 3131 NEW BEST:: SOT 7084726 SOS 3868363 HAS SOPS 3868363 HAS SOUS 3364026 HAS SOUPS 3364026 WITH SCORE 3367894.363
AT ITER 3136 NEW BEST:: SOT 7083726 SOS 3868016 HAS SOPS 3868016 HAS SOUS 3363679 HAS SOUPS 3363679 WITH SCORE 3367547.016
AT ITER 3137 NEW BEST:: SOT 7081170 SOS 3865708 HAS SOPS 3865708 HAS SOUS 3361633 HAS SOUPS 3361633 WITH SCORE 3365498.708
AT ITER 3141 NEW BEST:: SOT 7076341 SOS 3865519 HAS SOPS 3865519 HAS SOUS 3359363 HAS SOUPS 3359363 WITH SCORE 3363228.519
AT ITER 3148 NEW BEST:: SOT 7076470 SOS 3865556 HAS SOPS 3865556 HAS SOUS 3359257 HAS SOUPS 3359257 WITH SCORE 3363122.556
AT ITER 3167 NEW BEST:: SOT 7076470 SOS 3865359 HAS SOPS 3865359 HAS SOUS 3359257 HAS SOUPS 3359257 WITH SCORE 3363122.359
AT ITER 3169 NEW BEST:: SOT 7076470 SOS 3864902 HAS SOPS 3864902 HAS SOUS 3359157 HAS SOUPS 3359157 WITH SCORE 3363021.902
AT ITER 3170 NEW BEST:: SOT 7074811 SOS 3863839 HAS SOPS 3863839 HAS SOUS 3358237 HAS SOUPS 3358237 WITH SCORE 3362100.839
AT ITER 3175 NEW BEST:: SOT 7073803 SOS 3863451 HAS SOPS 3863451 HAS SOUS 3357418 HAS SOUPS 3357418 WITH SCORE 3361281.451
AT ITER 3177 NEW BEST:: SOT 7074248 SOS 3863681 HAS SOPS 3863681 HAS SOUS 3357368 HAS SOUPS 3357368 WITH SCORE 3361231.681
AT ITER 3180 NEW BEST:: SOT 7073014 SOS 3863916 HAS SOPS 3863916 HAS SOUS 3357358 HAS SOUPS 3357358 WITH SCORE 3361221.916
AT ITER 3185 NEW BEST:: SOT 7072977 SOS 3863879 HAS SOPS 3863879 HAS SOUS 3357139 HAS SOUPS 3357139 WITH SCORE 3361002.879
AT ITER 3187 NEW BEST:: SOT 7073127 SOS 3865104 HAS SOPS 3865104 HAS SOUS 3356169 HAS SOUPS 3356169 WITH SCORE 3360034.104
AT ITER 3194 NEW BEST:: SOT 7073127 SOS 3864840 HAS SOPS 3864840 HAS SOUS 3356169 HAS SOUPS 3356169 WITH SCORE 3360033.84
AT ITER 3197 NEW BEST:: SOT 7072870 SOS 3864935 HAS SOPS 3864935 HAS SOUS 3355912 HAS SOUPS 3355912 WITH SCORE 3359776.935
AT ITER 3208 NEW BEST:: SOT 7069523 SOS 3865004 HAS SOPS 3865004 HAS SOUS 3353793 HAS SOUPS 3353793 WITH SCORE 3357658.004
AT ITER 3209 NEW BEST:: SOT 7069288 SOS 3864769 HAS SOPS 3864769 HAS SOUS 3353443 HAS SOUPS 3353443 WITH SCORE 3357307.769
AT ITER 3212 NEW BEST:: SOT 7069288 SOS 3864568 HAS SOPS 3864568 HAS SOUS 3353073 HAS SOUPS 3353073 WITH SCORE 3356937.568
AT ITER 3220 NEW BEST:: SOT 7069288 SOS 3864002 HAS SOPS 3864002 HAS SOUS 3353054 HAS SOUPS 3353054 WITH SCORE 3356918.002
AT ITER 3234 NEW BEST:: SOT 7069288 SOS 3863916 HAS SOPS 3863916 HAS SOUS 3353054 HAS SOUPS 3353054 WITH SCORE 3356917.916
AT ITER 3237 NEW BEST:: SOT 7069274 SOS 3863902 HAS SOPS 3863902 HAS SOUS 3353029 HAS SOUPS 3353029 WITH SCORE 3356892.902
AT ITER 3240 NEW BEST:: SOT 7066814 SOS 3862625 HAS SOPS 3862625 HAS SOUS 3352787 HAS SOUPS 3352787 WITH SCORE 3356649.625
AT ITER 3254 NEW BEST:: SOT 7064276 SOS 3860923 HAS SOPS 3860923 HAS SOUS 3351213 HAS SOUPS 3351213 WITH SCORE 3355073.923
AT ITER 3259 NEW BEST:: SOT 7064276 SOS 3860313 HAS SOPS 3860313 HAS SOUS 3351213 HAS SOUPS 3351213 WITH SCORE 3355073.313
AT ITER 3265 NEW BEST:: SOT 7062398 SOS 3861054 HAS SOPS 3861054 HAS SOUS 3350549 HAS SOUPS 3350549 WITH SCORE 3354410.054
AT ITER 3266 NEW BEST:: SOT 7061341 SOS 3860119 HAS SOPS 3860119 HAS SOUS 3349614 HAS SOUPS 3349614 WITH SCORE 3353474.119
AT ITER 3273 NEW BEST:: SOT 7061382 SOS 3859955 HAS SOPS 3859955 HAS SOUS 3349614 HAS SOUPS 3349614 WITH SCORE 3353473.955
AT ITER 3274 NEW BEST:: SOT 7061363 SOS 3859936 HAS SOPS 3859936 HAS SOUS 3349595 HAS SOUPS 3349595 WITH SCORE 3353454.936
AT ITER 3278 NEW BEST:: SOT 7061363 SOS 3857799 HAS SOPS 3857799 HAS SOUS 3349431 HAS SOUPS 3349431 WITH SCORE 3353288.799
AT ITER 3281 NEW BEST:: SOT 7061363 SOS 3857040 HAS SOPS 3857040 HAS SOUS 3349431 HAS SOUPS 3349431 WITH SCORE 3353288.04
AT ITER 3288 NEW BEST:: SOT 7060398 SOS 3857461 HAS SOPS 3857461 HAS SOUS 3348700 HAS SOUPS 3348700 WITH SCORE 3352557.461
AT ITER 3289 NEW BEST:: SOT 7060329 SOS 3856755 HAS SOPS 3856755 HAS SOUS 3348541 HAS SOUPS 3348541 WITH SCORE 3352397.755
AT ITER 3298 NEW BEST:: SOT 7059906 SOS 3863304 HAS SOPS 3863304 HAS SOUS 3348118 HAS SOUPS 3348118 WITH SCORE 3351981.304
AT ITER 3305 NEW BEST:: SOT 7058288 SOS 3862149 HAS SOPS 3862149 HAS SOUS 3347909 HAS SOUPS 3347909 WITH SCORE 3351771.149
AT ITER 3314 NEW BEST:: SOT 7058451 SOS 3861559 HAS SOPS 3861559 HAS SOUS 3347824 HAS SOUPS 3347824 WITH SCORE 3351685.559
AT ITER 3315 NEW BEST:: SOT 7054609 SOS 3860165 HAS SOPS 3860165 HAS SOUS 3346701 HAS SOUPS 3346701 WITH SCORE 3350561.165
AT ITER 3324 NEW BEST:: SOT 7054994 SOS 3860069 HAS SOPS 3860069 HAS SOUS 3346599 HAS SOUPS 3346599 WITH SCORE 3350459.069
AT ITER 3329 NEW BEST:: SOT 7054994 SOS 3859499 HAS SOPS 3859499 HAS SOUS 3345915 HAS SOUPS 3345915 WITH SCORE 3349774.499
AT ITER 3330 NEW BEST:: SOT 7054994 SOS 3854098 HAS SOPS 3854098 HAS SOUS 3343816 HAS SOUPS 3343816 WITH SCORE 3347670.098
AT ITER 3332 NEW BEST:: SOT 7054994 SOS 3854131 HAS SOPS 3854131 HAS SOUS 3343648 HAS SOUPS 3343648 WITH SCORE 3347502.131
AT ITER 3335 NEW BEST:: SOT 7054994 SOS 3853939 HAS SOPS 3853939 HAS SOUS 3343648 HAS SOUPS 3343648 WITH SCORE 3347501.939
AT ITER 3338 NEW BEST:: SOT 7054994 SOS 3853887 HAS SOPS 3853887 HAS SOUS 3343648 HAS SOUPS 3343648 WITH SCORE 3347501.887
AT ITER 3341 NEW BEST:: SOT 7054969 SOS 3853878 HAS SOPS 3853878 HAS SOUS 3343404 HAS SOUPS 3343404 WITH SCORE 3347257.878
AT ITER 3343 NEW BEST:: SOT 7052115 SOS 3851560 HAS SOPS 3851560 HAS SOUS 3341340 HAS SOUPS 3341340 WITH SCORE 3345191.56
AT ITER 3348 NEW BEST:: SOT 7052115 SOS 3850469 HAS SOPS 3850469 HAS SOUS 3341340 HAS SOUPS 3341340 WITH SCORE 3345190.469
AT ITER 3354 NEW BEST:: SOT 7052115 SOS 3850380 HAS SOPS 3850380 HAS SOUS 3341212 HAS SOUPS 3341212 WITH SCORE 3345062.38
AT ITER 3361 NEW BEST:: SOT 7052115 SOS 3849554 HAS SOPS 3849554 HAS SOUS 3341212 HAS SOUPS 3341212 WITH SCORE 3345061.554
AT ITER 3364 NEW BEST:: SOT 7052115 SOS 3845949 HAS SOPS 3845949 HAS SOUS 3340446 HAS SOUPS 3340446 WITH SCORE 3344291.949
AT ITER 3368 NEW BEST:: SOT 7052115 SOS 3845628 HAS SOPS 3845628 HAS SOUS 3340264 HAS SOUPS 3340264 WITH SCORE 3344109.628
AT ITER 3372 NEW BEST:: SOT 7052115 SOS 3845599 HAS SOPS 3845599 HAS SOUS 3340264 HAS SOUPS 3340264 WITH SCORE 3344109.599
AT ITER 3376 NEW BEST:: SOT 7049125 SOS 3849240 HAS SOPS 3849240 HAS SOUS 3338223 HAS SOUPS 3338223 WITH SCORE 3342072.24
AT ITER 3378 NEW BEST:: SOT 7044507 SOS 3861820 HAS SOPS 3861820 HAS SOUS 3334744 HAS SOUPS 3334744 WITH SCORE 3338605.82
AT ITER 3380 NEW BEST:: SOT 7041343 SOS 3862543 HAS SOPS 3862543 HAS SOUS 3334591 HAS SOUPS 3334591 WITH SCORE 3338453.543
AT ITER 3383 NEW BEST:: SOT 7041386 SOS 3862749 HAS SOPS 3862749 HAS SOUS 3334147 HAS SOUPS 3334147 WITH SCORE 3338009.749
AT ITER 3396 NEW BEST:: SOT 7041449 SOS 3862812 HAS SOPS 3862812 HAS SOUS 3333918 HAS SOUPS 3333918 WITH SCORE 3337780.812
AT ITER 3399 NEW BEST:: SOT 7041135 SOS 3862498 HAS SOPS 3862498 HAS SOUS 3333306 HAS SOUPS 3333306 WITH SCORE 3337168.498
AT ITER 3400 NEW BEST:: SOT 7040658 SOS 3861318 HAS SOPS 3861318 HAS SOUS 3332084 HAS SOUPS 3332084 WITH SCORE 3335945.318
AT ITER 3405 NEW BEST:: SOT 7040569 SOS 3861222 HAS SOPS 3861222 HAS SOUS 3331851 HAS SOUPS 3331851 WITH SCORE 3335712.222
AT ITER 3407 NEW BEST:: SOT 7037944 SOS 3858959 HAS SOPS 3858959 HAS SOUS 3330002 HAS SOUPS 3330002 WITH SCORE 3333860.959
AT ITER 3422 NEW BEST:: SOT 7037818 SOS 3858896 HAS SOPS 3858896 HAS SOUS 3330002 HAS SOUPS 3330002 WITH SCORE 3333860.896
AT ITER 3428 NEW BEST:: SOT 7037884 SOS 3858565 HAS SOPS 3858565 HAS SOUS 3329935 HAS SOUPS 3329935 WITH SCORE 3333793.565
AT ITER 3433 NEW BEST:: SOT 7037968 SOS 3858858 HAS SOPS 3858858 HAS SOUS 3329745 HAS SOUPS 3329745 WITH SCORE 3333603.858
AT ITER 3438 NEW BEST:: SOT 7037968 SOS 3858833 HAS SOPS 3858833 HAS SOUS 3329745 HAS SOUPS 3329745 WITH SCORE 3333603.833
AT ITER 3441 NEW BEST:: SOT 7037968 SOS 3858668 HAS SOPS 3858668 HAS SOUS 3329580 HAS SOUPS 3329580 WITH SCORE 3333438.668
AT ITER 3446 NEW BEST:: SOT 7038026 SOS 3858756 HAS SOPS 3858756 HAS SOUS 3329561 HAS SOUPS 3329561 WITH SCORE 3333419.756
AT ITER 3448 NEW BEST:: SOT 7038026 SOS 3858461 HAS SOPS 3858461 HAS SOUS 3329561 HAS SOUPS 3329561 WITH SCORE 3333419.461
AT ITER 3449 NEW BEST:: SOT 7037350 SOS 3858092 HAS SOPS 3858092 HAS SOUS 3329192 HAS SOUPS 3329192 WITH SCORE 3333050.092
AT ITER 3457 NEW BEST:: SOT 7037350 SOS 3857632 HAS SOPS 3857632 HAS SOUS 3329192 HAS SOUPS 3329192 WITH SCORE 3333049.632
AT ITER 3462 NEW BEST:: SOT 7037350 SOS 3857479 HAS SOPS 3857479 HAS SOUS 3329192 HAS SOUPS 3329192 WITH SCORE 3333049.479
AT ITER 3466 NEW BEST:: SOT 7037350 SOS 3857114 HAS SOPS 3857114 HAS SOUS 3329192 HAS SOUPS 3329192 WITH SCORE 3333049.114
AT ITER 3467 NEW BEST:: SOT 7037350 SOS 3856911 HAS SOPS 3856911 HAS SOUS 3329192 HAS SOUPS 3329192 WITH SCORE 3333048.911
AT ITER 3468 NEW BEST:: SOT 7037350 SOS 3856721 HAS SOPS 3856721 HAS SOUS 3329192 HAS SOUPS 3329192 WITH SCORE 3333048.721
AT ITER 3471 NEW BEST:: SOT 7036284 SOS 3856005 HAS SOPS 3856005 HAS SOUS 3328126 HAS SOUPS 3328126 WITH SCORE 3331982.005
AT ITER 3472 NEW BEST:: SOT 7036284 SOS 3853486 HAS SOPS 3853486 HAS SOUS 3328126 HAS SOUPS 3328126 WITH SCORE 3331979.486
AT ITER 3475 NEW BEST:: SOT 7032952 SOS 3861173 HAS SOPS 3861173 HAS SOUS 3327144 HAS SOUPS 3327144 WITH SCORE 3331005.173
AT ITER 3477 NEW BEST:: SOT 7032952 SOS 3860845 HAS SOPS 3860845 HAS SOUS 3327144 HAS SOUPS 3327144 WITH SCORE 3331004.845
AT ITER 3483 NEW BEST:: SOT 7032076 SOS 3860318 HAS SOPS 3860318 HAS SOUS 3326765 HAS SOUPS 3326765 WITH SCORE 3330625.318
AT ITER 3485 NEW BEST:: SOT 7032076 SOS 3860088 HAS SOPS 3860088 HAS SOUS 3326700 HAS SOUPS 3326700 WITH SCORE 3330560.088
AT ITER 3505 NEW BEST:: SOT 7031920 SOS 3859204 HAS SOPS 3859204 HAS SOUS 3326305 HAS SOUPS 3326305 WITH SCORE 3330164.204
AT ITER 3506 NEW BEST:: SOT 7031920 SOS 3859092 HAS SOPS 3859092 HAS SOUS 3326286 HAS SOUPS 3326286 WITH SCORE 3330145.092
AT ITER 3511 NEW BEST:: SOT 7027900 SOS 3867698 HAS SOPS 3867698 HAS SOUS 3324391 HAS SOUPS 3324391 WITH SCORE 3328258.698
AT ITER 3516 NEW BEST:: SOT 7022526 SOS 3869211 HAS SOPS 3869211 HAS SOUS 3322616 HAS SOUPS 3322616 WITH SCORE 3326485.211
AT ITER 3524 NEW BEST:: SOT 7021280 SOS 3868460 HAS SOPS 3868460 HAS SOUS 3321842 HAS SOUPS 3321842 WITH SCORE 3325710.46
AT ITER 3525 NEW BEST:: SOT 7018001 SOS 3866201 HAS SOPS 3866201 HAS SOUS 3318802 HAS SOUPS 3318802 WITH SCORE 3322668.201
AT ITER 3533 NEW BEST:: SOT 7018001 SOS 3866144 HAS SOPS 3866144 HAS SOUS 3318802 HAS SOUPS 3318802 WITH SCORE 3322668.144
AT ITER 3543 NEW BEST:: SOT 7018001 SOS 3865751 HAS SOPS 3865751 HAS SOUS 3318802 HAS SOUPS 3318802 WITH SCORE 3322667.751
AT ITER 3544 NEW BEST:: SOT 7017392 SOS 3865339 HAS SOPS 3865339 HAS SOUS 3318390 HAS SOUPS 3318390 WITH SCORE 3322255.339
AT ITER 3545 NEW BEST:: SOT 7016612 SOS 3869727 HAS SOPS 3869727 HAS SOUS 3318309 HAS SOUPS 3318309 WITH SCORE 3322178.727
AT ITER 3546 NEW BEST:: SOT 7016612 SOS 3869230 HAS SOPS 3869230 HAS SOUS 3318309 HAS SOUPS 3318309 WITH SCORE 3322178.23
AT ITER 3547 NEW BEST:: SOT 7012724 SOS 3866573 HAS SOPS 3866573 HAS SOUS 3316479 HAS SOUPS 3316479 WITH SCORE 3320345.573
AT ITER 3548 NEW BEST:: SOT 7012683 SOS 3867092 HAS SOPS 3867092 HAS SOUS 3316279 HAS SOUPS 3316279 WITH SCORE 3320146.092
AT ITER 3554 NEW BEST:: SOT 7012683 SOS 3866865 HAS SOPS 3866865 HAS SOUS 3316279 HAS SOUPS 3316279 WITH SCORE 3320145.865
AT ITER 3557 NEW BEST:: SOT 7012647 SOS 3866829 HAS SOPS 3866829 HAS SOUS 3316180 HAS SOUPS 3316180 WITH SCORE 3320046.829
AT ITER 3559 NEW BEST:: SOT 7012671 SOS 3866718 HAS SOPS 3866718 HAS SOUS 3315293 HAS SOUPS 3315293 WITH SCORE 3319159.718
AT ITER 3561 NEW BEST:: SOT 7012671 SOS 3866316 HAS SOPS 3866316 HAS SOUS 3315293 HAS SOUPS 3315293 WITH SCORE 3319159.316
AT ITER 3566 NEW BEST:: SOT 7012671 SOS 3866029 HAS SOPS 3866029 HAS SOUS 3315293 HAS SOUPS 3315293 WITH SCORE 3319159.029
AT ITER 3569 NEW BEST:: SOT 7010773 SOS 3867347 HAS SOPS 3867347 HAS SOUS 3313524 HAS SOUPS 3313524 WITH SCORE 3317391.347
AT ITER 3571 NEW BEST:: SOT 7007170 SOS 3871442 HAS SOPS 3871442 HAS SOUS 3312964 HAS SOUPS 3312964 WITH SCORE 3316835.442
AT ITER 3577 NEW BEST:: SOT 7001317 SOS 3870886 HAS SOPS 3870886 HAS SOUS 3310372 HAS SOUPS 3310372 WITH SCORE 3314242.886
AT ITER 3590 NEW BEST:: SOT 6997242 SOS 3868951 HAS SOPS 3868951 HAS SOUS 3306831 HAS SOUPS 3306831 WITH SCORE 3310699.951
AT ITER 3603 NEW BEST:: SOT 6997242 SOS 3868928 HAS SOPS 3868928 HAS SOUS 3306831 HAS SOUPS 3306831 WITH SCORE 3310699.928
AT ITER 3605 NEW BEST:: SOT 6992990 SOS 3865814 HAS SOPS 3865814 HAS SOUS 3302709 HAS SOUPS 3302709 WITH SCORE 3306574.814
AT ITER 3609 NEW BEST:: SOT 6992990 SOS 3865866 HAS SOPS 3865866 HAS SOUS 3302696 HAS SOUPS 3302696 WITH SCORE 3306561.866
AT ITER 3615 NEW BEST:: SOT 6989137 SOS 3862945 HAS SOPS 3862945 HAS SOUS 3301916 HAS SOUPS 3301916 WITH SCORE 3305778.945
AT ITER 3616 NEW BEST:: SOT 6988053 SOS 3862621 HAS SOPS 3862621 HAS SOUS 3301222 HAS SOUPS 3301222 WITH SCORE 3305084.621
AT ITER 3617 NEW BEST:: SOT 6987980 SOS 3862475 HAS SOPS 3862475 HAS SOUS 3301076 HAS SOUPS 3301076 WITH SCORE 3304938.475
AT ITER 3618 NEW BEST:: SOT 6987980 SOS 3862176 HAS SOPS 3862176 HAS SOUS 3301076 HAS SOUPS 3301076 WITH SCORE 3304938.176
AT ITER 3620 NEW BEST:: SOT 6987728 SOS 3861479 HAS SOPS 3861479 HAS SOUS 3300619 HAS SOUPS 3300619 WITH SCORE 3304480.479
AT ITER 3624 NEW BEST:: SOT 6987731 SOS 3861935 HAS SOPS 3861935 HAS SOUS 3300504 HAS SOUPS 3300504 WITH SCORE 3304365.935
AT ITER 3633 NEW BEST:: SOT 6985105 SOS 3860135 HAS SOPS 3860135 HAS SOUS 3299011 HAS SOUPS 3299011 WITH SCORE 3302871.135
AT ITER 3634 NEW BEST:: SOT 6982230 SOS 3858605 HAS SOPS 3858605 HAS SOUS 3296390 HAS SOUPS 3296390 WITH SCORE 3300248.605
AT ITER 3635 NEW BEST:: SOT 6982230 SOS 3858353 HAS SOPS 3858353 HAS SOUS 3296390 HAS SOUPS 3296390 WITH SCORE 3300248.353
AT ITER 3636 NEW BEST:: SOT 6980900 SOS 3857434 HAS SOPS 3857434 HAS SOUS 3295383 HAS SOUPS 3295383 WITH SCORE 3299240.434
AT ITER 3638 NEW BEST:: SOT 6980900 SOS 3857430 HAS SOPS 3857430 HAS SOUS 3295383 HAS SOUPS 3295383 WITH SCORE 3299240.43
AT ITER 3645 NEW BEST:: SOT 6979533 SOS 3856830 HAS SOPS 3856830 HAS SOUS 3294456 HAS SOUPS 3294456 WITH SCORE 3298312.83
AT ITER 3662 NEW BEST:: SOT 6979533 SOS 3856830 HAS SOPS 3856830 HAS SOUS 3293245 HAS SOUPS 3293245 WITH SCORE 3297101.83
AT ITER 3673 NEW BEST:: SOT 6978932 SOS 3856293 HAS SOPS 3856293 HAS SOUS 3292708 HAS SOUPS 3292708 WITH SCORE 3296564.293
AT ITER 3677 NEW BEST:: SOT 6978678 SOS 3856931 HAS SOPS 3856931 HAS SOUS 3292623 HAS SOUPS 3292623 WITH SCORE 3296479.931
AT ITER 3687 NEW BEST:: SOT 6978678 SOS 3856479 HAS SOPS 3856479 HAS SOUS 3292340 HAS SOUPS 3292340 WITH SCORE 3296196.479
AT ITER 3692 NEW BEST:: SOT 6973043 SOS 3857974 HAS SOPS 3857974 HAS SOUS 3287374 HAS SOUPS 3287374 WITH SCORE 3291231.974
AT ITER 3700 NEW BEST:: SOT 6973043 SOS 3857528 HAS SOPS 3857528 HAS SOUS 3287374 HAS SOUPS 3287374 WITH SCORE 3291231.528
AT ITER 3705 NEW BEST:: SOT 6972865 SOS 3857350 HAS SOPS 3857350 HAS SOUS 3285987 HAS SOUPS 3285987 WITH SCORE 3289844.35
AT ITER 3713 NEW BEST:: SOT 6972865 SOS 3856893 HAS SOPS 3856893 HAS SOUS 3285987 HAS SOUPS 3285987 WITH SCORE 3289843.893
AT ITER 3723 NEW BEST:: SOT 6968839 SOS 3854386 HAS SOPS 3854386 HAS SOUS 3284408 HAS SOUPS 3284408 WITH SCORE 3288262.386
AT ITER 3737 NEW BEST:: SOT 6968839 SOS 3853721 HAS SOPS 3853721 HAS SOUS 3284256 HAS SOUPS 3284256 WITH SCORE 3288109.721
AT ITER 3758 NEW BEST:: SOT 6968819 SOS 3853831 HAS SOPS 3853831 HAS SOUS 3284255 HAS SOUPS 3284255 WITH SCORE 3288108.831
AT ITER 3759 NEW BEST:: SOT 6968819 SOS 3853676 HAS SOPS 3853676 HAS SOUS 3284255 HAS SOUPS 3284255 WITH SCORE 3288108.676
AT ITER 3775 NEW BEST:: SOT 6968819 SOS 3853377 HAS SOPS 3853377 HAS SOUS 3284251 HAS SOUPS 3284251 WITH SCORE 3288104.377
AT ITER 3787 NEW BEST:: SOT 6962368 SOS 3850841 HAS SOPS 3850841 HAS SOUS 3279628 HAS SOUPS 3279628 WITH SCORE 3283478.841
AT ITER 3791 NEW BEST:: SOT 6962368 SOS 3851405 HAS SOPS 3851405 HAS SOUS 3279490 HAS SOUPS 3279490 WITH SCORE 3283341.405
AT ITER 3798 NEW BEST:: SOT 6959074 SOS 3850322 HAS SOPS 3850322 HAS SOUS 3276888 HAS SOUPS 3276888 WITH SCORE 3280738.322
AT ITER 3814 NEW BEST:: SOT 6958979 SOS 3850301 HAS SOPS 3850301 HAS SOUS 3276867 HAS SOUPS 3276867 WITH SCORE 3280717.301
AT ITER 3823 NEW BEST:: SOT 6955563 SOS 3848841 HAS SOPS 3848841 HAS SOUS 3274851 HAS SOUPS 3274851 WITH SCORE 3278699.841
AT ITER 3825 NEW BEST:: SOT 6955513 SOS 3848791 HAS SOPS 3848791 HAS SOUS 3274801 HAS SOUPS 3274801 WITH SCORE 3278649.791
AT ITER 3828 NEW BEST:: SOT 6955513 SOS 3848811 HAS SOPS 3848811 HAS SOUS 3274139 HAS SOUPS 3274139 WITH SCORE 3277987.811
AT ITER 3829 NEW BEST:: SOT 6955405 SOS 3848493 HAS SOPS 3848493 HAS SOUS 3273856 HAS SOUPS 3273856 WITH SCORE 3277704.493
AT ITER 3830 NEW BEST:: SOT 6953771 SOS 3847570 HAS SOPS 3847570 HAS SOUS 3272740 HAS SOUPS 3272740 WITH SCORE 3276587.57
AT ITER 3833 NEW BEST:: SOT 6953771 SOS 3847509 HAS SOPS 3847509 HAS SOUS 3272740 HAS SOUPS 3272740 WITH SCORE 3276587.509
AT ITER 3835 NEW BEST:: SOT 6952643 SOS 3846766 HAS SOPS 3846766 HAS SOUS 3271785 HAS SOUPS 3271785 WITH SCORE 3275631.766
AT ITER 3837 NEW BEST:: SOT 6952643 SOS 3846649 HAS SOPS 3846649 HAS SOUS 3271785 HAS SOUPS 3271785 WITH SCORE 3275631.649
AT ITER 3840 NEW BEST:: SOT 6952643 SOS 3846491 HAS SOPS 3846491 HAS SOUS 3271785 HAS SOUPS 3271785 WITH SCORE 3275631.491
AT ITER 3841 NEW BEST:: SOT 6952643 SOS 3846716 HAS SOPS 3846716 HAS SOUS 3271295 HAS SOUPS 3271295 WITH SCORE 3275141.716
AT ITER 3844 NEW BEST:: SOT 6952643 SOS 3846268 HAS SOPS 3846268 HAS SOUS 3271295 HAS SOUPS 3271295 WITH SCORE 3275141.268
AT ITER 3845 NEW BEST:: SOT 6952643 SOS 3845931 HAS SOPS 3845931 HAS SOUS 3271295 HAS SOUPS 3271295 WITH SCORE 3275140.931
AT ITER 3854 NEW BEST:: SOT 6952557 SOS 3845695 HAS SOPS 3845695 HAS SOUS 3269938 HAS SOUPS 3269938 WITH SCORE 3273783.695
AT ITER 3857 NEW BEST:: SOT 6952483 SOS 3845669 HAS SOPS 3845669 HAS SOUS 3269912 HAS SOUPS 3269912 WITH SCORE 3273757.669
AT ITER 3859 NEW BEST:: SOT 6952483 SOS 3845669 HAS SOPS 3845669 HAS SOUS 3269664 HAS SOUPS 3269664 WITH SCORE 3273509.669
AT ITER 3862 NEW BEST:: SOT 6951259 SOS 3845467 HAS SOPS 3845467 HAS SOUS 3269555 HAS SOUPS 3269555 WITH SCORE 3273400.467
AT ITER 3865 NEW BEST:: SOT 6951259 SOS 3845314 HAS SOPS 3845314 HAS SOUS 3269555 HAS SOUPS 3269555 WITH SCORE 3273400.314
AT ITER 3869 NEW BEST:: SOT 6951259 SOS 3845010 HAS SOPS 3845010 HAS SOUS 3269555 HAS SOUPS 3269555 WITH SCORE 3273400.01
AT ITER 3884 NEW BEST:: SOT 6951259 SOS 3844928 HAS SOPS 3844928 HAS SOUS 3269555 HAS SOUPS 3269555 WITH SCORE 3273399.928
AT ITER 3885 NEW BEST:: SOT 6951259 SOS 3844575 HAS SOPS 3844575 HAS SOUS 3269555 HAS SOUPS 3269555 WITH SCORE 3273399.575
AT ITER 3886 NEW BEST:: SOT 6951304 SOS 3838022 HAS SOPS 3838022 HAS SOUS 3269335 HAS SOUPS 3269335 WITH SCORE 3273173.022
AT ITER 3892 NEW BEST:: SOT 6951304 SOS 3837406 HAS SOPS 3837406 HAS SOUS 3269335 HAS SOUPS 3269335 WITH SCORE 3273172.406
AT ITER 3895 NEW BEST:: SOT 6951304 SOS 3836789 HAS SOPS 3836789 HAS SOUS 3269004 HAS SOUPS 3269004 WITH SCORE 3272840.789
AT ITER 3907 NEW BEST:: SOT 6947680 SOS 3835587 HAS SOPS 3835587 HAS SOUS 3266749 HAS SOUPS 3266749 WITH SCORE 3270584.587
AT ITER 3910 NEW BEST:: SOT 6945606 SOS 3847547 HAS SOPS 3847547 HAS SOUS 3265668 HAS SOUPS 3265668 WITH SCORE 3269515.547
AT ITER 3913 NEW BEST:: SOT 6946695 SOS 3845802 HAS SOPS 3845802 HAS SOUS 3265581 HAS SOUPS 3265581 WITH SCORE 3269426.802
AT ITER 3915 NEW BEST:: SOT 6944084 SOS 3845326 HAS SOPS 3845326 HAS SOUS 3264324 HAS SOUPS 3264324 WITH SCORE 3268169.326
AT ITER 3921 NEW BEST:: SOT 6942151 SOS 3844106 HAS SOPS 3844106 HAS SOUS 3263630 HAS SOUPS 3263630 WITH SCORE 3267474.106
AT ITER 3923 NEW BEST:: SOT 6942151 SOS 3843983 HAS SOPS 3843983 HAS SOUS 3263630 HAS SOUPS 3263630 WITH SCORE 3267473.983
AT ITER 3930 NEW BEST:: SOT 6942151 SOS 3843979 HAS SOPS 3843979 HAS SOUS 3263630 HAS SOUPS 3263630 WITH SCORE 3267473.979
AT ITER 3932 NEW BEST:: SOT 6941301 SOS 3843750 HAS SOPS 3843750 HAS SOUS 3263279 HAS SOUPS 3263279 WITH SCORE 3267122.75
AT ITER 3935 NEW BEST:: SOT 6941105 SOS 3843554 HAS SOPS 3843554 HAS SOUS 3262862 HAS SOUPS 3262862 WITH SCORE 3266705.554
AT ITER 3936 NEW BEST:: SOT 6941105 SOS 3843420 HAS SOPS 3843420 HAS SOUS 3262725 HAS SOUPS 3262725 WITH SCORE 3266568.42
AT ITER 3938 NEW BEST:: SOT 6941105 SOS 3843224 HAS SOPS 3843224 HAS SOUS 3262529 HAS SOUPS 3262529 WITH SCORE 3266372.224
AT ITER 3942 NEW BEST:: SOT 6941599 SOS 3842488 HAS SOPS 3842488 HAS SOUS 3262177 HAS SOUPS 3262177 WITH SCORE 3266019.488
AT ITER 3943 NEW BEST:: SOT 6941599 SOS 3842405 HAS SOPS 3842405 HAS SOUS 3261939 HAS SOUPS 3261939 WITH SCORE 3265781.405
AT ITER 3951 NEW BEST:: SOT 6941599 SOS 3842410 HAS SOPS 3842410 HAS SOUS 3261747 HAS SOUPS 3261747 WITH SCORE 3265589.41
AT ITER 3958 NEW BEST:: SOT 6939824 SOS 3845904 HAS SOPS 3845904 HAS SOUS 3261055 HAS SOUPS 3261055 WITH SCORE 3264900.904
AT ITER 3961 NEW BEST:: SOT 6939824 SOS 3845968 HAS SOPS 3845968 HAS SOUS 3260400 HAS SOUPS 3260400 WITH SCORE 3264245.968
AT ITER 3965 NEW BEST:: SOT 6939095 SOS 3845317 HAS SOPS 3845317 HAS SOUS 3259749 HAS SOUPS 3259749 WITH SCORE 3263594.317
AT ITER 3966 NEW BEST:: SOT 6936903 SOS 3845597 HAS SOPS 3845597 HAS SOUS 3257830 HAS SOUPS 3257830 WITH SCORE 3261675.597
AT ITER 3967 NEW BEST:: SOT 6936901 SOS 3845595 HAS SOPS 3845595 HAS SOUS 3257828 HAS SOUPS 3257828 WITH SCORE 3261673.595
AT ITER 3969 NEW BEST:: SOT 6936901 SOS 3845481 HAS SOPS 3845481 HAS SOUS 3257772 HAS SOUPS 3257772 WITH SCORE 3261617.481
AT ITER 3974 NEW BEST:: SOT 6936901 SOS 3845212 HAS SOPS 3845212 HAS SOUS 3257772 HAS SOUPS 3257772 WITH SCORE 3261617.212
AT ITER 3976 NEW BEST:: SOT 6936790 SOS 3845056 HAS SOPS 3845056 HAS SOUS 3257722 HAS SOUPS 3257722 WITH SCORE 3261567.056
AT ITER 3978 NEW BEST:: SOT 6936790 SOS 3844805 HAS SOPS 3844805 HAS SOUS 3257722 HAS SOUPS 3257722 WITH SCORE 3261566.805
AT ITER 3979 NEW BEST:: SOT 6936151 SOS 3844166 HAS SOPS 3844166 HAS SOUS 3256990 HAS SOUPS 3256990 WITH SCORE 3260834.166
AT ITER 3982 NEW BEST:: SOT 6929976 SOS 3845820 HAS SOPS 3845820 HAS SOUS 3253235 HAS SOUPS 3253235 WITH SCORE 3257080.82
AT ITER 3986 NEW BEST:: SOT 6929945 SOS 3845749 HAS SOPS 3845749 HAS SOUS 3253151 HAS SOUPS 3253151 WITH SCORE 3256996.749
AT ITER 3994 NEW BEST:: SOT 6929945 SOS 3845352 HAS SOPS 3845352 HAS SOUS 3253151 HAS SOUPS 3253151 WITH SCORE 3256996.352
AT ITER 3997 NEW BEST:: SOT 6929945 SOS 3844815 HAS SOPS 3844815 HAS SOUS 3253119 HAS SOUPS 3253119 WITH SCORE 3256963.815
AT ITER 3998 NEW BEST:: SOT 6926514 SOS 3844009 HAS SOPS 3844009 HAS SOUS 3251089 HAS SOUPS 3251089 WITH SCORE 3254933.009
AT ITER 4007 NEW BEST:: SOT 6926514 SOS 3843635 HAS SOPS 3843635 HAS SOUS 3251089 HAS SOUPS 3251089 WITH SCORE 3254932.635
AT ITER 4008 NEW BEST:: SOT 6926514 SOS 3843619 HAS SOPS 3843619 HAS SOUS 3251089 HAS SOUPS 3251089 WITH SCORE 3254932.619
AT ITER 4020 NEW BEST:: SOT 6926514 SOS 3843468 HAS SOPS 3843468 HAS SOUS 3250971 HAS SOUPS 3250971 WITH SCORE 3254814.468
AT ITER 4026 NEW BEST:: SOT 6925614 SOS 3844161 HAS SOPS 3844161 HAS SOUS 3250307 HAS SOUPS 3250307 WITH SCORE 3254151.161
AT ITER 4029 NEW BEST:: SOT 6925614 SOS 3845355 HAS SOPS 3845355 HAS SOUS 3250228 HAS SOUPS 3250228 WITH SCORE 3254073.355
AT ITER 4031 NEW BEST:: SOT 6925841 SOS 3840967 HAS SOPS 3840967 HAS SOUS 3250033 HAS SOUPS 3250033 WITH SCORE 3253873.967
AT ITER 4043 NEW BEST:: SOT 6924763 SOS 3843847 HAS SOPS 3843847 HAS SOUS 3249651 HAS SOUPS 3249651 WITH SCORE 3253494.847
AT ITER 4044 NEW BEST:: SOT 6924763 SOS 3843791 HAS SOPS 3843791 HAS SOUS 3249651 HAS SOUPS 3249651 WITH SCORE 3253494.791
AT ITER 4048 NEW BEST:: SOT 6922819 SOS 3842412 HAS SOPS 3842412 HAS SOUS 3249045 HAS SOUPS 3249045 WITH SCORE 3252887.412
AT ITER 4051 NEW BEST:: SOT 6922819 SOS 3841650 HAS SOPS 3841650 HAS SOUS 3249045 HAS SOUPS 3249045 WITH SCORE 3252886.65
AT ITER 4062 NEW BEST:: SOT 6921554 SOS 3840989 HAS SOPS 3840989 HAS SOUS 3247831 HAS SOUPS 3247831 WITH SCORE 3251671.989
AT ITER 4072 NEW BEST:: SOT 6918817 SOS 3839569 HAS SOPS 3839569 HAS SOUS 3247029 HAS SOUPS 3247029 WITH SCORE 3250868.569
AT ITER 4074 NEW BEST:: SOT 6918817 SOS 3839527 HAS SOPS 3839527 HAS SOUS 3247029 HAS SOUPS 3247029 WITH SCORE 3250868.527
AT ITER 4089 NEW BEST:: SOT 6918817 SOS 3839451 HAS SOPS 3839451 HAS SOUS 3246353 HAS SOUPS 3246353 WITH SCORE 3250192.451
AT ITER 4091 NEW BEST:: SOT 6916624 SOS 3841842 HAS SOPS 3841842 HAS SOUS 3245761 HAS SOUPS 3245761 WITH SCORE 3249602.842
AT ITER 4092 NEW BEST:: SOT 6912808 SOS 3840502 HAS SOPS 3840502 HAS SOUS 3243668 HAS SOUPS 3243668 WITH SCORE 3247508.502
AT ITER 4095 NEW BEST:: SOT 6912808 SOS 3840308 HAS SOPS 3840308 HAS SOUS 3243668 HAS SOUPS 3243668 WITH SCORE 3247508.308
AT ITER 4105 NEW BEST:: SOT 6912808 SOS 3840176 HAS SOPS 3840176 HAS SOUS 3243668 HAS SOUPS 3243668 WITH SCORE 3247508.176
AT ITER 4117 NEW BEST:: SOT 6912808 SOS 3839607 HAS SOPS 3839607 HAS SOUS 3243668 HAS SOUPS 3243668 WITH SCORE 3247507.607
AT ITER 4128 NEW BEST:: SOT 6912808 SOS 3839607 HAS SOPS 3839607 HAS SOUS 3243480 HAS SOUPS 3243480 WITH SCORE 3247319.607
AT ITER 4131 NEW BEST:: SOT 6912500 SOS 3839392 HAS SOPS 3839392 HAS SOUS 3243265 HAS SOUPS 3243265 WITH SCORE 3247104.392
AT ITER 4137 NEW BEST:: SOT 6911308 SOS 3839097 HAS SOPS 3839097 HAS SOUS 3242442 HAS SOUPS 3242442 WITH SCORE 3246281.097
AT ITER 4144 NEW BEST:: SOT 6911308 SOS 3838982 HAS SOPS 3838982 HAS SOUS 3242442 HAS SOUPS 3242442 WITH SCORE 3246280.982
AT ITER 4146 NEW BEST:: SOT 6911308 SOS 3838647 HAS SOPS 3838647 HAS SOUS 3242442 HAS SOUPS 3242442 WITH SCORE 3246280.647
AT ITER 4152 NEW BEST:: SOT 6912057 SOS 3835907 HAS SOPS 3835907 HAS SOUS 3242005 HAS SOUPS 3242005 WITH SCORE 3245840.907
AT ITER 4160 NEW BEST:: SOT 6910000 SOS 3834256 HAS SOPS 3834256 HAS SOUS 3240339 HAS SOUPS 3240339 WITH SCORE 3244173.256
AT ITER 4163 NEW BEST:: SOT 6907702 SOS 3841337 HAS SOPS 3841337 HAS SOUS 3238786 HAS SOUPS 3238786 WITH SCORE 3242627.337
AT ITER 4166 NEW BEST:: SOT 6901940 SOS 3837088 HAS SOPS 3837088 HAS SOUS 3236521 HAS SOUPS 3236521 WITH SCORE 3240358.088
AT ITER 4167 NEW BEST:: SOT 6894759 SOS 3843820 HAS SOPS 3843820 HAS SOUS 3234895 HAS SOUPS 3234895 WITH SCORE 3238738.82
AT ITER 4195 NEW BEST:: SOT 6894759 SOS 3842836 HAS SOPS 3842836 HAS SOUS 3234661 HAS SOUPS 3234661 WITH SCORE 3238503.836
AT ITER 4196 NEW BEST:: SOT 6891592 SOS 3850187 HAS SOPS 3850187 HAS SOUS 3234485 HAS SOUPS 3234485 WITH SCORE 3238335.187
AT ITER 4199 NEW BEST:: SOT 6890814 SOS 3848690 HAS SOPS 3848690 HAS SOUS 3233253 HAS SOUPS 3233253 WITH SCORE 3237101.69
AT ITER 4208 NEW BEST:: SOT 6890814 SOS 3848317 HAS SOPS 3848317 HAS SOUS 3232942 HAS SOUPS 3232942 WITH SCORE 3236790.317
AT ITER 4210 NEW BEST:: SOT 6890814 SOS 3848156 HAS SOPS 3848156 HAS SOUS 3232942 HAS SOUPS 3232942 WITH SCORE 3236790.156
AT ITER 4219 NEW BEST:: SOT 6889731 SOS 3847250 HAS SOPS 3847250 HAS SOUS 3232036 HAS SOUPS 3232036 WITH SCORE 3235883.25
AT ITER 4223 NEW BEST:: SOT 6889328 SOS 3846891 HAS SOPS 3846891 HAS SOUS 3231677 HAS SOUPS 3231677 WITH SCORE 3235523.891
AT ITER 4225 NEW BEST:: SOT 6888972 SOS 3847747 HAS SOPS 3847747 HAS SOUS 3231321 HAS SOUPS 3231321 WITH SCORE 3235168.747
AT ITER 4234 NEW BEST:: SOT 6889631 SOS 3846918 HAS SOPS 3846918 HAS SOUS 3231213 HAS SOUPS 3231213 WITH SCORE 3235059.918
AT ITER 4242 NEW BEST:: SOT 6889631 SOS 3846744 HAS SOPS 3846744 HAS SOUS 3231205 HAS SOUPS 3231205 WITH SCORE 3235051.744
AT ITER 4243 NEW BEST:: SOT 6889631 SOS 3846500 HAS SOPS 3846500 HAS SOUS 3231205 HAS SOUPS 3231205 WITH SCORE 3235051.5
AT ITER 4251 NEW BEST:: SOT 6889631 SOS 3841720 HAS SOPS 3841720 HAS SOUS 3230811 HAS SOUPS 3230811 WITH SCORE 3234652.72
AT ITER 4256 NEW BEST:: SOT 6889731 SOS 3841820 HAS SOPS 3841820 HAS SOUS 3230676 HAS SOUPS 3230676 WITH SCORE 3234517.82
AT ITER 4258 NEW BEST:: SOT 6889416 SOS 3841416 HAS SOPS 3841416 HAS SOUS 3230292 HAS SOUPS 3230292 WITH SCORE 3234133.416
AT ITER 4261 NEW BEST:: SOT 6888206 SOS 3840863 HAS SOPS 3840863 HAS SOUS 3230257 HAS SOUPS 3230257 WITH SCORE 3234097.863
AT ITER 4273 NEW BEST:: SOT 6888206 SOS 3840813 HAS SOPS 3840813 HAS SOUS 3230257 HAS SOUPS 3230257 WITH SCORE 3234097.813
AT ITER 4276 NEW BEST:: SOT 6888206 SOS 3840813 HAS SOPS 3840813 HAS SOUS 3230228 HAS SOUPS 3230228 WITH SCORE 3234068.813
AT ITER 4277 NEW BEST:: SOT 6888095 SOS 3840172 HAS SOPS 3840172 HAS SOUS 3229488 HAS SOUPS 3229488 WITH SCORE 3233328.172
AT ITER 4278 NEW BEST:: SOT 6888095 SOS 3840299 HAS SOPS 3840299 HAS SOUS 3229328 HAS SOUPS 3229328 WITH SCORE 3233168.299
AT ITER 4280 NEW BEST:: SOT 6886853 SOS 3839580 HAS SOPS 3839580 HAS SOUS 3228777 HAS SOUPS 3228777 WITH SCORE 3232616.58
AT ITER 4284 NEW BEST:: SOT 6887292 SOS 3839430 HAS SOPS 3839430 HAS SOUS 3228571 HAS SOUPS 3228571 WITH SCORE 3232410.43
AT ITER 4285 NEW BEST:: SOT 6883818 SOS 3838541 HAS SOPS 3838541 HAS SOUS 3226543 HAS SOUPS 3226543 WITH SCORE 3230381.541
AT ITER 4286 NEW BEST:: SOT 6883384 SOS 3838812 HAS SOPS 3838812 HAS SOUS 3226184 HAS SOUPS 3226184 WITH SCORE 3230022.812
AT ITER 4292 NEW BEST:: SOT 6880246 SOS 3836684 HAS SOPS 3836684 HAS SOUS 3223903 HAS SOUPS 3223903 WITH SCORE 3227739.684
AT ITER 4300 NEW BEST:: SOT 6880246 SOS 3836635 HAS SOPS 3836635 HAS SOUS 3223903 HAS SOUPS 3223903 WITH SCORE 3227739.635
AT ITER 4303 NEW BEST:: SOT 6880246 SOS 3836615 HAS SOPS 3836615 HAS SOUS 3223873 HAS SOUPS 3223873 WITH SCORE 3227709.615
AT ITER 4305 NEW BEST:: SOT 6880246 SOS 3836535 HAS SOPS 3836535 HAS SOUS 3223873 HAS SOUPS 3223873 WITH SCORE 3227709.535
AT ITER 4322 NEW BEST:: SOT 6880246 SOS 3837098 HAS SOPS 3837098 HAS SOUS 3223588 HAS SOUPS 3223588 WITH SCORE 3227425.098
AT ITER 4337 NEW BEST:: SOT 6880554 SOS 3837108 HAS SOPS 3837108 HAS SOUS 3222748 HAS SOUPS 3222748 WITH SCORE 3226585.108
AT ITER 4339 NEW BEST:: SOT 6880928 SOS 3835808 HAS SOPS 3835808 HAS SOUS 3221969 HAS SOUPS 3221969 WITH SCORE 3225804.808
AT ITER 4340 NEW BEST:: SOT 6880928 SOS 3835738 HAS SOPS 3835738 HAS SOUS 3221969 HAS SOUPS 3221969 WITH SCORE 3225804.738
AT ITER 4341 NEW BEST:: SOT 6880928 SOS 3836458 HAS SOPS 3836458 HAS SOUS 3221858 HAS SOUPS 3221858 WITH SCORE 3225694.458
AT ITER 4346 NEW BEST:: SOT 6880037 SOS 3843429 HAS SOPS 3843429 HAS SOUS 3221751 HAS SOUPS 3221751 WITH SCORE 3225594.429
AT ITER 4348 NEW BEST:: SOT 6879803 SOS 3843295 HAS SOPS 3843295 HAS SOUS 3221617 HAS SOUPS 3221617 WITH SCORE 3225460.295
AT ITER 4353 NEW BEST:: SOT 6877708 SOS 3844376 HAS SOPS 3844376 HAS SOUS 3220980 HAS SOUPS 3220980 WITH SCORE 3224824.376
AT ITER 4358 NEW BEST:: SOT 6877708 SOS 3844363 HAS SOPS 3844363 HAS SOUS 3220980 HAS SOUPS 3220980 WITH SCORE 3224824.363
AT ITER 4360 NEW BEST:: SOT 6877708 SOS 3844359 HAS SOPS 3844359 HAS SOUS 3220980 HAS SOUPS 3220980 WITH SCORE 3224824.359
AT ITER 4377 NEW BEST:: SOT 6874961 SOS 3844835 HAS SOPS 3844835 HAS SOUS 3220632 HAS SOUPS 3220632 WITH SCORE 3224476.835
AT ITER 4381 NEW BEST:: SOT 6874827 SOS 3844634 HAS SOPS 3844634 HAS SOUS 3220458 HAS SOUPS 3220458 WITH SCORE 3224302.634
AT ITER 4382 NEW BEST:: SOT 6873594 SOS 3844885 HAS SOPS 3844885 HAS SOUS 3219777 HAS SOUPS 3219777 WITH SCORE 3223621.885
AT ITER 4384 NEW BEST:: SOT 6872758 SOS 3844543 HAS SOPS 3844543 HAS SOUS 3219287 HAS SOUPS 3219287 WITH SCORE 3223131.543
AT ITER 4394 NEW BEST:: SOT 6871573 SOS 3844227 HAS SOPS 3844227 HAS SOUS 3218758 HAS SOUPS 3218758 WITH SCORE 3222602.227
AT ITER 4396 NEW BEST:: SOT 6871573 SOS 3842640 HAS SOPS 3842640 HAS SOUS 3218758 HAS SOUPS 3218758 WITH SCORE 3222600.64
AT ITER 4412 NEW BEST:: SOT 6870879 SOS 3841085 HAS SOPS 3841085 HAS SOUS 3217907 HAS SOUPS 3217907 WITH SCORE 3221748.085
AT ITER 4414 NEW BEST:: SOT 6870729 SOS 3840928 HAS SOPS 3840928 HAS SOUS 3217036 HAS SOUPS 3217036 WITH SCORE 3220876.928
AT ITER 4441 NEW BEST:: SOT 6870729 SOS 3840531 HAS SOPS 3840531 HAS SOUS 3217036 HAS SOUPS 3217036 WITH SCORE 3220876.531
AT ITER 4443 NEW BEST:: SOT 6870729 SOS 3840388 HAS SOPS 3840388 HAS SOUS 3217036 HAS SOUPS 3217036 WITH SCORE 3220876.388
AT ITER 4446 NEW BEST:: SOT 6870729 SOS 3840388 HAS SOPS 3840388 HAS SOUS 3216943 HAS SOUPS 3216943 WITH SCORE 3220783.388
AT ITER 4448 NEW BEST:: SOT 6870729 SOS 3840107 HAS SOPS 3840107 HAS SOUS 3216841 HAS SOUPS 3216841 WITH SCORE 3220681.107
AT ITER 4452 NEW BEST:: SOT 6870729 SOS 3840084 HAS SOPS 3840084 HAS SOUS 3216841 HAS SOUPS 3216841 WITH SCORE 3220681.084
AT ITER 4457 NEW BEST:: SOT 6869718 SOS 3839073 HAS SOPS 3839073 HAS SOUS 3216017 HAS SOUPS 3216017 WITH SCORE 3219856.073
AT ITER 4466 NEW BEST:: SOT 6866310 SOS 3836706 HAS SOPS 3836706 HAS SOUS 3213914 HAS SOUPS 3213914 WITH SCORE 3217750.706
AT ITER 4467 NEW BEST:: SOT 6866310 SOS 3836402 HAS SOPS 3836402 HAS SOUS 3213802 HAS SOUPS 3213802 WITH SCORE 3217638.402
AT ITER 4482 NEW BEST:: SOT 6866261 SOS 3836353 HAS SOPS 3836353 HAS SOUS 3213363 HAS SOUPS 3213363 WITH SCORE 3217199.353
AT ITER 4483 NEW BEST:: SOT 6865991 SOS 3836083 HAS SOPS 3836083 HAS SOUS 3213030 HAS SOUPS 3213030 WITH SCORE 3216866.083
AT ITER 4487 NEW BEST:: SOT 6865541 SOS 3835633 HAS SOPS 3835633 HAS SOUS 3212249 HAS SOUPS 3212249 WITH SCORE 3216084.633
AT ITER 4495 NEW BEST:: SOT 6865541 SOS 3832832 HAS SOPS 3832832 HAS SOUS 3212249 HAS SOUPS 3212249 WITH SCORE 3216081.832
AT ITER 4499 NEW BEST:: SOT 6865541 SOS 3832646 HAS SOPS 3832646 HAS SOUS 3212249 HAS SOUPS 3212249 WITH SCORE 3216081.646
AT ITER 4504 NEW BEST:: SOT 6865541 SOS 3832625 HAS SOPS 3832625 HAS SOUS 3212249 HAS SOUPS 3212249 WITH SCORE 3216081.625
AT ITER 4510 NEW BEST:: SOT 6866071 SOS 3832655 HAS SOPS 3832655 HAS SOUS 3211759 HAS SOUPS 3211759 WITH SCORE 3215591.655
AT ITER 4512 NEW BEST:: SOT 6866223 SOS 3832235 HAS SOPS 3832235 HAS SOUS 3211096 HAS SOUPS 3211096 WITH SCORE 3214928.235
AT ITER 4519 NEW BEST:: SOT 6866223 SOS 3832217 HAS SOPS 3832217 HAS SOUS 3211096 HAS SOUPS 3211096 WITH SCORE 3214928.217
AT ITER 4532 NEW BEST:: SOT 6861005 SOS 3827365 HAS SOPS 3827365 HAS SOUS 3206580 HAS SOUPS 3206580 WITH SCORE 3210407.365
AT ITER 4536 NEW BEST:: SOT 6856461 SOS 3825035 HAS SOPS 3825035 HAS SOUS 3202983 HAS SOUPS 3202983 WITH SCORE 3206808.035
AT ITER 4546 NEW BEST:: SOT 6856910 SOS 3821419 HAS SOPS 3821419 HAS SOUS 3202185 HAS SOUPS 3202185 WITH SCORE 3206006.419
AT ITER 4547 NEW BEST:: SOT 6856910 SOS 3821212 HAS SOPS 3821212 HAS SOUS 3202164 HAS SOUPS 3202164 WITH SCORE 3205985.212
AT ITER 4548 NEW BEST:: SOT 6856846 SOS 3821148 HAS SOPS 3821148 HAS SOUS 3202100 HAS SOUPS 3202100 WITH SCORE 3205921.148
AT ITER 4553 NEW BEST:: SOT 6856846 SOS 3821113 HAS SOPS 3821113 HAS SOUS 3202100 HAS SOUPS 3202100 WITH SCORE 3205921.113
AT ITER 4554 NEW BEST:: SOT 6856830 SOS 3821099 HAS SOPS 3821099 HAS SOUS 3202088 HAS SOUPS 3202088 WITH SCORE 3205909.099
AT ITER 4555 NEW BEST:: SOT 6848295 SOS 3813139 HAS SOPS 3813139 HAS SOUS 3194241 HAS SOUPS 3194241 WITH SCORE 3198054.139
AT ITER 4572 NEW BEST:: SOT 6848295 SOS 3812871 HAS SOPS 3812871 HAS SOUS 3194241 HAS SOUPS 3194241 WITH SCORE 3198053.871
AT ITER 4585 NEW BEST:: SOT 6848295 SOS 3812759 HAS SOPS 3812759 HAS SOUS 3194145 HAS SOUPS 3194145 WITH SCORE 3197957.759
AT ITER 4588 NEW BEST:: SOT 6848580 SOS 3812913 HAS SOPS 3812913 HAS SOUS 3194054 HAS SOUPS 3194054 WITH SCORE 3197866.913
AT ITER 4589 NEW BEST:: SOT 6846345 SOS 3812189 HAS SOPS 3812189 HAS SOUS 3193605 HAS SOUPS 3193605 WITH SCORE 3197417.189
AT ITER 4594 NEW BEST:: SOT 6846345 SOS 3812076 HAS SOPS 3812076 HAS SOUS 3193605 HAS SOUPS 3193605 WITH SCORE 3197417.076
AT ITER 4596 NEW BEST:: SOT 6842078 SOS 3808415 HAS SOPS 3808415 HAS SOUS 3190167 HAS SOUPS 3190167 WITH SCORE 3193975.415
AT ITER 4597 NEW BEST:: SOT 6842078 SOS 3807797 HAS SOPS 3807797 HAS SOUS 3190167 HAS SOUPS 3190167 WITH SCORE 3193974.797
AT ITER 4606 NEW BEST:: SOT 6842078 SOS 3807036 HAS SOPS 3807036 HAS SOUS 3190167 HAS SOUPS 3190167 WITH SCORE 3193974.036
AT ITER 4612 NEW BEST:: SOT 6841154 SOS 3806922 HAS SOPS 3806922 HAS SOUS 3190053 HAS SOUPS 3190053 WITH SCORE 3193859.922
AT ITER 4614 NEW BEST:: SOT 6841054 SOS 3806722 HAS SOPS 3806722 HAS SOUS 3189853 HAS SOUPS 3189853 WITH SCORE 3193659.722
AT ITER 4618 NEW BEST:: SOT 6841054 SOS 3806373 HAS SOPS 3806373 HAS SOUS 3189853 HAS SOUPS 3189853 WITH SCORE 3193659.373
AT ITER 4619 NEW BEST:: SOT 6839935 SOS 3805352 HAS SOPS 3805352 HAS SOUS 3188832 HAS SOUPS 3188832 WITH SCORE 3192637.352
AT ITER 4628 NEW BEST:: SOT 6838246 SOS 3806870 HAS SOPS 3806870 HAS SOUS 3187988 HAS SOUPS 3187988 WITH SCORE 3191794.87
AT ITER 4637 NEW BEST:: SOT 6838246 SOS 3806535 HAS SOPS 3806535 HAS SOUS 3187988 HAS SOUPS 3187988 WITH SCORE 3191794.535
AT ITER 4642 NEW BEST:: SOT 6834172 SOS 3814690 HAS SOPS 3814690 HAS SOUS 3186101 HAS SOUPS 3186101 WITH SCORE 3189915.69
AT ITER 4644 NEW BEST:: SOT 6833864 SOS 3814382 HAS SOPS 3814382 HAS SOUS 3185751 HAS SOUPS 3185751 WITH SCORE 3189565.382
AT ITER 4645 NEW BEST:: SOT 6833299 SOS 3814612 HAS SOPS 3814612 HAS SOUS 3185459 HAS SOUPS 3185459 WITH SCORE 3189273.612
AT ITER 4648 NEW BEST:: SOT 6833026 SOS 3814587 HAS SOPS 3814587 HAS SOUS 3185434 HAS SOUPS 3185434 WITH SCORE 3189248.587
AT ITER 4658 NEW BEST:: SOT 6833026 SOS 3814072 HAS SOPS 3814072 HAS SOUS 3185434 HAS SOUPS 3185434 WITH SCORE 3189248.072
AT ITER 4659 NEW BEST:: SOT 6833026 SOS 3814001 HAS SOPS 3814001 HAS SOUS 3185433 HAS SOUPS 3185433 WITH SCORE 3189247.001
AT ITER 4664 NEW BEST:: SOT 6832309 SOS 3813596 HAS SOPS 3813596 HAS SOUS 3185028 HAS SOUPS 3185028 WITH SCORE 3188841.596
AT ITER 4670 NEW BEST:: SOT 6830238 SOS 3811800 HAS SOPS 3811800 HAS SOUS 3183520 HAS SOUPS 3183520 WITH SCORE 3187331.8
AT ITER 4677 NEW BEST:: SOT 6830238 SOS 3811800 HAS SOPS 3811800 HAS SOUS 3183511 HAS SOUPS 3183511 WITH SCORE 3187322.8
AT ITER 4683 NEW BEST:: SOT 6829085 SOS 3812011 HAS SOPS 3812011 HAS SOUS 3183445 HAS SOUPS 3183445 WITH SCORE 3187257.011
AT ITER 4685 NEW BEST:: SOT 6829658 SOS 3810955 HAS SOPS 3810955 HAS SOUS 3182477 HAS SOUPS 3182477 WITH SCORE 3186287.955
AT ITER 4690 NEW BEST:: SOT 6826438 SOS 3810491 HAS SOPS 3810491 HAS SOUS 3180801 HAS SOUPS 3180801 WITH SCORE 3184611.491
AT ITER 4701 NEW BEST:: SOT 6826248 SOS 3810301 HAS SOPS 3810301 HAS SOUS 3180519 HAS SOUPS 3180519 WITH SCORE 3184329.301
AT ITER 4706 NEW BEST:: SOT 6826248 SOS 3809850 HAS SOPS 3809850 HAS SOUS 3180519 HAS SOUPS 3180519 WITH SCORE 3184328.85
AT ITER 4707 NEW BEST:: SOT 6825004 SOS 3808927 HAS SOPS 3808927 HAS SOUS 3179867 HAS SOUPS 3179867 WITH SCORE 3183675.927
AT ITER 4714 NEW BEST:: SOT 6824645 SOS 3814048 HAS SOPS 3814048 HAS SOUS 3179677 HAS SOUPS 3179677 WITH SCORE 3183491.048
AT ITER 4717 NEW BEST:: SOT 6824238 SOS 3813641 HAS SOPS 3813641 HAS SOUS 3179293 HAS SOUPS 3179293 WITH SCORE 3183106.641
AT ITER 4722 NEW BEST:: SOT 6824238 SOS 3812502 HAS SOPS 3812502 HAS SOUS 3179147 HAS SOUPS 3179147 WITH SCORE 3182959.502
AT ITER 4732 NEW BEST:: SOT 6824400 SOS 3812691 HAS SOPS 3812691 HAS SOUS 3178853 HAS SOUPS 3178853 WITH SCORE 3182665.691
AT ITER 4736 NEW BEST:: SOT 6824441 SOS 3812537 HAS SOPS 3812537 HAS SOUS 3178635 HAS SOUPS 3178635 WITH SCORE 3182447.537
AT ITER 4737 NEW BEST:: SOT 6825215 SOS 3811038 HAS SOPS 3811038 HAS SOUS 3178567 HAS SOUPS 3178567 WITH SCORE 3182378.038
AT ITER 4746 NEW BEST:: SOT 6825215 SOS 3810635 HAS SOPS 3810635 HAS SOUS 3178247 HAS SOUPS 3178247 WITH SCORE 3182057.635
AT ITER 4756 NEW BEST:: SOT 6821934 SOS 3810556 HAS SOPS 3810556 HAS SOUS 3175694 HAS SOUPS 3175694 WITH SCORE 3179504.556
AT ITER 4759 NEW BEST:: SOT 6821307 SOS 3809626 HAS SOPS 3809626 HAS SOUS 3174440 HAS SOUPS 3174440 WITH SCORE 3178249.626
AT ITER 4777 NEW BEST:: SOT 6821307 SOS 3809521 HAS SOPS 3809521 HAS SOUS 3174440 HAS SOUPS 3174440 WITH SCORE 3178249.521
AT ITER 4782 NEW BEST:: SOT 6821307 SOS 3809148 HAS SOPS 3809148 HAS SOUS 3174369 HAS SOUPS 3174369 WITH SCORE 3178178.148
AT ITER 4783 NEW BEST:: SOT 6821220 SOS 3809061 HAS SOPS 3809061 HAS SOUS 3174266 HAS SOUPS 3174266 WITH SCORE 3178075.061
AT ITER 4789 NEW BEST:: SOT 6820759 SOS 3808531 HAS SOPS 3808531 HAS SOUS 3173702 HAS SOUPS 3173702 WITH SCORE 3177510.531
AT ITER 4792 NEW BEST:: SOT 6820490 SOS 3808494 HAS SOPS 3808494 HAS SOUS 3173607 HAS SOUPS 3173607 WITH SCORE 3177415.494
AT ITER 4797 NEW BEST:: SOT 6820490 SOS 3808004 HAS SOPS 3808004 HAS SOUS 3173607 HAS SOUPS 3173607 WITH SCORE 3177415.004
AT ITER 4800 NEW BEST:: SOT 6820490 SOS 3807887 HAS SOPS 3807887 HAS SOUS 3173149 HAS SOUPS 3173149 WITH SCORE 3176956.887
AT ITER 4802 NEW BEST:: SOT 6820490 SOS 3807826 HAS SOPS 3807826 HAS SOUS 3173149 HAS SOUPS 3173149 WITH SCORE 3176956.826
AT ITER 4804 NEW BEST:: SOT 6820278 SOS 3807667 HAS SOPS 3807667 HAS SOUS 3173096 HAS SOUPS 3173096 WITH SCORE 3176903.667
AT ITER 4808 NEW BEST:: SOT 6820278 SOS 3805756 HAS SOPS 3805756 HAS SOUS 3173096 HAS SOUPS 3173096 WITH SCORE 3176901.756
AT ITER 4823 NEW BEST:: SOT 6818379 SOS 3804504 HAS SOPS 3804504 HAS SOUS 3172018 HAS SOUPS 3172018 WITH SCORE 3175822.504
AT ITER 4837 NEW BEST:: SOT 6816214 SOS 3803290 HAS SOPS 3803290 HAS SOUS 3170932 HAS SOUPS 3170932 WITH SCORE 3174735.29
AT ITER 4839 NEW BEST:: SOT 6816810 SOS 3803532 HAS SOPS 3803532 HAS SOUS 3170886 HAS SOUPS 3170886 WITH SCORE 3174689.532
AT ITER 4849 NEW BEST:: SOT 6816810 SOS 3803459 HAS SOPS 3803459 HAS SOUS 3170886 HAS SOUPS 3170886 WITH SCORE 3174689.459
AT ITER 4857 NEW BEST:: SOT 6816873 SOS 3802998 HAS SOPS 3802998 HAS SOUS 3170629 HAS SOUPS 3170629 WITH SCORE 3174431.998
AT ITER 4866 NEW BEST:: SOT 6816873 SOS 3802722 HAS SOPS 3802722 HAS SOUS 3170629 HAS SOUPS 3170629 WITH SCORE 3174431.722
AT ITER 4867 NEW BEST:: SOT 6813503 SOS 3803680 HAS SOPS 3803680 HAS SOUS 3168395 HAS SOUPS 3168395 WITH SCORE 3172198.68
AT ITER 4873 NEW BEST:: SOT 6814007 SOS 3801037 HAS SOPS 3801037 HAS SOUS 3168327 HAS SOUPS 3168327 WITH SCORE 3172128.037
AT ITER 4875 NEW BEST:: SOT 6814007 SOS 3800888 HAS SOPS 3800888 HAS SOUS 3168327 HAS SOUPS 3168327 WITH SCORE 3172127.888
AT ITER 4879 NEW BEST:: SOT 6813734 SOS 3800706 HAS SOPS 3800706 HAS SOUS 3168327 HAS SOUPS 3168327 WITH SCORE 3172127.706
AT ITER 4881 NEW BEST:: SOT 6810294 SOS 3798022 HAS SOPS 3798022 HAS SOUS 3166200 HAS SOUPS 3166200 WITH SCORE 3169998.022
AT ITER 4889 NEW BEST:: SOT 6810294 SOS 3797946 HAS SOPS 3797946 HAS SOUS 3166200 HAS SOUPS 3166200 WITH SCORE 3169997.946
AT ITER 4892 NEW BEST:: SOT 6810633 SOS 3798251 HAS SOPS 3798251 HAS SOUS 3166013 HAS SOUPS 3166013 WITH SCORE 3169811.251
AT ITER 4895 NEW BEST:: SOT 6812947 SOS 3796036 HAS SOPS 3796036 HAS SOUS 3165684 HAS SOUPS 3165684 WITH SCORE 3169480.036
AT ITER 4898 NEW BEST:: SOT 6809712 SOS 3796020 HAS SOPS 3796020 HAS SOUS 3164714 HAS SOUPS 3164714 WITH SCORE 3168510.02
AT ITER 4900 NEW BEST:: SOT 6810627 SOS 3791913 HAS SOPS 3791913 HAS SOUS 3164662 HAS SOUPS 3164662 WITH SCORE 3168453.913
AT ITER 4902 NEW BEST:: SOT 6810966 SOS 3786042 HAS SOPS 3786042 HAS SOUS 3164235 HAS SOUPS 3164235 WITH SCORE 3168021.042
AT ITER 4903 NEW BEST:: SOT 6810966 SOS 3785726 HAS SOPS 3785726 HAS SOUS 3164235 HAS SOUPS 3164235 WITH SCORE 3168020.726
AT ITER 4905 NEW BEST:: SOT 6810966 SOS 3785336 HAS SOPS 3785336 HAS SOUS 3164235 HAS SOUPS 3164235 WITH SCORE 3168020.336
AT ITER 4909 NEW BEST:: SOT 6810966 SOS 3785050 HAS SOPS 3785050 HAS SOUS 3163741 HAS SOUPS 3163741 WITH SCORE 3167526.05
AT ITER 4911 NEW BEST:: SOT 6810966 SOS 3784430 HAS SOPS 3784430 HAS SOUS 3163741 HAS SOUPS 3163741 WITH SCORE 3167525.43
AT ITER 4920 NEW BEST:: SOT 6810771 SOS 3784751 HAS SOPS 3784751 HAS SOUS 3163708 HAS SOUPS 3163708 WITH SCORE 3167492.751
AT ITER 4922 NEW BEST:: SOT 6810771 SOS 3783923 HAS SOPS 3783923 HAS SOUS 3163708 HAS SOUPS 3163708 WITH SCORE 3167491.923
AT ITER 4926 NEW BEST:: SOT 6810774 SOS 3783923 HAS SOPS 3783923 HAS SOUS 3163702 HAS SOUPS 3163702 WITH SCORE 3167485.923
AT ITER 4935 NEW BEST:: SOT 6808778 SOS 3783240 HAS SOPS 3783240 HAS SOUS 3163314 HAS SOUPS 3163314 WITH SCORE 3167097.24
AT ITER 4938 NEW BEST:: SOT 6808737 SOS 3783167 HAS SOPS 3783167 HAS SOUS 3163229 HAS SOUPS 3163229 WITH SCORE 3167012.167
AT ITER 4947 NEW BEST:: SOT 6807842 SOS 3783507 HAS SOPS 3783507 HAS SOUS 3163016 HAS SOUPS 3163016 WITH SCORE 3166799.507
AT ITER 4948 NEW BEST:: SOT 6807842 SOS 3782941 HAS SOPS 3782941 HAS SOUS 3163016 HAS SOUPS 3163016 WITH SCORE 3166798.941
AT ITER 4967 NEW BEST:: SOT 6804712 SOS 3783408 HAS SOPS 3783408 HAS SOUS 3161402 HAS SOUPS 3161402 WITH SCORE 3165185.408
AT ITER 4978 NEW BEST:: SOT 6804712 SOS 3782128 HAS SOPS 3782128 HAS SOUS 3161091 HAS SOUPS 3161091 WITH SCORE 3164873.128
AT ITER 4982 NEW BEST:: SOT 6804579 SOS 3781995 HAS SOPS 3781995 HAS SOUS 3160825 HAS SOUPS 3160825 WITH SCORE 3164606.995
AT ITER 4985 NEW BEST:: SOT 6804579 SOS 3783292 HAS SOPS 3783292 HAS SOUS 3160645 HAS SOUPS 3160645 WITH SCORE 3164428.292
AT ITER 4986 NEW BEST:: SOT 6804867 SOS 3782648 HAS SOPS 3782648 HAS SOUS 3160268 HAS SOUPS 3160268 WITH SCORE 3164050.648
AT ITER 4992 NEW BEST:: SOT 6804867 SOS 3782648 HAS SOPS 3782648 HAS SOUS 3160265 HAS SOUPS 3160265 WITH SCORE 3164047.648
AT ITER 4997 NEW BEST:: SOT 6804867 SOS 3782579 HAS SOPS 3782579 HAS SOUS 3160265 HAS SOUPS 3160265 WITH SCORE 3164047.579
AT ITER 4999 NEW BEST:: SOT 6804690 SOS 3781923 HAS SOPS 3781923 HAS SOUS 3159959 HAS SOUPS 3159959 WITH SCORE 3163740.923
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Sudoku-PT-AN14-CTLCardinality-00 (AF(potential( ( 3 ) <= (tk(P1517)) )))
PROPERTY: Sudoku-PT-AN14-CTLCardinality-01 (AX( (! (EX( potential( (tk(P2809)) <= (tk(P2399)) ))))))
PROPERTY: Sudoku-PT-AN14-CTLCardinality-02 (AU( ( potential( ( 1 ) <= (tk(P3326)) ) & potential( ( 3 ) <= (tk(P882)) ) ),(AF(potential( ( 2 ) <= (tk(P1743)) ))) ))
PROPERTY: Sudoku-PT-AN14-CTLCardinality-03 (! ( (EU( potential( (tk(P950)) <= (tk(P976)) ),potential( ( 3 ) <= (tk(P168)) ) )) | ( ( ( potential( (tk(P2549)) <= (tk(P2473)) ) & potential( (tk(P2154)) <= (tk(P212)) ) ) & ( potential( ( 2 ) <= (tk(P1864)) ) | potential( (tk(P2619)) <= (tk(P2865)) ) ) ) & (! ( potential( ( 1 ) <= (tk(P3229)) ) | potential( (tk(P782)) <= (tk(P1982)) ) )) ) ))
PROPERTY: Sudoku-PT-AN14-CTLCardinality-04 (EG( ( (EX( potential( ( 1 ) <= (tk(P803)) ))) | potential( (tk(P402)) <= (tk(P234)) ) )))
PROPERTY: Sudoku-PT-AN14-CTLCardinality-05 (! ( (EG( potential( (tk(P2000)) <= (tk(P1897)) ))) & (EU( potential( (tk(P597)) <= (tk(P2213)) ),potential( (tk(P610)) <= (tk(P1482)) ) )) ))
PROPERTY: Sudoku-PT-AN14-CTLCardinality-06 (EX( ( (! ( potential( (tk(P1229)) <= (tk(P1491)) ) & potential( (tk(P1013)) <= (tk(P1453)) ) )) & (EG( potential( ( 3 ) <= (tk(P2465)) ))) )))
PROPERTY: Sudoku-PT-AN14-CTLCardinality-07 (AF((AG( ( potential( (tk(P1958)) <= (tk(P587)) ) | potential( ( 1 ) <= (tk(P1468)) ) )))))
PROPERTY: Sudoku-PT-AN14-CTLCardinality-08 (AF(( (AX( potential( (tk(P1267)) <= (tk(P907)) ))) | (! ( potential( (tk(P1785)) <= (tk(P897)) ) & potential( (tk(P1625)) <= (tk(P310)) ) )) )))
PROPERTY: Sudoku-PT-AN14-CTLCardinality-09 (EG( ( (! (! potential( (tk(P2150)) <= (tk(P933)) ))) & (! ( potential( ( 3 ) <= (tk(P2954)) ) & potential( ( 2 ) <= (tk(P2420)) ) )) )))
PROPERTY: Sudoku-PT-AN14-CTLCardinality-10 (AF(potential( ( 1 ) <= (tk(P2654)) )))
PROPERTY: Sudoku-PT-AN14-CTLCardinality-11 (EG( (EX( (! potential( ( 2 ) <= (tk(P1018)) ))))))
PROPERTY: Sudoku-PT-AN14-CTLCardinality-12 (! (EG( (EF(potential( (tk(P1737)) <= (tk(P430)) ))))))
PROPERTY: Sudoku-PT-AN14-CTLCardinality-13 (EF(potential( ( 2 ) <= (tk(P1566)) )))
PROPERTY: Sudoku-PT-AN14-CTLCardinality-14 (! ( (! (AF(potential( ( 3 ) <= (tk(P929)) )))) | (EG( ( potential( ( 2 ) <= (tk(P866)) ) & potential( (tk(P2213)) <= (tk(P3104)) ) ))) ))
PROPERTY: Sudoku-PT-AN14-CTLCardinality-15 ( (EX( ( (! potential( (tk(P1737)) <= (tk(P1613)) )) & (! potential( ( 3 ) <= (tk(P1574)) )) ))) | ( (EF(potential( (tk(P1947)) <= (tk(P1423)) ))) & (! ( ( potential( (tk(P2241)) <= (tk(P1400)) ) & potential( ( 1 ) <= (tk(P906)) ) ) | ( potential( ( 1 ) <= (tk(P612)) ) | potential( (tk(P2489)) <= (tk(P868)) ) ) )) ) )

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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