Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 32K Feb 26 00:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 183K Feb 26 00:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 248K Feb 25 23:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 935K Feb 25 23:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 23K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 48K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 143K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 78K Feb 26 01:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 358K Feb 26 01:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 999K Feb 26 01:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 3.3M Feb 26 01:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.2K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 14M Mar 5 18:23 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 1678817453375

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

Filename model.pnml
Petri model created: 854 places, 12340 transitions, 113999 arcs.
AT ITER 0 NEW BEST:: SOT 6007837 SOS 2750241 HAS SOPS 2750241 HAS SOUS 576352 HAS SOUPS 576352 WITH SCORE 579102.241
AT ITER 5 NEW BEST:: SOT 6007671 SOS 2749953 HAS SOPS 2749953 HAS SOUS 574966 HAS SOUPS 574966 WITH SCORE 577715.953
AT ITER 9 NEW BEST:: SOT 6007580 SOS 2749862 HAS SOPS 2749862 HAS SOUS 574875 HAS SOUPS 574875 WITH SCORE 577624.862
AT ITER 15 NEW BEST:: SOT 6007380 SOS 2749622 HAS SOPS 2749622 HAS SOUS 574275 HAS SOUPS 574275 WITH SCORE 577024.622
AT ITER 24 NEW BEST:: SOT 6007346 SOS 2749520 HAS SOPS 2749520 HAS SOUS 573561 HAS SOUPS 573561 WITH SCORE 576310.52
AT ITER 47 NEW BEST:: SOT 6007346 SOS 2749520 HAS SOPS 2749520 HAS SOUS 573361 HAS SOUPS 573361 WITH SCORE 576110.52
AT ITER 75 NEW BEST:: SOT 6007286 SOS 2749535 HAS SOPS 2749535 HAS SOUS 573340 HAS SOUPS 573340 WITH SCORE 576089.535
AT ITER 82 NEW BEST:: SOT 6007286 SOS 2749260 HAS SOPS 2749260 HAS SOUS 573065 HAS SOUPS 573065 WITH SCORE 575814.26
AT ITER 98 NEW BEST:: SOT 6007086 SOS 2748938 HAS SOPS 2748938 HAS SOUS 571645 HAS SOUPS 571645 WITH SCORE 574393.938
AT ITER 102 NEW BEST:: SOT 6007110 SOS 2748843 HAS SOPS 2748843 HAS SOUS 570479 HAS SOUPS 570479 WITH SCORE 573227.843
AT ITER 112 NEW BEST:: SOT 6007058 SOS 2748847 HAS SOPS 2748847 HAS SOUS 570459 HAS SOUPS 570459 WITH SCORE 573207.847
AT ITER 118 NEW BEST:: SOT 6007026 SOS 2748815 HAS SOPS 2748815 HAS SOUS 570427 HAS SOUPS 570427 WITH SCORE 573175.815
AT ITER 132 NEW BEST:: SOT 6006941 SOS 2748612 HAS SOPS 2748612 HAS SOUS 569162 HAS SOUPS 569162 WITH SCORE 571910.612
AT ITER 136 NEW BEST:: SOT 6006840 SOS 2750319 HAS SOPS 2748939 HAS SOUS 569232 HAS SOUPS 569094 WITH SCORE 571844.319
AT ITER 141 NEW BEST:: SOT 6006834 SOS 2750313 HAS SOPS 2748933 HAS SOUS 569226 HAS SOUPS 569088 WITH SCORE 571838.313
AT ITER 153 NEW BEST:: SOT 6007222 SOS 2750579 HAS SOPS 2749199 HAS SOUS 568472 HAS SOUPS 568334 WITH SCORE 571084.579
AT ITER 164 NEW BEST:: SOT 6007243 SOS 2750452 HAS SOPS 2749072 HAS SOUS 567013 HAS SOUPS 566875 WITH SCORE 569625.452
AT ITER 165 NEW BEST:: SOT 6007204 SOS 2750413 HAS SOPS 2749033 HAS SOUS 566974 HAS SOUPS 566836 WITH SCORE 569586.413
AT ITER 176 NEW BEST:: SOT 6007204 SOS 2750375 HAS SOPS 2748995 HAS SOUS 566594 HAS SOUPS 566456 WITH SCORE 569206.375
AT ITER 195 NEW BEST:: SOT 6006879 SOS 2750050 HAS SOPS 2748670 HAS SOUS 566269 HAS SOUPS 566131 WITH SCORE 568881.05
AT ITER 203 NEW BEST:: SOT 6006822 SOS 2749993 HAS SOPS 2748613 HAS SOUS 566212 HAS SOUPS 566074 WITH SCORE 568823.993
AT ITER 206 NEW BEST:: SOT 6006822 SOS 2749871 HAS SOPS 2748491 HAS SOUS 564992 HAS SOUPS 564854 WITH SCORE 567603.871
AT ITER 212 NEW BEST:: SOT 6006830 SOS 2750149 HAS SOPS 2748769 HAS SOUS 564890 HAS SOUPS 564752 WITH SCORE 567502.149
AT ITER 213 NEW BEST:: SOT 6006988 SOS 2750250 HAS SOPS 2748870 HAS SOUS 564812 HAS SOUPS 564674 WITH SCORE 567424.25
AT ITER 223 NEW BEST:: SOT 6006981 SOS 2750337 HAS SOPS 2748957 HAS SOUS 564798 HAS SOUPS 564660 WITH SCORE 567410.337
AT ITER 224 NEW BEST:: SOT 6006659 SOS 2749893 HAS SOPS 2748513 HAS SOUS 563256 HAS SOUPS 563118 WITH SCORE 565867.893
AT ITER 230 NEW BEST:: SOT 6006626 SOS 2749860 HAS SOPS 2748480 HAS SOUS 563223 HAS SOUPS 563085 WITH SCORE 565834.86
AT ITER 240 NEW BEST:: SOT 5633970 SOS 2377303 HAS SOPS 2375923 HAS SOUS 531622 HAS SOUPS 531484 WITH SCORE 533861.303
AT ITER 242 NEW BEST:: SOT 5633970 SOS 2377244 HAS SOPS 2375864 HAS SOUS 531032 HAS SOUPS 530894 WITH SCORE 533271.244
AT ITER 252 NEW BEST:: SOT 5633970 SOS 2377244 HAS SOPS 2375864 HAS SOUS 530921 HAS SOUPS 530783 WITH SCORE 533160.244
AT ITER 260 NEW BEST:: SOT 5633932 SOS 2377206 HAS SOPS 2375826 HAS SOUS 530883 HAS SOUPS 530745 WITH SCORE 533122.206
AT ITER 269 NEW BEST:: SOT 5633872 SOS 2377146 HAS SOPS 2375766 HAS SOUS 530823 HAS SOUPS 530685 WITH SCORE 533062.146
AT ITER 277 NEW BEST:: SOT 5633849 SOS 2377001 HAS SOPS 2375621 HAS SOUS 529580 HAS SOUPS 529442 WITH SCORE 531819.001
AT ITER 278 NEW BEST:: SOT 5633832 SOS 2376984 HAS SOPS 2375604 HAS SOUS 529563 HAS SOUPS 529425 WITH SCORE 531801.984
AT ITER 287 NEW BEST:: SOT 5633763 SOS 2376915 HAS SOPS 2375535 HAS SOUS 529494 HAS SOUPS 529356 WITH SCORE 531732.915
AT ITER 288 NEW BEST:: SOT 5633763 SOS 2376915 HAS SOPS 2375535 HAS SOUS 529294 HAS SOUPS 529156 WITH SCORE 531532.915
AT ITER 303 NEW BEST:: SOT 5633720 SOS 2376750 HAS SOPS 2375370 HAS SOUS 528031 HAS SOUPS 527893 WITH SCORE 530269.75
AT ITER 307 NEW BEST:: SOT 5633821 SOS 2376925 HAS SOPS 2375545 HAS SOUS 527966 HAS SOUPS 527828 WITH SCORE 530204.925
AT ITER 311 NEW BEST:: SOT 5633821 SOS 2378945 HAS SOPS 2376555 HAS SOUS 527947 HAS SOUPS 527708 WITH SCORE 530086.945
AT ITER 338 NEW BEST:: SOT 5633821 SOS 2378945 HAS SOPS 2376555 HAS SOUS 527707 HAS SOUPS 527468 WITH SCORE 529846.945
AT ITER 339 NEW BEST:: SOT 5633829 SOS 2378960 HAS SOPS 2376570 HAS SOUS 527696 HAS SOUPS 527457 WITH SCORE 529835.96
AT ITER 373 NEW BEST:: SOT 3923655 SOS 1569817 HAS SOPS 1567427 HAS SOUS 396769 HAS SOUPS 396530 WITH SCORE 398099.817
AT ITER 383 NEW BEST:: SOT 3913828 SOS 1559899 HAS SOPS 1557579 HAS SOUS 396316 HAS SOUPS 396077 WITH SCORE 397636.899
AT ITER 386 NEW BEST:: SOT 3913867 SOS 1559582 HAS SOPS 1557262 HAS SOUS 392795 HAS SOUPS 392556 WITH SCORE 394115.582
AT ITER 390 NEW BEST:: SOT 3913710 SOS 1559384 HAS SOPS 1557064 HAS SOUS 391418 HAS SOUPS 391179 WITH SCORE 392738.384
AT ITER 395 NEW BEST:: SOT 3913718 SOS 1559599 HAS SOPS 1557279 HAS SOUS 391295 HAS SOUPS 391056 WITH SCORE 392615.599
AT ITER 442 NEW BEST:: SOT 3913527 SOS 1559367 HAS SOPS 1557047 HAS SOUS 389884 HAS SOUPS 389645 WITH SCORE 391204.367
AT ITER 448 NEW BEST:: SOT 3913429 SOS 1559228 HAS SOPS 1556908 HAS SOUS 388566 HAS SOUPS 388327 WITH SCORE 389886.228
AT ITER 454 NEW BEST:: SOT 3913426 SOS 1559225 HAS SOPS 1556905 HAS SOUS 388563 HAS SOUPS 388324 WITH SCORE 389883.225
AT ITER 456 NEW BEST:: SOT 3913426 SOS 1559452 HAS SOPS 1557132 HAS SOUS 388443 HAS SOUPS 388204 WITH SCORE 389763.452
AT ITER 461 NEW BEST:: SOT 3913422 SOS 1559448 HAS SOPS 1557128 HAS SOUS 388399 HAS SOUPS 388160 WITH SCORE 389719.448
AT ITER 464 NEW BEST:: SOT 3913368 SOS 1559394 HAS SOPS 1557074 HAS SOUS 388345 HAS SOUPS 388106 WITH SCORE 389665.394
AT ITER 476 NEW BEST:: SOT 3913368 SOS 1559394 HAS SOPS 1557074 HAS SOUS 388145 HAS SOUPS 387906 WITH SCORE 389465.394
AT ITER 478 NEW BEST:: SOT 3913368 SOS 1559452 HAS SOPS 1557074 HAS SOUS 388087 HAS SOUPS 387848 WITH SCORE 389407.452
AT ITER 492 NEW BEST:: SOT 3913322 SOS 1559435 HAS SOPS 1557057 HAS SOUS 388041 HAS SOUPS 387802 WITH SCORE 389361.435
AT ITER 493 NEW BEST:: SOT 3913310 SOS 1559442 HAS SOPS 1557064 HAS SOUS 387976 HAS SOUPS 387737 WITH SCORE 389296.442
AT ITER 497 NEW BEST:: SOT 3912233 SOS 1558365 HAS SOPS 1555987 HAS SOUS 386899 HAS SOUPS 386660 WITH SCORE 388218.365
AT ITER 520 NEW BEST:: SOT 3912234 SOS 1558366 HAS SOPS 1555988 HAS SOUS 384360 HAS SOUPS 384121 WITH SCORE 385679.366
AT ITER 557 NEW BEST:: SOT 3912155 SOS 1558349 HAS SOPS 1555971 HAS SOUS 384202 HAS SOUPS 383963 WITH SCORE 385521.349
AT ITER 579 NEW BEST:: SOT 3912136 SOS 1558330 HAS SOPS 1555952 HAS SOUS 384183 HAS SOUPS 383944 WITH SCORE 385502.33
AT ITER 589 NEW BEST:: SOT 3912233 SOS 1558427 HAS SOPS 1556049 HAS SOUS 383860 HAS SOUPS 383621 WITH SCORE 385179.427
AT ITER 590 NEW BEST:: SOT 3912243 SOS 1558143 HAS SOPS 1555765 HAS SOUS 383632 HAS SOUPS 383393 WITH SCORE 384951.143
AT ITER 603 NEW BEST:: SOT 3912204 SOS 1558065 HAS SOPS 1555687 HAS SOUS 382813 HAS SOUPS 382574 WITH SCORE 384132.065
AT ITER 627 NEW BEST:: SOT 3912204 SOS 1558065 HAS SOPS 1555687 HAS SOUS 382750 HAS SOUPS 382511 WITH SCORE 384069.065
AT ITER 636 NEW BEST:: SOT 3912252 SOS 1558162 HAS SOPS 1555784 HAS SOUS 382607 HAS SOUPS 382368 WITH SCORE 383926.162
AT ITER 638 NEW BEST:: SOT 3912285 SOS 1558228 HAS SOPS 1555850 HAS SOUS 382574 HAS SOUPS 382335 WITH SCORE 383893.228
AT ITER 643 NEW BEST:: SOT 3912105 SOS 1558048 HAS SOPS 1555670 HAS SOUS 382214 HAS SOUPS 381975 WITH SCORE 383533.048
AT ITER 645 NEW BEST:: SOT 3912105 SOS 1558048 HAS SOPS 1555670 HAS SOUS 382198 HAS SOUPS 381959 WITH SCORE 383517.048
AT ITER 654 NEW BEST:: SOT 3912035 SOS 1557976 HAS SOPS 1555598 HAS SOUS 382108 HAS SOUPS 381869 WITH SCORE 383426.976
AT ITER 663 NEW BEST:: SOT 3912157 SOS 1558057 HAS SOPS 1555679 HAS SOUS 381018 HAS SOUPS 380779 WITH SCORE 382337.057
AT ITER 672 NEW BEST:: SOT 3912671 SOS 1558571 HAS SOPS 1556193 HAS SOUS 379805 HAS SOUPS 379566 WITH SCORE 381124.571
AT ITER 680 NEW BEST:: SOT 3912617 SOS 1558517 HAS SOPS 1556139 HAS SOUS 379802 HAS SOUPS 379563 WITH SCORE 381121.517
AT ITER 682 NEW BEST:: SOT 3912577 SOS 1558437 HAS SOPS 1556059 HAS SOUS 379054 HAS SOUPS 378815 WITH SCORE 380373.437
AT ITER 691 NEW BEST:: SOT 3912389 SOS 1558280 HAS SOPS 1555902 HAS SOUS 378881 HAS SOUPS 378642 WITH SCORE 380200.28
AT ITER 708 NEW BEST:: SOT 3912375 SOS 1558252 HAS SOPS 1555874 HAS SOUS 378853 HAS SOUPS 378614 WITH SCORE 380172.252
AT ITER 717 NEW BEST:: SOT 3912527 SOS 1558336 HAS SOPS 1555958 HAS SOUS 378399 HAS SOUPS 378160 WITH SCORE 379718.336
AT ITER 718 NEW BEST:: SOT 3912524 SOS 1558333 HAS SOPS 1555955 HAS SOUS 378396 HAS SOUPS 378157 WITH SCORE 379715.333
AT ITER 720 NEW BEST:: SOT 3912313 SOS 1558081 HAS SOPS 1555703 HAS SOUS 377021 HAS SOUPS 376782 WITH SCORE 378340.081
AT ITER 726 NEW BEST:: SOT 3912225 SOS 1557990 HAS SOPS 1555612 HAS SOUS 376055 HAS SOUPS 375816 WITH SCORE 377373.99
AT ITER 730 NEW BEST:: SOT 3912226 SOS 1557991 HAS SOPS 1555613 HAS SOUS 374166 HAS SOUPS 373927 WITH SCORE 375484.991
AT ITER 733 NEW BEST:: SOT 3912183 SOS 1557950 HAS SOPS 1555572 HAS SOUS 373713 HAS SOUPS 373474 WITH SCORE 375031.95
AT ITER 764 NEW BEST:: SOT 3912159 SOS 1557926 HAS SOPS 1555548 HAS SOUS 373689 HAS SOUPS 373450 WITH SCORE 375007.926
AT ITER 773 NEW BEST:: SOT 3912159 SOS 1557835 HAS SOPS 1555457 HAS SOUS 373689 HAS SOUPS 373450 WITH SCORE 375007.835
AT ITER 779 NEW BEST:: SOT 3912092 SOS 1557813 HAS SOPS 1555435 HAS SOUS 373628 HAS SOUPS 373389 WITH SCORE 374946.813
AT ITER 785 NEW BEST:: SOT 3912103 SOS 1557904 HAS SOPS 1555526 HAS SOUS 373478 HAS SOUPS 373239 WITH SCORE 374796.904
AT ITER 797 NEW BEST:: SOT 3911913 SOS 1557854 HAS SOPS 1555476 HAS SOUS 373370 HAS SOUPS 373131 WITH SCORE 374688.854
AT ITER 800 NEW BEST:: SOT 3911925 SOS 1557866 HAS SOPS 1555488 HAS SOUS 372662 HAS SOUPS 372423 WITH SCORE 373980.866
AT ITER 805 NEW BEST:: SOT 3911835 SOS 1557776 HAS SOPS 1555398 HAS SOUS 372415 HAS SOUPS 372176 WITH SCORE 373733.776
AT ITER 806 NEW BEST:: SOT 3911835 SOS 1557966 HAS SOPS 1555448 HAS SOUS 372392 HAS SOUPS 372139 WITH SCORE 373696.966
AT ITER 809 NEW BEST:: SOT 3911818 SOS 1557949 HAS SOPS 1555431 HAS SOUS 372375 HAS SOUPS 372122 WITH SCORE 373679.949
AT ITER 819 NEW BEST:: SOT 3911789 SOS 1557920 HAS SOPS 1555402 HAS SOUS 372346 HAS SOUPS 372093 WITH SCORE 373650.92
AT ITER 821 NEW BEST:: SOT 3911702 SOS 1557861 HAS SOPS 1555343 HAS SOUS 372048 HAS SOUPS 371795 WITH SCORE 373352.861
AT ITER 822 NEW BEST:: SOT 3911649 SOS 1557808 HAS SOPS 1555290 HAS SOUS 371995 HAS SOUPS 371742 WITH SCORE 373299.808
AT ITER 826 NEW BEST:: SOT 3911622 SOS 1557781 HAS SOPS 1555263 HAS SOUS 371883 HAS SOUPS 371630 WITH SCORE 373187.781
AT ITER 837 NEW BEST:: SOT 3911630 SOS 1558019 HAS SOPS 1555501 HAS SOUS 371843 HAS SOUPS 371590 WITH SCORE 373148.019
AT ITER 838 NEW BEST:: SOT 3911402 SOS 1557478 HAS SOPS 1554960 HAS SOUS 370595 HAS SOUPS 370342 WITH SCORE 371899.478
AT ITER 849 NEW BEST:: SOT 3911358 SOS 1557434 HAS SOPS 1554916 HAS SOUS 370331 HAS SOUPS 370078 WITH SCORE 371635.434
AT ITER 857 NEW BEST:: SOT 3911478 SOS 1557514 HAS SOPS 1554996 HAS SOUS 370278 HAS SOUPS 370025 WITH SCORE 371582.514
AT ITER 866 NEW BEST:: SOT 3911436 SOS 1557472 HAS SOPS 1554954 HAS SOUS 370236 HAS SOUPS 369983 WITH SCORE 371540.472
AT ITER 872 NEW BEST:: SOT 3911448 SOS 1557389 HAS SOPS 1554871 HAS SOUS 369298 HAS SOUPS 369045 WITH SCORE 370602.389
AT ITER 876 NEW BEST:: SOT 3911434 SOS 1557356 HAS SOPS 1554838 HAS SOUS 369291 HAS SOUPS 369038 WITH SCORE 370595.356
AT ITER 898 NEW BEST:: SOT 3911355 SOS 1557587 HAS SOPS 1555069 HAS SOUS 369269 HAS SOUPS 369016 WITH SCORE 370573.587
AT ITER 949 NEW BEST:: SOT 3911442 SOS 1557672 HAS SOPS 1555154 HAS SOUS 368916 HAS SOUPS 368663 WITH SCORE 370220.672
AT ITER 964 NEW BEST:: SOT 3911384 SOS 1557508 HAS SOPS 1554990 HAS SOUS 366988 HAS SOUPS 366735 WITH SCORE 368292.508
AT ITER 968 NEW BEST:: SOT 3911384 SOS 1557508 HAS SOPS 1554990 HAS SOUS 366838 HAS SOUPS 366585 WITH SCORE 368142.508
AT ITER 984 NEW BEST:: SOT 3911375 SOS 1557499 HAS SOPS 1554981 HAS SOUS 366829 HAS SOUPS 366576 WITH SCORE 368133.499
AT ITER 1000 NEW BEST:: SOT 3911151 SOS 1555095 HAS SOPS 1554857 HAS SOUS 366522 HAS SOUPS 366497 WITH SCORE 368052.095
AT ITER 1003 NEW BEST:: SOT 3911151 SOS 1555113 HAS SOPS 1554875 HAS SOUS 366503 HAS SOUPS 366478 WITH SCORE 368033.113
AT ITER 1005 NEW BEST:: SOT 3911103 SOS 1555099 HAS SOPS 1554861 HAS SOUS 366305 HAS SOUPS 366280 WITH SCORE 367835.099
AT ITER 1007 NEW BEST:: SOT 3911270 SOS 1555159 HAS SOPS 1554921 HAS SOUS 365577 HAS SOUPS 365552 WITH SCORE 367107.159
AT ITER 1009 NEW BEST:: SOT 3911270 SOS 1555118 HAS SOPS 1554880 HAS SOUS 365536 HAS SOUPS 365511 WITH SCORE 367066.118
AT ITER 1016 NEW BEST:: SOT 3911300 SOS 1555124 HAS SOPS 1554886 HAS SOUS 365344 HAS SOUPS 365319 WITH SCORE 366874.124
AT ITER 1027 NEW BEST:: SOT 3911173 SOS 1555070 HAS SOPS 1554832 HAS SOUS 365290 HAS SOUPS 365265 WITH SCORE 366820.07
AT ITER 1063 NEW BEST:: SOT 3911173 SOS 1095329 HAS SOPS 1095091 HAS SOUS 364924 HAS SOUPS 364899 WITH SCORE 365994.329
AT ITER 1065 NEW BEST:: SOT 3911158 SOS 1095314 HAS SOPS 1095076 HAS SOUS 364809 HAS SOUPS 364784 WITH SCORE 365879.314
AT ITER 1068 NEW BEST:: SOT 3911158 SOS 1095314 HAS SOPS 1095076 HAS SOUS 364798 HAS SOUPS 364773 WITH SCORE 365868.314
AT ITER 1082 NEW BEST:: SOT 3911158 SOS 1095314 HAS SOPS 1095076 HAS SOUS 364711 HAS SOUPS 364686 WITH SCORE 365781.314
AT ITER 1097 NEW BEST:: SOT 3911160 SOS 1095316 HAS SOPS 1095078 HAS SOUS 364697 HAS SOUPS 364672 WITH SCORE 365767.316
AT ITER 1100 NEW BEST:: SOT 3911139 SOS 1095295 HAS SOPS 1095057 HAS SOUS 364596 HAS SOUPS 364571 WITH SCORE 365666.295
AT ITER 1101 NEW BEST:: SOT 3911469 SOS 1095625 HAS SOPS 1095387 HAS SOUS 363506 HAS SOUPS 363481 WITH SCORE 364576.625
AT ITER 1103 NEW BEST:: SOT 3911469 SOS 1095625 HAS SOPS 1095387 HAS SOUS 363326 HAS SOUPS 363301 WITH SCORE 364396.625
AT ITER 1115 NEW BEST:: SOT 3911455 SOS 1095611 HAS SOPS 1095373 HAS SOUS 363172 HAS SOUPS 363147 WITH SCORE 364242.611
AT ITER 1118 NEW BEST:: SOT 3911455 SOS 1095611 HAS SOPS 1095373 HAS SOUS 363052 HAS SOUPS 363027 WITH SCORE 364122.611
AT ITER 1125 NEW BEST:: SOT 3911455 SOS 1095600 HAS SOPS 1095362 HAS SOUS 363041 HAS SOUPS 363016 WITH SCORE 364111.6
AT ITER 1126 NEW BEST:: SOT 3911455 SOS 1095695 HAS SOPS 1095457 HAS SOUS 362956 HAS SOUPS 362931 WITH SCORE 364026.695
AT ITER 1133 NEW BEST:: SOT 3911416 SOS 1095656 HAS SOPS 1095418 HAS SOUS 362917 HAS SOUPS 362892 WITH SCORE 363987.656
AT ITER 1144 NEW BEST:: SOT 3911416 SOS 1095563 HAS SOPS 1095325 HAS SOUS 361987 HAS SOUPS 361962 WITH SCORE 363057.563
AT ITER 1154 NEW BEST:: SOT 3911463 SOS 1095569 HAS SOPS 1095331 HAS SOUS 361037 HAS SOUPS 361012 WITH SCORE 362107.569
AT ITER 1159 NEW BEST:: SOT 3911491 SOS 1095487 HAS SOPS 1095249 HAS SOUS 360184 HAS SOUPS 360159 WITH SCORE 361254.487
AT ITER 1160 NEW BEST:: SOT 3911491 SOS 1095262 HAS SOPS 1095024 HAS SOUS 357934 HAS SOUPS 357909 WITH SCORE 359004.262
AT ITER 1163 NEW BEST:: SOT 3911538 SOS 1095117 HAS SOPS 1094879 HAS SOUS 356216 HAS SOUPS 356191 WITH SCORE 357286.117
AT ITER 1187 NEW BEST:: SOT 3911535 SOS 1095104 HAS SOPS 1094866 HAS SOUS 356207 HAS SOUPS 356182 WITH SCORE 357277.104
AT ITER 1188 NEW BEST:: SOT 3911535 SOS 1094882 HAS SOPS 1094644 HAS SOUS 356127 HAS SOUPS 356102 WITH SCORE 357196.882
AT ITER 1190 NEW BEST:: SOT 3911947 SOS 1095253 HAS SOPS 1095015 HAS SOUS 355404 HAS SOUPS 355379 WITH SCORE 356474.253
AT ITER 1193 NEW BEST:: SOT 3911916 SOS 1095222 HAS SOPS 1094984 HAS SOUS 355321 HAS SOUPS 355296 WITH SCORE 356391.222
AT ITER 1194 NEW BEST:: SOT 3911874 SOS 1095180 HAS SOPS 1094942 HAS SOUS 355279 HAS SOUPS 355254 WITH SCORE 356349.18
AT ITER 1216 NEW BEST:: SOT 3911874 SOS 1095180 HAS SOPS 1094942 HAS SOUS 355261 HAS SOUPS 355236 WITH SCORE 356331.18
AT ITER 1222 NEW BEST:: SOT 3911872 SOS 1095178 HAS SOPS 1094940 HAS SOUS 355259 HAS SOUPS 355234 WITH SCORE 356329.178
AT ITER 1237 NEW BEST:: SOT 3911872 SOS 1095134 HAS SOPS 1094896 HAS SOUS 354994 HAS SOUPS 354969 WITH SCORE 356064.134
AT ITER 1244 NEW BEST:: SOT 3911859 SOS 1095108 HAS SOPS 1094870 HAS SOUS 354721 HAS SOUPS 354696 WITH SCORE 355791.108
AT ITER 1254 NEW BEST:: SOT 3911872 SOS 1095077 HAS SOPS 1094839 HAS SOUS 354258 HAS SOUPS 354233 WITH SCORE 355328.077
AT ITER 1255 NEW BEST:: SOT 3911872 SOS 1095123 HAS SOPS 1094885 HAS SOUS 354204 HAS SOUPS 354179 WITH SCORE 355274.123
AT ITER 1257 NEW BEST:: SOT 3911796 SOS 1095047 HAS SOPS 1094809 HAS SOUS 354128 HAS SOUPS 354103 WITH SCORE 355198.047
AT ITER 1268 NEW BEST:: SOT 3911796 SOS 1095047 HAS SOPS 1094809 HAS SOUS 352498 HAS SOUPS 352473 WITH SCORE 353568.047
AT ITER 1269 NEW BEST:: SOT 3911928 SOS 1095138 HAS SOPS 1094900 HAS SOUS 351628 HAS SOUPS 351603 WITH SCORE 352698.138
AT ITER 1275 NEW BEST:: SOT 3912091 SOS 1095257 HAS SOPS 1095019 HAS SOUS 351382 HAS SOUPS 351357 WITH SCORE 352452.257
AT ITER 1283 NEW BEST:: SOT 3912105 SOS 1095394 HAS SOPS 1095156 HAS SOUS 351226 HAS SOUPS 351201 WITH SCORE 352296.394
AT ITER 1285 NEW BEST:: SOT 3911967 SOS 1095256 HAS SOPS 1095018 HAS SOUS 350947 HAS SOUPS 350922 WITH SCORE 352017.256
AT ITER 1287 NEW BEST:: SOT 3911942 SOS 1095231 HAS SOPS 1094993 HAS SOUS 350922 HAS SOUPS 350897 WITH SCORE 351992.231
AT ITER 1302 NEW BEST:: SOT 3911732 SOS 1094787 HAS SOPS 1094549 HAS SOUS 348262 HAS SOUPS 348237 WITH SCORE 349331.787
AT ITER 1306 NEW BEST:: SOT 3880010 SOS 1063165 HAS SOPS 1062927 HAS SOUS 316640 HAS SOUPS 316615 WITH SCORE 317678.165
AT ITER 1336 NEW BEST:: SOT 3889357 SOS 1071938 HAS SOPS 1071700 HAS SOUS 316452 HAS SOUPS 316427 WITH SCORE 317498.938
AT ITER 1373 NEW BEST:: SOT 3889311 SOS 1071892 HAS SOPS 1071654 HAS SOUS 316422 HAS SOUPS 316397 WITH SCORE 317468.892
AT ITER 1374 NEW BEST:: SOT 3889311 SOS 1071892 HAS SOPS 1071654 HAS SOUS 316407 HAS SOUPS 316382 WITH SCORE 317453.892
AT ITER 1381 NEW BEST:: SOT 3889309 SOS 1071849 HAS SOPS 1071611 HAS SOUS 315312 HAS SOUPS 315287 WITH SCORE 316358.849
AT ITER 1382 NEW BEST:: SOT 3889054 SOS 1071732 HAS SOPS 1071494 HAS SOUS 315193 HAS SOUPS 315168 WITH SCORE 316239.732
AT ITER 1386 NEW BEST:: SOT 3889025 SOS 1071662 HAS SOPS 1071424 HAS SOUS 313944 HAS SOUPS 313919 WITH SCORE 314990.662
AT ITER 1389 NEW BEST:: SOT 3889025 SOS 1071634 HAS SOPS 1071396 HAS SOUS 313794 HAS SOUPS 313769 WITH SCORE 314840.634
AT ITER 1392 NEW BEST:: SOT 3889051 SOS 1071530 HAS SOPS 1071292 HAS SOUS 312520 HAS SOUPS 312495 WITH SCORE 313566.53
AT ITER 1400 NEW BEST:: SOT 3889021 SOS 1071500 HAS SOPS 1071262 HAS SOUS 312340 HAS SOUPS 312315 WITH SCORE 313386.5
AT ITER 1403 NEW BEST:: SOT 3888972 SOS 1071214 HAS SOPS 1070976 HAS SOUS 310109 HAS SOUPS 310084 WITH SCORE 311155.214
AT ITER 1414 NEW BEST:: SOT 3888972 SOS 1071214 HAS SOPS 1070976 HAS SOUS 310091 HAS SOUPS 310066 WITH SCORE 311137.214
AT ITER 1447 NEW BEST:: SOT 3888911 SOS 1071197 HAS SOPS 1070959 HAS SOUS 309977 HAS SOUPS 309952 WITH SCORE 311023.197
AT ITER 1465 NEW BEST:: SOT 3888852 SOS 1071138 HAS SOPS 1070900 HAS SOUS 309918 HAS SOUPS 309893 WITH SCORE 310964.138
AT ITER 1468 NEW BEST:: SOT 3888817 SOS 1071103 HAS SOPS 1070865 HAS SOUS 309883 HAS SOUPS 309858 WITH SCORE 310929.103
AT ITER 1472 NEW BEST:: SOT 3888991 SOS 1071236 HAS SOPS 1070998 HAS SOUS 309523 HAS SOUPS 309498 WITH SCORE 310569.236
AT ITER 1479 NEW BEST:: SOT 3889212 SOS 1071457 HAS SOPS 1071219 HAS SOUS 308831 HAS SOUPS 308806 WITH SCORE 309877.457
AT ITER 1487 NEW BEST:: SOT 3889288 SOS 1071532 HAS SOPS 1071294 HAS SOUS 308168 HAS SOUPS 308143 WITH SCORE 309214.532
AT ITER 1494 NEW BEST:: SOT 3889140 SOS 1071384 HAS SOPS 1071146 HAS SOUS 307852 HAS SOUPS 307827 WITH SCORE 308898.384
AT ITER 1500 NEW BEST:: SOT 3889073 SOS 1071458 HAS SOPS 1071220 HAS SOUS 307777 HAS SOUPS 307752 WITH SCORE 308823.458
AT ITER 1501 NEW BEST:: SOT 3889073 SOS 1071464 HAS SOPS 1071226 HAS SOUS 307427 HAS SOUPS 307402 WITH SCORE 308473.464
AT ITER 1533 NEW BEST:: SOT 3889275 SOS 1071543 HAS SOPS 1071305 HAS SOUS 306694 HAS SOUPS 306669 WITH SCORE 307740.543
AT ITER 1536 NEW BEST:: SOT 3889237 SOS 1071505 HAS SOPS 1071267 HAS SOUS 306555 HAS SOUPS 306530 WITH SCORE 307601.505
AT ITER 1540 NEW BEST:: SOT 3889224 SOS 1071492 HAS SOPS 1071254 HAS SOUS 306542 HAS SOUPS 306517 WITH SCORE 307588.492
AT ITER 1543 NEW BEST:: SOT 3889213 SOS 1071481 HAS SOPS 1071243 HAS SOUS 306531 HAS SOUPS 306506 WITH SCORE 307577.481
AT ITER 1552 NEW BEST:: SOT 3889213 SOS 1071478 HAS SOPS 1071240 HAS SOUS 306530 HAS SOUPS 306505 WITH SCORE 307576.478
AT ITER 1553 NEW BEST:: SOT 3889036 SOS 1071301 HAS SOPS 1071063 HAS SOUS 305981 HAS SOUPS 305956 WITH SCORE 307027.301
AT ITER 1558 NEW BEST:: SOT 3889010 SOS 1071308 HAS SOPS 1071070 HAS SOUS 305968 HAS SOUPS 305943 WITH SCORE 307014.308
AT ITER 1567 NEW BEST:: SOT 3888920 SOS 1071250 HAS SOPS 1071012 HAS SOUS 305878 HAS SOUPS 305853 WITH SCORE 306924.25
AT ITER 1571 NEW BEST:: SOT 3888920 SOS 1071211 HAS SOPS 1070973 HAS SOUS 305859 HAS SOUPS 305834 WITH SCORE 306905.211
AT ITER 1585 NEW BEST:: SOT 3888832 SOS 1071123 HAS SOPS 1070885 HAS SOUS 305771 HAS SOUPS 305746 WITH SCORE 306817.123
AT ITER 1589 NEW BEST:: SOT 3889075 SOS 1071287 HAS SOPS 1071049 HAS SOUS 305090 HAS SOUPS 305065 WITH SCORE 306136.287
AT ITER 1591 NEW BEST:: SOT 3863234 SOS 1045880 HAS SOPS 1045642 HAS SOUS 279364 HAS SOUPS 279339 WITH SCORE 280384.88
AT ITER 1608 NEW BEST:: SOT 3863236 SOS 1045868 HAS SOPS 1045630 HAS SOUS 279216 HAS SOUPS 279191 WITH SCORE 280236.868
AT ITER 1613 NEW BEST:: SOT 3863473 SOS 1046077 HAS SOPS 1045839 HAS SOUS 278580 HAS SOUPS 278555 WITH SCORE 279601.077
AT ITER 1623 NEW BEST:: SOT 3863456 SOS 1046074 HAS SOPS 1045836 HAS SOUS 278557 HAS SOUPS 278532 WITH SCORE 279578.074
AT ITER 1639 NEW BEST:: SOT 3849006 SOS 1032474 HAS SOPS 1032236 HAS SOUS 264213 HAS SOUPS 264188 WITH SCORE 265220.474
AT ITER 1647 NEW BEST:: SOT 3849162 SOS 1032630 HAS SOPS 1032392 HAS SOUS 262366 HAS SOUPS 262341 WITH SCORE 263373.63
AT ITER 1651 NEW BEST:: SOT 3849104 SOS 1032572 HAS SOPS 1032334 HAS SOUS 262361 HAS SOUPS 262336 WITH SCORE 263368.572
AT ITER 1663 NEW BEST:: SOT 3849076 SOS 1032544 HAS SOPS 1032306 HAS SOUS 262333 HAS SOUPS 262308 WITH SCORE 263340.544
AT ITER 1684 NEW BEST:: SOT 3849098 SOS 1032155 HAS SOPS 1031917 HAS SOUS 262274 HAS SOUPS 262249 WITH SCORE 263281.155
AT ITER 1685 NEW BEST:: SOT 3849191 SOS 1032312 HAS SOPS 1032074 HAS SOUS 262202 HAS SOUPS 262177 WITH SCORE 263209.312
AT ITER 1702 NEW BEST:: SOT 3849117 SOS 1032238 HAS SOPS 1032000 HAS SOUS 262128 HAS SOUPS 262103 WITH SCORE 263135.238
AT ITER 1713 NEW BEST:: SOT 3848034 SOS 1031155 HAS SOPS 1030917 HAS SOUS 261045 HAS SOUPS 261020 WITH SCORE 262051.155
AT ITER 1727 NEW BEST:: SOT 3847973 SOS 1031094 HAS SOPS 1030856 HAS SOUS 260984 HAS SOUPS 260959 WITH SCORE 261990.094
AT ITER 1735 NEW BEST:: SOT 3848087 SOS 1031094 HAS SOPS 1030856 HAS SOUS 260017 HAS SOUPS 259992 WITH SCORE 261023.094
AT ITER 1740 NEW BEST:: SOT 3848309 SOS 1031316 HAS SOPS 1031078 HAS SOUS 258421 HAS SOUPS 258396 WITH SCORE 259427.316
AT ITER 1742 NEW BEST:: SOT 3848231 SOS 1031238 HAS SOPS 1031000 HAS SOUS 258300 HAS SOUPS 258275 WITH SCORE 259306.238
AT ITER 1743 NEW BEST:: SOT 3848212 SOS 1031219 HAS SOPS 1030981 HAS SOUS 258281 HAS SOUPS 258256 WITH SCORE 259287.219
AT ITER 1746 NEW BEST:: SOT 3848278 SOS 1031263 HAS SOPS 1031025 HAS SOUS 258246 HAS SOUPS 258221 WITH SCORE 259252.263
AT ITER 1748 NEW BEST:: SOT 3848142 SOS 1031127 HAS SOPS 1030889 HAS SOUS 258110 HAS SOUPS 258085 WITH SCORE 259116.127
AT ITER 1753 NEW BEST:: SOT 3847978 SOS 1030940 HAS SOPS 1030702 HAS SOUS 257192 HAS SOUPS 257167 WITH SCORE 258197.94
AT ITER 1761 NEW BEST:: SOT 3847807 SOS 1030769 HAS SOPS 1030531 HAS SOUS 255921 HAS SOUPS 255896 WITH SCORE 256926.769
AT ITER 1780 NEW BEST:: SOT 3847715 SOS 1030677 HAS SOPS 1030439 HAS SOUS 255786 HAS SOUPS 255761 WITH SCORE 256791.677
AT ITER 1783 NEW BEST:: SOT 3847639 SOS 1030290 HAS SOPS 1030052 HAS SOUS 255658 HAS SOUPS 255633 WITH SCORE 256663.29
AT ITER 1798 NEW BEST:: SOT 3847518 SOS 1030169 HAS SOPS 1029931 HAS SOUS 255480 HAS SOUPS 255455 WITH SCORE 256485.169
AT ITER 1799 NEW BEST:: SOT 3847509 SOS 1030160 HAS SOPS 1029922 HAS SOUS 255471 HAS SOUPS 255446 WITH SCORE 256476.16
AT ITER 1806 NEW BEST:: SOT 3847417 SOS 1030050 HAS SOPS 1029812 HAS SOUS 255130 HAS SOUPS 255105 WITH SCORE 256135.05
AT ITER 1809 NEW BEST:: SOT 3847353 SOS 1029986 HAS SOPS 1029748 HAS SOUS 254936 HAS SOUPS 254911 WITH SCORE 255940.986
AT ITER 1836 NEW BEST:: SOT 3847331 SOS 1029923 HAS SOPS 1029685 HAS SOUS 253978 HAS SOUPS 253953 WITH SCORE 254982.923
AT ITER 1856 NEW BEST:: SOT 3847311 SOS 1029903 HAS SOPS 1029665 HAS SOUS 253958 HAS SOUPS 253933 WITH SCORE 254962.903
AT ITER 1858 NEW BEST:: SOT 3847372 SOS 1029964 HAS SOPS 1029726 HAS SOUS 253674 HAS SOUPS 253649 WITH SCORE 254678.964
AT ITER 1863 NEW BEST:: SOT 3847372 SOS 1029964 HAS SOPS 1029726 HAS SOUS 253633 HAS SOUPS 253608 WITH SCORE 254637.964
AT ITER 1871 NEW BEST:: SOT 3847292 SOS 1029884 HAS SOPS 1029646 HAS SOUS 253553 HAS SOUPS 253528 WITH SCORE 254557.884
AT ITER 1881 NEW BEST:: SOT 3847090 SOS 1029682 HAS SOPS 1029444 HAS SOUS 253291 HAS SOUPS 253266 WITH SCORE 254295.682
AT ITER 1885 NEW BEST:: SOT 3847142 SOS 1029647 HAS SOPS 1029409 HAS SOUS 253256 HAS SOUPS 253231 WITH SCORE 254260.647
AT ITER 1896 NEW BEST:: SOT 3847001 SOS 1029506 HAS SOPS 1029268 HAS SOUS 253115 HAS SOUPS 253090 WITH SCORE 254119.506
AT ITER 1914 NEW BEST:: SOT 3846980 SOS 1029533 HAS SOPS 1029295 HAS SOUS 253073 HAS SOUPS 253048 WITH SCORE 254077.533
AT ITER 1916 NEW BEST:: SOT 3840161 SOS 1025050 HAS SOPS 1024812 HAS SOUS 246129 HAS SOUPS 246104 WITH SCORE 247129.05
AT ITER 1918 NEW BEST:: SOT 3840161 SOS 1024944 HAS SOPS 1024706 HAS SOUS 245943 HAS SOUPS 245918 WITH SCORE 246942.944
AT ITER 1942 NEW BEST:: SOT 3841261 SOS 1026043 HAS SOPS 1025805 HAS SOUS 245903 HAS SOUPS 245878 WITH SCORE 246904.043
AT ITER 1968 NEW BEST:: SOT 3841197 SOS 1025979 HAS SOPS 1025741 HAS SOUS 245551 HAS SOUPS 245526 WITH SCORE 246551.979
AT ITER 1969 NEW BEST:: SOT 3841197 SOS 1025852 HAS SOPS 1025614 HAS SOUS 245479 HAS SOUPS 245454 WITH SCORE 246479.852
AT ITER 1985 NEW BEST:: SOT 3841205 SOS 1025860 HAS SOPS 1025622 HAS SOUS 245450 HAS SOUPS 245425 WITH SCORE 246450.86
AT ITER 1992 NEW BEST:: SOT 3841009 SOS 1025664 HAS SOPS 1025426 HAS SOUS 245254 HAS SOUPS 245229 WITH SCORE 246254.664
AT ITER 1994 NEW BEST:: SOT 3841009 SOS 1025599 HAS SOPS 1025361 HAS SOUS 245214 HAS SOUPS 245189 WITH SCORE 246214.599
AT ITER 1999 NEW BEST:: SOT 3840875 SOS 1025465 HAS SOPS 1025227 HAS SOUS 244410 HAS SOUPS 244385 WITH SCORE 245410.465
AT ITER 2002 NEW BEST:: SOT 3840851 SOS 1025417 HAS SOPS 1025179 HAS SOUS 244362 HAS SOUPS 244337 WITH SCORE 245362.417
AT ITER 2017 NEW BEST:: SOT 3840851 SOS 1025418 HAS SOPS 1025180 HAS SOUS 244328 HAS SOUPS 244303 WITH SCORE 245328.418
AT ITER 2024 NEW BEST:: SOT 3840845 SOS 1025412 HAS SOPS 1025174 HAS SOUS 244322 HAS SOUPS 244297 WITH SCORE 245322.412
AT ITER 2030 NEW BEST:: SOT 3840621 SOS 1025188 HAS SOPS 1024950 HAS SOUS 244098 HAS SOUPS 244073 WITH SCORE 245098.188
AT ITER 2031 NEW BEST:: SOT 3840631 SOS 1025198 HAS SOPS 1024960 HAS SOUS 244038 HAS SOUPS 244013 WITH SCORE 245038.198
AT ITER 2033 NEW BEST:: SOT 3840876 SOS 1025443 HAS SOPS 1025205 HAS SOUS 241708 HAS SOUPS 241683 WITH SCORE 242708.443
AT ITER 2036 NEW BEST:: SOT 3840864 SOS 1025431 HAS SOPS 1025193 HAS SOUS 241696 HAS SOUPS 241671 WITH SCORE 242696.431
AT ITER 2046 NEW BEST:: SOT 3840936 SOS 1025466 HAS SOPS 1025228 HAS SOUS 238778 HAS SOUPS 238753 WITH SCORE 239778.466
AT ITER 2053 NEW BEST:: SOT 3840936 SOS 1025466 HAS SOPS 1025228 HAS SOUS 238775 HAS SOUPS 238750 WITH SCORE 239775.466
AT ITER 2054 NEW BEST:: SOT 3840923 SOS 1025453 HAS SOPS 1025215 HAS SOUS 238762 HAS SOUPS 238737 WITH SCORE 239762.453
AT ITER 2058 NEW BEST:: SOT 3840790 SOS 1025320 HAS SOPS 1025082 HAS SOUS 238629 HAS SOUPS 238604 WITH SCORE 239629.32
AT ITER 2061 NEW BEST:: SOT 3840790 SOS 1025281 HAS SOPS 1025043 HAS SOUS 238629 HAS SOUPS 238604 WITH SCORE 239629.281
AT ITER 2069 NEW BEST:: SOT 3835753 SOS 1026011 HAS SOPS 1025773 HAS SOUS 233552 HAS SOUPS 233527 WITH SCORE 234553.011
AT ITER 2093 NEW BEST:: SOT 3835650 SOS 1025908 HAS SOPS 1025670 HAS SOUS 233449 HAS SOUPS 233424 WITH SCORE 234449.908
AT ITER 2099 NEW BEST:: SOT 3835629 SOS 1025887 HAS SOPS 1025649 HAS SOUS 233415 HAS SOUPS 233390 WITH SCORE 234415.887
AT ITER 2101 NEW BEST:: SOT 3835563 SOS 1026082 HAS SOPS 1025844 HAS SOUS 233179 HAS SOUPS 233154 WITH SCORE 234180.082
AT ITER 2112 NEW BEST:: SOT 3835513 SOS 1026032 HAS SOPS 1025794 HAS SOUS 233129 HAS SOUPS 233104 WITH SCORE 234130.032
AT ITER 2132 NEW BEST:: SOT 3835513 SOS 1026032 HAS SOPS 1025794 HAS SOUS 233124 HAS SOUPS 233099 WITH SCORE 234125.032
AT ITER 2136 NEW BEST:: SOT 3836536 SOS 1027055 HAS SOPS 1026817 HAS SOUS 232156 HAS SOUPS 232131 WITH SCORE 233158.055
AT ITER 2147 NEW BEST:: SOT 3836536 SOS 962948 HAS SOPS 962710 HAS SOUS 232105 HAS SOUPS 232080 WITH SCORE 233042.948
AT ITER 2148 NEW BEST:: SOT 3836812 SOS 963204 HAS SOPS 962966 HAS SOUS 231978 HAS SOUPS 231953 WITH SCORE 232916.204
AT ITER 2150 NEW BEST:: SOT 3836784 SOS 963176 HAS SOPS 962938 HAS SOUS 231746 HAS SOUPS 231721 WITH SCORE 232684.176
AT ITER 2170 NEW BEST:: SOT 3836940 SOS 963292 HAS SOPS 963054 HAS SOUS 230618 HAS SOUPS 230593 WITH SCORE 231556.292
AT ITER 2182 NEW BEST:: SOT 3836938 SOS 963290 HAS SOPS 963052 HAS SOUS 230616 HAS SOUPS 230591 WITH SCORE 231554.29
AT ITER 2190 NEW BEST:: SOT 3836534 SOS 962886 HAS SOPS 962648 HAS SOUS 230212 HAS SOUPS 230187 WITH SCORE 231149.886
AT ITER 2191 NEW BEST:: SOT 3836527 SOS 962879 HAS SOPS 962641 HAS SOUS 230198 HAS SOUPS 230173 WITH SCORE 231135.879
AT ITER 2194 NEW BEST:: SOT 3836742 SOS 963094 HAS SOPS 962856 HAS SOUS 229870 HAS SOUPS 229845 WITH SCORE 230808.094
AT ITER 2195 NEW BEST:: SOT 3836735 SOS 963087 HAS SOPS 962849 HAS SOUS 229863 HAS SOUPS 229838 WITH SCORE 230801.087
AT ITER 2211 NEW BEST:: SOT 3836690 SOS 963079 HAS SOPS 962841 HAS SOUS 229847 HAS SOUPS 229822 WITH SCORE 230785.079
AT ITER 2214 NEW BEST:: SOT 3836612 SOS 963001 HAS SOPS 962763 HAS SOUS 229769 HAS SOUPS 229744 WITH SCORE 230707.001
AT ITER 2215 NEW BEST:: SOT 3836486 SOS 962941 HAS SOPS 962703 HAS SOUS 229649 HAS SOUPS 229624 WITH SCORE 230586.941
AT ITER 2220 NEW BEST:: SOT 3836485 SOS 962940 HAS SOPS 962702 HAS SOUS 229647 HAS SOUPS 229622 WITH SCORE 230584.94
AT ITER 2223 NEW BEST:: SOT 3836797 SOS 963252 HAS SOPS 963014 HAS SOUS 229313 HAS SOUPS 229288 WITH SCORE 230251.252
AT ITER 2227 NEW BEST:: SOT 3836686 SOS 963141 HAS SOPS 962903 HAS SOUS 229202 HAS SOUPS 229177 WITH SCORE 230140.141
AT ITER 2248 NEW BEST:: SOT 3836532 SOS 963108 HAS SOPS 962870 HAS SOUS 229136 HAS SOUPS 229111 WITH SCORE 230074.108
AT ITER 2250 NEW BEST:: SOT 3836370 SOS 962946 HAS SOPS 962708 HAS SOUS 228764 HAS SOUPS 228739 WITH SCORE 229701.946
AT ITER 2251 NEW BEST:: SOT 3835999 SOS 962575 HAS SOPS 962337 HAS SOUS 228393 HAS SOUPS 228368 WITH SCORE 229330.575
AT ITER 2274 NEW BEST:: SOT 3836546 SOS 963122 HAS SOPS 962884 HAS SOUS 227518 HAS SOUPS 227493 WITH SCORE 228456.122
AT ITER 2282 NEW BEST:: SOT 3836515 SOS 963936 HAS SOPS 963698 HAS SOUS 227462 HAS SOUPS 227437 WITH SCORE 228400.936
AT ITER 2289 NEW BEST:: SOT 3836320 SOS 963741 HAS SOPS 963503 HAS SOUS 227184 HAS SOUPS 227159 WITH SCORE 228122.741
AT ITER 2310 NEW BEST:: SOT 3836741 SOS 964162 HAS SOPS 963924 HAS SOUS 226327 HAS SOUPS 226302 WITH SCORE 227266.162
AT ITER 2315 NEW BEST:: SOT 3836653 SOS 964074 HAS SOPS 963836 HAS SOUS 226239 HAS SOUPS 226214 WITH SCORE 227178.074
AT ITER 2316 NEW BEST:: SOT 3836609 SOS 964030 HAS SOPS 963792 HAS SOUS 226177 HAS SOUPS 226152 WITH SCORE 227116.03
AT ITER 2326 NEW BEST:: SOT 3836609 SOS 963902 HAS SOPS 963664 HAS SOUS 226177 HAS SOUPS 226152 WITH SCORE 227115.902
AT ITER 2348 NEW BEST:: SOT 3836867 SOS 964160 HAS SOPS 963922 HAS SOUS 224361 HAS SOUPS 224336 WITH SCORE 225300.16
AT ITER 2349 NEW BEST:: SOT 3836861 SOS 964156 HAS SOPS 963918 HAS SOUS 224353 HAS SOUPS 224328 WITH SCORE 225292.156
AT ITER 2351 NEW BEST:: SOT 3836769 SOS 964064 HAS SOPS 963826 HAS SOUS 224217 HAS SOUPS 224192 WITH SCORE 225156.064
AT ITER 2352 NEW BEST:: SOT 3836906 SOS 964201 HAS SOPS 963963 HAS SOUS 223974 HAS SOUPS 223949 WITH SCORE 224913.201
AT ITER 2354 NEW BEST:: SOT 3836877 SOS 964172 HAS SOPS 963934 HAS SOUS 223945 HAS SOUPS 223920 WITH SCORE 224884.172
AT ITER 2355 NEW BEST:: SOT 3836873 SOS 964168 HAS SOPS 963930 HAS SOUS 223940 HAS SOUPS 223915 WITH SCORE 224879.168
AT ITER 2382 NEW BEST:: SOT 3836867 SOS 964162 HAS SOPS 963924 HAS SOUS 223880 HAS SOUPS 223855 WITH SCORE 224819.162
AT ITER 2389 NEW BEST:: SOT 3836592 SOS 963887 HAS SOPS 963649 HAS SOUS 223361 HAS SOUPS 223336 WITH SCORE 224299.887
AT ITER 2391 NEW BEST:: SOT 3836540 SOS 963835 HAS SOPS 963597 HAS SOUS 223201 HAS SOUPS 223176 WITH SCORE 224139.835
AT ITER 2394 NEW BEST:: SOT 3836640 SOS 963935 HAS SOPS 963697 HAS SOUS 222686 HAS SOUPS 222661 WITH SCORE 223624.935
AT ITER 2396 NEW BEST:: SOT 3836588 SOS 963883 HAS SOPS 963645 HAS SOUS 222611 HAS SOUPS 222586 WITH SCORE 223549.883
AT ITER 2412 NEW BEST:: SOT 3836266 SOS 963561 HAS SOPS 963323 HAS SOUS 222227 HAS SOUPS 222202 WITH SCORE 223165.561
AT ITER 2414 NEW BEST:: SOT 3836128 SOS 963423 HAS SOPS 963185 HAS SOUS 222038 HAS SOUPS 222013 WITH SCORE 222976.423
AT ITER 2425 NEW BEST:: SOT 3836073 SOS 963368 HAS SOPS 963130 HAS SOUS 221928 HAS SOUPS 221903 WITH SCORE 222866.368
AT ITER 2427 NEW BEST:: SOT 3835931 SOS 963326 HAS SOPS 963088 HAS SOUS 221844 HAS SOUPS 221819 WITH SCORE 222782.326
AT ITER 2432 NEW BEST:: SOT 3835858 SOS 963253 HAS SOPS 963015 HAS SOUS 221771 HAS SOUPS 221746 WITH SCORE 222709.253
AT ITER 2451 NEW BEST:: SOT 3835974 SOS 963369 HAS SOPS 963131 HAS SOUS 221407 HAS SOUPS 221382 WITH SCORE 222345.369
AT ITER 2458 NEW BEST:: SOT 3835959 SOS 963354 HAS SOPS 963116 HAS SOUS 221392 HAS SOUPS 221367 WITH SCORE 222330.354
AT ITER 2471 NEW BEST:: SOT 3835919 SOS 963314 HAS SOPS 963076 HAS SOUS 221218 HAS SOUPS 221193 WITH SCORE 222156.314
AT ITER 2494 NEW BEST:: SOT 3836118 SOS 963577 HAS SOPS 963339 HAS SOUS 221165 HAS SOUPS 221140 WITH SCORE 222103.577
AT ITER 2501 NEW BEST:: SOT 3835850 SOS 963309 HAS SOPS 963071 HAS SOUS 220385 HAS SOUPS 220360 WITH SCORE 221323.309
AT ITER 2503 NEW BEST:: SOT 3836498 SOS 963957 HAS SOPS 963719 HAS SOUS 219611 HAS SOUPS 219586 WITH SCORE 220549.957
AT ITER 2507 NEW BEST:: SOT 3836416 SOS 963875 HAS SOPS 963637 HAS SOUS 219529 HAS SOUPS 219504 WITH SCORE 220467.875
AT ITER 2510 NEW BEST:: SOT 3836390 SOS 963849 HAS SOPS 963611 HAS SOUS 219477 HAS SOUPS 219452 WITH SCORE 220415.849
AT ITER 2527 NEW BEST:: SOT 3836300 SOS 963759 HAS SOPS 963521 HAS SOUS 219387 HAS SOUPS 219362 WITH SCORE 220325.759
AT ITER 2542 NEW BEST:: SOT 3836125 SOS 963584 HAS SOPS 963346 HAS SOUS 218576 HAS SOUPS 218551 WITH SCORE 219514.584
AT ITER 2603 NEW BEST:: SOT 3836059 SOS 963518 HAS SOPS 963280 HAS SOUS 218230 HAS SOUPS 218205 WITH SCORE 219168.518
AT ITER 2622 NEW BEST:: SOT 3836001 SOS 963460 HAS SOPS 963222 HAS SOUS 218143 HAS SOUPS 218118 WITH SCORE 219081.46
AT ITER 2625 NEW BEST:: SOT 3836008 SOS 963429 HAS SOPS 963191 HAS SOUS 218120 HAS SOUPS 218095 WITH SCORE 219058.429
AT ITER 2627 NEW BEST:: SOT 3836167 SOS 963584 HAS SOPS 963346 HAS SOUS 217220 HAS SOUPS 217195 WITH SCORE 218158.584
AT ITER 2629 NEW BEST:: SOT 3836066 SOS 963483 HAS SOPS 963245 HAS SOUS 217154 HAS SOUPS 217129 WITH SCORE 218092.483
AT ITER 2632 NEW BEST:: SOT 3836046 SOS 963473 HAS SOPS 963235 HAS SOUS 217134 HAS SOUPS 217109 WITH SCORE 218072.473
AT ITER 2641 NEW BEST:: SOT 3836038 SOS 963465 HAS SOPS 963227 HAS SOUS 217095 HAS SOUPS 217070 WITH SCORE 218033.465
AT ITER 2644 NEW BEST:: SOT 3836023 SOS 963435 HAS SOPS 963197 HAS SOUS 217089 HAS SOUPS 217064 WITH SCORE 218027.435
AT ITER 2645 NEW BEST:: SOT 3836023 SOS 963435 HAS SOPS 963197 HAS SOUS 217057 HAS SOUPS 217032 WITH SCORE 217995.435
AT ITER 2653 NEW BEST:: SOT 3835723 SOS 963135 HAS SOPS 962897 HAS SOUS 216493 HAS SOUPS 216468 WITH SCORE 217431.135
AT ITER 2661 NEW BEST:: SOT 3835701 SOS 963113 HAS SOPS 962875 HAS SOUS 216471 HAS SOUPS 216446 WITH SCORE 217409.113
AT ITER 2665 NEW BEST:: SOT 3835533 SOS 962945 HAS SOPS 962707 HAS SOUS 216256 HAS SOUPS 216231 WITH SCORE 217193.945
AT ITER 2670 NEW BEST:: SOT 3835504 SOS 962916 HAS SOPS 962678 HAS SOUS 216227 HAS SOUPS 216202 WITH SCORE 217164.916
AT ITER 2695 NEW BEST:: SOT 3835448 SOS 962860 HAS SOPS 962622 HAS SOUS 216144 HAS SOUPS 216119 WITH SCORE 217081.86
AT ITER 2701 NEW BEST:: SOT 3835469 SOS 962881 HAS SOPS 962643 HAS SOUS 216015 HAS SOUPS 215990 WITH SCORE 216952.881
AT ITER 2719 NEW BEST:: SOT 3835469 SOS 962881 HAS SOPS 962643 HAS SOUS 215693 HAS SOUPS 215668 WITH SCORE 216630.881
AT ITER 2729 NEW BEST:: SOT 3835347 SOS 962759 HAS SOPS 962521 HAS SOUS 214580 HAS SOUPS 214555 WITH SCORE 215517.759
AT ITER 2732 NEW BEST:: SOT 3835347 SOS 962736 HAS SOPS 962498 HAS SOUS 214580 HAS SOUPS 214555 WITH SCORE 215517.736
AT ITER 2740 NEW BEST:: SOT 3835402 SOS 962775 HAS SOPS 962537 HAS SOUS 214344 HAS SOUPS 214319 WITH SCORE 215281.775
AT ITER 2746 NEW BEST:: SOT 3835351 SOS 962724 HAS SOPS 962486 HAS SOUS 214293 HAS SOUPS 214268 WITH SCORE 215230.724
AT ITER 2755 NEW BEST:: SOT 3832191 SOS 963182 HAS SOPS 962944 HAS SOUS 213526 HAS SOUPS 213501 WITH SCORE 214464.182
AT ITER 2788 NEW BEST:: SOT 3832191 SOS 963182 HAS SOPS 962944 HAS SOUS 213492 HAS SOUPS 213467 WITH SCORE 214430.182
AT ITER 2792 NEW BEST:: SOT 3832191 SOS 963182 HAS SOPS 962944 HAS SOUS 212916 HAS SOUPS 212891 WITH SCORE 213854.182
AT ITER 2822 NEW BEST:: SOT 3832295 SOS 963204 HAS SOPS 962966 HAS SOUS 212890 HAS SOUPS 212865 WITH SCORE 213828.204
AT ITER 2844 NEW BEST:: SOT 3832272 SOS 963032 HAS SOPS 962794 HAS SOUS 212827 HAS SOUPS 212802 WITH SCORE 213765.032
AT ITER 2852 NEW BEST:: SOT 3832534 SOS 963294 HAS SOPS 963056 HAS SOUS 212449 HAS SOUPS 212424 WITH SCORE 213387.294
AT ITER 2858 NEW BEST:: SOT 3832398 SOS 963267 HAS SOPS 963029 HAS SOUS 212444 HAS SOUPS 212419 WITH SCORE 213382.267
AT ITER 2865 NEW BEST:: SOT 3832392 SOS 963261 HAS SOPS 963023 HAS SOUS 212438 HAS SOUPS 212413 WITH SCORE 213376.261
AT ITER 2867 NEW BEST:: SOT 3832388 SOS 962976 HAS SOPS 962738 HAS SOUS 212390 HAS SOUPS 212365 WITH SCORE 213327.976
AT ITER 2876 NEW BEST:: SOT 3832345 SOS 962933 HAS SOPS 962695 HAS SOUS 212313 HAS SOUPS 212288 WITH SCORE 213250.933
AT ITER 2883 NEW BEST:: SOT 3832354 SOS 962854 HAS SOPS 962616 HAS SOUS 212290 HAS SOUPS 212265 WITH SCORE 213227.854
AT ITER 2885 NEW BEST:: SOT 3832252 SOS 962752 HAS SOPS 962514 HAS SOUS 212188 HAS SOUPS 212163 WITH SCORE 213125.752
AT ITER 2904 NEW BEST:: SOT 3832248 SOS 962748 HAS SOPS 962510 HAS SOUS 212153 HAS SOUPS 212128 WITH SCORE 213090.748
AT ITER 2938 NEW BEST:: SOT 3832192 SOS 962692 HAS SOPS 962454 HAS SOUS 211427 HAS SOUPS 211402 WITH SCORE 212364.692
AT ITER 2944 NEW BEST:: SOT 3832192 SOS 962692 HAS SOPS 962454 HAS SOUS 211419 HAS SOUPS 211394 WITH SCORE 212356.692
AT ITER 2969 NEW BEST:: SOT 3832352 SOS 962852 HAS SOPS 962614 HAS SOUS 211183 HAS SOUPS 211158 WITH SCORE 212120.852
AT ITER 2980 NEW BEST:: SOT 3832276 SOS 962829 HAS SOPS 962591 HAS SOUS 211137 HAS SOUPS 211112 WITH SCORE 212074.829
AT ITER 2994 NEW BEST:: SOT 3832270 SOS 962823 HAS SOPS 962585 HAS SOUS 211131 HAS SOUPS 211106 WITH SCORE 212068.823
AT ITER 3000 NEW BEST:: SOT 3831878 SOS 962431 HAS SOPS 962193 HAS SOUS 210739 HAS SOUPS 210714 WITH SCORE 211676.431
AT ITER 3027 NEW BEST:: SOT 3831650 SOS 962203 HAS SOPS 961965 HAS SOUS 210511 HAS SOUPS 210486 WITH SCORE 211448.203
AT ITER 3030 NEW BEST:: SOT 3831650 SOS 962165 HAS SOPS 961927 HAS SOUS 210473 HAS SOUPS 210448 WITH SCORE 211410.165
AT ITER 3033 NEW BEST:: SOT 3831529 SOS 962095 HAS SOPS 961857 HAS SOUS 210403 HAS SOUPS 210378 WITH SCORE 211340.095
AT ITER 3046 NEW BEST:: SOT 3831472 SOS 961965 HAS SOPS 961727 HAS SOUS 209446 HAS SOUPS 209421 WITH SCORE 210382.965
AT ITER 3059 NEW BEST:: SOT 3831384 SOS 961877 HAS SOPS 961639 HAS SOUS 209358 HAS SOUPS 209333 WITH SCORE 210294.877
AT ITER 3069 NEW BEST:: SOT 3831588 SOS 962081 HAS SOPS 961843 HAS SOUS 209204 HAS SOUPS 209179 WITH SCORE 210141.081
AT ITER 3071 NEW BEST:: SOT 3831385 SOS 961878 HAS SOPS 961640 HAS SOUS 209001 HAS SOUPS 208976 WITH SCORE 209937.878
AT ITER 3074 NEW BEST:: SOT 3831268 SOS 961761 HAS SOPS 961523 HAS SOUS 208741 HAS SOUPS 208716 WITH SCORE 209677.761
AT ITER 3076 NEW BEST:: SOT 3831144 SOS 961637 HAS SOPS 961399 HAS SOUS 208617 HAS SOUPS 208592 WITH SCORE 209553.637
AT ITER 3087 NEW BEST:: SOT 3831152 SOS 961645 HAS SOPS 961407 HAS SOUS 208606 HAS SOUPS 208581 WITH SCORE 209542.645
AT ITER 3091 NEW BEST:: SOT 3831148 SOS 961641 HAS SOPS 961403 HAS SOUS 208602 HAS SOUPS 208577 WITH SCORE 209538.641
AT ITER 3097 NEW BEST:: SOT 3831089 SOS 961582 HAS SOPS 961344 HAS SOUS 208484 HAS SOUPS 208459 WITH SCORE 209420.582
AT ITER 3100 NEW BEST:: SOT 3831042 SOS 961739 HAS SOPS 961501 HAS SOUS 208458 HAS SOUPS 208433 WITH SCORE 209394.739
AT ITER 3105 NEW BEST:: SOT 3831028 SOS 961725 HAS SOPS 961487 HAS SOUS 208420 HAS SOUPS 208395 WITH SCORE 209356.725
AT ITER 3106 NEW BEST:: SOT 3831012 SOS 961659 HAS SOPS 961421 HAS SOUS 208354 HAS SOUPS 208329 WITH SCORE 209290.659
AT ITER 3111 NEW BEST:: SOT 3831050 SOS 961697 HAS SOPS 961459 HAS SOUS 208208 HAS SOUPS 208183 WITH SCORE 209144.697
AT ITER 3116 NEW BEST:: SOT 3831050 SOS 961693 HAS SOPS 961455 HAS SOUS 208172 HAS SOUPS 208147 WITH SCORE 209108.693
AT ITER 3120 NEW BEST:: SOT 3831048 SOS 961691 HAS SOPS 961453 HAS SOUS 208166 HAS SOUPS 208141 WITH SCORE 209102.691
AT ITER 3130 NEW BEST:: SOT 3831039 SOS 961682 HAS SOPS 961444 HAS SOUS 207991 HAS SOUPS 207966 WITH SCORE 208927.682
AT ITER 3137 NEW BEST:: SOT 3831029 SOS 961672 HAS SOPS 961434 HAS SOUS 207644 HAS SOUPS 207619 WITH SCORE 208580.672
AT ITER 3149 NEW BEST:: SOT 3831028 SOS 961671 HAS SOPS 961433 HAS SOUS 207643 HAS SOUPS 207618 WITH SCORE 208579.671
AT ITER 3164 NEW BEST:: SOT 3828547 SOS 966496 HAS SOPS 966271 HAS SOUS 205388 HAS SOUPS 205363 WITH SCORE 206329.496
AT ITER 3176 NEW BEST:: SOT 3828949 SOS 966898 HAS SOPS 966673 HAS SOUS 205347 HAS SOUPS 205322 WITH SCORE 206288.898
AT ITER 3180 NEW BEST:: SOT 3828794 SOS 966743 HAS SOPS 966518 HAS SOUS 205238 HAS SOUPS 205213 WITH SCORE 206179.743
AT ITER 3186 NEW BEST:: SOT 3828921 SOS 966870 HAS SOPS 966645 HAS SOUS 204766 HAS SOUPS 204741 WITH SCORE 205707.87
AT ITER 3216 NEW BEST:: SOT 3828915 SOS 966864 HAS SOPS 966639 HAS SOUS 204757 HAS SOUPS 204732 WITH SCORE 205698.864
AT ITER 3236 NEW BEST:: SOT 3829389 SOS 967338 HAS SOPS 967113 HAS SOUS 204637 HAS SOUPS 204612 WITH SCORE 205579.338
AT ITER 3253 NEW BEST:: SOT 3829375 SOS 967324 HAS SOPS 967099 HAS SOUS 204623 HAS SOUPS 204598 WITH SCORE 205565.324
AT ITER 3277 NEW BEST:: SOT 3829264 SOS 967213 HAS SOPS 966988 HAS SOUS 204512 HAS SOUPS 204487 WITH SCORE 205454.213
AT ITER 3278 NEW BEST:: SOT 3829453 SOS 967402 HAS SOPS 967177 HAS SOUS 204143 HAS SOUPS 204118 WITH SCORE 205085.402
AT ITER 3282 NEW BEST:: SOT 3829414 SOS 967363 HAS SOPS 967138 HAS SOUS 204104 HAS SOUPS 204079 WITH SCORE 205046.363
AT ITER 3285 NEW BEST:: SOT 3829393 SOS 967342 HAS SOPS 967117 HAS SOUS 204083 HAS SOUPS 204058 WITH SCORE 205025.342
AT ITER 3295 NEW BEST:: SOT 3829387 SOS 967336 HAS SOPS 967111 HAS SOUS 204077 HAS SOUPS 204052 WITH SCORE 205019.336
AT ITER 3307 NEW BEST:: SOT 3829652 SOS 967601 HAS SOPS 967376 HAS SOUS 203914 HAS SOUPS 203889 WITH SCORE 204856.601
AT ITER 3315 NEW BEST:: SOT 3829669 SOS 967618 HAS SOPS 967393 HAS SOUS 203863 HAS SOUPS 203838 WITH SCORE 204805.618
AT ITER 3324 NEW BEST:: SOT 3829659 SOS 967540 HAS SOPS 967315 HAS SOUS 203813 HAS SOUPS 203788 WITH SCORE 204755.54
AT ITER 3330 NEW BEST:: SOT 3829033 SOS 966914 HAS SOPS 966689 HAS SOUS 203155 HAS SOUPS 203130 WITH SCORE 204096.914
AT ITER 3336 NEW BEST:: SOT 3829034 SOS 966822 HAS SOPS 966597 HAS SOUS 203116 HAS SOUPS 203091 WITH SCORE 204057.822
AT ITER 3340 NEW BEST:: SOT 3829007 SOS 966795 HAS SOPS 966570 HAS SOUS 203089 HAS SOUPS 203064 WITH SCORE 204030.795
AT ITER 3344 NEW BEST:: SOT 3828980 SOS 966768 HAS SOPS 966543 HAS SOUS 203035 HAS SOUPS 203010 WITH SCORE 203976.768
AT ITER 3352 NEW BEST:: SOT 3828933 SOS 966721 HAS SOPS 966496 HAS SOUS 202941 HAS SOUPS 202916 WITH SCORE 203882.721
AT ITER 3353 NEW BEST:: SOT 3828743 SOS 966531 HAS SOPS 966306 HAS SOUS 202751 HAS SOUPS 202726 WITH SCORE 203692.531
AT ITER 3372 NEW BEST:: SOT 3829274 SOS 967062 HAS SOPS 966837 HAS SOUS 202625 HAS SOUPS 202600 WITH SCORE 203567.062
AT ITER 3376 NEW BEST:: SOT 3826661 SOS 969392 HAS SOPS 969167 HAS SOUS 199923 HAS SOUPS 199898 WITH SCORE 200867.392
AT ITER 3384 NEW BEST:: SOT 3826456 SOS 969187 HAS SOPS 968962 HAS SOUS 199516 HAS SOUPS 199491 WITH SCORE 200460.187
AT ITER 3394 NEW BEST:: SOT 3826435 SOS 969166 HAS SOPS 968941 HAS SOUS 199474 HAS SOUPS 199449 WITH SCORE 200418.166
AT ITER 3403 NEW BEST:: SOT 3826952 SOS 969683 HAS SOPS 969458 HAS SOUS 198655 HAS SOUPS 198630 WITH SCORE 199599.683
AT ITER 3421 NEW BEST:: SOT 3826923 SOS 969654 HAS SOPS 969429 HAS SOUS 198620 HAS SOUPS 198595 WITH SCORE 199564.654
AT ITER 3428 NEW BEST:: SOT 3826914 SOS 969645 HAS SOPS 969420 HAS SOUS 198619 HAS SOUPS 198594 WITH SCORE 199563.645
AT ITER 3429 NEW BEST:: SOT 3826877 SOS 969608 HAS SOPS 969383 HAS SOUS 198582 HAS SOUPS 198557 WITH SCORE 199526.608
AT ITER 3471 NEW BEST:: SOT 3826748 SOS 969479 HAS SOPS 969254 HAS SOUS 198505 HAS SOUPS 198480 WITH SCORE 199449.479
AT ITER 3479 NEW BEST:: SOT 3826956 SOS 969687 HAS SOPS 969462 HAS SOUS 198438 HAS SOUPS 198413 WITH SCORE 199382.687
AT ITER 3506 NEW BEST:: SOT 3826878 SOS 969609 HAS SOPS 969384 HAS SOUS 198282 HAS SOUPS 198257 WITH SCORE 199226.609
AT ITER 3509 NEW BEST:: SOT 3826863 SOS 969594 HAS SOPS 969369 HAS SOUS 198267 HAS SOUPS 198242 WITH SCORE 199211.594
AT ITER 3515 NEW BEST:: SOT 3827761 SOS 970492 HAS SOPS 970267 HAS SOUS 198181 HAS SOUPS 198156 WITH SCORE 199126.492
AT ITER 3517 NEW BEST:: SOT 3827754 SOS 970485 HAS SOPS 970260 HAS SOUS 198128 HAS SOUPS 198103 WITH SCORE 199073.485
AT ITER 3524 NEW BEST:: SOT 3828512 SOS 971243 HAS SOPS 971018 HAS SOUS 198015 HAS SOUPS 197990 WITH SCORE 198961.243
AT ITER 3551 NEW BEST:: SOT 3828318 SOS 971049 HAS SOPS 970824 HAS SOUS 197764 HAS SOUPS 197739 WITH SCORE 198710.049
AT ITER 3558 NEW BEST:: SOT 3828169 SOS 970900 HAS SOPS 970675 HAS SOUS 197562 HAS SOUPS 197537 WITH SCORE 198507.9
AT ITER 3564 NEW BEST:: SOT 3828169 SOS 970897 HAS SOPS 970672 HAS SOUS 197556 HAS SOUPS 197531 WITH SCORE 198501.897
AT ITER 3566 NEW BEST:: SOT 3828137 SOS 970865 HAS SOPS 970640 HAS SOUS 197243 HAS SOUPS 197218 WITH SCORE 198188.865
AT ITER 3572 NEW BEST:: SOT 3827062 SOS 969790 HAS SOPS 969565 HAS SOUS 196808 HAS SOUPS 196783 WITH SCORE 197752.79
AT ITER 3574 NEW BEST:: SOT 3827019 SOS 969747 HAS SOPS 969522 HAS SOUS 196643 HAS SOUPS 196618 WITH SCORE 197587.747
AT ITER 3600 NEW BEST:: SOT 3826999 SOS 969727 HAS SOPS 969502 HAS SOUS 196623 HAS SOUPS 196598 WITH SCORE 197567.727
AT ITER 3608 NEW BEST:: SOT 3826947 SOS 969675 HAS SOPS 969450 HAS SOUS 196562 HAS SOUPS 196537 WITH SCORE 197506.675
AT ITER 3618 NEW BEST:: SOT 3826877 SOS 969605 HAS SOPS 969380 HAS SOUS 196512 HAS SOUPS 196487 WITH SCORE 197456.605
AT ITER 3624 NEW BEST:: SOT 3826784 SOS 969512 HAS SOPS 969287 HAS SOUS 196400 HAS SOUPS 196375 WITH SCORE 197344.512
AT ITER 3652 NEW BEST:: SOT 3826617 SOS 969345 HAS SOPS 969120 HAS SOUS 196090 HAS SOUPS 196065 WITH SCORE 197034.345
AT ITER 3663 NEW BEST:: SOT 3826611 SOS 969339 HAS SOPS 969114 HAS SOUS 196084 HAS SOUPS 196059 WITH SCORE 197028.339
AT ITER 3719 NEW BEST:: SOT 3826523 SOS 969251 HAS SOPS 969026 HAS SOUS 195918 HAS SOUPS 195893 WITH SCORE 196862.251
AT ITER 3723 NEW BEST:: SOT 3826606 SOS 968877 HAS SOPS 968652 HAS SOUS 195892 HAS SOUPS 195867 WITH SCORE 196835.877
AT ITER 3729 NEW BEST:: SOT 3826577 SOS 968848 HAS SOPS 968623 HAS SOUS 195631 HAS SOUPS 195606 WITH SCORE 196574.848
AT ITER 3767 NEW BEST:: SOT 3826527 SOS 968798 HAS SOPS 968573 HAS SOUS 195599 HAS SOUPS 195574 WITH SCORE 196542.798
AT ITER 3772 NEW BEST:: SOT 3826647 SOS 968966 HAS SOPS 968741 HAS SOUS 195522 HAS SOUPS 195497 WITH SCORE 196465.966
AT ITER 3788 NEW BEST:: SOT 3826531 SOS 968850 HAS SOPS 968625 HAS SOUS 195406 HAS SOUPS 195381 WITH SCORE 196349.85
AT ITER 3801 NEW BEST:: SOT 3826525 SOS 968598 HAS SOPS 968373 HAS SOUS 195394 HAS SOUPS 195369 WITH SCORE 196337.598
AT ITER 3806 NEW BEST:: SOT 3826302 SOS 968375 HAS SOPS 968150 HAS SOUS 195012 HAS SOUPS 194987 WITH SCORE 195955.375
AT ITER 3818 NEW BEST:: SOT 3826533 SOS 968606 HAS SOPS 968381 HAS SOUS 194781 HAS SOUPS 194756 WITH SCORE 195724.606
AT ITER 3842 NEW BEST:: SOT 3826496 SOS 968569 HAS SOPS 968344 HAS SOUS 194603 HAS SOUPS 194578 WITH SCORE 195546.569
AT ITER 3881 NEW BEST:: SOT 3827148 SOS 969221 HAS SOPS 968996 HAS SOUS 193856 HAS SOUPS 193831 WITH SCORE 194800.221
AT ITER 3888 NEW BEST:: SOT 3827095 SOS 969168 HAS SOPS 968943 HAS SOUS 193750 HAS SOUPS 193725 WITH SCORE 194694.168
AT ITER 3892 NEW BEST:: SOT 3826957 SOS 969030 HAS SOPS 968805 HAS SOUS 193590 HAS SOUPS 193565 WITH SCORE 194534.03
AT ITER 3895 NEW BEST:: SOT 3827164 SOS 969237 HAS SOPS 969012 HAS SOUS 193347 HAS SOUPS 193322 WITH SCORE 194291.237
AT ITER 3913 NEW BEST:: SOT 3827096 SOS 969169 HAS SOPS 968944 HAS SOUS 193279 HAS SOUPS 193254 WITH SCORE 194223.169
AT ITER 3914 NEW BEST:: SOT 3827008 SOS 969081 HAS SOPS 968856 HAS SOUS 192303 HAS SOUPS 192278 WITH SCORE 193247.081
AT ITER 3945 NEW BEST:: SOT 3827006 SOS 968970 HAS SOPS 968745 HAS SOUS 192047 HAS SOUPS 192022 WITH SCORE 192990.97
AT ITER 3949 NEW BEST:: SOT 3826485 SOS 968449 HAS SOPS 968224 HAS SOUS 191526 HAS SOUPS 191501 WITH SCORE 192469.449
AT ITER 3952 NEW BEST:: SOT 3826376 SOS 968340 HAS SOPS 968115 HAS SOUS 191383 HAS SOUPS 191358 WITH SCORE 192326.34
AT ITER 3958 NEW BEST:: SOT 3826364 SOS 968328 HAS SOPS 968103 HAS SOUS 191371 HAS SOUPS 191346 WITH SCORE 192314.328
AT ITER 3963 NEW BEST:: SOT 3826266 SOS 968230 HAS SOPS 968005 HAS SOUS 191243 HAS SOUPS 191218 WITH SCORE 192186.23
AT ITER 3977 NEW BEST:: SOT 3826266 SOS 968230 HAS SOPS 968005 HAS SOUS 191156 HAS SOUPS 191131 WITH SCORE 192099.23
AT ITER 3998 NEW BEST:: SOT 3826221 SOS 968185 HAS SOPS 967960 HAS SOUS 191061 HAS SOUPS 191036 WITH SCORE 192004.185
AT ITER 4000 NEW BEST:: SOT 3826212 SOS 968176 HAS SOPS 967951 HAS SOUS 191052 HAS SOUPS 191027 WITH SCORE 191995.176
AT ITER 4004 NEW BEST:: SOT 3826164 SOS 968128 HAS SOPS 967903 HAS SOUS 190979 HAS SOUPS 190954 WITH SCORE 191922.128
AT ITER 4010 NEW BEST:: SOT 3826182 SOS 968128 HAS SOPS 967903 HAS SOUS 190949 HAS SOUPS 190924 WITH SCORE 191892.128
AT ITER 4043 NEW BEST:: SOT 3826065 SOS 968011 HAS SOPS 967786 HAS SOUS 190832 HAS SOUPS 190807 WITH SCORE 191775.011
AT ITER 4045 NEW BEST:: SOT 3826040 SOS 967986 HAS SOPS 967761 HAS SOUS 190761 HAS SOUPS 190736 WITH SCORE 191703.986
AT ITER 4061 NEW BEST:: SOT 3825983 SOS 967929 HAS SOPS 967704 HAS SOUS 190620 HAS SOUPS 190595 WITH SCORE 191562.929
AT ITER 4079 NEW BEST:: SOT 3825936 SOS 967944 HAS SOPS 967719 HAS SOUS 190591 HAS SOUPS 190566 WITH SCORE 191533.944
AT ITER 4083 NEW BEST:: SOT 3825871 SOS 967879 HAS SOPS 967654 HAS SOUS 189941 HAS SOUPS 189916 WITH SCORE 190883.879
AT ITER 4086 NEW BEST:: SOT 3825763 SOS 967300 HAS SOPS 967075 HAS SOUS 189628 HAS SOUPS 189603 WITH SCORE 190570.3
AT ITER 4100 NEW BEST:: SOT 3825645 SOS 967182 HAS SOPS 966957 HAS SOUS 189450 HAS SOUPS 189425 WITH SCORE 190392.182
AT ITER 4112 NEW BEST:: SOT 3825662 SOS 967199 HAS SOPS 966974 HAS SOUS 189174 HAS SOUPS 189149 WITH SCORE 190116.199
AT ITER 4122 NEW BEST:: SOT 3825530 SOS 967067 HAS SOPS 966842 HAS SOUS 188173 HAS SOUPS 188148 WITH SCORE 189115.067
AT ITER 4123 NEW BEST:: SOT 3825533 SOS 967070 HAS SOPS 966845 HAS SOUS 188000 HAS SOUPS 187975 WITH SCORE 188942.07
AT ITER 4134 NEW BEST:: SOT 3825498 SOS 966965 HAS SOPS 966740 HAS SOUS 187930 HAS SOUPS 187905 WITH SCORE 188871.965
AT ITER 4138 NEW BEST:: SOT 3825386 SOS 966853 HAS SOPS 966628 HAS SOUS 187762 HAS SOUPS 187737 WITH SCORE 188703.853
AT ITER 4151 NEW BEST:: SOT 3825359 SOS 966826 HAS SOPS 966601 HAS SOUS 187687 HAS SOUPS 187662 WITH SCORE 188628.826
AT ITER 4175 NEW BEST:: SOT 3825169 SOS 966636 HAS SOPS 966411 HAS SOUS 187469 HAS SOUPS 187444 WITH SCORE 188410.636
AT ITER 4192 NEW BEST:: SOT 3825169 SOS 966593 HAS SOPS 966368 HAS SOUS 187469 HAS SOUPS 187444 WITH SCORE 188410.593
AT ITER 4202 NEW BEST:: SOT 3825301 SOS 966725 HAS SOPS 966500 HAS SOUS 186998 HAS SOUPS 186973 WITH SCORE 187939.725
AT ITER 4212 NEW BEST:: SOT 3825142 SOS 966566 HAS SOPS 966341 HAS SOUS 186827 HAS SOUPS 186802 WITH SCORE 187768.566
AT ITER 4235 NEW BEST:: SOT 3825235 SOS 966659 HAS SOPS 966434 HAS SOUS 186285 HAS SOUPS 186260 WITH SCORE 187226.659
AT ITER 4236 NEW BEST:: SOT 3825156 SOS 966580 HAS SOPS 966355 HAS SOUS 186194 HAS SOUPS 186169 WITH SCORE 187135.58
AT ITER 4245 NEW BEST:: SOT 3825156 SOS 966580 HAS SOPS 966355 HAS SOUS 186082 HAS SOUPS 186057 WITH SCORE 187023.58
AT ITER 4249 NEW BEST:: SOT 3825152 SOS 966576 HAS SOPS 966351 HAS SOUS 186034 HAS SOUPS 186009 WITH SCORE 186975.576
AT ITER 4257 NEW BEST:: SOT 3825136 SOS 966560 HAS SOPS 966335 HAS SOUS 186018 HAS SOUPS 185993 WITH SCORE 186959.56
AT ITER 4258 NEW BEST:: SOT 3825092 SOS 966608 HAS SOPS 966383 HAS SOUS 185949 HAS SOUPS 185924 WITH SCORE 186890.608
AT ITER 4264 NEW BEST:: SOT 3825092 SOS 966608 HAS SOPS 966383 HAS SOUS 185887 HAS SOUPS 185862 WITH SCORE 186828.608
AT ITER 4268 NEW BEST:: SOT 3825264 SOS 966780 HAS SOPS 966555 HAS SOUS 185589 HAS SOUPS 185564 WITH SCORE 186530.78
AT ITER 4277 NEW BEST:: SOT 3825198 SOS 966714 HAS SOPS 966489 HAS SOUS 185523 HAS SOUPS 185498 WITH SCORE 186464.714
AT ITER 4288 NEW BEST:: SOT 3825191 SOS 966707 HAS SOPS 966482 HAS SOUS 185516 HAS SOUPS 185491 WITH SCORE 186457.707
AT ITER 4302 NEW BEST:: SOT 3825174 SOS 966690 HAS SOPS 966465 HAS SOUS 185499 HAS SOUPS 185474 WITH SCORE 186440.69
AT ITER 4311 NEW BEST:: SOT 3825172 SOS 966688 HAS SOPS 966463 HAS SOUS 185497 HAS SOUPS 185472 WITH SCORE 186438.688
AT ITER 4336 NEW BEST:: SOT 3825140 SOS 966656 HAS SOPS 966431 HAS SOUS 185465 HAS SOUPS 185440 WITH SCORE 186406.656
AT ITER 4340 NEW BEST:: SOT 3824957 SOS 966473 HAS SOPS 966248 HAS SOUS 185070 HAS SOUPS 185045 WITH SCORE 186011.473
AT ITER 4350 NEW BEST:: SOT 3824837 SOS 966353 HAS SOPS 966128 HAS SOUS 184794 HAS SOUPS 184769 WITH SCORE 185735.353
AT ITER 4351 NEW BEST:: SOT 3824676 SOS 966031 HAS SOPS 965806 HAS SOUS 184472 HAS SOUPS 184447 WITH SCORE 185413.031
AT ITER 4360 NEW BEST:: SOT 3824676 SOS 966025 HAS SOPS 965800 HAS SOUS 184466 HAS SOUPS 184441 WITH SCORE 185407.025
AT ITER 4370 NEW BEST:: SOT 3824522 SOS 965871 HAS SOPS 965646 HAS SOUS 184355 HAS SOUPS 184330 WITH SCORE 185295.871
AT ITER 4407 NEW BEST:: SOT 3824786 SOS 966135 HAS SOPS 965910 HAS SOUS 184351 HAS SOUPS 184326 WITH SCORE 185292.135
AT ITER 4409 NEW BEST:: SOT 3824762 SOS 966111 HAS SOPS 965886 HAS SOUS 184327 HAS SOUPS 184302 WITH SCORE 185268.111
AT ITER 4419 NEW BEST:: SOT 3824809 SOS 966133 HAS SOPS 965908 HAS SOUS 184238 HAS SOUPS 184213 WITH SCORE 185179.133
AT ITER 4428 NEW BEST:: SOT 3824967 SOS 966291 HAS SOPS 966066 HAS SOUS 184033 HAS SOUPS 184008 WITH SCORE 184974.291
AT ITER 4429 NEW BEST:: SOT 3824725 SOS 966049 HAS SOPS 965824 HAS SOUS 183783 HAS SOUPS 183758 WITH SCORE 184724.049
AT ITER 4434 NEW BEST:: SOT 3824943 SOS 966267 HAS SOPS 966042 HAS SOUS 182225 HAS SOUPS 182200 WITH SCORE 183166.267
AT ITER 4437 NEW BEST:: SOT 3824935 SOS 966259 HAS SOPS 966034 HAS SOUS 182209 HAS SOUPS 182184 WITH SCORE 183150.259
AT ITER 4438 NEW BEST:: SOT 3824721 SOS 966114 HAS SOPS 965889 HAS SOUS 181943 HAS SOUPS 181918 WITH SCORE 182884.114
AT ITER 4446 NEW BEST:: SOT 3824721 SOS 966114 HAS SOPS 965889 HAS SOUS 181942 HAS SOUPS 181917 WITH SCORE 182883.114
AT ITER 4459 NEW BEST:: SOT 3824633 SOS 966026 HAS SOPS 965801 HAS SOUS 181842 HAS SOUPS 181817 WITH SCORE 182783.026
AT ITER 4466 NEW BEST:: SOT 3824332 SOS 965725 HAS SOPS 965500 HAS SOUS 181164 HAS SOUPS 181139 WITH SCORE 182104.725
AT ITER 4468 NEW BEST:: SOT 3824243 SOS 965636 HAS SOPS 965411 HAS SOUS 181042 HAS SOUPS 181017 WITH SCORE 181982.636
AT ITER 4477 NEW BEST:: SOT 3824217 SOS 965610 HAS SOPS 965385 HAS SOUS 180857 HAS SOUPS 180832 WITH SCORE 181797.61
AT ITER 4498 NEW BEST:: SOT 3824213 SOS 965606 HAS SOPS 965381 HAS SOUS 180849 HAS SOUPS 180824 WITH SCORE 181789.606
AT ITER 4526 NEW BEST:: SOT 3824239 SOS 965612 HAS SOPS 965387 HAS SOUS 180835 HAS SOUPS 180810 WITH SCORE 181775.612
AT ITER 4546 NEW BEST:: SOT 3824391 SOS 965764 HAS SOPS 965539 HAS SOUS 180589 HAS SOUPS 180564 WITH SCORE 181529.764
AT ITER 4562 NEW BEST:: SOT 3824247 SOS 965620 HAS SOPS 965395 HAS SOUS 180445 HAS SOUPS 180420 WITH SCORE 181385.62
AT ITER 4571 NEW BEST:: SOT 3824231 SOS 965604 HAS SOPS 965379 HAS SOUS 180413 HAS SOUPS 180388 WITH SCORE 181353.604
AT ITER 4573 NEW BEST:: SOT 3824168 SOS 965600 HAS SOPS 965375 HAS SOUS 180409 HAS SOUPS 180384 WITH SCORE 181349.6
AT ITER 4585 NEW BEST:: SOT 3824026 SOS 965458 HAS SOPS 965233 HAS SOUS 180211 HAS SOUPS 180186 WITH SCORE 181151.458
AT ITER 4595 NEW BEST:: SOT 3823949 SOS 965381 HAS SOPS 965156 HAS SOUS 180127 HAS SOUPS 180102 WITH SCORE 181067.381
AT ITER 4612 NEW BEST:: SOT 3823835 SOS 965267 HAS SOPS 965042 HAS SOUS 179863 HAS SOUPS 179838 WITH SCORE 180803.267
AT ITER 4621 NEW BEST:: SOT 3823833 SOS 965265 HAS SOPS 965040 HAS SOUS 179845 HAS SOUPS 179820 WITH SCORE 180785.265
AT ITER 4645 NEW BEST:: SOT 3823859 SOS 965291 HAS SOPS 965066 HAS SOUS 179787 HAS SOUPS 179762 WITH SCORE 180727.291
AT ITER 4652 NEW BEST:: SOT 3824107 SOS 965539 HAS SOPS 965314 HAS SOUS 179507 HAS SOUPS 179482 WITH SCORE 180447.539
AT ITER 4665 NEW BEST:: SOT 3824117 SOS 965549 HAS SOPS 965324 HAS SOUS 179375 HAS SOUPS 179350 WITH SCORE 180315.549
AT ITER 4674 NEW BEST:: SOT 3823960 SOS 965392 HAS SOPS 965167 HAS SOUS 179218 HAS SOUPS 179193 WITH SCORE 180158.392
AT ITER 4721 NEW BEST:: SOT 3823958 SOS 965308 HAS SOPS 965083 HAS SOUS 179214 HAS SOUPS 179189 WITH SCORE 180154.308
AT ITER 4745 NEW BEST:: SOT 3823958 SOS 965308 HAS SOPS 965083 HAS SOUS 179166 HAS SOUPS 179141 WITH SCORE 180106.308
AT ITER 4784 NEW BEST:: SOT 3824027 SOS 965377 HAS SOPS 965152 HAS SOUS 178947 HAS SOUPS 178922 WITH SCORE 179887.377
AT ITER 4797 NEW BEST:: SOT 3824012 SOS 965362 HAS SOPS 965137 HAS SOUS 178932 HAS SOUPS 178907 WITH SCORE 179872.362
AT ITER 4847 NEW BEST:: SOT 3823965 SOS 965315 HAS SOPS 965090 HAS SOUS 178885 HAS SOUPS 178860 WITH SCORE 179825.315
AT ITER 4891 NEW BEST:: SOT 3823939 SOS 965289 HAS SOPS 965064 HAS SOUS 178855 HAS SOUPS 178830 WITH SCORE 179795.289
AT ITER 4910 NEW BEST:: SOT 3823646 SOS 964996 HAS SOPS 964771 HAS SOUS 178562 HAS SOUPS 178537 WITH SCORE 179501.996
AT ITER 4913 NEW BEST:: SOT 3823651 SOS 965001 HAS SOPS 964776 HAS SOUS 178547 HAS SOUPS 178522 WITH SCORE 179487.001
AT ITER 4953 NEW BEST:: SOT 3823590 SOS 964940 HAS SOPS 964715 HAS SOUS 178480 HAS SOUPS 178455 WITH SCORE 179419.94
AT ITER 4958 NEW BEST:: SOT 3823549 SOS 964899 HAS SOPS 964674 HAS SOUS 177139 HAS SOUPS 177114 WITH SCORE 178078.899
AT ITER 4962 NEW BEST:: SOT 3823435 SOS 965029 HAS SOPS 964804 HAS SOUS 176911 HAS SOUPS 176886 WITH SCORE 177851.029
AT ITER 4966 NEW BEST:: SOT 3823413 SOS 965007 HAS SOPS 964782 HAS SOUS 176867 HAS SOUPS 176842 WITH SCORE 177807.007
AT ITER 4968 NEW BEST:: SOT 3823269 SOS 964480 HAS SOPS 964255 HAS SOUS 176503 HAS SOUPS 176478 WITH SCORE 177442.48
AT ITER 4979 NEW BEST:: SOT 3823230 SOS 964441 HAS SOPS 964216 HAS SOUS 176459 HAS SOUPS 176434 WITH SCORE 177398.441
AT ITER 4983 NEW BEST:: SOT 3823491 SOS 964702 HAS SOPS 964477 HAS SOUS 175977 HAS SOUPS 175952 WITH SCORE 176916.702
AT ITER 4988 NEW BEST:: SOT 3823448 SOS 964659 HAS SOPS 964434 HAS SOUS 175923 HAS SOUPS 175898 WITH SCORE 176862.659
AT ITER 5016 NEW BEST:: SOT 3823406 SOS 964617 HAS SOPS 964392 HAS SOUS 175881 HAS SOUPS 175856 WITH SCORE 176820.617
AT ITER 5029 NEW BEST:: SOT 3823330 SOS 964541 HAS SOPS 964316 HAS SOUS 175729 HAS SOUPS 175704 WITH SCORE 176668.541
AT ITER 5031 NEW BEST:: SOT 3823361 SOS 964538 HAS SOPS 964313 HAS SOUS 175695 HAS SOUPS 175670 WITH SCORE 176634.538
AT ITER 5032 NEW BEST:: SOT 3823337 SOS 964514 HAS SOPS 964289 HAS SOUS 175678 HAS SOUPS 175653 WITH SCORE 176617.514
AT ITER 5044 NEW BEST:: SOT 3823301 SOS 964478 HAS SOPS 964253 HAS SOUS 175624 HAS SOUPS 175599 WITH SCORE 176563.478
AT ITER 5047 NEW BEST:: SOT 3823296 SOS 964473 HAS SOPS 964248 HAS SOUS 175546 HAS SOUPS 175521 WITH SCORE 176485.473
AT ITER 5062 NEW BEST:: SOT 3823248 SOS 964425 HAS SOPS 964200 HAS SOUS 175466 HAS SOUPS 175441 WITH SCORE 176405.425
AT ITER 5066 NEW BEST:: SOT 3823234 SOS 964337 HAS SOPS 964112 HAS SOUS 175447 HAS SOUPS 175422 WITH SCORE 176386.337
AT ITER 5072 NEW BEST:: SOT 3823204 SOS 964307 HAS SOPS 964082 HAS SOUS 175417 HAS SOUPS 175392 WITH SCORE 176356.307
AT ITER 5083 NEW BEST:: SOT 3823209 SOS 964293 HAS SOPS 964068 HAS SOUS 175403 HAS SOUPS 175378 WITH SCORE 176342.293
AT ITER 5094 NEW BEST:: SOT 3823187 SOS 964246 HAS SOPS 964021 HAS SOUS 175384 HAS SOUPS 175359 WITH SCORE 176323.246
AT ITER 5120 NEW BEST:: SOT 3823036 SOS 964095 HAS SOPS 963870 HAS SOUS 174817 HAS SOUPS 174792 WITH SCORE 175756.095
AT ITER 5125 NEW BEST:: SOT 3823000 SOS 964059 HAS SOPS 963834 HAS SOUS 174781 HAS SOUPS 174756 WITH SCORE 175720.059
AT ITER 5169 NEW BEST:: SOT 3822987 SOS 964226 HAS SOPS 964001 HAS SOUS 174755 HAS SOUPS 174730 WITH SCORE 175694.226
AT ITER 5172 NEW BEST:: SOT 3822901 SOS 964140 HAS SOPS 963915 HAS SOUS 174583 HAS SOUPS 174558 WITH SCORE 175522.14
AT ITER 5176 NEW BEST:: SOT 3822878 SOS 964057 HAS SOPS 963832 HAS SOUS 174503 HAS SOUPS 174478 WITH SCORE 175442.057
AT ITER 5190 NEW BEST:: SOT 3823419 SOS 964598 HAS SOPS 964373 HAS SOUS 173032 HAS SOUPS 173007 WITH SCORE 173971.598
AT ITER 5220 NEW BEST:: SOT 3823412 SOS 964584 HAS SOPS 964359 HAS SOUS 173018 HAS SOUPS 172993 WITH SCORE 173957.584
AT ITER 5235 NEW BEST:: SOT 3823380 SOS 964552 HAS SOPS 964327 HAS SOUS 172980 HAS SOUPS 172955 WITH SCORE 173919.552
AT ITER 5236 NEW BEST:: SOT 3823286 SOS 964458 HAS SOPS 964233 HAS SOUS 172844 HAS SOUPS 172819 WITH SCORE 173783.458
AT ITER 5253 NEW BEST:: SOT 3823242 SOS 964414 HAS SOPS 964189 HAS SOUS 172800 HAS SOUPS 172775 WITH SCORE 173739.414
AT ITER 5281 NEW BEST:: SOT 3823226 SOS 964398 HAS SOPS 964173 HAS SOUS 172768 HAS SOUPS 172743 WITH SCORE 173707.398
AT ITER 5299 NEW BEST:: SOT 3823093 SOS 964257 HAS SOPS 964032 HAS SOUS 172719 HAS SOUPS 172694 WITH SCORE 173658.257
AT ITER 5323 NEW BEST:: SOT 3823067 SOS 964231 HAS SOPS 964006 HAS SOUS 172437 HAS SOUPS 172412 WITH SCORE 173376.231
AT ITER 5350 NEW BEST:: SOT 3822901 SOS 964101 HAS SOPS 963876 HAS SOUS 172271 HAS SOUPS 172246 WITH SCORE 173210.101
AT ITER 5353 NEW BEST:: SOT 3822892 SOS 964092 HAS SOPS 963867 HAS SOUS 172262 HAS SOUPS 172237 WITH SCORE 173201.092
AT ITER 5394 NEW BEST:: SOT 3822786 SOS 963832 HAS SOPS 963607 HAS SOUS 172040 HAS SOUPS 172015 WITH SCORE 172978.832
AT ITER 5422 NEW BEST:: SOT 3822728 SOS 963632 HAS SOPS 963407 HAS SOUS 171934 HAS SOUPS 171909 WITH SCORE 172872.632
AT ITER 5425 NEW BEST:: SOT 3822682 SOS 963545 HAS SOPS 963320 HAS SOUS 171842 HAS SOUPS 171817 WITH SCORE 172780.545
AT ITER 5426 NEW BEST:: SOT 3822888 SOS 963751 HAS SOPS 963526 HAS SOUS 171089 HAS SOUPS 171064 WITH SCORE 172027.751
AT ITER 5434 NEW BEST:: SOT 3822749 SOS 963612 HAS SOPS 963387 HAS SOUS 169412 HAS SOUPS 169387 WITH SCORE 170350.612
AT ITER 5459 NEW BEST:: SOT 3822657 SOS 963520 HAS SOPS 963295 HAS SOUS 168998 HAS SOUPS 168973 WITH SCORE 169936.52
AT ITER 5466 NEW BEST:: SOT 3822590 SOS 710863 HAS SOPS 710638 HAS SOUS 168663 HAS SOUPS 168638 WITH SCORE 169348.863
AT ITER 5479 NEW BEST:: SOT 3822619 SOS 710892 HAS SOPS 710667 HAS SOUS 168648 HAS SOUPS 168623 WITH SCORE 169333.892
AT ITER 5530 NEW BEST:: SOT 3822569 SOS 710842 HAS SOPS 710617 HAS SOUS 168595 HAS SOUPS 168570 WITH SCORE 169280.842
AT ITER 5548 NEW BEST:: SOT 3822551 SOS 710770 HAS SOPS 710545 HAS SOUS 168595 HAS SOUPS 168570 WITH SCORE 169280.77
AT ITER 5570 NEW BEST:: SOT 3822688 SOS 710907 HAS SOPS 710682 HAS SOUS 168169 HAS SOUPS 168144 WITH SCORE 168854.907
AT ITER 5573 NEW BEST:: SOT 3822647 SOS 710907 HAS SOPS 710682 HAS SOUS 168087 HAS SOUPS 168062 WITH SCORE 168772.907
AT ITER 5588 NEW BEST:: SOT 3822598 SOS 710858 HAS SOPS 710633 HAS SOUS 167945 HAS SOUPS 167920 WITH SCORE 168630.858
AT ITER 5596 NEW BEST:: SOT 3822519 SOS 710779 HAS SOPS 710554 HAS SOUS 167840 HAS SOUPS 167815 WITH SCORE 168525.779
AT ITER 5603 NEW BEST:: SOT 3822351 SOS 710611 HAS SOPS 710386 HAS SOUS 167478 HAS SOUPS 167453 WITH SCORE 168163.611
AT ITER 5617 NEW BEST:: SOT 3822340 SOS 710600 HAS SOPS 710375 HAS SOUS 167467 HAS SOUPS 167442 WITH SCORE 168152.6
AT ITER 5629 NEW BEST:: SOT 3822372 SOS 710632 HAS SOPS 710407 HAS SOUS 167321 HAS SOUPS 167296 WITH SCORE 168006.632
AT ITER 5653 NEW BEST:: SOT 3822270 SOS 710530 HAS SOPS 710305 HAS SOUS 167116 HAS SOUPS 167091 WITH SCORE 167801.53
AT ITER 5684 NEW BEST:: SOT 3822382 SOS 710642 HAS SOPS 710417 HAS SOUS 166833 HAS SOUPS 166808 WITH SCORE 167518.642
AT ITER 5713 NEW BEST:: SOT 3822350 SOS 710610 HAS SOPS 710385 HAS SOUS 166801 HAS SOUPS 166776 WITH SCORE 167486.61
AT ITER 5716 NEW BEST:: SOT 3822245 SOS 710505 HAS SOPS 710280 HAS SOUS 166696 HAS SOUPS 166671 WITH SCORE 167381.505
AT ITER 5717 NEW BEST:: SOT 3822239 SOS 710499 HAS SOPS 710274 HAS SOUS 166669 HAS SOUPS 166644 WITH SCORE 167354.499
AT ITER 5729 NEW BEST:: SOT 3822239 SOS 705765 HAS SOPS 705540 HAS SOUS 166632 HAS SOUPS 166607 WITH SCORE 167312.765
AT ITER 5761 NEW BEST:: SOT 3822130 SOS 705771 HAS SOPS 705546 HAS SOUS 166431 HAS SOUPS 166406 WITH SCORE 167111.771
AT ITER 5763 NEW BEST:: SOT 3821782 SOS 705423 HAS SOPS 705198 HAS SOUS 165871 HAS SOUPS 165846 WITH SCORE 166551.423
AT ITER 5766 NEW BEST:: SOT 3821751 SOS 705392 HAS SOPS 705167 HAS SOUS 165834 HAS SOUPS 165809 WITH SCORE 166514.392
AT ITER 5769 NEW BEST:: SOT 3821593 SOS 705338 HAS SOPS 705113 HAS SOUS 165518 HAS SOUPS 165493 WITH SCORE 166198.338
AT ITER 5773 NEW BEST:: SOT 3821523 SOS 705268 HAS SOPS 705043 HAS SOUS 165420 HAS SOUPS 165395 WITH SCORE 166100.268
AT ITER 5787 NEW BEST:: SOT 3821467 SOS 705212 HAS SOPS 704987 HAS SOUS 165342 HAS SOUPS 165317 WITH SCORE 166022.212
AT ITER 5796 NEW BEST:: SOT 3821253 SOS 704998 HAS SOPS 704773 HAS SOUS 165018 HAS SOUPS 164993 WITH SCORE 165697.998
AT ITER 5874 NEW BEST:: SOT 3821180 SOS 704925 HAS SOPS 704700 HAS SOUS 164843 HAS SOUPS 164818 WITH SCORE 165522.925
AT ITER 5916 NEW BEST:: SOT 3821179 SOS 704950 HAS SOPS 704725 HAS SOUS 164723 HAS SOUPS 164698 WITH SCORE 165402.95
AT ITER 5945 NEW BEST:: SOT 3821179 SOS 704950 HAS SOPS 704725 HAS SOUS 164694 HAS SOUPS 164669 WITH SCORE 165373.95
AT ITER 5963 NEW BEST:: SOT 3821188 SOS 704959 HAS SOPS 704734 HAS SOUS 164688 HAS SOUPS 164663 WITH SCORE 165367.959
AT ITER 5986 NEW BEST:: SOT 3821184 SOS 704955 HAS SOPS 704730 HAS SOUS 164635 HAS SOUPS 164610 WITH SCORE 165314.955
AT ITER 6008 NEW BEST:: SOT 3821335 SOS 705106 HAS SOPS 704881 HAS SOUS 164415 HAS SOUPS 164390 WITH SCORE 165095.106
AT ITER 6024 NEW BEST:: SOT 3821250 SOS 705021 HAS SOPS 704796 HAS SOUS 164402 HAS SOUPS 164377 WITH SCORE 165082.021
AT ITER 6025 NEW BEST:: SOT 3821189 SOS 704960 HAS SOPS 704735 HAS SOUS 164341 HAS SOUPS 164316 WITH SCORE 165020.96
AT ITER 6051 NEW BEST:: SOT 3821175 SOS 704946 HAS SOPS 704721 HAS SOUS 164327 HAS SOUPS 164302 WITH SCORE 165006.946
AT ITER 6052 NEW BEST:: SOT 3821118 SOS 704889 HAS SOPS 704664 HAS SOUS 164311 HAS SOUPS 164286 WITH SCORE 164990.889
AT ITER 6062 NEW BEST:: SOT 3821082 SOS 704853 HAS SOPS 704628 HAS SOUS 163997 HAS SOUPS 163972 WITH SCORE 164676.853
AT ITER 6073 NEW BEST:: SOT 3821074 SOS 704845 HAS SOPS 704620 HAS SOUS 163739 HAS SOUPS 163714 WITH SCORE 164418.845
AT ITER 6114 NEW BEST:: SOT 3820984 SOS 704755 HAS SOPS 704530 HAS SOUS 163649 HAS SOUPS 163624 WITH SCORE 164328.755
AT ITER 6121 NEW BEST:: SOT 3820852 SOS 704623 HAS SOPS 704398 HAS SOUS 163446 HAS SOUPS 163421 WITH SCORE 164125.623
AT ITER 6126 NEW BEST:: SOT 3820740 SOS 706577 HAS SOPS 706352 HAS SOUS 163312 HAS SOUPS 163287 WITH SCORE 163993.577
AT ITER 6160 NEW BEST:: SOT 3820663 SOS 706500 HAS SOPS 706275 HAS SOUS 163219 HAS SOUPS 163194 WITH SCORE 163900.5
AT ITER 6163 NEW BEST:: SOT 3820632 SOS 706469 HAS SOPS 706244 HAS SOUS 162909 HAS SOUPS 162884 WITH SCORE 163590.469
AT ITER 6173 NEW BEST:: SOT 3820536 SOS 706373 HAS SOPS 706148 HAS SOUS 162813 HAS SOUPS 162788 WITH SCORE 163494.373
AT ITER 6181 NEW BEST:: SOT 3820506 SOS 706343 HAS SOPS 706118 HAS SOUS 162798 HAS SOUPS 162773 WITH SCORE 163479.343
AT ITER 6194 NEW BEST:: SOT 3820474 SOS 706311 HAS SOPS 706086 HAS SOUS 162751 HAS SOUPS 162726 WITH SCORE 163432.311
AT ITER 6215 NEW BEST:: SOT 3820474 SOS 706311 HAS SOPS 706086 HAS SOUS 162655 HAS SOUPS 162630 WITH SCORE 163336.311
AT ITER 6225 NEW BEST:: SOT 3820474 SOS 706311 HAS SOPS 706086 HAS SOUS 162616 HAS SOUPS 162591 WITH SCORE 163297.311
AT ITER 6234 NEW BEST:: SOT 3820173 SOS 706082 HAS SOPS 705857 HAS SOUS 162128 HAS SOUPS 162103 WITH SCORE 162809.082
AT ITER 6292 NEW BEST:: SOT 3820166 SOS 706075 HAS SOPS 705850 HAS SOUS 161800 HAS SOUPS 161775 WITH SCORE 162481.075
AT ITER 6360 NEW BEST:: SOT 3820116 SOS 706025 HAS SOPS 705800 HAS SOUS 161300 HAS SOUPS 161275 WITH SCORE 161981.025
AT ITER 6371 NEW BEST:: SOT 3820105 SOS 706014 HAS SOPS 705789 HAS SOUS 161278 HAS SOUPS 161253 WITH SCORE 161959.014
AT ITER 6379 NEW BEST:: SOT 3819997 SOS 705906 HAS SOPS 705681 HAS SOUS 161095 HAS SOUPS 161070 WITH SCORE 161775.906
AT ITER 6392 NEW BEST:: SOT 3820044 SOS 705953 HAS SOPS 705728 HAS SOUS 160460 HAS SOUPS 160435 WITH SCORE 161140.953
AT ITER 6395 NEW BEST:: SOT 3819996 SOS 706129 HAS SOPS 705904 HAS SOUS 160425 HAS SOUPS 160400 WITH SCORE 161106.129
AT ITER 6396 NEW BEST:: SOT 3819964 SOS 706097 HAS SOPS 705872 HAS SOUS 160361 HAS SOUPS 160336 WITH SCORE 161042.097
AT ITER 6422 NEW BEST:: SOT 3819931 SOS 706064 HAS SOPS 705839 HAS SOUS 160328 HAS SOUPS 160303 WITH SCORE 161009.064
AT ITER 6424 NEW BEST:: SOT 3819888 SOS 706021 HAS SOPS 705796 HAS SOUS 160273 HAS SOUPS 160248 WITH SCORE 160954.021
AT ITER 6425 NEW BEST:: SOT 3819879 SOS 706012 HAS SOPS 705787 HAS SOUS 160267 HAS SOUPS 160242 WITH SCORE 160948.012
AT ITER 6439 NEW BEST:: SOT 3819825 SOS 705958 HAS SOPS 705733 HAS SOUS 160131 HAS SOUPS 160106 WITH SCORE 160811.958
AT ITER 6449 NEW BEST:: SOT 3819825 SOS 705956 HAS SOPS 705731 HAS SOUS 160131 HAS SOUPS 160106 WITH SCORE 160811.956
AT ITER 6478 NEW BEST:: SOT 3819739 SOS 705870 HAS SOPS 705645 HAS SOUS 160009 HAS SOUPS 159984 WITH SCORE 160689.87
AT ITER 6494 NEW BEST:: SOT 3819729 SOS 705860 HAS SOPS 705635 HAS SOUS 159999 HAS SOUPS 159974 WITH SCORE 160679.86
AT ITER 6495 NEW BEST:: SOT 3819719 SOS 705856 HAS SOPS 705631 HAS SOUS 159995 HAS SOUPS 159970 WITH SCORE 160675.856
AT ITER 6521 NEW BEST:: SOT 3819683 SOS 705820 HAS SOPS 705595 HAS SOUS 159896 HAS SOUPS 159871 WITH SCORE 160576.82
AT ITER 6526 NEW BEST:: SOT 3819695 SOS 705832 HAS SOPS 705607 HAS SOUS 159588 HAS SOUPS 159563 WITH SCORE 160268.832
AT ITER 6548 NEW BEST:: SOT 3819693 SOS 705831 HAS SOPS 705606 HAS SOUS 159587 HAS SOUPS 159562 WITH SCORE 160267.831
AT ITER 6549 NEW BEST:: SOT 3819846 SOS 705984 HAS SOPS 705759 HAS SOUS 159500 HAS SOUPS 159475 WITH SCORE 160180.984
AT ITER 6559 NEW BEST:: SOT 3819846 SOS 705983 HAS SOPS 705758 HAS SOUS 159500 HAS SOUPS 159475 WITH SCORE 160180.983
AT ITER 6560 NEW BEST:: SOT 3819767 SOS 705904 HAS SOPS 705679 HAS SOUS 159432 HAS SOUPS 159407 WITH SCORE 160112.904
AT ITER 6563 NEW BEST:: SOT 3819722 SOS 705859 HAS SOPS 705634 HAS SOUS 159143 HAS SOUPS 159118 WITH SCORE 159823.859
AT ITER 6581 NEW BEST:: SOT 3819657 SOS 705794 HAS SOPS 705569 HAS SOUS 159039 HAS SOUPS 159014 WITH SCORE 159719.794
AT ITER 6596 NEW BEST:: SOT 3819610 SOS 705747 HAS SOPS 705522 HAS SOUS 158954 HAS SOUPS 158929 WITH SCORE 159634.747
AT ITER 6668 NEW BEST:: SOT 3819573 SOS 705710 HAS SOPS 705485 HAS SOUS 158621 HAS SOUPS 158596 WITH SCORE 159301.71
AT ITER 6679 NEW BEST:: SOT 3819564 SOS 707496 HAS SOPS 707271 HAS SOUS 158616 HAS SOUPS 158591 WITH SCORE 159298.496
AT ITER 6689 NEW BEST:: SOT 3819385 SOS 707317 HAS SOPS 707092 HAS SOUS 158317 HAS SOUPS 158292 WITH SCORE 158999.317
AT ITER 6725 NEW BEST:: SOT 3819385 SOS 709075 HAS SOPS 708850 HAS SOUS 158215 HAS SOUPS 158190 WITH SCORE 158899.075
AT ITER 6766 NEW BEST:: SOT 3819336 SOS 709026 HAS SOPS 708801 HAS SOUS 158127 HAS SOUPS 158102 WITH SCORE 158811.026
AT ITER 6779 NEW BEST:: SOT 3819324 SOS 709014 HAS SOPS 708789 HAS SOUS 158103 HAS SOUPS 158078 WITH SCORE 158787.014
AT ITER 6781 NEW BEST:: SOT 3819243 SOS 708933 HAS SOPS 708708 HAS SOUS 158022 HAS SOUPS 157997 WITH SCORE 158705.933
AT ITER 6782 NEW BEST:: SOT 3819261 SOS 708951 HAS SOPS 708726 HAS SOUS 157812 HAS SOUPS 157787 WITH SCORE 158495.951
AT ITER 6785 NEW BEST:: SOT 3819376 SOS 709066 HAS SOPS 708841 HAS SOUS 157034 HAS SOUPS 157009 WITH SCORE 157718.066
AT ITER 6813 NEW BEST:: SOT 3819430 SOS 709120 HAS SOPS 708895 HAS SOUS 157008 HAS SOUPS 156983 WITH SCORE 157692.12
AT ITER 6821 NEW BEST:: SOT 3819385 SOS 709096 HAS SOPS 708871 HAS SOUS 156942 HAS SOUPS 156917 WITH SCORE 157626.096
AT ITER 6829 NEW BEST:: SOT 3819365 SOS 709076 HAS SOPS 708851 HAS SOUS 156917 HAS SOUPS 156892 WITH SCORE 157601.076
AT ITER 6885 NEW BEST:: SOT 3819292 SOS 709003 HAS SOPS 708778 HAS SOUS 156844 HAS SOUPS 156819 WITH SCORE 157528.003
AT ITER 6893 NEW BEST:: SOT 3819228 SOS 708939 HAS SOPS 708714 HAS SOUS 156776 HAS SOUPS 156751 WITH SCORE 157459.939
AT ITER 6902 NEW BEST:: SOT 3819153 SOS 708864 HAS SOPS 708639 HAS SOUS 156774 HAS SOUPS 156749 WITH SCORE 157457.864
AT ITER 6923 NEW BEST:: SOT 3819115 SOS 708826 HAS SOPS 708601 HAS SOUS 156736 HAS SOUPS 156711 WITH SCORE 157419.826
AT ITER 7006 NEW BEST:: SOT 3819108 SOS 708547 HAS SOPS 708322 HAS SOUS 156722 HAS SOUPS 156697 WITH SCORE 157405.547
AT ITER 7019 NEW BEST:: SOT 3818962 SOS 708401 HAS SOPS 708176 HAS SOUS 156531 HAS SOUPS 156506 WITH SCORE 157214.401
AT ITER 7021 NEW BEST:: SOT 3818934 SOS 708373 HAS SOPS 708148 HAS SOUS 156431 HAS SOUPS 156406 WITH SCORE 157114.373
AT ITER 7023 NEW BEST:: SOT 3818302 SOS 707741 HAS SOPS 707516 HAS SOUS 155848 HAS SOUPS 155823 WITH SCORE 156530.741
AT ITER 7028 NEW BEST:: SOT 3818183 SOS 707622 HAS SOPS 707397 HAS SOUS 155839 HAS SOUPS 155814 WITH SCORE 156521.622
AT ITER 7038 NEW BEST:: SOT 3818183 SOS 707622 HAS SOPS 707397 HAS SOUS 155769 HAS SOUPS 155744 WITH SCORE 156451.622
AT ITER 7074 NEW BEST:: SOT 3818175 SOS 707614 HAS SOPS 707389 HAS SOUS 155753 HAS SOUPS 155728 WITH SCORE 156435.614
AT ITER 7083 NEW BEST:: SOT 3818110 SOS 707549 HAS SOPS 707324 HAS SOUS 155640 HAS SOUPS 155615 WITH SCORE 156322.549
AT ITER 7118 NEW BEST:: SOT 3818100 SOS 707539 HAS SOPS 707314 HAS SOUS 155630 HAS SOUPS 155605 WITH SCORE 156312.539
AT ITER 7148 NEW BEST:: SOT 3818062 SOS 707501 HAS SOPS 707276 HAS SOUS 155402 HAS SOUPS 155377 WITH SCORE 156084.501
AT ITER 7171 NEW BEST:: SOT 3818070 SOS 707509 HAS SOPS 707284 HAS SOUS 155368 HAS SOUPS 155343 WITH SCORE 156050.509
AT ITER 7193 NEW BEST:: SOT 3818065 SOS 707504 HAS SOPS 707279 HAS SOUS 155318 HAS SOUPS 155293 WITH SCORE 156000.504
AT ITER 7198 NEW BEST:: SOT 3818056 SOS 707495 HAS SOPS 707270 HAS SOUS 155309 HAS SOUPS 155284 WITH SCORE 155991.495
AT ITER 7218 NEW BEST:: SOT 3818020 SOS 707459 HAS SOPS 707234 HAS SOUS 155219 HAS SOUPS 155194 WITH SCORE 155901.459
AT ITER 7255 NEW BEST:: SOT 3818009 SOS 707448 HAS SOPS 707223 HAS SOUS 155208 HAS SOUPS 155183 WITH SCORE 155890.448
AT ITER 7260 NEW BEST:: SOT 3817968 SOS 707407 HAS SOPS 707182 HAS SOUS 155108 HAS SOUPS 155083 WITH SCORE 155790.407
AT ITER 7264 NEW BEST:: SOT 3817896 SOS 707335 HAS SOPS 707110 HAS SOUS 155014 HAS SOUPS 154989 WITH SCORE 155696.335
AT ITER 7284 NEW BEST:: SOT 3817846 SOS 707285 HAS SOPS 707060 HAS SOUS 154914 HAS SOUPS 154889 WITH SCORE 155596.285
AT ITER 7299 NEW BEST:: SOT 3817826 SOS 707240 HAS SOPS 707015 HAS SOUS 154629 HAS SOUPS 154604 WITH SCORE 155311.24
AT ITER 7302 NEW BEST:: SOT 3817970 SOS 707384 HAS SOPS 707159 HAS SOUS 154229 HAS SOUPS 154204 WITH SCORE 154911.384
AT ITER 7303 NEW BEST:: SOT 3817885 SOS 707299 HAS SOPS 707074 HAS SOUS 154041 HAS SOUPS 154016 WITH SCORE 154723.299
AT ITER 7323 NEW BEST:: SOT 3817560 SOS 706974 HAS SOPS 706749 HAS SOUS 153363 HAS SOUPS 153338 WITH SCORE 154044.974
AT ITER 7327 NEW BEST:: SOT 3817577 SOS 706991 HAS SOPS 706766 HAS SOUS 153361 HAS SOUPS 153336 WITH SCORE 154042.991
AT ITER 7348 NEW BEST:: SOT 3817577 SOS 706991 HAS SOPS 706766 HAS SOUS 153347 HAS SOUPS 153322 WITH SCORE 154028.991
AT ITER 7405 NEW BEST:: SOT 3817798 SOS 707212 HAS SOPS 706987 HAS SOUS 153334 HAS SOUPS 153309 WITH SCORE 154016.212
AT ITER 7416 NEW BEST:: SOT 3817780 SOS 707194 HAS SOPS 706969 HAS SOUS 153201 HAS SOUPS 153176 WITH SCORE 153883.194
AT ITER 7434 NEW BEST:: SOT 3818360 SOS 707774 HAS SOPS 707549 HAS SOUS 152874 HAS SOUPS 152849 WITH SCORE 153556.774
AT ITER 7443 NEW BEST:: SOT 3818047 SOS 707461 HAS SOPS 707236 HAS SOUS 152561 HAS SOUPS 152536 WITH SCORE 153243.461
AT ITER 7450 NEW BEST:: SOT 3818015 SOS 707461 HAS SOPS 707236 HAS SOUS 152497 HAS SOUPS 152472 WITH SCORE 153179.461
AT ITER 7464 NEW BEST:: SOT 3817984 SOS 707430 HAS SOPS 707205 HAS SOUS 152385 HAS SOUPS 152360 WITH SCORE 153067.43
AT ITER 7496 NEW BEST:: SOT 3817946 SOS 707392 HAS SOPS 707167 HAS SOUS 152335 HAS SOUPS 152310 WITH SCORE 153017.392
AT ITER 7503 NEW BEST:: SOT 3817927 SOS 707373 HAS SOPS 707148 HAS SOUS 152145 HAS SOUPS 152120 WITH SCORE 152827.373
AT ITER 7517 NEW BEST:: SOT 3817819 SOS 707265 HAS SOPS 707040 HAS SOUS 151961 HAS SOUPS 151936 WITH SCORE 152643.265
AT ITER 7542 NEW BEST:: SOT 3817791 SOS 707183 HAS SOPS 706958 HAS SOUS 151944 HAS SOUPS 151919 WITH SCORE 152626.183
AT ITER 7543 NEW BEST:: SOT 3817761 SOS 707153 HAS SOPS 706928 HAS SOUS 151845 HAS SOUPS 151820 WITH SCORE 152527.153
AT ITER 7571 NEW BEST:: SOT 3817743 SOS 707135 HAS SOPS 706910 HAS SOUS 151809 HAS SOUPS 151784 WITH SCORE 152491.135
AT ITER 7586 NEW BEST:: SOT 3817607 SOS 706999 HAS SOPS 706774 HAS SOUS 151669 HAS SOUPS 151644 WITH SCORE 152350.999
AT ITER 7626 NEW BEST:: SOT 3817531 SOS 706923 HAS SOPS 706698 HAS SOUS 151517 HAS SOUPS 151492 WITH SCORE 152198.923
AT ITER 7640 NEW BEST:: SOT 3817515 SOS 706907 HAS SOPS 706682 HAS SOUS 151485 HAS SOUPS 151460 WITH SCORE 152166.907
AT ITER 7645 NEW BEST:: SOT 3817489 SOS 706881 HAS SOPS 706656 HAS SOUS 151459 HAS SOUPS 151434 WITH SCORE 152140.881
AT ITER 7649 NEW BEST:: SOT 3817468 SOS 706860 HAS SOPS 706635 HAS SOUS 151425 HAS SOUPS 151400 WITH SCORE 152106.86
AT ITER 7651 NEW BEST:: SOT 3817615 SOS 707007 HAS SOPS 706782 HAS SOUS 151131 HAS SOUPS 151106 WITH SCORE 151813.007
AT ITER 7655 NEW BEST:: SOT 3817651 SOS 707043 HAS SOPS 706818 HAS SOUS 151106 HAS SOUPS 151081 WITH SCORE 151788.043
AT ITER 7713 NEW BEST:: SOT 3817645 SOS 707037 HAS SOPS 706812 HAS SOUS 151077 HAS SOUPS 151052 WITH SCORE 151759.037
AT ITER 7727 NEW BEST:: SOT 3817597 SOS 706989 HAS SOPS 706764 HAS SOUS 150981 HAS SOUPS 150956 WITH SCORE 151662.989
AT ITER 7728 NEW BEST:: SOT 3817568 SOS 707037 HAS SOPS 706812 HAS SOUS 150934 HAS SOUPS 150909 WITH SCORE 151616.037
AT ITER 7750 NEW BEST:: SOT 3817553 SOS 707007 HAS SOPS 706782 HAS SOUS 150919 HAS SOUPS 150894 WITH SCORE 151601.007
AT ITER 7761 NEW BEST:: SOT 3817523 SOS 706977 HAS SOPS 706752 HAS SOUS 150879 HAS SOUPS 150854 WITH SCORE 151560.977
AT ITER 7821 NEW BEST:: SOT 3817515 SOS 706969 HAS SOPS 706744 HAS SOUS 150867 HAS SOUPS 150842 WITH SCORE 151548.969
AT ITER 7837 NEW BEST:: SOT 3817447 SOS 706901 HAS SOPS 706676 HAS SOUS 150759 HAS SOUPS 150734 WITH SCORE 151440.901
AT ITER 7876 NEW BEST:: SOT 3817013 SOS 706467 HAS SOPS 706242 HAS SOUS 150709 HAS SOUPS 150684 WITH SCORE 151390.467
AT ITER 7886 NEW BEST:: SOT 3816887 SOS 706341 HAS SOPS 706116 HAS SOUS 150514 HAS SOUPS 150489 WITH SCORE 151195.341
AT ITER 7938 NEW BEST:: SOT 3816804 SOS 706258 HAS SOPS 706033 HAS SOUS 150323 HAS SOUPS 150298 WITH SCORE 151004.258
AT ITER 7967 NEW BEST:: SOT 3816784 SOS 706248 HAS SOPS 706023 HAS SOUS 150303 HAS SOUPS 150278 WITH SCORE 150984.248
AT ITER 7968 NEW BEST:: SOT 3816714 SOS 706178 HAS SOPS 705953 HAS SOUS 150233 HAS SOUPS 150208 WITH SCORE 150914.178
AT ITER 8004 NEW BEST:: SOT 3816710 SOS 706174 HAS SOPS 705949 HAS SOUS 150229 HAS SOUPS 150204 WITH SCORE 150910.174
AT ITER 8006 NEW BEST:: SOT 3816693 SOS 706157 HAS SOPS 705932 HAS SOUS 150178 HAS SOUPS 150153 WITH SCORE 150859.157
AT ITER 8007 NEW BEST:: SOT 3816682 SOS 706146 HAS SOPS 705921 HAS SOUS 150175 HAS SOUPS 150150 WITH SCORE 150856.146
AT ITER 8029 NEW BEST:: SOT 3816658 SOS 706122 HAS SOPS 705897 HAS SOUS 149931 HAS SOUPS 149906 WITH SCORE 150612.122
AT ITER 8059 NEW BEST:: SOT 3816688 SOS 706152 HAS SOPS 705927 HAS SOUS 149425 HAS SOUPS 149400 WITH SCORE 150106.152
AT ITER 8143 NEW BEST:: SOT 3816859 SOS 706323 HAS SOPS 706098 HAS SOUS 149141 HAS SOUPS 149116 WITH SCORE 149822.323
AT ITER 8161 NEW BEST:: SOT 3816845 SOS 706423 HAS SOPS 706198 HAS SOUS 149066 HAS SOUPS 149041 WITH SCORE 149747.423
AT ITER 8170 NEW BEST:: SOT 3816845 SOS 706423 HAS SOPS 706198 HAS SOUS 149002 HAS SOUPS 148977 WITH SCORE 149683.423
AT ITER 8190 NEW BEST:: SOT 3816777 SOS 706355 HAS SOPS 706130 HAS SOUS 148916 HAS SOUPS 148891 WITH SCORE 149597.355
AT ITER 8242 NEW BEST:: SOT 3816769 SOS 706347 HAS SOPS 706122 HAS SOUS 148907 HAS SOUPS 148882 WITH SCORE 149588.347
AT ITER 8265 NEW BEST:: SOT 3816751 SOS 706329 HAS SOPS 706104 HAS SOUS 148883 HAS SOUPS 148858 WITH SCORE 149564.329
AT ITER 8267 NEW BEST:: SOT 3816457 SOS 706035 HAS SOPS 705810 HAS SOUS 148321 HAS SOUPS 148296 WITH SCORE 149002.035
AT ITER 8295 NEW BEST:: SOT 3816451 SOS 706035 HAS SOPS 705810 HAS SOUS 148309 HAS SOUPS 148284 WITH SCORE 148990.035
AT ITER 8313 NEW BEST:: SOT 3816404 SOS 706269 HAS SOPS 706044 HAS SOUS 148243 HAS SOUPS 148218 WITH SCORE 148924.269
AT ITER 8333 NEW BEST:: SOT 3816350 SOS 706215 HAS SOPS 705990 HAS SOUS 148157 HAS SOUPS 148132 WITH SCORE 148838.215
AT ITER 8335 NEW BEST:: SOT 3816520 SOS 706385 HAS SOPS 706160 HAS SOUS 148155 HAS SOUPS 148130 WITH SCORE 148836.385
AT ITER 8352 NEW BEST:: SOT 3816469 SOS 706375 HAS SOPS 706150 HAS SOUS 148135 HAS SOUPS 148110 WITH SCORE 148816.375
AT ITER 8360 NEW BEST:: SOT 3816434 SOS 706340 HAS SOPS 706115 HAS SOUS 148068 HAS SOUPS 148043 WITH SCORE 148749.34
AT ITER 8391 NEW BEST:: SOT 3816441 SOS 706347 HAS SOPS 706122 HAS SOUS 148055 HAS SOUPS 148030 WITH SCORE 148736.347
AT ITER 8397 NEW BEST:: SOT 3816441 SOS 706347 HAS SOPS 706122 HAS SOUS 147943 HAS SOUPS 147918 WITH SCORE 148624.347
AT ITER 8406 NEW BEST:: SOT 3816494 SOS 706400 HAS SOPS 706175 HAS SOUS 147913 HAS SOUPS 147888 WITH SCORE 148594.4
AT ITER 8409 NEW BEST:: SOT 3816476 SOS 706170 HAS SOPS 705945 HAS SOUS 147821 HAS SOUPS 147796 WITH SCORE 148502.17
AT ITER 8425 NEW BEST:: SOT 3816704 SOS 706398 HAS SOPS 706173 HAS SOUS 147608 HAS SOUPS 147583 WITH SCORE 148289.398
AT ITER 8431 NEW BEST:: SOT 3816560 SOS 706254 HAS SOPS 706029 HAS SOUS 147381 HAS SOUPS 147356 WITH SCORE 148062.254
AT ITER 8442 NEW BEST:: SOT 3816440 SOS 706134 HAS SOPS 705909 HAS SOUS 147127 HAS SOUPS 147102 WITH SCORE 147808.134
AT ITER 8467 NEW BEST:: SOT 3816402 SOS 706096 HAS SOPS 705871 HAS SOUS 147082 HAS SOUPS 147057 WITH SCORE 147763.096
AT ITER 8479 NEW BEST:: SOT 3816276 SOS 705970 HAS SOPS 705745 HAS SOUS 146866 HAS SOUPS 146841 WITH SCORE 147546.97
AT ITER 8491 NEW BEST:: SOT 3816178 SOS 705806 HAS SOPS 705581 HAS SOUS 146670 HAS SOUPS 146645 WITH SCORE 147350.806
AT ITER 8494 NEW BEST:: SOT 3815533 SOS 705161 HAS SOPS 704936 HAS SOUS 146192 HAS SOUPS 146167 WITH SCORE 146872.161
AT ITER 8497 NEW BEST:: SOT 3815531 SOS 705159 HAS SOPS 704934 HAS SOUS 146160 HAS SOUPS 146135 WITH SCORE 146840.159
AT ITER 8502 NEW BEST:: SOT 3815359 SOS 704987 HAS SOPS 704762 HAS SOUS 145911 HAS SOUPS 145886 WITH SCORE 146590.987
AT ITER 8535 NEW BEST:: SOT 3815355 SOS 704979 HAS SOPS 704754 HAS SOUS 145903 HAS SOUPS 145878 WITH SCORE 146582.979
AT ITER 8563 NEW BEST:: SOT 3814851 SOS 704475 HAS SOPS 704250 HAS SOUS 145399 HAS SOUPS 145374 WITH SCORE 146078.475
AT ITER 8567 NEW BEST:: SOT 3814851 SOS 704475 HAS SOPS 704250 HAS SOUS 145393 HAS SOUPS 145368 WITH SCORE 146072.475
AT ITER 8590 NEW BEST:: SOT 3814851 SOS 704475 HAS SOPS 704250 HAS SOUS 145383 HAS SOUPS 145358 WITH SCORE 146062.475
AT ITER 8595 NEW BEST:: SOT 3814858 SOS 704482 HAS SOPS 704257 HAS SOUS 145083 HAS SOUPS 145058 WITH SCORE 145762.482
AT ITER 8629 NEW BEST:: SOT 3814763 SOS 704387 HAS SOPS 704162 HAS SOUS 145083 HAS SOUPS 145058 WITH SCORE 145762.387
AT ITER 8656 NEW BEST:: SOT 3814328 SOS 704380 HAS SOPS 704155 HAS SOUS 144680 HAS SOUPS 144655 WITH SCORE 145359.38
AT ITER 8687 NEW BEST:: SOT 3814275 SOS 704327 HAS SOPS 704102 HAS SOUS 144553 HAS SOUPS 144528 WITH SCORE 145232.327
AT ITER 8688 NEW BEST:: SOT 3814273 SOS 704325 HAS SOPS 704100 HAS SOUS 144551 HAS SOUPS 144526 WITH SCORE 145230.325
AT ITER 8693 NEW BEST:: SOT 3814274 SOS 704326 HAS SOPS 704101 HAS SOUS 144536 HAS SOUPS 144511 WITH SCORE 145215.326
AT ITER 8723 NEW BEST:: SOT 3814253 SOS 704305 HAS SOPS 704080 HAS SOUS 144486 HAS SOUPS 144461 WITH SCORE 145165.305
AT ITER 8735 NEW BEST:: SOT 3814151 SOS 704203 HAS SOPS 703978 HAS SOUS 144274 HAS SOUPS 144249 WITH SCORE 144953.203
AT ITER 8772 NEW BEST:: SOT 3814125 SOS 704177 HAS SOPS 703952 HAS SOUS 144248 HAS SOUPS 144223 WITH SCORE 144927.177
AT ITER 8927 NEW BEST:: SOT 3814118 SOS 704170 HAS SOPS 703945 HAS SOUS 144234 HAS SOUPS 144209 WITH SCORE 144913.17
AT ITER 8935 NEW BEST:: SOT 3814010 SOS 704062 HAS SOPS 703837 HAS SOUS 144183 HAS SOUPS 144158 WITH SCORE 144862.062
AT ITER 8940 NEW BEST:: SOT 3814002 SOS 704050 HAS SOPS 703825 HAS SOUS 144171 HAS SOUPS 144146 WITH SCORE 144850.05
AT ITER 8952 NEW BEST:: SOT 3813987 SOS 704035 HAS SOPS 703810 HAS SOUS 144156 HAS SOUPS 144131 WITH SCORE 144835.035
AT ITER 9020 NEW BEST:: SOT 3813981 SOS 704029 HAS SOPS 703804 HAS SOUS 144150 HAS SOUPS 144125 WITH SCORE 144829.029
AT ITER 9028 NEW BEST:: SOT 3814005 SOS 703923 HAS SOPS 703698 HAS SOUS 144138 HAS SOUPS 144113 WITH SCORE 144816.923
AT ITER 9037 NEW BEST:: SOT 3813870 SOS 703788 HAS SOPS 703563 HAS SOUS 143878 HAS SOUPS 143853 WITH SCORE 144556.788
AT ITER 9080 NEW BEST:: SOT 3813846 SOS 703764 HAS SOPS 703539 HAS SOUS 143854 HAS SOUPS 143829 WITH SCORE 144532.764
AT ITER 9082 NEW BEST:: SOT 3813828 SOS 703746 HAS SOPS 703521 HAS SOUS 143823 HAS SOUPS 143798 WITH SCORE 144501.746
AT ITER 9094 NEW BEST:: SOT 3813808 SOS 703726 HAS SOPS 703501 HAS SOUS 143803 HAS SOUPS 143778 WITH SCORE 144481.726
AT ITER 9099 NEW BEST:: SOT 3813712 SOS 703466 HAS SOPS 703241 HAS SOUS 142980 HAS SOUPS 142955 WITH SCORE 143658.466
AT ITER 9139 NEW BEST:: SOT 3813694 SOS 703448 HAS SOPS 703223 HAS SOUS 142929 HAS SOUPS 142904 WITH SCORE 143607.448
AT ITER 9140 NEW BEST:: SOT 3813630 SOS 703384 HAS SOPS 703159 HAS SOUS 142807 HAS SOUPS 142782 WITH SCORE 143485.384
AT ITER 9184 NEW BEST:: SOT 3813616 SOS 703370 HAS SOPS 703145 HAS SOUS 142745 HAS SOUPS 142720 WITH SCORE 143423.37
AT ITER 9208 NEW BEST:: SOT 3813537 SOS 703291 HAS SOPS 703066 HAS SOUS 142666 HAS SOUPS 142641 WITH SCORE 143344.291
AT ITER 9210 NEW BEST:: SOT 3813493 SOS 703247 HAS SOPS 703022 HAS SOUS 142559 HAS SOUPS 142534 WITH SCORE 143237.247
AT ITER 9223 NEW BEST:: SOT 3813471 SOS 703225 HAS SOPS 703000 HAS SOUS 142520 HAS SOUPS 142495 WITH SCORE 143198.225
AT ITER 9252 NEW BEST:: SOT 3813472 SOS 703226 HAS SOPS 703001 HAS SOUS 142513 HAS SOUPS 142488 WITH SCORE 143191.226
AT ITER 9260 NEW BEST:: SOT 3813452 SOS 703206 HAS SOPS 702981 HAS SOUS 142493 HAS SOUPS 142468 WITH SCORE 143171.206
AT ITER 9277 NEW BEST:: SOT 3813550 SOS 703304 HAS SOPS 703079 HAS SOUS 142304 HAS SOUPS 142279 WITH SCORE 142982.304
AT ITER 9283 NEW BEST:: SOT 3813120 SOS 702874 HAS SOPS 702649 HAS SOUS 142215 HAS SOUPS 142190 WITH SCORE 142892.874
AT ITER 9292 NEW BEST:: SOT 3813063 SOS 702817 HAS SOPS 702592 HAS SOUS 142156 HAS SOUPS 142131 WITH SCORE 142833.817
AT ITER 9293 NEW BEST:: SOT 3813057 SOS 702811 HAS SOPS 702586 HAS SOUS 142144 HAS SOUPS 142119 WITH SCORE 142821.811
AT ITER 9300 NEW BEST:: SOT 3813013 SOS 702824 HAS SOPS 702599 HAS SOUS 142119 HAS SOUPS 142094 WITH SCORE 142796.824
AT ITER 9305 NEW BEST:: SOT 3812972 SOS 702783 HAS SOPS 702558 HAS SOUS 142038 HAS SOUPS 142013 WITH SCORE 142715.783
AT ITER 9326 NEW BEST:: SOT 3812960 SOS 702777 HAS SOPS 702552 HAS SOUS 142026 HAS SOUPS 142001 WITH SCORE 142703.777
AT ITER 9328 NEW BEST:: SOT 3812950 SOS 702767 HAS SOPS 702542 HAS SOUS 142006 HAS SOUPS 141981 WITH SCORE 142683.767
AT ITER 9335 NEW BEST:: SOT 3812916 SOS 702699 HAS SOPS 702474 HAS SOUS 141938 HAS SOUPS 141913 WITH SCORE 142615.699
AT ITER 9348 NEW BEST:: SOT 3812916 SOS 702699 HAS SOPS 702474 HAS SOUS 141937 HAS SOUPS 141912 WITH SCORE 142614.699
AT ITER 9363 NEW BEST:: SOT 3813020 SOS 702803 HAS SOPS 702578 HAS SOUS 141866 HAS SOUPS 141841 WITH SCORE 142543.803
AT ITER 9477 NEW BEST:: SOT 3812934 SOS 702717 HAS SOPS 702492 HAS SOUS 141708 HAS SOUPS 141683 WITH SCORE 142385.717
AT ITER 9487 NEW BEST:: SOT 3812880 SOS 702663 HAS SOPS 702438 HAS SOUS 141613 HAS SOUPS 141588 WITH SCORE 142290.663
AT ITER 9510 NEW BEST:: SOT 3812868 SOS 702651 HAS SOPS 702426 HAS SOUS 141601 HAS SOUPS 141576 WITH SCORE 142278.651
AT ITER 9580 NEW BEST:: SOT 3812851 SOS 702599 HAS SOPS 702374 HAS SOUS 141546 HAS SOUPS 141521 WITH SCORE 142223.599
AT ITER 9584 NEW BEST:: SOT 3812824 SOS 702572 HAS SOPS 702347 HAS SOUS 141519 HAS SOUPS 141494 WITH SCORE 142196.572
AT ITER 9589 NEW BEST:: SOT 3812702 SOS 702450 HAS SOPS 702225 HAS SOUS 141264 HAS SOUPS 141239 WITH SCORE 141941.45
AT ITER 9595 NEW BEST:: SOT 3812634 SOS 702382 HAS SOPS 702157 HAS SOUS 141210 HAS SOUPS 141185 WITH SCORE 141887.382
AT ITER 9610 NEW BEST:: SOT 3812743 SOS 702491 HAS SOPS 702266 HAS SOUS 141127 HAS SOUPS 141102 WITH SCORE 141804.491
AT ITER 9638 NEW BEST:: SOT 3812715 SOS 702463 HAS SOPS 702238 HAS SOUS 141099 HAS SOUPS 141074 WITH SCORE 141776.463
AT ITER 9678 NEW BEST:: SOT 3812677 SOS 702425 HAS SOPS 702200 HAS SOUS 140999 HAS SOUPS 140974 WITH SCORE 141676.425
AT ITER 9683 NEW BEST:: SOT 3812671 SOS 702419 HAS SOPS 702194 HAS SOUS 140956 HAS SOUPS 140931 WITH SCORE 141633.419
AT ITER 9707 NEW BEST:: SOT 3812646 SOS 702124 HAS SOPS 701899 HAS SOUS 140887 HAS SOUPS 140862 WITH SCORE 141564.124
AT ITER 9728 NEW BEST:: SOT 3812646 SOS 702124 HAS SOPS 701899 HAS SOUS 140884 HAS SOUPS 140859 WITH SCORE 141561.124
AT ITER 9733 NEW BEST:: SOT 3812665 SOS 702143 HAS SOPS 701918 HAS SOUS 140779 HAS SOUPS 140754 WITH SCORE 141456.143
AT ITER 9754 NEW BEST:: SOT 3812639 SOS 702117 HAS SOPS 701892 HAS SOUS 140740 HAS SOUPS 140715 WITH SCORE 141417.117
AT ITER 9762 NEW BEST:: SOT 3812637 SOS 702115 HAS SOPS 701890 HAS SOUS 140729 HAS SOUPS 140704 WITH SCORE 141406.115
AT ITER 9774 NEW BEST:: SOT 3812554 SOS 702111 HAS SOPS 701886 HAS SOUS 140707 HAS SOUPS 140682 WITH SCORE 141384.111
AT ITER 9776 NEW BEST:: SOT 3812522 SOS 702079 HAS SOPS 701854 HAS SOUS 140687 HAS SOUPS 140662 WITH SCORE 141364.079
AT ITER 9779 NEW BEST:: SOT 3812494 SOS 702051 HAS SOPS 701826 HAS SOUS 140675 HAS SOUPS 140650 WITH SCORE 141352.051
AT ITER 9821 NEW BEST:: SOT 3812468 SOS 702025 HAS SOPS 701800 HAS SOUS 140611 HAS SOUPS 140586 WITH SCORE 141288.025
AT ITER 9826 NEW BEST:: SOT 3812358 SOS 702014 HAS SOPS 701789 HAS SOUS 140501 HAS SOUPS 140476 WITH SCORE 141178.014
AT ITER 9878 NEW BEST:: SOT 3812352 SOS 702050 HAS SOPS 701825 HAS SOUS 140474 HAS SOUPS 140449 WITH SCORE 141151.05
AT ITER 9883 NEW BEST:: SOT 3812313 SOS 702011 HAS SOPS 701786 HAS SOUS 140356 HAS SOUPS 140331 WITH SCORE 141033.011
AT ITER 9905 NEW BEST:: SOT 3812307 SOS 701985 HAS SOPS 701760 HAS SOUS 140305 HAS SOUPS 140280 WITH SCORE 140981.985
AT ITER 9931 NEW BEST:: SOT 3812437 SOS 702053 HAS SOPS 701828 HAS SOUS 140273 HAS SOUPS 140248 WITH SCORE 140950.053
AT ITER 9954 NEW BEST:: SOT 3812352 SOS 701968 HAS SOPS 701743 HAS SOUS 140067 HAS SOUPS 140042 WITH SCORE 140743.968
AT ITER 9964 NEW BEST:: SOT 3812267 SOS 701883 HAS SOPS 701658 HAS SOUS 139914 HAS SOUPS 139889 WITH SCORE 140590.883
AT ITER 9971 NEW BEST:: SOT 3812267 SOS 701883 HAS SOPS 701658 HAS SOUS 139913 HAS SOUPS 139888 WITH SCORE 140589.883
AT ITER 9987 NEW BEST:: SOT 3812444 SOS 702060 HAS SOPS 701835 HAS SOUS 139889 HAS SOUPS 139864 WITH SCORE 140566.06
AT ITER 9999 NEW BEST:: SOT 3812436 SOS 702052 HAS SOPS 701827 HAS SOUS 139873 HAS SOUPS 139848 WITH SCORE 140550.052
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15994120 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16118724 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is PolyORBNT-PT-S10J40, 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 r291-tall-167873943300776"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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