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-167912711301072.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-Z4T4N06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711301072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 440K
-rw-r--r-- 1 mcc users 6.7K Feb 26 14:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 26 14:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 14:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 14:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 14:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 26 14:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 14:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 14:29 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 1679307955302

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-Z4T4N06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 10:25:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 10:25:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 10:25:57] [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:25:57] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 10:25:58] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 743 ms
[2023-03-20 10:25:58] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 228 PT places and 450.0 transition bindings in 17 ms.
[2023-03-20 10:25:58] [INFO ] Unfolded HLPN to a Petri net with 228 places and 450 transitions 1446 arcs in 26 ms.
[2023-03-20 10:25:58] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 10:25:58] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 228 places, 450 transitions and 1446 arcs took 7 ms.
Total runtime 889 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z4T4N06
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: 228 places, 450 transitions, 1446 arcs.
AT ITER 0 NEW BEST:: SOT 83974 SOS 67221 HAS SOPS 67221 HAS SOUS 38439 HAS SOUPS 38439 WITH SCORE 38506.221
AT ITER 1 NEW BEST:: SOT 83974 SOS 67221 HAS SOPS 67221 HAS SOUS 38435 HAS SOUPS 38435 WITH SCORE 38502.221
AT ITER 2 NEW BEST:: SOT 83956 SOS 67113 HAS SOPS 67113 HAS SOUS 38399 HAS SOUPS 38399 WITH SCORE 38466.113
AT ITER 7 NEW BEST:: SOT 83956 SOS 67083 HAS SOPS 67083 HAS SOUS 38389 HAS SOUPS 38389 WITH SCORE 38456.083
AT ITER 8 NEW BEST:: SOT 83921 SOS 67037 HAS SOPS 67037 HAS SOUS 38351 HAS SOUPS 38351 WITH SCORE 38418.037
AT ITER 9 NEW BEST:: SOT 83925 SOS 66925 HAS SOPS 66925 HAS SOUS 38325 HAS SOUPS 38325 WITH SCORE 38391.925
AT ITER 10 NEW BEST:: SOT 83797 SOS 66733 HAS SOPS 66733 HAS SOUS 37909 HAS SOUPS 37909 WITH SCORE 37975.733
AT ITER 11 NEW BEST:: SOT 83749 SOS 66868 HAS SOPS 66868 HAS SOUS 37891 HAS SOUPS 37891 WITH SCORE 37957.868
AT ITER 12 NEW BEST:: SOT 83712 SOS 66986 HAS SOPS 66986 HAS SOUS 37858 HAS SOUPS 37858 WITH SCORE 37924.986
AT ITER 15 NEW BEST:: SOT 83482 SOS 65625 HAS SOPS 65625 HAS SOUS 37587 HAS SOUPS 37587 WITH SCORE 37652.625
AT ITER 17 NEW BEST:: SOT 82166 SOS 64373 HAS SOPS 64373 HAS SOUS 36332 HAS SOUPS 36332 WITH SCORE 36396.373
AT ITER 19 NEW BEST:: SOT 82044 SOS 64053 HAS SOPS 64053 HAS SOUS 36162 HAS SOUPS 36162 WITH SCORE 36226.053
AT ITER 20 NEW BEST:: SOT 82002 SOS 63855 HAS SOPS 63855 HAS SOUS 36078 HAS SOUPS 36078 WITH SCORE 36141.855
AT ITER 22 NEW BEST:: SOT 81941 SOS 63515 HAS SOPS 63515 HAS SOUS 35849 HAS SOUPS 35849 WITH SCORE 35912.515
AT ITER 24 NEW BEST:: SOT 81837 SOS 63356 HAS SOPS 63356 HAS SOUS 35537 HAS SOUPS 35537 WITH SCORE 35600.356
AT ITER 38 NEW BEST:: SOT 81722 SOS 63198 HAS SOPS 63198 HAS SOUS 35293 HAS SOUPS 35293 WITH SCORE 35356.198
AT ITER 39 NEW BEST:: SOT 81711 SOS 63151 HAS SOPS 63151 HAS SOUS 35196 HAS SOUPS 35196 WITH SCORE 35259.151
AT ITER 42 NEW BEST:: SOT 81674 SOS 63114 HAS SOPS 63114 HAS SOUS 35181 HAS SOUPS 35181 WITH SCORE 35244.114
AT ITER 44 NEW BEST:: SOT 81745 SOS 62832 HAS SOPS 62832 HAS SOUS 35146 HAS SOUPS 35146 WITH SCORE 35208.832
AT ITER 50 NEW BEST:: SOT 81728 SOS 61426 HAS SOPS 61426 HAS SOUS 33997 HAS SOUPS 33997 WITH SCORE 34058.426
AT ITER 52 NEW BEST:: SOT 68053 SOS 48143 HAS SOPS 48143 HAS SOUS 26128 HAS SOUPS 26128 WITH SCORE 26176.143
AT ITER 54 NEW BEST:: SOT 68377 SOS 48193 HAS SOPS 48193 HAS SOUS 26026 HAS SOUPS 26026 WITH SCORE 26074.193
AT ITER 61 NEW BEST:: SOT 68334 SOS 47975 HAS SOPS 47975 HAS SOUS 25977 HAS SOUPS 25977 WITH SCORE 26024.975
AT ITER 64 NEW BEST:: SOT 68280 SOS 47903 HAS SOPS 47903 HAS SOUS 25920 HAS SOUPS 25920 WITH SCORE 25967.903
AT ITER 66 NEW BEST:: SOT 68116 SOS 47537 HAS SOPS 47537 HAS SOUS 25660 HAS SOUPS 25660 WITH SCORE 25707.537
AT ITER 67 NEW BEST:: SOT 68142 SOS 47279 HAS SOPS 47279 HAS SOUS 25659 HAS SOUPS 25659 WITH SCORE 25706.279
AT ITER 68 NEW BEST:: SOT 68194 SOS 47367 HAS SOPS 47367 HAS SOUS 25652 HAS SOUPS 25652 WITH SCORE 25699.367
AT ITER 69 NEW BEST:: SOT 68187 SOS 47369 HAS SOPS 47369 HAS SOUS 25649 HAS SOUPS 25649 WITH SCORE 25696.369
AT ITER 70 NEW BEST:: SOT 68175 SOS 47351 HAS SOPS 47351 HAS SOUS 25643 HAS SOUPS 25643 WITH SCORE 25690.351
AT ITER 71 NEW BEST:: SOT 68175 SOS 47342 HAS SOPS 47342 HAS SOUS 25643 HAS SOUPS 25643 WITH SCORE 25690.342
AT ITER 75 NEW BEST:: SOT 68063 SOS 47140 HAS SOPS 47140 HAS SOUS 25628 HAS SOUPS 25628 WITH SCORE 25675.14
AT ITER 76 NEW BEST:: SOT 68161 SOS 47063 HAS SOPS 47063 HAS SOUS 25357 HAS SOUPS 25357 WITH SCORE 25404.063
AT ITER 77 NEW BEST:: SOT 68140 SOS 46530 HAS SOPS 46530 HAS SOUS 25332 HAS SOUPS 25332 WITH SCORE 25378.53
AT ITER 86 NEW BEST:: SOT 68435 SOS 46720 HAS SOPS 46720 HAS SOUS 25264 HAS SOUPS 25264 WITH SCORE 25310.72
AT ITER 87 NEW BEST:: SOT 68478 SOS 46785 HAS SOPS 46785 HAS SOUS 25242 HAS SOUPS 25242 WITH SCORE 25288.785
AT ITER 90 NEW BEST:: SOT 68369 SOS 46241 HAS SOPS 46241 HAS SOUS 25139 HAS SOUPS 25139 WITH SCORE 25185.241
AT ITER 94 NEW BEST:: SOT 68365 SOS 46233 HAS SOPS 46233 HAS SOUS 25127 HAS SOUPS 25127 WITH SCORE 25173.233
AT ITER 97 NEW BEST:: SOT 68298 SOS 46252 HAS SOPS 46252 HAS SOUS 25034 HAS SOUPS 25034 WITH SCORE 25080.252
AT ITER 101 NEW BEST:: SOT 68283 SOS 46237 HAS SOPS 46237 HAS SOUS 25019 HAS SOUPS 25019 WITH SCORE 25065.237
AT ITER 104 NEW BEST:: SOT 68283 SOS 46244 HAS SOPS 46244 HAS SOUS 25008 HAS SOUPS 25008 WITH SCORE 25054.244
AT ITER 106 NEW BEST:: SOT 68164 SOS 46215 HAS SOPS 46215 HAS SOUS 24875 HAS SOUPS 24875 WITH SCORE 24921.215
AT ITER 108 NEW BEST:: SOT 68109 SOS 46160 HAS SOPS 46160 HAS SOUS 24779 HAS SOUPS 24779 WITH SCORE 24825.16
AT ITER 110 NEW BEST:: SOT 68092 SOS 46049 HAS SOPS 46049 HAS SOUS 24747 HAS SOUPS 24747 WITH SCORE 24793.049
AT ITER 115 NEW BEST:: SOT 68011 SOS 44849 HAS SOPS 44849 HAS SOUS 24304 HAS SOUPS 24304 WITH SCORE 24348.849
AT ITER 116 NEW BEST:: SOT 67930 SOS 44898 HAS SOPS 44898 HAS SOUS 24245 HAS SOUPS 24245 WITH SCORE 24289.898
AT ITER 118 NEW BEST:: SOT 67930 SOS 44898 HAS SOPS 44898 HAS SOUS 24205 HAS SOUPS 24205 WITH SCORE 24249.898
AT ITER 120 NEW BEST:: SOT 67930 SOS 45052 HAS SOPS 45052 HAS SOUS 24191 HAS SOUPS 24191 WITH SCORE 24236.052
AT ITER 122 NEW BEST:: SOT 67920 SOS 45052 HAS SOPS 45052 HAS SOUS 24167 HAS SOUPS 24167 WITH SCORE 24212.052
AT ITER 123 NEW BEST:: SOT 67916 SOS 44999 HAS SOPS 44999 HAS SOUS 24118 HAS SOUPS 24118 WITH SCORE 24162.999
AT ITER 126 NEW BEST:: SOT 67905 SOS 44976 HAS SOPS 44976 HAS SOUS 24107 HAS SOUPS 24107 WITH SCORE 24151.976
AT ITER 127 NEW BEST:: SOT 67859 SOS 45244 HAS SOPS 45244 HAS SOUS 24061 HAS SOUPS 24061 WITH SCORE 24106.244
AT ITER 129 NEW BEST:: SOT 67769 SOS 45214 HAS SOPS 45214 HAS SOUS 24046 HAS SOUPS 24046 WITH SCORE 24091.214
AT ITER 130 NEW BEST:: SOT 67723 SOS 45053 HAS SOPS 45053 HAS SOUS 23977 HAS SOUPS 23977 WITH SCORE 24022.053
AT ITER 135 NEW BEST:: SOT 67699 SOS 45029 HAS SOPS 45029 HAS SOUS 23859 HAS SOUPS 23859 WITH SCORE 23904.029
AT ITER 136 NEW BEST:: SOT 67515 SOS 44745 HAS SOPS 44745 HAS SOUS 23785 HAS SOUPS 23785 WITH SCORE 23829.745
AT ITER 137 NEW BEST:: SOT 67477 SOS 44650 HAS SOPS 44650 HAS SOUS 23747 HAS SOUPS 23747 WITH SCORE 23791.65
AT ITER 139 NEW BEST:: SOT 67444 SOS 44580 HAS SOPS 44580 HAS SOUS 23712 HAS SOUPS 23712 WITH SCORE 23756.58
AT ITER 152 NEW BEST:: SOT 67293 SOS 44284 HAS SOPS 44284 HAS SOUS 23706 HAS SOUPS 23706 WITH SCORE 23750.284
AT ITER 161 NEW BEST:: SOT 67293 SOS 44284 HAS SOPS 44284 HAS SOUS 23702 HAS SOUPS 23702 WITH SCORE 23746.284
AT ITER 162 NEW BEST:: SOT 67266 SOS 44161 HAS SOPS 44161 HAS SOUS 23576 HAS SOUPS 23576 WITH SCORE 23620.161
AT ITER 166 NEW BEST:: SOT 67201 SOS 44140 HAS SOPS 44140 HAS SOUS 23551 HAS SOUPS 23551 WITH SCORE 23595.14
AT ITER 171 NEW BEST:: SOT 67189 SOS 44128 HAS SOPS 44128 HAS SOUS 23545 HAS SOUPS 23545 WITH SCORE 23589.128
AT ITER 172 NEW BEST:: SOT 67030 SOS 43559 HAS SOPS 43559 HAS SOUS 23105 HAS SOUPS 23105 WITH SCORE 23148.559
AT ITER 175 NEW BEST:: SOT 67066 SOS 43595 HAS SOPS 43595 HAS SOUS 23101 HAS SOUPS 23101 WITH SCORE 23144.595
AT ITER 176 NEW BEST:: SOT 67014 SOS 43482 HAS SOPS 43482 HAS SOUS 23046 HAS SOUPS 23046 WITH SCORE 23089.482
AT ITER 177 NEW BEST:: SOT 66577 SOS 43039 HAS SOPS 43039 HAS SOUS 22796 HAS SOUPS 22796 WITH SCORE 22839.039
AT ITER 179 NEW BEST:: SOT 67781 SOS 43300 HAS SOPS 43300 HAS SOUS 22355 HAS SOUPS 22355 WITH SCORE 22398.3
AT ITER 183 NEW BEST:: SOT 67598 SOS 43158 HAS SOPS 43158 HAS SOUS 22319 HAS SOUPS 22319 WITH SCORE 22362.158
AT ITER 184 NEW BEST:: SOT 67592 SOS 43036 HAS SOPS 43036 HAS SOUS 22310 HAS SOUPS 22310 WITH SCORE 22353.036
AT ITER 187 NEW BEST:: SOT 67588 SOS 42917 HAS SOPS 42917 HAS SOUS 22296 HAS SOUPS 22296 WITH SCORE 22338.917
AT ITER 195 NEW BEST:: SOT 67577 SOS 42867 HAS SOPS 42867 HAS SOUS 22285 HAS SOUPS 22285 WITH SCORE 22327.867
AT ITER 197 NEW BEST:: SOT 67559 SOS 42644 HAS SOPS 42644 HAS SOUS 22204 HAS SOUPS 22204 WITH SCORE 22246.644
AT ITER 198 NEW BEST:: SOT 67543 SOS 42479 HAS SOPS 42479 HAS SOUS 22166 HAS SOUPS 22166 WITH SCORE 22208.479
AT ITER 199 NEW BEST:: SOT 67543 SOS 42479 HAS SOPS 42479 HAS SOUS 22162 HAS SOUPS 22162 WITH SCORE 22204.479
AT ITER 203 NEW BEST:: SOT 65566 SOS 41146 HAS SOPS 41146 HAS SOUS 21696 HAS SOUPS 21696 WITH SCORE 21737.146
AT ITER 209 NEW BEST:: SOT 65583 SOS 41163 HAS SOPS 41163 HAS SOUS 21695 HAS SOUPS 21695 WITH SCORE 21736.163
AT ITER 210 NEW BEST:: SOT 65752 SOS 41526 HAS SOPS 41526 HAS SOUS 21524 HAS SOUPS 21524 WITH SCORE 21565.526
AT ITER 214 NEW BEST:: SOT 65736 SOS 41526 HAS SOPS 41526 HAS SOUS 21476 HAS SOUPS 21476 WITH SCORE 21517.526
AT ITER 215 NEW BEST:: SOT 65688 SOS 41509 HAS SOPS 41509 HAS SOUS 21452 HAS SOUPS 21452 WITH SCORE 21493.509
AT ITER 216 NEW BEST:: SOT 65596 SOS 41355 HAS SOPS 41355 HAS SOUS 21370 HAS SOUPS 21370 WITH SCORE 21411.355
AT ITER 218 NEW BEST:: SOT 65586 SOS 41347 HAS SOPS 41347 HAS SOUS 21314 HAS SOUPS 21314 WITH SCORE 21355.347
AT ITER 219 NEW BEST:: SOT 65631 SOS 41384 HAS SOPS 41384 HAS SOUS 21100 HAS SOUPS 21100 WITH SCORE 21141.384
AT ITER 220 NEW BEST:: SOT 65648 SOS 41401 HAS SOPS 41401 HAS SOUS 21099 HAS SOUPS 21099 WITH SCORE 21140.401
AT ITER 221 NEW BEST:: SOT 65648 SOS 41561 HAS SOPS 41561 HAS SOUS 21079 HAS SOUPS 21079 WITH SCORE 21120.561
AT ITER 224 NEW BEST:: SOT 65629 SOS 41414 HAS SOPS 41414 HAS SOUS 20933 HAS SOUPS 20933 WITH SCORE 20974.414
AT ITER 229 NEW BEST:: SOT 65606 SOS 41230 HAS SOPS 41230 HAS SOUS 20884 HAS SOUPS 20884 WITH SCORE 20925.23
AT ITER 234 NEW BEST:: SOT 65551 SOS 41175 HAS SOPS 41175 HAS SOUS 20743 HAS SOUPS 20743 WITH SCORE 20784.175
AT ITER 237 NEW BEST:: SOT 65557 SOS 41059 HAS SOPS 41059 HAS SOUS 20727 HAS SOUPS 20727 WITH SCORE 20768.059
AT ITER 244 NEW BEST:: SOT 65463 SOS 40965 HAS SOPS 40965 HAS SOUS 20659 HAS SOUPS 20659 WITH SCORE 20699.965
AT ITER 245 NEW BEST:: SOT 65551 SOS 40947 HAS SOPS 40947 HAS SOUS 20592 HAS SOUPS 20592 WITH SCORE 20632.947
AT ITER 247 NEW BEST:: SOT 65135 SOS 42100 HAS SOPS 42100 HAS SOUS 20444 HAS SOUPS 20444 WITH SCORE 20486.1
AT ITER 248 NEW BEST:: SOT 65138 SOS 42106 HAS SOPS 42106 HAS SOUS 20438 HAS SOUPS 20438 WITH SCORE 20480.106
AT ITER 256 NEW BEST:: SOT 65149 SOS 42117 HAS SOPS 42117 HAS SOUS 20281 HAS SOUPS 20281 WITH SCORE 20323.117
AT ITER 257 NEW BEST:: SOT 65093 SOS 41962 HAS SOPS 41962 HAS SOUS 20279 HAS SOUPS 20279 WITH SCORE 20320.962
AT ITER 260 NEW BEST:: SOT 65116 SOS 41983 HAS SOPS 41983 HAS SOUS 20259 HAS SOUPS 20259 WITH SCORE 20300.983
AT ITER 274 NEW BEST:: SOT 65116 SOS 41872 HAS SOPS 41872 HAS SOUS 20259 HAS SOUPS 20259 WITH SCORE 20300.872
AT ITER 278 NEW BEST:: SOT 65116 SOS 41872 HAS SOPS 41872 HAS SOUS 20255 HAS SOUPS 20255 WITH SCORE 20296.872
AT ITER 281 NEW BEST:: SOT 65032 SOS 41779 HAS SOPS 41779 HAS SOUS 20171 HAS SOUPS 20171 WITH SCORE 20212.779
AT ITER 283 NEW BEST:: SOT 64918 SOS 41693 HAS SOPS 41693 HAS SOUS 20057 HAS SOUPS 20057 WITH SCORE 20098.693
AT ITER 286 NEW BEST:: SOT 64650 SOS 41425 HAS SOPS 41425 HAS SOUS 19905 HAS SOUPS 19905 WITH SCORE 19946.425
AT ITER 287 NEW BEST:: SOT 64255 SOS 41033 HAS SOPS 41033 HAS SOUS 19778 HAS SOUPS 19778 WITH SCORE 19819.033
AT ITER 300 NEW BEST:: SOT 64258 SOS 41036 HAS SOPS 41036 HAS SOUS 19723 HAS SOUPS 19723 WITH SCORE 19764.036
AT ITER 307 NEW BEST:: SOT 64246 SOS 41030 HAS SOPS 41030 HAS SOUS 19717 HAS SOUPS 19717 WITH SCORE 19758.03
AT ITER 323 NEW BEST:: SOT 64210 SOS 40970 HAS SOPS 40970 HAS SOUS 19681 HAS SOUPS 19681 WITH SCORE 19721.97
AT ITER 324 NEW BEST:: SOT 64206 SOS 40966 HAS SOPS 40966 HAS SOUS 19677 HAS SOUPS 19677 WITH SCORE 19717.966
AT ITER 328 NEW BEST:: SOT 64120 SOS 40916 HAS SOPS 40916 HAS SOUS 19558 HAS SOUPS 19558 WITH SCORE 19598.916
AT ITER 332 NEW BEST:: SOT 64171 SOS 41170 HAS SOPS 41170 HAS SOUS 19475 HAS SOUPS 19475 WITH SCORE 19516.17
AT ITER 334 NEW BEST:: SOT 64483 SOS 41343 HAS SOPS 41343 HAS SOUS 19459 HAS SOUPS 19459 WITH SCORE 19500.343
AT ITER 335 NEW BEST:: SOT 64411 SOS 41413 HAS SOPS 41413 HAS SOUS 19425 HAS SOUPS 19425 WITH SCORE 19466.413
AT ITER 346 NEW BEST:: SOT 64429 SOS 41431 HAS SOPS 41431 HAS SOUS 19355 HAS SOUPS 19355 WITH SCORE 19396.431
AT ITER 347 NEW BEST:: SOT 64722 SOS 41714 HAS SOPS 41714 HAS SOUS 19343 HAS SOUPS 19343 WITH SCORE 19384.714
AT ITER 348 NEW BEST:: SOT 64701 SOS 41689 HAS SOPS 41689 HAS SOUS 19315 HAS SOUPS 19315 WITH SCORE 19356.689
AT ITER 349 NEW BEST:: SOT 64718 SOS 41832 HAS SOPS 41832 HAS SOUS 19298 HAS SOUPS 19298 WITH SCORE 19339.832
AT ITER 351 NEW BEST:: SOT 64727 SOS 41785 HAS SOPS 41785 HAS SOUS 19293 HAS SOUPS 19293 WITH SCORE 19334.785
AT ITER 363 NEW BEST:: SOT 64705 SOS 41703 HAS SOPS 41703 HAS SOUS 19281 HAS SOUPS 19281 WITH SCORE 19322.703
AT ITER 369 NEW BEST:: SOT 64664 SOS 41701 HAS SOPS 41701 HAS SOUS 19193 HAS SOUPS 19193 WITH SCORE 19234.701
AT ITER 374 NEW BEST:: SOT 64876 SOS 41913 HAS SOPS 41913 HAS SOUS 19035 HAS SOUPS 19035 WITH SCORE 19076.913
AT ITER 382 NEW BEST:: SOT 64731 SOS 41793 HAS SOPS 41793 HAS SOUS 18980 HAS SOUPS 18980 WITH SCORE 19021.793
AT ITER 385 NEW BEST:: SOT 64717 SOS 41785 HAS SOPS 41785 HAS SOUS 18962 HAS SOUPS 18962 WITH SCORE 19003.785
AT ITER 400 NEW BEST:: SOT 64694 SOS 41846 HAS SOPS 41846 HAS SOUS 18939 HAS SOUPS 18939 WITH SCORE 18980.846
AT ITER 403 NEW BEST:: SOT 64708 SOS 41826 HAS SOPS 41826 HAS SOUS 18936 HAS SOUPS 18936 WITH SCORE 18977.826
AT ITER 404 NEW BEST:: SOT 64708 SOS 41811 HAS SOPS 41811 HAS SOUS 18936 HAS SOUPS 18936 WITH SCORE 18977.811
AT ITER 407 NEW BEST:: SOT 64642 SOS 41695 HAS SOPS 41695 HAS SOUS 18870 HAS SOUPS 18870 WITH SCORE 18911.695
AT ITER 414 NEW BEST:: SOT 64637 SOS 41694 HAS SOPS 41694 HAS SOUS 18858 HAS SOUPS 18858 WITH SCORE 18899.694
AT ITER 422 NEW BEST:: SOT 64571 SOS 41618 HAS SOPS 41618 HAS SOUS 18848 HAS SOUPS 18848 WITH SCORE 18889.618
AT ITER 427 NEW BEST:: SOT 64558 SOS 41199 HAS SOPS 41199 HAS SOUS 18848 HAS SOUPS 18848 WITH SCORE 18889.199
AT ITER 430 NEW BEST:: SOT 64548 SOS 41161 HAS SOPS 41161 HAS SOUS 18793 HAS SOUPS 18793 WITH SCORE 18834.161
AT ITER 444 NEW BEST:: SOT 64472 SOS 40664 HAS SOPS 40664 HAS SOUS 18620 HAS SOUPS 18620 WITH SCORE 18660.664
AT ITER 450 NEW BEST:: SOT 64460 SOS 40592 HAS SOPS 40592 HAS SOUS 18609 HAS SOUPS 18609 WITH SCORE 18649.592
AT ITER 456 NEW BEST:: SOT 63671 SOS 40303 HAS SOPS 40303 HAS SOUS 18487 HAS SOUPS 18487 WITH SCORE 18527.303
AT ITER 457 NEW BEST:: SOT 63679 SOS 40319 HAS SOPS 40319 HAS SOUS 18438 HAS SOUPS 18438 WITH SCORE 18478.319
AT ITER 458 NEW BEST:: SOT 63510 SOS 40150 HAS SOPS 40150 HAS SOUS 18377 HAS SOUPS 18377 WITH SCORE 18417.15
AT ITER 460 NEW BEST:: SOT 63499 SOS 40153 HAS SOPS 40153 HAS SOUS 18354 HAS SOUPS 18354 WITH SCORE 18394.153
AT ITER 465 NEW BEST:: SOT 63497 SOS 40150 HAS SOPS 40150 HAS SOUS 18352 HAS SOUPS 18352 WITH SCORE 18392.15
AT ITER 472 NEW BEST:: SOT 63481 SOS 40030 HAS SOPS 40030 HAS SOUS 18276 HAS SOUPS 18276 WITH SCORE 18316.03
AT ITER 473 NEW BEST:: SOT 63614 SOS 40150 HAS SOPS 40150 HAS SOUS 18267 HAS SOUPS 18267 WITH SCORE 18307.15
AT ITER 478 NEW BEST:: SOT 63608 SOS 40144 HAS SOPS 40144 HAS SOUS 18261 HAS SOUPS 18261 WITH SCORE 18301.144
AT ITER 483 NEW BEST:: SOT 63608 SOS 40120 HAS SOPS 40120 HAS SOUS 18261 HAS SOUPS 18261 WITH SCORE 18301.12
AT ITER 487 NEW BEST:: SOT 63558 SOS 40020 HAS SOPS 40020 HAS SOUS 18161 HAS SOUPS 18161 WITH SCORE 18201.02
AT ITER 490 NEW BEST:: SOT 63421 SOS 39778 HAS SOPS 39778 HAS SOUS 18041 HAS SOUPS 18041 WITH SCORE 18080.778
AT ITER 497 NEW BEST:: SOT 63380 SOS 39564 HAS SOPS 39564 HAS SOUS 17981 HAS SOUPS 17981 WITH SCORE 18020.564
AT ITER 498 NEW BEST:: SOT 63136 SOS 39405 HAS SOPS 39405 HAS SOUS 17943 HAS SOUPS 17943 WITH SCORE 17982.405
AT ITER 504 NEW BEST:: SOT 63136 SOS 39405 HAS SOPS 39405 HAS SOUS 17917 HAS SOUPS 17917 WITH SCORE 17956.405
AT ITER 506 NEW BEST:: SOT 63132 SOS 39401 HAS SOPS 39401 HAS SOUS 17911 HAS SOUPS 17911 WITH SCORE 17950.401
AT ITER 515 NEW BEST:: SOT 63132 SOS 39401 HAS SOPS 39401 HAS SOUS 17910 HAS SOUPS 17910 WITH SCORE 17949.401
AT ITER 516 NEW BEST:: SOT 63115 SOS 39313 HAS SOPS 39313 HAS SOUS 17852 HAS SOUPS 17852 WITH SCORE 17891.313
AT ITER 522 NEW BEST:: SOT 63086 SOS 39255 HAS SOPS 39255 HAS SOUS 17821 HAS SOUPS 17821 WITH SCORE 17860.255
AT ITER 523 NEW BEST:: SOT 63055 SOS 38921 HAS SOPS 38921 HAS SOUS 17721 HAS SOUPS 17721 WITH SCORE 17759.921
AT ITER 524 NEW BEST:: SOT 63050 SOS 38909 HAS SOPS 38909 HAS SOUS 17716 HAS SOUPS 17716 WITH SCORE 17754.909
AT ITER 530 NEW BEST:: SOT 63018 SOS 38813 HAS SOPS 38813 HAS SOUS 17652 HAS SOUPS 17652 WITH SCORE 17690.813
AT ITER 531 NEW BEST:: SOT 63105 SOS 39399 HAS SOPS 39399 HAS SOUS 17366 HAS SOUPS 17366 WITH SCORE 17405.399
AT ITER 536 NEW BEST:: SOT 63021 SOS 39227 HAS SOPS 39227 HAS SOUS 17256 HAS SOUPS 17256 WITH SCORE 17295.227
AT ITER 538 NEW BEST:: SOT 63027 SOS 39233 HAS SOPS 39233 HAS SOUS 17251 HAS SOUPS 17251 WITH SCORE 17290.233
AT ITER 539 NEW BEST:: SOT 63020 SOS 39205 HAS SOPS 39205 HAS SOUS 17244 HAS SOUPS 17244 WITH SCORE 17283.205
AT ITER 554 NEW BEST:: SOT 62947 SOS 38999 HAS SOPS 38999 HAS SOUS 17167 HAS SOUPS 17167 WITH SCORE 17205.999
AT ITER 556 NEW BEST:: SOT 62879 SOS 38891 HAS SOPS 38891 HAS SOUS 17043 HAS SOUPS 17043 WITH SCORE 17081.891
AT ITER 566 NEW BEST:: SOT 62887 SOS 38917 HAS SOPS 38917 HAS SOUS 16991 HAS SOUPS 16991 WITH SCORE 17029.917
AT ITER 569 NEW BEST:: SOT 62843 SOS 38867 HAS SOPS 38867 HAS SOUS 16962 HAS SOUPS 16962 WITH SCORE 17000.867
AT ITER 572 NEW BEST:: SOT 62803 SOS 38809 HAS SOPS 38809 HAS SOUS 16850 HAS SOUPS 16850 WITH SCORE 16888.809
AT ITER 574 NEW BEST:: SOT 62829 SOS 38755 HAS SOPS 38755 HAS SOUS 16836 HAS SOUPS 16836 WITH SCORE 16874.755
AT ITER 575 NEW BEST:: SOT 62776 SOS 38750 HAS SOPS 38750 HAS SOUS 16677 HAS SOUPS 16677 WITH SCORE 16715.75
AT ITER 580 NEW BEST:: SOT 62730 SOS 38736 HAS SOPS 38736 HAS SOUS 16632 HAS SOUPS 16632 WITH SCORE 16670.736
AT ITER 590 NEW BEST:: SOT 62629 SOS 38635 HAS SOPS 38635 HAS SOUS 16382 HAS SOUPS 16382 WITH SCORE 16420.635
AT ITER 599 NEW BEST:: SOT 62682 SOS 38686 HAS SOPS 38686 HAS SOUS 16349 HAS SOUPS 16349 WITH SCORE 16387.686
AT ITER 600 NEW BEST:: SOT 62750 SOS 38720 HAS SOPS 38720 HAS SOUS 16328 HAS SOUPS 16328 WITH SCORE 16366.72
AT ITER 602 NEW BEST:: SOT 62742 SOS 38704 HAS SOPS 38704 HAS SOUS 16320 HAS SOUPS 16320 WITH SCORE 16358.704
AT ITER 609 NEW BEST:: SOT 62742 SOS 38660 HAS SOPS 38660 HAS SOUS 16317 HAS SOUPS 16317 WITH SCORE 16355.66
AT ITER 612 NEW BEST:: SOT 62740 SOS 38658 HAS SOPS 38658 HAS SOUS 16313 HAS SOUPS 16313 WITH SCORE 16351.658
AT ITER 614 NEW BEST:: SOT 62712 SOS 38600 HAS SOPS 38600 HAS SOUS 16257 HAS SOUPS 16257 WITH SCORE 16295.6
AT ITER 617 NEW BEST:: SOT 62712 SOS 38590 HAS SOPS 38590 HAS SOUS 16257 HAS SOUPS 16257 WITH SCORE 16295.59
AT ITER 619 NEW BEST:: SOT 62712 SOS 38624 HAS SOPS 38624 HAS SOUS 16226 HAS SOUPS 16226 WITH SCORE 16264.624
AT ITER 623 NEW BEST:: SOT 62704 SOS 38468 HAS SOPS 38468 HAS SOUS 16123 HAS SOUPS 16123 WITH SCORE 16161.468
AT ITER 626 NEW BEST:: SOT 62662 SOS 38538 HAS SOPS 38538 HAS SOUS 16081 HAS SOUPS 16081 WITH SCORE 16119.538
AT ITER 632 NEW BEST:: SOT 62653 SOS 38532 HAS SOPS 38532 HAS SOUS 16069 HAS SOUPS 16069 WITH SCORE 16107.532
AT ITER 634 NEW BEST:: SOT 62649 SOS 38536 HAS SOPS 38536 HAS SOUS 16065 HAS SOUPS 16065 WITH SCORE 16103.536
AT ITER 635 NEW BEST:: SOT 62556 SOS 38658 HAS SOPS 38658 HAS SOUS 16060 HAS SOUPS 16060 WITH SCORE 16098.658
AT ITER 641 NEW BEST:: SOT 62478 SOS 38541 HAS SOPS 38541 HAS SOUS 15943 HAS SOUPS 15943 WITH SCORE 15981.541
AT ITER 644 NEW BEST:: SOT 62453 SOS 38463 HAS SOPS 38463 HAS SOUS 15918 HAS SOUPS 15918 WITH SCORE 15956.463
AT ITER 653 NEW BEST:: SOT 62549 SOS 38501 HAS SOPS 38501 HAS SOUS 15897 HAS SOUPS 15897 WITH SCORE 15935.501
AT ITER 658 NEW BEST:: SOT 62730 SOS 38678 HAS SOPS 38678 HAS SOUS 15870 HAS SOUPS 15870 WITH SCORE 15908.678
AT ITER 662 NEW BEST:: SOT 62706 SOS 38630 HAS SOPS 38630 HAS SOUS 15846 HAS SOUPS 15846 WITH SCORE 15884.63
AT ITER 672 NEW BEST:: SOT 62653 SOS 38652 HAS SOPS 38652 HAS SOUS 15845 HAS SOUPS 15845 WITH SCORE 15883.652
AT ITER 676 NEW BEST:: SOT 62625 SOS 38624 HAS SOPS 38624 HAS SOUS 15817 HAS SOUPS 15817 WITH SCORE 15855.624
AT ITER 681 NEW BEST:: SOT 62601 SOS 38609 HAS SOPS 38609 HAS SOUS 15816 HAS SOUPS 15816 WITH SCORE 15854.609
AT ITER 682 NEW BEST:: SOT 62602 SOS 38974 HAS SOPS 38974 HAS SOUS 15810 HAS SOUPS 15810 WITH SCORE 15848.974
AT ITER 683 NEW BEST:: SOT 62575 SOS 38956 HAS SOPS 38956 HAS SOUS 15792 HAS SOUPS 15792 WITH SCORE 15830.956
AT ITER 685 NEW BEST:: SOT 62580 SOS 38910 HAS SOPS 38910 HAS SOUS 15783 HAS SOUPS 15783 WITH SCORE 15821.91
AT ITER 686 NEW BEST:: SOT 62556 SOS 38943 HAS SOPS 38943 HAS SOUS 15735 HAS SOUPS 15735 WITH SCORE 15773.943
AT ITER 687 NEW BEST:: SOT 62154 SOS 38404 HAS SOPS 38404 HAS SOUS 15372 HAS SOUPS 15372 WITH SCORE 15410.404
AT ITER 690 NEW BEST:: SOT 62161 SOS 38354 HAS SOPS 38354 HAS SOUS 15371 HAS SOUPS 15371 WITH SCORE 15409.354
AT ITER 691 NEW BEST:: SOT 62151 SOS 38277 HAS SOPS 38277 HAS SOUS 15361 HAS SOUPS 15361 WITH SCORE 15399.277
AT ITER 701 NEW BEST:: SOT 62131 SOS 38257 HAS SOPS 38257 HAS SOUS 15350 HAS SOUPS 15350 WITH SCORE 15388.257
AT ITER 710 NEW BEST:: SOT 62119 SOS 38229 HAS SOPS 38229 HAS SOUS 15344 HAS SOUPS 15344 WITH SCORE 15382.229
AT ITER 716 NEW BEST:: SOT 62114 SOS 38175 HAS SOPS 38175 HAS SOUS 15339 HAS SOUPS 15339 WITH SCORE 15377.175
AT ITER 717 NEW BEST:: SOT 62004 SOS 37732 HAS SOPS 37732 HAS SOUS 15272 HAS SOUPS 15272 WITH SCORE 15309.732
AT ITER 723 NEW BEST:: SOT 62004 SOS 37449 HAS SOPS 37449 HAS SOUS 15250 HAS SOUPS 15250 WITH SCORE 15287.449
AT ITER 724 NEW BEST:: SOT 62004 SOS 37449 HAS SOPS 37449 HAS SOUS 15237 HAS SOUPS 15237 WITH SCORE 15274.449
AT ITER 725 NEW BEST:: SOT 61992 SOS 37437 HAS SOPS 37437 HAS SOUS 15237 HAS SOUPS 15237 WITH SCORE 15274.437
AT ITER 728 NEW BEST:: SOT 61992 SOS 37327 HAS SOPS 37327 HAS SOUS 15237 HAS SOUPS 15237 WITH SCORE 15274.327
AT ITER 730 NEW BEST:: SOT 61958 SOS 37293 HAS SOPS 37293 HAS SOUS 15186 HAS SOUPS 15186 WITH SCORE 15223.293
AT ITER 732 NEW BEST:: SOT 61948 SOS 37283 HAS SOPS 37283 HAS SOUS 15156 HAS SOUPS 15156 WITH SCORE 15193.283
AT ITER 742 NEW BEST:: SOT 61936 SOS 37259 HAS SOPS 37259 HAS SOUS 15126 HAS SOUPS 15126 WITH SCORE 15163.259
AT ITER 754 NEW BEST:: SOT 61920 SOS 37243 HAS SOPS 37243 HAS SOUS 15077 HAS SOUPS 15077 WITH SCORE 15114.243
AT ITER 755 NEW BEST:: SOT 61995 SOS 37206 HAS SOPS 37206 HAS SOUS 14920 HAS SOUPS 14920 WITH SCORE 14957.206
AT ITER 760 NEW BEST:: SOT 62001 SOS 37212 HAS SOPS 37212 HAS SOUS 14835 HAS SOUPS 14835 WITH SCORE 14872.212
AT ITER 766 NEW BEST:: SOT 61961 SOS 37186 HAS SOPS 37186 HAS SOUS 14801 HAS SOUPS 14801 WITH SCORE 14838.186
AT ITER 767 NEW BEST:: SOT 61962 SOS 37187 HAS SOPS 37187 HAS SOUS 14754 HAS SOUPS 14754 WITH SCORE 14791.187
AT ITER 783 NEW BEST:: SOT 61934 SOS 37179 HAS SOPS 37179 HAS SOUS 14714 HAS SOUPS 14714 WITH SCORE 14751.179
AT ITER 795 NEW BEST:: SOT 61916 SOS 37161 HAS SOPS 37161 HAS SOUS 14696 HAS SOUPS 14696 WITH SCORE 14733.161
AT ITER 800 NEW BEST:: SOT 61936 SOS 37181 HAS SOPS 37181 HAS SOUS 14692 HAS SOUPS 14692 WITH SCORE 14729.181
AT ITER 816 NEW BEST:: SOT 61811 SOS 36944 HAS SOPS 36944 HAS SOUS 14678 HAS SOUPS 14678 WITH SCORE 14714.944
AT ITER 821 NEW BEST:: SOT 61817 SOS 36950 HAS SOPS 36950 HAS SOUS 14661 HAS SOUPS 14661 WITH SCORE 14697.95
AT ITER 839 NEW BEST:: SOT 61818 SOS 36952 HAS SOPS 36952 HAS SOUS 14657 HAS SOUPS 14657 WITH SCORE 14693.952
AT ITER 842 NEW BEST:: SOT 61976 SOS 37173 HAS SOPS 37173 HAS SOUS 14636 HAS SOUPS 14636 WITH SCORE 14673.173
AT ITER 843 NEW BEST:: SOT 61883 SOS 37314 HAS SOPS 37314 HAS SOUS 14522 HAS SOUPS 14522 WITH SCORE 14559.314
AT ITER 850 NEW BEST:: SOT 61889 SOS 37416 HAS SOPS 37416 HAS SOUS 14468 HAS SOUPS 14468 WITH SCORE 14505.416
AT ITER 854 NEW BEST:: SOT 61902 SOS 37321 HAS SOPS 37321 HAS SOUS 14468 HAS SOUPS 14468 WITH SCORE 14505.321
AT ITER 859 NEW BEST:: SOT 61764 SOS 36668 HAS SOPS 36668 HAS SOUS 14274 HAS SOUPS 14274 WITH SCORE 14310.668
AT ITER 862 NEW BEST:: SOT 61712 SOS 36298 HAS SOPS 36298 HAS SOUS 14238 HAS SOUPS 14238 WITH SCORE 14274.298
AT ITER 870 NEW BEST:: SOT 61648 SOS 36234 HAS SOPS 36234 HAS SOUS 14126 HAS SOUPS 14126 WITH SCORE 14162.234
AT ITER 871 NEW BEST:: SOT 61593 SOS 36027 HAS SOPS 36027 HAS SOUS 14016 HAS SOUPS 14016 WITH SCORE 14052.027
AT ITER 876 NEW BEST:: SOT 61555 SOS 35983 HAS SOPS 35983 HAS SOUS 14013 HAS SOUPS 14013 WITH SCORE 14048.983
AT ITER 877 NEW BEST:: SOT 61594 SOS 36019 HAS SOPS 36019 HAS SOUS 13969 HAS SOUPS 13969 WITH SCORE 14005.019
AT ITER 878 NEW BEST:: SOT 61582 SOS 35995 HAS SOPS 35995 HAS SOUS 13957 HAS SOUPS 13957 WITH SCORE 13992.995
AT ITER 894 NEW BEST:: SOT 61583 SOS 35995 HAS SOPS 35995 HAS SOUS 13956 HAS SOUPS 13956 WITH SCORE 13991.995
AT ITER 901 NEW BEST:: SOT 61576 SOS 35988 HAS SOPS 35988 HAS SOUS 13935 HAS SOUPS 13935 WITH SCORE 13970.988
AT ITER 911 NEW BEST:: SOT 61563 SOS 35962 HAS SOPS 35962 HAS SOUS 13935 HAS SOUPS 13935 WITH SCORE 13970.962
AT ITER 912 NEW BEST:: SOT 61563 SOS 35972 HAS SOPS 35972 HAS SOUS 13920 HAS SOUPS 13920 WITH SCORE 13955.972
AT ITER 948 NEW BEST:: SOT 61569 SOS 35951 HAS SOPS 35951 HAS SOUS 13905 HAS SOUPS 13905 WITH SCORE 13940.951
AT ITER 969 NEW BEST:: SOT 61385 SOS 35808 HAS SOPS 35808 HAS SOUS 13794 HAS SOUPS 13794 WITH SCORE 13829.808
AT ITER 975 NEW BEST:: SOT 61385 SOS 35799 HAS SOPS 35799 HAS SOUS 13794 HAS SOUPS 13794 WITH SCORE 13829.799
AT ITER 976 NEW BEST:: SOT 61383 SOS 35797 HAS SOPS 35797 HAS SOUS 13791 HAS SOUPS 13791 WITH SCORE 13826.797
AT ITER 979 NEW BEST:: SOT 61213 SOS 35231 HAS SOPS 35231 HAS SOUS 13546 HAS SOUPS 13546 WITH SCORE 13581.231
AT ITER 983 NEW BEST:: SOT 61189 SOS 35207 HAS SOPS 35207 HAS SOUS 13474 HAS SOUPS 13474 WITH SCORE 13509.207
AT ITER 986 NEW BEST:: SOT 61177 SOS 35195 HAS SOPS 35195 HAS SOUS 13458 HAS SOUPS 13458 WITH SCORE 13493.195
AT ITER 999 NEW BEST:: SOT 61191 SOS 35205 HAS SOPS 35205 HAS SOUS 13454 HAS SOUPS 13454 WITH SCORE 13489.205
AT ITER 1003 NEW BEST:: SOT 61205 SOS 35143 HAS SOPS 35143 HAS SOUS 13425 HAS SOUPS 13425 WITH SCORE 13460.143
AT ITER 1008 NEW BEST:: SOT 61165 SOS 35201 HAS SOPS 35201 HAS SOUS 13373 HAS SOUPS 13373 WITH SCORE 13408.201
AT ITER 1010 NEW BEST:: SOT 61162 SOS 35198 HAS SOPS 35198 HAS SOUS 13370 HAS SOUPS 13370 WITH SCORE 13405.198
AT ITER 1017 NEW BEST:: SOT 61162 SOS 35183 HAS SOPS 35183 HAS SOUS 13370 HAS SOUPS 13370 WITH SCORE 13405.183
AT ITER 1024 NEW BEST:: SOT 61147 SOS 35123 HAS SOPS 35123 HAS SOUS 13340 HAS SOUPS 13340 WITH SCORE 13375.123
AT ITER 1034 NEW BEST:: SOT 61152 SOS 35006 HAS SOPS 35006 HAS SOUS 13265 HAS SOUPS 13265 WITH SCORE 13300.006
AT ITER 1047 NEW BEST:: SOT 61063 SOS 35183 HAS SOPS 35183 HAS SOUS 13248 HAS SOUPS 13248 WITH SCORE 13283.183
AT ITER 1061 NEW BEST:: SOT 61039 SOS 35165 HAS SOPS 35165 HAS SOUS 13248 HAS SOUPS 13248 WITH SCORE 13283.165
AT ITER 1064 NEW BEST:: SOT 61025 SOS 35151 HAS SOPS 35151 HAS SOUS 13242 HAS SOUPS 13242 WITH SCORE 13277.151
AT ITER 1067 NEW BEST:: SOT 60998 SOS 35124 HAS SOPS 35124 HAS SOUS 13234 HAS SOUPS 13234 WITH SCORE 13269.124
AT ITER 1082 NEW BEST:: SOT 60928 SOS 35054 HAS SOPS 35054 HAS SOUS 13200 HAS SOUPS 13200 WITH SCORE 13235.054
AT ITER 1086 NEW BEST:: SOT 60928 SOS 35054 HAS SOPS 35054 HAS SOUS 13194 HAS SOUPS 13194 WITH SCORE 13229.054
AT ITER 1096 NEW BEST:: SOT 60930 SOS 35056 HAS SOPS 35056 HAS SOUS 13169 HAS SOUPS 13169 WITH SCORE 13204.056
AT ITER 1104 NEW BEST:: SOT 60676 SOS 34786 HAS SOPS 34786 HAS SOUS 12870 HAS SOUPS 12870 WITH SCORE 12904.786
AT ITER 1107 NEW BEST:: SOT 60675 SOS 34781 HAS SOPS 34781 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12903.781
AT ITER 1110 NEW BEST:: SOT 60653 SOS 34745 HAS SOPS 34745 HAS SOUS 12845 HAS SOUPS 12845 WITH SCORE 12879.745
AT ITER 1111 NEW BEST:: SOT 60650 SOS 34744 HAS SOPS 34744 HAS SOUS 12843 HAS SOUPS 12843 WITH SCORE 12877.744
AT ITER 1115 NEW BEST:: SOT 60650 SOS 34714 HAS SOPS 34714 HAS SOUS 12823 HAS SOUPS 12823 WITH SCORE 12857.714
AT ITER 1130 NEW BEST:: SOT 60642 SOS 34706 HAS SOPS 34706 HAS SOUS 12774 HAS SOUPS 12774 WITH SCORE 12808.706
AT ITER 1139 NEW BEST:: SOT 60640 SOS 34704 HAS SOPS 34704 HAS SOUS 12772 HAS SOUPS 12772 WITH SCORE 12806.704
AT ITER 1140 NEW BEST:: SOT 60595 SOS 34599 HAS SOPS 34599 HAS SOUS 12712 HAS SOUPS 12712 WITH SCORE 12746.599
AT ITER 1148 NEW BEST:: SOT 60581 SOS 34541 HAS SOPS 34541 HAS SOUS 12683 HAS SOUPS 12683 WITH SCORE 12717.541
AT ITER 1160 NEW BEST:: SOT 60557 SOS 34523 HAS SOPS 34523 HAS SOUS 12648 HAS SOUPS 12648 WITH SCORE 12682.523
AT ITER 1172 NEW BEST:: SOT 60578 SOS 34640 HAS SOPS 34640 HAS SOUS 12628 HAS SOUPS 12628 WITH SCORE 12662.64
AT ITER 1182 NEW BEST:: SOT 60578 SOS 34640 HAS SOPS 34640 HAS SOUS 12587 HAS SOUPS 12587 WITH SCORE 12621.64
AT ITER 1183 NEW BEST:: SOT 60560 SOS 34501 HAS SOPS 34501 HAS SOUS 12569 HAS SOUPS 12569 WITH SCORE 12603.501
AT ITER 1187 NEW BEST:: SOT 60558 SOS 34523 HAS SOPS 34523 HAS SOUS 12567 HAS SOUPS 12567 WITH SCORE 12601.523
AT ITER 1193 NEW BEST:: SOT 60528 SOS 34493 HAS SOPS 34493 HAS SOUS 12552 HAS SOUPS 12552 WITH SCORE 12586.493
AT ITER 1199 NEW BEST:: SOT 60574 SOS 34539 HAS SOPS 34539 HAS SOUS 12531 HAS SOUPS 12531 WITH SCORE 12565.539
AT ITER 1203 NEW BEST:: SOT 60620 SOS 34561 HAS SOPS 34561 HAS SOUS 12514 HAS SOUPS 12514 WITH SCORE 12548.561
AT ITER 1220 NEW BEST:: SOT 60310 SOS 34260 HAS SOPS 34260 HAS SOUS 12366 HAS SOUPS 12366 WITH SCORE 12400.26
AT ITER 1222 NEW BEST:: SOT 60318 SOS 34248 HAS SOPS 34248 HAS SOUS 12277 HAS SOUPS 12277 WITH SCORE 12311.248
AT ITER 1230 NEW BEST:: SOT 60304 SOS 34234 HAS SOPS 34234 HAS SOUS 12272 HAS SOUPS 12272 WITH SCORE 12306.234
AT ITER 1241 NEW BEST:: SOT 60324 SOS 34232 HAS SOPS 34232 HAS SOUS 12268 HAS SOUPS 12268 WITH SCORE 12302.232
AT ITER 1249 NEW BEST:: SOT 60367 SOS 34210 HAS SOPS 34210 HAS SOUS 12245 HAS SOUPS 12245 WITH SCORE 12279.21
AT ITER 1250 NEW BEST:: SOT 60358 SOS 34201 HAS SOPS 34201 HAS SOUS 12245 HAS SOUPS 12245 WITH SCORE 12279.201
AT ITER 1251 NEW BEST:: SOT 60301 SOS 34052 HAS SOPS 34052 HAS SOUS 12231 HAS SOUPS 12231 WITH SCORE 12265.052
AT ITER 1260 NEW BEST:: SOT 60322 SOS 33753 HAS SOPS 33753 HAS SOUS 12226 HAS SOUPS 12226 WITH SCORE 12259.753
AT ITER 1266 NEW BEST:: SOT 60349 SOS 33747 HAS SOPS 33747 HAS SOUS 12208 HAS SOUPS 12208 WITH SCORE 12241.747
AT ITER 1267 NEW BEST:: SOT 60280 SOS 33535 HAS SOPS 33535 HAS SOUS 12105 HAS SOUPS 12105 WITH SCORE 12138.535
AT ITER 1271 NEW BEST:: SOT 60280 SOS 33523 HAS SOPS 33523 HAS SOUS 12099 HAS SOUPS 12099 WITH SCORE 12132.523
AT ITER 1284 NEW BEST:: SOT 60277 SOS 33520 HAS SOPS 33520 HAS SOUS 12093 HAS SOUPS 12093 WITH SCORE 12126.52
AT ITER 1298 NEW BEST:: SOT 60275 SOS 33516 HAS SOPS 33516 HAS SOUS 12091 HAS SOUPS 12091 WITH SCORE 12124.516
AT ITER 1303 NEW BEST:: SOT 60259 SOS 33508 HAS SOPS 33508 HAS SOUS 12067 HAS SOUPS 12067 WITH SCORE 12100.508
AT ITER 1325 NEW BEST:: SOT 60243 SOS 33492 HAS SOPS 33492 HAS SOUS 12051 HAS SOUPS 12051 WITH SCORE 12084.492
AT ITER 1330 NEW BEST:: SOT 60273 SOS 33554 HAS SOPS 33554 HAS SOUS 12037 HAS SOUPS 12037 WITH SCORE 12070.554
AT ITER 1340 NEW BEST:: SOT 60273 SOS 33587 HAS SOPS 33587 HAS SOUS 12026 HAS SOUPS 12026 WITH SCORE 12059.587
AT ITER 1358 NEW BEST:: SOT 60267 SOS 33471 HAS SOPS 33471 HAS SOUS 12019 HAS SOUPS 12019 WITH SCORE 12052.471
AT ITER 1383 NEW BEST:: SOT 60181 SOS 33385 HAS SOPS 33385 HAS SOUS 11995 HAS SOUPS 11995 WITH SCORE 12028.385
AT ITER 1394 NEW BEST:: SOT 60125 SOS 33257 HAS SOPS 33257 HAS SOUS 11955 HAS SOUPS 11955 WITH SCORE 11988.257
AT ITER 1398 NEW BEST:: SOT 60125 SOS 33257 HAS SOPS 33257 HAS SOUS 11954 HAS SOUPS 11954 WITH SCORE 11987.257
AT ITER 1420 NEW BEST:: SOT 60120 SOS 33251 HAS SOPS 33251 HAS SOUS 11948 HAS SOUPS 11948 WITH SCORE 11981.251
AT ITER 1457 NEW BEST:: SOT 60120 SOS 33251 HAS SOPS 33251 HAS SOUS 11947 HAS SOUPS 11947 WITH SCORE 11980.251
AT ITER 1460 NEW BEST:: SOT 60127 SOS 33279 HAS SOPS 33279 HAS SOUS 11939 HAS SOUPS 11939 WITH SCORE 11972.279
AT ITER 1462 NEW BEST:: SOT 60027 SOS 33042 HAS SOPS 33042 HAS SOUS 11837 HAS SOUPS 11837 WITH SCORE 11870.042
AT ITER 1466 NEW BEST:: SOT 60034 SOS 33049 HAS SOPS 33049 HAS SOUS 11830 HAS SOUPS 11830 WITH SCORE 11863.049
AT ITER 1476 NEW BEST:: SOT 60026 SOS 33041 HAS SOPS 33041 HAS SOUS 11810 HAS SOUPS 11810 WITH SCORE 11843.041
AT ITER 1487 NEW BEST:: SOT 60029 SOS 33047 HAS SOPS 33047 HAS SOUS 11801 HAS SOUPS 11801 WITH SCORE 11834.047
AT ITER 1492 NEW BEST:: SOT 60025 SOS 33044 HAS SOPS 33044 HAS SOUS 11800 HAS SOUPS 11800 WITH SCORE 11833.044
AT ITER 1503 NEW BEST:: SOT 60025 SOS 33044 HAS SOPS 33044 HAS SOUS 11771 HAS SOUPS 11771 WITH SCORE 11804.044
AT ITER 1513 NEW BEST:: SOT 60025 SOS 33038 HAS SOPS 33038 HAS SOUS 11768 HAS SOUPS 11768 WITH SCORE 11801.038
AT ITER 1515 NEW BEST:: SOT 60015 SOS 33006 HAS SOPS 33006 HAS SOUS 11758 HAS SOUPS 11758 WITH SCORE 11791.006
AT ITER 1516 NEW BEST:: SOT 60007 SOS 32998 HAS SOPS 32998 HAS SOUS 11747 HAS SOUPS 11747 WITH SCORE 11779.998
AT ITER 1530 NEW BEST:: SOT 60007 SOS 32987 HAS SOPS 32987 HAS SOUS 11744 HAS SOUPS 11744 WITH SCORE 11776.987
AT ITER 1574 NEW BEST:: SOT 59982 SOS 32962 HAS SOPS 32962 HAS SOUS 11719 HAS SOUPS 11719 WITH SCORE 11751.962
AT ITER 1582 NEW BEST:: SOT 59978 SOS 32966 HAS SOPS 32966 HAS SOUS 11711 HAS SOUPS 11711 WITH SCORE 11743.966
AT ITER 1589 NEW BEST:: SOT 59975 SOS 32962 HAS SOPS 32962 HAS SOUS 11708 HAS SOUPS 11708 WITH SCORE 11740.962
AT ITER 1598 NEW BEST:: SOT 59975 SOS 32971 HAS SOPS 32971 HAS SOUS 11705 HAS SOUPS 11705 WITH SCORE 11737.971
AT ITER 1642 NEW BEST:: SOT 60070 SOS 33057 HAS SOPS 33057 HAS SOUS 11662 HAS SOUPS 11662 WITH SCORE 11695.057
AT ITER 1656 NEW BEST:: SOT 60084 SOS 33071 HAS SOPS 33071 HAS SOUS 11657 HAS SOUPS 11657 WITH SCORE 11690.071
AT ITER 1668 NEW BEST:: SOT 60108 SOS 33095 HAS SOPS 33095 HAS SOUS 11626 HAS SOUPS 11626 WITH SCORE 11659.095
AT ITER 1679 NEW BEST:: SOT 60173 SOS 33160 HAS SOPS 33160 HAS SOUS 11621 HAS SOUPS 11621 WITH SCORE 11654.16
AT ITER 1685 NEW BEST:: SOT 60163 SOS 33150 HAS SOPS 33150 HAS SOUS 11613 HAS SOUPS 11613 WITH SCORE 11646.15
AT ITER 1709 NEW BEST:: SOT 60126 SOS 33111 HAS SOPS 33111 HAS SOUS 11584 HAS SOUPS 11584 WITH SCORE 11617.111
AT ITER 1722 NEW BEST:: SOT 60122 SOS 33093 HAS SOPS 33093 HAS SOUS 11570 HAS SOUPS 11570 WITH SCORE 11603.093
AT ITER 1770 NEW BEST:: SOT 60089 SOS 32923 HAS SOPS 32923 HAS SOUS 11534 HAS SOUPS 11534 WITH SCORE 11566.923
AT ITER 1773 NEW BEST:: SOT 60087 SOS 32921 HAS SOPS 32921 HAS SOUS 11530 HAS SOUPS 11530 WITH SCORE 11562.921
AT ITER 1804 NEW BEST:: SOT 60083 SOS 32909 HAS SOPS 32909 HAS SOUS 11526 HAS SOUPS 11526 WITH SCORE 11558.909
AT ITER 1822 NEW BEST:: SOT 60083 SOS 32909 HAS SOPS 32909 HAS SOUS 11523 HAS SOUPS 11523 WITH SCORE 11555.909
AT ITER 1836 NEW BEST:: SOT 60068 SOS 32871 HAS SOPS 32871 HAS SOUS 11490 HAS SOUPS 11490 WITH SCORE 11522.871
AT ITER 1858 NEW BEST:: SOT 59969 SOS 32825 HAS SOPS 32825 HAS SOUS 11352 HAS SOUPS 11352 WITH SCORE 11384.825
AT ITER 1871 NEW BEST:: SOT 59943 SOS 32793 HAS SOPS 32793 HAS SOUS 11328 HAS SOUPS 11328 WITH SCORE 11360.793
AT ITER 1873 NEW BEST:: SOT 59943 SOS 32790 HAS SOPS 32790 HAS SOUS 11328 HAS SOUPS 11328 WITH SCORE 11360.79
AT ITER 1911 NEW BEST:: SOT 59962 SOS 32770 HAS SOPS 32770 HAS SOUS 11308 HAS SOUPS 11308 WITH SCORE 11340.77
AT ITER 1913 NEW BEST:: SOT 59956 SOS 32756 HAS SOPS 32756 HAS SOUS 11304 HAS SOUPS 11304 WITH SCORE 11336.756
AT ITER 1931 NEW BEST:: SOT 59929 SOS 32676 HAS SOPS 32676 HAS SOUS 11266 HAS SOUPS 11266 WITH SCORE 11298.676
AT ITER 1949 NEW BEST:: SOT 59929 SOS 32674 HAS SOPS 32674 HAS SOUS 11265 HAS SOUPS 11265 WITH SCORE 11297.674
AT ITER 1970 NEW BEST:: SOT 59953 SOS 32698 HAS SOPS 32698 HAS SOUS 11253 HAS SOUPS 11253 WITH SCORE 11285.698
AT ITER 1972 NEW BEST:: SOT 59877 SOS 32670 HAS SOPS 32670 HAS SOUS 11213 HAS SOUPS 11213 WITH SCORE 11245.67
AT ITER 1978 NEW BEST:: SOT 59868 SOS 32672 HAS SOPS 32672 HAS SOUS 11204 HAS SOUPS 11204 WITH SCORE 11236.672
AT ITER 1992 NEW BEST:: SOT 59814 SOS 32543 HAS SOPS 32543 HAS SOUS 11081 HAS SOUPS 11081 WITH SCORE 11113.543
AT ITER 2019 NEW BEST:: SOT 59800 SOS 32529 HAS SOPS 32529 HAS SOUS 11062 HAS SOUPS 11062 WITH SCORE 11094.529
AT ITER 2030 NEW BEST:: SOT 59753 SOS 32482 HAS SOPS 32482 HAS SOUS 11056 HAS SOUPS 11056 WITH SCORE 11088.482
AT ITER 2069 NEW BEST:: SOT 59743 SOS 32457 HAS SOPS 32457 HAS SOUS 11051 HAS SOUPS 11051 WITH SCORE 11083.457
AT ITER 2076 NEW BEST:: SOT 59722 SOS 32415 HAS SOPS 32415 HAS SOUS 11030 HAS SOUPS 11030 WITH SCORE 11062.415
AT ITER 2077 NEW BEST:: SOT 59718 SOS 32412 HAS SOPS 32412 HAS SOUS 11023 HAS SOUPS 11023 WITH SCORE 11055.412
AT ITER 2081 NEW BEST:: SOT 59740 SOS 32390 HAS SOPS 32390 HAS SOUS 11023 HAS SOUPS 11023 WITH SCORE 11055.39
AT ITER 2094 NEW BEST:: SOT 59734 SOS 32378 HAS SOPS 32378 HAS SOUS 11017 HAS SOUPS 11017 WITH SCORE 11049.378
AT ITER 2096 NEW BEST:: SOT 59756 SOS 32370 HAS SOPS 32370 HAS SOUS 11016 HAS SOUPS 11016 WITH SCORE 11048.37
AT ITER 2097 NEW BEST:: SOT 59677 SOS 32272 HAS SOPS 32272 HAS SOUS 10937 HAS SOUPS 10937 WITH SCORE 10969.272
AT ITER 2098 NEW BEST:: SOT 59700 SOS 32299 HAS SOPS 32299 HAS SOUS 10933 HAS SOUPS 10933 WITH SCORE 10965.299
AT ITER 2100 NEW BEST:: SOT 59686 SOS 32299 HAS SOPS 32299 HAS SOUS 10919 HAS SOUPS 10919 WITH SCORE 10951.299
AT ITER 2114 NEW BEST:: SOT 59824 SOS 32403 HAS SOPS 32403 HAS SOUS 10909 HAS SOUPS 10909 WITH SCORE 10941.403
AT ITER 2146 NEW BEST:: SOT 59830 SOS 32324 HAS SOPS 32324 HAS SOUS 10888 HAS SOUPS 10888 WITH SCORE 10920.324
AT ITER 2148 NEW BEST:: SOT 59756 SOS 32146 HAS SOPS 32146 HAS SOUS 10840 HAS SOUPS 10840 WITH SCORE 10872.146
AT ITER 2159 NEW BEST:: SOT 59749 SOS 32147 HAS SOPS 32147 HAS SOUS 10831 HAS SOUPS 10831 WITH SCORE 10863.147
AT ITER 2163 NEW BEST:: SOT 59763 SOS 31959 HAS SOPS 31959 HAS SOUS 10790 HAS SOUPS 10790 WITH SCORE 10821.959
AT ITER 2176 NEW BEST:: SOT 59780 SOS 31941 HAS SOPS 31941 HAS SOUS 10789 HAS SOUPS 10789 WITH SCORE 10820.941
AT ITER 2185 NEW BEST:: SOT 59775 SOS 31931 HAS SOPS 31931 HAS SOUS 10779 HAS SOUPS 10779 WITH SCORE 10810.931
AT ITER 2189 NEW BEST:: SOT 59759 SOS 31930 HAS SOPS 31930 HAS SOUS 10763 HAS SOUPS 10763 WITH SCORE 10794.93
AT ITER 2231 NEW BEST:: SOT 59741 SOS 31754 HAS SOPS 31754 HAS SOUS 10666 HAS SOUPS 10666 WITH SCORE 10697.754
AT ITER 2248 NEW BEST:: SOT 59775 SOS 31697 HAS SOPS 31697 HAS SOUS 10640 HAS SOUPS 10640 WITH SCORE 10671.697
AT ITER 2261 NEW BEST:: SOT 59765 SOS 31677 HAS SOPS 31677 HAS SOUS 10630 HAS SOUPS 10630 WITH SCORE 10661.677
AT ITER 2266 NEW BEST:: SOT 59760 SOS 31667 HAS SOPS 31667 HAS SOUS 10630 HAS SOUPS 10630 WITH SCORE 10661.667
AT ITER 2275 NEW BEST:: SOT 59674 SOS 31581 HAS SOPS 31581 HAS SOUS 10600 HAS SOUPS 10600 WITH SCORE 10631.581
AT ITER 2285 NEW BEST:: SOT 59662 SOS 31572 HAS SOPS 31572 HAS SOUS 10579 HAS SOUPS 10579 WITH SCORE 10610.572
AT ITER 2303 NEW BEST:: SOT 59674 SOS 31584 HAS SOPS 31584 HAS SOUS 10577 HAS SOUPS 10577 WITH SCORE 10608.584
AT ITER 2311 NEW BEST:: SOT 59674 SOS 31584 HAS SOPS 31584 HAS SOUS 10576 HAS SOUPS 10576 WITH SCORE 10607.584
AT ITER 2352 NEW BEST:: SOT 59611 SOS 31545 HAS SOPS 31545 HAS SOUS 10551 HAS SOUPS 10551 WITH SCORE 10582.545
AT ITER 2354 NEW BEST:: SOT 59611 SOS 31545 HAS SOPS 31545 HAS SOUS 10528 HAS SOUPS 10528 WITH SCORE 10559.545
AT ITER 2360 NEW BEST:: SOT 59577 SOS 31533 HAS SOPS 31533 HAS SOUS 10460 HAS SOUPS 10460 WITH SCORE 10491.533
AT ITER 2365 NEW BEST:: SOT 59577 SOS 31529 HAS SOPS 31529 HAS SOUS 10460 HAS SOUPS 10460 WITH SCORE 10491.529
AT ITER 2379 NEW BEST:: SOT 59568 SOS 31473 HAS SOPS 31473 HAS SOUS 10442 HAS SOUPS 10442 WITH SCORE 10473.473
AT ITER 2402 NEW BEST:: SOT 59551 SOS 31496 HAS SOPS 31496 HAS SOUS 10411 HAS SOUPS 10411 WITH SCORE 10442.496
AT ITER 2403 NEW BEST:: SOT 59618 SOS 31590 HAS SOPS 31590 HAS SOUS 10386 HAS SOUPS 10386 WITH SCORE 10417.59
AT ITER 2408 NEW BEST:: SOT 59479 SOS 32440 HAS SOPS 32440 HAS SOUS 10378 HAS SOUPS 10378 WITH SCORE 10410.44
AT ITER 2421 NEW BEST:: SOT 59468 SOS 32429 HAS SOPS 32429 HAS SOUS 10371 HAS SOUPS 10371 WITH SCORE 10403.429
AT ITER 2426 NEW BEST:: SOT 59465 SOS 32350 HAS SOPS 32350 HAS SOUS 10339 HAS SOUPS 10339 WITH SCORE 10371.35
AT ITER 2435 NEW BEST:: SOT 59491 SOS 32428 HAS SOPS 32428 HAS SOUS 10336 HAS SOUPS 10336 WITH SCORE 10368.428
AT ITER 2442 NEW BEST:: SOT 59443 SOS 32294 HAS SOPS 32294 HAS SOUS 10311 HAS SOUPS 10311 WITH SCORE 10343.294
AT ITER 2446 NEW BEST:: SOT 59436 SOS 32248 HAS SOPS 32248 HAS SOUS 10295 HAS SOUPS 10295 WITH SCORE 10327.248
AT ITER 2462 NEW BEST:: SOT 59433 SOS 32239 HAS SOPS 32239 HAS SOUS 10295 HAS SOUPS 10295 WITH SCORE 10327.239
AT ITER 2475 NEW BEST:: SOT 59371 SOS 32149 HAS SOPS 32149 HAS SOUS 10266 HAS SOUPS 10266 WITH SCORE 10298.149
AT ITER 2482 NEW BEST:: SOT 59371 SOS 32160 HAS SOPS 32160 HAS SOUS 10264 HAS SOUPS 10264 WITH SCORE 10296.16
AT ITER 2497 NEW BEST:: SOT 59422 SOS 32211 HAS SOPS 32211 HAS SOUS 10255 HAS SOUPS 10255 WITH SCORE 10287.211
AT ITER 2511 NEW BEST:: SOT 59371 SOS 32127 HAS SOPS 32127 HAS SOUS 10193 HAS SOUPS 10193 WITH SCORE 10225.127
AT ITER 2519 NEW BEST:: SOT 59260 SOS 31997 HAS SOPS 31997 HAS SOUS 10107 HAS SOUPS 10107 WITH SCORE 10138.997
AT ITER 2523 NEW BEST:: SOT 59255 SOS 31997 HAS SOPS 31997 HAS SOUS 10104 HAS SOUPS 10104 WITH SCORE 10135.997
AT ITER 2553 NEW BEST:: SOT 59252 SOS 31991 HAS SOPS 31991 HAS SOUS 10102 HAS SOUPS 10102 WITH SCORE 10133.991
AT ITER 2576 NEW BEST:: SOT 59231 SOS 31970 HAS SOPS 31970 HAS SOUS 10082 HAS SOUPS 10082 WITH SCORE 10113.97
AT ITER 2593 NEW BEST:: SOT 59238 SOS 31988 HAS SOPS 31988 HAS SOUS 10049 HAS SOUPS 10049 WITH SCORE 10080.988
AT ITER 2608 NEW BEST:: SOT 59222 SOS 31956 HAS SOPS 31956 HAS SOUS 10017 HAS SOUPS 10017 WITH SCORE 10048.956
AT ITER 2616 NEW BEST:: SOT 59216 SOS 31948 HAS SOPS 31948 HAS SOUS 10009 HAS SOUPS 10009 WITH SCORE 10040.948
AT ITER 2619 NEW BEST:: SOT 59203 SOS 31867 HAS SOPS 31867 HAS SOUS 10001 HAS SOUPS 10001 WITH SCORE 10032.867
AT ITER 2624 NEW BEST:: SOT 59179 SOS 31843 HAS SOPS 31843 HAS SOUS 9977 HAS SOUPS 9977 WITH SCORE 10008.843
AT ITER 2635 NEW BEST:: SOT 59180 SOS 31863 HAS SOPS 31863 HAS SOUS 9976 HAS SOUPS 9976 WITH SCORE 10007.863
AT ITER 2672 NEW BEST:: SOT 59175 SOS 31863 HAS SOPS 31863 HAS SOUS 9974 HAS SOUPS 9974 WITH SCORE 10005.863
AT ITER 2680 NEW BEST:: SOT 59143 SOS 31792 HAS SOPS 31792 HAS SOUS 9941 HAS SOUPS 9941 WITH SCORE 9972.792
AT ITER 2681 NEW BEST:: SOT 59126 SOS 31794 HAS SOPS 31794 HAS SOUS 9900 HAS SOUPS 9900 WITH SCORE 9931.794
AT ITER 2698 NEW BEST:: SOT 59116 SOS 31786 HAS SOPS 31786 HAS SOUS 9898 HAS SOUPS 9898 WITH SCORE 9929.786
AT ITER 2732 NEW BEST:: SOT 59102 SOS 31772 HAS SOPS 31772 HAS SOUS 9884 HAS SOUPS 9884 WITH SCORE 9915.772
AT ITER 2744 NEW BEST:: SOT 59085 SOS 31770 HAS SOPS 31770 HAS SOUS 9883 HAS SOUPS 9883 WITH SCORE 9914.77
AT ITER 2747 NEW BEST:: SOT 59054 SOS 31736 HAS SOPS 31736 HAS SOUS 9876 HAS SOUPS 9876 WITH SCORE 9907.736
AT ITER 2759 NEW BEST:: SOT 59054 SOS 31746 HAS SOPS 31746 HAS SOUS 9871 HAS SOUPS 9871 WITH SCORE 9902.746
AT ITER 2768 NEW BEST:: SOT 59020 SOS 31712 HAS SOPS 31712 HAS SOUS 9824 HAS SOUPS 9824 WITH SCORE 9855.712
AT ITER 2776 NEW BEST:: SOT 59014 SOS 31706 HAS SOPS 31706 HAS SOUS 9812 HAS SOUPS 9812 WITH SCORE 9843.706
AT ITER 2780 NEW BEST:: SOT 59054 SOS 31528 HAS SOPS 31528 HAS SOUS 9761 HAS SOUPS 9761 WITH SCORE 9792.528
AT ITER 2786 NEW BEST:: SOT 58991 SOS 31465 HAS SOPS 31465 HAS SOUS 9680 HAS SOUPS 9680 WITH SCORE 9711.465
AT ITER 2804 NEW BEST:: SOT 59023 SOS 31497 HAS SOPS 31497 HAS SOUS 9635 HAS SOUPS 9635 WITH SCORE 9666.497
AT ITER 2815 NEW BEST:: SOT 59031 SOS 31505 HAS SOPS 31505 HAS SOUS 9634 HAS SOUPS 9634 WITH SCORE 9665.505
AT ITER 2822 NEW BEST:: SOT 59022 SOS 31480 HAS SOPS 31480 HAS SOUS 9593 HAS SOUPS 9593 WITH SCORE 9624.48
AT ITER 2845 NEW BEST:: SOT 59010 SOS 31477 HAS SOPS 31477 HAS SOUS 9570 HAS SOUPS 9570 WITH SCORE 9601.477
AT ITER 2865 NEW BEST:: SOT 59000 SOS 31470 HAS SOPS 31470 HAS SOUS 9570 HAS SOUPS 9570 WITH SCORE 9601.47
AT ITER 2876 NEW BEST:: SOT 58989 SOS 31463 HAS SOPS 31463 HAS SOUS 9563 HAS SOUPS 9563 WITH SCORE 9594.463
AT ITER 2909 NEW BEST:: SOT 58989 SOS 31463 HAS SOPS 31463 HAS SOUS 9562 HAS SOUPS 9562 WITH SCORE 9593.463
AT ITER 2938 NEW BEST:: SOT 58973 SOS 31447 HAS SOPS 31447 HAS SOUS 9538 HAS SOUPS 9538 WITH SCORE 9569.447
AT ITER 2956 NEW BEST:: SOT 59018 SOS 31483 HAS SOPS 31483 HAS SOUS 9528 HAS SOUPS 9528 WITH SCORE 9559.483
AT ITER 2968 NEW BEST:: SOT 58974 SOS 31359 HAS SOPS 31359 HAS SOUS 9507 HAS SOUPS 9507 WITH SCORE 9538.359
AT ITER 2980 NEW BEST:: SOT 58926 SOS 31374 HAS SOPS 31374 HAS SOUS 9459 HAS SOUPS 9459 WITH SCORE 9490.374
AT ITER 2981 NEW BEST:: SOT 58902 SOS 31333 HAS SOPS 31333 HAS SOUS 9443 HAS SOUPS 9443 WITH SCORE 9474.333
AT ITER 2990 NEW BEST:: SOT 58909 SOS 31340 HAS SOPS 31340 HAS SOUS 9440 HAS SOUPS 9440 WITH SCORE 9471.34
AT ITER 2993 NEW BEST:: SOT 58903 SOS 31334 HAS SOPS 31334 HAS SOUS 9434 HAS SOUPS 9434 WITH SCORE 9465.334
AT ITER 2994 NEW BEST:: SOT 58909 SOS 31342 HAS SOPS 31342 HAS SOUS 9384 HAS SOUPS 9384 WITH SCORE 9415.342
AT ITER 2995 NEW BEST:: SOT 58887 SOS 31320 HAS SOPS 31320 HAS SOUS 9322 HAS SOUPS 9322 WITH SCORE 9353.32
AT ITER 3002 NEW BEST:: SOT 58884 SOS 31316 HAS SOPS 31316 HAS SOUS 9322 HAS SOUPS 9322 WITH SCORE 9353.316
AT ITER 3009 NEW BEST:: SOT 58974 SOS 30397 HAS SOPS 30397 HAS SOUS 9315 HAS SOUPS 9315 WITH SCORE 9345.397
AT ITER 3029 NEW BEST:: SOT 58944 SOS 30406 HAS SOPS 30406 HAS SOUS 9297 HAS SOUPS 9297 WITH SCORE 9327.406
AT ITER 3030 NEW BEST:: SOT 58934 SOS 30398 HAS SOPS 30398 HAS SOUS 9296 HAS SOUPS 9296 WITH SCORE 9326.398
AT ITER 3043 NEW BEST:: SOT 58928 SOS 30308 HAS SOPS 30308 HAS SOUS 9248 HAS SOUPS 9248 WITH SCORE 9278.308
AT ITER 3077 NEW BEST:: SOT 58929 SOS 30293 HAS SOPS 30293 HAS SOUS 9239 HAS SOUPS 9239 WITH SCORE 9269.293
AT ITER 3099 NEW BEST:: SOT 58865 SOS 30237 HAS SOPS 30237 HAS SOUS 9199 HAS SOUPS 9199 WITH SCORE 9229.237
AT ITER 3116 NEW BEST:: SOT 58864 SOS 30217 HAS SOPS 30217 HAS SOUS 9185 HAS SOUPS 9185 WITH SCORE 9215.217
AT ITER 3118 NEW BEST:: SOT 58856 SOS 30191 HAS SOPS 30191 HAS SOUS 9172 HAS SOUPS 9172 WITH SCORE 9202.191
AT ITER 3119 NEW BEST:: SOT 58842 SOS 30173 HAS SOPS 30173 HAS SOUS 9162 HAS SOUPS 9162 WITH SCORE 9192.173
AT ITER 3157 NEW BEST:: SOT 58742 SOS 30037 HAS SOPS 30037 HAS SOUS 9044 HAS SOUPS 9044 WITH SCORE 9074.037
AT ITER 3162 NEW BEST:: SOT 58727 SOS 30033 HAS SOPS 30033 HAS SOUS 9033 HAS SOUPS 9033 WITH SCORE 9063.033
AT ITER 3170 NEW BEST:: SOT 58727 SOS 29887 HAS SOPS 29887 HAS SOUS 8969 HAS SOUPS 8969 WITH SCORE 8998.887
AT ITER 3181 NEW BEST:: SOT 58736 SOS 29907 HAS SOPS 29907 HAS SOUS 8953 HAS SOUPS 8953 WITH SCORE 8982.907
AT ITER 3194 NEW BEST:: SOT 58734 SOS 29941 HAS SOPS 29941 HAS SOUS 8951 HAS SOUPS 8951 WITH SCORE 8980.941
AT ITER 3235 NEW BEST:: SOT 58732 SOS 29907 HAS SOPS 29907 HAS SOUS 8939 HAS SOUPS 8939 WITH SCORE 8968.907
AT ITER 3253 NEW BEST:: SOT 58757 SOS 29844 HAS SOPS 29844 HAS SOUS 8939 HAS SOUPS 8939 WITH SCORE 8968.844
AT ITER 3276 NEW BEST:: SOT 58750 SOS 29961 HAS SOPS 29961 HAS SOUS 8936 HAS SOUPS 8936 WITH SCORE 8965.961
AT ITER 3286 NEW BEST:: SOT 58761 SOS 29928 HAS SOPS 29928 HAS SOUS 8936 HAS SOUPS 8936 WITH SCORE 8965.928
AT ITER 3324 NEW BEST:: SOT 58761 SOS 29928 HAS SOPS 29928 HAS SOUS 8926 HAS SOUPS 8926 WITH SCORE 8955.928
AT ITER 3333 NEW BEST:: SOT 58749 SOS 29922 HAS SOPS 29922 HAS SOUS 8914 HAS SOUPS 8914 WITH SCORE 8943.922
AT ITER 3334 NEW BEST:: SOT 58741 SOS 29911 HAS SOPS 29911 HAS SOUS 8905 HAS SOUPS 8905 WITH SCORE 8934.911
AT ITER 3400 NEW BEST:: SOT 58733 SOS 29897 HAS SOPS 29897 HAS SOUS 8891 HAS SOUPS 8891 WITH SCORE 8920.897
AT ITER 3460 NEW BEST:: SOT 58732 SOS 29895 HAS SOPS 29895 HAS SOUS 8887 HAS SOUPS 8887 WITH SCORE 8916.895
AT ITER 3465 NEW BEST:: SOT 58741 SOS 29931 HAS SOPS 29931 HAS SOUS 8880 HAS SOUPS 8880 WITH SCORE 8909.931
AT ITER 3471 NEW BEST:: SOT 58732 SOS 29894 HAS SOPS 29894 HAS SOUS 8871 HAS SOUPS 8871 WITH SCORE 8900.894
AT ITER 3486 NEW BEST:: SOT 58752 SOS 29914 HAS SOPS 29914 HAS SOUS 8864 HAS SOUPS 8864 WITH SCORE 8893.914
AT ITER 3546 NEW BEST:: SOT 58746 SOS 29902 HAS SOPS 29902 HAS SOUS 8861 HAS SOUPS 8861 WITH SCORE 8890.902
AT ITER 3588 NEW BEST:: SOT 58609 SOS 30253 HAS SOPS 30253 HAS SOUS 8811 HAS SOUPS 8811 WITH SCORE 8841.253
AT ITER 3597 NEW BEST:: SOT 58612 SOS 30256 HAS SOPS 30256 HAS SOUS 8810 HAS SOUPS 8810 WITH SCORE 8840.256
AT ITER 3605 NEW BEST:: SOT 58579 SOS 30088 HAS SOPS 30088 HAS SOUS 8798 HAS SOUPS 8798 WITH SCORE 8828.088
AT ITER 3646 NEW BEST:: SOT 58582 SOS 30058 HAS SOPS 30058 HAS SOUS 8797 HAS SOUPS 8797 WITH SCORE 8827.058
AT ITER 3680 NEW BEST:: SOT 58514 SOS 29964 HAS SOPS 29964 HAS SOUS 8791 HAS SOUPS 8791 WITH SCORE 8820.964
AT ITER 3712 NEW BEST:: SOT 58485 SOS 29967 HAS SOPS 29967 HAS SOUS 8778 HAS SOUPS 8778 WITH SCORE 8807.967
AT ITER 3722 NEW BEST:: SOT 58502 SOS 29875 HAS SOPS 29875 HAS SOUS 8768 HAS SOUPS 8768 WITH SCORE 8797.875
AT ITER 3798 NEW BEST:: SOT 58502 SOS 29819 HAS SOPS 29819 HAS SOUS 8756 HAS SOUPS 8756 WITH SCORE 8785.819
AT ITER 3836 NEW BEST:: SOT 58495 SOS 29805 HAS SOPS 29805 HAS SOUS 8749 HAS SOUPS 8749 WITH SCORE 8778.805
AT ITER 3853 NEW BEST:: SOT 58495 SOS 29782 HAS SOPS 29782 HAS SOUS 8725 HAS SOUPS 8725 WITH SCORE 8754.782
AT ITER 3868 NEW BEST:: SOT 58480 SOS 29757 HAS SOPS 29757 HAS SOUS 8682 HAS SOUPS 8682 WITH SCORE 8711.757
AT ITER 3883 NEW BEST:: SOT 58478 SOS 29755 HAS SOPS 29755 HAS SOUS 8680 HAS SOUPS 8680 WITH SCORE 8709.755
AT ITER 3903 NEW BEST:: SOT 58477 SOS 29754 HAS SOPS 29754 HAS SOUS 8678 HAS SOUPS 8678 WITH SCORE 8707.754
AT ITER 3919 NEW BEST:: SOT 58463 SOS 29740 HAS SOPS 29740 HAS SOUS 8656 HAS SOUPS 8656 WITH SCORE 8685.74
AT ITER 3967 NEW BEST:: SOT 58448 SOS 29612 HAS SOPS 29612 HAS SOUS 8608 HAS SOUPS 8608 WITH SCORE 8637.612
AT ITER 3988 NEW BEST:: SOT 58304 SOS 29593 HAS SOPS 29593 HAS SOUS 8542 HAS SOUPS 8542 WITH SCORE 8571.593
AT ITER 3996 NEW BEST:: SOT 58304 SOS 29531 HAS SOPS 29531 HAS SOUS 8526 HAS SOUPS 8526 WITH SCORE 8555.531
AT ITER 4004 NEW BEST:: SOT 58304 SOS 29516 HAS SOPS 29516 HAS SOUS 8526 HAS SOUPS 8526 WITH SCORE 8555.516
AT ITER 4009 NEW BEST:: SOT 58317 SOS 29546 HAS SOPS 29546 HAS SOUS 8509 HAS SOUPS 8509 WITH SCORE 8538.546
AT ITER 4014 NEW BEST:: SOT 58331 SOS 29552 HAS SOPS 29552 HAS SOUS 8491 HAS SOUPS 8491 WITH SCORE 8520.552
AT ITER 4046 NEW BEST:: SOT 58299 SOS 29516 HAS SOPS 29516 HAS SOUS 8471 HAS SOUPS 8471 WITH SCORE 8500.516
AT ITER 4048 NEW BEST:: SOT 58250 SOS 29588 HAS SOPS 29588 HAS SOUS 8456 HAS SOUPS 8456 WITH SCORE 8485.588
AT ITER 4049 NEW BEST:: SOT 58227 SOS 29565 HAS SOPS 29565 HAS SOUS 8433 HAS SOUPS 8433 WITH SCORE 8462.565
AT ITER 4069 NEW BEST:: SOT 58223 SOS 29561 HAS SOPS 29561 HAS SOUS 8413 HAS SOUPS 8413 WITH SCORE 8442.561
AT ITER 4072 NEW BEST:: SOT 58233 SOS 29583 HAS SOPS 29583 HAS SOUS 8391 HAS SOUPS 8391 WITH SCORE 8420.583
AT ITER 4075 NEW BEST:: SOT 58232 SOS 29593 HAS SOPS 29593 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8415.593
AT ITER 4085 NEW BEST:: SOT 58212 SOS 29573 HAS SOPS 29573 HAS SOUS 8361 HAS SOUPS 8361 WITH SCORE 8390.573
AT ITER 4087 NEW BEST:: SOT 58209 SOS 29567 HAS SOPS 29567 HAS SOUS 8358 HAS SOUPS 8358 WITH SCORE 8387.567
AT ITER 4135 NEW BEST:: SOT 58210 SOS 29566 HAS SOPS 29566 HAS SOUS 8357 HAS SOUPS 8357 WITH SCORE 8386.566
AT ITER 4141 NEW BEST:: SOT 58212 SOS 29568 HAS SOPS 29568 HAS SOUS 8350 HAS SOUPS 8350 WITH SCORE 8379.568
AT ITER 4145 NEW BEST:: SOT 58181 SOS 29582 HAS SOPS 29582 HAS SOUS 8301 HAS SOUPS 8301 WITH SCORE 8330.582
AT ITER 4147 NEW BEST:: SOT 58172 SOS 29567 HAS SOPS 29567 HAS SOUS 8286 HAS SOUPS 8286 WITH SCORE 8315.567
AT ITER 4157 NEW BEST:: SOT 58167 SOS 29571 HAS SOPS 29571 HAS SOUS 8276 HAS SOUPS 8276 WITH SCORE 8305.571
AT ITER 4175 NEW BEST:: SOT 58158 SOS 29553 HAS SOPS 29553 HAS SOUS 8249 HAS SOUPS 8249 WITH SCORE 8278.553
AT ITER 4195 NEW BEST:: SOT 58126 SOS 29497 HAS SOPS 29497 HAS SOUS 8220 HAS SOUPS 8220 WITH SCORE 8249.497
AT ITER 4211 NEW BEST:: SOT 58136 SOS 29497 HAS SOPS 29497 HAS SOUS 8200 HAS SOUPS 8200 WITH SCORE 8229.497
AT ITER 4268 NEW BEST:: SOT 58119 SOS 29439 HAS SOPS 29439 HAS SOUS 8173 HAS SOUPS 8173 WITH SCORE 8202.439
AT ITER 4275 NEW BEST:: SOT 58128 SOS 29426 HAS SOPS 29426 HAS SOUS 8165 HAS SOUPS 8165 WITH SCORE 8194.426
AT ITER 4277 NEW BEST:: SOT 58122 SOS 29406 HAS SOPS 29406 HAS SOUS 8157 HAS SOUPS 8157 WITH SCORE 8186.406
AT ITER 4289 NEW BEST:: SOT 58122 SOS 29406 HAS SOPS 29406 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8173.406
AT ITER 4327 NEW BEST:: SOT 58120 SOS 29400 HAS SOPS 29400 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8170.4
AT ITER 4369 NEW BEST:: SOT 58134 SOS 29428 HAS SOPS 29428 HAS SOUS 8137 HAS SOUPS 8137 WITH SCORE 8166.428
AT ITER 4445 NEW BEST:: SOT 58122 SOS 29402 HAS SOPS 29402 HAS SOUS 8131 HAS SOUPS 8131 WITH SCORE 8160.402
AT ITER 4459 NEW BEST:: SOT 58111 SOS 29396 HAS SOPS 29396 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8144.396
AT ITER 4483 NEW BEST:: SOT 58097 SOS 29378 HAS SOPS 29378 HAS SOUS 8092 HAS SOUPS 8092 WITH SCORE 8121.378
AT ITER 4546 NEW BEST:: SOT 58115 SOS 29396 HAS SOPS 29396 HAS SOUS 8087 HAS SOUPS 8087 WITH SCORE 8116.396
AT ITER 4556 NEW BEST:: SOT 58115 SOS 29396 HAS SOPS 29396 HAS SOUS 8083 HAS SOUPS 8083 WITH SCORE 8112.396
AT ITER 4559 NEW BEST:: SOT 58115 SOS 29394 HAS SOPS 29394 HAS SOUS 8083 HAS SOUPS 8083 WITH SCORE 8112.394
AT ITER 4564 NEW BEST:: SOT 58098 SOS 29346 HAS SOPS 29346 HAS SOUS 8066 HAS SOUPS 8066 WITH SCORE 8095.346
AT ITER 4582 NEW BEST:: SOT 58107 SOS 29328 HAS SOPS 29328 HAS SOUS 8064 HAS SOUPS 8064 WITH SCORE 8093.328
AT ITER 4635 NEW BEST:: SOT 58096 SOS 29306 HAS SOPS 29306 HAS SOUS 8053 HAS SOUPS 8053 WITH SCORE 8082.306
AT ITER 4645 NEW BEST:: SOT 58089 SOS 29338 HAS SOPS 29338 HAS SOUS 8046 HAS SOUPS 8046 WITH SCORE 8075.338
AT ITER 4667 NEW BEST:: SOT 58089 SOS 29330 HAS SOPS 29330 HAS SOUS 8042 HAS SOUPS 8042 WITH SCORE 8071.33
AT ITER 4674 NEW BEST:: SOT 58087 SOS 29320 HAS SOPS 29320 HAS SOUS 8042 HAS SOUPS 8042 WITH SCORE 8071.32
AT ITER 4677 NEW BEST:: SOT 58107 SOS 29340 HAS SOPS 29340 HAS SOUS 8033 HAS SOUPS 8033 WITH SCORE 8062.34
AT ITER 4697 NEW BEST:: SOT 58117 SOS 29246 HAS SOPS 29246 HAS SOUS 8019 HAS SOUPS 8019 WITH SCORE 8048.246
AT ITER 4708 NEW BEST:: SOT 58103 SOS 29228 HAS SOPS 29228 HAS SOUS 8013 HAS SOUPS 8013 WITH SCORE 8042.228
AT ITER 4730 NEW BEST:: SOT 58097 SOS 29234 HAS SOPS 29234 HAS SOUS 8012 HAS SOUPS 8012 WITH SCORE 8041.234
AT ITER 4744 NEW BEST:: SOT 58097 SOS 29234 HAS SOPS 29234 HAS SOUS 7993 HAS SOUPS 7993 WITH SCORE 8022.234
AT ITER 4763 NEW BEST:: SOT 58098 SOS 29230 HAS SOPS 29230 HAS SOUS 7993 HAS SOUPS 7993 WITH SCORE 8022.23
AT ITER 4785 NEW BEST:: SOT 58088 SOS 29219 HAS SOPS 29219 HAS SOUS 7987 HAS SOUPS 7987 WITH SCORE 8016.219
AT ITER 4814 NEW BEST:: SOT 58095 SOS 29219 HAS SOPS 29219 HAS SOUS 7986 HAS SOUPS 7986 WITH SCORE 8015.219
AT ITER 4816 NEW BEST:: SOT 58085 SOS 29209 HAS SOPS 29209 HAS SOUS 7984 HAS SOUPS 7984 WITH SCORE 8013.209
AT ITER 4894 NEW BEST:: SOT 58073 SOS 29179 HAS SOPS 29179 HAS SOUS 7976 HAS SOUPS 7976 WITH SCORE 8005.179
AT ITER 4925 NEW BEST:: SOT 58057 SOS 29177 HAS SOPS 29177 HAS SOUS 7959 HAS SOUPS 7959 WITH SCORE 7988.177
AT ITER 4972 NEW BEST:: SOT 58053 SOS 29173 HAS SOPS 29173 HAS SOUS 7959 HAS SOUPS 7959 WITH SCORE 7988.173
AT ITER 4974 NEW BEST:: SOT 58039 SOS 29143 HAS SOPS 29143 HAS SOUS 7955 HAS SOUPS 7955 WITH SCORE 7984.143
AT ITER 4995 NEW BEST:: SOT 58009 SOS 29113 HAS SOPS 29113 HAS SOUS 7905 HAS SOUPS 7905 WITH SCORE 7934.113
AT ITER 5005 NEW BEST:: SOT 58007 SOS 29111 HAS SOPS 29111 HAS SOUS 7905 HAS SOUPS 7905 WITH SCORE 7934.111
AT ITER 5009 NEW BEST:: SOT 58054 SOS 29108 HAS SOPS 29108 HAS SOUS 7887 HAS SOUPS 7887 WITH SCORE 7916.108
AT ITER 5020 NEW BEST:: SOT 58034 SOS 29080 HAS SOPS 29080 HAS SOUS 7871 HAS SOUPS 7871 WITH SCORE 7900.08
AT ITER 5026 NEW BEST:: SOT 58035 SOS 29050 HAS SOPS 29050 HAS SOUS 7856 HAS SOUPS 7856 WITH SCORE 7885.05
AT ITER 5041 NEW BEST:: SOT 58002 SOS 29032 HAS SOPS 29032 HAS SOUS 7855 HAS SOUPS 7855 WITH SCORE 7884.032
AT ITER 5150 NEW BEST:: SOT 57972 SOS 28993 HAS SOPS 28993 HAS SOUS 7825 HAS SOUPS 7825 WITH SCORE 7853.993
AT ITER 5186 NEW BEST:: SOT 57978 SOS 29005 HAS SOPS 29005 HAS SOUS 7823 HAS SOUPS 7823 WITH SCORE 7852.005
AT ITER 5196 NEW BEST:: SOT 57971 SOS 29009 HAS SOPS 29009 HAS SOUS 7807 HAS SOUPS 7807 WITH SCORE 7836.009
AT ITER 5229 NEW BEST:: SOT 57969 SOS 29011 HAS SOPS 29011 HAS SOUS 7805 HAS SOUPS 7805 WITH SCORE 7834.011
AT ITER 5246 NEW BEST:: SOT 57975 SOS 29017 HAS SOPS 29017 HAS SOUS 7803 HAS SOUPS 7803 WITH SCORE 7832.017
AT ITER 5278 NEW BEST:: SOT 57971 SOS 28997 HAS SOPS 28997 HAS SOUS 7795 HAS SOUPS 7795 WITH SCORE 7823.997
AT ITER 5313 NEW BEST:: SOT 57965 SOS 28991 HAS SOPS 28991 HAS SOUS 7775 HAS SOUPS 7775 WITH SCORE 7803.991
AT ITER 5322 NEW BEST:: SOT 57963 SOS 28989 HAS SOPS 28989 HAS SOUS 7775 HAS SOUPS 7775 WITH SCORE 7803.989
AT ITER 5353 NEW BEST:: SOT 57935 SOS 28957 HAS SOPS 28957 HAS SOUS 7757 HAS SOUPS 7757 WITH SCORE 7785.957
AT ITER 5376 NEW BEST:: SOT 57927 SOS 28966 HAS SOPS 28966 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7780.966
AT ITER 5383 NEW BEST:: SOT 57927 SOS 28948 HAS SOPS 28948 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7780.948
AT ITER 5402 NEW BEST:: SOT 57924 SOS 28945 HAS SOPS 28945 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7780.945
AT ITER 5421 NEW BEST:: SOT 57929 SOS 28955 HAS SOPS 28955 HAS SOUS 7751 HAS SOUPS 7751 WITH SCORE 7779.955
AT ITER 5449 NEW BEST:: SOT 57928 SOS 28953 HAS SOPS 28953 HAS SOUS 7750 HAS SOUPS 7750 WITH SCORE 7778.953
AT ITER 5455 NEW BEST:: SOT 57868 SOS 28894 HAS SOPS 28894 HAS SOUS 7719 HAS SOUPS 7719 WITH SCORE 7747.894
AT ITER 5462 NEW BEST:: SOT 57800 SOS 28826 HAS SOPS 28826 HAS SOUS 7687 HAS SOUPS 7687 WITH SCORE 7715.826
AT ITER 5471 NEW BEST:: SOT 57786 SOS 28792 HAS SOPS 28792 HAS SOUS 7674 HAS SOUPS 7674 WITH SCORE 7702.792
AT ITER 5513 NEW BEST:: SOT 57784 SOS 28788 HAS SOPS 28788 HAS SOUS 7671 HAS SOUPS 7671 WITH SCORE 7699.788
AT ITER 5525 NEW BEST:: SOT 57779 SOS 28778 HAS SOPS 28778 HAS SOUS 7654 HAS SOUPS 7654 WITH SCORE 7682.778
AT ITER 5533 NEW BEST:: SOT 57778 SOS 28776 HAS SOPS 28776 HAS SOUS 7652 HAS SOUPS 7652 WITH SCORE 7680.776
AT ITER 5535 NEW BEST:: SOT 57772 SOS 28748 HAS SOPS 28748 HAS SOUS 7641 HAS SOUPS 7641 WITH SCORE 7669.748
AT ITER 5537 NEW BEST:: SOT 57771 SOS 28768 HAS SOPS 28768 HAS SOUS 7640 HAS SOUPS 7640 WITH SCORE 7668.768
AT ITER 5550 NEW BEST:: SOT 57745 SOS 28742 HAS SOPS 28742 HAS SOUS 7625 HAS SOUPS 7625 WITH SCORE 7653.742
AT ITER 5574 NEW BEST:: SOT 57743 SOS 28717 HAS SOPS 28717 HAS SOUS 7622 HAS SOUPS 7622 WITH SCORE 7650.717
AT ITER 5591 NEW BEST:: SOT 57740 SOS 28714 HAS SOPS 28714 HAS SOUS 7619 HAS SOUPS 7619 WITH SCORE 7647.714
AT ITER 5608 NEW BEST:: SOT 57725 SOS 28699 HAS SOPS 28699 HAS SOUS 7602 HAS SOUPS 7602 WITH SCORE 7630.699
AT ITER 5649 NEW BEST:: SOT 57725 SOS 28699 HAS SOPS 28699 HAS SOUS 7599 HAS SOUPS 7599 WITH SCORE 7627.699
AT ITER 5684 NEW BEST:: SOT 57720 SOS 28681 HAS SOPS 28681 HAS SOUS 7593 HAS SOUPS 7593 WITH SCORE 7621.681
AT ITER 5692 NEW BEST:: SOT 57720 SOS 28623 HAS SOPS 28623 HAS SOUS 7592 HAS SOUPS 7592 WITH SCORE 7620.623
AT ITER 5703 NEW BEST:: SOT 57720 SOS 28623 HAS SOPS 28623 HAS SOUS 7591 HAS SOUPS 7591 WITH SCORE 7619.623
AT ITER 5710 NEW BEST:: SOT 57720 SOS 28623 HAS SOPS 28623 HAS SOUS 7583 HAS SOUPS 7583 WITH SCORE 7611.623
AT ITER 5716 NEW BEST:: SOT 57716 SOS 28630 HAS SOPS 28630 HAS SOUS 7572 HAS SOUPS 7572 WITH SCORE 7600.63
AT ITER 5732 NEW BEST:: SOT 57716 SOS 28628 HAS SOPS 28628 HAS SOUS 7572 HAS SOUPS 7572 WITH SCORE 7600.628
AT ITER 5733 NEW BEST:: SOT 57710 SOS 28622 HAS SOPS 28622 HAS SOUS 7556 HAS SOUPS 7556 WITH SCORE 7584.622
AT ITER 5767 NEW BEST:: SOT 57707 SOS 28628 HAS SOPS 28628 HAS SOUS 7550 HAS SOUPS 7550 WITH SCORE 7578.628
AT ITER 5773 NEW BEST:: SOT 57713 SOS 28595 HAS SOPS 28595 HAS SOUS 7537 HAS SOUPS 7537 WITH SCORE 7565.595
AT ITER 5790 NEW BEST:: SOT 57669 SOS 28529 HAS SOPS 28529 HAS SOUS 7517 HAS SOUPS 7517 WITH SCORE 7545.529
AT ITER 5807 NEW BEST:: SOT 57559 SOS 29959 HAS SOPS 29959 HAS SOUS 7464 HAS SOUPS 7464 WITH SCORE 7493.959
AT ITER 5818 NEW BEST:: SOT 57557 SOS 29953 HAS SOPS 29953 HAS SOUS 7464 HAS SOUPS 7464 WITH SCORE 7493.953
AT ITER 5822 NEW BEST:: SOT 57566 SOS 30008 HAS SOPS 30008 HAS SOUS 7458 HAS SOUPS 7458 WITH SCORE 7488.008
AT ITER 5838 NEW BEST:: SOT 57562 SOS 30015 HAS SOPS 30015 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7486.015
AT ITER 5848 NEW BEST:: SOT 57561 SOS 30017 HAS SOPS 30017 HAS SOUS 7447 HAS SOUPS 7447 WITH SCORE 7477.017
AT ITER 5880 NEW BEST:: SOT 57553 SOS 29993 HAS SOPS 29993 HAS SOUS 7443 HAS SOUPS 7443 WITH SCORE 7472.993
AT ITER 5915 NEW BEST:: SOT 57579 SOS 29976 HAS SOPS 29976 HAS SOUS 7437 HAS SOUPS 7437 WITH SCORE 7466.976
AT ITER 5927 NEW BEST:: SOT 57575 SOS 29964 HAS SOPS 29964 HAS SOUS 7433 HAS SOUPS 7433 WITH SCORE 7462.964
AT ITER 5965 NEW BEST:: SOT 57575 SOS 29970 HAS SOPS 29970 HAS SOUS 7432 HAS SOUPS 7432 WITH SCORE 7461.97
AT ITER 5986 NEW BEST:: SOT 57565 SOS 29920 HAS SOPS 29920 HAS SOUS 7414 HAS SOUPS 7414 WITH SCORE 7443.92
AT ITER 6032 NEW BEST:: SOT 57553 SOS 29902 HAS SOPS 29902 HAS SOUS 7396 HAS SOUPS 7396 WITH SCORE 7425.902
AT ITER 6107 NEW BEST:: SOT 57559 SOS 29908 HAS SOPS 29908 HAS SOUS 7392 HAS SOUPS 7392 WITH SCORE 7421.908
AT ITER 6113 NEW BEST:: SOT 57549 SOS 29876 HAS SOPS 29876 HAS SOUS 7384 HAS SOUPS 7384 WITH SCORE 7413.876
AT ITER 6145 NEW BEST:: SOT 57529 SOS 29854 HAS SOPS 29854 HAS SOUS 7351 HAS SOUPS 7351 WITH SCORE 7380.854
AT ITER 6152 NEW BEST:: SOT 57523 SOS 29860 HAS SOPS 29860 HAS SOUS 7348 HAS SOUPS 7348 WITH SCORE 7377.86
AT ITER 6262 NEW BEST:: SOT 57504 SOS 29815 HAS SOPS 29815 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7355.815
AT ITER 6343 NEW BEST:: SOT 57502 SOS 29813 HAS SOPS 29813 HAS SOUS 7320 HAS SOUPS 7320 WITH SCORE 7349.813
AT ITER 6380 NEW BEST:: SOT 57487 SOS 29781 HAS SOPS 29781 HAS SOUS 7316 HAS SOUPS 7316 WITH SCORE 7345.781
AT ITER 6396 NEW BEST:: SOT 57482 SOS 29773 HAS SOPS 29773 HAS SOUS 7309 HAS SOUPS 7309 WITH SCORE 7338.773
AT ITER 6438 NEW BEST:: SOT 57468 SOS 29759 HAS SOPS 29759 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7324.759
AT ITER 6478 NEW BEST:: SOT 57464 SOS 29751 HAS SOPS 29751 HAS SOUS 7292 HAS SOUPS 7292 WITH SCORE 7321.751
AT ITER 6490 NEW BEST:: SOT 57466 SOS 29753 HAS SOPS 29753 HAS SOUS 7280 HAS SOUPS 7280 WITH SCORE 7309.753
AT ITER 6501 NEW BEST:: SOT 57440 SOS 29678 HAS SOPS 29678 HAS SOUS 7266 HAS SOUPS 7266 WITH SCORE 7295.678
AT ITER 6527 NEW BEST:: SOT 57425 SOS 29644 HAS SOPS 29644 HAS SOUS 7233 HAS SOUPS 7233 WITH SCORE 7262.644
AT ITER 6576 NEW BEST:: SOT 57419 SOS 29652 HAS SOPS 29652 HAS SOUS 7227 HAS SOUPS 7227 WITH SCORE 7256.652
AT ITER 6601 NEW BEST:: SOT 57419 SOS 29643 HAS SOPS 29643 HAS SOUS 7227 HAS SOUPS 7227 WITH SCORE 7256.643
AT ITER 6622 NEW BEST:: SOT 57413 SOS 29627 HAS SOPS 29627 HAS SOUS 7223 HAS SOUPS 7223 WITH SCORE 7252.627
AT ITER 6625 NEW BEST:: SOT 57411 SOS 29629 HAS SOPS 29629 HAS SOUS 7221 HAS SOUPS 7221 WITH SCORE 7250.629
AT ITER 6689 NEW BEST:: SOT 57407 SOS 29621 HAS SOPS 29621 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7238.621
AT ITER 6749 NEW BEST:: SOT 57381 SOS 29525 HAS SOPS 29525 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7234.525
AT ITER 6783 NEW BEST:: SOT 57381 SOS 29525 HAS SOPS 29525 HAS SOUS 7198 HAS SOUPS 7198 WITH SCORE 7227.525
AT ITER 6805 NEW BEST:: SOT 57375 SOS 29522 HAS SOPS 29522 HAS SOUS 7192 HAS SOUPS 7192 WITH SCORE 7221.522
AT ITER 6841 NEW BEST:: SOT 57376 SOS 29500 HAS SOPS 29500 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7216.5
AT ITER 6848 NEW BEST:: SOT 57356 SOS 29480 HAS SOPS 29480 HAS SOUS 7180 HAS SOUPS 7180 WITH SCORE 7209.48
AT ITER 6856 NEW BEST:: SOT 57389 SOS 29453 HAS SOPS 29453 HAS SOUS 7163 HAS SOUPS 7163 WITH SCORE 7192.453
AT ITER 6944 NEW BEST:: SOT 57388 SOS 29469 HAS SOPS 29469 HAS SOUS 7162 HAS SOUPS 7162 WITH SCORE 7191.469
AT ITER 7022 NEW BEST:: SOT 57388 SOS 29466 HAS SOPS 29466 HAS SOUS 7161 HAS SOUPS 7161 WITH SCORE 7190.466
AT ITER 7108 NEW BEST:: SOT 57384 SOS 29470 HAS SOPS 29470 HAS SOUS 7159 HAS SOUPS 7159 WITH SCORE 7188.47
AT ITER 7137 NEW BEST:: SOT 57398 SOS 29468 HAS SOPS 29468 HAS SOUS 7157 HAS SOUPS 7157 WITH SCORE 7186.468
AT ITER 7140 NEW BEST:: SOT 57390 SOS 29448 HAS SOPS 29448 HAS SOUS 7157 HAS SOUPS 7157 WITH SCORE 7186.448
AT ITER 7144 NEW BEST:: SOT 57362 SOS 29430 HAS SOPS 29430 HAS SOUS 7125 HAS SOUPS 7125 WITH SCORE 7154.43
AT ITER 7195 NEW BEST:: SOT 57362 SOS 29426 HAS SOPS 29426 HAS SOUS 7125 HAS SOUPS 7125 WITH SCORE 7154.426
AT ITER 7229 NEW BEST:: SOT 57361 SOS 29424 HAS SOPS 29424 HAS SOUS 7122 HAS SOUPS 7122 WITH SCORE 7151.424
AT ITER 7240 NEW BEST:: SOT 57358 SOS 29421 HAS SOPS 29421 HAS SOUS 7122 HAS SOUPS 7122 WITH SCORE 7151.421
AT ITER 7255 NEW BEST:: SOT 57364 SOS 29387 HAS SOPS 29387 HAS SOUS 7122 HAS SOUPS 7122 WITH SCORE 7151.387
AT ITER 7305 NEW BEST:: SOT 57364 SOS 29381 HAS SOPS 29381 HAS SOUS 7120 HAS SOUPS 7120 WITH SCORE 7149.381
AT ITER 7355 NEW BEST:: SOT 57364 SOS 29378 HAS SOPS 29378 HAS SOUS 7108 HAS SOUPS 7108 WITH SCORE 7137.378
AT ITER 7360 NEW BEST:: SOT 57364 SOS 29378 HAS SOPS 29378 HAS SOUS 7105 HAS SOUPS 7105 WITH SCORE 7134.378
AT ITER 7439 NEW BEST:: SOT 57356 SOS 29362 HAS SOPS 29362 HAS SOUS 7097 HAS SOUPS 7097 WITH SCORE 7126.362
AT ITER 7450 NEW BEST:: SOT 57330 SOS 29292 HAS SOPS 29292 HAS SOUS 7088 HAS SOUPS 7088 WITH SCORE 7117.292
AT ITER 7521 NEW BEST:: SOT 57331 SOS 29293 HAS SOPS 29293 HAS SOUS 7082 HAS SOUPS 7082 WITH SCORE 7111.293
AT ITER 7542 NEW BEST:: SOT 57299 SOS 29244 HAS SOPS 29244 HAS SOUS 7065 HAS SOUPS 7065 WITH SCORE 7094.244
AT ITER 7603 NEW BEST:: SOT 57297 SOS 29242 HAS SOPS 29242 HAS SOUS 7063 HAS SOUPS 7063 WITH SCORE 7092.242
AT ITER 7634 NEW BEST:: SOT 57293 SOS 29230 HAS SOPS 29230 HAS SOUS 7057 HAS SOUPS 7057 WITH SCORE 7086.23
AT ITER 7712 NEW BEST:: SOT 57291 SOS 29226 HAS SOPS 29226 HAS SOUS 7053 HAS SOUPS 7053 WITH SCORE 7082.226
AT ITER 7832 NEW BEST:: SOT 57287 SOS 29219 HAS SOPS 29219 HAS SOUS 7048 HAS SOUPS 7048 WITH SCORE 7077.219
AT ITER 7838 NEW BEST:: SOT 57263 SOS 29169 HAS SOPS 29169 HAS SOUS 7042 HAS SOUPS 7042 WITH SCORE 7071.169
AT ITER 7857 NEW BEST:: SOT 57284 SOS 29251 HAS SOPS 29251 HAS SOUS 7031 HAS SOUPS 7031 WITH SCORE 7060.251
AT ITER 7960 NEW BEST:: SOT 57279 SOS 29237 HAS SOPS 29237 HAS SOUS 7016 HAS SOUPS 7016 WITH SCORE 7045.237
AT ITER 8012 NEW BEST:: SOT 57279 SOS 29237 HAS SOPS 29237 HAS SOUS 7013 HAS SOUPS 7013 WITH SCORE 7042.237
AT ITER 8030 NEW BEST:: SOT 57276 SOS 29225 HAS SOPS 29225 HAS SOUS 7010 HAS SOUPS 7010 WITH SCORE 7039.225
AT ITER 8115 NEW BEST:: SOT 57275 SOS 29223 HAS SOPS 29223 HAS SOUS 7008 HAS SOUPS 7008 WITH SCORE 7037.223
AT ITER 8117 NEW BEST:: SOT 57263 SOS 29223 HAS SOPS 29223 HAS SOUS 6996 HAS SOUPS 6996 WITH SCORE 7025.223
AT ITER 8132 NEW BEST:: SOT 57262 SOS 29219 HAS SOPS 29219 HAS SOUS 6995 HAS SOUPS 6995 WITH SCORE 7024.219
AT ITER 8226 NEW BEST:: SOT 57257 SOS 29207 HAS SOPS 29207 HAS SOUS 6988 HAS SOUPS 6988 WITH SCORE 7017.207
AT ITER 8260 NEW BEST:: SOT 57256 SOS 29203 HAS SOPS 29203 HAS SOUS 6987 HAS SOUPS 6987 WITH SCORE 7016.203
AT ITER 8261 NEW BEST:: SOT 57265 SOS 29033 HAS SOPS 29033 HAS SOUS 6986 HAS SOUPS 6986 WITH SCORE 7015.033
AT ITER 8268 NEW BEST:: SOT 57269 SOS 29038 HAS SOPS 29038 HAS SOUS 6978 HAS SOUPS 6978 WITH SCORE 7007.038
AT ITER 8311 NEW BEST:: SOT 57269 SOS 29038 HAS SOPS 29038 HAS SOUS 6970 HAS SOUPS 6970 WITH SCORE 6999.038
AT ITER 8312 NEW BEST:: SOT 57268 SOS 29036 HAS SOPS 29036 HAS SOUS 6968 HAS SOUPS 6968 WITH SCORE 6997.036
AT ITER 8319 NEW BEST:: SOT 57264 SOS 29055 HAS SOPS 29055 HAS SOUS 6964 HAS SOUPS 6964 WITH SCORE 6993.055
AT ITER 8424 NEW BEST:: SOT 57263 SOS 29056 HAS SOPS 29056 HAS SOUS 6962 HAS SOUPS 6962 WITH SCORE 6991.056
AT ITER 8505 NEW BEST:: SOT 57256 SOS 29039 HAS SOPS 29039 HAS SOUS 6955 HAS SOUPS 6955 WITH SCORE 6984.039
AT ITER 8644 NEW BEST:: SOT 57258 SOS 29008 HAS SOPS 29008 HAS SOUS 6947 HAS SOUPS 6947 WITH SCORE 6976.008
AT ITER 8652 NEW BEST:: SOT 57259 SOS 29021 HAS SOPS 29021 HAS SOUS 6945 HAS SOUPS 6945 WITH SCORE 6974.021
AT ITER 8682 NEW BEST:: SOT 57257 SOS 29023 HAS SOPS 29023 HAS SOUS 6943 HAS SOUPS 6943 WITH SCORE 6972.023
AT ITER 8732 NEW BEST:: SOT 57257 SOS 29029 HAS SOPS 29029 HAS SOUS 6942 HAS SOUPS 6942 WITH SCORE 6971.029
AT ITER 8742 NEW BEST:: SOT 57236 SOS 28985 HAS SOPS 28985 HAS SOUS 6921 HAS SOUPS 6921 WITH SCORE 6949.985
AT ITER 8765 NEW BEST:: SOT 57251 SOS 28977 HAS SOPS 28977 HAS SOUS 6917 HAS SOUPS 6917 WITH SCORE 6945.977
AT ITER 8795 NEW BEST:: SOT 57251 SOS 28970 HAS SOPS 28970 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6938.97
AT ITER 8832 NEW BEST:: SOT 57247 SOS 28966 HAS SOPS 28966 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6934.966
AT ITER 8846 NEW BEST:: SOT 57241 SOS 28938 HAS SOPS 28938 HAS SOUS 6894 HAS SOUPS 6894 WITH SCORE 6922.938
AT ITER 8853 NEW BEST:: SOT 57239 SOS 28934 HAS SOPS 28934 HAS SOUS 6892 HAS SOUPS 6892 WITH SCORE 6920.934
AT ITER 8880 NEW BEST:: SOT 57250 SOS 28853 HAS SOPS 28853 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6914.853
AT ITER 8954 NEW BEST:: SOT 57251 SOS 28856 HAS SOPS 28856 HAS SOUS 6885 HAS SOUPS 6885 WITH SCORE 6913.856
AT ITER 8997 NEW BEST:: SOT 57248 SOS 28848 HAS SOPS 28848 HAS SOUS 6878 HAS SOUPS 6878 WITH SCORE 6906.848
AT ITER 9267 NEW BEST:: SOT 57189 SOS 28878 HAS SOPS 28878 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6882.878
AT ITER 9284 NEW BEST:: SOT 57077 SOS 28781 HAS SOPS 28781 HAS SOUS 6794 HAS SOUPS 6794 WITH SCORE 6822.781
AT ITER 9310 NEW BEST:: SOT 57064 SOS 28777 HAS SOPS 28777 HAS SOUS 6774 HAS SOUPS 6774 WITH SCORE 6802.777
AT ITER 9311 NEW BEST:: SOT 57061 SOS 28768 HAS SOPS 28768 HAS SOUS 6774 HAS SOUPS 6774 WITH SCORE 6802.768
AT ITER 9321 NEW BEST:: SOT 57058 SOS 28738 HAS SOPS 28738 HAS SOUS 6766 HAS SOUPS 6766 WITH SCORE 6794.738
AT ITER 9519 NEW BEST:: SOT 57057 SOS 28736 HAS SOPS 28736 HAS SOUS 6763 HAS SOUPS 6763 WITH SCORE 6791.736
AT ITER 9614 NEW BEST:: SOT 57056 SOS 28734 HAS SOPS 28734 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6786.734
AT ITER 9697 NEW BEST:: SOT 57057 SOS 28731 HAS SOPS 28731 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6785.731
AT ITER 9752 NEW BEST:: SOT 57054 SOS 28728 HAS SOPS 28728 HAS SOUS 6754 HAS SOUPS 6754 WITH SCORE 6782.728
AT ITER 9795 NEW BEST:: SOT 57051 SOS 28725 HAS SOPS 28725 HAS SOUS 6754 HAS SOUPS 6754 WITH SCORE 6782.725
AT ITER 9798 NEW BEST:: SOT 57060 SOS 28727 HAS SOPS 28727 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6764.727
AT ITER 9812 NEW BEST:: SOT 57058 SOS 28735 HAS SOPS 28735 HAS SOUS 6720 HAS SOUPS 6720 WITH SCORE 6748.735
AT ITER 9882 NEW BEST:: SOT 57048 SOS 28739 HAS SOPS 28739 HAS SOUS 6710 HAS SOUPS 6710 WITH SCORE 6738.739
AT ITER 9912 NEW BEST:: SOT 57046 SOS 28738 HAS SOPS 28738 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6736.738

BK_STOP 1679310805237

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 483 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="UtilityControlRoom-COL-Z4T4N06"
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-Z4T4N06, 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-167912711301072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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