Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897679500099.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BART-PT-030, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897679500099
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 3.6K Apr 15 13:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 15 13:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 15 13:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 15 13:33 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 1.5M Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 3.6M Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.1M Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 2.7M Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Apr 15 13:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 15 13:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 15 13:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 15 13:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 15 13:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 15 13:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 7.1M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589012473055

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

GOT IT HERE. BS
Petri model created: 4170 places, 6060 transitions, 48600 arcs.
AT ITER 0 NEW BEST:: SOT 18115247 SOS 11942894 HAS SOPS 9254495 HAS SOUS 8340080 HAS SOUPS 8192890 WITH SCORE 8204832.894
AT ITER 9 NEW BEST:: SOT 18115370 SOS 11943139 HAS SOPS 9253368 HAS SOUS 8340476 HAS SOUPS 8191764 WITH SCORE 8203707.139
AT ITER 13 NEW BEST:: SOT 18113533 SOS 11941302 HAS SOPS 9252140 HAS SOUS 8339249 HAS SOUPS 8190537 WITH SCORE 8202478.302
AT ITER 15 NEW BEST:: SOT 18112449 SOS 11940218 HAS SOPS 9248887 HAS SOUS 8337081 HAS SOUPS 8186201 WITH SCORE 8198141.218
AT ITER 17 NEW BEST:: SOT 18112449 SOS 11940218 HAS SOPS 9247762 HAS SOUS 8335851 HAS SOUPS 8183875 WITH SCORE 8195815.218
AT ITER 19 NEW BEST:: SOT 18112449 SOS 11940218 HAS SOPS 9247193 HAS SOUS 8334241 HAS SOUPS 8182053 WITH SCORE 8193993.218
AT ITER 20 NEW BEST:: SOT 18112866 SOS 11941051 HAS SOPS 9246360 HAS SOUS 8334913 HAS SOUPS 8181221 WITH SCORE 8193162.051
AT ITER 25 NEW BEST:: SOT 18112921 SOS 11941557 HAS SOPS 9245265 HAS SOUS 8335633 HAS SOUPS 8180127 WITH SCORE 8192068.557
AT ITER 31 NEW BEST:: SOT 18112921 SOS 11941557 HAS SOPS 9244697 HAS SOUS 8334168 HAS SOUPS 8178314 WITH SCORE 8190255.557
AT ITER 32 NEW BEST:: SOT 18112921 SOS 11941557 HAS SOPS 9243660 HAS SOUS 8332549 HAS SOUPS 8176501 WITH SCORE 8188442.557
AT ITER 34 NEW BEST:: SOT 18112921 SOS 11941557 HAS SOPS 9242532 HAS SOUS 8331170 HAS SOUPS 8174247 WITH SCORE 8186188.557
AT ITER 35 NEW BEST:: SOT 18113185 SOS 11942084 HAS SOPS 9241566 HAS SOUS 8332052 HAS SOUPS 8173282 WITH SCORE 8185224.084
AT ITER 44 NEW BEST:: SOT 18112628 SOS 11941527 HAS SOPS 9239338 HAS SOUS 8330938 HAS SOUPS 8171054 WITH SCORE 8182995.527
AT ITER 48 NEW BEST:: SOT 18112685 SOS 11941640 HAS SOPS 9238171 HAS SOUS 8331722 HAS SOUPS 8169888 WITH SCORE 8181829.64
AT ITER 55 NEW BEST:: SOT 18112504 SOS 11941459 HAS SOPS 9237808 HAS SOUS 8331516 HAS SOUPS 8169525 WITH SCORE 8181466.459
AT ITER 57 NEW BEST:: SOT 18113005 SOS 11942253 HAS SOPS 9237469 HAS SOUS 8331280 HAS SOUPS 8169187 WITH SCORE 8181129.253
AT ITER 58 NEW BEST:: SOT 18113005 SOS 11942253 HAS SOPS 9237758 HAS SOUS 8330343 HAS SOUPS 8168250 WITH SCORE 8180192.253
AT ITER 65 NEW BEST:: SOT 18113522 SOS 11942770 HAS SOPS 9237692 HAS SOUS 8331332 HAS SOUPS 8168184 WITH SCORE 8180126.77
AT ITER 68 NEW BEST:: SOT 18114045 SOS 11943627 HAS SOPS 9237341 HAS SOUS 8333000 HAS SOUPS 8167834 WITH SCORE 8179777.627
AT ITER 70 NEW BEST:: SOT 18114045 SOS 11943627 HAS SOPS 9236329 HAS SOUS 8331163 HAS SOUPS 8165581 WITH SCORE 8177524.627
AT ITER 71 NEW BEST:: SOT 18114045 SOS 11943627 HAS SOPS 9233854 HAS SOUS 8329546 HAS SOUPS 8163108 WITH SCORE 8175051.627
AT ITER 76 NEW BEST:: SOT 18114045 SOS 11943627 HAS SOPS 9233747 HAS SOUS 8329569 HAS SOUPS 8163001 WITH SCORE 8174944.627
AT ITER 84 NEW BEST:: SOT 18114045 SOS 11943627 HAS SOPS 9233747 HAS SOUS 8329379 HAS SOUPS 8162811 WITH SCORE 8174754.627
AT ITER 90 NEW BEST:: SOT 18114045 SOS 11943627 HAS SOPS 9232838 HAS SOUS 8329126 HAS SOUPS 8161904 WITH SCORE 8173847.627
AT ITER 95 NEW BEST:: SOT 18113152 SOS 11942734 HAS SOPS 9231626 HAS SOUS 8328089 HAS SOUPS 8160692 WITH SCORE 8172634.734
AT ITER 106 NEW BEST:: SOT 18112806 SOS 11942388 HAS SOPS 9230587 HAS SOUS 8327397 HAS SOUPS 8159308 WITH SCORE 8171250.388
AT ITER 109 NEW BEST:: SOT 18112806 SOS 11942388 HAS SOPS 9230586 HAS SOUS 8326771 HAS SOUPS 8158682 WITH SCORE 8170624.388
AT ITER 115 NEW BEST:: SOT 18113357 SOS 11943227 HAS SOPS 9230197 HAS SOUS 8326947 HAS SOUPS 8158294 WITH SCORE 8170237.227
AT ITER 120 NEW BEST:: SOT 18114118 SOS 11944498 HAS SOPS 9229988 HAS SOUS 8328519 HAS SOUPS 8158086 WITH SCORE 8170030.498
AT ITER 127 NEW BEST:: SOT 18114118 SOS 11944498 HAS SOPS 9229987 HAS SOUS 8328123 HAS SOUPS 8157593 WITH SCORE 8169537.498
AT ITER 130 NEW BEST:: SOT 18114507 SOS 11945205 HAS SOPS 9229284 HAS SOUS 8327659 HAS SOUPS 8156891 WITH SCORE 8168836.205
AT ITER 134 NEW BEST:: SOT 18114507 SOS 11945205 HAS SOPS 9228094 HAS SOUS 8326186 HAS SOUPS 8154513 WITH SCORE 8166458.205
AT ITER 135 NEW BEST:: SOT 18114524 SOS 11945238 HAS SOPS 9226859 HAS SOUS 8326412 HAS SOUPS 8153279 WITH SCORE 8165224.238
AT ITER 137 NEW BEST:: SOT 18114524 SOS 11945400 HAS SOPS 9226596 HAS SOUS 8326005 HAS SOUPS 8152591 WITH SCORE 8164536.4
AT ITER 140 NEW BEST:: SOT 18114689 SOS 11945729 HAS SOPS 9225519 HAS SOUS 8326577 HAS SOUPS 8151515 WITH SCORE 8163460.729
AT ITER 144 NEW BEST:: SOT 18114689 SOS 11945729 HAS SOPS 9225767 HAS SOUS 8325929 HAS SOUPS 8150729 WITH SCORE 8162674.729
AT ITER 145 NEW BEST:: SOT 18032174 SOS 11863283 HAS SOPS 9143252 HAS SOUS 8243483 HAS SOUPS 8068214 WITH SCORE 8080077.283
AT ITER 146 NEW BEST:: SOT 18032174 SOS 11862323 HAS SOPS 9143252 HAS SOUS 8243460 HAS SOUPS 8068214 WITH SCORE 8080076.323
AT ITER 149 NEW BEST:: SOT 18033156 SOS 11920065 HAS SOPS 9143028 HAS SOUS 8245127 HAS SOUPS 8067990 WITH SCORE 8079910.065
AT ITER 156 NEW BEST:: SOT 18033156 SOS 11919992 HAS SOPS 9143028 HAS SOUS 8245127 HAS SOUPS 8067990 WITH SCORE 8079909.992
AT ITER 161 NEW BEST:: SOT 18032832 SOS 11883795 HAS SOPS 9096769 HAS SOUS 8234840 HAS SOUPS 8057703 WITH SCORE 8069586.795
AT ITER 162 NEW BEST:: SOT 18033161 SOS 11884744 HAS SOPS 9096608 HAS SOUS 8235208 HAS SOUPS 8057542 WITH SCORE 8069426.744
AT ITER 166 NEW BEST:: SOT 18033980 SOS 11886347 HAS SOPS 9096233 HAS SOUS 8236240 HAS SOUPS 8057168 WITH SCORE 8069054.347
AT ITER 174 NEW BEST:: SOT 17954710 SOS 12145263 HAS SOPS 9016427 HAS SOUS 8157972 HAS SOUPS 7977362 WITH SCORE 7989507.263
AT ITER 181 NEW BEST:: SOT 17954710 SOS 12145263 HAS SOPS 9016426 HAS SOUS 8157612 HAS SOUPS 7976973 WITH SCORE 7989118.263
AT ITER 182 NEW BEST:: SOT 17954984 SOS 12145810 HAS SOPS 9015474 HAS SOUS 8158586 HAS SOUPS 7976022 WITH SCORE 7988167.81
AT ITER 185 NEW BEST:: SOT 17955310 SOS 12146461 HAS SOPS 9014546 HAS SOUS 8159108 HAS SOUPS 7975095 WITH SCORE 7987241.461
AT ITER 187 NEW BEST:: SOT 17955995 SOS 12147742 HAS SOPS 9014155 HAS SOUS 8160396 HAS SOUPS 7974705 WITH SCORE 7986852.742
AT ITER 188 NEW BEST:: SOT 17955995 SOS 12147742 HAS SOPS 9013102 HAS SOUS 8158878 HAS SOUPS 7972431 WITH SCORE 7984578.742
AT ITER 189 NEW BEST:: SOT 17955995 SOS 12147742 HAS SOPS 9013098 HAS SOUS 8158874 HAS SOUPS 7972427 WITH SCORE 7984574.742
AT ITER 191 NEW BEST:: SOT 17956156 SOS 12147903 HAS SOPS 9012242 HAS SOUS 8159462 HAS SOUPS 7971571 WITH SCORE 7983718.903
AT ITER 192 NEW BEST:: SOT 17956156 SOS 12147903 HAS SOPS 9012238 HAS SOUS 8159458 HAS SOUPS 7971567 WITH SCORE 7983714.903
AT ITER 196 NEW BEST:: SOT 17955548 SOS 12147295 HAS SOPS 9011630 HAS SOUS 8158850 HAS SOUPS 7970959 WITH SCORE 7983106.295
AT ITER 198 NEW BEST:: SOT 17955548 SOS 12147295 HAS SOPS 9010501 HAS SOUS 8157470 HAS SOUPS 7968703 WITH SCORE 7980850.295
AT ITER 199 NEW BEST:: SOT 17955548 SOS 12147295 HAS SOPS 9010500 HAS SOUS 8157143 HAS SOUPS 7968376 WITH SCORE 7980523.295
AT ITER 201 NEW BEST:: SOT 17955548 SOS 12147295 HAS SOPS 9009929 HAS SOUS 8155325 HAS SOUPS 7966558 WITH SCORE 7978705.295
AT ITER 204 NEW BEST:: SOT 17955548 SOS 12147295 HAS SOPS 9009287 HAS SOUS 8153452 HAS SOUPS 7964685 WITH SCORE 7976832.295
AT ITER 207 NEW BEST:: SOT 17955548 SOS 12147295 HAS SOPS 9009382 HAS SOUS 8152639 HAS SOUPS 7963872 WITH SCORE 7976019.295
AT ITER 212 NEW BEST:: SOT 17955286 SOS 12147033 HAS SOPS 9008891 HAS SOUS 8151471 HAS SOUPS 7962174 WITH SCORE 7974321.033
AT ITER 215 NEW BEST:: SOT 17955286 SOS 12147033 HAS SOPS 9007960 HAS SOUS 8149405 HAS SOUPS 7960004 WITH SCORE 7972151.033
AT ITER 219 NEW BEST:: SOT 17955456 SOS 12147203 HAS SOPS 9007842 HAS SOUS 8149489 HAS SOUPS 7959886 WITH SCORE 7972033.203
AT ITER 221 NEW BEST:: SOT 17955456 SOS 12147203 HAS SOPS 9008679 HAS SOUS 8149270 HAS SOUPS 7959616 WITH SCORE 7971763.203
AT ITER 223 NEW BEST:: SOT 17955456 SOS 12147203 HAS SOPS 9008075 HAS SOUS 8148620 HAS SOUPS 7958966 WITH SCORE 7971113.203
AT ITER 234 NEW BEST:: SOT 17955456 SOS 12147203 HAS SOPS 9006900 HAS SOUS 8146734 HAS SOUPS 7956564 WITH SCORE 7968711.203
AT ITER 238 NEW BEST:: SOT 17955422 SOS 12147169 HAS SOPS 9006832 HAS SOUS 8145260 HAS SOUPS 7956496 WITH SCORE 7968643.169
AT ITER 244 NEW BEST:: SOT 17955422 SOS 12147169 HAS SOPS 9005965 HAS SOUS 8143650 HAS SOUPS 7954764 WITH SCORE 7966911.169
AT ITER 248 NEW BEST:: SOT 17955422 SOS 12147169 HAS SOPS 9004883 HAS SOUS 8141832 HAS SOUPS 7952602 WITH SCORE 7964749.169
AT ITER 258 NEW BEST:: SOT 17956014 SOS 12147761 HAS SOPS 9004849 HAS SOUS 8141240 HAS SOUPS 7952010 WITH SCORE 7964157.761
AT ITER 261 NEW BEST:: SOT 17956651 SOS 12149034 HAS SOPS 9004232 HAS SOUS 8140624 HAS SOUPS 7951394 WITH SCORE 7963543.034
AT ITER 262 NEW BEST:: SOT 17956728 SOS 12149187 HAS SOPS 9003095 HAS SOUS 8141602 HAS SOUPS 7950258 WITH SCORE 7962407.187
AT ITER 263 NEW BEST:: SOT 17957170 SOS 12149853 HAS SOPS 9002791 HAS SOUS 8143393 HAS SOUPS 7949955 WITH SCORE 7962104.853
AT ITER 264 NEW BEST:: SOT 17957170 SOS 12149853 HAS SOPS 9002790 HAS SOUS 8141811 HAS SOUPS 7948805 WITH SCORE 7960954.853
AT ITER 269 NEW BEST:: SOT 17957170 SOS 12149853 HAS SOPS 9002619 HAS SOUS 8141640 HAS SOUPS 7948634 WITH SCORE 7960783.853
AT ITER 276 NEW BEST:: SOT 17957170 SOS 12149853 HAS SOPS 9001581 HAS SOUS 8139566 HAS SOUPS 7946560 WITH SCORE 7958709.853
AT ITER 292 NEW BEST:: SOT 17957170 SOS 12150737 HAS SOPS 9001220 HAS SOUS 8138379 HAS SOUPS 7944957 WITH SCORE 7957107.737
AT ITER 295 NEW BEST:: SOT 17957170 SOS 12150737 HAS SOPS 9000127 HAS SOUS 8136317 HAS SOUPS 7942773 WITH SCORE 7954923.737
AT ITER 297 NEW BEST:: SOT 17956951 SOS 12142415 HAS SOPS 8992024 HAS SOUS 8135879 HAS SOUPS 7942335 WITH SCORE 7954477.415
AT ITER 306 NEW BEST:: SOT 17956951 SOS 12142415 HAS SOPS 8990805 HAS SOUS 8133905 HAS SOUPS 7939899 WITH SCORE 7952041.415
AT ITER 320 NEW BEST:: SOT 17957003 SOS 12142518 HAS SOPS 8989619 HAS SOUS 8132720 HAS SOUPS 7938714 WITH SCORE 7950856.518
AT ITER 321 NEW BEST:: SOT 17880771 SOS 12466505 HAS SOPS 8911083 HAS SOUS 8135114 HAS SOUPS 7894755 WITH SCORE 7907221.505
AT ITER 326 NEW BEST:: SOT 17880771 SOS 12466505 HAS SOPS 8910305 HAS SOUS 8134825 HAS SOUPS 7893977 WITH SCORE 7906443.505
AT ITER 327 NEW BEST:: SOT 17881368 SOS 12467405 HAS SOPS 8910214 HAS SOUS 8136752 HAS SOUPS 7893886 WITH SCORE 7906353.405
AT ITER 333 NEW BEST:: SOT 17881957 SOS 12468293 HAS SOPS 8910107 HAS SOUS 8136849 HAS SOUPS 7893779 WITH SCORE 7906247.293
AT ITER 345 NEW BEST:: SOT 17881957 SOS 12468293 HAS SOPS 8909870 HAS SOUS 8136681 HAS SOUPS 7893542 WITH SCORE 7906010.293
AT ITER 351 NEW BEST:: SOT 17881957 SOS 12468293 HAS SOPS 8909083 HAS SOUS 8136011 HAS SOUPS 7892755 WITH SCORE 7905223.293
AT ITER 362 NEW BEST:: SOT 17881957 SOS 12468293 HAS SOPS 8908334 HAS SOUS 8135474 HAS SOUPS 7892006 WITH SCORE 7904474.293
AT ITER 363 NEW BEST:: SOT 17881936 SOS 12468272 HAS SOPS 8908313 HAS SOUS 8135453 HAS SOUPS 7891985 WITH SCORE 7904453.272
AT ITER 368 NEW BEST:: SOT 17881936 SOS 12468272 HAS SOPS 8907603 HAS SOUS 8135092 HAS SOUPS 7891275 WITH SCORE 7903743.272
AT ITER 370 NEW BEST:: SOT 17882329 SOS 12469057 HAS SOPS 8906742 HAS SOUS 8134231 HAS SOUPS 7890414 WITH SCORE 7902883.057
AT ITER 383 NEW BEST:: SOT 17882329 SOS 12469057 HAS SOPS 8906119 HAS SOUS 8134155 HAS SOUPS 7889791 WITH SCORE 7902260.057
AT ITER 385 NEW BEST:: SOT 17882329 SOS 12469057 HAS SOPS 8905570 HAS SOUS 8134095 HAS SOUPS 7889242 WITH SCORE 7901711.057
AT ITER 392 NEW BEST:: SOT 17882329 SOS 12469057 HAS SOPS 8903217 HAS SOUS 8132272 HAS SOUPS 7886889 WITH SCORE 7899358.057
AT ITER 397 NEW BEST:: SOT 17882329 SOS 12469057 HAS SOPS 8902085 HAS SOUS 8131930 HAS SOUPS 7885757 WITH SCORE 7898226.057
AT ITER 400 NEW BEST:: SOT 17882698 SOS 12469794 HAS SOPS 8901204 HAS SOUS 8132583 HAS SOUPS 7884876 WITH SCORE 7897345.794
AT ITER 402 NEW BEST:: SOT 17880985 SOS 12468081 HAS SOPS 8899972 HAS SOUS 8131351 HAS SOUPS 7883644 WITH SCORE 7896112.081
AT ITER 403 NEW BEST:: SOT 17880985 SOS 12468081 HAS SOPS 8899281 HAS SOUS 8130660 HAS SOUPS 7882953 WITH SCORE 7895421.081
AT ITER 404 NEW BEST:: SOT 17880985 SOS 12468081 HAS SOPS 8898507 HAS SOUS 8130119 HAS SOUPS 7882179 WITH SCORE 7894647.081
AT ITER 411 NEW BEST:: SOT 17880985 SOS 12468081 HAS SOPS 8897896 HAS SOUS 8129572 HAS SOUPS 7881568 WITH SCORE 7894036.081
AT ITER 423 NEW BEST:: SOT 17881610 SOS 12469330 HAS SOPS 8897277 HAS SOUS 8130559 HAS SOUPS 7880949 WITH SCORE 7893418.33
AT ITER 432 NEW BEST:: SOT 17881610 SOS 12469330 HAS SOPS 8895292 HAS SOUS 8129702 HAS SOUPS 7878964 WITH SCORE 7891433.33
AT ITER 434 NEW BEST:: SOT 17881610 SOS 12469330 HAS SOPS 8895291 HAS SOUS 8129701 HAS SOUPS 7878963 WITH SCORE 7891432.33
AT ITER 435 NEW BEST:: SOT 17891811 SOS 12442248 HAS SOPS 8850369 HAS SOUS 8121702 HAS SOUPS 7870964 WITH SCORE 7883406.248
AT ITER 438 NEW BEST:: SOT 17891963 SOS 12442551 HAS SOPS 8849307 HAS SOUS 8122751 HAS SOUPS 7869902 WITH SCORE 7882344.551
AT ITER 440 NEW BEST:: SOT 17892049 SOS 12442637 HAS SOPS 8848787 HAS SOUS 8122817 HAS SOUPS 7869382 WITH SCORE 7881824.637
AT ITER 457 NEW BEST:: SOT 17892049 SOS 12442637 HAS SOPS 8848046 HAS SOUS 8122194 HAS SOUPS 7868641 WITH SCORE 7881083.637
AT ITER 458 NEW BEST:: SOT 17892035 SOS 12407400 HAS SOPS 8812867 HAS SOUS 8121245 HAS SOUPS 7867692 WITH SCORE 7880099.4
AT ITER 462 NEW BEST:: SOT 17892035 SOS 12407400 HAS SOPS 8812133 HAS SOUS 8120848 HAS SOUPS 7866958 WITH SCORE 7879365.4
AT ITER 464 NEW BEST:: SOT 17892901 SOS 12409131 HAS SOPS 8812076 HAS SOUS 8120791 HAS SOUPS 7866901 WITH SCORE 7879310.131
AT ITER 465 NEW BEST:: SOT 17892901 SOS 12409131 HAS SOPS 8811231 HAS SOUS 8119946 HAS SOUPS 7866056 WITH SCORE 7878465.131
AT ITER 469 NEW BEST:: SOT 17893144 SOS 12409665 HAS SOPS 8810956 HAS SOUS 8120436 HAS SOUPS 7865781 WITH SCORE 7878190.665
AT ITER 472 NEW BEST:: SOT 17893362 SOS 12410266 HAS SOPS 8810174 HAS SOUS 8119654 HAS SOUPS 7864999 WITH SCORE 7877409.266
AT ITER 475 NEW BEST:: SOT 17893028 SOS 12397574 HAS SOPS 8797816 HAS SOUS 8118986 HAS SOUPS 7864331 WITH SCORE 7876728.574
AT ITER 482 NEW BEST:: SOT 17893028 SOS 12397574 HAS SOPS 8796906 HAS SOUS 8118428 HAS SOUPS 7863421 WITH SCORE 7875818.574
AT ITER 486 NEW BEST:: SOT 17893501 SOS 12398047 HAS SOPS 8796736 HAS SOUS 8118258 HAS SOUPS 7863251 WITH SCORE 7875649.047
AT ITER 487 NEW BEST:: SOT 17894034 SOS 12425654 HAS SOPS 8796653 HAS SOUS 8119118 HAS SOUPS 7863168 WITH SCORE 7875593.654
AT ITER 493 NEW BEST:: SOT 17894034 SOS 12425654 HAS SOPS 8795572 HAS SOUS 8118459 HAS SOUPS 7862087 WITH SCORE 7874512.654
AT ITER 498 NEW BEST:: SOT 17894255 SOS 12426095 HAS SOPS 8794571 HAS SOUS 8119406 HAS SOUPS 7861086 WITH SCORE 7873512.095
AT ITER 502 NEW BEST:: SOT 17895190 SOS 12427821 HAS SOPS 8794512 HAS SOUS 8119347 HAS SOUPS 7861027 WITH SCORE 7873454.821
AT ITER 505 NEW BEST:: SOT 17895190 SOS 12427821 HAS SOPS 8794009 HAS SOUS 8118844 HAS SOUPS 7860524 WITH SCORE 7872951.821
AT ITER 509 NEW BEST:: SOT 17895190 SOS 12427821 HAS SOPS 8793909 HAS SOUS 8118844 HAS SOUPS 7860424 WITH SCORE 7872851.821
AT ITER 512 NEW BEST:: SOT 17895190 SOS 12427821 HAS SOPS 8793420 HAS SOUS 8118355 HAS SOUPS 7859935 WITH SCORE 7872362.821
AT ITER 514 NEW BEST:: SOT 16048283 SOS 10580914 HAS SOPS 6944248 HAS SOUS 6271448 HAS SOUPS 6010763 WITH SCORE 6021343.914
AT ITER 518 NEW BEST:: SOT 16049013 SOS 10581644 HAS SOPS 6943775 HAS SOUS 6270975 HAS SOUPS 6010290 WITH SCORE 6020871.644
AT ITER 520 NEW BEST:: SOT 16048862 SOS 10581493 HAS SOPS 6943624 HAS SOUS 6270824 HAS SOUPS 6010139 WITH SCORE 6020720.493
AT ITER 526 NEW BEST:: SOT 16048862 SOS 10581493 HAS SOPS 6943229 HAS SOUS 6270442 HAS SOUPS 6009744 WITH SCORE 6020325.493
AT ITER 527 NEW BEST:: SOT 16049062 SOS 10581693 HAS SOPS 6943228 HAS SOUS 6270441 HAS SOUPS 6009743 WITH SCORE 6020324.693
AT ITER 530 NEW BEST:: SOT 16048709 SOS 10581618 HAS SOPS 6941645 HAS SOUS 6270694 HAS SOUPS 6008160 WITH SCORE 6018741.618
AT ITER 534 NEW BEST:: SOT 16049001 SOS 10582567 HAS SOPS 6940759 HAS SOUS 6269808 HAS SOUPS 6007274 WITH SCORE 6017856.567
AT ITER 536 NEW BEST:: SOT 16048785 SOS 10544302 HAS SOPS 6897770 HAS SOUS 6263618 HAS SOUPS 6001084 WITH SCORE 6011628.302
AT ITER 537 NEW BEST:: SOT 16047955 SOS 10543599 HAS SOPS 6895728 HAS SOUS 6263749 HAS SOUPS 5999042 WITH SCORE 6009585.599
AT ITER 541 NEW BEST:: SOT 16048328 SOS 10543972 HAS SOPS 6895437 HAS SOUS 6263466 HAS SOUPS 5998751 WITH SCORE 6009294.972
AT ITER 543 NEW BEST:: SOT 16048492 SOS 10544408 HAS SOPS 6895099 HAS SOUS 6263131 HAS SOUPS 5998413 WITH SCORE 6008957.408
AT ITER 550 NEW BEST:: SOT 16047905 SOS 10544085 HAS SOPS 6893294 HAS SOUS 6261772 HAS SOUPS 5996608 WITH SCORE 6007152.085
AT ITER 557 NEW BEST:: SOT 16048690 SOS 10544870 HAS SOPS 6891908 HAS SOUS 6261382 HAS SOUPS 5995222 WITH SCORE 6005766.87
AT ITER 561 NEW BEST:: SOT 16048949 SOS 10545129 HAS SOPS 6891185 HAS SOUS 6260920 HAS SOUPS 5994499 WITH SCORE 6005044.129
AT ITER 562 NEW BEST:: SOT 16049477 SOS 10545657 HAS SOPS 6891029 HAS SOUS 6260764 HAS SOUPS 5994343 WITH SCORE 6004888.657
AT ITER 563 NEW BEST:: SOT 16049441 SOS 10545585 HAS SOPS 6890993 HAS SOUS 6260728 HAS SOUPS 5994307 WITH SCORE 6004852.585
AT ITER 565 NEW BEST:: SOT 16048925 SOS 10545383 HAS SOPS 6889679 HAS SOUS 6259924 HAS SOUPS 5992993 WITH SCORE 6003538.383
AT ITER 570 NEW BEST:: SOT 16075385 SOS 10532775 HAS SOPS 6848997 HAS SOUS 6255311 HAS SOUPS 5988641 WITH SCORE 5999173.775
AT ITER 572 NEW BEST:: SOT 16074816 SOS 10532206 HAS SOPS 6847859 HAS SOUS 6254742 HAS SOUPS 5987503 WITH SCORE 5998035.206
AT ITER 588 NEW BEST:: SOT 16074816 SOS 10532206 HAS SOPS 6847316 HAS SOUS 6254199 HAS SOUPS 5986960 WITH SCORE 5997492.206
AT ITER 590 NEW BEST:: SOT 16074811 SOS 10532720 HAS SOPS 6846075 HAS SOUS 6252958 HAS SOUPS 5985719 WITH SCORE 5996251.72
AT ITER 596 NEW BEST:: SOT 16075661 SOS 10533570 HAS SOPS 6845808 HAS SOUS 6253206 HAS SOUPS 5985452 WITH SCORE 5995985.57
AT ITER 597 NEW BEST:: SOT 16075243 SOS 10533245 HAS SOPS 6844152 HAS SOUS 6253273 HAS SOUPS 5983796 WITH SCORE 5994329.245
AT ITER 602 NEW BEST:: SOT 16075243 SOS 10533245 HAS SOPS 6843644 HAS SOUS 6252765 HAS SOUPS 5983288 WITH SCORE 5993821.245
AT ITER 606 NEW BEST:: SOT 16075232 SOS 10533276 HAS SOPS 6843579 HAS SOUS 6253924 HAS SOUPS 5983223 WITH SCORE 5993756.276
AT ITER 607 NEW BEST:: SOT 16075512 SOS 10534213 HAS SOPS 6843336 HAS SOUS 6253681 HAS SOUPS 5982980 WITH SCORE 5993514.213
AT ITER 613 NEW BEST:: SOT 16075668 SOS 10535140 HAS SOPS 6843260 HAS SOUS 6253605 HAS SOUPS 5982904 WITH SCORE 5993439.14
AT ITER 615 NEW BEST:: SOT 16075323 SOS 10534795 HAS SOPS 6841413 HAS SOUS 6252682 HAS SOUPS 5981057 WITH SCORE 5991591.795
AT ITER 619 NEW BEST:: SOT 16075323 SOS 10534795 HAS SOPS 6841050 HAS SOUS 6252319 HAS SOUPS 5980694 WITH SCORE 5991228.795
AT ITER 621 NEW BEST:: SOT 16075608 SOS 10535364 HAS SOPS 6840081 HAS SOUS 6251350 HAS SOUPS 5979725 WITH SCORE 5990260.364
AT ITER 626 NEW BEST:: SOT 16074511 SOS 10534316 HAS SOPS 6837832 HAS SOUS 6249736 HAS SOUPS 5977476 WITH SCORE 5988010.316
AT ITER 627 NEW BEST:: SOT 16074631 SOS 10534436 HAS SOPS 6837031 HAS SOUS 6249475 HAS SOUPS 5976675 WITH SCORE 5987209.436
AT ITER 631 NEW BEST:: SOT 16073465 SOS 10533270 HAS SOPS 6835791 HAS SOUS 6248027 HAS SOUPS 5975435 WITH SCORE 5985968.27
AT ITER 632 NEW BEST:: SOT 16073465 SOS 10533270 HAS SOPS 6835522 HAS SOUS 6248264 HAS SOUPS 5975166 WITH SCORE 5985699.27
AT ITER 633 NEW BEST:: SOT 16073805 SOS 10533610 HAS SOPS 6834876 HAS SOUS 6247675 HAS SOUPS 5974520 WITH SCORE 5985053.61
AT ITER 636 NEW BEST:: SOT 16073805 SOS 10533610 HAS SOPS 6834021 HAS SOUS 6247482 HAS SOUPS 5973665 WITH SCORE 5984198.61
AT ITER 637 NEW BEST:: SOT 16073875 SOS 10534248 HAS SOPS 6833591 HAS SOUS 6247989 HAS SOUPS 5973235 WITH SCORE 5983769.248
AT ITER 639 NEW BEST:: SOT 16074077 SOS 10534450 HAS SOPS 6832581 HAS SOUS 6246979 HAS SOUPS 5972225 WITH SCORE 5982759.45
AT ITER 652 NEW BEST:: SOT 16073753 SOS 10531821 HAS SOPS 6819370 HAS SOUS 6235678 HAS SOUPS 5960924 WITH SCORE 5971455.821
AT ITER 662 NEW BEST:: SOT 16073597 SOS 10532123 HAS SOPS 6818946 HAS SOUS 6235254 HAS SOUPS 5960500 WITH SCORE 5971032.123
AT ITER 666 NEW BEST:: SOT 16074163 SOS 10533448 HAS SOPS 6818256 HAS SOUS 6234564 HAS SOUPS 5959810 WITH SCORE 5970343.448
AT ITER 676 NEW BEST:: SOT 16074373 SOS 10533658 HAS SOPS 6815267 HAS SOUS 6233128 HAS SOUPS 5956821 WITH SCORE 5967354.658
AT ITER 678 NEW BEST:: SOT 16074036 SOS 10533321 HAS SOPS 6814930 HAS SOUS 6232791 HAS SOUPS 5956484 WITH SCORE 5967017.321
AT ITER 699 NEW BEST:: SOT 16073402 SOS 10532868 HAS SOPS 6813076 HAS SOUS 6230937 HAS SOUPS 5954630 WITH SCORE 5965162.868
AT ITER 705 NEW BEST:: SOT 16073849 SOS 10533315 HAS SOPS 6812373 HAS SOUS 6230699 HAS SOUPS 5953927 WITH SCORE 5964460.315
AT ITER 709 NEW BEST:: SOT 16072043 SOS 10531730 HAS SOPS 6812010 HAS SOUS 6230167 HAS SOUPS 5953867 WITH SCORE 5964398.73
AT ITER 711 NEW BEST:: SOT 16072093 SOS 10567660 HAS SOPS 6811324 HAS SOUS 6230418 HAS SOUPS 5953181 WITH SCORE 5963748.66
AT ITER 714 NEW BEST:: SOT 16071747 SOS 10567314 HAS SOPS 6810632 HAS SOUS 6229884 HAS SOUPS 5952489 WITH SCORE 5963056.314
AT ITER 724 NEW BEST:: SOT 16071939 SOS 10567891 HAS SOPS 6810409 HAS SOUS 6231097 HAS SOUPS 5952266 WITH SCORE 5962833.891
AT ITER 726 NEW BEST:: SOT 16072161 SOS 10568541 HAS SOPS 6809375 HAS SOUS 6230063 HAS SOUPS 5951232 WITH SCORE 5961800.541
AT ITER 727 NEW BEST:: SOT 16072433 SOS 10569292 HAS SOPS 6808391 HAS SOUS 6229079 HAS SOUPS 5950248 WITH SCORE 5960817.292
AT ITER 730 NEW BEST:: SOT 16073664 SOS 10612670 HAS SOPS 6807121 HAS SOUS 6229996 HAS SOUPS 5948978 WITH SCORE 5959590.67
AT ITER 732 NEW BEST:: SOT 16073399 SOS 10602600 HAS SOPS 6797316 HAS SOUS 6229466 HAS SOUPS 5948448 WITH SCORE 5959050.6
AT ITER 743 NEW BEST:: SOT 16073399 SOS 10602600 HAS SOPS 6797149 HAS SOUS 6229355 HAS SOUPS 5948281 WITH SCORE 5958883.6
AT ITER 752 NEW BEST:: SOT 16073767 SOS 10602968 HAS SOPS 6796696 HAS SOUS 6228902 HAS SOUPS 5947828 WITH SCORE 5958430.968
AT ITER 754 NEW BEST:: SOT 16073954 SOS 10603155 HAS SOPS 6796374 HAS SOUS 6228580 HAS SOUPS 5947506 WITH SCORE 5958109.155
AT ITER 757 NEW BEST:: SOT 16073954 SOS 10603155 HAS SOPS 6795928 HAS SOUS 6228269 HAS SOUPS 5947060 WITH SCORE 5957663.155
AT ITER 765 NEW BEST:: SOT 16074485 SOS 10603686 HAS SOPS 6795836 HAS SOUS 6228177 HAS SOUPS 5946968 WITH SCORE 5957571.686
AT ITER 770 NEW BEST:: SOT 16074825 SOS 10604026 HAS SOPS 6794150 HAS SOUS 6226520 HAS SOUPS 5945282 WITH SCORE 5955886.026
AT ITER 772 NEW BEST:: SOT 16075065 SOS 10604266 HAS SOPS 6793596 HAS SOUS 6225966 HAS SOUPS 5944728 WITH SCORE 5955332.266
AT ITER 783 NEW BEST:: SOT 16074983 SOS 10604184 HAS SOPS 6793191 HAS SOUS 6225561 HAS SOUPS 5944323 WITH SCORE 5954927.184
AT ITER 784 NEW BEST:: SOT 16075468 SOS 10604669 HAS SOPS 6792987 HAS SOUS 6225653 HAS SOUPS 5944119 WITH SCORE 5954723.669
AT ITER 797 NEW BEST:: SOT 16075101 SOS 10604839 HAS SOPS 6791728 HAS SOUS 6224394 HAS SOUPS 5942860 WITH SCORE 5953464.839
AT ITER 798 NEW BEST:: SOT 16075101 SOS 10604839 HAS SOPS 6791546 HAS SOUS 6224212 HAS SOUPS 5942678 WITH SCORE 5953282.839
AT ITER 814 NEW BEST:: SOT 16075646 SOS 10605384 HAS SOPS 6791323 HAS SOUS 6224288 HAS SOUPS 5942455 WITH SCORE 5953060.384
AT ITER 819 NEW BEST:: SOT 16075570 SOS 10605308 HAS SOPS 6791170 HAS SOUS 6224203 HAS SOUPS 5942302 WITH SCORE 5952907.308
AT ITER 824 NEW BEST:: SOT 16075686 SOS 10605424 HAS SOPS 6790921 HAS SOUS 6223954 HAS SOUPS 5942053 WITH SCORE 5952658.424
AT ITER 831 NEW BEST:: SOT 16074823 SOS 10604719 HAS SOPS 6789032 HAS SOUS 6222235 HAS SOUPS 5940164 WITH SCORE 5950768.719
AT ITER 833 NEW BEST:: SOT 16074823 SOS 10604719 HAS SOPS 6788627 HAS SOUS 6221937 HAS SOUPS 5939759 WITH SCORE 5950363.719
AT ITER 839 NEW BEST:: SOT 16074728 SOS 10604624 HAS SOPS 6788437 HAS SOUS 6221747 HAS SOUPS 5939569 WITH SCORE 5950173.624
AT ITER 841 NEW BEST:: SOT 16075275 SOS 10605171 HAS SOPS 6788353 HAS SOUS 6221663 HAS SOUPS 5939485 WITH SCORE 5950090.171
AT ITER 848 NEW BEST:: SOT 16075248 SOS 10605539 HAS SOPS 6787084 HAS SOUS 6220394 HAS SOUPS 5938216 WITH SCORE 5948821.539
AT ITER 852 NEW BEST:: SOT 16075004 SOS 10605295 HAS SOPS 6786596 HAS SOUS 6219906 HAS SOUPS 5937728 WITH SCORE 5948333.295
AT ITER 853 NEW BEST:: SOT 16075015 SOS 10605306 HAS SOPS 6786556 HAS SOUS 6219933 HAS SOUPS 5937688 WITH SCORE 5948293.306
AT ITER 856 NEW BEST:: SOT 16075015 SOS 10605306 HAS SOPS 6786144 HAS SOUS 6219548 HAS SOUPS 5937276 WITH SCORE 5947881.306
AT ITER 861 NEW BEST:: SOT 16074199 SOS 10653427 HAS SOPS 6785328 HAS SOUS 6219053 HAS SOUPS 5936460 WITH SCORE 5947113.427
AT ITER 862 NEW BEST:: SOT 16073699 SOS 10634927 HAS SOPS 6767328 HAS SOUS 6217553 HAS SOUPS 5934960 WITH SCORE 5945594.927
AT ITER 863 NEW BEST:: SOT 16074035 SOS 10635497 HAS SOPS 6767194 HAS SOUS 6217541 HAS SOUPS 5934826 WITH SCORE 5945461.497
AT ITER 868 NEW BEST:: SOT 16073782 SOS 10635244 HAS SOPS 6766180 HAS SOUS 6216959 HAS SOUPS 5933812 WITH SCORE 5944447.244
AT ITER 869 NEW BEST:: SOT 16074323 SOS 10636546 HAS SOPS 6765535 HAS SOUS 6217780 HAS SOUPS 5933167 WITH SCORE 5943803.546
AT ITER 873 NEW BEST:: SOT 16073716 SOS 10636209 HAS SOPS 6763848 HAS SOUS 6216093 HAS SOUPS 5931480 WITH SCORE 5942116.209
AT ITER 885 NEW BEST:: SOT 16073781 SOS 10636799 HAS SOPS 6763817 HAS SOUS 6216194 HAS SOUPS 5931449 WITH SCORE 5942085.799
AT ITER 887 NEW BEST:: SOT 16073777 SOS 10636795 HAS SOPS 6763809 HAS SOUS 6216186 HAS SOUPS 5931441 WITH SCORE 5942077.795
AT ITER 888 NEW BEST:: SOT 16073458 SOS 10636866 HAS SOPS 6763124 HAS SOUS 6215501 HAS SOUPS 5930756 WITH SCORE 5941392.866
AT ITER 889 NEW BEST:: SOT 16073144 SOS 10636545 HAS SOPS 6761560 HAS SOUS 6214280 HAS SOUPS 5929192 WITH SCORE 5939828.545
AT ITER 896 NEW BEST:: SOT 16073263 SOS 10636708 HAS SOPS 6761140 HAS SOUS 6214153 HAS SOUPS 5928772 WITH SCORE 5939408.708
AT ITER 897 NEW BEST:: SOT 16073432 SOS 10637481 HAS SOPS 6760071 HAS SOUS 6213084 HAS SOUPS 5927703 WITH SCORE 5938340.481
AT ITER 898 NEW BEST:: SOT 16073615 SOS 10637745 HAS SOPS 6759915 HAS SOUS 6212928 HAS SOUPS 5927547 WITH SCORE 5938184.745
AT ITER 903 NEW BEST:: SOT 16073494 SOS 10638097 HAS SOPS 6759308 HAS SOUS 6212695 HAS SOUPS 5926940 WITH SCORE 5937578.097
AT ITER 909 NEW BEST:: SOT 16073502 SOS 10638113 HAS SOPS 6759252 HAS SOUS 6212639 HAS SOUPS 5926884 WITH SCORE 5937522.113
AT ITER 912 NEW BEST:: SOT 16073008 SOS 10608591 HAS SOPS 6759252 HAS SOUS 6212145 HAS SOUPS 5926884 WITH SCORE 5937492.591
AT ITER 915 NEW BEST:: SOT 16072960 SOS 10608543 HAS SOPS 6759204 HAS SOUS 6212097 HAS SOUPS 5926836 WITH SCORE 5937444.543
AT ITER 919 NEW BEST:: SOT 16072756 SOS 10608610 HAS SOPS 6757760 HAS SOUS 6210653 HAS SOUPS 5925392 WITH SCORE 5936000.61
AT ITER 920 NEW BEST:: SOT 16074043 SOS 10609897 HAS SOPS 6757600 HAS SOUS 6210896 HAS SOUPS 5925232 WITH SCORE 5935841.897
AT ITER 928 NEW BEST:: SOT 16074382 SOS 10610236 HAS SOPS 6757057 HAS SOUS 6210694 HAS SOUPS 5924689 WITH SCORE 5935299.236
AT ITER 931 NEW BEST:: SOT 16074509 SOS 10610363 HAS SOPS 6754731 HAS SOUS 6209354 HAS SOUPS 5922363 WITH SCORE 5932973.363
AT ITER 941 NEW BEST:: SOT 16074410 SOS 10610264 HAS SOPS 6754533 HAS SOUS 6209255 HAS SOUPS 5922165 WITH SCORE 5932775.264
AT ITER 944 NEW BEST:: SOT 16074410 SOS 10610264 HAS SOPS 6753893 HAS SOUS 6208827 HAS SOUPS 5921525 WITH SCORE 5932135.264
AT ITER 953 NEW BEST:: SOT 16074994 SOS 10610848 HAS SOPS 6753337 HAS SOUS 6208271 HAS SOUPS 5920969 WITH SCORE 5931579.848
AT ITER 958 NEW BEST:: SOT 16074491 SOS 10610345 HAS SOPS 6751604 HAS SOUS 6206545 HAS SOUPS 5919236 WITH SCORE 5929846.345
AT ITER 965 NEW BEST:: SOT 16074091 SOS 10609945 HAS SOPS 6751204 HAS SOUS 6206145 HAS SOUPS 5918836 WITH SCORE 5929445.945
AT ITER 972 NEW BEST:: SOT 16074054 SOS 10609908 HAS SOPS 6751130 HAS SOUS 6206071 HAS SOUPS 5918762 WITH SCORE 5929371.908
AT ITER 980 NEW BEST:: SOT 16074054 SOS 10609908 HAS SOPS 6750841 HAS SOUS 6205782 HAS SOUPS 5918473 WITH SCORE 5929082.908
AT ITER 999 NEW BEST:: SOT 16074590 SOS 10610444 HAS SOPS 6750578 HAS SOUS 6205519 HAS SOUPS 5918210 WITH SCORE 5928820.444
AT ITER 1005 NEW BEST:: SOT 16074532 SOS 10610800 HAS SOPS 6749280 HAS SOUS 6204221 HAS SOUPS 5916912 WITH SCORE 5927522.8
AT ITER 1007 NEW BEST:: SOT 16074532 SOS 10610800 HAS SOPS 6749144 HAS SOUS 6204085 HAS SOUPS 5916776 WITH SCORE 5927386.8
AT ITER 1015 NEW BEST:: SOT 16074386 SOS 10610654 HAS SOPS 6748852 HAS SOUS 6203793 HAS SOUPS 5916484 WITH SCORE 5927094.654
AT ITER 1019 NEW BEST:: SOT 16074213 SOS 10610481 HAS SOPS 6748160 HAS SOUS 6203447 HAS SOUPS 5915792 WITH SCORE 5926402.481
AT ITER 1020 NEW BEST:: SOT 16075003 SOS 10611271 HAS SOPS 6747735 HAS SOUS 6203158 HAS SOUPS 5915367 WITH SCORE 5925978.271
AT ITER 1022 NEW BEST:: SOT 16074743 SOS 10611432 HAS SOPS 6746895 HAS SOUS 6202318 HAS SOUPS 5914527 WITH SCORE 5925138.432
AT ITER 1024 NEW BEST:: SOT 16074247 SOS 10611188 HAS SOPS 6745175 HAS SOUS 6200598 HAS SOUPS 5912807 WITH SCORE 5923418.188
AT ITER 1025 NEW BEST:: SOT 16074797 SOS 10612512 HAS SOPS 6744565 HAS SOUS 6199988 HAS SOUPS 5912197 WITH SCORE 5922809.512
AT ITER 1027 NEW BEST:: SOT 16074238 SOS 10612436 HAS SOPS 6742601 HAS SOUS 6198024 HAS SOUPS 5910233 WITH SCORE 5920845.436
AT ITER 1029 NEW BEST:: SOT 16101973 SOS 10617980 HAS SOPS 6713756 HAS SOUS 6189126 HAS SOUPS 5900603 WITH SCORE 5911220.98
AT ITER 1031 NEW BEST:: SOT 16101973 SOS 10617980 HAS SOPS 6713227 HAS SOUS 6188597 HAS SOUPS 5900074 WITH SCORE 5910691.98
AT ITER 1036 NEW BEST:: SOT 16102571 SOS 10618578 HAS SOPS 6712223 HAS SOUS 6188199 HAS SOUPS 5899070 WITH SCORE 5909688.578
AT ITER 1045 NEW BEST:: SOT 16102360 SOS 10618367 HAS SOPS 6711332 HAS SOUS 6187308 HAS SOUPS 5898179 WITH SCORE 5908797.367
AT ITER 1046 NEW BEST:: SOT 16102807 SOS 10618814 HAS SOPS 6710955 HAS SOUS 6187526 HAS SOUPS 5897802 WITH SCORE 5908420.814
AT ITER 1047 NEW BEST:: SOT 16103008 SOS 10619015 HAS SOPS 6710777 HAS SOUS 6187348 HAS SOUPS 5897624 WITH SCORE 5908243.015
AT ITER 1049 NEW BEST:: SOT 16102692 SOS 10618699 HAS SOPS 6710777 HAS SOUS 6187348 HAS SOUPS 5897624 WITH SCORE 5908242.699
AT ITER 1052 NEW BEST:: SOT 16102867 SOS 10619448 HAS SOPS 6710124 HAS SOUS 6187625 HAS SOUPS 5896971 WITH SCORE 5907590.448
AT ITER 1053 NEW BEST:: SOT 16102024 SOS 10618605 HAS SOPS 6708077 HAS SOUS 6185782 HAS SOUPS 5894924 WITH SCORE 5905542.605
AT ITER 1061 NEW BEST:: SOT 16101903 SOS 10618484 HAS SOPS 6707699 HAS SOUS 6185525 HAS SOUPS 5894546 WITH SCORE 5905164.484
AT ITER 1069 NEW BEST:: SOT 16102608 SOS 10619189 HAS SOPS 6707329 HAS SOUS 6185155 HAS SOUPS 5894176 WITH SCORE 5904795.189
AT ITER 1076 NEW BEST:: SOT 16102647 SOS 10619228 HAS SOPS 6706623 HAS SOUS 6184634 HAS SOUPS 5893470 WITH SCORE 5904089.228
AT ITER 1078 NEW BEST:: SOT 16102718 SOS 10619831 HAS SOPS 6705454 HAS SOUS 6183465 HAS SOUPS 5892301 WITH SCORE 5902920.831
AT ITER 1083 NEW BEST:: SOT 16102718 SOS 10619831 HAS SOPS 6705338 HAS SOUS 6183349 HAS SOUPS 5892185 WITH SCORE 5902804.831
AT ITER 1086 NEW BEST:: SOT 16102722 SOS 10619307 HAS SOPS 6704409 HAS SOUS 6182649 HAS SOUPS 5891485 WITH SCORE 5902104.307
AT ITER 1090 NEW BEST:: SOT 16102722 SOS 10619307 HAS SOPS 6704167 HAS SOUS 6182407 HAS SOUPS 5891243 WITH SCORE 5901862.307
AT ITER 1095 NEW BEST:: SOT 16102668 SOS 10619496 HAS SOPS 6703752 HAS SOUS 6182290 HAS SOUPS 5890828 WITH SCORE 5901447.496
AT ITER 1113 NEW BEST:: SOT 16102668 SOS 10619496 HAS SOPS 6703210 HAS SOUS 6181748 HAS SOUPS 5890286 WITH SCORE 5900905.496
AT ITER 1119 NEW BEST:: SOT 16102878 SOS 10620154 HAS SOPS 6702166 HAS SOUS 6180704 HAS SOUPS 5889242 WITH SCORE 5899862.154
AT ITER 1125 NEW BEST:: SOT 16103726 SOS 10621002 HAS SOPS 6701846 HAS SOUS 6180619 HAS SOUPS 5888922 WITH SCORE 5899543.002
AT ITER 1126 NEW BEST:: SOT 16103604 SOS 10620880 HAS SOPS 6700985 HAS SOUS 6179758 HAS SOUPS 5888061 WITH SCORE 5898681.88
AT ITER 1127 NEW BEST:: SOT 16103456 SOS 10620732 HAS SOPS 6700951 HAS SOUS 6179724 HAS SOUPS 5888027 WITH SCORE 5898647.732
AT ITER 1134 NEW BEST:: SOT 16103976 SOS 10621252 HAS SOPS 6700049 HAS SOUS 6179470 HAS SOUPS 5887125 WITH SCORE 5897746.252
AT ITER 1138 NEW BEST:: SOT 16103741 SOS 10621451 HAS SOPS 6698986 HAS SOUS 6178407 HAS SOUPS 5886062 WITH SCORE 5896683.451
AT ITER 1141 NEW BEST:: SOT 16103741 SOS 10621451 HAS SOPS 6698824 HAS SOUS 6178409 HAS SOUPS 5885900 WITH SCORE 5896521.451
AT ITER 1160 NEW BEST:: SOT 16104230 SOS 10621940 HAS SOPS 6698656 HAS SOUS 6178241 HAS SOUPS 5885732 WITH SCORE 5896353.94
AT ITER 1162 NEW BEST:: SOT 16104174 SOS 10621884 HAS SOPS 6698392 HAS SOUS 6177977 HAS SOUPS 5885468 WITH SCORE 5896089.884
AT ITER 1169 NEW BEST:: SOT 16103781 SOS 10627485 HAS SOPS 6697777 HAS SOUS 6177806 HAS SOUPS 5884853 WITH SCORE 5895480.485
AT ITER 1173 NEW BEST:: SOT 16104232 SOS 10627936 HAS SOPS 6697599 HAS SOUS 6177739 HAS SOUPS 5884675 WITH SCORE 5895302.936
AT ITER 1177 NEW BEST:: SOT 16104676 SOS 10629112 HAS SOPS 6697323 HAS SOUS 6177463 HAS SOUPS 5884399 WITH SCORE 5895028.112
AT ITER 1179 NEW BEST:: SOT 16104614 SOS 10629050 HAS SOPS 6697075 HAS SOUS 6177215 HAS SOUPS 5884151 WITH SCORE 5894780.05
AT ITER 1180 NEW BEST:: SOT 16104573 SOS 10629009 HAS SOPS 6697034 HAS SOUS 6177174 HAS SOUPS 5884110 WITH SCORE 5894739.009
AT ITER 1181 NEW BEST:: SOT 16104024 SOS 10628460 HAS SOPS 6696238 HAS SOUS 6176378 HAS SOUPS 5883314 WITH SCORE 5893942.46
AT ITER 1192 NEW BEST:: SOT 16103139 SOS 10627730 HAS SOPS 6694312 HAS SOUS 6174690 HAS SOUPS 5881388 WITH SCORE 5892015.73
AT ITER 1201 NEW BEST:: SOT 16103996 SOS 10628587 HAS SOPS 6694131 HAS SOUS 6174509 HAS SOUPS 5881207 WITH SCORE 5891835.587
AT ITER 1204 NEW BEST:: SOT 16104029 SOS 10628620 HAS SOPS 6693982 HAS SOUS 6174305 HAS SOUPS 5881003 WITH SCORE 5891631.62
AT ITER 1206 NEW BEST:: SOT 16104846 SOS 10629437 HAS SOPS 6693237 HAS SOUS 6175488 HAS SOUPS 5880258 WITH SCORE 5890887.437
AT ITER 1213 NEW BEST:: SOT 16104859 SOS 10629450 HAS SOPS 6693111 HAS SOUS 6175362 HAS SOUPS 5880132 WITH SCORE 5890761.45
AT ITER 1214 NEW BEST:: SOT 16105482 SOS 10630879 HAS SOPS 6692770 HAS SOUS 6175021 HAS SOUPS 5879791 WITH SCORE 5890421.879
AT ITER 1217 NEW BEST:: SOT 16104672 SOS 10600099 HAS SOPS 6662800 HAS SOUS 6173401 HAS SOUPS 5878171 WITH SCORE 5888771.099
AT ITER 1221 NEW BEST:: SOT 16103925 SOS 10599553 HAS SOPS 6660881 HAS SOUS 6171516 HAS SOUPS 5876252 WITH SCORE 5886851.553
AT ITER 1229 NEW BEST:: SOT 16103925 SOS 10600050 HAS SOPS 6660735 HAS SOUS 6171977 HAS SOUPS 5876106 WITH SCORE 5886706.05
AT ITER 1230 NEW BEST:: SOT 16103085 SOS 10599371 HAS SOPS 6658751 HAS SOUS 6170163 HAS SOUPS 5874122 WITH SCORE 5884721.371
AT ITER 1231 NEW BEST:: SOT 16103085 SOS 10599371 HAS SOPS 6658473 HAS SOUS 6170145 HAS SOUPS 5873844 WITH SCORE 5884443.371
AT ITER 1238 NEW BEST:: SOT 16103123 SOS 10601269 HAS SOPS 6658093 HAS SOUS 6169968 HAS SOUPS 5873464 WITH SCORE 5884065.269
AT ITER 1244 NEW BEST:: SOT 16103123 SOS 10601269 HAS SOPS 6658092 HAS SOUS 6169967 HAS SOUPS 5873463 WITH SCORE 5884064.269
AT ITER 1245 NEW BEST:: SOT 16102452 SOS 10608072 HAS SOPS 6657142 HAS SOUS 6169575 HAS SOUPS 5872513 WITH SCORE 5883121.072
AT ITER 1252 NEW BEST:: SOT 16102452 SOS 10608072 HAS SOPS 6655833 HAS SOUS 6169105 HAS SOUPS 5871204 WITH SCORE 5881812.072
AT ITER 1257 NEW BEST:: SOT 16102452 SOS 10608072 HAS SOPS 6655829 HAS SOUS 6169125 HAS SOUPS 5871200 WITH SCORE 5881808.072
AT ITER 1261 NEW BEST:: SOT 16102905 SOS 10608525 HAS SOPS 6653889 HAS SOUS 6167195 HAS SOUPS 5869260 WITH SCORE 5879868.525
AT ITER 1262 NEW BEST:: SOT 16102716 SOS 10608567 HAS SOPS 6652856 HAS SOUS 6166162 HAS SOUPS 5868227 WITH SCORE 5878835.567
AT ITER 1263 NEW BEST:: SOT 16102313 SOS 10608150 HAS SOPS 6651688 HAS SOUS 6164994 HAS SOUPS 5867059 WITH SCORE 5877667.15
AT ITER 1268 NEW BEST:: SOT 16101747 SOS 10607584 HAS SOPS 6650548 HAS SOUS 6163857 HAS SOUPS 5865919 WITH SCORE 5876526.584
AT ITER 1280 NEW BEST:: SOT 16101589 SOS 10607426 HAS SOPS 6650232 HAS SOUS 6163541 HAS SOUPS 5865603 WITH SCORE 5876210.426
AT ITER 1288 NEW BEST:: SOT 16101579 SOS 10607397 HAS SOPS 6649353 HAS SOUS 6162662 HAS SOUPS 5864724 WITH SCORE 5875331.397
AT ITER 1291 NEW BEST:: SOT 16101897 SOS 10608361 HAS SOPS 6648423 HAS SOUS 6161732 HAS SOUPS 5863794 WITH SCORE 5874402.361
AT ITER 1299 NEW BEST:: SOT 16102196 SOS 10608660 HAS SOPS 6647542 HAS SOUS 6160851 HAS SOUPS 5862913 WITH SCORE 5873521.66
AT ITER 1300 NEW BEST:: SOT 16102781 SOS 10610032 HAS SOPS 6647187 HAS SOUS 6160496 HAS SOUPS 5862558 WITH SCORE 5873168.032
AT ITER 1307 NEW BEST:: SOT 16102779 SOS 10610030 HAS SOPS 6647183 HAS SOUS 6160492 HAS SOUPS 5862554 WITH SCORE 5873164.03
AT ITER 1316 NEW BEST:: SOT 16103516 SOS 10610767 HAS SOPS 6646999 HAS SOUS 6160308 HAS SOUPS 5862370 WITH SCORE 5872980.767
AT ITER 1327 NEW BEST:: SOT 16104035 SOS 10611286 HAS SOPS 6646239 HAS SOUS 6160151 HAS SOUPS 5861610 WITH SCORE 5872221.286
AT ITER 1332 NEW BEST:: SOT 16103927 SOS 10611178 HAS SOPS 6646131 HAS SOUS 6160043 HAS SOUPS 5861502 WITH SCORE 5872113.178
AT ITER 1337 NEW BEST:: SOT 16103983 SOS 10624349 HAS SOPS 6645596 HAS SOUS 6160283 HAS SOUPS 5860967 WITH SCORE 5871591.349
AT ITER 1340 NEW BEST:: SOT 16103897 SOS 10624263 HAS SOPS 6645337 HAS SOUS 6160024 HAS SOUPS 5860708 WITH SCORE 5871332.263
AT ITER 1372 NEW BEST:: SOT 16104447 SOS 10624813 HAS SOPS 6644879 HAS SOUS 6159987 HAS SOUPS 5860250 WITH SCORE 5870874.813
AT ITER 1375 NEW BEST:: SOT 16104064 SOS 10625017 HAS SOPS 6642681 HAS SOUS 6158360 HAS SOUPS 5858052 WITH SCORE 5868677.017
AT ITER 1387 NEW BEST:: SOT 16103966 SOS 10624919 HAS SOPS 6642250 HAS SOUS 6157929 HAS SOUPS 5857621 WITH SCORE 5868245.919
AT ITER 1402 NEW BEST:: SOT 16103745 SOS 10624698 HAS SOPS 6641808 HAS SOUS 6157487 HAS SOUPS 5857179 WITH SCORE 5867803.698
AT ITER 1403 NEW BEST:: SOT 16103979 SOS 10624932 HAS SOPS 6641732 HAS SOUS 6157411 HAS SOUPS 5857103 WITH SCORE 5867727.932
AT ITER 1408 NEW BEST:: SOT 16104372 SOS 10625325 HAS SOPS 6641179 HAS SOUS 6156858 HAS SOUPS 5856550 WITH SCORE 5867175.325
AT ITER 1412 NEW BEST:: SOT 16104128 SOS 10625507 HAS SOPS 6639781 HAS SOUS 6155460 HAS SOUPS 5855152 WITH SCORE 5865777.507
AT ITER 1419 NEW BEST:: SOT 16103751 SOS 10625555 HAS SOPS 6638868 HAS SOUS 6154547 HAS SOUPS 5854239 WITH SCORE 5864864.555
AT ITER 1421 NEW BEST:: SOT 16104036 SOS 10625329 HAS SOPS 6638635 HAS SOUS 6154797 HAS SOUPS 5854006 WITH SCORE 5864631.329
AT ITER 1425 NEW BEST:: SOT 16104581 SOS 10625874 HAS SOPS 6638018 HAS SOUS 6154857 HAS SOUPS 5853389 WITH SCORE 5864014.874
AT ITER 1432 NEW BEST:: SOT 16104581 SOS 10625874 HAS SOPS 6637984 HAS SOUS 6154823 HAS SOUPS 5853355 WITH SCORE 5863980.874
AT ITER 1437 NEW BEST:: SOT 16105957 SOS 10627250 HAS SOPS 6637912 HAS SOUS 6154751 HAS SOUPS 5853283 WITH SCORE 5863910.25
AT ITER 1439 NEW BEST:: SOT 16106034 SOS 10627327 HAS SOPS 6637765 HAS SOUS 6154692 HAS SOUPS 5853136 WITH SCORE 5863763.327
AT ITER 1441 NEW BEST:: SOT 16105952 SOS 10627667 HAS SOPS 6636445 HAS SOUS 6153372 HAS SOUPS 5851816 WITH SCORE 5862443.667
AT ITER 1443 NEW BEST:: SOT 16105945 SOS 10627908 HAS SOPS 6635186 HAS SOUS 6152113 HAS SOUPS 5850557 WITH SCORE 5861184.908
AT ITER 1446 NEW BEST:: SOT 16106693 SOS 10629403 HAS SOPS 6634998 HAS SOUS 6151925 HAS SOUPS 5850369 WITH SCORE 5860998.403
AT ITER 1451 NEW BEST:: SOT 16106693 SOS 10629403 HAS SOPS 6634561 HAS SOUS 6151828 HAS SOUPS 5849932 WITH SCORE 5860561.403
AT ITER 1457 NEW BEST:: SOT 16106811 SOS 10629974 HAS SOPS 6633431 HAS SOUS 6150698 HAS SOUPS 5848802 WITH SCORE 5859431.974
AT ITER 1460 NEW BEST:: SOT 16106811 SOS 10629974 HAS SOPS 6633401 HAS SOUS 6150668 HAS SOUPS 5848772 WITH SCORE 5859401.974
AT ITER 1464 NEW BEST:: SOT 16107196 SOS 10630743 HAS SOPS 6632534 HAS SOUS 6149801 HAS SOUPS 5847905 WITH SCORE 5858535.743
AT ITER 1465 NEW BEST:: SOT 16107252 SOS 10630799 HAS SOPS 6632404 HAS SOUS 6149671 HAS SOUPS 5847775 WITH SCORE 5858405.799
AT ITER 1467 NEW BEST:: SOT 16107065 SOS 10630612 HAS SOPS 6632164 HAS SOUS 6149431 HAS SOUPS 5847535 WITH SCORE 5858165.612
AT ITER 1474 NEW BEST:: SOT 16107098 SOS 10630645 HAS SOPS 6631875 HAS SOUS 6149142 HAS SOUPS 5847246 WITH SCORE 5857876.645
AT ITER 1476 NEW BEST:: SOT 16107631 SOS 10631178 HAS SOPS 6631529 HAS SOUS 6148796 HAS SOUPS 5846900 WITH SCORE 5857531.178
AT ITER 1477 NEW BEST:: SOT 16107823 SOS 10631370 HAS SOPS 6631014 HAS SOUS 6148404 HAS SOUPS 5846385 WITH SCORE 5857016.37
AT ITER 1485 NEW BEST:: SOT 16106986 SOS 10630682 HAS SOPS 6628959 HAS SOUS 6146554 HAS SOUPS 5844330 WITH SCORE 5854960.682
AT ITER 1487 NEW BEST:: SOT 16107528 SOS 10631224 HAS SOPS 6628032 HAS SOUS 6145627 HAS SOUPS 5843403 WITH SCORE 5854034.224
AT ITER 1488 NEW BEST:: SOT 16107560 SOS 10631256 HAS SOPS 6627559 HAS SOUS 6145154 HAS SOUPS 5842930 WITH SCORE 5853561.256
AT ITER 1502 NEW BEST:: SOT 16107500 SOS 10631196 HAS SOPS 6626033 HAS SOUS 6143628 HAS SOUPS 5841404 WITH SCORE 5852035.196
AT ITER 1523 NEW BEST:: SOT 16106913 SOS 10630890 HAS SOPS 6624822 HAS SOUS 6144503 HAS SOUPS 5840193 WITH SCORE 5850823.89
AT ITER 1531 NEW BEST:: SOT 16112256 SOS 10626919 HAS SOPS 6604350 HAS SOUS 6132291 HAS SOUPS 5827981 WITH SCORE 5838607.919
AT ITER 1532 NEW BEST:: SOT 16111788 SOS 10626451 HAS SOPS 6603414 HAS SOUS 6131355 HAS SOUPS 5827045 WITH SCORE 5837671.451
AT ITER 1535 NEW BEST:: SOT 16111650 SOS 10626313 HAS SOPS 6602858 HAS SOUS 6130805 HAS SOUPS 5826489 WITH SCORE 5837115.313
AT ITER 1540 NEW BEST:: SOT 16111650 SOS 10626313 HAS SOPS 6602672 HAS SOUS 6130619 HAS SOUPS 5826303 WITH SCORE 5836929.313
AT ITER 1544 NEW BEST:: SOT 16111650 SOS 10626313 HAS SOPS 6601898 HAS SOUS 6129845 HAS SOUPS 5825529 WITH SCORE 5836155.313
AT ITER 1547 NEW BEST:: SOT 16111879 SOS 10626542 HAS SOPS 6600933 HAS SOUS 6128880 HAS SOUPS 5824564 WITH SCORE 5835190.542
AT ITER 1551 NEW BEST:: SOT 16111870 SOS 10626769 HAS SOPS 6600718 HAS SOUS 6128665 HAS SOUPS 5824349 WITH SCORE 5834975.769
AT ITER 1554 NEW BEST:: SOT 16111966 SOS 10626865 HAS SOPS 6600654 HAS SOUS 6128601 HAS SOUPS 5824285 WITH SCORE 5834911.865
AT ITER 1564 NEW BEST:: SOT 16111761 SOS 10626660 HAS SOPS 6600654 HAS SOUS 6128555 HAS SOUPS 5824285 WITH SCORE 5834911.66
AT ITER 1565 NEW BEST:: SOT 16111553 SOS 10626452 HAS SOPS 6598742 HAS SOUS 6127164 HAS SOUPS 5822373 WITH SCORE 5832999.452
AT ITER 1571 NEW BEST:: SOT 16111553 SOS 10626452 HAS SOPS 6598689 HAS SOUS 6127111 HAS SOUPS 5822320 WITH SCORE 5832946.452
AT ITER 1584 NEW BEST:: SOT 16111553 SOS 10626452 HAS SOPS 6598349 HAS SOUS 6126771 HAS SOUPS 5821980 WITH SCORE 5832606.452
AT ITER 1599 NEW BEST:: SOT 16111553 SOS 10626452 HAS SOPS 6598010 HAS SOUS 6126432 HAS SOUPS 5821641 WITH SCORE 5832267.452
AT ITER 1600 NEW BEST:: SOT 16111271 SOS 10684801 HAS SOPS 6596592 HAS SOUS 6126577 HAS SOUPS 5820223 WITH SCORE 5830907.801
AT ITER 1606 NEW BEST:: SOT 16110726 SOS 10683711 HAS SOPS 6595936 HAS SOUS 6125921 HAS SOUPS 5819567 WITH SCORE 5830250.711
AT ITER 1609 NEW BEST:: SOT 16111066 SOS 10684378 HAS SOPS 6595729 HAS SOUS 6125886 HAS SOUPS 5819360 WITH SCORE 5830044.378
AT ITER 1612 NEW BEST:: SOT 16111013 SOS 10682364 HAS SOPS 6593768 HAS SOUS 6125780 HAS SOUPS 5819254 WITH SCORE 5829936.364
AT ITER 1615 NEW BEST:: SOT 16111246 SOS 10682607 HAS SOPS 6593322 HAS SOUS 6125334 HAS SOUPS 5818808 WITH SCORE 5829490.607
AT ITER 1619 NEW BEST:: SOT 16110282 SOS 10681749 HAS SOPS 6591154 HAS SOUS 6123368 HAS SOUPS 5816640 WITH SCORE 5827321.749
AT ITER 1625 NEW BEST:: SOT 16101384 SOS 10673207 HAS SOPS 6585817 HAS SOUS 6118031 HAS SOUPS 5811303 WITH SCORE 5821976.207
AT ITER 1627 NEW BEST:: SOT 16101384 SOS 10673207 HAS SOPS 6585703 HAS SOUS 6117917 HAS SOUPS 5811189 WITH SCORE 5821862.207
AT ITER 1631 NEW BEST:: SOT 16101313 SOS 10673136 HAS SOPS 6585490 HAS SOUS 6117704 HAS SOUPS 5810976 WITH SCORE 5821649.136
AT ITER 1640 NEW BEST:: SOT 16101547 SOS 10673847 HAS SOPS 6584472 HAS SOUS 6116686 HAS SOUPS 5809958 WITH SCORE 5820631.847
AT ITER 1650 NEW BEST:: SOT 16100527 SOS 10672923 HAS SOPS 6582300 HAS SOUS 6114820 HAS SOUPS 5807786 WITH SCORE 5818458.923
AT ITER 1652 NEW BEST:: SOT 16101216 SOS 10673612 HAS SOPS 6581827 HAS SOUS 6114347 HAS SOUPS 5807313 WITH SCORE 5817986.612
AT ITER 1654 NEW BEST:: SOT 16101160 SOS 10674066 HAS SOPS 6580933 HAS SOUS 6113521 HAS SOUPS 5806419 WITH SCORE 5817093.066
AT ITER 1656 NEW BEST:: SOT 16101040 SOS 10673946 HAS SOPS 6580693 HAS SOUS 6113159 HAS SOUPS 5806179 WITH SCORE 5816852.946
AT ITER 1659 NEW BEST:: SOT 16101707 SOS 10674613 HAS SOPS 6580692 HAS SOUS 6113394 HAS SOUPS 5806178 WITH SCORE 5816852.613
AT ITER 1661 NEW BEST:: SOT 16102136 SOS 10675042 HAS SOPS 6580536 HAS SOUS 6113238 HAS SOUPS 5806022 WITH SCORE 5816697.042
AT ITER 1671 NEW BEST:: SOT 16102261 SOS 10675167 HAS SOPS 6580531 HAS SOUS 6113233 HAS SOUPS 5806017 WITH SCORE 5816692.167
AT ITER 1672 NEW BEST:: SOT 16101931 SOS 10674876 HAS SOPS 6578953 HAS SOUS 6111655 HAS SOUPS 5804439 WITH SCORE 5815113.876
AT ITER 1678 NEW BEST:: SOT 16102029 SOS 10675649 HAS SOPS 6577909 HAS SOUS 6110611 HAS SOUPS 5803395 WITH SCORE 5814070.649
AT ITER 1685 NEW BEST:: SOT 16102405 SOS 10676643 HAS SOPS 6577031 HAS SOUS 6109733 HAS SOUPS 5802517 WITH SCORE 5813193.643
AT ITER 1687 NEW BEST:: SOT 16102032 SOS 10676270 HAS SOPS 6574951 HAS SOUS 6109240 HAS SOUPS 5800437 WITH SCORE 5811113.27
AT ITER 1692 NEW BEST:: SOT 16101882 SOS 10676120 HAS SOPS 6574799 HAS SOUS 6109088 HAS SOUPS 5800285 WITH SCORE 5810961.12
AT ITER 1694 NEW BEST:: SOT 16101882 SOS 10676120 HAS SOPS 6574674 HAS SOUS 6108963 HAS SOUPS 5800160 WITH SCORE 5810836.12
AT ITER 1695 NEW BEST:: SOT 16102232 SOS 10677152 HAS SOPS 6574586 HAS SOUS 6108875 HAS SOUPS 5800072 WITH SCORE 5810749.152
AT ITER 1700 NEW BEST:: SOT 16102227 SOS 10677147 HAS SOPS 6574494 HAS SOUS 6108783 HAS SOUPS 5799980 WITH SCORE 5810657.147
AT ITER 1704 NEW BEST:: SOT 16103707 SOS 10678627 HAS SOPS 6573932 HAS SOUS 6108911 HAS SOUPS 5799418 WITH SCORE 5810096.627
AT ITER 1710 NEW BEST:: SOT 16103745 SOS 10679029 HAS SOPS 6573915 HAS SOUS 6108922 HAS SOUPS 5799401 WITH SCORE 5810080.029
AT ITER 1713 NEW BEST:: SOT 16103868 SOS 10679885 HAS SOPS 6573683 HAS SOUS 6109062 HAS SOUPS 5799169 WITH SCORE 5809848.885
AT ITER 1716 NEW BEST:: SOT 16103868 SOS 10679885 HAS SOPS 6573682 HAS SOUS 6109061 HAS SOUPS 5799168 WITH SCORE 5809847.885
AT ITER 1726 NEW BEST:: SOT 16103383 SOS 10679400 HAS SOPS 6572641 HAS SOUS 6108081 HAS SOUPS 5798127 WITH SCORE 5808806.4
AT ITER 1731 NEW BEST:: SOT 16103550 SOS 10680165 HAS SOPS 6572178 HAS SOUS 6107618 HAS SOUPS 5797664 WITH SCORE 5808344.165
AT ITER 1736 NEW BEST:: SOT 16102916 SOS 10679531 HAS SOPS 6570910 HAS SOUS 6106984 HAS SOUPS 5796396 WITH SCORE 5807075.531
AT ITER 1746 NEW BEST:: SOT 16103055 SOS 10679670 HAS SOPS 6569042 HAS SOUS 6105393 HAS SOUPS 5794528 WITH SCORE 5805207.67
AT ITER 1749 NEW BEST:: SOT 16103331 SOS 10679946 HAS SOPS 6568190 HAS SOUS 6104541 HAS SOUPS 5793676 WITH SCORE 5804355.946
AT ITER 1750 NEW BEST:: SOT 16104366 SOS 10680981 HAS SOPS 6568181 HAS SOUS 6105902 HAS SOUPS 5793667 WITH SCORE 5804347.981
AT ITER 1753 NEW BEST:: SOT 16104498 SOS 10681161 HAS SOPS 6567665 HAS SOUS 6106793 HAS SOUPS 5793151 WITH SCORE 5803832.161
AT ITER 1757 NEW BEST:: SOT 16104771 SOS 10681434 HAS SOPS 6566925 HAS SOUS 6106053 HAS SOUPS 5792411 WITH SCORE 5803092.434
AT ITER 1761 NEW BEST:: SOT 16105180 SOS 10645940 HAS SOPS 6514810 HAS SOUS 6089217 HAS SOUPS 5775575 WITH SCORE 5786220.94
AT ITER 1764 NEW BEST:: SOT 16105180 SOS 10645940 HAS SOPS 6513687 HAS SOUS 6088094 HAS SOUPS 5774452 WITH SCORE 5785097.94
AT ITER 1765 NEW BEST:: SOT 16105104 SOS 10645864 HAS SOPS 6513079 HAS SOUS 6087486 HAS SOUPS 5773844 WITH SCORE 5784489.864
AT ITER 1772 NEW BEST:: SOT 16104814 SOS 10645574 HAS SOPS 6512486 HAS SOUS 6086907 HAS SOUPS 5773251 WITH SCORE 5783896.574
AT ITER 1775 NEW BEST:: SOT 16104518 SOS 10645278 HAS SOPS 6511627 HAS SOUS 6086048 HAS SOUPS 5772392 WITH SCORE 5783037.278
AT ITER 1797 NEW BEST:: SOT 16104496 SOS 10645256 HAS SOPS 6511059 HAS SOUS 6085819 HAS SOUPS 5771824 WITH SCORE 5782469.256
AT ITER 1803 NEW BEST:: SOT 16104257 SOS 10645017 HAS SOPS 6510581 HAS SOUS 6085573 HAS SOUPS 5771346 WITH SCORE 5781991.017
AT ITER 1812 NEW BEST:: SOT 16104614 SOS 10645374 HAS SOPS 6509816 HAS SOUS 6084808 HAS SOUPS 5770581 WITH SCORE 5781226.374
AT ITER 1814 NEW BEST:: SOT 16105076 SOS 10645836 HAS SOPS 6508201 HAS SOUS 6084371 HAS SOUPS 5768966 WITH SCORE 5779611.836
AT ITER 1820 NEW BEST:: SOT 16105531 SOS 10646291 HAS SOPS 6508057 HAS SOUS 6084477 HAS SOUPS 5768822 WITH SCORE 5779468.291
AT ITER 1821 NEW BEST:: SOT 16104393 SOS 10645153 HAS SOPS 6506441 HAS SOUS 6082861 HAS SOUPS 5767206 WITH SCORE 5777851.153
AT ITER 1823 NEW BEST:: SOT 16104393 SOS 10645153 HAS SOPS 6506440 HAS SOUS 6082860 HAS SOUPS 5767205 WITH SCORE 5777850.153
AT ITER 1826 NEW BEST:: SOT 16103841 SOS 10644601 HAS SOPS 6505136 HAS SOUS 6081556 HAS SOUPS 5765901 WITH SCORE 5776545.601
AT ITER 1830 NEW BEST:: SOT 16103435 SOS 10644195 HAS SOPS 6504324 HAS SOUS 6080778 HAS SOUPS 5765089 WITH SCORE 5775733.195
AT ITER 1843 NEW BEST:: SOT 16104408 SOS 10645168 HAS SOPS 6504314 HAS SOUS 6080972 HAS SOUPS 5765079 WITH SCORE 5775724.168
AT ITER 1854 NEW BEST:: SOT 16104030 SOS 10630804 HAS SOPS 6490328 HAS SOUS 6080216 HAS SOUPS 5764323 WITH SCORE 5774953.804
AT ITER 1859 NEW BEST:: SOT 16104044 SOS 10633608 HAS SOPS 6490122 HAS SOUS 6080404 HAS SOUPS 5764117 WITH SCORE 5774750.608
AT ITER 1871 NEW BEST:: SOT 16104401 SOS 10633965 HAS SOPS 6489772 HAS SOUS 6080054 HAS SOUPS 5763767 WITH SCORE 5774400.965
AT ITER 1875 NEW BEST:: SOT 16103533 SOS 10633097 HAS SOPS 6487738 HAS SOUS 6078020 HAS SOUPS 5761733 WITH SCORE 5772366.097
AT ITER 1876 NEW BEST:: SOT 16103230 SOS 10632582 HAS SOPS 6487265 HAS SOUS 6077547 HAS SOUPS 5761260 WITH SCORE 5771892.582
AT ITER 1884 NEW BEST:: SOT 16103698 SOS 10633050 HAS SOPS 6485248 HAS SOUS 6076211 HAS SOUPS 5759243 WITH SCORE 5769876.05
AT ITER 1897 NEW BEST:: SOT 16103463 SOS 10632815 HAS SOPS 6484778 HAS SOUS 6075741 HAS SOUPS 5758773 WITH SCORE 5769405.815
AT ITER 1906 NEW BEST:: SOT 16103878 SOS 10633230 HAS SOPS 6484429 HAS SOUS 6075392 HAS SOUPS 5758424 WITH SCORE 5769057.23
AT ITER 1913 NEW BEST:: SOT 16103652 SOS 10633597 HAS SOPS 6483977 HAS SOUS 6074940 HAS SOUPS 5757972 WITH SCORE 5768605.597
AT ITER 1915 NEW BEST:: SOT 16103339 SOS 10633284 HAS SOPS 6483351 HAS SOUS 6074314 HAS SOUPS 5757346 WITH SCORE 5767979.284
AT ITER 1920 NEW BEST:: SOT 16103546 SOS 10633491 HAS SOPS 6483227 HAS SOUS 6074190 HAS SOUPS 5757222 WITH SCORE 5767855.491
AT ITER 1923 NEW BEST:: SOT 16104156 SOS 10674258 HAS SOPS 6482597 HAS SOUS 6074768 HAS SOUPS 5756592 WITH SCORE 5767266.258
AT ITER 1937 NEW BEST:: SOT 16104183 SOS 10681485 HAS SOPS 6482112 HAS SOUS 6074565 HAS SOUPS 5756107 WITH SCORE 5766788.485
AT ITER 1941 NEW BEST:: SOT 16104194 SOS 10682004 HAS SOPS 6481921 HAS SOUS 6074374 HAS SOUPS 5755916 WITH SCORE 5766598.004
AT ITER 1942 NEW BEST:: SOT 16104252 SOS 10680829 HAS SOPS 6482390 HAS SOUS 6074139 HAS SOUPS 5755818 WITH SCORE 5766498.829
AT ITER 1943 NEW BEST:: SOT 16104341 SOS 10680918 HAS SOPS 6482229 HAS SOUS 6073978 HAS SOUPS 5755657 WITH SCORE 5766337.918
AT ITER 1949 NEW BEST:: SOT 16103920 SOS 10680497 HAS SOPS 6480203 HAS SOUS 6072683 HAS SOUPS 5753631 WITH SCORE 5764311.497
AT ITER 1950 NEW BEST:: SOT 16104381 SOS 10680958 HAS SOPS 6478867 HAS SOUS 6071347 HAS SOUPS 5752295 WITH SCORE 5762975.958
AT ITER 1955 NEW BEST:: SOT 16104701 SOS 10681587 HAS SOPS 6478654 HAS SOUS 6071134 HAS SOUPS 5752082 WITH SCORE 5762763.587
AT ITER 1967 NEW BEST:: SOT 16104566 SOS 10681317 HAS SOPS 6478384 HAS SOUS 6070864 HAS SOUPS 5751812 WITH SCORE 5762493.317
AT ITER 1969 NEW BEST:: SOT 16104522 SOS 10681273 HAS SOPS 6476164 HAS SOUS 6069163 HAS SOUPS 5749592 WITH SCORE 5760273.273
AT ITER 1973 NEW BEST:: SOT 16105332 SOS 10682085 HAS SOPS 6476064 HAS SOUS 6069063 HAS SOUPS 5749492 WITH SCORE 5760174.085
AT ITER 1974 NEW BEST:: SOT 16106792 SOS 10683545 HAS SOPS 6475908 HAS SOUS 6068907 HAS SOUPS 5749336 WITH SCORE 5760019.545
AT ITER 1975 NEW BEST:: SOT 16106577 SOS 10683330 HAS SOPS 6475478 HAS SOUS 6068477 HAS SOUPS 5748906 WITH SCORE 5759589.33
AT ITER 1988 NEW BEST:: SOT 16106273 SOS 10683257 HAS SOPS 6474839 HAS SOUS 6067940 HAS SOUPS 5748267 WITH SCORE 5758950.257
AT ITER 1989 NEW BEST:: SOT 16106496 SOS 10683480 HAS SOPS 6473807 HAS SOUS 6066908 HAS SOUPS 5747235 WITH SCORE 5757918.48
AT ITER 1992 NEW BEST:: SOT 16107514 SOS 10684498 HAS SOPS 6473715 HAS SOUS 6066850 HAS SOUPS 5747143 WITH SCORE 5757827.498
AT ITER 1998 NEW BEST:: SOT 16106470 SOS 10683534 HAS SOPS 6471556 HAS SOUS 6064997 HAS SOUPS 5744984 WITH SCORE 5755667.534
AT ITER 2001 NEW BEST:: SOT 16105845 SOS 10682909 HAS SOPS 6469990 HAS SOUS 6064041 HAS SOUPS 5743418 WITH SCORE 5754100.909
AT ITER 2004 NEW BEST:: SOT 16105683 SOS 10682747 HAS SOPS 6469828 HAS SOUS 6063879 HAS SOUPS 5743256 WITH SCORE 5753938.747
AT ITER 2008 NEW BEST:: SOT 16105331 SOS 10682395 HAS SOPS 6469124 HAS SOUS 6063175 HAS SOUPS 5742552 WITH SCORE 5753234.395
AT ITER 2010 NEW BEST:: SOT 16105053 SOS 10682117 HAS SOPS 6468568 HAS SOUS 6062619 HAS SOUPS 5741996 WITH SCORE 5752678.117
AT ITER 2017 NEW BEST:: SOT 16084558 SOS 10662313 HAS SOPS 6451593 HAS SOUS 6043518 HAS SOUPS 5725021 WITH SCORE 5735683.313
AT ITER 2026 NEW BEST:: SOT 16084558 SOS 10662313 HAS SOPS 6451589 HAS SOUS 6043514 HAS SOUPS 5725017 WITH SCORE 5735679.313
AT ITER 2040 NEW BEST:: SOT 16084547 SOS 10662302 HAS SOPS 6451132 HAS SOUS 6043057 HAS SOUPS 5724560 WITH SCORE 5735222.302
AT ITER 2049 NEW BEST:: SOT 16084547 SOS 10662302 HAS SOPS 6449963 HAS SOUS 6041947 HAS SOUPS 5723391 WITH SCORE 5734053.302
AT ITER 2059 NEW BEST:: SOT 16084484 SOS 10662239 HAS SOPS 6449304 HAS SOUS 6041288 HAS SOUPS 5722732 WITH SCORE 5733394.239
AT ITER 2062 NEW BEST:: SOT 16085536 SOS 10721827 HAS SOPS 6449166 HAS SOUS 6043664 HAS SOUPS 5722594 WITH SCORE 5733315.827
AT ITER 2069 NEW BEST:: SOT 16085664 SOS 10721955 HAS SOPS 6449001 HAS SOUS 6043499 HAS SOUPS 5722429 WITH SCORE 5733150.955
AT ITER 2072 NEW BEST:: SOT 16085904 SOS 10722729 HAS SOPS 6448432 HAS SOUS 6043612 HAS SOUPS 5721860 WITH SCORE 5732582.729
AT ITER 2076 NEW BEST:: SOT 16087023 SOS 10723848 HAS SOPS 6448415 HAS SOUS 6043833 HAS SOUPS 5721843 WITH SCORE 5732566.848
AT ITER 2077 NEW BEST:: SOT 16085973 SOS 10722798 HAS SOPS 6446315 HAS SOUS 6041867 HAS SOUPS 5719743 WITH SCORE 5730465.798
AT ITER 2079 NEW BEST:: SOT 16085986 SOS 10723347 HAS SOPS 6445680 HAS SOUS 6041300 HAS SOUPS 5719108 WITH SCORE 5729831.347
AT ITER 2080 NEW BEST:: SOT 16086042 SOS 10723403 HAS SOPS 6445515 HAS SOUS 6041135 HAS SOUPS 5718943 WITH SCORE 5729666.403
AT ITER 2081 NEW BEST:: SOT 16085867 SOS 10716753 HAS SOPS 6439040 HAS SOUS 6040785 HAS SOUPS 5718593 WITH SCORE 5729309.753
AT ITER 2086 NEW BEST:: SOT 16085331 SOS 10716217 HAS SOPS 6437788 HAS SOUS 6039533 HAS SOUPS 5717341 WITH SCORE 5728057.217
AT ITER 2089 NEW BEST:: SOT 16085415 SOS 10716301 HAS SOPS 6437498 HAS SOUS 6039243 HAS SOUPS 5717051 WITH SCORE 5727767.301
AT ITER 2096 NEW BEST:: SOT 16085368 SOS 10716254 HAS SOPS 6437404 HAS SOUS 6039149 HAS SOUPS 5716957 WITH SCORE 5727673.254
AT ITER 2106 NEW BEST:: SOT 16085432 SOS 10737378 HAS SOPS 6436539 HAS SOUS 6038807 HAS SOUPS 5716092 WITH SCORE 5726829.378
AT ITER 2108 NEW BEST:: SOT 16084837 SOS 10736829 HAS SOPS 6434714 HAS SOUS 6037100 HAS SOUPS 5714267 WITH SCORE 5725003.829
AT ITER 2109 NEW BEST:: SOT 16085249 SOS 10737241 HAS SOPS 6434307 HAS SOUS 6036693 HAS SOUPS 5713860 WITH SCORE 5724597.241
AT ITER 2116 NEW BEST:: SOT 16085257 SOS 10737249 HAS SOPS 6434276 HAS SOUS 6036662 HAS SOUPS 5713829 WITH SCORE 5724566.249
AT ITER 2118 NEW BEST:: SOT 16084943 SOS 10737336 HAS SOPS 6432743 HAS SOUS 6035129 HAS SOUPS 5712296 WITH SCORE 5723033.336
AT ITER 2120 NEW BEST:: SOT 16084943 SOS 10737336 HAS SOPS 6431237 HAS SOUS 6033623 HAS SOUPS 5710790 WITH SCORE 5721527.336
AT ITER 2133 NEW BEST:: SOT 16085919 SOS 10738312 HAS SOPS 6430159 HAS SOUS 6032545 HAS SOUPS 5709712 WITH SCORE 5720450.312
AT ITER 2144 NEW BEST:: SOT 16085887 SOS 10738280 HAS SOPS 6430095 HAS SOUS 6032481 HAS SOUPS 5709648 WITH SCORE 5720386.28
AT ITER 2146 NEW BEST:: SOT 16085887 SOS 10738280 HAS SOPS 6429549 HAS SOUS 6031935 HAS SOUPS 5709102 WITH SCORE 5719840.28
AT ITER 2164 NEW BEST:: SOT 16085887 SOS 10738280 HAS SOPS 6429548 HAS SOUS 6031934 HAS SOUPS 5709101 WITH SCORE 5719839.28
AT ITER 2170 NEW BEST:: SOT 16086287 SOS 10738680 HAS SOPS 6429357 HAS SOUS 6031743 HAS SOUPS 5708910 WITH SCORE 5719648.68
AT ITER 2172 NEW BEST:: SOT 16086586 SOS 10738979 HAS SOPS 6429190 HAS SOUS 6031909 HAS SOUPS 5708743 WITH SCORE 5719481.979
AT ITER 2176 NEW BEST:: SOT 16086945 SOS 10739892 HAS SOPS 6429053 HAS SOUS 6032107 HAS SOUPS 5708606 WITH SCORE 5719345.892
AT ITER 2177 NEW BEST:: SOT 16087465 SOS 10740412 HAS SOPS 6428454 HAS SOUS 6031601 HAS SOUPS 5708007 WITH SCORE 5718747.412
AT ITER 2194 NEW BEST:: SOT 16087483 SOS 10740430 HAS SOPS 6427980 HAS SOUS 6031127 HAS SOUPS 5707533 WITH SCORE 5718273.43
AT ITER 2195 NEW BEST:: SOT 16088083 SOS 10741030 HAS SOPS 6427755 HAS SOUS 6031208 HAS SOUPS 5707308 WITH SCORE 5718049.03
AT ITER 2199 NEW BEST:: SOT 16087967 SOS 10740914 HAS SOPS 6427389 HAS SOUS 6030842 HAS SOUPS 5706942 WITH SCORE 5717682.914
AT ITER 2200 NEW BEST:: SOT 16088490 SOS 10830346 HAS SOPS 6425800 HAS SOUS 6031567 HAS SOUPS 5705353 WITH SCORE 5716183.346
AT ITER 2202 NEW BEST:: SOT 16088472 SOS 10830328 HAS SOPS 6425188 HAS SOUS 6031036 HAS SOUPS 5704741 WITH SCORE 5715571.328
AT ITER 2204 NEW BEST:: SOT 16088141 SOS 10830543 HAS SOPS 6423788 HAS SOUS 6029636 HAS SOUPS 5703341 WITH SCORE 5714171.543
AT ITER 2206 NEW BEST:: SOT 16101049 SOS 10804983 HAS SOPS 6371271 HAS SOUS 6013676 HAS SOUPS 5687111 WITH SCORE 5697915.983
AT ITER 2207 NEW BEST:: SOT 16101391 SOS 10805325 HAS SOPS 6369633 HAS SOUS 6012264 HAS SOUPS 5685473 WITH SCORE 5696278.325
AT ITER 2221 NEW BEST:: SOT 16101159 SOS 10804862 HAS SOPS 6369200 HAS SOUS 6011831 HAS SOUPS 5685040 WITH SCORE 5695844.862
AT ITER 2225 NEW BEST:: SOT 16101431 SOS 10805134 HAS SOPS 6368668 HAS SOUS 6011404 HAS SOUPS 5684508 WITH SCORE 5695313.134
AT ITER 2231 NEW BEST:: SOT 16101431 SOS 10805134 HAS SOPS 6368667 HAS SOUS 6011403 HAS SOUPS 5684507 WITH SCORE 5695312.134
AT ITER 2233 NEW BEST:: SOT 16101982 SOS 10805685 HAS SOPS 6368633 HAS SOUS 6011469 HAS SOUPS 5684473 WITH SCORE 5695278.685
AT ITER 2247 NEW BEST:: SOT 16101346 SOS 10805242 HAS SOPS 6366767 HAS SOUS 6009644 HAS SOUPS 5682607 WITH SCORE 5693412.242
AT ITER 2248 NEW BEST:: SOT 16101346 SOS 10805242 HAS SOPS 6366555 HAS SOUS 6009432 HAS SOUPS 5682395 WITH SCORE 5693200.242
AT ITER 2249 NEW BEST:: SOT 16101713 SOS 10805609 HAS SOPS 6366020 HAS SOUS 6009264 HAS SOUPS 5681860 WITH SCORE 5692665.609
AT ITER 2273 NEW BEST:: SOT 16101621 SOS 10805517 HAS SOPS 6365928 HAS SOUS 6009172 HAS SOUPS 5681768 WITH SCORE 5692573.517
AT ITER 2277 NEW BEST:: SOT 16101621 SOS 10805517 HAS SOPS 6365770 HAS SOUS 6009014 HAS SOUPS 5681610 WITH SCORE 5692415.517
AT ITER 2284 NEW BEST:: SOT 16102719 SOS 10844813 HAS SOPS 6365368 HAS SOUS 6010063 HAS SOUPS 5681208 WITH SCORE 5692052.813
AT ITER 2292 NEW BEST:: SOT 16102719 SOS 10844813 HAS SOPS 6364944 HAS SOUS 6009639 HAS SOUPS 5680784 WITH SCORE 5691628.813
AT ITER 2296 NEW BEST:: SOT 16102070 SOS 10844164 HAS SOPS 6363646 HAS SOUS 6008922 HAS SOUPS 5679486 WITH SCORE 5690330.164
AT ITER 2303 NEW BEST:: SOT 16101577 SOS 10843671 HAS SOPS 6362904 HAS SOUS 6008099 HAS SOUPS 5678744 WITH SCORE 5689587.671
AT ITER 2319 NEW BEST:: SOT 16102466 SOS 10844560 HAS SOPS 6362713 HAS SOUS 6007908 HAS SOUPS 5678553 WITH SCORE 5689397.56
AT ITER 2320 NEW BEST:: SOT 16102466 SOS 10890329 HAS SOPS 6360294 HAS SOUS 6006184 HAS SOUPS 5675547 WITH SCORE 5686437.329
AT ITER 2322 NEW BEST:: SOT 16102466 SOS 10890329 HAS SOPS 6359869 HAS SOUS 6005759 HAS SOUPS 5675122 WITH SCORE 5686012.329
AT ITER 2332 NEW BEST:: SOT 16102485 SOS 10890438 HAS SOPS 6359136 HAS SOUS 6005026 HAS SOUPS 5674389 WITH SCORE 5685279.438
AT ITER 2340 NEW BEST:: SOT 16101899 SOS 10889852 HAS SOPS 6358816 HAS SOUS 6004439 HAS SOUPS 5674069 WITH SCORE 5684958.852
AT ITER 2347 NEW BEST:: SOT 16102485 SOS 10890438 HAS SOPS 6358516 HAS SOUS 6004139 HAS SOUPS 5673769 WITH SCORE 5684659.438
AT ITER 2348 NEW BEST:: SOT 16102485 SOS 10890438 HAS SOPS 6358322 HAS SOUS 6003945 HAS SOUPS 5673575 WITH SCORE 5684465.438
AT ITER 2364 NEW BEST:: SOT 16102191 SOS 10890474 HAS SOPS 6356780 HAS SOUS 6002403 HAS SOUPS 5672033 WITH SCORE 5682923.474
AT ITER 2367 NEW BEST:: SOT 16102050 SOS 10890387 HAS SOPS 6355383 HAS SOUS 6001006 HAS SOUPS 5670636 WITH SCORE 5681526.387
AT ITER 2368 NEW BEST:: SOT 16102686 SOS 10901823 HAS SOPS 6355228 HAS SOUS 6001838 HAS SOUPS 5670481 WITH SCORE 5681382.823
AT ITER 2372 NEW BEST:: SOT 16105596 SOS 10904846 HAS SOPS 6354123 HAS SOUS 6003875 HAS SOUPS 5669376 WITH SCORE 5680280.846
AT ITER 2378 NEW BEST:: SOT 16104798 SOS 10904048 HAS SOPS 6352411 HAS SOUS 6002265 HAS SOUPS 5667664 WITH SCORE 5678568.048
AT ITER 2382 NEW BEST:: SOT 16104819 SOS 10904069 HAS SOPS 6352268 HAS SOUS 6002122 HAS SOUPS 5667521 WITH SCORE 5678425.069
AT ITER 2385 NEW BEST:: SOT 16105657 SOS 10904907 HAS SOPS 6351926 HAS SOUS 6002229 HAS SOUPS 5667179 WITH SCORE 5678083.907
AT ITER 2387 NEW BEST:: SOT 16106797 SOS 10902492 HAS SOPS 6354208 HAS SOUS 6001588 HAS SOUPS 5666919 WITH SCORE 5677821.492
AT ITER 2391 NEW BEST:: SOT 16106506 SOS 10902201 HAS SOPS 6352903 HAS SOUS 6001613 HAS SOUPS 5665614 WITH SCORE 5676516.201
AT ITER 2392 NEW BEST:: SOT 16106338 SOS 10902033 HAS SOPS 6352567 HAS SOUS 6001379 HAS SOUPS 5665278 WITH SCORE 5676180.033
AT ITER 2395 NEW BEST:: SOT 16105951 SOS 10901773 HAS SOPS 6350942 HAS SOUS 5999754 HAS SOUPS 5663653 WITH SCORE 5674554.773
AT ITER 2396 NEW BEST:: SOT 16105887 SOS 10901709 HAS SOPS 6350739 HAS SOUS 5999551 HAS SOUPS 5663450 WITH SCORE 5674351.709
AT ITER 2404 NEW BEST:: SOT 16105887 SOS 10901709 HAS SOPS 6349987 HAS SOUS 5998799 HAS SOUPS 5662698 WITH SCORE 5673599.709
AT ITER 2409 NEW BEST:: SOT 16106460 SOS 10902282 HAS SOPS 6349940 HAS SOUS 5998752 HAS SOUPS 5662651 WITH SCORE 5673553.282
AT ITER 2425 NEW BEST:: SOT 16106451 SOS 10902273 HAS SOPS 6349922 HAS SOUS 5998743 HAS SOUPS 5662633 WITH SCORE 5673535.273
AT ITER 2434 NEW BEST:: SOT 16106055 SOS 10901877 HAS SOPS 6348733 HAS SOUS 5997950 HAS SOUPS 5661444 WITH SCORE 5672345.877
AT ITER 2441 NEW BEST:: SOT 16106072 SOS 10902108 HAS SOPS 6348193 HAS SOUS 5997410 HAS SOUPS 5660904 WITH SCORE 5671806.108
AT ITER 2444 NEW BEST:: SOT 16106640 SOS 10902676 HAS SOPS 6346627 HAS SOUS 5995844 HAS SOUPS 5659338 WITH SCORE 5670240.676
AT ITER 2450 NEW BEST:: SOT 16106640 SOS 10902676 HAS SOPS 6346377 HAS SOUS 5995594 HAS SOUPS 5659088 WITH SCORE 5669990.676
AT ITER 2453 NEW BEST:: SOT 16107142 SOS 10903178 HAS SOPS 6345975 HAS SOUS 5995192 HAS SOUPS 5658686 WITH SCORE 5669589.178
AT ITER 2457 NEW BEST:: SOT 16106559 SOS 10881024 HAS SOPS 6324372 HAS SOUS 5993994 HAS SOUPS 5657488 WITH SCORE 5668369.024
AT ITER 2467 NEW BEST:: SOT 16106022 SOS 10880487 HAS SOPS 6323298 HAS SOUS 5993059 HAS SOUPS 5656414 WITH SCORE 5667294.487
AT ITER 2471 NEW BEST:: SOT 16095654 SOS 10870119 HAS SOPS 6310911 HAS SOUS 5980809 HAS SOUPS 5644027 WITH SCORE 5654897.119
AT ITER 2472 NEW BEST:: SOT 16095481 SOS 10870654 HAS SOPS 6309802 HAS SOUS 5979700 HAS SOUPS 5642918 WITH SCORE 5653788.654
AT ITER 2476 NEW BEST:: SOT 16095568 SOS 10870741 HAS SOPS 6309556 HAS SOUS 5979454 HAS SOUPS 5642672 WITH SCORE 5653542.741
AT ITER 2482 NEW BEST:: SOT 16095208 SOS 10870381 HAS SOPS 6309196 HAS SOUS 5979094 HAS SOUPS 5642312 WITH SCORE 5653182.381
AT ITER 2491 NEW BEST:: SOT 16095215 SOS 10870388 HAS SOPS 6308559 HAS SOUS 5978457 HAS SOUPS 5641675 WITH SCORE 5652545.388
AT ITER 2492 NEW BEST:: SOT 16095163 SOS 10845788 HAS SOPS 6272810 HAS SOUS 5966408 HAS SOUPS 5629626 WITH SCORE 5640471.788
AT ITER 2500 NEW BEST:: SOT 16095163 SOS 10845788 HAS SOPS 6271704 HAS SOUS 5965547 HAS SOUPS 5628520 WITH SCORE 5639365.788
AT ITER 2506 NEW BEST:: SOT 16094872 SOS 10845497 HAS SOPS 6270354 HAS SOUS 5964197 HAS SOUPS 5627170 WITH SCORE 5638015.497
AT ITER 2507 NEW BEST:: SOT 16094867 SOS 10845492 HAS SOPS 6270344 HAS SOUS 5964192 HAS SOUPS 5627160 WITH SCORE 5638005.492
AT ITER 2517 NEW BEST:: SOT 16095256 SOS 10846249 HAS SOPS 6270342 HAS SOUS 5964780 HAS SOUPS 5627158 WITH SCORE 5638004.249
AT ITER 2523 NEW BEST:: SOT 16095145 SOS 10846658 HAS SOPS 6270041 HAS SOUS 5964479 HAS SOUPS 5626857 WITH SCORE 5637703.658
AT ITER 2528 NEW BEST:: SOT 16095145 SOS 10846658 HAS SOPS 6270037 HAS SOUS 5964606 HAS SOUPS 5626853 WITH SCORE 5637699.658
AT ITER 2536 NEW BEST:: SOT 16095145 SOS 10846658 HAS SOPS 6269934 HAS SOUS 5964568 HAS SOUPS 5626750 WITH SCORE 5637596.658
AT ITER 2548 NEW BEST:: SOT 16095145 SOS 10846658 HAS SOPS 6269766 HAS SOUS 5964400 HAS SOUPS 5626582 WITH SCORE 5637428.658
AT ITER 2560 NEW BEST:: SOT 16094721 SOS 10846234 HAS SOPS 6268918 HAS SOUS 5964019 HAS SOUPS 5625734 WITH SCORE 5636580.234
AT ITER 2563 NEW BEST:: SOT 16095090 SOS 10846603 HAS SOPS 6268035 HAS SOUS 5963136 HAS SOUPS 5624851 WITH SCORE 5635697.603
AT ITER 2566 NEW BEST:: SOT 16095836 SOS 10847349 HAS SOPS 6267900 HAS SOUS 5963128 HAS SOUPS 5624716 WITH SCORE 5635563.349
AT ITER 2568 NEW BEST:: SOT 16095462 SOS 10846975 HAS SOPS 6267555 HAS SOUS 5962783 HAS SOUPS 5624371 WITH SCORE 5635217.975
AT ITER 2569 NEW BEST:: SOT 16095300 SOS 10846813 HAS SOPS 6267393 HAS SOUS 5962621 HAS SOUPS 5624209 WITH SCORE 5635055.813
AT ITER 2579 NEW BEST:: SOT 16095300 SOS 10846813 HAS SOPS 6267304 HAS SOUS 5962531 HAS SOUPS 5624120 WITH SCORE 5634966.813
AT ITER 2585 NEW BEST:: SOT 16095070 SOS 10846583 HAS SOPS 6266963 HAS SOUS 5962190 HAS SOUPS 5623779 WITH SCORE 5634625.583
AT ITER 2591 NEW BEST:: SOT 16094569 SOS 10846082 HAS SOPS 6265882 HAS SOUS 5961547 HAS SOUPS 5622698 WITH SCORE 5633544.082
AT ITER 2594 NEW BEST:: SOT 16094552 SOS 10860485 HAS SOPS 6264720 HAS SOUS 5961026 HAS SOUPS 5621536 WITH SCORE 5632396.485
AT ITER 2596 NEW BEST:: SOT 16094552 SOS 10860485 HAS SOPS 6263587 HAS SOUS 5959893 HAS SOUPS 5620403 WITH SCORE 5631263.485
AT ITER 2601 NEW BEST:: SOT 16095329 SOS 10861262 HAS SOPS 6263528 HAS SOUS 5960199 HAS SOUPS 5620344 WITH SCORE 5631205.262
AT ITER 2611 NEW BEST:: SOT 16095590 SOS 10861556 HAS SOPS 6263171 HAS SOUS 5959842 HAS SOUPS 5619987 WITH SCORE 5630848.556
AT ITER 2627 NEW BEST:: SOT 16094678 SOS 10873408 HAS SOPS 6261885 HAS SOUS 5959250 HAS SOUPS 5618701 WITH SCORE 5629574.408
AT ITER 2638 NEW BEST:: SOT 16094862 SOS 10873592 HAS SOPS 6261123 HAS SOUS 5958488 HAS SOUPS 5617939 WITH SCORE 5628812.592
AT ITER 2662 NEW BEST:: SOT 16094868 SOS 10873598 HAS SOPS 6261109 HAS SOUS 5958494 HAS SOUPS 5617925 WITH SCORE 5628798.598
AT ITER 2673 NEW BEST:: SOT 16094916 SOS 10872975 HAS SOPS 6261339 HAS SOUS 5957613 HAS SOUPS 5617105 WITH SCORE 5627977.975
AT ITER 2677 NEW BEST:: SOT 16094827 SOS 10872886 HAS SOPS 6261141 HAS SOUS 5957415 HAS SOUPS 5616907 WITH SCORE 5627779.886
AT ITER 2680 NEW BEST:: SOT 16094827 SOS 10872886 HAS SOPS 6261140 HAS SOUS 5957414 HAS SOUPS 5616906 WITH SCORE 5627778.886
AT ITER 2694 NEW BEST:: SOT 16097850 SOS 10875968 HAS SOPS 6260257 HAS SOUS 5956769 HAS SOUPS 5616023 WITH SCORE 5626898.968
AT ITER 2697 NEW BEST:: SOT 16098106 SOS 10876608 HAS SOPS 6259918 HAS SOUS 5956430 HAS SOUPS 5615684 WITH SCORE 5626560.608
AT ITER 2700 NEW BEST:: SOT 16097827 SOS 10876792 HAS SOPS 6259195 HAS SOUS 5955707 HAS SOUPS 5614961 WITH SCORE 5625837.792
AT ITER 2712 NEW BEST:: SOT 16097503 SOS 10876862 HAS SOPS 6257893 HAS SOUS 5954405 HAS SOUPS 5613659 WITH SCORE 5624535.862
AT ITER 2716 NEW BEST:: SOT 16096868 SOS 10876476 HAS SOPS 6256074 HAS SOUS 5953168 HAS SOUPS 5611840 WITH SCORE 5622716.476
AT ITER 2722 NEW BEST:: SOT 16097504 SOS 10877112 HAS SOPS 6255567 HAS SOUS 5952661 HAS SOUPS 5611333 WITH SCORE 5622210.112
AT ITER 2733 NEW BEST:: SOT 16097002 SOS 10876610 HAS SOPS 6254563 HAS SOUS 5951657 HAS SOUPS 5610329 WITH SCORE 5621205.61
AT ITER 2736 NEW BEST:: SOT 16096930 SOS 10876795 HAS SOPS 6254201 HAS SOUS 5951295 HAS SOUPS 5609967 WITH SCORE 5620843.795
AT ITER 2744 NEW BEST:: SOT 16096398 SOS 10876263 HAS SOPS 6253837 HAS SOUS 5950931 HAS SOUPS 5609603 WITH SCORE 5620479.263
AT ITER 2747 NEW BEST:: SOT 16096398 SOS 10876263 HAS SOPS 6253321 HAS SOUS 5950415 HAS SOUPS 5609087 WITH SCORE 5619963.263
AT ITER 2749 NEW BEST:: SOT 16096390 SOS 10876255 HAS SOPS 6253276 HAS SOUS 5950440 HAS SOUPS 5609042 WITH SCORE 5619918.255
AT ITER 2752 NEW BEST:: SOT 16095853 SOS 10876134 HAS SOPS 6251503 HAS SOUS 5948667 HAS SOUPS 5607269 WITH SCORE 5618145.134
AT ITER 2757 NEW BEST:: SOT 16095867 SOS 10875598 HAS SOPS 6251666 HAS SOUS 5947916 HAS SOUPS 5606568 WITH SCORE 5617443.598
AT ITER 2770 NEW BEST:: SOT 16095867 SOS 10875598 HAS SOPS 6251650 HAS SOUS 5947900 HAS SOUPS 5606552 WITH SCORE 5617427.598
AT ITER 2777 NEW BEST:: SOT 16096267 SOS 10876477 HAS SOPS 6251427 HAS SOUS 5947677 HAS SOUPS 5606329 WITH SCORE 5617205.477
AT ITER 2784 NEW BEST:: SOT 16096267 SOS 10876477 HAS SOPS 6251072 HAS SOUS 5947362 HAS SOUPS 5605974 WITH SCORE 5616850.477
AT ITER 2787 NEW BEST:: SOT 16096843 SOS 10877053 HAS SOPS 6249719 HAS SOUS 5946096 HAS SOUPS 5604621 WITH SCORE 5615498.053
AT ITER 2810 NEW BEST:: SOT 16097031 SOS 10877241 HAS SOPS 6249581 HAS SOUS 5945958 HAS SOUPS 5604483 WITH SCORE 5615360.241
AT ITER 2813 NEW BEST:: SOT 16096757 SOS 10876967 HAS SOPS 6249033 HAS SOUS 5945410 HAS SOUPS 5603935 WITH SCORE 5614811.967
AT ITER 2816 NEW BEST:: SOT 16096720 SOS 10876709 HAS SOPS 6248995 HAS SOUS 5945335 HAS SOUPS 5603860 WITH SCORE 5614736.709
AT ITER 2833 NEW BEST:: SOT 16097425 SOS 10877414 HAS SOPS 6248802 HAS SOUS 5945362 HAS SOUPS 5603667 WITH SCORE 5614544.414
AT ITER 2841 NEW BEST:: SOT 16097374 SOS 10877363 HAS SOPS 6248500 HAS SOUS 5945060 HAS SOUPS 5603365 WITH SCORE 5614242.363
AT ITER 2845 NEW BEST:: SOT 16097476 SOS 10877465 HAS SOPS 6247710 HAS SOUS 5944270 HAS SOUPS 5602575 WITH SCORE 5613452.465
AT ITER 2847 NEW BEST:: SOT 16097472 SOS 10877461 HAS SOPS 6246067 HAS SOUS 5943543 HAS SOUPS 5600932 WITH SCORE 5611809.461
AT ITER 2855 NEW BEST:: SOT 16097472 SOS 10877461 HAS SOPS 6244132 HAS SOUS 5941608 HAS SOUPS 5598997 WITH SCORE 5609874.461
AT ITER 2868 NEW BEST:: SOT 16097334 SOS 10877323 HAS SOPS 6243993 HAS SOUS 5941469 HAS SOUPS 5598858 WITH SCORE 5609735.323
AT ITER 2881 NEW BEST:: SOT 16097168 SOS 10877157 HAS SOPS 6242595 HAS SOUS 5940071 HAS SOUPS 5597460 WITH SCORE 5608337.157
AT ITER 2888 NEW BEST:: SOT 16097417 SOS 10877524 HAS SOPS 6242473 HAS SOUS 5939949 HAS SOUPS 5597338 WITH SCORE 5608215.524
AT ITER 2892 NEW BEST:: SOT 16097365 SOS 10877541 HAS SOPS 6241173 HAS SOUS 5938649 HAS SOUPS 5596038 WITH SCORE 5606915.541
AT ITER 2893 NEW BEST:: SOT 16097844 SOS 10878020 HAS SOPS 6240830 HAS SOUS 5938512 HAS SOUPS 5595695 WITH SCORE 5606573.02
AT ITER 2895 NEW BEST:: SOT 16097213 SOS 10854042 HAS SOPS 6217483 HAS SOUS 5937250 HAS SOUPS 5594433 WITH SCORE 5605287.042
AT ITER 2899 NEW BEST:: SOT 16096481 SOS 10853310 HAS SOPS 6215531 HAS SOUS 5935449 HAS SOUPS 5592481 WITH SCORE 5603334.31
AT ITER 2900 NEW BEST:: SOT 16096273 SOS 10853102 HAS SOPS 6215246 HAS SOUS 5935164 HAS SOUPS 5592196 WITH SCORE 5603049.102
AT ITER 2913 NEW BEST:: SOT 16096273 SOS 10853102 HAS SOPS 6214809 HAS SOUS 5934727 HAS SOUPS 5591759 WITH SCORE 5602612.102
AT ITER 2914 NEW BEST:: SOT 16095764 SOS 10849826 HAS SOPS 6210427 HAS SOUS 5931081 HAS SOUPS 5587994 WITH SCORE 5598843.826
AT ITER 2933 NEW BEST:: SOT 16095422 SOS 10849484 HAS SOPS 6209742 HAS SOUS 5930511 HAS SOUPS 5587309 WITH SCORE 5598158.484
AT ITER 2935 NEW BEST:: SOT 16095715 SOS 10849777 HAS SOPS 6209217 HAS SOUS 5930077 HAS SOUPS 5586784 WITH SCORE 5597633.777
AT ITER 2937 NEW BEST:: SOT 16094940 SOS 10849002 HAS SOPS 6209129 HAS SOUS 5929908 HAS SOUPS 5586696 WITH SCORE 5597545.002
AT ITER 2940 NEW BEST:: SOT 16094749 SOS 10848811 HAS SOPS 6208747 HAS SOUS 5928294 HAS SOUPS 5586314 WITH SCORE 5597162.811
AT ITER 2943 NEW BEST:: SOT 16094744 SOS 10848411 HAS SOPS 6208602 HAS SOUS 5928149 HAS SOUPS 5586169 WITH SCORE 5597017.411
AT ITER 2964 NEW BEST:: SOT 16094744 SOS 10848411 HAS SOPS 6208586 HAS SOUS 5928133 HAS SOUPS 5586153 WITH SCORE 5597001.411
AT ITER 2971 NEW BEST:: SOT 16094768 SOS 10848435 HAS SOPS 6207230 HAS SOUS 5927443 HAS SOUPS 5584797 WITH SCORE 5595645.435
AT ITER 2980 NEW BEST:: SOT 16094300 SOS 10847967 HAS SOPS 6207230 HAS SOUS 5927443 HAS SOUPS 5584797 WITH SCORE 5595644.967
AT ITER 2991 NEW BEST:: SOT 16094150 SOS 10847817 HAS SOPS 6207155 HAS SOUS 5927368 HAS SOUPS 5584722 WITH SCORE 5595569.817
AT ITER 2993 NEW BEST:: SOT 16093860 SOS 10847527 HAS SOPS 6206575 HAS SOUS 5926788 HAS SOUPS 5584142 WITH SCORE 5594989.527
AT ITER 2995 NEW BEST:: SOT 16093963 SOS 10847630 HAS SOPS 6206130 HAS SOUS 5926719 HAS SOUPS 5583697 WITH SCORE 5594544.63
AT ITER 2998 NEW BEST:: SOT 16093355 SOS 10847068 HAS SOPS 6204292 HAS SOUS 5924881 HAS SOUPS 5581859 WITH SCORE 5592706.068
AT ITER 3002 NEW BEST:: SOT 16094591 SOS 10848304 HAS SOPS 6203889 HAS SOUS 5924988 HAS SOUPS 5581456 WITH SCORE 5592304.304
AT ITER 3025 NEW BEST:: SOT 16095397 SOS 10849110 HAS SOPS 6203801 HAS SOUS 5924952 HAS SOUPS 5581368 WITH SCORE 5592217.11
AT ITER 3028 NEW BEST:: SOT 16095670 SOS 10849383 HAS SOPS 6203679 HAS SOUS 5924830 HAS SOUPS 5581246 WITH SCORE 5592095.383
AT ITER 3029 NEW BEST:: SOT 16096149 SOS 10851117 HAS SOPS 6203450 HAS SOUS 5924601 HAS SOUPS 5581017 WITH SCORE 5591868.117
AT ITER 3035 NEW BEST:: SOT 16096233 SOS 10851201 HAS SOPS 6202606 HAS SOUS 5924062 HAS SOUPS 5580173 WITH SCORE 5591024.201
AT ITER 3061 NEW BEST:: SOT 16095608 SOS 10581462 HAS SOPS 6205179 HAS SOUS 5877747 HAS SOUPS 5565203 WITH SCORE 5575784.462
AT ITER 3063 NEW BEST:: SOT 16095583 SOS 10581437 HAS SOPS 6205055 HAS SOUS 5877672 HAS SOUPS 5565079 WITH SCORE 5575660.437
AT ITER 3066 NEW BEST:: SOT 16095314 SOS 10580092 HAS SOPS 6203979 HAS SOUS 5877134 HAS SOUPS 5564541 WITH SCORE 5575121.092
AT ITER 3067 NEW BEST:: SOT 16095314 SOS 10580092 HAS SOPS 6203975 HAS SOUS 5877358 HAS SOUPS 5564537 WITH SCORE 5575117.092
AT ITER 3071 NEW BEST:: SOT 16095314 SOS 10580092 HAS SOPS 6203933 HAS SOUS 5877316 HAS SOUPS 5564495 WITH SCORE 5575075.092
AT ITER 3086 NEW BEST:: SOT 16095768 SOS 10580546 HAS SOPS 6203158 HAS SOUS 5876154 HAS SOUPS 5563333 WITH SCORE 5573913.546
AT ITER 3092 NEW BEST:: SOT 16096057 SOS 10580835 HAS SOPS 6201484 HAS SOUS 5874836 HAS SOUPS 5562015 WITH SCORE 5572595.835
AT ITER 3107 NEW BEST:: SOT 16099031 SOS 10578775 HAS SOPS 6206593 HAS SOUS 5873247 HAS SOUPS 5560961 WITH SCORE 5571539.775
AT ITER 3116 NEW BEST:: SOT 16098792 SOS 10578536 HAS SOPS 6206115 HAS SOUS 5872769 HAS SOUPS 5560483 WITH SCORE 5571061.536
AT ITER 3125 NEW BEST:: SOT 16098908 SOS 10578652 HAS SOPS 6206058 HAS SOUS 5872712 HAS SOUPS 5560426 WITH SCORE 5571004.652
AT ITER 3128 NEW BEST:: SOT 16099530 SOS 10579274 HAS SOPS 6205912 HAS SOUS 5872566 HAS SOUPS 5560280 WITH SCORE 5570859.274
AT ITER 3152 NEW BEST:: SOT 16098817 SOS 10637560 HAS SOPS 6204420 HAS SOUS 5872253 HAS SOUPS 5558788 WITH SCORE 5569425.56
AT ITER 3155 NEW BEST:: SOT 16098887 SOS 10637630 HAS SOPS 6203711 HAS SOUS 5871545 HAS SOUPS 5558080 WITH SCORE 5568717.63
AT ITER 3157 NEW BEST:: SOT 16098486 SOS 10637424 HAS SOPS 6202066 HAS SOUS 5869901 HAS SOUPS 5556436 WITH SCORE 5567073.424
AT ITER 3177 NEW BEST:: SOT 16098428 SOS 10637366 HAS SOPS 6202008 HAS SOUS 5869843 HAS SOUPS 5556378 WITH SCORE 5567015.366
AT ITER 3182 NEW BEST:: SOT 16099073 SOS 10638662 HAS SOPS 6202002 HAS SOUS 5869838 HAS SOUPS 5556373 WITH SCORE 5567011.662
AT ITER 3186 NEW BEST:: SOT 16099073 SOS 10638662 HAS SOPS 6202001 HAS SOUS 5869644 HAS SOUPS 5556179 WITH SCORE 5566817.662
AT ITER 3190 NEW BEST:: SOT 16099606 SOS 10639195 HAS SOPS 6201784 HAS SOUS 5869428 HAS SOUPS 5555963 WITH SCORE 5566602.195
AT ITER 3193 NEW BEST:: SOT 16099043 SOS 10638603 HAS SOPS 6201459 HAS SOUS 5869103 HAS SOUPS 5555639 WITH SCORE 5566277.603
AT ITER 3203 NEW BEST:: SOT 16099212 SOS 10639117 HAS SOPS 6200985 HAS SOUS 5868630 HAS SOUPS 5555166 WITH SCORE 5565805.117
AT ITER 3208 NEW BEST:: SOT 16098970 SOS 10638875 HAS SOPS 6200985 HAS SOUS 5868628 HAS SOUPS 5555166 WITH SCORE 5565804.875
AT ITER 3216 NEW BEST:: SOT 16098744 SOS 10637979 HAS SOPS 6200151 HAS SOUS 5867794 HAS SOUPS 5554332 WITH SCORE 5564969.979
AT ITER 3227 NEW BEST:: SOT 16098568 SOS 10637803 HAS SOPS 6200420 HAS SOUS 5867706 HAS SOUPS 5554244 WITH SCORE 5564881.803
AT ITER 3231 NEW BEST:: SOT 16098300 SOS 10637535 HAS SOPS 6199884 HAS SOUS 5867397 HAS SOUPS 5553708 WITH SCORE 5564345.535
AT ITER 3232 NEW BEST:: SOT 16098084 SOS 10637319 HAS SOPS 6199452 HAS SOUS 5866965 HAS SOUPS 5553276 WITH SCORE 5563913.319
AT ITER 3237 NEW BEST:: SOT 16098084 SOS 10637319 HAS SOPS 6199097 HAS SOUS 5866610 HAS SOUPS 5552921 WITH SCORE 5563558.319
AT ITER 3243 NEW BEST:: SOT 16097968 SOS 10637203 HAS SOPS 6199090 HAS SOUS 5866603 HAS SOUPS 5552914 WITH SCORE 5563551.203
AT ITER 3244 NEW BEST:: SOT 16097569 SOS 10636804 HAS SOPS 6198687 HAS SOUS 5866200 HAS SOUPS 5552511 WITH SCORE 5563147.804
AT ITER 3246 NEW BEST:: SOT 16097979 SOS 10637214 HAS SOPS 6198660 HAS SOUS 5866173 HAS SOUPS 5552484 WITH SCORE 5563121.214
AT ITER 3247 NEW BEST:: SOT 16097660 SOS 10636895 HAS SOPS 6198340 HAS SOUS 5865730 HAS SOUPS 5552041 WITH SCORE 5562677.895
AT ITER 3252 NEW BEST:: SOT 16098003 SOS 10637414 HAS SOPS 6198264 HAS SOUS 5865654 HAS SOUPS 5551965 WITH SCORE 5562602.414
AT ITER 3253 NEW BEST:: SOT 16097997 SOS 10637846 HAS SOPS 6197130 HAS SOUS 5864521 HAS SOUPS 5550832 WITH SCORE 5561469.846
AT ITER 3255 NEW BEST:: SOT 16098462 SOS 10638775 HAS SOPS 6196347 HAS SOUS 5864237 HAS SOUPS 5550548 WITH SCORE 5561186.775
AT ITER 3257 NEW BEST:: SOT 16098423 SOS 10638928 HAS SOPS 6196076 HAS SOUS 5864198 HAS SOUPS 5550277 WITH SCORE 5560915.928
AT ITER 3266 NEW BEST:: SOT 16098111 SOS 10638327 HAS SOPS 6195764 HAS SOUS 5863886 HAS SOUPS 5549965 WITH SCORE 5560603.327
AT ITER 3279 NEW BEST:: SOT 16098102 SOS 10725192 HAS SOPS 6194676 HAS SOUS 5865159 HAS SOUPS 5548877 WITH SCORE 5559602.192
AT ITER 3286 NEW BEST:: SOT 16098102 SOS 10725192 HAS SOPS 6194611 HAS SOUS 5865094 HAS SOUPS 5548812 WITH SCORE 5559537.192
AT ITER 3288 NEW BEST:: SOT 16098003 SOS 10725093 HAS SOPS 6193672 HAS SOUS 5864156 HAS SOUPS 5547874 WITH SCORE 5558599.093
AT ITER 3292 NEW BEST:: SOT 16098316 SOS 10725469 HAS SOPS 6193659 HAS SOUS 5864143 HAS SOUPS 5547861 WITH SCORE 5558586.469
AT ITER 3303 NEW BEST:: SOT 16098900 SOS 10726053 HAS SOPS 6193106 HAS SOUS 5863590 HAS SOUPS 5547308 WITH SCORE 5558034.053
AT ITER 3305 NEW BEST:: SOT 16099338 SOS 10726491 HAS SOPS 6192946 HAS SOUS 5863461 HAS SOUPS 5547148 WITH SCORE 5557874.491
AT ITER 3306 NEW BEST:: SOT 16099872 SOS 10727025 HAS SOPS 6192361 HAS SOUS 5862370 HAS SOUPS 5546057 WITH SCORE 5556784.025
AT ITER 3320 NEW BEST:: SOT 16099872 SOS 10727025 HAS SOPS 6192331 HAS SOUS 5862340 HAS SOUPS 5546027 WITH SCORE 5556754.025
AT ITER 3350 NEW BEST:: SOT 16099817 SOS 10726970 HAS SOPS 6190887 HAS SOUS 5860991 HAS SOUPS 5544678 WITH SCORE 5555404.97
AT ITER 3355 NEW BEST:: SOT 16099817 SOS 10726970 HAS SOPS 6190515 HAS SOUS 5860632 HAS SOUPS 5544306 WITH SCORE 5555032.97
AT ITER 3356 NEW BEST:: SOT 16099752 SOS 10726905 HAS SOPS 6190279 HAS SOUS 5860396 HAS SOUPS 5544070 WITH SCORE 5554796.905
AT ITER 3357 NEW BEST:: SOT 16099752 SOS 10726905 HAS SOPS 6189975 HAS SOUS 5860193 HAS SOUPS 5543766 WITH SCORE 5554492.905
AT ITER 3359 NEW BEST:: SOT 16099487 SOS 10726640 HAS SOPS 6188455 HAS SOUS 5859317 HAS SOUPS 5542246 WITH SCORE 5552972.64
AT ITER 3363 NEW BEST:: SOT 16099487 SOS 10726640 HAS SOPS 6188454 HAS SOUS 5859316 HAS SOUPS 5542245 WITH SCORE 5552971.64
AT ITER 3364 NEW BEST:: SOT 16099445 SOS 10726598 HAS SOPS 6188370 HAS SOUS 5859232 HAS SOUPS 5542161 WITH SCORE 5552887.598
AT ITER 3373 NEW BEST:: SOT 16099632 SOS 10727396 HAS SOPS 6188263 HAS SOUS 5859125 HAS SOUPS 5542054 WITH SCORE 5552781.396
AT ITER 3374 NEW BEST:: SOT 16099632 SOS 10727396 HAS SOPS 6188244 HAS SOUS 5859106 HAS SOUPS 5542035 WITH SCORE 5552762.396
AT ITER 3388 NEW BEST:: SOT 16099632 SOS 10727666 HAS SOPS 6188240 HAS SOUS 5859102 HAS SOUPS 5542031 WITH SCORE 5552758.666
AT ITER 3393 NEW BEST:: SOT 16100172 SOS 10728206 HAS SOPS 6187713 HAS SOUS 5858028 HAS SOUPS 5540957 WITH SCORE 5551685.206
AT ITER 3394 NEW BEST:: SOT 16099743 SOS 10727777 HAS SOPS 6186945 HAS SOUS 5857260 HAS SOUPS 5540189 WITH SCORE 5550916.777
AT ITER 3399 NEW BEST:: SOT 16121318 SOS 10723147 HAS SOPS 6154237 HAS SOUS 5848907 HAS SOUPS 5530798 WITH SCORE 5541521.147
AT ITER 3407 NEW BEST:: SOT 16121019 SOS 10722549 HAS SOPS 6153938 HAS SOUS 5848608 HAS SOUPS 5530499 WITH SCORE 5541221.549
AT ITER 3408 NEW BEST:: SOT 16120916 SOS 10722446 HAS SOPS 6153704 HAS SOUS 5848374 HAS SOUPS 5530265 WITH SCORE 5540987.446
AT ITER 3417 NEW BEST:: SOT 16120757 SOS 10722287 HAS SOPS 6153386 HAS SOUS 5848056 HAS SOUPS 5529947 WITH SCORE 5540669.287
AT ITER 3425 NEW BEST:: SOT 16122078 SOS 10723608 HAS SOPS 6153707 HAS SOUS 5847845 HAS SOUPS 5529736 WITH SCORE 5540459.608
AT ITER 3430 NEW BEST:: SOT 16122078 SOS 10723608 HAS SOPS 6153684 HAS SOUS 5847819 HAS SOUPS 5529710 WITH SCORE 5540433.608
AT ITER 3431 NEW BEST:: SOT 16122078 SOS 10723608 HAS SOPS 6153474 HAS SOUS 5847609 HAS SOUPS 5529500 WITH SCORE 5540223.608
AT ITER 3435 NEW BEST:: SOT 16121937 SOS 10723467 HAS SOPS 6153192 HAS SOUS 5847468 HAS SOUPS 5529218 WITH SCORE 5539941.467
AT ITER 3438 NEW BEST:: SOT 16121997 SOS 10729047 HAS SOPS 6152925 HAS SOUS 5847526 HAS SOUPS 5528951 WITH SCORE 5539680.047
AT ITER 3439 NEW BEST:: SOT 16121898 SOS 10728948 HAS SOPS 6152826 HAS SOUS 5847328 HAS SOUPS 5528852 WITH SCORE 5539580.948
AT ITER 3448 NEW BEST:: SOT 16121846 SOS 10746222 HAS SOPS 6152458 HAS SOUS 5847276 HAS SOUPS 5528484 WITH SCORE 5539230.222
AT ITER 3449 NEW BEST:: SOT 16121792 SOS 10746168 HAS SOPS 6152350 HAS SOUS 5847188 HAS SOUPS 5528376 WITH SCORE 5539122.168
AT ITER 3458 NEW BEST:: SOT 16121760 SOS 10746136 HAS SOPS 6151959 HAS SOUS 5846797 HAS SOUPS 5527985 WITH SCORE 5538731.136
AT ITER 3464 NEW BEST:: SOT 16122905 SOS 10779070 HAS SOPS 6150793 HAS SOUS 5846175 HAS SOUPS 5526819 WITH SCORE 5537598.07
AT ITER 3470 NEW BEST:: SOT 16122905 SOS 10779070 HAS SOPS 6150633 HAS SOUS 5846305 HAS SOUPS 5526659 WITH SCORE 5537438.07
AT ITER 3475 NEW BEST:: SOT 16122789 SOS 10778954 HAS SOPS 6150401 HAS SOUS 5846073 HAS SOUPS 5526427 WITH SCORE 5537205.954
AT ITER 3477 NEW BEST:: SOT 16122663 SOS 10789088 HAS SOPS 6150085 HAS SOUS 5845947 HAS SOUPS 5526111 WITH SCORE 5536900.088
AT ITER 3492 NEW BEST:: SOT 16123354 SOS 10789779 HAS SOPS 6149087 HAS SOUS 5844965 HAS SOUPS 5525129 WITH SCORE 5535918.779
AT ITER 3500 NEW BEST:: SOT 16125108 SOS 10787040 HAS SOPS 6150888 HAS SOUS 5840753 HAS SOUPS 5521330 WITH SCORE 5532117.04
AT ITER 3501 NEW BEST:: SOT 16124831 SOS 10786763 HAS SOPS 6150026 HAS SOUS 5839891 HAS SOUPS 5520468 WITH SCORE 5531254.763
AT ITER 3503 NEW BEST:: SOT 16124526 SOS 10786458 HAS SOPS 6149721 HAS SOUS 5839586 HAS SOUPS 5520163 WITH SCORE 5530949.458
AT ITER 3508 NEW BEST:: SOT 16124883 SOS 10786815 HAS SOPS 6149558 HAS SOUS 5839423 HAS SOUPS 5520000 WITH SCORE 5530786.815
AT ITER 3526 NEW BEST:: SOT 16124883 SOS 10786815 HAS SOPS 6149304 HAS SOUS 5839169 HAS SOUPS 5519746 WITH SCORE 5530532.815
AT ITER 3545 NEW BEST:: SOT 16112656 SOS 10774588 HAS SOPS 6137077 HAS SOUS 5826942 HAS SOUPS 5507519 WITH SCORE 5518293.588
AT ITER 3556 NEW BEST:: SOT 16112341 SOS 10774273 HAS SOPS 6137077 HAS SOUS 5826627 HAS SOUPS 5507519 WITH SCORE 5518293.273
AT ITER 3559 NEW BEST:: SOT 16112350 SOS 10774282 HAS SOPS 6137074 HAS SOUS 5826624 HAS SOUPS 5507516 WITH SCORE 5518290.282
AT ITER 3568 NEW BEST:: SOT 16112731 SOS 10774663 HAS SOPS 6136274 HAS SOUS 5825366 HAS SOUPS 5506258 WITH SCORE 5517032.663
AT ITER 3576 NEW BEST:: SOT 16113371 SOS 10775303 HAS SOPS 6135785 HAS SOUS 5824878 HAS SOUPS 5505770 WITH SCORE 5516545.303
AT ITER 3583 NEW BEST:: SOT 16113115 SOS 10775047 HAS SOPS 6135273 HAS SOUS 5824366 HAS SOUPS 5505258 WITH SCORE 5516033.047
AT ITER 3590 NEW BEST:: SOT 16113887 SOS 10775819 HAS SOPS 6134360 HAS SOUS 5824570 HAS SOUPS 5504345 WITH SCORE 5515120.819
AT ITER 3613 NEW BEST:: SOT 16112484 SOS 10774416 HAS SOPS 6129116 HAS SOUS 5820018 HAS SOUPS 5499101 WITH SCORE 5509875.416
AT ITER 3617 NEW BEST:: SOT 16112051 SOS 10773983 HAS SOPS 6128250 HAS SOUS 5819152 HAS SOUPS 5498235 WITH SCORE 5509008.983
AT ITER 3631 NEW BEST:: SOT 16112056 SOS 10774309 HAS SOPS 6127521 HAS SOUS 5818424 HAS SOUPS 5497507 WITH SCORE 5508281.309
AT ITER 3641 NEW BEST:: SOT 16125608 SOS 10747466 HAS SOPS 6064150 HAS SOUS 5794037 HAS SOUPS 5471324 WITH SCORE 5482071.466
AT ITER 3646 NEW BEST:: SOT 16126007 SOS 10747865 HAS SOPS 6062804 HAS SOUS 5792693 HAS SOUPS 5469980 WITH SCORE 5480727.865
AT ITER 3653 NEW BEST:: SOT 16125649 SOS 10747507 HAS SOPS 6061729 HAS SOUS 5791618 HAS SOUPS 5468905 WITH SCORE 5479652.507
AT ITER 3664 NEW BEST:: SOT 16125649 SOS 10747507 HAS SOPS 6060869 HAS SOUS 5790829 HAS SOUPS 5468045 WITH SCORE 5478792.507
AT ITER 3669 NEW BEST:: SOT 16126511 SOS 10748369 HAS SOPS 6060585 HAS SOUS 5790707 HAS SOUPS 5467761 WITH SCORE 5478509.369
AT ITER 3677 NEW BEST:: SOT 16126120 SOS 10747904 HAS SOPS 6060281 HAS SOUS 5789874 HAS SOUPS 5467457 WITH SCORE 5478204.904
AT ITER 3678 NEW BEST:: SOT 16126120 SOS 10747904 HAS SOPS 6060145 HAS SOUS 5789738 HAS SOUPS 5467321 WITH SCORE 5478068.904
AT ITER 3681 NEW BEST:: SOT 16125841 SOS 10747799 HAS SOPS 6058730 HAS SOUS 5788554 HAS SOUPS 5466137 WITH SCORE 5476884.799
AT ITER 3685 NEW BEST:: SOT 16125323 SOS 10747856 HAS SOPS 6057503 HAS SOUS 5787428 HAS SOUPS 5464910 WITH SCORE 5475657.856
AT ITER 3701 NEW BEST:: SOT 16125119 SOS 10747652 HAS SOPS 6057095 HAS SOUS 5787020 HAS SOUPS 5464502 WITH SCORE 5475249.652
AT ITER 3711 NEW BEST:: SOT 16124976 SOS 10747509 HAS SOPS 6056286 HAS SOUS 5786372 HAS SOUPS 5463693 WITH SCORE 5474440.509
AT ITER 3722 NEW BEST:: SOT 16124939 SOS 10748627 HAS SOPS 6056249 HAS SOUS 5786356 HAS SOUPS 5463656 WITH SCORE 5474404.627
AT ITER 3729 NEW BEST:: SOT 16124506 SOS 10748194 HAS SOPS 6055383 HAS SOUS 5785889 HAS SOUPS 5462790 WITH SCORE 5473538.194
AT ITER 3732 NEW BEST:: SOT 16123827 SOS 10747078 HAS SOPS 6054337 HAS SOUS 5784981 HAS SOUPS 5461744 WITH SCORE 5472491.078
AT ITER 3735 NEW BEST:: SOT 16123671 SOS 10747076 HAS SOPS 6053875 HAS SOUS 5784519 HAS SOUPS 5461282 WITH SCORE 5472029.076
AT ITER 3737 NEW BEST:: SOT 16123635 SOS 10747040 HAS SOPS 6053875 HAS SOUS 5784519 HAS SOUPS 5461282 WITH SCORE 5472029.04
AT ITER 3742 NEW BEST:: SOT 16123635 SOS 10747040 HAS SOPS 6053904 HAS SOUS 5784518 HAS SOUPS 5461281 WITH SCORE 5472028.04
AT ITER 3743 NEW BEST:: SOT 16123635 SOS 10747040 HAS SOPS 6053851 HAS SOUS 5784465 HAS SOUPS 5461228 WITH SCORE 5471975.04
AT ITER 3749 NEW BEST:: SOT 16123986 SOS 10747391 HAS SOPS 6053792 HAS SOUS 5784816 HAS SOUPS 5461169 WITH SCORE 5471916.391
AT ITER 3772 NEW BEST:: SOT 16124288 SOS 10747693 HAS SOPS 6053702 HAS SOUS 5784726 HAS SOUPS 5461079 WITH SCORE 5471826.693
AT ITER 3775 NEW BEST:: SOT 16124726 SOS 10748568 HAS SOPS 6053609 HAS SOUS 5784634 HAS SOUPS 5460987 WITH SCORE 5471735.568
AT ITER 3777 NEW BEST:: SOT 16124842 SOS 10748871 HAS SOPS 6052761 HAS SOUS 5783787 HAS SOUPS 5460140 WITH SCORE 5470888.871
AT ITER 3778 NEW BEST:: SOT 16124790 SOS 10748819 HAS SOPS 6052709 HAS SOUS 5783735 HAS SOUPS 5460088 WITH SCORE 5470836.819
AT ITER 3782 NEW BEST:: SOT 16124261 SOS 10748281 HAS SOPS 6051904 HAS SOUS 5782930 HAS SOUPS 5459283 WITH SCORE 5470031.281
AT ITER 3783 NEW BEST:: SOT 16123867 SOS 10747887 HAS SOPS 6050998 HAS SOUS 5782140 HAS SOUPS 5458377 WITH SCORE 5469124.887
AT ITER 3791 NEW BEST:: SOT 16123504 SOS 10734093 HAS SOPS 6037567 HAS SOUS 5781414 HAS SOUPS 5457651 WITH SCORE 5468385.093
AT ITER 3800 NEW BEST:: SOT 16123420 SOS 10734009 HAS SOPS 6037194 HAS SOUS 5781041 HAS SOUPS 5457278 WITH SCORE 5468012.009
AT ITER 3801 NEW BEST:: SOT 16123420 SOS 10734009 HAS SOPS 6036912 HAS SOUS 5780761 HAS SOUPS 5456998 WITH SCORE 5467732.009
AT ITER 3806 NEW BEST:: SOT 16122830 SOS 10733419 HAS SOPS 6035732 HAS SOUS 5779286 HAS SOUPS 5455818 WITH SCORE 5466551.419
AT ITER 3815 NEW BEST:: SOT 16122850 SOS 10733439 HAS SOPS 6035565 HAS SOUS 5779177 HAS SOUPS 5455651 WITH SCORE 5466384.439
AT ITER 3819 NEW BEST:: SOT 16122264 SOS 10732853 HAS SOPS 6034979 HAS SOUS 5778591 HAS SOUPS 5455065 WITH SCORE 5465797.853
AT ITER 3827 NEW BEST:: SOT 16122264 SOS 10732853 HAS SOPS 6034632 HAS SOUS 5778509 HAS SOUPS 5454983 WITH SCORE 5465715.853
AT ITER 3841 NEW BEST:: SOT 16121975 SOS 10732564 HAS SOPS 6034054 HAS SOUS 5777931 HAS SOUPS 5454405 WITH SCORE 5465137.564
AT ITER 3852 NEW BEST:: SOT 16121942 SOS 10732531 HAS SOPS 6034182 HAS SOUS 5777916 HAS SOUPS 5454390 WITH SCORE 5465122.531
AT ITER 3866 NEW BEST:: SOT 16121922 SOS 10732511 HAS SOPS 6034142 HAS SOUS 5777876 HAS SOUPS 5454350 WITH SCORE 5465082.511
AT ITER 3867 NEW BEST:: SOT 16121086 SOS 10731675 HAS SOPS 6032088 HAS SOUS 5775857 HAS SOUPS 5452296 WITH SCORE 5463027.675
AT ITER 3872 NEW BEST:: SOT 16121250 SOS 10732035 HAS SOPS 6031984 HAS SOUS 5775753 HAS SOUPS 5452192 WITH SCORE 5462924.035
AT ITER 3885 NEW BEST:: SOT 16121028 SOS 10731813 HAS SOPS 6031540 HAS SOUS 5775309 HAS SOUPS 5451748 WITH SCORE 5462479.813
AT ITER 3888 NEW BEST:: SOT 16120817 SOS 10731602 HAS SOPS 6031540 HAS SOUS 5775135 HAS SOUPS 5451748 WITH SCORE 5462479.602
AT ITER 3900 NEW BEST:: SOT 16121293 SOS 10729595 HAS SOPS 6032588 HAS SOUS 5773221 HAS SOUPS 5450025 WITH SCORE 5460754.595
AT ITER 3906 NEW BEST:: SOT 16121524 SOS 10729862 HAS SOPS 6032399 HAS SOUS 5773032 HAS SOUPS 5449836 WITH SCORE 5460565.862
AT ITER 3915 NEW BEST:: SOT 16121876 SOS 10730214 HAS SOPS 6031569 HAS SOUS 5771585 HAS SOUPS 5448389 WITH SCORE 5459119.214
AT ITER 3916 NEW BEST:: SOT 16121883 SOS 10730221 HAS SOPS 6030772 HAS SOUS 5772396 HAS SOUPS 5447592 WITH SCORE 5458322.221
AT ITER 3935 NEW BEST:: SOT 16121883 SOS 10730221 HAS SOPS 6030768 HAS SOUS 5772392 HAS SOUPS 5447588 WITH SCORE 5458318.221
AT ITER 3944 NEW BEST:: SOT 16121352 SOS 10728628 HAS SOPS 6029175 HAS SOUS 5770799 HAS SOUPS 5445995 WITH SCORE 5456723.628
AT ITER 3954 NEW BEST:: SOT 16121352 SOS 10728628 HAS SOPS 6028763 HAS SOUS 5770387 HAS SOUPS 5445583 WITH SCORE 5456311.628
AT ITER 3964 NEW BEST:: SOT 16121402 SOS 10728678 HAS SOPS 6028391 HAS SOUS 5770015 HAS SOUPS 5445211 WITH SCORE 5455939.678
AT ITER 3974 NEW BEST:: SOT 16121259 SOS 10728535 HAS SOPS 6028122 HAS SOUS 5769746 HAS SOUPS 5444942 WITH SCORE 5455670.535
AT ITER 3979 NEW BEST:: SOT 16121506 SOS 10728782 HAS SOPS 6027574 HAS SOUS 5769198 HAS SOUPS 5444394 WITH SCORE 5455122.782
AT ITER 3981 NEW BEST:: SOT 16120537 SOS 10727813 HAS SOPS 6025477 HAS SOUS 5767237 HAS SOUPS 5442297 WITH SCORE 5453024.813
AT ITER 3992 NEW BEST:: SOT 16121038 SOS 10728314 HAS SOPS 6025081 HAS SOUS 5767461 HAS SOUPS 5441901 WITH SCORE 5452629.314
AT ITER 4001 NEW BEST:: SOT 16120665 SOS 10727941 HAS SOPS 6024707 HAS SOUS 5767087 HAS SOUPS 5441527 WITH SCORE 5452254.941
AT ITER 4013 NEW BEST:: SOT 16120776 SOS 10727925 HAS SOPS 6024117 HAS SOUS 5766498 HAS SOUPS 5440938 WITH SCORE 5451665.925
AT ITER 4018 NEW BEST:: SOT 16120791 SOS 10727940 HAS SOPS 6023896 HAS SOUS 5766277 HAS SOUPS 5440717 WITH SCORE 5451444.94
AT ITER 4022 NEW BEST:: SOT 16120270 SOS 10727419 HAS SOPS 6022026 HAS SOUS 5764860 HAS SOUPS 5438847 WITH SCORE 5449574.419
AT ITER 4028 NEW BEST:: SOT 16120570 SOS 10724989 HAS SOPS 6022956 HAS SOUS 5762310 HAS SOUPS 5436507 WITH SCORE 5447231.989
AT ITER 4029 NEW BEST:: SOT 16120773 SOS 10724999 HAS SOPS 6022772 HAS SOUS 5762126 HAS SOUPS 5436323 WITH SCORE 5447047.999
AT ITER 4044 NEW BEST:: SOT 16120773 SOS 10724999 HAS SOPS 6022561 HAS SOUS 5761915 HAS SOUPS 5436112 WITH SCORE 5446836.999
AT ITER 4045 NEW BEST:: SOT 16120722 SOS 10725934 HAS SOPS 6022493 HAS SOUS 5761864 HAS SOUPS 5436044 WITH SCORE 5446769.934
AT ITER 4061 NEW BEST:: SOT 16120253 SOS 10725996 HAS SOPS 6020784 HAS SOUS 5760499 HAS SOUPS 5434679 WITH SCORE 5445404.996
AT ITER 4072 NEW BEST:: SOT 16120461 SOS 10746323 HAS SOPS 5984829 HAS SOUS 5759897 HAS SOUPS 5433129 WITH SCORE 5443875.323
AT ITER 4073 NEW BEST:: SOT 16120461 SOS 10746323 HAS SOPS 5984825 HAS SOUS 5759893 HAS SOUPS 5433125 WITH SCORE 5443871.323
AT ITER 4078 NEW BEST:: SOT 16121735 SOS 10748741 HAS SOPS 5984585 HAS SOUS 5762399 HAS SOUPS 5432885 WITH SCORE 5443633.741
AT ITER 4086 NEW BEST:: SOT 16121013 SOS 10748362 HAS SOPS 5982750 HAS SOUS 5760564 HAS SOUPS 5431050 WITH SCORE 5441798.362
AT ITER 4089 NEW BEST:: SOT 16120887 SOS 10750616 HAS SOPS 5982582 HAS SOUS 5760438 HAS SOUPS 5430882 WITH SCORE 5441632.616
AT ITER 4093 NEW BEST:: SOT 16120905 SOS 10750438 HAS SOPS 5982580 HAS SOUS 5760417 HAS SOUPS 5430880 WITH SCORE 5441630.438
AT ITER 4097 NEW BEST:: SOT 16121429 SOS 10750962 HAS SOPS 5981894 HAS SOUS 5759983 HAS SOUPS 5430194 WITH SCORE 5440944.962
AT ITER 4101 NEW BEST:: SOT 16121822 SOS 10751583 HAS SOPS 5981860 HAS SOUS 5760329 HAS SOUPS 5430160 WITH SCORE 5440911.583
AT ITER 4115 NEW BEST:: SOT 16122732 SOS 10752493 HAS SOPS 5981138 HAS SOUS 5760270 HAS SOUPS 5430054 WITH SCORE 5440806.493
AT ITER 4125 NEW BEST:: SOT 16123257 SOS 10753018 HAS SOPS 5980630 HAS SOUS 5759762 HAS SOUPS 5429546 WITH SCORE 5440299.018
AT ITER 4136 NEW BEST:: SOT 16123114 SOS 10752875 HAS SOPS 5980344 HAS SOUS 5759476 HAS SOUPS 5429260 WITH SCORE 5440012.875
AT ITER 4142 NEW BEST:: SOT 16124147 SOS 10753908 HAS SOPS 5980262 HAS SOUS 5759285 HAS SOUPS 5429010 WITH SCORE 5439763.908
AT ITER 4148 NEW BEST:: SOT 16124171 SOS 10758688 HAS SOPS 5980001 HAS SOUS 5759491 HAS SOUPS 5428749 WITH SCORE 5439507.688
AT ITER 4154 NEW BEST:: SOT 16124527 SOS 10759044 HAS SOPS 5979193 HAS SOUS 5758683 HAS SOUPS 5427941 WITH SCORE 5438700.044
AT ITER 4189 NEW BEST:: SOT 16124803 SOS 10759320 HAS SOPS 5978443 HAS SOUS 5757934 HAS SOUPS 5427192 WITH SCORE 5437951.32
AT ITER 4197 NEW BEST:: SOT 16124580 SOS 10759097 HAS SOPS 5978266 HAS SOUS 5757757 HAS SOUPS 5427015 WITH SCORE 5437774.097
AT ITER 4198 NEW BEST:: SOT 16125928 SOS 10760445 HAS SOPS 5977436 HAS SOUS 5756928 HAS SOUPS 5426186 WITH SCORE 5436946.445
AT ITER 4215 NEW BEST:: SOT 16126196 SOS 10760713 HAS SOPS 5976754 HAS SOUS 5756246 HAS SOUPS 5425504 WITH SCORE 5436264.713
AT ITER 4217 NEW BEST:: SOT 16125727 SOS 10760244 HAS SOPS 5975401 HAS SOUS 5754893 HAS SOUPS 5424151 WITH SCORE 5434911.244
AT ITER 4225 NEW BEST:: SOT 16125794 SOS 10760311 HAS SOPS 5975271 HAS SOUS 5754923 HAS SOUPS 5424021 WITH SCORE 5434781.311
AT ITER 4228 NEW BEST:: SOT 16125336 SOS 10758709 HAS SOPS 5975196 HAS SOUS 5754848 HAS SOUPS 5423946 WITH SCORE 5434704.709
AT ITER 4229 NEW BEST:: SOT 16125336 SOS 10758709 HAS SOPS 5975217 HAS SOUS 5754823 HAS SOUPS 5423921 WITH SCORE 5434679.709
AT ITER 4232 NEW BEST:: SOT 16125326 SOS 10758699 HAS SOPS 5975197 HAS SOUS 5754803 HAS SOUPS 5423901 WITH SCORE 5434659.699
AT ITER 4234 NEW BEST:: SOT 16124412 SOS 10757785 HAS SOPS 5973282 HAS SOUS 5752888 HAS SOUPS 5421986 WITH SCORE 5432743.785
AT ITER 4237 NEW BEST:: SOT 16124382 SOS 10757755 HAS SOPS 5973014 HAS SOUS 5752618 HAS SOUPS 5421718 WITH SCORE 5432475.755
AT ITER 4252 NEW BEST:: SOT 16124379 SOS 10757752 HAS SOPS 5971883 HAS SOUS 5751337 HAS SOUPS 5420137 WITH SCORE 5430894.752
AT ITER 4260 NEW BEST:: SOT 16124371 SOS 10757736 HAS SOPS 5971875 HAS SOUS 5751329 HAS SOUPS 5420129 WITH SCORE 5430886.736
AT ITER 4279 NEW BEST:: SOT 16124371 SOS 10757736 HAS SOPS 5970485 HAS SOUS 5750518 HAS SOUPS 5418739 WITH SCORE 5429496.736
AT ITER 4287 NEW BEST:: SOT 16123638 SOS 10757003 HAS SOPS 5968528 HAS SOUS 5748562 HAS SOUPS 5416783 WITH SCORE 5427540.003
AT ITER 4296 NEW BEST:: SOT 16123647 SOS 10757252 HAS SOPS 5967932 HAS SOUS 5748788 HAS SOUPS 5416187 WITH SCORE 5426944.252
AT ITER 4297 NEW BEST:: SOT 16123550 SOS 10757118 HAS SOPS 5967603 HAS SOUS 5748459 HAS SOUPS 5415858 WITH SCORE 5426615.118
AT ITER 4305 NEW BEST:: SOT 16123550 SOS 10757118 HAS SOPS 5967246 HAS SOUS 5748168 HAS SOUPS 5415501 WITH SCORE 5426258.118
AT ITER 4306 NEW BEST:: SOT 16123550 SOS 10757118 HAS SOPS 5967242 HAS SOUS 5748164 HAS SOUPS 5415497 WITH SCORE 5426254.118
AT ITER 4312 NEW BEST:: SOT 16122902 SOS 10756470 HAS SOPS 5965724 HAS SOUS 5746687 HAS SOUPS 5413979 WITH SCORE 5424735.47
AT ITER 4314 NEW BEST:: SOT 16122396 SOS 10755964 HAS SOPS 5964855 HAS SOUS 5745818 HAS SOUPS 5413110 WITH SCORE 5423865.964
AT ITER 4342 NEW BEST:: SOT 16122512 SOS 10756080 HAS SOPS 5964186 HAS SOUS 5745153 HAS SOUPS 5412445 WITH SCORE 5423201.08
AT ITER 4344 NEW BEST:: SOT 16121991 SOS 10755559 HAS SOPS 5964186 HAS SOUS 5745153 HAS SOUPS 5412445 WITH SCORE 5423200.559
AT ITER 4348 NEW BEST:: SOT 16121991 SOS 10755559 HAS SOPS 5964076 HAS SOUS 5745043 HAS SOUPS 5412335 WITH SCORE 5423090.559
AT ITER 4352 NEW BEST:: SOT 16121991 SOS 10755559 HAS SOPS 5962522 HAS SOUS 5743489 HAS SOUPS 5410781 WITH SCORE 5421536.559
AT ITER 4367 NEW BEST:: SOT 16121909 SOS 10755477 HAS SOPS 5962434 HAS SOUS 5743372 HAS SOUPS 5410693 WITH SCORE 5421448.477
AT ITER 4398 NEW BEST:: SOT 16121462 SOS 10755030 HAS SOPS 5961540 HAS SOUS 5742478 HAS SOUPS 5409799 WITH SCORE 5420554.03
AT ITER 4417 NEW BEST:: SOT 16121483 SOS 10755630 HAS SOPS 5960556 HAS SOUS 5741495 HAS SOUPS 5408816 WITH SCORE 5419571.63
AT ITER 4424 NEW BEST:: SOT 16121118 SOS 10755265 HAS SOPS 5960363 HAS SOUS 5741302 HAS SOUPS 5408623 WITH SCORE 5419378.265
AT ITER 4451 NEW BEST:: SOT 16121584 SOS 10756470 HAS SOPS 5959656 HAS SOUS 5740596 HAS SOUPS 5407917 WITH SCORE 5418673.47
AT ITER 4463 NEW BEST:: SOT 16121393 SOS 10756279 HAS SOPS 5959527 HAS SOUS 5740467 HAS SOUPS 5407788 WITH SCORE 5418544.279
AT ITER 4469 NEW BEST:: SOT 16120970 SOS 10755856 HAS SOPS 5957850 HAS SOUS 5739039 HAS SOUPS 5406111 WITH SCORE 5416866.856
AT ITER 4471 NEW BEST:: SOT 16121300 SOS 10756869 HAS SOPS 5957791 HAS SOUS 5738980 HAS SOUPS 5406052 WITH SCORE 5416808.869
AT ITER 4480 NEW BEST:: SOT 16121632 SOS 10757201 HAS SOPS 5957099 HAS SOUS 5738617 HAS SOUPS 5405360 WITH SCORE 5416117.201
AT ITER 4504 NEW BEST:: SOT 16122432 SOS 10758001 HAS SOPS 5956773 HAS SOUS 5738086 HAS SOUPS 5404829 WITH SCORE 5415587.001
AT ITER 4511 NEW BEST:: SOT 16122650 SOS 10758219 HAS SOPS 5956768 HAS SOUS 5738141 HAS SOUPS 5404824 WITH SCORE 5415582.219
AT ITER 4524 NEW BEST:: SOT 16123105 SOS 10758674 HAS SOPS 5956207 HAS SOUS 5738575 HAS SOUPS 5404264 WITH SCORE 5415022.674
AT ITER 4545 NEW BEST:: SOT 16138913 SOS 10772749 HAS SOPS 5938799 HAS SOUS 5723090 HAS SOUPS 5387006 WITH SCORE 5397778.749
AT ITER 4546 NEW BEST:: SOT 16137712 SOS 10822519 HAS SOPS 5936690 HAS SOUS 5721889 HAS SOUPS 5384897 WITH SCORE 5395719.519
AT ITER 4553 NEW BEST:: SOT 16137740 SOS 10821808 HAS SOPS 5935950 HAS SOUS 5721149 HAS SOUPS 5384157 WITH SCORE 5394978.808
AT ITER 4555 NEW BEST:: SOT 16137740 SOS 10821808 HAS SOPS 5935404 HAS SOUS 5720603 HAS SOUPS 5383611 WITH SCORE 5394432.808
AT ITER 4557 NEW BEST:: SOT 16137740 SOS 10821808 HAS SOPS 5935129 HAS SOUS 5720328 HAS SOUPS 5383336 WITH SCORE 5394157.808
AT ITER 4564 NEW BEST:: SOT 16137669 SOS 10821737 HAS SOPS 5934904 HAS SOUS 5720103 HAS SOUPS 5383111 WITH SCORE 5393932.737
AT ITER 4565 NEW BEST:: SOT 16137705 SOS 10821773 HAS SOPS 5934502 HAS SOUS 5719702 HAS SOUPS 5382710 WITH SCORE 5393531.773
AT ITER 4567 NEW BEST:: SOT 16137047 SOS 10821115 HAS SOPS 5933186 HAS SOUS 5718532 HAS SOUPS 5381394 WITH SCORE 5392215.115
AT ITER 4570 NEW BEST:: SOT 16136827 SOS 10820895 HAS SOPS 5932966 HAS SOUS 5718202 HAS SOUPS 5381174 WITH SCORE 5391994.895
AT ITER 4571 NEW BEST:: SOT 16136697 SOS 10820765 HAS SOPS 5931580 HAS SOUS 5716817 HAS SOUPS 5379789 WITH SCORE 5390609.765
AT ITER 4597 NEW BEST:: SOT 16136654 SOS 10820722 HAS SOPS 5931174 HAS SOUS 5716411 HAS SOUPS 5379383 WITH SCORE 5390203.722
AT ITER 4598 NEW BEST:: SOT 16137398 SOS 10821466 HAS SOPS 5930585 HAS SOUS 5716026 HAS SOUPS 5378794 WITH SCORE 5389615.466
AT ITER 4605 NEW BEST:: SOT 16136618 SOS 10820686 HAS SOPS 5929024 HAS SOUS 5714465 HAS SOUPS 5377233 WITH SCORE 5388053.686
AT ITER 4609 NEW BEST:: SOT 16136580 SOS 10820648 HAS SOPS 5928948 HAS SOUS 5714389 HAS SOUPS 5377157 WITH SCORE 5387977.648
AT ITER 4611 NEW BEST:: SOT 16136580 SOS 10820648 HAS SOPS 5928595 HAS SOUS 5714036 HAS SOUPS 5376804 WITH SCORE 5387624.648
AT ITER 4614 NEW BEST:: SOT 16138097 SOS 10822165 HAS SOPS 5928190 HAS SOUS 5714049 HAS SOUPS 5376578 WITH SCORE 5387400.165
AT ITER 4616 NEW BEST:: SOT 16138097 SOS 10822165 HAS SOPS 5927915 HAS SOUS 5713554 HAS SOUPS 5376083 WITH SCORE 5386905.165
AT ITER 4617 NEW BEST:: SOT 16137790 SOS 10820795 HAS SOPS 5914463 HAS SOUS 5700079 HAS SOUPS 5362608 WITH SCORE 5373428.795
AT ITER 4623 NEW BEST:: SOT 16137188 SOS 10820193 HAS SOPS 5913258 HAS SOUS 5698874 HAS SOUPS 5361403 WITH SCORE 5372223.193
AT ITER 4631 NEW BEST:: SOT 16136826 SOS 10819831 HAS SOPS 5911650 HAS SOUS 5697357 HAS SOUPS 5359796 WITH SCORE 5370615.831
AT ITER 4633 NEW BEST:: SOT 16136577 SOS 10819582 HAS SOPS 5910274 HAS SOUS 5696371 HAS SOUPS 5358810 WITH SCORE 5369629.582
AT ITER 4637 NEW BEST:: SOT 16137367 SOS 10820372 HAS SOPS 5910134 HAS SOUS 5696325 HAS SOUPS 5358670 WITH SCORE 5369490.372
AT ITER 4639 NEW BEST:: SOT 16137107 SOS 10820112 HAS SOPS 5909874 HAS SOUS 5696065 HAS SOUPS 5358410 WITH SCORE 5369230.112
AT ITER 4641 NEW BEST:: SOT 16136173 SOS 10819178 HAS SOPS 5908005 HAS SOUS 5694137 HAS SOUPS 5356541 WITH SCORE 5367360.178
AT ITER 4644 NEW BEST:: SOT 16136173 SOS 10819178 HAS SOPS 5908095 HAS SOUS 5694136 HAS SOUPS 5356540 WITH SCORE 5367359.178
AT ITER 4645 NEW BEST:: SOT 16135780 SOS 10818785 HAS SOPS 5906224 HAS SOUS 5692265 HAS SOUPS 5354669 WITH SCORE 5365487.785
AT ITER 4648 NEW BEST:: SOT 16136114 SOS 10819223 HAS SOPS 5905826 HAS SOUS 5691868 HAS SOUPS 5354272 WITH SCORE 5365091.223
AT ITER 4656 NEW BEST:: SOT 16136114 SOS 10819223 HAS SOPS 5905240 HAS SOUS 5691493 HAS SOUPS 5353897 WITH SCORE 5364716.223
AT ITER 4675 NEW BEST:: SOT 16136114 SOS 10819223 HAS SOPS 5905013 HAS SOUS 5691266 HAS SOUPS 5353670 WITH SCORE 5364489.223
AT ITER 4678 NEW BEST:: SOT 16136135 SOS 10819244 HAS SOPS 5904299 HAS SOUS 5690552 HAS SOUPS 5352956 WITH SCORE 5363775.244
AT ITER 4680 NEW BEST:: SOT 16136402 SOS 10819511 HAS SOPS 5903425 HAS SOUS 5689231 HAS SOUPS 5351635 WITH SCORE 5362454.511
AT ITER 4694 NEW BEST:: SOT 16136755 SOS 10820194 HAS SOPS 5903250 HAS SOUS 5689057 HAS SOUPS 5351461 WITH SCORE 5362281.194
AT ITER 4704 NEW BEST:: SOT 16136755 SOS 10820194 HAS SOPS 5902146 HAS SOUS 5688895 HAS SOUPS 5350357 WITH SCORE 5361177.194
AT ITER 4705 NEW BEST:: SOT 16135874 SOS 10819313 HAS SOPS 5898621 HAS SOUS 5687766 HAS SOUPS 5346832 WITH SCORE 5357651.313
AT ITER 4719 NEW BEST:: SOT 16135423 SOS 10802612 HAS SOPS 5882279 HAS SOUS 5686335 HAS SOUPS 5345401 WITH SCORE 5356203.612
AT ITER 4720 NEW BEST:: SOT 16135681 SOS 10802870 HAS SOPS 5882106 HAS SOUS 5686162 HAS SOUPS 5345228 WITH SCORE 5356030.87
AT ITER 4728 NEW BEST:: SOT 16135480 SOS 10802669 HAS SOPS 5880657 HAS SOUS 5684714 HAS SOUPS 5343780 WITH SCORE 5354582.669
AT ITER 4730 NEW BEST:: SOT 16135480 SOS 10802669 HAS SOPS 5880550 HAS SOUS 5684502 HAS SOUPS 5343568 WITH SCORE 5354370.669
AT ITER 4743 NEW BEST:: SOT 16135250 SOS 10802439 HAS SOPS 5879569 HAS SOUS 5683747 HAS SOUPS 5342587 WITH SCORE 5353389.439
AT ITER 4752 NEW BEST:: SOT 16136273 SOS 10870592 HAS SOPS 5879391 HAS SOUS 5684729 HAS SOUPS 5342409 WITH SCORE 5353279.592
AT ITER 4756 NEW BEST:: SOT 16136273 SOS 10870592 HAS SOPS 5879171 HAS SOUS 5684509 HAS SOUPS 5342189 WITH SCORE 5353059.592
AT ITER 4764 NEW BEST:: SOT 16135953 SOS 10870272 HAS SOPS 5878531 HAS SOUS 5683869 HAS SOUPS 5341549 WITH SCORE 5352419.272
AT ITER 4766 NEW BEST:: SOT 16135939 SOS 10870258 HAS SOPS 5878503 HAS SOUS 5683841 HAS SOUPS 5341521 WITH SCORE 5352391.258
AT ITER 4772 NEW BEST:: SOT 16135939 SOS 10870258 HAS SOPS 5878334 HAS SOUS 5683672 HAS SOUPS 5341352 WITH SCORE 5352222.258
AT ITER 4782 NEW BEST:: SOT 16135441 SOS 10869760 HAS SOPS 5876598 HAS SOUS 5682249 HAS SOUPS 5339929 WITH SCORE 5350798.76
AT ITER 4783 NEW BEST:: SOT 16136433 SOS 10927986 HAS SOPS 5876022 HAS SOUS 5683661 HAS SOUPS 5339353 WITH SCORE 5350280.986
AT ITER 4788 NEW BEST:: SOT 16136433 SOS 10927986 HAS SOPS 5875279 HAS SOUS 5682579 HAS SOUPS 5338271 WITH SCORE 5349198.986
AT ITER 4790 NEW BEST:: SOT 16137203 SOS 10928756 HAS SOPS 5875107 HAS SOUS 5682407 HAS SOUPS 5338099 WITH SCORE 5349027.756
AT ITER 4795 NEW BEST:: SOT 16136954 SOS 10928507 HAS SOPS 5874255 HAS SOUS 5681555 HAS SOUPS 5337247 WITH SCORE 5348175.507
AT ITER 4796 NEW BEST:: SOT 16136901 SOS 10928454 HAS SOPS 5874149 HAS SOUS 5681449 HAS SOUPS 5337141 WITH SCORE 5348069.454
AT ITER 4799 NEW BEST:: SOT 16136403 SOS 10927956 HAS SOPS 5873153 HAS SOUS 5680453 HAS SOUPS 5336145 WITH SCORE 5347072.956
AT ITER 4805 NEW BEST:: SOT 16137385 SOS 11003660 HAS SOPS 5872697 HAS SOUS 5681971 HAS SOUPS 5335689 WITH SCORE 5346692.66
AT ITER 4808 NEW BEST:: SOT 16138204 SOS 11004479 HAS SOPS 5871576 HAS SOUS 5680850 HAS SOUPS 5334568 WITH SCORE 5345572.479
AT ITER 4809 NEW BEST:: SOT 16138155 SOS 11004430 HAS SOPS 5871478 HAS SOUS 5680752 HAS SOUPS 5334470 WITH SCORE 5345474.43
AT ITER 4822 NEW BEST:: SOT 16138155 SOS 11004430 HAS SOPS 5871474 HAS SOUS 5680590 HAS SOUPS 5334308 WITH SCORE 5345312.43
AT ITER 4832 NEW BEST:: SOT 16138155 SOS 11004430 HAS SOPS 5871174 HAS SOUS 5680290 HAS SOUPS 5334008 WITH SCORE 5345012.43
AT ITER 4834 NEW BEST:: SOT 16138063 SOS 11004338 HAS SOPS 5870806 HAS SOUS 5680106 HAS SOUPS 5333640 WITH SCORE 5344644.338
AT ITER 4866 NEW BEST:: SOT 16138063 SOS 11004303 HAS SOPS 5870806 HAS SOUS 5680106 HAS SOUPS 5333640 WITH SCORE 5344644.303
AT ITER 4870 NEW BEST:: SOT 16137735 SOS 11003975 HAS SOPS 5870806 HAS SOUS 5680106 HAS SOUPS 5333640 WITH SCORE 5344643.975
AT ITER 4876 NEW BEST:: SOT 16137671 SOS 11003911 HAS SOPS 5870486 HAS SOUS 5679786 HAS SOUPS 5333320 WITH SCORE 5344323.911
AT ITER 4889 NEW BEST:: SOT 16137459 SOS 11003699 HAS SOPS 5870218 HAS SOUS 5679518 HAS SOUPS 5333052 WITH SCORE 5344055.699
AT ITER 4896 NEW BEST:: SOT 16137122 SOS 11003352 HAS SOPS 5869675 HAS SOUS 5678976 HAS SOUPS 5332510 WITH SCORE 5343513.352
AT ITER 4915 NEW BEST:: SOT 16137362 SOS 11003592 HAS SOPS 5869568 HAS SOUS 5678869 HAS SOUPS 5332403 WITH SCORE 5343406.592
AT ITER 4936 NEW BEST:: SOT 16137362 SOS 11003592 HAS SOPS 5869564 HAS SOUS 5678865 HAS SOUPS 5332399 WITH SCORE 5343402.592
AT ITER 4943 NEW BEST:: SOT 16137362 SOS 11003592 HAS SOPS 5868766 HAS SOUS 5677576 HAS SOUPS 5331110 WITH SCORE 5342113.592
AT ITER 4951 NEW BEST:: SOT 16137187 SOS 11003417 HAS SOPS 5868056 HAS SOUS 5676957 HAS SOUPS 5330491 WITH SCORE 5341494.417
AT ITER 4956 NEW BEST:: SOT 16137320 SOS 11003550 HAS SOPS 5868188 HAS SOUS 5676446 HAS SOUPS 5329953 WITH SCORE 5340956.55
AT ITER 4959 NEW BEST:: SOT 16137320 SOS 11003819 HAS SOPS 5867561 HAS SOUS 5675820 HAS SOUPS 5329327 WITH SCORE 5340330.819
AT ITER 4960 NEW BEST:: SOT 16137300 SOS 11003799 HAS SOPS 5867541 HAS SOUS 5675800 HAS SOUPS 5329307 WITH SCORE 5340310.799
AT ITER 4961 NEW BEST:: SOT 16137287 SOS 11004393 HAS SOPS 5867144 HAS SOUS 5675403 HAS SOUPS 5328910 WITH SCORE 5339914.393
AT ITER 4963 NEW BEST:: SOT 16137395 SOS 11004501 HAS SOPS 5867734 HAS SOUS 5675275 HAS SOUPS 5328782 WITH SCORE 5339786.501
AT ITER 4967 NEW BEST:: SOT 16137472 SOS 11004578 HAS SOPS 5867621 HAS SOUS 5675162 HAS SOUPS 5328669 WITH SCORE 5339673.578
AT ITER 4978 NEW BEST:: SOT 16138064 SOS 11005170 HAS SOPS 5867559 HAS SOUS 5675171 HAS SOUPS 5328607 WITH SCORE 5339612.17
AT ITER 4990 NEW BEST:: SOT 16136962 SOS 10982571 HAS SOPS 5845020 HAS SOUS 5672967 HAS SOUPS 5326403 WITH SCORE 5337385.571
AT ITER 4998 NEW BEST:: SOT 16130107 SOS 11020652 HAS SOPS 5837202 HAS SOUS 5665914 HAS SOUPS 5318584 WITH SCORE 5329604.652
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BART-PT-030-CTLCardinality-00 (EU( (EF(potential( (tk(P2674)) <= (tk(P984)) ))),( ( potential( ( 2 ) <= (tk(P1094)) ) & potential( (tk(P109)) <= (tk(P3871)) ) ) & potential( (tk(P3927)) <= (tk(P1910)) ) ) ))
PROPERTY: BART-PT-030-CTLCardinality-01 (! (AF(( (! potential( (tk(P1141)) <= (tk(P1749)) )) | (! potential( (tk(P995)) <= (tk(P1501)) )) ))))
PROPERTY: BART-PT-030-CTLCardinality-02 (AF((AG( potential( ( 2 ) <= (tk(P520)) )))))
PROPERTY: BART-PT-030-CTLCardinality-03 (EG( ( (! (! potential( ( 1 ) <= (tk(P3065)) ))) | ( (! potential( (tk(P4100)) <= (tk(P1471)) )) & ( potential( (tk(P3634)) <= (tk(P171)) ) | potential( (tk(P2776)) <= (tk(P2317)) ) ) ) )))
PROPERTY: BART-PT-030-CTLCardinality-04 (EF((EG( potential( (tk(P897)) <= (tk(P2209)) )))))
PROPERTY: BART-PT-030-CTLCardinality-05 (! (EF((EF(potential( ( 2 ) <= (tk(P3822)) ))))))
PROPERTY: BART-PT-030-CTLCardinality-06 (AF(( (! ( potential( ( 3 ) <= (tk(P873)) ) | potential( ( 2 ) <= (tk(P1529)) ) )) & (! ( potential( (tk(P2272)) <= (tk(P3191)) ) | potential( ( 2 ) <= (tk(P107)) ) )) )))
PROPERTY: BART-PT-030-CTLCardinality-07 (EF(( (! potential( (tk(P33)) <= (tk(P883)) )) | (AG( potential( ( 1 ) <= (tk(P159)) ))) )))
PROPERTY: BART-PT-030-CTLCardinality-08 (EF((EF((! potential( (tk(P830)) <= (tk(P3489)) ))))))
PROPERTY: BART-PT-030-CTLCardinality-09 (EU( (AG( potential( (tk(P2377)) <= (tk(P3848)) ))),(EG( potential( ( 2 ) <= (tk(P1293)) ))) ))
PROPERTY: BART-PT-030-CTLCardinality-10 (AG( potential( (tk(P3146)) <= (tk(P3419)) )))
PROPERTY: BART-PT-030-CTLCardinality-11 (AG( ( potential( (tk(P720)) <= (tk(P742)) ) | ( potential( ( 1 ) <= (tk(P1816)) ) & potential( (tk(P1384)) <= (tk(P1128)) ) ) )))
PROPERTY: BART-PT-030-CTLCardinality-12 (! (EF((EG( potential( ( 1 ) <= (tk(P4028)) ))))))
PROPERTY: BART-PT-030-CTLCardinality-13 (EG( ( (! potential( (tk(P732)) <= (tk(P956)) )) | (! potential( ( 1 ) <= (tk(P741)) )) )))
PROPERTY: BART-PT-030-CTLCardinality-14 ( (AF(( potential( ( 3 ) <= (tk(P3159)) ) | ( potential( ( 2 ) <= (tk(P1438)) ) | potential( ( 2 ) <= (tk(P3424)) ) ) ))) & ( (EF((! potential( (tk(P1269)) <= (tk(P2771)) )))) | (EX( ( potential( ( 3 ) <= (tk(P2111)) ) & potential( ( 3 ) <= (tk(P2584)) ) ))) ) )
PROPERTY: BART-PT-030-CTLCardinality-15 (! (AF((! (! potential( ( 1 ) <= (tk(P197)) ))))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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