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-159033538800428.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-AN15, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538800428
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 12M
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Jun 3 09:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Jun 3 09:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Jun 3 09:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 898K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.7M May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.5M May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 5.1M May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.3K Jun 3 09:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Jun 3 09:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Jun 3 09:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jun 3 09:11 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.8M 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-AN15-CTLFireability-00
FORMULA_NAME Sudoku-PT-AN15-CTLFireability-01
FORMULA_NAME Sudoku-PT-AN15-CTLFireability-02
FORMULA_NAME Sudoku-PT-AN15-CTLFireability-03
FORMULA_NAME Sudoku-PT-AN15-CTLFireability-04
FORMULA_NAME Sudoku-PT-AN15-CTLFireability-05
FORMULA_NAME Sudoku-PT-AN15-CTLFireability-06
FORMULA_NAME Sudoku-PT-AN15-CTLFireability-07
FORMULA_NAME Sudoku-PT-AN15-CTLFireability-08
FORMULA_NAME Sudoku-PT-AN15-CTLFireability-09
FORMULA_NAME Sudoku-PT-AN15-CTLFireability-10
FORMULA_NAME Sudoku-PT-AN15-CTLFireability-11
FORMULA_NAME Sudoku-PT-AN15-CTLFireability-12
FORMULA_NAME Sudoku-PT-AN15-CTLFireability-13
FORMULA_NAME Sudoku-PT-AN15-CTLFireability-14
FORMULA_NAME Sudoku-PT-AN15-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1591336619124

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

