Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 8.9K Feb 26 00:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 00:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 00:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 00:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 01:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 26 01:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 01:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 01:07 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 93K 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 1678810832588

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBNT-COL-S10J30
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 16:20:35] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 16:20:35] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 16:20:35] [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-14 16:20:36] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 16:20:36] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 932 ms
[2023-03-14 16:20:36] [INFO ] Imported 48 HL places and 38 HL transitions for a total of 694 PT places and 12142.0 transition bindings in 47 ms.
[2023-03-14 16:20:37] [INFO ] Unfolded HLPN to a Petri net with 694 places and 12080 transitions 112619 arcs in 402 ms.
[2023-03-14 16:20:37] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 30 places and 30 transitions.
Ensure Unique test removed 10110 transitions
Reduce isomorphic transitions removed 10110 transitions.
[2023-03-14 16:20:37] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 664 places, 1940 transitions and 13349 arcs took 59 ms.
Total runtime 2064 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (COL), instance S10J30
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 664 places, 1940 transitions, 13349 arcs.
AT ITER 0 NEW BEST:: SOT 806734 SOS 649027 HAS SOPS 648967 HAS SOUS 568483 HAS SOUPS 568477 WITH SCORE 569126.027
AT ITER 4 NEW BEST:: SOT 806589 SOS 648737 HAS SOPS 648677 HAS SOUS 568338 HAS SOUPS 568332 WITH SCORE 568980.737
AT ITER 10 NEW BEST:: SOT 806589 SOS 648716 HAS SOPS 648656 HAS SOUS 568317 HAS SOUPS 568311 WITH SCORE 568959.716
AT ITER 15 NEW BEST:: SOT 806840 SOS 646857 HAS SOPS 646797 HAS SOUS 568316 HAS SOUPS 568310 WITH SCORE 568956.857
AT ITER 17 NEW BEST:: SOT 806829 SOS 646846 HAS SOPS 646786 HAS SOUS 568305 HAS SOUPS 568299 WITH SCORE 568945.846
AT ITER 23 NEW BEST:: SOT 806566 SOS 646645 HAS SOPS 646585 HAS SOUS 568101 HAS SOUPS 568095 WITH SCORE 568741.645
AT ITER 36 NEW BEST:: SOT 806401 SOS 646590 HAS SOPS 646530 HAS SOUS 568039 HAS SOUPS 568033 WITH SCORE 568679.59
AT ITER 37 NEW BEST:: SOT 806393 SOS 646574 HAS SOPS 646514 HAS SOUS 568031 HAS SOUPS 568025 WITH SCORE 568671.574
AT ITER 38 NEW BEST:: SOT 807145 SOS 645990 HAS SOPS 645855 HAS SOUS 567513 HAS SOUPS 567495 WITH SCORE 568140.99
AT ITER 39 NEW BEST:: SOT 807098 SOS 645896 HAS SOPS 645761 HAS SOUS 567466 HAS SOUPS 567448 WITH SCORE 568093.896
AT ITER 51 NEW BEST:: SOT 807081 SOS 645862 HAS SOPS 645727 HAS SOUS 567448 HAS SOUPS 567430 WITH SCORE 568075.862
AT ITER 56 NEW BEST:: SOT 807476 SOS 646503 HAS SOPS 646358 HAS SOUS 540694 HAS SOUPS 540668 WITH SCORE 541314.503
AT ITER 68 NEW BEST:: SOT 807513 SOS 646503 HAS SOPS 646358 HAS SOUS 540632 HAS SOUPS 540606 WITH SCORE 541252.503
AT ITER 71 NEW BEST:: SOT 807462 SOS 646401 HAS SOPS 646256 HAS SOUS 540581 HAS SOUPS 540555 WITH SCORE 541201.401
AT ITER 72 NEW BEST:: SOT 807375 SOS 646321 HAS SOPS 646176 HAS SOUS 540500 HAS SOUPS 540474 WITH SCORE 541120.321
AT ITER 84 NEW BEST:: SOT 807223 SOS 646269 HAS SOPS 646124 HAS SOUS 540439 HAS SOUPS 540413 WITH SCORE 541059.269
AT ITER 97 NEW BEST:: SOT 806953 SOS 645729 HAS SOPS 645584 HAS SOUS 540169 HAS SOUPS 540143 WITH SCORE 540788.729
AT ITER 99 NEW BEST:: SOT 807152 SOS 645970 HAS SOPS 645815 HAS SOUS 482568 HAS SOUPS 482542 WITH SCORE 483187.97
AT ITER 101 NEW BEST:: SOT 807152 SOS 640158 HAS SOPS 640003 HAS SOUS 482568 HAS SOUPS 482542 WITH SCORE 483182.158
AT ITER 103 NEW BEST:: SOT 807189 SOS 638697 HAS SOPS 638532 HAS SOUS 477802 HAS SOUPS 477776 WITH SCORE 478414.697
AT ITER 105 NEW BEST:: SOT 807257 SOS 638697 HAS SOPS 638532 HAS SOUS 477794 HAS SOUPS 477768 WITH SCORE 478406.697
AT ITER 112 NEW BEST:: SOT 807122 SOS 638427 HAS SOPS 638262 HAS SOUS 477659 HAS SOUPS 477633 WITH SCORE 478271.427
AT ITER 122 NEW BEST:: SOT 806922 SOS 638329 HAS SOPS 638164 HAS SOUS 477493 HAS SOUPS 477467 WITH SCORE 478105.329
AT ITER 124 NEW BEST:: SOT 806806 SOS 636813 HAS SOPS 636648 HAS SOUS 475977 HAS SOUPS 475951 WITH SCORE 476587.813
AT ITER 133 NEW BEST:: SOT 834494 SOS 663295 HAS SOPS 663120 HAS SOUS 455411 HAS SOUPS 455385 WITH SCORE 456048.295
AT ITER 144 NEW BEST:: SOT 834354 SOS 663237 HAS SOPS 663062 HAS SOUS 455349 HAS SOUPS 455323 WITH SCORE 455986.237
AT ITER 149 NEW BEST:: SOT 834315 SOS 662808 HAS SOPS 662633 HAS SOUS 454960 HAS SOUPS 454934 WITH SCORE 455596.808
AT ITER 154 NEW BEST:: SOT 834291 SOS 662760 HAS SOPS 662585 HAS SOUS 454936 HAS SOUPS 454910 WITH SCORE 455572.76
AT ITER 155 NEW BEST:: SOT 834273 SOS 661305 HAS SOPS 661130 HAS SOUS 454617 HAS SOUPS 454591 WITH SCORE 455252.305
AT ITER 163 NEW BEST:: SOT 834243 SOS 661245 HAS SOPS 661070 HAS SOUS 454587 HAS SOUPS 454561 WITH SCORE 455222.245
AT ITER 167 NEW BEST:: SOT 834196 SOS 661151 HAS SOPS 660976 HAS SOUS 454569 HAS SOUPS 454543 WITH SCORE 455204.151
AT ITER 169 NEW BEST:: SOT 834196 SOS 661151 HAS SOPS 660976 HAS SOUS 454544 HAS SOUPS 454518 WITH SCORE 455179.151
AT ITER 172 NEW BEST:: SOT 834171 SOS 661101 HAS SOPS 660926 HAS SOUS 454519 HAS SOUPS 454493 WITH SCORE 455154.101
AT ITER 174 NEW BEST:: SOT 833966 SOS 660933 HAS SOPS 660758 HAS SOUS 454340 HAS SOUPS 454314 WITH SCORE 454974.933
AT ITER 186 NEW BEST:: SOT 833708 SOS 659367 HAS SOPS 659192 HAS SOUS 453794 HAS SOUPS 453768 WITH SCORE 454427.367
AT ITER 193 NEW BEST:: SOT 833691 SOS 658603 HAS SOPS 658428 HAS SOUS 453507 HAS SOUPS 453481 WITH SCORE 454139.603
AT ITER 199 NEW BEST:: SOT 833691 SOS 658531 HAS SOPS 658356 HAS SOUS 453427 HAS SOUPS 453401 WITH SCORE 454059.531
AT ITER 200 NEW BEST:: SOT 833228 SOS 658132 HAS SOPS 657957 HAS SOUS 452969 HAS SOUPS 452943 WITH SCORE 453601.132
AT ITER 207 NEW BEST:: SOT 833324 SOS 657047 HAS SOPS 656872 HAS SOUS 452765 HAS SOUPS 452739 WITH SCORE 453396.047
AT ITER 217 NEW BEST:: SOT 849155 SOS 673020 HAS SOPS 672845 HAS SOUS 427621 HAS SOUPS 427595 WITH SCORE 428268.02
AT ITER 220 NEW BEST:: SOT 849283 SOS 673050 HAS SOPS 672875 HAS SOUS 427539 HAS SOUPS 427513 WITH SCORE 428186.05
AT ITER 223 NEW BEST:: SOT 849279 SOS 673046 HAS SOPS 672871 HAS SOUS 427535 HAS SOUPS 427509 WITH SCORE 428182.046
AT ITER 232 NEW BEST:: SOT 849279 SOS 673046 HAS SOPS 672871 HAS SOUS 427534 HAS SOUPS 427508 WITH SCORE 428181.046
AT ITER 237 NEW BEST:: SOT 849279 SOS 672805 HAS SOPS 672630 HAS SOUS 427534 HAS SOUPS 427508 WITH SCORE 428180.805
AT ITER 239 NEW BEST:: SOT 849228 SOS 672703 HAS SOPS 672528 HAS SOUS 427516 HAS SOUPS 427490 WITH SCORE 428162.703
AT ITER 242 NEW BEST:: SOT 849056 SOS 672359 HAS SOPS 672184 HAS SOUS 427344 HAS SOUPS 427318 WITH SCORE 427990.359
AT ITER 263 NEW BEST:: SOT 849047 SOS 672353 HAS SOPS 672178 HAS SOUS 427338 HAS SOUPS 427312 WITH SCORE 427984.353
AT ITER 264 NEW BEST:: SOT 849087 SOS 671640 HAS SOPS 671465 HAS SOUS 427127 HAS SOUPS 427101 WITH SCORE 427772.64
AT ITER 266 NEW BEST:: SOT 849056 SOS 671542 HAS SOPS 671367 HAS SOUS 427096 HAS SOUPS 427070 WITH SCORE 427741.542
AT ITER 268 NEW BEST:: SOT 848996 SOS 671376 HAS SOPS 671201 HAS SOUS 427055 HAS SOUPS 427029 WITH SCORE 427700.376
AT ITER 285 NEW BEST:: SOT 848977 SOS 671338 HAS SOPS 671163 HAS SOUS 427036 HAS SOUPS 427010 WITH SCORE 427681.338
AT ITER 288 NEW BEST:: SOT 848977 SOS 671086 HAS SOPS 670911 HAS SOUS 426756 HAS SOUPS 426730 WITH SCORE 427401.086
AT ITER 290 NEW BEST:: SOT 848714 SOS 670909 HAS SOPS 670734 HAS SOUS 426574 HAS SOUPS 426548 WITH SCORE 427218.909
AT ITER 314 NEW BEST:: SOT 848805 SOS 670353 HAS SOPS 670178 HAS SOUS 426397 HAS SOUPS 426371 WITH SCORE 427041.353
AT ITER 317 NEW BEST:: SOT 849157 SOS 666811 HAS SOPS 666626 HAS SOUS 364059 HAS SOUPS 364033 WITH SCORE 364699.811
AT ITER 319 NEW BEST:: SOT 848849 SOS 667257 HAS SOPS 667072 HAS SOUS 363864 HAS SOUPS 363838 WITH SCORE 364505.257
AT ITER 326 NEW BEST:: SOT 848763 SOS 667262 HAS SOPS 667077 HAS SOUS 363826 HAS SOUPS 363800 WITH SCORE 364467.262
AT ITER 335 NEW BEST:: SOT 848648 SOS 667002 HAS SOPS 666817 HAS SOUS 363674 HAS SOUPS 363648 WITH SCORE 364315.002
AT ITER 337 NEW BEST:: SOT 848512 SOS 666892 HAS SOPS 666707 HAS SOUS 363554 HAS SOUPS 363528 WITH SCORE 364194.892
AT ITER 345 NEW BEST:: SOT 848620 SOS 660480 HAS SOPS 660285 HAS SOUS 350869 HAS SOUPS 350843 WITH SCORE 351503.48
AT ITER 347 NEW BEST:: SOT 851585 SOS 655354 HAS SOPS 655149 HAS SOUS 305834 HAS SOUPS 305808 WITH SCORE 306463.354
AT ITER 348 NEW BEST:: SOT 851634 SOS 655377 HAS SOPS 655172 HAS SOUS 305761 HAS SOUPS 305735 WITH SCORE 306390.377
AT ITER 349 NEW BEST:: SOT 851642 SOS 655066 HAS SOPS 654861 HAS SOUS 305564 HAS SOUPS 305538 WITH SCORE 306193.066
AT ITER 366 NEW BEST:: SOT 851512 SOS 654806 HAS SOPS 654601 HAS SOUS 305438 HAS SOUPS 305412 WITH SCORE 306066.806
AT ITER 377 NEW BEST:: SOT 851482 SOS 654798 HAS SOPS 654593 HAS SOUS 305430 HAS SOUPS 305404 WITH SCORE 306058.798
AT ITER 394 NEW BEST:: SOT 846178 SOS 649470 HAS SOPS 649265 HAS SOUS 300126 HAS SOUPS 300100 WITH SCORE 300749.47
AT ITER 406 NEW BEST:: SOT 846231 SOS 649470 HAS SOPS 649265 HAS SOUS 300048 HAS SOUPS 300022 WITH SCORE 300671.47
AT ITER 411 NEW BEST:: SOT 846242 SOS 647127 HAS SOPS 646923 HAS SOUS 299925 HAS SOUPS 299899 WITH SCORE 300546.127
AT ITER 415 NEW BEST:: SOT 846464 SOS 637273 HAS SOPS 637069 HAS SOUS 280687 HAS SOUPS 280661 WITH SCORE 281298.273
AT ITER 421 NEW BEST:: SOT 846522 SOS 637273 HAS SOPS 637069 HAS SOUS 280606 HAS SOUPS 280580 WITH SCORE 281217.273
AT ITER 428 NEW BEST:: SOT 860066 SOS 636129 HAS SOPS 635915 HAS SOUS 266698 HAS SOUPS 266670 WITH SCORE 267306.129
AT ITER 432 NEW BEST:: SOT 860048 SOS 635175 HAS SOPS 634961 HAS SOUS 266380 HAS SOUPS 266352 WITH SCORE 266987.175
AT ITER 436 NEW BEST:: SOT 859918 SOS 632207 HAS SOPS 631993 HAS SOUS 264730 HAS SOUPS 264702 WITH SCORE 265334.207
AT ITER 438 NEW BEST:: SOT 860122 SOS 632156 HAS SOPS 631942 HAS SOUS 264457 HAS SOUPS 264429 WITH SCORE 265061.156
AT ITER 448 NEW BEST:: SOT 859967 SOS 630221 HAS SOPS 630007 HAS SOUS 264002 HAS SOUPS 263974 WITH SCORE 264604.221
AT ITER 449 NEW BEST:: SOT 859951 SOS 630189 HAS SOPS 629975 HAS SOUS 263986 HAS SOUPS 263958 WITH SCORE 264588.189
AT ITER 460 NEW BEST:: SOT 860053 SOS 630189 HAS SOPS 629975 HAS SOUS 263939 HAS SOUPS 263911 WITH SCORE 264541.189
AT ITER 517 NEW BEST:: SOT 860969 SOS 631034 HAS SOPS 630820 HAS SOUS 263742 HAS SOUPS 263714 WITH SCORE 264345.034
AT ITER 518 NEW BEST:: SOT 860789 SOS 630940 HAS SOPS 630726 HAS SOUS 263609 HAS SOUPS 263581 WITH SCORE 264211.94
AT ITER 533 NEW BEST:: SOT 860789 SOS 630920 HAS SOPS 630706 HAS SOUS 263595 HAS SOUPS 263567 WITH SCORE 264197.92
AT ITER 562 NEW BEST:: SOT 860902 SOS 631058 HAS SOPS 630844 HAS SOUS 263571 HAS SOUPS 263543 WITH SCORE 264174.058
AT ITER 566 NEW BEST:: SOT 860956 SOS 632417 HAS SOPS 632203 HAS SOUS 263500 HAS SOUPS 263472 WITH SCORE 264104.417
AT ITER 572 NEW BEST:: SOT 861093 SOS 632554 HAS SOPS 632340 HAS SOUS 257666 HAS SOUPS 257638 WITH SCORE 258270.554
AT ITER 589 NEW BEST:: SOT 861150 SOS 632554 HAS SOPS 632340 HAS SOUS 257584 HAS SOUPS 257556 WITH SCORE 258188.554
AT ITER 590 NEW BEST:: SOT 861126 SOS 632143 HAS SOPS 631929 HAS SOUS 257290 HAS SOUPS 257262 WITH SCORE 257894.143
AT ITER 594 NEW BEST:: SOT 861387 SOS 630833 HAS SOPS 630619 HAS SOUS 257288 HAS SOUPS 257260 WITH SCORE 257890.833
AT ITER 595 NEW BEST:: SOT 861521 SOS 630883 HAS SOPS 630669 HAS SOUS 257209 HAS SOUPS 257181 WITH SCORE 257811.883
AT ITER 623 NEW BEST:: SOT 861417 SOS 628467 HAS SOPS 628253 HAS SOUS 254312 HAS SOUPS 254284 WITH SCORE 254912.467
AT ITER 626 NEW BEST:: SOT 861166 SOS 628342 HAS SOPS 628128 HAS SOUS 254187 HAS SOUPS 254159 WITH SCORE 254787.342
AT ITER 629 NEW BEST:: SOT 861166 SOS 628342 HAS SOPS 628128 HAS SOUS 254185 HAS SOUPS 254157 WITH SCORE 254785.342
AT ITER 639 NEW BEST:: SOT 861124 SOS 628258 HAS SOPS 628044 HAS SOUS 254143 HAS SOUPS 254115 WITH SCORE 254743.258
AT ITER 645 NEW BEST:: SOT 860930 SOS 628064 HAS SOPS 627850 HAS SOUS 253985 HAS SOUPS 253957 WITH SCORE 254585.064
AT ITER 646 NEW BEST:: SOT 860782 SOS 627916 HAS SOPS 627702 HAS SOUS 253825 HAS SOUPS 253797 WITH SCORE 254424.916
AT ITER 655 NEW BEST:: SOT 860860 SOS 627994 HAS SOPS 627780 HAS SOUS 253788 HAS SOUPS 253760 WITH SCORE 254387.994
AT ITER 656 NEW BEST:: SOT 860833 SOS 627967 HAS SOPS 627753 HAS SOUS 253761 HAS SOUPS 253733 WITH SCORE 254360.967
AT ITER 672 NEW BEST:: SOT 860688 SOS 627876 HAS SOPS 627662 HAS SOUS 253669 HAS SOUPS 253641 WITH SCORE 254268.876
AT ITER 683 NEW BEST:: SOT 860624 SOS 627812 HAS SOPS 627598 HAS SOUS 253573 HAS SOUPS 253545 WITH SCORE 254172.812
AT ITER 688 NEW BEST:: SOT 860624 SOS 627749 HAS SOPS 627535 HAS SOUS 253503 HAS SOUPS 253475 WITH SCORE 254102.749
AT ITER 689 NEW BEST:: SOT 860552 SOS 627677 HAS SOPS 627463 HAS SOUS 253481 HAS SOUPS 253453 WITH SCORE 254080.677
AT ITER 711 NEW BEST:: SOT 860552 SOS 627764 HAS SOPS 627550 HAS SOUS 253479 HAS SOUPS 253451 WITH SCORE 254078.764
AT ITER 715 NEW BEST:: SOT 860540 SOS 627740 HAS SOPS 627526 HAS SOUS 253462 HAS SOUPS 253434 WITH SCORE 254061.74
AT ITER 718 NEW BEST:: SOT 861172 SOS 626241 HAS SOPS 626027 HAS SOUS 252555 HAS SOUPS 252527 WITH SCORE 253153.241
AT ITER 731 NEW BEST:: SOT 861172 SOS 626245 HAS SOPS 626031 HAS SOUS 252539 HAS SOUPS 252511 WITH SCORE 253137.245
AT ITER 756 NEW BEST:: SOT 861152 SOS 626235 HAS SOPS 626021 HAS SOUS 252521 HAS SOUPS 252493 WITH SCORE 253119.235
AT ITER 767 NEW BEST:: SOT 861279 SOS 626362 HAS SOPS 626148 HAS SOUS 244864 HAS SOUPS 244836 WITH SCORE 245462.362
AT ITER 769 NEW BEST:: SOT 861275 SOS 623814 HAS SOPS 623600 HAS SOUS 244772 HAS SOUPS 244744 WITH SCORE 245367.814
AT ITER 774 NEW BEST:: SOT 859359 SOS 672038 HAS SOPS 671824 HAS SOUS 243475 HAS SOUPS 243447 WITH SCORE 244119.038
AT ITER 776 NEW BEST:: SOT 859044 SOS 671723 HAS SOPS 671509 HAS SOUS 243158 HAS SOUPS 243130 WITH SCORE 243801.723
AT ITER 780 NEW BEST:: SOT 858524 SOS 671329 HAS SOPS 671115 HAS SOUS 242885 HAS SOUPS 242857 WITH SCORE 243528.329
AT ITER 783 NEW BEST:: SOT 858583 SOS 670175 HAS SOPS 669961 HAS SOUS 242658 HAS SOUPS 242630 WITH SCORE 243300.175
AT ITER 791 NEW BEST:: SOT 858337 SOS 667518 HAS SOPS 667304 HAS SOUS 240026 HAS SOUPS 239998 WITH SCORE 240665.518
AT ITER 807 NEW BEST:: SOT 858132 SOS 668225 HAS SOPS 668011 HAS SOUS 239824 HAS SOUPS 239796 WITH SCORE 240464.225
AT ITER 812 NEW BEST:: SOT 858126 SOS 668221 HAS SOPS 668007 HAS SOUS 239809 HAS SOUPS 239781 WITH SCORE 240449.221
AT ITER 826 NEW BEST:: SOT 858109 SOS 668204 HAS SOPS 667990 HAS SOUS 239792 HAS SOUPS 239764 WITH SCORE 240432.204
AT ITER 829 NEW BEST:: SOT 858109 SOS 668204 HAS SOPS 667990 HAS SOUS 239760 HAS SOUPS 239732 WITH SCORE 240400.204
AT ITER 842 NEW BEST:: SOT 858109 SOS 668186 HAS SOPS 667972 HAS SOUS 239760 HAS SOUPS 239732 WITH SCORE 240400.186
AT ITER 844 NEW BEST:: SOT 857985 SOS 668062 HAS SOPS 667848 HAS SOUS 239512 HAS SOUPS 239484 WITH SCORE 240152.062
AT ITER 860 NEW BEST:: SOT 857915 SOS 667897 HAS SOPS 667683 HAS SOUS 238805 HAS SOUPS 238777 WITH SCORE 239444.897
AT ITER 867 NEW BEST:: SOT 856840 SOS 671906 HAS SOPS 671692 HAS SOUS 238396 HAS SOUPS 238368 WITH SCORE 239039.906
AT ITER 868 NEW BEST:: SOT 856929 SOS 670841 HAS SOPS 670627 HAS SOUS 238003 HAS SOUPS 237975 WITH SCORE 238645.841
AT ITER 889 NEW BEST:: SOT 856689 SOS 670601 HAS SOPS 670387 HAS SOUS 237765 HAS SOUPS 237737 WITH SCORE 238407.601
AT ITER 894 NEW BEST:: SOT 857778 SOS 672358 HAS SOPS 672144 HAS SOUS 236334 HAS SOUPS 236306 WITH SCORE 236978.358
AT ITER 906 NEW BEST:: SOT 857563 SOS 672230 HAS SOPS 672016 HAS SOUS 236139 HAS SOUPS 236111 WITH SCORE 236783.23
AT ITER 907 NEW BEST:: SOT 857541 SOS 672219 HAS SOPS 672005 HAS SOUS 236108 HAS SOUPS 236080 WITH SCORE 236752.219
AT ITER 921 NEW BEST:: SOT 857479 SOS 672157 HAS SOPS 671943 HAS SOUS 236087 HAS SOUPS 236059 WITH SCORE 236731.157
AT ITER 923 NEW BEST:: SOT 857301 SOS 672115 HAS SOPS 671901 HAS SOUS 236028 HAS SOUPS 236000 WITH SCORE 236672.115
AT ITER 929 NEW BEST:: SOT 857301 SOS 672084 HAS SOPS 671870 HAS SOUS 236011 HAS SOUPS 235983 WITH SCORE 236655.084
AT ITER 932 NEW BEST:: SOT 857256 SOS 672090 HAS SOPS 671876 HAS SOUS 235966 HAS SOUPS 235938 WITH SCORE 236610.09
AT ITER 933 NEW BEST:: SOT 857186 SOS 672099 HAS SOPS 671885 HAS SOUS 235944 HAS SOUPS 235916 WITH SCORE 236588.099
AT ITER 939 NEW BEST:: SOT 856717 SOS 671630 HAS SOPS 671416 HAS SOUS 235529 HAS SOUPS 235501 WITH SCORE 236172.63
AT ITER 940 NEW BEST:: SOT 856716 SOS 671629 HAS SOPS 671415 HAS SOUS 235529 HAS SOUPS 235501 WITH SCORE 236172.629
AT ITER 951 NEW BEST:: SOT 857457 SOS 670583 HAS SOPS 670369 HAS SOUS 234447 HAS SOUPS 234419 WITH SCORE 235089.583
AT ITER 954 NEW BEST:: SOT 857448 SOS 670574 HAS SOPS 670360 HAS SOUS 234447 HAS SOUPS 234419 WITH SCORE 235089.574
AT ITER 957 NEW BEST:: SOT 857445 SOS 670568 HAS SOPS 670354 HAS SOUS 234444 HAS SOUPS 234416 WITH SCORE 235086.568
AT ITER 958 NEW BEST:: SOT 857445 SOS 670568 HAS SOPS 670354 HAS SOUS 234443 HAS SOUPS 234415 WITH SCORE 235085.568
AT ITER 963 NEW BEST:: SOT 857456 SOS 670579 HAS SOPS 670365 HAS SOUS 234397 HAS SOUPS 234369 WITH SCORE 235039.579
AT ITER 966 NEW BEST:: SOT 857421 SOS 670382 HAS SOPS 670168 HAS SOUS 234182 HAS SOUPS 234154 WITH SCORE 234824.382
AT ITER 969 NEW BEST:: SOT 857293 SOS 670126 HAS SOPS 669912 HAS SOUS 234039 HAS SOUPS 234011 WITH SCORE 234681.126
AT ITER 972 NEW BEST:: SOT 857284 SOS 670108 HAS SOPS 669894 HAS SOUS 234030 HAS SOUPS 234002 WITH SCORE 234672.108
AT ITER 973 NEW BEST:: SOT 857203 SOS 670015 HAS SOPS 669801 HAS SOUS 233937 HAS SOUPS 233909 WITH SCORE 234579.015
AT ITER 987 NEW BEST:: SOT 857092 SOS 668794 HAS SOPS 668580 HAS SOUS 233086 HAS SOUPS 233058 WITH SCORE 233726.794
AT ITER 991 NEW BEST:: SOT 857092 SOS 668781 HAS SOPS 668567 HAS SOUS 233073 HAS SOUPS 233045 WITH SCORE 233713.781
AT ITER 997 NEW BEST:: SOT 857043 SOS 668683 HAS SOPS 668469 HAS SOUS 232975 HAS SOUPS 232947 WITH SCORE 233615.683
AT ITER 1011 NEW BEST:: SOT 844119 SOS 655759 HAS SOPS 655545 HAS SOUS 225325 HAS SOUPS 225297 WITH SCORE 225952.759
AT ITER 1034 NEW BEST:: SOT 844111 SOS 655751 HAS SOPS 655537 HAS SOUS 225280 HAS SOUPS 225252 WITH SCORE 225907.751
AT ITER 1036 NEW BEST:: SOT 843849 SOS 655651 HAS SOPS 655437 HAS SOUS 225173 HAS SOUPS 225145 WITH SCORE 225800.651
AT ITER 1047 NEW BEST:: SOT 843790 SOS 655533 HAS SOPS 655319 HAS SOUS 224561 HAS SOUPS 224533 WITH SCORE 225188.533
AT ITER 1052 NEW BEST:: SOT 843709 SOS 655371 HAS SOPS 655157 HAS SOUS 223751 HAS SOUPS 223723 WITH SCORE 224378.371
AT ITER 1055 NEW BEST:: SOT 843710 SOS 655372 HAS SOPS 655158 HAS SOUS 223632 HAS SOUPS 223604 WITH SCORE 224259.372
AT ITER 1069 NEW BEST:: SOT 843710 SOS 655372 HAS SOPS 655158 HAS SOUS 223612 HAS SOUPS 223584 WITH SCORE 224239.372
AT ITER 1085 NEW BEST:: SOT 843902 SOS 643526 HAS SOPS 643302 HAS SOUS 222264 HAS SOUPS 222236 WITH SCORE 222879.526
AT ITER 1089 NEW BEST:: SOT 843883 SOS 643488 HAS SOPS 643264 HAS SOUS 222245 HAS SOUPS 222217 WITH SCORE 222860.488
AT ITER 1092 NEW BEST:: SOT 843766 SOS 643211 HAS SOPS 642987 HAS SOUS 221975 HAS SOUPS 221947 WITH SCORE 222590.211
AT ITER 1107 NEW BEST:: SOT 843727 SOS 643133 HAS SOPS 642909 HAS SOUS 221950 HAS SOUPS 221922 WITH SCORE 222565.133
AT ITER 1113 NEW BEST:: SOT 843783 SOS 643189 HAS SOPS 642965 HAS SOUS 221889 HAS SOUPS 221861 WITH SCORE 222504.189
AT ITER 1116 NEW BEST:: SOT 843736 SOS 643142 HAS SOPS 642918 HAS SOUS 221875 HAS SOUPS 221847 WITH SCORE 222490.142
AT ITER 1123 NEW BEST:: SOT 843736 SOS 643126 HAS SOPS 642902 HAS SOUS 221875 HAS SOUPS 221847 WITH SCORE 222490.126
AT ITER 1126 NEW BEST:: SOT 843727 SOS 643067 HAS SOPS 642843 HAS SOUS 221866 HAS SOUPS 221838 WITH SCORE 222481.067
AT ITER 1142 NEW BEST:: SOT 843626 SOS 642999 HAS SOPS 642775 HAS SOUS 221697 HAS SOUPS 221669 WITH SCORE 222311.999
AT ITER 1143 NEW BEST:: SOT 843600 SOS 642947 HAS SOPS 642723 HAS SOUS 221671 HAS SOUPS 221643 WITH SCORE 222285.947
AT ITER 1150 NEW BEST:: SOT 843644 SOS 642991 HAS SOPS 642767 HAS SOUS 220175 HAS SOUPS 220147 WITH SCORE 220789.991
AT ITER 1153 NEW BEST:: SOT 843644 SOS 642991 HAS SOPS 642767 HAS SOUS 220162 HAS SOUPS 220134 WITH SCORE 220776.991
AT ITER 1155 NEW BEST:: SOT 843738 SOS 643017 HAS SOPS 642793 HAS SOUS 219864 HAS SOUPS 219836 WITH SCORE 220479.017
AT ITER 1160 NEW BEST:: SOT 843686 SOS 642913 HAS SOPS 642689 HAS SOUS 219322 HAS SOUPS 219294 WITH SCORE 219936.913
AT ITER 1161 NEW BEST:: SOT 843657 SOS 642913 HAS SOPS 642689 HAS SOUS 219293 HAS SOUPS 219265 WITH SCORE 219907.913
AT ITER 1177 NEW BEST:: SOT 843618 SOS 642880 HAS SOPS 642656 HAS SOUS 219260 HAS SOUPS 219232 WITH SCORE 219874.88
AT ITER 1201 NEW BEST:: SOT 843614 SOS 642876 HAS SOPS 642652 HAS SOUS 219260 HAS SOUPS 219232 WITH SCORE 219874.876
AT ITER 1207 NEW BEST:: SOT 843558 SOS 642154 HAS SOPS 641930 HAS SOUS 218700 HAS SOUPS 218672 WITH SCORE 219314.154
AT ITER 1209 NEW BEST:: SOT 848678 SOS 647766 HAS SOPS 647542 HAS SOUS 212788 HAS SOUPS 212760 WITH SCORE 213407.766
AT ITER 1214 NEW BEST:: SOT 848638 SOS 647686 HAS SOPS 647462 HAS SOUS 212759 HAS SOUPS 212731 WITH SCORE 213378.686
AT ITER 1225 NEW BEST:: SOT 848619 SOS 647667 HAS SOPS 647443 HAS SOUS 212740 HAS SOUPS 212712 WITH SCORE 213359.667
AT ITER 1227 NEW BEST:: SOT 848626 SOS 647674 HAS SOPS 647450 HAS SOUS 212715 HAS SOUPS 212687 WITH SCORE 213334.674
AT ITER 1248 NEW BEST:: SOT 847890 SOS 657400 HAS SOPS 657176 HAS SOUS 212407 HAS SOUPS 212379 WITH SCORE 213036.4
AT ITER 1252 NEW BEST:: SOT 847745 SOS 657399 HAS SOPS 657175 HAS SOUS 212331 HAS SOUPS 212303 WITH SCORE 212960.399
AT ITER 1269 NEW BEST:: SOT 847741 SOS 657399 HAS SOPS 657175 HAS SOUS 212327 HAS SOUPS 212299 WITH SCORE 212956.399
AT ITER 1281 NEW BEST:: SOT 847736 SOS 657399 HAS SOPS 657175 HAS SOUS 212322 HAS SOUPS 212294 WITH SCORE 212951.399
AT ITER 1287 NEW BEST:: SOT 847569 SOS 657396 HAS SOPS 657172 HAS SOUS 212277 HAS SOUPS 212249 WITH SCORE 212906.396
AT ITER 1289 NEW BEST:: SOT 847303 SOS 657130 HAS SOPS 656906 HAS SOUS 212011 HAS SOUPS 211983 WITH SCORE 212640.13
AT ITER 1298 NEW BEST:: SOT 847353 SOS 657326 HAS SOPS 657102 HAS SOUS 211956 HAS SOUPS 211928 WITH SCORE 212585.326
AT ITER 1344 NEW BEST:: SOT 847276 SOS 657204 HAS SOPS 656980 HAS SOUS 211867 HAS SOUPS 211839 WITH SCORE 212496.204
AT ITER 1345 NEW BEST:: SOT 847261 SOS 657174 HAS SOPS 656950 HAS SOUS 211837 HAS SOUPS 211809 WITH SCORE 212466.174
AT ITER 1357 NEW BEST:: SOT 847221 SOS 657094 HAS SOPS 656870 HAS SOUS 211826 HAS SOUPS 211798 WITH SCORE 212455.094
AT ITER 1371 NEW BEST:: SOT 848027 SOS 657622 HAS SOPS 657398 HAS SOUS 211104 HAS SOUPS 211076 WITH SCORE 211733.622
AT ITER 1391 NEW BEST:: SOT 848242 SOS 657083 HAS SOPS 656859 HAS SOUS 211086 HAS SOUPS 211058 WITH SCORE 211715.083
AT ITER 1405 NEW BEST:: SOT 848346 SOS 657187 HAS SOPS 656963 HAS SOUS 211046 HAS SOUPS 211018 WITH SCORE 211675.187
AT ITER 1408 NEW BEST:: SOT 848346 SOS 657088 HAS SOPS 656864 HAS SOUS 211046 HAS SOUPS 211018 WITH SCORE 211675.088
AT ITER 1410 NEW BEST:: SOT 848403 SOS 657145 HAS SOPS 656921 HAS SOUS 211020 HAS SOUPS 210992 WITH SCORE 211649.145
AT ITER 1424 NEW BEST:: SOT 848403 SOS 657145 HAS SOPS 656921 HAS SOUS 210977 HAS SOUPS 210949 WITH SCORE 211606.145
AT ITER 1429 NEW BEST:: SOT 848127 SOS 656947 HAS SOPS 656723 HAS SOUS 210704 HAS SOUPS 210676 WITH SCORE 211332.947
AT ITER 1431 NEW BEST:: SOT 848125 SOS 656943 HAS SOPS 656719 HAS SOUS 210702 HAS SOUPS 210674 WITH SCORE 211330.943
AT ITER 1447 NEW BEST:: SOT 847919 SOS 656864 HAS SOPS 656640 HAS SOUS 210525 HAS SOUPS 210497 WITH SCORE 211153.864
AT ITER 1448 NEW BEST:: SOT 847709 SOS 656831 HAS SOPS 656607 HAS SOUS 210484 HAS SOUPS 210456 WITH SCORE 211112.831
AT ITER 1449 NEW BEST:: SOT 847621 SOS 656203 HAS SOPS 655979 HAS SOUS 209922 HAS SOUPS 209894 WITH SCORE 210550.203
AT ITER 1450 NEW BEST:: SOT 847644 SOS 655756 HAS SOPS 655532 HAS SOUS 209699 HAS SOUPS 209671 WITH SCORE 210326.756
AT ITER 1458 NEW BEST:: SOT 826250 SOS 634362 HAS SOPS 634138 HAS SOUS 197311 HAS SOUPS 197283 WITH SCORE 197917.362
AT ITER 1460 NEW BEST:: SOT 826245 SOS 634352 HAS SOPS 634128 HAS SOUS 197306 HAS SOUPS 197278 WITH SCORE 197912.352
AT ITER 1463 NEW BEST:: SOT 826245 SOS 634215 HAS SOPS 633991 HAS SOUS 197293 HAS SOUPS 197265 WITH SCORE 197899.215
AT ITER 1466 NEW BEST:: SOT 826245 SOS 634215 HAS SOPS 633991 HAS SOUS 197264 HAS SOUPS 197236 WITH SCORE 197870.215
AT ITER 1476 NEW BEST:: SOT 826240 SOS 634205 HAS SOPS 633981 HAS SOUS 197259 HAS SOUPS 197231 WITH SCORE 197865.205
AT ITER 1484 NEW BEST:: SOT 826240 SOS 634205 HAS SOPS 633981 HAS SOUS 197239 HAS SOUPS 197211 WITH SCORE 197845.205
AT ITER 1488 NEW BEST:: SOT 826216 SOS 634157 HAS SOPS 633933 HAS SOUS 197215 HAS SOUPS 197187 WITH SCORE 197821.157
AT ITER 1490 NEW BEST:: SOT 826111 SOS 623852 HAS SOPS 623628 HAS SOUS 196975 HAS SOUPS 196947 WITH SCORE 197570.852
AT ITER 1491 NEW BEST:: SOT 826085 SOS 623860 HAS SOPS 623626 HAS SOUS 196980 HAS SOUPS 196943 WITH SCORE 197566.86
AT ITER 1504 NEW BEST:: SOT 826037 SOS 623764 HAS SOPS 623530 HAS SOUS 196932 HAS SOUPS 196895 WITH SCORE 197518.764
AT ITER 1522 NEW BEST:: SOT 826039 SOS 623766 HAS SOPS 623532 HAS SOUS 196910 HAS SOUPS 196873 WITH SCORE 197496.766
AT ITER 1544 NEW BEST:: SOT 825954 SOS 623681 HAS SOPS 623447 HAS SOUS 196768 HAS SOUPS 196731 WITH SCORE 197354.681
AT ITER 1553 NEW BEST:: SOT 825850 SOS 623473 HAS SOPS 623239 HAS SOUS 196627 HAS SOUPS 196590 WITH SCORE 197213.473
AT ITER 1561 NEW BEST:: SOT 825834 SOS 623457 HAS SOPS 623223 HAS SOUS 196607 HAS SOUPS 196570 WITH SCORE 197193.457
AT ITER 1564 NEW BEST:: SOT 825575 SOS 623257 HAS SOPS 623023 HAS SOUS 196371 HAS SOUPS 196334 WITH SCORE 196957.257
AT ITER 1570 NEW BEST:: SOT 825502 SOS 623184 HAS SOPS 622950 HAS SOUS 196298 HAS SOUPS 196261 WITH SCORE 196884.184
AT ITER 1573 NEW BEST:: SOT 825441 SOS 623062 HAS SOPS 622828 HAS SOUS 196176 HAS SOUPS 196139 WITH SCORE 196762.062
AT ITER 1574 NEW BEST:: SOT 825519 SOS 623140 HAS SOPS 622906 HAS SOUS 194694 HAS SOUPS 194657 WITH SCORE 195280.14
AT ITER 1578 NEW BEST:: SOT 825456 SOS 619295 HAS SOPS 619061 HAS SOUS 194568 HAS SOUPS 194531 WITH SCORE 195150.295
AT ITER 1584 NEW BEST:: SOT 825432 SOS 619271 HAS SOPS 619037 HAS SOUS 194520 HAS SOUPS 194483 WITH SCORE 195102.271
AT ITER 1585 NEW BEST:: SOT 825315 SOS 618714 HAS SOPS 618480 HAS SOUS 193642 HAS SOUPS 193605 WITH SCORE 194223.714
AT ITER 1586 NEW BEST:: SOT 825340 SOS 618739 HAS SOPS 618505 HAS SOUS 193611 HAS SOUPS 193574 WITH SCORE 194192.739
AT ITER 1592 NEW BEST:: SOT 825296 SOS 618651 HAS SOPS 618417 HAS SOUS 193197 HAS SOUPS 193160 WITH SCORE 193778.651
AT ITER 1614 NEW BEST:: SOT 825268 SOS 618595 HAS SOPS 618361 HAS SOUS 193141 HAS SOUPS 193104 WITH SCORE 193722.595
AT ITER 1618 NEW BEST:: SOT 825958 SOS 617294 HAS SOPS 617060 HAS SOUS 191997 HAS SOUPS 191960 WITH SCORE 192577.294
AT ITER 1624 NEW BEST:: SOT 825893 SOS 617174 HAS SOPS 616940 HAS SOUS 191932 HAS SOUPS 191895 WITH SCORE 192512.174
AT ITER 1632 NEW BEST:: SOT 823773 SOS 615044 HAS SOPS 614810 HAS SOUS 189812 HAS SOUPS 189775 WITH SCORE 190390.044
AT ITER 1637 NEW BEST:: SOT 823687 SOS 614872 HAS SOPS 614638 HAS SOUS 189726 HAS SOUPS 189689 WITH SCORE 190303.872
AT ITER 1649 NEW BEST:: SOT 824543 SOS 615672 HAS SOPS 615438 HAS SOUS 189516 HAS SOUPS 189479 WITH SCORE 190094.672
AT ITER 1664 NEW BEST:: SOT 824514 SOS 615604 HAS SOPS 615370 HAS SOUS 188884 HAS SOUPS 188847 WITH SCORE 189462.604
AT ITER 1672 NEW BEST:: SOT 824514 SOS 615604 HAS SOPS 615370 HAS SOUS 188855 HAS SOUPS 188818 WITH SCORE 189433.604
AT ITER 1686 NEW BEST:: SOT 824525 SOS 615615 HAS SOPS 615381 HAS SOUS 188848 HAS SOUPS 188811 WITH SCORE 189426.615
AT ITER 1689 NEW BEST:: SOT 824507 SOS 615597 HAS SOPS 615363 HAS SOUS 188817 HAS SOUPS 188780 WITH SCORE 189395.597
AT ITER 1690 NEW BEST:: SOT 824230 SOS 615385 HAS SOPS 615151 HAS SOUS 188518 HAS SOUPS 188481 WITH SCORE 189096.385
AT ITER 1693 NEW BEST:: SOT 824251 SOS 615369 HAS SOPS 615135 HAS SOUS 188475 HAS SOUPS 188438 WITH SCORE 189053.369
AT ITER 1696 NEW BEST:: SOT 824251 SOS 615369 HAS SOPS 615135 HAS SOUS 188469 HAS SOUPS 188432 WITH SCORE 189047.369
AT ITER 1703 NEW BEST:: SOT 824251 SOS 615369 HAS SOPS 615135 HAS SOUS 188466 HAS SOUPS 188429 WITH SCORE 189044.369
AT ITER 1705 NEW BEST:: SOT 823983 SOS 615218 HAS SOPS 614984 HAS SOUS 188250 HAS SOUPS 188213 WITH SCORE 188828.218
AT ITER 1725 NEW BEST:: SOT 823983 SOS 615218 HAS SOPS 614984 HAS SOUS 188247 HAS SOUPS 188210 WITH SCORE 188825.218
AT ITER 1729 NEW BEST:: SOT 824105 SOS 615340 HAS SOPS 615106 HAS SOUS 188236 HAS SOUPS 188199 WITH SCORE 188814.34
AT ITER 1743 NEW BEST:: SOT 824104 SOS 615338 HAS SOPS 615104 HAS SOUS 188235 HAS SOUPS 188198 WITH SCORE 188813.338
AT ITER 1748 NEW BEST:: SOT 823982 SOS 615183 HAS SOPS 614949 HAS SOUS 188160 HAS SOUPS 188123 WITH SCORE 188738.183
AT ITER 1769 NEW BEST:: SOT 823840 SOS 615159 HAS SOPS 614925 HAS SOUS 188136 HAS SOUPS 188099 WITH SCORE 188714.159
AT ITER 1774 NEW BEST:: SOT 823840 SOS 615079 HAS SOPS 614845 HAS SOUS 188056 HAS SOUPS 188019 WITH SCORE 188634.079
AT ITER 1781 NEW BEST:: SOT 824022 SOS 614481 HAS SOPS 614247 HAS SOUS 188011 HAS SOUPS 187974 WITH SCORE 188588.481
AT ITER 1786 NEW BEST:: SOT 823944 SOS 614576 HAS SOPS 614342 HAS SOUS 187965 HAS SOUPS 187928 WITH SCORE 188542.576
AT ITER 1788 NEW BEST:: SOT 823964 SOS 614596 HAS SOPS 614362 HAS SOUS 187906 HAS SOUPS 187869 WITH SCORE 188483.596
AT ITER 1790 NEW BEST:: SOT 823925 SOS 614557 HAS SOPS 614323 HAS SOUS 187868 HAS SOUPS 187831 WITH SCORE 188445.557
AT ITER 1809 NEW BEST:: SOT 823882 SOS 614471 HAS SOPS 614237 HAS SOUS 187795 HAS SOUPS 187758 WITH SCORE 188372.471
AT ITER 1814 NEW BEST:: SOT 823987 SOS 614576 HAS SOPS 614342 HAS SOUS 181516 HAS SOUPS 181479 WITH SCORE 182093.576
AT ITER 1829 NEW BEST:: SOT 823977 SOS 614556 HAS SOPS 614322 HAS SOUS 181496 HAS SOUPS 181459 WITH SCORE 182073.556
AT ITER 1834 NEW BEST:: SOT 823916 SOS 614434 HAS SOPS 614200 HAS SOUS 181374 HAS SOUPS 181337 WITH SCORE 181951.434
AT ITER 1851 NEW BEST:: SOT 824621 SOS 615132 HAS SOPS 614898 HAS SOUS 178629 HAS SOUPS 178592 WITH SCORE 179207.132
AT ITER 1856 NEW BEST:: SOT 824621 SOS 615132 HAS SOPS 614898 HAS SOUS 178603 HAS SOUPS 178566 WITH SCORE 179181.132
AT ITER 1873 NEW BEST:: SOT 824621 SOS 615141 HAS SOPS 614907 HAS SOUS 178594 HAS SOUPS 178557 WITH SCORE 179172.141
AT ITER 1877 NEW BEST:: SOT 824507 SOS 615074 HAS SOPS 614840 HAS SOUS 178497 HAS SOUPS 178460 WITH SCORE 179075.074
AT ITER 1890 NEW BEST:: SOT 824466 SOS 615081 HAS SOPS 614847 HAS SOUS 178434 HAS SOUPS 178397 WITH SCORE 179012.081
AT ITER 1896 NEW BEST:: SOT 824402 SOS 615017 HAS SOPS 614783 HAS SOUS 178382 HAS SOUPS 178345 WITH SCORE 178960.017
AT ITER 1902 NEW BEST:: SOT 824370 SOS 614983 HAS SOPS 614749 HAS SOUS 178348 HAS SOUPS 178311 WITH SCORE 178925.983
AT ITER 1905 NEW BEST:: SOT 824344 SOS 614957 HAS SOPS 614723 HAS SOUS 178196 HAS SOUPS 178159 WITH SCORE 178773.957
AT ITER 1906 NEW BEST:: SOT 823301 SOS 613933 HAS SOPS 613699 HAS SOUS 178023 HAS SOUPS 177986 WITH SCORE 178599.933
AT ITER 1908 NEW BEST:: SOT 823254 SOS 614019 HAS SOPS 613785 HAS SOUS 177976 HAS SOUPS 177939 WITH SCORE 178553.019
AT ITER 1909 NEW BEST:: SOT 823174 SOS 613925 HAS SOPS 613691 HAS SOUS 177882 HAS SOUPS 177845 WITH SCORE 178458.925
AT ITER 1917 NEW BEST:: SOT 823157 SOS 613906 HAS SOPS 613672 HAS SOUS 177878 HAS SOUPS 177841 WITH SCORE 178454.906
AT ITER 1925 NEW BEST:: SOT 823157 SOS 613906 HAS SOPS 613672 HAS SOUS 177868 HAS SOUPS 177831 WITH SCORE 178444.906
AT ITER 1927 NEW BEST:: SOT 823214 SOS 613963 HAS SOPS 613729 HAS SOUS 177861 HAS SOUPS 177824 WITH SCORE 178437.963
AT ITER 1950 NEW BEST:: SOT 823214 SOS 613963 HAS SOPS 613729 HAS SOUS 177795 HAS SOUPS 177758 WITH SCORE 178371.963
AT ITER 1967 NEW BEST:: SOT 823210 SOS 613959 HAS SOPS 613725 HAS SOUS 177787 HAS SOUPS 177750 WITH SCORE 178363.959
AT ITER 1982 NEW BEST:: SOT 823207 SOS 613956 HAS SOPS 613722 HAS SOUS 177781 HAS SOUPS 177744 WITH SCORE 178357.956
AT ITER 1988 NEW BEST:: SOT 823183 SOS 614044 HAS SOPS 613810 HAS SOUS 177767 HAS SOUPS 177730 WITH SCORE 178344.044
AT ITER 1992 NEW BEST:: SOT 823010 SOS 613950 HAS SOPS 613716 HAS SOUS 177673 HAS SOUPS 177636 WITH SCORE 178249.95
AT ITER 1993 NEW BEST:: SOT 822981 SOS 613923 HAS SOPS 613689 HAS SOUS 177558 HAS SOUPS 177521 WITH SCORE 178134.923
AT ITER 2031 NEW BEST:: SOT 822897 SOS 613839 HAS SOPS 613605 HAS SOUS 177472 HAS SOUPS 177435 WITH SCORE 178048.839
AT ITER 2048 NEW BEST:: SOT 823369 SOS 614322 HAS SOPS 614088 HAS SOUS 175819 HAS SOUPS 175782 WITH SCORE 176396.322
AT ITER 2054 NEW BEST:: SOT 823361 SOS 614306 HAS SOPS 614072 HAS SOUS 175739 HAS SOUPS 175702 WITH SCORE 176316.306
AT ITER 2066 NEW BEST:: SOT 824283 SOS 603508 HAS SOPS 603274 HAS SOUS 174673 HAS SOUPS 174636 WITH SCORE 175239.508
AT ITER 2070 NEW BEST:: SOT 824044 SOS 603424 HAS SOPS 603190 HAS SOUS 174491 HAS SOUPS 174454 WITH SCORE 175057.424
AT ITER 2076 NEW BEST:: SOT 823978 SOS 603358 HAS SOPS 603124 HAS SOUS 174425 HAS SOUPS 174388 WITH SCORE 174991.358
AT ITER 2087 NEW BEST:: SOT 823962 SOS 603326 HAS SOPS 603092 HAS SOUS 174416 HAS SOUPS 174379 WITH SCORE 174982.326
AT ITER 2091 NEW BEST:: SOT 823898 SOS 603262 HAS SOPS 603028 HAS SOUS 174366 HAS SOUPS 174329 WITH SCORE 174932.262
AT ITER 2110 NEW BEST:: SOT 823883 SOS 603232 HAS SOPS 602998 HAS SOUS 174339 HAS SOUPS 174302 WITH SCORE 174905.232
AT ITER 2122 NEW BEST:: SOT 823945 SOS 603167 HAS SOPS 602933 HAS SOUS 173937 HAS SOUPS 173900 WITH SCORE 174503.167
AT ITER 2135 NEW BEST:: SOT 823956 SOS 603234 HAS SOPS 603000 HAS SOUS 173701 HAS SOUPS 173664 WITH SCORE 174267.234
AT ITER 2137 NEW BEST:: SOT 823938 SOS 603188 HAS SOPS 602954 HAS SOUS 173521 HAS SOUPS 173484 WITH SCORE 174087.188
AT ITER 2148 NEW BEST:: SOT 823938 SOS 603188 HAS SOPS 602954 HAS SOUS 173488 HAS SOUPS 173451 WITH SCORE 174054.188
AT ITER 2152 NEW BEST:: SOT 824007 SOS 603336 HAS SOPS 603102 HAS SOUS 173398 HAS SOUPS 173361 WITH SCORE 173964.336
AT ITER 2160 NEW BEST:: SOT 824007 SOS 603336 HAS SOPS 603102 HAS SOUS 173392 HAS SOUPS 173355 WITH SCORE 173958.336
AT ITER 2176 NEW BEST:: SOT 823928 SOS 603203 HAS SOPS 602969 HAS SOUS 173247 HAS SOUPS 173210 WITH SCORE 173813.203
AT ITER 2179 NEW BEST:: SOT 823993 SOS 603268 HAS SOPS 603034 HAS SOUS 173245 HAS SOUPS 173208 WITH SCORE 173811.268
AT ITER 2186 NEW BEST:: SOT 823968 SOS 603243 HAS SOPS 603009 HAS SOUS 173195 HAS SOUPS 173158 WITH SCORE 173761.243
AT ITER 2189 NEW BEST:: SOT 823921 SOS 603149 HAS SOPS 602915 HAS SOUS 173148 HAS SOUPS 173111 WITH SCORE 173714.149
AT ITER 2204 NEW BEST:: SOT 823842 SOS 603389 HAS SOPS 603155 HAS SOUS 173064 HAS SOUPS 173027 WITH SCORE 173630.389
AT ITER 2206 NEW BEST:: SOT 823736 SOS 603147 HAS SOPS 602913 HAS SOUS 172870 HAS SOUPS 172833 WITH SCORE 173436.147
AT ITER 2213 NEW BEST:: SOT 823736 SOS 603147 HAS SOPS 602913 HAS SOUS 172779 HAS SOUPS 172742 WITH SCORE 173345.147
AT ITER 2220 NEW BEST:: SOT 823710 SOS 603121 HAS SOPS 602887 HAS SOUS 172750 HAS SOUPS 172713 WITH SCORE 173316.121
AT ITER 2226 NEW BEST:: SOT 823677 SOS 603084 HAS SOPS 602850 HAS SOUS 172702 HAS SOUPS 172665 WITH SCORE 173268.084
AT ITER 2238 NEW BEST:: SOT 823659 SOS 603066 HAS SOPS 602832 HAS SOUS 172702 HAS SOUPS 172665 WITH SCORE 173268.066
AT ITER 2239 NEW BEST:: SOT 823623 SOS 602960 HAS SOPS 602726 HAS SOUS 172690 HAS SOUPS 172653 WITH SCORE 173255.96
AT ITER 2240 NEW BEST:: SOT 823484 SOS 602761 HAS SOPS 602527 HAS SOUS 172491 HAS SOUPS 172454 WITH SCORE 173056.761
AT ITER 2249 NEW BEST:: SOT 823481 SOS 602754 HAS SOPS 602520 HAS SOUS 172484 HAS SOUPS 172447 WITH SCORE 173049.754
AT ITER 2254 NEW BEST:: SOT 823617 SOS 602280 HAS SOPS 602046 HAS SOUS 172409 HAS SOUPS 172372 WITH SCORE 172974.28
AT ITER 2268 NEW BEST:: SOT 823347 SOS 602010 HAS SOPS 601776 HAS SOUS 172085 HAS SOUPS 172048 WITH SCORE 172650.01
AT ITER 2296 NEW BEST:: SOT 823347 SOS 601950 HAS SOPS 601716 HAS SOUS 172074 HAS SOUPS 172037 WITH SCORE 172638.95
AT ITER 2311 NEW BEST:: SOT 823069 SOS 601878 HAS SOPS 601644 HAS SOUS 171959 HAS SOUPS 171922 WITH SCORE 172523.878
AT ITER 2331 NEW BEST:: SOT 823105 SOS 601914 HAS SOPS 601680 HAS SOUS 171954 HAS SOUPS 171917 WITH SCORE 172518.914
AT ITER 2350 NEW BEST:: SOT 823140 SOS 601987 HAS SOPS 601753 HAS SOUS 171948 HAS SOUPS 171911 WITH SCORE 172512.987
AT ITER 2365 NEW BEST:: SOT 822824 SOS 601615 HAS SOPS 601381 HAS SOUS 171576 HAS SOUPS 171539 WITH SCORE 172140.615
AT ITER 2368 NEW BEST:: SOT 818278 SOS 597036 HAS SOPS 596802 HAS SOUS 168526 HAS SOUPS 168489 WITH SCORE 169086.036
AT ITER 2373 NEW BEST:: SOT 817352 SOS 596110 HAS SOPS 595876 HAS SOUS 167600 HAS SOUPS 167563 WITH SCORE 168159.11
AT ITER 2375 NEW BEST:: SOT 817159 SOS 595751 HAS SOPS 595517 HAS SOUS 167241 HAS SOUPS 167204 WITH SCORE 167799.751
AT ITER 2390 NEW BEST:: SOT 817153 SOS 595745 HAS SOPS 595511 HAS SOUS 167235 HAS SOUPS 167198 WITH SCORE 167793.745
AT ITER 2392 NEW BEST:: SOT 817058 SOS 595650 HAS SOPS 595416 HAS SOUS 167121 HAS SOUPS 167084 WITH SCORE 167679.65
AT ITER 2396 NEW BEST:: SOT 815842 SOS 594453 HAS SOPS 594219 HAS SOUS 165986 HAS SOUPS 165949 WITH SCORE 166543.453
AT ITER 2418 NEW BEST:: SOT 815818 SOS 594418 HAS SOPS 594184 HAS SOUS 165947 HAS SOUPS 165910 WITH SCORE 166504.418
AT ITER 2421 NEW BEST:: SOT 815810 SOS 594405 HAS SOPS 594171 HAS SOUS 165934 HAS SOUPS 165897 WITH SCORE 166491.405
AT ITER 2426 NEW BEST:: SOT 815799 SOS 594394 HAS SOPS 594160 HAS SOUS 165912 HAS SOUPS 165875 WITH SCORE 166469.394
AT ITER 2427 NEW BEST:: SOT 815894 SOS 594499 HAS SOPS 594265 HAS SOUS 163767 HAS SOUPS 163730 WITH SCORE 164324.499
AT ITER 2429 NEW BEST:: SOT 815890 SOS 594491 HAS SOPS 594257 HAS SOUS 163759 HAS SOUPS 163722 WITH SCORE 164316.491
AT ITER 2439 NEW BEST:: SOT 815525 SOS 594315 HAS SOPS 594081 HAS SOUS 163465 HAS SOUPS 163428 WITH SCORE 164022.315
AT ITER 2440 NEW BEST:: SOT 815489 SOS 594279 HAS SOPS 594045 HAS SOUS 163436 HAS SOUPS 163399 WITH SCORE 163993.279
AT ITER 2445 NEW BEST:: SOT 815468 SOS 594247 HAS SOPS 594013 HAS SOUS 163404 HAS SOUPS 163367 WITH SCORE 163961.247
AT ITER 2451 NEW BEST:: SOT 815118 SOS 593947 HAS SOPS 593713 HAS SOUS 163104 HAS SOUPS 163067 WITH SCORE 163660.947
AT ITER 2452 NEW BEST:: SOT 815010 SOS 593731 HAS SOPS 593497 HAS SOUS 161951 HAS SOUPS 161914 WITH SCORE 162507.731
AT ITER 2457 NEW BEST:: SOT 814899 SOS 593767 HAS SOPS 593533 HAS SOUS 161792 HAS SOUPS 161755 WITH SCORE 162348.767
AT ITER 2459 NEW BEST:: SOT 814715 SOS 593674 HAS SOPS 593440 HAS SOUS 161666 HAS SOUPS 161629 WITH SCORE 162222.674
AT ITER 2472 NEW BEST:: SOT 814694 SOS 593821 HAS SOPS 593587 HAS SOUS 161645 HAS SOUPS 161608 WITH SCORE 162201.821
AT ITER 2478 NEW BEST:: SOT 814274 SOS 593401 HAS SOPS 593167 HAS SOUS 161277 HAS SOUPS 161240 WITH SCORE 161833.401
AT ITER 2482 NEW BEST:: SOT 801924 SOS 581051 HAS SOPS 580817 HAS SOUS 155248 HAS SOUPS 155211 WITH SCORE 155792.051
AT ITER 2500 NEW BEST:: SOT 801859 SOS 581062 HAS SOPS 580828 HAS SOUS 155234 HAS SOUPS 155197 WITH SCORE 155778.062
AT ITER 2507 NEW BEST:: SOT 801859 SOS 581062 HAS SOPS 580828 HAS SOUS 155232 HAS SOUPS 155195 WITH SCORE 155776.062
AT ITER 2511 NEW BEST:: SOT 801831 SOS 581006 HAS SOPS 580772 HAS SOUS 155176 HAS SOUPS 155139 WITH SCORE 155720.006
AT ITER 2514 NEW BEST:: SOT 801787 SOS 580867 HAS SOPS 580633 HAS SOUS 155132 HAS SOUPS 155095 WITH SCORE 155675.867
AT ITER 2517 NEW BEST:: SOT 801782 SOS 580862 HAS SOPS 580628 HAS SOUS 155127 HAS SOUPS 155090 WITH SCORE 155670.862
AT ITER 2525 NEW BEST:: SOT 801782 SOS 580772 HAS SOPS 580538 HAS SOUS 155127 HAS SOUPS 155090 WITH SCORE 155670.772
AT ITER 2528 NEW BEST:: SOT 801771 SOS 580750 HAS SOPS 580516 HAS SOUS 155116 HAS SOUPS 155079 WITH SCORE 155659.75
AT ITER 2558 NEW BEST:: SOT 801587 SOS 580568 HAS SOPS 580334 HAS SOUS 154937 HAS SOUPS 154900 WITH SCORE 155480.568
AT ITER 2570 NEW BEST:: SOT 801727 SOS 580682 HAS SOPS 580448 HAS SOUS 154711 HAS SOUPS 154674 WITH SCORE 155254.682
AT ITER 2587 NEW BEST:: SOT 801703 SOS 580634 HAS SOPS 580400 HAS SOUS 154664 HAS SOUPS 154627 WITH SCORE 155207.634
AT ITER 2599 NEW BEST:: SOT 801678 SOS 580584 HAS SOPS 580350 HAS SOUS 154639 HAS SOUPS 154602 WITH SCORE 155182.584
AT ITER 2608 NEW BEST:: SOT 801497 SOS 580403 HAS SOPS 580169 HAS SOUS 154339 HAS SOUPS 154302 WITH SCORE 154882.403
AT ITER 2626 NEW BEST:: SOT 801419 SOS 580183 HAS SOPS 579949 HAS SOUS 154127 HAS SOUPS 154090 WITH SCORE 154670.183
AT ITER 2639 NEW BEST:: SOT 801391 SOS 580127 HAS SOPS 579893 HAS SOUS 154018 HAS SOUPS 153981 WITH SCORE 154561.127
AT ITER 2642 NEW BEST:: SOT 801391 SOS 580127 HAS SOPS 579893 HAS SOUS 154012 HAS SOUPS 153975 WITH SCORE 154555.127
AT ITER 2655 NEW BEST:: SOT 801366 SOS 580102 HAS SOPS 579868 HAS SOUS 153963 HAS SOUPS 153926 WITH SCORE 154506.102
AT ITER 2662 NEW BEST:: SOT 801302 SOS 580038 HAS SOPS 579804 HAS SOUS 153899 HAS SOUPS 153862 WITH SCORE 154442.038
AT ITER 2670 NEW BEST:: SOT 801278 SOS 579990 HAS SOPS 579756 HAS SOUS 153848 HAS SOUPS 153811 WITH SCORE 154390.99
AT ITER 2682 NEW BEST:: SOT 801175 SOS 579772 HAS SOPS 579538 HAS SOUS 153693 HAS SOUPS 153656 WITH SCORE 154235.772
AT ITER 2690 NEW BEST:: SOT 801175 SOS 579772 HAS SOPS 579538 HAS SOUS 153690 HAS SOUPS 153653 WITH SCORE 154232.772
AT ITER 2696 NEW BEST:: SOT 801098 SOS 579586 HAS SOPS 579352 HAS SOUS 153504 HAS SOUPS 153467 WITH SCORE 154046.586
AT ITER 2700 NEW BEST:: SOT 801063 SOS 579551 HAS SOPS 579317 HAS SOUS 153455 HAS SOUPS 153418 WITH SCORE 153997.551
AT ITER 2705 NEW BEST:: SOT 801031 SOS 579477 HAS SOPS 579243 HAS SOUS 153381 HAS SOUPS 153344 WITH SCORE 153923.477
AT ITER 2711 NEW BEST:: SOT 801016 SOS 579462 HAS SOPS 579228 HAS SOUS 153342 HAS SOUPS 153305 WITH SCORE 153884.462
AT ITER 2765 NEW BEST:: SOT 801009 SOS 579492 HAS SOPS 579258 HAS SOUS 153339 HAS SOUPS 153302 WITH SCORE 153881.492
AT ITER 2776 NEW BEST:: SOT 800991 SOS 569319 HAS SOPS 569085 HAS SOUS 153299 HAS SOUPS 153262 WITH SCORE 153831.319
AT ITER 2790 NEW BEST:: SOT 800984 SOS 569305 HAS SOPS 569071 HAS SOUS 153292 HAS SOUPS 153255 WITH SCORE 153824.305
AT ITER 2814 NEW BEST:: SOT 800984 SOS 569298 HAS SOPS 569064 HAS SOUS 153285 HAS SOUPS 153248 WITH SCORE 153817.298
AT ITER 2820 NEW BEST:: SOT 800867 SOS 569145 HAS SOPS 568911 HAS SOUS 153073 HAS SOUPS 153036 WITH SCORE 153605.145
AT ITER 2826 NEW BEST:: SOT 800854 SOS 568804 HAS SOPS 568570 HAS SOUS 152990 HAS SOUPS 152953 WITH SCORE 153521.804
AT ITER 2832 NEW BEST:: SOT 800837 SOS 568787 HAS SOPS 568553 HAS SOUS 152961 HAS SOUPS 152924 WITH SCORE 153492.787
AT ITER 2843 NEW BEST:: SOT 800811 SOS 568681 HAS SOPS 568447 HAS SOUS 152845 HAS SOUPS 152808 WITH SCORE 153376.681
AT ITER 2844 NEW BEST:: SOT 800791 SOS 568661 HAS SOPS 568427 HAS SOUS 152805 HAS SOUPS 152768 WITH SCORE 153336.661
AT ITER 2845 NEW BEST:: SOT 800789 SOS 568659 HAS SOPS 568425 HAS SOUS 152749 HAS SOUPS 152712 WITH SCORE 153280.659
AT ITER 2847 NEW BEST:: SOT 800785 SOS 568651 HAS SOPS 568417 HAS SOUS 152745 HAS SOUPS 152708 WITH SCORE 153276.651
AT ITER 2854 NEW BEST:: SOT 800785 SOS 568631 HAS SOPS 568397 HAS SOUS 152725 HAS SOUPS 152688 WITH SCORE 153256.631
AT ITER 2866 NEW BEST:: SOT 800785 SOS 568631 HAS SOPS 568397 HAS SOUS 152713 HAS SOUPS 152676 WITH SCORE 153244.631
AT ITER 2870 NEW BEST:: SOT 800780 SOS 568631 HAS SOPS 568397 HAS SOUS 152708 HAS SOUPS 152671 WITH SCORE 153239.631
AT ITER 2871 NEW BEST:: SOT 800784 SOS 568497 HAS SOPS 568263 HAS SOUS 152606 HAS SOUPS 152569 WITH SCORE 153137.497
AT ITER 2872 NEW BEST:: SOT 800779 SOS 568492 HAS SOPS 568258 HAS SOUS 152597 HAS SOUPS 152560 WITH SCORE 153128.492
AT ITER 2905 NEW BEST:: SOT 800771 SOS 568484 HAS SOPS 568250 HAS SOUS 152581 HAS SOUPS 152544 WITH SCORE 153112.484
AT ITER 2925 NEW BEST:: SOT 800804 SOS 568537 HAS SOPS 568303 HAS SOUS 152536 HAS SOUPS 152499 WITH SCORE 153067.537
AT ITER 2946 NEW BEST:: SOT 800761 SOS 568455 HAS SOPS 568221 HAS SOUS 152515 HAS SOUPS 152478 WITH SCORE 153046.455
AT ITER 2971 NEW BEST:: SOT 800761 SOS 567800 HAS SOPS 567566 HAS SOUS 152429 HAS SOUPS 152392 WITH SCORE 152959.8
AT ITER 3000 NEW BEST:: SOT 800758 SOS 567797 HAS SOPS 567563 HAS SOUS 152426 HAS SOUPS 152389 WITH SCORE 152956.797
AT ITER 3018 NEW BEST:: SOT 800748 SOS 567787 HAS SOPS 567553 HAS SOUS 152406 HAS SOUPS 152369 WITH SCORE 152936.787
AT ITER 3028 NEW BEST:: SOT 797339 SOS 580118 HAS SOPS 579884 HAS SOUS 152187 HAS SOUPS 152150 WITH SCORE 152730.118
AT ITER 3038 NEW BEST:: SOT 797339 SOS 580101 HAS SOPS 579867 HAS SOUS 152187 HAS SOUPS 152150 WITH SCORE 152730.101
AT ITER 3058 NEW BEST:: SOT 797086 SOS 580223 HAS SOPS 579989 HAS SOUS 152086 HAS SOUPS 152049 WITH SCORE 152629.223
AT ITER 3072 NEW BEST:: SOT 797086 SOS 580162 HAS SOPS 579928 HAS SOUS 152086 HAS SOUPS 152049 WITH SCORE 152629.162
AT ITER 3078 NEW BEST:: SOT 796980 SOS 579774 HAS SOPS 579540 HAS SOUS 151937 HAS SOUPS 151900 WITH SCORE 152479.774
AT ITER 3089 NEW BEST:: SOT 796980 SOS 579746 HAS SOPS 579512 HAS SOUS 151937 HAS SOUPS 151900 WITH SCORE 152479.746
AT ITER 3093 NEW BEST:: SOT 796908 SOS 579638 HAS SOPS 579404 HAS SOUS 151811 HAS SOUPS 151774 WITH SCORE 152353.638
AT ITER 3097 NEW BEST:: SOT 796893 SOS 579000 HAS SOPS 578766 HAS SOUS 151717 HAS SOUPS 151680 WITH SCORE 152259.0
AT ITER 3099 NEW BEST:: SOT 796890 SOS 578997 HAS SOPS 578763 HAS SOUS 151717 HAS SOUPS 151680 WITH SCORE 152258.997
AT ITER 3118 NEW BEST:: SOT 796816 SOS 578901 HAS SOPS 578667 HAS SOUS 151592 HAS SOUPS 151555 WITH SCORE 152133.901
AT ITER 3135 NEW BEST:: SOT 796934 SOS 578959 HAS SOPS 578725 HAS SOUS 151456 HAS SOUPS 151419 WITH SCORE 151997.959
AT ITER 3143 NEW BEST:: SOT 796878 SOS 578903 HAS SOPS 578669 HAS SOUS 151284 HAS SOUPS 151247 WITH SCORE 151825.903
AT ITER 3149 NEW BEST:: SOT 796861 SOS 578886 HAS SOPS 578652 HAS SOUS 151254 HAS SOUPS 151217 WITH SCORE 151795.886
AT ITER 3167 NEW BEST:: SOT 796819 SOS 578802 HAS SOPS 578568 HAS SOUS 151170 HAS SOUPS 151133 WITH SCORE 151711.802
AT ITER 3168 NEW BEST:: SOT 796905 SOS 578874 HAS SOPS 578640 HAS SOUS 151034 HAS SOUPS 150997 WITH SCORE 151575.874
AT ITER 3176 NEW BEST:: SOT 796891 SOS 578868 HAS SOPS 578634 HAS SOUS 151019 HAS SOUPS 150982 WITH SCORE 151560.868
AT ITER 3179 NEW BEST:: SOT 796730 SOS 578758 HAS SOPS 578524 HAS SOUS 150909 HAS SOUPS 150872 WITH SCORE 151450.758
AT ITER 3184 NEW BEST:: SOT 796730 SOS 578758 HAS SOPS 578524 HAS SOUS 150904 HAS SOUPS 150867 WITH SCORE 151445.758
AT ITER 3189 NEW BEST:: SOT 796719 SOS 578736 HAS SOPS 578502 HAS SOUS 150893 HAS SOUPS 150856 WITH SCORE 151434.736
AT ITER 3199 NEW BEST:: SOT 796711 SOS 578726 HAS SOPS 578492 HAS SOUS 150885 HAS SOUPS 150848 WITH SCORE 151426.726
AT ITER 3202 NEW BEST:: SOT 796612 SOS 578674 HAS SOPS 578440 HAS SOUS 150634 HAS SOUPS 150597 WITH SCORE 151175.674
AT ITER 3205 NEW BEST:: SOT 796549 SOS 578611 HAS SOPS 578377 HAS SOUS 150512 HAS SOUPS 150475 WITH SCORE 151053.611
AT ITER 3206 NEW BEST:: SOT 796540 SOS 578602 HAS SOPS 578368 HAS SOUS 150493 HAS SOUPS 150456 WITH SCORE 151034.602
AT ITER 3207 NEW BEST:: SOT 796465 SOS 578452 HAS SOPS 578218 HAS SOUS 150341 HAS SOUPS 150304 WITH SCORE 150882.452
AT ITER 3236 NEW BEST:: SOT 796465 SOS 578436 HAS SOPS 578202 HAS SOUS 150341 HAS SOUPS 150304 WITH SCORE 150882.436
AT ITER 3268 NEW BEST:: SOT 796426 SOS 578397 HAS SOPS 578163 HAS SOUS 150263 HAS SOUPS 150226 WITH SCORE 150804.397
AT ITER 3283 NEW BEST:: SOT 796426 SOS 578433 HAS SOPS 578213 HAS SOUS 150254 HAS SOUPS 150217 WITH SCORE 150795.433
AT ITER 3303 NEW BEST:: SOT 796413 SOS 578303 HAS SOPS 578083 HAS SOUS 150215 HAS SOUPS 150178 WITH SCORE 150756.303
AT ITER 3307 NEW BEST:: SOT 796413 SOS 578303 HAS SOPS 578083 HAS SOUS 150206 HAS SOUPS 150169 WITH SCORE 150747.303
AT ITER 3312 NEW BEST:: SOT 796264 SOS 578154 HAS SOPS 577934 HAS SOUS 149961 HAS SOUPS 149924 WITH SCORE 150502.154
AT ITER 3315 NEW BEST:: SOT 796268 SOS 578158 HAS SOPS 577938 HAS SOUS 149943 HAS SOUPS 149906 WITH SCORE 150484.158
AT ITER 3334 NEW BEST:: SOT 796237 SOS 574686 HAS SOPS 574466 HAS SOUS 149906 HAS SOUPS 149869 WITH SCORE 150443.686
AT ITER 3355 NEW BEST:: SOT 796151 SOS 574514 HAS SOPS 574294 HAS SOUS 149734 HAS SOUPS 149697 WITH SCORE 150271.514
AT ITER 3359 NEW BEST:: SOT 796125 SOS 574795 HAS SOPS 574575 HAS SOUS 149683 HAS SOUPS 149646 WITH SCORE 150220.795
AT ITER 3366 NEW BEST:: SOT 797804 SOS 576708 HAS SOPS 576488 HAS SOUS 149484 HAS SOUPS 149447 WITH SCORE 150023.708
AT ITER 3369 NEW BEST:: SOT 797704 SOS 576608 HAS SOPS 576388 HAS SOUS 149373 HAS SOUPS 149336 WITH SCORE 149912.608
AT ITER 3391 NEW BEST:: SOT 797701 SOS 576605 HAS SOPS 576385 HAS SOUS 149367 HAS SOUPS 149330 WITH SCORE 149906.605
AT ITER 3407 NEW BEST:: SOT 796414 SOS 575542 HAS SOPS 575322 HAS SOUS 148681 HAS SOUPS 148644 WITH SCORE 149219.542
AT ITER 3439 NEW BEST:: SOT 796504 SOS 575626 HAS SOPS 575406 HAS SOUS 148549 HAS SOUPS 148512 WITH SCORE 149087.626
AT ITER 3483 NEW BEST:: SOT 795081 SOS 574350 HAS SOPS 574130 HAS SOUS 147160 HAS SOUPS 147123 WITH SCORE 147697.35
AT ITER 3493 NEW BEST:: SOT 795070 SOS 574328 HAS SOPS 574108 HAS SOUS 147138 HAS SOUPS 147101 WITH SCORE 147675.328
AT ITER 3511 NEW BEST:: SOT 795047 SOS 574327 HAS SOPS 574107 HAS SOUS 147115 HAS SOUPS 147078 WITH SCORE 147652.327
AT ITER 3533 NEW BEST:: SOT 795028 SOS 574289 HAS SOPS 574069 HAS SOUS 147077 HAS SOUPS 147040 WITH SCORE 147614.289
AT ITER 3534 NEW BEST:: SOT 795212 SOS 560060 HAS SOPS 559840 HAS SOUS 146470 HAS SOUPS 146433 WITH SCORE 146993.06
AT ITER 3544 NEW BEST:: SOT 795238 SOS 560086 HAS SOPS 559866 HAS SOUS 146399 HAS SOUPS 146362 WITH SCORE 146922.086
AT ITER 3556 NEW BEST:: SOT 795227 SOS 560075 HAS SOPS 559855 HAS SOUS 146391 HAS SOUPS 146354 WITH SCORE 146914.075
AT ITER 3566 NEW BEST:: SOT 795213 SOS 560061 HAS SOPS 559841 HAS SOUS 146363 HAS SOUPS 146326 WITH SCORE 146886.061
AT ITER 3578 NEW BEST:: SOT 795395 SOS 560128 HAS SOPS 559908 HAS SOUS 146296 HAS SOUPS 146259 WITH SCORE 146819.128
AT ITER 3607 NEW BEST:: SOT 795556 SOS 559431 HAS SOPS 559211 HAS SOUS 145520 HAS SOUPS 145483 WITH SCORE 146042.431
AT ITER 3611 NEW BEST:: SOT 795523 SOS 559398 HAS SOPS 559178 HAS SOUS 145423 HAS SOUPS 145386 WITH SCORE 145945.398
AT ITER 3618 NEW BEST:: SOT 795512 SOS 559394 HAS SOPS 559174 HAS SOUS 145390 HAS SOUPS 145353 WITH SCORE 145912.394
AT ITER 3633 NEW BEST:: SOT 795592 SOS 559226 HAS SOPS 559006 HAS SOUS 145296 HAS SOUPS 145259 WITH SCORE 145818.226
AT ITER 3651 NEW BEST:: SOT 795572 SOS 559206 HAS SOPS 558986 HAS SOUS 145276 HAS SOUPS 145239 WITH SCORE 145798.206
AT ITER 3657 NEW BEST:: SOT 795572 SOS 559206 HAS SOPS 558986 HAS SOUS 145245 HAS SOUPS 145208 WITH SCORE 145767.206
AT ITER 3663 NEW BEST:: SOT 795481 SOS 559115 HAS SOPS 558895 HAS SOUS 145103 HAS SOUPS 145066 WITH SCORE 145625.115
AT ITER 3666 NEW BEST:: SOT 795481 SOS 558926 HAS SOPS 558716 HAS SOUS 145029 HAS SOUPS 144992 WITH SCORE 145550.926
AT ITER 3685 NEW BEST:: SOT 795427 SOS 558872 HAS SOPS 558662 HAS SOUS 144975 HAS SOUPS 144938 WITH SCORE 145496.872
AT ITER 3726 NEW BEST:: SOT 795389 SOS 558834 HAS SOPS 558624 HAS SOUS 144937 HAS SOUPS 144900 WITH SCORE 145458.834
AT ITER 3787 NEW BEST:: SOT 795395 SOS 558804 HAS SOPS 558605 HAS SOUS 144929 HAS SOUPS 144892 WITH SCORE 145450.804
AT ITER 3793 NEW BEST:: SOT 795391 SOS 558764 HAS SOPS 558565 HAS SOUS 144889 HAS SOUPS 144852 WITH SCORE 145410.764
AT ITER 3798 NEW BEST:: SOT 795373 SOS 558746 HAS SOPS 558547 HAS SOUS 144760 HAS SOUPS 144723 WITH SCORE 145281.746
AT ITER 3812 NEW BEST:: SOT 795311 SOS 558793 HAS SOPS 558594 HAS SOUS 144698 HAS SOUPS 144661 WITH SCORE 145219.793
AT ITER 3831 NEW BEST:: SOT 794974 SOS 558548 HAS SOPS 558349 HAS SOUS 144401 HAS SOUPS 144364 WITH SCORE 144922.548
AT ITER 3841 NEW BEST:: SOT 794965 SOS 558539 HAS SOPS 558340 HAS SOUS 144383 HAS SOUPS 144346 WITH SCORE 144904.539
AT ITER 3845 NEW BEST:: SOT 794962 SOS 558533 HAS SOPS 558334 HAS SOUS 144353 HAS SOUPS 144316 WITH SCORE 144874.533
AT ITER 3849 NEW BEST:: SOT 794902 SOS 558421 HAS SOPS 558222 HAS SOUS 144241 HAS SOUPS 144204 WITH SCORE 144762.421
AT ITER 3881 NEW BEST:: SOT 794609 SOS 558219 HAS SOPS 558020 HAS SOUS 144209 HAS SOUPS 144172 WITH SCORE 144730.219
AT ITER 3889 NEW BEST:: SOT 794197 SOS 557760 HAS SOPS 557561 HAS SOUS 144013 HAS SOUPS 143976 WITH SCORE 144533.76
AT ITER 3891 NEW BEST:: SOT 794196 SOS 557965 HAS SOPS 557766 HAS SOUS 144012 HAS SOUPS 143975 WITH SCORE 144532.965
AT ITER 3950 NEW BEST:: SOT 794177 SOS 557927 HAS SOPS 557728 HAS SOUS 143974 HAS SOUPS 143937 WITH SCORE 144494.927
AT ITER 3952 NEW BEST:: SOT 794164 SOS 557914 HAS SOPS 557715 HAS SOUS 143865 HAS SOUPS 143828 WITH SCORE 144385.914
AT ITER 3953 NEW BEST:: SOT 794167 SOS 557917 HAS SOPS 557718 HAS SOUS 143841 HAS SOUPS 143804 WITH SCORE 144361.917
AT ITER 3967 NEW BEST:: SOT 794307 SOS 557760 HAS SOPS 557561 HAS SOUS 143796 HAS SOUPS 143759 WITH SCORE 144316.76
AT ITER 3969 NEW BEST:: SOT 794461 SOS 557256 HAS SOPS 557057 HAS SOUS 143596 HAS SOUPS 143559 WITH SCORE 144116.256
AT ITER 3984 NEW BEST:: SOT 794435 SOS 556880 HAS SOPS 556681 HAS SOUS 143360 HAS SOUPS 143323 WITH SCORE 143879.88
AT ITER 4010 NEW BEST:: SOT 794435 SOS 554550 HAS SOPS 554351 HAS SOUS 143335 HAS SOUPS 143298 WITH SCORE 143852.55
AT ITER 4022 NEW BEST:: SOT 794418 SOS 554533 HAS SOPS 554334 HAS SOUS 143318 HAS SOUPS 143281 WITH SCORE 143835.533
AT ITER 4039 NEW BEST:: SOT 794379 SOS 554494 HAS SOPS 554295 HAS SOUS 143279 HAS SOUPS 143242 WITH SCORE 143796.494
AT ITER 4042 NEW BEST:: SOT 794331 SOS 554398 HAS SOPS 554199 HAS SOUS 143183 HAS SOUPS 143146 WITH SCORE 143700.398
AT ITER 4077 NEW BEST:: SOT 794314 SOS 554381 HAS SOPS 554182 HAS SOUS 143166 HAS SOUPS 143129 WITH SCORE 143683.381
AT ITER 4086 NEW BEST:: SOT 794270 SOS 554293 HAS SOPS 554094 HAS SOUS 143078 HAS SOUPS 143041 WITH SCORE 143595.293
AT ITER 4090 NEW BEST:: SOT 794267 SOS 554287 HAS SOPS 554088 HAS SOUS 143048 HAS SOUPS 143011 WITH SCORE 143565.287
AT ITER 4111 NEW BEST:: SOT 794242 SOS 554282 HAS SOPS 554083 HAS SOUS 143023 HAS SOUPS 142986 WITH SCORE 143540.282
AT ITER 4137 NEW BEST:: SOT 794241 SOS 554281 HAS SOPS 554082 HAS SOUS 143021 HAS SOUPS 142984 WITH SCORE 143538.281
AT ITER 4138 NEW BEST:: SOT 794234 SOS 554267 HAS SOPS 554068 HAS SOUS 142944 HAS SOUPS 142907 WITH SCORE 143461.267
AT ITER 4141 NEW BEST:: SOT 794234 SOS 554267 HAS SOPS 554068 HAS SOUS 142937 HAS SOUPS 142900 WITH SCORE 143454.267
AT ITER 4158 NEW BEST:: SOT 794233 SOS 554265 HAS SOPS 554066 HAS SOUS 142936 HAS SOUPS 142899 WITH SCORE 143453.265
AT ITER 4185 NEW BEST:: SOT 794233 SOS 554265 HAS SOPS 554066 HAS SOUS 142934 HAS SOUPS 142897 WITH SCORE 143451.265
AT ITER 4187 NEW BEST:: SOT 794233 SOS 554262 HAS SOPS 554063 HAS SOUS 142934 HAS SOUPS 142897 WITH SCORE 143451.262
AT ITER 4188 NEW BEST:: SOT 794227 SOS 554250 HAS SOPS 554051 HAS SOUS 142928 HAS SOUPS 142891 WITH SCORE 143445.25
AT ITER 4199 NEW BEST:: SOT 794117 SOS 554077 HAS SOPS 553878 HAS SOUS 142692 HAS SOUPS 142655 WITH SCORE 143209.077
AT ITER 4207 NEW BEST:: SOT 794117 SOS 554077 HAS SOPS 553878 HAS SOUS 142689 HAS SOUPS 142652 WITH SCORE 143206.077
AT ITER 4224 NEW BEST:: SOT 794100 SOS 554043 HAS SOPS 553844 HAS SOUS 142672 HAS SOUPS 142635 WITH SCORE 143189.043
AT ITER 4227 NEW BEST:: SOT 794223 SOS 554166 HAS SOPS 553967 HAS SOUS 142666 HAS SOUPS 142629 WITH SCORE 143183.166
AT ITER 4241 NEW BEST:: SOT 794186 SOS 554105 HAS SOPS 553906 HAS SOUS 142629 HAS SOUPS 142592 WITH SCORE 143146.105
AT ITER 4251 NEW BEST:: SOT 794222 SOS 554109 HAS SOPS 553910 HAS SOUS 142582 HAS SOUPS 142545 WITH SCORE 143099.109
AT ITER 4304 NEW BEST:: SOT 794222 SOS 554109 HAS SOPS 553910 HAS SOUS 142540 HAS SOUPS 142503 WITH SCORE 143057.109
AT ITER 4307 NEW BEST:: SOT 794173 SOS 554031 HAS SOPS 553832 HAS SOUS 142495 HAS SOUPS 142458 WITH SCORE 143012.031
AT ITER 4332 NEW BEST:: SOT 794154 SOS 553993 HAS SOPS 553794 HAS SOUS 142457 HAS SOUPS 142420 WITH SCORE 142973.993
AT ITER 4346 NEW BEST:: SOT 794154 SOS 553850 HAS SOPS 553651 HAS SOUS 142457 HAS SOUPS 142420 WITH SCORE 142973.85
AT ITER 4350 NEW BEST:: SOT 794053 SOS 553723 HAS SOPS 553524 HAS SOUS 142169 HAS SOUPS 142132 WITH SCORE 142685.723
AT ITER 4366 NEW BEST:: SOT 794034 SOS 553685 HAS SOPS 553486 HAS SOUS 142131 HAS SOUPS 142094 WITH SCORE 142647.685
AT ITER 4369 NEW BEST:: SOT 794034 SOS 553685 HAS SOPS 553486 HAS SOUS 142127 HAS SOUPS 142090 WITH SCORE 142643.685
AT ITER 4385 NEW BEST:: SOT 794033 SOS 553675 HAS SOPS 553476 HAS SOUS 142116 HAS SOUPS 142079 WITH SCORE 142632.675
AT ITER 4389 NEW BEST:: SOT 793953 SOS 553552 HAS SOPS 553353 HAS SOUS 141941 HAS SOUPS 141904 WITH SCORE 142457.552
AT ITER 4418 NEW BEST:: SOT 794044 SOS 553643 HAS SOPS 553444 HAS SOUS 141906 HAS SOUPS 141869 WITH SCORE 142422.643
AT ITER 4422 NEW BEST:: SOT 794040 SOS 553605 HAS SOPS 553406 HAS SOUS 141877 HAS SOUPS 141840 WITH SCORE 142393.605
AT ITER 4429 NEW BEST:: SOT 794034 SOS 553599 HAS SOPS 553400 HAS SOUS 141846 HAS SOUPS 141809 WITH SCORE 142362.599
AT ITER 4431 NEW BEST:: SOT 793960 SOS 553554 HAS SOPS 553341 HAS SOUS 141834 HAS SOUPS 141797 WITH SCORE 142350.554
AT ITER 4435 NEW BEST:: SOT 793941 SOS 553500 HAS SOPS 553287 HAS SOUS 141785 HAS SOUPS 141748 WITH SCORE 142301.5
AT ITER 4449 NEW BEST:: SOT 793925 SOS 553484 HAS SOPS 553271 HAS SOUS 141753 HAS SOUPS 141716 WITH SCORE 142269.484
AT ITER 4453 NEW BEST:: SOT 793922 SOS 553478 HAS SOPS 553265 HAS SOUS 141747 HAS SOUPS 141710 WITH SCORE 142263.478
AT ITER 4481 NEW BEST:: SOT 793883 SOS 553400 HAS SOPS 553187 HAS SOUS 141657 HAS SOUPS 141620 WITH SCORE 142173.4
AT ITER 4518 NEW BEST:: SOT 793881 SOS 553396 HAS SOPS 553183 HAS SOUS 141384 HAS SOUPS 141347 WITH SCORE 141900.396
AT ITER 4550 NEW BEST:: SOT 793854 SOS 553158 HAS SOPS 552945 HAS SOUS 141132 HAS SOUPS 141095 WITH SCORE 141648.158
AT ITER 4568 NEW BEST:: SOT 793930 SOS 553234 HAS SOPS 553021 HAS SOUS 141122 HAS SOUPS 141085 WITH SCORE 141638.234
AT ITER 4580 NEW BEST:: SOT 793982 SOS 553240 HAS SOPS 553027 HAS SOUS 141032 HAS SOUPS 140995 WITH SCORE 141548.24
AT ITER 4607 NEW BEST:: SOT 793979 SOS 553221 HAS SOPS 553008 HAS SOUS 141013 HAS SOUPS 140976 WITH SCORE 141529.221
AT ITER 4638 NEW BEST:: SOT 793974 SOS 553211 HAS SOPS 552998 HAS SOUS 140963 HAS SOUPS 140926 WITH SCORE 141479.211
AT ITER 4700 NEW BEST:: SOT 793897 SOS 553193 HAS SOPS 552980 HAS SOUS 140935 HAS SOUPS 140898 WITH SCORE 141451.193
AT ITER 4704 NEW BEST:: SOT 794067 SOS 553160 HAS SOPS 552947 HAS SOUS 140929 HAS SOUPS 140892 WITH SCORE 141445.16
AT ITER 4713 NEW BEST:: SOT 794055 SOS 553148 HAS SOPS 552935 HAS SOUS 140905 HAS SOUPS 140868 WITH SCORE 141421.148
AT ITER 4714 NEW BEST:: SOT 794055 SOS 553130 HAS SOPS 552917 HAS SOUS 140761 HAS SOUPS 140724 WITH SCORE 141277.13
AT ITER 4743 NEW BEST:: SOT 794054 SOS 553127 HAS SOPS 552914 HAS SOUS 140753 HAS SOUPS 140716 WITH SCORE 141269.127
AT ITER 4755 NEW BEST:: SOT 793941 SOS 553026 HAS SOPS 552813 HAS SOUS 140652 HAS SOUPS 140615 WITH SCORE 141168.026
AT ITER 4757 NEW BEST:: SOT 793922 SOS 549530 HAS SOPS 549317 HAS SOUS 140614 HAS SOUPS 140577 WITH SCORE 141126.53
AT ITER 4767 NEW BEST:: SOT 793873 SOS 549481 HAS SOPS 549268 HAS SOUS 140552 HAS SOUPS 140515 WITH SCORE 141064.481
AT ITER 4789 NEW BEST:: SOT 793873 SOS 549469 HAS SOPS 549256 HAS SOUS 140540 HAS SOUPS 140503 WITH SCORE 141052.469
AT ITER 4798 NEW BEST:: SOT 793877 SOS 549473 HAS SOPS 549260 HAS SOUS 140465 HAS SOUPS 140428 WITH SCORE 140977.473
AT ITER 4801 NEW BEST:: SOT 793874 SOS 549467 HAS SOPS 549254 HAS SOUS 140445 HAS SOUPS 140408 WITH SCORE 140957.467
AT ITER 4815 NEW BEST:: SOT 793834 SOS 549467 HAS SOPS 549254 HAS SOUS 140415 HAS SOUPS 140378 WITH SCORE 140927.467
AT ITER 4819 NEW BEST:: SOT 793823 SOS 549445 HAS SOPS 549232 HAS SOUS 140393 HAS SOUPS 140356 WITH SCORE 140905.445
AT ITER 4849 NEW BEST:: SOT 793823 SOS 549348 HAS SOPS 549135 HAS SOUS 140374 HAS SOUPS 140337 WITH SCORE 140886.348
AT ITER 4883 NEW BEST:: SOT 793836 SOS 549361 HAS SOPS 549148 HAS SOUS 140254 HAS SOUPS 140217 WITH SCORE 140766.361
AT ITER 4892 NEW BEST:: SOT 793821 SOS 549322 HAS SOPS 549109 HAS SOUS 140215 HAS SOUPS 140178 WITH SCORE 140727.322
AT ITER 4905 NEW BEST:: SOT 793676 SOS 549207 HAS SOPS 548994 HAS SOUS 140100 HAS SOUPS 140063 WITH SCORE 140612.207
AT ITER 4921 NEW BEST:: SOT 793676 SOS 549207 HAS SOPS 548994 HAS SOUS 140092 HAS SOUPS 140055 WITH SCORE 140604.207
AT ITER 4945 NEW BEST:: SOT 793620 SOS 549137 HAS SOPS 548924 HAS SOUS 139980 HAS SOUPS 139943 WITH SCORE 140492.137
AT ITER 4949 NEW BEST:: SOT 793594 SOS 549095 HAS SOPS 548882 HAS SOUS 139892 HAS SOUPS 139855 WITH SCORE 140404.095
AT ITER 4958 NEW BEST:: SOT 793591 SOS 549089 HAS SOPS 548876 HAS SOUS 139886 HAS SOUPS 139849 WITH SCORE 140398.089
AT ITER 4977 NEW BEST:: SOT 793558 SOS 549010 HAS SOPS 548797 HAS SOUS 139820 HAS SOUPS 139783 WITH SCORE 140332.01
AT ITER 4981 NEW BEST:: SOT 793522 SOS 548938 HAS SOPS 548725 HAS SOUS 139757 HAS SOUPS 139720 WITH SCORE 140268.938
AT ITER 4989 NEW BEST:: SOT 793512 SOS 548928 HAS SOPS 548715 HAS SOUS 139737 HAS SOUPS 139700 WITH SCORE 140248.928
AT ITER 4999 NEW BEST:: SOT 793522 SOS 548887 HAS SOPS 548674 HAS SOUS 139724 HAS SOUPS 139687 WITH SCORE 140235.887
AT ITER 5002 NEW BEST:: SOT 793510 SOS 548845 HAS SOPS 548632 HAS SOUS 139694 HAS SOUPS 139657 WITH SCORE 140205.845
AT ITER 5003 NEW BEST:: SOT 793277 SOS 548650 HAS SOPS 548437 HAS SOUS 139452 HAS SOUPS 139415 WITH SCORE 139963.65
AT ITER 5005 NEW BEST:: SOT 793263 SOS 548636 HAS SOPS 548423 HAS SOUS 139438 HAS SOUPS 139401 WITH SCORE 139949.636
AT ITER 5007 NEW BEST:: SOT 793255 SOS 548600 HAS SOPS 548387 HAS SOUS 139413 HAS SOUPS 139376 WITH SCORE 139924.6
AT ITER 5014 NEW BEST:: SOT 793241 SOS 548600 HAS SOPS 548387 HAS SOUS 139385 HAS SOUPS 139348 WITH SCORE 139896.6
AT ITER 5022 NEW BEST:: SOT 793198 SOS 548557 HAS SOPS 548344 HAS SOUS 139299 HAS SOUPS 139262 WITH SCORE 139810.557
AT ITER 5031 NEW BEST:: SOT 793162 SOS 548481 HAS SOPS 548268 HAS SOUS 139282 HAS SOUPS 139245 WITH SCORE 139793.481
AT ITER 5036 NEW BEST:: SOT 793235 SOS 548444 HAS SOPS 548231 HAS SOUS 138871 HAS SOUPS 138834 WITH SCORE 139382.444
AT ITER 5061 NEW BEST:: SOT 793218 SOS 548427 HAS SOPS 548214 HAS SOUS 138837 HAS SOUPS 138800 WITH SCORE 139348.427
AT ITER 5062 NEW BEST:: SOT 793202 SOS 548411 HAS SOPS 548198 HAS SOUS 138837 HAS SOUPS 138800 WITH SCORE 139348.411
AT ITER 5070 NEW BEST:: SOT 793146 SOS 548449 HAS SOPS 548236 HAS SOUS 138781 HAS SOUPS 138744 WITH SCORE 139292.449
AT ITER 5087 NEW BEST:: SOT 793101 SOS 548331 HAS SOPS 548118 HAS SOUS 138733 HAS SOUPS 138696 WITH SCORE 139244.331
AT ITER 5117 NEW BEST:: SOT 793090 SOS 548320 HAS SOPS 548107 HAS SOUS 138498 HAS SOUPS 138461 WITH SCORE 139009.32
AT ITER 5120 NEW BEST:: SOT 793076 SOS 533355 HAS SOPS 533142 HAS SOUS 138506 HAS SOUPS 138469 WITH SCORE 139002.355
AT ITER 5147 NEW BEST:: SOT 793070 SOS 533349 HAS SOPS 533136 HAS SOUS 138500 HAS SOUPS 138463 WITH SCORE 138996.349
AT ITER 5159 NEW BEST:: SOT 793040 SOS 533286 HAS SOPS 533073 HAS SOUS 138451 HAS SOUPS 138414 WITH SCORE 138947.286
AT ITER 5162 NEW BEST:: SOT 793040 SOS 533286 HAS SOPS 533073 HAS SOUS 138425 HAS SOUPS 138388 WITH SCORE 138921.286
AT ITER 5165 NEW BEST:: SOT 792912 SOS 533148 HAS SOPS 532935 HAS SOUS 138316 HAS SOUPS 138279 WITH SCORE 138812.148
AT ITER 5168 NEW BEST:: SOT 792912 SOS 533142 HAS SOPS 532935 HAS SOUS 138316 HAS SOUPS 138279 WITH SCORE 138812.142
AT ITER 5183 NEW BEST:: SOT 792895 SOS 533108 HAS SOPS 532901 HAS SOUS 138282 HAS SOUPS 138245 WITH SCORE 138778.108
AT ITER 5189 NEW BEST:: SOT 792921 SOS 533160 HAS SOPS 532953 HAS SOUS 138191 HAS SOUPS 138154 WITH SCORE 138687.16
AT ITER 5224 NEW BEST:: SOT 792900 SOS 533119 HAS SOPS 532912 HAS SOUS 138145 HAS SOUPS 138108 WITH SCORE 138641.119
AT ITER 5226 NEW BEST:: SOT 792877 SOS 533073 HAS SOPS 532866 HAS SOUS 138091 HAS SOUPS 138054 WITH SCORE 138587.073
AT ITER 5227 NEW BEST:: SOT 792801 SOS 532913 HAS SOPS 532706 HAS SOUS 137945 HAS SOUPS 137908 WITH SCORE 138440.913
AT ITER 5228 NEW BEST:: SOT 792801 SOS 532913 HAS SOPS 532706 HAS SOUS 137925 HAS SOUPS 137888 WITH SCORE 138420.913
AT ITER 5231 NEW BEST:: SOT 792783 SOS 532889 HAS SOPS 532682 HAS SOUS 137901 HAS SOUPS 137864 WITH SCORE 138396.889
AT ITER 5232 NEW BEST:: SOT 792775 SOS 532874 HAS SOPS 532667 HAS SOUS 137886 HAS SOUPS 137849 WITH SCORE 138381.874
AT ITER 5234 NEW BEST:: SOT 792753 SOS 532704 HAS SOPS 532497 HAS SOUS 137676 HAS SOUPS 137639 WITH SCORE 138171.704
AT ITER 5238 NEW BEST:: SOT 792750 SOS 532701 HAS SOPS 532494 HAS SOUS 137669 HAS SOUPS 137632 WITH SCORE 138164.701
AT ITER 5283 NEW BEST:: SOT 792723 SOS 532674 HAS SOPS 532467 HAS SOUS 137663 HAS SOUPS 137626 WITH SCORE 138158.674
AT ITER 5347 NEW BEST:: SOT 792692 SOS 532612 HAS SOPS 532405 HAS SOUS 137632 HAS SOUPS 137595 WITH SCORE 138127.612
AT ITER 5370 NEW BEST:: SOT 792797 SOS 532496 HAS SOPS 532289 HAS SOUS 137505 HAS SOUPS 137468 WITH SCORE 138000.496
AT ITER 5432 NEW BEST:: SOT 792739 SOS 532385 HAS SOPS 532178 HAS SOUS 137493 HAS SOUPS 137456 WITH SCORE 137988.385
AT ITER 5447 NEW BEST:: SOT 792724 SOS 532391 HAS SOPS 532147 HAS SOUS 137492 HAS SOUPS 137435 WITH SCORE 137967.391
AT ITER 5453 NEW BEST:: SOT 792706 SOS 532373 HAS SOPS 532129 HAS SOUS 137444 HAS SOUPS 137387 WITH SCORE 137919.373
AT ITER 5467 NEW BEST:: SOT 792670 SOS 532325 HAS SOPS 532081 HAS SOUS 137396 HAS SOUPS 137339 WITH SCORE 137871.325
AT ITER 5509 NEW BEST:: SOT 792663 SOS 532311 HAS SOPS 532067 HAS SOUS 137335 HAS SOUPS 137278 WITH SCORE 137810.311
AT ITER 5512 NEW BEST:: SOT 792663 SOS 532278 HAS SOPS 532034 HAS SOUS 137320 HAS SOUPS 137263 WITH SCORE 137795.278
AT ITER 5520 NEW BEST:: SOT 792671 SOS 532286 HAS SOPS 532042 HAS SOUS 137260 HAS SOUPS 137203 WITH SCORE 137735.286
AT ITER 5522 NEW BEST:: SOT 792664 SOS 463272 HAS SOPS 463028 HAS SOUS 137312 HAS SOUPS 137255 WITH SCORE 137718.272
AT ITER 5539 NEW BEST:: SOT 792633 SOS 463227 HAS SOPS 462983 HAS SOUS 137272 HAS SOUPS 137215 WITH SCORE 137678.227
AT ITER 5553 NEW BEST:: SOT 792543 SOS 463099 HAS SOPS 462855 HAS SOUS 137092 HAS SOUPS 137035 WITH SCORE 137498.099
AT ITER 5579 NEW BEST:: SOT 792522 SOS 463078 HAS SOPS 462834 HAS SOUS 137071 HAS SOUPS 137014 WITH SCORE 137477.078
AT ITER 5589 NEW BEST:: SOT 792521 SOS 463077 HAS SOPS 462833 HAS SOUS 137067 HAS SOUPS 137010 WITH SCORE 137473.077
AT ITER 5597 NEW BEST:: SOT 792518 SOS 463074 HAS SOPS 462830 HAS SOUS 137064 HAS SOUPS 137007 WITH SCORE 137470.074
AT ITER 5602 NEW BEST:: SOT 792513 SOS 463108 HAS SOPS 462864 HAS SOUS 137044 HAS SOUPS 136987 WITH SCORE 137450.108
AT ITER 5606 NEW BEST:: SOT 792399 SOS 463065 HAS SOPS 462821 HAS SOUS 136949 HAS SOUPS 136892 WITH SCORE 137355.065
AT ITER 5609 NEW BEST:: SOT 792389 SOS 463055 HAS SOPS 462811 HAS SOUS 136944 HAS SOUPS 136887 WITH SCORE 137350.055
AT ITER 5628 NEW BEST:: SOT 792436 SOS 462671 HAS SOPS 462427 HAS SOUS 136940 HAS SOUPS 136883 WITH SCORE 137345.671
AT ITER 5641 NEW BEST:: SOT 792401 SOS 462569 HAS SOPS 462325 HAS SOUS 136905 HAS SOUPS 136848 WITH SCORE 137310.569
AT ITER 5644 NEW BEST:: SOT 792401 SOS 462569 HAS SOPS 462325 HAS SOUS 136887 HAS SOUPS 136830 WITH SCORE 137292.569
AT ITER 5646 NEW BEST:: SOT 792401 SOS 462515 HAS SOPS 462271 HAS SOUS 136887 HAS SOUPS 136830 WITH SCORE 137292.515
AT ITER 5651 NEW BEST:: SOT 792357 SOS 462427 HAS SOPS 462183 HAS SOUS 136843 HAS SOUPS 136786 WITH SCORE 137248.427
AT ITER 5658 NEW BEST:: SOT 792316 SOS 462386 HAS SOPS 462142 HAS SOUS 136720 HAS SOUPS 136663 WITH SCORE 137125.386
AT ITER 5664 NEW BEST:: SOT 792112 SOS 461934 HAS SOPS 461690 HAS SOUS 136268 HAS SOUPS 136211 WITH SCORE 136672.934
AT ITER 5689 NEW BEST:: SOT 792041 SOS 461805 HAS SOPS 461561 HAS SOUS 136150 HAS SOUPS 136093 WITH SCORE 136554.805
AT ITER 5731 NEW BEST:: SOT 792041 SOS 461805 HAS SOPS 461561 HAS SOUS 136125 HAS SOUPS 136068 WITH SCORE 136529.805
AT ITER 5788 NEW BEST:: SOT 791951 SOS 461644 HAS SOPS 461400 HAS SOUS 135960 HAS SOUPS 135903 WITH SCORE 136364.644
AT ITER 5790 NEW BEST:: SOT 792836 SOS 462381 HAS SOPS 462137 HAS SOUS 135880 HAS SOUPS 135823 WITH SCORE 136285.381
AT ITER 5792 NEW BEST:: SOT 792798 SOS 462343 HAS SOPS 462099 HAS SOUS 135866 HAS SOUPS 135809 WITH SCORE 136271.343
AT ITER 5799 NEW BEST:: SOT 792778 SOS 462303 HAS SOPS 462059 HAS SOUS 135826 HAS SOUPS 135769 WITH SCORE 136231.303
AT ITER 5823 NEW BEST:: SOT 792778 SOS 452537 HAS SOPS 452293 HAS SOUS 135770 HAS SOUPS 135713 WITH SCORE 136165.537
AT ITER 5827 NEW BEST:: SOT 792040 SOS 451920 HAS SOPS 451676 HAS SOUS 135141 HAS SOUPS 135084 WITH SCORE 135535.92
AT ITER 5841 NEW BEST:: SOT 792065 SOS 451945 HAS SOPS 451701 HAS SOUS 135089 HAS SOUPS 135032 WITH SCORE 135483.945
AT ITER 5852 NEW BEST:: SOT 792096 SOS 451976 HAS SOPS 451732 HAS SOUS 135065 HAS SOUPS 135008 WITH SCORE 135459.976
AT ITER 5861 NEW BEST:: SOT 792094 SOS 451974 HAS SOPS 451730 HAS SOUS 135061 HAS SOUPS 135004 WITH SCORE 135455.974
AT ITER 5867 NEW BEST:: SOT 792094 SOS 451974 HAS SOPS 451730 HAS SOUS 134789 HAS SOUPS 134732 WITH SCORE 135183.974
AT ITER 5896 NEW BEST:: SOT 792109 SOS 451989 HAS SOPS 451745 HAS SOUS 134760 HAS SOUPS 134703 WITH SCORE 135154.989
AT ITER 5910 NEW BEST:: SOT 791999 SOS 451796 HAS SOPS 451598 HAS SOUS 134557 HAS SOUPS 134520 WITH SCORE 134971.796
AT ITER 5919 NEW BEST:: SOT 792037 SOS 443679 HAS SOPS 443481 HAS SOUS 134563 HAS SOUPS 134526 WITH SCORE 134969.679
AT ITER 5936 NEW BEST:: SOT 792037 SOS 443679 HAS SOPS 443481 HAS SOUS 134560 HAS SOUPS 134523 WITH SCORE 134966.679
AT ITER 5955 NEW BEST:: SOT 792035 SOS 443677 HAS SOPS 443479 HAS SOUS 134554 HAS SOUPS 134517 WITH SCORE 134960.677
AT ITER 5960 NEW BEST:: SOT 792407 SOS 443924 HAS SOPS 443726 HAS SOUS 134374 HAS SOUPS 134337 WITH SCORE 134780.924
AT ITER 5963 NEW BEST:: SOT 792390 SOS 443907 HAS SOPS 443709 HAS SOUS 134318 HAS SOUPS 134281 WITH SCORE 134724.907
AT ITER 6013 NEW BEST:: SOT 792392 SOS 443908 HAS SOPS 443710 HAS SOUS 134292 HAS SOUPS 134255 WITH SCORE 134698.908
AT ITER 6027 NEW BEST:: SOT 792375 SOS 443894 HAS SOPS 443696 HAS SOUS 134277 HAS SOUPS 134240 WITH SCORE 134683.894
AT ITER 6066 NEW BEST:: SOT 792311 SOS 443766 HAS SOPS 443568 HAS SOUS 134177 HAS SOUPS 134140 WITH SCORE 134583.766
AT ITER 6068 NEW BEST:: SOT 792029 SOS 443730 HAS SOPS 443532 HAS SOUS 133900 HAS SOUPS 133863 WITH SCORE 134306.73
AT ITER 6073 NEW BEST:: SOT 792003 SOS 443789 HAS SOPS 443591 HAS SOUS 133873 HAS SOUPS 133836 WITH SCORE 134279.789
AT ITER 6076 NEW BEST:: SOT 791912 SOS 443698 HAS SOPS 443500 HAS SOUS 133652 HAS SOUPS 133615 WITH SCORE 134058.698
AT ITER 6139 NEW BEST:: SOT 791855 SOS 443698 HAS SOPS 443500 HAS SOUS 133556 HAS SOUPS 133519 WITH SCORE 133962.698
AT ITER 6160 NEW BEST:: SOT 791855 SOS 443698 HAS SOPS 443500 HAS SOUS 133553 HAS SOUPS 133516 WITH SCORE 133959.698
AT ITER 6174 NEW BEST:: SOT 791855 SOS 443698 HAS SOPS 443500 HAS SOUS 133552 HAS SOUPS 133515 WITH SCORE 133958.698
AT ITER 6210 NEW BEST:: SOT 791823 SOS 443666 HAS SOPS 443468 HAS SOUS 133489 HAS SOUPS 133452 WITH SCORE 133895.666
AT ITER 6213 NEW BEST:: SOT 791753 SOS 443596 HAS SOPS 443398 HAS SOUS 133409 HAS SOUPS 133372 WITH SCORE 133815.596
AT ITER 6219 NEW BEST:: SOT 791753 SOS 443596 HAS SOPS 443390 HAS SOUS 133393 HAS SOUPS 133356 WITH SCORE 133799.596
AT ITER 6227 NEW BEST:: SOT 791730 SOS 443573 HAS SOPS 443367 HAS SOUS 133341 HAS SOUPS 133304 WITH SCORE 133747.573
AT ITER 6234 NEW BEST:: SOT 791730 SOS 443568 HAS SOPS 443362 HAS SOUS 133341 HAS SOUPS 133304 WITH SCORE 133747.568
AT ITER 6278 NEW BEST:: SOT 791673 SOS 443511 HAS SOPS 443305 HAS SOUS 133335 HAS SOUPS 133298 WITH SCORE 133741.511
AT ITER 6286 NEW BEST:: SOT 791593 SOS 443196 HAS SOPS 442990 HAS SOUS 133330 HAS SOUPS 133293 WITH SCORE 133736.196
AT ITER 6321 NEW BEST:: SOT 791569 SOS 443163 HAS SOPS 442957 HAS SOUS 133271 HAS SOUPS 133234 WITH SCORE 133677.163
AT ITER 6322 NEW BEST:: SOT 791569 SOS 443163 HAS SOPS 442957 HAS SOUS 133237 HAS SOUPS 133200 WITH SCORE 133643.163
AT ITER 6336 NEW BEST:: SOT 791555 SOS 443135 HAS SOPS 442929 HAS SOUS 133209 HAS SOUPS 133172 WITH SCORE 133615.135
AT ITER 6357 NEW BEST:: SOT 791495 SOS 443030 HAS SOPS 442824 HAS SOUS 133089 HAS SOUPS 133052 WITH SCORE 133495.03
AT ITER 6358 NEW BEST:: SOT 791430 SOS 442918 HAS SOPS 442712 HAS SOUS 132955 HAS SOUPS 132918 WITH SCORE 133360.918
AT ITER 6369 NEW BEST:: SOT 791401 SOS 442849 HAS SOPS 442643 HAS SOUS 132891 HAS SOUPS 132854 WITH SCORE 133296.849
AT ITER 6402 NEW BEST:: SOT 791330 SOS 442778 HAS SOPS 442572 HAS SOUS 132745 HAS SOUPS 132708 WITH SCORE 133150.778
AT ITER 6408 NEW BEST:: SOT 791317 SOS 442752 HAS SOPS 442546 HAS SOUS 132732 HAS SOUPS 132695 WITH SCORE 133137.752
AT ITER 6412 NEW BEST:: SOT 791305 SOS 442728 HAS SOPS 442522 HAS SOUS 132708 HAS SOUPS 132671 WITH SCORE 133113.728
AT ITER 6431 NEW BEST:: SOT 791251 SOS 442690 HAS SOPS 442484 HAS SOUS 132669 HAS SOUPS 132632 WITH SCORE 133074.69
AT ITER 6445 NEW BEST:: SOT 791657 SOS 380380 HAS SOPS 380174 HAS SOUS 132632 HAS SOUPS 132595 WITH SCORE 132975.38
AT ITER 6460 NEW BEST:: SOT 791651 SOS 380359 HAS SOPS 380158 HAS SOUS 132606 HAS SOUPS 132569 WITH SCORE 132949.359
AT ITER 6471 NEW BEST:: SOT 791651 SOS 380359 HAS SOPS 380158 HAS SOUS 132521 HAS SOUPS 132484 WITH SCORE 132864.359
AT ITER 6478 NEW BEST:: SOT 791644 SOS 380376 HAS SOPS 380175 HAS SOUS 132492 HAS SOUPS 132455 WITH SCORE 132835.376
AT ITER 6507 NEW BEST:: SOT 791642 SOS 380378 HAS SOPS 380177 HAS SOUS 132490 HAS SOUPS 132453 WITH SCORE 132833.378
AT ITER 6517 NEW BEST:: SOT 791642 SOS 380360 HAS SOPS 380167 HAS SOUS 132470 HAS SOUPS 132433 WITH SCORE 132813.36
AT ITER 6518 NEW BEST:: SOT 791638 SOS 380352 HAS SOPS 380159 HAS SOUS 132466 HAS SOUPS 132429 WITH SCORE 132809.352
AT ITER 6530 NEW BEST:: SOT 791617 SOS 380310 HAS SOPS 380117 HAS SOUS 132454 HAS SOUPS 132417 WITH SCORE 132797.31
AT ITER 6545 NEW BEST:: SOT 791589 SOS 380282 HAS SOPS 380089 HAS SOUS 132428 HAS SOUPS 132391 WITH SCORE 132771.282
AT ITER 6563 NEW BEST:: SOT 791575 SOS 380254 HAS SOPS 380061 HAS SOUS 132302 HAS SOUPS 132265 WITH SCORE 132645.254
AT ITER 6575 NEW BEST:: SOT 791506 SOS 380394 HAS SOPS 380201 HAS SOUS 132203 HAS SOUPS 132166 WITH SCORE 132546.394
AT ITER 6587 NEW BEST:: SOT 791494 SOS 380370 HAS SOPS 380177 HAS SOUS 132179 HAS SOUPS 132142 WITH SCORE 132522.37
AT ITER 6595 NEW BEST:: SOT 791883 SOS 380723 HAS SOPS 380530 HAS SOUS 132118 HAS SOUPS 132081 WITH SCORE 132461.723
AT ITER 6601 NEW BEST:: SOT 791879 SOS 380733 HAS SOPS 380540 HAS SOUS 132114 HAS SOUPS 132077 WITH SCORE 132457.733
AT ITER 6608 NEW BEST:: SOT 791871 SOS 380725 HAS SOPS 380532 HAS SOUS 132106 HAS SOUPS 132069 WITH SCORE 132449.725
AT ITER 6656 NEW BEST:: SOT 791865 SOS 380662 HAS SOPS 380469 HAS SOUS 132043 HAS SOUPS 132006 WITH SCORE 132386.662
AT ITER 6664 NEW BEST:: SOT 791886 SOS 380485 HAS SOPS 380292 HAS SOUS 131972 HAS SOUPS 131935 WITH SCORE 132315.485
AT ITER 6678 NEW BEST:: SOT 791915 SOS 380238 HAS SOPS 380045 HAS SOUS 131812 HAS SOUPS 131775 WITH SCORE 132155.238
AT ITER 6686 NEW BEST:: SOT 791899 SOS 380240 HAS SOPS 380013 HAS SOUS 131784 HAS SOUPS 131739 WITH SCORE 132119.24
AT ITER 6720 NEW BEST:: SOT 791833 SOS 380104 HAS SOPS 379877 HAS SOUS 131648 HAS SOUPS 131603 WITH SCORE 131983.104
AT ITER 6743 NEW BEST:: SOT 791833 SOS 380104 HAS SOPS 379877 HAS SOUS 131635 HAS SOUPS 131590 WITH SCORE 131970.104
AT ITER 6766 NEW BEST:: SOT 791960 SOS 379938 HAS SOPS 379711 HAS SOUS 131632 HAS SOUPS 131587 WITH SCORE 131966.938
AT ITER 6788 NEW BEST:: SOT 792020 SOS 379865 HAS SOPS 379638 HAS SOUS 131571 HAS SOUPS 131526 WITH SCORE 131905.865
AT ITER 6806 NEW BEST:: SOT 792011 SOS 379856 HAS SOPS 379629 HAS SOUS 131542 HAS SOUPS 131497 WITH SCORE 131876.856
AT ITER 6810 NEW BEST:: SOT 791947 SOS 379962 HAS SOPS 379735 HAS SOUS 131455 HAS SOUPS 131410 WITH SCORE 131789.962
AT ITER 6824 NEW BEST:: SOT 791915 SOS 379930 HAS SOPS 379703 HAS SOUS 131365 HAS SOUPS 131320 WITH SCORE 131699.93
AT ITER 6867 NEW BEST:: SOT 791843 SOS 379786 HAS SOPS 379559 HAS SOUS 131255 HAS SOUPS 131210 WITH SCORE 131589.786
AT ITER 6892 NEW BEST:: SOT 791836 SOS 379779 HAS SOPS 379552 HAS SOUS 131220 HAS SOUPS 131175 WITH SCORE 131554.779
AT ITER 6915 NEW BEST:: SOT 791835 SOS 379777 HAS SOPS 379550 HAS SOUS 131219 HAS SOUPS 131174 WITH SCORE 131553.777
AT ITER 6925 NEW BEST:: SOT 791822 SOS 380417 HAS SOPS 380190 HAS SOUS 131163 HAS SOUPS 131118 WITH SCORE 131498.417
AT ITER 6932 NEW BEST:: SOT 791790 SOS 380385 HAS SOPS 380158 HAS SOUS 131100 HAS SOUPS 131055 WITH SCORE 131435.385
AT ITER 6969 NEW BEST:: SOT 791775 SOS 380370 HAS SOPS 380143 HAS SOUS 131072 HAS SOUPS 131027 WITH SCORE 131407.37
AT ITER 6976 NEW BEST:: SOT 791732 SOS 380327 HAS SOPS 380100 HAS SOUS 131029 HAS SOUPS 130984 WITH SCORE 131364.327
AT ITER 6984 NEW BEST:: SOT 791732 SOS 380315 HAS SOPS 380088 HAS SOUS 131018 HAS SOUPS 130973 WITH SCORE 131353.315
AT ITER 7007 NEW BEST:: SOT 791732 SOS 380311 HAS SOPS 380084 HAS SOUS 131010 HAS SOUPS 130965 WITH SCORE 131345.311
AT ITER 7011 NEW BEST:: SOT 791745 SOS 380337 HAS SOPS 380110 HAS SOUS 131007 HAS SOUPS 130962 WITH SCORE 131342.337
AT ITER 7024 NEW BEST:: SOT 791745 SOS 380314 HAS SOPS 380087 HAS SOUS 131005 HAS SOUPS 130960 WITH SCORE 131340.314
AT ITER 7026 NEW BEST:: SOT 791726 SOS 380276 HAS SOPS 380049 HAS SOUS 130970 HAS SOUPS 130925 WITH SCORE 131305.276
AT ITER 7027 NEW BEST:: SOT 791707 SOS 380247 HAS SOPS 380020 HAS SOUS 130967 HAS SOUPS 130922 WITH SCORE 131302.247
AT ITER 7059 NEW BEST:: SOT 791693 SOS 380219 HAS SOPS 379992 HAS SOUS 130939 HAS SOUPS 130894 WITH SCORE 131274.219
AT ITER 7138 NEW BEST:: SOT 791693 SOS 381191 HAS SOPS 380964 HAS SOUS 130921 HAS SOUPS 130876 WITH SCORE 131257.191
AT ITER 7167 NEW BEST:: SOT 791677 SOS 381159 HAS SOPS 380932 HAS SOUS 130893 HAS SOUPS 130848 WITH SCORE 131229.159
AT ITER 7257 NEW BEST:: SOT 791589 SOS 381112 HAS SOPS 380885 HAS SOUS 130806 HAS SOUPS 130761 WITH SCORE 131142.112
AT ITER 7265 NEW BEST:: SOT 791578 SOS 381101 HAS SOPS 380874 HAS SOUS 130795 HAS SOUPS 130750 WITH SCORE 131131.101
AT ITER 7267 NEW BEST:: SOT 791578 SOS 381101 HAS SOPS 380874 HAS SOUS 130784 HAS SOUPS 130739 WITH SCORE 131120.101
AT ITER 7274 NEW BEST:: SOT 791575 SOS 381286 HAS SOPS 381059 HAS SOUS 130767 HAS SOUPS 130722 WITH SCORE 131103.286
AT ITER 7280 NEW BEST:: SOT 791510 SOS 380697 HAS SOPS 380470 HAS SOUS 130610 HAS SOUPS 130565 WITH SCORE 130945.697
AT ITER 7287 NEW BEST:: SOT 791505 SOS 380687 HAS SOPS 380460 HAS SOUS 130606 HAS SOUPS 130561 WITH SCORE 130941.687
AT ITER 7291 NEW BEST:: SOT 791493 SOS 380675 HAS SOPS 380448 HAS SOUS 130584 HAS SOUPS 130539 WITH SCORE 130919.675
AT ITER 7303 NEW BEST:: SOT 791477 SOS 380656 HAS SOPS 380429 HAS SOUS 130565 HAS SOUPS 130520 WITH SCORE 130900.656
AT ITER 7336 NEW BEST:: SOT 791459 SOS 380638 HAS SOPS 380411 HAS SOUS 130553 HAS SOUPS 130508 WITH SCORE 130888.638
AT ITER 7346 NEW BEST:: SOT 791459 SOS 380638 HAS SOPS 380411 HAS SOUS 130539 HAS SOUPS 130494 WITH SCORE 130874.638
AT ITER 7356 NEW BEST:: SOT 791450 SOS 380620 HAS SOPS 380393 HAS SOUS 130530 HAS SOUPS 130485 WITH SCORE 130865.62
AT ITER 7368 NEW BEST:: SOT 791443 SOS 380613 HAS SOPS 380386 HAS SOUS 130498 HAS SOUPS 130453 WITH SCORE 130833.613
AT ITER 7370 NEW BEST:: SOT 791428 SOS 380613 HAS SOPS 380386 HAS SOUS 130483 HAS SOUPS 130438 WITH SCORE 130818.613
AT ITER 7426 NEW BEST:: SOT 791416 SOS 380601 HAS SOPS 380374 HAS SOUS 130459 HAS SOUPS 130414 WITH SCORE 130794.601
AT ITER 7461 NEW BEST:: SOT 791260 SOS 380530 HAS SOPS 380303 HAS SOUS 130301 HAS SOUPS 130256 WITH SCORE 130636.53
AT ITER 7492 NEW BEST:: SOT 791259 SOS 380529 HAS SOPS 380302 HAS SOUS 130299 HAS SOUPS 130254 WITH SCORE 130634.529
AT ITER 7498 NEW BEST:: SOT 790857 SOS 401777 HAS SOPS 401550 HAS SOUS 130139 HAS SOUPS 130094 WITH SCORE 130495.777
AT ITER 7499 NEW BEST:: SOT 790844 SOS 401764 HAS SOPS 401537 HAS SOUS 130114 HAS SOUPS 130069 WITH SCORE 130470.764
AT ITER 7524 NEW BEST:: SOT 790840 SOS 401756 HAS SOPS 401529 HAS SOUS 130110 HAS SOUPS 130065 WITH SCORE 130466.756
AT ITER 7533 NEW BEST:: SOT 790861 SOS 401777 HAS SOPS 401550 HAS SOUS 130102 HAS SOUPS 130057 WITH SCORE 130458.777
AT ITER 7552 NEW BEST:: SOT 790760 SOS 401890 HAS SOPS 401663 HAS SOUS 130064 HAS SOUPS 130019 WITH SCORE 130420.89
AT ITER 7617 NEW BEST:: SOT 790754 SOS 401873 HAS SOPS 401646 HAS SOUS 130045 HAS SOUPS 130000 WITH SCORE 130401.873
AT ITER 7626 NEW BEST:: SOT 790732 SOS 401851 HAS SOPS 401624 HAS SOUS 130003 HAS SOUPS 129958 WITH SCORE 130359.851
AT ITER 7631 NEW BEST:: SOT 790732 SOS 401833 HAS SOPS 401606 HAS SOUS 130003 HAS SOUPS 129958 WITH SCORE 130359.833
AT ITER 7638 NEW BEST:: SOT 790712 SOS 401799 HAS SOPS 401572 HAS SOUS 129969 HAS SOUPS 129924 WITH SCORE 130325.799
AT ITER 7682 NEW BEST:: SOT 790712 SOS 401799 HAS SOPS 401572 HAS SOUS 129964 HAS SOUPS 129919 WITH SCORE 130320.799
AT ITER 7684 NEW BEST:: SOT 790877 SOS 401919 HAS SOPS 401692 HAS SOUS 129953 HAS SOUPS 129908 WITH SCORE 130309.919
AT ITER 7705 NEW BEST:: SOT 790828 SOS 401831 HAS SOPS 401604 HAS SOUS 129861 HAS SOUPS 129816 WITH SCORE 130217.831
AT ITER 7708 NEW BEST:: SOT 790824 SOS 401827 HAS SOPS 401600 HAS SOUS 129854 HAS SOUPS 129809 WITH SCORE 130210.827
AT ITER 7713 NEW BEST:: SOT 790772 SOS 401782 HAS SOPS 401555 HAS SOUS 129812 HAS SOUPS 129767 WITH SCORE 130168.782
AT ITER 7716 NEW BEST:: SOT 790685 SOS 401618 HAS SOPS 401391 HAS SOUS 129611 HAS SOUPS 129566 WITH SCORE 129967.618
AT ITER 7730 NEW BEST:: SOT 790679 SOS 401606 HAS SOPS 401379 HAS SOUS 129605 HAS SOUPS 129560 WITH SCORE 129961.606
AT ITER 7736 NEW BEST:: SOT 790669 SOS 401586 HAS SOPS 401359 HAS SOUS 129588 HAS SOUPS 129543 WITH SCORE 129944.586
AT ITER 7742 NEW BEST:: SOT 790616 SOS 401616 HAS SOPS 401389 HAS SOUS 129538 HAS SOUPS 129493 WITH SCORE 129894.616
AT ITER 7777 NEW BEST:: SOT 789598 SOS 400598 HAS SOPS 400371 HAS SOUS 129497 HAS SOUPS 129452 WITH SCORE 129852.598
AT ITER 7805 NEW BEST:: SOT 789581 SOS 400561 HAS SOPS 400334 HAS SOUS 129472 HAS SOUPS 129427 WITH SCORE 129827.561
AT ITER 7824 NEW BEST:: SOT 789892 SOS 400425 HAS SOPS 400198 HAS SOUS 129447 HAS SOUPS 129402 WITH SCORE 129802.425
AT ITER 7825 NEW BEST:: SOT 789894 SOS 400427 HAS SOPS 400200 HAS SOUS 129443 HAS SOUPS 129398 WITH SCORE 129798.427
AT ITER 7857 NEW BEST:: SOT 789898 SOS 400435 HAS SOPS 400208 HAS SOUS 129322 HAS SOUPS 129277 WITH SCORE 129677.435
AT ITER 7867 NEW BEST:: SOT 789890 SOS 400427 HAS SOPS 400200 HAS SOUS 129306 HAS SOUPS 129261 WITH SCORE 129661.427
AT ITER 7882 NEW BEST:: SOT 789897 SOS 400434 HAS SOPS 400207 HAS SOUS 129278 HAS SOUPS 129233 WITH SCORE 129633.434
AT ITER 7885 NEW BEST:: SOT 789820 SOS 400111 HAS SOPS 399884 HAS SOUS 129106 HAS SOUPS 129061 WITH SCORE 129461.111
AT ITER 7905 NEW BEST:: SOT 789797 SOS 400077 HAS SOPS 399850 HAS SOUS 129072 HAS SOUPS 129027 WITH SCORE 129427.077
AT ITER 7925 NEW BEST:: SOT 789874 SOS 400154 HAS SOPS 399927 HAS SOUS 129071 HAS SOUPS 129026 WITH SCORE 129426.154
AT ITER 7955 NEW BEST:: SOT 789870 SOS 400208 HAS SOPS 399981 HAS SOUS 129067 HAS SOUPS 129022 WITH SCORE 129422.208
AT ITER 8002 NEW BEST:: SOT 789862 SOS 400192 HAS SOPS 399965 HAS SOUS 129051 HAS SOUPS 129006 WITH SCORE 129406.192
AT ITER 8007 NEW BEST:: SOT 789852 SOS 400182 HAS SOPS 399955 HAS SOUS 129022 HAS SOUPS 128977 WITH SCORE 129377.182
AT ITER 8027 NEW BEST:: SOT 789808 SOS 400138 HAS SOPS 399911 HAS SOUS 128982 HAS SOUPS 128937 WITH SCORE 129337.138
AT ITER 8033 NEW BEST:: SOT 789807 SOS 400136 HAS SOPS 399909 HAS SOUS 128977 HAS SOUPS 128932 WITH SCORE 129332.136
AT ITER 8049 NEW BEST:: SOT 789791 SOS 400104 HAS SOPS 399877 HAS SOUS 128945 HAS SOUPS 128900 WITH SCORE 129300.104
AT ITER 8076 NEW BEST:: SOT 789678 SOS 399909 HAS SOPS 399682 HAS SOUS 128766 HAS SOUPS 128721 WITH SCORE 129120.909
AT ITER 8096 NEW BEST:: SOT 789667 SOS 399898 HAS SOPS 399671 HAS SOUS 128754 HAS SOUPS 128709 WITH SCORE 129108.898
AT ITER 8154 NEW BEST:: SOT 789553 SOS 399865 HAS SOPS 399638 HAS SOUS 128694 HAS SOUPS 128649 WITH SCORE 129048.865
AT ITER 8163 NEW BEST:: SOT 789547 SOS 399811 HAS SOPS 399584 HAS SOUS 128682 HAS SOUPS 128637 WITH SCORE 129036.811
AT ITER 8172 NEW BEST:: SOT 789541 SOS 399773 HAS SOPS 399546 HAS SOUS 128640 HAS SOUPS 128595 WITH SCORE 128994.773
AT ITER 8184 NEW BEST:: SOT 789530 SOS 399762 HAS SOPS 399535 HAS SOUS 128626 HAS SOUPS 128581 WITH SCORE 128980.762
AT ITER 8190 NEW BEST:: SOT 789530 SOS 399754 HAS SOPS 399527 HAS SOUS 128610 HAS SOUPS 128565 WITH SCORE 128964.754
AT ITER 8210 NEW BEST:: SOT 789529 SOS 399753 HAS SOPS 399526 HAS SOUS 128609 HAS SOUPS 128564 WITH SCORE 128963.753
AT ITER 8236 NEW BEST:: SOT 789531 SOS 399743 HAS SOPS 399516 HAS SOUS 128411 HAS SOUPS 128366 WITH SCORE 128765.743
AT ITER 8237 NEW BEST:: SOT 789531 SOS 399743 HAS SOPS 399516 HAS SOUS 128405 HAS SOUPS 128360 WITH SCORE 128759.743
AT ITER 8260 NEW BEST:: SOT 789537 SOS 399447 HAS SOPS 399220 HAS SOUS 128355 HAS SOUPS 128310 WITH SCORE 128709.447
AT ITER 8262 NEW BEST:: SOT 789510 SOS 399420 HAS SOPS 399193 HAS SOUS 128309 HAS SOUPS 128264 WITH SCORE 128663.42
AT ITER 8301 NEW BEST:: SOT 789453 SOS 399306 HAS SOPS 399079 HAS SOUS 128210 HAS SOUPS 128165 WITH SCORE 128564.306
AT ITER 8352 NEW BEST:: SOT 789448 SOS 399283 HAS SOPS 399056 HAS SOUS 128092 HAS SOUPS 128047 WITH SCORE 128446.283
AT ITER 8360 NEW BEST:: SOT 789446 SOS 399289 HAS SOPS 399061 HAS SOUS 128088 HAS SOUPS 128043 WITH SCORE 128442.289
AT ITER 8368 NEW BEST:: SOT 789438 SOS 399281 HAS SOPS 399053 HAS SOUS 128063 HAS SOUPS 128018 WITH SCORE 128417.281
AT ITER 8393 NEW BEST:: SOT 789409 SOS 399252 HAS SOPS 399024 HAS SOUS 128063 HAS SOUPS 128018 WITH SCORE 128417.252
AT ITER 8473 NEW BEST:: SOT 789396 SOS 399226 HAS SOPS 398998 HAS SOUS 128007 HAS SOUPS 127962 WITH SCORE 128361.226
AT ITER 8485 NEW BEST:: SOT 789384 SOS 399203 HAS SOPS 398975 HAS SOUS 127984 HAS SOUPS 127939 WITH SCORE 128338.203
AT ITER 8523 NEW BEST:: SOT 789384 SOS 399203 HAS SOPS 398975 HAS SOUS 127974 HAS SOUPS 127929 WITH SCORE 128328.203
AT ITER 8525 NEW BEST:: SOT 789377 SOS 399189 HAS SOPS 398961 HAS SOUS 127967 HAS SOUPS 127922 WITH SCORE 128321.189
AT ITER 8544 NEW BEST:: SOT 789024 SOS 398927 HAS SOPS 398699 HAS SOUS 127755 HAS SOUPS 127710 WITH SCORE 128108.927
AT ITER 8557 NEW BEST:: SOT 789024 SOS 398927 HAS SOPS 398699 HAS SOUS 127745 HAS SOUPS 127700 WITH SCORE 128098.927
AT ITER 8671 NEW BEST:: SOT 789024 SOS 398927 HAS SOPS 398699 HAS SOUS 127709 HAS SOUPS 127664 WITH SCORE 128062.927
AT ITER 8694 NEW BEST:: SOT 789004 SOS 398887 HAS SOPS 398659 HAS SOUS 127644 HAS SOUPS 127599 WITH SCORE 127997.887
AT ITER 8739 NEW BEST:: SOT 788999 SOS 398882 HAS SOPS 398654 HAS SOUS 127639 HAS SOUPS 127594 WITH SCORE 127992.882
AT ITER 8812 NEW BEST:: SOT 788988 SOS 398871 HAS SOPS 398643 HAS SOUS 127628 HAS SOUPS 127583 WITH SCORE 127981.871
AT ITER 8820 NEW BEST:: SOT 788989 SOS 398846 HAS SOPS 398618 HAS SOUS 127602 HAS SOUPS 127557 WITH SCORE 127955.846
AT ITER 8832 NEW BEST:: SOT 788958 SOS 398624 HAS SOPS 398396 HAS SOUS 127540 HAS SOUPS 127495 WITH SCORE 127893.624
AT ITER 8867 NEW BEST:: SOT 788932 SOS 398572 HAS SOPS 398344 HAS SOUS 127521 HAS SOUPS 127476 WITH SCORE 127874.572
AT ITER 8877 NEW BEST:: SOT 788932 SOS 398572 HAS SOPS 398344 HAS SOUS 127384 HAS SOUPS 127339 WITH SCORE 127737.572
AT ITER 8900 NEW BEST:: SOT 788932 SOS 398565 HAS SOPS 398337 HAS SOUS 127370 HAS SOUPS 127325 WITH SCORE 127723.565
AT ITER 8933 NEW BEST:: SOT 788891 SOS 398481 HAS SOPS 398253 HAS SOUS 127304 HAS SOUPS 127259 WITH SCORE 127657.481
AT ITER 8948 NEW BEST:: SOT 788891 SOS 398481 HAS SOPS 398253 HAS SOUS 127294 HAS SOUPS 127249 WITH SCORE 127647.481
AT ITER 8959 NEW BEST:: SOT 788927 SOS 398517 HAS SOPS 398289 HAS SOUS 127168 HAS SOUPS 127123 WITH SCORE 127521.517
AT ITER 8967 NEW BEST:: SOT 788816 SOS 398295 HAS SOPS 398067 HAS SOUS 126996 HAS SOUPS 126951 WITH SCORE 127349.295
AT ITER 9012 NEW BEST:: SOT 788696 SOS 398222 HAS SOPS 397994 HAS SOUS 126923 HAS SOUPS 126878 WITH SCORE 127276.222
AT ITER 9026 NEW BEST:: SOT 788679 SOS 398205 HAS SOPS 397977 HAS SOUS 126919 HAS SOUPS 126874 WITH SCORE 127272.205
AT ITER 9034 NEW BEST:: SOT 788713 SOS 398239 HAS SOPS 398011 HAS SOUS 126896 HAS SOUPS 126851 WITH SCORE 127249.239
AT ITER 9035 NEW BEST:: SOT 788697 SOS 398223 HAS SOPS 397995 HAS SOUS 126880 HAS SOUPS 126835 WITH SCORE 127233.223
AT ITER 9067 NEW BEST:: SOT 788691 SOS 398211 HAS SOPS 397983 HAS SOUS 126870 HAS SOUPS 126825 WITH SCORE 127223.211
AT ITER 9111 NEW BEST:: SOT 788691 SOS 398211 HAS SOPS 397983 HAS SOUS 126866 HAS SOUPS 126821 WITH SCORE 127219.211
AT ITER 9118 NEW BEST:: SOT 788679 SOS 398255 HAS SOPS 398027 HAS SOUS 126854 HAS SOUPS 126809 WITH SCORE 127207.255
AT ITER 9126 NEW BEST:: SOT 790273 SOS 399813 HAS SOPS 399585 HAS SOUS 126714 HAS SOUPS 126669 WITH SCORE 127068.813
AT ITER 9155 NEW BEST:: SOT 790275 SOS 399816 HAS SOPS 399588 HAS SOUS 126697 HAS SOUPS 126652 WITH SCORE 127051.816
AT ITER 9163 NEW BEST:: SOT 790275 SOS 399828 HAS SOPS 399600 HAS SOUS 126682 HAS SOUPS 126637 WITH SCORE 127036.828
AT ITER 9164 NEW BEST:: SOT 790275 SOS 399828 HAS SOPS 399600 HAS SOUS 126680 HAS SOUPS 126635 WITH SCORE 127034.828
AT ITER 9189 NEW BEST:: SOT 790226 SOS 399730 HAS SOPS 399502 HAS SOUS 126582 HAS SOUPS 126537 WITH SCORE 126936.73
AT ITER 9222 NEW BEST:: SOT 790130 SOS 399681 HAS SOPS 399453 HAS SOUS 126416 HAS SOUPS 126371 WITH SCORE 126770.681
AT ITER 9236 NEW BEST:: SOT 790124 SOS 399675 HAS SOPS 399447 HAS SOUS 126413 HAS SOUPS 126368 WITH SCORE 126767.675
AT ITER 9304 NEW BEST:: SOT 790159 SOS 399528 HAS SOPS 399300 HAS SOUS 126269 HAS SOUPS 126224 WITH SCORE 126623.528
AT ITER 9368 NEW BEST:: SOT 790147 SOS 399504 HAS SOPS 399276 HAS SOUS 126251 HAS SOUPS 126206 WITH SCORE 126605.504
AT ITER 9379 NEW BEST:: SOT 790147 SOS 399481 HAS SOPS 399253 HAS SOUS 126238 HAS SOUPS 126193 WITH SCORE 126592.481
AT ITER 9382 NEW BEST:: SOT 790057 SOS 398820 HAS SOPS 398592 HAS SOUS 126167 HAS SOUPS 126122 WITH SCORE 126520.82
AT ITER 9400 NEW BEST:: SOT 790046 SOS 398808 HAS SOPS 398580 HAS SOUS 126139 HAS SOUPS 126094 WITH SCORE 126492.808
AT ITER 9401 NEW BEST:: SOT 790015 SOS 398746 HAS SOPS 398518 HAS SOUS 126101 HAS SOUPS 126056 WITH SCORE 126454.746
AT ITER 9415 NEW BEST:: SOT 790015 SOS 398746 HAS SOPS 398518 HAS SOUS 126096 HAS SOUPS 126051 WITH SCORE 126449.746
AT ITER 9425 NEW BEST:: SOT 789993 SOS 398724 HAS SOPS 398496 HAS SOUS 126074 HAS SOUPS 126029 WITH SCORE 126427.724
AT ITER 9436 NEW BEST:: SOT 789993 SOS 398724 HAS SOPS 398496 HAS SOUS 126071 HAS SOUPS 126026 WITH SCORE 126424.724
AT ITER 9458 NEW BEST:: SOT 789982 SOS 398702 HAS SOPS 398474 HAS SOUS 126049 HAS SOUPS 126004 WITH SCORE 126402.702
AT ITER 9506 NEW BEST:: SOT 790126 SOS 398612 HAS SOPS 398384 HAS SOUS 125820 HAS SOUPS 125775 WITH SCORE 126173.612
AT ITER 9516 NEW BEST:: SOT 790111 SOS 398597 HAS SOPS 398369 HAS SOUS 125683 HAS SOUPS 125638 WITH SCORE 126036.597
AT ITER 9538 NEW BEST:: SOT 790111 SOS 398597 HAS SOPS 398369 HAS SOUS 125677 HAS SOUPS 125632 WITH SCORE 126030.597
AT ITER 9554 NEW BEST:: SOT 790107 SOS 398592 HAS SOPS 398364 HAS SOUS 125636 HAS SOUPS 125591 WITH SCORE 125989.592
AT ITER 9561 NEW BEST:: SOT 790103 SOS 398588 HAS SOPS 398360 HAS SOUS 125622 HAS SOUPS 125577 WITH SCORE 125975.588
AT ITER 9584 NEW BEST:: SOT 790052 SOS 398696 HAS SOPS 398468 HAS SOUS 125546 HAS SOUPS 125501 WITH SCORE 125899.696
AT ITER 9597 NEW BEST:: SOT 789998 SOS 398610 HAS SOPS 398382 HAS SOUS 125450 HAS SOUPS 125405 WITH SCORE 125803.61
AT ITER 9619 NEW BEST:: SOT 789992 SOS 398610 HAS SOPS 398382 HAS SOUS 125444 HAS SOUPS 125399 WITH SCORE 125797.61
AT ITER 9629 NEW BEST:: SOT 789964 SOS 398554 HAS SOPS 398326 HAS SOUS 125388 HAS SOUPS 125343 WITH SCORE 125741.554
AT ITER 9654 NEW BEST:: SOT 789943 SOS 398619 HAS SOPS 398391 HAS SOUS 125370 HAS SOUPS 125325 WITH SCORE 125723.619
AT ITER 9658 NEW BEST:: SOT 789943 SOS 398617 HAS SOPS 398389 HAS SOUS 125370 HAS SOUPS 125325 WITH SCORE 125723.617
AT ITER 9665 NEW BEST:: SOT 789943 SOS 398564 HAS SOPS 398336 HAS SOUS 125370 HAS SOUPS 125325 WITH SCORE 125723.564
AT ITER 9719 NEW BEST:: SOT 789911 SOS 398532 HAS SOPS 398304 HAS SOUS 125324 HAS SOUPS 125279 WITH SCORE 125677.532
AT ITER 9721 NEW BEST:: SOT 789901 SOS 398522 HAS SOPS 398294 HAS SOUS 125319 HAS SOUPS 125274 WITH SCORE 125672.522
AT ITER 9727 NEW BEST:: SOT 789862 SOS 398444 HAS SOPS 398216 HAS SOUS 125235 HAS SOUPS 125190 WITH SCORE 125588.444
AT ITER 9736 NEW BEST:: SOT 789862 SOS 398435 HAS SOPS 398207 HAS SOUS 125235 HAS SOUPS 125190 WITH SCORE 125588.435
AT ITER 9759 NEW BEST:: SOT 789842 SOS 398395 HAS SOPS 398167 HAS SOUS 125193 HAS SOUPS 125148 WITH SCORE 125546.395
AT ITER 9799 NEW BEST:: SOT 789835 SOS 398381 HAS SOPS 398153 HAS SOUS 125179 HAS SOUPS 125134 WITH SCORE 125532.381
AT ITER 9913 NEW BEST:: SOT 789823 SOS 398387 HAS SOPS 398159 HAS SOUS 125155 HAS SOUPS 125110 WITH SCORE 125508.387
AT ITER 9977 NEW BEST:: SOT 789789 SOS 398319 HAS SOPS 398091 HAS SOUS 125079 HAS SOUPS 125034 WITH SCORE 125432.319
AT ITER 9983 NEW BEST:: SOT 789789 SOS 398316 HAS SOPS 398091 HAS SOUS 125079 HAS SOUPS 125034 WITH SCORE 125432.316
AT ITER 9996 NEW BEST:: SOT 789772 SOS 398291 HAS SOPS 398066 HAS SOUS 125054 HAS SOUPS 125009 WITH SCORE 125407.291

BK_STOP 1678814187838

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 406 Killed ${SMART}/smart ${INPUT_SM}

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-S10J30"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is PolyORBNT-COL-S10J30, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873943200688"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-COL-S10J30.tgz
mv PolyORBNT-COL-S10J30 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 ;