fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033470401084
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldRVt-PT-100A

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

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033470401084.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldRVt-PT-100A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470401084
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 444K
-rw-r--r-- 1 mcc users 3.5K May 14 03:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 03:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 21:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 21:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 14:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 10:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 10:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 273K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1590457545026

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

GOT IT HERE. BS
Petri model created: 803 places, 803 transitions, 3406 arcs.
AT ITER 0 NEW BEST:: SOT 504661 SOS 366465 HAS SOPS 366465 HAS SOUS 344729 HAS SOUPS 344729 WITH SCORE 345095.465
AT ITER 1 NEW BEST:: SOT 504269 SOS 365739 HAS SOPS 365739 HAS SOUS 344489 HAS SOUPS 344489 WITH SCORE 344854.739
AT ITER 2 NEW BEST:: SOT 503948 SOS 365093 HAS SOPS 365093 HAS SOUS 343845 HAS SOUPS 343845 WITH SCORE 344210.093
AT ITER 5 NEW BEST:: SOT 503610 SOS 364319 HAS SOPS 364319 HAS SOUS 343171 HAS SOUPS 343171 WITH SCORE 343535.319
AT ITER 7 NEW BEST:: SOT 503352 SOS 363804 HAS SOPS 363804 HAS SOUS 342469 HAS SOUPS 342469 WITH SCORE 342832.804
AT ITER 10 NEW BEST:: SOT 502884 SOS 363080 HAS SOPS 363080 HAS SOUS 341892 HAS SOUPS 341892 WITH SCORE 342255.08
AT ITER 13 NEW BEST:: SOT 502560 SOS 362429 HAS SOPS 362429 HAS SOUS 341554 HAS SOUPS 341554 WITH SCORE 341916.429
AT ITER 16 NEW BEST:: SOT 502272 SOS 361886 HAS SOPS 361886 HAS SOUS 340766 HAS SOUPS 340766 WITH SCORE 341127.886
AT ITER 19 NEW BEST:: SOT 502079 SOS 361568 HAS SOPS 361568 HAS SOUS 340315 HAS SOUPS 340315 WITH SCORE 340676.568
AT ITER 20 NEW BEST:: SOT 501779 SOS 360969 HAS SOPS 360969 HAS SOUS 339716 HAS SOUPS 339716 WITH SCORE 340076.969
AT ITER 21 NEW BEST:: SOT 501686 SOS 360907 HAS SOPS 360907 HAS SOUS 339632 HAS SOUPS 339632 WITH SCORE 339992.907
AT ITER 22 NEW BEST:: SOT 501662 SOS 361031 HAS SOPS 361031 HAS SOUS 339480 HAS SOUPS 339480 WITH SCORE 339841.031
AT ITER 23 NEW BEST:: SOT 501259 SOS 360304 HAS SOPS 360304 HAS SOUS 338692 HAS SOUPS 338692 WITH SCORE 339052.304
AT ITER 26 NEW BEST:: SOT 501002 SOS 359843 HAS SOPS 359843 HAS SOUS 338157 HAS SOUPS 338157 WITH SCORE 338516.843
AT ITER 31 NEW BEST:: SOT 500554 SOS 359056 HAS SOPS 359056 HAS SOUS 337272 HAS SOUPS 337272 WITH SCORE 337631.056
AT ITER 32 NEW BEST:: SOT 500188 SOS 358327 HAS SOPS 358327 HAS SOUS 336432 HAS SOUPS 336432 WITH SCORE 336790.327
AT ITER 35 NEW BEST:: SOT 500188 SOS 358417 HAS SOPS 358417 HAS SOUS 336341 HAS SOUPS 336341 WITH SCORE 336699.417
AT ITER 37 NEW BEST:: SOT 500185 SOS 358414 HAS SOPS 358414 HAS SOUS 336338 HAS SOUPS 336338 WITH SCORE 336696.414
AT ITER 40 NEW BEST:: SOT 499887 SOS 357787 HAS SOPS 357787 HAS SOUS 335714 HAS SOUPS 335714 WITH SCORE 336071.787
AT ITER 42 NEW BEST:: SOT 499548 SOS 357140 HAS SOPS 357140 HAS SOUS 335074 HAS SOUPS 335074 WITH SCORE 335431.14
AT ITER 43 NEW BEST:: SOT 499314 SOS 356482 HAS SOPS 356482 HAS SOUS 334366 HAS SOUPS 334366 WITH SCORE 334722.482
AT ITER 44 NEW BEST:: SOT 499210 SOS 356219 HAS SOPS 356219 HAS SOUS 334232 HAS SOUPS 334232 WITH SCORE 334588.219
AT ITER 45 NEW BEST:: SOT 498822 SOS 355259 HAS SOPS 355259 HAS SOUS 333064 HAS SOUPS 333064 WITH SCORE 333419.259
AT ITER 46 NEW BEST:: SOT 498687 SOS 354990 HAS SOPS 354990 HAS SOUS 332795 HAS SOUPS 332795 WITH SCORE 333149.99
AT ITER 47 NEW BEST:: SOT 498622 SOS 354863 HAS SOPS 354863 HAS SOUS 332606 HAS SOUPS 332606 WITH SCORE 332960.863
AT ITER 51 NEW BEST:: SOT 497977 SOS 353917 HAS SOPS 353917 HAS SOUS 331759 HAS SOUPS 331759 WITH SCORE 332112.917
AT ITER 54 NEW BEST:: SOT 497761 SOS 353484 HAS SOPS 353484 HAS SOUS 331412 HAS SOUPS 331412 WITH SCORE 331765.484
AT ITER 56 NEW BEST:: SOT 497845 SOS 353253 HAS SOPS 353253 HAS SOUS 331378 HAS SOUPS 331378 WITH SCORE 331731.253
AT ITER 61 NEW BEST:: SOT 497565 SOS 352695 HAS SOPS 352695 HAS SOUS 330655 HAS SOUPS 330655 WITH SCORE 331007.695
AT ITER 62 NEW BEST:: SOT 497406 SOS 352381 HAS SOPS 352381 HAS SOUS 330186 HAS SOUPS 330186 WITH SCORE 330538.381
AT ITER 64 NEW BEST:: SOT 497301 SOS 352064 HAS SOPS 352064 HAS SOUS 329973 HAS SOUPS 329973 WITH SCORE 330325.064
AT ITER 67 NEW BEST:: SOT 496903 SOS 351048 HAS SOPS 351048 HAS SOUS 329175 HAS SOUPS 329175 WITH SCORE 329526.048
AT ITER 69 NEW BEST:: SOT 496736 SOS 350715 HAS SOPS 350715 HAS SOUS 328730 HAS SOUPS 328730 WITH SCORE 329080.715
AT ITER 72 NEW BEST:: SOT 496729 SOS 350708 HAS SOPS 350708 HAS SOUS 328723 HAS SOUPS 328723 WITH SCORE 329073.708
AT ITER 75 NEW BEST:: SOT 495802 SOS 349430 HAS SOPS 349430 HAS SOUS 327237 HAS SOUPS 327237 WITH SCORE 327586.43
AT ITER 76 NEW BEST:: SOT 495624 SOS 349076 HAS SOPS 349076 HAS SOUS 326779 HAS SOUPS 326779 WITH SCORE 327128.076
AT ITER 77 NEW BEST:: SOT 495356 SOS 348541 HAS SOPS 348541 HAS SOUS 326089 HAS SOUPS 326089 WITH SCORE 326437.541
AT ITER 78 NEW BEST:: SOT 495352 SOS 348537 HAS SOPS 348537 HAS SOUS 326085 HAS SOUPS 326085 WITH SCORE 326433.537
AT ITER 79 NEW BEST:: SOT 495290 SOS 348413 HAS SOPS 348413 HAS SOUS 325899 HAS SOUPS 325899 WITH SCORE 326247.413
AT ITER 80 NEW BEST:: SOT 495287 SOS 348410 HAS SOPS 348410 HAS SOUS 325896 HAS SOUPS 325896 WITH SCORE 326244.41
AT ITER 81 NEW BEST:: SOT 494927 SOS 347634 HAS SOPS 347634 HAS SOUS 325275 HAS SOUPS 325275 WITH SCORE 325622.634
AT ITER 84 NEW BEST:: SOT 494645 SOS 347074 HAS SOPS 347074 HAS SOUS 324448 HAS SOUPS 324448 WITH SCORE 324795.074
AT ITER 85 NEW BEST:: SOT 494029 SOS 346094 HAS SOPS 346094 HAS SOUS 323344 HAS SOUPS 323344 WITH SCORE 323690.094
AT ITER 86 NEW BEST:: SOT 493798 SOS 345677 HAS SOPS 345677 HAS SOUS 322825 HAS SOUPS 322825 WITH SCORE 323170.677
AT ITER 87 NEW BEST:: SOT 493574 SOS 345232 HAS SOPS 345232 HAS SOUS 322167 HAS SOUPS 322167 WITH SCORE 322512.232
AT ITER 89 NEW BEST:: SOT 493418 SOS 345002 HAS SOPS 345002 HAS SOUS 321958 HAS SOUPS 321958 WITH SCORE 322303.002
AT ITER 91 NEW BEST:: SOT 492526 SOS 343778 HAS SOPS 343778 HAS SOUS 320734 HAS SOUPS 320734 WITH SCORE 321077.778
AT ITER 96 NEW BEST:: SOT 491817 SOS 342461 HAS SOPS 342461 HAS SOUS 319352 HAS SOUPS 319352 WITH SCORE 319694.461
AT ITER 97 NEW BEST:: SOT 491817 SOS 342502 HAS SOPS 342502 HAS SOUS 319199 HAS SOUPS 319199 WITH SCORE 319541.502
AT ITER 99 NEW BEST:: SOT 491442 SOS 341599 HAS SOPS 341599 HAS SOUS 318228 HAS SOUPS 318228 WITH SCORE 318569.599
AT ITER 105 NEW BEST:: SOT 491162 SOS 341036 HAS SOPS 341036 HAS SOUS 317666 HAS SOUPS 317666 WITH SCORE 318007.036
AT ITER 109 NEW BEST:: SOT 491019 SOS 340962 HAS SOPS 340962 HAS SOUS 317454 HAS SOUPS 317454 WITH SCORE 317794.962
AT ITER 110 NEW BEST:: SOT 490943 SOS 340764 HAS SOPS 340764 HAS SOUS 317226 HAS SOUPS 317226 WITH SCORE 317566.764
AT ITER 111 NEW BEST:: SOT 490668 SOS 339858 HAS SOPS 339858 HAS SOUS 316771 HAS SOUPS 316771 WITH SCORE 317110.858
AT ITER 114 NEW BEST:: SOT 490382 SOS 339175 HAS SOPS 339175 HAS SOUS 316166 HAS SOUPS 316166 WITH SCORE 316505.175
AT ITER 115 NEW BEST:: SOT 490309 SOS 339030 HAS SOPS 339030 HAS SOUS 315949 HAS SOUPS 315949 WITH SCORE 316288.03
AT ITER 116 NEW BEST:: SOT 490109 SOS 338432 HAS SOPS 338432 HAS SOUS 315550 HAS SOUPS 315550 WITH SCORE 315888.432
AT ITER 122 NEW BEST:: SOT 489808 SOS 337830 HAS SOPS 337830 HAS SOUS 314778 HAS SOUPS 314778 WITH SCORE 315115.83
AT ITER 124 NEW BEST:: SOT 489444 SOS 337112 HAS SOPS 337112 HAS SOUS 314261 HAS SOUPS 314261 WITH SCORE 314598.112
AT ITER 125 NEW BEST:: SOT 489394 SOS 337012 HAS SOPS 337012 HAS SOUS 314161 HAS SOUPS 314161 WITH SCORE 314498.012
AT ITER 128 NEW BEST:: SOT 489340 SOS 336940 HAS SOPS 336940 HAS SOUS 314044 HAS SOUPS 314044 WITH SCORE 314380.94
AT ITER 133 NEW BEST:: SOT 488855 SOS 336455 HAS SOPS 336455 HAS SOUS 313559 HAS SOUPS 313559 WITH SCORE 313895.455
AT ITER 135 NEW BEST:: SOT 488753 SOS 336251 HAS SOPS 336251 HAS SOUS 313460 HAS SOUPS 313460 WITH SCORE 313796.251
AT ITER 137 NEW BEST:: SOT 488660 SOS 336172 HAS SOPS 336172 HAS SOUS 313108 HAS SOUPS 313108 WITH SCORE 313444.172
AT ITER 138 NEW BEST:: SOT 488388 SOS 335760 HAS SOPS 335760 HAS SOUS 312571 HAS SOUPS 312571 WITH SCORE 312906.76
AT ITER 142 NEW BEST:: SOT 488370 SOS 335884 HAS SOPS 335884 HAS SOUS 312430 HAS SOUPS 312430 WITH SCORE 312765.884
AT ITER 143 NEW BEST:: SOT 487973 SOS 335306 HAS SOPS 335306 HAS SOUS 311852 HAS SOUPS 311852 WITH SCORE 312187.306
AT ITER 145 NEW BEST:: SOT 487899 SOS 335158 HAS SOPS 335158 HAS SOUS 311704 HAS SOUPS 311704 WITH SCORE 312039.158
AT ITER 147 NEW BEST:: SOT 487542 SOS 334763 HAS SOPS 334763 HAS SOUS 311271 HAS SOUPS 311271 WITH SCORE 311605.763
AT ITER 149 NEW BEST:: SOT 487485 SOS 334653 HAS SOPS 334653 HAS SOUS 311133 HAS SOUPS 311133 WITH SCORE 311467.653
AT ITER 153 NEW BEST:: SOT 487221 SOS 333947 HAS SOPS 333947 HAS SOUS 310452 HAS SOUPS 310452 WITH SCORE 310785.947
AT ITER 156 NEW BEST:: SOT 487218 SOS 333944 HAS SOPS 333944 HAS SOUS 310449 HAS SOUPS 310449 WITH SCORE 310782.944
AT ITER 159 NEW BEST:: SOT 486940 SOS 333251 HAS SOPS 333251 HAS SOUS 309894 HAS SOUPS 309894 WITH SCORE 310227.251
AT ITER 160 NEW BEST:: SOT 486874 SOS 333395 HAS SOPS 333395 HAS SOUS 309500 HAS SOUPS 309500 WITH SCORE 309833.395
AT ITER 161 NEW BEST:: SOT 486486 SOS 332234 HAS SOPS 332234 HAS SOUS 308723 HAS SOUPS 308723 WITH SCORE 309055.234
AT ITER 162 NEW BEST:: SOT 486343 SOS 332042 HAS SOPS 332042 HAS SOUS 308418 HAS SOUPS 308418 WITH SCORE 308750.042
AT ITER 163 NEW BEST:: SOT 486198 SOS 331752 HAS SOPS 331752 HAS SOUS 308143 HAS SOUPS 308143 WITH SCORE 308474.752
AT ITER 164 NEW BEST:: SOT 485993 SOS 331007 HAS SOPS 331007 HAS SOUS 308004 HAS SOUPS 308004 WITH SCORE 308335.007
AT ITER 171 NEW BEST:: SOT 485618 SOS 330224 HAS SOPS 330224 HAS SOUS 307108 HAS SOUPS 307108 WITH SCORE 307438.224
AT ITER 177 NEW BEST:: SOT 485543 SOS 329888 HAS SOPS 329888 HAS SOUS 306591 HAS SOUPS 306591 WITH SCORE 306920.888
AT ITER 183 NEW BEST:: SOT 485464 SOS 329613 HAS SOPS 329613 HAS SOUS 306182 HAS SOUPS 306182 WITH SCORE 306511.613
AT ITER 186 NEW BEST:: SOT 485414 SOS 329469 HAS SOPS 329469 HAS SOUS 306085 HAS SOUPS 306085 WITH SCORE 306414.469
AT ITER 190 NEW BEST:: SOT 485180 SOS 329002 HAS SOPS 329002 HAS SOUS 305510 HAS SOUPS 305510 WITH SCORE 305839.002
AT ITER 191 NEW BEST:: SOT 485020 SOS 328754 HAS SOPS 328754 HAS SOUS 305140 HAS SOUPS 305140 WITH SCORE 305468.754
AT ITER 192 NEW BEST:: SOT 484839 SOS 328363 HAS SOPS 328363 HAS SOUS 304832 HAS SOUPS 304832 WITH SCORE 305160.363
AT ITER 194 NEW BEST:: SOT 484604 SOS 327797 HAS SOPS 327797 HAS SOUS 304635 HAS SOUPS 304635 WITH SCORE 304962.797
AT ITER 195 NEW BEST:: SOT 484323 SOS 327116 HAS SOPS 327116 HAS SOUS 304071 HAS SOUPS 304071 WITH SCORE 304398.116
AT ITER 198 NEW BEST:: SOT 484226 SOS 326924 HAS SOPS 326924 HAS SOUS 303879 HAS SOUPS 303879 WITH SCORE 304205.924
AT ITER 201 NEW BEST:: SOT 483960 SOS 326392 HAS SOPS 326392 HAS SOUS 303088 HAS SOUPS 303088 WITH SCORE 303414.392
AT ITER 202 NEW BEST:: SOT 483590 SOS 325931 HAS SOPS 325931 HAS SOUS 302717 HAS SOUPS 302717 WITH SCORE 303042.931
AT ITER 206 NEW BEST:: SOT 482795 SOS 324799 HAS SOPS 324799 HAS SOUS 301291 HAS SOUPS 301291 WITH SCORE 301615.799
AT ITER 207 NEW BEST:: SOT 482773 SOS 324585 HAS SOPS 324585 HAS SOUS 301244 HAS SOUPS 301244 WITH SCORE 301568.585
AT ITER 211 NEW BEST:: SOT 482574 SOS 324386 HAS SOPS 324386 HAS SOUS 301045 HAS SOUPS 301045 WITH SCORE 301369.386
AT ITER 212 NEW BEST:: SOT 482460 SOS 324158 HAS SOPS 324158 HAS SOUS 300817 HAS SOUPS 300817 WITH SCORE 301141.158
AT ITER 213 NEW BEST:: SOT 482352 SOS 323734 HAS SOPS 323734 HAS SOUS 300635 HAS SOUPS 300635 WITH SCORE 300958.734
AT ITER 215 NEW BEST:: SOT 482025 SOS 322592 HAS SOPS 322592 HAS SOUS 299789 HAS SOUPS 299789 WITH SCORE 300111.592
AT ITER 217 NEW BEST:: SOT 481664 SOS 321870 HAS SOPS 321870 HAS SOUS 299032 HAS SOUPS 299032 WITH SCORE 299353.87
AT ITER 218 NEW BEST:: SOT 481662 SOS 321855 HAS SOPS 321855 HAS SOUS 298843 HAS SOUPS 298843 WITH SCORE 299164.855
AT ITER 219 NEW BEST:: SOT 481556 SOS 321643 HAS SOPS 321643 HAS SOUS 298737 HAS SOUPS 298737 WITH SCORE 299058.643
AT ITER 220 NEW BEST:: SOT 481538 SOS 321625 HAS SOPS 321625 HAS SOUS 298719 HAS SOUPS 298719 WITH SCORE 299040.625
AT ITER 222 NEW BEST:: SOT 481538 SOS 321625 HAS SOPS 321625 HAS SOUS 298575 HAS SOUPS 298575 WITH SCORE 298896.625
AT ITER 223 NEW BEST:: SOT 480676 SOS 320356 HAS SOPS 320356 HAS SOUS 297374 HAS SOUPS 297374 WITH SCORE 297694.356
AT ITER 227 NEW BEST:: SOT 480624 SOS 320270 HAS SOPS 320270 HAS SOUS 297248 HAS SOUPS 297248 WITH SCORE 297568.27
AT ITER 232 NEW BEST:: SOT 480624 SOS 320352 HAS SOPS 320352 HAS SOUS 297231 HAS SOUPS 297231 WITH SCORE 297551.352
AT ITER 236 NEW BEST:: SOT 480624 SOS 320310 HAS SOPS 320310 HAS SOUS 297214 HAS SOUPS 297214 WITH SCORE 297534.31
AT ITER 242 NEW BEST:: SOT 480003 SOS 319158 HAS SOPS 319158 HAS SOUS 296108 HAS SOUPS 296108 WITH SCORE 296427.158
AT ITER 243 NEW BEST:: SOT 479564 SOS 318571 HAS SOPS 318571 HAS SOUS 295515 HAS SOUPS 295515 WITH SCORE 295833.571
AT ITER 245 NEW BEST:: SOT 479239 SOS 317670 HAS SOPS 317670 HAS SOUS 295108 HAS SOUPS 295108 WITH SCORE 295425.67
AT ITER 253 NEW BEST:: SOT 478912 SOS 317145 HAS SOPS 317145 HAS SOUS 294680 HAS SOUPS 294680 WITH SCORE 294997.145
AT ITER 256 NEW BEST:: SOT 478540 SOS 316381 HAS SOPS 316381 HAS SOUS 294140 HAS SOUPS 294140 WITH SCORE 294456.381
AT ITER 259 NEW BEST:: SOT 478118 SOS 315761 HAS SOPS 315761 HAS SOUS 293528 HAS SOUPS 293528 WITH SCORE 293843.761
AT ITER 262 NEW BEST:: SOT 477727 SOS 314588 HAS SOPS 314588 HAS SOUS 292918 HAS SOUPS 292918 WITH SCORE 293232.588
AT ITER 263 NEW BEST:: SOT 477619 SOS 314372 HAS SOPS 314372 HAS SOUS 292702 HAS SOUPS 292702 WITH SCORE 293016.372
AT ITER 265 NEW BEST:: SOT 477386 SOS 313731 HAS SOPS 313731 HAS SOUS 292236 HAS SOUPS 292236 WITH SCORE 292549.731
AT ITER 266 NEW BEST:: SOT 477010 SOS 313059 HAS SOPS 313059 HAS SOUS 291451 HAS SOUPS 291451 WITH SCORE 291764.059
AT ITER 267 NEW BEST:: SOT 477007 SOS 313056 HAS SOPS 313056 HAS SOUS 291448 HAS SOUPS 291448 WITH SCORE 291761.056
AT ITER 269 NEW BEST:: SOT 476807 SOS 312539 HAS SOPS 312539 HAS SOUS 290929 HAS SOUPS 290929 WITH SCORE 291241.539
AT ITER 274 NEW BEST:: SOT 476695 SOS 312143 HAS SOPS 312143 HAS SOUS 290724 HAS SOUPS 290724 WITH SCORE 291036.143
AT ITER 275 NEW BEST:: SOT 476688 SOS 312136 HAS SOPS 312136 HAS SOUS 290717 HAS SOUPS 290717 WITH SCORE 291029.136
AT ITER 276 NEW BEST:: SOT 476784 SOS 312703 HAS SOPS 312703 HAS SOUS 290655 HAS SOUPS 290655 WITH SCORE 290967.703
AT ITER 279 NEW BEST:: SOT 476412 SOS 311689 HAS SOPS 311689 HAS SOUS 289797 HAS SOUPS 289797 WITH SCORE 290108.689
AT ITER 280 NEW BEST:: SOT 476062 SOS 310991 HAS SOPS 310991 HAS SOUS 289444 HAS SOUPS 289444 WITH SCORE 289754.991
AT ITER 285 NEW BEST:: SOT 475779 SOS 310425 HAS SOPS 310425 HAS SOUS 288923 HAS SOUPS 288923 WITH SCORE 289233.425
AT ITER 286 NEW BEST:: SOT 475082 SOS 309496 HAS SOPS 309496 HAS SOUS 288015 HAS SOUPS 288015 WITH SCORE 288324.496
AT ITER 287 NEW BEST:: SOT 474897 SOS 308990 HAS SOPS 308990 HAS SOUS 287460 HAS SOUPS 287460 WITH SCORE 287768.99
AT ITER 289 NEW BEST:: SOT 474877 SOS 308962 HAS SOPS 308962 HAS SOUS 287432 HAS SOUPS 287432 WITH SCORE 287740.962
AT ITER 290 NEW BEST:: SOT 474595 SOS 308173 HAS SOPS 308173 HAS SOUS 286415 HAS SOUPS 286415 WITH SCORE 286723.173
AT ITER 294 NEW BEST:: SOT 474556 SOS 308054 HAS SOPS 308054 HAS SOUS 286347 HAS SOUPS 286347 WITH SCORE 286655.054
AT ITER 295 NEW BEST:: SOT 474339 SOS 307616 HAS SOPS 307616 HAS SOUS 285911 HAS SOUPS 285911 WITH SCORE 286218.616
AT ITER 297 NEW BEST:: SOT 473745 SOS 306234 HAS SOPS 306234 HAS SOUS 284290 HAS SOUPS 284290 WITH SCORE 284596.234
AT ITER 298 NEW BEST:: SOT 473565 SOS 306118 HAS SOPS 306118 HAS SOUS 283907 HAS SOUPS 283907 WITH SCORE 284213.118
AT ITER 302 NEW BEST:: SOT 473797 SOS 306519 HAS SOPS 306519 HAS SOUS 283799 HAS SOUPS 283799 WITH SCORE 284105.519
AT ITER 304 NEW BEST:: SOT 473557 SOS 305988 HAS SOPS 305988 HAS SOUS 283383 HAS SOUPS 283383 WITH SCORE 283688.988
AT ITER 306 NEW BEST:: SOT 473566 SOS 305997 HAS SOPS 305997 HAS SOUS 283364 HAS SOUPS 283364 WITH SCORE 283669.997
AT ITER 308 NEW BEST:: SOT 473279 SOS 305360 HAS SOPS 305360 HAS SOUS 282795 HAS SOUPS 282795 WITH SCORE 283100.36
AT ITER 310 NEW BEST:: SOT 473145 SOS 305095 HAS SOPS 305095 HAS SOUS 282530 HAS SOUPS 282530 WITH SCORE 282835.095
AT ITER 317 NEW BEST:: SOT 473065 SOS 304935 HAS SOPS 304935 HAS SOUS 282370 HAS SOUPS 282370 WITH SCORE 282674.935
AT ITER 319 NEW BEST:: SOT 472802 SOS 304656 HAS SOPS 304656 HAS SOUS 282230 HAS SOUPS 282230 WITH SCORE 282534.656
AT ITER 324 NEW BEST:: SOT 472450 SOS 304093 HAS SOPS 304093 HAS SOUS 281438 HAS SOUPS 281438 WITH SCORE 281742.093
AT ITER 325 NEW BEST:: SOT 472450 SOS 304090 HAS SOPS 304090 HAS SOUS 281434 HAS SOUPS 281434 WITH SCORE 281738.09
AT ITER 330 NEW BEST:: SOT 472447 SOS 304087 HAS SOPS 304087 HAS SOUS 281430 HAS SOUPS 281430 WITH SCORE 281734.087
AT ITER 332 NEW BEST:: SOT 472373 SOS 304013 HAS SOPS 304013 HAS SOUS 281356 HAS SOUPS 281356 WITH SCORE 281660.013
AT ITER 333 NEW BEST:: SOT 472373 SOS 303709 HAS SOPS 303709 HAS SOUS 281261 HAS SOUPS 281261 WITH SCORE 281564.709
AT ITER 334 NEW BEST:: SOT 472099 SOS 303163 HAS SOPS 303163 HAS SOUS 280511 HAS SOUPS 280511 WITH SCORE 280814.163
AT ITER 335 NEW BEST:: SOT 471957 SOS 302729 HAS SOPS 302729 HAS SOUS 280275 HAS SOUPS 280275 WITH SCORE 280577.729
AT ITER 336 NEW BEST:: SOT 471633 SOS 301867 HAS SOPS 301867 HAS SOUS 279704 HAS SOUPS 279704 WITH SCORE 280005.867
AT ITER 338 NEW BEST:: SOT 471572 SOS 301776 HAS SOPS 301776 HAS SOUS 279583 HAS SOUPS 279583 WITH SCORE 279884.776
AT ITER 339 NEW BEST:: SOT 471155 SOS 301043 HAS SOPS 301043 HAS SOUS 279040 HAS SOUPS 279040 WITH SCORE 279341.043
AT ITER 342 NEW BEST:: SOT 471161 SOS 300910 HAS SOPS 300910 HAS SOUS 278907 HAS SOUPS 278907 WITH SCORE 279207.91
AT ITER 343 NEW BEST:: SOT 471001 SOS 300590 HAS SOPS 300590 HAS SOUS 278447 HAS SOUPS 278447 WITH SCORE 278747.59
AT ITER 346 NEW BEST:: SOT 470977 SOS 300429 HAS SOPS 300429 HAS SOUS 277550 HAS SOUPS 277550 WITH SCORE 277850.429
AT ITER 350 NEW BEST:: SOT 470834 SOS 300140 HAS SOPS 300140 HAS SOUS 277287 HAS SOUPS 277287 WITH SCORE 277587.14
AT ITER 353 NEW BEST:: SOT 470834 SOS 300140 HAS SOPS 300140 HAS SOUS 277269 HAS SOUPS 277269 WITH SCORE 277569.14
AT ITER 355 NEW BEST:: SOT 470766 SOS 300007 HAS SOPS 300007 HAS SOUS 277071 HAS SOUPS 277071 WITH SCORE 277371.007
AT ITER 357 NEW BEST:: SOT 470606 SOS 299547 HAS SOPS 299547 HAS SOUS 276763 HAS SOUPS 276763 WITH SCORE 277062.547
AT ITER 359 NEW BEST:: SOT 470322 SOS 298978 HAS SOPS 298978 HAS SOUS 276037 HAS SOUPS 276037 WITH SCORE 276335.978
AT ITER 360 NEW BEST:: SOT 470284 SOS 298854 HAS SOPS 298854 HAS SOUS 275827 HAS SOUPS 275827 WITH SCORE 276125.854
AT ITER 361 NEW BEST:: SOT 469907 SOS 297861 HAS SOPS 297861 HAS SOUS 275059 HAS SOUPS 275059 WITH SCORE 275356.861
AT ITER 363 NEW BEST:: SOT 469545 SOS 296771 HAS SOPS 296771 HAS SOUS 274134 HAS SOUPS 274134 WITH SCORE 274430.771
AT ITER 364 NEW BEST:: SOT 468999 SOS 295985 HAS SOPS 295985 HAS SOUS 273348 HAS SOUPS 273348 WITH SCORE 273643.985
AT ITER 365 NEW BEST:: SOT 468627 SOS 294957 HAS SOPS 294957 HAS SOUS 272600 HAS SOUPS 272600 WITH SCORE 272894.957
AT ITER 367 NEW BEST:: SOT 468359 SOS 294689 HAS SOPS 294689 HAS SOUS 272332 HAS SOUPS 272332 WITH SCORE 272626.689
AT ITER 368 NEW BEST:: SOT 467957 SOS 293890 HAS SOPS 293890 HAS SOUS 271136 HAS SOUPS 271136 WITH SCORE 271429.89
AT ITER 374 NEW BEST:: SOT 468312 SOS 293977 HAS SOPS 293977 HAS SOUS 271040 HAS SOUPS 271040 WITH SCORE 271333.977
AT ITER 378 NEW BEST:: SOT 468023 SOS 293402 HAS SOPS 293402 HAS SOUS 270190 HAS SOUPS 270190 WITH SCORE 270483.402
AT ITER 380 NEW BEST:: SOT 467978 SOS 293209 HAS SOPS 293209 HAS SOUS 269984 HAS SOUPS 269984 WITH SCORE 270277.209
AT ITER 381 NEW BEST:: SOT 467481 SOS 292712 HAS SOPS 292712 HAS SOUS 269472 HAS SOUPS 269472 WITH SCORE 269764.712
AT ITER 383 NEW BEST:: SOT 467521 SOS 292752 HAS SOPS 292752 HAS SOUS 269463 HAS SOUPS 269463 WITH SCORE 269755.752
AT ITER 384 NEW BEST:: SOT 467461 SOS 292789 HAS SOPS 292789 HAS SOUS 269222 HAS SOUPS 269222 WITH SCORE 269514.789
AT ITER 388 NEW BEST:: SOT 467431 SOS 292759 HAS SOPS 292759 HAS SOUS 269192 HAS SOUPS 269192 WITH SCORE 269484.759
AT ITER 394 NEW BEST:: SOT 467041 SOS 292331 HAS SOPS 292331 HAS SOUS 268826 HAS SOUPS 268826 WITH SCORE 269118.331
AT ITER 398 NEW BEST:: SOT 466751 SOS 291938 HAS SOPS 291938 HAS SOUS 268502 HAS SOUPS 268502 WITH SCORE 268793.938
AT ITER 411 NEW BEST:: SOT 466561 SOS 291394 HAS SOPS 291394 HAS SOUS 268000 HAS SOUPS 268000 WITH SCORE 268291.394
AT ITER 420 NEW BEST:: SOT 466230 SOS 291067 HAS SOPS 291067 HAS SOUS 267671 HAS SOUPS 267671 WITH SCORE 267962.067
AT ITER 421 NEW BEST:: SOT 466001 SOS 290613 HAS SOPS 290613 HAS SOUS 267217 HAS SOUPS 267217 WITH SCORE 267507.613
AT ITER 422 NEW BEST:: SOT 465915 SOS 290527 HAS SOPS 290527 HAS SOUS 267131 HAS SOUPS 267131 WITH SCORE 267421.527
AT ITER 430 NEW BEST:: SOT 465915 SOS 290623 HAS SOPS 290623 HAS SOUS 266947 HAS SOUPS 266947 WITH SCORE 267237.623
AT ITER 432 NEW BEST:: SOT 465634 SOS 290129 HAS SOPS 290129 HAS SOUS 266564 HAS SOUPS 266564 WITH SCORE 266854.129
AT ITER 433 NEW BEST:: SOT 465351 SOS 289833 HAS SOPS 289833 HAS SOUS 266207 HAS SOUPS 266207 WITH SCORE 266496.833
AT ITER 435 NEW BEST:: SOT 465069 SOS 288704 HAS SOPS 288704 HAS SOUS 265275 HAS SOUPS 265275 WITH SCORE 265563.704
AT ITER 438 NEW BEST:: SOT 464888 SOS 288180 HAS SOPS 288180 HAS SOUS 265179 HAS SOUPS 265179 WITH SCORE 265467.18
AT ITER 439 NEW BEST:: SOT 465031 SOS 288414 HAS SOPS 288414 HAS SOUS 265161 HAS SOUPS 265161 WITH SCORE 265449.414
AT ITER 440 NEW BEST:: SOT 464361 SOS 287230 HAS SOPS 287230 HAS SOUS 263188 HAS SOUPS 263188 WITH SCORE 263475.23
AT ITER 441 NEW BEST:: SOT 464361 SOS 287288 HAS SOPS 287288 HAS SOUS 263046 HAS SOUPS 263046 WITH SCORE 263333.288
AT ITER 443 NEW BEST:: SOT 464361 SOS 287288 HAS SOPS 287288 HAS SOUS 262934 HAS SOUPS 262934 WITH SCORE 263221.288
AT ITER 449 NEW BEST:: SOT 463502 SOS 286084 HAS SOPS 286084 HAS SOUS 261477 HAS SOUPS 261477 WITH SCORE 261763.084
AT ITER 452 NEW BEST:: SOT 463502 SOS 286084 HAS SOPS 286084 HAS SOUS 261229 HAS SOUPS 261229 WITH SCORE 261515.084
AT ITER 453 NEW BEST:: SOT 463067 SOS 285388 HAS SOPS 285388 HAS SOUS 260875 HAS SOUPS 260875 WITH SCORE 261160.388
AT ITER 458 NEW BEST:: SOT 463066 SOS 285387 HAS SOPS 285387 HAS SOUS 260874 HAS SOUPS 260874 WITH SCORE 261159.387
AT ITER 459 NEW BEST:: SOT 463066 SOS 285225 HAS SOPS 285225 HAS SOUS 260681 HAS SOUPS 260681 WITH SCORE 260966.225
AT ITER 462 NEW BEST:: SOT 462880 SOS 284886 HAS SOPS 284886 HAS SOUS 260320 HAS SOUPS 260320 WITH SCORE 260604.886
AT ITER 465 NEW BEST:: SOT 462832 SOS 284742 HAS SOPS 284742 HAS SOUS 260272 HAS SOUPS 260272 WITH SCORE 260556.742
AT ITER 466 NEW BEST:: SOT 462697 SOS 284636 HAS SOPS 284636 HAS SOUS 260179 HAS SOUPS 260179 WITH SCORE 260463.636
AT ITER 467 NEW BEST:: SOT 462357 SOS 283856 HAS SOPS 283856 HAS SOUS 259348 HAS SOUPS 259348 WITH SCORE 259631.856
AT ITER 474 NEW BEST:: SOT 462219 SOS 283458 HAS SOPS 283458 HAS SOUS 259028 HAS SOUPS 259028 WITH SCORE 259311.458
AT ITER 475 NEW BEST:: SOT 461736 SOS 282975 HAS SOPS 282975 HAS SOUS 258545 HAS SOUPS 258545 WITH SCORE 258827.975
AT ITER 476 NEW BEST:: SOT 461638 SOS 282698 HAS SOPS 282698 HAS SOUS 258253 HAS SOUPS 258253 WITH SCORE 258535.698
AT ITER 478 NEW BEST:: SOT 461547 SOS 282365 HAS SOPS 282365 HAS SOUS 257467 HAS SOUPS 257467 WITH SCORE 257749.365
AT ITER 479 NEW BEST:: SOT 461257 SOS 281790 HAS SOPS 281790 HAS SOUS 256973 HAS SOUPS 256973 WITH SCORE 257254.79
AT ITER 482 NEW BEST:: SOT 461116 SOS 281367 HAS SOPS 281367 HAS SOUS 256516 HAS SOUPS 256516 WITH SCORE 256797.367
AT ITER 484 NEW BEST:: SOT 461116 SOS 281367 HAS SOPS 281367 HAS SOUS 256413 HAS SOUPS 256413 WITH SCORE 256694.367
AT ITER 486 NEW BEST:: SOT 460107 SOS 279972 HAS SOPS 279972 HAS SOUS 254653 HAS SOUPS 254653 WITH SCORE 254932.972
AT ITER 487 NEW BEST:: SOT 459929 SOS 279948 HAS SOPS 279948 HAS SOUS 254395 HAS SOUPS 254395 WITH SCORE 254674.948
AT ITER 497 NEW BEST:: SOT 459658 SOS 279405 HAS SOPS 279405 HAS SOUS 253932 HAS SOUPS 253932 WITH SCORE 254211.405
AT ITER 504 NEW BEST:: SOT 459658 SOS 279793 HAS SOPS 279793 HAS SOUS 253925 HAS SOUPS 253925 WITH SCORE 254204.793
AT ITER 506 NEW BEST:: SOT 459488 SOS 279554 HAS SOPS 279554 HAS SOUS 253686 HAS SOUPS 253686 WITH SCORE 253965.554
AT ITER 507 NEW BEST:: SOT 459372 SOS 278829 HAS SOPS 278829 HAS SOUS 253295 HAS SOUPS 253295 WITH SCORE 253573.829
AT ITER 514 NEW BEST:: SOT 458781 SOS 277931 HAS SOPS 277931 HAS SOUS 252573 HAS SOUPS 252573 WITH SCORE 252850.931
AT ITER 516 NEW BEST:: SOT 458781 SOS 277546 HAS SOPS 277546 HAS SOUS 252007 HAS SOUPS 252007 WITH SCORE 252284.546
AT ITER 521 NEW BEST:: SOT 458629 SOS 277318 HAS SOPS 277318 HAS SOUS 251855 HAS SOUPS 251855 WITH SCORE 252132.318
AT ITER 522 NEW BEST:: SOT 458320 SOS 276662 HAS SOPS 276662 HAS SOUS 251235 HAS SOUPS 251235 WITH SCORE 251511.662
AT ITER 523 NEW BEST:: SOT 458320 SOS 276607 HAS SOPS 276607 HAS SOUS 251160 HAS SOUPS 251160 WITH SCORE 251436.607
AT ITER 524 NEW BEST:: SOT 458291 SOS 276578 HAS SOPS 276578 HAS SOUS 251098 HAS SOUPS 251098 WITH SCORE 251374.578
AT ITER 526 NEW BEST:: SOT 458126 SOS 276358 HAS SOPS 276358 HAS SOUS 250878 HAS SOUPS 250878 WITH SCORE 251154.358
AT ITER 527 NEW BEST:: SOT 458069 SOS 276301 HAS SOPS 276301 HAS SOUS 250821 HAS SOUPS 250821 WITH SCORE 251097.301
AT ITER 528 NEW BEST:: SOT 458036 SOS 276202 HAS SOPS 276202 HAS SOUS 250722 HAS SOUPS 250722 WITH SCORE 250998.202
AT ITER 537 NEW BEST:: SOT 457217 SOS 275109 HAS SOPS 275109 HAS SOUS 249740 HAS SOUPS 249740 WITH SCORE 250015.109
AT ITER 539 NEW BEST:: SOT 457214 SOS 275069 HAS SOPS 275069 HAS SOUS 249596 HAS SOUPS 249596 WITH SCORE 249871.069
AT ITER 541 NEW BEST:: SOT 456889 SOS 274618 HAS SOPS 274618 HAS SOUS 249141 HAS SOUPS 249141 WITH SCORE 249415.618
AT ITER 548 NEW BEST:: SOT 456344 SOS 274110 HAS SOPS 274110 HAS SOUS 248633 HAS SOUPS 248633 WITH SCORE 248907.11
AT ITER 551 NEW BEST:: SOT 456256 SOS 274022 HAS SOPS 274022 HAS SOUS 248545 HAS SOUPS 248545 WITH SCORE 248819.022
AT ITER 555 NEW BEST:: SOT 456244 SOS 274028 HAS SOPS 274028 HAS SOUS 248463 HAS SOUPS 248463 WITH SCORE 248737.028
AT ITER 559 NEW BEST:: SOT 456244 SOS 274025 HAS SOPS 274025 HAS SOUS 248357 HAS SOUPS 248357 WITH SCORE 248631.025
AT ITER 563 NEW BEST:: SOT 456209 SOS 273922 HAS SOPS 273922 HAS SOUS 248251 HAS SOUPS 248251 WITH SCORE 248524.922
AT ITER 564 NEW BEST:: SOT 455632 SOS 272606 HAS SOPS 272606 HAS SOUS 247200 HAS SOUPS 247200 WITH SCORE 247472.606
AT ITER 566 NEW BEST:: SOT 455514 SOS 272413 HAS SOPS 272413 HAS SOUS 247007 HAS SOUPS 247007 WITH SCORE 247279.413
AT ITER 572 NEW BEST:: SOT 455347 SOS 271921 HAS SOPS 271921 HAS SOUS 246634 HAS SOUPS 246634 WITH SCORE 246905.921
AT ITER 574 NEW BEST:: SOT 455115 SOS 271763 HAS SOPS 271763 HAS SOUS 246478 HAS SOUPS 246478 WITH SCORE 246749.763
AT ITER 584 NEW BEST:: SOT 455070 SOS 271692 HAS SOPS 271692 HAS SOUS 246268 HAS SOUPS 246268 WITH SCORE 246539.692
AT ITER 587 NEW BEST:: SOT 454836 SOS 271380 HAS SOPS 271380 HAS SOUS 245878 HAS SOUPS 245878 WITH SCORE 246149.38
AT ITER 589 NEW BEST:: SOT 454790 SOS 271288 HAS SOPS 271288 HAS SOUS 245786 HAS SOUPS 245786 WITH SCORE 246057.288
AT ITER 590 NEW BEST:: SOT 454968 SOS 270894 HAS SOPS 270894 HAS SOUS 245215 HAS SOUPS 245215 WITH SCORE 245485.894
AT ITER 591 NEW BEST:: SOT 454851 SOS 270621 HAS SOPS 270621 HAS SOUS 244980 HAS SOUPS 244980 WITH SCORE 245250.621
AT ITER 592 NEW BEST:: SOT 454824 SOS 270534 HAS SOPS 270534 HAS SOUS 244893 HAS SOUPS 244893 WITH SCORE 245163.534
AT ITER 600 NEW BEST:: SOT 454824 SOS 270530 HAS SOPS 270530 HAS SOUS 244735 HAS SOUPS 244735 WITH SCORE 245005.53
AT ITER 602 NEW BEST:: SOT 454824 SOS 270806 HAS SOPS 270806 HAS SOUS 244630 HAS SOUPS 244630 WITH SCORE 244900.806
AT ITER 603 NEW BEST:: SOT 454452 SOS 270245 HAS SOPS 270245 HAS SOUS 243889 HAS SOUPS 243889 WITH SCORE 244159.245
AT ITER 605 NEW BEST:: SOT 454443 SOS 270236 HAS SOPS 270236 HAS SOUS 243564 HAS SOUPS 243564 WITH SCORE 243834.236
AT ITER 606 NEW BEST:: SOT 454341 SOS 269935 HAS SOPS 269935 HAS SOUS 243249 HAS SOUPS 243249 WITH SCORE 243518.935
AT ITER 608 NEW BEST:: SOT 454162 SOS 269577 HAS SOPS 269577 HAS SOUS 242809 HAS SOUPS 242809 WITH SCORE 243078.577
AT ITER 609 NEW BEST:: SOT 454112 SOS 269527 HAS SOPS 269527 HAS SOUS 242759 HAS SOUPS 242759 WITH SCORE 243028.527
AT ITER 614 NEW BEST:: SOT 454112 SOS 269527 HAS SOPS 269527 HAS SOUS 242689 HAS SOUPS 242689 WITH SCORE 242958.527
AT ITER 618 NEW BEST:: SOT 454013 SOS 269403 HAS SOPS 269403 HAS SOUS 242453 HAS SOUPS 242453 WITH SCORE 242722.403
AT ITER 619 NEW BEST:: SOT 453793 SOS 268542 HAS SOPS 268542 HAS SOUS 241840 HAS SOUPS 241840 WITH SCORE 242108.542
AT ITER 621 NEW BEST:: SOT 453793 SOS 268669 HAS SOPS 268669 HAS SOUS 241752 HAS SOUPS 241752 WITH SCORE 242020.669
AT ITER 623 NEW BEST:: SOT 453607 SOS 268305 HAS SOPS 268305 HAS SOUS 241388 HAS SOUPS 241388 WITH SCORE 241656.305
AT ITER 627 NEW BEST:: SOT 453129 SOS 267493 HAS SOPS 267493 HAS SOUS 240610 HAS SOUPS 240610 WITH SCORE 240877.493
AT ITER 628 NEW BEST:: SOT 452969 SOS 267129 HAS SOPS 267129 HAS SOUS 240502 HAS SOUPS 240502 WITH SCORE 240769.129
AT ITER 631 NEW BEST:: SOT 452814 SOS 267003 HAS SOPS 267003 HAS SOUS 239936 HAS SOUPS 239936 WITH SCORE 240203.003
AT ITER 635 NEW BEST:: SOT 452543 SOS 266657 HAS SOPS 266657 HAS SOUS 239690 HAS SOUPS 239690 WITH SCORE 239956.657
AT ITER 643 NEW BEST:: SOT 452543 SOS 266679 HAS SOPS 266679 HAS SOUS 239684 HAS SOUPS 239684 WITH SCORE 239950.679
AT ITER 645 NEW BEST:: SOT 452451 SOS 266273 HAS SOPS 266273 HAS SOUS 239565 HAS SOUPS 239565 WITH SCORE 239831.273
AT ITER 652 NEW BEST:: SOT 452422 SOS 266186 HAS SOPS 266186 HAS SOUS 239536 HAS SOUPS 239536 WITH SCORE 239802.186
AT ITER 657 NEW BEST:: SOT 452299 SOS 265975 HAS SOPS 265975 HAS SOUS 239409 HAS SOUPS 239409 WITH SCORE 239674.975
AT ITER 659 NEW BEST:: SOT 452081 SOS 265597 HAS SOPS 265597 HAS SOUS 239098 HAS SOUPS 239098 WITH SCORE 239363.597
AT ITER 661 NEW BEST:: SOT 452024 SOS 265502 HAS SOPS 265502 HAS SOUS 239022 HAS SOUPS 239022 WITH SCORE 239287.502
AT ITER 664 NEW BEST:: SOT 451868 SOS 265168 HAS SOPS 265168 HAS SOUS 238732 HAS SOUPS 238732 WITH SCORE 238997.168
AT ITER 672 NEW BEST:: SOT 451768 SOS 264811 HAS SOPS 264811 HAS SOUS 238504 HAS SOUPS 238504 WITH SCORE 238768.811
AT ITER 675 NEW BEST:: SOT 451768 SOS 264805 HAS SOPS 264805 HAS SOUS 238383 HAS SOUPS 238383 WITH SCORE 238647.805
AT ITER 676 NEW BEST:: SOT 451450 SOS 264487 HAS SOPS 264487 HAS SOUS 238065 HAS SOUPS 238065 WITH SCORE 238329.487
AT ITER 678 NEW BEST:: SOT 451483 SOS 264443 HAS SOPS 264443 HAS SOUS 238021 HAS SOUPS 238021 WITH SCORE 238285.443
AT ITER 679 NEW BEST:: SOT 451434 SOS 264342 HAS SOPS 264342 HAS SOUS 237969 HAS SOUPS 237969 WITH SCORE 238233.342
AT ITER 690 NEW BEST:: SOT 451424 SOS 264327 HAS SOPS 264327 HAS SOUS 237949 HAS SOUPS 237949 WITH SCORE 238213.327
AT ITER 691 NEW BEST:: SOT 451055 SOS 263343 HAS SOPS 263343 HAS SOUS 237015 HAS SOUPS 237015 WITH SCORE 237278.343
AT ITER 697 NEW BEST:: SOT 451073 SOS 263334 HAS SOPS 263334 HAS SOUS 237006 HAS SOUPS 237006 WITH SCORE 237269.334
AT ITER 704 NEW BEST:: SOT 450853 SOS 263114 HAS SOPS 263114 HAS SOUS 236968 HAS SOUPS 236968 WITH SCORE 237231.114
AT ITER 713 NEW BEST:: SOT 450799 SOS 263060 HAS SOPS 263060 HAS SOUS 236914 HAS SOUPS 236914 WITH SCORE 237177.06
AT ITER 716 NEW BEST:: SOT 450747 SOS 263008 HAS SOPS 263008 HAS SOUS 236862 HAS SOUPS 236862 WITH SCORE 237125.008
AT ITER 719 NEW BEST:: SOT 450747 SOS 262904 HAS SOPS 262904 HAS SOUS 236665 HAS SOUPS 236665 WITH SCORE 236927.904
AT ITER 720 NEW BEST:: SOT 450723 SOS 262880 HAS SOPS 262880 HAS SOUS 236641 HAS SOUPS 236641 WITH SCORE 236903.88
AT ITER 725 NEW BEST:: SOT 450401 SOS 262264 HAS SOPS 262264 HAS SOUS 236169 HAS SOUPS 236169 WITH SCORE 236431.264
AT ITER 726 NEW BEST:: SOT 450365 SOS 262158 HAS SOPS 262158 HAS SOUS 236058 HAS SOUPS 236058 WITH SCORE 236320.158
AT ITER 730 NEW BEST:: SOT 450365 SOS 262158 HAS SOPS 262158 HAS SOUS 235897 HAS SOUPS 235897 WITH SCORE 236159.158
AT ITER 732 NEW BEST:: SOT 450097 SOS 261714 HAS SOPS 261714 HAS SOUS 235330 HAS SOUPS 235330 WITH SCORE 235591.714
AT ITER 735 NEW BEST:: SOT 450097 SOS 261647 HAS SOPS 261647 HAS SOUS 235330 HAS SOUPS 235330 WITH SCORE 235591.647
AT ITER 738 NEW BEST:: SOT 450000 SOS 261522 HAS SOPS 261522 HAS SOUS 235275 HAS SOUPS 235275 WITH SCORE 235536.522
AT ITER 741 NEW BEST:: SOT 450000 SOS 261461 HAS SOPS 261461 HAS SOUS 235214 HAS SOUPS 235214 WITH SCORE 235475.461
AT ITER 743 NEW BEST:: SOT 449985 SOS 261534 HAS SOPS 261534 HAS SOUS 235143 HAS SOUPS 235143 WITH SCORE 235404.534
AT ITER 756 NEW BEST:: SOT 449980 SOS 261437 HAS SOPS 261437 HAS SOUS 235128 HAS SOUPS 235128 WITH SCORE 235389.437
AT ITER 761 NEW BEST:: SOT 449545 SOS 260571 HAS SOPS 260571 HAS SOUS 234318 HAS SOUPS 234318 WITH SCORE 234578.571
AT ITER 768 NEW BEST:: SOT 449230 SOS 260120 HAS SOPS 260120 HAS SOUS 233996 HAS SOUPS 233996 WITH SCORE 234256.12
AT ITER 772 NEW BEST:: SOT 448650 SOS 259235 HAS SOPS 259235 HAS SOUS 233019 HAS SOUPS 233019 WITH SCORE 233278.235
AT ITER 774 NEW BEST:: SOT 448512 SOS 259051 HAS SOPS 259051 HAS SOUS 232638 HAS SOUPS 232638 WITH SCORE 232897.051
AT ITER 776 NEW BEST:: SOT 448495 SOS 259000 HAS SOPS 259000 HAS SOUS 232369 HAS SOUPS 232369 WITH SCORE 232628.0
AT ITER 778 NEW BEST:: SOT 448268 SOS 258773 HAS SOPS 258773 HAS SOUS 232142 HAS SOUPS 232142 WITH SCORE 232400.773
AT ITER 779 NEW BEST:: SOT 448097 SOS 258504 HAS SOPS 258504 HAS SOUS 231873 HAS SOUPS 231873 WITH SCORE 232131.504
AT ITER 781 NEW BEST:: SOT 447794 SOS 257847 HAS SOPS 257847 HAS SOUS 230807 HAS SOUPS 230807 WITH SCORE 231064.847
AT ITER 782 NEW BEST:: SOT 447698 SOS 257367 HAS SOPS 257367 HAS SOUS 230584 HAS SOUPS 230584 WITH SCORE 230841.367
AT ITER 783 NEW BEST:: SOT 447689 SOS 257358 HAS SOPS 257358 HAS SOUS 230575 HAS SOUPS 230575 WITH SCORE 230832.358
AT ITER 791 NEW BEST:: SOT 447683 SOS 257352 HAS SOPS 257352 HAS SOUS 230569 HAS SOUPS 230569 WITH SCORE 230826.352
AT ITER 792 NEW BEST:: SOT 447306 SOS 256366 HAS SOPS 256366 HAS SOUS 230041 HAS SOUPS 230041 WITH SCORE 230297.366
AT ITER 808 NEW BEST:: SOT 447141 SOS 255871 HAS SOPS 255871 HAS SOUS 229575 HAS SOUPS 229575 WITH SCORE 229830.871
AT ITER 814 NEW BEST:: SOT 447116 SOS 255838 HAS SOPS 255838 HAS SOUS 229542 HAS SOUPS 229542 WITH SCORE 229797.838
AT ITER 833 NEW BEST:: SOT 447139 SOS 255904 HAS SOPS 255904 HAS SOUS 229384 HAS SOUPS 229384 WITH SCORE 229639.904
AT ITER 846 NEW BEST:: SOT 446856 SOS 255338 HAS SOPS 255338 HAS SOUS 228634 HAS SOUPS 228634 WITH SCORE 228889.338
AT ITER 850 NEW BEST:: SOT 446693 SOS 254571 HAS SOPS 254571 HAS SOUS 228147 HAS SOUPS 228147 WITH SCORE 228401.571
AT ITER 851 NEW BEST:: SOT 446633 SOS 254385 HAS SOPS 254385 HAS SOUS 228110 HAS SOUPS 228110 WITH SCORE 228364.385
AT ITER 857 NEW BEST:: SOT 446488 SOS 254172 HAS SOPS 254172 HAS SOUS 227673 HAS SOUPS 227673 WITH SCORE 227927.172
AT ITER 861 NEW BEST:: SOT 446488 SOS 253917 HAS SOPS 253917 HAS SOUS 227421 HAS SOUPS 227421 WITH SCORE 227674.917
AT ITER 862 NEW BEST:: SOT 446460 SOS 253870 HAS SOPS 253870 HAS SOUS 227391 HAS SOUPS 227391 WITH SCORE 227644.87
AT ITER 865 NEW BEST:: SOT 446090 SOS 252763 HAS SOPS 252763 HAS SOUS 226651 HAS SOUPS 226651 WITH SCORE 226903.763
AT ITER 866 NEW BEST:: SOT 446090 SOS 252703 HAS SOPS 252703 HAS SOUS 226651 HAS SOUPS 226651 WITH SCORE 226903.703
AT ITER 867 NEW BEST:: SOT 445962 SOS 252462 HAS SOPS 252462 HAS SOUS 226431 HAS SOUPS 226431 WITH SCORE 226683.462
AT ITER 869 NEW BEST:: SOT 445877 SOS 252377 HAS SOPS 252377 HAS SOUS 226346 HAS SOUPS 226346 WITH SCORE 226598.377
AT ITER 873 NEW BEST:: SOT 445480 SOS 251750 HAS SOPS 251750 HAS SOUS 225716 HAS SOUPS 225716 WITH SCORE 225967.75
AT ITER 881 NEW BEST:: SOT 445417 SOS 251515 HAS SOPS 251515 HAS SOUS 225481 HAS SOUPS 225481 WITH SCORE 225732.515
AT ITER 890 NEW BEST:: SOT 445022 SOS 250826 HAS SOPS 250826 HAS SOUS 224792 HAS SOUPS 224792 WITH SCORE 225042.826
AT ITER 893 NEW BEST:: SOT 445022 SOS 250787 HAS SOPS 250787 HAS SOUS 224792 HAS SOUPS 224792 WITH SCORE 225042.787
AT ITER 900 NEW BEST:: SOT 445021 SOS 250786 HAS SOPS 250786 HAS SOUS 224791 HAS SOUPS 224791 WITH SCORE 225041.786
AT ITER 901 NEW BEST:: SOT 444894 SOS 250516 HAS SOPS 250516 HAS SOUS 224511 HAS SOUPS 224511 WITH SCORE 224761.516
AT ITER 909 NEW BEST:: SOT 444661 SOS 250043 HAS SOPS 250043 HAS SOUS 224090 HAS SOUPS 224090 WITH SCORE 224340.043
AT ITER 914 NEW BEST:: SOT 444558 SOS 249940 HAS SOPS 249940 HAS SOUS 223987 HAS SOUPS 223987 WITH SCORE 224236.94
AT ITER 915 NEW BEST:: SOT 444186 SOS 249303 HAS SOPS 249303 HAS SOUS 223350 HAS SOUPS 223350 WITH SCORE 223599.303
AT ITER 916 NEW BEST:: SOT 444099 SOS 248955 HAS SOPS 248955 HAS SOUS 223176 HAS SOUPS 223176 WITH SCORE 223424.955
AT ITER 920 NEW BEST:: SOT 443945 SOS 248724 HAS SOPS 248724 HAS SOUS 222945 HAS SOUPS 222945 WITH SCORE 223193.724
AT ITER 921 NEW BEST:: SOT 443945 SOS 248537 HAS SOPS 248537 HAS SOUS 222687 HAS SOUPS 222687 WITH SCORE 222935.537
AT ITER 924 NEW BEST:: SOT 443714 SOS 248162 HAS SOPS 248162 HAS SOUS 222389 HAS SOUPS 222389 WITH SCORE 222637.162
AT ITER 940 NEW BEST:: SOT 443515 SOS 247874 HAS SOPS 247874 HAS SOUS 222101 HAS SOUPS 222101 WITH SCORE 222348.874
AT ITER 941 NEW BEST:: SOT 442485 SOS 245795 HAS SOPS 245795 HAS SOUS 220419 HAS SOUPS 220419 WITH SCORE 220664.795
AT ITER 944 NEW BEST:: SOT 441889 SOS 244284 HAS SOPS 244284 HAS SOUS 219452 HAS SOUPS 219452 WITH SCORE 219696.284
AT ITER 946 NEW BEST:: SOT 441854 SOS 244214 HAS SOPS 244214 HAS SOUS 219382 HAS SOUPS 219382 WITH SCORE 219626.214
AT ITER 951 NEW BEST:: SOT 441750 SOS 243973 HAS SOPS 243973 HAS SOUS 218994 HAS SOUPS 218994 WITH SCORE 219237.973
AT ITER 953 NEW BEST:: SOT 441750 SOS 243973 HAS SOPS 243973 HAS SOUS 218991 HAS SOUPS 218991 WITH SCORE 219234.973
AT ITER 958 NEW BEST:: SOT 441744 SOS 243961 HAS SOPS 243961 HAS SOUS 218985 HAS SOUPS 218985 WITH SCORE 219228.961
AT ITER 963 NEW BEST:: SOT 441738 SOS 243955 HAS SOPS 243955 HAS SOUS 218979 HAS SOUPS 218979 WITH SCORE 219222.955
AT ITER 965 NEW BEST:: SOT 441826 SOS 243630 HAS SOPS 243630 HAS SOUS 218766 HAS SOUPS 218766 WITH SCORE 219009.63
AT ITER 968 NEW BEST:: SOT 441716 SOS 243296 HAS SOPS 243296 HAS SOUS 218436 HAS SOUPS 218436 WITH SCORE 218679.296
AT ITER 972 NEW BEST:: SOT 441088 SOS 242393 HAS SOPS 242393 HAS SOUS 217560 HAS SOUPS 217560 WITH SCORE 217802.393
AT ITER 973 NEW BEST:: SOT 441077 SOS 242370 HAS SOPS 242370 HAS SOUS 217537 HAS SOUPS 217537 WITH SCORE 217779.37
AT ITER 977 NEW BEST:: SOT 441122 SOS 242332 HAS SOPS 242332 HAS SOUS 217499 HAS SOUPS 217499 WITH SCORE 217741.332
AT ITER 980 NEW BEST:: SOT 441173 SOS 242330 HAS SOPS 242330 HAS SOUS 217403 HAS SOUPS 217403 WITH SCORE 217645.33
AT ITER 985 NEW BEST:: SOT 441173 SOS 242260 HAS SOPS 242260 HAS SOUS 217403 HAS SOUPS 217403 WITH SCORE 217645.26
AT ITER 986 NEW BEST:: SOT 441161 SOS 242236 HAS SOPS 242236 HAS SOUS 217367 HAS SOUPS 217367 WITH SCORE 217609.236
AT ITER 994 NEW BEST:: SOT 441020 SOS 241998 HAS SOPS 241998 HAS SOUS 217226 HAS SOUPS 217226 WITH SCORE 217467.998
AT ITER 995 NEW BEST:: SOT 441020 SOS 241998 HAS SOPS 241998 HAS SOUS 217202 HAS SOUPS 217202 WITH SCORE 217443.998
AT ITER 997 NEW BEST:: SOT 441020 SOS 241746 HAS SOPS 241746 HAS SOUS 217193 HAS SOUPS 217193 WITH SCORE 217434.746
AT ITER 999 NEW BEST:: SOT 441020 SOS 241661 HAS SOPS 241661 HAS SOUS 217023 HAS SOUPS 217023 WITH SCORE 217264.661
AT ITER 1003 NEW BEST:: SOT 440661 SOS 240767 HAS SOPS 240767 HAS SOUS 216435 HAS SOUPS 216435 WITH SCORE 216675.767
AT ITER 1005 NEW BEST:: SOT 440322 SOS 239690 HAS SOPS 239690 HAS SOUS 215733 HAS SOUPS 215733 WITH SCORE 215972.69
AT ITER 1009 NEW BEST:: SOT 440190 SOS 239378 HAS SOPS 239378 HAS SOUS 215430 HAS SOUPS 215430 WITH SCORE 215669.378
AT ITER 1012 NEW BEST:: SOT 440166 SOS 239344 HAS SOPS 239344 HAS SOUS 215391 HAS SOUPS 215391 WITH SCORE 215630.344
AT ITER 1013 NEW BEST:: SOT 440125 SOS 239263 HAS SOPS 239263 HAS SOUS 215310 HAS SOUPS 215310 WITH SCORE 215549.263
AT ITER 1025 NEW BEST:: SOT 440125 SOS 239234 HAS SOPS 239234 HAS SOUS 215283 HAS SOUPS 215283 WITH SCORE 215522.234
AT ITER 1031 NEW BEST:: SOT 439971 SOS 238768 HAS SOPS 238768 HAS SOUS 214970 HAS SOUPS 214970 WITH SCORE 215208.768
AT ITER 1033 NEW BEST:: SOT 439900 SOS 238666 HAS SOPS 238666 HAS SOUS 214927 HAS SOUPS 214927 WITH SCORE 215165.666
AT ITER 1039 NEW BEST:: SOT 439687 SOS 238347 HAS SOPS 238347 HAS SOUS 214608 HAS SOUPS 214608 WITH SCORE 214846.347
AT ITER 1041 NEW BEST:: SOT 439339 SOS 237474 HAS SOPS 237474 HAS SOUS 213772 HAS SOUPS 213772 WITH SCORE 214009.474
AT ITER 1044 NEW BEST:: SOT 439255 SOS 237306 HAS SOPS 237306 HAS SOUS 213604 HAS SOUPS 213604 WITH SCORE 213841.306
AT ITER 1050 NEW BEST:: SOT 439235 SOS 237266 HAS SOPS 237266 HAS SOUS 213561 HAS SOUPS 213561 WITH SCORE 213798.266
AT ITER 1053 NEW BEST:: SOT 438692 SOS 236339 HAS SOPS 236339 HAS SOUS 212569 HAS SOUPS 212569 WITH SCORE 212805.339
AT ITER 1056 NEW BEST:: SOT 438593 SOS 236205 HAS SOPS 236205 HAS SOUS 212468 HAS SOUPS 212468 WITH SCORE 212704.205
AT ITER 1057 NEW BEST:: SOT 438337 SOS 236286 HAS SOPS 236286 HAS SOUS 211941 HAS SOUPS 211941 WITH SCORE 212177.286
AT ITER 1062 NEW BEST:: SOT 438356 SOS 236305 HAS SOPS 236305 HAS SOUS 211834 HAS SOUPS 211834 WITH SCORE 212070.305
AT ITER 1063 NEW BEST:: SOT 438294 SOS 236119 HAS SOPS 236119 HAS SOUS 211586 HAS SOUPS 211586 WITH SCORE 211822.119
AT ITER 1064 NEW BEST:: SOT 438294 SOS 236119 HAS SOPS 236119 HAS SOUS 211585 HAS SOUPS 211585 WITH SCORE 211821.119
AT ITER 1072 NEW BEST:: SOT 438279 SOS 236090 HAS SOPS 236090 HAS SOUS 211548 HAS SOUPS 211548 WITH SCORE 211784.09
AT ITER 1074 NEW BEST:: SOT 438279 SOS 236090 HAS SOPS 236090 HAS SOUS 211435 HAS SOUPS 211435 WITH SCORE 211671.09
AT ITER 1075 NEW BEST:: SOT 438138 SOS 235891 HAS SOPS 235891 HAS SOUS 211245 HAS SOUPS 211245 WITH SCORE 211480.891
AT ITER 1076 NEW BEST:: SOT 438004 SOS 235595 HAS SOPS 235595 HAS SOUS 211046 HAS SOUPS 211046 WITH SCORE 211281.595
AT ITER 1089 NEW BEST:: SOT 437895 SOS 235376 HAS SOPS 235376 HAS SOUS 210920 HAS SOUPS 210920 WITH SCORE 211155.376
AT ITER 1092 NEW BEST:: SOT 437895 SOS 235341 HAS SOPS 235341 HAS SOUS 210870 HAS SOUPS 210870 WITH SCORE 211105.341
AT ITER 1095 NEW BEST:: SOT 437693 SOS 235149 HAS SOPS 235149 HAS SOUS 210752 HAS SOUPS 210752 WITH SCORE 210987.149
AT ITER 1103 NEW BEST:: SOT 437322 SOS 234315 HAS SOPS 234315 HAS SOUS 210048 HAS SOUPS 210048 WITH SCORE 210282.315
AT ITER 1113 NEW BEST:: SOT 437289 SOS 234358 HAS SOPS 234358 HAS SOUS 209871 HAS SOUPS 209871 WITH SCORE 210105.358
AT ITER 1114 NEW BEST:: SOT 436938 SOS 233658 HAS SOPS 233658 HAS SOUS 209405 HAS SOUPS 209405 WITH SCORE 209638.658
AT ITER 1122 NEW BEST:: SOT 436782 SOS 233268 HAS SOPS 233268 HAS SOUS 209093 HAS SOUPS 209093 WITH SCORE 209326.268
AT ITER 1128 NEW BEST:: SOT 436721 SOS 233180 HAS SOPS 233180 HAS SOUS 209024 HAS SOUPS 209024 WITH SCORE 209257.18
AT ITER 1129 NEW BEST:: SOT 436721 SOS 233180 HAS SOPS 233180 HAS SOUS 209020 HAS SOUPS 209020 WITH SCORE 209253.18
AT ITER 1131 NEW BEST:: SOT 436672 SOS 233033 HAS SOPS 233033 HAS SOUS 208893 HAS SOUPS 208893 WITH SCORE 209126.033
AT ITER 1133 NEW BEST:: SOT 436672 SOS 233017 HAS SOPS 233017 HAS SOUS 208861 HAS SOUPS 208861 WITH SCORE 209094.017
AT ITER 1136 NEW BEST:: SOT 436482 SOS 232667 HAS SOPS 232667 HAS SOUS 208590 HAS SOUPS 208590 WITH SCORE 208822.667
AT ITER 1139 NEW BEST:: SOT 436505 SOS 232690 HAS SOPS 232690 HAS SOUS 208560 HAS SOUPS 208560 WITH SCORE 208792.69
AT ITER 1144 NEW BEST:: SOT 436456 SOS 232595 HAS SOPS 232595 HAS SOUS 208024 HAS SOUPS 208024 WITH SCORE 208256.595
AT ITER 1148 NEW BEST:: SOT 436353 SOS 232406 HAS SOPS 232406 HAS SOUS 207749 HAS SOUPS 207749 WITH SCORE 207981.406
AT ITER 1150 NEW BEST:: SOT 436332 SOS 232364 HAS SOPS 232364 HAS SOUS 207711 HAS SOUPS 207711 WITH SCORE 207943.364
AT ITER 1151 NEW BEST:: SOT 435586 SOS 231333 HAS SOPS 231333 HAS SOUS 206471 HAS SOUPS 206471 WITH SCORE 206702.333
AT ITER 1155 NEW BEST:: SOT 435541 SOS 231261 HAS SOPS 231261 HAS SOUS 206399 HAS SOUPS 206399 WITH SCORE 206630.261
AT ITER 1156 NEW BEST:: SOT 435407 SOS 230859 HAS SOPS 230859 HAS SOUS 206131 HAS SOUPS 206131 WITH SCORE 206361.859
AT ITER 1163 NEW BEST:: SOT 435007 SOS 230208 HAS SOPS 230208 HAS SOUS 205477 HAS SOUPS 205477 WITH SCORE 205707.208
AT ITER 1164 NEW BEST:: SOT 434968 SOS 230169 HAS SOPS 230169 HAS SOUS 205438 HAS SOUPS 205438 WITH SCORE 205668.169
AT ITER 1166 NEW BEST:: SOT 434968 SOS 230169 HAS SOPS 230169 HAS SOUS 205437 HAS SOUPS 205437 WITH SCORE 205667.169
AT ITER 1167 NEW BEST:: SOT 434855 SOS 230056 HAS SOPS 230056 HAS SOUS 205324 HAS SOUPS 205324 WITH SCORE 205554.056
AT ITER 1168 NEW BEST:: SOT 434851 SOS 229862 HAS SOPS 229862 HAS SOUS 205024 HAS SOUPS 205024 WITH SCORE 205253.862
AT ITER 1170 NEW BEST:: SOT 434851 SOS 229339 HAS SOPS 229339 HAS SOUS 204670 HAS SOUPS 204670 WITH SCORE 204899.339
AT ITER 1172 NEW BEST:: SOT 434813 SOS 229287 HAS SOPS 229287 HAS SOUS 204618 HAS SOUPS 204618 WITH SCORE 204847.287
AT ITER 1177 NEW BEST:: SOT 433994 SOS 227897 HAS SOPS 227897 HAS SOUS 203479 HAS SOUPS 203479 WITH SCORE 203706.897
AT ITER 1179 NEW BEST:: SOT 433930 SOS 227761 HAS SOPS 227761 HAS SOUS 202950 HAS SOUPS 202950 WITH SCORE 203177.761
AT ITER 1181 NEW BEST:: SOT 433669 SOS 227211 HAS SOPS 227211 HAS SOUS 202598 HAS SOUPS 202598 WITH SCORE 202825.211
AT ITER 1185 NEW BEST:: SOT 433646 SOS 227138 HAS SOPS 227138 HAS SOUS 202506 HAS SOUPS 202506 WITH SCORE 202733.138
AT ITER 1189 NEW BEST:: SOT 433646 SOS 227184 HAS SOPS 227184 HAS SOUS 202460 HAS SOUPS 202460 WITH SCORE 202687.184
AT ITER 1190 NEW BEST:: SOT 433713 SOS 227397 HAS SOPS 227397 HAS SOUS 202414 HAS SOUPS 202414 WITH SCORE 202641.397
AT ITER 1198 NEW BEST:: SOT 433395 SOS 227079 HAS SOPS 227079 HAS SOUS 202096 HAS SOUPS 202096 WITH SCORE 202323.079
AT ITER 1199 NEW BEST:: SOT 433046 SOS 226553 HAS SOPS 226553 HAS SOUS 201546 HAS SOUPS 201546 WITH SCORE 201772.553
AT ITER 1200 NEW BEST:: SOT 432937 SOS 226444 HAS SOPS 226444 HAS SOUS 201437 HAS SOUPS 201437 WITH SCORE 201663.444
AT ITER 1203 NEW BEST:: SOT 432719 SOS 226210 HAS SOPS 226210 HAS SOUS 200957 HAS SOUPS 200957 WITH SCORE 201183.21
AT ITER 1206 NEW BEST:: SOT 432642 SOS 226099 HAS SOPS 226099 HAS SOUS 200846 HAS SOUPS 200846 WITH SCORE 201072.099
AT ITER 1213 NEW BEST:: SOT 432592 SOS 225893 HAS SOPS 225893 HAS SOUS 200702 HAS SOUPS 200702 WITH SCORE 200927.893
AT ITER 1215 NEW BEST:: SOT 432592 SOS 225893 HAS SOPS 225893 HAS SOUS 200667 HAS SOUPS 200667 WITH SCORE 200892.893
AT ITER 1216 NEW BEST:: SOT 432638 SOS 225939 HAS SOPS 225939 HAS SOUS 200660 HAS SOUPS 200660 WITH SCORE 200885.939
AT ITER 1217 NEW BEST:: SOT 432577 SOS 225769 HAS SOPS 225769 HAS SOUS 200550 HAS SOUPS 200550 WITH SCORE 200775.769
AT ITER 1232 NEW BEST:: SOT 432521 SOS 225666 HAS SOPS 225666 HAS SOUS 200451 HAS SOUPS 200451 WITH SCORE 200676.666
AT ITER 1236 NEW BEST:: SOT 432339 SOS 225149 HAS SOPS 225149 HAS SOUS 199991 HAS SOUPS 199991 WITH SCORE 200216.149
AT ITER 1250 NEW BEST:: SOT 432331 SOS 225394 HAS SOPS 225394 HAS SOUS 199849 HAS SOUPS 199849 WITH SCORE 200074.394
AT ITER 1257 NEW BEST:: SOT 432268 SOS 225310 HAS SOPS 225310 HAS SOUS 199765 HAS SOUPS 199765 WITH SCORE 199990.31
AT ITER 1260 NEW BEST:: SOT 432252 SOS 225252 HAS SOPS 225252 HAS SOUS 199717 HAS SOUPS 199717 WITH SCORE 199942.252
AT ITER 1261 NEW BEST:: SOT 432359 SOS 225254 HAS SOPS 225254 HAS SOUS 199663 HAS SOUPS 199663 WITH SCORE 199888.254
AT ITER 1274 NEW BEST:: SOT 432158 SOS 225029 HAS SOPS 225029 HAS SOUS 199438 HAS SOUPS 199438 WITH SCORE 199663.029
AT ITER 1275 NEW BEST:: SOT 431992 SOS 224601 HAS SOPS 224601 HAS SOUS 199304 HAS SOUPS 199304 WITH SCORE 199528.601
AT ITER 1276 NEW BEST:: SOT 431992 SOS 224601 HAS SOPS 224601 HAS SOUS 199293 HAS SOUPS 199293 WITH SCORE 199517.601
AT ITER 1283 NEW BEST:: SOT 431934 SOS 224543 HAS SOPS 224543 HAS SOUS 199235 HAS SOUPS 199235 WITH SCORE 199459.543
AT ITER 1289 NEW BEST:: SOT 431911 SOS 224366 HAS SOPS 224366 HAS SOUS 199026 HAS SOUPS 199026 WITH SCORE 199250.366
AT ITER 1291 NEW BEST:: SOT 431887 SOS 224262 HAS SOPS 224262 HAS SOUS 198983 HAS SOUPS 198983 WITH SCORE 199207.262
AT ITER 1295 NEW BEST:: SOT 431847 SOS 224315 HAS SOPS 224315 HAS SOUS 198903 HAS SOUPS 198903 WITH SCORE 199127.315
AT ITER 1296 NEW BEST:: SOT 431709 SOS 224177 HAS SOPS 224177 HAS SOUS 198526 HAS SOUPS 198526 WITH SCORE 198750.177
AT ITER 1297 NEW BEST:: SOT 431709 SOS 224175 HAS SOPS 224175 HAS SOUS 198526 HAS SOUPS 198526 WITH SCORE 198750.175
AT ITER 1299 NEW BEST:: SOT 431656 SOS 224069 HAS SOPS 224069 HAS SOUS 198401 HAS SOUPS 198401 WITH SCORE 198625.069
AT ITER 1302 NEW BEST:: SOT 431263 SOS 223464 HAS SOPS 223464 HAS SOUS 197897 HAS SOUPS 197897 WITH SCORE 198120.464
AT ITER 1303 NEW BEST:: SOT 431201 SOS 223383 HAS SOPS 223383 HAS SOUS 197836 HAS SOUPS 197836 WITH SCORE 198059.383
AT ITER 1304 NEW BEST:: SOT 431187 SOS 223379 HAS SOPS 223379 HAS SOUS 197832 HAS SOUPS 197832 WITH SCORE 198055.379
AT ITER 1306 NEW BEST:: SOT 430977 SOS 223169 HAS SOPS 223169 HAS SOUS 197622 HAS SOUPS 197622 WITH SCORE 197845.169
AT ITER 1310 NEW BEST:: SOT 431016 SOS 223118 HAS SOPS 223118 HAS SOUS 197545 HAS SOUPS 197545 WITH SCORE 197768.118
AT ITER 1316 NEW BEST:: SOT 431016 SOS 223121 HAS SOPS 223121 HAS SOUS 197535 HAS SOUPS 197535 WITH SCORE 197758.121
AT ITER 1321 NEW BEST:: SOT 430818 SOS 222742 HAS SOPS 222742 HAS SOUS 197228 HAS SOUPS 197228 WITH SCORE 197450.742
AT ITER 1322 NEW BEST:: SOT 430750 SOS 222732 HAS SOPS 222732 HAS SOUS 196789 HAS SOUPS 196789 WITH SCORE 197011.732
AT ITER 1331 NEW BEST:: SOT 430747 SOS 222727 HAS SOPS 222727 HAS SOUS 196737 HAS SOUPS 196737 WITH SCORE 196959.727
AT ITER 1337 NEW BEST:: SOT 430745 SOS 222725 HAS SOPS 222725 HAS SOUS 196735 HAS SOUPS 196735 WITH SCORE 196957.725
AT ITER 1344 NEW BEST:: SOT 430111 SOS 221666 HAS SOPS 221666 HAS SOUS 195881 HAS SOUPS 195881 WITH SCORE 196102.666
AT ITER 1351 NEW BEST:: SOT 429930 SOS 221485 HAS SOPS 221485 HAS SOUS 195700 HAS SOUPS 195700 WITH SCORE 195921.485
AT ITER 1354 NEW BEST:: SOT 429507 SOS 220921 HAS SOPS 220921 HAS SOUS 195143 HAS SOUPS 195143 WITH SCORE 195363.921
AT ITER 1361 NEW BEST:: SOT 429466 SOS 220880 HAS SOPS 220880 HAS SOUS 195143 HAS SOUPS 195143 WITH SCORE 195363.88
AT ITER 1362 NEW BEST:: SOT 429428 SOS 220798 HAS SOPS 220798 HAS SOUS 195061 HAS SOUPS 195061 WITH SCORE 195281.798
AT ITER 1364 NEW BEST:: SOT 429420 SOS 220768 HAS SOPS 220768 HAS SOUS 195030 HAS SOUPS 195030 WITH SCORE 195250.768
AT ITER 1366 NEW BEST:: SOT 429393 SOS 220716 HAS SOPS 220716 HAS SOUS 194947 HAS SOUPS 194947 WITH SCORE 195167.716
AT ITER 1371 NEW BEST:: SOT 429340 SOS 220610 HAS SOPS 220610 HAS SOUS 194841 HAS SOUPS 194841 WITH SCORE 195061.61
AT ITER 1386 NEW BEST:: SOT 429391 SOS 220045 HAS SOPS 220045 HAS SOUS 194709 HAS SOUPS 194709 WITH SCORE 194929.045
AT ITER 1388 NEW BEST:: SOT 429307 SOS 220171 HAS SOPS 220171 HAS SOUS 194541 HAS SOUPS 194541 WITH SCORE 194761.171
AT ITER 1389 NEW BEST:: SOT 429239 SOS 220105 HAS SOPS 220105 HAS SOUS 194475 HAS SOUPS 194475 WITH SCORE 194695.105
AT ITER 1396 NEW BEST:: SOT 428749 SOS 219301 HAS SOPS 219301 HAS SOUS 194096 HAS SOUPS 194096 WITH SCORE 194315.301
AT ITER 1400 NEW BEST:: SOT 428717 SOS 219237 HAS SOPS 219237 HAS SOUS 194032 HAS SOUPS 194032 WITH SCORE 194251.237
AT ITER 1401 NEW BEST:: SOT 428588 SOS 218979 HAS SOPS 218979 HAS SOUS 193837 HAS SOUPS 193837 WITH SCORE 194055.979
AT ITER 1410 NEW BEST:: SOT 428393 SOS 218608 HAS SOPS 218608 HAS SOUS 193396 HAS SOUPS 193396 WITH SCORE 193614.608
AT ITER 1413 NEW BEST:: SOT 428393 SOS 218652 HAS SOPS 218652 HAS SOUS 193367 HAS SOUPS 193367 WITH SCORE 193585.652
AT ITER 1415 NEW BEST:: SOT 428417 SOS 218217 HAS SOPS 218217 HAS SOUS 193112 HAS SOUPS 193112 WITH SCORE 193330.217
AT ITER 1430 NEW BEST:: SOT 428321 SOS 217927 HAS SOPS 217927 HAS SOUS 193012 HAS SOUPS 193012 WITH SCORE 193229.927
AT ITER 1432 NEW BEST:: SOT 427922 SOS 217324 HAS SOPS 217324 HAS SOUS 192497 HAS SOUPS 192497 WITH SCORE 192714.324
AT ITER 1439 NEW BEST:: SOT 427696 SOS 216985 HAS SOPS 216985 HAS SOUS 192158 HAS SOUPS 192158 WITH SCORE 192374.985
AT ITER 1440 NEW BEST:: SOT 427541 SOS 216830 HAS SOPS 216830 HAS SOUS 191899 HAS SOUPS 191899 WITH SCORE 192115.83
AT ITER 1444 NEW BEST:: SOT 427541 SOS 216830 HAS SOPS 216830 HAS SOUS 191871 HAS SOUPS 191871 WITH SCORE 192087.83
AT ITER 1445 NEW BEST:: SOT 427350 SOS 216290 HAS SOPS 216290 HAS SOUS 191496 HAS SOUPS 191496 WITH SCORE 191712.29
AT ITER 1449 NEW BEST:: SOT 427272 SOS 216134 HAS SOPS 216134 HAS SOUS 191418 HAS SOUPS 191418 WITH SCORE 191634.134
AT ITER 1461 NEW BEST:: SOT 427178 SOS 215758 HAS SOPS 215758 HAS SOUS 191042 HAS SOUPS 191042 WITH SCORE 191257.758
AT ITER 1463 NEW BEST:: SOT 426931 SOS 215529 HAS SOPS 215529 HAS SOUS 190774 HAS SOUPS 190774 WITH SCORE 190989.529
AT ITER 1466 NEW BEST:: SOT 426931 SOS 215392 HAS SOPS 215392 HAS SOUS 190604 HAS SOUPS 190604 WITH SCORE 190819.392
AT ITER 1467 NEW BEST:: SOT 426690 SOS 214723 HAS SOPS 214723 HAS SOUS 190441 HAS SOUPS 190441 WITH SCORE 190655.723
AT ITER 1468 NEW BEST:: SOT 426690 SOS 214665 HAS SOPS 214665 HAS SOUS 190419 HAS SOUPS 190419 WITH SCORE 190633.665
AT ITER 1469 NEW BEST:: SOT 426670 SOS 214635 HAS SOPS 214635 HAS SOUS 190389 HAS SOUPS 190389 WITH SCORE 190603.635
AT ITER 1470 NEW BEST:: SOT 426670 SOS 214633 HAS SOPS 214633 HAS SOUS 190387 HAS SOUPS 190387 WITH SCORE 190601.633
AT ITER 1472 NEW BEST:: SOT 426611 SOS 214370 HAS SOPS 214370 HAS SOUS 190237 HAS SOUPS 190237 WITH SCORE 190451.37
AT ITER 1486 NEW BEST:: SOT 426385 SOS 214144 HAS SOPS 214144 HAS SOUS 189848 HAS SOUPS 189848 WITH SCORE 190062.144
AT ITER 1489 NEW BEST:: SOT 426385 SOS 214143 HAS SOPS 214143 HAS SOUS 189848 HAS SOUPS 189848 WITH SCORE 190062.143
AT ITER 1496 NEW BEST:: SOT 426385 SOS 214073 HAS SOPS 214073 HAS SOUS 189848 HAS SOUPS 189848 WITH SCORE 190062.073
AT ITER 1499 NEW BEST:: SOT 426369 SOS 214007 HAS SOPS 214007 HAS SOUS 189796 HAS SOUPS 189796 WITH SCORE 190010.007
AT ITER 1524 NEW BEST:: SOT 426304 SOS 213919 HAS SOPS 213919 HAS SOUS 189708 HAS SOUPS 189708 WITH SCORE 189921.919
AT ITER 1530 NEW BEST:: SOT 426304 SOS 213781 HAS SOPS 213781 HAS SOUS 189708 HAS SOUPS 189708 WITH SCORE 189921.781
AT ITER 1533 NEW BEST:: SOT 426208 SOS 213653 HAS SOPS 213653 HAS SOUS 189580 HAS SOUPS 189580 WITH SCORE 189793.653
AT ITER 1537 NEW BEST:: SOT 425855 SOS 212989 HAS SOPS 212989 HAS SOUS 188811 HAS SOUPS 188811 WITH SCORE 189023.989
AT ITER 1538 NEW BEST:: SOT 425449 SOS 211968 HAS SOPS 211968 HAS SOUS 187734 HAS SOUPS 187734 WITH SCORE 187945.968
AT ITER 1551 NEW BEST:: SOT 425059 SOS 211227 HAS SOPS 211227 HAS SOUS 187141 HAS SOUPS 187141 WITH SCORE 187352.227
AT ITER 1552 NEW BEST:: SOT 424931 SOS 211099 HAS SOPS 211099 HAS SOUS 186953 HAS SOUPS 186953 WITH SCORE 187164.099
AT ITER 1560 NEW BEST:: SOT 424801 SOS 210904 HAS SOPS 210904 HAS SOUS 186823 HAS SOUPS 186823 WITH SCORE 187033.904
AT ITER 1563 NEW BEST:: SOT 424808 SOS 210925 HAS SOPS 210925 HAS SOUS 186743 HAS SOUPS 186743 WITH SCORE 186953.925
AT ITER 1568 NEW BEST:: SOT 424494 SOS 210299 HAS SOPS 210299 HAS SOUS 186321 HAS SOUPS 186321 WITH SCORE 186531.299
AT ITER 1577 NEW BEST:: SOT 424407 SOS 210125 HAS SOPS 210125 HAS SOUS 186060 HAS SOUPS 186060 WITH SCORE 186270.125
AT ITER 1613 NEW BEST:: SOT 424407 SOS 210030 HAS SOPS 210030 HAS SOUS 186045 HAS SOUPS 186045 WITH SCORE 186255.03
AT ITER 1615 NEW BEST:: SOT 424053 SOS 209676 HAS SOPS 209676 HAS SOUS 185712 HAS SOUPS 185712 WITH SCORE 185921.676
AT ITER 1623 NEW BEST:: SOT 423890 SOS 209350 HAS SOPS 209350 HAS SOUS 185276 HAS SOUPS 185276 WITH SCORE 185485.35
AT ITER 1628 NEW BEST:: SOT 423706 SOS 208829 HAS SOPS 208829 HAS SOUS 184925 HAS SOUPS 184925 WITH SCORE 185133.829
AT ITER 1631 NEW BEST:: SOT 423653 SOS 208564 HAS SOPS 208564 HAS SOUS 184819 HAS SOUPS 184819 WITH SCORE 185027.564
AT ITER 1632 NEW BEST:: SOT 423562 SOS 208291 HAS SOPS 208291 HAS SOUS 184728 HAS SOUPS 184728 WITH SCORE 184936.291
AT ITER 1647 NEW BEST:: SOT 423562 SOS 208254 HAS SOPS 208254 HAS SOUS 184728 HAS SOUPS 184728 WITH SCORE 184936.254
AT ITER 1648 NEW BEST:: SOT 423562 SOS 208224 HAS SOPS 208224 HAS SOUS 184708 HAS SOUPS 184708 WITH SCORE 184916.224
AT ITER 1659 NEW BEST:: SOT 423304 SOS 207966 HAS SOPS 207966 HAS SOUS 184450 HAS SOUPS 184450 WITH SCORE 184657.966
AT ITER 1662 NEW BEST:: SOT 423253 SOS 207915 HAS SOPS 207915 HAS SOUS 184399 HAS SOUPS 184399 WITH SCORE 184606.915
AT ITER 1663 NEW BEST:: SOT 423253 SOS 207915 HAS SOPS 207915 HAS SOUS 184303 HAS SOUPS 184303 WITH SCORE 184510.915
AT ITER 1667 NEW BEST:: SOT 423232 SOS 207887 HAS SOPS 207887 HAS SOUS 184275 HAS SOUPS 184275 WITH SCORE 184482.887
AT ITER 1672 NEW BEST:: SOT 423262 SOS 207836 HAS SOPS 207836 HAS SOUS 184271 HAS SOUPS 184271 WITH SCORE 184478.836
AT ITER 1697 NEW BEST:: SOT 423213 SOS 207689 HAS SOPS 207689 HAS SOUS 184124 HAS SOUPS 184124 WITH SCORE 184331.689
AT ITER 1701 NEW BEST:: SOT 423103 SOS 207505 HAS SOPS 207505 HAS SOUS 183903 HAS SOUPS 183903 WITH SCORE 184110.505
AT ITER 1702 NEW BEST:: SOT 422679 SOS 206869 HAS SOPS 206869 HAS SOUS 183629 HAS SOUPS 183629 WITH SCORE 183835.869
AT ITER 1710 NEW BEST:: SOT 422679 SOS 206869 HAS SOPS 206869 HAS SOUS 183625 HAS SOUPS 183625 WITH SCORE 183831.869
AT ITER 1718 NEW BEST:: SOT 422675 SOS 206905 HAS SOPS 206905 HAS SOUS 183495 HAS SOUPS 183495 WITH SCORE 183701.905
AT ITER 1719 NEW BEST:: SOT 422678 SOS 206932 HAS SOPS 206932 HAS SOUS 183482 HAS SOUPS 183482 WITH SCORE 183688.932
AT ITER 1721 NEW BEST:: SOT 422791 SOS 206796 HAS SOPS 206796 HAS SOUS 183251 HAS SOUPS 183251 WITH SCORE 183457.796
AT ITER 1724 NEW BEST:: SOT 422359 SOS 205912 HAS SOPS 205912 HAS SOUS 182935 HAS SOUPS 182935 WITH SCORE 183140.912
AT ITER 1729 NEW BEST:: SOT 422182 SOS 205724 HAS SOPS 205724 HAS SOUS 182775 HAS SOUPS 182775 WITH SCORE 182980.724
AT ITER 1738 NEW BEST:: SOT 422099 SOS 205695 HAS SOPS 205695 HAS SOUS 182621 HAS SOUPS 182621 WITH SCORE 182826.695
AT ITER 1749 NEW BEST:: SOT 422099 SOS 205681 HAS SOPS 205681 HAS SOUS 182621 HAS SOUPS 182621 WITH SCORE 182826.681
AT ITER 1753 NEW BEST:: SOT 422099 SOS 205681 HAS SOPS 205681 HAS SOUS 182596 HAS SOUPS 182596 WITH SCORE 182801.681
AT ITER 1771 NEW BEST:: SOT 421247 SOS 204459 HAS SOPS 204459 HAS SOUS 181368 HAS SOUPS 181368 WITH SCORE 181572.459
AT ITER 1775 NEW BEST:: SOT 421230 SOS 204408 HAS SOPS 204408 HAS SOUS 181317 HAS SOUPS 181317 WITH SCORE 181521.408
AT ITER 1776 NEW BEST:: SOT 421200 SOS 204318 HAS SOPS 204318 HAS SOUS 181223 HAS SOUPS 181223 WITH SCORE 181427.318
AT ITER 1781 NEW BEST:: SOT 421025 SOS 204213 HAS SOPS 204213 HAS SOUS 181068 HAS SOUPS 181068 WITH SCORE 181272.213
AT ITER 1787 NEW BEST:: SOT 420953 SOS 204050 HAS SOPS 204050 HAS SOUS 180905 HAS SOUPS 180905 WITH SCORE 181109.05
AT ITER 1789 NEW BEST:: SOT 420831 SOS 203977 HAS SOPS 203977 HAS SOUS 180832 HAS SOUPS 180832 WITH SCORE 181035.977
AT ITER 1790 NEW BEST:: SOT 420590 SOS 203736 HAS SOPS 203736 HAS SOUS 180545 HAS SOUPS 180545 WITH SCORE 180748.736
AT ITER 1792 NEW BEST:: SOT 420423 SOS 203510 HAS SOPS 203510 HAS SOUS 180394 HAS SOUPS 180394 WITH SCORE 180597.51
AT ITER 1800 NEW BEST:: SOT 420388 SOS 203426 HAS SOPS 203426 HAS SOUS 180218 HAS SOUPS 180218 WITH SCORE 180421.426
AT ITER 1808 NEW BEST:: SOT 420382 SOS 203418 HAS SOPS 203418 HAS SOUS 180210 HAS SOUPS 180210 WITH SCORE 180413.418
AT ITER 1810 NEW BEST:: SOT 420294 SOS 202978 HAS SOPS 202978 HAS SOUS 179954 HAS SOUPS 179954 WITH SCORE 180156.978
AT ITER 1811 NEW BEST:: SOT 420141 SOS 202844 HAS SOPS 202844 HAS SOUS 179484 HAS SOUPS 179484 WITH SCORE 179686.844
AT ITER 1813 NEW BEST:: SOT 420141 SOS 202852 HAS SOPS 202852 HAS SOUS 179476 HAS SOUPS 179476 WITH SCORE 179678.852
AT ITER 1815 NEW BEST:: SOT 420150 SOS 202774 HAS SOPS 202774 HAS SOUS 179453 HAS SOUPS 179453 WITH SCORE 179655.774
AT ITER 1817 NEW BEST:: SOT 419976 SOS 202425 HAS SOPS 202425 HAS SOUS 179104 HAS SOUPS 179104 WITH SCORE 179306.425
AT ITER 1820 NEW BEST:: SOT 419941 SOS 202355 HAS SOPS 202355 HAS SOUS 179069 HAS SOUPS 179069 WITH SCORE 179271.355
AT ITER 1825 NEW BEST:: SOT 419920 SOS 202334 HAS SOPS 202334 HAS SOUS 179048 HAS SOUPS 179048 WITH SCORE 179250.334
AT ITER 1829 NEW BEST:: SOT 419918 SOS 202067 HAS SOPS 202067 HAS SOUS 178937 HAS SOUPS 178937 WITH SCORE 179139.067
AT ITER 1830 NEW BEST:: SOT 419837 SOS 201798 HAS SOPS 201798 HAS SOUS 178791 HAS SOUPS 178791 WITH SCORE 178992.798
AT ITER 1833 NEW BEST:: SOT 419746 SOS 201616 HAS SOPS 201616 HAS SOUS 178699 HAS SOUPS 178699 WITH SCORE 178900.616
AT ITER 1834 NEW BEST:: SOT 419692 SOS 201544 HAS SOPS 201544 HAS SOUS 178627 HAS SOUPS 178627 WITH SCORE 178828.544
AT ITER 1843 NEW BEST:: SOT 419469 SOS 200929 HAS SOPS 200929 HAS SOUS 178054 HAS SOUPS 178054 WITH SCORE 178254.929
AT ITER 1844 NEW BEST:: SOT 419445 SOS 200884 HAS SOPS 200884 HAS SOUS 177988 HAS SOUPS 177988 WITH SCORE 178188.884
AT ITER 1847 NEW BEST:: SOT 419347 SOS 200590 HAS SOPS 200590 HAS SOUS 177861 HAS SOUPS 177861 WITH SCORE 178061.59
AT ITER 1849 NEW BEST:: SOT 419384 SOS 200604 HAS SOPS 200604 HAS SOUS 177838 HAS SOUPS 177838 WITH SCORE 178038.604
AT ITER 1850 NEW BEST:: SOT 419357 SOS 200568 HAS SOPS 200568 HAS SOUS 177802 HAS SOUPS 177802 WITH SCORE 178002.568
AT ITER 1852 NEW BEST:: SOT 419325 SOS 200472 HAS SOPS 200472 HAS SOUS 177770 HAS SOUPS 177770 WITH SCORE 177970.472
AT ITER 1858 NEW BEST:: SOT 419282 SOS 200404 HAS SOPS 200404 HAS SOUS 177698 HAS SOUPS 177698 WITH SCORE 177898.404
AT ITER 1869 NEW BEST:: SOT 419284 SOS 200388 HAS SOPS 200388 HAS SOUS 177682 HAS SOUPS 177682 WITH SCORE 177882.388
AT ITER 1873 NEW BEST:: SOT 419284 SOS 200053 HAS SOPS 200053 HAS SOUS 177427 HAS SOUPS 177427 WITH SCORE 177627.053
AT ITER 1881 NEW BEST:: SOT 419161 SOS 199889 HAS SOPS 199889 HAS SOUS 177263 HAS SOUPS 177263 WITH SCORE 177462.889
AT ITER 1887 NEW BEST:: SOT 418987 SOS 199596 HAS SOPS 199596 HAS SOUS 176934 HAS SOUPS 176934 WITH SCORE 177133.596
AT ITER 1893 NEW BEST:: SOT 418987 SOS 199468 HAS SOPS 199468 HAS SOUS 176793 HAS SOUPS 176793 WITH SCORE 176992.468
AT ITER 1896 NEW BEST:: SOT 418754 SOS 199288 HAS SOPS 199288 HAS SOUS 176613 HAS SOUPS 176613 WITH SCORE 176812.288
AT ITER 1902 NEW BEST:: SOT 418754 SOS 199288 HAS SOPS 199288 HAS SOUS 176595 HAS SOUPS 176595 WITH SCORE 176794.288
AT ITER 1907 NEW BEST:: SOT 418752 SOS 199286 HAS SOPS 199286 HAS SOUS 176593 HAS SOUPS 176593 WITH SCORE 176792.286
AT ITER 1916 NEW BEST:: SOT 418673 SOS 199215 HAS SOPS 199215 HAS SOUS 176534 HAS SOUPS 176534 WITH SCORE 176733.215
AT ITER 1919 NEW BEST:: SOT 418622 SOS 199147 HAS SOPS 199147 HAS SOUS 176449 HAS SOUPS 176449 WITH SCORE 176648.147
AT ITER 1921 NEW BEST:: SOT 418509 SOS 198977 HAS SOPS 198977 HAS SOUS 176337 HAS SOUPS 176337 WITH SCORE 176535.977
AT ITER 1931 NEW BEST:: SOT 418665 SOS 199073 HAS SOPS 199073 HAS SOUS 176015 HAS SOUPS 176015 WITH SCORE 176214.073
AT ITER 1933 NEW BEST:: SOT 418637 SOS 198961 HAS SOPS 198961 HAS SOUS 175931 HAS SOUPS 175931 WITH SCORE 176129.961
AT ITER 1937 NEW BEST:: SOT 418315 SOS 198073 HAS SOPS 198073 HAS SOUS 175401 HAS SOUPS 175401 WITH SCORE 175599.073
AT ITER 1940 NEW BEST:: SOT 418207 SOS 197911 HAS SOPS 197911 HAS SOUS 175266 HAS SOUPS 175266 WITH SCORE 175463.911
AT ITER 1942 NEW BEST:: SOT 418104 SOS 197547 HAS SOPS 197547 HAS SOUS 174974 HAS SOUPS 174974 WITH SCORE 175171.547
AT ITER 1946 NEW BEST:: SOT 417902 SOS 197195 HAS SOPS 197195 HAS SOUS 174546 HAS SOUPS 174546 WITH SCORE 174743.195
AT ITER 1948 NEW BEST:: SOT 417854 SOS 197147 HAS SOPS 197147 HAS SOUS 174498 HAS SOUPS 174498 WITH SCORE 174695.147
AT ITER 1957 NEW BEST:: SOT 417792 SOS 197002 HAS SOPS 197002 HAS SOUS 174405 HAS SOUPS 174405 WITH SCORE 174602.002
AT ITER 1960 NEW BEST:: SOT 417629 SOS 196839 HAS SOPS 196839 HAS SOUS 174159 HAS SOUPS 174159 WITH SCORE 174355.839
AT ITER 1966 NEW BEST:: SOT 417625 SOS 196835 HAS SOPS 196835 HAS SOUS 174155 HAS SOUPS 174155 WITH SCORE 174351.835
AT ITER 1970 NEW BEST:: SOT 417574 SOS 196682 HAS SOPS 196682 HAS SOUS 174002 HAS SOUPS 174002 WITH SCORE 174198.682
AT ITER 1979 NEW BEST:: SOT 417381 SOS 196404 HAS SOPS 196404 HAS SOUS 173724 HAS SOUPS 173724 WITH SCORE 173920.404
AT ITER 1985 NEW BEST:: SOT 417381 SOS 196367 HAS SOPS 196367 HAS SOUS 173687 HAS SOUPS 173687 WITH SCORE 173883.367
AT ITER 1987 NEW BEST:: SOT 417360 SOS 196288 HAS SOPS 196288 HAS SOUS 173687 HAS SOUPS 173687 WITH SCORE 173883.288
AT ITER 1990 NEW BEST:: SOT 417364 SOS 196349 HAS SOPS 196349 HAS SOUS 173595 HAS SOUPS 173595 WITH SCORE 173791.349
AT ITER 1992 NEW BEST:: SOT 417364 SOS 196673 HAS SOPS 196673 HAS SOUS 173550 HAS SOUPS 173550 WITH SCORE 173746.673
AT ITER 2010 NEW BEST:: SOT 417355 SOS 196664 HAS SOPS 196664 HAS SOUS 173541 HAS SOUPS 173541 WITH SCORE 173737.664
AT ITER 2035 NEW BEST:: SOT 417209 SOS 196243 HAS SOPS 196243 HAS SOUS 173252 HAS SOUPS 173252 WITH SCORE 173448.243
AT ITER 2054 NEW BEST:: SOT 416844 SOS 195878 HAS SOPS 195878 HAS SOUS 172887 HAS SOUPS 172887 WITH SCORE 173082.878
AT ITER 2070 NEW BEST:: SOT 416620 SOS 195442 HAS SOPS 195442 HAS SOUS 172514 HAS SOUPS 172514 WITH SCORE 172709.442
AT ITER 2077 NEW BEST:: SOT 416525 SOS 195497 HAS SOPS 195497 HAS SOUS 172492 HAS SOUPS 172492 WITH SCORE 172687.497
AT ITER 2080 NEW BEST:: SOT 416525 SOS 195497 HAS SOPS 195497 HAS SOUS 172482 HAS SOUPS 172482 WITH SCORE 172677.497
AT ITER 2086 NEW BEST:: SOT 416473 SOS 195393 HAS SOPS 195393 HAS SOUS 172378 HAS SOUPS 172378 WITH SCORE 172573.393
AT ITER 2089 NEW BEST:: SOT 416473 SOS 195356 HAS SOPS 195356 HAS SOUS 172378 HAS SOUPS 172378 WITH SCORE 172573.356
AT ITER 2090 NEW BEST:: SOT 416473 SOS 195298 HAS SOPS 195298 HAS SOUS 172320 HAS SOUPS 172320 WITH SCORE 172515.298
AT ITER 2096 NEW BEST:: SOT 416224 SOS 194940 HAS SOPS 194940 HAS SOUS 172175 HAS SOUPS 172175 WITH SCORE 172369.94
AT ITER 2097 NEW BEST:: SOT 416254 SOS 194946 HAS SOPS 194946 HAS SOUS 172156 HAS SOUPS 172156 WITH SCORE 172350.946
AT ITER 2110 NEW BEST:: SOT 416173 SOS 194733 HAS SOPS 194733 HAS SOUS 171925 HAS SOUPS 171925 WITH SCORE 172119.733
AT ITER 2115 NEW BEST:: SOT 416100 SOS 194556 HAS SOPS 194556 HAS SOUS 171852 HAS SOUPS 171852 WITH SCORE 172046.556
AT ITER 2134 NEW BEST:: SOT 416062 SOS 194736 HAS SOPS 194736 HAS SOUS 171690 HAS SOUPS 171690 WITH SCORE 171884.736
AT ITER 2137 NEW BEST:: SOT 416092 SOS 194898 HAS SOPS 194898 HAS SOUS 171669 HAS SOUPS 171669 WITH SCORE 171863.898
AT ITER 2145 NEW BEST:: SOT 415999 SOS 194772 HAS SOPS 194772 HAS SOUS 171543 HAS SOUPS 171543 WITH SCORE 171737.772
AT ITER 2152 NEW BEST:: SOT 415950 SOS 194719 HAS SOPS 194719 HAS SOUS 171489 HAS SOUPS 171489 WITH SCORE 171683.719
AT ITER 2172 NEW BEST:: SOT 415950 SOS 194621 HAS SOPS 194621 HAS SOUS 171440 HAS SOUPS 171440 WITH SCORE 171634.621
AT ITER 2179 NEW BEST:: SOT 415729 SOS 194415 HAS SOPS 194415 HAS SOUS 171053 HAS SOUPS 171053 WITH SCORE 171247.415
AT ITER 2192 NEW BEST:: SOT 415843 SOS 194529 HAS SOPS 194529 HAS SOUS 171048 HAS SOUPS 171048 WITH SCORE 171242.529
AT ITER 2195 NEW BEST:: SOT 415882 SOS 194534 HAS SOPS 194534 HAS SOUS 171046 HAS SOUPS 171046 WITH SCORE 171240.534
AT ITER 2198 NEW BEST:: SOT 415783 SOS 194504 HAS SOPS 194504 HAS SOUS 171016 HAS SOUPS 171016 WITH SCORE 171210.504
AT ITER 2200 NEW BEST:: SOT 415685 SOS 194230 HAS SOPS 194230 HAS SOUS 170423 HAS SOUPS 170423 WITH SCORE 170617.23
AT ITER 2214 NEW BEST:: SOT 415659 SOS 194204 HAS SOPS 194204 HAS SOUS 170397 HAS SOUPS 170397 WITH SCORE 170591.204
AT ITER 2234 NEW BEST:: SOT 415647 SOS 194188 HAS SOPS 194188 HAS SOUS 170381 HAS SOUPS 170381 WITH SCORE 170575.188
AT ITER 2235 NEW BEST:: SOT 415242 SOS 193533 HAS SOPS 193533 HAS SOUS 169813 HAS SOUPS 169813 WITH SCORE 170006.533
AT ITER 2241 NEW BEST:: SOT 415273 SOS 193457 HAS SOPS 193457 HAS SOUS 169660 HAS SOUPS 169660 WITH SCORE 169853.457
AT ITER 2245 NEW BEST:: SOT 415273 SOS 193291 HAS SOPS 193291 HAS SOUS 169636 HAS SOUPS 169636 WITH SCORE 169829.291
AT ITER 2246 NEW BEST:: SOT 415273 SOS 193291 HAS SOPS 193291 HAS SOUS 169533 HAS SOUPS 169533 WITH SCORE 169726.291
AT ITER 2253 NEW BEST:: SOT 415227 SOS 193174 HAS SOPS 193174 HAS SOUS 169437 HAS SOUPS 169437 WITH SCORE 169630.174
AT ITER 2256 NEW BEST:: SOT 415227 SOS 193172 HAS SOPS 193172 HAS SOUS 169437 HAS SOUPS 169437 WITH SCORE 169630.172
AT ITER 2267 NEW BEST:: SOT 415189 SOS 193206 HAS SOPS 193206 HAS SOUS 169376 HAS SOUPS 169376 WITH SCORE 169569.206
AT ITER 2274 NEW BEST:: SOT 415189 SOS 193206 HAS SOPS 193206 HAS SOUS 169321 HAS SOUPS 169321 WITH SCORE 169514.206
AT ITER 2281 NEW BEST:: SOT 415154 SOS 193206 HAS SOPS 193206 HAS SOUS 169272 HAS SOUPS 169272 WITH SCORE 169465.206
AT ITER 2286 NEW BEST:: SOT 415134 SOS 193143 HAS SOPS 193143 HAS SOUS 169209 HAS SOUPS 169209 WITH SCORE 169402.143
AT ITER 2287 NEW BEST:: SOT 414759 SOS 192636 HAS SOPS 192636 HAS SOUS 168702 HAS SOUPS 168702 WITH SCORE 168894.636
AT ITER 2295 NEW BEST:: SOT 414734 SOS 192611 HAS SOPS 192611 HAS SOUS 168677 HAS SOUPS 168677 WITH SCORE 168869.611
AT ITER 2296 NEW BEST:: SOT 414621 SOS 192495 HAS SOPS 192495 HAS SOUS 168558 HAS SOUPS 168558 WITH SCORE 168750.495
AT ITER 2301 NEW BEST:: SOT 414621 SOS 192495 HAS SOPS 192495 HAS SOUS 168520 HAS SOUPS 168520 WITH SCORE 168712.495
AT ITER 2305 NEW BEST:: SOT 414485 SOS 192322 HAS SOPS 192322 HAS SOUS 168347 HAS SOUPS 168347 WITH SCORE 168539.322
AT ITER 2306 NEW BEST:: SOT 414342 SOS 192146 HAS SOPS 192146 HAS SOUS 168202 HAS SOUPS 168202 WITH SCORE 168394.146
AT ITER 2310 NEW BEST:: SOT 414338 SOS 192142 HAS SOPS 192142 HAS SOUS 168198 HAS SOUPS 168198 WITH SCORE 168390.142
AT ITER 2326 NEW BEST:: SOT 414254 SOS 192030 HAS SOPS 192030 HAS SOUS 168101 HAS SOUPS 168101 WITH SCORE 168293.03
AT ITER 2330 NEW BEST:: SOT 414070 SOS 191846 HAS SOPS 191846 HAS SOUS 167917 HAS SOUPS 167917 WITH SCORE 168108.846
AT ITER 2333 NEW BEST:: SOT 414040 SOS 191747 HAS SOPS 191747 HAS SOUS 167732 HAS SOUPS 167732 WITH SCORE 167923.747
AT ITER 2334 NEW BEST:: SOT 414040 SOS 191736 HAS SOPS 191736 HAS SOUS 167721 HAS SOUPS 167721 WITH SCORE 167912.736
AT ITER 2336 NEW BEST:: SOT 413718 SOS 191181 HAS SOPS 191181 HAS SOUS 167353 HAS SOUPS 167353 WITH SCORE 167544.181
AT ITER 2339 NEW BEST:: SOT 413627 SOS 190712 HAS SOPS 190712 HAS SOUS 166804 HAS SOUPS 166804 WITH SCORE 166994.712
AT ITER 2358 NEW BEST:: SOT 413637 SOS 190575 HAS SOPS 190575 HAS SOUS 166667 HAS SOUPS 166667 WITH SCORE 166857.575
AT ITER 2359 NEW BEST:: SOT 413628 SOS 190557 HAS SOPS 190557 HAS SOUS 166658 HAS SOUPS 166658 WITH SCORE 166848.557
AT ITER 2362 NEW BEST:: SOT 413675 SOS 190604 HAS SOPS 190604 HAS SOUS 166654 HAS SOUPS 166654 WITH SCORE 166844.604
AT ITER 2371 NEW BEST:: SOT 413639 SOS 190459 HAS SOPS 190459 HAS SOUS 166547 HAS SOUPS 166547 WITH SCORE 166737.459
AT ITER 2384 NEW BEST:: SOT 413613 SOS 190449 HAS SOPS 190449 HAS SOUS 166514 HAS SOUPS 166514 WITH SCORE 166704.449
AT ITER 2394 NEW BEST:: SOT 413613 SOS 190327 HAS SOPS 190327 HAS SOUS 166286 HAS SOUPS 166286 WITH SCORE 166476.327
AT ITER 2431 NEW BEST:: SOT 413613 SOS 190375 HAS SOPS 190375 HAS SOUS 166237 HAS SOUPS 166237 WITH SCORE 166427.375
AT ITER 2441 NEW BEST:: SOT 413567 SOS 190268 HAS SOPS 190268 HAS SOUS 166179 HAS SOUPS 166179 WITH SCORE 166369.268
AT ITER 2445 NEW BEST:: SOT 413557 SOS 190253 HAS SOPS 190253 HAS SOUS 166169 HAS SOUPS 166169 WITH SCORE 166359.253
AT ITER 2454 NEW BEST:: SOT 413557 SOS 190154 HAS SOPS 190154 HAS SOUS 165935 HAS SOUPS 165935 WITH SCORE 166125.154
AT ITER 2460 NEW BEST:: SOT 413201 SOS 189560 HAS SOPS 189560 HAS SOUS 165384 HAS SOUPS 165384 WITH SCORE 165573.56
AT ITER 2461 NEW BEST:: SOT 413150 SOS 189356 HAS SOPS 189356 HAS SOUS 165180 HAS SOUPS 165180 WITH SCORE 165369.356
AT ITER 2470 NEW BEST:: SOT 413242 SOS 189514 HAS SOPS 189514 HAS SOUS 165079 HAS SOUPS 165079 WITH SCORE 165268.514
AT ITER 2479 NEW BEST:: SOT 413077 SOS 189075 HAS SOPS 189075 HAS SOUS 164804 HAS SOUPS 164804 WITH SCORE 164993.075
AT ITER 2481 NEW BEST:: SOT 413059 SOS 189048 HAS SOPS 189048 HAS SOUS 164777 HAS SOUPS 164777 WITH SCORE 164966.048
AT ITER 2494 NEW BEST:: SOT 413027 SOS 188984 HAS SOPS 188984 HAS SOUS 164681 HAS SOUPS 164681 WITH SCORE 164869.984
AT ITER 2495 NEW BEST:: SOT 412747 SOS 188472 HAS SOPS 188472 HAS SOUS 164492 HAS SOUPS 164492 WITH SCORE 164680.472
AT ITER 2496 NEW BEST:: SOT 412711 SOS 188388 HAS SOPS 188388 HAS SOUS 164432 HAS SOUPS 164432 WITH SCORE 164620.388
AT ITER 2504 NEW BEST:: SOT 412781 SOS 188168 HAS SOPS 188168 HAS SOUS 164364 HAS SOUPS 164364 WITH SCORE 164552.168
AT ITER 2512 NEW BEST:: SOT 412514 SOS 187511 HAS SOPS 187511 HAS SOUS 163671 HAS SOUPS 163671 WITH SCORE 163858.511
AT ITER 2513 NEW BEST:: SOT 412212 SOS 187102 HAS SOPS 187102 HAS SOUS 163237 HAS SOUPS 163237 WITH SCORE 163424.102
AT ITER 2519 NEW BEST:: SOT 412111 SOS 186966 HAS SOPS 186966 HAS SOUS 163101 HAS SOUPS 163101 WITH SCORE 163287.966
AT ITER 2521 NEW BEST:: SOT 412111 SOS 186942 HAS SOPS 186942 HAS SOUS 163101 HAS SOUPS 163101 WITH SCORE 163287.942
AT ITER 2522 NEW BEST:: SOT 411553 SOS 186155 HAS SOPS 186155 HAS SOUS 162545 HAS SOUPS 162545 WITH SCORE 162731.155
AT ITER 2523 NEW BEST:: SOT 411547 SOS 186146 HAS SOPS 186146 HAS SOUS 162536 HAS SOUPS 162536 WITH SCORE 162722.146
AT ITER 2525 NEW BEST:: SOT 411479 SOS 186010 HAS SOPS 186010 HAS SOUS 162422 HAS SOUPS 162422 WITH SCORE 162608.01
AT ITER 2535 NEW BEST:: SOT 411335 SOS 185932 HAS SOPS 185932 HAS SOUS 162029 HAS SOUPS 162029 WITH SCORE 162214.932
AT ITER 2541 NEW BEST:: SOT 411342 SOS 185981 HAS SOPS 185981 HAS SOUS 162014 HAS SOUPS 162014 WITH SCORE 162199.981
AT ITER 2563 NEW BEST:: SOT 411171 SOS 185705 HAS SOPS 185705 HAS SOUS 161837 HAS SOUPS 161837 WITH SCORE 162022.705
AT ITER 2568 NEW BEST:: SOT 411156 SOS 185705 HAS SOPS 185705 HAS SOUS 161758 HAS SOUPS 161758 WITH SCORE 161943.705
AT ITER 2569 NEW BEST:: SOT 411078 SOS 185496 HAS SOPS 185496 HAS SOUS 161518 HAS SOUPS 161518 WITH SCORE 161703.496
AT ITER 2578 NEW BEST:: SOT 411091 SOS 185522 HAS SOPS 185522 HAS SOUS 161512 HAS SOUPS 161512 WITH SCORE 161697.522
AT ITER 2582 NEW BEST:: SOT 411043 SOS 185559 HAS SOPS 185559 HAS SOUS 161482 HAS SOUPS 161482 WITH SCORE 161667.559
AT ITER 2585 NEW BEST:: SOT 410942 SOS 185404 HAS SOPS 185404 HAS SOUS 161343 HAS SOUPS 161343 WITH SCORE 161528.404
AT ITER 2595 NEW BEST:: SOT 410866 SOS 185375 HAS SOPS 185375 HAS SOUS 161290 HAS SOUPS 161290 WITH SCORE 161475.375
AT ITER 2606 NEW BEST:: SOT 410827 SOS 185145 HAS SOPS 185145 HAS SOUS 161015 HAS SOUPS 161015 WITH SCORE 161200.145
AT ITER 2613 NEW BEST:: SOT 410827 SOS 184655 HAS SOPS 184655 HAS SOUS 160854 HAS SOUPS 160854 WITH SCORE 161038.655
AT ITER 2626 NEW BEST:: SOT 410595 SOS 184423 HAS SOPS 184423 HAS SOUS 160622 HAS SOUPS 160622 WITH SCORE 160806.423
AT ITER 2631 NEW BEST:: SOT 410500 SOS 184306 HAS SOPS 184306 HAS SOUS 160505 HAS SOUPS 160505 WITH SCORE 160689.306
AT ITER 2634 NEW BEST:: SOT 410487 SOS 184298 HAS SOPS 184298 HAS SOUS 160445 HAS SOUPS 160445 WITH SCORE 160629.298
AT ITER 2639 NEW BEST:: SOT 410371 SOS 184102 HAS SOPS 184102 HAS SOUS 160249 HAS SOUPS 160249 WITH SCORE 160433.102
AT ITER 2642 NEW BEST:: SOT 410365 SOS 184078 HAS SOPS 184078 HAS SOUS 160231 HAS SOUPS 160231 WITH SCORE 160415.078
AT ITER 2644 NEW BEST:: SOT 410323 SOS 184015 HAS SOPS 184015 HAS SOUS 160147 HAS SOUPS 160147 WITH SCORE 160331.015
AT ITER 2646 NEW BEST:: SOT 410310 SOS 183927 HAS SOPS 183927 HAS SOUS 160138 HAS SOUPS 160138 WITH SCORE 160321.927
AT ITER 2654 NEW BEST:: SOT 410309 SOS 183924 HAS SOPS 183924 HAS SOUS 160136 HAS SOUPS 160136 WITH SCORE 160319.924
AT ITER 2674 NEW BEST:: SOT 410287 SOS 183814 HAS SOPS 183814 HAS SOUS 160092 HAS SOUPS 160092 WITH SCORE 160275.814
AT ITER 2675 NEW BEST:: SOT 410175 SOS 183597 HAS SOPS 183597 HAS SOUS 159865 HAS SOUPS 159865 WITH SCORE 160048.597
AT ITER 2682 NEW BEST:: SOT 410056 SOS 183413 HAS SOPS 183413 HAS SOUS 159753 HAS SOUPS 159753 WITH SCORE 159936.413
AT ITER 2685 NEW BEST:: SOT 410041 SOS 183383 HAS SOPS 183383 HAS SOUS 159728 HAS SOUPS 159728 WITH SCORE 159911.383
AT ITER 2691 NEW BEST:: SOT 410013 SOS 183247 HAS SOPS 183247 HAS SOUS 159676 HAS SOUPS 159676 WITH SCORE 159859.247
AT ITER 2696 NEW BEST:: SOT 410051 SOS 183239 HAS SOPS 183239 HAS SOUS 159668 HAS SOUPS 159668 WITH SCORE 159851.239
AT ITER 2707 NEW BEST:: SOT 409915 SOS 183063 HAS SOPS 183063 HAS SOUS 159480 HAS SOUPS 159480 WITH SCORE 159663.063
AT ITER 2709 NEW BEST:: SOT 409608 SOS 182600 HAS SOPS 182600 HAS SOUS 159084 HAS SOUPS 159084 WITH SCORE 159266.6
AT ITER 2712 NEW BEST:: SOT 409722 SOS 182717 HAS SOPS 182717 HAS SOUS 159004 HAS SOUPS 159004 WITH SCORE 159186.717
AT ITER 2719 NEW BEST:: SOT 409714 SOS 182691 HAS SOPS 182691 HAS SOUS 158988 HAS SOUPS 158988 WITH SCORE 159170.691
AT ITER 2738 NEW BEST:: SOT 409714 SOS 182676 HAS SOPS 182676 HAS SOUS 158987 HAS SOUPS 158987 WITH SCORE 159169.676
AT ITER 2740 NEW BEST:: SOT 409699 SOS 182635 HAS SOPS 182635 HAS SOUS 158972 HAS SOUPS 158972 WITH SCORE 159154.635
AT ITER 2746 NEW BEST:: SOT 409495 SOS 182295 HAS SOPS 182295 HAS SOUS 158632 HAS SOUPS 158632 WITH SCORE 158814.295
AT ITER 2760 NEW BEST:: SOT 409063 SOS 181729 HAS SOPS 181729 HAS SOUS 158088 HAS SOUPS 158088 WITH SCORE 158269.729
AT ITER 2761 NEW BEST:: SOT 409063 SOS 181377 HAS SOPS 181377 HAS SOUS 157856 HAS SOUPS 157856 WITH SCORE 158037.377
AT ITER 2771 NEW BEST:: SOT 409024 SOS 181338 HAS SOPS 181338 HAS SOUS 157817 HAS SOUPS 157817 WITH SCORE 157998.338
AT ITER 2772 NEW BEST:: SOT 408888 SOS 181106 HAS SOPS 181106 HAS SOUS 157613 HAS SOUPS 157613 WITH SCORE 157794.106
AT ITER 2785 NEW BEST:: SOT 408602 SOS 180706 HAS SOPS 180706 HAS SOUS 157220 HAS SOUPS 157220 WITH SCORE 157400.706
AT ITER 2817 NEW BEST:: SOT 408403 SOS 180205 HAS SOPS 180205 HAS SOUS 156927 HAS SOUPS 156927 WITH SCORE 157107.205
AT ITER 2819 NEW BEST:: SOT 408307 SOS 180013 HAS SOPS 180013 HAS SOUS 156835 HAS SOUPS 156835 WITH SCORE 157015.013
AT ITER 2836 NEW BEST:: SOT 408157 SOS 179576 HAS SOPS 179576 HAS SOUS 156822 HAS SOUPS 156822 WITH SCORE 157001.576
AT ITER 2847 NEW BEST:: SOT 408129 SOS 179548 HAS SOPS 179548 HAS SOUS 156794 HAS SOUPS 156794 WITH SCORE 156973.548
AT ITER 2859 NEW BEST:: SOT 408114 SOS 179528 HAS SOPS 179528 HAS SOUS 156774 HAS SOUPS 156774 WITH SCORE 156953.528
AT ITER 2864 NEW BEST:: SOT 408120 SOS 179468 HAS SOPS 179468 HAS SOUS 156596 HAS SOUPS 156596 WITH SCORE 156775.468
AT ITER 2866 NEW BEST:: SOT 408120 SOS 179468 HAS SOPS 179468 HAS SOUS 156593 HAS SOUPS 156593 WITH SCORE 156772.468
AT ITER 2871 NEW BEST:: SOT 408112 SOS 179428 HAS SOPS 179428 HAS SOUS 156577 HAS SOUPS 156577 WITH SCORE 156756.428
AT ITER 2872 NEW BEST:: SOT 408098 SOS 179398 HAS SOPS 179398 HAS SOUS 156547 HAS SOUPS 156547 WITH SCORE 156726.398
AT ITER 2876 NEW BEST:: SOT 407878 SOS 178788 HAS SOPS 178788 HAS SOUS 156242 HAS SOUPS 156242 WITH SCORE 156420.788
AT ITER 2889 NEW BEST:: SOT 407868 SOS 178738 HAS SOPS 178738 HAS SOUS 156222 HAS SOUPS 156222 WITH SCORE 156400.738
AT ITER 2894 NEW BEST:: SOT 407751 SOS 178504 HAS SOPS 178504 HAS SOUS 156024 HAS SOUPS 156024 WITH SCORE 156202.504
AT ITER 2895 NEW BEST:: SOT 407751 SOS 178504 HAS SOPS 178504 HAS SOUS 156002 HAS SOUPS 156002 WITH SCORE 156180.504
AT ITER 2897 NEW BEST:: SOT 407743 SOS 178471 HAS SOPS 178471 HAS SOUS 155930 HAS SOUPS 155930 WITH SCORE 156108.471
AT ITER 2903 NEW BEST:: SOT 407743 SOS 178501 HAS SOPS 178501 HAS SOUS 155839 HAS SOUPS 155839 WITH SCORE 156017.501
AT ITER 2907 NEW BEST:: SOT 407743 SOS 178428 HAS SOPS 178428 HAS SOUS 155752 HAS SOUPS 155752 WITH SCORE 155930.428
AT ITER 2917 NEW BEST:: SOT 407743 SOS 178428 HAS SOPS 178428 HAS SOUS 155699 HAS SOUPS 155699 WITH SCORE 155877.428
AT ITER 2922 NEW BEST:: SOT 407697 SOS 178336 HAS SOPS 178336 HAS SOUS 155630 HAS SOUPS 155630 WITH SCORE 155808.336
AT ITER 2925 NEW BEST:: SOT 407673 SOS 178312 HAS SOPS 178312 HAS SOUS 155606 HAS SOUPS 155606 WITH SCORE 155784.312
AT ITER 2941 NEW BEST:: SOT 407634 SOS 178222 HAS SOPS 178222 HAS SOUS 155547 HAS SOUPS 155547 WITH SCORE 155725.222
AT ITER 2944 NEW BEST:: SOT 407573 SOS 178095 HAS SOPS 178095 HAS SOUS 155420 HAS SOUPS 155420 WITH SCORE 155598.095
AT ITER 2948 NEW BEST:: SOT 407423 SOS 177345 HAS SOPS 177345 HAS SOUS 154970 HAS SOUPS 154970 WITH SCORE 155147.345
AT ITER 2951 NEW BEST:: SOT 407402 SOS 177317 HAS SOPS 177317 HAS SOUS 154942 HAS SOUPS 154942 WITH SCORE 155119.317
AT ITER 2960 NEW BEST:: SOT 407406 SOS 177310 HAS SOPS 177310 HAS SOUS 154935 HAS SOUPS 154935 WITH SCORE 155112.31
AT ITER 2962 NEW BEST:: SOT 407412 SOS 177113 HAS SOPS 177113 HAS SOUS 154771 HAS SOUPS 154771 WITH SCORE 154948.113
AT ITER 2971 NEW BEST:: SOT 407421 SOS 177094 HAS SOPS 177094 HAS SOUS 154605 HAS SOUPS 154605 WITH SCORE 154782.094
AT ITER 2986 NEW BEST:: SOT 407376 SOS 177004 HAS SOPS 177004 HAS SOUS 154521 HAS SOUPS 154521 WITH SCORE 154698.004
AT ITER 2994 NEW BEST:: SOT 407352 SOS 176956 HAS SOPS 176956 HAS SOUS 154465 HAS SOUPS 154465 WITH SCORE 154641.956
AT ITER 3022 NEW BEST:: SOT 407329 SOS 176913 HAS SOPS 176913 HAS SOUS 154422 HAS SOUPS 154422 WITH SCORE 154598.913
AT ITER 3023 NEW BEST:: SOT 407338 SOS 176567 HAS SOPS 176567 HAS SOUS 154075 HAS SOUPS 154075 WITH SCORE 154251.567
AT ITER 3025 NEW BEST:: SOT 407221 SOS 176412 HAS SOPS 176412 HAS SOUS 153986 HAS SOUPS 153986 WITH SCORE 154162.412
AT ITER 3032 NEW BEST:: SOT 407177 SOS 176368 HAS SOPS 176368 HAS SOUS 153942 HAS SOUPS 153942 WITH SCORE 154118.368
AT ITER 3036 NEW BEST:: SOT 406763 SOS 176328 HAS SOPS 176328 HAS SOUS 153831 HAS SOUPS 153831 WITH SCORE 154007.328
AT ITER 3038 NEW BEST:: SOT 406565 SOS 176102 HAS SOPS 176102 HAS SOUS 153610 HAS SOUPS 153610 WITH SCORE 153786.102
AT ITER 3046 NEW BEST:: SOT 406577 SOS 176658 HAS SOPS 176658 HAS SOUS 153400 HAS SOUPS 153400 WITH SCORE 153576.658
AT ITER 3048 NEW BEST:: SOT 406401 SOS 175802 HAS SOPS 175802 HAS SOUS 152898 HAS SOUPS 152898 WITH SCORE 153073.802
AT ITER 3055 NEW BEST:: SOT 406289 SOS 175168 HAS SOPS 175168 HAS SOUS 152364 HAS SOUPS 152364 WITH SCORE 152539.168
AT ITER 3056 NEW BEST:: SOT 406316 SOS 175115 HAS SOPS 175115 HAS SOUS 152339 HAS SOUPS 152339 WITH SCORE 152514.115
AT ITER 3057 NEW BEST:: SOT 406220 SOS 174987 HAS SOPS 174987 HAS SOUS 152311 HAS SOUPS 152311 WITH SCORE 152485.987
AT ITER 3083 NEW BEST:: SOT 406163 SOS 174939 HAS SOPS 174939 HAS SOUS 152296 HAS SOUPS 152296 WITH SCORE 152470.939
AT ITER 3086 NEW BEST:: SOT 406092 SOS 174844 HAS SOPS 174844 HAS SOUS 152201 HAS SOUPS 152201 WITH SCORE 152375.844
AT ITER 3087 NEW BEST:: SOT 406092 SOS 174799 HAS SOPS 174799 HAS SOUS 152156 HAS SOUPS 152156 WITH SCORE 152330.799
AT ITER 3089 NEW BEST:: SOT 406047 SOS 174719 HAS SOPS 174719 HAS SOUS 152096 HAS SOUPS 152096 WITH SCORE 152270.719
AT ITER 3090 NEW BEST:: SOT 406028 SOS 174663 HAS SOPS 174663 HAS SOUS 152019 HAS SOUPS 152019 WITH SCORE 152193.663
AT ITER 3091 NEW BEST:: SOT 406028 SOS 174686 HAS SOPS 174686 HAS SOUS 151996 HAS SOUPS 151996 WITH SCORE 152170.686
AT ITER 3102 NEW BEST:: SOT 406158 SOS 174711 HAS SOPS 174711 HAS SOUS 151962 HAS SOUPS 151962 WITH SCORE 152136.711
AT ITER 3108 NEW BEST:: SOT 406139 SOS 174656 HAS SOPS 174656 HAS SOUS 151907 HAS SOUPS 151907 WITH SCORE 152081.656
AT ITER 3109 NEW BEST:: SOT 406139 SOS 174546 HAS SOPS 174546 HAS SOUS 151907 HAS SOUPS 151907 WITH SCORE 152081.546
AT ITER 3125 NEW BEST:: SOT 406098 SOS 174341 HAS SOPS 174341 HAS SOUS 151782 HAS SOUPS 151782 WITH SCORE 151956.341
AT ITER 3148 NEW BEST:: SOT 406095 SOS 174337 HAS SOPS 174337 HAS SOUS 151759 HAS SOUPS 151759 WITH SCORE 151933.337
AT ITER 3149 NEW BEST:: SOT 406023 SOS 174217 HAS SOPS 174217 HAS SOUS 151663 HAS SOUPS 151663 WITH SCORE 151837.217
AT ITER 3176 NEW BEST:: SOT 405954 SOS 174046 HAS SOPS 174046 HAS SOUS 151435 HAS SOUPS 151435 WITH SCORE 151609.046
AT ITER 3182 NEW BEST:: SOT 405954 SOS 173990 HAS SOPS 173990 HAS SOUS 151379 HAS SOUPS 151379 WITH SCORE 151552.99
AT ITER 3185 NEW BEST:: SOT 405948 SOS 174021 HAS SOPS 174021 HAS SOUS 151370 HAS SOUPS 151370 WITH SCORE 151544.021
AT ITER 3201 NEW BEST:: SOT 405888 SOS 173887 HAS SOPS 173887 HAS SOUS 151266 HAS SOUPS 151266 WITH SCORE 151439.887
AT ITER 3211 NEW BEST:: SOT 405888 SOS 173887 HAS SOPS 173887 HAS SOUS 151260 HAS SOUPS 151260 WITH SCORE 151433.887
AT ITER 3212 NEW BEST:: SOT 405830 SOS 173718 HAS SOPS 173718 HAS SOUS 151177 HAS SOUPS 151177 WITH SCORE 151350.718
AT ITER 3213 NEW BEST:: SOT 405830 SOS 173691 HAS SOPS 173691 HAS SOUS 151150 HAS SOUPS 151150 WITH SCORE 151323.691
AT ITER 3217 NEW BEST:: SOT 405744 SOS 173488 HAS SOPS 173488 HAS SOUS 151053 HAS SOUPS 151053 WITH SCORE 151226.488
AT ITER 3229 NEW BEST:: SOT 405384 SOS 172957 HAS SOPS 172957 HAS SOUS 150514 HAS SOUPS 150514 WITH SCORE 150686.957
AT ITER 3236 NEW BEST:: SOT 405338 SOS 173066 HAS SOPS 173066 HAS SOUS 150408 HAS SOUPS 150408 WITH SCORE 150581.066
AT ITER 3241 NEW BEST:: SOT 405338 SOS 173066 HAS SOPS 173066 HAS SOUS 150399 HAS SOUPS 150399 WITH SCORE 150572.066
AT ITER 3252 NEW BEST:: SOT 405276 SOS 172819 HAS SOPS 172819 HAS SOUS 150235 HAS SOUPS 150235 WITH SCORE 150407.819
AT ITER 3253 NEW BEST:: SOT 405204 SOS 172747 HAS SOPS 172747 HAS SOUS 150163 HAS SOUPS 150163 WITH SCORE 150335.747
AT ITER 3259 NEW BEST:: SOT 405143 SOS 172686 HAS SOPS 172686 HAS SOUS 150130 HAS SOUPS 150130 WITH SCORE 150302.686
AT ITER 3260 NEW BEST:: SOT 405143 SOS 172487 HAS SOPS 172487 HAS SOUS 149919 HAS SOUPS 149919 WITH SCORE 150091.487
AT ITER 3270 NEW BEST:: SOT 405102 SOS 172392 HAS SOPS 172392 HAS SOUS 149824 HAS SOUPS 149824 WITH SCORE 149996.392
AT ITER 3273 NEW BEST:: SOT 404874 SOS 171564 HAS SOPS 171564 HAS SOUS 149287 HAS SOUPS 149287 WITH SCORE 149458.564
AT ITER 3276 NEW BEST:: SOT 404874 SOS 171469 HAS SOPS 171469 HAS SOUS 149287 HAS SOUPS 149287 WITH SCORE 149458.469
AT ITER 3284 NEW BEST:: SOT 404874 SOS 171469 HAS SOPS 171469 HAS SOUS 149283 HAS SOUPS 149283 WITH SCORE 149454.469
AT ITER 3296 NEW BEST:: SOT 404830 SOS 171403 HAS SOPS 171403 HAS SOUS 149217 HAS SOUPS 149217 WITH SCORE 149388.403
AT ITER 3302 NEW BEST:: SOT 404737 SOS 171098 HAS SOPS 171098 HAS SOUS 148972 HAS SOUPS 148972 WITH SCORE 149143.098
AT ITER 3313 NEW BEST:: SOT 404503 SOS 170790 HAS SOPS 170790 HAS SOUS 148496 HAS SOUPS 148496 WITH SCORE 148666.79
AT ITER 3314 NEW BEST:: SOT 404295 SOS 170478 HAS SOPS 170478 HAS SOUS 148259 HAS SOUPS 148259 WITH SCORE 148429.478
AT ITER 3315 NEW BEST:: SOT 404270 SOS 170453 HAS SOPS 170453 HAS SOUS 148234 HAS SOUPS 148234 WITH SCORE 148404.453
AT ITER 3320 NEW BEST:: SOT 404260 SOS 170207 HAS SOPS 170207 HAS SOUS 148191 HAS SOUPS 148191 WITH SCORE 148361.207
AT ITER 3350 NEW BEST:: SOT 404259 SOS 170204 HAS SOPS 170204 HAS SOUS 148189 HAS SOUPS 148189 WITH SCORE 148359.204
AT ITER 3360 NEW BEST:: SOT 404226 SOS 170018 HAS SOPS 170018 HAS SOUS 148186 HAS SOUPS 148186 WITH SCORE 148356.018
AT ITER 3363 NEW BEST:: SOT 404108 SOS 169685 HAS SOPS 169685 HAS SOUS 147903 HAS SOUPS 147903 WITH SCORE 148072.685
AT ITER 3375 NEW BEST:: SOT 404030 SOS 169681 HAS SOPS 169681 HAS SOUS 147858 HAS SOUPS 147858 WITH SCORE 148027.681
AT ITER 3376 NEW BEST:: SOT 403985 SOS 169606 HAS SOPS 169606 HAS SOUS 147813 HAS SOUPS 147813 WITH SCORE 147982.606
AT ITER 3378 NEW BEST:: SOT 403933 SOS 169517 HAS SOPS 169517 HAS SOUS 147702 HAS SOUPS 147702 WITH SCORE 147871.517
AT ITER 3396 NEW BEST:: SOT 403824 SOS 169275 HAS SOPS 169275 HAS SOUS 147522 HAS SOUPS 147522 WITH SCORE 147691.275
AT ITER 3397 NEW BEST:: SOT 403824 SOS 169259 HAS SOPS 169259 HAS SOUS 147522 HAS SOUPS 147522 WITH SCORE 147691.259
AT ITER 3416 NEW BEST:: SOT 403825 SOS 169227 HAS SOPS 169227 HAS SOUS 147478 HAS SOUPS 147478 WITH SCORE 147647.227
AT ITER 3418 NEW BEST:: SOT 403760 SOS 169139 HAS SOPS 169139 HAS SOUS 147436 HAS SOUPS 147436 WITH SCORE 147605.139
AT ITER 3421 NEW BEST:: SOT 403754 SOS 169121 HAS SOPS 169121 HAS SOUS 147426 HAS SOUPS 147426 WITH SCORE 147595.121
AT ITER 3427 NEW BEST:: SOT 403715 SOS 168926 HAS SOPS 168926 HAS SOUS 147300 HAS SOUPS 147300 WITH SCORE 147468.926
AT ITER 3428 NEW BEST:: SOT 403608 SOS 168819 HAS SOPS 168819 HAS SOUS 147160 HAS SOUPS 147160 WITH SCORE 147328.819
AT ITER 3432 NEW BEST:: SOT 403677 SOS 168799 HAS SOPS 168799 HAS SOUS 147140 HAS SOUPS 147140 WITH SCORE 147308.799
AT ITER 3445 NEW BEST:: SOT 403643 SOS 168768 HAS SOPS 168768 HAS SOUS 147109 HAS SOUPS 147109 WITH SCORE 147277.768
AT ITER 3447 NEW BEST:: SOT 403591 SOS 168716 HAS SOPS 168716 HAS SOUS 147027 HAS SOUPS 147027 WITH SCORE 147195.716
AT ITER 3464 NEW BEST:: SOT 403570 SOS 168681 HAS SOPS 168681 HAS SOUS 146999 HAS SOUPS 146999 WITH SCORE 147167.681
AT ITER 3470 NEW BEST:: SOT 402871 SOS 167982 HAS SOPS 167982 HAS SOUS 146081 HAS SOUPS 146081 WITH SCORE 146248.982
AT ITER 3475 NEW BEST:: SOT 402601 SOS 167302 HAS SOPS 167302 HAS SOUS 145663 HAS SOUPS 145663 WITH SCORE 145830.302
AT ITER 3477 NEW BEST:: SOT 402437 SOS 166810 HAS SOPS 166810 HAS SOUS 145499 HAS SOUPS 145499 WITH SCORE 145665.81
AT ITER 3486 NEW BEST:: SOT 402419 SOS 166729 HAS SOPS 166729 HAS SOUS 145463 HAS SOUPS 145463 WITH SCORE 145629.729
AT ITER 3490 NEW BEST:: SOT 402347 SOS 166665 HAS SOPS 166665 HAS SOUS 145319 HAS SOUPS 145319 WITH SCORE 145485.665
AT ITER 3500 NEW BEST:: SOT 402174 SOS 166176 HAS SOPS 166176 HAS SOUS 145003 HAS SOUPS 145003 WITH SCORE 145169.176
AT ITER 3518 NEW BEST:: SOT 402129 SOS 166172 HAS SOPS 166172 HAS SOUS 144999 HAS SOUPS 144999 WITH SCORE 145165.172
AT ITER 3522 NEW BEST:: SOT 402086 SOS 165957 HAS SOPS 165957 HAS SOUS 144831 HAS SOUPS 144831 WITH SCORE 144996.957
AT ITER 3540 NEW BEST:: SOT 402074 SOS 165921 HAS SOPS 165921 HAS SOUS 144807 HAS SOUPS 144807 WITH SCORE 144972.921
AT ITER 3550 NEW BEST:: SOT 401617 SOS 165270 HAS SOPS 165270 HAS SOUS 144140 HAS SOUPS 144140 WITH SCORE 144305.27
AT ITER 3551 NEW BEST:: SOT 401621 SOS 165370 HAS SOPS 165370 HAS SOUS 144096 HAS SOUPS 144096 WITH SCORE 144261.37
AT ITER 3558 NEW BEST:: SOT 401521 SOS 165203 HAS SOPS 165203 HAS SOUS 143738 HAS SOUPS 143738 WITH SCORE 143903.203
AT ITER 3561 NEW BEST:: SOT 401382 SOS 164889 HAS SOPS 164889 HAS SOUS 143426 HAS SOUPS 143426 WITH SCORE 143590.889
AT ITER 3563 NEW BEST:: SOT 401220 SOS 164542 HAS SOPS 164542 HAS SOUS 143144 HAS SOUPS 143144 WITH SCORE 143308.542
AT ITER 3567 NEW BEST:: SOT 401150 SOS 164437 HAS SOPS 164437 HAS SOUS 143039 HAS SOUPS 143039 WITH SCORE 143203.437
AT ITER 3598 NEW BEST:: SOT 401138 SOS 164419 HAS SOPS 164419 HAS SOUS 143027 HAS SOUPS 143027 WITH SCORE 143191.419
AT ITER 3603 NEW BEST:: SOT 401034 SOS 164202 HAS SOPS 164202 HAS SOUS 142914 HAS SOUPS 142914 WITH SCORE 143078.202
AT ITER 3617 NEW BEST:: SOT 400811 SOS 163624 HAS SOPS 163624 HAS SOUS 142549 HAS SOUPS 142549 WITH SCORE 142712.624
AT ITER 3629 NEW BEST:: SOT 400781 SOS 163504 HAS SOPS 163504 HAS SOUS 142489 HAS SOUPS 142489 WITH SCORE 142652.504
AT ITER 3644 NEW BEST:: SOT 400657 SOS 163380 HAS SOPS 163380 HAS SOUS 142365 HAS SOUPS 142365 WITH SCORE 142528.38
AT ITER 3655 NEW BEST:: SOT 400559 SOS 163202 HAS SOPS 163202 HAS SOUS 142187 HAS SOUPS 142187 WITH SCORE 142350.202
AT ITER 3659 NEW BEST:: SOT 400585 SOS 163219 HAS SOPS 163219 HAS SOUS 142128 HAS SOUPS 142128 WITH SCORE 142291.219
AT ITER 3672 NEW BEST:: SOT 400480 SOS 162932 HAS SOPS 162932 HAS SOUS 141826 HAS SOUPS 141826 WITH SCORE 141988.932
AT ITER 3682 NEW BEST:: SOT 400404 SOS 162742 HAS SOPS 162742 HAS SOUS 141674 HAS SOUPS 141674 WITH SCORE 141836.742
AT ITER 3692 NEW BEST:: SOT 400366 SOS 162704 HAS SOPS 162704 HAS SOUS 141636 HAS SOUPS 141636 WITH SCORE 141798.704
AT ITER 3702 NEW BEST:: SOT 400329 SOS 162667 HAS SOPS 162667 HAS SOUS 141564 HAS SOUPS 141564 WITH SCORE 141726.667
AT ITER 3704 NEW BEST:: SOT 400301 SOS 162625 HAS SOPS 162625 HAS SOUS 141522 HAS SOUPS 141522 WITH SCORE 141684.625
AT ITER 3708 NEW BEST:: SOT 400298 SOS 162618 HAS SOPS 162618 HAS SOUS 141513 HAS SOUPS 141513 WITH SCORE 141675.618
AT ITER 3715 NEW BEST:: SOT 400286 SOS 162593 HAS SOPS 162593 HAS SOUS 141488 HAS SOUPS 141488 WITH SCORE 141650.593
AT ITER 3727 NEW BEST:: SOT 400223 SOS 162530 HAS SOPS 162530 HAS SOUS 141333 HAS SOUPS 141333 WITH SCORE 141495.53
AT ITER 3728 NEW BEST:: SOT 400119 SOS 162437 HAS SOPS 162437 HAS SOUS 141205 HAS SOUPS 141205 WITH SCORE 141367.437
AT ITER 3736 NEW BEST:: SOT 400109 SOS 162422 HAS SOPS 162422 HAS SOUS 141185 HAS SOUPS 141185 WITH SCORE 141347.422
AT ITER 3737 NEW BEST:: SOT 399858 SOS 161879 HAS SOPS 161879 HAS SOUS 140772 HAS SOUPS 140772 WITH SCORE 140933.879
AT ITER 3738 NEW BEST:: SOT 399852 SOS 161873 HAS SOPS 161873 HAS SOUS 140766 HAS SOUPS 140766 WITH SCORE 140927.873
AT ITER 3756 NEW BEST:: SOT 399819 SOS 161808 HAS SOPS 161808 HAS SOUS 140702 HAS SOUPS 140702 WITH SCORE 140863.808
AT ITER 3760 NEW BEST:: SOT 399688 SOS 161635 HAS SOPS 161635 HAS SOUS 140529 HAS SOUPS 140529 WITH SCORE 140690.635
AT ITER 3772 NEW BEST:: SOT 399688 SOS 161499 HAS SOPS 161499 HAS SOUS 140500 HAS SOUPS 140500 WITH SCORE 140661.499
AT ITER 3775 NEW BEST:: SOT 399620 SOS 161293 HAS SOPS 161293 HAS SOUS 140403 HAS SOUPS 140403 WITH SCORE 140564.293
AT ITER 3791 NEW BEST:: SOT 399617 SOS 161290 HAS SOPS 161290 HAS SOUS 140397 HAS SOUPS 140397 WITH SCORE 140558.29
AT ITER 3805 NEW BEST:: SOT 399331 SOS 160939 HAS SOPS 160939 HAS SOUS 140046 HAS SOUPS 140046 WITH SCORE 140206.939
AT ITER 3807 NEW BEST:: SOT 399136 SOS 160604 HAS SOPS 160604 HAS SOUS 139722 HAS SOUPS 139722 WITH SCORE 139882.604
AT ITER 3838 NEW BEST:: SOT 399050 SOS 160396 HAS SOPS 160396 HAS SOUS 139469 HAS SOUPS 139469 WITH SCORE 139629.396
AT ITER 3848 NEW BEST:: SOT 398835 SOS 159749 HAS SOPS 159749 HAS SOUS 139171 HAS SOUPS 139171 WITH SCORE 139330.749
AT ITER 3858 NEW BEST:: SOT 398736 SOS 159664 HAS SOPS 159664 HAS SOUS 139007 HAS SOUPS 139007 WITH SCORE 139166.664
AT ITER 3867 NEW BEST:: SOT 398742 SOS 159660 HAS SOPS 159660 HAS SOUS 139003 HAS SOUPS 139003 WITH SCORE 139162.66
AT ITER 3873 NEW BEST:: SOT 398668 SOS 159548 HAS SOPS 159548 HAS SOUS 138906 HAS SOUPS 138906 WITH SCORE 139065.548
AT ITER 3880 NEW BEST:: SOT 398662 SOS 159446 HAS SOPS 159446 HAS SOUS 138900 HAS SOUPS 138900 WITH SCORE 139059.446
AT ITER 3885 NEW BEST:: SOT 398627 SOS 159306 HAS SOPS 159306 HAS SOUS 138824 HAS SOUPS 138824 WITH SCORE 138983.306
AT ITER 3892 NEW BEST:: SOT 398537 SOS 159216 HAS SOPS 159216 HAS SOUS 138734 HAS SOUPS 138734 WITH SCORE 138893.216
AT ITER 3893 NEW BEST:: SOT 398469 SOS 159132 HAS SOPS 159132 HAS SOUS 138634 HAS SOUPS 138634 WITH SCORE 138793.132
AT ITER 3899 NEW BEST:: SOT 398430 SOS 159080 HAS SOPS 159080 HAS SOUS 138582 HAS SOUPS 138582 WITH SCORE 138741.08
AT ITER 3904 NEW BEST:: SOT 398222 SOS 158511 HAS SOPS 158511 HAS SOUS 138109 HAS SOUPS 138109 WITH SCORE 138267.511
AT ITER 3905 NEW BEST:: SOT 398222 SOS 158491 HAS SOPS 158491 HAS SOUS 138109 HAS SOUPS 138109 WITH SCORE 138267.491
AT ITER 3912 NEW BEST:: SOT 398206 SOS 158475 HAS SOPS 158475 HAS SOUS 138093 HAS SOUPS 138093 WITH SCORE 138251.475
AT ITER 3923 NEW BEST:: SOT 397847 SOS 158090 HAS SOPS 158090 HAS SOUS 137637 HAS SOUPS 137637 WITH SCORE 137795.09
AT ITER 3930 NEW BEST:: SOT 397847 SOS 158042 HAS SOPS 158042 HAS SOUS 137621 HAS SOUPS 137621 WITH SCORE 137779.042
AT ITER 3936 NEW BEST:: SOT 397843 SOS 158038 HAS SOPS 158038 HAS SOUS 137617 HAS SOUPS 137617 WITH SCORE 137775.038
AT ITER 3942 NEW BEST:: SOT 397835 SOS 158030 HAS SOPS 158030 HAS SOUS 137609 HAS SOUPS 137609 WITH SCORE 137767.03
AT ITER 3953 NEW BEST:: SOT 397804 SOS 157979 HAS SOPS 157979 HAS SOUS 137558 HAS SOUPS 137558 WITH SCORE 137715.979
AT ITER 3962 NEW BEST:: SOT 397781 SOS 158093 HAS SOPS 158093 HAS SOUS 137539 HAS SOUPS 137539 WITH SCORE 137697.093
AT ITER 3963 NEW BEST:: SOT 397724 SOS 157920 HAS SOPS 157920 HAS SOUS 137478 HAS SOUPS 137478 WITH SCORE 137635.92
AT ITER 3966 NEW BEST:: SOT 397712 SOS 157909 HAS SOPS 157909 HAS SOUS 137467 HAS SOUPS 137467 WITH SCORE 137624.909
AT ITER 3968 NEW BEST:: SOT 397558 SOS 157845 HAS SOPS 157845 HAS SOUS 137173 HAS SOUPS 137173 WITH SCORE 137330.845
AT ITER 3973 NEW BEST:: SOT 397112 SOS 157312 HAS SOPS 157312 HAS SOUS 136604 HAS SOUPS 136604 WITH SCORE 136761.312
AT ITER 3976 NEW BEST:: SOT 397106 SOS 157278 HAS SOPS 157278 HAS SOUS 136586 HAS SOUPS 136586 WITH SCORE 136743.278
AT ITER 3990 NEW BEST:: SOT 397030 SOS 157202 HAS SOPS 157202 HAS SOUS 136510 HAS SOUPS 136510 WITH SCORE 136667.202
AT ITER 3993 NEW BEST:: SOT 397009 SOS 157003 HAS SOPS 157003 HAS SOUS 136472 HAS SOUPS 136472 WITH SCORE 136629.003
AT ITER 4000 NEW BEST:: SOT 396945 SOS 156840 HAS SOPS 156840 HAS SOUS 136448 HAS SOUPS 136448 WITH SCORE 136604.84
AT ITER 4033 NEW BEST:: SOT 396927 SOS 156816 HAS SOPS 156816 HAS SOUS 136424 HAS SOUPS 136424 WITH SCORE 136580.816
AT ITER 4039 NEW BEST:: SOT 396921 SOS 156807 HAS SOPS 156807 HAS SOUS 136415 HAS SOUPS 136415 WITH SCORE 136571.807
AT ITER 4044 NEW BEST:: SOT 396921 SOS 156533 HAS SOPS 156533 HAS SOUS 136283 HAS SOUPS 136283 WITH SCORE 136439.533
AT ITER 4050 NEW BEST:: SOT 396921 SOS 156497 HAS SOPS 156497 HAS SOUS 136247 HAS SOUPS 136247 WITH SCORE 136403.497
AT ITER 4051 NEW BEST:: SOT 396921 SOS 156413 HAS SOPS 156413 HAS SOUS 136223 HAS SOUPS 136223 WITH SCORE 136379.413
AT ITER 4063 NEW BEST:: SOT 396895 SOS 156387 HAS SOPS 156387 HAS SOUS 136197 HAS SOUPS 136197 WITH SCORE 136353.387
AT ITER 4065 NEW BEST:: SOT 396895 SOS 156387 HAS SOPS 156387 HAS SOUS 136189 HAS SOUPS 136189 WITH SCORE 136345.387
AT ITER 4075 NEW BEST:: SOT 396785 SOS 156150 HAS SOPS 156150 HAS SOUS 136029 HAS SOUPS 136029 WITH SCORE 136185.15
AT ITER 4083 NEW BEST:: SOT 396756 SOS 156175 HAS SOPS 156175 HAS SOUS 135986 HAS SOUPS 135986 WITH SCORE 136142.175
AT ITER 4090 NEW BEST:: SOT 396754 SOS 156173 HAS SOPS 156173 HAS SOUS 135984 HAS SOUPS 135984 WITH SCORE 136140.173
AT ITER 4097 NEW BEST:: SOT 396754 SOS 156173 HAS SOPS 156173 HAS SOUS 135945 HAS SOUPS 135945 WITH SCORE 136101.173
AT ITER 4103 NEW BEST:: SOT 396687 SOS 156018 HAS SOPS 156018 HAS SOUS 135828 HAS SOUPS 135828 WITH SCORE 135984.018
AT ITER 4113 NEW BEST:: SOT 396626 SOS 155835 HAS SOPS 155835 HAS SOUS 135706 HAS SOUPS 135706 WITH SCORE 135861.835
AT ITER 4130 NEW BEST:: SOT 396505 SOS 155663 HAS SOPS 155663 HAS SOUS 135534 HAS SOUPS 135534 WITH SCORE 135689.663
AT ITER 4137 NEW BEST:: SOT 396439 SOS 155502 HAS SOPS 155502 HAS SOUS 135436 HAS SOUPS 135436 WITH SCORE 135591.502
AT ITER 4171 NEW BEST:: SOT 396439 SOS 155502 HAS SOPS 155502 HAS SOUS 135424 HAS SOUPS 135424 WITH SCORE 135579.502
AT ITER 4200 NEW BEST:: SOT 396409 SOS 155442 HAS SOPS 155442 HAS SOUS 135364 HAS SOUPS 135364 WITH SCORE 135519.442
AT ITER 4210 NEW BEST:: SOT 396465 SOS 154885 HAS SOPS 154885 HAS SOUS 135093 HAS SOUPS 135093 WITH SCORE 135247.885
AT ITER 4216 NEW BEST:: SOT 396406 SOS 154704 HAS SOPS 154704 HAS SOUS 134915 HAS SOUPS 134915 WITH SCORE 135069.704
AT ITER 4217 NEW BEST:: SOT 396353 SOS 154651 HAS SOPS 154651 HAS SOUS 134862 HAS SOUPS 134862 WITH SCORE 135016.651
AT ITER 4221 NEW BEST:: SOT 396482 SOS 154453 HAS SOPS 154453 HAS SOUS 134690 HAS SOUPS 134690 WITH SCORE 134844.453
AT ITER 4246 NEW BEST:: SOT 396461 SOS 154425 HAS SOPS 154425 HAS SOUS 134662 HAS SOUPS 134662 WITH SCORE 134816.425
AT ITER 4261 NEW BEST:: SOT 396430 SOS 154415 HAS SOPS 154415 HAS SOUS 134652 HAS SOUPS 134652 WITH SCORE 134806.415
AT ITER 4262 NEW BEST:: SOT 396342 SOS 153954 HAS SOPS 153954 HAS SOUS 134357 HAS SOUPS 134357 WITH SCORE 134510.954
AT ITER 4263 NEW BEST:: SOT 396332 SOS 153914 HAS SOPS 153914 HAS SOUS 134327 HAS SOUPS 134327 WITH SCORE 134480.914
AT ITER 4273 NEW BEST:: SOT 396302 SOS 153855 HAS SOPS 153855 HAS SOUS 134268 HAS SOUPS 134268 WITH SCORE 134421.855
AT ITER 4281 NEW BEST:: SOT 396298 SOS 153849 HAS SOPS 153849 HAS SOUS 134262 HAS SOUPS 134262 WITH SCORE 134415.849
AT ITER 4297 NEW BEST:: SOT 396298 SOS 153849 HAS SOPS 153849 HAS SOUS 134239 HAS SOUPS 134239 WITH SCORE 134392.849
AT ITER 4298 NEW BEST:: SOT 396298 SOS 153837 HAS SOPS 153837 HAS SOUS 134227 HAS SOUPS 134227 WITH SCORE 134380.837
AT ITER 4304 NEW BEST:: SOT 396188 SOS 153727 HAS SOPS 153727 HAS SOUS 134110 HAS SOUPS 134110 WITH SCORE 134263.727
AT ITER 4306 NEW BEST:: SOT 395885 SOS 153313 HAS SOPS 153313 HAS SOUS 133708 HAS SOUPS 133708 WITH SCORE 133861.313
AT ITER 4322 NEW BEST:: SOT 395707 SOS 153094 HAS SOPS 153094 HAS SOUS 133489 HAS SOUPS 133489 WITH SCORE 133642.094
AT ITER 4337 NEW BEST:: SOT 395671 SOS 153040 HAS SOPS 153040 HAS SOUS 133435 HAS SOUPS 133435 WITH SCORE 133588.04
AT ITER 4353 NEW BEST:: SOT 395716 SOS 153027 HAS SOPS 153027 HAS SOUS 133422 HAS SOUPS 133422 WITH SCORE 133575.027
AT ITER 4356 NEW BEST:: SOT 395657 SOS 152968 HAS SOPS 152968 HAS SOUS 133363 HAS SOUPS 133363 WITH SCORE 133515.968
AT ITER 4369 NEW BEST:: SOT 395650 SOS 152922 HAS SOPS 152922 HAS SOUS 133330 HAS SOUPS 133330 WITH SCORE 133482.922
AT ITER 4371 NEW BEST:: SOT 395422 SOS 152618 HAS SOPS 152618 HAS SOUS 133102 HAS SOUPS 133102 WITH SCORE 133254.618
AT ITER 4381 NEW BEST:: SOT 395242 SOS 152438 HAS SOPS 152438 HAS SOUS 132918 HAS SOUPS 132918 WITH SCORE 133070.438
AT ITER 4408 NEW BEST:: SOT 395230 SOS 152413 HAS SOPS 152413 HAS SOUS 132893 HAS SOUPS 132893 WITH SCORE 133045.413
AT ITER 4414 NEW BEST:: SOT 395238 SOS 152416 HAS SOPS 152416 HAS SOUS 132891 HAS SOUPS 132891 WITH SCORE 133043.416
AT ITER 4446 NEW BEST:: SOT 395208 SOS 152376 HAS SOPS 152376 HAS SOUS 132851 HAS SOUPS 132851 WITH SCORE 133003.376
AT ITER 4455 NEW BEST:: SOT 395204 SOS 152368 HAS SOPS 152368 HAS SOUS 132843 HAS SOUPS 132843 WITH SCORE 132995.368
AT ITER 4482 NEW BEST:: SOT 395179 SOS 152262 HAS SOPS 152262 HAS SOUS 132774 HAS SOUPS 132774 WITH SCORE 132926.262
AT ITER 4488 NEW BEST:: SOT 395165 SOS 152220 HAS SOPS 152220 HAS SOUS 132753 HAS SOUPS 132753 WITH SCORE 132905.22
AT ITER 4489 NEW BEST:: SOT 395035 SOS 151985 HAS SOPS 151985 HAS SOUS 132590 HAS SOUPS 132590 WITH SCORE 132741.985
AT ITER 4499 NEW BEST:: SOT 394933 SOS 151815 HAS SOPS 151815 HAS SOUS 132420 HAS SOUPS 132420 WITH SCORE 132571.815
AT ITER 4500 NEW BEST:: SOT 394921 SOS 151793 HAS SOPS 151793 HAS SOUS 132404 HAS SOUPS 132404 WITH SCORE 132555.793
AT ITER 4508 NEW BEST:: SOT 394658 SOS 151210 HAS SOPS 151210 HAS SOUS 131947 HAS SOUPS 131947 WITH SCORE 132098.21
AT ITER 4547 NEW BEST:: SOT 394533 SOS 150905 HAS SOPS 150905 HAS SOUS 131760 HAS SOUPS 131760 WITH SCORE 131910.905
AT ITER 4553 NEW BEST:: SOT 394532 SOS 150902 HAS SOPS 150902 HAS SOUS 131758 HAS SOUPS 131758 WITH SCORE 131908.902
AT ITER 4555 NEW BEST:: SOT 394529 SOS 150899 HAS SOPS 150899 HAS SOUS 131755 HAS SOUPS 131755 WITH SCORE 131905.899
AT ITER 4565 NEW BEST:: SOT 394524 SOS 150606 HAS SOPS 150606 HAS SOUS 131694 HAS SOUPS 131694 WITH SCORE 131844.606
AT ITER 4566 NEW BEST:: SOT 394489 SOS 150579 HAS SOPS 150579 HAS SOUS 131682 HAS SOUPS 131682 WITH SCORE 131832.579
AT ITER 4576 NEW BEST:: SOT 394181 SOS 150127 HAS SOPS 150127 HAS SOUS 131171 HAS SOUPS 131171 WITH SCORE 131321.127
AT ITER 4582 NEW BEST:: SOT 394072 SOS 149814 HAS SOPS 149814 HAS SOUS 130910 HAS SOUPS 130910 WITH SCORE 131059.814
AT ITER 4585 NEW BEST:: SOT 394072 SOS 149791 HAS SOPS 149791 HAS SOUS 130910 HAS SOUPS 130910 WITH SCORE 131059.791
AT ITER 4586 NEW BEST:: SOT 394040 SOS 149688 HAS SOPS 149688 HAS SOUS 130813 HAS SOUPS 130813 WITH SCORE 130962.688
AT ITER 4589 NEW BEST:: SOT 393964 SOS 149584 HAS SOPS 149584 HAS SOUS 130785 HAS SOUPS 130785 WITH SCORE 130934.584
AT ITER 4599 NEW BEST:: SOT 393936 SOS 149528 HAS SOPS 149528 HAS SOUS 130757 HAS SOUPS 130757 WITH SCORE 130906.528
AT ITER 4631 NEW BEST:: SOT 393886 SOS 149469 HAS SOPS 149469 HAS SOUS 130559 HAS SOUPS 130559 WITH SCORE 130708.469
AT ITER 4632 NEW BEST:: SOT 393710 SOS 149235 HAS SOPS 149235 HAS SOUS 130252 HAS SOUPS 130252 WITH SCORE 130401.235
AT ITER 4633 NEW BEST:: SOT 393477 SOS 149016 HAS SOPS 149016 HAS SOUS 130120 HAS SOUPS 130120 WITH SCORE 130269.016
AT ITER 4634 NEW BEST:: SOT 393314 SOS 148853 HAS SOPS 148853 HAS SOUS 129957 HAS SOUPS 129957 WITH SCORE 130105.853
AT ITER 4638 NEW BEST:: SOT 393304 SOS 148823 HAS SOPS 148823 HAS SOUS 129947 HAS SOUPS 129947 WITH SCORE 130095.823
AT ITER 4644 NEW BEST:: SOT 393321 SOS 148731 HAS SOPS 148731 HAS SOUS 129778 HAS SOUPS 129778 WITH SCORE 129926.731
AT ITER 4645 NEW BEST:: SOT 393249 SOS 148605 HAS SOPS 148605 HAS SOUS 129706 HAS SOUPS 129706 WITH SCORE 129854.605
AT ITER 4648 NEW BEST:: SOT 393237 SOS 148533 HAS SOPS 148533 HAS SOUS 129705 HAS SOUPS 129705 WITH SCORE 129853.533
AT ITER 4657 NEW BEST:: SOT 393128 SOS 148445 HAS SOPS 148445 HAS SOUS 129492 HAS SOUPS 129492 WITH SCORE 129640.445
AT ITER 4669 NEW BEST:: SOT 393030 SOS 148814 HAS SOPS 148814 HAS SOUS 129416 HAS SOUPS 129416 WITH SCORE 129564.814
AT ITER 4694 NEW BEST:: SOT 392892 SOS 148516 HAS SOPS 148516 HAS SOUS 129389 HAS SOUPS 129389 WITH SCORE 129537.516
AT ITER 4697 NEW BEST:: SOT 392736 SOS 148045 HAS SOPS 148045 HAS SOUS 128961 HAS SOUPS 128961 WITH SCORE 129109.045
AT ITER 4700 NEW BEST:: SOT 392689 SOS 147904 HAS SOPS 147904 HAS SOUS 128820 HAS SOUPS 128820 WITH SCORE 128967.904
AT ITER 4723 NEW BEST:: SOT 392670 SOS 147863 HAS SOPS 147863 HAS SOUS 128779 HAS SOUPS 128779 WITH SCORE 128926.863
AT ITER 4737 NEW BEST:: SOT 392731 SOS 147541 HAS SOPS 147541 HAS SOUS 128521 HAS SOUPS 128521 WITH SCORE 128668.541
AT ITER 4742 NEW BEST:: SOT 392668 SOS 147455 HAS SOPS 147455 HAS SOUS 128435 HAS SOUPS 128435 WITH SCORE 128582.455
AT ITER 4751 NEW BEST:: SOT 392668 SOS 147327 HAS SOPS 147327 HAS SOUS 128382 HAS SOUPS 128382 WITH SCORE 128529.327
AT ITER 4753 NEW BEST:: SOT 392611 SOS 147222 HAS SOPS 147222 HAS SOUS 128332 HAS SOUPS 128332 WITH SCORE 128479.222
AT ITER 4777 NEW BEST:: SOT 392544 SOS 147079 HAS SOPS 147079 HAS SOUS 128265 HAS SOUPS 128265 WITH SCORE 128412.079
AT ITER 4779 NEW BEST:: SOT 392538 SOS 147047 HAS SOPS 147047 HAS SOUS 128218 HAS SOUPS 128218 WITH SCORE 128365.047
AT ITER 4784 NEW BEST:: SOT 392534 SOS 147027 HAS SOPS 147027 HAS SOUS 128210 HAS SOUPS 128210 WITH SCORE 128357.027
AT ITER 4793 NEW BEST:: SOT 392534 SOS 147027 HAS SOPS 147027 HAS SOUS 128207 HAS SOUPS 128207 WITH SCORE 128354.027
AT ITER 4797 NEW BEST:: SOT 392534 SOS 147027 HAS SOPS 147027 HAS SOUS 128189 HAS SOUPS 128189 WITH SCORE 128336.027
AT ITER 4803 NEW BEST:: SOT 392474 SOS 146927 HAS SOPS 146927 HAS SOUS 128089 HAS SOUPS 128089 WITH SCORE 128235.927
AT ITER 4818 NEW BEST:: SOT 392361 SOS 146804 HAS SOPS 146804 HAS SOUS 127955 HAS SOUPS 127955 WITH SCORE 128101.804
AT ITER 4822 NEW BEST:: SOT 392309 SOS 146739 HAS SOPS 146739 HAS SOUS 127890 HAS SOUPS 127890 WITH SCORE 128036.739
AT ITER 4834 NEW BEST:: SOT 392170 SOS 146600 HAS SOPS 146600 HAS SOUS 127751 HAS SOUPS 127751 WITH SCORE 127897.6
AT ITER 4837 NEW BEST:: SOT 392073 SOS 146406 HAS SOPS 146406 HAS SOUS 127460 HAS SOUPS 127460 WITH SCORE 127606.406
AT ITER 4843 NEW BEST:: SOT 392127 SOS 146581 HAS SOPS 146581 HAS SOUS 127459 HAS SOUPS 127459 WITH SCORE 127605.581
AT ITER 4847 NEW BEST:: SOT 391899 SOS 146206 HAS SOPS 146206 HAS SOUS 127022 HAS SOUPS 127022 WITH SCORE 127168.206
AT ITER 4877 NEW BEST:: SOT 391904 SOS 146190 HAS SOPS 146190 HAS SOUS 127006 HAS SOUPS 127006 WITH SCORE 127152.19
AT ITER 4879 NEW BEST:: SOT 391834 SOS 146050 HAS SOPS 146050 HAS SOUS 126831 HAS SOUPS 126831 WITH SCORE 126977.05
AT ITER 4895 NEW BEST:: SOT 391765 SOS 145924 HAS SOPS 145924 HAS SOUS 126776 HAS SOUPS 126776 WITH SCORE 126921.924
AT ITER 4907 NEW BEST:: SOT 391702 SOS 145820 HAS SOPS 145820 HAS SOUS 126713 HAS SOUPS 126713 WITH SCORE 126858.82
AT ITER 4923 NEW BEST:: SOT 391614 SOS 145762 HAS SOPS 145762 HAS SOUS 126592 HAS SOUPS 126592 WITH SCORE 126737.762
AT ITER 4936 NEW BEST:: SOT 391540 SOS 145634 HAS SOPS 145634 HAS SOUS 126520 HAS SOUPS 126520 WITH SCORE 126665.634
AT ITER 4959 NEW BEST:: SOT 391420 SOS 145514 HAS SOPS 145514 HAS SOUS 126400 HAS SOUPS 126400 WITH SCORE 126545.514
AT ITER 4962 NEW BEST:: SOT 391420 SOS 145412 HAS SOPS 145412 HAS SOUS 126364 HAS SOUPS 126364 WITH SCORE 126509.412
AT ITER 4963 NEW BEST:: SOT 391420 SOS 145144 HAS SOPS 145144 HAS SOUS 126204 HAS SOUPS 126204 WITH SCORE 126349.144
AT ITER 4988 NEW BEST:: SOT 391366 SOS 145110 HAS SOPS 145110 HAS SOUS 126170 HAS SOUPS 126170 WITH SCORE 126315.11
Bounds file is: CTLFireability.xml
PROPERTY: ShieldRVt-PT-100A-CTLFireability-00 ( ((potential((tk(P684)>=1)))) | (EF( (AG( ( ((potential((tk(P204)>=1)))) & ((potential((tk(P545)>=1) & (tk(P547)>=1) & (tk(P552)>=1)))) ))))) )
PROPERTY: ShieldRVt-PT-100A-CTLFireability-01 ( (EF( (AU( ((potential((tk(P488)>=1)))) , ((potential((tk(P328)>=1)))) )))) & ( ( (! (AX( ((potential((tk(P231)>=1) & (tk(P234)>=1))))))) | (AU( ((potential((tk(P510)>=1)))) , ((potential((tk(P381)>=1) & (tk(P382)>=1) & (tk(P385)>=1)))) )) ) | (EF( (AX( ((potential((tk(P725)>=1) & (tk(P726)>=1) & (tk(P729)>=1)))))))) ) )
PROPERTY: ShieldRVt-PT-100A-CTLFireability-02 ( ((potential((tk(P164)>=1) & (tk(P173)>=1) & (tk(P179)>=1)))) | (EF( ( ( ((potential((tk(P134)>=1)))) & ((potential((tk(P236)>=1) & (tk(P245)>=1) & (tk(P251)>=1)))) ) & (! ( ((potential((tk(P322)>=1)))) & ((potential((tk(P271)>=1) & (tk(P274)>=1)))) )) ))) )
PROPERTY: ShieldRVt-PT-100A-CTLFireability-03 (! ( ( (EF( ((potential((tk(P319)>=1) & (tk(P322)>=1)))))) | (AU( ((potential((tk(P334)>=1)))) , ((potential((tk(P230)>=1)))) )) ) | (AF( (AX( ((potential((tk(P4)>=1)))))))) ))
PROPERTY: ShieldRVt-PT-100A-CTLFireability-04 (AG( (! ((potential((tk(P470)>=1)))))))
PROPERTY: ShieldRVt-PT-100A-CTLFireability-05 (AU( (EG( (! ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P11)>=1))))))) , (! (EF( ((potential((tk(P391)>=1) & (tk(P394)>=1))))))) ))
PROPERTY: ShieldRVt-PT-100A-CTLFireability-06 ( ( ( ( ((potential((tk(P296)>=1)))) & ( ( ((potential((tk(P540)>=1)))) | ((potential((tk(P140)>=1) & (tk(P149)>=1) & (tk(P155)>=1)))) ) | ( ((potential((tk(P541)>=1) & (tk(P542)>=1) & (tk(P545)>=1)))) | ((potential((tk(P292)>=1)))) ) ) ) | ( ((potential((tk(P685)>=1) & (tk(P686)>=1) & (tk(P689)>=1)))) | (EF( ((potential((tk(P720)>=1)))))) ) ) | ((potential((tk(P609)>=1) & (tk(P611)>=1) & (tk(P616)>=1)))) ) & (AX( ( (! ((potential((tk(P768)>=1))))) | ( (! ((potential((tk(P152)>=1))))) & ((potential((tk(P748)>=1) & (tk(P757)>=1) & (tk(P763)>=1)))) ) ))) )
PROPERTY: ShieldRVt-PT-100A-CTLFireability-07 (! (EF( ((potential((tk(P212)>=1)))))))
PROPERTY: ShieldRVt-PT-100A-CTLFireability-08 (EF( ((potential((tk(P346)>=1))))))
PROPERTY: ShieldRVt-PT-100A-CTLFireability-09 (AG( (! (AG( ( ((potential((tk(P762)>=1)))) & ((potential((tk(P260)>=1) & (tk(P269)>=1) & (tk(P275)>=1)))) ))))))
PROPERTY: ShieldRVt-PT-100A-CTLFireability-10 (AG( (EF( (EF( ((potential((tk(P764)>=1) & (tk(P773)>=1) & (tk(P779)>=1))))))))))
PROPERTY: ShieldRVt-PT-100A-CTLFireability-11 ( ( ( (! (EF( ((potential((tk(P720)>=1))))))) | ( ( ( ((potential((tk(P350)>=1)))) & ((potential((tk(P757)>=1) & (tk(P758)>=1) & (tk(P761)>=1)))) ) | ((potential((tk(P700)>=1) & (tk(P709)>=1) & (tk(P715)>=1)))) ) & ((potential((tk(P561)>=1) & (tk(P563)>=1) & (tk(P568)>=1)))) ) ) & ( (! (EF( ((potential((tk(P481)>=1) & (tk(P483)>=1) & (tk(P488)>=1))))))) | (EG( (! ((potential((tk(P383)>=1) & (tk(P386)>=1))))))) ) ) & (! (AF( (AF( ((potential((tk(P140)>=1) & (tk(P149)>=1) & (tk(P155)>=1))))))))) )
PROPERTY: ShieldRVt-PT-100A-CTLFireability-12 (AG( ( (AX( ( ((potential((tk(P58)>=1)))) & ((potential((tk(P481)>=1) & (tk(P483)>=1) & (tk(P488)>=1)))) ))) | (! ( ((potential((tk(P753)>=1) & (tk(P755)>=1) & (tk(P760)>=1)))) & ( ((potential((tk(P158)>=1)))) & ((potential((tk(P505)>=1) & (tk(P507)>=1) & (tk(P512)>=1)))) ) )) )))
PROPERTY: ShieldRVt-PT-100A-CTLFireability-13 (EG( (EF( ( (! ((potential((tk(P782)>=1))))) & ( ((potential((tk(P437)>=1) & (tk(P438)>=1) & (tk(P441)>=1)))) | ((potential((tk(P580)>=1) & (tk(P589)>=1) & (tk(P595)>=1)))) ) )))))
PROPERTY: ShieldRVt-PT-100A-CTLFireability-14 (EX( (EG( (EF( ((potential((tk(P391)>=1) & (tk(P394)>=1))))))))))
PROPERTY: ShieldRVt-PT-100A-CTLFireability-15 (AG( (! (AU( ((potential((tk(P112)>=1)))) , ((potential((tk(P642)>=1)))) )))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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