Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250500427.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NoC3x3-PT-7A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250500427
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 528K
-rw-r--r-- 1 mcc users 3.6K Apr 8 15:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 8 15:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 7 18:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 18:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.8K Apr 6 20:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Apr 6 20:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 6 04:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 6 04:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 355K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589642902433

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

GOT IT HERE. BS
Petri model created: 801 places, 1544 transitions, 4519 arcs.
AT ITER 0 NEW BEST:: SOT 855360 SOS 611194 HAS SOPS 610234 HAS SOUS 425035 HAS SOUPS 424383 WITH SCORE 424994.194
AT ITER 2 NEW BEST:: SOT 852990 SOS 609158 HAS SOPS 608198 HAS SOUS 422999 HAS SOUPS 422347 WITH SCORE 422956.158
AT ITER 3 NEW BEST:: SOT 852987 SOS 609143 HAS SOPS 608183 HAS SOUS 422990 HAS SOUPS 422338 WITH SCORE 422947.143
AT ITER 4 NEW BEST:: SOT 852987 SOS 609143 HAS SOPS 608183 HAS SOUS 422986 HAS SOUPS 422334 WITH SCORE 422943.143
AT ITER 7 NEW BEST:: SOT 852987 SOS 608366 HAS SOPS 607406 HAS SOUS 422345 HAS SOUPS 421693 WITH SCORE 422301.366
AT ITER 10 NEW BEST:: SOT 852787 SOS 607740 HAS SOPS 606780 HAS SOUS 422253 HAS SOUPS 421601 WITH SCORE 422208.74
AT ITER 12 NEW BEST:: SOT 852787 SOS 607336 HAS SOPS 606376 HAS SOUS 421847 HAS SOUPS 421195 WITH SCORE 421802.336
AT ITER 13 NEW BEST:: SOT 849340 SOS 604039 HAS SOPS 603079 HAS SOUS 418902 HAS SOUPS 418250 WITH SCORE 418854.039
AT ITER 16 NEW BEST:: SOT 849159 SOS 603474 HAS SOPS 602514 HAS SOUS 417952 HAS SOUPS 417300 WITH SCORE 417903.474
AT ITER 17 NEW BEST:: SOT 846182 SOS 600111 HAS SOPS 599151 HAS SOUS 414543 HAS SOUPS 413891 WITH SCORE 414491.111
AT ITER 18 NEW BEST:: SOT 846077 SOS 599901 HAS SOPS 598941 HAS SOUS 414541 HAS SOUPS 413889 WITH SCORE 414488.901
AT ITER 19 NEW BEST:: SOT 846332 SOS 599684 HAS SOPS 598724 HAS SOUS 414407 HAS SOUPS 413755 WITH SCORE 414354.684
AT ITER 24 NEW BEST:: SOT 847053 SOS 599677 HAS SOPS 598717 HAS SOUS 413610 HAS SOUPS 412958 WITH SCORE 413557.677
AT ITER 27 NEW BEST:: SOT 845844 SOS 597297 HAS SOPS 596337 HAS SOUS 411483 HAS SOUPS 410831 WITH SCORE 411428.297
AT ITER 29 NEW BEST:: SOT 842990 SOS 595122 HAS SOPS 594162 HAS SOUS 408355 HAS SOUPS 407703 WITH SCORE 408298.122
AT ITER 30 NEW BEST:: SOT 843031 SOS 595162 HAS SOPS 594202 HAS SOUS 408353 HAS SOUPS 407701 WITH SCORE 408296.162
AT ITER 33 NEW BEST:: SOT 842558 SOS 594801 HAS SOPS 593841 HAS SOUS 407878 HAS SOUPS 407226 WITH SCORE 407820.801
AT ITER 36 NEW BEST:: SOT 842061 SOS 593755 HAS SOPS 592795 HAS SOUS 407280 HAS SOUPS 406628 WITH SCORE 407221.755
AT ITER 38 NEW BEST:: SOT 841396 SOS 593435 HAS SOPS 592475 HAS SOUS 406630 HAS SOUPS 405978 WITH SCORE 406571.435
AT ITER 41 NEW BEST:: SOT 840987 SOS 592749 HAS SOPS 591888 HAS SOUS 406136 HAS SOUPS 405534 WITH SCORE 406126.749
AT ITER 42 NEW BEST:: SOT 841049 SOS 592150 HAS SOPS 591289 HAS SOUS 405992 HAS SOUPS 405390 WITH SCORE 405982.15
AT ITER 44 NEW BEST:: SOT 840664 SOS 591374 HAS SOPS 590513 HAS SOUS 405794 HAS SOUPS 405192 WITH SCORE 405783.374
AT ITER 45 NEW BEST:: SOT 840698 SOS 591189 HAS SOPS 590328 HAS SOUS 405293 HAS SOUPS 404691 WITH SCORE 405282.189
AT ITER 50 NEW BEST:: SOT 841156 SOS 591023 HAS SOPS 590162 HAS SOUS 404967 HAS SOUPS 404365 WITH SCORE 404956.023
AT ITER 55 NEW BEST:: SOT 841156 SOS 590471 HAS SOPS 589610 HAS SOUS 404924 HAS SOUPS 404322 WITH SCORE 404912.471
AT ITER 58 NEW BEST:: SOT 839101 SOS 588416 HAS SOPS 587555 HAS SOUS 403065 HAS SOUPS 402463 WITH SCORE 403051.416
AT ITER 59 NEW BEST:: SOT 839358 SOS 587440 HAS SOPS 586579 HAS SOUS 402806 HAS SOUPS 402204 WITH SCORE 402791.44
AT ITER 62 NEW BEST:: SOT 837595 SOS 585457 HAS SOPS 584596 HAS SOUS 400823 HAS SOUPS 400221 WITH SCORE 400806.457
AT ITER 63 NEW BEST:: SOT 832225 SOS 580918 HAS SOPS 580057 HAS SOUS 395219 HAS SOUPS 394617 WITH SCORE 395197.918
AT ITER 64 NEW BEST:: SOT 832187 SOS 580956 HAS SOPS 580095 HAS SOUS 395200 HAS SOUPS 394598 WITH SCORE 395178.956
AT ITER 66 NEW BEST:: SOT 831948 SOS 580478 HAS SOPS 579617 HAS SOUS 394753 HAS SOUPS 394151 WITH SCORE 394731.478
AT ITER 70 NEW BEST:: SOT 831483 SOS 579619 HAS SOPS 578758 HAS SOUS 394033 HAS SOUPS 393431 WITH SCORE 394010.619
AT ITER 71 NEW BEST:: SOT 831913 SOS 579684 HAS SOPS 578823 HAS SOUS 393950 HAS SOUPS 393348 WITH SCORE 393927.684
AT ITER 72 NEW BEST:: SOT 830270 SOS 577919 HAS SOPS 577058 HAS SOUS 391943 HAS SOUPS 391341 WITH SCORE 391918.919
AT ITER 73 NEW BEST:: SOT 830028 SOS 577677 HAS SOPS 576816 HAS SOUS 391699 HAS SOUPS 391097 WITH SCORE 391674.677
AT ITER 74 NEW BEST:: SOT 829354 SOS 576539 HAS SOPS 575678 HAS SOUS 391029 HAS SOUPS 390427 WITH SCORE 391003.539
AT ITER 76 NEW BEST:: SOT 829928 SOS 576399 HAS SOPS 575100 HAS SOUS 391333 HAS SOUPS 390302 WITH SCORE 390878.399
AT ITER 78 NEW BEST:: SOT 829655 SOS 576005 HAS SOPS 574706 HAS SOUS 391242 HAS SOUPS 390211 WITH SCORE 390787.005
AT ITER 79 NEW BEST:: SOT 828853 SOS 574444 HAS SOPS 573145 HAS SOUS 388551 HAS SOUPS 387520 WITH SCORE 388094.444
AT ITER 80 NEW BEST:: SOT 826498 SOS 572284 HAS SOPS 570985 HAS SOUS 386290 HAS SOUPS 385259 WITH SCORE 385831.284
AT ITER 86 NEW BEST:: SOT 824168 SOS 570188 HAS SOPS 568889 HAS SOUS 382773 HAS SOUPS 381742 WITH SCORE 382312.188
AT ITER 88 NEW BEST:: SOT 822590 SOS 569284 HAS SOPS 568066 HAS SOUS 381398 HAS SOUPS 380408 WITH SCORE 380977.284
AT ITER 90 NEW BEST:: SOT 822571 SOS 569265 HAS SOPS 568047 HAS SOUS 381395 HAS SOUPS 380405 WITH SCORE 380974.265
AT ITER 92 NEW BEST:: SOT 822568 SOS 569259 HAS SOPS 568041 HAS SOUS 381392 HAS SOUPS 380402 WITH SCORE 380971.259
AT ITER 94 NEW BEST:: SOT 820422 SOS 566661 HAS SOPS 565443 HAS SOUS 378556 HAS SOUPS 377566 WITH SCORE 378132.661
AT ITER 96 NEW BEST:: SOT 820422 SOS 566171 HAS SOPS 564953 HAS SOUS 378359 HAS SOUPS 377369 WITH SCORE 377935.171
AT ITER 97 NEW BEST:: SOT 821236 SOS 567183 HAS SOPS 565998 HAS SOUS 378165 HAS SOUPS 377198 WITH SCORE 377765.183
AT ITER 98 NEW BEST:: SOT 821205 SOS 567052 HAS SOPS 565867 HAS SOUS 378035 HAS SOUPS 377068 WITH SCORE 377635.052
AT ITER 104 NEW BEST:: SOT 821135 SOS 565934 HAS SOPS 564749 HAS SOUS 377965 HAS SOUPS 376998 WITH SCORE 377563.934
AT ITER 105 NEW BEST:: SOT 821066 SOS 565579 HAS SOPS 564394 HAS SOUS 377816 HAS SOUPS 376849 WITH SCORE 377414.579
AT ITER 107 NEW BEST:: SOT 818649 SOS 562944 HAS SOPS 561759 HAS SOUS 375265 HAS SOUPS 374298 WITH SCORE 374860.944
AT ITER 110 NEW BEST:: SOT 818125 SOS 561524 HAS SOPS 560339 HAS SOUS 374177 HAS SOUPS 373210 WITH SCORE 373771.524
AT ITER 111 NEW BEST:: SOT 817601 SOS 560677 HAS SOPS 559492 HAS SOUS 373603 HAS SOUPS 372636 WITH SCORE 373196.677
AT ITER 114 NEW BEST:: SOT 817448 SOS 560498 HAS SOPS 559313 HAS SOUS 373497 HAS SOUPS 372530 WITH SCORE 373090.498
AT ITER 120 NEW BEST:: SOT 818044 SOS 559180 HAS SOPS 557995 HAS SOUS 373396 HAS SOUPS 372429 WITH SCORE 372988.18
AT ITER 121 NEW BEST:: SOT 817849 SOS 558453 HAS SOPS 557268 HAS SOUS 372657 HAS SOUPS 371690 WITH SCORE 372248.453
AT ITER 123 NEW BEST:: SOT 817812 SOS 558028 HAS SOPS 556843 HAS SOUS 372540 HAS SOUPS 371573 WITH SCORE 372131.028
AT ITER 124 NEW BEST:: SOT 814475 SOS 555042 HAS SOPS 553857 HAS SOUS 368979 HAS SOUPS 368012 WITH SCORE 368567.042
AT ITER 126 NEW BEST:: SOT 814414 SOS 554000 HAS SOPS 552815 HAS SOUS 368717 HAS SOUPS 367750 WITH SCORE 368304.0
AT ITER 129 NEW BEST:: SOT 813533 SOS 553978 HAS SOPS 552793 HAS SOUS 367185 HAS SOUPS 366218 WITH SCORE 366771.978
AT ITER 132 NEW BEST:: SOT 813285 SOS 553151 HAS SOPS 551966 HAS SOUS 366503 HAS SOUPS 365536 WITH SCORE 366089.151
AT ITER 133 NEW BEST:: SOT 812863 SOS 553019 HAS SOPS 551834 HAS SOUS 366301 HAS SOUPS 365334 WITH SCORE 365887.019
AT ITER 134 NEW BEST:: SOT 810101 SOS 550183 HAS SOPS 548998 HAS SOUS 363129 HAS SOUPS 362162 WITH SCORE 362712.183
AT ITER 135 NEW BEST:: SOT 809650 SOS 549281 HAS SOPS 548096 HAS SOUS 362748 HAS SOUPS 361781 WITH SCORE 362330.281
AT ITER 141 NEW BEST:: SOT 810232 SOS 549408 HAS SOPS 548223 HAS SOUS 362627 HAS SOUPS 361660 WITH SCORE 362209.408
AT ITER 147 NEW BEST:: SOT 809788 SOS 549112 HAS SOPS 547927 HAS SOUS 362627 HAS SOUPS 361660 WITH SCORE 362209.112
AT ITER 156 NEW BEST:: SOT 809327 SOS 548078 HAS SOPS 546893 HAS SOUS 361752 HAS SOUPS 360785 WITH SCORE 361333.078
AT ITER 160 NEW BEST:: SOT 808885 SOS 547914 HAS SOPS 546729 HAS SOUS 361734 HAS SOUPS 360767 WITH SCORE 361314.914
AT ITER 162 NEW BEST:: SOT 808248 SOS 547277 HAS SOPS 546092 HAS SOUS 361097 HAS SOUPS 360130 WITH SCORE 360677.277
AT ITER 164 NEW BEST:: SOT 807710 SOS 547779 HAS SOPS 546594 HAS SOUS 360099 HAS SOUPS 359132 WITH SCORE 359679.779
AT ITER 165 NEW BEST:: SOT 808453 SOS 546680 HAS SOPS 545495 HAS SOUS 359467 HAS SOUPS 358500 WITH SCORE 359046.68
AT ITER 166 NEW BEST:: SOT 807324 SOS 545551 HAS SOPS 544366 HAS SOUS 358421 HAS SOUPS 357454 WITH SCORE 357999.551
AT ITER 171 NEW BEST:: SOT 807264 SOS 545849 HAS SOPS 544664 HAS SOUS 358263 HAS SOUPS 357296 WITH SCORE 357841.849
AT ITER 177 NEW BEST:: SOT 807471 SOS 546084 HAS SOPS 544899 HAS SOUS 358180 HAS SOUPS 357213 WITH SCORE 357759.084
AT ITER 180 NEW BEST:: SOT 807471 SOS 545763 HAS SOPS 544578 HAS SOUS 357699 HAS SOUPS 356732 WITH SCORE 357277.763
AT ITER 183 NEW BEST:: SOT 807251 SOS 544798 HAS SOPS 543613 HAS SOUS 357365 HAS SOUPS 356398 WITH SCORE 356942.798
AT ITER 184 NEW BEST:: SOT 806630 SOS 544544 HAS SOPS 543359 HAS SOUS 357187 HAS SOUPS 356220 WITH SCORE 356764.544
AT ITER 191 NEW BEST:: SOT 807469 SOS 545253 HAS SOPS 544147 HAS SOUS 356811 HAS SOUPS 355884 WITH SCORE 356429.253
AT ITER 194 NEW BEST:: SOT 807451 SOS 545244 HAS SOPS 544138 HAS SOUS 356793 HAS SOUPS 355866 WITH SCORE 356411.244
AT ITER 195 NEW BEST:: SOT 807290 SOS 544896 HAS SOPS 543790 HAS SOUS 356642 HAS SOUPS 355715 WITH SCORE 356259.896
AT ITER 196 NEW BEST:: SOT 806696 SOS 544617 HAS SOPS 543511 HAS SOUS 356515 HAS SOUPS 355588 WITH SCORE 356132.617
AT ITER 197 NEW BEST:: SOT 806723 SOS 544563 HAS SOPS 543457 HAS SOUS 356515 HAS SOUPS 355588 WITH SCORE 356132.563
AT ITER 200 NEW BEST:: SOT 806628 SOS 544687 HAS SOPS 543581 HAS SOUS 356500 HAS SOUPS 355573 WITH SCORE 356117.687
AT ITER 204 NEW BEST:: SOT 808265 SOS 545131 HAS SOPS 544025 HAS SOUS 356255 HAS SOUPS 355328 WITH SCORE 355873.131
AT ITER 206 NEW BEST:: SOT 808265 SOS 545060 HAS SOPS 543891 HAS SOUS 356200 HAS SOUPS 355273 WITH SCORE 355818.06
AT ITER 207 NEW BEST:: SOT 808242 SOS 545037 HAS SOPS 543868 HAS SOUS 356198 HAS SOUPS 355271 WITH SCORE 355816.037
AT ITER 210 NEW BEST:: SOT 809373 SOS 545982 HAS SOPS 544848 HAS SOUS 355865 HAS SOUPS 354962 WITH SCORE 355507.982
AT ITER 211 NEW BEST:: SOT 809344 SOS 546316 HAS SOPS 545182 HAS SOUS 355834 HAS SOUPS 354931 WITH SCORE 355477.316
AT ITER 216 NEW BEST:: SOT 809470 SOS 546442 HAS SOPS 545308 HAS SOUS 355646 HAS SOUPS 354743 WITH SCORE 355289.442
AT ITER 220 NEW BEST:: SOT 810303 SOS 544494 HAS SOPS 543360 HAS SOUS 354320 HAS SOUPS 353417 WITH SCORE 353961.494
AT ITER 224 NEW BEST:: SOT 809522 SOS 543988 HAS SOPS 542854 HAS SOUS 353116 HAS SOUPS 352213 WITH SCORE 352756.988
AT ITER 227 NEW BEST:: SOT 809518 SOS 543888 HAS SOPS 542754 HAS SOUS 353112 HAS SOUPS 352209 WITH SCORE 352752.888
AT ITER 236 NEW BEST:: SOT 809129 SOS 543458 HAS SOPS 542324 HAS SOUS 352796 HAS SOUPS 351893 WITH SCORE 352436.458
AT ITER 237 NEW BEST:: SOT 808498 SOS 542883 HAS SOPS 541749 HAS SOUS 352611 HAS SOUPS 351708 WITH SCORE 352250.883
AT ITER 238 NEW BEST:: SOT 808071 SOS 541775 HAS SOPS 540641 HAS SOUS 352599 HAS SOUPS 351696 WITH SCORE 352237.775
AT ITER 240 NEW BEST:: SOT 808127 SOS 541475 HAS SOPS 540341 HAS SOUS 352542 HAS SOUPS 351639 WITH SCORE 352180.475
AT ITER 241 NEW BEST:: SOT 808273 SOS 542841 HAS SOPS 541707 HAS SOUS 352531 HAS SOUPS 351628 WITH SCORE 352170.841
AT ITER 246 NEW BEST:: SOT 808219 SOS 542787 HAS SOPS 541653 HAS SOUS 352502 HAS SOUPS 351599 WITH SCORE 352141.787
AT ITER 248 NEW BEST:: SOT 806301 SOS 542563 HAS SOPS 541429 HAS SOUS 350076 HAS SOUPS 349173 WITH SCORE 349715.563
AT ITER 250 NEW BEST:: SOT 806301 SOS 542563 HAS SOPS 541429 HAS SOUS 350075 HAS SOUPS 349172 WITH SCORE 349714.563
AT ITER 251 NEW BEST:: SOT 806075 SOS 541777 HAS SOPS 540643 HAS SOUS 349735 HAS SOUPS 348832 WITH SCORE 349373.777
AT ITER 254 NEW BEST:: SOT 805054 SOS 540728 HAS SOPS 539594 HAS SOUS 348685 HAS SOUPS 347782 WITH SCORE 348322.728
AT ITER 255 NEW BEST:: SOT 804852 SOS 540553 HAS SOPS 539419 HAS SOUS 348575 HAS SOUPS 347672 WITH SCORE 348212.553
AT ITER 256 NEW BEST:: SOT 804482 SOS 540206 HAS SOPS 539072 HAS SOUS 347835 HAS SOUPS 346932 WITH SCORE 347472.206
AT ITER 257 NEW BEST:: SOT 804832 SOS 540531 HAS SOPS 539397 HAS SOUS 347751 HAS SOUPS 346848 WITH SCORE 347388.531
AT ITER 260 NEW BEST:: SOT 804686 SOS 540299 HAS SOPS 539165 HAS SOUS 347570 HAS SOUPS 346667 WITH SCORE 347207.299
AT ITER 261 NEW BEST:: SOT 802719 SOS 541001 HAS SOPS 539867 HAS SOUS 345425 HAS SOUPS 344522 WITH SCORE 345063.001
AT ITER 263 NEW BEST:: SOT 801374 SOS 540463 HAS SOPS 539329 HAS SOUS 343849 HAS SOUPS 342946 WITH SCORE 343486.463
AT ITER 267 NEW BEST:: SOT 799253 SOS 539592 HAS SOPS 538458 HAS SOUS 341741 HAS SOUPS 340838 WITH SCORE 341377.592
AT ITER 268 NEW BEST:: SOT 799075 SOS 539414 HAS SOPS 538280 HAS SOUS 341652 HAS SOUPS 340749 WITH SCORE 341288.414
AT ITER 272 NEW BEST:: SOT 797592 SOS 537962 HAS SOPS 536828 HAS SOUS 340131 HAS SOUPS 339228 WITH SCORE 339765.962
AT ITER 276 NEW BEST:: SOT 797402 SOS 537772 HAS SOPS 536638 HAS SOUS 339938 HAS SOUPS 339035 WITH SCORE 339572.772
AT ITER 277 NEW BEST:: SOT 797377 SOS 536964 HAS SOPS 535830 HAS SOUS 339883 HAS SOUPS 338980 WITH SCORE 339516.964
AT ITER 278 NEW BEST:: SOT 797190 SOS 535813 HAS SOPS 534679 HAS SOUS 339452 HAS SOUPS 338549 WITH SCORE 339084.813
AT ITER 279 NEW BEST:: SOT 797283 SOS 535906 HAS SOPS 534772 HAS SOUS 339359 HAS SOUPS 338456 WITH SCORE 338991.906
AT ITER 282 NEW BEST:: SOT 797045 SOS 535668 HAS SOPS 534534 HAS SOUS 339121 HAS SOUPS 338218 WITH SCORE 338753.668
AT ITER 283 NEW BEST:: SOT 795531 SOS 534165 HAS SOPS 533031 HAS SOUS 338325 HAS SOUPS 337422 WITH SCORE 337956.165
AT ITER 285 NEW BEST:: SOT 795375 SOS 533853 HAS SOPS 532719 HAS SOUS 338091 HAS SOUPS 337188 WITH SCORE 337721.853
AT ITER 296 NEW BEST:: SOT 795205 SOS 533853 HAS SOPS 532719 HAS SOUS 338006 HAS SOUPS 337103 WITH SCORE 337636.853
AT ITER 297 NEW BEST:: SOT 795929 SOS 533686 HAS SOPS 532552 HAS SOUS 337991 HAS SOUPS 337088 WITH SCORE 337621.686
AT ITER 301 NEW BEST:: SOT 795751 SOS 533934 HAS SOPS 532901 HAS SOUS 337694 HAS SOUPS 336842 WITH SCORE 337375.934
AT ITER 302 NEW BEST:: SOT 794920 SOS 532636 HAS SOPS 531603 HAS SOUS 336175 HAS SOUPS 335323 WITH SCORE 335855.636
AT ITER 304 NEW BEST:: SOT 794868 SOS 532428 HAS SOPS 531239 HAS SOUS 335967 HAS SOUPS 335115 WITH SCORE 335647.428
AT ITER 305 NEW BEST:: SOT 793547 SOS 531161 HAS SOPS 529972 HAS SOUS 334498 HAS SOUPS 333646 WITH SCORE 334177.161
AT ITER 308 NEW BEST:: SOT 794483 SOS 530374 HAS SOPS 529185 HAS SOUS 334381 HAS SOUPS 333529 WITH SCORE 334059.374
AT ITER 310 NEW BEST:: SOT 794499 SOS 530406 HAS SOPS 529217 HAS SOUS 334063 HAS SOUPS 333211 WITH SCORE 333741.406
AT ITER 311 NEW BEST:: SOT 794388 SOS 530295 HAS SOPS 529106 HAS SOUS 334063 HAS SOUPS 333211 WITH SCORE 333741.295
AT ITER 312 NEW BEST:: SOT 794589 SOS 530527 HAS SOPS 529338 HAS SOUS 334027 HAS SOUPS 333175 WITH SCORE 333705.527
AT ITER 314 NEW BEST:: SOT 795140 SOS 530734 HAS SOPS 529545 HAS SOUS 333622 HAS SOUPS 332770 WITH SCORE 333300.734
AT ITER 319 NEW BEST:: SOT 794027 SOS 528928 HAS SOPS 527739 HAS SOUS 333158 HAS SOUPS 332306 WITH SCORE 332834.928
AT ITER 323 NEW BEST:: SOT 794223 SOS 528863 HAS SOPS 527674 HAS SOUS 332453 HAS SOUPS 331601 WITH SCORE 332129.863
AT ITER 328 NEW BEST:: SOT 794121 SOS 528501 HAS SOPS 527312 HAS SOUS 332356 HAS SOUPS 331504 WITH SCORE 332032.501
AT ITER 331 NEW BEST:: SOT 794396 SOS 528499 HAS SOPS 527310 HAS SOUS 331833 HAS SOUPS 330981 WITH SCORE 331509.499
AT ITER 334 NEW BEST:: SOT 794370 SOS 528473 HAS SOPS 527284 HAS SOUS 331807 HAS SOUPS 330955 WITH SCORE 331483.473
AT ITER 335 NEW BEST:: SOT 794609 SOS 527991 HAS SOPS 526802 HAS SOUS 331580 HAS SOUPS 330728 WITH SCORE 331255.991
AT ITER 336 NEW BEST:: SOT 794701 SOS 527479 HAS SOPS 526290 HAS SOUS 331284 HAS SOUPS 330432 WITH SCORE 330959.479
AT ITER 342 NEW BEST:: SOT 795662 SOS 525671 HAS SOPS 524482 HAS SOUS 330347 HAS SOUPS 329495 WITH SCORE 330020.671
AT ITER 345 NEW BEST:: SOT 792658 SOS 522137 HAS SOPS 520948 HAS SOUS 326678 HAS SOUPS 325826 WITH SCORE 326348.137
AT ITER 347 NEW BEST:: SOT 791002 SOS 520646 HAS SOPS 519457 HAS SOUS 325181 HAS SOUPS 324329 WITH SCORE 324849.646
AT ITER 351 NEW BEST:: SOT 791031 SOS 520670 HAS SOPS 519363 HAS SOUS 325224 HAS SOUPS 324254 WITH SCORE 324774.67
AT ITER 352 NEW BEST:: SOT 790873 SOS 520354 HAS SOPS 519047 HAS SOUS 325222 HAS SOUPS 324252 WITH SCORE 324772.354
AT ITER 357 NEW BEST:: SOT 790828 SOS 520370 HAS SOPS 519063 HAS SOUS 325023 HAS SOUPS 324053 WITH SCORE 324573.37
AT ITER 360 NEW BEST:: SOT 790666 SOS 520046 HAS SOPS 518739 HAS SOUS 324915 HAS SOUPS 323945 WITH SCORE 324465.046
AT ITER 363 NEW BEST:: SOT 790346 SOS 519726 HAS SOPS 518419 HAS SOUS 324581 HAS SOUPS 323611 WITH SCORE 324130.726
AT ITER 364 NEW BEST:: SOT 790402 SOS 519657 HAS SOPS 518462 HAS SOUS 324512 HAS SOUPS 323598 WITH SCORE 324117.657
AT ITER 366 NEW BEST:: SOT 790195 SOS 519266 HAS SOPS 518071 HAS SOUS 324201 HAS SOUPS 323287 WITH SCORE 323806.266
AT ITER 367 NEW BEST:: SOT 790137 SOS 519208 HAS SOPS 518013 HAS SOUS 324140 HAS SOUPS 323226 WITH SCORE 323745.208
AT ITER 369 NEW BEST:: SOT 790137 SOS 518733 HAS SOPS 517538 HAS SOUS 323884 HAS SOUPS 322970 WITH SCORE 323488.733
AT ITER 374 NEW BEST:: SOT 790201 SOS 518315 HAS SOPS 517120 HAS SOUS 323853 HAS SOUPS 322939 WITH SCORE 323457.315
AT ITER 382 NEW BEST:: SOT 790273 SOS 516978 HAS SOPS 515783 HAS SOUS 323742 HAS SOUPS 322828 WITH SCORE 323344.978
AT ITER 383 NEW BEST:: SOT 790612 SOS 516983 HAS SOPS 515788 HAS SOUS 323682 HAS SOUPS 322768 WITH SCORE 323284.983
AT ITER 385 NEW BEST:: SOT 791482 SOS 517319 HAS SOPS 516124 HAS SOUS 323539 HAS SOUPS 322625 WITH SCORE 323142.319
AT ITER 386 NEW BEST:: SOT 791344 SOS 518332 HAS SOPS 517137 HAS SOUS 322696 HAS SOUPS 321782 WITH SCORE 322300.332
AT ITER 390 NEW BEST:: SOT 790935 SOS 517940 HAS SOPS 516745 HAS SOUS 322557 HAS SOUPS 321643 WITH SCORE 322160.94
AT ITER 395 NEW BEST:: SOT 790935 SOS 517937 HAS SOPS 516742 HAS SOUS 322557 HAS SOUPS 321643 WITH SCORE 322160.937
AT ITER 400 NEW BEST:: SOT 790949 SOS 517881 HAS SOPS 516686 HAS SOUS 322346 HAS SOUPS 321432 WITH SCORE 321949.881
AT ITER 404 NEW BEST:: SOT 789887 SOS 516812 HAS SOPS 515617 HAS SOUS 320498 HAS SOUPS 319584 WITH SCORE 320100.812
AT ITER 405 NEW BEST:: SOT 789891 SOS 516808 HAS SOPS 515613 HAS SOUS 320498 HAS SOUPS 319584 WITH SCORE 320100.808
AT ITER 409 NEW BEST:: SOT 790787 SOS 515477 HAS SOPS 514282 HAS SOUS 320410 HAS SOUPS 319496 WITH SCORE 320011.477
AT ITER 413 NEW BEST:: SOT 790886 SOS 515456 HAS SOPS 514261 HAS SOUS 320410 HAS SOUPS 319496 WITH SCORE 320011.456
AT ITER 416 NEW BEST:: SOT 790832 SOS 515229 HAS SOPS 514196 HAS SOUS 320177 HAS SOUPS 319425 WITH SCORE 319940.229
AT ITER 417 NEW BEST:: SOT 787585 SOS 514537 HAS SOPS 513504 HAS SOUS 318455 HAS SOUPS 317703 WITH SCORE 318217.537
AT ITER 418 NEW BEST:: SOT 787204 SOS 514039 HAS SOPS 513006 HAS SOUS 317773 HAS SOUPS 317021 WITH SCORE 317535.039
AT ITER 419 NEW BEST:: SOT 787204 SOS 514111 HAS SOPS 513078 HAS SOUS 317749 HAS SOUPS 316997 WITH SCORE 317511.111
AT ITER 421 NEW BEST:: SOT 786926 SOS 513945 HAS SOPS 512912 HAS SOUS 317471 HAS SOUPS 316719 WITH SCORE 317232.945
AT ITER 424 NEW BEST:: SOT 787098 SOS 513839 HAS SOPS 512806 HAS SOUS 317433 HAS SOUPS 316681 WITH SCORE 317194.839
AT ITER 425 NEW BEST:: SOT 784661 SOS 512350 HAS SOPS 511317 HAS SOUS 314928 HAS SOUPS 314176 WITH SCORE 314688.35
AT ITER 426 NEW BEST:: SOT 785058 SOS 512602 HAS SOPS 511569 HAS SOUS 314808 HAS SOUPS 314056 WITH SCORE 314568.602
AT ITER 431 NEW BEST:: SOT 784945 SOS 512393 HAS SOPS 511360 HAS SOUS 314758 HAS SOUPS 314006 WITH SCORE 314518.393
AT ITER 434 NEW BEST:: SOT 786475 SOS 513942 HAS SOPS 512909 HAS SOUS 314602 HAS SOUPS 313850 WITH SCORE 314363.942
AT ITER 435 NEW BEST:: SOT 786475 SOS 513717 HAS SOPS 512684 HAS SOUS 314527 HAS SOUPS 313775 WITH SCORE 314288.717
AT ITER 438 NEW BEST:: SOT 786575 SOS 513715 HAS SOPS 512682 HAS SOUS 314410 HAS SOUPS 313658 WITH SCORE 314171.715
AT ITER 439 NEW BEST:: SOT 786698 SOS 513511 HAS SOPS 512478 HAS SOUS 313981 HAS SOUPS 313229 WITH SCORE 313742.511
AT ITER 444 NEW BEST:: SOT 784512 SOS 513267 HAS SOPS 512234 HAS SOUS 310356 HAS SOUPS 309604 WITH SCORE 310117.267
AT ITER 446 NEW BEST:: SOT 784408 SOS 513163 HAS SOPS 512130 HAS SOUS 310246 HAS SOUPS 309494 WITH SCORE 310007.163
AT ITER 448 NEW BEST:: SOT 783904 SOS 512827 HAS SOPS 511794 HAS SOUS 310151 HAS SOUPS 309399 WITH SCORE 309911.827
AT ITER 449 NEW BEST:: SOT 782639 SOS 511559 HAS SOPS 510526 HAS SOUS 308537 HAS SOUPS 307785 WITH SCORE 308296.559
AT ITER 450 NEW BEST:: SOT 782639 SOS 511499 HAS SOPS 510466 HAS SOUS 308228 HAS SOUPS 307476 WITH SCORE 307987.499
AT ITER 453 NEW BEST:: SOT 782495 SOS 511355 HAS SOPS 510322 HAS SOUS 308084 HAS SOUPS 307332 WITH SCORE 307843.355
AT ITER 454 NEW BEST:: SOT 781680 SOS 512087 HAS SOPS 511054 HAS SOUS 307618 HAS SOUPS 306866 WITH SCORE 307378.087
AT ITER 456 NEW BEST:: SOT 779454 SOS 510808 HAS SOPS 509775 HAS SOUS 306195 HAS SOUPS 305443 WITH SCORE 305953.808
AT ITER 458 NEW BEST:: SOT 779456 SOS 510893 HAS SOPS 509860 HAS SOUS 306139 HAS SOUPS 305387 WITH SCORE 305897.893
AT ITER 461 NEW BEST:: SOT 779140 SOS 510103 HAS SOPS 509070 HAS SOUS 305823 HAS SOUPS 305071 WITH SCORE 305581.103
AT ITER 464 NEW BEST:: SOT 778780 SOS 509578 HAS SOPS 508545 HAS SOUS 305823 HAS SOUPS 305071 WITH SCORE 305580.578
AT ITER 465 NEW BEST:: SOT 778124 SOS 509132 HAS SOPS 508099 HAS SOUS 305354 HAS SOUPS 304602 WITH SCORE 305111.132
AT ITER 466 NEW BEST:: SOT 778543 SOS 508680 HAS SOPS 507647 HAS SOUS 305165 HAS SOUPS 304413 WITH SCORE 304921.68
AT ITER 470 NEW BEST:: SOT 778524 SOS 508661 HAS SOPS 507628 HAS SOUS 305146 HAS SOUPS 304394 WITH SCORE 304902.661
AT ITER 471 NEW BEST:: SOT 778131 SOS 506338 HAS SOPS 505305 HAS SOUS 304981 HAS SOUPS 304229 WITH SCORE 304735.338
AT ITER 472 NEW BEST:: SOT 778506 SOS 506178 HAS SOPS 505145 HAS SOUS 304854 HAS SOUPS 304102 WITH SCORE 304608.178
AT ITER 474 NEW BEST:: SOT 778435 SOS 505539 HAS SOPS 504506 HAS SOUS 304854 HAS SOUPS 304102 WITH SCORE 304607.539
AT ITER 477 NEW BEST:: SOT 778435 SOS 504782 HAS SOPS 503749 HAS SOUS 304565 HAS SOUPS 303813 WITH SCORE 304317.782
AT ITER 479 NEW BEST:: SOT 774274 SOS 499855 HAS SOPS 498822 HAS SOUS 299898 HAS SOUPS 299146 WITH SCORE 299645.855
AT ITER 481 NEW BEST:: SOT 774102 SOS 499534 HAS SOPS 498641 HAS SOUS 299661 HAS SOUPS 299049 WITH SCORE 299548.534
AT ITER 482 NEW BEST:: SOT 773417 SOS 498422 HAS SOPS 497529 HAS SOUS 299463 HAS SOUPS 298851 WITH SCORE 299349.422
AT ITER 487 NEW BEST:: SOT 772969 SOS 498607 HAS SOPS 497714 HAS SOUS 299447 HAS SOUPS 298835 WITH SCORE 299333.607
AT ITER 493 NEW BEST:: SOT 772883 SOS 498402 HAS SOPS 497509 HAS SOUS 299435 HAS SOUPS 298823 WITH SCORE 299321.402
AT ITER 494 NEW BEST:: SOT 771686 SOS 498424 HAS SOPS 497531 HAS SOUS 299342 HAS SOUPS 298730 WITH SCORE 299228.424
AT ITER 509 NEW BEST:: SOT 772222 SOS 497916 HAS SOPS 497023 HAS SOUS 298497 HAS SOUPS 297885 WITH SCORE 298382.916
AT ITER 510 NEW BEST:: SOT 772148 SOS 497842 HAS SOPS 496949 HAS SOUS 298347 HAS SOUPS 297735 WITH SCORE 298232.842
AT ITER 511 NEW BEST:: SOT 772148 SOS 497356 HAS SOPS 496463 HAS SOUS 297861 HAS SOUPS 297249 WITH SCORE 297746.356
AT ITER 512 NEW BEST:: SOT 772387 SOS 497475 HAS SOPS 496368 HAS SOUS 297993 HAS SOUPS 297167 WITH SCORE 297664.475
AT ITER 513 NEW BEST:: SOT 771965 SOS 497835 HAS SOPS 496728 HAS SOUS 297709 HAS SOUPS 296883 WITH SCORE 297380.835
AT ITER 514 NEW BEST:: SOT 771427 SOS 497173 HAS SOPS 496066 HAS SOUS 297286 HAS SOUPS 296460 WITH SCORE 296957.173
AT ITER 518 NEW BEST:: SOT 771495 SOS 495145 HAS SOPS 494038 HAS SOUS 297045 HAS SOUPS 296219 WITH SCORE 296714.145
AT ITER 519 NEW BEST:: SOT 771599 SOS 494968 HAS SOPS 493861 HAS SOUS 297035 HAS SOUPS 296209 WITH SCORE 296703.968
AT ITER 521 NEW BEST:: SOT 771543 SOS 494888 HAS SOPS 493781 HAS SOUS 296990 HAS SOUPS 296164 WITH SCORE 296658.888
AT ITER 529 NEW BEST:: SOT 771381 SOS 494667 HAS SOPS 493560 HAS SOUS 296840 HAS SOUPS 296014 WITH SCORE 296508.667
AT ITER 532 NEW BEST:: SOT 771381 SOS 494655 HAS SOPS 493548 HAS SOUS 296840 HAS SOUPS 296014 WITH SCORE 296508.655
AT ITER 534 NEW BEST:: SOT 770489 SOS 494049 HAS SOPS 492942 HAS SOUS 296113 HAS SOUPS 295287 WITH SCORE 295781.049
AT ITER 535 NEW BEST:: SOT 770366 SOS 493680 HAS SOPS 492573 HAS SOUS 295866 HAS SOUPS 295040 WITH SCORE 295533.68
AT ITER 536 NEW BEST:: SOT 770413 SOS 493680 HAS SOPS 492573 HAS SOUS 295819 HAS SOUPS 294993 WITH SCORE 295486.68
AT ITER 537 NEW BEST:: SOT 770195 SOS 493046 HAS SOPS 491939 HAS SOUS 295598 HAS SOUPS 294772 WITH SCORE 295265.046
AT ITER 538 NEW BEST:: SOT 770175 SOS 492906 HAS SOPS 491799 HAS SOUS 295588 HAS SOUPS 294762 WITH SCORE 295254.906
AT ITER 541 NEW BEST:: SOT 770139 SOS 492825 HAS SOPS 491718 HAS SOUS 295525 HAS SOUPS 294699 WITH SCORE 295191.825
AT ITER 544 NEW BEST:: SOT 770139 SOS 492799 HAS SOPS 491692 HAS SOUS 295525 HAS SOUPS 294699 WITH SCORE 295191.799
AT ITER 546 NEW BEST:: SOT 770090 SOS 492811 HAS SOPS 491748 HAS SOUS 295434 HAS SOUPS 294652 WITH SCORE 295144.811
AT ITER 549 NEW BEST:: SOT 769867 SOS 492588 HAS SOPS 491525 HAS SOUS 295211 HAS SOUPS 294429 WITH SCORE 294921.588
AT ITER 550 NEW BEST:: SOT 769719 SOS 491951 HAS SOPS 490888 HAS SOUS 295103 HAS SOUPS 294321 WITH SCORE 294812.951
AT ITER 555 NEW BEST:: SOT 769710 SOS 491748 HAS SOPS 490685 HAS SOUS 294776 HAS SOUPS 293994 WITH SCORE 294485.748
AT ITER 558 NEW BEST:: SOT 769406 SOS 491140 HAS SOPS 490077 HAS SOUS 294683 HAS SOUPS 293901 WITH SCORE 294392.14
AT ITER 564 NEW BEST:: SOT 769218 SOS 490764 HAS SOPS 489701 HAS SOUS 294683 HAS SOUPS 293901 WITH SCORE 294391.764
AT ITER 566 NEW BEST:: SOT 768954 SOS 490500 HAS SOPS 489437 HAS SOUS 294549 HAS SOUPS 293767 WITH SCORE 294257.5
AT ITER 568 NEW BEST:: SOT 768954 SOS 490272 HAS SOPS 489209 HAS SOUS 294527 HAS SOUPS 293745 WITH SCORE 294235.272
AT ITER 569 NEW BEST:: SOT 769145 SOS 488999 HAS SOPS 487936 HAS SOUS 294255 HAS SOUPS 293473 WITH SCORE 293961.999
AT ITER 573 NEW BEST:: SOT 768815 SOS 488449 HAS SOPS 487386 HAS SOUS 293925 HAS SOUPS 293143 WITH SCORE 293631.449
AT ITER 574 NEW BEST:: SOT 768744 SOS 487995 HAS SOPS 486769 HAS SOUS 293784 HAS SOUPS 292839 WITH SCORE 293326.995
AT ITER 581 NEW BEST:: SOT 768782 SOS 487326 HAS SOPS 486100 HAS SOUS 292953 HAS SOUPS 292008 WITH SCORE 292495.326
AT ITER 582 NEW BEST:: SOT 768443 SOS 485962 HAS SOPS 484736 HAS SOUS 292761 HAS SOUPS 291816 WITH SCORE 292301.962
AT ITER 583 NEW BEST:: SOT 768402 SOS 485880 HAS SOPS 484654 HAS SOUS 292761 HAS SOUPS 291816 WITH SCORE 292301.88
AT ITER 584 NEW BEST:: SOT 768372 SOS 485850 HAS SOPS 484624 HAS SOUS 292716 HAS SOUPS 291771 WITH SCORE 292256.85
AT ITER 586 NEW BEST:: SOT 768401 SOS 485666 HAS SOPS 484264 HAS SOUS 292603 HAS SOUPS 291482 WITH SCORE 291967.666
AT ITER 589 NEW BEST:: SOT 768401 SOS 485666 HAS SOPS 484264 HAS SOUS 292523 HAS SOUPS 291402 WITH SCORE 291887.666
AT ITER 594 NEW BEST:: SOT 768723 SOS 485399 HAS SOPS 483997 HAS SOUS 292312 HAS SOUPS 291191 WITH SCORE 291676.399
AT ITER 599 NEW BEST:: SOT 768575 SOS 485211 HAS SOPS 483809 HAS SOUS 292238 HAS SOUPS 291117 WITH SCORE 291602.211
AT ITER 600 NEW BEST:: SOT 768200 SOS 484962 HAS SOPS 483560 HAS SOUS 291728 HAS SOUPS 290607 WITH SCORE 291091.962
AT ITER 605 NEW BEST:: SOT 768316 SOS 485020 HAS SOPS 483618 HAS SOUS 291725 HAS SOUPS 290604 WITH SCORE 291089.02
AT ITER 606 NEW BEST:: SOT 768244 SOS 485080 HAS SOPS 483678 HAS SOUS 291585 HAS SOUPS 290464 WITH SCORE 290949.08
AT ITER 608 NEW BEST:: SOT 768006 SOS 484005 HAS SOPS 482603 HAS SOUS 291253 HAS SOUPS 290132 WITH SCORE 290616.005
AT ITER 611 NEW BEST:: SOT 767643 SOS 483739 HAS SOPS 482337 HAS SOUS 291200 HAS SOUPS 290079 WITH SCORE 290562.739
AT ITER 612 NEW BEST:: SOT 767721 SOS 483671 HAS SOPS 482269 HAS SOUS 291076 HAS SOUPS 289955 WITH SCORE 290438.671
AT ITER 613 NEW BEST:: SOT 767964 SOS 483159 HAS SOPS 481757 HAS SOUS 291006 HAS SOUPS 289885 WITH SCORE 290368.159
AT ITER 616 NEW BEST:: SOT 767640 SOS 482916 HAS SOPS 481514 HAS SOUS 290761 HAS SOUPS 289640 WITH SCORE 290122.916
AT ITER 620 NEW BEST:: SOT 767844 SOS 482939 HAS SOPS 481537 HAS SOUS 290737 HAS SOUPS 289616 WITH SCORE 290098.939
AT ITER 623 NEW BEST:: SOT 767716 SOS 482811 HAS SOPS 481409 HAS SOUS 290609 HAS SOUPS 289488 WITH SCORE 289970.811
AT ITER 626 NEW BEST:: SOT 765615 SOS 480272 HAS SOPS 478870 HAS SOUS 290439 HAS SOUPS 289318 WITH SCORE 289798.272
AT ITER 628 NEW BEST:: SOT 765537 SOS 480108 HAS SOPS 478706 HAS SOUS 290372 HAS SOUPS 289251 WITH SCORE 289731.108
AT ITER 632 NEW BEST:: SOT 765449 SOS 480020 HAS SOPS 478618 HAS SOUS 290358 HAS SOUPS 289237 WITH SCORE 289717.02
AT ITER 634 NEW BEST:: SOT 765405 SOS 479976 HAS SOPS 478574 HAS SOUS 290336 HAS SOUPS 289215 WITH SCORE 289694.976
AT ITER 640 NEW BEST:: SOT 765126 SOS 479823 HAS SOPS 478421 HAS SOUS 290054 HAS SOUPS 288933 WITH SCORE 289412.823
AT ITER 645 NEW BEST:: SOT 765424 SOS 478018 HAS SOPS 476616 HAS SOUS 289970 HAS SOUPS 288849 WITH SCORE 289327.018
AT ITER 648 NEW BEST:: SOT 765082 SOS 477676 HAS SOPS 476274 HAS SOUS 289628 HAS SOUPS 288507 WITH SCORE 288984.676
AT ITER 651 NEW BEST:: SOT 765256 SOS 477963 HAS SOPS 476680 HAS SOUS 289246 HAS SOUPS 288244 WITH SCORE 288721.963
AT ITER 653 NEW BEST:: SOT 764776 SOS 478642 HAS SOPS 477359 HAS SOUS 288426 HAS SOUPS 287424 WITH SCORE 287902.642
AT ITER 656 NEW BEST:: SOT 764466 SOS 477426 HAS SOPS 476143 HAS SOUS 286790 HAS SOUPS 285788 WITH SCORE 286265.426
AT ITER 661 NEW BEST:: SOT 763381 SOS 476507 HAS SOPS 475224 HAS SOUS 286336 HAS SOUPS 285334 WITH SCORE 285810.507
AT ITER 664 NEW BEST:: SOT 762989 SOS 475869 HAS SOPS 474586 HAS SOUS 285813 HAS SOUPS 284811 WITH SCORE 285286.869
AT ITER 665 NEW BEST:: SOT 762958 SOS 475738 HAS SOPS 474455 HAS SOUS 285705 HAS SOUPS 284703 WITH SCORE 285178.738
AT ITER 672 NEW BEST:: SOT 762923 SOS 475668 HAS SOPS 474385 HAS SOUS 285705 HAS SOUPS 284703 WITH SCORE 285178.668
AT ITER 674 NEW BEST:: SOT 762643 SOS 475388 HAS SOPS 474105 HAS SOUS 285563 HAS SOUPS 284561 WITH SCORE 285036.388
AT ITER 676 NEW BEST:: SOT 762455 SOS 475200 HAS SOPS 473917 HAS SOUS 285371 HAS SOUPS 284369 WITH SCORE 284844.2
AT ITER 680 NEW BEST:: SOT 762356 SOS 474804 HAS SOPS 473521 HAS SOUS 285072 HAS SOUPS 284070 WITH SCORE 284544.804
AT ITER 682 NEW BEST:: SOT 762356 SOS 474804 HAS SOPS 473521 HAS SOUS 285066 HAS SOUPS 284064 WITH SCORE 284538.804
AT ITER 684 NEW BEST:: SOT 760463 SOS 472926 HAS SOPS 471643 HAS SOUS 283175 HAS SOUPS 282173 WITH SCORE 282645.926
AT ITER 688 NEW BEST:: SOT 760313 SOS 472866 HAS SOPS 471583 HAS SOUS 283085 HAS SOUPS 282083 WITH SCORE 282555.866
AT ITER 691 NEW BEST:: SOT 760264 SOS 472433 HAS SOPS 471150 HAS SOUS 282801 HAS SOUPS 281799 WITH SCORE 282271.433
AT ITER 694 NEW BEST:: SOT 759815 SOS 471674 HAS SOPS 470391 HAS SOUS 282394 HAS SOUPS 281392 WITH SCORE 281863.674
AT ITER 699 NEW BEST:: SOT 759617 SOS 471476 HAS SOPS 470193 HAS SOUS 282101 HAS SOUPS 281099 WITH SCORE 281570.476
AT ITER 702 NEW BEST:: SOT 759391 SOS 471250 HAS SOPS 469967 HAS SOUS 281988 HAS SOUPS 280986 WITH SCORE 281457.25
AT ITER 704 NEW BEST:: SOT 759357 SOS 471216 HAS SOPS 469933 HAS SOUS 281954 HAS SOUPS 280952 WITH SCORE 281423.216
AT ITER 711 NEW BEST:: SOT 759357 SOS 471565 HAS SOPS 470282 HAS SOUS 281900 HAS SOUPS 280898 WITH SCORE 281369.565
AT ITER 714 NEW BEST:: SOT 759357 SOS 471539 HAS SOPS 470256 HAS SOUS 281874 HAS SOUPS 280872 WITH SCORE 281343.539
AT ITER 717 NEW BEST:: SOT 759023 SOS 470929 HAS SOPS 469778 HAS SOUS 281466 HAS SOUPS 280538 WITH SCORE 281008.929
AT ITER 718 NEW BEST:: SOT 758350 SOS 469988 HAS SOPS 468837 HAS SOUS 280523 HAS SOUPS 279595 WITH SCORE 280064.988
AT ITER 719 NEW BEST:: SOT 758355 SOS 469947 HAS SOPS 468796 HAS SOUS 280523 HAS SOUPS 279595 WITH SCORE 280064.947
AT ITER 722 NEW BEST:: SOT 758299 SOS 469705 HAS SOPS 468554 HAS SOUS 280337 HAS SOUPS 279409 WITH SCORE 279878.705
AT ITER 727 NEW BEST:: SOT 758019 SOS 469145 HAS SOPS 467994 HAS SOUS 280101 HAS SOUPS 279173 WITH SCORE 279642.145
AT ITER 740 NEW BEST:: SOT 758018 SOS 469275 HAS SOPS 468124 HAS SOUS 280100 HAS SOUPS 279172 WITH SCORE 279641.275
AT ITER 742 NEW BEST:: SOT 757673 SOS 468065 HAS SOPS 466914 HAS SOUS 280005 HAS SOUPS 279077 WITH SCORE 279545.065
AT ITER 749 NEW BEST:: SOT 757502 SOS 466468 HAS SOPS 465317 HAS SOUS 279754 HAS SOUPS 278826 WITH SCORE 279292.468
AT ITER 754 NEW BEST:: SOT 756952 SOS 466246 HAS SOPS 465095 HAS SOUS 279598 HAS SOUPS 278670 WITH SCORE 279136.246
AT ITER 760 NEW BEST:: SOT 757509 SOS 467748 HAS SOPS 466226 HAS SOUS 279678 HAS SOUPS 278542 WITH SCORE 279009.748
AT ITER 766 NEW BEST:: SOT 757410 SOS 467623 HAS SOPS 466160 HAS SOUS 279638 HAS SOUPS 278535 WITH SCORE 279002.623
AT ITER 768 NEW BEST:: SOT 756936 SOS 466646 HAS SOPS 465183 HAS SOUS 279266 HAS SOUPS 278163 WITH SCORE 278629.646
AT ITER 771 NEW BEST:: SOT 754113 SOS 463670 HAS SOPS 462207 HAS SOUS 275261 HAS SOUPS 274158 WITH SCORE 274621.67
AT ITER 778 NEW BEST:: SOT 754201 SOS 463758 HAS SOPS 462295 HAS SOUS 275213 HAS SOUPS 274110 WITH SCORE 274573.758
AT ITER 785 NEW BEST:: SOT 754324 SOS 463702 HAS SOPS 462239 HAS SOUS 275108 HAS SOUPS 274005 WITH SCORE 274468.702
AT ITER 788 NEW BEST:: SOT 753236 SOS 462982 HAS SOPS 461519 HAS SOUS 274526 HAS SOUPS 273423 WITH SCORE 273885.982
AT ITER 790 NEW BEST:: SOT 754016 SOS 461875 HAS SOPS 460412 HAS SOUS 274317 HAS SOUPS 273214 WITH SCORE 273675.875
AT ITER 791 NEW BEST:: SOT 753946 SOS 461770 HAS SOPS 460307 HAS SOUS 274177 HAS SOUPS 273074 WITH SCORE 273535.77
AT ITER 799 NEW BEST:: SOT 754011 SOS 461771 HAS SOPS 460308 HAS SOUS 274114 HAS SOUPS 273011 WITH SCORE 273472.771
AT ITER 807 NEW BEST:: SOT 754126 SOS 461485 HAS SOPS 460022 HAS SOUS 273934 HAS SOUPS 272831 WITH SCORE 273292.485
AT ITER 808 NEW BEST:: SOT 753821 SOS 461323 HAS SOPS 459860 HAS SOUS 273766 HAS SOUPS 272663 WITH SCORE 273124.323
AT ITER 812 NEW BEST:: SOT 752809 SOS 461304 HAS SOPS 459841 HAS SOUS 273154 HAS SOUPS 272051 WITH SCORE 272512.304
AT ITER 813 NEW BEST:: SOT 752637 SOS 461132 HAS SOPS 459669 HAS SOUS 273080 HAS SOUPS 271977 WITH SCORE 272438.132
AT ITER 815 NEW BEST:: SOT 752234 SOS 460202 HAS SOPS 458739 HAS SOUS 272940 HAS SOUPS 271837 WITH SCORE 272297.202
AT ITER 817 NEW BEST:: SOT 752025 SOS 459784 HAS SOPS 458321 HAS SOUS 272815 HAS SOUPS 271712 WITH SCORE 272171.784
AT ITER 818 NEW BEST:: SOT 752025 SOS 459721 HAS SOPS 458258 HAS SOUS 272689 HAS SOUPS 271586 WITH SCORE 272045.721
AT ITER 821 NEW BEST:: SOT 751749 SOS 459637 HAS SOPS 458174 HAS SOUS 272620 HAS SOUPS 271517 WITH SCORE 271976.637
AT ITER 835 NEW BEST:: SOT 749805 SOS 457693 HAS SOPS 456230 HAS SOUS 270676 HAS SOUPS 269573 WITH SCORE 270030.693
AT ITER 843 NEW BEST:: SOT 749949 SOS 457837 HAS SOPS 456374 HAS SOUS 270272 HAS SOUPS 269169 WITH SCORE 269626.837
AT ITER 850 NEW BEST:: SOT 751554 SOS 455551 HAS SOPS 454088 HAS SOUS 270232 HAS SOUPS 269129 WITH SCORE 269584.551
AT ITER 851 NEW BEST:: SOT 751419 SOS 455416 HAS SOPS 453953 HAS SOUS 269887 HAS SOUPS 268784 WITH SCORE 269239.416
AT ITER 860 NEW BEST:: SOT 751283 SOS 455280 HAS SOPS 453817 HAS SOUS 269751 HAS SOUPS 268648 WITH SCORE 269103.28
AT ITER 862 NEW BEST:: SOT 751283 SOS 455216 HAS SOPS 453753 HAS SOUS 269719 HAS SOUPS 268616 WITH SCORE 269071.216
AT ITER 864 NEW BEST:: SOT 751345 SOS 454997 HAS SOPS 453534 HAS SOUS 269361 HAS SOUPS 268258 WITH SCORE 268712.997
AT ITER 872 NEW BEST:: SOT 751260 SOS 454665 HAS SOPS 453202 HAS SOUS 269361 HAS SOUPS 268258 WITH SCORE 268712.665
AT ITER 874 NEW BEST:: SOT 751533 SOS 454510 HAS SOPS 452682 HAS SOUS 269253 HAS SOUPS 267952 WITH SCORE 268406.51
AT ITER 877 NEW BEST:: SOT 751379 SOS 454169 HAS SOPS 452341 HAS SOUS 269010 HAS SOUPS 267709 WITH SCORE 268163.169
AT ITER 882 NEW BEST:: SOT 751452 SOS 454203 HAS SOPS 452375 HAS SOUS 268799 HAS SOUPS 267498 WITH SCORE 267952.203
AT ITER 883 NEW BEST:: SOT 751356 SOS 454134 HAS SOPS 452306 HAS SOUS 268715 HAS SOUPS 267414 WITH SCORE 267868.134
AT ITER 889 NEW BEST:: SOT 751255 SOS 453966 HAS SOPS 452138 HAS SOUS 268648 HAS SOUPS 267347 WITH SCORE 267800.966
AT ITER 900 NEW BEST:: SOT 750823 SOS 453534 HAS SOPS 451706 HAS SOUS 268540 HAS SOUPS 267239 WITH SCORE 267692.534
AT ITER 901 NEW BEST:: SOT 750919 SOS 453534 HAS SOPS 451706 HAS SOUS 268523 HAS SOUPS 267222 WITH SCORE 267675.534
AT ITER 902 NEW BEST:: SOT 750813 SOS 453428 HAS SOPS 451600 HAS SOUS 268416 HAS SOUPS 267115 WITH SCORE 267568.428
AT ITER 906 NEW BEST:: SOT 750812 SOS 453424 HAS SOPS 451596 HAS SOUS 268414 HAS SOUPS 267113 WITH SCORE 267566.424
AT ITER 907 NEW BEST:: SOT 750120 SOS 452974 HAS SOPS 451146 HAS SOUS 268116 HAS SOUPS 266815 WITH SCORE 267267.974
AT ITER 908 NEW BEST:: SOT 750105 SOS 451771 HAS SOPS 449681 HAS SOUS 267711 HAS SOUPS 266148 WITH SCORE 266599.771
AT ITER 918 NEW BEST:: SOT 749524 SOS 451443 HAS SOPS 449353 HAS SOUS 267206 HAS SOUPS 265643 WITH SCORE 266094.443
AT ITER 919 NEW BEST:: SOT 748914 SOS 450833 HAS SOPS 448743 HAS SOUS 266596 HAS SOUPS 265033 WITH SCORE 265483.833
AT ITER 921 NEW BEST:: SOT 748617 SOS 449258 HAS SOPS 447168 HAS SOUS 266114 HAS SOUPS 264551 WITH SCORE 265000.258
AT ITER 923 NEW BEST:: SOT 748359 SOS 449009 HAS SOPS 446919 HAS SOUS 265924 HAS SOUPS 264361 WITH SCORE 264810.009
AT ITER 924 NEW BEST:: SOT 748619 SOS 448705 HAS SOPS 446615 HAS SOUS 265639 HAS SOUPS 264076 WITH SCORE 264524.705
AT ITER 926 NEW BEST:: SOT 748053 SOS 448473 HAS SOPS 446383 HAS SOUS 265529 HAS SOUPS 263966 WITH SCORE 264414.473
AT ITER 928 NEW BEST:: SOT 747941 SOS 448249 HAS SOPS 446159 HAS SOUS 265462 HAS SOUPS 263899 WITH SCORE 264347.249
AT ITER 933 NEW BEST:: SOT 747271 SOS 446918 HAS SOPS 444828 HAS SOUS 264279 HAS SOUPS 262716 WITH SCORE 263162.918
AT ITER 937 NEW BEST:: SOT 747507 SOS 445731 HAS SOPS 443641 HAS SOUS 263751 HAS SOUPS 262188 WITH SCORE 262633.731
AT ITER 941 NEW BEST:: SOT 747327 SOS 445551 HAS SOPS 443461 HAS SOUS 263511 HAS SOUPS 261948 WITH SCORE 262393.551
AT ITER 945 NEW BEST:: SOT 747380 SOS 445617 HAS SOPS 443527 HAS SOUS 263378 HAS SOUPS 261815 WITH SCORE 262260.617
AT ITER 946 NEW BEST:: SOT 747003 SOS 444761 HAS SOPS 442671 HAS SOUS 261978 HAS SOUPS 260415 WITH SCORE 260859.761
AT ITER 954 NEW BEST:: SOT 746929 SOS 444320 HAS SOPS 442230 HAS SOUS 261074 HAS SOUPS 259511 WITH SCORE 259955.32
AT ITER 957 NEW BEST:: SOT 746922 SOS 444313 HAS SOPS 442223 HAS SOUS 261067 HAS SOUPS 259504 WITH SCORE 259948.313
AT ITER 958 NEW BEST:: SOT 746217 SOS 443542 HAS SOPS 441452 HAS SOUS 260401 HAS SOUPS 258838 WITH SCORE 259281.542
AT ITER 961 NEW BEST:: SOT 745868 SOS 442680 HAS SOPS 440590 HAS SOUS 260100 HAS SOUPS 258537 WITH SCORE 258979.68
AT ITER 962 NEW BEST:: SOT 745656 SOS 442459 HAS SOPS 440369 HAS SOUS 259869 HAS SOUPS 258306 WITH SCORE 258748.459
AT ITER 963 NEW BEST:: SOT 744255 SOS 440906 HAS SOPS 438816 HAS SOUS 259240 HAS SOUPS 257677 WITH SCORE 258117.906
AT ITER 964 NEW BEST:: SOT 744244 SOS 440850 HAS SOPS 438760 HAS SOUS 259172 HAS SOUPS 257609 WITH SCORE 258049.85
AT ITER 965 NEW BEST:: SOT 744156 SOS 440718 HAS SOPS 438628 HAS SOUS 259040 HAS SOUPS 257477 WITH SCORE 257917.718
AT ITER 968 NEW BEST:: SOT 744237 SOS 439773 HAS SOPS 437683 HAS SOUS 258995 HAS SOUPS 257432 WITH SCORE 257871.773
AT ITER 969 NEW BEST:: SOT 744069 SOS 440439 HAS SOPS 438349 HAS SOUS 258377 HAS SOUPS 256814 WITH SCORE 257254.439
AT ITER 970 NEW BEST:: SOT 742842 SOS 439698 HAS SOPS 437608 HAS SOUS 257622 HAS SOUPS 256059 WITH SCORE 256498.698
AT ITER 973 NEW BEST:: SOT 742626 SOS 439452 HAS SOPS 437426 HAS SOUS 257361 HAS SOUPS 255862 WITH SCORE 256301.452
AT ITER 977 NEW BEST:: SOT 742118 SOS 438817 HAS SOPS 436918 HAS SOUS 256999 HAS SOUPS 255627 WITH SCORE 256065.817
AT ITER 986 NEW BEST:: SOT 741549 SOS 438521 HAS SOPS 436622 HAS SOUS 256976 HAS SOUPS 255604 WITH SCORE 256042.521
AT ITER 988 NEW BEST:: SOT 740392 SOS 437882 HAS SOPS 435983 HAS SOUS 255807 HAS SOUPS 254435 WITH SCORE 254872.882
AT ITER 997 NEW BEST:: SOT 740456 SOS 437946 HAS SOPS 436047 HAS SOUS 255743 HAS SOUPS 254371 WITH SCORE 254808.946
AT ITER 1002 NEW BEST:: SOT 740665 SOS 438600 HAS SOPS 436701 HAS SOUS 255703 HAS SOUPS 254331 WITH SCORE 254769.6
AT ITER 1004 NEW BEST:: SOT 740633 SOS 438560 HAS SOPS 436661 HAS SOUS 255663 HAS SOUPS 254291 WITH SCORE 254729.56
AT ITER 1005 NEW BEST:: SOT 740633 SOS 438392 HAS SOPS 436493 HAS SOUS 255579 HAS SOUPS 254207 WITH SCORE 254645.392
AT ITER 1010 NEW BEST:: SOT 741625 SOS 438285 HAS SOPS 436386 HAS SOUS 255180 HAS SOUPS 253808 WITH SCORE 254246.285
AT ITER 1015 NEW BEST:: SOT 741844 SOS 438484 HAS SOPS 436585 HAS SOUS 254854 HAS SOUPS 253482 WITH SCORE 253920.484
AT ITER 1020 NEW BEST:: SOT 741678 SOS 437830 HAS SOPS 435931 HAS SOUS 254688 HAS SOUPS 253316 WITH SCORE 253753.83
AT ITER 1033 NEW BEST:: SOT 741064 SOS 437216 HAS SOPS 435317 HAS SOUS 253757 HAS SOUPS 252385 WITH SCORE 252822.216
AT ITER 1035 NEW BEST:: SOT 741074 SOS 437208 HAS SOPS 435309 HAS SOUS 253743 HAS SOUPS 252371 WITH SCORE 252808.208
AT ITER 1041 NEW BEST:: SOT 741106 SOS 437208 HAS SOPS 435309 HAS SOUS 253727 HAS SOUPS 252355 WITH SCORE 252792.208
AT ITER 1044 NEW BEST:: SOT 741105 SOS 437205 HAS SOPS 435306 HAS SOUS 253725 HAS SOUPS 252353 WITH SCORE 252790.205
AT ITER 1052 NEW BEST:: SOT 741204 SOS 436688 HAS SOPS 434789 HAS SOUS 253660 HAS SOUPS 252288 WITH SCORE 252724.688
AT ITER 1062 NEW BEST:: SOT 741482 SOS 436368 HAS SOPS 434469 HAS SOUS 253639 HAS SOUPS 252267 WITH SCORE 252703.368
AT ITER 1063 NEW BEST:: SOT 741473 SOS 436359 HAS SOPS 434460 HAS SOUS 253636 HAS SOUPS 252264 WITH SCORE 252700.359
AT ITER 1073 NEW BEST:: SOT 741400 SOS 436286 HAS SOPS 434387 HAS SOUS 253625 HAS SOUPS 252253 WITH SCORE 252689.286
AT ITER 1076 NEW BEST:: SOT 741226 SOS 436112 HAS SOPS 434213 HAS SOUS 253451 HAS SOUPS 252079 WITH SCORE 252515.112
AT ITER 1077 NEW BEST:: SOT 740647 SOS 435622 HAS SOPS 433723 HAS SOUS 252924 HAS SOUPS 251552 WITH SCORE 251987.622
AT ITER 1080 NEW BEST:: SOT 740585 SOS 435610 HAS SOPS 433711 HAS SOUS 252833 HAS SOUPS 251461 WITH SCORE 251896.61
AT ITER 1095 NEW BEST:: SOT 740735 SOS 434281 HAS SOPS 432382 HAS SOUS 252384 HAS SOUPS 251012 WITH SCORE 251446.281
AT ITER 1110 NEW BEST:: SOT 740782 SOS 434065 HAS SOPS 432166 HAS SOUS 252353 HAS SOUPS 250981 WITH SCORE 251415.065
AT ITER 1111 NEW BEST:: SOT 740754 SOS 434037 HAS SOPS 432138 HAS SOUS 252339 HAS SOUPS 250967 WITH SCORE 251401.037
AT ITER 1122 NEW BEST:: SOT 740258 SOS 434005 HAS SOPS 432106 HAS SOUS 252165 HAS SOUPS 250793 WITH SCORE 251227.005
AT ITER 1127 NEW BEST:: SOT 740015 SOS 433721 HAS SOPS 431822 HAS SOUS 251881 HAS SOUPS 250509 WITH SCORE 250942.721
AT ITER 1128 NEW BEST:: SOT 738687 SOS 433331 HAS SOPS 431432 HAS SOUS 250706 HAS SOUPS 249334 WITH SCORE 249767.331
AT ITER 1137 NEW BEST:: SOT 739263 SOS 434130 HAS SOPS 432349 HAS SOUS 250225 HAS SOUPS 248971 WITH SCORE 249405.13
AT ITER 1139 NEW BEST:: SOT 739326 SOS 433876 HAS SOPS 432095 HAS SOUS 249891 HAS SOUPS 248637 WITH SCORE 249070.876
AT ITER 1145 NEW BEST:: SOT 739314 SOS 433852 HAS SOPS 432071 HAS SOUS 249879 HAS SOUPS 248625 WITH SCORE 249058.852
AT ITER 1155 NEW BEST:: SOT 739291 SOS 433593 HAS SOPS 431812 HAS SOUS 249717 HAS SOUPS 248463 WITH SCORE 248896.593
AT ITER 1160 NEW BEST:: SOT 739436 SOS 433000 HAS SOPS 431219 HAS SOUS 249572 HAS SOUPS 248318 WITH SCORE 248751.0
AT ITER 1167 NEW BEST:: SOT 739354 SOS 432918 HAS SOPS 431137 HAS SOUS 249408 HAS SOUPS 248154 WITH SCORE 248586.918
AT ITER 1180 NEW BEST:: SOT 739303 SOS 433007 HAS SOPS 431226 HAS SOUS 249268 HAS SOUPS 248014 WITH SCORE 248447.007
AT ITER 1182 NEW BEST:: SOT 739197 SOS 432731 HAS SOPS 430950 HAS SOUS 249134 HAS SOUPS 247880 WITH SCORE 248312.731
AT ITER 1187 NEW BEST:: SOT 739197 SOS 432681 HAS SOPS 430900 HAS SOUS 249034 HAS SOUPS 247780 WITH SCORE 248212.681
AT ITER 1191 NEW BEST:: SOT 738908 SOS 432392 HAS SOPS 430611 HAS SOUS 248872 HAS SOUPS 247618 WITH SCORE 248050.392
AT ITER 1192 NEW BEST:: SOT 738634 SOS 431844 HAS SOPS 430063 HAS SOUS 248577 HAS SOUPS 247323 WITH SCORE 247754.844
AT ITER 1204 NEW BEST:: SOT 738598 SOS 431808 HAS SOPS 430027 HAS SOUS 248559 HAS SOUPS 247305 WITH SCORE 247736.808
AT ITER 1212 NEW BEST:: SOT 738239 SOS 431576 HAS SOPS 429795 HAS SOUS 248173 HAS SOUPS 246919 WITH SCORE 247350.576
AT ITER 1218 NEW BEST:: SOT 738121 SOS 431458 HAS SOPS 429677 HAS SOUS 247981 HAS SOUPS 246727 WITH SCORE 247158.458
AT ITER 1220 NEW BEST:: SOT 738106 SOS 431616 HAS SOPS 429835 HAS SOUS 247822 HAS SOUPS 246568 WITH SCORE 246999.616
AT ITER 1224 NEW BEST:: SOT 737995 SOS 430770 HAS SOPS 428989 HAS SOUS 247779 HAS SOUPS 246525 WITH SCORE 246955.77
AT ITER 1231 NEW BEST:: SOT 738354 SOS 430507 HAS SOPS 428726 HAS SOUS 247446 HAS SOUPS 246192 WITH SCORE 246622.507
AT ITER 1236 NEW BEST:: SOT 738344 SOS 430517 HAS SOPS 428736 HAS SOUS 247436 HAS SOUPS 246182 WITH SCORE 246612.517
AT ITER 1238 NEW BEST:: SOT 738050 SOS 430223 HAS SOPS 428442 HAS SOUS 247300 HAS SOUPS 246046 WITH SCORE 246476.223
AT ITER 1252 NEW BEST:: SOT 738104 SOS 430277 HAS SOPS 428496 HAS SOUS 247292 HAS SOUPS 246038 WITH SCORE 246468.277
AT ITER 1253 NEW BEST:: SOT 737648 SOS 430741 HAS SOPS 428960 HAS SOUS 246875 HAS SOUPS 245621 WITH SCORE 246051.741
AT ITER 1260 NEW BEST:: SOT 737634 SOS 430727 HAS SOPS 428946 HAS SOUS 246868 HAS SOUPS 245614 WITH SCORE 246044.727
AT ITER 1261 NEW BEST:: SOT 737243 SOS 430374 HAS SOPS 428593 HAS SOUS 246435 HAS SOUPS 245181 WITH SCORE 245611.374
AT ITER 1268 NEW BEST:: SOT 737221 SOS 430363 HAS SOPS 428582 HAS SOUS 246369 HAS SOUPS 245115 WITH SCORE 245545.363
AT ITER 1269 NEW BEST:: SOT 737085 SOS 430125 HAS SOPS 428344 HAS SOUS 246231 HAS SOUPS 244977 WITH SCORE 245407.125
AT ITER 1271 NEW BEST:: SOT 737086 SOS 430124 HAS SOPS 428343 HAS SOUS 246230 HAS SOUPS 244976 WITH SCORE 245406.124
AT ITER 1272 NEW BEST:: SOT 737098 SOS 430208 HAS SOPS 428427 HAS SOUS 246218 HAS SOUPS 244964 WITH SCORE 245394.208
AT ITER 1274 NEW BEST:: SOT 737250 SOS 430132 HAS SOPS 428351 HAS SOUS 246218 HAS SOUPS 244964 WITH SCORE 245394.132
AT ITER 1298 NEW BEST:: SOT 737766 SOS 429584 HAS SOPS 427803 HAS SOUS 246119 HAS SOUPS 244865 WITH SCORE 245294.584
AT ITER 1300 NEW BEST:: SOT 737724 SOS 429542 HAS SOPS 427761 HAS SOUS 245993 HAS SOUPS 244739 WITH SCORE 245168.542
AT ITER 1303 NEW BEST:: SOT 737765 SOS 429537 HAS SOPS 427756 HAS SOUS 245978 HAS SOUPS 244724 WITH SCORE 245153.537
AT ITER 1312 NEW BEST:: SOT 737718 SOS 429913 HAS SOPS 428132 HAS SOUS 245837 HAS SOUPS 244583 WITH SCORE 245012.913
AT ITER 1340 NEW BEST:: SOT 737086 SOS 428999 HAS SOPS 427218 HAS SOUS 245457 HAS SOUPS 244203 WITH SCORE 244631.999
AT ITER 1344 NEW BEST:: SOT 737350 SOS 428539 HAS SOPS 426758 HAS SOUS 245262 HAS SOUPS 244008 WITH SCORE 244436.539
AT ITER 1353 NEW BEST:: SOT 736262 SOS 427515 HAS SOPS 425734 HAS SOUS 244384 HAS SOUPS 243130 WITH SCORE 243557.515
AT ITER 1357 NEW BEST:: SOT 736262 SOS 427719 HAS SOPS 425938 HAS SOUS 244282 HAS SOUPS 243028 WITH SCORE 243455.719
AT ITER 1375 NEW BEST:: SOT 736179 SOS 427487 HAS SOPS 425706 HAS SOUS 244181 HAS SOUPS 242927 WITH SCORE 243354.487
AT ITER 1376 NEW BEST:: SOT 735679 SOS 426885 HAS SOPS 425104 HAS SOUS 243696 HAS SOUPS 242442 WITH SCORE 242868.885
AT ITER 1395 NEW BEST:: SOT 735585 SOS 426901 HAS SOPS 425120 HAS SOUS 243592 HAS SOUPS 242338 WITH SCORE 242764.901
AT ITER 1399 NEW BEST:: SOT 735339 SOS 426655 HAS SOPS 424874 HAS SOUS 243343 HAS SOUPS 242089 WITH SCORE 242515.655
AT ITER 1404 NEW BEST:: SOT 735150 SOS 426466 HAS SOPS 424685 HAS SOUS 243314 HAS SOUPS 242060 WITH SCORE 242486.466
AT ITER 1405 NEW BEST:: SOT 735044 SOS 426402 HAS SOPS 424621 HAS SOUS 243292 HAS SOUPS 242038 WITH SCORE 242464.402
AT ITER 1414 NEW BEST:: SOT 735236 SOS 426594 HAS SOPS 424813 HAS SOUS 243271 HAS SOUPS 242017 WITH SCORE 242443.594
AT ITER 1418 NEW BEST:: SOT 735214 SOS 426594 HAS SOPS 424813 HAS SOUS 243260 HAS SOUPS 242006 WITH SCORE 242432.594
AT ITER 1423 NEW BEST:: SOT 735319 SOS 425630 HAS SOPS 423849 HAS SOUS 242940 HAS SOUPS 241686 WITH SCORE 242111.63
AT ITER 1425 NEW BEST:: SOT 734123 SOS 423997 HAS SOPS 422216 HAS SOUS 240982 HAS SOUPS 239728 WITH SCORE 240151.997
AT ITER 1434 NEW BEST:: SOT 734021 SOS 423025 HAS SOPS 421244 HAS SOUS 240752 HAS SOUPS 239498 WITH SCORE 239921.025
AT ITER 1435 NEW BEST:: SOT 733971 SOS 422975 HAS SOPS 421194 HAS SOUS 240419 HAS SOUPS 239165 WITH SCORE 239587.975
AT ITER 1442 NEW BEST:: SOT 734291 SOS 422678 HAS SOPS 420897 HAS SOUS 240416 HAS SOUPS 239162 WITH SCORE 239584.678
AT ITER 1461 NEW BEST:: SOT 734203 SOS 422590 HAS SOPS 420809 HAS SOUS 240326 HAS SOUPS 239072 WITH SCORE 239494.59
AT ITER 1464 NEW BEST:: SOT 734161 SOS 422711 HAS SOPS 420930 HAS SOUS 240203 HAS SOUPS 238949 WITH SCORE 239371.711
AT ITER 1467 NEW BEST:: SOT 733863 SOS 422413 HAS SOPS 420632 HAS SOUS 239676 HAS SOUPS 238422 WITH SCORE 238844.413
AT ITER 1475 NEW BEST:: SOT 733165 SOS 422579 HAS SOPS 420933 HAS SOUS 239515 HAS SOUPS 238396 WITH SCORE 238818.579
AT ITER 1479 NEW BEST:: SOT 733089 SOS 422503 HAS SOPS 420857 HAS SOUS 239439 HAS SOUPS 238320 WITH SCORE 238742.503
AT ITER 1481 NEW BEST:: SOT 733161 SOS 422839 HAS SOPS 421193 HAS SOUS 239419 HAS SOUPS 238300 WITH SCORE 238722.839
AT ITER 1483 NEW BEST:: SOT 732749 SOS 422924 HAS SOPS 421278 HAS SOUS 239264 HAS SOUPS 238145 WITH SCORE 238567.924
AT ITER 1500 NEW BEST:: SOT 732724 SOS 423295 HAS SOPS 421649 HAS SOUS 239104 HAS SOUPS 237985 WITH SCORE 238408.295
AT ITER 1501 NEW BEST:: SOT 732589 SOS 424025 HAS SOPS 422379 HAS SOUS 238967 HAS SOUPS 237848 WITH SCORE 238272.025
AT ITER 1504 NEW BEST:: SOT 732586 SOS 424112 HAS SOPS 422662 HAS SOUS 238851 HAS SOUPS 237798 WITH SCORE 238222.112
AT ITER 1521 NEW BEST:: SOT 732364 SOS 423992 HAS SOPS 422542 HAS SOUS 238829 HAS SOUPS 237776 WITH SCORE 238199.992
AT ITER 1522 NEW BEST:: SOT 732317 SOS 424086 HAS SOPS 422636 HAS SOUS 238745 HAS SOUPS 237692 WITH SCORE 238116.086
AT ITER 1528 NEW BEST:: SOT 732329 SOS 424214 HAS SOPS 422764 HAS SOUS 238699 HAS SOUPS 237646 WITH SCORE 238070.214
AT ITER 1536 NEW BEST:: SOT 732314 SOS 424199 HAS SOPS 422749 HAS SOUS 238684 HAS SOUPS 237631 WITH SCORE 238055.199
AT ITER 1537 NEW BEST:: SOT 732304 SOS 424184 HAS SOPS 422734 HAS SOUS 238669 HAS SOUPS 237616 WITH SCORE 238040.184
AT ITER 1549 NEW BEST:: SOT 732368 SOS 424092 HAS SOPS 422642 HAS SOUS 238261 HAS SOUPS 237208 WITH SCORE 237632.092
AT ITER 1553 NEW BEST:: SOT 732278 SOS 424032 HAS SOPS 422582 HAS SOUS 238231 HAS SOUPS 237178 WITH SCORE 237602.032
AT ITER 1555 NEW BEST:: SOT 732272 SOS 424008 HAS SOPS 422558 HAS SOUS 238229 HAS SOUPS 237176 WITH SCORE 237600.008
AT ITER 1562 NEW BEST:: SOT 732556 SOS 424232 HAS SOPS 422782 HAS SOUS 237997 HAS SOUPS 236944 WITH SCORE 237368.232
AT ITER 1568 NEW BEST:: SOT 732556 SOS 424852 HAS SOPS 423402 HAS SOUS 237909 HAS SOUPS 236856 WITH SCORE 237280.852
AT ITER 1581 NEW BEST:: SOT 732332 SOS 423995 HAS SOPS 422545 HAS SOUS 237873 HAS SOUPS 236820 WITH SCORE 237243.995
AT ITER 1599 NEW BEST:: SOT 732370 SOS 424071 HAS SOPS 422583 HAS SOUS 237873 HAS SOUPS 236801 WITH SCORE 237225.071
AT ITER 1602 NEW BEST:: SOT 731953 SOS 422329 HAS SOPS 420820 HAS SOUS 237760 HAS SOUPS 236667 WITH SCORE 237089.329
AT ITER 1605 NEW BEST:: SOT 731855 SOS 422133 HAS SOPS 420624 HAS SOUS 237689 HAS SOUPS 236596 WITH SCORE 237018.133
AT ITER 1612 NEW BEST:: SOT 731267 SOS 421646 HAS SOPS 420137 HAS SOUS 237301 HAS SOUPS 236208 WITH SCORE 236629.646
AT ITER 1615 NEW BEST:: SOT 731267 SOS 421455 HAS SOPS 419868 HAS SOUS 237340 HAS SOUPS 236208 WITH SCORE 236629.455
AT ITER 1619 NEW BEST:: SOT 731419 SOS 421414 HAS SOPS 419738 HAS SOUS 237336 HAS SOUPS 236204 WITH SCORE 236625.414
AT ITER 1620 NEW BEST:: SOT 731281 SOS 421269 HAS SOPS 419593 HAS SOUS 237145 HAS SOUPS 236013 WITH SCORE 236434.269
AT ITER 1621 NEW BEST:: SOT 730827 SOS 420852 HAS SOPS 419176 HAS SOUS 236958 HAS SOUPS 235826 WITH SCORE 236246.852
AT ITER 1622 NEW BEST:: SOT 730827 SOS 420679 HAS SOPS 419003 HAS SOUS 236660 HAS SOUPS 235528 WITH SCORE 235948.679
AT ITER 1624 NEW BEST:: SOT 730449 SOS 420301 HAS SOPS 418625 HAS SOUS 236282 HAS SOUPS 235150 WITH SCORE 235570.301
AT ITER 1627 NEW BEST:: SOT 730382 SOS 420266 HAS SOPS 418590 HAS SOUS 236275 HAS SOUPS 235143 WITH SCORE 235563.266
AT ITER 1633 NEW BEST:: SOT 729553 SOS 421252 HAS SOPS 418979 HAS SOUS 235771 HAS SOUPS 234172 WITH SCORE 234593.252
AT ITER 1634 NEW BEST:: SOT 729131 SOS 421173 HAS SOPS 418900 HAS SOUS 235736 HAS SOUPS 234137 WITH SCORE 234558.173
AT ITER 1636 NEW BEST:: SOT 729081 SOS 421123 HAS SOPS 418850 HAS SOUS 235686 HAS SOUPS 234087 WITH SCORE 234508.123
AT ITER 1641 NEW BEST:: SOT 728757 SOS 420893 HAS SOPS 418620 HAS SOUS 235225 HAS SOUPS 233626 WITH SCORE 234046.893
AT ITER 1644 NEW BEST:: SOT 728769 SOS 420751 HAS SOPS 418478 HAS SOUS 234763 HAS SOUPS 233164 WITH SCORE 233584.751
AT ITER 1651 NEW BEST:: SOT 728461 SOS 419936 HAS SOPS 417663 HAS SOUS 233948 HAS SOUPS 232349 WITH SCORE 232768.936
AT ITER 1653 NEW BEST:: SOT 728227 SOS 419702 HAS SOPS 417429 HAS SOUS 233835 HAS SOUPS 232236 WITH SCORE 232655.702
AT ITER 1657 NEW BEST:: SOT 727945 SOS 419326 HAS SOPS 417053 HAS SOUS 233553 HAS SOUPS 231954 WITH SCORE 232373.326
AT ITER 1667 NEW BEST:: SOT 727797 SOS 419141 HAS SOPS 416868 HAS SOUS 233405 HAS SOUPS 231806 WITH SCORE 232225.141
AT ITER 1676 NEW BEST:: SOT 727797 SOS 419237 HAS SOPS 416964 HAS SOUS 233404 HAS SOUPS 231805 WITH SCORE 232224.237
AT ITER 1679 NEW BEST:: SOT 727796 SOS 419230 HAS SOPS 416957 HAS SOUS 233403 HAS SOUPS 231804 WITH SCORE 232223.23
AT ITER 1689 NEW BEST:: SOT 727716 SOS 419150 HAS SOPS 416877 HAS SOUS 233323 HAS SOUPS 231724 WITH SCORE 232143.15
AT ITER 1690 NEW BEST:: SOT 727562 SOS 418996 HAS SOPS 416723 HAS SOUS 233232 HAS SOUPS 231633 WITH SCORE 232051.996
AT ITER 1693 NEW BEST:: SOT 727554 SOS 418920 HAS SOPS 416647 HAS SOUS 233213 HAS SOUPS 231614 WITH SCORE 232032.92
AT ITER 1696 NEW BEST:: SOT 727146 SOS 418472 HAS SOPS 416199 HAS SOUS 233142 HAS SOUPS 231543 WITH SCORE 231961.472
AT ITER 1702 NEW BEST:: SOT 726920 SOS 418306 HAS SOPS 416033 HAS SOUS 233033 HAS SOUPS 231434 WITH SCORE 231852.306
AT ITER 1708 NEW BEST:: SOT 727287 SOS 417695 HAS SOPS 415422 HAS SOUS 232976 HAS SOUPS 231377 WITH SCORE 231794.695
AT ITER 1718 NEW BEST:: SOT 726717 SOS 416225 HAS SOPS 413952 HAS SOUS 232346 HAS SOUPS 230747 WITH SCORE 231163.225
AT ITER 1720 NEW BEST:: SOT 726233 SOS 415741 HAS SOPS 413468 HAS SOUS 231862 HAS SOUPS 230263 WITH SCORE 230678.741
AT ITER 1722 NEW BEST:: SOT 726515 SOS 415141 HAS SOPS 412868 HAS SOUS 231711 HAS SOUPS 230112 WITH SCORE 230527.141
AT ITER 1725 NEW BEST:: SOT 726517 SOS 415139 HAS SOPS 412866 HAS SOUS 231709 HAS SOUPS 230110 WITH SCORE 230525.139
AT ITER 1727 NEW BEST:: SOT 726809 SOS 415269 HAS SOPS 412996 HAS SOUS 231705 HAS SOUPS 230106 WITH SCORE 230521.269
AT ITER 1737 NEW BEST:: SOT 726404 SOS 414459 HAS SOPS 412186 HAS SOUS 230976 HAS SOUPS 229377 WITH SCORE 229791.459
AT ITER 1756 NEW BEST:: SOT 725872 SOS 414256 HAS SOPS 411983 HAS SOUS 230787 HAS SOUPS 229188 WITH SCORE 229602.256
AT ITER 1767 NEW BEST:: SOT 725617 SOS 413746 HAS SOPS 411473 HAS SOUS 230531 HAS SOUPS 228932 WITH SCORE 229345.746
AT ITER 1770 NEW BEST:: SOT 725617 SOS 413746 HAS SOPS 411473 HAS SOUS 230529 HAS SOUPS 228930 WITH SCORE 229343.746
AT ITER 1775 NEW BEST:: SOT 725617 SOS 413676 HAS SOPS 411403 HAS SOUS 230509 HAS SOUPS 228910 WITH SCORE 229323.676
AT ITER 1779 NEW BEST:: SOT 725216 SOS 413274 HAS SOPS 411001 HAS SOUS 229541 HAS SOUPS 227942 WITH SCORE 228355.274
AT ITER 1790 NEW BEST:: SOT 725056 SOS 413091 HAS SOPS 410818 HAS SOUS 229191 HAS SOUPS 227592 WITH SCORE 228005.091
AT ITER 1791 NEW BEST:: SOT 725056 SOS 413091 HAS SOPS 410818 HAS SOUS 229187 HAS SOUPS 227588 WITH SCORE 228001.091
AT ITER 1796 NEW BEST:: SOT 724939 SOS 411777 HAS SOPS 409504 HAS SOUS 229059 HAS SOUPS 227460 WITH SCORE 227871.777
AT ITER 1797 NEW BEST:: SOT 724969 SOS 411711 HAS SOPS 409438 HAS SOUS 229023 HAS SOUPS 227424 WITH SCORE 227835.711
AT ITER 1807 NEW BEST:: SOT 724715 SOS 411457 HAS SOPS 409184 HAS SOUS 228739 HAS SOUPS 227140 WITH SCORE 227551.457
AT ITER 1808 NEW BEST:: SOT 724619 SOS 411436 HAS SOPS 409163 HAS SOUS 228704 HAS SOUPS 227105 WITH SCORE 227516.436
AT ITER 1809 NEW BEST:: SOT 724546 SOS 411375 HAS SOPS 409102 HAS SOUS 228655 HAS SOUPS 227056 WITH SCORE 227467.375
AT ITER 1812 NEW BEST:: SOT 723582 SOS 410451 HAS SOPS 408178 HAS SOUS 227762 HAS SOUPS 226163 WITH SCORE 226573.451
AT ITER 1814 NEW BEST:: SOT 723582 SOS 410434 HAS SOPS 408161 HAS SOUS 227762 HAS SOUPS 226163 WITH SCORE 226573.434
AT ITER 1826 NEW BEST:: SOT 722969 SOS 409795 HAS SOPS 407522 HAS SOUS 226495 HAS SOUPS 224896 WITH SCORE 225305.795
AT ITER 1827 NEW BEST:: SOT 722969 SOS 409697 HAS SOPS 407424 HAS SOUS 226397 HAS SOUPS 224798 WITH SCORE 225207.697
AT ITER 1848 NEW BEST:: SOT 722650 SOS 407312 HAS SOPS 405039 HAS SOUS 225991 HAS SOUPS 224392 WITH SCORE 224799.312
AT ITER 1849 NEW BEST:: SOT 722455 SOS 407117 HAS SOPS 404844 HAS SOUS 225796 HAS SOUPS 224197 WITH SCORE 224604.117
AT ITER 1851 NEW BEST:: SOT 722455 SOS 406867 HAS SOPS 404594 HAS SOUS 225796 HAS SOUPS 224197 WITH SCORE 224603.867
AT ITER 1852 NEW BEST:: SOT 721828 SOS 406540 HAS SOPS 404267 HAS SOUS 225785 HAS SOUPS 224186 WITH SCORE 224592.54
AT ITER 1853 NEW BEST:: SOT 721836 SOS 406467 HAS SOPS 404194 HAS SOUS 225720 HAS SOUPS 224121 WITH SCORE 224527.467
AT ITER 1854 NEW BEST:: SOT 720749 SOS 405898 HAS SOPS 403625 HAS SOUS 224976 HAS SOUPS 223377 WITH SCORE 223782.898
AT ITER 1858 NEW BEST:: SOT 720735 SOS 405792 HAS SOPS 403519 HAS SOUS 224924 HAS SOUPS 223325 WITH SCORE 223730.792
AT ITER 1862 NEW BEST:: SOT 720095 SOS 404730 HAS SOPS 402457 HAS SOUS 224368 HAS SOUPS 222769 WITH SCORE 223173.73
AT ITER 1864 NEW BEST:: SOT 720037 SOS 404928 HAS SOPS 402655 HAS SOUS 224276 HAS SOUPS 222677 WITH SCORE 223081.928
AT ITER 1872 NEW BEST:: SOT 720037 SOS 404780 HAS SOPS 402507 HAS SOUS 224239 HAS SOUPS 222640 WITH SCORE 223044.78
AT ITER 1878 NEW BEST:: SOT 719983 SOS 404702 HAS SOPS 402429 HAS SOUS 224182 HAS SOUPS 222583 WITH SCORE 222987.702
AT ITER 1880 NEW BEST:: SOT 719959 SOS 404721 HAS SOPS 402382 HAS SOUS 224069 HAS SOUPS 222470 WITH SCORE 222874.721
AT ITER 1883 NEW BEST:: SOT 719747 SOS 404901 HAS SOPS 402562 HAS SOUS 223902 HAS SOUPS 222303 WITH SCORE 222707.901
AT ITER 1887 NEW BEST:: SOT 719735 SOS 404871 HAS SOPS 402532 HAS SOUS 223890 HAS SOUPS 222291 WITH SCORE 222695.871
AT ITER 1888 NEW BEST:: SOT 719735 SOS 404865 HAS SOPS 402526 HAS SOUS 223890 HAS SOUPS 222291 WITH SCORE 222695.865
AT ITER 1899 NEW BEST:: SOT 719649 SOS 404381 HAS SOPS 402042 HAS SOUS 223831 HAS SOUPS 222232 WITH SCORE 222636.381
AT ITER 1916 NEW BEST:: SOT 719671 SOS 404315 HAS SOPS 401976 HAS SOUS 223809 HAS SOUPS 222210 WITH SCORE 222614.315
AT ITER 1921 NEW BEST:: SOT 719287 SOS 402835 HAS SOPS 400496 HAS SOUS 223552 HAS SOUPS 221953 WITH SCORE 222355.835
AT ITER 1923 NEW BEST:: SOT 719528 SOS 403077 HAS SOPS 400738 HAS SOUS 223458 HAS SOUPS 221859 WITH SCORE 222262.077
AT ITER 1928 NEW BEST:: SOT 719498 SOS 403047 HAS SOPS 400708 HAS SOUS 223428 HAS SOUPS 221829 WITH SCORE 222232.047
AT ITER 1929 NEW BEST:: SOT 719698 SOS 403247 HAS SOPS 400908 HAS SOUS 223351 HAS SOUPS 221752 WITH SCORE 222155.247
AT ITER 1933 NEW BEST:: SOT 719698 SOS 403048 HAS SOPS 400709 HAS SOUS 223139 HAS SOUPS 221540 WITH SCORE 221943.048
AT ITER 1937 NEW BEST:: SOT 719234 SOS 402220 HAS SOPS 399881 HAS SOUS 222793 HAS SOUPS 221194 WITH SCORE 221596.22
AT ITER 1938 NEW BEST:: SOT 719234 SOS 402230 HAS SOPS 399881 HAS SOUS 222783 HAS SOUPS 221184 WITH SCORE 221586.23
AT ITER 1942 NEW BEST:: SOT 719100 SOS 402096 HAS SOPS 399747 HAS SOUS 222688 HAS SOUPS 221089 WITH SCORE 221491.096
AT ITER 1943 NEW BEST:: SOT 719056 SOS 402052 HAS SOPS 399703 HAS SOUS 222688 HAS SOUPS 221089 WITH SCORE 221491.052
AT ITER 1952 NEW BEST:: SOT 718891 SOS 401887 HAS SOPS 399538 HAS SOUS 222417 HAS SOUPS 220818 WITH SCORE 221219.887
AT ITER 1955 NEW BEST:: SOT 717838 SOS 400178 HAS SOPS 397829 HAS SOUS 221964 HAS SOUPS 220365 WITH SCORE 220765.178
AT ITER 1957 NEW BEST:: SOT 717687 SOS 399981 HAS SOPS 397632 HAS SOUS 221758 HAS SOUPS 220159 WITH SCORE 220558.981
AT ITER 1959 NEW BEST:: SOT 717675 SOS 400032 HAS SOPS 397683 HAS SOUS 221693 HAS SOUPS 220094 WITH SCORE 220494.032
AT ITER 1975 NEW BEST:: SOT 717401 SOS 400716 HAS SOPS 398367 HAS SOUS 221535 HAS SOUPS 219936 WITH SCORE 220336.716
AT ITER 2000 NEW BEST:: SOT 717424 SOS 400739 HAS SOPS 398390 HAS SOUS 221456 HAS SOUPS 219857 WITH SCORE 220257.739
AT ITER 2001 NEW BEST:: SOT 716116 SOS 398225 HAS SOPS 395876 HAS SOUS 221063 HAS SOUPS 219464 WITH SCORE 219862.225
AT ITER 2002 NEW BEST:: SOT 716334 SOS 397955 HAS SOPS 395606 HAS SOUS 221051 HAS SOUPS 219452 WITH SCORE 219849.955
AT ITER 2003 NEW BEST:: SOT 716316 SOS 397755 HAS SOPS 395406 HAS SOUS 220832 HAS SOUPS 219233 WITH SCORE 219630.755
AT ITER 2004 NEW BEST:: SOT 716294 SOS 397733 HAS SOPS 395384 HAS SOUS 220832 HAS SOUPS 219233 WITH SCORE 219630.733
AT ITER 2017 NEW BEST:: SOT 716225 SOS 397664 HAS SOPS 395315 HAS SOUS 220829 HAS SOUPS 219230 WITH SCORE 219627.664
AT ITER 2029 NEW BEST:: SOT 716213 SOS 397648 HAS SOPS 395299 HAS SOUS 220813 HAS SOUPS 219214 WITH SCORE 219611.648
AT ITER 2030 NEW BEST:: SOT 715756 SOS 397514 HAS SOPS 395165 HAS SOUS 220809 HAS SOUPS 219210 WITH SCORE 219607.514
AT ITER 2032 NEW BEST:: SOT 715786 SOS 397388 HAS SOPS 395039 HAS SOUS 220809 HAS SOUPS 219210 WITH SCORE 219607.388
AT ITER 2061 NEW BEST:: SOT 715786 SOS 397388 HAS SOPS 395039 HAS SOUS 220784 HAS SOUPS 219185 WITH SCORE 219582.388
AT ITER 2064 NEW BEST:: SOT 715689 SOS 397291 HAS SOPS 394942 HAS SOUS 220731 HAS SOUPS 219132 WITH SCORE 219529.291
AT ITER 2069 NEW BEST:: SOT 715844 SOS 397082 HAS SOPS 394601 HAS SOUS 220633 HAS SOUPS 218940 WITH SCORE 219337.082
AT ITER 2070 NEW BEST:: SOT 715764 SOS 396922 HAS SOPS 394441 HAS SOUS 220328 HAS SOUPS 218635 WITH SCORE 219031.922
AT ITER 2074 NEW BEST:: SOT 715848 SOS 396750 HAS SOPS 394269 HAS SOUS 219711 HAS SOUPS 218018 WITH SCORE 218414.75
AT ITER 2081 NEW BEST:: SOT 715800 SOS 396749 HAS SOPS 394292 HAS SOUS 219699 HAS SOUPS 218006 WITH SCORE 218402.749
AT ITER 2083 NEW BEST:: SOT 715284 SOS 396026 HAS SOPS 393569 HAS SOUS 219192 HAS SOUPS 217499 WITH SCORE 217895.026
AT ITER 2085 NEW BEST:: SOT 714847 SOS 395416 HAS SOPS 392959 HAS SOUS 218545 HAS SOUPS 216852 WITH SCORE 217247.416
AT ITER 2091 NEW BEST:: SOT 715029 SOS 395368 HAS SOPS 392911 HAS SOUS 218394 HAS SOUPS 216701 WITH SCORE 217096.368
AT ITER 2093 NEW BEST:: SOT 714737 SOS 395076 HAS SOPS 392619 HAS SOUS 218156 HAS SOUPS 216463 WITH SCORE 216858.076
AT ITER 2097 NEW BEST:: SOT 714737 SOS 395133 HAS SOPS 392676 HAS SOUS 218117 HAS SOUPS 216424 WITH SCORE 216819.133
AT ITER 2105 NEW BEST:: SOT 714824 SOS 395133 HAS SOPS 392676 HAS SOUS 218080 HAS SOUPS 216387 WITH SCORE 216782.133
AT ITER 2106 NEW BEST:: SOT 714766 SOS 394990 HAS SOPS 392533 HAS SOUS 218078 HAS SOUPS 216385 WITH SCORE 216779.99
AT ITER 2125 NEW BEST:: SOT 714441 SOS 394665 HAS SOPS 392208 HAS SOUS 217648 HAS SOUPS 215955 WITH SCORE 216349.665
AT ITER 2132 NEW BEST:: SOT 714417 SOS 394331 HAS SOPS 391874 HAS SOUS 217200 HAS SOUPS 215507 WITH SCORE 215901.331
AT ITER 2136 NEW BEST:: SOT 714417 SOS 394544 HAS SOPS 392087 HAS SOUS 217162 HAS SOUPS 215469 WITH SCORE 215863.544
AT ITER 2142 NEW BEST:: SOT 714230 SOS 394226 HAS SOPS 391769 HAS SOUS 217035 HAS SOUPS 215342 WITH SCORE 215736.226
AT ITER 2146 NEW BEST:: SOT 714167 SOS 394163 HAS SOPS 391706 HAS SOUS 216963 HAS SOUPS 215270 WITH SCORE 215664.163
AT ITER 2172 NEW BEST:: SOT 714098 SOS 393123 HAS SOPS 390666 HAS SOUS 216384 HAS SOUPS 214691 WITH SCORE 215084.123
AT ITER 2175 NEW BEST:: SOT 714073 SOS 393077 HAS SOPS 390641 HAS SOUS 216270 HAS SOUPS 214598 WITH SCORE 214991.077
AT ITER 2191 NEW BEST:: SOT 714210 SOS 393090 HAS SOPS 390654 HAS SOUS 215955 HAS SOUPS 214283 WITH SCORE 214676.09
AT ITER 2192 NEW BEST:: SOT 714164 SOS 393181 HAS SOPS 390745 HAS SOUS 215933 HAS SOUPS 214261 WITH SCORE 214654.181
AT ITER 2193 NEW BEST:: SOT 714220 SOS 393237 HAS SOPS 390801 HAS SOUS 215905 HAS SOUPS 214233 WITH SCORE 214626.237
AT ITER 2198 NEW BEST:: SOT 713914 SOS 392897 HAS SOPS 390461 HAS SOUS 215603 HAS SOUPS 213931 WITH SCORE 214323.897
AT ITER 2213 NEW BEST:: SOT 713641 SOS 392587 HAS SOPS 390151 HAS SOUS 215529 HAS SOUPS 213857 WITH SCORE 214249.587
AT ITER 2215 NEW BEST:: SOT 713158 SOS 392104 HAS SOPS 389668 HAS SOUS 215362 HAS SOUPS 213690 WITH SCORE 214082.104
AT ITER 2218 NEW BEST:: SOT 713094 SOS 391976 HAS SOPS 389540 HAS SOUS 215266 HAS SOUPS 213594 WITH SCORE 213985.976
AT ITER 2228 NEW BEST:: SOT 711262 SOS 390164 HAS SOPS 387728 HAS SOUS 213638 HAS SOUPS 211966 WITH SCORE 212356.164
AT ITER 2244 NEW BEST:: SOT 711272 SOS 389613 HAS SOPS 387033 HAS SOUS 213042 HAS SOUPS 211226 WITH SCORE 211615.613
AT ITER 2245 NEW BEST:: SOT 710950 SOS 389291 HAS SOPS 386711 HAS SOUS 212899 HAS SOUPS 211083 WITH SCORE 211472.291
AT ITER 2256 NEW BEST:: SOT 710261 SOS 388465 HAS SOPS 385885 HAS SOUS 212027 HAS SOUPS 210211 WITH SCORE 210599.465
AT ITER 2272 NEW BEST:: SOT 710234 SOS 388438 HAS SOPS 385858 HAS SOUS 211828 HAS SOUPS 210012 WITH SCORE 210400.438
AT ITER 2274 NEW BEST:: SOT 710170 SOS 387958 HAS SOPS 385378 HAS SOUS 211790 HAS SOUPS 209974 WITH SCORE 210361.958
AT ITER 2275 NEW BEST:: SOT 710296 SOS 388700 HAS SOPS 386087 HAS SOUS 211791 HAS SOUPS 209942 WITH SCORE 210330.7
AT ITER 2290 NEW BEST:: SOT 710296 SOS 388700 HAS SOPS 386087 HAS SOUS 211737 HAS SOUPS 209888 WITH SCORE 210276.7
AT ITER 2295 NEW BEST:: SOT 710471 SOS 388829 HAS SOPS 386216 HAS SOUS 211712 HAS SOUPS 209863 WITH SCORE 210251.829
AT ITER 2298 NEW BEST:: SOT 710350 SOS 388391 HAS SOPS 385778 HAS SOUS 211401 HAS SOUPS 209552 WITH SCORE 209940.391
AT ITER 2305 NEW BEST:: SOT 710350 SOS 386743 HAS SOPS 384130 HAS SOUS 211396 HAS SOUPS 209547 WITH SCORE 209933.743
AT ITER 2308 NEW BEST:: SOT 710525 SOS 386686 HAS SOPS 384073 HAS SOUS 211395 HAS SOUPS 209546 WITH SCORE 209932.686
AT ITER 2311 NEW BEST:: SOT 710561 SOS 386193 HAS SOPS 383580 HAS SOUS 211023 HAS SOUPS 209174 WITH SCORE 209560.193
AT ITER 2312 NEW BEST:: SOT 710457 SOS 384816 HAS SOPS 382203 HAS SOUS 210880 HAS SOUPS 209031 WITH SCORE 209415.816
AT ITER 2317 NEW BEST:: SOT 710699 SOS 385155 HAS SOPS 382542 HAS SOUS 210695 HAS SOUPS 208846 WITH SCORE 209231.155
AT ITER 2318 NEW BEST:: SOT 710653 SOS 385010 HAS SOPS 382397 HAS SOUS 210626 HAS SOUPS 208777 WITH SCORE 209162.01
AT ITER 2327 NEW BEST:: SOT 710769 SOS 384989 HAS SOPS 382376 HAS SOUS 210314 HAS SOUPS 208465 WITH SCORE 208849.989
AT ITER 2329 NEW BEST:: SOT 710757 SOS 384977 HAS SOPS 382364 HAS SOUS 210300 HAS SOUPS 208451 WITH SCORE 208835.977
AT ITER 2337 NEW BEST:: SOT 710598 SOS 384826 HAS SOPS 382213 HAS SOUS 210009 HAS SOUPS 208160 WITH SCORE 208544.826
AT ITER 2353 NEW BEST:: SOT 710142 SOS 384370 HAS SOPS 381757 HAS SOUS 209551 HAS SOUPS 207702 WITH SCORE 208086.37
AT ITER 2358 NEW BEST:: SOT 710060 SOS 384416 HAS SOPS 381803 HAS SOUS 209437 HAS SOUPS 207588 WITH SCORE 207972.416
AT ITER 2360 NEW BEST:: SOT 710256 SOS 384301 HAS SOPS 381688 HAS SOUS 209378 HAS SOUPS 207529 WITH SCORE 207913.301
AT ITER 2365 NEW BEST:: SOT 710252 SOS 384297 HAS SOPS 381684 HAS SOUS 209374 HAS SOUPS 207525 WITH SCORE 207909.297
AT ITER 2368 NEW BEST:: SOT 709924 SOS 383786 HAS SOPS 381173 HAS SOUS 209040 HAS SOUPS 207191 WITH SCORE 207574.786
AT ITER 2369 NEW BEST:: SOT 709973 SOS 383163 HAS SOPS 380524 HAS SOUS 209026 HAS SOUPS 207151 WITH SCORE 207534.163
AT ITER 2379 NEW BEST:: SOT 709973 SOS 382986 HAS SOPS 380347 HAS SOUS 208967 HAS SOUPS 207092 WITH SCORE 207474.986
AT ITER 2381 NEW BEST:: SOT 709957 SOS 382970 HAS SOPS 380331 HAS SOUS 208911 HAS SOUPS 207036 WITH SCORE 207418.97
AT ITER 2384 NEW BEST:: SOT 709885 SOS 382895 HAS SOPS 380256 HAS SOUS 208887 HAS SOUPS 207012 WITH SCORE 207394.895
AT ITER 2385 NEW BEST:: SOT 709850 SOS 382860 HAS SOPS 380221 HAS SOUS 208852 HAS SOUPS 206977 WITH SCORE 207359.86
AT ITER 2392 NEW BEST:: SOT 709264 SOS 382224 HAS SOPS 379585 HAS SOUS 208306 HAS SOUPS 206431 WITH SCORE 206813.224
AT ITER 2400 NEW BEST:: SOT 709288 SOS 382017 HAS SOPS 379378 HAS SOUS 208164 HAS SOUPS 206289 WITH SCORE 206671.017
AT ITER 2405 NEW BEST:: SOT 709270 SOS 382668 HAS SOPS 380029 HAS SOUS 208155 HAS SOUPS 206280 WITH SCORE 206662.668
AT ITER 2407 NEW BEST:: SOT 709281 SOS 382670 HAS SOPS 380031 HAS SOUS 208130 HAS SOUPS 206255 WITH SCORE 206637.67
AT ITER 2412 NEW BEST:: SOT 709172 SOS 382561 HAS SOPS 379922 HAS SOUS 208074 HAS SOUPS 206199 WITH SCORE 206581.561
AT ITER 2417 NEW BEST:: SOT 709406 SOS 382104 HAS SOPS 379465 HAS SOUS 207946 HAS SOUPS 206071 WITH SCORE 206453.104
AT ITER 2421 NEW BEST:: SOT 709390 SOS 381961 HAS SOPS 379322 HAS SOUS 207946 HAS SOUPS 206071 WITH SCORE 206452.961
AT ITER 2438 NEW BEST:: SOT 709547 SOS 381943 HAS SOPS 379304 HAS SOUS 207863 HAS SOUPS 205988 WITH SCORE 206369.943
AT ITER 2439 NEW BEST:: SOT 709536 SOS 381932 HAS SOPS 379293 HAS SOUS 207852 HAS SOUPS 205977 WITH SCORE 206358.932
AT ITER 2444 NEW BEST:: SOT 709612 SOS 381408 HAS SOPS 378769 HAS SOUS 207456 HAS SOUPS 205581 WITH SCORE 205962.408
AT ITER 2445 NEW BEST:: SOT 709456 SOS 380026 HAS SOPS 377387 HAS SOUS 207086 HAS SOUPS 205211 WITH SCORE 205591.026
AT ITER 2453 NEW BEST:: SOT 709120 SOS 380066 HAS SOPS 377439 HAS SOUS 206636 HAS SOUPS 204761 WITH SCORE 205141.066
AT ITER 2456 NEW BEST:: SOT 708733 SOS 381887 HAS SOPS 379260 HAS SOUS 206074 HAS SOUPS 204199 WITH SCORE 204580.887
AT ITER 2464 NEW BEST:: SOT 709105 SOS 381380 HAS SOPS 378753 HAS SOUS 205885 HAS SOUPS 204010 WITH SCORE 204391.38
AT ITER 2470 NEW BEST:: SOT 708727 SOS 380924 HAS SOPS 378297 HAS SOUS 205389 HAS SOUPS 203514 WITH SCORE 203894.924
AT ITER 2480 NEW BEST:: SOT 708728 SOS 380926 HAS SOPS 378299 HAS SOUS 205383 HAS SOUPS 203508 WITH SCORE 203888.926
AT ITER 2481 NEW BEST:: SOT 708698 SOS 380896 HAS SOPS 378269 HAS SOUS 205353 HAS SOUPS 203478 WITH SCORE 203858.896
AT ITER 2483 NEW BEST:: SOT 708697 SOS 382472 HAS SOPS 379845 HAS SOUS 205303 HAS SOUPS 203428 WITH SCORE 203810.472
AT ITER 2495 NEW BEST:: SOT 708661 SOS 382308 HAS SOPS 379693 HAS SOUS 205245 HAS SOUPS 203370 WITH SCORE 203752.308
AT ITER 2496 NEW BEST:: SOT 709004 SOS 382432 HAS SOPS 379817 HAS SOUS 205232 HAS SOUPS 203357 WITH SCORE 203739.432
AT ITER 2500 NEW BEST:: SOT 709029 SOS 382482 HAS SOPS 379842 HAS SOUS 205207 HAS SOUPS 203307 WITH SCORE 203689.482
AT ITER 2512 NEW BEST:: SOT 709601 SOS 382324 HAS SOPS 379516 HAS SOUS 205194 HAS SOUPS 203126 WITH SCORE 203508.324
AT ITER 2523 NEW BEST:: SOT 709518 SOS 380593 HAS SOPS 377785 HAS SOUS 204940 HAS SOUPS 202872 WITH SCORE 203252.593
AT ITER 2539 NEW BEST:: SOT 709763 SOS 380703 HAS SOPS 377895 HAS SOUS 204915 HAS SOUPS 202847 WITH SCORE 203227.703
AT ITER 2540 NEW BEST:: SOT 709751 SOS 380699 HAS SOPS 377891 HAS SOUS 204903 HAS SOUPS 202835 WITH SCORE 203215.699
AT ITER 2541 NEW BEST:: SOT 709486 SOS 380322 HAS SOPS 377514 HAS SOUS 204800 HAS SOUPS 202732 WITH SCORE 203112.322
AT ITER 2547 NEW BEST:: SOT 709501 SOS 380352 HAS SOPS 377418 HAS SOUS 204914 HAS SOUPS 202720 WITH SCORE 203100.352
AT ITER 2551 NEW BEST:: SOT 708809 SOS 379700 HAS SOPS 376766 HAS SOUS 204522 HAS SOUPS 202328 WITH SCORE 202707.7
AT ITER 2558 NEW BEST:: SOT 708175 SOS 380202 HAS SOPS 377717 HAS SOUS 204066 HAS SOUPS 202134 WITH SCORE 202514.202
AT ITER 2563 NEW BEST:: SOT 707891 SOS 380444 HAS SOPS 377959 HAS SOUS 203865 HAS SOUPS 201933 WITH SCORE 202313.444
AT ITER 2574 NEW BEST:: SOT 707901 SOS 380454 HAS SOPS 377969 HAS SOUS 203111 HAS SOUPS 201179 WITH SCORE 201559.454
AT ITER 2575 NEW BEST:: SOT 707953 SOS 380428 HAS SOPS 377943 HAS SOUS 203111 HAS SOUPS 201179 WITH SCORE 201559.428
AT ITER 2580 NEW BEST:: SOT 707876 SOS 380318 HAS SOPS 377833 HAS SOUS 203023 HAS SOUPS 201091 WITH SCORE 201471.318
AT ITER 2584 NEW BEST:: SOT 707839 SOS 380497 HAS SOPS 377964 HAS SOUS 203010 HAS SOUPS 201030 WITH SCORE 201410.497
AT ITER 2585 NEW BEST:: SOT 707678 SOS 380712 HAS SOPS 378179 HAS SOUS 202999 HAS SOUPS 201019 WITH SCORE 201399.712
AT ITER 2589 NEW BEST:: SOT 707688 SOS 380588 HAS SOPS 378055 HAS SOUS 202991 HAS SOUPS 201011 WITH SCORE 201391.588
AT ITER 2592 NEW BEST:: SOT 707670 SOS 380608 HAS SOPS 378075 HAS SOUS 202933 HAS SOUPS 200953 WITH SCORE 201333.608
AT ITER 2594 NEW BEST:: SOT 707676 SOS 380583 HAS SOPS 378050 HAS SOUS 202886 HAS SOUPS 200906 WITH SCORE 201286.583
AT ITER 2596 NEW BEST:: SOT 707672 SOS 380515 HAS SOPS 377982 HAS SOUS 202882 HAS SOUPS 200902 WITH SCORE 201282.515
AT ITER 2622 NEW BEST:: SOT 707673 SOS 380514 HAS SOPS 377981 HAS SOUS 202882 HAS SOUPS 200902 WITH SCORE 201282.514
AT ITER 2623 NEW BEST:: SOT 707303 SOS 379511 HAS SOPS 376978 HAS SOUS 202720 HAS SOUPS 200740 WITH SCORE 201119.511
AT ITER 2629 NEW BEST:: SOT 707381 SOS 380206 HAS SOPS 377673 HAS SOUS 202556 HAS SOUPS 200576 WITH SCORE 200956.206
AT ITER 2637 NEW BEST:: SOT 707350 SOS 380071 HAS SOPS 377611 HAS SOUS 202483 HAS SOUPS 200576 WITH SCORE 200956.071
AT ITER 2640 NEW BEST:: SOT 707339 SOS 380038 HAS SOPS 377578 HAS SOUS 202472 HAS SOUPS 200565 WITH SCORE 200945.038
AT ITER 2643 NEW BEST:: SOT 707271 SOS 379988 HAS SOPS 377528 HAS SOUS 202254 HAS SOUPS 200347 WITH SCORE 200726.988
AT ITER 2646 NEW BEST:: SOT 707237 SOS 379920 HAS SOPS 377460 HAS SOUS 202220 HAS SOUPS 200313 WITH SCORE 200692.92
AT ITER 2651 NEW BEST:: SOT 706896 SOS 379579 HAS SOPS 377119 HAS SOUS 201656 HAS SOUPS 199749 WITH SCORE 200128.579
AT ITER 2654 NEW BEST:: SOT 706685 SOS 379162 HAS SOPS 376702 HAS SOUS 201286 HAS SOUPS 199379 WITH SCORE 199758.162
AT ITER 2657 NEW BEST:: SOT 706678 SOS 379090 HAS SOPS 376630 HAS SOUS 201283 HAS SOUPS 199376 WITH SCORE 199755.09
AT ITER 2668 NEW BEST:: SOT 706763 SOS 378857 HAS SOPS 376397 HAS SOUS 201028 HAS SOUPS 199121 WITH SCORE 199499.857
AT ITER 2669 NEW BEST:: SOT 706605 SOS 378788 HAS SOPS 376328 HAS SOUS 200998 HAS SOUPS 199091 WITH SCORE 199469.788
AT ITER 2674 NEW BEST:: SOT 706624 SOS 379447 HAS SOPS 376987 HAS SOUS 200955 HAS SOUPS 199048 WITH SCORE 199427.447
AT ITER 2686 NEW BEST:: SOT 705927 SOS 378769 HAS SOPS 376290 HAS SOUS 200100 HAS SOUPS 198174 WITH SCORE 198552.769
AT ITER 2695 NEW BEST:: SOT 705577 SOS 378202 HAS SOPS 375723 HAS SOUS 199910 HAS SOUPS 197984 WITH SCORE 198362.202
AT ITER 2700 NEW BEST:: SOT 705643 SOS 378136 HAS SOPS 375657 HAS SOUS 199868 HAS SOUPS 197942 WITH SCORE 198320.136
AT ITER 2707 NEW BEST:: SOT 705474 SOS 377420 HAS SOPS 374941 HAS SOUS 199390 HAS SOUPS 197464 WITH SCORE 197841.42
AT ITER 2713 NEW BEST:: SOT 705338 SOS 377152 HAS SOPS 374673 HAS SOUS 199170 HAS SOUPS 197244 WITH SCORE 197621.152
AT ITER 2725 NEW BEST:: SOT 705329 SOS 377125 HAS SOPS 374646 HAS SOUS 199143 HAS SOUPS 197217 WITH SCORE 197594.125
AT ITER 2726 NEW BEST:: SOT 705189 SOS 376845 HAS SOPS 374366 HAS SOUS 199080 HAS SOUPS 197154 WITH SCORE 197530.845
AT ITER 2727 NEW BEST:: SOT 704898 SOS 375997 HAS SOPS 373518 HAS SOUS 198835 HAS SOUPS 196909 WITH SCORE 197284.997
AT ITER 2749 NEW BEST:: SOT 704864 SOS 375946 HAS SOPS 373467 HAS SOUS 198767 HAS SOUPS 196841 WITH SCORE 197216.946
AT ITER 2753 NEW BEST:: SOT 704487 SOS 375496 HAS SOPS 373017 HAS SOUS 198507 HAS SOUPS 196581 WITH SCORE 196956.496
AT ITER 2755 NEW BEST:: SOT 704464 SOS 375720 HAS SOPS 373293 HAS SOUS 198380 HAS SOUPS 196506 WITH SCORE 196881.72
AT ITER 2759 NEW BEST:: SOT 704425 SOS 375655 HAS SOPS 373228 HAS SOUS 198367 HAS SOUPS 196493 WITH SCORE 196868.655
AT ITER 2768 NEW BEST:: SOT 704386 SOS 375620 HAS SOPS 373193 HAS SOUS 198296 HAS SOUPS 196422 WITH SCORE 196797.62
AT ITER 2770 NEW BEST:: SOT 704386 SOS 375620 HAS SOPS 373193 HAS SOUS 198173 HAS SOUPS 196299 WITH SCORE 196674.62
AT ITER 2775 NEW BEST:: SOT 705790 SOS 374935 HAS SOPS 371953 HAS SOUS 198179 HAS SOUPS 196009 WITH SCORE 196383.935
AT ITER 2777 NEW BEST:: SOT 705627 SOS 374955 HAS SOPS 371973 HAS SOUS 198170 HAS SOUPS 196000 WITH SCORE 196374.955
AT ITER 2782 NEW BEST:: SOT 705449 SOS 374399 HAS SOPS 371417 HAS SOUS 197866 HAS SOUPS 195696 WITH SCORE 196070.399
AT ITER 2783 NEW BEST:: SOT 705601 SOS 373190 HAS SOPS 370208 HAS SOUS 197093 HAS SOUPS 194923 WITH SCORE 195296.19
AT ITER 2786 NEW BEST:: SOT 705591 SOS 373150 HAS SOPS 370168 HAS SOUS 197043 HAS SOUPS 194873 WITH SCORE 195246.15
AT ITER 2797 NEW BEST:: SOT 705544 SOS 373103 HAS SOPS 370121 HAS SOUS 196996 HAS SOUPS 194826 WITH SCORE 195199.103
AT ITER 2799 NEW BEST:: SOT 705582 SOS 373141 HAS SOPS 370159 HAS SOUS 196958 HAS SOUPS 194788 WITH SCORE 195161.141
AT ITER 2808 NEW BEST:: SOT 705838 SOS 373176 HAS SOPS 370194 HAS SOUS 196953 HAS SOUPS 194783 WITH SCORE 195156.176
AT ITER 2810 NEW BEST:: SOT 705774 SOS 373208 HAS SOPS 370226 HAS SOUS 196946 HAS SOUPS 194776 WITH SCORE 195149.208
AT ITER 2822 NEW BEST:: SOT 705501 SOS 372866 HAS SOPS 369884 HAS SOUS 196857 HAS SOUPS 194687 WITH SCORE 195059.866
AT ITER 2823 NEW BEST:: SOT 705239 SOS 372892 HAS SOPS 369910 HAS SOUS 196796 HAS SOUPS 194626 WITH SCORE 194998.892
AT ITER 2826 NEW BEST:: SOT 705236 SOS 372889 HAS SOPS 369907 HAS SOUS 196793 HAS SOUPS 194623 WITH SCORE 194995.889
AT ITER 2832 NEW BEST:: SOT 705181 SOS 372834 HAS SOPS 369852 HAS SOUS 196722 HAS SOUPS 194552 WITH SCORE 194924.834
AT ITER 2838 NEW BEST:: SOT 705193 SOS 372846 HAS SOPS 369864 HAS SOUS 196668 HAS SOUPS 194498 WITH SCORE 194870.846
AT ITER 2841 NEW BEST:: SOT 704987 SOS 371826 HAS SOPS 368844 HAS SOUS 196364 HAS SOUPS 194194 WITH SCORE 194565.826
AT ITER 2843 NEW BEST:: SOT 704932 SOS 371743 HAS SOPS 368761 HAS SOUS 196171 HAS SOUPS 194001 WITH SCORE 194372.743
AT ITER 2845 NEW BEST:: SOT 704738 SOS 371739 HAS SOPS 368757 HAS SOUS 196069 HAS SOUPS 193899 WITH SCORE 194270.739
AT ITER 2847 NEW BEST:: SOT 704958 SOS 371912 HAS SOPS 368930 HAS SOUS 196037 HAS SOUPS 193867 WITH SCORE 194238.912
AT ITER 2852 NEW BEST:: SOT 704578 SOS 372302 HAS SOPS 369320 HAS SOUS 195801 HAS SOUPS 193631 WITH SCORE 194003.302
AT ITER 2866 NEW BEST:: SOT 704589 SOS 372313 HAS SOPS 369331 HAS SOUS 195699 HAS SOUPS 193529 WITH SCORE 193901.313
AT ITER 2871 NEW BEST:: SOT 704403 SOS 372127 HAS SOPS 369145 HAS SOUS 195316 HAS SOUPS 193146 WITH SCORE 193518.127
AT ITER 2876 NEW BEST:: SOT 704335 SOS 371988 HAS SOPS 369006 HAS SOUS 195202 HAS SOUPS 193032 WITH SCORE 193403.988
AT ITER 2879 NEW BEST:: SOT 704345 SOS 373099 HAS SOPS 370117 HAS SOUS 195012 HAS SOUPS 192842 WITH SCORE 193215.099
AT ITER 2882 NEW BEST:: SOT 704162 SOS 372916 HAS SOPS 369934 HAS SOUS 194995 HAS SOUPS 192825 WITH SCORE 193197.916
AT ITER 2890 NEW BEST:: SOT 703692 SOS 371005 HAS SOPS 368023 HAS SOUS 194110 HAS SOUPS 191940 WITH SCORE 192311.005
AT ITER 2897 NEW BEST:: SOT 703357 SOS 370856 HAS SOPS 367936 HAS SOUS 193861 HAS SOUPS 191753 WITH SCORE 192123.856
AT ITER 2903 NEW BEST:: SOT 703143 SOS 370486 HAS SOPS 367566 HAS SOUS 193092 HAS SOUPS 190984 WITH SCORE 191354.486
AT ITER 2904 NEW BEST:: SOT 702421 SOS 371807 HAS SOPS 368887 HAS SOUS 192963 HAS SOUPS 190855 WITH SCORE 191226.807
AT ITER 2907 NEW BEST:: SOT 702273 SOS 371719 HAS SOPS 368799 HAS SOUS 192863 HAS SOUPS 190755 WITH SCORE 191126.719
AT ITER 2909 NEW BEST:: SOT 702273 SOS 371708 HAS SOPS 368788 HAS SOUS 192863 HAS SOUPS 190755 WITH SCORE 191126.708
AT ITER 2923 NEW BEST:: SOT 702000 SOS 371259 HAS SOPS 368339 HAS SOUS 192774 HAS SOUPS 190666 WITH SCORE 191037.259
AT ITER 2930 NEW BEST:: SOT 701996 SOS 371255 HAS SOPS 368335 HAS SOUS 192770 HAS SOUPS 190662 WITH SCORE 191033.255
AT ITER 2934 NEW BEST:: SOT 701941 SOS 371101 HAS SOPS 368181 HAS SOUS 192636 HAS SOUPS 190528 WITH SCORE 190899.101
AT ITER 2939 NEW BEST:: SOT 701941 SOS 371101 HAS SOPS 368181 HAS SOUS 192568 HAS SOUPS 190460 WITH SCORE 190831.101
AT ITER 2971 NEW BEST:: SOT 701669 SOS 370938 HAS SOPS 368018 HAS SOUS 192405 HAS SOUPS 190297 WITH SCORE 190667.938
AT ITER 2976 NEW BEST:: SOT 701563 SOS 370832 HAS SOPS 367912 HAS SOUS 192352 HAS SOUPS 190244 WITH SCORE 190614.832
AT ITER 2978 NEW BEST:: SOT 701430 SOS 370324 HAS SOPS 367404 HAS SOUS 192209 HAS SOUPS 190101 WITH SCORE 190471.324
AT ITER 2982 NEW BEST:: SOT 701097 SOS 370197 HAS SOPS 367277 HAS SOUS 192013 HAS SOUPS 189905 WITH SCORE 190275.197
AT ITER 2985 NEW BEST:: SOT 701824 SOS 370736 HAS SOPS 367816 HAS SOUS 191927 HAS SOUPS 189819 WITH SCORE 190189.736
AT ITER 2990 NEW BEST:: SOT 701693 SOS 370488 HAS SOPS 367568 HAS SOUS 191634 HAS SOUPS 189526 WITH SCORE 189896.488
AT ITER 3000 NEW BEST:: SOT 701693 SOS 370427 HAS SOPS 367507 HAS SOUS 191612 HAS SOUPS 189504 WITH SCORE 189874.427
AT ITER 3002 NEW BEST:: SOT 701975 SOS 370548 HAS SOPS 367297 HAS SOUS 191714 HAS SOUPS 189363 WITH SCORE 189733.548
AT ITER 3011 NEW BEST:: SOT 701787 SOS 370360 HAS SOPS 367109 HAS SOUS 191563 HAS SOUPS 189212 WITH SCORE 189582.36
AT ITER 3031 NEW BEST:: SOT 701631 SOS 370204 HAS SOPS 366953 HAS SOUS 191358 HAS SOUPS 189007 WITH SCORE 189377.204
AT ITER 3045 NEW BEST:: SOT 701407 SOS 369980 HAS SOPS 366729 HAS SOUS 190517 HAS SOUPS 188166 WITH SCORE 188535.98
AT ITER 3048 NEW BEST:: SOT 701252 SOS 369825 HAS SOPS 366574 HAS SOUS 190297 HAS SOUPS 187946 WITH SCORE 188315.825
AT ITER 3058 NEW BEST:: SOT 700972 SOS 370673 HAS SOPS 367422 HAS SOUS 189855 HAS SOUPS 187504 WITH SCORE 187874.673
AT ITER 3059 NEW BEST:: SOT 700880 SOS 370054 HAS SOPS 366457 HAS SOUS 189552 HAS SOUPS 186855 WITH SCORE 187225.054
AT ITER 3063 NEW BEST:: SOT 700919 SOS 370110 HAS SOPS 366513 HAS SOUS 189540 HAS SOUPS 186843 WITH SCORE 187213.11
AT ITER 3070 NEW BEST:: SOT 700770 SOS 369992 HAS SOPS 366395 HAS SOUS 189498 HAS SOUPS 186801 WITH SCORE 187170.992
AT ITER 3074 NEW BEST:: SOT 701010 SOS 369612 HAS SOPS 366015 HAS SOUS 188949 HAS SOUPS 186252 WITH SCORE 186621.612
AT ITER 3084 NEW BEST:: SOT 700890 SOS 369354 HAS SOPS 365757 HAS SOUS 188782 HAS SOUPS 186085 WITH SCORE 186454.354
AT ITER 3085 NEW BEST:: SOT 701108 SOS 368545 HAS SOPS 364899 HAS SOUS 188782 HAS SOUPS 186036 WITH SCORE 186404.545
AT ITER 3090 NEW BEST:: SOT 701131 SOS 368499 HAS SOPS 364853 HAS SOUS 188759 HAS SOUPS 186013 WITH SCORE 186381.499
AT ITER 3096 NEW BEST:: SOT 701083 SOS 367321 HAS SOPS 363623 HAS SOUS 188573 HAS SOUPS 185775 WITH SCORE 186142.321
AT ITER 3100 NEW BEST:: SOT 700825 SOS 367231 HAS SOPS 363364 HAS SOUS 188406 HAS SOUPS 185439 WITH SCORE 185806.231
AT ITER 3111 NEW BEST:: SOT 700769 SOS 367175 HAS SOPS 363308 HAS SOUS 188322 HAS SOUPS 185355 WITH SCORE 185722.175
AT ITER 3121 NEW BEST:: SOT 700793 SOS 367187 HAS SOPS 363320 HAS SOUS 188298 HAS SOUPS 185331 WITH SCORE 185698.187
AT ITER 3135 NEW BEST:: SOT 700614 SOS 367098 HAS SOPS 363231 HAS SOUS 188032 HAS SOUPS 185065 WITH SCORE 185432.098
AT ITER 3139 NEW BEST:: SOT 700590 SOS 367186 HAS SOPS 363319 HAS SOUS 188009 HAS SOUPS 185042 WITH SCORE 185409.186
AT ITER 3140 NEW BEST:: SOT 700640 SOS 367084 HAS SOPS 363217 HAS SOUS 188008 HAS SOUPS 185041 WITH SCORE 185408.084
AT ITER 3143 NEW BEST:: SOT 700963 SOS 366970 HAS SOPS 363103 HAS SOUS 187914 HAS SOUPS 184947 WITH SCORE 185313.97
AT ITER 3152 NEW BEST:: SOT 700688 SOS 366779 HAS SOPS 362912 HAS SOUS 187451 HAS SOUPS 184484 WITH SCORE 184850.779
AT ITER 3153 NEW BEST:: SOT 700651 SOS 367391 HAS SOPS 363469 HAS SOUS 187407 HAS SOUPS 184330 WITH SCORE 184697.391
AT ITER 3155 NEW BEST:: SOT 700974 SOS 368037 HAS SOPS 364115 HAS SOUS 187392 HAS SOUPS 184315 WITH SCORE 184683.037
AT ITER 3169 NEW BEST:: SOT 700907 SOS 367970 HAS SOPS 364048 HAS SOUS 187289 HAS SOUPS 184212 WITH SCORE 184579.97
AT ITER 3184 NEW BEST:: SOT 701013 SOS 367999 HAS SOPS 364077 HAS SOUS 187211 HAS SOUPS 184134 WITH SCORE 184501.999
AT ITER 3194 NEW BEST:: SOT 701014 SOS 367745 HAS SOPS 363823 HAS SOUS 187195 HAS SOUPS 184118 WITH SCORE 184485.745
AT ITER 3201 NEW BEST:: SOT 701010 SOS 367741 HAS SOPS 363819 HAS SOUS 187191 HAS SOUPS 184114 WITH SCORE 184481.741
AT ITER 3215 NEW BEST:: SOT 700765 SOS 367496 HAS SOPS 363574 HAS SOUS 186734 HAS SOUPS 183657 WITH SCORE 184024.496
AT ITER 3232 NEW BEST:: SOT 700481 SOS 366928 HAS SOPS 363006 HAS SOUS 186676 HAS SOUPS 183599 WITH SCORE 183965.928
AT ITER 3235 NEW BEST:: SOT 700403 SOS 366772 HAS SOPS 362850 HAS SOUS 186253 HAS SOUPS 183176 WITH SCORE 183542.772
AT ITER 3250 NEW BEST:: SOT 700349 SOS 366825 HAS SOPS 362903 HAS SOUS 186102 HAS SOUPS 183025 WITH SCORE 183391.825
AT ITER 3253 NEW BEST:: SOT 700349 SOS 366745 HAS SOPS 362823 HAS SOUS 186102 HAS SOUPS 183025 WITH SCORE 183391.745
AT ITER 3255 NEW BEST:: SOT 700173 SOS 366243 HAS SOPS 362321 HAS SOUS 185996 HAS SOUPS 182919 WITH SCORE 183285.243
AT ITER 3272 NEW BEST:: SOT 700168 SOS 366233 HAS SOPS 362311 HAS SOUS 185991 HAS SOUPS 182914 WITH SCORE 183280.233
AT ITER 3276 NEW BEST:: SOT 700052 SOS 365856 HAS SOPS 361934 HAS SOUS 185929 HAS SOUPS 182852 WITH SCORE 183217.856
AT ITER 3279 NEW BEST:: SOT 698923 SOS 364292 HAS SOPS 360370 HAS SOUS 184330 HAS SOUPS 181253 WITH SCORE 181617.292
AT ITER 3295 NEW BEST:: SOT 698860 SOS 364323 HAS SOPS 360401 HAS SOUS 184314 HAS SOUPS 181237 WITH SCORE 181601.323
AT ITER 3303 NEW BEST:: SOT 698530 SOS 364103 HAS SOPS 360181 HAS SOUS 184275 HAS SOUPS 181198 WITH SCORE 181562.103
AT ITER 3310 NEW BEST:: SOT 698529 SOS 364102 HAS SOPS 360180 HAS SOUS 184274 HAS SOUPS 181197 WITH SCORE 181561.102
AT ITER 3322 NEW BEST:: SOT 698149 SOS 362814 HAS SOPS 358892 HAS SOUS 183584 HAS SOUPS 180507 WITH SCORE 180869.814
AT ITER 3328 NEW BEST:: SOT 698098 SOS 362798 HAS SOPS 358876 HAS SOUS 183447 HAS SOUPS 180370 WITH SCORE 180732.798
AT ITER 3329 NEW BEST:: SOT 698173 SOS 362742 HAS SOPS 358820 HAS SOUS 183367 HAS SOUPS 180290 WITH SCORE 180652.742
AT ITER 3330 NEW BEST:: SOT 698132 SOS 363076 HAS SOPS 359154 HAS SOUS 183314 HAS SOUPS 180237 WITH SCORE 180600.076
AT ITER 3337 NEW BEST:: SOT 698132 SOS 362908 HAS SOPS 358986 HAS SOUS 183314 HAS SOUPS 180237 WITH SCORE 180599.908
AT ITER 3344 NEW BEST:: SOT 697468 SOS 362435 HAS SOPS 358513 HAS SOUS 182938 HAS SOUPS 179861 WITH SCORE 180223.435
AT ITER 3351 NEW BEST:: SOT 697140 SOS 362306 HAS SOPS 358384 HAS SOUS 182844 HAS SOUPS 179767 WITH SCORE 180129.306
AT ITER 3354 NEW BEST:: SOT 696822 SOS 361991 HAS SOPS 358134 HAS SOUS 182480 HAS SOUPS 179468 WITH SCORE 179829.991
AT ITER 3358 NEW BEST:: SOT 696788 SOS 361957 HAS SOPS 358100 HAS SOUS 182446 HAS SOUPS 179434 WITH SCORE 179795.957
AT ITER 3359 NEW BEST:: SOT 696780 SOS 361933 HAS SOPS 358076 HAS SOUS 182434 HAS SOUPS 179422 WITH SCORE 179783.933
AT ITER 3362 NEW BEST:: SOT 696845 SOS 361693 HAS SOPS 357836 HAS SOUS 182248 HAS SOUPS 179236 WITH SCORE 179597.693
AT ITER 3372 NEW BEST:: SOT 696645 SOS 362886 HAS SOPS 359029 HAS SOUS 182156 HAS SOUPS 179144 WITH SCORE 179506.886
AT ITER 3413 NEW BEST:: SOT 696641 SOS 362882 HAS SOPS 359025 HAS SOUS 182152 HAS SOUPS 179140 WITH SCORE 179502.882
AT ITER 3420 NEW BEST:: SOT 696676 SOS 362788 HAS SOPS 358931 HAS SOUS 181823 HAS SOUPS 178811 WITH SCORE 179173.788
AT ITER 3421 NEW BEST:: SOT 696869 SOS 362420 HAS SOPS 358563 HAS SOUS 181367 HAS SOUPS 178355 WITH SCORE 178717.42
AT ITER 3422 NEW BEST:: SOT 696634 SOS 362910 HAS SOPS 359053 HAS SOUS 181152 HAS SOUPS 178140 WITH SCORE 178502.91
AT ITER 3427 NEW BEST:: SOT 696530 SOS 362806 HAS SOPS 358949 HAS SOUS 181029 HAS SOUPS 178017 WITH SCORE 178379.806
AT ITER 3430 NEW BEST:: SOT 696437 SOS 362620 HAS SOPS 358763 HAS SOUS 180998 HAS SOUPS 177986 WITH SCORE 178348.62
AT ITER 3435 NEW BEST:: SOT 696465 SOS 362543 HAS SOPS 358686 HAS SOUS 180975 HAS SOUPS 177963 WITH SCORE 178325.543
AT ITER 3441 NEW BEST:: SOT 696509 SOS 362587 HAS SOPS 358730 HAS SOUS 180954 HAS SOUPS 177942 WITH SCORE 178304.587
AT ITER 3454 NEW BEST:: SOT 696282 SOS 362133 HAS SOPS 358276 HAS SOUS 180619 HAS SOUPS 177607 WITH SCORE 177969.133
AT ITER 3461 NEW BEST:: SOT 695786 SOS 361637 HAS SOPS 357780 HAS SOUS 180272 HAS SOUPS 177260 WITH SCORE 177621.637
AT ITER 3463 NEW BEST:: SOT 695778 SOS 361549 HAS SOPS 357692 HAS SOUS 180256 HAS SOUPS 177244 WITH SCORE 177605.549
AT ITER 3467 NEW BEST:: SOT 696315 SOS 361849 HAS SOPS 357992 HAS SOUS 180051 HAS SOUPS 177039 WITH SCORE 177400.849
AT ITER 3470 NEW BEST:: SOT 695971 SOS 361517 HAS SOPS 357807 HAS SOUS 179975 HAS SOUPS 177038 WITH SCORE 177399.517
AT ITER 3474 NEW BEST:: SOT 695829 SOS 361321 HAS SOPS 357665 HAS SOUS 179505 HAS SOUPS 176602 WITH SCORE 176963.321
AT ITER 3485 NEW BEST:: SOT 695733 SOS 361089 HAS SOPS 357536 HAS SOUS 179368 HAS SOUPS 176501 WITH SCORE 176862.089
AT ITER 3489 NEW BEST:: SOT 695519 SOS 360893 HAS SOPS 357340 HAS SOUS 179221 HAS SOUPS 176354 WITH SCORE 176714.893
AT ITER 3491 NEW BEST:: SOT 695069 SOS 361659 HAS SOPS 358106 HAS SOUS 177974 HAS SOUPS 175107 WITH SCORE 175468.659
AT ITER 3500 NEW BEST:: SOT 695102 SOS 361536 HAS SOPS 357983 HAS SOUS 177974 HAS SOUPS 175107 WITH SCORE 175468.536
AT ITER 3535 NEW BEST:: SOT 695075 SOS 361482 HAS SOPS 357929 HAS SOUS 177974 HAS SOUPS 175107 WITH SCORE 175468.482
AT ITER 3538 NEW BEST:: SOT 694911 SOS 361274 HAS SOPS 357721 HAS SOUS 177881 HAS SOUPS 175014 WITH SCORE 175375.274
AT ITER 3541 NEW BEST:: SOT 694197 SOS 360560 HAS SOPS 357007 HAS SOUS 177842 HAS SOUPS 174975 WITH SCORE 175335.56
AT ITER 3543 NEW BEST:: SOT 694058 SOS 360117 HAS SOPS 356564 HAS SOUS 177779 HAS SOUPS 174912 WITH SCORE 175272.117
AT ITER 3551 NEW BEST:: SOT 694046 SOS 360105 HAS SOPS 356552 HAS SOUS 177765 HAS SOUPS 174898 WITH SCORE 175258.105
AT ITER 3561 NEW BEST:: SOT 693477 SOS 361578 HAS SOPS 358025 HAS SOUS 177676 HAS SOUPS 174809 WITH SCORE 175170.578
AT ITER 3562 NEW BEST:: SOT 693423 SOS 361524 HAS SOPS 357971 HAS SOUS 177622 HAS SOUPS 174755 WITH SCORE 175116.524
AT ITER 3566 NEW BEST:: SOT 693407 SOS 361516 HAS SOPS 357963 HAS SOUS 177614 HAS SOUPS 174747 WITH SCORE 175108.516
AT ITER 3568 NEW BEST:: SOT 693414 SOS 361509 HAS SOPS 357956 HAS SOUS 177607 HAS SOUPS 174740 WITH SCORE 175101.509
AT ITER 3579 NEW BEST:: SOT 693185 SOS 361068 HAS SOPS 357567 HAS SOUS 177378 HAS SOUPS 174563 WITH SCORE 174924.068
AT ITER 3581 NEW BEST:: SOT 693116 SOS 360999 HAS SOPS 357498 HAS SOUS 177309 HAS SOUPS 174494 WITH SCORE 174854.999
AT ITER 3603 NEW BEST:: SOT 693062 SOS 360891 HAS SOPS 357390 HAS SOUS 177291 HAS SOUPS 174476 WITH SCORE 174836.891
AT ITER 3605 NEW BEST:: SOT 693228 SOS 361057 HAS SOPS 357556 HAS SOUS 177204 HAS SOUPS 174389 WITH SCORE 174750.057
AT ITER 3615 NEW BEST:: SOT 693064 SOS 360852 HAS SOPS 357351 HAS SOUS 176999 HAS SOUPS 174184 WITH SCORE 174544.852
AT ITER 3622 NEW BEST:: SOT 693079 SOS 360687 HAS SOPS 357186 HAS SOUS 176997 HAS SOUPS 174182 WITH SCORE 174542.687
AT ITER 3649 NEW BEST:: SOT 693149 SOS 360757 HAS SOPS 357256 HAS SOUS 176996 HAS SOUPS 174181 WITH SCORE 174541.757
AT ITER 3664 NEW BEST:: SOT 692929 SOS 360537 HAS SOPS 357036 HAS SOUS 176721 HAS SOUPS 173906 WITH SCORE 174266.537
AT ITER 3677 NEW BEST:: SOT 692611 SOS 359379 HAS SOPS 355878 HAS SOUS 176562 HAS SOUPS 173747 WITH SCORE 174106.379
AT ITER 3678 NEW BEST:: SOT 692603 SOS 359340 HAS SOPS 355830 HAS SOUS 176553 HAS SOUPS 173738 WITH SCORE 174097.34
AT ITER 3684 NEW BEST:: SOT 692587 SOS 359332 HAS SOPS 355822 HAS SOUS 176545 HAS SOUPS 173730 WITH SCORE 174089.332
AT ITER 3687 NEW BEST:: SOT 692818 SOS 357440 HAS SOPS 353930 HAS SOUS 176342 HAS SOUPS 173527 WITH SCORE 173884.44
AT ITER 3688 NEW BEST:: SOT 692818 SOS 357074 HAS SOPS 353564 HAS SOUS 176310 HAS SOUPS 173495 WITH SCORE 173852.074
AT ITER 3716 NEW BEST:: SOT 692890 SOS 356993 HAS SOPS 353483 HAS SOUS 176189 HAS SOUPS 173374 WITH SCORE 173730.993
AT ITER 3718 NEW BEST:: SOT 692864 SOS 356954 HAS SOPS 353444 HAS SOUS 176163 HAS SOUPS 173348 WITH SCORE 173704.954
AT ITER 3720 NEW BEST:: SOT 692845 SOS 354604 HAS SOPS 351094 HAS SOUS 175194 HAS SOUPS 172379 WITH SCORE 172733.604
AT ITER 3732 NEW BEST:: SOT 692839 SOS 351799 HAS SOPS 348289 HAS SOUS 174684 HAS SOUPS 171869 WITH SCORE 172220.799
AT ITER 3747 NEW BEST:: SOT 692836 SOS 351794 HAS SOPS 348284 HAS SOUS 174681 HAS SOUPS 171866 WITH SCORE 172217.794
AT ITER 3749 NEW BEST:: SOT 693380 SOS 351596 HAS SOPS 348086 HAS SOUS 174594 HAS SOUPS 171779 WITH SCORE 172130.596
AT ITER 3759 NEW BEST:: SOT 693768 SOS 349237 HAS SOPS 345700 HAS SOUS 174584 HAS SOUPS 171742 WITH SCORE 172091.237
AT ITER 3763 NEW BEST:: SOT 693752 SOS 349331 HAS SOPS 345794 HAS SOUS 174576 HAS SOUPS 171734 WITH SCORE 172083.331
AT ITER 3764 NEW BEST:: SOT 693670 SOS 349137 HAS SOPS 345600 HAS SOUS 174522 HAS SOUPS 171680 WITH SCORE 172029.137
AT ITER 3765 NEW BEST:: SOT 693669 SOS 349133 HAS SOPS 345596 HAS SOUS 174521 HAS SOUPS 171679 WITH SCORE 172028.133
AT ITER 3789 NEW BEST:: SOT 693564 SOS 348965 HAS SOPS 345428 HAS SOUS 174458 HAS SOUPS 171616 WITH SCORE 171964.965
AT ITER 3796 NEW BEST:: SOT 693633 SOS 349034 HAS SOPS 345497 HAS SOUS 174323 HAS SOUPS 171481 WITH SCORE 171830.034
AT ITER 3811 NEW BEST:: SOT 693785 SOS 349110 HAS SOPS 345573 HAS SOUS 174286 HAS SOUPS 171444 WITH SCORE 171793.11
AT ITER 3813 NEW BEST:: SOT 693753 SOS 349340 HAS SOPS 345829 HAS SOUS 174222 HAS SOUPS 171406 WITH SCORE 171755.34
AT ITER 3822 NEW BEST:: SOT 693709 SOS 349296 HAS SOPS 345785 HAS SOUS 174193 HAS SOUPS 171377 WITH SCORE 171726.296
AT ITER 3824 NEW BEST:: SOT 693793 SOS 349918 HAS SOPS 346407 HAS SOUS 174185 HAS SOUPS 171369 WITH SCORE 171718.918
AT ITER 3836 NEW BEST:: SOT 693790 SOS 349896 HAS SOPS 346385 HAS SOUS 174177 HAS SOUPS 171361 WITH SCORE 171710.896
AT ITER 3839 NEW BEST:: SOT 693708 SOS 349773 HAS SOPS 346344 HAS SOUS 174136 HAS SOUPS 171361 WITH SCORE 171710.773
AT ITER 3854 NEW BEST:: SOT 693557 SOS 349708 HAS SOPS 346279 HAS SOUS 173920 HAS SOUPS 171145 WITH SCORE 171494.708
AT ITER 3865 NEW BEST:: SOT 693450 SOS 349601 HAS SOPS 346172 HAS SOUS 173915 HAS SOUPS 171140 WITH SCORE 171489.601
AT ITER 3866 NEW BEST:: SOT 693552 SOS 349695 HAS SOPS 346274 HAS SOUS 173663 HAS SOUPS 170895 WITH SCORE 171244.695
AT ITER 3868 NEW BEST:: SOT 693813 SOS 349907 HAS SOPS 346486 HAS SOUS 173514 HAS SOUPS 170746 WITH SCORE 171095.907
AT ITER 3870 NEW BEST:: SOT 693759 SOS 349574 HAS SOPS 346153 HAS SOUS 173361 HAS SOUPS 170593 WITH SCORE 170942.574
AT ITER 3899 NEW BEST:: SOT 694060 SOS 349614 HAS SOPS 346193 HAS SOUS 173057 HAS SOUPS 170289 WITH SCORE 170638.614
AT ITER 3902 NEW BEST:: SOT 693999 SOS 349570 HAS SOPS 346149 HAS SOUS 173024 HAS SOUPS 170256 WITH SCORE 170605.57
AT ITER 3904 NEW BEST:: SOT 693861 SOS 349545 HAS SOPS 346011 HAS SOUS 173078 HAS SOUPS 170207 WITH SCORE 170556.545
AT ITER 3909 NEW BEST:: SOT 693861 SOS 349542 HAS SOPS 346008 HAS SOUS 173072 HAS SOUPS 170201 WITH SCORE 170550.542
AT ITER 3910 NEW BEST:: SOT 694102 SOS 349729 HAS SOPS 346195 HAS SOUS 173004 HAS SOUPS 170133 WITH SCORE 170482.729
AT ITER 3916 NEW BEST:: SOT 694086 SOS 350362 HAS SOPS 346828 HAS SOUS 172995 HAS SOUPS 170124 WITH SCORE 170474.362
AT ITER 3927 NEW BEST:: SOT 694128 SOS 350190 HAS SOPS 346656 HAS SOUS 172945 HAS SOUPS 170074 WITH SCORE 170424.19
AT ITER 3929 NEW BEST:: SOT 693875 SOS 349685 HAS SOPS 346151 HAS SOUS 172934 HAS SOUPS 170063 WITH SCORE 170412.685
AT ITER 3930 NEW BEST:: SOT 694062 SOS 349209 HAS SOPS 345675 HAS SOUS 172931 HAS SOUPS 170060 WITH SCORE 170409.209
AT ITER 3931 NEW BEST:: SOT 694015 SOS 349083 HAS SOPS 345549 HAS SOUS 172615 HAS SOUPS 169744 WITH SCORE 170093.083
AT ITER 3933 NEW BEST:: SOT 694014 SOS 348903 HAS SOPS 345369 HAS SOUS 172502 HAS SOUPS 169631 WITH SCORE 169979.903
AT ITER 3943 NEW BEST:: SOT 694176 SOS 348810 HAS SOPS 345276 HAS SOUS 172265 HAS SOUPS 169394 WITH SCORE 169742.81
AT ITER 3964 NEW BEST:: SOT 694062 SOS 348699 HAS SOPS 345165 HAS SOUS 172190 HAS SOUPS 169319 WITH SCORE 169667.699
AT ITER 3972 NEW BEST:: SOT 694062 SOS 348699 HAS SOPS 345165 HAS SOUS 172155 HAS SOUPS 169284 WITH SCORE 169632.699
AT ITER 3987 NEW BEST:: SOT 694434 SOS 348685 HAS SOPS 345151 HAS SOUS 172097 HAS SOUPS 169226 WITH SCORE 169574.685
AT ITER 4010 NEW BEST:: SOT 694281 SOS 348185 HAS SOPS 344651 HAS SOUS 171790 HAS SOUPS 168919 WITH SCORE 169267.185
AT ITER 4014 NEW BEST:: SOT 694281 SOS 348459 HAS SOPS 345151 HAS SOUS 171549 HAS SOUPS 168774 WITH SCORE 169122.459
AT ITER 4041 NEW BEST:: SOT 694151 SOS 348288 HAS SOPS 344980 HAS SOUS 171441 HAS SOUPS 168666 WITH SCORE 169014.288
AT ITER 4046 NEW BEST:: SOT 693805 SOS 348099 HAS SOPS 344207 HAS SOUS 171409 HAS SOUPS 168268 WITH SCORE 168616.099
AT ITER 4048 NEW BEST:: SOT 693715 SOS 347928 HAS SOPS 344036 HAS SOUS 171346 HAS SOUPS 168205 WITH SCORE 168552.928
AT ITER 4053 NEW BEST:: SOT 693679 SOS 347892 HAS SOPS 344000 HAS SOUS 171278 HAS SOUPS 168137 WITH SCORE 168484.892
AT ITER 4054 NEW BEST:: SOT 693329 SOS 347146 HAS SOPS 343254 HAS SOUS 170726 HAS SOUPS 167585 WITH SCORE 167932.146
AT ITER 4079 NEW BEST:: SOT 693302 SOS 347182 HAS SOPS 343290 HAS SOUS 170717 HAS SOUPS 167576 WITH SCORE 167923.182
AT ITER 4080 NEW BEST:: SOT 693302 SOS 347140 HAS SOPS 343234 HAS SOUS 170717 HAS SOUPS 167562 WITH SCORE 167909.14
AT ITER 4100 NEW BEST:: SOT 693285 SOS 347123 HAS SOPS 343217 HAS SOUS 170717 HAS SOUPS 167562 WITH SCORE 167909.123
AT ITER 4101 NEW BEST:: SOT 693270 SOS 347108 HAS SOPS 343202 HAS SOUS 170695 HAS SOUPS 167540 WITH SCORE 167887.108
AT ITER 4128 NEW BEST:: SOT 693242 SOS 347080 HAS SOPS 343174 HAS SOUS 170651 HAS SOUPS 167496 WITH SCORE 167843.08
AT ITER 4132 NEW BEST:: SOT 693077 SOS 346964 HAS SOPS 343058 HAS SOUS 170486 HAS SOUPS 167331 WITH SCORE 167677.964
AT ITER 4139 NEW BEST:: SOT 693201 SOS 346986 HAS SOPS 343080 HAS SOUS 170485 HAS SOUPS 167330 WITH SCORE 167676.986
AT ITER 4140 NEW BEST:: SOT 693038 SOS 346823 HAS SOPS 342917 HAS SOUS 170484 HAS SOUPS 167329 WITH SCORE 167675.823
AT ITER 4151 NEW BEST:: SOT 693069 SOS 346765 HAS SOPS 342859 HAS SOUS 170450 HAS SOUPS 167295 WITH SCORE 167641.765
AT ITER 4161 NEW BEST:: SOT 693069 SOS 346693 HAS SOPS 342787 HAS SOUS 170450 HAS SOUPS 167295 WITH SCORE 167641.693
AT ITER 4164 NEW BEST:: SOT 692938 SOS 346349 HAS SOPS 342443 HAS SOUS 170009 HAS SOUPS 166854 WITH SCORE 167200.349
AT ITER 4167 NEW BEST:: SOT 692903 SOS 346314 HAS SOPS 342408 HAS SOUS 169974 HAS SOUPS 166819 WITH SCORE 167165.314
AT ITER 4180 NEW BEST:: SOT 692923 SOS 346334 HAS SOPS 342428 HAS SOUS 169911 HAS SOUPS 166756 WITH SCORE 167102.334
AT ITER 4190 NEW BEST:: SOT 692752 SOS 346892 HAS SOPS 342986 HAS SOUS 169845 HAS SOUPS 166690 WITH SCORE 167036.892
AT ITER 4202 NEW BEST:: SOT 692515 SOS 346769 HAS SOPS 342863 HAS SOUS 169796 HAS SOUPS 166641 WITH SCORE 166987.769
AT ITER 4204 NEW BEST:: SOT 692443 SOS 346493 HAS SOPS 342587 HAS SOUS 169656 HAS SOUPS 166501 WITH SCORE 166847.493
AT ITER 4218 NEW BEST:: SOT 692495 SOS 348030 HAS SOPS 344124 HAS SOUS 169622 HAS SOUPS 166467 WITH SCORE 166815.03
AT ITER 4226 NEW BEST:: SOT 692495 SOS 348030 HAS SOPS 344124 HAS SOUS 169597 HAS SOUPS 166442 WITH SCORE 166790.03
AT ITER 4236 NEW BEST:: SOT 692146 SOS 347633 HAS SOPS 343727 HAS SOUS 169412 HAS SOUPS 166257 WITH SCORE 166604.633
AT ITER 4256 NEW BEST:: SOT 692125 SOS 347584 HAS SOPS 343678 HAS SOUS 169325 HAS SOUPS 166170 WITH SCORE 166517.584
AT ITER 4257 NEW BEST:: SOT 691995 SOS 346341 HAS SOPS 342360 HAS SOUS 169059 HAS SOUPS 165829 WITH SCORE 166175.341
AT ITER 4263 NEW BEST:: SOT 691930 SOS 346276 HAS SOPS 342295 HAS SOUS 168838 HAS SOUPS 165608 WITH SCORE 165954.276
AT ITER 4273 NEW BEST:: SOT 691860 SOS 346171 HAS SOPS 342190 HAS SOUS 168698 HAS SOUPS 165468 WITH SCORE 165814.171
AT ITER 4277 NEW BEST:: SOT 691840 SOS 346151 HAS SOPS 342170 HAS SOUS 168688 HAS SOUPS 165458 WITH SCORE 165804.151
AT ITER 4282 NEW BEST:: SOT 691840 SOS 346071 HAS SOPS 342090 HAS SOUS 168688 HAS SOUPS 165458 WITH SCORE 165804.071
AT ITER 4284 NEW BEST:: SOT 691816 SOS 344946 HAS SOPS 340965 HAS SOUS 168562 HAS SOUPS 165332 WITH SCORE 165676.946
AT ITER 4286 NEW BEST:: SOT 691808 SOS 344485 HAS SOPS 340504 HAS SOUS 168252 HAS SOUPS 165022 WITH SCORE 165366.485
AT ITER 4300 NEW BEST:: SOT 692045 SOS 344608 HAS SOPS 340627 HAS SOUS 167778 HAS SOUPS 164548 WITH SCORE 164892.608
AT ITER 4314 NEW BEST:: SOT 692033 SOS 344584 HAS SOPS 340603 HAS SOUS 167754 HAS SOUPS 164524 WITH SCORE 164868.584
AT ITER 4318 NEW BEST:: SOT 692160 SOS 343697 HAS SOPS 339716 HAS SOUS 167686 HAS SOUPS 164456 WITH SCORE 164799.697
AT ITER 4335 NEW BEST:: SOT 692794 SOS 343945 HAS SOPS 339964 HAS SOUS 167569 HAS SOUPS 164339 WITH SCORE 164682.945
AT ITER 4346 NEW BEST:: SOT 692891 SOS 344013 HAS SOPS 340032 HAS SOUS 167517 HAS SOUPS 164287 WITH SCORE 164631.013
AT ITER 4348 NEW BEST:: SOT 692831 SOS 343953 HAS SOPS 339972 HAS SOUS 167273 HAS SOUPS 164043 WITH SCORE 164386.953
AT ITER 4349 NEW BEST:: SOT 692783 SOS 343905 HAS SOPS 339828 HAS SOUS 167177 HAS SOUPS 163899 WITH SCORE 164242.905
AT ITER 4352 NEW BEST:: SOT 692789 SOS 343869 HAS SOPS 339792 HAS SOUS 167120 HAS SOUPS 163842 WITH SCORE 164185.869
AT ITER 4368 NEW BEST:: SOT 692773 SOS 343885 HAS SOPS 339808 HAS SOUS 167104 HAS SOUPS 163826 WITH SCORE 164169.885
AT ITER 4374 NEW BEST:: SOT 692656 SOS 343696 HAS SOPS 339536 HAS SOUS 166751 HAS SOUPS 163473 WITH SCORE 163816.696
AT ITER 4378 NEW BEST:: SOT 692656 SOS 343696 HAS SOPS 339536 HAS SOUS 166547 HAS SOUPS 163269 WITH SCORE 163612.696
AT ITER 4386 NEW BEST:: SOT 692453 SOS 344037 HAS SOPS 339877 HAS SOUS 166515 HAS SOUPS 163237 WITH SCORE 163581.037
AT ITER 4393 NEW BEST:: SOT 691895 SOS 343479 HAS SOPS 339319 HAS SOUS 166515 HAS SOUPS 163237 WITH SCORE 163580.479
AT ITER 4403 NEW BEST:: SOT 692099 SOS 339975 HAS SOPS 335815 HAS SOUS 166042 HAS SOUPS 162764 WITH SCORE 163103.975
AT ITER 4408 NEW BEST:: SOT 691972 SOS 339985 HAS SOPS 335825 HAS SOUS 165827 HAS SOUPS 162549 WITH SCORE 162888.985
AT ITER 4409 NEW BEST:: SOT 691938 SOS 339951 HAS SOPS 335791 HAS SOUS 165794 HAS SOUPS 162516 WITH SCORE 162855.951
AT ITER 4410 NEW BEST:: SOT 691938 SOS 339951 HAS SOPS 335791 HAS SOUS 165776 HAS SOUPS 162498 WITH SCORE 162837.951
AT ITER 4413 NEW BEST:: SOT 691931 SOS 339944 HAS SOPS 335784 HAS SOUS 165755 HAS SOUPS 162477 WITH SCORE 162816.944
AT ITER 4418 NEW BEST:: SOT 691931 SOS 339944 HAS SOPS 335784 HAS SOUS 165708 HAS SOUPS 162430 WITH SCORE 162769.944
AT ITER 4426 NEW BEST:: SOT 691885 SOS 339898 HAS SOPS 335738 HAS SOUS 165635 HAS SOUPS 162357 WITH SCORE 162696.898
AT ITER 4439 NEW BEST:: SOT 691879 SOS 339977 HAS SOPS 335817 HAS SOUS 165631 HAS SOUPS 162353 WITH SCORE 162692.977
AT ITER 4442 NEW BEST:: SOT 691722 SOS 338739 HAS SOPS 334579 HAS SOUS 165537 HAS SOUPS 162259 WITH SCORE 162597.739
AT ITER 4465 NEW BEST:: SOT 691574 SOS 338905 HAS SOPS 334745 HAS SOUS 165471 HAS SOUPS 162193 WITH SCORE 162531.905
AT ITER 4489 NEW BEST:: SOT 691574 SOS 338852 HAS SOPS 334720 HAS SOUS 165415 HAS SOUPS 162165 WITH SCORE 162503.852
AT ITER 4492 NEW BEST:: SOT 691565 SOS 338843 HAS SOPS 334711 HAS SOUS 165412 HAS SOUPS 162162 WITH SCORE 162500.843
AT ITER 4495 NEW BEST:: SOT 691146 SOS 338614 HAS SOPS 334482 HAS SOUS 165115 HAS SOUPS 161865 WITH SCORE 162203.614
AT ITER 4499 NEW BEST:: SOT 690958 SOS 338139 HAS SOPS 334007 HAS SOUS 165115 HAS SOUPS 161865 WITH SCORE 162203.139
AT ITER 4513 NEW BEST:: SOT 690952 SOS 338127 HAS SOPS 333995 HAS SOUS 165109 HAS SOUPS 161859 WITH SCORE 162197.127
AT ITER 4528 NEW BEST:: SOT 690949 SOS 338124 HAS SOPS 333992 HAS SOUS 165091 HAS SOUPS 161841 WITH SCORE 162179.124
AT ITER 4535 NEW BEST:: SOT 690885 SOS 338060 HAS SOPS 333928 HAS SOUS 164915 HAS SOUPS 161665 WITH SCORE 162003.06
AT ITER 4537 NEW BEST:: SOT 690229 SOS 337080 HAS SOPS 332948 HAS SOUS 164135 HAS SOUPS 160885 WITH SCORE 161222.08
AT ITER 4545 NEW BEST:: SOT 690274 SOS 337411 HAS SOPS 333279 HAS SOUS 164118 HAS SOUPS 160868 WITH SCORE 161205.411
AT ITER 4546 NEW BEST:: SOT 690344 SOS 337481 HAS SOPS 333284 HAS SOUS 164063 HAS SOUPS 160748 WITH SCORE 161085.481
AT ITER 4552 NEW BEST:: SOT 690452 SOS 337025 HAS SOPS 332781 HAS SOUS 164004 HAS SOUPS 160642 WITH SCORE 160979.025
AT ITER 4554 NEW BEST:: SOT 690507 SOS 337506 HAS SOPS 333310 HAS SOUS 163764 HAS SOUPS 160429 WITH SCORE 160766.506
AT ITER 4558 NEW BEST:: SOT 690403 SOS 337246 HAS SOPS 333050 HAS SOUS 163504 HAS SOUPS 160169 WITH SCORE 160506.246
AT ITER 4567 NEW BEST:: SOT 690379 SOS 337222 HAS SOPS 333026 HAS SOUS 163492 HAS SOUPS 160157 WITH SCORE 160494.222
AT ITER 4583 NEW BEST:: SOT 690328 SOS 337205 HAS SOPS 333009 HAS SOUS 163458 HAS SOUPS 160123 WITH SCORE 160460.205
AT ITER 4588 NEW BEST:: SOT 690212 SOS 336877 HAS SOPS 332797 HAS SOUS 163174 HAS SOUPS 159897 WITH SCORE 160233.877
AT ITER 4597 NEW BEST:: SOT 690209 SOS 336874 HAS SOPS 332794 HAS SOUS 163171 HAS SOUPS 159894 WITH SCORE 160230.874
AT ITER 4602 NEW BEST:: SOT 690199 SOS 337294 HAS SOPS 333224 HAS SOUS 163161 HAS SOUPS 159884 WITH SCORE 160221.294
AT ITER 4603 NEW BEST:: SOT 690199 SOS 337335 HAS SOPS 333265 HAS SOUS 163081 HAS SOUPS 159804 WITH SCORE 160141.335
AT ITER 4611 NEW BEST:: SOT 690002 SOS 337138 HAS SOPS 333068 HAS SOUS 162966 HAS SOUPS 159689 WITH SCORE 160026.138
AT ITER 4617 NEW BEST:: SOT 690002 SOS 337138 HAS SOPS 333068 HAS SOUS 162962 HAS SOUPS 159685 WITH SCORE 160022.138
AT ITER 4622 NEW BEST:: SOT 689936 SOS 337072 HAS SOPS 333002 HAS SOUS 162902 HAS SOUPS 159625 WITH SCORE 159962.072
AT ITER 4634 NEW BEST:: SOT 689907 SOS 336925 HAS SOPS 332855 HAS SOUS 162825 HAS SOUPS 159548 WITH SCORE 159884.925
AT ITER 4635 NEW BEST:: SOT 689663 SOS 337603 HAS SOPS 333533 HAS SOUS 162715 HAS SOUPS 159438 WITH SCORE 159775.603
AT ITER 4636 NEW BEST:: SOT 689567 SOS 337494 HAS SOPS 333564 HAS SOUS 162606 HAS SOUPS 159399 WITH SCORE 159736.494
AT ITER 4640 NEW BEST:: SOT 689434 SOS 338067 HAS SOPS 334137 HAS SOUS 162507 HAS SOUPS 159300 WITH SCORE 159638.067
AT ITER 4645 NEW BEST:: SOT 689326 SOS 338126 HAS SOPS 334354 HAS SOUS 162367 HAS SOUPS 159239 WITH SCORE 159577.126
AT ITER 4658 NEW BEST:: SOT 689181 SOS 337981 HAS SOPS 334209 HAS SOUS 162176 HAS SOUPS 159048 WITH SCORE 159385.981
AT ITER 4659 NEW BEST:: SOT 689133 SOS 338039 HAS SOPS 334267 HAS SOUS 162163 HAS SOUPS 159035 WITH SCORE 159373.039
AT ITER 4670 NEW BEST:: SOT 689025 SOS 337931 HAS SOPS 334159 HAS SOUS 162127 HAS SOUPS 158999 WITH SCORE 159336.931
AT ITER 4674 NEW BEST:: SOT 688523 SOS 337429 HAS SOPS 333657 HAS SOUS 161865 HAS SOUPS 158737 WITH SCORE 159074.429
AT ITER 4675 NEW BEST:: SOT 688523 SOS 337417 HAS SOPS 333645 HAS SOUS 161857 HAS SOUPS 158729 WITH SCORE 159066.417
AT ITER 4686 NEW BEST:: SOT 688548 SOS 337501 HAS SOPS 333729 HAS SOUS 161855 HAS SOUPS 158727 WITH SCORE 159064.501
AT ITER 4690 NEW BEST:: SOT 688501 SOS 336631 HAS SOPS 332859 HAS SOUS 161638 HAS SOUPS 158510 WITH SCORE 158846.631
AT ITER 4694 NEW BEST:: SOT 688609 SOS 336261 HAS SOPS 332489 HAS SOUS 161318 HAS SOUPS 158190 WITH SCORE 158526.261
AT ITER 4703 NEW BEST:: SOT 688091 SOS 335743 HAS SOPS 331971 HAS SOUS 160788 HAS SOUPS 157660 WITH SCORE 157995.743
AT ITER 4710 NEW BEST:: SOT 687880 SOS 335174 HAS SOPS 331402 HAS SOUS 160770 HAS SOUPS 157642 WITH SCORE 157977.174
AT ITER 4720 NEW BEST:: SOT 687871 SOS 335174 HAS SOPS 331402 HAS SOUS 160761 HAS SOUPS 157633 WITH SCORE 157968.174
AT ITER 4721 NEW BEST:: SOT 687877 SOS 335073 HAS SOPS 330999 HAS SOUS 160868 HAS SOUPS 157589 WITH SCORE 157924.073
AT ITER 4758 NEW BEST:: SOT 687834 SOS 334886 HAS SOPS 330812 HAS SOUS 160867 HAS SOUPS 157588 WITH SCORE 157922.886
AT ITER 4776 NEW BEST:: SOT 687765 SOS 334849 HAS SOPS 330775 HAS SOUS 160815 HAS SOUPS 157536 WITH SCORE 157870.849
AT ITER 4782 NEW BEST:: SOT 687765 SOS 334825 HAS SOPS 330751 HAS SOUS 160815 HAS SOUPS 157536 WITH SCORE 157870.825
AT ITER 4792 NEW BEST:: SOT 687765 SOS 334825 HAS SOPS 330751 HAS SOUS 160781 HAS SOUPS 157502 WITH SCORE 157836.825
AT ITER 4816 NEW BEST:: SOT 687737 SOS 334797 HAS SOPS 330723 HAS SOUS 160748 HAS SOUPS 157469 WITH SCORE 157803.797
AT ITER 4818 NEW BEST:: SOT 687817 SOS 334877 HAS SOPS 330803 HAS SOUS 160708 HAS SOUPS 157429 WITH SCORE 157763.877
AT ITER 4821 NEW BEST:: SOT 687863 SOS 334908 HAS SOPS 330834 HAS SOUS 160687 HAS SOUPS 157408 WITH SCORE 157742.908
AT ITER 4822 NEW BEST:: SOT 687886 SOS 334352 HAS SOPS 330278 HAS SOUS 160574 HAS SOUPS 157295 WITH SCORE 157629.352
AT ITER 4830 NEW BEST:: SOT 687702 SOS 333984 HAS SOPS 329910 HAS SOUS 160462 HAS SOUPS 157183 WITH SCORE 157516.984
AT ITER 4836 NEW BEST:: SOT 687624 SOS 333906 HAS SOPS 329832 HAS SOUS 160358 HAS SOUPS 157079 WITH SCORE 157412.906
AT ITER 4852 NEW BEST:: SOT 687814 SOS 333871 HAS SOPS 329797 HAS SOUS 160318 HAS SOUPS 157039 WITH SCORE 157372.871
AT ITER 4863 NEW BEST:: SOT 687812 SOS 333873 HAS SOPS 329801 HAS SOUS 160312 HAS SOUPS 157035 WITH SCORE 157368.873
AT ITER 4894 NEW BEST:: SOT 687737 SOS 333798 HAS SOPS 329726 HAS SOUS 160267 HAS SOUPS 156990 WITH SCORE 157323.798
AT ITER 4897 NEW BEST:: SOT 687789 SOS 333580 HAS SOPS 329508 HAS SOUS 160139 HAS SOUPS 156862 WITH SCORE 157195.58
AT ITER 4902 NEW BEST:: SOT 687895 SOS 333298 HAS SOPS 329226 HAS SOUS 159809 HAS SOUPS 156532 WITH SCORE 156865.298
AT ITER 4904 NEW BEST:: SOT 687772 SOS 333091 HAS SOPS 329019 HAS SOUS 159785 HAS SOUPS 156508 WITH SCORE 156841.091
AT ITER 4913 NEW BEST:: SOT 687849 SOS 333168 HAS SOPS 329096 HAS SOUS 159783 HAS SOUPS 156506 WITH SCORE 156839.168
AT ITER 4925 NEW BEST:: SOT 687845 SOS 333160 HAS SOPS 329088 HAS SOUS 159775 HAS SOUPS 156498 WITH SCORE 156831.16
AT ITER 4934 NEW BEST:: SOT 687821 SOS 333136 HAS SOPS 329064 HAS SOUS 159739 HAS SOUPS 156462 WITH SCORE 156795.136
AT ITER 4943 NEW BEST:: SOT 687772 SOS 333110 HAS SOPS 329038 HAS SOUS 159733 HAS SOUPS 156456 WITH SCORE 156789.11
AT ITER 4951 NEW BEST:: SOT 687552 SOS 331233 HAS SOPS 327161 HAS SOUS 159126 HAS SOUPS 155849 WITH SCORE 156180.233
AT ITER 4952 NEW BEST:: SOT 687831 SOS 331315 HAS SOPS 327243 HAS SOUS 159100 HAS SOUPS 155823 WITH SCORE 156154.315
AT ITER 4958 NEW BEST:: SOT 688089 SOS 330651 HAS SOPS 326579 HAS SOUS 159035 HAS SOUPS 155758 WITH SCORE 156088.651
AT ITER 4968 NEW BEST:: SOT 688099 SOS 330597 HAS SOPS 326525 HAS SOUS 158976 HAS SOUPS 155699 WITH SCORE 156029.597
AT ITER 4989 NEW BEST:: SOT 688025 SOS 330287 HAS SOPS 326215 HAS SOUS 158882 HAS SOUPS 155605 WITH SCORE 155935.287
AT ITER 4990 NEW BEST:: SOT 688110 SOS 330351 HAS SOPS 326279 HAS SOUS 158877 HAS SOUPS 155600 WITH SCORE 155930.351
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NoC3x3-PT-7A-CTLCardinality-00 (AG( ( (! potential( ( 2 ) <= (tk(P691)) )) | potential( ( 2 ) <= (tk(P609)) ) )))
PROPERTY: NoC3x3-PT-7A-CTLCardinality-01 ( (EU( ( potential( (tk(P318)) <= (tk(P330)) ) & potential( (tk(P579)) <= (tk(P778)) ) ),( potential( ( 2 ) <= (tk(P199)) ) | potential( ( 1 ) <= (tk(P764)) ) ) )) | potential( ( 1 ) <= (tk(P471)) ) )
PROPERTY: NoC3x3-PT-7A-CTLCardinality-02 (AU( (EX( potential( ( 3 ) <= (tk(P560)) ))),(AG( potential( (tk(P383)) <= (tk(P138)) ))) ))
PROPERTY: NoC3x3-PT-7A-CTLCardinality-03 (AU( ( (! potential( ( 3 ) <= (tk(P423)) )) & ( potential( (tk(P796)) <= (tk(P586)) ) | potential( (tk(P451)) <= (tk(P296)) ) ) ),(AG( potential( (tk(P677)) <= (tk(P398)) ))) ))
PROPERTY: NoC3x3-PT-7A-CTLCardinality-04 (AG( (AU( potential( (tk(P94)) <= (tk(P757)) ),potential( (tk(P677)) <= (tk(P580)) ) ))))
PROPERTY: NoC3x3-PT-7A-CTLCardinality-05 (EG( ( potential( (tk(P573)) <= (tk(P548)) ) & (EF(potential( ( 1 ) <= (tk(P103)) ))) )))
PROPERTY: NoC3x3-PT-7A-CTLCardinality-06 ( ( ( potential( ( 1 ) <= (tk(P395)) ) | ( ( potential( ( 2 ) <= (tk(P89)) ) | potential( (tk(P759)) <= (tk(P570)) ) ) & potential( (tk(P729)) <= (tk(P766)) ) ) ) | ( potential( (tk(P480)) <= (tk(P371)) ) & potential( ( 3 ) <= (tk(P159)) ) ) ) & ( (AG( potential( (tk(P711)) <= (tk(P144)) ))) | potential( ( 3 ) <= (tk(P15)) ) ) )
PROPERTY: NoC3x3-PT-7A-CTLCardinality-07 (EF(( ( ( potential( (tk(P533)) <= (tk(P137)) ) & potential( (tk(P502)) <= (tk(P29)) ) ) & ( potential( ( 1 ) <= (tk(P623)) ) & potential( (tk(P680)) <= (tk(P460)) ) ) ) | ( ( potential( (tk(P772)) <= (tk(P752)) ) & potential( ( 2 ) <= (tk(P48)) ) ) & ( potential( ( 1 ) <= (tk(P710)) ) & potential( (tk(P211)) <= (tk(P145)) ) ) ) )))
PROPERTY: NoC3x3-PT-7A-CTLCardinality-08 (AG( (AU( potential( (tk(P524)) <= (tk(P694)) ),potential( (tk(P379)) <= (tk(P694)) ) ))))
PROPERTY: NoC3x3-PT-7A-CTLCardinality-09 (EF(( potential( (tk(P222)) <= (tk(P230)) ) & potential( ( 1 ) <= (tk(P503)) ) )))
PROPERTY: NoC3x3-PT-7A-CTLCardinality-10 ( (! (! (! (! potential( (tk(P55)) <= (tk(P265)) ))))) & ( potential( (tk(P96)) <= (tk(P700)) ) & (EF(( potential( ( 1 ) <= (tk(P652)) ) & potential( (tk(P218)) <= (tk(P266)) ) ))) ) )
PROPERTY: NoC3x3-PT-7A-CTLCardinality-11 (AG( ( ( potential( ( 1 ) <= (tk(P373)) ) | potential( (tk(P12)) <= (tk(P214)) ) ) | (EX( potential( ( 2 ) <= (tk(P149)) ))) )))
PROPERTY: NoC3x3-PT-7A-CTLCardinality-12 (EU( ( potential( (tk(P309)) <= (tk(P51)) ) & ( potential( (tk(P783)) <= (tk(P632)) ) | potential( (tk(P179)) <= (tk(P289)) ) ) ),(EG( potential( ( 3 ) <= (tk(P454)) ))) ))
PROPERTY: NoC3x3-PT-7A-CTLCardinality-13 (AF((EU( potential( (tk(P317)) <= (tk(P307)) ),potential( ( 3 ) <= (tk(P99)) ) ))))
PROPERTY: NoC3x3-PT-7A-CTLCardinality-14 (AG( (EX( ( potential( ( 1 ) <= (tk(P52)) ) & potential( (tk(P350)) <= (tk(P61)) ) )))))
PROPERTY: NoC3x3-PT-7A-CTLCardinality-15 (EF((AG( ( potential( (tk(P290)) <= (tk(P450)) ) | potential( ( 3 ) <= (tk(P401)) ) )))))

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="NoC3x3-PT-7A"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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