fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r078-smll-158922972600396
Last Updated
Jun 28, 2020

About the Execution of smart for FlexibleBarrier-PT-20b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15763.920 3600000.00 3599900.00 80.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972600396.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is FlexibleBarrier-PT-20b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972600396
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 3.9K Apr 4 19:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 4 19:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 4 08:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 4 08:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 3 21:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 21:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 3 13:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 3 13:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.5M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589450444140

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 20b
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: 5372 places, 6193 transitions, 15575 arcs.
AT ITER 0 NEW BEST:: SOT 21412272 SOS 11375282 HAS SOPS 11375282 HAS SOUS 7939199 HAS SOUPS 7939199 WITH SCORE 7950574.282
AT ITER 6 NEW BEST:: SOT 21412080 SOS 11374514 HAS SOPS 11374514 HAS SOUS 7938815 HAS SOUPS 7938815 WITH SCORE 7950189.514
AT ITER 7 NEW BEST:: SOT 21409776 SOS 11372210 HAS SOPS 11372210 HAS SOUS 7936510 HAS SOUPS 7936510 WITH SCORE 7947882.21
AT ITER 8 NEW BEST:: SOT 21408187 SOS 11369032 HAS SOPS 11369032 HAS SOUS 7934920 HAS SOUPS 7934920 WITH SCORE 7946289.032
AT ITER 10 NEW BEST:: SOT 21407353 SOS 11365696 HAS SOPS 11365696 HAS SOUS 7934084 HAS SOUPS 7934084 WITH SCORE 7945449.696
AT ITER 21 NEW BEST:: SOT 21406793 SOS 11361594 HAS SOPS 11361594 HAS SOUS 7931762 HAS SOUPS 7931762 WITH SCORE 7943123.594
AT ITER 25 NEW BEST:: SOT 21407351 SOS 11360272 HAS SOPS 11360272 HAS SOUS 7931606 HAS SOUPS 7931606 WITH SCORE 7942966.272
AT ITER 30 NEW BEST:: SOT 21405922 SOS 11357414 HAS SOPS 11357414 HAS SOUS 7928748 HAS SOUPS 7928748 WITH SCORE 7940105.414
AT ITER 32 NEW BEST:: SOT 21405571 SOS 11354484 HAS SOPS 11354484 HAS SOUS 7928713 HAS SOUPS 7928713 WITH SCORE 7940067.484
AT ITER 33 NEW BEST:: SOT 21382464 SOS 11331378 HAS SOPS 11331378 HAS SOUS 7905606 HAS SOUPS 7905606 WITH SCORE 7916937.378
AT ITER 47 NEW BEST:: SOT 21382397 SOS 11331244 HAS SOPS 11331244 HAS SOUS 7905472 HAS SOUPS 7905472 WITH SCORE 7916803.244
AT ITER 48 NEW BEST:: SOT 21379913 SOS 11326276 HAS SOPS 11326276 HAS SOUS 7903414 HAS SOUPS 7903414 WITH SCORE 7914740.276
AT ITER 50 NEW BEST:: SOT 21382621 SOS 11213944 HAS SOPS 11213944 HAS SOUS 7902077 HAS SOUPS 7902077 WITH SCORE 7913290.944
AT ITER 58 NEW BEST:: SOT 21382621 SOS 11213944 HAS SOPS 11213944 HAS SOUS 7902075 HAS SOUPS 7902075 WITH SCORE 7913288.944
AT ITER 66 NEW BEST:: SOT 21382621 SOS 11213392 HAS SOPS 11213392 HAS SOUS 7902075 HAS SOUPS 7902075 WITH SCORE 7913288.392
AT ITER 70 NEW BEST:: SOT 21382368 SOS 11212380 HAS SOPS 11212380 HAS SOUS 7901569 HAS SOUPS 7901569 WITH SCORE 7912781.38
AT ITER 71 NEW BEST:: SOT 21382368 SOS 11212380 HAS SOPS 11212380 HAS SOUS 7901566 HAS SOUPS 7901566 WITH SCORE 7912778.38
AT ITER 74 NEW BEST:: SOT 21382368 SOS 11212380 HAS SOPS 11212380 HAS SOUS 7901565 HAS SOUPS 7901565 WITH SCORE 7912777.38
AT ITER 77 NEW BEST:: SOT 21382763 SOS 11208978 HAS SOPS 11208978 HAS SOUS 7899753 HAS SOUPS 7899753 WITH SCORE 7910961.978
AT ITER 78 NEW BEST:: SOT 21382957 SOS 11207142 HAS SOPS 11207142 HAS SOUS 7898894 HAS SOUPS 7898894 WITH SCORE 7910101.142
AT ITER 81 NEW BEST:: SOT 21382957 SOS 11206390 HAS SOPS 11206390 HAS SOUS 7898812 HAS SOUPS 7898812 WITH SCORE 7910018.39
AT ITER 85 NEW BEST:: SOT 21383304 SOS 11204654 HAS SOPS 11204654 HAS SOUS 7898132 HAS SOUPS 7898132 WITH SCORE 7909336.654
AT ITER 88 NEW BEST:: SOT 21383146 SOS 11204654 HAS SOPS 11204654 HAS SOUS 7898075 HAS SOUPS 7898075 WITH SCORE 7909279.654
AT ITER 93 NEW BEST:: SOT 21382269 SOS 11204363 HAS SOPS 11204363 HAS SOUS 7897765 HAS SOUPS 7897765 WITH SCORE 7908969.363
AT ITER 108 NEW BEST:: SOT 21382269 SOS 11204363 HAS SOPS 11204363 HAS SOUS 7896305 HAS SOUPS 7896305 WITH SCORE 7907509.363
AT ITER 111 NEW BEST:: SOT 21380297 SOS 11204350 HAS SOPS 11204350 HAS SOUS 7896262 HAS SOUPS 7896262 WITH SCORE 7907466.35
AT ITER 112 NEW BEST:: SOT 21380297 SOS 11202820 HAS SOPS 11202820 HAS SOUS 7894797 HAS SOUPS 7894797 WITH SCORE 7905999.82
AT ITER 115 NEW BEST:: SOT 21380397 SOS 11177572 HAS SOPS 11177572 HAS SOUS 7894430 HAS SOUPS 7894430 WITH SCORE 7905607.572
AT ITER 117 NEW BEST:: SOT 21379657 SOS 11174612 HAS SOPS 11174612 HAS SOUS 7893688 HAS SOUPS 7893688 WITH SCORE 7904862.612
AT ITER 122 NEW BEST:: SOT 21378236 SOS 11173198 HAS SOPS 11173198 HAS SOUS 7892684 HAS SOUPS 7892684 WITH SCORE 7903857.198
AT ITER 123 NEW BEST:: SOT 21375810 SOS 11171632 HAS SOPS 11171632 HAS SOUS 7891091 HAS SOUPS 7891091 WITH SCORE 7902262.632
AT ITER 125 NEW BEST:: SOT 21374625 SOS 11170545 HAS SOPS 11170545 HAS SOUS 7889984 HAS SOUPS 7889984 WITH SCORE 7901154.545
AT ITER 133 NEW BEST:: SOT 21374625 SOS 11153895 HAS SOPS 11153895 HAS SOUS 7889984 HAS SOUPS 7889984 WITH SCORE 7901137.895
AT ITER 134 NEW BEST:: SOT 21374625 SOS 11153895 HAS SOPS 11153895 HAS SOUS 7889983 HAS SOUPS 7889983 WITH SCORE 7901136.895
AT ITER 136 NEW BEST:: SOT 21374380 SOS 11153405 HAS SOPS 11153405 HAS SOUS 7889493 HAS SOUPS 7889493 WITH SCORE 7900646.405
AT ITER 137 NEW BEST:: SOT 21375078 SOS 11153594 HAS SOPS 11153594 HAS SOUS 7889205 HAS SOUPS 7889205 WITH SCORE 7900358.594
AT ITER 142 NEW BEST:: SOT 21372712 SOS 11151725 HAS SOPS 11151725 HAS SOUS 7887307 HAS SOUPS 7887307 WITH SCORE 7898458.725
AT ITER 157 NEW BEST:: SOT 21372712 SOS 11151725 HAS SOPS 11151725 HAS SOUS 7887021 HAS SOUPS 7887021 WITH SCORE 7898172.725
AT ITER 161 NEW BEST:: SOT 21372712 SOS 11151725 HAS SOPS 11151725 HAS SOUS 7886966 HAS SOUPS 7886966 WITH SCORE 7898117.725
AT ITER 168 NEW BEST:: SOT 21373117 SOS 11147299 HAS SOPS 11147299 HAS SOUS 7884448 HAS SOUPS 7884448 WITH SCORE 7895595.299
AT ITER 173 NEW BEST:: SOT 21371563 SOS 11145745 HAS SOPS 11145745 HAS SOUS 7882217 HAS SOUPS 7882217 WITH SCORE 7893362.745
AT ITER 175 NEW BEST:: SOT 21371031 SOS 11142249 HAS SOPS 11142249 HAS SOUS 7881070 HAS SOUPS 7881070 WITH SCORE 7892212.249
AT ITER 177 NEW BEST:: SOT 21371031 SOS 11142249 HAS SOPS 11142249 HAS SOUS 7881067 HAS SOUPS 7881067 WITH SCORE 7892209.249
AT ITER 180 NEW BEST:: SOT 21371031 SOS 11142249 HAS SOPS 11142249 HAS SOUS 7880699 HAS SOUPS 7880699 WITH SCORE 7891841.249
AT ITER 182 NEW BEST:: SOT 21370051 SOS 11141269 HAS SOPS 11141269 HAS SOUS 7880695 HAS SOUPS 7880695 WITH SCORE 7891836.269
AT ITER 188 NEW BEST:: SOT 21370051 SOS 11141269 HAS SOPS 11141269 HAS SOUS 7880693 HAS SOUPS 7880693 WITH SCORE 7891834.269
AT ITER 192 NEW BEST:: SOT 21372464 SOS 11139571 HAS SOPS 11139571 HAS SOUS 7880517 HAS SOUPS 7880517 WITH SCORE 7891656.571
AT ITER 193 NEW BEST:: SOT 21370958 SOS 11138246 HAS SOPS 11138246 HAS SOUS 7879178 HAS SOUPS 7879178 WITH SCORE 7890316.246
AT ITER 210 NEW BEST:: SOT 21370270 SOS 11137558 HAS SOPS 11137558 HAS SOUS 7878490 HAS SOUPS 7878490 WITH SCORE 7889627.558
AT ITER 227 NEW BEST:: SOT 21370270 SOS 11137398 HAS SOPS 11137398 HAS SOUS 7876932 HAS SOUPS 7876932 WITH SCORE 7888069.398
AT ITER 228 NEW BEST:: SOT 21368874 SOS 11134606 HAS SOPS 11134606 HAS SOUS 7875670 HAS SOUPS 7875670 WITH SCORE 7886804.606
AT ITER 239 NEW BEST:: SOT 21368874 SOS 11134606 HAS SOPS 11134606 HAS SOUS 7875669 HAS SOUPS 7875669 WITH SCORE 7886803.606
AT ITER 260 NEW BEST:: SOT 21369030 SOS 11131978 HAS SOPS 11131978 HAS SOUS 7874276 HAS SOUPS 7874276 WITH SCORE 7885407.978
AT ITER 263 NEW BEST:: SOT 21369030 SOS 11131978 HAS SOPS 11131978 HAS SOUS 7874275 HAS SOUPS 7874275 WITH SCORE 7885406.978
AT ITER 265 NEW BEST:: SOT 21367928 SOS 11130286 HAS SOPS 11130286 HAS SOUS 7872583 HAS SOUPS 7872583 WITH SCORE 7883713.286
AT ITER 270 NEW BEST:: SOT 21367610 SOS 11129650 HAS SOPS 11129650 HAS SOUS 7872265 HAS SOUPS 7872265 WITH SCORE 7883394.65
AT ITER 276 NEW BEST:: SOT 21365989 SOS 11126408 HAS SOPS 11126408 HAS SOUS 7869498 HAS SOUPS 7869498 WITH SCORE 7880624.408
AT ITER 284 NEW BEST:: SOT 21365124 SOS 11124678 HAS SOPS 11124678 HAS SOUS 7867768 HAS SOUPS 7867768 WITH SCORE 7878892.678
AT ITER 285 NEW BEST:: SOT 21364860 SOS 11124150 HAS SOPS 11124150 HAS SOUS 7867504 HAS SOUPS 7867504 WITH SCORE 7878628.15
AT ITER 294 NEW BEST:: SOT 21349767 SOS 11247218 HAS SOPS 11247218 HAS SOUS 7860080 HAS SOUPS 7860080 WITH SCORE 7871327.218
AT ITER 302 NEW BEST:: SOT 21349401 SOS 11245754 HAS SOPS 11245754 HAS SOUS 7859713 HAS SOUPS 7859713 WITH SCORE 7870958.754
AT ITER 306 NEW BEST:: SOT 21349401 SOS 11245754 HAS SOPS 11245754 HAS SOUS 7859709 HAS SOUPS 7859709 WITH SCORE 7870954.754
AT ITER 312 NEW BEST:: SOT 21346567 SOS 11240086 HAS SOPS 11240086 HAS SOUS 7855044 HAS SOUPS 7855044 WITH SCORE 7866284.086
AT ITER 313 NEW BEST:: SOT 21298646 SOS 11194359 HAS SOPS 11194359 HAS SOUS 7808408 HAS SOUPS 7808408 WITH SCORE 7819602.359
AT ITER 315 NEW BEST:: SOT 21297849 SOS 11192765 HAS SOPS 11192765 HAS SOUS 7807611 HAS SOUPS 7807611 WITH SCORE 7818803.765
AT ITER 317 NEW BEST:: SOT 21298022 SOS 11191429 HAS SOPS 11191429 HAS SOUS 7803745 HAS SOUPS 7803745 WITH SCORE 7814936.429
AT ITER 320 NEW BEST:: SOT 21298025 SOS 11167163 HAS SOPS 11167163 HAS SOUS 7803748 HAS SOUPS 7803748 WITH SCORE 7814915.163
AT ITER 322 NEW BEST:: SOT 21297813 SOS 11166315 HAS SOPS 11166315 HAS SOUS 7803324 HAS SOUPS 7803324 WITH SCORE 7814490.315
AT ITER 324 NEW BEST:: SOT 21297813 SOS 11164027 HAS SOPS 11164027 HAS SOUS 7801740 HAS SOUPS 7801740 WITH SCORE 7812904.027
AT ITER 339 NEW BEST:: SOT 21297813 SOS 11164027 HAS SOPS 11164027 HAS SOUS 7801707 HAS SOUPS 7801707 WITH SCORE 7812871.027
AT ITER 343 NEW BEST:: SOT 21297358 SOS 11163117 HAS SOPS 11163117 HAS SOUS 7800797 HAS SOUPS 7800797 WITH SCORE 7811960.117
AT ITER 344 NEW BEST:: SOT 21297358 SOS 11163117 HAS SOPS 11163117 HAS SOUS 7800786 HAS SOUPS 7800786 WITH SCORE 7811949.117
AT ITER 346 NEW BEST:: SOT 21297358 SOS 11163117 HAS SOPS 11163117 HAS SOUS 7800418 HAS SOUPS 7800418 WITH SCORE 7811581.117
AT ITER 352 NEW BEST:: SOT 21298107 SOS 11159519 HAS SOPS 11159519 HAS SOUS 7798868 HAS SOUPS 7798868 WITH SCORE 7810027.519
AT ITER 354 NEW BEST:: SOT 21297083 SOS 11156188 HAS SOPS 11156188 HAS SOUS 7797844 HAS SOUPS 7797844 WITH SCORE 7809000.188
AT ITER 361 NEW BEST:: SOT 21296584 SOS 11154190 HAS SOPS 11154190 HAS SOUS 7797595 HAS SOUPS 7797595 WITH SCORE 7808749.19
AT ITER 366 NEW BEST:: SOT 21296314 SOS 11153650 HAS SOPS 11153650 HAS SOUS 7797325 HAS SOUPS 7797325 WITH SCORE 7808478.65
AT ITER 371 NEW BEST:: SOT 21295053 SOS 11151128 HAS SOPS 11151128 HAS SOUS 7795327 HAS SOUPS 7795327 WITH SCORE 7806478.128
AT ITER 374 NEW BEST:: SOT 21295053 SOS 11151128 HAS SOPS 11151128 HAS SOUS 7795279 HAS SOUPS 7795279 WITH SCORE 7806430.128
AT ITER 380 NEW BEST:: SOT 21294047 SOS 11147104 HAS SOPS 11147104 HAS SOUS 7793369 HAS SOUPS 7793369 WITH SCORE 7804516.104
AT ITER 384 NEW BEST:: SOT 21293950 SOS 11146716 HAS SOPS 11146716 HAS SOUS 7793271 HAS SOUPS 7793271 WITH SCORE 7804417.716
AT ITER 387 NEW BEST:: SOT 21293632 SOS 11146080 HAS SOPS 11146080 HAS SOUS 7792635 HAS SOUPS 7792635 WITH SCORE 7803781.08
AT ITER 398 NEW BEST:: SOT 21293183 SOS 11145182 HAS SOPS 11145182 HAS SOUS 7792186 HAS SOUPS 7792186 WITH SCORE 7803331.182
AT ITER 406 NEW BEST:: SOT 21257451 SOS 11192007 HAS SOPS 11192007 HAS SOUS 7759891 HAS SOUPS 7759891 WITH SCORE 7771083.007
AT ITER 407 NEW BEST:: SOT 21257257 SOS 11191619 HAS SOPS 11191619 HAS SOUS 7759518 HAS SOUPS 7759518 WITH SCORE 7770709.619
AT ITER 409 NEW BEST:: SOT 21256955 SOS 11188506 HAS SOPS 11188506 HAS SOUS 7757285 HAS SOUPS 7757285 WITH SCORE 7768473.506
AT ITER 411 NEW BEST:: SOT 21257180 SOS 11187262 HAS SOPS 11187262 HAS SOUS 7756041 HAS SOUPS 7756041 WITH SCORE 7767228.262
AT ITER 413 NEW BEST:: SOT 21256137 SOS 11186219 HAS SOPS 11186219 HAS SOUS 7756033 HAS SOUPS 7756033 WITH SCORE 7767219.219
AT ITER 423 NEW BEST:: SOT 21256137 SOS 11185781 HAS SOPS 11185781 HAS SOUS 7756026 HAS SOUPS 7756026 WITH SCORE 7767211.781
AT ITER 426 NEW BEST:: SOT 21256137 SOS 11185781 HAS SOPS 11185781 HAS SOUS 7755718 HAS SOUPS 7755718 WITH SCORE 7766903.781
AT ITER 428 NEW BEST:: SOT 21253559 SOS 11183203 HAS SOPS 11183203 HAS SOUS 7755717 HAS SOUPS 7755717 WITH SCORE 7766900.203
AT ITER 430 NEW BEST:: SOT 21253559 SOS 11183203 HAS SOPS 11183203 HAS SOUS 7755543 HAS SOUPS 7755543 WITH SCORE 7766726.203
AT ITER 448 NEW BEST:: SOT 21253199 SOS 11183203 HAS SOPS 11183203 HAS SOUS 7755183 HAS SOUPS 7755183 WITH SCORE 7766366.203
AT ITER 450 NEW BEST:: SOT 21253199 SOS 11158053 HAS SOPS 11158053 HAS SOUS 7754978 HAS SOUPS 7754978 WITH SCORE 7766136.053
AT ITER 457 NEW BEST:: SOT 21253848 SOS 11156868 HAS SOPS 11156868 HAS SOUS 7754434 HAS SOUPS 7754434 WITH SCORE 7765590.868
AT ITER 462 NEW BEST:: SOT 21253228 SOS 11155625 HAS SOPS 11155625 HAS SOUS 7753855 HAS SOUPS 7753855 WITH SCORE 7765010.625
AT ITER 466 NEW BEST:: SOT 21252721 SOS 11152847 HAS SOPS 11152847 HAS SOUS 7753503 HAS SOUPS 7753503 WITH SCORE 7764655.847
AT ITER 467 NEW BEST:: SOT 21251649 SOS 11150703 HAS SOPS 11150703 HAS SOUS 7751359 HAS SOUPS 7751359 WITH SCORE 7762509.703
AT ITER 469 NEW BEST:: SOT 21251649 SOS 11147484 HAS SOPS 11147484 HAS SOUS 7751359 HAS SOUPS 7751359 WITH SCORE 7762506.484
AT ITER 473 NEW BEST:: SOT 21250225 SOS 11144636 HAS SOPS 11144636 HAS SOUS 7748511 HAS SOUPS 7748511 WITH SCORE 7759655.636
AT ITER 478 NEW BEST:: SOT 21249710 SOS 11144121 HAS SOPS 11144121 HAS SOUS 7747996 HAS SOUPS 7747996 WITH SCORE 7759140.121
AT ITER 480 NEW BEST:: SOT 21248682 SOS 11143093 HAS SOPS 11143093 HAS SOUS 7746966 HAS SOUPS 7746966 WITH SCORE 7758109.093
AT ITER 481 NEW BEST:: SOT 21248682 SOS 11143093 HAS SOPS 11143093 HAS SOUS 7746957 HAS SOUPS 7746957 WITH SCORE 7758100.093
AT ITER 482 NEW BEST:: SOT 21247765 SOS 11142192 HAS SOPS 11142192 HAS SOUS 7746488 HAS SOUPS 7746488 WITH SCORE 7757630.192
AT ITER 483 NEW BEST:: SOT 21249363 SOS 11142173 HAS SOPS 11142173 HAS SOUS 7744000 HAS SOUPS 7744000 WITH SCORE 7755142.173
AT ITER 486 NEW BEST:: SOT 21248953 SOS 11141763 HAS SOPS 11141763 HAS SOUS 7743079 HAS SOUPS 7743079 WITH SCORE 7754220.763
AT ITER 491 NEW BEST:: SOT 21248121 SOS 11138541 HAS SOPS 11138541 HAS SOUS 7742176 HAS SOUPS 7742176 WITH SCORE 7753314.541
AT ITER 498 NEW BEST:: SOT 21245479 SOS 11136252 HAS SOPS 11136252 HAS SOUS 7739859 HAS SOUPS 7739859 WITH SCORE 7750995.252
AT ITER 500 NEW BEST:: SOT 21245479 SOS 11136252 HAS SOPS 11136252 HAS SOUS 7739858 HAS SOUPS 7739858 WITH SCORE 7750994.252
AT ITER 505 NEW BEST:: SOT 21245023 SOS 11131882 HAS SOPS 11131882 HAS SOUS 7737505 HAS SOUPS 7737505 WITH SCORE 7748636.882
AT ITER 506 NEW BEST:: SOT 21245023 SOS 11131882 HAS SOPS 11131882 HAS SOUS 7737466 HAS SOUPS 7737466 WITH SCORE 7748597.882
AT ITER 508 NEW BEST:: SOT 21245023 SOS 11129189 HAS SOPS 11129189 HAS SOUS 7735357 HAS SOUPS 7735357 WITH SCORE 7746486.189
AT ITER 510 NEW BEST:: SOT 21244597 SOS 11128337 HAS SOPS 11128337 HAS SOUS 7734505 HAS SOUPS 7734505 WITH SCORE 7745633.337
AT ITER 517 NEW BEST:: SOT 21240251 SOS 11124332 HAS SOPS 11124332 HAS SOUS 7730154 HAS SOUPS 7730154 WITH SCORE 7741278.332
AT ITER 518 NEW BEST:: SOT 21238711 SOS 11121252 HAS SOPS 11121252 HAS SOUS 7727848 HAS SOUPS 7727848 WITH SCORE 7738969.252
AT ITER 527 NEW BEST:: SOT 21238627 SOS 11121083 HAS SOPS 11121083 HAS SOUS 7727762 HAS SOUPS 7727762 WITH SCORE 7738883.083
AT ITER 528 NEW BEST:: SOT 21240244 SOS 11118031 HAS SOPS 11118031 HAS SOUS 7725472 HAS SOUPS 7725472 WITH SCORE 7736590.031
AT ITER 532 NEW BEST:: SOT 21240244 SOS 11117518 HAS SOPS 11117518 HAS SOUS 7724601 HAS SOUPS 7724601 WITH SCORE 7735718.518
AT ITER 536 NEW BEST:: SOT 21238972 SOS 11116308 HAS SOPS 11116308 HAS SOUS 7723329 HAS SOUPS 7723329 WITH SCORE 7734445.308
AT ITER 542 NEW BEST:: SOT 21238972 SOS 11115506 HAS SOPS 11115506 HAS SOUS 7723329 HAS SOUPS 7723329 WITH SCORE 7734444.506
AT ITER 545 NEW BEST:: SOT 21238972 SOS 11115010 HAS SOPS 11115010 HAS SOUS 7723316 HAS SOUPS 7723316 WITH SCORE 7734431.01
AT ITER 548 NEW BEST:: SOT 21238972 SOS 11115010 HAS SOPS 11115010 HAS SOUS 7722298 HAS SOUPS 7722298 WITH SCORE 7733413.01
AT ITER 549 NEW BEST:: SOT 21238595 SOS 11113502 HAS SOPS 11113502 HAS SOUS 7721921 HAS SOUPS 7721921 WITH SCORE 7733034.502
AT ITER 556 NEW BEST:: SOT 21237419 SOS 11111150 HAS SOPS 11111150 HAS SOUS 7720745 HAS SOUPS 7720745 WITH SCORE 7731856.15
AT ITER 559 NEW BEST:: SOT 21237419 SOS 11110722 HAS SOPS 11110722 HAS SOUS 7720110 HAS SOUPS 7720110 WITH SCORE 7731220.722
AT ITER 560 NEW BEST:: SOT 21236700 SOS 11111197 HAS SOPS 11111197 HAS SOUS 7719447 HAS SOUPS 7719447 WITH SCORE 7730558.197
AT ITER 562 NEW BEST:: SOT 21236700 SOS 11111197 HAS SOPS 11111197 HAS SOUS 7718823 HAS SOUPS 7718823 WITH SCORE 7729934.197
AT ITER 566 NEW BEST:: SOT 21235968 SOS 11107567 HAS SOPS 11107567 HAS SOUS 7718155 HAS SOUPS 7718155 WITH SCORE 7729262.567
AT ITER 570 NEW BEST:: SOT 21235572 SOS 11107567 HAS SOPS 11107567 HAS SOUS 7718150 HAS SOUPS 7718150 WITH SCORE 7729257.567
AT ITER 572 NEW BEST:: SOT 21234943 SOS 11105680 HAS SOPS 11105680 HAS SOUS 7717757 HAS SOUPS 7717757 WITH SCORE 7728862.68
AT ITER 574 NEW BEST:: SOT 21234573 SOS 11105701 HAS SOPS 11105701 HAS SOUS 7717387 HAS SOUPS 7717387 WITH SCORE 7728492.701
AT ITER 575 NEW BEST:: SOT 21234177 SOS 11105606 HAS SOPS 11105606 HAS SOUS 7716991 HAS SOUPS 7716991 WITH SCORE 7728096.606
AT ITER 577 NEW BEST:: SOT 21234177 SOS 11065705 HAS SOPS 11065705 HAS SOUS 7715749 HAS SOUPS 7715749 WITH SCORE 7726814.705
AT ITER 578 NEW BEST:: SOT 21234177 SOS 11065705 HAS SOPS 11065705 HAS SOUS 7715357 HAS SOUPS 7715357 WITH SCORE 7726422.705
AT ITER 584 NEW BEST:: SOT 21232142 SOS 11061635 HAS SOPS 11061635 HAS SOUS 7713533 HAS SOUPS 7713533 WITH SCORE 7724594.635
AT ITER 586 NEW BEST:: SOT 21232142 SOS 11061635 HAS SOPS 11061635 HAS SOUS 7713530 HAS SOUPS 7713530 WITH SCORE 7724591.635
AT ITER 607 NEW BEST:: SOT 21232269 SOS 11060001 HAS SOPS 11060001 HAS SOUS 7712774 HAS SOUPS 7712774 WITH SCORE 7723834.001
AT ITER 614 NEW BEST:: SOT 21230410 SOS 11058661 HAS SOPS 11058661 HAS SOUS 7711081 HAS SOUPS 7711081 WITH SCORE 7722139.661
AT ITER 618 NEW BEST:: SOT 21228072 SOS 11056323 HAS SOPS 11056323 HAS SOUS 7711077 HAS SOUPS 7711077 WITH SCORE 7722133.323
AT ITER 620 NEW BEST:: SOT 21228658 SOS 11054585 HAS SOPS 11054585 HAS SOUS 7709635 HAS SOUPS 7709635 WITH SCORE 7720689.585
AT ITER 621 NEW BEST:: SOT 21229631 SOS 11053536 HAS SOPS 11053536 HAS SOUS 7708901 HAS SOUPS 7708901 WITH SCORE 7719954.536
AT ITER 632 NEW BEST:: SOT 21229631 SOS 11052931 HAS SOPS 11052931 HAS SOUS 7707775 HAS SOUPS 7707775 WITH SCORE 7718827.931
AT ITER 636 NEW BEST:: SOT 21229631 SOS 11052931 HAS SOPS 11052931 HAS SOUS 7707723 HAS SOUPS 7707723 WITH SCORE 7718775.931
AT ITER 640 NEW BEST:: SOT 21229631 SOS 11050507 HAS SOPS 11050507 HAS SOUS 7703438 HAS SOUPS 7703438 WITH SCORE 7714488.507
AT ITER 644 NEW BEST:: SOT 21229631 SOS 11050045 HAS SOPS 11050045 HAS SOUS 7702759 HAS SOUPS 7702759 WITH SCORE 7713809.045
AT ITER 659 NEW BEST:: SOT 21229631 SOS 11049333 HAS SOPS 11049333 HAS SOUS 7701554 HAS SOUPS 7701554 WITH SCORE 7712603.333
AT ITER 662 NEW BEST:: SOT 21229631 SOS 11049333 HAS SOPS 11049333 HAS SOUS 7701553 HAS SOUPS 7701553 WITH SCORE 7712602.333
AT ITER 664 NEW BEST:: SOT 21229631 SOS 11048718 HAS SOPS 11048718 HAS SOUS 7701545 HAS SOUPS 7701545 WITH SCORE 7712593.718
AT ITER 679 NEW BEST:: SOT 21229631 SOS 11048718 HAS SOPS 11048718 HAS SOUS 7701514 HAS SOUPS 7701514 WITH SCORE 7712562.718
AT ITER 680 NEW BEST:: SOT 21228742 SOS 11048718 HAS SOPS 11048718 HAS SOUS 7701485 HAS SOUPS 7701485 WITH SCORE 7712533.718
AT ITER 686 NEW BEST:: SOT 21226679 SOS 11046834 HAS SOPS 11046834 HAS SOUS 7699417 HAS SOUPS 7699417 WITH SCORE 7710463.834
AT ITER 687 NEW BEST:: SOT 21225887 SOS 11045646 HAS SOPS 11045646 HAS SOUS 7698624 HAS SOUPS 7698624 WITH SCORE 7709669.646
AT ITER 689 NEW BEST:: SOT 21225860 SOS 11044701 HAS SOPS 11044701 HAS SOUS 7698570 HAS SOUPS 7698570 WITH SCORE 7709614.701
AT ITER 690 NEW BEST:: SOT 21225423 SOS 11039939 HAS SOPS 11039939 HAS SOUS 7696942 HAS SOUPS 7696942 WITH SCORE 7707981.939
AT ITER 691 NEW BEST:: SOT 21225025 SOS 11036921 HAS SOPS 11036921 HAS SOUS 7696332 HAS SOUPS 7696332 WITH SCORE 7707368.921
AT ITER 693 NEW BEST:: SOT 21225025 SOS 11036448 HAS SOPS 11036448 HAS SOUS 7695851 HAS SOUPS 7695851 WITH SCORE 7706887.448
AT ITER 694 NEW BEST:: SOT 21224635 SOS 11035278 HAS SOPS 11035278 HAS SOUS 7695071 HAS SOUPS 7695071 WITH SCORE 7706106.278
AT ITER 703 NEW BEST:: SOT 21224401 SOS 11031474 HAS SOPS 11031474 HAS SOUS 7694556 HAS SOUPS 7694556 WITH SCORE 7705587.474
AT ITER 705 NEW BEST:: SOT 21224113 SOS 11028272 HAS SOPS 11028272 HAS SOUS 7693902 HAS SOUPS 7693902 WITH SCORE 7704930.272
AT ITER 710 NEW BEST:: SOT 21224113 SOS 11028272 HAS SOPS 11028272 HAS SOUS 7693825 HAS SOUPS 7693825 WITH SCORE 7704853.272
AT ITER 717 NEW BEST:: SOT 21223898 SOS 11027301 HAS SOPS 11027301 HAS SOUS 7693610 HAS SOUPS 7693610 WITH SCORE 7704637.301
AT ITER 733 NEW BEST:: SOT 21223898 SOS 10987540 HAS SOPS 10987540 HAS SOUS 7692310 HAS SOUPS 7692310 WITH SCORE 7703297.54
AT ITER 736 NEW BEST:: SOT 21223422 SOS 10986588 HAS SOPS 10986588 HAS SOUS 7691834 HAS SOUPS 7691834 WITH SCORE 7702820.588
AT ITER 745 NEW BEST:: SOT 21220880 SOS 10981504 HAS SOPS 10981504 HAS SOUS 7687444 HAS SOUPS 7687444 WITH SCORE 7698425.504
AT ITER 747 NEW BEST:: SOT 21221010 SOS 10982496 HAS SOPS 10982496 HAS SOUS 7686972 HAS SOUPS 7686972 WITH SCORE 7697954.496
AT ITER 758 NEW BEST:: SOT 21220727 SOS 10971459 HAS SOPS 10971459 HAS SOUS 7686689 HAS SOUPS 7686689 WITH SCORE 7697660.459
AT ITER 760 NEW BEST:: SOT 21218927 SOS 10967859 HAS SOPS 10967859 HAS SOUS 7683660 HAS SOUPS 7683660 WITH SCORE 7694627.859
AT ITER 767 NEW BEST:: SOT 21216823 SOS 10968846 HAS SOPS 10968846 HAS SOUS 7683091 HAS SOUPS 7683091 WITH SCORE 7694059.846
AT ITER 768 NEW BEST:: SOT 21216823 SOS 10968846 HAS SOPS 10968846 HAS SOUS 7682403 HAS SOUPS 7682403 WITH SCORE 7693371.846
AT ITER 769 NEW BEST:: SOT 21216058 SOS 10968737 HAS SOPS 10968737 HAS SOUS 7681775 HAS SOUPS 7681775 WITH SCORE 7692743.737
AT ITER 770 NEW BEST:: SOT 21214742 SOS 10967913 HAS SOPS 10967913 HAS SOUS 7680459 HAS SOUPS 7680459 WITH SCORE 7691426.913
AT ITER 774 NEW BEST:: SOT 21215835 SOS 10967275 HAS SOPS 10967275 HAS SOUS 7679022 HAS SOUPS 7679022 WITH SCORE 7689989.275
AT ITER 775 NEW BEST:: SOT 21214864 SOS 10965333 HAS SOPS 10965333 HAS SOUS 7678051 HAS SOUPS 7678051 WITH SCORE 7689016.333
AT ITER 781 NEW BEST:: SOT 21214864 SOS 10964893 HAS SOPS 10964893 HAS SOUS 7678045 HAS SOUPS 7678045 WITH SCORE 7689009.893
AT ITER 784 NEW BEST:: SOT 21214864 SOS 10964450 HAS SOPS 10964450 HAS SOUS 7677239 HAS SOUPS 7677239 WITH SCORE 7688203.45
AT ITER 788 NEW BEST:: SOT 21213210 SOS 10963134 HAS SOPS 10963134 HAS SOUS 7675742 HAS SOUPS 7675742 WITH SCORE 7686705.134
AT ITER 789 NEW BEST:: SOT 21213210 SOS 10962905 HAS SOPS 10962905 HAS SOUS 7675491 HAS SOUPS 7675491 WITH SCORE 7686453.905
AT ITER 791 NEW BEST:: SOT 21212744 SOS 10962439 HAS SOPS 10962439 HAS SOUS 7675020 HAS SOUPS 7675020 WITH SCORE 7685982.439
AT ITER 798 NEW BEST:: SOT 21212285 SOS 10961521 HAS SOPS 10961521 HAS SOUS 7674561 HAS SOUPS 7674561 WITH SCORE 7685522.521
AT ITER 801 NEW BEST:: SOT 21214264 SOS 10963054 HAS SOPS 10963054 HAS SOUS 7674134 HAS SOUPS 7674134 WITH SCORE 7685097.054
AT ITER 802 NEW BEST:: SOT 21212416 SOS 10961231 HAS SOPS 10961231 HAS SOUS 7672479 HAS SOUPS 7672479 WITH SCORE 7683440.231
AT ITER 812 NEW BEST:: SOT 21213270 SOS 10960897 HAS SOPS 10960897 HAS SOUS 7671154 HAS SOUPS 7671154 WITH SCORE 7682114.897
AT ITER 817 NEW BEST:: SOT 21213513 SOS 10958151 HAS SOPS 10958151 HAS SOUS 7669950 HAS SOUPS 7669950 WITH SCORE 7680908.151
AT ITER 825 NEW BEST:: SOT 21213513 SOS 10958151 HAS SOPS 10958151 HAS SOUS 7669373 HAS SOUPS 7669373 WITH SCORE 7680331.151
AT ITER 827 NEW BEST:: SOT 21211513 SOS 10954151 HAS SOPS 10954151 HAS SOUS 7665715 HAS SOUPS 7665715 WITH SCORE 7676669.151
AT ITER 829 NEW BEST:: SOT 21210833 SOS 10954185 HAS SOPS 10954185 HAS SOUS 7665330 HAS SOUPS 7665330 WITH SCORE 7676284.185
AT ITER 831 NEW BEST:: SOT 21210833 SOS 10953441 HAS SOPS 10953441 HAS SOUS 7665330 HAS SOUPS 7665330 WITH SCORE 7676283.441
AT ITER 832 NEW BEST:: SOT 21210809 SOS 10953393 HAS SOPS 10953393 HAS SOUS 7665282 HAS SOUPS 7665282 WITH SCORE 7676235.393
AT ITER 833 NEW BEST:: SOT 21210190 SOS 10952774 HAS SOPS 10952774 HAS SOUS 7665120 HAS SOUPS 7665120 WITH SCORE 7676072.774
AT ITER 837 NEW BEST:: SOT 21209133 SOS 10949603 HAS SOPS 10949603 HAS SOUS 7664063 HAS SOUPS 7664063 WITH SCORE 7675012.603
AT ITER 839 NEW BEST:: SOT 21209133 SOS 10948832 HAS SOPS 10948832 HAS SOUS 7664063 HAS SOUPS 7664063 WITH SCORE 7675011.832
AT ITER 841 NEW BEST:: SOT 21209429 SOS 10948323 HAS SOPS 10948323 HAS SOUS 7661333 HAS SOUPS 7661333 WITH SCORE 7672281.323
AT ITER 847 NEW BEST:: SOT 21209429 SOS 10947802 HAS SOPS 10947802 HAS SOUS 7661333 HAS SOUPS 7661333 WITH SCORE 7672280.802
AT ITER 849 NEW BEST:: SOT 21208532 SOS 10944631 HAS SOPS 10944631 HAS SOUS 7659956 HAS SOUPS 7659956 WITH SCORE 7670900.631
AT ITER 859 NEW BEST:: SOT 21208298 SOS 10944842 HAS SOPS 10944842 HAS SOUS 7659794 HAS SOUPS 7659794 WITH SCORE 7670738.842
AT ITER 861 NEW BEST:: SOT 21208877 SOS 10940644 HAS SOPS 10940644 HAS SOUS 7656898 HAS SOUPS 7656898 WITH SCORE 7667838.644
AT ITER 871 NEW BEST:: SOT 21207633 SOS 10939400 HAS SOPS 10939400 HAS SOUS 7654410 HAS SOUPS 7654410 WITH SCORE 7665349.4
AT ITER 873 NEW BEST:: SOT 21207633 SOS 10939400 HAS SOPS 10939400 HAS SOUS 7653469 HAS SOUPS 7653469 WITH SCORE 7664408.4
AT ITER 875 NEW BEST:: SOT 21207633 SOS 10939400 HAS SOPS 10939400 HAS SOUS 7653467 HAS SOUPS 7653467 WITH SCORE 7664406.4
AT ITER 878 NEW BEST:: SOT 21207998 SOS 10935152 HAS SOPS 10935152 HAS SOUS 7653068 HAS SOUPS 7653068 WITH SCORE 7664003.152
AT ITER 880 NEW BEST:: SOT 21207943 SOS 10935094 HAS SOPS 10935094 HAS SOUS 7653063 HAS SOUPS 7653063 WITH SCORE 7663998.094
AT ITER 882 NEW BEST:: SOT 21207928 SOS 10935064 HAS SOPS 10935064 HAS SOUS 7653033 HAS SOUPS 7653033 WITH SCORE 7663968.064
AT ITER 883 NEW BEST:: SOT 21207928 SOS 10934903 HAS SOPS 10934903 HAS SOUS 7652872 HAS SOUPS 7652872 WITH SCORE 7663806.903
AT ITER 887 NEW BEST:: SOT 21209513 SOS 10932501 HAS SOPS 10932501 HAS SOUS 7652221 HAS SOUPS 7652221 WITH SCORE 7663153.501
AT ITER 889 NEW BEST:: SOT 21209310 SOS 10932095 HAS SOPS 10932095 HAS SOUS 7651815 HAS SOUPS 7651815 WITH SCORE 7662747.095
AT ITER 890 NEW BEST:: SOT 21207452 SOS 10931051 HAS SOPS 10931051 HAS SOUS 7649957 HAS SOUPS 7649957 WITH SCORE 7660888.051
AT ITER 896 NEW BEST:: SOT 21207425 SOS 10930943 HAS SOPS 10930943 HAS SOUS 7649903 HAS SOUPS 7649903 WITH SCORE 7660833.943
AT ITER 902 NEW BEST:: SOT 21206718 SOS 10928410 HAS SOPS 10928410 HAS SOUS 7648782 HAS SOUPS 7648782 WITH SCORE 7659710.41
AT ITER 903 NEW BEST:: SOT 21205842 SOS 10924837 HAS SOPS 10924837 HAS SOUS 7647662 HAS SOUPS 7647662 WITH SCORE 7658586.837
AT ITER 906 NEW BEST:: SOT 21205183 SOS 10923519 HAS SOPS 10923519 HAS SOUS 7647003 HAS SOUPS 7647003 WITH SCORE 7657926.519
AT ITER 911 NEW BEST:: SOT 21204530 SOS 10922213 HAS SOPS 10922213 HAS SOUS 7646302 HAS SOUPS 7646302 WITH SCORE 7657224.213
AT ITER 917 NEW BEST:: SOT 21204276 SOS 10921451 HAS SOPS 10921451 HAS SOUS 7645540 HAS SOUPS 7645540 WITH SCORE 7656461.451
AT ITER 927 NEW BEST:: SOT 21204254 SOS 10922318 HAS SOPS 10922318 HAS SOUS 7645486 HAS SOUPS 7645486 WITH SCORE 7656408.318
AT ITER 937 NEW BEST:: SOT 21203935 SOS 10922560 HAS SOPS 10922560 HAS SOUS 7645390 HAS SOUPS 7645390 WITH SCORE 7656312.56
AT ITER 938 NEW BEST:: SOT 21201182 SOS 10922552 HAS SOPS 10922552 HAS SOUS 7644529 HAS SOUPS 7644529 WITH SCORE 7655451.552
AT ITER 940 NEW BEST:: SOT 21201182 SOS 10922552 HAS SOPS 10922552 HAS SOUS 7644310 HAS SOUPS 7644310 WITH SCORE 7655232.552
AT ITER 941 NEW BEST:: SOT 21200524 SOS 10922607 HAS SOPS 10922607 HAS SOUS 7643898 HAS SOUPS 7643898 WITH SCORE 7654820.607
AT ITER 944 NEW BEST:: SOT 21200524 SOS 10920687 HAS SOPS 10920687 HAS SOUS 7640484 HAS SOUPS 7640484 WITH SCORE 7651404.687
AT ITER 948 NEW BEST:: SOT 21200453 SOS 10918689 HAS SOPS 10918689 HAS SOUS 7639449 HAS SOUPS 7639449 WITH SCORE 7650367.689
AT ITER 949 NEW BEST:: SOT 21200138 SOS 10918059 HAS SOPS 10918059 HAS SOUS 7639134 HAS SOUPS 7639134 WITH SCORE 7650052.059
AT ITER 967 NEW BEST:: SOT 21200256 SOS 10886552 HAS SOPS 10886552 HAS SOUS 7637496 HAS SOUPS 7637496 WITH SCORE 7648382.552
AT ITER 969 NEW BEST:: SOT 21200111 SOS 10886407 HAS SOPS 10886407 HAS SOUS 7637218 HAS SOUPS 7637218 WITH SCORE 7648104.407
AT ITER 970 NEW BEST:: SOT 21199203 SOS 10886163 HAS SOPS 10886163 HAS SOUS 7636477 HAS SOUPS 7636477 WITH SCORE 7647363.163
AT ITER 971 NEW BEST:: SOT 21199203 SOS 10886163 HAS SOPS 10886163 HAS SOUS 7636393 HAS SOUPS 7636393 WITH SCORE 7647279.163
AT ITER 973 NEW BEST:: SOT 21197166 SOS 10882220 HAS SOPS 10882220 HAS SOUS 7634486 HAS SOUPS 7634486 WITH SCORE 7645368.22
AT ITER 975 NEW BEST:: SOT 21195487 SOS 10880637 HAS SOPS 10880637 HAS SOUS 7632807 HAS SOUPS 7632807 WITH SCORE 7643687.637
AT ITER 977 NEW BEST:: SOT 21195804 SOS 10878912 HAS SOPS 10878912 HAS SOUS 7632107 HAS SOUPS 7632107 WITH SCORE 7642985.912
AT ITER 996 NEW BEST:: SOT 21196317 SOS 10879467 HAS SOPS 10879467 HAS SOUS 7631250 HAS SOUPS 7631250 WITH SCORE 7642129.467
AT ITER 998 NEW BEST:: SOT 21196317 SOS 10877440 HAS SOPS 10877440 HAS SOUS 7630155 HAS SOUPS 7630155 WITH SCORE 7641032.44
AT ITER 1008 NEW BEST:: SOT 21195666 SOS 10877010 HAS SOPS 10877010 HAS SOUS 7629504 HAS SOUPS 7629504 WITH SCORE 7640381.01
AT ITER 1013 NEW BEST:: SOT 21195774 SOS 10875218 HAS SOPS 10875218 HAS SOUS 7629213 HAS SOUPS 7629213 WITH SCORE 7640088.218
AT ITER 1014 NEW BEST:: SOT 21195774 SOS 10874974 HAS SOPS 10874974 HAS SOUS 7629213 HAS SOUPS 7629213 WITH SCORE 7640087.974
AT ITER 1017 NEW BEST:: SOT 21195774 SOS 10874476 HAS SOPS 10874476 HAS SOUS 7629136 HAS SOUPS 7629136 WITH SCORE 7640010.476
AT ITER 1022 NEW BEST:: SOT 21195895 SOS 10875581 HAS SOPS 10875581 HAS SOUS 7628515 HAS SOUPS 7628515 WITH SCORE 7639390.581
AT ITER 1033 NEW BEST:: SOT 21146596 SOS 10939319 HAS SOPS 10939319 HAS SOUS 7586230 HAS SOUPS 7586230 WITH SCORE 7597169.319
AT ITER 1038 NEW BEST:: SOT 21145433 SOS 10936993 HAS SOPS 10936993 HAS SOUS 7585062 HAS SOUPS 7585062 WITH SCORE 7595998.993
AT ITER 1039 NEW BEST:: SOT 21145433 SOS 10934690 HAS SOPS 10934690 HAS SOUS 7583394 HAS SOUPS 7583394 WITH SCORE 7594328.69
AT ITER 1044 NEW BEST:: SOT 21145433 SOS 10932530 HAS SOPS 10932530 HAS SOUS 7579564 HAS SOUPS 7579564 WITH SCORE 7590496.53
AT ITER 1045 NEW BEST:: SOT 21145433 SOS 10932530 HAS SOPS 10932530 HAS SOUS 7579496 HAS SOUPS 7579496 WITH SCORE 7590428.53
AT ITER 1048 NEW BEST:: SOT 21145433 SOS 10932530 HAS SOPS 10932530 HAS SOUS 7579493 HAS SOUPS 7579493 WITH SCORE 7590425.53
AT ITER 1049 NEW BEST:: SOT 21144751 SOS 10931848 HAS SOPS 10931848 HAS SOUS 7578810 HAS SOUPS 7578810 WITH SCORE 7589741.848
AT ITER 1061 NEW BEST:: SOT 21143955 SOS 10930942 HAS SOPS 10930942 HAS SOUS 7578590 HAS SOUPS 7578590 WITH SCORE 7589520.942
AT ITER 1063 NEW BEST:: SOT 21145344 SOS 10927992 HAS SOPS 10927992 HAS SOUS 7577080 HAS SOUPS 7577080 WITH SCORE 7588007.992
AT ITER 1066 NEW BEST:: SOT 21144403 SOS 10927308 HAS SOPS 10927308 HAS SOUS 7576373 HAS SOUPS 7576373 WITH SCORE 7587300.308
AT ITER 1077 NEW BEST:: SOT 21144409 SOS 10923526 HAS SOPS 10923526 HAS SOUS 7574141 HAS SOUPS 7574141 WITH SCORE 7585064.526
AT ITER 1079 NEW BEST:: SOT 21144409 SOS 10920523 HAS SOPS 10920523 HAS SOUS 7572380 HAS SOUPS 7572380 WITH SCORE 7583300.523
AT ITER 1080 NEW BEST:: SOT 21142596 SOS 10916897 HAS SOPS 10916897 HAS SOUS 7569418 HAS SOUPS 7569418 WITH SCORE 7580334.897
AT ITER 1082 NEW BEST:: SOT 21142596 SOS 10916897 HAS SOPS 10916897 HAS SOUS 7568780 HAS SOUPS 7568780 WITH SCORE 7579696.897
AT ITER 1089 NEW BEST:: SOT 21142596 SOS 10916628 HAS SOPS 10916628 HAS SOUS 7568780 HAS SOUPS 7568780 WITH SCORE 7579696.628
AT ITER 1090 NEW BEST:: SOT 21142486 SOS 10916518 HAS SOPS 10916518 HAS SOUS 7568670 HAS SOUPS 7568670 WITH SCORE 7579586.518
AT ITER 1091 NEW BEST:: SOT 21142486 SOS 10914085 HAS SOPS 10914085 HAS SOUS 7564704 HAS SOUPS 7564704 WITH SCORE 7575618.085
AT ITER 1093 NEW BEST:: SOT 21142305 SOS 10913723 HAS SOPS 10913723 HAS SOUS 7564628 HAS SOUPS 7564628 WITH SCORE 7575541.723
AT ITER 1102 NEW BEST:: SOT 21142673 SOS 10917705 HAS SOPS 10917705 HAS SOUS 7563747 HAS SOUPS 7563747 WITH SCORE 7574664.705
AT ITER 1103 NEW BEST:: SOT 21142673 SOS 10917705 HAS SOPS 10917705 HAS SOUS 7563741 HAS SOUPS 7563741 WITH SCORE 7574658.705
AT ITER 1104 NEW BEST:: SOT 21140289 SOS 10915625 HAS SOPS 10915625 HAS SOUS 7561357 HAS SOUPS 7561357 WITH SCORE 7572272.625
AT ITER 1108 NEW BEST:: SOT 21140197 SOS 10915441 HAS SOPS 10915441 HAS SOUS 7561173 HAS SOUPS 7561173 WITH SCORE 7572088.441
AT ITER 1113 NEW BEST:: SOT 21138801 SOS 10912649 HAS SOPS 10912649 HAS SOUS 7557669 HAS SOUPS 7557669 WITH SCORE 7568581.649
AT ITER 1114 NEW BEST:: SOT 21138705 SOS 10912457 HAS SOPS 10912457 HAS SOUS 7557477 HAS SOUPS 7557477 WITH SCORE 7568389.457
AT ITER 1115 NEW BEST:: SOT 21138705 SOS 10912006 HAS SOPS 10912006 HAS SOUS 7556821 HAS SOUPS 7556821 WITH SCORE 7567733.006
AT ITER 1119 NEW BEST:: SOT 21138675 SOS 10907660 HAS SOPS 10907660 HAS SOUS 7553896 HAS SOUPS 7553896 WITH SCORE 7564803.66
AT ITER 1121 NEW BEST:: SOT 21138993 SOS 10907104 HAS SOPS 10907104 HAS SOUS 7553020 HAS SOUPS 7553020 WITH SCORE 7563927.104
AT ITER 1122 NEW BEST:: SOT 21138380 SOS 10907117 HAS SOPS 10907117 HAS SOUS 7552329 HAS SOUPS 7552329 WITH SCORE 7563236.117
AT ITER 1123 NEW BEST:: SOT 21138934 SOS 10903287 HAS SOPS 10903287 HAS SOUS 7550009 HAS SOUPS 7550009 WITH SCORE 7560912.287
AT ITER 1129 NEW BEST:: SOT 21138404 SOS 10902227 HAS SOPS 10902227 HAS SOUS 7549479 HAS SOUPS 7549479 WITH SCORE 7560381.227
AT ITER 1132 NEW BEST:: SOT 21138266 SOS 10901951 HAS SOPS 10901951 HAS SOUS 7548032 HAS SOUPS 7548032 WITH SCORE 7558933.951
AT ITER 1134 NEW BEST:: SOT 21136636 SOS 10898691 HAS SOPS 10898691 HAS SOUS 7546773 HAS SOUPS 7546773 WITH SCORE 7557671.691
AT ITER 1136 NEW BEST:: SOT 21136421 SOS 10897190 HAS SOPS 10897190 HAS SOUS 7546558 HAS SOUPS 7546558 WITH SCORE 7557455.19
AT ITER 1137 NEW BEST:: SOT 21136421 SOS 10897190 HAS SOPS 10897190 HAS SOUS 7545305 HAS SOUPS 7545305 WITH SCORE 7556202.19
AT ITER 1138 NEW BEST:: SOT 21136421 SOS 10896586 HAS SOPS 10896586 HAS SOUS 7545305 HAS SOUPS 7545305 WITH SCORE 7556201.586
AT ITER 1147 NEW BEST:: SOT 21136126 SOS 10895990 HAS SOPS 10895990 HAS SOUS 7544714 HAS SOUPS 7544714 WITH SCORE 7555609.99
AT ITER 1148 NEW BEST:: SOT 21136126 SOS 10881982 HAS SOPS 10881982 HAS SOUS 7544308 HAS SOUPS 7544308 WITH SCORE 7555189.982
AT ITER 1149 NEW BEST:: SOT 21136126 SOS 10880585 HAS SOPS 10880585 HAS SOUS 7542403 HAS SOUPS 7542403 WITH SCORE 7553283.585
AT ITER 1150 NEW BEST:: SOT 21135379 SOS 10879615 HAS SOPS 10879615 HAS SOUS 7541432 HAS SOUPS 7541432 WITH SCORE 7552311.615
AT ITER 1151 NEW BEST:: SOT 21135379 SOS 10879169 HAS SOPS 10879169 HAS SOUS 7541009 HAS SOUPS 7541009 WITH SCORE 7551888.169
AT ITER 1155 NEW BEST:: SOT 21135379 SOS 10878867 HAS SOPS 10878867 HAS SOUS 7540707 HAS SOUPS 7540707 WITH SCORE 7551585.867
AT ITER 1158 NEW BEST:: SOT 21136118 SOS 10874189 HAS SOPS 10874189 HAS SOUS 7540625 HAS SOUPS 7540625 WITH SCORE 7551499.189
AT ITER 1161 NEW BEST:: SOT 21134986 SOS 10873057 HAS SOPS 10873057 HAS SOUS 7539292 HAS SOUPS 7539292 WITH SCORE 7550165.057
AT ITER 1165 NEW BEST:: SOT 21134986 SOS 10872159 HAS SOPS 10872159 HAS SOUS 7539292 HAS SOUPS 7539292 WITH SCORE 7550164.159
AT ITER 1166 NEW BEST:: SOT 21129084 SOS 10863309 HAS SOPS 10863309 HAS SOUS 7530435 HAS SOUPS 7530435 WITH SCORE 7541298.309
AT ITER 1181 NEW BEST:: SOT 21131007 SOS 10865564 HAS SOPS 10865564 HAS SOUS 7529994 HAS SOUPS 7529994 WITH SCORE 7540859.564
AT ITER 1190 NEW BEST:: SOT 21130212 SOS 10866519 HAS SOPS 10866519 HAS SOUS 7529450 HAS SOUPS 7529450 WITH SCORE 7540316.519
AT ITER 1192 NEW BEST:: SOT 21129712 SOS 10865519 HAS SOPS 10865519 HAS SOUS 7527265 HAS SOUPS 7527265 WITH SCORE 7538130.519
AT ITER 1195 NEW BEST:: SOT 21131476 SOS 10865840 HAS SOPS 10865840 HAS SOUS 7524957 HAS SOUPS 7524957 WITH SCORE 7535822.84
AT ITER 1200 NEW BEST:: SOT 21131476 SOS 10865840 HAS SOPS 10865840 HAS SOUS 7524940 HAS SOUPS 7524940 WITH SCORE 7535805.84
AT ITER 1201 NEW BEST:: SOT 21131476 SOS 10865840 HAS SOPS 10865840 HAS SOUS 7523873 HAS SOUPS 7523873 WITH SCORE 7534738.84
AT ITER 1221 NEW BEST:: SOT 21129698 SOS 10863172 HAS SOPS 10863172 HAS SOUS 7522168 HAS SOUPS 7522168 WITH SCORE 7533031.172
AT ITER 1222 NEW BEST:: SOT 21128837 SOS 10861450 HAS SOPS 10861450 HAS SOUS 7521307 HAS SOUPS 7521307 WITH SCORE 7532168.45
AT ITER 1223 NEW BEST:: SOT 21127906 SOS 10861745 HAS SOPS 10861745 HAS SOUS 7520989 HAS SOUPS 7520989 WITH SCORE 7531850.745
AT ITER 1228 NEW BEST:: SOT 21126556 SOS 10861104 HAS SOPS 10861104 HAS SOUS 7520323 HAS SOUPS 7520323 WITH SCORE 7531184.104
AT ITER 1229 NEW BEST:: SOT 21126556 SOS 10860238 HAS SOPS 10860238 HAS SOUS 7519544 HAS SOUPS 7519544 WITH SCORE 7530404.238
AT ITER 1231 NEW BEST:: SOT 21126556 SOS 10860238 HAS SOPS 10860238 HAS SOUS 7519542 HAS SOUPS 7519542 WITH SCORE 7530402.238
AT ITER 1235 NEW BEST:: SOT 21126594 SOS 10855976 HAS SOPS 10855976 HAS SOUS 7516811 HAS SOUPS 7516811 WITH SCORE 7527666.976
AT ITER 1246 NEW BEST:: SOT 21126500 SOS 10855788 HAS SOPS 10855788 HAS SOUS 7516717 HAS SOUPS 7516717 WITH SCORE 7527572.788
AT ITER 1250 NEW BEST:: SOT 21126500 SOS 10854239 HAS SOPS 10854239 HAS SOUS 7515168 HAS SOUPS 7515168 WITH SCORE 7526022.239
AT ITER 1251 NEW BEST:: SOT 21126418 SOS 10854116 HAS SOPS 10854116 HAS SOUS 7515045 HAS SOUPS 7515045 WITH SCORE 7525899.116
AT ITER 1252 NEW BEST:: SOT 21126418 SOS 10853387 HAS SOPS 10853387 HAS SOUS 7515044 HAS SOUPS 7515044 WITH SCORE 7525897.387
AT ITER 1254 NEW BEST:: SOT 21125417 SOS 10851385 HAS SOPS 10851385 HAS SOUS 7514273 HAS SOUPS 7514273 WITH SCORE 7525124.385
AT ITER 1255 NEW BEST:: SOT 21125312 SOS 10851675 HAS SOPS 10851675 HAS SOUS 7514168 HAS SOUPS 7514168 WITH SCORE 7525019.675
AT ITER 1262 NEW BEST:: SOT 21127118 SOS 10852202 HAS SOPS 10852202 HAS SOUS 7513038 HAS SOUPS 7513038 WITH SCORE 7523890.202
AT ITER 1266 NEW BEST:: SOT 21126602 SOS 10850138 HAS SOPS 10850138 HAS SOUS 7512006 HAS SOUPS 7512006 WITH SCORE 7522856.138
AT ITER 1274 NEW BEST:: SOT 21126158 SOS 10850219 HAS SOPS 10850219 HAS SOUS 7511676 HAS SOUPS 7511676 WITH SCORE 7522526.219
AT ITER 1282 NEW BEST:: SOT 21126448 SOS 10850786 HAS SOPS 10850786 HAS SOUS 7511609 HAS SOUPS 7511609 WITH SCORE 7522459.786
AT ITER 1286 NEW BEST:: SOT 21125396 SOS 10849734 HAS SOPS 10849734 HAS SOUS 7510557 HAS SOUPS 7510557 WITH SCORE 7521406.734
AT ITER 1288 NEW BEST:: SOT 21124727 SOS 10848396 HAS SOPS 10848396 HAS SOUS 7509883 HAS SOUPS 7509883 WITH SCORE 7520731.396
AT ITER 1289 NEW BEST:: SOT 21124727 SOS 10847795 HAS SOPS 10847795 HAS SOUS 7508522 HAS SOUPS 7508522 WITH SCORE 7519369.795
AT ITER 1291 NEW BEST:: SOT 21122035 SOS 10842884 HAS SOPS 10842884 HAS SOUS 7503611 HAS SOUPS 7503611 WITH SCORE 7514453.884
AT ITER 1295 NEW BEST:: SOT 21119958 SOS 10840957 HAS SOPS 10840957 HAS SOUS 7501534 HAS SOUPS 7501534 WITH SCORE 7512374.957
AT ITER 1296 NEW BEST:: SOT 21118738 SOS 10839969 HAS SOPS 10839969 HAS SOUS 7500314 HAS SOUPS 7500314 WITH SCORE 7511153.969
AT ITER 1303 NEW BEST:: SOT 21117774 SOS 10838041 HAS SOPS 10838041 HAS SOUS 7498386 HAS SOUPS 7498386 WITH SCORE 7509224.041
AT ITER 1310 NEW BEST:: SOT 21117145 SOS 10835934 HAS SOPS 10835934 HAS SOUS 7496908 HAS SOUPS 7496908 WITH SCORE 7507743.934
AT ITER 1311 NEW BEST:: SOT 21117145 SOS 10835859 HAS SOPS 10835859 HAS SOUS 7496758 HAS SOUPS 7496758 WITH SCORE 7507593.859
AT ITER 1316 NEW BEST:: SOT 21116877 SOS 10831444 HAS SOPS 10831444 HAS SOUS 7493884 HAS SOUPS 7493884 WITH SCORE 7504715.444
AT ITER 1318 NEW BEST:: SOT 21116368 SOS 10831334 HAS SOPS 10831334 HAS SOUS 7493374 HAS SOUPS 7493374 WITH SCORE 7504205.334
AT ITER 1319 NEW BEST:: SOT 21116209 SOS 10828058 HAS SOPS 10828058 HAS SOUS 7492774 HAS SOUPS 7492774 WITH SCORE 7503602.058
AT ITER 1328 NEW BEST:: SOT 21113758 SOS 10826392 HAS SOPS 10826392 HAS SOUS 7490330 HAS SOUPS 7490330 WITH SCORE 7501156.392
AT ITER 1329 NEW BEST:: SOT 21112986 SOS 10825369 HAS SOPS 10825369 HAS SOUS 7489823 HAS SOUPS 7489823 WITH SCORE 7500648.369
AT ITER 1332 NEW BEST:: SOT 21112203 SOS 10823803 HAS SOPS 10823803 HAS SOUS 7489173 HAS SOUPS 7489173 WITH SCORE 7499996.803
AT ITER 1345 NEW BEST:: SOT 21112203 SOS 10823803 HAS SOPS 10823803 HAS SOUS 7488004 HAS SOUPS 7488004 WITH SCORE 7498827.803
AT ITER 1348 NEW BEST:: SOT 21112269 SOS 10823935 HAS SOPS 10823935 HAS SOUS 7487566 HAS SOUPS 7487566 WITH SCORE 7498389.935
AT ITER 1356 NEW BEST:: SOT 21112007 SOS 10823411 HAS SOPS 10823411 HAS SOUS 7487304 HAS SOUPS 7487304 WITH SCORE 7498127.411
AT ITER 1362 NEW BEST:: SOT 21112007 SOS 10821182 HAS SOPS 10821182 HAS SOUS 7486054 HAS SOUPS 7486054 WITH SCORE 7496875.182
AT ITER 1364 NEW BEST:: SOT 21112116 SOS 10819668 HAS SOPS 10819668 HAS SOUS 7485511 HAS SOUPS 7485511 WITH SCORE 7496330.668
AT ITER 1366 NEW BEST:: SOT 21110929 SOS 10817294 HAS SOPS 10817294 HAS SOUS 7483137 HAS SOUPS 7483137 WITH SCORE 7493954.294
AT ITER 1367 NEW BEST:: SOT 21110929 SOS 10817294 HAS SOPS 10817294 HAS SOUS 7482812 HAS SOUPS 7482812 WITH SCORE 7493629.294
AT ITER 1371 NEW BEST:: SOT 21108761 SOS 10815667 HAS SOPS 10815667 HAS SOUS 7480644 HAS SOUPS 7480644 WITH SCORE 7491459.667
AT ITER 1378 NEW BEST:: SOT 21108761 SOS 10815667 HAS SOPS 10815667 HAS SOUS 7480642 HAS SOUPS 7480642 WITH SCORE 7491457.667
AT ITER 1382 NEW BEST:: SOT 21108590 SOS 10815325 HAS SOPS 10815325 HAS SOUS 7480471 HAS SOUPS 7480471 WITH SCORE 7491286.325
AT ITER 1386 NEW BEST:: SOT 21107703 SOS 10813551 HAS SOPS 10813551 HAS SOUS 7479584 HAS SOUPS 7479584 WITH SCORE 7490397.551
AT ITER 1392 NEW BEST:: SOT 21105835 SOS 10811693 HAS SOPS 10811693 HAS SOUS 7478128 HAS SOUPS 7478128 WITH SCORE 7488939.693
AT ITER 1395 NEW BEST:: SOT 21103447 SOS 10857206 HAS SOPS 10857206 HAS SOUS 7477889 HAS SOUPS 7477889 WITH SCORE 7488746.206
AT ITER 1400 NEW BEST:: SOT 21103124 SOS 10856560 HAS SOPS 10856560 HAS SOUS 7477566 HAS SOUPS 7477566 WITH SCORE 7488422.56
AT ITER 1402 NEW BEST:: SOT 21102337 SOS 10854360 HAS SOPS 10854360 HAS SOUS 7475205 HAS SOUPS 7475205 WITH SCORE 7486059.36
AT ITER 1407 NEW BEST:: SOT 21100586 SOS 10850864 HAS SOPS 10850864 HAS SOUS 7473454 HAS SOUPS 7473454 WITH SCORE 7484304.864
AT ITER 1415 NEW BEST:: SOT 21100586 SOS 10850864 HAS SOPS 10850864 HAS SOUS 7473196 HAS SOUPS 7473196 WITH SCORE 7484046.864
AT ITER 1418 NEW BEST:: SOT 21100711 SOS 10846662 HAS SOPS 10846662 HAS SOUS 7473071 HAS SOUPS 7473071 WITH SCORE 7483917.662
AT ITER 1422 NEW BEST:: SOT 21100711 SOS 10845647 HAS SOPS 10845647 HAS SOUS 7473071 HAS SOUPS 7473071 WITH SCORE 7483916.647
AT ITER 1430 NEW BEST:: SOT 21100711 SOS 10845647 HAS SOPS 10845647 HAS SOUS 7472332 HAS SOUPS 7472332 WITH SCORE 7483177.647
AT ITER 1433 NEW BEST:: SOT 21102751 SOS 10847278 HAS SOPS 10847278 HAS SOUS 7472041 HAS SOUPS 7472041 WITH SCORE 7482888.278
AT ITER 1434 NEW BEST:: SOT 21102815 SOS 10845611 HAS SOPS 10845611 HAS SOUS 7467128 HAS SOUPS 7467128 WITH SCORE 7477973.611
AT ITER 1438 NEW BEST:: SOT 21100872 SOS 10841725 HAS SOPS 10841725 HAS SOUS 7465180 HAS SOUPS 7465180 WITH SCORE 7476021.725
AT ITER 1439 NEW BEST:: SOT 21100872 SOS 10841962 HAS SOPS 10841962 HAS SOUS 7464166 HAS SOUPS 7464166 WITH SCORE 7475007.962
AT ITER 1441 NEW BEST:: SOT 21101575 SOS 10841652 HAS SOPS 10841652 HAS SOUS 7463933 HAS SOUPS 7463933 WITH SCORE 7474774.652
AT ITER 1442 NEW BEST:: SOT 21101575 SOS 10841652 HAS SOPS 10841652 HAS SOUS 7463822 HAS SOUPS 7463822 WITH SCORE 7474663.652
AT ITER 1444 NEW BEST:: SOT 21101575 SOS 10841660 HAS SOPS 10841660 HAS SOUS 7463235 HAS SOUPS 7463235 WITH SCORE 7474076.66
AT ITER 1458 NEW BEST:: SOT 21101575 SOS 10839884 HAS SOPS 10839884 HAS SOUS 7461888 HAS SOUPS 7461888 WITH SCORE 7472727.884
AT ITER 1462 NEW BEST:: SOT 21101469 SOS 10839778 HAS SOPS 10839778 HAS SOUS 7461822 HAS SOUPS 7461822 WITH SCORE 7472661.778
AT ITER 1466 NEW BEST:: SOT 21100784 SOS 10839368 HAS SOPS 10839368 HAS SOUS 7461155 HAS SOUPS 7461155 WITH SCORE 7471994.368
AT ITER 1471 NEW BEST:: SOT 21100125 SOS 10836002 HAS SOPS 10836002 HAS SOUS 7459326 HAS SOUPS 7459326 WITH SCORE 7470162.002
AT ITER 1472 NEW BEST:: SOT 21099859 SOS 10836178 HAS SOPS 10836178 HAS SOUS 7459161 HAS SOUPS 7459161 WITH SCORE 7469997.178
AT ITER 1474 NEW BEST:: SOT 21100355 SOS 10832443 HAS SOPS 10832443 HAS SOUS 7456738 HAS SOUPS 7456738 WITH SCORE 7467570.443
AT ITER 1475 NEW BEST:: SOT 21099858 SOS 10830455 HAS SOPS 10830455 HAS SOUS 7456239 HAS SOUPS 7456239 WITH SCORE 7467069.455
AT ITER 1477 NEW BEST:: SOT 21099858 SOS 10827873 HAS SOPS 10827873 HAS SOUS 7454908 HAS SOUPS 7454908 WITH SCORE 7465735.873
AT ITER 1478 NEW BEST:: SOT 21098032 SOS 10826186 HAS SOPS 10826186 HAS SOUS 7453082 HAS SOUPS 7453082 WITH SCORE 7463908.186
AT ITER 1481 NEW BEST:: SOT 21096890 SOS 10824473 HAS SOPS 10824473 HAS SOUS 7451529 HAS SOUPS 7451529 WITH SCORE 7462353.473
AT ITER 1493 NEW BEST:: SOT 21097289 SOS 10823122 HAS SOPS 10823122 HAS SOUS 7450894 HAS SOUPS 7450894 WITH SCORE 7461717.122
AT ITER 1494 NEW BEST:: SOT 21097289 SOS 10820294 HAS SOPS 10820294 HAS SOUS 7448062 HAS SOUPS 7448062 WITH SCORE 7458882.294
AT ITER 1497 NEW BEST:: SOT 21097289 SOS 10819551 HAS SOPS 10819551 HAS SOUS 7447124 HAS SOUPS 7447124 WITH SCORE 7457943.551
AT ITER 1501 NEW BEST:: SOT 21096669 SOS 10818311 HAS SOPS 10818311 HAS SOUS 7446504 HAS SOUPS 7446504 WITH SCORE 7457322.311
AT ITER 1502 NEW BEST:: SOT 21096669 SOS 10817645 HAS SOPS 10817645 HAS SOUS 7445835 HAS SOUPS 7445835 WITH SCORE 7456652.645
AT ITER 1503 NEW BEST:: SOT 21096126 SOS 10817097 HAS SOPS 10817097 HAS SOUS 7444597 HAS SOUPS 7444597 WITH SCORE 7455414.097
AT ITER 1504 NEW BEST:: SOT 21095403 SOS 10816572 HAS SOPS 10816572 HAS SOUS 7443874 HAS SOUPS 7443874 WITH SCORE 7454690.572
AT ITER 1509 NEW BEST:: SOT 21095403 SOS 10815819 HAS SOPS 10815819 HAS SOUS 7443874 HAS SOUPS 7443874 WITH SCORE 7454689.819
AT ITER 1511 NEW BEST:: SOT 21095403 SOS 10815819 HAS SOPS 10815819 HAS SOUS 7443633 HAS SOUPS 7443633 WITH SCORE 7454448.819
AT ITER 1512 NEW BEST:: SOT 21095403 SOS 10815819 HAS SOPS 10815819 HAS SOUS 7443485 HAS SOUPS 7443485 WITH SCORE 7454300.819
AT ITER 1521 NEW BEST:: SOT 21094645 SOS 10815061 HAS SOPS 10815061 HAS SOUS 7442727 HAS SOUPS 7442727 WITH SCORE 7453542.061
AT ITER 1523 NEW BEST:: SOT 21094645 SOS 10815061 HAS SOPS 10815061 HAS SOUS 7442672 HAS SOUPS 7442672 WITH SCORE 7453487.061
AT ITER 1527 NEW BEST:: SOT 21094054 SOS 10814476 HAS SOPS 10814476 HAS SOUS 7442103 HAS SOUPS 7442103 WITH SCORE 7452917.476
AT ITER 1528 NEW BEST:: SOT 21094201 SOS 10814770 HAS SOPS 10814770 HAS SOUS 7439251 HAS SOUPS 7439251 WITH SCORE 7450065.77
AT ITER 1530 NEW BEST:: SOT 21094201 SOS 10814770 HAS SOPS 10814770 HAS SOUS 7438522 HAS SOUPS 7438522 WITH SCORE 7449336.77
AT ITER 1534 NEW BEST:: SOT 21094177 SOS 10814466 HAS SOPS 10814466 HAS SOUS 7438498 HAS SOUPS 7438498 WITH SCORE 7449312.466
AT ITER 1539 NEW BEST:: SOT 21094177 SOS 10813922 HAS SOPS 10813922 HAS SOUS 7437410 HAS SOUPS 7437410 WITH SCORE 7448223.922
AT ITER 1551 NEW BEST:: SOT 21094101 SOS 10813846 HAS SOPS 10813846 HAS SOUS 7436499 HAS SOUPS 7436499 WITH SCORE 7447312.846
AT ITER 1552 NEW BEST:: SOT 21094706 SOS 10812286 HAS SOPS 10812286 HAS SOUS 7435741 HAS SOUPS 7435741 WITH SCORE 7446553.286
AT ITER 1558 NEW BEST:: SOT 21095038 SOS 10811679 HAS SOPS 10811679 HAS SOUS 7435400 HAS SOUPS 7435400 WITH SCORE 7446211.679
AT ITER 1560 NEW BEST:: SOT 21095038 SOS 10811207 HAS SOPS 10811207 HAS SOUS 7435398 HAS SOUPS 7435398 WITH SCORE 7446209.207
AT ITER 1561 NEW BEST:: SOT 21094614 SOS 10809511 HAS SOPS 10809511 HAS SOUS 7434550 HAS SOUPS 7434550 WITH SCORE 7445359.511
AT ITER 1563 NEW BEST:: SOT 21094614 SOS 10809511 HAS SOPS 10809511 HAS SOUS 7434549 HAS SOUPS 7434549 WITH SCORE 7445358.511
AT ITER 1564 NEW BEST:: SOT 21093978 SOS 10808376 HAS SOPS 10808376 HAS SOUS 7433414 HAS SOUPS 7433414 WITH SCORE 7444222.376
AT ITER 1565 NEW BEST:: SOT 21092360 SOS 10805140 HAS SOPS 10805140 HAS SOUS 7430649 HAS SOUPS 7430649 WITH SCORE 7441454.14
AT ITER 1567 NEW BEST:: SOT 21092360 SOS 10805627 HAS SOPS 10805627 HAS SOUS 7430152 HAS SOUPS 7430152 WITH SCORE 7440957.627
AT ITER 1573 NEW BEST:: SOT 21092360 SOS 10804372 HAS SOPS 10804372 HAS SOUS 7428897 HAS SOUPS 7428897 WITH SCORE 7439701.372
AT ITER 1577 NEW BEST:: SOT 21092142 SOS 10804154 HAS SOPS 10804154 HAS SOUS 7428897 HAS SOUPS 7428897 WITH SCORE 7439701.154
AT ITER 1579 NEW BEST:: SOT 21093168 SOS 10805117 HAS SOPS 10805117 HAS SOUS 7428687 HAS SOUPS 7428687 WITH SCORE 7439492.117
AT ITER 1580 NEW BEST:: SOT 21092690 SOS 10804161 HAS SOPS 10804161 HAS SOUS 7428209 HAS SOUPS 7428209 WITH SCORE 7439013.161
AT ITER 1584 NEW BEST:: SOT 21090607 SOS 10799995 HAS SOPS 10799995 HAS SOUS 7423599 HAS SOUPS 7423599 WITH SCORE 7434398.995
AT ITER 1585 NEW BEST:: SOT 21091328 SOS 10797818 HAS SOPS 10797818 HAS SOUS 7421422 HAS SOUPS 7421422 WITH SCORE 7432219.818
AT ITER 1589 NEW BEST:: SOT 21091038 SOS 10797238 HAS SOPS 10797238 HAS SOUS 7421132 HAS SOUPS 7421132 WITH SCORE 7431929.238
AT ITER 1590 NEW BEST:: SOT 21092374 SOS 10799910 HAS SOPS 10799910 HAS SOUS 7420616 HAS SOUPS 7420616 WITH SCORE 7431415.91
AT ITER 1592 NEW BEST:: SOT 21091649 SOS 10795212 HAS SOPS 10795212 HAS SOUS 7419251 HAS SOUPS 7419251 WITH SCORE 7430046.212
AT ITER 1596 NEW BEST:: SOT 21091771 SOS 10796900 HAS SOPS 10796900 HAS SOUS 7419075 HAS SOUPS 7419075 WITH SCORE 7429871.9
AT ITER 1597 NEW BEST:: SOT 21091800 SOS 10793366 HAS SOPS 10793366 HAS SOUS 7418949 HAS SOUPS 7418949 WITH SCORE 7429742.366
AT ITER 1602 NEW BEST:: SOT 21091263 SOS 10790186 HAS SOPS 10790186 HAS SOUS 7417825 HAS SOUPS 7417825 WITH SCORE 7428615.186
AT ITER 1608 NEW BEST:: SOT 21091263 SOS 10789387 HAS SOPS 10789387 HAS SOUS 7416496 HAS SOUPS 7416496 WITH SCORE 7427285.387
AT ITER 1610 NEW BEST:: SOT 21091263 SOS 10789387 HAS SOPS 10789387 HAS SOUS 7415528 HAS SOUPS 7415528 WITH SCORE 7426317.387
AT ITER 1614 NEW BEST:: SOT 21091263 SOS 10788808 HAS SOPS 10788808 HAS SOUS 7414422 HAS SOUPS 7414422 WITH SCORE 7425210.808
AT ITER 1617 NEW BEST:: SOT 21091263 SOS 10788808 HAS SOPS 10788808 HAS SOUS 7414178 HAS SOUPS 7414178 WITH SCORE 7424966.808
AT ITER 1618 NEW BEST:: SOT 21090640 SOS 10787563 HAS SOPS 10787563 HAS SOUS 7413553 HAS SOUPS 7413553 WITH SCORE 7424340.563
AT ITER 1621 NEW BEST:: SOT 21091583 SOS 10789449 HAS SOPS 10789449 HAS SOUS 7413066 HAS SOUPS 7413066 WITH SCORE 7423855.449
AT ITER 1623 NEW BEST:: SOT 21091583 SOS 10789479 HAS SOPS 10789479 HAS SOUS 7412499 HAS SOUPS 7412499 WITH SCORE 7423288.479
AT ITER 1625 NEW BEST:: SOT 21091372 SOS 10789401 HAS SOPS 10789401 HAS SOUS 7412413 HAS SOUPS 7412413 WITH SCORE 7423202.401
AT ITER 1627 NEW BEST:: SOT 21091118 SOS 10787333 HAS SOPS 10787333 HAS SOUS 7412157 HAS SOUPS 7412157 WITH SCORE 7422944.333
AT ITER 1628 NEW BEST:: SOT 21091112 SOS 10787327 HAS SOPS 10787327 HAS SOUS 7412151 HAS SOUPS 7412151 WITH SCORE 7422938.327
AT ITER 1636 NEW BEST:: SOT 21090125 SOS 10786568 HAS SOPS 10786568 HAS SOUS 7411164 HAS SOUPS 7411164 WITH SCORE 7421950.568
AT ITER 1639 NEW BEST:: SOT 21090872 SOS 10784518 HAS SOPS 10784518 HAS SOUS 7409920 HAS SOUPS 7409920 WITH SCORE 7420704.518
AT ITER 1648 NEW BEST:: SOT 21090872 SOS 10784518 HAS SOPS 10784518 HAS SOUS 7407738 HAS SOUPS 7407738 WITH SCORE 7418522.518
AT ITER 1649 NEW BEST:: SOT 21079237 SOS 10844474 HAS SOPS 10844474 HAS SOUS 7400097 HAS SOUPS 7400097 WITH SCORE 7410941.474
AT ITER 1659 NEW BEST:: SOT 21079237 SOS 10843536 HAS SOPS 10843536 HAS SOUS 7399159 HAS SOUPS 7399159 WITH SCORE 7410002.536
AT ITER 1664 NEW BEST:: SOT 21079237 SOS 10843536 HAS SOPS 10843536 HAS SOUS 7399060 HAS SOUPS 7399060 WITH SCORE 7409903.536
AT ITER 1670 NEW BEST:: SOT 21079209 SOS 10840222 HAS SOPS 10840222 HAS SOUS 7397424 HAS SOUPS 7397424 WITH SCORE 7408264.222
AT ITER 1672 NEW BEST:: SOT 21078316 SOS 10836650 HAS SOPS 10836650 HAS SOUS 7396530 HAS SOUPS 7396530 WITH SCORE 7407366.65
AT ITER 1675 NEW BEST:: SOT 21078316 SOS 10836503 HAS SOPS 10836503 HAS SOUS 7396530 HAS SOUPS 7396530 WITH SCORE 7407366.503
AT ITER 1678 NEW BEST:: SOT 21077992 SOS 10836179 HAS SOPS 10836179 HAS SOUS 7395882 HAS SOUPS 7395882 WITH SCORE 7406718.179
AT ITER 1679 NEW BEST:: SOT 21077528 SOS 10835411 HAS SOPS 10835411 HAS SOUS 7395860 HAS SOUPS 7395860 WITH SCORE 7406695.411
AT ITER 1681 NEW BEST:: SOT 21077528 SOS 10835256 HAS SOPS 10835256 HAS SOUS 7395705 HAS SOUPS 7395705 WITH SCORE 7406540.256
AT ITER 1684 NEW BEST:: SOT 21076537 SOS 10829678 HAS SOPS 10829678 HAS SOUS 7391950 HAS SOUPS 7391950 WITH SCORE 7402779.678
AT ITER 1686 NEW BEST:: SOT 20664777 SOS 10750852 HAS SOPS 10750852 HAS SOUS 6981936 HAS SOUPS 6981936 WITH SCORE 6992686.852
AT ITER 1688 NEW BEST:: SOT 20664091 SOS 10749480 HAS SOPS 10749480 HAS SOUS 6980564 HAS SOUPS 6980564 WITH SCORE 6991313.48
AT ITER 1698 NEW BEST:: SOT 20663893 SOS 10744327 HAS SOPS 10744327 HAS SOUS 6977283 HAS SOUPS 6977283 WITH SCORE 6988027.327
AT ITER 1699 NEW BEST:: SOT 20662753 SOS 10742047 HAS SOPS 10742047 HAS SOUS 6976143 HAS SOUPS 6976143 WITH SCORE 6986885.047
AT ITER 1701 NEW BEST:: SOT 20662534 SOS 10741609 HAS SOPS 10741609 HAS SOUS 6975705 HAS SOUPS 6975705 WITH SCORE 6986446.609
AT ITER 1705 NEW BEST:: SOT 20619474 SOS 10734692 HAS SOPS 10734692 HAS SOUS 6936105 HAS SOUPS 6936105 WITH SCORE 6946839.692
AT ITER 1709 NEW BEST:: SOT 20619057 SOS 10734219 HAS SOPS 10734219 HAS SOUS 6936056 HAS SOUPS 6936056 WITH SCORE 6946790.219
AT ITER 1710 NEW BEST:: SOT 20598502 SOS 10966954 HAS SOPS 10966954 HAS SOUS 6922181 HAS SOUPS 6922181 WITH SCORE 6933147.954
AT ITER 1719 NEW BEST:: SOT 20597172 SOS 10964294 HAS SOPS 10964294 HAS SOUS 6920851 HAS SOUPS 6920851 WITH SCORE 6931815.294
AT ITER 1724 NEW BEST:: SOT 20597172 SOS 10963741 HAS SOPS 10963741 HAS SOUS 6920298 HAS SOUPS 6920298 WITH SCORE 6931261.741
AT ITER 1728 NEW BEST:: SOT 20597172 SOS 10963741 HAS SOPS 10963741 HAS SOUS 6920121 HAS SOUPS 6920121 WITH SCORE 6931084.741
AT ITER 1731 NEW BEST:: SOT 20594465 SOS 10960987 HAS SOPS 10960987 HAS SOUS 6917716 HAS SOUPS 6917716 WITH SCORE 6928676.987
AT ITER 1735 NEW BEST:: SOT 20591409 SOS 10957886 HAS SOPS 10957886 HAS SOUS 6914763 HAS SOUPS 6914763 WITH SCORE 6925720.886
AT ITER 1736 NEW BEST:: SOT 20590068 SOS 10957717 HAS SOPS 10957717 HAS SOUS 6913762 HAS SOUPS 6913762 WITH SCORE 6924719.717
AT ITER 1737 NEW BEST:: SOT 20590068 SOS 10957435 HAS SOPS 10957435 HAS SOUS 6913762 HAS SOUPS 6913762 WITH SCORE 6924719.435
AT ITER 1739 NEW BEST:: SOT 20590068 SOS 10957435 HAS SOPS 10957435 HAS SOUS 6913481 HAS SOUPS 6913481 WITH SCORE 6924438.435
AT ITER 1740 NEW BEST:: SOT 20590068 SOS 10957509 HAS SOPS 10957509 HAS SOUS 6913449 HAS SOUPS 6913449 WITH SCORE 6924406.509
AT ITER 1742 NEW BEST:: SOT 20590063 SOS 10957489 HAS SOPS 10957489 HAS SOUS 6913439 HAS SOUPS 6913439 WITH SCORE 6924396.489
AT ITER 1743 NEW BEST:: SOT 20590063 SOS 10957489 HAS SOPS 10957489 HAS SOUS 6912919 HAS SOUPS 6912919 WITH SCORE 6923876.489
AT ITER 1754 NEW BEST:: SOT 20590063 SOS 10957489 HAS SOPS 10957489 HAS SOUS 6912917 HAS SOUPS 6912917 WITH SCORE 6923874.489
AT ITER 1755 NEW BEST:: SOT 20589885 SOS 10957133 HAS SOPS 10957133 HAS SOUS 6911782 HAS SOUPS 6911782 WITH SCORE 6922739.133
AT ITER 1758 NEW BEST:: SOT 20589134 SOS 10954106 HAS SOPS 10954106 HAS SOUS 6910750 HAS SOUPS 6910750 WITH SCORE 6921704.106
AT ITER 1762 NEW BEST:: SOT 20589134 SOS 10953516 HAS SOPS 10953516 HAS SOUS 6910743 HAS SOUPS 6910743 WITH SCORE 6921696.516
AT ITER 1763 NEW BEST:: SOT 20587908 SOS 10951064 HAS SOPS 10951064 HAS SOUS 6910464 HAS SOUPS 6910464 WITH SCORE 6921415.064
AT ITER 1764 NEW BEST:: SOT 20587908 SOS 10950719 HAS SOPS 10950719 HAS SOUS 6910116 HAS SOUPS 6910116 WITH SCORE 6921066.719
AT ITER 1765 NEW BEST:: SOT 20588018 SOS 10949197 HAS SOPS 10949197 HAS SOUS 6909679 HAS SOUPS 6909679 WITH SCORE 6920628.197
AT ITER 1766 NEW BEST:: SOT 20588018 SOS 10949197 HAS SOPS 10949197 HAS SOUS 6909677 HAS SOUPS 6909677 WITH SCORE 6920626.197
AT ITER 1770 NEW BEST:: SOT 20586912 SOS 10946985 HAS SOPS 10946985 HAS SOUS 6908571 HAS SOUPS 6908571 WITH SCORE 6919517.985
AT ITER 1773 NEW BEST:: SOT 20586912 SOS 10946985 HAS SOPS 10946985 HAS SOUS 6908449 HAS SOUPS 6908449 WITH SCORE 6919395.985
AT ITER 1776 NEW BEST:: SOT 20586752 SOS 10946816 HAS SOPS 10946816 HAS SOUS 6908298 HAS SOUPS 6908298 WITH SCORE 6919244.816
AT ITER 1778 NEW BEST:: SOT 20586648 SOS 10946608 HAS SOPS 10946608 HAS SOUS 6908090 HAS SOUPS 6908090 WITH SCORE 6919036.608
AT ITER 1782 NEW BEST:: SOT 20584882 SOS 10944799 HAS SOPS 10944799 HAS SOUS 6906940 HAS SOUPS 6906940 WITH SCORE 6917884.799
AT ITER 1783 NEW BEST:: SOT 20583932 SOS 10942899 HAS SOPS 10942899 HAS SOUS 6904628 HAS SOUPS 6904628 WITH SCORE 6915570.899
AT ITER 1785 NEW BEST:: SOT 20583932 SOS 10942400 HAS SOPS 10942400 HAS SOUS 6904129 HAS SOUPS 6904129 WITH SCORE 6915071.4
AT ITER 1786 NEW BEST:: SOT 20582844 SOS 10941263 HAS SOPS 10941263 HAS SOUS 6903041 HAS SOUPS 6903041 WITH SCORE 6913982.263
AT ITER 1787 NEW BEST:: SOT 20584757 SOS 10942477 HAS SOPS 10942477 HAS SOUS 6902342 HAS SOUPS 6902342 WITH SCORE 6913284.477
AT ITER 1795 NEW BEST:: SOT 20584429 SOS 10942262 HAS SOPS 10942262 HAS SOUS 6902294 HAS SOUPS 6902294 WITH SCORE 6913236.262
AT ITER 1796 NEW BEST:: SOT 20584429 SOS 10942262 HAS SOPS 10942262 HAS SOUS 6900806 HAS SOUPS 6900806 WITH SCORE 6911748.262
AT ITER 1800 NEW BEST:: SOT 20584429 SOS 10940844 HAS SOPS 10940844 HAS SOUS 6897154 HAS SOUPS 6897154 WITH SCORE 6908094.844
AT ITER 1801 NEW BEST:: SOT 20584854 SOS 10938958 HAS SOPS 10938958 HAS SOUS 6896568 HAS SOUPS 6896568 WITH SCORE 6907506.958
AT ITER 1802 NEW BEST:: SOT 20584854 SOS 10938958 HAS SOPS 10938958 HAS SOUS 6896274 HAS SOUPS 6896274 WITH SCORE 6907212.958
AT ITER 1803 NEW BEST:: SOT 20585009 SOS 10903304 HAS SOPS 10903304 HAS SOUS 6896274 HAS SOUPS 6896274 WITH SCORE 6907177.304
AT ITER 1809 NEW BEST:: SOT 20582717 SOS 10900975 HAS SOPS 10900975 HAS SOUS 6893982 HAS SOUPS 6893982 WITH SCORE 6904882.975
AT ITER 1811 NEW BEST:: SOT 20582163 SOS 10899873 HAS SOPS 10899873 HAS SOUS 6893428 HAS SOUPS 6893428 WITH SCORE 6904327.873
AT ITER 1814 NEW BEST:: SOT 20582501 SOS 10895537 HAS SOPS 10895537 HAS SOUS 6891728 HAS SOUPS 6891728 WITH SCORE 6902623.537
AT ITER 1815 NEW BEST:: SOT 20582501 SOS 10895537 HAS SOPS 10895537 HAS SOUS 6891243 HAS SOUPS 6891243 WITH SCORE 6902138.537
AT ITER 1816 NEW BEST:: SOT 20582830 SOS 10896195 HAS SOPS 10896195 HAS SOUS 6888402 HAS SOUPS 6888402 WITH SCORE 6899298.195
AT ITER 1820 NEW BEST:: SOT 20581769 SOS 10895085 HAS SOPS 10895085 HAS SOUS 6887341 HAS SOUPS 6887341 WITH SCORE 6898236.085
AT ITER 1827 NEW BEST:: SOT 20581769 SOS 10893861 HAS SOPS 10893861 HAS SOUS 6885301 HAS SOUPS 6885301 WITH SCORE 6896194.861
AT ITER 1829 NEW BEST:: SOT 20580940 SOS 10893032 HAS SOPS 10893032 HAS SOUS 6884472 HAS SOUPS 6884472 WITH SCORE 6895365.032
AT ITER 1832 NEW BEST:: SOT 20580801 SOS 10892754 HAS SOPS 10892754 HAS SOUS 6883650 HAS SOUPS 6883650 WITH SCORE 6894542.754
AT ITER 1838 NEW BEST:: SOT 20580801 SOS 10890399 HAS SOPS 10890399 HAS SOUS 6883650 HAS SOUPS 6883650 WITH SCORE 6894540.399
AT ITER 1842 NEW BEST:: SOT 20578300 SOS 10887855 HAS SOPS 10887855 HAS SOUS 6881149 HAS SOUPS 6881149 WITH SCORE 6892036.855
AT ITER 1848 NEW BEST:: SOT 20578898 SOS 10887819 HAS SOPS 10887819 HAS SOUS 6881113 HAS SOUPS 6881113 WITH SCORE 6892000.819
AT ITER 1854 NEW BEST:: SOT 20578898 SOS 10888086 HAS SOPS 10888086 HAS SOUS 6880948 HAS SOUPS 6880948 WITH SCORE 6891836.086
AT ITER 1855 NEW BEST:: SOT 20578898 SOS 10888086 HAS SOPS 10888086 HAS SOUS 6880128 HAS SOUPS 6880128 WITH SCORE 6891016.086
AT ITER 1857 NEW BEST:: SOT 20578898 SOS 10887673 HAS SOPS 10887673 HAS SOUS 6880126 HAS SOUPS 6880126 WITH SCORE 6891013.673
AT ITER 1861 NEW BEST:: SOT 20578019 SOS 10885915 HAS SOPS 10885915 HAS SOUS 6878368 HAS SOUPS 6878368 WITH SCORE 6889253.915
AT ITER 1866 NEW BEST:: SOT 20576470 SOS 10882817 HAS SOPS 10882817 HAS SOUS 6875661 HAS SOUPS 6875661 WITH SCORE 6886543.817
AT ITER 1867 NEW BEST:: SOT 20548217 SOS 10863555 HAS SOPS 10863555 HAS SOUS 6847488 HAS SOUPS 6847488 WITH SCORE 6858351.555
AT ITER 1868 NEW BEST:: SOT 20547503 SOS 10862127 HAS SOPS 10862127 HAS SOUS 6846060 HAS SOUPS 6846060 WITH SCORE 6856922.127
AT ITER 1871 NEW BEST:: SOT 20547503 SOS 10860954 HAS SOPS 10860954 HAS SOUS 6844887 HAS SOUPS 6844887 WITH SCORE 6855747.954
AT ITER 1881 NEW BEST:: SOT 20546814 SOS 10858041 HAS SOPS 10858041 HAS SOUS 6844198 HAS SOUPS 6844198 WITH SCORE 6855056.041
AT ITER 1883 NEW BEST:: SOT 20547675 SOS 10859763 HAS SOPS 10859763 HAS SOUS 6843820 HAS SOUPS 6843820 WITH SCORE 6854679.763
AT ITER 1884 NEW BEST:: SOT 20509654 SOS 10932064 HAS SOPS 10932064 HAS SOUS 6808526 HAS SOUPS 6808526 WITH SCORE 6819458.064
AT ITER 1888 NEW BEST:: SOT 20509654 SOS 10931990 HAS SOPS 10931990 HAS SOUS 6807914 HAS SOUPS 6807914 WITH SCORE 6818845.99
AT ITER 1889 NEW BEST:: SOT 20509654 SOS 10930529 HAS SOPS 10930529 HAS SOUS 6806160 HAS SOUPS 6806160 WITH SCORE 6817090.529
AT ITER 1890 NEW BEST:: SOT 20511478 SOS 10931839 HAS SOPS 10931839 HAS SOUS 6805893 HAS SOUPS 6805893 WITH SCORE 6816824.839
AT ITER 1891 NEW BEST:: SOT 20511478 SOS 10930576 HAS SOPS 10930576 HAS SOUS 6805349 HAS SOUPS 6805349 WITH SCORE 6816279.576
AT ITER 1894 NEW BEST:: SOT 20510763 SOS 10928088 HAS SOPS 10928088 HAS SOUS 6804805 HAS SOUPS 6804805 WITH SCORE 6815733.088
AT ITER 1906 NEW BEST:: SOT 20510711 SOS 10927984 HAS SOPS 10927984 HAS SOUS 6804753 HAS SOUPS 6804753 WITH SCORE 6815680.984
AT ITER 1916 NEW BEST:: SOT 20510711 SOS 10927984 HAS SOPS 10927984 HAS SOUS 6804751 HAS SOUPS 6804751 WITH SCORE 6815678.984
AT ITER 1918 NEW BEST:: SOT 20510184 SOS 10924380 HAS SOPS 10924380 HAS SOUS 6803719 HAS SOUPS 6803719 WITH SCORE 6814643.38
AT ITER 1919 NEW BEST:: SOT 20510027 SOS 10924223 HAS SOPS 10924223 HAS SOUS 6803562 HAS SOUPS 6803562 WITH SCORE 6814486.223
AT ITER 1920 NEW BEST:: SOT 20509082 SOS 10923228 HAS SOPS 10923228 HAS SOUS 6802617 HAS SOUPS 6802617 WITH SCORE 6813540.228
AT ITER 1927 NEW BEST:: SOT 20509273 SOS 10920803 HAS SOPS 10920803 HAS SOUS 6800170 HAS SOUPS 6800170 WITH SCORE 6811090.803
AT ITER 1933 NEW BEST:: SOT 20506003 SOS 10917740 HAS SOPS 10917740 HAS SOUS 6797525 HAS SOUPS 6797525 WITH SCORE 6808442.74
AT ITER 1938 NEW BEST:: SOT 20506003 SOS 10917283 HAS SOPS 10917283 HAS SOUS 6796771 HAS SOUPS 6796771 WITH SCORE 6807688.283
AT ITER 1946 NEW BEST:: SOT 20506003 SOS 10916817 HAS SOPS 10916817 HAS SOUS 6795285 HAS SOUPS 6795285 WITH SCORE 6806201.817
AT ITER 1947 NEW BEST:: SOT 20506003 SOS 10916814 HAS SOPS 10916814 HAS SOUS 6795232 HAS SOUPS 6795232 WITH SCORE 6806148.814
AT ITER 1954 NEW BEST:: SOT 20504907 SOS 10915291 HAS SOPS 10915291 HAS SOUS 6794898 HAS SOUPS 6794898 WITH SCORE 6805813.291
AT ITER 1959 NEW BEST:: SOT 20504907 SOS 10915292 HAS SOPS 10915292 HAS SOUS 6794535 HAS SOUPS 6794535 WITH SCORE 6805450.292
AT ITER 1961 NEW BEST:: SOT 20504866 SOS 10915251 HAS SOPS 10915251 HAS SOUS 6794494 HAS SOUPS 6794494 WITH SCORE 6805409.251
AT ITER 1968 NEW BEST:: SOT 20504866 SOS 10915251 HAS SOPS 10915251 HAS SOUS 6793600 HAS SOUPS 6793600 WITH SCORE 6804515.251
AT ITER 1977 NEW BEST:: SOT 20504445 SOS 10914830 HAS SOPS 10914830 HAS SOUS 6793515 HAS SOUPS 6793515 WITH SCORE 6804429.83
AT ITER 1981 NEW BEST:: SOT 20504445 SOS 10914199 HAS SOPS 10914199 HAS SOUS 6793514 HAS SOUPS 6793514 WITH SCORE 6804428.199
AT ITER 1982 NEW BEST:: SOT 20505024 SOS 10912665 HAS SOPS 10912665 HAS SOUS 6792617 HAS SOUPS 6792617 WITH SCORE 6803529.665
AT ITER 1987 NEW BEST:: SOT 20505024 SOS 10912660 HAS SOPS 10912660 HAS SOUS 6792612 HAS SOUPS 6792612 WITH SCORE 6803524.66
AT ITER 1989 NEW BEST:: SOT 20503553 SOS 10909718 HAS SOPS 10909718 HAS SOUS 6791665 HAS SOUPS 6791665 WITH SCORE 6802574.718
AT ITER 1991 NEW BEST:: SOT 20503755 SOS 10910008 HAS SOPS 10910008 HAS SOUS 6791303 HAS SOUPS 6791303 WITH SCORE 6802213.008
AT ITER 1995 NEW BEST:: SOT 20502495 SOS 10908748 HAS SOPS 10908748 HAS SOUS 6791303 HAS SOUPS 6791303 WITH SCORE 6802211.748
AT ITER 1999 NEW BEST:: SOT 20502411 SOS 10908664 HAS SOPS 10908664 HAS SOUS 6791303 HAS SOUPS 6791303 WITH SCORE 6802211.664
AT ITER 2000 NEW BEST:: SOT 20501812 SOS 10903918 HAS SOPS 10903918 HAS SOUS 6788329 HAS SOUPS 6788329 WITH SCORE 6799232.918
AT ITER 2002 NEW BEST:: SOT 20501234 SOS 10903045 HAS SOPS 10903045 HAS SOUS 6788051 HAS SOUPS 6788051 WITH SCORE 6798954.045
AT ITER 2006 NEW BEST:: SOT 20500562 SOS 10901029 HAS SOPS 10901029 HAS SOUS 6787379 HAS SOUPS 6787379 WITH SCORE 6798280.029
AT ITER 2010 NEW BEST:: SOT 20500799 SOS 10900671 HAS SOPS 10900671 HAS SOUS 6786920 HAS SOUPS 6786920 WITH SCORE 6797820.671
AT ITER 2019 NEW BEST:: SOT 20497789 SOS 10897622 HAS SOPS 10897622 HAS SOUS 6783919 HAS SOUPS 6783919 WITH SCORE 6794816.622
AT ITER 2021 NEW BEST:: SOT 20497789 SOS 10897622 HAS SOPS 10897622 HAS SOUS 6783093 HAS SOUPS 6783093 WITH SCORE 6793990.622
AT ITER 2025 NEW BEST:: SOT 20499005 SOS 10897764 HAS SOPS 10897764 HAS SOUS 6781485 HAS SOUPS 6781485 WITH SCORE 6792382.764
AT ITER 2026 NEW BEST:: SOT 20499311 SOS 10896097 HAS SOPS 10896097 HAS SOUS 6780404 HAS SOUPS 6780404 WITH SCORE 6791300.097
AT ITER 2033 NEW BEST:: SOT 20499311 SOS 10896097 HAS SOPS 10896097 HAS SOUS 6779240 HAS SOUPS 6779240 WITH SCORE 6790136.097
AT ITER 2035 NEW BEST:: SOT 20499311 SOS 10896097 HAS SOPS 10896097 HAS SOUS 6779238 HAS SOUPS 6779238 WITH SCORE 6790134.097
AT ITER 2037 NEW BEST:: SOT 20499311 SOS 10896097 HAS SOPS 10896097 HAS SOUS 6779046 HAS SOUPS 6779046 WITH SCORE 6789942.097
AT ITER 2039 NEW BEST:: SOT 20499945 SOS 10897941 HAS SOPS 10897941 HAS SOUS 6777742 HAS SOUPS 6777742 WITH SCORE 6788639.941
AT ITER 2043 NEW BEST:: SOT 20500001 SOS 10893919 HAS SOPS 10893919 HAS SOUS 6775764 HAS SOUPS 6775764 WITH SCORE 6786657.919
AT ITER 2050 NEW BEST:: SOT 20502046 SOS 10648422 HAS SOPS 10648422 HAS SOUS 6775249 HAS SOUPS 6775249 WITH SCORE 6785897.422
AT ITER 2053 NEW BEST:: SOT 20500621 SOS 10646951 HAS SOPS 10646951 HAS SOUS 6773824 HAS SOUPS 6773824 WITH SCORE 6784470.951
AT ITER 2055 NEW BEST:: SOT 20500621 SOS 10646951 HAS SOPS 10646951 HAS SOUS 6773436 HAS SOUPS 6773436 WITH SCORE 6784082.951
AT ITER 2057 NEW BEST:: SOT 20500203 SOS 10645333 HAS SOPS 10645333 HAS SOUS 6772130 HAS SOUPS 6772130 WITH SCORE 6782775.333
AT ITER 2058 NEW BEST:: SOT 20500535 SOS 10643267 HAS SOPS 10643267 HAS SOUS 6771784 HAS SOUPS 6771784 WITH SCORE 6782427.267
AT ITER 2062 NEW BEST:: SOT 20500535 SOS 10643267 HAS SOPS 10643267 HAS SOUS 6771229 HAS SOUPS 6771229 WITH SCORE 6781872.267
AT ITER 2065 NEW BEST:: SOT 20500864 SOS 10640910 HAS SOPS 10640910 HAS SOUS 6770018 HAS SOUPS 6770018 WITH SCORE 6780658.91
AT ITER 2066 NEW BEST:: SOT 20500864 SOS 10640792 HAS SOPS 10640792 HAS SOUS 6770018 HAS SOUPS 6770018 WITH SCORE 6780658.792
AT ITER 2069 NEW BEST:: SOT 20499952 SOS 10638968 HAS SOPS 10638968 HAS SOUS 6769106 HAS SOUPS 6769106 WITH SCORE 6779744.968
AT ITER 2070 NEW BEST:: SOT 20481079 SOS 10746026 HAS SOPS 10746026 HAS SOUS 6759857 HAS SOUPS 6759857 WITH SCORE 6770603.026
AT ITER 2078 NEW BEST:: SOT 20479588 SOS 10744494 HAS SOPS 10744494 HAS SOUS 6758366 HAS SOUPS 6758366 WITH SCORE 6769110.494
AT ITER 2081 NEW BEST:: SOT 20477924 SOS 10743114 HAS SOPS 10743114 HAS SOUS 6757398 HAS SOUPS 6757398 WITH SCORE 6768141.114
AT ITER 2089 NEW BEST:: SOT 20476850 SOS 10741723 HAS SOPS 10741723 HAS SOUS 6756764 HAS SOUPS 6756764 WITH SCORE 6767505.723
AT ITER 2091 NEW BEST:: SOT 20476850 SOS 10740932 HAS SOPS 10740932 HAS SOUS 6756759 HAS SOUPS 6756759 WITH SCORE 6767499.932
AT ITER 2098 NEW BEST:: SOT 20476850 SOS 10741547 HAS SOPS 10741547 HAS SOUS 6756335 HAS SOUPS 6756335 WITH SCORE 6767076.547
AT ITER 2100 NEW BEST:: SOT 20476583 SOS 10741280 HAS SOPS 10741280 HAS SOUS 6755548 HAS SOUPS 6755548 WITH SCORE 6766289.28
AT ITER 2105 NEW BEST:: SOT 20474409 SOS 10739105 HAS SOPS 10739105 HAS SOUS 6755547 HAS SOUPS 6755547 WITH SCORE 6766286.105
AT ITER 2112 NEW BEST:: SOT 20472641 SOS 10737955 HAS SOPS 10737955 HAS SOUS 6755075 HAS SOUPS 6755075 WITH SCORE 6765812.955
AT ITER 2113 NEW BEST:: SOT 20472634 SOS 10737895 HAS SOPS 10737895 HAS SOUS 6755068 HAS SOUPS 6755068 WITH SCORE 6765805.895
AT ITER 2116 NEW BEST:: SOT 20472096 SOS 10736819 HAS SOPS 10736819 HAS SOUS 6753992 HAS SOUPS 6753992 WITH SCORE 6764728.819
AT ITER 2120 NEW BEST:: SOT 20472096 SOS 10736077 HAS SOPS 10736077 HAS SOUS 6753992 HAS SOUPS 6753992 WITH SCORE 6764728.077
AT ITER 2124 NEW BEST:: SOT 20471953 SOS 10735506 HAS SOPS 10735506 HAS SOUS 6753849 HAS SOUPS 6753849 WITH SCORE 6764584.506
AT ITER 2128 NEW BEST:: SOT 20471912 SOS 10735465 HAS SOPS 10735465 HAS SOUS 6753808 HAS SOUPS 6753808 WITH SCORE 6764543.465
AT ITER 2143 NEW BEST:: SOT 20471912 SOS 10722585 HAS SOPS 10722585 HAS SOUS 6753044 HAS SOUPS 6753044 WITH SCORE 6763766.585
AT ITER 2153 NEW BEST:: SOT 20473452 SOS 10723376 HAS SOPS 10723376 HAS SOUS 6751764 HAS SOUPS 6751764 WITH SCORE 6762487.376
AT ITER 2162 NEW BEST:: SOT 20473452 SOS 10722409 HAS SOPS 10722409 HAS SOUS 6751261 HAS SOUPS 6751261 WITH SCORE 6761983.409
AT ITER 2168 NEW BEST:: SOT 20470734 SOS 10716973 HAS SOPS 10716973 HAS SOUS 6746269 HAS SOUPS 6746269 WITH SCORE 6756985.973
AT ITER 2169 NEW BEST:: SOT 20469619 SOS 10712544 HAS SOPS 10712544 HAS SOUS 6744128 HAS SOUPS 6744128 WITH SCORE 6754840.544
AT ITER 2170 NEW BEST:: SOT 20469619 SOS 10712544 HAS SOPS 10712544 HAS SOUS 6743764 HAS SOUPS 6743764 WITH SCORE 6754476.544
AT ITER 2172 NEW BEST:: SOT 20467208 SOS 10707722 HAS SOPS 10707722 HAS SOUS 6739623 HAS SOUPS 6739623 WITH SCORE 6750330.722
AT ITER 2177 NEW BEST:: SOT 20467208 SOS 10707722 HAS SOPS 10707722 HAS SOUS 6738707 HAS SOUPS 6738707 WITH SCORE 6749414.722
AT ITER 2178 NEW BEST:: SOT 20467208 SOS 10707923 HAS SOPS 10707923 HAS SOUS 6738112 HAS SOUPS 6738112 WITH SCORE 6748819.923
AT ITER 2184 NEW BEST:: SOT 20466566 SOS 10707281 HAS SOPS 10707281 HAS SOUS 6737160 HAS SOUPS 6737160 WITH SCORE 6747867.281
AT ITER 2190 NEW BEST:: SOT 20465004 SOS 10704242 HAS SOPS 10704242 HAS SOUS 6733562 HAS SOUPS 6733562 WITH SCORE 6744266.242
AT ITER 2194 NEW BEST:: SOT 20463513 SOS 10702751 HAS SOPS 10702751 HAS SOUS 6732071 HAS SOUPS 6732071 WITH SCORE 6742773.751
AT ITER 2197 NEW BEST:: SOT 20463025 SOS 10701287 HAS SOPS 10701287 HAS SOUS 6731095 HAS SOUPS 6731095 WITH SCORE 6741796.287
AT ITER 2200 NEW BEST:: SOT 20463024 SOS 10701286 HAS SOPS 10701286 HAS SOUS 6731094 HAS SOUPS 6731094 WITH SCORE 6741795.286
AT ITER 2203 NEW BEST:: SOT 20461297 SOS 10700699 HAS SOPS 10700699 HAS SOUS 6730927 HAS SOUPS 6730927 WITH SCORE 6741627.699
AT ITER 2204 NEW BEST:: SOT 20461041 SOS 10700187 HAS SOPS 10700187 HAS SOUS 6730671 HAS SOUPS 6730671 WITH SCORE 6741371.187
AT ITER 2207 NEW BEST:: SOT 20460503 SOS 10699111 HAS SOPS 10699111 HAS SOUS 6729320 HAS SOUPS 6729320 WITH SCORE 6740019.111
AT ITER 2208 NEW BEST:: SOT 20460314 SOS 10699003 HAS SOPS 10699003 HAS SOUS 6729131 HAS SOUPS 6729131 WITH SCORE 6739830.003
AT ITER 2211 NEW BEST:: SOT 20459925 SOS 10698614 HAS SOPS 10698614 HAS SOUS 6728742 HAS SOUPS 6728742 WITH SCORE 6739440.614
AT ITER 2215 NEW BEST:: SOT 20460478 SOS 10697432 HAS SOPS 10697432 HAS SOUS 6725823 HAS SOUPS 6725823 WITH SCORE 6736520.432
AT ITER 2224 NEW BEST:: SOT 20460478 SOS 10697432 HAS SOPS 10697432 HAS SOUS 6725296 HAS SOUPS 6725296 WITH SCORE 6735993.432
AT ITER 2226 NEW BEST:: SOT 20459969 SOS 10696414 HAS SOPS 10696414 HAS SOUS 6723634 HAS SOUPS 6723634 WITH SCORE 6734330.414
AT ITER 2227 NEW BEST:: SOT 20460584 SOS 10695320 HAS SOPS 10695320 HAS SOUS 6723560 HAS SOUPS 6723560 WITH SCORE 6734255.32
AT ITER 2228 NEW BEST:: SOT 20459409 SOS 10692970 HAS SOPS 10692970 HAS SOUS 6720677 HAS SOUPS 6720677 WITH SCORE 6731369.97
AT ITER 2239 NEW BEST:: SOT 20459364 SOS 10692925 HAS SOPS 10692925 HAS SOUS 6720631 HAS SOUPS 6720631 WITH SCORE 6731323.925
AT ITER 2244 NEW BEST:: SOT 20460422 SOS 10694593 HAS SOPS 10694593 HAS SOUS 6720586 HAS SOUPS 6720586 WITH SCORE 6731280.593
AT ITER 2249 NEW BEST:: SOT 20459805 SOS 10694233 HAS SOPS 10694233 HAS SOUS 6719969 HAS SOUPS 6719969 WITH SCORE 6730663.233
AT ITER 2252 NEW BEST:: SOT 20460228 SOS 10692453 HAS SOPS 10692453 HAS SOUS 6719290 HAS SOUPS 6719290 WITH SCORE 6729982.453
AT ITER 2253 NEW BEST:: SOT 20457361 SOS 10687258 HAS SOPS 10687258 HAS SOUS 6717022 HAS SOUPS 6717022 WITH SCORE 6727709.258
AT ITER 2264 NEW BEST:: SOT 20456818 SOS 10685086 HAS SOPS 10685086 HAS SOUS 6715934 HAS SOUPS 6715934 WITH SCORE 6726619.086
AT ITER 2267 NEW BEST:: SOT 20456173 SOS 10684398 HAS SOPS 10684398 HAS SOUS 6715355 HAS SOUPS 6715355 WITH SCORE 6726039.398
AT ITER 2273 NEW BEST:: SOT 20455994 SOS 10684040 HAS SOPS 10684040 HAS SOUS 6715131 HAS SOUPS 6715131 WITH SCORE 6725815.04
AT ITER 2274 NEW BEST:: SOT 20455415 SOS 10683461 HAS SOPS 10683461 HAS SOUS 6714552 HAS SOUPS 6714552 WITH SCORE 6725235.461
AT ITER 2275 NEW BEST:: SOT 20454955 SOS 10681621 HAS SOPS 10681621 HAS SOUS 6714092 HAS SOUPS 6714092 WITH SCORE 6724773.621
AT ITER 2281 NEW BEST:: SOT 20453738 SOS 10680404 HAS SOPS 10680404 HAS SOUS 6710107 HAS SOUPS 6710107 WITH SCORE 6720787.404
AT ITER 2283 NEW BEST:: SOT 20452740 SOS 10678407 HAS SOPS 10678407 HAS SOUS 6710105 HAS SOUPS 6710105 WITH SCORE 6720783.407
AT ITER 2284 NEW BEST:: SOT 20452740 SOS 10678407 HAS SOPS 10678407 HAS SOUS 6709907 HAS SOUPS 6709907 WITH SCORE 6720585.407
AT ITER 2292 NEW BEST:: SOT 20454361 SOS 10679869 HAS SOPS 10679869 HAS SOUS 6708339 HAS SOUPS 6708339 WITH SCORE 6719018.869
AT ITER 2294 NEW BEST:: SOT 20454346 SOS 10679854 HAS SOPS 10679854 HAS SOUS 6708339 HAS SOUPS 6708339 WITH SCORE 6719018.854
AT ITER 2295 NEW BEST:: SOT 20453666 SOS 10677134 HAS SOPS 10677134 HAS SOUS 6706978 HAS SOUPS 6706978 WITH SCORE 6717655.134
AT ITER 2296 NEW BEST:: SOT 20453666 SOS 10676181 HAS SOPS 10676181 HAS SOUS 6704326 HAS SOUPS 6704326 WITH SCORE 6715002.181
AT ITER 2298 NEW BEST:: SOT 20452871 SOS 10673001 HAS SOPS 10673001 HAS SOUS 6702509 HAS SOUPS 6702509 WITH SCORE 6713182.001
AT ITER 2307 NEW BEST:: SOT 20452747 SOS 10672877 HAS SOPS 10672877 HAS SOUS 6702385 HAS SOUPS 6702385 WITH SCORE 6713057.877
AT ITER 2310 NEW BEST:: SOT 20452747 SOS 10672877 HAS SOPS 10672877 HAS SOUS 6702180 HAS SOUPS 6702180 WITH SCORE 6712852.877
AT ITER 2312 NEW BEST:: SOT 20452747 SOS 10672877 HAS SOPS 10672877 HAS SOUS 6701641 HAS SOUPS 6701641 WITH SCORE 6712313.877
AT ITER 2318 NEW BEST:: SOT 20452436 SOS 10673866 HAS SOPS 10673866 HAS SOUS 6701572 HAS SOUPS 6701572 WITH SCORE 6712245.866
AT ITER 2320 NEW BEST:: SOT 20452436 SOS 10673866 HAS SOPS 10673866 HAS SOUS 6701475 HAS SOUPS 6701475 WITH SCORE 6712148.866
AT ITER 2337 NEW BEST:: SOT 20452418 SOS 10673830 HAS SOPS 10673830 HAS SOUS 6701439 HAS SOUPS 6701439 WITH SCORE 6712112.83
AT ITER 2347 NEW BEST:: SOT 20452495 SOS 10670454 HAS SOPS 10670454 HAS SOUS 6700961 HAS SOUPS 6700961 WITH SCORE 6711631.454
AT ITER 2349 NEW BEST:: SOT 20452459 SOS 10669186 HAS SOPS 10669186 HAS SOUS 6700925 HAS SOUPS 6700925 WITH SCORE 6711594.186
AT ITER 2351 NEW BEST:: SOT 20449651 SOS 10666742 HAS SOPS 10666742 HAS SOUS 6698520 HAS SOUPS 6698520 WITH SCORE 6709186.742
AT ITER 2357 NEW BEST:: SOT 20447499 SOS 10664614 HAS SOPS 10664614 HAS SOUS 6697564 HAS SOUPS 6697564 WITH SCORE 6708228.614
AT ITER 2359 NEW BEST:: SOT 20447499 SOS 10664614 HAS SOPS 10664614 HAS SOUS 6697172 HAS SOUPS 6697172 WITH SCORE 6707836.614
AT ITER 2360 NEW BEST:: SOT 20448153 SOS 10665854 HAS SOPS 10665854 HAS SOUS 6697126 HAS SOUPS 6697126 WITH SCORE 6707791.854
AT ITER 2363 NEW BEST:: SOT 20447932 SOS 10665256 HAS SOPS 10665256 HAS SOUS 6696455 HAS SOUPS 6696455 WITH SCORE 6707120.256
AT ITER 2366 NEW BEST:: SOT 20447932 SOS 10665256 HAS SOPS 10665256 HAS SOUS 6696203 HAS SOUPS 6696203 WITH SCORE 6706868.256
AT ITER 2371 NEW BEST:: SOT 20447932 SOS 10665256 HAS SOPS 10665256 HAS SOUS 6695885 HAS SOUPS 6695885 WITH SCORE 6706550.256
AT ITER 2375 NEW BEST:: SOT 20449295 SOS 10667982 HAS SOPS 10667982 HAS SOUS 6695793 HAS SOUPS 6695793 WITH SCORE 6706460.982
AT ITER 2390 NEW BEST:: SOT 20448460 SOS 10666312 HAS SOPS 10666312 HAS SOUS 6695311 HAS SOUPS 6695311 WITH SCORE 6705977.312
AT ITER 2395 NEW BEST:: SOT 20447531 SOS 10665383 HAS SOPS 10665383 HAS SOUS 6694382 HAS SOUPS 6694382 WITH SCORE 6705047.383
AT ITER 2397 NEW BEST:: SOT 20446563 SOS 10664421 HAS SOPS 10664421 HAS SOUS 6693572 HAS SOUPS 6693572 WITH SCORE 6704236.421
AT ITER 2406 NEW BEST:: SOT 20446563 SOS 10664421 HAS SOPS 10664421 HAS SOUS 6692618 HAS SOUPS 6692618 WITH SCORE 6703282.421
AT ITER 2407 NEW BEST:: SOT 20446733 SOS 10630788 HAS SOPS 10630788 HAS SOUS 6691128 HAS SOUPS 6691128 WITH SCORE 6701758.788
AT ITER 2409 NEW BEST:: SOT 20446788 SOS 10628218 HAS SOPS 10628218 HAS SOUS 6690865 HAS SOUPS 6690865 WITH SCORE 6701493.218
AT ITER 2410 NEW BEST:: SOT 20446672 SOS 10628102 HAS SOPS 10628102 HAS SOUS 6690749 HAS SOUPS 6690749 WITH SCORE 6701377.102
AT ITER 2411 NEW BEST:: SOT 20446672 SOS 10627584 HAS SOPS 10627584 HAS SOUS 6690675 HAS SOUPS 6690675 WITH SCORE 6701302.584
AT ITER 2412 NEW BEST:: SOT 20446672 SOS 10627179 HAS SOPS 10627179 HAS SOUS 6690050 HAS SOUPS 6690050 WITH SCORE 6700677.179
AT ITER 2413 NEW BEST:: SOT 20446543 SOS 10626921 HAS SOPS 10626921 HAS SOUS 6689921 HAS SOUPS 6689921 WITH SCORE 6700547.921
AT ITER 2428 NEW BEST:: SOT 20445906 SOS 10625647 HAS SOPS 10625647 HAS SOUS 6688511 HAS SOUPS 6688511 WITH SCORE 6699136.647
AT ITER 2432 NEW BEST:: SOT 20445906 SOS 10624931 HAS SOPS 10624931 HAS SOUS 6688153 HAS SOUPS 6688153 WITH SCORE 6698777.931
AT ITER 2433 NEW BEST:: SOT 20446911 SOS 10623817 HAS SOPS 10623817 HAS SOUS 6688098 HAS SOUPS 6688098 WITH SCORE 6698721.817
AT ITER 2436 NEW BEST:: SOT 20447359 SOS 10621627 HAS SOPS 10621627 HAS SOUS 6687578 HAS SOUPS 6687578 WITH SCORE 6698199.627
AT ITER 2438 NEW BEST:: SOT 20435054 SOS 10611443 HAS SOPS 10611443 HAS SOUS 6675687 HAS SOUPS 6675687 WITH SCORE 6686298.443
AT ITER 2441 NEW BEST:: SOT 20435054 SOS 10611443 HAS SOPS 10611443 HAS SOUS 6675674 HAS SOUPS 6675674 WITH SCORE 6686285.443
AT ITER 2443 NEW BEST:: SOT 20434247 SOS 10611126 HAS SOPS 10611126 HAS SOUS 6674998 HAS SOUPS 6674998 WITH SCORE 6685609.126
AT ITER 2447 NEW BEST:: SOT 20434227 SOS 10611106 HAS SOPS 10611106 HAS SOUS 6674998 HAS SOUPS 6674998 WITH SCORE 6685609.106
AT ITER 2449 NEW BEST:: SOT 20434227 SOS 10611106 HAS SOPS 10611106 HAS SOUS 6674997 HAS SOUPS 6674997 WITH SCORE 6685608.106
AT ITER 2453 NEW BEST:: SOT 20433703 SOS 10610058 HAS SOPS 10610058 HAS SOUS 6674473 HAS SOUPS 6674473 WITH SCORE 6685083.058
AT ITER 2460 NEW BEST:: SOT 20433694 SOS 10610040 HAS SOPS 10610040 HAS SOUS 6674464 HAS SOUPS 6674464 WITH SCORE 6685074.04
AT ITER 2464 NEW BEST:: SOT 20433795 SOS 10605790 HAS SOPS 10605790 HAS SOUS 6674299 HAS SOUPS 6674299 WITH SCORE 6684904.79
AT ITER 2465 NEW BEST:: SOT 20433795 SOS 10604715 HAS SOPS 10604715 HAS SOUS 6673224 HAS SOUPS 6673224 WITH SCORE 6683828.715
AT ITER 2469 NEW BEST:: SOT 20433795 SOS 10604245 HAS SOPS 10604245 HAS SOUS 6672924 HAS SOUPS 6672924 WITH SCORE 6683528.245
AT ITER 2470 NEW BEST:: SOT 20434396 SOS 10605447 HAS SOPS 10605447 HAS SOUS 6670598 HAS SOUPS 6670598 WITH SCORE 6681203.447
AT ITER 2471 NEW BEST:: SOT 20434226 SOS 10605107 HAS SOPS 10605107 HAS SOUS 6670258 HAS SOUPS 6670258 WITH SCORE 6680863.107
AT ITER 2476 NEW BEST:: SOT 20433376 SOS 10601759 HAS SOPS 10601759 HAS SOUS 6669408 HAS SOUPS 6669408 WITH SCORE 6680009.759
AT ITER 2485 NEW BEST:: SOT 20431604 SOS 10598215 HAS SOPS 10598215 HAS SOUS 6667636 HAS SOUPS 6667636 WITH SCORE 6678234.215
AT ITER 2486 NEW BEST:: SOT 20365716 SOS 10565280 HAS SOPS 10565280 HAS SOUS 6603273 HAS SOUPS 6603273 WITH SCORE 6613838.28
AT ITER 2490 NEW BEST:: SOT 20365192 SOS 10564341 HAS SOPS 10564341 HAS SOUS 6602645 HAS SOUPS 6602645 WITH SCORE 6613209.341
AT ITER 2496 NEW BEST:: SOT 20365192 SOS 10564105 HAS SOPS 10564105 HAS SOUS 6602025 HAS SOUPS 6602025 WITH SCORE 6612589.105
AT ITER 2498 NEW BEST:: SOT 20365192 SOS 10563379 HAS SOPS 10563379 HAS SOUS 6600811 HAS SOUPS 6600811 WITH SCORE 6611374.379
AT ITER 2503 NEW BEST:: SOT 20363464 SOS 10561601 HAS SOPS 10561601 HAS SOUS 6599083 HAS SOUPS 6599083 WITH SCORE 6609644.601
AT ITER 2507 NEW BEST:: SOT 20362694 SOS 10561107 HAS SOPS 10561107 HAS SOUS 6598799 HAS SOUPS 6598799 WITH SCORE 6609360.107
AT ITER 2522 NEW BEST:: SOT 20363861 SOS 10560870 HAS SOPS 10560870 HAS SOUS 6597297 HAS SOUPS 6597297 WITH SCORE 6607857.87
AT ITER 2523 NEW BEST:: SOT 20363861 SOS 10561458 HAS SOPS 10561458 HAS SOUS 6596709 HAS SOUPS 6596709 WITH SCORE 6607270.458
AT ITER 2525 NEW BEST:: SOT 20363656 SOS 10561192 HAS SOPS 10561192 HAS SOUS 6596504 HAS SOUPS 6596504 WITH SCORE 6607065.192
AT ITER 2533 NEW BEST:: SOT 20364063 SOS 10562006 HAS SOPS 10562006 HAS SOUS 6596478 HAS SOUPS 6596478 WITH SCORE 6607040.006
AT ITER 2534 NEW BEST:: SOT 20363267 SOS 10561210 HAS SOPS 10561210 HAS SOUS 6595682 HAS SOUPS 6595682 WITH SCORE 6606243.21
AT ITER 2546 NEW BEST:: SOT 20363267 SOS 10561210 HAS SOPS 10561210 HAS SOUS 6595418 HAS SOUPS 6595418 WITH SCORE 6605979.21
AT ITER 2549 NEW BEST:: SOT 20363267 SOS 10561210 HAS SOPS 10561210 HAS SOUS 6595261 HAS SOUPS 6595261 WITH SCORE 6605822.21
AT ITER 2555 NEW BEST:: SOT 20362741 SOS 10560158 HAS SOPS 10560158 HAS SOUS 6593346 HAS SOUPS 6593346 WITH SCORE 6603906.158
AT ITER 2556 NEW BEST:: SOT 20361550 SOS 10559538 HAS SOPS 10559538 HAS SOUS 6592399 HAS SOUPS 6592399 WITH SCORE 6602958.538
AT ITER 2558 NEW BEST:: SOT 20360688 SOS 10558626 HAS SOPS 10558626 HAS SOUS 6591537 HAS SOUPS 6591537 WITH SCORE 6602095.626
AT ITER 2562 NEW BEST:: SOT 20359795 SOS 10558222 HAS SOPS 10558222 HAS SOUS 6591531 HAS SOUPS 6591531 WITH SCORE 6602089.222
AT ITER 2566 NEW BEST:: SOT 20360617 SOS 10559044 HAS SOPS 10559044 HAS SOUS 6591512 HAS SOUPS 6591512 WITH SCORE 6602071.044
AT ITER 2567 NEW BEST:: SOT 20360357 SOS 10558476 HAS SOPS 10558476 HAS SOUS 6591352 HAS SOUPS 6591352 WITH SCORE 6601910.476
AT ITER 2572 NEW BEST:: SOT 20361010 SOS 10558294 HAS SOPS 10558294 HAS SOUS 6590264 HAS SOUPS 6590264 WITH SCORE 6600822.294
AT ITER 2573 NEW BEST:: SOT 20360625 SOS 10558629 HAS SOPS 10558629 HAS SOUS 6589476 HAS SOUPS 6589476 WITH SCORE 6600034.629
AT ITER 2579 NEW BEST:: SOT 20360625 SOS 10558629 HAS SOPS 10558629 HAS SOUS 6589331 HAS SOUPS 6589331 WITH SCORE 6599889.629
AT ITER 2589 NEW BEST:: SOT 20360335 SOS 10558339 HAS SOPS 10558339 HAS SOUS 6588751 HAS SOUPS 6588751 WITH SCORE 6599309.339
AT ITER 2599 NEW BEST:: SOT 20361083 SOS 10557835 HAS SOPS 10557835 HAS SOUS 6588499 HAS SOUPS 6588499 WITH SCORE 6599056.835
AT ITER 2604 NEW BEST:: SOT 20340599 SOS 10557784 HAS SOPS 10557784 HAS SOUS 6569355 HAS SOUPS 6569355 WITH SCORE 6579912.784
AT ITER 2609 NEW BEST:: SOT 20339685 SOS 10557982 HAS SOPS 10557982 HAS SOUS 6568441 HAS SOUPS 6568441 WITH SCORE 6578998.982
AT ITER 2615 NEW BEST:: SOT 20339918 SOS 10558448 HAS SOPS 10558448 HAS SOUS 6567873 HAS SOUPS 6567873 WITH SCORE 6578431.448
AT ITER 2622 NEW BEST:: SOT 20339918 SOS 10558448 HAS SOPS 10558448 HAS SOUS 6565884 HAS SOUPS 6565884 WITH SCORE 6576442.448
AT ITER 2625 NEW BEST:: SOT 20338078 SOS 10557524 HAS SOPS 10557524 HAS SOUS 6564045 HAS SOUPS 6564045 WITH SCORE 6574602.524
AT ITER 2630 NEW BEST:: SOT 20335405 SOS 10552178 HAS SOPS 10552178 HAS SOUS 6559475 HAS SOUPS 6559475 WITH SCORE 6570027.178
AT ITER 2633 NEW BEST:: SOT 20335405 SOS 10551496 HAS SOPS 10551496 HAS SOUS 6559475 HAS SOUPS 6559475 WITH SCORE 6570026.496
AT ITER 2637 NEW BEST:: SOT 20335405 SOS 10550811 HAS SOPS 10550811 HAS SOUS 6558790 HAS SOUPS 6558790 WITH SCORE 6569340.811
AT ITER 2639 NEW BEST:: SOT 20335405 SOS 10549488 HAS SOPS 10549488 HAS SOUS 6555090 HAS SOUPS 6555090 WITH SCORE 6565639.488
AT ITER 2645 NEW BEST:: SOT 20334622 SOS 10549345 HAS SOPS 10549345 HAS SOUS 6554307 HAS SOUPS 6554307 WITH SCORE 6564856.345
AT ITER 2655 NEW BEST:: SOT 20334622 SOS 10548857 HAS SOPS 10548857 HAS SOUS 6553331 HAS SOUPS 6553331 WITH SCORE 6563879.857
AT ITER 2662 NEW BEST:: SOT 20333822 SOS 10547257 HAS SOPS 10547257 HAS SOUS 6552753 HAS SOUPS 6552753 WITH SCORE 6563300.257
AT ITER 2665 NEW BEST:: SOT 20334566 SOS 10543867 HAS SOPS 10543867 HAS SOUS 6551469 HAS SOUPS 6551469 WITH SCORE 6562012.867
AT ITER 2684 NEW BEST:: SOT 20334172 SOS 10543079 HAS SOPS 10543079 HAS SOUS 6550265 HAS SOUPS 6550265 WITH SCORE 6560808.079
AT ITER 2686 NEW BEST:: SOT 20334172 SOS 10541590 HAS SOPS 10541590 HAS SOUS 6548953 HAS SOUPS 6548953 WITH SCORE 6559494.59
AT ITER 2691 NEW BEST:: SOT 20332732 SOS 10536844 HAS SOPS 10536844 HAS SOUS 6546478 HAS SOUPS 6546478 WITH SCORE 6557014.844
AT ITER 2693 NEW BEST:: SOT 20332984 SOS 10537096 HAS SOPS 10537096 HAS SOUS 6546313 HAS SOUPS 6546313 WITH SCORE 6556850.096
AT ITER 2694 NEW BEST:: SOT 20332900 SOS 10537012 HAS SOPS 10537012 HAS SOUS 6546145 HAS SOUPS 6546145 WITH SCORE 6556682.012
AT ITER 2697 NEW BEST:: SOT 20330454 SOS 10534312 HAS SOPS 10534312 HAS SOUS 6543498 HAS SOUPS 6543498 WITH SCORE 6554032.312
AT ITER 2698 NEW BEST:: SOT 20330454 SOS 10534312 HAS SOPS 10534312 HAS SOUS 6542833 HAS SOUPS 6542833 WITH SCORE 6553367.312
AT ITER 2700 NEW BEST:: SOT 20330454 SOS 10534254 HAS SOPS 10534254 HAS SOUS 6542833 HAS SOUPS 6542833 WITH SCORE 6553367.254
AT ITER 2707 NEW BEST:: SOT 20330551 SOS 10532728 HAS SOPS 10532728 HAS SOUS 6541307 HAS SOUPS 6541307 WITH SCORE 6551839.728
AT ITER 2714 NEW BEST:: SOT 20329870 SOS 10530598 HAS SOPS 10530598 HAS SOUS 6539883 HAS SOUPS 6539883 WITH SCORE 6550413.598
AT ITER 2715 NEW BEST:: SOT 20330389 SOS 10530959 HAS SOPS 10530959 HAS SOUS 6539026 HAS SOUPS 6539026 WITH SCORE 6549556.959
AT ITER 2721 NEW BEST:: SOT 20330002 SOS 10529727 HAS SOPS 10529727 HAS SOUS 6538181 HAS SOUPS 6538181 WITH SCORE 6548710.727
AT ITER 2728 NEW BEST:: SOT 20330002 SOS 10529077 HAS SOPS 10529077 HAS SOUS 6537856 HAS SOUPS 6537856 WITH SCORE 6548385.077
AT ITER 2731 NEW BEST:: SOT 20329075 SOS 10528150 HAS SOPS 10528150 HAS SOUS 6535061 HAS SOUPS 6535061 WITH SCORE 6545589.15
AT ITER 2738 NEW BEST:: SOT 20329075 SOS 10528150 HAS SOPS 10528150 HAS SOUS 6534882 HAS SOUPS 6534882 WITH SCORE 6545410.15
AT ITER 2742 NEW BEST:: SOT 20328163 SOS 10526326 HAS SOPS 10526326 HAS SOUS 6534360 HAS SOUPS 6534360 WITH SCORE 6544886.326
AT ITER 2744 NEW BEST:: SOT 20328109 SOS 10526218 HAS SOPS 10526218 HAS SOUS 6534252 HAS SOUPS 6534252 WITH SCORE 6544778.218
AT ITER 2749 NEW BEST:: SOT 20328109 SOS 10525178 HAS SOPS 10525178 HAS SOUS 6534252 HAS SOUPS 6534252 WITH SCORE 6544777.178
AT ITER 2764 NEW BEST:: SOT 20327209 SOS 10524278 HAS SOPS 10524278 HAS SOUS 6533352 HAS SOUPS 6533352 WITH SCORE 6543876.278
AT ITER 2765 NEW BEST:: SOT 20326555 SOS 10523624 HAS SOPS 10523624 HAS SOUS 6533352 HAS SOUPS 6533352 WITH SCORE 6543875.624
AT ITER 2769 NEW BEST:: SOT 20326196 SOS 10522906 HAS SOPS 10522906 HAS SOUS 6532993 HAS SOUPS 6532993 WITH SCORE 6543515.906
AT ITER 2770 NEW BEST:: SOT 20307169 SOS 10508679 HAS SOPS 10508679 HAS SOUS 6514593 HAS SOUPS 6514593 WITH SCORE 6525101.679
AT ITER 2776 NEW BEST:: SOT 20306140 SOS 10507959 HAS SOPS 10507959 HAS SOUS 6513741 HAS SOUPS 6513741 WITH SCORE 6524248.959
AT ITER 2777 NEW BEST:: SOT 20305357 SOS 10504161 HAS SOPS 10504161 HAS SOUS 6513093 HAS SOUPS 6513093 WITH SCORE 6523597.161
AT ITER 2778 NEW BEST:: SOT 20305357 SOS 10504128 HAS SOPS 10504128 HAS SOUS 6513060 HAS SOUPS 6513060 WITH SCORE 6523564.128
AT ITER 2779 NEW BEST:: SOT 20304419 SOS 10503135 HAS SOPS 10503135 HAS SOUS 6512122 HAS SOUPS 6512122 WITH SCORE 6522625.135
AT ITER 2780 NEW BEST:: SOT 20304419 SOS 10502545 HAS SOPS 10502545 HAS SOUS 6511183 HAS SOUPS 6511183 WITH SCORE 6521685.545
AT ITER 2784 NEW BEST:: SOT 20304078 SOS 10501863 HAS SOPS 10501863 HAS SOUS 6510340 HAS SOUPS 6510340 WITH SCORE 6520841.863
AT ITER 2787 NEW BEST:: SOT 20302646 SOS 10501463 HAS SOPS 10501463 HAS SOUS 6509339 HAS SOUPS 6509339 WITH SCORE 6519840.463
AT ITER 2791 NEW BEST:: SOT 20302469 SOS 10501987 HAS SOPS 10501987 HAS SOUS 6509331 HAS SOUPS 6509331 WITH SCORE 6519832.987
AT ITER 2793 NEW BEST:: SOT 20302232 SOS 10501513 HAS SOPS 10501513 HAS SOUS 6508620 HAS SOUPS 6508620 WITH SCORE 6519121.513
AT ITER 2796 NEW BEST:: SOT 20302775 SOS 10498615 HAS SOPS 10498615 HAS SOUS 6507673 HAS SOUPS 6507673 WITH SCORE 6518171.615
AT ITER 2798 NEW BEST:: SOT 20302076 SOS 10497916 HAS SOPS 10497916 HAS SOUS 6506974 HAS SOUPS 6506974 WITH SCORE 6517471.916
AT ITER 2801 NEW BEST:: SOT 20300843 SOS 10497724 HAS SOPS 10497724 HAS SOUS 6505766 HAS SOUPS 6505766 WITH SCORE 6516263.724
AT ITER 2806 NEW BEST:: SOT 20299443 SOS 10495194 HAS SOPS 10495194 HAS SOUS 6504631 HAS SOUPS 6504631 WITH SCORE 6515126.194
AT ITER 2810 NEW BEST:: SOT 20299443 SOS 10494587 HAS SOPS 10494587 HAS SOUS 6504474 HAS SOUPS 6504474 WITH SCORE 6514968.587
AT ITER 2812 NEW BEST:: SOT 20299146 SOS 10493696 HAS SOPS 10493696 HAS SOUS 6503880 HAS SOUPS 6503880 WITH SCORE 6514373.696
AT ITER 2813 NEW BEST:: SOT 20299094 SOS 10494599 HAS SOPS 10494599 HAS SOUS 6503828 HAS SOUPS 6503828 WITH SCORE 6514322.599
AT ITER 2814 NEW BEST:: SOT 20298845 SOS 10494101 HAS SOPS 10494101 HAS SOUS 6503081 HAS SOUPS 6503081 WITH SCORE 6513575.101
AT ITER 2820 NEW BEST:: SOT 20297632 SOS 10493827 HAS SOPS 10493827 HAS SOUS 6502893 HAS SOUPS 6502893 WITH SCORE 6513386.827
AT ITER 2824 NEW BEST:: SOT 20298023 SOS 10493708 HAS SOPS 10493708 HAS SOUS 6502766 HAS SOUPS 6502766 WITH SCORE 6513259.708
AT ITER 2833 NEW BEST:: SOT 20297661 SOS 10493401 HAS SOPS 10493401 HAS SOUS 6502404 HAS SOUPS 6502404 WITH SCORE 6512897.401
AT ITER 2834 NEW BEST:: SOT 20295795 SOS 10491494 HAS SOPS 10491494 HAS SOUS 6500975 HAS SOUPS 6500975 WITH SCORE 6511466.494
AT ITER 2837 NEW BEST:: SOT 20294827 SOS 10487622 HAS SOPS 10487622 HAS SOUS 6500007 HAS SOUPS 6500007 WITH SCORE 6510494.622
AT ITER 2844 NEW BEST:: SOT 20294634 SOS 10487731 HAS SOPS 10487731 HAS SOUS 6499814 HAS SOUPS 6499814 WITH SCORE 6510301.731
AT ITER 2847 NEW BEST:: SOT 20294157 SOS 10484821 HAS SOPS 10484821 HAS SOUS 6499545 HAS SOUPS 6499545 WITH SCORE 6510029.821
AT ITER 2849 NEW BEST:: SOT 20293557 SOS 10482381 HAS SOPS 10482381 HAS SOUS 6498716 HAS SOUPS 6498716 WITH SCORE 6509198.381
AT ITER 2854 NEW BEST:: SOT 20293063 SOS 10481887 HAS SOPS 10481887 HAS SOUS 6497975 HAS SOUPS 6497975 WITH SCORE 6508456.887
AT ITER 2860 NEW BEST:: SOT 20292768 SOS 10482114 HAS SOPS 10482114 HAS SOUS 6497680 HAS SOUPS 6497680 WITH SCORE 6508162.114
AT ITER 2861 NEW BEST:: SOT 20292768 SOS 10481537 HAS SOPS 10481537 HAS SOUS 6497676 HAS SOUPS 6497676 WITH SCORE 6508157.537
AT ITER 2863 NEW BEST:: SOT 20292770 SOS 10481541 HAS SOPS 10481541 HAS SOUS 6497633 HAS SOUPS 6497633 WITH SCORE 6508114.541
AT ITER 2864 NEW BEST:: SOT 20294048 SOS 10483004 HAS SOPS 10483004 HAS SOUS 6496832 HAS SOUPS 6496832 WITH SCORE 6507315.004
AT ITER 2866 NEW BEST:: SOT 20294540 SOS 10482137 HAS SOPS 10482137 HAS SOUS 6496402 HAS SOUPS 6496402 WITH SCORE 6506884.137
AT ITER 2867 NEW BEST:: SOT 20293607 SOS 10481951 HAS SOPS 10481951 HAS SOUS 6495555 HAS SOUPS 6495555 WITH SCORE 6506036.951
AT ITER 2880 NEW BEST:: SOT 20291728 SOS 10477718 HAS SOPS 10477718 HAS SOUS 6494161 HAS SOUPS 6494161 WITH SCORE 6504638.718
AT ITER 2883 NEW BEST:: SOT 20291728 SOS 10476448 HAS SOPS 10476448 HAS SOUS 6493197 HAS SOUPS 6493197 WITH SCORE 6503673.448
AT ITER 2885 NEW BEST:: SOT 20292270 SOS 10475135 HAS SOPS 10475135 HAS SOUS 6492844 HAS SOUPS 6492844 WITH SCORE 6503319.135
AT ITER 2890 NEW BEST:: SOT 20292112 SOS 10476303 HAS SOPS 10476303 HAS SOUS 6492711 HAS SOUPS 6492711 WITH SCORE 6503187.303
AT ITER 2906 NEW BEST:: SOT 20292017 SOS 10476113 HAS SOPS 10476113 HAS SOUS 6492616 HAS SOUPS 6492616 WITH SCORE 6503092.113
AT ITER 2910 NEW BEST:: SOT 20292109 SOS 10475945 HAS SOPS 10475945 HAS SOUS 6491400 HAS SOUPS 6491400 WITH SCORE 6501875.945
AT ITER 2922 NEW BEST:: SOT 20292109 SOS 10474163 HAS SOPS 10474163 HAS SOUS 6488262 HAS SOUPS 6488262 WITH SCORE 6498736.163
AT ITER 2923 NEW BEST:: SOT 20292102 SOS 10474156 HAS SOPS 10474156 HAS SOUS 6488255 HAS SOUPS 6488255 WITH SCORE 6498729.156
AT ITER 2925 NEW BEST:: SOT 20291653 SOS 10473257 HAS SOPS 10473257 HAS SOUS 6487824 HAS SOUPS 6487824 WITH SCORE 6498297.257
AT ITER 2926 NEW BEST:: SOT 20289776 SOS 10471323 HAS SOPS 10471323 HAS SOUS 6485947 HAS SOUPS 6485947 WITH SCORE 6496418.323
AT ITER 2927 NEW BEST:: SOT 20289445 SOS 10471894 HAS SOPS 10471894 HAS SOUS 6485779 HAS SOUPS 6485779 WITH SCORE 6496250.894
AT ITER 2934 NEW BEST:: SOT 20289445 SOS 10471894 HAS SOPS 10471894 HAS SOUS 6485505 HAS SOUPS 6485505 WITH SCORE 6495976.894
AT ITER 2937 NEW BEST:: SOT 20289445 SOS 10471392 HAS SOPS 10471392 HAS SOUS 6485505 HAS SOUPS 6485505 WITH SCORE 6495976.392
AT ITER 2946 NEW BEST:: SOT 20290671 SOS 10472541 HAS SOPS 10472541 HAS SOUS 6485459 HAS SOUPS 6485459 WITH SCORE 6495931.541
AT ITER 2947 NEW BEST:: SOT 20289037 SOS 10470854 HAS SOPS 10470854 HAS SOUS 6483825 HAS SOUPS 6483825 WITH SCORE 6494295.854
AT ITER 2955 NEW BEST:: SOT 20289037 SOS 10470854 HAS SOPS 10470854 HAS SOUS 6483551 HAS SOUPS 6483551 WITH SCORE 6494021.854
AT ITER 2964 NEW BEST:: SOT 20288830 SOS 10470647 HAS SOPS 10470647 HAS SOUS 6482478 HAS SOUPS 6482478 WITH SCORE 6492948.647
AT ITER 2965 NEW BEST:: SOT 20290308 SOS 10472107 HAS SOPS 10472107 HAS SOUS 6482303 HAS SOUPS 6482303 WITH SCORE 6492775.107
AT ITER 2966 NEW BEST:: SOT 20275302 SOS 10467236 HAS SOPS 10467236 HAS SOUS 6468909 HAS SOUPS 6468909 WITH SCORE 6479376.236
AT ITER 2969 NEW BEST:: SOT 20275302 SOS 10467138 HAS SOPS 10467138 HAS SOUS 6468811 HAS SOUPS 6468811 WITH SCORE 6479278.138
AT ITER 2972 NEW BEST:: SOT 20274648 SOS 10467379 HAS SOPS 10467379 HAS SOUS 6468389 HAS SOUPS 6468389 WITH SCORE 6478856.379
AT ITER 2978 NEW BEST:: SOT 20274648 SOS 10466888 HAS SOPS 10466888 HAS SOUS 6468389 HAS SOUPS 6468389 WITH SCORE 6478855.888
AT ITER 2980 NEW BEST:: SOT 20273911 SOS 10465032 HAS SOPS 10465032 HAS SOUS 6467652 HAS SOUPS 6467652 WITH SCORE 6478117.032
AT ITER 2985 NEW BEST:: SOT 20273701 SOS 10464822 HAS SOPS 10464822 HAS SOUS 6467232 HAS SOUPS 6467232 WITH SCORE 6477696.822
AT ITER 2999 NEW BEST:: SOT 20273701 SOS 10464822 HAS SOPS 10464822 HAS SOUS 6467192 HAS SOUPS 6467192 WITH SCORE 6477656.822
AT ITER 3006 NEW BEST:: SOT 20273700 SOS 10464821 HAS SOPS 10464821 HAS SOUS 6467191 HAS SOUPS 6467191 WITH SCORE 6477655.821
AT ITER 3010 NEW BEST:: SOT 20273480 SOS 10464601 HAS SOPS 10464601 HAS SOUS 6466971 HAS SOUPS 6466971 WITH SCORE 6477435.601
AT ITER 3014 NEW BEST:: SOT 20273921 SOS 10462465 HAS SOPS 10462465 HAS SOUS 6466443 HAS SOUPS 6466443 WITH SCORE 6476905.465
AT ITER 3023 NEW BEST:: SOT 20273602 SOS 10461827 HAS SOPS 10461827 HAS SOUS 6466124 HAS SOUPS 6466124 WITH SCORE 6476585.827
AT ITER 3025 NEW BEST:: SOT 20273348 SOS 10461319 HAS SOPS 10461319 HAS SOUS 6466113 HAS SOUPS 6466113 WITH SCORE 6476574.319
AT ITER 3030 NEW BEST:: SOT 20272905 SOS 10461262 HAS SOPS 10461262 HAS SOUS 6465670 HAS SOUPS 6465670 WITH SCORE 6476131.262
AT ITER 3034 NEW BEST:: SOT 20272880 SOS 10461187 HAS SOPS 10461187 HAS SOUS 6465645 HAS SOUPS 6465645 WITH SCORE 6476106.187
AT ITER 3037 NEW BEST:: SOT 20272880 SOS 10459375 HAS SOPS 10459375 HAS SOUS 6465644 HAS SOUPS 6465644 WITH SCORE 6476103.375
AT ITER 3040 NEW BEST:: SOT 20272880 SOS 10457397 HAS SOPS 10457397 HAS SOUS 6463834 HAS SOUPS 6463834 WITH SCORE 6474291.397
AT ITER 3046 NEW BEST:: SOT 20273263 SOS 10457647 HAS SOPS 10457647 HAS SOUS 6463701 HAS SOUPS 6463701 WITH SCORE 6474158.647
AT ITER 3052 NEW BEST:: SOT 20273866 SOS 10458853 HAS SOPS 10458853 HAS SOUS 6462540 HAS SOUPS 6462540 WITH SCORE 6472998.853
AT ITER 3060 NEW BEST:: SOT 20273889 SOS 10459443 HAS SOPS 10459443 HAS SOUS 6462440 HAS SOUPS 6462440 WITH SCORE 6472899.443
AT ITER 3062 NEW BEST:: SOT 20273889 SOS 10459317 HAS SOPS 10459317 HAS SOUS 6461915 HAS SOUPS 6461915 WITH SCORE 6472374.317
AT ITER 3065 NEW BEST:: SOT 20273889 SOS 10458131 HAS SOPS 10458131 HAS SOUS 6461915 HAS SOUPS 6461915 WITH SCORE 6472373.131
AT ITER 3073 NEW BEST:: SOT 20271896 SOS 10454145 HAS SOPS 10454145 HAS SOUS 6457929 HAS SOUPS 6457929 WITH SCORE 6468383.145
AT ITER 3074 NEW BEST:: SOT 20271448 SOS 10452353 HAS SOPS 10452353 HAS SOUS 6457033 HAS SOUPS 6457033 WITH SCORE 6467485.353
AT ITER 3080 NEW BEST:: SOT 20271249 SOS 10452727 HAS SOPS 10452727 HAS SOUS 6456834 HAS SOUPS 6456834 WITH SCORE 6467286.727
AT ITER 3081 NEW BEST:: SOT 20270780 SOS 10451789 HAS SOPS 10451789 HAS SOUS 6456045 HAS SOUPS 6456045 WITH SCORE 6466496.789
AT ITER 3083 NEW BEST:: SOT 20270780 SOS 10452048 HAS SOPS 10452048 HAS SOUS 6455840 HAS SOUPS 6455840 WITH SCORE 6466292.048
AT ITER 3098 NEW BEST:: SOT 20270877 SOS 10450054 HAS SOPS 10450054 HAS SOUS 6454879 HAS SOUPS 6454879 WITH SCORE 6465329.054
AT ITER 3100 NEW BEST:: SOT 20269877 SOS 10450297 HAS SOPS 10450297 HAS SOUS 6454626 HAS SOUPS 6454626 WITH SCORE 6465076.297
AT ITER 3102 NEW BEST:: SOT 20269877 SOS 10450312 HAS SOPS 10450312 HAS SOUS 6452932 HAS SOUPS 6452932 WITH SCORE 6463382.312
AT ITER 3105 NEW BEST:: SOT 20269877 SOS 10447752 HAS SOPS 10447752 HAS SOUS 6450649 HAS SOUPS 6450649 WITH SCORE 6461096.752
AT ITER 3116 NEW BEST:: SOT 20268945 SOS 10443962 HAS SOPS 10443962 HAS SOUS 6448434 HAS SOUPS 6448434 WITH SCORE 6458877.962
AT ITER 3119 NEW BEST:: SOT 20268121 SOS 10443756 HAS SOPS 10443756 HAS SOUS 6447721 HAS SOUPS 6447721 WITH SCORE 6458164.756
AT ITER 3120 NEW BEST:: SOT 20265428 SOS 10438370 HAS SOPS 10438370 HAS SOUS 6442766 HAS SOUPS 6442766 WITH SCORE 6453204.37
AT ITER 3128 NEW BEST:: SOT 20264610 SOS 10437506 HAS SOPS 10437506 HAS SOUS 6441948 HAS SOUPS 6441948 WITH SCORE 6452385.506
AT ITER 3130 NEW BEST:: SOT 20264151 SOS 10436588 HAS SOPS 10436588 HAS SOUS 6441702 HAS SOUPS 6441702 WITH SCORE 6452138.588
AT ITER 3131 NEW BEST:: SOT 20264151 SOS 10436080 HAS SOPS 10436080 HAS SOUS 6441701 HAS SOUPS 6441701 WITH SCORE 6452137.08
AT ITER 3133 NEW BEST:: SOT 20264151 SOS 10436089 HAS SOPS 10436089 HAS SOUS 6440924 HAS SOUPS 6440924 WITH SCORE 6451360.089
AT ITER 3134 NEW BEST:: SOT 20264151 SOS 10435947 HAS SOPS 10435947 HAS SOUS 6440924 HAS SOUPS 6440924 WITH SCORE 6451359.947
AT ITER 3144 NEW BEST:: SOT 20263381 SOS 10433637 HAS SOPS 10433637 HAS SOUS 6439384 HAS SOUPS 6439384 WITH SCORE 6449817.637
AT ITER 3151 NEW BEST:: SOT 20261627 SOS 10430129 HAS SOPS 10430129 HAS SOUS 6435294 HAS SOUPS 6435294 WITH SCORE 6445724.129
AT ITER 3152 NEW BEST:: SOT 20261627 SOS 10429749 HAS SOPS 10429749 HAS SOUS 6435293 HAS SOUPS 6435293 WITH SCORE 6445722.749
AT ITER 3154 NEW BEST:: SOT 20261627 SOS 10429749 HAS SOPS 10429749 HAS SOUS 6435083 HAS SOUPS 6435083 WITH SCORE 6445512.749
AT ITER 3155 NEW BEST:: SOT 20259800 SOS 10426411 HAS SOPS 10426411 HAS SOUS 6432183 HAS SOUPS 6432183 WITH SCORE 6442609.411
AT ITER 3160 NEW BEST:: SOT 20259184 SOS 10423947 HAS SOPS 10423947 HAS SOUS 6430335 HAS SOUPS 6430335 WITH SCORE 6440758.947
AT ITER 3166 NEW BEST:: SOT 20259184 SOS 10423895 HAS SOPS 10423895 HAS SOUS 6429902 HAS SOUPS 6429902 WITH SCORE 6440325.895
AT ITER 3172 NEW BEST:: SOT 20259790 SOS 10421826 HAS SOPS 10421826 HAS SOUS 6428662 HAS SOUPS 6428662 WITH SCORE 6439083.826
AT ITER 3173 NEW BEST:: SOT 20258926 SOS 10421394 HAS SOPS 10421394 HAS SOUS 6428631 HAS SOUPS 6428631 WITH SCORE 6439052.394
AT ITER 3180 NEW BEST:: SOT 20258926 SOS 10421394 HAS SOPS 10421394 HAS SOUS 6428130 HAS SOUPS 6428130 WITH SCORE 6438551.394
AT ITER 3187 NEW BEST:: SOT 20258843 SOS 10421228 HAS SOPS 10421228 HAS SOUS 6427503 HAS SOUPS 6427503 WITH SCORE 6437924.228
AT ITER 3193 NEW BEST:: SOT 20258843 SOS 10421105 HAS SOPS 10421105 HAS SOUS 6427503 HAS SOUPS 6427503 WITH SCORE 6437924.105
AT ITER 3199 NEW BEST:: SOT 20258886 SOS 10420918 HAS SOPS 10420918 HAS SOUS 6427207 HAS SOUPS 6427207 WITH SCORE 6437627.918
AT ITER 3202 NEW BEST:: SOT 20259333 SOS 10419382 HAS SOPS 10419382 HAS SOUS 6426807 HAS SOUPS 6426807 WITH SCORE 6437226.382
AT ITER 3204 NEW BEST:: SOT 20259333 SOS 10419382 HAS SOPS 10419382 HAS SOUS 6426323 HAS SOUPS 6426323 WITH SCORE 6436742.382
AT ITER 3205 NEW BEST:: SOT 20259333 SOS 10419382 HAS SOPS 10419382 HAS SOUS 6426237 HAS SOUPS 6426237 WITH SCORE 6436656.382
AT ITER 3206 NEW BEST:: SOT 20259146 SOS 10419008 HAS SOPS 10419008 HAS SOUS 6426050 HAS SOUPS 6426050 WITH SCORE 6436469.008
AT ITER 3214 NEW BEST:: SOT 20258385 SOS 10417940 HAS SOPS 10417940 HAS SOUS 6424982 HAS SOUPS 6424982 WITH SCORE 6435399.94
AT ITER 3222 NEW BEST:: SOT 20258264 SOS 10417876 HAS SOPS 10417876 HAS SOUS 6424861 HAS SOUPS 6424861 WITH SCORE 6435278.876
AT ITER 3225 NEW BEST:: SOT 20257791 SOS 10416930 HAS SOPS 10416930 HAS SOUS 6424647 HAS SOUPS 6424647 WITH SCORE 6435063.93
AT ITER 3229 NEW BEST:: SOT 20257791 SOS 10416930 HAS SOPS 10416930 HAS SOUS 6424317 HAS SOUPS 6424317 WITH SCORE 6434733.93
AT ITER 3230 NEW BEST:: SOT 20261798 SOS 10302827 HAS SOPS 10302827 HAS SOUS 6423952 HAS SOUPS 6423952 WITH SCORE 6434254.827
AT ITER 3233 NEW BEST:: SOT 20261798 SOS 10302120 HAS SOPS 10302120 HAS SOUS 6422744 HAS SOUPS 6422744 WITH SCORE 6433046.12
AT ITER 3235 NEW BEST:: SOT 20258609 SOS 10298892 HAS SOPS 10298892 HAS SOUS 6419554 HAS SOUPS 6419554 WITH SCORE 6429852.892
AT ITER 3238 NEW BEST:: SOT 20258609 SOS 10298892 HAS SOPS 10298892 HAS SOUS 6418290 HAS SOUPS 6418290 WITH SCORE 6428588.892
AT ITER 3241 NEW BEST:: SOT 20257852 SOS 10298135 HAS SOPS 10298135 HAS SOUS 6418277 HAS SOUPS 6418277 WITH SCORE 6428575.135
AT ITER 3249 NEW BEST:: SOT 20259852 SOS 10298921 HAS SOPS 10298921 HAS SOUS 6416723 HAS SOUPS 6416723 WITH SCORE 6427021.921
AT ITER 3260 NEW BEST:: SOT 20258935 SOS 10298569 HAS SOPS 10298569 HAS SOUS 6415806 HAS SOUPS 6415806 WITH SCORE 6426104.569
AT ITER 3268 NEW BEST:: SOT 20258145 SOS 10299075 HAS SOPS 10299075 HAS SOUS 6415479 HAS SOUPS 6415479 WITH SCORE 6425778.075
AT ITER 3271 NEW BEST:: SOT 20257658 SOS 10298100 HAS SOPS 10298100 HAS SOUS 6414991 HAS SOUPS 6414991 WITH SCORE 6425289.1
AT ITER 3274 NEW BEST:: SOT 20258429 SOS 10296506 HAS SOPS 10296506 HAS SOUS 6414858 HAS SOUPS 6414858 WITH SCORE 6425154.506
AT ITER 3278 NEW BEST:: SOT 20258429 SOS 10296506 HAS SOPS 10296506 HAS SOUS 6414857 HAS SOUPS 6414857 WITH SCORE 6425153.506
AT ITER 3289 NEW BEST:: SOT 20258429 SOS 10296506 HAS SOPS 10296506 HAS SOUS 6414856 HAS SOUPS 6414856 WITH SCORE 6425152.506
AT ITER 3298 NEW BEST:: SOT 20258429 SOS 10296292 HAS SOPS 10296292 HAS SOUS 6413451 HAS SOUPS 6413451 WITH SCORE 6423747.292
AT ITER 3299 NEW BEST:: SOT 20258429 SOS 10295751 HAS SOPS 10295751 HAS SOUS 6413451 HAS SOUPS 6413451 WITH SCORE 6423746.751
AT ITER 3300 NEW BEST:: SOT 20258236 SOS 10295365 HAS SOPS 10295365 HAS SOUS 6413258 HAS SOUPS 6413258 WITH SCORE 6423553.365
AT ITER 3302 NEW BEST:: SOT 20258236 SOS 10295000 HAS SOPS 10295000 HAS SOUS 6412893 HAS SOUPS 6412893 WITH SCORE 6423188.0
AT ITER 3307 NEW BEST:: SOT 20257521 SOS 10292336 HAS SOPS 10292336 HAS SOUS 6412437 HAS SOUPS 6412437 WITH SCORE 6422729.336
AT ITER 3308 NEW BEST:: SOT 20256809 SOS 10290200 HAS SOPS 10290200 HAS SOUS 6411184 HAS SOUPS 6411184 WITH SCORE 6421474.2
AT ITER 3318 NEW BEST:: SOT 20236995 SOS 10325140 HAS SOPS 10325140 HAS SOUS 6395198 HAS SOUPS 6395198 WITH SCORE 6405523.14
AT ITER 3322 NEW BEST:: SOT 20235549 SOS 10322248 HAS SOPS 10322248 HAS SOUS 6393752 HAS SOUPS 6393752 WITH SCORE 6404074.248
AT ITER 3326 NEW BEST:: SOT 20236612 SOS 10321744 HAS SOPS 10321744 HAS SOUS 6391624 HAS SOUPS 6391624 WITH SCORE 6401945.744
AT ITER 3330 NEW BEST:: SOT 20236948 SOS 10321228 HAS SOPS 10321228 HAS SOUS 6391030 HAS SOUPS 6391030 WITH SCORE 6401351.228
AT ITER 3332 NEW BEST:: SOT 20236638 SOS 10319967 HAS SOPS 10319967 HAS SOUS 6390410 HAS SOUPS 6390410 WITH SCORE 6400729.967
AT ITER 3335 NEW BEST:: SOT 20235858 SOS 10319187 HAS SOPS 10319187 HAS SOUS 6390405 HAS SOUPS 6390405 WITH SCORE 6400724.187
AT ITER 3340 NEW BEST:: SOT 20235929 SOS 10316895 HAS SOPS 10316895 HAS SOUS 6386462 HAS SOUPS 6386462 WITH SCORE 6396778.895
AT ITER 3345 NEW BEST:: SOT 20235929 SOS 10315302 HAS SOPS 10315302 HAS SOUS 6384867 HAS SOUPS 6384867 WITH SCORE 6395182.302
AT ITER 3350 NEW BEST:: SOT 20235789 SOS 10315162 HAS SOPS 10315162 HAS SOUS 6384727 HAS SOUPS 6384727 WITH SCORE 6395042.162
AT ITER 3355 NEW BEST:: SOT 20234266 SOS 10313639 HAS SOPS 10313639 HAS SOUS 6384727 HAS SOUPS 6384727 WITH SCORE 6395040.639
AT ITER 3356 NEW BEST:: SOT 20234914 SOS 10314217 HAS SOPS 10314217 HAS SOUS 6384585 HAS SOUPS 6384585 WITH SCORE 6394899.217
AT ITER 3362 NEW BEST:: SOT 20232948 SOS 10312194 HAS SOPS 10312194 HAS SOUS 6382619 HAS SOUPS 6382619 WITH SCORE 6392931.194
AT ITER 3363 NEW BEST:: SOT 20232948 SOS 10311661 HAS SOPS 10311661 HAS SOUS 6382520 HAS SOUPS 6382520 WITH SCORE 6392831.661
AT ITER 3364 NEW BEST:: SOT 20232237 SOS 10311457 HAS SOPS 10311457 HAS SOUS 6381809 HAS SOUPS 6381809 WITH SCORE 6392120.457
AT ITER 3371 NEW BEST:: SOT 20231427 SOS 10309837 HAS SOPS 10309837 HAS SOUS 6380853 HAS SOUPS 6380853 WITH SCORE 6391162.837
AT ITER 3372 NEW BEST:: SOT 20230122 SOS 10307228 HAS SOPS 10307228 HAS SOUS 6379548 HAS SOUPS 6379548 WITH SCORE 6389855.228
AT ITER 3382 NEW BEST:: SOT 20230122 SOS 10306703 HAS SOPS 10306703 HAS SOUS 6379253 HAS SOUPS 6379253 WITH SCORE 6389559.703
AT ITER 3395 NEW BEST:: SOT 20230702 SOS 10306994 HAS SOPS 10306994 HAS SOUS 6378746 HAS SOUPS 6378746 WITH SCORE 6389052.994
AT ITER 3398 NEW BEST:: SOT 20230702 SOS 10306252 HAS SOPS 10306252 HAS SOUS 6377773 HAS SOUPS 6377773 WITH SCORE 6388079.252
AT ITER 3402 NEW BEST:: SOT 20228836 SOS 10302520 HAS SOPS 10302520 HAS SOUS 6374088 HAS SOUPS 6374088 WITH SCORE 6384390.52
AT ITER 3403 NEW BEST:: SOT 20228320 SOS 10301488 HAS SOPS 10301488 HAS SOUS 6373572 HAS SOUPS 6373572 WITH SCORE 6383873.488
AT ITER 3406 NEW BEST:: SOT 20227676 SOS 10300200 HAS SOPS 10300200 HAS SOUS 6373205 HAS SOUPS 6373205 WITH SCORE 6383505.2
AT ITER 3410 NEW BEST:: SOT 20227388 SOS 10299912 HAS SOPS 10299912 HAS SOUS 6373117 HAS SOUPS 6373117 WITH SCORE 6383416.912
AT ITER 3416 NEW BEST:: SOT 20227388 SOS 10298283 HAS SOPS 10298283 HAS SOUS 6373106 HAS SOUPS 6373106 WITH SCORE 6383404.283
AT ITER 3417 NEW BEST:: SOT 20225960 SOS 10295427 HAS SOPS 10295427 HAS SOUS 6371750 HAS SOUPS 6371750 WITH SCORE 6382045.427
AT ITER 3424 NEW BEST:: SOT 20225643 SOS 10295269 HAS SOPS 10295269 HAS SOUS 6371433 HAS SOUPS 6371433 WITH SCORE 6381728.269
AT ITER 3437 NEW BEST:: SOT 20225643 SOS 10294816 HAS SOPS 10294816 HAS SOUS 6371433 HAS SOUPS 6371433 WITH SCORE 6381727.816
AT ITER 3440 NEW BEST:: SOT 20224970 SOS 10293340 HAS SOPS 10293340 HAS SOUS 6370758 HAS SOUPS 6370758 WITH SCORE 6381051.34
AT ITER 3442 NEW BEST:: SOT 20224970 SOS 10292324 HAS SOPS 10292324 HAS SOUS 6369742 HAS SOUPS 6369742 WITH SCORE 6380034.324
AT ITER 3444 NEW BEST:: SOT 20225649 SOS 10290073 HAS SOPS 10290073 HAS SOUS 6369239 HAS SOUPS 6369239 WITH SCORE 6379529.073
AT ITER 3448 NEW BEST:: SOT 20225942 SOS 10288716 HAS SOPS 10288716 HAS SOUS 6369085 HAS SOUPS 6369085 WITH SCORE 6379373.716
AT ITER 3451 NEW BEST:: SOT 20225666 SOS 10288951 HAS SOPS 10288951 HAS SOUS 6368880 HAS SOUPS 6368880 WITH SCORE 6379168.951
AT ITER 3454 NEW BEST:: SOT 20225373 SOS 10288779 HAS SOPS 10288779 HAS SOUS 6368587 HAS SOUPS 6368587 WITH SCORE 6378875.779
AT ITER 3456 NEW BEST:: SOT 20224716 SOS 10287465 HAS SOPS 10287465 HAS SOUS 6367925 HAS SOUPS 6367925 WITH SCORE 6378212.465
AT ITER 3459 NEW BEST:: SOT 20224716 SOS 10284661 HAS SOPS 10284661 HAS SOUS 6367049 HAS SOUPS 6367049 WITH SCORE 6377333.661
AT ITER 3461 NEW BEST:: SOT 20224682 SOS 10284627 HAS SOPS 10284627 HAS SOUS 6366618 HAS SOUPS 6366618 WITH SCORE 6376902.627
AT ITER 3472 NEW BEST:: SOT 20224682 SOS 10284042 HAS SOPS 10284042 HAS SOUS 6365304 HAS SOUPS 6365304 WITH SCORE 6375588.042
AT ITER 3473 NEW BEST:: SOT 20224682 SOS 10284042 HAS SOPS 10284042 HAS SOUS 6365248 HAS SOUPS 6365248 WITH SCORE 6375532.042
AT ITER 3480 NEW BEST:: SOT 20222592 SOS 10282863 HAS SOPS 10282863 HAS SOUS 6363153 HAS SOUPS 6363153 WITH SCORE 6373435.863
AT ITER 3483 NEW BEST:: SOT 20221773 SOS 10279965 HAS SOPS 10279965 HAS SOUS 6362513 HAS SOUPS 6362513 WITH SCORE 6372792.965
AT ITER 3485 NEW BEST:: SOT 20221363 SOS 10279143 HAS SOPS 10279143 HAS SOUS 6362100 HAS SOUPS 6362100 WITH SCORE 6372379.143
AT ITER 3488 NEW BEST:: SOT 20220835 SOS 10278615 HAS SOPS 10278615 HAS SOUS 6362100 HAS SOUPS 6362100 WITH SCORE 6372378.615
AT ITER 3496 NEW BEST:: SOT 20219916 SOS 10276777 HAS SOPS 10276777 HAS SOUS 6361181 HAS SOUPS 6361181 WITH SCORE 6371457.777
AT ITER 3497 NEW BEST:: SOT 20219916 SOS 10276777 HAS SOPS 10276777 HAS SOUS 6361180 HAS SOUPS 6361180 WITH SCORE 6371456.777
AT ITER 3498 NEW BEST:: SOT 20219619 SOS 10276183 HAS SOPS 10276183 HAS SOUS 6360586 HAS SOUPS 6360586 WITH SCORE 6370862.183
AT ITER 3503 NEW BEST:: SOT 20218536 SOS 10275100 HAS SOPS 10275100 HAS SOUS 6358125 HAS SOUPS 6358125 WITH SCORE 6368400.1
AT ITER 3507 NEW BEST:: SOT 20218536 SOS 10275100 HAS SOPS 10275100 HAS SOUS 6357219 HAS SOUPS 6357219 WITH SCORE 6367494.1
AT ITER 3510 NEW BEST:: SOT 20218083 SOS 10273288 HAS SOPS 10273288 HAS SOUS 6356313 HAS SOUPS 6356313 WITH SCORE 6366586.288
AT ITER 3515 NEW BEST:: SOT 20218083 SOS 10272657 HAS SOPS 10272657 HAS SOUS 6355682 HAS SOUPS 6355682 WITH SCORE 6365954.657
AT ITER 3516 NEW BEST:: SOT 20217223 SOS 10270937 HAS SOPS 10270937 HAS SOUS 6354580 HAS SOUPS 6354580 WITH SCORE 6364850.937
AT ITER 3521 NEW BEST:: SOT 20217223 SOS 10270937 HAS SOPS 10270937 HAS SOUS 6354095 HAS SOUPS 6354095 WITH SCORE 6364365.937
AT ITER 3527 NEW BEST:: SOT 20216268 SOS 10269027 HAS SOPS 10269027 HAS SOUS 6353140 HAS SOUPS 6353140 WITH SCORE 6363409.027
AT ITER 3530 NEW BEST:: SOT 20216244 SOS 10268955 HAS SOPS 10268955 HAS SOUS 6353092 HAS SOUPS 6353092 WITH SCORE 6363360.955
AT ITER 3531 NEW BEST:: SOT 20216244 SOS 10268901 HAS SOPS 10268901 HAS SOUS 6353092 HAS SOUPS 6353092 WITH SCORE 6363360.901
AT ITER 3535 NEW BEST:: SOT 20216166 SOS 10268839 HAS SOPS 10268839 HAS SOUS 6353014 HAS SOUPS 6353014 WITH SCORE 6363282.839
AT ITER 3537 NEW BEST:: SOT 20215817 SOS 10269132 HAS SOPS 10269132 HAS SOUS 6352975 HAS SOUPS 6352975 WITH SCORE 6363244.132
AT ITER 3538 NEW BEST:: SOT 20215228 SOS 10268249 HAS SOPS 10268249 HAS SOUS 6352386 HAS SOUPS 6352386 WITH SCORE 6362654.249
AT ITER 3541 NEW BEST:: SOT 20215210 SOS 10268213 HAS SOPS 10268213 HAS SOUS 6352368 HAS SOUPS 6352368 WITH SCORE 6362636.213
AT ITER 3544 NEW BEST:: SOT 20215087 SOS 10268044 HAS SOPS 10268044 HAS SOUS 6352245 HAS SOUPS 6352245 WITH SCORE 6362513.044
AT ITER 3547 NEW BEST:: SOT 20214576 SOS 10267022 HAS SOPS 10267022 HAS SOUS 6350852 HAS SOUPS 6350852 WITH SCORE 6361119.022
AT ITER 3549 NEW BEST:: SOT 20213334 SOS 10265780 HAS SOPS 10265780 HAS SOUS 6350852 HAS SOUPS 6350852 WITH SCORE 6361117.78
AT ITER 3550 NEW BEST:: SOT 20212155 SOS 10263422 HAS SOPS 10263422 HAS SOUS 6349673 HAS SOUPS 6349673 WITH SCORE 6359936.422
AT ITER 3551 NEW BEST:: SOT 20212154 SOS 10262809 HAS SOPS 10262809 HAS SOUS 6349060 HAS SOUPS 6349060 WITH SCORE 6359322.809
AT ITER 3557 NEW BEST:: SOT 20211004 SOS 10257839 HAS SOPS 10257839 HAS SOUS 6345753 HAS SOUPS 6345753 WITH SCORE 6356010.839
AT ITER 3559 NEW BEST:: SOT 20209337 SOS 10257087 HAS SOPS 10257087 HAS SOUS 6345555 HAS SOUPS 6345555 WITH SCORE 6355812.087
AT ITER 3560 NEW BEST:: SOT 20209337 SOS 10255975 HAS SOPS 10255975 HAS SOUS 6342286 HAS SOUPS 6342286 WITH SCORE 6352541.975
AT ITER 3568 NEW BEST:: SOT 20208347 SOS 10253005 HAS SOPS 10253005 HAS SOUS 6341296 HAS SOUPS 6341296 WITH SCORE 6351549.005
AT ITER 3579 NEW BEST:: SOT 20208347 SOS 10252291 HAS SOPS 10252291 HAS SOUS 6340052 HAS SOUPS 6340052 WITH SCORE 6350304.291
AT ITER 3580 NEW BEST:: SOT 20207705 SOS 10248419 HAS SOPS 10248419 HAS SOUS 6339675 HAS SOUPS 6339675 WITH SCORE 6349923.419
AT ITER 3583 NEW BEST:: SOT 20207325 SOS 10248186 HAS SOPS 10248186 HAS SOUS 6339426 HAS SOUPS 6339426 WITH SCORE 6349674.186
AT ITER 3588 NEW BEST:: SOT 20207325 SOS 10248186 HAS SOPS 10248186 HAS SOUS 6339425 HAS SOUPS 6339425 WITH SCORE 6349673.186
AT ITER 3589 NEW BEST:: SOT 20206794 SOS 10247124 HAS SOPS 10247124 HAS SOUS 6338363 HAS SOUPS 6338363 WITH SCORE 6348610.124
AT ITER 3590 NEW BEST:: SOT 20206337 SOS 10229301 HAS SOPS 10229301 HAS SOUS 6337906 HAS SOUPS 6337906 WITH SCORE 6348135.301
AT ITER 3593 NEW BEST:: SOT 20206337 SOS 10229301 HAS SOPS 10229301 HAS SOUS 6337443 HAS SOUPS 6337443 WITH SCORE 6347672.301
AT ITER 3600 NEW BEST:: SOT 20205575 SOS 10228483 HAS SOPS 10228483 HAS SOUS 6336681 HAS SOUPS 6336681 WITH SCORE 6346909.483
AT ITER 3603 NEW BEST:: SOT 20207707 SOS 10229600 HAS SOPS 10229600 HAS SOUS 6335848 HAS SOUPS 6335848 WITH SCORE 6346077.6
AT ITER 3606 NEW BEST:: SOT 20206767 SOS 10229017 HAS SOPS 10229017 HAS SOUS 6335265 HAS SOUPS 6335265 WITH SCORE 6345494.017
AT ITER 3613 NEW BEST:: SOT 20205878 SOS 10227239 HAS SOPS 10227239 HAS SOUS 6332688 HAS SOUPS 6332688 WITH SCORE 6342915.239
AT ITER 3614 NEW BEST:: SOT 20205822 SOS 10227128 HAS SOPS 10227128 HAS SOUS 6332677 HAS SOUPS 6332677 WITH SCORE 6342904.128
AT ITER 3615 NEW BEST:: SOT 20204762 SOS 10224516 HAS SOPS 10224516 HAS SOUS 6330065 HAS SOUPS 6330065 WITH SCORE 6340289.516
AT ITER 3625 NEW BEST:: SOT 20204675 SOS 10225468 HAS SOPS 10225468 HAS SOUS 6329978 HAS SOUPS 6329978 WITH SCORE 6340203.468
AT ITER 3631 NEW BEST:: SOT 20204675 SOS 10222318 HAS SOPS 10222318 HAS SOUS 6327293 HAS SOUPS 6327293 WITH SCORE 6337515.318
AT ITER 3633 NEW BEST:: SOT 20167428 SOS 10208040 HAS SOPS 10208040 HAS SOUS 6292666 HAS SOUPS 6292666 WITH SCORE 6302874.04
AT ITER 3638 NEW BEST:: SOT 20166524 SOS 10204424 HAS SOPS 10204424 HAS SOUS 6291761 HAS SOUPS 6291761 WITH SCORE 6301965.424
AT ITER 3643 NEW BEST:: SOT 20166857 SOS 10204566 HAS SOPS 10204566 HAS SOUS 6291570 HAS SOUPS 6291570 WITH SCORE 6301774.566
AT ITER 3646 NEW BEST:: SOT 20165424 SOS 10203927 HAS SOPS 10203927 HAS SOUS 6290590 HAS SOUPS 6290590 WITH SCORE 6300793.927
AT ITER 3647 NEW BEST:: SOT 20166314 SOS 10205707 HAS SOPS 10205707 HAS SOUS 6289048 HAS SOUPS 6289048 WITH SCORE 6299253.707
AT ITER 3650 NEW BEST:: SOT 20167152 SOS 10203728 HAS SOPS 10203728 HAS SOUS 6288759 HAS SOUPS 6288759 WITH SCORE 6298962.728
AT ITER 3651 NEW BEST:: SOT 20167152 SOS 10201636 HAS SOPS 10201636 HAS SOUS 6287598 HAS SOUPS 6287598 WITH SCORE 6297799.636
AT ITER 3653 NEW BEST:: SOT 20166731 SOS 10200794 HAS SOPS 10200794 HAS SOUS 6286756 HAS SOUPS 6286756 WITH SCORE 6296956.794
AT ITER 3654 NEW BEST:: SOT 20165813 SOS 10198958 HAS SOPS 10198958 HAS SOUS 6284920 HAS SOUPS 6284920 WITH SCORE 6295118.958
AT ITER 3660 NEW BEST:: SOT 20165485 SOS 10198302 HAS SOPS 10198302 HAS SOUS 6284592 HAS SOUPS 6284592 WITH SCORE 6294790.302
AT ITER 3664 NEW BEST:: SOT 20166945 SOS 10201046 HAS SOPS 10201046 HAS SOUS 6284492 HAS SOUPS 6284492 WITH SCORE 6294693.046
AT ITER 3667 NEW BEST:: SOT 20167178 SOS 10201235 HAS SOPS 10201235 HAS SOUS 6284316 HAS SOUPS 6284316 WITH SCORE 6294517.235
AT ITER 3675 NEW BEST:: SOT 20167506 SOS 10202547 HAS SOPS 10202547 HAS SOUS 6284126 HAS SOUPS 6284126 WITH SCORE 6294328.547
AT ITER 3683 NEW BEST:: SOT 20167285 SOS 10202105 HAS SOPS 10202105 HAS SOUS 6284116 HAS SOUPS 6284116 WITH SCORE 6294318.105
AT ITER 3690 NEW BEST:: SOT 20167128 SOS 10201791 HAS SOPS 10201791 HAS SOUS 6283802 HAS SOUPS 6283802 WITH SCORE 6294003.791
AT ITER 3693 NEW BEST:: SOT 20167128 SOS 10201360 HAS SOPS 10201360 HAS SOUS 6283208 HAS SOUPS 6283208 WITH SCORE 6293409.36
AT ITER 3695 NEW BEST:: SOT 20166642 SOS 10199896 HAS SOPS 10199896 HAS SOUS 6282722 HAS SOUPS 6282722 WITH SCORE 6292921.896
AT ITER 3700 NEW BEST:: SOT 20167251 SOS 10195803 HAS SOPS 10195803 HAS SOUS 6282719 HAS SOUPS 6282719 WITH SCORE 6292914.803
AT ITER 3713 NEW BEST:: SOT 20167251 SOS 10195818 HAS SOPS 10195818 HAS SOUS 6281858 HAS SOUPS 6281858 WITH SCORE 6292053.818
AT ITER 3715 NEW BEST:: SOT 20167251 SOS 10195674 HAS SOPS 10195674 HAS SOUS 6281617 HAS SOUPS 6281617 WITH SCORE 6291812.674
AT ITER 3716 NEW BEST:: SOT 20167251 SOS 10195401 HAS SOPS 10195401 HAS SOUS 6280607 HAS SOUPS 6280607 WITH SCORE 6290802.401
AT ITER 3717 NEW BEST:: SOT 20167552 SOS 10193161 HAS SOPS 10193161 HAS SOUS 6278367 HAS SOUPS 6278367 WITH SCORE 6288560.161
AT ITER 3719 NEW BEST:: SOT 20167312 SOS 10192872 HAS SOPS 10192872 HAS SOUS 6278127 HAS SOUPS 6278127 WITH SCORE 6288319.872
AT ITER 3721 NEW BEST:: SOT 20166930 SOS 10190671 HAS SOPS 10190671 HAS SOUS 6277613 HAS SOUPS 6277613 WITH SCORE 6287803.671
AT ITER 3730 NEW BEST:: SOT 20165535 SOS 10189230 HAS SOPS 10189230 HAS SOUS 6276272 HAS SOUPS 6276272 WITH SCORE 6286461.23
AT ITER 3733 NEW BEST:: SOT 20165535 SOS 10190091 HAS SOPS 10190091 HAS SOUS 6276060 HAS SOUPS 6276060 WITH SCORE 6286250.091
AT ITER 3738 NEW BEST:: SOT 20164539 SOS 10189290 HAS SOPS 10189290 HAS SOUS 6275663 HAS SOUPS 6275663 WITH SCORE 6285852.29
AT ITER 3739 NEW BEST:: SOT 20163875 SOS 10184716 HAS SOPS 10184716 HAS SOUS 6274298 HAS SOUPS 6274298 WITH SCORE 6284482.716
AT ITER 3748 NEW BEST:: SOT 20163620 SOS 10185108 HAS SOPS 10185108 HAS SOUS 6274267 HAS SOUPS 6274267 WITH SCORE 6284452.108
AT ITER 3749 NEW BEST:: SOT 20163437 SOS 10184742 HAS SOPS 10184742 HAS SOUS 6274084 HAS SOUPS 6274084 WITH SCORE 6284268.742
AT ITER 3750 NEW BEST:: SOT 20163437 SOS 10184742 HAS SOPS 10184742 HAS SOUS 6273433 HAS SOUPS 6273433 WITH SCORE 6283617.742
AT ITER 3757 NEW BEST:: SOT 20163483 SOS 10180832 HAS SOPS 10180832 HAS SOUS 6272676 HAS SOUPS 6272676 WITH SCORE 6282856.832
AT ITER 3762 NEW BEST:: SOT 20163483 SOS 10180832 HAS SOPS 10180832 HAS SOUS 6272443 HAS SOUPS 6272443 WITH SCORE 6282623.832
AT ITER 3763 NEW BEST:: SOT 20162568 SOS 10179917 HAS SOPS 10179917 HAS SOUS 6270799 HAS SOUPS 6270799 WITH SCORE 6280978.917
AT ITER 3771 NEW BEST:: SOT 20162055 SOS 10178172 HAS SOPS 10178172 HAS SOUS 6270346 HAS SOUPS 6270346 WITH SCORE 6280524.172
AT ITER 3775 NEW BEST:: SOT 20162856 SOS 10178370 HAS SOPS 10178370 HAS SOUS 6270149 HAS SOUPS 6270149 WITH SCORE 6280327.37
AT ITER 3776 NEW BEST:: SOT 20161083 SOS 10174824 HAS SOPS 10174824 HAS SOUS 6269067 HAS SOUPS 6269067 WITH SCORE 6279241.824
AT ITER 3783 NEW BEST:: SOT 20161397 SOS 10172325 HAS SOPS 10172325 HAS SOUS 6263119 HAS SOUPS 6263119 WITH SCORE 6273291.325
AT ITER 3786 NEW BEST:: SOT 20160990 SOS 10170059 HAS SOPS 10170059 HAS SOUS 6262398 HAS SOUPS 6262398 WITH SCORE 6272568.059
AT ITER 3790 NEW BEST:: SOT 20160757 SOS 10169593 HAS SOPS 10169593 HAS SOUS 6262165 HAS SOUPS 6262165 WITH SCORE 6272334.593
AT ITER 3795 NEW BEST:: SOT 20160434 SOS 10168007 HAS SOPS 10168007 HAS SOUS 6261372 HAS SOUPS 6261372 WITH SCORE 6271540.007
AT ITER 3800 NEW BEST:: SOT 20160434 SOS 10167947 HAS SOPS 10167947 HAS SOUS 6261372 HAS SOUPS 6261372 WITH SCORE 6271539.947
AT ITER 3804 NEW BEST:: SOT 20159592 SOS 10167507 HAS SOPS 10167507 HAS SOUS 6260530 HAS SOUPS 6260530 WITH SCORE 6270697.507
AT ITER 3812 NEW BEST:: SOT 20158828 SOS 10166743 HAS SOPS 10166743 HAS SOUS 6259573 HAS SOUPS 6259573 WITH SCORE 6269739.743
AT ITER 3813 NEW BEST:: SOT 20158828 SOS 10166743 HAS SOPS 10166743 HAS SOUS 6258673 HAS SOUPS 6258673 WITH SCORE 6268839.743
AT ITER 3815 NEW BEST:: SOT 20158497 SOS 10167127 HAS SOPS 10167127 HAS SOUS 6257917 HAS SOUPS 6257917 WITH SCORE 6268084.127
AT ITER 3820 NEW BEST:: SOT 20157413 SOS 10167361 HAS SOPS 10167361 HAS SOUS 6256840 HAS SOUPS 6256840 WITH SCORE 6267007.361
AT ITER 3824 NEW BEST:: SOT 20157164 SOS 10166863 HAS SOPS 10166863 HAS SOUS 6256835 HAS SOUPS 6256835 WITH SCORE 6267001.863
AT ITER 3825 NEW BEST:: SOT 20157429 SOS 10167128 HAS SOPS 10167128 HAS SOUS 6256231 HAS SOUPS 6256231 WITH SCORE 6266398.128
AT ITER 3830 NEW BEST:: SOT 20157666 SOS 10166333 HAS SOPS 10166333 HAS SOUS 6256081 HAS SOUPS 6256081 WITH SCORE 6266247.333
AT ITER 3831 NEW BEST:: SOT 20157436 SOS 10165873 HAS SOPS 10165873 HAS SOUS 6255391 HAS SOUPS 6255391 WITH SCORE 6265556.873
AT ITER 3838 NEW BEST:: SOT 20157436 SOS 10165291 HAS SOPS 10165291 HAS SOUS 6254546 HAS SOUPS 6254546 WITH SCORE 6264711.291
AT ITER 3844 NEW BEST:: SOT 20156902 SOS 10163543 HAS SOPS 10163543 HAS SOUS 6253478 HAS SOUPS 6253478 WITH SCORE 6263641.543
AT ITER 3845 NEW BEST:: SOT 20147634 SOS 10254780 HAS SOPS 10254780 HAS SOUS 6250327 HAS SOUPS 6250327 WITH SCORE 6260581.78
AT ITER 3847 NEW BEST:: SOT 20146741 SOS 10250918 HAS SOPS 10250918 HAS SOUS 6248693 HAS SOUPS 6248693 WITH SCORE 6258943.918
AT ITER 3849 NEW BEST:: SOT 20147133 SOS 10250452 HAS SOPS 10250452 HAS SOUS 6247833 HAS SOUPS 6247833 WITH SCORE 6258083.452
AT ITER 3850 NEW BEST:: SOT 20147133 SOS 10250452 HAS SOPS 10250452 HAS SOUS 6247609 HAS SOUPS 6247609 WITH SCORE 6257859.452
AT ITER 3853 NEW BEST:: SOT 20145847 SOS 10250452 HAS SOPS 10250452 HAS SOUS 6246323 HAS SOUPS 6246323 WITH SCORE 6256573.452
AT ITER 3854 NEW BEST:: SOT 20144386 SOS 10247530 HAS SOPS 10247530 HAS SOUS 6244271 HAS SOUPS 6244271 WITH SCORE 6254518.53
AT ITER 3858 NEW BEST:: SOT 20144386 SOS 10247530 HAS SOPS 10247530 HAS SOUS 6243100 HAS SOUPS 6243100 WITH SCORE 6253347.53
AT ITER 3863 NEW BEST:: SOT 20144123 SOS 10246467 HAS SOPS 10246467 HAS SOUS 6242837 HAS SOUPS 6242837 WITH SCORE 6253083.467
AT ITER 3865 NEW BEST:: SOT 20144123 SOS 10246467 HAS SOPS 10246467 HAS SOUS 6241745 HAS SOUPS 6241745 WITH SCORE 6251991.467
AT ITER 3871 NEW BEST:: SOT 20142240 SOS 10241588 HAS SOPS 10241588 HAS SOUS 6239064 HAS SOUPS 6239064 WITH SCORE 6249305.588
AT ITER 3873 NEW BEST:: SOT 20141247 SOS 10240595 HAS SOPS 10240595 HAS SOUS 6238071 HAS SOUPS 6238071 WITH SCORE 6248311.595
AT ITER 3877 NEW BEST:: SOT 20141247 SOS 10240461 HAS SOPS 10240461 HAS SOUS 6238071 HAS SOUPS 6238071 WITH SCORE 6248311.461
AT ITER 3878 NEW BEST:: SOT 20141115 SOS 10240461 HAS SOPS 10240461 HAS SOUS 6237939 HAS SOUPS 6237939 WITH SCORE 6248179.461
AT ITER 3879 NEW BEST:: SOT 20141109 SOS 10240455 HAS SOPS 10240455 HAS SOUS 6237933 HAS SOUPS 6237933 WITH SCORE 6248173.455
AT ITER 3882 NEW BEST:: SOT 20140738 SOS 10239712 HAS SOPS 10239712 HAS SOUS 6235962 HAS SOUPS 6235962 WITH SCORE 6246201.712
AT ITER 3885 NEW BEST:: SOT 20140981 SOS 10237616 HAS SOPS 10237616 HAS SOUS 6235796 HAS SOUPS 6235796 WITH SCORE 6246033.616
AT ITER 3891 NEW BEST:: SOT 20137891 SOS 10231303 HAS SOPS 10231303 HAS SOUS 6232590 HAS SOUPS 6232590 WITH SCORE 6242821.303
AT ITER 3894 NEW BEST:: SOT 20137309 SOS 10230139 HAS SOPS 10230139 HAS SOUS 6231927 HAS SOUPS 6231927 WITH SCORE 6242157.139
AT ITER 3898 NEW BEST:: SOT 20136078 SOS 10229799 HAS SOPS 10229799 HAS SOUS 6230696 HAS SOUPS 6230696 WITH SCORE 6240925.799
AT ITER 3901 NEW BEST:: SOT 20135992 SOS 10229627 HAS SOPS 10229627 HAS SOUS 6230610 HAS SOUPS 6230610 WITH SCORE 6240839.627
AT ITER 3903 NEW BEST:: SOT 20134657 SOS 10226957 HAS SOPS 10226957 HAS SOUS 6227940 HAS SOUPS 6227940 WITH SCORE 6238166.957
AT ITER 3908 NEW BEST:: SOT 20132809 SOS 10223261 HAS SOPS 10223261 HAS SOUS 6226092 HAS SOUPS 6226092 WITH SCORE 6236315.261
AT ITER 3909 NEW BEST:: SOT 20132539 SOS 10222678 HAS SOPS 10222678 HAS SOUS 6225822 HAS SOUPS 6225822 WITH SCORE 6236044.678
AT ITER 3916 NEW BEST:: SOT 20132081 SOS 10221762 HAS SOPS 10221762 HAS SOUS 6224142 HAS SOUPS 6224142 WITH SCORE 6234363.762
AT ITER 3919 NEW BEST:: SOT 20132081 SOS 10221762 HAS SOPS 10221762 HAS SOUS 6224141 HAS SOUPS 6224141 WITH SCORE 6234362.762
AT ITER 3926 NEW BEST:: SOT 20131735 SOS 10221070 HAS SOPS 10221070 HAS SOUS 6223795 HAS SOUPS 6223795 WITH SCORE 6234016.07
AT ITER 3930 NEW BEST:: SOT 20131182 SOS 10218858 HAS SOPS 10218858 HAS SOUS 6222689 HAS SOUPS 6222689 WITH SCORE 6232907.858
AT ITER 3937 NEW BEST:: SOT 20131295 SOS 10218932 HAS SOPS 10218932 HAS SOUS 6222611 HAS SOUPS 6222611 WITH SCORE 6232829.932
AT ITER 3940 NEW BEST:: SOT 20129805 SOS 10218597 HAS SOPS 10218597 HAS SOUS 6221369 HAS SOUPS 6221369 WITH SCORE 6231587.597
AT ITER 3942 NEW BEST:: SOT 20129074 SOS 10218742 HAS SOPS 10218742 HAS SOUS 6220915 HAS SOUPS 6220915 WITH SCORE 6231133.742
AT ITER 3943 NEW BEST:: SOT 20129074 SOS 10218395 HAS SOPS 10218395 HAS SOUS 6220568 HAS SOUPS 6220568 WITH SCORE 6230786.395
AT ITER 3944 NEW BEST:: SOT 20129074 SOS 10217307 HAS SOPS 10217307 HAS SOUS 6220192 HAS SOUPS 6220192 WITH SCORE 6230409.307
AT ITER 3948 NEW BEST:: SOT 20127771 SOS 10216004 HAS SOPS 10216004 HAS SOUS 6218803 HAS SOUPS 6218803 WITH SCORE 6229019.004
AT ITER 3949 NEW BEST:: SOT 20126926 SOS 10215830 HAS SOPS 10215830 HAS SOUS 6217958 HAS SOUPS 6217958 WITH SCORE 6228173.83
AT ITER 3956 NEW BEST:: SOT 20126511 SOS 10216854 HAS SOPS 10216854 HAS SOUS 6217543 HAS SOUPS 6217543 WITH SCORE 6227759.854
AT ITER 3968 NEW BEST:: SOT 20125883 SOS 10216180 HAS SOPS 10216180 HAS SOUS 6216915 HAS SOUPS 6216915 WITH SCORE 6227131.18
AT ITER 3977 NEW BEST:: SOT 20125903 SOS 10213278 HAS SOPS 10213278 HAS SOUS 6213841 HAS SOUPS 6213841 WITH SCORE 6224054.278
AT ITER 3981 NEW BEST:: SOT 20126151 SOS 10213774 HAS SOPS 10213774 HAS SOUS 6213093 HAS SOUPS 6213093 WITH SCORE 6223306.774
AT ITER 3982 NEW BEST:: SOT 20126151 SOS 10213236 HAS SOPS 10213236 HAS SOUS 6213014 HAS SOUPS 6213014 WITH SCORE 6223227.236
AT ITER 3984 NEW BEST:: SOT 20126198 SOS 10210660 HAS SOPS 10210660 HAS SOUS 6211773 HAS SOUPS 6211773 WITH SCORE 6221983.66
AT ITER 3989 NEW BEST:: SOT 20126198 SOS 10209608 HAS SOPS 10209608 HAS SOUS 6211771 HAS SOUPS 6211771 WITH SCORE 6221980.608
AT ITER 3992 NEW BEST:: SOT 20126509 SOS 10209176 HAS SOPS 10209176 HAS SOUS 6211027 HAS SOUPS 6211027 WITH SCORE 6221236.176
AT ITER 3994 NEW BEST:: SOT 20126187 SOS 10208699 HAS SOPS 10208699 HAS SOUS 6210705 HAS SOUPS 6210705 WITH SCORE 6220913.699
AT ITER 3997 NEW BEST:: SOT 20125402 SOS 10206273 HAS SOPS 10206273 HAS SOUS 6209547 HAS SOUPS 6209547 WITH SCORE 6219753.273
AT ITER 4006 NEW BEST:: SOT 20125469 SOS 10200099 HAS SOPS 10200099 HAS SOUS 6207190 HAS SOUPS 6207190 WITH SCORE 6217390.099
AT ITER 4012 NEW BEST:: SOT 20125115 SOS 10200113 HAS SOPS 10200113 HAS SOUS 6207122 HAS SOUPS 6207122 WITH SCORE 6217322.113
AT ITER 4025 NEW BEST:: SOT 20125441 SOS 10198652 HAS SOPS 10198652 HAS SOUS 6206930 HAS SOUPS 6206930 WITH SCORE 6217128.652
AT ITER 4026 NEW BEST:: SOT 20125591 SOS 10198323 HAS SOPS 10198323 HAS SOUS 6206425 HAS SOUPS 6206425 WITH SCORE 6216623.323
AT ITER 4031 NEW BEST:: SOT 20125591 SOS 10198190 HAS SOPS 10198190 HAS SOUS 6206292 HAS SOUPS 6206292 WITH SCORE 6216490.19
AT ITER 4038 NEW BEST:: SOT 20126796 SOS 10200600 HAS SOPS 10200600 HAS SOUS 6204971 HAS SOUPS 6204971 WITH SCORE 6215171.6
AT ITER 4044 NEW BEST:: SOT 20125990 SOS 10199794 HAS SOPS 10199794 HAS SOUS 6204165 HAS SOUPS 6204165 WITH SCORE 6214364.794
AT ITER 4048 NEW BEST:: SOT 20127107 SOS 10199508 HAS SOPS 10199508 HAS SOUS 6203308 HAS SOUPS 6203308 WITH SCORE 6213507.508
AT ITER 4049 NEW BEST:: SOT 20126817 SOS 10199218 HAS SOPS 10199218 HAS SOUS 6203308 HAS SOUPS 6203308 WITH SCORE 6213507.218
AT ITER 4055 NEW BEST:: SOT 20099658 SOS 10226830 HAS SOPS 10226830 HAS SOUS 6177355 HAS SOUPS 6177355 WITH SCORE 6187581.83
AT ITER 4058 NEW BEST:: SOT 20099658 SOS 10225522 HAS SOPS 10225522 HAS SOUS 6176842 HAS SOUPS 6176842 WITH SCORE 6187067.522
AT ITER 4059 NEW BEST:: SOT 20099881 SOS 10225531 HAS SOPS 10225531 HAS SOUS 6176626 HAS SOUPS 6176626 WITH SCORE 6186851.531
AT ITER 4070 NEW BEST:: SOT 20099881 SOS 10225531 HAS SOPS 10225531 HAS SOUS 6174519 HAS SOUPS 6174519 WITH SCORE 6184744.531
AT ITER 4073 NEW BEST:: SOT 20098741 SOS 10224151 HAS SOPS 10224151 HAS SOUS 6173379 HAS SOUPS 6173379 WITH SCORE 6183603.151
AT ITER 4077 NEW BEST:: SOT 20099278 SOS 10221801 HAS SOPS 10221801 HAS SOUS 6173292 HAS SOUPS 6173292 WITH SCORE 6183513.801
AT ITER 4082 NEW BEST:: SOT 20098844 SOS 10221544 HAS SOPS 10221544 HAS SOUS 6172858 HAS SOUPS 6172858 WITH SCORE 6183079.544
AT ITER 4084 NEW BEST:: SOT 20097477 SOS 10220806 HAS SOPS 10220806 HAS SOUS 6171804 HAS SOUPS 6171804 WITH SCORE 6182024.806
AT ITER 4096 NEW BEST:: SOT 20097294 SOS 10220440 HAS SOPS 10220440 HAS SOUS 6171362 HAS SOUPS 6171362 WITH SCORE 6181582.44
AT ITER 4097 NEW BEST:: SOT 20097439 SOS 10219934 HAS SOPS 10219934 HAS SOUS 6170060 HAS SOUPS 6170060 WITH SCORE 6180279.934
AT ITER 4098 NEW BEST:: SOT 20097439 SOS 10219934 HAS SOPS 10219934 HAS SOUS 6169759 HAS SOUPS 6169759 WITH SCORE 6179978.934
AT ITER 4099 NEW BEST:: SOT 20097439 SOS 10218606 HAS SOPS 10218606 HAS SOUS 6166605 HAS SOUPS 6166605 WITH SCORE 6176823.606
AT ITER 4103 NEW BEST:: SOT 20097206 SOS 10218373 HAS SOPS 10218373 HAS SOUS 6166605 HAS SOUPS 6166605 WITH SCORE 6176823.373
AT ITER 4108 NEW BEST:: SOT 20095108 SOS 10210258 HAS SOPS 10210258 HAS SOUS 6161788 HAS SOUPS 6161788 WITH SCORE 6171998.258
AT ITER 4109 NEW BEST:: SOT 20095116 SOS 10210764 HAS SOPS 10210764 HAS SOUS 6161314 HAS SOUPS 6161314 WITH SCORE 6171524.764
AT ITER 4115 NEW BEST:: SOT 20095079 SOS 10210690 HAS SOPS 10210690 HAS SOUS 6161277 HAS SOUPS 6161277 WITH SCORE 6171487.69
AT ITER 4116 NEW BEST:: SOT 20095738 SOS 10209509 HAS SOPS 10209509 HAS SOUS 6159711 HAS SOUPS 6159711 WITH SCORE 6169920.509
AT ITER 4119 NEW BEST:: SOT 20094797 SOS 10207627 HAS SOPS 10207627 HAS SOUS 6157423 HAS SOUPS 6157423 WITH SCORE 6167630.627
AT ITER 4121 NEW BEST:: SOT 20094797 SOS 10205437 HAS SOPS 10205437 HAS SOUS 6155233 HAS SOUPS 6155233 WITH SCORE 6165438.437
AT ITER 4124 NEW BEST:: SOT 20093963 SOS 10202869 HAS SOPS 10202869 HAS SOUS 6153561 HAS SOUPS 6153561 WITH SCORE 6163763.869
AT ITER 4125 NEW BEST:: SOT 20092483 SOS 10201389 HAS SOPS 10201389 HAS SOUS 6152084 HAS SOUPS 6152084 WITH SCORE 6162285.389
AT ITER 4136 NEW BEST:: SOT 20092483 SOS 10198880 HAS SOPS 10198880 HAS SOUS 6149575 HAS SOUPS 6149575 WITH SCORE 6159773.88
AT ITER 4141 NEW BEST:: SOT 20091993 SOS 10197900 HAS SOPS 10197900 HAS SOUS 6148266 HAS SOUPS 6148266 WITH SCORE 6158463.9
AT ITER 4146 NEW BEST:: SOT 20091993 SOS 10197900 HAS SOPS 10197900 HAS SOUS 6148265 HAS SOUPS 6148265 WITH SCORE 6158462.9
AT ITER 4147 NEW BEST:: SOT 20091993 SOS 10197900 HAS SOPS 10197900 HAS SOUS 6147659 HAS SOUPS 6147659 WITH SCORE 6157856.9
AT ITER 4151 NEW BEST:: SOT 20091889 SOS 10197588 HAS SOPS 10197588 HAS SOUS 6147347 HAS SOUPS 6147347 WITH SCORE 6157544.588
AT ITER 4154 NEW BEST:: SOT 20090620 SOS 10194266 HAS SOPS 10194266 HAS SOUS 6146735 HAS SOUPS 6146735 WITH SCORE 6156929.266
AT ITER 4156 NEW BEST:: SOT 20090601 SOS 10194081 HAS SOPS 10194081 HAS SOUS 6146568 HAS SOUPS 6146568 WITH SCORE 6156762.081
AT ITER 4160 NEW BEST:: SOT 20090601 SOS 10193411 HAS SOPS 10193411 HAS SOUS 6146485 HAS SOUPS 6146485 WITH SCORE 6156678.411
AT ITER 4161 NEW BEST:: SOT 20090601 SOS 10172099 HAS SOPS 10172099 HAS SOUS 6145766 HAS SOUPS 6145766 WITH SCORE 6155938.099
AT ITER 4163 NEW BEST:: SOT 20088678 SOS 10170119 HAS SOPS 10170119 HAS SOUS 6143843 HAS SOUPS 6143843 WITH SCORE 6154013.119
AT ITER 4165 NEW BEST:: SOT 20088678 SOS 10170119 HAS SOPS 10170119 HAS SOUS 6143724 HAS SOUPS 6143724 WITH SCORE 6153894.119
AT ITER 4170 NEW BEST:: SOT 20088678 SOS 10169336 HAS SOPS 10169336 HAS SOUS 6143724 HAS SOUPS 6143724 WITH SCORE 6153893.336
AT ITER 4177 NEW BEST:: SOT 20089175 SOS 10168319 HAS SOPS 10168319 HAS SOUS 6142598 HAS SOUPS 6142598 WITH SCORE 6152766.319
AT ITER 4181 NEW BEST:: SOT 20089070 SOS 10168214 HAS SOPS 10168214 HAS SOUS 6142493 HAS SOUPS 6142493 WITH SCORE 6152661.214
AT ITER 4183 NEW BEST:: SOT 20088590 SOS 10167494 HAS SOPS 10167494 HAS SOUS 6142013 HAS SOUPS 6142013 WITH SCORE 6152180.494
AT ITER 4188 NEW BEST:: SOT 20087330 SOS 10164974 HAS SOPS 10164974 HAS SOUS 6140187 HAS SOUPS 6140187 WITH SCORE 6150351.974
AT ITER 4198 NEW BEST:: SOT 20087004 SOS 10164648 HAS SOPS 10164648 HAS SOUS 6139861 HAS SOUPS 6139861 WITH SCORE 6150025.648
AT ITER 4201 NEW BEST:: SOT 20085967 SOS 10162574 HAS SOPS 10162574 HAS SOUS 6138680 HAS SOUPS 6138680 WITH SCORE 6148842.574
AT ITER 4207 NEW BEST:: SOT 20084167 SOS 10159887 HAS SOPS 10159887 HAS SOUS 6135993 HAS SOUPS 6135993 WITH SCORE 6146152.887
AT ITER 4212 NEW BEST:: SOT 20083888 SOS 10159887 HAS SOPS 10159887 HAS SOUS 6135714 HAS SOUPS 6135714 WITH SCORE 6145873.887
AT ITER 4213 NEW BEST:: SOT 20083888 SOS 10158703 HAS SOPS 10158703 HAS SOUS 6133837 HAS SOUPS 6133837 WITH SCORE 6143995.703
AT ITER 4215 NEW BEST:: SOT 20083888 SOS 10158703 HAS SOPS 10158703 HAS SOUS 6133260 HAS SOUPS 6133260 WITH SCORE 6143418.703
AT ITER 4220 NEW BEST:: SOT 20083929 SOS 10158128 HAS SOPS 10158128 HAS SOUS 6132233 HAS SOUPS 6132233 WITH SCORE 6142391.128
AT ITER 4224 NEW BEST:: SOT 20083192 SOS 10155917 HAS SOPS 10155917 HAS SOUS 6130759 HAS SOUPS 6130759 WITH SCORE 6140914.917
AT ITER 4232 NEW BEST:: SOT 20083192 SOS 10155501 HAS SOPS 10155501 HAS SOUS 6130185 HAS SOUPS 6130185 WITH SCORE 6140340.501
AT ITER 4233 NEW BEST:: SOT 20083690 SOS 10155076 HAS SOPS 10155076 HAS SOUS 6129702 HAS SOUPS 6129702 WITH SCORE 6139857.076
AT ITER 4234 NEW BEST:: SOT 20083166 SOS 10154266 HAS SOPS 10154266 HAS SOUS 6128486 HAS SOUPS 6128486 WITH SCORE 6138640.266
AT ITER 4236 NEW BEST:: SOT 20082845 SOS 10153624 HAS SOPS 10153624 HAS SOUS 6128165 HAS SOUPS 6128165 WITH SCORE 6138318.624
AT ITER 4242 NEW BEST:: SOT 20082719 SOS 10153891 HAS SOPS 10153891 HAS SOUS 6128129 HAS SOUPS 6128129 WITH SCORE 6138282.891
AT ITER 4251 NEW BEST:: SOT 20083286 SOS 10151817 HAS SOPS 10151817 HAS SOUS 6128081 HAS SOUPS 6128081 WITH SCORE 6138232.817
AT ITER 4253 NEW BEST:: SOT 20082805 SOS 10150748 HAS SOPS 10150748 HAS SOUS 6127739 HAS SOUPS 6127739 WITH SCORE 6137889.748
AT ITER 4258 NEW BEST:: SOT 20082805 SOS 10150748 HAS SOPS 10150748 HAS SOUS 6127255 HAS SOUPS 6127255 WITH SCORE 6137405.748
AT ITER 4259 NEW BEST:: SOT 20082805 SOS 10150748 HAS SOPS 10150748 HAS SOUS 6126881 HAS SOUPS 6126881 WITH SCORE 6137031.748
AT ITER 4263 NEW BEST:: SOT 20083071 SOS 10151280 HAS SOPS 10151280 HAS SOUS 6123331 HAS SOUPS 6123331 WITH SCORE 6133482.28
AT ITER 4271 NEW BEST:: SOT 20081831 SOS 10150043 HAS SOPS 10150043 HAS SOUS 6123332 HAS SOUPS 6123332 WITH SCORE 6133482.043
AT ITER 4273 NEW BEST:: SOT 20083254 SOS 10150639 HAS SOPS 10150639 HAS SOUS 6120350 HAS SOUPS 6120350 WITH SCORE 6130500.639
AT ITER 4278 NEW BEST:: SOT 20083413 SOS 10150590 HAS SOPS 10150590 HAS SOUS 6119934 HAS SOUPS 6119934 WITH SCORE 6130084.59
AT ITER 4279 NEW BEST:: SOT 20085231 SOS 10148470 HAS SOPS 10148470 HAS SOUS 6119850 HAS SOUPS 6119850 WITH SCORE 6129998.47
AT ITER 4285 NEW BEST:: SOT 20083467 SOS 10146706 HAS SOPS 10146706 HAS SOUS 6118086 HAS SOUPS 6118086 WITH SCORE 6128232.706
AT ITER 4290 NEW BEST:: SOT 20083467 SOS 10144944 HAS SOPS 10144944 HAS SOUS 6118086 HAS SOUPS 6118086 WITH SCORE 6128230.944
AT ITER 4293 NEW BEST:: SOT 20084232 SOS 10140719 HAS SOPS 10140719 HAS SOUS 6117104 HAS SOUPS 6117104 WITH SCORE 6127244.719
AT ITER 4296 NEW BEST:: SOT 20084232 SOS 10140719 HAS SOPS 10140719 HAS SOUS 6116370 HAS SOUPS 6116370 WITH SCORE 6126510.719
AT ITER 4305 NEW BEST:: SOT 20083499 SOS 10138520 HAS SOPS 10138520 HAS SOUS 6115637 HAS SOUPS 6115637 WITH SCORE 6125775.52
AT ITER 4313 NEW BEST:: SOT 20083499 SOS 10138520 HAS SOPS 10138520 HAS SOUS 6115602 HAS SOUPS 6115602 WITH SCORE 6125740.52
AT ITER 4315 NEW BEST:: SOT 20081019 SOS 10135983 HAS SOPS 10135983 HAS SOUS 6113122 HAS SOUPS 6113122 WITH SCORE 6123257.983
AT ITER 4317 NEW BEST:: SOT 20081019 SOS 10135983 HAS SOPS 10135983 HAS SOUS 6112821 HAS SOUPS 6112821 WITH SCORE 6122956.983
AT ITER 4318 NEW BEST:: SOT 20080735 SOS 10135415 HAS SOPS 10135415 HAS SOUS 6111972 HAS SOUPS 6111972 WITH SCORE 6122107.415
AT ITER 4321 NEW BEST:: SOT 20080735 SOS 10135415 HAS SOPS 10135415 HAS SOUS 6111969 HAS SOUPS 6111969 WITH SCORE 6122104.415
AT ITER 4325 NEW BEST:: SOT 20080589 SOS 10135124 HAS SOPS 10135124 HAS SOUS 6111908 HAS SOUPS 6111908 WITH SCORE 6122043.124
AT ITER 4326 NEW BEST:: SOT 20080110 SOS 10131664 HAS SOPS 10131664 HAS SOUS 6109887 HAS SOUPS 6109887 WITH SCORE 6120018.664
AT ITER 4328 NEW BEST:: SOT 20080176 SOS 10131642 HAS SOPS 10131642 HAS SOUS 6109877 HAS SOUPS 6109877 WITH SCORE 6120008.642
AT ITER 4334 NEW BEST:: SOT 20080074 SOS 10131089 HAS SOPS 10131089 HAS SOUS 6109775 HAS SOUPS 6109775 WITH SCORE 6119906.089
AT ITER 4339 NEW BEST:: SOT 20080074 SOS 10131089 HAS SOPS 10131089 HAS SOUS 6109462 HAS SOUPS 6109462 WITH SCORE 6119593.089
AT ITER 4342 NEW BEST:: SOT 20079225 SOS 10131089 HAS SOPS 10131089 HAS SOUS 6108613 HAS SOUPS 6108613 WITH SCORE 6118744.089
AT ITER 4344 NEW BEST:: SOT 20053878 SOS 10117867 HAS SOPS 10117867 HAS SOUS 6085875 HAS SOUPS 6085875 WITH SCORE 6095992.867
AT ITER 4346 NEW BEST:: SOT 20053878 SOS 10116864 HAS SOPS 10116864 HAS SOUS 6083869 HAS SOUPS 6083869 WITH SCORE 6093985.864
AT ITER 4347 NEW BEST:: SOT 20053593 SOS 10116294 HAS SOPS 10116294 HAS SOUS 6082802 HAS SOUPS 6082802 WITH SCORE 6092918.294
AT ITER 4348 NEW BEST:: SOT 20053593 SOS 10115802 HAS SOPS 10115802 HAS SOUS 6082066 HAS SOUPS 6082066 WITH SCORE 6092181.802
AT ITER 4358 NEW BEST:: SOT 20053555 SOS 10115726 HAS SOPS 10115726 HAS SOUS 6081990 HAS SOUPS 6081990 WITH SCORE 6092105.726
AT ITER 4359 NEW BEST:: SOT 20053555 SOS 10115584 HAS SOPS 10115584 HAS SOUS 6081706 HAS SOUPS 6081706 WITH SCORE 6091821.584
AT ITER 4361 NEW BEST:: SOT 20053415 SOS 10114511 HAS SOPS 10114511 HAS SOUS 6081566 HAS SOUPS 6081566 WITH SCORE 6091680.511
AT ITER 4363 NEW BEST:: SOT 20052960 SOS 10114127 HAS SOPS 10114127 HAS SOUS 6081374 HAS SOUPS 6081374 WITH SCORE 6091488.127
AT ITER 4365 NEW BEST:: SOT 20053870 SOS 10114848 HAS SOPS 10114848 HAS SOUS 6080687 HAS SOUPS 6080687 WITH SCORE 6090801.848
AT ITER 4367 NEW BEST:: SOT 20052705 SOS 10112518 HAS SOPS 10112518 HAS SOUS 6079624 HAS SOUPS 6079624 WITH SCORE 6089736.518
AT ITER 4374 NEW BEST:: SOT 20052497 SOS 10112102 HAS SOPS 10112102 HAS SOUS 6079208 HAS SOUPS 6079208 WITH SCORE 6089320.102
AT ITER 4379 NEW BEST:: SOT 20052258 SOS 10097601 HAS SOPS 10097601 HAS SOUS 6078969 HAS SOUPS 6078969 WITH SCORE 6089066.601
AT ITER 4382 NEW BEST:: SOT 20051696 SOS 10097039 HAS SOPS 10097039 HAS SOUS 6078407 HAS SOUPS 6078407 WITH SCORE 6088504.039
AT ITER 4390 NEW BEST:: SOT 20052110 SOS 10096301 HAS SOPS 10096301 HAS SOUS 6078297 HAS SOUPS 6078297 WITH SCORE 6088393.301
AT ITER 4392 NEW BEST:: SOT 20052111 SOS 10093904 HAS SOPS 10093904 HAS SOUS 6076040 HAS SOUPS 6076040 WITH SCORE 6086133.904
AT ITER 4401 NEW BEST:: SOT 20051925 SOS 10093728 HAS SOPS 10093728 HAS SOUS 6075854 HAS SOUPS 6075854 WITH SCORE 6085947.728
AT ITER 4402 NEW BEST:: SOT 20051542 SOS 10093548 HAS SOPS 10093548 HAS SOUS 6075471 HAS SOUPS 6075471 WITH SCORE 6085564.548
AT ITER 4420 NEW BEST:: SOT 20050913 SOS 10092290 HAS SOPS 10092290 HAS SOUS 6074842 HAS SOUPS 6074842 WITH SCORE 6084934.29
AT ITER 4422 NEW BEST:: SOT 20049046 SOS 10085352 HAS SOPS 10085352 HAS SOUS 6070115 HAS SOUPS 6070115 WITH SCORE 6080200.352
AT ITER 4427 NEW BEST:: SOT 20049045 SOS 10085351 HAS SOPS 10085351 HAS SOUS 6069761 HAS SOUPS 6069761 WITH SCORE 6079846.351
AT ITER 4437 NEW BEST:: SOT 20048349 SOS 10086809 HAS SOPS 10086809 HAS SOUS 6069536 HAS SOUPS 6069536 WITH SCORE 6079622.809
AT ITER 4444 NEW BEST:: SOT 20047750 SOS 10086161 HAS SOPS 10086161 HAS SOUS 6068937 HAS SOUPS 6068937 WITH SCORE 6079023.161
AT ITER 4445 NEW BEST:: SOT 20047194 SOS 10084410 HAS SOPS 10084410 HAS SOUS 6067742 HAS SOUPS 6067742 WITH SCORE 6077826.41
AT ITER 4446 NEW BEST:: SOT 20047194 SOS 10083970 HAS SOPS 10083970 HAS SOUS 6067302 HAS SOUPS 6067302 WITH SCORE 6077385.97
AT ITER 4451 NEW BEST:: SOT 20047194 SOS 10082782 HAS SOPS 10082782 HAS SOUS 6065032 HAS SOUPS 6065032 WITH SCORE 6075114.782
AT ITER 4452 NEW BEST:: SOT 20046553 SOS 10081352 HAS SOPS 10081352 HAS SOUS 6064135 HAS SOUPS 6064135 WITH SCORE 6074216.352
AT ITER 4459 NEW BEST:: SOT 20047521 SOS 10083288 HAS SOPS 10083288 HAS SOUS 6062922 HAS SOUPS 6062922 WITH SCORE 6073005.288
AT ITER 4463 NEW BEST:: SOT 20047521 SOS 10083288 HAS SOPS 10083288 HAS SOUS 6062815 HAS SOUPS 6062815 WITH SCORE 6072898.288
AT ITER 4469 NEW BEST:: SOT 20047100 SOS 10083272 HAS SOPS 10083272 HAS SOUS 6062640 HAS SOUPS 6062640 WITH SCORE 6072723.272
AT ITER 4479 NEW BEST:: SOT 20046009 SOS 10081090 HAS SOPS 10081090 HAS SOUS 6060458 HAS SOUPS 6060458 WITH SCORE 6070539.09
AT ITER 4483 NEW BEST:: SOT 20045737 SOS 10080546 HAS SOPS 10080546 HAS SOUS 6059914 HAS SOUPS 6059914 WITH SCORE 6069994.546
AT ITER 4490 NEW BEST:: SOT 20045852 SOS 10080776 HAS SOPS 10080776 HAS SOUS 6058600 HAS SOUPS 6058600 WITH SCORE 6068680.776
AT ITER 4502 NEW BEST:: SOT 20046196 SOS 10079696 HAS SOPS 10079696 HAS SOUS 6058395 HAS SOUPS 6058395 WITH SCORE 6068474.696
AT ITER 4504 NEW BEST:: SOT 20044654 SOS 10077129 HAS SOPS 10077129 HAS SOUS 6056853 HAS SOUPS 6056853 WITH SCORE 6066930.129
AT ITER 4512 NEW BEST:: SOT 20044020 SOS 10076495 HAS SOPS 10076495 HAS SOUS 6056219 HAS SOUPS 6056219 WITH SCORE 6066295.495
AT ITER 4513 NEW BEST:: SOT 20043565 SOS 10075585 HAS SOPS 10075585 HAS SOUS 6055387 HAS SOUPS 6055387 WITH SCORE 6065462.585
AT ITER 4515 NEW BEST:: SOT 20042192 SOS 10075206 HAS SOPS 10075206 HAS SOUS 6054984 HAS SOUPS 6054984 WITH SCORE 6065059.206
AT ITER 4526 NEW BEST:: SOT 20042101 SOS 10075024 HAS SOPS 10075024 HAS SOUS 6054893 HAS SOUPS 6054893 WITH SCORE 6064968.024
AT ITER 4528 NEW BEST:: SOT 20042101 SOS 10073864 HAS SOPS 10073864 HAS SOUS 6053733 HAS SOUPS 6053733 WITH SCORE 6063806.864
AT ITER 4534 NEW BEST:: SOT 20043262 SOS 10068628 HAS SOPS 10068628 HAS SOUS 6051142 HAS SOUPS 6051142 WITH SCORE 6061210.628
AT ITER 4536 NEW BEST:: SOT 20043262 SOS 10068628 HAS SOPS 10068628 HAS SOUS 6051101 HAS SOUPS 6051101 WITH SCORE 6061169.628
AT ITER 4537 NEW BEST:: SOT 20043262 SOS 10068627 HAS SOPS 10068627 HAS SOUS 6051100 HAS SOUPS 6051100 WITH SCORE 6061168.627
AT ITER 4540 NEW BEST:: SOT 20043262 SOS 10068571 HAS SOPS 10068571 HAS SOUS 6051044 HAS SOUPS 6051044 WITH SCORE 6061112.571
AT ITER 4542 NEW BEST:: SOT 20042916 SOS 10067879 HAS SOPS 10067879 HAS SOUS 6050023 HAS SOUPS 6050023 WITH SCORE 6060090.879
AT ITER 4547 NEW BEST:: SOT 20042850 SOS 10067747 HAS SOPS 10067747 HAS SOUS 6049957 HAS SOUPS 6049957 WITH SCORE 6060024.747
AT ITER 4553 NEW BEST:: SOT 20042314 SOS 10066675 HAS SOPS 10066675 HAS SOUS 6048885 HAS SOUPS 6048885 WITH SCORE 6058951.675
AT ITER 4559 NEW BEST:: SOT 20043221 SOS 10067715 HAS SOPS 10067715 HAS SOUS 6047249 HAS SOUPS 6047249 WITH SCORE 6057316.715
AT ITER 4560 NEW BEST:: SOT 20043221 SOS 10067715 HAS SOPS 10067715 HAS SOUS 6047210 HAS SOUPS 6047210 WITH SCORE 6057277.715
AT ITER 4562 NEW BEST:: SOT 20043221 SOS 10066573 HAS SOPS 10066573 HAS SOUS 6046639 HAS SOUPS 6046639 WITH SCORE 6056705.573
AT ITER 4563 NEW BEST:: SOT 20043221 SOS 10066573 HAS SOPS 10066573 HAS SOUS 6046322 HAS SOUPS 6046322 WITH SCORE 6056388.573
AT ITER 4564 NEW BEST:: SOT 20042079 SOS 10066339 HAS SOPS 10066339 HAS SOUS 6045180 HAS SOUPS 6045180 WITH SCORE 6055246.339
AT ITER 4566 NEW BEST:: SOT 20041276 SOS 10062775 HAS SOPS 10062775 HAS SOUS 6044204 HAS SOUPS 6044204 WITH SCORE 6054266.775
AT ITER 4575 NEW BEST:: SOT 20042416 SOS 10060799 HAS SOPS 10060799 HAS SOUS 6042785 HAS SOUPS 6042785 WITH SCORE 6052845.799
AT ITER 4576 NEW BEST:: SOT 20042416 SOS 10059125 HAS SOPS 10059125 HAS SOUS 6039392 HAS SOUPS 6039392 WITH SCORE 6049451.125
AT ITER 4582 NEW BEST:: SOT 20042406 SOS 10059105 HAS SOPS 10059105 HAS SOUS 6039382 HAS SOUPS 6039382 WITH SCORE 6049441.105
AT ITER 4588 NEW BEST:: SOT 20042406 SOS 10057886 HAS SOPS 10057886 HAS SOUS 6038163 HAS SOUPS 6038163 WITH SCORE 6048220.886
AT ITER 4589 NEW BEST:: SOT 20041660 SOS 10057330 HAS SOPS 10057330 HAS SOUS 6037713 HAS SOUPS 6037713 WITH SCORE 6047770.33
AT ITER 4592 NEW BEST:: SOT 20041444 SOS 10056898 HAS SOPS 10056898 HAS SOUS 6036984 HAS SOUPS 6036984 WITH SCORE 6047040.898
AT ITER 4593 NEW BEST:: SOT 20042738 SOS 10057043 HAS SOPS 10057043 HAS SOUS 6035640 HAS SOUPS 6035640 WITH SCORE 6045697.043
AT ITER 4598 NEW BEST:: SOT 20042738 SOS 10056462 HAS SOPS 10056462 HAS SOUS 6035616 HAS SOUPS 6035616 WITH SCORE 6045672.462
AT ITER 4605 NEW BEST:: SOT 20042148 SOS 10054102 HAS SOPS 10054102 HAS SOUS 6034436 HAS SOUPS 6034436 WITH SCORE 6044490.102
AT ITER 4606 NEW BEST:: SOT 20041708 SOS 10053222 HAS SOPS 10053222 HAS SOUS 6033194 HAS SOUPS 6033194 WITH SCORE 6043247.222
AT ITER 4609 NEW BEST:: SOT 20041194 SOS 10052708 HAS SOPS 10052708 HAS SOUS 6032885 HAS SOUPS 6032885 WITH SCORE 6042937.708
AT ITER 4618 NEW BEST:: SOT 20040313 SOS 10049184 HAS SOPS 10049184 HAS SOUS 6031321 HAS SOUPS 6031321 WITH SCORE 6041370.184
AT ITER 4619 NEW BEST:: SOT 20041107 SOS 10048278 HAS SOPS 10048278 HAS SOUS 6029020 HAS SOUPS 6029020 WITH SCORE 6039068.278
AT ITER 4625 NEW BEST:: SOT 20041267 SOS 10048702 HAS SOPS 10048702 HAS SOUS 6028498 HAS SOUPS 6028498 WITH SCORE 6038546.702
AT ITER 4626 NEW BEST:: SOT 20041267 SOS 10046850 HAS SOPS 10046850 HAS SOUS 6026646 HAS SOUPS 6026646 WITH SCORE 6036692.85
AT ITER 4631 NEW BEST:: SOT 20041458 SOS 10047232 HAS SOPS 10047232 HAS SOUS 6026487 HAS SOUPS 6026487 WITH SCORE 6036534.232
AT ITER 4634 NEW BEST:: SOT 20041854 SOS 10013749 HAS SOPS 10013749 HAS SOUS 6025661 HAS SOUPS 6025661 WITH SCORE 6035674.749
AT ITER 4641 NEW BEST:: SOT 20041854 SOS 10013749 HAS SOPS 10013749 HAS SOUS 6025607 HAS SOUPS 6025607 WITH SCORE 6035620.749
AT ITER 4642 NEW BEST:: SOT 20041854 SOS 10013749 HAS SOPS 10013749 HAS SOUS 6024837 HAS SOUPS 6024837 WITH SCORE 6034850.749
AT ITER 4644 NEW BEST:: SOT 20041854 SOS 10013402 HAS SOPS 10013402 HAS SOUS 6024567 HAS SOUPS 6024567 WITH SCORE 6034580.402
AT ITER 4649 NEW BEST:: SOT 20041267 SOS 10012228 HAS SOPS 10012228 HAS SOUS 6023393 HAS SOUPS 6023393 WITH SCORE 6033405.228
AT ITER 4652 NEW BEST:: SOT 20041267 SOS 10011951 HAS SOPS 10011951 HAS SOUS 6023116 HAS SOUPS 6023116 WITH SCORE 6033127.951
AT ITER 4653 NEW BEST:: SOT 20041468 SOS 10012353 HAS SOPS 10012353 HAS SOUS 6022672 HAS SOUPS 6022672 WITH SCORE 6032684.353
AT ITER 4656 NEW BEST:: SOT 20040468 SOS 10008568 HAS SOPS 10008568 HAS SOUS 6019923 HAS SOUPS 6019923 WITH SCORE 6029931.568
AT ITER 4661 NEW BEST:: SOT 20040468 SOS 10008217 HAS SOPS 10008217 HAS SOUS 6019922 HAS SOUPS 6019922 WITH SCORE 6029930.217
AT ITER 4670 NEW BEST:: SOT 20039686 SOS 10006653 HAS SOPS 10006653 HAS SOUS 6018329 HAS SOUPS 6018329 WITH SCORE 6028335.653
AT ITER 4680 NEW BEST:: SOT 20038851 SOS 10004983 HAS SOPS 10004983 HAS SOUS 6017494 HAS SOUPS 6017494 WITH SCORE 6027498.983
AT ITER 4682 NEW BEST:: SOT 20038779 SOS 10004914 HAS SOPS 10004914 HAS SOUS 6015583 HAS SOUPS 6015583 WITH SCORE 6025587.914
AT ITER 4685 NEW BEST:: SOT 20038832 SOS 10004010 HAS SOPS 10004010 HAS SOUS 6013193 HAS SOUPS 6013193 WITH SCORE 6023197.01
AT ITER 4686 NEW BEST:: SOT 20038832 SOS 10004010 HAS SOPS 10004010 HAS SOUS 6012962 HAS SOUPS 6012962 WITH SCORE 6022966.01
AT ITER 4691 NEW BEST:: SOT 20038832 SOS 10004010 HAS SOPS 10004010 HAS SOUS 6012321 HAS SOUPS 6012321 WITH SCORE 6022325.01
AT ITER 4698 NEW BEST:: SOT 20038450 SOS 10006376 HAS SOPS 10006376 HAS SOUS 6011939 HAS SOUPS 6011939 WITH SCORE 6021945.376
AT ITER 4701 NEW BEST:: SOT 20038450 SOS 10006376 HAS SOPS 10006376 HAS SOUS 6011504 HAS SOUPS 6011504 WITH SCORE 6021510.376
AT ITER 4706 NEW BEST:: SOT 20038450 SOS 10005981 HAS SOPS 10005981 HAS SOUS 6011329 HAS SOUPS 6011329 WITH SCORE 6021334.981
AT ITER 4710 NEW BEST:: SOT 20038450 SOS 10005981 HAS SOPS 10005981 HAS SOUS 6008183 HAS SOUPS 6008183 WITH SCORE 6018188.981
AT ITER 4712 NEW BEST:: SOT 20038294 SOS 10005669 HAS SOPS 10005669 HAS SOUS 6007871 HAS SOUPS 6007871 WITH SCORE 6017876.669
AT ITER 4713 NEW BEST:: SOT 20038709 SOS 10005921 HAS SOPS 10005921 HAS SOUS 6007708 HAS SOUPS 6007708 WITH SCORE 6017713.921
AT ITER 4715 NEW BEST:: SOT 20038709 SOS 10005921 HAS SOPS 10005921 HAS SOUS 6007673 HAS SOUPS 6007673 WITH SCORE 6017678.921
AT ITER 4721 NEW BEST:: SOT 20038709 SOS 10005921 HAS SOPS 10005921 HAS SOUS 6007248 HAS SOUPS 6007248 WITH SCORE 6017253.921
AT ITER 4727 NEW BEST:: SOT 20038745 SOS 10005993 HAS SOPS 10005993 HAS SOUS 6007096 HAS SOUPS 6007096 WITH SCORE 6017101.993
AT ITER 4729 NEW BEST:: SOT 20038599 SOS 10001777 HAS SOPS 10001777 HAS SOUS 6004621 HAS SOUPS 6004621 WITH SCORE 6014622.777
AT ITER 4734 NEW BEST:: SOT 20038661 SOS 10001809 HAS SOPS 10001809 HAS SOUS 6004268 HAS SOUPS 6004268 WITH SCORE 6014269.809
AT ITER 4737 NEW BEST:: SOT 20038661 SOS 10002064 HAS SOPS 10002064 HAS SOUS 6003903 HAS SOUPS 6003903 WITH SCORE 6013905.064
AT ITER 4741 NEW BEST:: SOT 20038563 SOS 10001868 HAS SOPS 10001868 HAS SOUS 6003800 HAS SOUPS 6003800 WITH SCORE 6013801.868
AT ITER 4746 NEW BEST:: SOT 20038295 SOS 10001332 HAS SOPS 10001332 HAS SOUS 6003532 HAS SOUPS 6003532 WITH SCORE 6013533.332
AT ITER 4749 NEW BEST:: SOT 20038260 SOS 10000774 HAS SOPS 10000774 HAS SOUS 6003009 HAS SOUPS 6003009 WITH SCORE 6013009.774
AT ITER 4750 NEW BEST:: SOT 20038260 SOS 10000774 HAS SOPS 10000774 HAS SOUS 6003004 HAS SOUPS 6003004 WITH SCORE 6013004.774
AT ITER 4751 NEW BEST:: SOT 20037938 SOS 10000130 HAS SOPS 10000130 HAS SOUS 6002670 HAS SOUPS 6002670 WITH SCORE 6012670.13
AT ITER 4755 NEW BEST:: SOT 20039384 SOS 10000981 HAS SOPS 10000981 HAS SOUS 6002018 HAS SOUPS 6002018 WITH SCORE 6012018.981
AT ITER 4759 NEW BEST:: SOT 20039311 SOS 10000908 HAS SOPS 10000908 HAS SOUS 6002018 HAS SOUPS 6002018 WITH SCORE 6012018.908
AT ITER 4761 NEW BEST:: SOT 20038914 SOS 10000114 HAS SOPS 10000114 HAS SOUS 6001621 HAS SOUPS 6001621 WITH SCORE 6011621.114
AT ITER 4763 NEW BEST:: SOT 20039061 SOS 9999442 HAS SOPS 9999442 HAS SOUS 5999557 HAS SOUPS 5999557 WITH SCORE 6009556.442
AT ITER 4764 NEW BEST:: SOT 20039061 SOS 9999676 HAS SOPS 9999676 HAS SOUS 5998122 HAS SOUPS 5998122 WITH SCORE 6008121.676
AT ITER 4766 NEW BEST:: SOT 20038995 SOS 10000032 HAS SOPS 10000032 HAS SOUS 5998056 HAS SOUPS 5998056 WITH SCORE 6008056.032
AT ITER 4767 NEW BEST:: SOT 20038595 SOS 9997667 HAS SOPS 9997667 HAS SOUS 5997655 HAS SOUPS 5997655 WITH SCORE 6007652.667
AT ITER 4768 NEW BEST:: SOT 20038595 SOS 9997410 HAS SOPS 9997410 HAS SOUS 5997655 HAS SOUPS 5997655 WITH SCORE 6007652.41
AT ITER 4769 NEW BEST:: SOT 20036852 SOS 9995720 HAS SOPS 9995720 HAS SOUS 5995965 HAS SOUPS 5995965 WITH SCORE 6005960.72
AT ITER 4781 NEW BEST:: SOT 20036492 SOS 9994999 HAS SOPS 9994999 HAS SOUS 5995604 HAS SOUPS 5995604 WITH SCORE 6005598.999
AT ITER 4782 NEW BEST:: SOT 20034733 SOS 9993203 HAS SOPS 9993203 HAS SOUS 5993845 HAS SOUPS 5993845 WITH SCORE 6003838.203
AT ITER 4790 NEW BEST:: SOT 20034733 SOS 9993203 HAS SOPS 9993203 HAS SOUS 5993843 HAS SOUPS 5993843 WITH SCORE 6003836.203
AT ITER 4792 NEW BEST:: SOT 20034733 SOS 9992794 HAS SOPS 9992794 HAS SOUS 5993843 HAS SOUPS 5993843 WITH SCORE 6003835.794
AT ITER 4796 NEW BEST:: SOT 20031364 SOS 9988861 HAS SOPS 9988861 HAS SOUS 5990750 HAS SOUPS 5990750 WITH SCORE 6000738.861
AT ITER 4800 NEW BEST:: SOT 20031364 SOS 9988778 HAS SOPS 9988778 HAS SOUS 5990666 HAS SOUPS 5990666 WITH SCORE 6000654.778
AT ITER 4802 NEW BEST:: SOT 20030923 SOS 9988408 HAS SOPS 9988408 HAS SOUS 5990296 HAS SOUPS 5990296 WITH SCORE 6000284.408
AT ITER 4805 NEW BEST:: SOT 20030923 SOS 9987591 HAS SOPS 9987591 HAS SOUS 5990296 HAS SOUPS 5990296 WITH SCORE 6000283.591
AT ITER 4806 NEW BEST:: SOT 20030955 SOS 9987717 HAS SOPS 9987717 HAS SOUS 5989323 HAS SOUPS 5989323 WITH SCORE 5999310.717
AT ITER 4809 NEW BEST:: SOT 20030955 SOS 9987642 HAS SOPS 9987642 HAS SOUS 5989248 HAS SOUPS 5989248 WITH SCORE 5999235.642
AT ITER 4811 NEW BEST:: SOT 20030955 SOS 9986779 HAS SOPS 9986779 HAS SOUS 5988385 HAS SOUPS 5988385 WITH SCORE 5998371.779
AT ITER 4812 NEW BEST:: SOT 20030769 SOS 9986593 HAS SOPS 9986593 HAS SOUS 5988013 HAS SOUPS 5988013 WITH SCORE 5997999.593
AT ITER 4820 NEW BEST:: SOT 20030769 SOS 9986456 HAS SOPS 9986456 HAS SOUS 5987876 HAS SOUPS 5987876 WITH SCORE 5997862.456
AT ITER 4821 NEW BEST:: SOT 20030667 SOS 9986252 HAS SOPS 9986252 HAS SOUS 5987672 HAS SOUPS 5987672 WITH SCORE 5997658.252
AT ITER 4839 NEW BEST:: SOT 20030667 SOS 9985815 HAS SOPS 9985815 HAS SOUS 5986668 HAS SOUPS 5986668 WITH SCORE 5996653.815
AT ITER 4844 NEW BEST:: SOT 20030667 SOS 9985815 HAS SOPS 9985815 HAS SOUS 5986242 HAS SOUPS 5986242 WITH SCORE 5996227.815
AT ITER 4845 NEW BEST:: SOT 20028220 SOS 9983493 HAS SOPS 9983493 HAS SOUS 5983381 HAS SOUPS 5983381 WITH SCORE 5993364.493
AT ITER 4846 NEW BEST:: SOT 20028103 SOS 9983376 HAS SOPS 9983376 HAS SOUS 5983381 HAS SOUPS 5983381 WITH SCORE 5993364.376
AT ITER 4847 NEW BEST:: SOT 20028103 SOS 9983376 HAS SOPS 9983376 HAS SOUS 5983120 HAS SOUPS 5983120 WITH SCORE 5993103.376
AT ITER 4849 NEW BEST:: SOT 20027268 SOS 9979825 HAS SOPS 9979825 HAS SOUS 5981582 HAS SOUPS 5981582 WITH SCORE 5991561.825
AT ITER 4851 NEW BEST:: SOT 20026284 SOS 9978841 HAS SOPS 9978841 HAS SOUS 5980598 HAS SOUPS 5980598 WITH SCORE 5990576.841
AT ITER 4858 NEW BEST:: SOT 20026284 SOS 9977493 HAS SOPS 9977493 HAS SOUS 5979250 HAS SOUPS 5979250 WITH SCORE 5989227.493
AT ITER 4863 NEW BEST:: SOT 20025767 SOS 9977605 HAS SOPS 9977605 HAS SOUS 5978788 HAS SOUPS 5978788 WITH SCORE 5988765.605
AT ITER 4864 NEW BEST:: SOT 20024350 SOS 9978480 HAS SOPS 9978480 HAS SOUS 5978163 HAS SOUPS 5978163 WITH SCORE 5988141.48
AT ITER 4865 NEW BEST:: SOT 20024858 SOS 9978764 HAS SOPS 9978764 HAS SOUS 5975207 HAS SOUPS 5975207 WITH SCORE 5985185.764
AT ITER 4866 NEW BEST:: SOT 20026465 SOS 9980539 HAS SOPS 9980539 HAS SOUS 5974597 HAS SOUPS 5974597 WITH SCORE 5984577.539
AT ITER 4870 NEW BEST:: SOT 20027502 SOS 9980697 HAS SOPS 9980697 HAS SOUS 5973771 HAS SOUPS 5973771 WITH SCORE 5983751.697
AT ITER 4872 NEW BEST:: SOT 20027502 SOS 9980655 HAS SOPS 9980655 HAS SOUS 5973687 HAS SOUPS 5973687 WITH SCORE 5983667.655
AT ITER 4875 NEW BEST:: SOT 20027502 SOS 9978925 HAS SOPS 9978925 HAS SOUS 5971387 HAS SOUPS 5971387 WITH SCORE 5981365.925
AT ITER 4885 NEW BEST:: SOT 20027502 SOS 9978925 HAS SOPS 9978925 HAS SOUS 5970484 HAS SOUPS 5970484 WITH SCORE 5980462.925
AT ITER 4888 NEW BEST:: SOT 20027250 SOS 9978872 HAS SOPS 9978872 HAS SOUS 5970345 HAS SOUPS 5970345 WITH SCORE 5980323.872
AT ITER 4897 NEW BEST:: SOT 20026563 SOS 9978178 HAS SOPS 9978178 HAS SOUS 5969658 HAS SOUPS 5969658 WITH SCORE 5979636.178
AT ITER 4914 NEW BEST:: SOT 20026291 SOS 9977964 HAS SOPS 9977964 HAS SOUS 5969386 HAS SOUPS 5969386 WITH SCORE 5979363.964
AT ITER 4915 NEW BEST:: SOT 20026756 SOS 9974514 HAS SOPS 9974514 HAS SOUS 5968988 HAS SOUPS 5968988 WITH SCORE 5978962.514
AT ITER 4919 NEW BEST:: SOT 20026372 SOS 9974871 HAS SOPS 9974871 HAS SOUS 5968604 HAS SOUPS 5968604 WITH SCORE 5978578.871
AT ITER 4926 NEW BEST:: SOT 20026372 SOS 9973114 HAS SOPS 9973114 HAS SOUS 5968604 HAS SOUPS 5968604 WITH SCORE 5978577.114
AT ITER 4927 NEW BEST:: SOT 20025784 SOS 9973134 HAS SOPS 9973134 HAS SOUS 5968520 HAS SOUPS 5968520 WITH SCORE 5978493.134
AT ITER 4931 NEW BEST:: SOT 20025459 SOS 9972484 HAS SOPS 9972484 HAS SOUS 5968195 HAS SOUPS 5968195 WITH SCORE 5978167.484
AT ITER 4932 NEW BEST:: SOT 20025997 SOS 9970202 HAS SOPS 9970202 HAS SOUS 5968150 HAS SOUPS 5968150 WITH SCORE 5978120.202
AT ITER 4933 NEW BEST:: SOT 20024325 SOS 9969123 HAS SOPS 9969123 HAS SOUS 5966478 HAS SOUPS 5966478 WITH SCORE 5976447.123
AT ITER 4936 NEW BEST:: SOT 20024044 SOS 9968842 HAS SOPS 9968842 HAS SOUS 5966197 HAS SOUPS 5966197 WITH SCORE 5976165.842
AT ITER 4944 NEW BEST:: SOT 20024329 SOS 9967400 HAS SOPS 9967400 HAS SOUS 5965964 HAS SOUPS 5965964 WITH SCORE 5975931.4
AT ITER 4948 NEW BEST:: SOT 20024022 SOS 9966786 HAS SOPS 9966786 HAS SOUS 5965350 HAS SOUPS 5965350 WITH SCORE 5975316.786
AT ITER 4955 NEW BEST:: SOT 20024807 SOS 9966512 HAS SOPS 9966512 HAS SOUS 5964721 HAS SOUPS 5964721 WITH SCORE 5974687.512
AT ITER 4957 NEW BEST:: SOT 20024677 SOS 9966382 HAS SOPS 9966382 HAS SOUS 5964591 HAS SOUPS 5964591 WITH SCORE 5974557.382
AT ITER 4959 NEW BEST:: SOT 20024264 SOS 9968173 HAS SOPS 9968173 HAS SOUS 5963777 HAS SOUPS 5963777 WITH SCORE 5973745.173
AT ITER 4972 NEW BEST:: SOT 20022889 SOS 9965423 HAS SOPS 9965423 HAS SOUS 5962026 HAS SOUPS 5962026 WITH SCORE 5971991.423
AT ITER 4976 NEW BEST:: SOT 20022889 SOS 9963278 HAS SOPS 9963278 HAS SOUS 5960464 HAS SOUPS 5960464 WITH SCORE 5970427.278
AT ITER 4979 NEW BEST:: SOT 20022995 SOS 9963490 HAS SOPS 9963490 HAS SOUS 5960352 HAS SOUPS 5960352 WITH SCORE 5970315.49
AT ITER 4980 NEW BEST:: SOT 20022995 SOS 9962285 HAS SOPS 9962285 HAS SOUS 5960352 HAS SOUPS 5960352 WITH SCORE 5970314.285
AT ITER 4981 NEW BEST:: SOT 20022984 SOS 9962252 HAS SOPS 9962252 HAS SOUS 5960330 HAS SOUPS 5960330 WITH SCORE 5970292.252
AT ITER 4983 NEW BEST:: SOT 20022957 SOS 9961158 HAS SOPS 9961158 HAS SOUS 5959279 HAS SOUPS 5959279 WITH SCORE 5969240.158
AT ITER 4985 NEW BEST:: SOT 20022695 SOS 9960653 HAS SOPS 9960653 HAS SOUS 5959016 HAS SOUPS 5959016 WITH SCORE 5968976.653
AT ITER 4993 NEW BEST:: SOT 20022594 SOS 9960451 HAS SOPS 9960451 HAS SOUS 5958915 HAS SOUPS 5958915 WITH SCORE 5968875.451
AT ITER 4996 NEW BEST:: SOT 20021683 SOS 9957737 HAS SOPS 9957737 HAS SOUS 5957257 HAS SOUPS 5957257 WITH SCORE 5967214.737
AT ITER 4997 NEW BEST:: SOT 20021478 SOS 9957327 HAS SOPS 9957327 HAS SOUS 5956669 HAS SOUPS 5956669 WITH SCORE 5966626.327
Bounds file is: CTLFireability.xml
PROPERTY: FlexibleBarrier-PT-20b-CTLFireability-00 ( ((potential((tk(P5358)>=1)))) | (EG( (EF( ((potential((tk(P61)>=1)))))))) )
PROPERTY: FlexibleBarrier-PT-20b-CTLFireability-01 (AF( ((potential((tk(P3862)>=1))))))
PROPERTY: FlexibleBarrier-PT-20b-CTLFireability-02 (AU( (! ( (! ((potential((tk(P2892)>=1))))) & ( ((potential((tk(P3802)>=1)))) | ((potential((tk(P2592)>=1)))) ) )) , (EG( ( ((potential((tk(P912)>=1)))) | ((potential((tk(P4930)>=1)))) ))) ))
PROPERTY: FlexibleBarrier-PT-20b-CTLFireability-03 (! (! ( (EF( ( ((potential((tk(P5047)>=1)))) & ((potential((tk(P3638)>=1)))) ))) | ( (EG( ((potential((tk(P3798)>=1)))))) | (EX( ((potential((tk(P4471)>=1)))))) ) )))
PROPERTY: FlexibleBarrier-PT-20b-CTLFireability-04 (AG( (EG( (! ( ((potential((tk(P3518)>=1) & (tk(P3437)>=1) & (tk(P5354)>=1)))) | ((potential((tk(P1992)>=1)))) ))))))
PROPERTY: FlexibleBarrier-PT-20b-CTLFireability-05 ( (! (AX( (EF( ((potential((tk(P2172)>=1))))))))) | (EU( (EX( ((potential((tk(P4582)>=1)))))) , ( ( ((potential((tk(P360)>=1) & (tk(P5370)>=1)))) | ((potential((tk(P2712)>=1)))) ) | ((potential((tk(P2357)>=1) & (tk(P1402)>=1) & (tk(P4239)>=1)))) ) )) )
PROPERTY: FlexibleBarrier-PT-20b-CTLFireability-06 (EG( (EF( (AG( ((potential((tk(P2172)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-20b-CTLFireability-07 ( ( ( ( (EF( ((potential((tk(P786)>=1)))))) | ( (! ((potential((tk(P3526)>=1))))) | ((potential((tk(P2762)>=1)))) ) ) & ((potential((tk(P438)>=1)))) ) & (! (EF( ( ((potential((tk(P2713)>=1)))) & ((potential((tk(P2380)>=1)))) )))) ) | (AU( (! ( ((potential((tk(P3445)>=1)))) | ((potential((tk(P5152)>=1)))) )) , (AF( ((potential((tk(P1053)>=1)))))) )) )
PROPERTY: FlexibleBarrier-PT-20b-CTLFireability-08 (EF( (AX( (AX( ((potential((tk(P3353)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-20b-CTLFireability-09 (EF( (AU( (! ((potential((tk(P4490)>=1))))) , ( ((potential((tk(P1715)>=1)))) | ((potential((tk(P4700)>=1)))) ) ))))
PROPERTY: FlexibleBarrier-PT-20b-CTLFireability-10 ( (AF( ((potential((tk(P2742)>=1)))))) | (! (AF( ( ((potential((tk(P2757)>=1)))) & (! ((potential((tk(P1385)>=1))))) )))) )
PROPERTY: FlexibleBarrier-PT-20b-CTLFireability-11 (AF( ( (AF( (! ((potential((tk(P2522)>=1) & (tk(P5358)>=1))))))) & (EX( ( ((potential((tk(P2527)>=1)))) | ((potential((tk(P2653)>=1)))) ))) )))
PROPERTY: FlexibleBarrier-PT-20b-CTLFireability-12 ( (AF( ( (AG( ((potential((tk(P5358)>=1)))))) | (! (! ((potential((tk(P3868)>=1)))))) ))) | ( (! ( ( (! ((potential((tk(P4868)>=1))))) & ((potential((tk(P442)>=1)))) ) | ( (! ((potential((tk(P5196)>=1))))) & (! ((potential((tk(P851)>=1))))) ) )) & (EF( ( (! ((potential((tk(P2709)>=1))))) & (! ((potential((tk(P3543)>=1))))) ))) ) )
PROPERTY: FlexibleBarrier-PT-20b-CTLFireability-13 (AF( (EF( (AX( ((potential((tk(P3155)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-20b-CTLFireability-14 ( (EX( (AU( ((potential((tk(P912)>=1)))) , ((potential((tk(P413)>=1)))) )))) | (EF( (EG( (! ((potential((tk(P912)>=1))))))))) )
PROPERTY: FlexibleBarrier-PT-20b-CTLFireability-15 (EF( ((potential((tk(P4843)>=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="FlexibleBarrier-PT-20b"
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 FlexibleBarrier-PT-20b, 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 r078-smll-158922972600396"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-20b.tgz
mv FlexibleBarrier-PT-20b 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 ;