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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 640K
-rw-r--r-- 1 mcc users 5.4K Feb 26 17:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Feb 26 17:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 17:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 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.8K Feb 25 16:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 17:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 108K Feb 26 17:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 17:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 111K Feb 26 17:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 196K 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 1679495406720

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Raft-PT-09
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 09
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 413 places, 710 transitions, 2728 arcs.
AT ITER 0 NEW BEST:: SOT 258253 SOS 174932 HAS SOPS 174896 HAS SOUS 137429 HAS SOUPS 137420 WITH SCORE 137594.932
AT ITER 2 NEW BEST:: SOT 257917 SOS 174594 HAS SOPS 174515 HAS SOUS 136983 HAS SOUPS 136932 WITH SCORE 137106.594
AT ITER 3 NEW BEST:: SOT 257637 SOS 174596 HAS SOPS 174496 HAS SOUS 136850 HAS SOUPS 136780 WITH SCORE 136954.596
AT ITER 4 NEW BEST:: SOT 257637 SOS 173779 HAS SOPS 173679 HAS SOUS 136850 HAS SOUPS 136780 WITH SCORE 136953.779
AT ITER 6 NEW BEST:: SOT 257403 SOS 173581 HAS SOPS 173468 HAS SOUS 136545 HAS SOUPS 136469 WITH SCORE 136642.581
AT ITER 8 NEW BEST:: SOT 257403 SOS 173581 HAS SOPS 173468 HAS SOUS 136513 HAS SOUPS 136437 WITH SCORE 136610.581
AT ITER 9 NEW BEST:: SOT 257403 SOS 173581 HAS SOPS 173468 HAS SOUS 136482 HAS SOUPS 136406 WITH SCORE 136579.581
AT ITER 10 NEW BEST:: SOT 257403 SOS 173496 HAS SOPS 173383 HAS SOUS 136482 HAS SOUPS 136406 WITH SCORE 136579.496
AT ITER 12 NEW BEST:: SOT 257403 SOS 173481 HAS SOPS 173368 HAS SOUS 136482 HAS SOUPS 136406 WITH SCORE 136579.481
AT ITER 13 NEW BEST:: SOT 257063 SOS 173061 HAS SOPS 172910 HAS SOUS 136024 HAS SOUPS 135911 WITH SCORE 136084.061
AT ITER 19 NEW BEST:: SOT 257063 SOS 171969 HAS SOPS 171818 HAS SOUS 135989 HAS SOUPS 135876 WITH SCORE 136047.969
AT ITER 20 NEW BEST:: SOT 254475 SOS 176393 HAS SOPS 169686 HAS SOUS 134744 HAS SOUPS 134428 WITH SCORE 134604.393
AT ITER 21 NEW BEST:: SOT 252155 SOS 178702 HAS SOPS 168062 HAS SOUS 133860 HAS SOUPS 133313 WITH SCORE 133491.702
AT ITER 24 NEW BEST:: SOT 252155 SOS 178678 HAS SOPS 168038 HAS SOUS 133854 HAS SOUPS 133307 WITH SCORE 133485.678
AT ITER 26 NEW BEST:: SOT 251734 SOS 178257 HAS SOPS 167617 HAS SOUS 133431 HAS SOUPS 132884 WITH SCORE 133062.257
AT ITER 30 NEW BEST:: SOT 251526 SOS 178263 HAS SOPS 167369 HAS SOUS 132983 HAS SOUPS 132414 WITH SCORE 132592.263
AT ITER 32 NEW BEST:: SOT 251223 SOS 177996 HAS SOPS 167102 HAS SOUS 132719 HAS SOUPS 132150 WITH SCORE 132327.996
AT ITER 33 NEW BEST:: SOT 250755 SOS 178505 HAS SOPS 167324 HAS SOUS 132737 HAS SOUPS 132135 WITH SCORE 132313.505
AT ITER 35 NEW BEST:: SOT 250133 SOS 177943 HAS SOPS 167469 HAS SOUS 132616 HAS SOUPS 132014 WITH SCORE 132191.943
AT ITER 36 NEW BEST:: SOT 249421 SOS 177108 HAS SOPS 166608 HAS SOUS 131672 HAS SOUPS 131046 WITH SCORE 131223.108
AT ITER 37 NEW BEST:: SOT 249421 SOS 177128 HAS SOPS 166608 HAS SOUS 131653 HAS SOUPS 131026 WITH SCORE 131203.128
AT ITER 43 NEW BEST:: SOT 248971 SOS 177965 HAS SOPS 166293 HAS SOUS 131473 HAS SOUPS 130801 WITH SCORE 130978.965
AT ITER 44 NEW BEST:: SOT 248707 SOS 177945 HAS SOPS 166243 HAS SOUS 131218 HAS SOUPS 130546 WITH SCORE 130723.945
AT ITER 48 NEW BEST:: SOT 248707 SOS 177908 HAS SOPS 166206 HAS SOUS 131218 HAS SOUPS 130546 WITH SCORE 130723.908
AT ITER 49 NEW BEST:: SOT 248487 SOS 177581 HAS SOPS 165851 HAS SOUS 130771 HAS SOUPS 130097 WITH SCORE 130274.581
AT ITER 50 NEW BEST:: SOT 248299 SOS 177236 HAS SOPS 165484 HAS SOUS 130225 HAS SOUPS 129551 WITH SCORE 129728.236
AT ITER 51 NEW BEST:: SOT 248299 SOS 177236 HAS SOPS 165467 HAS SOUS 130212 HAS SOUPS 129534 WITH SCORE 129711.236
AT ITER 52 NEW BEST:: SOT 248299 SOS 177177 HAS SOPS 165349 HAS SOUS 130094 HAS SOUPS 129416 WITH SCORE 129593.177
AT ITER 53 NEW BEST:: SOT 247715 SOS 176523 HAS SOPS 164625 HAS SOUS 129370 HAS SOUPS 128692 WITH SCORE 128868.523
AT ITER 55 NEW BEST:: SOT 247720 SOS 176528 HAS SOPS 164556 HAS SOUS 129320 HAS SOUPS 128623 WITH SCORE 128799.528
AT ITER 59 NEW BEST:: SOT 247720 SOS 176355 HAS SOPS 164556 HAS SOUS 129320 HAS SOUPS 128623 WITH SCORE 128799.355
AT ITER 62 NEW BEST:: SOT 247528 SOS 176155 HAS SOPS 164339 HAS SOUS 129075 HAS SOUPS 128378 WITH SCORE 128554.155
AT ITER 63 NEW BEST:: SOT 247397 SOS 176098 HAS SOPS 164304 HAS SOUS 129045 HAS SOUPS 128348 WITH SCORE 128524.098
AT ITER 66 NEW BEST:: SOT 246421 SOS 174950 HAS SOPS 163120 HAS SOUS 127754 HAS SOUPS 127022 WITH SCORE 127196.95
AT ITER 67 NEW BEST:: SOT 246421 SOS 173854 HAS SOPS 162024 HAS SOUS 127404 HAS SOUPS 126672 WITH SCORE 126845.854
AT ITER 68 NEW BEST:: SOT 246421 SOS 172295 HAS SOPS 160661 HAS SOUS 127336 HAS SOUPS 126604 WITH SCORE 126776.295
AT ITER 76 NEW BEST:: SOT 245955 SOS 171698 HAS SOPS 159950 HAS SOUS 126727 HAS SOUPS 125896 WITH SCORE 126067.698
AT ITER 77 NEW BEST:: SOT 245958 SOS 171230 HAS SOPS 159482 HAS SOUS 126448 HAS SOUPS 125617 WITH SCORE 125788.23
AT ITER 84 NEW BEST:: SOT 245958 SOS 171152 HAS SOPS 159404 HAS SOUS 126425 HAS SOUPS 125594 WITH SCORE 125765.152
AT ITER 91 NEW BEST:: SOT 245918 SOS 171144 HAS SOPS 159396 HAS SOUS 126424 HAS SOUPS 125593 WITH SCORE 125764.144
AT ITER 92 NEW BEST:: SOT 245918 SOS 170937 HAS SOPS 159189 HAS SOUS 126424 HAS SOUPS 125593 WITH SCORE 125763.937
AT ITER 94 NEW BEST:: SOT 245396 SOS 170411 HAS SOPS 158919 HAS SOUS 126028 HAS SOUPS 125197 WITH SCORE 125367.411
AT ITER 97 NEW BEST:: SOT 245396 SOS 168945 HAS SOPS 157453 HAS SOUS 125827 HAS SOUPS 124996 WITH SCORE 125164.945
AT ITER 98 NEW BEST:: SOT 245396 SOS 168917 HAS SOPS 157425 HAS SOUS 125799 HAS SOUPS 124968 WITH SCORE 125136.917
AT ITER 99 NEW BEST:: SOT 244672 SOS 168577 HAS SOPS 157132 HAS SOUS 125605 HAS SOUPS 124774 WITH SCORE 124942.577
AT ITER 100 NEW BEST:: SOT 244672 SOS 168405 HAS SOPS 157132 HAS SOUS 125605 HAS SOUPS 124774 WITH SCORE 124942.405
AT ITER 105 NEW BEST:: SOT 244672 SOS 168405 HAS SOPS 156960 HAS SOUS 125601 HAS SOUPS 124770 WITH SCORE 124938.405
AT ITER 107 NEW BEST:: SOT 244402 SOS 168985 HAS SOPS 157549 HAS SOUS 125515 HAS SOUPS 124706 WITH SCORE 124874.985
AT ITER 108 NEW BEST:: SOT 244241 SOS 169007 HAS SOPS 157571 HAS SOUS 125499 HAS SOUPS 124690 WITH SCORE 124859.007
AT ITER 109 NEW BEST:: SOT 244059 SOS 168600 HAS SOPS 157593 HAS SOUS 125306 HAS SOUPS 124497 WITH SCORE 124665.6
AT ITER 110 NEW BEST:: SOT 243477 SOS 168010 HAS SOPS 156855 HAS SOUS 124610 HAS SOUPS 123759 WITH SCORE 123927.01
AT ITER 111 NEW BEST:: SOT 238703 SOS 167445 HAS SOPS 151905 HAS SOUS 121760 HAS SOUPS 120586 WITH SCORE 120753.445
AT ITER 112 NEW BEST:: SOT 238280 SOS 167529 HAS SOPS 151959 HAS SOUS 121607 HAS SOUPS 120433 WITH SCORE 120600.529
AT ITER 113 NEW BEST:: SOT 238030 SOS 167342 HAS SOPS 151799 HAS SOUS 121447 HAS SOUPS 120273 WITH SCORE 120440.342
AT ITER 124 NEW BEST:: SOT 238009 SOS 167306 HAS SOPS 151763 HAS SOUS 121411 HAS SOUPS 120237 WITH SCORE 120404.306
AT ITER 125 NEW BEST:: SOT 237199 SOS 166783 HAS SOPS 151323 HAS SOUS 120676 HAS SOUPS 119505 WITH SCORE 119671.783
AT ITER 127 NEW BEST:: SOT 237088 SOS 166561 HAS SOPS 150990 HAS SOUS 120454 HAS SOUPS 119283 WITH SCORE 119449.561
AT ITER 131 NEW BEST:: SOT 236481 SOS 165917 HAS SOPS 150428 HAS SOUS 120077 HAS SOUPS 118906 WITH SCORE 119071.917
AT ITER 132 NEW BEST:: SOT 236125 SOS 165486 HAS SOPS 149904 HAS SOUS 119581 HAS SOUPS 118382 WITH SCORE 118547.486
AT ITER 134 NEW BEST:: SOT 236125 SOS 165463 HAS SOPS 149881 HAS SOUS 119558 HAS SOUPS 118359 WITH SCORE 118524.463
AT ITER 137 NEW BEST:: SOT 236125 SOS 165453 HAS SOPS 149871 HAS SOUS 119558 HAS SOUPS 118359 WITH SCORE 118524.453
AT ITER 140 NEW BEST:: SOT 235703 SOS 165374 HAS SOPS 149759 HAS SOUS 119265 HAS SOUPS 118066 WITH SCORE 118231.374
AT ITER 141 NEW BEST:: SOT 235192 SOS 164668 HAS SOPS 149390 HAS SOUS 118860 HAS SOUPS 117661 WITH SCORE 117825.668
AT ITER 142 NEW BEST:: SOT 234379 SOS 163837 HAS SOPS 148577 HAS SOUS 118153 HAS SOUPS 116951 WITH SCORE 117114.837
AT ITER 144 NEW BEST:: SOT 233817 SOS 163368 HAS SOPS 148506 HAS SOUS 117863 HAS SOUPS 116661 WITH SCORE 116824.368
AT ITER 145 NEW BEST:: SOT 233789 SOS 163326 HAS SOPS 148478 HAS SOUS 117835 HAS SOUPS 116633 WITH SCORE 116796.326
AT ITER 146 NEW BEST:: SOT 233457 SOS 162877 HAS SOPS 147988 HAS SOUS 117238 HAS SOUPS 116036 WITH SCORE 116198.877
AT ITER 148 NEW BEST:: SOT 233292 SOS 162643 HAS SOPS 147707 HAS SOUS 116922 HAS SOUPS 115720 WITH SCORE 115882.643
AT ITER 154 NEW BEST:: SOT 232838 SOS 162167 HAS SOPS 147138 HAS SOUS 116345 HAS SOUPS 115128 WITH SCORE 115290.167
AT ITER 155 NEW BEST:: SOT 232406 SOS 162012 HAS SOPS 147154 HAS SOUS 116317 HAS SOUPS 115100 WITH SCORE 115262.012
AT ITER 156 NEW BEST:: SOT 232291 SOS 161753 HAS SOPS 146924 HAS SOUS 116070 HAS SOUPS 114853 WITH SCORE 115014.753
AT ITER 157 NEW BEST:: SOT 232291 SOS 161731 HAS SOPS 146902 HAS SOUS 116070 HAS SOUPS 114853 WITH SCORE 115014.731
AT ITER 160 NEW BEST:: SOT 231555 SOS 160882 HAS SOPS 146494 HAS SOUS 115315 HAS SOUPS 114101 WITH SCORE 114261.882
AT ITER 161 NEW BEST:: SOT 231555 SOS 160833 HAS SOPS 146445 HAS SOUS 115265 HAS SOUPS 114051 WITH SCORE 114211.833
AT ITER 163 NEW BEST:: SOT 229936 SOS 159638 HAS SOPS 145042 HAS SOUS 114023 HAS SOUPS 112755 WITH SCORE 112914.638
AT ITER 164 NEW BEST:: SOT 229936 SOS 159526 HAS SOPS 144930 HAS SOUS 113799 HAS SOUPS 112531 WITH SCORE 112690.526
AT ITER 165 NEW BEST:: SOT 229255 SOS 159157 HAS SOPS 144716 HAS SOUS 113300 HAS SOUPS 112032 WITH SCORE 112191.157
AT ITER 166 NEW BEST:: SOT 229255 SOS 159157 HAS SOPS 144716 HAS SOUS 113194 HAS SOUPS 111926 WITH SCORE 112085.157
AT ITER 167 NEW BEST:: SOT 228958 SOS 158931 HAS SOPS 144490 HAS SOUS 112934 HAS SOUPS 111666 WITH SCORE 111824.931
AT ITER 170 NEW BEST:: SOT 228958 SOS 158780 HAS SOPS 144490 HAS SOUS 112934 HAS SOUPS 111666 WITH SCORE 111824.78
AT ITER 180 NEW BEST:: SOT 228830 SOS 158652 HAS SOPS 144426 HAS SOUS 112836 HAS SOUPS 111602 WITH SCORE 111760.652
AT ITER 183 NEW BEST:: SOT 228064 SOS 157980 HAS SOPS 143706 HAS SOUS 112069 HAS SOUPS 110835 WITH SCORE 110992.98
AT ITER 185 NEW BEST:: SOT 228064 SOS 157665 HAS SOPS 143536 HAS SOUS 111830 HAS SOUPS 110596 WITH SCORE 110753.665
AT ITER 188 NEW BEST:: SOT 228064 SOS 157665 HAS SOPS 143516 HAS SOUS 111810 HAS SOUPS 110576 WITH SCORE 110733.665
AT ITER 192 NEW BEST:: SOT 228064 SOS 157665 HAS SOPS 143516 HAS SOUS 111807 HAS SOUPS 110573 WITH SCORE 110730.665
AT ITER 198 NEW BEST:: SOT 228064 SOS 157677 HAS SOPS 143528 HAS SOUS 111803 HAS SOUPS 110569 WITH SCORE 110726.677
AT ITER 200 NEW BEST:: SOT 228018 SOS 157631 HAS SOPS 143482 HAS SOUS 111734 HAS SOUPS 110500 WITH SCORE 110657.631
AT ITER 201 NEW BEST:: SOT 227978 SOS 157591 HAS SOPS 143442 HAS SOUS 111654 HAS SOUPS 110420 WITH SCORE 110577.591
AT ITER 202 NEW BEST:: SOT 227978 SOS 156805 HAS SOPS 142656 HAS SOUS 111523 HAS SOUPS 110289 WITH SCORE 110445.805
AT ITER 204 NEW BEST:: SOT 227880 SOS 156634 HAS SOPS 142485 HAS SOUS 111352 HAS SOUPS 110118 WITH SCORE 110274.634
AT ITER 205 NEW BEST:: SOT 227878 SOS 156630 HAS SOPS 142481 HAS SOUS 111348 HAS SOUPS 110114 WITH SCORE 110270.63
AT ITER 209 NEW BEST:: SOT 227617 SOS 157374 HAS SOPS 142942 HAS SOUS 111284 HAS SOUPS 110050 WITH SCORE 110207.374
AT ITER 211 NEW BEST:: SOT 227457 SOS 157076 HAS SOPS 142693 HAS SOUS 110946 HAS SOUPS 109712 WITH SCORE 109869.076
AT ITER 214 NEW BEST:: SOT 227420 SOS 157065 HAS SOPS 142650 HAS SOUS 110903 HAS SOUPS 109669 WITH SCORE 109826.065
AT ITER 217 NEW BEST:: SOT 227392 SOS 155938 HAS SOPS 141523 HAS SOUS 110432 HAS SOUPS 109198 WITH SCORE 109353.938
AT ITER 218 NEW BEST:: SOT 227326 SOS 155893 HAS SOPS 141424 HAS SOUS 110301 HAS SOUPS 109067 WITH SCORE 109222.893
AT ITER 224 NEW BEST:: SOT 227245 SOS 155731 HAS SOPS 141262 HAS SOUS 110137 HAS SOUPS 108903 WITH SCORE 109058.731
AT ITER 231 NEW BEST:: SOT 227361 SOS 155357 HAS SOPS 140551 HAS SOUS 110208 HAS SOUPS 108637 WITH SCORE 108792.357
AT ITER 233 NEW BEST:: SOT 227361 SOS 154428 HAS SOPS 139667 HAS SOUS 109977 HAS SOUPS 108451 WITH SCORE 108605.428
AT ITER 234 NEW BEST:: SOT 227361 SOS 154303 HAS SOPS 139542 HAS SOUS 109964 HAS SOUPS 108438 WITH SCORE 108592.303
AT ITER 240 NEW BEST:: SOT 227274 SOS 154216 HAS SOPS 139455 HAS SOUS 109896 HAS SOUPS 108370 WITH SCORE 108524.216
AT ITER 241 NEW BEST:: SOT 225653 SOS 152595 HAS SOPS 137834 HAS SOUS 108137 HAS SOUPS 106611 WITH SCORE 106763.595
AT ITER 246 NEW BEST:: SOT 225483 SOS 153020 HAS SOPS 137715 HAS SOUS 108069 HAS SOUPS 106526 WITH SCORE 106679.02
AT ITER 247 NEW BEST:: SOT 225354 SOS 152239 HAS SOPS 136934 HAS SOUS 107680 HAS SOUPS 106137 WITH SCORE 106289.239
AT ITER 252 NEW BEST:: SOT 225354 SOS 151785 HAS SOPS 136548 HAS SOUS 107598 HAS SOUPS 106055 WITH SCORE 106206.785
AT ITER 253 NEW BEST:: SOT 224577 SOS 150862 HAS SOPS 136281 HAS SOUS 106962 HAS SOUPS 105430 WITH SCORE 105580.862
AT ITER 255 NEW BEST:: SOT 224278 SOS 150816 HAS SOPS 136318 HAS SOUS 106916 HAS SOUPS 105384 WITH SCORE 105534.816
AT ITER 256 NEW BEST:: SOT 223711 SOS 150249 HAS SOPS 135949 HAS SOUS 106547 HAS SOUPS 105015 WITH SCORE 105165.249
AT ITER 257 NEW BEST:: SOT 223667 SOS 150205 HAS SOPS 135905 HAS SOUS 106525 HAS SOUPS 104993 WITH SCORE 105143.205
AT ITER 261 NEW BEST:: SOT 223652 SOS 150143 HAS SOPS 135875 HAS SOUS 106495 HAS SOUPS 104963 WITH SCORE 105113.143
AT ITER 262 NEW BEST:: SOT 223185 SOS 148610 HAS SOPS 134342 HAS SOUS 105624 HAS SOUPS 104092 WITH SCORE 104240.61
AT ITER 263 NEW BEST:: SOT 223117 SOS 148535 HAS SOPS 134260 HAS SOUS 105542 HAS SOUPS 104010 WITH SCORE 104158.535
AT ITER 266 NEW BEST:: SOT 223117 SOS 148533 HAS SOPS 134258 HAS SOUS 105542 HAS SOUPS 104010 WITH SCORE 104158.533
AT ITER 267 NEW BEST:: SOT 223117 SOS 148527 HAS SOPS 134252 HAS SOUS 105536 HAS SOUPS 104004 WITH SCORE 104152.527
AT ITER 272 NEW BEST:: SOT 223117 SOS 148371 HAS SOPS 134096 HAS SOUS 105506 HAS SOUPS 103974 WITH SCORE 104122.371
AT ITER 273 NEW BEST:: SOT 223099 SOS 148139 HAS SOPS 133864 HAS SOUS 105488 HAS SOUPS 103956 WITH SCORE 104104.139
AT ITER 274 NEW BEST:: SOT 222919 SOS 147959 HAS SOPS 133684 HAS SOUS 105284 HAS SOUPS 103752 WITH SCORE 103899.959
AT ITER 277 NEW BEST:: SOT 223119 SOS 148137 HAS SOPS 133786 HAS SOUS 105214 HAS SOUPS 103682 WITH SCORE 103830.137
AT ITER 278 NEW BEST:: SOT 222603 SOS 147608 HAS SOPS 133254 HAS SOUS 104682 HAS SOUPS 103150 WITH SCORE 103297.608
AT ITER 284 NEW BEST:: SOT 222028 SOS 147115 HAS SOPS 133485 HAS SOUS 104453 HAS SOUPS 102921 WITH SCORE 103068.115
AT ITER 286 NEW BEST:: SOT 221802 SOS 146694 HAS SOPS 132841 HAS SOUS 104035 HAS SOUPS 102503 WITH SCORE 102649.694
AT ITER 288 NEW BEST:: SOT 221816 SOS 146735 HAS SOPS 132946 HAS SOUS 103938 HAS SOUPS 102420 WITH SCORE 102566.735
AT ITER 290 NEW BEST:: SOT 221816 SOS 146734 HAS SOPS 132945 HAS SOUS 103938 HAS SOUPS 102420 WITH SCORE 102566.734
AT ITER 292 NEW BEST:: SOT 221822 SOS 146650 HAS SOPS 132840 HAS SOUS 103875 HAS SOUPS 102357 WITH SCORE 102503.65
AT ITER 293 NEW BEST:: SOT 221734 SOS 146562 HAS SOPS 132664 HAS SOUS 103713 HAS SOUPS 102181 WITH SCORE 102327.562
AT ITER 294 NEW BEST:: SOT 221535 SOS 146188 HAS SOPS 132282 HAS SOUS 103316 HAS SOUPS 101784 WITH SCORE 101930.188
AT ITER 298 NEW BEST:: SOT 221523 SOS 146152 HAS SOPS 132246 HAS SOUS 103280 HAS SOUPS 101748 WITH SCORE 101894.152
AT ITER 299 NEW BEST:: SOT 221494 SOS 146141 HAS SOPS 132191 HAS SOUS 103185 HAS SOUPS 101653 WITH SCORE 101799.141
AT ITER 300 NEW BEST:: SOT 220389 SOS 143305 HAS SOPS 130105 HAS SOUS 102261 HAS SOUPS 100732 WITH SCORE 100875.305
AT ITER 301 NEW BEST:: SOT 220389 SOS 142966 HAS SOPS 129766 HAS SOUS 102140 HAS SOUPS 100611 WITH SCORE 100753.966
AT ITER 305 NEW BEST:: SOT 220389 SOS 142964 HAS SOPS 129725 HAS SOUS 102140 HAS SOUPS 100611 WITH SCORE 100753.964
AT ITER 307 NEW BEST:: SOT 220391 SOS 142929 HAS SOPS 129690 HAS SOUS 102068 HAS SOUPS 100539 WITH SCORE 100681.929
AT ITER 309 NEW BEST:: SOT 220391 SOS 142855 HAS SOPS 129683 HAS SOUS 102068 HAS SOUPS 100539 WITH SCORE 100681.855
AT ITER 313 NEW BEST:: SOT 220390 SOS 142854 HAS SOPS 129682 HAS SOUS 102067 HAS SOUPS 100538 WITH SCORE 100680.854
AT ITER 314 NEW BEST:: SOT 219976 SOS 142379 HAS SOPS 129268 HAS SOUS 101722 HAS SOUPS 100193 WITH SCORE 100335.379
AT ITER 320 NEW BEST:: SOT 219911 SOS 142204 HAS SOPS 129138 HAS SOUS 101592 HAS SOUPS 100063 WITH SCORE 100205.204
AT ITER 321 NEW BEST:: SOT 212662 SOS 136535 HAS SOPS 122799 HAS SOUS 95821 HAS SOUPS 94116 WITH SCORE 94252.535
AT ITER 323 NEW BEST:: SOT 212089 SOS 136080 HAS SOPS 122303 HAS SOUS 95415 HAS SOUPS 93705 WITH SCORE 93841.08
AT ITER 324 NEW BEST:: SOT 212013 SOS 135931 HAS SOPS 122075 HAS SOUS 95355 HAS SOUPS 93645 WITH SCORE 93780.931
AT ITER 330 NEW BEST:: SOT 211793 SOS 135601 HAS SOPS 121745 HAS SOUS 94976 HAS SOUPS 93266 WITH SCORE 93401.601
AT ITER 340 NEW BEST:: SOT 211793 SOS 135558 HAS SOPS 121766 HAS SOUS 94976 HAS SOUPS 93266 WITH SCORE 93401.558
AT ITER 344 NEW BEST:: SOT 211860 SOS 135366 HAS SOPS 121574 HAS SOUS 94901 HAS SOUPS 93191 WITH SCORE 93326.366
AT ITER 346 NEW BEST:: SOT 211692 SOS 135146 HAS SOPS 121210 HAS SOUS 94635 HAS SOUPS 92925 WITH SCORE 93060.146
AT ITER 347 NEW BEST:: SOT 211692 SOS 135133 HAS SOPS 121145 HAS SOUS 94609 HAS SOUPS 92899 WITH SCORE 93034.133
AT ITER 352 NEW BEST:: SOT 211743 SOS 135178 HAS SOPS 121064 HAS SOUS 94594 HAS SOUPS 92884 WITH SCORE 93019.178
AT ITER 353 NEW BEST:: SOT 211690 SOS 135057 HAS SOPS 120860 HAS SOUS 94315 HAS SOUPS 92605 WITH SCORE 92740.057
AT ITER 354 NEW BEST:: SOT 211176 SOS 134550 HAS SOPS 120339 HAS SOUS 93794 HAS SOUPS 92084 WITH SCORE 92218.55
AT ITER 355 NEW BEST:: SOT 210797 SOS 134256 HAS SOPS 120209 HAS SOUS 93664 HAS SOUPS 91954 WITH SCORE 92088.256
AT ITER 356 NEW BEST:: SOT 210771 SOS 134048 HAS SOPS 120001 HAS SOUS 93586 HAS SOUPS 91876 WITH SCORE 92010.048
AT ITER 359 NEW BEST:: SOT 210715 SOS 133964 HAS SOPS 119917 HAS SOUS 93502 HAS SOUPS 91792 WITH SCORE 91925.964
AT ITER 360 NEW BEST:: SOT 210574 SOS 133823 HAS SOPS 119776 HAS SOUS 93280 HAS SOUPS 91570 WITH SCORE 91703.823
AT ITER 361 NEW BEST:: SOT 210574 SOS 133823 HAS SOPS 119776 HAS SOUS 93265 HAS SOUPS 91555 WITH SCORE 91688.823
AT ITER 363 NEW BEST:: SOT 210611 SOS 133897 HAS SOPS 119914 HAS SOUS 93246 HAS SOUPS 91536 WITH SCORE 91669.897
AT ITER 365 NEW BEST:: SOT 210130 SOS 133416 HAS SOPS 119433 HAS SOUS 92675 HAS SOUPS 90965 WITH SCORE 91098.416
AT ITER 376 NEW BEST:: SOT 210130 SOS 133402 HAS SOPS 119401 HAS SOUS 92675 HAS SOUPS 90965 WITH SCORE 91098.402
AT ITER 384 NEW BEST:: SOT 210309 SOS 132460 HAS SOPS 118459 HAS SOUS 92628 HAS SOUPS 90918 WITH SCORE 91050.46
AT ITER 388 NEW BEST:: SOT 210062 SOS 132029 HAS SOPS 117830 HAS SOUS 92167 HAS SOUPS 90457 WITH SCORE 90589.029
AT ITER 389 NEW BEST:: SOT 209833 SOS 131617 HAS SOPS 117416 HAS SOUS 91794 HAS SOUPS 90084 WITH SCORE 90215.617
AT ITER 391 NEW BEST:: SOT 209821 SOS 131605 HAS SOPS 117404 HAS SOUS 91782 HAS SOUPS 90072 WITH SCORE 90203.605
AT ITER 393 NEW BEST:: SOT 209782 SOS 131527 HAS SOPS 117326 HAS SOUS 91704 HAS SOUPS 89994 WITH SCORE 90125.527
AT ITER 394 NEW BEST:: SOT 209792 SOS 131527 HAS SOPS 117326 HAS SOUS 91694 HAS SOUPS 89984 WITH SCORE 90115.527
AT ITER 398 NEW BEST:: SOT 209206 SOS 130941 HAS SOPS 116740 HAS SOUS 91108 HAS SOUPS 89398 WITH SCORE 89528.941
AT ITER 400 NEW BEST:: SOT 209200 SOS 130935 HAS SOPS 116734 HAS SOUS 91105 HAS SOUPS 89395 WITH SCORE 89525.935
AT ITER 406 NEW BEST:: SOT 209200 SOS 130929 HAS SOPS 116702 HAS SOUS 91073 HAS SOUPS 89363 WITH SCORE 89493.929
AT ITER 408 NEW BEST:: SOT 209454 SOS 130785 HAS SOPS 116379 HAS SOUS 90923 HAS SOUPS 89213 WITH SCORE 89343.785
AT ITER 412 NEW BEST:: SOT 209454 SOS 130750 HAS SOPS 116379 HAS SOUS 90923 HAS SOUPS 89213 WITH SCORE 89343.75
AT ITER 416 NEW BEST:: SOT 206855 SOS 132769 HAS SOPS 115613 HAS SOUS 89928 HAS SOUPS 88065 WITH SCORE 88197.769
AT ITER 423 NEW BEST:: SOT 206855 SOS 132654 HAS SOPS 115559 HAS SOUS 89928 HAS SOUPS 88065 WITH SCORE 88197.654
AT ITER 424 NEW BEST:: SOT 206855 SOS 132654 HAS SOPS 115510 HAS SOUS 89873 HAS SOUPS 88010 WITH SCORE 88142.654
AT ITER 426 NEW BEST:: SOT 206417 SOS 132118 HAS SOPS 114963 HAS SOUS 89326 HAS SOUPS 87463 WITH SCORE 87595.118
AT ITER 429 NEW BEST:: SOT 205834 SOS 131728 HAS SOPS 114459 HAS SOUS 88890 HAS SOUPS 87008 WITH SCORE 87139.728
AT ITER 431 NEW BEST:: SOT 205882 SOS 131115 HAS SOPS 113646 HAS SOUS 88859 HAS SOUPS 86977 WITH SCORE 87108.115
AT ITER 436 NEW BEST:: SOT 205845 SOS 130751 HAS SOPS 113334 HAS SOUS 88704 HAS SOUPS 86822 WITH SCORE 86952.751
AT ITER 437 NEW BEST:: SOT 205845 SOS 130774 HAS SOPS 113300 HAS SOUS 88704 HAS SOUPS 86788 WITH SCORE 86918.774
AT ITER 440 NEW BEST:: SOT 205471 SOS 131452 HAS SOPS 114212 HAS SOUS 88415 HAS SOUPS 86527 WITH SCORE 86658.452
AT ITER 441 NEW BEST:: SOT 205454 SOS 131435 HAS SOPS 114195 HAS SOUS 88398 HAS SOUPS 86510 WITH SCORE 86641.435
AT ITER 442 NEW BEST:: SOT 205400 SOS 131381 HAS SOPS 114147 HAS SOUS 88249 HAS SOUPS 86361 WITH SCORE 86492.381
AT ITER 443 NEW BEST:: SOT 202352 SOS 128201 HAS SOPS 110967 HAS SOUS 85189 HAS SOUPS 83301 WITH SCORE 83429.201
AT ITER 446 NEW BEST:: SOT 202352 SOS 128156 HAS SOPS 110907 HAS SOUS 85189 HAS SOUPS 83301 WITH SCORE 83429.156
AT ITER 457 NEW BEST:: SOT 202147 SOS 127911 HAS SOPS 110662 HAS SOUS 84967 HAS SOUPS 83079 WITH SCORE 83206.911
AT ITER 460 NEW BEST:: SOT 202128 SOS 127850 HAS SOPS 110580 HAS SOUS 84929 HAS SOUPS 83041 WITH SCORE 83168.85
AT ITER 463 NEW BEST:: SOT 202070 SOS 127792 HAS SOPS 110522 HAS SOUS 84797 HAS SOUPS 82909 WITH SCORE 83036.792
AT ITER 465 NEW BEST:: SOT 202259 SOS 127387 HAS SOPS 110125 HAS SOUS 84566 HAS SOUPS 82678 WITH SCORE 82805.387
AT ITER 469 NEW BEST:: SOT 201724 SOS 126796 HAS SOPS 109459 HAS SOUS 84107 HAS SOUPS 82211 WITH SCORE 82337.796
AT ITER 470 NEW BEST:: SOT 200746 SOS 126077 HAS SOPS 108635 HAS SOUS 83344 HAS SOUPS 81421 WITH SCORE 81547.077
AT ITER 472 NEW BEST:: SOT 200438 SOS 125735 HAS SOPS 108117 HAS SOUS 82884 HAS SOUPS 80961 WITH SCORE 81086.735
AT ITER 476 NEW BEST:: SOT 200438 SOS 125285 HAS SOPS 107667 HAS SOUS 82884 HAS SOUPS 80961 WITH SCORE 81086.285
AT ITER 481 NEW BEST:: SOT 200484 SOS 125149 HAS SOPS 107479 HAS SOUS 82748 HAS SOUPS 80825 WITH SCORE 80950.149
AT ITER 486 NEW BEST:: SOT 200484 SOS 124817 HAS SOPS 107307 HAS SOUS 82748 HAS SOUPS 80825 WITH SCORE 80949.817
AT ITER 487 NEW BEST:: SOT 200068 SOS 124311 HAS SOPS 106711 HAS SOUS 82468 HAS SOUPS 80545 WITH SCORE 80669.311
AT ITER 491 NEW BEST:: SOT 199623 SOS 124869 HAS SOPS 107585 HAS SOUS 82412 HAS SOUPS 80489 WITH SCORE 80613.869
AT ITER 492 NEW BEST:: SOT 199578 SOS 124824 HAS SOPS 107540 HAS SOUS 82367 HAS SOUPS 80444 WITH SCORE 80568.824
AT ITER 493 NEW BEST:: SOT 199572 SOS 124812 HAS SOPS 107522 HAS SOUS 82116 HAS SOUPS 80193 WITH SCORE 80317.812
AT ITER 495 NEW BEST:: SOT 199345 SOS 125630 HAS SOPS 107928 HAS SOUS 82021 HAS SOUPS 80098 WITH SCORE 80223.63
AT ITER 496 NEW BEST:: SOT 198820 SOS 125016 HAS SOPS 107430 HAS SOUS 81481 HAS SOUPS 79558 WITH SCORE 79683.016
AT ITER 501 NEW BEST:: SOT 198784 SOS 124335 HAS SOPS 106962 HAS SOUS 81156 HAS SOUPS 79312 WITH SCORE 79436.335
AT ITER 502 NEW BEST:: SOT 198782 SOS 124333 HAS SOPS 106959 HAS SOUS 81153 HAS SOUPS 79309 WITH SCORE 79433.333
AT ITER 507 NEW BEST:: SOT 198286 SOS 123815 HAS SOPS 106356 HAS SOUS 80570 HAS SOUPS 78726 WITH SCORE 78849.815
AT ITER 508 NEW BEST:: SOT 198235 SOS 123607 HAS SOPS 105991 HAS SOUS 80353 HAS SOUPS 78509 WITH SCORE 78632.607
AT ITER 511 NEW BEST:: SOT 198037 SOS 123409 HAS SOPS 105793 HAS SOUS 80250 HAS SOUPS 78406 WITH SCORE 78529.409
AT ITER 514 NEW BEST:: SOT 197804 SOS 123083 HAS SOPS 105558 HAS SOUS 79999 HAS SOUPS 78155 WITH SCORE 78278.083
AT ITER 525 NEW BEST:: SOT 197786 SOS 123065 HAS SOPS 105531 HAS SOUS 79967 HAS SOUPS 78123 WITH SCORE 78246.065
AT ITER 526 NEW BEST:: SOT 197904 SOS 122389 HAS SOPS 104749 HAS SOUS 79906 HAS SOUPS 78062 WITH SCORE 78184.389
AT ITER 528 NEW BEST:: SOT 197581 SOS 121965 HAS SOPS 104196 HAS SOUS 79458 HAS SOUPS 77614 WITH SCORE 77735.965
AT ITER 533 NEW BEST:: SOT 197437 SOS 121821 HAS SOPS 104052 HAS SOUS 79215 HAS SOUPS 77371 WITH SCORE 77492.821
AT ITER 541 NEW BEST:: SOT 197457 SOS 121841 HAS SOPS 104072 HAS SOUS 79200 HAS SOUPS 77356 WITH SCORE 77477.841
AT ITER 544 NEW BEST:: SOT 197242 SOS 121515 HAS SOPS 103734 HAS SOUS 78945 HAS SOUPS 77101 WITH SCORE 77222.515
AT ITER 545 NEW BEST:: SOT 195230 SOS 120954 HAS SOPS 102202 HAS SOUS 77683 HAS SOUPS 75758 WITH SCORE 75878.954
AT ITER 550 NEW BEST:: SOT 195203 SOS 120888 HAS SOPS 102121 HAS SOUS 77629 HAS SOUPS 75704 WITH SCORE 75824.888
AT ITER 555 NEW BEST:: SOT 195036 SOS 120634 HAS SOPS 101812 HAS SOUS 77348 HAS SOUPS 75423 WITH SCORE 75543.634
AT ITER 561 NEW BEST:: SOT 195036 SOS 120631 HAS SOPS 101851 HAS SOUS 77348 HAS SOUPS 75423 WITH SCORE 75543.631
AT ITER 562 NEW BEST:: SOT 195014 SOS 120587 HAS SOPS 101785 HAS SOUS 77297 HAS SOUPS 75372 WITH SCORE 75492.587
AT ITER 563 NEW BEST:: SOT 193628 SOS 119132 HAS SOPS 100330 HAS SOUS 75842 HAS SOUPS 73917 WITH SCORE 74036.132
AT ITER 564 NEW BEST:: SOT 193536 SOS 119026 HAS SOPS 100224 HAS SOUS 75750 HAS SOUPS 73825 WITH SCORE 73944.026
AT ITER 565 NEW BEST:: SOT 191890 SOS 120611 HAS SOPS 99674 HAS SOUS 74855 HAS SOUPS 72827 WITH SCORE 72947.611
AT ITER 571 NEW BEST:: SOT 191770 SOS 120491 HAS SOPS 99728 HAS SOUS 74793 HAS SOUPS 72799 WITH SCORE 72919.491
AT ITER 573 NEW BEST:: SOT 191752 SOS 120473 HAS SOPS 99709 HAS SOUS 74773 HAS SOUPS 72779 WITH SCORE 72899.473
AT ITER 579 NEW BEST:: SOT 191653 SOS 120374 HAS SOPS 99479 HAS SOUS 74470 HAS SOUPS 72476 WITH SCORE 72596.374
AT ITER 582 NEW BEST:: SOT 191461 SOS 119993 HAS SOPS 99191 HAS SOUS 74217 HAS SOUPS 72223 WITH SCORE 72342.993
AT ITER 585 NEW BEST:: SOT 191447 SOS 119979 HAS SOPS 99170 HAS SOUS 74186 HAS SOUPS 72192 WITH SCORE 72311.979
AT ITER 587 NEW BEST:: SOT 191420 SOS 119925 HAS SOPS 99116 HAS SOUS 74179 HAS SOUPS 72185 WITH SCORE 72304.925
AT ITER 589 NEW BEST:: SOT 191346 SOS 119842 HAS SOPS 99005 HAS SOUS 74068 HAS SOUPS 72074 WITH SCORE 72193.842
AT ITER 595 NEW BEST:: SOT 191363 SOS 119835 HAS SOPS 99011 HAS SOUS 74054 HAS SOUPS 72073 WITH SCORE 72192.835
AT ITER 596 NEW BEST:: SOT 191034 SOS 119640 HAS SOPS 98835 HAS SOUS 73740 HAS SOUPS 71759 WITH SCORE 71878.64
AT ITER 608 NEW BEST:: SOT 190936 SOS 119542 HAS SOPS 98744 HAS SOUS 73634 HAS SOUPS 71660 WITH SCORE 71779.542
AT ITER 609 NEW BEST:: SOT 190900 SOS 119532 HAS SOPS 98662 HAS SOUS 73577 HAS SOUPS 71603 WITH SCORE 71722.532
AT ITER 620 NEW BEST:: SOT 190310 SOS 118942 HAS SOPS 98056 HAS SOUS 72968 HAS SOUPS 70997 WITH SCORE 71115.942
AT ITER 623 NEW BEST:: SOT 190288 SOS 118920 HAS SOPS 97947 HAS SOUS 72962 HAS SOUPS 70991 WITH SCORE 71109.92
AT ITER 625 NEW BEST:: SOT 190289 SOS 118545 HAS SOPS 96982 HAS SOUS 72713 HAS SOUPS 70742 WITH SCORE 70860.545
AT ITER 631 NEW BEST:: SOT 190245 SOS 118521 HAS SOPS 96974 HAS SOUS 72669 HAS SOUPS 70698 WITH SCORE 70816.521
AT ITER 636 NEW BEST:: SOT 189792 SOS 118029 HAS SOPS 96974 HAS SOUS 72529 HAS SOUPS 70558 WITH SCORE 70676.029
AT ITER 637 NEW BEST:: SOT 189338 SOS 117419 HAS SOPS 96246 HAS SOUS 71988 HAS SOUPS 69934 WITH SCORE 70051.419
AT ITER 638 NEW BEST:: SOT 189017 SOS 117501 HAS SOPS 96839 HAS SOUS 71948 HAS SOUPS 69931 WITH SCORE 70048.501
AT ITER 640 NEW BEST:: SOT 188954 SOS 117277 HAS SOPS 96615 HAS SOUS 71814 HAS SOUPS 69797 WITH SCORE 69914.277
AT ITER 654 NEW BEST:: SOT 189044 SOS 117504 HAS SOPS 96842 HAS SOUS 71732 HAS SOUPS 69715 WITH SCORE 69832.504
AT ITER 655 NEW BEST:: SOT 188789 SOS 117249 HAS SOPS 96538 HAS SOUS 71428 HAS SOUPS 69411 WITH SCORE 69528.249
AT ITER 657 NEW BEST:: SOT 188765 SOS 117225 HAS SOPS 96502 HAS SOUS 71404 HAS SOUPS 69387 WITH SCORE 69504.225
AT ITER 658 NEW BEST:: SOT 188694 SOS 117165 HAS SOPS 96442 HAS SOUS 71333 HAS SOUPS 69316 WITH SCORE 69433.165
AT ITER 663 NEW BEST:: SOT 188694 SOS 117150 HAS SOPS 96427 HAS SOUS 71333 HAS SOUPS 69316 WITH SCORE 69433.15
AT ITER 666 NEW BEST:: SOT 188421 SOS 116837 HAS SOPS 96114 HAS SOUS 70912 HAS SOUPS 68895 WITH SCORE 69011.837
AT ITER 668 NEW BEST:: SOT 188421 SOS 116801 HAS SOPS 96066 HAS SOUS 70888 HAS SOUPS 68871 WITH SCORE 68987.801
AT ITER 673 NEW BEST:: SOT 188078 SOS 117114 HAS SOPS 96379 HAS SOUS 70774 HAS SOUPS 68757 WITH SCORE 68874.114
AT ITER 677 NEW BEST:: SOT 188058 SOS 117094 HAS SOPS 96349 HAS SOUS 70744 HAS SOUPS 68727 WITH SCORE 68844.094
AT ITER 679 NEW BEST:: SOT 188058 SOS 115307 HAS SOPS 94793 HAS SOUS 70742 HAS SOUPS 68725 WITH SCORE 68840.307
AT ITER 681 NEW BEST:: SOT 188058 SOS 115307 HAS SOPS 94793 HAS SOUS 70704 HAS SOUPS 68687 WITH SCORE 68802.307
AT ITER 684 NEW BEST:: SOT 188046 SOS 115283 HAS SOPS 94757 HAS SOUS 70538 HAS SOUPS 68521 WITH SCORE 68636.283
AT ITER 687 NEW BEST:: SOT 188040 SOS 115265 HAS SOPS 94739 HAS SOUS 70526 HAS SOUPS 68509 WITH SCORE 68624.265
AT ITER 699 NEW BEST:: SOT 187982 SOS 115207 HAS SOPS 94681 HAS SOUS 70522 HAS SOUPS 68505 WITH SCORE 68620.207
AT ITER 707 NEW BEST:: SOT 187835 SOS 115131 HAS SOPS 94558 HAS SOUS 70420 HAS SOUPS 68403 WITH SCORE 68518.131
AT ITER 709 NEW BEST:: SOT 187472 SOS 114766 HAS SOPS 94227 HAS SOUS 70015 HAS SOUPS 68009 WITH SCORE 68123.766
AT ITER 720 NEW BEST:: SOT 187392 SOS 114606 HAS SOPS 94067 HAS SOUS 69878 HAS SOUPS 67872 WITH SCORE 67986.606
AT ITER 724 NEW BEST:: SOT 187239 SOS 114337 HAS SOPS 93656 HAS SOUS 69572 HAS SOUPS 67566 WITH SCORE 67680.337
AT ITER 727 NEW BEST:: SOT 187236 SOS 114349 HAS SOPS 93668 HAS SOUS 69569 HAS SOUPS 67563 WITH SCORE 67677.349
AT ITER 728 NEW BEST:: SOT 187281 SOS 113958 HAS SOPS 93198 HAS SOUS 69391 HAS SOUPS 67385 WITH SCORE 67498.958
AT ITER 732 NEW BEST:: SOT 187112 SOS 114024 HAS SOPS 93865 HAS SOUS 69222 HAS SOUPS 67222 WITH SCORE 67336.024
AT ITER 738 NEW BEST:: SOT 186980 SOS 113892 HAS SOPS 93667 HAS SOUS 68958 HAS SOUPS 66958 WITH SCORE 67071.892
AT ITER 742 NEW BEST:: SOT 186446 SOS 114149 HAS SOPS 93382 HAS SOUS 68745 HAS SOUPS 66715 WITH SCORE 66829.149
AT ITER 743 NEW BEST:: SOT 186446 SOS 114146 HAS SOPS 93382 HAS SOUS 68745 HAS SOUPS 66715 WITH SCORE 66829.146
AT ITER 745 NEW BEST:: SOT 180950 SOS 119653 HAS SOPS 92955 HAS SOUS 64898 HAS SOUPS 62583 WITH SCORE 62702.653
AT ITER 751 NEW BEST:: SOT 180935 SOS 119670 HAS SOPS 92972 HAS SOUS 64897 HAS SOUPS 62582 WITH SCORE 62701.67
AT ITER 754 NEW BEST:: SOT 180898 SOS 119633 HAS SOPS 92951 HAS SOUS 64794 HAS SOUPS 62479 WITH SCORE 62598.633
AT ITER 755 NEW BEST:: SOT 180898 SOS 119633 HAS SOPS 92951 HAS SOUS 64700 HAS SOUPS 62385 WITH SCORE 62504.633
AT ITER 757 NEW BEST:: SOT 180898 SOS 119589 HAS SOPS 92892 HAS SOUS 64700 HAS SOUPS 62385 WITH SCORE 62504.589
AT ITER 762 NEW BEST:: SOT 180898 SOS 119589 HAS SOPS 92892 HAS SOUS 64678 HAS SOUPS 62363 WITH SCORE 62482.589
AT ITER 764 NEW BEST:: SOT 180850 SOS 119517 HAS SOPS 92892 HAS SOUS 64654 HAS SOUPS 62339 WITH SCORE 62458.517
AT ITER 765 NEW BEST:: SOT 180850 SOS 119509 HAS SOPS 92847 HAS SOUS 64654 HAS SOUPS 62339 WITH SCORE 62458.509
AT ITER 766 NEW BEST:: SOT 180859 SOS 119517 HAS SOPS 92848 HAS SOUS 64567 HAS SOUPS 62252 WITH SCORE 62371.517
AT ITER 767 NEW BEST:: SOT 180876 SOS 119534 HAS SOPS 92857 HAS SOUS 64390 HAS SOUPS 62075 WITH SCORE 62194.534
AT ITER 777 NEW BEST:: SOT 180876 SOS 119391 HAS SOPS 92714 HAS SOUS 64384 HAS SOUPS 62069 WITH SCORE 62188.391
AT ITER 788 NEW BEST:: SOT 177496 SOS 126478 HAS SOPS 92703 HAS SOUS 63186 HAS SOUPS 60595 WITH SCORE 60721.478
AT ITER 789 NEW BEST:: SOT 177093 SOS 126465 HAS SOPS 92821 HAS SOUS 62804 HAS SOUPS 60373 WITH SCORE 60499.465
AT ITER 793 NEW BEST:: SOT 177095 SOS 126467 HAS SOPS 92823 HAS SOUS 62752 HAS SOUPS 60321 WITH SCORE 60447.467
AT ITER 794 NEW BEST:: SOT 176953 SOS 126325 HAS SOPS 92681 HAS SOUS 62500 HAS SOUPS 60069 WITH SCORE 60195.325
AT ITER 799 NEW BEST:: SOT 176940 SOS 126312 HAS SOPS 92667 HAS SOUS 62474 HAS SOUPS 60043 WITH SCORE 60169.312
AT ITER 804 NEW BEST:: SOT 176932 SOS 126304 HAS SOPS 92651 HAS SOUS 62459 HAS SOUPS 60028 WITH SCORE 60154.304
AT ITER 805 NEW BEST:: SOT 176818 SOS 126190 HAS SOPS 92537 HAS SOUS 62345 HAS SOUPS 59914 WITH SCORE 60040.19
AT ITER 808 NEW BEST:: SOT 176337 SOS 125858 HAS SOPS 92177 HAS SOUS 61948 HAS SOUPS 59517 WITH SCORE 59642.858
AT ITER 811 NEW BEST:: SOT 176127 SOS 125648 HAS SOPS 91862 HAS SOUS 61637 HAS SOUPS 59206 WITH SCORE 59331.648
AT ITER 814 NEW BEST:: SOT 176127 SOS 125621 HAS SOPS 91904 HAS SOUS 61634 HAS SOUPS 59206 WITH SCORE 59331.621
AT ITER 822 NEW BEST:: SOT 176103 SOS 125597 HAS SOPS 91880 HAS SOUS 61610 HAS SOUPS 59182 WITH SCORE 59307.597
AT ITER 828 NEW BEST:: SOT 175722 SOS 125324 HAS SOPS 91590 HAS SOUS 61590 HAS SOUPS 59162 WITH SCORE 59287.324
AT ITER 836 NEW BEST:: SOT 175330 SOS 124925 HAS SOPS 91143 HAS SOUS 61066 HAS SOUPS 58638 WITH SCORE 58762.925
AT ITER 850 NEW BEST:: SOT 175322 SOS 124833 HAS SOPS 90931 HAS SOUS 61050 HAS SOUPS 58622 WITH SCORE 58746.833
AT ITER 853 NEW BEST:: SOT 175271 SOS 124782 HAS SOPS 90826 HAS SOUS 61009 HAS SOUPS 58581 WITH SCORE 58705.782
AT ITER 865 NEW BEST:: SOT 175162 SOS 124600 HAS SOPS 90740 HAS SOUS 60935 HAS SOUPS 58507 WITH SCORE 58631.6
AT ITER 876 NEW BEST:: SOT 174190 SOS 123628 HAS SOPS 89728 HAS SOUS 60389 HAS SOUPS 57961 WITH SCORE 58084.628
AT ITER 881 NEW BEST:: SOT 174183 SOS 123621 HAS SOPS 89721 HAS SOUS 60381 HAS SOUPS 57953 WITH SCORE 58076.621
AT ITER 887 NEW BEST:: SOT 174179 SOS 123617 HAS SOPS 89743 HAS SOUS 60346 HAS SOUPS 57918 WITH SCORE 58041.617
AT ITER 889 NEW BEST:: SOT 174090 SOS 123011 HAS SOPS 89137 HAS SOUS 60194 HAS SOUPS 57766 WITH SCORE 57889.011
AT ITER 896 NEW BEST:: SOT 174054 SOS 122957 HAS SOPS 89083 HAS SOUS 60140 HAS SOUPS 57712 WITH SCORE 57834.957
AT ITER 898 NEW BEST:: SOT 173350 SOS 122253 HAS SOPS 88501 HAS SOUS 59431 HAS SOUPS 57035 WITH SCORE 57157.253
AT ITER 914 NEW BEST:: SOT 173350 SOS 122212 HAS SOPS 88323 HAS SOUS 59431 HAS SOUPS 57035 WITH SCORE 57157.212
AT ITER 923 NEW BEST:: SOT 173287 SOS 122149 HAS SOPS 88131 HAS SOUS 59288 HAS SOUPS 56892 WITH SCORE 57014.149
AT ITER 930 NEW BEST:: SOT 173285 SOS 122282 HAS SOPS 88248 HAS SOUS 59286 HAS SOUPS 56890 WITH SCORE 57012.282
AT ITER 932 NEW BEST:: SOT 172633 SOS 121630 HAS SOPS 87596 HAS SOUS 59119 HAS SOUPS 56723 WITH SCORE 56844.63
AT ITER 934 NEW BEST:: SOT 172427 SOS 121467 HAS SOPS 87308 HAS SOUS 58861 HAS SOUPS 56465 WITH SCORE 56586.467
AT ITER 936 NEW BEST:: SOT 172394 SOS 121434 HAS SOPS 87275 HAS SOUS 58795 HAS SOUPS 56399 WITH SCORE 56520.434
AT ITER 939 NEW BEST:: SOT 172382 SOS 121618 HAS SOPS 87435 HAS SOUS 58777 HAS SOUPS 56381 WITH SCORE 56502.618
AT ITER 941 NEW BEST:: SOT 171963 SOS 121199 HAS SOPS 87135 HAS SOUS 58540 HAS SOUPS 56144 WITH SCORE 56265.199
AT ITER 943 NEW BEST:: SOT 171963 SOS 120786 HAS SOPS 86722 HAS SOUS 58540 HAS SOUPS 56144 WITH SCORE 56264.786
AT ITER 945 NEW BEST:: SOT 171551 SOS 120334 HAS SOPS 86236 HAS SOUS 58380 HAS SOUPS 55984 WITH SCORE 56104.334
AT ITER 948 NEW BEST:: SOT 171657 SOS 120269 HAS SOPS 86171 HAS SOUS 57959 HAS SOUPS 55563 WITH SCORE 55683.269
AT ITER 952 NEW BEST:: SOT 171601 SOS 120213 HAS SOPS 86087 HAS SOUS 57871 HAS SOUPS 55475 WITH SCORE 55595.213
AT ITER 955 NEW BEST:: SOT 171279 SOS 119842 HAS SOPS 85555 HAS SOUS 57388 HAS SOUPS 54992 WITH SCORE 55111.842
AT ITER 961 NEW BEST:: SOT 171111 SOS 119591 HAS SOPS 85304 HAS SOUS 57333 HAS SOUPS 54937 WITH SCORE 55056.591
AT ITER 968 NEW BEST:: SOT 171087 SOS 119563 HAS SOPS 85276 HAS SOUS 57309 HAS SOUPS 54913 WITH SCORE 55032.563
AT ITER 972 NEW BEST:: SOT 171043 SOS 119519 HAS SOPS 85232 HAS SOUS 57221 HAS SOUPS 54825 WITH SCORE 54944.519
AT ITER 973 NEW BEST:: SOT 171043 SOS 119383 HAS SOPS 85232 HAS SOUS 57221 HAS SOUPS 54825 WITH SCORE 54944.383
AT ITER 979 NEW BEST:: SOT 170979 SOS 119287 HAS SOPS 85104 HAS SOUS 57093 HAS SOUPS 54697 WITH SCORE 54816.287
AT ITER 985 NEW BEST:: SOT 170979 SOS 119280 HAS SOPS 85097 HAS SOUS 57093 HAS SOUPS 54697 WITH SCORE 54816.28
AT ITER 987 NEW BEST:: SOT 170797 SOS 119191 HAS SOPS 84765 HAS SOUS 56875 HAS SOUPS 54479 WITH SCORE 54598.191
AT ITER 989 NEW BEST:: SOT 170744 SOS 119060 HAS SOPS 84552 HAS SOUS 56765 HAS SOUPS 54369 WITH SCORE 54488.06
AT ITER 995 NEW BEST:: SOT 170560 SOS 118794 HAS SOPS 84290 HAS SOUS 56399 HAS SOUPS 54003 WITH SCORE 54121.794
AT ITER 996 NEW BEST:: SOT 170327 SOS 118561 HAS SOPS 84181 HAS SOUS 56289 HAS SOUPS 53893 WITH SCORE 54011.561
AT ITER 1000 NEW BEST:: SOT 170334 SOS 118231 HAS SOPS 83871 HAS SOUS 56255 HAS SOUPS 53859 WITH SCORE 53977.231
AT ITER 1005 NEW BEST:: SOT 170244 SOS 118141 HAS SOPS 83736 HAS SOUS 56197 HAS SOUPS 53801 WITH SCORE 53919.141
AT ITER 1006 NEW BEST:: SOT 170211 SOS 118114 HAS SOPS 83608 HAS SOUS 56144 HAS SOUPS 53748 WITH SCORE 53866.114
AT ITER 1007 NEW BEST:: SOT 170141 SOS 118044 HAS SOPS 83503 HAS SOUS 55984 HAS SOUPS 53588 WITH SCORE 53706.044
AT ITER 1026 NEW BEST:: SOT 170122 SOS 118002 HAS SOPS 83461 HAS SOUS 55931 HAS SOUPS 53535 WITH SCORE 53653.002
AT ITER 1032 NEW BEST:: SOT 170066 SOS 117850 HAS SOPS 83309 HAS SOUS 55875 HAS SOUPS 53479 WITH SCORE 53596.85
AT ITER 1033 NEW BEST:: SOT 169919 SOS 117703 HAS SOPS 83123 HAS SOUS 55728 HAS SOUPS 53332 WITH SCORE 53449.703
AT ITER 1036 NEW BEST:: SOT 169854 SOS 117602 HAS SOPS 82986 HAS SOUS 55651 HAS SOUPS 53255 WITH SCORE 53372.602
AT ITER 1041 NEW BEST:: SOT 169843 SOS 117580 HAS SOPS 82964 HAS SOUS 55640 HAS SOUPS 53244 WITH SCORE 53361.58
AT ITER 1042 NEW BEST:: SOT 169843 SOS 117546 HAS SOPS 82938 HAS SOUS 55608 HAS SOUPS 53220 WITH SCORE 53337.546
AT ITER 1045 NEW BEST:: SOT 169808 SOS 117578 HAS SOPS 82885 HAS SOUS 55529 HAS SOUPS 53141 WITH SCORE 53258.578
AT ITER 1051 NEW BEST:: SOT 169856 SOS 117752 HAS SOPS 83095 HAS SOUS 55503 HAS SOUPS 53115 WITH SCORE 53232.752
AT ITER 1053 NEW BEST:: SOT 169785 SOS 117573 HAS SOPS 82882 HAS SOUS 55432 HAS SOUPS 53044 WITH SCORE 53161.573
AT ITER 1060 NEW BEST:: SOT 169695 SOS 117438 HAS SOPS 82747 HAS SOUS 55331 HAS SOUPS 52943 WITH SCORE 53060.438
AT ITER 1063 NEW BEST:: SOT 169687 SOS 117430 HAS SOPS 82751 HAS SOUS 55331 HAS SOUPS 52943 WITH SCORE 53060.43
AT ITER 1065 NEW BEST:: SOT 169687 SOS 117430 HAS SOPS 82751 HAS SOUS 55316 HAS SOUPS 52928 WITH SCORE 53045.43
AT ITER 1067 NEW BEST:: SOT 169687 SOS 117430 HAS SOPS 82751 HAS SOUS 55300 HAS SOUPS 52912 WITH SCORE 53029.43
AT ITER 1075 NEW BEST:: SOT 169671 SOS 117414 HAS SOPS 82735 HAS SOUS 55280 HAS SOUPS 52892 WITH SCORE 53009.414
AT ITER 1079 NEW BEST:: SOT 169581 SOS 117324 HAS SOPS 82645 HAS SOUS 55203 HAS SOUPS 52815 WITH SCORE 52932.324
AT ITER 1080 NEW BEST:: SOT 169190 SOS 116876 HAS SOPS 82163 HAS SOUS 55035 HAS SOUPS 52647 WITH SCORE 52763.876
AT ITER 1084 NEW BEST:: SOT 169051 SOS 116743 HAS SOPS 81895 HAS SOUS 54732 HAS SOUPS 52344 WITH SCORE 52460.743
AT ITER 1096 NEW BEST:: SOT 168971 SOS 116663 HAS SOPS 81775 HAS SOUS 54506 HAS SOUPS 52118 WITH SCORE 52234.663
AT ITER 1097 NEW BEST:: SOT 168967 SOS 116659 HAS SOPS 81771 HAS SOUS 54502 HAS SOUPS 52114 WITH SCORE 52230.659
AT ITER 1099 NEW BEST:: SOT 168967 SOS 116644 HAS SOPS 81830 HAS SOUS 54502 HAS SOUPS 52114 WITH SCORE 52230.644
AT ITER 1106 NEW BEST:: SOT 168919 SOS 116476 HAS SOPS 81619 HAS SOUS 54406 HAS SOUPS 52018 WITH SCORE 52134.476
AT ITER 1108 NEW BEST:: SOT 168912 SOS 116469 HAS SOPS 81605 HAS SOUS 54389 HAS SOUPS 52001 WITH SCORE 52117.469
AT ITER 1110 NEW BEST:: SOT 168850 SOS 116388 HAS SOPS 81605 HAS SOUS 54335 HAS SOUPS 51967 WITH SCORE 52083.388
AT ITER 1112 NEW BEST:: SOT 168772 SOS 116782 HAS SOPS 82104 HAS SOUS 54255 HAS SOUPS 51887 WITH SCORE 52003.782
AT ITER 1114 NEW BEST:: SOT 168770 SOS 116780 HAS SOPS 82100 HAS SOUS 54242 HAS SOUPS 51874 WITH SCORE 51990.78
AT ITER 1122 NEW BEST:: SOT 168770 SOS 116741 HAS SOPS 81983 HAS SOUS 54164 HAS SOUPS 51796 WITH SCORE 51912.741
AT ITER 1123 NEW BEST:: SOT 168247 SOS 116281 HAS SOPS 81407 HAS SOUS 53791 HAS SOUPS 51423 WITH SCORE 51539.281
AT ITER 1125 NEW BEST:: SOT 168223 SOS 115957 HAS SOPS 80871 HAS SOUS 53698 HAS SOUPS 51330 WITH SCORE 51445.957
AT ITER 1128 NEW BEST:: SOT 168179 SOS 115833 HAS SOPS 80747 HAS SOUS 53654 HAS SOUPS 51286 WITH SCORE 51401.833
AT ITER 1129 NEW BEST:: SOT 167929 SOS 115529 HAS SOPS 80808 HAS SOUS 53606 HAS SOUPS 51238 WITH SCORE 51353.529
AT ITER 1133 NEW BEST:: SOT 167841 SOS 115431 HAS SOPS 80676 HAS SOUS 53474 HAS SOUPS 51106 WITH SCORE 51221.431
AT ITER 1138 NEW BEST:: SOT 167829 SOS 115215 HAS SOPS 80250 HAS SOUS 53388 HAS SOUPS 51020 WITH SCORE 51135.215
AT ITER 1140 NEW BEST:: SOT 167764 SOS 115150 HAS SOPS 80185 HAS SOUS 53347 HAS SOUPS 50979 WITH SCORE 51094.15
AT ITER 1142 NEW BEST:: SOT 167644 SOS 115023 HAS SOPS 80005 HAS SOUS 53169 HAS SOUPS 50801 WITH SCORE 50916.023
AT ITER 1145 NEW BEST:: SOT 167668 SOS 115156 HAS SOPS 80041 HAS SOUS 53134 HAS SOUPS 50766 WITH SCORE 50881.156
AT ITER 1146 NEW BEST:: SOT 167602 SOS 114845 HAS SOPS 80053 HAS SOUS 53075 HAS SOUPS 50707 WITH SCORE 50821.845
AT ITER 1149 NEW BEST:: SOT 167470 SOS 114660 HAS SOPS 79626 HAS SOUS 52877 HAS SOUPS 50509 WITH SCORE 50623.66
AT ITER 1154 NEW BEST:: SOT 167386 SOS 114576 HAS SOPS 79500 HAS SOUS 52709 HAS SOUPS 50341 WITH SCORE 50455.576
AT ITER 1160 NEW BEST:: SOT 167356 SOS 114546 HAS SOPS 79515 HAS SOUS 52709 HAS SOUPS 50341 WITH SCORE 50455.546
AT ITER 1163 NEW BEST:: SOT 167125 SOS 114216 HAS SOPS 79152 HAS SOUS 52346 HAS SOUPS 49978 WITH SCORE 50092.216
AT ITER 1168 NEW BEST:: SOT 167125 SOS 114216 HAS SOPS 79108 HAS SOUS 52313 HAS SOUPS 49945 WITH SCORE 50059.216
AT ITER 1179 NEW BEST:: SOT 167065 SOS 114164 HAS SOPS 79039 HAS SOUS 52276 HAS SOUPS 49908 WITH SCORE 50022.164
AT ITER 1184 NEW BEST:: SOT 167005 SOS 114104 HAS SOPS 79069 HAS SOUS 52273 HAS SOUPS 49905 WITH SCORE 50019.104
AT ITER 1188 NEW BEST:: SOT 166992 SOS 114091 HAS SOPS 79056 HAS SOUS 52252 HAS SOUPS 49884 WITH SCORE 49998.091
AT ITER 1189 NEW BEST:: SOT 166926 SOS 113959 HAS SOPS 78858 HAS SOUS 52120 HAS SOUPS 49752 WITH SCORE 49865.959
AT ITER 1200 NEW BEST:: SOT 166800 SOS 113760 HAS SOPS 78627 HAS SOUS 51931 HAS SOUPS 49563 WITH SCORE 49676.76
AT ITER 1205 NEW BEST:: SOT 166768 SOS 113728 HAS SOPS 78548 HAS SOUS 51914 HAS SOUPS 49546 WITH SCORE 49659.728
AT ITER 1206 NEW BEST:: SOT 166744 SOS 113704 HAS SOPS 78524 HAS SOUS 51890 HAS SOUPS 49522 WITH SCORE 49635.704
AT ITER 1209 NEW BEST:: SOT 166426 SOS 113386 HAS SOPS 78206 HAS SOUS 51522 HAS SOUPS 49154 WITH SCORE 49267.386
AT ITER 1210 NEW BEST:: SOT 166382 SOS 113342 HAS SOPS 78129 HAS SOUS 51478 HAS SOUPS 49088 WITH SCORE 49201.342
AT ITER 1222 NEW BEST:: SOT 166364 SOS 113324 HAS SOPS 78102 HAS SOUS 51455 HAS SOUPS 49065 WITH SCORE 49178.324
AT ITER 1229 NEW BEST:: SOT 166324 SOS 113240 HAS SOPS 78022 HAS SOUS 51395 HAS SOUPS 49005 WITH SCORE 49118.24
AT ITER 1230 NEW BEST:: SOT 166284 SOS 113154 HAS SOPS 77928 HAS SOUS 51335 HAS SOUPS 48945 WITH SCORE 49058.154
AT ITER 1232 NEW BEST:: SOT 166398 SOS 113069 HAS SOPS 77545 HAS SOUS 51379 HAS SOUPS 48935 WITH SCORE 49048.069
AT ITER 1243 NEW BEST:: SOT 166360 SOS 113010 HAS SOPS 77501 HAS SOUS 51322 HAS SOUPS 48878 WITH SCORE 48991.01
AT ITER 1251 NEW BEST:: SOT 166360 SOS 112953 HAS SOPS 77367 HAS SOUS 51269 HAS SOUPS 48825 WITH SCORE 48937.953
AT ITER 1258 NEW BEST:: SOT 166284 SOS 112877 HAS SOPS 77253 HAS SOUS 51164 HAS SOUPS 48720 WITH SCORE 48832.877
AT ITER 1275 NEW BEST:: SOT 166284 SOS 112693 HAS SOPS 77052 HAS SOUS 51164 HAS SOUPS 48720 WITH SCORE 48832.693
AT ITER 1280 NEW BEST:: SOT 165938 SOS 112244 HAS SOPS 77376 HAS SOUS 51114 HAS SOUPS 48690 WITH SCORE 48802.244
AT ITER 1295 NEW BEST:: SOT 165938 SOS 112244 HAS SOPS 77376 HAS SOUS 51053 HAS SOUPS 48629 WITH SCORE 48741.244
AT ITER 1297 NEW BEST:: SOT 165938 SOS 112234 HAS SOPS 77366 HAS SOUS 51053 HAS SOUPS 48629 WITH SCORE 48741.234
AT ITER 1306 NEW BEST:: SOT 165535 SOS 112080 HAS SOPS 77146 HAS SOUS 50507 HAS SOUPS 48083 WITH SCORE 48195.08
AT ITER 1307 NEW BEST:: SOT 165384 SOS 111916 HAS SOPS 76831 HAS SOUS 50242 HAS SOUPS 47818 WITH SCORE 47929.916
AT ITER 1317 NEW BEST:: SOT 165384 SOS 111916 HAS SOPS 76711 HAS SOUS 50152 HAS SOUPS 47728 WITH SCORE 47839.916
AT ITER 1318 NEW BEST:: SOT 165384 SOS 111916 HAS SOPS 76711 HAS SOUS 50134 HAS SOUPS 47710 WITH SCORE 47821.916
AT ITER 1324 NEW BEST:: SOT 165332 SOS 111892 HAS SOPS 76633 HAS SOUS 50056 HAS SOUPS 47632 WITH SCORE 47743.892
AT ITER 1333 NEW BEST:: SOT 165306 SOS 111866 HAS SOPS 76594 HAS SOUS 50037 HAS SOUPS 47613 WITH SCORE 47724.866
AT ITER 1344 NEW BEST:: SOT 165238 SOS 111798 HAS SOPS 76458 HAS SOUS 49913 HAS SOUPS 47489 WITH SCORE 47600.798
AT ITER 1351 NEW BEST:: SOT 165203 SOS 112243 HAS SOPS 76617 HAS SOUS 49903 HAS SOUPS 47472 WITH SCORE 47584.243
AT ITER 1360 NEW BEST:: SOT 165343 SOS 112328 HAS SOPS 76152 HAS SOUS 49796 HAS SOUPS 47365 WITH SCORE 47477.328
AT ITER 1362 NEW BEST:: SOT 165336 SOS 112328 HAS SOPS 76152 HAS SOUS 49783 HAS SOUPS 47352 WITH SCORE 47464.328
AT ITER 1365 NEW BEST:: SOT 165288 SOS 112280 HAS SOPS 76056 HAS SOUS 49687 HAS SOUPS 47256 WITH SCORE 47368.28
AT ITER 1379 NEW BEST:: SOT 165228 SOS 112220 HAS SOPS 75966 HAS SOUS 49594 HAS SOUPS 47163 WITH SCORE 47275.22
AT ITER 1381 NEW BEST:: SOT 165236 SOS 112228 HAS SOPS 75958 HAS SOUS 49407 HAS SOUPS 46976 WITH SCORE 47088.228
AT ITER 1383 NEW BEST:: SOT 165074 SOS 112066 HAS SOPS 75715 HAS SOUS 49164 HAS SOUPS 46733 WITH SCORE 46845.066
AT ITER 1392 NEW BEST:: SOT 164862 SOS 111883 HAS SOPS 75479 HAS SOUS 49041 HAS SOUPS 46610 WITH SCORE 46721.883
AT ITER 1396 NEW BEST:: SOT 164838 SOS 111859 HAS SOPS 75479 HAS SOUS 49041 HAS SOUPS 46610 WITH SCORE 46721.859
AT ITER 1398 NEW BEST:: SOT 164751 SOS 111898 HAS SOPS 75318 HAS SOUS 48954 HAS SOUPS 46523 WITH SCORE 46634.898
AT ITER 1402 NEW BEST:: SOT 164751 SOS 111879 HAS SOPS 75299 HAS SOUS 48954 HAS SOUPS 46523 WITH SCORE 46634.879
AT ITER 1404 NEW BEST:: SOT 164715 SOS 111843 HAS SOPS 75245 HAS SOUS 48900 HAS SOUPS 46451 WITH SCORE 46562.843
AT ITER 1406 NEW BEST:: SOT 164725 SOS 111853 HAS SOPS 75255 HAS SOUS 48886 HAS SOUPS 46437 WITH SCORE 46548.853
AT ITER 1407 NEW BEST:: SOT 164725 SOS 111853 HAS SOPS 75255 HAS SOUS 48868 HAS SOUPS 46419 WITH SCORE 46530.853
AT ITER 1425 NEW BEST:: SOT 164401 SOS 113274 HAS SOPS 75508 HAS SOUS 48800 HAS SOUPS 46317 WITH SCORE 46430.274
AT ITER 1428 NEW BEST:: SOT 164401 SOS 113220 HAS SOPS 75508 HAS SOUS 48800 HAS SOUPS 46317 WITH SCORE 46430.22
AT ITER 1429 NEW BEST:: SOT 164386 SOS 113230 HAS SOPS 75480 HAS SOUS 48700 HAS SOUPS 46217 WITH SCORE 46330.23
AT ITER 1430 NEW BEST:: SOT 164285 SOS 113129 HAS SOPS 75381 HAS SOUS 48601 HAS SOUPS 46118 WITH SCORE 46231.129
AT ITER 1431 NEW BEST:: SOT 164019 SOS 112947 HAS SOPS 75047 HAS SOUS 48443 HAS SOUPS 45960 WITH SCORE 46072.947
AT ITER 1440 NEW BEST:: SOT 164019 SOS 112947 HAS SOPS 75047 HAS SOUS 48429 HAS SOUPS 45946 WITH SCORE 46058.947
AT ITER 1453 NEW BEST:: SOT 163981 SOS 112914 HAS SOPS 75014 HAS SOUS 48401 HAS SOUPS 45918 WITH SCORE 46030.914
AT ITER 1456 NEW BEST:: SOT 163958 SOS 112885 HAS SOPS 74985 HAS SOUS 48366 HAS SOUPS 45883 WITH SCORE 45995.885
AT ITER 1466 NEW BEST:: SOT 164037 SOS 112471 HAS SOPS 74212 HAS SOUS 48293 HAS SOUPS 45810 WITH SCORE 45922.471
AT ITER 1467 NEW BEST:: SOT 164029 SOS 112463 HAS SOPS 74200 HAS SOUS 48281 HAS SOUPS 45798 WITH SCORE 45910.463
AT ITER 1470 NEW BEST:: SOT 164043 SOS 112424 HAS SOPS 74175 HAS SOUS 48232 HAS SOUPS 45749 WITH SCORE 45861.424
AT ITER 1473 NEW BEST:: SOT 163707 SOS 112091 HAS SOPS 73648 HAS SOUS 47627 HAS SOUPS 45144 WITH SCORE 45256.091
AT ITER 1476 NEW BEST:: SOT 163586 SOS 111544 HAS SOPS 72992 HAS SOUS 47265 HAS SOUPS 44782 WITH SCORE 44893.544
AT ITER 1478 NEW BEST:: SOT 163595 SOS 111538 HAS SOPS 72986 HAS SOUS 47259 HAS SOUPS 44776 WITH SCORE 44887.538
AT ITER 1480 NEW BEST:: SOT 163549 SOS 111446 HAS SOPS 72848 HAS SOUS 47198 HAS SOUPS 44715 WITH SCORE 44826.446
AT ITER 1483 NEW BEST:: SOT 163543 SOS 111440 HAS SOPS 72723 HAS SOUS 47101 HAS SOUPS 44618 WITH SCORE 44729.44
AT ITER 1485 NEW BEST:: SOT 163383 SOS 111280 HAS SOPS 72619 HAS SOUS 46961 HAS SOUPS 44478 WITH SCORE 44589.28
AT ITER 1487 NEW BEST:: SOT 163383 SOS 111279 HAS SOPS 72581 HAS SOUS 46961 HAS SOUPS 44478 WITH SCORE 44589.279
AT ITER 1502 NEW BEST:: SOT 163355 SOS 111251 HAS SOPS 72553 HAS SOUS 46947 HAS SOUPS 44464 WITH SCORE 44575.251
AT ITER 1505 NEW BEST:: SOT 163347 SOS 111243 HAS SOPS 72554 HAS SOUS 46946 HAS SOUPS 44463 WITH SCORE 44574.243
AT ITER 1514 NEW BEST:: SOT 163303 SOS 111199 HAS SOPS 72488 HAS SOUS 46869 HAS SOUPS 44386 WITH SCORE 44497.199
AT ITER 1518 NEW BEST:: SOT 163047 SOS 112291 HAS SOPS 72675 HAS SOUS 46845 HAS SOUPS 44335 WITH SCORE 44447.291
AT ITER 1519 NEW BEST:: SOT 163033 SOS 112277 HAS SOPS 72654 HAS SOUS 46831 HAS SOUPS 44321 WITH SCORE 44433.277
AT ITER 1533 NEW BEST:: SOT 162868 SOS 112162 HAS SOPS 72541 HAS SOUS 46742 HAS SOUPS 44232 WITH SCORE 44344.162
AT ITER 1536 NEW BEST:: SOT 162754 SOS 112048 HAS SOPS 72313 HAS SOUS 46565 HAS SOUPS 44055 WITH SCORE 44167.048
AT ITER 1539 NEW BEST:: SOT 162483 SOS 111777 HAS SOPS 72255 HAS SOUS 46539 HAS SOUPS 44029 WITH SCORE 44140.777
AT ITER 1550 NEW BEST:: SOT 162385 SOS 111661 HAS SOPS 72234 HAS SOUS 46488 HAS SOUPS 43978 WITH SCORE 44089.661
AT ITER 1559 NEW BEST:: SOT 162367 SOS 111643 HAS SOPS 72207 HAS SOUS 46461 HAS SOUPS 43951 WITH SCORE 44062.643
AT ITER 1590 NEW BEST:: SOT 162333 SOS 111615 HAS SOPS 72234 HAS SOUS 46460 HAS SOUPS 43950 WITH SCORE 44061.615
AT ITER 1593 NEW BEST:: SOT 162333 SOS 111615 HAS SOPS 72234 HAS SOUS 46356 HAS SOUPS 43846 WITH SCORE 43957.615
AT ITER 1595 NEW BEST:: SOT 162356 SOS 111609 HAS SOPS 72229 HAS SOUS 46350 HAS SOUPS 43840 WITH SCORE 43951.609
AT ITER 1598 NEW BEST:: SOT 162320 SOS 111573 HAS SOPS 72202 HAS SOUS 46305 HAS SOUPS 43795 WITH SCORE 43906.573
AT ITER 1603 NEW BEST:: SOT 162282 SOS 111535 HAS SOPS 72145 HAS SOUS 46288 HAS SOUPS 43778 WITH SCORE 43889.535
AT ITER 1615 NEW BEST:: SOT 162208 SOS 111461 HAS SOPS 72019 HAS SOUS 46197 HAS SOUPS 43687 WITH SCORE 43798.461
AT ITER 1619 NEW BEST:: SOT 162186 SOS 111439 HAS SOPS 72004 HAS SOUS 46174 HAS SOUPS 43665 WITH SCORE 43776.439
AT ITER 1628 NEW BEST:: SOT 162161 SOS 111421 HAS SOPS 72006 HAS SOUS 46166 HAS SOUPS 43657 WITH SCORE 43768.421
AT ITER 1630 NEW BEST:: SOT 161963 SOS 111223 HAS SOPS 71652 HAS SOUS 45869 HAS SOUPS 43360 WITH SCORE 43471.223
AT ITER 1633 NEW BEST:: SOT 161949 SOS 111209 HAS SOPS 71595 HAS SOUS 45842 HAS SOUPS 43333 WITH SCORE 43444.209
AT ITER 1634 NEW BEST:: SOT 161942 SOS 111155 HAS SOPS 71541 HAS SOUS 45837 HAS SOUPS 43328 WITH SCORE 43439.155
AT ITER 1636 NEW BEST:: SOT 161725 SOS 110938 HAS SOPS 71360 HAS SOUS 45638 HAS SOUPS 43147 WITH SCORE 43257.938
AT ITER 1652 NEW BEST:: SOT 161689 SOS 110846 HAS SOPS 71268 HAS SOUS 45566 HAS SOUPS 43075 WITH SCORE 43185.846
AT ITER 1653 NEW BEST:: SOT 161645 SOS 110802 HAS SOPS 71246 HAS SOUS 45533 HAS SOUPS 43053 WITH SCORE 43163.802
AT ITER 1654 NEW BEST:: SOT 161599 SOS 110771 HAS SOPS 71195 HAS SOUS 45520 HAS SOUPS 43040 WITH SCORE 43150.771
AT ITER 1662 NEW BEST:: SOT 161591 SOS 110763 HAS SOPS 71183 HAS SOUS 45508 HAS SOUPS 43028 WITH SCORE 43138.763
AT ITER 1674 NEW BEST:: SOT 161547 SOS 110719 HAS SOPS 71117 HAS SOUS 45442 HAS SOUPS 42962 WITH SCORE 43072.719
AT ITER 1688 NEW BEST:: SOT 161485 SOS 110618 HAS SOPS 70985 HAS SOUS 45349 HAS SOUPS 42869 WITH SCORE 42979.618
AT ITER 1692 NEW BEST:: SOT 161493 SOS 110626 HAS SOPS 70997 HAS SOUS 45308 HAS SOUPS 42859 WITH SCORE 42969.626
AT ITER 1699 NEW BEST:: SOT 161389 SOS 110470 HAS SOPS 70789 HAS SOUS 45152 HAS SOUPS 42703 WITH SCORE 42813.47
AT ITER 1706 NEW BEST:: SOT 160846 SOS 110529 HAS SOPS 70505 HAS SOUS 44763 HAS SOUPS 42292 WITH SCORE 42402.529
AT ITER 1708 NEW BEST:: SOT 160918 SOS 110601 HAS SOPS 70433 HAS SOUS 44723 HAS SOUPS 42252 WITH SCORE 42362.601
AT ITER 1717 NEW BEST:: SOT 160844 SOS 110527 HAS SOPS 70322 HAS SOUS 44625 HAS SOUPS 42154 WITH SCORE 42264.527
AT ITER 1719 NEW BEST:: SOT 160848 SOS 110523 HAS SOPS 70314 HAS SOUS 44621 HAS SOUPS 42150 WITH SCORE 42260.523
AT ITER 1726 NEW BEST:: SOT 160810 SOS 110485 HAS SOPS 70257 HAS SOUS 44609 HAS SOUPS 42138 WITH SCORE 42248.485
AT ITER 1728 NEW BEST:: SOT 160740 SOS 110415 HAS SOPS 70152 HAS SOUS 44384 HAS SOUPS 41913 WITH SCORE 42023.415
AT ITER 1740 NEW BEST:: SOT 160630 SOS 110305 HAS SOPS 69987 HAS SOUS 44148 HAS SOUPS 41677 WITH SCORE 41787.305
AT ITER 1749 NEW BEST:: SOT 160560 SOS 110235 HAS SOPS 69882 HAS SOUS 44108 HAS SOUPS 41607 WITH SCORE 41717.235
AT ITER 1759 NEW BEST:: SOT 160506 SOS 110181 HAS SOPS 70065 HAS SOUS 44036 HAS SOUPS 41602 WITH SCORE 41712.181
AT ITER 1765 NEW BEST:: SOT 160506 SOS 110163 HAS SOPS 70083 HAS SOUS 44036 HAS SOUPS 41602 WITH SCORE 41712.163
AT ITER 1776 NEW BEST:: SOT 160498 SOS 110155 HAS SOPS 70087 HAS SOUS 44036 HAS SOUPS 41602 WITH SCORE 41712.155
AT ITER 1777 NEW BEST:: SOT 160404 SOS 110061 HAS SOPS 69899 HAS SOUS 43809 HAS SOUPS 41375 WITH SCORE 41485.061
AT ITER 1778 NEW BEST:: SOT 160372 SOS 110018 HAS SOPS 69862 HAS SOUS 43756 HAS SOUPS 41322 WITH SCORE 41432.018
AT ITER 1789 NEW BEST:: SOT 160340 SOS 110005 HAS SOPS 69868 HAS SOUS 43732 HAS SOUPS 41298 WITH SCORE 41408.005
AT ITER 1797 NEW BEST:: SOT 160336 SOS 110001 HAS SOPS 69868 HAS SOUS 43732 HAS SOUPS 41298 WITH SCORE 41408.001
AT ITER 1807 NEW BEST:: SOT 160305 SOS 109970 HAS SOPS 69796 HAS SOUS 43660 HAS SOUPS 41226 WITH SCORE 41335.97
AT ITER 1810 NEW BEST:: SOT 160324 SOS 109989 HAS SOPS 69749 HAS SOUS 43619 HAS SOUPS 41185 WITH SCORE 41294.989
AT ITER 1814 NEW BEST:: SOT 160048 SOS 109790 HAS SOPS 69550 HAS SOUS 43442 HAS SOUPS 41008 WITH SCORE 41117.79
AT ITER 1816 NEW BEST:: SOT 160032 SOS 109774 HAS SOPS 69550 HAS SOUS 43434 HAS SOUPS 41000 WITH SCORE 41109.774
AT ITER 1826 NEW BEST:: SOT 160004 SOS 109746 HAS SOPS 69492 HAS SOUS 43403 HAS SOUPS 40969 WITH SCORE 41078.746
AT ITER 1832 NEW BEST:: SOT 159972 SOS 109714 HAS SOPS 69458 HAS SOUS 43337 HAS SOUPS 40903 WITH SCORE 41012.714
AT ITER 1834 NEW BEST:: SOT 159948 SOS 109690 HAS SOPS 69434 HAS SOUS 43265 HAS SOUPS 40831 WITH SCORE 40940.69
AT ITER 1835 NEW BEST:: SOT 159450 SOS 111365 HAS SOPS 69638 HAS SOUS 43161 HAS SOUPS 40683 WITH SCORE 40794.365
AT ITER 1836 NEW BEST:: SOT 159536 SOS 111451 HAS SOPS 69595 HAS SOUS 43159 HAS SOUPS 40681 WITH SCORE 40792.451
AT ITER 1843 NEW BEST:: SOT 159505 SOS 111420 HAS SOPS 69506 HAS SOUS 43070 HAS SOUPS 40592 WITH SCORE 40703.42
AT ITER 1852 NEW BEST:: SOT 159510 SOS 111360 HAS SOPS 69460 HAS SOUS 42967 HAS SOUPS 40489 WITH SCORE 40600.36
AT ITER 1853 NEW BEST:: SOT 159324 SOS 111174 HAS SOPS 69181 HAS SOUS 42637 HAS SOUPS 40159 WITH SCORE 40270.174
AT ITER 1857 NEW BEST:: SOT 159296 SOS 111146 HAS SOPS 69139 HAS SOUS 42556 HAS SOUPS 40078 WITH SCORE 40189.146
AT ITER 1859 NEW BEST:: SOT 159280 SOS 111130 HAS SOPS 69123 HAS SOUS 42556 HAS SOUPS 40078 WITH SCORE 40189.13
AT ITER 1870 NEW BEST:: SOT 159338 SOS 111188 HAS SOPS 68861 HAS SOUS 42355 HAS SOUPS 39877 WITH SCORE 39988.188
AT ITER 1882 NEW BEST:: SOT 159287 SOS 111137 HAS SOPS 68861 HAS SOUS 42338 HAS SOUPS 39860 WITH SCORE 39971.137
AT ITER 1893 NEW BEST:: SOT 159245 SOS 111095 HAS SOPS 68798 HAS SOUS 42317 HAS SOUPS 39839 WITH SCORE 39950.095
AT ITER 1908 NEW BEST:: SOT 159238 SOS 111088 HAS SOPS 68784 HAS SOUS 42310 HAS SOUPS 39832 WITH SCORE 39943.088
AT ITER 1926 NEW BEST:: SOT 159176 SOS 111026 HAS SOPS 68738 HAS SOUS 42288 HAS SOUPS 39810 WITH SCORE 39921.026
AT ITER 1934 NEW BEST:: SOT 159086 SOS 110936 HAS SOPS 68603 HAS SOUS 42125 HAS SOUPS 39647 WITH SCORE 39757.936
AT ITER 1935 NEW BEST:: SOT 159101 SOS 110971 HAS SOPS 68596 HAS SOUS 42049 HAS SOUPS 39571 WITH SCORE 39681.971
AT ITER 1938 NEW BEST:: SOT 159191 SOS 110911 HAS SOPS 68526 HAS SOUS 42030 HAS SOUPS 39552 WITH SCORE 39662.911
AT ITER 1953 NEW BEST:: SOT 159069 SOS 110765 HAS SOPS 68319 HAS SOUS 41777 HAS SOUPS 39299 WITH SCORE 39409.765
AT ITER 1971 NEW BEST:: SOT 159046 SOS 110742 HAS SOPS 68272 HAS SOUS 41762 HAS SOUPS 39284 WITH SCORE 39394.742
AT ITER 1975 NEW BEST:: SOT 159042 SOS 110738 HAS SOPS 68266 HAS SOUS 41723 HAS SOUPS 39245 WITH SCORE 39355.738
AT ITER 1984 NEW BEST:: SOT 158954 SOS 110650 HAS SOPS 68134 HAS SOUS 41618 HAS SOUPS 39140 WITH SCORE 39250.65
AT ITER 1991 NEW BEST:: SOT 158950 SOS 110646 HAS SOPS 68132 HAS SOUS 41616 HAS SOUPS 39138 WITH SCORE 39248.646
AT ITER 2020 NEW BEST:: SOT 158926 SOS 110622 HAS SOPS 68096 HAS SOUS 41568 HAS SOUPS 39090 WITH SCORE 39200.622
AT ITER 2046 NEW BEST:: SOT 158856 SOS 110552 HAS SOPS 67991 HAS SOUS 41508 HAS SOUPS 39030 WITH SCORE 39140.552
AT ITER 2047 NEW BEST:: SOT 158691 SOS 110960 HAS SOPS 67991 HAS SOUS 41448 HAS SOUPS 38955 WITH SCORE 39065.96
AT ITER 2061 NEW BEST:: SOT 158691 SOS 110894 HAS SOPS 67991 HAS SOUS 41448 HAS SOUPS 38955 WITH SCORE 39065.894
AT ITER 2073 NEW BEST:: SOT 158683 SOS 110862 HAS SOPS 67935 HAS SOUS 41440 HAS SOUPS 38947 WITH SCORE 39057.862
AT ITER 2090 NEW BEST:: SOT 158631 SOS 110810 HAS SOPS 67961 HAS SOUS 41440 HAS SOUPS 38947 WITH SCORE 39057.81
AT ITER 2092 NEW BEST:: SOT 158601 SOS 110825 HAS SOPS 67916 HAS SOUS 41395 HAS SOUPS 38902 WITH SCORE 39012.825
AT ITER 2094 NEW BEST:: SOT 158617 SOS 110841 HAS SOPS 67940 HAS SOUS 41376 HAS SOUPS 38883 WITH SCORE 38993.841
AT ITER 2098 NEW BEST:: SOT 158523 SOS 110700 HAS SOPS 67893 HAS SOUS 41376 HAS SOUPS 38883 WITH SCORE 38993.7
AT ITER 2109 NEW BEST:: SOT 158451 SOS 110608 HAS SOPS 67827 HAS SOUS 41183 HAS SOUPS 38690 WITH SCORE 38800.608
AT ITER 2114 NEW BEST:: SOT 158361 SOS 110518 HAS SOPS 67692 HAS SOUS 40879 HAS SOUPS 38386 WITH SCORE 38496.518
AT ITER 2126 NEW BEST:: SOT 158293 SOS 110450 HAS SOPS 67590 HAS SOUS 40759 HAS SOUPS 38266 WITH SCORE 38376.45
AT ITER 2156 NEW BEST:: SOT 158287 SOS 110444 HAS SOPS 67581 HAS SOUS 40679 HAS SOUPS 38186 WITH SCORE 38296.444
AT ITER 2161 NEW BEST:: SOT 158250 SOS 109091 HAS SOPS 66293 HAS SOUS 40458 HAS SOUPS 37965 WITH SCORE 38074.091
AT ITER 2162 NEW BEST:: SOT 158268 SOS 109085 HAS SOPS 66245 HAS SOUS 40452 HAS SOUPS 37959 WITH SCORE 38068.085
AT ITER 2165 NEW BEST:: SOT 158072 SOS 108889 HAS SOPS 65951 HAS SOUS 40158 HAS SOUPS 37665 WITH SCORE 37773.889
AT ITER 2166 NEW BEST:: SOT 158049 SOS 108625 HAS SOPS 65811 HAS SOUS 40130 HAS SOUPS 37646 WITH SCORE 37754.625
AT ITER 2178 NEW BEST:: SOT 158035 SOS 108611 HAS SOPS 65790 HAS SOUS 40101 HAS SOUPS 37617 WITH SCORE 37725.611
AT ITER 2186 NEW BEST:: SOT 157937 SOS 107895 HAS SOPS 65074 HAS SOUS 39820 HAS SOUPS 37336 WITH SCORE 37443.895
AT ITER 2197 NEW BEST:: SOT 157933 SOS 107871 HAS SOPS 65050 HAS SOUS 39818 HAS SOUPS 37334 WITH SCORE 37441.871
AT ITER 2218 NEW BEST:: SOT 157917 SOS 107855 HAS SOPS 65018 HAS SOUS 39784 HAS SOUPS 37300 WITH SCORE 37407.855
AT ITER 2223 NEW BEST:: SOT 157915 SOS 107852 HAS SOPS 65011 HAS SOUS 39781 HAS SOUPS 37297 WITH SCORE 37404.852
AT ITER 2245 NEW BEST:: SOT 157910 SOS 107863 HAS SOPS 65014 HAS SOUS 39770 HAS SOUPS 37286 WITH SCORE 37393.863
AT ITER 2261 NEW BEST:: SOT 157922 SOS 107875 HAS SOPS 64966 HAS SOUS 39708 HAS SOUPS 37224 WITH SCORE 37331.875
AT ITER 2270 NEW BEST:: SOT 157884 SOS 107837 HAS SOPS 64890 HAS SOUS 39651 HAS SOUPS 37167 WITH SCORE 37274.837
AT ITER 2278 NEW BEST:: SOT 157884 SOS 107837 HAS SOPS 64770 HAS SOUS 39561 HAS SOUPS 37077 WITH SCORE 37184.837
AT ITER 2283 NEW BEST:: SOT 157884 SOS 107824 HAS SOPS 64770 HAS SOUS 39561 HAS SOUPS 37077 WITH SCORE 37184.824
AT ITER 2284 NEW BEST:: SOT 157774 SOS 107683 HAS SOPS 64598 HAS SOUS 39341 HAS SOUPS 36857 WITH SCORE 36964.683
AT ITER 2292 NEW BEST:: SOT 157760 SOS 107669 HAS SOPS 64577 HAS SOUS 39344 HAS SOUPS 36849 WITH SCORE 36956.669
AT ITER 2294 NEW BEST:: SOT 157741 SOS 107650 HAS SOPS 64558 HAS SOUS 39289 HAS SOUPS 36794 WITH SCORE 36901.65
AT ITER 2305 NEW BEST:: SOT 157741 SOS 107650 HAS SOPS 64558 HAS SOUS 39264 HAS SOUPS 36769 WITH SCORE 36876.65
AT ITER 2324 NEW BEST:: SOT 157657 SOS 107662 HAS SOPS 64533 HAS SOUS 39220 HAS SOUPS 36725 WITH SCORE 36832.662
AT ITER 2325 NEW BEST:: SOT 157639 SOS 107644 HAS SOPS 64430 HAS SOUS 39087 HAS SOUPS 36592 WITH SCORE 36699.644
AT ITER 2335 NEW BEST:: SOT 157617 SOS 107622 HAS SOPS 64397 HAS SOUS 39060 HAS SOUPS 36565 WITH SCORE 36672.622
AT ITER 2339 NEW BEST:: SOT 154413 SOS 122347 HAS SOPS 68976 HAS SOUS 38230 HAS SOUPS 35423 WITH SCORE 35545.347
AT ITER 2343 NEW BEST:: SOT 154343 SOS 122277 HAS SOPS 68871 HAS SOUS 38125 HAS SOUPS 35318 WITH SCORE 35440.277
AT ITER 2353 NEW BEST:: SOT 154325 SOS 122259 HAS SOPS 68853 HAS SOUS 38107 HAS SOUPS 35300 WITH SCORE 35422.259
AT ITER 2359 NEW BEST:: SOT 154321 SOS 122255 HAS SOPS 68847 HAS SOUS 38077 HAS SOUPS 35246 WITH SCORE 35368.255
AT ITER 2382 NEW BEST:: SOT 154308 SOS 122264 HAS SOPS 68843 HAS SOUS 38051 HAS SOUPS 35220 WITH SCORE 35342.264
AT ITER 2384 NEW BEST:: SOT 154048 SOS 121955 HAS SOPS 68483 HAS SOUS 37740 HAS SOUPS 34909 WITH SCORE 35030.955
AT ITER 2389 NEW BEST:: SOT 153850 SOS 121757 HAS SOPS 68393 HAS SOUS 37631 HAS SOUPS 34800 WITH SCORE 34921.757
AT ITER 2408 NEW BEST:: SOT 153778 SOS 121685 HAS SOPS 68321 HAS SOUS 37533 HAS SOUPS 34702 WITH SCORE 34823.685
AT ITER 2427 NEW BEST:: SOT 153770 SOS 121677 HAS SOPS 68309 HAS SOUS 37517 HAS SOUPS 34686 WITH SCORE 34807.677
AT ITER 2439 NEW BEST:: SOT 153770 SOS 121677 HAS SOPS 68309 HAS SOUS 37510 HAS SOUPS 34679 WITH SCORE 34800.677
AT ITER 2446 NEW BEST:: SOT 153761 SOS 121659 HAS SOPS 68282 HAS SOUS 37477 HAS SOUPS 34646 WITH SCORE 34767.659
AT ITER 2447 NEW BEST:: SOT 153616 SOS 121514 HAS SOPS 68114 HAS SOUS 37343 HAS SOUPS 34512 WITH SCORE 34633.514
AT ITER 2452 NEW BEST:: SOT 153437 SOS 121336 HAS SOPS 67876 HAS SOUS 37179 HAS SOUPS 34348 WITH SCORE 34469.336
AT ITER 2454 NEW BEST:: SOT 153399 SOS 121298 HAS SOPS 67819 HAS SOUS 37112 HAS SOUPS 34281 WITH SCORE 34402.298
AT ITER 2466 NEW BEST:: SOT 153261 SOS 121160 HAS SOPS 67681 HAS SOUS 36986 HAS SOUPS 34155 WITH SCORE 34276.16
AT ITER 2483 NEW BEST:: SOT 153207 SOS 121106 HAS SOPS 67573 HAS SOUS 36932 HAS SOUPS 34101 WITH SCORE 34222.106
AT ITER 2488 NEW BEST:: SOT 153181 SOS 121080 HAS SOPS 67521 HAS SOUS 36880 HAS SOUPS 34049 WITH SCORE 34170.08
AT ITER 2493 NEW BEST:: SOT 153161 SOS 121060 HAS SOPS 67481 HAS SOUS 36845 HAS SOUPS 34014 WITH SCORE 34135.06
AT ITER 2502 NEW BEST:: SOT 153167 SOS 121066 HAS SOPS 67490 HAS SOUS 36824 HAS SOUPS 33993 WITH SCORE 34114.066
AT ITER 2516 NEW BEST:: SOT 153153 SOS 121052 HAS SOPS 67469 HAS SOUS 36796 HAS SOUPS 33965 WITH SCORE 34086.052
AT ITER 2517 NEW BEST:: SOT 153093 SOS 120992 HAS SOPS 67367 HAS SOUS 36746 HAS SOUPS 33915 WITH SCORE 34035.992
AT ITER 2523 NEW BEST:: SOT 153039 SOS 120938 HAS SOPS 67259 HAS SOUS 36638 HAS SOUPS 33807 WITH SCORE 33927.938
AT ITER 2525 NEW BEST:: SOT 152859 SOS 120758 HAS SOPS 67192 HAS SOUS 36572 HAS SOUPS 33741 WITH SCORE 33861.758
AT ITER 2527 NEW BEST:: SOT 152859 SOS 120758 HAS SOPS 67192 HAS SOUS 36570 HAS SOUPS 33739 WITH SCORE 33859.758
AT ITER 2535 NEW BEST:: SOT 152855 SOS 120754 HAS SOPS 67186 HAS SOUS 36564 HAS SOUPS 33733 WITH SCORE 33853.754
AT ITER 2548 NEW BEST:: SOT 152817 SOS 120716 HAS SOPS 67129 HAS SOUS 36412 HAS SOUPS 33581 WITH SCORE 33701.716
AT ITER 2555 NEW BEST:: SOT 152737 SOS 120636 HAS SOPS 67009 HAS SOUS 36252 HAS SOUPS 33421 WITH SCORE 33541.636
AT ITER 2556 NEW BEST:: SOT 152835 SOS 120734 HAS SOPS 66982 HAS SOUS 36167 HAS SOUPS 33336 WITH SCORE 33456.734
AT ITER 2559 NEW BEST:: SOT 152824 SOS 120723 HAS SOPS 66961 HAS SOUS 36155 HAS SOUPS 33324 WITH SCORE 33444.723
AT ITER 2569 NEW BEST:: SOT 152848 SOS 120603 HAS SOPS 66864 HAS SOUS 36152 HAS SOUPS 33321 WITH SCORE 33441.603
AT ITER 2582 NEW BEST:: SOT 152830 SOS 120585 HAS SOPS 66840 HAS SOUS 36128 HAS SOUPS 33297 WITH SCORE 33417.585
AT ITER 2620 NEW BEST:: SOT 152811 SOS 120566 HAS SOPS 66821 HAS SOUS 36109 HAS SOUPS 33278 WITH SCORE 33398.566
AT ITER 2626 NEW BEST:: SOT 152601 SOS 121831 HAS SOPS 67147 HAS SOUS 36045 HAS SOUPS 33187 WITH SCORE 33308.831
AT ITER 2644 NEW BEST:: SOT 152527 SOS 121757 HAS SOPS 67063 HAS SOUS 35907 HAS SOUPS 33049 WITH SCORE 33170.757
AT ITER 2662 NEW BEST:: SOT 152428 SOS 121658 HAS SOPS 66946 HAS SOUS 35858 HAS SOUPS 33000 WITH SCORE 33121.658
AT ITER 2665 NEW BEST:: SOT 152428 SOS 121658 HAS SOPS 66946 HAS SOUS 35840 HAS SOUPS 32982 WITH SCORE 33103.658
AT ITER 2674 NEW BEST:: SOT 152418 SOS 121648 HAS SOPS 66931 HAS SOUS 35825 HAS SOUPS 32967 WITH SCORE 33088.648
AT ITER 2676 NEW BEST:: SOT 152418 SOS 121648 HAS SOPS 66931 HAS SOUS 35786 HAS SOUPS 32928 WITH SCORE 33049.648
AT ITER 2685 NEW BEST:: SOT 152414 SOS 121500 HAS SOPS 66884 HAS SOUS 35782 HAS SOUPS 32924 WITH SCORE 33045.5
AT ITER 2695 NEW BEST:: SOT 152376 SOS 121462 HAS SOPS 66848 HAS SOUS 35745 HAS SOUPS 32887 WITH SCORE 33008.462
AT ITER 2697 NEW BEST:: SOT 152376 SOS 121462 HAS SOPS 66842 HAS SOUS 35739 HAS SOUPS 32881 WITH SCORE 33002.462
AT ITER 2713 NEW BEST:: SOT 152375 SOS 121462 HAS SOPS 66842 HAS SOUS 35738 HAS SOUPS 32880 WITH SCORE 33001.462
AT ITER 2718 NEW BEST:: SOT 152642 SOS 118025 HAS SOPS 65800 HAS SOUS 35685 HAS SOUPS 32875 WITH SCORE 32993.025
AT ITER 2732 NEW BEST:: SOT 152602 SOS 117985 HAS SOPS 65780 HAS SOUS 35655 HAS SOUPS 32845 WITH SCORE 32962.985
AT ITER 2735 NEW BEST:: SOT 152521 SOS 118002 HAS SOPS 65781 HAS SOUS 35612 HAS SOUPS 32802 WITH SCORE 32920.002
AT ITER 2738 NEW BEST:: SOT 152502 SOS 117978 HAS SOPS 65757 HAS SOUS 35561 HAS SOUPS 32751 WITH SCORE 32868.978
AT ITER 2749 NEW BEST:: SOT 152476 SOS 117952 HAS SOPS 65718 HAS SOUS 35509 HAS SOUPS 32699 WITH SCORE 32816.952
AT ITER 2756 NEW BEST:: SOT 152460 SOS 117936 HAS SOPS 65694 HAS SOUS 35486 HAS SOUPS 32676 WITH SCORE 32793.936
AT ITER 2798 NEW BEST:: SOT 152442 SOS 117918 HAS SOPS 65667 HAS SOUS 35459 HAS SOUPS 32649 WITH SCORE 32766.918
AT ITER 2802 NEW BEST:: SOT 152348 SOS 117824 HAS SOPS 65473 HAS SOUS 35318 HAS SOUPS 32508 WITH SCORE 32625.824
AT ITER 2844 NEW BEST:: SOT 152346 SOS 117822 HAS SOPS 65470 HAS SOUS 35316 HAS SOUPS 32506 WITH SCORE 32623.822
AT ITER 2855 NEW BEST:: SOT 152270 SOS 117746 HAS SOPS 65356 HAS SOUS 35261 HAS SOUPS 32451 WITH SCORE 32568.746
AT ITER 2872 NEW BEST:: SOT 152142 SOS 117618 HAS SOPS 65269 HAS SOUS 35174 HAS SOUPS 32364 WITH SCORE 32481.618
AT ITER 2877 NEW BEST:: SOT 152114 SOS 117590 HAS SOPS 65213 HAS SOUS 35127 HAS SOUPS 32317 WITH SCORE 32434.59
AT ITER 2886 NEW BEST:: SOT 152115 SOS 117603 HAS SOPS 65232 HAS SOUS 35104 HAS SOUPS 32294 WITH SCORE 32411.603
AT ITER 2892 NEW BEST:: SOT 152057 SOS 117545 HAS SOPS 65177 HAS SOUS 35060 HAS SOUPS 32250 WITH SCORE 32367.545
AT ITER 2907 NEW BEST:: SOT 152057 SOS 117545 HAS SOPS 65045 HAS SOUS 34928 HAS SOUPS 32118 WITH SCORE 32235.545
AT ITER 2910 NEW BEST:: SOT 151925 SOS 117413 HAS SOPS 64847 HAS SOUS 34740 HAS SOUPS 31930 WITH SCORE 32047.413
AT ITER 2915 NEW BEST:: SOT 152025 SOS 117513 HAS SOPS 64655 HAS SOUS 34706 HAS SOUPS 31896 WITH SCORE 32013.513
AT ITER 2921 NEW BEST:: SOT 152025 SOS 117513 HAS SOPS 64655 HAS SOUS 34698 HAS SOUPS 31888 WITH SCORE 32005.513
AT ITER 2939 NEW BEST:: SOT 151951 SOS 117439 HAS SOPS 64544 HAS SOUS 34581 HAS SOUPS 31771 WITH SCORE 31888.439
AT ITER 2945 NEW BEST:: SOT 152015 SOS 117483 HAS SOPS 64524 HAS SOUS 34561 HAS SOUPS 31751 WITH SCORE 31868.483
AT ITER 2955 NEW BEST:: SOT 151915 SOS 117383 HAS SOPS 64539 HAS SOUS 34530 HAS SOUPS 31720 WITH SCORE 31837.383
AT ITER 2968 NEW BEST:: SOT 151871 SOS 117339 HAS SOPS 64561 HAS SOUS 34530 HAS SOUPS 31720 WITH SCORE 31837.339
AT ITER 2987 NEW BEST:: SOT 151862 SOS 117330 HAS SOPS 64516 HAS SOUS 34521 HAS SOUPS 31711 WITH SCORE 31828.33
AT ITER 2989 NEW BEST:: SOT 151830 SOS 117298 HAS SOPS 64372 HAS SOUS 34378 HAS SOUPS 31568 WITH SCORE 31685.298
AT ITER 3010 NEW BEST:: SOT 151814 SOS 117382 HAS SOPS 64436 HAS SOUS 34370 HAS SOUPS 31560 WITH SCORE 31677.382
AT ITER 3041 NEW BEST:: SOT 151814 SOS 117118 HAS SOPS 64034 HAS SOUS 34370 HAS SOUPS 31560 WITH SCORE 31677.118
AT ITER 3044 NEW BEST:: SOT 151802 SOS 117106 HAS SOPS 63998 HAS SOUS 34358 HAS SOUPS 31548 WITH SCORE 31665.106
AT ITER 3055 NEW BEST:: SOT 151794 SOS 117094 HAS SOPS 63954 HAS SOUS 34315 HAS SOUPS 31505 WITH SCORE 31622.094
AT ITER 3063 NEW BEST:: SOT 151758 SOS 117058 HAS SOPS 63900 HAS SOUS 34253 HAS SOUPS 31443 WITH SCORE 31560.058
AT ITER 3071 NEW BEST:: SOT 151758 SOS 117058 HAS SOPS 63900 HAS SOUS 34248 HAS SOUPS 31438 WITH SCORE 31555.058
AT ITER 3076 NEW BEST:: SOT 151768 SOS 117068 HAS SOPS 63915 HAS SOUS 34243 HAS SOUPS 31433 WITH SCORE 31550.068
AT ITER 3107 NEW BEST:: SOT 151768 SOS 117068 HAS SOPS 63895 HAS SOUS 34223 HAS SOUPS 31413 WITH SCORE 31530.068
AT ITER 3112 NEW BEST:: SOT 151728 SOS 117028 HAS SOPS 63815 HAS SOUS 34163 HAS SOUPS 31353 WITH SCORE 31470.028
AT ITER 3126 NEW BEST:: SOT 151718 SOS 116998 HAS SOPS 63793 HAS SOUS 34147 HAS SOUPS 31337 WITH SCORE 31453.998
AT ITER 3130 NEW BEST:: SOT 151714 SOS 116935 HAS SOPS 63785 HAS SOUS 34141 HAS SOUPS 31331 WITH SCORE 31447.935
AT ITER 3152 NEW BEST:: SOT 151682 SOS 116903 HAS SOPS 63737 HAS SOUS 34099 HAS SOUPS 31289 WITH SCORE 31405.903
AT ITER 3153 NEW BEST:: SOT 151674 SOS 116895 HAS SOPS 63727 HAS SOUS 34091 HAS SOUPS 31281 WITH SCORE 31397.895
AT ITER 3154 NEW BEST:: SOT 151746 SOS 116967 HAS SOPS 63572 HAS SOUS 33934 HAS SOUPS 31124 WITH SCORE 31240.967
AT ITER 3162 NEW BEST:: SOT 151754 SOS 116943 HAS SOPS 63377 HAS SOUS 33829 HAS SOUPS 31019 WITH SCORE 31135.943
AT ITER 3167 NEW BEST:: SOT 151583 SOS 116852 HAS SOPS 63387 HAS SOUS 33816 HAS SOUPS 31006 WITH SCORE 31122.852
AT ITER 3181 NEW BEST:: SOT 151575 SOS 116844 HAS SOPS 63371 HAS SOUS 33804 HAS SOUPS 30994 WITH SCORE 31110.844
AT ITER 3216 NEW BEST:: SOT 151561 SOS 116830 HAS SOPS 63350 HAS SOUS 33782 HAS SOUPS 30972 WITH SCORE 31088.83
AT ITER 3218 NEW BEST:: SOT 151669 SOS 116938 HAS SOPS 63208 HAS SOUS 33747 HAS SOUPS 30932 WITH SCORE 31048.938
AT ITER 3221 NEW BEST:: SOT 151677 SOS 116946 HAS SOPS 63191 HAS SOUS 33746 HAS SOUPS 30927 WITH SCORE 31043.946
AT ITER 3222 NEW BEST:: SOT 151671 SOS 116898 HAS SOPS 63143 HAS SOUS 33728 HAS SOUPS 30909 WITH SCORE 31025.898
AT ITER 3226 NEW BEST:: SOT 151749 SOS 116976 HAS SOPS 63089 HAS SOUS 33716 HAS SOUPS 30897 WITH SCORE 31013.976
AT ITER 3232 NEW BEST:: SOT 151721 SOS 116948 HAS SOPS 63047 HAS SOUS 33629 HAS SOUPS 30810 WITH SCORE 30926.948
AT ITER 3238 NEW BEST:: SOT 151665 SOS 116892 HAS SOPS 63011 HAS SOUS 33593 HAS SOUPS 30774 WITH SCORE 30890.892
AT ITER 3241 NEW BEST:: SOT 151643 SOS 116870 HAS SOPS 62973 HAS SOUS 33557 HAS SOUPS 30738 WITH SCORE 30854.87
AT ITER 3260 NEW BEST:: SOT 151643 SOS 116870 HAS SOPS 62964 HAS SOUS 33545 HAS SOUPS 30726 WITH SCORE 30842.87
AT ITER 3266 NEW BEST:: SOT 151643 SOS 116870 HAS SOPS 62900 HAS SOUS 33497 HAS SOUPS 30678 WITH SCORE 30794.87
AT ITER 3275 NEW BEST:: SOT 151642 SOS 116869 HAS SOPS 62899 HAS SOUS 33496 HAS SOUPS 30677 WITH SCORE 30793.869
AT ITER 3278 NEW BEST:: SOT 151630 SOS 116857 HAS SOPS 62885 HAS SOUS 33482 HAS SOUPS 30663 WITH SCORE 30779.857
AT ITER 3299 NEW BEST:: SOT 151622 SOS 116849 HAS SOPS 62873 HAS SOUS 33397 HAS SOUPS 30578 WITH SCORE 30694.849
AT ITER 3309 NEW BEST:: SOT 151542 SOS 116769 HAS SOPS 62770 HAS SOUS 33317 HAS SOUPS 30498 WITH SCORE 30614.769
AT ITER 3317 NEW BEST:: SOT 151540 SOS 116767 HAS SOPS 62770 HAS SOUS 33317 HAS SOUPS 30498 WITH SCORE 30614.767
AT ITER 3318 NEW BEST:: SOT 151538 SOS 116765 HAS SOPS 62767 HAS SOUS 33314 HAS SOUPS 30495 WITH SCORE 30611.765
AT ITER 3335 NEW BEST:: SOT 151538 SOS 116765 HAS SOPS 62767 HAS SOUS 33313 HAS SOUPS 30494 WITH SCORE 30610.765
AT ITER 3337 NEW BEST:: SOT 151538 SOS 116765 HAS SOPS 62763 HAS SOUS 33310 HAS SOUPS 30491 WITH SCORE 30607.765
AT ITER 3343 NEW BEST:: SOT 151528 SOS 116755 HAS SOPS 62748 HAS SOUS 33271 HAS SOUPS 30452 WITH SCORE 30568.755
AT ITER 3348 NEW BEST:: SOT 151492 SOS 116697 HAS SOPS 62709 HAS SOUS 33227 HAS SOUPS 30408 WITH SCORE 30524.697
AT ITER 3351 NEW BEST:: SOT 151484 SOS 116689 HAS SOPS 62697 HAS SOUS 33215 HAS SOUPS 30396 WITH SCORE 30512.689
AT ITER 3352 NEW BEST:: SOT 151468 SOS 116673 HAS SOPS 62673 HAS SOUS 33190 HAS SOUPS 30371 WITH SCORE 30487.673
AT ITER 3354 NEW BEST:: SOT 151474 SOS 116679 HAS SOPS 62645 HAS SOUS 33183 HAS SOUPS 30358 WITH SCORE 30474.679
AT ITER 3380 NEW BEST:: SOT 151439 SOS 116644 HAS SOPS 62575 HAS SOUS 33148 HAS SOUPS 30323 WITH SCORE 30439.644
AT ITER 3390 NEW BEST:: SOT 151285 SOS 117996 HAS SOPS 62866 HAS SOUS 33120 HAS SOUPS 30281 WITH SCORE 30398.996
AT ITER 3392 NEW BEST:: SOT 151225 SOS 117936 HAS SOPS 62776 HAS SOUS 33000 HAS SOUPS 30161 WITH SCORE 30278.936
AT ITER 3406 NEW BEST:: SOT 151225 SOS 117931 HAS SOPS 62771 HAS SOUS 33000 HAS SOUPS 30161 WITH SCORE 30278.931
AT ITER 3411 NEW BEST:: SOT 151195 SOS 117901 HAS SOPS 62711 HAS SOUS 32980 HAS SOUPS 30141 WITH SCORE 30258.901
AT ITER 3413 NEW BEST:: SOT 151107 SOS 117813 HAS SOPS 62579 HAS SOUS 32890 HAS SOUPS 30051 WITH SCORE 30168.813
AT ITER 3425 NEW BEST:: SOT 151081 SOS 117787 HAS SOPS 62540 HAS SOUS 32838 HAS SOUPS 29999 WITH SCORE 30116.787
AT ITER 3430 NEW BEST:: SOT 151021 SOS 117727 HAS SOPS 62450 HAS SOUS 32739 HAS SOUPS 29900 WITH SCORE 30017.727
AT ITER 3447 NEW BEST:: SOT 150985 SOS 117691 HAS SOPS 62396 HAS SOUS 32676 HAS SOUPS 29837 WITH SCORE 29954.691
AT ITER 3454 NEW BEST:: SOT 150977 SOS 117683 HAS SOPS 62380 HAS SOUS 32664 HAS SOUPS 29825 WITH SCORE 29942.683
AT ITER 3456 NEW BEST:: SOT 150977 SOS 117683 HAS SOPS 62380 HAS SOUS 32656 HAS SOUPS 29817 WITH SCORE 29934.683
AT ITER 3461 NEW BEST:: SOT 151021 SOS 117727 HAS SOPS 62317 HAS SOUS 32579 HAS SOUPS 29740 WITH SCORE 29857.727
AT ITER 3485 NEW BEST:: SOT 151013 SOS 117719 HAS SOPS 62301 HAS SOUS 32571 HAS SOUPS 29728 WITH SCORE 29845.719
AT ITER 3503 NEW BEST:: SOT 150849 SOS 117555 HAS SOPS 62154 HAS SOUS 32428 HAS SOUPS 29585 WITH SCORE 29702.555
AT ITER 3507 NEW BEST:: SOT 150835 SOS 117541 HAS SOPS 62224 HAS SOUS 32407 HAS SOUPS 29564 WITH SCORE 29681.541
AT ITER 3509 NEW BEST:: SOT 150783 SOS 117489 HAS SOPS 62292 HAS SOUS 32395 HAS SOUPS 29552 WITH SCORE 29669.489
AT ITER 3545 NEW BEST:: SOT 150751 SOS 117461 HAS SOPS 62158 HAS SOUS 32272 HAS SOUPS 29429 WITH SCORE 29546.461
AT ITER 3561 NEW BEST:: SOT 150685 SOS 117395 HAS SOPS 62092 HAS SOUS 32238 HAS SOUPS 29395 WITH SCORE 29512.395
AT ITER 3593 NEW BEST:: SOT 150513 SOS 117223 HAS SOPS 62025 HAS SOUS 32171 HAS SOUPS 29328 WITH SCORE 29445.223
AT ITER 3599 NEW BEST:: SOT 150477 SOS 117187 HAS SOPS 61971 HAS SOUS 32056 HAS SOUPS 29213 WITH SCORE 29330.187
AT ITER 3640 NEW BEST:: SOT 150348 SOS 117058 HAS SOPS 61816 HAS SOUS 32021 HAS SOUPS 29178 WITH SCORE 29295.058
AT ITER 3642 NEW BEST:: SOT 150394 SOS 117104 HAS SOPS 61798 HAS SOUS 31974 HAS SOUPS 29131 WITH SCORE 29248.104
AT ITER 3645 NEW BEST:: SOT 150372 SOS 117082 HAS SOPS 61754 HAS SOUS 31899 HAS SOUPS 29056 WITH SCORE 29173.082
AT ITER 3647 NEW BEST:: SOT 150325 SOS 117035 HAS SOPS 61655 HAS SOUS 31826 HAS SOUPS 28983 WITH SCORE 29100.035
AT ITER 3648 NEW BEST:: SOT 150325 SOS 117035 HAS SOPS 61655 HAS SOUS 31812 HAS SOUPS 28969 WITH SCORE 29086.035
AT ITER 3650 NEW BEST:: SOT 150305 SOS 116955 HAS SOPS 61515 HAS SOUS 31752 HAS SOUPS 28909 WITH SCORE 29025.955
AT ITER 3654 NEW BEST:: SOT 150259 SOS 116909 HAS SOPS 61446 HAS SOUS 31752 HAS SOUPS 28909 WITH SCORE 29025.909
AT ITER 3659 NEW BEST:: SOT 150221 SOS 117095 HAS SOPS 61472 HAS SOUS 31726 HAS SOUPS 28879 WITH SCORE 28996.095
AT ITER 3661 NEW BEST:: SOT 150167 SOS 117036 HAS SOPS 61390 HAS SOUS 31632 HAS SOUPS 28785 WITH SCORE 28902.036
AT ITER 3669 NEW BEST:: SOT 150063 SOS 116916 HAS SOPS 61270 HAS SOUS 31539 HAS SOUPS 28692 WITH SCORE 28808.916
AT ITER 3691 NEW BEST:: SOT 150051 SOS 116904 HAS SOPS 61252 HAS SOUS 31521 HAS SOUPS 28674 WITH SCORE 28790.904
AT ITER 3719 NEW BEST:: SOT 149987 SOS 116840 HAS SOPS 61269 HAS SOUS 31488 HAS SOUPS 28647 WITH SCORE 28763.84
AT ITER 3721 NEW BEST:: SOT 149987 SOS 116840 HAS SOPS 61269 HAS SOUS 31437 HAS SOUPS 28596 WITH SCORE 28712.84
AT ITER 3761 NEW BEST:: SOT 149953 SOS 116773 HAS SOPS 61202 HAS SOUS 31414 HAS SOUPS 28573 WITH SCORE 28689.773
AT ITER 3762 NEW BEST:: SOT 149861 SOS 116681 HAS SOPS 61064 HAS SOUS 31273 HAS SOUPS 28432 WITH SCORE 28548.681
AT ITER 3763 NEW BEST:: SOT 149857 SOS 116677 HAS SOPS 61058 HAS SOUS 31244 HAS SOUPS 28403 WITH SCORE 28519.677
AT ITER 3790 NEW BEST:: SOT 149849 SOS 116669 HAS SOPS 61046 HAS SOUS 31232 HAS SOUPS 28391 WITH SCORE 28507.669
AT ITER 3796 NEW BEST:: SOT 149833 SOS 116653 HAS SOPS 61014 HAS SOUS 31200 HAS SOUPS 28359 WITH SCORE 28475.653
AT ITER 3799 NEW BEST:: SOT 149777 SOS 116597 HAS SOPS 60975 HAS SOUS 31161 HAS SOUPS 28320 WITH SCORE 28436.597
AT ITER 3820 NEW BEST:: SOT 149746 SOS 116566 HAS SOPS 60940 HAS SOUS 31101 HAS SOUPS 28260 WITH SCORE 28376.566
AT ITER 3821 NEW BEST:: SOT 149742 SOS 116562 HAS SOPS 60933 HAS SOUS 31094 HAS SOUPS 28253 WITH SCORE 28369.562
AT ITER 3830 NEW BEST:: SOT 149742 SOS 116562 HAS SOPS 60933 HAS SOUS 31063 HAS SOUPS 28222 WITH SCORE 28338.562
AT ITER 3840 NEW BEST:: SOT 149750 SOS 116570 HAS SOPS 60945 HAS SOUS 31056 HAS SOUPS 28215 WITH SCORE 28331.57
AT ITER 3853 NEW BEST:: SOT 149750 SOS 116570 HAS SOPS 60945 HAS SOUS 31050 HAS SOUPS 28209 WITH SCORE 28325.57
AT ITER 3857 NEW BEST:: SOT 149750 SOS 116570 HAS SOPS 60936 HAS SOUS 31046 HAS SOUPS 28205 WITH SCORE 28321.57
AT ITER 3864 NEW BEST:: SOT 149740 SOS 116560 HAS SOPS 60916 HAS SOUS 31026 HAS SOUPS 28185 WITH SCORE 28301.56
AT ITER 3874 NEW BEST:: SOT 149692 SOS 116495 HAS SOPS 60895 HAS SOUS 31005 HAS SOUPS 28164 WITH SCORE 28280.495
AT ITER 3882 NEW BEST:: SOT 149632 SOS 116435 HAS SOPS 60805 HAS SOUS 30899 HAS SOUPS 28058 WITH SCORE 28174.435
AT ITER 3885 NEW BEST:: SOT 149632 SOS 116431 HAS SOPS 60767 HAS SOUS 30899 HAS SOUPS 28058 WITH SCORE 28174.431
AT ITER 3890 NEW BEST:: SOT 149644 SOS 116391 HAS SOPS 60727 HAS SOUS 30855 HAS SOUPS 28014 WITH SCORE 28130.391
AT ITER 3925 NEW BEST:: SOT 149584 SOS 116356 HAS SOPS 60651 HAS SOUS 30754 HAS SOUPS 27913 WITH SCORE 28029.356
AT ITER 3927 NEW BEST:: SOT 149500 SOS 116272 HAS SOPS 60483 HAS SOUS 30587 HAS SOUPS 27746 WITH SCORE 27862.272
AT ITER 3938 NEW BEST:: SOT 149510 SOS 116282 HAS SOPS 60477 HAS SOUS 30583 HAS SOUPS 27742 WITH SCORE 27858.282
AT ITER 3955 NEW BEST:: SOT 149502 SOS 116274 HAS SOPS 60465 HAS SOUS 30567 HAS SOUPS 27726 WITH SCORE 27842.274
AT ITER 3956 NEW BEST:: SOT 149440 SOS 116212 HAS SOPS 60472 HAS SOUS 30549 HAS SOUPS 27708 WITH SCORE 27824.212
AT ITER 3961 NEW BEST:: SOT 149424 SOS 116196 HAS SOPS 60448 HAS SOUS 30496 HAS SOUPS 27655 WITH SCORE 27771.196
AT ITER 3963 NEW BEST:: SOT 149422 SOS 116194 HAS SOPS 60445 HAS SOUS 30493 HAS SOUPS 27652 WITH SCORE 27768.194
AT ITER 3966 NEW BEST:: SOT 149368 SOS 116140 HAS SOPS 60371 HAS SOUS 30425 HAS SOUPS 27584 WITH SCORE 27700.14
AT ITER 3967 NEW BEST:: SOT 149332 SOS 116104 HAS SOPS 60317 HAS SOUS 30389 HAS SOUPS 27548 WITH SCORE 27664.104
AT ITER 3968 NEW BEST:: SOT 149258 SOS 116030 HAS SOPS 60169 HAS SOUS 30278 HAS SOUPS 27437 WITH SCORE 27553.03
AT ITER 3982 NEW BEST:: SOT 149258 SOS 116030 HAS SOPS 60169 HAS SOUS 30275 HAS SOUPS 27434 WITH SCORE 27550.03
AT ITER 3988 NEW BEST:: SOT 149242 SOS 116014 HAS SOPS 60145 HAS SOUS 30205 HAS SOUPS 27364 WITH SCORE 27480.014
AT ITER 4001 NEW BEST:: SOT 149120 SOS 115892 HAS SOPS 59949 HAS SOUS 30133 HAS SOUPS 27292 WITH SCORE 27407.892
AT ITER 4009 NEW BEST:: SOT 149116 SOS 115888 HAS SOPS 59941 HAS SOUS 30127 HAS SOUPS 27286 WITH SCORE 27401.888
AT ITER 4033 NEW BEST:: SOT 149072 SOS 115834 HAS SOPS 59865 HAS SOUS 30040 HAS SOUPS 27199 WITH SCORE 27314.834
AT ITER 4043 NEW BEST:: SOT 149075 SOS 115837 HAS SOPS 59868 HAS SOUS 30036 HAS SOUPS 27195 WITH SCORE 27310.837
AT ITER 4055 NEW BEST:: SOT 148913 SOS 115675 HAS SOPS 59661 HAS SOUS 29964 HAS SOUPS 27123 WITH SCORE 27238.675
AT ITER 4073 NEW BEST:: SOT 148927 SOS 115689 HAS SOPS 59550 HAS SOUS 29973 HAS SOUPS 27084 WITH SCORE 27199.689
AT ITER 4075 NEW BEST:: SOT 148745 SOS 115507 HAS SOPS 59186 HAS SOUS 29638 HAS SOUPS 26749 WITH SCORE 26864.507
AT ITER 4080 NEW BEST:: SOT 148745 SOS 115507 HAS SOPS 59186 HAS SOUS 29624 HAS SOUPS 26735 WITH SCORE 26850.507
AT ITER 4084 NEW BEST:: SOT 148745 SOS 115507 HAS SOPS 59186 HAS SOUS 29591 HAS SOUPS 26702 WITH SCORE 26817.507
AT ITER 4095 NEW BEST:: SOT 148727 SOS 115489 HAS SOPS 59159 HAS SOUS 29555 HAS SOUPS 26666 WITH SCORE 26781.489
AT ITER 4096 NEW BEST:: SOT 148723 SOS 115477 HAS SOPS 59145 HAS SOUS 29541 HAS SOUPS 26652 WITH SCORE 26767.477
AT ITER 4102 NEW BEST:: SOT 148644 SOS 115991 HAS SOPS 59279 HAS SOUS 29528 HAS SOUPS 26628 WITH SCORE 26743.991
AT ITER 4109 NEW BEST:: SOT 148614 SOS 115961 HAS SOPS 59127 HAS SOUS 29406 HAS SOUPS 26500 WITH SCORE 26615.961
AT ITER 4114 NEW BEST:: SOT 148611 SOS 115902 HAS SOPS 59068 HAS SOUS 29382 HAS SOUPS 26476 WITH SCORE 26591.902
AT ITER 4129 NEW BEST:: SOT 148572 SOS 115723 HAS SOPS 58939 HAS SOUS 29357 HAS SOUPS 26451 WITH SCORE 26566.723
AT ITER 4138 NEW BEST:: SOT 148492 SOS 115643 HAS SOPS 58742 HAS SOUS 29237 HAS SOUPS 26331 WITH SCORE 26446.643
AT ITER 4140 NEW BEST:: SOT 148520 SOS 115671 HAS SOPS 58616 HAS SOUS 29111 HAS SOUPS 26205 WITH SCORE 26320.671
AT ITER 4141 NEW BEST:: SOT 148492 SOS 115643 HAS SOPS 58574 HAS SOUS 29063 HAS SOUPS 26157 WITH SCORE 26272.643
AT ITER 4149 NEW BEST:: SOT 148492 SOS 115584 HAS SOPS 58525 HAS SOUS 29063 HAS SOUPS 26157 WITH SCORE 26272.584
AT ITER 4171 NEW BEST:: SOT 148492 SOS 115584 HAS SOPS 58525 HAS SOUS 29057 HAS SOUPS 26151 WITH SCORE 26266.584
AT ITER 4189 NEW BEST:: SOT 148240 SOS 115332 HAS SOPS 58147 HAS SOUS 28586 HAS SOUPS 25680 WITH SCORE 25795.332
AT ITER 4205 NEW BEST:: SOT 148240 SOS 115308 HAS SOPS 58123 HAS SOUS 28580 HAS SOUPS 25674 WITH SCORE 25789.308
AT ITER 4211 NEW BEST:: SOT 148364 SOS 115432 HAS SOPS 58076 HAS SOUS 28576 HAS SOUPS 25670 WITH SCORE 25785.432
AT ITER 4220 NEW BEST:: SOT 148358 SOS 115405 HAS SOPS 58049 HAS SOUS 28576 HAS SOUPS 25670 WITH SCORE 25785.405
AT ITER 4245 NEW BEST:: SOT 148342 SOS 115389 HAS SOPS 58017 HAS SOUS 28515 HAS SOUPS 25609 WITH SCORE 25724.389
AT ITER 4247 NEW BEST:: SOT 148330 SOS 115377 HAS SOPS 57999 HAS SOUS 28495 HAS SOUPS 25589 WITH SCORE 25704.377
AT ITER 4259 NEW BEST:: SOT 148340 SOS 115387 HAS SOPS 57918 HAS SOUS 28479 HAS SOUPS 25573 WITH SCORE 25688.387
AT ITER 4282 NEW BEST:: SOT 148310 SOS 115357 HAS SOPS 57873 HAS SOUS 28426 HAS SOUPS 25520 WITH SCORE 25635.357
AT ITER 4293 NEW BEST:: SOT 148296 SOS 115477 HAS SOPS 57905 HAS SOUS 28418 HAS SOUPS 25510 WITH SCORE 25625.477
AT ITER 4294 NEW BEST:: SOT 148248 SOS 115429 HAS SOPS 57833 HAS SOUS 28331 HAS SOUPS 25423 WITH SCORE 25538.429
AT ITER 4314 NEW BEST:: SOT 148243 SOS 115427 HAS SOPS 57826 HAS SOUS 28325 HAS SOUPS 25417 WITH SCORE 25532.427
AT ITER 4322 NEW BEST:: SOT 148238 SOS 115392 HAS SOPS 57806 HAS SOUS 28320 HAS SOUPS 25412 WITH SCORE 25527.392
AT ITER 4324 NEW BEST:: SOT 148235 SOS 115388 HAS SOPS 57802 HAS SOUS 28311 HAS SOUPS 25403 WITH SCORE 25518.388
AT ITER 4327 NEW BEST:: SOT 148235 SOS 115388 HAS SOPS 57778 HAS SOUS 28287 HAS SOUPS 25379 WITH SCORE 25494.388
AT ITER 4329 NEW BEST:: SOT 148235 SOS 115388 HAS SOPS 57778 HAS SOUS 28285 HAS SOUPS 25377 WITH SCORE 25492.388
AT ITER 4331 NEW BEST:: SOT 148230 SOS 115378 HAS SOPS 57753 HAS SOUS 28275 HAS SOUPS 25367 WITH SCORE 25482.378
AT ITER 4341 NEW BEST:: SOT 148238 SOS 115386 HAS SOPS 57753 HAS SOUS 28271 HAS SOUPS 25363 WITH SCORE 25478.386
AT ITER 4346 NEW BEST:: SOT 148230 SOS 115378 HAS SOPS 57741 HAS SOUS 28259 HAS SOUPS 25345 WITH SCORE 25460.378
AT ITER 4362 NEW BEST:: SOT 148230 SOS 115378 HAS SOPS 57741 HAS SOUS 28230 HAS SOUPS 25316 WITH SCORE 25431.378
AT ITER 4384 NEW BEST:: SOT 148216 SOS 115364 HAS SOPS 57720 HAS SOUS 28216 HAS SOUPS 25302 WITH SCORE 25417.364
AT ITER 4392 NEW BEST:: SOT 148134 SOS 115282 HAS SOPS 57638 HAS SOUS 28202 HAS SOUPS 25288 WITH SCORE 25403.282
AT ITER 4398 NEW BEST:: SOT 148117 SOS 115254 HAS SOPS 57610 HAS SOUS 28167 HAS SOUPS 25253 WITH SCORE 25368.254
AT ITER 4417 NEW BEST:: SOT 148095 SOS 115232 HAS SOPS 57577 HAS SOUS 28124 HAS SOUPS 25210 WITH SCORE 25325.232
AT ITER 4422 NEW BEST:: SOT 148073 SOS 115076 HAS SOPS 57441 HAS SOUS 27945 HAS SOUPS 25031 WITH SCORE 25146.076
AT ITER 4427 NEW BEST:: SOT 148071 SOS 115074 HAS SOPS 57439 HAS SOUS 27943 HAS SOUPS 25029 WITH SCORE 25144.074
AT ITER 4433 NEW BEST:: SOT 148071 SOS 115074 HAS SOPS 57439 HAS SOUS 27942 HAS SOUPS 25028 WITH SCORE 25143.074
AT ITER 4444 NEW BEST:: SOT 148067 SOS 115070 HAS SOPS 57433 HAS SOUS 27926 HAS SOUPS 25012 WITH SCORE 25127.07
AT ITER 4449 NEW BEST:: SOT 148041 SOS 115044 HAS SOPS 57401 HAS SOUS 27887 HAS SOUPS 24973 WITH SCORE 25088.044
AT ITER 4452 NEW BEST:: SOT 148009 SOS 115012 HAS SOPS 57337 HAS SOUS 27833 HAS SOUPS 24909 WITH SCORE 25024.012
AT ITER 4461 NEW BEST:: SOT 148005 SOS 115008 HAS SOPS 57331 HAS SOUS 27826 HAS SOUPS 24902 WITH SCORE 25017.008
AT ITER 4490 NEW BEST:: SOT 147989 SOS 114992 HAS SOPS 57294 HAS SOUS 27797 HAS SOUPS 24873 WITH SCORE 24987.992
AT ITER 4500 NEW BEST:: SOT 147987 SOS 114990 HAS SOPS 57291 HAS SOUS 27778 HAS SOUPS 24854 WITH SCORE 24968.99
AT ITER 4511 NEW BEST:: SOT 148023 SOS 114783 HAS SOPS 57101 HAS SOUS 27772 HAS SOUPS 24848 WITH SCORE 24962.783
AT ITER 4524 NEW BEST:: SOT 148015 SOS 114775 HAS SOPS 57089 HAS SOUS 27760 HAS SOUPS 24836 WITH SCORE 24950.775
AT ITER 4526 NEW BEST:: SOT 148011 SOS 114769 HAS SOPS 57083 HAS SOUS 27756 HAS SOUPS 24832 WITH SCORE 24946.769
AT ITER 4529 NEW BEST:: SOT 147995 SOS 114745 HAS SOPS 57051 HAS SOUS 27732 HAS SOUPS 24808 WITH SCORE 24922.745
AT ITER 4530 NEW BEST:: SOT 147767 SOS 116529 HAS SOPS 57341 HAS SOUS 27749 HAS SOUPS 24789 WITH SCORE 24905.529
AT ITER 4554 NEW BEST:: SOT 147765 SOS 116527 HAS SOPS 57337 HAS SOUS 27724 HAS SOUPS 24763 WITH SCORE 24879.527
AT ITER 4561 NEW BEST:: SOT 147735 SOS 116497 HAS SOPS 57292 HAS SOUS 27693 HAS SOUPS 24732 WITH SCORE 24848.497
AT ITER 4570 NEW BEST:: SOT 147741 SOS 116501 HAS SOPS 57280 HAS SOUS 27683 HAS SOUPS 24722 WITH SCORE 24838.501
AT ITER 4592 NEW BEST:: SOT 147714 SOS 116460 HAS SOPS 57237 HAS SOUS 27668 HAS SOUPS 24707 WITH SCORE 24823.46
AT ITER 4604 NEW BEST:: SOT 147714 SOS 116460 HAS SOPS 57237 HAS SOUS 27648 HAS SOUPS 24687 WITH SCORE 24803.46
AT ITER 4618 NEW BEST:: SOT 147704 SOS 116450 HAS SOPS 57162 HAS SOUS 27579 HAS SOUPS 24618 WITH SCORE 24734.45
AT ITER 4622 NEW BEST:: SOT 147644 SOS 116390 HAS SOPS 57127 HAS SOUS 27539 HAS SOUPS 24578 WITH SCORE 24694.39
AT ITER 4624 NEW BEST:: SOT 147573 SOS 116987 HAS SOPS 57304 HAS SOUS 27528 HAS SOUPS 24555 WITH SCORE 24671.987
AT ITER 4652 NEW BEST:: SOT 147575 SOS 116989 HAS SOPS 57307 HAS SOUS 27526 HAS SOUPS 24553 WITH SCORE 24669.989
AT ITER 4662 NEW BEST:: SOT 147495 SOS 116909 HAS SOPS 57187 HAS SOUS 27406 HAS SOUPS 24433 WITH SCORE 24549.909
AT ITER 4697 NEW BEST:: SOT 147487 SOS 116901 HAS SOPS 57175 HAS SOUS 27401 HAS SOUPS 24428 WITH SCORE 24544.901
AT ITER 4718 NEW BEST:: SOT 147487 SOS 116901 HAS SOPS 57175 HAS SOUS 27398 HAS SOUPS 24425 WITH SCORE 24541.901
AT ITER 4749 NEW BEST:: SOT 147453 SOS 116854 HAS SOPS 57115 HAS SOUS 27375 HAS SOUPS 24402 WITH SCORE 24518.854
AT ITER 4758 NEW BEST:: SOT 147453 SOS 116854 HAS SOPS 57115 HAS SOUS 27363 HAS SOUPS 24390 WITH SCORE 24506.854
AT ITER 4766 NEW BEST:: SOT 147449 SOS 116850 HAS SOPS 57109 HAS SOUS 27357 HAS SOUPS 24384 WITH SCORE 24500.85
AT ITER 4778 NEW BEST:: SOT 147455 SOS 116856 HAS SOPS 57082 HAS SOUS 27339 HAS SOUPS 24366 WITH SCORE 24482.856
AT ITER 4779 NEW BEST:: SOT 147435 SOS 116836 HAS SOPS 57053 HAS SOUS 27309 HAS SOUPS 24336 WITH SCORE 24452.836
AT ITER 4808 NEW BEST:: SOT 147425 SOS 116826 HAS SOPS 57038 HAS SOUS 27304 HAS SOUPS 24331 WITH SCORE 24447.826
AT ITER 4835 NEW BEST:: SOT 147421 SOS 116811 HAS SOPS 56992 HAS SOUS 27298 HAS SOUPS 24325 WITH SCORE 24441.811
AT ITER 4842 NEW BEST:: SOT 147359 SOS 116749 HAS SOPS 56899 HAS SOUS 27205 HAS SOUPS 24232 WITH SCORE 24348.749
AT ITER 4855 NEW BEST:: SOT 147305 SOS 116695 HAS SOPS 56800 HAS SOUS 27178 HAS SOUPS 24187 WITH SCORE 24303.695
AT ITER 4858 NEW BEST:: SOT 147285 SOS 116675 HAS SOPS 56770 HAS SOUS 27117 HAS SOUPS 24126 WITH SCORE 24242.675
AT ITER 4860 NEW BEST:: SOT 147285 SOS 116675 HAS SOPS 56770 HAS SOUS 27094 HAS SOUPS 24103 WITH SCORE 24219.675
AT ITER 4889 NEW BEST:: SOT 147289 SOS 116679 HAS SOPS 56751 HAS SOUS 27073 HAS SOUPS 24082 WITH SCORE 24198.679
AT ITER 4904 NEW BEST:: SOT 147267 SOS 116657 HAS SOPS 56718 HAS SOUS 27028 HAS SOUPS 24037 WITH SCORE 24153.657
AT ITER 4916 NEW BEST:: SOT 147177 SOS 116567 HAS SOPS 56659 HAS SOUS 26947 HAS SOUPS 23956 WITH SCORE 24072.567
AT ITER 4978 NEW BEST:: SOT 147101 SOS 116491 HAS SOPS 56545 HAS SOUS 26846 HAS SOUPS 23855 WITH SCORE 23971.491
AT ITER 4980 NEW BEST:: SOT 147087 SOS 116477 HAS SOPS 56524 HAS SOUS 26829 HAS SOUPS 23838 WITH SCORE 23954.477
AT ITER 4994 NEW BEST:: SOT 147099 SOS 116489 HAS SOPS 56542 HAS SOUS 26801 HAS SOUPS 23810 WITH SCORE 23926.489
AT ITER 5026 NEW BEST:: SOT 147023 SOS 116413 HAS SOPS 56505 HAS SOUS 26750 HAS SOUPS 23759 WITH SCORE 23875.413
AT ITER 5047 NEW BEST:: SOT 147064 SOS 116454 HAS SOPS 56430 HAS SOUS 26710 HAS SOUPS 23719 WITH SCORE 23835.454
AT ITER 5051 NEW BEST:: SOT 147036 SOS 116432 HAS SOPS 56382 HAS SOUS 26670 HAS SOUPS 23679 WITH SCORE 23795.432
AT ITER 5057 NEW BEST:: SOT 147165 SOS 114703 HAS SOPS 55739 HAS SOUS 26592 HAS SOUPS 23628 WITH SCORE 23742.703
AT ITER 5072 NEW BEST:: SOT 147149 SOS 114687 HAS SOPS 55715 HAS SOUS 26560 HAS SOUPS 23596 WITH SCORE 23710.687
AT ITER 5104 NEW BEST:: SOT 147135 SOS 114648 HAS SOPS 55687 HAS SOUS 26534 HAS SOUPS 23581 WITH SCORE 23695.648
AT ITER 5107 NEW BEST:: SOT 147063 SOS 114576 HAS SOPS 55541 HAS SOUS 26441 HAS SOUPS 23483 WITH SCORE 23597.576
AT ITER 5118 NEW BEST:: SOT 146997 SOS 114510 HAS SOPS 55442 HAS SOUS 26297 HAS SOUPS 23339 WITH SCORE 23453.51
AT ITER 5128 NEW BEST:: SOT 146994 SOS 114507 HAS SOPS 55448 HAS SOUS 26294 HAS SOUPS 23336 WITH SCORE 23450.507
AT ITER 5158 NEW BEST:: SOT 147042 SOS 114555 HAS SOPS 55352 HAS SOUS 26240 HAS SOUPS 23282 WITH SCORE 23396.555
AT ITER 5186 NEW BEST:: SOT 146994 SOS 114507 HAS SOPS 55376 HAS SOUS 26240 HAS SOUPS 23282 WITH SCORE 23396.507
AT ITER 5222 NEW BEST:: SOT 146986 SOS 114499 HAS SOPS 55364 HAS SOUS 26228 HAS SOUPS 23270 WITH SCORE 23384.499
AT ITER 5234 NEW BEST:: SOT 146982 SOS 114493 HAS SOPS 55356 HAS SOUS 26224 HAS SOUPS 23266 WITH SCORE 23380.493
AT ITER 5238 NEW BEST:: SOT 146938 SOS 114172 HAS SOPS 54932 HAS SOUS 26159 HAS SOUPS 23201 WITH SCORE 23315.172
AT ITER 5266 NEW BEST:: SOT 146894 SOS 114128 HAS SOPS 54844 HAS SOUS 26067 HAS SOUPS 23109 WITH SCORE 23223.128
AT ITER 5268 NEW BEST:: SOT 146888 SOS 114122 HAS SOPS 54841 HAS SOUS 26067 HAS SOUPS 23109 WITH SCORE 23223.122
AT ITER 5281 NEW BEST:: SOT 146879 SOS 114110 HAS SOPS 54823 HAS SOUS 26060 HAS SOUPS 23096 WITH SCORE 23210.11
AT ITER 5297 NEW BEST:: SOT 146865 SOS 114096 HAS SOPS 54742 HAS SOUS 26030 HAS SOUPS 23054 WITH SCORE 23168.096
AT ITER 5323 NEW BEST:: SOT 146657 SOS 116384 HAS SOPS 55524 HAS SOUS 26048 HAS SOUPS 23035 WITH SCORE 23151.384
AT ITER 5327 NEW BEST:: SOT 146657 SOS 116384 HAS SOPS 55524 HAS SOUS 26028 HAS SOUPS 23015 WITH SCORE 23131.384
AT ITER 5410 NEW BEST:: SOT 146645 SOS 116372 HAS SOPS 55506 HAS SOUS 26010 HAS SOUPS 22997 WITH SCORE 23113.372
AT ITER 5416 NEW BEST:: SOT 146707 SOS 116354 HAS SOPS 55532 HAS SOUS 26008 HAS SOUPS 22995 WITH SCORE 23111.354
AT ITER 5434 NEW BEST:: SOT 146704 SOS 116351 HAS SOPS 55517 HAS SOUS 25993 HAS SOUPS 22980 WITH SCORE 23096.351
AT ITER 5436 NEW BEST:: SOT 146696 SOS 116343 HAS SOPS 55505 HAS SOUS 25981 HAS SOUPS 22968 WITH SCORE 23084.343
AT ITER 5437 NEW BEST:: SOT 146666 SOS 116300 HAS SOPS 55470 HAS SOUS 25886 HAS SOUPS 22873 WITH SCORE 22989.3
AT ITER 5449 NEW BEST:: SOT 146644 SOS 116420 HAS SOPS 55691 HAS SOUS 25864 HAS SOUPS 22851 WITH SCORE 22967.42
AT ITER 5455 NEW BEST:: SOT 146644 SOS 116420 HAS SOPS 55687 HAS SOUS 25860 HAS SOUPS 22847 WITH SCORE 22963.42
AT ITER 5484 NEW BEST:: SOT 146666 SOS 116529 HAS SOPS 55785 HAS SOUS 25860 HAS SOUPS 22836 WITH SCORE 22952.529
AT ITER 5496 NEW BEST:: SOT 146642 SOS 116505 HAS SOPS 55749 HAS SOUS 25826 HAS SOUPS 22802 WITH SCORE 22918.505
AT ITER 5503 NEW BEST:: SOT 146642 SOS 116505 HAS SOPS 55749 HAS SOUS 25806 HAS SOUPS 22782 WITH SCORE 22898.505
AT ITER 5521 NEW BEST:: SOT 146621 SOS 116484 HAS SOPS 55751 HAS SOUS 25796 HAS SOUPS 22772 WITH SCORE 22888.484
AT ITER 5550 NEW BEST:: SOT 146615 SOS 116478 HAS SOPS 55730 HAS SOUS 25784 HAS SOUPS 22757 WITH SCORE 22873.478
AT ITER 5555 NEW BEST:: SOT 146595 SOS 116458 HAS SOPS 55700 HAS SOUS 25744 HAS SOUPS 22717 WITH SCORE 22833.458
AT ITER 5580 NEW BEST:: SOT 146595 SOS 116458 HAS SOPS 55700 HAS SOUS 25738 HAS SOUPS 22711 WITH SCORE 22827.458
AT ITER 5586 NEW BEST:: SOT 146539 SOS 116402 HAS SOPS 55616 HAS SOUS 25651 HAS SOUPS 22624 WITH SCORE 22740.402
AT ITER 5611 NEW BEST:: SOT 146449 SOS 116312 HAS SOPS 55481 HAS SOUS 25533 HAS SOUPS 22506 WITH SCORE 22622.312
AT ITER 5614 NEW BEST:: SOT 146451 SOS 116314 HAS SOPS 55485 HAS SOUS 25531 HAS SOUPS 22504 WITH SCORE 22620.314
AT ITER 5617 NEW BEST:: SOT 146454 SOS 116305 HAS SOPS 55476 HAS SOUS 25507 HAS SOUPS 22480 WITH SCORE 22596.305
AT ITER 5620 NEW BEST:: SOT 146444 SOS 116295 HAS SOPS 55476 HAS SOUS 25502 HAS SOUPS 22475 WITH SCORE 22591.295
AT ITER 5630 NEW BEST:: SOT 146442 SOS 116293 HAS SOPS 55477 HAS SOUS 25502 HAS SOUPS 22475 WITH SCORE 22591.293
AT ITER 5642 NEW BEST:: SOT 146362 SOS 116213 HAS SOPS 55317 HAS SOUS 25374 HAS SOUPS 22347 WITH SCORE 22463.213
AT ITER 5691 NEW BEST:: SOT 146344 SOS 116195 HAS SOPS 55334 HAS SOUS 25348 HAS SOUPS 22340 WITH SCORE 22456.195
AT ITER 5722 NEW BEST:: SOT 146342 SOS 116193 HAS SOPS 55331 HAS SOUS 25316 HAS SOUPS 22308 WITH SCORE 22424.193
AT ITER 5749 NEW BEST:: SOT 146315 SOS 116166 HAS SOPS 55292 HAS SOUS 25301 HAS SOUPS 22293 WITH SCORE 22409.166
AT ITER 5809 NEW BEST:: SOT 146311 SOS 116162 HAS SOPS 55286 HAS SOUS 25293 HAS SOUPS 22285 WITH SCORE 22401.162
AT ITER 5892 NEW BEST:: SOT 146309 SOS 116160 HAS SOPS 55282 HAS SOUS 25290 HAS SOUPS 22282 WITH SCORE 22398.16
AT ITER 5908 NEW BEST:: SOT 146202 SOS 116206 HAS SOPS 55290 HAS SOUS 25277 HAS SOUPS 22269 WITH SCORE 22385.206
AT ITER 5931 NEW BEST:: SOT 146196 SOS 116200 HAS SOPS 55281 HAS SOUS 25268 HAS SOUPS 22260 WITH SCORE 22376.2
AT ITER 5940 NEW BEST:: SOT 146192 SOS 116196 HAS SOPS 55267 HAS SOUS 25260 HAS SOUPS 22250 WITH SCORE 22366.196
AT ITER 5965 NEW BEST:: SOT 146192 SOS 116196 HAS SOPS 55267 HAS SOUS 25252 HAS SOUPS 22242 WITH SCORE 22358.196
AT ITER 5984 NEW BEST:: SOT 146172 SOS 116176 HAS SOPS 55237 HAS SOUS 25232 HAS SOUPS 22222 WITH SCORE 22338.176
AT ITER 6022 NEW BEST:: SOT 146162 SOS 116166 HAS SOPS 55266 HAS SOUS 25217 HAS SOUPS 22207 WITH SCORE 22323.166
AT ITER 6025 NEW BEST:: SOT 146155 SOS 116219 HAS SOPS 55280 HAS SOUS 25216 HAS SOUPS 22205 WITH SCORE 22321.219
AT ITER 6027 NEW BEST:: SOT 146221 SOS 116285 HAS SOPS 55191 HAS SOUS 25168 HAS SOUPS 22157 WITH SCORE 22273.285
AT ITER 6030 NEW BEST:: SOT 146179 SOS 116243 HAS SOPS 55128 HAS SOUS 25084 HAS SOUPS 22073 WITH SCORE 22189.243
AT ITER 6033 NEW BEST:: SOT 146175 SOS 116239 HAS SOPS 55123 HAS SOUS 25076 HAS SOUPS 22065 WITH SCORE 22181.239
AT ITER 6046 NEW BEST:: SOT 146252 SOS 115289 HAS SOPS 54773 HAS SOUS 25048 HAS SOUPS 22052 WITH SCORE 22167.289
AT ITER 6050 NEW BEST:: SOT 146348 SOS 115385 HAS SOPS 54771 HAS SOUS 25049 HAS SOUPS 22049 WITH SCORE 22164.385
AT ITER 6059 NEW BEST:: SOT 146244 SOS 115224 HAS SOPS 54565 HAS SOUS 24874 HAS SOUPS 21874 WITH SCORE 21989.224
AT ITER 6069 NEW BEST:: SOT 146231 SOS 115196 HAS SOPS 54504 HAS SOUS 24873 HAS SOUPS 21873 WITH SCORE 21988.196
AT ITER 6097 NEW BEST:: SOT 146231 SOS 115196 HAS SOPS 54504 HAS SOUS 24868 HAS SOUPS 21868 WITH SCORE 21983.196
AT ITER 6106 NEW BEST:: SOT 146221 SOS 115186 HAS SOPS 54503 HAS SOUS 24867 HAS SOUPS 21867 WITH SCORE 21982.186
AT ITER 6128 NEW BEST:: SOT 146177 SOS 115142 HAS SOPS 54396 HAS SOUS 24801 HAS SOUPS 21801 WITH SCORE 21916.142
AT ITER 6182 NEW BEST:: SOT 146121 SOS 115086 HAS SOPS 54312 HAS SOUS 24697 HAS SOUPS 21697 WITH SCORE 21812.086
AT ITER 6184 NEW BEST:: SOT 146109 SOS 115072 HAS SOPS 54320 HAS SOUS 24630 HAS SOUPS 21630 WITH SCORE 21745.072
AT ITER 6191 NEW BEST:: SOT 146081 SOS 115044 HAS SOPS 54264 HAS SOUS 24581 HAS SOUPS 21581 WITH SCORE 21696.044
AT ITER 6194 NEW BEST:: SOT 146081 SOS 115044 HAS SOPS 54264 HAS SOUS 24562 HAS SOUPS 21562 WITH SCORE 21677.044
AT ITER 6202 NEW BEST:: SOT 146077 SOS 115040 HAS SOPS 54261 HAS SOUS 24557 HAS SOUPS 21558 WITH SCORE 21673.04
AT ITER 6207 NEW BEST:: SOT 145983 SOS 114946 HAS SOPS 54120 HAS SOUS 24346 HAS SOUPS 21347 WITH SCORE 21461.946
AT ITER 6222 NEW BEST:: SOT 146028 SOS 114991 HAS SOPS 54165 HAS SOUS 24268 HAS SOUPS 21269 WITH SCORE 21383.991
AT ITER 6237 NEW BEST:: SOT 146028 SOS 114991 HAS SOPS 54165 HAS SOUS 24250 HAS SOUPS 21251 WITH SCORE 21365.991
AT ITER 6238 NEW BEST:: SOT 145974 SOS 115032 HAS SOPS 54214 HAS SOUS 24232 HAS SOUPS 21243 WITH SCORE 21358.032
AT ITER 6246 NEW BEST:: SOT 145822 SOS 116862 HAS SOPS 54895 HAS SOUS 24250 HAS SOUPS 21232 WITH SCORE 21348.862
AT ITER 6279 NEW BEST:: SOT 145818 SOS 116858 HAS SOPS 54829 HAS SOUS 24254 HAS SOUPS 21211 WITH SCORE 21327.858
AT ITER 6301 NEW BEST:: SOT 145780 SOS 116820 HAS SOPS 54848 HAS SOUS 24254 HAS SOUPS 21211 WITH SCORE 21327.82
AT ITER 6318 NEW BEST:: SOT 145780 SOS 116820 HAS SOPS 54832 HAS SOUS 24250 HAS SOUPS 21203 WITH SCORE 21319.82
AT ITER 6323 NEW BEST:: SOT 145780 SOS 116820 HAS SOPS 54832 HAS SOUS 24234 HAS SOUPS 21187 WITH SCORE 21303.82
AT ITER 6348 NEW BEST:: SOT 145720 SOS 116760 HAS SOPS 54711 HAS SOUS 24136 HAS SOUPS 21089 WITH SCORE 21205.76
AT ITER 6349 NEW BEST:: SOT 145718 SOS 116758 HAS SOPS 54708 HAS SOUS 24132 HAS SOUPS 21085 WITH SCORE 21201.758
AT ITER 6364 NEW BEST:: SOT 145662 SOS 116702 HAS SOPS 54624 HAS SOUS 24048 HAS SOUPS 21001 WITH SCORE 21117.702
AT ITER 6399 NEW BEST:: SOT 145658 SOS 116698 HAS SOPS 54577 HAS SOUS 24003 HAS SOUPS 20956 WITH SCORE 21072.698
AT ITER 6426 NEW BEST:: SOT 145646 SOS 116686 HAS SOPS 54559 HAS SOUS 23985 HAS SOUPS 20938 WITH SCORE 21054.686
AT ITER 6428 NEW BEST:: SOT 145608 SOS 116648 HAS SOPS 54582 HAS SOUS 23968 HAS SOUPS 20921 WITH SCORE 21037.648
AT ITER 6430 NEW BEST:: SOT 145598 SOS 116638 HAS SOPS 54547 HAS SOUS 23938 HAS SOUPS 20891 WITH SCORE 21007.638
AT ITER 6453 NEW BEST:: SOT 145582 SOS 116727 HAS SOPS 54561 HAS SOUS 23935 HAS SOUPS 20886 WITH SCORE 21002.727
AT ITER 6491 NEW BEST:: SOT 145531 SOS 116676 HAS SOPS 54510 HAS SOUS 23829 HAS SOUPS 20780 WITH SCORE 20896.676
AT ITER 6497 NEW BEST:: SOT 145517 SOS 116662 HAS SOPS 54489 HAS SOUS 23808 HAS SOUPS 20759 WITH SCORE 20875.662
AT ITER 6542 NEW BEST:: SOT 145501 SOS 116646 HAS SOPS 54465 HAS SOUS 23776 HAS SOUPS 20727 WITH SCORE 20843.646
AT ITER 6577 NEW BEST:: SOT 145491 SOS 116636 HAS SOPS 54450 HAS SOUS 23744 HAS SOUPS 20695 WITH SCORE 20811.636
AT ITER 6588 NEW BEST:: SOT 145475 SOS 116620 HAS SOPS 54418 HAS SOUS 23712 HAS SOUPS 20663 WITH SCORE 20779.62
AT ITER 6606 NEW BEST:: SOT 145421 SOS 116566 HAS SOPS 54309 HAS SOUS 23631 HAS SOUPS 20582 WITH SCORE 20698.566
AT ITER 6619 NEW BEST:: SOT 145407 SOS 116552 HAS SOPS 54288 HAS SOUS 23619 HAS SOUPS 20570 WITH SCORE 20686.552
AT ITER 6625 NEW BEST:: SOT 145395 SOS 116540 HAS SOPS 54246 HAS SOUS 23598 HAS SOUPS 20536 WITH SCORE 20652.54
AT ITER 6638 NEW BEST:: SOT 145339 SOS 116484 HAS SOPS 54162 HAS SOUS 23486 HAS SOUPS 20424 WITH SCORE 20540.484
AT ITER 6691 NEW BEST:: SOT 145319 SOS 116464 HAS SOPS 54132 HAS SOUS 23458 HAS SOUPS 20396 WITH SCORE 20512.464
AT ITER 6754 NEW BEST:: SOT 145320 SOS 116466 HAS SOPS 54134 HAS SOUS 23454 HAS SOUPS 20392 WITH SCORE 20508.466
AT ITER 6766 NEW BEST:: SOT 145320 SOS 116466 HAS SOPS 54134 HAS SOUS 23450 HAS SOUPS 20388 WITH SCORE 20504.466
AT ITER 6773 NEW BEST:: SOT 145316 SOS 116462 HAS SOPS 54137 HAS SOUS 23438 HAS SOUPS 20376 WITH SCORE 20492.462
AT ITER 6775 NEW BEST:: SOT 145306 SOS 116452 HAS SOPS 54122 HAS SOUS 23423 HAS SOUPS 20361 WITH SCORE 20477.452
AT ITER 6792 NEW BEST:: SOT 145300 SOS 116446 HAS SOPS 54114 HAS SOUS 23406 HAS SOUPS 20344 WITH SCORE 20460.446
AT ITER 6801 NEW BEST:: SOT 145288 SOS 116371 HAS SOPS 53976 HAS SOUS 23389 HAS SOUPS 20327 WITH SCORE 20443.371
AT ITER 6838 NEW BEST:: SOT 145168 SOS 116251 HAS SOPS 53796 HAS SOUS 23192 HAS SOUPS 20130 WITH SCORE 20246.251
AT ITER 6841 NEW BEST:: SOT 145154 SOS 116237 HAS SOPS 53775 HAS SOUS 23166 HAS SOUPS 20104 WITH SCORE 20220.237
AT ITER 6862 NEW BEST:: SOT 145124 SOS 116217 HAS SOPS 53745 HAS SOUS 23146 HAS SOUPS 20084 WITH SCORE 20200.217
AT ITER 6900 NEW BEST:: SOT 145120 SOS 116213 HAS SOPS 53747 HAS SOUS 23146 HAS SOUPS 20084 WITH SCORE 20200.213
AT ITER 6906 NEW BEST:: SOT 145106 SOS 116199 HAS SOPS 53719 HAS SOUS 23125 HAS SOUPS 20063 WITH SCORE 20179.199
AT ITER 6926 NEW BEST:: SOT 145110 SOS 116203 HAS SOPS 53725 HAS SOUS 23124 HAS SOUPS 20062 WITH SCORE 20178.203
AT ITER 6941 NEW BEST:: SOT 145115 SOS 116208 HAS SOPS 53708 HAS SOUS 23111 HAS SOUPS 20049 WITH SCORE 20165.208
AT ITER 6943 NEW BEST:: SOT 145111 SOS 116204 HAS SOPS 53702 HAS SOUS 23103 HAS SOUPS 20041 WITH SCORE 20157.204
AT ITER 6950 NEW BEST:: SOT 145057 SOS 116150 HAS SOPS 53621 HAS SOUS 23057 HAS SOUPS 19995 WITH SCORE 20111.15
AT ITER 7055 NEW BEST:: SOT 145045 SOS 116138 HAS SOPS 53596 HAS SOUS 23039 HAS SOUPS 19977 WITH SCORE 20093.138
AT ITER 7093 NEW BEST:: SOT 145041 SOS 116134 HAS SOPS 53593 HAS SOUS 23036 HAS SOUPS 19974 WITH SCORE 20090.134
AT ITER 7103 NEW BEST:: SOT 145026 SOS 116302 HAS SOPS 53641 HAS SOUS 23036 HAS SOUPS 19971 WITH SCORE 20087.302
AT ITER 7136 NEW BEST:: SOT 145014 SOS 116290 HAS SOPS 53617 HAS SOUS 22995 HAS SOUPS 19930 WITH SCORE 20046.29
AT ITER 7140 NEW BEST:: SOT 145008 SOS 116284 HAS SOPS 53608 HAS SOUS 22978 HAS SOUPS 19913 WITH SCORE 20029.284
AT ITER 7178 NEW BEST:: SOT 144944 SOS 116220 HAS SOPS 53512 HAS SOUS 22852 HAS SOUPS 19787 WITH SCORE 19903.22
AT ITER 7182 NEW BEST:: SOT 144932 SOS 116208 HAS SOPS 53488 HAS SOUS 22838 HAS SOUPS 19773 WITH SCORE 19889.208
AT ITER 7189 NEW BEST:: SOT 144908 SOS 116184 HAS SOPS 53452 HAS SOUS 22794 HAS SOUPS 19729 WITH SCORE 19845.184
AT ITER 7209 NEW BEST:: SOT 144932 SOS 116208 HAS SOPS 53434 HAS SOUS 22782 HAS SOUPS 19717 WITH SCORE 19833.208
AT ITER 7242 NEW BEST:: SOT 144942 SOS 115942 HAS SOPS 53337 HAS SOUS 22773 HAS SOUPS 19712 WITH SCORE 19827.942
AT ITER 7249 NEW BEST:: SOT 144890 SOS 115890 HAS SOPS 53363 HAS SOUS 22773 HAS SOUPS 19712 WITH SCORE 19827.89
AT ITER 7361 NEW BEST:: SOT 144885 SOS 115885 HAS SOPS 53392 HAS SOUS 22773 HAS SOUPS 19712 WITH SCORE 19827.885
AT ITER 7374 NEW BEST:: SOT 144883 SOS 115747 HAS SOPS 53168 HAS SOUS 22754 HAS SOUPS 19693 WITH SCORE 19808.747
AT ITER 7398 NEW BEST:: SOT 144904 SOS 115285 HAS SOPS 53014 HAS SOUS 22733 HAS SOUPS 19679 WITH SCORE 19794.285
AT ITER 7415 NEW BEST:: SOT 144902 SOS 115283 HAS SOPS 53010 HAS SOUS 22723 HAS SOUPS 19668 WITH SCORE 19783.283
AT ITER 7503 NEW BEST:: SOT 144901 SOS 115294 HAS SOPS 53021 HAS SOUS 22721 HAS SOUPS 19666 WITH SCORE 19781.294
AT ITER 7505 NEW BEST:: SOT 144901 SOS 115294 HAS SOPS 53021 HAS SOUS 22717 HAS SOUPS 19662 WITH SCORE 19777.294
AT ITER 7512 NEW BEST:: SOT 144859 SOS 115231 HAS SOPS 52916 HAS SOUS 22640 HAS SOUPS 19585 WITH SCORE 19700.231
AT ITER 7532 NEW BEST:: SOT 144799 SOS 115171 HAS SOPS 52869 HAS SOUS 22582 HAS SOUPS 19527 WITH SCORE 19642.171
AT ITER 7564 NEW BEST:: SOT 144789 SOS 115161 HAS SOPS 52849 HAS SOUS 22570 HAS SOUPS 19515 WITH SCORE 19630.161
AT ITER 7623 NEW BEST:: SOT 144777 SOS 115149 HAS SOPS 52831 HAS SOUS 22563 HAS SOUPS 19508 WITH SCORE 19623.149
AT ITER 7684 NEW BEST:: SOT 144741 SOS 115113 HAS SOPS 52777 HAS SOUS 22506 HAS SOUPS 19451 WITH SCORE 19566.113
AT ITER 7714 NEW BEST:: SOT 144710 SOS 115005 HAS SOPS 52565 HAS SOUS 22424 HAS SOUPS 19369 WITH SCORE 19484.005
AT ITER 7748 NEW BEST:: SOT 144694 SOS 114909 HAS SOPS 52469 HAS SOUS 22400 HAS SOUPS 19345 WITH SCORE 19459.909
AT ITER 7847 NEW BEST:: SOT 144682 SOS 114897 HAS SOPS 52451 HAS SOUS 22382 HAS SOUPS 19327 WITH SCORE 19441.897
AT ITER 7855 NEW BEST:: SOT 144692 SOS 114907 HAS SOPS 52376 HAS SOUS 22327 HAS SOUPS 19272 WITH SCORE 19386.907
AT ITER 7888 NEW BEST:: SOT 144686 SOS 114901 HAS SOPS 52362 HAS SOUS 22317 HAS SOUPS 19262 WITH SCORE 19376.901
AT ITER 7894 NEW BEST:: SOT 144678 SOS 114893 HAS SOPS 52366 HAS SOUS 22317 HAS SOUPS 19262 WITH SCORE 19376.893
AT ITER 7945 NEW BEST:: SOT 144638 SOS 114853 HAS SOPS 52326 HAS SOUS 22303 HAS SOUPS 19248 WITH SCORE 19362.853
AT ITER 7953 NEW BEST:: SOT 144662 SOS 114877 HAS SOPS 52320 HAS SOUS 22297 HAS SOUPS 19242 WITH SCORE 19356.877
AT ITER 7963 NEW BEST:: SOT 144660 SOS 114875 HAS SOPS 52317 HAS SOUS 22294 HAS SOUPS 19239 WITH SCORE 19353.875
AT ITER 8029 NEW BEST:: SOT 144652 SOS 114867 HAS SOPS 52305 HAS SOUS 22282 HAS SOUPS 19227 WITH SCORE 19341.867
AT ITER 8041 NEW BEST:: SOT 144618 SOS 114833 HAS SOPS 52254 HAS SOUS 22203 HAS SOUPS 19148 WITH SCORE 19262.833
AT ITER 8046 NEW BEST:: SOT 144618 SOS 114833 HAS SOPS 52254 HAS SOUS 22190 HAS SOUPS 19135 WITH SCORE 19249.833
AT ITER 8095 NEW BEST:: SOT 144572 SOS 114787 HAS SOPS 52185 HAS SOUS 22096 HAS SOUPS 19041 WITH SCORE 19155.787
AT ITER 8106 NEW BEST:: SOT 144576 SOS 114791 HAS SOPS 52147 HAS SOUS 22050 HAS SOUPS 18995 WITH SCORE 19109.791
AT ITER 8130 NEW BEST:: SOT 144550 SOS 114765 HAS SOPS 52095 HAS SOUS 22000 HAS SOUPS 18945 WITH SCORE 19059.765
AT ITER 8170 NEW BEST:: SOT 144512 SOS 114727 HAS SOPS 52038 HAS SOUS 21924 HAS SOUPS 18869 WITH SCORE 18983.727
AT ITER 8194 NEW BEST:: SOT 144494 SOS 114709 HAS SOPS 52035 HAS SOUS 21915 HAS SOUPS 18860 WITH SCORE 18974.709
AT ITER 8247 NEW BEST:: SOT 144480 SOS 114695 HAS SOPS 52014 HAS SOUS 21898 HAS SOUPS 18843 WITH SCORE 18957.695
AT ITER 8277 NEW BEST:: SOT 144468 SOS 114683 HAS SOPS 51996 HAS SOUS 21877 HAS SOUPS 18822 WITH SCORE 18936.683
AT ITER 8321 NEW BEST:: SOT 144468 SOS 114683 HAS SOPS 51996 HAS SOUS 21874 HAS SOUPS 18819 WITH SCORE 18933.683
AT ITER 8324 NEW BEST:: SOT 144450 SOS 114665 HAS SOPS 51978 HAS SOUS 21813 HAS SOUPS 18758 WITH SCORE 18872.665
AT ITER 8339 NEW BEST:: SOT 144440 SOS 114655 HAS SOPS 51963 HAS SOUS 21794 HAS SOUPS 18739 WITH SCORE 18853.655
AT ITER 8373 NEW BEST:: SOT 144390 SOS 114605 HAS SOPS 51888 HAS SOUS 21695 HAS SOUPS 18640 WITH SCORE 18754.605
AT ITER 8391 NEW BEST:: SOT 144364 SOS 114579 HAS SOPS 51849 HAS SOUS 21656 HAS SOUPS 18601 WITH SCORE 18715.579
AT ITER 8406 NEW BEST:: SOT 144356 SOS 114571 HAS SOPS 51837 HAS SOUS 21655 HAS SOUPS 18600 WITH SCORE 18714.571
AT ITER 8432 NEW BEST:: SOT 144350 SOS 114565 HAS SOPS 51776 HAS SOUS 21604 HAS SOUPS 18549 WITH SCORE 18663.565
AT ITER 8433 NEW BEST:: SOT 144324 SOS 114539 HAS SOPS 51724 HAS SOUS 21575 HAS SOUPS 18520 WITH SCORE 18634.539
AT ITER 8447 NEW BEST:: SOT 144298 SOS 114513 HAS SOPS 51685 HAS SOUS 21490 HAS SOUPS 18435 WITH SCORE 18549.513
AT ITER 8452 NEW BEST:: SOT 144298 SOS 114513 HAS SOPS 51685 HAS SOUS 21478 HAS SOUPS 18423 WITH SCORE 18537.513
AT ITER 8458 NEW BEST:: SOT 144298 SOS 114513 HAS SOPS 51685 HAS SOUS 21474 HAS SOUPS 18419 WITH SCORE 18533.513
AT ITER 8517 NEW BEST:: SOT 144292 SOS 114507 HAS SOPS 51673 HAS SOUS 21465 HAS SOUPS 18410 WITH SCORE 18524.507
AT ITER 8579 NEW BEST:: SOT 144282 SOS 114497 HAS SOPS 51658 HAS SOUS 21450 HAS SOUPS 18395 WITH SCORE 18509.497
AT ITER 8582 NEW BEST:: SOT 144312 SOS 114527 HAS SOPS 51563 HAS SOUS 21356 HAS SOUPS 18301 WITH SCORE 18415.527
AT ITER 8633 NEW BEST:: SOT 144256 SOS 114472 HAS SOPS 51489 HAS SOUS 21301 HAS SOUPS 18246 WITH SCORE 18360.472
AT ITER 8655 NEW BEST:: SOT 144254 SOS 114470 HAS SOPS 51485 HAS SOUS 21298 HAS SOUPS 18243 WITH SCORE 18357.47
AT ITER 8666 NEW BEST:: SOT 144274 SOS 114490 HAS SOPS 51437 HAS SOUS 21262 HAS SOUPS 18207 WITH SCORE 18321.49
AT ITER 8702 NEW BEST:: SOT 144232 SOS 114448 HAS SOPS 51407 HAS SOUS 21243 HAS SOUPS 18188 WITH SCORE 18302.448
AT ITER 8776 NEW BEST:: SOT 144228 SOS 114444 HAS SOPS 51401 HAS SOUS 21237 HAS SOUPS 18182 WITH SCORE 18296.444
AT ITER 8803 NEW BEST:: SOT 144218 SOS 114434 HAS SOPS 51386 HAS SOUS 21217 HAS SOUPS 18162 WITH SCORE 18276.434
AT ITER 8848 NEW BEST:: SOT 144224 SOS 114440 HAS SOPS 51300 HAS SOUS 21203 HAS SOUPS 18148 WITH SCORE 18262.44
AT ITER 8849 NEW BEST:: SOT 144212 SOS 114428 HAS SOPS 51298 HAS SOUS 21189 HAS SOUPS 18138 WITH SCORE 18252.428
AT ITER 8854 NEW BEST:: SOT 144212 SOS 114428 HAS SOPS 51298 HAS SOUS 21184 HAS SOUPS 18133 WITH SCORE 18247.428
AT ITER 8926 NEW BEST:: SOT 144208 SOS 114424 HAS SOPS 51295 HAS SOUS 21181 HAS SOUPS 18130 WITH SCORE 18244.424
AT ITER 8935 NEW BEST:: SOT 144202 SOS 114418 HAS SOPS 51286 HAS SOUS 21172 HAS SOUPS 18121 WITH SCORE 18235.418
AT ITER 8936 NEW BEST:: SOT 144200 SOS 114416 HAS SOPS 51301 HAS SOUS 21169 HAS SOUPS 18118 WITH SCORE 18232.416
AT ITER 8955 NEW BEST:: SOT 144170 SOS 114386 HAS SOPS 51256 HAS SOUS 21107 HAS SOUPS 18056 WITH SCORE 18170.386
AT ITER 8977 NEW BEST:: SOT 144080 SOS 114404 HAS SOPS 51208 HAS SOUS 21080 HAS SOUPS 18029 WITH SCORE 18143.404
AT ITER 8980 NEW BEST:: SOT 144074 SOS 114398 HAS SOPS 51196 HAS SOUS 21071 HAS SOUPS 18020 WITH SCORE 18134.398
AT ITER 8984 NEW BEST:: SOT 144076 SOS 114400 HAS SOPS 51183 HAS SOUS 21062 HAS SOUPS 18011 WITH SCORE 18125.4
AT ITER 8994 NEW BEST:: SOT 144060 SOS 114384 HAS SOPS 51159 HAS SOUS 21039 HAS SOUPS 17988 WITH SCORE 18102.384
AT ITER 8997 NEW BEST:: SOT 144058 SOS 114382 HAS SOPS 51159 HAS SOUS 21038 HAS SOUPS 17987 WITH SCORE 18101.382
AT ITER 9010 NEW BEST:: SOT 144050 SOS 114374 HAS SOPS 51147 HAS SOUS 21022 HAS SOUPS 17971 WITH SCORE 18085.374
AT ITER 9012 NEW BEST:: SOT 144030 SOS 114354 HAS SOPS 51117 HAS SOUS 21008 HAS SOUPS 17957 WITH SCORE 18071.354
AT ITER 9042 NEW BEST:: SOT 144030 SOS 114354 HAS SOPS 51117 HAS SOUS 21007 HAS SOUPS 17956 WITH SCORE 18070.354
AT ITER 9043 NEW BEST:: SOT 144030 SOS 114354 HAS SOPS 51115 HAS SOUS 21005 HAS SOUPS 17954 WITH SCORE 18068.354
AT ITER 9072 NEW BEST:: SOT 144000 SOS 114324 HAS SOPS 51114 HAS SOUS 20993 HAS SOUPS 17942 WITH SCORE 18056.324
AT ITER 9074 NEW BEST:: SOT 143962 SOS 114286 HAS SOPS 51105 HAS SOUS 20983 HAS SOUPS 17932 WITH SCORE 18046.286
AT ITER 9075 NEW BEST:: SOT 143964 SOS 114288 HAS SOPS 51108 HAS SOUS 20970 HAS SOUPS 17919 WITH SCORE 18033.288
AT ITER 9080 NEW BEST:: SOT 143964 SOS 114288 HAS SOPS 51108 HAS SOUS 20968 HAS SOUPS 17917 WITH SCORE 18031.288
AT ITER 9081 NEW BEST:: SOT 143963 SOS 114295 HAS SOPS 51114 HAS SOUS 20967 HAS SOUPS 17916 WITH SCORE 18030.295
AT ITER 9123 NEW BEST:: SOT 143961 SOS 114293 HAS SOPS 51110 HAS SOUS 20963 HAS SOUPS 17912 WITH SCORE 18026.293
AT ITER 9144 NEW BEST:: SOT 143955 SOS 114287 HAS SOPS 51101 HAS SOUS 20957 HAS SOUPS 17906 WITH SCORE 18020.287
AT ITER 9157 NEW BEST:: SOT 143953 SOS 114285 HAS SOPS 51098 HAS SOUS 20954 HAS SOUPS 17903 WITH SCORE 18017.285
AT ITER 9175 NEW BEST:: SOT 143965 SOS 114297 HAS SOPS 51110 HAS SOUS 20952 HAS SOUPS 17901 WITH SCORE 18015.297
AT ITER 9186 NEW BEST:: SOT 143904 SOS 114236 HAS SOPS 51116 HAS SOUS 20921 HAS SOUPS 17870 WITH SCORE 17984.236
AT ITER 9211 NEW BEST:: SOT 143876 SOS 114208 HAS SOPS 51081 HAS SOUS 20886 HAS SOUPS 17835 WITH SCORE 17949.208
AT ITER 9228 NEW BEST:: SOT 143843 SOS 114104 HAS SOPS 50891 HAS SOUS 20874 HAS SOUPS 17823 WITH SCORE 17937.104
AT ITER 9284 NEW BEST:: SOT 143839 SOS 114100 HAS SOPS 50887 HAS SOUS 20866 HAS SOUPS 17815 WITH SCORE 17929.1
AT ITER 9330 NEW BEST:: SOT 143845 SOS 114106 HAS SOPS 50887 HAS SOUS 20865 HAS SOUPS 17814 WITH SCORE 17928.106
AT ITER 9356 NEW BEST:: SOT 143837 SOS 114098 HAS SOPS 50875 HAS SOUS 20853 HAS SOUPS 17802 WITH SCORE 17916.098
AT ITER 9364 NEW BEST:: SOT 143837 SOS 114098 HAS SOPS 50875 HAS SOUS 20849 HAS SOUPS 17798 WITH SCORE 17912.098
AT ITER 9409 NEW BEST:: SOT 143837 SOS 114098 HAS SOPS 50875 HAS SOUS 20847 HAS SOUPS 17796 WITH SCORE 17910.098
AT ITER 9422 NEW BEST:: SOT 143821 SOS 114082 HAS SOPS 50851 HAS SOUS 20823 HAS SOUPS 17772 WITH SCORE 17886.082
AT ITER 9475 NEW BEST:: SOT 143820 SOS 114081 HAS SOPS 50849 HAS SOUS 20822 HAS SOUPS 17771 WITH SCORE 17885.081
AT ITER 9537 NEW BEST:: SOT 143804 SOS 114065 HAS SOPS 50825 HAS SOUS 20789 HAS SOUPS 17738 WITH SCORE 17852.065
AT ITER 9560 NEW BEST:: SOT 143802 SOS 114069 HAS SOPS 50829 HAS SOUS 20785 HAS SOUPS 17734 WITH SCORE 17848.069
AT ITER 9580 NEW BEST:: SOT 143798 SOS 114065 HAS SOPS 50829 HAS SOUS 20785 HAS SOUPS 17734 WITH SCORE 17848.065
AT ITER 9616 NEW BEST:: SOT 143798 SOS 114065 HAS SOPS 50829 HAS SOUS 20751 HAS SOUPS 17700 WITH SCORE 17814.065
AT ITER 9624 NEW BEST:: SOT 143781 SOS 114048 HAS SOPS 50831 HAS SOUS 20748 HAS SOUPS 17697 WITH SCORE 17811.048
AT ITER 9652 NEW BEST:: SOT 143765 SOS 113985 HAS SOPS 50756 HAS SOUS 20717 HAS SOUPS 17666 WITH SCORE 17779.985
AT ITER 9681 NEW BEST:: SOT 143756 SOS 114043 HAS SOPS 50814 HAS SOUS 20681 HAS SOUPS 17630 WITH SCORE 17744.043
AT ITER 9767 NEW BEST:: SOT 143732 SOS 114019 HAS SOPS 50779 HAS SOUS 20666 HAS SOUPS 17615 WITH SCORE 17729.019
AT ITER 9771 NEW BEST:: SOT 143706 SOS 113993 HAS SOPS 50792 HAS SOUS 20666 HAS SOUPS 17615 WITH SCORE 17728.993
AT ITER 9878 NEW BEST:: SOT 143702 SOS 113989 HAS SOPS 50786 HAS SOUS 20658 HAS SOUPS 17607 WITH SCORE 17720.989
AT ITER 9889 NEW BEST:: SOT 143710 SOS 113997 HAS SOPS 50750 HAS SOUS 20666 HAS SOUPS 17603 WITH SCORE 17716.997
AT ITER 9919 NEW BEST:: SOT 143754 SOS 114041 HAS SOPS 50711 HAS SOUS 20627 HAS SOUPS 17564 WITH SCORE 17678.041
AT ITER 9950 NEW BEST:: SOT 143754 SOS 114041 HAS SOPS 50711 HAS SOUS 20617 HAS SOUPS 17554 WITH SCORE 17668.041
AT ITER 9976 NEW BEST:: SOT 143716 SOS 114381 HAS SOPS 50805 HAS SOUS 20615 HAS SOUPS 17546 WITH SCORE 17660.381
AT ITER 9977 NEW BEST:: SOT 143714 SOS 114379 HAS SOPS 50802 HAS SOUS 20612 HAS SOUPS 17543 WITH SCORE 17657.379
AT ITER 9978 NEW BEST:: SOT 143708 SOS 114373 HAS SOPS 50793 HAS SOUS 20603 HAS SOUPS 17534 WITH SCORE 17648.373

BK_STOP 1679497422215

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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