Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r163-tall-167838847800472.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is FlexibleBarrier-PT-06b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838847800472
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 648K
-rw-r--r-- 1 mcc users 7.2K Feb 25 12:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 12:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 12:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 12:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 12:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 146K Feb 25 12:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 25 12:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 141K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678450942868

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FlexibleBarrier-PT-06b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 06b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 542 places, 621 transitions, 1533 arcs.
AT ITER 0 NEW BEST:: SOT 214397 SOS 97670 HAS SOPS 97670 HAS SOUS 78263 HAS SOUPS 78263 WITH SCORE 78360.67
AT ITER 1 NEW BEST:: SOT 214439 SOS 97356 HAS SOPS 97356 HAS SOUS 78107 HAS SOUPS 78107 WITH SCORE 78204.356
AT ITER 6 NEW BEST:: SOT 214396 SOS 97270 HAS SOPS 97270 HAS SOUS 78065 HAS SOUPS 78065 WITH SCORE 78162.27
AT ITER 7 NEW BEST:: SOT 214396 SOS 97258 HAS SOPS 97258 HAS SOUS 78053 HAS SOUPS 78053 WITH SCORE 78150.258
AT ITER 9 NEW BEST:: SOT 214254 SOS 96618 HAS SOPS 96618 HAS SOUS 77808 HAS SOUPS 77808 WITH SCORE 77904.618
AT ITER 10 NEW BEST:: SOT 214094 SOS 96260 HAS SOPS 96260 HAS SOUS 77449 HAS SOUPS 77449 WITH SCORE 77545.26
AT ITER 13 NEW BEST:: SOT 214094 SOS 96241 HAS SOPS 96241 HAS SOUS 77430 HAS SOUPS 77430 WITH SCORE 77526.241
AT ITER 18 NEW BEST:: SOT 214017 SOS 96087 HAS SOPS 96087 HAS SOUS 77276 HAS SOUPS 77276 WITH SCORE 77372.087
AT ITER 20 NEW BEST:: SOT 214017 SOS 96147 HAS SOPS 96147 HAS SOUS 77275 HAS SOUPS 77275 WITH SCORE 77371.147
AT ITER 23 NEW BEST:: SOT 214017 SOS 96147 HAS SOPS 96147 HAS SOUS 77217 HAS SOUPS 77217 WITH SCORE 77313.147
AT ITER 34 NEW BEST:: SOT 213999 SOS 96111 HAS SOPS 96111 HAS SOUS 77181 HAS SOUPS 77181 WITH SCORE 77277.111
AT ITER 41 NEW BEST:: SOT 213974 SOS 96009 HAS SOPS 96009 HAS SOUS 77161 HAS SOUPS 77161 WITH SCORE 77257.009
AT ITER 42 NEW BEST:: SOT 213884 SOS 95874 HAS SOPS 95874 HAS SOUS 77026 HAS SOUPS 77026 WITH SCORE 77121.874
AT ITER 44 NEW BEST:: SOT 213720 SOS 95923 HAS SOPS 95923 HAS SOUS 77010 HAS SOUPS 77010 WITH SCORE 77105.923
AT ITER 46 NEW BEST:: SOT 209266 SOS 110248 HAS SOPS 110248 HAS SOUS 73018 HAS SOUPS 73018 WITH SCORE 73128.248
AT ITER 55 NEW BEST:: SOT 209266 SOS 110248 HAS SOPS 110248 HAS SOUS 73016 HAS SOUPS 73016 WITH SCORE 73126.248
AT ITER 57 NEW BEST:: SOT 209274 SOS 110028 HAS SOPS 110028 HAS SOUS 72885 HAS SOUPS 72885 WITH SCORE 72995.028
AT ITER 59 NEW BEST:: SOT 209331 SOS 109698 HAS SOPS 109698 HAS SOUS 72885 HAS SOUPS 72885 WITH SCORE 72994.698
AT ITER 63 NEW BEST:: SOT 209288 SOS 109577 HAS SOPS 109577 HAS SOUS 72764 HAS SOUPS 72764 WITH SCORE 72873.577
AT ITER 64 NEW BEST:: SOT 209288 SOS 109577 HAS SOPS 109577 HAS SOUS 72590 HAS SOUPS 72590 WITH SCORE 72699.577
AT ITER 66 NEW BEST:: SOT 209067 SOS 109356 HAS SOPS 109356 HAS SOUS 72559 HAS SOUPS 72559 WITH SCORE 72668.356
AT ITER 67 NEW BEST:: SOT 209101 SOS 109082 HAS SOPS 109082 HAS SOUS 72404 HAS SOUPS 72404 WITH SCORE 72513.082
AT ITER 74 NEW BEST:: SOT 209101 SOS 109082 HAS SOPS 109082 HAS SOUS 72402 HAS SOUPS 72402 WITH SCORE 72511.082
AT ITER 79 NEW BEST:: SOT 207941 SOS 116428 HAS SOPS 116428 HAS SOUS 71839 HAS SOUPS 71839 WITH SCORE 71955.428
AT ITER 84 NEW BEST:: SOT 207941 SOS 116428 HAS SOPS 116428 HAS SOUS 71838 HAS SOUPS 71838 WITH SCORE 71954.428
AT ITER 89 NEW BEST:: SOT 207702 SOS 116040 HAS SOPS 116040 HAS SOUS 71599 HAS SOUPS 71599 WITH SCORE 71715.04
AT ITER 92 NEW BEST:: SOT 207702 SOS 116040 HAS SOPS 116040 HAS SOUS 71596 HAS SOUPS 71596 WITH SCORE 71712.04
AT ITER 107 NEW BEST:: SOT 207702 SOS 115889 HAS SOPS 115889 HAS SOUS 71417 HAS SOUPS 71417 WITH SCORE 71532.889
AT ITER 108 NEW BEST:: SOT 207702 SOS 115878 HAS SOPS 115878 HAS SOUS 71406 HAS SOUPS 71406 WITH SCORE 71521.878
AT ITER 111 NEW BEST:: SOT 207715 SOS 115635 HAS SOPS 115635 HAS SOUS 71277 HAS SOUPS 71277 WITH SCORE 71392.635
AT ITER 112 NEW BEST:: SOT 207388 SOS 115154 HAS SOPS 115154 HAS SOUS 70975 HAS SOUPS 70975 WITH SCORE 71090.154
AT ITER 113 NEW BEST:: SOT 207199 SOS 114965 HAS SOPS 114965 HAS SOUS 70975 HAS SOUPS 70975 WITH SCORE 71089.965
AT ITER 116 NEW BEST:: SOT 207198 SOS 114962 HAS SOPS 114962 HAS SOUS 70973 HAS SOUPS 70973 WITH SCORE 71087.962
AT ITER 120 NEW BEST:: SOT 207198 SOS 114894 HAS SOPS 114894 HAS SOUS 70905 HAS SOUPS 70905 WITH SCORE 71019.894
AT ITER 124 NEW BEST:: SOT 207057 SOS 114613 HAS SOPS 114613 HAS SOUS 70800 HAS SOUPS 70800 WITH SCORE 70914.613
AT ITER 125 NEW BEST:: SOT 206976 SOS 114532 HAS SOPS 114532 HAS SOUS 70795 HAS SOUPS 70795 WITH SCORE 70909.532
AT ITER 132 NEW BEST:: SOT 206976 SOS 114481 HAS SOPS 114481 HAS SOUS 70708 HAS SOUPS 70708 WITH SCORE 70822.481
AT ITER 135 NEW BEST:: SOT 206976 SOS 114422 HAS SOPS 114422 HAS SOUS 70708 HAS SOUPS 70708 WITH SCORE 70822.422
AT ITER 137 NEW BEST:: SOT 206910 SOS 114323 HAS SOPS 114323 HAS SOUS 70632 HAS SOUPS 70632 WITH SCORE 70746.323
AT ITER 139 NEW BEST:: SOT 206858 SOS 114271 HAS SOPS 114271 HAS SOUS 70583 HAS SOUPS 70583 WITH SCORE 70697.271
AT ITER 140 NEW BEST:: SOT 206858 SOS 114221 HAS SOPS 114221 HAS SOUS 70581 HAS SOUPS 70581 WITH SCORE 70695.221
AT ITER 143 NEW BEST:: SOT 206891 SOS 114287 HAS SOPS 114287 HAS SOUS 70402 HAS SOUPS 70402 WITH SCORE 70516.287
AT ITER 145 NEW BEST:: SOT 206891 SOS 114287 HAS SOPS 114287 HAS SOUS 70401 HAS SOUPS 70401 WITH SCORE 70515.287
AT ITER 155 NEW BEST:: SOT 206885 SOS 114275 HAS SOPS 114275 HAS SOUS 70389 HAS SOUPS 70389 WITH SCORE 70503.275
AT ITER 161 NEW BEST:: SOT 206881 SOS 114267 HAS SOPS 114267 HAS SOUS 70381 HAS SOUPS 70381 WITH SCORE 70495.267
AT ITER 165 NEW BEST:: SOT 206863 SOS 114249 HAS SOPS 114249 HAS SOUS 70362 HAS SOUPS 70362 WITH SCORE 70476.249
AT ITER 167 NEW BEST:: SOT 206863 SOS 114239 HAS SOPS 114239 HAS SOUS 70362 HAS SOUPS 70362 WITH SCORE 70476.239
AT ITER 170 NEW BEST:: SOT 206741 SOS 113648 HAS SOPS 113648 HAS SOUS 70168 HAS SOUPS 70168 WITH SCORE 70281.648
AT ITER 171 NEW BEST:: SOT 206606 SOS 113513 HAS SOPS 113513 HAS SOUS 70160 HAS SOUPS 70160 WITH SCORE 70273.513
AT ITER 173 NEW BEST:: SOT 206548 SOS 113397 HAS SOPS 113397 HAS SOUS 70102 HAS SOUPS 70102 WITH SCORE 70215.397
AT ITER 174 NEW BEST:: SOT 206539 SOS 113379 HAS SOPS 113379 HAS SOUS 70084 HAS SOUPS 70084 WITH SCORE 70197.379
AT ITER 180 NEW BEST:: SOT 206422 SOS 113145 HAS SOPS 113145 HAS SOUS 69943 HAS SOUPS 69943 WITH SCORE 70056.145
AT ITER 182 NEW BEST:: SOT 206353 SOS 112938 HAS SOPS 112938 HAS SOUS 69775 HAS SOUPS 69775 WITH SCORE 69887.938
AT ITER 186 NEW BEST:: SOT 206357 SOS 112888 HAS SOPS 112888 HAS SOUS 69766 HAS SOUPS 69766 WITH SCORE 69878.888
AT ITER 199 NEW BEST:: SOT 206294 SOS 112636 HAS SOPS 112636 HAS SOUS 69702 HAS SOUPS 69702 WITH SCORE 69814.636
AT ITER 200 NEW BEST:: SOT 206304 SOS 112179 HAS SOPS 112179 HAS SOUS 69677 HAS SOUPS 69677 WITH SCORE 69789.179
AT ITER 201 NEW BEST:: SOT 206200 SOS 111971 HAS SOPS 111971 HAS SOUS 69647 HAS SOUPS 69647 WITH SCORE 69758.971
AT ITER 202 NEW BEST:: SOT 206097 SOS 111765 HAS SOPS 111765 HAS SOUS 69390 HAS SOUPS 69390 WITH SCORE 69501.765
AT ITER 203 NEW BEST:: SOT 206051 SOS 111611 HAS SOPS 111611 HAS SOUS 69344 HAS SOUPS 69344 WITH SCORE 69455.611
AT ITER 204 NEW BEST:: SOT 206051 SOS 111611 HAS SOPS 111611 HAS SOUS 69343 HAS SOUPS 69343 WITH SCORE 69454.611
AT ITER 213 NEW BEST:: SOT 206051 SOS 111518 HAS SOPS 111518 HAS SOUS 69305 HAS SOUPS 69305 WITH SCORE 69416.518
AT ITER 222 NEW BEST:: SOT 205961 SOS 111428 HAS SOPS 111428 HAS SOUS 69291 HAS SOUPS 69291 WITH SCORE 69402.428
AT ITER 230 NEW BEST:: SOT 205911 SOS 111328 HAS SOPS 111328 HAS SOUS 69191 HAS SOUPS 69191 WITH SCORE 69302.328
AT ITER 233 NEW BEST:: SOT 205911 SOS 111328 HAS SOPS 111328 HAS SOUS 69157 HAS SOUPS 69157 WITH SCORE 69268.328
AT ITER 235 NEW BEST:: SOT 205908 SOS 110926 HAS SOPS 110926 HAS SOUS 69154 HAS SOUPS 69154 WITH SCORE 69264.926
AT ITER 239 NEW BEST:: SOT 205902 SOS 110914 HAS SOPS 110914 HAS SOUS 69149 HAS SOUPS 69149 WITH SCORE 69259.914
AT ITER 243 NEW BEST:: SOT 205902 SOS 110768 HAS SOPS 110768 HAS SOUS 69149 HAS SOUPS 69149 WITH SCORE 69259.768
AT ITER 247 NEW BEST:: SOT 205868 SOS 110892 HAS SOPS 110892 HAS SOUS 69018 HAS SOUPS 69018 WITH SCORE 69128.892
AT ITER 250 NEW BEST:: SOT 205868 SOS 110892 HAS SOPS 110892 HAS SOUS 69017 HAS SOUPS 69017 WITH SCORE 69127.892
AT ITER 253 NEW BEST:: SOT 205893 SOS 110881 HAS SOPS 110881 HAS SOUS 69006 HAS SOUPS 69006 WITH SCORE 69116.881
AT ITER 257 NEW BEST:: SOT 205893 SOS 110873 HAS SOPS 110873 HAS SOUS 69006 HAS SOUPS 69006 WITH SCORE 69116.873
AT ITER 261 NEW BEST:: SOT 205635 SOS 109893 HAS SOPS 109893 HAS SOUS 68423 HAS SOUPS 68423 WITH SCORE 68532.893
AT ITER 266 NEW BEST:: SOT 204953 SOS 110625 HAS SOPS 110625 HAS SOUS 68248 HAS SOUPS 68248 WITH SCORE 68358.625
AT ITER 275 NEW BEST:: SOT 204890 SOS 110499 HAS SOPS 110499 HAS SOUS 68185 HAS SOUPS 68185 WITH SCORE 68295.499
AT ITER 276 NEW BEST:: SOT 204497 SOS 109713 HAS SOPS 109713 HAS SOUS 67723 HAS SOUPS 67723 WITH SCORE 67832.713
AT ITER 277 NEW BEST:: SOT 204497 SOS 109490 HAS SOPS 109490 HAS SOUS 67566 HAS SOUPS 67566 WITH SCORE 67675.49
AT ITER 279 NEW BEST:: SOT 204401 SOS 109298 HAS SOPS 109298 HAS SOUS 67470 HAS SOUPS 67470 WITH SCORE 67579.298
AT ITER 280 NEW BEST:: SOT 204135 SOS 108756 HAS SOPS 108756 HAS SOUS 66965 HAS SOUPS 66965 WITH SCORE 67073.756
AT ITER 282 NEW BEST:: SOT 204039 SOS 108564 HAS SOPS 108564 HAS SOUS 66828 HAS SOUPS 66828 WITH SCORE 66936.564
AT ITER 287 NEW BEST:: SOT 203941 SOS 108368 HAS SOPS 108368 HAS SOUS 66638 HAS SOUPS 66638 WITH SCORE 66746.368
AT ITER 288 NEW BEST:: SOT 203921 SOS 108472 HAS SOPS 108472 HAS SOUS 66618 HAS SOUPS 66618 WITH SCORE 66726.472
AT ITER 291 NEW BEST:: SOT 203858 SOS 108409 HAS SOPS 108409 HAS SOUS 66600 HAS SOUPS 66600 WITH SCORE 66708.409
AT ITER 296 NEW BEST:: SOT 203845 SOS 108337 HAS SOPS 108337 HAS SOUS 66587 HAS SOUPS 66587 WITH SCORE 66695.337
AT ITER 301 NEW BEST:: SOT 203762 SOS 108171 HAS SOPS 108171 HAS SOUS 66504 HAS SOUPS 66504 WITH SCORE 66612.171
AT ITER 308 NEW BEST:: SOT 203529 SOS 107850 HAS SOPS 107850 HAS SOUS 66406 HAS SOUPS 66406 WITH SCORE 66513.85
AT ITER 324 NEW BEST:: SOT 203484 SOS 107715 HAS SOPS 107715 HAS SOUS 66271 HAS SOUPS 66271 WITH SCORE 66378.715
AT ITER 328 NEW BEST:: SOT 203484 SOS 107694 HAS SOPS 107694 HAS SOUS 66271 HAS SOUPS 66271 WITH SCORE 66378.694
AT ITER 330 NEW BEST:: SOT 203482 SOS 107484 HAS SOPS 107484 HAS SOUS 66038 HAS SOUPS 66038 WITH SCORE 66145.484
AT ITER 335 NEW BEST:: SOT 203299 SOS 107192 HAS SOPS 107192 HAS SOUS 65889 HAS SOUPS 65889 WITH SCORE 65996.192
AT ITER 348 NEW BEST:: SOT 203471 SOS 107257 HAS SOPS 107257 HAS SOUS 65862 HAS SOUPS 65862 WITH SCORE 65969.257
AT ITER 351 NEW BEST:: SOT 203388 SOS 106833 HAS SOPS 106833 HAS SOUS 65732 HAS SOUPS 65732 WITH SCORE 65838.833
AT ITER 354 NEW BEST:: SOT 203197 SOS 106498 HAS SOPS 106498 HAS SOUS 65579 HAS SOUPS 65579 WITH SCORE 65685.498
AT ITER 355 NEW BEST:: SOT 203145 SOS 106446 HAS SOPS 106446 HAS SOUS 65542 HAS SOUPS 65542 WITH SCORE 65648.446
AT ITER 359 NEW BEST:: SOT 203036 SOS 106115 HAS SOPS 106115 HAS SOUS 65325 HAS SOUPS 65325 WITH SCORE 65431.115
AT ITER 360 NEW BEST:: SOT 203031 SOS 106110 HAS SOPS 106110 HAS SOUS 65320 HAS SOUPS 65320 WITH SCORE 65426.11
AT ITER 370 NEW BEST:: SOT 203031 SOS 106110 HAS SOPS 106110 HAS SOUS 65318 HAS SOUPS 65318 WITH SCORE 65424.11
AT ITER 383 NEW BEST:: SOT 202973 SOS 105994 HAS SOPS 105994 HAS SOUS 65202 HAS SOUPS 65202 WITH SCORE 65307.994
AT ITER 386 NEW BEST:: SOT 202133 SOS 105844 HAS SOPS 105844 HAS SOUS 64789 HAS SOUPS 64789 WITH SCORE 64894.844
AT ITER 394 NEW BEST:: SOT 202161 SOS 105568 HAS SOPS 105568 HAS SOUS 64743 HAS SOUPS 64743 WITH SCORE 64848.568
AT ITER 397 NEW BEST:: SOT 202218 SOS 105282 HAS SOPS 105282 HAS SOUS 64583 HAS SOUPS 64583 WITH SCORE 64688.282
AT ITER 399 NEW BEST:: SOT 202042 SOS 104967 HAS SOPS 104967 HAS SOUS 64505 HAS SOUPS 64505 WITH SCORE 64609.967
AT ITER 402 NEW BEST:: SOT 201990 SOS 104915 HAS SOPS 104915 HAS SOUS 64453 HAS SOUPS 64453 WITH SCORE 64557.915
AT ITER 403 NEW BEST:: SOT 201986 SOS 104907 HAS SOPS 104907 HAS SOUS 64449 HAS SOUPS 64449 WITH SCORE 64553.907
AT ITER 406 NEW BEST:: SOT 202006 SOS 104892 HAS SOPS 104892 HAS SOUS 64433 HAS SOUPS 64433 WITH SCORE 64537.892
AT ITER 410 NEW BEST:: SOT 201990 SOS 104851 HAS SOPS 104851 HAS SOUS 64406 HAS SOUPS 64406 WITH SCORE 64510.851
AT ITER 412 NEW BEST:: SOT 201990 SOS 104836 HAS SOPS 104836 HAS SOUS 64376 HAS SOUPS 64376 WITH SCORE 64480.836
AT ITER 414 NEW BEST:: SOT 201990 SOS 104836 HAS SOPS 104836 HAS SOUS 64366 HAS SOUPS 64366 WITH SCORE 64470.836
AT ITER 426 NEW BEST:: SOT 201883 SOS 104729 HAS SOPS 104729 HAS SOUS 64318 HAS SOUPS 64318 WITH SCORE 64422.729
AT ITER 432 NEW BEST:: SOT 201883 SOS 104729 HAS SOPS 104729 HAS SOUS 64315 HAS SOUPS 64315 WITH SCORE 64419.729
AT ITER 433 NEW BEST:: SOT 201800 SOS 104705 HAS SOPS 104705 HAS SOUS 64204 HAS SOUPS 64204 WITH SCORE 64308.705
AT ITER 434 NEW BEST:: SOT 201797 SOS 104699 HAS SOPS 104699 HAS SOUS 64198 HAS SOUPS 64198 WITH SCORE 64302.699
AT ITER 435 NEW BEST:: SOT 201797 SOS 104667 HAS SOPS 104667 HAS SOUS 64166 HAS SOUPS 64166 WITH SCORE 64270.667
AT ITER 438 NEW BEST:: SOT 201830 SOS 104693 HAS SOPS 104693 HAS SOUS 64136 HAS SOUPS 64136 WITH SCORE 64240.693
AT ITER 443 NEW BEST:: SOT 201570 SOS 104173 HAS SOPS 104173 HAS SOUS 63830 HAS SOUPS 63830 WITH SCORE 63934.173
AT ITER 447 NEW BEST:: SOT 201248 SOS 103711 HAS SOPS 103711 HAS SOUS 63575 HAS SOUPS 63575 WITH SCORE 63678.711
AT ITER 454 NEW BEST:: SOT 201138 SOS 103538 HAS SOPS 103538 HAS SOUS 63402 HAS SOUPS 63402 WITH SCORE 63505.538
AT ITER 455 NEW BEST:: SOT 200119 SOS 102730 HAS SOPS 102730 HAS SOUS 62383 HAS SOUPS 62383 WITH SCORE 62485.73
AT ITER 458 NEW BEST:: SOT 200050 SOS 102592 HAS SOPS 102592 HAS SOUS 62314 HAS SOUPS 62314 WITH SCORE 62416.592
AT ITER 459 NEW BEST:: SOT 200017 SOS 102596 HAS SOPS 102596 HAS SOUS 62281 HAS SOUPS 62281 WITH SCORE 62383.596
AT ITER 479 NEW BEST:: SOT 200006 SOS 102552 HAS SOPS 102552 HAS SOUS 62259 HAS SOUPS 62259 WITH SCORE 62361.552
AT ITER 493 NEW BEST:: SOT 200002 SOS 102544 HAS SOPS 102544 HAS SOUS 62256 HAS SOUPS 62256 WITH SCORE 62358.544
AT ITER 494 NEW BEST:: SOT 200017 SOS 102520 HAS SOPS 102520 HAS SOUS 62194 HAS SOUPS 62194 WITH SCORE 62296.52
AT ITER 515 NEW BEST:: SOT 200012 SOS 102510 HAS SOPS 102510 HAS SOUS 62189 HAS SOUPS 62189 WITH SCORE 62291.51
AT ITER 516 NEW BEST:: SOT 199883 SOS 102381 HAS SOPS 102381 HAS SOUS 62168 HAS SOUPS 62168 WITH SCORE 62270.381
AT ITER 524 NEW BEST:: SOT 199768 SOS 102266 HAS SOPS 102266 HAS SOUS 62053 HAS SOUPS 62053 WITH SCORE 62155.266
AT ITER 530 NEW BEST:: SOT 199618 SOS 102041 HAS SOPS 102041 HAS SOUS 61978 HAS SOUPS 61978 WITH SCORE 62080.041
AT ITER 535 NEW BEST:: SOT 199590 SOS 102041 HAS SOPS 102041 HAS SOUS 61950 HAS SOUPS 61950 WITH SCORE 62052.041
AT ITER 540 NEW BEST:: SOT 199573 SOS 101911 HAS SOPS 101911 HAS SOUS 61905 HAS SOUPS 61905 WITH SCORE 62006.911
AT ITER 549 NEW BEST:: SOT 199547 SOS 101807 HAS SOPS 101807 HAS SOUS 61853 HAS SOUPS 61853 WITH SCORE 61954.807
AT ITER 551 NEW BEST:: SOT 199547 SOS 101799 HAS SOPS 101799 HAS SOUS 61853 HAS SOUPS 61853 WITH SCORE 61954.799
AT ITER 553 NEW BEST:: SOT 199511 SOS 101763 HAS SOPS 101763 HAS SOUS 61845 HAS SOUPS 61845 WITH SCORE 61946.763
AT ITER 560 NEW BEST:: SOT 199507 SOS 101715 HAS SOPS 101715 HAS SOUS 61784 HAS SOUPS 61784 WITH SCORE 61885.715
AT ITER 562 NEW BEST:: SOT 199507 SOS 100929 HAS SOPS 100929 HAS SOUS 61352 HAS SOUPS 61352 WITH SCORE 61452.929
AT ITER 563 NEW BEST:: SOT 199507 SOS 100929 HAS SOPS 100929 HAS SOUS 61295 HAS SOUPS 61295 WITH SCORE 61395.929
AT ITER 571 NEW BEST:: SOT 199271 SOS 100457 HAS SOPS 100457 HAS SOUS 60914 HAS SOUPS 60914 WITH SCORE 61014.457
AT ITER 584 NEW BEST:: SOT 199219 SOS 100405 HAS SOPS 100405 HAS SOUS 60862 HAS SOUPS 60862 WITH SCORE 60962.405
AT ITER 586 NEW BEST:: SOT 199123 SOS 100213 HAS SOPS 100213 HAS SOUS 60860 HAS SOUPS 60860 WITH SCORE 60960.213
AT ITER 587 NEW BEST:: SOT 199130 SOS 100227 HAS SOPS 100227 HAS SOUS 60831 HAS SOUPS 60831 WITH SCORE 60931.227
AT ITER 593 NEW BEST:: SOT 199046 SOS 99983 HAS SOPS 99983 HAS SOUS 60587 HAS SOUPS 60587 WITH SCORE 60686.983
AT ITER 597 NEW BEST:: SOT 199046 SOS 99689 HAS SOPS 99689 HAS SOUS 60380 HAS SOUPS 60380 WITH SCORE 60479.689
AT ITER 598 NEW BEST:: SOT 199548 SOS 98565 HAS SOPS 98565 HAS SOUS 60362 HAS SOUPS 60362 WITH SCORE 60460.565
AT ITER 602 NEW BEST:: SOT 199478 SOS 98495 HAS SOPS 98495 HAS SOUS 60292 HAS SOUPS 60292 WITH SCORE 60390.495
AT ITER 613 NEW BEST:: SOT 199454 SOS 98345 HAS SOPS 98345 HAS SOUS 60290 HAS SOUPS 60290 WITH SCORE 60388.345
AT ITER 620 NEW BEST:: SOT 199406 SOS 98145 HAS SOPS 98145 HAS SOUS 60204 HAS SOUPS 60204 WITH SCORE 60302.145
AT ITER 621 NEW BEST:: SOT 199303 SOS 98002 HAS SOPS 98002 HAS SOUS 60124 HAS SOUPS 60124 WITH SCORE 60222.002
AT ITER 626 NEW BEST:: SOT 199294 SOS 97876 HAS SOPS 97876 HAS SOUS 60115 HAS SOUPS 60115 WITH SCORE 60212.876
AT ITER 628 NEW BEST:: SOT 199294 SOS 97876 HAS SOPS 97876 HAS SOUS 60113 HAS SOUPS 60113 WITH SCORE 60210.876
AT ITER 661 NEW BEST:: SOT 199166 SOS 97762 HAS SOPS 97762 HAS SOUS 59924 HAS SOUPS 59924 WITH SCORE 60021.762
AT ITER 665 NEW BEST:: SOT 199191 SOS 97568 HAS SOPS 97568 HAS SOUS 59915 HAS SOUPS 59915 WITH SCORE 60012.568
AT ITER 666 NEW BEST:: SOT 199191 SOS 97563 HAS SOPS 97563 HAS SOUS 59856 HAS SOUPS 59856 WITH SCORE 59953.563
AT ITER 671 NEW BEST:: SOT 198919 SOS 97066 HAS SOPS 97066 HAS SOUS 59632 HAS SOUPS 59632 WITH SCORE 59729.066
AT ITER 673 NEW BEST:: SOT 198918 SOS 97062 HAS SOPS 97062 HAS SOUS 59630 HAS SOUPS 59630 WITH SCORE 59727.062
AT ITER 674 NEW BEST:: SOT 198918 SOS 96878 HAS SOPS 96878 HAS SOUS 59308 HAS SOUPS 59308 WITH SCORE 59404.878
AT ITER 676 NEW BEST:: SOT 198892 SOS 96774 HAS SOPS 96774 HAS SOUS 59256 HAS SOUPS 59256 WITH SCORE 59352.774
AT ITER 678 NEW BEST:: SOT 198863 SOS 96687 HAS SOPS 96687 HAS SOUS 59227 HAS SOUPS 59227 WITH SCORE 59323.687
AT ITER 694 NEW BEST:: SOT 198863 SOS 96631 HAS SOPS 96631 HAS SOUS 59171 HAS SOUPS 59171 WITH SCORE 59267.631
AT ITER 696 NEW BEST:: SOT 198494 SOS 95893 HAS SOPS 95893 HAS SOUS 58619 HAS SOUPS 58619 WITH SCORE 58714.893
AT ITER 699 NEW BEST:: SOT 198310 SOS 95525 HAS SOPS 95525 HAS SOUS 58370 HAS SOUPS 58370 WITH SCORE 58465.525
AT ITER 707 NEW BEST:: SOT 198294 SOS 95493 HAS SOPS 95493 HAS SOUS 58354 HAS SOUPS 58354 WITH SCORE 58449.493
AT ITER 712 NEW BEST:: SOT 198271 SOS 95447 HAS SOPS 95447 HAS SOUS 58335 HAS SOUPS 58335 WITH SCORE 58430.447
AT ITER 714 NEW BEST:: SOT 198183 SOS 95359 HAS SOPS 95359 HAS SOUS 58319 HAS SOUPS 58319 WITH SCORE 58414.359
AT ITER 716 NEW BEST:: SOT 198168 SOS 95336 HAS SOPS 95336 HAS SOUS 58247 HAS SOUPS 58247 WITH SCORE 58342.336
AT ITER 717 NEW BEST:: SOT 197888 SOS 94957 HAS SOPS 94957 HAS SOUS 57967 HAS SOUPS 57967 WITH SCORE 58061.957
AT ITER 718 NEW BEST:: SOT 197899 SOS 94934 HAS SOPS 94934 HAS SOUS 57944 HAS SOUPS 57944 WITH SCORE 58038.934
AT ITER 719 NEW BEST:: SOT 197894 SOS 94929 HAS SOPS 94929 HAS SOUS 57934 HAS SOUPS 57934 WITH SCORE 58028.929
AT ITER 721 NEW BEST:: SOT 197894 SOS 94447 HAS SOPS 94447 HAS SOUS 57879 HAS SOUPS 57879 WITH SCORE 57973.447
AT ITER 733 NEW BEST:: SOT 197872 SOS 94403 HAS SOPS 94403 HAS SOUS 57857 HAS SOUPS 57857 WITH SCORE 57951.403
AT ITER 736 NEW BEST:: SOT 197835 SOS 94329 HAS SOPS 94329 HAS SOUS 57735 HAS SOUPS 57735 WITH SCORE 57829.329
AT ITER 742 NEW BEST:: SOT 197805 SOS 94290 HAS SOPS 94290 HAS SOUS 57688 HAS SOUPS 57688 WITH SCORE 57782.29
AT ITER 745 NEW BEST:: SOT 197724 SOS 94129 HAS SOPS 94129 HAS SOUS 57383 HAS SOUPS 57383 WITH SCORE 57477.129
AT ITER 751 NEW BEST:: SOT 197783 SOS 94188 HAS SOPS 94188 HAS SOUS 57364 HAS SOUPS 57364 WITH SCORE 57458.188
AT ITER 754 NEW BEST:: SOT 197737 SOS 94119 HAS SOPS 94119 HAS SOUS 57295 HAS SOUPS 57295 WITH SCORE 57389.119
AT ITER 756 NEW BEST:: SOT 197699 SOS 94088 HAS SOPS 94088 HAS SOUS 57257 HAS SOUPS 57257 WITH SCORE 57351.088
AT ITER 761 NEW BEST:: SOT 197718 SOS 94097 HAS SOPS 94097 HAS SOUS 57204 HAS SOUPS 57204 WITH SCORE 57298.097
AT ITER 763 NEW BEST:: SOT 197664 SOS 93989 HAS SOPS 93989 HAS SOUS 57150 HAS SOUPS 57150 WITH SCORE 57243.989
AT ITER 790 NEW BEST:: SOT 197584 SOS 93829 HAS SOPS 93829 HAS SOUS 57051 HAS SOUPS 57051 WITH SCORE 57144.829
AT ITER 792 NEW BEST:: SOT 197583 SOS 93827 HAS SOPS 93827 HAS SOUS 57049 HAS SOUPS 57049 WITH SCORE 57142.827
AT ITER 795 NEW BEST:: SOT 197571 SOS 93768 HAS SOPS 93768 HAS SOUS 57025 HAS SOUPS 57025 WITH SCORE 57118.768
AT ITER 809 NEW BEST:: SOT 197551 SOS 93748 HAS SOPS 93748 HAS SOUS 56948 HAS SOUPS 56948 WITH SCORE 57041.748
AT ITER 812 NEW BEST:: SOT 197550 SOS 93716 HAS SOPS 93716 HAS SOUS 56941 HAS SOUPS 56941 WITH SCORE 57034.716
AT ITER 824 NEW BEST:: SOT 197492 SOS 93693 HAS SOPS 93693 HAS SOUS 56883 HAS SOUPS 56883 WITH SCORE 56976.693
AT ITER 837 NEW BEST:: SOT 197470 SOS 93451 HAS SOPS 93451 HAS SOUS 56861 HAS SOUPS 56861 WITH SCORE 56954.451
AT ITER 843 NEW BEST:: SOT 197262 SOS 93141 HAS SOPS 93141 HAS SOUS 56657 HAS SOUPS 56657 WITH SCORE 56750.141
AT ITER 844 NEW BEST:: SOT 197102 SOS 93001 HAS SOPS 93001 HAS SOUS 56557 HAS SOUPS 56557 WITH SCORE 56650.001
AT ITER 856 NEW BEST:: SOT 197109 SOS 93008 HAS SOPS 93008 HAS SOUS 56532 HAS SOUPS 56532 WITH SCORE 56625.008
AT ITER 861 NEW BEST:: SOT 197097 SOS 92996 HAS SOPS 92996 HAS SOUS 56520 HAS SOUPS 56520 WITH SCORE 56612.996
AT ITER 872 NEW BEST:: SOT 197056 SOS 92955 HAS SOPS 92955 HAS SOUS 56438 HAS SOUPS 56438 WITH SCORE 56530.955
AT ITER 877 NEW BEST:: SOT 197081 SOS 92619 HAS SOPS 92619 HAS SOUS 56424 HAS SOUPS 56424 WITH SCORE 56516.619
AT ITER 897 NEW BEST:: SOT 197092 SOS 92630 HAS SOPS 92630 HAS SOUS 56409 HAS SOUPS 56409 WITH SCORE 56501.63
AT ITER 898 NEW BEST:: SOT 196176 SOS 91632 HAS SOPS 91632 HAS SOUS 55444 HAS SOUPS 55444 WITH SCORE 55535.632
AT ITER 914 NEW BEST:: SOT 196025 SOS 91333 HAS SOPS 91333 HAS SOUS 55220 HAS SOUPS 55220 WITH SCORE 55311.333
AT ITER 917 NEW BEST:: SOT 195964 SOS 91101 HAS SOPS 91101 HAS SOUS 55045 HAS SOUPS 55045 WITH SCORE 55136.101
AT ITER 928 NEW BEST:: SOT 195947 SOS 91084 HAS SOPS 91084 HAS SOUS 55028 HAS SOUPS 55028 WITH SCORE 55119.084
AT ITER 930 NEW BEST:: SOT 195946 SOS 91083 HAS SOPS 91083 HAS SOUS 55027 HAS SOUPS 55027 WITH SCORE 55118.083
AT ITER 932 NEW BEST:: SOT 195943 SOS 91080 HAS SOPS 91080 HAS SOUS 55008 HAS SOUPS 55008 WITH SCORE 55099.08
AT ITER 935 NEW BEST:: SOT 195901 SOS 91117 HAS SOPS 91117 HAS SOUS 54998 HAS SOUPS 54998 WITH SCORE 55089.117
AT ITER 945 NEW BEST:: SOT 195909 SOS 91040 HAS SOPS 91040 HAS SOUS 54976 HAS SOUPS 54976 WITH SCORE 55067.04
AT ITER 948 NEW BEST:: SOT 195899 SOS 91030 HAS SOPS 91030 HAS SOUS 54976 HAS SOUPS 54976 WITH SCORE 55067.03
AT ITER 957 NEW BEST:: SOT 195846 SOS 90977 HAS SOPS 90977 HAS SOUS 54923 HAS SOUPS 54923 WITH SCORE 55013.977
AT ITER 961 NEW BEST:: SOT 195846 SOS 90654 HAS SOPS 90654 HAS SOUS 54795 HAS SOUPS 54795 WITH SCORE 54885.654
AT ITER 970 NEW BEST:: SOT 195822 SOS 90565 HAS SOPS 90565 HAS SOUS 54755 HAS SOUPS 54755 WITH SCORE 54845.565
AT ITER 973 NEW BEST:: SOT 195819 SOS 90562 HAS SOPS 90562 HAS SOUS 54755 HAS SOUPS 54755 WITH SCORE 54845.562
AT ITER 985 NEW BEST:: SOT 195778 SOS 90521 HAS SOPS 90521 HAS SOUS 54714 HAS SOUPS 54714 WITH SCORE 54804.521
AT ITER 986 NEW BEST:: SOT 195748 SOS 90461 HAS SOPS 90461 HAS SOUS 54684 HAS SOUPS 54684 WITH SCORE 54774.461
AT ITER 987 NEW BEST:: SOT 195643 SOS 90238 HAS SOPS 90238 HAS SOUS 54571 HAS SOUPS 54571 WITH SCORE 54661.238
AT ITER 999 NEW BEST:: SOT 195607 SOS 89953 HAS SOPS 89953 HAS SOUS 54499 HAS SOUPS 54499 WITH SCORE 54588.953
AT ITER 1002 NEW BEST:: SOT 195627 SOS 89914 HAS SOPS 89914 HAS SOUS 54487 HAS SOUPS 54487 WITH SCORE 54576.914
AT ITER 1003 NEW BEST:: SOT 195551 SOS 89838 HAS SOPS 89838 HAS SOUS 54411 HAS SOUPS 54411 WITH SCORE 54500.838
AT ITER 1007 NEW BEST:: SOT 195551 SOS 89730 HAS SOPS 89730 HAS SOUS 54411 HAS SOUPS 54411 WITH SCORE 54500.73
AT ITER 1012 NEW BEST:: SOT 195382 SOS 89485 HAS SOPS 89485 HAS SOUS 54275 HAS SOUPS 54275 WITH SCORE 54364.485
AT ITER 1014 NEW BEST:: SOT 195237 SOS 89145 HAS SOPS 89145 HAS SOUS 54207 HAS SOUPS 54207 WITH SCORE 54296.145
AT ITER 1017 NEW BEST:: SOT 195237 SOS 89137 HAS SOPS 89137 HAS SOUS 54198 HAS SOUPS 54198 WITH SCORE 54287.137
AT ITER 1035 NEW BEST:: SOT 195082 SOS 88936 HAS SOPS 88936 HAS SOUS 53945 HAS SOUPS 53945 WITH SCORE 54033.936
AT ITER 1036 NEW BEST:: SOT 195049 SOS 88903 HAS SOPS 88903 HAS SOUS 53912 HAS SOUPS 53912 WITH SCORE 54000.903
AT ITER 1037 NEW BEST:: SOT 195032 SOS 88739 HAS SOPS 88739 HAS SOUS 53748 HAS SOUPS 53748 WITH SCORE 53836.739
AT ITER 1043 NEW BEST:: SOT 194852 SOS 88559 HAS SOPS 88559 HAS SOUS 53748 HAS SOUPS 53748 WITH SCORE 53836.559
AT ITER 1045 NEW BEST:: SOT 194861 SOS 88417 HAS SOPS 88417 HAS SOUS 53533 HAS SOUPS 53533 WITH SCORE 53621.417
AT ITER 1048 NEW BEST:: SOT 194861 SOS 88364 HAS SOPS 88364 HAS SOUS 53533 HAS SOUPS 53533 WITH SCORE 53621.364
AT ITER 1049 NEW BEST:: SOT 194662 SOS 88120 HAS SOPS 88120 HAS SOUS 53387 HAS SOUPS 53387 WITH SCORE 53475.12
AT ITER 1060 NEW BEST:: SOT 194404 SOS 88074 HAS SOPS 88074 HAS SOUS 53267 HAS SOUPS 53267 WITH SCORE 53355.074
AT ITER 1088 NEW BEST:: SOT 194388 SOS 88042 HAS SOPS 88042 HAS SOUS 53251 HAS SOUPS 53251 WITH SCORE 53339.042
AT ITER 1099 NEW BEST:: SOT 194430 SOS 87716 HAS SOPS 87716 HAS SOUS 53045 HAS SOUPS 53045 WITH SCORE 53132.716
AT ITER 1103 NEW BEST:: SOT 194475 SOS 87721 HAS SOPS 87721 HAS SOUS 53032 HAS SOUPS 53032 WITH SCORE 53119.721
AT ITER 1104 NEW BEST:: SOT 194562 SOS 87861 HAS SOPS 87861 HAS SOUS 52969 HAS SOUPS 52969 WITH SCORE 53056.861
AT ITER 1110 NEW BEST:: SOT 194492 SOS 87841 HAS SOPS 87841 HAS SOUS 52918 HAS SOUPS 52918 WITH SCORE 53005.841
AT ITER 1112 NEW BEST:: SOT 194472 SOS 87657 HAS SOPS 87657 HAS SOUS 52894 HAS SOUPS 52894 WITH SCORE 52981.657
AT ITER 1123 NEW BEST:: SOT 194472 SOS 87657 HAS SOPS 87657 HAS SOUS 52884 HAS SOUPS 52884 WITH SCORE 52971.657
AT ITER 1124 NEW BEST:: SOT 194465 SOS 87516 HAS SOPS 87516 HAS SOUS 52750 HAS SOUPS 52750 WITH SCORE 52837.516
AT ITER 1125 NEW BEST:: SOT 194465 SOS 87497 HAS SOPS 87497 HAS SOUS 52731 HAS SOUPS 52731 WITH SCORE 52818.497
AT ITER 1128 NEW BEST:: SOT 194546 SOS 87464 HAS SOPS 87464 HAS SOUS 52479 HAS SOUPS 52479 WITH SCORE 52566.464
AT ITER 1154 NEW BEST:: SOT 194740 SOS 87469 HAS SOPS 87469 HAS SOUS 52275 HAS SOUPS 52275 WITH SCORE 52362.469
AT ITER 1161 NEW BEST:: SOT 194702 SOS 87393 HAS SOPS 87393 HAS SOUS 52237 HAS SOUPS 52237 WITH SCORE 52324.393
AT ITER 1163 NEW BEST:: SOT 194543 SOS 87337 HAS SOPS 87337 HAS SOUS 52105 HAS SOUPS 52105 WITH SCORE 52192.337
AT ITER 1180 NEW BEST:: SOT 194543 SOS 87337 HAS SOPS 87337 HAS SOUS 52094 HAS SOUPS 52094 WITH SCORE 52181.337
AT ITER 1188 NEW BEST:: SOT 194527 SOS 87305 HAS SOPS 87305 HAS SOUS 52077 HAS SOUPS 52077 WITH SCORE 52164.305
AT ITER 1190 NEW BEST:: SOT 194508 SOS 87286 HAS SOPS 87286 HAS SOUS 52077 HAS SOUPS 52077 WITH SCORE 52164.286
AT ITER 1197 NEW BEST:: SOT 193794 SOS 88678 HAS SOPS 88678 HAS SOUS 51645 HAS SOUPS 51645 WITH SCORE 51733.678
AT ITER 1205 NEW BEST:: SOT 193720 SOS 88604 HAS SOPS 88604 HAS SOUS 51645 HAS SOUPS 51645 WITH SCORE 51733.604
AT ITER 1206 NEW BEST:: SOT 193720 SOS 88537 HAS SOPS 88537 HAS SOUS 51578 HAS SOUPS 51578 WITH SCORE 51666.537
AT ITER 1212 NEW BEST:: SOT 193643 SOS 88484 HAS SOPS 88484 HAS SOUS 51525 HAS SOUPS 51525 WITH SCORE 51613.484
AT ITER 1214 NEW BEST:: SOT 193499 SOS 88194 HAS SOPS 88194 HAS SOUS 51235 HAS SOUPS 51235 WITH SCORE 51323.194
AT ITER 1219 NEW BEST:: SOT 193490 SOS 88176 HAS SOPS 88176 HAS SOUS 51217 HAS SOUPS 51217 WITH SCORE 51305.176
AT ITER 1231 NEW BEST:: SOT 193521 SOS 88166 HAS SOPS 88166 HAS SOUS 51095 HAS SOUPS 51095 WITH SCORE 51183.166
AT ITER 1243 NEW BEST:: SOT 193521 SOS 88150 HAS SOPS 88150 HAS SOUS 51078 HAS SOUPS 51078 WITH SCORE 51166.15
AT ITER 1248 NEW BEST:: SOT 193521 SOS 88109 HAS SOPS 88109 HAS SOUS 51078 HAS SOUPS 51078 WITH SCORE 51166.109
AT ITER 1253 NEW BEST:: SOT 193499 SOS 88000 HAS SOPS 88000 HAS SOUS 51042 HAS SOUPS 51042 WITH SCORE 51130.0
AT ITER 1263 NEW BEST:: SOT 193513 SOS 88096 HAS SOPS 88096 HAS SOUS 51023 HAS SOUPS 51023 WITH SCORE 51111.096
AT ITER 1264 NEW BEST:: SOT 193493 SOS 81989 HAS SOPS 81989 HAS SOUS 50785 HAS SOUPS 50785 WITH SCORE 50866.989
AT ITER 1267 NEW BEST:: SOT 193493 SOS 81955 HAS SOPS 81955 HAS SOUS 50748 HAS SOUPS 50748 WITH SCORE 50829.955
AT ITER 1273 NEW BEST:: SOT 193482 SOS 81914 HAS SOPS 81914 HAS SOUS 50726 HAS SOUPS 50726 WITH SCORE 50807.914
AT ITER 1278 NEW BEST:: SOT 193452 SOS 81728 HAS SOPS 81728 HAS SOUS 50540 HAS SOUPS 50540 WITH SCORE 50621.728
AT ITER 1279 NEW BEST:: SOT 193312 SOS 81573 HAS SOPS 81573 HAS SOUS 50514 HAS SOUPS 50514 WITH SCORE 50595.573
AT ITER 1285 NEW BEST:: SOT 193351 SOS 81555 HAS SOPS 81555 HAS SOUS 50498 HAS SOUPS 50498 WITH SCORE 50579.555
AT ITER 1287 NEW BEST:: SOT 193119 SOS 81976 HAS SOPS 81976 HAS SOUS 50332 HAS SOUPS 50332 WITH SCORE 50413.976
AT ITER 1288 NEW BEST:: SOT 193073 SOS 81815 HAS SOPS 81815 HAS SOUS 50223 HAS SOUPS 50223 WITH SCORE 50304.815
AT ITER 1291 NEW BEST:: SOT 193073 SOS 81765 HAS SOPS 81765 HAS SOUS 50173 HAS SOUPS 50173 WITH SCORE 50254.765
AT ITER 1294 NEW BEST:: SOT 193063 SOS 81755 HAS SOPS 81755 HAS SOUS 50163 HAS SOUPS 50163 WITH SCORE 50244.755
AT ITER 1303 NEW BEST:: SOT 192965 SOS 81553 HAS SOPS 81553 HAS SOUS 50065 HAS SOUPS 50065 WITH SCORE 50146.553
AT ITER 1307 NEW BEST:: SOT 192891 SOS 81479 HAS SOPS 81479 HAS SOUS 49991 HAS SOUPS 49991 WITH SCORE 50072.479
AT ITER 1328 NEW BEST:: SOT 192877 SOS 81410 HAS SOPS 81410 HAS SOUS 49958 HAS SOUPS 49958 WITH SCORE 50039.41
AT ITER 1330 NEW BEST:: SOT 192868 SOS 81383 HAS SOPS 81383 HAS SOUS 49949 HAS SOUPS 49949 WITH SCORE 50030.383
AT ITER 1354 NEW BEST:: SOT 192830 SOS 81343 HAS SOPS 81343 HAS SOUS 49909 HAS SOUPS 49909 WITH SCORE 49990.343
AT ITER 1356 NEW BEST:: SOT 192799 SOS 81471 HAS SOPS 81471 HAS SOUS 49878 HAS SOUPS 49878 WITH SCORE 49959.471
AT ITER 1370 NEW BEST:: SOT 192574 SOS 81226 HAS SOPS 81226 HAS SOUS 49847 HAS SOUPS 49847 WITH SCORE 49928.226
AT ITER 1377 NEW BEST:: SOT 192574 SOS 81225 HAS SOPS 81225 HAS SOUS 49846 HAS SOUPS 49846 WITH SCORE 49927.225
AT ITER 1382 NEW BEST:: SOT 192565 SOS 81331 HAS SOPS 81331 HAS SOUS 49794 HAS SOUPS 49794 WITH SCORE 49875.331
AT ITER 1400 NEW BEST:: SOT 192565 SOS 81317 HAS SOPS 81317 HAS SOUS 49794 HAS SOUPS 49794 WITH SCORE 49875.317
AT ITER 1405 NEW BEST:: SOT 192565 SOS 81309 HAS SOPS 81309 HAS SOUS 49790 HAS SOUPS 49790 WITH SCORE 49871.309
AT ITER 1407 NEW BEST:: SOT 192549 SOS 81245 HAS SOPS 81245 HAS SOUS 49758 HAS SOUPS 49758 WITH SCORE 49839.245
AT ITER 1413 NEW BEST:: SOT 192526 SOS 81296 HAS SOPS 81296 HAS SOUS 49735 HAS SOUPS 49735 WITH SCORE 49816.296
AT ITER 1438 NEW BEST:: SOT 192511 SOS 80960 HAS SOPS 80960 HAS SOUS 49705 HAS SOUPS 49705 WITH SCORE 49785.96
AT ITER 1459 NEW BEST:: SOT 192511 SOS 80947 HAS SOPS 80947 HAS SOUS 49705 HAS SOUPS 49705 WITH SCORE 49785.947
AT ITER 1480 NEW BEST:: SOT 192511 SOS 80937 HAS SOPS 80937 HAS SOUS 49705 HAS SOUPS 49705 WITH SCORE 49785.937
AT ITER 1489 NEW BEST:: SOT 192439 SOS 80793 HAS SOPS 80793 HAS SOUS 49633 HAS SOUPS 49633 WITH SCORE 49713.793
AT ITER 1491 NEW BEST:: SOT 192617 SOS 80886 HAS SOPS 80886 HAS SOUS 49608 HAS SOUPS 49608 WITH SCORE 49688.886
AT ITER 1500 NEW BEST:: SOT 192612 SOS 80881 HAS SOPS 80881 HAS SOUS 49603 HAS SOUPS 49603 WITH SCORE 49683.881
AT ITER 1516 NEW BEST:: SOT 192572 SOS 80901 HAS SOPS 80901 HAS SOUS 49583 HAS SOUPS 49583 WITH SCORE 49663.901
AT ITER 1517 NEW BEST:: SOT 192566 SOS 80886 HAS SOPS 80886 HAS SOUS 49568 HAS SOUPS 49568 WITH SCORE 49648.886
AT ITER 1518 NEW BEST:: SOT 192558 SOS 80870 HAS SOPS 80870 HAS SOUS 49552 HAS SOUPS 49552 WITH SCORE 49632.87
AT ITER 1520 NEW BEST:: SOT 192494 SOS 80753 HAS SOPS 80753 HAS SOUS 49435 HAS SOUPS 49435 WITH SCORE 49515.753
AT ITER 1523 NEW BEST:: SOT 192494 SOS 80753 HAS SOPS 80753 HAS SOUS 49376 HAS SOUPS 49376 WITH SCORE 49456.753
AT ITER 1545 NEW BEST:: SOT 192449 SOS 80731 HAS SOPS 80731 HAS SOUS 49354 HAS SOUPS 49354 WITH SCORE 49434.731
AT ITER 1558 NEW BEST:: SOT 192398 SOS 80671 HAS SOPS 80671 HAS SOUS 49336 HAS SOUPS 49336 WITH SCORE 49416.671
AT ITER 1559 NEW BEST:: SOT 192411 SOS 80621 HAS SOPS 80621 HAS SOUS 49324 HAS SOUPS 49324 WITH SCORE 49404.621
AT ITER 1562 NEW BEST:: SOT 192409 SOS 80609 HAS SOPS 80609 HAS SOUS 49312 HAS SOUPS 49312 WITH SCORE 49392.609
AT ITER 1563 NEW BEST:: SOT 192399 SOS 80595 HAS SOPS 80595 HAS SOUS 49308 HAS SOUPS 49308 WITH SCORE 49388.595
AT ITER 1564 NEW BEST:: SOT 192359 SOS 80627 HAS SOPS 80627 HAS SOUS 49268 HAS SOUPS 49268 WITH SCORE 49348.627
AT ITER 1567 NEW BEST:: SOT 192200 SOS 80468 HAS SOPS 80468 HAS SOUS 49268 HAS SOUPS 49268 WITH SCORE 49348.468
AT ITER 1570 NEW BEST:: SOT 192200 SOS 80468 HAS SOPS 80468 HAS SOUS 49248 HAS SOUPS 49248 WITH SCORE 49328.468
AT ITER 1571 NEW BEST:: SOT 192066 SOS 80334 HAS SOPS 80334 HAS SOUS 49114 HAS SOUPS 49114 WITH SCORE 49194.334
AT ITER 1577 NEW BEST:: SOT 191863 SOS 80116 HAS SOPS 80116 HAS SOUS 48977 HAS SOUPS 48977 WITH SCORE 49057.116
AT ITER 1585 NEW BEST:: SOT 191863 SOS 79868 HAS SOPS 79868 HAS SOUS 48977 HAS SOUPS 48977 WITH SCORE 49056.868
AT ITER 1588 NEW BEST:: SOT 191773 SOS 79778 HAS SOPS 79778 HAS SOUS 48848 HAS SOUPS 48848 WITH SCORE 48927.778
AT ITER 1589 NEW BEST:: SOT 191772 SOS 79777 HAS SOPS 79777 HAS SOUS 48847 HAS SOUPS 48847 WITH SCORE 48926.777
AT ITER 1609 NEW BEST:: SOT 191723 SOS 79679 HAS SOPS 79679 HAS SOUS 48798 HAS SOUPS 48798 WITH SCORE 48877.679
AT ITER 1610 NEW BEST:: SOT 191700 SOS 79657 HAS SOPS 79657 HAS SOUS 48776 HAS SOUPS 48776 WITH SCORE 48855.657
AT ITER 1613 NEW BEST:: SOT 191660 SOS 79537 HAS SOPS 79537 HAS SOUS 48656 HAS SOUPS 48656 WITH SCORE 48735.537
AT ITER 1615 NEW BEST:: SOT 191398 SOS 79013 HAS SOPS 79013 HAS SOUS 48157 HAS SOUPS 48157 WITH SCORE 48236.013
AT ITER 1617 NEW BEST:: SOT 191364 SOS 78408 HAS SOPS 78408 HAS SOUS 48058 HAS SOUPS 48058 WITH SCORE 48136.408
AT ITER 1620 NEW BEST:: SOT 191338 SOS 78330 HAS SOPS 78330 HAS SOUS 48006 HAS SOUPS 48006 WITH SCORE 48084.33
AT ITER 1631 NEW BEST:: SOT 191337 SOS 78328 HAS SOPS 78328 HAS SOUS 48005 HAS SOUPS 48005 WITH SCORE 48083.328
AT ITER 1645 NEW BEST:: SOT 191322 SOS 78313 HAS SOPS 78313 HAS SOUS 47990 HAS SOUPS 47990 WITH SCORE 48068.313
AT ITER 1648 NEW BEST:: SOT 191322 SOS 78307 HAS SOPS 78307 HAS SOUS 47984 HAS SOUPS 47984 WITH SCORE 48062.307
AT ITER 1651 NEW BEST:: SOT 191321 SOS 78304 HAS SOPS 78304 HAS SOUS 47982 HAS SOUPS 47982 WITH SCORE 48060.304
AT ITER 1652 NEW BEST:: SOT 191332 SOS 78176 HAS SOPS 78176 HAS SOUS 47951 HAS SOUPS 47951 WITH SCORE 48029.176
AT ITER 1656 NEW BEST:: SOT 191198 SOS 77669 HAS SOPS 77669 HAS SOUS 47936 HAS SOUPS 47936 WITH SCORE 48013.669
AT ITER 1657 NEW BEST:: SOT 191167 SOS 81682 HAS SOPS 81682 HAS SOUS 47905 HAS SOUPS 47905 WITH SCORE 47986.682
AT ITER 1665 NEW BEST:: SOT 191168 SOS 80868 HAS SOPS 80868 HAS SOUS 47882 HAS SOUPS 47882 WITH SCORE 47962.868
AT ITER 1695 NEW BEST:: SOT 191083 SOS 80770 HAS SOPS 80770 HAS SOUS 47859 HAS SOUPS 47859 WITH SCORE 47939.77
AT ITER 1707 NEW BEST:: SOT 191068 SOS 80755 HAS SOPS 80755 HAS SOUS 47837 HAS SOUPS 47837 WITH SCORE 47917.755
AT ITER 1727 NEW BEST:: SOT 191068 SOS 80679 HAS SOPS 80679 HAS SOUS 47837 HAS SOUPS 47837 WITH SCORE 47917.679
AT ITER 1732 NEW BEST:: SOT 190998 SOS 80206 HAS SOPS 80206 HAS SOUS 47734 HAS SOUPS 47734 WITH SCORE 47814.206
AT ITER 1747 NEW BEST:: SOT 190657 SOS 79846 HAS SOPS 79846 HAS SOUS 47651 HAS SOUPS 47651 WITH SCORE 47730.846
AT ITER 1753 NEW BEST:: SOT 190604 SOS 79680 HAS SOPS 79680 HAS SOUS 47598 HAS SOUPS 47598 WITH SCORE 47677.68
AT ITER 1757 NEW BEST:: SOT 190597 SOS 79666 HAS SOPS 79666 HAS SOUS 47550 HAS SOUPS 47550 WITH SCORE 47629.666
AT ITER 1765 NEW BEST:: SOT 190597 SOS 79577 HAS SOPS 79577 HAS SOUS 47550 HAS SOUPS 47550 WITH SCORE 47629.577
AT ITER 1768 NEW BEST:: SOT 190597 SOS 79406 HAS SOPS 79406 HAS SOUS 47437 HAS SOUPS 47437 WITH SCORE 47516.406
AT ITER 1772 NEW BEST:: SOT 190576 SOS 79385 HAS SOPS 79385 HAS SOUS 47385 HAS SOUPS 47385 WITH SCORE 47464.385
AT ITER 1774 NEW BEST:: SOT 190503 SOS 79299 HAS SOPS 79299 HAS SOUS 47361 HAS SOUPS 47361 WITH SCORE 47440.299
AT ITER 1775 NEW BEST:: SOT 190520 SOS 79163 HAS SOPS 79163 HAS SOUS 47344 HAS SOUPS 47344 WITH SCORE 47423.163
AT ITER 1784 NEW BEST:: SOT 190502 SOS 79127 HAS SOPS 79127 HAS SOUS 47205 HAS SOUPS 47205 WITH SCORE 47284.127
AT ITER 1802 NEW BEST:: SOT 190502 SOS 79063 HAS SOPS 79063 HAS SOUS 47141 HAS SOUPS 47141 WITH SCORE 47220.063
AT ITER 1821 NEW BEST:: SOT 190471 SOS 78896 HAS SOPS 78896 HAS SOUS 47110 HAS SOUPS 47110 WITH SCORE 47188.896
AT ITER 1822 NEW BEST:: SOT 190441 SOS 78763 HAS SOPS 78763 HAS SOUS 47079 HAS SOUPS 47079 WITH SCORE 47157.763
AT ITER 1832 NEW BEST:: SOT 190461 SOS 78652 HAS SOPS 78652 HAS SOUS 46948 HAS SOUPS 46948 WITH SCORE 47026.652
AT ITER 1839 NEW BEST:: SOT 190461 SOS 78571 HAS SOPS 78571 HAS SOUS 46823 HAS SOUPS 46823 WITH SCORE 46901.571
AT ITER 1844 NEW BEST:: SOT 190461 SOS 78557 HAS SOPS 78557 HAS SOUS 46808 HAS SOUPS 46808 WITH SCORE 46886.557
AT ITER 1848 NEW BEST:: SOT 190454 SOS 78543 HAS SOPS 78543 HAS SOUS 46794 HAS SOUPS 46794 WITH SCORE 46872.543
AT ITER 1866 NEW BEST:: SOT 190454 SOS 78323 HAS SOPS 78323 HAS SOUS 46684 HAS SOUPS 46684 WITH SCORE 46762.323
AT ITER 1873 NEW BEST:: SOT 190450 SOS 78315 HAS SOPS 78315 HAS SOUS 46676 HAS SOUPS 46676 WITH SCORE 46754.315
AT ITER 1885 NEW BEST:: SOT 190450 SOS 78313 HAS SOPS 78313 HAS SOUS 46661 HAS SOUPS 46661 WITH SCORE 46739.313
AT ITER 1890 NEW BEST:: SOT 190444 SOS 78301 HAS SOPS 78301 HAS SOUS 46655 HAS SOUPS 46655 WITH SCORE 46733.301
AT ITER 1915 NEW BEST:: SOT 190510 SOS 78367 HAS SOPS 78367 HAS SOUS 46590 HAS SOUPS 46590 WITH SCORE 46668.367
AT ITER 1924 NEW BEST:: SOT 190515 SOS 77860 HAS SOPS 77860 HAS SOUS 46553 HAS SOUPS 46553 WITH SCORE 46630.86
AT ITER 1925 NEW BEST:: SOT 190550 SOS 77874 HAS SOPS 77874 HAS SOUS 46530 HAS SOUPS 46530 WITH SCORE 46607.874
AT ITER 1926 NEW BEST:: SOT 190526 SOS 77850 HAS SOPS 77850 HAS SOUS 46506 HAS SOUPS 46506 WITH SCORE 46583.85
AT ITER 1938 NEW BEST:: SOT 190515 SOS 77806 HAS SOPS 77806 HAS SOUS 46484 HAS SOUPS 46484 WITH SCORE 46561.806
AT ITER 1941 NEW BEST:: SOT 190515 SOS 77787 HAS SOPS 77787 HAS SOUS 46465 HAS SOUPS 46465 WITH SCORE 46542.787
AT ITER 1948 NEW BEST:: SOT 190515 SOS 77787 HAS SOPS 77787 HAS SOUS 46416 HAS SOUPS 46416 WITH SCORE 46493.787
AT ITER 1953 NEW BEST:: SOT 190515 SOS 77787 HAS SOPS 77787 HAS SOUS 46390 HAS SOUPS 46390 WITH SCORE 46467.787
AT ITER 1956 NEW BEST:: SOT 190452 SOS 77724 HAS SOPS 77724 HAS SOUS 46382 HAS SOUPS 46382 WITH SCORE 46459.724
AT ITER 1974 NEW BEST:: SOT 190441 SOS 77676 HAS SOPS 77676 HAS SOUS 46360 HAS SOUPS 46360 WITH SCORE 46437.676
AT ITER 1975 NEW BEST:: SOT 190412 SOS 77602 HAS SOPS 77602 HAS SOUS 46331 HAS SOUPS 46331 WITH SCORE 46408.602
AT ITER 1985 NEW BEST:: SOT 190412 SOS 77602 HAS SOPS 77602 HAS SOUS 46265 HAS SOUPS 46265 WITH SCORE 46342.602
AT ITER 1986 NEW BEST:: SOT 190385 SOS 77548 HAS SOPS 77548 HAS SOUS 46197 HAS SOUPS 46197 WITH SCORE 46274.548
AT ITER 2003 NEW BEST:: SOT 190376 SOS 78790 HAS SOPS 78790 HAS SOUS 46193 HAS SOUPS 46193 WITH SCORE 46271.79
AT ITER 2007 NEW BEST:: SOT 190333 SOS 78734 HAS SOPS 78734 HAS SOUS 46148 HAS SOUPS 46148 WITH SCORE 46226.734
AT ITER 2008 NEW BEST:: SOT 190376 SOS 78022 HAS SOPS 78022 HAS SOUS 45943 HAS SOUPS 45943 WITH SCORE 46021.022
AT ITER 2015 NEW BEST:: SOT 190376 SOS 77998 HAS SOPS 77998 HAS SOUS 45943 HAS SOUPS 45943 WITH SCORE 46020.998
AT ITER 2017 NEW BEST:: SOT 190351 SOS 77948 HAS SOPS 77948 HAS SOUS 45921 HAS SOUPS 45921 WITH SCORE 45998.948
AT ITER 2022 NEW BEST:: SOT 190333 SOS 77947 HAS SOPS 77947 HAS SOUS 45919 HAS SOUPS 45919 WITH SCORE 45996.947
AT ITER 2030 NEW BEST:: SOT 190263 SOS 77883 HAS SOPS 77883 HAS SOUS 45849 HAS SOUPS 45849 WITH SCORE 45926.883
AT ITER 2032 NEW BEST:: SOT 190271 SOS 77771 HAS SOPS 77771 HAS SOUS 45809 HAS SOUPS 45809 WITH SCORE 45886.771
AT ITER 2042 NEW BEST:: SOT 190271 SOS 77768 HAS SOPS 77768 HAS SOUS 45806 HAS SOUPS 45806 WITH SCORE 45883.768
AT ITER 2052 NEW BEST:: SOT 190310 SOS 77788 HAS SOPS 77788 HAS SOUS 45762 HAS SOUPS 45762 WITH SCORE 45839.788
AT ITER 2066 NEW BEST:: SOT 190263 SOS 77673 HAS SOPS 77673 HAS SOUS 45653 HAS SOUPS 45653 WITH SCORE 45730.673
AT ITER 2077 NEW BEST:: SOT 190177 SOS 77501 HAS SOPS 77501 HAS SOUS 45613 HAS SOUPS 45613 WITH SCORE 45690.501
AT ITER 2083 NEW BEST:: SOT 190091 SOS 77415 HAS SOPS 77415 HAS SOUS 45524 HAS SOUPS 45524 WITH SCORE 45601.415
AT ITER 2096 NEW BEST:: SOT 190090 SOS 77413 HAS SOPS 77413 HAS SOUS 45522 HAS SOUPS 45522 WITH SCORE 45599.413
AT ITER 2098 NEW BEST:: SOT 190058 SOS 77372 HAS SOPS 77372 HAS SOUS 45490 HAS SOUPS 45490 WITH SCORE 45567.372
AT ITER 2118 NEW BEST:: SOT 190064 SOS 77362 HAS SOPS 77362 HAS SOUS 45480 HAS SOUPS 45480 WITH SCORE 45557.362
AT ITER 2127 NEW BEST:: SOT 190029 SOS 77255 HAS SOPS 77255 HAS SOUS 45430 HAS SOUPS 45430 WITH SCORE 45507.255
AT ITER 2141 NEW BEST:: SOT 190021 SOS 77239 HAS SOPS 77239 HAS SOUS 45414 HAS SOUPS 45414 WITH SCORE 45491.239
AT ITER 2143 NEW BEST:: SOT 190021 SOS 77316 HAS SOPS 77316 HAS SOUS 45382 HAS SOUPS 45382 WITH SCORE 45459.316
AT ITER 2155 NEW BEST:: SOT 189961 SOS 77289 HAS SOPS 77289 HAS SOUS 45375 HAS SOUPS 45375 WITH SCORE 45452.289
AT ITER 2168 NEW BEST:: SOT 189958 SOS 77266 HAS SOPS 77266 HAS SOUS 45372 HAS SOUPS 45372 WITH SCORE 45449.266
AT ITER 2181 NEW BEST:: SOT 189958 SOS 77261 HAS SOPS 77261 HAS SOUS 45372 HAS SOUPS 45372 WITH SCORE 45449.261
AT ITER 2185 NEW BEST:: SOT 189941 SOS 77244 HAS SOPS 77244 HAS SOUS 45355 HAS SOUPS 45355 WITH SCORE 45432.244
AT ITER 2190 NEW BEST:: SOT 189925 SOS 77196 HAS SOPS 77196 HAS SOUS 45331 HAS SOUPS 45331 WITH SCORE 45408.196
AT ITER 2198 NEW BEST:: SOT 189925 SOS 77196 HAS SOPS 77196 HAS SOUS 45308 HAS SOUPS 45308 WITH SCORE 45385.196
AT ITER 2225 NEW BEST:: SOT 189919 SOS 77190 HAS SOPS 77190 HAS SOUS 45302 HAS SOUPS 45302 WITH SCORE 45379.19
AT ITER 2229 NEW BEST:: SOT 189919 SOS 77124 HAS SOPS 77124 HAS SOUS 45271 HAS SOUPS 45271 WITH SCORE 45348.124
AT ITER 2254 NEW BEST:: SOT 189895 SOS 77102 HAS SOPS 77102 HAS SOUS 45249 HAS SOUPS 45249 WITH SCORE 45326.102
AT ITER 2260 NEW BEST:: SOT 189895 SOS 76776 HAS SOPS 76776 HAS SOUS 45249 HAS SOUPS 45249 WITH SCORE 45325.776
AT ITER 2263 NEW BEST:: SOT 189926 SOS 76762 HAS SOPS 76762 HAS SOUS 45235 HAS SOUPS 45235 WITH SCORE 45311.762
AT ITER 2271 NEW BEST:: SOT 189914 SOS 76744 HAS SOPS 76744 HAS SOUS 45211 HAS SOUPS 45211 WITH SCORE 45287.744
AT ITER 2274 NEW BEST:: SOT 189906 SOS 76728 HAS SOPS 76728 HAS SOUS 45203 HAS SOUPS 45203 WITH SCORE 45279.728
AT ITER 2282 NEW BEST:: SOT 189906 SOS 76728 HAS SOPS 76728 HAS SOUS 45172 HAS SOUPS 45172 WITH SCORE 45248.728
AT ITER 2294 NEW BEST:: SOT 189872 SOS 76430 HAS SOPS 76430 HAS SOUS 45138 HAS SOUPS 45138 WITH SCORE 45214.43
AT ITER 2319 NEW BEST:: SOT 189786 SOS 76258 HAS SOPS 76258 HAS SOUS 45063 HAS SOUPS 45063 WITH SCORE 45139.258
AT ITER 2322 NEW BEST:: SOT 189695 SOS 75623 HAS SOPS 75623 HAS SOUS 44905 HAS SOUPS 44905 WITH SCORE 44980.623
AT ITER 2329 NEW BEST:: SOT 189687 SOS 75607 HAS SOPS 75607 HAS SOUS 44897 HAS SOUPS 44897 WITH SCORE 44972.607
AT ITER 2341 NEW BEST:: SOT 189654 SOS 75631 HAS SOPS 75631 HAS SOUS 44889 HAS SOUPS 44889 WITH SCORE 44964.631
AT ITER 2356 NEW BEST:: SOT 189641 SOS 75549 HAS SOPS 75549 HAS SOUS 44876 HAS SOUPS 44876 WITH SCORE 44951.549
AT ITER 2370 NEW BEST:: SOT 189588 SOS 75496 HAS SOPS 75496 HAS SOUS 44836 HAS SOUPS 44836 WITH SCORE 44911.496
AT ITER 2399 NEW BEST:: SOT 189540 SOS 75352 HAS SOPS 75352 HAS SOUS 44692 HAS SOUPS 44692 WITH SCORE 44767.352
AT ITER 2401 NEW BEST:: SOT 189556 SOS 75341 HAS SOPS 75341 HAS SOUS 44681 HAS SOUPS 44681 WITH SCORE 44756.341
AT ITER 2410 NEW BEST:: SOT 189602 SOS 75387 HAS SOPS 75387 HAS SOUS 44589 HAS SOUPS 44589 WITH SCORE 44664.387
AT ITER 2413 NEW BEST:: SOT 189596 SOS 75381 HAS SOPS 75381 HAS SOUS 44583 HAS SOUPS 44583 WITH SCORE 44658.381
AT ITER 2414 NEW BEST:: SOT 189182 SOS 75399 HAS SOPS 75399 HAS SOUS 44429 HAS SOUPS 44429 WITH SCORE 44504.399
AT ITER 2419 NEW BEST:: SOT 189125 SOS 75415 HAS SOPS 75415 HAS SOUS 44359 HAS SOUPS 44359 WITH SCORE 44434.415
AT ITER 2428 NEW BEST:: SOT 189073 SOS 75259 HAS SOPS 75259 HAS SOUS 44307 HAS SOUPS 44307 WITH SCORE 44382.259
AT ITER 2436 NEW BEST:: SOT 189051 SOS 75215 HAS SOPS 75215 HAS SOUS 44296 HAS SOUPS 44296 WITH SCORE 44371.215
AT ITER 2443 NEW BEST:: SOT 189051 SOS 75183 HAS SOPS 75183 HAS SOUS 44179 HAS SOUPS 44179 WITH SCORE 44254.183
AT ITER 2452 NEW BEST:: SOT 189005 SOS 75042 HAS SOPS 75042 HAS SOUS 44087 HAS SOUPS 44087 WITH SCORE 44162.042
AT ITER 2458 NEW BEST:: SOT 189021 SOS 75058 HAS SOPS 75058 HAS SOUS 44078 HAS SOUPS 44078 WITH SCORE 44153.058
AT ITER 2476 NEW BEST:: SOT 189021 SOS 75062 HAS SOPS 75062 HAS SOUS 44068 HAS SOUPS 44068 WITH SCORE 44143.062
AT ITER 2487 NEW BEST:: SOT 188990 SOS 75000 HAS SOPS 75000 HAS SOUS 44037 HAS SOUPS 44037 WITH SCORE 44112.0
AT ITER 2502 NEW BEST:: SOT 189015 SOS 75044 HAS SOPS 75044 HAS SOUS 44018 HAS SOUPS 44018 WITH SCORE 44093.044
AT ITER 2503 NEW BEST:: SOT 189002 SOS 75044 HAS SOPS 75044 HAS SOUS 43992 HAS SOUPS 43992 WITH SCORE 44067.044
AT ITER 2511 NEW BEST:: SOT 189072 SOS 75113 HAS SOPS 75113 HAS SOUS 43991 HAS SOUPS 43991 WITH SCORE 44066.113
AT ITER 2514 NEW BEST:: SOT 189078 SOS 75110 HAS SOPS 75110 HAS SOUS 43988 HAS SOUPS 43988 WITH SCORE 44063.11
AT ITER 2551 NEW BEST:: SOT 189040 SOS 75034 HAS SOPS 75034 HAS SOUS 43912 HAS SOUPS 43912 WITH SCORE 43987.034
AT ITER 2554 NEW BEST:: SOT 188992 SOS 74986 HAS SOPS 74986 HAS SOUS 43900 HAS SOUPS 43900 WITH SCORE 43974.986
AT ITER 2568 NEW BEST:: SOT 188974 SOS 74968 HAS SOPS 74968 HAS SOUS 43882 HAS SOUPS 43882 WITH SCORE 43956.968
AT ITER 2601 NEW BEST:: SOT 189123 SOS 74905 HAS SOPS 74905 HAS SOUS 43851 HAS SOUPS 43851 WITH SCORE 43925.905
AT ITER 2611 NEW BEST:: SOT 189094 SOS 74990 HAS SOPS 74990 HAS SOUS 43822 HAS SOUPS 43822 WITH SCORE 43896.99
AT ITER 2617 NEW BEST:: SOT 189130 SOS 74942 HAS SOPS 74942 HAS SOUS 43794 HAS SOUPS 43794 WITH SCORE 43868.942
AT ITER 2620 NEW BEST:: SOT 189073 SOS 74828 HAS SOPS 74828 HAS SOUS 43752 HAS SOUPS 43752 WITH SCORE 43826.828
AT ITER 2636 NEW BEST:: SOT 189038 SOS 74793 HAS SOPS 74793 HAS SOUS 43730 HAS SOUPS 43730 WITH SCORE 43804.793
AT ITER 2642 NEW BEST:: SOT 188980 SOS 74735 HAS SOPS 74735 HAS SOUS 43523 HAS SOUPS 43523 WITH SCORE 43597.735
AT ITER 2645 NEW BEST:: SOT 188980 SOS 74735 HAS SOPS 74735 HAS SOUS 43496 HAS SOUPS 43496 WITH SCORE 43570.735
AT ITER 2657 NEW BEST:: SOT 188980 SOS 74695 HAS SOPS 74695 HAS SOUS 43496 HAS SOUPS 43496 WITH SCORE 43570.695
AT ITER 2672 NEW BEST:: SOT 188918 SOS 74571 HAS SOPS 74571 HAS SOUS 43434 HAS SOUPS 43434 WITH SCORE 43508.571
AT ITER 2676 NEW BEST:: SOT 188759 SOS 74838 HAS SOPS 74838 HAS SOUS 43376 HAS SOUPS 43376 WITH SCORE 43450.838
AT ITER 2698 NEW BEST:: SOT 188716 SOS 74845 HAS SOPS 74845 HAS SOUS 43364 HAS SOUPS 43364 WITH SCORE 43438.845
AT ITER 2706 NEW BEST:: SOT 188744 SOS 74866 HAS SOPS 74866 HAS SOUS 43337 HAS SOUPS 43337 WITH SCORE 43411.866
AT ITER 2718 NEW BEST:: SOT 188741 SOS 74860 HAS SOPS 74860 HAS SOUS 43334 HAS SOUPS 43334 WITH SCORE 43408.86
AT ITER 2720 NEW BEST:: SOT 188741 SOS 74823 HAS SOPS 74823 HAS SOUS 43297 HAS SOUPS 43297 WITH SCORE 43371.823
AT ITER 2721 NEW BEST:: SOT 188729 SOS 74782 HAS SOPS 74782 HAS SOUS 43274 HAS SOUPS 43274 WITH SCORE 43348.782
AT ITER 2726 NEW BEST:: SOT 188744 SOS 74752 HAS SOPS 74752 HAS SOUS 43244 HAS SOUPS 43244 WITH SCORE 43318.752
AT ITER 2737 NEW BEST:: SOT 188739 SOS 74739 HAS SOPS 74739 HAS SOUS 43231 HAS SOUPS 43231 WITH SCORE 43305.739
AT ITER 2754 NEW BEST:: SOT 188661 SOS 74688 HAS SOPS 74688 HAS SOUS 43180 HAS SOUPS 43180 WITH SCORE 43254.688
AT ITER 2767 NEW BEST:: SOT 188574 SOS 74601 HAS SOPS 74601 HAS SOUS 43180 HAS SOUPS 43180 WITH SCORE 43254.601
AT ITER 2798 NEW BEST:: SOT 188573 SOS 74632 HAS SOPS 74632 HAS SOUS 43178 HAS SOUPS 43178 WITH SCORE 43252.632
AT ITER 2827 NEW BEST:: SOT 188573 SOS 74626 HAS SOPS 74626 HAS SOUS 43172 HAS SOUPS 43172 WITH SCORE 43246.626
AT ITER 2833 NEW BEST:: SOT 188647 SOS 74614 HAS SOPS 74614 HAS SOUS 43121 HAS SOUPS 43121 WITH SCORE 43195.614
AT ITER 2840 NEW BEST:: SOT 188636 SOS 74551 HAS SOPS 74551 HAS SOUS 43099 HAS SOUPS 43099 WITH SCORE 43173.551
AT ITER 2863 NEW BEST:: SOT 188589 SOS 74504 HAS SOPS 74504 HAS SOUS 43052 HAS SOUPS 43052 WITH SCORE 43126.504
AT ITER 2876 NEW BEST:: SOT 188585 SOS 74500 HAS SOPS 74500 HAS SOUS 43044 HAS SOUPS 43044 WITH SCORE 43118.5
AT ITER 2888 NEW BEST:: SOT 188404 SOS 74225 HAS SOPS 74225 HAS SOUS 42863 HAS SOUPS 42863 WITH SCORE 42937.225
AT ITER 2890 NEW BEST:: SOT 188404 SOS 74167 HAS SOPS 74167 HAS SOUS 42805 HAS SOUPS 42805 WITH SCORE 42879.167
AT ITER 2891 NEW BEST:: SOT 188342 SOS 74105 HAS SOPS 74105 HAS SOUS 42710 HAS SOUPS 42710 WITH SCORE 42784.105
AT ITER 2899 NEW BEST:: SOT 188340 SOS 74101 HAS SOPS 74101 HAS SOUS 42708 HAS SOUPS 42708 WITH SCORE 42782.101
AT ITER 2906 NEW BEST:: SOT 188361 SOS 74030 HAS SOPS 74030 HAS SOUS 42678 HAS SOUPS 42678 WITH SCORE 42752.03
AT ITER 2911 NEW BEST:: SOT 188361 SOS 73978 HAS SOPS 73978 HAS SOUS 42665 HAS SOUPS 42665 WITH SCORE 42738.978
AT ITER 2920 NEW BEST:: SOT 188361 SOS 73825 HAS SOPS 73825 HAS SOUS 42648 HAS SOUPS 42648 WITH SCORE 42721.825
AT ITER 2934 NEW BEST:: SOT 188346 SOS 73795 HAS SOPS 73795 HAS SOUS 42618 HAS SOUPS 42618 WITH SCORE 42691.795
AT ITER 2936 NEW BEST:: SOT 188199 SOS 73671 HAS SOPS 73671 HAS SOUS 42606 HAS SOUPS 42606 WITH SCORE 42679.671
AT ITER 2945 NEW BEST:: SOT 188178 SOS 73650 HAS SOPS 73650 HAS SOUS 42585 HAS SOUPS 42585 WITH SCORE 42658.65
AT ITER 2954 NEW BEST:: SOT 188171 SOS 73643 HAS SOPS 73643 HAS SOUS 42578 HAS SOUPS 42578 WITH SCORE 42651.643
AT ITER 2962 NEW BEST:: SOT 188133 SOS 73567 HAS SOPS 73567 HAS SOUS 42512 HAS SOUPS 42512 WITH SCORE 42585.567
AT ITER 2992 NEW BEST:: SOT 188132 SOS 73463 HAS SOPS 73463 HAS SOUS 42509 HAS SOUPS 42509 WITH SCORE 42582.463
AT ITER 3056 NEW BEST:: SOT 188172 SOS 73181 HAS SOPS 73181 HAS SOUS 42348 HAS SOUPS 42348 WITH SCORE 42421.181
AT ITER 3089 NEW BEST:: SOT 188037 SOS 72992 HAS SOPS 72992 HAS SOUS 42282 HAS SOUPS 42282 WITH SCORE 42354.992
AT ITER 3090 NEW BEST:: SOT 188009 SOS 72936 HAS SOPS 72936 HAS SOUS 42245 HAS SOUPS 42245 WITH SCORE 42317.936
AT ITER 3092 NEW BEST:: SOT 188009 SOS 72936 HAS SOPS 72936 HAS SOUS 42233 HAS SOUPS 42233 WITH SCORE 42305.936
AT ITER 3102 NEW BEST:: SOT 188006 SOS 72933 HAS SOPS 72933 HAS SOUS 42230 HAS SOUPS 42230 WITH SCORE 42302.933
AT ITER 3127 NEW BEST:: SOT 187954 SOS 72782 HAS SOPS 72782 HAS SOUS 42171 HAS SOUPS 42171 WITH SCORE 42243.782
AT ITER 3141 NEW BEST:: SOT 187943 SOS 72738 HAS SOPS 72738 HAS SOUS 42138 HAS SOUPS 42138 WITH SCORE 42210.738
AT ITER 3143 NEW BEST:: SOT 187924 SOS 72679 HAS SOPS 72679 HAS SOUS 42121 HAS SOUPS 42121 WITH SCORE 42193.679
AT ITER 3147 NEW BEST:: SOT 187942 SOS 72551 HAS SOPS 72551 HAS SOUS 42083 HAS SOUPS 42083 WITH SCORE 42155.551
AT ITER 3149 NEW BEST:: SOT 187919 SOS 72505 HAS SOPS 72505 HAS SOUS 42060 HAS SOUPS 42060 WITH SCORE 42132.505
AT ITER 3159 NEW BEST:: SOT 187854 SOS 72375 HAS SOPS 72375 HAS SOUS 42021 HAS SOUPS 42021 WITH SCORE 42093.375
AT ITER 3169 NEW BEST:: SOT 187839 SOS 72345 HAS SOPS 72345 HAS SOUS 42006 HAS SOUPS 42006 WITH SCORE 42078.345
AT ITER 3170 NEW BEST:: SOT 187884 SOS 72435 HAS SOPS 72435 HAS SOUS 42005 HAS SOUPS 42005 WITH SCORE 42077.435
AT ITER 3175 NEW BEST:: SOT 187779 SOS 72225 HAS SOPS 72225 HAS SOUS 41810 HAS SOUPS 41810 WITH SCORE 41882.225
AT ITER 3186 NEW BEST:: SOT 187770 SOS 72215 HAS SOPS 72215 HAS SOUS 41809 HAS SOUPS 41809 WITH SCORE 41881.215
AT ITER 3195 NEW BEST:: SOT 187647 SOS 72036 HAS SOPS 72036 HAS SOUS 41795 HAS SOUPS 41795 WITH SCORE 41867.036
AT ITER 3204 NEW BEST:: SOT 187647 SOS 72030 HAS SOPS 72030 HAS SOUS 41767 HAS SOUPS 41767 WITH SCORE 41839.03
AT ITER 3209 NEW BEST:: SOT 187602 SOS 72000 HAS SOPS 72000 HAS SOUS 41760 HAS SOUPS 41760 WITH SCORE 41832.0
AT ITER 3222 NEW BEST:: SOT 187602 SOS 71951 HAS SOPS 71951 HAS SOUS 41760 HAS SOUPS 41760 WITH SCORE 41831.951
AT ITER 3225 NEW BEST:: SOT 187579 SOS 71925 HAS SOPS 71925 HAS SOUS 41757 HAS SOUPS 41757 WITH SCORE 41828.925
AT ITER 3231 NEW BEST:: SOT 187533 SOS 71833 HAS SOPS 71833 HAS SOUS 41748 HAS SOUPS 41748 WITH SCORE 41819.833
AT ITER 3232 NEW BEST:: SOT 187484 SOS 71751 HAS SOPS 71751 HAS SOUS 41715 HAS SOUPS 41715 WITH SCORE 41786.751
AT ITER 3234 NEW BEST:: SOT 187425 SOS 71658 HAS SOPS 71658 HAS SOUS 41644 HAS SOUPS 41644 WITH SCORE 41715.658
AT ITER 3239 NEW BEST:: SOT 187397 SOS 71630 HAS SOPS 71630 HAS SOUS 41644 HAS SOUPS 41644 WITH SCORE 41715.63
AT ITER 3240 NEW BEST:: SOT 187352 SOS 71581 HAS SOPS 71581 HAS SOUS 41595 HAS SOUPS 41595 WITH SCORE 41666.581
AT ITER 3244 NEW BEST:: SOT 187352 SOS 71576 HAS SOPS 71576 HAS SOUS 41595 HAS SOUPS 41595 WITH SCORE 41666.576
AT ITER 3265 NEW BEST:: SOT 187278 SOS 71465 HAS SOPS 71465 HAS SOUS 41521 HAS SOUPS 41521 WITH SCORE 41592.465
AT ITER 3268 NEW BEST:: SOT 187278 SOS 71460 HAS SOPS 71460 HAS SOUS 41521 HAS SOUPS 41521 WITH SCORE 41592.46
AT ITER 3273 NEW BEST:: SOT 187268 SOS 71518 HAS SOPS 71518 HAS SOUS 41511 HAS SOUPS 41511 WITH SCORE 41582.518
AT ITER 3274 NEW BEST:: SOT 187254 SOS 71504 HAS SOPS 71504 HAS SOUS 41497 HAS SOUPS 41497 WITH SCORE 41568.504
AT ITER 3280 NEW BEST:: SOT 187254 SOS 71504 HAS SOPS 71504 HAS SOUS 41495 HAS SOUPS 41495 WITH SCORE 41566.504
AT ITER 3288 NEW BEST:: SOT 187253 SOS 71452 HAS SOPS 71452 HAS SOUS 41451 HAS SOUPS 41451 WITH SCORE 41522.452
AT ITER 3289 NEW BEST:: SOT 187247 SOS 71314 HAS SOPS 71314 HAS SOUS 41445 HAS SOUPS 41445 WITH SCORE 41516.314
AT ITER 3297 NEW BEST:: SOT 187197 SOS 71314 HAS SOPS 71314 HAS SOUS 41426 HAS SOUPS 41426 WITH SCORE 41497.314
AT ITER 3305 NEW BEST:: SOT 187194 SOS 71311 HAS SOPS 71311 HAS SOUS 41426 HAS SOUPS 41426 WITH SCORE 41497.311
AT ITER 3320 NEW BEST:: SOT 187152 SOS 71231 HAS SOPS 71231 HAS SOUS 41388 HAS SOUPS 41388 WITH SCORE 41459.231
AT ITER 3339 NEW BEST:: SOT 187137 SOS 71231 HAS SOPS 71231 HAS SOUS 41373 HAS SOUPS 41373 WITH SCORE 41444.231
AT ITER 3345 NEW BEST:: SOT 187129 SOS 71211 HAS SOPS 71211 HAS SOUS 41361 HAS SOUPS 41361 WITH SCORE 41432.211
AT ITER 3366 NEW BEST:: SOT 187161 SOS 71220 HAS SOPS 71220 HAS SOUS 41338 HAS SOUPS 41338 WITH SCORE 41409.22
AT ITER 3372 NEW BEST:: SOT 187153 SOS 71204 HAS SOPS 71204 HAS SOUS 41322 HAS SOUPS 41322 WITH SCORE 41393.204
AT ITER 3375 NEW BEST:: SOT 187153 SOS 71197 HAS SOPS 71197 HAS SOUS 41308 HAS SOUPS 41308 WITH SCORE 41379.197
AT ITER 3414 NEW BEST:: SOT 187153 SOS 71186 HAS SOPS 71186 HAS SOUS 41229 HAS SOUPS 41229 WITH SCORE 41300.186
AT ITER 3433 NEW BEST:: SOT 187120 SOS 71149 HAS SOPS 71149 HAS SOUS 41192 HAS SOUPS 41192 WITH SCORE 41263.149
AT ITER 3448 NEW BEST:: SOT 187138 SOS 71185 HAS SOPS 71185 HAS SOUS 41141 HAS SOUPS 41141 WITH SCORE 41212.185
AT ITER 3457 NEW BEST:: SOT 187086 SOS 71081 HAS SOPS 71081 HAS SOUS 41051 HAS SOUPS 41051 WITH SCORE 41122.081
AT ITER 3469 NEW BEST:: SOT 187069 SOS 71047 HAS SOPS 71047 HAS SOUS 41034 HAS SOUPS 41034 WITH SCORE 41105.047
AT ITER 3486 NEW BEST:: SOT 187040 SOS 71007 HAS SOPS 71007 HAS SOUS 41005 HAS SOUPS 41005 WITH SCORE 41076.007
AT ITER 3503 NEW BEST:: SOT 187036 SOS 70945 HAS SOPS 70945 HAS SOUS 40958 HAS SOUPS 40958 WITH SCORE 41028.945
AT ITER 3507 NEW BEST:: SOT 187036 SOS 70943 HAS SOPS 70943 HAS SOUS 40957 HAS SOUPS 40957 WITH SCORE 41027.943
AT ITER 3519 NEW BEST:: SOT 187040 SOS 70951 HAS SOPS 70951 HAS SOUS 40945 HAS SOUPS 40945 WITH SCORE 41015.951
AT ITER 3524 NEW BEST:: SOT 187040 SOS 70942 HAS SOPS 70942 HAS SOUS 40945 HAS SOUPS 40945 WITH SCORE 41015.942
AT ITER 3527 NEW BEST:: SOT 186928 SOS 70898 HAS SOPS 70898 HAS SOUS 40836 HAS SOUPS 40836 WITH SCORE 40906.898
AT ITER 3547 NEW BEST:: SOT 186927 SOS 70896 HAS SOPS 70896 HAS SOUS 40835 HAS SOUPS 40835 WITH SCORE 40905.896
AT ITER 3573 NEW BEST:: SOT 186799 SOS 70753 HAS SOPS 70753 HAS SOUS 40692 HAS SOUPS 40692 WITH SCORE 40762.753
AT ITER 3575 NEW BEST:: SOT 186739 SOS 70543 HAS SOPS 70543 HAS SOUS 40540 HAS SOUPS 40540 WITH SCORE 40610.543
AT ITER 3582 NEW BEST:: SOT 186728 SOS 70510 HAS SOPS 70510 HAS SOUS 40518 HAS SOUPS 40518 WITH SCORE 40588.51
AT ITER 3601 NEW BEST:: SOT 186710 SOS 70456 HAS SOPS 70456 HAS SOUS 40500 HAS SOUPS 40500 WITH SCORE 40570.456
AT ITER 3605 NEW BEST:: SOT 186710 SOS 70422 HAS SOPS 70422 HAS SOUS 40466 HAS SOUPS 40466 WITH SCORE 40536.422
AT ITER 3616 NEW BEST:: SOT 186710 SOS 70344 HAS SOPS 70344 HAS SOUS 40433 HAS SOUPS 40433 WITH SCORE 40503.344
AT ITER 3630 NEW BEST:: SOT 186710 SOS 70344 HAS SOPS 70344 HAS SOUS 40432 HAS SOUPS 40432 WITH SCORE 40502.344
AT ITER 3645 NEW BEST:: SOT 186704 SOS 70242 HAS SOPS 70242 HAS SOUS 40354 HAS SOUPS 40354 WITH SCORE 40424.242
AT ITER 3647 NEW BEST:: SOT 186684 SOS 70162 HAS SOPS 70162 HAS SOUS 40314 HAS SOUPS 40314 WITH SCORE 40384.162
AT ITER 3653 NEW BEST:: SOT 186684 SOS 70159 HAS SOPS 70159 HAS SOUS 40311 HAS SOUPS 40311 WITH SCORE 40381.159
AT ITER 3658 NEW BEST:: SOT 186700 SOS 70191 HAS SOPS 70191 HAS SOUS 40228 HAS SOUPS 40228 WITH SCORE 40298.191
AT ITER 3666 NEW BEST:: SOT 186690 SOS 70000 HAS SOPS 70000 HAS SOUS 40199 HAS SOUPS 40199 WITH SCORE 40269.0
AT ITER 3675 NEW BEST:: SOT 186682 SOS 69933 HAS SOPS 69933 HAS SOUS 40132 HAS SOUPS 40132 WITH SCORE 40201.933
AT ITER 3682 NEW BEST:: SOT 186678 SOS 69921 HAS SOPS 69921 HAS SOUS 40116 HAS SOUPS 40116 WITH SCORE 40185.921
AT ITER 3690 NEW BEST:: SOT 186794 SOS 69940 HAS SOPS 69940 HAS SOUS 40006 HAS SOUPS 40006 WITH SCORE 40075.94
AT ITER 3700 NEW BEST:: SOT 186794 SOS 69914 HAS SOPS 69914 HAS SOUS 40006 HAS SOUPS 40006 WITH SCORE 40075.914
AT ITER 3706 NEW BEST:: SOT 186794 SOS 69834 HAS SOPS 69834 HAS SOUS 39918 HAS SOUPS 39918 WITH SCORE 39987.834
AT ITER 3711 NEW BEST:: SOT 186794 SOS 69816 HAS SOPS 69816 HAS SOUS 39832 HAS SOUPS 39832 WITH SCORE 39901.816
AT ITER 3718 NEW BEST:: SOT 186710 SOS 69564 HAS SOPS 69564 HAS SOUS 39580 HAS SOUPS 39580 WITH SCORE 39649.564
AT ITER 3725 NEW BEST:: SOT 186707 SOS 69501 HAS SOPS 69501 HAS SOUS 39522 HAS SOUPS 39522 WITH SCORE 39591.501
AT ITER 3729 NEW BEST:: SOT 186707 SOS 69426 HAS SOPS 69426 HAS SOUS 39373 HAS SOUPS 39373 WITH SCORE 39442.426
AT ITER 3761 NEW BEST:: SOT 186695 SOS 69414 HAS SOPS 69414 HAS SOUS 39361 HAS SOUPS 39361 WITH SCORE 39430.414
AT ITER 3770 NEW BEST:: SOT 186687 SOS 69406 HAS SOPS 69406 HAS SOUS 39361 HAS SOUPS 39361 WITH SCORE 39430.406
AT ITER 3783 NEW BEST:: SOT 186687 SOS 69406 HAS SOPS 69406 HAS SOUS 39323 HAS SOUPS 39323 WITH SCORE 39392.406
AT ITER 3788 NEW BEST:: SOT 186681 SOS 69400 HAS SOPS 69400 HAS SOUS 39317 HAS SOUPS 39317 WITH SCORE 39386.4
AT ITER 3790 NEW BEST:: SOT 186652 SOS 69371 HAS SOPS 69371 HAS SOUS 39288 HAS SOUPS 39288 WITH SCORE 39357.371
AT ITER 3792 NEW BEST:: SOT 186652 SOS 69371 HAS SOPS 69371 HAS SOUS 39277 HAS SOUPS 39277 WITH SCORE 39346.371
AT ITER 3803 NEW BEST:: SOT 186615 SOS 69387 HAS SOPS 69387 HAS SOUS 39263 HAS SOUPS 39263 WITH SCORE 39332.387
AT ITER 3809 NEW BEST:: SOT 186598 SOS 69370 HAS SOPS 69370 HAS SOUS 39246 HAS SOUPS 39246 WITH SCORE 39315.37
AT ITER 3829 NEW BEST:: SOT 186575 SOS 69328 HAS SOPS 69328 HAS SOUS 39204 HAS SOUPS 39204 WITH SCORE 39273.328
AT ITER 3837 NEW BEST:: SOT 186624 SOS 69349 HAS SOPS 69349 HAS SOUS 39180 HAS SOUPS 39180 WITH SCORE 39249.349
AT ITER 3840 NEW BEST:: SOT 186653 SOS 69260 HAS SOPS 69260 HAS SOUS 39174 HAS SOUPS 39174 WITH SCORE 39243.26
AT ITER 3845 NEW BEST:: SOT 186621 SOS 69228 HAS SOPS 69228 HAS SOUS 39131 HAS SOUPS 39131 WITH SCORE 39200.228
AT ITER 3848 NEW BEST:: SOT 186588 SOS 68717 HAS SOPS 68717 HAS SOUS 39046 HAS SOUPS 39046 WITH SCORE 39114.717
AT ITER 3865 NEW BEST:: SOT 186584 SOS 68710 HAS SOPS 68710 HAS SOUS 39039 HAS SOUPS 39039 WITH SCORE 39107.71
AT ITER 3873 NEW BEST:: SOT 186584 SOS 68769 HAS SOPS 68769 HAS SOUS 39037 HAS SOUPS 39037 WITH SCORE 39105.769
AT ITER 3907 NEW BEST:: SOT 186550 SOS 68701 HAS SOPS 68701 HAS SOUS 39017 HAS SOUPS 39017 WITH SCORE 39085.701
AT ITER 3923 NEW BEST:: SOT 186532 SOS 68665 HAS SOPS 68665 HAS SOUS 38981 HAS SOUPS 38981 WITH SCORE 39049.665
AT ITER 3938 NEW BEST:: SOT 186551 SOS 68636 HAS SOPS 68636 HAS SOUS 38952 HAS SOUPS 38952 WITH SCORE 39020.636
AT ITER 3940 NEW BEST:: SOT 186290 SOS 68398 HAS SOPS 68398 HAS SOUS 38751 HAS SOUPS 38751 WITH SCORE 38819.398
AT ITER 3962 NEW BEST:: SOT 186263 SOS 68587 HAS SOPS 68587 HAS SOUS 38724 HAS SOUPS 38724 WITH SCORE 38792.587
AT ITER 3998 NEW BEST:: SOT 186306 SOS 68558 HAS SOPS 68558 HAS SOUS 38707 HAS SOUPS 38707 WITH SCORE 38775.558
AT ITER 4018 NEW BEST:: SOT 186307 SOS 68560 HAS SOPS 68560 HAS SOUS 38694 HAS SOUPS 38694 WITH SCORE 38762.56
AT ITER 4041 NEW BEST:: SOT 186299 SOS 68552 HAS SOPS 68552 HAS SOUS 38686 HAS SOUPS 38686 WITH SCORE 38754.552
AT ITER 4050 NEW BEST:: SOT 186275 SOS 68528 HAS SOPS 68528 HAS SOUS 38638 HAS SOUPS 38638 WITH SCORE 38706.528
AT ITER 4052 NEW BEST:: SOT 186269 SOS 68516 HAS SOPS 68516 HAS SOUS 38626 HAS SOUPS 38626 WITH SCORE 38694.516
AT ITER 4094 NEW BEST:: SOT 186278 SOS 68500 HAS SOPS 68500 HAS SOUS 38623 HAS SOUPS 38623 WITH SCORE 38691.5
AT ITER 4101 NEW BEST:: SOT 186278 SOS 68460 HAS SOPS 68460 HAS SOUS 38623 HAS SOUPS 38623 WITH SCORE 38691.46
AT ITER 4108 NEW BEST:: SOT 186234 SOS 68397 HAS SOPS 68397 HAS SOUS 38560 HAS SOUPS 38560 WITH SCORE 38628.397
AT ITER 4113 NEW BEST:: SOT 186230 SOS 68393 HAS SOPS 68393 HAS SOUS 38556 HAS SOUPS 38556 WITH SCORE 38624.393
AT ITER 4127 NEW BEST:: SOT 186083 SOS 68432 HAS SOPS 68432 HAS SOUS 38435 HAS SOUPS 38435 WITH SCORE 38503.432
AT ITER 4174 NEW BEST:: SOT 186048 SOS 68243 HAS SOPS 68243 HAS SOUS 38400 HAS SOUPS 38400 WITH SCORE 38468.243
AT ITER 4186 NEW BEST:: SOT 186037 SOS 68188 HAS SOPS 68188 HAS SOUS 38366 HAS SOUPS 38366 WITH SCORE 38434.188
AT ITER 4198 NEW BEST:: SOT 186037 SOS 68150 HAS SOPS 68150 HAS SOUS 38366 HAS SOUPS 38366 WITH SCORE 38434.15
AT ITER 4199 NEW BEST:: SOT 186032 SOS 68140 HAS SOPS 68140 HAS SOUS 38361 HAS SOUPS 38361 WITH SCORE 38429.14
AT ITER 4207 NEW BEST:: SOT 186032 SOS 68048 HAS SOPS 68048 HAS SOUS 38361 HAS SOUPS 38361 WITH SCORE 38429.048
AT ITER 4210 NEW BEST:: SOT 185966 SOS 68266 HAS SOPS 68266 HAS SOUS 38330 HAS SOUPS 38330 WITH SCORE 38398.266
AT ITER 4213 NEW BEST:: SOT 185951 SOS 68263 HAS SOPS 68263 HAS SOUS 38327 HAS SOUPS 38327 WITH SCORE 38395.263
AT ITER 4264 NEW BEST:: SOT 185951 SOS 68263 HAS SOPS 68263 HAS SOUS 38324 HAS SOUPS 38324 WITH SCORE 38392.263
AT ITER 4269 NEW BEST:: SOT 186011 SOS 68241 HAS SOPS 68241 HAS SOUS 38216 HAS SOUPS 38216 WITH SCORE 38284.241
AT ITER 4286 NEW BEST:: SOT 186010 SOS 68239 HAS SOPS 68239 HAS SOUS 38215 HAS SOUPS 38215 WITH SCORE 38283.239
AT ITER 4301 NEW BEST:: SOT 185991 SOS 68185 HAS SOPS 68185 HAS SOUS 38180 HAS SOUPS 38180 WITH SCORE 38248.185
AT ITER 4308 NEW BEST:: SOT 185979 SOS 68173 HAS SOPS 68173 HAS SOUS 38166 HAS SOUPS 38166 WITH SCORE 38234.173
AT ITER 4316 NEW BEST:: SOT 185973 SOS 68167 HAS SOPS 68167 HAS SOUS 38166 HAS SOUPS 38166 WITH SCORE 38234.167
AT ITER 4328 NEW BEST:: SOT 185968 SOS 68152 HAS SOPS 68152 HAS SOUS 38161 HAS SOUPS 38161 WITH SCORE 38229.152
AT ITER 4334 NEW BEST:: SOT 185956 SOS 68242 HAS SOPS 68242 HAS SOUS 38149 HAS SOUPS 38149 WITH SCORE 38217.242
AT ITER 4342 NEW BEST:: SOT 185925 SOS 68211 HAS SOPS 68211 HAS SOUS 38149 HAS SOUPS 38149 WITH SCORE 38217.211
AT ITER 4347 NEW BEST:: SOT 185913 SOS 68149 HAS SOPS 68149 HAS SOUS 38137 HAS SOUPS 38137 WITH SCORE 38205.149
AT ITER 4349 NEW BEST:: SOT 185873 SOS 68069 HAS SOPS 68069 HAS SOUS 38093 HAS SOUPS 38093 WITH SCORE 38161.069
AT ITER 4358 NEW BEST:: SOT 185869 SOS 68065 HAS SOPS 68065 HAS SOUS 38089 HAS SOUPS 38089 WITH SCORE 38157.065
AT ITER 4388 NEW BEST:: SOT 185852 SOS 68065 HAS SOPS 68065 HAS SOUS 38072 HAS SOUPS 38072 WITH SCORE 38140.065
AT ITER 4411 NEW BEST:: SOT 185910 SOS 68118 HAS SOPS 68118 HAS SOUS 38067 HAS SOUPS 38067 WITH SCORE 38135.118
AT ITER 4417 NEW BEST:: SOT 185867 SOS 68075 HAS SOPS 68075 HAS SOUS 38024 HAS SOUPS 38024 WITH SCORE 38092.075
AT ITER 4424 NEW BEST:: SOT 185849 SOS 68057 HAS SOPS 68057 HAS SOUS 38024 HAS SOUPS 38024 WITH SCORE 38092.057
AT ITER 4441 NEW BEST:: SOT 185845 SOS 68035 HAS SOPS 68035 HAS SOUS 38020 HAS SOUPS 38020 WITH SCORE 38088.035
AT ITER 4463 NEW BEST:: SOT 185845 SOS 68003 HAS SOPS 68003 HAS SOUS 37988 HAS SOUPS 37988 WITH SCORE 38056.003
AT ITER 4488 NEW BEST:: SOT 185829 SOS 67987 HAS SOPS 67987 HAS SOUS 37972 HAS SOUPS 37972 WITH SCORE 38039.987
AT ITER 4507 NEW BEST:: SOT 185828 SOS 67966 HAS SOPS 67966 HAS SOUS 37951 HAS SOUPS 37951 WITH SCORE 38018.966
AT ITER 4536 NEW BEST:: SOT 185905 SOS 67979 HAS SOPS 67979 HAS SOUS 37945 HAS SOUPS 37945 WITH SCORE 38012.979
AT ITER 4548 NEW BEST:: SOT 185892 SOS 67953 HAS SOPS 67953 HAS SOUS 37932 HAS SOUPS 37932 WITH SCORE 37999.953
AT ITER 4551 NEW BEST:: SOT 185781 SOS 67840 HAS SOPS 67840 HAS SOUS 37819 HAS SOUPS 37819 WITH SCORE 37886.84
AT ITER 4571 NEW BEST:: SOT 185781 SOS 67831 HAS SOPS 67831 HAS SOUS 37818 HAS SOUPS 37818 WITH SCORE 37885.831
AT ITER 4584 NEW BEST:: SOT 185742 SOS 67792 HAS SOPS 67792 HAS SOUS 37818 HAS SOUPS 37818 WITH SCORE 37885.792
AT ITER 4593 NEW BEST:: SOT 185751 SOS 67753 HAS SOPS 67753 HAS SOUS 37790 HAS SOUPS 37790 WITH SCORE 37857.753
AT ITER 4598 NEW BEST:: SOT 185745 SOS 67747 HAS SOPS 67747 HAS SOUS 37784 HAS SOUPS 37784 WITH SCORE 37851.747
AT ITER 4617 NEW BEST:: SOT 185737 SOS 67715 HAS SOPS 67715 HAS SOUS 37776 HAS SOUPS 37776 WITH SCORE 37843.715
AT ITER 4619 NEW BEST:: SOT 185532 SOS 68175 HAS SOPS 68175 HAS SOUS 37751 HAS SOUPS 37751 WITH SCORE 37819.175
AT ITER 4634 NEW BEST:: SOT 185489 SOS 68154 HAS SOPS 68154 HAS SOUS 37728 HAS SOUPS 37728 WITH SCORE 37796.154
AT ITER 4682 NEW BEST:: SOT 185487 SOS 68150 HAS SOPS 68150 HAS SOUS 37726 HAS SOUPS 37726 WITH SCORE 37794.15
AT ITER 4688 NEW BEST:: SOT 185487 SOS 68140 HAS SOPS 68140 HAS SOUS 37726 HAS SOUPS 37726 WITH SCORE 37794.14
AT ITER 4708 NEW BEST:: SOT 185468 SOS 68064 HAS SOPS 68064 HAS SOUS 37669 HAS SOUPS 37669 WITH SCORE 37737.064
AT ITER 4712 NEW BEST:: SOT 185468 SOS 68064 HAS SOPS 68064 HAS SOUS 37659 HAS SOUPS 37659 WITH SCORE 37727.064
AT ITER 4723 NEW BEST:: SOT 185468 SOS 68115 HAS SOPS 68115 HAS SOUS 37635 HAS SOUPS 37635 WITH SCORE 37703.115
AT ITER 4730 NEW BEST:: SOT 185468 SOS 68112 HAS SOPS 68112 HAS SOUS 37632 HAS SOUPS 37632 WITH SCORE 37700.112
AT ITER 4761 NEW BEST:: SOT 185468 SOS 68104 HAS SOPS 68104 HAS SOUS 37614 HAS SOUPS 37614 WITH SCORE 37682.104
AT ITER 4763 NEW BEST:: SOT 185465 SOS 68098 HAS SOPS 68098 HAS SOUS 37608 HAS SOUPS 37608 WITH SCORE 37676.098
AT ITER 4772 NEW BEST:: SOT 185480 SOS 68004 HAS SOPS 68004 HAS SOUS 37585 HAS SOUPS 37585 WITH SCORE 37653.004
AT ITER 4797 NEW BEST:: SOT 185589 SOS 68099 HAS SOPS 68099 HAS SOUS 37550 HAS SOUPS 37550 WITH SCORE 37618.099
AT ITER 4798 NEW BEST:: SOT 185589 SOS 68057 HAS SOPS 68057 HAS SOUS 37488 HAS SOUPS 37488 WITH SCORE 37556.057
AT ITER 4801 NEW BEST:: SOT 185599 SOS 68077 HAS SOPS 68077 HAS SOUS 37458 HAS SOUPS 37458 WITH SCORE 37526.077
AT ITER 4809 NEW BEST:: SOT 185635 SOS 68149 HAS SOPS 68149 HAS SOUS 37429 HAS SOUPS 37429 WITH SCORE 37497.149
AT ITER 4823 NEW BEST:: SOT 185635 SOS 68119 HAS SOPS 68119 HAS SOUS 37399 HAS SOUPS 37399 WITH SCORE 37467.119
AT ITER 4857 NEW BEST:: SOT 185635 SOS 68100 HAS SOPS 68100 HAS SOUS 37399 HAS SOUPS 37399 WITH SCORE 37467.1
AT ITER 4864 NEW BEST:: SOT 185587 SOS 68004 HAS SOPS 68004 HAS SOUS 37355 HAS SOUPS 37355 WITH SCORE 37423.004
AT ITER 4892 NEW BEST:: SOT 185624 SOS 68022 HAS SOPS 68022 HAS SOUS 37336 HAS SOUPS 37336 WITH SCORE 37404.022
AT ITER 4909 NEW BEST:: SOT 185608 SOS 68006 HAS SOPS 68006 HAS SOUS 37304 HAS SOUPS 37304 WITH SCORE 37372.006
AT ITER 4921 NEW BEST:: SOT 185622 SOS 68011 HAS SOPS 68011 HAS SOUS 37295 HAS SOUPS 37295 WITH SCORE 37363.011
AT ITER 4936 NEW BEST:: SOT 185530 SOS 67951 HAS SOPS 67951 HAS SOUS 37268 HAS SOUPS 37268 WITH SCORE 37335.951
AT ITER 4937 NEW BEST:: SOT 185524 SOS 67956 HAS SOPS 67956 HAS SOUS 37262 HAS SOUPS 37262 WITH SCORE 37329.956
AT ITER 4945 NEW BEST:: SOT 185522 SOS 67954 HAS SOPS 67954 HAS SOUS 37260 HAS SOUPS 37260 WITH SCORE 37327.954
AT ITER 4964 NEW BEST:: SOT 185511 SOS 67239 HAS SOPS 67239 HAS SOUS 37245 HAS SOUPS 37245 WITH SCORE 37312.239
AT ITER 4975 NEW BEST:: SOT 185525 SOS 66925 HAS SOPS 66925 HAS SOUS 37245 HAS SOUPS 37245 WITH SCORE 37311.925
AT ITER 4976 NEW BEST:: SOT 185545 SOS 66753 HAS SOPS 66753 HAS SOUS 37179 HAS SOUPS 37179 WITH SCORE 37245.753
AT ITER 4996 NEW BEST:: SOT 185529 SOS 66737 HAS SOPS 66737 HAS SOUS 37163 HAS SOUPS 37163 WITH SCORE 37229.737
AT ITER 5000 NEW BEST:: SOT 185487 SOS 66792 HAS SOPS 66792 HAS SOUS 37121 HAS SOUPS 37121 WITH SCORE 37187.792
AT ITER 5003 NEW BEST:: SOT 185443 SOS 66748 HAS SOPS 66748 HAS SOUS 37077 HAS SOUPS 37077 WITH SCORE 37143.748
AT ITER 5010 NEW BEST:: SOT 185412 SOS 66716 HAS SOPS 66716 HAS SOUS 37075 HAS SOUPS 37075 WITH SCORE 37141.716
AT ITER 5042 NEW BEST:: SOT 185427 SOS 66746 HAS SOPS 66746 HAS SOUS 36991 HAS SOUPS 36991 WITH SCORE 37057.746
AT ITER 5056 NEW BEST:: SOT 185425 SOS 66742 HAS SOPS 66742 HAS SOUS 36987 HAS SOUPS 36987 WITH SCORE 37053.742
AT ITER 5057 NEW BEST:: SOT 185321 SOS 66698 HAS SOPS 66698 HAS SOUS 36879 HAS SOUPS 36879 WITH SCORE 36945.698
AT ITER 5065 NEW BEST:: SOT 185320 SOS 66733 HAS SOPS 66733 HAS SOUS 36878 HAS SOUPS 36878 WITH SCORE 36944.733
AT ITER 5068 NEW BEST:: SOT 185325 SOS 66806 HAS SOPS 66806 HAS SOUS 36828 HAS SOUPS 36828 WITH SCORE 36894.806
AT ITER 5117 NEW BEST:: SOT 185451 SOS 66757 HAS SOPS 66757 HAS SOUS 36661 HAS SOUPS 36661 WITH SCORE 36727.757
AT ITER 5124 NEW BEST:: SOT 185323 SOS 66583 HAS SOPS 66583 HAS SOUS 36533 HAS SOUPS 36533 WITH SCORE 36599.583
AT ITER 5127 NEW BEST:: SOT 185326 SOS 66581 HAS SOPS 66581 HAS SOUS 36531 HAS SOUPS 36531 WITH SCORE 36597.581
AT ITER 5143 NEW BEST:: SOT 185299 SOS 66588 HAS SOPS 66588 HAS SOUS 36504 HAS SOUPS 36504 WITH SCORE 36570.588
AT ITER 5157 NEW BEST:: SOT 185246 SOS 66482 HAS SOPS 66482 HAS SOUS 36398 HAS SOUPS 36398 WITH SCORE 36464.482
AT ITER 5160 NEW BEST:: SOT 185234 SOS 66458 HAS SOPS 66458 HAS SOUS 36374 HAS SOUPS 36374 WITH SCORE 36440.458
AT ITER 5167 NEW BEST:: SOT 185231 SOS 66455 HAS SOPS 66455 HAS SOUS 36371 HAS SOUPS 36371 WITH SCORE 36437.455
AT ITER 5199 NEW BEST:: SOT 185200 SOS 66393 HAS SOPS 66393 HAS SOUS 36311 HAS SOUPS 36311 WITH SCORE 36377.393
AT ITER 5250 NEW BEST:: SOT 185200 SOS 66284 HAS SOPS 66284 HAS SOUS 36214 HAS SOUPS 36214 WITH SCORE 36280.284
AT ITER 5269 NEW BEST:: SOT 185200 SOS 66284 HAS SOPS 66284 HAS SOUS 36118 HAS SOUPS 36118 WITH SCORE 36184.284
AT ITER 5272 NEW BEST:: SOT 185193 SOS 66250 HAS SOPS 66250 HAS SOUS 36099 HAS SOUPS 36099 WITH SCORE 36165.25
AT ITER 5333 NEW BEST:: SOT 185185 SOS 66234 HAS SOPS 66234 HAS SOUS 36091 HAS SOUPS 36091 WITH SCORE 36157.234
AT ITER 5344 NEW BEST:: SOT 185171 SOS 66185 HAS SOPS 66185 HAS SOUS 36063 HAS SOUPS 36063 WITH SCORE 36129.185
AT ITER 5382 NEW BEST:: SOT 185155 SOS 66178 HAS SOPS 66178 HAS SOUS 36047 HAS SOUPS 36047 WITH SCORE 36113.178
AT ITER 5418 NEW BEST:: SOT 185160 SOS 66161 HAS SOPS 66161 HAS SOUS 35957 HAS SOUPS 35957 WITH SCORE 36023.161
AT ITER 5461 NEW BEST:: SOT 185160 SOS 66160 HAS SOPS 66160 HAS SOUS 35957 HAS SOUPS 35957 WITH SCORE 36023.16
AT ITER 5484 NEW BEST:: SOT 185070 SOS 66115 HAS SOPS 66115 HAS SOUS 35882 HAS SOUPS 35882 WITH SCORE 35948.115
AT ITER 5503 NEW BEST:: SOT 185062 SOS 66099 HAS SOPS 66099 HAS SOUS 35874 HAS SOUPS 35874 WITH SCORE 35940.099
AT ITER 5507 NEW BEST:: SOT 185030 SOS 66035 HAS SOPS 66035 HAS SOUS 35826 HAS SOUPS 35826 WITH SCORE 35892.035
AT ITER 5574 NEW BEST:: SOT 185030 SOS 66034 HAS SOPS 66034 HAS SOUS 35826 HAS SOUPS 35826 WITH SCORE 35892.034
AT ITER 5629 NEW BEST:: SOT 184997 SOS 65921 HAS SOPS 65921 HAS SOUS 35753 HAS SOUPS 35753 WITH SCORE 35818.921
AT ITER 5631 NEW BEST:: SOT 184991 SOS 65909 HAS SOPS 65909 HAS SOUS 35747 HAS SOUPS 35747 WITH SCORE 35812.909
AT ITER 5655 NEW BEST:: SOT 184953 SOS 65850 HAS SOPS 65850 HAS SOUS 35707 HAS SOUPS 35707 WITH SCORE 35772.85
AT ITER 5662 NEW BEST:: SOT 184903 SOS 65832 HAS SOPS 65832 HAS SOUS 35662 HAS SOUPS 35662 WITH SCORE 35727.832
AT ITER 5665 NEW BEST:: SOT 184852 SOS 65588 HAS SOPS 65588 HAS SOUS 35465 HAS SOUPS 35465 WITH SCORE 35530.588
AT ITER 5671 NEW BEST:: SOT 184852 SOS 65565 HAS SOPS 65565 HAS SOUS 35465 HAS SOUPS 35465 WITH SCORE 35530.565
AT ITER 5686 NEW BEST:: SOT 184852 SOS 65560 HAS SOPS 65560 HAS SOUS 35465 HAS SOUPS 35465 WITH SCORE 35530.56
AT ITER 5696 NEW BEST:: SOT 184852 SOS 65560 HAS SOPS 65560 HAS SOUS 35453 HAS SOUPS 35453 WITH SCORE 35518.56
AT ITER 5697 NEW BEST:: SOT 184852 SOS 65542 HAS SOPS 65542 HAS SOUS 35453 HAS SOUPS 35453 WITH SCORE 35518.542
AT ITER 5705 NEW BEST:: SOT 184826 SOS 65261 HAS SOPS 65261 HAS SOUS 35312 HAS SOUPS 35312 WITH SCORE 35377.261
AT ITER 5708 NEW BEST:: SOT 184828 SOS 65241 HAS SOPS 65241 HAS SOUS 35292 HAS SOUPS 35292 WITH SCORE 35357.241
AT ITER 5713 NEW BEST:: SOT 184824 SOS 65233 HAS SOPS 65233 HAS SOUS 35288 HAS SOUPS 35288 WITH SCORE 35353.233
AT ITER 5727 NEW BEST:: SOT 184819 SOS 65233 HAS SOPS 65233 HAS SOUS 35285 HAS SOUPS 35285 WITH SCORE 35350.233
AT ITER 5729 NEW BEST:: SOT 184817 SOS 65193 HAS SOPS 65193 HAS SOUS 35263 HAS SOUPS 35263 WITH SCORE 35328.193
AT ITER 5745 NEW BEST:: SOT 184817 SOS 65170 HAS SOPS 65170 HAS SOUS 35240 HAS SOUPS 35240 WITH SCORE 35305.17
AT ITER 5773 NEW BEST:: SOT 184832 SOS 65183 HAS SOPS 65183 HAS SOUS 35236 HAS SOUPS 35236 WITH SCORE 35301.183
AT ITER 5783 NEW BEST:: SOT 184824 SOS 65159 HAS SOPS 65159 HAS SOUS 35228 HAS SOUPS 35228 WITH SCORE 35293.159
AT ITER 5786 NEW BEST:: SOT 184824 SOS 65187 HAS SOPS 65187 HAS SOUS 35218 HAS SOUPS 35218 WITH SCORE 35283.187
AT ITER 5800 NEW BEST:: SOT 184824 SOS 65187 HAS SOPS 65187 HAS SOUS 35202 HAS SOUPS 35202 WITH SCORE 35267.187
AT ITER 5808 NEW BEST:: SOT 184822 SOS 65130 HAS SOPS 65130 HAS SOUS 35198 HAS SOUPS 35198 WITH SCORE 35263.13
AT ITER 5817 NEW BEST:: SOT 184764 SOS 65078 HAS SOPS 65078 HAS SOUS 35140 HAS SOUPS 35140 WITH SCORE 35205.078
AT ITER 5832 NEW BEST:: SOT 184773 SOS 65068 HAS SOPS 65068 HAS SOUS 35136 HAS SOUPS 35136 WITH SCORE 35201.068
AT ITER 5854 NEW BEST:: SOT 184772 SOS 65066 HAS SOPS 65066 HAS SOUS 35134 HAS SOUPS 35134 WITH SCORE 35199.066
AT ITER 5861 NEW BEST:: SOT 184771 SOS 65065 HAS SOPS 65065 HAS SOUS 35114 HAS SOUPS 35114 WITH SCORE 35179.065
AT ITER 5863 NEW BEST:: SOT 184724 SOS 64981 HAS SOPS 64981 HAS SOUS 35106 HAS SOUPS 35106 WITH SCORE 35170.981
AT ITER 5873 NEW BEST:: SOT 184677 SOS 64887 HAS SOPS 64887 HAS SOUS 35012 HAS SOUPS 35012 WITH SCORE 35076.887
AT ITER 5904 NEW BEST:: SOT 184677 SOS 64887 HAS SOPS 64887 HAS SOUS 35009 HAS SOUPS 35009 WITH SCORE 35073.887
AT ITER 5909 NEW BEST:: SOT 184677 SOS 64887 HAS SOPS 64887 HAS SOUS 34964 HAS SOUPS 34964 WITH SCORE 35028.887
AT ITER 5921 NEW BEST:: SOT 184695 SOS 64923 HAS SOPS 64923 HAS SOUS 34948 HAS SOUPS 34948 WITH SCORE 35012.923
AT ITER 5963 NEW BEST:: SOT 184683 SOS 64923 HAS SOPS 64923 HAS SOUS 34936 HAS SOUPS 34936 WITH SCORE 35000.923
AT ITER 5966 NEW BEST:: SOT 184683 SOS 64923 HAS SOPS 64923 HAS SOUS 34933 HAS SOUPS 34933 WITH SCORE 34997.923
AT ITER 5973 NEW BEST:: SOT 184683 SOS 64811 HAS SOPS 64811 HAS SOUS 34933 HAS SOUPS 34933 WITH SCORE 34997.811
AT ITER 5980 NEW BEST:: SOT 184683 SOS 64797 HAS SOPS 64797 HAS SOUS 34922 HAS SOUPS 34922 WITH SCORE 34986.797
AT ITER 5992 NEW BEST:: SOT 184683 SOS 64793 HAS SOPS 64793 HAS SOUS 34914 HAS SOUPS 34914 WITH SCORE 34978.793
AT ITER 6027 NEW BEST:: SOT 184683 SOS 64764 HAS SOPS 64764 HAS SOUS 34914 HAS SOUPS 34914 WITH SCORE 34978.764
AT ITER 6033 NEW BEST:: SOT 184586 SOS 64570 HAS SOPS 64570 HAS SOUS 34817 HAS SOUPS 34817 WITH SCORE 34881.57
AT ITER 6043 NEW BEST:: SOT 184586 SOS 64552 HAS SOPS 64552 HAS SOUS 34817 HAS SOUPS 34817 WITH SCORE 34881.552
AT ITER 6068 NEW BEST:: SOT 184597 SOS 64574 HAS SOPS 64574 HAS SOUS 34810 HAS SOUPS 34810 WITH SCORE 34874.574
AT ITER 6069 NEW BEST:: SOT 184597 SOS 64598 HAS SOPS 64598 HAS SOUS 34805 HAS SOUPS 34805 WITH SCORE 34869.598
AT ITER 6080 NEW BEST:: SOT 184597 SOS 64570 HAS SOPS 64570 HAS SOUS 34799 HAS SOUPS 34799 WITH SCORE 34863.57
AT ITER 6095 NEW BEST:: SOT 184573 SOS 64522 HAS SOPS 64522 HAS SOUS 34751 HAS SOUPS 34751 WITH SCORE 34815.522
AT ITER 6106 NEW BEST:: SOT 184573 SOS 64360 HAS SOPS 64360 HAS SOUS 34751 HAS SOUPS 34751 WITH SCORE 34815.36
AT ITER 6131 NEW BEST:: SOT 184549 SOS 64312 HAS SOPS 64312 HAS SOUS 34727 HAS SOUPS 34727 WITH SCORE 34791.312
AT ITER 6135 NEW BEST:: SOT 184544 SOS 64297 HAS SOPS 64297 HAS SOUS 34717 HAS SOUPS 34717 WITH SCORE 34781.297
AT ITER 6140 NEW BEST:: SOT 184544 SOS 64282 HAS SOPS 64282 HAS SOUS 34702 HAS SOUPS 34702 WITH SCORE 34766.282
AT ITER 6179 NEW BEST:: SOT 184544 SOS 64184 HAS SOPS 64184 HAS SOUS 34675 HAS SOUPS 34675 WITH SCORE 34739.184
AT ITER 6201 NEW BEST:: SOT 184489 SOS 64074 HAS SOPS 64074 HAS SOUS 34565 HAS SOUPS 34565 WITH SCORE 34629.074
AT ITER 6209 NEW BEST:: SOT 184437 SOS 64130 HAS SOPS 64130 HAS SOUS 34545 HAS SOUPS 34545 WITH SCORE 34609.13
AT ITER 6239 NEW BEST:: SOT 184461 SOS 64164 HAS SOPS 64164 HAS SOUS 34538 HAS SOUPS 34538 WITH SCORE 34602.164
AT ITER 6272 NEW BEST:: SOT 184452 SOS 64155 HAS SOPS 64155 HAS SOUS 34529 HAS SOUPS 34529 WITH SCORE 34593.155
AT ITER 6274 NEW BEST:: SOT 184451 SOS 64151 HAS SOPS 64151 HAS SOUS 34527 HAS SOUPS 34527 WITH SCORE 34591.151
AT ITER 6281 NEW BEST:: SOT 184340 SOS 63882 HAS SOPS 63882 HAS SOUS 34375 HAS SOUPS 34375 WITH SCORE 34438.882
AT ITER 6307 NEW BEST:: SOT 184324 SOS 63802 HAS SOPS 63802 HAS SOUS 34359 HAS SOUPS 34359 WITH SCORE 34422.802
AT ITER 6344 NEW BEST:: SOT 184184 SOS 63599 HAS SOPS 63599 HAS SOUS 34219 HAS SOUPS 34219 WITH SCORE 34282.599
AT ITER 6347 NEW BEST:: SOT 184162 SOS 63599 HAS SOPS 63599 HAS SOUS 34175 HAS SOUPS 34175 WITH SCORE 34238.599
AT ITER 6355 NEW BEST:: SOT 184162 SOS 63599 HAS SOPS 63599 HAS SOUS 34119 HAS SOUPS 34119 WITH SCORE 34182.599
AT ITER 6374 NEW BEST:: SOT 184162 SOS 63590 HAS SOPS 63590 HAS SOUS 34101 HAS SOUPS 34101 WITH SCORE 34164.59
AT ITER 6377 NEW BEST:: SOT 184162 SOS 63570 HAS SOPS 63570 HAS SOUS 34097 HAS SOUPS 34097 WITH SCORE 34160.57
AT ITER 6398 NEW BEST:: SOT 184202 SOS 63413 HAS SOPS 63413 HAS SOUS 34074 HAS SOUPS 34074 WITH SCORE 34137.413
AT ITER 6445 NEW BEST:: SOT 184194 SOS 63397 HAS SOPS 63397 HAS SOUS 34058 HAS SOUPS 34058 WITH SCORE 34121.397
AT ITER 6484 NEW BEST:: SOT 184183 SOS 63375 HAS SOPS 63375 HAS SOUS 34047 HAS SOUPS 34047 WITH SCORE 34110.375
AT ITER 6508 NEW BEST:: SOT 184174 SOS 63357 HAS SOPS 63357 HAS SOUS 34029 HAS SOUPS 34029 WITH SCORE 34092.357
AT ITER 6524 NEW BEST:: SOT 184171 SOS 63366 HAS SOPS 63366 HAS SOUS 34026 HAS SOUPS 34026 WITH SCORE 34089.366
AT ITER 6535 NEW BEST:: SOT 184171 SOS 63366 HAS SOPS 63366 HAS SOUS 34025 HAS SOUPS 34025 WITH SCORE 34088.366
AT ITER 6552 NEW BEST:: SOT 184171 SOS 63366 HAS SOPS 63366 HAS SOUS 34004 HAS SOUPS 34004 WITH SCORE 34067.366
AT ITER 6556 NEW BEST:: SOT 184169 SOS 63362 HAS SOPS 63362 HAS SOUS 33976 HAS SOUPS 33976 WITH SCORE 34039.362
AT ITER 6569 NEW BEST:: SOT 184169 SOS 63362 HAS SOPS 63362 HAS SOUS 33962 HAS SOUPS 33962 WITH SCORE 34025.362
AT ITER 6575 NEW BEST:: SOT 184165 SOS 63358 HAS SOPS 63358 HAS SOUS 33958 HAS SOUPS 33958 WITH SCORE 34021.358
AT ITER 6587 NEW BEST:: SOT 184165 SOS 63358 HAS SOPS 63358 HAS SOUS 33957 HAS SOUPS 33957 WITH SCORE 34020.358
AT ITER 6659 NEW BEST:: SOT 184162 SOS 63355 HAS SOPS 63355 HAS SOUS 33954 HAS SOUPS 33954 WITH SCORE 34017.355
AT ITER 6662 NEW BEST:: SOT 184146 SOS 63334 HAS SOPS 63334 HAS SOUS 33933 HAS SOUPS 33933 WITH SCORE 33996.334
AT ITER 6670 NEW BEST:: SOT 184140 SOS 63322 HAS SOPS 63322 HAS SOUS 33927 HAS SOUPS 33927 WITH SCORE 33990.322
AT ITER 6681 NEW BEST:: SOT 184140 SOS 63321 HAS SOPS 63321 HAS SOUS 33926 HAS SOUPS 33926 WITH SCORE 33989.321
AT ITER 6701 NEW BEST:: SOT 184140 SOS 63315 HAS SOPS 63315 HAS SOUS 33926 HAS SOUPS 33926 WITH SCORE 33989.315
AT ITER 6705 NEW BEST:: SOT 184139 SOS 63315 HAS SOPS 63315 HAS SOUS 33925 HAS SOUPS 33925 WITH SCORE 33988.315
AT ITER 6716 NEW BEST:: SOT 184139 SOS 63297 HAS SOPS 63297 HAS SOUS 33925 HAS SOUPS 33925 WITH SCORE 33988.297
AT ITER 6733 NEW BEST:: SOT 184139 SOS 63297 HAS SOPS 63297 HAS SOUS 33923 HAS SOUPS 33923 WITH SCORE 33986.297
AT ITER 6747 NEW BEST:: SOT 184139 SOS 63286 HAS SOPS 63286 HAS SOUS 33912 HAS SOUPS 33912 WITH SCORE 33975.286
AT ITER 6779 NEW BEST:: SOT 184145 SOS 63295 HAS SOPS 63295 HAS SOUS 33900 HAS SOUPS 33900 WITH SCORE 33963.295
AT ITER 6782 NEW BEST:: SOT 184131 SOS 63267 HAS SOPS 63267 HAS SOUS 33897 HAS SOUPS 33897 WITH SCORE 33960.267
AT ITER 6796 NEW BEST:: SOT 184121 SOS 63247 HAS SOPS 63247 HAS SOUS 33887 HAS SOUPS 33887 WITH SCORE 33950.247
AT ITER 6806 NEW BEST:: SOT 184121 SOS 63233 HAS SOPS 63233 HAS SOUS 33873 HAS SOUPS 33873 WITH SCORE 33936.233
AT ITER 6831 NEW BEST:: SOT 184114 SOS 63219 HAS SOPS 63219 HAS SOUS 33859 HAS SOUPS 33859 WITH SCORE 33922.219
AT ITER 6848 NEW BEST:: SOT 184130 SOS 63001 HAS SOPS 63001 HAS SOUS 33845 HAS SOUPS 33845 WITH SCORE 33908.001
AT ITER 6854 NEW BEST:: SOT 184062 SOS 62933 HAS SOPS 62933 HAS SOUS 33845 HAS SOUPS 33845 WITH SCORE 33907.933
AT ITER 6892 NEW BEST:: SOT 184062 SOS 62905 HAS SOPS 62905 HAS SOUS 33845 HAS SOUPS 33845 WITH SCORE 33907.905
AT ITER 6903 NEW BEST:: SOT 184054 SOS 62889 HAS SOPS 62889 HAS SOUS 33829 HAS SOUPS 33829 WITH SCORE 33891.889
AT ITER 6912 NEW BEST:: SOT 184054 SOS 62886 HAS SOPS 62886 HAS SOUS 33826 HAS SOUPS 33826 WITH SCORE 33888.886
AT ITER 6941 NEW BEST:: SOT 184036 SOS 62880 HAS SOPS 62880 HAS SOUS 33820 HAS SOUPS 33820 WITH SCORE 33882.88
AT ITER 6973 NEW BEST:: SOT 184040 SOS 62852 HAS SOPS 62852 HAS SOUS 33814 HAS SOUPS 33814 WITH SCORE 33876.852
AT ITER 6978 NEW BEST:: SOT 184029 SOS 62849 HAS SOPS 62849 HAS SOUS 33811 HAS SOUPS 33811 WITH SCORE 33873.849
AT ITER 7001 NEW BEST:: SOT 184029 SOS 62849 HAS SOPS 62849 HAS SOUS 33803 HAS SOUPS 33803 WITH SCORE 33865.849
AT ITER 7003 NEW BEST:: SOT 184011 SOS 62819 HAS SOPS 62819 HAS SOUS 33785 HAS SOUPS 33785 WITH SCORE 33847.819
AT ITER 7080 NEW BEST:: SOT 184011 SOS 62813 HAS SOPS 62813 HAS SOUS 33785 HAS SOUPS 33785 WITH SCORE 33847.813
AT ITER 7123 NEW BEST:: SOT 184027 SOS 62834 HAS SOPS 62834 HAS SOUS 33784 HAS SOUPS 33784 WITH SCORE 33846.834
AT ITER 7128 NEW BEST:: SOT 183994 SOS 62867 HAS SOPS 62867 HAS SOUS 33743 HAS SOUPS 33743 WITH SCORE 33805.867
AT ITER 7130 NEW BEST:: SOT 183983 SOS 62856 HAS SOPS 62856 HAS SOUS 33721 HAS SOUPS 33721 WITH SCORE 33783.856
AT ITER 7150 NEW BEST:: SOT 183960 SOS 63002 HAS SOPS 63002 HAS SOUS 33718 HAS SOUPS 33718 WITH SCORE 33781.002
AT ITER 7198 NEW BEST:: SOT 183917 SOS 62937 HAS SOPS 62937 HAS SOUS 33653 HAS SOUPS 33653 WITH SCORE 33715.937
AT ITER 7229 NEW BEST:: SOT 183892 SOS 62903 HAS SOPS 62903 HAS SOUS 33625 HAS SOUPS 33625 WITH SCORE 33687.903
AT ITER 7243 NEW BEST:: SOT 183852 SOS 62948 HAS SOPS 62948 HAS SOUS 33623 HAS SOUPS 33623 WITH SCORE 33685.948
AT ITER 7249 NEW BEST:: SOT 183844 SOS 62932 HAS SOPS 62932 HAS SOUS 33615 HAS SOUPS 33615 WITH SCORE 33677.932
AT ITER 7250 NEW BEST:: SOT 183844 SOS 62917 HAS SOPS 62917 HAS SOUS 33600 HAS SOUPS 33600 WITH SCORE 33662.917
AT ITER 7259 NEW BEST:: SOT 183842 SOS 62911 HAS SOPS 62911 HAS SOUS 33594 HAS SOUPS 33594 WITH SCORE 33656.911
AT ITER 7292 NEW BEST:: SOT 183818 SOS 62879 HAS SOPS 62879 HAS SOUS 33587 HAS SOUPS 33587 WITH SCORE 33649.879
AT ITER 7321 NEW BEST:: SOT 183784 SOS 62811 HAS SOPS 62811 HAS SOUS 33553 HAS SOUPS 33553 WITH SCORE 33615.811
AT ITER 7346 NEW BEST:: SOT 183776 SOS 62795 HAS SOPS 62795 HAS SOUS 33537 HAS SOUPS 33537 WITH SCORE 33599.795
AT ITER 7350 NEW BEST:: SOT 183795 SOS 62833 HAS SOPS 62833 HAS SOUS 33529 HAS SOUPS 33529 WITH SCORE 33591.833
AT ITER 7359 NEW BEST:: SOT 183800 SOS 62802 HAS SOPS 62802 HAS SOUS 33486 HAS SOUPS 33486 WITH SCORE 33548.802
AT ITER 7381 NEW BEST:: SOT 183791 SOS 62784 HAS SOPS 62784 HAS SOUS 33468 HAS SOUPS 33468 WITH SCORE 33530.784
AT ITER 7396 NEW BEST:: SOT 183771 SOS 62744 HAS SOPS 62744 HAS SOUS 33452 HAS SOUPS 33452 WITH SCORE 33514.744
AT ITER 7401 NEW BEST:: SOT 183770 SOS 62742 HAS SOPS 62742 HAS SOUS 33450 HAS SOUPS 33450 WITH SCORE 33512.742
AT ITER 7430 NEW BEST:: SOT 183741 SOS 62784 HAS SOPS 62784 HAS SOUS 33422 HAS SOUPS 33422 WITH SCORE 33484.784
AT ITER 7436 NEW BEST:: SOT 183751 SOS 62788 HAS SOPS 62788 HAS SOUS 33410 HAS SOUPS 33410 WITH SCORE 33472.788
AT ITER 7437 NEW BEST:: SOT 183752 SOS 62782 HAS SOPS 62782 HAS SOUS 33408 HAS SOUPS 33408 WITH SCORE 33470.782
AT ITER 7468 NEW BEST:: SOT 183748 SOS 62782 HAS SOPS 62782 HAS SOUS 33404 HAS SOUPS 33404 WITH SCORE 33466.782
AT ITER 7521 NEW BEST:: SOT 183757 SOS 62800 HAS SOPS 62800 HAS SOUS 33393 HAS SOUPS 33393 WITH SCORE 33455.8
AT ITER 7546 NEW BEST:: SOT 183712 SOS 62642 HAS SOPS 62642 HAS SOUS 33313 HAS SOUPS 33313 WITH SCORE 33375.642
AT ITER 7547 NEW BEST:: SOT 183709 SOS 62640 HAS SOPS 62640 HAS SOUS 33307 HAS SOUPS 33307 WITH SCORE 33369.64
AT ITER 7601 NEW BEST:: SOT 183687 SOS 62618 HAS SOPS 62618 HAS SOUS 33263 HAS SOUPS 33263 WITH SCORE 33325.618
AT ITER 7634 NEW BEST:: SOT 183636 SOS 62567 HAS SOPS 62567 HAS SOUS 33202 HAS SOUPS 33202 WITH SCORE 33264.567
AT ITER 7635 NEW BEST:: SOT 183625 SOS 62554 HAS SOPS 62554 HAS SOUS 33195 HAS SOUPS 33195 WITH SCORE 33257.554
AT ITER 7672 NEW BEST:: SOT 183632 SOS 62527 HAS SOPS 62527 HAS SOUS 33192 HAS SOUPS 33192 WITH SCORE 33254.527
AT ITER 7679 NEW BEST:: SOT 183622 SOS 62507 HAS SOPS 62507 HAS SOUS 33172 HAS SOUPS 33172 WITH SCORE 33234.507
AT ITER 7686 NEW BEST:: SOT 183662 SOS 62538 HAS SOPS 62538 HAS SOUS 33162 HAS SOUPS 33162 WITH SCORE 33224.538
AT ITER 7688 NEW BEST:: SOT 183662 SOS 62538 HAS SOPS 62538 HAS SOUS 33161 HAS SOUPS 33161 WITH SCORE 33223.538
AT ITER 7716 NEW BEST:: SOT 183662 SOS 62531 HAS SOPS 62531 HAS SOUS 33147 HAS SOUPS 33147 WITH SCORE 33209.531
AT ITER 7728 NEW BEST:: SOT 183616 SOS 62439 HAS SOPS 62439 HAS SOUS 33101 HAS SOUPS 33101 WITH SCORE 33163.439
AT ITER 7741 NEW BEST:: SOT 183578 SOS 62401 HAS SOPS 62401 HAS SOUS 33063 HAS SOUPS 33063 WITH SCORE 33125.401
AT ITER 7742 NEW BEST:: SOT 183524 SOS 62310 HAS SOPS 62310 HAS SOUS 33011 HAS SOUPS 33011 WITH SCORE 33073.31
AT ITER 7765 NEW BEST:: SOT 183524 SOS 62310 HAS SOPS 62310 HAS SOUS 33005 HAS SOUPS 33005 WITH SCORE 33067.31
AT ITER 7766 NEW BEST:: SOT 183535 SOS 62132 HAS SOPS 62132 HAS SOUS 32996 HAS SOUPS 32996 WITH SCORE 33058.132
AT ITER 7771 NEW BEST:: SOT 183520 SOS 62117 HAS SOPS 62117 HAS SOUS 32981 HAS SOUPS 32981 WITH SCORE 33043.117
AT ITER 7813 NEW BEST:: SOT 183603 SOS 62082 HAS SOPS 62082 HAS SOUS 32946 HAS SOUPS 32946 WITH SCORE 33008.082
AT ITER 7814 NEW BEST:: SOT 183582 SOS 62040 HAS SOPS 62040 HAS SOUS 32888 HAS SOUPS 32888 WITH SCORE 32950.04
AT ITER 7858 NEW BEST:: SOT 183582 SOS 62024 HAS SOPS 62024 HAS SOUS 32872 HAS SOUPS 32872 WITH SCORE 32934.024
AT ITER 7873 NEW BEST:: SOT 183550 SOS 62030 HAS SOPS 62030 HAS SOUS 32831 HAS SOUPS 32831 WITH SCORE 32893.03
AT ITER 7886 NEW BEST:: SOT 183544 SOS 62026 HAS SOPS 62026 HAS SOUS 32827 HAS SOUPS 32827 WITH SCORE 32889.026
AT ITER 7891 NEW BEST:: SOT 183535 SOS 61995 HAS SOPS 61995 HAS SOUS 32822 HAS SOUPS 32822 WITH SCORE 32883.995
AT ITER 7895 NEW BEST:: SOT 183531 SOS 62050 HAS SOPS 62050 HAS SOUS 32818 HAS SOUPS 32818 WITH SCORE 32880.05
AT ITER 7924 NEW BEST:: SOT 183516 SOS 62035 HAS SOPS 62035 HAS SOUS 32803 HAS SOUPS 32803 WITH SCORE 32865.035
AT ITER 7932 NEW BEST:: SOT 183484 SOS 62037 HAS SOPS 62037 HAS SOUS 32769 HAS SOUPS 32769 WITH SCORE 32831.037
AT ITER 7980 NEW BEST:: SOT 183484 SOS 62037 HAS SOPS 62037 HAS SOUS 32764 HAS SOUPS 32764 WITH SCORE 32826.037
AT ITER 7985 NEW BEST:: SOT 183484 SOS 62037 HAS SOPS 62037 HAS SOUS 32752 HAS SOUPS 32752 WITH SCORE 32814.037
AT ITER 8030 NEW BEST:: SOT 183506 SOS 61983 HAS SOPS 61983 HAS SOUS 32742 HAS SOUPS 32742 WITH SCORE 32803.983
AT ITER 8034 NEW BEST:: SOT 183493 SOS 61919 HAS SOPS 61919 HAS SOUS 32716 HAS SOUPS 32716 WITH SCORE 32777.919
AT ITER 8130 NEW BEST:: SOT 183491 SOS 61917 HAS SOPS 61917 HAS SOUS 32714 HAS SOUPS 32714 WITH SCORE 32775.917
AT ITER 8186 NEW BEST:: SOT 183488 SOS 61917 HAS SOPS 61917 HAS SOUS 32711 HAS SOUPS 32711 WITH SCORE 32772.917
AT ITER 8189 NEW BEST:: SOT 183488 SOS 61907 HAS SOPS 61907 HAS SOUS 32711 HAS SOUPS 32711 WITH SCORE 32772.907
AT ITER 8207 NEW BEST:: SOT 183481 SOS 61900 HAS SOPS 61900 HAS SOUS 32704 HAS SOUPS 32704 WITH SCORE 32765.9
AT ITER 8257 NEW BEST:: SOT 183481 SOS 61900 HAS SOPS 61900 HAS SOUS 32700 HAS SOUPS 32700 WITH SCORE 32761.9
AT ITER 8261 NEW BEST:: SOT 183287 SOS 67061 HAS SOPS 67061 HAS SOUS 32693 HAS SOUPS 32693 WITH SCORE 32760.061
AT ITER 8271 NEW BEST:: SOT 183273 SOS 67047 HAS SOPS 67047 HAS SOUS 32679 HAS SOUPS 32679 WITH SCORE 32746.047
AT ITER 8275 NEW BEST:: SOT 183271 SOS 67041 HAS SOPS 67041 HAS SOUS 32668 HAS SOUPS 32668 WITH SCORE 32735.041
AT ITER 8303 NEW BEST:: SOT 183271 SOS 67039 HAS SOPS 67039 HAS SOUS 32667 HAS SOUPS 32667 WITH SCORE 32734.039
AT ITER 8318 NEW BEST:: SOT 183267 SOS 67031 HAS SOPS 67031 HAS SOUS 32660 HAS SOUPS 32660 WITH SCORE 32727.031
AT ITER 8414 NEW BEST:: SOT 183267 SOS 67020 HAS SOPS 67020 HAS SOUS 32660 HAS SOUPS 32660 WITH SCORE 32727.02
AT ITER 8427 NEW BEST:: SOT 183250 SOS 66969 HAS SOPS 66969 HAS SOUS 32643 HAS SOUPS 32643 WITH SCORE 32709.969
AT ITER 8437 NEW BEST:: SOT 183237 SOS 66956 HAS SOPS 66956 HAS SOUS 32643 HAS SOUPS 32643 WITH SCORE 32709.956
AT ITER 8500 NEW BEST:: SOT 183218 SOS 66932 HAS SOPS 66932 HAS SOUS 32619 HAS SOUPS 32619 WITH SCORE 32685.932
AT ITER 8509 NEW BEST:: SOT 183213 SOS 66929 HAS SOPS 66929 HAS SOUS 32616 HAS SOUPS 32616 WITH SCORE 32682.929
AT ITER 8521 NEW BEST:: SOT 183213 SOS 66938 HAS SOPS 66938 HAS SOUS 32551 HAS SOUPS 32551 WITH SCORE 32617.938
AT ITER 8569 NEW BEST:: SOT 183208 SOS 67050 HAS SOPS 67050 HAS SOUS 32545 HAS SOUPS 32545 WITH SCORE 32612.05
AT ITER 8579 NEW BEST:: SOT 183198 SOS 67035 HAS SOPS 67035 HAS SOUS 32535 HAS SOUPS 32535 WITH SCORE 32602.035
AT ITER 8590 NEW BEST:: SOT 183257 SOS 67048 HAS SOPS 67048 HAS SOUS 32513 HAS SOUPS 32513 WITH SCORE 32580.048
AT ITER 8591 NEW BEST:: SOT 183255 SOS 67024 HAS SOPS 67024 HAS SOUS 32489 HAS SOUPS 32489 WITH SCORE 32556.024
AT ITER 8597 NEW BEST:: SOT 183255 SOS 67024 HAS SOPS 67024 HAS SOUS 32448 HAS SOUPS 32448 WITH SCORE 32515.024
AT ITER 8602 NEW BEST:: SOT 183255 SOS 66992 HAS SOPS 66992 HAS SOUS 32427 HAS SOUPS 32427 WITH SCORE 32493.992
AT ITER 8603 NEW BEST:: SOT 183251 SOS 66984 HAS SOPS 66984 HAS SOUS 32423 HAS SOUPS 32423 WITH SCORE 32489.984
AT ITER 8628 NEW BEST:: SOT 183244 SOS 66977 HAS SOPS 66977 HAS SOUS 32416 HAS SOUPS 32416 WITH SCORE 32482.977
AT ITER 8635 NEW BEST:: SOT 183222 SOS 66933 HAS SOPS 66933 HAS SOUS 32379 HAS SOUPS 32379 WITH SCORE 32445.933
AT ITER 8663 NEW BEST:: SOT 183222 SOS 66886 HAS SOPS 66886 HAS SOUS 32370 HAS SOUPS 32370 WITH SCORE 32436.886
AT ITER 8689 NEW BEST:: SOT 183207 SOS 66868 HAS SOPS 66868 HAS SOUS 32364 HAS SOUPS 32364 WITH SCORE 32430.868
AT ITER 8691 NEW BEST:: SOT 183194 SOS 66849 HAS SOPS 66849 HAS SOUS 32345 HAS SOUPS 32345 WITH SCORE 32411.849
AT ITER 8697 NEW BEST:: SOT 183177 SOS 66815 HAS SOPS 66815 HAS SOUS 32337 HAS SOUPS 32337 WITH SCORE 32403.815
AT ITER 8760 NEW BEST:: SOT 183177 SOS 66812 HAS SOPS 66812 HAS SOUS 32337 HAS SOUPS 32337 WITH SCORE 32403.812
AT ITER 8786 NEW BEST:: SOT 183177 SOS 66802 HAS SOPS 66802 HAS SOUS 32331 HAS SOUPS 32331 WITH SCORE 32397.802
AT ITER 8865 NEW BEST:: SOT 183149 SOS 66736 HAS SOPS 66736 HAS SOUS 32253 HAS SOUPS 32253 WITH SCORE 32319.736
AT ITER 8886 NEW BEST:: SOT 183095 SOS 66706 HAS SOPS 66706 HAS SOUS 32223 HAS SOUPS 32223 WITH SCORE 32289.706
AT ITER 8929 NEW BEST:: SOT 183095 SOS 66648 HAS SOPS 66648 HAS SOUS 32223 HAS SOUPS 32223 WITH SCORE 32289.648
AT ITER 8930 NEW BEST:: SOT 183141 SOS 66740 HAS SOPS 66740 HAS SOUS 32163 HAS SOUPS 32163 WITH SCORE 32229.74
AT ITER 8948 NEW BEST:: SOT 183120 SOS 66652 HAS SOPS 66652 HAS SOUS 32131 HAS SOUPS 32131 WITH SCORE 32197.652
AT ITER 9025 NEW BEST:: SOT 183133 SOS 66678 HAS SOPS 66678 HAS SOUS 32108 HAS SOUPS 32108 WITH SCORE 32174.678
AT ITER 9027 NEW BEST:: SOT 183133 SOS 66672 HAS SOPS 66672 HAS SOUS 32108 HAS SOUPS 32108 WITH SCORE 32174.672
AT ITER 9084 NEW BEST:: SOT 183133 SOS 66662 HAS SOPS 66662 HAS SOUS 32108 HAS SOUPS 32108 WITH SCORE 32174.662
AT ITER 9093 NEW BEST:: SOT 183146 SOS 66688 HAS SOPS 66688 HAS SOUS 32075 HAS SOUPS 32075 WITH SCORE 32141.688
AT ITER 9106 NEW BEST:: SOT 183146 SOS 66683 HAS SOPS 66683 HAS SOUS 32075 HAS SOUPS 32075 WITH SCORE 32141.683
AT ITER 9125 NEW BEST:: SOT 183154 SOS 66706 HAS SOPS 66706 HAS SOUS 32063 HAS SOUPS 32063 WITH SCORE 32129.706
AT ITER 9147 NEW BEST:: SOT 183153 SOS 66704 HAS SOPS 66704 HAS SOUS 32061 HAS SOUPS 32061 WITH SCORE 32127.704
AT ITER 9157 NEW BEST:: SOT 183137 SOS 66672 HAS SOPS 66672 HAS SOUS 32057 HAS SOUPS 32057 WITH SCORE 32123.672
AT ITER 9175 NEW BEST:: SOT 183156 SOS 66685 HAS SOPS 66685 HAS SOUS 32022 HAS SOUPS 32022 WITH SCORE 32088.685
AT ITER 9184 NEW BEST:: SOT 183146 SOS 66665 HAS SOPS 66665 HAS SOUS 32019 HAS SOUPS 32019 WITH SCORE 32085.665
AT ITER 9191 NEW BEST:: SOT 183142 SOS 66649 HAS SOPS 66649 HAS SOUS 32015 HAS SOUPS 32015 WITH SCORE 32081.649
AT ITER 9192 NEW BEST:: SOT 183116 SOS 66675 HAS SOPS 66675 HAS SOUS 31989 HAS SOUPS 31989 WITH SCORE 32055.675
AT ITER 9239 NEW BEST:: SOT 183115 SOS 66673 HAS SOPS 66673 HAS SOUS 31988 HAS SOUPS 31988 WITH SCORE 32054.673
AT ITER 9240 NEW BEST:: SOT 183115 SOS 66673 HAS SOPS 66673 HAS SOUS 31974 HAS SOUPS 31974 WITH SCORE 32040.673
AT ITER 9256 NEW BEST:: SOT 182977 SOS 66554 HAS SOPS 66554 HAS SOUS 31836 HAS SOUPS 31836 WITH SCORE 31902.554
AT ITER 9286 NEW BEST:: SOT 182968 SOS 66536 HAS SOPS 66536 HAS SOUS 31803 HAS SOUPS 31803 WITH SCORE 31869.536
AT ITER 9305 NEW BEST:: SOT 182921 SOS 66442 HAS SOPS 66442 HAS SOUS 31738 HAS SOUPS 31738 WITH SCORE 31804.442
AT ITER 9328 NEW BEST:: SOT 182944 SOS 66488 HAS SOPS 66488 HAS SOUS 31735 HAS SOUPS 31735 WITH SCORE 31801.488
AT ITER 9369 NEW BEST:: SOT 182903 SOS 66037 HAS SOPS 66037 HAS SOUS 31694 HAS SOUPS 31694 WITH SCORE 31760.037
AT ITER 9379 NEW BEST:: SOT 182903 SOS 66023 HAS SOPS 66023 HAS SOUS 31694 HAS SOUPS 31694 WITH SCORE 31760.023
AT ITER 9391 NEW BEST:: SOT 182936 SOS 66032 HAS SOPS 66032 HAS SOUS 31692 HAS SOUPS 31692 WITH SCORE 31758.032
AT ITER 9408 NEW BEST:: SOT 182874 SOS 65970 HAS SOPS 65970 HAS SOUS 31673 HAS SOUPS 31673 WITH SCORE 31738.97
AT ITER 9458 NEW BEST:: SOT 182874 SOS 65970 HAS SOPS 65970 HAS SOUS 31640 HAS SOUPS 31640 WITH SCORE 31705.97
AT ITER 9460 NEW BEST:: SOT 182874 SOS 65970 HAS SOPS 65970 HAS SOUS 31630 HAS SOUPS 31630 WITH SCORE 31695.97
AT ITER 9466 NEW BEST:: SOT 182874 SOS 65970 HAS SOPS 65970 HAS SOUS 31596 HAS SOUPS 31596 WITH SCORE 31661.97
AT ITER 9473 NEW BEST:: SOT 182874 SOS 66035 HAS SOPS 66035 HAS SOUS 31531 HAS SOUPS 31531 WITH SCORE 31597.035
AT ITER 9540 NEW BEST:: SOT 182874 SOS 66030 HAS SOPS 66030 HAS SOUS 31526 HAS SOUPS 31526 WITH SCORE 31592.03
AT ITER 9551 NEW BEST:: SOT 183035 SOS 61492 HAS SOPS 61492 HAS SOUS 31525 HAS SOUPS 31525 WITH SCORE 31586.492
AT ITER 9567 NEW BEST:: SOT 182980 SOS 61373 HAS SOPS 61373 HAS SOUS 31478 HAS SOUPS 31478 WITH SCORE 31539.373
AT ITER 9586 NEW BEST:: SOT 182979 SOS 61364 HAS SOPS 61364 HAS SOUS 31476 HAS SOUPS 31476 WITH SCORE 31537.364
AT ITER 9601 NEW BEST:: SOT 182979 SOS 61405 HAS SOPS 61405 HAS SOUS 31470 HAS SOUPS 31470 WITH SCORE 31531.405
AT ITER 9630 NEW BEST:: SOT 182945 SOS 61371 HAS SOPS 61371 HAS SOUS 31436 HAS SOUPS 31436 WITH SCORE 31497.371
AT ITER 9662 NEW BEST:: SOT 182912 SOS 61334 HAS SOPS 61334 HAS SOUS 31399 HAS SOUPS 31399 WITH SCORE 31460.334
AT ITER 9667 NEW BEST:: SOT 182908 SOS 61330 HAS SOPS 61330 HAS SOUS 31395 HAS SOUPS 31395 WITH SCORE 31456.33
AT ITER 9716 NEW BEST:: SOT 182889 SOS 61331 HAS SOPS 61331 HAS SOUS 31386 HAS SOUPS 31386 WITH SCORE 31447.331
AT ITER 9752 NEW BEST:: SOT 182894 SOS 61339 HAS SOPS 61339 HAS SOUS 31374 HAS SOUPS 31374 WITH SCORE 31435.339
AT ITER 9803 NEW BEST:: SOT 182894 SOS 61331 HAS SOPS 61331 HAS SOUS 31366 HAS SOUPS 31366 WITH SCORE 31427.331
AT ITER 9858 NEW BEST:: SOT 182877 SOS 61298 HAS SOPS 61298 HAS SOUS 31350 HAS SOUPS 31350 WITH SCORE 31411.298
AT ITER 9862 NEW BEST:: SOT 182873 SOS 61294 HAS SOPS 61294 HAS SOUS 31346 HAS SOUPS 31346 WITH SCORE 31407.294
AT ITER 9875 NEW BEST:: SOT 182862 SOS 61272 HAS SOPS 61272 HAS SOUS 31335 HAS SOUPS 31335 WITH SCORE 31396.272
AT ITER 9916 NEW BEST:: SOT 182874 SOS 61272 HAS SOPS 61272 HAS SOUS 31311 HAS SOUPS 31311 WITH SCORE 31372.272
AT ITER 9999 NEW BEST:: SOT 182823 SOS 61314 HAS SOPS 61314 HAS SOUS 31306 HAS SOUPS 31306 WITH SCORE 31367.314
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7081808 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154752 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-06b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is FlexibleBarrier-PT-06b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r163-tall-167838847800472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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