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.r299-tall-167873953300664.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is PolyORBNT-COL-S05J60, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953300664
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 556K
-rw-r--r-- 1 mcc users 8.8K Feb 25 23:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 25 23:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 23:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 23:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 23:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 25 23:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 23:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K Feb 25 23:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 94K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679528445956

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBNT-COL-S05J60
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 23:40:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 23:40:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 23:40:47] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-22 23:40:47] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 23:40:48] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 640 ms
[2023-03-22 23:40:48] [INFO ] Imported 48 HL places and 38 HL transitions for a total of 969 PT places and 2152.0 transition bindings in 18 ms.
[2023-03-22 23:40:48] [INFO ] Unfolded HLPN to a Petri net with 969 places and 2030 transitions 12704 arcs in 52 ms.
[2023-03-22 23:40:48] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-22 23:40:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 969 places, 2030 transitions and 12704 arcs took 27 ms.
Total runtime 818 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (COL), instance S05J60
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 969 places, 2030 transitions, 12704 arcs.
AT ITER 0 NEW BEST:: SOT 1568871 SOS 580468 HAS SOPS 580439 HAS SOUS 314295 HAS SOUPS 314266 WITH SCORE 314846.468
AT ITER 23 NEW BEST:: SOT 1568817 SOS 580427 HAS SOPS 580398 HAS SOUS 314224 HAS SOUPS 314195 WITH SCORE 314775.427
AT ITER 26 NEW BEST:: SOT 1568453 SOS 580941 HAS SOPS 580912 HAS SOUS 313916 HAS SOUPS 313887 WITH SCORE 314467.941
AT ITER 33 NEW BEST:: SOT 1568304 SOS 581532 HAS SOPS 581503 HAS SOUS 313904 HAS SOUPS 313875 WITH SCORE 314456.532
AT ITER 38 NEW BEST:: SOT 1567690 SOS 580965 HAS SOPS 580936 HAS SOUS 313448 HAS SOUPS 313419 WITH SCORE 313999.965
AT ITER 48 NEW BEST:: SOT 1567458 SOS 580733 HAS SOPS 580704 HAS SOUS 313234 HAS SOUPS 313205 WITH SCORE 313785.733
AT ITER 50 NEW BEST:: SOT 1567458 SOS 580308 HAS SOPS 580279 HAS SOUS 313213 HAS SOUPS 313184 WITH SCORE 313764.308
AT ITER 51 NEW BEST:: SOT 1565741 SOS 598896 HAS SOPS 598867 HAS SOUS 312145 HAS SOUPS 312116 WITH SCORE 312714.896
AT ITER 57 NEW BEST:: SOT 1565729 SOS 598824 HAS SOPS 598795 HAS SOUS 312109 HAS SOUPS 312080 WITH SCORE 312678.824
AT ITER 70 NEW BEST:: SOT 1565063 SOS 598338 HAS SOPS 598309 HAS SOUS 311761 HAS SOUPS 311732 WITH SCORE 312330.338
AT ITER 74 NEW BEST:: SOT 1564445 SOS 597862 HAS SOPS 597833 HAS SOUS 311367 HAS SOUPS 311338 WITH SCORE 311935.862
AT ITER 91 NEW BEST:: SOT 1564428 SOS 597925 HAS SOPS 597896 HAS SOUS 311289 HAS SOUPS 311260 WITH SCORE 311857.925
AT ITER 96 NEW BEST:: SOT 1564485 SOS 597926 HAS SOPS 597897 HAS SOUS 311154 HAS SOUPS 311125 WITH SCORE 311722.926
AT ITER 100 NEW BEST:: SOT 1563744 SOS 597325 HAS SOPS 597296 HAS SOUS 310459 HAS SOUPS 310430 WITH SCORE 311027.325
AT ITER 101 NEW BEST:: SOT 1563856 SOS 597381 HAS SOPS 597352 HAS SOUS 310445 HAS SOUPS 310416 WITH SCORE 311013.381
AT ITER 111 NEW BEST:: SOT 1563777 SOS 596907 HAS SOPS 596878 HAS SOUS 310247 HAS SOUPS 310218 WITH SCORE 310814.907
AT ITER 115 NEW BEST:: SOT 1563268 SOS 596284 HAS SOPS 596255 HAS SOUS 309880 HAS SOUPS 309851 WITH SCORE 310447.284
AT ITER 121 NEW BEST:: SOT 1562477 SOS 595656 HAS SOPS 595627 HAS SOUS 309170 HAS SOUPS 309141 WITH SCORE 309736.656
AT ITER 128 NEW BEST:: SOT 1562348 SOS 595527 HAS SOPS 595498 HAS SOUS 309008 HAS SOUPS 308979 WITH SCORE 309574.527
AT ITER 134 NEW BEST:: SOT 1562194 SOS 595373 HAS SOPS 595344 HAS SOUS 308894 HAS SOUPS 308865 WITH SCORE 309460.373
AT ITER 158 NEW BEST:: SOT 1561452 SOS 594755 HAS SOPS 594726 HAS SOUS 308430 HAS SOUPS 308401 WITH SCORE 308995.755
AT ITER 164 NEW BEST:: SOT 1561593 SOS 594841 HAS SOPS 594812 HAS SOUS 308295 HAS SOUPS 308266 WITH SCORE 308860.841
AT ITER 165 NEW BEST:: SOT 1561593 SOS 594536 HAS SOPS 594507 HAS SOUS 307723 HAS SOUPS 307694 WITH SCORE 308288.536
AT ITER 170 NEW BEST:: SOT 1561375 SOS 594318 HAS SOPS 594289 HAS SOUS 307302 HAS SOUPS 307273 WITH SCORE 307867.318
AT ITER 177 NEW BEST:: SOT 1560855 SOS 593852 HAS SOPS 593823 HAS SOUS 306766 HAS SOUPS 306737 WITH SCORE 307330.852
AT ITER 179 NEW BEST:: SOT 1560996 SOS 593935 HAS SOPS 593906 HAS SOUS 306571 HAS SOUPS 306542 WITH SCORE 307135.935
AT ITER 180 NEW BEST:: SOT 1560383 SOS 593429 HAS SOPS 593400 HAS SOUS 306044 HAS SOUPS 306015 WITH SCORE 306608.429
AT ITER 203 NEW BEST:: SOT 1559945 SOS 593027 HAS SOPS 592998 HAS SOUS 305646 HAS SOUPS 305617 WITH SCORE 306210.027
AT ITER 208 NEW BEST:: SOT 1559913 SOS 592835 HAS SOPS 592806 HAS SOUS 305550 HAS SOUPS 305521 WITH SCORE 306113.835
AT ITER 229 NEW BEST:: SOT 1560089 SOS 592957 HAS SOPS 592928 HAS SOUS 305441 HAS SOUPS 305412 WITH SCORE 306004.957
AT ITER 245 NEW BEST:: SOT 1550286 SOS 703274 HAS SOPS 703245 HAS SOUS 304079 HAS SOUPS 304050 WITH SCORE 304753.274
AT ITER 261 NEW BEST:: SOT 1550252 SOS 703240 HAS SOPS 703211 HAS SOUS 303943 HAS SOUPS 303914 WITH SCORE 304617.24
AT ITER 269 NEW BEST:: SOT 1550322 SOS 703256 HAS SOPS 703227 HAS SOUS 303720 HAS SOUPS 303691 WITH SCORE 304394.256
AT ITER 289 NEW BEST:: SOT 1550253 SOS 702842 HAS SOPS 702813 HAS SOUS 303529 HAS SOUPS 303500 WITH SCORE 304202.842
AT ITER 303 NEW BEST:: SOT 1550334 SOS 702750 HAS SOPS 702721 HAS SOUS 303518 HAS SOUPS 303489 WITH SCORE 304191.75
AT ITER 306 NEW BEST:: SOT 1550243 SOS 703109 HAS SOPS 703080 HAS SOUS 303366 HAS SOUPS 303337 WITH SCORE 304040.109
AT ITER 309 NEW BEST:: SOT 1550243 SOS 703109 HAS SOPS 703080 HAS SOUS 303360 HAS SOUPS 303331 WITH SCORE 304034.109
AT ITER 310 NEW BEST:: SOT 1550243 SOS 703109 HAS SOPS 703080 HAS SOUS 303342 HAS SOUPS 303313 WITH SCORE 304016.109
AT ITER 311 NEW BEST:: SOT 1549824 SOS 702080 HAS SOPS 702051 HAS SOUS 302979 HAS SOUPS 302950 WITH SCORE 303652.08
AT ITER 324 NEW BEST:: SOT 1549821 SOS 702087 HAS SOPS 702058 HAS SOUS 302915 HAS SOUPS 302886 WITH SCORE 303588.087
AT ITER 326 NEW BEST:: SOT 1549821 SOS 701822 HAS SOPS 701793 HAS SOUS 302907 HAS SOUPS 302878 WITH SCORE 303579.822
AT ITER 333 NEW BEST:: SOT 1549895 SOS 701839 HAS SOPS 701810 HAS SOUS 302802 HAS SOUPS 302773 WITH SCORE 303474.839
AT ITER 340 NEW BEST:: SOT 1549321 SOS 701336 HAS SOPS 701307 HAS SOUS 302261 HAS SOUPS 302232 WITH SCORE 302933.336
AT ITER 341 NEW BEST:: SOT 1548805 SOS 700820 HAS SOPS 700791 HAS SOUS 301880 HAS SOUPS 301851 WITH SCORE 302551.82
AT ITER 345 NEW BEST:: SOT 1548531 SOS 700558 HAS SOPS 700529 HAS SOUS 301729 HAS SOUPS 301700 WITH SCORE 302400.558
AT ITER 351 NEW BEST:: SOT 1548323 SOS 700350 HAS SOPS 700321 HAS SOUS 301588 HAS SOUPS 301559 WITH SCORE 302259.35
AT ITER 370 NEW BEST:: SOT 1547699 SOS 699844 HAS SOPS 699815 HAS SOUS 301076 HAS SOUPS 301047 WITH SCORE 301746.844
AT ITER 372 NEW BEST:: SOT 1547385 SOS 699568 HAS SOPS 699539 HAS SOUS 300941 HAS SOUPS 300912 WITH SCORE 301611.568
AT ITER 375 NEW BEST:: SOT 1547164 SOS 699347 HAS SOPS 699318 HAS SOUS 300686 HAS SOUPS 300657 WITH SCORE 301356.347
AT ITER 382 NEW BEST:: SOT 1547003 SOS 699986 HAS SOPS 699957 HAS SOUS 300464 HAS SOUPS 300435 WITH SCORE 301134.986
AT ITER 387 NEW BEST:: SOT 1546970 SOS 700118 HAS SOPS 700089 HAS SOUS 300431 HAS SOUPS 300402 WITH SCORE 301102.118
AT ITER 396 NEW BEST:: SOT 1546247 SOS 699504 HAS SOPS 699475 HAS SOUS 299658 HAS SOUPS 299629 WITH SCORE 300328.504
AT ITER 398 NEW BEST:: SOT 1546327 SOS 699512 HAS SOPS 699483 HAS SOUS 299326 HAS SOUPS 299297 WITH SCORE 299996.512
AT ITER 403 NEW BEST:: SOT 1546284 SOS 699469 HAS SOPS 699440 HAS SOUS 299326 HAS SOUPS 299297 WITH SCORE 299996.469
AT ITER 405 NEW BEST:: SOT 1545663 SOS 699017 HAS SOPS 698988 HAS SOUS 298988 HAS SOUPS 298959 WITH SCORE 299658.017
AT ITER 408 NEW BEST:: SOT 1545018 SOS 697762 HAS SOPS 697733 HAS SOUS 298277 HAS SOUPS 298248 WITH SCORE 298945.762
AT ITER 411 NEW BEST:: SOT 1545079 SOS 697765 HAS SOPS 697736 HAS SOUS 298161 HAS SOUPS 298132 WITH SCORE 298829.765
AT ITER 412 NEW BEST:: SOT 1545074 SOS 697760 HAS SOPS 697731 HAS SOUS 298148 HAS SOUPS 298119 WITH SCORE 298816.76
AT ITER 420 NEW BEST:: SOT 1545174 SOS 697803 HAS SOPS 697774 HAS SOUS 297958 HAS SOUPS 297929 WITH SCORE 298626.803
AT ITER 423 NEW BEST:: SOT 1545060 SOS 697689 HAS SOPS 697660 HAS SOUS 297821 HAS SOUPS 297792 WITH SCORE 298489.689
AT ITER 425 NEW BEST:: SOT 1544932 SOS 697561 HAS SOPS 697532 HAS SOUS 297821 HAS SOUPS 297792 WITH SCORE 298489.561
AT ITER 426 NEW BEST:: SOT 1539077 SOS 715866 HAS SOPS 715837 HAS SOUS 294276 HAS SOUPS 294247 WITH SCORE 294962.866
AT ITER 433 NEW BEST:: SOT 1539192 SOS 715927 HAS SOPS 715898 HAS SOUS 293999 HAS SOUPS 293970 WITH SCORE 294685.927
AT ITER 437 NEW BEST:: SOT 1539097 SOS 715832 HAS SOPS 715803 HAS SOUS 293849 HAS SOUPS 293820 WITH SCORE 294535.832
AT ITER 438 NEW BEST:: SOT 1539310 SOS 717533 HAS SOPS 717504 HAS SOUS 293830 HAS SOUPS 293801 WITH SCORE 294518.533
AT ITER 440 NEW BEST:: SOT 1539279 SOS 717502 HAS SOPS 717473 HAS SOUS 293775 HAS SOUPS 293746 WITH SCORE 294463.502
AT ITER 443 NEW BEST:: SOT 1539002 SOS 717788 HAS SOPS 717759 HAS SOUS 293221 HAS SOUPS 293192 WITH SCORE 293909.788
AT ITER 445 NEW BEST:: SOT 1539002 SOS 717788 HAS SOPS 717759 HAS SOUS 293193 HAS SOUPS 293164 WITH SCORE 293881.788
AT ITER 476 NEW BEST:: SOT 1539200 SOS 717928 HAS SOPS 717899 HAS SOUS 293065 HAS SOUPS 293036 WITH SCORE 293753.928
AT ITER 484 NEW BEST:: SOT 1539304 SOS 717975 HAS SOPS 717946 HAS SOUS 292994 HAS SOUPS 292965 WITH SCORE 293682.975
AT ITER 490 NEW BEST:: SOT 1539304 SOS 717846 HAS SOPS 717817 HAS SOUS 292621 HAS SOUPS 292592 WITH SCORE 293309.846
AT ITER 495 NEW BEST:: SOT 1539208 SOS 717270 HAS SOPS 717241 HAS SOUS 292403 HAS SOUPS 292374 WITH SCORE 293091.27
AT ITER 501 NEW BEST:: SOT 1539408 SOS 717413 HAS SOPS 717384 HAS SOUS 292285 HAS SOUPS 292256 WITH SCORE 292973.413
AT ITER 504 NEW BEST:: SOT 1532450 SOS 728017 HAS SOPS 727988 HAS SOUS 290265 HAS SOUPS 290236 WITH SCORE 290964.017
AT ITER 514 NEW BEST:: SOT 1532450 SOS 728703 HAS SOPS 728674 HAS SOUS 290204 HAS SOUPS 290175 WITH SCORE 290903.703
AT ITER 525 NEW BEST:: SOT 1532450 SOS 728703 HAS SOPS 728674 HAS SOUS 290165 HAS SOUPS 290136 WITH SCORE 290864.703
AT ITER 530 NEW BEST:: SOT 1532431 SOS 728684 HAS SOPS 728655 HAS SOUS 290140 HAS SOUPS 290111 WITH SCORE 290839.684
AT ITER 534 NEW BEST:: SOT 1532431 SOS 728499 HAS SOPS 728470 HAS SOUS 290122 HAS SOUPS 290093 WITH SCORE 290821.499
AT ITER 549 NEW BEST:: SOT 1532263 SOS 728546 HAS SOPS 728517 HAS SOUS 290062 HAS SOUPS 290033 WITH SCORE 290761.546
AT ITER 554 NEW BEST:: SOT 1531875 SOS 727742 HAS SOPS 727713 HAS SOUS 289688 HAS SOUPS 289659 WITH SCORE 290386.742
AT ITER 556 NEW BEST:: SOT 1531825 SOS 727692 HAS SOPS 727663 HAS SOUS 289538 HAS SOUPS 289509 WITH SCORE 290236.692
AT ITER 573 NEW BEST:: SOT 1531811 SOS 727664 HAS SOPS 727635 HAS SOUS 289449 HAS SOUPS 289420 WITH SCORE 290147.664
AT ITER 579 NEW BEST:: SOT 1531838 SOS 727583 HAS SOPS 727554 HAS SOUS 289395 HAS SOUPS 289366 WITH SCORE 290093.583
AT ITER 582 NEW BEST:: SOT 1531426 SOS 726561 HAS SOPS 726532 HAS SOUS 289086 HAS SOUPS 289057 WITH SCORE 289783.561
AT ITER 600 NEW BEST:: SOT 1531590 SOS 728113 HAS SOPS 728084 HAS SOUS 288904 HAS SOUPS 288875 WITH SCORE 289603.113
AT ITER 627 NEW BEST:: SOT 1531590 SOS 728007 HAS SOPS 727978 HAS SOUS 288798 HAS SOUPS 288769 WITH SCORE 289497.007
AT ITER 632 NEW BEST:: SOT 1531533 SOS 728021 HAS SOPS 727992 HAS SOUS 288684 HAS SOUPS 288655 WITH SCORE 289383.021
AT ITER 635 NEW BEST:: SOT 1531480 SOS 727718 HAS SOPS 727689 HAS SOUS 288591 HAS SOUPS 288562 WITH SCORE 289289.718
AT ITER 644 NEW BEST:: SOT 1530930 SOS 727084 HAS SOPS 727055 HAS SOUS 288261 HAS SOUPS 288232 WITH SCORE 288959.084
AT ITER 647 NEW BEST:: SOT 1530782 SOS 726936 HAS SOPS 726907 HAS SOUS 288169 HAS SOUPS 288140 WITH SCORE 288866.936
AT ITER 664 NEW BEST:: SOT 1530782 SOS 726828 HAS SOPS 726799 HAS SOUS 288115 HAS SOUPS 288086 WITH SCORE 288812.828
AT ITER 665 NEW BEST:: SOT 1530375 SOS 726501 HAS SOPS 726472 HAS SOUS 287969 HAS SOUPS 287940 WITH SCORE 288666.501
AT ITER 683 NEW BEST:: SOT 1530326 SOS 726207 HAS SOPS 726178 HAS SOUS 287871 HAS SOUPS 287842 WITH SCORE 288568.207
AT ITER 685 NEW BEST:: SOT 1530336 SOS 726293 HAS SOPS 726264 HAS SOUS 287759 HAS SOUPS 287730 WITH SCORE 288456.293
AT ITER 687 NEW BEST:: SOT 1530336 SOS 727210 HAS SOPS 727181 HAS SOUS 287698 HAS SOUPS 287669 WITH SCORE 288396.21
AT ITER 692 NEW BEST:: SOT 1530384 SOS 727258 HAS SOPS 727229 HAS SOUS 287614 HAS SOUPS 287585 WITH SCORE 288312.258
AT ITER 702 NEW BEST:: SOT 1530264 SOS 727403 HAS SOPS 727388 HAS SOUS 287383 HAS SOUPS 287368 WITH SCORE 288095.403
AT ITER 710 NEW BEST:: SOT 1530147 SOS 727341 HAS SOPS 727326 HAS SOUS 287271 HAS SOUPS 287256 WITH SCORE 287983.341
AT ITER 732 NEW BEST:: SOT 1529786 SOS 727008 HAS SOPS 726993 HAS SOUS 286993 HAS SOUPS 286978 WITH SCORE 287705.008
AT ITER 743 NEW BEST:: SOT 1529756 SOS 726978 HAS SOPS 726963 HAS SOUS 286993 HAS SOUPS 286978 WITH SCORE 287704.978
AT ITER 748 NEW BEST:: SOT 1529756 SOS 726978 HAS SOPS 726963 HAS SOUS 286955 HAS SOUPS 286940 WITH SCORE 287666.978
AT ITER 750 NEW BEST:: SOT 1529756 SOS 727093 HAS SOPS 727078 HAS SOUS 286953 HAS SOUPS 286938 WITH SCORE 287665.093
AT ITER 772 NEW BEST:: SOT 1529756 SOS 727046 HAS SOPS 727031 HAS SOUS 286859 HAS SOUPS 286844 WITH SCORE 287571.046
AT ITER 789 NEW BEST:: SOT 1529693 SOS 726983 HAS SOPS 726968 HAS SOUS 286832 HAS SOUPS 286817 WITH SCORE 287543.983
AT ITER 793 NEW BEST:: SOT 1529689 SOS 726979 HAS SOPS 726964 HAS SOUS 286810 HAS SOUPS 286795 WITH SCORE 287521.979
AT ITER 794 NEW BEST:: SOT 1529531 SOS 726843 HAS SOPS 726828 HAS SOUS 286627 HAS SOUPS 286612 WITH SCORE 287338.843
AT ITER 795 NEW BEST:: SOT 1529531 SOS 726483 HAS SOPS 726468 HAS SOUS 286484 HAS SOUPS 286469 WITH SCORE 287195.483
AT ITER 806 NEW BEST:: SOT 1529470 SOS 726117 HAS SOPS 726102 HAS SOUS 286362 HAS SOUPS 286347 WITH SCORE 287073.117
AT ITER 813 NEW BEST:: SOT 1529452 SOS 726099 HAS SOPS 726084 HAS SOUS 286356 HAS SOUPS 286341 WITH SCORE 287067.099
AT ITER 822 NEW BEST:: SOT 1529574 SOS 726433 HAS SOPS 726418 HAS SOUS 286267 HAS SOUPS 286252 WITH SCORE 286978.433
AT ITER 855 NEW BEST:: SOT 1529455 SOS 726904 HAS SOPS 726889 HAS SOUS 286068 HAS SOUPS 286053 WITH SCORE 286779.904
AT ITER 863 NEW BEST:: SOT 1528978 SOS 726468 HAS SOPS 726453 HAS SOUS 285554 HAS SOUPS 285539 WITH SCORE 286265.468
AT ITER 882 NEW BEST:: SOT 1508988 SOS 706548 HAS SOPS 706463 HAS SOUS 265634 HAS SOUPS 265549 WITH SCORE 266255.548
AT ITER 885 NEW BEST:: SOT 1508988 SOS 706548 HAS SOPS 706463 HAS SOUS 265584 HAS SOUPS 265499 WITH SCORE 266205.548
AT ITER 895 NEW BEST:: SOT 1509022 SOS 706436 HAS SOPS 706351 HAS SOUS 265183 HAS SOUPS 265098 WITH SCORE 265804.436
AT ITER 898 NEW BEST:: SOT 1509022 SOS 706436 HAS SOPS 706351 HAS SOUS 265165 HAS SOUPS 265080 WITH SCORE 265786.436
AT ITER 902 NEW BEST:: SOT 1507013 SOS 718233 HAS SOPS 717663 HAS SOUS 263675 HAS SOUPS 263105 WITH SCORE 263823.233
AT ITER 904 NEW BEST:: SOT 1507013 SOS 718233 HAS SOPS 717663 HAS SOUS 263665 HAS SOUPS 263095 WITH SCORE 263813.233
AT ITER 921 NEW BEST:: SOT 1507013 SOS 717877 HAS SOPS 717307 HAS SOUS 263654 HAS SOUPS 263084 WITH SCORE 263801.877
AT ITER 930 NEW BEST:: SOT 1507101 SOS 718015 HAS SOPS 717445 HAS SOUS 263593 HAS SOUPS 263023 WITH SCORE 263741.015
AT ITER 931 NEW BEST:: SOT 1507027 SOS 717941 HAS SOPS 717371 HAS SOUS 263556 HAS SOUPS 262986 WITH SCORE 263703.941
AT ITER 934 NEW BEST:: SOT 1506716 SOS 717630 HAS SOPS 717060 HAS SOUS 263345 HAS SOUPS 262775 WITH SCORE 263492.63
AT ITER 945 NEW BEST:: SOT 1506690 SOS 717604 HAS SOPS 717034 HAS SOUS 263339 HAS SOUPS 262769 WITH SCORE 263486.604
AT ITER 950 NEW BEST:: SOT 1506671 SOS 717547 HAS SOPS 716977 HAS SOUS 263301 HAS SOUPS 262731 WITH SCORE 263448.547
AT ITER 981 NEW BEST:: SOT 1506432 SOS 717993 HAS SOPS 717423 HAS SOUS 262780 HAS SOUPS 262210 WITH SCORE 262927.993
AT ITER 990 NEW BEST:: SOT 1506347 SOS 717483 HAS SOPS 716913 HAS SOUS 262634 HAS SOUPS 262064 WITH SCORE 262781.483
AT ITER 1002 NEW BEST:: SOT 1506347 SOS 717483 HAS SOPS 716913 HAS SOUS 262624 HAS SOUPS 262054 WITH SCORE 262771.483
AT ITER 1017 NEW BEST:: SOT 1506277 SOS 717063 HAS SOPS 716493 HAS SOUS 262423 HAS SOUPS 261853 WITH SCORE 262570.063
AT ITER 1022 NEW BEST:: SOT 1506149 SOS 716935 HAS SOPS 716365 HAS SOUS 262378 HAS SOUPS 261808 WITH SCORE 262524.935
AT ITER 1035 NEW BEST:: SOT 1506087 SOS 717178 HAS SOPS 716608 HAS SOUS 262255 HAS SOUPS 261685 WITH SCORE 262402.178
AT ITER 1039 NEW BEST:: SOT 1506097 SOS 717783 HAS SOPS 717213 HAS SOUS 262161 HAS SOUPS 261591 WITH SCORE 262308.783
AT ITER 1046 NEW BEST:: SOT 1506078 SOS 717764 HAS SOPS 717194 HAS SOUS 261999 HAS SOUPS 261429 WITH SCORE 262146.764
AT ITER 1063 NEW BEST:: SOT 1505992 SOS 718121 HAS SOPS 717551 HAS SOUS 261855 HAS SOUPS 261285 WITH SCORE 262003.121
AT ITER 1074 NEW BEST:: SOT 1505959 SOS 718088 HAS SOPS 717518 HAS SOUS 261822 HAS SOUPS 261252 WITH SCORE 261970.088
AT ITER 1089 NEW BEST:: SOT 1505289 SOS 717418 HAS SOPS 716848 HAS SOUS 261486 HAS SOUPS 260916 WITH SCORE 261633.418
AT ITER 1102 NEW BEST:: SOT 1505285 SOS 717414 HAS SOPS 716844 HAS SOUS 261478 HAS SOUPS 260908 WITH SCORE 261625.414
AT ITER 1104 NEW BEST:: SOT 1505346 SOS 717475 HAS SOPS 716905 HAS SOUS 261469 HAS SOUPS 260899 WITH SCORE 261616.475
AT ITER 1115 NEW BEST:: SOT 1505265 SOS 717794 HAS SOPS 717224 HAS SOUS 261222 HAS SOUPS 260652 WITH SCORE 261369.794
AT ITER 1117 NEW BEST:: SOT 1505366 SOS 717840 HAS SOPS 717270 HAS SOUS 260996 HAS SOUPS 260426 WITH SCORE 261143.84
AT ITER 1130 NEW BEST:: SOT 1505092 SOS 717463 HAS SOPS 716893 HAS SOUS 260565 HAS SOUPS 259995 WITH SCORE 260712.463
AT ITER 1140 NEW BEST:: SOT 1504942 SOS 717313 HAS SOPS 716743 HAS SOUS 260415 HAS SOUPS 259845 WITH SCORE 260562.313
AT ITER 1160 NEW BEST:: SOT 1504916 SOS 717287 HAS SOPS 716717 HAS SOUS 260363 HAS SOUPS 259793 WITH SCORE 260510.287
AT ITER 1161 NEW BEST:: SOT 1504916 SOS 717287 HAS SOPS 716717 HAS SOUS 260355 HAS SOUPS 259785 WITH SCORE 260502.287
AT ITER 1170 NEW BEST:: SOT 1504903 SOS 717294 HAS SOPS 716724 HAS SOUS 260296 HAS SOUPS 259726 WITH SCORE 260443.294
AT ITER 1173 NEW BEST:: SOT 1504885 SOS 717276 HAS SOPS 716706 HAS SOUS 260260 HAS SOUPS 259690 WITH SCORE 260407.276
AT ITER 1175 NEW BEST:: SOT 1505083 SOS 718633 HAS SOPS 718063 HAS SOUS 260112 HAS SOUPS 259542 WITH SCORE 260260.633
AT ITER 1178 NEW BEST:: SOT 1504996 SOS 718111 HAS SOPS 717541 HAS SOUS 259877 HAS SOUPS 259307 WITH SCORE 260025.111
AT ITER 1179 NEW BEST:: SOT 1504855 SOS 717770 HAS SOPS 717200 HAS SOUS 259724 HAS SOUPS 259154 WITH SCORE 259871.77
AT ITER 1192 NEW BEST:: SOT 1504433 SOS 717352 HAS SOPS 716782 HAS SOUS 259599 HAS SOUPS 259029 WITH SCORE 259746.352
AT ITER 1199 NEW BEST:: SOT 1504501 SOS 718195 HAS SOPS 717625 HAS SOUS 259572 HAS SOUPS 259002 WITH SCORE 259720.195
AT ITER 1209 NEW BEST:: SOT 1504481 SOS 718175 HAS SOPS 717605 HAS SOUS 259563 HAS SOUPS 258993 WITH SCORE 259711.175
AT ITER 1224 NEW BEST:: SOT 1504412 SOS 718175 HAS SOPS 717605 HAS SOUS 259487 HAS SOUPS 258917 WITH SCORE 259635.175
AT ITER 1225 NEW BEST:: SOT 1504268 SOS 718746 HAS SOPS 718176 HAS SOUS 259218 HAS SOUPS 258648 WITH SCORE 259366.746
AT ITER 1236 NEW BEST:: SOT 1504234 SOS 718956 HAS SOPS 718386 HAS SOUS 259184 HAS SOUPS 258614 WITH SCORE 259332.956
AT ITER 1246 NEW BEST:: SOT 1504234 SOS 719051 HAS SOPS 718481 HAS SOUS 259146 HAS SOUPS 258576 WITH SCORE 259295.051
AT ITER 1260 NEW BEST:: SOT 1504208 SOS 719025 HAS SOPS 718455 HAS SOUS 259113 HAS SOUPS 258543 WITH SCORE 259262.025
AT ITER 1264 NEW BEST:: SOT 1504150 SOS 718967 HAS SOPS 718397 HAS SOUS 259107 HAS SOUPS 258537 WITH SCORE 259255.967
AT ITER 1266 NEW BEST:: SOT 1504160 SOS 718977 HAS SOPS 718407 HAS SOUS 259097 HAS SOUPS 258527 WITH SCORE 259245.977
AT ITER 1268 NEW BEST:: SOT 1504089 SOS 718906 HAS SOPS 718336 HAS SOUS 259095 HAS SOUPS 258525 WITH SCORE 259243.906
AT ITER 1269 NEW BEST:: SOT 1503791 SOS 719226 HAS SOPS 718656 HAS SOUS 258438 HAS SOUPS 257868 WITH SCORE 258587.226
AT ITER 1281 NEW BEST:: SOT 1503791 SOS 719226 HAS SOPS 718656 HAS SOUS 258427 HAS SOUPS 257857 WITH SCORE 258576.226
AT ITER 1291 NEW BEST:: SOT 1503649 SOS 719084 HAS SOPS 718514 HAS SOUS 258295 HAS SOUPS 257725 WITH SCORE 258444.084
AT ITER 1302 NEW BEST:: SOT 1503509 SOS 718944 HAS SOPS 718374 HAS SOUS 258055 HAS SOUPS 257485 WITH SCORE 258203.944
AT ITER 1305 NEW BEST:: SOT 1503322 SOS 718757 HAS SOPS 718187 HAS SOUS 257849 HAS SOUPS 257279 WITH SCORE 257997.757
AT ITER 1326 NEW BEST:: SOT 1502970 SOS 718405 HAS SOPS 717835 HAS SOUS 257002 HAS SOUPS 256432 WITH SCORE 257150.405
AT ITER 1336 NEW BEST:: SOT 1502970 SOS 718389 HAS SOPS 717819 HAS SOUS 256994 HAS SOUPS 256424 WITH SCORE 257142.389
AT ITER 1348 NEW BEST:: SOT 1502727 SOS 718186 HAS SOPS 717616 HAS SOUS 256976 HAS SOUPS 256406 WITH SCORE 257124.186
AT ITER 1352 NEW BEST:: SOT 1502651 SOS 717730 HAS SOPS 717160 HAS SOUS 256778 HAS SOUPS 256208 WITH SCORE 256925.73
AT ITER 1353 NEW BEST:: SOT 1502651 SOS 717180 HAS SOPS 716610 HAS SOUS 256736 HAS SOUPS 256166 WITH SCORE 256883.18
AT ITER 1355 NEW BEST:: SOT 1502592 SOS 717248 HAS SOPS 716678 HAS SOUS 256323 HAS SOUPS 255753 WITH SCORE 256470.248
AT ITER 1376 NEW BEST:: SOT 1502353 SOS 717009 HAS SOPS 716439 HAS SOUS 256293 HAS SOUPS 255723 WITH SCORE 256440.009
AT ITER 1384 NEW BEST:: SOT 1502131 SOS 716177 HAS SOPS 715607 HAS SOUS 255994 HAS SOUPS 255424 WITH SCORE 256140.177
AT ITER 1388 NEW BEST:: SOT 1502131 SOS 716177 HAS SOPS 715607 HAS SOUS 255990 HAS SOUPS 255420 WITH SCORE 256136.177
AT ITER 1392 NEW BEST:: SOT 1502085 SOS 715901 HAS SOPS 715331 HAS SOUS 255852 HAS SOUPS 255282 WITH SCORE 255997.901
AT ITER 1394 NEW BEST:: SOT 1502039 SOS 716770 HAS SOPS 716200 HAS SOUS 255795 HAS SOUPS 255225 WITH SCORE 255941.77
AT ITER 1397 NEW BEST:: SOT 1501925 SOS 717226 HAS SOPS 716656 HAS SOUS 255681 HAS SOUPS 255111 WITH SCORE 255828.226
AT ITER 1409 NEW BEST:: SOT 1502015 SOS 718681 HAS SOPS 718111 HAS SOUS 255214 HAS SOUPS 254644 WITH SCORE 255362.681
AT ITER 1411 NEW BEST:: SOT 1501912 SOS 719618 HAS SOPS 719048 HAS SOUS 254996 HAS SOUPS 254426 WITH SCORE 255145.618
AT ITER 1419 NEW BEST:: SOT 1501879 SOS 719585 HAS SOPS 719015 HAS SOUS 254990 HAS SOUPS 254420 WITH SCORE 255139.585
AT ITER 1427 NEW BEST:: SOT 1501744 SOS 720120 HAS SOPS 719550 HAS SOUS 254691 HAS SOUPS 254121 WITH SCORE 254841.12
AT ITER 1430 NEW BEST:: SOT 1501692 SOS 720068 HAS SOPS 719498 HAS SOUS 254652 HAS SOUPS 254082 WITH SCORE 254802.068
AT ITER 1436 NEW BEST:: SOT 1501692 SOS 720032 HAS SOPS 719462 HAS SOUS 254648 HAS SOUPS 254078 WITH SCORE 254798.032
AT ITER 1441 NEW BEST:: SOT 1501550 SOS 719890 HAS SOPS 719320 HAS SOUS 254364 HAS SOUPS 253794 WITH SCORE 254513.89
AT ITER 1442 NEW BEST:: SOT 1495382 SOS 713722 HAS SOPS 713152 HAS SOUS 248181 HAS SOUPS 247611 WITH SCORE 248324.722
AT ITER 1445 NEW BEST:: SOT 1495320 SOS 713598 HAS SOPS 713028 HAS SOUS 248082 HAS SOUPS 247512 WITH SCORE 248225.598
AT ITER 1464 NEW BEST:: SOT 1495278 SOS 713556 HAS SOPS 712986 HAS SOUS 248040 HAS SOUPS 247470 WITH SCORE 248183.556
AT ITER 1488 NEW BEST:: SOT 1495108 SOS 712966 HAS SOPS 712396 HAS SOUS 247700 HAS SOUPS 247130 WITH SCORE 247842.966
AT ITER 1508 NEW BEST:: SOT 1495108 SOS 712966 HAS SOPS 712396 HAS SOUS 247693 HAS SOUPS 247123 WITH SCORE 247835.966
AT ITER 1509 NEW BEST:: SOT 1494779 SOS 712042 HAS SOPS 711472 HAS SOUS 247690 HAS SOUPS 247120 WITH SCORE 247832.042
AT ITER 1525 NEW BEST:: SOT 1494779 SOS 711377 HAS SOPS 710807 HAS SOUS 247642 HAS SOUPS 247072 WITH SCORE 247783.377
AT ITER 1526 NEW BEST:: SOT 1494766 SOS 712221 HAS SOPS 711651 HAS SOUS 247450 HAS SOUPS 246880 WITH SCORE 247592.221
AT ITER 1531 NEW BEST:: SOT 1494766 SOS 712171 HAS SOPS 711601 HAS SOUS 247400 HAS SOUPS 246830 WITH SCORE 247542.171
AT ITER 1538 NEW BEST:: SOT 1493711 SOS 711117 HAS SOPS 710547 HAS SOUS 246268 HAS SOUPS 245698 WITH SCORE 246409.117
AT ITER 1556 NEW BEST:: SOT 1493769 SOS 711265 HAS SOPS 710695 HAS SOUS 246093 HAS SOUPS 245523 WITH SCORE 246234.265
AT ITER 1562 NEW BEST:: SOT 1493689 SOS 710785 HAS SOPS 710215 HAS SOUS 245933 HAS SOUPS 245363 WITH SCORE 246073.785
AT ITER 1570 NEW BEST:: SOT 1493689 SOS 710785 HAS SOPS 710215 HAS SOUS 245864 HAS SOUPS 245294 WITH SCORE 246004.785
AT ITER 1587 NEW BEST:: SOT 1493649 SOS 710705 HAS SOPS 710135 HAS SOUS 245864 HAS SOUPS 245294 WITH SCORE 246004.705
AT ITER 1592 NEW BEST:: SOT 1493649 SOS 710615 HAS SOPS 710045 HAS SOUS 245819 HAS SOUPS 245249 WITH SCORE 245959.615
AT ITER 1597 NEW BEST:: SOT 1493138 SOS 709494 HAS SOPS 708924 HAS SOUS 245464 HAS SOUPS 244894 WITH SCORE 245603.494
AT ITER 1615 NEW BEST:: SOT 1493092 SOS 709448 HAS SOPS 708878 HAS SOUS 245432 HAS SOUPS 244862 WITH SCORE 245571.448
AT ITER 1624 NEW BEST:: SOT 1492914 SOS 709270 HAS SOPS 708700 HAS SOUS 245386 HAS SOUPS 244816 WITH SCORE 245525.27
AT ITER 1625 NEW BEST:: SOT 1492724 SOS 708870 HAS SOPS 708300 HAS SOUS 245259 HAS SOUPS 244689 WITH SCORE 245397.87
AT ITER 1637 NEW BEST:: SOT 1492066 SOS 707602 HAS SOPS 707032 HAS SOUS 244634 HAS SOUPS 244064 WITH SCORE 244771.602
AT ITER 1639 NEW BEST:: SOT 1492066 SOS 707602 HAS SOPS 707032 HAS SOUS 244577 HAS SOUPS 244007 WITH SCORE 244714.602
AT ITER 1647 NEW BEST:: SOT 1492066 SOS 708582 HAS SOPS 708012 HAS SOUS 244566 HAS SOUPS 243996 WITH SCORE 244704.582
AT ITER 1664 NEW BEST:: SOT 1492066 SOS 708582 HAS SOPS 708012 HAS SOUS 244564 HAS SOUPS 243994 WITH SCORE 244702.582
AT ITER 1666 NEW BEST:: SOT 1492035 SOS 708551 HAS SOPS 707981 HAS SOUS 244532 HAS SOUPS 243962 WITH SCORE 244670.551
AT ITER 1667 NEW BEST:: SOT 1491997 SOS 708513 HAS SOPS 707943 HAS SOUS 244527 HAS SOUPS 243957 WITH SCORE 244665.513
AT ITER 1672 NEW BEST:: SOT 1492271 SOS 710358 HAS SOPS 709788 HAS SOUS 244399 HAS SOUPS 243829 WITH SCORE 244539.358
AT ITER 1682 NEW BEST:: SOT 1491911 SOS 709644 HAS SOPS 709074 HAS SOUS 244187 HAS SOUPS 243617 WITH SCORE 244326.644
AT ITER 1683 NEW BEST:: SOT 1491429 SOS 708552 HAS SOPS 707982 HAS SOUS 243583 HAS SOUPS 243013 WITH SCORE 243721.552
AT ITER 1685 NEW BEST:: SOT 1491436 SOS 708502 HAS SOPS 707932 HAS SOUS 243327 HAS SOUPS 242757 WITH SCORE 243465.502
AT ITER 1687 NEW BEST:: SOT 1491436 SOS 708358 HAS SOPS 707788 HAS SOUS 243255 HAS SOUPS 242685 WITH SCORE 243393.358
AT ITER 1698 NEW BEST:: SOT 1491289 SOS 707611 HAS SOPS 707041 HAS SOUS 242927 HAS SOUPS 242357 WITH SCORE 243064.611
AT ITER 1704 NEW BEST:: SOT 1491171 SOS 707494 HAS SOPS 706924 HAS SOUS 242695 HAS SOUPS 242125 WITH SCORE 242832.494
AT ITER 1711 NEW BEST:: SOT 1490946 SOS 707269 HAS SOPS 706699 HAS SOUS 242470 HAS SOUPS 241900 WITH SCORE 242607.269
AT ITER 1712 NEW BEST:: SOT 1490876 SOS 706816 HAS SOPS 706246 HAS SOUS 242285 HAS SOUPS 241715 WITH SCORE 242421.816
AT ITER 1723 NEW BEST:: SOT 1490876 SOS 707295 HAS SOPS 706717 HAS SOUS 242285 HAS SOUPS 241707 WITH SCORE 242414.295
AT ITER 1725 NEW BEST:: SOT 1490857 SOS 707276 HAS SOPS 706698 HAS SOUS 242266 HAS SOUPS 241688 WITH SCORE 242395.276
AT ITER 1728 NEW BEST:: SOT 1490857 SOS 707160 HAS SOPS 706582 HAS SOUS 242208 HAS SOUPS 241630 WITH SCORE 242337.16
AT ITER 1733 NEW BEST:: SOT 1490713 SOS 706916 HAS SOPS 706338 HAS SOUS 241983 HAS SOUPS 241405 WITH SCORE 242111.916
AT ITER 1741 NEW BEST:: SOT 1490679 SOS 706712 HAS SOPS 706134 HAS SOUS 241915 HAS SOUPS 241337 WITH SCORE 242043.712
AT ITER 1756 NEW BEST:: SOT 1490609 SOS 706642 HAS SOPS 706064 HAS SOUS 241909 HAS SOUPS 241331 WITH SCORE 242037.642
AT ITER 1758 NEW BEST:: SOT 1490510 SOS 706543 HAS SOPS 705965 HAS SOUS 241904 HAS SOUPS 241326 WITH SCORE 242032.543
AT ITER 1762 NEW BEST:: SOT 1490374 SOS 706407 HAS SOPS 705829 HAS SOUS 241745 HAS SOUPS 241167 WITH SCORE 241873.407
AT ITER 1768 NEW BEST:: SOT 1490137 SOS 705470 HAS SOPS 704892 HAS SOUS 241519 HAS SOUPS 240941 WITH SCORE 241646.47
AT ITER 1786 NEW BEST:: SOT 1490051 SOS 705642 HAS SOPS 705064 HAS SOUS 241347 HAS SOUPS 240769 WITH SCORE 241474.642
AT ITER 1787 NEW BEST:: SOT 1489975 SOS 705281 HAS SOPS 704703 HAS SOUS 241309 HAS SOUPS 240731 WITH SCORE 241436.281
AT ITER 1788 NEW BEST:: SOT 1490060 SOS 705362 HAS SOPS 704784 HAS SOUS 241301 HAS SOUPS 240723 WITH SCORE 241428.362
AT ITER 1810 NEW BEST:: SOT 1489955 SOS 705257 HAS SOPS 704679 HAS SOUS 241225 HAS SOUPS 240647 WITH SCORE 241352.257
AT ITER 1814 NEW BEST:: SOT 1489830 SOS 706027 HAS SOPS 705449 HAS SOUS 241100 HAS SOUPS 240522 WITH SCORE 241228.027
AT ITER 1820 NEW BEST:: SOT 1489789 SOS 705986 HAS SOPS 705408 HAS SOUS 241018 HAS SOUPS 240440 WITH SCORE 241145.986
AT ITER 1822 NEW BEST:: SOT 1489657 SOS 705099 HAS SOPS 704521 HAS SOUS 240765 HAS SOUPS 240187 WITH SCORE 240892.099
AT ITER 1832 NEW BEST:: SOT 1489719 SOS 705106 HAS SOPS 704528 HAS SOUS 240539 HAS SOUPS 239961 WITH SCORE 240666.106
AT ITER 1860 NEW BEST:: SOT 1489560 SOS 704947 HAS SOPS 704369 HAS SOUS 240537 HAS SOUPS 239959 WITH SCORE 240663.947
AT ITER 1862 NEW BEST:: SOT 1489838 SOS 708366 HAS SOPS 707788 HAS SOUS 240419 HAS SOUPS 239841 WITH SCORE 240549.366
AT ITER 1889 NEW BEST:: SOT 1489844 SOS 708372 HAS SOPS 707794 HAS SOUS 240413 HAS SOUPS 239835 WITH SCORE 240543.372
AT ITER 1895 NEW BEST:: SOT 1489053 SOS 707784 HAS SOPS 707090 HAS SOUS 240431 HAS SOUPS 239737 WITH SCORE 240444.784
AT ITER 1901 NEW BEST:: SOT 1488865 SOS 709088 HAS SOPS 708394 HAS SOUS 240248 HAS SOUPS 239554 WITH SCORE 240263.088
AT ITER 1902 NEW BEST:: SOT 1488915 SOS 709138 HAS SOPS 708444 HAS SOUS 240207 HAS SOUPS 239513 WITH SCORE 240222.138
AT ITER 1905 NEW BEST:: SOT 1488795 SOS 709018 HAS SOPS 708324 HAS SOUS 240116 HAS SOUPS 239422 WITH SCORE 240131.018
AT ITER 1908 NEW BEST:: SOT 1488784 SOS 709007 HAS SOPS 708313 HAS SOUS 240094 HAS SOUPS 239400 WITH SCORE 240109.007
AT ITER 1909 NEW BEST:: SOT 1488712 SOS 708779 HAS SOPS 708085 HAS SOUS 239872 HAS SOUPS 239178 WITH SCORE 239886.779
AT ITER 1910 NEW BEST:: SOT 1488663 SOS 708730 HAS SOPS 708036 HAS SOUS 239871 HAS SOUPS 239177 WITH SCORE 239885.73
AT ITER 1922 NEW BEST:: SOT 1488629 SOS 708266 HAS SOPS 707572 HAS SOUS 239821 HAS SOUPS 239127 WITH SCORE 239835.266
AT ITER 1934 NEW BEST:: SOT 1488609 SOS 708246 HAS SOPS 707552 HAS SOUS 239821 HAS SOUPS 239127 WITH SCORE 239835.246
AT ITER 1936 NEW BEST:: SOT 1488494 SOS 708086 HAS SOPS 707392 HAS SOUS 239451 HAS SOUPS 238757 WITH SCORE 239465.086
AT ITER 1942 NEW BEST:: SOT 1488561 SOS 708893 HAS SOPS 708199 HAS SOUS 239396 HAS SOUPS 238702 WITH SCORE 239410.893
AT ITER 1954 NEW BEST:: SOT 1488561 SOS 708676 HAS SOPS 707982 HAS SOUS 239181 HAS SOUPS 238487 WITH SCORE 239195.676
AT ITER 1970 NEW BEST:: SOT 1488517 SOS 708280 HAS SOPS 707586 HAS SOUS 239109 HAS SOUPS 238415 WITH SCORE 239123.28
AT ITER 1978 NEW BEST:: SOT 1488525 SOS 708383 HAS SOPS 707689 HAS SOUS 238951 HAS SOUPS 238257 WITH SCORE 238965.383
AT ITER 1985 NEW BEST:: SOT 1488419 SOS 708277 HAS SOPS 707583 HAS SOUS 238945 HAS SOUPS 238251 WITH SCORE 238959.277
AT ITER 1998 NEW BEST:: SOT 1488419 SOS 708242 HAS SOPS 707548 HAS SOUS 238938 HAS SOUPS 238244 WITH SCORE 238952.242
AT ITER 1999 NEW BEST:: SOT 1488376 SOS 708762 HAS SOPS 708068 HAS SOUS 238908 HAS SOUPS 238214 WITH SCORE 238922.762
AT ITER 2003 NEW BEST:: SOT 1488210 SOS 708553 HAS SOPS 707859 HAS SOUS 238705 HAS SOUPS 238011 WITH SCORE 238719.553
AT ITER 2008 NEW BEST:: SOT 1488207 SOS 708550 HAS SOPS 707856 HAS SOUS 238693 HAS SOUPS 237999 WITH SCORE 238707.55
AT ITER 2020 NEW BEST:: SOT 1487347 SOS 706079 HAS SOPS 705385 HAS SOUS 238094 HAS SOUPS 237400 WITH SCORE 238106.079
AT ITER 2021 NEW BEST:: SOT 1486990 SOS 705112 HAS SOPS 704418 HAS SOUS 237942 HAS SOUPS 237248 WITH SCORE 237953.112
AT ITER 2030 NEW BEST:: SOT 1486876 SOS 704998 HAS SOPS 704304 HAS SOUS 237834 HAS SOUPS 237140 WITH SCORE 237844.998
AT ITER 2038 NEW BEST:: SOT 1486876 SOS 704998 HAS SOPS 704304 HAS SOUS 237829 HAS SOUPS 237135 WITH SCORE 237839.998
AT ITER 2071 NEW BEST:: SOT 1486968 SOS 705035 HAS SOPS 704341 HAS SOUS 237711 HAS SOUPS 237017 WITH SCORE 237722.035
AT ITER 2074 NEW BEST:: SOT 1486919 SOS 705001 HAS SOPS 704307 HAS SOUS 237665 HAS SOUPS 236971 WITH SCORE 237676.001
AT ITER 2086 NEW BEST:: SOT 1486107 SOS 703579 HAS SOPS 702885 HAS SOUS 236871 HAS SOUPS 236177 WITH SCORE 236880.579
AT ITER 2089 NEW BEST:: SOT 1486048 SOS 703520 HAS SOPS 702826 HAS SOUS 236869 HAS SOUPS 236175 WITH SCORE 236878.52
AT ITER 2095 NEW BEST:: SOT 1486019 SOS 704735 HAS SOPS 704041 HAS SOUS 236856 HAS SOUPS 236162 WITH SCORE 236866.735
AT ITER 2102 NEW BEST:: SOT 1485969 SOS 704620 HAS SOPS 703926 HAS SOUS 236743 HAS SOUPS 236049 WITH SCORE 236753.62
AT ITER 2112 NEW BEST:: SOT 1485892 SOS 703985 HAS SOPS 703291 HAS SOUS 236700 HAS SOUPS 236006 WITH SCORE 236709.985
AT ITER 2130 NEW BEST:: SOT 1485898 SOS 703991 HAS SOPS 703297 HAS SOUS 236680 HAS SOUPS 235986 WITH SCORE 236689.991
AT ITER 2136 NEW BEST:: SOT 1485762 SOS 704040 HAS SOPS 703346 HAS SOUS 236597 HAS SOUPS 235903 WITH SCORE 236607.04
AT ITER 2138 NEW BEST:: SOT 1485702 SOS 703980 HAS SOPS 703286 HAS SOUS 236537 HAS SOUPS 235843 WITH SCORE 236546.98
AT ITER 2142 NEW BEST:: SOT 1485635 SOS 704248 HAS SOPS 703554 HAS SOUS 236403 HAS SOUPS 235709 WITH SCORE 236413.248
AT ITER 2146 NEW BEST:: SOT 1485602 SOS 704215 HAS SOPS 703521 HAS SOUS 236337 HAS SOUPS 235643 WITH SCORE 236347.215
AT ITER 2151 NEW BEST:: SOT 1485503 SOS 704116 HAS SOPS 703422 HAS SOUS 236139 HAS SOUPS 235445 WITH SCORE 236149.116
AT ITER 2171 NEW BEST:: SOT 1485503 SOS 704261 HAS SOPS 703567 HAS SOUS 236110 HAS SOUPS 235416 WITH SCORE 236120.261
AT ITER 2176 NEW BEST:: SOT 1485345 SOS 704103 HAS SOPS 703409 HAS SOUS 235759 HAS SOUPS 235065 WITH SCORE 235769.103
AT ITER 2179 NEW BEST:: SOT 1485258 SOS 703802 HAS SOPS 703108 HAS SOUS 235458 HAS SOUPS 234764 WITH SCORE 235467.802
AT ITER 2187 NEW BEST:: SOT 1485258 SOS 703802 HAS SOPS 703108 HAS SOUS 235455 HAS SOUPS 234761 WITH SCORE 235464.802
AT ITER 2188 NEW BEST:: SOT 1485094 SOS 703638 HAS SOPS 702944 HAS SOUS 235453 HAS SOUPS 234759 WITH SCORE 235462.638
AT ITER 2193 NEW BEST:: SOT 1485094 SOS 703616 HAS SOPS 702922 HAS SOUS 235442 HAS SOUPS 234748 WITH SCORE 235451.616
AT ITER 2204 NEW BEST:: SOT 1484968 SOS 703490 HAS SOPS 702796 HAS SOUS 235440 HAS SOUPS 234746 WITH SCORE 235449.49
AT ITER 2205 NEW BEST:: SOT 1484939 SOS 703432 HAS SOPS 702738 HAS SOUS 235363 HAS SOUPS 234669 WITH SCORE 235372.432
AT ITER 2206 NEW BEST:: SOT 1484869 SOS 703362 HAS SOPS 702668 HAS SOUS 235363 HAS SOUPS 234669 WITH SCORE 235372.362
AT ITER 2231 NEW BEST:: SOT 1484886 SOS 703216 HAS SOPS 702522 HAS SOUS 235317 HAS SOUPS 234623 WITH SCORE 235326.216
AT ITER 2236 NEW BEST:: SOT 1484862 SOS 703192 HAS SOPS 702498 HAS SOUS 235269 HAS SOUPS 234575 WITH SCORE 235278.192
AT ITER 2250 NEW BEST:: SOT 1484750 SOS 703080 HAS SOPS 702386 HAS SOUS 235174 HAS SOUPS 234480 WITH SCORE 235183.08
AT ITER 2252 NEW BEST:: SOT 1484725 SOS 703055 HAS SOPS 702361 HAS SOUS 235148 HAS SOUPS 234454 WITH SCORE 235157.055
AT ITER 2261 NEW BEST:: SOT 1484694 SOS 703024 HAS SOPS 702330 HAS SOUS 235117 HAS SOUPS 234423 WITH SCORE 235126.024
AT ITER 2280 NEW BEST:: SOT 1484670 SOS 702940 HAS SOPS 702246 HAS SOUS 235093 HAS SOUPS 234399 WITH SCORE 235101.94
AT ITER 2286 NEW BEST:: SOT 1484502 SOS 702772 HAS SOPS 702078 HAS SOUS 235015 HAS SOUPS 234321 WITH SCORE 235023.772
AT ITER 2300 NEW BEST:: SOT 1484355 SOS 702075 HAS SOPS 701381 HAS SOUS 234856 HAS SOUPS 234162 WITH SCORE 234864.075
AT ITER 2311 NEW BEST:: SOT 1484259 SOS 701979 HAS SOPS 701285 HAS SOUS 234780 HAS SOUPS 234086 WITH SCORE 234787.979
AT ITER 2334 NEW BEST:: SOT 1484208 SOS 701979 HAS SOPS 701285 HAS SOUS 234678 HAS SOUPS 233984 WITH SCORE 234685.979
AT ITER 2360 NEW BEST:: SOT 1484056 SOS 701827 HAS SOPS 701133 HAS SOUS 234640 HAS SOUPS 233946 WITH SCORE 234647.827
AT ITER 2361 NEW BEST:: SOT 1483944 SOS 701715 HAS SOPS 701021 HAS SOUS 234566 HAS SOUPS 233872 WITH SCORE 234573.715
AT ITER 2370 NEW BEST:: SOT 1483865 SOS 701636 HAS SOPS 700942 HAS SOUS 234566 HAS SOUPS 233872 WITH SCORE 234573.636
AT ITER 2377 NEW BEST:: SOT 1483873 SOS 701652 HAS SOPS 700958 HAS SOUS 234456 HAS SOUPS 233762 WITH SCORE 234463.652
AT ITER 2380 NEW BEST:: SOT 1483638 SOS 701417 HAS SOPS 700723 HAS SOUS 233807 HAS SOUPS 233113 WITH SCORE 233814.417
AT ITER 2385 NEW BEST:: SOT 1483484 SOS 701263 HAS SOPS 700569 HAS SOUS 233727 HAS SOUPS 233033 WITH SCORE 233734.263
AT ITER 2386 NEW BEST:: SOT 1482356 SOS 700156 HAS SOPS 699441 HAS SOUS 233535 HAS SOUPS 232820 WITH SCORE 233520.156
AT ITER 2389 NEW BEST:: SOT 1482333 SOS 700133 HAS SOPS 699418 HAS SOUS 233512 HAS SOUPS 232797 WITH SCORE 233497.133
AT ITER 2420 NEW BEST:: SOT 1482322 SOS 700122 HAS SOPS 699407 HAS SOUS 233510 HAS SOUPS 232795 WITH SCORE 233495.122
AT ITER 2435 NEW BEST:: SOT 1482308 SOS 700108 HAS SOPS 699393 HAS SOUS 233482 HAS SOUPS 232767 WITH SCORE 233467.108
AT ITER 2453 NEW BEST:: SOT 1482221 SOS 701947 HAS SOPS 701232 HAS SOUS 233307 HAS SOUPS 232592 WITH SCORE 233293.947
AT ITER 2455 NEW BEST:: SOT 1482152 SOS 701533 HAS SOPS 700818 HAS SOUS 233238 HAS SOUPS 232523 WITH SCORE 233224.533
AT ITER 2463 NEW BEST:: SOT 1482129 SOS 701510 HAS SOPS 700795 HAS SOUS 233215 HAS SOUPS 232500 WITH SCORE 233201.51
AT ITER 2465 NEW BEST:: SOT 1482129 SOS 701510 HAS SOPS 700795 HAS SOUS 233077 HAS SOUPS 232362 WITH SCORE 233063.51
AT ITER 2469 NEW BEST:: SOT 1482114 SOS 701495 HAS SOPS 700780 HAS SOUS 233047 HAS SOUPS 232332 WITH SCORE 233033.495
AT ITER 2471 NEW BEST:: SOT 1482109 SOS 701289 HAS SOPS 700574 HAS SOUS 233037 HAS SOUPS 232322 WITH SCORE 233023.289
AT ITER 2485 NEW BEST:: SOT 1482138 SOS 701732 HAS SOPS 701017 HAS SOUS 232921 HAS SOUPS 232206 WITH SCORE 232907.732
AT ITER 2494 NEW BEST:: SOT 1482128 SOS 701576 HAS SOPS 700861 HAS SOUS 232840 HAS SOUPS 232125 WITH SCORE 232826.576
AT ITER 2539 NEW BEST:: SOT 1482022 SOS 701105 HAS SOPS 700390 HAS SOUS 232743 HAS SOUPS 232028 WITH SCORE 232729.105
AT ITER 2548 NEW BEST:: SOT 1481853 SOS 701521 HAS SOPS 700806 HAS SOUS 232680 HAS SOUPS 231965 WITH SCORE 232666.521
AT ITER 2551 NEW BEST:: SOT 1481865 SOS 701152 HAS SOPS 700437 HAS SOUS 232628 HAS SOUPS 231913 WITH SCORE 232614.152
AT ITER 2559 NEW BEST:: SOT 1481840 SOS 701127 HAS SOPS 700412 HAS SOUS 232622 HAS SOUPS 231907 WITH SCORE 232608.127
AT ITER 2569 NEW BEST:: SOT 1481815 SOS 700999 HAS SOPS 700284 HAS SOUS 232572 HAS SOUPS 231857 WITH SCORE 232557.999
AT ITER 2574 NEW BEST:: SOT 1481344 SOS 700528 HAS SOPS 699813 HAS SOUS 232019 HAS SOUPS 231304 WITH SCORE 232004.528
AT ITER 2603 NEW BEST:: SOT 1481314 SOS 700498 HAS SOPS 699783 HAS SOUS 231959 HAS SOUPS 231244 WITH SCORE 231944.498
AT ITER 2614 NEW BEST:: SOT 1481320 SOS 700320 HAS SOPS 699605 HAS SOUS 231853 HAS SOUPS 231138 WITH SCORE 231838.32
AT ITER 2623 NEW BEST:: SOT 1481309 SOS 700309 HAS SOPS 699594 HAS SOUS 231845 HAS SOUPS 231130 WITH SCORE 231830.309
AT ITER 2639 NEW BEST:: SOT 1481367 SOS 700367 HAS SOPS 699652 HAS SOUS 231670 HAS SOUPS 230955 WITH SCORE 231655.367
AT ITER 2641 NEW BEST:: SOT 1480989 SOS 699956 HAS SOPS 699241 HAS SOUS 231425 HAS SOUPS 230710 WITH SCORE 231409.956
AT ITER 2644 NEW BEST:: SOT 1480989 SOS 699956 HAS SOPS 699241 HAS SOUS 231423 HAS SOUPS 230708 WITH SCORE 231407.956
AT ITER 2647 NEW BEST:: SOT 1481123 SOS 700057 HAS SOPS 699342 HAS SOUS 231362 HAS SOUPS 230647 WITH SCORE 231347.057
AT ITER 2654 NEW BEST:: SOT 1481106 SOS 700040 HAS SOPS 699325 HAS SOUS 231328 HAS SOUPS 230613 WITH SCORE 231313.04
AT ITER 2661 NEW BEST:: SOT 1481071 SOS 699970 HAS SOPS 699255 HAS SOUS 231258 HAS SOUPS 230543 WITH SCORE 231242.97
AT ITER 2663 NEW BEST:: SOT 1481018 SOS 700619 HAS SOPS 699904 HAS SOUS 231152 HAS SOUPS 230437 WITH SCORE 231137.619
AT ITER 2664 NEW BEST:: SOT 1480448 SOS 698645 HAS SOPS 697930 HAS SOUS 230926 HAS SOUPS 230211 WITH SCORE 230909.645
AT ITER 2674 NEW BEST:: SOT 1480465 SOS 698662 HAS SOPS 697947 HAS SOUS 230801 HAS SOUPS 230086 WITH SCORE 230784.662
AT ITER 2695 NEW BEST:: SOT 1480465 SOS 698767 HAS SOPS 698052 HAS SOUS 230766 HAS SOUPS 230051 WITH SCORE 230749.767
AT ITER 2715 NEW BEST:: SOT 1480465 SOS 698697 HAS SOPS 697982 HAS SOUS 230696 HAS SOUPS 229981 WITH SCORE 230679.697
AT ITER 2717 NEW BEST:: SOT 1480428 SOS 698628 HAS SOPS 697913 HAS SOUS 230627 HAS SOUPS 229912 WITH SCORE 230610.628
AT ITER 2727 NEW BEST:: SOT 1480254 SOS 698106 HAS SOPS 697391 HAS SOUS 230540 HAS SOUPS 229825 WITH SCORE 230523.106
AT ITER 2748 NEW BEST:: SOT 1480185 SOS 697885 HAS SOPS 697170 HAS SOUS 230485 HAS SOUPS 229770 WITH SCORE 230467.885
AT ITER 2755 NEW BEST:: SOT 1480122 SOS 697822 HAS SOPS 697107 HAS SOUS 230336 HAS SOUPS 229621 WITH SCORE 230318.822
AT ITER 2756 NEW BEST:: SOT 1480122 SOS 697822 HAS SOPS 697107 HAS SOUS 230332 HAS SOUPS 229617 WITH SCORE 230314.822
AT ITER 2758 NEW BEST:: SOT 1480120 SOS 697820 HAS SOPS 697105 HAS SOUS 230332 HAS SOUPS 229617 WITH SCORE 230314.82
AT ITER 2764 NEW BEST:: SOT 1478550 SOS 696252 HAS SOPS 695511 HAS SOUS 230050 HAS SOUPS 229309 WITH SCORE 230005.252
AT ITER 2771 NEW BEST:: SOT 1478532 SOS 696234 HAS SOPS 695493 HAS SOUS 230032 HAS SOUPS 229291 WITH SCORE 229987.234
AT ITER 2776 NEW BEST:: SOT 1478425 SOS 696127 HAS SOPS 695386 HAS SOUS 229989 HAS SOUPS 229248 WITH SCORE 229944.127
AT ITER 2788 NEW BEST:: SOT 1478355 SOS 696057 HAS SOPS 695316 HAS SOUS 229919 HAS SOUPS 229178 WITH SCORE 229874.057
AT ITER 2800 NEW BEST:: SOT 1478336 SOS 695908 HAS SOPS 695167 HAS SOUS 229874 HAS SOUPS 229133 WITH SCORE 229828.908
AT ITER 2806 NEW BEST:: SOT 1478057 SOS 695629 HAS SOPS 694888 HAS SOUS 229840 HAS SOUPS 229099 WITH SCORE 229794.629
AT ITER 2816 NEW BEST:: SOT 1478057 SOS 695629 HAS SOPS 694888 HAS SOUS 229839 HAS SOUPS 229098 WITH SCORE 229793.629
AT ITER 2825 NEW BEST:: SOT 1477963 SOS 695535 HAS SOPS 694794 HAS SOUS 229664 HAS SOUPS 228923 WITH SCORE 229618.535
AT ITER 2842 NEW BEST:: SOT 1477906 SOS 695703 HAS SOPS 694962 HAS SOUS 229652 HAS SOUPS 228911 WITH SCORE 229606.703
AT ITER 2845 NEW BEST:: SOT 1477688 SOS 694875 HAS SOPS 694134 HAS SOUS 229444 HAS SOUPS 228703 WITH SCORE 229397.875
AT ITER 2874 NEW BEST:: SOT 1477675 SOS 694862 HAS SOPS 694121 HAS SOUS 229436 HAS SOUPS 228695 WITH SCORE 229389.862
AT ITER 2883 NEW BEST:: SOT 1477625 SOS 694812 HAS SOPS 694071 HAS SOUS 229386 HAS SOUPS 228645 WITH SCORE 229339.812
AT ITER 2889 NEW BEST:: SOT 1477577 SOS 694764 HAS SOPS 694023 HAS SOUS 229372 HAS SOUPS 228631 WITH SCORE 229325.764
AT ITER 2894 NEW BEST:: SOT 1477549 SOS 694736 HAS SOPS 693995 HAS SOUS 229344 HAS SOUPS 228603 WITH SCORE 229297.736
AT ITER 2895 NEW BEST:: SOT 1477549 SOS 694956 HAS SOPS 694215 HAS SOUS 229317 HAS SOUPS 228576 WITH SCORE 229270.956
AT ITER 2904 NEW BEST:: SOT 1477555 SOS 694962 HAS SOPS 694221 HAS SOUS 229272 HAS SOUPS 228531 WITH SCORE 229225.962
AT ITER 2927 NEW BEST:: SOT 1477516 SOS 695388 HAS SOPS 694647 HAS SOUS 229168 HAS SOUPS 228427 WITH SCORE 229122.388
AT ITER 2928 NEW BEST:: SOT 1477509 SOS 695381 HAS SOPS 694640 HAS SOUS 229154 HAS SOUPS 228413 WITH SCORE 229108.381
AT ITER 2932 NEW BEST:: SOT 1477485 SOS 695357 HAS SOPS 694616 HAS SOUS 228986 HAS SOUPS 228245 WITH SCORE 228940.357
AT ITER 2935 NEW BEST:: SOT 1477485 SOS 695357 HAS SOPS 694616 HAS SOUS 228972 HAS SOUPS 228231 WITH SCORE 228926.357
AT ITER 2937 NEW BEST:: SOT 1477479 SOS 695351 HAS SOPS 694610 HAS SOUS 228960 HAS SOUPS 228219 WITH SCORE 228914.351
AT ITER 2939 NEW BEST:: SOT 1477567 SOS 695747 HAS SOPS 695006 HAS SOUS 228769 HAS SOUPS 228028 WITH SCORE 228723.747
AT ITER 2941 NEW BEST:: SOT 1474996 SOS 693232 HAS SOPS 692491 HAS SOUS 227232 HAS SOUPS 226491 WITH SCORE 227184.232
AT ITER 2958 NEW BEST:: SOT 1474918 SOS 693380 HAS SOPS 692639 HAS SOUS 227082 HAS SOUPS 226341 WITH SCORE 227034.38
AT ITER 2964 NEW BEST:: SOT 1474911 SOS 693372 HAS SOPS 692631 HAS SOUS 227074 HAS SOUPS 226333 WITH SCORE 227026.372
AT ITER 2968 NEW BEST:: SOT 1474907 SOS 693358 HAS SOPS 692617 HAS SOUS 227070 HAS SOUPS 226329 WITH SCORE 227022.358
AT ITER 2982 NEW BEST:: SOT 1474823 SOS 693075 HAS SOPS 692334 HAS SOUS 226999 HAS SOUPS 226258 WITH SCORE 226951.075
AT ITER 3003 NEW BEST:: SOT 1474835 SOS 692862 HAS SOPS 692121 HAS SOUS 226896 HAS SOUPS 226155 WITH SCORE 226847.862
AT ITER 3010 NEW BEST:: SOT 1474721 SOS 693824 HAS SOPS 693083 HAS SOUS 226829 HAS SOUPS 226088 WITH SCORE 226781.824
AT ITER 3018 NEW BEST:: SOT 1474693 SOS 694206 HAS SOPS 693465 HAS SOUS 226798 HAS SOUPS 226057 WITH SCORE 226751.206
AT ITER 3042 NEW BEST:: SOT 1474618 SOS 694131 HAS SOPS 693390 HAS SOUS 226573 HAS SOUPS 225832 WITH SCORE 226526.131
AT ITER 3044 NEW BEST:: SOT 1474555 SOS 694068 HAS SOPS 693327 HAS SOUS 226463 HAS SOUPS 225722 WITH SCORE 226416.068
AT ITER 3064 NEW BEST:: SOT 1474531 SOS 694004 HAS SOPS 693263 HAS SOUS 226439 HAS SOUPS 225698 WITH SCORE 226392.004
AT ITER 3067 NEW BEST:: SOT 1474517 SOS 693956 HAS SOPS 693215 HAS SOUS 226391 HAS SOUPS 225650 WITH SCORE 226343.956
AT ITER 3078 NEW BEST:: SOT 1474303 SOS 693996 HAS SOPS 693255 HAS SOUS 226385 HAS SOUPS 225644 WITH SCORE 226337.996
AT ITER 3085 NEW BEST:: SOT 1474544 SOS 694233 HAS SOPS 693492 HAS SOUS 226356 HAS SOUPS 225615 WITH SCORE 226309.233
AT ITER 3089 NEW BEST:: SOT 1474529 SOS 692438 HAS SOPS 691697 HAS SOUS 226326 HAS SOUPS 225585 WITH SCORE 226277.438
AT ITER 3096 NEW BEST:: SOT 1474503 SOS 692412 HAS SOPS 691671 HAS SOUS 226274 HAS SOUPS 225533 WITH SCORE 226225.412
AT ITER 3102 NEW BEST:: SOT 1474476 SOS 692683 HAS SOPS 691942 HAS SOUS 226221 HAS SOUPS 225480 WITH SCORE 226172.683
AT ITER 3105 NEW BEST:: SOT 1474462 SOS 692669 HAS SOPS 691928 HAS SOUS 226191 HAS SOUPS 225450 WITH SCORE 226142.669
AT ITER 3122 NEW BEST:: SOT 1474509 SOS 692716 HAS SOPS 691975 HAS SOUS 226144 HAS SOUPS 225403 WITH SCORE 226095.716
AT ITER 3124 NEW BEST:: SOT 1474466 SOS 691846 HAS SOPS 691105 HAS SOUS 226053 HAS SOUPS 225312 WITH SCORE 226003.846
AT ITER 3139 NEW BEST:: SOT 1474579 SOS 691905 HAS SOPS 691164 HAS SOUS 225990 HAS SOUPS 225249 WITH SCORE 225940.905
AT ITER 3147 NEW BEST:: SOT 1474464 SOS 691790 HAS SOPS 691049 HAS SOUS 225869 HAS SOUPS 225128 WITH SCORE 225819.79
AT ITER 3167 NEW BEST:: SOT 1474464 SOS 692915 HAS SOPS 692174 HAS SOUS 225792 HAS SOUPS 225051 WITH SCORE 225743.915
AT ITER 3181 NEW BEST:: SOT 1474464 SOS 692789 HAS SOPS 692048 HAS SOUS 225781 HAS SOUPS 225040 WITH SCORE 225732.789
AT ITER 3213 NEW BEST:: SOT 1474452 SOS 692783 HAS SOPS 692042 HAS SOUS 225769 HAS SOUPS 225028 WITH SCORE 225720.783
AT ITER 3214 NEW BEST:: SOT 1474336 SOS 692667 HAS SOPS 691926 HAS SOUS 225556 HAS SOUPS 224815 WITH SCORE 225507.667
AT ITER 3253 NEW BEST:: SOT 1474291 SOS 693687 HAS SOPS 692946 HAS SOUS 225466 HAS SOUPS 224725 WITH SCORE 225418.687
AT ITER 3293 NEW BEST:: SOT 1474275 SOS 693686 HAS SOPS 692945 HAS SOUS 225360 HAS SOUPS 224619 WITH SCORE 225312.686
AT ITER 3300 NEW BEST:: SOT 1474235 SOS 693846 HAS SOPS 693105 HAS SOUS 225280 HAS SOUPS 224539 WITH SCORE 225232.846
AT ITER 3339 NEW BEST:: SOT 1480102 SOS 633893 HAS SOPS 633152 HAS SOUS 224951 HAS SOUPS 224210 WITH SCORE 224843.893
AT ITER 3340 NEW BEST:: SOT 1480102 SOS 633788 HAS SOPS 633047 HAS SOUS 224951 HAS SOUPS 224210 WITH SCORE 224843.788
AT ITER 3360 NEW BEST:: SOT 1480102 SOS 633788 HAS SOPS 633047 HAS SOUS 224839 HAS SOUPS 224098 WITH SCORE 224731.788
AT ITER 3361 NEW BEST:: SOT 1480115 SOS 633730 HAS SOPS 632989 HAS SOUS 224823 HAS SOUPS 224082 WITH SCORE 224715.73
AT ITER 3369 NEW BEST:: SOT 1479966 SOS 633581 HAS SOPS 632840 HAS SOUS 224784 HAS SOUPS 224043 WITH SCORE 224676.581
AT ITER 3379 NEW BEST:: SOT 1479883 SOS 633498 HAS SOPS 632757 HAS SOUS 224752 HAS SOUPS 224011 WITH SCORE 224644.498
AT ITER 3401 NEW BEST:: SOT 1479771 SOS 633246 HAS SOPS 632505 HAS SOUS 224624 HAS SOUPS 223883 WITH SCORE 224516.246
AT ITER 3402 NEW BEST:: SOT 1479755 SOS 633230 HAS SOPS 632489 HAS SOUS 224592 HAS SOUPS 223851 WITH SCORE 224484.23
AT ITER 3409 NEW BEST:: SOT 1479756 SOS 633231 HAS SOPS 632490 HAS SOUS 224560 HAS SOUPS 223819 WITH SCORE 224452.231
AT ITER 3410 NEW BEST:: SOT 1479686 SOS 633841 HAS SOPS 633100 HAS SOUS 224432 HAS SOUPS 223691 WITH SCORE 224324.841
AT ITER 3427 NEW BEST:: SOT 1479560 SOS 633523 HAS SOPS 632782 HAS SOUS 224306 HAS SOUPS 223565 WITH SCORE 224198.523
AT ITER 3453 NEW BEST:: SOT 1479625 SOS 633531 HAS SOPS 632790 HAS SOUS 223947 HAS SOUPS 223206 WITH SCORE 223839.531
AT ITER 3457 NEW BEST:: SOT 1479406 SOS 633312 HAS SOPS 632571 HAS SOUS 223851 HAS SOUPS 223110 WITH SCORE 223743.312
AT ITER 3458 NEW BEST:: SOT 1479447 SOS 633353 HAS SOPS 632612 HAS SOUS 223843 HAS SOUPS 223102 WITH SCORE 223735.353
AT ITER 3463 NEW BEST:: SOT 1479409 SOS 633955 HAS SOPS 633214 HAS SOUS 223841 HAS SOUPS 223100 WITH SCORE 223733.955
AT ITER 3478 NEW BEST:: SOT 1479293 SOS 633839 HAS SOPS 633098 HAS SOUS 223840 HAS SOUPS 223099 WITH SCORE 223732.839
AT ITER 3486 NEW BEST:: SOT 1479280 SOS 634423 HAS SOPS 633682 HAS SOUS 223684 HAS SOUPS 222943 WITH SCORE 223577.423
AT ITER 3492 NEW BEST:: SOT 1479323 SOS 634466 HAS SOPS 633725 HAS SOUS 223592 HAS SOUPS 222851 WITH SCORE 223485.466
AT ITER 3503 NEW BEST:: SOT 1479261 SOS 634404 HAS SOPS 633663 HAS SOUS 223524 HAS SOUPS 222783 WITH SCORE 223417.404
AT ITER 3511 NEW BEST:: SOT 1479182 SOS 634270 HAS SOPS 633529 HAS SOUS 223517 HAS SOUPS 222776 WITH SCORE 223410.27
AT ITER 3542 NEW BEST:: SOT 1479107 SOS 634235 HAS SOPS 633494 HAS SOUS 223306 HAS SOUPS 222565 WITH SCORE 223199.235
AT ITER 3558 NEW BEST:: SOT 1478950 SOS 635328 HAS SOPS 634587 HAS SOUS 223188 HAS SOUPS 222447 WITH SCORE 223082.328
AT ITER 3559 NEW BEST:: SOT 1478950 SOS 635318 HAS SOPS 634577 HAS SOUS 223188 HAS SOUPS 222447 WITH SCORE 223082.318
AT ITER 3562 NEW BEST:: SOT 1478787 SOS 634525 HAS SOPS 633784 HAS SOUS 223062 HAS SOUPS 222321 WITH SCORE 222955.525
AT ITER 3563 NEW BEST:: SOT 1478587 SOS 633870 HAS SOPS 633129 HAS SOUS 222935 HAS SOUPS 222194 WITH SCORE 222827.87
AT ITER 3618 NEW BEST:: SOT 1477108 SOS 632391 HAS SOPS 631650 HAS SOUS 221456 HAS SOUPS 220715 WITH SCORE 221347.391
AT ITER 3620 NEW BEST:: SOT 1477133 SOS 632416 HAS SOPS 631675 HAS SOUS 221428 HAS SOUPS 220687 WITH SCORE 221319.416
AT ITER 3643 NEW BEST:: SOT 1477259 SOS 632486 HAS SOPS 631745 HAS SOUS 221391 HAS SOUPS 220650 WITH SCORE 221282.486
AT ITER 3645 NEW BEST:: SOT 1477259 SOS 632486 HAS SOPS 631745 HAS SOUS 221361 HAS SOUPS 220620 WITH SCORE 221252.486
AT ITER 3674 NEW BEST:: SOT 1477253 SOS 632470 HAS SOPS 631729 HAS SOUS 221349 HAS SOUPS 220608 WITH SCORE 221240.47
AT ITER 3679 NEW BEST:: SOT 1477139 SOS 632228 HAS SOPS 631487 HAS SOUS 221121 HAS SOUPS 220380 WITH SCORE 221012.228
AT ITER 3681 NEW BEST:: SOT 1477010 SOS 632105 HAS SOPS 631364 HAS SOUS 220968 HAS SOUPS 220227 WITH SCORE 220859.105
AT ITER 3686 NEW BEST:: SOT 1477079 SOS 632229 HAS SOPS 631488 HAS SOUS 220962 HAS SOUPS 220221 WITH SCORE 220853.229
AT ITER 3691 NEW BEST:: SOT 1477072 SOS 632222 HAS SOPS 631481 HAS SOUS 220948 HAS SOUPS 220207 WITH SCORE 220839.222
AT ITER 3696 NEW BEST:: SOT 1476937 SOS 632087 HAS SOPS 631346 HAS SOUS 220683 HAS SOUPS 219942 WITH SCORE 220574.087
AT ITER 3713 NEW BEST:: SOT 1476727 SOS 631877 HAS SOPS 631136 HAS SOUS 220242 HAS SOUPS 219501 WITH SCORE 220132.877
AT ITER 3719 NEW BEST:: SOT 1476727 SOS 631487 HAS SOPS 630746 HAS SOUS 220242 HAS SOUPS 219501 WITH SCORE 220132.487
AT ITER 3738 NEW BEST:: SOT 1476636 SOS 631494 HAS SOPS 630753 HAS SOUS 220025 HAS SOUPS 219284 WITH SCORE 219915.494
AT ITER 3751 NEW BEST:: SOT 1476531 SOS 631284 HAS SOPS 630543 HAS SOUS 219950 HAS SOUPS 219209 WITH SCORE 219840.284
AT ITER 3767 NEW BEST:: SOT 1476577 SOS 631790 HAS SOPS 631049 HAS SOUS 219634 HAS SOUPS 218893 WITH SCORE 219524.79
AT ITER 3780 NEW BEST:: SOT 1476517 SOS 632106 HAS SOPS 631365 HAS SOUS 219514 HAS SOUPS 218773 WITH SCORE 219405.106
AT ITER 3797 NEW BEST:: SOT 1476478 SOS 632067 HAS SOPS 631326 HAS SOUS 219514 HAS SOUPS 218773 WITH SCORE 219405.067
AT ITER 3798 NEW BEST:: SOT 1476319 SOS 631908 HAS SOPS 631167 HAS SOUS 219396 HAS SOUPS 218655 WITH SCORE 219286.908
AT ITER 3807 NEW BEST:: SOT 1476318 SOS 631907 HAS SOPS 631166 HAS SOUS 219395 HAS SOUPS 218654 WITH SCORE 219285.907
AT ITER 3828 NEW BEST:: SOT 1476240 SOS 631829 HAS SOPS 631088 HAS SOUS 219317 HAS SOUPS 218576 WITH SCORE 219207.829
AT ITER 3838 NEW BEST:: SOT 1476185 SOS 630797 HAS SOPS 630056 HAS SOUS 219138 HAS SOUPS 218397 WITH SCORE 219027.797
AT ITER 3842 NEW BEST:: SOT 1476162 SOS 630774 HAS SOPS 630033 HAS SOUS 219138 HAS SOUPS 218397 WITH SCORE 219027.774
AT ITER 3852 NEW BEST:: SOT 1476123 SOS 630885 HAS SOPS 630144 HAS SOUS 219060 HAS SOUPS 218319 WITH SCORE 218949.885
AT ITER 3881 NEW BEST:: SOT 1476105 SOS 630867 HAS SOPS 630126 HAS SOUS 219024 HAS SOUPS 218283 WITH SCORE 218913.867
AT ITER 3914 NEW BEST:: SOT 1476242 SOS 631119 HAS SOPS 630378 HAS SOUS 218978 HAS SOUPS 218237 WITH SCORE 218868.119
AT ITER 3919 NEW BEST:: SOT 1476218 SOS 631103 HAS SOPS 630362 HAS SOUS 218946 HAS SOUPS 218205 WITH SCORE 218836.103
AT ITER 3925 NEW BEST:: SOT 1476208 SOS 631093 HAS SOPS 630352 HAS SOUS 218926 HAS SOUPS 218185 WITH SCORE 218816.093
AT ITER 3969 NEW BEST:: SOT 1476176 SOS 631061 HAS SOPS 630320 HAS SOUS 218926 HAS SOUPS 218185 WITH SCORE 218816.061
AT ITER 3991 NEW BEST:: SOT 1476176 SOS 631061 HAS SOPS 630320 HAS SOUS 218911 HAS SOUPS 218170 WITH SCORE 218801.061
AT ITER 3995 NEW BEST:: SOT 1476065 SOS 631453 HAS SOPS 630712 HAS SOUS 218689 HAS SOUPS 217948 WITH SCORE 218579.453
AT ITER 4000 NEW BEST:: SOT 1473960 SOS 629361 HAS SOPS 628620 HAS SOUS 216884 HAS SOUPS 216143 WITH SCORE 216772.361
AT ITER 4010 NEW BEST:: SOT 1473960 SOS 629664 HAS SOPS 628923 HAS SOUS 216783 HAS SOUPS 216042 WITH SCORE 216671.664
AT ITER 4019 NEW BEST:: SOT 1473960 SOS 629636 HAS SOPS 628895 HAS SOUS 216727 HAS SOUPS 215986 WITH SCORE 216615.636
AT ITER 4031 NEW BEST:: SOT 1473960 SOS 629611 HAS SOPS 628870 HAS SOUS 216727 HAS SOUPS 215986 WITH SCORE 216615.611
AT ITER 4034 NEW BEST:: SOT 1473954 SOS 629605 HAS SOPS 628864 HAS SOUS 216715 HAS SOUPS 215974 WITH SCORE 216603.605
AT ITER 4036 NEW BEST:: SOT 1473834 SOS 629240 HAS SOPS 628499 HAS SOUS 216573 HAS SOUPS 215832 WITH SCORE 216461.24
AT ITER 4039 NEW BEST:: SOT 1473763 SOS 629895 HAS SOPS 629154 HAS SOUS 216408 HAS SOUPS 215667 WITH SCORE 216296.895
AT ITER 4048 NEW BEST:: SOT 1473278 SOS 629410 HAS SOPS 628669 HAS SOUS 216225 HAS SOUPS 215484 WITH SCORE 216113.41
AT ITER 4050 NEW BEST:: SOT 1473278 SOS 628575 HAS SOPS 627834 HAS SOUS 216135 HAS SOUPS 215394 WITH SCORE 216022.575
AT ITER 4056 NEW BEST:: SOT 1473292 SOS 628589 HAS SOPS 627848 HAS SOUS 216132 HAS SOUPS 215391 WITH SCORE 216019.589
AT ITER 4064 NEW BEST:: SOT 1473151 SOS 628549 HAS SOPS 627808 HAS SOUS 216092 HAS SOUPS 215351 WITH SCORE 215979.549
AT ITER 4066 NEW BEST:: SOT 1473129 SOS 628478 HAS SOPS 627737 HAS SOUS 216021 HAS SOUPS 215280 WITH SCORE 215908.478
AT ITER 4075 NEW BEST:: SOT 1473129 SOS 628477 HAS SOPS 627736 HAS SOUS 216020 HAS SOUPS 215279 WITH SCORE 215907.477
AT ITER 4076 NEW BEST:: SOT 1473129 SOS 628477 HAS SOPS 627736 HAS SOUS 215959 HAS SOUPS 215218 WITH SCORE 215846.477
AT ITER 4084 NEW BEST:: SOT 1473057 SOS 628405 HAS SOPS 627664 HAS SOUS 215873 HAS SOUPS 215132 WITH SCORE 215760.405
AT ITER 4087 NEW BEST:: SOT 1473021 SOS 628369 HAS SOPS 627628 HAS SOUS 215801 HAS SOUPS 215060 WITH SCORE 215688.369
AT ITER 4092 NEW BEST:: SOT 1472988 SOS 628186 HAS SOPS 627445 HAS SOUS 215690 HAS SOUPS 214949 WITH SCORE 215577.186
AT ITER 4095 NEW BEST:: SOT 1472943 SOS 628141 HAS SOPS 627400 HAS SOUS 215608 HAS SOUPS 214867 WITH SCORE 215495.141
AT ITER 4102 NEW BEST:: SOT 1472943 SOS 628141 HAS SOPS 627400 HAS SOUS 215603 HAS SOUPS 214862 WITH SCORE 215490.141
AT ITER 4103 NEW BEST:: SOT 1472912 SOS 628110 HAS SOPS 627369 HAS SOUS 215541 HAS SOUPS 214800 WITH SCORE 215428.11
AT ITER 4108 NEW BEST:: SOT 1472824 SOS 628022 HAS SOPS 627281 HAS SOUS 215365 HAS SOUPS 214624 WITH SCORE 215252.022
AT ITER 4110 NEW BEST:: SOT 1472752 SOS 627740 HAS SOPS 626999 HAS SOUS 215311 HAS SOUPS 214570 WITH SCORE 215197.74
AT ITER 4118 NEW BEST:: SOT 1472788 SOS 627806 HAS SOPS 627065 HAS SOUS 215299 HAS SOUPS 214558 WITH SCORE 215185.806
AT ITER 4150 NEW BEST:: SOT 1472782 SOS 627800 HAS SOPS 627059 HAS SOUS 215287 HAS SOUPS 214546 WITH SCORE 215173.8
AT ITER 4167 NEW BEST:: SOT 1472760 SOS 627820 HAS SOPS 627079 HAS SOUS 215265 HAS SOUPS 214524 WITH SCORE 215151.82
AT ITER 4176 NEW BEST:: SOT 1472717 SOS 627777 HAS SOPS 627036 HAS SOUS 215179 HAS SOUPS 214438 WITH SCORE 215065.777
AT ITER 4178 NEW BEST:: SOT 1472701 SOS 627703 HAS SOPS 626962 HAS SOUS 215176 HAS SOUPS 214435 WITH SCORE 215062.703
AT ITER 4183 NEW BEST:: SOT 1472832 SOS 627814 HAS SOPS 627073 HAS SOUS 215127 HAS SOUPS 214386 WITH SCORE 215013.814
AT ITER 4186 NEW BEST:: SOT 1472759 SOS 627741 HAS SOPS 627000 HAS SOUS 215063 HAS SOUPS 214322 WITH SCORE 214949.741
AT ITER 4195 NEW BEST:: SOT 1472759 SOS 627741 HAS SOPS 627000 HAS SOUS 215062 HAS SOUPS 214321 WITH SCORE 214948.741
AT ITER 4199 NEW BEST:: SOT 1472685 SOS 627667 HAS SOPS 626926 HAS SOUS 215037 HAS SOUPS 214296 WITH SCORE 214923.667
AT ITER 4205 NEW BEST:: SOT 1472536 SOS 627521 HAS SOPS 626780 HAS SOUS 214994 HAS SOUPS 214253 WITH SCORE 214880.521
AT ITER 4209 NEW BEST:: SOT 1472369 SOS 627354 HAS SOPS 626613 HAS SOUS 214876 HAS SOUPS 214135 WITH SCORE 214762.354
AT ITER 4214 NEW BEST:: SOT 1472297 SOS 627102 HAS SOPS 626361 HAS SOUS 214804 HAS SOUPS 214063 WITH SCORE 214690.102
AT ITER 4231 NEW BEST:: SOT 1472258 SOS 627063 HAS SOPS 626322 HAS SOUS 214726 HAS SOUPS 213985 WITH SCORE 214612.063
AT ITER 4233 NEW BEST:: SOT 1472255 SOS 627075 HAS SOPS 626334 HAS SOUS 214720 HAS SOUPS 213979 WITH SCORE 214606.075
AT ITER 4247 NEW BEST:: SOT 1472255 SOS 627035 HAS SOPS 626294 HAS SOUS 214720 HAS SOUPS 213979 WITH SCORE 214606.035
AT ITER 4249 NEW BEST:: SOT 1472240 SOS 627020 HAS SOPS 626279 HAS SOUS 214703 HAS SOUPS 213962 WITH SCORE 214589.02
AT ITER 4257 NEW BEST:: SOT 1472071 SOS 626851 HAS SOPS 626110 HAS SOUS 214655 HAS SOUPS 213914 WITH SCORE 214540.851
AT ITER 4270 NEW BEST:: SOT 1471920 SOS 626700 HAS SOPS 625959 HAS SOUS 214605 HAS SOUPS 213864 WITH SCORE 214490.7
AT ITER 4281 NEW BEST:: SOT 1471807 SOS 626474 HAS SOPS 625733 HAS SOUS 214379 HAS SOUPS 213638 WITH SCORE 214264.474
AT ITER 4301 NEW BEST:: SOT 1471876 SOS 625753 HAS SOPS 625012 HAS SOUS 214359 HAS SOUPS 213618 WITH SCORE 214243.753
AT ITER 4318 NEW BEST:: SOT 1471785 SOS 626747 HAS SOPS 626006 HAS SOUS 214349 HAS SOUPS 213608 WITH SCORE 214234.747
AT ITER 4320 NEW BEST:: SOT 1471693 SOS 627095 HAS SOPS 626354 HAS SOUS 214345 HAS SOUPS 213604 WITH SCORE 214231.095
AT ITER 4326 NEW BEST:: SOT 1471693 SOS 627095 HAS SOPS 626354 HAS SOUS 214315 HAS SOUPS 213574 WITH SCORE 214201.095
AT ITER 4337 NEW BEST:: SOT 1471693 SOS 627200 HAS SOPS 626459 HAS SOUS 214273 HAS SOUPS 213532 WITH SCORE 214159.2
AT ITER 4340 NEW BEST:: SOT 1471528 SOS 627955 HAS SOPS 627214 HAS SOUS 213943 HAS SOUPS 213202 WITH SCORE 213829.955
AT ITER 4344 NEW BEST:: SOT 1471528 SOS 627700 HAS SOPS 626959 HAS SOUS 213892 HAS SOUPS 213151 WITH SCORE 213778.7
AT ITER 4360 NEW BEST:: SOT 1471528 SOS 627705 HAS SOPS 626964 HAS SOUS 213890 HAS SOUPS 213149 WITH SCORE 213776.705
AT ITER 4396 NEW BEST:: SOT 1471586 SOS 627727 HAS SOPS 626986 HAS SOUS 213757 HAS SOUPS 213016 WITH SCORE 213643.727
AT ITER 4416 NEW BEST:: SOT 1471667 SOS 628278 HAS SOPS 627537 HAS SOUS 213731 HAS SOUPS 212990 WITH SCORE 213618.278
AT ITER 4433 NEW BEST:: SOT 1471665 SOS 628276 HAS SOPS 627535 HAS SOUS 213649 HAS SOUPS 212908 WITH SCORE 213536.276
AT ITER 4438 NEW BEST:: SOT 1471654 SOS 629114 HAS SOPS 628373 HAS SOUS 213383 HAS SOUPS 212642 WITH SCORE 213271.114
AT ITER 4441 NEW BEST:: SOT 1471438 SOS 628898 HAS SOPS 628157 HAS SOUS 213221 HAS SOUPS 212480 WITH SCORE 213108.898
AT ITER 4455 NEW BEST:: SOT 1471415 SOS 628875 HAS SOPS 628134 HAS SOUS 213198 HAS SOUPS 212457 WITH SCORE 213085.875
AT ITER 4458 NEW BEST:: SOT 1471509 SOS 628949 HAS SOPS 628208 HAS SOUS 213032 HAS SOUPS 212291 WITH SCORE 212919.949
AT ITER 4528 NEW BEST:: SOT 1471501 SOS 629151 HAS SOPS 628410 HAS SOUS 212952 HAS SOUPS 212211 WITH SCORE 212840.151
AT ITER 4544 NEW BEST:: SOT 1471553 SOS 629203 HAS SOPS 628462 HAS SOUS 212888 HAS SOUPS 212147 WITH SCORE 212776.203
AT ITER 4559 NEW BEST:: SOT 1471553 SOS 629203 HAS SOPS 628462 HAS SOUS 212869 HAS SOUPS 212128 WITH SCORE 212757.203
AT ITER 4568 NEW BEST:: SOT 1471502 SOS 629083 HAS SOPS 628342 HAS SOUS 212676 HAS SOUPS 211935 WITH SCORE 212564.083
AT ITER 4585 NEW BEST:: SOT 1471460 SOS 629041 HAS SOPS 628300 HAS SOUS 212581 HAS SOUPS 211840 WITH SCORE 212469.041
AT ITER 4592 NEW BEST:: SOT 1471080 SOS 628051 HAS SOPS 627310 HAS SOUS 212045 HAS SOUPS 211304 WITH SCORE 211932.051
AT ITER 4600 NEW BEST:: SOT 1471075 SOS 628046 HAS SOPS 627305 HAS SOUS 212035 HAS SOUPS 211294 WITH SCORE 211922.046
AT ITER 4609 NEW BEST:: SOT 1471061 SOS 628097 HAS SOPS 627356 HAS SOUS 212020 HAS SOUPS 211279 WITH SCORE 211907.097
AT ITER 4613 NEW BEST:: SOT 1471024 SOS 628060 HAS SOPS 627319 HAS SOUS 211972 HAS SOUPS 211231 WITH SCORE 211859.06
AT ITER 4619 NEW BEST:: SOT 1470982 SOS 627858 HAS SOPS 627117 HAS SOUS 211950 HAS SOUPS 211209 WITH SCORE 211836.858
AT ITER 4622 NEW BEST:: SOT 1470978 SOS 627854 HAS SOPS 627113 HAS SOUS 211942 HAS SOUPS 211201 WITH SCORE 211828.854
AT ITER 4641 NEW BEST:: SOT 1471029 SOS 627905 HAS SOPS 627164 HAS SOUS 211922 HAS SOUPS 211181 WITH SCORE 211808.905
AT ITER 4679 NEW BEST:: SOT 1471022 SOS 627898 HAS SOPS 627157 HAS SOUS 211906 HAS SOUPS 211165 WITH SCORE 211792.898
AT ITER 4708 NEW BEST:: SOT 1471017 SOS 627893 HAS SOPS 627152 HAS SOUS 211883 HAS SOUPS 211142 WITH SCORE 211769.893
AT ITER 4747 NEW BEST:: SOT 1470998 SOS 627874 HAS SOPS 627133 HAS SOUS 211845 HAS SOUPS 211104 WITH SCORE 211731.874
AT ITER 4754 NEW BEST:: SOT 1470935 SOS 627811 HAS SOPS 627070 HAS SOUS 211794 HAS SOUPS 211053 WITH SCORE 211680.811
AT ITER 4755 NEW BEST:: SOT 1470926 SOS 627802 HAS SOPS 627061 HAS SOUS 211776 HAS SOUPS 211035 WITH SCORE 211662.802
AT ITER 4758 NEW BEST:: SOT 1470915 SOS 627791 HAS SOPS 627050 HAS SOUS 211763 HAS SOUPS 211022 WITH SCORE 211649.791
AT ITER 4760 NEW BEST:: SOT 1470987 SOS 627863 HAS SOPS 627122 HAS SOUS 211532 HAS SOUPS 210791 WITH SCORE 211418.863
AT ITER 4772 NEW BEST:: SOT 1470987 SOS 627978 HAS SOPS 627237 HAS SOUS 211425 HAS SOUPS 210684 WITH SCORE 211311.978
AT ITER 4805 NEW BEST:: SOT 1470987 SOS 627939 HAS SOPS 627198 HAS SOUS 211375 HAS SOUPS 210634 WITH SCORE 211261.939
AT ITER 4807 NEW BEST:: SOT 1471069 SOS 627935 HAS SOPS 627194 HAS SOUS 211361 HAS SOUPS 210620 WITH SCORE 211247.935
AT ITER 4814 NEW BEST:: SOT 1471066 SOS 627887 HAS SOPS 627146 HAS SOUS 211295 HAS SOUPS 210554 WITH SCORE 211181.887
AT ITER 4825 NEW BEST:: SOT 1471057 SOS 627860 HAS SOPS 627119 HAS SOUS 211268 HAS SOUPS 210527 WITH SCORE 211154.86
AT ITER 4834 NEW BEST:: SOT 1471141 SOS 628794 HAS SOPS 628053 HAS SOUS 211266 HAS SOUPS 210525 WITH SCORE 211153.794
AT ITER 4836 NEW BEST:: SOT 1471063 SOS 628716 HAS SOPS 627975 HAS SOUS 211110 HAS SOUPS 210369 WITH SCORE 210997.716
AT ITER 4850 NEW BEST:: SOT 1471050 SOS 628880 HAS SOPS 628139 HAS SOUS 211095 HAS SOUPS 210354 WITH SCORE 210982.88
AT ITER 4887 NEW BEST:: SOT 1470952 SOS 628477 HAS SOPS 627736 HAS SOUS 210936 HAS SOUPS 210195 WITH SCORE 210823.477
AT ITER 4889 NEW BEST:: SOT 1470881 SOS 628406 HAS SOPS 627665 HAS SOUS 210885 HAS SOUPS 210144 WITH SCORE 210772.406
AT ITER 4893 NEW BEST:: SOT 1470890 SOS 628311 HAS SOPS 627570 HAS SOUS 210864 HAS SOUPS 210123 WITH SCORE 210751.311
AT ITER 4894 NEW BEST:: SOT 1470870 SOS 628611 HAS SOPS 627870 HAS SOUS 210844 HAS SOUPS 210103 WITH SCORE 210731.611
AT ITER 4922 NEW BEST:: SOT 1470971 SOS 628842 HAS SOPS 628101 HAS SOUS 210766 HAS SOUPS 210025 WITH SCORE 210653.842
AT ITER 4948 NEW BEST:: SOT 1470961 SOS 628832 HAS SOPS 628091 HAS SOUS 210716 HAS SOUPS 209975 WITH SCORE 210603.832
AT ITER 4969 NEW BEST:: SOT 1470936 SOS 628807 HAS SOPS 628066 HAS SOUS 210710 HAS SOUPS 209969 WITH SCORE 210597.807
AT ITER 4970 NEW BEST:: SOT 1470931 SOS 628802 HAS SOPS 628061 HAS SOUS 210650 HAS SOUPS 209909 WITH SCORE 210537.802
AT ITER 4993 NEW BEST:: SOT 1470931 SOS 628802 HAS SOPS 628061 HAS SOUS 210626 HAS SOUPS 209885 WITH SCORE 210513.802
AT ITER 4996 NEW BEST:: SOT 1470926 SOS 628805 HAS SOPS 628064 HAS SOUS 210603 HAS SOUPS 209862 WITH SCORE 210490.805
AT ITER 5019 NEW BEST:: SOT 1470895 SOS 628936 HAS SOPS 628195 HAS SOUS 210541 HAS SOUPS 209800 WITH SCORE 210428.936
AT ITER 5034 NEW BEST:: SOT 1470895 SOS 629221 HAS SOPS 628480 HAS SOUS 210536 HAS SOUPS 209795 WITH SCORE 210424.221
AT ITER 5042 NEW BEST:: SOT 1470758 SOS 629084 HAS SOPS 628343 HAS SOUS 210267 HAS SOUPS 209526 WITH SCORE 210155.084
AT ITER 5044 NEW BEST:: SOT 1470758 SOS 626640 HAS SOPS 625949 HAS SOUS 210217 HAS SOUPS 209526 WITH SCORE 210152.64
AT ITER 5049 NEW BEST:: SOT 1466039 SOS 622046 HAS SOPS 621279 HAS SOUS 209738 HAS SOUPS 208971 WITH SCORE 209593.046
AT ITER 5050 NEW BEST:: SOT 1465958 SOS 622310 HAS SOPS 621543 HAS SOUS 209726 HAS SOUPS 208959 WITH SCORE 209581.31
AT ITER 5079 NEW BEST:: SOT 1465940 SOS 620830 HAS SOPS 620063 HAS SOUS 209492 HAS SOUPS 208725 WITH SCORE 209345.83
AT ITER 5086 NEW BEST:: SOT 1465912 SOS 620886 HAS SOPS 620119 HAS SOUS 209436 HAS SOUPS 208669 WITH SCORE 209289.886
AT ITER 5109 NEW BEST:: SOT 1465954 SOS 620879 HAS SOPS 620112 HAS SOUS 209226 HAS SOUPS 208459 WITH SCORE 209079.879
AT ITER 5120 NEW BEST:: SOT 1466040 SOS 620965 HAS SOPS 620198 HAS SOUS 209220 HAS SOUPS 208453 WITH SCORE 209073.965
AT ITER 5132 NEW BEST:: SOT 1465765 SOS 620430 HAS SOPS 619663 HAS SOUS 208798 HAS SOUPS 208031 WITH SCORE 208651.43
AT ITER 5146 NEW BEST:: SOT 1465682 SOS 620748 HAS SOPS 619981 HAS SOUS 208632 HAS SOUPS 207865 WITH SCORE 208485.748
AT ITER 5148 NEW BEST:: SOT 1465706 SOS 620772 HAS SOPS 620005 HAS SOUS 208631 HAS SOUPS 207864 WITH SCORE 208484.772
AT ITER 5154 NEW BEST:: SOT 1465670 SOS 621408 HAS SOPS 620641 HAS SOUS 208559 HAS SOUPS 207792 WITH SCORE 208413.408
AT ITER 5160 NEW BEST:: SOT 1465658 SOS 621396 HAS SOPS 620629 HAS SOUS 208535 HAS SOUPS 207768 WITH SCORE 208389.396
AT ITER 5175 NEW BEST:: SOT 1465527 SOS 621267 HAS SOPS 620500 HAS SOUS 208276 HAS SOUPS 207509 WITH SCORE 208130.267
AT ITER 5181 NEW BEST:: SOT 1465438 SOS 621152 HAS SOPS 620385 HAS SOUS 208253 HAS SOUPS 207486 WITH SCORE 208107.152
AT ITER 5187 NEW BEST:: SOT 1465384 SOS 621098 HAS SOPS 620331 HAS SOUS 208241 HAS SOUPS 207474 WITH SCORE 208095.098
AT ITER 5221 NEW BEST:: SOT 1465372 SOS 621026 HAS SOPS 620259 HAS SOUS 208241 HAS SOUPS 207474 WITH SCORE 208095.026
AT ITER 5233 NEW BEST:: SOT 1465432 SOS 621766 HAS SOPS 620999 HAS SOUS 208165 HAS SOUPS 207398 WITH SCORE 208019.766
AT ITER 5267 NEW BEST:: SOT 1465424 SOS 621758 HAS SOPS 620991 HAS SOUS 208149 HAS SOUPS 207382 WITH SCORE 208003.758
AT ITER 5269 NEW BEST:: SOT 1465421 SOS 622085 HAS SOPS 621318 HAS SOUS 208143 HAS SOUPS 207376 WITH SCORE 207998.085
AT ITER 5325 NEW BEST:: SOT 1465443 SOS 622216 HAS SOPS 621449 HAS SOUS 208028 HAS SOUPS 207261 WITH SCORE 207883.216
AT ITER 5353 NEW BEST:: SOT 1465283 SOS 622056 HAS SOPS 621369 HAS SOUS 207868 HAS SOUPS 207181 WITH SCORE 207803.056
AT ITER 5366 NEW BEST:: SOT 1465283 SOS 622026 HAS SOPS 621339 HAS SOUS 207868 HAS SOUPS 207181 WITH SCORE 207803.026
AT ITER 5405 NEW BEST:: SOT 1465225 SOS 621968 HAS SOPS 621281 HAS SOUS 207827 HAS SOUPS 207140 WITH SCORE 207761.968
AT ITER 5414 NEW BEST:: SOT 1465218 SOS 621926 HAS SOPS 621239 HAS SOUS 207813 HAS SOUPS 207126 WITH SCORE 207747.926
AT ITER 5420 NEW BEST:: SOT 1465170 SOS 621878 HAS SOPS 621191 HAS SOUS 207765 HAS SOUPS 207078 WITH SCORE 207699.878
AT ITER 5433 NEW BEST:: SOT 1465158 SOS 621866 HAS SOPS 621179 HAS SOUS 207753 HAS SOUPS 207066 WITH SCORE 207687.866
AT ITER 5439 NEW BEST:: SOT 1465140 SOS 621848 HAS SOPS 621161 HAS SOUS 207735 HAS SOUPS 207048 WITH SCORE 207669.848
AT ITER 5447 NEW BEST:: SOT 1465130 SOS 621806 HAS SOPS 621119 HAS SOUS 207723 HAS SOUPS 207036 WITH SCORE 207657.806
AT ITER 5452 NEW BEST:: SOT 1465078 SOS 622014 HAS SOPS 621327 HAS SOUS 207619 HAS SOUPS 206932 WITH SCORE 207554.014
AT ITER 5456 NEW BEST:: SOT 1465060 SOS 621978 HAS SOPS 621291 HAS SOUS 207583 HAS SOUPS 206896 WITH SCORE 207517.978
AT ITER 5508 NEW BEST:: SOT 1464932 SOS 621850 HAS SOPS 621163 HAS SOUS 207471 HAS SOUPS 206784 WITH SCORE 207405.85
AT ITER 5513 NEW BEST:: SOT 1464913 SOS 621850 HAS SOPS 621163 HAS SOUS 207433 HAS SOUPS 206746 WITH SCORE 207367.85
AT ITER 5515 NEW BEST:: SOT 1464906 SOS 621813 HAS SOPS 621126 HAS SOUS 207419 HAS SOUPS 206732 WITH SCORE 207353.813
AT ITER 5558 NEW BEST:: SOT 1464753 SOS 621660 HAS SOPS 620973 HAS SOUS 207321 HAS SOUPS 206634 WITH SCORE 207255.66
AT ITER 5595 NEW BEST:: SOT 1464671 SOS 621578 HAS SOPS 620891 HAS SOUS 207157 HAS SOUPS 206470 WITH SCORE 207091.578
AT ITER 5628 NEW BEST:: SOT 1464560 SOS 621120 HAS SOPS 620433 HAS SOUS 207083 HAS SOUPS 206396 WITH SCORE 207017.12
AT ITER 5638 NEW BEST:: SOT 1460824 SOS 617384 HAS SOPS 616697 HAS SOUS 203347 HAS SOUPS 202660 WITH SCORE 203277.384
AT ITER 5639 NEW BEST:: SOT 1460789 SOS 617388 HAS SOPS 616701 HAS SOUS 203273 HAS SOUPS 202586 WITH SCORE 203203.388
AT ITER 5640 NEW BEST:: SOT 1460769 SOS 617368 HAS SOPS 616681 HAS SOUS 203198 HAS SOUPS 202511 WITH SCORE 203128.368
AT ITER 5684 NEW BEST:: SOT 1460695 SOS 617228 HAS SOPS 616541 HAS SOUS 203166 HAS SOUPS 202479 WITH SCORE 203096.228
AT ITER 5699 NEW BEST:: SOT 1460695 SOS 617228 HAS SOPS 616541 HAS SOUS 203162 HAS SOUPS 202475 WITH SCORE 203092.228
AT ITER 5706 NEW BEST:: SOT 1460654 SOS 617146 HAS SOPS 616459 HAS SOUS 203080 HAS SOUPS 202393 WITH SCORE 203010.146
AT ITER 5714 NEW BEST:: SOT 1460618 SOS 617110 HAS SOPS 616423 HAS SOUS 203008 HAS SOUPS 202321 WITH SCORE 202938.11
AT ITER 5717 NEW BEST:: SOT 1460564 SOS 617421 HAS SOPS 616734 HAS SOUS 202892 HAS SOUPS 202205 WITH SCORE 202822.421
AT ITER 5745 NEW BEST:: SOT 1460564 SOS 617421 HAS SOPS 616734 HAS SOUS 202802 HAS SOUPS 202115 WITH SCORE 202732.421
AT ITER 5747 NEW BEST:: SOT 1460169 SOS 616697 HAS SOPS 616010 HAS SOUS 202213 HAS SOUPS 201526 WITH SCORE 202142.697
AT ITER 5759 NEW BEST:: SOT 1460169 SOS 616623 HAS SOPS 615936 HAS SOUS 202213 HAS SOUPS 201526 WITH SCORE 202142.623
AT ITER 5775 NEW BEST:: SOT 1460166 SOS 617050 HAS SOPS 616363 HAS SOUS 202207 HAS SOUPS 201520 WITH SCORE 202137.05
AT ITER 5777 NEW BEST:: SOT 1460158 SOS 617042 HAS SOPS 616355 HAS SOUS 202023 HAS SOUPS 201336 WITH SCORE 201953.042
AT ITER 5799 NEW BEST:: SOT 1460140 SOS 616699 HAS SOPS 616012 HAS SOUS 202002 HAS SOUPS 201315 WITH SCORE 201931.699
AT ITER 5803 NEW BEST:: SOT 1460129 SOS 616743 HAS SOPS 616056 HAS SOUS 201980 HAS SOUPS 201293 WITH SCORE 201909.743
AT ITER 5804 NEW BEST:: SOT 1460079 SOS 616693 HAS SOPS 616006 HAS SOUS 201930 HAS SOUPS 201243 WITH SCORE 201859.693
AT ITER 5818 NEW BEST:: SOT 1460031 SOS 616645 HAS SOPS 615958 HAS SOUS 201930 HAS SOUPS 201243 WITH SCORE 201859.645
AT ITER 5823 NEW BEST:: SOT 1460018 SOS 616387 HAS SOPS 615700 HAS SOUS 201890 HAS SOUPS 201203 WITH SCORE 201819.387
AT ITER 5848 NEW BEST:: SOT 1460011 SOS 616665 HAS SOPS 615978 HAS SOUS 201876 HAS SOUPS 201189 WITH SCORE 201805.665
AT ITER 5882 NEW BEST:: SOT 1460011 SOS 616575 HAS SOPS 615888 HAS SOUS 201876 HAS SOUPS 201189 WITH SCORE 201805.575
AT ITER 5894 NEW BEST:: SOT 1460050 SOS 617149 HAS SOPS 616462 HAS SOUS 201740 HAS SOUPS 201053 WITH SCORE 201670.149
AT ITER 5921 NEW BEST:: SOT 1460019 SOS 617057 HAS SOPS 616370 HAS SOUS 201738 HAS SOUPS 201051 WITH SCORE 201668.057
AT ITER 5938 NEW BEST:: SOT 1459954 SOS 616992 HAS SOPS 616305 HAS SOUS 201707 HAS SOUPS 201020 WITH SCORE 201636.992
AT ITER 5943 NEW BEST:: SOT 1460035 SOS 617478 HAS SOPS 616791 HAS SOUS 201626 HAS SOUPS 200939 WITH SCORE 201556.478
AT ITER 5945 NEW BEST:: SOT 1459993 SOS 617376 HAS SOPS 616689 HAS SOUS 201610 HAS SOUPS 200923 WITH SCORE 201540.376
AT ITER 5947 NEW BEST:: SOT 1459986 SOS 617369 HAS SOPS 616682 HAS SOUS 201595 HAS SOUPS 200908 WITH SCORE 201525.369
AT ITER 5952 NEW BEST:: SOT 1460014 SOS 617397 HAS SOPS 616710 HAS SOUS 201577 HAS SOUPS 200890 WITH SCORE 201507.397
AT ITER 5959 NEW BEST:: SOT 1459919 SOS 617302 HAS SOPS 616615 HAS SOUS 201478 HAS SOUPS 200791 WITH SCORE 201408.302
AT ITER 5991 NEW BEST:: SOT 1459824 SOS 617207 HAS SOPS 616520 HAS SOUS 201393 HAS SOUPS 200706 WITH SCORE 201323.207
AT ITER 6002 NEW BEST:: SOT 1460178 SOS 619045 HAS SOPS 618358 HAS SOUS 201367 HAS SOUPS 200680 WITH SCORE 201299.045
AT ITER 6013 NEW BEST:: SOT 1460178 SOS 619695 HAS SOPS 619008 HAS SOUS 201299 HAS SOUPS 200612 WITH SCORE 201231.695
AT ITER 6033 NEW BEST:: SOT 1460153 SOS 619670 HAS SOPS 618983 HAS SOUS 201258 HAS SOUPS 200571 WITH SCORE 201190.67
AT ITER 6042 NEW BEST:: SOT 1460153 SOS 618630 HAS SOPS 617943 HAS SOUS 201165 HAS SOUPS 200478 WITH SCORE 201096.63
AT ITER 6050 NEW BEST:: SOT 1460140 SOS 618309 HAS SOPS 617622 HAS SOUS 201139 HAS SOUPS 200452 WITH SCORE 201070.309
AT ITER 6064 NEW BEST:: SOT 1460139 SOS 618308 HAS SOPS 617621 HAS SOUS 201137 HAS SOUPS 200450 WITH SCORE 201068.308
AT ITER 6077 NEW BEST:: SOT 1459932 SOS 617843 HAS SOPS 617156 HAS SOUS 200845 HAS SOUPS 200158 WITH SCORE 200775.843
AT ITER 6080 NEW BEST:: SOT 1459868 SOS 617869 HAS SOPS 617182 HAS SOUS 200835 HAS SOUPS 200148 WITH SCORE 200765.869
AT ITER 6088 NEW BEST:: SOT 1459854 SOS 617841 HAS SOPS 617154 HAS SOUS 200807 HAS SOUPS 200120 WITH SCORE 200737.841
AT ITER 6130 NEW BEST:: SOT 1459785 SOS 617804 HAS SOPS 617117 HAS SOUS 200800 HAS SOUPS 200113 WITH SCORE 200730.804
AT ITER 6245 NEW BEST:: SOT 1459773 SOS 617762 HAS SOPS 617075 HAS SOUS 200788 HAS SOUPS 200101 WITH SCORE 200718.762
AT ITER 6248 NEW BEST:: SOT 1459768 SOS 617757 HAS SOPS 617070 HAS SOUS 200783 HAS SOUPS 200096 WITH SCORE 200713.757
AT ITER 6255 NEW BEST:: SOT 1459730 SOS 617881 HAS SOPS 617194 HAS SOUS 200712 HAS SOUPS 200025 WITH SCORE 200642.881
AT ITER 6271 NEW BEST:: SOT 1459686 SOS 618577 HAS SOPS 617890 HAS SOUS 200624 HAS SOUPS 199937 WITH SCORE 200555.577
AT ITER 6290 NEW BEST:: SOT 1459662 SOS 618989 HAS SOPS 618302 HAS SOUS 200576 HAS SOUPS 199889 WITH SCORE 200507.989
AT ITER 6295 NEW BEST:: SOT 1459398 SOS 618593 HAS SOPS 617906 HAS SOUS 200312 HAS SOUPS 199625 WITH SCORE 200243.593
AT ITER 6301 NEW BEST:: SOT 1459396 SOS 619496 HAS SOPS 618809 HAS SOUS 200197 HAS SOUPS 199510 WITH SCORE 200129.496
AT ITER 6307 NEW BEST:: SOT 1459441 SOS 619541 HAS SOPS 618854 HAS SOUS 200192 HAS SOUPS 199505 WITH SCORE 200124.541
AT ITER 6329 NEW BEST:: SOT 1459437 SOS 619596 HAS SOPS 618909 HAS SOUS 200121 HAS SOUPS 199434 WITH SCORE 200053.596
AT ITER 6337 NEW BEST:: SOT 1459434 SOS 619608 HAS SOPS 618921 HAS SOUS 200115 HAS SOUPS 199428 WITH SCORE 200047.608
AT ITER 6358 NEW BEST:: SOT 1459434 SOS 619608 HAS SOPS 618921 HAS SOUS 200101 HAS SOUPS 199414 WITH SCORE 200033.608
AT ITER 6368 NEW BEST:: SOT 1459434 SOS 619228 HAS SOPS 618541 HAS SOUS 200101 HAS SOUPS 199414 WITH SCORE 200033.228
AT ITER 6376 NEW BEST:: SOT 1459338 SOS 618832 HAS SOPS 618145 HAS SOUS 200089 HAS SOUPS 199402 WITH SCORE 200020.832
AT ITER 6386 NEW BEST:: SOT 1459313 SOS 618807 HAS SOPS 618120 HAS SOUS 200039 HAS SOUPS 199352 WITH SCORE 199970.807
AT ITER 6415 NEW BEST:: SOT 1459313 SOS 618807 HAS SOPS 618120 HAS SOUS 200029 HAS SOUPS 199342 WITH SCORE 199960.807
AT ITER 6431 NEW BEST:: SOT 1459310 SOS 618804 HAS SOPS 618117 HAS SOUS 200023 HAS SOUPS 199336 WITH SCORE 199954.804
AT ITER 6433 NEW BEST:: SOT 1459210 SOS 618359 HAS SOPS 617672 HAS SOUS 199961 HAS SOUPS 199274 WITH SCORE 199892.359
AT ITER 6456 NEW BEST:: SOT 1459183 SOS 618332 HAS SOPS 617645 HAS SOUS 199958 HAS SOUPS 199271 WITH SCORE 199889.332
AT ITER 6482 NEW BEST:: SOT 1459127 SOS 618276 HAS SOPS 617589 HAS SOUS 199818 HAS SOUPS 199131 WITH SCORE 199749.276
AT ITER 6502 NEW BEST:: SOT 1459101 SOS 615820 HAS SOPS 615133 HAS SOUS 199806 HAS SOUPS 199119 WITH SCORE 199734.82
AT ITER 6529 NEW BEST:: SOT 1459087 SOS 615792 HAS SOPS 615105 HAS SOUS 199778 HAS SOUPS 199091 WITH SCORE 199706.792
AT ITER 6538 NEW BEST:: SOT 1458989 SOS 615694 HAS SOPS 615007 HAS SOUS 199680 HAS SOUPS 198993 WITH SCORE 199608.694
AT ITER 6540 NEW BEST:: SOT 1458989 SOS 615694 HAS SOPS 615007 HAS SOUS 199673 HAS SOUPS 198986 WITH SCORE 199601.694
AT ITER 6557 NEW BEST:: SOT 1458963 SOS 615642 HAS SOPS 614955 HAS SOUS 199621 HAS SOUPS 198934 WITH SCORE 199549.642
AT ITER 6573 NEW BEST:: SOT 1458930 SOS 615494 HAS SOPS 614807 HAS SOUS 199621 HAS SOUPS 198934 WITH SCORE 199549.494
AT ITER 6600 NEW BEST:: SOT 1458819 SOS 615503 HAS SOPS 614816 HAS SOUS 199399 HAS SOUPS 198712 WITH SCORE 199327.503
AT ITER 6615 NEW BEST:: SOT 1458819 SOS 615033 HAS SOPS 614346 HAS SOUS 199305 HAS SOUPS 198618 WITH SCORE 199233.033
AT ITER 6663 NEW BEST:: SOT 1458777 SOS 614991 HAS SOPS 614304 HAS SOUS 199221 HAS SOUPS 198534 WITH SCORE 199148.991
AT ITER 6664 NEW BEST:: SOT 1458766 SOS 615077 HAS SOPS 614390 HAS SOUS 199199 HAS SOUPS 198512 WITH SCORE 199127.077
AT ITER 6670 NEW BEST:: SOT 1458484 SOS 614720 HAS SOPS 614033 HAS SOUS 199052 HAS SOUPS 198365 WITH SCORE 198979.72
AT ITER 6691 NEW BEST:: SOT 1458535 SOS 614673 HAS SOPS 613986 HAS SOUS 198958 HAS SOUPS 198271 WITH SCORE 198885.673
AT ITER 6711 NEW BEST:: SOT 1458511 SOS 614455 HAS SOPS 613768 HAS SOUS 198910 HAS SOUPS 198223 WITH SCORE 198837.455
AT ITER 6724 NEW BEST:: SOT 1458494 SOS 614999 HAS SOPS 614312 HAS SOUS 198880 HAS SOUPS 198193 WITH SCORE 198807.999
AT ITER 6749 NEW BEST:: SOT 1458498 SOS 615003 HAS SOPS 614316 HAS SOUS 198839 HAS SOUPS 198152 WITH SCORE 198767.003
AT ITER 6750 NEW BEST:: SOT 1458060 SOS 614566 HAS SOPS 613878 HAS SOUS 198786 HAS SOUPS 198098 WITH SCORE 198712.566
AT ITER 6751 NEW BEST:: SOT 1458046 SOS 615022 HAS SOPS 614334 HAS SOUS 198758 HAS SOUPS 198070 WITH SCORE 198685.022
AT ITER 6754 NEW BEST:: SOT 1458046 SOS 614597 HAS SOPS 613909 HAS SOUS 198758 HAS SOUPS 198070 WITH SCORE 198684.597
AT ITER 6762 NEW BEST:: SOT 1458046 SOS 614597 HAS SOPS 613909 HAS SOUS 198731 HAS SOUPS 198043 WITH SCORE 198657.597
AT ITER 6775 NEW BEST:: SOT 1458035 SOS 613910 HAS SOPS 613222 HAS SOUS 198709 HAS SOUPS 198021 WITH SCORE 198634.91
AT ITER 6777 NEW BEST:: SOT 1458328 SOS 614218 HAS SOPS 613530 HAS SOUS 198672 HAS SOUPS 197984 WITH SCORE 198598.218
AT ITER 6786 NEW BEST:: SOT 1458232 SOS 614101 HAS SOPS 613413 HAS SOUS 198630 HAS SOUPS 197942 WITH SCORE 198556.101
AT ITER 6792 NEW BEST:: SOT 1457715 SOS 612230 HAS SOPS 611542 HAS SOUS 198623 HAS SOUPS 197935 WITH SCORE 198547.23
AT ITER 6795 NEW BEST:: SOT 1457882 SOS 612391 HAS SOPS 611703 HAS SOUS 198597 HAS SOUPS 197909 WITH SCORE 198521.391
AT ITER 6810 NEW BEST:: SOT 1457822 SOS 612331 HAS SOPS 611643 HAS SOUS 198477 HAS SOUPS 197789 WITH SCORE 198401.331
AT ITER 6815 NEW BEST:: SOT 1457822 SOS 612051 HAS SOPS 611363 HAS SOUS 198460 HAS SOUPS 197772 WITH SCORE 198384.051
AT ITER 6840 NEW BEST:: SOT 1457756 SOS 611655 HAS SOPS 610967 HAS SOUS 198394 HAS SOUPS 197706 WITH SCORE 198317.655
AT ITER 6852 NEW BEST:: SOT 1457756 SOS 611605 HAS SOPS 610917 HAS SOUS 198374 HAS SOUPS 197686 WITH SCORE 198297.605
AT ITER 6882 NEW BEST:: SOT 1457756 SOS 611585 HAS SOPS 610897 HAS SOUS 198374 HAS SOUPS 197686 WITH SCORE 198297.585
AT ITER 6883 NEW BEST:: SOT 1457751 SOS 611575 HAS SOPS 610887 HAS SOUS 198364 HAS SOUPS 197676 WITH SCORE 198287.575
AT ITER 6902 NEW BEST:: SOT 1457565 SOS 611666 HAS SOPS 610978 HAS SOUS 198123 HAS SOUPS 197435 WITH SCORE 198046.666
AT ITER 6911 NEW BEST:: SOT 1457563 SOS 611528 HAS SOPS 610840 HAS SOUS 198119 HAS SOUPS 197431 WITH SCORE 198042.528
AT ITER 6918 NEW BEST:: SOT 1457563 SOS 611228 HAS SOPS 610540 HAS SOUS 198119 HAS SOUPS 197431 WITH SCORE 198042.228
AT ITER 6927 NEW BEST:: SOT 1457446 SOS 611111 HAS SOPS 610423 HAS SOUS 198093 HAS SOUPS 197405 WITH SCORE 198016.111
AT ITER 6940 NEW BEST:: SOT 1457373 SOS 611038 HAS SOPS 610350 HAS SOUS 197947 HAS SOUPS 197259 WITH SCORE 197870.038
AT ITER 6942 NEW BEST:: SOT 1457331 SOS 610996 HAS SOPS 610308 HAS SOUS 197913 HAS SOUPS 197225 WITH SCORE 197835.996
AT ITER 6944 NEW BEST:: SOT 1457132 SOS 610476 HAS SOPS 609788 HAS SOUS 197393 HAS SOUPS 196705 WITH SCORE 197315.476
AT ITER 6956 NEW BEST:: SOT 1457052 SOS 610186 HAS SOPS 609498 HAS SOUS 197327 HAS SOUPS 196639 WITH SCORE 197249.186
AT ITER 7032 NEW BEST:: SOT 1457052 SOS 610206 HAS SOPS 609518 HAS SOUS 197276 HAS SOUPS 196588 WITH SCORE 197198.206
AT ITER 7039 NEW BEST:: SOT 1457054 SOS 610327 HAS SOPS 609639 HAS SOUS 197227 HAS SOUPS 196539 WITH SCORE 197149.327
AT ITER 7043 NEW BEST:: SOT 1457048 SOS 610321 HAS SOPS 609633 HAS SOUS 197215 HAS SOUPS 196527 WITH SCORE 197137.321
AT ITER 7104 NEW BEST:: SOT 1457046 SOS 610319 HAS SOPS 609631 HAS SOUS 197212 HAS SOUPS 196524 WITH SCORE 197134.319
AT ITER 7111 NEW BEST:: SOT 1457058 SOS 610331 HAS SOPS 609643 HAS SOUS 197128 HAS SOUPS 196440 WITH SCORE 197050.331
AT ITER 7129 NEW BEST:: SOT 1456813 SOS 610086 HAS SOPS 609398 HAS SOUS 197000 HAS SOUPS 196312 WITH SCORE 196922.086
AT ITER 7130 NEW BEST:: SOT 1456813 SOS 610077 HAS SOPS 609389 HAS SOUS 196982 HAS SOUPS 196294 WITH SCORE 196904.077
AT ITER 7144 NEW BEST:: SOT 1456795 SOS 610059 HAS SOPS 609371 HAS SOUS 196952 HAS SOUPS 196264 WITH SCORE 196874.059
AT ITER 7187 NEW BEST:: SOT 1456741 SOS 610005 HAS SOPS 609317 HAS SOUS 196858 HAS SOUPS 196170 WITH SCORE 196780.005
AT ITER 7219 NEW BEST:: SOT 1456705 SOS 609769 HAS SOPS 609081 HAS SOUS 196782 HAS SOUPS 196094 WITH SCORE 196703.769
AT ITER 7262 NEW BEST:: SOT 1456655 SOS 609719 HAS SOPS 609031 HAS SOUS 196707 HAS SOUPS 196019 WITH SCORE 196628.719
AT ITER 7301 NEW BEST:: SOT 1456661 SOS 609700 HAS SOPS 609012 HAS SOUS 196702 HAS SOUPS 196014 WITH SCORE 196623.7
AT ITER 7308 NEW BEST:: SOT 1456641 SOS 609580 HAS SOPS 608892 HAS SOUS 196702 HAS SOUPS 196014 WITH SCORE 196623.58
AT ITER 7353 NEW BEST:: SOT 1456426 SOS 609365 HAS SOPS 608677 HAS SOUS 196600 HAS SOUPS 195912 WITH SCORE 196521.365
AT ITER 7356 NEW BEST:: SOT 1456422 SOS 609361 HAS SOPS 608673 HAS SOUS 196600 HAS SOUPS 195912 WITH SCORE 196521.361
AT ITER 7357 NEW BEST:: SOT 1456363 SOS 609538 HAS SOPS 608850 HAS SOUS 196364 HAS SOUPS 195676 WITH SCORE 196285.538
AT ITER 7382 NEW BEST:: SOT 1456363 SOS 609533 HAS SOPS 608845 HAS SOUS 196364 HAS SOUPS 195676 WITH SCORE 196285.533
AT ITER 7418 NEW BEST:: SOT 1456359 SOS 609314 HAS SOPS 608626 HAS SOUS 196346 HAS SOUPS 195658 WITH SCORE 196267.314
AT ITER 7422 NEW BEST:: SOT 1453906 SOS 606861 HAS SOPS 606173 HAS SOUS 193729 HAS SOUPS 193041 WITH SCORE 193647.861
AT ITER 7449 NEW BEST:: SOT 1453876 SOS 606831 HAS SOPS 606143 HAS SOUS 193681 HAS SOUPS 192993 WITH SCORE 193599.831
AT ITER 7467 NEW BEST:: SOT 1454009 SOS 607536 HAS SOPS 606848 HAS SOUS 193661 HAS SOUPS 192973 WITH SCORE 193580.536
AT ITER 7470 NEW BEST:: SOT 1454002 SOS 607529 HAS SOPS 606841 HAS SOUS 193647 HAS SOUPS 192959 WITH SCORE 193566.529
AT ITER 7511 NEW BEST:: SOT 1454013 SOS 607680 HAS SOPS 606992 HAS SOUS 193641 HAS SOUPS 192953 WITH SCORE 193560.68
AT ITER 7531 NEW BEST:: SOT 1453982 SOS 607595 HAS SOPS 606907 HAS SOUS 193447 HAS SOUPS 192759 WITH SCORE 193366.595
AT ITER 7537 NEW BEST:: SOT 1453978 SOS 607583 HAS SOPS 606895 HAS SOUS 193447 HAS SOUPS 192759 WITH SCORE 193366.583
AT ITER 7572 NEW BEST:: SOT 1453970 SOS 606475 HAS SOPS 605787 HAS SOUS 193431 HAS SOUPS 192743 WITH SCORE 193349.475
AT ITER 7573 NEW BEST:: SOT 1453953 SOS 606458 HAS SOPS 605770 HAS SOUS 193397 HAS SOUPS 192709 WITH SCORE 193315.458
AT ITER 7582 NEW BEST:: SOT 1453856 SOS 606361 HAS SOPS 605673 HAS SOUS 193307 HAS SOUPS 192619 WITH SCORE 193225.361
AT ITER 7638 NEW BEST:: SOT 1453835 SOS 606340 HAS SOPS 605652 HAS SOUS 193265 HAS SOUPS 192577 WITH SCORE 193183.34
AT ITER 7671 NEW BEST:: SOT 1453824 SOS 606329 HAS SOPS 605641 HAS SOUS 193265 HAS SOUPS 192577 WITH SCORE 193183.329
AT ITER 7674 NEW BEST:: SOT 1453821 SOS 605948 HAS SOPS 605260 HAS SOUS 193259 HAS SOUPS 192571 WITH SCORE 193176.948
AT ITER 7695 NEW BEST:: SOT 1453711 SOS 605673 HAS SOPS 604985 HAS SOUS 193132 HAS SOUPS 192444 WITH SCORE 193049.673
AT ITER 7699 NEW BEST:: SOT 1453595 SOS 605557 HAS SOPS 604869 HAS SOUS 192900 HAS SOUPS 192212 WITH SCORE 192817.557
AT ITER 7743 NEW BEST:: SOT 1453577 SOS 605503 HAS SOPS 604815 HAS SOUS 192864 HAS SOUPS 192176 WITH SCORE 192781.503
AT ITER 7758 NEW BEST:: SOT 1453472 SOS 604753 HAS SOPS 604065 HAS SOUS 192824 HAS SOUPS 192136 WITH SCORE 192740.753
AT ITER 7795 NEW BEST:: SOT 1453409 SOS 604806 HAS SOPS 604118 HAS SOUS 192761 HAS SOUPS 192073 WITH SCORE 192677.806
AT ITER 7809 NEW BEST:: SOT 1453408 SOS 604816 HAS SOPS 604128 HAS SOUS 192748 HAS SOUPS 192060 WITH SCORE 192664.816
AT ITER 7811 NEW BEST:: SOT 1453372 SOS 604780 HAS SOPS 604092 HAS SOUS 192676 HAS SOUPS 191988 WITH SCORE 192592.78
AT ITER 7815 NEW BEST:: SOT 1453363 SOS 604771 HAS SOPS 604083 HAS SOUS 192658 HAS SOUPS 191970 WITH SCORE 192574.771
AT ITER 7822 NEW BEST:: SOT 1453333 SOS 604731 HAS SOPS 604043 HAS SOUS 192618 HAS SOUPS 191930 WITH SCORE 192534.731
AT ITER 7829 NEW BEST:: SOT 1453333 SOS 604581 HAS SOPS 603893 HAS SOUS 192588 HAS SOUPS 191900 WITH SCORE 192504.581
AT ITER 7835 NEW BEST:: SOT 1453182 SOS 604430 HAS SOPS 603742 HAS SOUS 192588 HAS SOUPS 191900 WITH SCORE 192504.43
AT ITER 7853 NEW BEST:: SOT 1453240 SOS 604488 HAS SOPS 603800 HAS SOUS 192572 HAS SOUPS 191884 WITH SCORE 192488.488
AT ITER 7877 NEW BEST:: SOT 1452976 SOS 604224 HAS SOPS 603536 HAS SOUS 192308 HAS SOUPS 191620 WITH SCORE 192224.224
AT ITER 7902 NEW BEST:: SOT 1452857 SOS 603890 HAS SOPS 603202 HAS SOUS 192236 HAS SOUPS 191548 WITH SCORE 192151.89
AT ITER 7924 NEW BEST:: SOT 1452856 SOS 603870 HAS SOPS 603182 HAS SOUS 192234 HAS SOUPS 191546 WITH SCORE 192149.87
AT ITER 7930 NEW BEST:: SOT 1452798 SOS 603812 HAS SOPS 603124 HAS SOUS 192169 HAS SOUPS 191481 WITH SCORE 192084.812
AT ITER 7942 NEW BEST:: SOT 1452756 SOS 604208 HAS SOPS 603520 HAS SOUS 192085 HAS SOUPS 191397 WITH SCORE 192001.208
AT ITER 7978 NEW BEST:: SOT 1452629 SOS 603491 HAS SOPS 602803 HAS SOUS 191930 HAS SOUPS 191242 WITH SCORE 191845.491
AT ITER 8001 NEW BEST:: SOT 1452600 SOS 603462 HAS SOPS 602774 HAS SOUS 191868 HAS SOUPS 191180 WITH SCORE 191783.462
AT ITER 8022 NEW BEST:: SOT 1452600 SOS 603247 HAS SOPS 602559 HAS SOUS 191823 HAS SOUPS 191135 WITH SCORE 191738.247
AT ITER 8023 NEW BEST:: SOT 1452600 SOS 602902 HAS SOPS 602214 HAS SOUS 191754 HAS SOUPS 191066 WITH SCORE 191668.902
AT ITER 8048 NEW BEST:: SOT 1452585 SOS 602887 HAS SOPS 602199 HAS SOUS 191724 HAS SOUPS 191036 WITH SCORE 191638.887
AT ITER 8069 NEW BEST:: SOT 1452465 SOS 602767 HAS SOPS 602079 HAS SOUS 191563 HAS SOUPS 190875 WITH SCORE 191477.767
AT ITER 8087 NEW BEST:: SOT 1452103 SOS 602405 HAS SOPS 601717 HAS SOUS 191215 HAS SOUPS 190527 WITH SCORE 191129.405
AT ITER 8118 NEW BEST:: SOT 1452041 SOS 602423 HAS SOPS 601735 HAS SOUS 191091 HAS SOUPS 190403 WITH SCORE 191005.423
AT ITER 8150 NEW BEST:: SOT 1451683 SOS 601277 HAS SOPS 600589 HAS SOUS 190676 HAS SOUPS 189988 WITH SCORE 190589.277
AT ITER 8153 NEW BEST:: SOT 1451673 SOS 601474 HAS SOPS 600786 HAS SOUS 190558 HAS SOUPS 189870 WITH SCORE 190471.474
AT ITER 8175 NEW BEST:: SOT 1451563 SOS 601562 HAS SOPS 600874 HAS SOUS 190534 HAS SOUPS 189846 WITH SCORE 190447.562
AT ITER 8212 NEW BEST:: SOT 1451525 SOS 601524 HAS SOPS 600836 HAS SOUS 190496 HAS SOUPS 189808 WITH SCORE 190409.524
AT ITER 8234 NEW BEST:: SOT 1451428 SOS 601427 HAS SOPS 600739 HAS SOUS 190370 HAS SOUPS 189682 WITH SCORE 190283.427
AT ITER 8242 NEW BEST:: SOT 1451406 SOS 601317 HAS SOPS 600629 HAS SOUS 190370 HAS SOUPS 189682 WITH SCORE 190283.317
AT ITER 8263 NEW BEST:: SOT 1451382 SOS 602037 HAS SOPS 601349 HAS SOUS 190322 HAS SOUPS 189634 WITH SCORE 190236.037
AT ITER 8313 NEW BEST:: SOT 1451343 SOS 601998 HAS SOPS 601310 HAS SOUS 190244 HAS SOUPS 189556 WITH SCORE 190157.998
AT ITER 8347 NEW BEST:: SOT 1451322 SOS 601963 HAS SOPS 601275 HAS SOUS 190216 HAS SOUPS 189528 WITH SCORE 190129.963
AT ITER 8349 NEW BEST:: SOT 1451269 SOS 601649 HAS SOPS 600961 HAS SOUS 190110 HAS SOUPS 189422 WITH SCORE 190023.649
AT ITER 8368 NEW BEST:: SOT 1451251 SOS 602206 HAS SOPS 601518 HAS SOUS 190074 HAS SOUPS 189386 WITH SCORE 189988.206
AT ITER 8375 NEW BEST:: SOT 1451251 SOS 602206 HAS SOPS 601518 HAS SOUS 190042 HAS SOUPS 189354 WITH SCORE 189956.206
AT ITER 8378 NEW BEST:: SOT 1451307 SOS 596022 HAS SOPS 595334 HAS SOUS 190042 HAS SOUPS 189354 WITH SCORE 189950.022
AT ITER 8386 NEW BEST:: SOT 1451307 SOS 595807 HAS SOPS 595119 HAS SOUS 190042 HAS SOUPS 189354 WITH SCORE 189949.807
AT ITER 8422 NEW BEST:: SOT 1448028 SOS 594322 HAS SOPS 593634 HAS SOUS 189969 HAS SOUPS 189281 WITH SCORE 189875.322
AT ITER 8439 NEW BEST:: SOT 1448028 SOS 594212 HAS SOPS 593524 HAS SOUS 189947 HAS SOUPS 189259 WITH SCORE 189853.212
AT ITER 8481 NEW BEST:: SOT 1447946 SOS 594130 HAS SOPS 593442 HAS SOUS 189882 HAS SOUPS 189194 WITH SCORE 189788.13
AT ITER 8482 NEW BEST:: SOT 1447776 SOS 593960 HAS SOPS 593272 HAS SOUS 189716 HAS SOUPS 189028 WITH SCORE 189621.96
AT ITER 8497 NEW BEST:: SOT 1447742 SOS 594126 HAS SOPS 593438 HAS SOUS 189648 HAS SOUPS 188960 WITH SCORE 189554.126
AT ITER 8521 NEW BEST:: SOT 1447742 SOS 594126 HAS SOPS 593438 HAS SOUS 189630 HAS SOUPS 188942 WITH SCORE 189536.126
AT ITER 8544 NEW BEST:: SOT 1447617 SOS 593871 HAS SOPS 593183 HAS SOUS 189476 HAS SOUPS 188788 WITH SCORE 189381.871
AT ITER 8559 NEW BEST:: SOT 1447568 SOS 593822 HAS SOPS 593134 HAS SOUS 189456 HAS SOUPS 188768 WITH SCORE 189361.822
AT ITER 8576 NEW BEST:: SOT 1447427 SOS 593681 HAS SOPS 592993 HAS SOUS 189279 HAS SOUPS 188591 WITH SCORE 189184.681
AT ITER 8590 NEW BEST:: SOT 1447421 SOS 593675 HAS SOPS 592987 HAS SOUS 189269 HAS SOUPS 188581 WITH SCORE 189174.675
AT ITER 8614 NEW BEST:: SOT 1447417 SOS 593671 HAS SOPS 592983 HAS SOUS 189269 HAS SOUPS 188581 WITH SCORE 189174.671
AT ITER 8624 NEW BEST:: SOT 1447276 SOS 593530 HAS SOPS 592842 HAS SOUS 189191 HAS SOUPS 188503 WITH SCORE 189096.53
AT ITER 8636 NEW BEST:: SOT 1447279 SOS 593692 HAS SOPS 593004 HAS SOUS 189182 HAS SOUPS 188494 WITH SCORE 189087.692
AT ITER 8641 NEW BEST:: SOT 1447275 SOS 593676 HAS SOPS 592988 HAS SOUS 189174 HAS SOUPS 188486 WITH SCORE 189079.676
AT ITER 8643 NEW BEST:: SOT 1447249 SOS 593650 HAS SOPS 592962 HAS SOUS 189122 HAS SOUPS 188434 WITH SCORE 189027.65
AT ITER 8655 NEW BEST:: SOT 1447249 SOS 593650 HAS SOPS 592962 HAS SOUS 189110 HAS SOUPS 188422 WITH SCORE 189015.65
AT ITER 8666 NEW BEST:: SOT 1447209 SOS 593610 HAS SOPS 592922 HAS SOUS 189057 HAS SOUPS 188369 WITH SCORE 188962.61
AT ITER 8686 NEW BEST:: SOT 1447226 SOS 593852 HAS SOPS 593164 HAS SOUS 189046 HAS SOUPS 188358 WITH SCORE 188951.852
AT ITER 8697 NEW BEST:: SOT 1447192 SOS 593818 HAS SOPS 593130 HAS SOUS 188944 HAS SOUPS 188256 WITH SCORE 188849.818
AT ITER 8698 NEW BEST:: SOT 1447269 SOS 593886 HAS SOPS 593198 HAS SOUS 188926 HAS SOUPS 188238 WITH SCORE 188831.886
AT ITER 8699 NEW BEST:: SOT 1446491 SOS 593156 HAS SOPS 592468 HAS SOUS 188820 HAS SOUPS 188132 WITH SCORE 188725.156
AT ITER 8774 NEW BEST:: SOT 1446428 SOS 593093 HAS SOPS 592405 HAS SOUS 188808 HAS SOUPS 188120 WITH SCORE 188713.093
AT ITER 8775 NEW BEST:: SOT 1446404 SOS 593069 HAS SOPS 592381 HAS SOUS 188737 HAS SOUPS 188049 WITH SCORE 188642.069
AT ITER 8777 NEW BEST:: SOT 1446376 SOS 593041 HAS SOPS 592353 HAS SOUS 188709 HAS SOUPS 188021 WITH SCORE 188614.041
AT ITER 8817 NEW BEST:: SOT 1446375 SOS 592665 HAS SOPS 591977 HAS SOUS 188707 HAS SOUPS 188019 WITH SCORE 188611.665
AT ITER 8819 NEW BEST:: SOT 1446358 SOS 592634 HAS SOPS 591946 HAS SOUS 188673 HAS SOUPS 187985 WITH SCORE 188577.634
AT ITER 8824 NEW BEST:: SOT 1446298 SOS 592002 HAS SOPS 591314 HAS SOUS 188553 HAS SOUPS 187865 WITH SCORE 188457.002
AT ITER 8835 NEW BEST:: SOT 1446158 SOS 585952 HAS SOPS 585264 HAS SOUS 188405 HAS SOUPS 187717 WITH SCORE 188302.952
AT ITER 8838 NEW BEST:: SOT 1446157 SOS 585815 HAS SOPS 585127 HAS SOUS 188403 HAS SOUPS 187715 WITH SCORE 188300.815
AT ITER 8851 NEW BEST:: SOT 1446137 SOS 585840 HAS SOPS 585152 HAS SOUS 188392 HAS SOUPS 187704 WITH SCORE 188289.84
AT ITER 8854 NEW BEST:: SOT 1446049 SOS 584854 HAS SOPS 584166 HAS SOUS 188326 HAS SOUPS 187638 WITH SCORE 188222.854
AT ITER 8873 NEW BEST:: SOT 1446024 SOS 584829 HAS SOPS 584141 HAS SOUS 188316 HAS SOUPS 187628 WITH SCORE 188212.829
AT ITER 8912 NEW BEST:: SOT 1446007 SOS 584812 HAS SOPS 584124 HAS SOUS 188282 HAS SOUPS 187594 WITH SCORE 188178.812
AT ITER 8949 NEW BEST:: SOT 1446007 SOS 584812 HAS SOPS 584124 HAS SOUS 188278 HAS SOUPS 187590 WITH SCORE 188174.812
AT ITER 8978 NEW BEST:: SOT 1446011 SOS 584816 HAS SOPS 584128 HAS SOUS 188267 HAS SOUPS 187579 WITH SCORE 188163.816
AT ITER 8979 NEW BEST:: SOT 1445933 SOS 584618 HAS SOPS 583930 HAS SOUS 188231 HAS SOUPS 187543 WITH SCORE 188127.618
AT ITER 8989 NEW BEST:: SOT 1445933 SOS 583958 HAS SOPS 583270 HAS SOUS 188099 HAS SOUPS 187411 WITH SCORE 187994.958
AT ITER 8993 NEW BEST:: SOT 1445900 SOS 583943 HAS SOPS 583255 HAS SOUS 188096 HAS SOUPS 187408 WITH SCORE 187991.943
AT ITER 9003 NEW BEST:: SOT 1445874 SOS 583917 HAS SOPS 583229 HAS SOUS 188057 HAS SOUPS 187369 WITH SCORE 187952.917
AT ITER 9005 NEW BEST:: SOT 1445874 SOS 583697 HAS SOPS 583009 HAS SOUS 188057 HAS SOUPS 187369 WITH SCORE 187952.697
AT ITER 9033 NEW BEST:: SOT 1445831 SOS 583654 HAS SOPS 582966 HAS SOUS 188014 HAS SOUPS 187326 WITH SCORE 187909.654
AT ITER 9047 NEW BEST:: SOT 1445831 SOS 583654 HAS SOPS 582966 HAS SOUS 187990 HAS SOUPS 187302 WITH SCORE 187885.654
AT ITER 9069 NEW BEST:: SOT 1445829 SOS 583652 HAS SOPS 582964 HAS SOUS 187990 HAS SOUPS 187302 WITH SCORE 187885.652
AT ITER 9108 NEW BEST:: SOT 1445670 SOS 583493 HAS SOPS 582805 HAS SOUS 187984 HAS SOUPS 187296 WITH SCORE 187879.493
AT ITER 9114 NEW BEST:: SOT 1445647 SOS 583470 HAS SOPS 582782 HAS SOUS 187919 HAS SOUPS 187231 WITH SCORE 187814.47
AT ITER 9135 NEW BEST:: SOT 1445614 SOS 583437 HAS SOPS 582749 HAS SOUS 187875 HAS SOUPS 187187 WITH SCORE 187770.437
AT ITER 9173 NEW BEST:: SOT 1445510 SOS 583333 HAS SOPS 582645 HAS SOUS 187816 HAS SOUPS 187128 WITH SCORE 187711.333
AT ITER 9204 NEW BEST:: SOT 1445399 SOS 584210 HAS SOPS 583522 HAS SOUS 187594 HAS SOUPS 186906 WITH SCORE 187490.21
AT ITER 9207 NEW BEST:: SOT 1445399 SOS 584650 HAS SOPS 583962 HAS SOUS 187418 HAS SOUPS 186730 WITH SCORE 187314.65
AT ITER 9231 NEW BEST:: SOT 1445393 SOS 584644 HAS SOPS 583956 HAS SOUS 187409 HAS SOUPS 186721 WITH SCORE 187305.644
AT ITER 9245 NEW BEST:: SOT 1445323 SOS 584264 HAS SOPS 583576 HAS SOUS 187393 HAS SOUPS 186705 WITH SCORE 187289.264
AT ITER 9246 NEW BEST:: SOT 1445308 SOS 583819 HAS SOPS 583131 HAS SOUS 187277 HAS SOUPS 186589 WITH SCORE 187172.819
AT ITER 9254 NEW BEST:: SOT 1445289 SOS 583800 HAS SOPS 583112 HAS SOUS 187277 HAS SOUPS 186589 WITH SCORE 187172.8
AT ITER 9258 NEW BEST:: SOT 1445289 SOS 583800 HAS SOPS 583112 HAS SOUS 187269 HAS SOUPS 186581 WITH SCORE 187164.8
AT ITER 9280 NEW BEST:: SOT 1445229 SOS 583800 HAS SOPS 583112 HAS SOUS 187179 HAS SOUPS 186491 WITH SCORE 187074.8
AT ITER 9283 NEW BEST:: SOT 1445083 SOS 583654 HAS SOPS 583039 HAS SOUS 187033 HAS SOUPS 186418 WITH SCORE 187001.654
AT ITER 9311 NEW BEST:: SOT 1445066 SOS 583637 HAS SOPS 583022 HAS SOUS 186995 HAS SOUPS 186380 WITH SCORE 186963.637
AT ITER 9377 NEW BEST:: SOT 1444914 SOS 581843 HAS SOPS 581228 HAS SOUS 186691 HAS SOUPS 186076 WITH SCORE 186657.843
AT ITER 9380 NEW BEST:: SOT 1444892 SOS 581821 HAS SOPS 581206 HAS SOUS 186669 HAS SOUPS 186054 WITH SCORE 186635.821
AT ITER 9399 NEW BEST:: SOT 1444884 SOS 581897 HAS SOPS 581282 HAS SOUS 186653 HAS SOUPS 186038 WITH SCORE 186619.897
AT ITER 9423 NEW BEST:: SOT 1444936 SOS 581949 HAS SOPS 581334 HAS SOUS 186647 HAS SOUPS 186032 WITH SCORE 186613.949
AT ITER 9441 NEW BEST:: SOT 1445056 SOS 582069 HAS SOPS 581454 HAS SOUS 186631 HAS SOUPS 186016 WITH SCORE 186598.069
AT ITER 9459 NEW BEST:: SOT 1445052 SOS 582061 HAS SOPS 581446 HAS SOUS 186611 HAS SOUPS 185996 WITH SCORE 186578.061
AT ITER 9504 NEW BEST:: SOT 1445052 SOS 582041 HAS SOPS 581426 HAS SOUS 186611 HAS SOUPS 185996 WITH SCORE 186578.041
AT ITER 9513 NEW BEST:: SOT 1445046 SOS 582035 HAS SOPS 581420 HAS SOUS 186605 HAS SOUPS 185990 WITH SCORE 186572.035
AT ITER 9529 NEW BEST:: SOT 1445046 SOS 581657 HAS SOPS 581042 HAS SOUS 186605 HAS SOUPS 185990 WITH SCORE 186571.657
AT ITER 9536 NEW BEST:: SOT 1444983 SOS 581594 HAS SOPS 580979 HAS SOUS 186479 HAS SOUPS 185864 WITH SCORE 186445.594
AT ITER 9565 NEW BEST:: SOT 1444816 SOS 581092 HAS SOPS 580477 HAS SOUS 186279 HAS SOUPS 185664 WITH SCORE 186245.092
AT ITER 9603 NEW BEST:: SOT 1444795 SOS 581071 HAS SOPS 580456 HAS SOUS 186237 HAS SOUPS 185622 WITH SCORE 186203.071
AT ITER 9711 NEW BEST:: SOT 1444875 SOS 581151 HAS SOPS 580536 HAS SOUS 186183 HAS SOUPS 185568 WITH SCORE 186149.151
AT ITER 9729 NEW BEST:: SOT 1444875 SOS 581118 HAS SOPS 580503 HAS SOUS 186183 HAS SOUPS 185568 WITH SCORE 186149.118
AT ITER 9764 NEW BEST:: SOT 1444390 SOS 580633 HAS SOPS 580018 HAS SOUS 185583 HAS SOUPS 184968 WITH SCORE 185548.633
AT ITER 9816 NEW BEST:: SOT 1444327 SOS 580905 HAS SOPS 580290 HAS SOUS 185457 HAS SOUPS 184842 WITH SCORE 185422.905
AT ITER 9828 NEW BEST:: SOT 1444146 SOS 579999 HAS SOPS 579384 HAS SOUS 185385 HAS SOUPS 184770 WITH SCORE 185349.999
AT ITER 9870 NEW BEST:: SOT 1444127 SOS 579980 HAS SOPS 579365 HAS SOUS 185341 HAS SOUPS 184726 WITH SCORE 185305.98
AT ITER 9872 NEW BEST:: SOT 1444055 SOS 579548 HAS SOPS 578933 HAS SOUS 185197 HAS SOUPS 184582 WITH SCORE 185161.548
AT ITER 9884 NEW BEST:: SOT 1444018 SOS 579474 HAS SOPS 578859 HAS SOUS 185123 HAS SOUPS 184508 WITH SCORE 185087.474
AT ITER 9887 NEW BEST:: SOT 1444014 SOS 579470 HAS SOPS 578855 HAS SOUS 185116 HAS SOUPS 184501 WITH SCORE 185080.47
AT ITER 9937 NEW BEST:: SOT 1443964 SOS 579120 HAS SOPS 578505 HAS SOUS 185116 HAS SOUPS 184501 WITH SCORE 185080.12
AT ITER 9951 NEW BEST:: SOT 1443984 SOS 579140 HAS SOPS 578525 HAS SOUS 185111 HAS SOUPS 184496 WITH SCORE 185075.14
AT ITER 9962 NEW BEST:: SOT 1443782 SOS 578938 HAS SOPS 578323 HAS SOUS 184884 HAS SOUPS 184269 WITH SCORE 184847.938
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 7610632 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16116904 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBNT-COL-S05J60"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is PolyORBNT-COL-S05J60, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r299-tall-167873953300664"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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