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.r395-oct2-167903718600280.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldIIPt-PT-020A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718600280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 6.2K Feb 25 17:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 17:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 17:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 17:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:57 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:57 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 18:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 18:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 18:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 25 18:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:57 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:57 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 105K 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 1679560527655

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=ShieldIIPt-PT-020A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 08:35:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 08:35:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 08:35:30] [INFO ] Load time of PNML (sax parser for PT used): 119 ms
[2023-03-23 08:35:30] [INFO ] Transformed 383 places.
[2023-03-23 08:35:30] [INFO ] Transformed 283 transitions.
[2023-03-23 08:35:30] [INFO ] Found NUPN structural information;
[2023-03-23 08:35:30] [INFO ] Parsed PT model containing 383 places and 283 transitions and 1206 arcs in 248 ms.
[2023-03-23 08:35:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 383 places, 283 transitions and 1206 arcs took 6 ms.
Total runtime 288 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 020A
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: 383 places, 283 transitions, 1206 arcs.
AT ITER 0 NEW BEST:: SOT 86651 SOS 73154 HAS SOPS 73154 HAS SOUS 64212 HAS SOUPS 64212 WITH SCORE 64285.154
AT ITER 1 NEW BEST:: SOT 86544 SOS 73056 HAS SOPS 73056 HAS SOUS 64114 HAS SOUPS 64114 WITH SCORE 64187.056
AT ITER 2 NEW BEST:: SOT 86661 SOS 72718 HAS SOPS 72718 HAS SOUS 64041 HAS SOUPS 64041 WITH SCORE 64113.718
AT ITER 3 NEW BEST:: SOT 86541 SOS 72614 HAS SOPS 72614 HAS SOUS 63977 HAS SOUPS 63977 WITH SCORE 64049.614
AT ITER 4 NEW BEST:: SOT 86515 SOS 72588 HAS SOPS 72588 HAS SOUS 63951 HAS SOUPS 63951 WITH SCORE 64023.588
AT ITER 5 NEW BEST:: SOT 86515 SOS 72227 HAS SOPS 72227 HAS SOUS 63884 HAS SOUPS 63884 WITH SCORE 63956.227
AT ITER 6 NEW BEST:: SOT 86302 SOS 72078 HAS SOPS 72078 HAS SOUS 63671 HAS SOUPS 63671 WITH SCORE 63743.078
AT ITER 7 NEW BEST:: SOT 86143 SOS 71919 HAS SOPS 71919 HAS SOUS 63409 HAS SOUPS 63409 WITH SCORE 63480.919
AT ITER 10 NEW BEST:: SOT 86143 SOS 71814 HAS SOPS 71814 HAS SOUS 63374 HAS SOUPS 63374 WITH SCORE 63445.814
AT ITER 11 NEW BEST:: SOT 85813 SOS 71143 HAS SOPS 71143 HAS SOUS 62904 HAS SOUPS 62904 WITH SCORE 62975.143
AT ITER 12 NEW BEST:: SOT 85640 SOS 70970 HAS SOPS 70970 HAS SOUS 62843 HAS SOUPS 62843 WITH SCORE 62913.97
AT ITER 15 NEW BEST:: SOT 85577 SOS 70567 HAS SOPS 70567 HAS SOUS 62603 HAS SOUPS 62603 WITH SCORE 62673.567
AT ITER 16 NEW BEST:: SOT 85577 SOS 70343 HAS SOPS 70343 HAS SOUS 62429 HAS SOUPS 62429 WITH SCORE 62499.343
AT ITER 18 NEW BEST:: SOT 85549 SOS 70315 HAS SOPS 70315 HAS SOUS 62401 HAS SOUPS 62401 WITH SCORE 62471.315
AT ITER 20 NEW BEST:: SOT 85435 SOS 70201 HAS SOPS 70201 HAS SOUS 62287 HAS SOUPS 62287 WITH SCORE 62357.201
AT ITER 21 NEW BEST:: SOT 85201 SOS 69740 HAS SOPS 69740 HAS SOUS 61946 HAS SOUPS 61946 WITH SCORE 62015.74
AT ITER 23 NEW BEST:: SOT 85170 SOS 69432 HAS SOPS 69432 HAS SOUS 61655 HAS SOUPS 61655 WITH SCORE 61724.432
AT ITER 25 NEW BEST:: SOT 85170 SOS 69399 HAS SOPS 69399 HAS SOUS 61648 HAS SOUPS 61648 WITH SCORE 61717.399
AT ITER 27 NEW BEST:: SOT 85170 SOS 69019 HAS SOPS 69019 HAS SOUS 61532 HAS SOUPS 61532 WITH SCORE 61601.019
AT ITER 29 NEW BEST:: SOT 85170 SOS 68801 HAS SOPS 68801 HAS SOUS 61482 HAS SOUPS 61482 WITH SCORE 61550.801
AT ITER 30 NEW BEST:: SOT 85170 SOS 68647 HAS SOPS 68647 HAS SOUS 61192 HAS SOUPS 61192 WITH SCORE 61260.647
AT ITER 31 NEW BEST:: SOT 85045 SOS 68401 HAS SOPS 68401 HAS SOUS 61048 HAS SOUPS 61048 WITH SCORE 61116.401
AT ITER 35 NEW BEST:: SOT 85082 SOS 68361 HAS SOPS 68361 HAS SOUS 61047 HAS SOUPS 61047 WITH SCORE 61115.361
AT ITER 36 NEW BEST:: SOT 84993 SOS 68272 HAS SOPS 68272 HAS SOUS 60930 HAS SOUPS 60930 WITH SCORE 60998.272
AT ITER 38 NEW BEST:: SOT 84933 SOS 68212 HAS SOPS 68212 HAS SOUS 60870 HAS SOUPS 60870 WITH SCORE 60938.212
AT ITER 41 NEW BEST:: SOT 84859 SOS 68138 HAS SOPS 68138 HAS SOUS 60794 HAS SOUPS 60794 WITH SCORE 60862.138
AT ITER 42 NEW BEST:: SOT 84857 SOS 67783 HAS SOPS 67783 HAS SOUS 60570 HAS SOUPS 60570 WITH SCORE 60637.783
AT ITER 45 NEW BEST:: SOT 84857 SOS 67811 HAS SOPS 67811 HAS SOUS 60542 HAS SOUPS 60542 WITH SCORE 60609.811
AT ITER 46 NEW BEST:: SOT 84857 SOS 67451 HAS SOPS 67451 HAS SOUS 60451 HAS SOUPS 60451 WITH SCORE 60518.451
AT ITER 50 NEW BEST:: SOT 84857 SOS 66991 HAS SOPS 66991 HAS SOUS 60267 HAS SOUPS 60267 WITH SCORE 60333.991
AT ITER 51 NEW BEST:: SOT 84500 SOS 66634 HAS SOPS 66634 HAS SOUS 59770 HAS SOUPS 59770 WITH SCORE 59836.634
AT ITER 54 NEW BEST:: SOT 84516 SOS 66625 HAS SOPS 66625 HAS SOUS 59761 HAS SOUPS 59761 WITH SCORE 59827.625
AT ITER 55 NEW BEST:: SOT 84516 SOS 66317 HAS SOPS 66317 HAS SOUS 59759 HAS SOUPS 59759 WITH SCORE 59825.317
AT ITER 56 NEW BEST:: SOT 84516 SOS 66302 HAS SOPS 66302 HAS SOUS 59749 HAS SOUPS 59749 WITH SCORE 59815.302
AT ITER 57 NEW BEST:: SOT 84563 SOS 66201 HAS SOPS 66201 HAS SOUS 59733 HAS SOUPS 59733 WITH SCORE 59799.201
AT ITER 59 NEW BEST:: SOT 84351 SOS 65988 HAS SOPS 65988 HAS SOUS 59520 HAS SOUPS 59520 WITH SCORE 59585.988
AT ITER 60 NEW BEST:: SOT 84344 SOS 65981 HAS SOPS 65981 HAS SOUS 59513 HAS SOUPS 59513 WITH SCORE 59578.981
AT ITER 63 NEW BEST:: SOT 84178 SOS 65815 HAS SOPS 65815 HAS SOUS 59439 HAS SOUPS 59439 WITH SCORE 59504.815
AT ITER 65 NEW BEST:: SOT 84130 SOS 65393 HAS SOPS 65393 HAS SOUS 59019 HAS SOUPS 59019 WITH SCORE 59084.393
AT ITER 66 NEW BEST:: SOT 84092 SOS 65129 HAS SOPS 65129 HAS SOUS 58932 HAS SOUPS 58932 WITH SCORE 58997.129
AT ITER 67 NEW BEST:: SOT 83804 SOS 64382 HAS SOPS 64382 HAS SOUS 58422 HAS SOUPS 58422 WITH SCORE 58486.382
AT ITER 69 NEW BEST:: SOT 83804 SOS 64388 HAS SOPS 64388 HAS SOUS 58395 HAS SOUPS 58395 WITH SCORE 58459.388
AT ITER 70 NEW BEST:: SOT 83728 SOS 64392 HAS SOPS 64392 HAS SOUS 58283 HAS SOUPS 58283 WITH SCORE 58347.392
AT ITER 72 NEW BEST:: SOT 83726 SOS 64467 HAS SOPS 64467 HAS SOUS 58186 HAS SOUPS 58186 WITH SCORE 58250.467
AT ITER 73 NEW BEST:: SOT 83717 SOS 64458 HAS SOPS 64458 HAS SOUS 58177 HAS SOUPS 58177 WITH SCORE 58241.458
AT ITER 74 NEW BEST:: SOT 83643 SOS 64384 HAS SOPS 64384 HAS SOUS 58036 HAS SOUPS 58036 WITH SCORE 58100.384
AT ITER 78 NEW BEST:: SOT 83594 SOS 64335 HAS SOPS 64335 HAS SOUS 57938 HAS SOUPS 57938 WITH SCORE 58002.335
AT ITER 79 NEW BEST:: SOT 83544 SOS 64285 HAS SOPS 64285 HAS SOUS 57860 HAS SOUPS 57860 WITH SCORE 57924.285
AT ITER 80 NEW BEST:: SOT 83455 SOS 64196 HAS SOPS 64196 HAS SOUS 57753 HAS SOUPS 57753 WITH SCORE 57817.196
AT ITER 81 NEW BEST:: SOT 83375 SOS 64078 HAS SOPS 64078 HAS SOUS 57675 HAS SOUPS 57675 WITH SCORE 57739.078
AT ITER 83 NEW BEST:: SOT 83375 SOS 64091 HAS SOPS 64091 HAS SOUS 57567 HAS SOUPS 57567 WITH SCORE 57631.091
AT ITER 85 NEW BEST:: SOT 83148 SOS 63864 HAS SOPS 63864 HAS SOUS 57389 HAS SOUPS 57389 WITH SCORE 57452.864
AT ITER 86 NEW BEST:: SOT 82981 SOS 63697 HAS SOPS 63697 HAS SOUS 57222 HAS SOUPS 57222 WITH SCORE 57285.697
AT ITER 87 NEW BEST:: SOT 82880 SOS 63596 HAS SOPS 63596 HAS SOUS 57191 HAS SOUPS 57191 WITH SCORE 57254.596
AT ITER 88 NEW BEST:: SOT 82975 SOS 63691 HAS SOPS 63691 HAS SOUS 57147 HAS SOUPS 57147 WITH SCORE 57210.691
AT ITER 89 NEW BEST:: SOT 82975 SOS 63688 HAS SOPS 63688 HAS SOUS 57097 HAS SOUPS 57097 WITH SCORE 57160.688
AT ITER 90 NEW BEST:: SOT 82802 SOS 63241 HAS SOPS 63241 HAS SOUS 56750 HAS SOUPS 56750 WITH SCORE 56813.241
AT ITER 98 NEW BEST:: SOT 82909 SOS 62990 HAS SOPS 62990 HAS SOUS 56651 HAS SOUPS 56651 WITH SCORE 56713.99
AT ITER 99 NEW BEST:: SOT 82900 SOS 62981 HAS SOPS 62981 HAS SOUS 56651 HAS SOUPS 56651 WITH SCORE 56713.981
AT ITER 100 NEW BEST:: SOT 82900 SOS 62666 HAS SOPS 62666 HAS SOUS 56329 HAS SOUPS 56329 WITH SCORE 56391.666
AT ITER 101 NEW BEST:: SOT 82864 SOS 62594 HAS SOPS 62594 HAS SOUS 56257 HAS SOUPS 56257 WITH SCORE 56319.594
AT ITER 102 NEW BEST:: SOT 82828 SOS 62487 HAS SOPS 62487 HAS SOUS 56150 HAS SOUPS 56150 WITH SCORE 56212.487
AT ITER 104 NEW BEST:: SOT 82664 SOS 62323 HAS SOPS 62323 HAS SOUS 55901 HAS SOUPS 55901 WITH SCORE 55963.323
AT ITER 105 NEW BEST:: SOT 82574 SOS 62233 HAS SOPS 62233 HAS SOUS 55811 HAS SOUPS 55811 WITH SCORE 55873.233
AT ITER 110 NEW BEST:: SOT 82574 SOS 62245 HAS SOPS 62245 HAS SOUS 55767 HAS SOUPS 55767 WITH SCORE 55829.245
AT ITER 113 NEW BEST:: SOT 82408 SOS 61953 HAS SOPS 61953 HAS SOUS 55551 HAS SOUPS 55551 WITH SCORE 55612.953
AT ITER 115 NEW BEST:: SOT 82408 SOS 61950 HAS SOPS 61950 HAS SOUS 55548 HAS SOUPS 55548 WITH SCORE 55609.95
AT ITER 116 NEW BEST:: SOT 82382 SOS 61924 HAS SOPS 61924 HAS SOUS 55454 HAS SOUPS 55454 WITH SCORE 55515.924
AT ITER 117 NEW BEST:: SOT 82112 SOS 61654 HAS SOPS 61654 HAS SOUS 55184 HAS SOUPS 55184 WITH SCORE 55245.654
AT ITER 119 NEW BEST:: SOT 82112 SOS 61582 HAS SOPS 61582 HAS SOUS 55154 HAS SOUPS 55154 WITH SCORE 55215.582
AT ITER 120 NEW BEST:: SOT 82235 SOS 61307 HAS SOPS 61307 HAS SOUS 55084 HAS SOUPS 55084 WITH SCORE 55145.307
AT ITER 121 NEW BEST:: SOT 81989 SOS 61061 HAS SOPS 61061 HAS SOUS 54725 HAS SOUPS 54725 WITH SCORE 54786.061
AT ITER 123 NEW BEST:: SOT 81962 SOS 61027 HAS SOPS 61027 HAS SOUS 54671 HAS SOUPS 54671 WITH SCORE 54732.027
AT ITER 127 NEW BEST:: SOT 82060 SOS 60973 HAS SOPS 60973 HAS SOUS 54521 HAS SOUPS 54521 WITH SCORE 54581.973
AT ITER 128 NEW BEST:: SOT 82060 SOS 61005 HAS SOPS 61005 HAS SOUS 54440 HAS SOUPS 54440 WITH SCORE 54501.005
AT ITER 129 NEW BEST:: SOT 82060 SOS 60889 HAS SOPS 60889 HAS SOUS 54382 HAS SOUPS 54382 WITH SCORE 54442.889
AT ITER 132 NEW BEST:: SOT 81911 SOS 60740 HAS SOPS 60740 HAS SOUS 54230 HAS SOUPS 54230 WITH SCORE 54290.74
AT ITER 134 NEW BEST:: SOT 81631 SOS 60300 HAS SOPS 60300 HAS SOUS 53669 HAS SOUPS 53669 WITH SCORE 53729.3
AT ITER 138 NEW BEST:: SOT 81624 SOS 60293 HAS SOPS 60293 HAS SOUS 53662 HAS SOUPS 53662 WITH SCORE 53722.293
AT ITER 141 NEW BEST:: SOT 81566 SOS 60116 HAS SOPS 60116 HAS SOUS 53440 HAS SOUPS 53440 WITH SCORE 53500.116
AT ITER 142 NEW BEST:: SOT 81459 SOS 59643 HAS SOPS 59643 HAS SOUS 53139 HAS SOUPS 53139 WITH SCORE 53198.643
AT ITER 145 NEW BEST:: SOT 81459 SOS 59643 HAS SOPS 59643 HAS SOUS 53135 HAS SOUPS 53135 WITH SCORE 53194.643
AT ITER 146 NEW BEST:: SOT 81459 SOS 59270 HAS SOPS 59270 HAS SOUS 53135 HAS SOUPS 53135 WITH SCORE 53194.27
AT ITER 149 NEW BEST:: SOT 81459 SOS 59223 HAS SOPS 59223 HAS SOUS 53135 HAS SOUPS 53135 WITH SCORE 53194.223
AT ITER 151 NEW BEST:: SOT 81212 SOS 58885 HAS SOPS 58885 HAS SOUS 52705 HAS SOUPS 52705 WITH SCORE 52763.885
AT ITER 152 NEW BEST:: SOT 81110 SOS 58806 HAS SOPS 58806 HAS SOUS 52693 HAS SOUPS 52693 WITH SCORE 52751.806
AT ITER 154 NEW BEST:: SOT 81015 SOS 58711 HAS SOPS 58711 HAS SOUS 52619 HAS SOUPS 52619 WITH SCORE 52677.711
AT ITER 158 NEW BEST:: SOT 81015 SOS 58605 HAS SOPS 58605 HAS SOUS 52590 HAS SOUPS 52590 WITH SCORE 52648.605
AT ITER 161 NEW BEST:: SOT 80986 SOS 58576 HAS SOPS 58576 HAS SOUS 52590 HAS SOUPS 52590 WITH SCORE 52648.576
AT ITER 162 NEW BEST:: SOT 80800 SOS 58390 HAS SOPS 58390 HAS SOUS 52404 HAS SOUPS 52404 WITH SCORE 52462.39
AT ITER 165 NEW BEST:: SOT 80559 SOS 58083 HAS SOPS 58083 HAS SOUS 52035 HAS SOUPS 52035 WITH SCORE 52093.083
AT ITER 167 NEW BEST:: SOT 80527 SOS 58035 HAS SOPS 58035 HAS SOUS 52003 HAS SOUPS 52003 WITH SCORE 52061.035
AT ITER 169 NEW BEST:: SOT 80389 SOS 57897 HAS SOPS 57897 HAS SOUS 51894 HAS SOUPS 51894 WITH SCORE 51951.897
AT ITER 170 NEW BEST:: SOT 80244 SOS 57752 HAS SOPS 57752 HAS SOUS 51749 HAS SOUPS 51749 WITH SCORE 51806.752
AT ITER 171 NEW BEST:: SOT 80222 SOS 57741 HAS SOPS 57741 HAS SOUS 51721 HAS SOUPS 51721 WITH SCORE 51778.741
AT ITER 172 NEW BEST:: SOT 80221 SOS 57740 HAS SOPS 57740 HAS SOUS 51720 HAS SOUPS 51720 WITH SCORE 51777.74
AT ITER 173 NEW BEST:: SOT 80221 SOS 57576 HAS SOPS 57576 HAS SOUS 51717 HAS SOUPS 51717 WITH SCORE 51774.576
AT ITER 175 NEW BEST:: SOT 80237 SOS 57693 HAS SOPS 57693 HAS SOUS 51713 HAS SOUPS 51713 WITH SCORE 51770.693
AT ITER 179 NEW BEST:: SOT 80078 SOS 57359 HAS SOPS 57359 HAS SOUS 51241 HAS SOUPS 51241 WITH SCORE 51298.359
AT ITER 180 NEW BEST:: SOT 79888 SOS 57079 HAS SOPS 57079 HAS SOUS 50961 HAS SOUPS 50961 WITH SCORE 51018.079
AT ITER 181 NEW BEST:: SOT 79867 SOS 57058 HAS SOPS 57058 HAS SOUS 50940 HAS SOUPS 50940 WITH SCORE 50997.058
AT ITER 183 NEW BEST:: SOT 79851 SOS 57042 HAS SOPS 57042 HAS SOUS 50924 HAS SOUPS 50924 WITH SCORE 50981.042
AT ITER 186 NEW BEST:: SOT 79851 SOS 56977 HAS SOPS 56977 HAS SOUS 50923 HAS SOUPS 50923 WITH SCORE 50979.977
AT ITER 187 NEW BEST:: SOT 79839 SOS 56965 HAS SOPS 56965 HAS SOUS 50911 HAS SOUPS 50911 WITH SCORE 50967.965
AT ITER 188 NEW BEST:: SOT 79772 SOS 56920 HAS SOPS 56920 HAS SOUS 50866 HAS SOUPS 50866 WITH SCORE 50922.92
AT ITER 195 NEW BEST:: SOT 79719 SOS 56867 HAS SOPS 56867 HAS SOUS 50813 HAS SOUPS 50813 WITH SCORE 50869.867
AT ITER 198 NEW BEST:: SOT 79719 SOS 56669 HAS SOPS 56669 HAS SOUS 50622 HAS SOUPS 50622 WITH SCORE 50678.669
AT ITER 201 NEW BEST:: SOT 79719 SOS 56471 HAS SOPS 56471 HAS SOUS 50606 HAS SOUPS 50606 WITH SCORE 50662.471
AT ITER 202 NEW BEST:: SOT 79593 SOS 56345 HAS SOPS 56345 HAS SOUS 50472 HAS SOUPS 50472 WITH SCORE 50528.345
AT ITER 205 NEW BEST:: SOT 79483 SOS 56138 HAS SOPS 56138 HAS SOUS 50265 HAS SOUPS 50265 WITH SCORE 50321.138
AT ITER 206 NEW BEST:: SOT 79481 SOS 55919 HAS SOPS 55919 HAS SOUS 50046 HAS SOUPS 50046 WITH SCORE 50101.919
AT ITER 207 NEW BEST:: SOT 79481 SOS 55861 HAS SOPS 55861 HAS SOUS 50012 HAS SOUPS 50012 WITH SCORE 50067.861
AT ITER 208 NEW BEST:: SOT 79505 SOS 55728 HAS SOPS 55728 HAS SOUS 49877 HAS SOUPS 49877 WITH SCORE 49932.728
AT ITER 209 NEW BEST:: SOT 79505 SOS 55684 HAS SOPS 55684 HAS SOUS 49877 HAS SOUPS 49877 WITH SCORE 49932.684
AT ITER 213 NEW BEST:: SOT 79505 SOS 55345 HAS SOPS 55345 HAS SOUS 49735 HAS SOUPS 49735 WITH SCORE 49790.345
AT ITER 215 NEW BEST:: SOT 79464 SOS 55304 HAS SOPS 55304 HAS SOUS 49694 HAS SOUPS 49694 WITH SCORE 49749.304
AT ITER 216 NEW BEST:: SOT 79464 SOS 55208 HAS SOPS 55208 HAS SOUS 49551 HAS SOUPS 49551 WITH SCORE 49606.208
AT ITER 226 NEW BEST:: SOT 79027 SOS 54399 HAS SOPS 54399 HAS SOUS 48892 HAS SOUPS 48892 WITH SCORE 48946.399
AT ITER 228 NEW BEST:: SOT 78782 SOS 54152 HAS SOPS 54152 HAS SOUS 48645 HAS SOUPS 48645 WITH SCORE 48699.152
AT ITER 229 NEW BEST:: SOT 78681 SOS 54020 HAS SOPS 54020 HAS SOUS 48642 HAS SOUPS 48642 WITH SCORE 48696.02
AT ITER 231 NEW BEST:: SOT 78582 SOS 53921 HAS SOPS 53921 HAS SOUS 48543 HAS SOUPS 48543 WITH SCORE 48596.921
AT ITER 234 NEW BEST:: SOT 78383 SOS 53694 HAS SOPS 53694 HAS SOUS 48231 HAS SOUPS 48231 WITH SCORE 48284.694
AT ITER 235 NEW BEST:: SOT 78364 SOS 53560 HAS SOPS 53560 HAS SOUS 48213 HAS SOUPS 48213 WITH SCORE 48266.56
AT ITER 246 NEW BEST:: SOT 78364 SOS 53554 HAS SOPS 53554 HAS SOUS 48213 HAS SOUPS 48213 WITH SCORE 48266.554
AT ITER 247 NEW BEST:: SOT 78238 SOS 53439 HAS SOPS 53439 HAS SOUS 48098 HAS SOUPS 48098 WITH SCORE 48151.439
AT ITER 250 NEW BEST:: SOT 78226 SOS 53427 HAS SOPS 53427 HAS SOUS 48086 HAS SOUPS 48086 WITH SCORE 48139.427
AT ITER 252 NEW BEST:: SOT 78226 SOS 53316 HAS SOPS 53316 HAS SOUS 48049 HAS SOUPS 48049 WITH SCORE 48102.316
AT ITER 255 NEW BEST:: SOT 78202 SOS 53268 HAS SOPS 53268 HAS SOUS 48025 HAS SOUPS 48025 WITH SCORE 48078.268
AT ITER 256 NEW BEST:: SOT 78202 SOS 53080 HAS SOPS 53080 HAS SOUS 47739 HAS SOUPS 47739 WITH SCORE 47792.08
AT ITER 257 NEW BEST:: SOT 78171 SOS 53063 HAS SOPS 53063 HAS SOUS 47701 HAS SOUPS 47701 WITH SCORE 47754.063
AT ITER 263 NEW BEST:: SOT 78018 SOS 52910 HAS SOPS 52910 HAS SOUS 47548 HAS SOUPS 47548 WITH SCORE 47600.91
AT ITER 265 NEW BEST:: SOT 77935 SOS 52474 HAS SOPS 52474 HAS SOUS 47270 HAS SOUPS 47270 WITH SCORE 47322.474
AT ITER 267 NEW BEST:: SOT 77844 SOS 52383 HAS SOPS 52383 HAS SOUS 47179 HAS SOUPS 47179 WITH SCORE 47231.383
AT ITER 272 NEW BEST:: SOT 77844 SOS 52383 HAS SOPS 52383 HAS SOUS 47143 HAS SOUPS 47143 WITH SCORE 47195.383
AT ITER 287 NEW BEST:: SOT 77828 SOS 52341 HAS SOPS 52341 HAS SOUS 47111 HAS SOUPS 47111 WITH SCORE 47163.341
AT ITER 288 NEW BEST:: SOT 77648 SOS 52020 HAS SOPS 52020 HAS SOUS 46849 HAS SOUPS 46849 WITH SCORE 46901.02
AT ITER 294 NEW BEST:: SOT 77569 SOS 51673 HAS SOPS 51673 HAS SOUS 46562 HAS SOUPS 46562 WITH SCORE 46613.673
AT ITER 296 NEW BEST:: SOT 77560 SOS 51664 HAS SOPS 51664 HAS SOUS 46556 HAS SOUPS 46556 WITH SCORE 46607.664
AT ITER 297 NEW BEST:: SOT 77557 SOS 51661 HAS SOPS 51661 HAS SOUS 46553 HAS SOUPS 46553 WITH SCORE 46604.661
AT ITER 300 NEW BEST:: SOT 77380 SOS 51484 HAS SOPS 51484 HAS SOUS 46376 HAS SOUPS 46376 WITH SCORE 46427.484
AT ITER 302 NEW BEST:: SOT 77240 SOS 51565 HAS SOPS 51565 HAS SOUS 46178 HAS SOUPS 46178 WITH SCORE 46229.565
AT ITER 312 NEW BEST:: SOT 77201 SOS 51481 HAS SOPS 51481 HAS SOUS 46094 HAS SOUPS 46094 WITH SCORE 46145.481
AT ITER 314 NEW BEST:: SOT 77157 SOS 51437 HAS SOPS 51437 HAS SOUS 46050 HAS SOUPS 46050 WITH SCORE 46101.437
AT ITER 315 NEW BEST:: SOT 77271 SOS 51533 HAS SOPS 51533 HAS SOUS 46045 HAS SOUPS 46045 WITH SCORE 46096.533
AT ITER 323 NEW BEST:: SOT 77219 SOS 51429 HAS SOPS 51429 HAS SOUS 45941 HAS SOUPS 45941 WITH SCORE 45992.429
AT ITER 327 NEW BEST:: SOT 77243 SOS 51144 HAS SOPS 51144 HAS SOUS 45780 HAS SOUPS 45780 WITH SCORE 45831.144
AT ITER 329 NEW BEST:: SOT 77256 SOS 51142 HAS SOPS 51142 HAS SOUS 45778 HAS SOUPS 45778 WITH SCORE 45829.142
AT ITER 330 NEW BEST:: SOT 77242 SOS 51128 HAS SOPS 51128 HAS SOUS 45761 HAS SOUPS 45761 WITH SCORE 45812.128
AT ITER 338 NEW BEST:: SOT 77212 SOS 51052 HAS SOPS 51052 HAS SOUS 45701 HAS SOUPS 45701 WITH SCORE 45752.052
AT ITER 339 NEW BEST:: SOT 77194 SOS 51024 HAS SOPS 51024 HAS SOUS 45673 HAS SOUPS 45673 WITH SCORE 45724.024
AT ITER 340 NEW BEST:: SOT 76999 SOS 50781 HAS SOPS 50781 HAS SOUS 45332 HAS SOUPS 45332 WITH SCORE 45382.781
AT ITER 342 NEW BEST:: SOT 76895 SOS 50406 HAS SOPS 50406 HAS SOUS 45140 HAS SOUPS 45140 WITH SCORE 45190.406
AT ITER 343 NEW BEST:: SOT 76887 SOS 50326 HAS SOPS 50326 HAS SOUS 45060 HAS SOUPS 45060 WITH SCORE 45110.326
AT ITER 348 NEW BEST:: SOT 76806 SOS 50248 HAS SOPS 50248 HAS SOUS 45005 HAS SOUPS 45005 WITH SCORE 45055.248
AT ITER 349 NEW BEST:: SOT 76772 SOS 50081 HAS SOPS 50081 HAS SOUS 44935 HAS SOUPS 44935 WITH SCORE 44985.081
AT ITER 353 NEW BEST:: SOT 76716 SOS 50021 HAS SOPS 50021 HAS SOUS 44878 HAS SOUPS 44878 WITH SCORE 44928.021
AT ITER 354 NEW BEST:: SOT 76716 SOS 49899 HAS SOPS 49899 HAS SOUS 44591 HAS SOUPS 44591 WITH SCORE 44640.899
AT ITER 356 NEW BEST:: SOT 76716 SOS 49899 HAS SOPS 49899 HAS SOUS 44567 HAS SOUPS 44567 WITH SCORE 44616.899
AT ITER 358 NEW BEST:: SOT 76606 SOS 49734 HAS SOPS 49734 HAS SOUS 44480 HAS SOUPS 44480 WITH SCORE 44529.734
AT ITER 363 NEW BEST:: SOT 76649 SOS 49722 HAS SOPS 49722 HAS SOUS 44468 HAS SOUPS 44468 WITH SCORE 44517.722
AT ITER 370 NEW BEST:: SOT 76528 SOS 49365 HAS SOPS 49365 HAS SOUS 44229 HAS SOUPS 44229 WITH SCORE 44278.365
AT ITER 372 NEW BEST:: SOT 76582 SOS 49419 HAS SOPS 49419 HAS SOUS 44194 HAS SOUPS 44194 WITH SCORE 44243.419
AT ITER 373 NEW BEST:: SOT 76582 SOS 49247 HAS SOPS 49247 HAS SOUS 44120 HAS SOUPS 44120 WITH SCORE 44169.247
AT ITER 374 NEW BEST:: SOT 76573 SOS 49235 HAS SOPS 49235 HAS SOUS 44108 HAS SOUPS 44108 WITH SCORE 44157.235
AT ITER 377 NEW BEST:: SOT 76401 SOS 48913 HAS SOPS 48913 HAS SOUS 43788 HAS SOUPS 43788 WITH SCORE 43836.913
AT ITER 378 NEW BEST:: SOT 76350 SOS 48640 HAS SOPS 48640 HAS SOUS 43622 HAS SOUPS 43622 WITH SCORE 43670.64
AT ITER 381 NEW BEST:: SOT 76319 SOS 48545 HAS SOPS 48545 HAS SOUS 43530 HAS SOUPS 43530 WITH SCORE 43578.545
AT ITER 387 NEW BEST:: SOT 76280 SOS 48472 HAS SOPS 48472 HAS SOUS 43457 HAS SOUPS 43457 WITH SCORE 43505.472
AT ITER 391 NEW BEST:: SOT 76280 SOS 48566 HAS SOPS 48566 HAS SOUS 43454 HAS SOUPS 43454 WITH SCORE 43502.566
AT ITER 393 NEW BEST:: SOT 76226 SOS 48512 HAS SOPS 48512 HAS SOUS 43400 HAS SOUPS 43400 WITH SCORE 43448.512
AT ITER 395 NEW BEST:: SOT 75917 SOS 48245 HAS SOPS 48245 HAS SOUS 43193 HAS SOUPS 43193 WITH SCORE 43241.245
AT ITER 396 NEW BEST:: SOT 75889 SOS 48217 HAS SOPS 48217 HAS SOUS 43165 HAS SOUPS 43165 WITH SCORE 43213.217
AT ITER 398 NEW BEST:: SOT 75901 SOS 48182 HAS SOPS 48182 HAS SOUS 43142 HAS SOUPS 43142 WITH SCORE 43190.182
AT ITER 401 NEW BEST:: SOT 75901 SOS 48180 HAS SOPS 48180 HAS SOUS 43140 HAS SOUPS 43140 WITH SCORE 43188.18
AT ITER 404 NEW BEST:: SOT 75875 SOS 48154 HAS SOPS 48154 HAS SOUS 43114 HAS SOUPS 43114 WITH SCORE 43162.154
AT ITER 410 NEW BEST:: SOT 75827 SOS 48020 HAS SOPS 48020 HAS SOUS 42980 HAS SOUPS 42980 WITH SCORE 43028.02
AT ITER 413 NEW BEST:: SOT 75838 SOS 48005 HAS SOPS 48005 HAS SOUS 42939 HAS SOUPS 42939 WITH SCORE 42987.005
AT ITER 418 NEW BEST:: SOT 75795 SOS 47780 HAS SOPS 47780 HAS SOUS 42853 HAS SOUPS 42853 WITH SCORE 42900.78
AT ITER 419 NEW BEST:: SOT 75795 SOS 47742 HAS SOPS 47742 HAS SOUS 42814 HAS SOUPS 42814 WITH SCORE 42861.742
AT ITER 424 NEW BEST:: SOT 75567 SOS 47377 HAS SOPS 47377 HAS SOUS 42449 HAS SOUPS 42449 WITH SCORE 42496.377
AT ITER 426 NEW BEST:: SOT 75496 SOS 47509 HAS SOPS 47509 HAS SOUS 42434 HAS SOUPS 42434 WITH SCORE 42481.509
AT ITER 434 NEW BEST:: SOT 75367 SOS 47392 HAS SOPS 47392 HAS SOUS 42280 HAS SOUPS 42280 WITH SCORE 42327.392
AT ITER 436 NEW BEST:: SOT 75297 SOS 47322 HAS SOPS 47322 HAS SOUS 42210 HAS SOUPS 42210 WITH SCORE 42257.322
AT ITER 446 NEW BEST:: SOT 75237 SOS 47219 HAS SOPS 47219 HAS SOUS 42107 HAS SOUPS 42107 WITH SCORE 42154.219
AT ITER 455 NEW BEST:: SOT 75193 SOS 47089 HAS SOPS 47089 HAS SOUS 41918 HAS SOUPS 41918 WITH SCORE 41965.089
AT ITER 456 NEW BEST:: SOT 75193 SOS 46949 HAS SOPS 46949 HAS SOUS 41918 HAS SOUPS 41918 WITH SCORE 41964.949
AT ITER 462 NEW BEST:: SOT 75061 SOS 46659 HAS SOPS 46659 HAS SOUS 41731 HAS SOUPS 41731 WITH SCORE 41777.659
AT ITER 475 NEW BEST:: SOT 75061 SOS 46629 HAS SOPS 46629 HAS SOUS 41718 HAS SOUPS 41718 WITH SCORE 41764.629
AT ITER 479 NEW BEST:: SOT 74998 SOS 46438 HAS SOPS 46438 HAS SOUS 41647 HAS SOUPS 41647 WITH SCORE 41693.438
AT ITER 482 NEW BEST:: SOT 74998 SOS 46430 HAS SOPS 46430 HAS SOUS 41639 HAS SOUPS 41639 WITH SCORE 41685.43
AT ITER 487 NEW BEST:: SOT 75123 SOS 46373 HAS SOPS 46373 HAS SOUS 41615 HAS SOUPS 41615 WITH SCORE 41661.373
AT ITER 488 NEW BEST:: SOT 75109 SOS 46250 HAS SOPS 46250 HAS SOUS 41512 HAS SOUPS 41512 WITH SCORE 41558.25
AT ITER 502 NEW BEST:: SOT 75009 SOS 46150 HAS SOPS 46150 HAS SOUS 41412 HAS SOUPS 41412 WITH SCORE 41458.15
AT ITER 507 NEW BEST:: SOT 74983 SOS 45940 HAS SOPS 45940 HAS SOUS 41202 HAS SOUPS 41202 WITH SCORE 41247.94
AT ITER 508 NEW BEST:: SOT 74906 SOS 45863 HAS SOPS 45863 HAS SOUS 41125 HAS SOUPS 41125 WITH SCORE 41170.863
AT ITER 509 NEW BEST:: SOT 74748 SOS 45474 HAS SOPS 45474 HAS SOUS 40811 HAS SOUPS 40811 WITH SCORE 40856.474
AT ITER 513 NEW BEST:: SOT 74553 SOS 45171 HAS SOPS 45171 HAS SOUS 40684 HAS SOUPS 40684 WITH SCORE 40729.171
AT ITER 514 NEW BEST:: SOT 74423 SOS 45052 HAS SOPS 45052 HAS SOUS 40486 HAS SOUPS 40486 WITH SCORE 40531.052
AT ITER 516 NEW BEST:: SOT 74416 SOS 45045 HAS SOPS 45045 HAS SOUS 40479 HAS SOUPS 40479 WITH SCORE 40524.045
AT ITER 518 NEW BEST:: SOT 74210 SOS 44854 HAS SOPS 44854 HAS SOUS 40303 HAS SOUPS 40303 WITH SCORE 40347.854
AT ITER 519 NEW BEST:: SOT 74210 SOS 44822 HAS SOPS 44822 HAS SOUS 40295 HAS SOUPS 40295 WITH SCORE 40339.822
AT ITER 520 NEW BEST:: SOT 74210 SOS 44718 HAS SOPS 44718 HAS SOUS 40125 HAS SOUPS 40125 WITH SCORE 40169.718
AT ITER 521 NEW BEST:: SOT 74203 SOS 44701 HAS SOPS 44701 HAS SOUS 40108 HAS SOUPS 40108 WITH SCORE 40152.701
AT ITER 525 NEW BEST:: SOT 74203 SOS 44644 HAS SOPS 44644 HAS SOUS 40051 HAS SOUPS 40051 WITH SCORE 40095.644
AT ITER 527 NEW BEST:: SOT 74203 SOS 44644 HAS SOPS 44644 HAS SOUS 39962 HAS SOUPS 39962 WITH SCORE 40006.644
AT ITER 534 NEW BEST:: SOT 74137 SOS 44562 HAS SOPS 44562 HAS SOUS 39873 HAS SOUPS 39873 WITH SCORE 39917.562
AT ITER 538 NEW BEST:: SOT 74175 SOS 44512 HAS SOPS 44512 HAS SOUS 39865 HAS SOUPS 39865 WITH SCORE 39909.512
AT ITER 542 NEW BEST:: SOT 74159 SOS 44444 HAS SOPS 44444 HAS SOUS 39797 HAS SOUPS 39797 WITH SCORE 39841.444
AT ITER 544 NEW BEST:: SOT 74096 SOS 44184 HAS SOPS 44184 HAS SOUS 39591 HAS SOUPS 39591 WITH SCORE 39635.184
AT ITER 547 NEW BEST:: SOT 74086 SOS 44174 HAS SOPS 44174 HAS SOUS 39581 HAS SOUPS 39581 WITH SCORE 39625.174
AT ITER 552 NEW BEST:: SOT 74086 SOS 44167 HAS SOPS 44167 HAS SOUS 39581 HAS SOUPS 39581 WITH SCORE 39625.167
AT ITER 554 NEW BEST:: SOT 74112 SOS 43786 HAS SOPS 43786 HAS SOUS 39426 HAS SOUPS 39426 WITH SCORE 39469.786
AT ITER 555 NEW BEST:: SOT 74112 SOS 43698 HAS SOPS 43698 HAS SOUS 39338 HAS SOUPS 39338 WITH SCORE 39381.698
AT ITER 561 NEW BEST:: SOT 74103 SOS 43682 HAS SOPS 43682 HAS SOUS 39322 HAS SOUPS 39322 WITH SCORE 39365.682
AT ITER 565 NEW BEST:: SOT 74103 SOS 43550 HAS SOPS 43550 HAS SOUS 39190 HAS SOUPS 39190 WITH SCORE 39233.55
AT ITER 566 NEW BEST:: SOT 74052 SOS 43428 HAS SOPS 43428 HAS SOUS 39068 HAS SOUPS 39068 WITH SCORE 39111.428
AT ITER 567 NEW BEST:: SOT 73994 SOS 43373 HAS SOPS 43373 HAS SOUS 39013 HAS SOUPS 39013 WITH SCORE 39056.373
AT ITER 569 NEW BEST:: SOT 74064 SOS 43422 HAS SOPS 43422 HAS SOUS 38999 HAS SOUPS 38999 WITH SCORE 39042.422
AT ITER 575 NEW BEST:: SOT 74023 SOS 43434 HAS SOPS 43434 HAS SOUS 38878 HAS SOUPS 38878 WITH SCORE 38921.434
AT ITER 583 NEW BEST:: SOT 74023 SOS 43427 HAS SOPS 43427 HAS SOUS 38864 HAS SOUPS 38864 WITH SCORE 38907.427
AT ITER 590 NEW BEST:: SOT 73857 SOS 43277 HAS SOPS 43277 HAS SOUS 38714 HAS SOUPS 38714 WITH SCORE 38757.277
AT ITER 594 NEW BEST:: SOT 73837 SOS 43196 HAS SOPS 43196 HAS SOUS 38630 HAS SOUPS 38630 WITH SCORE 38673.196
AT ITER 606 NEW BEST:: SOT 73832 SOS 43107 HAS SOPS 43107 HAS SOUS 38612 HAS SOUPS 38612 WITH SCORE 38655.107
AT ITER 610 NEW BEST:: SOT 73791 SOS 42941 HAS SOPS 42941 HAS SOUS 38582 HAS SOUPS 38582 WITH SCORE 38624.941
AT ITER 621 NEW BEST:: SOT 73791 SOS 42906 HAS SOPS 42906 HAS SOUS 38547 HAS SOUPS 38547 WITH SCORE 38589.906
AT ITER 625 NEW BEST:: SOT 73706 SOS 42768 HAS SOPS 42768 HAS SOUS 38409 HAS SOUPS 38409 WITH SCORE 38451.768
AT ITER 631 NEW BEST:: SOT 73706 SOS 42647 HAS SOPS 42647 HAS SOUS 38409 HAS SOUPS 38409 WITH SCORE 38451.647
AT ITER 632 NEW BEST:: SOT 73648 SOS 42589 HAS SOPS 42589 HAS SOUS 38351 HAS SOUPS 38351 WITH SCORE 38393.589
AT ITER 633 NEW BEST:: SOT 73563 SOS 42328 HAS SOPS 42328 HAS SOUS 38222 HAS SOUPS 38222 WITH SCORE 38264.328
AT ITER 634 NEW BEST:: SOT 73536 SOS 42320 HAS SOPS 42320 HAS SOUS 38186 HAS SOUPS 38186 WITH SCORE 38228.32
AT ITER 637 NEW BEST:: SOT 73536 SOS 42298 HAS SOPS 42298 HAS SOUS 38186 HAS SOUPS 38186 WITH SCORE 38228.298
AT ITER 640 NEW BEST:: SOT 73536 SOS 42297 HAS SOPS 42297 HAS SOUS 38185 HAS SOUPS 38185 WITH SCORE 38227.297
AT ITER 642 NEW BEST:: SOT 73504 SOS 42262 HAS SOPS 42262 HAS SOUS 38150 HAS SOUPS 38150 WITH SCORE 38192.262
AT ITER 655 NEW BEST:: SOT 73476 SOS 42234 HAS SOPS 42234 HAS SOUS 38122 HAS SOUPS 38122 WITH SCORE 38164.234
AT ITER 673 NEW BEST:: SOT 73468 SOS 42179 HAS SOPS 42179 HAS SOUS 38106 HAS SOUPS 38106 WITH SCORE 38148.179
AT ITER 674 NEW BEST:: SOT 73468 SOS 42155 HAS SOPS 42155 HAS SOUS 38098 HAS SOUPS 38098 WITH SCORE 38140.155
AT ITER 677 NEW BEST:: SOT 73468 SOS 42164 HAS SOPS 42164 HAS SOUS 38087 HAS SOUPS 38087 WITH SCORE 38129.164
AT ITER 680 NEW BEST:: SOT 73468 SOS 42080 HAS SOPS 42080 HAS SOUS 37944 HAS SOUPS 37944 WITH SCORE 37986.08
AT ITER 689 NEW BEST:: SOT 73432 SOS 42008 HAS SOPS 42008 HAS SOUS 37884 HAS SOUPS 37884 WITH SCORE 37926.008
AT ITER 694 NEW BEST:: SOT 73284 SOS 41719 HAS SOPS 41719 HAS SOUS 37622 HAS SOUPS 37622 WITH SCORE 37663.719
AT ITER 698 NEW BEST:: SOT 73274 SOS 41709 HAS SOPS 41709 HAS SOUS 37612 HAS SOUPS 37612 WITH SCORE 37653.709
AT ITER 699 NEW BEST:: SOT 73253 SOS 41688 HAS SOPS 41688 HAS SOUS 37591 HAS SOUPS 37591 WITH SCORE 37632.688
AT ITER 704 NEW BEST:: SOT 72751 SOS 40764 HAS SOPS 40764 HAS SOUS 36912 HAS SOUPS 36912 WITH SCORE 36952.764
AT ITER 706 NEW BEST:: SOT 72721 SOS 40734 HAS SOPS 40734 HAS SOUS 36910 HAS SOUPS 36910 WITH SCORE 36950.734
AT ITER 707 NEW BEST:: SOT 72657 SOS 40568 HAS SOPS 40568 HAS SOUS 36756 HAS SOUPS 36756 WITH SCORE 36796.568
AT ITER 710 NEW BEST:: SOT 72657 SOS 40556 HAS SOPS 40556 HAS SOUS 36750 HAS SOUPS 36750 WITH SCORE 36790.556
AT ITER 712 NEW BEST:: SOT 72664 SOS 40560 HAS SOPS 40560 HAS SOUS 36747 HAS SOUPS 36747 WITH SCORE 36787.56
AT ITER 721 NEW BEST:: SOT 72601 SOS 40497 HAS SOPS 40497 HAS SOUS 36684 HAS SOUPS 36684 WITH SCORE 36724.497
AT ITER 727 NEW BEST:: SOT 72441 SOS 40337 HAS SOPS 40337 HAS SOUS 36595 HAS SOUPS 36595 WITH SCORE 36635.337
AT ITER 729 NEW BEST:: SOT 72337 SOS 40233 HAS SOPS 40233 HAS SOUS 36491 HAS SOUPS 36491 WITH SCORE 36531.233
AT ITER 732 NEW BEST:: SOT 72306 SOS 40202 HAS SOPS 40202 HAS SOUS 36460 HAS SOUPS 36460 WITH SCORE 36500.202
AT ITER 733 NEW BEST:: SOT 72123 SOS 39914 HAS SOPS 39914 HAS SOUS 36168 HAS SOUPS 36168 WITH SCORE 36207.914
AT ITER 736 NEW BEST:: SOT 72001 SOS 39736 HAS SOPS 39736 HAS SOUS 35997 HAS SOUPS 35997 WITH SCORE 36036.736
AT ITER 739 NEW BEST:: SOT 72011 SOS 39654 HAS SOPS 39654 HAS SOUS 35972 HAS SOUPS 35972 WITH SCORE 36011.654
AT ITER 745 NEW BEST:: SOT 71875 SOS 39445 HAS SOPS 39445 HAS SOUS 35777 HAS SOUPS 35777 WITH SCORE 35816.445
AT ITER 753 NEW BEST:: SOT 71780 SOS 39351 HAS SOPS 39351 HAS SOUS 35682 HAS SOUPS 35682 WITH SCORE 35721.351
AT ITER 764 NEW BEST:: SOT 71717 SOS 39246 HAS SOPS 39246 HAS SOUS 35598 HAS SOUPS 35598 WITH SCORE 35637.246
AT ITER 767 NEW BEST:: SOT 71653 SOS 39078 HAS SOPS 39078 HAS SOUS 35469 HAS SOUPS 35469 WITH SCORE 35508.078
AT ITER 772 NEW BEST:: SOT 71653 SOS 39078 HAS SOPS 39078 HAS SOUS 35427 HAS SOUPS 35427 WITH SCORE 35466.078
AT ITER 794 NEW BEST:: SOT 71634 SOS 39059 HAS SOPS 39059 HAS SOUS 35408 HAS SOUPS 35408 WITH SCORE 35447.059
AT ITER 799 NEW BEST:: SOT 71519 SOS 38944 HAS SOPS 38944 HAS SOUS 35293 HAS SOUPS 35293 WITH SCORE 35331.944
AT ITER 801 NEW BEST:: SOT 71509 SOS 38929 HAS SOPS 38929 HAS SOUS 35278 HAS SOUPS 35278 WITH SCORE 35316.929
AT ITER 805 NEW BEST:: SOT 71581 SOS 38926 HAS SOPS 38926 HAS SOUS 35246 HAS SOUPS 35246 WITH SCORE 35284.926
AT ITER 807 NEW BEST:: SOT 71596 SOS 38941 HAS SOPS 38941 HAS SOUS 35198 HAS SOUPS 35198 WITH SCORE 35236.941
AT ITER 810 NEW BEST:: SOT 71561 SOS 38906 HAS SOPS 38906 HAS SOUS 35163 HAS SOUPS 35163 WITH SCORE 35201.906
AT ITER 814 NEW BEST:: SOT 71561 SOS 38852 HAS SOPS 38852 HAS SOUS 35109 HAS SOUPS 35109 WITH SCORE 35147.852
AT ITER 818 NEW BEST:: SOT 71471 SOS 38764 HAS SOPS 38764 HAS SOUS 34924 HAS SOUPS 34924 WITH SCORE 34962.764
AT ITER 821 NEW BEST:: SOT 71357 SOS 38539 HAS SOPS 38539 HAS SOUS 34699 HAS SOUPS 34699 WITH SCORE 34737.539
AT ITER 825 NEW BEST:: SOT 71357 SOS 38521 HAS SOPS 38521 HAS SOUS 34681 HAS SOUPS 34681 WITH SCORE 34719.521
AT ITER 826 NEW BEST:: SOT 71381 SOS 38491 HAS SOPS 38491 HAS SOUS 34651 HAS SOUPS 34651 WITH SCORE 34689.491
AT ITER 830 NEW BEST:: SOT 71291 SOS 38326 HAS SOPS 38326 HAS SOUS 34486 HAS SOUPS 34486 WITH SCORE 34524.326
AT ITER 836 NEW BEST:: SOT 71280 SOS 38217 HAS SOPS 38217 HAS SOUS 34471 HAS SOUPS 34471 WITH SCORE 34509.217
AT ITER 862 NEW BEST:: SOT 71224 SOS 38161 HAS SOPS 38161 HAS SOUS 34415 HAS SOUPS 34415 WITH SCORE 34453.161
AT ITER 867 NEW BEST:: SOT 71224 SOS 38121 HAS SOPS 38121 HAS SOUS 34372 HAS SOUPS 34372 WITH SCORE 34410.121
AT ITER 871 NEW BEST:: SOT 71222 SOS 38109 HAS SOPS 38109 HAS SOUS 34350 HAS SOUPS 34350 WITH SCORE 34388.109
AT ITER 872 NEW BEST:: SOT 71198 SOS 38113 HAS SOPS 38113 HAS SOUS 34326 HAS SOUPS 34326 WITH SCORE 34364.113
AT ITER 873 NEW BEST:: SOT 71188 SOS 38079 HAS SOPS 38079 HAS SOUS 34315 HAS SOUPS 34315 WITH SCORE 34353.079
AT ITER 885 NEW BEST:: SOT 71110 SOS 37962 HAS SOPS 37962 HAS SOUS 34138 HAS SOUPS 34138 WITH SCORE 34175.962
AT ITER 887 NEW BEST:: SOT 71072 SOS 37907 HAS SOPS 37907 HAS SOUS 34062 HAS SOUPS 34062 WITH SCORE 34099.907
AT ITER 888 NEW BEST:: SOT 71052 SOS 37887 HAS SOPS 37887 HAS SOUS 34042 HAS SOUPS 34042 WITH SCORE 34079.887
AT ITER 902 NEW BEST:: SOT 71052 SOS 37806 HAS SOPS 37806 HAS SOUS 33961 HAS SOUPS 33961 WITH SCORE 33998.806
AT ITER 903 NEW BEST:: SOT 71054 SOS 37805 HAS SOPS 37805 HAS SOUS 33960 HAS SOUPS 33960 WITH SCORE 33997.805
AT ITER 907 NEW BEST:: SOT 70852 SOS 37458 HAS SOPS 37458 HAS SOUS 33678 HAS SOUPS 33678 WITH SCORE 33715.458
AT ITER 932 NEW BEST:: SOT 70714 SOS 37320 HAS SOPS 37320 HAS SOUS 33539 HAS SOUPS 33539 WITH SCORE 33576.32
AT ITER 933 NEW BEST:: SOT 70694 SOS 36969 HAS SOPS 36969 HAS SOUS 33384 HAS SOUPS 33384 WITH SCORE 33420.969
AT ITER 940 NEW BEST:: SOT 70636 SOS 36861 HAS SOPS 36861 HAS SOUS 33254 HAS SOUPS 33254 WITH SCORE 33290.861
AT ITER 946 NEW BEST:: SOT 70578 SOS 36803 HAS SOPS 36803 HAS SOUS 33196 HAS SOUPS 33196 WITH SCORE 33232.803
AT ITER 949 NEW BEST:: SOT 70580 SOS 36786 HAS SOPS 36786 HAS SOUS 33180 HAS SOUPS 33180 WITH SCORE 33216.786
AT ITER 955 NEW BEST:: SOT 70522 SOS 36728 HAS SOPS 36728 HAS SOUS 33122 HAS SOUPS 33122 WITH SCORE 33158.728
AT ITER 958 NEW BEST:: SOT 70522 SOS 36720 HAS SOPS 36720 HAS SOUS 33114 HAS SOUPS 33114 WITH SCORE 33150.72
AT ITER 967 NEW BEST:: SOT 70522 SOS 36714 HAS SOPS 36714 HAS SOUS 33111 HAS SOUPS 33111 WITH SCORE 33147.714
AT ITER 968 NEW BEST:: SOT 70498 SOS 36642 HAS SOPS 36642 HAS SOUS 33063 HAS SOUPS 33063 WITH SCORE 33099.642
AT ITER 976 NEW BEST:: SOT 70496 SOS 36627 HAS SOPS 36627 HAS SOUS 32989 HAS SOUPS 32989 WITH SCORE 33025.627
AT ITER 981 NEW BEST:: SOT 70496 SOS 36627 HAS SOPS 36627 HAS SOUS 32964 HAS SOUPS 32964 WITH SCORE 33000.627
AT ITER 991 NEW BEST:: SOT 70486 SOS 36527 HAS SOPS 36527 HAS SOUS 32872 HAS SOUPS 32872 WITH SCORE 32908.527
AT ITER 997 NEW BEST:: SOT 70474 SOS 36515 HAS SOPS 36515 HAS SOUS 32868 HAS SOUPS 32868 WITH SCORE 32904.515
AT ITER 1006 NEW BEST:: SOT 70294 SOS 36221 HAS SOPS 36221 HAS SOUS 32574 HAS SOUPS 32574 WITH SCORE 32610.221
AT ITER 1016 NEW BEST:: SOT 70294 SOS 36221 HAS SOPS 36221 HAS SOUS 32568 HAS SOUPS 32568 WITH SCORE 32604.221
AT ITER 1022 NEW BEST:: SOT 70282 SOS 36209 HAS SOPS 36209 HAS SOUS 32556 HAS SOUPS 32556 WITH SCORE 32592.209
AT ITER 1023 NEW BEST:: SOT 70275 SOS 36202 HAS SOPS 36202 HAS SOUS 32549 HAS SOUPS 32549 WITH SCORE 32585.202
AT ITER 1027 NEW BEST:: SOT 70213 SOS 36096 HAS SOPS 36096 HAS SOUS 32443 HAS SOUPS 32443 WITH SCORE 32479.096
AT ITER 1030 NEW BEST:: SOT 70171 SOS 36016 HAS SOPS 36016 HAS SOUS 32375 HAS SOUPS 32375 WITH SCORE 32411.016
AT ITER 1032 NEW BEST:: SOT 70155 SOS 35992 HAS SOPS 35992 HAS SOUS 32351 HAS SOUPS 32351 WITH SCORE 32386.992
AT ITER 1045 NEW BEST:: SOT 70155 SOS 35984 HAS SOPS 35984 HAS SOUS 32343 HAS SOUPS 32343 WITH SCORE 32378.984
AT ITER 1053 NEW BEST:: SOT 70147 SOS 35976 HAS SOPS 35976 HAS SOUS 32335 HAS SOUPS 32335 WITH SCORE 32370.976
AT ITER 1063 NEW BEST:: SOT 70075 SOS 35848 HAS SOPS 35848 HAS SOUS 32242 HAS SOUPS 32242 WITH SCORE 32277.848
AT ITER 1065 NEW BEST:: SOT 69975 SOS 35709 HAS SOPS 35709 HAS SOUS 32104 HAS SOUPS 32104 WITH SCORE 32139.709
AT ITER 1070 NEW BEST:: SOT 69968 SOS 35695 HAS SOPS 35695 HAS SOUS 32097 HAS SOUPS 32097 WITH SCORE 32132.695
AT ITER 1078 NEW BEST:: SOT 69968 SOS 35893 HAS SOPS 35893 HAS SOUS 32091 HAS SOUPS 32091 WITH SCORE 32126.893
AT ITER 1091 NEW BEST:: SOT 69933 SOS 35828 HAS SOPS 35828 HAS SOUS 32071 HAS SOUPS 32071 WITH SCORE 32106.828
AT ITER 1097 NEW BEST:: SOT 69932 SOS 35827 HAS SOPS 35827 HAS SOUS 32070 HAS SOUPS 32070 WITH SCORE 32105.827
AT ITER 1100 NEW BEST:: SOT 69917 SOS 35807 HAS SOPS 35807 HAS SOUS 32051 HAS SOUPS 32051 WITH SCORE 32086.807
AT ITER 1107 NEW BEST:: SOT 69682 SOS 35353 HAS SOPS 35353 HAS SOUS 31721 HAS SOUPS 31721 WITH SCORE 31756.353
AT ITER 1110 NEW BEST:: SOT 69679 SOS 35305 HAS SOPS 35305 HAS SOUS 31687 HAS SOUPS 31687 WITH SCORE 31722.305
AT ITER 1112 NEW BEST:: SOT 69686 SOS 35312 HAS SOPS 35312 HAS SOUS 31668 HAS SOUPS 31668 WITH SCORE 31703.312
AT ITER 1119 NEW BEST:: SOT 69686 SOS 35306 HAS SOPS 35306 HAS SOUS 31662 HAS SOUPS 31662 WITH SCORE 31697.306
AT ITER 1121 NEW BEST:: SOT 69698 SOS 35270 HAS SOPS 35270 HAS SOUS 31656 HAS SOUPS 31656 WITH SCORE 31691.27
AT ITER 1123 NEW BEST:: SOT 69684 SOS 35256 HAS SOPS 35256 HAS SOUS 31640 HAS SOUPS 31640 WITH SCORE 31675.256
AT ITER 1132 NEW BEST:: SOT 69596 SOS 35195 HAS SOPS 35195 HAS SOUS 31571 HAS SOUPS 31571 WITH SCORE 31606.195
AT ITER 1138 NEW BEST:: SOT 69596 SOS 35144 HAS SOPS 35144 HAS SOUS 31520 HAS SOUPS 31520 WITH SCORE 31555.144
AT ITER 1141 NEW BEST:: SOT 69572 SOS 35083 HAS SOPS 35083 HAS SOUS 31459 HAS SOUPS 31459 WITH SCORE 31494.083
AT ITER 1148 NEW BEST:: SOT 69519 SOS 35030 HAS SOPS 35030 HAS SOUS 31406 HAS SOUPS 31406 WITH SCORE 31441.03
AT ITER 1157 NEW BEST:: SOT 69456 SOS 34895 HAS SOPS 34895 HAS SOUS 31334 HAS SOUPS 31334 WITH SCORE 31368.895
AT ITER 1163 NEW BEST:: SOT 69420 SOS 34815 HAS SOPS 34815 HAS SOUS 31234 HAS SOUPS 31234 WITH SCORE 31268.815
AT ITER 1164 NEW BEST:: SOT 69404 SOS 34799 HAS SOPS 34799 HAS SOUS 31218 HAS SOUPS 31218 WITH SCORE 31252.799
AT ITER 1167 NEW BEST:: SOT 69252 SOS 34587 HAS SOPS 34587 HAS SOUS 30976 HAS SOUPS 30976 WITH SCORE 31010.587
AT ITER 1182 NEW BEST:: SOT 69212 SOS 34593 HAS SOPS 34593 HAS SOUS 30936 HAS SOUPS 30936 WITH SCORE 30970.593
AT ITER 1189 NEW BEST:: SOT 69221 SOS 34541 HAS SOPS 34541 HAS SOUS 30928 HAS SOUPS 30928 WITH SCORE 30962.541
AT ITER 1201 NEW BEST:: SOT 69169 SOS 34489 HAS SOPS 34489 HAS SOUS 30876 HAS SOUPS 30876 WITH SCORE 30910.489
AT ITER 1203 NEW BEST:: SOT 69188 SOS 34484 HAS SOPS 34484 HAS SOUS 30871 HAS SOUPS 30871 WITH SCORE 30905.484
AT ITER 1204 NEW BEST:: SOT 69239 SOS 34535 HAS SOPS 34535 HAS SOUS 30855 HAS SOUPS 30855 WITH SCORE 30889.535
AT ITER 1215 NEW BEST:: SOT 69227 SOS 34523 HAS SOPS 34523 HAS SOUS 30843 HAS SOUPS 30843 WITH SCORE 30877.523
AT ITER 1220 NEW BEST:: SOT 69220 SOS 34495 HAS SOPS 34495 HAS SOUS 30829 HAS SOUPS 30829 WITH SCORE 30863.495
AT ITER 1226 NEW BEST:: SOT 69220 SOS 34504 HAS SOPS 34504 HAS SOUS 30828 HAS SOUPS 30828 WITH SCORE 30862.504
AT ITER 1239 NEW BEST:: SOT 69180 SOS 34444 HAS SOPS 34444 HAS SOUS 30770 HAS SOUPS 30770 WITH SCORE 30804.444
AT ITER 1254 NEW BEST:: SOT 69105 SOS 34369 HAS SOPS 34369 HAS SOUS 30695 HAS SOUPS 30695 WITH SCORE 30729.369
AT ITER 1270 NEW BEST:: SOT 69104 SOS 34342 HAS SOPS 34342 HAS SOUS 30667 HAS SOUPS 30667 WITH SCORE 30701.342
AT ITER 1272 NEW BEST:: SOT 69082 SOS 34326 HAS SOPS 34326 HAS SOUS 30649 HAS SOUPS 30649 WITH SCORE 30683.326
AT ITER 1277 NEW BEST:: SOT 69082 SOS 34312 HAS SOPS 34312 HAS SOUS 30642 HAS SOUPS 30642 WITH SCORE 30676.312
AT ITER 1278 NEW BEST:: SOT 69070 SOS 34276 HAS SOPS 34276 HAS SOUS 30618 HAS SOUPS 30618 WITH SCORE 30652.276
AT ITER 1296 NEW BEST:: SOT 69070 SOS 34276 HAS SOPS 34276 HAS SOUS 30600 HAS SOUPS 30600 WITH SCORE 30634.276
AT ITER 1336 NEW BEST:: SOT 69062 SOS 34270 HAS SOPS 34270 HAS SOUS 30594 HAS SOUPS 30594 WITH SCORE 30628.27
AT ITER 1338 NEW BEST:: SOT 68961 SOS 34099 HAS SOPS 34099 HAS SOUS 30418 HAS SOUPS 30418 WITH SCORE 30452.099
AT ITER 1351 NEW BEST:: SOT 68924 SOS 34063 HAS SOPS 34063 HAS SOUS 30382 HAS SOUPS 30382 WITH SCORE 30416.063
AT ITER 1355 NEW BEST:: SOT 68921 SOS 34060 HAS SOPS 34060 HAS SOUS 30379 HAS SOUPS 30379 WITH SCORE 30413.06
AT ITER 1358 NEW BEST:: SOT 68915 SOS 34054 HAS SOPS 34054 HAS SOUS 30373 HAS SOUPS 30373 WITH SCORE 30407.054
AT ITER 1377 NEW BEST:: SOT 68892 SOS 33985 HAS SOPS 33985 HAS SOUS 30327 HAS SOUPS 30327 WITH SCORE 30360.985
AT ITER 1384 NEW BEST:: SOT 68876 SOS 33954 HAS SOPS 33954 HAS SOUS 30291 HAS SOUPS 30291 WITH SCORE 30324.954
AT ITER 1390 NEW BEST:: SOT 68671 SOS 33913 HAS SOPS 33913 HAS SOUS 30203 HAS SOUPS 30203 WITH SCORE 30236.913
AT ITER 1394 NEW BEST:: SOT 68664 SOS 33896 HAS SOPS 33896 HAS SOUS 30193 HAS SOUPS 30193 WITH SCORE 30226.896
AT ITER 1404 NEW BEST:: SOT 68664 SOS 33886 HAS SOPS 33886 HAS SOUS 30183 HAS SOUPS 30183 WITH SCORE 30216.886
AT ITER 1422 NEW BEST:: SOT 68656 SOS 33878 HAS SOPS 33878 HAS SOUS 30175 HAS SOUPS 30175 WITH SCORE 30208.878
AT ITER 1439 NEW BEST:: SOT 68629 SOS 33831 HAS SOPS 33831 HAS SOUS 30148 HAS SOUPS 30148 WITH SCORE 30181.831
AT ITER 1442 NEW BEST:: SOT 68591 SOS 33739 HAS SOPS 33739 HAS SOUS 30056 HAS SOUPS 30056 WITH SCORE 30089.739
AT ITER 1445 NEW BEST:: SOT 68591 SOS 33708 HAS SOPS 33708 HAS SOUS 30025 HAS SOUPS 30025 WITH SCORE 30058.708
AT ITER 1446 NEW BEST:: SOT 68507 SOS 33532 HAS SOPS 33532 HAS SOUS 30018 HAS SOUPS 30018 WITH SCORE 30051.532
AT ITER 1459 NEW BEST:: SOT 68469 SOS 33494 HAS SOPS 33494 HAS SOUS 29980 HAS SOUPS 29980 WITH SCORE 30013.494
AT ITER 1463 NEW BEST:: SOT 68467 SOS 33492 HAS SOPS 33492 HAS SOUS 29977 HAS SOUPS 29977 WITH SCORE 30010.492
AT ITER 1471 NEW BEST:: SOT 68472 SOS 33476 HAS SOPS 33476 HAS SOUS 29961 HAS SOUPS 29961 WITH SCORE 29994.476
AT ITER 1474 NEW BEST:: SOT 68439 SOS 33434 HAS SOPS 33434 HAS SOUS 29904 HAS SOUPS 29904 WITH SCORE 29937.434
AT ITER 1487 NEW BEST:: SOT 68371 SOS 33343 HAS SOPS 33343 HAS SOUS 29892 HAS SOUPS 29892 WITH SCORE 29925.343
AT ITER 1491 NEW BEST:: SOT 68363 SOS 33323 HAS SOPS 33323 HAS SOUS 29888 HAS SOUPS 29888 WITH SCORE 29921.323
AT ITER 1497 NEW BEST:: SOT 68321 SOS 33313 HAS SOPS 33313 HAS SOUS 29878 HAS SOUPS 29878 WITH SCORE 29911.313
AT ITER 1506 NEW BEST:: SOT 68294 SOS 33333 HAS SOPS 33333 HAS SOUS 29863 HAS SOUPS 29863 WITH SCORE 29896.333
AT ITER 1518 NEW BEST:: SOT 68240 SOS 33247 HAS SOPS 33247 HAS SOUS 29762 HAS SOUPS 29762 WITH SCORE 29795.247
AT ITER 1535 NEW BEST:: SOT 68240 SOS 33235 HAS SOPS 33235 HAS SOUS 29750 HAS SOUPS 29750 WITH SCORE 29783.235
AT ITER 1549 NEW BEST:: SOT 68232 SOS 33224 HAS SOPS 33224 HAS SOUS 29739 HAS SOUPS 29739 WITH SCORE 29772.224
AT ITER 1552 NEW BEST:: SOT 68200 SOS 33184 HAS SOPS 33184 HAS SOUS 29699 HAS SOUPS 29699 WITH SCORE 29732.184
AT ITER 1560 NEW BEST:: SOT 68190 SOS 33174 HAS SOPS 33174 HAS SOUS 29689 HAS SOUPS 29689 WITH SCORE 29722.174
AT ITER 1561 NEW BEST:: SOT 68190 SOS 33154 HAS SOPS 33154 HAS SOUS 29679 HAS SOUPS 29679 WITH SCORE 29712.154
AT ITER 1605 NEW BEST:: SOT 68190 SOS 33141 HAS SOPS 33141 HAS SOUS 29675 HAS SOUPS 29675 WITH SCORE 29708.141
AT ITER 1606 NEW BEST:: SOT 68117 SOS 33036 HAS SOPS 33036 HAS SOUS 29570 HAS SOUPS 29570 WITH SCORE 29603.036
AT ITER 1609 NEW BEST:: SOT 68083 SOS 32995 HAS SOPS 32995 HAS SOUS 29556 HAS SOUPS 29556 WITH SCORE 29588.995
AT ITER 1614 NEW BEST:: SOT 68067 SOS 32999 HAS SOPS 32999 HAS SOUS 29546 HAS SOUPS 29546 WITH SCORE 29578.999
AT ITER 1615 NEW BEST:: SOT 68044 SOS 32975 HAS SOPS 32975 HAS SOUS 29522 HAS SOUPS 29522 WITH SCORE 29554.975
AT ITER 1620 NEW BEST:: SOT 68041 SOS 32940 HAS SOPS 32940 HAS SOUS 29501 HAS SOUPS 29501 WITH SCORE 29533.94
AT ITER 1623 NEW BEST:: SOT 68041 SOS 32931 HAS SOPS 32931 HAS SOUS 29492 HAS SOUPS 29492 WITH SCORE 29524.931
AT ITER 1658 NEW BEST:: SOT 67978 SOS 32732 HAS SOPS 32732 HAS SOUS 29430 HAS SOUPS 29430 WITH SCORE 29462.732
AT ITER 1664 NEW BEST:: SOT 67908 SOS 32662 HAS SOPS 32662 HAS SOUS 29430 HAS SOUPS 29430 WITH SCORE 29462.662
AT ITER 1666 NEW BEST:: SOT 67908 SOS 32730 HAS SOPS 32730 HAS SOUS 29429 HAS SOUPS 29429 WITH SCORE 29461.73
AT ITER 1677 NEW BEST:: SOT 67876 SOS 32698 HAS SOPS 32698 HAS SOUS 29397 HAS SOUPS 29397 WITH SCORE 29429.698
AT ITER 1678 NEW BEST:: SOT 67876 SOS 32698 HAS SOPS 32698 HAS SOUS 29376 HAS SOUPS 29376 WITH SCORE 29408.698
AT ITER 1697 NEW BEST:: SOT 67837 SOS 32664 HAS SOPS 32664 HAS SOUS 29342 HAS SOUPS 29342 WITH SCORE 29374.664
AT ITER 1713 NEW BEST:: SOT 67827 SOS 32643 HAS SOPS 32643 HAS SOUS 29322 HAS SOUPS 29322 WITH SCORE 29354.643
AT ITER 1715 NEW BEST:: SOT 67895 SOS 32623 HAS SOPS 32623 HAS SOUS 29241 HAS SOUPS 29241 WITH SCORE 29273.623
AT ITER 1718 NEW BEST:: SOT 67886 SOS 32617 HAS SOPS 32617 HAS SOUS 29235 HAS SOUPS 29235 WITH SCORE 29267.617
AT ITER 1726 NEW BEST:: SOT 67877 SOS 32534 HAS SOPS 32534 HAS SOUS 29223 HAS SOUPS 29223 WITH SCORE 29255.534
AT ITER 1736 NEW BEST:: SOT 67883 SOS 32532 HAS SOPS 32532 HAS SOUS 29196 HAS SOUPS 29196 WITH SCORE 29228.532
AT ITER 1744 NEW BEST:: SOT 67883 SOS 32462 HAS SOPS 32462 HAS SOUS 29124 HAS SOUPS 29124 WITH SCORE 29156.462
AT ITER 1749 NEW BEST:: SOT 67883 SOS 32420 HAS SOPS 32420 HAS SOUS 29094 HAS SOUPS 29094 WITH SCORE 29126.42
AT ITER 1765 NEW BEST:: SOT 67924 SOS 32250 HAS SOPS 32250 HAS SOUS 29016 HAS SOUPS 29016 WITH SCORE 29048.25
AT ITER 1768 NEW BEST:: SOT 67924 SOS 32223 HAS SOPS 32223 HAS SOUS 28998 HAS SOUPS 28998 WITH SCORE 29030.223
AT ITER 1772 NEW BEST:: SOT 67924 SOS 32191 HAS SOPS 32191 HAS SOUS 28998 HAS SOUPS 28998 WITH SCORE 29030.191
AT ITER 1778 NEW BEST:: SOT 67924 SOS 32179 HAS SOPS 32179 HAS SOUS 28993 HAS SOUPS 28993 WITH SCORE 29025.179
AT ITER 1787 NEW BEST:: SOT 67924 SOS 32133 HAS SOPS 32133 HAS SOUS 28993 HAS SOUPS 28993 WITH SCORE 29025.133
AT ITER 1794 NEW BEST:: SOT 67915 SOS 32129 HAS SOPS 32129 HAS SOUS 28990 HAS SOUPS 28990 WITH SCORE 29022.129
AT ITER 1809 NEW BEST:: SOT 67886 SOS 32104 HAS SOPS 32104 HAS SOUS 28965 HAS SOUPS 28965 WITH SCORE 28997.104
AT ITER 1821 NEW BEST:: SOT 67886 SOS 32004 HAS SOPS 32004 HAS SOUS 28965 HAS SOUPS 28965 WITH SCORE 28997.004
AT ITER 1825 NEW BEST:: SOT 67771 SOS 31886 HAS SOPS 31886 HAS SOUS 28930 HAS SOUPS 28930 WITH SCORE 28961.886
AT ITER 1844 NEW BEST:: SOT 67771 SOS 31849 HAS SOPS 31849 HAS SOUS 28893 HAS SOUPS 28893 WITH SCORE 28924.849
AT ITER 1846 NEW BEST:: SOT 67737 SOS 31798 HAS SOPS 31798 HAS SOUS 28849 HAS SOUPS 28849 WITH SCORE 28880.798
AT ITER 1850 NEW BEST:: SOT 67731 SOS 31792 HAS SOPS 31792 HAS SOUS 28843 HAS SOUPS 28843 WITH SCORE 28874.792
AT ITER 1863 NEW BEST:: SOT 67727 SOS 31788 HAS SOPS 31788 HAS SOUS 28839 HAS SOUPS 28839 WITH SCORE 28870.788
AT ITER 1901 NEW BEST:: SOT 67721 SOS 31669 HAS SOPS 31669 HAS SOUS 28810 HAS SOUPS 28810 WITH SCORE 28841.669
AT ITER 1910 NEW BEST:: SOT 67721 SOS 31652 HAS SOPS 31652 HAS SOUS 28793 HAS SOUPS 28793 WITH SCORE 28824.652
AT ITER 1911 NEW BEST:: SOT 67653 SOS 31584 HAS SOPS 31584 HAS SOUS 28725 HAS SOUPS 28725 WITH SCORE 28756.584
AT ITER 1916 NEW BEST:: SOT 67600 SOS 31531 HAS SOPS 31531 HAS SOUS 28652 HAS SOUPS 28652 WITH SCORE 28683.531
AT ITER 1920 NEW BEST:: SOT 67580 SOS 31510 HAS SOPS 31510 HAS SOUS 28631 HAS SOUPS 28631 WITH SCORE 28662.51
AT ITER 1926 NEW BEST:: SOT 67591 SOS 31440 HAS SOPS 31440 HAS SOUS 28623 HAS SOUPS 28623 WITH SCORE 28654.44
AT ITER 1927 NEW BEST:: SOT 67585 SOS 31473 HAS SOPS 31473 HAS SOUS 28611 HAS SOUPS 28611 WITH SCORE 28642.473
AT ITER 1930 NEW BEST:: SOT 67599 SOS 31466 HAS SOPS 31466 HAS SOUS 28594 HAS SOUPS 28594 WITH SCORE 28625.466
AT ITER 1933 NEW BEST:: SOT 67577 SOS 31433 HAS SOPS 31433 HAS SOUS 28561 HAS SOUPS 28561 WITH SCORE 28592.433
AT ITER 1936 NEW BEST:: SOT 67547 SOS 31451 HAS SOPS 31451 HAS SOUS 28540 HAS SOUPS 28540 WITH SCORE 28571.451
AT ITER 1937 NEW BEST:: SOT 67547 SOS 31380 HAS SOPS 31380 HAS SOUS 28504 HAS SOUPS 28504 WITH SCORE 28535.38
AT ITER 1943 NEW BEST:: SOT 67498 SOS 31372 HAS SOPS 31372 HAS SOUS 28496 HAS SOUPS 28496 WITH SCORE 28527.372
AT ITER 1947 NEW BEST:: SOT 67426 SOS 31236 HAS SOPS 31236 HAS SOUS 28360 HAS SOUPS 28360 WITH SCORE 28391.236
AT ITER 1948 NEW BEST:: SOT 67363 SOS 31173 HAS SOPS 31173 HAS SOUS 28312 HAS SOUPS 28312 WITH SCORE 28343.173
AT ITER 1961 NEW BEST:: SOT 67350 SOS 31160 HAS SOPS 31160 HAS SOUS 28299 HAS SOUPS 28299 WITH SCORE 28330.16
AT ITER 1962 NEW BEST:: SOT 67346 SOS 31188 HAS SOPS 31188 HAS SOUS 28293 HAS SOUPS 28293 WITH SCORE 28324.188
AT ITER 1963 NEW BEST:: SOT 67324 SOS 31255 HAS SOPS 31255 HAS SOUS 28269 HAS SOUPS 28269 WITH SCORE 28300.255
AT ITER 1997 NEW BEST:: SOT 67316 SOS 31247 HAS SOPS 31247 HAS SOUS 28261 HAS SOUPS 28261 WITH SCORE 28292.247
AT ITER 2002 NEW BEST:: SOT 67294 SOS 31203 HAS SOPS 31203 HAS SOUS 28217 HAS SOUPS 28217 WITH SCORE 28248.203
AT ITER 2020 NEW BEST:: SOT 67294 SOS 31203 HAS SOPS 31203 HAS SOUS 28187 HAS SOUPS 28187 WITH SCORE 28218.203
AT ITER 2037 NEW BEST:: SOT 67290 SOS 31219 HAS SOPS 31219 HAS SOUS 28183 HAS SOUPS 28183 WITH SCORE 28214.219
AT ITER 2046 NEW BEST:: SOT 67270 SOS 31204 HAS SOPS 31204 HAS SOUS 28168 HAS SOUPS 28168 WITH SCORE 28199.204
AT ITER 2048 NEW BEST:: SOT 67270 SOS 31201 HAS SOPS 31201 HAS SOUS 28166 HAS SOUPS 28166 WITH SCORE 28197.201
AT ITER 2053 NEW BEST:: SOT 67257 SOS 31188 HAS SOPS 31188 HAS SOUS 28166 HAS SOUPS 28166 WITH SCORE 28197.188
AT ITER 2103 NEW BEST:: SOT 67241 SOS 31172 HAS SOPS 31172 HAS SOUS 28150 HAS SOUPS 28150 WITH SCORE 28181.172
AT ITER 2107 NEW BEST:: SOT 67211 SOS 31132 HAS SOPS 31132 HAS SOUS 28110 HAS SOUPS 28110 WITH SCORE 28141.132
AT ITER 2115 NEW BEST:: SOT 67160 SOS 31058 HAS SOPS 31058 HAS SOUS 28036 HAS SOUPS 28036 WITH SCORE 28067.058
AT ITER 2119 NEW BEST:: SOT 67153 SOS 31044 HAS SOPS 31044 HAS SOUS 28022 HAS SOUPS 28022 WITH SCORE 28053.044
AT ITER 2121 NEW BEST:: SOT 67136 SOS 30999 HAS SOPS 30999 HAS SOUS 27977 HAS SOUPS 27977 WITH SCORE 28007.999
AT ITER 2142 NEW BEST:: SOT 67136 SOS 30927 HAS SOPS 30927 HAS SOUS 27943 HAS SOUPS 27943 WITH SCORE 27973.927
AT ITER 2152 NEW BEST:: SOT 67082 SOS 30801 HAS SOPS 30801 HAS SOUS 27850 HAS SOUPS 27850 WITH SCORE 27880.801
AT ITER 2158 NEW BEST:: SOT 67081 SOS 30800 HAS SOPS 30800 HAS SOUS 27850 HAS SOUPS 27850 WITH SCORE 27880.8
AT ITER 2159 NEW BEST:: SOT 67023 SOS 30715 HAS SOPS 30715 HAS SOUS 27761 HAS SOUPS 27761 WITH SCORE 27791.715
AT ITER 2164 NEW BEST:: SOT 67014 SOS 30700 HAS SOPS 30700 HAS SOUS 27743 HAS SOUPS 27743 WITH SCORE 27773.7
AT ITER 2165 NEW BEST:: SOT 67006 SOS 30692 HAS SOPS 30692 HAS SOUS 27735 HAS SOUPS 27735 WITH SCORE 27765.692
AT ITER 2169 NEW BEST:: SOT 67000 SOS 30681 HAS SOPS 30681 HAS SOUS 27733 HAS SOUPS 27733 WITH SCORE 27763.681
AT ITER 2195 NEW BEST:: SOT 66986 SOS 30667 HAS SOPS 30667 HAS SOUS 27710 HAS SOUPS 27710 WITH SCORE 27740.667
AT ITER 2208 NEW BEST:: SOT 66947 SOS 30638 HAS SOPS 30638 HAS SOUS 27708 HAS SOUPS 27708 WITH SCORE 27738.638
AT ITER 2232 NEW BEST:: SOT 66915 SOS 30555 HAS SOPS 30555 HAS SOUS 27625 HAS SOUPS 27625 WITH SCORE 27655.555
AT ITER 2237 NEW BEST:: SOT 66897 SOS 30537 HAS SOPS 30537 HAS SOUS 27607 HAS SOUPS 27607 WITH SCORE 27637.537
AT ITER 2249 NEW BEST:: SOT 66881 SOS 30509 HAS SOPS 30509 HAS SOUS 27577 HAS SOUPS 27577 WITH SCORE 27607.509
AT ITER 2264 NEW BEST:: SOT 66881 SOS 30404 HAS SOPS 30404 HAS SOUS 27483 HAS SOUPS 27483 WITH SCORE 27513.404
AT ITER 2273 NEW BEST:: SOT 66867 SOS 30360 HAS SOPS 30360 HAS SOUS 27428 HAS SOUPS 27428 WITH SCORE 27458.36
AT ITER 2274 NEW BEST:: SOT 66839 SOS 30333 HAS SOPS 30333 HAS SOUS 27401 HAS SOUPS 27401 WITH SCORE 27431.333
AT ITER 2275 NEW BEST:: SOT 66834 SOS 30320 HAS SOPS 30320 HAS SOUS 27388 HAS SOUPS 27388 WITH SCORE 27418.32
AT ITER 2278 NEW BEST:: SOT 66834 SOS 30292 HAS SOPS 30292 HAS SOUS 27374 HAS SOUPS 27374 WITH SCORE 27404.292
AT ITER 2289 NEW BEST:: SOT 66870 SOS 30296 HAS SOPS 30296 HAS SOUS 27368 HAS SOUPS 27368 WITH SCORE 27398.296
AT ITER 2291 NEW BEST:: SOT 66870 SOS 30196 HAS SOPS 30196 HAS SOUS 27340 HAS SOUPS 27340 WITH SCORE 27370.196
AT ITER 2295 NEW BEST:: SOT 66861 SOS 30134 HAS SOPS 30134 HAS SOUS 27265 HAS SOUPS 27265 WITH SCORE 27295.134
AT ITER 2297 NEW BEST:: SOT 66855 SOS 30116 HAS SOPS 30116 HAS SOUS 27254 HAS SOUPS 27254 WITH SCORE 27284.116
AT ITER 2299 NEW BEST:: SOT 66855 SOS 30084 HAS SOPS 30084 HAS SOUS 27222 HAS SOUPS 27222 WITH SCORE 27252.084
AT ITER 2301 NEW BEST:: SOT 66864 SOS 30015 HAS SOPS 30015 HAS SOUS 27218 HAS SOUPS 27218 WITH SCORE 27248.015
AT ITER 2303 NEW BEST:: SOT 66864 SOS 30015 HAS SOPS 30015 HAS SOUS 27216 HAS SOUPS 27216 WITH SCORE 27246.015
AT ITER 2333 NEW BEST:: SOT 66863 SOS 30010 HAS SOPS 30010 HAS SOUS 27214 HAS SOUPS 27214 WITH SCORE 27244.01
AT ITER 2371 NEW BEST:: SOT 66845 SOS 29962 HAS SOPS 29962 HAS SOUS 27213 HAS SOUPS 27213 WITH SCORE 27242.962
AT ITER 2374 NEW BEST:: SOT 66845 SOS 29946 HAS SOPS 29946 HAS SOUS 27211 HAS SOUPS 27211 WITH SCORE 27240.946
AT ITER 2381 NEW BEST:: SOT 66822 SOS 29836 HAS SOPS 29836 HAS SOUS 27165 HAS SOUPS 27165 WITH SCORE 27194.836
AT ITER 2392 NEW BEST:: SOT 66773 SOS 29787 HAS SOPS 29787 HAS SOUS 27116 HAS SOUPS 27116 WITH SCORE 27145.787
AT ITER 2394 NEW BEST:: SOT 66770 SOS 29784 HAS SOPS 29784 HAS SOUS 27116 HAS SOUPS 27116 WITH SCORE 27145.784
AT ITER 2397 NEW BEST:: SOT 66770 SOS 29445 HAS SOPS 29445 HAS SOUS 26967 HAS SOUPS 26967 WITH SCORE 26996.445
AT ITER 2406 NEW BEST:: SOT 66818 SOS 29443 HAS SOPS 29443 HAS SOUS 26965 HAS SOUPS 26965 WITH SCORE 26994.443
AT ITER 2420 NEW BEST:: SOT 66818 SOS 29443 HAS SOPS 29443 HAS SOUS 26956 HAS SOUPS 26956 WITH SCORE 26985.443
AT ITER 2439 NEW BEST:: SOT 66815 SOS 29431 HAS SOPS 29431 HAS SOUS 26947 HAS SOUPS 26947 WITH SCORE 26976.431
AT ITER 2444 NEW BEST:: SOT 66807 SOS 29402 HAS SOPS 29402 HAS SOUS 26918 HAS SOUPS 26918 WITH SCORE 26947.402
AT ITER 2445 NEW BEST:: SOT 66786 SOS 29297 HAS SOPS 29297 HAS SOUS 26876 HAS SOUPS 26876 WITH SCORE 26905.297
AT ITER 2448 NEW BEST:: SOT 66770 SOS 29287 HAS SOPS 29287 HAS SOUS 26822 HAS SOUPS 26822 WITH SCORE 26851.287
AT ITER 2460 NEW BEST:: SOT 66807 SOS 29315 HAS SOPS 29315 HAS SOUS 26723 HAS SOUPS 26723 WITH SCORE 26752.315
AT ITER 2471 NEW BEST:: SOT 66828 SOS 29385 HAS SOPS 29385 HAS SOUS 26716 HAS SOUPS 26716 WITH SCORE 26745.385
AT ITER 2481 NEW BEST:: SOT 66735 SOS 29292 HAS SOPS 29292 HAS SOUS 26623 HAS SOUPS 26623 WITH SCORE 26652.292
AT ITER 2499 NEW BEST:: SOT 66649 SOS 29158 HAS SOPS 29158 HAS SOUS 26470 HAS SOUPS 26470 WITH SCORE 26499.158
AT ITER 2582 NEW BEST:: SOT 66648 SOS 29156 HAS SOPS 29156 HAS SOUS 26467 HAS SOUPS 26467 WITH SCORE 26496.156
AT ITER 2589 NEW BEST:: SOT 66576 SOS 29100 HAS SOPS 29100 HAS SOUS 26411 HAS SOUPS 26411 WITH SCORE 26440.1
AT ITER 2634 NEW BEST:: SOT 66581 SOS 29083 HAS SOPS 29083 HAS SOUS 26394 HAS SOUPS 26394 WITH SCORE 26423.083
AT ITER 2644 NEW BEST:: SOT 66580 SOS 29082 HAS SOPS 29082 HAS SOUS 26393 HAS SOUPS 26393 WITH SCORE 26422.082
AT ITER 2665 NEW BEST:: SOT 66551 SOS 28982 HAS SOPS 28982 HAS SOUS 26319 HAS SOUPS 26319 WITH SCORE 26347.982
AT ITER 2678 NEW BEST:: SOT 66545 SOS 28976 HAS SOPS 28976 HAS SOUS 26313 HAS SOUPS 26313 WITH SCORE 26341.976
AT ITER 2690 NEW BEST:: SOT 66545 SOS 28956 HAS SOPS 28956 HAS SOUS 26293 HAS SOUPS 26293 WITH SCORE 26321.956
AT ITER 2700 NEW BEST:: SOT 66540 SOS 28931 HAS SOPS 28931 HAS SOUS 26283 HAS SOUPS 26283 WITH SCORE 26311.931
AT ITER 2718 NEW BEST:: SOT 66502 SOS 28870 HAS SOPS 28870 HAS SOUS 26222 HAS SOUPS 26222 WITH SCORE 26250.87
AT ITER 2720 NEW BEST:: SOT 66502 SOS 28859 HAS SOPS 28859 HAS SOUS 26211 HAS SOUPS 26211 WITH SCORE 26239.859
AT ITER 2724 NEW BEST:: SOT 66485 SOS 28856 HAS SOPS 28856 HAS SOUS 26208 HAS SOUPS 26208 WITH SCORE 26236.856
AT ITER 2732 NEW BEST:: SOT 66479 SOS 28844 HAS SOPS 28844 HAS SOUS 26196 HAS SOUPS 26196 WITH SCORE 26224.844
AT ITER 2738 NEW BEST:: SOT 66503 SOS 28868 HAS SOPS 28868 HAS SOUS 26195 HAS SOUPS 26195 WITH SCORE 26223.868
AT ITER 2756 NEW BEST:: SOT 66490 SOS 28855 HAS SOPS 28855 HAS SOUS 26182 HAS SOUPS 26182 WITH SCORE 26210.855
AT ITER 2765 NEW BEST:: SOT 66479 SOS 28844 HAS SOPS 28844 HAS SOUS 26171 HAS SOUPS 26171 WITH SCORE 26199.844
AT ITER 2769 NEW BEST:: SOT 66479 SOS 28838 HAS SOPS 28838 HAS SOUS 26160 HAS SOUPS 26160 WITH SCORE 26188.838
AT ITER 2780 NEW BEST:: SOT 66472 SOS 28831 HAS SOPS 28831 HAS SOUS 26153 HAS SOUPS 26153 WITH SCORE 26181.831
AT ITER 2781 NEW BEST:: SOT 66472 SOS 28822 HAS SOPS 28822 HAS SOUS 26144 HAS SOUPS 26144 WITH SCORE 26172.822
AT ITER 2794 NEW BEST:: SOT 66460 SOS 28798 HAS SOPS 28798 HAS SOUS 26108 HAS SOUPS 26108 WITH SCORE 26136.798
AT ITER 2830 NEW BEST:: SOT 66460 SOS 28782 HAS SOPS 28782 HAS SOUS 26076 HAS SOUPS 26076 WITH SCORE 26104.782
AT ITER 2835 NEW BEST:: SOT 66457 SOS 28779 HAS SOPS 28779 HAS SOUS 26073 HAS SOUPS 26073 WITH SCORE 26101.779
AT ITER 2858 NEW BEST:: SOT 66435 SOS 28757 HAS SOPS 28757 HAS SOUS 26037 HAS SOUPS 26037 WITH SCORE 26065.757
AT ITER 2884 NEW BEST:: SOT 66431 SOS 28747 HAS SOPS 28747 HAS SOUS 26022 HAS SOUPS 26022 WITH SCORE 26050.747
AT ITER 2892 NEW BEST:: SOT 66426 SOS 28742 HAS SOPS 28742 HAS SOUS 26017 HAS SOUPS 26017 WITH SCORE 26045.742
AT ITER 2896 NEW BEST:: SOT 66392 SOS 28682 HAS SOPS 28682 HAS SOUS 25950 HAS SOUPS 25950 WITH SCORE 25978.682
AT ITER 2924 NEW BEST:: SOT 66392 SOS 28675 HAS SOPS 28675 HAS SOUS 25950 HAS SOUPS 25950 WITH SCORE 25978.675
AT ITER 2930 NEW BEST:: SOT 66380 SOS 28653 HAS SOPS 28653 HAS SOUS 25927 HAS SOUPS 25927 WITH SCORE 25955.653
AT ITER 2934 NEW BEST:: SOT 66380 SOS 28642 HAS SOPS 28642 HAS SOUS 25916 HAS SOUPS 25916 WITH SCORE 25944.642
AT ITER 2939 NEW BEST:: SOT 66344 SOS 28606 HAS SOPS 28606 HAS SOUS 25880 HAS SOUPS 25880 WITH SCORE 25908.606
AT ITER 2958 NEW BEST:: SOT 66344 SOS 28606 HAS SOPS 28606 HAS SOUS 25878 HAS SOUPS 25878 WITH SCORE 25906.606
AT ITER 2973 NEW BEST:: SOT 66338 SOS 28600 HAS SOPS 28600 HAS SOUS 25872 HAS SOUPS 25872 WITH SCORE 25900.6
AT ITER 2979 NEW BEST:: SOT 66328 SOS 28590 HAS SOPS 28590 HAS SOUS 25862 HAS SOUPS 25862 WITH SCORE 25890.59
AT ITER 2987 NEW BEST:: SOT 66316 SOS 28572 HAS SOPS 28572 HAS SOUS 25844 HAS SOUPS 25844 WITH SCORE 25872.572
AT ITER 3011 NEW BEST:: SOT 66308 SOS 28564 HAS SOPS 28564 HAS SOUS 25836 HAS SOUPS 25836 WITH SCORE 25864.564
AT ITER 3016 NEW BEST:: SOT 66308 SOS 28538 HAS SOPS 28538 HAS SOUS 25810 HAS SOUPS 25810 WITH SCORE 25838.538
AT ITER 3036 NEW BEST:: SOT 66318 SOS 28470 HAS SOPS 28470 HAS SOUS 25788 HAS SOUPS 25788 WITH SCORE 25816.47
AT ITER 3044 NEW BEST:: SOT 66291 SOS 28474 HAS SOPS 28474 HAS SOUS 25773 HAS SOUPS 25773 WITH SCORE 25801.474
AT ITER 3047 NEW BEST:: SOT 66248 SOS 28400 HAS SOPS 28400 HAS SOUS 25699 HAS SOUPS 25699 WITH SCORE 25727.4
AT ITER 3054 NEW BEST:: SOT 66247 SOS 28397 HAS SOPS 28397 HAS SOUS 25696 HAS SOUPS 25696 WITH SCORE 25724.397
AT ITER 3062 NEW BEST:: SOT 66247 SOS 28390 HAS SOPS 28390 HAS SOUS 25696 HAS SOUPS 25696 WITH SCORE 25724.39
AT ITER 3101 NEW BEST:: SOT 66231 SOS 28372 HAS SOPS 28372 HAS SOUS 25686 HAS SOUPS 25686 WITH SCORE 25714.372
AT ITER 3115 NEW BEST:: SOT 66231 SOS 28367 HAS SOPS 28367 HAS SOUS 25681 HAS SOUPS 25681 WITH SCORE 25709.367
AT ITER 3124 NEW BEST:: SOT 66227 SOS 28357 HAS SOPS 28357 HAS SOUS 25675 HAS SOUPS 25675 WITH SCORE 25703.357
AT ITER 3137 NEW BEST:: SOT 66223 SOS 28351 HAS SOPS 28351 HAS SOUS 25669 HAS SOUPS 25669 WITH SCORE 25697.351
AT ITER 3144 NEW BEST:: SOT 66216 SOS 28330 HAS SOPS 28330 HAS SOUS 25648 HAS SOUPS 25648 WITH SCORE 25676.33
AT ITER 3180 NEW BEST:: SOT 66210 SOS 28324 HAS SOPS 28324 HAS SOUS 25648 HAS SOUPS 25648 WITH SCORE 25676.324
AT ITER 3193 NEW BEST:: SOT 66132 SOS 28246 HAS SOPS 28246 HAS SOUS 25648 HAS SOUPS 25648 WITH SCORE 25676.246
AT ITER 3194 NEW BEST:: SOT 66087 SOS 28215 HAS SOPS 28215 HAS SOUS 25617 HAS SOUPS 25617 WITH SCORE 25645.215
AT ITER 3210 NEW BEST:: SOT 66067 SOS 28199 HAS SOPS 28199 HAS SOUS 25593 HAS SOUPS 25593 WITH SCORE 25621.199
AT ITER 3212 NEW BEST:: SOT 66066 SOS 28198 HAS SOPS 28198 HAS SOUS 25592 HAS SOUPS 25592 WITH SCORE 25620.198
AT ITER 3214 NEW BEST:: SOT 66100 SOS 28155 HAS SOPS 28155 HAS SOUS 25591 HAS SOUPS 25591 WITH SCORE 25619.155
AT ITER 3219 NEW BEST:: SOT 66055 SOS 28114 HAS SOPS 28114 HAS SOUS 25578 HAS SOUPS 25578 WITH SCORE 25606.114
AT ITER 3228 NEW BEST:: SOT 66054 SOS 28099 HAS SOPS 28099 HAS SOUS 25575 HAS SOUPS 25575 WITH SCORE 25603.099
AT ITER 3238 NEW BEST:: SOT 66054 SOS 28095 HAS SOPS 28095 HAS SOUS 25571 HAS SOUPS 25571 WITH SCORE 25599.095
AT ITER 3243 NEW BEST:: SOT 65946 SOS 27915 HAS SOPS 27915 HAS SOUS 25463 HAS SOUPS 25463 WITH SCORE 25490.915
AT ITER 3244 NEW BEST:: SOT 65895 SOS 27846 HAS SOPS 27846 HAS SOUS 25394 HAS SOUPS 25394 WITH SCORE 25421.846
AT ITER 3259 NEW BEST:: SOT 65827 SOS 27656 HAS SOPS 27656 HAS SOUS 25265 HAS SOUPS 25265 WITH SCORE 25292.656
AT ITER 3275 NEW BEST:: SOT 65781 SOS 27577 HAS SOPS 27577 HAS SOUS 25232 HAS SOUPS 25232 WITH SCORE 25259.577
AT ITER 3304 NEW BEST:: SOT 65771 SOS 27563 HAS SOPS 27563 HAS SOUS 25210 HAS SOUPS 25210 WITH SCORE 25237.563
AT ITER 3385 NEW BEST:: SOT 65771 SOS 27427 HAS SOPS 27427 HAS SOUS 25167 HAS SOUPS 25167 WITH SCORE 25194.427
AT ITER 3394 NEW BEST:: SOT 65766 SOS 27417 HAS SOPS 27417 HAS SOUS 25162 HAS SOUPS 25162 WITH SCORE 25189.417
AT ITER 3397 NEW BEST:: SOT 65762 SOS 27412 HAS SOPS 27412 HAS SOUS 25153 HAS SOUPS 25153 WITH SCORE 25180.412
AT ITER 3422 NEW BEST:: SOT 65762 SOS 27378 HAS SOPS 27378 HAS SOUS 25116 HAS SOUPS 25116 WITH SCORE 25143.378
AT ITER 3429 NEW BEST:: SOT 65786 SOS 27402 HAS SOPS 27402 HAS SOUS 25056 HAS SOUPS 25056 WITH SCORE 25083.402
AT ITER 3430 NEW BEST:: SOT 65786 SOS 27402 HAS SOPS 27402 HAS SOUS 25052 HAS SOUPS 25052 WITH SCORE 25079.402
AT ITER 3434 NEW BEST:: SOT 65746 SOS 27362 HAS SOPS 27362 HAS SOUS 25052 HAS SOUPS 25052 WITH SCORE 25079.362
AT ITER 3441 NEW BEST:: SOT 65736 SOS 27338 HAS SOPS 27338 HAS SOUS 25032 HAS SOUPS 25032 WITH SCORE 25059.338
AT ITER 3463 NEW BEST:: SOT 65726 SOS 27328 HAS SOPS 27328 HAS SOUS 25032 HAS SOUPS 25032 WITH SCORE 25059.328
AT ITER 3487 NEW BEST:: SOT 65713 SOS 27302 HAS SOPS 27302 HAS SOUS 25003 HAS SOUPS 25003 WITH SCORE 25030.302
AT ITER 3492 NEW BEST:: SOT 65698 SOS 27244 HAS SOPS 27244 HAS SOUS 24945 HAS SOUPS 24945 WITH SCORE 24972.244
AT ITER 3501 NEW BEST:: SOT 65689 SOS 27193 HAS SOPS 27193 HAS SOUS 24927 HAS SOUPS 24927 WITH SCORE 24954.193
AT ITER 3510 NEW BEST:: SOT 65674 SOS 27121 HAS SOPS 27121 HAS SOUS 24878 HAS SOUPS 24878 WITH SCORE 24905.121
AT ITER 3517 NEW BEST:: SOT 65651 SOS 27131 HAS SOPS 27131 HAS SOUS 24868 HAS SOUPS 24868 WITH SCORE 24895.131
AT ITER 3543 NEW BEST:: SOT 65641 SOS 27127 HAS SOPS 27127 HAS SOUS 24859 HAS SOUPS 24859 WITH SCORE 24886.127
AT ITER 3554 NEW BEST:: SOT 65584 SOS 27076 HAS SOPS 27076 HAS SOUS 24821 HAS SOUPS 24821 WITH SCORE 24848.076
AT ITER 3561 NEW BEST:: SOT 65576 SOS 27064 HAS SOPS 27064 HAS SOUS 24809 HAS SOUPS 24809 WITH SCORE 24836.064
AT ITER 3562 NEW BEST:: SOT 65573 SOS 27052 HAS SOPS 27052 HAS SOUS 24800 HAS SOUPS 24800 WITH SCORE 24827.052
AT ITER 3563 NEW BEST:: SOT 65566 SOS 27044 HAS SOPS 27044 HAS SOUS 24797 HAS SOUPS 24797 WITH SCORE 24824.044
AT ITER 3569 NEW BEST:: SOT 65580 SOS 26998 HAS SOPS 26998 HAS SOUS 24769 HAS SOUPS 24769 WITH SCORE 24795.998
AT ITER 3580 NEW BEST:: SOT 65573 SOS 26994 HAS SOPS 26994 HAS SOUS 24768 HAS SOUPS 24768 WITH SCORE 24794.994
AT ITER 3582 NEW BEST:: SOT 65564 SOS 26985 HAS SOPS 26985 HAS SOUS 24759 HAS SOUPS 24759 WITH SCORE 24785.985
AT ITER 3596 NEW BEST:: SOT 65556 SOS 26977 HAS SOPS 26977 HAS SOUS 24755 HAS SOUPS 24755 WITH SCORE 24781.977
AT ITER 3601 NEW BEST:: SOT 65556 SOS 26953 HAS SOPS 26953 HAS SOUS 24750 HAS SOUPS 24750 WITH SCORE 24776.953
AT ITER 3615 NEW BEST:: SOT 65559 SOS 26934 HAS SOPS 26934 HAS SOUS 24729 HAS SOUPS 24729 WITH SCORE 24755.934
AT ITER 3626 NEW BEST:: SOT 65548 SOS 26880 HAS SOPS 26880 HAS SOUS 24724 HAS SOUPS 24724 WITH SCORE 24750.88
AT ITER 3634 NEW BEST:: SOT 65548 SOS 26877 HAS SOPS 26877 HAS SOUS 24723 HAS SOUPS 24723 WITH SCORE 24749.877
AT ITER 3642 NEW BEST:: SOT 65512 SOS 26841 HAS SOPS 26841 HAS SOUS 24687 HAS SOUPS 24687 WITH SCORE 24713.841
AT ITER 3661 NEW BEST:: SOT 65507 SOS 26835 HAS SOPS 26835 HAS SOUS 24681 HAS SOUPS 24681 WITH SCORE 24707.835
AT ITER 3697 NEW BEST:: SOT 65498 SOS 26812 HAS SOPS 26812 HAS SOUS 24663 HAS SOUPS 24663 WITH SCORE 24689.812
AT ITER 3715 NEW BEST:: SOT 65505 SOS 26816 HAS SOPS 26816 HAS SOUS 24630 HAS SOUPS 24630 WITH SCORE 24656.816
AT ITER 3716 NEW BEST:: SOT 65494 SOS 26795 HAS SOPS 26795 HAS SOUS 24609 HAS SOUPS 24609 WITH SCORE 24635.795
AT ITER 3729 NEW BEST:: SOT 65448 SOS 26640 HAS SOPS 26640 HAS SOUS 24389 HAS SOUPS 24389 WITH SCORE 24415.64
AT ITER 3731 NEW BEST:: SOT 65448 SOS 26575 HAS SOPS 26575 HAS SOUS 24324 HAS SOUPS 24324 WITH SCORE 24350.575
AT ITER 3737 NEW BEST:: SOT 65402 SOS 26488 HAS SOPS 26488 HAS SOUS 24283 HAS SOUPS 24283 WITH SCORE 24309.488
AT ITER 3745 NEW BEST:: SOT 65408 SOS 26497 HAS SOPS 26497 HAS SOUS 24281 HAS SOUPS 24281 WITH SCORE 24307.497
AT ITER 3777 NEW BEST:: SOT 65397 SOS 26419 HAS SOPS 26419 HAS SOUS 24208 HAS SOUPS 24208 WITH SCORE 24234.419
AT ITER 3797 NEW BEST:: SOT 65378 SOS 26400 HAS SOPS 26400 HAS SOUS 24189 HAS SOUPS 24189 WITH SCORE 24215.4
AT ITER 3805 NEW BEST:: SOT 65356 SOS 26378 HAS SOPS 26378 HAS SOUS 24167 HAS SOUPS 24167 WITH SCORE 24193.378
AT ITER 3811 NEW BEST:: SOT 65352 SOS 26413 HAS SOPS 26413 HAS SOUS 24155 HAS SOUPS 24155 WITH SCORE 24181.413
AT ITER 3814 NEW BEST:: SOT 65358 SOS 26385 HAS SOPS 26385 HAS SOUS 24140 HAS SOUPS 24140 WITH SCORE 24166.385
AT ITER 3847 NEW BEST:: SOT 65360 SOS 26381 HAS SOPS 26381 HAS SOUS 24136 HAS SOUPS 24136 WITH SCORE 24162.381
AT ITER 3852 NEW BEST:: SOT 65358 SOS 26379 HAS SOPS 26379 HAS SOUS 24134 HAS SOUPS 24134 WITH SCORE 24160.379
AT ITER 3862 NEW BEST:: SOT 65316 SOS 26311 HAS SOPS 26311 HAS SOUS 24094 HAS SOUPS 24094 WITH SCORE 24120.311
AT ITER 3889 NEW BEST:: SOT 65275 SOS 26123 HAS SOPS 26123 HAS SOUS 23915 HAS SOUPS 23915 WITH SCORE 23941.123
AT ITER 3898 NEW BEST:: SOT 65275 SOS 26104 HAS SOPS 26104 HAS SOUS 23896 HAS SOUPS 23896 WITH SCORE 23922.104
AT ITER 3901 NEW BEST:: SOT 65271 SOS 26100 HAS SOPS 26100 HAS SOUS 23892 HAS SOUPS 23892 WITH SCORE 23918.1
AT ITER 3907 NEW BEST:: SOT 65263 SOS 26092 HAS SOPS 26092 HAS SOUS 23884 HAS SOUPS 23884 WITH SCORE 23910.092
AT ITER 3913 NEW BEST:: SOT 65274 SOS 26161 HAS SOPS 26161 HAS SOUS 23814 HAS SOUPS 23814 WITH SCORE 23840.161
AT ITER 3936 NEW BEST:: SOT 65273 SOS 26160 HAS SOPS 26160 HAS SOUS 23813 HAS SOUPS 23813 WITH SCORE 23839.16
AT ITER 3937 NEW BEST:: SOT 65325 SOS 26167 HAS SOPS 26167 HAS SOUS 23782 HAS SOUPS 23782 WITH SCORE 23808.167
AT ITER 3940 NEW BEST:: SOT 65116 SOS 25961 HAS SOPS 25961 HAS SOUS 23747 HAS SOUPS 23747 WITH SCORE 23772.961
AT ITER 3949 NEW BEST:: SOT 65105 SOS 25950 HAS SOPS 25950 HAS SOUS 23736 HAS SOUPS 23736 WITH SCORE 23761.95
AT ITER 4023 NEW BEST:: SOT 65063 SOS 25908 HAS SOPS 25908 HAS SOUS 23694 HAS SOUPS 23694 WITH SCORE 23719.908
AT ITER 4043 NEW BEST:: SOT 65044 SOS 25919 HAS SOPS 25919 HAS SOUS 23659 HAS SOUPS 23659 WITH SCORE 23684.919
AT ITER 4096 NEW BEST:: SOT 65044 SOS 25838 HAS SOPS 25838 HAS SOUS 23613 HAS SOUPS 23613 WITH SCORE 23638.838
AT ITER 4102 NEW BEST:: SOT 65044 SOS 25838 HAS SOPS 25838 HAS SOUS 23608 HAS SOUPS 23608 WITH SCORE 23633.838
AT ITER 4120 NEW BEST:: SOT 65031 SOS 25785 HAS SOPS 25785 HAS SOUS 23579 HAS SOUPS 23579 WITH SCORE 23604.785
AT ITER 4124 NEW BEST:: SOT 65031 SOS 25785 HAS SOPS 25785 HAS SOUS 23561 HAS SOUPS 23561 WITH SCORE 23586.785
AT ITER 4127 NEW BEST:: SOT 65011 SOS 25765 HAS SOPS 25765 HAS SOUS 23541 HAS SOUPS 23541 WITH SCORE 23566.765
AT ITER 4155 NEW BEST:: SOT 65011 SOS 25746 HAS SOPS 25746 HAS SOUS 23541 HAS SOUPS 23541 WITH SCORE 23566.746
AT ITER 4187 NEW BEST:: SOT 65011 SOS 25746 HAS SOPS 25746 HAS SOUS 23525 HAS SOUPS 23525 WITH SCORE 23550.746
AT ITER 4232 NEW BEST:: SOT 64966 SOS 25701 HAS SOPS 25701 HAS SOUS 23480 HAS SOUPS 23480 WITH SCORE 23505.701
AT ITER 4245 NEW BEST:: SOT 64935 SOS 25699 HAS SOPS 25699 HAS SOUS 23479 HAS SOUPS 23479 WITH SCORE 23504.699
AT ITER 4248 NEW BEST:: SOT 64935 SOS 25647 HAS SOPS 25647 HAS SOUS 23463 HAS SOUPS 23463 WITH SCORE 23488.647
AT ITER 4250 NEW BEST:: SOT 64937 SOS 25591 HAS SOPS 25591 HAS SOUS 23435 HAS SOUPS 23435 WITH SCORE 23460.591
AT ITER 4259 NEW BEST:: SOT 64930 SOS 25578 HAS SOPS 25578 HAS SOUS 23428 HAS SOUPS 23428 WITH SCORE 23453.578
AT ITER 4262 NEW BEST:: SOT 64781 SOS 25429 HAS SOPS 25429 HAS SOUS 23279 HAS SOUPS 23279 WITH SCORE 23304.429
AT ITER 4275 NEW BEST:: SOT 64766 SOS 25418 HAS SOPS 25418 HAS SOUS 23268 HAS SOUPS 23268 WITH SCORE 23293.418
AT ITER 4312 NEW BEST:: SOT 64765 SOS 25417 HAS SOPS 25417 HAS SOUS 23267 HAS SOUPS 23267 WITH SCORE 23292.417
AT ITER 4334 NEW BEST:: SOT 64736 SOS 25330 HAS SOPS 25330 HAS SOUS 23209 HAS SOUPS 23209 WITH SCORE 23234.33
AT ITER 4373 NEW BEST:: SOT 64756 SOS 25320 HAS SOPS 25320 HAS SOUS 23189 HAS SOUPS 23189 WITH SCORE 23214.32
AT ITER 4389 NEW BEST:: SOT 64756 SOS 25296 HAS SOPS 25296 HAS SOUS 23176 HAS SOUPS 23176 WITH SCORE 23201.296
AT ITER 4413 NEW BEST:: SOT 64756 SOS 25288 HAS SOPS 25288 HAS SOUS 23168 HAS SOUPS 23168 WITH SCORE 23193.288
AT ITER 4418 NEW BEST:: SOT 64756 SOS 25288 HAS SOPS 25288 HAS SOUS 23163 HAS SOUPS 23163 WITH SCORE 23188.288
AT ITER 4419 NEW BEST:: SOT 64753 SOS 25284 HAS SOPS 25284 HAS SOUS 23159 HAS SOUPS 23159 WITH SCORE 23184.284
AT ITER 4428 NEW BEST:: SOT 64738 SOS 25270 HAS SOPS 25270 HAS SOUS 23145 HAS SOUPS 23145 WITH SCORE 23170.27
AT ITER 4467 NEW BEST:: SOT 64733 SOS 25261 HAS SOPS 25261 HAS SOUS 23136 HAS SOUPS 23136 WITH SCORE 23161.261
AT ITER 4488 NEW BEST:: SOT 64657 SOS 25166 HAS SOPS 25166 HAS SOUS 23041 HAS SOUPS 23041 WITH SCORE 23066.166
AT ITER 4517 NEW BEST:: SOT 64649 SOS 25158 HAS SOPS 25158 HAS SOUS 23033 HAS SOUPS 23033 WITH SCORE 23058.158
AT ITER 4537 NEW BEST:: SOT 64647 SOS 25156 HAS SOPS 25156 HAS SOUS 23031 HAS SOUPS 23031 WITH SCORE 23056.156
AT ITER 4556 NEW BEST:: SOT 64647 SOS 25152 HAS SOPS 25152 HAS SOUS 23027 HAS SOUPS 23027 WITH SCORE 23052.152
AT ITER 4572 NEW BEST:: SOT 64630 SOS 25084 HAS SOPS 25084 HAS SOUS 22976 HAS SOUPS 22976 WITH SCORE 23001.084
AT ITER 4614 NEW BEST:: SOT 64535 SOS 25019 HAS SOPS 25019 HAS SOUS 22901 HAS SOUPS 22901 WITH SCORE 22926.019
AT ITER 4643 NEW BEST:: SOT 64534 SOS 25018 HAS SOPS 25018 HAS SOUS 22899 HAS SOUPS 22899 WITH SCORE 22924.018
AT ITER 4675 NEW BEST:: SOT 64505 SOS 25010 HAS SOPS 25010 HAS SOUS 22891 HAS SOUPS 22891 WITH SCORE 22916.01
AT ITER 4683 NEW BEST:: SOT 64504 SOS 25009 HAS SOPS 25009 HAS SOUS 22890 HAS SOUPS 22890 WITH SCORE 22915.009
AT ITER 4717 NEW BEST:: SOT 64493 SOS 24996 HAS SOPS 24996 HAS SOUS 22862 HAS SOUPS 22862 WITH SCORE 22886.996
AT ITER 4725 NEW BEST:: SOT 64491 SOS 24976 HAS SOPS 24976 HAS SOUS 22860 HAS SOUPS 22860 WITH SCORE 22884.976
AT ITER 4741 NEW BEST:: SOT 64491 SOS 24976 HAS SOPS 24976 HAS SOUS 22857 HAS SOUPS 22857 WITH SCORE 22881.976
AT ITER 4753 NEW BEST:: SOT 64491 SOS 24975 HAS SOPS 24975 HAS SOUS 22856 HAS SOUPS 22856 WITH SCORE 22880.975
AT ITER 4771 NEW BEST:: SOT 64491 SOS 24973 HAS SOPS 24973 HAS SOUS 22854 HAS SOUPS 22854 WITH SCORE 22878.973
AT ITER 4793 NEW BEST:: SOT 64483 SOS 24971 HAS SOPS 24971 HAS SOUS 22842 HAS SOUPS 22842 WITH SCORE 22866.971
AT ITER 4794 NEW BEST:: SOT 64480 SOS 24968 HAS SOPS 24968 HAS SOUS 22839 HAS SOUPS 22839 WITH SCORE 22863.968
AT ITER 4821 NEW BEST:: SOT 64468 SOS 24956 HAS SOPS 24956 HAS SOUS 22827 HAS SOUPS 22827 WITH SCORE 22851.956
AT ITER 4826 NEW BEST:: SOT 64499 SOS 24953 HAS SOPS 24953 HAS SOUS 22824 HAS SOUPS 22824 WITH SCORE 22848.953
AT ITER 4828 NEW BEST:: SOT 64479 SOS 24922 HAS SOPS 24922 HAS SOUS 22793 HAS SOUPS 22793 WITH SCORE 22817.922
AT ITER 4829 NEW BEST:: SOT 64479 SOS 24918 HAS SOPS 24918 HAS SOUS 22793 HAS SOUPS 22793 WITH SCORE 22817.918
AT ITER 4864 NEW BEST:: SOT 64454 SOS 24861 HAS SOPS 24861 HAS SOUS 22746 HAS SOUPS 22746 WITH SCORE 22770.861
AT ITER 4872 NEW BEST:: SOT 64420 SOS 24798 HAS SOPS 24798 HAS SOUS 22699 HAS SOUPS 22699 WITH SCORE 22723.798
AT ITER 4873 NEW BEST:: SOT 64405 SOS 24783 HAS SOPS 24783 HAS SOUS 22684 HAS SOUPS 22684 WITH SCORE 22708.783
AT ITER 4883 NEW BEST:: SOT 64360 SOS 24680 HAS SOPS 24680 HAS SOUS 22581 HAS SOUPS 22581 WITH SCORE 22605.68
AT ITER 4896 NEW BEST:: SOT 64350 SOS 24658 HAS SOPS 24658 HAS SOUS 22576 HAS SOUPS 22576 WITH SCORE 22600.658
AT ITER 4932 NEW BEST:: SOT 64332 SOS 24640 HAS SOPS 24640 HAS SOUS 22567 HAS SOUPS 22567 WITH SCORE 22591.64
AT ITER 4933 NEW BEST:: SOT 64299 SOS 24714 HAS SOPS 24714 HAS SOUS 22520 HAS SOUPS 22520 WITH SCORE 22544.714
AT ITER 4950 NEW BEST:: SOT 64272 SOS 24687 HAS SOPS 24687 HAS SOUS 22493 HAS SOUPS 22493 WITH SCORE 22517.687
AT ITER 4983 NEW BEST:: SOT 64287 SOS 24684 HAS SOPS 24684 HAS SOUS 22490 HAS SOUPS 22490 WITH SCORE 22514.684
AT ITER 5009 NEW BEST:: SOT 64286 SOS 24683 HAS SOPS 24683 HAS SOUS 22489 HAS SOUPS 22489 WITH SCORE 22513.683
AT ITER 5010 NEW BEST:: SOT 64195 SOS 24611 HAS SOPS 24611 HAS SOUS 22417 HAS SOUPS 22417 WITH SCORE 22441.611
AT ITER 5015 NEW BEST:: SOT 64188 SOS 24588 HAS SOPS 24588 HAS SOUS 22381 HAS SOUPS 22381 WITH SCORE 22405.588
AT ITER 5019 NEW BEST:: SOT 64176 SOS 24558 HAS SOPS 24558 HAS SOUS 22363 HAS SOUPS 22363 WITH SCORE 22387.558
AT ITER 5028 NEW BEST:: SOT 64143 SOS 24550 HAS SOPS 24550 HAS SOUS 22355 HAS SOUPS 22355 WITH SCORE 22379.55
AT ITER 5038 NEW BEST:: SOT 64140 SOS 24547 HAS SOPS 24547 HAS SOUS 22352 HAS SOUPS 22352 WITH SCORE 22376.547
AT ITER 5043 NEW BEST:: SOT 64153 SOS 24560 HAS SOPS 24560 HAS SOUS 22313 HAS SOUPS 22313 WITH SCORE 22337.56
AT ITER 5055 NEW BEST:: SOT 64103 SOS 24550 HAS SOPS 24550 HAS SOUS 22303 HAS SOUPS 22303 WITH SCORE 22327.55
AT ITER 5068 NEW BEST:: SOT 64082 SOS 24522 HAS SOPS 24522 HAS SOUS 22275 HAS SOUPS 22275 WITH SCORE 22299.522
AT ITER 5089 NEW BEST:: SOT 64078 SOS 24521 HAS SOPS 24521 HAS SOUS 22274 HAS SOUPS 22274 WITH SCORE 22298.521
AT ITER 5126 NEW BEST:: SOT 64064 SOS 24497 HAS SOPS 24497 HAS SOUS 22257 HAS SOUPS 22257 WITH SCORE 22281.497
AT ITER 5128 NEW BEST:: SOT 64059 SOS 24492 HAS SOPS 24492 HAS SOUS 22252 HAS SOUPS 22252 WITH SCORE 22276.492
AT ITER 5137 NEW BEST:: SOT 64059 SOS 24482 HAS SOPS 24482 HAS SOUS 22242 HAS SOUPS 22242 WITH SCORE 22266.482
AT ITER 5148 NEW BEST:: SOT 64055 SOS 24466 HAS SOPS 24466 HAS SOUS 22230 HAS SOUPS 22230 WITH SCORE 22254.466
AT ITER 5161 NEW BEST:: SOT 64044 SOS 24467 HAS SOPS 24467 HAS SOUS 22208 HAS SOUPS 22208 WITH SCORE 22232.467
AT ITER 5172 NEW BEST:: SOT 64036 SOS 24447 HAS SOPS 24447 HAS SOUS 22192 HAS SOUPS 22192 WITH SCORE 22216.447
AT ITER 5184 NEW BEST:: SOT 64018 SOS 24429 HAS SOPS 24429 HAS SOUS 22174 HAS SOUPS 22174 WITH SCORE 22198.429
AT ITER 5187 NEW BEST:: SOT 64005 SOS 24390 HAS SOPS 24390 HAS SOUS 22133 HAS SOUPS 22133 WITH SCORE 22157.39
AT ITER 5202 NEW BEST:: SOT 64004 SOS 24389 HAS SOPS 24389 HAS SOUS 22132 HAS SOUPS 22132 WITH SCORE 22156.389
AT ITER 5213 NEW BEST:: SOT 64002 SOS 24386 HAS SOPS 24386 HAS SOUS 22130 HAS SOUPS 22130 WITH SCORE 22154.386
AT ITER 5237 NEW BEST:: SOT 64003 SOS 24383 HAS SOPS 24383 HAS SOUS 22127 HAS SOUPS 22127 WITH SCORE 22151.383
AT ITER 5307 NEW BEST:: SOT 63995 SOS 24360 HAS SOPS 24360 HAS SOUS 22104 HAS SOUPS 22104 WITH SCORE 22128.36
AT ITER 5322 NEW BEST:: SOT 63953 SOS 24294 HAS SOPS 24294 HAS SOUS 22018 HAS SOUPS 22018 WITH SCORE 22042.294
AT ITER 5330 NEW BEST:: SOT 63949 SOS 24290 HAS SOPS 24290 HAS SOUS 22014 HAS SOUPS 22014 WITH SCORE 22038.29
AT ITER 5341 NEW BEST:: SOT 63949 SOS 24283 HAS SOPS 24283 HAS SOUS 21990 HAS SOUPS 21990 WITH SCORE 22014.283
AT ITER 5353 NEW BEST:: SOT 63933 SOS 24251 HAS SOPS 24251 HAS SOUS 21958 HAS SOUPS 21958 WITH SCORE 21982.251
AT ITER 5358 NEW BEST:: SOT 63920 SOS 24222 HAS SOPS 24222 HAS SOUS 21929 HAS SOUPS 21929 WITH SCORE 21953.222
AT ITER 5360 NEW BEST:: SOT 63918 SOS 24220 HAS SOPS 24220 HAS SOUS 21927 HAS SOUPS 21927 WITH SCORE 21951.22
AT ITER 5375 NEW BEST:: SOT 63918 SOS 24220 HAS SOPS 24220 HAS SOUS 21923 HAS SOUPS 21923 WITH SCORE 21947.22
AT ITER 5376 NEW BEST:: SOT 63903 SOS 24205 HAS SOPS 24205 HAS SOUS 21917 HAS SOUPS 21917 WITH SCORE 21941.205
AT ITER 5398 NEW BEST:: SOT 63903 SOS 24198 HAS SOPS 24198 HAS SOUS 21910 HAS SOUPS 21910 WITH SCORE 21934.198
AT ITER 5424 NEW BEST:: SOT 63880 SOS 24145 HAS SOPS 24145 HAS SOUS 21866 HAS SOUPS 21866 WITH SCORE 21890.145
AT ITER 5463 NEW BEST:: SOT 63861 SOS 24069 HAS SOPS 24069 HAS SOUS 21828 HAS SOUPS 21828 WITH SCORE 21852.069
AT ITER 5469 NEW BEST:: SOT 63858 SOS 24066 HAS SOPS 24066 HAS SOUS 21825 HAS SOUPS 21825 WITH SCORE 21849.066
AT ITER 5499 NEW BEST:: SOT 63850 SOS 24055 HAS SOPS 24055 HAS SOUS 21814 HAS SOUPS 21814 WITH SCORE 21838.055
AT ITER 5540 NEW BEST:: SOT 63840 SOS 24022 HAS SOPS 24022 HAS SOUS 21787 HAS SOUPS 21787 WITH SCORE 21811.022
AT ITER 5570 NEW BEST:: SOT 63838 SOS 24018 HAS SOPS 24018 HAS SOUS 21785 HAS SOUPS 21785 WITH SCORE 21809.018
AT ITER 5571 NEW BEST:: SOT 63834 SOS 24010 HAS SOPS 24010 HAS SOUS 21777 HAS SOUPS 21777 WITH SCORE 21801.01
AT ITER 5591 NEW BEST:: SOT 63850 SOS 24006 HAS SOPS 24006 HAS SOUS 21773 HAS SOUPS 21773 WITH SCORE 21797.006
AT ITER 5592 NEW BEST:: SOT 63842 SOS 23989 HAS SOPS 23989 HAS SOUS 21762 HAS SOUPS 21762 WITH SCORE 21785.989
AT ITER 5609 NEW BEST:: SOT 63842 SOS 23980 HAS SOPS 23980 HAS SOUS 21756 HAS SOUPS 21756 WITH SCORE 21779.98
AT ITER 5615 NEW BEST:: SOT 63842 SOS 23978 HAS SOPS 23978 HAS SOUS 21755 HAS SOUPS 21755 WITH SCORE 21778.978
AT ITER 5660 NEW BEST:: SOT 63838 SOS 23966 HAS SOPS 23966 HAS SOUS 21749 HAS SOUPS 21749 WITH SCORE 21772.966
AT ITER 5710 NEW BEST:: SOT 63837 SOS 23965 HAS SOPS 23965 HAS SOUS 21748 HAS SOUPS 21748 WITH SCORE 21771.965
AT ITER 5723 NEW BEST:: SOT 63833 SOS 23949 HAS SOPS 23949 HAS SOUS 21719 HAS SOUPS 21719 WITH SCORE 21742.949
AT ITER 5729 NEW BEST:: SOT 63875 SOS 23968 HAS SOPS 23968 HAS SOUS 21718 HAS SOUPS 21718 WITH SCORE 21741.968
AT ITER 5740 NEW BEST:: SOT 63955 SOS 23921 HAS SOPS 23921 HAS SOUS 21650 HAS SOUPS 21650 WITH SCORE 21673.921
AT ITER 5767 NEW BEST:: SOT 63985 SOS 23910 HAS SOPS 23910 HAS SOUS 21639 HAS SOUPS 21639 WITH SCORE 21662.91
AT ITER 5770 NEW BEST:: SOT 63934 SOS 23871 HAS SOPS 23871 HAS SOUS 21611 HAS SOUPS 21611 WITH SCORE 21634.871
AT ITER 5792 NEW BEST:: SOT 63870 SOS 23811 HAS SOPS 23811 HAS SOUS 21551 HAS SOUPS 21551 WITH SCORE 21574.811
AT ITER 5808 NEW BEST:: SOT 63872 SOS 23859 HAS SOPS 23859 HAS SOUS 21547 HAS SOUPS 21547 WITH SCORE 21570.859
AT ITER 5821 NEW BEST:: SOT 63863 SOS 23833 HAS SOPS 23833 HAS SOUS 21516 HAS SOUPS 21516 WITH SCORE 21539.833
AT ITER 5864 NEW BEST:: SOT 63847 SOS 23821 HAS SOPS 23821 HAS SOUS 21504 HAS SOUPS 21504 WITH SCORE 21527.821
AT ITER 5885 NEW BEST:: SOT 63829 SOS 23803 HAS SOPS 23803 HAS SOUS 21486 HAS SOUPS 21486 WITH SCORE 21509.803
AT ITER 5895 NEW BEST:: SOT 63812 SOS 23786 HAS SOPS 23786 HAS SOUS 21452 HAS SOUPS 21452 WITH SCORE 21475.786
AT ITER 5950 NEW BEST:: SOT 63812 SOS 23772 HAS SOPS 23772 HAS SOUS 21417 HAS SOUPS 21417 WITH SCORE 21440.772
AT ITER 5959 NEW BEST:: SOT 63806 SOS 23762 HAS SOPS 23762 HAS SOUS 21406 HAS SOUPS 21406 WITH SCORE 21429.762
AT ITER 5981 NEW BEST:: SOT 63806 SOS 23755 HAS SOPS 23755 HAS SOUS 21399 HAS SOUPS 21399 WITH SCORE 21422.755
AT ITER 6010 NEW BEST:: SOT 63767 SOS 23674 HAS SOPS 23674 HAS SOUS 21318 HAS SOUPS 21318 WITH SCORE 21341.674
AT ITER 6013 NEW BEST:: SOT 63748 SOS 23655 HAS SOPS 23655 HAS SOUS 21299 HAS SOUPS 21299 WITH SCORE 21322.655
AT ITER 6034 NEW BEST:: SOT 63757 SOS 23630 HAS SOPS 23630 HAS SOUS 21274 HAS SOUPS 21274 WITH SCORE 21297.63
AT ITER 6068 NEW BEST:: SOT 63757 SOS 23622 HAS SOPS 23622 HAS SOUS 21270 HAS SOUPS 21270 WITH SCORE 21293.622
AT ITER 6089 NEW BEST:: SOT 63695 SOS 23560 HAS SOPS 23560 HAS SOUS 21208 HAS SOUPS 21208 WITH SCORE 21231.56
AT ITER 6095 NEW BEST:: SOT 63695 SOS 23504 HAS SOPS 23504 HAS SOUS 21180 HAS SOUPS 21180 WITH SCORE 21203.504
AT ITER 6102 NEW BEST:: SOT 63698 SOS 23513 HAS SOPS 23513 HAS SOUS 21179 HAS SOUPS 21179 WITH SCORE 21202.513
AT ITER 6125 NEW BEST:: SOT 63700 SOS 23503 HAS SOPS 23503 HAS SOUS 21169 HAS SOUPS 21169 WITH SCORE 21192.503
AT ITER 6161 NEW BEST:: SOT 63693 SOS 23303 HAS SOPS 23303 HAS SOUS 21083 HAS SOUPS 21083 WITH SCORE 21106.303
AT ITER 6176 NEW BEST:: SOT 63671 SOS 23287 HAS SOPS 23287 HAS SOUS 21073 HAS SOUPS 21073 WITH SCORE 21096.287
AT ITER 6177 NEW BEST:: SOT 63671 SOS 23286 HAS SOPS 23286 HAS SOUS 21067 HAS SOUPS 21067 WITH SCORE 21090.286
AT ITER 6201 NEW BEST:: SOT 63668 SOS 23284 HAS SOPS 23284 HAS SOUS 21065 HAS SOUPS 21065 WITH SCORE 21088.284
AT ITER 6220 NEW BEST:: SOT 63668 SOS 23257 HAS SOPS 23257 HAS SOUS 21038 HAS SOUPS 21038 WITH SCORE 21061.257
AT ITER 6312 NEW BEST:: SOT 63668 SOS 23244 HAS SOPS 23244 HAS SOUS 21029 HAS SOUPS 21029 WITH SCORE 21052.244
AT ITER 6332 NEW BEST:: SOT 63654 SOS 23209 HAS SOPS 23209 HAS SOUS 21001 HAS SOUPS 21001 WITH SCORE 21024.209
AT ITER 6428 NEW BEST:: SOT 63648 SOS 23203 HAS SOPS 23203 HAS SOUS 20995 HAS SOUPS 20995 WITH SCORE 21018.203
AT ITER 6433 NEW BEST:: SOT 63647 SOS 23196 HAS SOPS 23196 HAS SOUS 20991 HAS SOUPS 20991 WITH SCORE 21014.196
AT ITER 6441 NEW BEST:: SOT 63639 SOS 23184 HAS SOPS 23184 HAS SOUS 20979 HAS SOUPS 20979 WITH SCORE 21002.184
AT ITER 6459 NEW BEST:: SOT 63615 SOS 23140 HAS SOPS 23140 HAS SOUS 20935 HAS SOUPS 20935 WITH SCORE 20958.14
AT ITER 6515 NEW BEST:: SOT 63613 SOS 23129 HAS SOPS 23129 HAS SOUS 20924 HAS SOUPS 20924 WITH SCORE 20947.129
AT ITER 6522 NEW BEST:: SOT 63613 SOS 23109 HAS SOPS 23109 HAS SOUS 20917 HAS SOUPS 20917 WITH SCORE 20940.109
AT ITER 6547 NEW BEST:: SOT 63590 SOS 23078 HAS SOPS 23078 HAS SOUS 20885 HAS SOUPS 20885 WITH SCORE 20908.078
AT ITER 6577 NEW BEST:: SOT 63624 SOS 23059 HAS SOPS 23059 HAS SOUS 20861 HAS SOUPS 20861 WITH SCORE 20884.059
AT ITER 6604 NEW BEST:: SOT 63616 SOS 23029 HAS SOPS 23029 HAS SOUS 20848 HAS SOUPS 20848 WITH SCORE 20871.029
AT ITER 6691 NEW BEST:: SOT 63564 SOS 22977 HAS SOPS 22977 HAS SOUS 20796 HAS SOUPS 20796 WITH SCORE 20818.977
AT ITER 6696 NEW BEST:: SOT 63567 SOS 22942 HAS SOPS 22942 HAS SOUS 20782 HAS SOUPS 20782 WITH SCORE 20804.942
AT ITER 6772 NEW BEST:: SOT 63567 SOS 22920 HAS SOPS 22920 HAS SOUS 20773 HAS SOUPS 20773 WITH SCORE 20795.92
AT ITER 6790 NEW BEST:: SOT 63563 SOS 22916 HAS SOPS 22916 HAS SOUS 20769 HAS SOUPS 20769 WITH SCORE 20791.916
AT ITER 6802 NEW BEST:: SOT 63539 SOS 22882 HAS SOPS 22882 HAS SOUS 20735 HAS SOUPS 20735 WITH SCORE 20757.882
AT ITER 6891 NEW BEST:: SOT 63527 SOS 22862 HAS SOPS 22862 HAS SOUS 20715 HAS SOUPS 20715 WITH SCORE 20737.862
AT ITER 6896 NEW BEST:: SOT 63519 SOS 22845 HAS SOPS 22845 HAS SOUS 20698 HAS SOUPS 20698 WITH SCORE 20720.845
AT ITER 6909 NEW BEST:: SOT 63517 SOS 22843 HAS SOPS 22843 HAS SOUS 20696 HAS SOUPS 20696 WITH SCORE 20718.843
AT ITER 6922 NEW BEST:: SOT 63565 SOS 22891 HAS SOPS 22891 HAS SOUS 20678 HAS SOUPS 20678 WITH SCORE 20700.891
AT ITER 6974 NEW BEST:: SOT 63565 SOS 22891 HAS SOPS 22891 HAS SOUS 20664 HAS SOUPS 20664 WITH SCORE 20686.891
AT ITER 6983 NEW BEST:: SOT 63545 SOS 22829 HAS SOPS 22829 HAS SOUS 20622 HAS SOUPS 20622 WITH SCORE 20644.829
AT ITER 7008 NEW BEST:: SOT 63533 SOS 22822 HAS SOPS 22822 HAS SOUS 20615 HAS SOUPS 20615 WITH SCORE 20637.822
AT ITER 7021 NEW BEST:: SOT 63525 SOS 22822 HAS SOPS 22822 HAS SOUS 20590 HAS SOUPS 20590 WITH SCORE 20612.822
AT ITER 7032 NEW BEST:: SOT 63525 SOS 22822 HAS SOPS 22822 HAS SOUS 20585 HAS SOUPS 20585 WITH SCORE 20607.822
AT ITER 7101 NEW BEST:: SOT 63525 SOS 22806 HAS SOPS 22806 HAS SOUS 20574 HAS SOUPS 20574 WITH SCORE 20596.806
AT ITER 7118 NEW BEST:: SOT 63516 SOS 22797 HAS SOPS 22797 HAS SOUS 20565 HAS SOUPS 20565 WITH SCORE 20587.797
AT ITER 7131 NEW BEST:: SOT 63518 SOS 22791 HAS SOPS 22791 HAS SOUS 20562 HAS SOUPS 20562 WITH SCORE 20584.791
AT ITER 7171 NEW BEST:: SOT 63518 SOS 22785 HAS SOPS 22785 HAS SOUS 20556 HAS SOUPS 20556 WITH SCORE 20578.785
AT ITER 7184 NEW BEST:: SOT 63502 SOS 22769 HAS SOPS 22769 HAS SOUS 20540 HAS SOUPS 20540 WITH SCORE 20562.769
AT ITER 7189 NEW BEST:: SOT 63489 SOS 22755 HAS SOPS 22755 HAS SOUS 20514 HAS SOUPS 20514 WITH SCORE 20536.755
AT ITER 7218 NEW BEST:: SOT 63479 SOS 22756 HAS SOPS 22756 HAS SOUS 20513 HAS SOUPS 20513 WITH SCORE 20535.756
AT ITER 7237 NEW BEST:: SOT 63461 SOS 22726 HAS SOPS 22726 HAS SOUS 20491 HAS SOUPS 20491 WITH SCORE 20513.726
AT ITER 7257 NEW BEST:: SOT 63481 SOS 22700 HAS SOPS 22700 HAS SOUS 20483 HAS SOUPS 20483 WITH SCORE 20505.7
AT ITER 7272 NEW BEST:: SOT 63483 SOS 22691 HAS SOPS 22691 HAS SOUS 20474 HAS SOUPS 20474 WITH SCORE 20496.691
AT ITER 7292 NEW BEST:: SOT 63483 SOS 22688 HAS SOPS 22688 HAS SOUS 20471 HAS SOUPS 20471 WITH SCORE 20493.688
AT ITER 7296 NEW BEST:: SOT 63487 SOS 22647 HAS SOPS 22647 HAS SOUS 20424 HAS SOUPS 20424 WITH SCORE 20446.647
AT ITER 7335 NEW BEST:: SOT 63481 SOS 22641 HAS SOPS 22641 HAS SOUS 20417 HAS SOUPS 20417 WITH SCORE 20439.641
AT ITER 7344 NEW BEST:: SOT 63465 SOS 22635 HAS SOPS 22635 HAS SOUS 20411 HAS SOUPS 20411 WITH SCORE 20433.635
AT ITER 7364 NEW BEST:: SOT 63437 SOS 22607 HAS SOPS 22607 HAS SOUS 20383 HAS SOUPS 20383 WITH SCORE 20405.607
AT ITER 7366 NEW BEST:: SOT 63433 SOS 22603 HAS SOPS 22603 HAS SOUS 20379 HAS SOUPS 20379 WITH SCORE 20401.603
AT ITER 7397 NEW BEST:: SOT 63410 SOS 22568 HAS SOPS 22568 HAS SOUS 20337 HAS SOUPS 20337 WITH SCORE 20359.568
AT ITER 7419 NEW BEST:: SOT 63391 SOS 22553 HAS SOPS 22553 HAS SOUS 20325 HAS SOUPS 20325 WITH SCORE 20347.553
AT ITER 7423 NEW BEST:: SOT 63390 SOS 22552 HAS SOPS 22552 HAS SOUS 20323 HAS SOUPS 20323 WITH SCORE 20345.552
AT ITER 7474 NEW BEST:: SOT 63389 SOS 22551 HAS SOPS 22551 HAS SOUS 20322 HAS SOUPS 20322 WITH SCORE 20344.551
AT ITER 7509 NEW BEST:: SOT 63339 SOS 22476 HAS SOPS 22476 HAS SOUS 20247 HAS SOUPS 20247 WITH SCORE 20269.476
AT ITER 7511 NEW BEST:: SOT 63331 SOS 22468 HAS SOPS 22468 HAS SOUS 20239 HAS SOUPS 20239 WITH SCORE 20261.468
AT ITER 7538 NEW BEST:: SOT 63318 SOS 22478 HAS SOPS 22478 HAS SOUS 20217 HAS SOUPS 20217 WITH SCORE 20239.478
AT ITER 7655 NEW BEST:: SOT 63295 SOS 22451 HAS SOPS 22451 HAS SOUS 20206 HAS SOUPS 20206 WITH SCORE 20228.451
AT ITER 7667 NEW BEST:: SOT 63295 SOS 22436 HAS SOPS 22436 HAS SOUS 20196 HAS SOUPS 20196 WITH SCORE 20218.436
AT ITER 7686 NEW BEST:: SOT 63295 SOS 22397 HAS SOPS 22397 HAS SOUS 20176 HAS SOUPS 20176 WITH SCORE 20198.397
AT ITER 7719 NEW BEST:: SOT 63294 SOS 22392 HAS SOPS 22392 HAS SOUS 20174 HAS SOUPS 20174 WITH SCORE 20196.392
AT ITER 7726 NEW BEST:: SOT 63292 SOS 22406 HAS SOPS 22406 HAS SOUS 20158 HAS SOUPS 20158 WITH SCORE 20180.406
AT ITER 7744 NEW BEST:: SOT 63291 SOS 22405 HAS SOPS 22405 HAS SOUS 20157 HAS SOUPS 20157 WITH SCORE 20179.405
AT ITER 7748 NEW BEST:: SOT 63289 SOS 22379 HAS SOPS 22379 HAS SOUS 20146 HAS SOUPS 20146 WITH SCORE 20168.379
AT ITER 7771 NEW BEST:: SOT 63282 SOS 22372 HAS SOPS 22372 HAS SOUS 20132 HAS SOUPS 20132 WITH SCORE 20154.372
AT ITER 7778 NEW BEST:: SOT 63279 SOS 22370 HAS SOPS 22370 HAS SOUS 20128 HAS SOUPS 20128 WITH SCORE 20150.37
AT ITER 7790 NEW BEST:: SOT 63264 SOS 22351 HAS SOPS 22351 HAS SOUS 20105 HAS SOUPS 20105 WITH SCORE 20127.351
AT ITER 7830 NEW BEST:: SOT 63263 SOS 22350 HAS SOPS 22350 HAS SOUS 20105 HAS SOUPS 20105 WITH SCORE 20127.35
AT ITER 7850 NEW BEST:: SOT 63269 SOS 22356 HAS SOPS 22356 HAS SOUS 20097 HAS SOUPS 20097 WITH SCORE 20119.356
AT ITER 7860 NEW BEST:: SOT 63258 SOS 22345 HAS SOPS 22345 HAS SOUS 20086 HAS SOUPS 20086 WITH SCORE 20108.345
AT ITER 7876 NEW BEST:: SOT 63257 SOS 22344 HAS SOPS 22344 HAS SOUS 20085 HAS SOUPS 20085 WITH SCORE 20107.344
AT ITER 7942 NEW BEST:: SOT 63242 SOS 22329 HAS SOPS 22329 HAS SOUS 20059 HAS SOUPS 20059 WITH SCORE 20081.329
AT ITER 7970 NEW BEST:: SOT 63236 SOS 22323 HAS SOPS 22323 HAS SOUS 20053 HAS SOUPS 20053 WITH SCORE 20075.323
AT ITER 7972 NEW BEST:: SOT 63230 SOS 22311 HAS SOPS 22311 HAS SOUS 20047 HAS SOUPS 20047 WITH SCORE 20069.311
AT ITER 7978 NEW BEST:: SOT 63229 SOS 22304 HAS SOPS 22304 HAS SOUS 20045 HAS SOUPS 20045 WITH SCORE 20067.304
AT ITER 7984 NEW BEST:: SOT 63209 SOS 22284 HAS SOPS 22284 HAS SOUS 20025 HAS SOUPS 20025 WITH SCORE 20047.284
AT ITER 7993 NEW BEST:: SOT 63209 SOS 22278 HAS SOPS 22278 HAS SOUS 20012 HAS SOUPS 20012 WITH SCORE 20034.278
AT ITER 8008 NEW BEST:: SOT 63179 SOS 22248 HAS SOPS 22248 HAS SOUS 20011 HAS SOUPS 20011 WITH SCORE 20033.248
AT ITER 8016 NEW BEST:: SOT 63138 SOS 22234 HAS SOPS 22234 HAS SOUS 19997 HAS SOUPS 19997 WITH SCORE 20019.234
AT ITER 8046 NEW BEST:: SOT 63149 SOS 22241 HAS SOPS 22241 HAS SOUS 19991 HAS SOUPS 19991 WITH SCORE 20013.241
AT ITER 8072 NEW BEST:: SOT 63135 SOS 22227 HAS SOPS 22227 HAS SOUS 19977 HAS SOUPS 19977 WITH SCORE 19999.227
AT ITER 8086 NEW BEST:: SOT 63134 SOS 22225 HAS SOPS 22225 HAS SOUS 19976 HAS SOUPS 19976 WITH SCORE 19998.225
AT ITER 8120 NEW BEST:: SOT 63131 SOS 22221 HAS SOPS 22221 HAS SOUS 19972 HAS SOUPS 19972 WITH SCORE 19994.221
AT ITER 8141 NEW BEST:: SOT 63135 SOS 22215 HAS SOPS 22215 HAS SOUS 19966 HAS SOUPS 19966 WITH SCORE 19988.215
AT ITER 8161 NEW BEST:: SOT 63135 SOS 22215 HAS SOPS 22215 HAS SOUS 19963 HAS SOUPS 19963 WITH SCORE 19985.215
AT ITER 8278 NEW BEST:: SOT 63128 SOS 22187 HAS SOPS 22187 HAS SOUS 19933 HAS SOUPS 19933 WITH SCORE 19955.187
AT ITER 8297 NEW BEST:: SOT 63125 SOS 22131 HAS SOPS 22131 HAS SOUS 19923 HAS SOUPS 19923 WITH SCORE 19945.131
AT ITER 8300 NEW BEST:: SOT 63118 SOS 22133 HAS SOPS 22133 HAS SOUS 19916 HAS SOUPS 19916 WITH SCORE 19938.133
AT ITER 8346 NEW BEST:: SOT 63121 SOS 22129 HAS SOPS 22129 HAS SOUS 19916 HAS SOUPS 19916 WITH SCORE 19938.129
AT ITER 8348 NEW BEST:: SOT 63110 SOS 22118 HAS SOPS 22118 HAS SOUS 19905 HAS SOUPS 19905 WITH SCORE 19927.118
AT ITER 8366 NEW BEST:: SOT 63098 SOS 22104 HAS SOPS 22104 HAS SOUS 19887 HAS SOUPS 19887 WITH SCORE 19909.104
AT ITER 8380 NEW BEST:: SOT 63097 SOS 22100 HAS SOPS 22100 HAS SOUS 19883 HAS SOUPS 19883 WITH SCORE 19905.1
AT ITER 8383 NEW BEST:: SOT 63097 SOS 22085 HAS SOPS 22085 HAS SOUS 19868 HAS SOUPS 19868 WITH SCORE 19890.085
AT ITER 8409 NEW BEST:: SOT 63090 SOS 22071 HAS SOPS 22071 HAS SOUS 19855 HAS SOUPS 19855 WITH SCORE 19877.071
AT ITER 8416 NEW BEST:: SOT 63083 SOS 22064 HAS SOPS 22064 HAS SOUS 19848 HAS SOUPS 19848 WITH SCORE 19870.064
AT ITER 8447 NEW BEST:: SOT 63083 SOS 22060 HAS SOPS 22060 HAS SOUS 19844 HAS SOUPS 19844 WITH SCORE 19866.06
AT ITER 8461 NEW BEST:: SOT 63089 SOS 22042 HAS SOPS 22042 HAS SOUS 19836 HAS SOUPS 19836 WITH SCORE 19858.042
AT ITER 8535 NEW BEST:: SOT 63097 SOS 22023 HAS SOPS 22023 HAS SOUS 19834 HAS SOUPS 19834 WITH SCORE 19856.023
AT ITER 8540 NEW BEST:: SOT 63085 SOS 21999 HAS SOPS 21999 HAS SOUS 19805 HAS SOUPS 19805 WITH SCORE 19826.999
AT ITER 8568 NEW BEST:: SOT 63081 SOS 21965 HAS SOPS 21965 HAS SOUS 19781 HAS SOUPS 19781 WITH SCORE 19802.965
AT ITER 8581 NEW BEST:: SOT 63111 SOS 21934 HAS SOPS 21934 HAS SOUS 19744 HAS SOUPS 19744 WITH SCORE 19765.934
AT ITER 8598 NEW BEST:: SOT 63115 SOS 21873 HAS SOPS 21873 HAS SOUS 19731 HAS SOUPS 19731 WITH SCORE 19752.873
AT ITER 8604 NEW BEST:: SOT 63115 SOS 21872 HAS SOPS 21872 HAS SOUS 19726 HAS SOUPS 19726 WITH SCORE 19747.872
AT ITER 8619 NEW BEST:: SOT 63115 SOS 21861 HAS SOPS 21861 HAS SOUS 19715 HAS SOUPS 19715 WITH SCORE 19736.861
AT ITER 8620 NEW BEST:: SOT 63115 SOS 21856 HAS SOPS 21856 HAS SOUS 19710 HAS SOUPS 19710 WITH SCORE 19731.856
AT ITER 8636 NEW BEST:: SOT 63113 SOS 21854 HAS SOPS 21854 HAS SOUS 19709 HAS SOUPS 19709 WITH SCORE 19730.854
AT ITER 8655 NEW BEST:: SOT 63099 SOS 21840 HAS SOPS 21840 HAS SOUS 19695 HAS SOUPS 19695 WITH SCORE 19716.84
AT ITER 8667 NEW BEST:: SOT 63093 SOS 21834 HAS SOPS 21834 HAS SOUS 19689 HAS SOUPS 19689 WITH SCORE 19710.834
AT ITER 8670 NEW BEST:: SOT 63093 SOS 21820 HAS SOPS 21820 HAS SOUS 19687 HAS SOUPS 19687 WITH SCORE 19708.82
AT ITER 8689 NEW BEST:: SOT 63092 SOS 21830 HAS SOPS 21830 HAS SOUS 19686 HAS SOUPS 19686 WITH SCORE 19707.83
AT ITER 8715 NEW BEST:: SOT 63059 SOS 21797 HAS SOPS 21797 HAS SOUS 19660 HAS SOUPS 19660 WITH SCORE 19681.797
AT ITER 8746 NEW BEST:: SOT 63053 SOS 21791 HAS SOPS 21791 HAS SOUS 19654 HAS SOUPS 19654 WITH SCORE 19675.791
AT ITER 8762 NEW BEST:: SOT 63008 SOS 21778 HAS SOPS 21778 HAS SOUS 19640 HAS SOUPS 19640 WITH SCORE 19661.778
AT ITER 8778 NEW BEST:: SOT 63023 SOS 21759 HAS SOPS 21759 HAS SOUS 19621 HAS SOUPS 19621 WITH SCORE 19642.759
AT ITER 8786 NEW BEST:: SOT 63019 SOS 21755 HAS SOPS 21755 HAS SOUS 19617 HAS SOUPS 19617 WITH SCORE 19638.755
AT ITER 8840 NEW BEST:: SOT 63019 SOS 21751 HAS SOPS 21751 HAS SOUS 19615 HAS SOUPS 19615 WITH SCORE 19636.751
AT ITER 8954 NEW BEST:: SOT 62970 SOS 21702 HAS SOPS 21702 HAS SOUS 19558 HAS SOUPS 19558 WITH SCORE 19579.702
AT ITER 8992 NEW BEST:: SOT 62976 SOS 21708 HAS SOPS 21708 HAS SOUS 19555 HAS SOUPS 19555 WITH SCORE 19576.708
AT ITER 9006 NEW BEST:: SOT 62975 SOS 21689 HAS SOPS 21689 HAS SOUS 19536 HAS SOUPS 19536 WITH SCORE 19557.689
AT ITER 9020 NEW BEST:: SOT 62974 SOS 21688 HAS SOPS 21688 HAS SOUS 19535 HAS SOUPS 19535 WITH SCORE 19556.688
AT ITER 9070 NEW BEST:: SOT 62980 SOS 21703 HAS SOPS 21703 HAS SOUS 19533 HAS SOUPS 19533 WITH SCORE 19554.703
AT ITER 9089 NEW BEST:: SOT 62972 SOS 21697 HAS SOPS 21697 HAS SOUS 19509 HAS SOUPS 19509 WITH SCORE 19530.697
AT ITER 9094 NEW BEST:: SOT 62960 SOS 21688 HAS SOPS 21688 HAS SOUS 19500 HAS SOUPS 19500 WITH SCORE 19521.688
AT ITER 9147 NEW BEST:: SOT 62943 SOS 21670 HAS SOPS 21670 HAS SOUS 19482 HAS SOUPS 19482 WITH SCORE 19503.67
AT ITER 9176 NEW BEST:: SOT 62942 SOS 21669 HAS SOPS 21669 HAS SOUS 19481 HAS SOUPS 19481 WITH SCORE 19502.669
AT ITER 9205 NEW BEST:: SOT 62940 SOS 21666 HAS SOPS 21666 HAS SOUS 19478 HAS SOUPS 19478 WITH SCORE 19499.666
AT ITER 9221 NEW BEST:: SOT 62938 SOS 21664 HAS SOPS 21664 HAS SOUS 19476 HAS SOUPS 19476 WITH SCORE 19497.664
AT ITER 9227 NEW BEST:: SOT 62935 SOS 21658 HAS SOPS 21658 HAS SOUS 19470 HAS SOUPS 19470 WITH SCORE 19491.658
AT ITER 9250 NEW BEST:: SOT 62926 SOS 21652 HAS SOPS 21652 HAS SOUS 19463 HAS SOUPS 19463 WITH SCORE 19484.652
AT ITER 9284 NEW BEST:: SOT 62872 SOS 21591 HAS SOPS 21591 HAS SOUS 19386 HAS SOUPS 19386 WITH SCORE 19407.591
AT ITER 9303 NEW BEST:: SOT 62872 SOS 21591 HAS SOPS 21591 HAS SOUS 19384 HAS SOUPS 19384 WITH SCORE 19405.591
AT ITER 9317 NEW BEST:: SOT 62842 SOS 21555 HAS SOPS 21555 HAS SOUS 19358 HAS SOUPS 19358 WITH SCORE 19379.555
AT ITER 9357 NEW BEST:: SOT 62829 SOS 21595 HAS SOPS 21595 HAS SOUS 19346 HAS SOUPS 19346 WITH SCORE 19367.595
AT ITER 9414 NEW BEST:: SOT 62816 SOS 21587 HAS SOPS 21587 HAS SOUS 19338 HAS SOUPS 19338 WITH SCORE 19359.587
AT ITER 9417 NEW BEST:: SOT 62815 SOS 21592 HAS SOPS 21592 HAS SOUS 19327 HAS SOUPS 19327 WITH SCORE 19348.592
AT ITER 9452 NEW BEST:: SOT 62791 SOS 21559 HAS SOPS 21559 HAS SOUS 19303 HAS SOUPS 19303 WITH SCORE 19324.559
AT ITER 9498 NEW BEST:: SOT 62756 SOS 21524 HAS SOPS 21524 HAS SOUS 19268 HAS SOUPS 19268 WITH SCORE 19289.524
AT ITER 9510 NEW BEST:: SOT 62750 SOS 21512 HAS SOPS 21512 HAS SOUS 19256 HAS SOUPS 19256 WITH SCORE 19277.512
AT ITER 9519 NEW BEST:: SOT 62746 SOS 21508 HAS SOPS 21508 HAS SOUS 19252 HAS SOUPS 19252 WITH SCORE 19273.508
AT ITER 9545 NEW BEST:: SOT 62740 SOS 21502 HAS SOPS 21502 HAS SOUS 19248 HAS SOUPS 19248 WITH SCORE 19269.502
AT ITER 9589 NEW BEST:: SOT 62727 SOS 21486 HAS SOPS 21486 HAS SOUS 19246 HAS SOUPS 19246 WITH SCORE 19267.486
AT ITER 9604 NEW BEST:: SOT 62717 SOS 21466 HAS SOPS 21466 HAS SOUS 19236 HAS SOUPS 19236 WITH SCORE 19257.466
AT ITER 9612 NEW BEST:: SOT 62713 SOS 21470 HAS SOPS 21470 HAS SOUS 19234 HAS SOUPS 19234 WITH SCORE 19255.47
AT ITER 9639 NEW BEST:: SOT 62698 SOS 21458 HAS SOPS 21458 HAS SOUS 19222 HAS SOUPS 19222 WITH SCORE 19243.458
AT ITER 9647 NEW BEST:: SOT 62691 SOS 21435 HAS SOPS 21435 HAS SOUS 19208 HAS SOUPS 19208 WITH SCORE 19229.435
AT ITER 9665 NEW BEST:: SOT 62682 SOS 21426 HAS SOPS 21426 HAS SOUS 19192 HAS SOUPS 19192 WITH SCORE 19213.426
AT ITER 9667 NEW BEST:: SOT 62676 SOS 21420 HAS SOPS 21420 HAS SOUS 19186 HAS SOUPS 19186 WITH SCORE 19207.42
AT ITER 9699 NEW BEST:: SOT 62676 SOS 21391 HAS SOPS 21391 HAS SOUS 19178 HAS SOUPS 19178 WITH SCORE 19199.391
AT ITER 9738 NEW BEST:: SOT 62674 SOS 21385 HAS SOPS 21385 HAS SOUS 19175 HAS SOUPS 19175 WITH SCORE 19196.385
AT ITER 9753 NEW BEST:: SOT 62670 SOS 21377 HAS SOPS 21377 HAS SOUS 19167 HAS SOUPS 19167 WITH SCORE 19188.377
AT ITER 9809 NEW BEST:: SOT 62637 SOS 21344 HAS SOPS 21344 HAS SOUS 19106 HAS SOUPS 19106 WITH SCORE 19127.344
AT ITER 9816 NEW BEST:: SOT 62631 SOS 21338 HAS SOPS 21338 HAS SOUS 19106 HAS SOUPS 19106 WITH SCORE 19127.338
AT ITER 9840 NEW BEST:: SOT 62628 SOS 21335 HAS SOPS 21335 HAS SOUS 19103 HAS SOUPS 19103 WITH SCORE 19124.335
AT ITER 9864 NEW BEST:: SOT 62624 SOS 21331 HAS SOPS 21331 HAS SOUS 19099 HAS SOUPS 19099 WITH SCORE 19120.331
AT ITER 9874 NEW BEST:: SOT 62623 SOS 21330 HAS SOPS 21330 HAS SOUS 19098 HAS SOUPS 19098 WITH SCORE 19119.33
AT ITER 9881 NEW BEST:: SOT 62605 SOS 21312 HAS SOPS 21312 HAS SOUS 19080 HAS SOUPS 19080 WITH SCORE 19101.312
AT ITER 9890 NEW BEST:: SOT 62605 SOS 21296 HAS SOPS 21296 HAS SOUS 19080 HAS SOUPS 19080 WITH SCORE 19101.296
AT ITER 9896 NEW BEST:: SOT 62603 SOS 21294 HAS SOPS 21294 HAS SOUS 19077 HAS SOUPS 19077 WITH SCORE 19098.294
AT ITER 9914 NEW BEST:: SOT 62590 SOS 21251 HAS SOPS 21251 HAS SOUS 19033 HAS SOUPS 19033 WITH SCORE 19054.251
AT ITER 9930 NEW BEST:: SOT 62556 SOS 21223 HAS SOPS 21223 HAS SOUS 19005 HAS SOUPS 19005 WITH SCORE 19026.223
AT ITER 9933 NEW BEST:: SOT 62556 SOS 21191 HAS SOPS 21191 HAS SOUS 18993 HAS SOUPS 18993 WITH SCORE 19014.191
AT ITER 9954 NEW BEST:: SOT 62546 SOS 21118 HAS SOPS 21118 HAS SOUS 18961 HAS SOUPS 18961 WITH SCORE 18982.118
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 198212 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16294128 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:
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ sed s/.jar//
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPt-PT-020A"
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 ShieldIIPt-PT-020A, 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 r395-oct2-167903718600280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-020A.tgz
mv ShieldIIPt-PT-020A 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 ;