fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r138-smll-158961502600268
Last Updated
Jun 28, 2020

About the Execution of smart for Raft-PT-08

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.830 3093141.00 3093069.00 0.00 [undef] Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502600268.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Raft-PT-08, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502600268
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 352K
-rw-r--r-- 1 mcc users 4.3K Apr 12 08:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 12 08:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 11 09:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 09:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 9 21:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 9 21:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 156K Mar 24 05:38 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Raft-PT-08-CTLFireability-00
FORMULA_NAME Raft-PT-08-CTLFireability-01
FORMULA_NAME Raft-PT-08-CTLFireability-02
FORMULA_NAME Raft-PT-08-CTLFireability-03
FORMULA_NAME Raft-PT-08-CTLFireability-04
FORMULA_NAME Raft-PT-08-CTLFireability-05
FORMULA_NAME Raft-PT-08-CTLFireability-06
FORMULA_NAME Raft-PT-08-CTLFireability-07
FORMULA_NAME Raft-PT-08-CTLFireability-08
FORMULA_NAME Raft-PT-08-CTLFireability-09
FORMULA_NAME Raft-PT-08-CTLFireability-10
FORMULA_NAME Raft-PT-08-CTLFireability-11
FORMULA_NAME Raft-PT-08-CTLFireability-12
FORMULA_NAME Raft-PT-08-CTLFireability-13
FORMULA_NAME Raft-PT-08-CTLFireability-14
FORMULA_NAME Raft-PT-08-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589803495916

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 08
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 328 places, 568 transitions, 2163 arcs.
AT ITER 0 NEW BEST:: SOT 163639 SOS 109952 HAS SOPS 109920 HAS SOUS 86574 HAS SOUPS 86566 WITH SCORE 86675.952
AT ITER 2 NEW BEST:: SOT 163639 SOS 109903 HAS SOPS 109871 HAS SOUS 86574 HAS SOUPS 86566 WITH SCORE 86675.903
AT ITER 5 NEW BEST:: SOT 163397 SOS 109607 HAS SOPS 109546 HAS SOUS 86264 HAS SOUPS 86229 WITH SCORE 86338.607
AT ITER 7 NEW BEST:: SOT 163013 SOS 109185 HAS SOPS 109076 HAS SOUS 85810 HAS SOUPS 85728 WITH SCORE 85837.185
AT ITER 8 NEW BEST:: SOT 162707 SOS 109235 HAS SOPS 109104 HAS SOUS 85794 HAS SOUPS 85699 WITH SCORE 85808.235
AT ITER 9 NEW BEST:: SOT 162641 SOS 109261 HAS SOPS 109140 HAS SOUS 85762 HAS SOUPS 85669 WITH SCORE 85778.261
AT ITER 15 NEW BEST:: SOT 162641 SOS 109255 HAS SOPS 109134 HAS SOUS 85756 HAS SOUPS 85663 WITH SCORE 85772.255
AT ITER 16 NEW BEST:: SOT 162641 SOS 109177 HAS SOPS 109056 HAS SOUS 85756 HAS SOUPS 85663 WITH SCORE 85772.177
AT ITER 17 NEW BEST:: SOT 162641 SOS 109136 HAS SOPS 109015 HAS SOUS 85714 HAS SOUPS 85621 WITH SCORE 85730.136
AT ITER 18 NEW BEST:: SOT 162641 SOS 109136 HAS SOPS 109015 HAS SOUS 85652 HAS SOUPS 85559 WITH SCORE 85668.136
AT ITER 19 NEW BEST:: SOT 162641 SOS 108611 HAS SOPS 108490 HAS SOUS 85552 HAS SOUPS 85459 WITH SCORE 85567.611
AT ITER 20 NEW BEST:: SOT 162837 SOS 108671 HAS SOPS 108550 HAS SOUS 85444 HAS SOUPS 85351 WITH SCORE 85459.671
AT ITER 22 NEW BEST:: SOT 162385 SOS 108142 HAS SOPS 107977 HAS SOUS 84841 HAS SOUPS 84716 WITH SCORE 84824.142
AT ITER 23 NEW BEST:: SOT 162385 SOS 108010 HAS SOPS 107845 HAS SOUS 84841 HAS SOUPS 84716 WITH SCORE 84824.01
AT ITER 24 NEW BEST:: SOT 162385 SOS 108010 HAS SOPS 107845 HAS SOUS 84829 HAS SOUPS 84704 WITH SCORE 84812.01
AT ITER 26 NEW BEST:: SOT 162549 SOS 107321 HAS SOPS 107156 HAS SOUS 84820 HAS SOUPS 84695 WITH SCORE 84802.321
AT ITER 27 NEW BEST:: SOT 162348 SOS 107120 HAS SOPS 106955 HAS SOUS 84617 HAS SOUPS 84492 WITH SCORE 84599.12
AT ITER 28 NEW BEST:: SOT 162241 SOS 107295 HAS SOPS 107130 HAS SOUS 84601 HAS SOUPS 84476 WITH SCORE 84583.295
AT ITER 30 NEW BEST:: SOT 162241 SOS 107173 HAS SOPS 107008 HAS SOUS 84601 HAS SOUPS 84476 WITH SCORE 84583.173
AT ITER 32 NEW BEST:: SOT 162241 SOS 107137 HAS SOPS 106972 HAS SOUS 84564 HAS SOUPS 84439 WITH SCORE 84546.137
AT ITER 36 NEW BEST:: SOT 162025 SOS 106913 HAS SOPS 106723 HAS SOUS 84306 HAS SOUPS 84157 WITH SCORE 84263.913
AT ITER 38 NEW BEST:: SOT 162025 SOS 106452 HAS SOPS 106262 HAS SOUS 84172 HAS SOUPS 84023 WITH SCORE 84129.452
AT ITER 40 NEW BEST:: SOT 162025 SOS 106423 HAS SOPS 106233 HAS SOUS 84172 HAS SOUPS 84023 WITH SCORE 84129.423
AT ITER 42 NEW BEST:: SOT 162025 SOS 106391 HAS SOPS 106201 HAS SOUS 84172 HAS SOUPS 84023 WITH SCORE 84129.391
AT ITER 43 NEW BEST:: SOT 159743 SOS 107569 HAS SOPS 104567 HAS SOUS 83242 HAS SOUPS 82877 WITH SCORE 82984.569
AT ITER 44 NEW BEST:: SOT 159743 SOS 107569 HAS SOPS 104567 HAS SOUS 83235 HAS SOUPS 82870 WITH SCORE 82977.569
AT ITER 51 NEW BEST:: SOT 159080 SOS 107053 HAS SOPS 104086 HAS SOUS 82683 HAS SOUPS 82286 WITH SCORE 82393.053
AT ITER 52 NEW BEST:: SOT 158483 SOS 106533 HAS SOPS 103597 HAS SOUS 82103 HAS SOUPS 81703 WITH SCORE 81809.533
AT ITER 53 NEW BEST:: SOT 158483 SOS 106414 HAS SOPS 103478 HAS SOUS 82103 HAS SOUPS 81703 WITH SCORE 81809.414
AT ITER 55 NEW BEST:: SOT 158483 SOS 106344 HAS SOPS 103478 HAS SOUS 82103 HAS SOUPS 81703 WITH SCORE 81809.344
AT ITER 58 NEW BEST:: SOT 158287 SOS 105993 HAS SOPS 103102 HAS SOUS 81622 HAS SOUPS 81198 WITH SCORE 81303.993
AT ITER 60 NEW BEST:: SOT 158287 SOS 105069 HAS SOPS 102178 HAS SOUS 81393 HAS SOUPS 80969 WITH SCORE 81074.069
AT ITER 62 NEW BEST:: SOT 158287 SOS 105039 HAS SOPS 102148 HAS SOUS 81393 HAS SOUPS 80969 WITH SCORE 81074.039
AT ITER 65 NEW BEST:: SOT 157580 SOS 104284 HAS SOPS 101393 HAS SOUS 80638 HAS SOUPS 80214 WITH SCORE 80318.284
AT ITER 66 NEW BEST:: SOT 157580 SOS 104303 HAS SOPS 101412 HAS SOUS 80502 HAS SOUPS 80078 WITH SCORE 80182.303
AT ITER 68 NEW BEST:: SOT 157289 SOS 104013 HAS SOPS 101122 HAS SOUS 80212 HAS SOUPS 79788 WITH SCORE 79892.013
AT ITER 70 NEW BEST:: SOT 155636 SOS 107310 HAS SOPS 100448 HAS SOUS 80032 HAS SOUPS 79435 WITH SCORE 79542.31
AT ITER 71 NEW BEST:: SOT 155636 SOS 107028 HAS SOPS 99466 HAS SOUS 79436 HAS SOUPS 78839 WITH SCORE 78946.028
AT ITER 74 NEW BEST:: SOT 155591 SOS 106935 HAS SOPS 99349 HAS SOUS 79311 HAS SOUPS 78691 WITH SCORE 78797.935
AT ITER 75 NEW BEST:: SOT 155591 SOS 106917 HAS SOPS 99331 HAS SOUS 79293 HAS SOUPS 78673 WITH SCORE 78779.917
AT ITER 76 NEW BEST:: SOT 155553 SOS 106767 HAS SOPS 99181 HAS SOUS 79273 HAS SOUPS 78653 WITH SCORE 78759.767
AT ITER 77 NEW BEST:: SOT 154991 SOS 106205 HAS SOPS 98619 HAS SOUS 78711 HAS SOUPS 78091 WITH SCORE 78197.205
AT ITER 78 NEW BEST:: SOT 154991 SOS 105298 HAS SOPS 97712 HAS SOUS 78711 HAS SOUPS 78091 WITH SCORE 78196.298
AT ITER 82 NEW BEST:: SOT 154941 SOS 105248 HAS SOPS 97614 HAS SOUS 78613 HAS SOUPS 77993 WITH SCORE 78098.248
AT ITER 83 NEW BEST:: SOT 154737 SOS 105160 HAS SOPS 97511 HAS SOUS 78241 HAS SOUPS 77621 WITH SCORE 77726.16
AT ITER 86 NEW BEST:: SOT 154737 SOS 105131 HAS SOPS 97482 HAS SOUS 78241 HAS SOUPS 77621 WITH SCORE 77726.131
AT ITER 88 NEW BEST:: SOT 154737 SOS 105050 HAS SOPS 97541 HAS SOUS 78238 HAS SOUPS 77618 WITH SCORE 77723.05
AT ITER 89 NEW BEST:: SOT 154247 SOS 104983 HAS SOPS 97584 HAS SOUS 78087 HAS SOUPS 77467 WITH SCORE 77571.983
AT ITER 92 NEW BEST:: SOT 149647 SOS 105251 HAS SOPS 94193 HAS SOUS 75249 HAS SOUPS 74415 WITH SCORE 74520.251
AT ITER 93 NEW BEST:: SOT 149581 SOS 105074 HAS SOPS 94094 HAS SOUS 75152 HAS SOUPS 74318 WITH SCORE 74423.074
AT ITER 94 NEW BEST:: SOT 148977 SOS 104742 HAS SOPS 93605 HAS SOUS 74537 HAS SOUPS 73692 WITH SCORE 73796.742
AT ITER 97 NEW BEST:: SOT 148977 SOS 104686 HAS SOPS 93549 HAS SOUS 74537 HAS SOUPS 73692 WITH SCORE 73796.686
AT ITER 98 NEW BEST:: SOT 148961 SOS 104260 HAS SOPS 93137 HAS SOUS 74494 HAS SOUPS 73649 WITH SCORE 73753.26
AT ITER 99 NEW BEST:: SOT 148892 SOS 104111 HAS SOPS 92921 HAS SOUS 74356 HAS SOUPS 73511 WITH SCORE 73615.111
AT ITER 100 NEW BEST:: SOT 148892 SOS 103905 HAS SOPS 92818 HAS SOUS 74356 HAS SOUPS 73511 WITH SCORE 73614.905
AT ITER 101 NEW BEST:: SOT 148892 SOS 103723 HAS SOPS 92753 HAS SOUS 74356 HAS SOUPS 73511 WITH SCORE 73614.723
AT ITER 105 NEW BEST:: SOT 148812 SOS 103642 HAS SOPS 92672 HAS SOUS 74353 HAS SOUPS 73508 WITH SCORE 73611.642
AT ITER 109 NEW BEST:: SOT 148954 SOS 103223 HAS SOPS 92330 HAS SOUS 74151 HAS SOUPS 73306 WITH SCORE 73409.223
AT ITER 113 NEW BEST:: SOT 148961 SOS 103230 HAS SOPS 92269 HAS SOUS 74073 HAS SOUPS 73218 WITH SCORE 73321.23
AT ITER 114 NEW BEST:: SOT 148894 SOS 103167 HAS SOPS 92210 HAS SOUS 74055 HAS SOUPS 73200 WITH SCORE 73303.167
AT ITER 116 NEW BEST:: SOT 148894 SOS 103314 HAS SOPS 92357 HAS SOUS 74020 HAS SOUPS 73165 WITH SCORE 73268.314
AT ITER 119 NEW BEST:: SOT 148894 SOS 103116 HAS SOPS 92357 HAS SOUS 74020 HAS SOUPS 73165 WITH SCORE 73268.116
AT ITER 121 NEW BEST:: SOT 148894 SOS 103097 HAS SOPS 92298 HAS SOUS 74020 HAS SOUPS 73165 WITH SCORE 73268.097
AT ITER 124 NEW BEST:: SOT 148642 SOS 102845 HAS SOPS 92006 HAS SOUS 73728 HAS SOUPS 72873 WITH SCORE 72975.845
AT ITER 125 NEW BEST:: SOT 148642 SOS 102845 HAS SOPS 92006 HAS SOUS 73644 HAS SOUPS 72789 WITH SCORE 72891.845
AT ITER 127 NEW BEST:: SOT 148642 SOS 102845 HAS SOPS 91991 HAS SOUS 73629 HAS SOUPS 72774 WITH SCORE 72876.845
AT ITER 139 NEW BEST:: SOT 147976 SOS 102179 HAS SOPS 91137 HAS SOUS 72697 HAS SOUPS 71842 WITH SCORE 71944.179
AT ITER 142 NEW BEST:: SOT 147836 SOS 101918 HAS SOPS 90879 HAS SOUS 72545 HAS SOUPS 71690 WITH SCORE 71791.918
AT ITER 146 NEW BEST:: SOT 147802 SOS 101926 HAS SOPS 90925 HAS SOUS 72532 HAS SOUPS 71677 WITH SCORE 71778.926
AT ITER 148 NEW BEST:: SOT 147762 SOS 101883 HAS SOPS 90882 HAS SOUS 72489 HAS SOUPS 71634 WITH SCORE 71735.883
AT ITER 149 NEW BEST:: SOT 147075 SOS 101209 HAS SOPS 90022 HAS SOUS 71768 HAS SOUPS 70913 WITH SCORE 71014.209
AT ITER 150 NEW BEST:: SOT 147075 SOS 101199 HAS SOPS 90017 HAS SOUS 71758 HAS SOUPS 70903 WITH SCORE 71004.199
AT ITER 151 NEW BEST:: SOT 146377 SOS 100394 HAS SOPS 89836 HAS SOUS 71366 HAS SOUPS 70511 WITH SCORE 70611.394
AT ITER 153 NEW BEST:: SOT 146276 SOS 99862 HAS SOPS 89304 HAS SOUS 71023 HAS SOUPS 70168 WITH SCORE 70267.862
AT ITER 156 NEW BEST:: SOT 146191 SOS 99692 HAS SOPS 89134 HAS SOUS 70853 HAS SOUPS 69998 WITH SCORE 70097.692
AT ITER 158 NEW BEST:: SOT 146317 SOS 99682 HAS SOPS 89056 HAS SOUS 70841 HAS SOUPS 69986 WITH SCORE 70085.682
AT ITER 159 NEW BEST:: SOT 146287 SOS 99622 HAS SOPS 88996 HAS SOUS 70751 HAS SOUPS 69896 WITH SCORE 69995.622
AT ITER 160 NEW BEST:: SOT 146241 SOS 99576 HAS SOPS 88904 HAS SOUS 70659 HAS SOUPS 69804 WITH SCORE 69903.576
AT ITER 161 NEW BEST:: SOT 146323 SOS 100572 HAS SOPS 89387 HAS SOUS 70461 HAS SOUPS 69606 WITH SCORE 69706.572
AT ITER 165 NEW BEST:: SOT 146355 SOS 100599 HAS SOPS 89435 HAS SOUS 70443 HAS SOUPS 69588 WITH SCORE 69688.599
AT ITER 166 NEW BEST:: SOT 146136 SOS 100677 HAS SOPS 89513 HAS SOUS 70441 HAS SOUPS 69586 WITH SCORE 69686.677
AT ITER 167 NEW BEST:: SOT 146136 SOS 100515 HAS SOPS 89466 HAS SOUS 70409 HAS SOUPS 69554 WITH SCORE 69654.515
AT ITER 169 NEW BEST:: SOT 145619 SOS 100006 HAS SOPS 88937 HAS SOUS 69868 HAS SOUPS 68985 WITH SCORE 69085.006
AT ITER 178 NEW BEST:: SOT 145573 SOS 99760 HAS SOPS 88758 HAS SOUS 69689 HAS SOUPS 68806 WITH SCORE 68905.76
AT ITER 181 NEW BEST:: SOT 145077 SOS 99600 HAS SOPS 88901 HAS SOUS 69484 HAS SOUPS 68601 WITH SCORE 68700.6
AT ITER 183 NEW BEST:: SOT 144637 SOS 99062 HAS SOPS 88739 HAS SOUS 69114 HAS SOUPS 68231 WITH SCORE 68330.062
AT ITER 186 NEW BEST:: SOT 144637 SOS 98880 HAS SOPS 88557 HAS SOUS 69114 HAS SOUPS 68231 WITH SCORE 68329.88
AT ITER 187 NEW BEST:: SOT 144633 SOS 98872 HAS SOPS 88549 HAS SOUS 69108 HAS SOUPS 68225 WITH SCORE 68323.872
AT ITER 188 NEW BEST:: SOT 144506 SOS 98635 HAS SOPS 88312 HAS SOUS 68773 HAS SOUPS 67890 WITH SCORE 67988.635
AT ITER 189 NEW BEST:: SOT 144506 SOS 97770 HAS SOPS 87447 HAS SOUS 68773 HAS SOUPS 67890 WITH SCORE 67987.77
AT ITER 190 NEW BEST:: SOT 144506 SOS 97580 HAS SOPS 87257 HAS SOUS 68636 HAS SOUPS 67753 WITH SCORE 67850.58
AT ITER 191 NEW BEST:: SOT 144415 SOS 97377 HAS SOPS 87054 HAS SOUS 68433 HAS SOUPS 67550 WITH SCORE 67647.377
AT ITER 192 NEW BEST:: SOT 144155 SOS 97344 HAS SOPS 86845 HAS SOUS 68078 HAS SOUPS 67195 WITH SCORE 67292.344
AT ITER 201 NEW BEST:: SOT 144060 SOS 97249 HAS SOPS 86693 HAS SOUS 67933 HAS SOUPS 67050 WITH SCORE 67147.249
AT ITER 202 NEW BEST:: SOT 144060 SOS 97228 HAS SOPS 86672 HAS SOUS 67877 HAS SOUPS 66994 WITH SCORE 67091.228
AT ITER 204 NEW BEST:: SOT 143780 SOS 97215 HAS SOPS 86585 HAS SOUS 67850 HAS SOUPS 66967 WITH SCORE 67064.215
AT ITER 205 NEW BEST:: SOT 143780 SOS 97192 HAS SOPS 86562 HAS SOUS 67751 HAS SOUPS 66868 WITH SCORE 66965.192
AT ITER 206 NEW BEST:: SOT 143780 SOS 97073 HAS SOPS 86443 HAS SOUS 67751 HAS SOUPS 66868 WITH SCORE 66965.073
AT ITER 208 NEW BEST:: SOT 142826 SOS 95083 HAS SOPS 84453 HAS SOUS 66409 HAS SOUPS 65526 WITH SCORE 65621.083
AT ITER 210 NEW BEST:: SOT 140511 SOS 93714 HAS SOPS 82612 HAS SOUS 64848 HAS SOUPS 63882 WITH SCORE 63975.714
AT ITER 214 NEW BEST:: SOT 135129 SOS 93991 HAS SOPS 78857 HAS SOUS 61280 HAS SOUPS 60069 WITH SCORE 60162.991
AT ITER 221 NEW BEST:: SOT 135122 SOS 93977 HAS SOPS 78846 HAS SOUS 61272 HAS SOUPS 60061 WITH SCORE 60154.977
AT ITER 224 NEW BEST:: SOT 135007 SOS 92938 HAS SOPS 77866 HAS SOUS 61072 HAS SOUPS 59861 WITH SCORE 59953.938
AT ITER 228 NEW BEST:: SOT 135003 SOS 92936 HAS SOPS 77864 HAS SOUS 61070 HAS SOUPS 59859 WITH SCORE 59951.936
AT ITER 231 NEW BEST:: SOT 135101 SOS 93034 HAS SOPS 77962 HAS SOUS 61021 HAS SOUPS 59810 WITH SCORE 59903.034
AT ITER 232 NEW BEST:: SOT 134927 SOS 92860 HAS SOPS 77768 HAS SOUS 60807 HAS SOUPS 59596 WITH SCORE 59688.86
AT ITER 235 NEW BEST:: SOT 134927 SOS 92803 HAS SOPS 77768 HAS SOUS 60807 HAS SOUPS 59596 WITH SCORE 59688.803
AT ITER 239 NEW BEST:: SOT 134927 SOS 92706 HAS SOPS 77671 HAS SOUS 60606 HAS SOUPS 59395 WITH SCORE 59487.706
AT ITER 242 NEW BEST:: SOT 134796 SOS 92553 HAS SOPS 77480 HAS SOUS 60415 HAS SOUPS 59204 WITH SCORE 59296.553
AT ITER 245 NEW BEST:: SOT 134678 SOS 92435 HAS SOPS 77303 HAS SOUS 60216 HAS SOUPS 59005 WITH SCORE 59097.435
AT ITER 247 NEW BEST:: SOT 134678 SOS 92435 HAS SOPS 77233 HAS SOUS 60195 HAS SOUPS 58975 WITH SCORE 59067.435
AT ITER 252 NEW BEST:: SOT 134095 SOS 91958 HAS SOPS 76871 HAS SOUS 59699 HAS SOUPS 58479 WITH SCORE 58570.958
AT ITER 257 NEW BEST:: SOT 133979 SOS 91622 HAS SOPS 76535 HAS SOUS 59445 HAS SOUPS 58225 WITH SCORE 58316.622
AT ITER 258 NEW BEST:: SOT 133360 SOS 91102 HAS SOPS 76355 HAS SOUS 59208 HAS SOUPS 57988 WITH SCORE 58079.102
AT ITER 263 NEW BEST:: SOT 132147 SOS 90467 HAS SOPS 75374 HAS SOUS 58401 HAS SOUPS 57123 WITH SCORE 57213.467
AT ITER 264 NEW BEST:: SOT 132119 SOS 90349 HAS SOPS 75256 HAS SOUS 58283 HAS SOUPS 57005 WITH SCORE 57095.349
AT ITER 265 NEW BEST:: SOT 131713 SOS 89892 HAS SOPS 74783 HAS SOUS 57819 HAS SOUPS 56574 WITH SCORE 56663.892
AT ITER 266 NEW BEST:: SOT 131681 SOS 89850 HAS SOPS 74735 HAS SOUS 57769 HAS SOUPS 56524 WITH SCORE 56613.85
AT ITER 275 NEW BEST:: SOT 131663 SOS 89832 HAS SOPS 74717 HAS SOUS 57751 HAS SOUPS 56506 WITH SCORE 56595.832
AT ITER 276 NEW BEST:: SOT 131663 SOS 89589 HAS SOPS 74474 HAS SOUS 57711 HAS SOUPS 56466 WITH SCORE 56555.589
AT ITER 277 NEW BEST:: SOT 131663 SOS 89431 HAS SOPS 74389 HAS SOUS 57711 HAS SOUPS 56466 WITH SCORE 56555.431
AT ITER 284 NEW BEST:: SOT 131645 SOS 89412 HAS SOPS 74362 HAS SOUS 57612 HAS SOUPS 56367 WITH SCORE 56456.412
AT ITER 289 NEW BEST:: SOT 131338 SOS 88997 HAS SOPS 73947 HAS SOUS 57202 HAS SOUPS 55957 WITH SCORE 56045.997
AT ITER 298 NEW BEST:: SOT 131338 SOS 88985 HAS SOPS 73962 HAS SOUS 57199 HAS SOUPS 55954 WITH SCORE 56042.985
AT ITER 302 NEW BEST:: SOT 131338 SOS 88389 HAS SOPS 73412 HAS SOUS 57199 HAS SOUPS 55954 WITH SCORE 56042.389
AT ITER 303 NEW BEST:: SOT 131322 SOS 88371 HAS SOPS 73380 HAS SOUS 57167 HAS SOUPS 55922 WITH SCORE 56010.371
AT ITER 306 NEW BEST:: SOT 131134 SOS 88183 HAS SOPS 73071 HAS SOUS 56832 HAS SOUPS 55587 WITH SCORE 55675.183
AT ITER 307 NEW BEST:: SOT 131110 SOS 88137 HAS SOPS 73023 HAS SOUS 56784 HAS SOUPS 55539 WITH SCORE 55627.137
AT ITER 309 NEW BEST:: SOT 131206 SOS 87137 HAS SOPS 72184 HAS SOUS 56677 HAS SOUPS 55432 WITH SCORE 55519.137
AT ITER 310 NEW BEST:: SOT 131187 SOS 87099 HAS SOPS 72146 HAS SOUS 56639 HAS SOUPS 55394 WITH SCORE 55481.099
AT ITER 319 NEW BEST:: SOT 131097 SOS 87009 HAS SOPS 72056 HAS SOUS 56540 HAS SOUPS 55295 WITH SCORE 55382.009
AT ITER 320 NEW BEST:: SOT 130847 SOS 85889 HAS SOPS 71038 HAS SOUS 56500 HAS SOUPS 55261 WITH SCORE 55346.889
AT ITER 321 NEW BEST:: SOT 130847 SOS 85882 HAS SOPS 70988 HAS SOUS 56500 HAS SOUPS 55261 WITH SCORE 55346.882
AT ITER 322 NEW BEST:: SOT 130847 SOS 85920 HAS SOPS 70913 HAS SOUS 56425 HAS SOUPS 55186 WITH SCORE 55271.92
AT ITER 328 NEW BEST:: SOT 127089 SOS 86976 HAS SOPS 68947 HAS SOUS 54273 HAS SOUPS 52808 WITH SCORE 52894.976
AT ITER 330 NEW BEST:: SOT 127089 SOS 86210 HAS SOPS 68273 HAS SOUS 54078 HAS SOUPS 52613 WITH SCORE 52699.21
AT ITER 332 NEW BEST:: SOT 126964 SOS 86560 HAS SOPS 68623 HAS SOUS 53927 HAS SOUPS 52462 WITH SCORE 52548.56
AT ITER 334 NEW BEST:: SOT 126784 SOS 86380 HAS SOPS 68416 HAS SOUS 53706 HAS SOUPS 52241 WITH SCORE 52327.38
AT ITER 336 NEW BEST:: SOT 126732 SOS 86213 HAS SOPS 68325 HAS SOUS 53628 HAS SOUPS 52163 WITH SCORE 52249.213
AT ITER 338 NEW BEST:: SOT 126712 SOS 86151 HAS SOPS 68265 HAS SOUS 53608 HAS SOUPS 52143 WITH SCORE 52229.151
AT ITER 342 NEW BEST:: SOT 126712 SOS 86124 HAS SOPS 68238 HAS SOUS 53608 HAS SOUPS 52143 WITH SCORE 52229.124
AT ITER 343 NEW BEST:: SOT 126706 SOS 86118 HAS SOPS 68232 HAS SOUS 53596 HAS SOUPS 52131 WITH SCORE 52217.118
AT ITER 350 NEW BEST:: SOT 126586 SOS 86906 HAS SOPS 68911 HAS SOUS 53525 HAS SOUPS 52060 WITH SCORE 52146.906
AT ITER 351 NEW BEST:: SOT 126586 SOS 86751 HAS SOPS 68911 HAS SOUS 53525 HAS SOUPS 52060 WITH SCORE 52146.751
AT ITER 353 NEW BEST:: SOT 126559 SOS 86724 HAS SOPS 68884 HAS SOUS 53456 HAS SOUPS 51991 WITH SCORE 52077.724
AT ITER 365 NEW BEST:: SOT 126329 SOS 86126 HAS SOPS 68658 HAS SOUS 53205 HAS SOUPS 51740 WITH SCORE 51826.126
AT ITER 366 NEW BEST:: SOT 126329 SOS 86119 HAS SOPS 68651 HAS SOUS 53205 HAS SOUPS 51740 WITH SCORE 51826.119
AT ITER 367 NEW BEST:: SOT 126329 SOS 86119 HAS SOPS 68651 HAS SOUS 53173 HAS SOUPS 51708 WITH SCORE 51794.119
AT ITER 369 NEW BEST:: SOT 125775 SOS 86215 HAS SOPS 68417 HAS SOUS 52872 HAS SOUPS 51376 WITH SCORE 51462.215
AT ITER 372 NEW BEST:: SOT 125729 SOS 86217 HAS SOPS 68409 HAS SOUS 52819 HAS SOUPS 51323 WITH SCORE 51409.217
AT ITER 373 NEW BEST:: SOT 125729 SOS 86204 HAS SOPS 68373 HAS SOUS 52806 HAS SOUPS 51310 WITH SCORE 51396.204
AT ITER 377 NEW BEST:: SOT 125660 SOS 86135 HAS SOPS 68359 HAS SOUS 52759 HAS SOUPS 51263 WITH SCORE 51349.135
AT ITER 378 NEW BEST:: SOT 125682 SOS 86131 HAS SOPS 68400 HAS SOUS 52758 HAS SOUPS 51262 WITH SCORE 51348.131
AT ITER 384 NEW BEST:: SOT 124976 SOS 85637 HAS SOPS 67788 HAS SOUS 52166 HAS SOUPS 50634 WITH SCORE 50719.637
AT ITER 385 NEW BEST:: SOT 124868 SOS 85442 HAS SOPS 67619 HAS SOUS 52042 HAS SOUPS 50510 WITH SCORE 50595.442
AT ITER 387 NEW BEST:: SOT 124868 SOS 85166 HAS SOPS 67334 HAS SOUS 51866 HAS SOUPS 50334 WITH SCORE 50419.166
AT ITER 393 NEW BEST:: SOT 124540 SOS 84838 HAS SOPS 67088 HAS SOUS 51702 HAS SOUPS 50170 WITH SCORE 50254.838
AT ITER 395 NEW BEST:: SOT 124533 SOS 84900 HAS SOPS 67049 HAS SOUS 51688 HAS SOUPS 50156 WITH SCORE 50240.9
AT ITER 396 NEW BEST:: SOT 124471 SOS 84838 HAS SOPS 66956 HAS SOUS 51564 HAS SOUPS 50032 WITH SCORE 50116.838
AT ITER 399 NEW BEST:: SOT 123997 SOS 84379 HAS SOPS 67028 HAS SOUS 51490 HAS SOUPS 49996 WITH SCORE 50080.379
AT ITER 401 NEW BEST:: SOT 123569 SOS 83949 HAS SOPS 66838 HAS SOUS 51254 HAS SOUPS 49760 WITH SCORE 49843.949
AT ITER 402 NEW BEST:: SOT 123524 SOS 83822 HAS SOPS 66795 HAS SOUS 51169 HAS SOUPS 49675 WITH SCORE 49758.822
AT ITER 404 NEW BEST:: SOT 123524 SOS 83804 HAS SOPS 66777 HAS SOUS 51169 HAS SOUPS 49675 WITH SCORE 49758.804
AT ITER 406 NEW BEST:: SOT 123308 SOS 83648 HAS SOPS 66723 HAS SOUS 51109 HAS SOUPS 49615 WITH SCORE 49698.648
AT ITER 410 NEW BEST:: SOT 123272 SOS 83608 HAS SOPS 66634 HAS SOUS 51037 HAS SOUPS 49543 WITH SCORE 49626.608
AT ITER 414 NEW BEST:: SOT 123248 SOS 83584 HAS SOPS 66586 HAS SOUS 50989 HAS SOUPS 49495 WITH SCORE 49578.584
AT ITER 421 NEW BEST:: SOT 123224 SOS 83560 HAS SOPS 66543 HAS SOUS 50847 HAS SOUPS 49353 WITH SCORE 49436.56
AT ITER 427 NEW BEST:: SOT 122789 SOS 83337 HAS SOPS 66296 HAS SOUS 50811 HAS SOUPS 49317 WITH SCORE 49400.337
AT ITER 428 NEW BEST:: SOT 122915 SOS 83314 HAS SOPS 66399 HAS SOUS 50765 HAS SOUPS 49271 WITH SCORE 49354.314
AT ITER 432 NEW BEST:: SOT 122900 SOS 83279 HAS SOPS 66358 HAS SOUS 50736 HAS SOUPS 49236 WITH SCORE 49319.279
AT ITER 435 NEW BEST:: SOT 122862 SOS 83333 HAS SOPS 66286 HAS SOUS 50664 HAS SOUPS 49164 WITH SCORE 49247.333
AT ITER 441 NEW BEST:: SOT 122862 SOS 83223 HAS SOPS 66176 HAS SOUS 50642 HAS SOUPS 49142 WITH SCORE 49225.223
AT ITER 444 NEW BEST:: SOT 121780 SOS 82126 HAS SOPS 65128 HAS SOUS 49631 HAS SOUPS 48131 WITH SCORE 48213.126
AT ITER 448 NEW BEST:: SOT 121571 SOS 82108 HAS SOPS 65049 HAS SOUS 49513 HAS SOUPS 48000 WITH SCORE 48082.108
AT ITER 449 NEW BEST:: SOT 121571 SOS 81813 HAS SOPS 64754 HAS SOUS 49499 HAS SOUPS 47986 WITH SCORE 48067.813
AT ITER 451 NEW BEST:: SOT 121547 SOS 81789 HAS SOPS 64706 HAS SOUS 49462 HAS SOUPS 47949 WITH SCORE 48030.789
AT ITER 453 NEW BEST:: SOT 121661 SOS 81584 HAS SOPS 64501 HAS SOUS 49422 HAS SOUPS 47909 WITH SCORE 47990.584
AT ITER 460 NEW BEST:: SOT 120991 SOS 81290 HAS SOPS 63927 HAS SOUS 48961 HAS SOUPS 47424 WITH SCORE 47505.29
AT ITER 463 NEW BEST:: SOT 121055 SOS 81373 HAS SOPS 63816 HAS SOUS 48932 HAS SOUPS 47395 WITH SCORE 47476.373
AT ITER 464 NEW BEST:: SOT 121841 SOS 80117 HAS SOPS 60366 HAS SOUS 49383 HAS SOUPS 45637 WITH SCORE 45717.117
AT ITER 474 NEW BEST:: SOT 121841 SOS 79754 HAS SOPS 60003 HAS SOUS 49383 HAS SOUPS 45637 WITH SCORE 45716.754
AT ITER 476 NEW BEST:: SOT 121841 SOS 79717 HAS SOPS 60003 HAS SOUS 49383 HAS SOUPS 45637 WITH SCORE 45716.717
AT ITER 484 NEW BEST:: SOT 121841 SOS 79425 HAS SOPS 59711 HAS SOUS 49363 HAS SOUPS 45617 WITH SCORE 45696.425
AT ITER 490 NEW BEST:: SOT 121886 SOS 79335 HAS SOPS 59621 HAS SOUS 49318 HAS SOUPS 45572 WITH SCORE 45651.335
AT ITER 491 NEW BEST:: SOT 121886 SOS 79335 HAS SOPS 59621 HAS SOUS 49301 HAS SOUPS 45555 WITH SCORE 45634.335
AT ITER 495 NEW BEST:: SOT 121886 SOS 79282 HAS SOPS 59615 HAS SOUS 49301 HAS SOUPS 45555 WITH SCORE 45634.282
AT ITER 496 NEW BEST:: SOT 122127 SOS 79523 HAS SOPS 59534 HAS SOUS 49195 HAS SOUPS 45449 WITH SCORE 45528.523
AT ITER 500 NEW BEST:: SOT 122127 SOS 79498 HAS SOPS 59507 HAS SOUS 49195 HAS SOUPS 45449 WITH SCORE 45528.498
AT ITER 501 NEW BEST:: SOT 122127 SOS 79498 HAS SOPS 59507 HAS SOUS 49193 HAS SOUPS 45447 WITH SCORE 45526.498
AT ITER 504 NEW BEST:: SOT 122102 SOS 79489 HAS SOPS 59482 HAS SOUS 49184 HAS SOUPS 45422 WITH SCORE 45501.489
AT ITER 506 NEW BEST:: SOT 122042 SOS 79484 HAS SOPS 59338 HAS SOUS 49081 HAS SOUPS 45319 WITH SCORE 45398.484
AT ITER 509 NEW BEST:: SOT 121974 SOS 79307 HAS SOPS 59236 HAS SOUS 48979 HAS SOUPS 45217 WITH SCORE 45296.307
AT ITER 511 NEW BEST:: SOT 121974 SOS 79294 HAS SOPS 59223 HAS SOUS 48979 HAS SOUPS 45217 WITH SCORE 45296.294
AT ITER 513 NEW BEST:: SOT 121972 SOS 79285 HAS SOPS 59219 HAS SOUS 48976 HAS SOUPS 45214 WITH SCORE 45293.285
AT ITER 535 NEW BEST:: SOT 121944 SOS 79278 HAS SOPS 59185 HAS SOUS 48962 HAS SOUPS 45173 WITH SCORE 45252.278
AT ITER 538 NEW BEST:: SOT 121876 SOS 79106 HAS SOPS 59049 HAS SOUS 48845 HAS SOUPS 45056 WITH SCORE 45135.106
AT ITER 542 NEW BEST:: SOT 121880 SOS 79084 HAS SOPS 58987 HAS SOUS 48813 HAS SOUPS 45024 WITH SCORE 45103.084
AT ITER 543 NEW BEST:: SOT 121875 SOS 79079 HAS SOPS 58982 HAS SOUS 48813 HAS SOUPS 45024 WITH SCORE 45103.079
AT ITER 549 NEW BEST:: SOT 121499 SOS 78703 HAS SOPS 58748 HAS SOUS 48648 HAS SOUPS 44890 WITH SCORE 44968.703
AT ITER 551 NEW BEST:: SOT 121442 SOS 78637 HAS SOPS 58701 HAS SOUS 48591 HAS SOUPS 44833 WITH SCORE 44911.637
AT ITER 555 NEW BEST:: SOT 120955 SOS 78601 HAS SOPS 58665 HAS SOUS 48190 HAS SOUPS 44432 WITH SCORE 44510.601
AT ITER 556 NEW BEST:: SOT 120847 SOS 78493 HAS SOPS 58557 HAS SOUS 48064 HAS SOUPS 44324 WITH SCORE 44402.493
AT ITER 559 NEW BEST:: SOT 120632 SOS 79267 HAS SOPS 59250 HAS SOUS 47871 HAS SOUPS 44192 WITH SCORE 44271.267
AT ITER 569 NEW BEST:: SOT 120335 SOS 79042 HAS SOPS 59046 HAS SOUS 47667 HAS SOUPS 43988 WITH SCORE 44067.042
AT ITER 578 NEW BEST:: SOT 119841 SOS 78776 HAS SOPS 59244 HAS SOUS 47446 HAS SOUPS 43767 WITH SCORE 43845.776
AT ITER 582 NEW BEST:: SOT 119612 SOS 78547 HAS SOPS 58884 HAS SOUS 47086 HAS SOUPS 43407 WITH SCORE 43485.547
AT ITER 585 NEW BEST:: SOT 119612 SOS 78545 HAS SOPS 58882 HAS SOUS 47084 HAS SOUPS 43405 WITH SCORE 43483.545
AT ITER 586 NEW BEST:: SOT 119603 SOS 78669 HAS SOPS 58855 HAS SOUS 47057 HAS SOUPS 43378 WITH SCORE 43456.669
AT ITER 587 NEW BEST:: SOT 119074 SOS 78165 HAS SOPS 58404 HAS SOUS 46516 HAS SOUPS 42837 WITH SCORE 42915.165
AT ITER 594 NEW BEST:: SOT 118962 SOS 78053 HAS SOPS 58180 HAS SOUS 46460 HAS SOUPS 42781 WITH SCORE 42859.053
AT ITER 597 NEW BEST:: SOT 118938 SOS 78025 HAS SOPS 58148 HAS SOUS 46432 HAS SOUPS 42753 WITH SCORE 42831.025
AT ITER 599 NEW BEST:: SOT 118868 SOS 77929 HAS SOPS 58033 HAS SOUS 46343 HAS SOUPS 42664 WITH SCORE 42741.929
AT ITER 600 NEW BEST:: SOT 118610 SOS 79295 HAS SOPS 58375 HAS SOUS 46339 HAS SOUPS 42625 WITH SCORE 42704.295
AT ITER 604 NEW BEST:: SOT 118238 SOS 79149 HAS SOPS 58236 HAS SOUS 46074 HAS SOUPS 42360 WITH SCORE 42439.149
AT ITER 605 NEW BEST:: SOT 117492 SOS 79451 HAS SOPS 57819 HAS SOUS 45748 HAS SOUPS 41995 WITH SCORE 42074.451
AT ITER 610 NEW BEST:: SOT 117492 SOS 79451 HAS SOPS 57739 HAS SOUS 45722 HAS SOUPS 41969 WITH SCORE 42048.451
AT ITER 611 NEW BEST:: SOT 117492 SOS 79451 HAS SOPS 57739 HAS SOUS 45721 HAS SOUPS 41968 WITH SCORE 42047.451
AT ITER 613 NEW BEST:: SOT 117014 SOS 78944 HAS SOPS 57256 HAS SOUS 45207 HAS SOUPS 41454 WITH SCORE 41532.944
AT ITER 614 NEW BEST:: SOT 116894 SOS 78824 HAS SOPS 57175 HAS SOUS 45100 HAS SOUPS 41347 WITH SCORE 41425.824
AT ITER 629 NEW BEST:: SOT 116803 SOS 78771 HAS SOPS 56653 HAS SOUS 44821 HAS SOUPS 40954 WITH SCORE 41032.771
AT ITER 633 NEW BEST:: SOT 116751 SOS 78693 HAS SOPS 56575 HAS SOUS 44743 HAS SOUPS 40876 WITH SCORE 40954.693
AT ITER 635 NEW BEST:: SOT 116762 SOS 78536 HAS SOPS 56012 HAS SOUS 44642 HAS SOUPS 40775 WITH SCORE 40853.536
AT ITER 636 NEW BEST:: SOT 116596 SOS 78370 HAS SOPS 55899 HAS SOUS 44476 HAS SOUPS 40609 WITH SCORE 40687.37
AT ITER 648 NEW BEST:: SOT 116515 SOS 78289 HAS SOPS 55862 HAS SOUS 44314 HAS SOUPS 40447 WITH SCORE 40525.289
AT ITER 649 NEW BEST:: SOT 116515 SOS 78242 HAS SOPS 55862 HAS SOUS 44277 HAS SOUPS 40410 WITH SCORE 40488.242
AT ITER 651 NEW BEST:: SOT 116119 SOS 77879 HAS SOPS 55466 HAS SOUS 43913 HAS SOUPS 40013 WITH SCORE 40090.879
AT ITER 657 NEW BEST:: SOT 116119 SOS 77745 HAS SOPS 55332 HAS SOUS 43839 HAS SOUPS 39939 WITH SCORE 40016.745
AT ITER 660 NEW BEST:: SOT 116099 SOS 77789 HAS SOPS 55442 HAS SOUS 43837 HAS SOUPS 39937 WITH SCORE 40014.789
AT ITER 665 NEW BEST:: SOT 116073 SOS 77738 HAS SOPS 55382 HAS SOUS 43777 HAS SOUPS 39877 WITH SCORE 39954.738
AT ITER 667 NEW BEST:: SOT 115929 SOS 77544 HAS SOPS 55170 HAS SOUS 43503 HAS SOUPS 39603 WITH SCORE 39680.544
AT ITER 669 NEW BEST:: SOT 115933 SOS 77596 HAS SOPS 55157 HAS SOUS 43490 HAS SOUPS 39590 WITH SCORE 39667.596
AT ITER 674 NEW BEST:: SOT 115829 SOS 77459 HAS SOPS 54949 HAS SOUS 43304 HAS SOUPS 39404 WITH SCORE 39481.459
AT ITER 683 NEW BEST:: SOT 115515 SOS 76969 HAS SOPS 54467 HAS SOUS 42664 HAS SOUPS 38764 WITH SCORE 38840.969
AT ITER 684 NEW BEST:: SOT 115471 SOS 76925 HAS SOPS 54372 HAS SOUS 42620 HAS SOUPS 38720 WITH SCORE 38796.925
AT ITER 688 NEW BEST:: SOT 114945 SOS 76398 HAS SOPS 54075 HAS SOUS 42443 HAS SOUPS 38543 WITH SCORE 38619.398
AT ITER 692 NEW BEST:: SOT 114912 SOS 76365 HAS SOPS 54075 HAS SOUS 42434 HAS SOUPS 38534 WITH SCORE 38610.365
AT ITER 699 NEW BEST:: SOT 114844 SOS 76291 HAS SOPS 53939 HAS SOUS 42264 HAS SOUPS 38364 WITH SCORE 38440.291
AT ITER 700 NEW BEST:: SOT 114511 SOS 76249 HAS SOPS 54044 HAS SOUS 42246 HAS SOUPS 38356 WITH SCORE 38432.249
AT ITER 705 NEW BEST:: SOT 114511 SOS 76248 HAS SOPS 54062 HAS SOUS 42227 HAS SOUPS 38356 WITH SCORE 38432.248
AT ITER 711 NEW BEST:: SOT 114493 SOS 76226 HAS SOPS 54040 HAS SOUS 42212 HAS SOUPS 38341 WITH SCORE 38417.226
AT ITER 721 NEW BEST:: SOT 114493 SOS 76226 HAS SOPS 54040 HAS SOUS 42186 HAS SOUPS 38315 WITH SCORE 38391.226
AT ITER 724 NEW BEST:: SOT 114437 SOS 76156 HAS SOPS 53882 HAS SOUS 42102 HAS SOUPS 38231 WITH SCORE 38307.156
AT ITER 728 NEW BEST:: SOT 114445 SOS 76144 HAS SOPS 53894 HAS SOUS 42058 HAS SOUPS 38187 WITH SCORE 38263.144
AT ITER 731 NEW BEST:: SOT 114433 SOS 76117 HAS SOPS 53861 HAS SOUS 42038 HAS SOUPS 38167 WITH SCORE 38243.117
AT ITER 732 NEW BEST:: SOT 114378 SOS 76016 HAS SOPS 53760 HAS SOUS 41914 HAS SOUPS 38043 WITH SCORE 38119.016
AT ITER 735 NEW BEST:: SOT 114378 SOS 75879 HAS SOPS 53626 HAS SOUS 41899 HAS SOUPS 38028 WITH SCORE 38103.879
AT ITER 742 NEW BEST:: SOT 114238 SOS 75669 HAS SOPS 53239 HAS SOUS 41728 HAS SOUPS 37857 WITH SCORE 37932.669
AT ITER 747 NEW BEST:: SOT 114212 SOS 75591 HAS SOPS 53161 HAS SOUS 41689 HAS SOUPS 37818 WITH SCORE 37893.591
AT ITER 749 NEW BEST:: SOT 114193 SOS 75553 HAS SOPS 53123 HAS SOUS 41608 HAS SOUPS 37737 WITH SCORE 37812.553
AT ITER 750 NEW BEST:: SOT 114189 SOS 75549 HAS SOPS 53117 HAS SOUS 41572 HAS SOUPS 37701 WITH SCORE 37776.549
AT ITER 755 NEW BEST:: SOT 114161 SOS 75521 HAS SOPS 53103 HAS SOUS 41558 HAS SOUPS 37687 WITH SCORE 37762.521
AT ITER 756 NEW BEST:: SOT 114384 SOS 75611 HAS SOPS 52795 HAS SOUS 41458 HAS SOUPS 37562 WITH SCORE 37637.611
AT ITER 766 NEW BEST:: SOT 114368 SOS 75595 HAS SOPS 52771 HAS SOUS 41434 HAS SOUPS 37538 WITH SCORE 37613.595
AT ITER 771 NEW BEST:: SOT 114360 SOS 75627 HAS SOPS 52756 HAS SOUS 41426 HAS SOUPS 37490 WITH SCORE 37565.627
AT ITER 772 NEW BEST:: SOT 114360 SOS 75513 HAS SOPS 52737 HAS SOUS 41426 HAS SOUPS 37490 WITH SCORE 37565.513
AT ITER 776 NEW BEST:: SOT 114360 SOS 75456 HAS SOPS 52680 HAS SOUS 41387 HAS SOUPS 37451 WITH SCORE 37526.456
AT ITER 777 NEW BEST:: SOT 114360 SOS 75456 HAS SOPS 52680 HAS SOUS 41384 HAS SOUPS 37448 WITH SCORE 37523.456
AT ITER 781 NEW BEST:: SOT 114264 SOS 75360 HAS SOPS 52536 HAS SOUS 41244 HAS SOUPS 37308 WITH SCORE 37383.36
AT ITER 783 NEW BEST:: SOT 114264 SOS 75320 HAS SOPS 52463 HAS SOUS 41244 HAS SOUPS 37308 WITH SCORE 37383.32
AT ITER 787 NEW BEST:: SOT 114257 SOS 75389 HAS SOPS 52449 HAS SOUS 41240 HAS SOUPS 37304 WITH SCORE 37379.389
AT ITER 789 NEW BEST:: SOT 114269 SOS 75401 HAS SOPS 52401 HAS SOUS 41186 HAS SOUPS 37250 WITH SCORE 37325.401
AT ITER 791 NEW BEST:: SOT 113643 SOS 74814 HAS SOPS 52495 HAS SOUS 41098 HAS SOUPS 37186 WITH SCORE 37260.814
AT ITER 792 NEW BEST:: SOT 113633 SOS 74804 HAS SOPS 52460 HAS SOUS 41088 HAS SOUPS 37176 WITH SCORE 37250.804
AT ITER 793 NEW BEST:: SOT 113445 SOS 74517 HAS SOPS 52059 HAS SOUS 40806 HAS SOUPS 36894 WITH SCORE 36968.517
AT ITER 796 NEW BEST:: SOT 113445 SOS 74499 HAS SOPS 52041 HAS SOUS 40806 HAS SOUPS 36894 WITH SCORE 36968.499
AT ITER 799 NEW BEST:: SOT 113413 SOS 74373 HAS SOPS 52005 HAS SOUS 40780 HAS SOUPS 36851 WITH SCORE 36925.373
AT ITER 801 NEW BEST:: SOT 113360 SOS 74303 HAS SOPS 51965 HAS SOUS 40704 HAS SOUPS 36792 WITH SCORE 36866.303
AT ITER 802 NEW BEST:: SOT 113364 SOS 74299 HAS SOPS 51961 HAS SOUS 40704 HAS SOUPS 36792 WITH SCORE 36866.299
AT ITER 803 NEW BEST:: SOT 113324 SOS 74259 HAS SOPS 51881 HAS SOUS 40644 HAS SOUPS 36732 WITH SCORE 36806.259
AT ITER 808 NEW BEST:: SOT 113205 SOS 74140 HAS SOPS 51762 HAS SOUS 40377 HAS SOUPS 36465 WITH SCORE 36539.14
AT ITER 815 NEW BEST:: SOT 113185 SOS 74120 HAS SOPS 51742 HAS SOUS 40377 HAS SOUPS 36465 WITH SCORE 36539.12
AT ITER 817 NEW BEST:: SOT 112925 SOS 73801 HAS SOPS 51352 HAS SOUS 39928 HAS SOUPS 36006 WITH SCORE 36079.801
AT ITER 820 NEW BEST:: SOT 112925 SOS 73801 HAS SOPS 51336 HAS SOUS 39924 HAS SOUPS 35998 WITH SCORE 36071.801
AT ITER 826 NEW BEST:: SOT 112808 SOS 73554 HAS SOPS 51070 HAS SOUS 39728 HAS SOUPS 35802 WITH SCORE 35875.554
AT ITER 832 NEW BEST:: SOT 112808 SOS 73519 HAS SOPS 51126 HAS SOUS 39728 HAS SOUPS 35802 WITH SCORE 35875.519
AT ITER 840 NEW BEST:: SOT 112382 SOS 73093 HAS SOPS 50770 HAS SOUS 39285 HAS SOUPS 35386 WITH SCORE 35459.093
AT ITER 842 NEW BEST:: SOT 112382 SOS 72958 HAS SOPS 50635 HAS SOUS 39285 HAS SOUPS 35386 WITH SCORE 35458.958
AT ITER 844 NEW BEST:: SOT 112412 SOS 72898 HAS SOPS 50605 HAS SOUS 39255 HAS SOUPS 35356 WITH SCORE 35428.898
AT ITER 863 NEW BEST:: SOT 112348 SOS 72786 HAS SOPS 50461 HAS SOUS 39159 HAS SOUPS 35260 WITH SCORE 35332.786
AT ITER 867 NEW BEST:: SOT 112117 SOS 72392 HAS SOPS 49974 HAS SOUS 38822 HAS SOUPS 34923 WITH SCORE 34995.392
AT ITER 868 NEW BEST:: SOT 112132 SOS 72407 HAS SOPS 49989 HAS SOUS 38820 HAS SOUPS 34921 WITH SCORE 34993.407
AT ITER 870 NEW BEST:: SOT 112244 SOS 72167 HAS SOPS 49798 HAS SOUS 38788 HAS SOUPS 34889 WITH SCORE 34961.167
AT ITER 876 NEW BEST:: SOT 112238 SOS 72161 HAS SOPS 49796 HAS SOUS 38782 HAS SOUPS 34883 WITH SCORE 34955.161
AT ITER 883 NEW BEST:: SOT 112096 SOS 71956 HAS SOPS 49458 HAS SOUS 38460 HAS SOUPS 34561 WITH SCORE 34632.956
AT ITER 890 NEW BEST:: SOT 112094 SOS 71954 HAS SOPS 49456 HAS SOUS 38422 HAS SOUPS 34523 WITH SCORE 34594.954
AT ITER 892 NEW BEST:: SOT 112141 SOS 71907 HAS SOPS 49362 HAS SOUS 38422 HAS SOUPS 34523 WITH SCORE 34594.907
AT ITER 914 NEW BEST:: SOT 112151 SOS 71917 HAS SOPS 49446 HAS SOUS 38418 HAS SOUPS 34519 WITH SCORE 34590.917
AT ITER 922 NEW BEST:: SOT 112113 SOS 71879 HAS SOPS 49389 HAS SOUS 38361 HAS SOUPS 34462 WITH SCORE 34533.879
AT ITER 927 NEW BEST:: SOT 112050 SOS 71868 HAS SOPS 49425 HAS SOUS 38361 HAS SOUPS 34462 WITH SCORE 34533.868
AT ITER 929 NEW BEST:: SOT 111896 SOS 71714 HAS SOPS 49194 HAS SOUS 38168 HAS SOUPS 34269 WITH SCORE 34340.714
AT ITER 933 NEW BEST:: SOT 111579 SOS 71118 HAS SOPS 48505 HAS SOUS 37758 HAS SOUPS 33766 WITH SCORE 33837.118
AT ITER 941 NEW BEST:: SOT 111533 SOS 71066 HAS SOPS 48413 HAS SOUS 37653 HAS SOUPS 33661 WITH SCORE 33732.066
AT ITER 945 NEW BEST:: SOT 111523 SOS 71056 HAS SOPS 48393 HAS SOUS 37643 HAS SOUPS 33646 WITH SCORE 33717.056
AT ITER 948 NEW BEST:: SOT 111406 SOS 71050 HAS SOPS 48159 HAS SOUS 37637 HAS SOUPS 33526 WITH SCORE 33597.05
AT ITER 949 NEW BEST:: SOT 111001 SOS 72554 HAS SOPS 48481 HAS SOUS 37523 HAS SOUPS 33371 WITH SCORE 33443.554
AT ITER 953 NEW BEST:: SOT 110988 SOS 72541 HAS SOPS 48496 HAS SOUS 37477 HAS SOUPS 33325 WITH SCORE 33397.541
AT ITER 955 NEW BEST:: SOT 110884 SOS 72726 HAS SOPS 48464 HAS SOUS 37437 HAS SOUPS 33277 WITH SCORE 33349.726
AT ITER 959 NEW BEST:: SOT 110788 SOS 72630 HAS SOPS 48337 HAS SOUS 37276 HAS SOUPS 33116 WITH SCORE 33188.63
AT ITER 960 NEW BEST:: SOT 110788 SOS 72063 HAS SOPS 47856 HAS SOUS 37276 HAS SOUPS 33116 WITH SCORE 33188.063
AT ITER 961 NEW BEST:: SOT 110788 SOS 72063 HAS SOPS 47856 HAS SOUS 37263 HAS SOUPS 33103 WITH SCORE 33175.063
AT ITER 964 NEW BEST:: SOT 110781 SOS 72053 HAS SOPS 47829 HAS SOUS 37235 HAS SOUPS 33075 WITH SCORE 33147.053
AT ITER 974 NEW BEST:: SOT 110694 SOS 71953 HAS SOPS 47642 HAS SOUS 37096 HAS SOUPS 32936 WITH SCORE 33007.953
AT ITER 978 NEW BEST:: SOT 110602 SOS 71735 HAS SOPS 47507 HAS SOUS 36976 HAS SOUPS 32816 WITH SCORE 32887.735
AT ITER 983 NEW BEST:: SOT 110602 SOS 71735 HAS SOPS 47507 HAS SOUS 36963 HAS SOUPS 32803 WITH SCORE 32874.735
AT ITER 1002 NEW BEST:: SOT 110490 SOS 71623 HAS SOPS 47395 HAS SOUS 36907 HAS SOUPS 32747 WITH SCORE 32818.623
AT ITER 1003 NEW BEST:: SOT 110490 SOS 71515 HAS SOPS 47503 HAS SOUS 36907 HAS SOUPS 32747 WITH SCORE 32818.515
AT ITER 1026 NEW BEST:: SOT 110492 SOS 71560 HAS SOPS 47462 HAS SOUS 36833 HAS SOUPS 32673 WITH SCORE 32744.56
AT ITER 1027 NEW BEST:: SOT 109990 SOS 71058 HAS SOPS 46853 HAS SOUS 36275 HAS SOUPS 32115 WITH SCORE 32186.058
AT ITER 1035 NEW BEST:: SOT 109990 SOS 71053 HAS SOPS 46902 HAS SOUS 36275 HAS SOUPS 32115 WITH SCORE 32186.053
AT ITER 1039 NEW BEST:: SOT 109876 SOS 70943 HAS SOPS 46929 HAS SOUS 36241 HAS SOUPS 32081 WITH SCORE 32151.943
AT ITER 1049 NEW BEST:: SOT 109799 SOS 70866 HAS SOPS 46852 HAS SOUS 36164 HAS SOUPS 32004 WITH SCORE 32074.866
AT ITER 1051 NEW BEST:: SOT 108939 SOS 71945 HAS SOPS 46731 HAS SOUS 35788 HAS SOUPS 31572 WITH SCORE 31643.945
AT ITER 1052 NEW BEST:: SOT 108939 SOS 71583 HAS SOPS 46389 HAS SOUS 35782 HAS SOUPS 31566 WITH SCORE 31637.583
AT ITER 1065 NEW BEST:: SOT 108867 SOS 71436 HAS SOPS 46160 HAS SOUS 35652 HAS SOUPS 31436 WITH SCORE 31507.436
AT ITER 1067 NEW BEST:: SOT 108851 SOS 71412 HAS SOPS 46136 HAS SOUS 35620 HAS SOUPS 31404 WITH SCORE 31475.412
AT ITER 1068 NEW BEST:: SOT 109090 SOS 71621 HAS SOPS 45985 HAS SOUS 35599 HAS SOUPS 31383 WITH SCORE 31454.621
AT ITER 1069 NEW BEST:: SOT 109084 SOS 71621 HAS SOPS 45955 HAS SOUS 35581 HAS SOUPS 31359 WITH SCORE 31430.621
AT ITER 1071 NEW BEST:: SOT 109076 SOS 71613 HAS SOPS 45943 HAS SOUS 35569 HAS SOUPS 31347 WITH SCORE 31418.613
AT ITER 1074 NEW BEST:: SOT 108809 SOS 72523 HAS SOPS 45957 HAS SOUS 35510 HAS SOUPS 31260 WITH SCORE 31332.523
AT ITER 1077 NEW BEST:: SOT 107370 SOS 73508 HAS SOPS 45999 HAS SOUS 34668 HAS SOUPS 30335 WITH SCORE 30408.508
AT ITER 1085 NEW BEST:: SOT 107224 SOS 73362 HAS SOPS 45780 HAS SOUS 34461 HAS SOUPS 30128 WITH SCORE 30201.362
AT ITER 1089 NEW BEST:: SOT 107166 SOS 73304 HAS SOPS 45812 HAS SOUS 34457 HAS SOUPS 30124 WITH SCORE 30197.304
AT ITER 1097 NEW BEST:: SOT 107144 SOS 73282 HAS SOPS 45800 HAS SOUS 34432 HAS SOUPS 30099 WITH SCORE 30172.282
AT ITER 1099 NEW BEST:: SOT 107108 SOS 73246 HAS SOPS 45764 HAS SOUS 34390 HAS SOUPS 30057 WITH SCORE 30130.246
AT ITER 1101 NEW BEST:: SOT 107008 SOS 73146 HAS SOPS 45737 HAS SOUS 34342 HAS SOUPS 30030 WITH SCORE 30103.146
AT ITER 1106 NEW BEST:: SOT 106928 SOS 73066 HAS SOPS 45619 HAS SOUS 34215 HAS SOUPS 29903 WITH SCORE 29976.066
AT ITER 1108 NEW BEST:: SOT 106891 SOS 73513 HAS SOPS 45797 HAS SOUS 34222 HAS SOUPS 29902 WITH SCORE 29975.513
AT ITER 1126 NEW BEST:: SOT 106891 SOS 73492 HAS SOPS 45797 HAS SOUS 34222 HAS SOUPS 29902 WITH SCORE 29975.492
AT ITER 1128 NEW BEST:: SOT 106837 SOS 73359 HAS SOPS 45689 HAS SOUS 34114 HAS SOUPS 29794 WITH SCORE 29867.359
AT ITER 1131 NEW BEST:: SOT 106797 SOS 73319 HAS SOPS 45629 HAS SOUS 34054 HAS SOUPS 29734 WITH SCORE 29807.319
AT ITER 1138 NEW BEST:: SOT 106781 SOS 73303 HAS SOPS 45605 HAS SOUS 34030 HAS SOUPS 29710 WITH SCORE 29783.303
AT ITER 1144 NEW BEST:: SOT 106807 SOS 73329 HAS SOPS 45605 HAS SOUS 34021 HAS SOUPS 29701 WITH SCORE 29774.329
AT ITER 1152 NEW BEST:: SOT 106683 SOS 73205 HAS SOPS 45419 HAS SOUS 33863 HAS SOUPS 29543 WITH SCORE 29616.205
AT ITER 1157 NEW BEST:: SOT 106669 SOS 73191 HAS SOPS 45361 HAS SOUS 33841 HAS SOUPS 29521 WITH SCORE 29594.191
AT ITER 1161 NEW BEST:: SOT 106605 SOS 73127 HAS SOPS 45265 HAS SOUS 33791 HAS SOUPS 29471 WITH SCORE 29544.127
AT ITER 1163 NEW BEST:: SOT 106605 SOS 73111 HAS SOPS 45249 HAS SOUS 33791 HAS SOUPS 29471 WITH SCORE 29544.111
AT ITER 1169 NEW BEST:: SOT 106595 SOS 73097 HAS SOPS 45230 HAS SOUS 33776 HAS SOUPS 29456 WITH SCORE 29529.097
AT ITER 1174 NEW BEST:: SOT 106566 SOS 73068 HAS SOPS 45297 HAS SOUS 33723 HAS SOUPS 29448 WITH SCORE 29521.068
AT ITER 1180 NEW BEST:: SOT 106554 SOS 73056 HAS SOPS 45279 HAS SOUS 33714 HAS SOUPS 29439 WITH SCORE 29512.056
AT ITER 1188 NEW BEST:: SOT 106590 SOS 73092 HAS SOPS 45197 HAS SOUS 33719 HAS SOUPS 29403 WITH SCORE 29476.092
AT ITER 1192 NEW BEST:: SOT 106552 SOS 73054 HAS SOPS 45121 HAS SOUS 33669 HAS SOUPS 29353 WITH SCORE 29426.054
AT ITER 1200 NEW BEST:: SOT 106348 SOS 72961 HAS SOPS 45028 HAS SOUS 33576 HAS SOUPS 29260 WITH SCORE 29332.961
AT ITER 1203 NEW BEST:: SOT 106348 SOS 72961 HAS SOPS 45028 HAS SOUS 33573 HAS SOUPS 29257 WITH SCORE 29329.961
AT ITER 1211 NEW BEST:: SOT 106488 SOS 73101 HAS SOPS 44922 HAS SOUS 33563 HAS SOUPS 29247 WITH SCORE 29320.101
AT ITER 1212 NEW BEST:: SOT 106482 SOS 73105 HAS SOPS 44913 HAS SOUS 33571 HAS SOUPS 29245 WITH SCORE 29318.105
AT ITER 1214 NEW BEST:: SOT 106481 SOS 73173 HAS SOPS 44923 HAS SOUS 33617 HAS SOUPS 29244 WITH SCORE 29317.173
AT ITER 1221 NEW BEST:: SOT 106404 SOS 73072 HAS SOPS 44865 HAS SOUS 33559 HAS SOUPS 29186 WITH SCORE 29259.072
AT ITER 1227 NEW BEST:: SOT 106404 SOS 72687 HAS SOPS 44535 HAS SOUS 33559 HAS SOUPS 29186 WITH SCORE 29258.687
AT ITER 1229 NEW BEST:: SOT 106421 SOS 72704 HAS SOPS 44477 HAS SOUS 33518 HAS SOUPS 29145 WITH SCORE 29217.704
AT ITER 1233 NEW BEST:: SOT 106421 SOS 72704 HAS SOPS 44477 HAS SOUS 33514 HAS SOUPS 29141 WITH SCORE 29213.704
AT ITER 1241 NEW BEST:: SOT 106314 SOS 72597 HAS SOPS 44396 HAS SOUS 33447 HAS SOUPS 29074 WITH SCORE 29146.597
AT ITER 1245 NEW BEST:: SOT 106306 SOS 72589 HAS SOPS 44384 HAS SOUS 33409 HAS SOUPS 29036 WITH SCORE 29108.589
AT ITER 1246 NEW BEST:: SOT 106306 SOS 72589 HAS SOPS 44384 HAS SOUS 33399 HAS SOUPS 29026 WITH SCORE 29098.589
AT ITER 1256 NEW BEST:: SOT 105817 SOS 74302 HAS SOPS 44827 HAS SOUS 33379 HAS SOUPS 28957 WITH SCORE 29031.302
AT ITER 1267 NEW BEST:: SOT 105803 SOS 74288 HAS SOPS 44799 HAS SOUS 33358 HAS SOUPS 28936 WITH SCORE 29010.288
AT ITER 1268 NEW BEST:: SOT 105803 SOS 74288 HAS SOPS 44799 HAS SOUS 33349 HAS SOUPS 28927 WITH SCORE 29001.288
AT ITER 1270 NEW BEST:: SOT 105752 SOS 74257 HAS SOPS 44728 HAS SOUS 33270 HAS SOUPS 28848 WITH SCORE 28922.257
AT ITER 1286 NEW BEST:: SOT 105541 SOS 74125 HAS SOPS 44869 HAS SOUS 33256 HAS SOUPS 28834 WITH SCORE 28908.125
AT ITER 1292 NEW BEST:: SOT 105442 SOS 74026 HAS SOPS 44742 HAS SOUS 33239 HAS SOUPS 28817 WITH SCORE 28891.026
AT ITER 1294 NEW BEST:: SOT 105240 SOS 73834 HAS SOPS 44449 HAS SOUS 32878 HAS SOUPS 28456 WITH SCORE 28529.834
AT ITER 1304 NEW BEST:: SOT 105138 SOS 73643 HAS SOPS 44207 HAS SOUS 32674 HAS SOUPS 28252 WITH SCORE 28325.643
AT ITER 1315 NEW BEST:: SOT 105014 SOS 73519 HAS SOPS 44043 HAS SOUS 32527 HAS SOUPS 28105 WITH SCORE 28178.519
AT ITER 1320 NEW BEST:: SOT 105014 SOS 73519 HAS SOPS 44043 HAS SOUS 32518 HAS SOUPS 28096 WITH SCORE 28169.519
AT ITER 1337 NEW BEST:: SOT 104984 SOS 73489 HAS SOPS 43971 HAS SOUS 32467 HAS SOUPS 28045 WITH SCORE 28118.489
AT ITER 1342 NEW BEST:: SOT 104990 SOS 73415 HAS SOPS 43897 HAS SOUS 32350 HAS SOUPS 27928 WITH SCORE 28001.415
AT ITER 1353 NEW BEST:: SOT 104818 SOS 73271 HAS SOPS 43842 HAS SOUS 32251 HAS SOUPS 27829 WITH SCORE 27902.271
AT ITER 1368 NEW BEST:: SOT 104818 SOS 73271 HAS SOPS 43841 HAS SOUS 32248 HAS SOUPS 27826 WITH SCORE 27899.271
AT ITER 1372 NEW BEST:: SOT 104840 SOS 73260 HAS SOPS 43841 HAS SOUS 32235 HAS SOUPS 27813 WITH SCORE 27886.26
AT ITER 1393 NEW BEST:: SOT 104839 SOS 73258 HAS SOPS 43839 HAS SOUS 32234 HAS SOUPS 27812 WITH SCORE 27885.258
AT ITER 1411 NEW BEST:: SOT 104905 SOS 73314 HAS SOPS 43895 HAS SOUS 32227 HAS SOUPS 27805 WITH SCORE 27878.314
AT ITER 1423 NEW BEST:: SOT 104885 SOS 73294 HAS SOPS 43814 HAS SOUS 32190 HAS SOUPS 27768 WITH SCORE 27841.294
AT ITER 1425 NEW BEST:: SOT 104839 SOS 73139 HAS SOPS 43580 HAS SOUS 32075 HAS SOUPS 27653 WITH SCORE 27726.139
AT ITER 1429 NEW BEST:: SOT 104836 SOS 73136 HAS SOPS 43577 HAS SOUS 32075 HAS SOUPS 27653 WITH SCORE 27726.136
AT ITER 1442 NEW BEST:: SOT 104802 SOS 73102 HAS SOPS 43509 HAS SOUS 32000 HAS SOUPS 27578 WITH SCORE 27651.102
AT ITER 1454 NEW BEST:: SOT 104789 SOS 73089 HAS SOPS 43505 HAS SOUS 31965 HAS SOUPS 27543 WITH SCORE 27616.089
AT ITER 1455 NEW BEST:: SOT 104795 SOS 73095 HAS SOPS 43517 HAS SOUS 31951 HAS SOUPS 27529 WITH SCORE 27602.095
AT ITER 1476 NEW BEST:: SOT 104792 SOS 73095 HAS SOPS 43511 HAS SOUS 31942 HAS SOUPS 27520 WITH SCORE 27593.095
AT ITER 1480 NEW BEST:: SOT 104686 SOS 72978 HAS SOPS 43352 HAS SOUS 31733 HAS SOUPS 27311 WITH SCORE 27383.978
AT ITER 1484 NEW BEST:: SOT 104686 SOS 72977 HAS SOPS 43547 HAS SOUS 31733 HAS SOUPS 27311 WITH SCORE 27383.977
AT ITER 1487 NEW BEST:: SOT 104594 SOS 72908 HAS SOPS 43432 HAS SOUS 31618 HAS SOUPS 27173 WITH SCORE 27245.908
AT ITER 1489 NEW BEST:: SOT 104594 SOS 72908 HAS SOPS 43432 HAS SOUS 31610 HAS SOUPS 27165 WITH SCORE 27237.908
AT ITER 1501 NEW BEST:: SOT 104582 SOS 72885 HAS SOPS 43403 HAS SOUS 31592 HAS SOUPS 27147 WITH SCORE 27219.885
AT ITER 1522 NEW BEST:: SOT 104559 SOS 72862 HAS SOPS 43357 HAS SOUS 31592 HAS SOUPS 27124 WITH SCORE 27196.862
AT ITER 1531 NEW BEST:: SOT 104307 SOS 72610 HAS SOPS 43231 HAS SOUS 31403 HAS SOUPS 26935 WITH SCORE 27007.61
AT ITER 1550 NEW BEST:: SOT 104454 SOS 72718 HAS SOPS 42931 HAS SOUS 31382 HAS SOUPS 26906 WITH SCORE 26978.718
AT ITER 1560 NEW BEST:: SOT 104454 SOS 72718 HAS SOPS 42931 HAS SOUS 31367 HAS SOUPS 26891 WITH SCORE 26963.718
AT ITER 1580 NEW BEST:: SOT 104321 SOS 72585 HAS SOPS 42798 HAS SOUS 31321 HAS SOUPS 26845 WITH SCORE 26917.585
AT ITER 1586 NEW BEST:: SOT 104309 SOS 72573 HAS SOPS 42780 HAS SOUS 31308 HAS SOUPS 26832 WITH SCORE 26904.573
AT ITER 1597 NEW BEST:: SOT 104305 SOS 72569 HAS SOPS 42782 HAS SOUS 31308 HAS SOUPS 26832 WITH SCORE 26904.569
AT ITER 1598 NEW BEST:: SOT 104227 SOS 72832 HAS SOPS 42966 HAS SOUS 31304 HAS SOUPS 26828 WITH SCORE 26900.832
AT ITER 1600 NEW BEST:: SOT 104227 SOS 72832 HAS SOPS 42966 HAS SOUS 31292 HAS SOUPS 26816 WITH SCORE 26888.832
AT ITER 1603 NEW BEST:: SOT 104225 SOS 72842 HAS SOPS 42964 HAS SOUS 31302 HAS SOUPS 26814 WITH SCORE 26886.842
AT ITER 1606 NEW BEST:: SOT 104189 SOS 72808 HAS SOPS 42899 HAS SOUS 31248 HAS SOUPS 26760 WITH SCORE 26832.808
AT ITER 1613 NEW BEST:: SOT 104129 SOS 72748 HAS SOPS 42809 HAS SOUS 31154 HAS SOUPS 26666 WITH SCORE 26738.748
AT ITER 1618 NEW BEST:: SOT 104119 SOS 72738 HAS SOPS 42789 HAS SOUS 31139 HAS SOUPS 26651 WITH SCORE 26723.738
AT ITER 1642 NEW BEST:: SOT 104087 SOS 72706 HAS SOPS 42741 HAS SOUS 31099 HAS SOUPS 26611 WITH SCORE 26683.706
AT ITER 1645 NEW BEST:: SOT 104097 SOS 72265 HAS SOPS 42310 HAS SOUS 31002 HAS SOUPS 26514 WITH SCORE 26586.265
AT ITER 1654 NEW BEST:: SOT 104070 SOS 72178 HAS SOPS 42210 HAS SOUS 30962 HAS SOUPS 26474 WITH SCORE 26546.178
AT ITER 1657 NEW BEST:: SOT 103679 SOS 74506 HAS SOPS 42980 HAS SOUS 30997 HAS SOUPS 26458 WITH SCORE 26532.506
AT ITER 1674 NEW BEST:: SOT 103675 SOS 74490 HAS SOPS 43018 HAS SOUS 30991 HAS SOUPS 26452 WITH SCORE 26526.49
AT ITER 1685 NEW BEST:: SOT 103465 SOS 74280 HAS SOPS 42863 HAS SOUS 30835 HAS SOUPS 26296 WITH SCORE 26370.28
AT ITER 1689 NEW BEST:: SOT 103447 SOS 74262 HAS SOPS 42836 HAS SOUS 30792 HAS SOUPS 26253 WITH SCORE 26327.262
AT ITER 1698 NEW BEST:: SOT 103447 SOS 74262 HAS SOPS 42836 HAS SOUS 30783 HAS SOUPS 26244 WITH SCORE 26318.262
AT ITER 1704 NEW BEST:: SOT 103503 SOS 74318 HAS SOPS 42616 HAS SOUS 30652 HAS SOUPS 26102 WITH SCORE 26176.318
AT ITER 1717 NEW BEST:: SOT 103523 SOS 74338 HAS SOPS 42512 HAS SOUS 30591 HAS SOUPS 26024 WITH SCORE 26098.338
AT ITER 1719 NEW BEST:: SOT 103492 SOS 74307 HAS SOPS 42491 HAS SOUS 30570 HAS SOUPS 26003 WITH SCORE 26077.307
AT ITER 1725 NEW BEST:: SOT 103494 SOS 74288 HAS SOPS 42472 HAS SOUS 30548 HAS SOUPS 25981 WITH SCORE 26055.288
AT ITER 1727 NEW BEST:: SOT 103610 SOS 74404 HAS SOPS 42552 HAS SOUS 30532 HAS SOUPS 25965 WITH SCORE 26039.404
AT ITER 1739 NEW BEST:: SOT 103623 SOS 74414 HAS SOPS 42546 HAS SOUS 30526 HAS SOUPS 25959 WITH SCORE 26033.414
AT ITER 1742 NEW BEST:: SOT 103556 SOS 74006 HAS SOPS 42143 HAS SOUS 30302 HAS SOUPS 25735 WITH SCORE 25809.006
AT ITER 1750 NEW BEST:: SOT 103359 SOS 73800 HAS SOPS 42206 HAS SOUS 30257 HAS SOUPS 25690 WITH SCORE 25763.8
AT ITER 1767 NEW BEST:: SOT 102710 SOS 78669 HAS SOPS 44679 HAS SOUS 30345 HAS SOUPS 25673 WITH SCORE 25751.669
AT ITER 1772 NEW BEST:: SOT 102708 SOS 78667 HAS SOPS 44677 HAS SOUS 30343 HAS SOUPS 25671 WITH SCORE 25749.667
AT ITER 1779 NEW BEST:: SOT 102704 SOS 78663 HAS SOPS 44679 HAS SOUS 30341 HAS SOUPS 25671 WITH SCORE 25749.663
AT ITER 1788 NEW BEST:: SOT 102704 SOS 78662 HAS SOPS 44643 HAS SOUS 30341 HAS SOUPS 25671 WITH SCORE 25749.662
AT ITER 1798 NEW BEST:: SOT 102338 SOS 80328 HAS SOPS 44886 HAS SOUS 30264 HAS SOUPS 25550 WITH SCORE 25630.328
AT ITER 1803 NEW BEST:: SOT 102300 SOS 80290 HAS SOPS 44878 HAS SOUS 30243 HAS SOUPS 25529 WITH SCORE 25609.29
AT ITER 1805 NEW BEST:: SOT 102298 SOS 80288 HAS SOPS 44841 HAS SOUS 30240 HAS SOUPS 25526 WITH SCORE 25606.288
AT ITER 1807 NEW BEST:: SOT 102284 SOS 80274 HAS SOPS 44840 HAS SOUS 30230 HAS SOUPS 25516 WITH SCORE 25596.274
AT ITER 1809 NEW BEST:: SOT 102284 SOS 80274 HAS SOPS 44840 HAS SOUS 30221 HAS SOUPS 25507 WITH SCORE 25587.274
AT ITER 1810 NEW BEST:: SOT 102234 SOS 80224 HAS SOPS 44740 HAS SOUS 30129 HAS SOUPS 25415 WITH SCORE 25495.224
AT ITER 1814 NEW BEST:: SOT 102198 SOS 80188 HAS SOPS 44661 HAS SOUS 30078 HAS SOUPS 25364 WITH SCORE 25444.188
AT ITER 1819 NEW BEST:: SOT 102170 SOS 80216 HAS SOPS 44641 HAS SOUS 30029 HAS SOUPS 25315 WITH SCORE 25395.216
AT ITER 1825 NEW BEST:: SOT 101558 SOS 79604 HAS SOPS 44134 HAS SOUS 29444 HAS SOUPS 24730 WITH SCORE 24809.604
AT ITER 1863 NEW BEST:: SOT 101569 SOS 79630 HAS SOPS 44095 HAS SOUS 29437 HAS SOUPS 24723 WITH SCORE 24802.63
AT ITER 1870 NEW BEST:: SOT 101533 SOS 79594 HAS SOPS 44044 HAS SOUS 29385 HAS SOUPS 24671 WITH SCORE 24750.594
AT ITER 1894 NEW BEST:: SOT 101525 SOS 79586 HAS SOPS 44038 HAS SOUS 29379 HAS SOUPS 24665 WITH SCORE 24744.586
AT ITER 1903 NEW BEST:: SOT 101511 SOS 79572 HAS SOPS 44010 HAS SOUS 29358 HAS SOUPS 24644 WITH SCORE 24723.572
AT ITER 1906 NEW BEST:: SOT 101495 SOS 79556 HAS SOPS 44018 HAS SOUS 29350 HAS SOUPS 24636 WITH SCORE 24715.556
AT ITER 1910 NEW BEST:: SOT 101449 SOS 79510 HAS SOPS 43949 HAS SOUS 29258 HAS SOUPS 24544 WITH SCORE 24623.51
AT ITER 1923 NEW BEST:: SOT 101437 SOS 79645 HAS SOPS 44216 HAS SOUS 29250 HAS SOUPS 24536 WITH SCORE 24615.645
AT ITER 1939 NEW BEST:: SOT 101437 SOS 79645 HAS SOPS 44216 HAS SOUS 29229 HAS SOUPS 24515 WITH SCORE 24594.645
AT ITER 1945 NEW BEST:: SOT 101436 SOS 79644 HAS SOPS 44213 HAS SOUS 29228 HAS SOUPS 24514 WITH SCORE 24593.644
AT ITER 1960 NEW BEST:: SOT 101414 SOS 79622 HAS SOPS 44169 HAS SOUS 29192 HAS SOUPS 24478 WITH SCORE 24557.622
AT ITER 1984 NEW BEST:: SOT 101278 SOS 79486 HAS SOPS 43965 HAS SOUS 28977 HAS SOUPS 24263 WITH SCORE 24342.486
AT ITER 1995 NEW BEST:: SOT 101224 SOS 79406 HAS SOPS 43859 HAS SOUS 28857 HAS SOUPS 24143 WITH SCORE 24222.406
AT ITER 1999 NEW BEST:: SOT 101185 SOS 79365 HAS SOPS 43761 HAS SOUS 28808 HAS SOUPS 24094 WITH SCORE 24173.365
AT ITER 2006 NEW BEST:: SOT 101185 SOS 79350 HAS SOPS 43761 HAS SOUS 28793 HAS SOUPS 24094 WITH SCORE 24173.35
AT ITER 2010 NEW BEST:: SOT 101245 SOS 79410 HAS SOPS 43579 HAS SOUS 28729 HAS SOUPS 24030 WITH SCORE 24109.41
AT ITER 2011 NEW BEST:: SOT 101141 SOS 79306 HAS SOPS 43438 HAS SOUS 28639 HAS SOUPS 23940 WITH SCORE 24019.306
AT ITER 2013 NEW BEST:: SOT 101053 SOS 79218 HAS SOPS 43262 HAS SOUS 28486 HAS SOUPS 23760 WITH SCORE 23839.218
AT ITER 2019 NEW BEST:: SOT 100951 SOS 79116 HAS SOPS 43289 HAS SOUS 28398 HAS SOUPS 23680 WITH SCORE 23759.116
AT ITER 2026 NEW BEST:: SOT 100804 SOS 79301 HAS SOPS 43137 HAS SOUS 28447 HAS SOUPS 23534 WITH SCORE 23613.301
AT ITER 2027 NEW BEST:: SOT 100750 SOS 79247 HAS SOPS 43056 HAS SOUS 28447 HAS SOUPS 23534 WITH SCORE 23613.247
AT ITER 2032 NEW BEST:: SOT 100734 SOS 79231 HAS SOPS 43032 HAS SOUS 28427 HAS SOUPS 23514 WITH SCORE 23593.231
AT ITER 2050 NEW BEST:: SOT 100734 SOS 79239 HAS SOPS 43008 HAS SOUS 28406 HAS SOUPS 23493 WITH SCORE 23572.239
AT ITER 2061 NEW BEST:: SOT 100690 SOS 79195 HAS SOPS 42942 HAS SOUS 28337 HAS SOUPS 23424 WITH SCORE 23503.195
AT ITER 2078 NEW BEST:: SOT 100756 SOS 79261 HAS SOPS 42825 HAS SOUS 28314 HAS SOUPS 23384 WITH SCORE 23463.261
AT ITER 2081 NEW BEST:: SOT 100742 SOS 79240 HAS SOPS 42797 HAS SOUS 28293 HAS SOUPS 23363 WITH SCORE 23442.24
AT ITER 2085 NEW BEST:: SOT 100662 SOS 79160 HAS SOPS 42677 HAS SOUS 28173 HAS SOUPS 23243 WITH SCORE 23322.16
AT ITER 2100 NEW BEST:: SOT 100656 SOS 79154 HAS SOPS 42665 HAS SOUS 28121 HAS SOUPS 23191 WITH SCORE 23270.154
AT ITER 2157 NEW BEST:: SOT 100580 SOS 79078 HAS SOPS 42551 HAS SOUS 28007 HAS SOUPS 23077 WITH SCORE 23156.078
AT ITER 2163 NEW BEST:: SOT 100434 SOS 78932 HAS SOPS 42338 HAS SOUS 27781 HAS SOUPS 22851 WITH SCORE 22929.932
AT ITER 2164 NEW BEST:: SOT 100434 SOS 78922 HAS SOPS 42260 HAS SOUS 27781 HAS SOUPS 22851 WITH SCORE 22929.922
AT ITER 2184 NEW BEST:: SOT 100388 SOS 78876 HAS SOPS 42191 HAS SOUS 27579 HAS SOUPS 22649 WITH SCORE 22727.876
AT ITER 2187 NEW BEST:: SOT 100358 SOS 78846 HAS SOPS 42191 HAS SOUS 27579 HAS SOUPS 22649 WITH SCORE 22727.846
AT ITER 2199 NEW BEST:: SOT 100346 SOS 78834 HAS SOPS 42191 HAS SOUS 27567 HAS SOUPS 22637 WITH SCORE 22715.834
AT ITER 2218 NEW BEST:: SOT 100289 SOS 78755 HAS SOPS 42097 HAS SOUS 27470 HAS SOUPS 22540 WITH SCORE 22618.755
AT ITER 2223 NEW BEST:: SOT 100251 SOS 78717 HAS SOPS 42040 HAS SOUS 27399 HAS SOUPS 22469 WITH SCORE 22547.717
AT ITER 2241 NEW BEST:: SOT 100251 SOS 78717 HAS SOPS 42040 HAS SOUS 27391 HAS SOUPS 22461 WITH SCORE 22539.717
AT ITER 2264 NEW BEST:: SOT 100103 SOS 78569 HAS SOPS 41818 HAS SOUS 27239 HAS SOUPS 22309 WITH SCORE 22387.569
AT ITER 2267 NEW BEST:: SOT 100122 SOS 78582 HAS SOPS 41759 HAS SOUS 27233 HAS SOUPS 22303 WITH SCORE 22381.582
AT ITER 2269 NEW BEST:: SOT 100115 SOS 78575 HAS SOPS 41752 HAS SOUS 27233 HAS SOUPS 22303 WITH SCORE 22381.575
AT ITER 2277 NEW BEST:: SOT 100141 SOS 78601 HAS SOPS 41752 HAS SOUS 27220 HAS SOUPS 22290 WITH SCORE 22368.601
AT ITER 2305 NEW BEST:: SOT 100153 SOS 78613 HAS SOPS 41740 HAS SOUS 27211 HAS SOUPS 22281 WITH SCORE 22359.613
AT ITER 2312 NEW BEST:: SOT 100053 SOS 78513 HAS SOPS 41593 HAS SOUS 26975 HAS SOUPS 22045 WITH SCORE 22123.513
AT ITER 2323 NEW BEST:: SOT 100051 SOS 78511 HAS SOPS 41591 HAS SOUS 26973 HAS SOUPS 22043 WITH SCORE 22121.511
AT ITER 2326 NEW BEST:: SOT 100043 SOS 78503 HAS SOPS 41579 HAS SOUS 26962 HAS SOUPS 22032 WITH SCORE 22110.503
AT ITER 2327 NEW BEST:: SOT 100023 SOS 78483 HAS SOPS 41549 HAS SOUS 26942 HAS SOUPS 22012 WITH SCORE 22090.483
AT ITER 2330 NEW BEST:: SOT 100019 SOS 78479 HAS SOPS 41543 HAS SOUS 26936 HAS SOUPS 22006 WITH SCORE 22084.479
AT ITER 2340 NEW BEST:: SOT 99959 SOS 78442 HAS SOPS 41453 HAS SOUS 26846 HAS SOUPS 21916 WITH SCORE 21994.442
AT ITER 2347 NEW BEST:: SOT 99894 SOS 79144 HAS SOPS 41712 HAS SOUS 26857 HAS SOUPS 21914 WITH SCORE 21993.144
AT ITER 2364 NEW BEST:: SOT 99894 SOS 79144 HAS SOPS 41712 HAS SOUS 26819 HAS SOUPS 21876 WITH SCORE 21955.144
AT ITER 2365 NEW BEST:: SOT 99846 SOS 79096 HAS SOPS 41640 HAS SOUS 26764 HAS SOUPS 21821 WITH SCORE 21900.096
AT ITER 2369 NEW BEST:: SOT 99756 SOS 79006 HAS SOPS 41505 HAS SOUS 26621 HAS SOUPS 21678 WITH SCORE 21757.006
AT ITER 2375 NEW BEST:: SOT 99647 SOS 78752 HAS SOPS 41324 HAS SOUS 26529 HAS SOUPS 21659 WITH SCORE 21737.752
AT ITER 2377 NEW BEST:: SOT 99639 SOS 78744 HAS SOPS 41296 HAS SOUS 26509 HAS SOUPS 21639 WITH SCORE 21717.744
AT ITER 2378 NEW BEST:: SOT 99625 SOS 78730 HAS SOPS 41275 HAS SOUS 26481 HAS SOUPS 21611 WITH SCORE 21689.73
AT ITER 2382 NEW BEST:: SOT 99625 SOS 78707 HAS SOPS 41313 HAS SOUS 26481 HAS SOUPS 21611 WITH SCORE 21689.707
AT ITER 2383 NEW BEST:: SOT 99621 SOS 78703 HAS SOPS 41313 HAS SOUS 26481 HAS SOUPS 21611 WITH SCORE 21689.703
AT ITER 2402 NEW BEST:: SOT 99668 SOS 78758 HAS SOPS 41368 HAS SOUS 26465 HAS SOUPS 21595 WITH SCORE 21673.758
AT ITER 2403 NEW BEST:: SOT 100157 SOS 79247 HAS SOPS 41301 HAS SOUS 26429 HAS SOUPS 21559 WITH SCORE 21638.247
AT ITER 2405 NEW BEST:: SOT 100115 SOS 79237 HAS SOPS 41238 HAS SOUS 26367 HAS SOUPS 21465 WITH SCORE 21544.237
AT ITER 2407 NEW BEST:: SOT 100093 SOS 79215 HAS SOPS 41205 HAS SOUS 26337 HAS SOUPS 21435 WITH SCORE 21514.215
AT ITER 2414 NEW BEST:: SOT 100009 SOS 79131 HAS SOPS 41136 HAS SOUS 26268 HAS SOUPS 21366 WITH SCORE 21445.131
AT ITER 2417 NEW BEST:: SOT 99969 SOS 79091 HAS SOPS 41116 HAS SOUS 26238 HAS SOUPS 21336 WITH SCORE 21415.091
AT ITER 2420 NEW BEST:: SOT 100006 SOS 79106 HAS SOPS 41131 HAS SOUS 26231 HAS SOUPS 21329 WITH SCORE 21408.106
AT ITER 2422 NEW BEST:: SOT 100010 SOS 79110 HAS SOPS 41139 HAS SOUS 26189 HAS SOUPS 21287 WITH SCORE 21366.11
AT ITER 2428 NEW BEST:: SOT 99880 SOS 79779 HAS SOPS 41383 HAS SOUS 26143 HAS SOUPS 21227 WITH SCORE 21306.779
AT ITER 2429 NEW BEST:: SOT 99880 SOS 79779 HAS SOPS 41383 HAS SOUS 26139 HAS SOUPS 21223 WITH SCORE 21302.779
AT ITER 2434 NEW BEST:: SOT 99846 SOS 79774 HAS SOPS 41343 HAS SOUS 26134 HAS SOUPS 21183 WITH SCORE 21262.774
AT ITER 2447 NEW BEST:: SOT 99868 SOS 79796 HAS SOPS 41332 HAS SOUS 26132 HAS SOUPS 21181 WITH SCORE 21260.796
AT ITER 2449 NEW BEST:: SOT 99864 SOS 79792 HAS SOPS 41326 HAS SOUS 26108 HAS SOUPS 21157 WITH SCORE 21236.792
AT ITER 2450 NEW BEST:: SOT 99850 SOS 79778 HAS SOPS 41298 HAS SOUS 26087 HAS SOUPS 21136 WITH SCORE 21215.778
AT ITER 2453 NEW BEST:: SOT 99850 SOS 79778 HAS SOPS 41298 HAS SOUS 26082 HAS SOUPS 21131 WITH SCORE 21210.778
AT ITER 2465 NEW BEST:: SOT 99745 SOS 79673 HAS SOPS 41151 HAS SOUS 25999 HAS SOUPS 21048 WITH SCORE 21127.673
AT ITER 2472 NEW BEST:: SOT 99665 SOS 79590 HAS SOPS 41031 HAS SOUS 25879 HAS SOUPS 20928 WITH SCORE 21007.59
AT ITER 2473 NEW BEST:: SOT 99639 SOS 79564 HAS SOPS 40992 HAS SOUS 25837 HAS SOUPS 20886 WITH SCORE 20965.564
AT ITER 2484 NEW BEST:: SOT 99597 SOS 79522 HAS SOPS 40929 HAS SOUS 25753 HAS SOUPS 20802 WITH SCORE 20881.522
AT ITER 2492 NEW BEST:: SOT 99597 SOS 79522 HAS SOPS 40929 HAS SOUS 25751 HAS SOUPS 20800 WITH SCORE 20879.522
AT ITER 2493 NEW BEST:: SOT 99623 SOS 79475 HAS SOPS 40885 HAS SOUS 25645 HAS SOUPS 20694 WITH SCORE 20773.475
AT ITER 2497 NEW BEST:: SOT 99591 SOS 79443 HAS SOPS 40901 HAS SOUS 25645 HAS SOUPS 20694 WITH SCORE 20773.443
AT ITER 2503 NEW BEST:: SOT 99607 SOS 79459 HAS SOPS 40925 HAS SOUS 25616 HAS SOUPS 20665 WITH SCORE 20744.459
AT ITER 2513 NEW BEST:: SOT 99563 SOS 79415 HAS SOPS 40892 HAS SOUS 25594 HAS SOUPS 20643 WITH SCORE 20722.415
AT ITER 2529 NEW BEST:: SOT 99563 SOS 79415 HAS SOPS 40892 HAS SOUS 25571 HAS SOUPS 20620 WITH SCORE 20699.415
AT ITER 2555 NEW BEST:: SOT 99525 SOS 79377 HAS SOPS 40896 HAS SOUS 25550 HAS SOUPS 20599 WITH SCORE 20678.377
AT ITER 2572 NEW BEST:: SOT 99484 SOS 79331 HAS SOPS 40848 HAS SOUS 25545 HAS SOUPS 20594 WITH SCORE 20673.331
AT ITER 2590 NEW BEST:: SOT 99490 SOS 79320 HAS SOPS 40857 HAS SOUS 25518 HAS SOUPS 20584 WITH SCORE 20663.32
AT ITER 2603 NEW BEST:: SOT 99491 SOS 79321 HAS SOPS 40869 HAS SOUS 25509 HAS SOUPS 20575 WITH SCORE 20654.321
AT ITER 2604 NEW BEST:: SOT 99429 SOS 79252 HAS SOPS 40880 HAS SOUS 25476 HAS SOUPS 20542 WITH SCORE 20621.252
AT ITER 2635 NEW BEST:: SOT 99417 SOS 79240 HAS SOPS 40862 HAS SOUS 25452 HAS SOUPS 20518 WITH SCORE 20597.24
AT ITER 2639 NEW BEST:: SOT 99417 SOS 79240 HAS SOPS 40862 HAS SOUS 25411 HAS SOUPS 20477 WITH SCORE 20556.24
AT ITER 2648 NEW BEST:: SOT 99422 SOS 79235 HAS SOPS 40862 HAS SOUS 25401 HAS SOUPS 20472 WITH SCORE 20551.235
AT ITER 2653 NEW BEST:: SOT 99356 SOS 79169 HAS SOPS 40763 HAS SOUS 25269 HAS SOUPS 20340 WITH SCORE 20419.169
AT ITER 2656 NEW BEST:: SOT 99318 SOS 79189 HAS SOPS 40689 HAS SOUS 25282 HAS SOUPS 20295 WITH SCORE 20374.189
AT ITER 2671 NEW BEST:: SOT 99290 SOS 79161 HAS SOPS 40647 HAS SOUS 25226 HAS SOUPS 20239 WITH SCORE 20318.161
AT ITER 2680 NEW BEST:: SOT 99290 SOS 79161 HAS SOPS 40647 HAS SOUS 25188 HAS SOUPS 20201 WITH SCORE 20280.161
AT ITER 2694 NEW BEST:: SOT 99271 SOS 79087 HAS SOPS 40470 HAS SOUS 25194 HAS SOUPS 20180 WITH SCORE 20259.087
AT ITER 2706 NEW BEST:: SOT 99254 SOS 79049 HAS SOPS 40441 HAS SOUS 25151 HAS SOUPS 20137 WITH SCORE 20216.049
AT ITER 2742 NEW BEST:: SOT 99262 SOS 79057 HAS SOPS 40453 HAS SOUS 25147 HAS SOUPS 20133 WITH SCORE 20212.057
AT ITER 2762 NEW BEST:: SOT 99310 SOS 79105 HAS SOPS 40501 HAS SOUS 25101 HAS SOUPS 20087 WITH SCORE 20166.105
AT ITER 2771 NEW BEST:: SOT 99218 SOS 79013 HAS SOPS 40363 HAS SOUS 25005 HAS SOUPS 19991 WITH SCORE 20070.013
AT ITER 2784 NEW BEST:: SOT 99198 SOS 78993 HAS SOPS 40333 HAS SOUS 24965 HAS SOUPS 19951 WITH SCORE 20029.993
AT ITER 2789 NEW BEST:: SOT 99198 SOS 78976 HAS SOPS 40327 HAS SOUS 24965 HAS SOUPS 19951 WITH SCORE 20029.976
AT ITER 2811 NEW BEST:: SOT 99192 SOS 78970 HAS SOPS 40318 HAS SOUS 24956 HAS SOUPS 19942 WITH SCORE 20020.97
AT ITER 2823 NEW BEST:: SOT 99146 SOS 78924 HAS SOPS 40249 HAS SOUS 24891 HAS SOUPS 19877 WITH SCORE 19955.924
AT ITER 2832 NEW BEST:: SOT 99126 SOS 78914 HAS SOPS 40209 HAS SOUS 24861 HAS SOUPS 19837 WITH SCORE 19915.914
AT ITER 2840 NEW BEST:: SOT 99164 SOS 78952 HAS SOPS 40247 HAS SOUS 24763 HAS SOUPS 19739 WITH SCORE 19817.952
AT ITER 2843 NEW BEST:: SOT 99164 SOS 78952 HAS SOPS 40241 HAS SOUS 24759 HAS SOUPS 19735 WITH SCORE 19813.952
AT ITER 2844 NEW BEST:: SOT 99112 SOS 78766 HAS SOPS 40216 HAS SOUS 24675 HAS SOUPS 19682 WITH SCORE 19760.766
AT ITER 2850 NEW BEST:: SOT 99109 SOS 78764 HAS SOPS 40211 HAS SOUS 24673 HAS SOUPS 19679 WITH SCORE 19757.764
AT ITER 2851 NEW BEST:: SOT 99091 SOS 78746 HAS SOPS 40181 HAS SOUS 24643 HAS SOUPS 19649 WITH SCORE 19727.746
AT ITER 2882 NEW BEST:: SOT 99041 SOS 78696 HAS SOPS 40081 HAS SOUS 24627 HAS SOUPS 19624 WITH SCORE 19702.696
AT ITER 2951 NEW BEST:: SOT 99043 SOS 78698 HAS SOPS 40084 HAS SOUS 24618 HAS SOUPS 19615 WITH SCORE 19693.698
AT ITER 2980 NEW BEST:: SOT 99023 SOS 78678 HAS SOPS 40054 HAS SOUS 24588 HAS SOUPS 19585 WITH SCORE 19663.678
AT ITER 2990 NEW BEST:: SOT 99017 SOS 78666 HAS SOPS 40039 HAS SOUS 24579 HAS SOUPS 19576 WITH SCORE 19654.666
AT ITER 2991 NEW BEST:: SOT 99017 SOS 78652 HAS SOPS 40025 HAS SOUS 24579 HAS SOUPS 19576 WITH SCORE 19654.652
AT ITER 2993 NEW BEST:: SOT 98979 SOS 78614 HAS SOPS 40001 HAS SOUS 24519 HAS SOUPS 19516 WITH SCORE 19594.614
AT ITER 2997 NEW BEST:: SOT 98967 SOS 78602 HAS SOPS 39987 HAS SOUS 24501 HAS SOUPS 19498 WITH SCORE 19576.602
AT ITER 3031 NEW BEST:: SOT 98989 SOS 78624 HAS SOPS 39942 HAS SOUS 24482 HAS SOUPS 19479 WITH SCORE 19557.624
AT ITER 3040 NEW BEST:: SOT 98987 SOS 78622 HAS SOPS 39939 HAS SOUS 24478 HAS SOUPS 19475 WITH SCORE 19553.622
AT ITER 3061 NEW BEST:: SOT 98969 SOS 78604 HAS SOPS 39912 HAS SOUS 24451 HAS SOUPS 19448 WITH SCORE 19526.604
AT ITER 3069 NEW BEST:: SOT 98971 SOS 78541 HAS SOPS 39876 HAS SOUS 24430 HAS SOUPS 19447 WITH SCORE 19525.541
AT ITER 3086 NEW BEST:: SOT 98971 SOS 78541 HAS SOPS 39876 HAS SOUS 24389 HAS SOUPS 19406 WITH SCORE 19484.541
AT ITER 3106 NEW BEST:: SOT 98955 SOS 78512 HAS SOPS 39831 HAS SOUS 24285 HAS SOUPS 19302 WITH SCORE 19380.512
AT ITER 3111 NEW BEST:: SOT 98969 SOS 78526 HAS SOPS 39845 HAS SOUS 24278 HAS SOUPS 19295 WITH SCORE 19373.526
AT ITER 3120 NEW BEST:: SOT 98935 SOS 78492 HAS SOPS 39794 HAS SOUS 24210 HAS SOUPS 19227 WITH SCORE 19305.492
AT ITER 3152 NEW BEST:: SOT 98935 SOS 78492 HAS SOPS 39794 HAS SOUS 24205 HAS SOUPS 19222 WITH SCORE 19300.492
AT ITER 3153 NEW BEST:: SOT 98883 SOS 78440 HAS SOPS 39716 HAS SOUS 24120 HAS SOUPS 19137 WITH SCORE 19215.44
AT ITER 3155 NEW BEST:: SOT 98873 SOS 78430 HAS SOPS 39701 HAS SOUS 24091 HAS SOUPS 19108 WITH SCORE 19186.43
AT ITER 3165 NEW BEST:: SOT 98873 SOS 78429 HAS SOPS 39696 HAS SOUS 24089 HAS SOUPS 19106 WITH SCORE 19184.429
AT ITER 3183 NEW BEST:: SOT 98797 SOS 78353 HAS SOPS 39459 HAS SOUS 23926 HAS SOUPS 18943 WITH SCORE 19021.353
AT ITER 3192 NEW BEST:: SOT 98779 SOS 78335 HAS SOPS 39432 HAS SOUS 23908 HAS SOUPS 18925 WITH SCORE 19003.335
AT ITER 3194 NEW BEST:: SOT 98775 SOS 78331 HAS SOPS 39426 HAS SOUS 23902 HAS SOUPS 18919 WITH SCORE 18997.331
AT ITER 3203 NEW BEST:: SOT 98777 SOS 78330 HAS SOPS 39407 HAS SOUS 23868 HAS SOUPS 18885 WITH SCORE 18963.33
AT ITER 3240 NEW BEST:: SOT 98719 SOS 78272 HAS SOPS 39320 HAS SOUS 23779 HAS SOUPS 18796 WITH SCORE 18874.272
AT ITER 3242 NEW BEST:: SOT 98617 SOS 78170 HAS SOPS 39167 HAS SOUS 23641 HAS SOUPS 18658 WITH SCORE 18736.17
AT ITER 3245 NEW BEST:: SOT 98611 SOS 78164 HAS SOPS 39167 HAS SOUS 23641 HAS SOUPS 18658 WITH SCORE 18736.164
AT ITER 3252 NEW BEST:: SOT 98606 SOS 78159 HAS SOPS 39157 HAS SOUS 23626 HAS SOUPS 18643 WITH SCORE 18721.159
AT ITER 3263 NEW BEST:: SOT 98585 SOS 78191 HAS SOPS 39117 HAS SOUS 23643 HAS SOUPS 18622 WITH SCORE 18700.191
AT ITER 3270 NEW BEST:: SOT 98579 SOS 78185 HAS SOPS 39141 HAS SOUS 23610 HAS SOUPS 18589 WITH SCORE 18667.185
AT ITER 3283 NEW BEST:: SOT 98827 SOS 76037 HAS SOPS 38320 HAS SOUS 23557 HAS SOUPS 18577 WITH SCORE 18653.037
AT ITER 3315 NEW BEST:: SOT 98837 SOS 76047 HAS SOPS 38323 HAS SOUS 23556 HAS SOUPS 18576 WITH SCORE 18652.047
AT ITER 3318 NEW BEST:: SOT 98837 SOS 76047 HAS SOPS 38323 HAS SOUS 23554 HAS SOUPS 18574 WITH SCORE 18650.047
AT ITER 3319 NEW BEST:: SOT 98831 SOS 76041 HAS SOPS 38311 HAS SOUS 23552 HAS SOUPS 18569 WITH SCORE 18645.041
AT ITER 3327 NEW BEST:: SOT 98817 SOS 76027 HAS SOPS 38283 HAS SOUS 23524 HAS SOUPS 18541 WITH SCORE 18617.027
AT ITER 3340 NEW BEST:: SOT 98791 SOS 76001 HAS SOPS 38254 HAS SOUS 23485 HAS SOUPS 18502 WITH SCORE 18578.001
AT ITER 3342 NEW BEST:: SOT 98727 SOS 75990 HAS SOPS 38134 HAS SOUS 23387 HAS SOUPS 18324 WITH SCORE 18399.99
AT ITER 3356 NEW BEST:: SOT 98721 SOS 75984 HAS SOPS 38125 HAS SOUS 23381 HAS SOUPS 18318 WITH SCORE 18393.984
AT ITER 3370 NEW BEST:: SOT 98706 SOS 75961 HAS SOPS 38089 HAS SOUS 23377 HAS SOUPS 18314 WITH SCORE 18389.961
AT ITER 3376 NEW BEST:: SOT 98699 SOS 75940 HAS SOPS 38075 HAS SOUS 23356 HAS SOUPS 18300 WITH SCORE 18375.94
AT ITER 3387 NEW BEST:: SOT 98656 SOS 75897 HAS SOPS 38011 HAS SOUS 23341 HAS SOUPS 18285 WITH SCORE 18360.897
AT ITER 3397 NEW BEST:: SOT 98654 SOS 75895 HAS SOPS 38009 HAS SOUS 23336 HAS SOUPS 18280 WITH SCORE 18355.895
AT ITER 3403 NEW BEST:: SOT 98615 SOS 75856 HAS SOPS 37983 HAS SOUS 23310 HAS SOUPS 18254 WITH SCORE 18329.856
AT ITER 3427 NEW BEST:: SOT 98615 SOS 75856 HAS SOPS 37983 HAS SOUS 23292 HAS SOUPS 18236 WITH SCORE 18311.856
AT ITER 3448 NEW BEST:: SOT 98577 SOS 75818 HAS SOPS 37926 HAS SOUS 23238 HAS SOUPS 18182 WITH SCORE 18257.818
AT ITER 3484 NEW BEST:: SOT 98547 SOS 75788 HAS SOPS 37866 HAS SOUS 23186 HAS SOUPS 18130 WITH SCORE 18205.788
AT ITER 3518 NEW BEST:: SOT 98509 SOS 75763 HAS SOPS 37814 HAS SOUS 23134 HAS SOUPS 18078 WITH SCORE 18153.763
AT ITER 3542 NEW BEST:: SOT 98501 SOS 75763 HAS SOPS 37805 HAS SOUS 23119 HAS SOUPS 18063 WITH SCORE 18138.763
AT ITER 3546 NEW BEST:: SOT 98500 SOS 75761 HAS SOPS 37803 HAS SOUS 23117 HAS SOUPS 18061 WITH SCORE 18136.761
AT ITER 3547 NEW BEST:: SOT 98406 SOS 75667 HAS SOPS 37679 HAS SOUS 23085 HAS SOUPS 18029 WITH SCORE 18104.667
AT ITER 3548 NEW BEST:: SOT 98448 SOS 75709 HAS SOPS 37649 HAS SOUS 23049 HAS SOUPS 17993 WITH SCORE 18068.709
AT ITER 3583 NEW BEST:: SOT 98444 SOS 75705 HAS SOPS 37643 HAS SOUS 23009 HAS SOUPS 17953 WITH SCORE 18028.705
AT ITER 3594 NEW BEST:: SOT 98377 SOS 75598 HAS SOPS 37536 HAS SOUS 22903 HAS SOUPS 17847 WITH SCORE 17922.598
AT ITER 3625 NEW BEST:: SOT 98369 SOS 75590 HAS SOPS 37579 HAS SOUS 22895 HAS SOUPS 17839 WITH SCORE 17914.59
AT ITER 3633 NEW BEST:: SOT 98273 SOS 75494 HAS SOPS 37435 HAS SOUS 22745 HAS SOUPS 17689 WITH SCORE 17764.494
AT ITER 3642 NEW BEST:: SOT 98273 SOS 75494 HAS SOPS 37435 HAS SOUS 22739 HAS SOUPS 17683 WITH SCORE 17758.494
AT ITER 3660 NEW BEST:: SOT 98255 SOS 75476 HAS SOPS 37380 HAS SOUS 22722 HAS SOUPS 17666 WITH SCORE 17741.476
AT ITER 3661 NEW BEST:: SOT 98255 SOS 75476 HAS SOPS 37338 HAS SOUS 22708 HAS SOUPS 17652 WITH SCORE 17727.476
AT ITER 3690 NEW BEST:: SOT 98117 SOS 75403 HAS SOPS 37228 HAS SOUS 22627 HAS SOUPS 17571 WITH SCORE 17646.403
AT ITER 3694 NEW BEST:: SOT 98073 SOS 75359 HAS SOPS 37162 HAS SOUS 22539 HAS SOUPS 17483 WITH SCORE 17558.359
AT ITER 3706 NEW BEST:: SOT 98019 SOS 75305 HAS SOPS 37081 HAS SOUS 22468 HAS SOUPS 17412 WITH SCORE 17487.305
AT ITER 3707 NEW BEST:: SOT 97987 SOS 75261 HAS SOPS 37033 HAS SOUS 22407 HAS SOUPS 17351 WITH SCORE 17426.261
AT ITER 3718 NEW BEST:: SOT 97969 SOS 75243 HAS SOPS 36997 HAS SOUS 22380 HAS SOUPS 17324 WITH SCORE 17399.243
AT ITER 3723 NEW BEST:: SOT 97961 SOS 75235 HAS SOPS 36949 HAS SOUS 22368 HAS SOUPS 17312 WITH SCORE 17387.235
AT ITER 3732 NEW BEST:: SOT 97929 SOS 75203 HAS SOPS 36953 HAS SOUS 22320 HAS SOUPS 17264 WITH SCORE 17339.203
AT ITER 3733 NEW BEST:: SOT 97927 SOS 75201 HAS SOPS 36949 HAS SOUS 22314 HAS SOUPS 17258 WITH SCORE 17333.201
AT ITER 3739 NEW BEST:: SOT 97913 SOS 75187 HAS SOPS 36984 HAS SOUS 22293 HAS SOUPS 17237 WITH SCORE 17312.187
AT ITER 3752 NEW BEST:: SOT 97885 SOS 75151 HAS SOPS 36942 HAS SOUS 22251 HAS SOUPS 17195 WITH SCORE 17270.151
AT ITER 3756 NEW BEST:: SOT 97885 SOS 75151 HAS SOPS 36942 HAS SOUS 22243 HAS SOUPS 17187 WITH SCORE 17262.151
AT ITER 3757 NEW BEST:: SOT 97885 SOS 75151 HAS SOPS 36922 HAS SOUS 22226 HAS SOUPS 17170 WITH SCORE 17245.151
AT ITER 3769 NEW BEST:: SOT 97885 SOS 75146 HAS SOPS 36922 HAS SOUS 22221 HAS SOUPS 17170 WITH SCORE 17245.146
AT ITER 3790 NEW BEST:: SOT 97860 SOS 75439 HAS SOPS 37035 HAS SOUS 22218 HAS SOUPS 17167 WITH SCORE 17242.439
AT ITER 3798 NEW BEST:: SOT 97880 SOS 75459 HAS SOPS 37035 HAS SOUS 22217 HAS SOUPS 17166 WITH SCORE 17241.459
AT ITER 3813 NEW BEST:: SOT 97869 SOS 75448 HAS SOPS 37024 HAS SOUS 22190 HAS SOUPS 17139 WITH SCORE 17214.448
AT ITER 3825 NEW BEST:: SOT 97853 SOS 75432 HAS SOPS 36950 HAS SOUS 22144 HAS SOUPS 17093 WITH SCORE 17168.432
AT ITER 3829 NEW BEST:: SOT 97847 SOS 75426 HAS SOPS 36941 HAS SOUS 22135 HAS SOUPS 17084 WITH SCORE 17159.426
AT ITER 3873 NEW BEST:: SOT 97802 SOS 75342 HAS SOPS 36854 HAS SOUS 22100 HAS SOUPS 17049 WITH SCORE 17124.342
AT ITER 3884 NEW BEST:: SOT 97842 SOS 74820 HAS SOPS 36654 HAS SOUS 22096 HAS SOUPS 17045 WITH SCORE 17119.82
AT ITER 3915 NEW BEST:: SOT 97826 SOS 74804 HAS SOPS 36630 HAS SOUS 22079 HAS SOUPS 17028 WITH SCORE 17102.804
AT ITER 3956 NEW BEST:: SOT 97823 SOS 74798 HAS SOPS 36621 HAS SOUS 22047 HAS SOUPS 16996 WITH SCORE 17070.798
AT ITER 3969 NEW BEST:: SOT 97815 SOS 74790 HAS SOPS 36593 HAS SOUS 22039 HAS SOUPS 16984 WITH SCORE 17058.79
AT ITER 3979 NEW BEST:: SOT 97799 SOS 74774 HAS SOPS 36521 HAS SOUS 22015 HAS SOUPS 16960 WITH SCORE 17034.774
AT ITER 4009 NEW BEST:: SOT 97756 SOS 74767 HAS SOPS 36469 HAS SOUS 21994 HAS SOUPS 16894 WITH SCORE 16968.767
AT ITER 4044 NEW BEST:: SOT 97742 SOS 74753 HAS SOPS 36448 HAS SOUS 21973 HAS SOUPS 16873 WITH SCORE 16947.753
AT ITER 4065 NEW BEST:: SOT 97757 SOS 74768 HAS SOPS 36383 HAS SOUS 21997 HAS SOUPS 16863 WITH SCORE 16937.768
AT ITER 4072 NEW BEST:: SOT 97747 SOS 74758 HAS SOPS 36368 HAS SOUS 21969 HAS SOUPS 16835 WITH SCORE 16909.758
AT ITER 4073 NEW BEST:: SOT 97648 SOS 75851 HAS SOPS 36775 HAS SOUS 21985 HAS SOUPS 16832 WITH SCORE 16907.851
AT ITER 4075 NEW BEST:: SOT 97631 SOS 75834 HAS SOPS 36724 HAS SOUS 21968 HAS SOUPS 16815 WITH SCORE 16890.834
AT ITER 4100 NEW BEST:: SOT 97631 SOS 75834 HAS SOPS 36688 HAS SOUS 21951 HAS SOUPS 16798 WITH SCORE 16873.834
AT ITER 4144 NEW BEST:: SOT 97625 SOS 75828 HAS SOPS 36682 HAS SOUS 21945 HAS SOUPS 16792 WITH SCORE 16867.828
AT ITER 4155 NEW BEST:: SOT 97601 SOS 75804 HAS SOPS 36646 HAS SOUS 21917 HAS SOUPS 16764 WITH SCORE 16839.804
AT ITER 4158 NEW BEST:: SOT 97585 SOS 75788 HAS SOPS 36646 HAS SOUS 21917 HAS SOUPS 16764 WITH SCORE 16839.788
AT ITER 4168 NEW BEST:: SOT 97515 SOS 75718 HAS SOPS 36506 HAS SOUS 21764 HAS SOUPS 16611 WITH SCORE 16686.718
AT ITER 4174 NEW BEST:: SOT 97515 SOS 75718 HAS SOPS 36506 HAS SOUS 21758 HAS SOUPS 16605 WITH SCORE 16680.718
AT ITER 4178 NEW BEST:: SOT 97491 SOS 75694 HAS SOPS 36363 HAS SOUS 21668 HAS SOUPS 16488 WITH SCORE 16563.694
AT ITER 4182 NEW BEST:: SOT 97490 SOS 75693 HAS SOPS 36362 HAS SOUS 21666 HAS SOUPS 16486 WITH SCORE 16561.693
AT ITER 4183 NEW BEST:: SOT 97478 SOS 75681 HAS SOPS 36353 HAS SOUS 21657 HAS SOUPS 16477 WITH SCORE 16552.681
AT ITER 4193 NEW BEST:: SOT 97484 SOS 75687 HAS SOPS 36350 HAS SOUS 21654 HAS SOUPS 16474 WITH SCORE 16549.687
AT ITER 4194 NEW BEST:: SOT 97514 SOS 75717 HAS SOPS 36327 HAS SOUS 21631 HAS SOUPS 16451 WITH SCORE 16526.717
AT ITER 4224 NEW BEST:: SOT 97490 SOS 75693 HAS SOPS 36291 HAS SOUS 21583 HAS SOUPS 16403 WITH SCORE 16478.693
AT ITER 4228 NEW BEST:: SOT 97479 SOS 75682 HAS SOPS 36280 HAS SOUS 21572 HAS SOUPS 16392 WITH SCORE 16467.682
AT ITER 4236 NEW BEST:: SOT 97473 SOS 75665 HAS SOPS 36251 HAS SOUS 21568 HAS SOUPS 16388 WITH SCORE 16463.665
AT ITER 4238 NEW BEST:: SOT 97459 SOS 75651 HAS SOPS 36251 HAS SOUS 21568 HAS SOUPS 16388 WITH SCORE 16463.651
AT ITER 4252 NEW BEST:: SOT 97440 SOS 75632 HAS SOPS 36232 HAS SOUS 21473 HAS SOUPS 16293 WITH SCORE 16368.632
AT ITER 4271 NEW BEST:: SOT 97439 SOS 75631 HAS SOPS 36231 HAS SOUS 21471 HAS SOUPS 16291 WITH SCORE 16366.631
AT ITER 4274 NEW BEST:: SOT 97439 SOS 75624 HAS SOPS 36224 HAS SOUS 21471 HAS SOUPS 16291 WITH SCORE 16366.624
AT ITER 4333 NEW BEST:: SOT 97437 SOS 75622 HAS SOPS 36221 HAS SOUS 21469 HAS SOUPS 16289 WITH SCORE 16364.622
AT ITER 4344 NEW BEST:: SOT 97419 SOS 75604 HAS SOPS 36194 HAS SOUS 21436 HAS SOUPS 16256 WITH SCORE 16331.604
AT ITER 4351 NEW BEST:: SOT 97421 SOS 75606 HAS SOPS 36194 HAS SOUS 21435 HAS SOUPS 16255 WITH SCORE 16330.606
AT ITER 4375 NEW BEST:: SOT 97417 SOS 75602 HAS SOPS 36191 HAS SOUS 21433 HAS SOUPS 16253 WITH SCORE 16328.602
AT ITER 4376 NEW BEST:: SOT 97399 SOS 75584 HAS SOPS 36155 HAS SOUS 21394 HAS SOUPS 16214 WITH SCORE 16289.584
AT ITER 4381 NEW BEST:: SOT 97397 SOS 75582 HAS SOPS 36152 HAS SOUS 21390 HAS SOUPS 16210 WITH SCORE 16285.582
AT ITER 4391 NEW BEST:: SOT 97392 SOS 75557 HAS SOPS 36142 HAS SOUS 21357 HAS SOUPS 16192 WITH SCORE 16267.557
AT ITER 4406 NEW BEST:: SOT 97350 SOS 75515 HAS SOPS 36231 HAS SOUS 21294 HAS SOUPS 16167 WITH SCORE 16242.515
AT ITER 4409 NEW BEST:: SOT 97350 SOS 75515 HAS SOPS 36231 HAS SOUS 21290 HAS SOUPS 16163 WITH SCORE 16238.515
AT ITER 4420 NEW BEST:: SOT 97300 SOS 75472 HAS SOPS 36131 HAS SOUS 21223 HAS SOUPS 16096 WITH SCORE 16171.472
AT ITER 4422 NEW BEST:: SOT 97276 SOS 75448 HAS SOPS 36095 HAS SOUS 21189 HAS SOUPS 16062 WITH SCORE 16137.448
AT ITER 4446 NEW BEST:: SOT 97210 SOS 75382 HAS SOPS 36062 HAS SOUS 21143 HAS SOUPS 16016 WITH SCORE 16091.382
AT ITER 4467 NEW BEST:: SOT 97198 SOS 75370 HAS SOPS 36050 HAS SOUS 21094 HAS SOUPS 15967 WITH SCORE 16042.37
AT ITER 4488 NEW BEST:: SOT 97202 SOS 75309 HAS SOPS 36025 HAS SOUS 21094 HAS SOUPS 15967 WITH SCORE 16042.309
AT ITER 4493 NEW BEST:: SOT 97268 SOS 75375 HAS SOPS 36025 HAS SOUS 21087 HAS SOUPS 15936 WITH SCORE 16011.375
AT ITER 4523 NEW BEST:: SOT 97262 SOS 75369 HAS SOPS 36013 HAS SOUS 21075 HAS SOUPS 15924 WITH SCORE 15999.369
AT ITER 4533 NEW BEST:: SOT 97256 SOS 75363 HAS SOPS 36011 HAS SOUS 21072 HAS SOUPS 15921 WITH SCORE 15996.363
AT ITER 4571 NEW BEST:: SOT 97220 SOS 75327 HAS SOPS 35957 HAS SOUS 21012 HAS SOUPS 15861 WITH SCORE 15936.327
AT ITER 4586 NEW BEST:: SOT 97218 SOS 75325 HAS SOPS 35954 HAS SOUS 21008 HAS SOUPS 15857 WITH SCORE 15932.325
AT ITER 4616 NEW BEST:: SOT 97182 SOS 75289 HAS SOPS 35900 HAS SOUS 20951 HAS SOUPS 15800 WITH SCORE 15875.289
AT ITER 4620 NEW BEST:: SOT 97169 SOS 75276 HAS SOPS 35887 HAS SOUS 20938 HAS SOUPS 15787 WITH SCORE 15862.276
AT ITER 4638 NEW BEST:: SOT 97150 SOS 75266 HAS SOPS 35877 HAS SOUS 20928 HAS SOUPS 15777 WITH SCORE 15852.266
AT ITER 4648 NEW BEST:: SOT 97166 SOS 75264 HAS SOPS 35832 HAS SOUS 20912 HAS SOUPS 15761 WITH SCORE 15836.264
AT ITER 4650 NEW BEST:: SOT 97160 SOS 75258 HAS SOPS 35830 HAS SOUS 20900 HAS SOUPS 15749 WITH SCORE 15824.258
AT ITER 4657 NEW BEST:: SOT 97134 SOS 75232 HAS SOPS 35843 HAS SOUS 20900 HAS SOUPS 15749 WITH SCORE 15824.232
AT ITER 4659 NEW BEST:: SOT 97130 SOS 75228 HAS SOPS 35835 HAS SOUS 20885 HAS SOUPS 15734 WITH SCORE 15809.228
AT ITER 4665 NEW BEST:: SOT 97074 SOS 75645 HAS SOPS 35987 HAS SOUS 20869 HAS SOUPS 15710 WITH SCORE 15785.645
AT ITER 4704 NEW BEST:: SOT 97064 SOS 75664 HAS SOPS 36040 HAS SOUS 20867 HAS SOUPS 15708 WITH SCORE 15783.664
AT ITER 4711 NEW BEST:: SOT 97012 SOS 75612 HAS SOPS 35962 HAS SOUS 20841 HAS SOUPS 15682 WITH SCORE 15757.612
AT ITER 4722 NEW BEST:: SOT 96997 SOS 75597 HAS SOPS 35932 HAS SOUS 20826 HAS SOUPS 15667 WITH SCORE 15742.597
AT ITER 4724 NEW BEST:: SOT 97000 SOS 75589 HAS SOPS 35935 HAS SOUS 20799 HAS SOUPS 15651 WITH SCORE 15726.589
AT ITER 4731 NEW BEST:: SOT 96990 SOS 75579 HAS SOPS 35920 HAS SOUS 20794 HAS SOUPS 15646 WITH SCORE 15721.579
AT ITER 4763 NEW BEST:: SOT 96963 SOS 75735 HAS SOPS 35983 HAS SOUS 20788 HAS SOUPS 15637 WITH SCORE 15712.735
AT ITER 4772 NEW BEST:: SOT 96941 SOS 75713 HAS SOPS 35952 HAS SOUS 20740 HAS SOUPS 15589 WITH SCORE 15664.713
AT ITER 4786 NEW BEST:: SOT 96925 SOS 75697 HAS SOPS 35920 HAS SOUS 20708 HAS SOUPS 15557 WITH SCORE 15632.697
AT ITER 4801 NEW BEST:: SOT 96887 SOS 75659 HAS SOPS 35939 HAS SOUS 20708 HAS SOUPS 15557 WITH SCORE 15632.659
AT ITER 4810 NEW BEST:: SOT 96859 SOS 75631 HAS SOPS 35918 HAS SOUS 20687 HAS SOUPS 15536 WITH SCORE 15611.631
AT ITER 4819 NEW BEST:: SOT 96843 SOS 75657 HAS SOPS 35892 HAS SOUS 20661 HAS SOUPS 15510 WITH SCORE 15585.657
AT ITER 4838 NEW BEST:: SOT 96805 SOS 75619 HAS SOPS 35835 HAS SOUS 20604 HAS SOUPS 15453 WITH SCORE 15528.619
AT ITER 4848 NEW BEST:: SOT 96799 SOS 75613 HAS SOPS 35826 HAS SOUS 20601 HAS SOUPS 15450 WITH SCORE 15525.613
AT ITER 4858 NEW BEST:: SOT 96849 SOS 75663 HAS SOPS 35799 HAS SOUS 20595 HAS SOUPS 15444 WITH SCORE 15519.663
AT ITER 4864 NEW BEST:: SOT 96811 SOS 75625 HAS SOPS 35742 HAS SOUS 20534 HAS SOUPS 15383 WITH SCORE 15458.625
AT ITER 4869 NEW BEST:: SOT 96811 SOS 75625 HAS SOPS 35742 HAS SOUS 20531 HAS SOUPS 15380 WITH SCORE 15455.625
AT ITER 4891 NEW BEST:: SOT 96783 SOS 75597 HAS SOPS 35714 HAS SOUS 20517 HAS SOUPS 15366 WITH SCORE 15441.597
AT ITER 4900 NEW BEST:: SOT 96815 SOS 75640 HAS SOPS 35757 HAS SOUS 20515 HAS SOUPS 15364 WITH SCORE 15439.64
AT ITER 4903 NEW BEST:: SOT 96815 SOS 75640 HAS SOPS 35757 HAS SOUS 20513 HAS SOUPS 15362 WITH SCORE 15437.64
AT ITER 4925 NEW BEST:: SOT 96762 SOS 75570 HAS SOPS 35660 HAS SOUS 20433 HAS SOUPS 15282 WITH SCORE 15357.57
AT ITER 4938 NEW BEST:: SOT 96757 SOS 75562 HAS SOPS 35655 HAS SOUS 20426 HAS SOUPS 15275 WITH SCORE 15350.562
AT ITER 4945 NEW BEST:: SOT 96745 SOS 75550 HAS SOPS 35643 HAS SOUS 20413 HAS SOUPS 15262 WITH SCORE 15337.55
AT ITER 4977 NEW BEST:: SOT 96779 SOS 75313 HAS SOPS 35711 HAS SOUS 20210 HAS SOUPS 15220 WITH SCORE 15295.313
AT ITER 4982 NEW BEST:: SOT 96740 SOS 75274 HAS SOPS 35712 HAS SOUS 20194 HAS SOUPS 15204 WITH SCORE 15279.274
AT ITER 4983 NEW BEST:: SOT 96742 SOS 75276 HAS SOPS 35703 HAS SOUS 20193 HAS SOUPS 15200 WITH SCORE 15275.276
AT ITER 4988 NEW BEST:: SOT 96700 SOS 75234 HAS SOPS 35640 HAS SOUS 20109 HAS SOUPS 15116 WITH SCORE 15191.234
Bounds file is: CTLFireability.xml
PROPERTY: Raft-PT-08-CTLFireability-00 (! (AG( (! ( ( ((potential((tk(P286)>=1) & (tk(P74)>=1)))) & ((potential((tk(P306)>=1) & (tk(P166)>=1)))) ) & ( ((potential((tk(P301)>=1) & (tk(P160)>=1)))) & ((potential((tk(P301)>=1) & (tk(P324)>=1)))) ) )))))
PROPERTY: Raft-PT-08-CTLFireability-01 ( (AG( ( (EF( ((potential((tk(P284)>=1) & (tk(P328)>=1)))))) | (AF( ((potential((tk(P291)>=1) & (tk(P182)>=1)))))) ))) & (! ( ((potential((tk(P301)>=1)))) & (! (! ( ((potential((tk(P321)>=1) & (tk(P34)>=1)))) & ((potential((tk(P321)>=1) & (tk(P68)>=1)))) ))) )) )
PROPERTY: Raft-PT-08-CTLFireability-02 ( (! ( (AX( ( ((potential((tk(P311)>=1) & (tk(P163)>=1)))) | ((potential((tk(P315)>=1)))) ))) | ( (EF( ((potential((tk(P316)>=1) & (tk(P169)>=1)))))) | (EF( ((potential((tk(P291)>=1) & (tk(P217)>=1)))))) ) )) | (EF( ( ( ( ((potential((tk(P291)>=1) & (tk(P71)>=1)))) & ((potential((tk(P311)>=1) & (tk(P57)>=1)))) ) & ( ((potential((tk(P286)>=1) & (tk(P36)>=1)))) | ((potential((tk(P320)>=1)))) ) ) & (EG( ((potential((tk(P291)>=1) & (tk(P254)>=1)))))) ))) )
PROPERTY: Raft-PT-08-CTLFireability-03 ( ( (AF( ( ((potential((tk(P316)>=1) & (tk(P246)>=1)))) | (! ((potential((tk(P286)>=1) & (tk(P26)>=1))))) ))) & ( (! ((potential((tk(P296)>=1) & (tk(P119)>=1))))) & ( ( ( ((potential((tk(P316)>=1) & (tk(P221)>=1)))) | ((potential((tk(P316)>=1) & (tk(P241)>=1)))) ) & ( ((potential((tk(P291)>=1) & (tk(P51)>=1)))) | ((potential((tk(P304)>=1)))) ) ) & ( ((potential((tk(P286)>=1) & (tk(P143)>=1)))) | ( ((potential((tk(P311)>=1) & (tk(P162)>=1)))) | ((potential((tk(P321)>=1) & (tk(P251)>=1)))) ) ) ) ) ) | ( (EU( (! ((potential((tk(P306)>=1) & (tk(P233)>=1))))) , ((potential((tk(P294)>=1)))) )) | ((potential((tk(P301)>=1) & (tk(P263)>=1)))) ) )
PROPERTY: Raft-PT-08-CTLFireability-04 (! (AG( (! (EG( ((potential((tk(P302)>=1))))))))))
PROPERTY: Raft-PT-08-CTLFireability-05 (AG( ( (EX( (! ((potential((tk(P311)>=1) & (tk(P201)>=1))))))) | ( ( (! ((potential((tk(P286)>=1) & (tk(P214)>=1))))) | ( ((potential((tk(P311)>=1)))) & ((potential((tk(P289)>=1)))) ) ) | (! (! ((potential((tk(P321)>=1) & (tk(P281)>=1)))))) ) )))
PROPERTY: Raft-PT-08-CTLFireability-06 (EG( (EF( (EG( ((potential((tk(P301)>=1) & (tk(P160)>=1))))))))))
PROPERTY: Raft-PT-08-CTLFireability-07 ( ( (AG( (EF( ((potential((tk(P291)>=1) & (tk(P56)>=1)))))))) | ( ((potential((tk(P286)>=1) & (tk(P142)>=1)))) & (AG( (! ((potential((tk(P302)>=1) & (tk(P328)>=1))))))) ) ) | ((potential((tk(P306)>=1) & (tk(P54)>=1)))) )
PROPERTY: Raft-PT-08-CTLFireability-08 (EF( (EG( (AF( ((potential((tk(P316)>=1) & (tk(P324)>=1))))))))))
PROPERTY: Raft-PT-08-CTLFireability-09 (AG( ( ( ( (! ((potential((tk(P285)>=1))))) | (! ((potential((tk(P306)>=1) & (tk(P20)>=1))))) ) | ( (! ((potential((tk(P296)>=1) & (tk(P101)>=1))))) & ((potential((tk(P313)>=1)))) ) ) | ( ((potential((tk(P306)>=1) & (tk(P146)>=1)))) | ((potential((tk(P316)>=1) & (tk(P246)>=1)))) ) )))
PROPERTY: Raft-PT-08-CTLFireability-10 (! (EF( (EG( ( ((potential((tk(P291)>=1) & (tk(P150)>=1)))) & ((potential((tk(P296)>=1) & (tk(P117)>=1)))) ))))))
PROPERTY: Raft-PT-08-CTLFireability-11 (EG( ( (EF( ( ((potential((tk(P306)>=1) & (tk(P166)>=1)))) & ((potential((tk(P282)>=1) & (tk(P328)>=1)))) ))) | (EG( ( ((potential((tk(P316)>=1) & (tk(P169)>=1)))) | ((potential((tk(P286)>=1) & (tk(P11)>=1)))) ))) )))
PROPERTY: Raft-PT-08-CTLFireability-12 (AG( (AF( (EG( ((potential((tk(P306)>=1) & (tk(P166)>=1))))))))))
PROPERTY: Raft-PT-08-CTLFireability-13 (EX( (EF( (! ( ((potential((tk(P321)>=1)))) | ((potential((tk(P291)>=1) & (tk(P5)>=1)))) ))))))
PROPERTY: Raft-PT-08-CTLFireability-14 (EF( ( ( (EG( ((potential((tk(P291)>=1) & (tk(P46)>=1)))))) & ( (! ((potential((tk(P311)>=1) & (tk(P211)>=1))))) & (! ((potential((tk(P311)>=1) & (tk(P181)>=1))))) ) ) & ( (EG( ((potential((tk(P296)>=1)))))) & ( (! ((potential((tk(P306)>=1) & (tk(P176)>=1))))) & ( ((potential((tk(P321)>=1) & (tk(P322)>=1)))) | ((potential((tk(P321)>=1)))) ) ) ) )))
PROPERTY: Raft-PT-08-CTLFireability-15 ( ( (! (! (! (! ((potential((tk(P286)>=1) & (tk(P26)>=1)))))))) & ( ( (AF( ((potential((tk(P321)>=1) & (tk(P138)>=1)))))) | ((potential((tk(P316)>=1) & (tk(P236)>=1)))) ) & ( (AF( ((potential((tk(P305)>=1)))))) | (EG( ((potential((tk(P306)>=1) & (tk(P146)>=1)))))) ) ) ) | (! (EF( (AG( ((potential((tk(P311)>=1) & (tk(P196)>=1))))))))) )

BK_STOP 1589806589057

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 479 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Raft-PT-08"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is Raft-PT-08, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502600268"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-08.tgz
mv Raft-PT-08 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;