About the Execution of smart for ASLink-PT-03b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15766.210 | 3600000.00 | 3599858.00 | 131.30 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508000049.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ASLink-PT-03b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508000049
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 716K
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 544K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1589008051110
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 03b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 1638 places, 2094 transitions, 6458 arcs.
AT ITER 0 NEW BEST:: SOT 1980091 SOS 601265 HAS SOPS 601265 HAS SOUS 472325 HAS SOUPS 472325 WITH SCORE 472926.265
AT ITER 3 NEW BEST:: SOT 1979707 SOS 600545 HAS SOPS 600545 HAS SOUS 471559 HAS SOUPS 471559 WITH SCORE 472159.545
AT ITER 5 NEW BEST:: SOT 1979441 SOS 599849 HAS SOPS 599849 HAS SOUS 470756 HAS SOUPS 470756 WITH SCORE 471355.849
AT ITER 12 NEW BEST:: SOT 1979077 SOS 599485 HAS SOPS 599485 HAS SOUS 470392 HAS SOUPS 470392 WITH SCORE 470991.485
AT ITER 20 NEW BEST:: SOT 1979077 SOS 599302 HAS SOPS 599302 HAS SOUS 470391 HAS SOUPS 470391 WITH SCORE 470990.302
AT ITER 22 NEW BEST:: SOT 1979048 SOS 599273 HAS SOPS 599273 HAS SOUS 470362 HAS SOUPS 470362 WITH SCORE 470961.273
AT ITER 44 NEW BEST:: SOT 1978409 SOS 598922 HAS SOPS 598922 HAS SOUS 469740 HAS SOUPS 469740 WITH SCORE 470338.922
AT ITER 65 NEW BEST:: SOT 1977199 SOS 597780 HAS SOPS 597780 HAS SOUS 468529 HAS SOUPS 468529 WITH SCORE 469126.78
AT ITER 73 NEW BEST:: SOT 1977163 SOS 597528 HAS SOPS 597528 HAS SOUS 468493 HAS SOUPS 468493 WITH SCORE 469090.528
AT ITER 83 NEW BEST:: SOT 1977113 SOS 597232 HAS SOPS 597232 HAS SOUS 468393 HAS SOUPS 468393 WITH SCORE 468990.232
AT ITER 86 NEW BEST:: SOT 1977022 SOS 597198 HAS SOPS 597198 HAS SOUS 468391 HAS SOUPS 468391 WITH SCORE 468988.198
AT ITER 89 NEW BEST:: SOT 1976832 SOS 595678 HAS SOPS 595678 HAS SOUS 468011 HAS SOUPS 468011 WITH SCORE 468606.678
AT ITER 106 NEW BEST:: SOT 1976785 SOS 595443 HAS SOPS 595443 HAS SOUS 467917 HAS SOUPS 467917 WITH SCORE 468512.443
AT ITER 110 NEW BEST:: SOT 1976785 SOS 594950 HAS SOPS 594950 HAS SOUS 467916 HAS SOUPS 467916 WITH SCORE 468510.95
AT ITER 123 NEW BEST:: SOT 1976577 SOS 594617 HAS SOPS 594617 HAS SOUS 467592 HAS SOUPS 467592 WITH SCORE 468186.617
AT ITER 124 NEW BEST:: SOT 1976542 SOS 594398 HAS SOPS 594398 HAS SOUS 467549 HAS SOUPS 467549 WITH SCORE 468143.398
AT ITER 136 NEW BEST:: SOT 1976746 SOS 594261 HAS SOPS 594261 HAS SOUS 467412 HAS SOUPS 467412 WITH SCORE 468006.261
AT ITER 140 NEW BEST:: SOT 1976427 SOS 593941 HAS SOPS 593941 HAS SOUS 467044 HAS SOUPS 467044 WITH SCORE 467637.941
AT ITER 145 NEW BEST:: SOT 1976426 SOS 593891 HAS SOPS 593891 HAS SOUS 466994 HAS SOUPS 466994 WITH SCORE 467587.891
AT ITER 162 NEW BEST:: SOT 1975622 SOS 594093 HAS SOPS 594093 HAS SOUS 466757 HAS SOUPS 466757 WITH SCORE 467351.093
AT ITER 172 NEW BEST:: SOT 1975438 SOS 593539 HAS SOPS 593539 HAS SOUS 466649 HAS SOUPS 466649 WITH SCORE 467242.539
AT ITER 184 NEW BEST:: SOT 1974360 SOS 592461 HAS SOPS 592461 HAS SOUS 465570 HAS SOUPS 465570 WITH SCORE 466162.461
AT ITER 197 NEW BEST:: SOT 1973035 SOS 593256 HAS SOPS 593256 HAS SOUS 464307 HAS SOUPS 464307 WITH SCORE 464900.256
AT ITER 206 NEW BEST:: SOT 1973035 SOS 593217 HAS SOPS 593217 HAS SOUS 464307 HAS SOUPS 464307 WITH SCORE 464900.217
AT ITER 227 NEW BEST:: SOT 1973035 SOS 593098 HAS SOPS 593098 HAS SOUS 464188 HAS SOUPS 464188 WITH SCORE 464781.098
AT ITER 229 NEW BEST:: SOT 1973034 SOS 593096 HAS SOPS 593096 HAS SOUS 464186 HAS SOUPS 464186 WITH SCORE 464779.096
AT ITER 236 NEW BEST:: SOT 1972846 SOS 592720 HAS SOPS 592720 HAS SOUS 463810 HAS SOUPS 463810 WITH SCORE 464402.72
AT ITER 259 NEW BEST:: SOT 1972790 SOS 595326 HAS SOPS 595326 HAS SOUS 463665 HAS SOUPS 463665 WITH SCORE 464260.326
AT ITER 270 NEW BEST:: SOT 1972069 SOS 596364 HAS SOPS 596364 HAS SOUS 463646 HAS SOUPS 463646 WITH SCORE 464242.364
AT ITER 278 NEW BEST:: SOT 1971865 SOS 595752 HAS SOPS 595752 HAS SOUS 463238 HAS SOUPS 463238 WITH SCORE 463833.752
AT ITER 286 NEW BEST:: SOT 1971796 SOS 595614 HAS SOPS 595614 HAS SOUS 463169 HAS SOUPS 463169 WITH SCORE 463764.614
AT ITER 300 NEW BEST:: SOT 1971796 SOS 595613 HAS SOPS 595613 HAS SOUS 463168 HAS SOUPS 463168 WITH SCORE 463763.613
AT ITER 304 NEW BEST:: SOT 1971796 SOS 595590 HAS SOPS 595590 HAS SOUS 463145 HAS SOUPS 463145 WITH SCORE 463740.59
AT ITER 306 NEW BEST:: SOT 1971796 SOS 595718 HAS SOPS 595718 HAS SOUS 462159 HAS SOUPS 462159 WITH SCORE 462754.718
AT ITER 312 NEW BEST:: SOT 1971703 SOS 595539 HAS SOPS 595539 HAS SOUS 461786 HAS SOUPS 461786 WITH SCORE 462381.539
AT ITER 323 NEW BEST:: SOT 1971616 SOS 595489 HAS SOPS 595489 HAS SOUS 460725 HAS SOUPS 460725 WITH SCORE 461320.489
AT ITER 325 NEW BEST:: SOT 1971514 SOS 595511 HAS SOPS 595511 HAS SOUS 460623 HAS SOUPS 460623 WITH SCORE 461218.511
AT ITER 345 NEW BEST:: SOT 1971514 SOS 595633 HAS SOPS 595633 HAS SOUS 460595 HAS SOUPS 460595 WITH SCORE 461190.633
AT ITER 362 NEW BEST:: SOT 1971460 SOS 595633 HAS SOPS 595633 HAS SOUS 459409 HAS SOUPS 459409 WITH SCORE 460004.633
AT ITER 368 NEW BEST:: SOT 1970596 SOS 595270 HAS SOPS 595270 HAS SOUS 458614 HAS SOUPS 458614 WITH SCORE 459209.27
AT ITER 374 NEW BEST:: SOT 1970374 SOS 594752 HAS SOPS 594752 HAS SOUS 458096 HAS SOUPS 458096 WITH SCORE 458690.752
AT ITER 378 NEW BEST:: SOT 1969592 SOS 594707 HAS SOPS 594707 HAS SOUS 457544 HAS SOUPS 457544 WITH SCORE 458138.707
AT ITER 394 NEW BEST:: SOT 1969592 SOS 594601 HAS SOPS 594601 HAS SOUS 457543 HAS SOUPS 457543 WITH SCORE 458137.601
AT ITER 405 NEW BEST:: SOT 1968852 SOS 594749 HAS SOPS 594749 HAS SOUS 457319 HAS SOUPS 457319 WITH SCORE 457913.749
AT ITER 414 NEW BEST:: SOT 1968852 SOS 594708 HAS SOPS 594708 HAS SOUS 457319 HAS SOUPS 457319 WITH SCORE 457913.708
AT ITER 418 NEW BEST:: SOT 1968654 SOS 594340 HAS SOPS 594340 HAS SOUS 457241 HAS SOUPS 457241 WITH SCORE 457835.34
AT ITER 420 NEW BEST:: SOT 1968654 SOS 594236 HAS SOPS 594236 HAS SOUS 457137 HAS SOUPS 457137 WITH SCORE 457731.236
AT ITER 432 NEW BEST:: SOT 1968567 SOS 594134 HAS SOPS 594134 HAS SOUS 457076 HAS SOUPS 457076 WITH SCORE 457670.134
AT ITER 443 NEW BEST:: SOT 1968353 SOS 593413 HAS SOPS 593413 HAS SOUS 456602 HAS SOUPS 456602 WITH SCORE 457195.413
AT ITER 454 NEW BEST:: SOT 1967736 SOS 593003 HAS SOPS 593003 HAS SOUS 456192 HAS SOUPS 456192 WITH SCORE 456785.003
AT ITER 464 NEW BEST:: SOT 1967736 SOS 592877 HAS SOPS 592877 HAS SOUS 456192 HAS SOUPS 456192 WITH SCORE 456784.877
AT ITER 467 NEW BEST:: SOT 1967619 SOS 592747 HAS SOPS 592747 HAS SOUS 456075 HAS SOUPS 456075 WITH SCORE 456667.747
AT ITER 489 NEW BEST:: SOT 1967607 SOS 592726 HAS SOPS 592726 HAS SOUS 456060 HAS SOUPS 456060 WITH SCORE 456652.726
AT ITER 493 NEW BEST:: SOT 1970448 SOS 595778 HAS SOPS 595778 HAS SOUS 454334 HAS SOUPS 454334 WITH SCORE 454929.778
AT ITER 520 NEW BEST:: SOT 1969053 SOS 598621 HAS SOPS 598621 HAS SOUS 454184 HAS SOUPS 454184 WITH SCORE 454782.621
AT ITER 535 NEW BEST:: SOT 1969002 SOS 598515 HAS SOPS 598515 HAS SOUS 454078 HAS SOUPS 454078 WITH SCORE 454676.515
AT ITER 536 NEW BEST:: SOT 1968977 SOS 598580 HAS SOPS 598580 HAS SOUS 453968 HAS SOUPS 453968 WITH SCORE 454566.58
AT ITER 538 NEW BEST:: SOT 1968676 SOS 598232 HAS SOPS 598232 HAS SOUS 453624 HAS SOUPS 453624 WITH SCORE 454222.232
AT ITER 576 NEW BEST:: SOT 1968676 SOS 598094 HAS SOPS 598094 HAS SOUS 453624 HAS SOUPS 453624 WITH SCORE 454222.094
AT ITER 595 NEW BEST:: SOT 1968587 SOS 598005 HAS SOPS 598005 HAS SOUS 453533 HAS SOUPS 453533 WITH SCORE 454131.005
AT ITER 626 NEW BEST:: SOT 1966774 SOS 599325 HAS SOPS 599325 HAS SOUS 452051 HAS SOUPS 452051 WITH SCORE 452650.325
AT ITER 632 NEW BEST:: SOT 1966458 SOS 599229 HAS SOPS 599229 HAS SOUS 451783 HAS SOUPS 451783 WITH SCORE 452382.229
AT ITER 636 NEW BEST:: SOT 1966050 SOS 598809 HAS SOPS 598809 HAS SOUS 451379 HAS SOUPS 451379 WITH SCORE 451977.809
AT ITER 650 NEW BEST:: SOT 1965462 SOS 598221 HAS SOPS 598221 HAS SOUS 450791 HAS SOUPS 450791 WITH SCORE 451389.221
AT ITER 651 NEW BEST:: SOT 1963654 SOS 596685 HAS SOPS 596685 HAS SOUS 449067 HAS SOUPS 449067 WITH SCORE 449663.685
AT ITER 662 NEW BEST:: SOT 1962198 SOS 595229 HAS SOPS 595229 HAS SOUS 447609 HAS SOUPS 447609 WITH SCORE 448204.229
AT ITER 674 NEW BEST:: SOT 1961874 SOS 594905 HAS SOPS 594905 HAS SOUS 447204 HAS SOUPS 447204 WITH SCORE 447798.905
AT ITER 683 NEW BEST:: SOT 1961562 SOS 594593 HAS SOPS 594593 HAS SOUS 446892 HAS SOUPS 446892 WITH SCORE 447486.593
AT ITER 686 NEW BEST:: SOT 1961562 SOS 594376 HAS SOPS 594376 HAS SOUS 446734 HAS SOUPS 446734 WITH SCORE 447328.376
AT ITER 690 NEW BEST:: SOT 1961562 SOS 594372 HAS SOPS 594372 HAS SOUS 446730 HAS SOUPS 446730 WITH SCORE 447324.372
AT ITER 714 NEW BEST:: SOT 1960543 SOS 593960 HAS SOPS 593960 HAS SOUS 446208 HAS SOUPS 446208 WITH SCORE 446801.96
AT ITER 728 NEW BEST:: SOT 1959827 SOS 594976 HAS SOPS 594976 HAS SOUS 446168 HAS SOUPS 446168 WITH SCORE 446762.976
AT ITER 732 NEW BEST:: SOT 1959827 SOS 594944 HAS SOPS 594944 HAS SOUS 446136 HAS SOUPS 446136 WITH SCORE 446730.944
AT ITER 747 NEW BEST:: SOT 1959827 SOS 595210 HAS SOPS 595210 HAS SOUS 446101 HAS SOUPS 446101 WITH SCORE 446696.21
AT ITER 768 NEW BEST:: SOT 1958687 SOS 596878 HAS SOPS 596878 HAS SOUS 445536 HAS SOUPS 445536 WITH SCORE 446132.878
AT ITER 769 NEW BEST:: SOT 1958645 SOS 596542 HAS SOPS 596542 HAS SOUS 445494 HAS SOUPS 445494 WITH SCORE 446090.542
AT ITER 782 NEW BEST:: SOT 1958645 SOS 596490 HAS SOPS 596490 HAS SOUS 445494 HAS SOUPS 445494 WITH SCORE 446090.49
AT ITER 791 NEW BEST:: SOT 1957937 SOS 595782 HAS SOPS 595782 HAS SOUS 444786 HAS SOUPS 444786 WITH SCORE 445381.782
AT ITER 793 NEW BEST:: SOT 1957132 SOS 596248 HAS SOPS 596248 HAS SOUS 444327 HAS SOUPS 444327 WITH SCORE 444923.248
AT ITER 794 NEW BEST:: SOT 1956951 SOS 596255 HAS SOPS 596255 HAS SOUS 444238 HAS SOUPS 444238 WITH SCORE 444834.255
AT ITER 802 NEW BEST:: SOT 1956776 SOS 595820 HAS SOPS 595820 HAS SOUS 443803 HAS SOUPS 443803 WITH SCORE 444398.82
AT ITER 805 NEW BEST:: SOT 1956712 SOS 595518 HAS SOPS 595518 HAS SOUS 443683 HAS SOUPS 443683 WITH SCORE 444278.518
AT ITER 832 NEW BEST:: SOT 1956274 SOS 595058 HAS SOPS 595058 HAS SOUS 443245 HAS SOUPS 443245 WITH SCORE 443840.058
AT ITER 839 NEW BEST:: SOT 1956274 SOS 594992 HAS SOPS 594992 HAS SOUS 443245 HAS SOUPS 443245 WITH SCORE 443839.992
AT ITER 850 NEW BEST:: SOT 1956274 SOS 594166 HAS SOPS 594166 HAS SOUS 443245 HAS SOUPS 443245 WITH SCORE 443839.166
AT ITER 859 NEW BEST:: SOT 1956110 SOS 594625 HAS SOPS 594625 HAS SOUS 443212 HAS SOUPS 443212 WITH SCORE 443806.625
AT ITER 868 NEW BEST:: SOT 1956110 SOS 594552 HAS SOPS 594552 HAS SOUS 442928 HAS SOUPS 442928 WITH SCORE 443522.552
AT ITER 882 NEW BEST:: SOT 1956110 SOS 594481 HAS SOPS 594481 HAS SOUS 442857 HAS SOUPS 442857 WITH SCORE 443451.481
AT ITER 884 NEW BEST:: SOT 1956104 SOS 594115 HAS SOPS 594115 HAS SOUS 442689 HAS SOUPS 442689 WITH SCORE 443283.115
AT ITER 893 NEW BEST:: SOT 1956073 SOS 594051 HAS SOPS 594051 HAS SOUS 442625 HAS SOUPS 442625 WITH SCORE 443219.051
AT ITER 943 NEW BEST:: SOT 1955998 SOS 593677 HAS SOPS 593677 HAS SOUS 442471 HAS SOUPS 442471 WITH SCORE 443064.677
AT ITER 947 NEW BEST:: SOT 1955992 SOS 593659 HAS SOPS 593659 HAS SOUS 442459 HAS SOUPS 442459 WITH SCORE 443052.659
AT ITER 968 NEW BEST:: SOT 1955750 SOS 593627 HAS SOPS 593627 HAS SOUS 442427 HAS SOUPS 442427 WITH SCORE 443020.627
AT ITER 976 NEW BEST:: SOT 1955386 SOS 593283 HAS SOPS 593283 HAS SOUS 442307 HAS SOUPS 442307 WITH SCORE 442900.283
AT ITER 980 NEW BEST:: SOT 1955135 SOS 592477 HAS SOPS 592477 HAS SOUS 441708 HAS SOUPS 441708 WITH SCORE 442300.477
AT ITER 992 NEW BEST:: SOT 1954800 SOS 592142 HAS SOPS 592142 HAS SOUS 441358 HAS SOUPS 441358 WITH SCORE 441950.142
AT ITER 993 NEW BEST:: SOT 1951695 SOS 589253 HAS SOPS 589253 HAS SOUS 441277 HAS SOUPS 441277 WITH SCORE 441866.253
AT ITER 1017 NEW BEST:: SOT 1951463 SOS 589228 HAS SOPS 589228 HAS SOUS 440822 HAS SOUPS 440822 WITH SCORE 441411.228
AT ITER 1019 NEW BEST:: SOT 1951398 SOS 589163 HAS SOPS 589163 HAS SOUS 440757 HAS SOUPS 440757 WITH SCORE 441346.163
AT ITER 1033 NEW BEST:: SOT 1951398 SOS 589182 HAS SOPS 589182 HAS SOUS 440756 HAS SOUPS 440756 WITH SCORE 441345.182
AT ITER 1049 NEW BEST:: SOT 1951398 SOS 589181 HAS SOPS 589181 HAS SOUS 440755 HAS SOUPS 440755 WITH SCORE 441344.181
AT ITER 1051 NEW BEST:: SOT 1951249 SOS 589032 HAS SOPS 589032 HAS SOUS 440606 HAS SOUPS 440606 WITH SCORE 441195.032
AT ITER 1055 NEW BEST:: SOT 1950813 SOS 588610 HAS SOPS 588610 HAS SOUS 440179 HAS SOUPS 440179 WITH SCORE 440767.61
AT ITER 1062 NEW BEST:: SOT 1950802 SOS 588588 HAS SOPS 588588 HAS SOUS 440157 HAS SOUPS 440157 WITH SCORE 440745.588
AT ITER 1068 NEW BEST:: SOT 1952703 SOS 590372 HAS SOPS 590372 HAS SOUS 436492 HAS SOUPS 436492 WITH SCORE 437082.372
AT ITER 1075 NEW BEST:: SOT 1952809 SOS 589479 HAS SOPS 589479 HAS SOUS 436430 HAS SOUPS 436430 WITH SCORE 437019.479
AT ITER 1078 NEW BEST:: SOT 1952727 SOS 589233 HAS SOPS 589233 HAS SOUS 436266 HAS SOUPS 436266 WITH SCORE 436855.233
AT ITER 1088 NEW BEST:: SOT 1952655 SOS 589089 HAS SOPS 589089 HAS SOUS 436105 HAS SOUPS 436105 WITH SCORE 436694.089
AT ITER 1114 NEW BEST:: SOT 1952716 SOS 589031 HAS SOPS 589031 HAS SOUS 436076 HAS SOUPS 436076 WITH SCORE 436665.031
AT ITER 1133 NEW BEST:: SOT 1952401 SOS 588779 HAS SOPS 588779 HAS SOUS 435824 HAS SOUPS 435824 WITH SCORE 436412.779
AT ITER 1140 NEW BEST:: SOT 1952231 SOS 588244 HAS SOPS 588244 HAS SOUS 435517 HAS SOUPS 435517 WITH SCORE 436105.244
AT ITER 1143 NEW BEST:: SOT 1952196 SOS 588209 HAS SOPS 588209 HAS SOUS 435482 HAS SOUPS 435482 WITH SCORE 436070.209
AT ITER 1161 NEW BEST:: SOT 1952196 SOS 588165 HAS SOPS 588165 HAS SOUS 435438 HAS SOUPS 435438 WITH SCORE 436026.165
AT ITER 1167 NEW BEST:: SOT 1950144 SOS 586215 HAS SOPS 586215 HAS SOUS 433484 HAS SOUPS 433484 WITH SCORE 434070.215
AT ITER 1174 NEW BEST:: SOT 1950144 SOS 586156 HAS SOPS 586156 HAS SOUS 433484 HAS SOUPS 433484 WITH SCORE 434070.156
AT ITER 1208 NEW BEST:: SOT 1950144 SOS 586134 HAS SOPS 586134 HAS SOUS 433462 HAS SOUPS 433462 WITH SCORE 434048.134
AT ITER 1211 NEW BEST:: SOT 1950061 SOS 585967 HAS SOPS 585967 HAS SOUS 433294 HAS SOUPS 433294 WITH SCORE 433879.967
AT ITER 1257 NEW BEST:: SOT 1950046 SOS 585955 HAS SOPS 585955 HAS SOUS 433282 HAS SOUPS 433282 WITH SCORE 433867.955
AT ITER 1278 NEW BEST:: SOT 1950109 SOS 585919 HAS SOPS 585919 HAS SOUS 433246 HAS SOUPS 433246 WITH SCORE 433831.919
AT ITER 1288 NEW BEST:: SOT 1948750 SOS 585241 HAS SOPS 585241 HAS SOUS 431956 HAS SOUPS 431956 WITH SCORE 432541.241
AT ITER 1300 NEW BEST:: SOT 1947717 SOS 584480 HAS SOPS 584480 HAS SOUS 430923 HAS SOUPS 430923 WITH SCORE 431507.48
AT ITER 1304 NEW BEST:: SOT 1947049 SOS 583779 HAS SOPS 583779 HAS SOUS 430203 HAS SOUPS 430203 WITH SCORE 430786.779
AT ITER 1306 NEW BEST:: SOT 1946698 SOS 583480 HAS SOPS 583480 HAS SOUS 429901 HAS SOUPS 429901 WITH SCORE 430484.48
AT ITER 1308 NEW BEST:: SOT 1946660 SOS 583403 HAS SOPS 583403 HAS SOUS 429824 HAS SOUPS 429824 WITH SCORE 430407.403
AT ITER 1310 NEW BEST:: SOT 1946561 SOS 583140 HAS SOPS 583140 HAS SOUS 429690 HAS SOUPS 429690 WITH SCORE 430273.14
AT ITER 1311 NEW BEST:: SOT 1946400 SOS 582441 HAS SOPS 582441 HAS SOUS 429358 HAS SOUPS 429358 WITH SCORE 429940.441
AT ITER 1315 NEW BEST:: SOT 1946253 SOS 582138 HAS SOPS 582138 HAS SOUS 429036 HAS SOUPS 429036 WITH SCORE 429618.138
AT ITER 1323 NEW BEST:: SOT 1946288 SOS 581871 HAS SOPS 581871 HAS SOUS 428769 HAS SOUPS 428769 WITH SCORE 429350.871
AT ITER 1327 NEW BEST:: SOT 1946286 SOS 581869 HAS SOPS 581869 HAS SOUS 428765 HAS SOUPS 428765 WITH SCORE 429346.869
AT ITER 1340 NEW BEST:: SOT 1946189 SOS 581838 HAS SOPS 581838 HAS SOUS 428738 HAS SOUPS 428738 WITH SCORE 429319.838
AT ITER 1344 NEW BEST:: SOT 1946189 SOS 581721 HAS SOPS 581721 HAS SOUS 428737 HAS SOUPS 428737 WITH SCORE 429318.721
AT ITER 1346 NEW BEST:: SOT 1946189 SOS 581726 HAS SOPS 581726 HAS SOUS 428629 HAS SOUPS 428629 WITH SCORE 429210.726
AT ITER 1368 NEW BEST:: SOT 1945959 SOS 581494 HAS SOPS 581494 HAS SOUS 428397 HAS SOUPS 428397 WITH SCORE 428978.494
AT ITER 1381 NEW BEST:: SOT 1945880 SOS 581370 HAS SOPS 581370 HAS SOUS 427755 HAS SOUPS 427755 WITH SCORE 428336.37
AT ITER 1383 NEW BEST:: SOT 1945793 SOS 581196 HAS SOPS 581196 HAS SOUS 427537 HAS SOUPS 427537 WITH SCORE 428118.196
AT ITER 1413 NEW BEST:: SOT 1945793 SOS 581128 HAS SOPS 581128 HAS SOUS 427536 HAS SOUPS 427536 WITH SCORE 428117.128
AT ITER 1424 NEW BEST:: SOT 1943771 SOS 588568 HAS SOPS 588568 HAS SOUS 426792 HAS SOUPS 426792 WITH SCORE 427380.568
AT ITER 1430 NEW BEST:: SOT 1943771 SOS 588566 HAS SOPS 588566 HAS SOUS 426770 HAS SOUPS 426770 WITH SCORE 427358.566
AT ITER 1440 NEW BEST:: SOT 1943769 SOS 588653 HAS SOPS 588653 HAS SOUS 426712 HAS SOUPS 426712 WITH SCORE 427300.653
AT ITER 1454 NEW BEST:: SOT 1943683 SOS 588567 HAS SOPS 588567 HAS SOUS 426626 HAS SOUPS 426626 WITH SCORE 427214.567
AT ITER 1464 NEW BEST:: SOT 1943390 SOS 587981 HAS SOPS 587981 HAS SOUS 426040 HAS SOUPS 426040 WITH SCORE 426627.981
AT ITER 1465 NEW BEST:: SOT 1943317 SOS 587835 HAS SOPS 587835 HAS SOUS 425961 HAS SOUPS 425961 WITH SCORE 426548.835
AT ITER 1466 NEW BEST:: SOT 1943346 SOS 587744 HAS SOPS 587744 HAS SOUS 425870 HAS SOUPS 425870 WITH SCORE 426457.744
AT ITER 1470 NEW BEST:: SOT 1943274 SOS 587663 HAS SOPS 587663 HAS SOUS 425789 HAS SOUPS 425789 WITH SCORE 426376.663
AT ITER 1481 NEW BEST:: SOT 1943274 SOS 587662 HAS SOPS 587662 HAS SOUS 425788 HAS SOUPS 425788 WITH SCORE 426375.662
AT ITER 1489 NEW BEST:: SOT 1943180 SOS 587380 HAS SOPS 587380 HAS SOUS 425600 HAS SOUPS 425600 WITH SCORE 426187.38
AT ITER 1495 NEW BEST:: SOT 1943177 SOS 587377 HAS SOPS 587377 HAS SOUS 425594 HAS SOUPS 425594 WITH SCORE 426181.377
AT ITER 1498 NEW BEST:: SOT 1942742 SOS 586887 HAS SOPS 586887 HAS SOUS 425413 HAS SOUPS 425413 WITH SCORE 425999.887
AT ITER 1500 NEW BEST:: SOT 1942753 SOS 586898 HAS SOPS 586898 HAS SOUS 425351 HAS SOUPS 425351 WITH SCORE 425937.898
AT ITER 1510 NEW BEST:: SOT 1942689 SOS 586672 HAS SOPS 586672 HAS SOUS 425223 HAS SOUPS 425223 WITH SCORE 425809.672
AT ITER 1512 NEW BEST:: SOT 1943862 SOS 588232 HAS SOPS 588232 HAS SOUS 423855 HAS SOUPS 423855 WITH SCORE 424443.232
AT ITER 1526 NEW BEST:: SOT 1943862 SOS 588232 HAS SOPS 588232 HAS SOUS 423854 HAS SOUPS 423854 WITH SCORE 424442.232
AT ITER 1553 NEW BEST:: SOT 1943334 SOS 588690 HAS SOPS 588690 HAS SOUS 423832 HAS SOUPS 423832 WITH SCORE 424420.69
AT ITER 1560 NEW BEST:: SOT 1943344 SOS 588569 HAS SOPS 588569 HAS SOUS 423810 HAS SOUPS 423810 WITH SCORE 424398.569
AT ITER 1581 NEW BEST:: SOT 1943315 SOS 588540 HAS SOPS 588540 HAS SOUS 423781 HAS SOUPS 423781 WITH SCORE 424369.54
AT ITER 1593 NEW BEST:: SOT 1942971 SOS 588931 HAS SOPS 588931 HAS SOUS 423707 HAS SOUPS 423707 WITH SCORE 424295.931
AT ITER 1615 NEW BEST:: SOT 1942785 SOS 588551 HAS SOPS 588551 HAS SOUS 422397 HAS SOUPS 422397 WITH SCORE 422985.551
AT ITER 1626 NEW BEST:: SOT 1942739 SOS 588523 HAS SOPS 588523 HAS SOUS 422369 HAS SOUPS 422369 WITH SCORE 422957.523
AT ITER 1649 NEW BEST:: SOT 1942650 SOS 588407 HAS SOPS 588407 HAS SOUS 422253 HAS SOUPS 422253 WITH SCORE 422841.407
AT ITER 1650 NEW BEST:: SOT 1942517 SOS 588273 HAS SOPS 588273 HAS SOUS 422251 HAS SOUPS 422251 WITH SCORE 422839.273
AT ITER 1652 NEW BEST:: SOT 1942129 SOS 588069 HAS SOPS 588069 HAS SOUS 422046 HAS SOUPS 422046 WITH SCORE 422634.069
AT ITER 1654 NEW BEST:: SOT 1941730 SOS 587271 HAS SOPS 587271 HAS SOUS 421248 HAS SOUPS 421248 WITH SCORE 421835.271
AT ITER 1659 NEW BEST:: SOT 1941142 SOS 586599 HAS SOPS 586599 HAS SOUS 421164 HAS SOUPS 421164 WITH SCORE 421750.599
AT ITER 1670 NEW BEST:: SOT 1940998 SOS 587607 HAS SOPS 587607 HAS SOUS 421019 HAS SOUPS 421019 WITH SCORE 421606.607
AT ITER 1717 NEW BEST:: SOT 1940998 SOS 587602 HAS SOPS 587602 HAS SOUS 421014 HAS SOUPS 421014 WITH SCORE 421601.602
AT ITER 1723 NEW BEST:: SOT 1940943 SOS 587492 HAS SOPS 587492 HAS SOUS 420849 HAS SOUPS 420849 WITH SCORE 421436.492
AT ITER 1741 NEW BEST:: SOT 1940777 SOS 587160 HAS SOPS 587160 HAS SOUS 420453 HAS SOUPS 420453 WITH SCORE 421040.16
AT ITER 1742 NEW BEST:: SOT 1941488 SOS 587805 HAS SOPS 587805 HAS SOUS 420240 HAS SOUPS 420240 WITH SCORE 420827.805
AT ITER 1751 NEW BEST:: SOT 1939196 SOS 585794 HAS SOPS 585794 HAS SOUS 420131 HAS SOUPS 420131 WITH SCORE 420716.794
AT ITER 1766 NEW BEST:: SOT 1939046 SOS 585375 HAS SOPS 585375 HAS SOUS 419712 HAS SOUPS 419712 WITH SCORE 420297.375
AT ITER 1767 NEW BEST:: SOT 1938966 SOS 585212 HAS SOPS 585212 HAS SOUS 419549 HAS SOUPS 419549 WITH SCORE 420134.212
AT ITER 1775 NEW BEST:: SOT 1938727 SOS 584719 HAS SOPS 584719 HAS SOUS 419321 HAS SOUPS 419321 WITH SCORE 419905.719
AT ITER 1778 NEW BEST:: SOT 1937254 SOS 589144 HAS SOPS 589144 HAS SOUS 418492 HAS SOUPS 418492 WITH SCORE 419081.144
AT ITER 1781 NEW BEST:: SOT 1937255 SOS 589280 HAS SOPS 589280 HAS SOUS 418355 HAS SOUPS 418355 WITH SCORE 418944.28
AT ITER 1784 NEW BEST:: SOT 1937255 SOS 589186 HAS SOPS 589186 HAS SOUS 418355 HAS SOUPS 418355 WITH SCORE 418944.186
AT ITER 1793 NEW BEST:: SOT 1937255 SOS 589185 HAS SOPS 589185 HAS SOUS 418354 HAS SOUPS 418354 WITH SCORE 418943.185
AT ITER 1799 NEW BEST:: SOT 1937255 SOS 585780 HAS SOPS 585780 HAS SOUS 418354 HAS SOUPS 418354 WITH SCORE 418939.78
AT ITER 1812 NEW BEST:: SOT 1937155 SOS 585580 HAS SOPS 585580 HAS SOUS 418238 HAS SOUPS 418238 WITH SCORE 418823.58
AT ITER 1817 NEW BEST:: SOT 1936855 SOS 585280 HAS SOPS 585280 HAS SOUS 417557 HAS SOUPS 417557 WITH SCORE 418142.28
AT ITER 1831 NEW BEST:: SOT 1936853 SOS 585276 HAS SOPS 585276 HAS SOUS 417553 HAS SOUPS 417553 WITH SCORE 418138.276
AT ITER 1842 NEW BEST:: SOT 1936813 SOS 585197 HAS SOPS 585197 HAS SOUS 417527 HAS SOUPS 417527 WITH SCORE 418112.197
AT ITER 1845 NEW BEST:: SOT 1935889 SOS 586103 HAS SOPS 586103 HAS SOUS 416585 HAS SOUPS 416585 WITH SCORE 417171.103
AT ITER 1846 NEW BEST:: SOT 1935884 SOS 586098 HAS SOPS 586098 HAS SOUS 416580 HAS SOUPS 416580 WITH SCORE 417166.098
AT ITER 1863 NEW BEST:: SOT 1935884 SOS 586039 HAS SOPS 586039 HAS SOUS 416521 HAS SOUPS 416521 WITH SCORE 417107.039
AT ITER 1869 NEW BEST:: SOT 1935649 SOS 585802 HAS SOPS 585802 HAS SOUS 416285 HAS SOUPS 416285 WITH SCORE 416870.802
AT ITER 1871 NEW BEST:: SOT 1935620 SOS 585744 HAS SOPS 585744 HAS SOUS 416227 HAS SOUPS 416227 WITH SCORE 416812.744
AT ITER 1920 NEW BEST:: SOT 1935562 SOS 585686 HAS SOPS 585686 HAS SOUS 416169 HAS SOUPS 416169 WITH SCORE 416754.686
AT ITER 1926 NEW BEST:: SOT 1935562 SOS 585670 HAS SOPS 585670 HAS SOUS 416169 HAS SOUPS 416169 WITH SCORE 416754.67
AT ITER 1940 NEW BEST:: SOT 1935459 SOS 585562 HAS SOPS 585562 HAS SOUS 416061 HAS SOUPS 416061 WITH SCORE 416646.562
AT ITER 1951 NEW BEST:: SOT 1935444 SOS 585547 HAS SOPS 585547 HAS SOUS 416059 HAS SOUPS 416059 WITH SCORE 416644.547
AT ITER 1954 NEW BEST:: SOT 1934913 SOS 584335 HAS SOPS 584335 HAS SOUS 415018 HAS SOUPS 415018 WITH SCORE 415602.335
AT ITER 1962 NEW BEST:: SOT 1934913 SOS 583899 HAS SOPS 583899 HAS SOUS 414872 HAS SOUPS 414872 WITH SCORE 415455.899
AT ITER 1980 NEW BEST:: SOT 1934747 SOS 583644 HAS SOPS 583644 HAS SOUS 414692 HAS SOUPS 414692 WITH SCORE 415275.644
AT ITER 1981 NEW BEST:: SOT 1934693 SOS 585339 HAS SOPS 585339 HAS SOUS 414550 HAS SOUPS 414550 WITH SCORE 415135.339
AT ITER 1983 NEW BEST:: SOT 1934487 SOS 584928 HAS SOPS 584928 HAS SOUS 414343 HAS SOUPS 414343 WITH SCORE 414927.928
AT ITER 1986 NEW BEST:: SOT 1934041 SOS 584482 HAS SOPS 584482 HAS SOUS 413897 HAS SOUPS 413897 WITH SCORE 414481.482
AT ITER 1989 NEW BEST:: SOT 1934013 SOS 584454 HAS SOPS 584454 HAS SOUS 413868 HAS SOUPS 413868 WITH SCORE 414452.454
AT ITER 1994 NEW BEST:: SOT 1934013 SOS 584342 HAS SOPS 584342 HAS SOUS 413769 HAS SOUPS 413769 WITH SCORE 414353.342
AT ITER 2003 NEW BEST:: SOT 1934013 SOS 584342 HAS SOPS 584342 HAS SOUS 413665 HAS SOUPS 413665 WITH SCORE 414249.342
AT ITER 2012 NEW BEST:: SOT 1933816 SOS 583843 HAS SOPS 583843 HAS SOUS 413166 HAS SOUPS 413166 WITH SCORE 413749.843
AT ITER 2013 NEW BEST:: SOT 1933786 SOS 583783 HAS SOPS 583783 HAS SOUS 413094 HAS SOUPS 413094 WITH SCORE 413677.783
AT ITER 2041 NEW BEST:: SOT 1936003 SOS 590603 HAS SOPS 590603 HAS SOUS 413061 HAS SOUPS 413061 WITH SCORE 413651.603
AT ITER 2051 NEW BEST:: SOT 1936003 SOS 590469 HAS SOPS 590469 HAS SOUS 412927 HAS SOUPS 412927 WITH SCORE 413517.469
AT ITER 2060 NEW BEST:: SOT 1935760 SOS 589983 HAS SOPS 589983 HAS SOUS 412441 HAS SOUPS 412441 WITH SCORE 413030.983
AT ITER 2073 NEW BEST:: SOT 1935760 SOS 589981 HAS SOPS 589981 HAS SOUS 412439 HAS SOUPS 412439 WITH SCORE 413028.981
AT ITER 2082 NEW BEST:: SOT 1935686 SOS 589907 HAS SOPS 589907 HAS SOUS 412365 HAS SOUPS 412365 WITH SCORE 412954.907
AT ITER 2099 NEW BEST:: SOT 1935671 SOS 589860 HAS SOPS 589860 HAS SOUS 412287 HAS SOUPS 412287 WITH SCORE 412876.86
AT ITER 2101 NEW BEST:: SOT 1935462 SOS 589102 HAS SOPS 589102 HAS SOUS 411868 HAS SOUPS 411868 WITH SCORE 412457.102
AT ITER 2112 NEW BEST:: SOT 1935537 SOS 589252 HAS SOPS 589252 HAS SOUS 411764 HAS SOUPS 411764 WITH SCORE 412353.252
AT ITER 2167 NEW BEST:: SOT 1935501 SOS 588588 HAS SOPS 588588 HAS SOUS 411456 HAS SOUPS 411456 WITH SCORE 412044.588
AT ITER 2200 NEW BEST:: SOT 1935414 SOS 588509 HAS SOPS 588509 HAS SOUS 411377 HAS SOUPS 411377 WITH SCORE 411965.509
AT ITER 2202 NEW BEST:: SOT 1935237 SOS 588298 HAS SOPS 588298 HAS SOUS 409731 HAS SOUPS 409731 WITH SCORE 410319.298
AT ITER 2206 NEW BEST:: SOT 1935156 SOS 588136 HAS SOPS 588136 HAS SOUS 409569 HAS SOUPS 409569 WITH SCORE 410157.136
AT ITER 2213 NEW BEST:: SOT 1935023 SOS 588003 HAS SOPS 588003 HAS SOUS 409436 HAS SOUPS 409436 WITH SCORE 410024.003
AT ITER 2226 NEW BEST:: SOT 1936872 SOS 590046 HAS SOPS 590046 HAS SOUS 409116 HAS SOUPS 409116 WITH SCORE 409706.046
AT ITER 2247 NEW BEST:: SOT 1936700 SOS 589746 HAS SOPS 589746 HAS SOUS 408916 HAS SOUPS 408916 WITH SCORE 409505.746
AT ITER 2265 NEW BEST:: SOT 1936428 SOS 589146 HAS SOPS 589146 HAS SOUS 408316 HAS SOUPS 408316 WITH SCORE 408905.146
AT ITER 2267 NEW BEST:: SOT 1936428 SOS 589144 HAS SOPS 589144 HAS SOUS 408314 HAS SOUPS 408314 WITH SCORE 408903.144
AT ITER 2269 NEW BEST:: SOT 1936408 SOS 589020 HAS SOPS 589020 HAS SOUS 408278 HAS SOUPS 408278 WITH SCORE 408867.02
AT ITER 2284 NEW BEST:: SOT 1936398 SOS 589000 HAS SOPS 589000 HAS SOUS 408202 HAS SOUPS 408202 WITH SCORE 408791.0
AT ITER 2289 NEW BEST:: SOT 1936395 SOS 588997 HAS SOPS 588997 HAS SOUS 408199 HAS SOUPS 408199 WITH SCORE 408787.997
AT ITER 2301 NEW BEST:: SOT 1936395 SOS 589241 HAS SOPS 589241 HAS SOUS 408135 HAS SOUPS 408135 WITH SCORE 408724.241
AT ITER 2317 NEW BEST:: SOT 1936011 SOS 592448 HAS SOPS 592448 HAS SOUS 407983 HAS SOUPS 407983 WITH SCORE 408575.448
AT ITER 2320 NEW BEST:: SOT 1935853 SOS 592284 HAS SOPS 592284 HAS SOUS 407315 HAS SOUPS 407315 WITH SCORE 407907.284
AT ITER 2347 NEW BEST:: SOT 1935732 SOS 592241 HAS SOPS 592241 HAS SOUS 407272 HAS SOUPS 407272 WITH SCORE 407864.241
AT ITER 2361 NEW BEST:: SOT 1935611 SOS 592146 HAS SOPS 592146 HAS SOUS 407189 HAS SOUPS 407189 WITH SCORE 407781.146
AT ITER 2369 NEW BEST:: SOT 1935412 SOS 591947 HAS SOPS 591947 HAS SOUS 407189 HAS SOUPS 407189 WITH SCORE 407780.947
AT ITER 2386 NEW BEST:: SOT 1935412 SOS 591945 HAS SOPS 591945 HAS SOUS 407187 HAS SOUPS 407187 WITH SCORE 407778.945
AT ITER 2402 NEW BEST:: SOT 1935412 SOS 591917 HAS SOPS 591917 HAS SOUS 407159 HAS SOUPS 407159 WITH SCORE 407750.917
AT ITER 2406 NEW BEST:: SOT 1935354 SOS 591321 HAS SOPS 591321 HAS SOUS 406918 HAS SOUPS 406918 WITH SCORE 407509.321
AT ITER 2417 NEW BEST:: SOT 1935318 SOS 590493 HAS SOPS 590493 HAS SOUS 406810 HAS SOUPS 406810 WITH SCORE 407400.493
AT ITER 2426 NEW BEST:: SOT 1935270 SOS 590445 HAS SOPS 590445 HAS SOUS 406714 HAS SOUPS 406714 WITH SCORE 407304.445
AT ITER 2436 NEW BEST:: SOT 1935243 SOS 590561 HAS SOPS 590561 HAS SOUS 406641 HAS SOUPS 406641 WITH SCORE 407231.561
AT ITER 2440 NEW BEST:: SOT 1935084 SOS 590542 HAS SOPS 590542 HAS SOUS 406622 HAS SOUPS 406622 WITH SCORE 407212.542
AT ITER 2448 NEW BEST:: SOT 1934806 SOS 590264 HAS SOPS 590264 HAS SOUS 406344 HAS SOUPS 406344 WITH SCORE 406934.264
AT ITER 2477 NEW BEST:: SOT 1934621 SOS 590078 HAS SOPS 590078 HAS SOUS 406158 HAS SOUPS 406158 WITH SCORE 406748.078
AT ITER 2497 NEW BEST:: SOT 1934621 SOS 590026 HAS SOPS 590026 HAS SOUS 406158 HAS SOUPS 406158 WITH SCORE 406748.026
AT ITER 2523 NEW BEST:: SOT 1934574 SOS 589505 HAS SOPS 589505 HAS SOUS 405995 HAS SOUPS 405995 WITH SCORE 406584.505
AT ITER 2527 NEW BEST:: SOT 1934534 SOS 589405 HAS SOPS 589405 HAS SOUS 405935 HAS SOUPS 405935 WITH SCORE 406524.405
AT ITER 2533 NEW BEST:: SOT 1934400 SOS 589137 HAS SOPS 589137 HAS SOUS 405496 HAS SOUPS 405496 WITH SCORE 406085.137
AT ITER 2555 NEW BEST:: SOT 1934373 SOS 589110 HAS SOPS 589110 HAS SOUS 405469 HAS SOUPS 405469 WITH SCORE 406058.11
AT ITER 2577 NEW BEST:: SOT 1934357 SOS 589086 HAS SOPS 589086 HAS SOUS 405445 HAS SOUPS 405445 WITH SCORE 406034.086
AT ITER 2587 NEW BEST:: SOT 1935671 SOS 589652 HAS SOPS 589652 HAS SOUS 403522 HAS SOUPS 403522 WITH SCORE 404111.652
AT ITER 2594 NEW BEST:: SOT 1937592 SOS 590671 HAS SOPS 590671 HAS SOUS 402075 HAS SOUPS 402075 WITH SCORE 402665.671
AT ITER 2595 NEW BEST:: SOT 1937435 SOS 590330 HAS SOPS 590330 HAS SOUS 401784 HAS SOUPS 401784 WITH SCORE 402374.33
AT ITER 2609 NEW BEST:: SOT 1937435 SOS 590330 HAS SOPS 590330 HAS SOUS 401783 HAS SOUPS 401783 WITH SCORE 402373.33
AT ITER 2610 NEW BEST:: SOT 1937715 SOS 590799 HAS SOPS 590799 HAS SOUS 400311 HAS SOUPS 400311 WITH SCORE 400901.799
AT ITER 2622 NEW BEST:: SOT 1937820 SOS 590765 HAS SOPS 590765 HAS SOUS 400277 HAS SOUPS 400277 WITH SCORE 400867.765
AT ITER 2640 NEW BEST:: SOT 1937820 SOS 590709 HAS SOPS 590709 HAS SOUS 400277 HAS SOUPS 400277 WITH SCORE 400867.709
AT ITER 2642 NEW BEST:: SOT 1935084 SOS 587973 HAS SOPS 587973 HAS SOUS 397646 HAS SOUPS 397646 WITH SCORE 398233.973
AT ITER 2649 NEW BEST:: SOT 1934572 SOS 587397 HAS SOPS 587397 HAS SOUS 397070 HAS SOUPS 397070 WITH SCORE 397657.397
AT ITER 2670 NEW BEST:: SOT 1934837 SOS 588791 HAS SOPS 588791 HAS SOUS 396584 HAS SOUPS 396584 WITH SCORE 397172.791
AT ITER 2676 NEW BEST:: SOT 1934895 SOS 588899 HAS SOPS 588899 HAS SOUS 396581 HAS SOUPS 396581 WITH SCORE 397169.899
AT ITER 2682 NEW BEST:: SOT 1934676 SOS 588619 HAS SOPS 588619 HAS SOUS 396260 HAS SOUPS 396260 WITH SCORE 396848.619
AT ITER 2765 NEW BEST:: SOT 1934647 SOS 588823 HAS SOPS 588823 HAS SOUS 395930 HAS SOUPS 395930 WITH SCORE 396518.823
AT ITER 2771 NEW BEST:: SOT 1934647 SOS 588812 HAS SOPS 588812 HAS SOUS 395919 HAS SOUPS 395919 WITH SCORE 396507.812
AT ITER 2780 NEW BEST:: SOT 1934632 SOS 588762 HAS SOPS 588762 HAS SOUS 395819 HAS SOUPS 395819 WITH SCORE 396407.762
AT ITER 2789 NEW BEST:: SOT 1934630 SOS 588758 HAS SOPS 588758 HAS SOUS 395799 HAS SOUPS 395799 WITH SCORE 396387.758
AT ITER 2791 NEW BEST:: SOT 1934476 SOS 588450 HAS SOPS 588450 HAS SOUS 395645 HAS SOUPS 395645 WITH SCORE 396233.45
AT ITER 2808 NEW BEST:: SOT 1934425 SOS 588348 HAS SOPS 588348 HAS SOUS 395543 HAS SOUPS 395543 WITH SCORE 396131.348
AT ITER 2810 NEW BEST:: SOT 1934312 SOS 587786 HAS SOPS 587786 HAS SOUS 395314 HAS SOUPS 395314 WITH SCORE 395901.786
AT ITER 2813 NEW BEST:: SOT 1934297 SOS 587741 HAS SOPS 587741 HAS SOUS 395284 HAS SOUPS 395284 WITH SCORE 395871.741
AT ITER 2819 NEW BEST:: SOT 1934277 SOS 587770 HAS SOPS 587770 HAS SOUS 395244 HAS SOUPS 395244 WITH SCORE 395831.77
AT ITER 2827 NEW BEST:: SOT 1934352 SOS 587284 HAS SOPS 587284 HAS SOUS 395195 HAS SOUPS 395195 WITH SCORE 395782.284
AT ITER 2839 NEW BEST:: SOT 1934165 SOS 587092 HAS SOPS 587092 HAS SOUS 395052 HAS SOUPS 395052 WITH SCORE 395639.092
AT ITER 2860 NEW BEST:: SOT 1934160 SOS 587082 HAS SOPS 587082 HAS SOUS 395042 HAS SOUPS 395042 WITH SCORE 395629.082
AT ITER 2866 NEW BEST:: SOT 1934154 SOS 586761 HAS SOPS 586761 HAS SOUS 394727 HAS SOUPS 394727 WITH SCORE 395313.761
AT ITER 2869 NEW BEST:: SOT 1934084 SOS 586621 HAS SOPS 586621 HAS SOUS 394587 HAS SOUPS 394587 WITH SCORE 395173.621
AT ITER 2887 NEW BEST:: SOT 1934005 SOS 586565 HAS SOPS 586565 HAS SOUS 394531 HAS SOUPS 394531 WITH SCORE 395117.565
AT ITER 2898 NEW BEST:: SOT 1933944 SOS 586493 HAS SOPS 586493 HAS SOUS 394459 HAS SOUPS 394459 WITH SCORE 395045.493
AT ITER 2901 NEW BEST:: SOT 1933943 SOS 586443 HAS SOPS 586443 HAS SOUS 394430 HAS SOUPS 394430 WITH SCORE 395016.443
AT ITER 2913 NEW BEST:: SOT 1933889 SOS 586389 HAS SOPS 586389 HAS SOUS 394331 HAS SOUPS 394331 WITH SCORE 394917.389
AT ITER 2915 NEW BEST:: SOT 1933880 SOS 586440 HAS SOPS 586440 HAS SOUS 394305 HAS SOUPS 394305 WITH SCORE 394891.44
AT ITER 2927 NEW BEST:: SOT 1934102 SOS 586390 HAS SOPS 586390 HAS SOUS 390592 HAS SOUPS 390592 WITH SCORE 391178.39
AT ITER 2929 NEW BEST:: SOT 1934015 SOS 586303 HAS SOPS 586303 HAS SOUS 390592 HAS SOUPS 390592 WITH SCORE 391178.303
AT ITER 2937 NEW BEST:: SOT 1933723 SOS 585600 HAS SOPS 585600 HAS SOUS 390181 HAS SOUPS 390181 WITH SCORE 390766.6
AT ITER 2940 NEW BEST:: SOT 1933595 SOS 585344 HAS SOPS 585344 HAS SOUS 389925 HAS SOUPS 389925 WITH SCORE 390510.344
AT ITER 2948 NEW BEST:: SOT 1933104 SOS 586030 HAS SOPS 586030 HAS SOUS 389622 HAS SOUPS 389622 WITH SCORE 390208.03
AT ITER 2955 NEW BEST:: SOT 1932217 SOS 585143 HAS SOPS 585143 HAS SOUS 388883 HAS SOUPS 388883 WITH SCORE 389468.143
AT ITER 2963 NEW BEST:: SOT 1931948 SOS 584863 HAS SOPS 584863 HAS SOUS 388603 HAS SOUPS 388603 WITH SCORE 389187.863
AT ITER 2970 NEW BEST:: SOT 1931910 SOS 584852 HAS SOPS 584852 HAS SOUS 388592 HAS SOUPS 388592 WITH SCORE 389176.852
AT ITER 2973 NEW BEST:: SOT 1931811 SOS 584753 HAS SOPS 584753 HAS SOUS 388404 HAS SOUPS 388404 WITH SCORE 388988.753
AT ITER 3046 NEW BEST:: SOT 1931789 SOS 582998 HAS SOPS 582998 HAS SOUS 388192 HAS SOUPS 388192 WITH SCORE 388774.998
AT ITER 3050 NEW BEST:: SOT 1931783 SOS 582986 HAS SOPS 582986 HAS SOUS 388186 HAS SOUPS 388186 WITH SCORE 388768.986
AT ITER 3056 NEW BEST:: SOT 1931731 SOS 582375 HAS SOPS 582375 HAS SOUS 388073 HAS SOUPS 388073 WITH SCORE 388655.375
AT ITER 3058 NEW BEST:: SOT 1931577 SOS 582625 HAS SOPS 582625 HAS SOUS 387765 HAS SOUPS 387765 WITH SCORE 388347.625
AT ITER 3060 NEW BEST:: SOT 1931411 SOS 582631 HAS SOPS 582631 HAS SOUS 387721 HAS SOUPS 387721 WITH SCORE 388303.631
AT ITER 3075 NEW BEST:: SOT 1931269 SOS 583187 HAS SOPS 583187 HAS SOUS 387542 HAS SOUPS 387542 WITH SCORE 388125.187
AT ITER 3076 NEW BEST:: SOT 1931273 SOS 583191 HAS SOPS 583191 HAS SOUS 387482 HAS SOUPS 387482 WITH SCORE 388065.191
AT ITER 3083 NEW BEST:: SOT 1931224 SOS 582793 HAS SOPS 582793 HAS SOUS 387384 HAS SOUPS 387384 WITH SCORE 387966.793
AT ITER 3115 NEW BEST:: SOT 1931242 SOS 582666 HAS SOPS 582666 HAS SOUS 387318 HAS SOUPS 387318 WITH SCORE 387900.666
AT ITER 3121 NEW BEST:: SOT 1931075 SOS 583123 HAS SOPS 583123 HAS SOUS 387151 HAS SOUPS 387151 WITH SCORE 387734.123
AT ITER 3135 NEW BEST:: SOT 1930525 SOS 583124 HAS SOPS 583124 HAS SOUS 386736 HAS SOUPS 386736 WITH SCORE 387319.124
AT ITER 3139 NEW BEST:: SOT 1930470 SOS 582868 HAS SOPS 582868 HAS SOUS 386594 HAS SOUPS 386594 WITH SCORE 387176.868
AT ITER 3164 NEW BEST:: SOT 1930457 SOS 582853 HAS SOPS 582853 HAS SOUS 386579 HAS SOUPS 386579 WITH SCORE 387161.853
AT ITER 3165 NEW BEST:: SOT 1929929 SOS 582498 HAS SOPS 582498 HAS SOUS 386224 HAS SOUPS 386224 WITH SCORE 386806.498
AT ITER 3177 NEW BEST:: SOT 1929902 SOS 582471 HAS SOPS 582471 HAS SOUS 386197 HAS SOUPS 386197 WITH SCORE 386779.471
AT ITER 3179 NEW BEST:: SOT 1929902 SOS 582471 HAS SOPS 582471 HAS SOUS 386156 HAS SOUPS 386156 WITH SCORE 386738.471
AT ITER 3183 NEW BEST:: SOT 1930618 SOS 583460 HAS SOPS 583460 HAS SOUS 386070 HAS SOUPS 386070 WITH SCORE 386653.46
AT ITER 3200 NEW BEST:: SOT 1930617 SOS 583458 HAS SOPS 583458 HAS SOUS 386068 HAS SOUPS 386068 WITH SCORE 386651.458
AT ITER 3224 NEW BEST:: SOT 1930615 SOS 583368 HAS SOPS 583368 HAS SOUS 385977 HAS SOUPS 385977 WITH SCORE 386560.368
AT ITER 3239 NEW BEST:: SOT 1930520 SOS 583246 HAS SOPS 583246 HAS SOUS 385855 HAS SOUPS 385855 WITH SCORE 386438.246
AT ITER 3247 NEW BEST:: SOT 1930467 SOS 583140 HAS SOPS 583140 HAS SOUS 385749 HAS SOUPS 385749 WITH SCORE 386332.14
AT ITER 3251 NEW BEST:: SOT 1930312 SOS 583353 HAS SOPS 583353 HAS SOUS 385640 HAS SOUPS 385640 WITH SCORE 386223.353
AT ITER 3280 NEW BEST:: SOT 1930311 SOS 583050 HAS SOPS 583050 HAS SOUS 385638 HAS SOUPS 385638 WITH SCORE 386221.05
AT ITER 3284 NEW BEST:: SOT 1930311 SOS 582359 HAS SOPS 582359 HAS SOUS 385267 HAS SOUPS 385267 WITH SCORE 385849.359
AT ITER 3287 NEW BEST:: SOT 1930299 SOS 582264 HAS SOPS 582264 HAS SOUS 385243 HAS SOUPS 385243 WITH SCORE 385825.264
AT ITER 3289 NEW BEST:: SOT 1930245 SOS 582210 HAS SOPS 582210 HAS SOUS 385135 HAS SOUPS 385135 WITH SCORE 385717.21
AT ITER 3303 NEW BEST:: SOT 1930016 SOS 581908 HAS SOPS 581908 HAS SOUS 384980 HAS SOUPS 384980 WITH SCORE 385561.908
AT ITER 3308 NEW BEST:: SOT 1930016 SOS 581732 HAS SOPS 581732 HAS SOUS 384979 HAS SOUPS 384979 WITH SCORE 385560.732
AT ITER 3320 NEW BEST:: SOT 1930224 SOS 581445 HAS SOPS 581445 HAS SOUS 381351 HAS SOUPS 381351 WITH SCORE 381932.445
AT ITER 3323 NEW BEST:: SOT 1930224 SOS 581127 HAS SOPS 581127 HAS SOUS 381342 HAS SOUPS 381342 WITH SCORE 381923.127
AT ITER 3324 NEW BEST:: SOT 1930009 SOS 581075 HAS SOPS 581075 HAS SOUS 381326 HAS SOUPS 381326 WITH SCORE 381907.075
AT ITER 3334 NEW BEST:: SOT 1930155 SOS 580950 HAS SOPS 580950 HAS SOUS 381302 HAS SOUPS 381302 WITH SCORE 381882.95
AT ITER 3349 NEW BEST:: SOT 1929912 SOS 580788 HAS SOPS 580788 HAS SOUS 381059 HAS SOUPS 381059 WITH SCORE 381639.788
AT ITER 3353 NEW BEST:: SOT 1929785 SOS 580193 HAS SOPS 580193 HAS SOUS 380805 HAS SOUPS 380805 WITH SCORE 381385.193
AT ITER 3356 NEW BEST:: SOT 1929715 SOS 580054 HAS SOPS 580054 HAS SOUS 380774 HAS SOUPS 380774 WITH SCORE 381354.054
AT ITER 3374 NEW BEST:: SOT 1929372 SOS 579203 HAS SOPS 579203 HAS SOUS 380542 HAS SOUPS 380542 WITH SCORE 381121.203
AT ITER 3383 NEW BEST:: SOT 1929284 SOS 579158 HAS SOPS 579158 HAS SOUS 380497 HAS SOUPS 380497 WITH SCORE 381076.158
AT ITER 3398 NEW BEST:: SOT 1929285 SOS 579157 HAS SOPS 579157 HAS SOUS 380496 HAS SOUPS 380496 WITH SCORE 381075.157
AT ITER 3407 NEW BEST:: SOT 1929039 SOS 578952 HAS SOPS 578952 HAS SOUS 380291 HAS SOUPS 380291 WITH SCORE 380869.952
AT ITER 3425 NEW BEST:: SOT 1928981 SOS 578597 HAS SOPS 578597 HAS SOUS 380251 HAS SOUPS 380251 WITH SCORE 380829.597
AT ITER 3433 NEW BEST:: SOT 1928855 SOS 578627 HAS SOPS 578627 HAS SOUS 380245 HAS SOUPS 380245 WITH SCORE 380823.627
AT ITER 3435 NEW BEST:: SOT 1928807 SOS 578249 HAS SOPS 578249 HAS SOUS 380104 HAS SOUPS 380104 WITH SCORE 380682.249
AT ITER 3449 NEW BEST:: SOT 1928806 SOS 578248 HAS SOPS 578248 HAS SOUS 380102 HAS SOUPS 380102 WITH SCORE 380680.248
AT ITER 3450 NEW BEST:: SOT 1926895 SOS 576397 HAS SOPS 576397 HAS SOUS 379387 HAS SOUPS 379387 WITH SCORE 379963.397
AT ITER 3452 NEW BEST:: SOT 1926820 SOS 576247 HAS SOPS 576247 HAS SOUS 379236 HAS SOUPS 379236 WITH SCORE 379812.247
AT ITER 3454 NEW BEST:: SOT 1926819 SOS 576245 HAS SOPS 576245 HAS SOUS 379234 HAS SOUPS 379234 WITH SCORE 379810.245
AT ITER 3481 NEW BEST:: SOT 1926742 SOS 576091 HAS SOPS 576091 HAS SOUS 379080 HAS SOUPS 379080 WITH SCORE 379656.091
AT ITER 3485 NEW BEST:: SOT 1926743 SOS 575937 HAS SOPS 575937 HAS SOUS 378926 HAS SOUPS 378926 WITH SCORE 379501.937
AT ITER 3490 NEW BEST:: SOT 1926743 SOS 575937 HAS SOPS 575937 HAS SOUS 378596 HAS SOUPS 378596 WITH SCORE 379171.937
AT ITER 3492 NEW BEST:: SOT 1926743 SOS 573759 HAS SOPS 573759 HAS SOUS 378233 HAS SOUPS 378233 WITH SCORE 378806.759
AT ITER 3521 NEW BEST:: SOT 1926718 SOS 573731 HAS SOPS 573731 HAS SOUS 378205 HAS SOUPS 378205 WITH SCORE 378778.731
AT ITER 3535 NEW BEST:: SOT 1926717 SOS 573729 HAS SOPS 573729 HAS SOUS 378203 HAS SOUPS 378203 WITH SCORE 378776.729
AT ITER 3536 NEW BEST:: SOT 1926717 SOS 573057 HAS SOPS 573057 HAS SOUS 378107 HAS SOUPS 378107 WITH SCORE 378680.057
AT ITER 3560 NEW BEST:: SOT 1924528 SOS 573665 HAS SOPS 573665 HAS SOUS 376143 HAS SOUPS 376143 WITH SCORE 376716.665
AT ITER 3564 NEW BEST:: SOT 1924499 SOS 573470 HAS SOPS 573470 HAS SOUS 375948 HAS SOUPS 375948 WITH SCORE 376521.47
AT ITER 3565 NEW BEST:: SOT 1924499 SOS 573466 HAS SOPS 573466 HAS SOUS 375944 HAS SOUPS 375944 WITH SCORE 376517.466
AT ITER 3589 NEW BEST:: SOT 1924450 SOS 573893 HAS SOPS 573893 HAS SOUS 375909 HAS SOUPS 375909 WITH SCORE 376482.893
AT ITER 3607 NEW BEST:: SOT 1924369 SOS 573717 HAS SOPS 573717 HAS SOUS 375783 HAS SOUPS 375783 WITH SCORE 376356.717
AT ITER 3621 NEW BEST:: SOT 1924369 SOS 573925 HAS SOPS 573925 HAS SOUS 375757 HAS SOUPS 375757 WITH SCORE 376330.925
AT ITER 3623 NEW BEST:: SOT 1924214 SOS 573791 HAS SOPS 573791 HAS SOUS 375586 HAS SOUPS 375586 WITH SCORE 376159.791
AT ITER 3625 NEW BEST:: SOT 1924068 SOS 573399 HAS SOPS 573399 HAS SOUS 375207 HAS SOUPS 375207 WITH SCORE 375780.399
AT ITER 3631 NEW BEST:: SOT 1923915 SOS 573242 HAS SOPS 573242 HAS SOUS 374870 HAS SOUPS 374870 WITH SCORE 375443.242
AT ITER 3632 NEW BEST:: SOT 1923850 SOS 573026 HAS SOPS 573026 HAS SOUS 374827 HAS SOUPS 374827 WITH SCORE 375400.026
AT ITER 3657 NEW BEST:: SOT 1924570 SOS 573862 HAS SOPS 573862 HAS SOUS 374586 HAS SOUPS 374586 WITH SCORE 375159.862
AT ITER 3660 NEW BEST:: SOT 1924742 SOS 573978 HAS SOPS 573978 HAS SOUS 374530 HAS SOUPS 374530 WITH SCORE 375103.978
AT ITER 3665 NEW BEST:: SOT 1924742 SOS 573186 HAS SOPS 573186 HAS SOUS 374530 HAS SOUPS 374530 WITH SCORE 375103.186
AT ITER 3671 NEW BEST:: SOT 1924742 SOS 573175 HAS SOPS 573175 HAS SOUS 374519 HAS SOUPS 374519 WITH SCORE 375092.175
AT ITER 3710 NEW BEST:: SOT 1924648 SOS 572460 HAS SOPS 572460 HAS SOUS 374438 HAS SOUPS 374438 WITH SCORE 375010.46
AT ITER 3714 NEW BEST:: SOT 1924530 SOS 571386 HAS SOPS 571386 HAS SOUS 374381 HAS SOUPS 374381 WITH SCORE 374952.386
AT ITER 3728 NEW BEST:: SOT 1924283 SOS 570804 HAS SOPS 570804 HAS SOUS 372158 HAS SOUPS 372158 WITH SCORE 372728.804
AT ITER 3731 NEW BEST:: SOT 1924282 SOS 570802 HAS SOPS 570802 HAS SOUS 372156 HAS SOUPS 372156 WITH SCORE 372726.802
AT ITER 3739 NEW BEST:: SOT 1924197 SOS 570632 HAS SOPS 570632 HAS SOUS 371933 HAS SOUPS 371933 WITH SCORE 372503.632
AT ITER 3745 NEW BEST:: SOT 1924205 SOS 570599 HAS SOPS 570599 HAS SOUS 371900 HAS SOUPS 371900 WITH SCORE 372470.599
AT ITER 3755 NEW BEST:: SOT 1924205 SOS 570597 HAS SOPS 570597 HAS SOUS 371898 HAS SOUPS 371898 WITH SCORE 372468.597
AT ITER 3772 NEW BEST:: SOT 1924205 SOS 570505 HAS SOPS 570505 HAS SOUS 371875 HAS SOUPS 371875 WITH SCORE 372445.505
AT ITER 3774 NEW BEST:: SOT 1924221 SOS 570441 HAS SOPS 570441 HAS SOUS 371842 HAS SOUPS 371842 WITH SCORE 372412.441
AT ITER 3804 NEW BEST:: SOT 1924330 SOS 569921 HAS SOPS 569921 HAS SOUS 371842 HAS SOUPS 371842 WITH SCORE 372411.921
AT ITER 3811 NEW BEST:: SOT 1924272 SOS 569881 HAS SOPS 569881 HAS SOUS 371392 HAS SOUPS 371392 WITH SCORE 371961.881
AT ITER 3824 NEW BEST:: SOT 1924044 SOS 570164 HAS SOPS 570164 HAS SOUS 371298 HAS SOUPS 371298 WITH SCORE 371868.164
AT ITER 3837 NEW BEST:: SOT 1924044 SOS 570163 HAS SOPS 570163 HAS SOUS 371297 HAS SOUPS 371297 WITH SCORE 371867.163
AT ITER 3853 NEW BEST:: SOT 1923993 SOS 570061 HAS SOPS 570061 HAS SOUS 371246 HAS SOUPS 371246 WITH SCORE 371816.061
AT ITER 3879 NEW BEST:: SOT 1923968 SOS 569838 HAS SOPS 569838 HAS SOUS 371243 HAS SOUPS 371243 WITH SCORE 371812.838
AT ITER 3888 NEW BEST:: SOT 1923830 SOS 569562 HAS SOPS 569562 HAS SOUS 370969 HAS SOUPS 370969 WITH SCORE 371538.562
AT ITER 3894 NEW BEST:: SOT 1923846 SOS 569411 HAS SOPS 569411 HAS SOUS 370818 HAS SOUPS 370818 WITH SCORE 371387.411
AT ITER 3896 NEW BEST:: SOT 1923590 SOS 569155 HAS SOPS 569155 HAS SOUS 370562 HAS SOUPS 370562 WITH SCORE 371131.155
AT ITER 3903 NEW BEST:: SOT 1923614 SOS 569128 HAS SOPS 569128 HAS SOUS 370535 HAS SOUPS 370535 WITH SCORE 371104.128
AT ITER 3906 NEW BEST:: SOT 1923449 SOS 568798 HAS SOPS 568798 HAS SOUS 370205 HAS SOUPS 370205 WITH SCORE 370773.798
AT ITER 3911 NEW BEST:: SOT 1923368 SOS 568717 HAS SOPS 568717 HAS SOUS 370043 HAS SOUPS 370043 WITH SCORE 370611.717
AT ITER 3914 NEW BEST:: SOT 1923358 SOS 568567 HAS SOPS 568567 HAS SOUS 370023 HAS SOUPS 370023 WITH SCORE 370591.567
AT ITER 3915 NEW BEST:: SOT 1923235 SOS 568321 HAS SOPS 568321 HAS SOUS 369777 HAS SOUPS 369777 WITH SCORE 370345.321
AT ITER 3945 NEW BEST:: SOT 1922003 SOS 567089 HAS SOPS 567089 HAS SOUS 368545 HAS SOUPS 368545 WITH SCORE 369112.089
AT ITER 3951 NEW BEST:: SOT 1921965 SOS 567051 HAS SOPS 567051 HAS SOUS 368507 HAS SOUPS 368507 WITH SCORE 369074.051
AT ITER 3966 NEW BEST:: SOT 1920767 SOS 566598 HAS SOPS 566598 HAS SOUS 368053 HAS SOUPS 368053 WITH SCORE 368619.598
AT ITER 3994 NEW BEST:: SOT 1920820 SOS 566393 HAS SOPS 566393 HAS SOUS 367848 HAS SOUPS 367848 WITH SCORE 368414.393
AT ITER 3998 NEW BEST:: SOT 1920776 SOS 566324 HAS SOPS 566324 HAS SOUS 367561 HAS SOUPS 367561 WITH SCORE 368127.324
AT ITER 4002 NEW BEST:: SOT 1920775 SOS 566288 HAS SOPS 566288 HAS SOUS 367557 HAS SOUPS 367557 WITH SCORE 368123.288
AT ITER 4008 NEW BEST:: SOT 1920775 SOS 566345 HAS SOPS 566345 HAS SOUS 366839 HAS SOUPS 366839 WITH SCORE 367405.345
AT ITER 4035 NEW BEST:: SOT 1920531 SOS 569321 HAS SOPS 569321 HAS SOUS 366689 HAS SOUPS 366689 WITH SCORE 367258.321
AT ITER 4037 NEW BEST:: SOT 1920398 SOS 569188 HAS SOPS 569188 HAS SOUS 366555 HAS SOUPS 366555 WITH SCORE 367124.188
AT ITER 4065 NEW BEST:: SOT 1920398 SOS 569136 HAS SOPS 569136 HAS SOUS 366503 HAS SOUPS 366503 WITH SCORE 367072.136
AT ITER 4081 NEW BEST:: SOT 1920287 SOS 568914 HAS SOPS 568914 HAS SOUS 366281 HAS SOUPS 366281 WITH SCORE 366849.914
AT ITER 4084 NEW BEST:: SOT 1920070 SOS 568696 HAS SOPS 568696 HAS SOUS 366063 HAS SOUPS 366063 WITH SCORE 366631.696
AT ITER 4104 NEW BEST:: SOT 1920070 SOS 568675 HAS SOPS 568675 HAS SOUS 366042 HAS SOUPS 366042 WITH SCORE 366610.675
AT ITER 4106 NEW BEST:: SOT 1919946 SOS 568427 HAS SOPS 568427 HAS SOUS 365918 HAS SOUPS 365918 WITH SCORE 366486.427
AT ITER 4150 NEW BEST:: SOT 1919886 SOS 568307 HAS SOPS 568307 HAS SOUS 365798 HAS SOUPS 365798 WITH SCORE 366366.307
AT ITER 4162 NEW BEST:: SOT 1919667 SOS 568092 HAS SOPS 568092 HAS SOUS 365573 HAS SOUPS 365573 WITH SCORE 366141.092
AT ITER 4221 NEW BEST:: SOT 1919668 SOS 567829 HAS SOPS 567829 HAS SOUS 365318 HAS SOUPS 365318 WITH SCORE 365885.829
AT ITER 4237 NEW BEST:: SOT 1919567 SOS 565370 HAS SOPS 565370 HAS SOUS 365078 HAS SOUPS 365078 WITH SCORE 365643.37
AT ITER 4240 NEW BEST:: SOT 1919373 SOS 565266 HAS SOPS 565266 HAS SOUS 364974 HAS SOUPS 364974 WITH SCORE 365539.266
AT ITER 4260 NEW BEST:: SOT 1919314 SOS 564510 HAS SOPS 564510 HAS SOUS 364827 HAS SOUPS 364827 WITH SCORE 365391.51
AT ITER 4273 NEW BEST:: SOT 1919302 SOS 564495 HAS SOPS 564495 HAS SOUS 364812 HAS SOUPS 364812 WITH SCORE 365376.495
AT ITER 4275 NEW BEST:: SOT 1919085 SOS 563452 HAS SOPS 563452 HAS SOUS 364490 HAS SOUPS 364490 WITH SCORE 365053.452
AT ITER 4314 NEW BEST:: SOT 1919041 SOS 563283 HAS SOPS 563283 HAS SOUS 364462 HAS SOUPS 364462 WITH SCORE 365025.283
AT ITER 4328 NEW BEST:: SOT 1919041 SOS 563258 HAS SOPS 563258 HAS SOUS 364462 HAS SOUPS 364462 WITH SCORE 365025.258
AT ITER 4337 NEW BEST:: SOT 1918947 SOS 563164 HAS SOPS 563164 HAS SOUS 364407 HAS SOUPS 364407 WITH SCORE 364970.164
AT ITER 4338 NEW BEST:: SOT 1918712 SOS 562972 HAS SOPS 562972 HAS SOUS 364215 HAS SOUPS 364215 WITH SCORE 364777.972
AT ITER 4362 NEW BEST:: SOT 1918622 SOS 561522 HAS SOPS 561522 HAS SOUS 364129 HAS SOUPS 364129 WITH SCORE 364690.522
AT ITER 4369 NEW BEST:: SOT 1918536 SOS 561350 HAS SOPS 561350 HAS SOUS 363885 HAS SOUPS 363885 WITH SCORE 364446.35
AT ITER 4375 NEW BEST:: SOT 1918482 SOS 561079 HAS SOPS 561079 HAS SOUS 363778 HAS SOUPS 363778 WITH SCORE 364339.079
AT ITER 4376 NEW BEST:: SOT 1918482 SOS 560991 HAS SOPS 560991 HAS SOUS 363690 HAS SOUPS 363690 WITH SCORE 364250.991
AT ITER 4397 NEW BEST:: SOT 1918510 SOS 560673 HAS SOPS 560673 HAS SOUS 363627 HAS SOUPS 363627 WITH SCORE 364187.673
AT ITER 4403 NEW BEST:: SOT 1918480 SOS 560959 HAS SOPS 560959 HAS SOUS 363567 HAS SOUPS 363567 WITH SCORE 364127.959
AT ITER 4407 NEW BEST:: SOT 1918423 SOS 560845 HAS SOPS 560845 HAS SOUS 363453 HAS SOUPS 363453 WITH SCORE 364013.845
AT ITER 4413 NEW BEST:: SOT 1918404 SOS 560892 HAS SOPS 560892 HAS SOUS 363426 HAS SOUPS 363426 WITH SCORE 363986.892
AT ITER 4426 NEW BEST:: SOT 1918303 SOS 560828 HAS SOPS 560828 HAS SOUS 362143 HAS SOUPS 362143 WITH SCORE 362703.828
AT ITER 4427 NEW BEST:: SOT 1918238 SOS 560713 HAS SOPS 560713 HAS SOUS 362063 HAS SOUPS 362063 WITH SCORE 362623.713
AT ITER 4432 NEW BEST:: SOT 1918238 SOS 560169 HAS SOPS 560169 HAS SOUS 361995 HAS SOUPS 361995 WITH SCORE 362555.169
AT ITER 4438 NEW BEST:: SOT 1918169 SOS 560295 HAS SOPS 560295 HAS SOUS 361981 HAS SOUPS 361981 WITH SCORE 362541.295
AT ITER 4445 NEW BEST:: SOT 1918169 SOS 560174 HAS SOPS 560174 HAS SOUS 361664 HAS SOUPS 361664 WITH SCORE 362224.174
AT ITER 4447 NEW BEST:: SOT 1918588 SOS 560639 HAS SOPS 560639 HAS SOUS 361193 HAS SOUPS 361193 WITH SCORE 361753.639
AT ITER 4509 NEW BEST:: SOT 1918557 SOS 560598 HAS SOPS 560598 HAS SOUS 361152 HAS SOUPS 361152 WITH SCORE 361712.598
AT ITER 4515 NEW BEST:: SOT 1918527 SOS 560538 HAS SOPS 560538 HAS SOUS 361092 HAS SOUPS 361092 WITH SCORE 361652.538
AT ITER 4519 NEW BEST:: SOT 1918372 SOS 560535 HAS SOPS 560535 HAS SOUS 360706 HAS SOUPS 360706 WITH SCORE 361266.535
AT ITER 4523 NEW BEST:: SOT 1918229 SOS 559517 HAS SOPS 559517 HAS SOUS 360448 HAS SOUPS 360448 WITH SCORE 361007.517
AT ITER 4534 NEW BEST:: SOT 1918229 SOS 559506 HAS SOPS 559506 HAS SOUS 359120 HAS SOUPS 359120 WITH SCORE 359679.506
AT ITER 4535 NEW BEST:: SOT 1918155 SOS 559398 HAS SOPS 559398 HAS SOUS 358972 HAS SOUPS 358972 WITH SCORE 359531.398
AT ITER 4537 NEW BEST:: SOT 1918252 SOS 559365 HAS SOPS 559365 HAS SOUS 358939 HAS SOUPS 358939 WITH SCORE 359498.365
AT ITER 4539 NEW BEST:: SOT 1918252 SOS 559355 HAS SOPS 559355 HAS SOUS 358919 HAS SOUPS 358919 WITH SCORE 359478.355
AT ITER 4565 NEW BEST:: SOT 1918212 SOS 559315 HAS SOPS 559315 HAS SOUS 358879 HAS SOUPS 358879 WITH SCORE 359438.315
AT ITER 4566 NEW BEST:: SOT 1918190 SOS 559293 HAS SOPS 559293 HAS SOUS 358761 HAS SOUPS 358761 WITH SCORE 359320.293
AT ITER 4586 NEW BEST:: SOT 1918029 SOS 558156 HAS SOPS 558156 HAS SOUS 358452 HAS SOUPS 358452 WITH SCORE 359010.156
AT ITER 4591 NEW BEST:: SOT 1917892 SOS 557793 HAS SOPS 557793 HAS SOUS 358315 HAS SOUPS 358315 WITH SCORE 358872.793
AT ITER 4636 NEW BEST:: SOT 1917885 SOS 557786 HAS SOPS 557786 HAS SOUS 358315 HAS SOUPS 358315 WITH SCORE 358872.786
AT ITER 4655 NEW BEST:: SOT 1917820 SOS 557623 HAS SOPS 557623 HAS SOUS 358152 HAS SOUPS 358152 WITH SCORE 358709.623
AT ITER 4660 NEW BEST:: SOT 1917820 SOS 557605 HAS SOPS 557605 HAS SOUS 355380 HAS SOUPS 355380 WITH SCORE 355937.605
AT ITER 4676 NEW BEST:: SOT 1917820 SOS 557703 HAS SOPS 557703 HAS SOUS 354984 HAS SOUPS 354984 WITH SCORE 355541.703
AT ITER 4680 NEW BEST:: SOT 1917646 SOS 557628 HAS SOPS 557628 HAS SOUS 354909 HAS SOUPS 354909 WITH SCORE 355466.628
AT ITER 4691 NEW BEST:: SOT 1917577 SOS 557293 HAS SOPS 557293 HAS SOUS 354740 HAS SOUPS 354740 WITH SCORE 355297.293
AT ITER 4712 NEW BEST:: SOT 1917565 SOS 557416 HAS SOPS 557416 HAS SOUS 354722 HAS SOUPS 354722 WITH SCORE 355279.416
AT ITER 4717 NEW BEST:: SOT 1917565 SOS 557416 HAS SOPS 557416 HAS SOUS 354703 HAS SOUPS 354703 WITH SCORE 355260.416
AT ITER 4735 NEW BEST:: SOT 1917457 SOS 556983 HAS SOPS 556983 HAS SOUS 354661 HAS SOUPS 354661 WITH SCORE 355217.983
AT ITER 4752 NEW BEST:: SOT 1917445 SOS 556923 HAS SOPS 556923 HAS SOUS 354601 HAS SOUPS 354601 WITH SCORE 355157.923
AT ITER 4767 NEW BEST:: SOT 1916520 SOS 555918 HAS SOPS 555918 HAS SOUS 353956 HAS SOUPS 353956 WITH SCORE 354511.918
AT ITER 4775 NEW BEST:: SOT 1916444 SOS 555690 HAS SOPS 555690 HAS SOUS 353728 HAS SOUPS 353728 WITH SCORE 354283.69
AT ITER 4784 NEW BEST:: SOT 1916493 SOS 555739 HAS SOPS 555739 HAS SOUS 353721 HAS SOUPS 353721 WITH SCORE 354276.739
AT ITER 4794 NEW BEST:: SOT 1916454 SOS 555700 HAS SOPS 555700 HAS SOUS 353682 HAS SOUPS 353682 WITH SCORE 354237.7
AT ITER 4813 NEW BEST:: SOT 1916526 SOS 555772 HAS SOPS 555772 HAS SOUS 353634 HAS SOUPS 353634 WITH SCORE 354189.772
AT ITER 4850 NEW BEST:: SOT 1916495 SOS 555775 HAS SOPS 555775 HAS SOUS 353622 HAS SOUPS 353622 WITH SCORE 354177.775
AT ITER 4858 NEW BEST:: SOT 1916495 SOS 555775 HAS SOPS 555775 HAS SOUS 353238 HAS SOUPS 353238 WITH SCORE 353793.775
AT ITER 4864 NEW BEST:: SOT 1916248 SOS 555744 HAS SOPS 555744 HAS SOUS 353207 HAS SOUPS 353207 WITH SCORE 353762.744
AT ITER 4879 NEW BEST:: SOT 1916020 SOS 555342 HAS SOPS 555342 HAS SOUS 352975 HAS SOUPS 352975 WITH SCORE 353530.342
AT ITER 4901 NEW BEST:: SOT 1916020 SOS 555614 HAS SOPS 555614 HAS SOUS 352854 HAS SOUPS 352854 WITH SCORE 353409.614
AT ITER 4933 NEW BEST:: SOT 1916056 SOS 555480 HAS SOPS 555480 HAS SOUS 352834 HAS SOUPS 352834 WITH SCORE 353389.48
AT ITER 4938 NEW BEST:: SOT 1916209 SOS 555162 HAS SOPS 555162 HAS SOUS 352746 HAS SOUPS 352746 WITH SCORE 353301.162
AT ITER 4954 NEW BEST:: SOT 1916176 SOS 555129 HAS SOPS 555129 HAS SOUS 352713 HAS SOUPS 352713 WITH SCORE 353268.129
AT ITER 4960 NEW BEST:: SOT 1916148 SOS 554911 HAS SOPS 554911 HAS SOUS 352630 HAS SOUPS 352630 WITH SCORE 353184.911
AT ITER 4981 NEW BEST:: SOT 1915973 SOS 554780 HAS SOPS 554780 HAS SOUS 352455 HAS SOUPS 352455 WITH SCORE 353009.78
AT ITER 4995 NEW BEST:: SOT 1915972 SOS 554697 HAS SOPS 554697 HAS SOUS 352373 HAS SOUPS 352373 WITH SCORE 352927.697
AT ITER 5002 NEW BEST:: SOT 1915972 SOS 554649 HAS SOPS 554649 HAS SOUS 352325 HAS SOUPS 352325 WITH SCORE 352879.649
AT ITER 5043 NEW BEST:: SOT 1917277 SOS 556637 HAS SOPS 556637 HAS SOUS 350851 HAS SOUPS 350851 WITH SCORE 351407.637
AT ITER 5055 NEW BEST:: SOT 1917205 SOS 556565 HAS SOPS 556565 HAS SOUS 350779 HAS SOUPS 350779 WITH SCORE 351335.565
AT ITER 5057 NEW BEST:: SOT 1917205 SOS 556561 HAS SOPS 556561 HAS SOUS 350775 HAS SOUPS 350775 WITH SCORE 351331.561
AT ITER 5062 NEW BEST:: SOT 1917165 SOS 556541 HAS SOPS 556541 HAS SOUS 350775 HAS SOUPS 350775 WITH SCORE 351331.541
AT ITER 5069 NEW BEST:: SOT 1917148 SOS 556490 HAS SOPS 556490 HAS SOUS 350741 HAS SOUPS 350741 WITH SCORE 351297.49
AT ITER 5070 NEW BEST:: SOT 1917148 SOS 556465 HAS SOPS 556465 HAS SOUS 350740 HAS SOUPS 350740 WITH SCORE 351296.465
AT ITER 5081 NEW BEST:: SOT 1917149 SOS 556204 HAS SOPS 556204 HAS SOUS 350654 HAS SOUPS 350654 WITH SCORE 351210.204
AT ITER 5093 NEW BEST:: SOT 1917138 SOS 556182 HAS SOPS 556182 HAS SOUS 350632 HAS SOUPS 350632 WITH SCORE 351188.182
AT ITER 5105 NEW BEST:: SOT 1917134 SOS 556178 HAS SOPS 556178 HAS SOUS 350477 HAS SOUPS 350477 WITH SCORE 351033.178
AT ITER 5158 NEW BEST:: SOT 1917097 SOS 556093 HAS SOPS 556093 HAS SOUS 350440 HAS SOUPS 350440 WITH SCORE 350996.093
AT ITER 5191 NEW BEST:: SOT 1917097 SOS 555978 HAS SOPS 555978 HAS SOUS 350410 HAS SOUPS 350410 WITH SCORE 350965.978
AT ITER 5202 NEW BEST:: SOT 1917016 SOS 555334 HAS SOPS 555334 HAS SOUS 350328 HAS SOUPS 350328 WITH SCORE 350883.334
AT ITER 5209 NEW BEST:: SOT 1916991 SOS 555284 HAS SOPS 555284 HAS SOUS 350278 HAS SOUPS 350278 WITH SCORE 350833.284
AT ITER 5250 NEW BEST:: SOT 1916985 SOS 555272 HAS SOPS 555272 HAS SOUS 350266 HAS SOUPS 350266 WITH SCORE 350821.272
AT ITER 5253 NEW BEST:: SOT 1916985 SOS 555271 HAS SOPS 555271 HAS SOUS 350265 HAS SOUPS 350265 WITH SCORE 350820.271
AT ITER 5255 NEW BEST:: SOT 1916912 SOS 555176 HAS SOPS 555176 HAS SOUS 350170 HAS SOUPS 350170 WITH SCORE 350725.176
AT ITER 5259 NEW BEST:: SOT 1916878 SOS 555047 HAS SOPS 555047 HAS SOUS 350041 HAS SOUPS 350041 WITH SCORE 350596.047
AT ITER 5306 NEW BEST:: SOT 1916695 SOS 554837 HAS SOPS 554837 HAS SOUS 349873 HAS SOUPS 349873 WITH SCORE 350427.837
AT ITER 5310 NEW BEST:: SOT 1916692 SOS 555537 HAS SOPS 555537 HAS SOUS 349870 HAS SOUPS 349870 WITH SCORE 350425.537
AT ITER 5313 NEW BEST:: SOT 1916372 SOS 556637 HAS SOPS 556637 HAS SOUS 349740 HAS SOUPS 349740 WITH SCORE 350296.637
AT ITER 5314 NEW BEST:: SOT 1916400 SOS 556604 HAS SOPS 556604 HAS SOUS 349707 HAS SOUPS 349707 WITH SCORE 350263.604
AT ITER 5322 NEW BEST:: SOT 1916737 SOS 557016 HAS SOPS 557016 HAS SOUS 349135 HAS SOUPS 349135 WITH SCORE 349692.016
AT ITER 5347 NEW BEST:: SOT 1916737 SOS 556411 HAS SOPS 556411 HAS SOUS 348904 HAS SOUPS 348904 WITH SCORE 349460.411
AT ITER 5368 NEW BEST:: SOT 1916703 SOS 555926 HAS SOPS 555926 HAS SOUS 348830 HAS SOUPS 348830 WITH SCORE 349385.926
AT ITER 5389 NEW BEST:: SOT 1916481 SOS 555482 HAS SOPS 555482 HAS SOUS 348386 HAS SOUPS 348386 WITH SCORE 348941.482
AT ITER 5420 NEW BEST:: SOT 1916481 SOS 555731 HAS SOPS 555731 HAS SOUS 348385 HAS SOUPS 348385 WITH SCORE 348940.731
AT ITER 5421 NEW BEST:: SOT 1916207 SOS 555683 HAS SOPS 555683 HAS SOUS 348337 HAS SOUPS 348337 WITH SCORE 348892.683
AT ITER 5436 NEW BEST:: SOT 1916144 SOS 555557 HAS SOPS 555557 HAS SOUS 348211 HAS SOUPS 348211 WITH SCORE 348766.557
AT ITER 5452 NEW BEST:: SOT 1916143 SOS 555555 HAS SOPS 555555 HAS SOUS 348209 HAS SOUPS 348209 WITH SCORE 348764.555
AT ITER 5464 NEW BEST:: SOT 1915959 SOS 555352 HAS SOPS 555352 HAS SOUS 347736 HAS SOUPS 347736 WITH SCORE 348291.352
AT ITER 5473 NEW BEST:: SOT 1915959 SOS 555057 HAS SOPS 555057 HAS SOUS 347576 HAS SOUPS 347576 WITH SCORE 348131.057
AT ITER 5474 NEW BEST:: SOT 1915731 SOS 554541 HAS SOPS 554541 HAS SOUS 347060 HAS SOUPS 347060 WITH SCORE 347614.541
AT ITER 5478 NEW BEST:: SOT 1915733 SOS 554416 HAS SOPS 554416 HAS SOUS 346935 HAS SOUPS 346935 WITH SCORE 347489.416
AT ITER 5496 NEW BEST:: SOT 1915571 SOS 554087 HAS SOPS 554087 HAS SOUS 346773 HAS SOUPS 346773 WITH SCORE 347327.087
AT ITER 5499 NEW BEST:: SOT 1915168 SOS 552292 HAS SOPS 552292 HAS SOUS 346196 HAS SOUPS 346196 WITH SCORE 346748.292
AT ITER 5546 NEW BEST:: SOT 1915168 SOS 552144 HAS SOPS 552144 HAS SOUS 346048 HAS SOUPS 346048 WITH SCORE 346600.144
AT ITER 5551 NEW BEST:: SOT 1915168 SOS 551943 HAS SOPS 551943 HAS SOUS 345847 HAS SOUPS 345847 WITH SCORE 346398.943
AT ITER 5552 NEW BEST:: SOT 1915123 SOS 551932 HAS SOPS 551932 HAS SOUS 345821 HAS SOUPS 345821 WITH SCORE 346372.932
AT ITER 5553 NEW BEST:: SOT 1915123 SOS 551792 HAS SOPS 551792 HAS SOUS 345821 HAS SOUPS 345821 WITH SCORE 346372.792
AT ITER 5604 NEW BEST:: SOT 1915084 SOS 551714 HAS SOPS 551714 HAS SOUS 345815 HAS SOUPS 345815 WITH SCORE 346366.714
AT ITER 5634 NEW BEST:: SOT 1915058 SOS 551710 HAS SOPS 551710 HAS SOUS 345811 HAS SOUPS 345811 WITH SCORE 346362.71
AT ITER 5653 NEW BEST:: SOT 1915058 SOS 551682 HAS SOPS 551682 HAS SOUS 345783 HAS SOUPS 345783 WITH SCORE 346334.682
AT ITER 5670 NEW BEST:: SOT 1915060 SOS 551559 HAS SOPS 551559 HAS SOUS 345660 HAS SOUPS 345660 WITH SCORE 346211.559
AT ITER 5676 NEW BEST:: SOT 1915004 SOS 551547 HAS SOPS 551547 HAS SOUS 345648 HAS SOUPS 345648 WITH SCORE 346199.547
AT ITER 5716 NEW BEST:: SOT 1915010 SOS 551481 HAS SOPS 551481 HAS SOUS 345647 HAS SOUPS 345647 WITH SCORE 346198.481
AT ITER 5719 NEW BEST:: SOT 1915060 SOS 550917 HAS SOPS 550917 HAS SOUS 345307 HAS SOUPS 345307 WITH SCORE 345857.917
AT ITER 5721 NEW BEST:: SOT 1914893 SOS 550821 HAS SOPS 550821 HAS SOUS 345211 HAS SOUPS 345211 WITH SCORE 345761.821
AT ITER 5723 NEW BEST:: SOT 1914858 SOS 550748 HAS SOPS 550748 HAS SOUS 345173 HAS SOUPS 345173 WITH SCORE 345723.748
AT ITER 5727 NEW BEST:: SOT 1914818 SOS 550668 HAS SOPS 550668 HAS SOUS 345093 HAS SOUPS 345093 WITH SCORE 345643.668
AT ITER 5742 NEW BEST:: SOT 1914889 SOS 550687 HAS SOPS 550687 HAS SOUS 345038 HAS SOUPS 345038 WITH SCORE 345588.687
AT ITER 5748 NEW BEST:: SOT 1914833 SOS 550631 HAS SOPS 550631 HAS SOUS 344982 HAS SOUPS 344982 WITH SCORE 345532.631
AT ITER 5756 NEW BEST:: SOT 1914981 SOS 550493 HAS SOPS 550493 HAS SOUS 344844 HAS SOUPS 344844 WITH SCORE 345394.493
AT ITER 5766 NEW BEST:: SOT 1914925 SOS 550381 HAS SOPS 550381 HAS SOUS 344732 HAS SOUPS 344732 WITH SCORE 345282.381
AT ITER 5769 NEW BEST:: SOT 1914804 SOS 550244 HAS SOPS 550244 HAS SOUS 344595 HAS SOUPS 344595 WITH SCORE 345145.244
AT ITER 5784 NEW BEST:: SOT 1914650 SOS 550075 HAS SOPS 550075 HAS SOUS 344425 HAS SOUPS 344425 WITH SCORE 344975.075
AT ITER 5802 NEW BEST:: SOT 1914655 SOS 550080 HAS SOPS 550080 HAS SOUS 344389 HAS SOUPS 344389 WITH SCORE 344939.08
AT ITER 5806 NEW BEST:: SOT 1914604 SOS 549955 HAS SOPS 549955 HAS SOUS 344332 HAS SOUPS 344332 WITH SCORE 344881.955
AT ITER 5807 NEW BEST:: SOT 1914604 SOS 549953 HAS SOPS 549953 HAS SOUS 344331 HAS SOUPS 344331 WITH SCORE 344880.953
AT ITER 5810 NEW BEST:: SOT 1914604 SOS 549911 HAS SOPS 549911 HAS SOUS 344288 HAS SOUPS 344288 WITH SCORE 344837.911
AT ITER 5812 NEW BEST:: SOT 1914530 SOS 549650 HAS SOPS 549650 HAS SOUS 344096 HAS SOUPS 344096 WITH SCORE 344645.65
AT ITER 5832 NEW BEST:: SOT 1914437 SOS 549524 HAS SOPS 549524 HAS SOUS 343970 HAS SOUPS 343970 WITH SCORE 344519.524
AT ITER 5835 NEW BEST:: SOT 1914368 SOS 549455 HAS SOPS 549455 HAS SOUS 343901 HAS SOUPS 343901 WITH SCORE 344450.455
AT ITER 5840 NEW BEST:: SOT 1914366 SOS 549437 HAS SOPS 549437 HAS SOUS 343897 HAS SOUPS 343897 WITH SCORE 344446.437
AT ITER 5847 NEW BEST:: SOT 1914366 SOS 549405 HAS SOPS 549405 HAS SOUS 343833 HAS SOUPS 343833 WITH SCORE 344382.405
AT ITER 5872 NEW BEST:: SOT 1914189 SOS 545543 HAS SOPS 545543 HAS SOUS 343447 HAS SOUPS 343447 WITH SCORE 343992.543
AT ITER 5886 NEW BEST:: SOT 1914180 SOS 545541 HAS SOPS 545541 HAS SOUS 343445 HAS SOUPS 343445 WITH SCORE 343990.541
AT ITER 5893 NEW BEST:: SOT 1913910 SOS 545386 HAS SOPS 545386 HAS SOUS 343290 HAS SOUPS 343290 WITH SCORE 343835.386
AT ITER 5898 NEW BEST:: SOT 1913800 SOS 545158 HAS SOPS 545158 HAS SOUS 343180 HAS SOUPS 343180 WITH SCORE 343725.158
AT ITER 5946 NEW BEST:: SOT 1913800 SOS 545060 HAS SOPS 545060 HAS SOUS 343180 HAS SOUPS 343180 WITH SCORE 343725.06
AT ITER 5947 NEW BEST:: SOT 1913801 SOS 544881 HAS SOPS 544881 HAS SOUS 343161 HAS SOUPS 343161 WITH SCORE 343705.881
AT ITER 5954 NEW BEST:: SOT 1913786 SOS 544695 HAS SOPS 544695 HAS SOUS 342975 HAS SOUPS 342975 WITH SCORE 343519.695
AT ITER 5976 NEW BEST:: SOT 1913371 SOS 544815 HAS SOPS 544815 HAS SOUS 342703 HAS SOUPS 342703 WITH SCORE 343247.815
AT ITER 5977 NEW BEST:: SOT 1913337 SOS 544747 HAS SOPS 544747 HAS SOUS 342612 HAS SOUPS 342612 WITH SCORE 343156.747
AT ITER 6001 NEW BEST:: SOT 1913288 SOS 544638 HAS SOPS 544638 HAS SOUS 342459 HAS SOUPS 342459 WITH SCORE 343003.638
AT ITER 6016 NEW BEST:: SOT 1913288 SOS 544638 HAS SOPS 544638 HAS SOUS 342275 HAS SOUPS 342275 WITH SCORE 342819.638
AT ITER 6025 NEW BEST:: SOT 1913276 SOS 544674 HAS SOPS 544674 HAS SOUS 342239 HAS SOUPS 342239 WITH SCORE 342783.674
AT ITER 6037 NEW BEST:: SOT 1913252 SOS 544626 HAS SOPS 544626 HAS SOUS 342191 HAS SOUPS 342191 WITH SCORE 342735.626
AT ITER 6055 NEW BEST:: SOT 1913245 SOS 544621 HAS SOPS 544621 HAS SOUS 342186 HAS SOUPS 342186 WITH SCORE 342730.621
AT ITER 6056 NEW BEST:: SOT 1913245 SOS 544517 HAS SOPS 544517 HAS SOUS 342082 HAS SOUPS 342082 WITH SCORE 342626.517
AT ITER 6065 NEW BEST:: SOT 1913245 SOS 544373 HAS SOPS 544373 HAS SOUS 342046 HAS SOUPS 342046 WITH SCORE 342590.373
AT ITER 6067 NEW BEST:: SOT 1913181 SOS 544294 HAS SOPS 544294 HAS SOUS 341967 HAS SOUPS 341967 WITH SCORE 342511.294
AT ITER 6077 NEW BEST:: SOT 1913061 SOS 545185 HAS SOPS 545185 HAS SOUS 341843 HAS SOUPS 341843 WITH SCORE 342388.185
AT ITER 6089 NEW BEST:: SOT 1913058 SOS 545176 HAS SOPS 545176 HAS SOUS 341834 HAS SOUPS 341834 WITH SCORE 342379.176
AT ITER 6096 NEW BEST:: SOT 1913050 SOS 545168 HAS SOPS 545168 HAS SOUS 341826 HAS SOUPS 341826 WITH SCORE 342371.168
AT ITER 6115 NEW BEST:: SOT 1913018 SOS 545197 HAS SOPS 545197 HAS SOUS 341794 HAS SOUPS 341794 WITH SCORE 342339.197
AT ITER 6131 NEW BEST:: SOT 1913007 SOS 545173 HAS SOPS 545173 HAS SOUS 341771 HAS SOUPS 341771 WITH SCORE 342316.173
AT ITER 6156 NEW BEST:: SOT 1913007 SOS 545106 HAS SOPS 545106 HAS SOUS 341704 HAS SOUPS 341704 WITH SCORE 342249.106
AT ITER 6165 NEW BEST:: SOT 1912968 SOS 545067 HAS SOPS 545067 HAS SOUS 341665 HAS SOUPS 341665 WITH SCORE 342210.067
AT ITER 6199 NEW BEST:: SOT 1912968 SOS 545056 HAS SOPS 545056 HAS SOUS 341663 HAS SOUPS 341663 WITH SCORE 342208.056
AT ITER 6227 NEW BEST:: SOT 1912958 SOS 545036 HAS SOPS 545036 HAS SOUS 341643 HAS SOUPS 341643 WITH SCORE 342188.036
AT ITER 6234 NEW BEST:: SOT 1912916 SOS 544659 HAS SOPS 544659 HAS SOUS 341613 HAS SOUPS 341613 WITH SCORE 342157.659
AT ITER 6260 NEW BEST:: SOT 1912710 SOS 543938 HAS SOPS 543938 HAS SOUS 341201 HAS SOUPS 341201 WITH SCORE 341744.938
AT ITER 6267 NEW BEST:: SOT 1911933 SOS 542723 HAS SOPS 542723 HAS SOUS 340354 HAS SOUPS 340354 WITH SCORE 340896.723
AT ITER 6286 NEW BEST:: SOT 1911933 SOS 542675 HAS SOPS 542675 HAS SOUS 340354 HAS SOUPS 340354 WITH SCORE 340896.675
AT ITER 6302 NEW BEST:: SOT 1911968 SOS 542841 HAS SOPS 542841 HAS SOUS 340301 HAS SOUPS 340301 WITH SCORE 340843.841
AT ITER 6336 NEW BEST:: SOT 1911856 SOS 542550 HAS SOPS 542550 HAS SOUS 340010 HAS SOUPS 340010 WITH SCORE 340552.55
AT ITER 6353 NEW BEST:: SOT 1911729 SOS 542296 HAS SOPS 542296 HAS SOUS 339756 HAS SOUPS 339756 WITH SCORE 340298.296
AT ITER 6354 NEW BEST:: SOT 1911421 SOS 541988 HAS SOPS 541988 HAS SOUS 339404 HAS SOUPS 339404 WITH SCORE 339945.988
AT ITER 6364 NEW BEST:: SOT 1911403 SOS 541970 HAS SOPS 541970 HAS SOUS 339368 HAS SOUPS 339368 WITH SCORE 339909.97
AT ITER 6372 NEW BEST:: SOT 1911403 SOS 541944 HAS SOPS 541944 HAS SOUS 339368 HAS SOUPS 339368 WITH SCORE 339909.944
AT ITER 6373 NEW BEST:: SOT 1911403 SOS 541858 HAS SOPS 541858 HAS SOUS 339282 HAS SOUPS 339282 WITH SCORE 339823.858
AT ITER 6389 NEW BEST:: SOT 1911372 SOS 541810 HAS SOPS 541810 HAS SOUS 339227 HAS SOUPS 339227 WITH SCORE 339768.81
AT ITER 6390 NEW BEST:: SOT 1911342 SOS 541750 HAS SOPS 541750 HAS SOUS 339182 HAS SOUPS 339182 WITH SCORE 339723.75
AT ITER 6393 NEW BEST:: SOT 1911319 SOS 541682 HAS SOPS 541682 HAS SOUS 339159 HAS SOUPS 339159 WITH SCORE 339700.682
AT ITER 6414 NEW BEST:: SOT 1911228 SOS 541548 HAS SOPS 541548 HAS SOUS 339025 HAS SOUPS 339025 WITH SCORE 339566.548
AT ITER 6416 NEW BEST:: SOT 1910495 SOS 541302 HAS SOPS 541302 HAS SOUS 338490 HAS SOUPS 338490 WITH SCORE 339031.302
AT ITER 6437 NEW BEST:: SOT 1910275 SOS 541094 HAS SOPS 541094 HAS SOUS 338282 HAS SOUPS 338282 WITH SCORE 338823.094
AT ITER 6467 NEW BEST:: SOT 1910156 SOS 540499 HAS SOPS 540499 HAS SOUS 338043 HAS SOUPS 338043 WITH SCORE 338583.499
AT ITER 6482 NEW BEST:: SOT 1910057 SOS 540441 HAS SOPS 540441 HAS SOUS 337845 HAS SOUPS 337845 WITH SCORE 338385.441
AT ITER 6513 NEW BEST:: SOT 1910037 SOS 540390 HAS SOPS 540390 HAS SOUS 337805 HAS SOUPS 337805 WITH SCORE 338345.39
AT ITER 6518 NEW BEST:: SOT 1909841 SOS 540148 HAS SOPS 540148 HAS SOUS 337671 HAS SOUPS 337671 WITH SCORE 338211.148
AT ITER 6530 NEW BEST:: SOT 1909717 SOS 540019 HAS SOPS 540019 HAS SOUS 337542 HAS SOUPS 337542 WITH SCORE 338082.019
AT ITER 6541 NEW BEST:: SOT 1909699 SOS 540001 HAS SOPS 540001 HAS SOUS 337493 HAS SOUPS 337493 WITH SCORE 338033.001
AT ITER 6561 NEW BEST:: SOT 1909663 SOS 539929 HAS SOPS 539929 HAS SOUS 337421 HAS SOUPS 337421 WITH SCORE 337960.929
AT ITER 6573 NEW BEST:: SOT 1909663 SOS 539897 HAS SOPS 539897 HAS SOUS 337420 HAS SOUPS 337420 WITH SCORE 337959.897
AT ITER 6588 NEW BEST:: SOT 1909151 SOS 539263 HAS SOPS 539263 HAS SOUS 336786 HAS SOUPS 336786 WITH SCORE 337325.263
AT ITER 6589 NEW BEST:: SOT 1909135 SOS 539184 HAS SOPS 539184 HAS SOUS 336676 HAS SOUPS 336676 WITH SCORE 337215.184
AT ITER 6592 NEW BEST:: SOT 1909141 SOS 539288 HAS SOPS 539288 HAS SOUS 336596 HAS SOUPS 336596 WITH SCORE 337135.288
AT ITER 6594 NEW BEST:: SOT 1909104 SOS 539251 HAS SOPS 539251 HAS SOUS 336572 HAS SOUPS 336572 WITH SCORE 337111.251
AT ITER 6612 NEW BEST:: SOT 1908986 SOS 539100 HAS SOPS 539100 HAS SOUS 336454 HAS SOUPS 336454 WITH SCORE 336993.1
AT ITER 6619 NEW BEST:: SOT 1908968 SOS 539082 HAS SOPS 539082 HAS SOUS 336436 HAS SOUPS 336436 WITH SCORE 336975.082
AT ITER 6621 NEW BEST:: SOT 1908968 SOS 538252 HAS SOPS 538252 HAS SOUS 336434 HAS SOUPS 336434 WITH SCORE 336972.252
AT ITER 6626 NEW BEST:: SOT 1908746 SOS 538030 HAS SOPS 538030 HAS SOUS 336212 HAS SOUPS 336212 WITH SCORE 336750.03
AT ITER 6646 NEW BEST:: SOT 1908746 SOS 538016 HAS SOPS 538016 HAS SOUS 336198 HAS SOUPS 336198 WITH SCORE 336736.016
AT ITER 6666 NEW BEST:: SOT 1908746 SOS 537973 HAS SOPS 537973 HAS SOUS 336198 HAS SOUPS 336198 WITH SCORE 336735.973
AT ITER 6711 NEW BEST:: SOT 1908741 SOS 537973 HAS SOPS 537973 HAS SOUS 336118 HAS SOUPS 336118 WITH SCORE 336655.973
AT ITER 6735 NEW BEST:: SOT 1908741 SOS 537879 HAS SOPS 537879 HAS SOUS 336118 HAS SOUPS 336118 WITH SCORE 336655.879
AT ITER 6743 NEW BEST:: SOT 1908768 SOS 538063 HAS SOPS 538063 HAS SOUS 336020 HAS SOUPS 336020 WITH SCORE 336558.063
AT ITER 6760 NEW BEST:: SOT 1908695 SOS 537808 HAS SOPS 537808 HAS SOUS 335515 HAS SOUPS 335515 WITH SCORE 336052.808
AT ITER 6789 NEW BEST:: SOT 1908590 SOS 537716 HAS SOPS 537716 HAS SOUS 335359 HAS SOUPS 335359 WITH SCORE 335896.716
AT ITER 6804 NEW BEST:: SOT 1908592 SOS 537359 HAS SOPS 537359 HAS SOUS 335002 HAS SOUPS 335002 WITH SCORE 335539.359
AT ITER 6819 NEW BEST:: SOT 1908556 SOS 537272 HAS SOPS 537272 HAS SOUS 334929 HAS SOUPS 334929 WITH SCORE 335466.272
AT ITER 6837 NEW BEST:: SOT 1908265 SOS 537080 HAS SOPS 537080 HAS SOUS 334638 HAS SOUPS 334638 WITH SCORE 335175.08
AT ITER 6847 NEW BEST:: SOT 1908258 SOS 537066 HAS SOPS 537066 HAS SOUS 334631 HAS SOUPS 334631 WITH SCORE 335168.066
AT ITER 6860 NEW BEST:: SOT 1908258 SOS 537066 HAS SOPS 537066 HAS SOUS 334626 HAS SOUPS 334626 WITH SCORE 335163.066
AT ITER 6867 NEW BEST:: SOT 1908258 SOS 537066 HAS SOPS 537066 HAS SOUS 334623 HAS SOUPS 334623 WITH SCORE 335160.066
AT ITER 6883 NEW BEST:: SOT 1908260 SOS 536500 HAS SOPS 536500 HAS SOUS 334549 HAS SOUPS 334549 WITH SCORE 335085.5
AT ITER 6889 NEW BEST:: SOT 1908260 SOS 536451 HAS SOPS 536451 HAS SOUS 334500 HAS SOUPS 334500 WITH SCORE 335036.451
AT ITER 6902 NEW BEST:: SOT 1908224 SOS 536450 HAS SOPS 536450 HAS SOUS 334499 HAS SOUPS 334499 WITH SCORE 335035.45
AT ITER 6904 NEW BEST:: SOT 1908165 SOS 536391 HAS SOPS 536391 HAS SOUS 334440 HAS SOUPS 334440 WITH SCORE 334976.391
AT ITER 6942 NEW BEST:: SOT 1907245 SOS 535655 HAS SOPS 535655 HAS SOUS 333685 HAS SOUPS 333685 WITH SCORE 334220.655
AT ITER 6968 NEW BEST:: SOT 1907172 SOS 535582 HAS SOPS 535582 HAS SOUS 333612 HAS SOUPS 333612 WITH SCORE 334147.582
AT ITER 6975 NEW BEST:: SOT 1907055 SOS 535359 HAS SOPS 535359 HAS SOUS 333389 HAS SOUPS 333389 WITH SCORE 333924.359
AT ITER 7003 NEW BEST:: SOT 1907033 SOS 535315 HAS SOPS 535315 HAS SOUS 333345 HAS SOUPS 333345 WITH SCORE 333880.315
AT ITER 7012 NEW BEST:: SOT 1906727 SOS 534959 HAS SOPS 534959 HAS SOUS 332989 HAS SOUPS 332989 WITH SCORE 333523.959
AT ITER 7023 NEW BEST:: SOT 1906752 SOS 534431 HAS SOPS 534431 HAS SOUS 332770 HAS SOUPS 332770 WITH SCORE 333304.431
AT ITER 7032 NEW BEST:: SOT 1906742 SOS 534411 HAS SOPS 534411 HAS SOUS 332750 HAS SOUPS 332750 WITH SCORE 333284.411
AT ITER 7034 NEW BEST:: SOT 1906742 SOS 534348 HAS SOPS 534348 HAS SOUS 332750 HAS SOUPS 332750 WITH SCORE 333284.348
AT ITER 7039 NEW BEST:: SOT 1906490 SOS 534430 HAS SOPS 534430 HAS SOUS 332519 HAS SOUPS 332519 WITH SCORE 333053.43
AT ITER 7059 NEW BEST:: SOT 1906421 SOS 534361 HAS SOPS 534361 HAS SOUS 332381 HAS SOUPS 332381 WITH SCORE 332915.361
AT ITER 7064 NEW BEST:: SOT 1906219 SOS 533957 HAS SOPS 533957 HAS SOUS 331977 HAS SOUPS 331977 WITH SCORE 332510.957
AT ITER 7070 NEW BEST:: SOT 1905933 SOS 533385 HAS SOPS 533385 HAS SOUS 331405 HAS SOUPS 331405 WITH SCORE 331938.385
AT ITER 7072 NEW BEST:: SOT 1905886 SOS 533338 HAS SOPS 533338 HAS SOUS 331358 HAS SOUPS 331358 WITH SCORE 331891.338
AT ITER 7082 NEW BEST:: SOT 1905858 SOS 533263 HAS SOPS 533263 HAS SOUS 331301 HAS SOUPS 331301 WITH SCORE 331834.263
AT ITER 7113 NEW BEST:: SOT 1905802 SOS 533052 HAS SOPS 533052 HAS SOUS 331189 HAS SOUPS 331189 WITH SCORE 331722.052
AT ITER 7114 NEW BEST:: SOT 1905654 SOS 532673 HAS SOPS 532673 HAS SOUS 330990 HAS SOUPS 330990 WITH SCORE 331522.673
AT ITER 7149 NEW BEST:: SOT 1905654 SOS 532681 HAS SOPS 532681 HAS SOUS 330963 HAS SOUPS 330963 WITH SCORE 331495.681
AT ITER 7196 NEW BEST:: SOT 1905528 SOS 532643 HAS SOPS 532643 HAS SOUS 330944 HAS SOUPS 330944 WITH SCORE 331476.643
AT ITER 7198 NEW BEST:: SOT 1905517 SOS 533139 HAS SOPS 533139 HAS SOUS 330933 HAS SOUPS 330933 WITH SCORE 331466.139
AT ITER 7240 NEW BEST:: SOT 1905516 SOS 533134 HAS SOPS 533134 HAS SOUS 330931 HAS SOUPS 330931 WITH SCORE 331464.134
AT ITER 7243 NEW BEST:: SOT 1905505 SOS 533112 HAS SOPS 533112 HAS SOUS 330909 HAS SOUPS 330909 WITH SCORE 331442.112
AT ITER 7273 NEW BEST:: SOT 1905487 SOS 532981 HAS SOPS 532981 HAS SOUS 330826 HAS SOUPS 330826 WITH SCORE 331358.981
AT ITER 7290 NEW BEST:: SOT 1905487 SOS 532206 HAS SOPS 532206 HAS SOUS 330826 HAS SOUPS 330826 WITH SCORE 331358.206
AT ITER 7298 NEW BEST:: SOT 1905743 SOS 532484 HAS SOPS 532484 HAS SOUS 330678 HAS SOUPS 330678 WITH SCORE 331210.484
AT ITER 7332 NEW BEST:: SOT 1905714 SOS 532455 HAS SOPS 532455 HAS SOUS 330649 HAS SOUPS 330649 WITH SCORE 331181.455
AT ITER 7354 NEW BEST:: SOT 1904331 SOS 535090 HAS SOPS 535090 HAS SOUS 329869 HAS SOUPS 329869 WITH SCORE 330404.09
AT ITER 7360 NEW BEST:: SOT 1904284 SOS 534996 HAS SOPS 534996 HAS SOUS 329775 HAS SOUPS 329775 WITH SCORE 330309.996
AT ITER 7391 NEW BEST:: SOT 1904232 SOS 534892 HAS SOPS 534892 HAS SOUS 329357 HAS SOUPS 329357 WITH SCORE 329891.892
AT ITER 7399 NEW BEST:: SOT 1904232 SOS 534856 HAS SOPS 534856 HAS SOUS 329321 HAS SOUPS 329321 WITH SCORE 329855.856
AT ITER 7400 NEW BEST:: SOT 1904232 SOS 534812 HAS SOPS 534812 HAS SOUS 329277 HAS SOUPS 329277 WITH SCORE 329811.812
AT ITER 7401 NEW BEST:: SOT 1904138 SOS 534624 HAS SOPS 534624 HAS SOUS 329183 HAS SOUPS 329183 WITH SCORE 329717.624
AT ITER 7463 NEW BEST:: SOT 1904086 SOS 534520 HAS SOPS 534520 HAS SOUS 329079 HAS SOUPS 329079 WITH SCORE 329613.52
AT ITER 7481 NEW BEST:: SOT 1904080 SOS 534508 HAS SOPS 534508 HAS SOUS 329073 HAS SOUPS 329073 WITH SCORE 329607.508
AT ITER 7505 NEW BEST:: SOT 1903962 SOS 534390 HAS SOPS 534390 HAS SOUS 329007 HAS SOUPS 329007 WITH SCORE 329541.39
AT ITER 7508 NEW BEST:: SOT 1903891 SOS 534242 HAS SOPS 534242 HAS SOUS 328922 HAS SOUPS 328922 WITH SCORE 329456.242
AT ITER 7526 NEW BEST:: SOT 1903749 SOS 533818 HAS SOPS 533818 HAS SOUS 328638 HAS SOUPS 328638 WITH SCORE 329171.818
AT ITER 7536 NEW BEST:: SOT 1903751 SOS 534071 HAS SOPS 534071 HAS SOUS 328549 HAS SOUPS 328549 WITH SCORE 329083.071
AT ITER 7545 NEW BEST:: SOT 1903662 SOS 534001 HAS SOPS 534001 HAS SOUS 328371 HAS SOUPS 328371 WITH SCORE 328905.001
AT ITER 7558 NEW BEST:: SOT 1903510 SOS 533808 HAS SOPS 533808 HAS SOUS 328179 HAS SOUPS 328179 WITH SCORE 328712.808
AT ITER 7562 NEW BEST:: SOT 1903475 SOS 533773 HAS SOPS 533773 HAS SOUS 328144 HAS SOUPS 328144 WITH SCORE 328677.773
AT ITER 7567 NEW BEST:: SOT 1903402 SOS 533479 HAS SOPS 533479 HAS SOUS 328071 HAS SOUPS 328071 WITH SCORE 328604.479
AT ITER 7573 NEW BEST:: SOT 1903209 SOS 533467 HAS SOPS 533467 HAS SOUS 327878 HAS SOUPS 327878 WITH SCORE 328411.467
AT ITER 7600 NEW BEST:: SOT 1903481 SOS 533338 HAS SOPS 533338 HAS SOUS 327439 HAS SOUPS 327439 WITH SCORE 327972.338
AT ITER 7604 NEW BEST:: SOT 1903481 SOS 533304 HAS SOPS 533304 HAS SOUS 327405 HAS SOUPS 327405 WITH SCORE 327938.304
AT ITER 7622 NEW BEST:: SOT 1903476 SOS 533286 HAS SOPS 533286 HAS SOUS 327387 HAS SOUPS 327387 WITH SCORE 327920.286
AT ITER 7638 NEW BEST:: SOT 1903458 SOS 533250 HAS SOPS 533250 HAS SOUS 327351 HAS SOUPS 327351 WITH SCORE 327884.25
AT ITER 7667 NEW BEST:: SOT 1903119 SOS 532911 HAS SOPS 532911 HAS SOUS 326939 HAS SOUPS 326939 WITH SCORE 327471.911
AT ITER 7675 NEW BEST:: SOT 1903175 SOS 532901 HAS SOPS 532901 HAS SOUS 326929 HAS SOUPS 326929 WITH SCORE 327461.901
AT ITER 7678 NEW BEST:: SOT 1903159 SOS 532852 HAS SOPS 532852 HAS SOUS 326880 HAS SOUPS 326880 WITH SCORE 327412.852
AT ITER 7688 NEW BEST:: SOT 1903038 SOS 533761 HAS SOPS 533761 HAS SOUS 326759 HAS SOUPS 326759 WITH SCORE 327292.761
AT ITER 7689 NEW BEST:: SOT 1902970 SOS 533693 HAS SOPS 533693 HAS SOUS 326691 HAS SOUPS 326691 WITH SCORE 327224.693
AT ITER 7699 NEW BEST:: SOT 1902858 SOS 532363 HAS SOPS 532363 HAS SOUS 326260 HAS SOUPS 326260 WITH SCORE 326792.363
AT ITER 7702 NEW BEST:: SOT 1902858 SOS 532312 HAS SOPS 532312 HAS SOUS 326009 HAS SOUPS 326009 WITH SCORE 326541.312
AT ITER 7725 NEW BEST:: SOT 1902857 SOS 532298 HAS SOPS 532298 HAS SOUS 326000 HAS SOUPS 326000 WITH SCORE 326532.298
AT ITER 7737 NEW BEST:: SOT 1902743 SOS 531883 HAS SOPS 531883 HAS SOUS 325777 HAS SOUPS 325777 WITH SCORE 326308.883
AT ITER 7750 NEW BEST:: SOT 1902624 SOS 529107 HAS SOPS 529107 HAS SOUS 325640 HAS SOUPS 325640 WITH SCORE 326169.107
AT ITER 7764 NEW BEST:: SOT 1902578 SOS 528969 HAS SOPS 528969 HAS SOUS 325548 HAS SOUPS 325548 WITH SCORE 326076.969
AT ITER 7774 NEW BEST:: SOT 1902535 SOS 528847 HAS SOPS 528847 HAS SOUS 325426 HAS SOUPS 325426 WITH SCORE 325954.847
AT ITER 7825 NEW BEST:: SOT 1902535 SOS 528847 HAS SOPS 528847 HAS SOUS 325388 HAS SOUPS 325388 WITH SCORE 325916.847
AT ITER 7837 NEW BEST:: SOT 1902535 SOS 529195 HAS SOPS 529195 HAS SOUS 325300 HAS SOUPS 325300 WITH SCORE 325829.195
AT ITER 7844 NEW BEST:: SOT 1902577 SOS 529229 HAS SOPS 529229 HAS SOUS 325278 HAS SOUPS 325278 WITH SCORE 325807.229
AT ITER 7846 NEW BEST:: SOT 1902526 SOS 529196 HAS SOPS 529196 HAS SOUS 324157 HAS SOUPS 324157 WITH SCORE 324686.196
AT ITER 7851 NEW BEST:: SOT 1902405 SOS 528955 HAS SOPS 528955 HAS SOUS 323795 HAS SOUPS 323795 WITH SCORE 324323.955
AT ITER 7873 NEW BEST:: SOT 1902350 SOS 528900 HAS SOPS 528900 HAS SOUS 323764 HAS SOUPS 323764 WITH SCORE 324292.9
AT ITER 7878 NEW BEST:: SOT 1902276 SOS 528752 HAS SOPS 528752 HAS SOUS 323616 HAS SOUPS 323616 WITH SCORE 324144.752
AT ITER 7897 NEW BEST:: SOT 1901897 SOS 528709 HAS SOPS 528709 HAS SOUS 323554 HAS SOUPS 323554 WITH SCORE 324082.709
AT ITER 7913 NEW BEST:: SOT 1901583 SOS 528447 HAS SOPS 528447 HAS SOUS 323292 HAS SOUPS 323292 WITH SCORE 323820.447
AT ITER 7939 NEW BEST:: SOT 1901583 SOS 528426 HAS SOPS 528426 HAS SOUS 323292 HAS SOUPS 323292 WITH SCORE 323820.426
AT ITER 7956 NEW BEST:: SOT 1901461 SOS 528185 HAS SOPS 528185 HAS SOUS 323051 HAS SOUPS 323051 WITH SCORE 323579.185
AT ITER 7966 NEW BEST:: SOT 1901461 SOS 528149 HAS SOPS 528149 HAS SOUS 323051 HAS SOUPS 323051 WITH SCORE 323579.149
AT ITER 7971 NEW BEST:: SOT 1901362 SOS 527951 HAS SOPS 527951 HAS SOUS 322853 HAS SOUPS 322853 WITH SCORE 323380.951
AT ITER 7974 NEW BEST:: SOT 1901562 SOS 528023 HAS SOPS 528023 HAS SOUS 322754 HAS SOUPS 322754 WITH SCORE 323282.023
AT ITER 7979 NEW BEST:: SOT 1901455 SOS 527891 HAS SOPS 527891 HAS SOUS 322622 HAS SOUPS 322622 WITH SCORE 323149.891
AT ITER 7981 NEW BEST:: SOT 1901432 SOS 527845 HAS SOPS 527845 HAS SOUS 322576 HAS SOUPS 322576 WITH SCORE 323103.845
AT ITER 7982 NEW BEST:: SOT 1901381 SOS 528043 HAS SOPS 528043 HAS SOUS 322510 HAS SOUPS 322510 WITH SCORE 323038.043
AT ITER 7992 NEW BEST:: SOT 1901308 SOS 528057 HAS SOPS 528057 HAS SOUS 322341 HAS SOUPS 322341 WITH SCORE 322869.057
AT ITER 7993 NEW BEST:: SOT 1901329 SOS 527977 HAS SOPS 527977 HAS SOUS 322261 HAS SOUPS 322261 WITH SCORE 322788.977
AT ITER 7994 NEW BEST:: SOT 1901329 SOS 527682 HAS SOPS 527682 HAS SOUS 321966 HAS SOUPS 321966 WITH SCORE 322493.682
AT ITER 8006 NEW BEST:: SOT 1901255 SOS 527510 HAS SOPS 527510 HAS SOUS 321105 HAS SOUPS 321105 WITH SCORE 321632.51
AT ITER 8061 NEW BEST:: SOT 1901266 SOS 527206 HAS SOPS 527206 HAS SOUS 320903 HAS SOUPS 320903 WITH SCORE 321430.206
AT ITER 8062 NEW BEST:: SOT 1901266 SOS 527181 HAS SOPS 527181 HAS SOUS 320891 HAS SOUPS 320891 WITH SCORE 321418.181
AT ITER 8068 NEW BEST:: SOT 1901242 SOS 526965 HAS SOPS 526965 HAS SOUS 320867 HAS SOUPS 320867 WITH SCORE 321393.965
AT ITER 8072 NEW BEST:: SOT 1901542 SOS 527280 HAS SOPS 527280 HAS SOUS 320761 HAS SOUPS 320761 WITH SCORE 321288.28
AT ITER 8085 NEW BEST:: SOT 1901536 SOS 527268 HAS SOPS 527268 HAS SOUS 320748 HAS SOUPS 320748 WITH SCORE 321275.268
AT ITER 8093 NEW BEST:: SOT 1901488 SOS 527220 HAS SOPS 527220 HAS SOUS 320596 HAS SOUPS 320596 WITH SCORE 321123.22
AT ITER 8095 NEW BEST:: SOT 1902380 SOS 528143 HAS SOPS 528143 HAS SOUS 320447 HAS SOUPS 320447 WITH SCORE 320975.143
AT ITER 8111 NEW BEST:: SOT 1902566 SOS 527612 HAS SOPS 527612 HAS SOUS 320416 HAS SOUPS 320416 WITH SCORE 320943.612
AT ITER 8126 NEW BEST:: SOT 1902519 SOS 527602 HAS SOPS 527602 HAS SOUS 320401 HAS SOUPS 320401 WITH SCORE 320928.602
AT ITER 8129 NEW BEST:: SOT 1902733 SOS 527300 HAS SOPS 527300 HAS SOUS 320213 HAS SOUPS 320213 WITH SCORE 320740.3
AT ITER 8131 NEW BEST:: SOT 1902714 SOS 527281 HAS SOPS 527281 HAS SOUS 320042 HAS SOUPS 320042 WITH SCORE 320569.281
AT ITER 8138 NEW BEST:: SOT 1902522 SOS 526993 HAS SOPS 526993 HAS SOUS 319754 HAS SOUPS 319754 WITH SCORE 320280.993
AT ITER 8150 NEW BEST:: SOT 1902041 SOS 526255 HAS SOPS 526255 HAS SOUS 319107 HAS SOUPS 319107 WITH SCORE 319633.255
AT ITER 8207 NEW BEST:: SOT 1902038 SOS 526242 HAS SOPS 526242 HAS SOUS 319099 HAS SOUPS 319099 WITH SCORE 319625.242
AT ITER 8232 NEW BEST:: SOT 1901828 SOS 526513 HAS SOPS 526513 HAS SOUS 318984 HAS SOUPS 318984 WITH SCORE 319510.513
AT ITER 8285 NEW BEST:: SOT 1901782 SOS 526421 HAS SOPS 526421 HAS SOUS 318891 HAS SOUPS 318891 WITH SCORE 319417.421
AT ITER 8333 NEW BEST:: SOT 1901769 SOS 526395 HAS SOPS 526395 HAS SOUS 318865 HAS SOUPS 318865 WITH SCORE 319391.395
AT ITER 8343 NEW BEST:: SOT 1901788 SOS 526393 HAS SOPS 526393 HAS SOUS 318863 HAS SOUPS 318863 WITH SCORE 319389.393
AT ITER 8366 NEW BEST:: SOT 1901782 SOS 526387 HAS SOPS 526387 HAS SOUS 318857 HAS SOUPS 318857 WITH SCORE 319383.387
AT ITER 8386 NEW BEST:: SOT 1901798 SOS 526343 HAS SOPS 526343 HAS SOUS 318847 HAS SOUPS 318847 WITH SCORE 319373.343
AT ITER 8407 NEW BEST:: SOT 1901664 SOS 525941 HAS SOPS 525941 HAS SOUS 318445 HAS SOUPS 318445 WITH SCORE 318970.941
AT ITER 8426 NEW BEST:: SOT 1901664 SOS 525855 HAS SOPS 525855 HAS SOUS 318445 HAS SOUPS 318445 WITH SCORE 318970.855
AT ITER 8430 NEW BEST:: SOT 1901623 SOS 525773 HAS SOPS 525773 HAS SOUS 318210 HAS SOUPS 318210 WITH SCORE 318735.773
AT ITER 8444 NEW BEST:: SOT 1901592 SOS 525360 HAS SOPS 525360 HAS SOUS 317797 HAS SOUPS 317797 WITH SCORE 318322.36
AT ITER 8470 NEW BEST:: SOT 1901592 SOS 525360 HAS SOPS 525360 HAS SOUS 317748 HAS SOUPS 317748 WITH SCORE 318273.36
AT ITER 8485 NEW BEST:: SOT 1901496 SOS 525264 HAS SOPS 525264 HAS SOUS 317652 HAS SOUPS 317652 WITH SCORE 318177.264
AT ITER 8497 NEW BEST:: SOT 1901496 SOS 525251 HAS SOPS 525251 HAS SOUS 317651 HAS SOUPS 317651 WITH SCORE 318176.251
AT ITER 8512 NEW BEST:: SOT 1901428 SOS 525155 HAS SOPS 525155 HAS SOUS 317555 HAS SOUPS 317555 WITH SCORE 318080.155
AT ITER 8529 NEW BEST:: SOT 1901427 SOS 525116 HAS SOPS 525116 HAS SOUS 317516 HAS SOUPS 317516 WITH SCORE 318041.116
AT ITER 8541 NEW BEST:: SOT 1901129 SOS 524850 HAS SOPS 524850 HAS SOUS 317327 HAS SOUPS 317327 WITH SCORE 317851.85
AT ITER 8598 NEW BEST:: SOT 1901031 SOS 524752 HAS SOPS 524752 HAS SOUS 317222 HAS SOUPS 317222 WITH SCORE 317746.752
AT ITER 8603 NEW BEST:: SOT 1900971 SOS 524714 HAS SOPS 524714 HAS SOUS 317143 HAS SOUPS 317143 WITH SCORE 317667.714
AT ITER 8609 NEW BEST:: SOT 1900971 SOS 524713 HAS SOPS 524713 HAS SOUS 317142 HAS SOUPS 317142 WITH SCORE 317666.713
AT ITER 8614 NEW BEST:: SOT 1900970 SOS 524711 HAS SOPS 524711 HAS SOUS 317140 HAS SOUPS 317140 WITH SCORE 317664.711
AT ITER 8617 NEW BEST:: SOT 1900480 SOS 523873 HAS SOPS 523873 HAS SOUS 316302 HAS SOUPS 316302 WITH SCORE 316825.873
AT ITER 8632 NEW BEST:: SOT 1900480 SOS 523851 HAS SOPS 523851 HAS SOUS 316280 HAS SOUPS 316280 WITH SCORE 316803.851
AT ITER 8678 NEW BEST:: SOT 1900458 SOS 523861 HAS SOPS 523861 HAS SOUS 316246 HAS SOUPS 316246 WITH SCORE 316769.861
AT ITER 8684 NEW BEST:: SOT 1900437 SOS 523840 HAS SOPS 523840 HAS SOUS 316225 HAS SOUPS 316225 WITH SCORE 316748.84
AT ITER 8698 NEW BEST:: SOT 1900256 SOS 523478 HAS SOPS 523478 HAS SOUS 315863 HAS SOUPS 315863 WITH SCORE 316386.478
AT ITER 8702 NEW BEST:: SOT 1900256 SOS 523484 HAS SOPS 523484 HAS SOUS 315857 HAS SOUPS 315857 WITH SCORE 316380.484
AT ITER 8725 NEW BEST:: SOT 1900166 SOS 523345 HAS SOPS 523345 HAS SOUS 315767 HAS SOUPS 315767 WITH SCORE 316290.345
AT ITER 8738 NEW BEST:: SOT 1900060 SOS 523156 HAS SOPS 523156 HAS SOUS 315684 HAS SOUPS 315684 WITH SCORE 316207.156
AT ITER 8741 NEW BEST:: SOT 1900060 SOS 523142 HAS SOPS 523142 HAS SOUS 315684 HAS SOUPS 315684 WITH SCORE 316207.142
AT ITER 8753 NEW BEST:: SOT 1900033 SOS 523088 HAS SOPS 523088 HAS SOUS 315630 HAS SOUPS 315630 WITH SCORE 316153.088
AT ITER 8754 NEW BEST:: SOT 1899936 SOS 523077 HAS SOPS 523077 HAS SOUS 315619 HAS SOUPS 315619 WITH SCORE 316142.077
AT ITER 8758 NEW BEST:: SOT 1899987 SOS 523020 HAS SOPS 523020 HAS SOUS 315562 HAS SOUPS 315562 WITH SCORE 316085.02
AT ITER 8792 NEW BEST:: SOT 1899997 SOS 522817 HAS SOPS 522817 HAS SOUS 315500 HAS SOUPS 315500 WITH SCORE 316022.817
AT ITER 8793 NEW BEST:: SOT 1899869 SOS 522785 HAS SOPS 522785 HAS SOUS 315468 HAS SOUPS 315468 WITH SCORE 315990.785
AT ITER 8800 NEW BEST:: SOT 1899762 SOS 522699 HAS SOPS 522699 HAS SOUS 315382 HAS SOUPS 315382 WITH SCORE 315904.699
AT ITER 8804 NEW BEST:: SOT 1899777 SOS 522714 HAS SOPS 522714 HAS SOUS 315191 HAS SOUPS 315191 WITH SCORE 315713.714
AT ITER 8805 NEW BEST:: SOT 1899382 SOS 522373 HAS SOPS 522373 HAS SOUS 315178 HAS SOUPS 315178 WITH SCORE 315700.373
AT ITER 8851 NEW BEST:: SOT 1899346 SOS 522373 HAS SOPS 522373 HAS SOUS 315142 HAS SOUPS 315142 WITH SCORE 315664.373
AT ITER 8862 NEW BEST:: SOT 1899371 SOS 522296 HAS SOPS 522296 HAS SOUS 315093 HAS SOUPS 315093 WITH SCORE 315615.296
AT ITER 8886 NEW BEST:: SOT 1899369 SOS 522294 HAS SOPS 522294 HAS SOUS 315080 HAS SOUPS 315080 WITH SCORE 315602.294
AT ITER 8893 NEW BEST:: SOT 1899192 SOS 522176 HAS SOPS 522176 HAS SOUS 314903 HAS SOUPS 314903 WITH SCORE 315425.176
AT ITER 8896 NEW BEST:: SOT 1899126 SOS 522067 HAS SOPS 522067 HAS SOUS 314794 HAS SOUPS 314794 WITH SCORE 315316.067
AT ITER 8897 NEW BEST:: SOT 1899178 SOS 521201 HAS SOPS 521201 HAS SOUS 314778 HAS SOUPS 314778 WITH SCORE 315299.201
AT ITER 8898 NEW BEST:: SOT 1899153 SOS 521176 HAS SOPS 521176 HAS SOUS 314605 HAS SOUPS 314605 WITH SCORE 315126.176
AT ITER 8906 NEW BEST:: SOT 1898966 SOS 521068 HAS SOPS 521068 HAS SOUS 314049 HAS SOUPS 314049 WITH SCORE 314570.068
AT ITER 8964 NEW BEST:: SOT 1899038 SOS 521034 HAS SOPS 521034 HAS SOUS 314015 HAS SOUPS 314015 WITH SCORE 314536.034
AT ITER 8967 NEW BEST:: SOT 1899035 SOS 520947 HAS SOPS 520947 HAS SOUS 313928 HAS SOUPS 313928 WITH SCORE 314448.947
AT ITER 8972 NEW BEST:: SOT 1898959 SOS 520795 HAS SOPS 520795 HAS SOUS 313776 HAS SOUPS 313776 WITH SCORE 314296.795
AT ITER 8974 NEW BEST:: SOT 1898952 SOS 520651 HAS SOPS 520651 HAS SOUS 313699 HAS SOUPS 313699 WITH SCORE 314219.651
AT ITER 8982 NEW BEST:: SOT 1898952 SOS 520688 HAS SOPS 520688 HAS SOUS 313330 HAS SOUPS 313330 WITH SCORE 313850.688
AT ITER 9015 NEW BEST:: SOT 1898907 SOS 520394 HAS SOPS 520394 HAS SOUS 313036 HAS SOUPS 313036 WITH SCORE 313556.394
AT ITER 9022 NEW BEST:: SOT 1898883 SOS 520370 HAS SOPS 520370 HAS SOUS 313012 HAS SOUPS 313012 WITH SCORE 313532.37
AT ITER 9038 NEW BEST:: SOT 1898930 SOS 520235 HAS SOPS 520235 HAS SOUS 312877 HAS SOUPS 312877 WITH SCORE 313397.235
AT ITER 9040 NEW BEST:: SOT 1898906 SOS 520091 HAS SOPS 520091 HAS SOUS 312733 HAS SOUPS 312733 WITH SCORE 313253.091
AT ITER 9042 NEW BEST:: SOT 1898231 SOS 519416 HAS SOPS 519416 HAS SOUS 312666 HAS SOUPS 312666 WITH SCORE 313185.416
AT ITER 9049 NEW BEST:: SOT 1898231 SOS 519415 HAS SOPS 519415 HAS SOUS 312665 HAS SOUPS 312665 WITH SCORE 313184.415
AT ITER 9052 NEW BEST:: SOT 1898181 SOS 519316 HAS SOPS 519316 HAS SOUS 312566 HAS SOUPS 312566 WITH SCORE 313085.316
AT ITER 9058 NEW BEST:: SOT 1897875 SOS 518817 HAS SOPS 518817 HAS SOUS 312176 HAS SOUPS 312176 WITH SCORE 312694.817
AT ITER 9063 NEW BEST:: SOT 1897875 SOS 518792 HAS SOPS 518792 HAS SOUS 312176 HAS SOUPS 312176 WITH SCORE 312694.792
AT ITER 9075 NEW BEST:: SOT 1897875 SOS 518808 HAS SOPS 518808 HAS SOUS 312168 HAS SOUPS 312168 WITH SCORE 312686.808
AT ITER 9079 NEW BEST:: SOT 1897875 SOS 518547 HAS SOPS 518547 HAS SOUS 312168 HAS SOUPS 312168 WITH SCORE 312686.547
AT ITER 9107 NEW BEST:: SOT 1897874 SOS 518545 HAS SOPS 518545 HAS SOUS 312166 HAS SOUPS 312166 WITH SCORE 312684.545
AT ITER 9119 NEW BEST:: SOT 1897934 SOS 517520 HAS SOPS 517520 HAS SOUS 312100 HAS SOUPS 312100 WITH SCORE 312617.52
AT ITER 9146 NEW BEST:: SOT 1897923 SOS 517476 HAS SOPS 517476 HAS SOUS 312078 HAS SOUPS 312078 WITH SCORE 312595.476
AT ITER 9151 NEW BEST:: SOT 1897894 SOS 517419 HAS SOPS 517419 HAS SOUS 311698 HAS SOUPS 311698 WITH SCORE 312215.419
AT ITER 9168 NEW BEST:: SOT 1897813 SOS 517310 HAS SOPS 517310 HAS SOUS 311536 HAS SOUPS 311536 WITH SCORE 312053.31
AT ITER 9181 NEW BEST:: SOT 1897813 SOS 516757 HAS SOPS 516757 HAS SOUS 311536 HAS SOUPS 311536 WITH SCORE 312052.757
AT ITER 9188 NEW BEST:: SOT 1897812 SOS 516755 HAS SOPS 516755 HAS SOUS 311534 HAS SOUPS 311534 WITH SCORE 312050.755
AT ITER 9191 NEW BEST:: SOT 1897796 SOS 516739 HAS SOPS 516739 HAS SOUS 311516 HAS SOUPS 311516 WITH SCORE 312032.739
AT ITER 9209 NEW BEST:: SOT 1897817 SOS 516591 HAS SOPS 516591 HAS SOUS 311447 HAS SOUPS 311447 WITH SCORE 311963.591
AT ITER 9228 NEW BEST:: SOT 1897784 SOS 516492 HAS SOPS 516492 HAS SOUS 311403 HAS SOUPS 311403 WITH SCORE 311919.492
AT ITER 9236 NEW BEST:: SOT 1897637 SOS 516198 HAS SOPS 516198 HAS SOUS 311109 HAS SOUPS 311109 WITH SCORE 311625.198
AT ITER 9305 NEW BEST:: SOT 1897621 SOS 516142 HAS SOPS 516142 HAS SOUS 311095 HAS SOUPS 311095 WITH SCORE 311611.142
AT ITER 9309 NEW BEST:: SOT 1897607 SOS 516128 HAS SOPS 516128 HAS SOUS 311095 HAS SOUPS 311095 WITH SCORE 311611.128
AT ITER 9315 NEW BEST:: SOT 1897573 SOS 516077 HAS SOPS 516077 HAS SOUS 311061 HAS SOUPS 311061 WITH SCORE 311577.077
AT ITER 9317 NEW BEST:: SOT 1897573 SOS 516054 HAS SOPS 516054 HAS SOUS 311038 HAS SOUPS 311038 WITH SCORE 311554.054
AT ITER 9321 NEW BEST:: SOT 1897481 SOS 515993 HAS SOPS 515993 HAS SOUS 310898 HAS SOUPS 310898 WITH SCORE 311413.993
AT ITER 9324 NEW BEST:: SOT 1897455 SOS 515967 HAS SOPS 515967 HAS SOUS 310872 HAS SOUPS 310872 WITH SCORE 311387.967
AT ITER 9363 NEW BEST:: SOT 1897455 SOS 515966 HAS SOPS 515966 HAS SOUS 310871 HAS SOUPS 310871 WITH SCORE 311386.966
AT ITER 9388 NEW BEST:: SOT 1897468 SOS 515954 HAS SOPS 515954 HAS SOUS 310722 HAS SOUPS 310722 WITH SCORE 311237.954
AT ITER 9410 NEW BEST:: SOT 1897341 SOS 515602 HAS SOPS 515602 HAS SOUS 310370 HAS SOUPS 310370 WITH SCORE 310885.602
AT ITER 9421 NEW BEST:: SOT 1897248 SOS 515008 HAS SOPS 515008 HAS SOUS 310179 HAS SOUPS 310179 WITH SCORE 310694.008
AT ITER 9425 NEW BEST:: SOT 1896889 SOS 514310 HAS SOPS 514310 HAS SOUS 309797 HAS SOUPS 309797 WITH SCORE 310311.31
AT ITER 9429 NEW BEST:: SOT 1896889 SOS 514262 HAS SOPS 514262 HAS SOUS 309701 HAS SOUPS 309701 WITH SCORE 310215.262
AT ITER 9441 NEW BEST:: SOT 1896889 SOS 514262 HAS SOPS 514262 HAS SOUS 309689 HAS SOUPS 309689 WITH SCORE 310203.262
AT ITER 9466 NEW BEST:: SOT 1896708 SOS 514136 HAS SOPS 514136 HAS SOUS 309444 HAS SOUPS 309444 WITH SCORE 309958.136
AT ITER 9490 NEW BEST:: SOT 1896708 SOS 514019 HAS SOPS 514019 HAS SOUS 309327 HAS SOUPS 309327 WITH SCORE 309841.019
AT ITER 9493 NEW BEST:: SOT 1896665 SOS 513933 HAS SOPS 513933 HAS SOUS 309318 HAS SOUPS 309318 WITH SCORE 309831.933
AT ITER 9500 NEW BEST:: SOT 1896656 SOS 512877 HAS SOPS 512877 HAS SOUS 309160 HAS SOUPS 309160 WITH SCORE 309672.877
AT ITER 9516 NEW BEST:: SOT 1896668 SOS 513617 HAS SOPS 513617 HAS SOUS 309151 HAS SOUPS 309151 WITH SCORE 309664.617
AT ITER 9534 NEW BEST:: SOT 1896586 SOS 513503 HAS SOPS 513503 HAS SOUS 309063 HAS SOUPS 309063 WITH SCORE 309576.503
AT ITER 9544 NEW BEST:: SOT 1896444 SOS 513361 HAS SOPS 513361 HAS SOUS 308921 HAS SOUPS 308921 WITH SCORE 309434.361
AT ITER 9549 NEW BEST:: SOT 1896144 SOS 513061 HAS SOPS 513061 HAS SOUS 308621 HAS SOUPS 308621 WITH SCORE 309134.061
AT ITER 9598 NEW BEST:: SOT 1896152 SOS 513069 HAS SOPS 513069 HAS SOUS 308541 HAS SOUPS 308541 WITH SCORE 309054.069
AT ITER 9616 NEW BEST:: SOT 1896046 SOS 512855 HAS SOPS 512855 HAS SOUS 308434 HAS SOUPS 308434 WITH SCORE 308946.855
AT ITER 9618 NEW BEST:: SOT 1895826 SOS 512509 HAS SOPS 512509 HAS SOUS 308088 HAS SOUPS 308088 WITH SCORE 308600.509
AT ITER 9661 NEW BEST:: SOT 1895826 SOS 512496 HAS SOPS 512496 HAS SOUS 308088 HAS SOUPS 308088 WITH SCORE 308600.496
AT ITER 9676 NEW BEST:: SOT 1895605 SOS 512805 HAS SOPS 512805 HAS SOUS 307960 HAS SOUPS 307960 WITH SCORE 308472.805
AT ITER 9698 NEW BEST:: SOT 1895592 SOS 512792 HAS SOPS 512792 HAS SOUS 307934 HAS SOUPS 307934 WITH SCORE 308446.792
AT ITER 9707 NEW BEST:: SOT 1895390 SOS 512590 HAS SOPS 512590 HAS SOUS 307530 HAS SOUPS 307530 WITH SCORE 308042.59
AT ITER 9713 NEW BEST:: SOT 1895390 SOS 512565 HAS SOPS 512565 HAS SOUS 307505 HAS SOUPS 307505 WITH SCORE 308017.565
AT ITER 9722 NEW BEST:: SOT 1895389 SOS 512564 HAS SOPS 512564 HAS SOUS 307504 HAS SOUPS 307504 WITH SCORE 308016.564
AT ITER 9726 NEW BEST:: SOT 1895389 SOS 512564 HAS SOPS 512564 HAS SOUS 307502 HAS SOUPS 307502 WITH SCORE 308014.564
AT ITER 9738 NEW BEST:: SOT 1895389 SOS 512550 HAS SOPS 512550 HAS SOUS 307488 HAS SOUPS 307488 WITH SCORE 308000.55
AT ITER 9766 NEW BEST:: SOT 1895312 SOS 512550 HAS SOPS 512550 HAS SOUS 307411 HAS SOUPS 307411 WITH SCORE 307923.55
AT ITER 9784 NEW BEST:: SOT 1895334 SOS 512549 HAS SOPS 512549 HAS SOUS 307410 HAS SOUPS 307410 WITH SCORE 307922.549
AT ITER 9797 NEW BEST:: SOT 1895334 SOS 512549 HAS SOPS 512549 HAS SOUS 307349 HAS SOUPS 307349 WITH SCORE 307861.549
AT ITER 9836 NEW BEST:: SOT 1895258 SOS 512397 HAS SOPS 512397 HAS SOUS 307197 HAS SOUPS 307197 WITH SCORE 307709.397
AT ITER 9838 NEW BEST:: SOT 1895258 SOS 512230 HAS SOPS 512230 HAS SOUS 307030 HAS SOUPS 307030 WITH SCORE 307542.23
AT ITER 9843 NEW BEST:: SOT 1895264 SOS 512086 HAS SOPS 512086 HAS SOUS 306886 HAS SOUPS 306886 WITH SCORE 307398.086
AT ITER 9853 NEW BEST:: SOT 1895264 SOS 512702 HAS SOPS 512702 HAS SOUS 306840 HAS SOUPS 306840 WITH SCORE 307352.702
AT ITER 9901 NEW BEST:: SOT 1895264 SOS 511721 HAS SOPS 511721 HAS SOUS 306840 HAS SOUPS 306840 WITH SCORE 307351.721
AT ITER 9942 NEW BEST:: SOT 1895345 SOS 511873 HAS SOPS 511873 HAS SOUS 306644 HAS SOUPS 306644 WITH SCORE 307155.873
AT ITER 9954 NEW BEST:: SOT 1895268 SOS 511450 HAS SOPS 511450 HAS SOUS 306421 HAS SOUPS 306421 WITH SCORE 306932.45
AT ITER 9990 NEW BEST:: SOT 1895227 SOS 511368 HAS SOPS 511368 HAS SOUS 306298 HAS SOUPS 306298 WITH SCORE 306809.368
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="ASLink-PT-03b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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 ASLink-PT-03b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508000049"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-03b.tgz
mv ASLink-PT-03b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;