fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r299-tall-167873953000488
Last Updated
May 14, 2023

About the Execution of Smart+red for PolyORBLF-COL-S06J06T08

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1030.107 3600000.00 3706580.00 6308.20 [undef] Time out reached

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 596K
-rw-r--r-- 1 mcc users 7.7K Feb 26 14:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 14:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 13:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 26 13:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 14:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 119K Feb 26 14:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 26 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 154K 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 1679494662861

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-COL-S06J06T08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 14:17:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 14:17:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 14:17:44] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-22 14:17:44] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 14:17:45] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 661 ms
[2023-03-22 14:17:45] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 894 PT places and 14420.0 transition bindings in 20 ms.
[2023-03-22 14:17:45] [INFO ] Unfolded HLPN to a Petri net with 894 places and 14334 transitions 119772 arcs in 201 ms.
[2023-03-22 14:17:45] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-22 14:17:45] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 894 places, 14334 transitions and 119772 arcs took 151 ms.
Total runtime 1115 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S06J06T08
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 894 places, 14334 transitions, 119772 arcs.
AT ITER 0 NEW BEST:: SOT 6195336 SOS 5583066 HAS SOPS 5573842 HAS SOUS 1010315 HAS SOUPS 1009319 WITH SCORE 1014902.066
AT ITER 5 NEW BEST:: SOT 6195048 SOS 5582730 HAS SOPS 5573506 HAS SOUS 1009985 HAS SOUPS 1008989 WITH SCORE 1014571.73
AT ITER 23 NEW BEST:: SOT 6194487 SOS 5582169 HAS SOPS 5572945 HAS SOUS 1009520 HAS SOUPS 1008524 WITH SCORE 1014106.169
AT ITER 26 NEW BEST:: SOT 6193281 SOS 5581187 HAS SOPS 5571963 HAS SOUS 1008538 HAS SOUPS 1007542 WITH SCORE 1013123.187
AT ITER 39 NEW BEST:: SOT 6193188 SOS 5581001 HAS SOPS 5571777 HAS SOUS 1008313 HAS SOUPS 1007317 WITH SCORE 1012898.001
AT ITER 41 NEW BEST:: SOT 6193188 SOS 5581214 HAS SOPS 5571990 HAS SOUS 1008225 HAS SOUPS 1007229 WITH SCORE 1012810.214
AT ITER 46 NEW BEST:: SOT 6192816 SOS 5580842 HAS SOPS 5571618 HAS SOUS 1007982 HAS SOUPS 1006986 WITH SCORE 1012566.842
AT ITER 50 NEW BEST:: SOT 6192782 SOS 5580706 HAS SOPS 5571482 HAS SOUS 1007948 HAS SOUPS 1006952 WITH SCORE 1012532.706
AT ITER 57 NEW BEST:: SOT 6192547 SOS 5580590 HAS SOPS 5571470 HAS SOUS 1007944 HAS SOUPS 1006948 WITH SCORE 1012528.59
AT ITER 70 NEW BEST:: SOT 6192547 SOS 5580760 HAS SOPS 5571640 HAS SOUS 1007927 HAS SOUPS 1006931 WITH SCORE 1012511.76
AT ITER 71 NEW BEST:: SOT 6192106 SOS 5580382 HAS SOPS 5569270 HAS SOUS 1007549 HAS SOUPS 1006283 WITH SCORE 1011863.382
AT ITER 72 NEW BEST:: SOT 6191590 SOS 5579866 HAS SOPS 5568754 HAS SOUS 1007135 HAS SOUPS 1005869 WITH SCORE 1011448.866
AT ITER 76 NEW BEST:: SOT 6191543 SOS 5579819 HAS SOPS 5568660 HAS SOUS 1007058 HAS SOUPS 1005775 WITH SCORE 1011354.819
AT ITER 77 NEW BEST:: SOT 6191519 SOS 5579675 HAS SOPS 5568516 HAS SOUS 1007058 HAS SOUPS 1005775 WITH SCORE 1011354.675
AT ITER 78 NEW BEST:: SOT 6191282 SOS 5579554 HAS SOPS 5568495 HAS SOUS 1006795 HAS SOUPS 1005512 WITH SCORE 1011091.554
AT ITER 79 NEW BEST:: SOT 6190914 SOS 5579113 HAS SOPS 5568054 HAS SOUS 1006175 HAS SOUPS 1004892 WITH SCORE 1010471.113
AT ITER 88 NEW BEST:: SOT 6190728 SOS 5578988 HAS SOPS 5568056 HAS SOUS 1006171 HAS SOUPS 1004888 WITH SCORE 1010466.988
AT ITER 102 NEW BEST:: SOT 6190520 SOS 5578780 HAS SOPS 5567952 HAS SOUS 1006107 HAS SOUPS 1004824 WITH SCORE 1010402.78
AT ITER 107 NEW BEST:: SOT 6190559 SOS 5578936 HAS SOPS 5568108 HAS SOUS 1006068 HAS SOUPS 1004785 WITH SCORE 1010363.936
AT ITER 110 NEW BEST:: SOT 6190244 SOS 5578558 HAS SOPS 5567730 HAS SOUS 1005501 HAS SOUPS 1004218 WITH SCORE 1009796.558
AT ITER 116 NEW BEST:: SOT 6190217 SOS 5578540 HAS SOPS 5567712 HAS SOUS 1005483 HAS SOUPS 1004200 WITH SCORE 1009778.54
AT ITER 119 NEW BEST:: SOT 6190217 SOS 5578965 HAS SOPS 5567649 HAS SOUS 1005483 HAS SOUPS 1004139 WITH SCORE 1009717.965
AT ITER 124 NEW BEST:: SOT 6189798 SOS 5578546 HAS SOPS 5567230 HAS SOUS 1005156 HAS SOUPS 1003812 WITH SCORE 1009390.546
AT ITER 131 NEW BEST:: SOT 6189360 SOS 5578035 HAS SOPS 5566719 HAS SOUS 1004280 HAS SOUPS 1002936 WITH SCORE 1008514.035
AT ITER 133 NEW BEST:: SOT 6187431 SOS 5576307 HAS SOPS 5564991 HAS SOUS 1002553 HAS SOUPS 1001209 WITH SCORE 1006785.307
AT ITER 145 NEW BEST:: SOT 6187129 SOS 5576005 HAS SOPS 5564689 HAS SOUS 1001972 HAS SOUPS 1000628 WITH SCORE 1006204.005
AT ITER 148 NEW BEST:: SOT 6187866 SOS 5577613 HAS SOPS 5566297 HAS SOUS 1001856 HAS SOUPS 1000512 WITH SCORE 1006089.613
AT ITER 149 NEW BEST:: SOT 6186633 SOS 5576606 HAS SOPS 5565290 HAS SOUS 1000834 HAS SOUPS 999490 WITH SCORE 1005066.606
AT ITER 161 NEW BEST:: SOT 6180831 SOS 5570968 HAS SOPS 5559652 HAS SOUS 998553 HAS SOUPS 997209 WITH SCORE 1002779.968
AT ITER 164 NEW BEST:: SOT 6180864 SOS 5571100 HAS SOPS 5559784 HAS SOUS 998520 HAS SOUPS 997176 WITH SCORE 1002747.1
AT ITER 180 NEW BEST:: SOT 6179598 SOS 5569398 HAS SOPS 5558082 HAS SOUS 997133 HAS SOUPS 995789 WITH SCORE 1001358.398
AT ITER 181 NEW BEST:: SOT 6178981 SOS 5568653 HAS SOPS 5557337 HAS SOUS 996527 HAS SOUPS 995183 WITH SCORE 1000751.653
AT ITER 185 NEW BEST:: SOT 6179168 SOS 5569214 HAS SOPS 5557898 HAS SOUS 995966 HAS SOUPS 994622 WITH SCORE 1000191.214
AT ITER 194 NEW BEST:: SOT 6177986 SOS 5572632 HAS SOPS 5561316 HAS SOUS 994199 HAS SOUPS 992855 WITH SCORE 998427.632
AT ITER 198 NEW BEST:: SOT 6177986 SOS 5573126 HAS SOPS 5561810 HAS SOUS 993619 HAS SOUPS 992275 WITH SCORE 997848.126
AT ITER 199 NEW BEST:: SOT 6177986 SOS 5573055 HAS SOPS 5561739 HAS SOUS 993201 HAS SOUPS 991857 WITH SCORE 997430.055
AT ITER 205 NEW BEST:: SOT 6177076 SOS 5572015 HAS SOPS 5560699 HAS SOUS 992161 HAS SOUPS 990817 WITH SCORE 996389.015
AT ITER 217 NEW BEST:: SOT 6176154 SOS 5570990 HAS SOPS 5559674 HAS SOUS 991283 HAS SOUPS 989939 WITH SCORE 995509.99
AT ITER 220 NEW BEST:: SOT 6176154 SOS 5571142 HAS SOPS 5559826 HAS SOUS 991244 HAS SOUPS 989900 WITH SCORE 995471.142
AT ITER 221 NEW BEST:: SOT 6176085 SOS 5571059 HAS SOPS 5559743 HAS SOUS 990488 HAS SOUPS 989144 WITH SCORE 994715.059
AT ITER 233 NEW BEST:: SOT 6175202 SOS 5570013 HAS SOPS 5558697 HAS SOUS 990178 HAS SOUPS 988834 WITH SCORE 994404.013
AT ITER 234 NEW BEST:: SOT 6165226 SOS 5560434 HAS SOPS 5549118 HAS SOUS 978570 HAS SOUPS 977226 WITH SCORE 982786.434
AT ITER 235 NEW BEST:: SOT 6164096 SOS 5559142 HAS SOPS 5547826 HAS SOUS 977282 HAS SOUPS 975938 WITH SCORE 981497.142
AT ITER 241 NEW BEST:: SOT 6163986 SOS 5558867 HAS SOPS 5547551 HAS SOUS 977172 HAS SOUPS 975828 WITH SCORE 981386.867
AT ITER 242 NEW BEST:: SOT 6163916 SOS 5558554 HAS SOPS 5547238 HAS SOUS 977079 HAS SOUPS 975735 WITH SCORE 981293.554
AT ITER 245 NEW BEST:: SOT 6163682 SOS 5558222 HAS SOPS 5546906 HAS SOUS 976314 HAS SOUPS 974970 WITH SCORE 980528.222
AT ITER 251 NEW BEST:: SOT 6163550 SOS 5558068 HAS SOPS 5546752 HAS SOUS 976064 HAS SOUPS 974720 WITH SCORE 980278.068
AT ITER 253 NEW BEST:: SOT 6163550 SOS 5558278 HAS SOPS 5546962 HAS SOUS 976022 HAS SOUPS 974678 WITH SCORE 980236.278
AT ITER 256 NEW BEST:: SOT 6164532 SOS 5559089 HAS SOPS 5547773 HAS SOUS 975566 HAS SOUPS 974222 WITH SCORE 979781.089
AT ITER 261 NEW BEST:: SOT 6164649 SOS 5557674 HAS SOPS 5546358 HAS SOUS 975417 HAS SOUPS 974073 WITH SCORE 979630.674
AT ITER 263 NEW BEST:: SOT 6164700 SOS 5557878 HAS SOPS 5546562 HAS SOUS 975366 HAS SOUPS 974022 WITH SCORE 979579.878
AT ITER 264 NEW BEST:: SOT 6164685 SOS 5557800 HAS SOPS 5546370 HAS SOUS 975281 HAS SOUPS 973829 WITH SCORE 979386.8
AT ITER 280 NEW BEST:: SOT 6164664 SOS 5557786 HAS SOPS 5546356 HAS SOUS 975267 HAS SOUPS 973815 WITH SCORE 979372.786
AT ITER 282 NEW BEST:: SOT 6163506 SOS 5557942 HAS SOPS 5546512 HAS SOUS 974493 HAS SOUPS 973041 WITH SCORE 978598.942
AT ITER 284 NEW BEST:: SOT 6163506 SOS 5557993 HAS SOPS 5546563 HAS SOUS 974297 HAS SOUPS 972845 WITH SCORE 978402.993
AT ITER 287 NEW BEST:: SOT 6163397 SOS 5557888 HAS SOPS 5546458 HAS SOUS 974289 HAS SOUPS 972837 WITH SCORE 978394.888
AT ITER 290 NEW BEST:: SOT 6163379 SOS 5557870 HAS SOPS 5546422 HAS SOUS 974253 HAS SOUPS 972801 WITH SCORE 978358.87
AT ITER 297 NEW BEST:: SOT 6158645 SOS 5554920 HAS SOPS 5541688 HAS SOUS 973260 HAS SOUPS 971585 WITH SCORE 977139.92
AT ITER 298 NEW BEST:: SOT 6209050 SOS 5605461 HAS SOPS 5592229 HAS SOUS 949944 HAS SOUPS 948269 WITH SCORE 953874.461
AT ITER 300 NEW BEST:: SOT 6209050 SOS 5605356 HAS SOPS 5592094 HAS SOUS 949937 HAS SOUPS 948239 WITH SCORE 953844.356
AT ITER 303 NEW BEST:: SOT 6208935 SOS 5605502 HAS SOPS 5592355 HAS SOUS 949822 HAS SOUPS 948124 WITH SCORE 953729.502
AT ITER 304 NEW BEST:: SOT 6208031 SOS 5604798 HAS SOPS 5591651 HAS SOUS 949224 HAS SOUPS 947526 WITH SCORE 953130.798
AT ITER 307 NEW BEST:: SOT 6208025 SOS 5604792 HAS SOPS 5591645 HAS SOUS 949218 HAS SOUPS 947520 WITH SCORE 953124.792
AT ITER 310 NEW BEST:: SOT 6207943 SOS 5604480 HAS SOPS 5591333 HAS SOUS 948906 HAS SOUPS 947208 WITH SCORE 952812.48
AT ITER 317 NEW BEST:: SOT 6206737 SOS 5603520 HAS SOPS 5590373 HAS SOUS 947737 HAS SOUPS 946039 WITH SCORE 951642.52
AT ITER 318 NEW BEST:: SOT 6206621 SOS 5603285 HAS SOPS 5590138 HAS SOUS 947715 HAS SOUPS 946017 WITH SCORE 951620.285
AT ITER 334 NEW BEST:: SOT 6206581 SOS 5603245 HAS SOPS 5590138 HAS SOUS 947475 HAS SOUPS 945777 WITH SCORE 951380.245
AT ITER 335 NEW BEST:: SOT 6206196 SOS 5602860 HAS SOPS 5589753 HAS SOUS 946861 HAS SOUPS 945163 WITH SCORE 950765.86
AT ITER 341 NEW BEST:: SOT 6206388 SOS 5603351 HAS SOPS 5590244 HAS SOUS 946647 HAS SOUPS 944949 WITH SCORE 950552.351
AT ITER 342 NEW BEST:: SOT 6205416 SOS 5602609 HAS SOPS 5589502 HAS SOUS 946036 HAS SOUPS 944338 WITH SCORE 949940.609
AT ITER 345 NEW BEST:: SOT 6205275 SOS 5602531 HAS SOPS 5589504 HAS SOUS 945944 HAS SOUPS 944246 WITH SCORE 949848.531
AT ITER 348 NEW BEST:: SOT 6205121 SOS 5602179 HAS SOPS 5589152 HAS SOUS 945768 HAS SOUPS 944070 WITH SCORE 949672.179
AT ITER 351 NEW BEST:: SOT 6204862 SOS 5601755 HAS SOPS 5588728 HAS SOUS 945454 HAS SOUPS 943756 WITH SCORE 949357.755
AT ITER 352 NEW BEST:: SOT 6204135 SOS 5602158 HAS SOPS 5589131 HAS SOUS 945114 HAS SOUPS 943416 WITH SCORE 949018.158
AT ITER 354 NEW BEST:: SOT 6204204 SOS 5602227 HAS SOPS 5589200 HAS SOUS 944862 HAS SOUPS 943164 WITH SCORE 948766.227
AT ITER 366 NEW BEST:: SOT 6203335 SOS 5601287 HAS SOPS 5588260 HAS SOUS 944050 HAS SOUPS 942352 WITH SCORE 947953.287
AT ITER 369 NEW BEST:: SOT 6203253 SOS 5601082 HAS SOPS 5588055 HAS SOUS 943968 HAS SOUPS 942270 WITH SCORE 947871.082
AT ITER 377 NEW BEST:: SOT 6202865 SOS 5600341 HAS SOPS 5587314 HAS SOUS 938335 HAS SOUPS 936637 WITH SCORE 942237.341
AT ITER 378 NEW BEST:: SOT 6202766 SOS 5600143 HAS SOPS 5587116 HAS SOUS 937800 HAS SOUPS 936102 WITH SCORE 941702.143
AT ITER 379 NEW BEST:: SOT 6202340 SOS 5599717 HAS SOPS 5586690 HAS SOUS 937059 HAS SOUPS 935361 WITH SCORE 940960.717
AT ITER 383 NEW BEST:: SOT 6202303 SOS 5599680 HAS SOPS 5586653 HAS SOUS 936985 HAS SOUPS 935287 WITH SCORE 940886.68
AT ITER 384 NEW BEST:: SOT 6201981 SOS 5598999 HAS SOPS 5585972 HAS SOUS 926282 HAS SOUPS 924584 WITH SCORE 930182.999
AT ITER 385 NEW BEST:: SOT 6201769 SOS 5598787 HAS SOPS 5585760 HAS SOUS 926123 HAS SOUPS 924425 WITH SCORE 930023.787
AT ITER 392 NEW BEST:: SOT 6201769 SOS 5598622 HAS SOPS 5585595 HAS SOUS 925958 HAS SOUPS 924260 WITH SCORE 929858.622
AT ITER 397 NEW BEST:: SOT 6201622 SOS 5598426 HAS SOPS 5585396 HAS SOUS 925651 HAS SOUPS 923953 WITH SCORE 929551.426
AT ITER 398 NEW BEST:: SOT 6201626 SOS 5598391 HAS SOPS 5585361 HAS SOUS 925273 HAS SOUPS 923575 WITH SCORE 929173.391
AT ITER 403 NEW BEST:: SOT 6201620 SOS 5599178 HAS SOPS 5586145 HAS SOUS 925130 HAS SOUPS 923432 WITH SCORE 929031.178
AT ITER 414 NEW BEST:: SOT 6202383 SOS 5599704 HAS SOPS 5586671 HAS SOUS 923544 HAS SOUPS 921846 WITH SCORE 927445.704
AT ITER 435 NEW BEST:: SOT 6203377 SOS 5600331 HAS SOPS 5587298 HAS SOUS 910746 HAS SOUPS 909048 WITH SCORE 914648.331
AT ITER 439 NEW BEST:: SOT 6203377 SOS 5600104 HAS SOPS 5587071 HAS SOUS 910475 HAS SOUPS 908777 WITH SCORE 914377.104
AT ITER 444 NEW BEST:: SOT 6203304 SOS 5599958 HAS SOPS 5586925 HAS SOUS 910256 HAS SOUPS 908558 WITH SCORE 914157.958
AT ITER 448 NEW BEST:: SOT 6203228 SOS 5599826 HAS SOPS 5586793 HAS SOUS 910179 HAS SOUPS 908481 WITH SCORE 914080.826
AT ITER 458 NEW BEST:: SOT 6202784 SOS 5599439 HAS SOPS 5586403 HAS SOUS 909606 HAS SOUPS 907908 WITH SCORE 913507.439
AT ITER 460 NEW BEST:: SOT 6335647 SOS 5732785 HAS SOPS 5719749 HAS SOUS 903660 HAS SOUPS 901962 WITH SCORE 907694.785
AT ITER 461 NEW BEST:: SOT 6335602 SOS 5732755 HAS SOPS 5719719 HAS SOUS 903630 HAS SOUPS 901932 WITH SCORE 907664.755
AT ITER 462 NEW BEST:: SOT 6335607 SOS 5732711 HAS SOPS 5719675 HAS SOUS 903586 HAS SOUPS 901888 WITH SCORE 907620.711
AT ITER 473 NEW BEST:: SOT 6335577 SOS 5732681 HAS SOPS 5719615 HAS SOUS 903526 HAS SOUPS 901828 WITH SCORE 907560.681
AT ITER 475 NEW BEST:: SOT 6332877 SOS 5751461 HAS SOPS 5739968 HAS SOUS 901348 HAS SOUPS 899839 WITH SCORE 905590.461
AT ITER 480 NEW BEST:: SOT 6332877 SOS 5750365 HAS SOPS 5738872 HAS SOUS 901208 HAS SOUPS 899699 WITH SCORE 905449.365
AT ITER 485 NEW BEST:: SOT 6332550 SOS 5750038 HAS SOPS 5738607 HAS SOUS 900207 HAS SOUPS 898698 WITH SCORE 904448.038
AT ITER 488 NEW BEST:: SOT 6332546 SOS 5750034 HAS SOPS 5738603 HAS SOUS 900207 HAS SOUPS 898698 WITH SCORE 904448.034
AT ITER 490 NEW BEST:: SOT 6332501 SOS 5749899 HAS SOPS 5738468 HAS SOUS 900072 HAS SOUPS 898563 WITH SCORE 904312.899
AT ITER 494 NEW BEST:: SOT 6332494 SOS 5750019 HAS SOPS 5738588 HAS SOUS 899847 HAS SOUPS 898338 WITH SCORE 904088.019
AT ITER 495 NEW BEST:: SOT 6332240 SOS 5749952 HAS SOPS 5738631 HAS SOUS 899650 HAS SOUPS 898141 WITH SCORE 903890.952
AT ITER 499 NEW BEST:: SOT 6353263 SOS 5775108 HAS SOPS 5763787 HAS SOUS 879320 HAS SOUPS 877811 WITH SCORE 883586.108
AT ITER 502 NEW BEST:: SOT 6353981 SOS 5776513 HAS SOPS 5765192 HAS SOUS 878251 HAS SOUPS 876742 WITH SCORE 882518.513
AT ITER 508 NEW BEST:: SOT 6353358 SOS 5776153 HAS SOPS 5764832 HAS SOUS 878029 HAS SOUPS 876520 WITH SCORE 882296.153
AT ITER 512 NEW BEST:: SOT 6353334 SOS 5776105 HAS SOPS 5764784 HAS SOUS 878005 HAS SOUPS 876496 WITH SCORE 882272.105
AT ITER 514 NEW BEST:: SOT 6353204 SOS 5775960 HAS SOPS 5764648 HAS SOUS 877867 HAS SOUPS 876358 WITH SCORE 882133.96
AT ITER 523 NEW BEST:: SOT 6342140 SOS 5765194 HAS SOPS 5753882 HAS SOUS 876539 HAS SOUPS 875030 WITH SCORE 880795.194
AT ITER 524 NEW BEST:: SOT 6342115 SOS 5765178 HAS SOPS 5753866 HAS SOUS 876506 HAS SOUPS 874997 WITH SCORE 880762.178
AT ITER 525 NEW BEST:: SOT 6342854 SOS 5766437 HAS SOPS 5755125 HAS SOUS 854409 HAS SOUPS 852900 WITH SCORE 858666.437
AT ITER 529 NEW BEST:: SOT 6342543 SOS 5766339 HAS SOPS 5755140 HAS SOUS 854027 HAS SOUPS 852518 WITH SCORE 858284.339
AT ITER 531 NEW BEST:: SOT 6343474 SOS 5767348 HAS SOPS 5756149 HAS SOUS 850422 HAS SOUPS 848913 WITH SCORE 854680.348
AT ITER 532 NEW BEST:: SOT 6343474 SOS 5767234 HAS SOPS 5756035 HAS SOUS 850080 HAS SOUPS 848571 WITH SCORE 854338.234
AT ITER 538 NEW BEST:: SOT 6343329 SOS 5767078 HAS SOPS 5755879 HAS SOUS 849674 HAS SOUPS 848165 WITH SCORE 853932.078
AT ITER 539 NEW BEST:: SOT 6343137 SOS 5766891 HAS SOPS 5755692 HAS SOUS 849476 HAS SOUPS 847967 WITH SCORE 853733.891
AT ITER 559 NEW BEST:: SOT 6342360 SOS 5766114 HAS SOPS 5754915 HAS SOUS 848682 HAS SOUPS 847173 WITH SCORE 852939.114
AT ITER 562 NEW BEST:: SOT 6341989 SOS 5765796 HAS SOPS 5754597 HAS SOUS 848000 HAS SOUPS 846491 WITH SCORE 852256.796
AT ITER 569 NEW BEST:: SOT 6340746 SOS 5764776 HAS SOPS 5753577 HAS SOUS 846856 HAS SOUPS 845347 WITH SCORE 851111.776
AT ITER 573 NEW BEST:: SOT 6340636 SOS 5760111 HAS SOPS 5748912 HAS SOUS 846631 HAS SOUPS 845122 WITH SCORE 850882.111
AT ITER 582 NEW BEST:: SOT 6340508 SOS 5759983 HAS SOPS 5748880 HAS SOUS 845991 HAS SOUPS 844482 WITH SCORE 850241.983
AT ITER 584 NEW BEST:: SOT 6340439 SOS 5759776 HAS SOPS 5748673 HAS SOUS 845922 HAS SOUPS 844413 WITH SCORE 850172.776
AT ITER 585 NEW BEST:: SOT 6341143 SOS 5761514 HAS SOPS 5750528 HAS SOUS 845904 HAS SOUPS 844395 WITH SCORE 850156.514
AT ITER 588 NEW BEST:: SOT 6340172 SOS 5760494 HAS SOPS 5749508 HAS SOUS 844968 HAS SOUPS 843459 WITH SCORE 849219.494
AT ITER 591 NEW BEST:: SOT 6339936 SOS 5760258 HAS SOPS 5749272 HAS SOUS 844285 HAS SOUPS 842776 WITH SCORE 848536.258
AT ITER 600 NEW BEST:: SOT 6339936 SOS 5760605 HAS SOPS 5749619 HAS SOUS 836648 HAS SOUPS 835139 WITH SCORE 840899.605
AT ITER 601 NEW BEST:: SOT 6339872 SOS 5760520 HAS SOPS 5749534 HAS SOUS 836583 HAS SOUPS 835074 WITH SCORE 840834.52
AT ITER 607 NEW BEST:: SOT 6339878 SOS 5760526 HAS SOPS 5749540 HAS SOUS 836581 HAS SOUPS 835072 WITH SCORE 840832.526
AT ITER 608 NEW BEST:: SOT 6339878 SOS 5760509 HAS SOPS 5749523 HAS SOUS 836564 HAS SOUPS 835055 WITH SCORE 840815.509
AT ITER 611 NEW BEST:: SOT 6339893 SOS 5760494 HAS SOPS 5749508 HAS SOUS 836549 HAS SOUPS 835040 WITH SCORE 840800.494
AT ITER 622 NEW BEST:: SOT 6339880 SOS 5760468 HAS SOPS 5749482 HAS SOUS 836523 HAS SOUPS 835014 WITH SCORE 840774.468
AT ITER 626 NEW BEST:: SOT 6339857 SOS 5760396 HAS SOPS 5749410 HAS SOUS 832605 HAS SOUPS 831096 WITH SCORE 836856.396
AT ITER 627 NEW BEST:: SOT 6339381 SOS 5759920 HAS SOPS 5748934 HAS SOUS 831842 HAS SOUPS 830333 WITH SCORE 836092.92
AT ITER 635 NEW BEST:: SOT 6339201 SOS 5759951 HAS SOPS 5749083 HAS SOUS 831816 HAS SOUPS 830307 WITH SCORE 836066.951
AT ITER 638 NEW BEST:: SOT 6228811 SOS 5649405 HAS SOPS 5638537 HAS SOUS 819424 HAS SOUPS 817915 WITH SCORE 823564.405
AT ITER 648 NEW BEST:: SOT 6228763 SOS 5649369 HAS SOPS 5638501 HAS SOUS 818923 HAS SOUPS 817414 WITH SCORE 823063.369
AT ITER 658 NEW BEST:: SOT 6177967 SOS 5598516 HAS SOPS 5587648 HAS SOUS 812948 HAS SOUPS 811439 WITH SCORE 817037.516
AT ITER 660 NEW BEST:: SOT 6177442 SOS 5598096 HAS SOPS 5587228 HAS SOUS 812512 HAS SOUPS 811003 WITH SCORE 816601.096
AT ITER 662 NEW BEST:: SOT 6177150 SOS 5598035 HAS SOPS 5587261 HAS SOUS 812121 HAS SOUPS 810612 WITH SCORE 816210.035
AT ITER 663 NEW BEST:: SOT 6177150 SOS 5597272 HAS SOPS 5586498 HAS SOUS 811825 HAS SOUPS 810316 WITH SCORE 815913.272
AT ITER 683 NEW BEST:: SOT 6177036 SOS 5597158 HAS SOPS 5586384 HAS SOUS 811813 HAS SOUPS 810304 WITH SCORE 815901.158
AT ITER 690 NEW BEST:: SOT 6176660 SOS 5596688 HAS SOPS 5585914 HAS SOUS 811577 HAS SOUPS 810068 WITH SCORE 815664.688
AT ITER 695 NEW BEST:: SOT 6176539 SOS 5596440 HAS SOPS 5585666 HAS SOUS 811454 HAS SOUPS 809945 WITH SCORE 815541.44
AT ITER 704 NEW BEST:: SOT 6176430 SOS 5596236 HAS SOPS 5585574 HAS SOUS 811399 HAS SOUPS 809890 WITH SCORE 815486.236
AT ITER 707 NEW BEST:: SOT 6176411 SOS 5596169 HAS SOPS 5585507 HAS SOUS 804746 HAS SOUPS 803237 WITH SCORE 808833.169
AT ITER 710 NEW BEST:: SOT 6176420 SOS 5596135 HAS SOPS 5585473 HAS SOUS 803897 HAS SOUPS 802388 WITH SCORE 807984.135
AT ITER 712 NEW BEST:: SOT 6176722 SOS 5596839 HAS SOPS 5586177 HAS SOUS 803883 HAS SOUPS 802374 WITH SCORE 807970.839
AT ITER 721 NEW BEST:: SOT 6176533 SOS 5596407 HAS SOPS 5585745 HAS SOUS 803667 HAS SOUPS 802158 WITH SCORE 807754.407
AT ITER 722 NEW BEST:: SOT 6176826 SOS 5597085 HAS SOPS 5586423 HAS SOUS 796686 HAS SOUPS 795177 WITH SCORE 800774.085
AT ITER 723 NEW BEST:: SOT 6176773 SOS 5596873 HAS SOPS 5586211 HAS SOUS 796686 HAS SOUPS 795177 WITH SCORE 800773.873
AT ITER 724 NEW BEST:: SOT 6177899 SOS 5598181 HAS SOPS 5587519 HAS SOUS 782787 HAS SOUPS 781278 WITH SCORE 786876.181
AT ITER 730 NEW BEST:: SOT 6177899 SOS 5598209 HAS SOPS 5587547 HAS SOUS 780903 HAS SOUPS 779394 WITH SCORE 784992.209
AT ITER 738 NEW BEST:: SOT 6177871 SOS 5598253 HAS SOPS 5587591 HAS SOUS 780847 HAS SOUPS 779338 WITH SCORE 784936.253
AT ITER 739 NEW BEST:: SOT 6177819 SOS 5598123 HAS SOPS 5587461 HAS SOUS 780795 HAS SOUPS 779286 WITH SCORE 784884.123
AT ITER 746 NEW BEST:: SOT 6177860 SOS 5598249 HAS SOPS 5587574 HAS SOUS 780758 HAS SOUPS 779249 WITH SCORE 784847.249
AT ITER 747 NEW BEST:: SOT 6191689 SOS 5617892 HAS SOPS 5607217 HAS SOUS 759754 HAS SOUPS 758245 WITH SCORE 763862.892
AT ITER 756 NEW BEST:: SOT 6191756 SOS 5617867 HAS SOPS 5607192 HAS SOUS 752074 HAS SOUPS 750565 WITH SCORE 756182.867
AT ITER 757 NEW BEST:: SOT 6191756 SOS 5617977 HAS SOPS 5607302 HAS SOUS 751964 HAS SOUPS 750455 WITH SCORE 756072.977
AT ITER 758 NEW BEST:: SOT 6190964 SOS 5617317 HAS SOPS 5606642 HAS SOUS 751294 HAS SOUPS 749785 WITH SCORE 755402.317
AT ITER 766 NEW BEST:: SOT 6190869 SOS 5617202 HAS SOPS 5606527 HAS SOUS 751180 HAS SOUPS 749671 WITH SCORE 755288.202
AT ITER 767 NEW BEST:: SOT 6190869 SOS 5617202 HAS SOPS 5606527 HAS SOUS 751159 HAS SOUPS 749650 WITH SCORE 755267.202
AT ITER 770 NEW BEST:: SOT 6190839 SOS 5617172 HAS SOPS 5606497 HAS SOUS 751129 HAS SOUPS 749620 WITH SCORE 755237.172
AT ITER 780 NEW BEST:: SOT 6191500 SOS 5618618 HAS SOPS 5607943 HAS SOUS 750864 HAS SOUPS 749355 WITH SCORE 754973.618
AT ITER 785 NEW BEST:: SOT 6191398 SOS 5618533 HAS SOPS 5607858 HAS SOUS 750779 HAS SOUPS 749270 WITH SCORE 754888.533
AT ITER 786 NEW BEST:: SOT 6191243 SOS 5618473 HAS SOPS 5607798 HAS SOUS 750119 HAS SOUPS 748610 WITH SCORE 754228.473
AT ITER 805 NEW BEST:: SOT 6191243 SOS 5618427 HAS SOPS 5607752 HAS SOUS 750119 HAS SOUPS 748610 WITH SCORE 754228.427
AT ITER 808 NEW BEST:: SOT 6190927 SOS 5617913 HAS SOPS 5607238 HAS SOUS 749048 HAS SOUPS 747539 WITH SCORE 753156.913
AT ITER 813 NEW BEST:: SOT 6190813 SOS 5617770 HAS SOPS 5607095 HAS SOUS 748963 HAS SOUPS 747454 WITH SCORE 753071.77
AT ITER 824 NEW BEST:: SOT 6189982 SOS 5617134 HAS SOPS 5606459 HAS SOUS 748220 HAS SOUPS 746711 WITH SCORE 752328.134
AT ITER 826 NEW BEST:: SOT 6188310 SOS 5615856 HAS SOPS 5605181 HAS SOUS 747113 HAS SOUPS 745604 WITH SCORE 751219.856
AT ITER 830 NEW BEST:: SOT 6190987 SOS 5205277 HAS SOPS 5194602 HAS SOUS 746532 HAS SOUPS 745023 WITH SCORE 750228.277
AT ITER 839 NEW BEST:: SOT 6190987 SOS 5205269 HAS SOPS 5194594 HAS SOUS 746524 HAS SOUPS 745015 WITH SCORE 750220.269
AT ITER 845 NEW BEST:: SOT 6190858 SOS 5204797 HAS SOPS 5194122 HAS SOUS 745814 HAS SOUPS 744305 WITH SCORE 749509.797
AT ITER 856 NEW BEST:: SOT 6190685 SOS 5204625 HAS SOPS 5193950 HAS SOUS 745641 HAS SOUPS 744132 WITH SCORE 749336.625
AT ITER 857 NEW BEST:: SOT 6190186 SOS 5204225 HAS SOPS 5193550 HAS SOUS 745009 HAS SOUPS 743500 WITH SCORE 748704.225
AT ITER 861 NEW BEST:: SOT 6190006 SOS 5204090 HAS SOPS 5193415 HAS SOUS 744874 HAS SOUPS 743365 WITH SCORE 748569.09
AT ITER 873 NEW BEST:: SOT 6215690 SOS 5229165 HAS SOPS 5218490 HAS SOUS 737855 HAS SOUPS 736346 WITH SCORE 741575.165
AT ITER 879 NEW BEST:: SOT 6215594 SOS 5229069 HAS SOPS 5218394 HAS SOUS 737711 HAS SOUPS 736202 WITH SCORE 741431.069
AT ITER 883 NEW BEST:: SOT 6215475 SOS 5228901 HAS SOPS 5218350 HAS SOUS 737708 HAS SOUPS 736199 WITH SCORE 741427.901
AT ITER 884 NEW BEST:: SOT 6214680 SOS 5227923 HAS SOPS 5217372 HAS SOUS 737594 HAS SOUPS 736085 WITH SCORE 741312.923
AT ITER 895 NEW BEST:: SOT 6214557 SOS 5227540 HAS SOPS 5216989 HAS SOUS 737539 HAS SOUPS 736030 WITH SCORE 741257.54
AT ITER 896 NEW BEST:: SOT 6214116 SOS 5226651 HAS SOPS 5216100 HAS SOUS 736833 HAS SOUPS 735324 WITH SCORE 740550.651
AT ITER 905 NEW BEST:: SOT 6214001 SOS 5226697 HAS SOPS 5216146 HAS SOUS 736473 HAS SOUPS 734964 WITH SCORE 740190.697
AT ITER 907 NEW BEST:: SOT 6214001 SOS 5227411 HAS SOPS 5216860 HAS SOUS 736371 HAS SOUPS 734862 WITH SCORE 740089.411
AT ITER 919 NEW BEST:: SOT 6215314 SOS 5224272 HAS SOPS 5213721 HAS SOUS 730474 HAS SOUPS 728965 WITH SCORE 734189.272
AT ITER 931 NEW BEST:: SOT 6214402 SOS 5223634 HAS SOPS 5213083 HAS SOUS 730203 HAS SOUPS 728694 WITH SCORE 733917.634
AT ITER 951 NEW BEST:: SOT 6214402 SOS 5223634 HAS SOPS 5213083 HAS SOUS 730199 HAS SOUPS 728690 WITH SCORE 733913.634
AT ITER 966 NEW BEST:: SOT 6213874 SOS 5222893 HAS SOPS 5212342 HAS SOUS 729890 HAS SOUPS 728381 WITH SCORE 733603.893
AT ITER 967 NEW BEST:: SOT 6213936 SOS 5222967 HAS SOPS 5212416 HAS SOUS 729646 HAS SOUPS 728137 WITH SCORE 733359.967
AT ITER 970 NEW BEST:: SOT 6213899 SOS 5222930 HAS SOPS 5212379 HAS SOUS 729455 HAS SOUPS 727946 WITH SCORE 733168.93
AT ITER 972 NEW BEST:: SOT 6213399 SOS 5222431 HAS SOPS 5211880 HAS SOUS 728615 HAS SOUPS 727106 WITH SCORE 732328.431
AT ITER 976 NEW BEST:: SOT 6213547 SOS 5221137 HAS SOPS 5210586 HAS SOUS 720727 HAS SOUPS 719218 WITH SCORE 724439.137
AT ITER 979 NEW BEST:: SOT 6213927 SOS 5221478 HAS SOPS 5210927 HAS SOUS 713446 HAS SOUPS 711937 WITH SCORE 717158.478
AT ITER 981 NEW BEST:: SOT 6212351 SOS 5220222 HAS SOPS 5209671 HAS SOUS 712648 HAS SOUPS 711139 WITH SCORE 716359.222
AT ITER 982 NEW BEST:: SOT 6231707 SOS 5241922 HAS SOPS 5231371 HAS SOUS 696845 HAS SOUPS 695336 WITH SCORE 700577.922
AT ITER 991 NEW BEST:: SOT 6231654 SOS 5241799 HAS SOPS 5231248 HAS SOUS 696795 HAS SOUPS 695286 WITH SCORE 700527.799
AT ITER 992 NEW BEST:: SOT 6232954 SOS 5235947 HAS SOPS 5225396 HAS SOUS 677234 HAS SOUPS 675725 WITH SCORE 680960.947
AT ITER 1002 NEW BEST:: SOT 6232544 SOS 5235517 HAS SOPS 5224966 HAS SOUS 676705 HAS SOUPS 675196 WITH SCORE 680431.517
AT ITER 1008 NEW BEST:: SOT 6232140 SOS 5234919 HAS SOPS 5224368 HAS SOUS 676261 HAS SOUPS 674752 WITH SCORE 679986.919
AT ITER 1014 NEW BEST:: SOT 6232221 SOS 5235000 HAS SOPS 5224449 HAS SOUS 676231 HAS SOUPS 674722 WITH SCORE 679957.0
AT ITER 1017 NEW BEST:: SOT 6232353 SOS 5235390 HAS SOPS 5224839 HAS SOUS 676181 HAS SOUPS 674672 WITH SCORE 679907.39
AT ITER 1024 NEW BEST:: SOT 6232309 SOS 5235346 HAS SOPS 5224795 HAS SOUS 676137 HAS SOUPS 674628 WITH SCORE 679863.346
AT ITER 1032 NEW BEST:: SOT 6232895 SOS 5236032 HAS SOPS 5225481 HAS SOUS 676002 HAS SOUPS 674493 WITH SCORE 679729.032
AT ITER 1035 NEW BEST:: SOT 6233693 SOS 5185972 HAS SOPS 5175421 HAS SOUS 667984 HAS SOUPS 666475 WITH SCORE 671660.972
AT ITER 1038 NEW BEST:: SOT 6224020 SOS 5223518 HAS SOPS 5212967 HAS SOUS 667590 HAS SOUPS 666081 WITH SCORE 671304.518
AT ITER 1047 NEW BEST:: SOT 6223182 SOS 5223304 HAS SOPS 5212753 HAS SOUS 667080 HAS SOUPS 665571 WITH SCORE 670794.304
AT ITER 1058 NEW BEST:: SOT 6217082 SOS 5224791 HAS SOPS 5212113 HAS SOUS 662198 HAS SOUPS 660291 WITH SCORE 665515.791
AT ITER 1059 NEW BEST:: SOT 6214183 SOS 5222942 HAS SOPS 5210264 HAS SOUS 659890 HAS SOUPS 657983 WITH SCORE 663205.942
AT ITER 1060 NEW BEST:: SOT 6214445 SOS 5212517 HAS SOPS 5199839 HAS SOUS 651237 HAS SOUPS 649330 WITH SCORE 654542.517
AT ITER 1061 NEW BEST:: SOT 6213720 SOS 5211661 HAS SOPS 5198983 HAS SOUS 650503 HAS SOUPS 648596 WITH SCORE 653807.661
AT ITER 1063 NEW BEST:: SOT 6213615 SOS 5211556 HAS SOPS 5198969 HAS SOUS 649875 HAS SOUPS 647968 WITH SCORE 653179.556
AT ITER 1069 NEW BEST:: SOT 6213615 SOS 5211364 HAS SOPS 5198777 HAS SOUS 649875 HAS SOUPS 647968 WITH SCORE 653179.364
AT ITER 1073 NEW BEST:: SOT 6213615 SOS 5209469 HAS SOPS 5196882 HAS SOUS 649857 HAS SOUPS 647950 WITH SCORE 653159.469
AT ITER 1085 NEW BEST:: SOT 6213485 SOS 5207823 HAS SOPS 5195236 HAS SOUS 649597 HAS SOUPS 647690 WITH SCORE 652897.823
AT ITER 1086 NEW BEST:: SOT 6213679 SOS 5208005 HAS SOPS 5195418 HAS SOUS 649373 HAS SOUPS 647466 WITH SCORE 652674.005
AT ITER 1087 NEW BEST:: SOT 6213706 SOS 5207594 HAS SOPS 5195007 HAS SOUS 649016 HAS SOUPS 647109 WITH SCORE 652316.594
AT ITER 1095 NEW BEST:: SOT 6213668 SOS 5207548 HAS SOPS 5194961 HAS SOUS 648979 HAS SOUPS 647072 WITH SCORE 652279.548
AT ITER 1116 NEW BEST:: SOT 6213444 SOS 5207324 HAS SOPS 5194737 HAS SOUS 648875 HAS SOUPS 646968 WITH SCORE 652175.324
AT ITER 1121 NEW BEST:: SOT 6213518 SOS 5207620 HAS SOPS 5195033 HAS SOUS 648801 HAS SOUPS 646894 WITH SCORE 652101.62
AT ITER 1137 NEW BEST:: SOT 6212503 SOS 5206863 HAS SOPS 5194276 HAS SOUS 648392 HAS SOUPS 646485 WITH SCORE 651691.863
AT ITER 1153 NEW BEST:: SOT 6212503 SOS 5206863 HAS SOPS 5194276 HAS SOUS 648319 HAS SOUPS 646412 WITH SCORE 651618.863
AT ITER 1157 NEW BEST:: SOT 6212294 SOS 5206654 HAS SOPS 5194067 HAS SOUS 648096 HAS SOUPS 646189 WITH SCORE 651395.654
AT ITER 1158 NEW BEST:: SOT 6212989 SOS 5206417 HAS SOPS 5193830 HAS SOUS 647184 HAS SOUPS 645277 WITH SCORE 650483.417
AT ITER 1161 NEW BEST:: SOT 6243221 SOS 5230280 HAS SOPS 5217693 HAS SOUS 642787 HAS SOUPS 640880 WITH SCORE 646110.28
AT ITER 1165 NEW BEST:: SOT 6243216 SOS 5230227 HAS SOPS 5217646 HAS SOUS 642782 HAS SOUPS 640875 WITH SCORE 646105.227
AT ITER 1174 NEW BEST:: SOT 6242775 SOS 5229935 HAS SOPS 5217354 HAS SOUS 642490 HAS SOUPS 640583 WITH SCORE 645812.935
AT ITER 1176 NEW BEST:: SOT 6243436 SOS 5234297 HAS SOPS 5221716 HAS SOUS 641915 HAS SOUPS 640008 WITH SCORE 645242.297
AT ITER 1189 NEW BEST:: SOT 6242715 SOS 5233569 HAS SOPS 5220988 HAS SOUS 641187 HAS SOUPS 639280 WITH SCORE 644513.569
AT ITER 1194 NEW BEST:: SOT 6242715 SOS 5233569 HAS SOPS 5220988 HAS SOUS 641180 HAS SOUPS 639273 WITH SCORE 644506.569
AT ITER 1199 NEW BEST:: SOT 6242885 SOS 5233870 HAS SOPS 5221289 HAS SOUS 641117 HAS SOUPS 639210 WITH SCORE 644443.87
AT ITER 1202 NEW BEST:: SOT 6242877 SOS 5233751 HAS SOPS 5221170 HAS SOUS 641101 HAS SOUPS 639194 WITH SCORE 644427.751
AT ITER 1204 NEW BEST:: SOT 6242849 SOS 5233723 HAS SOPS 5221142 HAS SOUS 641093 HAS SOUPS 639186 WITH SCORE 644419.723
AT ITER 1207 NEW BEST:: SOT 6242683 SOS 5233643 HAS SOPS 5221062 HAS SOUS 640761 HAS SOUPS 638854 WITH SCORE 644087.643
AT ITER 1211 NEW BEST:: SOT 6242500 SOS 5233521 HAS SOPS 5221062 HAS SOUS 640715 HAS SOUPS 638808 WITH SCORE 644041.521
AT ITER 1214 NEW BEST:: SOT 6242459 SOS 5233480 HAS SOPS 5221021 HAS SOUS 640715 HAS SOUPS 638808 WITH SCORE 644041.48
AT ITER 1224 NEW BEST:: SOT 6242612 SOS 5233583 HAS SOPS 5221046 HAS SOUS 640587 HAS SOUPS 638680 WITH SCORE 643913.583
AT ITER 1229 NEW BEST:: SOT 6242770 SOS 5233741 HAS SOPS 5221204 HAS SOUS 640527 HAS SOUPS 638620 WITH SCORE 643853.741
AT ITER 1230 NEW BEST:: SOT 6242708 SOS 5233700 HAS SOPS 5221163 HAS SOUS 640502 HAS SOUPS 638595 WITH SCORE 643828.7
AT ITER 1235 NEW BEST:: SOT 6245110 SOS 5148740 HAS SOPS 5136203 HAS SOUS 631475 HAS SOUPS 629568 WITH SCORE 634716.74
AT ITER 1246 NEW BEST:: SOT 6244337 SOS 5148099 HAS SOPS 5135562 HAS SOUS 630826 HAS SOUPS 628919 WITH SCORE 634067.099
AT ITER 1251 NEW BEST:: SOT 6244569 SOS 5148390 HAS SOPS 5135853 HAS SOUS 627314 HAS SOUPS 625407 WITH SCORE 630555.39
AT ITER 1259 NEW BEST:: SOT 6244450 SOS 5148271 HAS SOPS 5135734 HAS SOUS 627076 HAS SOUPS 625169 WITH SCORE 630317.271
AT ITER 1261 NEW BEST:: SOT 6299332 SOS 5203289 HAS SOPS 5190752 HAS SOUS 625572 HAS SOUPS 623665 WITH SCORE 628868.289
AT ITER 1263 NEW BEST:: SOT 6299294 SOS 5203251 HAS SOPS 5190667 HAS SOUS 625496 HAS SOUPS 623589 WITH SCORE 628792.251
AT ITER 1270 NEW BEST:: SOT 6298573 SOS 5202530 HAS SOPS 5189946 HAS SOUS 624828 HAS SOUPS 622921 WITH SCORE 628123.53
AT ITER 1281 NEW BEST:: SOT 6299188 SOS 5183987 HAS SOPS 5171403 HAS SOUS 620548 HAS SOUPS 618641 WITH SCORE 623824.987
AT ITER 1289 NEW BEST:: SOT 6300227 SOS 5163113 HAS SOPS 5150529 HAS SOUS 616349 HAS SOUPS 614442 WITH SCORE 619605.113
AT ITER 1294 NEW BEST:: SOT 6300601 SOS 5163501 HAS SOPS 5150918 HAS SOUS 616087 HAS SOUPS 614180 WITH SCORE 619343.501
AT ITER 1299 NEW BEST:: SOT 6300563 SOS 5163463 HAS SOPS 5150842 HAS SOUS 616028 HAS SOUPS 614104 WITH SCORE 619267.463
AT ITER 1302 NEW BEST:: SOT 6301663 SOS 5117532 HAS SOPS 5104911 HAS SOUS 613179 HAS SOUPS 611255 WITH SCORE 616372.532
AT ITER 1307 NEW BEST:: SOT 6301437 SOS 5117203 HAS SOPS 5104582 HAS SOUS 612841 HAS SOUPS 610917 WITH SCORE 616034.203
AT ITER 1308 NEW BEST:: SOT 6344179 SOS 5160548 HAS SOPS 5147927 HAS SOUS 611280 HAS SOUPS 609356 WITH SCORE 614516.548
AT ITER 1310 NEW BEST:: SOT 6344383 SOS 5103046 HAS SOPS 5090425 HAS SOUS 607712 HAS SOUPS 605788 WITH SCORE 610891.046
AT ITER 1319 NEW BEST:: SOT 6344383 SOS 5103046 HAS SOPS 5090425 HAS SOUS 607710 HAS SOUPS 605786 WITH SCORE 610889.046
AT ITER 1326 NEW BEST:: SOT 6344359 SOS 5103022 HAS SOPS 5090401 HAS SOUS 607687 HAS SOUPS 605763 WITH SCORE 610866.022
AT ITER 1336 NEW BEST:: SOT 6406929 SOS 5121052 HAS SOPS 5108431 HAS SOUS 595184 HAS SOUPS 593260 WITH SCORE 598381.052
AT ITER 1342 NEW BEST:: SOT 6406552 SOS 5120786 HAS SOPS 5108309 HAS SOUS 594833 HAS SOUPS 592909 WITH SCORE 598029.786
AT ITER 1357 NEW BEST:: SOT 6406218 SOS 5120570 HAS SOPS 5108218 HAS SOUS 594572 HAS SOUPS 592648 WITH SCORE 597768.57
AT ITER 1359 NEW BEST:: SOT 6408333 SOS 5122377 HAS SOPS 5110143 HAS SOUS 593760 HAS SOUPS 591836 WITH SCORE 596958.377
AT ITER 1365 NEW BEST:: SOT 6408334 SOS 5122378 HAS SOPS 5110144 HAS SOUS 593302 HAS SOUPS 591378 WITH SCORE 596500.378
AT ITER 1367 NEW BEST:: SOT 6408276 SOS 5122320 HAS SOPS 5110086 HAS SOUS 592981 HAS SOUPS 591057 WITH SCORE 596179.32
AT ITER 1382 NEW BEST:: SOT 6408222 SOS 5122266 HAS SOPS 5110032 HAS SOUS 592850 HAS SOUPS 590926 WITH SCORE 596048.266
AT ITER 1390 NEW BEST:: SOT 6407557 SOS 5121724 HAS SOPS 5109490 HAS SOUS 592082 HAS SOUPS 590158 WITH SCORE 595279.724
AT ITER 1394 NEW BEST:: SOT 6407476 SOS 5121643 HAS SOPS 5109409 HAS SOUS 591660 HAS SOUPS 589736 WITH SCORE 594857.643
AT ITER 1395 NEW BEST:: SOT 6407173 SOS 5121414 HAS SOPS 5109280 HAS SOUS 591655 HAS SOUPS 589731 WITH SCORE 594852.414
AT ITER 1403 NEW BEST:: SOT 6407043 SOS 5121208 HAS SOPS 5109074 HAS SOUS 591563 HAS SOUPS 589639 WITH SCORE 594760.208
AT ITER 1407 NEW BEST:: SOT 6407053 SOS 5121218 HAS SOPS 5109084 HAS SOUS 591525 HAS SOUPS 589601 WITH SCORE 594722.218
AT ITER 1409 NEW BEST:: SOT 6406661 SOS 5120324 HAS SOPS 5108190 HAS SOUS 591435 HAS SOUPS 589511 WITH SCORE 594631.324
AT ITER 1413 NEW BEST:: SOT 6406624 SOS 5120108 HAS SOPS 5107974 HAS SOUS 591383 HAS SOUPS 589459 WITH SCORE 594579.108
AT ITER 1421 NEW BEST:: SOT 6406565 SOS 5119945 HAS SOPS 5107782 HAS SOUS 591265 HAS SOUPS 589341 WITH SCORE 594460.945
AT ITER 1423 NEW BEST:: SOT 6405865 SOS 5119508 HAS SOPS 5107345 HAS SOUS 590908 HAS SOUPS 588984 WITH SCORE 594103.508
AT ITER 1424 NEW BEST:: SOT 6405926 SOS 5116632 HAS SOPS 5104469 HAS SOUS 590556 HAS SOUPS 588632 WITH SCORE 593748.632
AT ITER 1427 NEW BEST:: SOT 6404594 SOS 5115080 HAS SOPS 5102917 HAS SOUS 589366 HAS SOUPS 587442 WITH SCORE 592557.08
AT ITER 1429 NEW BEST:: SOT 6343437 SOS 5053923 HAS SOPS 5041760 HAS SOUS 585182 HAS SOUPS 583258 WITH SCORE 588311.923
AT ITER 1430 NEW BEST:: SOT 6343557 SOS 5054043 HAS SOPS 5041880 HAS SOUS 582842 HAS SOUPS 580918 WITH SCORE 585972.043
AT ITER 1431 NEW BEST:: SOT 6343568 SOS 5054090 HAS SOPS 5041777 HAS SOUS 582419 HAS SOUPS 580495 WITH SCORE 585549.09
AT ITER 1434 NEW BEST:: SOT 6343601 SOS 4997873 HAS SOPS 4985560 HAS SOUS 582451 HAS SOUPS 580527 WITH SCORE 585524.873
AT ITER 1439 NEW BEST:: SOT 6343319 SOS 4997491 HAS SOPS 4985178 HAS SOUS 581886 HAS SOUPS 579962 WITH SCORE 584959.491
AT ITER 1452 NEW BEST:: SOT 6343166 SOS 4997448 HAS SOPS 4985135 HAS SOUS 581496 HAS SOUPS 579572 WITH SCORE 584569.448
AT ITER 1458 NEW BEST:: SOT 6343409 SOS 4997706 HAS SOPS 4985393 HAS SOUS 581436 HAS SOUPS 579512 WITH SCORE 584509.706
AT ITER 1459 NEW BEST:: SOT 6343562 SOS 4899974 HAS SOPS 4887661 HAS SOUS 580068 HAS SOUPS 578144 WITH SCORE 583043.974
AT ITER 1462 NEW BEST:: SOT 6343393 SOS 4899866 HAS SOPS 4887553 HAS SOUS 579960 HAS SOUPS 578036 WITH SCORE 582935.866
AT ITER 1465 NEW BEST:: SOT 6343359 SOS 4899759 HAS SOPS 4887446 HAS SOUS 579892 HAS SOUPS 577968 WITH SCORE 582867.759
AT ITER 1468 NEW BEST:: SOT 6343464 SOS 4900074 HAS SOPS 4887761 HAS SOUS 579693 HAS SOUPS 577769 WITH SCORE 582669.074
AT ITER 1470 NEW BEST:: SOT 6360633 SOS 4838697 HAS SOPS 4826384 HAS SOUS 575221 HAS SOUPS 573297 WITH SCORE 578135.697
AT ITER 1471 NEW BEST:: SOT 6360474 SOS 4838894 HAS SOPS 4826581 HAS SOUS 575175 HAS SOUPS 573251 WITH SCORE 578089.894
AT ITER 1479 NEW BEST:: SOT 6360754 SOS 4839214 HAS SOPS 4826901 HAS SOUS 572299 HAS SOUPS 570375 WITH SCORE 575214.214
AT ITER 1482 NEW BEST:: SOT 6360351 SOS 4838912 HAS SOPS 4826760 HAS SOUS 571917 HAS SOUPS 570012 WITH SCORE 574850.912
AT ITER 1485 NEW BEST:: SOT 6360093 SOS 4838641 HAS SOPS 4826489 HAS SOUS 571850 HAS SOUPS 569945 WITH SCORE 574783.641
AT ITER 1491 NEW BEST:: SOT 6360085 SOS 4838632 HAS SOPS 4826480 HAS SOUS 571841 HAS SOUPS 569936 WITH SCORE 574774.632
AT ITER 1504 NEW BEST:: SOT 6360059 SOS 4838606 HAS SOPS 4826454 HAS SOUS 571789 HAS SOUPS 569884 WITH SCORE 574722.606
AT ITER 1511 NEW BEST:: SOT 6360692 SOS 4842327 HAS SOPS 4830175 HAS SOUS 571581 HAS SOUPS 569676 WITH SCORE 574518.327
AT ITER 1514 NEW BEST:: SOT 6360680 SOS 4842303 HAS SOPS 4830151 HAS SOUS 571557 HAS SOUPS 569652 WITH SCORE 574494.303
AT ITER 1520 NEW BEST:: SOT 6360524 SOS 4841784 HAS SOPS 4829632 HAS SOUS 571038 HAS SOUPS 569133 WITH SCORE 573974.784
AT ITER 1524 NEW BEST:: SOT 6360518 SOS 4841866 HAS SOPS 4829714 HAS SOUS 571026 HAS SOUPS 569121 WITH SCORE 573962.866
AT ITER 1534 NEW BEST:: SOT 6359905 SOS 4841246 HAS SOPS 4829094 HAS SOUS 570460 HAS SOUPS 568555 WITH SCORE 573396.246
AT ITER 1536 NEW BEST:: SOT 6329517 SOS 4810858 HAS SOPS 4798706 HAS SOUS 567701 HAS SOUPS 565796 WITH SCORE 570606.858
AT ITER 1543 NEW BEST:: SOT 6329180 SOS 4810605 HAS SOPS 4798574 HAS SOUS 567354 HAS SOUPS 565449 WITH SCORE 570259.605
AT ITER 1552 NEW BEST:: SOT 6326996 SOS 4802863 HAS SOPS 4790832 HAS SOUS 565737 HAS SOUPS 563832 WITH SCORE 568634.863
AT ITER 1560 NEW BEST:: SOT 6327381 SOS 4803413 HAS SOPS 4791382 HAS SOUS 565393 HAS SOUPS 563488 WITH SCORE 568291.413
AT ITER 1561 NEW BEST:: SOT 6327381 SOS 4803479 HAS SOPS 4791448 HAS SOUS 565327 HAS SOUPS 563422 WITH SCORE 568225.479
AT ITER 1573 NEW BEST:: SOT 6327822 SOS 4803083 HAS SOPS 4791052 HAS SOUS 564240 HAS SOUPS 562335 WITH SCORE 567138.083
AT ITER 1588 NEW BEST:: SOT 6328986 SOS 4781000 HAS SOPS 4768969 HAS SOUS 555619 HAS SOUPS 553714 WITH SCORE 558495.0
AT ITER 1589 NEW BEST:: SOT 6328887 SOS 4780901 HAS SOPS 4768870 HAS SOUS 555487 HAS SOUPS 553582 WITH SCORE 558362.901
AT ITER 1590 NEW BEST:: SOT 6328882 SOS 4780891 HAS SOPS 4768860 HAS SOUS 555472 HAS SOUPS 553567 WITH SCORE 558347.891
AT ITER 1601 NEW BEST:: SOT 6328881 SOS 4780890 HAS SOPS 4768825 HAS SOUS 555458 HAS SOUPS 553535 WITH SCORE 558315.89
AT ITER 1602 NEW BEST:: SOT 6328817 SOS 4780830 HAS SOPS 4768765 HAS SOUS 555279 HAS SOUPS 553356 WITH SCORE 558136.83
AT ITER 1607 NEW BEST:: SOT 6327735 SOS 4780075 HAS SOPS 4768010 HAS SOUS 554360 HAS SOUPS 552437 WITH SCORE 557217.075
AT ITER 1622 NEW BEST:: SOT 6327707 SOS 4780015 HAS SOPS 4767950 HAS SOUS 554304 HAS SOUPS 552381 WITH SCORE 557161.015
AT ITER 1634 NEW BEST:: SOT 6327698 SOS 4780006 HAS SOPS 4767941 HAS SOUS 554286 HAS SOUPS 552363 WITH SCORE 557143.006
AT ITER 1638 NEW BEST:: SOT 6327698 SOS 4779848 HAS SOPS 4767783 HAS SOUS 554286 HAS SOUPS 552363 WITH SCORE 557142.848
AT ITER 1639 NEW BEST:: SOT 6327423 SOS 4779628 HAS SOPS 4767563 HAS SOUS 554011 HAS SOUPS 552088 WITH SCORE 556867.628
AT ITER 1645 NEW BEST:: SOT 6327355 SOS 4779582 HAS SOPS 4767517 HAS SOUS 553890 HAS SOUPS 551967 WITH SCORE 556746.582
AT ITER 1646 NEW BEST:: SOT 6327591 SOS 4738174 HAS SOPS 4726109 HAS SOUS 548641 HAS SOUPS 546718 WITH SCORE 551456.174
AT ITER 1659 NEW BEST:: SOT 6327583 SOS 4738166 HAS SOPS 4726101 HAS SOUS 548625 HAS SOUPS 546702 WITH SCORE 551440.166
AT ITER 1661 NEW BEST:: SOT 6327534 SOS 4738150 HAS SOPS 4726085 HAS SOUS 548445 HAS SOUPS 546522 WITH SCORE 551260.15
AT ITER 1663 NEW BEST:: SOT 6327458 SOS 4737899 HAS SOPS 4725834 HAS SOUS 548369 HAS SOUPS 546446 WITH SCORE 551183.899
AT ITER 1674 NEW BEST:: SOT 6327019 SOS 4735295 HAS SOPS 4723230 HAS SOUS 547470 HAS SOUPS 545547 WITH SCORE 550282.295
AT ITER 1678 NEW BEST:: SOT 6326924 SOS 4735200 HAS SOPS 4723135 HAS SOUS 547326 HAS SOUPS 545403 WITH SCORE 550138.2
AT ITER 1704 NEW BEST:: SOT 6326916 SOS 4735247 HAS SOPS 4723182 HAS SOUS 547310 HAS SOUPS 545387 WITH SCORE 550122.247
AT ITER 1717 NEW BEST:: SOT 6326304 SOS 4734885 HAS SOPS 4722820 HAS SOUS 546682 HAS SOUPS 544759 WITH SCORE 549493.885
AT ITER 1722 NEW BEST:: SOT 6326304 SOS 4735566 HAS SOPS 4723501 HAS SOUS 546617 HAS SOUPS 544694 WITH SCORE 549429.566
AT ITER 1733 NEW BEST:: SOT 6327799 SOS 4737049 HAS SOPS 4724984 HAS SOUS 535492 HAS SOUPS 533569 WITH SCORE 538306.049
AT ITER 1736 NEW BEST:: SOT 6327447 SOS 4736697 HAS SOPS 4724584 HAS SOUS 535245 HAS SOUPS 533322 WITH SCORE 538058.697
AT ITER 1737 NEW BEST:: SOT 6327447 SOS 4736833 HAS SOPS 4724720 HAS SOUS 535228 HAS SOUPS 533305 WITH SCORE 538041.833
AT ITER 1739 NEW BEST:: SOT 6327314 SOS 4736659 HAS SOPS 4724546 HAS SOUS 534939 HAS SOUPS 533016 WITH SCORE 537752.659
AT ITER 1745 NEW BEST:: SOT 6325704 SOS 4734811 HAS SOPS 4722698 HAS SOUS 533393 HAS SOUPS 531470 WITH SCORE 536204.811
AT ITER 1747 NEW BEST:: SOT 6325625 SOS 4734732 HAS SOPS 4722619 HAS SOUS 533235 HAS SOUPS 531312 WITH SCORE 536046.732
AT ITER 1750 NEW BEST:: SOT 6325599 SOS 4732938 HAS SOPS 4720825 HAS SOUS 533011 HAS SOUPS 531088 WITH SCORE 535820.938
AT ITER 1764 NEW BEST:: SOT 6325906 SOS 4660808 HAS SOPS 4648695 HAS SOUS 529063 HAS SOUPS 527140 WITH SCORE 531800.808
AT ITER 1768 NEW BEST:: SOT 6325906 SOS 4660808 HAS SOPS 4648695 HAS SOUS 528943 HAS SOUPS 527020 WITH SCORE 531680.808
AT ITER 1769 NEW BEST:: SOT 6325906 SOS 4660836 HAS SOPS 4648723 HAS SOUS 528930 HAS SOUPS 527007 WITH SCORE 531667.836
AT ITER 1776 NEW BEST:: SOT 6325900 SOS 4660830 HAS SOPS 4648717 HAS SOUS 528921 HAS SOUPS 526998 WITH SCORE 531658.83
AT ITER 1787 NEW BEST:: SOT 6325884 SOS 4660815 HAS SOPS 4648702 HAS SOUS 528902 HAS SOUPS 526979 WITH SCORE 531639.815
AT ITER 1791 NEW BEST:: SOT 6326235 SOS 4661540 HAS SOPS 4649427 HAS SOUS 528495 HAS SOUPS 526572 WITH SCORE 531233.54
AT ITER 1797 NEW BEST:: SOT 6326086 SOS 4661473 HAS SOPS 4649360 HAS SOUS 527749 HAS SOUPS 525826 WITH SCORE 530487.473
AT ITER 1806 NEW BEST:: SOT 6326129 SOS 4661559 HAS SOPS 4649446 HAS SOUS 525267 HAS SOUPS 523344 WITH SCORE 528005.559
AT ITER 1811 NEW BEST:: SOT 6326127 SOS 4661628 HAS SOPS 4649515 HAS SOUS 524951 HAS SOUPS 523028 WITH SCORE 527689.628
AT ITER 1814 NEW BEST:: SOT 6326413 SOS 4661406 HAS SOPS 4649293 HAS SOUS 524622 HAS SOUPS 522699 WITH SCORE 527360.406
AT ITER 1820 NEW BEST:: SOT 6326441 SOS 4660984 HAS SOPS 4648871 HAS SOUS 524481 HAS SOUPS 522558 WITH SCORE 527218.984
AT ITER 1827 NEW BEST:: SOT 6326484 SOS 4662260 HAS SOPS 4650147 HAS SOUS 524203 HAS SOUPS 522280 WITH SCORE 526942.26
AT ITER 1829 NEW BEST:: SOT 6326421 SOS 4662381 HAS SOPS 4650268 HAS SOUS 524191 HAS SOUPS 522268 WITH SCORE 526930.381
AT ITER 1840 NEW BEST:: SOT 6326247 SOS 4662120 HAS SOPS 4650007 HAS SOUS 523988 HAS SOUPS 522065 WITH SCORE 526727.12
AT ITER 1852 NEW BEST:: SOT 6326247 SOS 4662120 HAS SOPS 4649905 HAS SOUS 523901 HAS SOUPS 521978 WITH SCORE 526640.12
AT ITER 1869 NEW BEST:: SOT 6326224 SOS 4661770 HAS SOPS 4649555 HAS SOUS 523448 HAS SOUPS 521525 WITH SCORE 526186.77
AT ITER 1870 NEW BEST:: SOT 6326224 SOS 4661771 HAS SOPS 4649556 HAS SOUS 523447 HAS SOUPS 521524 WITH SCORE 526185.771
AT ITER 1872 NEW BEST:: SOT 6325930 SOS 4661252 HAS SOPS 4649037 HAS SOUS 522859 HAS SOUPS 520936 WITH SCORE 525597.252
AT ITER 1874 NEW BEST:: SOT 6325846 SOS 4661118 HAS SOPS 4648903 HAS SOUS 522691 HAS SOUPS 520768 WITH SCORE 525429.118
AT ITER 1879 NEW BEST:: SOT 6326001 SOS 4661137 HAS SOPS 4648922 HAS SOUS 522403 HAS SOUPS 520480 WITH SCORE 525141.137
AT ITER 1885 NEW BEST:: SOT 6310542 SOS 4645678 HAS SOPS 4633463 HAS SOUS 520084 HAS SOUPS 518161 WITH SCORE 522806.678
AT ITER 1888 NEW BEST:: SOT 6310470 SOS 4645606 HAS SOPS 4633356 HAS SOUS 519958 HAS SOUPS 518035 WITH SCORE 522680.606
AT ITER 1889 NEW BEST:: SOT 6310331 SOS 4645529 HAS SOPS 4633279 HAS SOUS 519729 HAS SOUPS 517806 WITH SCORE 522451.529
AT ITER 1892 NEW BEST:: SOT 6310361 SOS 4645284 HAS SOPS 4633034 HAS SOUS 519546 HAS SOUPS 517623 WITH SCORE 522268.284
AT ITER 1901 NEW BEST:: SOT 6310351 SOS 4645264 HAS SOPS 4633014 HAS SOUS 519546 HAS SOUPS 517623 WITH SCORE 522268.264
AT ITER 1925 NEW BEST:: SOT 6310349 SOS 4645262 HAS SOPS 4633012 HAS SOUS 519542 HAS SOUPS 517619 WITH SCORE 522264.262
AT ITER 1926 NEW BEST:: SOT 6336750 SOS 4671842 HAS SOPS 4659592 HAS SOUS 517447 HAS SOUPS 515524 WITH SCORE 520195.842
AT ITER 1938 NEW BEST:: SOT 6336718 SOS 4671810 HAS SOPS 4659560 HAS SOUS 517191 HAS SOUPS 515268 WITH SCORE 519939.81
AT ITER 1948 NEW BEST:: SOT 6336700 SOS 4671792 HAS SOPS 4659542 HAS SOUS 517155 HAS SOUPS 515232 WITH SCORE 519903.792
AT ITER 1956 NEW BEST:: SOT 6337546 SOS 4672607 HAS SOPS 4660357 HAS SOUS 516072 HAS SOUPS 514149 WITH SCORE 518821.607
AT ITER 1962 NEW BEST:: SOT 6337542 SOS 4672582 HAS SOPS 4660332 HAS SOUS 516043 HAS SOUPS 514120 WITH SCORE 518792.582
AT ITER 1966 NEW BEST:: SOT 6336379 SOS 4670855 HAS SOPS 4658552 HAS SOUS 515790 HAS SOUPS 513867 WITH SCORE 518537.855
AT ITER 1974 NEW BEST:: SOT 6336590 SOS 4671535 HAS SOPS 4659232 HAS SOUS 515694 HAS SOUPS 513771 WITH SCORE 518442.535
AT ITER 1978 NEW BEST:: SOT 6336590 SOS 4671535 HAS SOPS 4659232 HAS SOUS 515635 HAS SOUPS 513712 WITH SCORE 518383.535
AT ITER 1979 NEW BEST:: SOT 6336686 SOS 4671449 HAS SOPS 4659146 HAS SOUS 515549 HAS SOUPS 513626 WITH SCORE 518297.449
AT ITER 1980 NEW BEST:: SOT 6336726 SOS 4671550 HAS SOPS 4659247 HAS SOUS 515504 HAS SOUPS 513581 WITH SCORE 518252.55
AT ITER 1986 NEW BEST:: SOT 6336378 SOS 4671028 HAS SOPS 4658725 HAS SOUS 515330 HAS SOUPS 513407 WITH SCORE 518078.028
AT ITER 1993 NEW BEST:: SOT 6336981 SOS 4671728 HAS SOPS 4659425 HAS SOUS 515184 HAS SOUPS 513261 WITH SCORE 517932.728
AT ITER 1994 NEW BEST:: SOT 6336981 SOS 4671908 HAS SOPS 4659485 HAS SOUS 515064 HAS SOUPS 513141 WITH SCORE 517812.908
AT ITER 2009 NEW BEST:: SOT 6336846 SOS 4671683 HAS SOPS 4659230 HAS SOUS 514854 HAS SOUPS 512931 WITH SCORE 517602.683
AT ITER 2023 NEW BEST:: SOT 6336788 SOS 4671588 HAS SOPS 4659135 HAS SOUS 514746 HAS SOUPS 512823 WITH SCORE 517494.588
AT ITER 2028 NEW BEST:: SOT 6336501 SOS 4671260 HAS SOPS 4658807 HAS SOUS 514555 HAS SOUPS 512632 WITH SCORE 517303.26
AT ITER 2035 NEW BEST:: SOT 6335797 SOS 4670829 HAS SOPS 4658376 HAS SOUS 514034 HAS SOUPS 512111 WITH SCORE 516781.829
AT ITER 2047 NEW BEST:: SOT 6335712 SOS 4670744 HAS SOPS 4658291 HAS SOUS 513801 HAS SOUPS 511878 WITH SCORE 516548.744
AT ITER 2052 NEW BEST:: SOT 6335702 SOS 4670734 HAS SOPS 4658281 HAS SOUS 513763 HAS SOUPS 511840 WITH SCORE 516510.734
AT ITER 2056 NEW BEST:: SOT 6335864 SOS 4671316 HAS SOPS 4658863 HAS SOUS 513714 HAS SOUPS 511791 WITH SCORE 516462.316
AT ITER 2091 NEW BEST:: SOT 6335792 SOS 4671208 HAS SOPS 4658647 HAS SOUS 513354 HAS SOUPS 511431 WITH SCORE 516102.208
AT ITER 2096 NEW BEST:: SOT 6335391 SOS 4671148 HAS SOPS 4658587 HAS SOUS 512796 HAS SOUPS 510873 WITH SCORE 515544.148
AT ITER 2109 NEW BEST:: SOT 6335523 SOS 4671346 HAS SOPS 4658785 HAS SOUS 512510 HAS SOUPS 510587 WITH SCORE 515258.346
AT ITER 2111 NEW BEST:: SOT 6335473 SOS 4671260 HAS SOPS 4658699 HAS SOUS 512216 HAS SOUPS 510293 WITH SCORE 514964.26
AT ITER 2120 NEW BEST:: SOT 6334960 SOS 4669135 HAS SOPS 4656574 HAS SOUS 511875 HAS SOUPS 509952 WITH SCORE 514621.135
AT ITER 2124 NEW BEST:: SOT 6334718 SOS 4668796 HAS SOPS 4656235 HAS SOUS 511174 HAS SOUPS 509251 WITH SCORE 513919.796
AT ITER 2133 NEW BEST:: SOT 6334347 SOS 4668425 HAS SOPS 4655816 HAS SOUS 510957 HAS SOUPS 509034 WITH SCORE 513702.425
AT ITER 2136 NEW BEST:: SOT 6333985 SOS 4668063 HAS SOPS 4655454 HAS SOUS 510544 HAS SOUPS 508621 WITH SCORE 513289.063
AT ITER 2137 NEW BEST:: SOT 6333905 SOS 4667943 HAS SOPS 4655334 HAS SOUS 510344 HAS SOUPS 508421 WITH SCORE 513088.943
AT ITER 2155 NEW BEST:: SOT 6333905 SOS 4667943 HAS SOPS 4655334 HAS SOUS 510232 HAS SOUPS 508309 WITH SCORE 512976.943
AT ITER 2157 NEW BEST:: SOT 6333957 SOS 4667543 HAS SOPS 4654934 HAS SOUS 509978 HAS SOUPS 508055 WITH SCORE 512722.543
AT ITER 2166 NEW BEST:: SOT 6333954 SOS 4667540 HAS SOPS 4654931 HAS SOUS 509972 HAS SOUPS 508049 WITH SCORE 512716.54
AT ITER 2167 NEW BEST:: SOT 6334037 SOS 4667872 HAS SOPS 4655263 HAS SOUS 509889 HAS SOUPS 507966 WITH SCORE 512633.872
AT ITER 2171 NEW BEST:: SOT 6333781 SOS 4667616 HAS SOPS 4655007 HAS SOUS 509485 HAS SOUPS 507562 WITH SCORE 512229.616
AT ITER 2174 NEW BEST:: SOT 6333754 SOS 4667615 HAS SOPS 4655006 HAS SOUS 509484 HAS SOUPS 507561 WITH SCORE 512228.615
AT ITER 2185 NEW BEST:: SOT 6333464 SOS 4667408 HAS SOPS 4654799 HAS SOUS 509202 HAS SOUPS 507279 WITH SCORE 511946.408
AT ITER 2187 NEW BEST:: SOT 6334256 SOS 4668152 HAS SOPS 4655543 HAS SOUS 509076 HAS SOUPS 507153 WITH SCORE 511821.152
AT ITER 2191 NEW BEST:: SOT 6333933 SOS 4667903 HAS SOPS 4655414 HAS SOUS 508741 HAS SOUPS 506818 WITH SCORE 511485.903
AT ITER 2192 NEW BEST:: SOT 6334383 SOS 4593706 HAS SOPS 4581217 HAS SOUS 506509 HAS SOUPS 504586 WITH SCORE 509179.706
AT ITER 2211 NEW BEST:: SOT 6333924 SOS 4593464 HAS SOPS 4580975 HAS SOUS 506371 HAS SOUPS 504448 WITH SCORE 509041.464
AT ITER 2213 NEW BEST:: SOT 6333818 SOS 4593478 HAS SOPS 4580989 HAS SOUS 506242 HAS SOUPS 504319 WITH SCORE 508912.478
AT ITER 2219 NEW BEST:: SOT 6333788 SOS 4593458 HAS SOPS 4580969 HAS SOUS 506220 HAS SOUPS 504297 WITH SCORE 508890.458
AT ITER 2222 NEW BEST:: SOT 6333782 SOS 4593452 HAS SOPS 4580952 HAS SOUS 506208 HAS SOUPS 504285 WITH SCORE 508878.452
AT ITER 2225 NEW BEST:: SOT 6333895 SOS 4593565 HAS SOPS 4581065 HAS SOUS 505253 HAS SOUPS 503330 WITH SCORE 507923.565
AT ITER 2227 NEW BEST:: SOT 6269043 SOS 4528713 HAS SOPS 4516213 HAS SOUS 505082 HAS SOUPS 503159 WITH SCORE 507687.713
AT ITER 2231 NEW BEST:: SOT 6269037 SOS 4528707 HAS SOPS 4516207 HAS SOUS 505070 HAS SOUPS 503147 WITH SCORE 507675.707
AT ITER 2241 NEW BEST:: SOT 6268881 SOS 4528551 HAS SOPS 4515999 HAS SOUS 504862 HAS SOUPS 502939 WITH SCORE 507467.551
AT ITER 2245 NEW BEST:: SOT 6268977 SOS 4528615 HAS SOPS 4516063 HAS SOUS 504682 HAS SOUPS 502759 WITH SCORE 507287.615
AT ITER 2258 NEW BEST:: SOT 6268977 SOS 4528615 HAS SOPS 4516063 HAS SOUS 504650 HAS SOUPS 502727 WITH SCORE 507255.615
AT ITER 2260 NEW BEST:: SOT 6268694 SOS 4527844 HAS SOPS 4515292 HAS SOUS 504067 HAS SOUPS 502144 WITH SCORE 506671.844
AT ITER 2261 NEW BEST:: SOT 6268404 SOS 4527554 HAS SOPS 4515002 HAS SOUS 503777 HAS SOUPS 501854 WITH SCORE 506381.554
AT ITER 2270 NEW BEST:: SOT 6262197 SOS 4709759 HAS SOPS 4697207 HAS SOUS 502605 HAS SOUPS 500682 WITH SCORE 505391.759
AT ITER 2272 NEW BEST:: SOT 6261578 SOS 4709295 HAS SOPS 4696743 HAS SOUS 502052 HAS SOUPS 500129 WITH SCORE 504838.295
AT ITER 2275 NEW BEST:: SOT 6261617 SOS 4709334 HAS SOPS 4696782 HAS SOUS 502046 HAS SOUPS 500123 WITH SCORE 504832.334
AT ITER 2278 NEW BEST:: SOT 6261543 SOS 4709054 HAS SOPS 4696502 HAS SOUS 501870 HAS SOUPS 499947 WITH SCORE 504656.054
AT ITER 2285 NEW BEST:: SOT 6260818 SOS 4708101 HAS SOPS 4695549 HAS SOUS 501626 HAS SOUPS 499703 WITH SCORE 504411.101
AT ITER 2289 NEW BEST:: SOT 6260794 SOS 4708077 HAS SOPS 4695525 HAS SOUS 501578 HAS SOUPS 499655 WITH SCORE 504363.077
AT ITER 2293 NEW BEST:: SOT 6260714 SOS 4708142 HAS SOPS 4695590 HAS SOUS 501413 HAS SOUPS 499490 WITH SCORE 504198.142
AT ITER 2295 NEW BEST:: SOT 6292797 SOS 4740513 HAS SOPS 4727961 HAS SOUS 495876 HAS SOUPS 493953 WITH SCORE 498693.513
AT ITER 2311 NEW BEST:: SOT 6292787 SOS 4740503 HAS SOPS 4727956 HAS SOUS 495868 HAS SOUPS 493945 WITH SCORE 498685.503
AT ITER 2314 NEW BEST:: SOT 6292825 SOS 4740520 HAS SOPS 4727973 HAS SOUS 495791 HAS SOUPS 493868 WITH SCORE 498608.52
AT ITER 2321 NEW BEST:: SOT 6292896 SOS 4740958 HAS SOPS 4728388 HAS SOUS 495751 HAS SOUPS 493828 WITH SCORE 498568.958
AT ITER 2333 NEW BEST:: SOT 6292452 SOS 4740362 HAS SOPS 4727792 HAS SOUS 495395 HAS SOUPS 493472 WITH SCORE 498212.362
AT ITER 2334 NEW BEST:: SOT 6292259 SOS 4740084 HAS SOPS 4727514 HAS SOUS 495245 HAS SOUPS 493322 WITH SCORE 498062.084
AT ITER 2335 NEW BEST:: SOT 6292292 SOS 4664272 HAS SOPS 4651702 HAS SOUS 494566 HAS SOUPS 492643 WITH SCORE 497307.272
AT ITER 2343 NEW BEST:: SOT 6292292 SOS 4663592 HAS SOPS 4651022 HAS SOUS 494498 HAS SOUPS 492575 WITH SCORE 497238.592
AT ITER 2357 NEW BEST:: SOT 6292571 SOS 4664570 HAS SOPS 4652000 HAS SOUS 494290 HAS SOUPS 492367 WITH SCORE 497031.57
AT ITER 2358 NEW BEST:: SOT 6292564 SOS 4664257 HAS SOPS 4651687 HAS SOUS 493930 HAS SOUPS 492007 WITH SCORE 496671.257
AT ITER 2363 NEW BEST:: SOT 6292534 SOS 4664203 HAS SOPS 4651633 HAS SOUS 493847 HAS SOUPS 491924 WITH SCORE 496588.203
AT ITER 2366 NEW BEST:: SOT 6292509 SOS 4664164 HAS SOPS 4651696 HAS SOUS 493797 HAS SOUPS 491874 WITH SCORE 496538.164
AT ITER 2368 NEW BEST:: SOT 6292544 SOS 4664284 HAS SOPS 4651816 HAS SOUS 493514 HAS SOUPS 491591 WITH SCORE 496255.284
AT ITER 2371 NEW BEST:: SOT 6292544 SOS 4640403 HAS SOPS 4627935 HAS SOUS 492779 HAS SOUPS 490856 WITH SCORE 495496.403
AT ITER 2372 NEW BEST:: SOT 6292494 SOS 4640353 HAS SOPS 4627885 HAS SOUS 492581 HAS SOUPS 490658 WITH SCORE 495298.353
AT ITER 2373 NEW BEST:: SOT 6292494 SOS 4640353 HAS SOPS 4627885 HAS SOUS 492519 HAS SOUPS 490596 WITH SCORE 495236.353
AT ITER 2376 NEW BEST:: SOT 6292487 SOS 4640346 HAS SOPS 4627878 HAS SOUS 492504 HAS SOUPS 490581 WITH SCORE 495221.346
AT ITER 2386 NEW BEST:: SOT 6292548 SOS 4640694 HAS SOPS 4628226 HAS SOUS 492349 HAS SOUPS 490426 WITH SCORE 495066.694
AT ITER 2389 NEW BEST:: SOT 6293277 SOS 4641455 HAS SOPS 4628987 HAS SOUS 488468 HAS SOUPS 486545 WITH SCORE 491186.455
AT ITER 2391 NEW BEST:: SOT 6293240 SOS 4641418 HAS SOPS 4628913 HAS SOUS 488394 HAS SOUPS 486471 WITH SCORE 491112.418
AT ITER 2396 NEW BEST:: SOT 6293076 SOS 4641254 HAS SOPS 4628749 HAS SOUS 488276 HAS SOUPS 486353 WITH SCORE 490994.254
AT ITER 2402 NEW BEST:: SOT 6293069 SOS 4641247 HAS SOPS 4628742 HAS SOUS 488276 HAS SOUPS 486353 WITH SCORE 490994.247
AT ITER 2405 NEW BEST:: SOT 6293188 SOS 4641668 HAS SOPS 4629163 HAS SOUS 488251 HAS SOUPS 486328 WITH SCORE 490969.668
AT ITER 2407 NEW BEST:: SOT 6293104 SOS 4641584 HAS SOPS 4629149 HAS SOUS 488167 HAS SOUPS 486314 WITH SCORE 490955.584
AT ITER 2421 NEW BEST:: SOT 6293224 SOS 4641704 HAS SOPS 4629366 HAS SOUS 487876 HAS SOUPS 486023 WITH SCORE 490664.704
AT ITER 2422 NEW BEST:: SOT 6293218 SOS 4641604 HAS SOPS 4629266 HAS SOUS 487864 HAS SOUPS 486011 WITH SCORE 490652.604
AT ITER 2431 NEW BEST:: SOT 6293183 SOS 4452876 HAS SOPS 4440538 HAS SOUS 487818 HAS SOUPS 485965 WITH SCORE 490417.876
AT ITER 2438 NEW BEST:: SOT 6293182 SOS 4452875 HAS SOPS 4440537 HAS SOUS 487816 HAS SOUPS 485963 WITH SCORE 490415.875
AT ITER 2439 NEW BEST:: SOT 6284816 SOS 4444509 HAS SOPS 4432171 HAS SOUS 486873 HAS SOUPS 485020 WITH SCORE 489464.509
AT ITER 2465 NEW BEST:: SOT 6285056 SOS 4444845 HAS SOPS 4432507 HAS SOUS 483241 HAS SOUPS 481388 WITH SCORE 485832.845
AT ITER 2470 NEW BEST:: SOT 6285217 SOS 4445006 HAS SOPS 4432668 HAS SOUS 483117 HAS SOUPS 481264 WITH SCORE 485709.006
AT ITER 2476 NEW BEST:: SOT 6285138 SOS 4444927 HAS SOPS 4432589 HAS SOUS 480495 HAS SOUPS 478642 WITH SCORE 483086.927
AT ITER 2481 NEW BEST:: SOT 6285110 SOS 4444843 HAS SOPS 4432505 HAS SOUS 480411 HAS SOUPS 478558 WITH SCORE 483002.843
AT ITER 2503 NEW BEST:: SOT 6284134 SOS 4444044 HAS SOPS 4431706 HAS SOUS 479672 HAS SOUPS 477819 WITH SCORE 482263.044
AT ITER 2510 NEW BEST:: SOT 6284100 SOS 4442486 HAS SOPS 4430148 HAS SOUS 479180 HAS SOUPS 477327 WITH SCORE 481769.486
AT ITER 2511 NEW BEST:: SOT 6284156 SOS 4442485 HAS SOPS 4430147 HAS SOUS 479040 HAS SOUPS 477187 WITH SCORE 481629.485
AT ITER 2516 NEW BEST:: SOT 6283485 SOS 4441814 HAS SOPS 4429476 HAS SOUS 478162 HAS SOUPS 476309 WITH SCORE 480750.814
AT ITER 2522 NEW BEST:: SOT 6283414 SOS 4441656 HAS SOPS 4429318 HAS SOUS 478162 HAS SOUPS 476309 WITH SCORE 480750.656
AT ITER 2530 NEW BEST:: SOT 6283123 SOS 4441548 HAS SOPS 4429210 HAS SOUS 477770 HAS SOUPS 475917 WITH SCORE 480358.548
AT ITER 2533 NEW BEST:: SOT 6283161 SOS 4441624 HAS SOPS 4429286 HAS SOUS 477656 HAS SOUPS 475803 WITH SCORE 480244.624
AT ITER 2551 NEW BEST:: SOT 6283336 SOS 4441799 HAS SOPS 4429461 HAS SOUS 477417 HAS SOUPS 475564 WITH SCORE 480005.799
AT ITER 2562 NEW BEST:: SOT 6283266 SOS 4442128 HAS SOPS 4429790 HAS SOUS 477277 HAS SOUPS 475424 WITH SCORE 479866.128
AT ITER 2574 NEW BEST:: SOT 6283099 SOS 4442076 HAS SOPS 4429723 HAS SOUS 477210 HAS SOUPS 475357 WITH SCORE 479799.076
AT ITER 2600 NEW BEST:: SOT 6283205 SOS 4442182 HAS SOPS 4429883 HAS SOUS 477196 HAS SOUPS 475343 WITH SCORE 479785.182
AT ITER 2601 NEW BEST:: SOT 6283175 SOS 4442654 HAS SOPS 4430355 HAS SOUS 477155 HAS SOUPS 475302 WITH SCORE 479744.654
AT ITER 2632 NEW BEST:: SOT 6283366 SOS 4439149 HAS SOPS 4426850 HAS SOUS 477074 HAS SOUPS 475221 WITH SCORE 479660.149
AT ITER 2640 NEW BEST:: SOT 6282945 SOS 4438053 HAS SOPS 4425754 HAS SOUS 476465 HAS SOUPS 474612 WITH SCORE 479050.053
AT ITER 2646 NEW BEST:: SOT 6282935 SOS 4437926 HAS SOPS 4425627 HAS SOUS 476412 HAS SOUPS 474559 WITH SCORE 478996.926
AT ITER 2650 NEW BEST:: SOT 6283031 SOS 4438095 HAS SOPS 4425796 HAS SOUS 475907 HAS SOUPS 474054 WITH SCORE 478492.095
AT ITER 2666 NEW BEST:: SOT 6283013 SOS 4438059 HAS SOPS 4425760 HAS SOUS 475862 HAS SOUPS 474009 WITH SCORE 478447.059
AT ITER 2676 NEW BEST:: SOT 6282888 SOS 4437934 HAS SOPS 4425635 HAS SOUS 475812 HAS SOUPS 473959 WITH SCORE 478396.934
AT ITER 2686 NEW BEST:: SOT 6282856 SOS 4437256 HAS SOPS 4424943 HAS SOUS 475682 HAS SOUPS 473829 WITH SCORE 478266.256
AT ITER 2687 NEW BEST:: SOT 6282785 SOS 4437154 HAS SOPS 4424841 HAS SOUS 475556 HAS SOUPS 473703 WITH SCORE 478140.154
AT ITER 2696 NEW BEST:: SOT 6282743 SOS 4431708 HAS SOPS 4420735 HAS SOUS 474724 HAS SOUPS 472969 WITH SCORE 477400.708
AT ITER 2704 NEW BEST:: SOT 6282674 SOS 4431570 HAS SOPS 4420597 HAS SOUS 474655 HAS SOUPS 472900 WITH SCORE 477331.57
AT ITER 2707 NEW BEST:: SOT 6282621 SOS 4431486 HAS SOPS 4420532 HAS SOUS 474476 HAS SOUPS 472721 WITH SCORE 477152.486
AT ITER 2712 NEW BEST:: SOT 6282621 SOS 4431324 HAS SOPS 4420370 HAS SOUS 474453 HAS SOUPS 472698 WITH SCORE 477129.324
AT ITER 2719 NEW BEST:: SOT 6282426 SOS 4431294 HAS SOPS 4420340 HAS SOUS 474357 HAS SOUPS 472602 WITH SCORE 477033.294
AT ITER 2732 NEW BEST:: SOT 6282681 SOS 4431356 HAS SOPS 4420402 HAS SOUS 474284 HAS SOUPS 472529 WITH SCORE 476960.356
AT ITER 2754 NEW BEST:: SOT 6282726 SOS 4431454 HAS SOPS 4420500 HAS SOUS 474241 HAS SOUPS 472486 WITH SCORE 476917.454
AT ITER 2757 NEW BEST:: SOT 6282628 SOS 4431258 HAS SOPS 4420304 HAS SOUS 474045 HAS SOUPS 472290 WITH SCORE 476721.258
AT ITER 2766 NEW BEST:: SOT 6282589 SOS 4431219 HAS SOPS 4420265 HAS SOUS 473967 HAS SOUPS 472212 WITH SCORE 476643.219
AT ITER 2768 NEW BEST:: SOT 6282707 SOS 4431709 HAS SOPS 4420755 HAS SOUS 473946 HAS SOUPS 472191 WITH SCORE 476622.709
AT ITER 2779 NEW BEST:: SOT 6282556 SOS 4430139 HAS SOPS 4419038 HAS SOUS 472902 HAS SOUPS 471147 WITH SCORE 475577.139
AT ITER 2784 NEW BEST:: SOT 6281166 SOS 4428847 HAS SOPS 4417746 HAS SOUS 471967 HAS SOUPS 470212 WITH SCORE 474640.847
AT ITER 2792 NEW BEST:: SOT 6281064 SOS 4428592 HAS SOPS 4417491 HAS SOUS 471814 HAS SOUPS 470059 WITH SCORE 474487.592
AT ITER 2795 NEW BEST:: SOT 6281256 SOS 4428820 HAS SOPS 4417719 HAS SOUS 470235 HAS SOUPS 468480 WITH SCORE 472908.82
AT ITER 2796 NEW BEST:: SOT 6279964 SOS 4427970 HAS SOPS 4416869 HAS SOUS 469725 HAS SOUPS 467970 WITH SCORE 472397.97
AT ITER 2809 NEW BEST:: SOT 6309419 SOS 4457817 HAS SOPS 4446716 HAS SOUS 469186 HAS SOUPS 467431 WITH SCORE 471888.817
AT ITER 2814 NEW BEST:: SOT 6309419 SOS 4457817 HAS SOPS 4446716 HAS SOUS 469179 HAS SOUPS 467424 WITH SCORE 471881.817
AT ITER 2816 NEW BEST:: SOT 6309374 SOS 4457772 HAS SOPS 4446671 HAS SOUS 469089 HAS SOUPS 467334 WITH SCORE 471791.772
AT ITER 2821 NEW BEST:: SOT 6309248 SOS 4457646 HAS SOPS 4446545 HAS SOUS 469088 HAS SOUPS 467333 WITH SCORE 471790.646
AT ITER 2828 NEW BEST:: SOT 6309349 SOS 4458315 HAS SOPS 4447214 HAS SOUS 468656 HAS SOUPS 466901 WITH SCORE 471359.315
AT ITER 2833 NEW BEST:: SOT 6309447 SOS 4458413 HAS SOPS 4447312 HAS SOUS 468395 HAS SOUPS 466640 WITH SCORE 471098.413
AT ITER 2844 NEW BEST:: SOT 6309447 SOS 4458444 HAS SOPS 4447343 HAS SOUS 465822 HAS SOUPS 464067 WITH SCORE 468525.444
AT ITER 2852 NEW BEST:: SOT 6309447 SOS 4458444 HAS SOPS 4447343 HAS SOUS 465815 HAS SOUPS 464060 WITH SCORE 468518.444
AT ITER 2866 NEW BEST:: SOT 6309332 SOS 4458224 HAS SOPS 4447123 HAS SOUS 465720 HAS SOUPS 463965 WITH SCORE 468423.224
AT ITER 2879 NEW BEST:: SOT 6309614 SOS 4458879 HAS SOPS 4447778 HAS SOUS 465391 HAS SOUPS 463636 WITH SCORE 468094.879
AT ITER 2880 NEW BEST:: SOT 6309513 SOS 4458925 HAS SOPS 4447836 HAS SOUS 465314 HAS SOUPS 463559 WITH SCORE 468017.925
AT ITER 2897 NEW BEST:: SOT 6309138 SOS 4458923 HAS SOPS 4447870 HAS SOUS 464916 HAS SOUPS 463161 WITH SCORE 467619.923
AT ITER 2902 NEW BEST:: SOT 6309122 SOS 4458935 HAS SOPS 4447882 HAS SOUS 464912 HAS SOUPS 463157 WITH SCORE 467615.935
AT ITER 2916 NEW BEST:: SOT 6309176 SOS 4405495 HAS SOPS 4394442 HAS SOUS 463938 HAS SOUPS 462183 WITH SCORE 466588.495
AT ITER 2923 NEW BEST:: SOT 6309045 SOS 4405364 HAS SOPS 4394311 HAS SOUS 463728 HAS SOUPS 461973 WITH SCORE 466378.364
AT ITER 2934 NEW BEST:: SOT 6309045 SOS 4405341 HAS SOPS 4394288 HAS SOUS 463714 HAS SOUPS 461959 WITH SCORE 466364.341
AT ITER 2944 NEW BEST:: SOT 6308451 SOS 4404164 HAS SOPS 4393111 HAS SOUS 463128 HAS SOUPS 461373 WITH SCORE 465777.164
AT ITER 2950 NEW BEST:: SOT 6308431 SOS 4404144 HAS SOPS 4393140 HAS SOUS 463088 HAS SOUPS 461333 WITH SCORE 465737.144
AT ITER 2962 NEW BEST:: SOT 6322851 SOS 4419273 HAS SOPS 4408283 HAS SOUS 459087 HAS SOUPS 457332 WITH SCORE 461751.273
AT ITER 2964 NEW BEST:: SOT 6322976 SOS 4419242 HAS SOPS 4408252 HAS SOUS 458879 HAS SOUPS 457124 WITH SCORE 461543.242
AT ITER 2977 NEW BEST:: SOT 6319595 SOS 4418082 HAS SOPS 4404871 HAS SOUS 454633 HAS SOUPS 452572 WITH SCORE 456990.082
AT ITER 2987 NEW BEST:: SOT 6320156 SOS 4418427 HAS SOPS 4405216 HAS SOUS 454371 HAS SOUPS 452310 WITH SCORE 456728.427
AT ITER 2997 NEW BEST:: SOT 6320006 SOS 4418274 HAS SOPS 4405063 HAS SOUS 454307 HAS SOUPS 452246 WITH SCORE 456664.274
AT ITER 3013 NEW BEST:: SOT 6319913 SOS 4418317 HAS SOPS 4405106 HAS SOUS 454209 HAS SOUPS 452148 WITH SCORE 456566.317
AT ITER 3014 NEW BEST:: SOT 6319518 SOS 4418101 HAS SOPS 4404926 HAS SOUS 454022 HAS SOUPS 451961 WITH SCORE 456379.101
AT ITER 3021 NEW BEST:: SOT 6319509 SOS 4416625 HAS SOPS 4403839 HAS SOUS 453526 HAS SOUPS 451508 WITH SCORE 455924.625
AT ITER 3025 NEW BEST:: SOT 6319440 SOS 4416580 HAS SOPS 4403802 HAS SOUS 453332 HAS SOUPS 451314 WITH SCORE 455730.58
AT ITER 3028 NEW BEST:: SOT 6319297 SOS 4416432 HAS SOPS 4403654 HAS SOUS 453046 HAS SOUPS 451028 WITH SCORE 455444.432
AT ITER 3041 NEW BEST:: SOT 6319283 SOS 4416463 HAS SOPS 4403685 HAS SOUS 452973 HAS SOUPS 450955 WITH SCORE 455371.463
AT ITER 3063 NEW BEST:: SOT 6319684 SOS 4416880 HAS SOPS 4404102 HAS SOUS 452479 HAS SOUPS 450461 WITH SCORE 454877.88
AT ITER 3074 NEW BEST:: SOT 6317545 SOS 4414926 HAS SOPS 4402148 HAS SOUS 450802 HAS SOUPS 448784 WITH SCORE 453198.926
AT ITER 3077 NEW BEST:: SOT 6317545 SOS 4414914 HAS SOPS 4402136 HAS SOUS 450802 HAS SOUPS 448784 WITH SCORE 453198.914
AT ITER 3079 NEW BEST:: SOT 6317862 SOS 4414845 HAS SOPS 4402067 HAS SOUS 450091 HAS SOUPS 448073 WITH SCORE 452487.845
AT ITER 3090 NEW BEST:: SOT 6318371 SOS 4415552 HAS SOPS 4402774 HAS SOUS 449524 HAS SOUPS 447506 WITH SCORE 451921.552
AT ITER 3098 NEW BEST:: SOT 6317319 SOS 4414650 HAS SOPS 4401872 HAS SOUS 448158 HAS SOUPS 446140 WITH SCORE 450554.65
AT ITER 3109 NEW BEST:: SOT 6317301 SOS 4414662 HAS SOPS 4401884 HAS SOUS 448150 HAS SOUPS 446132 WITH SCORE 450546.662
AT ITER 3114 NEW BEST:: SOT 6317301 SOS 4414540 HAS SOPS 4401762 HAS SOUS 448141 HAS SOUPS 446123 WITH SCORE 450537.54
AT ITER 3115 NEW BEST:: SOT 6317295 SOS 4415234 HAS SOPS 4402456 HAS SOUS 448023 HAS SOUPS 446005 WITH SCORE 450420.234
AT ITER 3128 NEW BEST:: SOT 6317105 SOS 4415132 HAS SOPS 4402354 HAS SOUS 447863 HAS SOUPS 445845 WITH SCORE 450260.132
AT ITER 3132 NEW BEST:: SOT 6317130 SOS 4415157 HAS SOPS 4402415 HAS SOUS 447778 HAS SOUPS 445796 WITH SCORE 450211.157
AT ITER 3141 NEW BEST:: SOT 6317130 SOS 4415157 HAS SOPS 4402415 HAS SOUS 447766 HAS SOUPS 445784 WITH SCORE 450199.157
AT ITER 3151 NEW BEST:: SOT 6316966 SOS 4415039 HAS SOPS 4402297 HAS SOUS 447602 HAS SOUPS 445620 WITH SCORE 450035.039
AT ITER 3156 NEW BEST:: SOT 6316834 SOS 4414907 HAS SOPS 4402165 HAS SOUS 447272 HAS SOUPS 445290 WITH SCORE 449704.907
AT ITER 3163 NEW BEST:: SOT 6317049 SOS 4414827 HAS SOPS 4402085 HAS SOUS 447037 HAS SOUPS 445055 WITH SCORE 449469.827
AT ITER 3185 NEW BEST:: SOT 6317023 SOS 4414801 HAS SOPS 4402059 HAS SOUS 446971 HAS SOUPS 444989 WITH SCORE 449403.801
AT ITER 3187 NEW BEST:: SOT 6316982 SOS 4414760 HAS SOPS 4402018 HAS SOUS 446848 HAS SOUPS 444866 WITH SCORE 449280.76
AT ITER 3192 NEW BEST:: SOT 6334621 SOS 4433150 HAS SOPS 4420408 HAS SOUS 440608 HAS SOUPS 438626 WITH SCORE 443059.15
AT ITER 3198 NEW BEST:: SOT 6333737 SOS 4432266 HAS SOPS 4419524 HAS SOUS 440466 HAS SOUPS 438484 WITH SCORE 442916.266
AT ITER 3203 NEW BEST:: SOT 6333773 SOS 4432284 HAS SOPS 4419542 HAS SOUS 440448 HAS SOUPS 438466 WITH SCORE 442898.284
AT ITER 3227 NEW BEST:: SOT 6333909 SOS 4432890 HAS SOPS 4420148 HAS SOUS 439862 HAS SOUPS 437880 WITH SCORE 442312.89
AT ITER 3228 NEW BEST:: SOT 6333903 SOS 4432884 HAS SOPS 4420142 HAS SOUS 439856 HAS SOUPS 437874 WITH SCORE 442306.884
AT ITER 3234 NEW BEST:: SOT 6334022 SOS 4433157 HAS SOPS 4420415 HAS SOUS 438387 HAS SOUPS 436405 WITH SCORE 440838.157
AT ITER 3260 NEW BEST:: SOT 6334129 SOS 4433106 HAS SOPS 4420364 HAS SOUS 438332 HAS SOUPS 436350 WITH SCORE 440783.106
AT ITER 3266 NEW BEST:: SOT 6334009 SOS 4432986 HAS SOPS 4420244 HAS SOUS 438227 HAS SOUPS 436245 WITH SCORE 440677.986
AT ITER 3267 NEW BEST:: SOT 6348835 SOS 4448204 HAS SOPS 4435462 HAS SOUS 435900 HAS SOUPS 433918 WITH SCORE 438366.204
AT ITER 3273 NEW BEST:: SOT 6348898 SOS 4448270 HAS SOPS 4435528 HAS SOUS 435141 HAS SOUPS 433159 WITH SCORE 437607.27
AT ITER 3288 NEW BEST:: SOT 6347989 SOS 4447582 HAS SOPS 4434840 HAS SOUS 434422 HAS SOUPS 432440 WITH SCORE 436887.582
AT ITER 3316 NEW BEST:: SOT 6347527 SOS 4447111 HAS SOPS 4434369 HAS SOUS 434315 HAS SOUPS 432333 WITH SCORE 436780.111
AT ITER 3320 NEW BEST:: SOT 6347513 SOS 4447068 HAS SOPS 4434326 HAS SOUS 434248 HAS SOUPS 432266 WITH SCORE 436713.068
AT ITER 3330 NEW BEST:: SOT 6347516 SOS 4447650 HAS SOPS 4434908 HAS SOUS 434230 HAS SOUPS 432248 WITH SCORE 436695.65
AT ITER 3341 NEW BEST:: SOT 6347472 SOS 4447606 HAS SOPS 4434864 HAS SOUS 434186 HAS SOUPS 432204 WITH SCORE 436651.606
AT ITER 3349 NEW BEST:: SOT 6347632 SOS 4448271 HAS SOPS 4435529 HAS SOUS 433865 HAS SOUPS 431883 WITH SCORE 436331.271
AT ITER 3352 NEW BEST:: SOT 6347372 SOS 4448198 HAS SOPS 4435541 HAS SOUS 433511 HAS SOUPS 431529 WITH SCORE 435977.198
AT ITER 3358 NEW BEST:: SOT 6347372 SOS 4448164 HAS SOPS 4435507 HAS SOUS 433505 HAS SOUPS 431523 WITH SCORE 435971.164
AT ITER 3362 NEW BEST:: SOT 6347174 SOS 4446934 HAS SOPS 4434277 HAS SOUS 433346 HAS SOUPS 431364 WITH SCORE 435810.934
AT ITER 3368 NEW BEST:: SOT 6347177 SOS 4446937 HAS SOPS 4434280 HAS SOUS 433340 HAS SOUPS 431358 WITH SCORE 435804.937
AT ITER 3376 NEW BEST:: SOT 6347172 SOS 4446940 HAS SOPS 4434275 HAS SOUS 433328 HAS SOUPS 431345 WITH SCORE 435791.94
AT ITER 3381 NEW BEST:: SOT 6347225 SOS 4446918 HAS SOPS 4434253 HAS SOUS 433259 HAS SOUPS 431276 WITH SCORE 435722.918
AT ITER 3383 NEW BEST:: SOT 6347120 SOS 4446894 HAS SOPS 4434252 HAS SOUS 433154 HAS SOUPS 431171 WITH SCORE 435617.894
AT ITER 3395 NEW BEST:: SOT 6347306 SOS 4426762 HAS SOPS 4414120 HAS SOUS 433115 HAS SOUPS 431132 WITH SCORE 435558.762
AT ITER 3397 NEW BEST:: SOT 6347288 SOS 4426936 HAS SOPS 4414294 HAS SOUS 433101 HAS SOUPS 431118 WITH SCORE 435544.936
AT ITER 3415 NEW BEST:: SOT 6347172 SOS 4426788 HAS SOPS 4414146 HAS SOUS 432929 HAS SOUPS 430946 WITH SCORE 435372.788
AT ITER 3422 NEW BEST:: SOT 6346899 SOS 4426724 HAS SOPS 4414082 HAS SOUS 432661 HAS SOUPS 430678 WITH SCORE 435104.724
AT ITER 3441 NEW BEST:: SOT 6346592 SOS 4426163 HAS SOPS 4413521 HAS SOUS 432333 HAS SOUPS 430350 WITH SCORE 434776.163
AT ITER 3445 NEW BEST:: SOT 6346592 SOS 4426207 HAS SOPS 4413565 HAS SOUS 432240 HAS SOUPS 430257 WITH SCORE 434683.207
AT ITER 3454 NEW BEST:: SOT 6346590 SOS 4426205 HAS SOPS 4413563 HAS SOUS 432238 HAS SOUPS 430255 WITH SCORE 434681.205
AT ITER 3464 NEW BEST:: SOT 6345931 SOS 4425404 HAS SOPS 4412762 HAS SOUS 431486 HAS SOUPS 429503 WITH SCORE 433928.404
AT ITER 3465 NEW BEST:: SOT 6346617 SOS 4319424 HAS SOPS 4306782 HAS SOUS 428517 HAS SOUPS 426534 WITH SCORE 430853.424
AT ITER 3469 NEW BEST:: SOT 6345776 SOS 4318391 HAS SOPS 4305749 HAS SOUS 428029 HAS SOUPS 426046 WITH SCORE 430364.391
AT ITER 3474 NEW BEST:: SOT 6345544 SOS 4317934 HAS SOPS 4305292 HAS SOUS 427804 HAS SOUPS 425821 WITH SCORE 430138.934
AT ITER 3479 NEW BEST:: SOT 6345526 SOS 4317947 HAS SOPS 4305305 HAS SOUS 427737 HAS SOUPS 425754 WITH SCORE 430071.947
AT ITER 3483 NEW BEST:: SOT 6345513 SOS 4317934 HAS SOPS 4305292 HAS SOUS 427724 HAS SOUPS 425741 WITH SCORE 430058.934
AT ITER 3484 NEW BEST:: SOT 6345440 SOS 4318609 HAS SOPS 4305967 HAS SOUS 427477 HAS SOUPS 425494 WITH SCORE 429812.609
AT ITER 3508 NEW BEST:: SOT 6345420 SOS 4318589 HAS SOPS 4305947 HAS SOUS 427437 HAS SOUPS 425454 WITH SCORE 429772.589
AT ITER 3513 NEW BEST:: SOT 6345420 SOS 4318657 HAS SOPS 4305979 HAS SOUS 427447 HAS SOUPS 425428 WITH SCORE 429746.657
AT ITER 3515 NEW BEST:: SOT 6345005 SOS 4318076 HAS SOPS 4305398 HAS SOUS 427084 HAS SOUPS 425065 WITH SCORE 429383.076
AT ITER 3520 NEW BEST:: SOT 6344958 SOS 4317982 HAS SOPS 4305304 HAS SOUS 426978 HAS SOUPS 424959 WITH SCORE 429276.982
AT ITER 3538 NEW BEST:: SOT 6344822 SOS 4317767 HAS SOPS 4305089 HAS SOUS 426528 HAS SOUPS 424509 WITH SCORE 428826.767
AT ITER 3544 NEW BEST:: SOT 6344777 SOS 4317812 HAS SOPS 4305134 HAS SOUS 426474 HAS SOUPS 424455 WITH SCORE 428772.812
AT ITER 3564 NEW BEST:: SOT 6344408 SOS 4317443 HAS SOPS 4304765 HAS SOUS 425829 HAS SOUPS 423810 WITH SCORE 428127.443
AT ITER 3570 NEW BEST:: SOT 6344148 SOS 4317245 HAS SOPS 4304567 HAS SOUS 425623 HAS SOUPS 423604 WITH SCORE 427921.245
AT ITER 3573 NEW BEST:: SOT 6344369 SOS 4317495 HAS SOPS 4304817 HAS SOUS 424728 HAS SOUPS 422709 WITH SCORE 427026.495
AT ITER 3596 NEW BEST:: SOT 6347289 SOS 4320415 HAS SOPS 4307737 HAS SOUS 417589 HAS SOUPS 415570 WITH SCORE 419890.415
AT ITER 3605 NEW BEST:: SOT 6347142 SOS 4320704 HAS SOPS 4308026 HAS SOUS 417229 HAS SOUPS 415210 WITH SCORE 419530.704
AT ITER 3608 NEW BEST:: SOT 6347233 SOS 4320795 HAS SOPS 4308117 HAS SOUS 417115 HAS SOUPS 415096 WITH SCORE 419416.795
AT ITER 3622 NEW BEST:: SOT 6347233 SOS 4320782 HAS SOPS 4308104 HAS SOUS 417115 HAS SOUPS 415096 WITH SCORE 419416.782
AT ITER 3625 NEW BEST:: SOT 6347233 SOS 4320782 HAS SOPS 4308068 HAS SOUS 417079 HAS SOUPS 415060 WITH SCORE 419380.782
AT ITER 3626 NEW BEST:: SOT 6347217 SOS 4322515 HAS SOPS 4309801 HAS SOUS 416838 HAS SOUPS 414819 WITH SCORE 419141.515
AT ITER 3641 NEW BEST:: SOT 6351260 SOS 4326558 HAS SOPS 4313844 HAS SOUS 415417 HAS SOUPS 413398 WITH SCORE 417724.558
AT ITER 3647 NEW BEST:: SOT 6351190 SOS 4326522 HAS SOPS 4313808 HAS SOUS 415329 HAS SOUPS 413310 WITH SCORE 417636.522
AT ITER 3654 NEW BEST:: SOT 6350244 SOS 4325513 HAS SOPS 4312799 HAS SOUS 414320 HAS SOUPS 412301 WITH SCORE 416626.513
AT ITER 3661 NEW BEST:: SOT 6349369 SOS 4324990 HAS SOPS 4312276 HAS SOUS 413058 HAS SOUPS 411039 WITH SCORE 415363.99
AT ITER 3669 NEW BEST:: SOT 6349291 SOS 4324912 HAS SOPS 4312198 HAS SOUS 412980 HAS SOUPS 410961 WITH SCORE 415285.912
AT ITER 3692 NEW BEST:: SOT 6349204 SOS 4324870 HAS SOPS 4312156 HAS SOUS 412851 HAS SOUPS 410832 WITH SCORE 415156.87
AT ITER 3697 NEW BEST:: SOT 6349334 SOS 4325134 HAS SOPS 4312420 HAS SOUS 412727 HAS SOUPS 410708 WITH SCORE 415033.134
AT ITER 3704 NEW BEST:: SOT 6349246 SOS 4325049 HAS SOPS 4312335 HAS SOUS 412639 HAS SOUPS 410620 WITH SCORE 414945.049
AT ITER 3728 NEW BEST:: SOT 6349164 SOS 4325008 HAS SOPS 4312294 HAS SOUS 412598 HAS SOUPS 410579 WITH SCORE 414904.008
AT ITER 3731 NEW BEST:: SOT 6348826 SOS 4324378 HAS SOPS 4311664 HAS SOUS 412576 HAS SOUPS 410557 WITH SCORE 414881.378
AT ITER 3751 NEW BEST:: SOT 6348877 SOS 4324429 HAS SOPS 4311715 HAS SOUS 412525 HAS SOUPS 410506 WITH SCORE 414830.429
AT ITER 3763 NEW BEST:: SOT 6348759 SOS 4324311 HAS SOPS 4311597 HAS SOUS 412519 HAS SOUPS 410500 WITH SCORE 414824.311
AT ITER 3777 NEW BEST:: SOT 6348751 SOS 4324305 HAS SOPS 4311591 HAS SOUS 412511 HAS SOUPS 410492 WITH SCORE 414816.305
AT ITER 3793 NEW BEST:: SOT 6348649 SOS 4324203 HAS SOPS 4311489 HAS SOUS 412409 HAS SOUPS 410390 WITH SCORE 414714.203
AT ITER 3809 NEW BEST:: SOT 6348618 SOS 4324369 HAS SOPS 4311655 HAS SOUS 412269 HAS SOUPS 410250 WITH SCORE 414574.369
AT ITER 3810 NEW BEST:: SOT 6347696 SOS 4323447 HAS SOPS 4310733 HAS SOUS 411846 HAS SOUPS 409827 WITH SCORE 414150.447
AT ITER 3811 NEW BEST:: SOT 6347693 SOS 4323444 HAS SOPS 4310733 HAS SOUS 411846 HAS SOUPS 409827 WITH SCORE 414150.444
AT ITER 3827 NEW BEST:: SOT 6347800 SOS 4323551 HAS SOPS 4310738 HAS SOUS 411819 HAS SOUPS 409793 WITH SCORE 414116.551
AT ITER 3831 NEW BEST:: SOT 6347760 SOS 4323511 HAS SOPS 4310578 HAS SOUS 411652 HAS SOUPS 409626 WITH SCORE 413949.511
AT ITER 3841 NEW BEST:: SOT 6347634 SOS 4323385 HAS SOPS 4310452 HAS SOUS 411560 HAS SOUPS 409534 WITH SCORE 413857.385
AT ITER 3843 NEW BEST:: SOT 6347634 SOS 4323432 HAS SOPS 4310499 HAS SOUS 411510 HAS SOUPS 409484 WITH SCORE 413807.432
AT ITER 3851 NEW BEST:: SOT 6347599 SOS 4323397 HAS SOPS 4310464 HAS SOUS 411450 HAS SOUPS 409424 WITH SCORE 413747.397
AT ITER 3857 NEW BEST:: SOT 6347646 SOS 4323541 HAS SOPS 4310608 HAS SOUS 411312 HAS SOUPS 409286 WITH SCORE 413609.541
AT ITER 3872 NEW BEST:: SOT 6347676 SOS 4323571 HAS SOPS 4310590 HAS SOUS 411305 HAS SOUPS 409279 WITH SCORE 413602.571
AT ITER 3874 NEW BEST:: SOT 6347632 SOS 4323527 HAS SOPS 4310524 HAS SOUS 411217 HAS SOUPS 409191 WITH SCORE 413514.527
AT ITER 3881 NEW BEST:: SOT 6347632 SOS 4327015 HAS SOPS 4314012 HAS SOUS 411157 HAS SOUPS 409131 WITH SCORE 413458.015
AT ITER 3888 NEW BEST:: SOT 6347437 SOS 4343726 HAS SOPS 4330723 HAS SOUS 411062 HAS SOUPS 409036 WITH SCORE 413379.726
AT ITER 3891 NEW BEST:: SOT 6346309 SOS 4342858 HAS SOPS 4329855 HAS SOUS 409637 HAS SOUPS 407611 WITH SCORE 411953.858
AT ITER 3898 NEW BEST:: SOT 6345939 SOS 4342604 HAS SOPS 4329601 HAS SOUS 409119 HAS SOUPS 407093 WITH SCORE 411435.604
AT ITER 3920 NEW BEST:: SOT 6345798 SOS 4342602 HAS SOPS 4329705 HAS SOUS 408745 HAS SOUPS 406719 WITH SCORE 411061.602
AT ITER 3921 NEW BEST:: SOT 6345603 SOS 4342407 HAS SOPS 4329510 HAS SOUS 408416 HAS SOUPS 406390 WITH SCORE 410732.407
AT ITER 3923 NEW BEST:: SOT 6345566 SOS 4342123 HAS SOPS 4329226 HAS SOUS 408330 HAS SOUPS 406304 WITH SCORE 410646.123
AT ITER 3927 NEW BEST:: SOT 6345566 SOS 4342162 HAS SOPS 4329265 HAS SOUS 408238 HAS SOUPS 406212 WITH SCORE 410554.162
AT ITER 3935 NEW BEST:: SOT 6345591 SOS 4342607 HAS SOPS 4329710 HAS SOUS 408041 HAS SOUPS 406015 WITH SCORE 410357.607
AT ITER 3959 NEW BEST:: SOT 6345221 SOS 4342021 HAS SOPS 4329124 HAS SOUS 407925 HAS SOUPS 405899 WITH SCORE 410241.021
AT ITER 3960 NEW BEST:: SOT 6345221 SOS 4341975 HAS SOPS 4329078 HAS SOUS 407807 HAS SOUPS 405781 WITH SCORE 410122.975
AT ITER 3981 NEW BEST:: SOT 6345220 SOS 4341709 HAS SOPS 4328745 HAS SOUS 407776 HAS SOUPS 405750 WITH SCORE 410091.709
AT ITER 4009 NEW BEST:: SOT 6345040 SOS 4341429 HAS SOPS 4328465 HAS SOUS 407371 HAS SOUPS 405345 WITH SCORE 409686.429
AT ITER 4015 NEW BEST:: SOT 6345071 SOS 4341460 HAS SOPS 4328478 HAS SOUS 407368 HAS SOUPS 405342 WITH SCORE 409683.46
AT ITER 4024 NEW BEST:: SOT 6344951 SOS 4341340 HAS SOPS 4328358 HAS SOUS 407276 HAS SOUPS 405250 WITH SCORE 409591.34
AT ITER 4026 NEW BEST:: SOT 6344815 SOS 4341189 HAS SOPS 4328207 HAS SOUS 407124 HAS SOUPS 405098 WITH SCORE 409439.189
AT ITER 4027 NEW BEST:: SOT 6344304 SOS 4340592 HAS SOPS 4327610 HAS SOUS 406419 HAS SOUPS 404393 WITH SCORE 408733.592
AT ITER 4041 NEW BEST:: SOT 6344233 SOS 4340632 HAS SOPS 4327650 HAS SOUS 406237 HAS SOUPS 404211 WITH SCORE 408551.632
AT ITER 4042 NEW BEST:: SOT 6344150 SOS 4340019 HAS SOPS 4327037 HAS SOUS 406071 HAS SOUPS 404045 WITH SCORE 408385.019
AT ITER 4045 NEW BEST:: SOT 6344042 SOS 4340127 HAS SOPS 4327253 HAS SOUS 405963 HAS SOUPS 403937 WITH SCORE 408277.127
AT ITER 4053 NEW BEST:: SOT 6343910 SOS 4340192 HAS SOPS 4327318 HAS SOUS 405014 HAS SOUPS 402988 WITH SCORE 407328.192
AT ITER 4054 NEW BEST:: SOT 6343894 SOS 4340176 HAS SOPS 4327288 HAS SOUS 404968 HAS SOUPS 402942 WITH SCORE 407282.176
AT ITER 4061 NEW BEST:: SOT 6342861 SOS 4338916 HAS SOPS 4326028 HAS SOUS 404300 HAS SOUPS 402274 WITH SCORE 406612.916
AT ITER 4065 NEW BEST:: SOT 6339875 SOS 4335875 HAS SOPS 4322987 HAS SOUS 404067 HAS SOUPS 402041 WITH SCORE 406376.875
AT ITER 4071 NEW BEST:: SOT 6340008 SOS 4336119 HAS SOPS 4323231 HAS SOUS 404038 HAS SOUPS 402012 WITH SCORE 406348.119
AT ITER 4080 NEW BEST:: SOT 6339974 SOS 4336085 HAS SOPS 4323157 HAS SOUS 403980 HAS SOUPS 401954 WITH SCORE 406290.085
AT ITER 4114 NEW BEST:: SOT 6339988 SOS 4336099 HAS SOPS 4323191 HAS SOUS 403870 HAS SOUPS 401844 WITH SCORE 406180.099
AT ITER 4136 NEW BEST:: SOT 6339859 SOS 4335712 HAS SOPS 4322804 HAS SOUS 403675 HAS SOUPS 401649 WITH SCORE 405984.712
AT ITER 4150 NEW BEST:: SOT 6339806 SOS 4335628 HAS SOPS 4322720 HAS SOUS 403404 HAS SOUPS 401378 WITH SCORE 405713.628
AT ITER 4177 NEW BEST:: SOT 6339880 SOS 4336056 HAS SOPS 4323148 HAS SOUS 402234 HAS SOUPS 400208 WITH SCORE 404544.056
AT ITER 4182 NEW BEST:: SOT 6339833 SOS 4336040 HAS SOPS 4323136 HAS SOUS 402187 HAS SOUPS 400161 WITH SCORE 404497.04
AT ITER 4188 NEW BEST:: SOT 6339833 SOS 4335849 HAS SOPS 4322945 HAS SOUS 402187 HAS SOUPS 400161 WITH SCORE 404496.849
AT ITER 4190 NEW BEST:: SOT 6339405 SOS 4335457 HAS SOPS 4322553 HAS SOUS 401949 HAS SOUPS 399923 WITH SCORE 404258.457
AT ITER 4206 NEW BEST:: SOT 6339054 SOS 4335204 HAS SOPS 4322300 HAS SOUS 401733 HAS SOUPS 399707 WITH SCORE 404042.204
AT ITER 4214 NEW BEST:: SOT 6338850 SOS 4335109 HAS SOPS 4322205 HAS SOUS 401539 HAS SOUPS 399513 WITH SCORE 403848.109
AT ITER 4215 NEW BEST:: SOT 6338779 SOS 4335038 HAS SOPS 4322134 HAS SOUS 401216 HAS SOUPS 399190 WITH SCORE 403525.038
AT ITER 4229 NEW BEST:: SOT 6338722 SOS 4335000 HAS SOPS 4322096 HAS SOUS 401159 HAS SOUPS 399133 WITH SCORE 403468.0
AT ITER 4237 NEW BEST:: SOT 6338288 SOS 4334648 HAS SOPS 4321744 HAS SOUS 400424 HAS SOUPS 398398 WITH SCORE 402732.648
AT ITER 4267 NEW BEST:: SOT 6338257 SOS 4334661 HAS SOPS 4321757 HAS SOUS 400346 HAS SOUPS 398320 WITH SCORE 402654.661
AT ITER 4271 NEW BEST:: SOT 6337728 SOS 4334253 HAS SOPS 4321349 HAS SOUS 399541 HAS SOUPS 397515 WITH SCORE 401849.253
AT ITER 4273 NEW BEST:: SOT 6337701 SOS 4334226 HAS SOPS 4321322 HAS SOUS 399514 HAS SOUPS 397488 WITH SCORE 401822.226
AT ITER 4316 NEW BEST:: SOT 6337768 SOS 4393487 HAS SOPS 4380583 HAS SOUS 399393 HAS SOUPS 397367 WITH SCORE 401760.487
AT ITER 4330 NEW BEST:: SOT 6337646 SOS 4393573 HAS SOPS 4380669 HAS SOUS 399177 HAS SOUPS 397151 WITH SCORE 401544.573
AT ITER 4336 NEW BEST:: SOT 6337646 SOS 4393573 HAS SOPS 4380669 HAS SOUS 398969 HAS SOUPS 396943 WITH SCORE 401336.573
AT ITER 4358 NEW BEST:: SOT 6337577 SOS 4392227 HAS SOPS 4379323 HAS SOUS 398867 HAS SOUPS 396841 WITH SCORE 401233.227
AT ITER 4363 NEW BEST:: SOT 6337502 SOS 4392077 HAS SOPS 4379173 HAS SOUS 398717 HAS SOUPS 396691 WITH SCORE 401083.077
AT ITER 4372 NEW BEST:: SOT 6337755 SOS 4393317 HAS SOPS 4380413 HAS SOUS 398446 HAS SOUPS 396420 WITH SCORE 400813.317
AT ITER 4373 NEW BEST:: SOT 6338053 SOS 4393891 HAS SOPS 4380987 HAS SOUS 398352 HAS SOUPS 396326 WITH SCORE 400719.891
AT ITER 4378 NEW BEST:: SOT 6338053 SOS 4393735 HAS SOPS 4380831 HAS SOUS 398134 HAS SOUPS 396108 WITH SCORE 400501.735
AT ITER 4388 NEW BEST:: SOT 6346511 SOS 4402300 HAS SOPS 4389396 HAS SOUS 397460 HAS SOUPS 395434 WITH SCORE 399836.3
AT ITER 4412 NEW BEST:: SOT 6345208 SOS 4401308 HAS SOPS 4388404 HAS SOUS 396766 HAS SOUPS 394740 WITH SCORE 399141.308
AT ITER 4414 NEW BEST:: SOT 6345207 SOS 4401305 HAS SOPS 4388401 HAS SOUS 396764 HAS SOUPS 394738 WITH SCORE 399139.305
AT ITER 4420 NEW BEST:: SOT 6345182 SOS 4401330 HAS SOPS 4388426 HAS SOUS 396739 HAS SOUPS 394713 WITH SCORE 399114.33
AT ITER 4463 NEW BEST:: SOT 6345079 SOS 4401244 HAS SOPS 4388340 HAS SOUS 396629 HAS SOUPS 394603 WITH SCORE 399004.244
AT ITER 4487 NEW BEST:: SOT 6345016 SOS 4401742 HAS SOPS 4388838 HAS SOUS 395872 HAS SOUPS 393846 WITH SCORE 398247.742
AT ITER 4497 NEW BEST:: SOT 6344956 SOS 4401692 HAS SOPS 4388788 HAS SOUS 395812 HAS SOUPS 393786 WITH SCORE 398187.692
AT ITER 4502 NEW BEST:: SOT 6344887 SOS 4402159 HAS SOPS 4389255 HAS SOUS 395527 HAS SOUPS 393501 WITH SCORE 397903.159
AT ITER 4517 NEW BEST:: SOT 6344334 SOS 4401606 HAS SOPS 4388702 HAS SOUS 394803 HAS SOUPS 392777 WITH SCORE 397178.606
AT ITER 4518 NEW BEST:: SOT 6344757 SOS 4400557 HAS SOPS 4387653 HAS SOUS 394619 HAS SOUPS 392593 WITH SCORE 396993.557
AT ITER 4547 NEW BEST:: SOT 6344757 SOS 4400620 HAS SOPS 4387653 HAS SOUS 394493 HAS SOUPS 392467 WITH SCORE 396867.62
AT ITER 4550 NEW BEST:: SOT 6354477 SOS 4410558 HAS SOPS 4397591 HAS SOUS 392231 HAS SOUPS 390205 WITH SCORE 394615.558
AT ITER 4557 NEW BEST:: SOT 6354527 SOS 4410608 HAS SOPS 4397708 HAS SOUS 392150 HAS SOUPS 390124 WITH SCORE 394534.608
AT ITER 4579 NEW BEST:: SOT 6354522 SOS 4410603 HAS SOPS 4397703 HAS SOUS 392124 HAS SOUPS 390098 WITH SCORE 394508.603
AT ITER 4580 NEW BEST:: SOT 6354522 SOS 4410428 HAS SOPS 4397528 HAS SOUS 392058 HAS SOUPS 390032 WITH SCORE 394442.428
AT ITER 4592 NEW BEST:: SOT 6354520 SOS 4410299 HAS SOPS 4397399 HAS SOUS 391744 HAS SOUPS 389718 WITH SCORE 394128.299
AT ITER 4651 NEW BEST:: SOT 6354086 SOS 4409865 HAS SOPS 4396965 HAS SOUS 391310 HAS SOUPS 389284 WITH SCORE 393693.865
AT ITER 4656 NEW BEST:: SOT 6354115 SOS 4410014 HAS SOPS 4397114 HAS SOUS 391140 HAS SOUPS 389114 WITH SCORE 393524.014
AT ITER 4680 NEW BEST:: SOT 6354121 SOS 4409995 HAS SOPS 4397095 HAS SOUS 391020 HAS SOUPS 388994 WITH SCORE 393403.995
AT ITER 4682 NEW BEST:: SOT 6354069 SOS 4409819 HAS SOPS 4396919 HAS SOUS 390984 HAS SOUPS 388958 WITH SCORE 393367.819
AT ITER 4685 NEW BEST:: SOT 6354034 SOS 4409750 HAS SOPS 4396850 HAS SOUS 390949 HAS SOUPS 388923 WITH SCORE 393332.75
AT ITER 4695 NEW BEST:: SOT 6354058 SOS 4408836 HAS SOPS 4395936 HAS SOUS 390602 HAS SOUPS 388576 WITH SCORE 392984.836
AT ITER 4697 NEW BEST:: SOT 6353978 SOS 4408966 HAS SOPS 4396066 HAS SOUS 390351 HAS SOUPS 388325 WITH SCORE 392733.966
AT ITER 4704 NEW BEST:: SOT 6352285 SOS 4406463 HAS SOPS 4393563 HAS SOUS 388808 HAS SOUPS 386782 WITH SCORE 391188.463
AT ITER 4713 NEW BEST:: SOT 6352265 SOS 4406413 HAS SOPS 4393513 HAS SOUS 388787 HAS SOUPS 386761 WITH SCORE 391167.413
AT ITER 4717 NEW BEST:: SOT 6352283 SOS 4407567 HAS SOPS 4394667 HAS SOUS 388746 HAS SOUPS 386720 WITH SCORE 391127.567
AT ITER 4734 NEW BEST:: SOT 6352008 SOS 4407292 HAS SOPS 4394392 HAS SOUS 388334 HAS SOUPS 386308 WITH SCORE 390715.292
AT ITER 4739 NEW BEST:: SOT 6351942 SOS 4407226 HAS SOPS 4394326 HAS SOUS 388066 HAS SOUPS 386040 WITH SCORE 390447.226
AT ITER 4740 NEW BEST:: SOT 6352048 SOS 4407632 HAS SOPS 4394732 HAS SOUS 387793 HAS SOUPS 385767 WITH SCORE 390174.632
AT ITER 4747 NEW BEST:: SOT 6355787 SOS 4411545 HAS SOPS 4398645 HAS SOUS 385056 HAS SOUPS 383030 WITH SCORE 387441.545
AT ITER 4753 NEW BEST:: SOT 6355763 SOS 4411521 HAS SOPS 4398621 HAS SOUS 385008 HAS SOUPS 382982 WITH SCORE 387393.521
AT ITER 4756 NEW BEST:: SOT 6356146 SOS 4411744 HAS SOPS 4398844 HAS SOUS 384757 HAS SOUPS 382731 WITH SCORE 387142.744
AT ITER 4770 NEW BEST:: SOT 6356154 SOS 4411804 HAS SOPS 4398904 HAS SOUS 384685 HAS SOUPS 382659 WITH SCORE 387070.804
AT ITER 4774 NEW BEST:: SOT 6356135 SOS 4411829 HAS SOPS 4398929 HAS SOUS 384626 HAS SOUPS 382600 WITH SCORE 387011.829
AT ITER 4775 NEW BEST:: SOT 6356043 SOS 4411908 HAS SOPS 4399015 HAS SOUS 384541 HAS SOUPS 382515 WITH SCORE 386926.908
AT ITER 4784 NEW BEST:: SOT 6356387 SOS 4412330 HAS SOPS 4399437 HAS SOUS 383629 HAS SOUPS 381603 WITH SCORE 386015.33
AT ITER 4804 NEW BEST:: SOT 6356324 SOS 4412172 HAS SOPS 4399279 HAS SOUS 383471 HAS SOUPS 381445 WITH SCORE 385857.172
AT ITER 4811 NEW BEST:: SOT 6356832 SOS 4413121 HAS SOPS 4400228 HAS SOUS 383212 HAS SOUPS 381186 WITH SCORE 385599.121
AT ITER 4823 NEW BEST:: SOT 6356676 SOS 4412899 HAS SOPS 4400006 HAS SOUS 382998 HAS SOUPS 380972 WITH SCORE 385384.899
AT ITER 4844 NEW BEST:: SOT 6356648 SOS 4412781 HAS SOPS 4399888 HAS SOUS 382918 HAS SOUPS 380892 WITH SCORE 385304.781
AT ITER 4847 NEW BEST:: SOT 6356758 SOS 4412832 HAS SOPS 4399939 HAS SOUS 382812 HAS SOUPS 380786 WITH SCORE 385198.832
AT ITER 4869 NEW BEST:: SOT 6358359 SOS 4402824 HAS SOPS 4389931 HAS SOUS 382500 HAS SOUPS 380474 WITH SCORE 384876.824
AT ITER 4873 NEW BEST:: SOT 6358327 SOS 4403630 HAS SOPS 4390740 HAS SOUS 382423 HAS SOUPS 380397 WITH SCORE 384800.63
AT ITER 4923 NEW BEST:: SOT 6358254 SOS 4403141 HAS SOPS 4390251 HAS SOUS 382329 HAS SOUPS 380303 WITH SCORE 384706.141
AT ITER 4935 NEW BEST:: SOT 6358342 SOS 4403058 HAS SOPS 4390147 HAS SOUS 382313 HAS SOUPS 380287 WITH SCORE 384690.058
AT ITER 4938 NEW BEST:: SOT 6358342 SOS 4402538 HAS SOPS 4389627 HAS SOUS 382277 HAS SOUPS 380251 WITH SCORE 384653.538
AT ITER 4950 NEW BEST:: SOT 6359737 SOS 4401716 HAS SOPS 4388805 HAS SOUS 381609 HAS SOUPS 379583 WITH SCORE 383984.716
AT ITER 4965 NEW BEST:: SOT 6359278 SOS 4403758 HAS SOPS 4390847 HAS SOUS 381418 HAS SOUPS 379392 WITH SCORE 383795.758
AT ITER 4986 NEW BEST:: SOT 6359278 SOS 4403702 HAS SOPS 4390791 HAS SOUS 381371 HAS SOUPS 379345 WITH SCORE 383748.702
AT ITER 5002 NEW BEST:: SOT 6359120 SOS 4403544 HAS SOPS 4390633 HAS SOUS 381336 HAS SOUPS 379310 WITH SCORE 383713.544
AT ITER 5031 NEW BEST:: SOT 6359061 SOS 4403485 HAS SOPS 4390574 HAS SOUS 381290 HAS SOUPS 379264 WITH SCORE 383667.485
AT ITER 5054 NEW BEST:: SOT 6359066 SOS 4403433 HAS SOPS 4390465 HAS SOUS 381243 HAS SOUPS 379217 WITH SCORE 383620.433
AT ITER 5055 NEW BEST:: SOT 6344023 SOS 4388292 HAS SOPS 4375324 HAS SOUS 380674 HAS SOUPS 378648 WITH SCORE 383036.292
AT ITER 5062 NEW BEST:: SOT 6343949 SOS 4388366 HAS SOPS 4375398 HAS SOUS 380378 HAS SOUPS 378352 WITH SCORE 382740.366
AT ITER 5064 NEW BEST:: SOT 6343919 SOS 4388336 HAS SOPS 4375368 HAS SOUS 380354 HAS SOUPS 378328 WITH SCORE 382716.336
AT ITER 5070 NEW BEST:: SOT 6343889 SOS 4388306 HAS SOPS 4375338 HAS SOUS 380354 HAS SOUPS 378328 WITH SCORE 382716.306
AT ITER 5106 NEW BEST:: SOT 6343882 SOS 4388299 HAS SOPS 4375302 HAS SOUS 380340 HAS SOUPS 378314 WITH SCORE 382702.299
AT ITER 5112 NEW BEST:: SOT 6343829 SOS 4388301 HAS SOPS 4375304 HAS SOUS 380290 HAS SOUPS 378264 WITH SCORE 382652.301
AT ITER 5113 NEW BEST:: SOT 6344018 SOS 4388396 HAS SOPS 4375313 HAS SOUS 380224 HAS SOUPS 378198 WITH SCORE 382586.396
AT ITER 5114 NEW BEST:: SOT 6344289 SOS 4388915 HAS SOPS 4375832 HAS SOUS 380124 HAS SOUPS 378098 WITH SCORE 382486.915
AT ITER 5120 NEW BEST:: SOT 6344204 SOS 4389112 HAS SOPS 4376029 HAS SOUS 380112 HAS SOUPS 378086 WITH SCORE 382475.112
AT ITER 5123 NEW BEST:: SOT 6343740 SOS 4389443 HAS SOPS 4376360 HAS SOUS 380024 HAS SOUPS 377998 WITH SCORE 382387.443
AT ITER 5152 NEW BEST:: SOT 6343820 SOS 4389523 HAS SOPS 4376440 HAS SOUS 379928 HAS SOUPS 377902 WITH SCORE 382291.523
AT ITER 5171 NEW BEST:: SOT 6343933 SOS 4389417 HAS SOPS 4376312 HAS SOUS 379757 HAS SOUPS 377731 WITH SCORE 382120.417
AT ITER 5175 NEW BEST:: SOT 6344192 SOS 4389676 HAS SOPS 4376571 HAS SOUS 378018 HAS SOUPS 375992 WITH SCORE 380381.676
AT ITER 5185 NEW BEST:: SOT 6344178 SOS 4389662 HAS SOPS 4376557 HAS SOUS 378004 HAS SOUPS 375978 WITH SCORE 380367.662
AT ITER 5197 NEW BEST:: SOT 6344154 SOS 4389638 HAS SOPS 4376530 HAS SOUS 377983 HAS SOUPS 375957 WITH SCORE 380346.638
AT ITER 5207 NEW BEST:: SOT 6344217 SOS 4389701 HAS SOPS 4376545 HAS SOUS 377979 HAS SOUPS 375953 WITH SCORE 380342.701
AT ITER 5208 NEW BEST:: SOT 6344078 SOS 4389725 HAS SOPS 4376579 HAS SOUS 377966 HAS SOUPS 375940 WITH SCORE 380329.725
AT ITER 5210 NEW BEST:: SOT 6344072 SOS 4389719 HAS SOPS 4376573 HAS SOUS 377909 HAS SOUPS 375883 WITH SCORE 380272.719
AT ITER 5218 NEW BEST:: SOT 6343842 SOS 4389282 HAS SOPS 4376136 HAS SOUS 377472 HAS SOUPS 375446 WITH SCORE 379835.282
AT ITER 5222 NEW BEST:: SOT 6343719 SOS 4388970 HAS SOPS 4375824 HAS SOUS 377415 HAS SOUPS 375389 WITH SCORE 379777.97
AT ITER 5233 NEW BEST:: SOT 6343721 SOS 4388914 HAS SOPS 4375768 HAS SOUS 377357 HAS SOUPS 375331 WITH SCORE 379719.914
AT ITER 5238 NEW BEST:: SOT 6343665 SOS 4388904 HAS SOPS 4375758 HAS SOUS 377347 HAS SOUPS 375321 WITH SCORE 379709.904
AT ITER 5244 NEW BEST:: SOT 6342257 SOS 4387496 HAS SOPS 4374350 HAS SOUS 377200 HAS SOUPS 375174 WITH SCORE 379561.496
AT ITER 5282 NEW BEST:: SOT 6342057 SOS 4387296 HAS SOPS 4374150 HAS SOUS 376830 HAS SOUPS 374804 WITH SCORE 379191.296
AT ITER 5297 NEW BEST:: SOT 6343188 SOS 4389081 HAS SOPS 4375935 HAS SOUS 373618 HAS SOUPS 371592 WITH SCORE 375981.081
AT ITER 5314 NEW BEST:: SOT 6343156 SOS 4389017 HAS SOPS 4375871 HAS SOUS 373554 HAS SOUPS 371528 WITH SCORE 375917.017
AT ITER 5328 NEW BEST:: SOT 6343167 SOS 4389006 HAS SOPS 4375849 HAS SOUS 373554 HAS SOUPS 371528 WITH SCORE 375917.006
AT ITER 5332 NEW BEST:: SOT 6343227 SOS 4389078 HAS SOPS 4375921 HAS SOUS 373218 HAS SOUPS 371192 WITH SCORE 375581.078
AT ITER 5346 NEW BEST:: SOT 6342971 SOS 4387952 HAS SOPS 4374795 HAS SOUS 372530 HAS SOUPS 370504 WITH SCORE 374891.952
AT ITER 5352 NEW BEST:: SOT 6342960 SOS 4387941 HAS SOPS 4374784 HAS SOUS 372508 HAS SOUPS 370482 WITH SCORE 374869.941
AT ITER 5356 NEW BEST:: SOT 6342797 SOS 4388204 HAS SOPS 4375047 HAS SOUS 372377 HAS SOUPS 370351 WITH SCORE 374739.204
AT ITER 5357 NEW BEST:: SOT 6343663 SOS 4389230 HAS SOPS 4376073 HAS SOUS 368791 HAS SOUPS 366765 WITH SCORE 371154.23
AT ITER 5361 NEW BEST:: SOT 6344002 SOS 4390021 HAS SOPS 4376864 HAS SOUS 368564 HAS SOUPS 366538 WITH SCORE 370928.021
AT ITER 5370 NEW BEST:: SOT 6343986 SOS 4390025 HAS SOPS 4376868 HAS SOUS 368463 HAS SOUPS 366437 WITH SCORE 370827.025
AT ITER 5374 NEW BEST:: SOT 6343817 SOS 4389954 HAS SOPS 4376797 HAS SOUS 368454 HAS SOUPS 366428 WITH SCORE 370817.954
AT ITER 5394 NEW BEST:: SOT 6343817 SOS 4390034 HAS SOPS 4376877 HAS SOUS 368370 HAS SOUPS 366344 WITH SCORE 370734.034
AT ITER 5406 NEW BEST:: SOT 6343594 SOS 4390402 HAS SOPS 4377245 HAS SOUS 368350 HAS SOUPS 366324 WITH SCORE 370714.402
AT ITER 5411 NEW BEST:: SOT 6343614 SOS 4390422 HAS SOPS 4377252 HAS SOUS 368339 HAS SOUPS 366313 WITH SCORE 370703.422
AT ITER 5439 NEW BEST:: SOT 6343614 SOS 4390596 HAS SOPS 4377426 HAS SOUS 368232 HAS SOUPS 366206 WITH SCORE 370596.596
AT ITER 5452 NEW BEST:: SOT 6343327 SOS 4390452 HAS SOPS 4377282 HAS SOUS 368214 HAS SOUPS 366188 WITH SCORE 370578.452
AT ITER 5453 NEW BEST:: SOT 6343339 SOS 4390467 HAS SOPS 4377297 HAS SOUS 367974 HAS SOUPS 365948 WITH SCORE 370338.467
AT ITER 5474 NEW BEST:: SOT 6343339 SOS 4390443 HAS SOPS 4377273 HAS SOUS 367974 HAS SOUPS 365948 WITH SCORE 370338.443
AT ITER 5479 NEW BEST:: SOT 6343747 SOS 4390851 HAS SOPS 4377681 HAS SOUS 366937 HAS SOUPS 364911 WITH SCORE 369301.851
AT ITER 5483 NEW BEST:: SOT 6343441 SOS 4390545 HAS SOPS 4377375 HAS SOUS 366855 HAS SOUPS 364829 WITH SCORE 369219.545
AT ITER 5494 NEW BEST:: SOT 6343369 SOS 4390446 HAS SOPS 4377137 HAS SOUS 366752 HAS SOUPS 364726 WITH SCORE 369116.446
AT ITER 5498 NEW BEST:: SOT 6346341 SOS 4391818 HAS SOPS 4380109 HAS SOUS 363305 HAS SOUPS 361479 WITH SCORE 365870.818
AT ITER 5504 NEW BEST:: SOT 6346320 SOS 4391818 HAS SOPS 4380109 HAS SOUS 363200 HAS SOUPS 361374 WITH SCORE 365765.818
AT ITER 5519 NEW BEST:: SOT 6346461 SOS 4391959 HAS SOPS 4380250 HAS SOUS 363067 HAS SOUPS 361241 WITH SCORE 365632.959
AT ITER 5521 NEW BEST:: SOT 6346471 SOS 4391959 HAS SOPS 4380244 HAS SOUS 363027 HAS SOUPS 361201 WITH SCORE 365592.959
AT ITER 5526 NEW BEST:: SOT 6346278 SOS 4391935 HAS SOPS 4380289 HAS SOUS 362903 HAS SOUPS 361077 WITH SCORE 365468.935
AT ITER 5543 NEW BEST:: SOT 6346276 SOS 4391933 HAS SOPS 4380287 HAS SOUS 362900 HAS SOUPS 361074 WITH SCORE 365465.933
AT ITER 5556 NEW BEST:: SOT 6346016 SOS 4391057 HAS SOPS 4379411 HAS SOUS 362826 HAS SOUPS 361000 WITH SCORE 365391.057
AT ITER 5558 NEW BEST:: SOT 6346018 SOS 4391004 HAS SOPS 4379358 HAS SOUS 362773 HAS SOUPS 360947 WITH SCORE 365338.004
AT ITER 5572 NEW BEST:: SOT 6346018 SOS 4390926 HAS SOPS 4379280 HAS SOUS 362734 HAS SOUPS 360908 WITH SCORE 365298.926
AT ITER 5576 NEW BEST:: SOT 6345984 SOS 4390892 HAS SOPS 4379246 HAS SOUS 362466 HAS SOUPS 360640 WITH SCORE 365030.892
AT ITER 5587 NEW BEST:: SOT 6345984 SOS 4390844 HAS SOPS 4379198 HAS SOUS 362466 HAS SOUPS 360640 WITH SCORE 365030.844
AT ITER 5620 NEW BEST:: SOT 6345214 SOS 4390074 HAS SOPS 4378428 HAS SOUS 360991 HAS SOUPS 359165 WITH SCORE 363555.074
AT ITER 5621 NEW BEST:: SOT 6345071 SOS 4389928 HAS SOPS 4378282 HAS SOUS 360876 HAS SOUPS 359050 WITH SCORE 363439.928
AT ITER 5633 NEW BEST:: SOT 6344372 SOS 4389393 HAS SOPS 4377747 HAS SOUS 360811 HAS SOUPS 358985 WITH SCORE 363374.393
AT ITER 5641 NEW BEST:: SOT 6344400 SOS 4389421 HAS SOPS 4377775 HAS SOUS 360769 HAS SOUPS 358943 WITH SCORE 363332.421
AT ITER 5646 NEW BEST:: SOT 6344351 SOS 4389375 HAS SOPS 4377729 HAS SOUS 360723 HAS SOUPS 358897 WITH SCORE 363286.375
AT ITER 5649 NEW BEST:: SOT 6344418 SOS 4390108 HAS SOPS 4378462 HAS SOUS 360610 HAS SOUPS 358784 WITH SCORE 363174.108
AT ITER 5653 NEW BEST:: SOT 6344411 SOS 4390101 HAS SOPS 4378455 HAS SOUS 360575 HAS SOUPS 358749 WITH SCORE 363139.101
AT ITER 5691 NEW BEST:: SOT 6344841 SOS 4390531 HAS SOPS 4378885 HAS SOUS 360379 HAS SOUPS 358553 WITH SCORE 362943.531
AT ITER 5692 NEW BEST:: SOT 6344034 SOS 4390607 HAS SOPS 4378961 HAS SOUS 360031 HAS SOUPS 358205 WITH SCORE 362595.607
AT ITER 5693 NEW BEST:: SOT 6344033 SOS 4390591 HAS SOPS 4378945 HAS SOUS 360029 HAS SOUPS 358203 WITH SCORE 362593.591
AT ITER 5723 NEW BEST:: SOT 6344038 SOS 4390582 HAS SOPS 4378928 HAS SOUS 360026 HAS SOUPS 358200 WITH SCORE 362590.582
AT ITER 5728 NEW BEST:: SOT 6343887 SOS 4390183 HAS SOPS 4378529 HAS SOUS 359508 HAS SOUPS 357682 WITH SCORE 362072.183
AT ITER 5732 NEW BEST:: SOT 6344179 SOS 4390681 HAS SOPS 4379027 HAS SOUS 359502 HAS SOUPS 357676 WITH SCORE 362066.681
AT ITER 5796 NEW BEST:: SOT 6344170 SOS 4390672 HAS SOPS 4379038 HAS SOUS 359484 HAS SOUPS 357658 WITH SCORE 362048.672
AT ITER 5812 NEW BEST:: SOT 6343364 SOS 4390471 HAS SOPS 4378837 HAS SOUS 359078 HAS SOUPS 357252 WITH SCORE 361642.471
AT ITER 5814 NEW BEST:: SOT 6320700 SOS 4367512 HAS SOPS 4355878 HAS SOUS 356375 HAS SOUPS 354549 WITH SCORE 358916.512
AT ITER 5817 NEW BEST:: SOT 6320700 SOS 4367680 HAS SOPS 4355843 HAS SOUS 356312 HAS SOUPS 354486 WITH SCORE 358853.68
AT ITER 5822 NEW BEST:: SOT 6320700 SOS 4341888 HAS SOPS 4330051 HAS SOUS 356057 HAS SOUPS 354231 WITH SCORE 358572.888
AT ITER 5824 NEW BEST:: SOT 6320694 SOS 4341857 HAS SOPS 4330020 HAS SOUS 356034 HAS SOUPS 354208 WITH SCORE 358549.857
AT ITER 5860 NEW BEST:: SOT 6320694 SOS 4341380 HAS SOPS 4329543 HAS SOUS 355963 HAS SOUPS 354137 WITH SCORE 358478.38
AT ITER 5875 NEW BEST:: SOT 6320363 SOS 4340450 HAS SOPS 4328613 HAS SOUS 355894 HAS SOUPS 354068 WITH SCORE 358408.45
AT ITER 5884 NEW BEST:: SOT 6320329 SOS 4340457 HAS SOPS 4328620 HAS SOUS 355826 HAS SOUPS 354000 WITH SCORE 358340.457
AT ITER 5892 NEW BEST:: SOT 6320132 SOS 4340199 HAS SOPS 4328362 HAS SOUS 355568 HAS SOUPS 353742 WITH SCORE 358082.199
AT ITER 5909 NEW BEST:: SOT 6320185 SOS 4340039 HAS SOPS 4328202 HAS SOUS 355366 HAS SOUPS 353540 WITH SCORE 357880.039
AT ITER 5939 NEW BEST:: SOT 6320139 SOS 4339993 HAS SOPS 4328156 HAS SOUS 355320 HAS SOUPS 353494 WITH SCORE 357833.993
AT ITER 5943 NEW BEST:: SOT 6319983 SOS 4339576 HAS SOPS 4327739 HAS SOUS 355214 HAS SOUPS 353388 WITH SCORE 357727.576
AT ITER 5952 NEW BEST:: SOT 6320082 SOS 4339675 HAS SOPS 4327838 HAS SOUS 354153 HAS SOUPS 352327 WITH SCORE 356666.675
AT ITER 5969 NEW BEST:: SOT 6319976 SOS 4340028 HAS SOPS 4328191 HAS SOUS 353988 HAS SOUPS 352162 WITH SCORE 356502.028
AT ITER 5991 NEW BEST:: SOT 6319583 SOS 4339331 HAS SOPS 4327494 HAS SOUS 353671 HAS SOUPS 351845 WITH SCORE 356184.331
AT ITER 5998 NEW BEST:: SOT 6319415 SOS 4339176 HAS SOPS 4327410 HAS SOUS 353664 HAS SOUPS 351838 WITH SCORE 356177.176
AT ITER 6007 NEW BEST:: SOT 6319789 SOS 4339957 HAS SOPS 4328191 HAS SOUS 353571 HAS SOUPS 351745 WITH SCORE 356084.957
AT ITER 6010 NEW BEST:: SOT 6319959 SOS 4341394 HAS SOPS 4329628 HAS SOUS 352500 HAS SOUPS 350674 WITH SCORE 355015.394
AT ITER 6013 NEW BEST:: SOT 6319392 SOS 4340987 HAS SOPS 4329221 HAS SOUS 351356 HAS SOUPS 349530 WITH SCORE 353870.987
AT ITER 6018 NEW BEST:: SOT 6319374 SOS 4341094 HAS SOPS 4329328 HAS SOUS 351297 HAS SOUPS 349471 WITH SCORE 353812.094
AT ITER 6026 NEW BEST:: SOT 6319374 SOS 4341159 HAS SOPS 4329393 HAS SOUS 351278 HAS SOUPS 349452 WITH SCORE 353793.159
AT ITER 6027 NEW BEST:: SOT 6319368 SOS 4341153 HAS SOPS 4329387 HAS SOUS 351126 HAS SOUPS 349300 WITH SCORE 353641.153
AT ITER 6035 NEW BEST:: SOT 6319368 SOS 4340955 HAS SOPS 4329189 HAS SOUS 351126 HAS SOUPS 349300 WITH SCORE 353640.955
AT ITER 6047 NEW BEST:: SOT 6318834 SOS 4339510 HAS SOPS 4327744 HAS SOUS 350020 HAS SOUPS 348194 WITH SCORE 352533.51
AT ITER 6057 NEW BEST:: SOT 6318825 SOS 4339510 HAS SOPS 4327744 HAS SOUS 350011 HAS SOUPS 348185 WITH SCORE 352524.51
AT ITER 6064 NEW BEST:: SOT 6318818 SOS 4339137 HAS SOPS 4327371 HAS SOUS 349995 HAS SOUPS 348169 WITH SCORE 352508.137
AT ITER 6076 NEW BEST:: SOT 6318814 SOS 4339318 HAS SOPS 4327552 HAS SOUS 349880 HAS SOUPS 348054 WITH SCORE 352393.318
AT ITER 6079 NEW BEST:: SOT 6318970 SOS 4339474 HAS SOPS 4327636 HAS SOUS 349801 HAS SOUPS 347975 WITH SCORE 352314.474
AT ITER 6082 NEW BEST:: SOT 6318929 SOS 4339351 HAS SOPS 4327513 HAS SOUS 349719 HAS SOUPS 347893 WITH SCORE 352232.351
AT ITER 6086 NEW BEST:: SOT 6318849 SOS 4339366 HAS SOPS 4327528 HAS SOUS 349507 HAS SOUPS 347681 WITH SCORE 352020.366
AT ITER 6088 NEW BEST:: SOT 6318649 SOS 4353439 HAS SOPS 4341601 HAS SOUS 349167 HAS SOUPS 347341 WITH SCORE 351694.439
AT ITER 6091 NEW BEST:: SOT 6318652 SOS 4353439 HAS SOPS 4341601 HAS SOUS 349161 HAS SOUPS 347335 WITH SCORE 351688.439
AT ITER 6094 NEW BEST:: SOT 6318847 SOS 4353634 HAS SOPS 4341796 HAS SOUS 348586 HAS SOUPS 346760 WITH SCORE 351113.634
AT ITER 6102 NEW BEST:: SOT 6318847 SOS 4353613 HAS SOPS 4341775 HAS SOUS 348586 HAS SOUPS 346760 WITH SCORE 351113.613
AT ITER 6105 NEW BEST:: SOT 6313072 SOS 4347827 HAS SOPS 4335989 HAS SOUS 347909 HAS SOUPS 346083 WITH SCORE 350430.827
AT ITER 6115 NEW BEST:: SOT 6313030 SOS 4347869 HAS SOPS 4336031 HAS SOUS 347872 HAS SOUPS 346046 WITH SCORE 350393.869
AT ITER 6122 NEW BEST:: SOT 6312985 SOS 4347867 HAS SOPS 4336035 HAS SOUS 347703 HAS SOUPS 345877 WITH SCORE 350224.867
AT ITER 6125 NEW BEST:: SOT 6312947 SOS 4347829 HAS SOPS 4335997 HAS SOUS 347665 HAS SOUPS 345839 WITH SCORE 350186.829
AT ITER 6128 NEW BEST:: SOT 6313010 SOS 4347771 HAS SOPS 4335860 HAS SOUS 347510 HAS SOUPS 345684 WITH SCORE 350031.771
AT ITER 6132 NEW BEST:: SOT 6312869 SOS 4347630 HAS SOPS 4335719 HAS SOUS 347369 HAS SOUPS 345543 WITH SCORE 349890.63
AT ITER 6149 NEW BEST:: SOT 6312869 SOS 4347636 HAS SOPS 4335725 HAS SOUS 347354 HAS SOUPS 345528 WITH SCORE 349875.636
AT ITER 6151 NEW BEST:: SOT 6312501 SOS 4347859 HAS SOPS 4335948 HAS SOUS 347189 HAS SOUPS 345363 WITH SCORE 349710.859
AT ITER 6154 NEW BEST:: SOT 6312741 SOS 4347743 HAS SOPS 4335832 HAS SOUS 347163 HAS SOUPS 345337 WITH SCORE 349684.743
AT ITER 6161 NEW BEST:: SOT 6312731 SOS 4347733 HAS SOPS 4335822 HAS SOUS 347148 HAS SOUPS 345322 WITH SCORE 349669.733
AT ITER 6167 NEW BEST:: SOT 6312724 SOS 4347726 HAS SOPS 4335815 HAS SOUS 347142 HAS SOUPS 345316 WITH SCORE 349663.726
AT ITER 6185 NEW BEST:: SOT 6312935 SOS 4347937 HAS SOPS 4336026 HAS SOUS 344842 HAS SOUPS 343016 WITH SCORE 347363.937
AT ITER 6209 NEW BEST:: SOT 6313173 SOS 4348884 HAS SOPS 4336829 HAS SOUS 344714 HAS SOUPS 342888 WITH SCORE 347236.884
AT ITER 6234 NEW BEST:: SOT 6313335 SOS 4349186 HAS SOPS 4337131 HAS SOUS 344600 HAS SOUPS 342774 WITH SCORE 347123.186
AT ITER 6237 NEW BEST:: SOT 6313372 SOS 4346706 HAS SOPS 4334651 HAS SOUS 344484 HAS SOUPS 342658 WITH SCORE 347004.706
AT ITER 6249 NEW BEST:: SOT 6313569 SOS 4346969 HAS SOPS 4334914 HAS SOUS 344010 HAS SOUPS 342184 WITH SCORE 346530.969
AT ITER 6265 NEW BEST:: SOT 6313583 SOS 4346983 HAS SOPS 4334928 HAS SOUS 343368 HAS SOUPS 341542 WITH SCORE 345888.983
AT ITER 6266 NEW BEST:: SOT 6313455 SOS 4346860 HAS SOPS 4334805 HAS SOUS 343112 HAS SOUPS 341286 WITH SCORE 345632.86
AT ITER 6275 NEW BEST:: SOT 6313361 SOS 4346241 HAS SOPS 4334186 HAS SOUS 342924 HAS SOUPS 341098 WITH SCORE 345444.241
AT ITER 6288 NEW BEST:: SOT 6313184 SOS 4346041 HAS SOPS 4333986 HAS SOUS 342824 HAS SOUPS 340998 WITH SCORE 345344.041
AT ITER 6293 NEW BEST:: SOT 6313333 SOS 4346190 HAS SOPS 4334135 HAS SOUS 342780 HAS SOUPS 340954 WITH SCORE 345300.19
AT ITER 6300 NEW BEST:: SOT 6313026 SOS 4345625 HAS SOPS 4333570 HAS SOUS 342215 HAS SOUPS 340389 WITH SCORE 344734.625
AT ITER 6301 NEW BEST:: SOT 6312873 SOS 4346753 HAS SOPS 4334698 HAS SOUS 342079 HAS SOUPS 340253 WITH SCORE 344599.753
AT ITER 6309 NEW BEST:: SOT 6312873 SOS 4346477 HAS SOPS 4334422 HAS SOUS 342079 HAS SOUPS 340253 WITH SCORE 344599.477
AT ITER 6310 NEW BEST:: SOT 6311903 SOS 4344841 HAS SOPS 4332786 HAS SOUS 340805 HAS SOUPS 338979 WITH SCORE 343323.841
AT ITER 6334 NEW BEST:: SOT 6311395 SOS 4346142 HAS SOPS 4333897 HAS SOUS 340786 HAS SOUPS 338902 WITH SCORE 343248.142
AT ITER 6373 NEW BEST:: SOT 6311368 SOS 4346115 HAS SOPS 4333864 HAS SOUS 340782 HAS SOUPS 338898 WITH SCORE 343244.115
AT ITER 6380 NEW BEST:: SOT 6311352 SOS 4346099 HAS SOPS 4333848 HAS SOUS 340750 HAS SOUPS 338866 WITH SCORE 343212.099
AT ITER 6398 NEW BEST:: SOT 6311351 SOS 4346098 HAS SOPS 4333847 HAS SOUS 340748 HAS SOUPS 338864 WITH SCORE 343210.098
AT ITER 6407 NEW BEST:: SOT 6311471 SOS 4346218 HAS SOPS 4333967 HAS SOUS 340270 HAS SOUPS 338386 WITH SCORE 342732.218
AT ITER 6429 NEW BEST:: SOT 6311471 SOS 4344614 HAS SOPS 4333011 HAS SOUS 340160 HAS SOUPS 338357 WITH SCORE 342701.614
AT ITER 6441 NEW BEST:: SOT 6311383 SOS 4344526 HAS SOPS 4332923 HAS SOUS 340073 HAS SOUPS 338270 WITH SCORE 342614.526
AT ITER 6442 NEW BEST:: SOT 6311421 SOS 4344488 HAS SOPS 4332885 HAS SOUS 340016 HAS SOUPS 338213 WITH SCORE 342557.488
AT ITER 6443 NEW BEST:: SOT 6311421 SOS 4344481 HAS SOPS 4332878 HAS SOUS 340016 HAS SOUPS 338213 WITH SCORE 342557.481
AT ITER 6458 NEW BEST:: SOT 6311421 SOS 4344490 HAS SOPS 4332887 HAS SOUS 340010 HAS SOUPS 338207 WITH SCORE 342551.49
AT ITER 6481 NEW BEST:: SOT 6311415 SOS 4344484 HAS SOPS 4332840 HAS SOUS 339964 HAS SOUPS 338160 WITH SCORE 342504.484
AT ITER 6505 NEW BEST:: SOT 6311102 SOS 4343965 HAS SOPS 4332321 HAS SOUS 339473 HAS SOUPS 337669 WITH SCORE 342012.965
AT ITER 6518 NEW BEST:: SOT 6311082 SOS 4343950 HAS SOPS 4332306 HAS SOUS 339458 HAS SOUPS 337654 WITH SCORE 341997.95
AT ITER 6529 NEW BEST:: SOT 6311058 SOS 4343902 HAS SOPS 4332258 HAS SOUS 339410 HAS SOUPS 337606 WITH SCORE 341949.902
AT ITER 6531 NEW BEST:: SOT 6311370 SOS 4344192 HAS SOPS 4332548 HAS SOUS 339342 HAS SOUPS 337538 WITH SCORE 341882.192
AT ITER 6534 NEW BEST:: SOT 6311583 SOS 4343925 HAS SOPS 4332281 HAS SOUS 339292 HAS SOUPS 337488 WITH SCORE 341831.925
AT ITER 6542 NEW BEST:: SOT 6311566 SOS 4343772 HAS SOPS 4332119 HAS SOUS 339249 HAS SOUPS 337445 WITH SCORE 341788.772
AT ITER 6543 NEW BEST:: SOT 6311556 SOS 4343762 HAS SOPS 4332121 HAS SOUS 339246 HAS SOUPS 337442 WITH SCORE 341785.762
AT ITER 6552 NEW BEST:: SOT 6311976 SOS 4343980 HAS SOPS 4332339 HAS SOUS 339196 HAS SOUPS 337392 WITH SCORE 341735.98
AT ITER 6554 NEW BEST:: SOT 6312147 SOS 4344270 HAS SOPS 4332629 HAS SOUS 339081 HAS SOUPS 337277 WITH SCORE 341621.27
AT ITER 6557 NEW BEST:: SOT 6312147 SOS 4344195 HAS SOPS 4332554 HAS SOUS 339081 HAS SOUPS 337277 WITH SCORE 341621.195
AT ITER 6566 NEW BEST:: SOT 6311828 SOS 4343954 HAS SOPS 4332313 HAS SOUS 338703 HAS SOUPS 336899 WITH SCORE 341242.954
AT ITER 6580 NEW BEST:: SOT 6311753 SOS 4344079 HAS SOPS 4332238 HAS SOUS 338641 HAS SOUPS 336812 WITH SCORE 341156.079
AT ITER 6584 NEW BEST:: SOT 6311730 SOS 4344056 HAS SOPS 4332215 HAS SOUS 338595 HAS SOUPS 336766 WITH SCORE 341110.056
AT ITER 6594 NEW BEST:: SOT 6311725 SOS 4344030 HAS SOPS 4332189 HAS SOUS 338532 HAS SOUPS 336703 WITH SCORE 341047.03
AT ITER 6611 NEW BEST:: SOT 6312056 SOS 4344455 HAS SOPS 4332614 HAS SOUS 338328 HAS SOUPS 336499 WITH SCORE 340843.455
AT ITER 6612 NEW BEST:: SOT 6312050 SOS 4344449 HAS SOPS 4332608 HAS SOUS 338322 HAS SOUPS 336493 WITH SCORE 340837.449
AT ITER 6626 NEW BEST:: SOT 6311995 SOS 4344314 HAS SOPS 4332475 HAS SOUS 338269 HAS SOUPS 336440 WITH SCORE 340784.314
AT ITER 6640 NEW BEST:: SOT 6311835 SOS 4344173 HAS SOPS 4332429 HAS SOUS 338179 HAS SOUPS 336350 WITH SCORE 340694.173
AT ITER 6659 NEW BEST:: SOT 6311881 SOS 4344236 HAS SOPS 4332492 HAS SOUS 338139 HAS SOUPS 336310 WITH SCORE 340654.236
AT ITER 6661 NEW BEST:: SOT 6311811 SOS 4344166 HAS SOPS 4332422 HAS SOUS 337866 HAS SOUPS 336037 WITH SCORE 340381.166
AT ITER 6672 NEW BEST:: SOT 6311670 SOS 4344100 HAS SOPS 4332356 HAS SOUS 337611 HAS SOUPS 335782 WITH SCORE 340126.1
AT ITER 6683 NEW BEST:: SOT 6312704 SOS 4345134 HAS SOPS 4333390 HAS SOUS 337599 HAS SOUPS 335770 WITH SCORE 340115.134
AT ITER 6684 NEW BEST:: SOT 6312676 SOS 4345106 HAS SOPS 4333362 HAS SOUS 337599 HAS SOUPS 335770 WITH SCORE 340115.106
AT ITER 6685 NEW BEST:: SOT 6312657 SOS 4345087 HAS SOPS 4333343 HAS SOUS 337317 HAS SOUPS 335488 WITH SCORE 339833.087
AT ITER 6690 NEW BEST:: SOT 6312665 SOS 4345021 HAS SOPS 4333277 HAS SOUS 337251 HAS SOUPS 335422 WITH SCORE 339767.021
AT ITER 6750 NEW BEST:: SOT 6312664 SOS 4345019 HAS SOPS 4333275 HAS SOUS 337249 HAS SOUPS 335420 WITH SCORE 339765.019
AT ITER 6757 NEW BEST:: SOT 6312592 SOS 4345018 HAS SOPS 4333274 HAS SOUS 337191 HAS SOUPS 335362 WITH SCORE 339707.018
AT ITER 6762 NEW BEST:: SOT 6312553 SOS 4345005 HAS SOPS 4333261 HAS SOUS 337176 HAS SOUPS 335347 WITH SCORE 339692.005
AT ITER 6783 NEW BEST:: SOT 6312583 SOS 4345035 HAS SOPS 4333291 HAS SOUS 337128 HAS SOUPS 335299 WITH SCORE 339644.035
AT ITER 6801 NEW BEST:: SOT 6312496 SOS 4344912 HAS SOPS 4333168 HAS SOUS 336980 HAS SOUPS 335151 WITH SCORE 339495.912
AT ITER 6900 NEW BEST:: SOT 6312436 SOS 4314344 HAS SOPS 4302440 HAS SOUS 336878 HAS SOUPS 335029 WITH SCORE 339343.344
AT ITER 6920 NEW BEST:: SOT 6312408 SOS 4314238 HAS SOPS 4302286 HAS SOUS 336710 HAS SOUPS 334861 WITH SCORE 339175.238
AT ITER 6939 NEW BEST:: SOT 6312349 SOS 4314035 HAS SOPS 4302083 HAS SOUS 336664 HAS SOUPS 334815 WITH SCORE 339129.035
AT ITER 6961 NEW BEST:: SOT 6312250 SOS 4313936 HAS SOPS 4301912 HAS SOUS 336339 HAS SOUPS 334490 WITH SCORE 338803.936
AT ITER 6964 NEW BEST:: SOT 6312219 SOS 4313877 HAS SOPS 4301853 HAS SOUS 336338 HAS SOUPS 334489 WITH SCORE 338802.877
AT ITER 6976 NEW BEST:: SOT 6312217 SOS 4313875 HAS SOPS 4301851 HAS SOUS 336337 HAS SOUPS 334488 WITH SCORE 338801.875
AT ITER 6985 NEW BEST:: SOT 6313212 SOS 4314924 HAS SOPS 4302900 HAS SOUS 334648 HAS SOUPS 332799 WITH SCORE 337113.924
AT ITER 6996 NEW BEST:: SOT 6313212 SOS 4314884 HAS SOPS 4302860 HAS SOUS 334648 HAS SOUPS 332799 WITH SCORE 337113.884
AT ITER 7019 NEW BEST:: SOT 6313072 SOS 4315877 HAS SOPS 4303853 HAS SOUS 334489 HAS SOUPS 332640 WITH SCORE 336955.877
AT ITER 7041 NEW BEST:: SOT 6313092 SOS 4315857 HAS SOPS 4303833 HAS SOUS 334459 HAS SOUPS 332610 WITH SCORE 336925.857
AT ITER 7047 NEW BEST:: SOT 6312769 SOS 4315911 HAS SOPS 4303887 HAS SOUS 334087 HAS SOUPS 332238 WITH SCORE 336553.911
AT ITER 7052 NEW BEST:: SOT 6312769 SOS 4315543 HAS SOPS 4303519 HAS SOUS 334041 HAS SOUPS 332192 WITH SCORE 336507.543
AT ITER 7065 NEW BEST:: SOT 6312717 SOS 4315366 HAS SOPS 4303342 HAS SOUS 333914 HAS SOUPS 332065 WITH SCORE 336380.366
AT ITER 7123 NEW BEST:: SOT 6312628 SOS 4315269 HAS SOPS 4303245 HAS SOUS 333848 HAS SOUPS 331999 WITH SCORE 336314.269
AT ITER 7127 NEW BEST:: SOT 6312367 SOS 4315252 HAS SOPS 4303396 HAS SOUS 333743 HAS SOUPS 331902 WITH SCORE 336217.252
AT ITER 7128 NEW BEST:: SOT 6312409 SOS 4315294 HAS SOPS 4303438 HAS SOUS 333381 HAS SOUPS 331540 WITH SCORE 335855.294
AT ITER 7154 NEW BEST:: SOT 6312846 SOS 4315731 HAS SOPS 4303875 HAS SOUS 333376 HAS SOUPS 331535 WITH SCORE 335850.731
AT ITER 7173 NEW BEST:: SOT 6312887 SOS 4315772 HAS SOPS 4303916 HAS SOUS 333343 HAS SOUPS 331502 WITH SCORE 335817.772
AT ITER 7191 NEW BEST:: SOT 6312917 SOS 4315817 HAS SOPS 4303961 HAS SOUS 333198 HAS SOUPS 331357 WITH SCORE 335672.817
AT ITER 7228 NEW BEST:: SOT 6312974 SOS 4315841 HAS SOPS 4303985 HAS SOUS 333183 HAS SOUPS 331342 WITH SCORE 335657.841
AT ITER 7251 NEW BEST:: SOT 6312840 SOS 4315230 HAS SOPS 4303374 HAS SOUS 333045 HAS SOUPS 331204 WITH SCORE 335519.23
AT ITER 7264 NEW BEST:: SOT 6312835 SOS 4315217 HAS SOPS 4303358 HAS SOUS 333037 HAS SOUPS 331196 WITH SCORE 335511.217
AT ITER 7313 NEW BEST:: SOT 6312835 SOS 4315203 HAS SOPS 4303344 HAS SOUS 333037 HAS SOUPS 331196 WITH SCORE 335511.203
AT ITER 7337 NEW BEST:: SOT 6312818 SOS 4315186 HAS SOPS 4303327 HAS SOUS 332959 HAS SOUPS 331118 WITH SCORE 335433.186
AT ITER 7350 NEW BEST:: SOT 6312815 SOS 4315183 HAS SOPS 4303324 HAS SOUS 332942 HAS SOUPS 331101 WITH SCORE 335416.183
AT ITER 7358 NEW BEST:: SOT 6312752 SOS 4315120 HAS SOPS 4303261 HAS SOUS 332858 HAS SOUPS 331017 WITH SCORE 335332.12
AT ITER 7360 NEW BEST:: SOT 6312765 SOS 4315133 HAS SOPS 4303274 HAS SOUS 332857 HAS SOUPS 331016 WITH SCORE 335331.133
AT ITER 7373 NEW BEST:: SOT 6312733 SOS 4315037 HAS SOPS 4303178 HAS SOUS 332817 HAS SOUPS 330976 WITH SCORE 335291.037
AT ITER 7393 NEW BEST:: SOT 6312620 SOS 4158388 HAS SOPS 4146529 HAS SOUS 332125 HAS SOUPS 330284 WITH SCORE 334442.388
AT ITER 7417 NEW BEST:: SOT 6312944 SOS 4158517 HAS SOPS 4146548 HAS SOUS 332045 HAS SOUPS 330204 WITH SCORE 334362.517
AT ITER 7473 NEW BEST:: SOT 6312949 SOS 4158701 HAS SOPS 4146732 HAS SOUS 332040 HAS SOUPS 330199 WITH SCORE 334357.701
AT ITER 7489 NEW BEST:: SOT 6312824 SOS 4158576 HAS SOPS 4146837 HAS SOUS 332020 HAS SOUPS 330179 WITH SCORE 334337.576
AT ITER 7491 NEW BEST:: SOT 6312835 SOS 4158513 HAS SOPS 4146774 HAS SOUS 331823 HAS SOUPS 329982 WITH SCORE 334140.513
AT ITER 7503 NEW BEST:: SOT 6312739 SOS 4158417 HAS SOPS 4146678 HAS SOUS 331696 HAS SOUPS 329855 WITH SCORE 334013.417
AT ITER 7519 NEW BEST:: SOT 6312739 SOS 4155273 HAS SOPS 4143534 HAS SOUS 331660 HAS SOUPS 329819 WITH SCORE 333974.273
AT ITER 7524 NEW BEST:: SOT 6312690 SOS 4155210 HAS SOPS 4143429 HAS SOUS 331555 HAS SOUPS 329714 WITH SCORE 333869.21
AT ITER 7528 NEW BEST:: SOT 6312686 SOS 4155210 HAS SOPS 4143429 HAS SOUS 331543 HAS SOUPS 329702 WITH SCORE 333857.21
AT ITER 7529 NEW BEST:: SOT 6312561 SOS 4155124 HAS SOPS 4143343 HAS SOUS 331436 HAS SOUPS 329595 WITH SCORE 333750.124
AT ITER 7533 NEW BEST:: SOT 6312298 SOS 4153592 HAS SOPS 4141811 HAS SOUS 331429 HAS SOUPS 329588 WITH SCORE 333741.592
AT ITER 7547 NEW BEST:: SOT 6312298 SOS 4153825 HAS SOPS 4142044 HAS SOUS 331225 HAS SOUPS 329384 WITH SCORE 333537.825
AT ITER 7550 NEW BEST:: SOT 6312284 SOS 4153811 HAS SOPS 4142016 HAS SOUS 331211 HAS SOUPS 329356 WITH SCORE 333509.811
AT ITER 7567 NEW BEST:: SOT 6312281 SOS 4153808 HAS SOPS 4142013 HAS SOUS 331202 HAS SOUPS 329347 WITH SCORE 333500.808
AT ITER 7613 NEW BEST:: SOT 6312624 SOS 4154151 HAS SOPS 4142356 HAS SOUS 330953 HAS SOUPS 329098 WITH SCORE 333252.151
AT ITER 7623 NEW BEST:: SOT 6312555 SOS 4153955 HAS SOPS 4142160 HAS SOUS 330943 HAS SOUPS 329088 WITH SCORE 333241.955
AT ITER 7624 NEW BEST:: SOT 6312476 SOS 4153349 HAS SOPS 4141554 HAS SOUS 330785 HAS SOUPS 328930 WITH SCORE 333083.349
AT ITER 7637 NEW BEST:: SOT 6312681 SOS 4153844 HAS SOPS 4142049 HAS SOUS 330652 HAS SOUPS 328797 WITH SCORE 332950.844
AT ITER 7648 NEW BEST:: SOT 6312675 SOS 4153874 HAS SOPS 4142079 HAS SOUS 330646 HAS SOUPS 328791 WITH SCORE 332944.874
AT ITER 7653 NEW BEST:: SOT 6312620 SOS 4153776 HAS SOPS 4141981 HAS SOUS 330600 HAS SOUPS 328745 WITH SCORE 332898.776
AT ITER 7663 NEW BEST:: SOT 6312041 SOS 4153099 HAS SOPS 4141304 HAS SOUS 330263 HAS SOUPS 328408 WITH SCORE 332561.099
AT ITER 7666 NEW BEST:: SOT 6312019 SOS 4152989 HAS SOPS 4141194 HAS SOUS 330230 HAS SOUPS 328375 WITH SCORE 332527.989
AT ITER 7670 NEW BEST:: SOT 6311992 SOS 4152962 HAS SOPS 4141167 HAS SOUS 330099 HAS SOUPS 328244 WITH SCORE 332396.962
AT ITER 7673 NEW BEST:: SOT 6311833 SOS 4152850 HAS SOPS 4141055 HAS SOUS 329786 HAS SOUPS 327931 WITH SCORE 332083.85
AT ITER 7681 NEW BEST:: SOT 6311840 SOS 4152857 HAS SOPS 4141062 HAS SOUS 329743 HAS SOUPS 327888 WITH SCORE 332040.857
AT ITER 7702 NEW BEST:: SOT 6311726 SOS 4152971 HAS SOPS 4141176 HAS SOUS 329730 HAS SOUPS 327875 WITH SCORE 332027.971
AT ITER 7707 NEW BEST:: SOT 6311698 SOS 4152943 HAS SOPS 4141148 HAS SOUS 329674 HAS SOUPS 327819 WITH SCORE 331971.943
AT ITER 7718 NEW BEST:: SOT 6311688 SOS 4152913 HAS SOPS 4141118 HAS SOUS 329644 HAS SOUPS 327789 WITH SCORE 331941.913
AT ITER 7725 NEW BEST:: SOT 6311616 SOS 4152841 HAS SOPS 4141046 HAS SOUS 329500 HAS SOUPS 327645 WITH SCORE 331797.841
AT ITER 7759 NEW BEST:: SOT 6311531 SOS 4152756 HAS SOPS 4140990 HAS SOUS 329406 HAS SOUPS 327551 WITH SCORE 331703.756
AT ITER 7776 NEW BEST:: SOT 6311531 SOS 4152611 HAS SOPS 4140845 HAS SOUS 329406 HAS SOUPS 327551 WITH SCORE 331703.611
AT ITER 7778 NEW BEST:: SOT 6311264 SOS 4150735 HAS SOPS 4138969 HAS SOUS 329035 HAS SOUPS 327180 WITH SCORE 331330.735
AT ITER 7781 NEW BEST:: SOT 6311264 SOS 4150647 HAS SOPS 4138969 HAS SOUS 329035 HAS SOUPS 327180 WITH SCORE 331330.647
AT ITER 7792 NEW BEST:: SOT 6311243 SOS 4150626 HAS SOPS 4138948 HAS SOUS 329002 HAS SOUPS 327147 WITH SCORE 331297.626
AT ITER 7799 NEW BEST:: SOT 6311243 SOS 4150313 HAS SOPS 4138635 HAS SOUS 328773 HAS SOUPS 326918 WITH SCORE 331068.313
AT ITER 7805 NEW BEST:: SOT 6311312 SOS 4150386 HAS SOPS 4138708 HAS SOUS 328761 HAS SOUPS 326906 WITH SCORE 331056.386
AT ITER 7854 NEW BEST:: SOT 6311525 SOS 4150489 HAS SOPS 4138811 HAS SOUS 328455 HAS SOUPS 326600 WITH SCORE 330750.489
AT ITER 7865 NEW BEST:: SOT 6311549 SOS 4150557 HAS SOPS 4138879 HAS SOUS 328365 HAS SOUPS 326510 WITH SCORE 330660.557
AT ITER 7881 NEW BEST:: SOT 6311528 SOS 4150575 HAS SOPS 4138897 HAS SOUS 328353 HAS SOUPS 326498 WITH SCORE 330648.575
AT ITER 7887 NEW BEST:: SOT 6311411 SOS 4150391 HAS SOPS 4138713 HAS SOUS 328343 HAS SOUPS 326488 WITH SCORE 330638.391
AT ITER 7903 NEW BEST:: SOT 6311361 SOS 4150449 HAS SOPS 4138771 HAS SOUS 327977 HAS SOUPS 326122 WITH SCORE 330272.449
AT ITER 7905 NEW BEST:: SOT 6311428 SOS 4151003 HAS SOPS 4139325 HAS SOUS 327823 HAS SOUPS 325968 WITH SCORE 330119.003
AT ITER 7911 NEW BEST:: SOT 6311418 SOS 4150993 HAS SOPS 4139315 HAS SOUS 327812 HAS SOUPS 325957 WITH SCORE 330107.993
AT ITER 7914 NEW BEST:: SOT 6311364 SOS 4152513 HAS SOPS 4140507 HAS SOUS 327739 HAS SOUPS 325843 WITH SCORE 329995.513
AT ITER 7923 NEW BEST:: SOT 6311336 SOS 4152461 HAS SOPS 4140371 HAS SOUS 327603 HAS SOUPS 325707 WITH SCORE 329859.461
AT ITER 7943 NEW BEST:: SOT 6311904 SOS 4153259 HAS SOPS 4141169 HAS SOUS 325793 HAS SOUPS 323897 WITH SCORE 328050.259
AT ITER 7960 NEW BEST:: SOT 6311595 SOS 4152637 HAS SOPS 4140547 HAS SOUS 325705 HAS SOUPS 323809 WITH SCORE 327961.637
AT ITER 7965 NEW BEST:: SOT 6311588 SOS 4152588 HAS SOPS 4140498 HAS SOUS 325509 HAS SOUPS 323613 WITH SCORE 327765.588
AT ITER 7969 NEW BEST:: SOT 6311700 SOS 4152694 HAS SOPS 4140604 HAS SOUS 325372 HAS SOUPS 323476 WITH SCORE 327628.694
AT ITER 7977 NEW BEST:: SOT 6312251 SOS 4153837 HAS SOPS 4141747 HAS SOUS 325325 HAS SOUPS 323429 WITH SCORE 327582.837
AT ITER 7980 NEW BEST:: SOT 6312139 SOS 4153761 HAS SOPS 4141671 HAS SOUS 325297 HAS SOUPS 323401 WITH SCORE 327554.761
AT ITER 8031 NEW BEST:: SOT 6312187 SOS 4153742 HAS SOPS 4141652 HAS SOUS 325236 HAS SOUPS 323340 WITH SCORE 327493.742
AT ITER 8033 NEW BEST:: SOT 6312204 SOS 4153759 HAS SOPS 4141669 HAS SOUS 325231 HAS SOUPS 323335 WITH SCORE 327488.759
AT ITER 8035 NEW BEST:: SOT 6312204 SOS 4153801 HAS SOPS 4141711 HAS SOUS 325179 HAS SOUPS 323283 WITH SCORE 327436.801
AT ITER 8059 NEW BEST:: SOT 6312374 SOS 4154121 HAS SOPS 4142031 HAS SOUS 324895 HAS SOUPS 322999 WITH SCORE 327153.121
AT ITER 8064 NEW BEST:: SOT 6312355 SOS 4154273 HAS SOPS 4142183 HAS SOUS 324627 HAS SOUPS 322731 WITH SCORE 326885.273
AT ITER 8111 NEW BEST:: SOT 6311943 SOS 4153704 HAS SOPS 4141614 HAS SOUS 324513 HAS SOUPS 322617 WITH SCORE 326770.704
AT ITER 8115 NEW BEST:: SOT 6311917 SOS 4153667 HAS SOPS 4141577 HAS SOUS 324472 HAS SOUPS 322576 WITH SCORE 326729.667
AT ITER 8135 NEW BEST:: SOT 6311917 SOS 4153681 HAS SOPS 4141591 HAS SOUS 324465 HAS SOUPS 322569 WITH SCORE 326722.681
AT ITER 8140 NEW BEST:: SOT 6311628 SOS 4153168 HAS SOPS 4141078 HAS SOUS 324287 HAS SOUPS 322391 WITH SCORE 326544.168
AT ITER 8143 NEW BEST:: SOT 6311685 SOS 4153225 HAS SOPS 4141057 HAS SOUS 324235 HAS SOUPS 322339 WITH SCORE 326492.225
AT ITER 8145 NEW BEST:: SOT 6311666 SOS 4153168 HAS SOPS 4141000 HAS SOUS 324235 HAS SOUPS 322339 WITH SCORE 326492.168
AT ITER 8152 NEW BEST:: SOT 6311718 SOS 4153220 HAS SOPS 4141026 HAS SOUS 324231 HAS SOUPS 322335 WITH SCORE 326488.22
AT ITER 8153 NEW BEST:: SOT 6311451 SOS 4150450 HAS SOPS 4138256 HAS SOUS 324159 HAS SOUPS 322263 WITH SCORE 326413.45
AT ITER 8173 NEW BEST:: SOT 6311041 SOS 4150040 HAS SOPS 4137846 HAS SOUS 324119 HAS SOUPS 322223 WITH SCORE 326373.04
AT ITER 8197 NEW BEST:: SOT 6310843 SOS 4149700 HAS SOPS 4137506 HAS SOUS 323898 HAS SOUPS 322002 WITH SCORE 326151.7
AT ITER 8206 NEW BEST:: SOT 6319114 SOS 4158372 HAS SOPS 4146178 HAS SOUS 321833 HAS SOUPS 319937 WITH SCORE 324095.372
AT ITER 8231 NEW BEST:: SOT 6338448 SOS 4177952 HAS SOPS 4165758 HAS SOUS 321516 HAS SOUPS 319620 WITH SCORE 323797.952
AT ITER 8270 NEW BEST:: SOT 6338248 SOS 4098071 HAS SOPS 4085877 HAS SOUS 321378 HAS SOUPS 319482 WITH SCORE 323580.071
AT ITER 8273 NEW BEST:: SOT 6338350 SOS 4098066 HAS SOPS 4085872 HAS SOUS 321356 HAS SOUPS 319460 WITH SCORE 323558.066
AT ITER 8286 NEW BEST:: SOT 6338397 SOS 4098001 HAS SOPS 4085807 HAS SOUS 321136 HAS SOUPS 319240 WITH SCORE 323338.001
AT ITER 8290 NEW BEST:: SOT 6338774 SOS 4099075 HAS SOPS 4086881 HAS SOUS 321109 HAS SOUPS 319213 WITH SCORE 323312.075
AT ITER 8301 NEW BEST:: SOT 6338765 SOS 4099057 HAS SOPS 4086863 HAS SOUS 321092 HAS SOUPS 319196 WITH SCORE 323295.057
AT ITER 8302 NEW BEST:: SOT 6338725 SOS 4098897 HAS SOPS 4086703 HAS SOUS 321092 HAS SOUPS 319196 WITH SCORE 323294.897
AT ITER 8317 NEW BEST:: SOT 6338690 SOS 4098772 HAS SOPS 4086578 HAS SOUS 321041 HAS SOUPS 319145 WITH SCORE 323243.772
AT ITER 8347 NEW BEST:: SOT 6338655 SOS 4098737 HAS SOPS 4086543 HAS SOUS 320971 HAS SOUPS 319075 WITH SCORE 323173.737
AT ITER 8350 NEW BEST:: SOT 6338617 SOS 4098699 HAS SOPS 4086505 HAS SOUS 320918 HAS SOUPS 319022 WITH SCORE 323120.699
AT ITER 8377 NEW BEST:: SOT 6338584 SOS 4098666 HAS SOPS 4086472 HAS SOUS 320852 HAS SOUPS 318956 WITH SCORE 323054.666
AT ITER 8396 NEW BEST:: SOT 6338534 SOS 4098616 HAS SOPS 4086422 HAS SOUS 320787 HAS SOUPS 318891 WITH SCORE 322989.616
AT ITER 8405 NEW BEST:: SOT 6338792 SOS 4099255 HAS SOPS 4087061 HAS SOUS 320718 HAS SOUPS 318822 WITH SCORE 322921.255
AT ITER 8408 NEW BEST:: SOT 6338851 SOS 4099432 HAS SOPS 4087238 HAS SOUS 320659 HAS SOUPS 318763 WITH SCORE 322862.432
AT ITER 8431 NEW BEST:: SOT 6338364 SOS 4098945 HAS SOPS 4086751 HAS SOUS 320608 HAS SOUPS 318712 WITH SCORE 322810.945
AT ITER 8440 NEW BEST:: SOT 6338256 SOS 4098666 HAS SOPS 4086472 HAS SOUS 320392 HAS SOUPS 318496 WITH SCORE 322594.666
AT ITER 8443 NEW BEST:: SOT 6338239 SOS 4098698 HAS SOPS 4086504 HAS SOUS 320329 HAS SOUPS 318433 WITH SCORE 322531.698
AT ITER 8447 NEW BEST:: SOT 6338224 SOS 4098698 HAS SOPS 4086504 HAS SOUS 320299 HAS SOUPS 318403 WITH SCORE 322501.698
AT ITER 8507 NEW BEST:: SOT 6338147 SOS 4098621 HAS SOPS 4086427 HAS SOUS 319580 HAS SOUPS 317684 WITH SCORE 321782.621
AT ITER 8513 NEW BEST:: SOT 6338136 SOS 4098610 HAS SOPS 4086416 HAS SOUS 319558 HAS SOUPS 317662 WITH SCORE 321760.61
AT ITER 8527 NEW BEST:: SOT 6338122 SOS 4098596 HAS SOPS 4086402 HAS SOUS 319530 HAS SOUPS 317634 WITH SCORE 321732.596
AT ITER 8531 NEW BEST:: SOT 6338111 SOS 4098585 HAS SOPS 4086391 HAS SOUS 319508 HAS SOUPS 317612 WITH SCORE 321710.585
AT ITER 8532 NEW BEST:: SOT 6340541 SOS 4101015 HAS SOPS 4088821 HAS SOUS 318609 HAS SOUPS 316713 WITH SCORE 320814.015
AT ITER 8536 NEW BEST:: SOT 6340525 SOS 4100938 HAS SOPS 4088744 HAS SOUS 318577 HAS SOUPS 316681 WITH SCORE 320781.938
AT ITER 8548 NEW BEST:: SOT 6340384 SOS 4100797 HAS SOPS 4088603 HAS SOUS 318295 HAS SOUPS 316399 WITH SCORE 320499.797
AT ITER 8556 NEW BEST:: SOT 6340376 SOS 4100781 HAS SOPS 4088587 HAS SOUS 318279 HAS SOUPS 316383 WITH SCORE 320483.781
AT ITER 8563 NEW BEST:: SOT 6340253 SOS 4100287 HAS SOPS 4088093 HAS SOUS 318261 HAS SOUPS 316365 WITH SCORE 320465.287
AT ITER 8584 NEW BEST:: SOT 6339953 SOS 4099987 HAS SOPS 4087793 HAS SOUS 317907 HAS SOUPS 316011 WITH SCORE 320110.987
AT ITER 8591 NEW BEST:: SOT 6339919 SOS 4099936 HAS SOPS 4087742 HAS SOUS 317903 HAS SOUPS 316007 WITH SCORE 320106.936
AT ITER 8600 NEW BEST:: SOT 6339805 SOS 4099854 HAS SOPS 4087660 HAS SOUS 317725 HAS SOUPS 315829 WITH SCORE 319928.854
AT ITER 8621 NEW BEST:: SOT 6339805 SOS 4099854 HAS SOPS 4087660 HAS SOUS 317695 HAS SOUPS 315799 WITH SCORE 319898.854
AT ITER 8635 NEW BEST:: SOT 6339802 SOS 4099828 HAS SOPS 4087634 HAS SOUS 317689 HAS SOUPS 315793 WITH SCORE 319892.828
AT ITER 8636 NEW BEST:: SOT 6339817 SOS 4099928 HAS SOPS 4087734 HAS SOUS 317662 HAS SOUPS 315766 WITH SCORE 319865.928
AT ITER 8639 NEW BEST:: SOT 6339731 SOS 4099593 HAS SOPS 4087399 HAS SOUS 317509 HAS SOUPS 315613 WITH SCORE 319712.593
AT ITER 8644 NEW BEST:: SOT 6339717 SOS 4099475 HAS SOPS 4087281 HAS SOUS 317443 HAS SOUPS 315547 WITH SCORE 319646.475
AT ITER 8660 NEW BEST:: SOT 6339688 SOS 4099483 HAS SOPS 4087300 HAS SOUS 317425 HAS SOUPS 315529 WITH SCORE 319628.483
AT ITER 8673 NEW BEST:: SOT 6339711 SOS 4099373 HAS SOPS 4087190 HAS SOUS 317393 HAS SOUPS 315497 WITH SCORE 319596.373
AT ITER 8675 NEW BEST:: SOT 6339794 SOS 4099373 HAS SOPS 4087190 HAS SOUS 317283 HAS SOUPS 315387 WITH SCORE 319486.373
AT ITER 8706 NEW BEST:: SOT 6328864 SOS 4088443 HAS SOPS 4076260 HAS SOUS 315638 HAS SOUPS 313742 WITH SCORE 317830.443
AT ITER 8729 NEW BEST:: SOT 6328891 SOS 4088626 HAS SOPS 4076443 HAS SOUS 315340 HAS SOUPS 313444 WITH SCORE 317532.626
AT ITER 8781 NEW BEST:: SOT 6329294 SOS 4089785 HAS SOPS 4077602 HAS SOUS 315126 HAS SOUPS 313230 WITH SCORE 317319.785
AT ITER 8788 NEW BEST:: SOT 6329294 SOS 4089785 HAS SOPS 4077602 HAS SOUS 315065 HAS SOUPS 313169 WITH SCORE 317258.785
AT ITER 8791 NEW BEST:: SOT 6328886 SOS 4090562 HAS SOPS 4078379 HAS SOUS 314843 HAS SOUPS 312947 WITH SCORE 317037.562
AT ITER 8793 NEW BEST:: SOT 6328838 SOS 4090433 HAS SOPS 4078250 HAS SOUS 314714 HAS SOUPS 312818 WITH SCORE 316908.433
AT ITER 8853 NEW BEST:: SOT 6328771 SOS 4090396 HAS SOPS 4078213 HAS SOUS 314593 HAS SOUPS 312697 WITH SCORE 316787.396
AT ITER 8863 NEW BEST:: SOT 6328875 SOS 4090480 HAS SOPS 4078173 HAS SOUS 314506 HAS SOUPS 312610 WITH SCORE 316700.48
AT ITER 8869 NEW BEST:: SOT 6328728 SOS 4091266 HAS SOPS 4078959 HAS SOUS 314403 HAS SOUPS 312507 WITH SCORE 316598.266
AT ITER 8876 NEW BEST:: SOT 6328675 SOS 4091213 HAS SOPS 4078959 HAS SOUS 314403 HAS SOUPS 312507 WITH SCORE 316598.213
AT ITER 8888 NEW BEST:: SOT 6328570 SOS 4091150 HAS SOPS 4078896 HAS SOUS 314403 HAS SOUPS 312507 WITH SCORE 316598.15
AT ITER 8904 NEW BEST:: SOT 6328565 SOS 4091128 HAS SOPS 4078874 HAS SOUS 314393 HAS SOUPS 312497 WITH SCORE 316588.128
AT ITER 8909 NEW BEST:: SOT 6328592 SOS 4091155 HAS SOPS 4078901 HAS SOUS 313536 HAS SOUPS 311640 WITH SCORE 315731.155
AT ITER 8943 NEW BEST:: SOT 6328534 SOS 4091287 HAS SOPS 4079033 HAS SOUS 313230 HAS SOUPS 311334 WITH SCORE 315425.287
AT ITER 8964 NEW BEST:: SOT 6328444 SOS 4091107 HAS SOPS 4078853 HAS SOUS 312935 HAS SOUPS 311039 WITH SCORE 315130.107
AT ITER 9001 NEW BEST:: SOT 6328304 SOS 4090918 HAS SOPS 4078664 HAS SOUS 312746 HAS SOUPS 310850 WITH SCORE 314940.918
AT ITER 9011 NEW BEST:: SOT 6332458 SOS 4094688 HAS SOPS 4082946 HAS SOUS 310331 HAS SOUPS 308499 WITH SCORE 312593.688
AT ITER 9057 NEW BEST:: SOT 6332458 SOS 4094687 HAS SOPS 4082945 HAS SOUS 310331 HAS SOUPS 308499 WITH SCORE 312593.687
AT ITER 9069 NEW BEST:: SOT 6332475 SOS 4094704 HAS SOPS 4082962 HAS SOUS 310329 HAS SOUPS 308497 WITH SCORE 312591.704
AT ITER 9080 NEW BEST:: SOT 6332553 SOS 4092880 HAS SOPS 4081138 HAS SOUS 310317 HAS SOUPS 308485 WITH SCORE 312577.88
AT ITER 9093 NEW BEST:: SOT 6332552 SOS 4092882 HAS SOPS 4081140 HAS SOUS 310315 HAS SOUPS 308483 WITH SCORE 312575.882
AT ITER 9107 NEW BEST:: SOT 6332576 SOS 4092559 HAS SOPS 4080817 HAS SOUS 310311 HAS SOUPS 308479 WITH SCORE 312571.559
AT ITER 9114 NEW BEST:: SOT 6332560 SOS 4092543 HAS SOPS 4080801 HAS SOUS 310264 HAS SOUPS 308432 WITH SCORE 312524.543
AT ITER 9119 NEW BEST:: SOT 6332532 SOS 4092822 HAS SOPS 4081080 HAS SOUS 310235 HAS SOUPS 308403 WITH SCORE 312495.822
AT ITER 9121 NEW BEST:: SOT 6332510 SOS 4092800 HAS SOPS 4081058 HAS SOUS 310213 HAS SOUPS 308381 WITH SCORE 312473.8
AT ITER 9123 NEW BEST:: SOT 6331975 SOS 4091875 HAS SOPS 4080133 HAS SOUS 310072 HAS SOUPS 308240 WITH SCORE 312331.875
AT ITER 9141 NEW BEST:: SOT 6331956 SOS 4091856 HAS SOPS 4080055 HAS SOUS 310034 HAS SOUPS 308202 WITH SCORE 312293.856
AT ITER 9201 NEW BEST:: SOT 6332069 SOS 4092101 HAS SOPS 4080300 HAS SOUS 309902 HAS SOUPS 308070 WITH SCORE 312162.101
AT ITER 9216 NEW BEST:: SOT 6332458 SOS 4093178 HAS SOPS 4081377 HAS SOUS 309579 HAS SOUPS 307747 WITH SCORE 311840.178
AT ITER 9236 NEW BEST:: SOT 6332690 SOS 4093470 HAS SOPS 4081669 HAS SOUS 308866 HAS SOUPS 307034 WITH SCORE 311127.47
AT ITER 9256 NEW BEST:: SOT 6332478 SOS 4093170 HAS SOPS 4081369 HAS SOUS 308780 HAS SOUPS 306948 WITH SCORE 311041.17
AT ITER 9275 NEW BEST:: SOT 6306918 SOS 4067610 HAS SOPS 4055809 HAS SOUS 308349 HAS SOUPS 306517 WITH SCORE 310584.61
AT ITER 9320 NEW BEST:: SOT 6307059 SOS 4067917 HAS SOPS 4056116 HAS SOUS 308226 HAS SOUPS 306394 WITH SCORE 310461.917
AT ITER 9336 NEW BEST:: SOT 6307030 SOS 4067453 HAS SOPS 4055652 HAS SOUS 308190 HAS SOUPS 306358 WITH SCORE 310425.453
AT ITER 9360 NEW BEST:: SOT 6307030 SOS 4067497 HAS SOPS 4055696 HAS SOUS 308102 HAS SOUPS 306270 WITH SCORE 310337.497
AT ITER 9370 NEW BEST:: SOT 6307030 SOS 4067497 HAS SOPS 4055696 HAS SOUS 307887 HAS SOUPS 306055 WITH SCORE 310122.497
AT ITER 9400 NEW BEST:: SOT 6307003 SOS 4067424 HAS SOPS 4055623 HAS SOUS 307719 HAS SOUPS 305887 WITH SCORE 309954.424
AT ITER 9415 NEW BEST:: SOT 6306969 SOS 4067390 HAS SOPS 4055589 HAS SOUS 307552 HAS SOUPS 305720 WITH SCORE 309787.39
AT ITER 9418 NEW BEST:: SOT 6306945 SOS 4067366 HAS SOPS 4055565 HAS SOUS 307516 HAS SOUPS 305684 WITH SCORE 309751.366
AT ITER 9454 NEW BEST:: SOT 6306943 SOS 4067364 HAS SOPS 4055563 HAS SOUS 307512 HAS SOUPS 305680 WITH SCORE 309747.364
AT ITER 9456 NEW BEST:: SOT 6307034 SOS 4067485 HAS SOPS 4055625 HAS SOUS 307341 HAS SOUPS 305509 WITH SCORE 309576.485
AT ITER 9459 NEW BEST:: SOT 6306905 SOS 4067356 HAS SOPS 4055496 HAS SOUS 307321 HAS SOUPS 305489 WITH SCORE 309556.356
AT ITER 9466 NEW BEST:: SOT 6307116 SOS 4067962 HAS SOPS 4056102 HAS SOUS 307098 HAS SOUPS 305266 WITH SCORE 309333.962
AT ITER 9474 NEW BEST:: SOT 6307070 SOS 4067916 HAS SOPS 4056056 HAS SOUS 306983 HAS SOUPS 305151 WITH SCORE 309218.916
AT ITER 9506 NEW BEST:: SOT 6306862 SOS 4067317 HAS SOPS 4055457 HAS SOUS 306940 HAS SOUPS 305108 WITH SCORE 309175.317
AT ITER 9508 NEW BEST:: SOT 6306997 SOS 4069421 HAS SOPS 4057561 HAS SOUS 306754 HAS SOUPS 304922 WITH SCORE 308991.421
AT ITER 9515 NEW BEST:: SOT 6307041 SOS 4069934 HAS SOPS 4058074 HAS SOUS 306665 HAS SOUPS 304833 WITH SCORE 308902.934
AT ITER 9526 NEW BEST:: SOT 6307041 SOS 4069850 HAS SOPS 4057990 HAS SOUS 306653 HAS SOUPS 304821 WITH SCORE 308890.85
AT ITER 9534 NEW BEST:: SOT 6307171 SOS 4069939 HAS SOPS 4058079 HAS SOUS 306510 HAS SOUPS 304678 WITH SCORE 308747.939
AT ITER 9587 NEW BEST:: SOT 6307171 SOS 4069908 HAS SOPS 4058048 HAS SOUS 306510 HAS SOUPS 304678 WITH SCORE 308747.908
AT ITER 9607 NEW BEST:: SOT 6307149 SOS 4069886 HAS SOPS 4058026 HAS SOUS 306488 HAS SOUPS 304656 WITH SCORE 308725.886
AT ITER 9634 NEW BEST:: SOT 6307045 SOS 4069694 HAS SOPS 4057834 HAS SOUS 306373 HAS SOUPS 304541 WITH SCORE 308610.694
AT ITER 9686 NEW BEST:: SOT 6307029 SOS 4069678 HAS SOPS 4057841 HAS SOUS 306341 HAS SOUPS 304509 WITH SCORE 308578.678
AT ITER 9716 NEW BEST:: SOT 6306981 SOS 4069620 HAS SOPS 4057783 HAS SOUS 306341 HAS SOUPS 304509 WITH SCORE 308578.62
AT ITER 9728 NEW BEST:: SOT 6306905 SOS 4069628 HAS SOPS 4057791 HAS SOUS 306296 HAS SOUPS 304464 WITH SCORE 308533.628
AT ITER 9744 NEW BEST:: SOT 6306904 SOS 4069619 HAS SOPS 4057782 HAS SOUS 306291 HAS SOUPS 304459 WITH SCORE 308528.619
AT ITER 9746 NEW BEST:: SOT 6306786 SOS 4069501 HAS SOPS 4057664 HAS SOUS 306192 HAS SOUPS 304360 WITH SCORE 308429.501
AT ITER 9762 NEW BEST:: SOT 6306715 SOS 4069430 HAS SOPS 4057593 HAS SOUS 306155 HAS SOUPS 304323 WITH SCORE 308392.43
AT ITER 9781 NEW BEST:: SOT 6306715 SOS 4069430 HAS SOPS 4057593 HAS SOUS 305907 HAS SOUPS 304075 WITH SCORE 308144.43
AT ITER 9817 NEW BEST:: SOT 6306708 SOS 4069423 HAS SOPS 4057586 HAS SOUS 305900 HAS SOUPS 304068 WITH SCORE 308137.423
AT ITER 9820 NEW BEST:: SOT 6306442 SOS 4069157 HAS SOPS 4057320 HAS SOUS 305454 HAS SOUPS 303622 WITH SCORE 307691.157
AT ITER 9831 NEW BEST:: SOT 6306462 SOS 4069217 HAS SOPS 4057380 HAS SOUS 305394 HAS SOUPS 303562 WITH SCORE 307631.217
AT ITER 9838 NEW BEST:: SOT 6306401 SOS 4068911 HAS SOPS 4057074 HAS SOUS 305185 HAS SOUPS 303353 WITH SCORE 307421.911
AT ITER 9840 NEW BEST:: SOT 6305853 SOS 4068377 HAS SOPS 4056540 HAS SOUS 304084 HAS SOUPS 302252 WITH SCORE 306320.377
AT ITER 9851 NEW BEST:: SOT 6305809 SOS 4068311 HAS SOPS 4056474 HAS SOUS 304018 HAS SOUPS 302186 WITH SCORE 306254.311
AT ITER 9860 NEW BEST:: SOT 6305773 SOS 4068275 HAS SOPS 4056438 HAS SOUS 303701 HAS SOUPS 301869 WITH SCORE 305937.275
AT ITER 9869 NEW BEST:: SOT 6305773 SOS 4068275 HAS SOPS 4056438 HAS SOUS 303692 HAS SOUPS 301860 WITH SCORE 305928.275
AT ITER 9880 NEW BEST:: SOT 6305730 SOS 4068207 HAS SOPS 4056370 HAS SOUS 303632 HAS SOUPS 301800 WITH SCORE 305868.207
AT ITER 9886 NEW BEST:: SOT 6305772 SOS 4068298 HAS SOPS 4056461 HAS SOUS 303535 HAS SOUPS 301703 WITH SCORE 305771.298
AT ITER 9900 NEW BEST:: SOT 6305474 SOS 4069633 HAS SOPS 4057796 HAS SOUS 303316 HAS SOUPS 301484 WITH SCORE 305553.633
AT ITER 9931 NEW BEST:: SOT 6305436 SOS 4069515 HAS SOPS 4057678 HAS SOUS 303172 HAS SOUPS 301340 WITH SCORE 305409.515
AT ITER 9940 NEW BEST:: SOT 6303359 SOS 4067438 HAS SOPS 4055601 HAS SOUS 302542 HAS SOUPS 300710 WITH SCORE 304777.438
AT ITER 9941 NEW BEST:: SOT 6303359 SOS 4067450 HAS SOPS 4055597 HAS SOUS 302530 HAS SOUPS 300698 WITH SCORE 304765.45
AT ITER 9958 NEW BEST:: SOT 6303182 SOS 4067273 HAS SOPS 4055420 HAS SOUS 302263 HAS SOUPS 300431 WITH SCORE 304498.273
AT ITER 9960 NEW BEST:: SOT 6303104 SOS 4067208 HAS SOPS 4055355 HAS SOUS 302177 HAS SOUPS 300345 WITH SCORE 304412.208
AT ITER 9969 NEW BEST:: SOT 6303100 SOS 4067176 HAS SOPS 4055323 HAS SOUS 302173 HAS SOUPS 300341 WITH SCORE 304408.176
AT ITER 9971 NEW BEST:: SOT 6302772 SOS 4066277 HAS SOPS 4054424 HAS SOUS 302089 HAS SOUPS 300257 WITH SCORE 304323.277
AT ITER 9975 NEW BEST:: SOT 6302763 SOS 4066300 HAS SOPS 4054447 HAS SOUS 302071 HAS SOUPS 300239 WITH SCORE 304305.3
AT ITER 9982 NEW BEST:: SOT 6302794 SOS 4066286 HAS SOPS 4054433 HAS SOUS 302057 HAS SOUPS 300225 WITH SCORE 304291.286
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15392360 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16093184 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is PolyORBLF-COL-S06J06T08, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r299-tall-167873953000488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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