GOT IT HERE. BS
Petri model created: 4050 places, 3375 transitions, 13500 arcs.
AT ITER 0 NEW BEST:: SOT 11389088 SOS 5670095 HAS SOPS 5670095 HAS SOUS 5670095 HAS SOUPS 5670095 WITH SCORE 5675765.095
AT ITER 32 NEW BEST:: SOT 11388275 SOS 5671071 HAS SOPS 5671071 HAS SOUS 5669440 HAS SOUPS 5669440 WITH SCORE 5675111.071
AT ITER 75 NEW BEST:: SOT 11385062 SOS 5687622 HAS SOPS 5687622 HAS SOUS 5666468 HAS SOUPS 5666468 WITH SCORE 5672155.622
AT ITER 80 NEW BEST:: SOT 11381276 SOS 5712042 HAS SOPS 5712042 HAS SOUS 5662979 HAS SOUPS 5662979 WITH SCORE 5668691.042
AT ITER 84 NEW BEST:: SOT 11381122 SOS 5712888 HAS SOPS 5712888 HAS SOUS 5662825 HAS SOUPS 5662825 WITH SCORE 5668537.888
AT ITER 103 NEW BEST:: SOT 11380807 SOS 5712849 HAS SOPS 5712849 HAS SOUS 5662786 HAS SOUPS 5662786 WITH SCORE 5668498.849
AT ITER 106 NEW BEST:: SOT 11377510 SOS 5709922 HAS SOPS 5709922 HAS SOUS 5659691 HAS SOUPS 5659691 WITH SCORE 5665400.922
AT ITER 112 NEW BEST:: SOT 11374255 SOS 5706982 HAS SOPS 5706982 HAS SOUS 5656625 HAS SOUPS 5656625 WITH SCORE 5662331.982
AT ITER 117 NEW BEST:: SOT 11370916 SOS 5703993 HAS SOPS 5703993 HAS SOUS 5653580 HAS SOUPS 5653580 WITH SCORE 5659283.993
AT ITER 119 NEW BEST:: SOT 11367689 SOS 5701136 HAS SOPS 5701136 HAS SOUS 5650527 HAS SOUPS 5650527 WITH SCORE 5656228.136
AT ITER 120 NEW BEST:: SOT 11365708 SOS 5699488 HAS SOPS 5699488 HAS SOUS 5648725 HAS SOUPS 5648725 WITH SCORE 5654424.488
AT ITER 127 NEW BEST:: SOT 11361950 SOS 5706083 HAS SOPS 5706083 HAS SOUS 5645163 HAS SOUPS 5645163 WITH SCORE 5650869.083
AT ITER 136 NEW BEST:: SOT 11358297 SOS 5719137 HAS SOPS 5719137 HAS SOUS 5641760 HAS SOUPS 5641760 WITH SCORE 5647479.137
AT ITER 137 NEW BEST:: SOT 11358475 SOS 5719275 HAS SOPS 5719275 HAS SOUS 5641604 HAS SOUPS 5641604 WITH SCORE 5647323.275
AT ITER 142 NEW BEST:: SOT 11353862 SOS 5715006 HAS SOPS 5715006 HAS SOUS 5637237 HAS SOUPS 5637237 WITH SCORE 5642952.006
AT ITER 143 NEW BEST:: SOT 11353526 SOS 5726290 HAS SOPS 5726290 HAS SOUS 5636950 HAS SOUPS 5636950 WITH SCORE 5642676.29
AT ITER 145 NEW BEST:: SOT 11349104 SOS 5724115 HAS SOPS 5724115 HAS SOUS 5632780 HAS SOUPS 5632780 WITH SCORE 5638504.115
AT ITER 147 NEW BEST:: SOT 11346358 SOS 5730463 HAS SOPS 5730463 HAS SOUS 5630965 HAS SOUPS 5630965 WITH SCORE 5636695.463
AT ITER 148 NEW BEST:: SOT 11346204 SOS 5736642 HAS SOPS 5736642 HAS SOUS 5630811 HAS SOUPS 5630811 WITH SCORE 5636547.642
AT ITER 151 NEW BEST:: SOT 11345026 SOS 5735490 HAS SOPS 5735490 HAS SOUS 5629633 HAS SOUPS 5629633 WITH SCORE 5635368.49
AT ITER 165 NEW BEST:: SOT 11343773 SOS 5734555 HAS SOPS 5734555 HAS SOUS 5628656 HAS SOUPS 5628656 WITH SCORE 5634390.555
AT ITER 173 NEW BEST:: SOT 11342380 SOS 5733429 HAS SOPS 5733429 HAS SOUS 5627306 HAS SOUPS 5627306 WITH SCORE 5633039.429
AT ITER 175 NEW BEST:: SOT 11340007 SOS 5731401 HAS SOPS 5731401 HAS SOUS 5625068 HAS SOUPS 5625068 WITH SCORE 5630799.401
AT ITER 191 NEW BEST:: SOT 11337998 SOS 5729710 HAS SOPS 5729710 HAS SOUS 5623195 HAS SOUPS 5623195 WITH SCORE 5628924.71
AT ITER 193 NEW BEST:: SOT 11337998 SOS 5729008 HAS SOPS 5729008 HAS SOUS 5623195 HAS SOUPS 5623195 WITH SCORE 5628924.008
AT ITER 194 NEW BEST:: SOT 11336773 SOS 5728045 HAS SOPS 5728045 HAS SOUS 5622064 HAS SOUPS 5622064 WITH SCORE 5627792.045
AT ITER 199 NEW BEST:: SOT 11333098 SOS 5724682 HAS SOPS 5724682 HAS SOUS 5618659 HAS SOUPS 5618659 WITH SCORE 5624383.682
AT ITER 200 NEW BEST:: SOT 11330785 SOS 5725286 HAS SOPS 5725286 HAS SOUS 5616728 HAS SOUPS 5616728 WITH SCORE 5622453.286
AT ITER 204 NEW BEST:: SOT 11327946 SOS 5746796 HAS SOPS 5746796 HAS SOUS 5614039 HAS SOUPS 5614039 WITH SCORE 5619785.796
AT ITER 208 NEW BEST:: SOT 11323687 SOS 5766179 HAS SOPS 5766179 HAS SOUS 5610288 HAS SOUPS 5610288 WITH SCORE 5616054.179
AT ITER 210 NEW BEST:: SOT 11323687 SOS 5766017 HAS SOPS 5766017 HAS SOUS 5610288 HAS SOUPS 5610288 WITH SCORE 5616054.017
AT ITER 219 NEW BEST:: SOT 11321804 SOS 5764502 HAS SOPS 5764502 HAS SOUS 5608521 HAS SOUPS 5608521 WITH SCORE 5614285.502
AT ITER 228 NEW BEST:: SOT 11320852 SOS 5767792 HAS SOPS 5767792 HAS SOUS 5608321 HAS SOUPS 5608321 WITH SCORE 5614088.792
AT ITER 232 NEW BEST:: SOT 11320628 SOS 5776351 HAS SOPS 5776351 HAS SOUS 5608232 HAS SOUPS 5608232 WITH SCORE 5614008.351
AT ITER 234 NEW BEST:: SOT 11316749 SOS 5794985 HAS SOPS 5794985 HAS SOUS 5605367 HAS SOUPS 5605367 WITH SCORE 5611161.985
AT ITER 239 NEW BEST:: SOT 11316749 SOS 5793307 HAS SOPS 5793307 HAS SOUS 5605367 HAS SOUPS 5605367 WITH SCORE 5611160.307
AT ITER 242 NEW BEST:: SOT 11316329 SOS 5796865 HAS SOPS 5796865 HAS SOUS 5605120 HAS SOUPS 5605120 WITH SCORE 5610916.865
AT ITER 265 NEW BEST:: SOT 11316329 SOS 5796170 HAS SOPS 5796170 HAS SOUS 5605120 HAS SOUPS 5605120 WITH SCORE 5610916.17
AT ITER 270 NEW BEST:: SOT 11316329 SOS 5792761 HAS SOPS 5792761 HAS SOUS 5604947 HAS SOUPS 5604947 WITH SCORE 5610739.761
AT ITER 280 NEW BEST:: SOT 11316653 SOS 5793085 HAS SOPS 5793085 HAS SOUS 5604053 HAS SOUPS 5604053 WITH SCORE 5609846.085
AT ITER 301 NEW BEST:: SOT 11316653 SOS 5792373 HAS SOPS 5792373 HAS SOUS 5604053 HAS SOUPS 5604053 WITH SCORE 5609845.373
AT ITER 309 NEW BEST:: SOT 11316345 SOS 5799416 HAS SOPS 5799416 HAS SOUS 5604008 HAS SOUPS 5604008 WITH SCORE 5609807.416
AT ITER 311 NEW BEST:: SOT 11313020 SOS 5796482 HAS SOPS 5796482 HAS SOUS 5600864 HAS SOUPS 5600864 WITH SCORE 5606660.482
AT ITER 321 NEW BEST:: SOT 11310098 SOS 5814448 HAS SOPS 5814448 HAS SOUS 5598243 HAS SOUPS 5598243 WITH SCORE 5604057.448
AT ITER 324 NEW BEST:: SOT 11307235 SOS 5811833 HAS SOPS 5811833 HAS SOUS 5595544 HAS SOUPS 5595544 WITH SCORE 5601355.833
AT ITER 331 NEW BEST:: SOT 11307235 SOS 5811408 HAS SOPS 5811408 HAS SOUS 5595544 HAS SOUPS 5595544 WITH SCORE 5601355.408
AT ITER 333 NEW BEST:: SOT 11307421 SOS 5811574 HAS SOPS 5811574 HAS SOUS 5595402 HAS SOUPS 5595402 WITH SCORE 5601213.574
AT ITER 336 NEW BEST:: SOT 11307421 SOS 5811194 HAS SOPS 5811194 HAS SOUS 5595402 HAS SOUPS 5595402 WITH SCORE 5601213.194
AT ITER 350 NEW BEST:: SOT 11303844 SOS 5819027 HAS SOPS 5819027 HAS SOUS 5592084 HAS SOUPS 5592084 WITH SCORE 5597903.027
AT ITER 351 NEW BEST:: SOT 11303844 SOS 5818361 HAS SOPS 5818361 HAS SOUS 5592084 HAS SOUPS 5592084 WITH SCORE 5597902.361
AT ITER 354 NEW BEST:: SOT 11303844 SOS 5816811 HAS SOPS 5816811 HAS SOUS 5592084 HAS SOUPS 5592084 WITH SCORE 5597900.811
AT ITER 365 NEW BEST:: SOT 11301526 SOS 5820272 HAS SOPS 5820272 HAS SOUS 5589924 HAS SOUPS 5589924 WITH SCORE 5595744.272
AT ITER 374 NEW BEST:: SOT 11301526 SOS 5820097 HAS SOPS 5820097 HAS SOUS 5589924 HAS SOUPS 5589924 WITH SCORE 5595744.097
AT ITER 395 NEW BEST:: SOT 11301526 SOS 5820483 HAS SOPS 5820483 HAS SOUS 5588102 HAS SOUPS 5588102 WITH SCORE 5593922.483
AT ITER 399 NEW BEST:: SOT 11299777 SOS 5820016 HAS SOPS 5820016 HAS SOUS 5586669 HAS SOUPS 5586669 WITH SCORE 5592489.016
AT ITER 403 NEW BEST:: SOT 11297264 SOS 5826117 HAS SOPS 5826117 HAS SOUS 5584335 HAS SOUPS 5584335 WITH SCORE 5590161.117
AT ITER 408 NEW BEST:: SOT 11297264 SOS 5825962 HAS SOPS 5825962 HAS SOUS 5584335 HAS SOUPS 5584335 WITH SCORE 5590160.962
AT ITER 412 NEW BEST:: SOT 11294313 SOS 5824067 HAS SOPS 5824067 HAS SOUS 5581791 HAS SOUPS 5581791 WITH SCORE 5587615.067
AT ITER 413 NEW BEST:: SOT 11292612 SOS 5823223 HAS SOPS 5823223 HAS SOUS 5580399 HAS SOUPS 5580399 WITH SCORE 5586222.223
AT ITER 420 NEW BEST:: SOT 11291181 SOS 5823448 HAS SOPS 5823448 HAS SOUS 5579434 HAS SOUPS 5579434 WITH SCORE 5585257.448
AT ITER 423 NEW BEST:: SOT 11291449 SOS 5821882 HAS SOPS 5821882 HAS SOUS 5577560 HAS SOUPS 5577560 WITH SCORE 5583381.882
AT ITER 425 NEW BEST:: SOT 11291449 SOS 5821256 HAS SOPS 5821256 HAS SOUS 5577560 HAS SOUPS 5577560 WITH SCORE 5583381.256
AT ITER 435 NEW BEST:: SOT 11291449 SOS 5820416 HAS SOPS 5820416 HAS SOUS 5577360 HAS SOUPS 5577360 WITH SCORE 5583180.416
AT ITER 444 NEW BEST:: SOT 11291449 SOS 5820429 HAS SOPS 5820429 HAS SOUS 5577331 HAS SOUPS 5577331 WITH SCORE 5583151.429
AT ITER 445 NEW BEST:: SOT 11291449 SOS 5820383 HAS SOPS 5820383 HAS SOUS 5577331 HAS SOUPS 5577331 WITH SCORE 5583151.383
AT ITER 452 NEW BEST:: SOT 11291449 SOS 5819185 HAS SOPS 5819185 HAS SOUS 5576663 HAS SOUPS 5576663 WITH SCORE 5582482.185
AT ITER 454 NEW BEST:: SOT 11291449 SOS 5819160 HAS SOPS 5819160 HAS SOUS 5576663 HAS SOUPS 5576663 WITH SCORE 5582482.16
AT ITER 457 NEW BEST:: SOT 11288838 SOS 5818526 HAS SOPS 5818526 HAS SOUS 5574238 HAS SOUPS 5574238 WITH SCORE 5580056.526
AT ITER 458 NEW BEST:: SOT 11288838 SOS 5817523 HAS SOPS 5817523 HAS SOUS 5574238 HAS SOUPS 5574238 WITH SCORE 5580055.523
AT ITER 465 NEW BEST:: SOT 11288838 SOS 5816712 HAS SOPS 5816712 HAS SOUS 5574238 HAS SOUPS 5574238 WITH SCORE 5580054.712
AT ITER 467 NEW BEST:: SOT 11288153 SOS 5816712 HAS SOPS 5816712 HAS SOUS 5573553 HAS SOUPS 5573553 WITH SCORE 5579369.712
AT ITER 473 NEW BEST:: SOT 11288153 SOS 5816706 HAS SOPS 5816706 HAS SOUS 5573553 HAS SOUPS 5573553 WITH SCORE 5579369.706
AT ITER 488 NEW BEST:: SOT 11287796 SOS 5816538 HAS SOPS 5816538 HAS SOUS 5573385 HAS SOUPS 5573385 WITH SCORE 5579201.538
AT ITER 492 NEW BEST:: SOT 11287796 SOS 5815819 HAS SOPS 5815819 HAS SOUS 5573385 HAS SOUPS 5573385 WITH SCORE 5579200.819
AT ITER 496 NEW BEST:: SOT 11287235 SOS 5815258 HAS SOPS 5815258 HAS SOUS 5572734 HAS SOUPS 5572734 WITH SCORE 5578549.258
AT ITER 508 NEW BEST:: SOT 11285165 SOS 5826628 HAS SOPS 5826628 HAS SOUS 5572599 HAS SOUPS 5572599 WITH SCORE 5578425.628
AT ITER 518 NEW BEST:: SOT 11283419 SOS 5824905 HAS SOPS 5824905 HAS SOUS 5570977 HAS SOUPS 5570977 WITH SCORE 5576801.905
AT ITER 525 NEW BEST:: SOT 11283419 SOS 5823199 HAS SOPS 5823199 HAS SOUS 5570842 HAS SOUPS 5570842 WITH SCORE 5576665.199
AT ITER 528 NEW BEST:: SOT 11283419 SOS 5821222 HAS SOPS 5821222 HAS SOUS 5570842 HAS SOUPS 5570842 WITH SCORE 5576663.222
AT ITER 548 NEW BEST:: SOT 11280656 SOS 5826246 HAS SOPS 5826246 HAS SOUS 5568663 HAS SOUPS 5568663 WITH SCORE 5574489.246
AT ITER 550 NEW BEST:: SOT 11280656 SOS 5825863 HAS SOPS 5825863 HAS SOUS 5568663 HAS SOUPS 5568663 WITH SCORE 5574488.863
AT ITER 564 NEW BEST:: SOT 11280348 SOS 5845970 HAS SOPS 5845970 HAS SOUS 5568512 HAS SOUPS 5568512 WITH SCORE 5574357.97
AT ITER 569 NEW BEST:: SOT 11280447 SOS 5845962 HAS SOPS 5845962 HAS SOUS 5568294 HAS SOUPS 5568294 WITH SCORE 5574139.962
AT ITER 570 NEW BEST:: SOT 11278836 SOS 5847521 HAS SOPS 5847521 HAS SOUS 5567082 HAS SOUPS 5567082 WITH SCORE 5572929.521
AT ITER 577 NEW BEST:: SOT 11277053 SOS 5846318 HAS SOPS 5846318 HAS SOUS 5565300 HAS SOUPS 5565300 WITH SCORE 5571146.318
AT ITER 579 NEW BEST:: SOT 11276587 SOS 5845852 HAS SOPS 5845852 HAS SOUS 5564834 HAS SOUPS 5564834 WITH SCORE 5570679.852
AT ITER 592 NEW BEST:: SOT 11273426 SOS 5869971 HAS SOPS 5869971 HAS SOUS 5564200 HAS SOUPS 5564200 WITH SCORE 5570069.971
AT ITER 607 NEW BEST:: SOT 11270973 SOS 5867974 HAS SOPS 5867974 HAS SOUS 5562096 HAS SOUPS 5562096 WITH SCORE 5567963.974
AT ITER 611 NEW BEST:: SOT 11270973 SOS 5866553 HAS SOPS 5866553 HAS SOUS 5562096 HAS SOUPS 5562096 WITH SCORE 5567962.553
AT ITER 612 NEW BEST:: SOT 11270791 SOS 5868503 HAS SOPS 5868503 HAS SOUS 5561914 HAS SOUPS 5561914 WITH SCORE 5567782.503
AT ITER 614 NEW BEST:: SOT 11268098 SOS 5892126 HAS SOPS 5892126 HAS SOUS 5561418 HAS SOUPS 5561418 WITH SCORE 5567310.126
AT ITER 616 NEW BEST:: SOT 11268278 SOS 5892223 HAS SOPS 5892223 HAS SOUS 5561305 HAS SOUPS 5561305 WITH SCORE 5567197.223
AT ITER 622 NEW BEST:: SOT 11265506 SOS 5908452 HAS SOPS 5908452 HAS SOUS 5559061 HAS SOUPS 5559061 WITH SCORE 5564969.452
AT ITER 625 NEW BEST:: SOT 11265506 SOS 5907059 HAS SOPS 5907059 HAS SOUS 5559061 HAS SOUPS 5559061 WITH SCORE 5564968.059
AT ITER 630 NEW BEST:: SOT 11263532 SOS 5905796 HAS SOPS 5905796 HAS SOUS 5557558 HAS SOUPS 5557558 WITH SCORE 5563463.796
AT ITER 641 NEW BEST:: SOT 11261513 SOS 5903777 HAS SOPS 5903777 HAS SOUS 5555653 HAS SOUPS 5555653 WITH SCORE 5561556.777
AT ITER 642 NEW BEST:: SOT 11260576 SOS 5902840 HAS SOPS 5902840 HAS SOUS 5554716 HAS SOUPS 5554716 WITH SCORE 5560618.84
AT ITER 645 NEW BEST:: SOT 11258187 SOS 5910077 HAS SOPS 5910077 HAS SOUS 5553326 HAS SOUPS 5553326 WITH SCORE 5559236.077
AT ITER 647 NEW BEST:: SOT 11257991 SOS 5909944 HAS SOPS 5909944 HAS SOUS 5553130 HAS SOUPS 5553130 WITH SCORE 5559039.944
AT ITER 650 NEW BEST:: SOT 11257991 SOS 5909936 HAS SOPS 5909936 HAS SOUS 5553130 HAS SOUPS 5553130 WITH SCORE 5559039.936
AT ITER 651 NEW BEST:: SOT 11254379 SOS 5916741 HAS SOPS 5916741 HAS SOUS 5549960 HAS SOUPS 5549960 WITH SCORE 5555876.741
AT ITER 666 NEW BEST:: SOT 11251959 SOS 5924243 HAS SOPS 5924243 HAS SOUS 5548573 HAS SOUPS 5548573 WITH SCORE 5554497.243
AT ITER 669 NEW BEST:: SOT 11252132 SOS 5924341 HAS SOPS 5924341 HAS SOUS 5548503 HAS SOUPS 5548503 WITH SCORE 5554427.341
AT ITER 688 NEW BEST:: SOT 11252132 SOS 5923032 HAS SOPS 5923032 HAS SOUS 5548503 HAS SOUPS 5548503 WITH SCORE 5554426.032
AT ITER 694 NEW BEST:: SOT 11250905 SOS 5921679 HAS SOPS 5921679 HAS SOUS 5546778 HAS SOUPS 5546778 WITH SCORE 5552699.679
AT ITER 695 NEW BEST:: SOT 11248249 SOS 5939362 HAS SOPS 5939362 HAS SOUS 5544439 HAS SOUPS 5544439 WITH SCORE 5550378.362
AT ITER 700 NEW BEST:: SOT 11248212 SOS 5939303 HAS SOPS 5939303 HAS SOUS 5544352 HAS SOUPS 5544352 WITH SCORE 5550291.303
AT ITER 706 NEW BEST:: SOT 11248212 SOS 5937660 HAS SOPS 5937660 HAS SOUS 5544352 HAS SOUPS 5544352 WITH SCORE 5550289.66
AT ITER 707 NEW BEST:: SOT 11248082 SOS 5946162 HAS SOPS 5946162 HAS SOUS 5544222 HAS SOUPS 5544222 WITH SCORE 5550168.162
AT ITER 709 NEW BEST:: SOT 11248269 SOS 5944739 HAS SOPS 5944739 HAS SOUS 5542645 HAS SOUPS 5542645 WITH SCORE 5548589.739
AT ITER 711 NEW BEST:: SOT 11248199 SOS 5944669 HAS SOPS 5944669 HAS SOUS 5542448 HAS SOUPS 5542448 WITH SCORE 5548392.669
AT ITER 712 NEW BEST:: SOT 11248199 SOS 5943037 HAS SOPS 5943037 HAS SOUS 5542448 HAS SOUPS 5542448 WITH SCORE 5548391.037
AT ITER 721 NEW BEST:: SOT 11248199 SOS 5942288 HAS SOPS 5942288 HAS SOUS 5542448 HAS SOUPS 5542448 WITH SCORE 5548390.288
AT ITER 731 NEW BEST:: SOT 11245586 SOS 5964040 HAS SOPS 5964040 HAS SOUS 5540157 HAS SOUPS 5540157 WITH SCORE 5546121.04
AT ITER 734 NEW BEST:: SOT 11245700 SOS 5962866 HAS SOPS 5962866 HAS SOUS 5540089 HAS SOUPS 5540089 WITH SCORE 5546051.866
AT ITER 735 NEW BEST:: SOT 11245434 SOS 5963012 HAS SOPS 5963012 HAS SOUS 5540049 HAS SOUPS 5540049 WITH SCORE 5546012.012
AT ITER 742 NEW BEST:: SOT 11245434 SOS 5962304 HAS SOPS 5962304 HAS SOUS 5540049 HAS SOUPS 5540049 WITH SCORE 5546011.304
AT ITER 746 NEW BEST:: SOT 11241975 SOS 5989695 HAS SOPS 5989695 HAS SOUS 5536857 HAS SOUPS 5536857 WITH SCORE 5542846.695
AT ITER 747 NEW BEST:: SOT 11241975 SOS 5989260 HAS SOPS 5989260 HAS SOUS 5536856 HAS SOUPS 5536856 WITH SCORE 5542845.26
AT ITER 750 NEW BEST:: SOT 11241866 SOS 5989038 HAS SOPS 5989038 HAS SOUS 5536788 HAS SOUPS 5536788 WITH SCORE 5542777.038
AT ITER 752 NEW BEST:: SOT 11241766 SOS 5988938 HAS SOPS 5988938 HAS SOUS 5536588 HAS SOUPS 5536588 WITH SCORE 5542576.938
AT ITER 753 NEW BEST:: SOT 11241328 SOS 5988906 HAS SOPS 5988906 HAS SOUS 5536150 HAS SOUPS 5536150 WITH SCORE 5542138.906
AT ITER 754 NEW BEST:: SOT 11241328 SOS 5988193 HAS SOPS 5988193 HAS SOUS 5536150 HAS SOUPS 5536150 WITH SCORE 5542138.193
AT ITER 755 NEW BEST:: SOT 11241585 SOS 5988433 HAS SOPS 5988433 HAS SOUS 5536096 HAS SOUPS 5536096 WITH SCORE 5542084.433
AT ITER 769 NEW BEST:: SOT 11240558 SOS 5987406 HAS SOPS 5987406 HAS SOUS 5535069 HAS SOUPS 5535069 WITH SCORE 5541056.406
AT ITER 774 NEW BEST:: SOT 11240558 SOS 5986135 HAS SOPS 5986135 HAS SOUS 5535069 HAS SOUPS 5535069 WITH SCORE 5541055.135
AT ITER 777 NEW BEST:: SOT 11240123 SOS 5985700 HAS SOPS 5985700 HAS SOUS 5534634 HAS SOUPS 5534634 WITH SCORE 5540619.7
AT ITER 785 NEW BEST:: SOT 11240123 SOS 5983691 HAS SOPS 5983691 HAS SOUS 5532643 HAS SOUPS 5532643 WITH SCORE 5538626.691
AT ITER 787 NEW BEST:: SOT 11237862 SOS 5982806 HAS SOPS 5982806 HAS SOUS 5530711 HAS SOUPS 5530711 WITH SCORE 5536693.806
AT ITER 792 NEW BEST:: SOT 11237862 SOS 5982287 HAS SOPS 5982287 HAS SOUS 5530711 HAS SOUPS 5530711 WITH SCORE 5536693.287
AT ITER 796 NEW BEST:: SOT 11234969 SOS 5981150 HAS SOPS 5981150 HAS SOUS 5527959 HAS SOUPS 5527959 WITH SCORE 5533940.15
AT ITER 798 NEW BEST:: SOT 11232385 SOS 5978795 HAS SOPS 5978795 HAS SOUS 5525422 HAS SOUPS 5525422 WITH SCORE 5531400.795
AT ITER 803 NEW BEST:: SOT 11227378 SOS 6003387 HAS SOPS 6003387 HAS SOUS 5521551 HAS SOUPS 5521551 WITH SCORE 5527554.387
AT ITER 812 NEW BEST:: SOT 11224390 SOS 6000664 HAS SOPS 6000664 HAS SOUS 5518688 HAS SOUPS 5518688 WITH SCORE 5524688.664
AT ITER 827 NEW BEST:: SOT 11224188 SOS 6000060 HAS SOPS 6000060 HAS SOUS 5518442 HAS SOUPS 5518442 WITH SCORE 5524442.06
AT ITER 829 NEW BEST:: SOT 11224188 SOS 5999038 HAS SOPS 5999038 HAS SOUS 5518442 HAS SOUPS 5518442 WITH SCORE 5524441.038
AT ITER 834 NEW BEST:: SOT 11223349 SOS 5998199 HAS SOPS 5998199 HAS SOUS 5517453 HAS SOUPS 5517453 WITH SCORE 5523451.199
AT ITER 835 NEW BEST:: SOT 11223349 SOS 5997174 HAS SOPS 5997174 HAS SOUS 5516428 HAS SOUPS 5516428 WITH SCORE 5522425.174
AT ITER 836 NEW BEST:: SOT 11223349 SOS 5996481 HAS SOPS 5996481 HAS SOUS 5516428 HAS SOUPS 5516428 WITH SCORE 5522424.481
AT ITER 837 NEW BEST:: SOT 11222047 SOS 6014373 HAS SOPS 6014373 HAS SOUS 5515642 HAS SOUPS 5515642 WITH SCORE 5521656.373
AT ITER 850 NEW BEST:: SOT 11222047 SOS 6014277 HAS SOPS 6014277 HAS SOUS 5515642 HAS SOUPS 5515642 WITH SCORE 5521656.277
AT ITER 853 NEW BEST:: SOT 11222047 SOS 6013046 HAS SOPS 6013046 HAS SOUS 5515642 HAS SOUPS 5515642 WITH SCORE 5521655.046
AT ITER 857 NEW BEST:: SOT 11221655 SOS 6013294 HAS SOPS 6013294 HAS SOUS 5515360 HAS SOUPS 5515360 WITH SCORE 5521373.294
AT ITER 859 NEW BEST:: SOT 11221848 SOS 6013398 HAS SOPS 6013398 HAS SOUS 5515282 HAS SOUPS 5515282 WITH SCORE 5521295.398
AT ITER 863 NEW BEST:: SOT 11218706 SOS 6010699 HAS SOPS 6010699 HAS SOUS 5512480 HAS SOUPS 5512480 WITH SCORE 5518490.699
AT ITER 865 NEW BEST:: SOT 11218706 SOS 6010344 HAS SOPS 6010344 HAS SOUS 5512480 HAS SOUPS 5512480 WITH SCORE 5518490.344
AT ITER 869 NEW BEST:: SOT 11218706 SOS 6009952 HAS SOPS 6009952 HAS SOUS 5512480 HAS SOUPS 5512480 WITH SCORE 5518489.952
AT ITER 870 NEW BEST:: SOT 11216885 SOS 6008719 HAS SOPS 6008719 HAS SOUS 5510930 HAS SOUPS 5510930 WITH SCORE 5516938.719
AT ITER 871 NEW BEST:: SOT 11215506 SOS 6007525 HAS SOPS 6007525 HAS SOUS 5509551 HAS SOUPS 5509551 WITH SCORE 5515558.525
AT ITER 874 NEW BEST:: SOT 11215506 SOS 6007517 HAS SOPS 6007517 HAS SOUS 5509221 HAS SOUPS 5509221 WITH SCORE 5515228.517
AT ITER 875 NEW BEST:: SOT 11215464 SOS 6007386 HAS SOPS 6007386 HAS SOUS 5509146 HAS SOUPS 5509146 WITH SCORE 5515153.386
AT ITER 876 NEW BEST:: SOT 11215464 SOS 6006880 HAS SOPS 6006880 HAS SOUS 5509146 HAS SOUPS 5509146 WITH SCORE 5515152.88
AT ITER 878 NEW BEST:: SOT 11214162 SOS 6019351 HAS SOPS 6019351 HAS SOUS 5508061 HAS SOUPS 5508061 WITH SCORE 5514080.351
AT ITER 881 NEW BEST:: SOT 11214162 SOS 6018857 HAS SOPS 6018857 HAS SOUS 5508061 HAS SOUPS 5508061 WITH SCORE 5514079.857
AT ITER 882 NEW BEST:: SOT 11214162 SOS 6018197 HAS SOPS 6018197 HAS SOUS 5508061 HAS SOUPS 5508061 WITH SCORE 5514079.197
AT ITER 883 NEW BEST:: SOT 11214162 SOS 6000613 HAS SOPS 6000613 HAS SOUS 5508061 HAS SOUPS 5508061 WITH SCORE 5514061.613
AT ITER 884 NEW BEST:: SOT 11214162 SOS 5984049 HAS SOPS 5984049 HAS SOUS 5508061 HAS SOUPS 5508061 WITH SCORE 5514045.049
AT ITER 890 NEW BEST:: SOT 11212227 SOS 5982114 HAS SOPS 5982114 HAS SOUS 5505853 HAS SOUPS 5505853 WITH SCORE 5511835.114
AT ITER 893 NEW BEST:: SOT 11210097 SOS 5979802 HAS SOPS 5979802 HAS SOUS 5503741 HAS SOUPS 5503741 WITH SCORE 5509720.802
AT ITER 906 NEW BEST:: SOT 11208767 SOS 5979274 HAS SOPS 5979274 HAS SOUS 5502426 HAS SOUPS 5502426 WITH SCORE 5508405.274
AT ITER 908 NEW BEST:: SOT 11208767 SOS 5978847 HAS SOPS 5978847 HAS SOUS 5502426 HAS SOUPS 5502426 WITH SCORE 5508404.847
AT ITER 910 NEW BEST:: SOT 11208263 SOS 5978632 HAS SOPS 5978632 HAS SOUS 5502140 HAS SOUPS 5502140 WITH SCORE 5508118.632
AT ITER 920 NEW BEST:: SOT 11208263 SOS 5977249 HAS SOPS 5977249 HAS SOUS 5502140 HAS SOUPS 5502140 WITH SCORE 5508117.249
AT ITER 922 NEW BEST:: SOT 11208263 SOS 5976534 HAS SOPS 5976534 HAS SOUS 5502140 HAS SOUPS 5502140 WITH SCORE 5508116.534
AT ITER 928 NEW BEST:: SOT 11207481 SOS 5975752 HAS SOPS 5975752 HAS SOUS 5501290 HAS SOUPS 5501290 WITH SCORE 5507265.752
AT ITER 934 NEW BEST:: SOT 11206342 SOS 5992051 HAS SOPS 5992051 HAS SOUS 5500698 HAS SOUPS 5500698 WITH SCORE 5506690.051
AT ITER 941 NEW BEST:: SOT 11204593 SOS 5992095 HAS SOPS 5992095 HAS SOUS 5499167 HAS SOUPS 5499167 WITH SCORE 5505159.095
AT ITER 942 NEW BEST:: SOT 11204150 SOS 5994823 HAS SOPS 5994823 HAS SOUS 5499068 HAS SOUPS 5499068 WITH SCORE 5505062.823
AT ITER 944 NEW BEST:: SOT 11200250 SOS 5995655 HAS SOPS 5995655 HAS SOUS 5495568 HAS SOUPS 5495568 WITH SCORE 5501563.655
AT ITER 948 NEW BEST:: SOT 11198847 SOS 5994352 HAS SOPS 5994352 HAS SOUS 5494305 HAS SOUPS 5494305 WITH SCORE 5500299.352
AT ITER 952 NEW BEST:: SOT 11199042 SOS 5994458 HAS SOPS 5994458 HAS SOUS 5494285 HAS SOUPS 5494285 WITH SCORE 5500279.458
AT ITER 958 NEW BEST:: SOT 11198249 SOS 5993665 HAS SOPS 5993665 HAS SOUS 5493492 HAS SOUPS 5493492 WITH SCORE 5499485.665
AT ITER 959 NEW BEST:: SOT 11196777 SOS 5999475 HAS SOPS 5999475 HAS SOUS 5492401 HAS SOUPS 5492401 WITH SCORE 5498400.475
AT ITER 962 NEW BEST:: SOT 11197001 SOS 5998451 HAS SOPS 5998451 HAS SOUS 5491057 HAS SOUPS 5491057 WITH SCORE 5497055.451
AT ITER 970 NEW BEST:: SOT 11196029 SOS 5997479 HAS SOPS 5997479 HAS SOUS 5490085 HAS SOUPS 5490085 WITH SCORE 5496082.479
AT ITER 992 NEW BEST:: SOT 11193449 SOS 5998168 HAS SOPS 5998168 HAS SOUS 5489720 HAS SOUPS 5489720 WITH SCORE 5495718.168
AT ITER 994 NEW BEST:: SOT 11191767 SOS 6015097 HAS SOPS 6015097 HAS SOUS 5488171 HAS SOUPS 5488171 WITH SCORE 5494186.097
AT ITER 999 NEW BEST:: SOT 11187372 SOS 6011265 HAS SOPS 6011265 HAS SOUS 5484129 HAS SOUPS 5484129 WITH SCORE 5490140.265
AT ITER 1004 NEW BEST:: SOT 11186866 SOS 6012717 HAS SOPS 6012717 HAS SOUS 5483623 HAS SOUPS 5483623 WITH SCORE 5489635.717
AT ITER 1008 NEW BEST:: SOT 11186866 SOS 6012674 HAS SOPS 6012674 HAS SOUS 5483623 HAS SOUPS 5483623 WITH SCORE 5489635.674
AT ITER 1012 NEW BEST:: SOT 11184605 SOS 6011641 HAS SOPS 6011641 HAS SOUS 5481918 HAS SOUPS 5481918 WITH SCORE 5487929.641
AT ITER 1017 NEW BEST:: SOT 11183107 SOS 6017362 HAS SOPS 6017362 HAS SOUS 5480845 HAS SOUPS 5480845 WITH SCORE 5486862.362
AT ITER 1020 NEW BEST:: SOT 11183012 SOS 6018635 HAS SOPS 6018635 HAS SOUS 5480750 HAS SOUPS 5480750 WITH SCORE 5486768.635
AT ITER 1024 NEW BEST:: SOT 11182926 SOS 6019731 HAS SOPS 6019731 HAS SOUS 5480664 HAS SOUPS 5480664 WITH SCORE 5486683.731
AT ITER 1035 NEW BEST:: SOT 11182926 SOS 6018319 HAS SOPS 6018319 HAS SOUS 5480491 HAS SOUPS 5480491 WITH SCORE 5486509.319
AT ITER 1037 NEW BEST:: SOT 11182926 SOS 6018312 HAS SOPS 6018312 HAS SOUS 5480491 HAS SOUPS 5480491 WITH SCORE 5486509.312
AT ITER 1039 NEW BEST:: SOT 11182926 SOS 6017589 HAS SOPS 6017589 HAS SOUS 5480491 HAS SOUPS 5480491 WITH SCORE 5486508.589
AT ITER 1043 NEW BEST:: SOT 11182926 SOS 6016567 HAS SOPS 6016567 HAS SOUS 5480491 HAS SOUPS 5480491 WITH SCORE 5486507.567
AT ITER 1045 NEW BEST:: SOT 11179956 SOS 6015469 HAS SOPS 6015469 HAS SOUS 5477780 HAS SOUPS 5477780 WITH SCORE 5483795.469
AT ITER 1058 NEW BEST:: SOT 11180087 SOS 6015517 HAS SOPS 6015517 HAS SOUS 5477548 HAS SOUPS 5477548 WITH SCORE 5483563.517
AT ITER 1063 NEW BEST:: SOT 11180087 SOS 6014585 HAS SOPS 6014585 HAS SOUS 5477548 HAS SOUPS 5477548 WITH SCORE 5483562.585
AT ITER 1064 NEW BEST:: SOT 11179339 SOS 6013917 HAS SOPS 6013917 HAS SOUS 5477036 HAS SOUPS 5477036 WITH SCORE 5483049.917
AT ITER 1066 NEW BEST:: SOT 11175760 SOS 6021757 HAS SOPS 6021757 HAS SOUS 5474833 HAS SOUPS 5474833 WITH SCORE 5480854.757
AT ITER 1067 NEW BEST:: SOT 11174990 SOS 6022330 HAS SOPS 6022330 HAS SOUS 5474357 HAS SOUPS 5474357 WITH SCORE 5480379.33
AT ITER 1082 NEW BEST:: SOT 11175099 SOS 6021263 HAS SOPS 6021263 HAS SOUS 5473009 HAS SOUPS 5473009 WITH SCORE 5479030.263
AT ITER 1091 NEW BEST:: SOT 11171528 SOS 6018008 HAS SOPS 6018008 HAS SOUS 5469776 HAS SOUPS 5469776 WITH SCORE 5475794.008
AT ITER 1094 NEW BEST:: SOT 11171528 SOS 6017596 HAS SOPS 6017596 HAS SOUS 5469776 HAS SOUPS 5469776 WITH SCORE 5475793.596
AT ITER 1097 NEW BEST:: SOT 11171639 SOS 6017587 HAS SOPS 6017587 HAS SOUS 5469669 HAS SOUPS 5469669 WITH SCORE 5475686.587
AT ITER 1099 NEW BEST:: SOT 11171639 SOS 5998802 HAS SOPS 5998802 HAS SOUS 5468224 HAS SOUPS 5468224 WITH SCORE 5474222.802
AT ITER 1103 NEW BEST:: SOT 11171541 SOS 5997870 HAS SOPS 5997870 HAS SOUS 5467958 HAS SOUPS 5467958 WITH SCORE 5473955.87
AT ITER 1104 NEW BEST:: SOT 11168401 SOS 5999921 HAS SOPS 5999921 HAS SOUS 5465587 HAS SOUPS 5465587 WITH SCORE 5471586.921
AT ITER 1108 NEW BEST:: SOT 11168401 SOS 5999472 HAS SOPS 5999472 HAS SOUS 5465587 HAS SOUPS 5465587 WITH SCORE 5471586.472
AT ITER 1110 NEW BEST:: SOT 11168401 SOS 5999227 HAS SOPS 5999227 HAS SOUS 5465587 HAS SOUPS 5465587 WITH SCORE 5471586.227
AT ITER 1114 NEW BEST:: SOT 11168751 SOS 5999809 HAS SOPS 5999809 HAS SOUS 5464688 HAS SOUPS 5464688 WITH SCORE 5470687.809
AT ITER 1124 NEW BEST:: SOT 11169056 SOS 6000116 HAS SOPS 6000116 HAS SOUS 5464633 HAS SOUPS 5464633 WITH SCORE 5470633.116
AT ITER 1126 NEW BEST:: SOT 11167232 SOS 5999259 HAS SOPS 5999259 HAS SOUS 5463389 HAS SOUPS 5463389 WITH SCORE 5469388.259
AT ITER 1127 NEW BEST:: SOT 11166685 SOS 5999544 HAS SOPS 5999544 HAS SOUS 5463352 HAS SOUPS 5463352 WITH SCORE 5469351.544
AT ITER 1133 NEW BEST:: SOT 11166414 SOS 6000959 HAS SOPS 6000959 HAS SOUS 5463081 HAS SOUPS 5463081 WITH SCORE 5469081.959
AT ITER 1139 NEW BEST:: SOT 11166650 SOS 6001169 HAS SOPS 6001169 HAS SOUS 5463011 HAS SOUPS 5463011 WITH SCORE 5469012.169
AT ITER 1144 NEW BEST:: SOT 11162937 SOS 6019204 HAS SOPS 6019204 HAS SOUS 5459605 HAS SOUPS 5459605 WITH SCORE 5465624.204
AT ITER 1145 NEW BEST:: SOT 11162937 SOS 6017851 HAS SOPS 6017851 HAS SOUS 5459605 HAS SOUPS 5459605 WITH SCORE 5465622.851
AT ITER 1154 NEW BEST:: SOT 11162937 SOS 6017339 HAS SOPS 6017339 HAS SOUS 5459605 HAS SOUPS 5459605 WITH SCORE 5465622.339
AT ITER 1155 NEW BEST:: SOT 11162937 SOS 6017257 HAS SOPS 6017257 HAS SOUS 5459605 HAS SOUPS 5459605 WITH SCORE 5465622.257
AT ITER 1160 NEW BEST:: SOT 11161837 SOS 6016166 HAS SOPS 6016166 HAS SOUS 5458505 HAS SOUPS 5458505 WITH SCORE 5464521.166
AT ITER 1166 NEW BEST:: SOT 11160322 SOS 6016742 HAS SOPS 6016742 HAS SOUS 5457233 HAS SOUPS 5457233 WITH SCORE 5463249.742
AT ITER 1167 NEW BEST:: SOT 11159552 SOS 6017659 HAS SOPS 6017659 HAS SOUS 5456714 HAS SOUPS 5456714 WITH SCORE 5462731.659
AT ITER 1169 NEW BEST:: SOT 11159680 SOS 6017766 HAS SOPS 6017766 HAS SOUS 5456625 HAS SOUPS 5456625 WITH SCORE 5462642.766
AT ITER 1176 NEW BEST:: SOT 11159680 SOS 6017103 HAS SOPS 6017103 HAS SOUS 5456625 HAS SOUPS 5456625 WITH SCORE 5462642.103
AT ITER 1184 NEW BEST:: SOT 11158084 SOS 6016267 HAS SOPS 6016267 HAS SOUS 5456115 HAS SOUPS 5456115 WITH SCORE 5462131.267
AT ITER 1189 NEW BEST:: SOT 11158084 SOS 6016022 HAS SOPS 6016022 HAS SOUS 5456115 HAS SOUPS 5456115 WITH SCORE 5462131.022
AT ITER 1190 NEW BEST:: SOT 11158084 SOS 6015931 HAS SOPS 6015931 HAS SOUS 5456115 HAS SOUPS 5456115 WITH SCORE 5462130.931
AT ITER 1195 NEW BEST:: SOT 11153806 SOS 6016809 HAS SOPS 6016809 HAS SOUS 5454697 HAS SOUPS 5454697 WITH SCORE 5460713.809
AT ITER 1196 NEW BEST:: SOT 11153806 SOS 6015818 HAS SOPS 6015818 HAS SOUS 5454697 HAS SOUPS 5454697 WITH SCORE 5460712.818
AT ITER 1200 NEW BEST:: SOT 11151664 SOS 6014996 HAS SOPS 6014996 HAS SOUS 5453028 HAS SOUPS 5453028 WITH SCORE 5459042.996
AT ITER 1204 NEW BEST:: SOT 11148074 SOS 6036251 HAS SOPS 6036251 HAS SOUS 5450804 HAS SOUPS 5450804 WITH SCORE 5456840.251
AT ITER 1206 NEW BEST:: SOT 11148161 SOS 6036444 HAS SOPS 6036444 HAS SOUS 5450731 HAS SOUPS 5450731 WITH SCORE 5456767.444
AT ITER 1214 NEW BEST:: SOT 11147312 SOS 6036667 HAS SOPS 6036667 HAS SOUS 5449882 HAS SOUPS 5449882 WITH SCORE 5455918.667
AT ITER 1215 NEW BEST:: SOT 11147312 SOS 6036644 HAS SOPS 6036644 HAS SOUS 5449882 HAS SOUPS 5449882 WITH SCORE 5455918.644
AT ITER 1227 NEW BEST:: SOT 11147312 SOS 6035940 HAS SOPS 6035940 HAS SOUS 5449882 HAS SOUPS 5449882 WITH SCORE 5455917.94
AT ITER 1230 NEW BEST:: SOT 11147788 SOS 6032938 HAS SOPS 6032938 HAS SOUS 5449688 HAS SOUPS 5449688 WITH SCORE 5455720.938
AT ITER 1238 NEW BEST:: SOT 11147788 SOS 6031618 HAS SOPS 6031618 HAS SOUS 5449688 HAS SOUPS 5449688 WITH SCORE 5455719.618
AT ITER 1241 NEW BEST:: SOT 11145933 SOS 6030198 HAS SOPS 6030198 HAS SOUS 5448058 HAS SOUPS 5448058 WITH SCORE 5454088.198
AT ITER 1242 NEW BEST:: SOT 11145147 SOS 6029505 HAS SOPS 6029505 HAS SOUS 5447343 HAS SOUPS 5447343 WITH SCORE 5453372.505
AT ITER 1247 NEW BEST:: SOT 11145341 SOS 6028226 HAS SOPS 6028226 HAS SOUS 5445882 HAS SOUPS 5445882 WITH SCORE 5451910.226
AT ITER 1249 NEW BEST:: SOT 11142762 SOS 6026025 HAS SOPS 6026025 HAS SOUS 5443681 HAS SOUPS 5443681 WITH SCORE 5449707.025
AT ITER 1252 NEW BEST:: SOT 11142762 SOS 6024218 HAS SOPS 6024218 HAS SOUS 5443681 HAS SOUPS 5443681 WITH SCORE 5449705.218
AT ITER 1260 NEW BEST:: SOT 11143343 SOS 6024251 HAS SOPS 6024251 HAS SOUS 5443662 HAS SOUPS 5443662 WITH SCORE 5449686.251
AT ITER 1264 NEW BEST:: SOT 11143343 SOS 6024203 HAS SOPS 6024203 HAS SOUS 5443662 HAS SOUPS 5443662 WITH SCORE 5449686.203
AT ITER 1272 NEW BEST:: SOT 11138843 SOS 6040772 HAS SOPS 6040772 HAS SOUS 5441004 HAS SOUPS 5441004 WITH SCORE 5447044.772
AT ITER 1273 NEW BEST:: SOT 11138843 SOS 6040686 HAS SOPS 6040686 HAS SOUS 5441004 HAS SOUPS 5441004 WITH SCORE 5447044.686
AT ITER 1285 NEW BEST:: SOT 11138843 SOS 6040582 HAS SOPS 6040582 HAS SOUS 5441004 HAS SOUPS 5441004 WITH SCORE 5447044.582
AT ITER 1287 NEW BEST:: SOT 11138843 SOS 6040751 HAS SOPS 6040751 HAS SOUS 5439753 HAS SOUPS 5439753 WITH SCORE 5445793.751
AT ITER 1289 NEW BEST:: SOT 11138843 SOS 6039669 HAS SOPS 6039669 HAS SOUS 5439753 HAS SOUPS 5439753 WITH SCORE 5445792.669
AT ITER 1291 NEW BEST:: SOT 11138843 SOS 6039364 HAS SOPS 6039364 HAS SOUS 5439448 HAS SOUPS 5439448 WITH SCORE 5445487.364
AT ITER 1294 NEW BEST:: SOT 11138843 SOS 6039255 HAS SOPS 6039255 HAS SOUS 5439448 HAS SOUPS 5439448 WITH SCORE 5445487.255
AT ITER 1295 NEW BEST:: SOT 11138843 SOS 6037858 HAS SOPS 6037858 HAS SOUS 5438157 HAS SOUPS 5438157 WITH SCORE 5444194.858
AT ITER 1297 NEW BEST:: SOT 11138843 SOS 6037814 HAS SOPS 6037814 HAS SOUS 5438157 HAS SOUPS 5438157 WITH SCORE 5444194.814
AT ITER 1304 NEW BEST:: SOT 11138843 SOS 6035828 HAS SOPS 6035828 HAS SOUS 5438157 HAS SOUPS 5438157 WITH SCORE 5444192.828
AT ITER 1309 NEW BEST:: SOT 11138543 SOS 6035828 HAS SOPS 6035828 HAS SOUS 5437857 HAS SOUPS 5437857 WITH SCORE 5443892.828
AT ITER 1312 NEW BEST:: SOT 11138536 SOS 6035828 HAS SOPS 6035828 HAS SOUS 5437850 HAS SOUPS 5437850 WITH SCORE 5443885.828
AT ITER 1318 NEW BEST:: SOT 11138450 SOS 6033544 HAS SOPS 6033544 HAS SOUS 5437473 HAS SOUPS 5437473 WITH SCORE 5443506.544
AT ITER 1319 NEW BEST:: SOT 11134653 SOS 6030635 HAS SOPS 6030635 HAS SOUS 5433723 HAS SOUPS 5433723 WITH SCORE 5439753.635
AT ITER 1322 NEW BEST:: SOT 11132003 SOS 6029879 HAS SOPS 6029879 HAS SOUS 5432096 HAS SOUPS 5432096 WITH SCORE 5438125.879
AT ITER 1326 NEW BEST:: SOT 11132003 SOS 6029687 HAS SOPS 6029687 HAS SOUS 5432096 HAS SOUPS 5432096 WITH SCORE 5438125.687
AT ITER 1333 NEW BEST:: SOT 11129127 SOS 6027229 HAS SOPS 6027229 HAS SOUS 5429543 HAS SOUPS 5429543 WITH SCORE 5435570.229
AT ITER 1335 NEW BEST:: SOT 11129127 SOS 6018173 HAS SOPS 6018173 HAS SOUS 5429543 HAS SOUPS 5429543 WITH SCORE 5435561.173
AT ITER 1336 NEW BEST:: SOT 11128992 SOS 6015918 HAS SOPS 6015918 HAS SOUS 5429363 HAS SOUPS 5429363 WITH SCORE 5435378.918
AT ITER 1339 NEW BEST:: SOT 11128992 SOS 6015048 HAS SOPS 6015048 HAS SOUS 5429363 HAS SOUPS 5429363 WITH SCORE 5435378.048
AT ITER 1344 NEW BEST:: SOT 11126871 SOS 6014481 HAS SOPS 6014481 HAS SOUS 5429174 HAS SOUPS 5429174 WITH SCORE 5435188.481
AT ITER 1345 NEW BEST:: SOT 11122194 SOS 6016967 HAS SOPS 6016967 HAS SOUS 5424779 HAS SOUPS 5424779 WITH SCORE 5430795.967
AT ITER 1372 NEW BEST:: SOT 11122312 SOS 6016942 HAS SOPS 6016942 HAS SOUS 5424656 HAS SOUPS 5424656 WITH SCORE 5430672.942
AT ITER 1373 NEW BEST:: SOT 11122175 SOS 6017079 HAS SOPS 6017079 HAS SOUS 5424559 HAS SOUPS 5424559 WITH SCORE 5430576.079
AT ITER 1376 NEW BEST:: SOT 11120181 SOS 6016320 HAS SOPS 6016320 HAS SOUS 5424108 HAS SOUPS 5424108 WITH SCORE 5430124.32
AT ITER 1378 NEW BEST:: SOT 11120181 SOS 6015428 HAS SOPS 6015428 HAS SOUS 5424108 HAS SOUPS 5424108 WITH SCORE 5430123.428
AT ITER 1383 NEW BEST:: SOT 11120181 SOS 6015136 HAS SOPS 6015136 HAS SOUS 5424108 HAS SOUPS 5424108 WITH SCORE 5430123.136
AT ITER 1385 NEW BEST:: SOT 11120181 SOS 6015068 HAS SOPS 6015068 HAS SOUS 5424108 HAS SOUPS 5424108 WITH SCORE 5430123.068
AT ITER 1388 NEW BEST:: SOT 11120181 SOS 6014095 HAS SOPS 6014095 HAS SOUS 5424108 HAS SOUPS 5424108 WITH SCORE 5430122.095
AT ITER 1393 NEW BEST:: SOT 11119996 SOS 6013633 HAS SOPS 6013633 HAS SOUS 5423684 HAS SOUPS 5423684 WITH SCORE 5429697.633
AT ITER 1395 NEW BEST:: SOT 11119084 SOS 6029878 HAS SOPS 6029878 HAS SOUS 5423524 HAS SOUPS 5423524 WITH SCORE 5429553.878
AT ITER 1398 NEW BEST:: SOT 11119542 SOS 6030348 HAS SOPS 6030348 HAS SOUS 5422958 HAS SOUPS 5422958 WITH SCORE 5428988.348
AT ITER 1401 NEW BEST:: SOT 11116056 SOS 6036806 HAS SOPS 6036806 HAS SOUS 5422434 HAS SOUPS 5422434 WITH SCORE 5428470.806
AT ITER 1414 NEW BEST:: SOT 11113426 SOS 6034980 HAS SOPS 6034980 HAS SOUS 5420168 HAS SOUPS 5420168 WITH SCORE 5426202.98
AT ITER 1416 NEW BEST:: SOT 11113426 SOS 6034456 HAS SOPS 6034456 HAS SOUS 5420168 HAS SOUPS 5420168 WITH SCORE 5426202.456
AT ITER 1418 NEW BEST:: SOT 11111707 SOS 6032737 HAS SOPS 6032737 HAS SOUS 5418598 HAS SOUPS 5418598 WITH SCORE 5424630.737
AT ITER 1419 NEW BEST:: SOT 11111238 SOS 6032424 HAS SOPS 6032424 HAS SOUS 5418285 HAS SOUPS 5418285 WITH SCORE 5424317.424
AT ITER 1424 NEW BEST:: SOT 11111238 SOS 6030924 HAS SOPS 6030924 HAS SOUS 5418285 HAS SOUPS 5418285 WITH SCORE 5424315.924
AT ITER 1429 NEW BEST:: SOT 11111238 SOS 6030318 HAS SOPS 6030318 HAS SOUS 5418285 HAS SOUPS 5418285 WITH SCORE 5424315.318
AT ITER 1435 NEW BEST:: SOT 11110573 SOS 6029653 HAS SOPS 6029653 HAS SOUS 5417620 HAS SOUPS 5417620 WITH SCORE 5423649.653
AT ITER 1436 NEW BEST:: SOT 11110401 SOS 6027868 HAS SOPS 6027868 HAS SOUS 5416066 HAS SOUPS 5416066 WITH SCORE 5422093.868
AT ITER 1442 NEW BEST:: SOT 11110401 SOS 6027794 HAS SOPS 6027794 HAS SOUS 5414697 HAS SOUPS 5414697 WITH SCORE 5420724.794
AT ITER 1445 NEW BEST:: SOT 11110401 SOS 6026632 HAS SOPS 6026632 HAS SOUS 5414697 HAS SOUPS 5414697 WITH SCORE 5420723.632
AT ITER 1450 NEW BEST:: SOT 11110401 SOS 6025529 HAS SOPS 6025529 HAS SOUS 5414697 HAS SOUPS 5414697 WITH SCORE 5420722.529
AT ITER 1452 NEW BEST:: SOT 11110401 SOS 6024800 HAS SOPS 6024800 HAS SOUS 5414697 HAS SOUPS 5414697 WITH SCORE 5420721.8
AT ITER 1456 NEW BEST:: SOT 11110238 SOS 6019045 HAS SOPS 6019045 HAS SOUS 5413833 HAS SOUPS 5413833 WITH SCORE 5419852.045
AT ITER 1460 NEW BEST:: SOT 11110238 SOS 6018113 HAS SOPS 6018113 HAS SOUS 5413833 HAS SOUPS 5413833 WITH SCORE 5419851.113
AT ITER 1465 NEW BEST:: SOT 11110238 SOS 6017441 HAS SOPS 6017441 HAS SOUS 5413777 HAS SOUPS 5413777 WITH SCORE 5419794.441
AT ITER 1467 NEW BEST:: SOT 11109865 SOS 6017068 HAS SOPS 6017068 HAS SOUS 5413376 HAS SOUPS 5413376 WITH SCORE 5419393.068
AT ITER 1473 NEW BEST:: SOT 11107951 SOS 6015388 HAS SOPS 6015388 HAS SOUS 5411500 HAS SOUPS 5411500 WITH SCORE 5417515.388
AT ITER 1476 NEW BEST:: SOT 11107951 SOS 6015250 HAS SOPS 6015250 HAS SOUS 5411500 HAS SOUPS 5411500 WITH SCORE 5417515.25
AT ITER 1482 NEW BEST:: SOT 11107951 SOS 6014012 HAS SOPS 6014012 HAS SOUS 5411500 HAS SOUPS 5411500 WITH SCORE 5417514.012
AT ITER 1492 NEW BEST:: SOT 11105389 SOS 6012137 HAS SOPS 6012137 HAS SOUS 5409070 HAS SOUPS 5409070 WITH SCORE 5415082.137
AT ITER 1494 NEW BEST:: SOT 11105389 SOS 6011772 HAS SOPS 6011772 HAS SOUS 5409070 HAS SOUPS 5409070 WITH SCORE 5415081.772
AT ITER 1504 NEW BEST:: SOT 11105389 SOS 6011748 HAS SOPS 6011748 HAS SOUS 5409070 HAS SOUPS 5409070 WITH SCORE 5415081.748
AT ITER 1510 NEW BEST:: SOT 11105389 SOS 6011160 HAS SOPS 6011160 HAS SOUS 5409070 HAS SOUPS 5409070 WITH SCORE 5415081.16
AT ITER 1514 NEW BEST:: SOT 11106659 SOS 6005979 HAS SOPS 6005979 HAS SOUS 5407828 HAS SOUPS 5407828 WITH SCORE 5413833.979
AT ITER 1517 NEW BEST:: SOT 11103929 SOS 6006706 HAS SOPS 6006706 HAS SOUS 5405641 HAS SOUPS 5405641 WITH SCORE 5411647.706
AT ITER 1518 NEW BEST:: SOT 11104350 SOS 6006850 HAS SOPS 6006850 HAS SOUS 5405547 HAS SOUPS 5405547 WITH SCORE 5411553.85
AT ITER 1525 NEW BEST:: SOT 11104350 SOS 6005923 HAS SOPS 6005923 HAS SOUS 5405547 HAS SOUPS 5405547 WITH SCORE 5411552.923
AT ITER 1539 NEW BEST:: SOT 11103397 SOS 6013433 HAS SOPS 6013433 HAS SOUS 5404640 HAS SOUPS 5404640 WITH SCORE 5410653.433
AT ITER 1549 NEW BEST:: SOT 11103397 SOS 6013265 HAS SOPS 6013265 HAS SOUS 5404556 HAS SOUPS 5404556 WITH SCORE 5410569.265
AT ITER 1551 NEW BEST:: SOT 11102964 SOS 6013237 HAS SOPS 6013237 HAS SOUS 5404123 HAS SOUPS 5404123 WITH SCORE 5410136.237
AT ITER 1554 NEW BEST:: SOT 11100701 SOS 6021745 HAS SOPS 6021745 HAS SOUS 5403497 HAS SOUPS 5403497 WITH SCORE 5409518.745
AT ITER 1572 NEW BEST:: SOT 11100701 SOS 6017305 HAS SOPS 6017305 HAS SOUS 5403497 HAS SOUPS 5403497 WITH SCORE 5409514.305
AT ITER 1573 NEW BEST:: SOT 11096302 SOS 6018440 HAS SOPS 6018440 HAS SOUS 5399879 HAS SOUPS 5399879 WITH SCORE 5405897.44
AT ITER 1587 NEW BEST:: SOT 11096302 SOS 6018564 HAS SOPS 6018564 HAS SOUS 5399774 HAS SOUPS 5399774 WITH SCORE 5405792.564
AT ITER 1591 NEW BEST:: SOT 11096302 SOS 6018209 HAS SOPS 6018209 HAS SOUS 5399774 HAS SOUPS 5399774 WITH SCORE 5405792.209
AT ITER 1601 NEW BEST:: SOT 11091827 SOS 6048071 HAS SOPS 6048071 HAS SOUS 5396676 HAS SOUPS 5396676 WITH SCORE 5402724.071
AT ITER 1609 NEW BEST:: SOT 11090493 SOS 6046831 HAS SOPS 6046831 HAS SOUS 5395538 HAS SOUPS 5395538 WITH SCORE 5401584.831
AT ITER 1610 NEW BEST:: SOT 11090493 SOS 6046300 HAS SOPS 6046300 HAS SOUS 5395538 HAS SOUPS 5395538 WITH SCORE 5401584.3
AT ITER 1612 NEW BEST:: SOT 11090493 SOS 6045962 HAS SOPS 6045962 HAS SOUS 5395538 HAS SOUPS 5395538 WITH SCORE 5401583.962
AT ITER 1613 NEW BEST:: SOT 11090882 SOS 6045175 HAS SOPS 6045175 HAS SOUS 5395135 HAS SOUPS 5395135 WITH SCORE 5401180.175
AT ITER 1624 NEW BEST:: SOT 11088694 SOS 6045442 HAS SOPS 6045442 HAS SOUS 5393507 HAS SOUPS 5393507 WITH SCORE 5399552.442
AT ITER 1639 NEW BEST:: SOT 11088694 SOS 6045341 HAS SOPS 6045341 HAS SOUS 5393420 HAS SOUPS 5393420 WITH SCORE 5399465.341
AT ITER 1642 NEW BEST:: SOT 11088694 SOS 6043761 HAS SOPS 6043761 HAS SOUS 5393420 HAS SOUPS 5393420 WITH SCORE 5399463.761
AT ITER 1643 NEW BEST:: SOT 11088694 SOS 6043555 HAS SOPS 6043555 HAS SOUS 5393420 HAS SOUPS 5393420 WITH SCORE 5399463.555
AT ITER 1656 NEW BEST:: SOT 11087689 SOS 6043022 HAS SOPS 6043022 HAS SOUS 5392619 HAS SOUPS 5392619 WITH SCORE 5398662.022
AT ITER 1658 NEW BEST:: SOT 11083370 SOS 6062486 HAS SOPS 6062486 HAS SOUS 5389357 HAS SOUPS 5389357 WITH SCORE 5395419.486
AT ITER 1664 NEW BEST:: SOT 11083370 SOS 6060913 HAS SOPS 6060913 HAS SOUS 5389357 HAS SOUPS 5389357 WITH SCORE 5395417.913
AT ITER 1666 NEW BEST:: SOT 11083715 SOS 6060946 HAS SOPS 6060946 HAS SOUS 5389264 HAS SOUPS 5389264 WITH SCORE 5395324.946
AT ITER 1668 NEW BEST:: SOT 11082836 SOS 6060067 HAS SOPS 6060067 HAS SOUS 5388315 HAS SOUPS 5388315 WITH SCORE 5394375.067
AT ITER 1669 NEW BEST:: SOT 11082836 SOS 6058429 HAS SOPS 6058429 HAS SOUS 5388315 HAS SOUPS 5388315 WITH SCORE 5394373.429
AT ITER 1686 NEW BEST:: SOT 11082077 SOS 6058138 HAS SOPS 6058138 HAS SOUS 5388087 HAS SOUPS 5388087 WITH SCORE 5394145.138
AT ITER 1687 NEW BEST:: SOT 11082077 SOS 6057437 HAS SOPS 6057437 HAS SOUS 5388087 HAS SOUPS 5388087 WITH SCORE 5394144.437
AT ITER 1689 NEW BEST:: SOT 11082006 SOS 6057366 HAS SOPS 6057366 HAS SOUS 5388087 HAS SOUPS 5388087 WITH SCORE 5394144.366
AT ITER 1691 NEW BEST:: SOT 11081877 SOS 6057237 HAS SOPS 6057237 HAS SOUS 5387958 HAS SOUPS 5387958 WITH SCORE 5394015.237
AT ITER 1693 NEW BEST:: SOT 11081877 SOS 6056941 HAS SOPS 6056941 HAS SOUS 5387958 HAS SOUPS 5387958 WITH SCORE 5394014.941
AT ITER 1701 NEW BEST:: SOT 11081309 SOS 6055979 HAS SOPS 6055979 HAS SOUS 5387124 HAS SOUPS 5387124 WITH SCORE 5393179.979
AT ITER 1710 NEW BEST:: SOT 11081309 SOS 6055006 HAS SOPS 6055006 HAS SOUS 5387124 HAS SOUPS 5387124 WITH SCORE 5393179.006
AT ITER 1714 NEW BEST:: SOT 11081425 SOS 6055122 HAS SOPS 6055122 HAS SOUS 5387028 HAS SOUPS 5387028 WITH SCORE 5393083.122
AT ITER 1715 NEW BEST:: SOT 11081024 SOS 6055122 HAS SOPS 6055122 HAS SOUS 5386627 HAS SOUPS 5386627 WITH SCORE 5392682.122
AT ITER 1717 NEW BEST:: SOT 11077665 SOS 6074951 HAS SOPS 6074951 HAS SOUS 5383643 HAS SOUPS 5383643 WITH SCORE 5389717.951
AT ITER 1719 NEW BEST:: SOT 11077665 SOS 6074951 HAS SOPS 6074951 HAS SOUS 5382928 HAS SOUPS 5382928 WITH SCORE 5389002.951
AT ITER 1720 NEW BEST:: SOT 11077665 SOS 6074490 HAS SOPS 6074490 HAS SOUS 5382928 HAS SOUPS 5382928 WITH SCORE 5389002.49
AT ITER 1728 NEW BEST:: SOT 11077453 SOS 6074278 HAS SOPS 6074278 HAS SOUS 5382716 HAS SOUPS 5382716 WITH SCORE 5388790.278
AT ITER 1730 NEW BEST:: SOT 11077453 SOS 6073689 HAS SOPS 6073689 HAS SOUS 5382716 HAS SOUPS 5382716 WITH SCORE 5388789.689
AT ITER 1731 NEW BEST:: SOT 11074012 SOS 6070722 HAS SOPS 6070722 HAS SOUS 5379502 HAS SOUPS 5379502 WITH SCORE 5385572.722
AT ITER 1737 NEW BEST:: SOT 11074012 SOS 6070330 HAS SOPS 6070330 HAS SOUS 5379502 HAS SOUPS 5379502 WITH SCORE 5385572.33
AT ITER 1740 NEW BEST:: SOT 11074012 SOS 6070151 HAS SOPS 6070151 HAS SOUS 5379502 HAS SOUPS 5379502 WITH SCORE 5385572.151
AT ITER 1748 NEW BEST:: SOT 11074012 SOS 6069877 HAS SOPS 6069877 HAS SOUS 5379258 HAS SOUPS 5379258 WITH SCORE 5385327.877
AT ITER 1755 NEW BEST:: SOT 11074012 SOS 6068900 HAS SOPS 6068900 HAS SOUS 5379162 HAS SOUPS 5379162 WITH SCORE 5385230.9
AT ITER 1761 NEW BEST:: SOT 11074012 SOS 6068772 HAS SOPS 6068772 HAS SOUS 5379162 HAS SOUPS 5379162 WITH SCORE 5385230.772
AT ITER 1765 NEW BEST:: SOT 11074012 SOS 6067189 HAS SOPS 6067189 HAS SOUS 5379104 HAS SOUPS 5379104 WITH SCORE 5385171.189
AT ITER 1769 NEW BEST:: SOT 11074012 SOS 6066936 HAS SOPS 6066936 HAS SOUS 5379104 HAS SOUPS 5379104 WITH SCORE 5385170.936
AT ITER 1777 NEW BEST:: SOT 11072294 SOS 6072387 HAS SOPS 6072387 HAS SOUS 5377526 HAS SOUPS 5377526 WITH SCORE 5383598.387
AT ITER 1778 NEW BEST:: SOT 11070731 SOS 6071447 HAS SOPS 6071447 HAS SOUS 5376425 HAS SOUPS 5376425 WITH SCORE 5382496.447
AT ITER 1784 NEW BEST:: SOT 11070731 SOS 6071199 HAS SOPS 6071199 HAS SOUS 5376425 HAS SOUPS 5376425 WITH SCORE 5382496.199
AT ITER 1796 NEW BEST:: SOT 11070731 SOS 6069554 HAS SOPS 6069554 HAS SOUS 5376425 HAS SOUPS 5376425 WITH SCORE 5382494.554
AT ITER 1799 NEW BEST:: SOT 11070731 SOS 6069413 HAS SOPS 6069413 HAS SOUS 5376425 HAS SOUPS 5376425 WITH SCORE 5382494.413
AT ITER 1803 NEW BEST:: SOT 11069821 SOS 6070471 HAS SOPS 6070471 HAS SOUS 5376291 HAS SOUPS 5376291 WITH SCORE 5382361.471
AT ITER 1804 NEW BEST:: SOT 11066395 SOS 6086626 HAS SOPS 6086626 HAS SOUS 5374828 HAS SOUPS 5374828 WITH SCORE 5380914.626
AT ITER 1805 NEW BEST:: SOT 11066257 SOS 6086714 HAS SOPS 6086714 HAS SOUS 5374690 HAS SOUPS 5374690 WITH SCORE 5380776.714
AT ITER 1806 NEW BEST:: SOT 11065177 SOS 6097993 HAS SOPS 6097993 HAS SOUS 5374310 HAS SOUPS 5374310 WITH SCORE 5380407.993
AT ITER 1813 NEW BEST:: SOT 11065177 SOS 6085861 HAS SOPS 6085861 HAS SOUS 5374310 HAS SOUPS 5374310 WITH SCORE 5380395.861
AT ITER 1816 NEW BEST:: SOT 11065177 SOS 6085534 HAS SOPS 6085534 HAS SOUS 5374310 HAS SOUPS 5374310 WITH SCORE 5380395.534
AT ITER 1817 NEW BEST:: SOT 11065177 SOS 6085075 HAS SOPS 6085075 HAS SOUS 5374310 HAS SOUPS 5374310 WITH SCORE 5380395.075
AT ITER 1819 NEW BEST:: SOT 11063883 SOS 6084341 HAS SOPS 6084341 HAS SOUS 5373114 HAS SOUPS 5373114 WITH SCORE 5379198.341
AT ITER 1820 NEW BEST:: SOT 11063883 SOS 6084335 HAS SOPS 6084335 HAS SOUS 5373108 HAS SOUPS 5373108 WITH SCORE 5379192.335
AT ITER 1821 NEW BEST:: SOT 11064258 SOS 6084710 HAS SOPS 6084710 HAS SOUS 5372965 HAS SOUPS 5372965 WITH SCORE 5379049.71
AT ITER 1823 NEW BEST:: SOT 11062761 SOS 6085127 HAS SOPS 6085127 HAS SOUS 5371621 HAS SOUPS 5371621 WITH SCORE 5377706.127
AT ITER 1828 NEW BEST:: SOT 11062761 SOS 6083793 HAS SOPS 6083793 HAS SOUS 5371621 HAS SOUPS 5371621 WITH SCORE 5377704.793
AT ITER 1829 NEW BEST:: SOT 11062761 SOS 6083732 HAS SOPS 6083732 HAS SOUS 5371621 HAS SOUPS 5371621 WITH SCORE 5377704.732
AT ITER 1841 NEW BEST:: SOT 11061024 SOS 6082259 HAS SOPS 6082259 HAS SOUS 5370296 HAS SOUPS 5370296 WITH SCORE 5376378.259
AT ITER 1844 NEW BEST:: SOT 11061024 SOS 6080419 HAS SOPS 6080419 HAS SOUS 5370296 HAS SOUPS 5370296 WITH SCORE 5376376.419
AT ITER 1852 NEW BEST:: SOT 11061024 SOS 6079987 HAS SOPS 6079987 HAS SOUS 5370296 HAS SOUPS 5370296 WITH SCORE 5376375.987
AT ITER 1853 NEW BEST:: SOT 11061024 SOS 6078254 HAS SOPS 6078254 HAS SOUS 5370296 HAS SOUPS 5370296 WITH SCORE 5376374.254
AT ITER 1854 NEW BEST:: SOT 11061024 SOS 6077564 HAS SOPS 6077564 HAS SOUS 5370296 HAS SOUPS 5370296 WITH SCORE 5376373.564
AT ITER 1856 NEW BEST:: SOT 11061024 SOS 6077256 HAS SOPS 6077256 HAS SOUS 5370296 HAS SOUPS 5370296 WITH SCORE 5376373.256
AT ITER 1863 NEW BEST:: SOT 11061024 SOS 6075990 HAS SOPS 6075990 HAS SOUS 5370296 HAS SOUPS 5370296 WITH SCORE 5376371.99
AT ITER 1864 NEW BEST:: SOT 11061367 SOS 6075887 HAS SOPS 6075887 HAS SOUS 5369969 HAS SOUPS 5369969 WITH SCORE 5376044.887
AT ITER 1869 NEW BEST:: SOT 11060996 SOS 6075180 HAS SOPS 6075180 HAS SOUS 5369544 HAS SOUPS 5369544 WITH SCORE 5375619.18
AT ITER 1872 NEW BEST:: SOT 11060996 SOS 6074048 HAS SOPS 6074048 HAS SOUS 5369544 HAS SOUPS 5369544 WITH SCORE 5375618.048
AT ITER 1878 NEW BEST:: SOT 11060996 SOS 6073503 HAS SOPS 6073503 HAS SOUS 5369544 HAS SOUPS 5369544 WITH SCORE 5375617.503
AT ITER 1882 NEW BEST:: SOT 11060996 SOS 6073481 HAS SOPS 6073481 HAS SOUS 5369544 HAS SOUPS 5369544 WITH SCORE 5375617.481
AT ITER 1883 NEW BEST:: SOT 11060996 SOS 6072820 HAS SOPS 6072820 HAS SOUS 5369544 HAS SOUPS 5369544 WITH SCORE 5375616.82
AT ITER 1885 NEW BEST:: SOT 11059062 SOS 6073020 HAS SOPS 6073020 HAS SOUS 5367750 HAS SOUPS 5367750 WITH SCORE 5373823.02
AT ITER 1886 NEW BEST:: SOT 11059062 SOS 6071879 HAS SOPS 6071879 HAS SOUS 5367750 HAS SOUPS 5367750 WITH SCORE 5373821.879
AT ITER 1890 NEW BEST:: SOT 11058982 SOS 6071572 HAS SOPS 6071572 HAS SOUS 5367720 HAS SOUPS 5367720 WITH SCORE 5373791.572
AT ITER 1893 NEW BEST:: SOT 11058982 SOS 6069464 HAS SOPS 6069464 HAS SOUS 5367720 HAS SOUPS 5367720 WITH SCORE 5373789.464
AT ITER 1902 NEW BEST:: SOT 11058869 SOS 6069255 HAS SOPS 6069255 HAS SOUS 5367558 HAS SOUPS 5367558 WITH SCORE 5373627.255
AT ITER 1905 NEW BEST:: SOT 11058869 SOS 6068556 HAS SOPS 6068556 HAS SOUS 5367558 HAS SOUPS 5367558 WITH SCORE 5373626.556
AT ITER 1906 NEW BEST:: SOT 11058869 SOS 6067968 HAS SOPS 6067968 HAS SOUS 5367558 HAS SOUPS 5367558 WITH SCORE 5373625.968
AT ITER 1912 NEW BEST:: SOT 11055908 SOS 6066837 HAS SOPS 6066837 HAS SOUS 5364714 HAS SOUPS 5364714 WITH SCORE 5370780.837
AT ITER 1923 NEW BEST:: SOT 11055908 SOS 6065655 HAS SOPS 6065655 HAS SOUS 5364714 HAS SOUPS 5364714 WITH SCORE 5370779.655
AT ITER 1927 NEW BEST:: SOT 11055149 SOS 6066296 HAS SOPS 6066296 HAS SOUS 5364246 HAS SOUPS 5364246 WITH SCORE 5370312.296
AT ITER 1931 NEW BEST:: SOT 11051207 SOS 6063115 HAS SOPS 6063115 HAS SOUS 5360647 HAS SOUPS 5360647 WITH SCORE 5366710.115
AT ITER 1932 NEW BEST:: SOT 11050127 SOS 6063192 HAS SOPS 6063192 HAS SOUS 5360069 HAS SOUPS 5360069 WITH SCORE 5366132.192
AT ITER 1951 NEW BEST:: SOT 11050127 SOS 6062431 HAS SOPS 6062431 HAS SOUS 5360069 HAS SOUPS 5360069 WITH SCORE 5366131.431
AT ITER 1954 NEW BEST:: SOT 11050290 SOS 6061586 HAS SOPS 6061586 HAS SOUS 5359107 HAS SOUPS 5359107 WITH SCORE 5365168.586
AT ITER 1955 NEW BEST:: SOT 11050290 SOS 6061540 HAS SOPS 6061540 HAS SOUS 5359107 HAS SOUPS 5359107 WITH SCORE 5365168.54
AT ITER 1956 NEW BEST:: SOT 11049775 SOS 6061025 HAS SOPS 6061025 HAS SOUS 5358754 HAS SOUPS 5358754 WITH SCORE 5364815.025
AT ITER 1961 NEW BEST:: SOT 11049775 SOS 6060732 HAS SOPS 6060732 HAS SOUS 5358754 HAS SOUPS 5358754 WITH SCORE 5364814.732
AT ITER 1971 NEW BEST:: SOT 11049639 SOS 6059473 HAS SOPS 6059473 HAS SOUS 5357404 HAS SOUPS 5357404 WITH SCORE 5363463.473
AT ITER 1972 NEW BEST:: SOT 11047847 SOS 6059709 HAS SOPS 6059709 HAS SOUS 5356790 HAS SOUPS 5356790 WITH SCORE 5362849.709
AT ITER 1978 NEW BEST:: SOT 11047847 SOS 6058349 HAS SOPS 6058349 HAS SOUS 5356790 HAS SOUPS 5356790 WITH SCORE 5362848.349
AT ITER 1988 NEW BEST:: SOT 11047847 SOS 6058171 HAS SOPS 6058171 HAS SOUS 5356790 HAS SOUPS 5356790 WITH SCORE 5362848.171
AT ITER 1989 NEW BEST:: SOT 11047649 SOS 6057973 HAS SOPS 6057973 HAS SOUS 5356592 HAS SOUPS 5356592 WITH SCORE 5362649.973
AT ITER 1993 NEW BEST:: SOT 11047649 SOS 6057922 HAS SOPS 6057922 HAS SOUS 5356592 HAS SOUPS 5356592 WITH SCORE 5362649.922
AT ITER 1994 NEW BEST:: SOT 11047649 SOS 6056625 HAS SOPS 6056625 HAS SOUS 5356592 HAS SOUPS 5356592 WITH SCORE 5362648.625
AT ITER 1995 NEW BEST:: SOT 11046664 SOS 6056154 HAS SOPS 6056154 HAS SOUS 5356189 HAS SOUPS 5356189 WITH SCORE 5362245.154
AT ITER 1999 NEW BEST:: SOT 11045808 SOS 6056281 HAS SOPS 6056281 HAS SOUS 5355333 HAS SOUPS 5355333 WITH SCORE 5361389.281
AT ITER 2003 NEW BEST:: SOT 11045988 SOS 6054445 HAS SOPS 6054445 HAS SOUS 5355231 HAS SOUPS 5355231 WITH SCORE 5361285.445
AT ITER 2009 NEW BEST:: SOT 11043801 SOS 6057374 HAS SOPS 6057374 HAS SOUS 5353728 HAS SOUPS 5353728 WITH SCORE 5359785.374
AT ITER 2013 NEW BEST:: SOT 11043612 SOS 6057206 HAS SOPS 6057206 HAS SOUS 5353581 HAS SOUPS 5353581 WITH SCORE 5359638.206
AT ITER 2018 NEW BEST:: SOT 11041820 SOS 6058272 HAS SOPS 6058272 HAS SOUS 5353481 HAS SOUPS 5353481 WITH SCORE 5359539.272
AT ITER 2021 NEW BEST:: SOT 11041820 SOS 6057346 HAS SOPS 6057346 HAS SOUS 5353481 HAS SOUPS 5353481 WITH SCORE 5359538.346
AT ITER 2024 NEW BEST:: SOT 11041734 SOS 6057260 HAS SOPS 6057260 HAS SOUS 5353305 HAS SOUPS 5353305 WITH SCORE 5359362.26
AT ITER 2030 NEW BEST:: SOT 11041734 SOS 6049843 HAS SOPS 6049843 HAS SOUS 5353305 HAS SOUPS 5353305 WITH SCORE 5359354.843
AT ITER 2045 NEW BEST:: SOT 11041734 SOS 6049061 HAS SOPS 6049061 HAS SOUS 5353305 HAS SOUPS 5353305 WITH SCORE 5359354.061
AT ITER 2047 NEW BEST:: SOT 11041734 SOS 6048269 HAS SOPS 6048269 HAS SOUS 5353305 HAS SOUPS 5353305 WITH SCORE 5359353.269
AT ITER 2048 NEW BEST:: SOT 11041446 SOS 6048015 HAS SOPS 6048015 HAS SOUS 5352722 HAS SOUPS 5352722 WITH SCORE 5358770.015
AT ITER 2053 NEW BEST:: SOT 11039073 SOS 6047241 HAS SOPS 6047241 HAS SOUS 5350968 HAS SOUPS 5350968 WITH SCORE 5357015.241
AT ITER 2059 NEW BEST:: SOT 11039073 SOS 6046678 HAS SOPS 6046678 HAS SOUS 5350968 HAS SOUPS 5350968 WITH SCORE 5357014.678
AT ITER 2062 NEW BEST:: SOT 11038291 SOS 6046267 HAS SOPS 6046267 HAS SOUS 5350557 HAS SOUPS 5350557 WITH SCORE 5356603.267
AT ITER 2066 NEW BEST:: SOT 11038456 SOS 6046211 HAS SOPS 6046211 HAS SOUS 5350333 HAS SOUPS 5350333 WITH SCORE 5356379.211
AT ITER 2068 NEW BEST:: SOT 11038694 SOS 6045685 HAS SOPS 6045685 HAS SOUS 5349788 HAS SOUPS 5349788 WITH SCORE 5355833.685
AT ITER 2070 NEW BEST:: SOT 11038694 SOS 6045104 HAS SOPS 6045104 HAS SOUS 5349788 HAS SOUPS 5349788 WITH SCORE 5355833.104
AT ITER 2072 NEW BEST:: SOT 11038694 SOS 6045008 HAS SOPS 6045008 HAS SOUS 5349788 HAS SOUPS 5349788 WITH SCORE 5355833.008
AT ITER 2073 NEW BEST:: SOT 11038694 SOS 6044976 HAS SOPS 6044976 HAS SOUS 5349788 HAS SOUPS 5349788 WITH SCORE 5355832.976
AT ITER 2076 NEW BEST:: SOT 11038694 SOS 6044303 HAS SOPS 6044303 HAS SOUS 5349788 HAS SOUPS 5349788 WITH SCORE 5355832.303
AT ITER 2077 NEW BEST:: SOT 11037649 SOS 6044391 HAS SOPS 6044391 HAS SOUS 5349387 HAS SOUPS 5349387 WITH SCORE 5355431.391
AT ITER 2081 NEW BEST:: SOT 11037649 SOS 6044340 HAS SOPS 6044340 HAS SOUS 5349387 HAS SOUPS 5349387 WITH SCORE 5355431.34
AT ITER 2083 NEW BEST:: SOT 11036660 SOS 6045005 HAS SOPS 6045005 HAS SOUS 5349121 HAS SOUPS 5349121 WITH SCORE 5355166.005
AT ITER 2088 NEW BEST:: SOT 11036705 SOS 6044450 HAS SOPS 6044450 HAS SOUS 5349058 HAS SOUPS 5349058 WITH SCORE 5355102.45
AT ITER 2090 NEW BEST:: SOT 11037213 SOS 6055470 HAS SOPS 6055470 HAS SOUS 5348488 HAS SOUPS 5348488 WITH SCORE 5354543.47
AT ITER 2093 NEW BEST:: SOT 11037074 SOS 6055331 HAS SOPS 6055331 HAS SOUS 5348394 HAS SOUPS 5348394 WITH SCORE 5354449.331
AT ITER 2098 NEW BEST:: SOT 11036840 SOS 6055432 HAS SOPS 6055432 HAS SOUS 5348160 HAS SOUPS 5348160 WITH SCORE 5354215.432
AT ITER 2104 NEW BEST:: SOT 11035950 SOS 6054830 HAS SOPS 6054830 HAS SOUS 5347334 HAS SOUPS 5347334 WITH SCORE 5353388.83
AT ITER 2110 NEW BEST:: SOT 11035850 SOS 6055213 HAS SOPS 6055213 HAS SOUS 5347214 HAS SOUPS 5347214 WITH SCORE 5353269.213
AT ITER 2111 NEW BEST:: SOT 11035850 SOS 6055013 HAS SOPS 6055013 HAS SOUS 5347214 HAS SOUPS 5347214 WITH SCORE 5353269.013
AT ITER 2115 NEW BEST:: SOT 11035684 SOS 6054802 HAS SOPS 6054802 HAS SOUS 5347171 HAS SOUPS 5347171 WITH SCORE 5353225.802
AT ITER 2118 NEW BEST:: SOT 11035684 SOS 6054371 HAS SOPS 6054371 HAS SOUS 5347171 HAS SOUPS 5347171 WITH SCORE 5353225.371
AT ITER 2121 NEW BEST:: SOT 11035684 SOS 6053196 HAS SOPS 6053196 HAS SOUS 5347171 HAS SOUPS 5347171 WITH SCORE 5353224.196
AT ITER 2127 NEW BEST:: SOT 11033452 SOS 6058452 HAS SOPS 6058452 HAS SOUS 5345302 HAS SOUPS 5345302 WITH SCORE 5351360.452
AT ITER 2134 NEW BEST:: SOT 11033707 SOS 6058802 HAS SOPS 6058802 HAS SOUS 5345237 HAS SOUPS 5345237 WITH SCORE 5351295.802
AT ITER 2135 NEW BEST:: SOT 11033707 SOS 6058526 HAS SOPS 6058526 HAS SOUS 5345237 HAS SOUPS 5345237 WITH SCORE 5351295.526
AT ITER 2141 NEW BEST:: SOT 11032828 SOS 6057919 HAS SOPS 6057919 HAS SOUS 5344636 HAS SOUPS 5344636 WITH SCORE 5350693.919
AT ITER 2144 NEW BEST:: SOT 11032828 SOS 6042590 HAS SOPS 6042590 HAS SOUS 5343926 HAS SOUPS 5343926 WITH SCORE 5349968.59
AT ITER 2147 NEW BEST:: SOT 11032828 SOS 6042527 HAS SOPS 6042527 HAS SOUS 5343863 HAS SOUPS 5343863 WITH SCORE 5349905.527
AT ITER 2148 NEW BEST:: SOT 11032828 SOS 6042429 HAS SOPS 6042429 HAS SOUS 5343863 HAS SOUPS 5343863 WITH SCORE 5349905.429
AT ITER 2152 NEW BEST:: SOT 11032828 SOS 6042429 HAS SOPS 6042429 HAS SOUS 5343464 HAS SOUPS 5343464 WITH SCORE 5349506.429
AT ITER 2157 NEW BEST:: SOT 11032828 SOS 6041615 HAS SOPS 6041615 HAS SOUS 5343300 HAS SOUPS 5343300 WITH SCORE 5349341.615
AT ITER 2160 NEW BEST:: SOT 11029306 SOS 6053434 HAS SOPS 6053434 HAS SOUS 5340473 HAS SOUPS 5340473 WITH SCORE 5346526.434
AT ITER 2169 NEW BEST:: SOT 11027425 SOS 6052375 HAS SOPS 6052375 HAS SOUS 5338592 HAS SOUPS 5338592 WITH SCORE 5344644.375
AT ITER 2172 NEW BEST:: SOT 11024631 SOS 6052105 HAS SOPS 6052105 HAS SOUS 5336119 HAS SOUPS 5336119 WITH SCORE 5342171.105
AT ITER 2176 NEW BEST:: SOT 11024631 SOS 6051976 HAS SOPS 6051976 HAS SOUS 5336119 HAS SOUPS 5336119 WITH SCORE 5342170.976
AT ITER 2177 NEW BEST:: SOT 11024595 SOS 6051634 HAS SOPS 6051634 HAS SOUS 5335648 HAS SOUPS 5335648 WITH SCORE 5341699.634
AT ITER 2179 NEW BEST:: SOT 11023750 SOS 6051112 HAS SOPS 6051112 HAS SOUS 5335126 HAS SOUPS 5335126 WITH SCORE 5341177.112
AT ITER 2180 NEW BEST:: SOT 11023750 SOS 6050104 HAS SOPS 6050104 HAS SOUS 5335126 HAS SOUPS 5335126 WITH SCORE 5341176.104
AT ITER 2185 NEW BEST:: SOT 11023750 SOS 6049054 HAS SOPS 6049054 HAS SOUS 5335126 HAS SOUPS 5335126 WITH SCORE 5341175.054
AT ITER 2186 NEW BEST:: SOT 11019916 SOS 6069457 HAS SOPS 6069457 HAS SOUS 5334594 HAS SOUPS 5334594 WITH SCORE 5340663.457
AT ITER 2196 NEW BEST:: SOT 11019916 SOS 6069404 HAS SOPS 6069404 HAS SOUS 5334594 HAS SOUPS 5334594 WITH SCORE 5340663.404
AT ITER 2198 NEW BEST:: SOT 11019916 SOS 6069062 HAS SOPS 6069062 HAS SOUS 5334594 HAS SOUPS 5334594 WITH SCORE 5340663.062
AT ITER 2202 NEW BEST:: SOT 11019916 SOS 6068295 HAS SOPS 6068295 HAS SOUS 5334594 HAS SOUPS 5334594 WITH SCORE 5340662.295
AT ITER 2203 NEW BEST:: SOT 11017207 SOS 6066074 HAS SOPS 6066074 HAS SOUS 5332193 HAS SOUPS 5332193 WITH SCORE 5338259.074
AT ITER 2208 NEW BEST:: SOT 11015491 SOS 6074728 HAS SOPS 6074728 HAS SOUS 5331131 HAS SOUPS 5331131 WITH SCORE 5337205.728
AT ITER 2210 NEW BEST:: SOT 11014704 SOS 6074721 HAS SOPS 6074721 HAS SOUS 5330426 HAS SOUPS 5330426 WITH SCORE 5336500.721
AT ITER 2218 NEW BEST:: SOT 11014807 SOS 6074090 HAS SOPS 6074090 HAS SOUS 5330157 HAS SOUPS 5330157 WITH SCORE 5336231.09
AT ITER 2223 NEW BEST:: SOT 11014623 SOS 6073830 HAS SOPS 6073830 HAS SOUS 5329859 HAS SOUPS 5329859 WITH SCORE 5335932.83
AT ITER 2236 NEW BEST:: SOT 11014623 SOS 6073653 HAS SOPS 6073653 HAS SOUS 5329859 HAS SOUPS 5329859 WITH SCORE 5335932.653
AT ITER 2237 NEW BEST:: SOT 11013304 SOS 6077835 HAS SOPS 6077835 HAS SOUS 5329379 HAS SOUPS 5329379 WITH SCORE 5335456.835
AT ITER 2242 NEW BEST:: SOT 11013304 SOS 6059093 HAS SOPS 6059093 HAS SOUS 5329252 HAS SOUPS 5329252 WITH SCORE 5335311.093
AT ITER 2254 NEW BEST:: SOT 11012023 SOS 6067641 HAS SOPS 6067641 HAS SOUS 5328789 HAS SOUPS 5328789 WITH SCORE 5334856.641
AT ITER 2255 NEW BEST:: SOT 11008766 SOS 6075285 HAS SOPS 6075285 HAS SOUS 5326950 HAS SOUPS 5326950 WITH SCORE 5333025.285
AT ITER 2257 NEW BEST:: SOT 11008766 SOS 6074730 HAS SOPS 6074730 HAS SOUS 5326573 HAS SOUPS 5326573 WITH SCORE 5332647.73
AT ITER 2258 NEW BEST:: SOT 11005944 SOS 6091775 HAS SOPS 6091775 HAS SOUS 5326128 HAS SOUPS 5326128 WITH SCORE 5332219.775
AT ITER 2264 NEW BEST:: SOT 11005502 SOS 6091367 HAS SOPS 6091367 HAS SOUS 5325720 HAS SOUPS 5325720 WITH SCORE 5331811.367
AT ITER 2274 NEW BEST:: SOT 11005502 SOS 6091077 HAS SOPS 6091077 HAS SOUS 5325720 HAS SOUPS 5325720 WITH SCORE 5331811.077
AT ITER 2278 NEW BEST:: SOT 11005502 SOS 6089870 HAS SOPS 6089870 HAS SOUS 5325720 HAS SOUPS 5325720 WITH SCORE 5331809.87
AT ITER 2286 NEW BEST:: SOT 11001587 SOS 6096977 HAS SOPS 6096977 HAS SOUS 5322241 HAS SOUPS 5322241 WITH SCORE 5328337.977
AT ITER 2289 NEW BEST:: SOT 11001587 SOS 6096907 HAS SOPS 6096907 HAS SOUS 5322241 HAS SOUPS 5322241 WITH SCORE 5328337.907
AT ITER 2296 NEW BEST:: SOT 11001587 SOS 6096814 HAS SOPS 6096814 HAS SOUS 5322190 HAS SOUPS 5322190 WITH SCORE 5328286.814
AT ITER 2298 NEW BEST:: SOT 11001247 SOS 6101021 HAS SOPS 6101021 HAS SOUS 5321985 HAS SOUPS 5321985 WITH SCORE 5328086.021
AT ITER 2299 NEW BEST:: SOT 11001247 SOS 6100749 HAS SOPS 6100749 HAS SOUS 5321985 HAS SOUPS 5321985 WITH SCORE 5328085.749
AT ITER 2303 NEW BEST:: SOT 11000216 SOS 6099928 HAS SOPS 6099928 HAS SOUS 5321304 HAS SOUPS 5321304 WITH SCORE 5327403.928
AT ITER 2305 NEW BEST:: SOT 11000216 SOS 6098599 HAS SOPS 6098599 HAS SOUS 5321304 HAS SOUPS 5321304 WITH SCORE 5327402.599
AT ITER 2306 NEW BEST:: SOT 10999910 SOS 6098296 HAS SOPS 6098296 HAS SOUS 5321001 HAS SOUPS 5321001 WITH SCORE 5327099.296
AT ITER 2307 NEW BEST:: SOT 10999169 SOS 6097802 HAS SOPS 6097802 HAS SOUS 5320260 HAS SOUPS 5320260 WITH SCORE 5326357.802
AT ITER 2311 NEW BEST:: SOT 10999169 SOS 6097025 HAS SOPS 6097025 HAS SOUS 5320260 HAS SOUPS 5320260 WITH SCORE 5326357.025
AT ITER 2314 NEW BEST:: SOT 10999169 SOS 6097025 HAS SOPS 6097025 HAS SOUS 5320120 HAS SOUPS 5320120 WITH SCORE 5326217.025
AT ITER 2315 NEW BEST:: SOT 10999033 SOS 6096889 HAS SOPS 6096889 HAS SOUS 5319984 HAS SOUPS 5319984 WITH SCORE 5326080.889
AT ITER 2318 NEW BEST:: SOT 10999033 SOS 6095391 HAS SOPS 6095391 HAS SOUS 5319670 HAS SOUPS 5319670 WITH SCORE 5325765.391
AT ITER 2320 NEW BEST:: SOT 10999033 SOS 6094424 HAS SOPS 6094424 HAS SOUS 5319670 HAS SOUPS 5319670 WITH SCORE 5325764.424
AT ITER 2321 NEW BEST:: SOT 10997395 SOS 6092786 HAS SOPS 6092786 HAS SOUS 5318032 HAS SOUPS 5318032 WITH SCORE 5324124.786
AT ITER 2322 NEW BEST:: SOT 10997395 SOS 6092218 HAS SOPS 6092218 HAS SOUS 5318032 HAS SOUPS 5318032 WITH SCORE 5324124.218
AT ITER 2324 NEW BEST:: SOT 10997395 SOS 6092132 HAS SOPS 6092132 HAS SOUS 5317946 HAS SOUPS 5317946 WITH SCORE 5324038.132
AT ITER 2337 NEW BEST:: SOT 10997395 SOS 6091880 HAS SOPS 6091880 HAS SOUS 5317946 HAS SOUPS 5317946 WITH SCORE 5324037.88
AT ITER 2339 NEW BEST:: SOT 10993270 SOS 6089823 HAS SOPS 6089823 HAS SOUS 5314234 HAS SOUPS 5314234 WITH SCORE 5320323.823
AT ITER 2358 NEW BEST:: SOT 10993270 SOS 6088257 HAS SOPS 6088257 HAS SOUS 5314088 HAS SOUPS 5314088 WITH SCORE 5320176.257
AT ITER 2367 NEW BEST:: SOT 10993270 SOS 6087991 HAS SOPS 6087991 HAS SOUS 5314088 HAS SOUPS 5314088 WITH SCORE 5320175.991
AT ITER 2371 NEW BEST:: SOT 10991821 SOS 6092454 HAS SOPS 6092454 HAS SOUS 5313423 HAS SOUPS 5313423 WITH SCORE 5319515.454
AT ITER 2372 NEW BEST:: SOT 10991821 SOS 6090986 HAS SOPS 6090986 HAS SOUS 5313423 HAS SOUPS 5313423 WITH SCORE 5319513.986
AT ITER 2374 NEW BEST:: SOT 10991821 SOS 6090100 HAS SOPS 6090100 HAS SOUS 5313423 HAS SOUPS 5313423 WITH SCORE 5319513.1
AT ITER 2377 NEW BEST:: SOT 10991821 SOS 6089423 HAS SOPS 6089423 HAS SOUS 5313423 HAS SOUPS 5313423 WITH SCORE 5319512.423
AT ITER 2378 NEW BEST:: SOT 10991821 SOS 6088143 HAS SOPS 6088143 HAS SOUS 5313423 HAS SOUPS 5313423 WITH SCORE 5319511.143
AT ITER 2390 NEW BEST:: SOT 10991821 SOS 6087728 HAS SOPS 6087728 HAS SOUS 5313423 HAS SOUPS 5313423 WITH SCORE 5319510.728
AT ITER 2395 NEW BEST:: SOT 10991821 SOS 6087616 HAS SOPS 6087616 HAS SOUS 5313423 HAS SOUPS 5313423 WITH SCORE 5319510.616
AT ITER 2402 NEW BEST:: SOT 10991821 SOS 6081418 HAS SOPS 6081418 HAS SOUS 5313423 HAS SOUPS 5313423 WITH SCORE 5319504.418
AT ITER 2406 NEW BEST:: SOT 10989006 SOS 6083864 HAS SOPS 6083864 HAS SOUS 5311894 HAS SOUPS 5311894 WITH SCORE 5317977.864
AT ITER 2407 NEW BEST:: SOT 10987722 SOS 6107987 HAS SOPS 6107987 HAS SOUS 5311401 HAS SOUPS 5311401 WITH SCORE 5317508.987
AT ITER 2413 NEW BEST:: SOT 10987722 SOS 6107681 HAS SOPS 6107681 HAS SOUS 5311401 HAS SOUPS 5311401 WITH SCORE 5317508.681
AT ITER 2416 NEW BEST:: SOT 10987012 SOS 6107042 HAS SOPS 6107042 HAS SOUS 5310762 HAS SOUPS 5310762 WITH SCORE 5316869.042
AT ITER 2417 NEW BEST:: SOT 10987012 SOS 6106939 HAS SOPS 6106939 HAS SOUS 5310762 HAS SOUPS 5310762 WITH SCORE 5316868.939
AT ITER 2423 NEW BEST:: SOT 10986989 SOS 6106208 HAS SOPS 6106208 HAS SOUS 5310510 HAS SOUPS 5310510 WITH SCORE 5316616.208
AT ITER 2425 NEW BEST:: SOT 10984725 SOS 6110135 HAS SOPS 6110135 HAS SOUS 5309215 HAS SOUPS 5309215 WITH SCORE 5315325.135
AT ITER 2428 NEW BEST:: SOT 10984725 SOS 6109518 HAS SOPS 6109518 HAS SOUS 5309215 HAS SOUPS 5309215 WITH SCORE 5315324.518
AT ITER 2430 NEW BEST:: SOT 10984725 SOS 6108602 HAS SOPS 6108602 HAS SOUS 5309215 HAS SOUPS 5309215 WITH SCORE 5315323.602
AT ITER 2431 NEW BEST:: SOT 10984331 SOS 6108362 HAS SOPS 6108362 HAS SOUS 5309215 HAS SOUPS 5309215 WITH SCORE 5315323.362
AT ITER 2434 NEW BEST:: SOT 10983334 SOS 6107695 HAS SOPS 6107695 HAS SOUS 5308218 HAS SOUPS 5308218 WITH SCORE 5314325.695
AT ITER 2445 NEW BEST:: SOT 10983334 SOS 6107647 HAS SOPS 6107647 HAS SOUS 5308218 HAS SOUPS 5308218 WITH SCORE 5314325.647
AT ITER 2457 NEW BEST:: SOT 10983334 SOS 6107143 HAS SOPS 6107143 HAS SOUS 5308218 HAS SOUPS 5308218 WITH SCORE 5314325.143
AT ITER 2459 NEW BEST:: SOT 10983334 SOS 6105565 HAS SOPS 6105565 HAS SOUS 5308218 HAS SOUPS 5308218 WITH SCORE 5314323.565
AT ITER 2463 NEW BEST:: SOT 10983334 SOS 6105001 HAS SOPS 6105001 HAS SOUS 5308218 HAS SOUPS 5308218 WITH SCORE 5314323.001
AT ITER 2466 NEW BEST:: SOT 10982788 SOS 6104617 HAS SOPS 6104617 HAS SOUS 5307694 HAS SOUPS 5307694 WITH SCORE 5313798.617
AT ITER 2470 NEW BEST:: SOT 10982788 SOS 6104161 HAS SOPS 6104161 HAS SOUS 5307694 HAS SOUPS 5307694 WITH SCORE 5313798.161
AT ITER 2472 NEW BEST:: SOT 10983136 SOS 6105590 HAS SOPS 6105590 HAS SOUS 5306815 HAS SOUPS 5306815 WITH SCORE 5312920.59
AT ITER 2481 NEW BEST:: SOT 10983136 SOS 6105351 HAS SOPS 6105351 HAS SOUS 5306815 HAS SOUPS 5306815 WITH SCORE 5312920.351
AT ITER 2483 NEW BEST:: SOT 10983127 SOS 6105342 HAS SOPS 6105342 HAS SOUS 5306806 HAS SOUPS 5306806 WITH SCORE 5312911.342
AT ITER 2484 NEW BEST:: SOT 10983219 SOS 6105434 HAS SOPS 6105434 HAS SOUS 5306779 HAS SOUPS 5306779 WITH SCORE 5312884.434
AT ITER 2486 NEW BEST:: SOT 10983484 SOS 6096583 HAS SOPS 6096583 HAS SOUS 5306086 HAS SOUPS 5306086 WITH SCORE 5312182.583
AT ITER 2502 NEW BEST:: SOT 10983251 SOS 6096084 HAS SOPS 6096084 HAS SOUS 5305618 HAS SOUPS 5305618 WITH SCORE 5311714.084
AT ITER 2506 NEW BEST:: SOT 10983151 SOS 6096926 HAS SOPS 6096926 HAS SOUS 5305098 HAS SOUPS 5305098 WITH SCORE 5311194.926
AT ITER 2513 NEW BEST:: SOT 10983151 SOS 6096527 HAS SOPS 6096527 HAS SOUS 5305098 HAS SOUPS 5305098 WITH SCORE 5311194.527
AT ITER 2514 NEW BEST:: SOT 10983151 SOS 6095489 HAS SOPS 6095489 HAS SOUS 5305098 HAS SOUPS 5305098 WITH SCORE 5311193.489
AT ITER 2520 NEW BEST:: SOT 10979728 SOS 6095121 HAS SOPS 6095121 HAS SOUS 5302034 HAS SOUPS 5302034 WITH SCORE 5308129.121
AT ITER 2521 NEW BEST:: SOT 10979728 SOS 6094850 HAS SOPS 6094850 HAS SOUS 5301290 HAS SOUPS 5301290 WITH SCORE 5307384.85
AT ITER 2522 NEW BEST:: SOT 10979728 SOS 6094644 HAS SOPS 6094644 HAS SOUS 5301290 HAS SOUPS 5301290 WITH SCORE 5307384.644
AT ITER 2533 NEW BEST:: SOT 10979517 SOS 6094190 HAS SOPS 6094190 HAS SOUS 5301079 HAS SOUPS 5301079 WITH SCORE 5307173.19
AT ITER 2538 NEW BEST:: SOT 10979517 SOS 6094108 HAS SOPS 6094108 HAS SOUS 5301079 HAS SOUPS 5301079 WITH SCORE 5307173.108
AT ITER 2548 NEW BEST:: SOT 10979517 SOS 6094108 HAS SOPS 6094108 HAS SOUS 5300954 HAS SOUPS 5300954 WITH SCORE 5307048.108
AT ITER 2551 NEW BEST:: SOT 10978587 SOS 6093084 HAS SOPS 6093084 HAS SOUS 5298829 HAS SOUPS 5298829 WITH SCORE 5304922.084
AT ITER 2555 NEW BEST:: SOT 10978587 SOS 6092864 HAS SOPS 6092864 HAS SOUS 5298829 HAS SOUPS 5298829 WITH SCORE 5304921.864
AT ITER 2564 NEW BEST:: SOT 10978587 SOS 6091682 HAS SOPS 6091682 HAS SOUS 5298829 HAS SOUPS 5298829 WITH SCORE 5304920.682
AT ITER 2572 NEW BEST:: SOT 10974667 SOS 6088985 HAS SOPS 6088985 HAS SOUS 5295015 HAS SOUPS 5295015 WITH SCORE 5301103.985
AT ITER 2583 NEW BEST:: SOT 10974799 SOS 6089016 HAS SOPS 6089016 HAS SOUS 5294906 HAS SOUPS 5294906 WITH SCORE 5300995.016
AT ITER 2590 NEW BEST:: SOT 10974799 SOS 6075595 HAS SOPS 6075595 HAS SOUS 5294898 HAS SOUPS 5294898 WITH SCORE 5300973.595
AT ITER 2592 NEW BEST:: SOT 10971902 SOS 6073903 HAS SOPS 6073903 HAS SOUS 5292469 HAS SOUPS 5292469 WITH SCORE 5298542.903
AT ITER 2599 NEW BEST:: SOT 10971902 SOS 6073488 HAS SOPS 6073488 HAS SOUS 5292469 HAS SOUPS 5292469 WITH SCORE 5298542.488
AT ITER 2603 NEW BEST:: SOT 10971902 SOS 6072859 HAS SOPS 6072859 HAS SOUS 5292469 HAS SOUPS 5292469 WITH SCORE 5298541.859
AT ITER 2606 NEW BEST:: SOT 10968762 SOS 6072385 HAS SOPS 6072385 HAS SOUS 5291611 HAS SOUPS 5291611 WITH SCORE 5297683.385
AT ITER 2611 NEW BEST:: SOT 10965211 SOS 6070041 HAS SOPS 6070041 HAS SOUS 5289374 HAS SOUPS 5289374 WITH SCORE 5295444.041
AT ITER 2612 NEW BEST:: SOT 10961132 SOS 6066789 HAS SOPS 6066789 HAS SOUS 5285545 HAS SOUPS 5285545 WITH SCORE 5291611.789
AT ITER 2614 NEW BEST:: SOT 10960650 SOS 6067024 HAS SOPS 6067024 HAS SOUS 5285174 HAS SOUPS 5285174 WITH SCORE 5291241.024
AT ITER 2619 NEW BEST:: SOT 10957710 SOS 6066183 HAS SOPS 6066183 HAS SOUS 5283079 HAS SOUPS 5283079 WITH SCORE 5289145.183
AT ITER 2620 NEW BEST:: SOT 10957549 SOS 6066152 HAS SOPS 6066152 HAS SOUS 5283048 HAS SOUPS 5283048 WITH SCORE 5289114.152
AT ITER 2622 NEW BEST:: SOT 10957549 SOS 6065888 HAS SOPS 6065888 HAS SOUS 5283048 HAS SOUPS 5283048 WITH SCORE 5289113.888
AT ITER 2625 NEW BEST:: SOT 10957549 SOS 6063466 HAS SOPS 6063466 HAS SOUS 5282853 HAS SOUPS 5282853 WITH SCORE 5288916.466
AT ITER 2631 NEW BEST:: SOT 10955296 SOS 6076302 HAS SOPS 6076302 HAS SOUS 5281166 HAS SOUPS 5281166 WITH SCORE 5287242.302
AT ITER 2637 NEW BEST:: SOT 10951474 SOS 6087505 HAS SOPS 6087505 HAS SOUS 5279060 HAS SOUPS 5279060 WITH SCORE 5285147.505
AT ITER 2645 NEW BEST:: SOT 10951148 SOS 6087179 HAS SOPS 6087179 HAS SOUS 5278568 HAS SOUPS 5278568 WITH SCORE 5284655.179
AT ITER 2652 NEW BEST:: SOT 10951148 SOS 6086035 HAS SOPS 6086035 HAS SOUS 5278568 HAS SOUPS 5278568 WITH SCORE 5284654.035
AT ITER 2653 NEW BEST:: SOT 10948866 SOS 6086622 HAS SOPS 6086622 HAS SOUS 5277330 HAS SOUPS 5277330 WITH SCORE 5283416.622
AT ITER 2655 NEW BEST:: SOT 10944658 SOS 6085453 HAS SOPS 6085453 HAS SOUS 5274045 HAS SOUPS 5274045 WITH SCORE 5280130.453
AT ITER 2672 NEW BEST:: SOT 10940448 SOS 6084683 HAS SOPS 6084683 HAS SOUS 5273600 HAS SOUPS 5273600 WITH SCORE 5279684.683
AT ITER 2675 NEW BEST:: SOT 10940448 SOS 6084374 HAS SOPS 6084374 HAS SOUS 5273600 HAS SOUPS 5273600 WITH SCORE 5279684.374
AT ITER 2680 NEW BEST:: SOT 10940448 SOS 6083609 HAS SOPS 6083609 HAS SOUS 5273545 HAS SOUPS 5273545 WITH SCORE 5279628.609
AT ITER 2685 NEW BEST:: SOT 10940527 SOS 6084552 HAS SOPS 6084552 HAS SOUS 5273473 HAS SOUPS 5273473 WITH SCORE 5279557.552
AT ITER 2689 NEW BEST:: SOT 10940527 SOS 6080101 HAS SOPS 6080101 HAS SOUS 5273473 HAS SOUPS 5273473 WITH SCORE 5279553.101
AT ITER 2692 NEW BEST:: SOT 10940527 SOS 6079358 HAS SOPS 6079358 HAS SOUS 5272764 HAS SOUPS 5272764 WITH SCORE 5278843.358
AT ITER 2709 NEW BEST:: SOT 10940527 SOS 6077914 HAS SOPS 6077914 HAS SOUS 5272747 HAS SOUPS 5272747 WITH SCORE 5278824.914
AT ITER 2714 NEW BEST:: SOT 10937580 SOS 6084845 HAS SOPS 6084845 HAS SOUS 5270877 HAS SOUPS 5270877 WITH SCORE 5276961.845
AT ITER 2724 NEW BEST:: SOT 10930662 SOS 6080180 HAS SOPS 6080180 HAS SOUS 5264545 HAS SOUPS 5264545 WITH SCORE 5270625.18
AT ITER 2728 NEW BEST:: SOT 10927590 SOS 6079472 HAS SOPS 6079472 HAS SOUS 5264529 HAS SOUPS 5264529 WITH SCORE 5270608.472
AT ITER 2729 NEW BEST:: SOT 10926311 SOS 6083460 HAS SOPS 6083460 HAS SOUS 5263442 HAS SOUPS 5263442 WITH SCORE 5269525.46
AT ITER 2732 NEW BEST:: SOT 10926311 SOS 6082821 HAS SOPS 6082821 HAS SOUS 5263442 HAS SOUPS 5263442 WITH SCORE 5269524.821
AT ITER 2739 NEW BEST:: SOT 10926289 SOS 6083381 HAS SOPS 6083381 HAS SOUS 5263176 HAS SOUPS 5263176 WITH SCORE 5269259.381
AT ITER 2755 NEW BEST:: SOT 10926289 SOS 6081786 HAS SOPS 6081786 HAS SOUS 5263041 HAS SOUPS 5263041 WITH SCORE 5269122.786
AT ITER 2762 NEW BEST:: SOT 10926677 SOS 6081782 HAS SOPS 6081782 HAS SOUS 5262966 HAS SOUPS 5262966 WITH SCORE 5269047.782
AT ITER 2765 NEW BEST:: SOT 10926677 SOS 6081405 HAS SOPS 6081405 HAS SOUS 5262966 HAS SOUPS 5262966 WITH SCORE 5269047.405
AT ITER 2768 NEW BEST:: SOT 10923839 SOS 6081844 HAS SOPS 6081844 HAS SOUS 5260908 HAS SOUPS 5260908 WITH SCORE 5266989.844
AT ITER 2769 NEW BEST:: SOT 10922754 SOS 6081629 HAS SOPS 6081629 HAS SOUS 5260038 HAS SOUPS 5260038 WITH SCORE 5266119.629
AT ITER 2773 NEW BEST:: SOT 10918931 SOS 6078659 HAS SOPS 6078659 HAS SOUS 5258012 HAS SOUPS 5258012 WITH SCORE 5264090.659
AT ITER 2776 NEW BEST:: SOT 10918799 SOS 6078238 HAS SOPS 6078238 HAS SOUS 5257762 HAS SOUPS 5257762 WITH SCORE 5263840.238
AT ITER 2786 NEW BEST:: SOT 10916836 SOS 6078087 HAS SOPS 6078087 HAS SOUS 5256664 HAS SOUPS 5256664 WITH SCORE 5262742.087
AT ITER 2794 NEW BEST:: SOT 10916836 SOS 6077750 HAS SOPS 6077750 HAS SOUS 5256664 HAS SOUPS 5256664 WITH SCORE 5262741.75
AT ITER 2797 NEW BEST:: SOT 10916836 SOS 6076415 HAS SOPS 6076415 HAS SOUS 5256564 HAS SOUPS 5256564 WITH SCORE 5262640.415
AT ITER 2798 NEW BEST:: SOT 10915098 SOS 6077051 HAS SOPS 6077051 HAS SOUS 5255433 HAS SOUPS 5255433 WITH SCORE 5261510.051
AT ITER 2800 NEW BEST:: SOT 10915098 SOS 6076520 HAS SOPS 6076520 HAS SOUS 5255433 HAS SOUPS 5255433 WITH SCORE 5261509.52
AT ITER 2807 NEW BEST:: SOT 10914485 SOS 6078754 HAS SOPS 6078754 HAS SOUS 5255300 HAS SOUPS 5255300 WITH SCORE 5261378.754
AT ITER 2808 NEW BEST:: SOT 10914545 SOS 6078784 HAS SOPS 6078784 HAS SOUS 5255274 HAS SOUPS 5255274 WITH SCORE 5261352.784
AT ITER 2810 NEW BEST:: SOT 10914545 SOS 6078625 HAS SOPS 6078625 HAS SOUS 5255264 HAS SOUPS 5255264 WITH SCORE 5261342.625
AT ITER 2811 NEW BEST:: SOT 10912911 SOS 6080685 HAS SOPS 6080685 HAS SOUS 5254685 HAS SOUPS 5254685 WITH SCORE 5260765.685
AT ITER 2813 NEW BEST:: SOT 10912911 SOS 6080558 HAS SOPS 6080558 HAS SOUS 5254685 HAS SOUPS 5254685 WITH SCORE 5260765.558
AT ITER 2818 NEW BEST:: SOT 10911941 SOS 6080506 HAS SOPS 6080506 HAS SOUS 5253715 HAS SOUPS 5253715 WITH SCORE 5259795.506
AT ITER 2839 NEW BEST:: SOT 10911941 SOS 6080211 HAS SOPS 6080211 HAS SOUS 5253715 HAS SOUPS 5253715 WITH SCORE 5259795.211
AT ITER 2842 NEW BEST:: SOT 10909138 SOS 6085926 HAS SOPS 6085926 HAS SOUS 5252914 HAS SOUPS 5252914 WITH SCORE 5258999.926
AT ITER 2845 NEW BEST:: SOT 10909138 SOS 6085869 HAS SOPS 6085869 HAS SOUS 5252914 HAS SOUPS 5252914 WITH SCORE 5258999.869
AT ITER 2852 NEW BEST:: SOT 10909138 SOS 6085741 HAS SOPS 6085741 HAS SOUS 5252914 HAS SOUPS 5252914 WITH SCORE 5258999.741
AT ITER 2857 NEW BEST:: SOT 10910238 SOS 6079104 HAS SOPS 6079104 HAS SOUS 5251550 HAS SOUPS 5251550 WITH SCORE 5257629.104
AT ITER 2866 NEW BEST:: SOT 10910238 SOS 6079023 HAS SOPS 6079023 HAS SOUS 5251550 HAS SOUPS 5251550 WITH SCORE 5257629.023
AT ITER 2868 NEW BEST:: SOT 10910238 SOS 6078514 HAS SOPS 6078514 HAS SOUS 5251550 HAS SOUPS 5251550 WITH SCORE 5257628.514
AT ITER 2874 NEW BEST:: SOT 10910238 SOS 6078365 HAS SOPS 6078365 HAS SOUS 5251550 HAS SOUPS 5251550 WITH SCORE 5257628.365
AT ITER 2879 NEW BEST:: SOT 10910238 SOS 6077739 HAS SOPS 6077739 HAS SOUS 5251550 HAS SOUPS 5251550 WITH SCORE 5257627.739
AT ITER 2881 NEW BEST:: SOT 10910238 SOS 6077491 HAS SOPS 6077491 HAS SOUS 5250788 HAS SOUPS 5250788 WITH SCORE 5256865.491
AT ITER 2885 NEW BEST:: SOT 10910238 SOS 6076131 HAS SOPS 6076131 HAS SOUS 5250487 HAS SOUPS 5250487 WITH SCORE 5256563.131
AT ITER 2890 NEW BEST:: SOT 10910238 SOS 6075967 HAS SOPS 6075967 HAS SOUS 5250487 HAS SOUPS 5250487 WITH SCORE 5256562.967
AT ITER 2893 NEW BEST:: SOT 10910238 SOS 6075811 HAS SOPS 6075811 HAS SOUS 5250487 HAS SOUPS 5250487 WITH SCORE 5256562.811
AT ITER 2894 NEW BEST:: SOT 10910722 SOS 6076295 HAS SOPS 6076295 HAS SOUS 5250096 HAS SOUPS 5250096 WITH SCORE 5256172.295
AT ITER 2897 NEW BEST:: SOT 10910722 SOS 6075282 HAS SOPS 6075282 HAS SOUS 5250096 HAS SOUPS 5250096 WITH SCORE 5256171.282
AT ITER 2898 NEW BEST:: SOT 10909900 SOS 6075598 HAS SOPS 6075598 HAS SOUS 5249309 HAS SOUPS 5249309 WITH SCORE 5255384.598
AT ITER 2902 NEW BEST:: SOT 10909225 SOS 6075508 HAS SOPS 6075508 HAS SOUS 5249219 HAS SOUPS 5249219 WITH SCORE 5255294.508
AT ITER 2908 NEW BEST:: SOT 10909225 SOS 6074375 HAS SOPS 6074375 HAS SOUS 5248443 HAS SOUPS 5248443 WITH SCORE 5254517.375
AT ITER 2909 NEW BEST:: SOT 10909464 SOS 6074614 HAS SOPS 6074614 HAS SOUS 5248304 HAS SOUPS 5248304 WITH SCORE 5254378.614
AT ITER 2916 NEW BEST:: SOT 10909464 SOS 6073844 HAS SOPS 6073844 HAS SOUS 5248304 HAS SOUPS 5248304 WITH SCORE 5254377.844
AT ITER 2926 NEW BEST:: SOT 10908586 SOS 6073888 HAS SOPS 6073888 HAS SOUS 5247426 HAS SOUPS 5247426 WITH SCORE 5253499.888
AT ITER 2927 NEW BEST:: SOT 10907658 SOS 6071890 HAS SOPS 6071890 HAS SOUS 5246376 HAS SOUPS 5246376 WITH SCORE 5252447.89
AT ITER 2928 NEW BEST:: SOT 10905772 SOS 6072108 HAS SOPS 6072108 HAS SOUS 5245610 HAS SOUPS 5245610 WITH SCORE 5251682.108
AT ITER 2931 NEW BEST:: SOT 10905772 SOS 6068426 HAS SOPS 6068426 HAS SOUS 5245610 HAS SOUPS 5245610 WITH SCORE 5251678.426
AT ITER 2940 NEW BEST:: SOT 10905772 SOS 6068281 HAS SOPS 6068281 HAS SOUS 5245610 HAS SOUPS 5245610 WITH SCORE 5251678.281
AT ITER 2942 NEW BEST:: SOT 10905833 SOS 6068247 HAS SOPS 6068247 HAS SOUS 5245450 HAS SOUPS 5245450 WITH SCORE 5251518.247
AT ITER 2943 NEW BEST:: SOT 10905861 SOS 6067628 HAS SOPS 6067628 HAS SOUS 5245224 HAS SOUPS 5245224 WITH SCORE 5251291.628
AT ITER 2944 NEW BEST:: SOT 10905105 SOS 6082913 HAS SOPS 6082913 HAS SOUS 5244641 HAS SOUPS 5244641 WITH SCORE 5250723.913
AT ITER 2946 NEW BEST:: SOT 10904919 SOS 6083978 HAS SOPS 6083978 HAS SOUS 5244604 HAS SOUPS 5244604 WITH SCORE 5250687.978
AT ITER 2947 NEW BEST:: SOT 10904919 SOS 6083626 HAS SOPS 6083626 HAS SOUS 5244604 HAS SOUPS 5244604 WITH SCORE 5250687.626
AT ITER 2948 NEW BEST:: SOT 10904919 SOS 6082673 HAS SOPS 6082673 HAS SOUS 5243412 HAS SOUPS 5243412 WITH SCORE 5249494.673
AT ITER 2949 NEW BEST:: SOT 10904919 SOS 6082288 HAS SOPS 6082288 HAS SOUS 5243144 HAS SOUPS 5243144 WITH SCORE 5249226.288
AT ITER 2950 NEW BEST:: SOT 10904919 SOS 6080534 HAS SOPS 6080534 HAS SOUS 5243144 HAS SOUPS 5243144 WITH SCORE 5249224.534
AT ITER 2951 NEW BEST:: SOT 10902106 SOS 6086929 HAS SOPS 6086929 HAS SOUS 5241770 HAS SOUPS 5241770 WITH SCORE 5247856.929
AT ITER 2953 NEW BEST:: SOT 10902106 SOS 6086385 HAS SOPS 6086385 HAS SOUS 5241770 HAS SOUPS 5241770 WITH SCORE 5247856.385
AT ITER 2959 NEW BEST:: SOT 10902106 SOS 6086111 HAS SOPS 6086111 HAS SOUS 5241689 HAS SOUPS 5241689 WITH SCORE 5247775.111
AT ITER 2970 NEW BEST:: SOT 10902106 SOS 6085273 HAS SOPS 6085273 HAS SOUS 5241287 HAS SOUPS 5241287 WITH SCORE 5247372.273
AT ITER 2971 NEW BEST:: SOT 10902106 SOS 6084074 HAS SOPS 6084074 HAS SOUS 5241287 HAS SOUPS 5241287 WITH SCORE 5247371.074
AT ITER 2972 NEW BEST:: SOT 10898261 SOS 6091870 HAS SOPS 6091870 HAS SOUS 5241024 HAS SOUPS 5241024 WITH SCORE 5247115.87
AT ITER 2978 NEW BEST:: SOT 10898010 SOS 6091353 HAS SOPS 6091353 HAS SOUS 5240381 HAS SOUPS 5240381 WITH SCORE 5246472.353
AT ITER 2988 NEW BEST:: SOT 10898010 SOS 6084423 HAS SOPS 6084423 HAS SOUS 5239620 HAS SOUPS 5239620 WITH SCORE 5245704.423
AT ITER 2993 NEW BEST:: SOT 10897879 SOS 6084292 HAS SOPS 6084292 HAS SOUS 5239406 HAS SOUPS 5239406 WITH SCORE 5245490.292
AT ITER 2996 NEW BEST:: SOT 10897686 SOS 6082258 HAS SOPS 6082258 HAS SOUS 5237918 HAS SOUPS 5237918 WITH SCORE 5244000.258
AT ITER 2997 NEW BEST:: SOT 10896336 SOS 6081238 HAS SOPS 6081238 HAS SOUS 5236740 HAS SOUPS 5236740 WITH SCORE 5242821.238
AT ITER 3007 NEW BEST:: SOT 10896452 SOS 6081133 HAS SOPS 6081133 HAS SOUS 5236615 HAS SOUPS 5236615 WITH SCORE 5242696.133
AT ITER 3014 NEW BEST:: SOT 10893502 SOS 6080063 HAS SOPS 6080063 HAS SOUS 5234724 HAS SOUPS 5234724 WITH SCORE 5240804.063
AT ITER 3027 NEW BEST:: SOT 10891496 SOS 6078057 HAS SOPS 6078057 HAS SOUS 5232718 HAS SOUPS 5232718 WITH SCORE 5238796.057
AT ITER 3028 NEW BEST:: SOT 10891496 SOS 6077985 HAS SOPS 6077985 HAS SOUS 5232718 HAS SOUPS 5232718 WITH SCORE 5238795.985
AT ITER 3029 NEW BEST:: SOT 10891496 SOS 6076329 HAS SOPS 6076329 HAS SOUS 5232718 HAS SOUPS 5232718 WITH SCORE 5238794.329
AT ITER 3030 NEW BEST:: SOT 10891633 SOS 6076637 HAS SOPS 6076637 HAS SOUS 5232716 HAS SOUPS 5232716 WITH SCORE 5238792.637
AT ITER 3031 NEW BEST:: SOT 10891633 SOS 6076131 HAS SOPS 6076131 HAS SOUS 5232716 HAS SOUPS 5232716 WITH SCORE 5238792.131
AT ITER 3032 NEW BEST:: SOT 10891146 SOS 6075527 HAS SOPS 6075527 HAS SOUS 5231690 HAS SOUPS 5231690 WITH SCORE 5237765.527
AT ITER 3038 NEW BEST:: SOT 10891224 SOS 6074376 HAS SOPS 6074376 HAS SOUS 5230979 HAS SOUPS 5230979 WITH SCORE 5237053.376
AT ITER 3039 NEW BEST:: SOT 10889804 SOS 6075086 HAS SOPS 6075086 HAS SOUS 5229919 HAS SOUPS 5229919 WITH SCORE 5235994.086
AT ITER 3042 NEW BEST:: SOT 10889804 SOS 6074837 HAS SOPS 6074837 HAS SOUS 5229919 HAS SOUPS 5229919 WITH SCORE 5235993.837
AT ITER 3047 NEW BEST:: SOT 10889804 SOS 6074713 HAS SOPS 6074713 HAS SOUS 5229919 HAS SOUPS 5229919 WITH SCORE 5235993.713
AT ITER 3048 NEW BEST:: SOT 10889804 SOS 6073603 HAS SOPS 6073603 HAS SOUS 5229919 HAS SOUPS 5229919 WITH SCORE 5235992.603
AT ITER 3049 NEW BEST:: SOT 10889202 SOS 6073700 HAS SOPS 6073700 HAS SOUS 5229368 HAS SOUPS 5229368 WITH SCORE 5235441.7
AT ITER 3050 NEW BEST:: SOT 10889202 SOS 6073639 HAS SOPS 6073639 HAS SOUS 5229368 HAS SOUPS 5229368 WITH SCORE 5235441.639
AT ITER 3053 NEW BEST:: SOT 10889202 SOS 6073639 HAS SOPS 6073639 HAS SOUS 5228370 HAS SOUPS 5228370 WITH SCORE 5234443.639
AT ITER 3061 NEW BEST:: SOT 10885902 SOS 6072127 HAS SOPS 6072127 HAS SOUS 5225698 HAS SOUPS 5225698 WITH SCORE 5231770.127
AT ITER 3063 NEW BEST:: SOT 10885902 SOS 6071440 HAS SOPS 6071440 HAS SOUS 5225698 HAS SOUPS 5225698 WITH SCORE 5231769.44
AT ITER 3067 NEW BEST:: SOT 10885902 SOS 6070727 HAS SOPS 6070727 HAS SOUS 5225698 HAS SOUPS 5225698 WITH SCORE 5231768.727
AT ITER 3071 NEW BEST:: SOT 10886091 SOS 6071042 HAS SOPS 6071042 HAS SOUS 5225621 HAS SOUPS 5225621 WITH SCORE 5231692.042
AT ITER 3076 NEW BEST:: SOT 10886091 SOS 6070312 HAS SOPS 6070312 HAS SOUS 5225578 HAS SOUPS 5225578 WITH SCORE 5231648.312
AT ITER 3077 NEW BEST:: SOT 10880792 SOS 6082575 HAS SOPS 6082575 HAS SOUS 5223363 HAS SOUPS 5223363 WITH SCORE 5229445.575
AT ITER 3078 NEW BEST:: SOT 10880792 SOS 6081261 HAS SOPS 6081261 HAS SOUS 5223363 HAS SOUPS 5223363 WITH SCORE 5229444.261
AT ITER 3081 NEW BEST:: SOT 10880792 SOS 6081092 HAS SOPS 6081092 HAS SOUS 5223166 HAS SOUPS 5223166 WITH SCORE 5229247.092
AT ITER 3084 NEW BEST:: SOT 10879722 SOS 6080022 HAS SOPS 6080022 HAS SOUS 5221025 HAS SOUPS 5221025 WITH SCORE 5227105.022
AT ITER 3085 NEW BEST:: SOT 10879250 SOS 6080283 HAS SOPS 6080283 HAS SOUS 5220425 HAS SOUPS 5220425 WITH SCORE 5226505.283
AT ITER 3095 NEW BEST:: SOT 10878490 SOS 6071605 HAS SOPS 6071605 HAS SOUS 5219680 HAS SOUPS 5219680 WITH SCORE 5225751.605
AT ITER 3101 NEW BEST:: SOT 10876615 SOS 6074493 HAS SOPS 6074493 HAS SOUS 5219016 HAS SOUPS 5219016 WITH SCORE 5225090.493
AT ITER 3105 NEW BEST:: SOT 10876615 SOS 6074482 HAS SOPS 6074482 HAS SOUS 5219016 HAS SOUPS 5219016 WITH SCORE 5225090.482
AT ITER 3106 NEW BEST:: SOT 10876615 SOS 6074116 HAS SOPS 6074116 HAS SOUS 5218765 HAS SOUPS 5218765 WITH SCORE 5224839.116
AT ITER 3110 NEW BEST:: SOT 10876615 SOS 6073569 HAS SOPS 6073569 HAS SOUS 5218765 HAS SOUPS 5218765 WITH SCORE 5224838.569
AT ITER 3111 NEW BEST:: SOT 10876615 SOS 6072217 HAS SOPS 6072217 HAS SOUS 5218765 HAS SOUPS 5218765 WITH SCORE 5224837.217
AT ITER 3112 NEW BEST:: SOT 10874632 SOS 6077627 HAS SOPS 6077627 HAS SOUS 5218082 HAS SOUPS 5218082 WITH SCORE 5224159.627
AT ITER 3113 NEW BEST:: SOT 10873928 SOS 6077295 HAS SOPS 6077295 HAS SOUS 5217554 HAS SOUPS 5217554 WITH SCORE 5223631.295
AT ITER 3116 NEW BEST:: SOT 10873928 SOS 6076535 HAS SOPS 6076535 HAS SOUS 5217554 HAS SOUPS 5217554 WITH SCORE 5223630.535
AT ITER 3122 NEW BEST:: SOT 10870476 SOS 6100421 HAS SOPS 6100421 HAS SOUS 5216537 HAS SOUPS 5216537 WITH SCORE 5222637.421
AT ITER 3123 NEW BEST:: SOT 10867432 SOS 6098385 HAS SOPS 6098385 HAS SOUS 5214411 HAS SOUPS 5214411 WITH SCORE 5220509.385
AT ITER 3125 NEW BEST:: SOT 10867432 SOS 6098228 HAS SOPS 6098228 HAS SOUS 5214411 HAS SOUPS 5214411 WITH SCORE 5220509.228
AT ITER 3133 NEW BEST:: SOT 10867432 SOS 6097790 HAS SOPS 6097790 HAS SOUS 5214411 HAS SOUPS 5214411 WITH SCORE 5220508.79
AT ITER 3142 NEW BEST:: SOT 10867735 SOS 6098144 HAS SOPS 6098144 HAS SOUS 5214406 HAS SOUPS 5214406 WITH SCORE 5220504.144
AT ITER 3150 NEW BEST:: SOT 10867735 SOS 6099565 HAS SOPS 6099565 HAS SOUS 5214389 HAS SOUPS 5214389 WITH SCORE 5220488.565
AT ITER 3154 NEW BEST:: SOT 10868270 SOS 6099708 HAS SOPS 6099708 HAS SOUS 5214291 HAS SOUPS 5214291 WITH SCORE 5220390.708
AT ITER 3157 NEW BEST:: SOT 10864760 SOS 6118332 HAS SOPS 6118332 HAS SOUS 5212034 HAS SOUPS 5212034 WITH SCORE 5218152.332
AT ITER 3160 NEW BEST:: SOT 10864397 SOS 6117203 HAS SOPS 6117203 HAS SOUS 5211281 HAS SOUPS 5211281 WITH SCORE 5217398.203
AT ITER 3164 NEW BEST:: SOT 10864397 SOS 6116380 HAS SOPS 6116380 HAS SOUS 5211281 HAS SOUPS 5211281 WITH SCORE 5217397.38
AT ITER 3167 NEW BEST:: SOT 10861454 SOS 6119358 HAS SOPS 6119358 HAS SOUS 5208808 HAS SOUPS 5208808 WITH SCORE 5214927.358
AT ITER 3172 NEW BEST:: SOT 10860965 SOS 6118869 HAS SOPS 6118869 HAS SOUS 5208319 HAS SOUPS 5208319 WITH SCORE 5214437.869
AT ITER 3180 NEW BEST:: SOT 10860825 SOS 6118757 HAS SOPS 6118757 HAS SOUS 5208235 HAS SOUPS 5208235 WITH SCORE 5214353.757
AT ITER 3187 NEW BEST:: SOT 10860055 SOS 6119312 HAS SOPS 6119312 HAS SOUS 5207924 HAS SOUPS 5207924 WITH SCORE 5214043.312
AT ITER 3188 NEW BEST:: SOT 10859950 SOS 6119088 HAS SOPS 6119088 HAS SOUS 5207924 HAS SOUPS 5207924 WITH SCORE 5214043.088
AT ITER 3193 NEW BEST:: SOT 10859950 SOS 6111696 HAS SOPS 6111696 HAS SOUS 5207924 HAS SOUPS 5207924 WITH SCORE 5214035.696
AT ITER 3198 NEW BEST:: SOT 10859950 SOS 6111379 HAS SOPS 6111379 HAS SOUS 5207924 HAS SOUPS 5207924 WITH SCORE 5214035.379
AT ITER 3202 NEW BEST:: SOT 10859950 SOS 6111199 HAS SOPS 6111199 HAS SOUS 5207924 HAS SOUPS 5207924 WITH SCORE 5214035.199
AT ITER 3203 NEW BEST:: SOT 10859906 SOS 6111120 HAS SOPS 6111120 HAS SOUS 5207923 HAS SOUPS 5207923 WITH SCORE 5214034.12
AT ITER 3211 NEW BEST:: SOT 10855989 SOS 6131255 HAS SOPS 6131255 HAS SOUS 5206808 HAS SOUPS 5206808 WITH SCORE 5212939.255
AT ITER 3223 NEW BEST:: SOT 10855962 SOS 6131559 HAS SOPS 6131559 HAS SOUS 5206768 HAS SOUPS 5206768 WITH SCORE 5212899.559
AT ITER 3224 NEW BEST:: SOT 10853350 SOS 6118185 HAS SOPS 6118185 HAS SOUS 5205753 HAS SOUPS 5205753 WITH SCORE 5211871.185
AT ITER 3225 NEW BEST:: SOT 10848478 SOS 6123285 HAS SOPS 6123285 HAS SOUS 5202408 HAS SOUPS 5202408 WITH SCORE 5208531.285
AT ITER 3230 NEW BEST:: SOT 10848396 SOS 6123121 HAS SOPS 6123121 HAS SOUS 5202266 HAS SOUPS 5202266 WITH SCORE 5208389.121
AT ITER 3244 NEW BEST:: SOT 10848396 SOS 6122806 HAS SOPS 6122806 HAS SOUS 5202266 HAS SOUPS 5202266 WITH SCORE 5208388.806
AT ITER 3254 NEW BEST:: SOT 10848722 SOS 6122022 HAS SOPS 6122022 HAS SOUS 5201515 HAS SOUPS 5201515 WITH SCORE 5207637.022
AT ITER 3256 NEW BEST:: SOT 10848722 SOS 6121075 HAS SOPS 6121075 HAS SOUS 5201515 HAS SOUPS 5201515 WITH SCORE 5207636.075
AT ITER 3257 NEW BEST:: SOT 10847887 SOS 6120865 HAS SOPS 6120865 HAS SOUS 5201211 HAS SOUPS 5201211 WITH SCORE 5207331.865
AT ITER 3259 NEW BEST:: SOT 10847857 SOS 6120835 HAS SOPS 6120835 HAS SOUS 5200969 HAS SOUPS 5200969 WITH SCORE 5207089.835
AT ITER 3261 NEW BEST:: SOT 10845731 SOS 6132184 HAS SOPS 6132184 HAS SOUS 5199932 HAS SOUPS 5199932 WITH SCORE 5206064.184
AT ITER 3262 NEW BEST:: SOT 10845731 SOS 6129247 HAS SOPS 6129247 HAS SOUS 5199932 HAS SOUPS 5199932 WITH SCORE 5206061.247
AT ITER 3263 NEW BEST:: SOT 10844009 SOS 6129079 HAS SOPS 6129079 HAS SOUS 5198574 HAS SOUPS 5198574 WITH SCORE 5204703.079
AT ITER 3267 NEW BEST:: SOT 10844009 SOS 6128484 HAS SOPS 6128484 HAS SOUS 5198574 HAS SOUPS 5198574 WITH SCORE 5204702.484
AT ITER 3269 NEW BEST:: SOT 10843937 SOS 6128558 HAS SOPS 6128558 HAS SOUS 5198500 HAS SOUPS 5198500 WITH SCORE 5204628.558
AT ITER 3270 NEW BEST:: SOT 10843937 SOS 6127679 HAS SOPS 6127679 HAS SOUS 5198500 HAS SOUPS 5198500 WITH SCORE 5204627.679
AT ITER 3271 NEW BEST:: SOT 10843937 SOS 6127095 HAS SOPS 6127095 HAS SOUS 5198500 HAS SOUPS 5198500 WITH SCORE 5204627.095
AT ITER 3273 NEW BEST:: SOT 10843937 SOS 6126599 HAS SOPS 6126599 HAS SOUS 5198500 HAS SOUPS 5198500 WITH SCORE 5204626.599
AT ITER 3275 NEW BEST:: SOT 10840778 SOS 6133601 HAS SOPS 6133601 HAS SOUS 5197404 HAS SOUPS 5197404 WITH SCORE 5203537.601
AT ITER 3276 NEW BEST:: SOT 10836142 SOS 6130676 HAS SOPS 6130676 HAS SOUS 5195310 HAS SOUPS 5195310 WITH SCORE 5201440.676
AT ITER 3278 NEW BEST:: SOT 10834851 SOS 6131000 HAS SOPS 6131000 HAS SOUS 5194523 HAS SOUPS 5194523 WITH SCORE 5200654.0
AT ITER 3281 NEW BEST:: SOT 10833990 SOS 6130334 HAS SOPS 6130334 HAS SOUS 5193994 HAS SOUPS 5193994 WITH SCORE 5200124.334
AT ITER 3282 NEW BEST:: SOT 10834599 SOS 6130943 HAS SOPS 6130943 HAS SOUS 5193951 HAS SOUPS 5193951 WITH SCORE 5200081.943
AT ITER 3284 NEW BEST:: SOT 10834386 SOS 6131388 HAS SOPS 6131388 HAS SOUS 5193622 HAS SOUPS 5193622 WITH SCORE 5199753.388
AT ITER 3285 NEW BEST:: SOT 10833317 SOS 6131619 HAS SOPS 6131619 HAS SOUS 5192553 HAS SOUPS 5192553 WITH SCORE 5198684.619
AT ITER 3288 NEW BEST:: SOT 10833317 SOS 6131453 HAS SOPS 6131453 HAS SOUS 5192553 HAS SOUPS 5192553 WITH SCORE 5198684.453
AT ITER 3291 NEW BEST:: SOT 10833317 SOS 6130746 HAS SOPS 6130746 HAS SOUS 5192553 HAS SOUPS 5192553 WITH SCORE 5198683.746
AT ITER 3293 NEW BEST:: SOT 10834214 SOS 6128341 HAS SOPS 6128341 HAS SOUS 5192456 HAS SOUPS 5192456 WITH SCORE 5198584.341
AT ITER 3302 NEW BEST:: SOT 10834214 SOS 6128007 HAS SOPS 6128007 HAS SOUS 5192122 HAS SOUPS 5192122 WITH SCORE 5198250.007
AT ITER 3307 NEW BEST:: SOT 10834214 SOS 6127829 HAS SOPS 6127829 HAS SOUS 5192122 HAS SOUPS 5192122 WITH SCORE 5198249.829
AT ITER 3322 NEW BEST:: SOT 10831649 SOS 6134509 HAS SOPS 6134509 HAS SOUS 5191631 HAS SOUPS 5191631 WITH SCORE 5197765.509
AT ITER 3325 NEW BEST:: SOT 10831649 SOS 6133738 HAS SOPS 6133738 HAS SOUS 5191631 HAS SOUPS 5191631 WITH SCORE 5197764.738
AT ITER 3327 NEW BEST:: SOT 10831649 SOS 6133541 HAS SOPS 6133541 HAS SOUS 5191631 HAS SOUPS 5191631 WITH SCORE 5197764.541
AT ITER 3329 NEW BEST:: SOT 10828286 SOS 6132958 HAS SOPS 6132958 HAS SOUS 5191046 HAS SOUPS 5191046 WITH SCORE 5197178.958
AT ITER 3330 NEW BEST:: SOT 10828286 SOS 6133427 HAS SOPS 6133427 HAS SOUS 5190937 HAS SOUPS 5190937 WITH SCORE 5197070.427
AT ITER 3338 NEW BEST:: SOT 10828625 SOS 6133766 HAS SOPS 6133766 HAS SOUS 5190296 HAS SOUPS 5190296 WITH SCORE 5196429.766
AT ITER 3341 NEW BEST:: SOT 10827215 SOS 6137282 HAS SOPS 6137282 HAS SOUS 5189123 HAS SOUPS 5189123 WITH SCORE 5195260.282
AT ITER 3346 NEW BEST:: SOT 10827215 SOS 6136558 HAS SOPS 6136558 HAS SOUS 5189123 HAS SOUPS 5189123 WITH SCORE 5195259.558
AT ITER 3353 NEW BEST:: SOT 10826865 SOS 6136733 HAS SOPS 6136733 HAS SOUS 5188849 HAS SOUPS 5188849 WITH SCORE 5194985.733
AT ITER 3355 NEW BEST:: SOT 10826865 SOS 6136643 HAS SOPS 6136643 HAS SOUS 5188849 HAS SOUPS 5188849 WITH SCORE 5194985.643
AT ITER 3358 NEW BEST:: SOT 10826826 SOS 6136604 HAS SOPS 6136604 HAS SOUS 5188810 HAS SOUPS 5188810 WITH SCORE 5194946.604
AT ITER 3362 NEW BEST:: SOT 10826826 SOS 6136451 HAS SOPS 6136451 HAS SOUS 5188810 HAS SOUPS 5188810 WITH SCORE 5194946.451
AT ITER 3365 NEW BEST:: SOT 10826826 SOS 6134962 HAS SOPS 6134962 HAS SOUS 5188810 HAS SOUPS 5188810 WITH SCORE 5194944.962
AT ITER 3371 NEW BEST:: SOT 10821567 SOS 6135055 HAS SOPS 6135055 HAS SOUS 5187575 HAS SOUPS 5187575 WITH SCORE 5193710.055
AT ITER 3372 NEW BEST:: SOT 10821567 SOS 6134310 HAS SOPS 6134310 HAS SOUS 5187321 HAS SOUPS 5187321 WITH SCORE 5193455.31
AT ITER 3373 NEW BEST:: SOT 10821567 SOS 6134013 HAS SOPS 6134013 HAS SOUS 5187321 HAS SOUPS 5187321 WITH SCORE 5193455.013
AT ITER 3378 NEW BEST:: SOT 10821577 SOS 6133733 HAS SOPS 6133733 HAS SOUS 5187282 HAS SOUPS 5187282 WITH SCORE 5193415.733
AT ITER 3382 NEW BEST:: SOT 10821577 SOS 6133117 HAS SOPS 6133117 HAS SOUS 5187282 HAS SOUPS 5187282 WITH SCORE 5193415.117
AT ITER 3383 NEW BEST:: SOT 10821577 SOS 6132263 HAS SOPS 6132263 HAS SOUS 5187282 HAS SOUPS 5187282 WITH SCORE 5193414.263
AT ITER 3390 NEW BEST:: SOT 10821577 SOS 6132151 HAS SOPS 6132151 HAS SOUS 5187282 HAS SOUPS 5187282 WITH SCORE 5193414.151
AT ITER 3391 NEW BEST:: SOT 10820751 SOS 6131325 HAS SOPS 6131325 HAS SOUS 5186456 HAS SOUPS 5186456 WITH SCORE 5192587.325
AT ITER 3396 NEW BEST:: SOT 10820751 SOS 6130340 HAS SOPS 6130340 HAS SOUS 5186456 HAS SOUPS 5186456 WITH SCORE 5192586.34
AT ITER 3397 NEW BEST:: SOT 10815871 SOS 6135161 HAS SOPS 6135161 HAS SOUS 5185073 HAS SOUPS 5185073 WITH SCORE 5191208.161
AT ITER 3398 NEW BEST:: SOT 10815871 SOS 6133672 HAS SOPS 6133672 HAS SOUS 5185066 HAS SOUPS 5185066 WITH SCORE 5191199.672
AT ITER 3399 NEW BEST:: SOT 10815871 SOS 6133403 HAS SOPS 6133403 HAS SOUS 5185066 HAS SOUPS 5185066 WITH SCORE 5191199.403
AT ITER 3400 NEW BEST:: SOT 10815727 SOS 6133438 HAS SOPS 6133438 HAS SOUS 5184795 HAS SOUPS 5184795 WITH SCORE 5190928.438
AT ITER 3401 NEW BEST:: SOT 10813925 SOS 6131847 HAS SOPS 6131847 HAS SOUS 5184584 HAS SOUPS 5184584 WITH SCORE 5190715.847
AT ITER 3402 NEW BEST:: SOT 10811362 SOS 6131131 HAS SOPS 6131131 HAS SOUS 5184184 HAS SOUPS 5184184 WITH SCORE 5190315.131
AT ITER 3404 NEW BEST:: SOT 10811362 SOS 6130528 HAS SOPS 6130528 HAS SOUS 5184184 HAS SOUPS 5184184 WITH SCORE 5190314.528
AT ITER 3408 NEW BEST:: SOT 10809184 SOS 6131069 HAS SOPS 6131069 HAS SOUS 5183608 HAS SOUPS 5183608 WITH SCORE 5189739.069
AT ITER 3409 NEW BEST:: SOT 10807681 SOS 6133443 HAS SOPS 6133443 HAS SOUS 5182997 HAS SOUPS 5182997 WITH SCORE 5189130.443
AT ITER 3410 NEW BEST:: SOT 10807393 SOS 6131685 HAS SOPS 6131685 HAS SOUS 5182548 HAS SOUPS 5182548 WITH SCORE 5188679.685
AT ITER 3411 NEW BEST:: SOT 10807750 SOS 6131808 HAS SOPS 6131808 HAS SOUS 5180875 HAS SOUPS 5180875 WITH SCORE 5187006.808
AT ITER 3412 NEW BEST:: SOT 10807750 SOS 6131437 HAS SOPS 6131437 HAS SOUS 5180875 HAS SOUPS 5180875 WITH SCORE 5187006.437
AT ITER 3413 NEW BEST:: SOT 10807023 SOS 6131054 HAS SOPS 6131054 HAS SOUS 5180492 HAS SOUPS 5180492 WITH SCORE 5186623.054
AT ITER 3414 NEW BEST:: SOT 10803341 SOS 6138425 HAS SOPS 6138425 HAS SOUS 5177636 HAS SOUPS 5177636 WITH SCORE 5183774.425
AT ITER 3424 NEW BEST:: SOT 10801063 SOS 6137413 HAS SOPS 6137413 HAS SOUS 5176940 HAS SOUPS 5176940 WITH SCORE 5183077.413
AT ITER 3426 NEW BEST:: SOT 10801063 SOS 6137005 HAS SOPS 6137005 HAS SOUS 5176940 HAS SOUPS 5176940 WITH SCORE 5183077.005
AT ITER 3433 NEW BEST:: SOT 10801063 SOS 6136968 HAS SOPS 6136968 HAS SOUS 5176903 HAS SOUPS 5176903 WITH SCORE 5183039.968
AT ITER 3434 NEW BEST:: SOT 10800860 SOS 6136501 HAS SOPS 6136501 HAS SOUS 5176240 HAS SOUPS 5176240 WITH SCORE 5182376.501
AT ITER 3435 NEW BEST:: SOT 10800860 SOS 6136485 HAS SOPS 6136485 HAS SOUS 5176240 HAS SOUPS 5176240 WITH SCORE 5182376.485
AT ITER 3436 NEW BEST:: SOT 10797741 SOS 6135828 HAS SOPS 6135828 HAS SOUS 5175097 HAS SOUPS 5175097 WITH SCORE 5181232.828
AT ITER 3445 NEW BEST:: SOT 10797117 SOS 6135256 HAS SOPS 6135256 HAS SOUS 5174525 HAS SOUPS 5174525 WITH SCORE 5180660.256
AT ITER 3448 NEW BEST:: SOT 10796526 SOS 6136620 HAS SOPS 6136620 HAS SOUS 5173934 HAS SOUPS 5173934 WITH SCORE 5180070.62
AT ITER 3449 NEW BEST:: SOT 10795705 SOS 6136485 HAS SOPS 6136485 HAS SOUS 5173430 HAS SOUPS 5173430 WITH SCORE 5179566.485
AT ITER 3455 NEW BEST:: SOT 10795705 SOS 6136064 HAS SOPS 6136064 HAS SOUS 5173430 HAS SOUPS 5173430 WITH SCORE 5179566.064
AT ITER 3456 NEW BEST:: SOT 10795193 SOS 6154707 HAS SOPS 6154707 HAS SOUS 5173348 HAS SOUPS 5173348 WITH SCORE 5179502.707
AT ITER 3459 NEW BEST:: SOT 10795669 SOS 6153902 HAS SOPS 6153902 HAS SOUS 5173294 HAS SOUPS 5173294 WITH SCORE 5179447.902
AT ITER 3461 NEW BEST:: SOT 10795539 SOS 6152764 HAS SOPS 6152764 HAS SOUS 5172839 HAS SOUPS 5172839 WITH SCORE 5178991.764
AT ITER 3465 NEW BEST:: SOT 10795539 SOS 6152110 HAS SOPS 6152110 HAS SOUS 5172839 HAS SOUPS 5172839 WITH SCORE 5178991.11
AT ITER 3467 NEW BEST:: SOT 10795539 SOS 6151566 HAS SOPS 6151566 HAS SOUS 5172839 HAS SOUPS 5172839 WITH SCORE 5178990.566
AT ITER 3468 NEW BEST:: SOT 10794675 SOS 6151280 HAS SOPS 6151280 HAS SOUS 5172756 HAS SOUPS 5172756 WITH SCORE 5178907.28
AT ITER 3472 NEW BEST:: SOT 10794749 SOS 6150904 HAS SOPS 6150904 HAS SOUS 5172705 HAS SOUPS 5172705 WITH SCORE 5178855.904
AT ITER 3477 NEW BEST:: SOT 10792998 SOS 6150465 HAS SOPS 6150465 HAS SOUS 5171208 HAS SOUPS 5171208 WITH SCORE 5177358.465
AT ITER 3482 NEW BEST:: SOT 10792998 SOS 6150303 HAS SOPS 6150303 HAS SOUS 5171208 HAS SOUPS 5171208 WITH SCORE 5177358.303
AT ITER 3484 NEW BEST:: SOT 10792998 SOS 6149976 HAS SOPS 6149976 HAS SOUS 5171208 HAS SOUPS 5171208 WITH SCORE 5177357.976
AT ITER 3488 NEW BEST:: SOT 10792998 SOS 6146640 HAS SOPS 6146640 HAS SOUS 5170696 HAS SOUPS 5170696 WITH SCORE 5176842.64
AT ITER 3493 NEW BEST:: SOT 10792998 SOS 6146075 HAS SOPS 6146075 HAS SOUS 5170587 HAS SOUPS 5170587 WITH SCORE 5176733.075
AT ITER 3497 NEW BEST:: SOT 10792998 SOS 6146074 HAS SOPS 6146074 HAS SOUS 5170587 HAS SOUPS 5170587 WITH SCORE 5176733.074
AT ITER 3498 NEW BEST:: SOT 10792998 SOS 6146074 HAS SOPS 6146074 HAS SOUS 5170500 HAS SOUPS 5170500 WITH SCORE 5176646.074
AT ITER 3501 NEW BEST:: SOT 10790284 SOS 6151287 HAS SOPS 6151287 HAS SOUS 5170012 HAS SOUPS 5170012 WITH SCORE 5176163.287
AT ITER 3508 NEW BEST:: SOT 10789742 SOS 6151016 HAS SOPS 6151016 HAS SOUS 5169741 HAS SOUPS 5169741 WITH SCORE 5175892.016
AT ITER 3509 NEW BEST:: SOT 10789742 SOS 6150695 HAS SOPS 6150695 HAS SOUS 5169741 HAS SOUPS 5169741 WITH SCORE 5175891.695
AT ITER 3514 NEW BEST:: SOT 10787175 SOS 6171507 HAS SOPS 6171507 HAS SOUS 5168820 HAS SOUPS 5168820 WITH SCORE 5174991.507
AT ITER 3517 NEW BEST:: SOT 10784731 SOS 6169626 HAS SOPS 6169626 HAS SOUS 5167340 HAS SOUPS 5167340 WITH SCORE 5173509.626
AT ITER 3524 NEW BEST:: SOT 10783910 SOS 6170715 HAS SOPS 6170715 HAS SOUS 5166771 HAS SOUPS 5166771 WITH SCORE 5172941.715
AT ITER 3535 NEW BEST:: SOT 10783910 SOS 6170670 HAS SOPS 6170670 HAS SOUS 5166771 HAS SOUPS 5166771 WITH SCORE 5172941.67
AT ITER 3541 NEW BEST:: SOT 10777311 SOS 6167293 HAS SOPS 6167293 HAS SOUS 5163349 HAS SOUPS 5163349 WITH SCORE 5169516.293
AT ITER 3545 NEW BEST:: SOT 10777311 SOS 6167173 HAS SOPS 6167173 HAS SOUS 5163124 HAS SOUPS 5163124 WITH SCORE 5169291.173
AT ITER 3546 NEW BEST:: SOT 10777274 SOS 6166442 HAS SOPS 6166442 HAS SOUS 5163045 HAS SOUPS 5163045 WITH SCORE 5169211.442
AT ITER 3549 NEW BEST:: SOT 10777274 SOS 6166092 HAS SOPS 6166092 HAS SOUS 5163045 HAS SOUPS 5163045 WITH SCORE 5169211.092
AT ITER 3550 NEW BEST:: SOT 10776552 SOS 6165902 HAS SOPS 6165902 HAS SOUS 5162505 HAS SOUPS 5162505 WITH SCORE 5168670.902
AT ITER 3556 NEW BEST:: SOT 10770911 SOS 6161651 HAS SOPS 6161651 HAS SOUS 5158186 HAS SOUPS 5158186 WITH SCORE 5164347.651
AT ITER 3569 NEW BEST:: SOT 10770911 SOS 6161506 HAS SOPS 6161506 HAS SOUS 5158186 HAS SOUPS 5158186 WITH SCORE 5164347.506
AT ITER 3572 NEW BEST:: SOT 10770981 SOS 6161030 HAS SOPS 6161030 HAS SOUS 5158123 HAS SOUPS 5158123 WITH SCORE 5164284.03
AT ITER 3573 NEW BEST:: SOT 10765622 SOS 6156767 HAS SOPS 6156767 HAS SOUS 5152815 HAS SOUPS 5152815 WITH SCORE 5158971.767
AT ITER 3576 NEW BEST:: SOT 10765078 SOS 6156495 HAS SOPS 6156495 HAS SOUS 5152543 HAS SOUPS 5152543 WITH SCORE 5158699.495
AT ITER 3588 NEW BEST:: SOT 10763730 SOS 6155591 HAS SOPS 6155591 HAS SOUS 5151291 HAS SOUPS 5151291 WITH SCORE 5157446.591
AT ITER 3590 NEW BEST:: SOT 10759407 SOS 6156919 HAS SOPS 6156919 HAS SOUS 5151011 HAS SOUPS 5151011 WITH SCORE 5157167.919
AT ITER 3596 NEW BEST:: SOT 10759407 SOS 6156665 HAS SOPS 6156665 HAS SOUS 5151011 HAS SOUPS 5151011 WITH SCORE 5157167.665
AT ITER 3599 NEW BEST:: SOT 10756523 SOS 6157212 HAS SOPS 6157212 HAS SOUS 5150542 HAS SOUPS 5150542 WITH SCORE 5156699.212
AT ITER 3609 NEW BEST:: SOT 10756523 SOS 6152586 HAS SOPS 6152586 HAS SOUS 5150348 HAS SOUPS 5150348 WITH SCORE 5156500.586
AT ITER 3611 NEW BEST:: SOT 10756523 SOS 6152440 HAS SOPS 6152440 HAS SOUS 5150348 HAS SOUPS 5150348 WITH SCORE 5156500.44
AT ITER 3620 NEW BEST:: SOT 10753889 SOS 6153705 HAS SOPS 6153705 HAS SOUS 5148985 HAS SOUPS 5148985 WITH SCORE 5155138.705
AT ITER 3627 NEW BEST:: SOT 10753425 SOS 6153299 HAS SOPS 6153299 HAS SOUS 5148637 HAS SOUPS 5148637 WITH SCORE 5154790.299
AT ITER 3635 NEW BEST:: SOT 10753425 SOS 6151832 HAS SOPS 6151832 HAS SOUS 5148257 HAS SOUPS 5148257 WITH SCORE 5154408.832
AT ITER 3648 NEW BEST:: SOT 10753425 SOS 6151795 HAS SOPS 6151795 HAS SOUS 5148257 HAS SOUPS 5148257 WITH SCORE 5154408.795
AT ITER 3661 NEW BEST:: SOT 10753418 SOS 6151788 HAS SOPS 6151788 HAS SOUS 5148250 HAS SOUPS 5148250 WITH SCORE 5154401.788
AT ITER 3662 NEW BEST:: SOT 10750193 SOS 6151711 HAS SOPS 6151711 HAS SOUS 5146355 HAS SOUPS 5146355 WITH SCORE 5152506.711
AT ITER 3666 NEW BEST:: SOT 10746380 SOS 6145922 HAS SOPS 6145922 HAS SOUS 5143174 HAS SOUPS 5143174 WITH SCORE 5149319.922
AT ITER 3671 NEW BEST:: SOT 10746380 SOS 6144915 HAS SOPS 6144915 HAS SOUS 5143174 HAS SOUPS 5143174 WITH SCORE 5149318.915
AT ITER 3687 NEW BEST:: SOT 10746512 SOS 6145042 HAS SOPS 6145042 HAS SOUS 5142522 HAS SOUPS 5142522 WITH SCORE 5148667.042
AT ITER 3689 NEW BEST:: SOT 10746512 SOS 6145042 HAS SOPS 6145042 HAS SOUS 5141680 HAS SOUPS 5141680 WITH SCORE 5147825.042
AT ITER 3690 NEW BEST:: SOT 10746512 SOS 6144939 HAS SOPS 6144939 HAS SOUS 5141680 HAS SOUPS 5141680 WITH SCORE 5147824.939
AT ITER 3691 NEW BEST:: SOT 10746512 SOS 6144615 HAS SOPS 6144615 HAS SOUS 5141680 HAS SOUPS 5141680 WITH SCORE 5147824.615
AT ITER 3693 NEW BEST:: SOT 10746512 SOS 6146108 HAS SOPS 6146108 HAS SOUS 5141569 HAS SOUPS 5141569 WITH SCORE 5147715.108
AT ITER 3699 NEW BEST:: SOT 10746710 SOS 6146137 HAS SOPS 6146137 HAS SOUS 5141500 HAS SOUPS 5141500 WITH SCORE 5147646.137
AT ITER 3705 NEW BEST:: SOT 10746710 SOS 6146137 HAS SOPS 6146137 HAS SOUS 5141474 HAS SOUPS 5141474 WITH SCORE 5147620.137
AT ITER 3706 NEW BEST:: SOT 10741977 SOS 6142167 HAS SOPS 6142167 HAS SOUS 5138018 HAS SOUPS 5138018 WITH SCORE 5144160.167
AT ITER 3707 NEW BEST:: SOT 10741977 SOS 6141636 HAS SOPS 6141636 HAS SOUS 5138018 HAS SOUPS 5138018 WITH SCORE 5144159.636
AT ITER 3711 NEW BEST:: SOT 10739484 SOS 6139597 HAS SOPS 6139597 HAS SOUS 5136375 HAS SOUPS 5136375 WITH SCORE 5142514.597
AT ITER 3714 NEW BEST:: SOT 10739484 SOS 6138443 HAS SOPS 6138443 HAS SOUS 5136375 HAS SOUPS 5136375 WITH SCORE 5142513.443
AT ITER 3715 NEW BEST:: SOT 10739435 SOS 6138394 HAS SOPS 6138394 HAS SOUS 5135906 HAS SOUPS 5135906 WITH SCORE 5142044.394
AT ITER 3716 NEW BEST:: SOT 10739435 SOS 6137407 HAS SOPS 6137407 HAS SOUS 5135900 HAS SOUPS 5135900 WITH SCORE 5142037.407
AT ITER 3719 NEW BEST:: SOT 10735648 SOS 6134808 HAS SOPS 6134808 HAS SOUS 5132512 HAS SOUPS 5132512 WITH SCORE 5138646.808
AT ITER 3725 NEW BEST:: SOT 10735648 SOS 6134540 HAS SOPS 6134540 HAS SOUS 5132326 HAS SOUPS 5132326 WITH SCORE 5138460.54
AT ITER 3728 NEW BEST:: SOT 10735470 SOS 6134524 HAS SOPS 6134524 HAS SOUS 5132310 HAS SOUPS 5132310 WITH SCORE 5138444.524
AT ITER 3729 NEW BEST:: SOT 10735470 SOS 6134325 HAS SOPS 6134325 HAS SOUS 5132310 HAS SOUPS 5132310 WITH SCORE 5138444.325
AT ITER 3732 NEW BEST:: SOT 10735470 SOS 6134325 HAS SOPS 6134325 HAS SOUS 5131657 HAS SOUPS 5131657 WITH SCORE 5137791.325
AT ITER 3733 NEW BEST:: SOT 10735470 SOS 6134316 HAS SOPS 6134316 HAS SOUS 5131657 HAS SOUPS 5131657 WITH SCORE 5137791.316
AT ITER 3734 NEW BEST:: SOT 10735470 SOS 6134296 HAS SOPS 6134296 HAS SOUS 5131657 HAS SOUPS 5131657 WITH SCORE 5137791.296
AT ITER 3738 NEW BEST:: SOT 10733856 SOS 6132742 HAS SOPS 6132742 HAS SOUS 5130806 HAS SOUPS 5130806 WITH SCORE 5136938.742
AT ITER 3739 NEW BEST:: SOT 10733856 SOS 6132314 HAS SOPS 6132314 HAS SOUS 5130806 HAS SOUPS 5130806 WITH SCORE 5136938.314
AT ITER 3749 NEW BEST:: SOT 10733856 SOS 6132054 HAS SOPS 6132054 HAS SOUS 5130806 HAS SOUPS 5130806 WITH SCORE 5136938.054
AT ITER 3755 NEW BEST:: SOT 10733856 SOS 6131999 HAS SOPS 6131999 HAS SOUS 5130806 HAS SOUPS 5130806 WITH SCORE 5136937.999
AT ITER 3759 NEW BEST:: SOT 10733856 SOS 6131499 HAS SOPS 6131499 HAS SOUS 5130600 HAS SOUPS 5130600 WITH SCORE 5136731.499
AT ITER 3762 NEW BEST:: SOT 10733856 SOS 6129951 HAS SOPS 6129951 HAS SOUS 5129036 HAS SOUPS 5129036 WITH SCORE 5135165.951
AT ITER 3763 NEW BEST:: SOT 10733508 SOS 6127767 HAS SOPS 6127767 HAS SOUS 5128349 HAS SOUPS 5128349 WITH SCORE 5134476.767
AT ITER 3776 NEW BEST:: SOT 10733461 SOS 6127720 HAS SOPS 6127720 HAS SOUS 5128293 HAS SOUPS 5128293 WITH SCORE 5134420.72
AT ITER 3784 NEW BEST:: SOT 10733461 SOS 6127085 HAS SOPS 6127085 HAS SOUS 5128293 HAS SOUPS 5128293 WITH SCORE 5134420.085
AT ITER 3786 NEW BEST:: SOT 10733502 SOS 6127126 HAS SOPS 6127126 HAS SOUS 5127844 HAS SOUPS 5127844 WITH SCORE 5133971.126
AT ITER 3794 NEW BEST:: SOT 10733502 SOS 6113634 HAS SOPS 6113634 HAS SOUS 5127844 HAS SOUPS 5127844 WITH SCORE 5133957.634
AT ITER 3796 NEW BEST:: SOT 10733502 SOS 6112982 HAS SOPS 6112982 HAS SOUS 5127844 HAS SOUPS 5127844 WITH SCORE 5133956.982
AT ITER 3797 NEW BEST:: SOT 10733502 SOS 6112945 HAS SOPS 6112945 HAS SOUS 5127844 HAS SOUPS 5127844 WITH SCORE 5133956.945
AT ITER 3798 NEW BEST:: SOT 10733442 SOS 6113180 HAS SOPS 6113180 HAS SOUS 5127035 HAS SOUPS 5127035 WITH SCORE 5133148.18
AT ITER 3810 NEW BEST:: SOT 10728699 SOS 6119095 HAS SOPS 6119095 HAS SOUS 5125823 HAS SOUPS 5125823 WITH SCORE 5131942.095
AT ITER 3814 NEW BEST:: SOT 10726221 SOS 6117446 HAS SOPS 6117446 HAS SOUS 5124337 HAS SOUPS 5124337 WITH SCORE 5130454.446
AT ITER 3816 NEW BEST:: SOT 10726221 SOS 6106011 HAS SOPS 6106011 HAS SOUS 5123172 HAS SOUPS 5123172 WITH SCORE 5129278.011
AT ITER 3820 NEW BEST:: SOT 10723078 SOS 6105062 HAS SOPS 6105062 HAS SOUS 5120954 HAS SOUPS 5120954 WITH SCORE 5127059.062
AT ITER 3821 NEW BEST:: SOT 10723078 SOS 6104719 HAS SOPS 6104719 HAS SOUS 5120310 HAS SOUPS 5120310 WITH SCORE 5126414.719
AT ITER 3823 NEW BEST:: SOT 10722650 SOS 6104251 HAS SOPS 6104251 HAS SOUS 5119135 HAS SOUPS 5119135 WITH SCORE 5125239.251
AT ITER 3826 NEW BEST:: SOT 10722650 SOS 6103980 HAS SOPS 6103980 HAS SOUS 5118866 HAS SOUPS 5118866 WITH SCORE 5124969.98
AT ITER 3827 NEW BEST:: SOT 10720436 SOS 6113746 HAS SOPS 6113746 HAS SOUS 5116998 HAS SOUPS 5116998 WITH SCORE 5123111.746
AT ITER 3828 NEW BEST:: SOT 10720436 SOS 6111995 HAS SOPS 6111995 HAS SOUS 5116998 HAS SOUPS 5116998 WITH SCORE 5123109.995
AT ITER 3829 NEW BEST:: SOT 10720317 SOS 6111838 HAS SOPS 6111838 HAS SOUS 5116760 HAS SOUPS 5116760 WITH SCORE 5122871.838
AT ITER 3831 NEW BEST:: SOT 10720547 SOS 6111706 HAS SOPS 6111706 HAS SOUS 5116365 HAS SOUPS 5116365 WITH SCORE 5122476.706
AT ITER 3832 NEW BEST:: SOT 10720515 SOS 6111231 HAS SOPS 6111231 HAS SOUS 5115776 HAS SOUPS 5115776 WITH SCORE 5121887.231
AT ITER 3833 NEW BEST:: SOT 10716280 SOS 6107785 HAS SOPS 6107785 HAS SOUS 5112649 HAS SOUPS 5112649 WITH SCORE 5118756.785
AT ITER 3836 NEW BEST:: SOT 10716055 SOS 6107252 HAS SOPS 6107252 HAS SOUS 5112207 HAS SOUPS 5112207 WITH SCORE 5118314.252
AT ITER 3840 NEW BEST:: SOT 10711684 SOS 6111515 HAS SOPS 6111515 HAS SOUS 5109684 HAS SOUPS 5109684 WITH SCORE 5115795.515
AT ITER 3846 NEW BEST:: SOT 10707511 SOS 6108392 HAS SOPS 6108392 HAS SOUS 5106410 HAS SOUPS 5106410 WITH SCORE 5112518.392
AT ITER 3852 NEW BEST:: SOT 10707540 SOS 6107346 HAS SOPS 6107346 HAS SOUS 5105901 HAS SOUPS 5105901 WITH SCORE 5112008.346
AT ITER 3857 NEW BEST:: SOT 10707540 SOS 6106865 HAS SOPS 6106865 HAS SOUS 5105901 HAS SOUPS 5105901 WITH SCORE 5112007.865
AT ITER 3860 NEW BEST:: SOT 10707540 SOS 6106158 HAS SOPS 6106158 HAS SOUS 5105901 HAS SOUPS 5105901 WITH SCORE 5112007.158
AT ITER 3861 NEW BEST:: SOT 10707540 SOS 6105132 HAS SOPS 6105132 HAS SOUS 5105901 HAS SOUPS 5105901 WITH SCORE 5112006.132
AT ITER 3862 NEW BEST:: SOT 10707540 SOS 6105033 HAS SOPS 6105033 HAS SOUS 5105901 HAS SOUPS 5105901 WITH SCORE 5112006.033
AT ITER 3865 NEW BEST:: SOT 10707313 SOS 6105243 HAS SOPS 6105243 HAS SOUS 5105840 HAS SOUPS 5105840 WITH SCORE 5111945.243
AT ITER 3874 NEW BEST:: SOT 10707063 SOS 6105018 HAS SOPS 6105018 HAS SOUS 5105640 HAS SOUPS 5105640 WITH SCORE 5111745.018
AT ITER 3885 NEW BEST:: SOT 10707063 SOS 6104828 HAS SOPS 6104828 HAS SOUS 5105640 HAS SOUPS 5105640 WITH SCORE 5111744.828
AT ITER 3887 NEW BEST:: SOT 10707063 SOS 6104266 HAS SOPS 6104266 HAS SOUS 5105640 HAS SOUPS 5105640 WITH SCORE 5111744.266
AT ITER 3888 NEW BEST:: SOT 10706983 SOS 6104238 HAS SOPS 6104238 HAS SOUS 5105612 HAS SOUPS 5105612 WITH SCORE 5111716.238
AT ITER 3895 NEW BEST:: SOT 10706983 SOS 6103849 HAS SOPS 6103849 HAS SOUS 5105612 HAS SOUPS 5105612 WITH SCORE 5111715.849
AT ITER 3905 NEW BEST:: SOT 10704074 SOS 6105627 HAS SOPS 6105627 HAS SOUS 5104033 HAS SOUPS 5104033 WITH SCORE 5110138.627
AT ITER 3920 NEW BEST:: SOT 10700204 SOS 6105854 HAS SOPS 6105854 HAS SOUS 5103806 HAS SOUPS 5103806 WITH SCORE 5109911.854
AT ITER 3924 NEW BEST:: SOT 10700204 SOS 6105739 HAS SOPS 6105739 HAS SOUS 5103691 HAS SOUPS 5103691 WITH SCORE 5109796.739
AT ITER 3926 NEW BEST:: SOT 10696387 SOS 6102512 HAS SOPS 6102512 HAS SOUS 5100012 HAS SOUPS 5100012 WITH SCORE 5106114.512
AT ITER 3927 NEW BEST:: SOT 10696387 SOS 6101917 HAS SOPS 6101917 HAS SOUS 5099564 HAS SOUPS 5099564 WITH SCORE 5105665.917
AT ITER 3931 NEW BEST:: SOT 10696387 SOS 6101836 HAS SOPS 6101836 HAS SOUS 5099564 HAS SOUPS 5099564 WITH SCORE 5105665.836
AT ITER 3932 NEW BEST:: SOT 10696387 SOS 6100864 HAS SOPS 6100864 HAS SOUS 5099564 HAS SOUPS 5099564 WITH SCORE 5105664.864
AT ITER 3948 NEW BEST:: SOT 10696387 SOS 6100592 HAS SOPS 6100592 HAS SOUS 5099564 HAS SOUPS 5099564 WITH SCORE 5105664.592
AT ITER 3954 NEW BEST:: SOT 10696387 SOS 6100478 HAS SOPS 6100478 HAS SOUS 5099564 HAS SOUPS 5099564 WITH SCORE 5105664.478
AT ITER 3959 NEW BEST:: SOT 10696862 SOS 6101125 HAS SOPS 6101125 HAS SOUS 5099199 HAS SOUPS 5099199 WITH SCORE 5105300.125
AT ITER 3964 NEW BEST:: SOT 10696862 SOS 6100662 HAS SOPS 6100662 HAS SOUS 5099199 HAS SOUPS 5099199 WITH SCORE 5105299.662
AT ITER 3965 NEW BEST:: SOT 10696862 SOS 6100587 HAS SOPS 6100587 HAS SOUS 5099199 HAS SOUPS 5099199 WITH SCORE 5105299.587
AT ITER 3969 NEW BEST:: SOT 10696862 SOS 6099670 HAS SOPS 6099670 HAS SOUS 5099199 HAS SOUPS 5099199 WITH SCORE 5105298.67
AT ITER 3971 NEW BEST:: SOT 10696850 SOS 6100245 HAS SOPS 6100245 HAS SOUS 5098513 HAS SOUPS 5098513 WITH SCORE 5104613.245
AT ITER 3973 NEW BEST:: SOT 10696043 SOS 6099581 HAS SOPS 6099581 HAS SOUS 5098007 HAS SOUPS 5098007 WITH SCORE 5104106.581
AT ITER 3976 NEW BEST:: SOT 10696043 SOS 6100265 HAS SOPS 6100265 HAS SOUS 5097677 HAS SOUPS 5097677 WITH SCORE 5103777.265
AT ITER 3977 NEW BEST:: SOT 10691266 SOS 6100193 HAS SOPS 6100193 HAS SOUS 5095160 HAS SOUPS 5095160 WITH SCORE 5101260.193
AT ITER 3980 NEW BEST:: SOT 10691266 SOS 6099929 HAS SOPS 6099929 HAS SOUS 5095160 HAS SOUPS 5095160 WITH SCORE 5101259.929
AT ITER 3986 NEW BEST:: SOT 10691266 SOS 6099374 HAS SOPS 6099374 HAS SOUS 5095160 HAS SOUPS 5095160 WITH SCORE 5101259.374
AT ITER 3987 NEW BEST:: SOT 10691266 SOS 6098826 HAS SOPS 6098826 HAS SOUS 5094766 HAS SOUPS 5094766 WITH SCORE 5100864.826
AT ITER 3988 NEW BEST:: SOT 10691266 SOS 6098518 HAS SOPS 6098518 HAS SOUS 5094458 HAS SOUPS 5094458 WITH SCORE 5100556.518
AT ITER 3993 NEW BEST:: SOT 10689404 SOS 6097684 HAS SOPS 6097684 HAS SOUS 5093335 HAS SOUPS 5093335 WITH SCORE 5099432.684
AT ITER 3997 NEW BEST:: SOT 10689080 SOS 6098376 HAS SOPS 6098376 HAS SOUS 5092670 HAS SOUPS 5092670 WITH SCORE 5098768.376
AT ITER 3999 NEW BEST:: SOT 10689080 SOS 6098069 HAS SOPS 6098069 HAS SOUS 5092670 HAS SOUPS 5092670 WITH SCORE 5098768.069
AT ITER 4005 NEW BEST:: SOT 10689530 SOS 6091663 HAS SOPS 6091663 HAS SOUS 5092340 HAS SOUPS 5092340 WITH SCORE 5098431.663
AT ITER 4009 NEW BEST:: SOT 10689507 SOS 6091640 HAS SOPS 6091640 HAS SOUS 5092012 HAS SOUPS 5092012 WITH SCORE 5098103.64
AT ITER 4016 NEW BEST:: SOT 10689507 SOS 6091491 HAS SOPS 6091491 HAS SOUS 5092012 HAS SOUPS 5092012 WITH SCORE 5098103.491
AT ITER 4019 NEW BEST:: SOT 10689507 SOS 6090649 HAS SOPS 6090649 HAS SOUS 5092012 HAS SOUPS 5092012 WITH SCORE 5098102.649
AT ITER 4020 NEW BEST:: SOT 10689507 SOS 6088165 HAS SOPS 6088165 HAS SOUS 5091758 HAS SOUPS 5091758 WITH SCORE 5097846.165
AT ITER 4023 NEW BEST:: SOT 10686346 SOS 6103358 HAS SOPS 6103358 HAS SOUS 5091672 HAS SOUPS 5091672 WITH SCORE 5097775.358
AT ITER 4044 NEW BEST:: SOT 10686346 SOS 6100497 HAS SOPS 6100497 HAS SOUS 5091577 HAS SOUPS 5091577 WITH SCORE 5097677.497
AT ITER 4064 NEW BEST:: SOT 10686035 SOS 6100186 HAS SOPS 6100186 HAS SOUS 5091078 HAS SOUPS 5091078 WITH SCORE 5097178.186
AT ITER 4069 NEW BEST:: SOT 10685657 SOS 6100658 HAS SOPS 6100658 HAS SOUS 5090700 HAS SOUPS 5090700 WITH SCORE 5096800.658
AT ITER 4070 NEW BEST:: SOT 10685657 SOS 6100304 HAS SOPS 6100304 HAS SOUS 5090700 HAS SOUPS 5090700 WITH SCORE 5096800.304
AT ITER 4071 NEW BEST:: SOT 10681493 SOS 6102904 HAS SOPS 6102904 HAS SOUS 5087461 HAS SOUPS 5087461 WITH SCORE 5093563.904
AT ITER 4072 NEW BEST:: SOT 10677467 SOS 6100376 HAS SOPS 6100376 HAS SOUS 5085148 HAS SOUPS 5085148 WITH SCORE 5091248.376
AT ITER 4081 NEW BEST:: SOT 10677467 SOS 6100285 HAS SOPS 6100285 HAS SOUS 5085148 HAS SOUPS 5085148 WITH SCORE 5091248.285
AT ITER 4083 NEW BEST:: SOT 10674216 SOS 6100130 HAS SOPS 6100130 HAS SOUS 5083165 HAS SOUPS 5083165 WITH SCORE 5089265.13
AT ITER 4084 NEW BEST:: SOT 10674216 SOS 6099380 HAS SOPS 6099380 HAS SOUS 5083020 HAS SOUPS 5083020 WITH SCORE 5089119.38
AT ITER 4085 NEW BEST:: SOT 10674216 SOS 6099373 HAS SOPS 6099373 HAS SOUS 5083020 HAS SOUPS 5083020 WITH SCORE 5089119.373
AT ITER 4091 NEW BEST:: SOT 10672751 SOS 6099142 HAS SOPS 6099142 HAS SOUS 5081941 HAS SOUPS 5081941 WITH SCORE 5088040.142
AT ITER 4095 NEW BEST:: SOT 10673067 SOS 6092122 HAS SOPS 6092122 HAS SOUS 5081898 HAS SOUPS 5081898 WITH SCORE 5087990.122
AT ITER 4098 NEW BEST:: SOT 10672948 SOS 6091547 HAS SOPS 6091547 HAS SOUS 5081758 HAS SOUPS 5081758 WITH SCORE 5087849.547
AT ITER 4100 NEW BEST:: SOT 10672948 SOS 6092256 HAS SOPS 6092256 HAS SOUS 5081560 HAS SOUPS 5081560 WITH SCORE 5087652.256
AT ITER 4103 NEW BEST:: SOT 10672702 SOS 6092010 HAS SOPS 6092010 HAS SOUS 5081560 HAS SOUPS 5081560 WITH SCORE 5087652.01
AT ITER 4104 NEW BEST:: SOT 10672546 SOS 6091966 HAS SOPS 6091966 HAS SOUS 5081414 HAS SOUPS 5081414 WITH SCORE 5087505.966
AT ITER 4106 NEW BEST:: SOT 10672546 SOS 6091870 HAS SOPS 6091870 HAS SOUS 5081413 HAS SOUPS 5081413 WITH SCORE 5087504.87
AT ITER 4111 NEW BEST:: SOT 10672546 SOS 6091117 HAS SOPS 6091117 HAS SOUS 5081413 HAS SOUPS 5081413 WITH SCORE 5087504.117
AT ITER 4113 NEW BEST:: SOT 10668765 SOS 6087836 HAS SOPS 6087836 HAS SOUS 5078335 HAS SOUPS 5078335 WITH SCORE 5084422.836
AT ITER 4118 NEW BEST:: SOT 10669101 SOS 6088080 HAS SOPS 6088080 HAS SOUS 5077602 HAS SOUPS 5077602 WITH SCORE 5083690.08
AT ITER 4120 NEW BEST:: SOT 10669101 SOS 6088375 HAS SOPS 6088375 HAS SOUS 5077601 HAS SOUPS 5077601 WITH SCORE 5083689.375
AT ITER 4122 NEW BEST:: SOT 10669101 SOS 6088018 HAS SOPS 6088018 HAS SOUS 5077601 HAS SOUPS 5077601 WITH SCORE 5083689.018
AT ITER 4123 NEW BEST:: SOT 10669101 SOS 6088194 HAS SOPS 6088194 HAS SOUS 5077388 HAS SOUPS 5077388 WITH SCORE 5083476.194
AT ITER 4125 NEW BEST:: SOT 10669101 SOS 6087930 HAS SOPS 6087930 HAS SOUS 5077388 HAS SOUPS 5077388 WITH SCORE 5083475.93
AT ITER 4126 NEW BEST:: SOT 10669101 SOS 6087087 HAS SOPS 6087087 HAS SOUS 5077388 HAS SOUPS 5077388 WITH SCORE 5083475.087
AT ITER 4131 NEW BEST:: SOT 10665291 SOS 6087653 HAS SOPS 6087653 HAS SOUS 5076203 HAS SOUPS 5076203 WITH SCORE 5082290.653
AT ITER 4139 NEW BEST:: SOT 10665291 SOS 6087402 HAS SOPS 6087402 HAS SOUS 5076203 HAS SOUPS 5076203 WITH SCORE 5082290.402
AT ITER 4155 NEW BEST:: SOT 10665291 SOS 6086936 HAS SOPS 6086936 HAS SOUS 5076191 HAS SOUPS 5076191 WITH SCORE 5082277.936
AT ITER 4157 NEW BEST:: SOT 10665291 SOS 6086518 HAS SOPS 6086518 HAS SOUS 5076191 HAS SOUPS 5076191 WITH SCORE 5082277.518
AT ITER 4164 NEW BEST:: SOT 10660051 SOS 6094882 HAS SOPS 6094882 HAS SOUS 5074673 HAS SOUPS 5074673 WITH SCORE 5080767.882
AT ITER 4166 NEW BEST:: SOT 10660051 SOS 6093904 HAS SOPS 6093904 HAS SOUS 5074274 HAS SOUPS 5074274 WITH SCORE 5080367.904
AT ITER 4170 NEW BEST:: SOT 10660001 SOS 6093854 HAS SOPS 6093854 HAS SOUS 5074224 HAS SOUPS 5074224 WITH SCORE 5080317.854
AT ITER 4171 NEW BEST:: SOT 10659560 SOS 6095406 HAS SOPS 6095406 HAS SOUS 5073995 HAS SOUPS 5073995 WITH SCORE 5080090.406
AT ITER 4175 NEW BEST:: SOT 10659812 SOS 6094655 HAS SOPS 6094655 HAS SOUS 5073915 HAS SOUPS 5073915 WITH SCORE 5080009.655
AT ITER 4177 NEW BEST:: SOT 10659812 SOS 6093715 HAS SOPS 6093715 HAS SOUS 5073915 HAS SOUPS 5073915 WITH SCORE 5080008.715
AT ITER 4181 NEW BEST:: SOT 10659812 SOS 6093267 HAS SOPS 6093267 HAS SOUS 5073915 HAS SOUPS 5073915 WITH SCORE 5080008.267
AT ITER 4182 NEW BEST:: SOT 10659812 SOS 6093247 HAS SOPS 6093247 HAS SOUS 5073811 HAS SOUPS 5073811 WITH SCORE 5079904.247
AT ITER 4184 NEW BEST:: SOT 10659819 SOS 6091559 HAS SOPS 6091559 HAS SOUS 5073336 HAS SOUPS 5073336 WITH SCORE 5079427.559
AT ITER 4185 NEW BEST:: SOT 10659819 SOS 6091215 HAS SOPS 6091215 HAS SOUS 5073336 HAS SOUPS 5073336 WITH SCORE 5079427.215
AT ITER 4190 NEW BEST:: SOT 10659453 SOS 6091098 HAS SOPS 6091098 HAS SOUS 5073219 HAS SOUPS 5073219 WITH SCORE 5079310.098
AT ITER 4197 NEW BEST:: SOT 10655668 SOS 6091211 HAS SOPS 6091211 HAS SOUS 5070941 HAS SOUPS 5070941 WITH SCORE 5077032.211
AT ITER 4201 NEW BEST:: SOT 10655668 SOS 6089916 HAS SOPS 6089916 HAS SOUS 5070941 HAS SOUPS 5070941 WITH SCORE 5077030.916
AT ITER 4204 NEW BEST:: SOT 10655924 SOS 6090035 HAS SOPS 6090035 HAS SOUS 5070886 HAS SOUPS 5070886 WITH SCORE 5076976.035
AT ITER 4208 NEW BEST:: SOT 10655924 SOS 6088627 HAS SOPS 6088627 HAS SOUS 5070883 HAS SOUPS 5070883 WITH SCORE 5076971.627
AT ITER 4209 NEW BEST:: SOT 10655924 SOS 6088593 HAS SOPS 6088593 HAS SOUS 5070883 HAS SOUPS 5070883 WITH SCORE 5076971.593
AT ITER 4222 NEW BEST:: SOT 10655924 SOS 6088356 HAS SOPS 6088356 HAS SOUS 5070883 HAS SOUPS 5070883 WITH SCORE 5076971.356
AT ITER 4226 NEW BEST:: SOT 10651897 SOS 6086157 HAS SOPS 6086157 HAS SOUS 5068419 HAS SOUPS 5068419 WITH SCORE 5074505.157
AT ITER 4230 NEW BEST:: SOT 10651897 SOS 6085558 HAS SOPS 6085558 HAS SOUS 5068419 HAS SOUPS 5068419 WITH SCORE 5074504.558
AT ITER 4231 NEW BEST:: SOT 10648806 SOS 6089438 HAS SOPS 6089438 HAS SOUS 5067797 HAS SOUPS 5067797 WITH SCORE 5073886.438
AT ITER 4234 NEW BEST:: SOT 10643894 SOS 6092175 HAS SOPS 6092175 HAS SOUS 5064089 HAS SOUPS 5064089 WITH SCORE 5070181.175
AT ITER 4242 NEW BEST:: SOT 10644451 SOS 6092113 HAS SOPS 6092113 HAS SOUS 5063977 HAS SOUPS 5063977 WITH SCORE 5070069.113
AT ITER 4253 NEW BEST:: SOT 10644451 SOS 6091648 HAS SOPS 6091648 HAS SOUS 5063807 HAS SOUPS 5063807 WITH SCORE 5069898.648
AT ITER 4257 NEW BEST:: SOT 10644382 SOS 6091579 HAS SOPS 6091579 HAS SOUS 5063262 HAS SOUPS 5063262 WITH SCORE 5069353.579
AT ITER 4262 NEW BEST:: SOT 10644382 SOS 6090238 HAS SOPS 6090238 HAS SOUS 5063262 HAS SOUPS 5063262 WITH SCORE 5069352.238
AT ITER 4263 NEW BEST:: SOT 10644382 SOS 6088748 HAS SOPS 6088748 HAS SOUS 5063262 HAS SOUPS 5063262 WITH SCORE 5069350.748
AT ITER 4265 NEW BEST:: SOT 10644382 SOS 6087007 HAS SOPS 6087007 HAS SOUS 5063262 HAS SOUPS 5063262 WITH SCORE 5069349.007
AT ITER 4270 NEW BEST:: SOT 10644382 SOS 6086726 HAS SOPS 6086726 HAS SOUS 5063262 HAS SOUPS 5063262 WITH SCORE 5069348.726
AT ITER 4271 NEW BEST:: SOT 10643963 SOS 6085517 HAS SOPS 6085517 HAS SOUS 5061536 HAS SOUPS 5061536 WITH SCORE 5067621.517
AT ITER 4272 NEW BEST:: SOT 10644021 SOS 6085575 HAS SOPS 6085575 HAS SOUS 5061430 HAS SOUPS 5061430 WITH SCORE 5067515.575
AT ITER 4279 NEW BEST:: SOT 10640230 SOS 6092647 HAS SOPS 6092647 HAS SOUS 5058417 HAS SOUPS 5058417 WITH SCORE 5064509.647
AT ITER 4288 NEW BEST:: SOT 10635370 SOS 6089622 HAS SOPS 6089622 HAS SOUS 5055138 HAS SOUPS 5055138 WITH SCORE 5061227.622
AT ITER 4300 NEW BEST:: SOT 10635370 SOS 6089537 HAS SOPS 6089537 HAS SOUS 5055138 HAS SOUPS 5055138 WITH SCORE 5061227.537
AT ITER 4311 NEW BEST:: SOT 10635370 SOS 6088745 HAS SOPS 6088745 HAS SOUS 5055138 HAS SOUPS 5055138 WITH SCORE 5061226.745
AT ITER 4314 NEW BEST:: SOT 10635492 SOS 6087800 HAS SOPS 6087800 HAS SOUS 5054767 HAS SOUPS 5054767 WITH SCORE 5060854.8
AT ITER 4322 NEW BEST:: SOT 10635492 SOS 6087300 HAS SOPS 6087300 HAS SOUS 5054767 HAS SOUPS 5054767 WITH SCORE 5060854.3
AT ITER 4327 NEW BEST:: SOT 10635492 SOS 6074353 HAS SOPS 6074353 HAS SOUS 5053532 HAS SOUPS 5053532 WITH SCORE 5059606.353
AT ITER 4331 NEW BEST:: SOT 10634580 SOS 6074747 HAS SOPS 6074747 HAS SOUS 5053530 HAS SOUPS 5053530 WITH SCORE 5059604.747
AT ITER 4333 NEW BEST:: SOT 10634497 SOS 6074123 HAS SOPS 6074123 HAS SOUS 5052954 HAS SOUPS 5052954 WITH SCORE 5059028.123
AT ITER 4334 NEW BEST:: SOT 10634497 SOS 6075140 HAS SOPS 6075140 HAS SOUS 5052891 HAS SOUPS 5052891 WITH SCORE 5058966.14
AT ITER 4344 NEW BEST:: SOT 10634497 SOS 6074876 HAS SOPS 6074876 HAS SOUS 5052593 HAS SOUPS 5052593 WITH SCORE 5058667.876
AT ITER 4346 NEW BEST:: SOT 10634616 SOS 6074995 HAS SOPS 6074995 HAS SOUS 5052587 HAS SOUPS 5052587 WITH SCORE 5058661.995
AT ITER 4352 NEW BEST:: SOT 10634616 SOS 6073512 HAS SOPS 6073512 HAS SOUS 5052587 HAS SOUPS 5052587 WITH SCORE 5058660.512
AT ITER 4353 NEW BEST:: SOT 10634616 SOS 6073495 HAS SOPS 6073495 HAS SOUS 5052587 HAS SOUPS 5052587 WITH SCORE 5058660.495
AT ITER 4356 NEW BEST:: SOT 10633777 SOS 6073358 HAS SOPS 6073358 HAS SOUS 5051951 HAS SOUPS 5051951 WITH SCORE 5058024.358
AT ITER 4363 NEW BEST:: SOT 10633777 SOS 6073297 HAS SOPS 6073297 HAS SOUS 5051951 HAS SOUPS 5051951 WITH SCORE 5058024.297
AT ITER 4367 NEW BEST:: SOT 10631420 SOS 6071787 HAS SOPS 6071787 HAS SOUS 5051058 HAS SOUPS 5051058 WITH SCORE 5057129.787
AT ITER 4369 NEW BEST:: SOT 10630637 SOS 6071611 HAS SOPS 6071611 HAS SOUS 5050882 HAS SOUPS 5050882 WITH SCORE 5056953.611
AT ITER 4376 NEW BEST:: SOT 10630637 SOS 6071470 HAS SOPS 6071470 HAS SOUS 5050882 HAS SOUPS 5050882 WITH SCORE 5056953.47
AT ITER 4379 NEW BEST:: SOT 10630637 SOS 6071328 HAS SOPS 6071328 HAS SOUS 5050762 HAS SOUPS 5050762 WITH SCORE 5056833.328
AT ITER 4388 NEW BEST:: SOT 10630637 SOS 6071258 HAS SOPS 6071258 HAS SOUS 5050762 HAS SOUPS 5050762 WITH SCORE 5056833.258
AT ITER 4392 NEW BEST:: SOT 10630975 SOS 6075433 HAS SOPS 6075433 HAS SOUS 5049581 HAS SOUPS 5049581 WITH SCORE 5055656.433
AT ITER 4393 NEW BEST:: SOT 10630975 SOS 6075428 HAS SOPS 6075428 HAS SOUS 5049581 HAS SOUPS 5049581 WITH SCORE 5055656.428
AT ITER 4395 NEW BEST:: SOT 10630975 SOS 6062153 HAS SOPS 6062153 HAS SOUS 5049348 HAS SOUPS 5049348 WITH SCORE 5055410.153
AT ITER 4399 NEW BEST:: SOT 10630911 SOS 6061835 HAS SOPS 6061835 HAS SOUS 5048890 HAS SOUPS 5048890 WITH SCORE 5054951.835
AT ITER 4400 NEW BEST:: SOT 10630399 SOS 6061542 HAS SOPS 6061542 HAS SOUS 5048513 HAS SOUPS 5048513 WITH SCORE 5054574.542
AT ITER 4403 NEW BEST:: SOT 10630916 SOS 6062059 HAS SOPS 6062059 HAS SOUS 5048246 HAS SOUPS 5048246 WITH SCORE 5054308.059
AT ITER 4405 NEW BEST:: SOT 10630916 SOS 6061825 HAS SOPS 6061825 HAS SOUS 5048246 HAS SOUPS 5048246 WITH SCORE 5054307.825
AT ITER 4411 NEW BEST:: SOT 10630704 SOS 6061347 HAS SOPS 6061347 HAS SOUS 5048071 HAS SOUPS 5048071 WITH SCORE 5054132.347
AT ITER 4418 NEW BEST:: SOT 10630704 SOS 6061347 HAS SOPS 6061347 HAS SOUS 5047985 HAS SOUPS 5047985 WITH SCORE 5054046.347
AT ITER 4423 NEW BEST:: SOT 10630704 SOS 6060923 HAS SOPS 6060923 HAS SOUS 5047985 HAS SOUPS 5047985 WITH SCORE 5054045.923
AT ITER 4424 NEW BEST:: SOT 10630704 SOS 6059746 HAS SOPS 6059746 HAS SOUS 5047985 HAS SOUPS 5047985 WITH SCORE 5054044.746
AT ITER 4425 NEW BEST:: SOT 10630704 SOS 6059494 HAS SOPS 6059494 HAS SOUS 5047937 HAS SOUPS 5047937 WITH SCORE 5053996.494
AT ITER 4426 NEW BEST:: SOT 10630704 SOS 6044960 HAS SOPS 6044960 HAS SOUS 5047937 HAS SOUPS 5047937 WITH SCORE 5053981.96
AT ITER 4427 NEW BEST:: SOT 10631400 SOS 6043626 HAS SOPS 6043626 HAS SOUS 5047832 HAS SOUPS 5047832 WITH SCORE 5053875.626
AT ITER 4433 NEW BEST:: SOT 10631400 SOS 6043381 HAS SOPS 6043381 HAS SOUS 5047832 HAS SOUPS 5047832 WITH SCORE 5053875.381
AT ITER 4436 NEW BEST:: SOT 10631497 SOS 6043688 HAS SOPS 6043688 HAS SOUS 5047262 HAS SOUPS 5047262 WITH SCORE 5053305.688
AT ITER 4443 NEW BEST:: SOT 10631497 SOS 6043582 HAS SOPS 6043582 HAS SOUS 5047262 HAS SOUPS 5047262 WITH SCORE 5053305.582
AT ITER 4464 NEW BEST:: SOT 10631497 SOS 6043575 HAS SOPS 6043575 HAS SOUS 5047262 HAS SOUPS 5047262 WITH SCORE 5053305.575
AT ITER 4469 NEW BEST:: SOT 10628788 SOS 6042030 HAS SOPS 6042030 HAS SOUS 5046335 HAS SOUPS 5046335 WITH SCORE 5052377.03
AT ITER 4476 NEW BEST:: SOT 10628788 SOS 6041959 HAS SOPS 6041959 HAS SOUS 5046335 HAS SOUPS 5046335 WITH SCORE 5052376.959
AT ITER 4478 NEW BEST:: SOT 10628788 SOS 6041724 HAS SOPS 6041724 HAS SOUS 5046335 HAS SOUPS 5046335 WITH SCORE 5052376.724
AT ITER 4488 NEW BEST:: SOT 10628479 SOS 6042029 HAS SOPS 6042029 HAS SOUS 5045659 HAS SOUPS 5045659 WITH SCORE 5051701.029
AT ITER 4490 NEW BEST:: SOT 10628479 SOS 6041771 HAS SOPS 6041771 HAS SOUS 5045525 HAS SOUPS 5045525 WITH SCORE 5051566.771
AT ITER 4503 NEW BEST:: SOT 10628479 SOS 6041294 HAS SOPS 6041294 HAS SOUS 5045525 HAS SOUPS 5045525 WITH SCORE 5051566.294
AT ITER 4505 NEW BEST:: SOT 10628479 SOS 6020494 HAS SOPS 6020494 HAS SOUS 5045209 HAS SOUPS 5045209 WITH SCORE 5051229.494
AT ITER 4515 NEW BEST:: SOT 10627504 SOS 6024098 HAS SOPS 6024098 HAS SOUS 5044576 HAS SOUPS 5044576 WITH SCORE 5050600.098
AT ITER 4517 NEW BEST:: SOT 10627504 SOS 6024098 HAS SOPS 6024098 HAS SOUS 5044526 HAS SOUPS 5044526 WITH SCORE 5050550.098
AT ITER 4519 NEW BEST:: SOT 10624770 SOS 6023885 HAS SOPS 6023885 HAS SOUS 5042681 HAS SOUPS 5042681 WITH SCORE 5048704.885
AT ITER 4520 NEW BEST:: SOT 10623254 SOS 6023008 HAS SOPS 6023008 HAS SOUS 5041811 HAS SOUPS 5041811 WITH SCORE 5047834.008
AT ITER 4521 NEW BEST:: SOT 10623199 SOS 6022953 HAS SOPS 6022953 HAS SOUS 5041756 HAS SOUPS 5041756 WITH SCORE 5047778.953
AT ITER 4524 NEW BEST:: SOT 10621226 SOS 6022255 HAS SOPS 6022255 HAS SOUS 5041488 HAS SOUPS 5041488 WITH SCORE 5047510.255
AT ITER 4528 NEW BEST:: SOT 10621110 SOS 6022696 HAS SOPS 6022696 HAS SOUS 5040816 HAS SOUPS 5040816 WITH SCORE 5046838.696
AT ITER 4531 NEW BEST:: SOT 10621110 SOS 6022586 HAS SOPS 6022586 HAS SOUS 5040816 HAS SOUPS 5040816 WITH SCORE 5046838.586
AT ITER 4538 NEW BEST:: SOT 10621110 SOS 6022003 HAS SOPS 6022003 HAS SOUS 5040816 HAS SOUPS 5040816 WITH SCORE 5046838.003
AT ITER 4540 NEW BEST:: SOT 10621110 SOS 6021347 HAS SOPS 6021347 HAS SOUS 5040697 HAS SOUPS 5040697 WITH SCORE 5046718.347
AT ITER 4546 NEW BEST:: SOT 10620459 SOS 6021242 HAS SOPS 6021242 HAS SOUS 5040046 HAS SOUPS 5040046 WITH SCORE 5046067.242
AT ITER 4547 NEW BEST:: SOT 10617079 SOS 6033125 HAS SOPS 6033125 HAS SOUS 5039514 HAS SOUPS 5039514 WITH SCORE 5045547.125
AT ITER 4556 NEW BEST:: SOT 10617079 SOS 6033125 HAS SOPS 6033125 HAS SOUS 5039492 HAS SOUPS 5039492 WITH SCORE 5045525.125
AT ITER 4557 NEW BEST:: SOT 10610938 SOS 6028422 HAS SOPS 6028422 HAS SOUS 5035440 HAS SOUPS 5035440 WITH SCORE 5041468.422
AT ITER 4561 NEW BEST:: SOT 10610938 SOS 6028161 HAS SOPS 6028161 HAS SOUS 5035440 HAS SOUPS 5035440 WITH SCORE 5041468.161
AT ITER 4563 NEW BEST:: SOT 10611531 SOS 6023733 HAS SOPS 6023733 HAS SOUS 5035440 HAS SOUPS 5035440 WITH SCORE 5041463.733
AT ITER 4579 NEW BEST:: SOT 10611942 SOS 6024144 HAS SOPS 6024144 HAS SOUS 5035254 HAS SOUPS 5035254 WITH SCORE 5041278.144
AT ITER 4580 NEW BEST:: SOT 10611942 SOS 6023724 HAS SOPS 6023724 HAS SOUS 5035114 HAS SOUPS 5035114 WITH SCORE 5041137.724
AT ITER 4583 NEW BEST:: SOT 10613325 SOS 6044624 HAS SOPS 6044624 HAS SOUS 5034924 HAS SOUPS 5034924 WITH SCORE 5040968.624
AT ITER 4584 NEW BEST:: SOT 10613325 SOS 6044518 HAS SOPS 6044518 HAS SOUS 5034923 HAS SOUPS 5034923 WITH SCORE 5040967.518
AT ITER 4585 NEW BEST:: SOT 10613035 SOS 6044228 HAS SOPS 6044228 HAS SOUS 5033692 HAS SOUPS 5033692 WITH SCORE 5039736.228
AT ITER 4586 NEW BEST:: SOT 10613035 SOS 6044228 HAS SOPS 6044228 HAS SOUS 5033681 HAS SOUPS 5033681 WITH SCORE 5039725.228
AT ITER 4588 NEW BEST:: SOT 10613035 SOS 6043900 HAS SOPS 6043900 HAS SOUS 5033681 HAS SOUPS 5033681 WITH SCORE 5039724.9
AT ITER 4590 NEW BEST:: SOT 10613035 SOS 6042805 HAS SOPS 6042805 HAS SOUS 5033681 HAS SOUPS 5033681 WITH SCORE 5039723.805
AT ITER 4593 NEW BEST:: SOT 10612352 SOS 6042122 HAS SOPS 6042122 HAS SOUS 5032998 HAS SOUPS 5032998 WITH SCORE 5039040.122
AT ITER 4598 NEW BEST:: SOT 10612352 SOS 6041233 HAS SOPS 6041233 HAS SOUS 5032998 HAS SOUPS 5032998 WITH SCORE 5039039.233
AT ITER 4604 NEW BEST:: SOT 10605354 SOS 6041681 HAS SOPS 6041681 HAS SOUS 5029521 HAS SOUPS 5029521 WITH SCORE 5035562.681
AT ITER 4606 NEW BEST:: SOT 10605354 SOS 6041331 HAS SOPS 6041331 HAS SOUS 5029521 HAS SOUPS 5029521 WITH SCORE 5035562.331
AT ITER 4607 NEW BEST:: SOT 10605354 SOS 6040882 HAS SOPS 6040882 HAS SOUS 5029521 HAS SOUPS 5029521 WITH SCORE 5035561.882
AT ITER 4608 NEW BEST:: SOT 10605354 SOS 6039295 HAS SOPS 6039295 HAS SOUS 5029521 HAS SOUPS 5029521 WITH SCORE 5035560.295
AT ITER 4611 NEW BEST:: SOT 10605328 SOS 6038418 HAS SOPS 6038418 HAS SOUS 5028764 HAS SOUPS 5028764 WITH SCORE 5034802.418
AT ITER 4613 NEW BEST:: SOT 10605328 SOS 6037393 HAS SOPS 6037393 HAS SOUS 5028764 HAS SOUPS 5028764 WITH SCORE 5034801.393
AT ITER 4616 NEW BEST:: SOT 10605027 SOS 6037254 HAS SOPS 6037254 HAS SOUS 5028242 HAS SOUPS 5028242 WITH SCORE 5034279.254
AT ITER 4630 NEW BEST:: SOT 10604917 SOS 6037144 HAS SOPS 6037144 HAS SOUS 5028132 HAS SOUPS 5028132 WITH SCORE 5034169.144
AT ITER 4632 NEW BEST:: SOT 10603188 SOS 6036502 HAS SOPS 6036502 HAS SOUS 5027831 HAS SOUPS 5027831 WITH SCORE 5033867.502
AT ITER 4633 NEW BEST:: SOT 10603188 SOS 6023181 HAS SOPS 6023181 HAS SOUS 5027831 HAS SOUPS 5027831 WITH SCORE 5033854.181
AT ITER 4635 NEW BEST:: SOT 10601707 SOS 6027072 HAS SOPS 6027072 HAS SOUS 5026693 HAS SOUPS 5026693 WITH SCORE 5032720.072
AT ITER 4636 NEW BEST:: SOT 10601707 SOS 6027072 HAS SOPS 6027072 HAS SOUS 5026099 HAS SOUPS 5026099 WITH SCORE 5032126.072
AT ITER 4638 NEW BEST:: SOT 10601707 SOS 6026928 HAS SOPS 6026928 HAS SOUS 5026099 HAS SOUPS 5026099 WITH SCORE 5032125.928
AT ITER 4648 NEW BEST:: SOT 10601707 SOS 6026459 HAS SOPS 6026459 HAS SOUS 5026099 HAS SOUPS 5026099 WITH SCORE 5032125.459
AT ITER 4649 NEW BEST:: SOT 10601662 SOS 6026414 HAS SOPS 6026414 HAS SOUS 5025963 HAS SOUPS 5025963 WITH SCORE 5031989.414
AT ITER 4651 NEW BEST:: SOT 10601662 SOS 6026280 HAS SOPS 6026280 HAS SOUS 5025963 HAS SOUPS 5025963 WITH SCORE 5031989.28
AT ITER 4652 NEW BEST:: SOT 10601562 SOS 6026661 HAS SOPS 6026661 HAS SOUS 5025888 HAS SOUPS 5025888 WITH SCORE 5031914.661
AT ITER 4656 NEW BEST:: SOT 10601934 SOS 6025555 HAS SOPS 6025555 HAS SOUS 5025888 HAS SOUPS 5025888 WITH SCORE 5031913.555
AT ITER 4663 NEW BEST:: SOT 10601934 SOS 6024528 HAS SOPS 6024528 HAS SOUS 5025888 HAS SOUPS 5025888 WITH SCORE 5031912.528
AT ITER 4665 NEW BEST:: SOT 10601473 SOS 6024513 HAS SOPS 6024513 HAS SOUS 5025873 HAS SOUPS 5025873 WITH SCORE 5031897.513
AT ITER 4668 NEW BEST:: SOT 10598233 SOS 6024427 HAS SOPS 6024427 HAS SOUS 5023105 HAS SOUPS 5023105 WITH SCORE 5029129.427
AT ITER 4670 NEW BEST:: SOT 10598233 SOS 6023892 HAS SOPS 6023892 HAS SOUS 5022414 HAS SOUPS 5022414 WITH SCORE 5028437.892
AT ITER 4672 NEW BEST:: SOT 10598233 SOS 6020602 HAS SOPS 6020602 HAS SOUS 5022414 HAS SOUPS 5022414 WITH SCORE 5028434.602
AT ITER 4679 NEW BEST:: SOT 10598354 SOS 6020576 HAS SOPS 6020576 HAS SOUS 5022211 HAS SOUPS 5022211 WITH SCORE 5028231.576
AT ITER 4688 NEW BEST:: SOT 10598354 SOS 6020204 HAS SOPS 6020204 HAS SOUS 5022211 HAS SOUPS 5022211 WITH SCORE 5028231.204
AT ITER 4698 NEW BEST:: SOT 10598354 SOS 6020095 HAS SOPS 6020095 HAS SOUS 5022211 HAS SOUPS 5022211 WITH SCORE 5028231.095
AT ITER 4700 NEW BEST:: SOT 10598354 SOS 6018956 HAS SOPS 6018956 HAS SOUS 5021147 HAS SOUPS 5021147 WITH SCORE 5027165.956
AT ITER 4707 NEW BEST:: SOT 10598354 SOS 6018891 HAS SOPS 6018891 HAS SOUS 5021086 HAS SOUPS 5021086 WITH SCORE 5027104.891
AT ITER 4709 NEW BEST:: SOT 10593315 SOS 6019205 HAS SOPS 6019205 HAS SOUS 5019677 HAS SOUPS 5019677 WITH SCORE 5025696.205
AT ITER 4712 NEW BEST:: SOT 10591565 SOS 6017105 HAS SOPS 6017105 HAS SOUS 5017227 HAS SOUPS 5017227 WITH SCORE 5023244.105
AT ITER 4716 NEW BEST:: SOT 10589073 SOS 6014239 HAS SOPS 6014239 HAS SOUS 5015682 HAS SOUPS 5015682 WITH SCORE 5021696.239
AT ITER 4724 NEW BEST:: SOT 10589482 SOS 6014648 HAS SOPS 6014648 HAS SOUS 5015377 HAS SOUPS 5015377 WITH SCORE 5021391.648
AT ITER 4726 NEW BEST:: SOT 10589582 SOS 6012293 HAS SOPS 6012293 HAS SOUS 5014824 HAS SOUPS 5014824 WITH SCORE 5020836.293
AT ITER 4728 NEW BEST:: SOT 10589790 SOS 6009301 HAS SOPS 6009301 HAS SOUS 5014502 HAS SOUPS 5014502 WITH SCORE 5020511.301
AT ITER 4729 NEW BEST:: SOT 10585635 SOS 6005617 HAS SOPS 6005617 HAS SOUS 5011140 HAS SOUPS 5011140 WITH SCORE 5017145.617
AT ITER 4731 NEW BEST:: SOT 10583089 SOS 6004464 HAS SOPS 6004464 HAS SOUS 5009699 HAS SOUPS 5009699 WITH SCORE 5015703.464
AT ITER 4732 NEW BEST:: SOT 10583089 SOS 6002702 HAS SOPS 6002702 HAS SOUS 5009699 HAS SOUPS 5009699 WITH SCORE 5015701.702
AT ITER 4735 NEW BEST:: SOT 10583283 SOS 6002700 HAS SOPS 6002700 HAS SOUS 5009685 HAS SOUPS 5009685 WITH SCORE 5015687.7
AT ITER 4739 NEW BEST:: SOT 10583283 SOS 6002542 HAS SOPS 6002542 HAS SOUS 5009685 HAS SOUPS 5009685 WITH SCORE 5015687.542
AT ITER 4744 NEW BEST:: SOT 10583283 SOS 6001844 HAS SOPS 6001844 HAS SOUS 5009457 HAS SOUPS 5009457 WITH SCORE 5015458.844
AT ITER 4747 NEW BEST:: SOT 10583114 SOS 6001675 HAS SOPS 6001675 HAS SOUS 5008656 HAS SOUPS 5008656 WITH SCORE 5014657.675
AT ITER 4751 NEW BEST:: SOT 10582793 SOS 6001354 HAS SOPS 6001354 HAS SOUS 5008442 HAS SOUPS 5008442 WITH SCORE 5014443.354
AT ITER 4763 NEW BEST:: SOT 10582845 SOS 6000640 HAS SOPS 6000640 HAS SOUS 5008295 HAS SOUPS 5008295 WITH SCORE 5014295.64
AT ITER 4769 NEW BEST:: SOT 10582528 SOS 6000240 HAS SOPS 6000240 HAS SOUS 5007895 HAS SOUPS 5007895 WITH SCORE 5013895.24
AT ITER 4778 NEW BEST:: SOT 10582528 SOS 6000240 HAS SOPS 6000240 HAS SOUS 5007799 HAS SOUPS 5007799 WITH SCORE 5013799.24
AT ITER 4785 NEW BEST:: SOT 10577540 SOS 5996415 HAS SOPS 5996415 HAS SOUS 5004078 HAS SOUPS 5004078 WITH SCORE 5010074.415
AT ITER 4788 NEW BEST:: SOT 10577540 SOS 5996267 HAS SOPS 5996267 HAS SOUS 5004078 HAS SOUPS 5004078 WITH SCORE 5010074.267
AT ITER 4793 NEW BEST:: SOT 10577279 SOS 5995826 HAS SOPS 5995826 HAS SOUS 5003638 HAS SOUPS 5003638 WITH SCORE 5009633.826
AT ITER 4802 NEW BEST:: SOT 10576567 SOS 5994568 HAS SOPS 5994568 HAS SOUS 5002338 HAS SOUPS 5002338 WITH SCORE 5008332.568
AT ITER 4811 NEW BEST:: SOT 10575241 SOS 5994847 HAS SOPS 5994847 HAS SOUS 5001270 HAS SOUPS 5001270 WITH SCORE 5007264.847
AT ITER 4812 NEW BEST:: SOT 10575241 SOS 5994641 HAS SOPS 5994641 HAS SOUS 5001270 HAS SOUPS 5001270 WITH SCORE 5007264.641
AT ITER 4813 NEW BEST:: SOT 10575241 SOS 5994572 HAS SOPS 5994572 HAS SOUS 5001270 HAS SOUPS 5001270 WITH SCORE 5007264.572
AT ITER 4822 NEW BEST:: SOT 10575241 SOS 5994220 HAS SOPS 5994220 HAS SOUS 5001270 HAS SOUPS 5001270 WITH SCORE 5007264.22
AT ITER 4825 NEW BEST:: SOT 10571508 SOS 5995092 HAS SOPS 5995092 HAS SOUS 5000118 HAS SOUPS 5000118 WITH SCORE 5006113.092
AT ITER 4828 NEW BEST:: SOT 10571303 SOS 5993464 HAS SOPS 5993464 HAS SOUS 5000070 HAS SOUPS 5000070 WITH SCORE 5006063.464
AT ITER 4835 NEW BEST:: SOT 10570267 SOS 5992529 HAS SOPS 5992529 HAS SOUS 4999135 HAS SOUPS 4999135 WITH SCORE 5005127.529
AT ITER 4836 NEW BEST:: SOT 10568891 SOS 5994563 HAS SOPS 5994563 HAS SOUS 4998416 HAS SOUPS 4998416 WITH SCORE 5004410.563
AT ITER 4839 NEW BEST:: SOT 10568891 SOS 5994269 HAS SOPS 5994269 HAS SOUS 4998416 HAS SOUPS 4998416 WITH SCORE 5004410.269
AT ITER 4841 NEW BEST:: SOT 10568891 SOS 5994169 HAS SOPS 5994169 HAS SOUS 4998416 HAS SOUPS 4998416 WITH SCORE 5004410.169
AT ITER 4844 NEW BEST:: SOT 10564141 SOS 5994925 HAS SOPS 5994925 HAS SOUS 4997246 HAS SOUPS 4997246 WITH SCORE 5003240.925
AT ITER 4855 NEW BEST:: SOT 10564141 SOS 5994877 HAS SOPS 5994877 HAS SOUS 4997246 HAS SOUPS 4997246 WITH SCORE 5003240.877
AT ITER 4859 NEW BEST:: SOT 10560703 SOS 5994627 HAS SOPS 5994627 HAS SOUS 4995718 HAS SOUPS 4995718 WITH SCORE 5001712.627
AT ITER 4870 NEW BEST:: SOT 10560554 SOS 5994925 HAS SOPS 5994925 HAS SOUS 4995569 HAS SOUPS 4995569 WITH SCORE 5001563.925
AT ITER 4872 NEW BEST:: SOT 10560554 SOS 5994569 HAS SOPS 5994569 HAS SOUS 4995569 HAS SOUPS 4995569 WITH SCORE 5001563.569
AT ITER 4877 NEW BEST:: SOT 10560554 SOS 5994367 HAS SOPS 5994367 HAS SOUS 4995569 HAS SOUPS 4995569 WITH SCORE 5001563.367
AT ITER 4882 NEW BEST:: SOT 10560554 SOS 5994288 HAS SOPS 5994288 HAS SOUS 4995569 HAS SOUPS 4995569 WITH SCORE 5001563.288
AT ITER 4885 NEW BEST:: SOT 10559460 SOS 5993777 HAS SOPS 5993777 HAS SOUS 4994766 HAS SOUPS 4994766 WITH SCORE 5000759.777
AT ITER 4892 NEW BEST:: SOT 10559460 SOS 5994070 HAS SOPS 5994070 HAS SOUS 4994302 HAS SOUPS 4994302 WITH SCORE 5000296.07
AT ITER 4893 NEW BEST:: SOT 10555103 SOS 5990457 HAS SOPS 5990457 HAS SOUS 4990765 HAS SOUPS 4990765 WITH SCORE 4996755.457
AT ITER 4904 NEW BEST:: SOT 10555401 SOS 5990695 HAS SOPS 5990695 HAS SOUS 4990459 HAS SOUPS 4990459 WITH SCORE 4996449.695
AT ITER 4907 NEW BEST:: SOT 10556525 SOS 5988167 HAS SOPS 5988167 HAS SOUS 4989911 HAS SOUPS 4989911 WITH SCORE 4995899.167
AT ITER 4910 NEW BEST:: SOT 10552101 SOS 5985812 HAS SOPS 5985812 HAS SOUS 4987164 HAS SOUPS 4987164 WITH SCORE 4993149.812
AT ITER 4915 NEW BEST:: SOT 10552101 SOS 5985390 HAS SOPS 5985390 HAS SOUS 4987164 HAS SOUPS 4987164 WITH SCORE 4993149.39
AT ITER 4916 NEW BEST:: SOT 10550284 SOS 5984106 HAS SOPS 5984106 HAS SOUS 4985450 HAS SOUPS 4985450 WITH SCORE 4991434.106
AT ITER 4917 NEW BEST:: SOT 10548876 SOS 5983050 HAS SOPS 5983050 HAS SOUS 4984746 HAS SOUPS 4984746 WITH SCORE 4990729.05
AT ITER 4918 NEW BEST:: SOT 10548876 SOS 5982900 HAS SOPS 5982900 HAS SOUS 4984746 HAS SOUPS 4984746 WITH SCORE 4990728.9
AT ITER 4925 NEW BEST:: SOT 10548329 SOS 5999762 HAS SOPS 5999762 HAS SOUS 4984542 HAS SOUPS 4984542 WITH SCORE 4990541.762
AT ITER 4927 NEW BEST:: SOT 10544415 SOS 5997600 HAS SOPS 5997600 HAS SOUS 4982789 HAS SOUPS 4982789 WITH SCORE 4988786.6
AT ITER 4929 NEW BEST:: SOT 10544415 SOS 5997542 HAS SOPS 5997542 HAS SOUS 4982572 HAS SOUPS 4982572 WITH SCORE 4988569.542
AT ITER 4936 NEW BEST:: SOT 10542472 SOS 5996715 HAS SOPS 5996715 HAS SOUS 4981404 HAS SOUPS 4981404 WITH SCORE 4987400.715
AT ITER 4939 NEW BEST:: SOT 10542472 SOS 5996133 HAS SOPS 5996133 HAS SOUS 4981404 HAS SOUPS 4981404 WITH SCORE 4987400.133
AT ITER 4940 NEW BEST:: SOT 10542472 SOS 5995584 HAS SOPS 5995584 HAS SOUS 4981404 HAS SOUPS 4981404 WITH SCORE 4987399.584
AT ITER 4941 NEW BEST:: SOT 10542221 SOS 5995333 HAS SOPS 5995333 HAS SOUS 4981048 HAS SOUPS 4981048 WITH SCORE 4987043.333
AT ITER 4945 NEW BEST:: SOT 10542221 SOS 5995138 HAS SOPS 5995138 HAS SOUS 4981048 HAS SOUPS 4981048 WITH SCORE 4987043.138
AT ITER 4951 NEW BEST:: SOT 10543799 SOS 5995939 HAS SOPS 5995939 HAS SOUS 4980191 HAS SOUPS 4980191 WITH SCORE 4986186.939
AT ITER 4955 NEW BEST:: SOT 10543799 SOS 5995689 HAS SOPS 5995689 HAS SOUS 4980191 HAS SOUPS 4980191 WITH SCORE 4986186.689
AT ITER 4963 NEW BEST:: SOT 10543799 SOS 5994927 HAS SOPS 5994927 HAS SOUS 4980191 HAS SOUPS 4980191 WITH SCORE 4986185.927
AT ITER 4964 NEW BEST:: SOT 10543799 SOS 5994199 HAS SOPS 5994199 HAS SOUS 4980191 HAS SOUPS 4980191 WITH SCORE 4986185.199
AT ITER 4967 NEW BEST:: SOT 10538757 SOS 5994150 HAS SOPS 5994150 HAS SOUS 4977675 HAS SOUPS 4977675 WITH SCORE 4983669.15
AT ITER 4974 NEW BEST:: SOT 10535176 SOS 5992498 HAS SOPS 5992498 HAS SOUS 4976243 HAS SOUPS 4976243 WITH SCORE 4982235.498
AT ITER 4979 NEW BEST:: SOT 10534391 SOS 5992680 HAS SOPS 5992680 HAS SOUS 4975891 HAS SOUPS 4975891 WITH SCORE 4981883.68
AT ITER 4987 NEW BEST:: SOT 10534391 SOS 5992550 HAS SOPS 5992550 HAS SOUS 4975891 HAS SOUPS 4975891 WITH SCORE 4981883.55
AT ITER 4988 NEW BEST:: SOT 10534391 SOS 5992490 HAS SOPS 5992490 HAS SOUS 4975891 HAS SOUPS 4975891 WITH SCORE 4981883.49
AT ITER 4991 NEW BEST:: SOT 10530209 SOS 5989799 HAS SOPS 5989799 HAS SOUS 4974716 HAS SOUPS 4974716 WITH SCORE 4980705.799
AT ITER 4997 NEW BEST:: SOT 10530319 SOS 5989688 HAS SOPS 5989688 HAS SOUS 4974651 HAS SOUPS 4974651 WITH SCORE 4980640.688
AT ITER 4999 NEW BEST:: SOT 10530319 SOS 5989470 HAS SOPS 5989470 HAS SOUS 4974596 HAS SOUPS 4974596 WITH SCORE 4980585.47
Bounds file is: CTLFireability.xml
PROPERTY: Sudoku-PT-AN15-CTLFireability-00 (! (AG( (! (AX( ((potential((tk(P3977)>=1) & (tk(P212)>=1) & (tk(P3821)>=1))))))))))
PROPERTY: Sudoku-PT-AN15-CTLFireability-01 (AG( ( ( ( ((potential((tk(P3902)>=1) & (tk(P107)>=1) & (tk(P3711)>=1)))) | ((potential((tk(P3927)>=1) & (tk(P27)>=1) & (tk(P3622)>=1)))) ) | ( ( ((potential((tk(P4026)>=1) & (tk(P36)>=1) & (tk(P3644)>=1)))) & ((potential((tk(P3880)>=1) & (tk(P160)>=1) & (tk(P3754)>=1)))) ) | (! ((potential((tk(P4019)>=1) & (tk(P29)>=1) & (tk(P3628)>=1))))) ) ) | (AF( (! ((potential((tk(P4028)>=1) & (tk(P83)>=1) & (tk(P3689)>=1))))))) )))
PROPERTY: Sudoku-PT-AN15-CTLFireability-02 (EF( ( (AG( ( ((potential((tk(P3827)>=1) & (tk(P182)>=1) & (tk(P3781)>=1)))) & ((potential((tk(P3829)>=1) & (tk(P19)>=1) & (tk(P3616)>=1)))) ))) & (! ( ((potential((tk(P3928)>=1) & (tk(P13)>=1) & (tk(P3607)>=1)))) & ((potential((tk(P3972)>=1) & (tk(P177)>=1) & (tk(P3775)>=1)))) )) )))
PROPERTY: Sudoku-PT-AN15-CTLFireability-03 (AF( (! ( ((potential((tk(P3935)>=1) & (tk(P35)>=1) & (tk(P3638)>=1)))) | (! ((potential((tk(P3844)>=1) & (tk(P4)>=1) & (tk(P3602)>=1))))) ))))
PROPERTY: Sudoku-PT-AN15-CTLFireability-04 (EG( ((potential((tk(P3915)>=1) & (tk(P15)>=1) & (tk(P3606)>=1))))))
PROPERTY: Sudoku-PT-AN15-CTLFireability-05 ( (EX( ( ( ( ((potential((tk(P3850)>=1) & (tk(P175)>=1) & (tk(P3767)>=1)))) & ((potential((tk(P3835)>=1) & (tk(P100)>=1) & (tk(P3691)>=1)))) ) & ((potential((tk(P3853)>=1) & (tk(P163)>=1) & (tk(P3752)>=1)))) ) & (EG( ((potential((tk(P3924)>=1) & (tk(P39)>=1) & (tk(P3637)>=1)))))) ))) & ((potential((tk(P3827)>=1) & (tk(P62)>=1) & (tk(P3661)>=1)))) )
PROPERTY: Sudoku-PT-AN15-CTLFireability-06 (EG( (EX( (AF( ((potential((tk(P3922)>=1) & (tk(P37)>=1) & (tk(P3637)>=1))))))))))
PROPERTY: Sudoku-PT-AN15-CTLFireability-07 ( (EF( (EG( ( ((potential((tk(P3837)>=1) & (tk(P162)>=1) & (tk(P3751)>=1)))) & ((potential((tk(P4030)>=1) & (tk(P10)>=1) & (tk(P3614)>=1)))) ))))) | (AX( (! ( ( ((potential((tk(P3974)>=1) & (tk(P14)>=1) & (tk(P3610)>=1)))) | ((potential((tk(P4044)>=1) & (tk(P204)>=1) & (tk(P3810)>=1)))) ) | (! ((potential((tk(P4006)>=1) & (tk(P136)>=1) & (tk(P3748)>=1))))) )))) )
PROPERTY: Sudoku-PT-AN15-CTLFireability-08 (AG( ( (EG( ((potential((tk(P3998)>=1) & (tk(P143)>=1) & (tk(P3747)>=1)))))) | ((potential((tk(P3929)>=1) & (tk(P134)>=1) & (tk(P3727)>=1)))) )))
PROPERTY: Sudoku-PT-AN15-CTLFireability-09 ( ( ( (AF( ( ((potential((tk(P3858)>=1) & (tk(P183)>=1) & (tk(P3783)>=1)))) | ((potential((tk(P3964)>=1) & (tk(P4)>=1) & (tk(P3610)>=1)))) ))) & (! (EX( ((potential((tk(P4007)>=1) & (tk(P32)>=1) & (tk(P3643)>=1))))))) ) | (AU( ( ((potential((tk(P3900)>=1) & (tk(P75)>=1) & (tk(P3665)>=1)))) & ((potential((tk(P3833)>=1) & (tk(P68)>=1) & (tk(P3661)>=1)))) ) , (! ((potential((tk(P3884)>=1) & (tk(P194)>=1) & (tk(P3784)>=1))))) )) ) | (AF( (! ((potential((tk(P3988)>=1) & (tk(P118)>=1) & (tk(P3716)>=1))))))) )
PROPERTY: Sudoku-PT-AN15-CTLFireability-10 ( (! ( (EX( ((potential((tk(P3900)>=1) & (tk(P90)>=1) & (tk(P3680)>=1)))))) & (EU( ((potential((tk(P3849)>=1) & (tk(P9)>=1) & (tk(P3602)>=1)))) , ((potential((tk(P3910)>=1) & (tk(P40)>=1) & (tk(P3636)>=1)))) )) )) | (AF( (AG( (! ((potential((tk(P3854)>=1) & (tk(P209)>=1) & (tk(P3797)>=1))))))))) )
PROPERTY: Sudoku-PT-AN15-CTLFireability-11 (EG( (EU( ( ((potential((tk(P3926)>=1) & (tk(P101)>=1) & (tk(P3697)>=1)))) | ((potential((tk(P4015)>=1) & (tk(P115)>=1) & (tk(P3718)>=1)))) ) , ( ((potential((tk(P3850)>=1) & (tk(P160)>=1) & (tk(P3752)>=1)))) | ((potential((tk(P3959)>=1) & (tk(P224)>=1) & (tk(P3819)>=1)))) ) ))))
PROPERTY: Sudoku-PT-AN15-CTLFireability-12 (EF( (EG( ( ( ((potential((tk(P3979)>=1) & (tk(P154)>=1) & (tk(P3761)>=1)))) & ((potential((tk(P4001)>=1) & (tk(P221)>=1) & (tk(P3822)>=1)))) ) & (! ((potential((tk(P3978)>=1) & (tk(P168)>=1) & (tk(P3776)>=1))))) )))))
PROPERTY: Sudoku-PT-AN15-CTLFireability-13 (! ( ( (! (! ( ((potential((tk(P3979)>=1) & (tk(P139)>=1) & (tk(P3746)>=1)))) | ((potential((tk(P3996)>=1) & (tk(P36)>=1) & (tk(P3642)>=1)))) ))) & (EX( ( ((potential((tk(P4026)>=1) & (tk(P156)>=1) & (tk(P3764)>=1)))) & ((potential((tk(P3988)>=1) & (tk(P163)>=1) & (tk(P3761)>=1)))) ))) ) & (EX( (AX( ((potential((tk(P3858)>=1) & (tk(P153)>=1) & (tk(P3753)>=1)))))))) ))
PROPERTY: Sudoku-PT-AN15-CTLFireability-14 (EX( (AG( ((potential((tk(P3902)>=1) & (tk(P47)>=1) & (tk(P3651)>=1))))))))
PROPERTY: Sudoku-PT-AN15-CTLFireability-15 (! (AG( (EU( ((potential((tk(P3988)>=1) & (tk(P118)>=1) & (tk(P3716)>=1)))) , ((potential((tk(P3926)>=1) & (tk(P71)>=1) & (tk(P3667)>=1)))) )))))

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Sudoku-PT-AN15"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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