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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 9.1K Feb 26 14:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 26 14:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 14:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 14:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.2K Feb 26 14:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 14:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 26 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 29K 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 1679307588392

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

Filename model.pnml
Petri model created: 302 places, 600 transitions, 1928 arcs.
AT ITER 0 NEW BEST:: SOT 148019 SOS 118663 HAS SOPS 118663 HAS SOUS 66778 HAS SOUPS 66778 WITH SCORE 66896.663
AT ITER 3 NEW BEST:: SOT 147852 SOS 118329 HAS SOPS 118329 HAS SOUS 66461 HAS SOUPS 66461 WITH SCORE 66579.329
AT ITER 4 NEW BEST:: SOT 147678 SOS 117981 HAS SOPS 117981 HAS SOUS 66227 HAS SOUPS 66227 WITH SCORE 66344.981
AT ITER 7 NEW BEST:: SOT 147553 SOS 117777 HAS SOPS 117777 HAS SOUS 65655 HAS SOUPS 65655 WITH SCORE 65772.777
AT ITER 9 NEW BEST:: SOT 147503 SOS 117677 HAS SOPS 117677 HAS SOUS 65203 HAS SOUPS 65203 WITH SCORE 65320.677
AT ITER 10 NEW BEST:: SOT 147364 SOS 117470 HAS SOPS 117470 HAS SOUS 64588 HAS SOUPS 64588 WITH SCORE 64705.47
AT ITER 11 NEW BEST:: SOT 147214 SOS 117170 HAS SOPS 117170 HAS SOUS 63831 HAS SOUPS 63831 WITH SCORE 63948.17
AT ITER 16 NEW BEST:: SOT 147180 SOS 117102 HAS SOPS 117102 HAS SOUS 63523 HAS SOUPS 63523 WITH SCORE 63640.102
AT ITER 17 NEW BEST:: SOT 147055 SOS 116971 HAS SOPS 116971 HAS SOUS 63350 HAS SOUPS 63350 WITH SCORE 63466.971
AT ITER 19 NEW BEST:: SOT 146957 SOS 116824 HAS SOPS 116824 HAS SOUS 63014 HAS SOUPS 63014 WITH SCORE 63130.824
AT ITER 22 NEW BEST:: SOT 146957 SOS 116824 HAS SOPS 116824 HAS SOUS 63011 HAS SOUPS 63011 WITH SCORE 63127.824
AT ITER 23 NEW BEST:: SOT 146960 SOS 116831 HAS SOPS 116831 HAS SOUS 62963 HAS SOUPS 62963 WITH SCORE 63079.831
AT ITER 24 NEW BEST:: SOT 146883 SOS 116828 HAS SOPS 116828 HAS SOUS 62675 HAS SOUPS 62675 WITH SCORE 62791.828
AT ITER 28 NEW BEST:: SOT 146726 SOS 116514 HAS SOPS 116514 HAS SOUS 62369 HAS SOUPS 62369 WITH SCORE 62485.514
AT ITER 29 NEW BEST:: SOT 146683 SOS 116471 HAS SOPS 116471 HAS SOUS 62333 HAS SOUPS 62333 WITH SCORE 62449.471
AT ITER 35 NEW BEST:: SOT 146508 SOS 116236 HAS SOPS 116236 HAS SOUS 61745 HAS SOUPS 61745 WITH SCORE 61861.236
AT ITER 37 NEW BEST:: SOT 146453 SOS 116346 HAS SOPS 116346 HAS SOUS 61525 HAS SOUPS 61525 WITH SCORE 61641.346
AT ITER 38 NEW BEST:: SOT 146439 SOS 116318 HAS SOPS 116318 HAS SOUS 61507 HAS SOUPS 61507 WITH SCORE 61623.318
AT ITER 39 NEW BEST:: SOT 146590 SOS 116305 HAS SOPS 116305 HAS SOUS 61303 HAS SOUPS 61303 WITH SCORE 61419.305
AT ITER 41 NEW BEST:: SOT 146452 SOS 112345 HAS SOPS 112345 HAS SOUS 60776 HAS SOUPS 60776 WITH SCORE 60888.345
AT ITER 47 NEW BEST:: SOT 146318 SOS 111847 HAS SOPS 111847 HAS SOUS 60286 HAS SOUPS 60286 WITH SCORE 60397.847
AT ITER 53 NEW BEST:: SOT 146287 SOS 111692 HAS SOPS 111692 HAS SOUS 60193 HAS SOUPS 60193 WITH SCORE 60304.692
AT ITER 55 NEW BEST:: SOT 146254 SOS 111296 HAS SOPS 111296 HAS SOUS 59576 HAS SOUPS 59576 WITH SCORE 59687.296
AT ITER 56 NEW BEST:: SOT 146238 SOS 110994 HAS SOPS 110994 HAS SOUS 59412 HAS SOUPS 59412 WITH SCORE 59522.994
AT ITER 70 NEW BEST:: SOT 146221 SOS 110960 HAS SOPS 110960 HAS SOUS 59127 HAS SOUPS 59127 WITH SCORE 59237.96
AT ITER 72 NEW BEST:: SOT 146221 SOS 110973 HAS SOPS 110973 HAS SOUS 59114 HAS SOUPS 59114 WITH SCORE 59224.973
AT ITER 73 NEW BEST:: SOT 146116 SOS 111023 HAS SOPS 111023 HAS SOUS 58974 HAS SOUPS 58974 WITH SCORE 59085.023
AT ITER 77 NEW BEST:: SOT 146116 SOS 110897 HAS SOPS 110897 HAS SOUS 58974 HAS SOUPS 58974 WITH SCORE 59084.897
AT ITER 78 NEW BEST:: SOT 146116 SOS 110897 HAS SOPS 110897 HAS SOUS 58971 HAS SOUPS 58971 WITH SCORE 59081.897
AT ITER 81 NEW BEST:: SOT 146114 SOS 110893 HAS SOPS 110893 HAS SOUS 58965 HAS SOUPS 58965 WITH SCORE 59075.893
AT ITER 82 NEW BEST:: SOT 146085 SOS 110864 HAS SOPS 110864 HAS SOUS 58849 HAS SOUPS 58849 WITH SCORE 58959.864
AT ITER 87 NEW BEST:: SOT 146108 SOS 110310 HAS SOPS 110310 HAS SOUS 58717 HAS SOUPS 58717 WITH SCORE 58827.31
AT ITER 92 NEW BEST:: SOT 146004 SOS 107441 HAS SOPS 107441 HAS SOUS 57792 HAS SOUPS 57792 WITH SCORE 57899.441
AT ITER 94 NEW BEST:: SOT 146004 SOS 106934 HAS SOPS 106934 HAS SOUS 57691 HAS SOUPS 57691 WITH SCORE 57797.934
AT ITER 95 NEW BEST:: SOT 145864 SOS 106732 HAS SOPS 106732 HAS SOUS 57428 HAS SOUPS 57428 WITH SCORE 57534.732
AT ITER 98 NEW BEST:: SOT 145797 SOS 106822 HAS SOPS 106822 HAS SOUS 57343 HAS SOUPS 57343 WITH SCORE 57449.822
AT ITER 100 NEW BEST:: SOT 145796 SOS 106700 HAS SOPS 106700 HAS SOUS 57281 HAS SOUPS 57281 WITH SCORE 57387.7
AT ITER 102 NEW BEST:: SOT 145757 SOS 106381 HAS SOPS 106381 HAS SOUS 56838 HAS SOUPS 56838 WITH SCORE 56944.381
AT ITER 103 NEW BEST:: SOT 145624 SOS 106016 HAS SOPS 106016 HAS SOUS 56717 HAS SOUPS 56717 WITH SCORE 56823.016
AT ITER 104 NEW BEST:: SOT 145587 SOS 105898 HAS SOPS 105898 HAS SOUS 56627 HAS SOUPS 56627 WITH SCORE 56732.898
AT ITER 105 NEW BEST:: SOT 145568 SOS 105655 HAS SOPS 105655 HAS SOUS 56345 HAS SOUPS 56345 WITH SCORE 56450.655
AT ITER 106 NEW BEST:: SOT 145540 SOS 105599 HAS SOPS 105599 HAS SOUS 56233 HAS SOUPS 56233 WITH SCORE 56338.599
AT ITER 110 NEW BEST:: SOT 145503 SOS 105701 HAS SOPS 105701 HAS SOUS 56196 HAS SOUPS 56196 WITH SCORE 56301.701
AT ITER 111 NEW BEST:: SOT 145503 SOS 105701 HAS SOPS 105701 HAS SOUS 56184 HAS SOUPS 56184 WITH SCORE 56289.701
AT ITER 112 NEW BEST:: SOT 145377 SOS 105220 HAS SOPS 105220 HAS SOUS 55678 HAS SOUPS 55678 WITH SCORE 55783.22
AT ITER 113 NEW BEST:: SOT 145544 SOS 105449 HAS SOPS 105449 HAS SOUS 55487 HAS SOUPS 55487 WITH SCORE 55592.449
AT ITER 120 NEW BEST:: SOT 145500 SOS 105326 HAS SOPS 105326 HAS SOUS 55443 HAS SOUPS 55443 WITH SCORE 55548.326
AT ITER 122 NEW BEST:: SOT 145500 SOS 105326 HAS SOPS 105326 HAS SOUS 55355 HAS SOUPS 55355 WITH SCORE 55460.326
AT ITER 129 NEW BEST:: SOT 145688 SOS 105352 HAS SOPS 105352 HAS SOUS 55276 HAS SOUPS 55276 WITH SCORE 55381.352
AT ITER 130 NEW BEST:: SOT 145536 SOS 104954 HAS SOPS 104954 HAS SOUS 54878 HAS SOUPS 54878 WITH SCORE 54982.954
AT ITER 131 NEW BEST:: SOT 145479 SOS 104582 HAS SOPS 104582 HAS SOUS 54657 HAS SOUPS 54657 WITH SCORE 54761.582
AT ITER 132 NEW BEST:: SOT 145305 SOS 99006 HAS SOPS 99006 HAS SOUS 52279 HAS SOUPS 52279 WITH SCORE 52378.006
AT ITER 134 NEW BEST:: SOT 145327 SOS 99002 HAS SOPS 99002 HAS SOUS 52266 HAS SOUPS 52266 WITH SCORE 52365.002
AT ITER 135 NEW BEST:: SOT 145284 SOS 99088 HAS SOPS 99088 HAS SOUS 52219 HAS SOUPS 52219 WITH SCORE 52318.088
AT ITER 140 NEW BEST:: SOT 145284 SOS 99018 HAS SOPS 99018 HAS SOUS 52205 HAS SOUPS 52205 WITH SCORE 52304.018
AT ITER 143 NEW BEST:: SOT 145223 SOS 98068 HAS SOPS 98068 HAS SOUS 51494 HAS SOUPS 51494 WITH SCORE 51592.068
AT ITER 145 NEW BEST:: SOT 145104 SOS 97517 HAS SOPS 97517 HAS SOUS 51264 HAS SOUPS 51264 WITH SCORE 51361.517
AT ITER 148 NEW BEST:: SOT 127940 SOS 90753 HAS SOPS 90753 HAS SOUS 42394 HAS SOUPS 42394 WITH SCORE 42484.753
AT ITER 151 NEW BEST:: SOT 127899 SOS 90712 HAS SOPS 90712 HAS SOUS 42353 HAS SOUPS 42353 WITH SCORE 42443.712
AT ITER 154 NEW BEST:: SOT 127868 SOS 90628 HAS SOPS 90628 HAS SOUS 42260 HAS SOUPS 42260 WITH SCORE 42350.628
AT ITER 156 NEW BEST:: SOT 127893 SOS 90642 HAS SOPS 90642 HAS SOUS 42054 HAS SOUPS 42054 WITH SCORE 42144.642
AT ITER 158 NEW BEST:: SOT 127863 SOS 90552 HAS SOPS 90552 HAS SOUS 42024 HAS SOUPS 42024 WITH SCORE 42114.552
AT ITER 164 NEW BEST:: SOT 127776 SOS 90465 HAS SOPS 90465 HAS SOUS 42024 HAS SOUPS 42024 WITH SCORE 42114.465
AT ITER 166 NEW BEST:: SOT 127747 SOS 90436 HAS SOPS 90436 HAS SOUS 41985 HAS SOUPS 41985 WITH SCORE 42075.436
AT ITER 170 NEW BEST:: SOT 127599 SOS 90511 HAS SOPS 90511 HAS SOUS 41601 HAS SOUPS 41601 WITH SCORE 41691.511
AT ITER 175 NEW BEST:: SOT 127577 SOS 90487 HAS SOPS 90487 HAS SOUS 41565 HAS SOUPS 41565 WITH SCORE 41655.487
AT ITER 176 NEW BEST:: SOT 127554 SOS 90526 HAS SOPS 90526 HAS SOUS 41438 HAS SOUPS 41438 WITH SCORE 41528.526
AT ITER 178 NEW BEST:: SOT 127511 SOS 90521 HAS SOPS 90521 HAS SOUS 41351 HAS SOUPS 41351 WITH SCORE 41441.521
AT ITER 181 NEW BEST:: SOT 127546 SOS 90332 HAS SOPS 90332 HAS SOUS 41310 HAS SOUPS 41310 WITH SCORE 41400.332
AT ITER 186 NEW BEST:: SOT 127755 SOS 90227 HAS SOPS 90227 HAS SOUS 41135 HAS SOUPS 41135 WITH SCORE 41225.227
AT ITER 189 NEW BEST:: SOT 127750 SOS 90333 HAS SOPS 90333 HAS SOUS 41019 HAS SOUPS 41019 WITH SCORE 41109.333
AT ITER 190 NEW BEST:: SOT 127808 SOS 90372 HAS SOPS 90372 HAS SOUS 40824 HAS SOUPS 40824 WITH SCORE 40914.372
AT ITER 191 NEW BEST:: SOT 127773 SOS 90344 HAS SOPS 90344 HAS SOUS 40813 HAS SOUPS 40813 WITH SCORE 40903.344
AT ITER 192 NEW BEST:: SOT 127636 SOS 90204 HAS SOPS 90204 HAS SOUS 40683 HAS SOUPS 40683 WITH SCORE 40773.204
AT ITER 200 NEW BEST:: SOT 127477 SOS 90004 HAS SOPS 90004 HAS SOUS 40642 HAS SOUPS 40642 WITH SCORE 40732.004
AT ITER 206 NEW BEST:: SOT 127475 SOS 90199 HAS SOPS 90199 HAS SOUS 40571 HAS SOUPS 40571 WITH SCORE 40661.199
AT ITER 208 NEW BEST:: SOT 127167 SOS 89877 HAS SOPS 89877 HAS SOUS 40445 HAS SOUPS 40445 WITH SCORE 40534.877
AT ITER 213 NEW BEST:: SOT 125852 SOS 90660 HAS SOPS 90660 HAS SOUS 39403 HAS SOUPS 39403 WITH SCORE 39493.66
AT ITER 219 NEW BEST:: SOT 125670 SOS 90478 HAS SOPS 90478 HAS SOUS 39226 HAS SOUPS 39226 WITH SCORE 39316.478
AT ITER 223 NEW BEST:: SOT 125494 SOS 90302 HAS SOPS 90302 HAS SOUS 39138 HAS SOUPS 39138 WITH SCORE 39228.302
AT ITER 224 NEW BEST:: SOT 125479 SOS 90230 HAS SOPS 90230 HAS SOUS 39122 HAS SOUPS 39122 WITH SCORE 39212.23
AT ITER 225 NEW BEST:: SOT 125449 SOS 90023 HAS SOPS 90023 HAS SOUS 39033 HAS SOUPS 39033 WITH SCORE 39123.023
AT ITER 230 NEW BEST:: SOT 125071 SOS 89519 HAS SOPS 89519 HAS SOUS 38819 HAS SOUPS 38819 WITH SCORE 38908.519
AT ITER 233 NEW BEST:: SOT 124801 SOS 89249 HAS SOPS 89249 HAS SOUS 38592 HAS SOUPS 38592 WITH SCORE 38681.249
AT ITER 234 NEW BEST:: SOT 124727 SOS 89175 HAS SOPS 89175 HAS SOUS 38518 HAS SOUPS 38518 WITH SCORE 38607.175
AT ITER 237 NEW BEST:: SOT 124812 SOS 89669 HAS SOPS 89669 HAS SOUS 38412 HAS SOUPS 38412 WITH SCORE 38501.669
AT ITER 246 NEW BEST:: SOT 124396 SOS 89253 HAS SOPS 89253 HAS SOUS 38343 HAS SOUPS 38343 WITH SCORE 38432.253
AT ITER 247 NEW BEST:: SOT 124395 SOS 89277 HAS SOPS 89277 HAS SOUS 38304 HAS SOUPS 38304 WITH SCORE 38393.277
AT ITER 248 NEW BEST:: SOT 124473 SOS 89559 HAS SOPS 89559 HAS SOUS 38124 HAS SOUPS 38124 WITH SCORE 38213.559
AT ITER 249 NEW BEST:: SOT 124430 SOS 89525 HAS SOPS 89525 HAS SOUS 38111 HAS SOUPS 38111 WITH SCORE 38200.525
AT ITER 255 NEW BEST:: SOT 124397 SOS 89492 HAS SOPS 89492 HAS SOUS 38100 HAS SOUPS 38100 WITH SCORE 38189.492
AT ITER 258 NEW BEST:: SOT 124251 SOS 89346 HAS SOPS 89346 HAS SOUS 38074 HAS SOUPS 38074 WITH SCORE 38163.346
AT ITER 262 NEW BEST:: SOT 124217 SOS 89284 HAS SOPS 89284 HAS SOUS 38040 HAS SOUPS 38040 WITH SCORE 38129.284
AT ITER 263 NEW BEST:: SOT 124212 SOS 89274 HAS SOPS 89274 HAS SOUS 38035 HAS SOUPS 38035 WITH SCORE 38124.274
AT ITER 267 NEW BEST:: SOT 124139 SOS 88913 HAS SOPS 88913 HAS SOUS 37938 HAS SOUPS 37938 WITH SCORE 38026.913
AT ITER 269 NEW BEST:: SOT 124107 SOS 88881 HAS SOPS 88881 HAS SOUS 37927 HAS SOUPS 37927 WITH SCORE 38015.881
AT ITER 275 NEW BEST:: SOT 124047 SOS 88187 HAS SOPS 88187 HAS SOUS 37841 HAS SOUPS 37841 WITH SCORE 37929.187
AT ITER 276 NEW BEST:: SOT 123981 SOS 88121 HAS SOPS 88121 HAS SOUS 37709 HAS SOUPS 37709 WITH SCORE 37797.121
AT ITER 278 NEW BEST:: SOT 123968 SOS 86669 HAS SOPS 86669 HAS SOUS 37564 HAS SOUPS 37564 WITH SCORE 37650.669
AT ITER 279 NEW BEST:: SOT 123784 SOS 85623 HAS SOPS 85623 HAS SOUS 37565 HAS SOUPS 37565 WITH SCORE 37650.623
AT ITER 284 NEW BEST:: SOT 123746 SOS 85275 HAS SOPS 85275 HAS SOUS 37489 HAS SOUPS 37489 WITH SCORE 37574.275
AT ITER 286 NEW BEST:: SOT 123701 SOS 85192 HAS SOPS 85192 HAS SOUS 37449 HAS SOUPS 37449 WITH SCORE 37534.192
AT ITER 288 NEW BEST:: SOT 123601 SOS 85092 HAS SOPS 85092 HAS SOUS 37412 HAS SOUPS 37412 WITH SCORE 37497.092
AT ITER 290 NEW BEST:: SOT 123601 SOS 85292 HAS SOPS 85292 HAS SOUS 37390 HAS SOUPS 37390 WITH SCORE 37475.292
AT ITER 292 NEW BEST:: SOT 123721 SOS 85393 HAS SOPS 85393 HAS SOUS 37364 HAS SOUPS 37364 WITH SCORE 37449.393
AT ITER 294 NEW BEST:: SOT 123703 SOS 85357 HAS SOPS 85357 HAS SOUS 37354 HAS SOUPS 37354 WITH SCORE 37439.357
AT ITER 296 NEW BEST:: SOT 123664 SOS 85427 HAS SOPS 85427 HAS SOUS 37279 HAS SOUPS 37279 WITH SCORE 37364.427
AT ITER 297 NEW BEST:: SOT 123529 SOS 85427 HAS SOPS 85427 HAS SOUS 37272 HAS SOUPS 37272 WITH SCORE 37357.427
AT ITER 298 NEW BEST:: SOT 123634 SOS 85532 HAS SOPS 85532 HAS SOUS 37140 HAS SOUPS 37140 WITH SCORE 37225.532
AT ITER 299 NEW BEST:: SOT 123592 SOS 85490 HAS SOPS 85490 HAS SOUS 37104 HAS SOUPS 37104 WITH SCORE 37189.49
AT ITER 303 NEW BEST:: SOT 123533 SOS 85488 HAS SOPS 85488 HAS SOUS 37045 HAS SOUPS 37045 WITH SCORE 37130.488
AT ITER 307 NEW BEST:: SOT 121233 SOS 83179 HAS SOPS 83179 HAS SOUS 35859 HAS SOUPS 35859 WITH SCORE 35942.179
AT ITER 310 NEW BEST:: SOT 121204 SOS 83262 HAS SOPS 83262 HAS SOUS 35801 HAS SOUPS 35801 WITH SCORE 35884.262
AT ITER 315 NEW BEST:: SOT 121198 SOS 83256 HAS SOPS 83256 HAS SOUS 35795 HAS SOUPS 35795 WITH SCORE 35878.256
AT ITER 317 NEW BEST:: SOT 121553 SOS 83573 HAS SOPS 83573 HAS SOUS 35764 HAS SOUPS 35764 WITH SCORE 35847.573
AT ITER 327 NEW BEST:: SOT 121550 SOS 83570 HAS SOPS 83570 HAS SOUS 35755 HAS SOUPS 35755 WITH SCORE 35838.57
AT ITER 330 NEW BEST:: SOT 121575 SOS 83601 HAS SOPS 83601 HAS SOUS 35742 HAS SOUPS 35742 WITH SCORE 35825.601
AT ITER 331 NEW BEST:: SOT 121540 SOS 83597 HAS SOPS 83597 HAS SOUS 35693 HAS SOUPS 35693 WITH SCORE 35776.597
AT ITER 332 NEW BEST:: SOT 121530 SOS 83567 HAS SOPS 83567 HAS SOUS 35678 HAS SOUPS 35678 WITH SCORE 35761.567
AT ITER 335 NEW BEST:: SOT 121531 SOS 83749 HAS SOPS 83749 HAS SOUS 35611 HAS SOUPS 35611 WITH SCORE 35694.749
AT ITER 347 NEW BEST:: SOT 121276 SOS 83705 HAS SOPS 83705 HAS SOUS 35466 HAS SOUPS 35466 WITH SCORE 35549.705
AT ITER 348 NEW BEST:: SOT 121292 SOS 83709 HAS SOPS 83709 HAS SOUS 35442 HAS SOUPS 35442 WITH SCORE 35525.709
AT ITER 352 NEW BEST:: SOT 121312 SOS 83729 HAS SOPS 83729 HAS SOUS 35293 HAS SOUPS 35293 WITH SCORE 35376.729
AT ITER 353 NEW BEST:: SOT 120711 SOS 83251 HAS SOPS 83251 HAS SOUS 35228 HAS SOUPS 35228 WITH SCORE 35311.251
AT ITER 356 NEW BEST:: SOT 120674 SOS 82921 HAS SOPS 82921 HAS SOUS 34890 HAS SOUPS 34890 WITH SCORE 34972.921
AT ITER 357 NEW BEST:: SOT 120725 SOS 82972 HAS SOPS 82972 HAS SOUS 34879 HAS SOUPS 34879 WITH SCORE 34961.972
AT ITER 359 NEW BEST:: SOT 120725 SOS 82972 HAS SOPS 82972 HAS SOUS 34874 HAS SOUPS 34874 WITH SCORE 34956.972
AT ITER 360 NEW BEST:: SOT 120714 SOS 83142 HAS SOPS 83142 HAS SOUS 34863 HAS SOUPS 34863 WITH SCORE 34946.142
AT ITER 369 NEW BEST:: SOT 120612 SOS 82841 HAS SOPS 82841 HAS SOUS 34739 HAS SOUPS 34739 WITH SCORE 34821.841
AT ITER 373 NEW BEST:: SOT 120547 SOS 82711 HAS SOPS 82711 HAS SOUS 34656 HAS SOUPS 34656 WITH SCORE 34738.711
AT ITER 376 NEW BEST:: SOT 120562 SOS 82752 HAS SOPS 82752 HAS SOUS 34600 HAS SOUPS 34600 WITH SCORE 34682.752
AT ITER 379 NEW BEST:: SOT 120514 SOS 82502 HAS SOPS 82502 HAS SOUS 34542 HAS SOUPS 34542 WITH SCORE 34624.502
AT ITER 381 NEW BEST:: SOT 120378 SOS 82366 HAS SOPS 82366 HAS SOUS 34271 HAS SOUPS 34271 WITH SCORE 34353.366
AT ITER 395 NEW BEST:: SOT 120429 SOS 82501 HAS SOPS 82501 HAS SOUS 34157 HAS SOUPS 34157 WITH SCORE 34239.501
AT ITER 396 NEW BEST:: SOT 121626 SOS 72293 HAS SOPS 72293 HAS SOUS 34120 HAS SOUPS 34120 WITH SCORE 34192.293
AT ITER 397 NEW BEST:: SOT 121612 SOS 72265 HAS SOPS 72265 HAS SOUS 34117 HAS SOUPS 34117 WITH SCORE 34189.265
AT ITER 400 NEW BEST:: SOT 121585 SOS 72238 HAS SOPS 72238 HAS SOUS 34036 HAS SOUPS 34036 WITH SCORE 34108.238
AT ITER 401 NEW BEST:: SOT 121567 SOS 72220 HAS SOPS 72220 HAS SOUS 33868 HAS SOUPS 33868 WITH SCORE 33940.22
AT ITER 403 NEW BEST:: SOT 121540 SOS 72013 HAS SOPS 72013 HAS SOUS 33814 HAS SOUPS 33814 WITH SCORE 33886.013
AT ITER 404 NEW BEST:: SOT 121463 SOS 71919 HAS SOPS 71919 HAS SOUS 33794 HAS SOUPS 33794 WITH SCORE 33865.919
AT ITER 405 NEW BEST:: SOT 121399 SOS 71797 HAS SOPS 71797 HAS SOUS 33448 HAS SOUPS 33448 WITH SCORE 33519.797
AT ITER 407 NEW BEST:: SOT 120056 SOS 70454 HAS SOPS 70454 HAS SOUS 32831 HAS SOUPS 32831 WITH SCORE 32901.454
AT ITER 410 NEW BEST:: SOT 120040 SOS 70434 HAS SOPS 70434 HAS SOUS 32807 HAS SOUPS 32807 WITH SCORE 32877.434
AT ITER 411 NEW BEST:: SOT 120050 SOS 70444 HAS SOPS 70444 HAS SOUS 32800 HAS SOUPS 32800 WITH SCORE 32870.444
AT ITER 421 NEW BEST:: SOT 120050 SOS 70444 HAS SOPS 70444 HAS SOUS 32750 HAS SOUPS 32750 WITH SCORE 32820.444
AT ITER 423 NEW BEST:: SOT 120050 SOS 70451 HAS SOPS 70451 HAS SOUS 32743 HAS SOUPS 32743 WITH SCORE 32813.451
AT ITER 426 NEW BEST:: SOT 119872 SOS 70224 HAS SOPS 70224 HAS SOUS 32667 HAS SOUPS 32667 WITH SCORE 32737.224
AT ITER 429 NEW BEST:: SOT 119872 SOS 70226 HAS SOPS 70226 HAS SOUS 32666 HAS SOUPS 32666 WITH SCORE 32736.226
AT ITER 432 NEW BEST:: SOT 119872 SOS 70174 HAS SOPS 70174 HAS SOUS 32627 HAS SOUPS 32627 WITH SCORE 32697.174
AT ITER 440 NEW BEST:: SOT 119851 SOS 70093 HAS SOPS 70093 HAS SOUS 32591 HAS SOUPS 32591 WITH SCORE 32661.093
AT ITER 446 NEW BEST:: SOT 119828 SOS 70208 HAS SOPS 70208 HAS SOUS 32550 HAS SOUPS 32550 WITH SCORE 32620.208
AT ITER 451 NEW BEST:: SOT 119568 SOS 69883 HAS SOPS 69883 HAS SOUS 32550 HAS SOUPS 32550 WITH SCORE 32619.883
AT ITER 452 NEW BEST:: SOT 119568 SOS 69825 HAS SOPS 69825 HAS SOUS 32540 HAS SOUPS 32540 WITH SCORE 32609.825
AT ITER 453 NEW BEST:: SOT 119570 SOS 69827 HAS SOPS 69827 HAS SOUS 32500 HAS SOUPS 32500 WITH SCORE 32569.827
AT ITER 460 NEW BEST:: SOT 119608 SOS 69699 HAS SOPS 69699 HAS SOUS 32462 HAS SOUPS 32462 WITH SCORE 32531.699
AT ITER 461 NEW BEST:: SOT 119559 SOS 69566 HAS SOPS 69566 HAS SOUS 32431 HAS SOUPS 32431 WITH SCORE 32500.566
AT ITER 463 NEW BEST:: SOT 119796 SOS 69799 HAS SOPS 69799 HAS SOUS 32398 HAS SOUPS 32398 WITH SCORE 32467.799
AT ITER 465 NEW BEST:: SOT 119702 SOS 69628 HAS SOPS 69628 HAS SOUS 32291 HAS SOUPS 32291 WITH SCORE 32360.628
AT ITER 466 NEW BEST:: SOT 119702 SOS 69625 HAS SOPS 69625 HAS SOUS 32291 HAS SOUPS 32291 WITH SCORE 32360.625
AT ITER 469 NEW BEST:: SOT 119710 SOS 69641 HAS SOPS 69641 HAS SOUS 32183 HAS SOUPS 32183 WITH SCORE 32252.641
AT ITER 470 NEW BEST:: SOT 119717 SOS 69631 HAS SOPS 69631 HAS SOUS 32181 HAS SOUPS 32181 WITH SCORE 32250.631
AT ITER 471 NEW BEST:: SOT 119703 SOS 69603 HAS SOPS 69603 HAS SOUS 32153 HAS SOUPS 32153 WITH SCORE 32222.603
AT ITER 473 NEW BEST:: SOT 119834 SOS 69671 HAS SOPS 69671 HAS SOUS 32015 HAS SOUPS 32015 WITH SCORE 32084.671
AT ITER 483 NEW BEST:: SOT 119751 SOS 69588 HAS SOPS 69588 HAS SOUS 31906 HAS SOUPS 31906 WITH SCORE 31975.588
AT ITER 491 NEW BEST:: SOT 119665 SOS 69662 HAS SOPS 69662 HAS SOUS 31816 HAS SOUPS 31816 WITH SCORE 31885.662
AT ITER 497 NEW BEST:: SOT 119526 SOS 69501 HAS SOPS 69501 HAS SOUS 31681 HAS SOUPS 31681 WITH SCORE 31750.501
AT ITER 499 NEW BEST:: SOT 119526 SOS 69479 HAS SOPS 69479 HAS SOUS 31669 HAS SOUPS 31669 WITH SCORE 31738.479
AT ITER 501 NEW BEST:: SOT 119516 SOS 69435 HAS SOPS 69435 HAS SOUS 31666 HAS SOUPS 31666 WITH SCORE 31735.435
AT ITER 503 NEW BEST:: SOT 119516 SOS 69407 HAS SOPS 69407 HAS SOUS 31666 HAS SOUPS 31666 WITH SCORE 31735.407
AT ITER 506 NEW BEST:: SOT 119519 SOS 69381 HAS SOPS 69381 HAS SOUS 31639 HAS SOUPS 31639 WITH SCORE 31708.381
AT ITER 508 NEW BEST:: SOT 119515 SOS 69310 HAS SOPS 69310 HAS SOUS 31607 HAS SOUPS 31607 WITH SCORE 31676.31
AT ITER 513 NEW BEST:: SOT 119474 SOS 69223 HAS SOPS 69223 HAS SOUS 31549 HAS SOUPS 31549 WITH SCORE 31618.223
AT ITER 528 NEW BEST:: SOT 119292 SOS 68859 HAS SOPS 68859 HAS SOUS 31445 HAS SOUPS 31445 WITH SCORE 31513.859
AT ITER 530 NEW BEST:: SOT 119314 SOS 68611 HAS SOPS 68611 HAS SOUS 31442 HAS SOUPS 31442 WITH SCORE 31510.611
AT ITER 532 NEW BEST:: SOT 119314 SOS 68585 HAS SOPS 68585 HAS SOUS 31429 HAS SOUPS 31429 WITH SCORE 31497.585
AT ITER 533 NEW BEST:: SOT 119260 SOS 68055 HAS SOPS 68055 HAS SOUS 31426 HAS SOUPS 31426 WITH SCORE 31494.055
AT ITER 541 NEW BEST:: SOT 119231 SOS 67953 HAS SOPS 67953 HAS SOUS 31371 HAS SOUPS 31371 WITH SCORE 31438.953
AT ITER 550 NEW BEST:: SOT 119121 SOS 67882 HAS SOPS 67882 HAS SOUS 31257 HAS SOUPS 31257 WITH SCORE 31324.882
AT ITER 557 NEW BEST:: SOT 119115 SOS 67876 HAS SOPS 67876 HAS SOUS 31254 HAS SOUPS 31254 WITH SCORE 31321.876
AT ITER 561 NEW BEST:: SOT 119115 SOS 67947 HAS SOPS 67947 HAS SOUS 30964 HAS SOUPS 30964 WITH SCORE 31031.947
AT ITER 566 NEW BEST:: SOT 118988 SOS 65379 HAS SOPS 65379 HAS SOUS 30542 HAS SOUPS 30542 WITH SCORE 30607.379
AT ITER 571 NEW BEST:: SOT 118973 SOS 65349 HAS SOPS 65349 HAS SOUS 30512 HAS SOUPS 30512 WITH SCORE 30577.349
AT ITER 572 NEW BEST:: SOT 118960 SOS 65062 HAS SOPS 65062 HAS SOUS 30355 HAS SOUPS 30355 WITH SCORE 30420.062
AT ITER 576 NEW BEST:: SOT 118885 SOS 64614 HAS SOPS 64614 HAS SOUS 30081 HAS SOUPS 30081 WITH SCORE 30145.614
AT ITER 581 NEW BEST:: SOT 118867 SOS 64470 HAS SOPS 64470 HAS SOUS 30027 HAS SOUPS 30027 WITH SCORE 30091.47
AT ITER 584 NEW BEST:: SOT 119038 SOS 64342 HAS SOPS 64342 HAS SOUS 29977 HAS SOUPS 29977 WITH SCORE 30041.342
AT ITER 588 NEW BEST:: SOT 118925 SOS 64232 HAS SOPS 64232 HAS SOUS 29729 HAS SOUPS 29729 WITH SCORE 29793.232
AT ITER 591 NEW BEST:: SOT 118827 SOS 64134 HAS SOPS 64134 HAS SOUS 29629 HAS SOUPS 29629 WITH SCORE 29693.134
AT ITER 593 NEW BEST:: SOT 118737 SOS 63847 HAS SOPS 63847 HAS SOUS 29607 HAS SOUPS 29607 WITH SCORE 29670.847
AT ITER 596 NEW BEST:: SOT 118729 SOS 63835 HAS SOPS 63835 HAS SOUS 29547 HAS SOUPS 29547 WITH SCORE 29610.835
AT ITER 597 NEW BEST:: SOT 118679 SOS 63786 HAS SOPS 63786 HAS SOUS 29458 HAS SOUPS 29458 WITH SCORE 29521.786
AT ITER 599 NEW BEST:: SOT 118553 SOS 63660 HAS SOPS 63660 HAS SOUS 29332 HAS SOUPS 29332 WITH SCORE 29395.66
AT ITER 606 NEW BEST:: SOT 118551 SOS 63617 HAS SOPS 63617 HAS SOUS 29325 HAS SOUPS 29325 WITH SCORE 29388.617
AT ITER 607 NEW BEST:: SOT 118536 SOS 63858 HAS SOPS 63858 HAS SOUS 29295 HAS SOUPS 29295 WITH SCORE 29358.858
AT ITER 612 NEW BEST:: SOT 118536 SOS 63810 HAS SOPS 63810 HAS SOUS 29282 HAS SOUPS 29282 WITH SCORE 29345.81
AT ITER 619 NEW BEST:: SOT 118598 SOS 63872 HAS SOPS 63872 HAS SOUS 29203 HAS SOUPS 29203 WITH SCORE 29266.872
AT ITER 632 NEW BEST:: SOT 118663 SOS 63526 HAS SOPS 63526 HAS SOUS 29066 HAS SOUPS 29066 WITH SCORE 29129.526
AT ITER 641 NEW BEST:: SOT 118663 SOS 63539 HAS SOPS 63539 HAS SOUS 29053 HAS SOUPS 29053 WITH SCORE 29116.539
AT ITER 642 NEW BEST:: SOT 118663 SOS 63539 HAS SOPS 63539 HAS SOUS 29050 HAS SOUPS 29050 WITH SCORE 29113.539
AT ITER 644 NEW BEST:: SOT 118660 SOS 63533 HAS SOPS 63533 HAS SOUS 29044 HAS SOUPS 29044 WITH SCORE 29107.533
AT ITER 647 NEW BEST:: SOT 118621 SOS 63322 HAS SOPS 63322 HAS SOUS 29005 HAS SOUPS 29005 WITH SCORE 29068.322
AT ITER 649 NEW BEST:: SOT 118615 SOS 63310 HAS SOPS 63310 HAS SOUS 28999 HAS SOUPS 28999 WITH SCORE 29062.31
AT ITER 651 NEW BEST:: SOT 118481 SOS 63133 HAS SOPS 63133 HAS SOUS 28876 HAS SOUPS 28876 WITH SCORE 28939.133
AT ITER 652 NEW BEST:: SOT 118465 SOS 63117 HAS SOPS 63117 HAS SOUS 28850 HAS SOUPS 28850 WITH SCORE 28913.117
AT ITER 655 NEW BEST:: SOT 118455 SOS 63127 HAS SOPS 63127 HAS SOUS 28830 HAS SOUPS 28830 WITH SCORE 28893.127
AT ITER 660 NEW BEST:: SOT 118433 SOS 63179 HAS SOPS 63179 HAS SOUS 28776 HAS SOUPS 28776 WITH SCORE 28839.179
AT ITER 663 NEW BEST:: SOT 118377 SOS 63015 HAS SOPS 63015 HAS SOUS 28684 HAS SOUPS 28684 WITH SCORE 28747.015
AT ITER 672 NEW BEST:: SOT 118377 SOS 62892 HAS SOPS 62892 HAS SOUS 28684 HAS SOUPS 28684 WITH SCORE 28746.892
AT ITER 675 NEW BEST:: SOT 118317 SOS 62915 HAS SOPS 62915 HAS SOUS 28621 HAS SOUPS 28621 WITH SCORE 28683.915
AT ITER 676 NEW BEST:: SOT 118278 SOS 62876 HAS SOPS 62876 HAS SOUS 28609 HAS SOUPS 28609 WITH SCORE 28671.876
AT ITER 678 NEW BEST:: SOT 118328 SOS 62926 HAS SOPS 62926 HAS SOUS 28569 HAS SOUPS 28569 WITH SCORE 28631.926
AT ITER 679 NEW BEST:: SOT 118322 SOS 62920 HAS SOPS 62920 HAS SOUS 28565 HAS SOUPS 28565 WITH SCORE 28627.92
AT ITER 683 NEW BEST:: SOT 118298 SOS 62859 HAS SOPS 62859 HAS SOUS 28536 HAS SOUPS 28536 WITH SCORE 28598.859
AT ITER 690 NEW BEST:: SOT 118240 SOS 62217 HAS SOPS 62217 HAS SOUS 28529 HAS SOUPS 28529 WITH SCORE 28591.217
AT ITER 702 NEW BEST:: SOT 118229 SOS 62265 HAS SOPS 62265 HAS SOUS 28511 HAS SOUPS 28511 WITH SCORE 28573.265
AT ITER 717 NEW BEST:: SOT 118208 SOS 62203 HAS SOPS 62203 HAS SOUS 28490 HAS SOUPS 28490 WITH SCORE 28552.203
AT ITER 721 NEW BEST:: SOT 118076 SOS 62047 HAS SOPS 62047 HAS SOUS 28358 HAS SOUPS 28358 WITH SCORE 28420.047
AT ITER 729 NEW BEST:: SOT 118085 SOS 61987 HAS SOPS 61987 HAS SOUS 28323 HAS SOUPS 28323 WITH SCORE 28384.987
AT ITER 731 NEW BEST:: SOT 118085 SOS 61987 HAS SOPS 61987 HAS SOUS 28303 HAS SOUPS 28303 WITH SCORE 28364.987
AT ITER 735 NEW BEST:: SOT 118076 SOS 61978 HAS SOPS 61978 HAS SOUS 28303 HAS SOUPS 28303 WITH SCORE 28364.978
AT ITER 737 NEW BEST:: SOT 118085 SOS 61985 HAS SOPS 61985 HAS SOUS 28302 HAS SOUPS 28302 WITH SCORE 28363.985
AT ITER 747 NEW BEST:: SOT 118093 SOS 61725 HAS SOPS 61725 HAS SOUS 28187 HAS SOUPS 28187 WITH SCORE 28248.725
AT ITER 748 NEW BEST:: SOT 118053 SOS 61640 HAS SOPS 61640 HAS SOUS 28121 HAS SOUPS 28121 WITH SCORE 28182.64
AT ITER 755 NEW BEST:: SOT 118054 SOS 61634 HAS SOPS 61634 HAS SOUS 28116 HAS SOUPS 28116 WITH SCORE 28177.634
AT ITER 757 NEW BEST:: SOT 118049 SOS 61615 HAS SOPS 61615 HAS SOUS 28109 HAS SOUPS 28109 WITH SCORE 28170.615
AT ITER 760 NEW BEST:: SOT 118049 SOS 61615 HAS SOPS 61615 HAS SOUS 28103 HAS SOUPS 28103 WITH SCORE 28164.615
AT ITER 761 NEW BEST:: SOT 118471 SOS 59823 HAS SOPS 59823 HAS SOUS 27906 HAS SOUPS 27906 WITH SCORE 27965.823
AT ITER 762 NEW BEST:: SOT 118471 SOS 59841 HAS SOPS 59841 HAS SOUS 27900 HAS SOUPS 27900 WITH SCORE 27959.841
AT ITER 765 NEW BEST:: SOT 118408 SOS 60260 HAS SOPS 60260 HAS SOUS 27749 HAS SOUPS 27749 WITH SCORE 27809.26
AT ITER 770 NEW BEST:: SOT 118296 SOS 60148 HAS SOPS 60148 HAS SOUS 27657 HAS SOUPS 27657 WITH SCORE 27717.148
AT ITER 772 NEW BEST:: SOT 117989 SOS 59841 HAS SOPS 59841 HAS SOUS 27432 HAS SOUPS 27432 WITH SCORE 27491.841
AT ITER 774 NEW BEST:: SOT 117993 SOS 58205 HAS SOPS 58205 HAS SOUS 27227 HAS SOUPS 27227 WITH SCORE 27285.205
AT ITER 794 NEW BEST:: SOT 117976 SOS 58152 HAS SOPS 58152 HAS SOUS 27177 HAS SOUPS 27177 WITH SCORE 27235.152
AT ITER 800 NEW BEST:: SOT 118082 SOS 58122 HAS SOPS 58122 HAS SOUS 27136 HAS SOUPS 27136 WITH SCORE 27194.122
AT ITER 804 NEW BEST:: SOT 118083 SOS 58123 HAS SOPS 58123 HAS SOUS 27107 HAS SOUPS 27107 WITH SCORE 27165.123
AT ITER 807 NEW BEST:: SOT 118083 SOS 58131 HAS SOPS 58131 HAS SOUS 27093 HAS SOUPS 27093 WITH SCORE 27151.131
AT ITER 809 NEW BEST:: SOT 118051 SOS 58067 HAS SOPS 58067 HAS SOUS 27061 HAS SOUPS 27061 WITH SCORE 27119.067
AT ITER 810 NEW BEST:: SOT 118167 SOS 58127 HAS SOPS 58127 HAS SOUS 27056 HAS SOUPS 27056 WITH SCORE 27114.127
AT ITER 811 NEW BEST:: SOT 118168 SOS 57761 HAS SOPS 57761 HAS SOUS 26936 HAS SOUPS 26936 WITH SCORE 26993.761
AT ITER 818 NEW BEST:: SOT 118200 SOS 55922 HAS SOPS 55922 HAS SOUS 26891 HAS SOUPS 26891 WITH SCORE 26946.922
AT ITER 826 NEW BEST:: SOT 118207 SOS 55818 HAS SOPS 55818 HAS SOUS 26864 HAS SOUPS 26864 WITH SCORE 26919.818
AT ITER 834 NEW BEST:: SOT 118028 SOS 55641 HAS SOPS 55641 HAS SOUS 26784 HAS SOUPS 26784 WITH SCORE 26839.641
AT ITER 845 NEW BEST:: SOT 118015 SOS 55883 HAS SOPS 55883 HAS SOUS 26780 HAS SOUPS 26780 WITH SCORE 26835.883
AT ITER 854 NEW BEST:: SOT 118001 SOS 55867 HAS SOPS 55867 HAS SOUS 26763 HAS SOUPS 26763 WITH SCORE 26818.867
AT ITER 859 NEW BEST:: SOT 117997 SOS 55873 HAS SOPS 55873 HAS SOUS 26759 HAS SOUPS 26759 WITH SCORE 26814.873
AT ITER 860 NEW BEST:: SOT 117952 SOS 55828 HAS SOPS 55828 HAS SOUS 26684 HAS SOUPS 26684 WITH SCORE 26739.828
AT ITER 864 NEW BEST:: SOT 117952 SOS 55753 HAS SOPS 55753 HAS SOUS 26614 HAS SOUPS 26614 WITH SCORE 26669.753
AT ITER 871 NEW BEST:: SOT 117922 SOS 55718 HAS SOPS 55718 HAS SOUS 26580 HAS SOUPS 26580 WITH SCORE 26635.718
AT ITER 874 NEW BEST:: SOT 117874 SOS 55670 HAS SOPS 55670 HAS SOUS 26548 HAS SOUPS 26548 WITH SCORE 26603.67
AT ITER 882 NEW BEST:: SOT 117664 SOS 55751 HAS SOPS 55751 HAS SOUS 26532 HAS SOUPS 26532 WITH SCORE 26587.751
AT ITER 886 NEW BEST:: SOT 117670 SOS 55757 HAS SOPS 55757 HAS SOUS 26527 HAS SOUPS 26527 WITH SCORE 26582.757
AT ITER 887 NEW BEST:: SOT 117626 SOS 55584 HAS SOPS 55584 HAS SOUS 26453 HAS SOUPS 26453 WITH SCORE 26508.584
AT ITER 893 NEW BEST:: SOT 117705 SOS 55650 HAS SOPS 55650 HAS SOUS 26434 HAS SOUPS 26434 WITH SCORE 26489.65
AT ITER 907 NEW BEST:: SOT 117682 SOS 55617 HAS SOPS 55617 HAS SOUS 26401 HAS SOUPS 26401 WITH SCORE 26456.617
AT ITER 916 NEW BEST:: SOT 117459 SOS 55394 HAS SOPS 55394 HAS SOUS 26301 HAS SOUPS 26301 WITH SCORE 26356.394
AT ITER 917 NEW BEST:: SOT 117455 SOS 55390 HAS SOPS 55390 HAS SOUS 26300 HAS SOUPS 26300 WITH SCORE 26355.39
AT ITER 922 NEW BEST:: SOT 117453 SOS 55388 HAS SOPS 55388 HAS SOUS 26299 HAS SOUPS 26299 WITH SCORE 26354.388
AT ITER 936 NEW BEST:: SOT 117453 SOS 55388 HAS SOPS 55388 HAS SOUS 26278 HAS SOUPS 26278 WITH SCORE 26333.388
AT ITER 938 NEW BEST:: SOT 117124 SOS 54833 HAS SOPS 54833 HAS SOUS 26016 HAS SOUPS 26016 WITH SCORE 26070.833
AT ITER 944 NEW BEST:: SOT 116890 SOS 54599 HAS SOPS 54599 HAS SOUS 25984 HAS SOUPS 25984 WITH SCORE 26038.599
AT ITER 964 NEW BEST:: SOT 116852 SOS 54432 HAS SOPS 54432 HAS SOUS 25860 HAS SOUPS 25860 WITH SCORE 25914.432
AT ITER 966 NEW BEST:: SOT 116844 SOS 54407 HAS SOPS 54407 HAS SOUS 25844 HAS SOUPS 25844 WITH SCORE 25898.407
AT ITER 972 NEW BEST:: SOT 116798 SOS 54405 HAS SOPS 54405 HAS SOUS 25798 HAS SOUPS 25798 WITH SCORE 25852.405
AT ITER 976 NEW BEST:: SOT 116728 SOS 54263 HAS SOPS 54263 HAS SOUS 25702 HAS SOUPS 25702 WITH SCORE 25756.263
AT ITER 988 NEW BEST:: SOT 116731 SOS 54330 HAS SOPS 54330 HAS SOUS 25585 HAS SOUPS 25585 WITH SCORE 25639.33
AT ITER 999 NEW BEST:: SOT 116710 SOS 54324 HAS SOPS 54324 HAS SOUS 25537 HAS SOUPS 25537 WITH SCORE 25591.324
AT ITER 1009 NEW BEST:: SOT 116979 SOS 54610 HAS SOPS 54610 HAS SOUS 25510 HAS SOUPS 25510 WITH SCORE 25564.61
AT ITER 1011 NEW BEST:: SOT 116979 SOS 54610 HAS SOPS 54610 HAS SOUS 25508 HAS SOUPS 25508 WITH SCORE 25562.61
AT ITER 1012 NEW BEST:: SOT 116943 SOS 54574 HAS SOPS 54574 HAS SOUS 25508 HAS SOUPS 25508 WITH SCORE 25562.574
AT ITER 1020 NEW BEST:: SOT 117110 SOS 54741 HAS SOPS 54741 HAS SOUS 25459 HAS SOUPS 25459 WITH SCORE 25513.741
AT ITER 1028 NEW BEST:: SOT 117060 SOS 54665 HAS SOPS 54665 HAS SOUS 25416 HAS SOUPS 25416 WITH SCORE 25470.665
AT ITER 1033 NEW BEST:: SOT 116975 SOS 54287 HAS SOPS 54287 HAS SOUS 25385 HAS SOUPS 25385 WITH SCORE 25439.287
AT ITER 1042 NEW BEST:: SOT 116977 SOS 54267 HAS SOPS 54267 HAS SOUS 25369 HAS SOUPS 25369 WITH SCORE 25423.267
AT ITER 1044 NEW BEST:: SOT 116983 SOS 54162 HAS SOPS 54162 HAS SOUS 25357 HAS SOUPS 25357 WITH SCORE 25411.162
AT ITER 1053 NEW BEST:: SOT 116908 SOS 54087 HAS SOPS 54087 HAS SOUS 25312 HAS SOUPS 25312 WITH SCORE 25366.087
AT ITER 1058 NEW BEST:: SOT 116908 SOS 54075 HAS SOPS 54075 HAS SOUS 25300 HAS SOUPS 25300 WITH SCORE 25354.075
AT ITER 1059 NEW BEST:: SOT 116988 SOS 53929 HAS SOPS 53929 HAS SOUS 25230 HAS SOUPS 25230 WITH SCORE 25283.929
AT ITER 1063 NEW BEST:: SOT 116904 SOS 53845 HAS SOPS 53845 HAS SOUS 25146 HAS SOUPS 25146 WITH SCORE 25199.845
AT ITER 1070 NEW BEST:: SOT 116864 SOS 53799 HAS SOPS 53799 HAS SOUS 25135 HAS SOUPS 25135 WITH SCORE 25188.799
AT ITER 1096 NEW BEST:: SOT 116755 SOS 53612 HAS SOPS 53612 HAS SOUS 25065 HAS SOUPS 25065 WITH SCORE 25118.612
AT ITER 1098 NEW BEST:: SOT 116725 SOS 53606 HAS SOPS 53606 HAS SOUS 25062 HAS SOUPS 25062 WITH SCORE 25115.606
AT ITER 1101 NEW BEST:: SOT 116721 SOS 53598 HAS SOPS 53598 HAS SOUS 25058 HAS SOUPS 25058 WITH SCORE 25111.598
AT ITER 1110 NEW BEST:: SOT 116735 SOS 53612 HAS SOPS 53612 HAS SOUS 25030 HAS SOUPS 25030 WITH SCORE 25083.612
AT ITER 1111 NEW BEST:: SOT 116721 SOS 53584 HAS SOPS 53584 HAS SOUS 25016 HAS SOUPS 25016 WITH SCORE 25069.584
AT ITER 1130 NEW BEST:: SOT 116617 SOS 53637 HAS SOPS 53637 HAS SOUS 24859 HAS SOUPS 24859 WITH SCORE 24912.637
AT ITER 1133 NEW BEST:: SOT 116616 SOS 53635 HAS SOPS 53635 HAS SOUS 24858 HAS SOUPS 24858 WITH SCORE 24911.635
AT ITER 1138 NEW BEST:: SOT 116648 SOS 53667 HAS SOPS 53667 HAS SOUS 24848 HAS SOUPS 24848 WITH SCORE 24901.667
AT ITER 1145 NEW BEST:: SOT 116644 SOS 53647 HAS SOPS 53647 HAS SOUS 24844 HAS SOUPS 24844 WITH SCORE 24897.647
AT ITER 1153 NEW BEST:: SOT 116637 SOS 53612 HAS SOPS 53612 HAS SOUS 24837 HAS SOUPS 24837 WITH SCORE 24890.612
AT ITER 1154 NEW BEST:: SOT 116634 SOS 53606 HAS SOPS 53606 HAS SOUS 24834 HAS SOUPS 24834 WITH SCORE 24887.606
AT ITER 1159 NEW BEST:: SOT 116679 SOS 53621 HAS SOPS 53621 HAS SOUS 24813 HAS SOUPS 24813 WITH SCORE 24866.621
AT ITER 1171 NEW BEST:: SOT 116674 SOS 53616 HAS SOPS 53616 HAS SOUS 24808 HAS SOUPS 24808 WITH SCORE 24861.616
AT ITER 1176 NEW BEST:: SOT 116716 SOS 53658 HAS SOPS 53658 HAS SOUS 24780 HAS SOUPS 24780 WITH SCORE 24833.658
AT ITER 1185 NEW BEST:: SOT 116654 SOS 53596 HAS SOPS 53596 HAS SOUS 24612 HAS SOUPS 24612 WITH SCORE 24665.596
AT ITER 1190 NEW BEST:: SOT 116598 SOS 53540 HAS SOPS 53540 HAS SOUS 24520 HAS SOUPS 24520 WITH SCORE 24573.54
AT ITER 1223 NEW BEST:: SOT 116554 SOS 53478 HAS SOPS 53478 HAS SOUS 24476 HAS SOUPS 24476 WITH SCORE 24529.478
AT ITER 1225 NEW BEST:: SOT 116557 SOS 53476 HAS SOPS 53476 HAS SOUS 24469 HAS SOUPS 24469 WITH SCORE 24522.476
AT ITER 1230 NEW BEST:: SOT 116555 SOS 53490 HAS SOPS 53490 HAS SOUS 24452 HAS SOUPS 24452 WITH SCORE 24505.49
AT ITER 1231 NEW BEST:: SOT 116427 SOS 53362 HAS SOPS 53362 HAS SOUS 24260 HAS SOUPS 24260 WITH SCORE 24313.362
AT ITER 1234 NEW BEST:: SOT 116427 SOS 53362 HAS SOPS 53362 HAS SOUS 24244 HAS SOUPS 24244 WITH SCORE 24297.362
AT ITER 1237 NEW BEST:: SOT 116395 SOS 53330 HAS SOPS 53330 HAS SOUS 24212 HAS SOUPS 24212 WITH SCORE 24265.33
AT ITER 1247 NEW BEST:: SOT 116496 SOS 53322 HAS SOPS 53322 HAS SOUS 24176 HAS SOUPS 24176 WITH SCORE 24229.322
AT ITER 1250 NEW BEST:: SOT 116446 SOS 53158 HAS SOPS 53158 HAS SOUS 24162 HAS SOUPS 24162 WITH SCORE 24215.158
AT ITER 1252 NEW BEST:: SOT 116346 SOS 53058 HAS SOPS 53058 HAS SOUS 24075 HAS SOUPS 24075 WITH SCORE 24128.058
AT ITER 1254 NEW BEST:: SOT 116397 SOS 53040 HAS SOPS 53040 HAS SOUS 24057 HAS SOUPS 24057 WITH SCORE 24110.04
AT ITER 1257 NEW BEST:: SOT 116307 SOS 52983 HAS SOPS 52983 HAS SOUS 23875 HAS SOUPS 23875 WITH SCORE 23927.983
AT ITER 1265 NEW BEST:: SOT 116321 SOS 52997 HAS SOPS 52997 HAS SOUS 23847 HAS SOUPS 23847 WITH SCORE 23899.997
AT ITER 1268 NEW BEST:: SOT 116319 SOS 52993 HAS SOPS 52993 HAS SOUS 23845 HAS SOUPS 23845 WITH SCORE 23897.993
AT ITER 1283 NEW BEST:: SOT 116331 SOS 52533 HAS SOPS 52533 HAS SOUS 23694 HAS SOUPS 23694 WITH SCORE 23746.533
AT ITER 1287 NEW BEST:: SOT 116287 SOS 52347 HAS SOPS 52347 HAS SOUS 23650 HAS SOUPS 23650 WITH SCORE 23702.347
AT ITER 1295 NEW BEST:: SOT 116275 SOS 52351 HAS SOPS 52351 HAS SOUS 23597 HAS SOUPS 23597 WITH SCORE 23649.351
AT ITER 1299 NEW BEST:: SOT 116305 SOS 52381 HAS SOPS 52381 HAS SOUS 23567 HAS SOUPS 23567 WITH SCORE 23619.381
AT ITER 1301 NEW BEST:: SOT 116276 SOS 52352 HAS SOPS 52352 HAS SOUS 23550 HAS SOUPS 23550 WITH SCORE 23602.352
AT ITER 1308 NEW BEST:: SOT 116007 SOS 52191 HAS SOPS 52191 HAS SOUS 23433 HAS SOUPS 23433 WITH SCORE 23485.191
AT ITER 1320 NEW BEST:: SOT 115976 SOS 52123 HAS SOPS 52123 HAS SOUS 23420 HAS SOUPS 23420 WITH SCORE 23472.123
AT ITER 1324 NEW BEST:: SOT 116003 SOS 52150 HAS SOPS 52150 HAS SOUS 23417 HAS SOUPS 23417 WITH SCORE 23469.15
AT ITER 1325 NEW BEST:: SOT 116001 SOS 52156 HAS SOPS 52156 HAS SOUS 23415 HAS SOUPS 23415 WITH SCORE 23467.156
AT ITER 1339 NEW BEST:: SOT 115993 SOS 52122 HAS SOPS 52122 HAS SOUS 23385 HAS SOUPS 23385 WITH SCORE 23437.122
AT ITER 1344 NEW BEST:: SOT 115804 SOS 51846 HAS SOPS 51846 HAS SOUS 23257 HAS SOUPS 23257 WITH SCORE 23308.846
AT ITER 1351 NEW BEST:: SOT 115703 SOS 51742 HAS SOPS 51742 HAS SOUS 23142 HAS SOUPS 23142 WITH SCORE 23193.742
AT ITER 1356 NEW BEST:: SOT 115767 SOS 51729 HAS SOPS 51729 HAS SOUS 23142 HAS SOUPS 23142 WITH SCORE 23193.729
AT ITER 1358 NEW BEST:: SOT 115767 SOS 51519 HAS SOPS 51519 HAS SOUS 23100 HAS SOUPS 23100 WITH SCORE 23151.519
AT ITER 1363 NEW BEST:: SOT 115540 SOS 51591 HAS SOPS 51591 HAS SOUS 23024 HAS SOUPS 23024 WITH SCORE 23075.591
AT ITER 1364 NEW BEST:: SOT 115550 SOS 51677 HAS SOPS 51677 HAS SOUS 22980 HAS SOUPS 22980 WITH SCORE 23031.677
AT ITER 1365 NEW BEST:: SOT 115482 SOS 51609 HAS SOPS 51609 HAS SOUS 22878 HAS SOUPS 22878 WITH SCORE 22929.609
AT ITER 1373 NEW BEST:: SOT 115470 SOS 51629 HAS SOPS 51629 HAS SOUS 22866 HAS SOUPS 22866 WITH SCORE 22917.629
AT ITER 1375 NEW BEST:: SOT 115470 SOS 51613 HAS SOPS 51613 HAS SOUS 22866 HAS SOUPS 22866 WITH SCORE 22917.613
AT ITER 1386 NEW BEST:: SOT 115529 SOS 51674 HAS SOPS 51674 HAS SOUS 22859 HAS SOUPS 22859 WITH SCORE 22910.674
AT ITER 1388 NEW BEST:: SOT 115510 SOS 51615 HAS SOPS 51615 HAS SOUS 22858 HAS SOUPS 22858 WITH SCORE 22909.615
AT ITER 1394 NEW BEST:: SOT 115507 SOS 51609 HAS SOPS 51609 HAS SOUS 22852 HAS SOUPS 22852 WITH SCORE 22903.609
AT ITER 1413 NEW BEST:: SOT 115503 SOS 51639 HAS SOPS 51639 HAS SOUS 22848 HAS SOUPS 22848 WITH SCORE 22899.639
AT ITER 1414 NEW BEST:: SOT 115509 SOS 51633 HAS SOPS 51633 HAS SOUS 22836 HAS SOUPS 22836 WITH SCORE 22887.633
AT ITER 1417 NEW BEST:: SOT 115502 SOS 51666 HAS SOPS 51666 HAS SOUS 22829 HAS SOUPS 22829 WITH SCORE 22880.666
AT ITER 1419 NEW BEST:: SOT 115492 SOS 51674 HAS SOPS 51674 HAS SOUS 22819 HAS SOUPS 22819 WITH SCORE 22870.674
AT ITER 1455 NEW BEST:: SOT 115451 SOS 51642 HAS SOPS 51642 HAS SOUS 22778 HAS SOUPS 22778 WITH SCORE 22829.642
AT ITER 1459 NEW BEST:: SOT 115386 SOS 51577 HAS SOPS 51577 HAS SOUS 22713 HAS SOUPS 22713 WITH SCORE 22764.577
AT ITER 1461 NEW BEST:: SOT 115386 SOS 51566 HAS SOPS 51566 HAS SOUS 22713 HAS SOUPS 22713 WITH SCORE 22764.566
AT ITER 1475 NEW BEST:: SOT 115384 SOS 51572 HAS SOPS 51572 HAS SOUS 22711 HAS SOUPS 22711 WITH SCORE 22762.572
AT ITER 1480 NEW BEST:: SOT 115376 SOS 51501 HAS SOPS 51501 HAS SOUS 22662 HAS SOUPS 22662 WITH SCORE 22713.501
AT ITER 1484 NEW BEST:: SOT 115371 SOS 51506 HAS SOPS 51506 HAS SOUS 22652 HAS SOUPS 22652 WITH SCORE 22703.506
AT ITER 1489 NEW BEST:: SOT 115372 SOS 51518 HAS SOPS 51518 HAS SOUS 22639 HAS SOUPS 22639 WITH SCORE 22690.518
AT ITER 1500 NEW BEST:: SOT 115373 SOS 51493 HAS SOPS 51493 HAS SOUS 22622 HAS SOUPS 22622 WITH SCORE 22673.493
AT ITER 1521 NEW BEST:: SOT 115373 SOS 51493 HAS SOPS 51493 HAS SOUS 22621 HAS SOUPS 22621 WITH SCORE 22672.493
AT ITER 1532 NEW BEST:: SOT 115174 SOS 51558 HAS SOPS 51558 HAS SOUS 22518 HAS SOUPS 22518 WITH SCORE 22569.558
AT ITER 1533 NEW BEST:: SOT 115246 SOS 51684 HAS SOPS 51684 HAS SOUS 22506 HAS SOUPS 22506 WITH SCORE 22557.684
AT ITER 1537 NEW BEST:: SOT 115246 SOS 51690 HAS SOPS 51690 HAS SOUS 22500 HAS SOUPS 22500 WITH SCORE 22551.69
AT ITER 1541 NEW BEST:: SOT 115208 SOS 51694 HAS SOPS 51694 HAS SOUS 22462 HAS SOUPS 22462 WITH SCORE 22513.694
AT ITER 1552 NEW BEST:: SOT 115145 SOS 51422 HAS SOPS 51422 HAS SOUS 22419 HAS SOUPS 22419 WITH SCORE 22470.422
AT ITER 1560 NEW BEST:: SOT 115133 SOS 51408 HAS SOPS 51408 HAS SOUS 22400 HAS SOUPS 22400 WITH SCORE 22451.408
AT ITER 1566 NEW BEST:: SOT 115071 SOS 51345 HAS SOPS 51345 HAS SOUS 22362 HAS SOUPS 22362 WITH SCORE 22413.345
AT ITER 1571 NEW BEST:: SOT 115091 SOS 51365 HAS SOPS 51365 HAS SOUS 22360 HAS SOUPS 22360 WITH SCORE 22411.365
AT ITER 1572 NEW BEST:: SOT 115032 SOS 51306 HAS SOPS 51306 HAS SOUS 22219 HAS SOUPS 22219 WITH SCORE 22270.306
AT ITER 1573 NEW BEST:: SOT 115021 SOS 51310 HAS SOPS 51310 HAS SOUS 22209 HAS SOUPS 22209 WITH SCORE 22260.31
AT ITER 1576 NEW BEST:: SOT 114956 SOS 51411 HAS SOPS 51411 HAS SOUS 22142 HAS SOUPS 22142 WITH SCORE 22193.411
AT ITER 1606 NEW BEST:: SOT 114461 SOS 51886 HAS SOPS 51886 HAS SOUS 21900 HAS SOUPS 21900 WITH SCORE 21951.886
AT ITER 1622 NEW BEST:: SOT 114449 SOS 51876 HAS SOPS 51876 HAS SOUS 21876 HAS SOUPS 21876 WITH SCORE 21927.876
AT ITER 1630 NEW BEST:: SOT 114425 SOS 52003 HAS SOPS 52003 HAS SOUS 21863 HAS SOUPS 21863 WITH SCORE 21915.003
AT ITER 1655 NEW BEST:: SOT 114437 SOS 52007 HAS SOPS 52007 HAS SOUS 21859 HAS SOUPS 21859 WITH SCORE 21911.007
AT ITER 1666 NEW BEST:: SOT 114516 SOS 52084 HAS SOPS 52084 HAS SOUS 21850 HAS SOUPS 21850 WITH SCORE 21902.084
AT ITER 1684 NEW BEST:: SOT 114468 SOS 52007 HAS SOPS 52007 HAS SOUS 21808 HAS SOUPS 21808 WITH SCORE 21860.007
AT ITER 1698 NEW BEST:: SOT 114425 SOS 51979 HAS SOPS 51979 HAS SOUS 21756 HAS SOUPS 21756 WITH SCORE 21807.979
AT ITER 1725 NEW BEST:: SOT 114399 SOS 51945 HAS SOPS 51945 HAS SOUS 21754 HAS SOUPS 21754 WITH SCORE 21805.945
AT ITER 1731 NEW BEST:: SOT 114378 SOS 51871 HAS SOPS 51871 HAS SOUS 21690 HAS SOUPS 21690 WITH SCORE 21741.871
AT ITER 1735 NEW BEST:: SOT 114362 SOS 51839 HAS SOPS 51839 HAS SOUS 21670 HAS SOUPS 21670 WITH SCORE 21721.839
AT ITER 1744 NEW BEST:: SOT 114327 SOS 51841 HAS SOPS 51841 HAS SOUS 21608 HAS SOUPS 21608 WITH SCORE 21659.841
AT ITER 1757 NEW BEST:: SOT 114358 SOS 51872 HAS SOPS 51872 HAS SOUS 21542 HAS SOUPS 21542 WITH SCORE 21593.872
AT ITER 1760 NEW BEST:: SOT 114359 SOS 51834 HAS SOPS 51834 HAS SOUS 21523 HAS SOUPS 21523 WITH SCORE 21574.834
AT ITER 1762 NEW BEST:: SOT 114201 SOS 51778 HAS SOPS 51778 HAS SOUS 21373 HAS SOUPS 21373 WITH SCORE 21424.778
AT ITER 1769 NEW BEST:: SOT 114201 SOS 51736 HAS SOPS 51736 HAS SOUS 21373 HAS SOUPS 21373 WITH SCORE 21424.736
AT ITER 1770 NEW BEST:: SOT 114203 SOS 51764 HAS SOPS 51764 HAS SOUS 21369 HAS SOUPS 21369 WITH SCORE 21420.764
AT ITER 1789 NEW BEST:: SOT 114128 SOS 51663 HAS SOPS 51663 HAS SOUS 21307 HAS SOUPS 21307 WITH SCORE 21358.663
AT ITER 1803 NEW BEST:: SOT 114060 SOS 52307 HAS SOPS 52307 HAS SOUS 21305 HAS SOUPS 21305 WITH SCORE 21357.307
AT ITER 1807 NEW BEST:: SOT 114028 SOS 52129 HAS SOPS 52129 HAS SOUS 21279 HAS SOUPS 21279 WITH SCORE 21331.129
AT ITER 1840 NEW BEST:: SOT 114030 SOS 52133 HAS SOPS 52133 HAS SOUS 21275 HAS SOUPS 21275 WITH SCORE 21327.133
AT ITER 1847 NEW BEST:: SOT 114008 SOS 52121 HAS SOPS 52121 HAS SOUS 21273 HAS SOUPS 21273 WITH SCORE 21325.121
AT ITER 1869 NEW BEST:: SOT 113808 SOS 51698 HAS SOPS 51698 HAS SOUS 21196 HAS SOUPS 21196 WITH SCORE 21247.698
AT ITER 1884 NEW BEST:: SOT 113678 SOS 51426 HAS SOPS 51426 HAS SOUS 21146 HAS SOUPS 21146 WITH SCORE 21197.426
AT ITER 1894 NEW BEST:: SOT 113652 SOS 51376 HAS SOPS 51376 HAS SOUS 21120 HAS SOUPS 21120 WITH SCORE 21171.376
AT ITER 1900 NEW BEST:: SOT 113636 SOS 51344 HAS SOPS 51344 HAS SOUS 21104 HAS SOUPS 21104 WITH SCORE 21155.344
AT ITER 1936 NEW BEST:: SOT 113366 SOS 51086 HAS SOPS 51086 HAS SOUS 21070 HAS SOUPS 21070 WITH SCORE 21121.086
AT ITER 1940 NEW BEST:: SOT 113347 SOS 51076 HAS SOPS 51076 HAS SOUS 21060 HAS SOUPS 21060 WITH SCORE 21111.076
AT ITER 1956 NEW BEST:: SOT 113342 SOS 51071 HAS SOPS 51071 HAS SOUS 21055 HAS SOUPS 21055 WITH SCORE 21106.071
AT ITER 1961 NEW BEST:: SOT 113353 SOS 51082 HAS SOPS 51082 HAS SOUS 21048 HAS SOUPS 21048 WITH SCORE 21099.082
AT ITER 1962 NEW BEST:: SOT 113347 SOS 51073 HAS SOPS 51073 HAS SOUS 21042 HAS SOUPS 21042 WITH SCORE 21093.073
AT ITER 1965 NEW BEST:: SOT 113305 SOS 51031 HAS SOPS 51031 HAS SOUS 21018 HAS SOUPS 21018 WITH SCORE 21069.031
AT ITER 1967 NEW BEST:: SOT 113310 SOS 51026 HAS SOPS 51026 HAS SOUS 21008 HAS SOUPS 21008 WITH SCORE 21059.026
AT ITER 1969 NEW BEST:: SOT 113284 SOS 51000 HAS SOPS 51000 HAS SOUS 20995 HAS SOUPS 20995 WITH SCORE 21046.0
AT ITER 1978 NEW BEST:: SOT 113245 SOS 50886 HAS SOPS 50886 HAS SOUS 20924 HAS SOUPS 20924 WITH SCORE 20974.886
AT ITER 1980 NEW BEST:: SOT 113219 SOS 50756 HAS SOPS 50756 HAS SOUS 20898 HAS SOUPS 20898 WITH SCORE 20948.756
AT ITER 1981 NEW BEST:: SOT 113210 SOS 50761 HAS SOPS 50761 HAS SOUS 20871 HAS SOUPS 20871 WITH SCORE 20921.761
AT ITER 1986 NEW BEST:: SOT 113076 SOS 50599 HAS SOPS 50599 HAS SOUS 20855 HAS SOUPS 20855 WITH SCORE 20905.599
AT ITER 2000 NEW BEST:: SOT 113071 SOS 50589 HAS SOPS 50589 HAS SOUS 20845 HAS SOUPS 20845 WITH SCORE 20895.589
AT ITER 2011 NEW BEST:: SOT 113071 SOS 50589 HAS SOPS 50589 HAS SOUS 20841 HAS SOUPS 20841 WITH SCORE 20891.589
AT ITER 2030 NEW BEST:: SOT 113021 SOS 51157 HAS SOPS 51157 HAS SOUS 20834 HAS SOUPS 20834 WITH SCORE 20885.157
AT ITER 2041 NEW BEST:: SOT 113026 SOS 51152 HAS SOPS 51152 HAS SOUS 20834 HAS SOUPS 20834 WITH SCORE 20885.152
AT ITER 2048 NEW BEST:: SOT 112960 SOS 51072 HAS SOPS 51072 HAS SOUS 20810 HAS SOUPS 20810 WITH SCORE 20861.072
AT ITER 2055 NEW BEST:: SOT 112960 SOS 51012 HAS SOPS 51012 HAS SOUS 20805 HAS SOUPS 20805 WITH SCORE 20856.012
AT ITER 2072 NEW BEST:: SOT 112949 SOS 51031 HAS SOPS 51031 HAS SOUS 20794 HAS SOUPS 20794 WITH SCORE 20845.031
AT ITER 2073 NEW BEST:: SOT 112949 SOS 51029 HAS SOPS 51029 HAS SOUS 20792 HAS SOUPS 20792 WITH SCORE 20843.029
AT ITER 2079 NEW BEST:: SOT 112944 SOS 50981 HAS SOPS 50981 HAS SOUS 20758 HAS SOUPS 20758 WITH SCORE 20808.981
AT ITER 2086 NEW BEST:: SOT 112906 SOS 51019 HAS SOPS 51019 HAS SOUS 20682 HAS SOUPS 20682 WITH SCORE 20733.019
AT ITER 2097 NEW BEST:: SOT 113084 SOS 51171 HAS SOPS 51171 HAS SOUS 20626 HAS SOUPS 20626 WITH SCORE 20677.171
AT ITER 2101 NEW BEST:: SOT 113084 SOS 51180 HAS SOPS 51180 HAS SOUS 20617 HAS SOUPS 20617 WITH SCORE 20668.18
AT ITER 2132 NEW BEST:: SOT 113065 SOS 51138 HAS SOPS 51138 HAS SOUS 20575 HAS SOUPS 20575 WITH SCORE 20626.138
AT ITER 2161 NEW BEST:: SOT 113095 SOS 51096 HAS SOPS 51096 HAS SOUS 20536 HAS SOUPS 20536 WITH SCORE 20587.096
AT ITER 2165 NEW BEST:: SOT 113095 SOS 51096 HAS SOPS 51096 HAS SOUS 20532 HAS SOUPS 20532 WITH SCORE 20583.096
AT ITER 2166 NEW BEST:: SOT 113120 SOS 51194 HAS SOPS 51194 HAS SOUS 20462 HAS SOUPS 20462 WITH SCORE 20513.194
AT ITER 2170 NEW BEST:: SOT 113102 SOS 51140 HAS SOPS 51140 HAS SOUS 20444 HAS SOUPS 20444 WITH SCORE 20495.14
AT ITER 2185 NEW BEST:: SOT 113102 SOS 51252 HAS SOPS 51252 HAS SOUS 20422 HAS SOUPS 20422 WITH SCORE 20473.252
AT ITER 2200 NEW BEST:: SOT 113012 SOS 51198 HAS SOPS 51198 HAS SOUS 20348 HAS SOUPS 20348 WITH SCORE 20399.198
AT ITER 2214 NEW BEST:: SOT 113032 SOS 51330 HAS SOPS 51330 HAS SOUS 20345 HAS SOUPS 20345 WITH SCORE 20396.33
AT ITER 2244 NEW BEST:: SOT 113025 SOS 51330 HAS SOPS 51330 HAS SOUS 20338 HAS SOUPS 20338 WITH SCORE 20389.33
AT ITER 2248 NEW BEST:: SOT 113014 SOS 51319 HAS SOPS 51319 HAS SOUS 20327 HAS SOUPS 20327 WITH SCORE 20378.319
AT ITER 2257 NEW BEST:: SOT 113021 SOS 51326 HAS SOPS 51326 HAS SOUS 20288 HAS SOUPS 20288 WITH SCORE 20339.326
AT ITER 2277 NEW BEST:: SOT 113077 SOS 51438 HAS SOPS 51438 HAS SOUS 20266 HAS SOUPS 20266 WITH SCORE 20317.438
AT ITER 2282 NEW BEST:: SOT 113080 SOS 51434 HAS SOPS 51434 HAS SOUS 20262 HAS SOUPS 20262 WITH SCORE 20313.434
AT ITER 2286 NEW BEST:: SOT 113080 SOS 51434 HAS SOPS 51434 HAS SOUS 20222 HAS SOUPS 20222 WITH SCORE 20273.434
AT ITER 2287 NEW BEST:: SOT 113009 SOS 50659 HAS SOPS 50659 HAS SOUS 20202 HAS SOUPS 20202 WITH SCORE 20252.659
AT ITER 2293 NEW BEST:: SOT 113017 SOS 50645 HAS SOPS 50645 HAS SOUS 20173 HAS SOUPS 20173 WITH SCORE 20223.645
AT ITER 2295 NEW BEST:: SOT 113003 SOS 50603 HAS SOPS 50603 HAS SOUS 20159 HAS SOUPS 20159 WITH SCORE 20209.603
AT ITER 2298 NEW BEST:: SOT 113050 SOS 50572 HAS SOPS 50572 HAS SOUS 20156 HAS SOUPS 20156 WITH SCORE 20206.572
AT ITER 2304 NEW BEST:: SOT 113056 SOS 50519 HAS SOPS 50519 HAS SOUS 20006 HAS SOUPS 20006 WITH SCORE 20056.519
AT ITER 2307 NEW BEST:: SOT 113056 SOS 50531 HAS SOPS 50531 HAS SOUS 20002 HAS SOUPS 20002 WITH SCORE 20052.531
AT ITER 2333 NEW BEST:: SOT 113092 SOS 50423 HAS SOPS 50423 HAS SOUS 20002 HAS SOUPS 20002 WITH SCORE 20052.423
AT ITER 2352 NEW BEST:: SOT 113092 SOS 50397 HAS SOPS 50397 HAS SOUS 20002 HAS SOUPS 20002 WITH SCORE 20052.397
AT ITER 2370 NEW BEST:: SOT 113088 SOS 50389 HAS SOPS 50389 HAS SOUS 19998 HAS SOUPS 19998 WITH SCORE 20048.389
AT ITER 2376 NEW BEST:: SOT 113088 SOS 50389 HAS SOPS 50389 HAS SOUS 19985 HAS SOUPS 19985 WITH SCORE 20035.389
AT ITER 2399 NEW BEST:: SOT 113088 SOS 50380 HAS SOPS 50380 HAS SOUS 19985 HAS SOUPS 19985 WITH SCORE 20035.38
AT ITER 2427 NEW BEST:: SOT 112986 SOS 50224 HAS SOPS 50224 HAS SOUS 19950 HAS SOUPS 19950 WITH SCORE 20000.224
AT ITER 2435 NEW BEST:: SOT 112912 SOS 49910 HAS SOPS 49910 HAS SOUS 19876 HAS SOUPS 19876 WITH SCORE 19925.91
AT ITER 2448 NEW BEST:: SOT 112912 SOS 49910 HAS SOPS 49910 HAS SOUS 19863 HAS SOUPS 19863 WITH SCORE 19912.91
AT ITER 2468 NEW BEST:: SOT 112887 SOS 49908 HAS SOPS 49908 HAS SOUS 19846 HAS SOUPS 19846 WITH SCORE 19895.908
AT ITER 2469 NEW BEST:: SOT 112887 SOS 49788 HAS SOPS 49788 HAS SOUS 19827 HAS SOUPS 19827 WITH SCORE 19876.788
AT ITER 2507 NEW BEST:: SOT 112885 SOS 49799 HAS SOPS 49799 HAS SOUS 19823 HAS SOUPS 19823 WITH SCORE 19872.799
AT ITER 2518 NEW BEST:: SOT 112796 SOS 49679 HAS SOPS 49679 HAS SOUS 19701 HAS SOUPS 19701 WITH SCORE 19750.679
AT ITER 2523 NEW BEST:: SOT 112802 SOS 49703 HAS SOPS 49703 HAS SOUS 19688 HAS SOUPS 19688 WITH SCORE 19737.703
AT ITER 2529 NEW BEST:: SOT 112810 SOS 49711 HAS SOPS 49711 HAS SOUS 19687 HAS SOUPS 19687 WITH SCORE 19736.711
AT ITER 2531 NEW BEST:: SOT 112810 SOS 49719 HAS SOPS 49719 HAS SOUS 19686 HAS SOUPS 19686 WITH SCORE 19735.719
AT ITER 2538 NEW BEST:: SOT 112764 SOS 49673 HAS SOPS 49673 HAS SOUS 19596 HAS SOUPS 19596 WITH SCORE 19645.673
AT ITER 2576 NEW BEST:: SOT 112763 SOS 49672 HAS SOPS 49672 HAS SOUS 19594 HAS SOUPS 19594 WITH SCORE 19643.672
AT ITER 2579 NEW BEST:: SOT 112723 SOS 49608 HAS SOPS 49608 HAS SOUS 19530 HAS SOUPS 19530 WITH SCORE 19579.608
AT ITER 2606 NEW BEST:: SOT 112723 SOS 49608 HAS SOPS 49608 HAS SOUS 19511 HAS SOUPS 19511 WITH SCORE 19560.608
AT ITER 2626 NEW BEST:: SOT 112728 SOS 49618 HAS SOPS 49618 HAS SOUS 19498 HAS SOUPS 19498 WITH SCORE 19547.618
AT ITER 2630 NEW BEST:: SOT 112727 SOS 49617 HAS SOPS 49617 HAS SOUS 19493 HAS SOUPS 19493 WITH SCORE 19542.617
AT ITER 2638 NEW BEST:: SOT 112740 SOS 49560 HAS SOPS 49560 HAS SOUS 19460 HAS SOUPS 19460 WITH SCORE 19509.56
AT ITER 2641 NEW BEST:: SOT 112704 SOS 49480 HAS SOPS 49480 HAS SOUS 19441 HAS SOUPS 19441 WITH SCORE 19490.48
AT ITER 2655 NEW BEST:: SOT 112700 SOS 49482 HAS SOPS 49482 HAS SOUS 19413 HAS SOUPS 19413 WITH SCORE 19462.482
AT ITER 2661 NEW BEST:: SOT 112700 SOS 49485 HAS SOPS 49485 HAS SOUS 19412 HAS SOUPS 19412 WITH SCORE 19461.485
AT ITER 2663 NEW BEST:: SOT 112695 SOS 49467 HAS SOPS 49467 HAS SOUS 19412 HAS SOUPS 19412 WITH SCORE 19461.467
AT ITER 2670 NEW BEST:: SOT 112695 SOS 49462 HAS SOPS 49462 HAS SOUS 19412 HAS SOUPS 19412 WITH SCORE 19461.462
AT ITER 2684 NEW BEST:: SOT 112675 SOS 49422 HAS SOPS 49422 HAS SOUS 19372 HAS SOUPS 19372 WITH SCORE 19421.422
AT ITER 2693 NEW BEST:: SOT 112675 SOS 49422 HAS SOPS 49422 HAS SOUS 19366 HAS SOUPS 19366 WITH SCORE 19415.422
AT ITER 2705 NEW BEST:: SOT 112657 SOS 49380 HAS SOPS 49380 HAS SOUS 19318 HAS SOUPS 19318 WITH SCORE 19367.38
AT ITER 2710 NEW BEST:: SOT 112613 SOS 49730 HAS SOPS 49730 HAS SOUS 19274 HAS SOUPS 19274 WITH SCORE 19323.73
AT ITER 2733 NEW BEST:: SOT 112605 SOS 49714 HAS SOPS 49714 HAS SOUS 19272 HAS SOUPS 19272 WITH SCORE 19321.714
AT ITER 2735 NEW BEST:: SOT 112613 SOS 49586 HAS SOPS 49586 HAS SOUS 19255 HAS SOUPS 19255 WITH SCORE 19304.586
AT ITER 2748 NEW BEST:: SOT 112598 SOS 49784 HAS SOPS 49784 HAS SOUS 19241 HAS SOUPS 19241 WITH SCORE 19290.784
AT ITER 2755 NEW BEST:: SOT 112596 SOS 49780 HAS SOPS 49780 HAS SOUS 19237 HAS SOUPS 19237 WITH SCORE 19286.78
AT ITER 2769 NEW BEST:: SOT 112578 SOS 49744 HAS SOPS 49744 HAS SOUS 19219 HAS SOUPS 19219 WITH SCORE 19268.744
AT ITER 2805 NEW BEST:: SOT 112547 SOS 49704 HAS SOPS 49704 HAS SOUS 19189 HAS SOUPS 19189 WITH SCORE 19238.704
AT ITER 2819 NEW BEST:: SOT 112568 SOS 49725 HAS SOPS 49725 HAS SOUS 19182 HAS SOUPS 19182 WITH SCORE 19231.725
AT ITER 2824 NEW BEST:: SOT 112566 SOS 49749 HAS SOPS 49749 HAS SOUS 19138 HAS SOUPS 19138 WITH SCORE 19187.749
AT ITER 2850 NEW BEST:: SOT 112532 SOS 49681 HAS SOPS 49681 HAS SOUS 19100 HAS SOUPS 19100 WITH SCORE 19149.681
AT ITER 2876 NEW BEST:: SOT 112576 SOS 49726 HAS SOPS 49726 HAS SOUS 19078 HAS SOUPS 19078 WITH SCORE 19127.726
AT ITER 2881 NEW BEST:: SOT 112576 SOS 49718 HAS SOPS 49718 HAS SOUS 19059 HAS SOUPS 19059 WITH SCORE 19108.718
AT ITER 2883 NEW BEST:: SOT 112553 SOS 49695 HAS SOPS 49695 HAS SOUS 19033 HAS SOUPS 19033 WITH SCORE 19082.695
AT ITER 2886 NEW BEST:: SOT 112557 SOS 49607 HAS SOPS 49607 HAS SOUS 18985 HAS SOUPS 18985 WITH SCORE 19034.607
AT ITER 2894 NEW BEST:: SOT 112557 SOS 49599 HAS SOPS 49599 HAS SOUS 18981 HAS SOUPS 18981 WITH SCORE 19030.599
AT ITER 2900 NEW BEST:: SOT 112557 SOS 49599 HAS SOPS 49599 HAS SOUS 18972 HAS SOUPS 18972 WITH SCORE 19021.599
AT ITER 2905 NEW BEST:: SOT 112607 SOS 49699 HAS SOPS 49699 HAS SOUS 18946 HAS SOUPS 18946 WITH SCORE 18995.699
AT ITER 2937 NEW BEST:: SOT 112340 SOS 49518 HAS SOPS 49518 HAS SOUS 18923 HAS SOUPS 18923 WITH SCORE 18972.518
AT ITER 2944 NEW BEST:: SOT 112340 SOS 49500 HAS SOPS 49500 HAS SOUS 18914 HAS SOUPS 18914 WITH SCORE 18963.5
AT ITER 2951 NEW BEST:: SOT 112346 SOS 49483 HAS SOPS 49483 HAS SOUS 18897 HAS SOUPS 18897 WITH SCORE 18946.483
AT ITER 2979 NEW BEST:: SOT 112360 SOS 49483 HAS SOPS 49483 HAS SOUS 18873 HAS SOUPS 18873 WITH SCORE 18922.483
AT ITER 2998 NEW BEST:: SOT 112345 SOS 49453 HAS SOPS 49453 HAS SOUS 18858 HAS SOUPS 18858 WITH SCORE 18907.453
AT ITER 3027 NEW BEST:: SOT 112345 SOS 49453 HAS SOPS 49453 HAS SOUS 18845 HAS SOUPS 18845 WITH SCORE 18894.453
AT ITER 3035 NEW BEST:: SOT 112316 SOS 49425 HAS SOPS 49425 HAS SOUS 18815 HAS SOUPS 18815 WITH SCORE 18864.425
AT ITER 3036 NEW BEST:: SOT 112177 SOS 51400 HAS SOPS 51400 HAS SOUS 18794 HAS SOUPS 18794 WITH SCORE 18845.4
AT ITER 3083 NEW BEST:: SOT 112176 SOS 51426 HAS SOPS 51426 HAS SOUS 18793 HAS SOUPS 18793 WITH SCORE 18844.426
AT ITER 3100 NEW BEST:: SOT 112152 SOS 51352 HAS SOPS 51352 HAS SOUS 18745 HAS SOUPS 18745 WITH SCORE 18796.352
AT ITER 3107 NEW BEST:: SOT 112128 SOS 51344 HAS SOPS 51344 HAS SOUS 18739 HAS SOUPS 18739 WITH SCORE 18790.344
AT ITER 3118 NEW BEST:: SOT 112127 SOS 51413 HAS SOPS 51413 HAS SOUS 18731 HAS SOUPS 18731 WITH SCORE 18782.413
AT ITER 3126 NEW BEST:: SOT 112126 SOS 51411 HAS SOPS 51411 HAS SOUS 18730 HAS SOUPS 18730 WITH SCORE 18781.411
AT ITER 3196 NEW BEST:: SOT 111242 SOS 51137 HAS SOPS 51137 HAS SOUS 18252 HAS SOUPS 18252 WITH SCORE 18303.137
AT ITER 3197 NEW BEST:: SOT 111260 SOS 51187 HAS SOPS 51187 HAS SOUS 18217 HAS SOUPS 18217 WITH SCORE 18268.187
AT ITER 3200 NEW BEST:: SOT 111262 SOS 51183 HAS SOPS 51183 HAS SOUS 18217 HAS SOUPS 18217 WITH SCORE 18268.183
AT ITER 3218 NEW BEST:: SOT 111262 SOS 51309 HAS SOPS 51309 HAS SOUS 18207 HAS SOUPS 18207 WITH SCORE 18258.309
AT ITER 3223 NEW BEST:: SOT 111271 SOS 51318 HAS SOPS 51318 HAS SOUS 18168 HAS SOUPS 18168 WITH SCORE 18219.318
AT ITER 3230 NEW BEST:: SOT 111313 SOS 51304 HAS SOPS 51304 HAS SOUS 18168 HAS SOUPS 18168 WITH SCORE 18219.304
AT ITER 3231 NEW BEST:: SOT 111249 SOS 51175 HAS SOPS 51175 HAS SOUS 18148 HAS SOUPS 18148 WITH SCORE 18199.175
AT ITER 3236 NEW BEST:: SOT 111249 SOS 51175 HAS SOPS 51175 HAS SOUS 18134 HAS SOUPS 18134 WITH SCORE 18185.175
AT ITER 3237 NEW BEST:: SOT 111243 SOS 51292 HAS SOPS 51292 HAS SOUS 18128 HAS SOUPS 18128 WITH SCORE 18179.292
AT ITER 3252 NEW BEST:: SOT 111035 SOS 51084 HAS SOPS 51084 HAS SOUS 18047 HAS SOUPS 18047 WITH SCORE 18098.084
AT ITER 3266 NEW BEST:: SOT 111035 SOS 51056 HAS SOPS 51056 HAS SOUS 18042 HAS SOUPS 18042 WITH SCORE 18093.056
AT ITER 3296 NEW BEST:: SOT 111068 SOS 51009 HAS SOPS 51009 HAS SOUS 17995 HAS SOUPS 17995 WITH SCORE 18046.009
AT ITER 3308 NEW BEST:: SOT 110737 SOS 50672 HAS SOPS 50672 HAS SOUS 17932 HAS SOUPS 17932 WITH SCORE 17982.672
AT ITER 3309 NEW BEST:: SOT 110742 SOS 50360 HAS SOPS 50360 HAS SOUS 17907 HAS SOUPS 17907 WITH SCORE 17957.36
AT ITER 3369 NEW BEST:: SOT 110736 SOS 50378 HAS SOPS 50378 HAS SOUS 17901 HAS SOUPS 17901 WITH SCORE 17951.378
AT ITER 3375 NEW BEST:: SOT 110735 SOS 50377 HAS SOPS 50377 HAS SOUS 17899 HAS SOUPS 17899 WITH SCORE 17949.377
AT ITER 3379 NEW BEST:: SOT 110715 SOS 50357 HAS SOPS 50357 HAS SOUS 17880 HAS SOUPS 17880 WITH SCORE 17930.357
AT ITER 3396 NEW BEST:: SOT 110683 SOS 50167 HAS SOPS 50167 HAS SOUS 17867 HAS SOUPS 17867 WITH SCORE 17917.167
AT ITER 3415 NEW BEST:: SOT 110683 SOS 50156 HAS SOPS 50156 HAS SOUS 17862 HAS SOUPS 17862 WITH SCORE 17912.156
AT ITER 3429 NEW BEST:: SOT 110682 SOS 50187 HAS SOPS 50187 HAS SOUS 17860 HAS SOUPS 17860 WITH SCORE 17910.187
AT ITER 3434 NEW BEST:: SOT 110657 SOS 50261 HAS SOPS 50261 HAS SOUS 17837 HAS SOUPS 17837 WITH SCORE 17887.261
AT ITER 3437 NEW BEST:: SOT 110562 SOS 50183 HAS SOPS 50183 HAS SOUS 17777 HAS SOUPS 17777 WITH SCORE 17827.183
AT ITER 3438 NEW BEST:: SOT 110558 SOS 50179 HAS SOPS 50179 HAS SOUS 17773 HAS SOUPS 17773 WITH SCORE 17823.179
AT ITER 3439 NEW BEST:: SOT 110558 SOS 50141 HAS SOPS 50141 HAS SOUS 17768 HAS SOUPS 17768 WITH SCORE 17818.141
AT ITER 3441 NEW BEST:: SOT 110536 SOS 50109 HAS SOPS 50109 HAS SOUS 17746 HAS SOUPS 17746 WITH SCORE 17796.109
AT ITER 3515 NEW BEST:: SOT 110509 SOS 50120 HAS SOPS 50120 HAS SOUS 17737 HAS SOUPS 17737 WITH SCORE 17787.12
AT ITER 3519 NEW BEST:: SOT 110371 SOS 49942 HAS SOPS 49942 HAS SOUS 17599 HAS SOUPS 17599 WITH SCORE 17648.942
AT ITER 3528 NEW BEST:: SOT 110357 SOS 49928 HAS SOPS 49928 HAS SOUS 17586 HAS SOUPS 17586 WITH SCORE 17635.928
AT ITER 3534 NEW BEST:: SOT 110357 SOS 49930 HAS SOPS 49930 HAS SOUS 17584 HAS SOUPS 17584 WITH SCORE 17633.93
AT ITER 3540 NEW BEST:: SOT 110355 SOS 49928 HAS SOPS 49928 HAS SOUS 17582 HAS SOUPS 17582 WITH SCORE 17631.928
AT ITER 3558 NEW BEST:: SOT 110286 SOS 49884 HAS SOPS 49884 HAS SOUS 17534 HAS SOUPS 17534 WITH SCORE 17583.884
AT ITER 3570 NEW BEST:: SOT 110283 SOS 49853 HAS SOPS 49853 HAS SOUS 17523 HAS SOUPS 17523 WITH SCORE 17572.853
AT ITER 3580 NEW BEST:: SOT 110283 SOS 49835 HAS SOPS 49835 HAS SOUS 17523 HAS SOUPS 17523 WITH SCORE 17572.835
AT ITER 3610 NEW BEST:: SOT 110323 SOS 49822 HAS SOPS 49822 HAS SOUS 17508 HAS SOUPS 17508 WITH SCORE 17557.822
AT ITER 3630 NEW BEST:: SOT 110326 SOS 49799 HAS SOPS 49799 HAS SOUS 17489 HAS SOUPS 17489 WITH SCORE 17538.799
AT ITER 3632 NEW BEST:: SOT 110249 SOS 49722 HAS SOPS 49722 HAS SOUS 17424 HAS SOUPS 17424 WITH SCORE 17473.722
AT ITER 3640 NEW BEST:: SOT 110276 SOS 49749 HAS SOPS 49749 HAS SOUS 17404 HAS SOUPS 17404 WITH SCORE 17453.749
AT ITER 3645 NEW BEST:: SOT 110279 SOS 49751 HAS SOPS 49751 HAS SOUS 17401 HAS SOUPS 17401 WITH SCORE 17450.751
AT ITER 3656 NEW BEST:: SOT 110283 SOS 49755 HAS SOPS 49755 HAS SOUS 17398 HAS SOUPS 17398 WITH SCORE 17447.755
AT ITER 3664 NEW BEST:: SOT 110252 SOS 49696 HAS SOPS 49696 HAS SOUS 17390 HAS SOUPS 17390 WITH SCORE 17439.696
AT ITER 3665 NEW BEST:: SOT 110246 SOS 49684 HAS SOPS 49684 HAS SOUS 17380 HAS SOUPS 17380 WITH SCORE 17429.684
AT ITER 3686 NEW BEST:: SOT 110268 SOS 49654 HAS SOPS 49654 HAS SOUS 17378 HAS SOUPS 17378 WITH SCORE 17427.654
AT ITER 3689 NEW BEST:: SOT 110268 SOS 49634 HAS SOPS 49634 HAS SOUS 17378 HAS SOUPS 17378 WITH SCORE 17427.634
AT ITER 3709 NEW BEST:: SOT 110252 SOS 49594 HAS SOPS 49594 HAS SOUS 17356 HAS SOUPS 17356 WITH SCORE 17405.594
AT ITER 3725 NEW BEST:: SOT 110239 SOS 49653 HAS SOPS 49653 HAS SOUS 17335 HAS SOUPS 17335 WITH SCORE 17384.653
AT ITER 3727 NEW BEST:: SOT 110213 SOS 49603 HAS SOPS 49603 HAS SOUS 17301 HAS SOUPS 17301 WITH SCORE 17350.603
AT ITER 3737 NEW BEST:: SOT 110218 SOS 49588 HAS SOPS 49588 HAS SOUS 17301 HAS SOUPS 17301 WITH SCORE 17350.588
AT ITER 3740 NEW BEST:: SOT 110210 SOS 49569 HAS SOPS 49569 HAS SOUS 17282 HAS SOUPS 17282 WITH SCORE 17331.569
AT ITER 3748 NEW BEST:: SOT 110211 SOS 49568 HAS SOPS 49568 HAS SOUS 17282 HAS SOUPS 17282 WITH SCORE 17331.568
AT ITER 3761 NEW BEST:: SOT 110211 SOS 49558 HAS SOPS 49558 HAS SOUS 17278 HAS SOUPS 17278 WITH SCORE 17327.558
AT ITER 3764 NEW BEST:: SOT 110205 SOS 49552 HAS SOPS 49552 HAS SOUS 17272 HAS SOUPS 17272 WITH SCORE 17321.552
AT ITER 3834 NEW BEST:: SOT 110190 SOS 49552 HAS SOPS 49552 HAS SOUS 17262 HAS SOUPS 17262 WITH SCORE 17311.552
AT ITER 3847 NEW BEST:: SOT 110266 SOS 49639 HAS SOPS 49639 HAS SOUS 17252 HAS SOUPS 17252 WITH SCORE 17301.639
AT ITER 3863 NEW BEST:: SOT 110266 SOS 49615 HAS SOPS 49615 HAS SOUS 17158 HAS SOUPS 17158 WITH SCORE 17207.615
AT ITER 3879 NEW BEST:: SOT 110266 SOS 49642 HAS SOPS 49642 HAS SOUS 17138 HAS SOUPS 17138 WITH SCORE 17187.642
AT ITER 3911 NEW BEST:: SOT 110263 SOS 49616 HAS SOPS 49616 HAS SOUS 17128 HAS SOUPS 17128 WITH SCORE 17177.616
AT ITER 3935 NEW BEST:: SOT 110258 SOS 49608 HAS SOPS 49608 HAS SOUS 17123 HAS SOUPS 17123 WITH SCORE 17172.608
AT ITER 3979 NEW BEST:: SOT 110251 SOS 49601 HAS SOPS 49601 HAS SOUS 17120 HAS SOUPS 17120 WITH SCORE 17169.601
AT ITER 3987 NEW BEST:: SOT 110239 SOS 49585 HAS SOPS 49585 HAS SOUS 17104 HAS SOUPS 17104 WITH SCORE 17153.585
AT ITER 3990 NEW BEST:: SOT 110224 SOS 49555 HAS SOPS 49555 HAS SOUS 17089 HAS SOUPS 17089 WITH SCORE 17138.555
AT ITER 3992 NEW BEST:: SOT 110224 SOS 49549 HAS SOPS 49549 HAS SOUS 17089 HAS SOUPS 17089 WITH SCORE 17138.549
AT ITER 3995 NEW BEST:: SOT 110219 SOS 49549 HAS SOPS 49549 HAS SOUS 17085 HAS SOUPS 17085 WITH SCORE 17134.549
AT ITER 3998 NEW BEST:: SOT 110218 SOS 49543 HAS SOPS 49543 HAS SOUS 17082 HAS SOUPS 17082 WITH SCORE 17131.543
AT ITER 4013 NEW BEST:: SOT 110189 SOS 49483 HAS SOPS 49483 HAS SOUS 17053 HAS SOUPS 17053 WITH SCORE 17102.483
AT ITER 4021 NEW BEST:: SOT 110189 SOS 49463 HAS SOPS 49463 HAS SOUS 17036 HAS SOUPS 17036 WITH SCORE 17085.463
AT ITER 4033 NEW BEST:: SOT 110183 SOS 49449 HAS SOPS 49449 HAS SOUS 17032 HAS SOUPS 17032 WITH SCORE 17081.449
AT ITER 4064 NEW BEST:: SOT 110207 SOS 49261 HAS SOPS 49261 HAS SOUS 17024 HAS SOUPS 17024 WITH SCORE 17073.261
AT ITER 4087 NEW BEST:: SOT 110197 SOS 49171 HAS SOPS 49171 HAS SOUS 17010 HAS SOUPS 17010 WITH SCORE 17059.171
AT ITER 4097 NEW BEST:: SOT 110197 SOS 49151 HAS SOPS 49151 HAS SOUS 17006 HAS SOUPS 17006 WITH SCORE 17055.151
AT ITER 4099 NEW BEST:: SOT 110195 SOS 49161 HAS SOPS 49161 HAS SOUS 17004 HAS SOUPS 17004 WITH SCORE 17053.161
AT ITER 4101 NEW BEST:: SOT 110182 SOS 49151 HAS SOPS 49151 HAS SOUS 16986 HAS SOUPS 16986 WITH SCORE 17035.151
AT ITER 4107 NEW BEST:: SOT 110198 SOS 49143 HAS SOPS 49143 HAS SOUS 16974 HAS SOUPS 16974 WITH SCORE 17023.143
AT ITER 4132 NEW BEST:: SOT 110198 SOS 49125 HAS SOPS 49125 HAS SOUS 16956 HAS SOUPS 16956 WITH SCORE 17005.125
AT ITER 4187 NEW BEST:: SOT 110192 SOS 49119 HAS SOPS 49119 HAS SOUS 16954 HAS SOUPS 16954 WITH SCORE 17003.119
AT ITER 4192 NEW BEST:: SOT 110192 SOS 49109 HAS SOPS 49109 HAS SOUS 16944 HAS SOUPS 16944 WITH SCORE 16993.109
AT ITER 4209 NEW BEST:: SOT 110282 SOS 49117 HAS SOPS 49117 HAS SOUS 16889 HAS SOUPS 16889 WITH SCORE 16938.117
AT ITER 4224 NEW BEST:: SOT 110276 SOS 49183 HAS SOPS 49183 HAS SOUS 16877 HAS SOUPS 16877 WITH SCORE 16926.183
AT ITER 4241 NEW BEST:: SOT 110298 SOS 49205 HAS SOPS 49205 HAS SOUS 16875 HAS SOUPS 16875 WITH SCORE 16924.205
AT ITER 4252 NEW BEST:: SOT 110292 SOS 49187 HAS SOPS 49187 HAS SOUS 16875 HAS SOUPS 16875 WITH SCORE 16924.187
AT ITER 4257 NEW BEST:: SOT 110292 SOS 49192 HAS SOPS 49192 HAS SOUS 16874 HAS SOUPS 16874 WITH SCORE 16923.192
AT ITER 4295 NEW BEST:: SOT 110284 SOS 49184 HAS SOPS 49184 HAS SOUS 16858 HAS SOUPS 16858 WITH SCORE 16907.184
AT ITER 4305 NEW BEST:: SOT 110306 SOS 49222 HAS SOPS 49222 HAS SOUS 16848 HAS SOUPS 16848 WITH SCORE 16897.222
AT ITER 4307 NEW BEST:: SOT 110298 SOS 49214 HAS SOPS 49214 HAS SOUS 16840 HAS SOUPS 16840 WITH SCORE 16889.214
AT ITER 4318 NEW BEST:: SOT 110298 SOS 49214 HAS SOPS 49214 HAS SOUS 16837 HAS SOUPS 16837 WITH SCORE 16886.214
AT ITER 4349 NEW BEST:: SOT 110310 SOS 49294 HAS SOPS 49294 HAS SOUS 16826 HAS SOUPS 16826 WITH SCORE 16875.294
AT ITER 4378 NEW BEST:: SOT 110345 SOS 49250 HAS SOPS 49250 HAS SOUS 16804 HAS SOUPS 16804 WITH SCORE 16853.25
AT ITER 4382 NEW BEST:: SOT 110342 SOS 49286 HAS SOPS 49286 HAS SOUS 16772 HAS SOUPS 16772 WITH SCORE 16821.286
AT ITER 4394 NEW BEST:: SOT 110282 SOS 49226 HAS SOPS 49226 HAS SOUS 16744 HAS SOUPS 16744 WITH SCORE 16793.226
AT ITER 4396 NEW BEST:: SOT 110282 SOS 49205 HAS SOPS 49205 HAS SOUS 16744 HAS SOUPS 16744 WITH SCORE 16793.205
AT ITER 4434 NEW BEST:: SOT 110287 SOS 49210 HAS SOPS 49210 HAS SOUS 16739 HAS SOUPS 16739 WITH SCORE 16788.21
AT ITER 4525 NEW BEST:: SOT 110296 SOS 49160 HAS SOPS 49160 HAS SOUS 16738 HAS SOUPS 16738 WITH SCORE 16787.16
AT ITER 4535 NEW BEST:: SOT 110232 SOS 49032 HAS SOPS 49032 HAS SOUS 16694 HAS SOUPS 16694 WITH SCORE 16743.032
AT ITER 4549 NEW BEST:: SOT 110195 SOS 48776 HAS SOPS 48776 HAS SOUS 16602 HAS SOUPS 16602 WITH SCORE 16650.776
AT ITER 4567 NEW BEST:: SOT 110194 SOS 48777 HAS SOPS 48777 HAS SOUS 16601 HAS SOUPS 16601 WITH SCORE 16649.777
AT ITER 4583 NEW BEST:: SOT 110185 SOS 48759 HAS SOPS 48759 HAS SOUS 16583 HAS SOUPS 16583 WITH SCORE 16631.759
AT ITER 4610 NEW BEST:: SOT 110179 SOS 48753 HAS SOPS 48753 HAS SOUS 16577 HAS SOUPS 16577 WITH SCORE 16625.753
AT ITER 4624 NEW BEST:: SOT 110191 SOS 48765 HAS SOPS 48765 HAS SOUS 16573 HAS SOUPS 16573 WITH SCORE 16621.765
AT ITER 4635 NEW BEST:: SOT 110185 SOS 48841 HAS SOPS 48841 HAS SOUS 16537 HAS SOUPS 16537 WITH SCORE 16585.841
AT ITER 4664 NEW BEST:: SOT 110184 SOS 48839 HAS SOPS 48839 HAS SOUS 16536 HAS SOUPS 16536 WITH SCORE 16584.839
AT ITER 4667 NEW BEST:: SOT 110165 SOS 48813 HAS SOPS 48813 HAS SOUS 16536 HAS SOUPS 16536 WITH SCORE 16584.813
AT ITER 4695 NEW BEST:: SOT 110162 SOS 48813 HAS SOPS 48813 HAS SOUS 16533 HAS SOUPS 16533 WITH SCORE 16581.813
AT ITER 4740 NEW BEST:: SOT 110162 SOS 48787 HAS SOPS 48787 HAS SOUS 16520 HAS SOUPS 16520 WITH SCORE 16568.787
AT ITER 4741 NEW BEST:: SOT 110138 SOS 48757 HAS SOPS 48757 HAS SOUS 16514 HAS SOUPS 16514 WITH SCORE 16562.757
AT ITER 4745 NEW BEST:: SOT 110138 SOS 48757 HAS SOPS 48757 HAS SOUS 16506 HAS SOUPS 16506 WITH SCORE 16554.757
AT ITER 4750 NEW BEST:: SOT 110138 SOS 48749 HAS SOPS 48749 HAS SOUS 16505 HAS SOUPS 16505 WITH SCORE 16553.749
AT ITER 4757 NEW BEST:: SOT 110153 SOS 48764 HAS SOPS 48764 HAS SOUS 16490 HAS SOUPS 16490 WITH SCORE 16538.764
AT ITER 4770 NEW BEST:: SOT 110147 SOS 48773 HAS SOPS 48773 HAS SOUS 16478 HAS SOUPS 16478 WITH SCORE 16526.773
AT ITER 4788 NEW BEST:: SOT 110147 SOS 48765 HAS SOPS 48765 HAS SOUS 16478 HAS SOUPS 16478 WITH SCORE 16526.765
AT ITER 4790 NEW BEST:: SOT 110162 SOS 48770 HAS SOPS 48770 HAS SOUS 16466 HAS SOUPS 16466 WITH SCORE 16514.77
AT ITER 4804 NEW BEST:: SOT 110127 SOS 48770 HAS SOPS 48770 HAS SOUS 16459 HAS SOUPS 16459 WITH SCORE 16507.77
AT ITER 4874 NEW BEST:: SOT 110126 SOS 48768 HAS SOPS 48768 HAS SOUS 16457 HAS SOUPS 16457 WITH SCORE 16505.768
AT ITER 4898 NEW BEST:: SOT 110078 SOS 48720 HAS SOPS 48720 HAS SOUS 16315 HAS SOUPS 16315 WITH SCORE 16363.72
AT ITER 4901 NEW BEST:: SOT 110048 SOS 48690 HAS SOPS 48690 HAS SOUS 16311 HAS SOUPS 16311 WITH SCORE 16359.69
AT ITER 4902 NEW BEST:: SOT 109998 SOS 48554 HAS SOPS 48554 HAS SOUS 16284 HAS SOUPS 16284 WITH SCORE 16332.554
AT ITER 4916 NEW BEST:: SOT 109997 SOS 48552 HAS SOPS 48552 HAS SOUS 16282 HAS SOUPS 16282 WITH SCORE 16330.552
AT ITER 4929 NEW BEST:: SOT 110020 SOS 48583 HAS SOPS 48583 HAS SOUS 16259 HAS SOUPS 16259 WITH SCORE 16307.583
AT ITER 4934 NEW BEST:: SOT 109997 SOS 48575 HAS SOPS 48575 HAS SOUS 16254 HAS SOUPS 16254 WITH SCORE 16302.575
AT ITER 4959 NEW BEST:: SOT 109975 SOS 48553 HAS SOPS 48553 HAS SOUS 16215 HAS SOUPS 16215 WITH SCORE 16263.553
AT ITER 4971 NEW BEST:: SOT 109960 SOS 48533 HAS SOPS 48533 HAS SOUS 16200 HAS SOUPS 16200 WITH SCORE 16248.533
AT ITER 4977 NEW BEST:: SOT 109952 SOS 48508 HAS SOPS 48508 HAS SOUS 16195 HAS SOUPS 16195 WITH SCORE 16243.508
AT ITER 5005 NEW BEST:: SOT 109944 SOS 48464 HAS SOPS 48464 HAS SOUS 16193 HAS SOUPS 16193 WITH SCORE 16241.464
AT ITER 5011 NEW BEST:: SOT 109925 SOS 48470 HAS SOPS 48470 HAS SOUS 16184 HAS SOUPS 16184 WITH SCORE 16232.47
AT ITER 5014 NEW BEST:: SOT 109884 SOS 48462 HAS SOPS 48462 HAS SOUS 16180 HAS SOUPS 16180 WITH SCORE 16228.462
AT ITER 5057 NEW BEST:: SOT 109880 SOS 48458 HAS SOPS 48458 HAS SOUS 16171 HAS SOUPS 16171 WITH SCORE 16219.458
AT ITER 5078 NEW BEST:: SOT 109870 SOS 48448 HAS SOPS 48448 HAS SOUS 16166 HAS SOUPS 16166 WITH SCORE 16214.448
AT ITER 5091 NEW BEST:: SOT 109846 SOS 48421 HAS SOPS 48421 HAS SOUS 16158 HAS SOUPS 16158 WITH SCORE 16206.421
AT ITER 5110 NEW BEST:: SOT 109847 SOS 48409 HAS SOPS 48409 HAS SOUS 16112 HAS SOUPS 16112 WITH SCORE 16160.409
AT ITER 5140 NEW BEST:: SOT 109847 SOS 48406 HAS SOPS 48406 HAS SOUS 16112 HAS SOUPS 16112 WITH SCORE 16160.406
AT ITER 5152 NEW BEST:: SOT 109916 SOS 48475 HAS SOPS 48475 HAS SOUS 16097 HAS SOUPS 16097 WITH SCORE 16145.475
AT ITER 5161 NEW BEST:: SOT 109884 SOS 48397 HAS SOPS 48397 HAS SOUS 16066 HAS SOUPS 16066 WITH SCORE 16114.397
AT ITER 5206 NEW BEST:: SOT 109884 SOS 48397 HAS SOPS 48397 HAS SOUS 16043 HAS SOUPS 16043 WITH SCORE 16091.397
AT ITER 5249 NEW BEST:: SOT 109876 SOS 48353 HAS SOPS 48353 HAS SOUS 16029 HAS SOUPS 16029 WITH SCORE 16077.353
AT ITER 5250 NEW BEST:: SOT 109878 SOS 48367 HAS SOPS 48367 HAS SOUS 16027 HAS SOUPS 16027 WITH SCORE 16075.367
AT ITER 5260 NEW BEST:: SOT 109857 SOS 48384 HAS SOPS 48384 HAS SOUS 16025 HAS SOUPS 16025 WITH SCORE 16073.384
AT ITER 5265 NEW BEST:: SOT 109857 SOS 48384 HAS SOPS 48384 HAS SOUS 16020 HAS SOUPS 16020 WITH SCORE 16068.384
AT ITER 5271 NEW BEST:: SOT 109844 SOS 48364 HAS SOPS 48364 HAS SOUS 16007 HAS SOUPS 16007 WITH SCORE 16055.364
AT ITER 5299 NEW BEST:: SOT 109854 SOS 48374 HAS SOPS 48374 HAS SOUS 15989 HAS SOUPS 15989 WITH SCORE 16037.374
AT ITER 5312 NEW BEST:: SOT 109834 SOS 48370 HAS SOPS 48370 HAS SOUS 15981 HAS SOUPS 15981 WITH SCORE 16029.37
AT ITER 5346 NEW BEST:: SOT 109862 SOS 48398 HAS SOPS 48398 HAS SOUS 15979 HAS SOUPS 15979 WITH SCORE 16027.398
AT ITER 5359 NEW BEST:: SOT 109862 SOS 48368 HAS SOPS 48368 HAS SOUS 15977 HAS SOUPS 15977 WITH SCORE 16025.368
AT ITER 5374 NEW BEST:: SOT 109812 SOS 48356 HAS SOPS 48356 HAS SOUS 15964 HAS SOUPS 15964 WITH SCORE 16012.356
AT ITER 5376 NEW BEST:: SOT 109836 SOS 48354 HAS SOPS 48354 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 16006.354
AT ITER 5394 NEW BEST:: SOT 109835 SOS 48325 HAS SOPS 48325 HAS SOUS 15943 HAS SOUPS 15943 WITH SCORE 15991.325
AT ITER 5415 NEW BEST:: SOT 109889 SOS 48494 HAS SOPS 48494 HAS SOUS 15938 HAS SOUPS 15938 WITH SCORE 15986.494
AT ITER 5426 NEW BEST:: SOT 109893 SOS 48553 HAS SOPS 48553 HAS SOUS 15929 HAS SOUPS 15929 WITH SCORE 15977.553
AT ITER 5431 NEW BEST:: SOT 109892 SOS 48555 HAS SOPS 48555 HAS SOUS 15927 HAS SOUPS 15927 WITH SCORE 15975.555
AT ITER 5463 NEW BEST:: SOT 109880 SOS 48543 HAS SOPS 48543 HAS SOUS 15923 HAS SOUPS 15923 WITH SCORE 15971.543
AT ITER 5483 NEW BEST:: SOT 109880 SOS 48517 HAS SOPS 48517 HAS SOUS 15923 HAS SOUPS 15923 WITH SCORE 15971.517
AT ITER 5495 NEW BEST:: SOT 109891 SOS 48526 HAS SOPS 48526 HAS SOUS 15921 HAS SOUPS 15921 WITH SCORE 15969.526
AT ITER 5500 NEW BEST:: SOT 109792 SOS 48339 HAS SOPS 48339 HAS SOUS 15906 HAS SOUPS 15906 WITH SCORE 15954.339
AT ITER 5524 NEW BEST:: SOT 109785 SOS 48333 HAS SOPS 48333 HAS SOUS 15901 HAS SOUPS 15901 WITH SCORE 15949.333
AT ITER 5611 NEW BEST:: SOT 109759 SOS 48269 HAS SOPS 48269 HAS SOUS 15862 HAS SOUPS 15862 WITH SCORE 15910.269
AT ITER 5627 NEW BEST:: SOT 109759 SOS 48269 HAS SOPS 48269 HAS SOUS 15859 HAS SOUPS 15859 WITH SCORE 15907.269
AT ITER 5672 NEW BEST:: SOT 109757 SOS 48267 HAS SOPS 48267 HAS SOUS 15856 HAS SOUPS 15856 WITH SCORE 15904.267
AT ITER 5811 NEW BEST:: SOT 109715 SOS 48225 HAS SOPS 48225 HAS SOUS 15808 HAS SOUPS 15808 WITH SCORE 15856.225
AT ITER 5812 NEW BEST:: SOT 109715 SOS 48225 HAS SOPS 48225 HAS SOUS 15805 HAS SOUPS 15805 WITH SCORE 15853.225
AT ITER 5816 NEW BEST:: SOT 109659 SOS 48106 HAS SOPS 48106 HAS SOUS 15750 HAS SOUPS 15750 WITH SCORE 15798.106
AT ITER 5850 NEW BEST:: SOT 109658 SOS 48108 HAS SOPS 48108 HAS SOUS 15745 HAS SOUPS 15745 WITH SCORE 15793.108
AT ITER 5851 NEW BEST:: SOT 109670 SOS 48151 HAS SOPS 48151 HAS SOUS 15733 HAS SOUPS 15733 WITH SCORE 15781.151
AT ITER 5889 NEW BEST:: SOT 109667 SOS 48145 HAS SOPS 48145 HAS SOUS 15727 HAS SOUPS 15727 WITH SCORE 15775.145
AT ITER 5898 NEW BEST:: SOT 109664 SOS 48141 HAS SOPS 48141 HAS SOUS 15724 HAS SOUPS 15724 WITH SCORE 15772.141
AT ITER 5955 NEW BEST:: SOT 109648 SOS 48125 HAS SOPS 48125 HAS SOUS 15700 HAS SOUPS 15700 WITH SCORE 15748.125
AT ITER 5999 NEW BEST:: SOT 109636 SOS 48053 HAS SOPS 48053 HAS SOUS 15688 HAS SOUPS 15688 WITH SCORE 15736.053
AT ITER 6009 NEW BEST:: SOT 109636 SOS 48079 HAS SOPS 48079 HAS SOUS 15663 HAS SOUPS 15663 WITH SCORE 15711.079
AT ITER 6087 NEW BEST:: SOT 109636 SOS 48075 HAS SOPS 48075 HAS SOUS 15659 HAS SOUPS 15659 WITH SCORE 15707.075
AT ITER 6091 NEW BEST:: SOT 109636 SOS 48075 HAS SOPS 48075 HAS SOUS 15658 HAS SOUPS 15658 WITH SCORE 15706.075
AT ITER 6092 NEW BEST:: SOT 109636 SOS 48075 HAS SOPS 48075 HAS SOUS 15648 HAS SOUPS 15648 WITH SCORE 15696.075
AT ITER 6108 NEW BEST:: SOT 109608 SOS 48627 HAS SOPS 48627 HAS SOUS 15642 HAS SOUPS 15642 WITH SCORE 15690.627
AT ITER 6148 NEW BEST:: SOT 109608 SOS 48627 HAS SOPS 48627 HAS SOUS 15637 HAS SOUPS 15637 WITH SCORE 15685.627
AT ITER 6170 NEW BEST:: SOT 109601 SOS 48620 HAS SOPS 48620 HAS SOUS 15630 HAS SOUPS 15630 WITH SCORE 15678.62
AT ITER 6184 NEW BEST:: SOT 109607 SOS 48626 HAS SOPS 48626 HAS SOUS 15624 HAS SOUPS 15624 WITH SCORE 15672.626
AT ITER 6195 NEW BEST:: SOT 109606 SOS 48601 HAS SOPS 48601 HAS SOUS 15611 HAS SOUPS 15611 WITH SCORE 15659.601
AT ITER 6203 NEW BEST:: SOT 109596 SOS 48541 HAS SOPS 48541 HAS SOUS 15591 HAS SOUPS 15591 WITH SCORE 15639.541
AT ITER 6218 NEW BEST:: SOT 109595 SOS 48540 HAS SOPS 48540 HAS SOUS 15590 HAS SOUPS 15590 WITH SCORE 15638.54
AT ITER 6231 NEW BEST:: SOT 109595 SOS 48530 HAS SOPS 48530 HAS SOUS 15580 HAS SOUPS 15580 WITH SCORE 15628.53
AT ITER 6265 NEW BEST:: SOT 109605 SOS 48542 HAS SOPS 48542 HAS SOUS 15557 HAS SOUPS 15557 WITH SCORE 15605.542
AT ITER 6272 NEW BEST:: SOT 109605 SOS 48518 HAS SOPS 48518 HAS SOUS 15553 HAS SOUPS 15553 WITH SCORE 15601.518
AT ITER 6275 NEW BEST:: SOT 109601 SOS 48491 HAS SOPS 48491 HAS SOUS 15549 HAS SOUPS 15549 WITH SCORE 15597.491
AT ITER 6278 NEW BEST:: SOT 109597 SOS 48483 HAS SOPS 48483 HAS SOUS 15540 HAS SOUPS 15540 WITH SCORE 15588.483
AT ITER 6288 NEW BEST:: SOT 109597 SOS 48479 HAS SOPS 48479 HAS SOUS 15536 HAS SOUPS 15536 WITH SCORE 15584.479
AT ITER 6290 NEW BEST:: SOT 109599 SOS 48483 HAS SOPS 48483 HAS SOUS 15533 HAS SOUPS 15533 WITH SCORE 15581.483
AT ITER 6294 NEW BEST:: SOT 109594 SOS 48438 HAS SOPS 48438 HAS SOUS 15508 HAS SOUPS 15508 WITH SCORE 15556.438
AT ITER 6316 NEW BEST:: SOT 109597 SOS 48435 HAS SOPS 48435 HAS SOUS 15505 HAS SOUPS 15505 WITH SCORE 15553.435
AT ITER 6326 NEW BEST:: SOT 109585 SOS 48419 HAS SOPS 48419 HAS SOUS 15493 HAS SOUPS 15493 WITH SCORE 15541.419
AT ITER 6338 NEW BEST:: SOT 109583 SOS 48381 HAS SOPS 48381 HAS SOUS 15491 HAS SOUPS 15491 WITH SCORE 15539.381
AT ITER 6376 NEW BEST:: SOT 109565 SOS 48339 HAS SOPS 48339 HAS SOUS 15479 HAS SOUPS 15479 WITH SCORE 15527.339
AT ITER 6401 NEW BEST:: SOT 109567 SOS 48343 HAS SOPS 48343 HAS SOUS 15431 HAS SOUPS 15431 WITH SCORE 15479.343
AT ITER 6402 NEW BEST:: SOT 109537 SOS 48303 HAS SOPS 48303 HAS SOUS 15401 HAS SOUPS 15401 WITH SCORE 15449.303
AT ITER 6404 NEW BEST:: SOT 109527 SOS 48283 HAS SOPS 48283 HAS SOUS 15389 HAS SOUPS 15389 WITH SCORE 15437.283
AT ITER 6439 NEW BEST:: SOT 109525 SOS 48279 HAS SOPS 48279 HAS SOUS 15387 HAS SOUPS 15387 WITH SCORE 15435.279
AT ITER 6456 NEW BEST:: SOT 109471 SOS 48230 HAS SOPS 48230 HAS SOUS 15343 HAS SOUPS 15343 WITH SCORE 15391.23
AT ITER 6460 NEW BEST:: SOT 109463 SOS 48222 HAS SOPS 48222 HAS SOUS 15334 HAS SOUPS 15334 WITH SCORE 15382.222
AT ITER 6462 NEW BEST:: SOT 109426 SOS 48153 HAS SOPS 48153 HAS SOUS 15317 HAS SOUPS 15317 WITH SCORE 15365.153
AT ITER 6474 NEW BEST:: SOT 109425 SOS 48153 HAS SOPS 48153 HAS SOUS 15315 HAS SOUPS 15315 WITH SCORE 15363.153
AT ITER 6488 NEW BEST:: SOT 109371 SOS 48099 HAS SOPS 48099 HAS SOUS 15297 HAS SOUPS 15297 WITH SCORE 15345.099
AT ITER 6490 NEW BEST:: SOT 109361 SOS 48049 HAS SOPS 48049 HAS SOUS 15287 HAS SOUPS 15287 WITH SCORE 15335.049
AT ITER 6501 NEW BEST:: SOT 109359 SOS 48047 HAS SOPS 48047 HAS SOUS 15283 HAS SOUPS 15283 WITH SCORE 15331.047
AT ITER 6568 NEW BEST:: SOT 109359 SOS 48021 HAS SOPS 48021 HAS SOUS 15267 HAS SOUPS 15267 WITH SCORE 15315.021
AT ITER 6581 NEW BEST:: SOT 109356 SOS 48015 HAS SOPS 48015 HAS SOUS 15261 HAS SOUPS 15261 WITH SCORE 15309.015
AT ITER 6626 NEW BEST:: SOT 109356 SOS 48027 HAS SOPS 48027 HAS SOUS 15256 HAS SOUPS 15256 WITH SCORE 15304.027
AT ITER 6663 NEW BEST:: SOT 109356 SOS 48045 HAS SOPS 48045 HAS SOUS 15244 HAS SOUPS 15244 WITH SCORE 15292.045
AT ITER 6666 NEW BEST:: SOT 109329 SOS 47983 HAS SOPS 47983 HAS SOUS 15238 HAS SOUPS 15238 WITH SCORE 15285.983
AT ITER 6673 NEW BEST:: SOT 109007 SOS 49165 HAS SOPS 49165 HAS SOUS 15167 HAS SOUPS 15167 WITH SCORE 15216.165
AT ITER 6697 NEW BEST:: SOT 108984 SOS 49192 HAS SOPS 49192 HAS SOUS 15161 HAS SOUPS 15161 WITH SCORE 15210.192
AT ITER 6758 NEW BEST:: SOT 108984 SOS 49192 HAS SOPS 49192 HAS SOUS 15151 HAS SOUPS 15151 WITH SCORE 15200.192
AT ITER 6770 NEW BEST:: SOT 108977 SOS 49185 HAS SOPS 49185 HAS SOUS 15145 HAS SOUPS 15145 WITH SCORE 15194.185
AT ITER 6786 NEW BEST:: SOT 108961 SOS 49379 HAS SOPS 49379 HAS SOUS 15144 HAS SOUPS 15144 WITH SCORE 15193.379
AT ITER 6808 NEW BEST:: SOT 108923 SOS 49341 HAS SOPS 49341 HAS SOUS 15143 HAS SOUPS 15143 WITH SCORE 15192.341
AT ITER 6816 NEW BEST:: SOT 108902 SOS 49320 HAS SOPS 49320 HAS SOUS 15122 HAS SOUPS 15122 WITH SCORE 15171.32
AT ITER 6842 NEW BEST:: SOT 108884 SOS 49302 HAS SOPS 49302 HAS SOUS 15113 HAS SOUPS 15113 WITH SCORE 15162.302
AT ITER 6844 NEW BEST:: SOT 108923 SOS 49414 HAS SOPS 49414 HAS SOUS 15092 HAS SOUPS 15092 WITH SCORE 15141.414
AT ITER 6913 NEW BEST:: SOT 108963 SOS 49454 HAS SOPS 49454 HAS SOUS 15078 HAS SOUPS 15078 WITH SCORE 15127.454
AT ITER 6934 NEW BEST:: SOT 108927 SOS 49418 HAS SOPS 49418 HAS SOUS 15024 HAS SOUPS 15024 WITH SCORE 15073.418
AT ITER 6939 NEW BEST:: SOT 108927 SOS 49400 HAS SOPS 49400 HAS SOUS 15024 HAS SOUPS 15024 WITH SCORE 15073.4
AT ITER 6956 NEW BEST:: SOT 107987 SOS 51244 HAS SOPS 51244 HAS SOUS 14674 HAS SOUPS 14674 WITH SCORE 14725.244
AT ITER 6979 NEW BEST:: SOT 107987 SOS 51246 HAS SOPS 51246 HAS SOUS 14673 HAS SOUPS 14673 WITH SCORE 14724.246
AT ITER 7010 NEW BEST:: SOT 107813 SOS 51249 HAS SOPS 51249 HAS SOUS 14563 HAS SOUPS 14563 WITH SCORE 14614.249
AT ITER 7018 NEW BEST:: SOT 107843 SOS 51241 HAS SOPS 51241 HAS SOUS 14548 HAS SOUPS 14548 WITH SCORE 14599.241
AT ITER 7043 NEW BEST:: SOT 107768 SOS 51166 HAS SOPS 51166 HAS SOUS 14473 HAS SOUPS 14473 WITH SCORE 14524.166
AT ITER 7074 NEW BEST:: SOT 107718 SOS 51123 HAS SOPS 51123 HAS SOUS 14444 HAS SOUPS 14444 WITH SCORE 14495.123
AT ITER 7075 NEW BEST:: SOT 107718 SOS 51123 HAS SOPS 51123 HAS SOUS 14437 HAS SOUPS 14437 WITH SCORE 14488.123
AT ITER 7091 NEW BEST:: SOT 107717 SOS 51121 HAS SOPS 51121 HAS SOUS 14436 HAS SOUPS 14436 WITH SCORE 14487.121
AT ITER 7101 NEW BEST:: SOT 107717 SOS 51115 HAS SOPS 51115 HAS SOUS 14433 HAS SOUPS 14433 WITH SCORE 14484.115
AT ITER 7107 NEW BEST:: SOT 107696 SOS 51094 HAS SOPS 51094 HAS SOUS 14433 HAS SOUPS 14433 WITH SCORE 14484.094
AT ITER 7111 NEW BEST:: SOT 107683 SOS 51068 HAS SOPS 51068 HAS SOUS 14433 HAS SOUPS 14433 WITH SCORE 14484.068
AT ITER 7145 NEW BEST:: SOT 107659 SOS 51044 HAS SOPS 51044 HAS SOUS 14418 HAS SOUPS 14418 WITH SCORE 14469.044
AT ITER 7194 NEW BEST:: SOT 107659 SOS 51034 HAS SOPS 51034 HAS SOUS 14413 HAS SOUPS 14413 WITH SCORE 14464.034
AT ITER 7202 NEW BEST:: SOT 107619 SOS 50994 HAS SOPS 50994 HAS SOUS 14331 HAS SOUPS 14331 WITH SCORE 14381.994
AT ITER 7289 NEW BEST:: SOT 107585 SOS 50960 HAS SOPS 50960 HAS SOUS 14303 HAS SOUPS 14303 WITH SCORE 14353.96
AT ITER 7302 NEW BEST:: SOT 107619 SOS 50994 HAS SOPS 50994 HAS SOUS 14283 HAS SOUPS 14283 WITH SCORE 14333.994
AT ITER 7330 NEW BEST:: SOT 107570 SOS 50926 HAS SOPS 50926 HAS SOUS 14234 HAS SOUPS 14234 WITH SCORE 14284.926
AT ITER 7379 NEW BEST:: SOT 107570 SOS 50926 HAS SOPS 50926 HAS SOUS 14222 HAS SOUPS 14222 WITH SCORE 14272.926
AT ITER 7419 NEW BEST:: SOT 107552 SOS 50815 HAS SOPS 50815 HAS SOUS 14205 HAS SOUPS 14205 WITH SCORE 14255.815
AT ITER 7499 NEW BEST:: SOT 107549 SOS 50889 HAS SOPS 50889 HAS SOUS 14199 HAS SOUPS 14199 WITH SCORE 14249.889
AT ITER 7503 NEW BEST:: SOT 107545 SOS 50885 HAS SOPS 50885 HAS SOUS 14199 HAS SOUPS 14199 WITH SCORE 14249.885
AT ITER 7532 NEW BEST:: SOT 107543 SOS 51353 HAS SOPS 51353 HAS SOUS 14197 HAS SOUPS 14197 WITH SCORE 14248.353
AT ITER 7555 NEW BEST:: SOT 107250 SOS 51026 HAS SOPS 51026 HAS SOUS 13990 HAS SOUPS 13990 WITH SCORE 14041.026
AT ITER 7565 NEW BEST:: SOT 107237 SOS 50980 HAS SOPS 50980 HAS SOUS 13953 HAS SOUPS 13953 WITH SCORE 14003.98
AT ITER 7643 NEW BEST:: SOT 107233 SOS 50976 HAS SOPS 50976 HAS SOUS 13947 HAS SOUPS 13947 WITH SCORE 13997.976
AT ITER 7677 NEW BEST:: SOT 107230 SOS 51023 HAS SOPS 51023 HAS SOUS 13941 HAS SOUPS 13941 WITH SCORE 13992.023
AT ITER 7769 NEW BEST:: SOT 107212 SOS 51005 HAS SOPS 51005 HAS SOUS 13931 HAS SOUPS 13931 WITH SCORE 13982.005
AT ITER 7885 NEW BEST:: SOT 107142 SOS 50935 HAS SOPS 50935 HAS SOUS 13884 HAS SOUPS 13884 WITH SCORE 13934.935
AT ITER 7892 NEW BEST:: SOT 107124 SOS 50917 HAS SOPS 50917 HAS SOUS 13858 HAS SOUPS 13858 WITH SCORE 13908.917
AT ITER 7908 NEW BEST:: SOT 107111 SOS 50893 HAS SOPS 50893 HAS SOUS 13840 HAS SOUPS 13840 WITH SCORE 13890.893
AT ITER 7922 NEW BEST:: SOT 107108 SOS 50890 HAS SOPS 50890 HAS SOUS 13840 HAS SOUPS 13840 WITH SCORE 13890.89
AT ITER 7931 NEW BEST:: SOT 107061 SOS 50939 HAS SOPS 50939 HAS SOUS 13793 HAS SOUPS 13793 WITH SCORE 13843.939
AT ITER 7954 NEW BEST:: SOT 107061 SOS 50939 HAS SOPS 50939 HAS SOUS 13791 HAS SOUPS 13791 WITH SCORE 13841.939
AT ITER 7976 NEW BEST:: SOT 107012 SOS 50873 HAS SOPS 50873 HAS SOUS 13732 HAS SOUPS 13732 WITH SCORE 13782.873
AT ITER 7978 NEW BEST:: SOT 107007 SOS 50858 HAS SOPS 50858 HAS SOUS 13732 HAS SOUPS 13732 WITH SCORE 13782.858
AT ITER 8009 NEW BEST:: SOT 106997 SOS 50848 HAS SOPS 50848 HAS SOUS 13713 HAS SOUPS 13713 WITH SCORE 13763.848
AT ITER 8020 NEW BEST:: SOT 106927 SOS 50776 HAS SOPS 50776 HAS SOUS 13625 HAS SOUPS 13625 WITH SCORE 13675.776
AT ITER 8041 NEW BEST:: SOT 106910 SOS 50706 HAS SOPS 50706 HAS SOUS 13608 HAS SOUPS 13608 WITH SCORE 13658.706
AT ITER 8063 NEW BEST:: SOT 106908 SOS 50702 HAS SOPS 50702 HAS SOUS 13608 HAS SOUPS 13608 WITH SCORE 13658.702
AT ITER 8068 NEW BEST:: SOT 106907 SOS 50701 HAS SOPS 50701 HAS SOUS 13598 HAS SOUPS 13598 WITH SCORE 13648.701
AT ITER 8132 NEW BEST:: SOT 106907 SOS 50701 HAS SOPS 50701 HAS SOUS 13588 HAS SOUPS 13588 WITH SCORE 13638.701
AT ITER 8140 NEW BEST:: SOT 106930 SOS 50747 HAS SOPS 50747 HAS SOUS 13584 HAS SOUPS 13584 WITH SCORE 13634.747
AT ITER 8151 NEW BEST:: SOT 106889 SOS 50724 HAS SOPS 50724 HAS SOUS 13584 HAS SOUPS 13584 WITH SCORE 13634.724
AT ITER 8168 NEW BEST:: SOT 106886 SOS 50720 HAS SOPS 50720 HAS SOUS 13581 HAS SOUPS 13581 WITH SCORE 13631.72
AT ITER 8178 NEW BEST:: SOT 106899 SOS 50733 HAS SOPS 50733 HAS SOUS 13580 HAS SOUPS 13580 WITH SCORE 13630.733
AT ITER 8220 NEW BEST:: SOT 106890 SOS 50724 HAS SOPS 50724 HAS SOUS 13575 HAS SOUPS 13575 WITH SCORE 13625.724
AT ITER 8265 NEW BEST:: SOT 106905 SOS 50410 HAS SOPS 50410 HAS SOUS 13575 HAS SOUPS 13575 WITH SCORE 13625.41
AT ITER 8267 NEW BEST:: SOT 106901 SOS 50406 HAS SOPS 50406 HAS SOUS 13571 HAS SOUPS 13571 WITH SCORE 13621.406
AT ITER 8283 NEW BEST:: SOT 106917 SOS 50542 HAS SOPS 50542 HAS SOUS 13541 HAS SOUPS 13541 WITH SCORE 13591.542
AT ITER 8317 NEW BEST:: SOT 106901 SOS 50466 HAS SOPS 50466 HAS SOUS 13521 HAS SOUPS 13521 WITH SCORE 13571.466
AT ITER 8339 NEW BEST:: SOT 106896 SOS 50476 HAS SOPS 50476 HAS SOUS 13516 HAS SOUPS 13516 WITH SCORE 13566.476
AT ITER 8428 NEW BEST:: SOT 106891 SOS 50471 HAS SOPS 50471 HAS SOUS 13511 HAS SOUPS 13511 WITH SCORE 13561.471
AT ITER 8431 NEW BEST:: SOT 106888 SOS 50467 HAS SOPS 50467 HAS SOUS 13508 HAS SOUPS 13508 WITH SCORE 13558.467
AT ITER 8447 NEW BEST:: SOT 106841 SOS 50780 HAS SOPS 50780 HAS SOUS 13500 HAS SOUPS 13500 WITH SCORE 13550.78
AT ITER 8456 NEW BEST:: SOT 106838 SOS 50777 HAS SOPS 50777 HAS SOUS 13499 HAS SOUPS 13499 WITH SCORE 13549.777
AT ITER 8509 NEW BEST:: SOT 106796 SOS 50636 HAS SOPS 50636 HAS SOUS 13437 HAS SOUPS 13437 WITH SCORE 13487.636
AT ITER 8566 NEW BEST:: SOT 106790 SOS 50600 HAS SOPS 50600 HAS SOUS 13425 HAS SOUPS 13425 WITH SCORE 13475.6
AT ITER 8575 NEW BEST:: SOT 106771 SOS 50472 HAS SOPS 50472 HAS SOUS 13389 HAS SOUPS 13389 WITH SCORE 13439.472
AT ITER 8597 NEW BEST:: SOT 106762 SOS 50437 HAS SOPS 50437 HAS SOUS 13381 HAS SOUPS 13381 WITH SCORE 13431.437
AT ITER 8605 NEW BEST:: SOT 106762 SOS 50437 HAS SOPS 50437 HAS SOUS 13376 HAS SOUPS 13376 WITH SCORE 13426.437
AT ITER 8627 NEW BEST:: SOT 106751 SOS 50426 HAS SOPS 50426 HAS SOUS 13370 HAS SOUPS 13370 WITH SCORE 13420.426
AT ITER 8713 NEW BEST:: SOT 106752 SOS 50430 HAS SOPS 50430 HAS SOUS 13369 HAS SOUPS 13369 WITH SCORE 13419.43
AT ITER 8733 NEW BEST:: SOT 106746 SOS 50424 HAS SOPS 50424 HAS SOUS 13363 HAS SOUPS 13363 WITH SCORE 13413.424
AT ITER 8749 NEW BEST:: SOT 106736 SOS 50483 HAS SOPS 50483 HAS SOUS 13358 HAS SOUPS 13358 WITH SCORE 13408.483
AT ITER 8811 NEW BEST:: SOT 106736 SOS 50399 HAS SOPS 50399 HAS SOUS 13358 HAS SOUPS 13358 WITH SCORE 13408.399
AT ITER 8836 NEW BEST:: SOT 106735 SOS 50397 HAS SOPS 50397 HAS SOUS 13356 HAS SOUPS 13356 WITH SCORE 13406.397
AT ITER 8860 NEW BEST:: SOT 106742 SOS 50389 HAS SOPS 50389 HAS SOUS 13348 HAS SOUPS 13348 WITH SCORE 13398.389
AT ITER 8865 NEW BEST:: SOT 106676 SOS 50155 HAS SOPS 50155 HAS SOUS 13305 HAS SOUPS 13305 WITH SCORE 13355.155
AT ITER 8882 NEW BEST:: SOT 106676 SOS 50155 HAS SOPS 50155 HAS SOUS 13304 HAS SOUPS 13304 WITH SCORE 13354.155
AT ITER 8919 NEW BEST:: SOT 106674 SOS 50151 HAS SOPS 50151 HAS SOUS 13302 HAS SOUPS 13302 WITH SCORE 13352.151
AT ITER 8926 NEW BEST:: SOT 106672 SOS 50165 HAS SOPS 50165 HAS SOUS 13300 HAS SOUPS 13300 WITH SCORE 13350.165
AT ITER 8961 NEW BEST:: SOT 106672 SOS 50165 HAS SOPS 50165 HAS SOUS 13296 HAS SOUPS 13296 WITH SCORE 13346.165
AT ITER 9055 NEW BEST:: SOT 106585 SOS 50078 HAS SOPS 50078 HAS SOUS 13256 HAS SOUPS 13256 WITH SCORE 13306.078
AT ITER 9109 NEW BEST:: SOT 106569 SOS 50062 HAS SOPS 50062 HAS SOUS 13254 HAS SOUPS 13254 WITH SCORE 13304.062
AT ITER 9180 NEW BEST:: SOT 106521 SOS 50007 HAS SOPS 50007 HAS SOUS 13205 HAS SOUPS 13205 WITH SCORE 13255.007
AT ITER 9184 NEW BEST:: SOT 106521 SOS 50007 HAS SOPS 50007 HAS SOUS 13200 HAS SOUPS 13200 WITH SCORE 13250.007
AT ITER 9185 NEW BEST:: SOT 106519 SOS 50005 HAS SOPS 50005 HAS SOUS 13198 HAS SOUPS 13198 WITH SCORE 13248.005
AT ITER 9216 NEW BEST:: SOT 106519 SOS 49970 HAS SOPS 49970 HAS SOUS 13191 HAS SOUPS 13191 WITH SCORE 13240.97
AT ITER 9218 NEW BEST:: SOT 106548 SOS 49999 HAS SOPS 49999 HAS SOUS 13186 HAS SOUPS 13186 WITH SCORE 13235.999
AT ITER 9259 NEW BEST:: SOT 106553 SOS 50017 HAS SOPS 50017 HAS SOUS 13160 HAS SOUPS 13160 WITH SCORE 13210.017
AT ITER 9276 NEW BEST:: SOT 106535 SOS 50013 HAS SOPS 50013 HAS SOUS 13142 HAS SOUPS 13142 WITH SCORE 13192.013
AT ITER 9316 NEW BEST:: SOT 106517 SOS 49995 HAS SOPS 49995 HAS SOUS 13138 HAS SOUPS 13138 WITH SCORE 13187.995
AT ITER 9442 NEW BEST:: SOT 106508 SOS 49991 HAS SOPS 49991 HAS SOUS 13129 HAS SOUPS 13129 WITH SCORE 13178.991
AT ITER 9518 NEW BEST:: SOT 106507 SOS 49981 HAS SOPS 49981 HAS SOUS 13127 HAS SOUPS 13127 WITH SCORE 13176.981
AT ITER 9522 NEW BEST:: SOT 106488 SOS 50016 HAS SOPS 50016 HAS SOUS 13126 HAS SOUPS 13126 WITH SCORE 13176.016
AT ITER 9610 NEW BEST:: SOT 106491 SOS 50014 HAS SOPS 50014 HAS SOUS 13124 HAS SOUPS 13124 WITH SCORE 13174.014
AT ITER 9624 NEW BEST:: SOT 106467 SOS 49996 HAS SOPS 49996 HAS SOUS 13106 HAS SOUPS 13106 WITH SCORE 13155.996
AT ITER 9672 NEW BEST:: SOT 106469 SOS 50012 HAS SOPS 50012 HAS SOUS 13103 HAS SOUPS 13103 WITH SCORE 13153.012
AT ITER 9732 NEW BEST:: SOT 106463 SOS 50002 HAS SOPS 50002 HAS SOUS 13103 HAS SOUPS 13103 WITH SCORE 13153.002
AT ITER 9766 NEW BEST:: SOT 106457 SOS 50023 HAS SOPS 50023 HAS SOUS 13096 HAS SOUPS 13096 WITH SCORE 13146.023
AT ITER 9782 NEW BEST:: SOT 106433 SOS 49990 HAS SOPS 49990 HAS SOUS 13081 HAS SOUPS 13081 WITH SCORE 13130.99
AT ITER 9831 NEW BEST:: SOT 106404 SOS 49916 HAS SOPS 49916 HAS SOUS 13052 HAS SOUPS 13052 WITH SCORE 13101.916
AT ITER 9853 NEW BEST:: SOT 106391 SOS 49955 HAS SOPS 49955 HAS SOUS 13039 HAS SOUPS 13039 WITH SCORE 13088.955
AT ITER 9856 NEW BEST:: SOT 106353 SOS 49909 HAS SOPS 49909 HAS SOUS 13002 HAS SOUPS 13002 WITH SCORE 13051.909
AT ITER 9869 NEW BEST:: SOT 106345 SOS 49885 HAS SOPS 49885 HAS SOUS 12994 HAS SOUPS 12994 WITH SCORE 13043.885
AT ITER 9883 NEW BEST:: SOT 106344 SOS 49884 HAS SOPS 49884 HAS SOUS 12991 HAS SOUPS 12991 WITH SCORE 13040.884
AT ITER 9890 NEW BEST:: SOT 106342 SOS 49874 HAS SOPS 49874 HAS SOUS 12989 HAS SOUPS 12989 WITH SCORE 13038.874
AT ITER 9902 NEW BEST:: SOT 106325 SOS 49784 HAS SOPS 49784 HAS SOUS 12972 HAS SOUPS 12972 WITH SCORE 13021.784
AT ITER 9931 NEW BEST:: SOT 106263 SOS 49612 HAS SOPS 49612 HAS SOUS 12965 HAS SOUPS 12965 WITH SCORE 13014.612
AT ITER 9972 NEW BEST:: SOT 106285 SOS 49826 HAS SOPS 49826 HAS SOUS 12941 HAS SOUPS 12941 WITH SCORE 12990.826
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 1881404 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16120332 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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