About the Execution of Smart for AirplaneLD-PT-0200
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
2665.779 | 272494.00 | 272030.00 | 0.00 | 2.7549E+0008 1.2280E+0009 1 608 | normal |
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.r003-oct2-167813590700280.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AirplaneLD-PT-0200, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590700280
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.1M
-rw-r--r-- 1 mcc users 110K Feb 26 11:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 411K Feb 26 11:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 79K Feb 26 11:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 470K Feb 26 11:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 50K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 143K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 47K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 213K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 224K Feb 26 11:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 807K Feb 26 11:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 87K Feb 26 11:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 507K Feb 26 11:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 31K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 872K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678472794198
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=AirplaneLD-PT-0200
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (PT), instance 0200
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: 1419 places, 1608 transitions, 6128 arcs.
AT ITER 0 NEW BEST:: SOT 1768494 SOS 904867 HAS SOPS 765360 HAS SOUS 630067 HAS SOUPS 490563 WITH SCORE 491467.867
AT ITER 3 NEW BEST:: SOT 1767909 SOS 904643 HAS SOPS 765136 HAS SOUS 629976 HAS SOUPS 490472 WITH SCORE 491376.643
AT ITER 5 NEW BEST:: SOT 1767754 SOS 904643 HAS SOPS 765136 HAS SOUS 629821 HAS SOUPS 490317 WITH SCORE 491221.643
AT ITER 13 NEW BEST:: SOT 1767175 SOS 904401 HAS SOPS 764894 HAS SOUS 629322 HAS SOUPS 489818 WITH SCORE 490722.401
AT ITER 14 NEW BEST:: SOT 1767730 SOS 906251 HAS SOPS 764636 HAS SOUS 630632 HAS SOUPS 489633 WITH SCORE 490539.251
AT ITER 20 NEW BEST:: SOT 1767403 SOS 906251 HAS SOPS 764758 HAS SOUS 630305 HAS SOUPS 489428 WITH SCORE 490334.251
AT ITER 22 NEW BEST:: SOT 1767403 SOS 906941 HAS SOPS 764758 HAS SOUS 630399 HAS SOUPS 489130 WITH SCORE 490036.941
AT ITER 25 NEW BEST:: SOT 1767215 SOS 906565 HAS SOPS 764570 HAS SOUS 630023 HAS SOUPS 488942 WITH SCORE 489848.565
AT ITER 26 NEW BEST:: SOT 1767557 SOS 907279 HAS SOPS 764575 HAS SOUS 630368 HAS SOUPS 488917 WITH SCORE 489824.279
AT ITER 27 NEW BEST:: SOT 1767373 SOS 907279 HAS SOPS 764575 HAS SOUS 630184 HAS SOUPS 488733 WITH SCORE 489640.279
AT ITER 28 NEW BEST:: SOT 1767234 SOS 907001 HAS SOPS 764436 HAS SOUS 629906 HAS SOUPS 488594 WITH SCORE 489501.001
AT ITER 41 NEW BEST:: SOT 1767105 SOS 907001 HAS SOPS 764436 HAS SOUS 629777 HAS SOUPS 488465 WITH SCORE 489372.001
AT ITER 44 NEW BEST:: SOT 1766922 SOS 906635 HAS SOPS 764253 HAS SOUS 629411 HAS SOUPS 488282 WITH SCORE 489188.635
AT ITER 45 NEW BEST:: SOT 1766922 SOS 907164 HAS SOPS 764253 HAS SOUS 629518 HAS SOUPS 488071 WITH SCORE 488978.164
AT ITER 53 NEW BEST:: SOT 1766625 SOS 906364 HAS SOPS 763956 HAS SOUS 628924 HAS SOUPS 487980 WITH SCORE 488886.364
AT ITER 55 NEW BEST:: SOT 1766330 SOS 906364 HAS SOPS 763956 HAS SOUS 628629 HAS SOUPS 487685 WITH SCORE 488591.364
AT ITER 61 NEW BEST:: SOT 1766330 SOS 907062 HAS SOPS 763956 HAS SOUS 628749 HAS SOUPS 487396 WITH SCORE 488303.062
AT ITER 62 NEW BEST:: SOT 1766330 SOS 907598 HAS SOPS 763956 HAS SOUS 628839 HAS SOUPS 487173 WITH SCORE 488080.598
AT ITER 63 NEW BEST:: SOT 1766126 SOS 907598 HAS SOPS 763956 HAS SOUS 628635 HAS SOUPS 486969 WITH SCORE 487876.598
AT ITER 77 NEW BEST:: SOT 1766267 SOS 908696 HAS SOPS 764097 HAS SOUS 628940 HAS SOUPS 486842 WITH SCORE 487750.696
AT ITER 82 NEW BEST:: SOT 1766015 SOS 908192 HAS SOPS 763845 HAS SOUS 628436 HAS SOUPS 486590 WITH SCORE 487498.192
AT ITER 87 NEW BEST:: SOT 1765953 SOS 908192 HAS SOPS 763845 HAS SOUS 628374 HAS SOUPS 486528 WITH SCORE 487436.192
AT ITER 93 NEW BEST:: SOT 1765798 SOS 908192 HAS SOPS 763845 HAS SOUS 628219 HAS SOUPS 486373 WITH SCORE 487281.192
AT ITER 102 NEW BEST:: SOT 1765891 SOS 909194 HAS SOPS 763938 HAS SOUS 628467 HAS SOUPS 486150 WITH SCORE 487059.194
AT ITER 104 NEW BEST:: SOT 1765718 SOS 909194 HAS SOPS 763938 HAS SOUS 628294 HAS SOUPS 485977 WITH SCORE 486886.194
AT ITER 108 NEW BEST:: SOT 1765919 SOS 910412 HAS SOPS 764139 HAS SOUS 628874 HAS SOUPS 485970 WITH SCORE 486880.412
AT ITER 111 NEW BEST:: SOT 1765688 SOS 910412 HAS SOPS 764139 HAS SOUS 628643 HAS SOUPS 485739 WITH SCORE 486649.412
AT ITER 117 NEW BEST:: SOT 1765688 SOS 910313 HAS SOPS 764040 HAS SOUS 628643 HAS SOUPS 485739 WITH SCORE 486649.313
AT ITER 118 NEW BEST:: SOT 1765407 SOS 909513 HAS SOPS 763759 HAS SOUS 628081 HAS SOUPS 485696 WITH SCORE 486605.513
AT ITER 122 NEW BEST:: SOT 1765542 SOS 910599 HAS SOPS 763894 HAS SOUS 628356 HAS SOUPS 485557 WITH SCORE 486467.599
AT ITER 128 NEW BEST:: SOT 1765323 SOS 910599 HAS SOPS 763894 HAS SOUS 628137 HAS SOUPS 485338 WITH SCORE 486248.599
AT ITER 131 NEW BEST:: SOT 1764953 SOS 909799 HAS SOPS 763524 HAS SOUS 627397 HAS SOUPS 485028 WITH SCORE 485937.799
AT ITER 133 NEW BEST:: SOT 1765085 SOS 910879 HAS SOPS 763656 HAS SOUS 627694 HAS SOUPS 484883 WITH SCORE 485793.879
AT ITER 135 NEW BEST:: SOT 1765287 SOS 912099 HAS SOPS 763858 HAS SOUS 628173 HAS SOUPS 484878 WITH SCORE 485790.099
AT ITER 146 NEW BEST:: SOT 1765287 SOS 912744 HAS SOPS 763858 HAS SOUS 628264 HAS SOUPS 484601 WITH SCORE 485513.744
AT ITER 150 NEW BEST:: SOT 1764963 SOS 912744 HAS SOPS 764004 HAS SOUS 627940 HAS SOUPS 484423 WITH SCORE 485335.744
AT ITER 155 NEW BEST:: SOT 1764540 SOS 912471 HAS SOPS 763731 HAS SOUS 627601 HAS SOUPS 484084 WITH SCORE 484996.471
AT ITER 156 NEW BEST:: SOT 1764345 SOS 912081 HAS SOPS 763536 HAS SOUS 627211 HAS SOUPS 483889 WITH SCORE 484801.081
AT ITER 173 NEW BEST:: SOT 1764073 SOS 911281 HAS SOPS 763264 HAS SOUS 626667 HAS SOUPS 483873 WITH SCORE 484784.281
AT ITER 182 NEW BEST:: SOT 1763848 SOS 911281 HAS SOPS 763416 HAS SOUS 626442 HAS SOUPS 483800 WITH SCORE 484711.281
AT ITER 185 NEW BEST:: SOT 1763639 SOS 911281 HAS SOPS 763416 HAS SOUS 626233 HAS SOUPS 483591 WITH SCORE 484502.281
AT ITER 190 NEW BEST:: SOT 1763809 SOS 912437 HAS SOPS 763586 HAS SOUS 626673 HAS SOUPS 483522 WITH SCORE 484434.437
AT ITER 192 NEW BEST:: SOT 1763809 SOS 913124 HAS SOPS 763586 HAS SOUS 626798 HAS SOUPS 483241 WITH SCORE 484154.124
AT ITER 197 NEW BEST:: SOT 1763618 SOS 912742 HAS SOPS 763395 HAS SOUS 626416 HAS SOUPS 483050 WITH SCORE 483962.742
AT ITER 200 NEW BEST:: SOT 1763339 SOS 912184 HAS SOPS 763116 HAS SOUS 625858 HAS SOUPS 482771 WITH SCORE 483683.184
AT ITER 206 NEW BEST:: SOT 1762971 SOS 911448 HAS SOPS 762748 HAS SOUS 625122 HAS SOUPS 482403 WITH SCORE 483314.448
AT ITER 210 NEW BEST:: SOT 1762788 SOS 911082 HAS SOPS 762565 HAS SOUS 624756 HAS SOUPS 482220 WITH SCORE 483131.082
AT ITER 216 NEW BEST:: SOT 1762465 SOS 910436 HAS SOPS 762242 HAS SOUS 624110 HAS SOUPS 481897 WITH SCORE 482807.436
AT ITER 217 NEW BEST:: SOT 1761912 SOS 910269 HAS SOPS 762075 HAS SOUS 623665 HAS SOUPS 481452 WITH SCORE 482362.269
AT ITER 219 NEW BEST:: SOT 1761912 SOS 910212 HAS SOPS 762018 HAS SOUS 623665 HAS SOUPS 481452 WITH SCORE 482362.212
AT ITER 220 NEW BEST:: SOT 1761322 SOS 910006 HAS SOPS 761812 HAS SOUS 623075 HAS SOUPS 480862 WITH SCORE 481772.006
AT ITER 231 NEW BEST:: SOT 1761031 SOS 910006 HAS SOPS 761812 HAS SOUS 622784 HAS SOUPS 480571 WITH SCORE 481481.006
AT ITER 232 NEW BEST:: SOT 1760687 SOS 909318 HAS SOPS 761468 HAS SOUS 622096 HAS SOUPS 480227 WITH SCORE 481136.318
AT ITER 234 NEW BEST:: SOT 1760500 SOS 908944 HAS SOPS 761281 HAS SOUS 621722 HAS SOUPS 480040 WITH SCORE 480948.944
AT ITER 236 NEW BEST:: SOT 1760261 SOS 908455 HAS SOPS 761042 HAS SOUS 621244 HAS SOUPS 479812 WITH SCORE 480720.455
AT ITER 242 NEW BEST:: SOT 1760086 SOS 908455 HAS SOPS 761042 HAS SOUS 621069 HAS SOUPS 479637 WITH SCORE 480545.455
AT ITER 244 NEW BEST:: SOT 1759932 SOS 908455 HAS SOPS 761042 HAS SOUS 620915 HAS SOUPS 479483 WITH SCORE 480391.455
AT ITER 247 NEW BEST:: SOT 1759932 SOS 909118 HAS SOPS 761042 HAS SOUS 621098 HAS SOUPS 479243 WITH SCORE 480152.118
AT ITER 248 NEW BEST:: SOT 1650640 SOS 864062 HAS SOPS 716586 HAS SOUS 512167 HAS SOUPS 370912 WITH SCORE 371776.062
AT ITER 252 NEW BEST:: SOT 1649980 SOS 863730 HAS SOPS 716254 HAS SOUS 511652 HAS SOUPS 370397 WITH SCORE 371260.73
AT ITER 254 NEW BEST:: SOT 1649750 SOS 863730 HAS SOPS 716340 HAS SOUS 511422 HAS SOUPS 370253 WITH SCORE 371116.73
AT ITER 255 NEW BEST:: SOT 1648988 SOS 863223 HAS SOPS 715833 HAS SOUS 510660 HAS SOUPS 369491 WITH SCORE 370354.223
AT ITER 258 NEW BEST:: SOT 1648691 SOS 863223 HAS SOPS 715833 HAS SOUS 510363 HAS SOUPS 369194 WITH SCORE 370057.223
AT ITER 266 NEW BEST:: SOT 1648761 SOS 864179 HAS SOPS 715903 HAS SOUS 510527 HAS SOUPS 368925 WITH SCORE 369789.179
AT ITER 273 NEW BEST:: SOT 1647931 SOS 862696 HAS SOPS 715616 HAS SOUS 509567 HAS SOUPS 368684 WITH SCORE 369546.696
AT ITER 278 NEW BEST:: SOT 1647603 SOS 862204 HAS SOPS 715288 HAS SOUS 509075 HAS SOUPS 368356 WITH SCORE 369218.204
AT ITER 280 NEW BEST:: SOT 1647575 SOS 862176 HAS SOPS 715260 HAS SOUS 509044 HAS SOUPS 368325 WITH SCORE 369187.176
AT ITER 284 NEW BEST:: SOT 1647408 SOS 862176 HAS SOPS 715260 HAS SOUS 508877 HAS SOUPS 368158 WITH SCORE 369020.176
AT ITER 289 NEW BEST:: SOT 1647075 SOS 862176 HAS SOPS 715260 HAS SOUS 508544 HAS SOUPS 367825 WITH SCORE 368687.176
AT ITER 294 NEW BEST:: SOT 1646836 SOS 861698 HAS SOPS 715021 HAS SOUS 508066 HAS SOUPS 367586 WITH SCORE 368447.698
AT ITER 298 NEW BEST:: SOT 1646973 SOS 861586 HAS SOPS 714841 HAS SOUS 508091 HAS SOUPS 367543 WITH SCORE 368404.586
AT ITER 306 NEW BEST:: SOT 1646307 SOS 860464 HAS SOPS 714396 HAS SOUS 507194 HAS SOUPS 367100 WITH SCORE 367960.464
AT ITER 308 NEW BEST:: SOT 1645479 SOS 860001 HAS SOPS 713933 HAS SOUS 506594 HAS SOUPS 366500 WITH SCORE 367360.001
AT ITER 322 NEW BEST:: SOT 1645391 SOS 859913 HAS SOPS 713845 HAS SOUS 506506 HAS SOUPS 366412 WITH SCORE 367271.913
AT ITER 325 NEW BEST:: SOT 1645459 SOS 861112 HAS SOPS 713913 HAS SOUS 507316 HAS SOUPS 366347 WITH SCORE 367208.112
AT ITER 326 NEW BEST:: SOT 1644602 SOS 860591 HAS SOPS 713392 HAS SOUS 506491 HAS SOUPS 365522 WITH SCORE 366382.591
AT ITER 332 NEW BEST:: SOT 1644467 SOS 860591 HAS SOPS 713392 HAS SOUS 506356 HAS SOUPS 365387 WITH SCORE 366247.591
AT ITER 337 NEW BEST:: SOT 1643754 SOS 860096 HAS SOPS 712897 HAS SOUS 505789 HAS SOUPS 364820 WITH SCORE 365680.096
AT ITER 338 NEW BEST:: SOT 1643501 SOS 859590 HAS SOPS 712644 HAS SOUS 505283 HAS SOUPS 364567 WITH SCORE 365426.59
AT ITER 339 NEW BEST:: SOT 1642663 SOS 859059 HAS SOPS 712113 HAS SOUS 504445 HAS SOUPS 363729 WITH SCORE 364588.059
AT ITER 340 NEW BEST:: SOT 1642273 SOS 858474 HAS SOPS 711723 HAS SOUS 503860 HAS SOUPS 363339 WITH SCORE 364197.474
AT ITER 349 NEW BEST:: SOT 1641924 SOS 858474 HAS SOPS 711783 HAS SOUS 503511 HAS SOUPS 363050 WITH SCORE 363908.474
AT ITER 353 NEW BEST:: SOT 1641716 SOS 858474 HAS SOPS 711955 HAS SOUS 503303 HAS SOUPS 363014 WITH SCORE 363872.474
AT ITER 354 NEW BEST:: SOT 1641393 SOS 858474 HAS SOPS 712029 HAS SOUS 502980 HAS SOUPS 362765 WITH SCORE 363623.474
AT ITER 355 NEW BEST:: SOT 1641017 SOS 858326 HAS SOPS 712112 HAS SOUS 502889 HAS SOUPS 362674 WITH SCORE 363532.326
AT ITER 356 NEW BEST:: SOT 1640976 SOS 858285 HAS SOPS 712071 HAS SOUS 502807 HAS SOUPS 362592 WITH SCORE 363450.285
AT ITER 358 NEW BEST:: SOT 1641027 SOS 859338 HAS SOPS 712122 HAS SOUS 503223 HAS SOUPS 362350 WITH SCORE 363209.338
AT ITER 359 NEW BEST:: SOT 1640901 SOS 859212 HAS SOPS 711996 HAS SOUS 502971 HAS SOUPS 362098 WITH SCORE 362957.212
AT ITER 362 NEW BEST:: SOT 1640901 SOS 860063 HAS SOPS 711996 HAS SOUS 503100 HAS SOUPS 361737 WITH SCORE 362597.063
AT ITER 363 NEW BEST:: SOT 1640146 SOS 858926 HAS SOPS 711241 HAS SOUS 501963 HAS SOUPS 360982 WITH SCORE 361840.926
AT ITER 364 NEW BEST:: SOT 1639328 SOS 858483 HAS SOPS 710798 HAS SOUS 501359 HAS SOUPS 360378 WITH SCORE 361236.483
AT ITER 365 NEW BEST:: SOT 1639409 SOS 859647 HAS SOPS 710879 HAS SOUS 502070 HAS SOUPS 360273 WITH SCORE 361132.647
AT ITER 367 NEW BEST:: SOT 1639409 SOS 859675 HAS SOPS 710879 HAS SOUS 502070 HAS SOUPS 360245 WITH SCORE 361104.675
AT ITER 371 NEW BEST:: SOT 1639038 SOS 858933 HAS SOPS 710508 HAS SOUS 501328 HAS SOUPS 359874 WITH SCORE 360732.933
AT ITER 375 NEW BEST:: SOT 1638334 SOS 858454 HAS SOPS 710029 HAS SOUS 500624 HAS SOUPS 359170 WITH SCORE 360028.454
AT ITER 378 NEW BEST:: SOT 1638025 SOS 857836 HAS SOPS 709720 HAS SOUS 500006 HAS SOUPS 358861 WITH SCORE 359718.836
AT ITER 379 NEW BEST:: SOT 1638025 SOS 858473 HAS SOPS 709720 HAS SOUS 500017 HAS SOUPS 358548 WITH SCORE 359406.473
AT ITER 384 NEW BEST:: SOT 1638025 SOS 859345 HAS SOPS 709720 HAS SOUS 500081 HAS SOUPS 358144 WITH SCORE 359003.345
AT ITER 390 NEW BEST:: SOT 1637703 SOS 859345 HAS SOPS 709720 HAS SOUS 499759 HAS SOUPS 357822 WITH SCORE 358681.345
AT ITER 395 NEW BEST:: SOT 1637542 SOS 859023 HAS SOPS 709559 HAS SOUS 499598 HAS SOUPS 357822 WITH SCORE 358681.023
AT ITER 397 NEW BEST:: SOT 1637267 SOS 859025 HAS SOPS 709824 HAS SOUS 499325 HAS SOUPS 357812 WITH SCORE 358671.025
AT ITER 399 NEW BEST:: SOT 1636902 SOS 859029 HAS SOPS 709910 HAS SOUS 498964 HAS SOUPS 357533 WITH SCORE 358392.029
AT ITER 400 NEW BEST:: SOT 1636902 SOS 859820 HAS SOPS 709910 HAS SOUS 498991 HAS SOUPS 357151 WITH SCORE 358010.82
AT ITER 408 NEW BEST:: SOT 1636662 SOS 859340 HAS SOPS 709670 HAS SOUS 498726 HAS SOUPS 357126 WITH SCORE 357985.34
AT ITER 416 NEW BEST:: SOT 1636662 SOS 859339 HAS SOPS 709670 HAS SOUS 498725 HAS SOUPS 357126 WITH SCORE 357985.339
AT ITER 418 NEW BEST:: SOT 1635941 SOS 858942 HAS SOPS 709273 HAS SOUS 498004 HAS SOUPS 356405 WITH SCORE 357263.942
AT ITER 420 NEW BEST:: SOT 1635809 SOS 858810 HAS SOPS 709141 HAS SOUS 497872 HAS SOUPS 356273 WITH SCORE 357131.81
AT ITER 422 NEW BEST:: SOT 1635519 SOS 858375 HAS SOPS 708851 HAS SOUS 497437 HAS SOUPS 355983 WITH SCORE 356841.375
AT ITER 427 NEW BEST:: SOT 1635222 SOS 858497 HAS SOPS 709132 HAS SOUS 497262 HAS SOUPS 355967 WITH SCORE 356825.497
AT ITER 428 NEW BEST:: SOT 1635306 SOS 859069 HAS SOPS 708938 HAS SOUS 497706 HAS SOUPS 355850 WITH SCORE 356709.069
AT ITER 436 NEW BEST:: SOT 1635463 SOS 860199 HAS SOPS 709095 HAS SOUS 498038 HAS SOUPS 355755 WITH SCORE 356615.199
AT ITER 439 NEW BEST:: SOT 1635624 SOS 861337 HAS SOPS 709256 HAS SOUS 498464 HAS SOUPS 355668 WITH SCORE 356529.337
AT ITER 440 NEW BEST:: SOT 1635227 SOS 860537 HAS SOPS 708859 HAS SOUS 497670 HAS SOUPS 355277 WITH SCORE 356137.537
AT ITER 442 NEW BEST:: SOT 1635227 SOS 860476 HAS SOPS 708647 HAS SOUS 497609 HAS SOUPS 355065 WITH SCORE 355925.476
AT ITER 448 NEW BEST:: SOT 1635212 SOS 860461 HAS SOPS 708632 HAS SOUS 497579 HAS SOUPS 355035 WITH SCORE 355895.461
AT ITER 454 NEW BEST:: SOT 1634369 SOS 858952 HAS SOPS 708254 HAS SOUS 496567 HAS SOUPS 354716 WITH SCORE 355574.952
AT ITER 457 NEW BEST:: SOT 1634569 SOS 860168 HAS SOPS 708454 HAS SOUS 497011 HAS SOUPS 354707 WITH SCORE 355567.168
AT ITER 458 NEW BEST:: SOT 1634569 SOS 861090 HAS SOPS 708454 HAS SOUS 497167 HAS SOUPS 354324 WITH SCORE 355185.09
AT ITER 467 NEW BEST:: SOT 1634493 SOS 860976 HAS SOPS 708378 HAS SOUS 497053 HAS SOUPS 354248 WITH SCORE 355108.976
AT ITER 469 NEW BEST:: SOT 1634493 SOS 861807 HAS SOPS 708378 HAS SOUS 497234 HAS SOUPS 353923 WITH SCORE 354784.807
AT ITER 476 NEW BEST:: SOT 1634305 SOS 861807 HAS SOPS 708378 HAS SOUS 497046 HAS SOUPS 353735 WITH SCORE 354596.807
AT ITER 478 NEW BEST:: SOT 1634284 SOS 861786 HAS SOPS 708357 HAS SOUS 497025 HAS SOUPS 353714 WITH SCORE 354575.786
AT ITER 483 NEW BEST:: SOT 1634371 SOS 862776 HAS SOPS 708444 HAS SOUS 497228 HAS SOUPS 353479 WITH SCORE 354341.776
AT ITER 492 NEW BEST:: SOT 1634095 SOS 862362 HAS SOPS 708168 HAS SOUS 496814 HAS SOUPS 353203 WITH SCORE 354065.362
AT ITER 494 NEW BEST:: SOT 1633740 SOS 861562 HAS SOPS 707813 HAS SOUS 496104 HAS SOUPS 352938 WITH SCORE 353799.562
AT ITER 504 NEW BEST:: SOT 1632799 SOS 860865 HAS SOPS 707116 HAS SOUS 495169 HAS SOUPS 352003 WITH SCORE 352863.865
AT ITER 509 NEW BEST:: SOT 1632852 SOS 861791 HAS SOPS 707169 HAS SOUS 495759 HAS SOUPS 351933 WITH SCORE 352794.791
AT ITER 511 NEW BEST:: SOT 1632718 SOS 861657 HAS SOPS 707035 HAS SOUS 495625 HAS SOUPS 351799 WITH SCORE 352660.657
AT ITER 516 NEW BEST:: SOT 1632718 SOS 861669 HAS SOPS 707035 HAS SOUS 495625 HAS SOUPS 351787 WITH SCORE 352648.669
AT ITER 517 NEW BEST:: SOT 1632707 SOS 861616 HAS SOPS 707024 HAS SOUS 495561 HAS SOUPS 351765 WITH SCORE 352626.616
AT ITER 520 NEW BEST:: SOT 1632707 SOS 861608 HAS SOPS 707016 HAS SOUS 495553 HAS SOUPS 351757 WITH SCORE 352618.608
AT ITER 522 NEW BEST:: SOT 1632570 SOS 861608 HAS SOPS 707016 HAS SOUS 495416 HAS SOUPS 351620 WITH SCORE 352481.608
AT ITER 523 NEW BEST:: SOT 1632233 SOS 861678 HAS SOPS 707191 HAS SOUS 495149 HAS SOUPS 351458 WITH SCORE 352319.678
AT ITER 531 NEW BEST:: SOT 1632233 SOS 862322 HAS SOPS 707191 HAS SOUS 495309 HAS SOUPS 351216 WITH SCORE 352078.322
AT ITER 532 NEW BEST:: SOT 1632233 SOS 862706 HAS SOPS 707191 HAS SOUS 495309 HAS SOUPS 351120 WITH SCORE 351982.706
AT ITER 536 NEW BEST:: SOT 1631737 SOS 861962 HAS SOPS 706695 HAS SOUS 494565 HAS SOUPS 350624 WITH SCORE 351485.962
AT ITER 538 NEW BEST:: SOT 1631490 SOS 861468 HAS SOPS 706448 HAS SOUS 494281 HAS SOUPS 350587 WITH SCORE 351448.468
AT ITER 540 NEW BEST:: SOT 1631490 SOS 862268 HAS SOPS 706448 HAS SOUS 494285 HAS SOUPS 350189 WITH SCORE 351051.268
AT ITER 542 NEW BEST:: SOT 1631232 SOS 861650 HAS SOPS 706190 HAS SOUS 493769 HAS SOUPS 350033 WITH SCORE 350894.65
AT ITER 546 NEW BEST:: SOT 1630786 SOS 860981 HAS SOPS 705744 HAS SOUS 493100 HAS SOUPS 349587 WITH SCORE 350447.981
AT ITER 548 NEW BEST:: SOT 1630649 SOS 860624 HAS SOPS 705607 HAS SOUS 492826 HAS SOUPS 349533 WITH SCORE 350393.624
AT ITER 551 NEW BEST:: SOT 1630414 SOS 860624 HAS SOPS 705607 HAS SOUS 492591 HAS SOUPS 349298 WITH SCORE 350158.624
AT ITER 557 NEW BEST:: SOT 1630504 SOS 861697 HAS SOPS 705697 HAS SOUS 493186 HAS SOUPS 349194 WITH SCORE 350055.697
AT ITER 571 NEW BEST:: SOT 1630209 SOS 861556 HAS SOPS 705713 HAS SOUS 493182 HAS SOUPS 349190 WITH SCORE 350051.556
AT ITER 572 NEW BEST:: SOT 1630085 SOS 861432 HAS SOPS 705589 HAS SOUS 493182 HAS SOUPS 349190 WITH SCORE 350051.432
AT ITER 579 NEW BEST:: SOT 1629247 SOS 860949 HAS SOPS 705106 HAS SOUS 492384 HAS SOUPS 348392 WITH SCORE 349252.949
AT ITER 582 NEW BEST:: SOT 1628919 SOS 860293 HAS SOPS 704778 HAS SOUS 491728 HAS SOUPS 348064 WITH SCORE 348924.293
AT ITER 586 NEW BEST:: SOT 1628919 SOS 860529 HAS SOPS 704778 HAS SOUS 491728 HAS SOUPS 347980 WITH SCORE 348840.529
AT ITER 597 NEW BEST:: SOT 1628539 SOS 859959 HAS SOPS 704398 HAS SOUS 491158 HAS SOUPS 347600 WITH SCORE 348459.959
AT ITER 600 NEW BEST:: SOT 1628539 SOS 860653 HAS SOPS 704398 HAS SOUS 491218 HAS SOUPS 347283 WITH SCORE 348143.653
AT ITER 602 NEW BEST:: SOT 1628065 SOS 860422 HAS SOPS 704167 HAS SOUS 490744 HAS SOUPS 346809 WITH SCORE 347669.422
AT ITER 604 NEW BEST:: SOT 1628016 SOS 860422 HAS SOPS 704167 HAS SOUS 490695 HAS SOUPS 346760 WITH SCORE 347620.422
AT ITER 614 NEW BEST:: SOT 1627751 SOS 859892 HAS SOPS 703902 HAS SOUS 490165 HAS SOUPS 346495 WITH SCORE 347354.892
AT ITER 620 NEW BEST:: SOT 1627098 SOS 859606 HAS SOPS 703616 HAS SOUS 489849 HAS SOUPS 346179 WITH SCORE 347038.606
AT ITER 621 NEW BEST:: SOT 1626937 SOS 859624 HAS SOPS 703682 HAS SOUS 489706 HAS SOUPS 346084 WITH SCORE 346943.624
AT ITER 623 NEW BEST:: SOT 1626619 SOS 859147 HAS SOPS 703364 HAS SOUS 489229 HAS SOUPS 345766 WITH SCORE 346625.147
AT ITER 627 NEW BEST:: SOT 1626297 SOS 859147 HAS SOPS 703414 HAS SOUS 488907 HAS SOUPS 345494 WITH SCORE 346353.147
AT ITER 630 NEW BEST:: SOT 1626054 SOS 858661 HAS SOPS 703414 HAS SOUS 488664 HAS SOUPS 345494 WITH SCORE 346352.661
AT ITER 635 NEW BEST:: SOT 1625586 SOS 857959 HAS SOPS 702946 HAS SOUS 487962 HAS SOUPS 345026 WITH SCORE 345883.959
AT ITER 644 NEW BEST:: SOT 1625280 SOS 857838 HAS SOPS 702825 HAS SOUS 487897 HAS SOUPS 344961 WITH SCORE 345818.838
AT ITER 652 NEW BEST:: SOT 1625280 SOS 857838 HAS SOPS 702761 HAS SOUS 487897 HAS SOUPS 344897 WITH SCORE 345754.838
AT ITER 654 NEW BEST:: SOT 1625145 SOS 857838 HAS SOPS 702761 HAS SOUS 487762 HAS SOUPS 344762 WITH SCORE 345619.838
AT ITER 655 NEW BEST:: SOT 1624821 SOS 857038 HAS SOPS 702437 HAS SOUS 487114 HAS SOUPS 344590 WITH SCORE 345447.038
AT ITER 659 NEW BEST:: SOT 1624894 SOS 858000 HAS SOPS 702510 HAS SOUS 487292 HAS SOUPS 344327 WITH SCORE 345185.0
AT ITER 663 NEW BEST:: SOT 1624590 SOS 857544 HAS SOPS 702206 HAS SOUS 486836 HAS SOUPS 344023 WITH SCORE 344880.544
AT ITER 669 NEW BEST:: SOT 1624339 SOS 857042 HAS SOPS 701955 HAS SOUS 486334 HAS SOUPS 343772 WITH SCORE 344629.042
AT ITER 674 NEW BEST:: SOT 1624263 SOS 856966 HAS SOPS 701879 HAS SOUS 486182 HAS SOUPS 343620 WITH SCORE 344476.966
AT ITER 679 NEW BEST:: SOT 1623918 SOS 856276 HAS SOPS 701534 HAS SOUS 485492 HAS SOUPS 343275 WITH SCORE 344131.276
AT ITER 680 NEW BEST:: SOT 1623918 SOS 856770 HAS SOPS 701534 HAS SOUS 485498 HAS SOUPS 343031 WITH SCORE 343887.77
AT ITER 683 NEW BEST:: SOT 1623374 SOS 855954 HAS SOPS 700990 HAS SOUS 484682 HAS SOUPS 342487 WITH SCORE 343342.954
AT ITER 695 NEW BEST:: SOT 1623081 SOS 855954 HAS SOPS 700990 HAS SOUS 484389 HAS SOUPS 342194 WITH SCORE 343049.954
AT ITER 697 NEW BEST:: SOT 1622946 SOS 855670 HAS SOPS 700855 HAS SOUS 484119 HAS SOUPS 342073 WITH SCORE 342928.67
AT ITER 704 NEW BEST:: SOT 1622633 SOS 855670 HAS SOPS 700855 HAS SOUS 483806 HAS SOUPS 341760 WITH SCORE 342615.67
AT ITER 705 NEW BEST:: SOT 1622422 SOS 855670 HAS SOPS 700855 HAS SOUS 483595 HAS SOUPS 341549 WITH SCORE 342404.67
AT ITER 706 NEW BEST:: SOT 1622408 SOS 855649 HAS SOPS 700841 HAS SOUS 483574 HAS SOUPS 341535 WITH SCORE 342390.649
AT ITER 707 NEW BEST:: SOT 1622203 SOS 855444 HAS SOPS 700636 HAS SOUS 483164 HAS SOUPS 341125 WITH SCORE 341980.444
AT ITER 710 NEW BEST:: SOT 1622097 SOS 855489 HAS SOPS 700681 HAS SOUS 483103 HAS SOUPS 341064 WITH SCORE 341919.489
AT ITER 715 NEW BEST:: SOT 1621814 SOS 855206 HAS SOPS 700398 HAS SOUS 482950 HAS SOUPS 340911 WITH SCORE 341766.206
AT ITER 718 NEW BEST:: SOT 1621637 SOS 855029 HAS SOPS 700221 HAS SOUS 482596 HAS SOUPS 340557 WITH SCORE 341412.029
AT ITER 728 NEW BEST:: SOT 1621477 SOS 855029 HAS SOPS 700221 HAS SOUS 482436 HAS SOUPS 340397 WITH SCORE 341252.029
AT ITER 737 NEW BEST:: SOT 1621470 SOS 855022 HAS SOPS 700214 HAS SOUS 482422 HAS SOUPS 340383 WITH SCORE 341238.022
AT ITER 739 NEW BEST:: SOT 1621163 SOS 854496 HAS SOPS 699907 HAS SOUS 482027 HAS SOUPS 340207 WITH SCORE 341061.496
AT ITER 749 NEW BEST:: SOT 1620989 SOS 854322 HAS SOPS 699733 HAS SOUS 481879 HAS SOUPS 340059 WITH SCORE 340913.322
AT ITER 758 NEW BEST:: SOT 1620438 SOS 853771 HAS SOPS 699182 HAS SOUS 481851 HAS SOUPS 340031 WITH SCORE 340884.771
AT ITER 778 NEW BEST:: SOT 1619570 SOS 853228 HAS SOPS 698639 HAS SOUS 481101 HAS SOUPS 339281 WITH SCORE 340134.228
AT ITER 779 NEW BEST:: SOT 1619570 SOS 853859 HAS SOPS 698639 HAS SOUS 481162 HAS SOUPS 338996 WITH SCORE 339849.859
AT ITER 781 NEW BEST:: SOT 1619492 SOS 853781 HAS SOPS 698561 HAS SOUS 481006 HAS SOUPS 338840 WITH SCORE 339693.781
AT ITER 808 NEW BEST:: SOT 1618982 SOS 853016 HAS SOPS 698051 HAS SOUS 480241 HAS SOUPS 338330 WITH SCORE 339183.016
AT ITER 809 NEW BEST:: SOT 1618904 SOS 853016 HAS SOPS 698051 HAS SOUS 480163 HAS SOUPS 338252 WITH SCORE 339105.016
AT ITER 810 NEW BEST:: SOT 1618991 SOS 854013 HAS SOPS 698138 HAS SOUS 480848 HAS SOUPS 338243 WITH SCORE 339097.013
AT ITER 820 NEW BEST:: SOT 1618247 SOS 853562 HAS SOPS 697687 HAS SOUS 480104 HAS SOUPS 337499 WITH SCORE 338352.562
AT ITER 825 NEW BEST:: SOT 1618247 SOS 853365 HAS SOPS 697687 HAS SOUS 479907 HAS SOUPS 337499 WITH SCORE 338352.365
AT ITER 833 NEW BEST:: SOT 1617607 SOS 852803 HAS SOPS 697125 HAS SOUS 479436 HAS SOUPS 337028 WITH SCORE 337880.803
AT ITER 836 NEW BEST:: SOT 1617368 SOS 852803 HAS SOPS 697221 HAS SOUS 479197 HAS SOUPS 336885 WITH SCORE 337737.803
AT ITER 837 NEW BEST:: SOT 1617362 SOS 852797 HAS SOPS 697209 HAS SOUS 479185 HAS SOUPS 336873 WITH SCORE 337725.797
AT ITER 839 NEW BEST:: SOT 1617441 SOS 853771 HAS SOPS 697288 HAS SOUS 479402 HAS SOUPS 336622 WITH SCORE 337475.771
AT ITER 843 NEW BEST:: SOT 1617441 SOS 854276 HAS SOPS 697288 HAS SOUS 479491 HAS SOUPS 336414 WITH SCORE 337268.276
AT ITER 854 NEW BEST:: SOT 1617423 SOS 854249 HAS SOPS 697270 HAS SOUS 479464 HAS SOUPS 336396 WITH SCORE 337250.249
AT ITER 858 NEW BEST:: SOT 1617324 SOS 854150 HAS SOPS 697171 HAS SOUS 479365 HAS SOUPS 336297 WITH SCORE 337151.15
AT ITER 864 NEW BEST:: SOT 1617200 SOS 854150 HAS SOPS 697171 HAS SOUS 479241 HAS SOUPS 336173 WITH SCORE 337027.15
AT ITER 865 NEW BEST:: SOT 1617200 SOS 854725 HAS SOPS 697171 HAS SOUS 479244 HAS SOUPS 335887 WITH SCORE 336741.725
AT ITER 866 NEW BEST:: SOT 1616947 SOS 854277 HAS SOPS 696918 HAS SOUS 478933 HAS SOUPS 335771 WITH SCORE 336625.277
AT ITER 876 NEW BEST:: SOT 1616947 SOS 854666 HAS SOPS 696918 HAS SOUS 478990 HAS SOUPS 335605 WITH SCORE 336459.666
AT ITER 877 NEW BEST:: SOT 1616615 SOS 854666 HAS SOPS 696918 HAS SOUS 478658 HAS SOUPS 335273 WITH SCORE 336127.666
AT ITER 880 NEW BEST:: SOT 1622524 SOS 831039 HAS SOPS 641204 HAS SOUS 484567 HAS SOUPS 309095 WITH SCORE 309926.039
AT ITER 881 NEW BEST:: SOT 1622495 SOS 830981 HAS SOPS 641175 HAS SOUS 484480 HAS SOUPS 309037 WITH SCORE 309867.981
AT ITER 885 NEW BEST:: SOT 1622495 SOS 831102 HAS SOPS 641175 HAS SOUS 484480 HAS SOUPS 309011 WITH SCORE 309842.102
AT ITER 887 NEW BEST:: SOT 1621693 SOS 830683 HAS SOPS 640910 HAS SOUS 483970 HAS SOUPS 308655 WITH SCORE 309485.683
AT ITER 888 NEW BEST:: SOT 1621603 SOS 830548 HAS SOPS 640820 HAS SOUS 483835 HAS SOUPS 308565 WITH SCORE 309395.548
AT ITER 896 NEW BEST:: SOT 1621304 SOS 829950 HAS SOPS 640521 HAS SOUS 483237 HAS SOUPS 308266 WITH SCORE 309095.95
AT ITER 901 NEW BEST:: SOT 1621233 SOS 829950 HAS SOPS 640521 HAS SOUS 483166 HAS SOUPS 308195 WITH SCORE 309024.95
AT ITER 906 NEW BEST:: SOT 1620805 SOS 829759 HAS SOPS 640500 HAS SOUS 482738 HAS SOUPS 307937 WITH SCORE 308766.759
AT ITER 911 NEW BEST:: SOT 1621016 SOS 829733 HAS SOPS 640300 HAS SOUS 482876 HAS SOUPS 307901 WITH SCORE 308730.733
AT ITER 922 NEW BEST:: SOT 1621016 SOS 829716 HAS SOPS 640300 HAS SOUS 482876 HAS SOUPS 307901 WITH SCORE 308730.716
AT ITER 926 NEW BEST:: SOT 1620140 SOS 829157 HAS SOPS 639821 HAS SOUS 482166 HAS SOUPS 307271 WITH SCORE 308100.157
AT ITER 930 NEW BEST:: SOT 1619963 SOS 828980 HAS SOPS 639644 HAS SOUS 481812 HAS SOUPS 306917 WITH SCORE 307745.98
AT ITER 933 NEW BEST:: SOT 1619649 SOS 828771 HAS SOPS 639435 HAS SOUS 481666 HAS SOUPS 306771 WITH SCORE 307599.771
AT ITER 934 NEW BEST:: SOT 1619046 SOS 828214 HAS SOPS 638878 HAS SOUS 481063 HAS SOUPS 306168 WITH SCORE 306996.214
AT ITER 937 NEW BEST:: SOT 1619046 SOS 828214 HAS SOPS 638810 HAS SOUS 481063 HAS SOUPS 306100 WITH SCORE 306928.214
AT ITER 944 NEW BEST:: SOT 1618944 SOS 828112 HAS SOPS 638708 HAS SOUS 480859 HAS SOUPS 305896 WITH SCORE 306724.112
AT ITER 952 NEW BEST:: SOT 1618630 SOS 827312 HAS SOPS 638394 HAS SOUS 480231 HAS SOUPS 305754 WITH SCORE 306581.312
AT ITER 960 NEW BEST:: SOT 1618674 SOS 828159 HAS SOPS 638438 HAS SOUS 480468 HAS SOUPS 305603 WITH SCORE 306431.159
AT ITER 969 NEW BEST:: SOT 1618311 SOS 827359 HAS SOPS 638075 HAS SOUS 479742 HAS SOUPS 305314 WITH SCORE 306141.359
AT ITER 982 NEW BEST:: SOT 1618311 SOS 827939 HAS SOPS 638075 HAS SOUS 479870 HAS SOUPS 305088 WITH SCORE 305915.939
AT ITER 984 NEW BEST:: SOT 1618311 SOS 828101 HAS SOPS 638075 HAS SOUS 479870 HAS SOUPS 305065 WITH SCORE 305893.101
AT ITER 986 NEW BEST:: SOT 1618027 SOS 828054 HAS SOPS 638076 HAS SOUS 479586 HAS SOUPS 304829 WITH SCORE 305657.054
AT ITER 990 NEW BEST:: SOT 1617741 SOS 827482 HAS SOPS 637790 HAS SOUS 479300 HAS SOUPS 304829 WITH SCORE 305656.482
AT ITER 995 NEW BEST:: SOT 1617985 SOS 828043 HAS SOPS 637652 HAS SOUS 479550 HAS SOUPS 304692 WITH SCORE 305520.043
AT ITER 1015 NEW BEST:: SOT 1617606 SOS 827285 HAS SOPS 637273 HAS SOUS 478792 HAS SOUPS 304313 WITH SCORE 305140.285
AT ITER 1023 NEW BEST:: SOT 1617542 SOS 827189 HAS SOPS 637209 HAS SOUS 478696 HAS SOUPS 304249 WITH SCORE 305076.189
AT ITER 1026 NEW BEST:: SOT 1617365 SOS 826314 HAS SOPS 637032 HAS SOUS 478298 HAS SOUPS 304134 WITH SCORE 304960.314
AT ITER 1028 NEW BEST:: SOT 1617365 SOS 826122 HAS SOPS 637032 HAS SOUS 478202 HAS SOUPS 304134 WITH SCORE 304960.122
AT ITER 1037 NEW BEST:: SOT 1617365 SOS 826608 HAS SOPS 637032 HAS SOUS 478238 HAS SOUPS 303909 WITH SCORE 304735.608
AT ITER 1043 NEW BEST:: SOT 1617362 SOS 826605 HAS SOPS 637029 HAS SOUS 478232 HAS SOUPS 303903 WITH SCORE 304729.605
AT ITER 1044 NEW BEST:: SOT 1617756 SOS 827620 HAS SOPS 636583 HAS SOUS 478778 HAS SOUPS 303529 WITH SCORE 304356.62
AT ITER 1052 NEW BEST:: SOT 1617672 SOS 827536 HAS SOPS 636499 HAS SOUS 478778 HAS SOUPS 303529 WITH SCORE 304356.536
AT ITER 1053 NEW BEST:: SOT 1617244 SOS 826894 HAS SOPS 636071 HAS SOUS 478136 HAS SOUPS 303101 WITH SCORE 303927.894
AT ITER 1055 NEW BEST:: SOT 1617244 SOS 826772 HAS SOPS 635949 HAS SOUS 478014 HAS SOUPS 302979 WITH SCORE 303805.772
AT ITER 1058 NEW BEST:: SOT 1617708 SOS 827764 HAS SOPS 635829 HAS SOUS 478625 HAS SOUPS 302891 WITH SCORE 303718.764
AT ITER 1065 NEW BEST:: SOT 1617671 SOS 827727 HAS SOPS 635792 HAS SOUS 478551 HAS SOUPS 302817 WITH SCORE 303644.727
AT ITER 1066 NEW BEST:: SOT 1617415 SOS 827343 HAS SOPS 635536 HAS SOUS 478167 HAS SOUPS 302561 WITH SCORE 303388.343
AT ITER 1082 NEW BEST:: SOT 1617032 SOS 826552 HAS SOPS 635153 HAS SOUS 477401 HAS SOUPS 302203 WITH SCORE 303029.552
AT ITER 1086 NEW BEST:: SOT 1617032 SOS 826502 HAS SOPS 635153 HAS SOUS 477351 HAS SOUPS 302203 WITH SCORE 303029.502
AT ITER 1093 NEW BEST:: SOT 1616940 SOS 826410 HAS SOPS 635061 HAS SOUS 477259 HAS SOUPS 302111 WITH SCORE 302937.41
AT ITER 1101 NEW BEST:: SOT 1616940 SOS 827107 HAS SOPS 635061 HAS SOUS 477342 HAS SOUPS 301872 WITH SCORE 302699.107
AT ITER 1107 NEW BEST:: SOT 1616590 SOS 827029 HAS SOPS 635172 HAS SOUS 477027 HAS SOUPS 301746 WITH SCORE 302573.029
AT ITER 1122 NEW BEST:: SOT 1616590 SOS 827029 HAS SOPS 635172 HAS SOUS 476847 HAS SOUPS 301566 WITH SCORE 302393.029
AT ITER 1127 NEW BEST:: SOT 1616462 SOS 826768 HAS SOPS 635044 HAS SOUS 476591 HAS SOUPS 301443 WITH SCORE 302269.768
AT ITER 1133 NEW BEST:: SOT 1616240 SOS 826324 HAS SOPS 634822 HAS SOUS 476147 HAS SOUPS 301221 WITH SCORE 302047.324
AT ITER 1143 NEW BEST:: SOT 1615624 SOS 826080 HAS SOPS 634881 HAS SOUS 475838 HAS SOUPS 301215 WITH SCORE 302041.08
AT ITER 1148 NEW BEST:: SOT 1615568 SOS 825932 HAS SOPS 634677 HAS SOUS 475690 HAS SOUPS 301011 WITH SCORE 301836.932
AT ITER 1157 NEW BEST:: SOT 1615199 SOS 826002 HAS SOPS 634747 HAS SOUS 475590 HAS SOUPS 300911 WITH SCORE 301737.002
AT ITER 1165 NEW BEST:: SOT 1614892 SOS 825388 HAS SOPS 634440 HAS SOUS 474976 HAS SOUPS 300604 WITH SCORE 301429.388
AT ITER 1168 NEW BEST:: SOT 1614710 SOS 825115 HAS SOPS 634258 HAS SOUS 474703 HAS SOUPS 300422 WITH SCORE 301247.115
AT ITER 1176 NEW BEST:: SOT 1614659 SOS 825064 HAS SOPS 634207 HAS SOUS 474601 HAS SOUPS 300320 WITH SCORE 301145.064
AT ITER 1181 NEW BEST:: SOT 1614589 SOS 824994 HAS SOPS 634137 HAS SOUS 474461 HAS SOUPS 300180 WITH SCORE 301004.994
AT ITER 1190 NEW BEST:: SOT 1613879 SOS 824521 HAS SOPS 633902 HAS SOUS 473751 HAS SOUPS 299708 WITH SCORE 300532.521
AT ITER 1193 NEW BEST:: SOT 1613879 SOS 824467 HAS SOPS 633902 HAS SOUS 473751 HAS SOUPS 299708 WITH SCORE 300532.467
AT ITER 1200 NEW BEST:: SOT 1613654 SOS 824498 HAS SOPS 633952 HAS SOUS 473569 HAS SOUPS 299545 WITH SCORE 300369.498
AT ITER 1201 NEW BEST:: SOT 1613510 SOS 824498 HAS SOPS 634086 HAS SOUS 473425 HAS SOUPS 299535 WITH SCORE 300359.498
AT ITER 1208 NEW BEST:: SOT 1613429 SOS 824417 HAS SOPS 634005 HAS SOUS 473263 HAS SOUPS 299373 WITH SCORE 300197.417
AT ITER 1210 NEW BEST:: SOT 1613429 SOS 824406 HAS SOPS 633987 HAS SOUS 473252 HAS SOUPS 299355 WITH SCORE 300179.406
AT ITER 1225 NEW BEST:: SOT 1613201 SOS 824064 HAS SOPS 633759 HAS SOUS 472910 HAS SOUPS 299127 WITH SCORE 299951.064
AT ITER 1233 NEW BEST:: SOT 1612513 SOS 823742 HAS SOPS 633566 HAS SOUS 472387 HAS SOUPS 298733 WITH SCORE 299556.742
AT ITER 1243 NEW BEST:: SOT 1612513 SOS 823707 HAS SOPS 633352 HAS SOUS 472352 HAS SOUPS 298519 WITH SCORE 299342.707
AT ITER 1244 NEW BEST:: SOT 1612308 SOS 823297 HAS SOPS 633147 HAS SOUS 471942 HAS SOUPS 298314 WITH SCORE 299137.297
AT ITER 1245 NEW BEST:: SOT 1612369 SOS 823234 HAS SOPS 633084 HAS SOUS 471816 HAS SOUPS 298188 WITH SCORE 299011.234
AT ITER 1247 NEW BEST:: SOT 1611972 SOS 822440 HAS SOPS 632687 HAS SOUS 471022 HAS SOUPS 297791 WITH SCORE 298613.44
AT ITER 1258 NEW BEST:: SOT 1611972 SOS 822440 HAS SOPS 632553 HAS SOUS 471022 HAS SOUPS 297657 WITH SCORE 298479.44
AT ITER 1261 NEW BEST:: SOT 1611972 SOS 822314 HAS SOPS 632553 HAS SOUS 470896 HAS SOUPS 297657 WITH SCORE 298479.314
AT ITER 1270 NEW BEST:: SOT 1611780 SOS 821930 HAS SOPS 632361 HAS SOUS 470512 HAS SOUPS 297465 WITH SCORE 298286.93
AT ITER 1271 NEW BEST:: SOT 1611780 SOS 822354 HAS SOPS 632361 HAS SOUS 470512 HAS SOUPS 297431 WITH SCORE 298253.354
AT ITER 1273 NEW BEST:: SOT 1611462 SOS 822036 HAS SOPS 632043 HAS SOUS 470356 HAS SOUPS 297275 WITH SCORE 298097.036
AT ITER 1276 NEW BEST:: SOT 1611098 SOS 821672 HAS SOPS 631679 HAS SOUS 470080 HAS SOUPS 296999 WITH SCORE 297820.672
AT ITER 1281 NEW BEST:: SOT 1611098 SOS 822019 HAS SOPS 631679 HAS SOUS 470089 HAS SOUPS 296830 WITH SCORE 297652.019
AT ITER 1282 NEW BEST:: SOT 1611098 SOS 822019 HAS SOPS 631491 HAS SOUS 470089 HAS SOUPS 296642 WITH SCORE 297464.019
AT ITER 1285 NEW BEST:: SOT 1611097 SOS 822018 HAS SOPS 631490 HAS SOUS 470087 HAS SOUPS 296640 WITH SCORE 297462.018
AT ITER 1288 NEW BEST:: SOT 1610985 SOS 821907 HAS SOPS 631379 HAS SOUS 469954 HAS SOUPS 296507 WITH SCORE 297328.907
AT ITER 1302 NEW BEST:: SOT 1610427 SOS 820804 HAS SOPS 631045 HAS SOUS 469362 HAS SOUPS 296458 WITH SCORE 297278.804
AT ITER 1306 NEW BEST:: SOT 1609608 SOS 820160 HAS SOPS 630401 HAS SOUS 468618 HAS SOUPS 295714 WITH SCORE 296534.16
AT ITER 1307 NEW BEST:: SOT 1609448 SOS 820160 HAS SOPS 630401 HAS SOUS 468458 HAS SOUPS 295554 WITH SCORE 296374.16
AT ITER 1339 NEW BEST:: SOT 1608705 SOS 819707 HAS SOPS 630001 HAS SOUS 468045 HAS SOUPS 295194 WITH SCORE 296013.707
AT ITER 1340 NEW BEST:: SOT 1608494 SOS 819281 HAS SOPS 629790 HAS SOUS 467623 HAS SOUPS 294987 WITH SCORE 295806.281
AT ITER 1361 NEW BEST:: SOT 1608197 SOS 818687 HAS SOPS 629493 HAS SOUS 467029 HAS SOUPS 294690 WITH SCORE 295508.687
AT ITER 1363 NEW BEST:: SOT 1608197 SOS 819120 HAS SOPS 629493 HAS SOUS 467142 HAS SOUPS 294530 WITH SCORE 295349.12
AT ITER 1366 NEW BEST:: SOT 1608044 SOS 818777 HAS SOPS 629340 HAS SOUS 466836 HAS SOUPS 294414 WITH SCORE 295232.777
AT ITER 1389 NEW BEST:: SOT 1608021 SOS 818754 HAS SOPS 629317 HAS SOUS 466790 HAS SOUPS 294368 WITH SCORE 295186.754
AT ITER 1392 NEW BEST:: SOT 1607719 SOS 818746 HAS SOPS 629366 HAS SOUS 466571 HAS SOUPS 294206 WITH SCORE 295024.746
AT ITER 1396 NEW BEST:: SOT 1607693 SOS 818720 HAS SOPS 629340 HAS SOUS 466519 HAS SOUPS 294154 WITH SCORE 294972.72
AT ITER 1402 NEW BEST:: SOT 1607683 SOS 818710 HAS SOPS 629330 HAS SOUS 466509 HAS SOUPS 294144 WITH SCORE 294962.71
AT ITER 1411 NEW BEST:: SOT 1607471 SOS 818193 HAS SOPS 629118 HAS SOUS 466085 HAS SOUPS 294025 WITH SCORE 294843.193
AT ITER 1416 NEW BEST:: SOT 1607434 SOS 818156 HAS SOPS 629081 HAS SOUS 466011 HAS SOUPS 293951 WITH SCORE 294769.156
AT ITER 1418 NEW BEST:: SOT 1607075 SOS 817438 HAS SOPS 628722 HAS SOUS 465293 HAS SOUPS 293592 WITH SCORE 294409.438
AT ITER 1421 NEW BEST:: SOT 1607075 SOS 818138 HAS SOPS 628722 HAS SOUS 465535 HAS SOUPS 293363 WITH SCORE 294181.138
AT ITER 1422 NEW BEST:: SOT 1606448 SOS 816961 HAS SOPS 628253 HAS SOUS 464810 HAS SOUPS 293186 WITH SCORE 294002.961
AT ITER 1424 NEW BEST:: SOT 1606066 SOS 816388 HAS SOPS 627871 HAS SOUS 464237 HAS SOUPS 292804 WITH SCORE 293620.388
AT ITER 1432 NEW BEST:: SOT 1606066 SOS 816314 HAS SOPS 627723 HAS SOUS 464163 HAS SOUPS 292656 WITH SCORE 293472.314
AT ITER 1434 NEW BEST:: SOT 1605870 SOS 816314 HAS SOPS 627811 HAS SOUS 463967 HAS SOUPS 292548 WITH SCORE 293364.314
AT ITER 1435 NEW BEST:: SOT 1605779 SOS 816878 HAS SOPS 627720 HAS SOUS 463927 HAS SOUPS 292127 WITH SCORE 292943.878
AT ITER 1441 NEW BEST:: SOT 1605779 SOS 816866 HAS SOPS 627720 HAS SOUS 463927 HAS SOUPS 292127 WITH SCORE 292943.866
AT ITER 1444 NEW BEST:: SOT 1605528 SOS 816364 HAS SOPS 627469 HAS SOUS 463425 HAS SOUPS 291876 WITH SCORE 292692.364
AT ITER 1446 NEW BEST:: SOT 1605528 SOS 817007 HAS SOPS 627469 HAS SOUS 463570 HAS SOUPS 291637 WITH SCORE 292454.007
AT ITER 1471 NEW BEST:: SOT 1605528 SOS 817552 HAS SOPS 627469 HAS SOUS 463577 HAS SOUPS 291398 WITH SCORE 292215.552
AT ITER 1475 NEW BEST:: SOT 1605528 SOS 817397 HAS SOPS 627469 HAS SOUS 463577 HAS SOUPS 291398 WITH SCORE 292215.397
AT ITER 1480 NEW BEST:: SOT 1605538 SOS 818021 HAS SOPS 627479 HAS SOUS 463649 HAS SOUPS 291179 WITH SCORE 291997.021
AT ITER 1482 NEW BEST:: SOT 1605374 SOS 817775 HAS SOPS 627315 HAS SOUS 463403 HAS SOUPS 291015 WITH SCORE 291832.775
AT ITER 1486 NEW BEST:: SOT 1605131 SOS 817362 HAS SOPS 627072 HAS SOUS 463087 HAS SOUPS 290869 WITH SCORE 291686.362
AT ITER 1508 NEW BEST:: SOT 1604863 SOS 816960 HAS SOPS 626804 HAS SOUS 462685 HAS SOUPS 290601 WITH SCORE 291417.96
AT ITER 1525 NEW BEST:: SOT 1604863 SOS 817046 HAS SOPS 626632 HAS SOUS 462685 HAS SOUPS 290429 WITH SCORE 291246.046
AT ITER 1535 NEW BEST:: SOT 1604863 SOS 816714 HAS SOPS 626632 HAS SOUS 462626 HAS SOUPS 290429 WITH SCORE 291245.714
AT ITER 1549 NEW BEST:: SOT 1604822 SOS 816769 HAS SOPS 626591 HAS SOUS 462640 HAS SOUPS 290347 WITH SCORE 291163.769
AT ITER 1553 NEW BEST:: SOT 1604767 SOS 816714 HAS SOPS 626536 HAS SOUS 462530 HAS SOUPS 290237 WITH SCORE 291053.714
AT ITER 1556 NEW BEST:: SOT 1604760 SOS 816707 HAS SOPS 626529 HAS SOUS 462523 HAS SOUPS 290230 WITH SCORE 291046.707
AT ITER 1569 NEW BEST:: SOT 1604143 SOS 816385 HAS SOPS 626265 HAS SOUS 462361 HAS SOUPS 290126 WITH SCORE 290942.385
AT ITER 1583 NEW BEST:: SOT 1603965 SOS 816029 HAS SOPS 626087 HAS SOUS 462005 HAS SOUPS 289948 WITH SCORE 290764.029
AT ITER 1588 NEW BEST:: SOT 1603707 SOS 815771 HAS SOPS 625829 HAS SOUS 461489 HAS SOUPS 289432 WITH SCORE 290247.771
AT ITER 1592 NEW BEST:: SOT 1603707 SOS 816220 HAS SOPS 625829 HAS SOUS 461582 HAS SOUPS 289254 WITH SCORE 290070.22
AT ITER 1618 NEW BEST:: SOT 1603800 SOS 817052 HAS SOPS 625922 HAS SOUS 461827 HAS SOUPS 289201 WITH SCORE 290018.052
AT ITER 1624 NEW BEST:: SOT 1603548 SOS 816548 HAS SOPS 625670 HAS SOUS 461323 HAS SOUPS 288949 WITH SCORE 289765.548
AT ITER 1625 NEW BEST:: SOT 1603537 SOS 816537 HAS SOPS 625659 HAS SOUS 461301 HAS SOUPS 288927 WITH SCORE 289743.537
AT ITER 1638 NEW BEST:: SOT 1603391 SOS 816245 HAS SOPS 625513 HAS SOUS 461009 HAS SOUPS 288781 WITH SCORE 289597.245
AT ITER 1644 NEW BEST:: SOT 1603391 SOS 816138 HAS SOPS 625513 HAS SOUS 460902 HAS SOUPS 288781 WITH SCORE 289597.138
AT ITER 1649 NEW BEST:: SOT 1603391 SOS 816118 HAS SOPS 625513 HAS SOUS 460882 HAS SOUPS 288781 WITH SCORE 289597.118
AT ITER 1666 NEW BEST:: SOT 1603391 SOS 816118 HAS SOPS 625445 HAS SOUS 460882 HAS SOUPS 288713 WITH SCORE 289529.118
AT ITER 1667 NEW BEST:: SOT 1603449 SOS 816157 HAS SOPS 625484 HAS SOUS 460861 HAS SOUPS 288692 WITH SCORE 289508.157
AT ITER 1675 NEW BEST:: SOT 1603276 SOS 815984 HAS SOPS 625484 HAS SOUS 460515 HAS SOUPS 288519 WITH SCORE 289334.984
AT ITER 1676 NEW BEST:: SOT 1603073 SOS 815567 HAS SOPS 625281 HAS SOUS 460109 HAS SOUPS 288327 WITH SCORE 289142.567
AT ITER 1678 NEW BEST:: SOT 1602930 SOS 815561 HAS SOPS 625275 HAS SOUS 460091 HAS SOUPS 288309 WITH SCORE 289124.561
AT ITER 1684 NEW BEST:: SOT 1602915 SOS 815546 HAS SOPS 625260 HAS SOUS 460061 HAS SOUPS 288279 WITH SCORE 289094.546
AT ITER 1691 NEW BEST:: SOT 1602754 SOS 815385 HAS SOPS 625099 HAS SOUS 460061 HAS SOUPS 288279 WITH SCORE 289094.385
AT ITER 1704 NEW BEST:: SOT 1602737 SOS 815368 HAS SOPS 625082 HAS SOUS 460027 HAS SOUPS 288245 WITH SCORE 289060.368
AT ITER 1705 NEW BEST:: SOT 1602388 SOS 814839 HAS SOPS 624733 HAS SOUS 459498 HAS SOUPS 287896 WITH SCORE 288710.839
AT ITER 1728 NEW BEST:: SOT 1602374 SOS 814825 HAS SOPS 624719 HAS SOUS 459470 HAS SOUPS 287868 WITH SCORE 288682.825
AT ITER 1731 NEW BEST:: SOT 1601974 SOS 813972 HAS SOPS 624319 HAS SOUS 458670 HAS SOUPS 287521 WITH SCORE 288334.972
AT ITER 1741 NEW BEST:: SOT 1601651 SOS 813326 HAS SOPS 623996 HAS SOUS 458347 HAS SOUPS 287521 WITH SCORE 288334.326
AT ITER 1742 NEW BEST:: SOT 1601435 SOS 812892 HAS SOPS 623986 HAS SOUS 458123 HAS SOUPS 287513 WITH SCORE 288325.892
AT ITER 1756 NEW BEST:: SOT 1601310 SOS 812642 HAS SOPS 623861 HAS SOUS 457998 HAS SOUPS 287513 WITH SCORE 288325.642
AT ITER 1757 NEW BEST:: SOT 1601400 SOS 812514 HAS SOPS 623733 HAS SOUS 457949 HAS SOUPS 287464 WITH SCORE 288276.514
AT ITER 1766 NEW BEST:: SOT 1601366 SOS 812480 HAS SOPS 623699 HAS SOUS 457915 HAS SOUPS 287430 WITH SCORE 288242.48
AT ITER 1769 NEW BEST:: SOT 1600592 SOS 811147 HAS SOPS 623134 HAS SOUS 456905 HAS SOUPS 286977 WITH SCORE 287788.147
AT ITER 1775 NEW BEST:: SOT 1600672 SOS 812153 HAS SOPS 623214 HAS SOUS 457365 HAS SOUPS 286898 WITH SCORE 287710.153
AT ITER 1778 NEW BEST:: SOT 1600344 SOS 811497 HAS SOPS 622886 HAS SOUS 456709 HAS SOUPS 286570 WITH SCORE 287381.497
AT ITER 1787 NEW BEST:: SOT 1599608 SOS 811056 HAS SOPS 622603 HAS SOUS 456185 HAS SOUPS 286204 WITH SCORE 287015.056
AT ITER 1797 NEW BEST:: SOT 1599380 SOS 811056 HAS SOPS 622663 HAS SOUS 455957 HAS SOUPS 286036 WITH SCORE 286847.056
AT ITER 1800 NEW BEST:: SOT 1599380 SOS 810859 HAS SOPS 622663 HAS SOUS 455957 HAS SOUPS 286036 WITH SCORE 286846.859
AT ITER 1803 NEW BEST:: SOT 1599324 SOS 810747 HAS SOPS 622607 HAS SOUS 455845 HAS SOUPS 285980 WITH SCORE 286790.747
AT ITER 1810 NEW BEST:: SOT 1598981 SOS 810404 HAS SOPS 622264 HAS SOUS 455573 HAS SOUPS 285708 WITH SCORE 286518.404
AT ITER 1812 NEW BEST:: SOT 1598818 SOS 809918 HAS SOPS 622101 HAS SOUS 455247 HAS SOUPS 285705 WITH SCORE 286514.918
AT ITER 1816 NEW BEST:: SOT 1598624 SOS 809724 HAS SOPS 621907 HAS SOUS 455053 HAS SOUPS 285511 WITH SCORE 286320.724
AT ITER 1820 NEW BEST:: SOT 1598624 SOS 809491 HAS SOPS 621907 HAS SOUS 454820 HAS SOUPS 285511 WITH SCORE 286320.491
AT ITER 1821 NEW BEST:: SOT 1598624 SOS 810253 HAS SOPS 621907 HAS SOUS 455154 HAS SOUPS 285297 WITH SCORE 286107.253
AT ITER 1822 NEW BEST:: SOT 1598380 SOS 809765 HAS SOPS 621663 HAS SOUS 454910 HAS SOUPS 285297 WITH SCORE 286106.765
AT ITER 1851 NEW BEST:: SOT 1597762 SOS 809468 HAS SOPS 621560 HAS SOUS 454376 HAS SOUPS 284957 WITH SCORE 285766.468
AT ITER 1853 NEW BEST:: SOT 1597901 SOS 809327 HAS SOPS 621558 HAS SOUS 454233 HAS SOUPS 284953 WITH SCORE 285762.327
AT ITER 1864 NEW BEST:: SOT 1597854 SOS 809280 HAS SOPS 621511 HAS SOUS 454139 HAS SOUPS 284859 WITH SCORE 285668.28
AT ITER 1876 NEW BEST:: SOT 1597319 SOS 808982 HAS SOPS 621217 HAS SOUS 453833 HAS SOUPS 284557 WITH SCORE 285365.982
AT ITER 1882 NEW BEST:: SOT 1597190 SOS 808982 HAS SOPS 621297 HAS SOUS 453704 HAS SOUPS 284508 WITH SCORE 285316.982
AT ITER 1889 NEW BEST:: SOT 1596911 SOS 808182 HAS SOPS 621018 HAS SOUS 453146 HAS SOUPS 284471 WITH SCORE 285279.182
AT ITER 1898 NEW BEST:: SOT 1596726 SOS 807645 HAS SOPS 620833 HAS SOUS 452776 HAS SOUPS 284453 WITH SCORE 285260.645
AT ITER 1908 NEW BEST:: SOT 1516162 SOS 840936 HAS SOPS 654262 HAS SOUS 372363 HAS SOUPS 204178 WITH SCORE 205018.936
AT ITER 1910 NEW BEST:: SOT 1518604 SOS 824659 HAS SOPS 627659 HAS SOUS 364479 HAS SOUPS 196294 WITH SCORE 197118.659
AT ITER 1922 NEW BEST:: SOT 1518524 SOS 824435 HAS SOPS 627579 HAS SOUS 364181 HAS SOUPS 196137 WITH SCORE 196961.435
AT ITER 1947 NEW BEST:: SOT 1518431 SOS 824342 HAS SOPS 627486 HAS SOUS 363995 HAS SOUPS 195951 WITH SCORE 196775.342
AT ITER 1963 NEW BEST:: SOT 1518141 SOS 824052 HAS SOPS 627196 HAS SOUS 363723 HAS SOUPS 195679 WITH SCORE 196503.052
AT ITER 1965 NEW BEST:: SOT 1517491 SOS 823639 HAS SOPS 626857 HAS SOUS 363073 HAS SOUPS 195103 WITH SCORE 195926.639
AT ITER 1967 NEW BEST:: SOT 1517251 SOS 823252 HAS SOPS 626617 HAS SOUS 362740 HAS SOUPS 194890 WITH SCORE 195713.252
AT ITER 1978 NEW BEST:: SOT 1517185 SOS 823186 HAS SOPS 626551 HAS SOUS 362608 HAS SOUPS 194758 WITH SCORE 195581.186
AT ITER 1993 NEW BEST:: SOT 1517185 SOS 823876 HAS SOPS 626551 HAS SOUS 362608 HAS SOUPS 194413 WITH SCORE 195236.876
AT ITER 2008 NEW BEST:: SOT 1516854 SOS 823545 HAS SOPS 626220 HAS SOUS 362608 HAS SOUPS 194413 WITH SCORE 195236.545
AT ITER 2010 NEW BEST:: SOT 1516338 SOS 823208 HAS SOPS 625883 HAS SOUS 362134 HAS SOUPS 193939 WITH SCORE 194762.208
AT ITER 2026 NEW BEST:: SOT 1516437 SOS 823154 HAS SOPS 625585 HAS SOUS 362179 HAS SOUPS 193740 WITH SCORE 194563.154
AT ITER 2029 NEW BEST:: SOT 1516322 SOS 823039 HAS SOPS 625470 HAS SOUS 362179 HAS SOUPS 193740 WITH SCORE 194563.039
AT ITER 2036 NEW BEST:: SOT 1516447 SOS 824027 HAS SOPS 625595 HAS SOUS 362429 HAS SOUPS 193656 WITH SCORE 194480.027
AT ITER 2038 NEW BEST:: SOT 1516405 SOS 823985 HAS SOPS 625553 HAS SOUS 362345 HAS SOUPS 193572 WITH SCORE 194395.985
AT ITER 2039 NEW BEST:: SOT 1516150 SOS 823730 HAS SOPS 625161 HAS SOUS 361953 HAS SOUPS 193180 WITH SCORE 194003.73
AT ITER 2040 NEW BEST:: SOT 1515686 SOS 822945 HAS SOPS 624697 HAS SOUS 361489 HAS SOUPS 193037 WITH SCORE 193859.945
AT ITER 2043 NEW BEST:: SOT 1515663 SOS 822841 HAS SOPS 624673 HAS SOUS 361383 HAS SOUPS 193011 WITH SCORE 193833.841
AT ITER 2056 NEW BEST:: SOT 1515663 SOS 822841 HAS SOPS 624455 HAS SOUS 361383 HAS SOUPS 192793 WITH SCORE 193615.841
AT ITER 2058 NEW BEST:: SOT 1515663 SOS 822832 HAS SOPS 624455 HAS SOUS 361374 HAS SOUPS 192793 WITH SCORE 193615.832
AT ITER 2063 NEW BEST:: SOT 1515663 SOS 822722 HAS SOPS 624455 HAS SOUS 361374 HAS SOUPS 192793 WITH SCORE 193615.722
AT ITER 2073 NEW BEST:: SOT 1514871 SOS 821414 HAS SOPS 623779 HAS SOUS 360414 HAS SOUPS 192341 WITH SCORE 193162.414
AT ITER 2074 NEW BEST:: SOT 1514746 SOS 821289 HAS SOPS 623654 HAS SOUS 360164 HAS SOUPS 192091 WITH SCORE 192912.289
AT ITER 2084 NEW BEST:: SOT 1514746 SOS 821490 HAS SOPS 623252 HAS SOUS 360164 HAS SOUPS 191689 WITH SCORE 192510.49
AT ITER 2091 NEW BEST:: SOT 1514692 SOS 821436 HAS SOPS 623198 HAS SOUS 360110 HAS SOUPS 191635 WITH SCORE 192456.436
AT ITER 2098 NEW BEST:: SOT 1514594 SOS 821240 HAS SOPS 623100 HAS SOUS 360012 HAS SOUPS 191635 WITH SCORE 192456.24
AT ITER 2111 NEW BEST:: SOT 1514576 SOS 821038 HAS SOPS 623082 HAS SOUS 359792 HAS SOUPS 191599 WITH SCORE 192420.038
AT ITER 2120 NEW BEST:: SOT 1514576 SOS 820940 HAS SOPS 623082 HAS SOUS 359792 HAS SOUPS 191599 WITH SCORE 192419.94
AT ITER 2129 NEW BEST:: SOT 1514508 SOS 820872 HAS SOPS 623014 HAS SOUS 359792 HAS SOUPS 191599 WITH SCORE 192419.872
AT ITER 2130 NEW BEST:: SOT 1514442 SOS 820773 HAS SOPS 622948 HAS SOUS 359693 HAS SOUPS 191533 WITH SCORE 192353.773
AT ITER 2139 NEW BEST:: SOT 1514305 SOS 820636 HAS SOPS 622811 HAS SOUS 359556 HAS SOUPS 191396 WITH SCORE 192216.636
AT ITER 2153 NEW BEST:: SOT 1514229 SOS 820490 HAS SOPS 622735 HAS SOUS 359482 HAS SOUPS 191392 WITH SCORE 192212.49
AT ITER 2154 NEW BEST:: SOT 1514377 SOS 821555 HAS SOPS 622883 HAS SOUS 359778 HAS SOUPS 191326 WITH SCORE 192147.555
AT ITER 2156 NEW BEST:: SOT 1513927 SOS 821318 HAS SOPS 622433 HAS SOUS 359328 HAS SOUPS 190876 WITH SCORE 191697.318
AT ITER 2159 NEW BEST:: SOT 1513901 SOS 821318 HAS SOPS 622433 HAS SOUS 359302 HAS SOUPS 190850 WITH SCORE 191671.318
AT ITER 2162 NEW BEST:: SOT 1513901 SOS 822243 HAS SOPS 622433 HAS SOUS 359322 HAS SOUPS 190449 WITH SCORE 191271.243
AT ITER 2166 NEW BEST:: SOT 1513696 SOS 821863 HAS SOPS 622228 HAS SOUS 359087 HAS SOUPS 190389 WITH SCORE 191210.863
AT ITER 2167 NEW BEST:: SOT 1513466 SOS 821466 HAS SOPS 621998 HAS SOUS 358794 HAS SOUPS 190263 WITH SCORE 191084.466
AT ITER 2181 NEW BEST:: SOT 1513438 SOS 821483 HAS SOPS 622015 HAS SOUS 358783 HAS SOUPS 190252 WITH SCORE 191073.483
AT ITER 2186 NEW BEST:: SOT 1513450 SOS 821512 HAS SOPS 622027 HAS SOUS 358790 HAS SOUPS 190242 WITH SCORE 191063.512
AT ITER 2194 NEW BEST:: SOT 1513355 SOS 821322 HAS SOPS 621932 HAS SOUS 358505 HAS SOUPS 190052 WITH SCORE 190873.322
AT ITER 2200 NEW BEST:: SOT 1513353 SOS 821320 HAS SOPS 621930 HAS SOUS 358501 HAS SOUPS 190048 WITH SCORE 190869.32
AT ITER 2211 NEW BEST:: SOT 1513353 SOS 821039 HAS SOPS 621930 HAS SOUS 358501 HAS SOUPS 190048 WITH SCORE 190869.039
AT ITER 2223 NEW BEST:: SOT 1513358 SOS 820994 HAS SOPS 621885 HAS SOUS 358461 HAS SOUPS 190008 WITH SCORE 190828.994
AT ITER 2226 NEW BEST:: SOT 1512611 SOS 819711 HAS SOPS 621274 HAS SOUS 357586 HAS SOUPS 189616 WITH SCORE 190435.711
AT ITER 2235 NEW BEST:: SOT 1512164 SOS 819512 HAS SOPS 621216 HAS SOUS 357183 HAS SOUPS 189354 WITH SCORE 190173.512
AT ITER 2239 NEW BEST:: SOT 1512164 SOS 819474 HAS SOPS 621140 HAS SOUS 357145 HAS SOUPS 189278 WITH SCORE 190097.474
AT ITER 2245 NEW BEST:: SOT 1511839 SOS 818807 HAS SOPS 620833 HAS SOUS 356532 HAS SOUPS 188989 WITH SCORE 189807.807
AT ITER 2252 NEW BEST:: SOT 1511839 SOS 818791 HAS SOPS 620833 HAS SOUS 356516 HAS SOUPS 188989 WITH SCORE 189807.791
AT ITER 2258 NEW BEST:: SOT 1511839 SOS 818779 HAS SOPS 620833 HAS SOUS 356504 HAS SOUPS 188989 WITH SCORE 189807.779
AT ITER 2285 NEW BEST:: SOT 1511855 SOS 818795 HAS SOPS 620805 HAS SOUS 356416 HAS SOUPS 188901 WITH SCORE 189719.795
AT ITER 2291 NEW BEST:: SOT 1511855 SOS 818717 HAS SOPS 620805 HAS SOUS 356416 HAS SOUPS 188901 WITH SCORE 189719.717
AT ITER 2293 NEW BEST:: SOT 1511761 SOS 818440 HAS SOPS 620711 HAS SOUS 356045 HAS SOUPS 188713 WITH SCORE 189531.44
AT ITER 2294 NEW BEST:: SOT 1512511 SOS 820061 HAS SOPS 620801 HAS SOUS 356920 HAS SOUPS 188670 WITH SCORE 189490.061
AT ITER 2300 NEW BEST:: SOT 1512367 SOS 819814 HAS SOPS 620657 HAS SOUS 356673 HAS SOUPS 188526 WITH SCORE 189345.814
AT ITER 2304 NEW BEST:: SOT 1511854 SOS 819426 HAS SOPS 620269 HAS SOUS 356261 HAS SOUPS 188114 WITH SCORE 188933.426
AT ITER 2311 NEW BEST:: SOT 1511854 SOS 816735 HAS SOPS 617578 HAS SOUS 356261 HAS SOUPS 188114 WITH SCORE 188930.735
AT ITER 2329 NEW BEST:: SOT 1511783 SOS 816735 HAS SOPS 617624 HAS SOUS 356190 HAS SOUPS 188089 WITH SCORE 188905.735
AT ITER 2345 NEW BEST:: SOT 1511921 SOS 817855 HAS SOPS 617762 HAS SOUS 356614 HAS SOUPS 187964 WITH SCORE 188781.855
AT ITER 2347 NEW BEST:: SOT 1511851 SOS 817376 HAS SOPS 617692 HAS SOUS 356207 HAS SOUPS 187895 WITH SCORE 188712.376
AT ITER 2354 NEW BEST:: SOT 1511038 SOS 815978 HAS SOPS 616965 HAS SOUS 355166 HAS SOUPS 187353 WITH SCORE 188168.978
AT ITER 2356 NEW BEST:: SOT 1510970 SOS 815910 HAS SOPS 616897 HAS SOUS 355166 HAS SOUPS 187353 WITH SCORE 188168.91
AT ITER 2359 NEW BEST:: SOT 1510525 SOS 815223 HAS SOPS 616452 HAS SOUS 354518 HAS SOUPS 186947 WITH SCORE 187762.223
AT ITER 2365 NEW BEST:: SOT 1510215 SOS 814758 HAS SOPS 616142 HAS SOUS 354053 HAS SOUPS 186637 WITH SCORE 187451.758
AT ITER 2369 NEW BEST:: SOT 1510215 SOS 814758 HAS SOPS 616142 HAS SOUS 353996 HAS SOUPS 186580 WITH SCORE 187394.758
AT ITER 2370 NEW BEST:: SOT 1510118 SOS 814661 HAS SOPS 616045 HAS SOUS 353996 HAS SOUPS 186580 WITH SCORE 187394.661
AT ITER 2383 NEW BEST:: SOT 1510155 SOS 814616 HAS SOPS 615866 HAS SOUS 353817 HAS SOUPS 186401 WITH SCORE 187215.616
AT ITER 2386 NEW BEST:: SOT 1509395 SOS 889195 HAS SOPS 690445 HAS SOUS 353631 HAS SOUPS 186215 WITH SCORE 187104.195
AT ITER 2396 NEW BEST:: SOT 1509348 SOS 889148 HAS SOPS 690351 HAS SOUS 353540 HAS SOUPS 186077 WITH SCORE 186966.148
AT ITER 2401 NEW BEST:: SOT 1509131 SOS 888931 HAS SOPS 690134 HAS SOUS 353323 HAS SOUPS 185860 WITH SCORE 186748.931
AT ITER 2415 NEW BEST:: SOT 1509098 SOS 888898 HAS SOPS 690101 HAS SOUS 353290 HAS SOUPS 185827 WITH SCORE 186715.898
AT ITER 2438 NEW BEST:: SOT 1508551 SOS 887678 HAS SOPS 689554 HAS SOUS 352743 HAS SOUPS 185663 WITH SCORE 186550.678
AT ITER 2447 NEW BEST:: SOT 1508531 SOS 887658 HAS SOPS 689534 HAS SOUS 352703 HAS SOUPS 185623 WITH SCORE 186510.658
AT ITER 2450 NEW BEST:: SOT 1508585 SOS 887820 HAS SOPS 689534 HAS SOUS 352703 HAS SOUPS 185569 WITH SCORE 186456.82
AT ITER 2453 NEW BEST:: SOT 1508021 SOS 886841 HAS SOPS 688974 HAS SOUS 351994 HAS SOUPS 185275 WITH SCORE 186161.841
AT ITER 2454 NEW BEST:: SOT 1507876 SOS 886696 HAS SOPS 688829 HAS SOUS 351849 HAS SOUPS 185130 WITH SCORE 186016.696
AT ITER 2457 NEW BEST:: SOT 1507854 SOS 886674 HAS SOPS 688807 HAS SOUS 351805 HAS SOUPS 185086 WITH SCORE 185972.674
AT ITER 2469 NEW BEST:: SOT 1507854 SOS 886674 HAS SOPS 688649 HAS SOUS 351805 HAS SOUPS 184928 WITH SCORE 185814.674
AT ITER 2479 NEW BEST:: SOT 1507720 SOS 886540 HAS SOPS 688515 HAS SOUS 351671 HAS SOUPS 184794 WITH SCORE 185680.54
AT ITER 2489 NEW BEST:: SOT 1508145 SOS 887796 HAS SOPS 688752 HAS SOUS 352096 HAS SOUPS 184650 WITH SCORE 185537.796
AT ITER 2495 NEW BEST:: SOT 1508277 SOS 888116 HAS SOPS 688884 HAS SOUS 352209 HAS SOUPS 184575 WITH SCORE 185463.116
AT ITER 2501 NEW BEST:: SOT 1508277 SOS 888109 HAS SOPS 688886 HAS SOUS 352200 HAS SOUPS 184575 WITH SCORE 185463.109
AT ITER 2522 NEW BEST:: SOT 1508276 SOS 887851 HAS SOPS 688628 HAS SOUS 352199 HAS SOUPS 184574 WITH SCORE 185461.851
AT ITER 2536 NEW BEST:: SOT 1508099 SOS 887674 HAS SOPS 688395 HAS SOUS 351966 HAS SOUPS 184341 WITH SCORE 185228.674
AT ITER 2537 NEW BEST:: SOT 1507645 SOS 887220 HAS SOPS 687941 HAS SOUS 351512 HAS SOUPS 183887 WITH SCORE 184774.22
AT ITER 2538 NEW BEST:: SOT 1507746 SOS 887289 HAS SOPS 688010 HAS SOUS 351478 HAS SOUPS 183853 WITH SCORE 184740.289
AT ITER 2544 NEW BEST:: SOT 1507908 SOS 888369 HAS SOPS 688172 HAS SOUS 351802 HAS SOUPS 183828 WITH SCORE 184716.369
AT ITER 2580 NEW BEST:: SOT 1507895 SOS 888356 HAS SOPS 688159 HAS SOUS 351776 HAS SOUPS 183802 WITH SCORE 184690.356
AT ITER 2581 NEW BEST:: SOT 1507985 SOS 888496 HAS SOPS 688005 HAS SOUS 351866 HAS SOUPS 183598 WITH SCORE 184486.496
AT ITER 2601 NEW BEST:: SOT 1507985 SOS 888476 HAS SOPS 687985 HAS SOUS 351846 HAS SOUPS 183578 WITH SCORE 184466.476
AT ITER 2602 NEW BEST:: SOT 1507984 SOS 888450 HAS SOPS 687959 HAS SOUS 351845 HAS SOUPS 183577 WITH SCORE 184465.45
AT ITER 2605 NEW BEST:: SOT 1507640 SOS 887805 HAS SOPS 687615 HAS SOUS 351458 HAS SOUPS 183450 WITH SCORE 184337.805
AT ITER 2606 NEW BEST:: SOT 1507467 SOS 887797 HAS SOPS 687607 HAS SOUS 351285 HAS SOUPS 183277 WITH SCORE 184164.797
AT ITER 2612 NEW BEST:: SOT 1507467 SOS 887775 HAS SOPS 687607 HAS SOUS 351263 HAS SOUPS 183277 WITH SCORE 184164.775
AT ITER 2616 NEW BEST:: SOT 1507341 SOS 887649 HAS SOPS 687481 HAS SOUS 351011 HAS SOUPS 183025 WITH SCORE 183912.649
AT ITER 2621 NEW BEST:: SOT 1507264 SOS 887495 HAS SOPS 687327 HAS SOUS 350857 HAS SOUPS 182871 WITH SCORE 183758.495
AT ITER 2622 NEW BEST:: SOT 1507086 SOS 887201 HAS SOPS 687033 HAS SOUS 350501 HAS SOUPS 182515 WITH SCORE 183402.201
AT ITER 2624 NEW BEST:: SOT 1507085 SOS 887029 HAS SOPS 686861 HAS SOUS 350500 HAS SOUPS 182514 WITH SCORE 183401.029
AT ITER 2633 NEW BEST:: SOT 1506999 SOS 886857 HAS SOPS 686775 HAS SOUS 350242 HAS SOUPS 182342 WITH SCORE 183228.857
AT ITER 2654 NEW BEST:: SOT 1506418 SOS 886276 HAS SOPS 686194 HAS SOUS 349650 HAS SOUPS 181750 WITH SCORE 182636.276
AT ITER 2662 NEW BEST:: SOT 1506288 SOS 886016 HAS SOPS 686064 HAS SOUS 349520 HAS SOUPS 181750 WITH SCORE 182636.016
AT ITER 2671 NEW BEST:: SOT 1506281 SOS 886009 HAS SOPS 686057 HAS SOUS 349506 HAS SOUPS 181736 WITH SCORE 182622.009
AT ITER 2683 NEW BEST:: SOT 1505656 SOS 885384 HAS SOPS 685590 HAS SOUS 349412 HAS SOUPS 181642 WITH SCORE 182527.384
AT ITER 2713 NEW BEST:: SOT 1505656 SOS 885826 HAS SOPS 685590 HAS SOUS 349412 HAS SOUPS 181595 WITH SCORE 182480.826
AT ITER 2721 NEW BEST:: SOT 1505555 SOS 885651 HAS SOPS 685415 HAS SOUS 349279 HAS SOUPS 181462 WITH SCORE 182347.651
AT ITER 2733 NEW BEST:: SOT 1505555 SOS 885511 HAS SOPS 685275 HAS SOUS 349139 HAS SOUPS 181322 WITH SCORE 182207.511
AT ITER 2738 NEW BEST:: SOT 1505702 SOS 886124 HAS SOPS 685422 HAS SOUS 349176 HAS SOUPS 181126 WITH SCORE 182012.124
AT ITER 2743 NEW BEST:: SOT 1505781 SOS 887032 HAS SOPS 685501 HAS SOUS 349334 HAS SOUPS 180973 WITH SCORE 181860.032
AT ITER 2752 NEW BEST:: SOT 1505757 SOS 887008 HAS SOPS 685477 HAS SOUS 349310 HAS SOUPS 180949 WITH SCORE 181836.008
AT ITER 2755 NEW BEST:: SOT 1496777 SOS 878028 HAS SOPS 676497 HAS SOUS 339928 HAS SOUPS 171567 WITH SCORE 172445.028
AT ITER 2769 NEW BEST:: SOT 1496777 SOS 878020 HAS SOPS 676497 HAS SOUS 339928 HAS SOUPS 171567 WITH SCORE 172445.02
AT ITER 2777 NEW BEST:: SOT 1496311 SOS 877781 HAS SOPS 676258 HAS SOUS 339713 HAS SOUPS 171352 WITH SCORE 172229.781
AT ITER 2786 NEW BEST:: SOT 1495807 SOS 876774 HAS SOPS 675754 HAS SOUS 339208 HAS SOUPS 171202 WITH SCORE 172078.774
AT ITER 2789 NEW BEST:: SOT 1495861 SOS 877886 HAS SOPS 675808 HAS SOUS 339638 HAS SOUPS 170942 WITH SCORE 171819.886
AT ITER 2812 NEW BEST:: SOT 1495835 SOS 877812 HAS SOPS 675782 HAS SOUS 339538 HAS SOUPS 170890 WITH SCORE 171767.812
AT ITER 2817 NEW BEST:: SOT 1495844 SOS 878431 HAS SOPS 675791 HAS SOUS 339556 HAS SOUPS 170630 WITH SCORE 171508.431
AT ITER 2821 NEW BEST:: SOT 1495844 SOS 878318 HAS SOPS 675678 HAS SOUS 339556 HAS SOUPS 170630 WITH SCORE 171508.318
AT ITER 2827 NEW BEST:: SOT 1495596 SOS 878070 HAS SOPS 675430 HAS SOUS 339359 HAS SOUPS 170433 WITH SCORE 171311.07
AT ITER 2838 NEW BEST:: SOT 1495533 SOS 877944 HAS SOPS 675367 HAS SOUS 339296 HAS SOUPS 170433 WITH SCORE 171310.944
AT ITER 2841 NEW BEST:: SOT 1495507 SOS 877918 HAS SOPS 675341 HAS SOUS 339296 HAS SOUPS 170433 WITH SCORE 171310.918
AT ITER 2857 NEW BEST:: SOT 1495508 SOS 877919 HAS SOPS 675342 HAS SOUS 339230 HAS SOUPS 170367 WITH SCORE 171244.919
AT ITER 2861 NEW BEST:: SOT 1495406 SOS 877817 HAS SOPS 675240 HAS SOUS 339026 HAS SOUPS 170163 WITH SCORE 171040.817
AT ITER 2868 NEW BEST:: SOT 1495351 SOS 877762 HAS SOPS 675185 HAS SOUS 338916 HAS SOUPS 170053 WITH SCORE 170930.762
AT ITER 2873 NEW BEST:: SOT 1495305 SOS 878443 HAS SOPS 675139 HAS SOUS 338965 HAS SOUPS 169668 WITH SCORE 170546.443
AT ITER 2877 NEW BEST:: SOT 1494805 SOS 877943 HAS SOPS 674639 HAS SOUS 338642 HAS SOUPS 169345 WITH SCORE 170222.943
AT ITER 2878 NEW BEST:: SOT 1495341 SOS 879159 HAS SOPS 674655 HAS SOUS 339178 HAS SOUPS 169210 WITH SCORE 170089.159
AT ITER 2884 NEW BEST:: SOT 1495341 SOS 879174 HAS SOPS 674625 HAS SOUS 339178 HAS SOUPS 169180 WITH SCORE 170059.174
AT ITER 2907 NEW BEST:: SOT 1495344 SOS 879163 HAS SOPS 674614 HAS SOUS 339162 HAS SOUPS 169164 WITH SCORE 170043.163
AT ITER 2908 NEW BEST:: SOT 1495344 SOS 879144 HAS SOPS 674614 HAS SOUS 339143 HAS SOUPS 169164 WITH SCORE 170043.144
AT ITER 2915 NEW BEST:: SOT 1495309 SOS 879082 HAS SOPS 674552 HAS SOUS 339074 HAS SOUPS 169095 WITH SCORE 169974.082
AT ITER 2925 NEW BEST:: SOT 1495309 SOS 879077 HAS SOPS 674552 HAS SOUS 339069 HAS SOUPS 169095 WITH SCORE 169974.077
AT ITER 2931 NEW BEST:: SOT 1495281 SOS 879000 HAS SOPS 674475 HAS SOUS 339014 HAS SOUPS 169040 WITH SCORE 169919.0
AT ITER 2933 NEW BEST:: SOT 1495098 SOS 878352 HAS SOPS 674292 HAS SOUS 338439 HAS SOUPS 168802 WITH SCORE 169680.352
AT ITER 2945 NEW BEST:: SOT 1494762 SOS 878252 HAS SOPS 674456 HAS SOUS 338103 HAS SOUPS 168730 WITH SCORE 169608.252
AT ITER 2948 NEW BEST:: SOT 1494577 SOS 878067 HAS SOPS 674271 HAS SOUS 338103 HAS SOUPS 168730 WITH SCORE 169608.067
AT ITER 2962 NEW BEST:: SOT 1494436 SOS 877840 HAS SOPS 674130 HAS SOUS 337907 HAS SOUPS 168620 WITH SCORE 169497.84
AT ITER 2966 NEW BEST:: SOT 1493827 SOS 877190 HAS SOPS 673562 HAS SOUS 337298 HAS SOUPS 168093 WITH SCORE 168970.19
AT ITER 2973 NEW BEST:: SOT 1493864 SOS 877214 HAS SOPS 673586 HAS SOUS 337283 HAS SOUPS 168078 WITH SCORE 168955.214
AT ITER 2976 NEW BEST:: SOT 1493863 SOS 877100 HAS SOPS 673472 HAS SOUS 337282 HAS SOUPS 168077 WITH SCORE 168954.1
AT ITER 2977 NEW BEST:: SOT 1493863 SOS 877100 HAS SOPS 673472 HAS SOUS 337263 HAS SOUPS 168058 WITH SCORE 168935.1
AT ITER 2979 NEW BEST:: SOT 1492912 SOS 875152 HAS SOPS 672522 HAS SOUS 336119 HAS SOUPS 167510 WITH SCORE 168385.152
AT ITER 2982 NEW BEST:: SOT 1492912 SOS 875187 HAS SOPS 672452 HAS SOUS 336119 HAS SOUPS 167440 WITH SCORE 168315.187
AT ITER 2996 NEW BEST:: SOT 1492989 SOS 875436 HAS SOPS 672501 HAS SOUS 336103 HAS SOUPS 167324 WITH SCORE 168199.436
AT ITER 2997 NEW BEST:: SOT 1492989 SOS 875312 HAS SOPS 672377 HAS SOUS 336103 HAS SOUPS 167324 WITH SCORE 168199.312
AT ITER 3009 NEW BEST:: SOT 1492859 SOS 875052 HAS SOPS 672247 HAS SOUS 335973 HAS SOUPS 167324 WITH SCORE 168199.052
AT ITER 3017 NEW BEST:: SOT 1492499 SOS 874692 HAS SOPS 671887 HAS SOUS 335645 HAS SOUPS 166996 WITH SCORE 167870.692
AT ITER 3060 NEW BEST:: SOT 1492317 SOS 874510 HAS SOPS 671705 HAS SOUS 335645 HAS SOUPS 166996 WITH SCORE 167870.51
AT ITER 3065 NEW BEST:: SOT 1492111 SOS 874304 HAS SOPS 671499 HAS SOUS 335233 HAS SOUPS 166584 WITH SCORE 167458.304
AT ITER 3070 NEW BEST:: SOT 1492000 SOS 874304 HAS SOPS 671499 HAS SOUS 335122 HAS SOUPS 166473 WITH SCORE 167347.304
AT ITER 3071 NEW BEST:: SOT 1492018 SOS 874304 HAS SOPS 671365 HAS SOUS 335140 HAS SOUPS 166357 WITH SCORE 167231.304
AT ITER 3072 NEW BEST:: SOT 1492017 SOS 874143 HAS SOPS 671204 HAS SOUS 335139 HAS SOUPS 166356 WITH SCORE 167230.143
AT ITER 3087 NEW BEST:: SOT 1492017 SOS 874143 HAS SOPS 671062 HAS SOUS 334997 HAS SOUPS 166072 WITH SCORE 166946.143
AT ITER 3094 NEW BEST:: SOT 1491690 SOS 873816 HAS SOPS 670735 HAS SOUS 334997 HAS SOUPS 166072 WITH SCORE 166945.816
AT ITER 3097 NEW BEST:: SOT 1491419 SOS 873274 HAS SOPS 670464 HAS SOUS 334726 HAS SOUPS 166072 WITH SCORE 166945.274
AT ITER 3105 NEW BEST:: SOT 1491365 SOS 873220 HAS SOPS 670410 HAS SOUS 334618 HAS SOUPS 165964 WITH SCORE 166837.22
AT ITER 3111 NEW BEST:: SOT 1491365 SOS 873220 HAS SOPS 670270 HAS SOUS 334618 HAS SOUPS 165824 WITH SCORE 166697.22
AT ITER 3136 NEW BEST:: SOT 1491365 SOS 872660 HAS SOPS 669712 HAS SOUS 334616 HAS SOUPS 165824 WITH SCORE 166696.66
AT ITER 3169 NEW BEST:: SOT 1491140 SOS 872478 HAS SOPS 669642 HAS SOUS 334546 HAS SOUPS 165754 WITH SCORE 166626.478
AT ITER 3179 NEW BEST:: SOT 1491076 SOS 872414 HAS SOPS 669578 HAS SOUS 334418 HAS SOUPS 165626 WITH SCORE 166498.414
AT ITER 3185 NEW BEST:: SOT 1491009 SOS 872347 HAS SOPS 669511 HAS SOUS 334418 HAS SOUPS 165626 WITH SCORE 166498.347
AT ITER 3197 NEW BEST:: SOT 1490606 SOS 871944 HAS SOPS 669108 HAS SOUS 334140 HAS SOUPS 165348 WITH SCORE 166219.944
AT ITER 3200 NEW BEST:: SOT 1490569 SOS 871907 HAS SOPS 669071 HAS SOUS 334066 HAS SOUPS 165274 WITH SCORE 166145.907
AT ITER 3206 NEW BEST:: SOT 1490569 SOS 872147 HAS SOPS 669071 HAS SOUS 334066 HAS SOUPS 165204 WITH SCORE 166076.147
AT ITER 3216 NEW BEST:: SOT 1489776 SOS 870818 HAS SOPS 668338 HAS SOUS 333016 HAS SOUPS 164630 WITH SCORE 165500.818
AT ITER 3219 NEW BEST:: SOT 1489775 SOS 870761 HAS SOPS 668281 HAS SOUS 333015 HAS SOUPS 164629 WITH SCORE 165499.761
AT ITER 3240 NEW BEST:: SOT 1489722 SOS 870708 HAS SOPS 668228 HAS SOUS 332909 HAS SOUPS 164523 WITH SCORE 165393.708
AT ITER 3256 NEW BEST:: SOT 1489673 SOS 870610 HAS SOPS 668179 HAS SOUS 332860 HAS SOUPS 164523 WITH SCORE 165393.61
AT ITER 3269 NEW BEST:: SOT 1489476 SOS 870578 HAS SOPS 668147 HAS SOUS 332621 HAS SOUPS 164284 WITH SCORE 165154.578
AT ITER 3279 NEW BEST:: SOT 1488694 SOS 869796 HAS SOPS 667365 HAS SOUS 331872 HAS SOUPS 163535 WITH SCORE 164404.796
AT ITER 3286 NEW BEST:: SOT 1491992 SOS 865668 HAS SOPS 657060 HAS SOUS 328961 HAS SOUPS 160624 WITH SCORE 161489.668
AT ITER 3290 NEW BEST:: SOT 1492515 SOS 867123 HAS SOPS 657383 HAS SOUS 329484 HAS SOUPS 160519 WITH SCORE 161386.123
AT ITER 3299 NEW BEST:: SOT 1492515 SOS 867152 HAS SOPS 657181 HAS SOUS 329441 HAS SOUPS 160245 WITH SCORE 161112.152
AT ITER 3302 NEW BEST:: SOT 1492515 SOS 866941 HAS SOPS 657181 HAS SOUS 329441 HAS SOUPS 160245 WITH SCORE 161111.941
AT ITER 3332 NEW BEST:: SOT 1492606 SOS 867123 HAS SOPS 657181 HAS SOUS 329441 HAS SOUPS 160154 WITH SCORE 161021.123
AT ITER 3338 NEW BEST:: SOT 1492744 SOS 868107 HAS SOPS 657319 HAS SOUS 329717 HAS SOUPS 160053 WITH SCORE 160921.107
AT ITER 3339 NEW BEST:: SOT 1492510 SOS 867667 HAS SOPS 657085 HAS SOUS 329455 HAS SOUPS 159908 WITH SCORE 160775.667
AT ITER 3356 NEW BEST:: SOT 1492654 SOS 867859 HAS SOPS 657107 HAS SOUS 329599 HAS SOUPS 159882 WITH SCORE 160749.859
AT ITER 3372 NEW BEST:: SOT 1492470 SOS 867879 HAS SOPS 657127 HAS SOUS 329230 HAS SOUPS 159513 WITH SCORE 160380.879
AT ITER 3383 NEW BEST:: SOT 1492212 SOS 867513 HAS SOPS 656869 HAS SOUS 328606 HAS SOUPS 158997 WITH SCORE 159864.513
AT ITER 3404 NEW BEST:: SOT 1492067 SOS 867368 HAS SOPS 656724 HAS SOUS 328606 HAS SOUPS 158997 WITH SCORE 159864.368
AT ITER 3412 NEW BEST:: SOT 1492067 SOS 867357 HAS SOPS 656724 HAS SOUS 328606 HAS SOUPS 158997 WITH SCORE 159864.357
AT ITER 3416 NEW BEST:: SOT 1491808 SOS 866900 HAS SOPS 656205 HAS SOUS 328087 HAS SOUPS 158478 WITH SCORE 159344.9
AT ITER 3430 NEW BEST:: SOT 1491797 SOS 866651 HAS SOPS 655956 HAS SOUS 328064 HAS SOUPS 158455 WITH SCORE 159321.651
AT ITER 3434 NEW BEST:: SOT 1491846 SOS 866558 HAS SOPS 655863 HAS SOUS 327971 HAS SOUPS 158362 WITH SCORE 159228.558
AT ITER 3453 NEW BEST:: SOT 1492303 SOS 867727 HAS SOPS 656320 HAS SOUS 328252 HAS SOUPS 158262 WITH SCORE 159129.727
AT ITER 3471 NEW BEST:: SOT 1492280 SOS 867652 HAS SOPS 656297 HAS SOUS 328154 HAS SOUPS 158216 WITH SCORE 159083.652
AT ITER 3506 NEW BEST:: SOT 1492434 SOS 867652 HAS SOPS 656099 HAS SOUS 328308 HAS SOUPS 158172 WITH SCORE 159039.652
AT ITER 3512 NEW BEST:: SOT 1492370 SOS 867588 HAS SOPS 656035 HAS SOUS 328180 HAS SOUPS 158044 WITH SCORE 158911.588
AT ITER 3543 NEW BEST:: SOT 1492666 SOS 868314 HAS SOPS 655831 HAS SOUS 328476 HAS SOUPS 157809 WITH SCORE 158677.314
AT ITER 3560 NEW BEST:: SOT 1492625 SOS 868273 HAS SOPS 655790 HAS SOUS 328394 HAS SOUPS 157727 WITH SCORE 158595.273
AT ITER 3563 NEW BEST:: SOT 1492501 SOS 868025 HAS SOPS 655666 HAS SOUS 328270 HAS SOUPS 157727 WITH SCORE 158595.025
AT ITER 3582 NEW BEST:: SOT 1492342 SOS 867866 HAS SOPS 655507 HAS SOUS 327952 HAS SOUPS 157409 WITH SCORE 158276.866
AT ITER 3590 NEW BEST:: SOT 1492342 SOS 867728 HAS SOPS 655369 HAS SOUS 327952 HAS SOUPS 157409 WITH SCORE 158276.728
AT ITER 3592 NEW BEST:: SOT 1492291 SOS 867626 HAS SOPS 655318 HAS SOUS 327901 HAS SOUPS 157409 WITH SCORE 158276.626
AT ITER 3640 NEW BEST:: SOT 1492059 SOS 867278 HAS SOPS 655086 HAS SOUS 327553 HAS SOUPS 157177 WITH SCORE 158044.278
AT ITER 3645 NEW BEST:: SOT 1492093 SOS 867360 HAS SOPS 654986 HAS SOUS 327587 HAS SOUPS 157029 WITH SCORE 157896.36
AT ITER 3664 NEW BEST:: SOT 1492060 SOS 867327 HAS SOPS 654953 HAS SOUS 327521 HAS SOUPS 156963 WITH SCORE 157830.327
AT ITER 3666 NEW BEST:: SOT 1492059 SOS 867138 HAS SOPS 654764 HAS SOUS 327520 HAS SOUPS 156962 WITH SCORE 157829.138
AT ITER 3675 NEW BEST:: SOT 1492144 SOS 867494 HAS SOPS 654849 HAS SOUS 327334 HAS SOUPS 156505 WITH SCORE 157372.494
AT ITER 3678 NEW BEST:: SOT 1492136 SOS 867409 HAS SOPS 654764 HAS SOUS 327318 HAS SOUPS 156489 WITH SCORE 157356.409
AT ITER 3682 NEW BEST:: SOT 1492595 SOS 868599 HAS SOPS 655131 HAS SOUS 327777 HAS SOUPS 156460 WITH SCORE 157328.599
AT ITER 3705 NEW BEST:: SOT 1492579 SOS 868583 HAS SOPS 655115 HAS SOUS 327745 HAS SOUPS 156428 WITH SCORE 157296.583
AT ITER 3706 NEW BEST:: SOT 1492435 SOS 868439 HAS SOPS 654971 HAS SOUS 327745 HAS SOUPS 156428 WITH SCORE 157296.439
AT ITER 3716 NEW BEST:: SOT 1492393 SOS 868265 HAS SOPS 654929 HAS SOUS 327529 HAS SOUPS 156344 WITH SCORE 157212.265
AT ITER 3719 NEW BEST:: SOT 1492393 SOS 868247 HAS SOPS 654695 HAS SOUS 327511 HAS SOUPS 156110 WITH SCORE 156978.247
AT ITER 3742 NEW BEST:: SOT 1492393 SOS 868580 HAS SOPS 654695 HAS SOUS 327511 HAS SOUPS 156002 WITH SCORE 156870.58
AT ITER 3744 NEW BEST:: SOT 1492393 SOS 868502 HAS SOPS 654539 HAS SOUS 327433 HAS SOUPS 155846 WITH SCORE 156714.502
AT ITER 3763 NEW BEST:: SOT 1492255 SOS 868364 HAS SOPS 654401 HAS SOUS 327157 HAS SOUPS 155570 WITH SCORE 156438.364
AT ITER 3803 NEW BEST:: SOT 1491592 SOS 867653 HAS SOPS 653860 HAS SOUS 326494 HAS SOUPS 155077 WITH SCORE 155944.653
AT ITER 3806 NEW BEST:: SOT 1491622 SOS 867586 HAS SOPS 653793 HAS SOUS 326427 HAS SOUPS 155010 WITH SCORE 155877.586
AT ITER 3816 NEW BEST:: SOT 1491453 SOS 867586 HAS SOPS 653793 HAS SOUS 326258 HAS SOUPS 154841 WITH SCORE 155708.586
AT ITER 3826 NEW BEST:: SOT 1491266 SOS 866567 HAS SOPS 653606 HAS SOUS 325714 HAS SOUPS 154798 WITH SCORE 155664.567
AT ITER 3827 NEW BEST:: SOT 1491266 SOS 802365 HAS SOPS 589356 HAS SOUS 325469 HAS SOUPS 154505 WITH SCORE 155307.365
AT ITER 3835 NEW BEST:: SOT 1491253 SOS 802352 HAS SOPS 589343 HAS SOUS 325469 HAS SOUPS 154505 WITH SCORE 155307.352
AT ITER 3843 NEW BEST:: SOT 1491126 SOS 802102 HAS SOPS 589014 HAS SOUS 325215 HAS SOUPS 154251 WITH SCORE 155053.102
AT ITER 3861 NEW BEST:: SOT 1491126 SOS 802096 HAS SOPS 589014 HAS SOUS 325209 HAS SOUPS 154251 WITH SCORE 155053.096
AT ITER 3911 NEW BEST:: SOT 1490867 SOS 801837 HAS SOPS 588757 HAS SOUS 325001 HAS SOUPS 154043 WITH SCORE 154844.837
AT ITER 3929 NEW BEST:: SOT 1491477 SOS 803221 HAS SOPS 588807 HAS SOUS 325611 HAS SOUPS 153905 WITH SCORE 154708.221
AT ITER 3940 NEW BEST:: SOT 1491416 SOS 802958 HAS SOPS 588746 HAS SOUS 325411 HAS SOUPS 153845 WITH SCORE 154647.958
AT ITER 3962 NEW BEST:: SOT 1491201 SOS 802496 HAS SOPS 588714 HAS SOUS 325196 HAS SOUPS 153845 WITH SCORE 154647.496
AT ITER 3985 NEW BEST:: SOT 1491201 SOS 802806 HAS SOPS 588714 HAS SOUS 325204 HAS SOUPS 153694 WITH SCORE 154496.806
AT ITER 4001 NEW BEST:: SOT 1491169 SOS 802774 HAS SOPS 588682 HAS SOUS 325140 HAS SOUPS 153630 WITH SCORE 154432.774
AT ITER 4008 NEW BEST:: SOT 1491168 SOS 802734 HAS SOPS 588642 HAS SOUS 325139 HAS SOUPS 153629 WITH SCORE 154431.734
AT ITER 4012 NEW BEST:: SOT 1491168 SOS 802720 HAS SOPS 588642 HAS SOUS 325139 HAS SOUPS 153629 WITH SCORE 154431.72
AT ITER 4028 NEW BEST:: SOT 1490917 SOS 802469 HAS SOPS 588391 HAS SOUS 324637 HAS SOUPS 153127 WITH SCORE 153929.469
AT ITER 4060 NEW BEST:: SOT 1490913 SOS 802465 HAS SOPS 588387 HAS SOUS 324629 HAS SOUPS 153119 WITH SCORE 153921.465
AT ITER 4072 NEW BEST:: SOT 1490912 SOS 802425 HAS SOPS 588347 HAS SOUS 324628 HAS SOUPS 153118 WITH SCORE 153920.425
AT ITER 4101 NEW BEST:: SOT 1491305 SOS 802818 HAS SOPS 588339 HAS SOUS 324594 HAS SOUPS 153084 WITH SCORE 153886.818
AT ITER 4111 NEW BEST:: SOT 1491305 SOS 802759 HAS SOPS 588339 HAS SOUS 324594 HAS SOUPS 153084 WITH SCORE 153886.759
AT ITER 4131 NEW BEST:: SOT 1491242 SOS 802633 HAS SOPS 588213 HAS SOUS 324468 HAS SOUPS 152958 WITH SCORE 153760.633
AT ITER 4133 NEW BEST:: SOT 1491249 SOS 802633 HAS SOPS 588139 HAS SOUS 324475 HAS SOUPS 152891 WITH SCORE 153693.633
AT ITER 4157 NEW BEST:: SOT 1491188 SOS 802572 HAS SOPS 588078 HAS SOUS 324353 HAS SOUPS 152769 WITH SCORE 153571.572
AT ITER 4169 NEW BEST:: SOT 1491070 SOS 802454 HAS SOPS 588042 HAS SOUS 324117 HAS SOUPS 152533 WITH SCORE 153335.454
AT ITER 4175 NEW BEST:: SOT 1491069 SOS 802414 HAS SOPS 588002 HAS SOUS 324116 HAS SOUPS 152532 WITH SCORE 153334.414
AT ITER 4182 NEW BEST:: SOT 1490637 SOS 802218 HAS SOPS 588122 HAS SOUS 323764 HAS SOUPS 152496 WITH SCORE 153298.218
AT ITER 4224 NEW BEST:: SOT 1490636 SOS 802178 HAS SOPS 588082 HAS SOUS 323763 HAS SOUPS 152495 WITH SCORE 153297.178
AT ITER 4258 NEW BEST:: SOT 1490526 SOS 802178 HAS SOPS 588132 HAS SOUS 323653 HAS SOUPS 152435 WITH SCORE 153237.178
AT ITER 4260 NEW BEST:: SOT 1490500 SOS 802152 HAS SOPS 588106 HAS SOUS 323601 HAS SOUPS 152383 WITH SCORE 153185.152
AT ITER 4289 NEW BEST:: SOT 1490470 SOS 802122 HAS SOPS 588076 HAS SOUS 323541 HAS SOUPS 152323 WITH SCORE 153125.122
AT ITER 4291 NEW BEST:: SOT 1490632 SOS 802231 HAS SOPS 588185 HAS SOUS 323499 HAS SOUPS 152281 WITH SCORE 153083.231
AT ITER 4312 NEW BEST:: SOT 1490432 SOS 801879 HAS SOPS 588011 HAS SOUS 323251 HAS SOUPS 152159 WITH SCORE 152960.879
AT ITER 4313 NEW BEST:: SOT 1490363 SOS 801741 HAS SOPS 588011 HAS SOUS 323182 HAS SOUPS 152159 WITH SCORE 152960.741
AT ITER 4316 NEW BEST:: SOT 1490363 SOS 801741 HAS SOPS 588011 HAS SOUS 323036 HAS SOUPS 152013 WITH SCORE 152814.741
AT ITER 4317 NEW BEST:: SOT 1490342 SOS 801741 HAS SOPS 588011 HAS SOUS 323015 HAS SOUPS 151992 WITH SCORE 152793.741
AT ITER 4326 NEW BEST:: SOT 1490150 SOS 801071 HAS SOPS 587819 HAS SOUS 322584 HAS SOUPS 151800 WITH SCORE 152601.071
AT ITER 4328 NEW BEST:: SOT 1490147 SOS 801068 HAS SOPS 587816 HAS SOUS 322578 HAS SOUPS 151794 WITH SCORE 152595.068
AT ITER 4355 NEW BEST:: SOT 1490234 SOS 801515 HAS SOPS 587903 HAS SOUS 322752 HAS SOUPS 151788 WITH SCORE 152589.515
AT ITER 4357 NEW BEST:: SOT 1490234 SOS 801516 HAS SOPS 587903 HAS SOUS 322751 HAS SOUPS 151786 WITH SCORE 152587.516
AT ITER 4388 NEW BEST:: SOT 1489926 SOS 801018 HAS SOPS 587614 HAS SOUS 322325 HAS SOUPS 151531 WITH SCORE 152332.018
AT ITER 4390 NEW BEST:: SOT 1489926 SOS 800866 HAS SOPS 587462 HAS SOUS 322325 HAS SOUPS 151531 WITH SCORE 152331.866
AT ITER 4391 NEW BEST:: SOT 1489805 SOS 800745 HAS SOPS 587341 HAS SOUS 322325 HAS SOUPS 151531 WITH SCORE 152331.745
AT ITER 4404 NEW BEST:: SOT 1489879 SOS 800744 HAS SOPS 587265 HAS SOUS 322399 HAS SOUPS 151530 WITH SCORE 152330.744
AT ITER 4419 NEW BEST:: SOT 1489019 SOS 799212 HAS SOPS 586405 HAS SOUS 321351 HAS SOUPS 150912 WITH SCORE 151711.212
AT ITER 4420 NEW BEST:: SOT 1489018 SOS 799172 HAS SOPS 586365 HAS SOUS 321350 HAS SOUPS 150911 WITH SCORE 151710.172
AT ITER 4450 NEW BEST:: SOT 1489001 SOS 799155 HAS SOPS 586253 HAS SOUS 321316 HAS SOUPS 150877 WITH SCORE 151676.155
AT ITER 4458 NEW BEST:: SOT 1489001 SOS 799155 HAS SOPS 586223 HAS SOUS 321316 HAS SOUPS 150847 WITH SCORE 151646.155
AT ITER 4468 NEW BEST:: SOT 1489000 SOS 799115 HAS SOPS 586183 HAS SOUS 321315 HAS SOUPS 150846 WITH SCORE 151645.115
AT ITER 4485 NEW BEST:: SOT 1489020 SOS 799135 HAS SOPS 586203 HAS SOUS 321161 HAS SOUPS 150692 WITH SCORE 151491.135
AT ITER 4489 NEW BEST:: SOT 1489351 SOS 799987 HAS SOPS 586037 HAS SOUS 321492 HAS SOUPS 150439 WITH SCORE 151238.987
AT ITER 4492 NEW BEST:: SOT 1489255 SOS 799987 HAS SOPS 586037 HAS SOUS 321396 HAS SOUPS 150343 WITH SCORE 151142.987
AT ITER 4498 NEW BEST:: SOT 1489411 SOS 799987 HAS SOPS 585821 HAS SOUS 321552 HAS SOUPS 150283 WITH SCORE 151082.987
AT ITER 4499 NEW BEST:: SOT 1489411 SOS 799931 HAS SOPS 585821 HAS SOUS 321524 HAS SOUPS 150283 WITH SCORE 151082.931
AT ITER 4503 NEW BEST:: SOT 1489411 SOS 799845 HAS SOPS 585567 HAS SOUS 321438 HAS SOUPS 150029 WITH SCORE 150828.845
AT ITER 4511 NEW BEST:: SOT 1489410 SOS 799805 HAS SOPS 585527 HAS SOUS 321437 HAS SOUPS 150028 WITH SCORE 150827.805
AT ITER 4520 NEW BEST:: SOT 1489585 SOS 800940 HAS SOPS 585702 HAS SOUS 321787 HAS SOUPS 150000 WITH SCORE 150800.94
AT ITER 4531 NEW BEST:: SOT 1489585 SOS 800914 HAS SOPS 585702 HAS SOUS 321787 HAS SOUPS 150000 WITH SCORE 150800.914
AT ITER 4544 NEW BEST:: SOT 1489494 SOS 800823 HAS SOPS 585611 HAS SOUS 321605 HAS SOUPS 149818 WITH SCORE 150618.823
AT ITER 4547 NEW BEST:: SOT 1489494 SOS 800788 HAS SOPS 585611 HAS SOUS 321570 HAS SOUPS 149818 WITH SCORE 150618.788
AT ITER 4549 NEW BEST:: SOT 1489285 SOS 800728 HAS SOPS 585551 HAS SOUS 321361 HAS SOUPS 149609 WITH SCORE 150409.728
AT ITER 4559 NEW BEST:: SOT 1489285 SOS 800565 HAS SOPS 585551 HAS SOUS 321361 HAS SOUPS 149609 WITH SCORE 150409.565
AT ITER 4572 NEW BEST:: SOT 1489241 SOS 800693 HAS SOPS 585507 HAS SOUS 321445 HAS SOUPS 149521 WITH SCORE 150321.693
AT ITER 4591 NEW BEST:: SOT 1489237 SOS 800689 HAS SOPS 585503 HAS SOUS 321441 HAS SOUPS 149517 WITH SCORE 150317.689
AT ITER 4594 NEW BEST:: SOT 1489222 SOS 800674 HAS SOPS 585488 HAS SOUS 321411 HAS SOUPS 149487 WITH SCORE 150287.674
AT ITER 4619 NEW BEST:: SOT 1489426 SOS 802202 HAS SOPS 585692 HAS SOUS 322064 HAS SOUPS 149406 WITH SCORE 150208.202
AT ITER 4630 NEW BEST:: SOT 1488995 SOS 801380 HAS SOPS 585378 HAS SOUS 321593 HAS SOUPS 149209 WITH SCORE 150010.38
AT ITER 4632 NEW BEST:: SOT 1488925 SOS 801215 HAS SOPS 585308 HAS SOUS 321358 HAS SOUPS 149069 WITH SCORE 149870.215
AT ITER 4639 NEW BEST:: SOT 1488759 SOS 801049 HAS SOPS 585142 HAS SOUS 321240 HAS SOUPS 148951 WITH SCORE 149752.049
AT ITER 4642 NEW BEST:: SOT 1488688 SOS 800978 HAS SOPS 585071 HAS SOUS 321200 HAS SOUPS 148911 WITH SCORE 149711.978
AT ITER 4674 NEW BEST:: SOT 1488551 SOS 800841 HAS SOPS 584934 HAS SOUS 321200 HAS SOUPS 148911 WITH SCORE 149711.841
AT ITER 4678 NEW BEST:: SOT 1488256 SOS 800188 HAS SOPS 584639 HAS SOUS 320988 HAS SOUPS 148888 WITH SCORE 149688.188
AT ITER 4684 NEW BEST:: SOT 1488289 SOS 800262 HAS SOPS 584623 HAS SOUS 321021 HAS SOUPS 148872 WITH SCORE 149672.262
AT ITER 4688 NEW BEST:: SOT 1488173 SOS 800054 HAS SOPS 584507 HAS SOUS 320789 HAS SOUPS 148640 WITH SCORE 149440.054
AT ITER 4691 NEW BEST:: SOT 1488041 SOS 799922 HAS SOPS 584375 HAS SOUS 320657 HAS SOUPS 148508 WITH SCORE 149307.922
AT ITER 4694 NEW BEST:: SOT 1487731 SOS 799640 HAS SOPS 584093 HAS SOUS 320639 HAS SOUPS 148490 WITH SCORE 149289.64
AT ITER 4711 NEW BEST:: SOT 1487651 SOS 799480 HAS SOPS 584013 HAS SOUS 320559 HAS SOUPS 148490 WITH SCORE 149289.48
AT ITER 4714 NEW BEST:: SOT 1487238 SOS 799067 HAS SOPS 583600 HAS SOUS 320195 HAS SOUPS 148126 WITH SCORE 148925.067
AT ITER 4739 NEW BEST:: SOT 1487029 SOS 798858 HAS SOPS 583394 HAS SOUS 320141 HAS SOUPS 148072 WITH SCORE 148870.858
AT ITER 4749 NEW BEST:: SOT 1487006 SOS 798835 HAS SOPS 583371 HAS SOUS 319950 HAS SOUPS 147881 WITH SCORE 148679.835
AT ITER 4763 NEW BEST:: SOT 1487006 SOS 799299 HAS SOPS 583371 HAS SOUS 319950 HAS SOUPS 147739 WITH SCORE 148538.299
AT ITER 4767 NEW BEST:: SOT 1487005 SOS 799298 HAS SOPS 583370 HAS SOUS 319948 HAS SOUPS 147737 WITH SCORE 148536.298
AT ITER 4777 NEW BEST:: SOT 1487005 SOS 799329 HAS SOPS 583308 HAS SOUS 319948 HAS SOUPS 147675 WITH SCORE 148474.329
AT ITER 4783 NEW BEST:: SOT 1486733 SOS 798843 HAS SOPS 583036 HAS SOUS 319618 HAS SOUPS 147526 WITH SCORE 148324.843
AT ITER 4801 NEW BEST:: SOT 1486731 SOS 798841 HAS SOPS 583034 HAS SOUS 319614 HAS SOUPS 147522 WITH SCORE 148320.841
AT ITER 4806 NEW BEST:: SOT 1486541 SOS 798651 HAS SOPS 582844 HAS SOUS 319234 HAS SOUPS 147142 WITH SCORE 147940.651
AT ITER 4811 NEW BEST:: SOT 1486541 SOS 798562 HAS SOPS 582844 HAS SOUS 319234 HAS SOUPS 147142 WITH SCORE 147940.562
AT ITER 4817 NEW BEST:: SOT 1486525 SOS 798538 HAS SOPS 582828 HAS SOUS 319210 HAS SOUPS 147126 WITH SCORE 147924.538
AT ITER 4838 NEW BEST:: SOT 1486525 SOS 798518 HAS SOPS 582828 HAS SOUS 319210 HAS SOUPS 147126 WITH SCORE 147924.518
AT ITER 4858 NEW BEST:: SOT 1486384 SOS 798236 HAS SOPS 582687 HAS SOUS 318787 HAS SOUPS 146844 WITH SCORE 147642.236
AT ITER 4865 NEW BEST:: SOT 1486043 SOS 797895 HAS SOPS 582346 HAS SOUS 318501 HAS SOUPS 146558 WITH SCORE 147355.895
AT ITER 4881 NEW BEST:: SOT 1485982 SOS 797773 HAS SOPS 582285 HAS SOUS 318318 HAS SOUPS 146436 WITH SCORE 147233.773
AT ITER 4885 NEW BEST:: SOT 1485645 SOS 797436 HAS SOPS 581948 HAS SOUS 317644 HAS SOUPS 145762 WITH SCORE 146559.436
AT ITER 4894 NEW BEST:: SOT 1485621 SOS 797436 HAS SOPS 581924 HAS SOUS 317596 HAS SOUPS 145714 WITH SCORE 146511.436
AT ITER 4895 NEW BEST:: SOT 1485621 SOS 797262 HAS SOPS 581692 HAS SOUS 317422 HAS SOUPS 145482 WITH SCORE 146279.262
AT ITER 4923 NEW BEST:: SOT 1485359 SOS 797000 HAS SOPS 581430 HAS SOUS 317160 HAS SOUPS 145220 WITH SCORE 146017.0
AT ITER 4929 NEW BEST:: SOT 1485249 SOS 796780 HAS SOPS 581430 HAS SOUS 317050 HAS SOUPS 145220 WITH SCORE 146016.78
AT ITER 4943 NEW BEST:: SOT 1486154 SOS 798925 HAS SOPS 581878 HAS SOUS 317824 HAS SOUPS 145211 WITH SCORE 146009.925
AT ITER 4962 NEW BEST:: SOT 1486153 SOS 798885 HAS SOPS 581838 HAS SOUS 317823 HAS SOUPS 145210 WITH SCORE 146008.885
AT ITER 4995 NEW BEST:: SOT 1486149 SOS 798881 HAS SOPS 582042 HAS SOUS 317815 HAS SOUPS 145202 WITH SCORE 146000.881
AT ITER 5002 NEW BEST:: SOT 1486149 SOS 799023 HAS SOPS 582042 HAS SOUS 317881 HAS SOUPS 145164 WITH SCORE 145963.023
AT ITER 5017 NEW BEST:: SOT 1486097 SOS 798971 HAS SOPS 581990 HAS SOUS 317777 HAS SOUPS 145060 WITH SCORE 145858.971
AT ITER 5024 NEW BEST:: SOT 1485988 SOS 798862 HAS SOPS 581951 HAS SOUS 317559 HAS SOUPS 144842 WITH SCORE 145640.862
AT ITER 5036 NEW BEST:: SOT 1485866 SOS 798135 HAS SOPS 581829 HAS SOUS 317180 HAS SOUPS 144833 WITH SCORE 145631.135
AT ITER 5041 NEW BEST:: SOT 1485570 SOS 797838 HAS SOPS 581717 HAS SOUS 316883 HAS SOUPS 144721 WITH SCORE 145518.838
AT ITER 5045 NEW BEST:: SOT 1485525 SOS 797793 HAS SOPS 581672 HAS SOUS 316793 HAS SOUPS 144631 WITH SCORE 145428.793
AT ITER 5055 NEW BEST:: SOT 1485424 SOS 797692 HAS SOPS 581571 HAS SOUS 316793 HAS SOUPS 144631 WITH SCORE 145428.692
AT ITER 5057 NEW BEST:: SOT 1485417 SOS 797685 HAS SOPS 581564 HAS SOUS 316779 HAS SOUPS 144617 WITH SCORE 145414.685
AT ITER 5064 NEW BEST:: SOT 1485522 SOS 798037 HAS SOPS 581636 HAS SOUS 316744 HAS SOUPS 144442 WITH SCORE 145240.037
AT ITER 5065 NEW BEST:: SOT 1485168 SOS 797919 HAS SOPS 581614 HAS SOUS 316390 HAS SOUPS 144184 WITH SCORE 144981.919
AT ITER 5083 NEW BEST:: SOT 1485006 SOS 797757 HAS SOPS 581452 HAS SOUS 316298 HAS SOUPS 144092 WITH SCORE 144889.757
AT ITER 5109 NEW BEST:: SOT 1485006 SOS 798035 HAS SOPS 581452 HAS SOUS 316298 HAS SOUPS 143953 WITH SCORE 144751.035
AT ITER 5114 NEW BEST:: SOT 1484432 SOS 797461 HAS SOPS 581113 HAS SOUS 316272 HAS SOUPS 143927 WITH SCORE 144724.461
AT ITER 5117 NEW BEST:: SOT 1484432 SOS 797539 HAS SOPS 580957 HAS SOUS 316272 HAS SOUPS 143771 WITH SCORE 144568.539
AT ITER 5130 NEW BEST:: SOT 1484279 SOS 797233 HAS SOPS 580957 HAS SOUS 316119 HAS SOUPS 143771 WITH SCORE 144568.233
AT ITER 5138 NEW BEST:: SOT 1484156 SOS 797110 HAS SOPS 580834 HAS SOUS 315873 HAS SOUPS 143525 WITH SCORE 144322.11
AT ITER 5141 NEW BEST:: SOT 1484594 SOS 798110 HAS SOPS 580792 HAS SOUS 316311 HAS SOUPS 143381 WITH SCORE 144179.11
AT ITER 5165 NEW BEST:: SOT 1484579 SOS 798095 HAS SOPS 580777 HAS SOUS 316281 HAS SOUPS 143351 WITH SCORE 144149.095
AT ITER 5175 NEW BEST:: SOT 1484670 SOS 799544 HAS SOPS 580868 HAS SOUS 316526 HAS SOUPS 143044 WITH SCORE 143843.544
AT ITER 5200 NEW BEST:: SOT 1484712 SOS 799565 HAS SOPS 580889 HAS SOUS 316503 HAS SOUPS 143021 WITH SCORE 143820.565
AT ITER 5246 NEW BEST:: SOT 1484612 SOS 799465 HAS SOPS 580789 HAS SOUS 316303 HAS SOUPS 142821 WITH SCORE 143620.465
AT ITER 5248 NEW BEST:: SOT 1484585 SOS 799438 HAS SOPS 580762 HAS SOUS 316249 HAS SOUPS 142767 WITH SCORE 143566.438
AT ITER 5252 NEW BEST:: SOT 1484585 SOS 799436 HAS SOPS 580762 HAS SOUS 316249 HAS SOUPS 142767 WITH SCORE 143566.436
AT ITER 5257 NEW BEST:: SOT 1484639 SOS 799413 HAS SOPS 580739 HAS SOUS 316218 HAS SOUPS 142736 WITH SCORE 143535.413
AT ITER 5260 NEW BEST:: SOT 1484042 SOS 798365 HAS SOPS 580339 HAS SOUS 315618 HAS SOUPS 142533 WITH SCORE 143331.365
AT ITER 5265 NEW BEST:: SOT 1484042 SOS 798262 HAS SOPS 580339 HAS SOUS 315618 HAS SOUPS 142533 WITH SCORE 143331.262
AT ITER 5267 NEW BEST:: SOT 1484041 SOS 798222 HAS SOPS 580299 HAS SOUS 315617 HAS SOUPS 142532 WITH SCORE 143330.222
AT ITER 5269 NEW BEST:: SOT 1483862 SOS 797942 HAS SOPS 580120 HAS SOUS 315363 HAS SOUPS 142379 WITH SCORE 143176.942
AT ITER 5335 NEW BEST:: SOT 1483861 SOS 797941 HAS SOPS 580119 HAS SOUS 315361 HAS SOUPS 142377 WITH SCORE 143174.941
AT ITER 5456 NEW BEST:: SOT 1484625 SOS 799524 HAS SOPS 580266 HAS SOUS 316125 HAS SOUPS 142209 WITH SCORE 143008.524
AT ITER 5457 NEW BEST:: SOT 1484525 SOS 799324 HAS SOPS 580166 HAS SOUS 316025 HAS SOUPS 142159 WITH SCORE 142958.324
AT ITER 5481 NEW BEST:: SOT 1484440 SOS 799151 HAS SOPS 580084 HAS SOUS 315896 HAS SOUPS 142077 WITH SCORE 142876.151
AT ITER 5500 NEW BEST:: SOT 1484440 SOS 799185 HAS SOPS 580084 HAS SOUS 315862 HAS SOUPS 142009 WITH SCORE 142808.185
AT ITER 5510 NEW BEST:: SOT 1484416 SOS 799161 HAS SOPS 580060 HAS SOUS 315814 HAS SOUPS 141961 WITH SCORE 142760.161
AT ITER 5516 NEW BEST:: SOT 1484289 SOS 799161 HAS SOPS 580078 HAS SOUS 315687 HAS SOUPS 141852 WITH SCORE 142651.161
AT ITER 5554 NEW BEST:: SOT 1484255 SOS 799127 HAS SOPS 580044 HAS SOUS 315619 HAS SOUPS 141784 WITH SCORE 142583.127
AT ITER 5566 NEW BEST:: SOT 1484254 SOS 799087 HAS SOPS 580004 HAS SOUS 315618 HAS SOUPS 141783 WITH SCORE 142582.087
AT ITER 5582 NEW BEST:: SOT 1484518 SOS 799651 HAS SOPS 580268 HAS SOUS 315876 HAS SOUPS 141741 WITH SCORE 142540.651
AT ITER 5588 NEW BEST:: SOT 1484458 SOS 799591 HAS SOPS 580148 HAS SOUS 315816 HAS SOUPS 141621 WITH SCORE 142420.591
AT ITER 5589 NEW BEST:: SOT 1484457 SOS 799564 HAS SOPS 580121 HAS SOUS 315815 HAS SOUPS 141620 WITH SCORE 142419.564
AT ITER 5597 NEW BEST:: SOT 1484445 SOS 799552 HAS SOPS 580109 HAS SOUS 315815 HAS SOUPS 141620 WITH SCORE 142419.552
AT ITER 5612 NEW BEST:: SOT 1484385 SOS 799462 HAS SOPS 580049 HAS SOUS 315725 HAS SOUPS 141560 WITH SCORE 142359.462
AT ITER 5632 NEW BEST:: SOT 1484352 SOS 799396 HAS SOPS 580049 HAS SOUS 315692 HAS SOUPS 141560 WITH SCORE 142359.396
AT ITER 5634 NEW BEST:: SOT 1484324 SOS 799368 HAS SOPS 580021 HAS SOUS 315636 HAS SOUPS 141504 WITH SCORE 142303.368
AT ITER 5642 NEW BEST:: SOT 1484172 SOS 799132 HAS SOPS 579869 HAS SOUS 315416 HAS SOUPS 141368 WITH SCORE 142167.132
AT ITER 5679 NEW BEST:: SOT 1484164 SOS 799124 HAS SOPS 579861 HAS SOUS 315400 HAS SOUPS 141352 WITH SCORE 142151.124
AT ITER 5690 NEW BEST:: SOT 1484139 SOS 799242 HAS SOPS 579836 HAS SOUS 315493 HAS SOUPS 141302 WITH SCORE 142101.242
AT ITER 5697 NEW BEST:: SOT 1484069 SOS 799172 HAS SOPS 579778 HAS SOUS 315353 HAS SOUPS 141162 WITH SCORE 141961.172
AT ITER 5722 NEW BEST:: SOT 1483671 SOS 798863 HAS SOPS 579469 HAS SOUS 315236 HAS SOUPS 141045 WITH SCORE 141843.863
AT ITER 5724 NEW BEST:: SOT 1483657 SOS 798849 HAS SOPS 579455 HAS SOUS 315208 HAS SOUPS 141017 WITH SCORE 141815.849
AT ITER 5728 NEW BEST:: SOT 1480920 SOS 815481 HAS SOPS 596087 HAS SOUS 312421 HAS SOUPS 138230 WITH SCORE 139045.481
AT ITER 5756 NEW BEST:: SOT 1480663 SOS 815061 HAS SOPS 595830 HAS SOUS 312070 HAS SOUPS 138042 WITH SCORE 138857.061
AT ITER 5779 NEW BEST:: SOT 1480648 SOS 815046 HAS SOPS 595815 HAS SOUS 312040 HAS SOUPS 138012 WITH SCORE 138827.046
AT ITER 5789 NEW BEST:: SOT 1480648 SOS 814975 HAS SOPS 595815 HAS SOUS 312040 HAS SOUPS 138012 WITH SCORE 138826.975
AT ITER 5793 NEW BEST:: SOT 1480652 SOS 815518 HAS SOPS 595819 HAS SOUS 312048 HAS SOUPS 137702 WITH SCORE 138517.518
AT ITER 5796 NEW BEST:: SOT 1480639 SOS 815505 HAS SOPS 595806 HAS SOUS 312035 HAS SOUPS 137689 WITH SCORE 138504.505
AT ITER 5797 NEW BEST:: SOT 1480029 SOS 814263 HAS SOPS 595196 HAS SOUS 311447 HAS SOUPS 137473 WITH SCORE 138287.263
AT ITER 5812 NEW BEST:: SOT 1479954 SOS 814145 HAS SOPS 595046 HAS SOUS 311297 HAS SOUPS 137323 WITH SCORE 138137.145
AT ITER 5850 NEW BEST:: SOT 1479657 SOS 813699 HAS SOPS 594749 HAS SOUS 310852 HAS SOUPS 137027 WITH SCORE 137840.699
AT ITER 5854 NEW BEST:: SOT 1479657 SOS 813660 HAS SOPS 594749 HAS SOUS 310813 HAS SOUPS 137027 WITH SCORE 137840.66
AT ITER 5875 NEW BEST:: SOT 1479657 SOS 814460 HAS SOPS 594749 HAS SOUS 310813 HAS SOUPS 136627 WITH SCORE 137441.46
AT ITER 5882 NEW BEST:: SOT 1479662 SOS 814475 HAS SOPS 594749 HAS SOUS 310813 HAS SOUPS 136622 WITH SCORE 137436.475
AT ITER 5893 NEW BEST:: SOT 1479660 SOS 814471 HAS SOPS 594747 HAS SOUS 310811 HAS SOUPS 136622 WITH SCORE 137436.471
AT ITER 5908 NEW BEST:: SOT 1479736 SOS 814630 HAS SOPS 594733 HAS SOUS 310887 HAS SOUPS 136608 WITH SCORE 137422.63
AT ITER 5911 NEW BEST:: SOT 1479732 SOS 814618 HAS SOPS 594729 HAS SOUS 310879 HAS SOUPS 136604 WITH SCORE 137418.618
AT ITER 5927 NEW BEST:: SOT 1479724 SOS 814610 HAS SOPS 594721 HAS SOUS 310863 HAS SOUPS 136588 WITH SCORE 137402.61
AT ITER 5944 NEW BEST:: SOT 1479792 SOS 815392 HAS SOPS 594789 HAS SOUS 310999 HAS SOUPS 136367 WITH SCORE 137182.392
AT ITER 5963 NEW BEST:: SOT 1479774 SOS 815349 HAS SOPS 594771 HAS SOUS 310938 HAS SOUPS 136331 WITH SCORE 137146.349
AT ITER 5994 NEW BEST:: SOT 1479651 SOS 815103 HAS SOPS 594648 HAS SOUS 310692 HAS SOUPS 136208 WITH SCORE 137023.103
AT ITER 6000 NEW BEST:: SOT 1478985 SOS 813595 HAS SOPS 594244 HAS SOUS 310026 HAS SOUPS 136140 WITH SCORE 136953.595
AT ITER 6004 NEW BEST:: SOT 1478985 SOS 813595 HAS SOPS 594228 HAS SOUS 310026 HAS SOUPS 136124 WITH SCORE 136937.595
AT ITER 6007 NEW BEST:: SOT 1478981 SOS 813591 HAS SOPS 594224 HAS SOUS 310018 HAS SOUPS 136116 WITH SCORE 136929.591
AT ITER 6010 NEW BEST:: SOT 1479126 SOS 814756 HAS SOPS 594369 HAS SOUS 310308 HAS SOUPS 136051 WITH SCORE 136865.756
AT ITER 6016 NEW BEST:: SOT 1479079 SOS 814663 HAS SOPS 594322 HAS SOUS 310260 HAS SOUPS 136049 WITH SCORE 136863.663
AT ITER 6026 NEW BEST:: SOT 1479035 SOS 814597 HAS SOPS 594278 HAS SOUS 310194 HAS SOUPS 136005 WITH SCORE 136819.597
AT ITER 6032 NEW BEST:: SOT 1478913 SOS 814475 HAS SOPS 594156 HAS SOUS 310150 HAS SOUPS 135961 WITH SCORE 136775.475
AT ITER 6063 NEW BEST:: SOT 1478913 SOS 814435 HAS SOPS 594156 HAS SOUS 310150 HAS SOUPS 135961 WITH SCORE 136775.435
AT ITER 6065 NEW BEST:: SOT 1478872 SOS 814394 HAS SOPS 594115 HAS SOUS 310109 HAS SOUPS 135920 WITH SCORE 136734.394
AT ITER 6088 NEW BEST:: SOT 1478698 SOS 814004 HAS SOPS 593941 HAS SOUS 309977 HAS SOUPS 135896 WITH SCORE 136710.004
AT ITER 6091 NEW BEST:: SOT 1478847 SOS 814347 HAS SOPS 594029 HAS SOUS 310065 HAS SOUPS 135835 WITH SCORE 136649.347
AT ITER 6092 NEW BEST:: SOT 1478749 SOS 814249 HAS SOPS 593931 HAS SOUS 310055 HAS SOUPS 135825 WITH SCORE 136639.249
AT ITER 6106 NEW BEST:: SOT 1478656 SOS 814156 HAS SOPS 593838 HAS SOUS 310055 HAS SOUPS 135825 WITH SCORE 136639.156
AT ITER 6139 NEW BEST:: SOT 1478642 SOS 814128 HAS SOPS 593824 HAS SOUS 310041 HAS SOUPS 135825 WITH SCORE 136639.128
AT ITER 6173 NEW BEST:: SOT 1478642 SOS 814128 HAS SOPS 593824 HAS SOUS 310038 HAS SOUPS 135822 WITH SCORE 136636.128
AT ITER 6175 NEW BEST:: SOT 1478580 SOS 814031 HAS SOPS 593762 HAS SOUS 309949 HAS SOUPS 135768 WITH SCORE 136582.031
AT ITER 6178 NEW BEST:: SOT 1478436 SOS 813815 HAS SOPS 593618 HAS SOUS 309733 HAS SOUPS 135624 WITH SCORE 136437.815
AT ITER 6182 NEW BEST:: SOT 1478396 SOS 813755 HAS SOPS 593578 HAS SOUS 309673 HAS SOUPS 135584 WITH SCORE 136397.755
AT ITER 6190 NEW BEST:: SOT 1478396 SOS 813820 HAS SOPS 593448 HAS SOUS 309673 HAS SOUPS 135454 WITH SCORE 136267.82
AT ITER 6205 NEW BEST:: SOT 1478363 SOS 813787 HAS SOPS 593415 HAS SOUS 309607 HAS SOUPS 135388 WITH SCORE 136201.787
AT ITER 6208 NEW BEST:: SOT 1478351 SOS 813775 HAS SOPS 593403 HAS SOUS 309583 HAS SOUPS 135364 WITH SCORE 136177.775
AT ITER 6210 NEW BEST:: SOT 1478351 SOS 814202 HAS SOPS 593403 HAS SOUS 309583 HAS SOUPS 135206 WITH SCORE 136020.202
AT ITER 6216 NEW BEST:: SOT 1478130 SOS 813808 HAS SOPS 593182 HAS SOUS 309314 HAS SOUPS 135110 WITH SCORE 135923.808
AT ITER 6241 NEW BEST:: SOT 1477934 SOS 813482 HAS SOPS 592986 HAS SOUS 309118 HAS SOUPS 135012 WITH SCORE 135825.482
AT ITER 6277 NEW BEST:: SOT 1477672 SOS 813220 HAS SOPS 592786 HAS SOUS 309084 HAS SOUPS 134978 WITH SCORE 135791.22
AT ITER 6338 NEW BEST:: SOT 1477358 SOS 812906 HAS SOPS 592472 HAS SOUS 308787 HAS SOUPS 134681 WITH SCORE 135493.906
AT ITER 6344 NEW BEST:: SOT 1476950 SOS 812526 HAS SOPS 592092 HAS SOUS 308379 HAS SOUPS 134273 WITH SCORE 135085.526
AT ITER 6349 NEW BEST:: SOT 1476950 SOS 812512 HAS SOPS 592092 HAS SOUS 308379 HAS SOUPS 134273 WITH SCORE 135085.512
AT ITER 6352 NEW BEST:: SOT 1476885 SOS 812385 HAS SOPS 591962 HAS SOUS 308249 HAS SOUPS 134143 WITH SCORE 134955.385
AT ITER 6359 NEW BEST:: SOT 1476800 SOS 812300 HAS SOPS 591877 HAS SOUS 308249 HAS SOUPS 134143 WITH SCORE 134955.3
AT ITER 6367 NEW BEST:: SOT 1476796 SOS 812296 HAS SOPS 591840 HAS SOUS 308241 HAS SOUPS 134135 WITH SCORE 134947.296
AT ITER 6386 NEW BEST:: SOT 1476685 SOS 812185 HAS SOPS 591729 HAS SOUS 308152 HAS SOUPS 134046 WITH SCORE 134858.185
AT ITER 6388 NEW BEST:: SOT 1476507 SOS 811917 HAS SOPS 591551 HAS SOUS 307974 HAS SOUPS 133957 WITH SCORE 134768.917
AT ITER 6390 NEW BEST:: SOT 1476381 SOS 811791 HAS SOPS 591299 HAS SOUS 307722 HAS SOUPS 133705 WITH SCORE 134516.791
AT ITER 6392 NEW BEST:: SOT 1476381 SOS 811791 HAS SOPS 591287 HAS SOUS 307698 HAS SOUPS 133681 WITH SCORE 134492.791
AT ITER 6417 NEW BEST:: SOT 1476183 SOS 811593 HAS SOPS 591089 HAS SOUS 307500 HAS SOUPS 133483 WITH SCORE 134294.593
AT ITER 6419 NEW BEST:: SOT 1476151 SOS 811561 HAS SOPS 591057 HAS SOUS 307468 HAS SOUPS 133451 WITH SCORE 134262.561
AT ITER 6426 NEW BEST:: SOT 1476151 SOS 811505 HAS SOPS 591057 HAS SOUS 307468 HAS SOUPS 133451 WITH SCORE 134262.505
AT ITER 6441 NEW BEST:: SOT 1476028 SOS 811382 HAS SOPS 590969 HAS SOUS 307380 HAS SOUPS 133363 WITH SCORE 134174.382
AT ITER 6453 NEW BEST:: SOT 1476251 SOS 813082 HAS SOPS 591192 HAS SOUS 308085 HAS SOUPS 133320 WITH SCORE 134133.082
AT ITER 6476 NEW BEST:: SOT 1476097 SOS 812928 HAS SOPS 591038 HAS SOUS 307777 HAS SOUPS 133012 WITH SCORE 133824.928
AT ITER 6490 NEW BEST:: SOT 1475983 SOS 812742 HAS SOPS 590924 HAS SOUS 307621 HAS SOUPS 132928 WITH SCORE 133740.742
AT ITER 6495 NEW BEST:: SOT 1475775 SOS 812534 HAS SOPS 590716 HAS SOUS 307425 HAS SOUPS 132732 WITH SCORE 133544.534
AT ITER 6522 NEW BEST:: SOT 1475769 SOS 812528 HAS SOPS 590716 HAS SOUS 307425 HAS SOUPS 132732 WITH SCORE 133544.528
AT ITER 6527 NEW BEST:: SOT 1476277 SOS 813822 HAS SOPS 590796 HAS SOUS 307933 HAS SOUPS 132555 WITH SCORE 133368.822
AT ITER 6528 NEW BEST:: SOT 1476261 SOS 813806 HAS SOPS 590780 HAS SOUS 307901 HAS SOUPS 132523 WITH SCORE 133336.806
AT ITER 6536 NEW BEST:: SOT 1476175 SOS 813720 HAS SOPS 590694 HAS SOUS 307729 HAS SOUPS 132351 WITH SCORE 133164.72
AT ITER 6541 NEW BEST:: SOT 1476148 SOS 813693 HAS SOPS 590640 HAS SOUS 307675 HAS SOUPS 132297 WITH SCORE 133110.693
AT ITER 6545 NEW BEST:: SOT 1476148 SOS 813711 HAS SOPS 590640 HAS SOUS 307675 HAS SOUPS 132288 WITH SCORE 133101.711
AT ITER 6547 NEW BEST:: SOT 1476148 SOS 813711 HAS SOPS 590640 HAS SOUS 307674 HAS SOUPS 132287 WITH SCORE 133100.711
AT ITER 6556 NEW BEST:: SOT 1476078 SOS 813641 HAS SOPS 590570 HAS SOUS 307534 HAS SOUPS 132147 WITH SCORE 132960.641
AT ITER 6558 NEW BEST:: SOT 1476178 SOS 814736 HAS SOPS 590670 HAS SOUS 307734 HAS SOUPS 131958 WITH SCORE 132772.736
AT ITER 6572 NEW BEST:: SOT 1476178 SOS 792763 HAS SOPS 568697 HAS SOUS 307588 HAS SOUPS 131812 WITH SCORE 132604.763
AT ITER 6576 NEW BEST:: SOT 1476178 SOS 792670 HAS SOPS 568697 HAS SOUS 307588 HAS SOUPS 131812 WITH SCORE 132604.67
AT ITER 6598 NEW BEST:: SOT 1476059 SOS 792472 HAS SOPS 568578 HAS SOUS 307429 HAS SOUPS 131732 WITH SCORE 132524.472
AT ITER 6633 NEW BEST:: SOT 1476059 SOS 792443 HAS SOPS 568578 HAS SOUS 307429 HAS SOUPS 131732 WITH SCORE 132524.443
AT ITER 6640 NEW BEST:: SOT 1476163 SOS 792782 HAS SOPS 568682 HAS SOUS 307379 HAS SOUPS 131493 WITH SCORE 132285.782
AT ITER 6668 NEW BEST:: SOT 1476162 SOS 792781 HAS SOPS 568681 HAS SOUS 307377 HAS SOUPS 131491 WITH SCORE 132283.781
AT ITER 6673 NEW BEST:: SOT 1476295 SOS 793239 HAS SOPS 568348 HAS SOUS 307510 HAS SOUPS 131141 WITH SCORE 131934.239
AT ITER 6677 NEW BEST:: SOT 1476211 SOS 793239 HAS SOPS 568348 HAS SOUS 307426 HAS SOUPS 131057 WITH SCORE 131850.239
AT ITER 6678 NEW BEST:: SOT 1476121 SOS 793149 HAS SOPS 568258 HAS SOUS 307246 HAS SOUPS 130877 WITH SCORE 131670.149
AT ITER 6708 NEW BEST:: SOT 1476115 SOS 793143 HAS SOPS 568252 HAS SOUS 307234 HAS SOUPS 130865 WITH SCORE 131658.143
AT ITER 6745 NEW BEST:: SOT 1476097 SOS 793125 HAS SOPS 568252 HAS SOUS 307234 HAS SOUPS 130865 WITH SCORE 131658.125
AT ITER 6756 NEW BEST:: SOT 1476168 SOS 793352 HAS SOPS 568323 HAS SOUS 307227 HAS SOUPS 130780 WITH SCORE 131573.352
AT ITER 6776 NEW BEST:: SOT 1476031 SOS 793053 HAS SOPS 568298 HAS SOUS 307090 HAS SOUPS 130780 WITH SCORE 131573.053
AT ITER 6779 NEW BEST:: SOT 1476031 SOS 792920 HAS SOPS 568298 HAS SOUS 307090 HAS SOUPS 130780 WITH SCORE 131572.92
AT ITER 6784 NEW BEST:: SOT 1476013 SOS 792902 HAS SOPS 568280 HAS SOUS 307054 HAS SOUPS 130744 WITH SCORE 131536.902
AT ITER 6786 NEW BEST:: SOT 1476225 SOS 793114 HAS SOPS 568251 HAS SOUS 306996 HAS SOUPS 130686 WITH SCORE 131479.114
AT ITER 6805 NEW BEST:: SOT 1476209 SOS 793090 HAS SOPS 568235 HAS SOUS 306964 HAS SOUPS 130662 WITH SCORE 131455.09
AT ITER 6832 NEW BEST:: SOT 1476209 SOS 793090 HAS SOPS 568225 HAS SOUS 306964 HAS SOUPS 130652 WITH SCORE 131445.09
AT ITER 6860 NEW BEST:: SOT 1476545 SOS 793787 HAS SOPS 568561 HAS SOUS 307275 HAS SOUPS 130649 WITH SCORE 131442.787
AT ITER 6889 NEW BEST:: SOT 1476545 SOS 793636 HAS SOPS 568561 HAS SOUS 307275 HAS SOUPS 130649 WITH SCORE 131442.636
AT ITER 6927 NEW BEST:: SOT 1476545 SOS 793636 HAS SOPS 568393 HAS SOUS 307275 HAS SOUPS 130481 WITH SCORE 131274.636
AT ITER 6940 NEW BEST:: SOT 1476080 SOS 792622 HAS SOPS 568050 HAS SOUS 306810 HAS SOUPS 130353 WITH SCORE 131145.622
AT ITER 6952 NEW BEST:: SOT 1475383 SOS 791084 HAS SOPS 567595 HAS SOUS 306113 HAS SOUPS 130229 WITH SCORE 131020.084
AT ITER 6994 NEW BEST:: SOT 1475349 SOS 791016 HAS SOPS 567561 HAS SOUS 306011 HAS SOUPS 130161 WITH SCORE 130952.016
AT ITER 6997 NEW BEST:: SOT 1475349 SOS 790997 HAS SOPS 567561 HAS SOUS 306011 HAS SOUPS 130161 WITH SCORE 130951.997
AT ITER 6999 NEW BEST:: SOT 1475138 SOS 790902 HAS SOPS 567652 HAS SOUS 305808 HAS SOUPS 130144 WITH SCORE 130934.902
AT ITER 7012 NEW BEST:: SOT 1475237 SOS 791045 HAS SOPS 567614 HAS SOUS 305888 HAS SOUPS 130106 WITH SCORE 130897.045
AT ITER 7021 NEW BEST:: SOT 1475227 SOS 791035 HAS SOPS 567604 HAS SOUS 305878 HAS SOUPS 130096 WITH SCORE 130887.035
AT ITER 7023 NEW BEST:: SOT 1475227 SOS 791029 HAS SOPS 567604 HAS SOUS 305872 HAS SOUPS 130096 WITH SCORE 130887.029
AT ITER 7036 NEW BEST:: SOT 1475263 SOS 791065 HAS SOPS 567640 HAS SOUS 305782 HAS SOUPS 130006 WITH SCORE 130797.065
AT ITER 7089 NEW BEST:: SOT 1475081 SOS 790883 HAS SOPS 567458 HAS SOUS 305782 HAS SOUPS 130006 WITH SCORE 130796.883
AT ITER 7095 NEW BEST:: SOT 1474996 SOS 790798 HAS SOPS 567373 HAS SOUS 305782 HAS SOUPS 130006 WITH SCORE 130796.798
AT ITER 7099 NEW BEST:: SOT 1475118 SOS 790804 HAS SOPS 567049 HAS SOUS 305904 HAS SOUPS 129798 WITH SCORE 130588.804
AT ITER 7139 NEW BEST:: SOT 1475224 SOS 790804 HAS SOPS 566907 HAS SOUS 306010 HAS SOUPS 129762 WITH SCORE 130552.804
AT ITER 7166 NEW BEST:: SOT 1475027 SOS 790607 HAS SOPS 566813 HAS SOUS 305616 HAS SOUPS 129368 WITH SCORE 130158.607
AT ITER 7169 NEW BEST:: SOT 1474669 SOS 790249 HAS SOPS 566455 HAS SOUS 305484 HAS SOUPS 129236 WITH SCORE 130026.249
AT ITER 7201 NEW BEST:: SOT 1474632 SOS 790112 HAS SOPS 566418 HAS SOUS 305310 HAS SOUPS 129162 WITH SCORE 129952.112
AT ITER 7213 NEW BEST:: SOT 1474309 SOS 789509 HAS SOPS 566095 HAS SOUS 304944 HAS SOUPS 129029 WITH SCORE 129818.509
AT ITER 7214 NEW BEST:: SOT 1474241 SOS 789441 HAS SOPS 566027 HAS SOUS 304808 HAS SOUPS 128893 WITH SCORE 129682.441
AT ITER 7221 NEW BEST:: SOT 1474241 SOS 789421 HAS SOPS 566027 HAS SOUS 304788 HAS SOUPS 128893 WITH SCORE 129682.421
AT ITER 7260 NEW BEST:: SOT 1473911 SOS 788805 HAS SOPS 565735 HAS SOUS 304452 HAS SOUPS 128843 WITH SCORE 129631.805
AT ITER 7262 NEW BEST:: SOT 1474103 SOS 788997 HAS SOPS 565927 HAS SOUS 304362 HAS SOUPS 128753 WITH SCORE 129541.997
AT ITER 7273 NEW BEST:: SOT 1474219 SOS 789345 HAS SOPS 565927 HAS SOUS 304362 HAS SOUPS 128637 WITH SCORE 129426.345
AT ITER 7302 NEW BEST:: SOT 1474219 SOS 789300 HAS SOPS 565927 HAS SOUS 304362 HAS SOUPS 128637 WITH SCORE 129426.3
AT ITER 7315 NEW BEST:: SOT 1474232 SOS 789425 HAS SOPS 565729 HAS SOUS 304276 HAS SOUPS 128439 WITH SCORE 129228.425
AT ITER 7337 NEW BEST:: SOT 1474191 SOS 789384 HAS SOPS 565688 HAS SOUS 304235 HAS SOUPS 128398 WITH SCORE 129187.384
AT ITER 7345 NEW BEST:: SOT 1474079 SOS 789272 HAS SOPS 565576 HAS SOUS 304011 HAS SOUPS 128174 WITH SCORE 128963.272
AT ITER 7357 NEW BEST:: SOT 1474087 SOS 789280 HAS SOPS 565584 HAS SOUS 303773 HAS SOUPS 127936 WITH SCORE 128725.28
AT ITER 7366 NEW BEST:: SOT 1474088 SOS 789283 HAS SOPS 565584 HAS SOUS 303773 HAS SOUPS 127935 WITH SCORE 128724.283
AT ITER 7367 NEW BEST:: SOT 1474028 SOS 789193 HAS SOPS 565524 HAS SOUS 303683 HAS SOUPS 127875 WITH SCORE 128664.193
AT ITER 7369 NEW BEST:: SOT 1474028 SOS 789193 HAS SOPS 565524 HAS SOUS 303682 HAS SOUPS 127874 WITH SCORE 128663.193
AT ITER 7407 NEW BEST:: SOT 1474028 SOS 789193 HAS SOPS 565282 HAS SOUS 303682 HAS SOUPS 127632 WITH SCORE 128421.193
AT ITER 7424 NEW BEST:: SOT 1473532 SOS 788154 HAS SOPS 564948 HAS SOUS 303233 HAS SOUPS 127564 WITH SCORE 128352.154
AT ITER 7426 NEW BEST:: SOT 1473532 SOS 787984 HAS SOPS 564948 HAS SOUS 303233 HAS SOUPS 127564 WITH SCORE 128351.984
AT ITER 7430 NEW BEST:: SOT 1473710 SOS 788440 HAS SOPS 565126 HAS SOUS 303311 HAS SOUPS 127503 WITH SCORE 128291.44
AT ITER 7455 NEW BEST:: SOT 1473679 SOS 788409 HAS SOPS 565095 HAS SOUS 303311 HAS SOUPS 127503 WITH SCORE 128291.409
AT ITER 7466 NEW BEST:: SOT 1473679 SOS 788385 HAS SOPS 565095 HAS SOUS 303311 HAS SOUPS 127503 WITH SCORE 128291.385
AT ITER 7468 NEW BEST:: SOT 1473648 SOS 788354 HAS SOPS 565064 HAS SOUS 303249 HAS SOUPS 127441 WITH SCORE 128229.354
AT ITER 7476 NEW BEST:: SOT 1473766 SOS 788472 HAS SOPS 565182 HAS SOUS 303224 HAS SOUPS 127416 WITH SCORE 128204.472
AT ITER 7486 NEW BEST:: SOT 1473725 SOS 788431 HAS SOPS 565141 HAS SOUS 303183 HAS SOUPS 127375 WITH SCORE 128163.431
AT ITER 7513 NEW BEST:: SOT 1473725 SOS 788356 HAS SOPS 565141 HAS SOUS 303183 HAS SOUPS 127375 WITH SCORE 128163.356
AT ITER 7524 NEW BEST:: SOT 1473873 SOS 788504 HAS SOPS 565289 HAS SOUS 303011 HAS SOUPS 127203 WITH SCORE 127991.504
AT ITER 7527 NEW BEST:: SOT 1473706 SOS 788337 HAS SOPS 565122 HAS SOUS 302845 HAS SOUPS 127037 WITH SCORE 127825.337
AT ITER 7539 NEW BEST:: SOT 1473634 SOS 788265 HAS SOPS 565050 HAS SOUS 302819 HAS SOUPS 127011 WITH SCORE 127799.265
AT ITER 7548 NEW BEST:: SOT 1473763 SOS 788278 HAS SOPS 564899 HAS SOUS 302948 HAS SOUPS 126976 WITH SCORE 127764.278
AT ITER 7553 NEW BEST:: SOT 1473722 SOS 788237 HAS SOPS 564858 HAS SOUS 302907 HAS SOUPS 126935 WITH SCORE 127723.237
AT ITER 7556 NEW BEST:: SOT 1473701 SOS 788216 HAS SOPS 564837 HAS SOUS 302865 HAS SOUPS 126893 WITH SCORE 127681.216
AT ITER 7567 NEW BEST:: SOT 1473614 SOS 788129 HAS SOPS 564750 HAS SOUS 302691 HAS SOUPS 126719 WITH SCORE 127507.129
AT ITER 7574 NEW BEST:: SOT 1473598 SOS 788130 HAS SOPS 564751 HAS SOUS 302676 HAS SOUPS 126704 WITH SCORE 127492.13
AT ITER 7597 NEW BEST:: SOT 1473587 SOS 788119 HAS SOPS 564740 HAS SOUS 302646 HAS SOUPS 126674 WITH SCORE 127462.119
AT ITER 7601 NEW BEST:: SOT 1473587 SOS 788119 HAS SOPS 564638 HAS SOUS 302646 HAS SOUPS 126572 WITH SCORE 127360.119
AT ITER 7624 NEW BEST:: SOT 1473587 SOS 788086 HAS SOPS 564638 HAS SOUS 302613 HAS SOUPS 126572 WITH SCORE 127360.086
AT ITER 7660 NEW BEST:: SOT 1473535 SOS 788086 HAS SOPS 564638 HAS SOUS 302561 HAS SOUPS 126520 WITH SCORE 127308.086
AT ITER 7707 NEW BEST:: SOT 1473535 SOS 788414 HAS SOPS 564638 HAS SOUS 302561 HAS SOUPS 126505 WITH SCORE 127293.414
AT ITER 7717 NEW BEST:: SOT 1473534 SOS 788413 HAS SOPS 564637 HAS SOUS 302559 HAS SOUPS 126503 WITH SCORE 127291.413
AT ITER 7724 NEW BEST:: SOT 1473435 SOS 788314 HAS SOPS 564538 HAS SOUS 302369 HAS SOUPS 126313 WITH SCORE 127101.314
AT ITER 7725 NEW BEST:: SOT 1473270 SOS 788042 HAS SOPS 564373 HAS SOUS 302146 HAS SOUPS 126197 WITH SCORE 126985.042
AT ITER 7767 NEW BEST:: SOT 1473240 SOS 788012 HAS SOPS 564343 HAS SOUS 302086 HAS SOUPS 126137 WITH SCORE 126925.012
AT ITER 7774 NEW BEST:: SOT 1473044 SOS 787715 HAS SOPS 564147 HAS SOUS 301890 HAS SOUPS 126039 WITH SCORE 126826.715
AT ITER 7778 NEW BEST:: SOT 1472982 SOS 787653 HAS SOPS 564085 HAS SOUS 301766 HAS SOUPS 125915 WITH SCORE 126702.653
AT ITER 7802 NEW BEST:: SOT 1472982 SOS 787645 HAS SOPS 564085 HAS SOUS 301766 HAS SOUPS 125915 WITH SCORE 126702.645
AT ITER 7814 NEW BEST:: SOT 1472867 SOS 787624 HAS SOPS 564064 HAS SOUS 301651 HAS SOUPS 125800 WITH SCORE 126587.624
AT ITER 7832 NEW BEST:: SOT 1472699 SOS 787360 HAS SOPS 563896 HAS SOUS 301483 HAS SOUPS 125719 WITH SCORE 126506.36
AT ITER 7844 NEW BEST:: SOT 1472699 SOS 787358 HAS SOPS 563896 HAS SOUS 301483 HAS SOUPS 125719 WITH SCORE 126506.358
AT ITER 7851 NEW BEST:: SOT 1472586 SOS 787323 HAS SOPS 563861 HAS SOUS 301398 HAS SOUPS 125634 WITH SCORE 126421.323
AT ITER 7857 NEW BEST:: SOT 1472540 SOS 787277 HAS SOPS 563815 HAS SOUS 301306 HAS SOUPS 125542 WITH SCORE 126329.277
AT ITER 7862 NEW BEST:: SOT 1472540 SOS 787207 HAS SOPS 563815 HAS SOUS 301306 HAS SOUPS 125542 WITH SCORE 126329.207
AT ITER 7868 NEW BEST:: SOT 1472655 SOS 787474 HAS SOPS 563867 HAS SOUS 301384 HAS SOUPS 125531 WITH SCORE 126318.474
AT ITER 7910 NEW BEST:: SOT 1472625 SOS 787444 HAS SOPS 563837 HAS SOUS 301324 HAS SOUPS 125471 WITH SCORE 126258.444
AT ITER 7920 NEW BEST:: SOT 1472362 SOS 787211 HAS SOPS 563604 HAS SOUS 301108 HAS SOUPS 125255 WITH SCORE 126042.211
AT ITER 7944 NEW BEST:: SOT 1472362 SOS 787173 HAS SOPS 563604 HAS SOUS 301070 HAS SOUPS 125255 WITH SCORE 126042.173
AT ITER 7952 NEW BEST:: SOT 1472357 SOS 787168 HAS SOPS 563599 HAS SOUS 301065 HAS SOUPS 125250 WITH SCORE 126037.168
AT ITER 7963 NEW BEST:: SOT 1472316 SOS 787127 HAS SOPS 563558 HAS SOUS 301024 HAS SOUPS 125209 WITH SCORE 125996.127
AT ITER 7978 NEW BEST:: SOT 1472282 SOS 787093 HAS SOPS 563524 HAS SOUS 300990 HAS SOUPS 125175 WITH SCORE 125962.093
AT ITER 8080 NEW BEST:: SOT 1472275 SOS 787086 HAS SOPS 563517 HAS SOUS 300976 HAS SOUPS 125161 WITH SCORE 125948.086
AT ITER 8083 NEW BEST:: SOT 1472275 SOS 787068 HAS SOPS 563517 HAS SOUS 300976 HAS SOUPS 125161 WITH SCORE 125948.068
AT ITER 8135 NEW BEST:: SOT 1472189 SOS 786913 HAS SOPS 563431 HAS SOUS 300873 HAS SOUPS 125127 WITH SCORE 125913.913
AT ITER 8142 NEW BEST:: SOT 1472228 SOS 786991 HAS SOPS 563470 HAS SOUS 300873 HAS SOUPS 125088 WITH SCORE 125874.991
AT ITER 8152 NEW BEST:: SOT 1472301 SOS 787160 HAS SOPS 563543 HAS SOUS 300923 HAS SOUPS 125042 WITH SCORE 125829.16
AT ITER 8166 NEW BEST:: SOT 1472228 SOS 787087 HAS SOPS 563470 HAS SOUS 300923 HAS SOUPS 125042 WITH SCORE 125829.087
AT ITER 8218 NEW BEST:: SOT 1472176 SOS 787035 HAS SOPS 563418 HAS SOUS 300819 HAS SOUPS 124938 WITH SCORE 125725.035
AT ITER 8227 NEW BEST:: SOT 1472144 SOS 787087 HAS SOPS 563438 HAS SOUS 300792 HAS SOUPS 124879 WITH SCORE 125666.087
AT ITER 8250 NEW BEST:: SOT 1472139 SOS 787082 HAS SOPS 563433 HAS SOUS 300782 HAS SOUPS 124869 WITH SCORE 125656.082
AT ITER 8257 NEW BEST:: SOT 1472114 SOS 787057 HAS SOPS 563408 HAS SOUS 300732 HAS SOUPS 124819 WITH SCORE 125606.057
AT ITER 8278 NEW BEST:: SOT 1472484 SOS 787427 HAS SOPS 563778 HAS SOUS 300721 HAS SOUPS 124808 WITH SCORE 125595.427
AT ITER 8299 NEW BEST:: SOT 1472484 SOS 787427 HAS SOPS 563778 HAS SOUS 300637 HAS SOUPS 124724 WITH SCORE 125511.427
AT ITER 8361 NEW BEST:: SOT 1472484 SOS 787604 HAS SOPS 563424 HAS SOUS 300637 HAS SOUPS 124370 WITH SCORE 125157.604
AT ITER 8362 NEW BEST:: SOT 1472489 SOS 787619 HAS SOPS 563429 HAS SOUS 300637 HAS SOUPS 124365 WITH SCORE 125152.619
AT ITER 8364 NEW BEST:: SOT 1472489 SOS 787444 HAS SOPS 563429 HAS SOUS 300637 HAS SOUPS 124365 WITH SCORE 125152.444
AT ITER 8374 NEW BEST:: SOT 1472444 SOS 787399 HAS SOPS 563384 HAS SOUS 300547 HAS SOUPS 124275 WITH SCORE 125062.399
AT ITER 8379 NEW BEST:: SOT 1472284 SOS 787239 HAS SOPS 563224 HAS SOUS 300547 HAS SOUPS 124275 WITH SCORE 125062.239
AT ITER 8408 NEW BEST:: SOT 1472223 SOS 787178 HAS SOPS 563163 HAS SOUS 300497 HAS SOUPS 124225 WITH SCORE 125012.178
AT ITER 8410 NEW BEST:: SOT 1472198 SOS 787153 HAS SOPS 563138 HAS SOUS 300497 HAS SOUPS 124225 WITH SCORE 125012.153
AT ITER 8430 NEW BEST:: SOT 1472004 SOS 786791 HAS SOPS 562944 HAS SOUS 300277 HAS SOUPS 124173 WITH SCORE 124959.791
AT ITER 8431 NEW BEST:: SOT 1472129 SOS 788238 HAS SOPS 563069 HAS SOUS 300792 HAS SOUPS 123934 WITH SCORE 124722.238
AT ITER 8432 NEW BEST:: SOT 1472156 SOS 788319 HAS SOPS 563069 HAS SOUS 300792 HAS SOUPS 123907 WITH SCORE 124695.319
AT ITER 8467 NEW BEST:: SOT 1472156 SOS 788313 HAS SOPS 563069 HAS SOUS 300786 HAS SOUPS 123907 WITH SCORE 124695.313
AT ITER 8482 NEW BEST:: SOT 1472115 SOS 788348 HAS SOPS 563028 HAS SOUS 300821 HAS SOUPS 123866 WITH SCORE 124654.348
AT ITER 8504 NEW BEST:: SOT 1472107 SOS 788332 HAS SOPS 563020 HAS SOUS 300813 HAS SOUPS 123866 WITH SCORE 124654.332
AT ITER 8517 NEW BEST:: SOT 1472085 SOS 788310 HAS SOPS 562998 HAS SOUS 300769 HAS SOUPS 123822 WITH SCORE 124610.31
AT ITER 8530 NEW BEST:: SOT 1472028 SOS 788207 HAS SOPS 562941 HAS SOUS 300701 HAS SOUPS 123800 WITH SCORE 124588.207
AT ITER 8562 NEW BEST:: SOT 1472075 SOS 788307 HAS SOPS 562988 HAS SOUS 300695 HAS SOUPS 123741 WITH SCORE 124529.307
AT ITER 8564 NEW BEST:: SOT 1472006 SOS 788169 HAS SOPS 562919 HAS SOUS 300626 HAS SOUPS 123741 WITH SCORE 124529.169
AT ITER 8591 NEW BEST:: SOT 1471893 SOS 787949 HAS SOPS 562806 HAS SOUS 300507 HAS SOUPS 123729 WITH SCORE 124516.949
AT ITER 8601 NEW BEST:: SOT 1471893 SOS 787915 HAS SOPS 562806 HAS SOUS 300507 HAS SOUPS 123729 WITH SCORE 124516.915
AT ITER 8640 NEW BEST:: SOT 1471893 SOS 787915 HAS SOPS 562688 HAS SOUS 300507 HAS SOUPS 123611 WITH SCORE 124398.915
AT ITER 8651 NEW BEST:: SOT 1471953 SOS 787975 HAS SOPS 562748 HAS SOUS 300431 HAS SOUPS 123535 WITH SCORE 124322.975
AT ITER 8659 NEW BEST:: SOT 1472123 SOS 788029 HAS SOPS 562476 HAS SOUS 300601 HAS SOUPS 123379 WITH SCORE 124167.029
AT ITER 8670 NEW BEST:: SOT 1472109 SOS 787958 HAS SOPS 562405 HAS SOUS 300573 HAS SOUPS 123351 WITH SCORE 124138.958
AT ITER 8693 NEW BEST:: SOT 1472081 SOS 787930 HAS SOPS 562377 HAS SOUS 300545 HAS SOUPS 123323 WITH SCORE 124110.93
AT ITER 8708 NEW BEST:: SOT 1472280 SOS 788129 HAS SOPS 562397 HAS SOUS 300479 HAS SOUPS 123257 WITH SCORE 124045.129
AT ITER 8745 NEW BEST:: SOT 1472562 SOS 788704 HAS SOPS 562679 HAS SOUS 300750 HAS SOUPS 123250 WITH SCORE 124038.704
AT ITER 8746 NEW BEST:: SOT 1472546 SOS 788688 HAS SOPS 562663 HAS SOUS 300718 HAS SOUPS 123218 WITH SCORE 124006.688
AT ITER 8777 NEW BEST:: SOT 1472555 SOS 788697 HAS SOPS 562666 HAS SOUS 300706 HAS SOUPS 123206 WITH SCORE 123994.697
AT ITER 8783 NEW BEST:: SOT 1472555 SOS 789211 HAS SOPS 562666 HAS SOUS 300706 HAS SOUPS 123068 WITH SCORE 123857.211
AT ITER 8798 NEW BEST:: SOT 1472490 SOS 789146 HAS SOPS 562601 HAS SOUS 300576 HAS SOUPS 122938 WITH SCORE 123727.146
AT ITER 8831 NEW BEST:: SOT 1472601 SOS 789257 HAS SOPS 562712 HAS SOUS 300568 HAS SOUPS 122930 WITH SCORE 123719.257
AT ITER 8835 NEW BEST:: SOT 1472602 SOS 709906 HAS SOPS 483305 HAS SOUS 300284 HAS SOUPS 122590 WITH SCORE 123299.906
AT ITER 8851 NEW BEST:: SOT 1472399 SOS 709765 HAS SOPS 483164 HAS SOUS 300198 HAS SOUPS 122504 WITH SCORE 123213.765
AT ITER 8870 NEW BEST:: SOT 1472382 SOS 709748 HAS SOPS 483147 HAS SOUS 300198 HAS SOUPS 122504 WITH SCORE 123213.748
AT ITER 8887 NEW BEST:: SOT 1472344 SOS 709710 HAS SOPS 483071 HAS SOUS 300122 HAS SOUPS 122428 WITH SCORE 123137.71
AT ITER 8894 NEW BEST:: SOT 1472285 SOS 709553 HAS SOPS 483012 HAS SOUS 300063 HAS SOUPS 122418 WITH SCORE 123127.553
AT ITER 8931 NEW BEST:: SOT 1472167 SOS 709435 HAS SOPS 482894 HAS SOUS 299827 HAS SOUPS 122182 WITH SCORE 122891.435
AT ITER 8975 NEW BEST:: SOT 1472126 SOS 709394 HAS SOPS 482853 HAS SOUS 299786 HAS SOUPS 122141 WITH SCORE 122850.394
AT ITER 8985 NEW BEST:: SOT 1472126 SOS 709394 HAS SOPS 482828 HAS SOUS 299736 HAS SOUPS 122091 WITH SCORE 122800.394
AT ITER 9023 NEW BEST:: SOT 1472093 SOS 709361 HAS SOPS 482813 HAS SOUS 299670 HAS SOUPS 122025 WITH SCORE 122734.361
AT ITER 9035 NEW BEST:: SOT 1471920 SOS 709093 HAS SOPS 482467 HAS SOUS 299324 HAS SOUPS 121679 WITH SCORE 122388.093
AT ITER 9044 NEW BEST:: SOT 1466560 SOS 902931 HAS SOPS 676662 HAS SOUS 294665 HAS SOUPS 117377 WITH SCORE 118279.931
AT ITER 9045 NEW BEST:: SOT 1466659 SOS 903030 HAS SOPS 676704 HAS SOUS 294585 HAS SOUPS 117297 WITH SCORE 118200.03
AT ITER 9047 NEW BEST:: SOT 1465951 SOS 901687 HAS SOPS 675996 HAS SOUS 293896 HAS SOUPS 117009 WITH SCORE 117910.687
AT ITER 9053 NEW BEST:: SOT 1465951 SOS 901604 HAS SOPS 675996 HAS SOUS 293896 HAS SOUPS 117009 WITH SCORE 117910.604
AT ITER 9055 NEW BEST:: SOT 1465951 SOS 901519 HAS SOPS 675996 HAS SOUS 293896 HAS SOUPS 117009 WITH SCORE 117910.519
AT ITER 9076 NEW BEST:: SOT 1465951 SOS 901543 HAS SOPS 675996 HAS SOUS 293896 HAS SOUPS 116997 WITH SCORE 117898.543
AT ITER 9103 NEW BEST:: SOT 1465939 SOS 901531 HAS SOPS 676099 HAS SOUS 293872 HAS SOUPS 116973 WITH SCORE 117874.531
AT ITER 9128 NEW BEST:: SOT 1466001 SOS 901655 HAS SOPS 676099 HAS SOUS 293872 HAS SOUPS 116911 WITH SCORE 117812.655
AT ITER 9164 NEW BEST:: SOT 1465999 SOS 901653 HAS SOPS 676097 HAS SOUS 293868 HAS SOUPS 116907 WITH SCORE 117808.653
AT ITER 9177 NEW BEST:: SOT 1465315 SOS 900055 HAS SOPS 675549 HAS SOUS 293184 HAS SOUPS 116895 WITH SCORE 117795.055
AT ITER 9178 NEW BEST:: SOT 1465309 SOS 900049 HAS SOPS 675543 HAS SOUS 293172 HAS SOUPS 116883 WITH SCORE 117783.049
AT ITER 9185 NEW BEST:: SOT 1465301 SOS 900041 HAS SOPS 675535 HAS SOUS 293156 HAS SOUPS 116867 WITH SCORE 117767.041
AT ITER 9195 NEW BEST:: SOT 1465301 SOS 899953 HAS SOPS 675535 HAS SOUS 293141 HAS SOUPS 116867 WITH SCORE 117766.953
AT ITER 9232 NEW BEST:: SOT 1465471 SOS 900373 HAS SOPS 675595 HAS SOUS 293231 HAS SOUPS 116817 WITH SCORE 117717.373
AT ITER 9237 NEW BEST:: SOT 1465470 SOS 900355 HAS SOPS 675577 HAS SOUS 293230 HAS SOUPS 116816 WITH SCORE 117716.355
AT ITER 9238 NEW BEST:: SOT 1465428 SOS 900313 HAS SOPS 675535 HAS SOUS 293224 HAS SOUPS 116810 WITH SCORE 117710.313
AT ITER 9300 NEW BEST:: SOT 1465425 SOS 900310 HAS SOPS 675532 HAS SOUS 293218 HAS SOUPS 116804 WITH SCORE 117704.31
AT ITER 9309 NEW BEST:: SOT 1465335 SOS 900220 HAS SOPS 675442 HAS SOUS 293144 HAS SOUPS 116730 WITH SCORE 117630.22
AT ITER 9388 NEW BEST:: SOT 1465215 SOS 900100 HAS SOPS 675202 HAS SOUS 292904 HAS SOUPS 116490 WITH SCORE 117390.1
AT ITER 9396 NEW BEST:: SOT 1465197 SOS 900082 HAS SOPS 675184 HAS SOUS 292886 HAS SOUPS 116472 WITH SCORE 117372.082
AT ITER 9406 NEW BEST:: SOT 1465205 SOS 900626 HAS SOPS 675192 HAS SOUS 292902 HAS SOUPS 116347 WITH SCORE 117247.626
AT ITER 9414 NEW BEST:: SOT 1465089 SOS 900611 HAS SOPS 675177 HAS SOUS 292786 HAS SOUPS 116231 WITH SCORE 117131.611
AT ITER 9427 NEW BEST:: SOT 1464955 SOS 900343 HAS SOPS 675043 HAS SOUS 292652 HAS SOUPS 116164 WITH SCORE 117064.343
AT ITER 9440 NEW BEST:: SOT 1464910 SOS 900457 HAS SOPS 674998 HAS SOUS 292637 HAS SOUPS 115990 WITH SCORE 116890.457
AT ITER 9442 NEW BEST:: SOT 1464895 SOS 900442 HAS SOPS 674968 HAS SOUS 292607 HAS SOUPS 115960 WITH SCORE 116860.442
AT ITER 9469 NEW BEST:: SOT 1464874 SOS 900421 HAS SOPS 674947 HAS SOUS 292586 HAS SOUPS 115939 WITH SCORE 116839.421
AT ITER 9484 NEW BEST:: SOT 1464615 SOS 900162 HAS SOPS 674762 HAS SOUS 292564 HAS SOUPS 115917 WITH SCORE 116817.162
AT ITER 9511 NEW BEST:: SOT 1464519 SOS 900066 HAS SOPS 674666 HAS SOUS 292468 HAS SOUPS 115821 WITH SCORE 116721.066
AT ITER 9519 NEW BEST:: SOT 1464408 SOS 719087 HAS SOPS 493983 HAS SOUS 291950 HAS SOUPS 115599 WITH SCORE 116318.087
AT ITER 9526 NEW BEST:: SOT 1464407 SOS 719086 HAS SOPS 493982 HAS SOUS 291948 HAS SOUPS 115597 WITH SCORE 116316.086
AT ITER 9545 NEW BEST:: SOT 1464360 SOS 719039 HAS SOPS 493935 HAS SOUS 291854 HAS SOUPS 115503 WITH SCORE 116222.039
AT ITER 9610 NEW BEST:: SOT 1464213 SOS 718418 HAS SOPS 493788 HAS SOUS 291560 HAS SOUPS 115406 WITH SCORE 116124.418
AT ITER 9652 NEW BEST:: SOT 1464197 SOS 718402 HAS SOPS 493772 HAS SOUS 291528 HAS SOUPS 115374 WITH SCORE 116092.402
AT ITER 9719 NEW BEST:: SOT 1464194 SOS 718399 HAS SOPS 493769 HAS SOUS 291522 HAS SOUPS 115368 WITH SCORE 116086.399
AT ITER 9727 NEW BEST:: SOT 1464422 SOS 720019 HAS SOPS 493997 HAS SOUS 292185 HAS SOUPS 115335 WITH SCORE 116055.019
AT ITER 9761 NEW BEST:: SOT 1464220 SOS 719817 HAS SOPS 493795 HAS SOUS 291998 HAS SOUPS 115148 WITH SCORE 115867.817
AT ITER 9793 NEW BEST:: SOT 1464220 SOS 719795 HAS SOPS 493795 HAS SOUS 291998 HAS SOUPS 115148 WITH SCORE 115867.795
AT ITER 9815 NEW BEST:: SOT 1463842 SOS 718888 HAS SOPS 493591 HAS SOUS 291620 HAS SOUPS 115136 WITH SCORE 115854.888
AT ITER 9846 NEW BEST:: SOT 1463713 SOS 718556 HAS SOPS 493517 HAS SOUS 291491 HAS SOUPS 115136 WITH SCORE 115854.556
AT ITER 9848 NEW BEST:: SOT 1463783 SOS 718772 HAS SOPS 493587 HAS SOUS 291488 HAS SOUPS 115060 WITH SCORE 115778.772
AT ITER 9871 NEW BEST:: SOT 1463777 SOS 718766 HAS SOPS 493581 HAS SOUS 291482 HAS SOUPS 115054 WITH SCORE 115772.766
AT ITER 9874 NEW BEST:: SOT 1463578 SOS 718440 HAS SOPS 493382 HAS SOUS 291211 HAS SOUPS 114910 WITH SCORE 115628.44
AT ITER 9884 NEW BEST:: SOT 1463547 SOS 718409 HAS SOPS 493351 HAS SOUS 291149 HAS SOUPS 114848 WITH SCORE 115566.409
AT ITER 9911 NEW BEST:: SOT 1463573 SOS 718409 HAS SOPS 493319 HAS SOUS 291175 HAS SOUPS 114842 WITH SCORE 115560.409
AT ITER 9928 NEW BEST:: SOT 1463573 SOS 718409 HAS SOPS 493273 HAS SOUS 291129 HAS SOUPS 114750 WITH SCORE 115468.409
AT ITER 9940 NEW BEST:: SOT 1463545 SOS 718376 HAS SOPS 493240 HAS SOUS 291101 HAS SOUPS 114722 WITH SCORE 115440.376
AT ITER 9975 NEW BEST:: SOT 1463470 SOS 718301 HAS SOPS 493165 HAS SOUS 291101 HAS SOUPS 114722 WITH SCORE 115440.301
AT ITER 9983 NEW BEST:: SOT 1463365 SOS 718196 HAS SOPS 493060 HAS SOUS 290891 HAS SOUPS 114512 WITH SCORE 115230.196
AT ITER 9988 NEW BEST:: SOT 1463336 SOS 718167 HAS SOPS 493031 HAS SOUS 290833 HAS SOUPS 114454 WITH SCORE 115172.167
STATE_SPACE STATES 275494823 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 608 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1227994824 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1678473066692
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AirplaneLD-PT-0200"
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 AirplaneLD-PT-0200, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-oct2-167813590700280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-PT-0200.tgz
mv AirplaneLD-PT-0200 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;