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.r075-smll-167814401100448.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 CloudDeployment-PT-7a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-smll-167814401100448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 784K
-rw-r--r-- 1 mcc users 6.4K Feb 25 15:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 25 15:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 15:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 15:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 16:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 16:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 16:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 16:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:45 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 420K Mar 5 18:22 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 1678355078435

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=CloudDeployment-PT-7a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 09:44:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 09:44:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 09:44:41] [INFO ] Load time of PNML (sax parser for PT used): 288 ms
[2023-03-09 09:44:41] [INFO ] Transformed 264 places.
[2023-03-09 09:44:41] [INFO ] Transformed 1174 transitions.
[2023-03-09 09:44:41] [INFO ] Found NUPN structural information;
[2023-03-09 09:44:41] [INFO ] Parsed PT model containing 264 places and 1174 transitions and 7331 arcs in 483 ms.
[2023-03-09 09:44:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 264 places, 1174 transitions and 7331 arcs took 30 ms.
Total runtime 558 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 7a
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: 264 places, 1174 transitions, 7331 arcs.
AT ITER 0 NEW BEST:: SOT 247899 SOS 145437 HAS SOPS 137733 HAS SOUS 116467 HAS SOUPS 109891 WITH SCORE 110036.437
AT ITER 8 NEW BEST:: SOT 247936 SOS 145511 HAS SOPS 137881 HAS SOUS 116155 HAS SOUPS 109653 WITH SCORE 109798.511
AT ITER 9 NEW BEST:: SOT 248055 SOS 145611 HAS SOPS 137981 HAS SOUS 116073 HAS SOUPS 109571 WITH SCORE 109716.611
AT ITER 13 NEW BEST:: SOT 248412 SOS 146018 HAS SOPS 138388 HAS SOUS 115969 HAS SOUPS 109467 WITH SCORE 109613.018
AT ITER 14 NEW BEST:: SOT 248315 SOS 145979 HAS SOPS 138349 HAS SOUS 115930 HAS SOUPS 109428 WITH SCORE 109573.979
AT ITER 16 NEW BEST:: SOT 248325 SOS 145975 HAS SOPS 138345 HAS SOUS 115926 HAS SOUPS 109424 WITH SCORE 109569.975
AT ITER 23 NEW BEST:: SOT 248393 SOS 146026 HAS SOPS 138379 HAS SOUS 115926 HAS SOUPS 109407 WITH SCORE 109553.026
AT ITER 24 NEW BEST:: SOT 248662 SOS 146378 HAS SOPS 138731 HAS SOUS 115922 HAS SOUPS 109403 WITH SCORE 109549.378
AT ITER 31 NEW BEST:: SOT 248858 SOS 146553 HAS SOPS 139004 HAS SOUS 115413 HAS SOUPS 108992 WITH SCORE 109138.553
AT ITER 32 NEW BEST:: SOT 249081 SOS 146875 HAS SOPS 139449 HAS SOUS 114851 HAS SOUPS 108553 WITH SCORE 108699.875
AT ITER 33 NEW BEST:: SOT 248985 SOS 146779 HAS SOPS 139353 HAS SOUS 114755 HAS SOUPS 108457 WITH SCORE 108603.779
AT ITER 34 NEW BEST:: SOT 249348 SOS 147086 HAS SOPS 139786 HAS SOUS 114429 HAS SOUPS 108263 WITH SCORE 108410.086
AT ITER 35 NEW BEST:: SOT 248616 SOS 150038 HAS SOPS 139726 HAS SOUS 113991 HAS SOUPS 108206 WITH SCORE 108356.038
AT ITER 36 NEW BEST:: SOT 248890 SOS 150174 HAS SOPS 139999 HAS SOUS 113139 HAS SOUPS 107491 WITH SCORE 107641.174
AT ITER 37 NEW BEST:: SOT 248890 SOS 150174 HAS SOPS 140068 HAS SOUS 112719 HAS SOUPS 107140 WITH SCORE 107290.174
AT ITER 38 NEW BEST:: SOT 248890 SOS 150133 HAS SOPS 140027 HAS SOUS 112678 HAS SOUPS 107099 WITH SCORE 107249.133
AT ITER 40 NEW BEST:: SOT 248889 SOS 150055 HAS SOPS 139949 HAS SOUS 112678 HAS SOUPS 107099 WITH SCORE 107249.055
AT ITER 43 NEW BEST:: SOT 248661 SOS 153768 HAS SOPS 139763 HAS SOUS 112322 HAS SOUPS 106714 WITH SCORE 106867.768
AT ITER 47 NEW BEST:: SOT 248667 SOS 153780 HAS SOPS 139795 HAS SOUS 112299 HAS SOUPS 106711 WITH SCORE 106864.78
AT ITER 49 NEW BEST:: SOT 248991 SOS 153977 HAS SOPS 140026 HAS SOUS 111902 HAS SOUPS 106406 WITH SCORE 106559.977
AT ITER 54 NEW BEST:: SOT 249017 SOS 153873 HAS SOPS 139896 HAS SOUS 111806 HAS SOUPS 106284 WITH SCORE 106437.873
AT ITER 60 NEW BEST:: SOT 248237 SOS 154474 HAS SOPS 139514 HAS SOUS 111307 HAS SOUPS 105902 WITH SCORE 106056.474
AT ITER 61 NEW BEST:: SOT 248281 SOS 154684 HAS SOPS 139724 HAS SOUS 111287 HAS SOUPS 105882 WITH SCORE 106036.684
AT ITER 62 NEW BEST:: SOT 248227 SOS 154636 HAS SOPS 139521 HAS SOUS 111270 HAS SOUPS 105865 WITH SCORE 106019.636
AT ITER 64 NEW BEST:: SOT 248608 SOS 154968 HAS SOPS 139853 HAS SOUS 110969 HAS SOUPS 105564 WITH SCORE 105718.968
AT ITER 65 NEW BEST:: SOT 247833 SOS 157305 HAS SOPS 138906 HAS SOUS 109423 HAS SOUPS 104013 WITH SCORE 104170.305
AT ITER 68 NEW BEST:: SOT 247833 SOS 156990 HAS SOPS 138505 HAS SOUS 109076 HAS SOUPS 103666 WITH SCORE 103822.99
AT ITER 71 NEW BEST:: SOT 247707 SOS 157035 HAS SOPS 138547 HAS SOUS 104200 HAS SOUPS 98790 WITH SCORE 98947.035
AT ITER 78 NEW BEST:: SOT 246625 SOS 156409 HAS SOPS 137883 HAS SOUS 103529 HAS SOUPS 98126 WITH SCORE 98282.409
AT ITER 79 NEW BEST:: SOT 246880 SOS 156646 HAS SOPS 138302 HAS SOUS 103464 HAS SOUPS 98061 WITH SCORE 98217.646
AT ITER 81 NEW BEST:: SOT 247188 SOS 156597 HAS SOPS 138447 HAS SOUS 102339 HAS SOUPS 97104 WITH SCORE 97260.597
AT ITER 82 NEW BEST:: SOT 247188 SOS 156568 HAS SOPS 138418 HAS SOUS 102337 HAS SOUPS 97102 WITH SCORE 97258.568
AT ITER 83 NEW BEST:: SOT 247357 SOS 156657 HAS SOPS 138569 HAS SOUS 101846 HAS SOUPS 96678 WITH SCORE 96834.657
AT ITER 85 NEW BEST:: SOT 247869 SOS 157074 HAS SOPS 138986 HAS SOUS 101714 HAS SOUPS 96546 WITH SCORE 96703.074
AT ITER 87 NEW BEST:: SOT 247888 SOS 158235 HAS SOPS 140147 HAS SOUS 101706 HAS SOUPS 96538 WITH SCORE 96696.235
AT ITER 89 NEW BEST:: SOT 247888 SOS 158207 HAS SOPS 140147 HAS SOUS 101510 HAS SOUPS 96370 WITH SCORE 96528.207
AT ITER 97 NEW BEST:: SOT 247907 SOS 165390 HAS SOPS 147330 HAS SOUS 101499 HAS SOUPS 96359 WITH SCORE 96524.39
AT ITER 98 NEW BEST:: SOT 247957 SOS 164454 HAS SOPS 146529 HAS SOUS 101410 HAS SOUPS 96270 WITH SCORE 96434.454
AT ITER 100 NEW BEST:: SOT 247912 SOS 164787 HAS SOPS 146743 HAS SOUS 98352 HAS SOUPS 93090 WITH SCORE 93254.787
AT ITER 102 NEW BEST:: SOT 247863 SOS 164738 HAS SOPS 146693 HAS SOUS 98302 HAS SOUPS 93040 WITH SCORE 93204.738
AT ITER 104 NEW BEST:: SOT 247730 SOS 164472 HAS SOPS 146512 HAS SOUS 97734 HAS SOUPS 92557 WITH SCORE 92721.472
AT ITER 105 NEW BEST:: SOT 247601 SOS 164409 HAS SOPS 146384 HAS SOUS 97607 HAS SOUPS 92430 WITH SCORE 92594.409
AT ITER 108 NEW BEST:: SOT 247500 SOS 164317 HAS SOPS 146292 HAS SOUS 97547 HAS SOUPS 92370 WITH SCORE 92534.317
AT ITER 110 NEW BEST:: SOT 247647 SOS 164529 HAS SOPS 146504 HAS SOUS 97348 HAS SOUPS 92171 WITH SCORE 92335.529
AT ITER 113 NEW BEST:: SOT 247800 SOS 164682 HAS SOPS 146708 HAS SOUS 97196 HAS SOUPS 92019 WITH SCORE 92183.682
AT ITER 114 NEW BEST:: SOT 247850 SOS 164707 HAS SOPS 146758 HAS SOUS 97046 HAS SOUPS 91894 WITH SCORE 92058.707
AT ITER 116 NEW BEST:: SOT 248094 SOS 165037 HAS SOPS 147088 HAS SOUS 96857 HAS SOUPS 91705 WITH SCORE 91870.037
AT ITER 117 NEW BEST:: SOT 248236 SOS 164894 HAS SOPS 147036 HAS SOUS 96549 HAS SOUPS 91519 WITH SCORE 91683.894
AT ITER 121 NEW BEST:: SOT 247267 SOS 168330 HAS SOPS 146331 HAS SOUS 92113 HAS SOUPS 86981 WITH SCORE 87149.33
AT ITER 129 NEW BEST:: SOT 247206 SOS 168272 HAS SOPS 146273 HAS SOUS 92064 HAS SOUPS 86932 WITH SCORE 87100.272
AT ITER 130 NEW BEST:: SOT 247585 SOS 168220 HAS SOPS 146221 HAS SOUS 91894 HAS SOUPS 86762 WITH SCORE 86930.22
AT ITER 131 NEW BEST:: SOT 247373 SOS 168034 HAS SOPS 146033 HAS SOUS 91414 HAS SOUPS 86282 WITH SCORE 86450.034
AT ITER 134 NEW BEST:: SOT 248073 SOS 168449 HAS SOPS 146448 HAS SOUS 91081 HAS SOUPS 85949 WITH SCORE 86117.449
AT ITER 136 NEW BEST:: SOT 248253 SOS 168629 HAS SOPS 146568 HAS SOUS 90795 HAS SOUPS 85663 WITH SCORE 85831.629
AT ITER 139 NEW BEST:: SOT 248139 SOS 168515 HAS SOPS 146511 HAS SOUS 87966 HAS SOUPS 82834 WITH SCORE 83002.515
AT ITER 143 NEW BEST:: SOT 248130 SOS 169243 HAS SOPS 147239 HAS SOUS 86874 HAS SOUPS 81742 WITH SCORE 81911.243
AT ITER 146 NEW BEST:: SOT 248130 SOS 169044 HAS SOPS 147070 HAS SOUS 86808 HAS SOUPS 81676 WITH SCORE 81845.044
AT ITER 148 NEW BEST:: SOT 248697 SOS 169346 HAS SOPS 147393 HAS SOUS 86476 HAS SOUPS 81344 WITH SCORE 81513.346
AT ITER 150 NEW BEST:: SOT 248746 SOS 169476 HAS SOPS 147572 HAS SOUS 86466 HAS SOUPS 81334 WITH SCORE 81503.476
AT ITER 151 NEW BEST:: SOT 249028 SOS 169373 HAS SOPS 147469 HAS SOUS 86306 HAS SOUPS 81174 WITH SCORE 81343.373
AT ITER 155 NEW BEST:: SOT 248149 SOS 168945 HAS SOPS 146875 HAS SOUS 85933 HAS SOUPS 80819 WITH SCORE 80987.945
AT ITER 156 NEW BEST:: SOT 248217 SOS 169102 HAS SOPS 147029 HAS SOUS 85684 HAS SOUPS 80570 WITH SCORE 80739.102
AT ITER 160 NEW BEST:: SOT 248431 SOS 168910 HAS SOPS 146837 HAS SOUS 85465 HAS SOUPS 80351 WITH SCORE 80519.91
AT ITER 163 NEW BEST:: SOT 248347 SOS 168862 HAS SOPS 146729 HAS SOUS 85394 HAS SOUPS 80280 WITH SCORE 80448.862
AT ITER 165 NEW BEST:: SOT 248332 SOS 168784 HAS SOPS 146651 HAS SOUS 85175 HAS SOUPS 80061 WITH SCORE 80229.784
AT ITER 166 NEW BEST:: SOT 247609 SOS 168097 HAS SOPS 145747 HAS SOUS 85150 HAS SOUPS 80002 WITH SCORE 80170.097
AT ITER 168 NEW BEST:: SOT 247767 SOS 168120 HAS SOPS 145849 HAS SOUS 84886 HAS SOUPS 79817 WITH SCORE 79985.12
AT ITER 171 NEW BEST:: SOT 245228 SOS 168339 HAS SOPS 145392 HAS SOUS 83842 HAS SOUPS 79085 WITH SCORE 79253.339
AT ITER 174 NEW BEST:: SOT 245209 SOS 168320 HAS SOPS 145373 HAS SOUS 83823 HAS SOUPS 79066 WITH SCORE 79234.32
AT ITER 178 NEW BEST:: SOT 245381 SOS 168402 HAS SOPS 145717 HAS SOUS 83293 HAS SOUPS 78689 WITH SCORE 78857.402
AT ITER 179 NEW BEST:: SOT 245393 SOS 168414 HAS SOPS 145729 HAS SOUS 83281 HAS SOUPS 78677 WITH SCORE 78845.414
AT ITER 187 NEW BEST:: SOT 245992 SOS 165256 HAS SOPS 146065 HAS SOUS 82523 HAS SOUPS 77969 WITH SCORE 78134.256
AT ITER 188 NEW BEST:: SOT 245937 SOS 165146 HAS SOPS 146010 HAS SOUS 82330 HAS SOUPS 77831 WITH SCORE 77996.146
AT ITER 191 NEW BEST:: SOT 245389 SOS 165447 HAS SOPS 146311 HAS SOUS 82308 HAS SOUPS 77809 WITH SCORE 77974.447
AT ITER 192 NEW BEST:: SOT 245443 SOS 165427 HAS SOPS 146237 HAS SOUS 82290 HAS SOUPS 77791 WITH SCORE 77956.427
AT ITER 200 NEW BEST:: SOT 245485 SOS 165382 HAS SOPS 146192 HAS SOUS 82062 HAS SOUPS 77563 WITH SCORE 77728.382
AT ITER 201 NEW BEST:: SOT 245511 SOS 165380 HAS SOPS 146190 HAS SOUS 82062 HAS SOUPS 77563 WITH SCORE 77728.38
AT ITER 211 NEW BEST:: SOT 245493 SOS 165325 HAS SOPS 146118 HAS SOUS 82020 HAS SOUPS 77512 WITH SCORE 77677.325
AT ITER 212 NEW BEST:: SOT 245726 SOS 165322 HAS SOPS 146115 HAS SOUS 81994 HAS SOUPS 77486 WITH SCORE 77651.322
AT ITER 214 NEW BEST:: SOT 246340 SOS 166318 HAS SOPS 147050 HAS SOUS 73256 HAS SOUPS 68748 WITH SCORE 68914.318
AT ITER 216 NEW BEST:: SOT 242429 SOS 162163 HAS SOPS 142997 HAS SOUS 68610 HAS SOUPS 64204 WITH SCORE 64366.163
AT ITER 219 NEW BEST:: SOT 242493 SOS 162291 HAS SOPS 143071 HAS SOUS 68595 HAS SOUPS 64135 WITH SCORE 64297.291
AT ITER 222 NEW BEST:: SOT 241629 SOS 161959 HAS SOPS 142339 HAS SOUS 67797 HAS SOUPS 63337 WITH SCORE 63498.959
AT ITER 223 NEW BEST:: SOT 241393 SOS 161748 HAS SOPS 142128 HAS SOUS 67752 HAS SOUPS 63292 WITH SCORE 63453.748
AT ITER 224 NEW BEST:: SOT 241469 SOS 161594 HAS SOPS 141974 HAS SOUS 67228 HAS SOUPS 62768 WITH SCORE 62929.594
AT ITER 226 NEW BEST:: SOT 241737 SOS 161716 HAS SOPS 142230 HAS SOUS 66929 HAS SOUPS 62603 WITH SCORE 62764.716
AT ITER 231 NEW BEST:: SOT 241761 SOS 161920 HAS SOPS 142434 HAS SOUS 66829 HAS SOUPS 62503 WITH SCORE 62664.92
AT ITER 233 NEW BEST:: SOT 241781 SOS 161920 HAS SOPS 142434 HAS SOUS 66813 HAS SOUPS 62487 WITH SCORE 62648.92
AT ITER 239 NEW BEST:: SOT 241692 SOS 161836 HAS SOPS 142340 HAS SOUS 66412 HAS SOUPS 62128 WITH SCORE 62289.836
AT ITER 241 NEW BEST:: SOT 241692 SOS 135209 HAS SOPS 104604 HAS SOUS 65879 HAS SOUPS 61015 WITH SCORE 61150.209
AT ITER 242 NEW BEST:: SOT 241720 SOS 135228 HAS SOPS 104420 HAS SOUS 65888 HAS SOUPS 60996 WITH SCORE 61131.228
AT ITER 246 NEW BEST:: SOT 241680 SOS 135052 HAS SOPS 104244 HAS SOUS 65820 HAS SOUPS 60928 WITH SCORE 61063.052
AT ITER 247 NEW BEST:: SOT 241560 SOS 135261 HAS SOPS 103844 HAS SOUS 65750 HAS SOUPS 60778 WITH SCORE 60913.261
AT ITER 252 NEW BEST:: SOT 241595 SOS 135276 HAS SOPS 103786 HAS SOUS 65354 HAS SOUPS 60378 WITH SCORE 60513.276
AT ITER 257 NEW BEST:: SOT 241515 SOS 135236 HAS SOPS 103566 HAS SOUS 65279 HAS SOUPS 60303 WITH SCORE 60438.236
AT ITER 263 NEW BEST:: SOT 241589 SOS 135268 HAS SOPS 103245 HAS SOUS 65211 HAS SOUPS 60235 WITH SCORE 60370.268
AT ITER 266 NEW BEST:: SOT 241441 SOS 135120 HAS SOPS 103031 HAS SOUS 65012 HAS SOUPS 60021 WITH SCORE 60156.12
AT ITER 267 NEW BEST:: SOT 241387 SOS 135170 HAS SOPS 102892 HAS SOUS 64935 HAS SOUPS 59917 WITH SCORE 60052.17
AT ITER 270 NEW BEST:: SOT 241294 SOS 134628 HAS SOPS 102706 HAS SOUS 64505 HAS SOUPS 59583 WITH SCORE 59717.628
AT ITER 271 NEW BEST:: SOT 238205 SOS 132865 HAS SOPS 100809 HAS SOUS 62652 HAS SOUPS 57805 WITH SCORE 57937.865
AT ITER 274 NEW BEST:: SOT 238001 SOS 132629 HAS SOPS 100297 HAS SOUS 62682 HAS SOUPS 57726 WITH SCORE 57858.629
AT ITER 276 NEW BEST:: SOT 238034 SOS 130658 HAS SOPS 96367 HAS SOUS 58249 HAS SOUPS 53293 WITH SCORE 53423.658
AT ITER 277 NEW BEST:: SOT 237992 SOS 130346 HAS SOPS 96044 HAS SOUS 58056 HAS SOUPS 53100 WITH SCORE 53230.346
AT ITER 284 NEW BEST:: SOT 237962 SOS 130206 HAS SOPS 95984 HAS SOUS 57895 HAS SOUPS 52950 WITH SCORE 53080.206
AT ITER 285 NEW BEST:: SOT 237725 SOS 129977 HAS SOPS 95892 HAS SOUS 57755 HAS SOUPS 52858 WITH SCORE 52987.977
AT ITER 286 NEW BEST:: SOT 237727 SOS 130043 HAS SOPS 95958 HAS SOUS 57747 HAS SOUPS 52850 WITH SCORE 52980.043
AT ITER 288 NEW BEST:: SOT 237550 SOS 129868 HAS SOPS 95657 HAS SOUS 57890 HAS SOUPS 52835 WITH SCORE 52964.868
AT ITER 290 NEW BEST:: SOT 237526 SOS 128588 HAS SOPS 92131 HAS SOUS 57663 HAS SOUPS 52454 WITH SCORE 52582.588
AT ITER 291 NEW BEST:: SOT 236685 SOS 136979 HAS SOPS 91871 HAS SOUS 57163 HAS SOUPS 52093 WITH SCORE 52229.979
AT ITER 292 NEW BEST:: SOT 236798 SOS 136545 HAS SOPS 91984 HAS SOUS 57025 HAS SOUPS 52068 WITH SCORE 52204.545
AT ITER 294 NEW BEST:: SOT 236798 SOS 136545 HAS SOPS 91959 HAS SOUS 57000 HAS SOUPS 52043 WITH SCORE 52179.545
AT ITER 301 NEW BEST:: SOT 236871 SOS 136699 HAS SOPS 91993 HAS SOUS 57189 HAS SOUPS 52042 WITH SCORE 52178.699
AT ITER 303 NEW BEST:: SOT 236908 SOS 136437 HAS SOPS 91923 HAS SOUS 57125 HAS SOUPS 51979 WITH SCORE 52115.437
AT ITER 304 NEW BEST:: SOT 236611 SOS 136067 HAS SOPS 91665 HAS SOUS 56835 HAS SOUPS 51745 WITH SCORE 51881.067
AT ITER 305 NEW BEST:: SOT 236631 SOS 136135 HAS SOPS 91663 HAS SOUS 56907 HAS SOUPS 51719 WITH SCORE 51855.135
AT ITER 308 NEW BEST:: SOT 236606 SOS 136077 HAS SOPS 91638 HAS SOUS 56865 HAS SOUPS 51719 WITH SCORE 51855.077
AT ITER 315 NEW BEST:: SOT 236601 SOS 135662 HAS SOPS 91638 HAS SOUS 56865 HAS SOUPS 51719 WITH SCORE 51854.662
AT ITER 317 NEW BEST:: SOT 236602 SOS 135951 HAS SOPS 91599 HAS SOUS 56894 HAS SOUPS 51707 WITH SCORE 51842.951
AT ITER 318 NEW BEST:: SOT 236670 SOS 136501 HAS SOPS 91597 HAS SOUS 56938 HAS SOUPS 51682 WITH SCORE 51818.501
AT ITER 322 NEW BEST:: SOT 237921 SOS 137752 HAS SOPS 92848 HAS SOUS 55368 HAS SOUPS 50112 WITH SCORE 50249.752
AT ITER 324 NEW BEST:: SOT 237889 SOS 137451 HAS SOPS 92015 HAS SOUS 53983 HAS SOUPS 48727 WITH SCORE 48864.451
AT ITER 336 NEW BEST:: SOT 237525 SOS 137207 HAS SOPS 92048 HAS SOUS 53733 HAS SOUPS 48607 WITH SCORE 48744.207
AT ITER 339 NEW BEST:: SOT 237762 SOS 136533 HAS SOPS 91794 HAS SOUS 53229 HAS SOUPS 48162 WITH SCORE 48298.533
AT ITER 341 NEW BEST:: SOT 237886 SOS 136886 HAS SOPS 92147 HAS SOUS 53196 HAS SOUPS 48129 WITH SCORE 48265.886
AT ITER 346 NEW BEST:: SOT 237508 SOS 137569 HAS SOPS 92005 HAS SOUS 52862 HAS SOUPS 47842 WITH SCORE 47979.569
AT ITER 347 NEW BEST:: SOT 237551 SOS 137163 HAS SOPS 91835 HAS SOUS 52809 HAS SOUPS 47821 WITH SCORE 47958.163
AT ITER 350 NEW BEST:: SOT 237346 SOS 136954 HAS SOPS 91626 HAS SOUS 52696 HAS SOUPS 47667 WITH SCORE 47803.954
AT ITER 351 NEW BEST:: SOT 237427 SOS 136944 HAS SOPS 91616 HAS SOUS 52629 HAS SOUPS 47600 WITH SCORE 47736.944
AT ITER 354 NEW BEST:: SOT 237423 SOS 136973 HAS SOPS 91675 HAS SOUS 52618 HAS SOUPS 47589 WITH SCORE 47725.973
AT ITER 356 NEW BEST:: SOT 235939 SOS 136455 HAS SOPS 91090 HAS SOUS 52361 HAS SOUPS 47328 WITH SCORE 47464.455
AT ITER 360 NEW BEST:: SOT 235839 SOS 137014 HAS SOPS 91060 HAS SOUS 52388 HAS SOUPS 47298 WITH SCORE 47435.014
AT ITER 362 NEW BEST:: SOT 235838 SOS 137012 HAS SOPS 91058 HAS SOUS 52385 HAS SOUPS 47295 WITH SCORE 47432.012
AT ITER 368 NEW BEST:: SOT 236982 SOS 138156 HAS SOPS 92211 HAS SOUS 52009 HAS SOUPS 46919 WITH SCORE 47057.156
AT ITER 379 NEW BEST:: SOT 236926 SOS 138076 HAS SOPS 92131 HAS SOUS 51926 HAS SOUPS 46836 WITH SCORE 46974.076
AT ITER 381 NEW BEST:: SOT 236071 SOS 137474 HAS SOPS 91500 HAS SOUS 48726 HAS SOUPS 43636 WITH SCORE 43773.474
AT ITER 382 NEW BEST:: SOT 236937 SOS 138358 HAS SOPS 92320 HAS SOUS 46857 HAS SOUPS 41767 WITH SCORE 41905.358
AT ITER 385 NEW BEST:: SOT 236957 SOS 138198 HAS SOPS 91933 HAS SOUS 45834 HAS SOUPS 40744 WITH SCORE 40882.198
AT ITER 388 NEW BEST:: SOT 233103 SOS 136397 HAS SOPS 90756 HAS SOUS 44190 HAS SOUPS 39462 WITH SCORE 39598.397
AT ITER 394 NEW BEST:: SOT 233102 SOS 136396 HAS SOPS 90755 HAS SOUS 44123 HAS SOUPS 39395 WITH SCORE 39531.396
AT ITER 395 NEW BEST:: SOT 233078 SOS 136603 HAS SOPS 91064 HAS SOUS 44048 HAS SOUPS 39371 WITH SCORE 39507.603
AT ITER 396 NEW BEST:: SOT 233077 SOS 136707 HAS SOPS 91154 HAS SOUS 43994 HAS SOUPS 39317 WITH SCORE 39453.707
AT ITER 400 NEW BEST:: SOT 232437 SOS 142085 HAS SOPS 90914 HAS SOUS 44109 HAS SOUPS 39278 WITH SCORE 39420.085
AT ITER 411 NEW BEST:: SOT 232457 SOS 141909 HAS SOPS 90856 HAS SOUS 44051 HAS SOUPS 39220 WITH SCORE 39361.909
AT ITER 412 NEW BEST:: SOT 232425 SOS 142697 HAS SOPS 90751 HAS SOUS 44051 HAS SOUPS 39141 WITH SCORE 39283.697
AT ITER 426 NEW BEST:: SOT 232360 SOS 142527 HAS SOPS 90685 HAS SOUS 43978 HAS SOUPS 39081 WITH SCORE 39223.527
AT ITER 427 NEW BEST:: SOT 232280 SOS 142575 HAS SOPS 90733 HAS SOUS 43882 HAS SOUPS 38985 WITH SCORE 39127.575
AT ITER 429 NEW BEST:: SOT 232071 SOS 142858 HAS SOPS 90733 HAS SOUS 43869 HAS SOUPS 38979 WITH SCORE 39121.858
AT ITER 433 NEW BEST:: SOT 232160 SOS 141954 HAS SOPS 90689 HAS SOUS 43665 HAS SOUPS 38886 WITH SCORE 39027.954
AT ITER 436 NEW BEST:: SOT 232166 SOS 141960 HAS SOPS 90689 HAS SOUS 43653 HAS SOUPS 38874 WITH SCORE 39015.96
AT ITER 437 NEW BEST:: SOT 231431 SOS 143865 HAS SOPS 90649 HAS SOUS 43613 HAS SOUPS 38834 WITH SCORE 38977.865
AT ITER 440 NEW BEST:: SOT 230978 SOS 147962 HAS SOPS 90515 HAS SOUS 43726 HAS SOUPS 38758 WITH SCORE 38905.962
AT ITER 441 NEW BEST:: SOT 230959 SOS 147943 HAS SOPS 90485 HAS SOUS 43630 HAS SOUPS 38662 WITH SCORE 38809.943
AT ITER 443 NEW BEST:: SOT 230988 SOS 147942 HAS SOPS 90541 HAS SOUS 43536 HAS SOUPS 38568 WITH SCORE 38715.942
AT ITER 444 NEW BEST:: SOT 231252 SOS 148206 HAS SOPS 90805 HAS SOUS 43278 HAS SOUPS 38310 WITH SCORE 38458.206
AT ITER 445 NEW BEST:: SOT 231252 SOS 148206 HAS SOPS 90595 HAS SOUS 43263 HAS SOUPS 38295 WITH SCORE 38443.206
AT ITER 453 NEW BEST:: SOT 231252 SOS 148182 HAS SOPS 90571 HAS SOUS 43251 HAS SOUPS 38283 WITH SCORE 38431.182
AT ITER 458 NEW BEST:: SOT 231588 SOS 147711 HAS SOPS 90527 HAS SOUS 43096 HAS SOUPS 38090 WITH SCORE 38237.711
AT ITER 461 NEW BEST:: SOT 231620 SOS 147663 HAS SOPS 90523 HAS SOUS 43064 HAS SOUPS 38058 WITH SCORE 38205.663
AT ITER 465 NEW BEST:: SOT 231468 SOS 147987 HAS SOPS 90207 HAS SOUS 43059 HAS SOUPS 37973 WITH SCORE 38120.987
AT ITER 472 NEW BEST:: SOT 234751 SOS 151270 HAS SOPS 93561 HAS SOUS 42493 HAS SOUPS 37424 WITH SCORE 37575.27
AT ITER 482 NEW BEST:: SOT 234810 SOS 151388 HAS SOPS 93679 HAS SOUS 42475 HAS SOUPS 37406 WITH SCORE 37557.388
AT ITER 484 NEW BEST:: SOT 234804 SOS 151353 HAS SOPS 93644 HAS SOUS 42470 HAS SOUPS 37401 WITH SCORE 37552.353
AT ITER 486 NEW BEST:: SOT 234164 SOS 150894 HAS SOPS 93286 HAS SOUS 42306 HAS SOUPS 37168 WITH SCORE 37318.894
AT ITER 487 NEW BEST:: SOT 234072 SOS 150802 HAS SOPS 93296 HAS SOUS 42188 HAS SOUPS 37084 WITH SCORE 37234.802
AT ITER 488 NEW BEST:: SOT 234066 SOS 150799 HAS SOPS 93287 HAS SOUS 42182 HAS SOUPS 37078 WITH SCORE 37228.799
AT ITER 494 NEW BEST:: SOT 233994 SOS 150753 HAS SOPS 93213 HAS SOUS 42088 HAS SOUPS 36984 WITH SCORE 37134.753
AT ITER 495 NEW BEST:: SOT 233993 SOS 150749 HAS SOPS 93208 HAS SOUS 42071 HAS SOUPS 36967 WITH SCORE 37117.749
AT ITER 499 NEW BEST:: SOT 233995 SOS 149658 HAS SOPS 88410 HAS SOUS 41954 HAS SOUPS 36574 WITH SCORE 36723.658
AT ITER 507 NEW BEST:: SOT 233870 SOS 149865 HAS SOPS 88508 HAS SOUS 41997 HAS SOUPS 36560 WITH SCORE 36709.865
AT ITER 511 NEW BEST:: SOT 233761 SOS 150133 HAS SOPS 88128 HAS SOUS 41869 HAS SOUPS 36351 WITH SCORE 36501.133
AT ITER 513 NEW BEST:: SOT 233730 SOS 150030 HAS SOPS 88040 HAS SOUS 41907 HAS SOUPS 36351 WITH SCORE 36501.03
AT ITER 517 NEW BEST:: SOT 233730 SOS 150004 HAS SOPS 88014 HAS SOUS 41777 HAS SOUPS 36221 WITH SCORE 36371.004
AT ITER 518 NEW BEST:: SOT 228123 SOS 148513 HAS SOPS 86903 HAS SOUS 40506 HAS SOUPS 35024 WITH SCORE 35172.513
AT ITER 520 NEW BEST:: SOT 228109 SOS 148499 HAS SOPS 86882 HAS SOUS 40492 HAS SOUPS 35010 WITH SCORE 35158.499
AT ITER 521 NEW BEST:: SOT 228139 SOS 148519 HAS SOPS 86832 HAS SOUS 40472 HAS SOUPS 34990 WITH SCORE 35138.519
AT ITER 523 NEW BEST:: SOT 228109 SOS 148609 HAS SOPS 86722 HAS SOUS 40467 HAS SOUPS 34960 WITH SCORE 35108.609
AT ITER 524 NEW BEST:: SOT 227857 SOS 151557 HAS SOPS 86712 HAS SOUS 40494 HAS SOUPS 34953 WITH SCORE 35104.557
AT ITER 531 NEW BEST:: SOT 227980 SOS 151537 HAS SOPS 86698 HAS SOUS 40468 HAS SOUPS 34927 WITH SCORE 35078.537
AT ITER 533 NEW BEST:: SOT 227771 SOS 151230 HAS SOPS 86219 HAS SOUS 40269 HAS SOUPS 34708 WITH SCORE 34859.23
AT ITER 534 NEW BEST:: SOT 227771 SOS 151109 HAS SOPS 86186 HAS SOUS 40236 HAS SOUPS 34686 WITH SCORE 34837.109
AT ITER 537 NEW BEST:: SOT 227769 SOS 151057 HAS SOPS 86182 HAS SOUS 40226 HAS SOUPS 34682 WITH SCORE 34833.057
AT ITER 541 NEW BEST:: SOT 226248 SOS 149536 HAS SOPS 84661 HAS SOUS 39965 HAS SOUPS 34421 WITH SCORE 34570.536
AT ITER 546 NEW BEST:: SOT 226266 SOS 149476 HAS SOPS 84867 HAS SOUS 39936 HAS SOUPS 34392 WITH SCORE 34541.476
AT ITER 547 NEW BEST:: SOT 226252 SOS 149442 HAS SOPS 84825 HAS SOUS 39830 HAS SOUPS 34286 WITH SCORE 34435.442
AT ITER 548 NEW BEST:: SOT 226205 SOS 149291 HAS SOPS 84674 HAS SOUS 39808 HAS SOUPS 34264 WITH SCORE 34413.291
AT ITER 554 NEW BEST:: SOT 226283 SOS 149331 HAS SOPS 84714 HAS SOUS 39791 HAS SOUPS 34247 WITH SCORE 34396.331
AT ITER 557 NEW BEST:: SOT 226356 SOS 149404 HAS SOPS 84749 HAS SOUS 39788 HAS SOUPS 34244 WITH SCORE 34393.404
AT ITER 558 NEW BEST:: SOT 226324 SOS 149412 HAS SOPS 84538 HAS SOUS 39748 HAS SOUPS 34204 WITH SCORE 34353.412
AT ITER 559 NEW BEST:: SOT 224924 SOS 148003 HAS SOPS 84107 HAS SOUS 39284 HAS SOUPS 33807 WITH SCORE 33955.003
AT ITER 560 NEW BEST:: SOT 219700 SOS 151255 HAS SOPS 83545 HAS SOUS 38784 HAS SOUPS 33592 WITH SCORE 33743.255
AT ITER 567 NEW BEST:: SOT 219662 SOS 151180 HAS SOPS 83472 HAS SOUS 38711 HAS SOUPS 33519 WITH SCORE 33670.18
AT ITER 572 NEW BEST:: SOT 218983 SOS 150383 HAS SOPS 82675 HAS SOUS 38284 HAS SOUPS 33043 WITH SCORE 33193.383
AT ITER 573 NEW BEST:: SOT 218957 SOS 150359 HAS SOPS 82651 HAS SOUS 38267 HAS SOUPS 33026 WITH SCORE 33176.359
AT ITER 575 NEW BEST:: SOT 220160 SOS 151015 HAS SOPS 82607 HAS SOUS 38326 HAS SOUPS 33010 WITH SCORE 33161.015
AT ITER 579 NEW BEST:: SOT 220278 SOS 151045 HAS SOPS 81965 HAS SOUS 38382 HAS SOUPS 33009 WITH SCORE 33160.045
AT ITER 585 NEW BEST:: SOT 220398 SOS 149474 HAS SOPS 81929 HAS SOUS 38338 HAS SOUPS 32973 WITH SCORE 33122.474
AT ITER 587 NEW BEST:: SOT 219588 SOS 148694 HAS SOPS 81539 HAS SOUS 37839 HAS SOUPS 32583 WITH SCORE 32731.694
AT ITER 589 NEW BEST:: SOT 219558 SOS 148664 HAS SOPS 81509 HAS SOUS 37809 HAS SOUPS 32539 WITH SCORE 32687.664
AT ITER 594 NEW BEST:: SOT 219558 SOS 148664 HAS SOPS 81489 HAS SOUS 37789 HAS SOUPS 32519 WITH SCORE 32667.664
AT ITER 598 NEW BEST:: SOT 219649 SOS 148726 HAS SOPS 81508 HAS SOUS 37703 HAS SOUPS 32433 WITH SCORE 32581.726
AT ITER 604 NEW BEST:: SOT 219626 SOS 148717 HAS SOPS 81505 HAS SOUS 37700 HAS SOUPS 32431 WITH SCORE 32579.717
AT ITER 613 NEW BEST:: SOT 219632 SOS 148643 HAS SOPS 81431 HAS SOUS 37698 HAS SOUPS 32429 WITH SCORE 32577.643
AT ITER 621 NEW BEST:: SOT 219646 SOS 148671 HAS SOPS 81525 HAS SOUS 37737 HAS SOUPS 32418 WITH SCORE 32566.671
AT ITER 623 NEW BEST:: SOT 219615 SOS 148879 HAS SOPS 81463 HAS SOUS 37782 HAS SOUPS 32389 WITH SCORE 32537.879
AT ITER 633 NEW BEST:: SOT 219525 SOS 148847 HAS SOPS 81330 HAS SOUS 37497 HAS SOUPS 32104 WITH SCORE 32252.847
AT ITER 642 NEW BEST:: SOT 219239 SOS 148759 HAS SOPS 81297 HAS SOUS 37409 HAS SOUPS 32027 WITH SCORE 32175.759
AT ITER 655 NEW BEST:: SOT 219229 SOS 148774 HAS SOPS 81283 HAS SOUS 37412 HAS SOUPS 32024 WITH SCORE 32172.774
AT ITER 662 NEW BEST:: SOT 219158 SOS 148603 HAS SOPS 81183 HAS SOUS 37312 HAS SOUPS 31924 WITH SCORE 32072.603
AT ITER 665 NEW BEST:: SOT 219395 SOS 148601 HAS SOPS 81181 HAS SOUS 37228 HAS SOUPS 31840 WITH SCORE 31988.601
AT ITER 667 NEW BEST:: SOT 219428 SOS 148467 HAS SOPS 81152 HAS SOUS 37125 HAS SOUPS 31827 WITH SCORE 31975.467
AT ITER 669 NEW BEST:: SOT 219326 SOS 148297 HAS SOPS 81050 HAS SOUS 36998 HAS SOUPS 31768 WITH SCORE 31916.297
AT ITER 672 NEW BEST:: SOT 219336 SOS 148307 HAS SOPS 81056 HAS SOUS 36938 HAS SOUPS 31708 WITH SCORE 31856.307
AT ITER 681 NEW BEST:: SOT 219314 SOS 148296 HAS SOPS 81044 HAS SOUS 36937 HAS SOUPS 31707 WITH SCORE 31855.296
AT ITER 683 NEW BEST:: SOT 219276 SOS 148220 HAS SOPS 80996 HAS SOUS 36955 HAS SOUPS 31697 WITH SCORE 31845.22
AT ITER 688 NEW BEST:: SOT 219235 SOS 148138 HAS SOPS 80914 HAS SOUS 36873 HAS SOUPS 31615 WITH SCORE 31763.138
AT ITER 689 NEW BEST:: SOT 219090 SOS 147993 HAS SOPS 80747 HAS SOUS 36737 HAS SOUPS 31470 WITH SCORE 31617.993
AT ITER 694 NEW BEST:: SOT 217405 SOS 147212 HAS SOPS 80400 HAS SOUS 36640 HAS SOUPS 31239 WITH SCORE 31386.212
AT ITER 700 NEW BEST:: SOT 217351 SOS 147158 HAS SOPS 80319 HAS SOUS 36613 HAS SOUPS 31212 WITH SCORE 31359.158
AT ITER 701 NEW BEST:: SOT 217344 SOS 147144 HAS SOPS 79911 HAS SOUS 36688 HAS SOUPS 31177 WITH SCORE 31324.144
AT ITER 716 NEW BEST:: SOT 217368 SOS 146979 HAS SOPS 80432 HAS SOUS 36592 HAS SOUPS 31081 WITH SCORE 31227.979
AT ITER 723 NEW BEST:: SOT 213761 SOS 144100 HAS SOPS 80154 HAS SOUS 35930 HAS SOUPS 30717 WITH SCORE 30861.1
AT ITER 742 NEW BEST:: SOT 213793 SOS 144132 HAS SOPS 80173 HAS SOUS 35823 HAS SOUPS 30610 WITH SCORE 30754.132
AT ITER 745 NEW BEST:: SOT 213749 SOS 144099 HAS SOPS 80140 HAS SOUS 35801 HAS SOUPS 30588 WITH SCORE 30732.099
AT ITER 749 NEW BEST:: SOT 213705 SOS 144011 HAS SOPS 80096 HAS SOUS 35801 HAS SOUPS 30588 WITH SCORE 30732.011
AT ITER 750 NEW BEST:: SOT 213699 SOS 143999 HAS SOPS 80084 HAS SOUS 35795 HAS SOUPS 30582 WITH SCORE 30725.999
AT ITER 758 NEW BEST:: SOT 213630 SOS 143930 HAS SOPS 79936 HAS SOUS 35558 HAS SOUPS 30345 WITH SCORE 30488.93
AT ITER 759 NEW BEST:: SOT 213601 SOS 143971 HAS SOPS 80139 HAS SOUS 35552 HAS SOUPS 30339 WITH SCORE 30482.971
AT ITER 762 NEW BEST:: SOT 213615 SOS 143959 HAS SOPS 80443 HAS SOUS 35427 HAS SOUPS 30254 WITH SCORE 30397.959
AT ITER 770 NEW BEST:: SOT 213637 SOS 143771 HAS SOPS 80487 HAS SOUS 35391 HAS SOUPS 30254 WITH SCORE 30397.771
AT ITER 776 NEW BEST:: SOT 213625 SOS 143675 HAS SOPS 80487 HAS SOUS 35367 HAS SOUPS 30242 WITH SCORE 30385.675
AT ITER 777 NEW BEST:: SOT 213589 SOS 143537 HAS SOPS 80349 HAS SOUS 34996 HAS SOUPS 29951 WITH SCORE 30094.537
AT ITER 779 NEW BEST:: SOT 211836 SOS 151047 HAS SOPS 80511 HAS SOUS 34954 HAS SOUPS 29906 WITH SCORE 30057.047
AT ITER 796 NEW BEST:: SOT 211816 SOS 151027 HAS SOPS 80486 HAS SOUS 34929 HAS SOUPS 29881 WITH SCORE 30032.027
AT ITER 801 NEW BEST:: SOT 211690 SOS 150893 HAS SOPS 80197 HAS SOUS 34354 HAS SOUPS 29306 WITH SCORE 29456.893
AT ITER 812 NEW BEST:: SOT 211723 SOS 150787 HAS SOPS 80074 HAS SOUS 34232 HAS SOUPS 29224 WITH SCORE 29374.787
AT ITER 814 NEW BEST:: SOT 211712 SOS 150808 HAS SOPS 80052 HAS SOUS 34203 HAS SOUPS 29195 WITH SCORE 29345.808
AT ITER 815 NEW BEST:: SOT 211682 SOS 150778 HAS SOPS 80070 HAS SOUS 34185 HAS SOUPS 29189 WITH SCORE 29339.778
AT ITER 817 NEW BEST:: SOT 211612 SOS 150648 HAS SOPS 79930 HAS SOUS 34045 HAS SOUPS 29049 WITH SCORE 29199.648
AT ITER 823 NEW BEST:: SOT 210075 SOS 150902 HAS SOPS 79793 HAS SOUS 33989 HAS SOUPS 28869 WITH SCORE 29019.902
AT ITER 825 NEW BEST:: SOT 209695 SOS 151201 HAS SOPS 80253 HAS SOUS 33806 HAS SOUPS 28686 WITH SCORE 28837.201
AT ITER 830 NEW BEST:: SOT 209695 SOS 151201 HAS SOPS 80253 HAS SOUS 33801 HAS SOUPS 28681 WITH SCORE 28832.201
AT ITER 836 NEW BEST:: SOT 209633 SOS 151133 HAS SOPS 80185 HAS SOUS 33751 HAS SOUPS 28663 WITH SCORE 28814.133
AT ITER 843 NEW BEST:: SOT 209643 SOS 151113 HAS SOPS 80165 HAS SOUS 33731 HAS SOUPS 28643 WITH SCORE 28794.113
AT ITER 845 NEW BEST:: SOT 209643 SOS 151113 HAS SOPS 80158 HAS SOUS 33689 HAS SOUPS 28601 WITH SCORE 28752.113
AT ITER 869 NEW BEST:: SOT 209592 SOS 151028 HAS SOPS 80090 HAS SOUS 33659 HAS SOUPS 28554 WITH SCORE 28705.028
AT ITER 874 NEW BEST:: SOT 209526 SOS 150974 HAS SOPS 79713 HAS SOUS 33684 HAS SOUPS 28551 WITH SCORE 28701.974
AT ITER 888 NEW BEST:: SOT 209559 SOS 151036 HAS SOPS 79768 HAS SOUS 33527 HAS SOUPS 28494 WITH SCORE 28645.036
AT ITER 891 NEW BEST:: SOT 209537 SOS 150981 HAS SOPS 79724 HAS SOUS 33527 HAS SOUPS 28483 WITH SCORE 28633.981
AT ITER 895 NEW BEST:: SOT 209271 SOS 151856 HAS SOPS 79671 HAS SOUS 33506 HAS SOUPS 28474 WITH SCORE 28625.856
AT ITER 898 NEW BEST:: SOT 209269 SOS 151846 HAS SOPS 79640 HAS SOUS 33503 HAS SOUPS 28468 WITH SCORE 28619.846
AT ITER 899 NEW BEST:: SOT 209214 SOS 151793 HAS SOPS 79549 HAS SOUS 33376 HAS SOUPS 28332 WITH SCORE 28483.793
AT ITER 901 NEW BEST:: SOT 209099 SOS 151697 HAS SOPS 79453 HAS SOUS 33284 HAS SOUPS 28240 WITH SCORE 28391.697
AT ITER 902 NEW BEST:: SOT 209098 SOS 151696 HAS SOPS 79450 HAS SOUS 33276 HAS SOUPS 28232 WITH SCORE 28383.696
AT ITER 919 NEW BEST:: SOT 209244 SOS 151668 HAS SOPS 79342 HAS SOUS 33103 HAS SOUPS 28137 WITH SCORE 28288.668
AT ITER 939 NEW BEST:: SOT 209151 SOS 151570 HAS SOPS 79244 HAS SOUS 32950 HAS SOUPS 27984 WITH SCORE 28135.57
AT ITER 945 NEW BEST:: SOT 207199 SOS 149618 HAS SOPS 77278 HAS SOUS 32855 HAS SOUPS 27883 WITH SCORE 28032.618
AT ITER 946 NEW BEST:: SOT 206972 SOS 149427 HAS SOPS 77072 HAS SOUS 32747 HAS SOUPS 27775 WITH SCORE 27924.427
AT ITER 949 NEW BEST:: SOT 206978 SOS 149429 HAS SOPS 77072 HAS SOUS 32745 HAS SOUPS 27773 WITH SCORE 27922.429
AT ITER 952 NEW BEST:: SOT 206928 SOS 149379 HAS SOPS 77014 HAS SOUS 32687 HAS SOUPS 27715 WITH SCORE 27864.379
AT ITER 965 NEW BEST:: SOT 206918 SOS 149369 HAS SOPS 76994 HAS SOUS 32667 HAS SOUPS 27695 WITH SCORE 27844.369
AT ITER 971 NEW BEST:: SOT 206909 SOS 149361 HAS SOPS 76986 HAS SOUS 32662 HAS SOUPS 27690 WITH SCORE 27839.361
AT ITER 972 NEW BEST:: SOT 206909 SOS 149137 HAS SOPS 76776 HAS SOUS 32647 HAS SOUPS 27675 WITH SCORE 27824.137
AT ITER 975 NEW BEST:: SOT 206823 SOS 149137 HAS SOPS 76776 HAS SOUS 32630 HAS SOUPS 27658 WITH SCORE 27807.137
AT ITER 977 NEW BEST:: SOT 206823 SOS 149137 HAS SOPS 76776 HAS SOUS 32575 HAS SOUPS 27603 WITH SCORE 27752.137
AT ITER 978 NEW BEST:: SOT 207006 SOS 149323 HAS SOPS 76962 HAS SOUS 32554 HAS SOUPS 27582 WITH SCORE 27731.323
AT ITER 980 NEW BEST:: SOT 206921 SOS 149260 HAS SOPS 76877 HAS SOUS 32510 HAS SOUPS 27538 WITH SCORE 27687.26
AT ITER 993 NEW BEST:: SOT 206915 SOS 149183 HAS SOPS 76812 HAS SOUS 32498 HAS SOUPS 27526 WITH SCORE 27675.183
AT ITER 998 NEW BEST:: SOT 206879 SOS 149147 HAS SOPS 76788 HAS SOUS 32474 HAS SOUPS 27514 WITH SCORE 27663.147
AT ITER 1020 NEW BEST:: SOT 206934 SOS 149154 HAS SOPS 76859 HAS SOUS 32406 HAS SOUPS 27484 WITH SCORE 27633.154
AT ITER 1024 NEW BEST:: SOT 206924 SOS 149249 HAS SOPS 76854 HAS SOUS 32404 HAS SOUPS 27481 WITH SCORE 27630.249
AT ITER 1031 NEW BEST:: SOT 206924 SOS 149167 HAS SOPS 76841 HAS SOUS 32405 HAS SOUPS 27481 WITH SCORE 27630.167
AT ITER 1041 NEW BEST:: SOT 206891 SOS 149145 HAS SOPS 76808 HAS SOUS 32308 HAS SOUPS 27384 WITH SCORE 27533.145
AT ITER 1044 NEW BEST:: SOT 206552 SOS 152767 HAS SOPS 76460 HAS SOUS 32289 HAS SOUPS 27324 WITH SCORE 27476.767
AT ITER 1056 NEW BEST:: SOT 206592 SOS 152807 HAS SOPS 76502 HAS SOUS 32247 HAS SOUPS 27282 WITH SCORE 27434.807
AT ITER 1061 NEW BEST:: SOT 206237 SOS 152693 HAS SOPS 76248 HAS SOUS 32135 HAS SOUPS 27165 WITH SCORE 27317.693
AT ITER 1068 NEW BEST:: SOT 206225 SOS 152669 HAS SOPS 76224 HAS SOUS 32114 HAS SOUPS 27144 WITH SCORE 27296.669
AT ITER 1073 NEW BEST:: SOT 206200 SOS 152644 HAS SOPS 76199 HAS SOUS 32089 HAS SOUPS 27119 WITH SCORE 27271.644
AT ITER 1082 NEW BEST:: SOT 206001 SOS 152445 HAS SOPS 76000 HAS SOUS 31890 HAS SOUPS 26920 WITH SCORE 27072.445
AT ITER 1084 NEW BEST:: SOT 206011 SOS 152440 HAS SOPS 75995 HAS SOUS 31870 HAS SOUPS 26900 WITH SCORE 27052.44
AT ITER 1086 NEW BEST:: SOT 205986 SOS 152415 HAS SOPS 75956 HAS SOUS 31747 HAS SOUPS 26777 WITH SCORE 26929.415
AT ITER 1087 NEW BEST:: SOT 206256 SOS 151177 HAS SOPS 75940 HAS SOUS 31680 HAS SOUPS 26762 WITH SCORE 26913.177
AT ITER 1089 NEW BEST:: SOT 206222 SOS 151109 HAS SOPS 75872 HAS SOUS 31641 HAS SOUPS 26723 WITH SCORE 26874.109
AT ITER 1094 NEW BEST:: SOT 207026 SOS 151913 HAS SOPS 76676 HAS SOUS 31554 HAS SOUPS 26636 WITH SCORE 26787.913
AT ITER 1101 NEW BEST:: SOT 207290 SOS 152040 HAS SOPS 76711 HAS SOUS 31298 HAS SOUPS 26438 WITH SCORE 26590.04
AT ITER 1114 NEW BEST:: SOT 207287 SOS 152037 HAS SOPS 76705 HAS SOUS 31277 HAS SOUPS 26417 WITH SCORE 26569.037
AT ITER 1121 NEW BEST:: SOT 207289 SOS 152063 HAS SOPS 76731 HAS SOUS 31273 HAS SOUPS 26413 WITH SCORE 26565.063
AT ITER 1122 NEW BEST:: SOT 207566 SOS 151788 HAS SOPS 76808 HAS SOUS 31079 HAS SOUPS 26280 WITH SCORE 26431.788
AT ITER 1127 NEW BEST:: SOT 207541 SOS 151763 HAS SOPS 76773 HAS SOUS 31019 HAS SOUPS 26220 WITH SCORE 26371.763
AT ITER 1132 NEW BEST:: SOT 207568 SOS 151842 HAS SOPS 76732 HAS SOUS 30981 HAS SOUPS 26142 WITH SCORE 26293.842
AT ITER 1138 NEW BEST:: SOT 207571 SOS 151840 HAS SOPS 76730 HAS SOUS 30980 HAS SOUPS 26141 WITH SCORE 26292.84
AT ITER 1139 NEW BEST:: SOT 207605 SOS 151872 HAS SOPS 76744 HAS SOUS 30956 HAS SOUPS 26126 WITH SCORE 26277.872
AT ITER 1141 NEW BEST:: SOT 207591 SOS 151841 HAS SOPS 76728 HAS SOUS 30943 HAS SOUPS 26113 WITH SCORE 26264.841
AT ITER 1143 NEW BEST:: SOT 207416 SOS 151696 HAS SOPS 76841 HAS SOUS 30802 HAS SOUPS 25993 WITH SCORE 26144.696
AT ITER 1151 NEW BEST:: SOT 207285 SOS 151565 HAS SOPS 76710 HAS SOUS 30794 HAS SOUPS 25985 WITH SCORE 26136.565
AT ITER 1172 NEW BEST:: SOT 207103 SOS 152507 HAS SOPS 76710 HAS SOUS 30841 HAS SOUPS 25978 WITH SCORE 26130.507
AT ITER 1179 NEW BEST:: SOT 207038 SOS 152468 HAS SOPS 76684 HAS SOUS 30841 HAS SOUPS 25978 WITH SCORE 26130.468
AT ITER 1187 NEW BEST:: SOT 206992 SOS 152597 HAS SOPS 76704 HAS SOUS 30776 HAS SOUPS 25913 WITH SCORE 26065.597
AT ITER 1191 NEW BEST:: SOT 206988 SOS 152597 HAS SOPS 76704 HAS SOUS 30774 HAS SOUPS 25911 WITH SCORE 26063.597
AT ITER 1192 NEW BEST:: SOT 206711 SOS 152634 HAS SOPS 76741 HAS SOUS 30767 HAS SOUPS 25904 WITH SCORE 26056.634
AT ITER 1193 NEW BEST:: SOT 206933 SOS 152856 HAS SOPS 76928 HAS SOUS 30744 HAS SOUPS 25881 WITH SCORE 26033.856
AT ITER 1195 NEW BEST:: SOT 207004 SOS 152778 HAS SOPS 76948 HAS SOUS 30724 HAS SOUPS 25881 WITH SCORE 26033.778
AT ITER 1202 NEW BEST:: SOT 207001 SOS 152775 HAS SOPS 76944 HAS SOUS 30714 HAS SOUPS 25871 WITH SCORE 26023.775
AT ITER 1204 NEW BEST:: SOT 207001 SOS 152595 HAS SOPS 76780 HAS SOUS 30714 HAS SOUPS 25871 WITH SCORE 26023.595
AT ITER 1216 NEW BEST:: SOT 206962 SOS 152565 HAS SOPS 76772 HAS SOUS 30709 HAS SOUPS 25868 WITH SCORE 26020.565
AT ITER 1223 NEW BEST:: SOT 207271 SOS 152377 HAS SOPS 76793 HAS SOUS 30634 HAS SOUPS 25857 WITH SCORE 26009.377
AT ITER 1228 NEW BEST:: SOT 207222 SOS 152313 HAS SOPS 76763 HAS SOUS 30595 HAS SOUPS 25835 WITH SCORE 25987.313
AT ITER 1234 NEW BEST:: SOT 207252 SOS 152298 HAS SOPS 76763 HAS SOUS 30550 HAS SOUPS 25805 WITH SCORE 25957.298
AT ITER 1236 NEW BEST:: SOT 207250 SOS 152298 HAS SOPS 76765 HAS SOUS 30550 HAS SOUPS 25804 WITH SCORE 25956.298
AT ITER 1238 NEW BEST:: SOT 207192 SOS 152240 HAS SOPS 76707 HAS SOUS 30516 HAS SOUPS 25770 WITH SCORE 25922.24
AT ITER 1239 NEW BEST:: SOT 207196 SOS 152244 HAS SOPS 76705 HAS SOUS 30520 HAS SOUPS 25768 WITH SCORE 25920.244
AT ITER 1248 NEW BEST:: SOT 207162 SOS 152346 HAS SOPS 76654 HAS SOUS 30503 HAS SOUPS 25734 WITH SCORE 25886.346
AT ITER 1265 NEW BEST:: SOT 207147 SOS 152331 HAS SOPS 76637 HAS SOUS 30413 HAS SOUPS 25644 WITH SCORE 25796.331
AT ITER 1272 NEW BEST:: SOT 207155 SOS 152413 HAS SOPS 76719 HAS SOUS 30411 HAS SOUPS 25642 WITH SCORE 25794.413
AT ITER 1280 NEW BEST:: SOT 210223 SOS 155481 HAS SOPS 79800 HAS SOUS 30274 HAS SOUPS 25505 WITH SCORE 25660.481
AT ITER 1290 NEW BEST:: SOT 210088 SOS 155391 HAS SOPS 79710 HAS SOUS 30229 HAS SOUPS 25445 WITH SCORE 25600.391
AT ITER 1294 NEW BEST:: SOT 210063 SOS 155353 HAS SOPS 79690 HAS SOUS 30157 HAS SOUPS 25373 WITH SCORE 25528.353
AT ITER 1307 NEW BEST:: SOT 209814 SOS 155107 HAS SOPS 79342 HAS SOUS 30330 HAS SOUPS 25321 WITH SCORE 25476.107
AT ITER 1317 NEW BEST:: SOT 209814 SOS 155114 HAS SOPS 79342 HAS SOUS 30323 HAS SOUPS 25314 WITH SCORE 25469.114
AT ITER 1318 NEW BEST:: SOT 209788 SOS 155088 HAS SOPS 79329 HAS SOUS 30310 HAS SOUPS 25301 WITH SCORE 25456.088
AT ITER 1325 NEW BEST:: SOT 209788 SOS 155088 HAS SOPS 79317 HAS SOUS 30298 HAS SOUPS 25289 WITH SCORE 25444.088
AT ITER 1329 NEW BEST:: SOT 209359 SOS 155348 HAS SOPS 79109 HAS SOUS 30350 HAS SOUPS 25237 WITH SCORE 25392.348
AT ITER 1330 NEW BEST:: SOT 209309 SOS 155248 HAS SOPS 79019 HAS SOUS 30260 HAS SOUPS 25157 WITH SCORE 25312.248
AT ITER 1341 NEW BEST:: SOT 209288 SOS 155185 HAS SOPS 78977 HAS SOUS 30239 HAS SOUPS 25136 WITH SCORE 25291.185
AT ITER 1343 NEW BEST:: SOT 209267 SOS 155150 HAS SOPS 78921 HAS SOUS 30211 HAS SOUPS 25101 WITH SCORE 25256.15
AT ITER 1346 NEW BEST:: SOT 209124 SOS 155044 HAS SOPS 78814 HAS SOUS 30205 HAS SOUPS 25095 WITH SCORE 25250.044
AT ITER 1357 NEW BEST:: SOT 208997 SOS 154917 HAS SOPS 78731 HAS SOUS 30184 HAS SOUPS 25074 WITH SCORE 25228.917
AT ITER 1358 NEW BEST:: SOT 208837 SOS 154850 HAS SOPS 78310 HAS SOUS 30195 HAS SOUPS 25061 WITH SCORE 25215.85
AT ITER 1361 NEW BEST:: SOT 208784 SOS 154880 HAS SOPS 78338 HAS SOUS 30147 HAS SOUPS 25047 WITH SCORE 25201.88
AT ITER 1370 NEW BEST:: SOT 207319 SOS 153965 HAS SOPS 78274 HAS SOUS 29945 HAS SOUPS 24983 WITH SCORE 25136.965
AT ITER 1380 NEW BEST:: SOT 207335 SOS 153957 HAS SOPS 78290 HAS SOUS 29937 HAS SOUPS 24983 WITH SCORE 25136.957
AT ITER 1381 NEW BEST:: SOT 207319 SOS 153949 HAS SOPS 78238 HAS SOUS 29937 HAS SOUPS 24979 WITH SCORE 25132.949
AT ITER 1385 NEW BEST:: SOT 207204 SOS 153834 HAS SOPS 78138 HAS SOUS 29927 HAS SOUPS 24969 WITH SCORE 25122.834
AT ITER 1386 NEW BEST:: SOT 207190 SOS 153820 HAS SOPS 78110 HAS SOUS 29913 HAS SOUPS 24941 WITH SCORE 25094.82
AT ITER 1398 NEW BEST:: SOT 207133 SOS 153900 HAS SOPS 78019 HAS SOUS 29860 HAS SOUPS 24869 WITH SCORE 25022.9
AT ITER 1423 NEW BEST:: SOT 207036 SOS 153951 HAS SOPS 78364 HAS SOUS 29836 HAS SOUPS 24845 WITH SCORE 24998.951
AT ITER 1448 NEW BEST:: SOT 207034 SOS 153891 HAS SOPS 78304 HAS SOUS 29804 HAS SOUPS 24813 WITH SCORE 24966.891
AT ITER 1449 NEW BEST:: SOT 207033 SOS 153890 HAS SOPS 78268 HAS SOUS 29808 HAS SOUPS 24811 WITH SCORE 24964.89
AT ITER 1450 NEW BEST:: SOT 206823 SOS 153690 HAS SOPS 78068 HAS SOUS 29618 HAS SOUPS 24621 WITH SCORE 24774.69
AT ITER 1467 NEW BEST:: SOT 206729 SOS 153579 HAS SOPS 78034 HAS SOUS 29677 HAS SOUPS 24605 WITH SCORE 24758.579
AT ITER 1482 NEW BEST:: SOT 206729 SOS 153573 HAS SOPS 78028 HAS SOUS 29674 HAS SOUPS 24602 WITH SCORE 24755.573
AT ITER 1483 NEW BEST:: SOT 206719 SOS 153553 HAS SOPS 78008 HAS SOUS 29674 HAS SOUPS 24602 WITH SCORE 24755.553
AT ITER 1487 NEW BEST:: SOT 206719 SOS 153553 HAS SOPS 78000 HAS SOUS 29670 HAS SOUPS 24598 WITH SCORE 24751.553
AT ITER 1490 NEW BEST:: SOT 206806 SOS 153575 HAS SOPS 78018 HAS SOUS 29658 HAS SOUPS 24586 WITH SCORE 24739.575
AT ITER 1494 NEW BEST:: SOT 208170 SOS 154939 HAS SOPS 79361 HAS SOUS 29492 HAS SOUPS 24420 WITH SCORE 24574.939
AT ITER 1505 NEW BEST:: SOT 208269 SOS 155085 HAS SOPS 79753 HAS SOUS 29407 HAS SOUPS 24383 WITH SCORE 24538.085
AT ITER 1509 NEW BEST:: SOT 208245 SOS 155073 HAS SOPS 79717 HAS SOUS 29383 HAS SOUPS 24359 WITH SCORE 24514.073
AT ITER 1510 NEW BEST:: SOT 208243 SOS 155018 HAS SOPS 79679 HAS SOUS 29364 HAS SOUPS 24340 WITH SCORE 24495.018
AT ITER 1514 NEW BEST:: SOT 208116 SOS 154917 HAS SOPS 79809 HAS SOUS 29167 HAS SOUPS 24178 WITH SCORE 24332.917
AT ITER 1518 NEW BEST:: SOT 208156 SOS 155067 HAS SOPS 79889 HAS SOUS 29157 HAS SOUPS 24168 WITH SCORE 24323.067
AT ITER 1536 NEW BEST:: SOT 208150 SOS 155061 HAS SOPS 79877 HAS SOUS 29145 HAS SOUPS 24156 WITH SCORE 24311.061
AT ITER 1543 NEW BEST:: SOT 208163 SOS 155031 HAS SOPS 79875 HAS SOUS 29145 HAS SOUPS 24156 WITH SCORE 24311.031
AT ITER 1545 NEW BEST:: SOT 208165 SOS 154991 HAS SOPS 79835 HAS SOUS 29121 HAS SOUPS 24154 WITH SCORE 24308.991
AT ITER 1563 NEW BEST:: SOT 207618 SOS 155026 HAS SOPS 79807 HAS SOUS 29212 HAS SOUPS 24147 WITH SCORE 24302.026
AT ITER 1576 NEW BEST:: SOT 207607 SOS 155015 HAS SOPS 79810 HAS SOUS 29180 HAS SOUPS 24117 WITH SCORE 24272.015
AT ITER 1580 NEW BEST:: SOT 207583 SOS 155087 HAS SOPS 80047 HAS SOUS 29156 HAS SOUPS 24093 WITH SCORE 24248.087
AT ITER 1584 NEW BEST:: SOT 207446 SOS 154996 HAS SOPS 80004 HAS SOUS 29120 HAS SOUPS 24070 WITH SCORE 24224.996
AT ITER 1589 NEW BEST:: SOT 207217 SOS 154767 HAS SOPS 79809 HAS SOUS 29011 HAS SOUPS 24008 WITH SCORE 24162.767
AT ITER 1591 NEW BEST:: SOT 207097 SOS 154647 HAS SOPS 79726 HAS SOUS 28933 HAS SOUPS 23930 WITH SCORE 24084.647
AT ITER 1606 NEW BEST:: SOT 207137 SOS 154992 HAS SOPS 80006 HAS SOUS 28788 HAS SOUPS 23825 WITH SCORE 23979.992
AT ITER 1607 NEW BEST:: SOT 207135 SOS 154975 HAS SOPS 79989 HAS SOUS 28784 HAS SOUPS 23821 WITH SCORE 23975.975
AT ITER 1618 NEW BEST:: SOT 207088 SOS 154928 HAS SOPS 79942 HAS SOUS 28744 HAS SOUPS 23781 WITH SCORE 23935.928
AT ITER 1637 NEW BEST:: SOT 206968 SOS 154688 HAS SOPS 79702 HAS SOUS 28728 HAS SOUPS 23765 WITH SCORE 23919.688
AT ITER 1645 NEW BEST:: SOT 206932 SOS 154652 HAS SOPS 79678 HAS SOUS 28704 HAS SOUPS 23753 WITH SCORE 23907.652
AT ITER 1651 NEW BEST:: SOT 206860 SOS 155688 HAS SOPS 79658 HAS SOUS 28694 HAS SOUPS 23733 WITH SCORE 23888.688
AT ITER 1672 NEW BEST:: SOT 206814 SOS 155642 HAS SOPS 79658 HAS SOUS 28694 HAS SOUPS 23733 WITH SCORE 23888.642
AT ITER 1677 NEW BEST:: SOT 204839 SOS 154554 HAS SOPS 79589 HAS SOUS 28656 HAS SOUPS 23733 WITH SCORE 23887.554
AT ITER 1689 NEW BEST:: SOT 204751 SOS 154506 HAS SOPS 79477 HAS SOUS 28542 HAS SOUPS 23619 WITH SCORE 23773.506
AT ITER 1706 NEW BEST:: SOT 204751 SOS 154442 HAS SOPS 79413 HAS SOUS 28478 HAS SOUPS 23555 WITH SCORE 23709.442
AT ITER 1710 NEW BEST:: SOT 204814 SOS 154364 HAS SOPS 79097 HAS SOUS 28393 HAS SOUPS 23470 WITH SCORE 23624.364
AT ITER 1719 NEW BEST:: SOT 204793 SOS 154343 HAS SOPS 79071 HAS SOUS 28367 HAS SOUPS 23444 WITH SCORE 23598.343
AT ITER 1737 NEW BEST:: SOT 204641 SOS 154039 HAS SOPS 78767 HAS SOUS 28303 HAS SOUPS 23380 WITH SCORE 23534.039
AT ITER 1740 NEW BEST:: SOT 204725 SOS 154024 HAS SOPS 78727 HAS SOUS 28277 HAS SOUPS 23379 WITH SCORE 23533.024
AT ITER 1746 NEW BEST:: SOT 205441 SOS 154057 HAS SOPS 78727 HAS SOUS 28296 HAS SOUPS 23377 WITH SCORE 23531.057
AT ITER 1751 NEW BEST:: SOT 204723 SOS 153339 HAS SOPS 78009 HAS SOUS 28271 HAS SOUPS 23352 WITH SCORE 23505.339
AT ITER 1755 NEW BEST:: SOT 204730 SOS 153348 HAS SOPS 78025 HAS SOUS 28269 HAS SOUPS 23350 WITH SCORE 23503.348
AT ITER 1765 NEW BEST:: SOT 204729 SOS 153336 HAS SOPS 78018 HAS SOUS 28261 HAS SOUPS 23342 WITH SCORE 23495.336
AT ITER 1776 NEW BEST:: SOT 204730 SOS 153300 HAS SOPS 77982 HAS SOUS 28240 HAS SOUPS 23321 WITH SCORE 23474.3
AT ITER 1782 NEW BEST:: SOT 204718 SOS 153276 HAS SOPS 77962 HAS SOUS 28228 HAS SOUPS 23309 WITH SCORE 23462.276
AT ITER 1789 NEW BEST:: SOT 204700 SOS 153246 HAS SOPS 77938 HAS SOUS 28222 HAS SOUPS 23297 WITH SCORE 23450.246
AT ITER 1794 NEW BEST:: SOT 204700 SOS 153218 HAS SOPS 77912 HAS SOUS 28222 HAS SOUPS 23297 WITH SCORE 23450.218
AT ITER 1797 NEW BEST:: SOT 204666 SOS 153184 HAS SOPS 77844 HAS SOUS 28154 HAS SOUPS 23229 WITH SCORE 23382.184
AT ITER 1807 NEW BEST:: SOT 204638 SOS 153139 HAS SOPS 77791 HAS SOUS 28156 HAS SOUPS 23223 WITH SCORE 23376.139
AT ITER 1814 NEW BEST:: SOT 204495 SOS 152996 HAS SOPS 77742 HAS SOUS 28107 HAS SOUPS 23174 WITH SCORE 23326.996
AT ITER 1823 NEW BEST:: SOT 204417 SOS 153790 HAS SOPS 77739 HAS SOUS 28113 HAS SOUPS 23171 WITH SCORE 23324.79
AT ITER 1849 NEW BEST:: SOT 204415 SOS 153792 HAS SOPS 77737 HAS SOUS 28111 HAS SOUPS 23169 WITH SCORE 23322.792
AT ITER 1856 NEW BEST:: SOT 204259 SOS 153879 HAS SOPS 77644 HAS SOUS 28030 HAS SOUPS 23087 WITH SCORE 23240.879
AT ITER 1865 NEW BEST:: SOT 204282 SOS 153799 HAS SOPS 77543 HAS SOUS 27990 HAS SOUPS 23047 WITH SCORE 23200.799
AT ITER 1868 NEW BEST:: SOT 204270 SOS 153775 HAS SOPS 77523 HAS SOUS 27982 HAS SOUPS 23035 WITH SCORE 23188.775
AT ITER 1874 NEW BEST:: SOT 204230 SOS 153675 HAS SOPS 77383 HAS SOUS 27882 HAS SOUPS 22935 WITH SCORE 23088.675
AT ITER 1877 NEW BEST:: SOT 204235 SOS 153665 HAS SOPS 77373 HAS SOUS 27857 HAS SOUPS 22920 WITH SCORE 23073.665
AT ITER 1878 NEW BEST:: SOT 204221 SOS 153647 HAS SOPS 77355 HAS SOUS 27845 HAS SOUPS 22908 WITH SCORE 23061.647
AT ITER 1889 NEW BEST:: SOT 204046 SOS 155332 HAS SOPS 77333 HAS SOUS 27824 HAS SOUPS 22886 WITH SCORE 23041.332
AT ITER 1902 NEW BEST:: SOT 204036 SOS 155322 HAS SOPS 77319 HAS SOUS 27814 HAS SOUPS 22872 WITH SCORE 23027.322
AT ITER 1903 NEW BEST:: SOT 204097 SOS 155427 HAS SOPS 77407 HAS SOUS 27761 HAS SOUPS 22862 WITH SCORE 23017.427
AT ITER 1917 NEW BEST:: SOT 204146 SOS 155417 HAS SOPS 78030 HAS SOUS 27721 HAS SOUPS 22850 WITH SCORE 23005.417
AT ITER 1925 NEW BEST:: SOT 204110 SOS 155413 HAS SOPS 78026 HAS SOUS 27739 HAS SOUPS 22834 WITH SCORE 22989.413
AT ITER 1931 NEW BEST:: SOT 204054 SOS 155266 HAS SOPS 77886 HAS SOUS 27613 HAS SOUPS 22694 WITH SCORE 22849.266
AT ITER 1938 NEW BEST:: SOT 203634 SOS 155573 HAS SOPS 77868 HAS SOUS 27686 HAS SOUPS 22676 WITH SCORE 22831.573
AT ITER 1939 NEW BEST:: SOT 203590 SOS 155529 HAS SOPS 77824 HAS SOUS 27642 HAS SOUPS 22632 WITH SCORE 22787.529
AT ITER 1940 NEW BEST:: SOT 203589 SOS 155527 HAS SOPS 77824 HAS SOUS 27642 HAS SOUPS 22632 WITH SCORE 22787.527
AT ITER 1956 NEW BEST:: SOT 203610 SOS 155661 HAS SOPS 77866 HAS SOUS 27593 HAS SOUPS 22583 WITH SCORE 22738.661
AT ITER 1961 NEW BEST:: SOT 203522 SOS 155749 HAS SOPS 77844 HAS SOUS 27582 HAS SOUPS 22561 WITH SCORE 22716.749
AT ITER 1965 NEW BEST:: SOT 203506 SOS 155737 HAS SOPS 77832 HAS SOUS 27578 HAS SOUPS 22557 WITH SCORE 22712.737
AT ITER 1991 NEW BEST:: SOT 203746 SOS 154885 HAS SOPS 77832 HAS SOUS 27549 HAS SOUPS 22557 WITH SCORE 22711.885
AT ITER 1993 NEW BEST:: SOT 203757 SOS 154780 HAS SOPS 77832 HAS SOUS 27548 HAS SOUPS 22557 WITH SCORE 22711.78
AT ITER 2009 NEW BEST:: SOT 203637 SOS 154683 HAS SOPS 77678 HAS SOUS 27417 HAS SOUPS 22426 WITH SCORE 22580.683
AT ITER 2015 NEW BEST:: SOT 203641 SOS 154682 HAS SOPS 77680 HAS SOUS 27410 HAS SOUPS 22419 WITH SCORE 22573.682
AT ITER 2023 NEW BEST:: SOT 203662 SOS 154703 HAS SOPS 77733 HAS SOUS 27252 HAS SOUPS 22269 WITH SCORE 22423.703
AT ITER 2024 NEW BEST:: SOT 203662 SOS 154689 HAS SOPS 77719 HAS SOUS 27245 HAS SOUPS 22262 WITH SCORE 22416.689
AT ITER 2036 NEW BEST:: SOT 203628 SOS 154639 HAS SOPS 77669 HAS SOUS 27203 HAS SOUPS 22220 WITH SCORE 22374.639
AT ITER 2040 NEW BEST:: SOT 203593 SOS 154688 HAS SOPS 77582 HAS SOUS 27174 HAS SOUPS 22174 WITH SCORE 22328.688
AT ITER 2047 NEW BEST:: SOT 203592 SOS 154686 HAS SOPS 77580 HAS SOUS 27174 HAS SOUPS 22173 WITH SCORE 22327.686
AT ITER 2056 NEW BEST:: SOT 203600 SOS 154662 HAS SOPS 77556 HAS SOUS 27174 HAS SOUPS 22173 WITH SCORE 22327.662
AT ITER 2073 NEW BEST:: SOT 203388 SOS 155600 HAS SOPS 77552 HAS SOUS 27164 HAS SOUPS 22154 WITH SCORE 22309.6
AT ITER 2078 NEW BEST:: SOT 203335 SOS 155547 HAS SOPS 77502 HAS SOUS 27114 HAS SOUPS 22104 WITH SCORE 22259.547
AT ITER 2082 NEW BEST:: SOT 203364 SOS 155489 HAS SOPS 77468 HAS SOUS 27114 HAS SOUPS 22104 WITH SCORE 22259.489
AT ITER 2090 NEW BEST:: SOT 203356 SOS 155481 HAS SOPS 77460 HAS SOUS 27106 HAS SOUPS 22096 WITH SCORE 22251.481
AT ITER 2097 NEW BEST:: SOT 203349 SOS 155475 HAS SOPS 77454 HAS SOUS 27099 HAS SOUPS 22090 WITH SCORE 22245.475
AT ITER 2106 NEW BEST:: SOT 203339 SOS 155450 HAS SOPS 77444 HAS SOUS 27079 HAS SOUPS 22080 WITH SCORE 22235.45
AT ITER 2128 NEW BEST:: SOT 203383 SOS 154281 HAS SOPS 77441 HAS SOUS 27070 HAS SOUPS 22081 WITH SCORE 22235.281
AT ITER 2135 NEW BEST:: SOT 203456 SOS 154305 HAS SOPS 77403 HAS SOUS 27023 HAS SOUPS 22034 WITH SCORE 22188.305
AT ITER 2149 NEW BEST:: SOT 203442 SOS 154277 HAS SOPS 77375 HAS SOUS 27009 HAS SOUPS 22013 WITH SCORE 22167.277
AT ITER 2157 NEW BEST:: SOT 203435 SOS 154270 HAS SOPS 77368 HAS SOUS 26995 HAS SOUPS 21999 WITH SCORE 22153.27
AT ITER 2184 NEW BEST:: SOT 203431 SOS 154281 HAS SOPS 77360 HAS SOUS 26987 HAS SOUPS 21991 WITH SCORE 22145.281
AT ITER 2198 NEW BEST:: SOT 203328 SOS 154178 HAS SOPS 77257 HAS SOUS 26987 HAS SOUPS 21991 WITH SCORE 22145.178
AT ITER 2200 NEW BEST:: SOT 203446 SOS 154123 HAS SOPS 78438 HAS SOUS 26892 HAS SOUPS 21971 WITH SCORE 22125.123
AT ITER 2201 NEW BEST:: SOT 203416 SOS 154103 HAS SOPS 78398 HAS SOUS 26852 HAS SOUPS 21931 WITH SCORE 22085.103
AT ITER 2222 NEW BEST:: SOT 203515 SOS 153311 HAS SOPS 78376 HAS SOUS 26852 HAS SOUPS 21931 WITH SCORE 22084.311
AT ITER 2248 NEW BEST:: SOT 203642 SOS 153271 HAS SOPS 78319 HAS SOUS 26780 HAS SOUPS 21898 WITH SCORE 22051.271
AT ITER 2256 NEW BEST:: SOT 203641 SOS 153269 HAS SOPS 78317 HAS SOUS 26777 HAS SOUPS 21871 WITH SCORE 22024.269
AT ITER 2264 NEW BEST:: SOT 203921 SOS 153057 HAS SOPS 78150 HAS SOUS 26682 HAS SOUPS 21776 WITH SCORE 21929.057
AT ITER 2281 NEW BEST:: SOT 203926 SOS 152992 HAS SOPS 78085 HAS SOUS 26672 HAS SOUPS 21766 WITH SCORE 21918.992
AT ITER 2286 NEW BEST:: SOT 203936 SOS 153034 HAS SOPS 78111 HAS SOUS 26658 HAS SOUPS 21752 WITH SCORE 21905.034
AT ITER 2312 NEW BEST:: SOT 203838 SOS 152936 HAS SOPS 77915 HAS SOUS 26462 HAS SOUPS 21556 WITH SCORE 21708.936
AT ITER 2322 NEW BEST:: SOT 204004 SOS 152647 HAS SOPS 77919 HAS SOUS 26401 HAS SOUPS 21547 WITH SCORE 21699.647
AT ITER 2328 NEW BEST:: SOT 203869 SOS 152742 HAS SOPS 77910 HAS SOUS 26425 HAS SOUPS 21542 WITH SCORE 21694.742
AT ITER 2331 NEW BEST:: SOT 203882 SOS 152727 HAS SOPS 77925 HAS SOUS 26406 HAS SOUPS 21523 WITH SCORE 21675.727
AT ITER 2334 NEW BEST:: SOT 203905 SOS 152697 HAS SOPS 77971 HAS SOUS 26362 HAS SOUPS 21521 WITH SCORE 21673.697
AT ITER 2361 NEW BEST:: SOT 203782 SOS 152787 HAS SOPS 77935 HAS SOUS 26368 HAS SOUPS 21499 WITH SCORE 21651.787
AT ITER 2376 NEW BEST:: SOT 203895 SOS 152900 HAS SOPS 78374 HAS SOUS 26332 HAS SOUPS 21480 WITH SCORE 21632.9
AT ITER 2412 NEW BEST:: SOT 203938 SOS 152943 HAS SOPS 78222 HAS SOUS 26203 HAS SOUPS 21328 WITH SCORE 21480.943
AT ITER 2414 NEW BEST:: SOT 203917 SOS 152922 HAS SOPS 78184 HAS SOUS 26200 HAS SOUPS 21325 WITH SCORE 21477.922
AT ITER 2420 NEW BEST:: SOT 203912 SOS 152918 HAS SOPS 78181 HAS SOUS 26198 HAS SOUPS 21324 WITH SCORE 21476.918
AT ITER 2428 NEW BEST:: SOT 202776 SOS 153316 HAS SOPS 77813 HAS SOUS 26188 HAS SOUPS 21289 WITH SCORE 21442.316
AT ITER 2444 NEW BEST:: SOT 202799 SOS 153327 HAS SOPS 77836 HAS SOUS 26198 HAS SOUPS 21276 WITH SCORE 21429.327
AT ITER 2448 NEW BEST:: SOT 202624 SOS 153048 HAS SOPS 77632 HAS SOUS 26180 HAS SOUPS 21259 WITH SCORE 21412.048
AT ITER 2482 NEW BEST:: SOT 202558 SOS 152982 HAS SOPS 77566 HAS SOUS 26121 HAS SOUPS 21200 WITH SCORE 21352.982
AT ITER 2484 NEW BEST:: SOT 202518 SOS 152926 HAS SOPS 77510 HAS SOUS 26121 HAS SOUPS 21188 WITH SCORE 21340.926
AT ITER 2488 NEW BEST:: SOT 202500 SOS 152932 HAS SOPS 77334 HAS SOUS 26130 HAS SOUPS 21183 WITH SCORE 21335.932
AT ITER 2499 NEW BEST:: SOT 202494 SOS 152938 HAS SOPS 77337 HAS SOUS 26118 HAS SOUPS 21171 WITH SCORE 21323.938
AT ITER 2510 NEW BEST:: SOT 202390 SOS 152885 HAS SOPS 77253 HAS SOUS 26037 HAS SOUPS 21120 WITH SCORE 21272.885
AT ITER 2517 NEW BEST:: SOT 202533 SOS 152936 HAS SOPS 77253 HAS SOUS 25960 HAS SOUPS 21061 WITH SCORE 21213.936
AT ITER 2541 NEW BEST:: SOT 202551 SOS 152936 HAS SOPS 77217 HAS SOUS 25906 HAS SOUPS 21025 WITH SCORE 21177.936
AT ITER 2546 NEW BEST:: SOT 202497 SOS 152908 HAS SOPS 77175 HAS SOUS 25878 HAS SOUPS 21009 WITH SCORE 21161.908
AT ITER 2547 NEW BEST:: SOT 202491 SOS 152904 HAS SOPS 77167 HAS SOUS 25872 HAS SOUPS 21001 WITH SCORE 21153.904
AT ITER 2548 NEW BEST:: SOT 202385 SOS 152677 HAS SOPS 76988 HAS SOUS 25859 HAS SOUPS 20924 WITH SCORE 21076.677
AT ITER 2575 NEW BEST:: SOT 202321 SOS 152612 HAS SOPS 76650 HAS SOUS 25856 HAS SOUPS 20900 WITH SCORE 21052.612
AT ITER 2596 NEW BEST:: SOT 203426 SOS 152946 HAS SOPS 76575 HAS SOUS 25737 HAS SOUPS 20865 WITH SCORE 21017.946
AT ITER 2610 NEW BEST:: SOT 203426 SOS 152948 HAS SOPS 76575 HAS SOUS 25735 HAS SOUPS 20863 WITH SCORE 21015.948
AT ITER 2624 NEW BEST:: SOT 202095 SOS 151616 HAS SOPS 75219 HAS SOUS 25681 HAS SOUPS 20785 WITH SCORE 20936.616
AT ITER 2630 NEW BEST:: SOT 202088 SOS 151609 HAS SOPS 75205 HAS SOUS 25676 HAS SOUPS 20773 WITH SCORE 20924.609
AT ITER 2640 NEW BEST:: SOT 202120 SOS 151601 HAS SOPS 75141 HAS SOUS 25652 HAS SOUPS 20749 WITH SCORE 20900.601
AT ITER 2645 NEW BEST:: SOT 202094 SOS 151575 HAS SOPS 75103 HAS SOUS 25614 HAS SOUPS 20711 WITH SCORE 20862.575
AT ITER 2672 NEW BEST:: SOT 202081 SOS 151549 HAS SOPS 75064 HAS SOUS 25614 HAS SOUPS 20698 WITH SCORE 20849.549
AT ITER 2682 NEW BEST:: SOT 199634 SOS 151850 HAS SOPS 74981 HAS SOUS 25835 HAS SOUPS 20615 WITH SCORE 20766.85
AT ITER 2688 NEW BEST:: SOT 199589 SOS 151706 HAS SOPS 74891 HAS SOUS 25792 HAS SOUPS 20572 WITH SCORE 20723.706
AT ITER 2696 NEW BEST:: SOT 199607 SOS 151708 HAS SOPS 74833 HAS SOUS 25734 HAS SOUPS 20514 WITH SCORE 20665.708
AT ITER 2732 NEW BEST:: SOT 199654 SOS 151737 HAS SOPS 74855 HAS SOUS 25746 HAS SOUPS 20513 WITH SCORE 20664.737
AT ITER 2764 NEW BEST:: SOT 199642 SOS 151701 HAS SOPS 74831 HAS SOUS 25758 HAS SOUPS 20513 WITH SCORE 20664.701
AT ITER 2769 NEW BEST:: SOT 199381 SOS 151526 HAS SOPS 73784 HAS SOUS 25860 HAS SOUPS 20512 WITH SCORE 20663.526
AT ITER 2777 NEW BEST:: SOT 199140 SOS 151418 HAS SOPS 73747 HAS SOUS 25858 HAS SOUPS 20475 WITH SCORE 20626.418
AT ITER 2801 NEW BEST:: SOT 199169 SOS 151476 HAS SOPS 73749 HAS SOUS 25812 HAS SOUPS 20457 WITH SCORE 20608.476
AT ITER 2811 NEW BEST:: SOT 199171 SOS 151474 HAS SOPS 73564 HAS SOUS 25810 HAS SOUPS 20455 WITH SCORE 20606.474
AT ITER 2812 NEW BEST:: SOT 199236 SOS 151662 HAS SOPS 73752 HAS SOUS 25802 HAS SOUPS 20447 WITH SCORE 20598.662
AT ITER 2817 NEW BEST:: SOT 199238 SOS 151664 HAS SOPS 73756 HAS SOUS 25785 HAS SOUPS 20436 WITH SCORE 20587.664
AT ITER 2824 NEW BEST:: SOT 199192 SOS 151659 HAS SOPS 73864 HAS SOUS 25743 HAS SOUPS 20417 WITH SCORE 20568.659
AT ITER 2849 NEW BEST:: SOT 199200 SOS 151663 HAS SOPS 73864 HAS SOUS 25735 HAS SOUPS 20413 WITH SCORE 20564.663
AT ITER 2869 NEW BEST:: SOT 199200 SOS 151663 HAS SOPS 73839 HAS SOUS 25725 HAS SOUPS 20403 WITH SCORE 20554.663
AT ITER 2876 NEW BEST:: SOT 199155 SOS 151648 HAS SOPS 73614 HAS SOUS 25725 HAS SOUPS 20388 WITH SCORE 20539.648
AT ITER 2888 NEW BEST:: SOT 199142 SOS 151633 HAS SOPS 72863 HAS SOUS 25776 HAS SOUPS 20365 WITH SCORE 20516.633
AT ITER 2891 NEW BEST:: SOT 199130 SOS 151619 HAS SOPS 72849 HAS SOUS 25779 HAS SOUPS 20363 WITH SCORE 20514.619
AT ITER 2917 NEW BEST:: SOT 199122 SOS 151603 HAS SOPS 72805 HAS SOUS 25778 HAS SOUPS 20362 WITH SCORE 20513.603
AT ITER 2929 NEW BEST:: SOT 199090 SOS 151546 HAS SOPS 72765 HAS SOUS 25696 HAS SOUPS 20280 WITH SCORE 20431.546
AT ITER 2942 NEW BEST:: SOT 200043 SOS 151560 HAS SOPS 72709 HAS SOUS 25657 HAS SOUPS 20267 WITH SCORE 20418.56
AT ITER 2946 NEW BEST:: SOT 200078 SOS 151420 HAS SOPS 72569 HAS SOUS 25587 HAS SOUPS 20197 WITH SCORE 20348.42
AT ITER 2973 NEW BEST:: SOT 198123 SOS 149816 HAS SOPS 72563 HAS SOUS 25442 HAS SOUPS 20191 WITH SCORE 20340.816
AT ITER 2975 NEW BEST:: SOT 198081 SOS 149774 HAS SOPS 72512 HAS SOUS 25413 HAS SOUPS 20151 WITH SCORE 20300.774
AT ITER 2979 NEW BEST:: SOT 198102 SOS 149810 HAS SOPS 72554 HAS SOUS 25380 HAS SOUPS 20118 WITH SCORE 20267.81
AT ITER 2981 NEW BEST:: SOT 198021 SOS 149790 HAS SOPS 54013 HAS SOUS 25246 HAS SOUPS 17926 WITH SCORE 18075.79
AT ITER 2986 NEW BEST:: SOT 197996 SOS 149740 HAS SOPS 53963 HAS SOUS 25216 HAS SOUPS 17896 WITH SCORE 18045.74
AT ITER 2992 NEW BEST:: SOT 197996 SOS 149736 HAS SOPS 53961 HAS SOUS 25216 HAS SOUPS 17896 WITH SCORE 18045.736
AT ITER 2999 NEW BEST:: SOT 197977 SOS 149730 HAS SOPS 53941 HAS SOUS 25208 HAS SOUPS 17888 WITH SCORE 18037.73
AT ITER 3001 NEW BEST:: SOT 198042 SOS 149659 HAS SOPS 53937 HAS SOUS 25180 HAS SOUPS 17860 WITH SCORE 18009.659
AT ITER 3021 NEW BEST:: SOT 198023 SOS 149621 HAS SOPS 53899 HAS SOUS 25166 HAS SOUPS 17846 WITH SCORE 17995.621
AT ITER 3036 NEW BEST:: SOT 197728 SOS 150351 HAS SOPS 53864 HAS SOUS 25203 HAS SOUPS 17843 WITH SCORE 17993.351
AT ITER 3037 NEW BEST:: SOT 197625 SOS 150248 HAS SOPS 53864 HAS SOUS 25202 HAS SOUPS 17843 WITH SCORE 17993.248
AT ITER 3058 NEW BEST:: SOT 197580 SOS 150203 HAS SOPS 53834 HAS SOUS 25187 HAS SOUPS 17828 WITH SCORE 17978.203
AT ITER 3076 NEW BEST:: SOT 197687 SOS 150293 HAS SOPS 53875 HAS SOUS 25177 HAS SOUPS 17818 WITH SCORE 17968.293
AT ITER 3077 NEW BEST:: SOT 197711 SOS 150317 HAS SOPS 49028 HAS SOUS 25260 HAS SOUPS 17260 WITH SCORE 17410.317
AT ITER 3110 NEW BEST:: SOT 197736 SOS 149731 HAS SOPS 49027 HAS SOUS 25254 HAS SOUPS 17259 WITH SCORE 17408.731
AT ITER 3114 NEW BEST:: SOT 197655 SOS 149617 HAS SOPS 48793 HAS SOUS 25247 HAS SOUPS 17230 WITH SCORE 17379.617
AT ITER 3178 NEW BEST:: SOT 197469 SOS 149465 HAS SOPS 48609 HAS SOUS 25119 HAS SOUPS 17080 WITH SCORE 17229.465
AT ITER 3227 NEW BEST:: SOT 197499 SOS 149349 HAS SOPS 48532 HAS SOUS 25115 HAS SOUPS 17076 WITH SCORE 17225.349
AT ITER 3247 NEW BEST:: SOT 197497 SOS 149348 HAS SOPS 48532 HAS SOUS 25114 HAS SOUPS 17076 WITH SCORE 17225.348
AT ITER 3256 NEW BEST:: SOT 197483 SOS 149334 HAS SOPS 48453 HAS SOUS 25113 HAS SOUPS 17076 WITH SCORE 17225.334
AT ITER 3273 NEW BEST:: SOT 197393 SOS 149294 HAS SOPS 48413 HAS SOUS 25078 HAS SOUPS 17041 WITH SCORE 17190.294
AT ITER 3274 NEW BEST:: SOT 197380 SOS 149269 HAS SOPS 48375 HAS SOUS 25020 HAS SOUPS 16992 WITH SCORE 17141.269
AT ITER 3285 NEW BEST:: SOT 197336 SOS 149205 HAS SOPS 48287 HAS SOUS 24998 HAS SOUPS 16946 WITH SCORE 17095.205
AT ITER 3302 NEW BEST:: SOT 197329 SOS 149198 HAS SOPS 48273 HAS SOUS 24984 HAS SOUPS 16932 WITH SCORE 17081.198
AT ITER 3305 NEW BEST:: SOT 197316 SOS 149185 HAS SOPS 48247 HAS SOUS 24957 HAS SOUPS 16906 WITH SCORE 17055.185
AT ITER 3307 NEW BEST:: SOT 197340 SOS 149145 HAS SOPS 48247 HAS SOUS 24953 HAS SOUPS 16906 WITH SCORE 17055.145
AT ITER 3339 NEW BEST:: SOT 197318 SOS 149084 HAS SOPS 48203 HAS SOUS 24913 HAS SOUPS 16866 WITH SCORE 17015.084
AT ITER 3387 NEW BEST:: SOT 197291 SOS 149057 HAS SOPS 48149 HAS SOUS 24881 HAS SOUPS 16843 WITH SCORE 16992.057
AT ITER 3388 NEW BEST:: SOT 197291 SOS 149064 HAS SOPS 48151 HAS SOUS 24879 HAS SOUPS 16838 WITH SCORE 16987.064
AT ITER 3396 NEW BEST:: SOT 197252 SOS 149114 HAS SOPS 48108 HAS SOUS 24912 HAS SOUPS 16804 WITH SCORE 16953.114
AT ITER 3418 NEW BEST:: SOT 197259 SOS 149182 HAS SOPS 48143 HAS SOUS 24904 HAS SOUPS 16796 WITH SCORE 16945.182
AT ITER 3424 NEW BEST:: SOT 197255 SOS 149176 HAS SOPS 48137 HAS SOUS 24898 HAS SOUPS 16790 WITH SCORE 16939.176
AT ITER 3468 NEW BEST:: SOT 197274 SOS 149214 HAS SOPS 48149 HAS SOUS 24879 HAS SOUPS 16784 WITH SCORE 16933.214
AT ITER 3482 NEW BEST:: SOT 197879 SOS 149869 HAS SOPS 48804 HAS SOUS 24834 HAS SOUPS 16739 WITH SCORE 16888.869
AT ITER 3498 NEW BEST:: SOT 197873 SOS 149935 HAS SOPS 48828 HAS SOUS 24834 HAS SOUPS 16733 WITH SCORE 16882.935
AT ITER 3508 NEW BEST:: SOT 197890 SOS 149977 HAS SOPS 48836 HAS SOUS 24833 HAS SOUPS 16732 WITH SCORE 16881.977
AT ITER 3532 NEW BEST:: SOT 197876 SOS 149970 HAS SOPS 48836 HAS SOUS 24840 HAS SOUPS 16732 WITH SCORE 16881.97
AT ITER 3535 NEW BEST:: SOT 197888 SOS 149970 HAS SOPS 48822 HAS SOUS 24826 HAS SOUPS 16718 WITH SCORE 16867.97
AT ITER 3536 NEW BEST:: SOT 197997 SOS 150034 HAS SOPS 48886 HAS SOUS 24781 HAS SOUPS 16673 WITH SCORE 16823.034
AT ITER 3578 NEW BEST:: SOT 197973 SOS 150010 HAS SOPS 48854 HAS SOUS 24749 HAS SOUPS 16633 WITH SCORE 16783.01
AT ITER 3587 NEW BEST:: SOT 197962 SOS 149973 HAS SOPS 48817 HAS SOUS 24725 HAS SOUPS 16609 WITH SCORE 16758.973
AT ITER 3605 NEW BEST:: SOT 197963 SOS 149975 HAS SOPS 48819 HAS SOUS 24712 HAS SOUPS 16594 WITH SCORE 16743.975
AT ITER 3639 NEW BEST:: SOT 198046 SOS 150034 HAS SOPS 48892 HAS SOUS 24722 HAS SOUPS 16580 WITH SCORE 16730.034
AT ITER 3652 NEW BEST:: SOT 198039 SOS 150020 HAS SOPS 48892 HAS SOUS 24710 HAS SOUPS 16575 WITH SCORE 16725.02
AT ITER 3667 NEW BEST:: SOT 198264 SOS 149104 HAS SOPS 48889 HAS SOUS 24653 HAS SOUPS 16572 WITH SCORE 16721.104
AT ITER 3675 NEW BEST:: SOT 198249 SOS 149089 HAS SOPS 48824 HAS SOUS 24642 HAS SOUPS 16559 WITH SCORE 16708.089
AT ITER 3683 NEW BEST:: SOT 198295 SOS 149021 HAS SOPS 48824 HAS SOUS 24642 HAS SOUPS 16559 WITH SCORE 16708.021
AT ITER 3747 NEW BEST:: SOT 198292 SOS 149015 HAS SOPS 48821 HAS SOUS 24639 HAS SOUPS 16556 WITH SCORE 16705.015
AT ITER 3760 NEW BEST:: SOT 198348 SOS 148911 HAS SOPS 48717 HAS SOUS 24577 HAS SOUPS 16494 WITH SCORE 16642.911
AT ITER 3775 NEW BEST:: SOT 198350 SOS 148865 HAS SOPS 49021 HAS SOUS 24570 HAS SOUPS 16487 WITH SCORE 16635.865
AT ITER 3798 NEW BEST:: SOT 198315 SOS 148897 HAS SOPS 49191 HAS SOUS 24565 HAS SOUPS 16482 WITH SCORE 16630.897
AT ITER 3819 NEW BEST:: SOT 198315 SOS 148885 HAS SOPS 49179 HAS SOUS 24557 HAS SOUPS 16474 WITH SCORE 16622.885
AT ITER 3903 NEW BEST:: SOT 198231 SOS 148893 HAS SOPS 49178 HAS SOUS 24532 HAS SOUPS 16440 WITH SCORE 16588.893
AT ITER 3905 NEW BEST:: SOT 198264 SOS 148963 HAS SOPS 49206 HAS SOUS 24488 HAS SOUPS 16418 WITH SCORE 16566.963
AT ITER 3912 NEW BEST:: SOT 198251 SOS 148934 HAS SOPS 49189 HAS SOUS 24451 HAS SOUPS 16396 WITH SCORE 16544.934
AT ITER 3914 NEW BEST:: SOT 198096 SOS 148849 HAS SOPS 48981 HAS SOUS 24417 HAS SOUPS 16319 WITH SCORE 16467.849
AT ITER 3920 NEW BEST:: SOT 197955 SOS 148708 HAS SOPS 48827 HAS SOUS 24305 HAS SOUPS 16193 WITH SCORE 16341.708
AT ITER 3956 NEW BEST:: SOT 197967 SOS 148714 HAS SOPS 48827 HAS SOUS 24293 HAS SOUPS 16181 WITH SCORE 16329.714
AT ITER 3974 NEW BEST:: SOT 198381 SOS 147661 HAS SOPS 48848 HAS SOUS 24199 HAS SOUPS 16165 WITH SCORE 16312.661
AT ITER 3987 NEW BEST:: SOT 198348 SOS 148482 HAS SOPS 48809 HAS SOUS 24197 HAS SOUPS 16142 WITH SCORE 16290.482
AT ITER 4000 NEW BEST:: SOT 198321 SOS 148496 HAS SOPS 48802 HAS SOUS 24179 HAS SOUPS 16124 WITH SCORE 16272.496
AT ITER 4029 NEW BEST:: SOT 198254 SOS 148429 HAS SOPS 48802 HAS SOUS 24179 HAS SOUPS 16124 WITH SCORE 16272.429
AT ITER 4052 NEW BEST:: SOT 198231 SOS 148301 HAS SOPS 48501 HAS SOUS 24124 HAS SOUPS 16069 WITH SCORE 16217.301
AT ITER 4069 NEW BEST:: SOT 198266 SOS 147643 HAS SOPS 48592 HAS SOUS 24117 HAS SOUPS 16069 WITH SCORE 16216.643
AT ITER 4094 NEW BEST:: SOT 198237 SOS 147585 HAS SOPS 48586 HAS SOUS 24063 HAS SOUPS 16015 WITH SCORE 16162.585
AT ITER 4107 NEW BEST:: SOT 198236 SOS 147584 HAS SOPS 48584 HAS SOUS 24061 HAS SOUPS 16013 WITH SCORE 16160.584
AT ITER 4116 NEW BEST:: SOT 198141 SOS 147549 HAS SOPS 48526 HAS SOUS 24035 HAS SOUPS 15987 WITH SCORE 16134.549
AT ITER 4125 NEW BEST:: SOT 198093 SOS 147713 HAS SOPS 48550 HAS SOUS 24038 HAS SOUPS 15970 WITH SCORE 16117.713
AT ITER 4134 NEW BEST:: SOT 197944 SOS 148511 HAS SOPS 48530 HAS SOUS 24054 HAS SOUPS 15964 WITH SCORE 16112.511
AT ITER 4136 NEW BEST:: SOT 197940 SOS 148507 HAS SOPS 48519 HAS SOUS 24043 HAS SOUPS 15953 WITH SCORE 16101.507
AT ITER 4149 NEW BEST:: SOT 197914 SOS 148515 HAS SOPS 48507 HAS SOUS 24037 HAS SOUPS 15947 WITH SCORE 16095.515
AT ITER 4157 NEW BEST:: SOT 197887 SOS 148488 HAS SOPS 48480 HAS SOUS 24031 HAS SOUPS 15941 WITH SCORE 16089.488
AT ITER 4174 NEW BEST:: SOT 197853 SOS 148454 HAS SOPS 48412 HAS SOUS 23963 HAS SOUPS 15873 WITH SCORE 16021.454
AT ITER 4183 NEW BEST:: SOT 197954 SOS 148533 HAS SOPS 48501 HAS SOUS 23950 HAS SOUPS 15860 WITH SCORE 16008.533
AT ITER 4227 NEW BEST:: SOT 198084 SOS 147973 HAS SOPS 48508 HAS SOUS 23942 HAS SOUPS 15860 WITH SCORE 16007.973
AT ITER 4238 NEW BEST:: SOT 197119 SOS 147239 HAS SOPS 48170 HAS SOUS 23991 HAS SOUPS 15860 WITH SCORE 16007.239
AT ITER 4247 NEW BEST:: SOT 197087 SOS 147211 HAS SOPS 48130 HAS SOUS 23976 HAS SOUPS 15845 WITH SCORE 15992.211
AT ITER 4271 NEW BEST:: SOT 197146 SOS 147270 HAS SOPS 44955 HAS SOUS 24045 HAS SOUPS 15469 WITH SCORE 15616.27
AT ITER 4301 NEW BEST:: SOT 197042 SOS 147203 HAS SOPS 44858 HAS SOUS 24008 HAS SOUPS 15432 WITH SCORE 15579.203
AT ITER 4308 NEW BEST:: SOT 197060 SOS 147191 HAS SOPS 44849 HAS SOUS 23999 HAS SOUPS 15426 WITH SCORE 15573.191
AT ITER 4340 NEW BEST:: SOT 197053 SOS 147161 HAS SOPS 44819 HAS SOUS 23969 HAS SOUPS 15396 WITH SCORE 15543.161
AT ITER 4370 NEW BEST:: SOT 197071 SOS 147053 HAS SOPS 44780 HAS SOUS 23953 HAS SOUPS 15389 WITH SCORE 15536.053
AT ITER 4395 NEW BEST:: SOT 197071 SOS 147052 HAS SOPS 44780 HAS SOUS 23953 HAS SOUPS 15389 WITH SCORE 15536.052
AT ITER 4397 NEW BEST:: SOT 197055 SOS 147036 HAS SOPS 44764 HAS SOUS 23953 HAS SOUPS 15381 WITH SCORE 15528.036
AT ITER 4435 NEW BEST:: SOT 197057 SOS 146989 HAS SOPS 44734 HAS SOUS 23942 HAS SOUPS 15370 WITH SCORE 15516.989
AT ITER 4439 NEW BEST:: SOT 197065 SOS 146997 HAS SOPS 44733 HAS SOUS 23932 HAS SOUPS 15360 WITH SCORE 15506.997
AT ITER 4462 NEW BEST:: SOT 197061 SOS 146989 HAS SOPS 44719 HAS SOUS 23904 HAS SOUPS 15338 WITH SCORE 15484.989
AT ITER 4468 NEW BEST:: SOT 197061 SOS 146913 HAS SOPS 44643 HAS SOUS 23866 HAS SOUPS 15300 WITH SCORE 15446.913
AT ITER 4475 NEW BEST:: SOT 197118 SOS 146827 HAS SOPS 44557 HAS SOUS 23766 HAS SOUPS 15200 WITH SCORE 15346.827
AT ITER 4497 NEW BEST:: SOT 197113 SOS 146822 HAS SOPS 44547 HAS SOUS 23756 HAS SOUPS 15190 WITH SCORE 15336.822
AT ITER 4602 NEW BEST:: SOT 197100 SOS 146809 HAS SOPS 44521 HAS SOUS 23734 HAS SOUPS 15164 WITH SCORE 15310.809
AT ITER 4646 NEW BEST:: SOT 197100 SOS 146797 HAS SOPS 44512 HAS SOUS 23731 HAS SOUPS 15161 WITH SCORE 15307.797
AT ITER 4650 NEW BEST:: SOT 197109 SOS 146792 HAS SOPS 44516 HAS SOUS 23731 HAS SOUPS 15161 WITH SCORE 15307.792
AT ITER 4715 NEW BEST:: SOT 197046 SOS 146828 HAS SOPS 44444 HAS SOUS 23711 HAS SOUPS 15141 WITH SCORE 15287.828
AT ITER 4721 NEW BEST:: SOT 197038 SOS 146824 HAS SOPS 44440 HAS SOUS 23709 HAS SOUPS 15139 WITH SCORE 15285.824
AT ITER 4724 NEW BEST:: SOT 197024 SOS 146803 HAS SOPS 44412 HAS SOUS 23693 HAS SOUPS 15123 WITH SCORE 15269.803
AT ITER 4729 NEW BEST:: SOT 196918 SOS 146699 HAS SOPS 44308 HAS SOUS 23692 HAS SOUPS 15068 WITH SCORE 15214.699
AT ITER 4742 NEW BEST:: SOT 195763 SOS 145544 HAS SOPS 43153 HAS SOUS 23546 HAS SOUPS 14922 WITH SCORE 15067.544
AT ITER 4787 NEW BEST:: SOT 195755 SOS 145536 HAS SOPS 43137 HAS SOUS 23526 HAS SOUPS 14906 WITH SCORE 15051.536
AT ITER 4817 NEW BEST:: SOT 195727 SOS 145480 HAS SOPS 43100 HAS SOUS 23508 HAS SOUPS 14869 WITH SCORE 15014.48
AT ITER 4824 NEW BEST:: SOT 195639 SOS 145704 HAS SOPS 43098 HAS SOUS 23524 HAS SOUPS 14867 WITH SCORE 15012.704
AT ITER 4828 NEW BEST:: SOT 195623 SOS 145688 HAS SOPS 43050 HAS SOUS 23522 HAS SOUPS 14840 WITH SCORE 14985.688
AT ITER 4833 NEW BEST:: SOT 195568 SOS 145805 HAS SOPS 43093 HAS SOUS 23481 HAS SOUPS 14797 WITH SCORE 14942.805
AT ITER 4866 NEW BEST:: SOT 195564 SOS 145831 HAS SOPS 43113 HAS SOUS 23467 HAS SOUPS 14783 WITH SCORE 14928.831
AT ITER 4937 NEW BEST:: SOT 195543 SOS 145810 HAS SOPS 43092 HAS SOUS 23446 HAS SOUPS 14762 WITH SCORE 14907.81
AT ITER 4941 NEW BEST:: SOT 195562 SOS 145791 HAS SOPS 43092 HAS SOUS 23446 HAS SOUPS 14762 WITH SCORE 14907.791
AT ITER 4975 NEW BEST:: SOT 195558 SOS 145703 HAS SOPS 43024 HAS SOUS 23398 HAS SOUPS 14714 WITH SCORE 14859.703
AT ITER 4993 NEW BEST:: SOT 195869 SOS 145434 HAS SOPS 43024 HAS SOUS 23413 HAS SOUPS 14714 WITH SCORE 14859.434
AT ITER 5008 NEW BEST:: SOT 195869 SOS 145140 HAS SOPS 43024 HAS SOUS 23413 HAS SOUPS 14714 WITH SCORE 14859.14
AT ITER 5034 NEW BEST:: SOT 195878 SOS 145039 HAS SOPS 42970 HAS SOUS 23417 HAS SOUPS 14710 WITH SCORE 14855.039
AT ITER 5048 NEW BEST:: SOT 195482 SOS 144731 HAS SOPS 42948 HAS SOUS 23384 HAS SOUPS 14688 WITH SCORE 14832.731
AT ITER 5054 NEW BEST:: SOT 195570 SOS 144819 HAS SOPS 43016 HAS SOUS 23380 HAS SOUPS 14675 WITH SCORE 14819.819
AT ITER 5086 NEW BEST:: SOT 195580 SOS 144799 HAS SOPS 43006 HAS SOUS 23380 HAS SOUPS 14675 WITH SCORE 14819.799
AT ITER 5097 NEW BEST:: SOT 195434 SOS 144653 HAS SOPS 42879 HAS SOUS 23340 HAS SOUPS 14644 WITH SCORE 14788.653
AT ITER 5128 NEW BEST:: SOT 195406 SOS 144477 HAS SOPS 42879 HAS SOUS 23342 HAS SOUPS 14644 WITH SCORE 14788.477
AT ITER 5138 NEW BEST:: SOT 195398 SOS 144469 HAS SOPS 42869 HAS SOUS 23334 HAS SOUPS 14636 WITH SCORE 14780.469
AT ITER 5143 NEW BEST:: SOT 195396 SOS 144465 HAS SOPS 42865 HAS SOUS 23332 HAS SOUPS 14632 WITH SCORE 14776.465
AT ITER 5147 NEW BEST:: SOT 195411 SOS 144460 HAS SOPS 42855 HAS SOUS 23324 HAS SOUPS 14629 WITH SCORE 14773.46
AT ITER 5186 NEW BEST:: SOT 195361 SOS 144360 HAS SOPS 42755 HAS SOUS 23340 HAS SOUPS 14610 WITH SCORE 14754.36
AT ITER 5201 NEW BEST:: SOT 195382 SOS 144370 HAS SOPS 42769 HAS SOUS 23323 HAS SOUPS 14597 WITH SCORE 14741.37
AT ITER 5209 NEW BEST:: SOT 195376 SOS 144376 HAS SOPS 42769 HAS SOUS 23323 HAS SOUPS 14594 WITH SCORE 14738.376
AT ITER 5245 NEW BEST:: SOT 195364 SOS 144364 HAS SOPS 42755 HAS SOUS 23308 HAS SOUPS 14578 WITH SCORE 14722.364
AT ITER 5303 NEW BEST:: SOT 195394 SOS 144310 HAS SOPS 42715 HAS SOUS 23255 HAS SOUPS 14525 WITH SCORE 14669.31
AT ITER 5369 NEW BEST:: SOT 195386 SOS 144302 HAS SOPS 42699 HAS SOUS 23247 HAS SOUPS 14509 WITH SCORE 14653.302
AT ITER 5385 NEW BEST:: SOT 195379 SOS 144288 HAS SOPS 42685 HAS SOUS 23247 HAS SOUPS 14509 WITH SCORE 14653.288
AT ITER 5393 NEW BEST:: SOT 195381 SOS 144285 HAS SOPS 42691 HAS SOUS 23244 HAS SOUPS 14509 WITH SCORE 14653.285
AT ITER 5415 NEW BEST:: SOT 195372 SOS 144307 HAS SOPS 42673 HAS SOUS 23245 HAS SOUPS 14505 WITH SCORE 14649.307
AT ITER 5466 NEW BEST:: SOT 195369 SOS 144315 HAS SOPS 42681 HAS SOUS 23239 HAS SOUPS 14492 WITH SCORE 14636.315
AT ITER 5472 NEW BEST:: SOT 195337 SOS 144321 HAS SOPS 42687 HAS SOUS 23231 HAS SOUPS 14484 WITH SCORE 14628.321
AT ITER 5486 NEW BEST:: SOT 195339 SOS 144325 HAS SOPS 42849 HAS SOUS 23222 HAS SOUPS 14475 WITH SCORE 14619.325
AT ITER 5545 NEW BEST:: SOT 195335 SOS 144337 HAS SOPS 42802 HAS SOUS 23224 HAS SOUPS 14473 WITH SCORE 14617.337
AT ITER 5557 NEW BEST:: SOT 195335 SOS 144329 HAS SOPS 39589 HAS SOUS 23272 HAS SOUPS 14076 WITH SCORE 14220.329
AT ITER 5594 NEW BEST:: SOT 195331 SOS 144321 HAS SOPS 39581 HAS SOUS 23266 HAS SOUPS 14070 WITH SCORE 14214.321
AT ITER 5604 NEW BEST:: SOT 195333 SOS 144297 HAS SOPS 39557 HAS SOUS 23264 HAS SOUPS 14068 WITH SCORE 14212.297
AT ITER 5608 NEW BEST:: SOT 195293 SOS 144157 HAS SOPS 39437 HAS SOUS 23198 HAS SOUPS 14008 WITH SCORE 14152.157
AT ITER 5612 NEW BEST:: SOT 195225 SOS 144089 HAS SOPS 39407 HAS SOUS 23168 HAS SOUPS 13978 WITH SCORE 14122.089
AT ITER 5626 NEW BEST:: SOT 195241 SOS 144101 HAS SOPS 39399 HAS SOUS 23117 HAS SOUPS 13947 WITH SCORE 14091.101
AT ITER 5677 NEW BEST:: SOT 195142 SOS 144054 HAS SOPS 39321 HAS SOUS 23096 HAS SOUPS 13916 WITH SCORE 14060.054
AT ITER 5722 NEW BEST:: SOT 195165 SOS 144040 HAS SOPS 39309 HAS SOUS 23089 HAS SOUPS 13909 WITH SCORE 14053.04
AT ITER 5731 NEW BEST:: SOT 195230 SOS 144050 HAS SOPS 39319 HAS SOUS 23044 HAS SOUPS 13894 WITH SCORE 14038.05
AT ITER 5734 NEW BEST:: SOT 195229 SOS 144046 HAS SOPS 39315 HAS SOUS 23041 HAS SOUPS 13891 WITH SCORE 14035.046
AT ITER 5750 NEW BEST:: SOT 195225 SOS 144046 HAS SOPS 39311 HAS SOUS 23037 HAS SOUPS 13887 WITH SCORE 14031.046
AT ITER 5803 NEW BEST:: SOT 194786 SOS 144941 HAS SOPS 39304 HAS SOUS 23024 HAS SOUPS 13880 WITH SCORE 14024.941
AT ITER 5840 NEW BEST:: SOT 194784 SOS 144939 HAS SOPS 39300 HAS SOUS 23020 HAS SOUPS 13876 WITH SCORE 14020.939
AT ITER 5885 NEW BEST:: SOT 194783 SOS 144938 HAS SOPS 39298 HAS SOUS 23018 HAS SOUPS 13874 WITH SCORE 14018.938
AT ITER 5922 NEW BEST:: SOT 194763 SOS 144856 HAS SOPS 39230 HAS SOUS 22999 HAS SOUPS 13855 WITH SCORE 13999.856
AT ITER 5932 NEW BEST:: SOT 194737 SOS 144804 HAS SOPS 39204 HAS SOUS 22999 HAS SOUPS 13842 WITH SCORE 13986.804
AT ITER 5946 NEW BEST:: SOT 194718 SOS 144728 HAS SOPS 39394 HAS SOUS 22999 HAS SOUPS 13842 WITH SCORE 13986.728
AT ITER 5955 NEW BEST:: SOT 194718 SOS 144723 HAS SOPS 39389 HAS SOUS 22989 HAS SOUPS 13832 WITH SCORE 13976.723
AT ITER 5981 NEW BEST:: SOT 194696 SOS 144679 HAS SOPS 39345 HAS SOUS 22975 HAS SOUPS 13818 WITH SCORE 13962.679
AT ITER 6103 NEW BEST:: SOT 194692 SOS 144677 HAS SOPS 39343 HAS SOUS 22975 HAS SOUPS 13818 WITH SCORE 13962.677
AT ITER 6150 NEW BEST:: SOT 194692 SOS 144676 HAS SOPS 39342 HAS SOUS 22974 HAS SOUPS 13817 WITH SCORE 13961.676
AT ITER 6159 NEW BEST:: SOT 194699 SOS 144628 HAS SOPS 39294 HAS SOUS 22935 HAS SOUPS 13778 WITH SCORE 13922.628
AT ITER 6169 NEW BEST:: SOT 194706 SOS 144618 HAS SOPS 39279 HAS SOUS 22923 HAS SOUPS 13766 WITH SCORE 13910.618
AT ITER 6188 NEW BEST:: SOT 194701 SOS 144611 HAS SOPS 39272 HAS SOUS 22922 HAS SOUPS 13760 WITH SCORE 13904.611
AT ITER 6257 NEW BEST:: SOT 194592 SOS 145191 HAS SOPS 39030 HAS SOUS 22946 HAS SOUPS 13752 WITH SCORE 13897.191
AT ITER 6258 NEW BEST:: SOT 194594 SOS 145191 HAS SOPS 39030 HAS SOUS 22942 HAS SOUPS 13750 WITH SCORE 13895.191
AT ITER 6262 NEW BEST:: SOT 194562 SOS 145179 HAS SOPS 39010 HAS SOUS 22964 HAS SOUPS 13750 WITH SCORE 13895.179
AT ITER 6279 NEW BEST:: SOT 194546 SOS 145179 HAS SOPS 39010 HAS SOUS 22964 HAS SOUPS 13746 WITH SCORE 13891.179
AT ITER 6286 NEW BEST:: SOT 194521 SOS 145156 HAS SOPS 38605 HAS SOUS 22968 HAS SOUPS 13693 WITH SCORE 13838.156
AT ITER 6289 NEW BEST:: SOT 194519 SOS 145157 HAS SOPS 38605 HAS SOUS 22966 HAS SOUPS 13692 WITH SCORE 13837.157
AT ITER 6291 NEW BEST:: SOT 194518 SOS 145156 HAS SOPS 38603 HAS SOUS 22965 HAS SOUPS 13690 WITH SCORE 13835.156
AT ITER 6311 NEW BEST:: SOT 194474 SOS 145112 HAS SOPS 38559 HAS SOUS 22937 HAS SOUPS 13662 WITH SCORE 13807.112
AT ITER 6315 NEW BEST:: SOT 194462 SOS 145100 HAS SOPS 38546 HAS SOUS 22910 HAS SOUPS 13638 WITH SCORE 13783.1
AT ITER 6317 NEW BEST:: SOT 194448 SOS 145086 HAS SOPS 38532 HAS SOUS 22896 HAS SOUPS 13624 WITH SCORE 13769.086
AT ITER 6386 NEW BEST:: SOT 194401 SOS 145032 HAS SOPS 38532 HAS SOUS 22898 HAS SOUPS 13624 WITH SCORE 13769.032
AT ITER 6508 NEW BEST:: SOT 194412 SOS 144974 HAS SOPS 38532 HAS SOUS 22898 HAS SOUPS 13624 WITH SCORE 13768.974
AT ITER 6515 NEW BEST:: SOT 194409 SOS 144968 HAS SOPS 38526 HAS SOUS 22898 HAS SOUPS 13624 WITH SCORE 13768.968
AT ITER 6544 NEW BEST:: SOT 194403 SOS 144962 HAS SOPS 38517 HAS SOUS 22886 HAS SOUPS 13615 WITH SCORE 13759.962
AT ITER 6565 NEW BEST:: SOT 194362 SOS 145014 HAS SOPS 38489 HAS SOUS 22858 HAS SOUPS 13587 WITH SCORE 13732.014
AT ITER 6583 NEW BEST:: SOT 194354 SOS 145036 HAS SOPS 38519 HAS SOUS 22822 HAS SOUPS 13579 WITH SCORE 13724.036
AT ITER 6600 NEW BEST:: SOT 194375 SOS 144977 HAS SOPS 38481 HAS SOUS 22784 HAS SOUPS 13541 WITH SCORE 13685.977
AT ITER 6693 NEW BEST:: SOT 194375 SOS 144965 HAS SOPS 38553 HAS SOUS 22784 HAS SOUPS 13541 WITH SCORE 13685.965
AT ITER 6705 NEW BEST:: SOT 194324 SOS 144914 HAS SOPS 38496 HAS SOUS 22727 HAS SOUPS 13484 WITH SCORE 13628.914
AT ITER 6712 NEW BEST:: SOT 194305 SOS 144922 HAS SOPS 38504 HAS SOUS 22729 HAS SOUPS 13463 WITH SCORE 13607.922
AT ITER 6717 NEW BEST:: SOT 194299 SOS 144910 HAS SOPS 38492 HAS SOUS 22717 HAS SOUPS 13451 WITH SCORE 13595.91
AT ITER 6719 NEW BEST:: SOT 194303 SOS 144904 HAS SOPS 38464 HAS SOUS 22689 HAS SOUPS 13423 WITH SCORE 13567.904
AT ITER 6746 NEW BEST:: SOT 194294 SOS 144917 HAS SOPS 38477 HAS SOUS 22680 HAS SOUPS 13414 WITH SCORE 13558.917
AT ITER 6816 NEW BEST:: SOT 194248 SOS 144894 HAS SOPS 38477 HAS SOUS 22703 HAS SOUPS 13414 WITH SCORE 13558.894
AT ITER 6822 NEW BEST:: SOT 194233 SOS 144879 HAS SOPS 38473 HAS SOUS 22689 HAS SOUPS 13410 WITH SCORE 13554.879
AT ITER 6832 NEW BEST:: SOT 194211 SOS 144863 HAS SOPS 38461 HAS SOUS 22684 HAS SOUPS 13399 WITH SCORE 13543.863
AT ITER 6886 NEW BEST:: SOT 194215 SOS 144859 HAS SOPS 38457 HAS SOUS 22680 HAS SOUPS 13395 WITH SCORE 13539.859
AT ITER 6931 NEW BEST:: SOT 194197 SOS 144841 HAS SOPS 38433 HAS SOUS 22656 HAS SOUPS 13371 WITH SCORE 13515.841
AT ITER 6955 NEW BEST:: SOT 194215 SOS 144814 HAS SOPS 38380 HAS SOUS 22646 HAS SOUPS 13361 WITH SCORE 13505.814
AT ITER 7013 NEW BEST:: SOT 194217 SOS 144814 HAS SOPS 38376 HAS SOUS 22640 HAS SOUPS 13357 WITH SCORE 13501.814
AT ITER 7015 NEW BEST:: SOT 194213 SOS 144806 HAS SOPS 38354 HAS SOUS 22631 HAS SOUPS 13348 WITH SCORE 13492.806
AT ITER 7026 NEW BEST:: SOT 194150 SOS 144743 HAS SOPS 38228 HAS SOUS 22505 HAS SOUPS 13222 WITH SCORE 13366.743
AT ITER 7050 NEW BEST:: SOT 194141 SOS 144734 HAS SOPS 38210 HAS SOUS 22487 HAS SOUPS 13204 WITH SCORE 13348.734
AT ITER 7111 NEW BEST:: SOT 194090 SOS 144662 HAS SOPS 38153 HAS SOUS 22465 HAS SOUPS 13183 WITH SCORE 13327.662
AT ITER 7121 NEW BEST:: SOT 195231 SOS 145632 HAS SOPS 38177 HAS SOUS 22452 HAS SOUPS 13175 WITH SCORE 13320.632
AT ITER 7174 NEW BEST:: SOT 195230 SOS 145633 HAS SOPS 38178 HAS SOUS 22447 HAS SOUPS 13170 WITH SCORE 13315.633
AT ITER 7175 NEW BEST:: SOT 195547 SOS 145860 HAS SOPS 38164 HAS SOUS 22433 HAS SOUPS 13156 WITH SCORE 13301.86
AT ITER 7218 NEW BEST:: SOT 195167 SOS 145472 HAS SOPS 37776 HAS SOUS 22367 HAS SOUPS 13090 WITH SCORE 13235.472
AT ITER 7234 NEW BEST:: SOT 195090 SOS 145458 HAS SOPS 37772 HAS SOUS 22369 HAS SOUPS 13086 WITH SCORE 13231.458
AT ITER 7310 NEW BEST:: SOT 195083 SOS 145444 HAS SOPS 37758 HAS SOUS 22369 HAS SOUPS 13079 WITH SCORE 13224.444
AT ITER 7324 NEW BEST:: SOT 195005 SOS 145378 HAS SOPS 37754 HAS SOUS 22365 HAS SOUPS 13077 WITH SCORE 13222.378
AT ITER 7372 NEW BEST:: SOT 194995 SOS 145348 HAS SOPS 37766 HAS SOUS 22353 HAS SOUPS 13065 WITH SCORE 13210.348
AT ITER 7373 NEW BEST:: SOT 195055 SOS 145408 HAS SOPS 37826 HAS SOUS 22347 HAS SOUPS 13059 WITH SCORE 13204.408
AT ITER 7392 NEW BEST:: SOT 195019 SOS 145372 HAS SOPS 37790 HAS SOUS 22347 HAS SOUPS 13041 WITH SCORE 13186.372
AT ITER 7420 NEW BEST:: SOT 194129 SOS 144482 HAS SOPS 36900 HAS SOUS 22249 HAS SOUPS 12943 WITH SCORE 13087.482
AT ITER 7510 NEW BEST:: SOT 194128 SOS 144479 HAS SOPS 36897 HAS SOUS 22248 HAS SOUPS 12942 WITH SCORE 13086.479
AT ITER 7533 NEW BEST:: SOT 194133 SOS 144497 HAS SOPS 36907 HAS SOUS 22238 HAS SOUPS 12940 WITH SCORE 13084.497
AT ITER 7603 NEW BEST:: SOT 194148 SOS 144472 HAS SOPS 36871 HAS SOUS 22227 HAS SOUPS 12929 WITH SCORE 13073.472
AT ITER 7617 NEW BEST:: SOT 194147 SOS 144464 HAS SOPS 36869 HAS SOUS 22227 HAS SOUPS 12929 WITH SCORE 13073.464
AT ITER 7680 NEW BEST:: SOT 194119 SOS 144480 HAS SOPS 36849 HAS SOUS 22218 HAS SOUPS 12890 WITH SCORE 13034.48
AT ITER 7719 NEW BEST:: SOT 194091 SOS 144508 HAS SOPS 36651 HAS SOUS 22232 HAS SOUPS 12880 WITH SCORE 13024.508
AT ITER 7816 NEW BEST:: SOT 194066 SOS 144502 HAS SOPS 36649 HAS SOUS 22231 HAS SOUPS 12878 WITH SCORE 13022.502
AT ITER 7819 NEW BEST:: SOT 194039 SOS 144448 HAS SOPS 36602 HAS SOUS 22213 HAS SOUPS 12853 WITH SCORE 12997.448
AT ITER 7829 NEW BEST:: SOT 194036 SOS 144444 HAS SOPS 36599 HAS SOUS 22210 HAS SOUPS 12850 WITH SCORE 12994.444
AT ITER 7864 NEW BEST:: SOT 194057 SOS 144465 HAS SOPS 34616 HAS SOUS 22227 HAS SOUPS 12587 WITH SCORE 12731.465
AT ITER 7891 NEW BEST:: SOT 193857 SOS 144265 HAS SOPS 34416 HAS SOUS 22027 HAS SOUPS 12387 WITH SCORE 12531.265
AT ITER 7894 NEW BEST:: SOT 194331 SOS 143923 HAS SOPS 34416 HAS SOUS 21928 HAS SOUPS 12387 WITH SCORE 12530.923
AT ITER 7922 NEW BEST:: SOT 194330 SOS 143918 HAS SOPS 34412 HAS SOUS 21926 HAS SOUPS 12385 WITH SCORE 12528.918
AT ITER 7980 NEW BEST:: SOT 194328 SOS 143914 HAS SOPS 34406 HAS SOUS 21923 HAS SOUPS 12381 WITH SCORE 12524.914
AT ITER 8047 NEW BEST:: SOT 194326 SOS 143912 HAS SOPS 34404 HAS SOUS 21921 HAS SOUPS 12379 WITH SCORE 12522.912
AT ITER 8060 NEW BEST:: SOT 194324 SOS 143912 HAS SOPS 34404 HAS SOUS 21919 HAS SOUPS 12377 WITH SCORE 12520.912
AT ITER 8124 NEW BEST:: SOT 194305 SOS 143893 HAS SOPS 34378 HAS SOUS 21893 HAS SOUPS 12351 WITH SCORE 12494.893
AT ITER 8211 NEW BEST:: SOT 194301 SOS 143889 HAS SOPS 34376 HAS SOUS 21893 HAS SOUPS 12351 WITH SCORE 12494.889
AT ITER 8221 NEW BEST:: SOT 194293 SOS 143855 HAS SOPS 34342 HAS SOUS 21833 HAS SOUPS 12291 WITH SCORE 12434.855
AT ITER 8228 NEW BEST:: SOT 194198 SOS 143760 HAS SOPS 34247 HAS SOUS 21732 HAS SOUPS 12203 WITH SCORE 12346.76
AT ITER 8243 NEW BEST:: SOT 194187 SOS 143749 HAS SOPS 34242 HAS SOUS 21704 HAS SOUPS 12175 WITH SCORE 12318.749
AT ITER 8258 NEW BEST:: SOT 194177 SOS 143739 HAS SOPS 34222 HAS SOUS 21684 HAS SOUPS 12155 WITH SCORE 12298.739
AT ITER 8273 NEW BEST:: SOT 194259 SOS 143645 HAS SOPS 34206 HAS SOUS 21664 HAS SOUPS 12135 WITH SCORE 12278.645
AT ITER 8299 NEW BEST:: SOT 194240 SOS 143633 HAS SOPS 34194 HAS SOUS 21659 HAS SOUPS 12130 WITH SCORE 12273.633
AT ITER 8319 NEW BEST:: SOT 194053 SOS 144804 HAS SOPS 34156 HAS SOUS 21654 HAS SOUPS 12110 WITH SCORE 12254.804
AT ITER 8348 NEW BEST:: SOT 194080 SOS 144822 HAS SOPS 34177 HAS SOUS 21651 HAS SOUPS 12107 WITH SCORE 12251.822
AT ITER 8423 NEW BEST:: SOT 194080 SOS 144819 HAS SOPS 34174 HAS SOUS 21649 HAS SOUPS 12105 WITH SCORE 12249.819
AT ITER 8435 NEW BEST:: SOT 194135 SOS 144804 HAS SOPS 34174 HAS SOUS 21639 HAS SOUPS 12105 WITH SCORE 12249.804
AT ITER 8539 NEW BEST:: SOT 194103 SOS 144776 HAS SOPS 34138 HAS SOUS 21611 HAS SOUPS 12073 WITH SCORE 12217.776
AT ITER 8557 NEW BEST:: SOT 194074 SOS 144747 HAS SOPS 34080 HAS SOUS 21582 HAS SOUPS 12044 WITH SCORE 12188.747
AT ITER 8686 NEW BEST:: SOT 194070 SOS 144740 HAS SOPS 34071 HAS SOUS 21575 HAS SOUPS 12037 WITH SCORE 12181.74
AT ITER 8691 NEW BEST:: SOT 194658 SOS 141529 HAS SOPS 34071 HAS SOUS 21534 HAS SOUPS 12037 WITH SCORE 12178.529
AT ITER 8709 NEW BEST:: SOT 194653 SOS 141524 HAS SOPS 34061 HAS SOUS 21519 HAS SOUPS 12027 WITH SCORE 12168.524
AT ITER 8783 NEW BEST:: SOT 194636 SOS 141518 HAS SOPS 34043 HAS SOUS 21512 HAS SOUPS 12012 WITH SCORE 12153.518
AT ITER 8810 NEW BEST:: SOT 194634 SOS 141516 HAS SOPS 34039 HAS SOUS 21508 HAS SOUPS 12008 WITH SCORE 12149.516
AT ITER 8849 NEW BEST:: SOT 194636 SOS 141520 HAS SOPS 34043 HAS SOUS 21482 HAS SOUPS 11982 WITH SCORE 12123.52
AT ITER 8880 NEW BEST:: SOT 194634 SOS 141500 HAS SOPS 33995 HAS SOUS 21471 HAS SOUPS 11971 WITH SCORE 12112.5
AT ITER 8892 NEW BEST:: SOT 194023 SOS 141670 HAS SOPS 33941 HAS SOUS 21499 HAS SOUPS 11945 WITH SCORE 12086.67
AT ITER 8940 NEW BEST:: SOT 194027 SOS 141674 HAS SOPS 33545 HAS SOUS 21507 HAS SOUPS 11895 WITH SCORE 12036.674
AT ITER 8945 NEW BEST:: SOT 194025 SOS 141702 HAS SOPS 33601 HAS SOUS 21506 HAS SOUPS 11894 WITH SCORE 12035.702
AT ITER 8975 NEW BEST:: SOT 194009 SOS 141690 HAS SOPS 33589 HAS SOUS 21506 HAS SOUPS 11894 WITH SCORE 12035.69
AT ITER 9035 NEW BEST:: SOT 194079 SOS 141435 HAS SOPS 33589 HAS SOUS 21498 HAS SOUPS 11894 WITH SCORE 12035.435
AT ITER 9038 NEW BEST:: SOT 194070 SOS 141417 HAS SOPS 33568 HAS SOUS 21480 HAS SOUPS 11876 WITH SCORE 12017.417
AT ITER 9051 NEW BEST:: SOT 194079 SOS 141052 HAS SOPS 33566 HAS SOUS 21475 HAS SOUPS 11874 WITH SCORE 12015.052
AT ITER 9100 NEW BEST:: SOT 193986 SOS 141314 HAS SOPS 33569 HAS SOUS 21487 HAS SOUPS 11865 WITH SCORE 12006.314
AT ITER 9115 NEW BEST:: SOT 193891 SOS 141232 HAS SOPS 33474 HAS SOUS 21479 HAS SOUPS 11862 WITH SCORE 12003.232
AT ITER 9126 NEW BEST:: SOT 193873 SOS 141220 HAS SOPS 33460 HAS SOUS 21464 HAS SOUPS 11847 WITH SCORE 11988.22
AT ITER 9138 NEW BEST:: SOT 194104 SOS 141157 HAS SOPS 33460 HAS SOUS 21422 HAS SOUPS 11847 WITH SCORE 11988.157
AT ITER 9161 NEW BEST:: SOT 194101 SOS 141148 HAS SOPS 33451 HAS SOUS 21416 HAS SOUPS 11841 WITH SCORE 11982.148
AT ITER 9215 NEW BEST:: SOT 194061 SOS 141122 HAS SOPS 33425 HAS SOUS 21418 HAS SOUPS 11829 WITH SCORE 11970.122
AT ITER 9226 NEW BEST:: SOT 194058 SOS 141119 HAS SOPS 33421 HAS SOUS 21416 HAS SOUPS 11827 WITH SCORE 11968.119
AT ITER 9388 NEW BEST:: SOT 194068 SOS 141139 HAS SOPS 33343 HAS SOUS 21409 HAS SOUPS 11820 WITH SCORE 11961.139
AT ITER 9398 NEW BEST:: SOT 194065 SOS 141137 HAS SOPS 33340 HAS SOUS 21408 HAS SOUPS 11819 WITH SCORE 11960.137
AT ITER 9472 NEW BEST:: SOT 194045 SOS 141122 HAS SOPS 33325 HAS SOUS 21393 HAS SOUPS 11804 WITH SCORE 11945.122
AT ITER 9476 NEW BEST:: SOT 194062 SOS 141139 HAS SOPS 33325 HAS SOUS 21396 HAS SOUPS 11798 WITH SCORE 11939.139
AT ITER 9484 NEW BEST:: SOT 194062 SOS 141135 HAS SOPS 33314 HAS SOUS 21394 HAS SOUPS 11796 WITH SCORE 11937.135
AT ITER 9574 NEW BEST:: SOT 194168 SOS 141241 HAS SOPS 33420 HAS SOUS 21366 HAS SOUPS 11768 WITH SCORE 11909.241
AT ITER 9652 NEW BEST:: SOT 194164 SOS 141233 HAS SOPS 33400 HAS SOUS 21357 HAS SOUPS 11759 WITH SCORE 11900.233
AT ITER 9718 NEW BEST:: SOT 194198 SOS 141253 HAS SOPS 33658 HAS SOUS 21328 HAS SOUPS 11744 WITH SCORE 11885.253
AT ITER 9726 NEW BEST:: SOT 194199 SOS 141255 HAS SOPS 33658 HAS SOUS 21325 HAS SOUPS 11743 WITH SCORE 11884.255
AT ITER 9736 NEW BEST:: SOT 194198 SOS 141253 HAS SOPS 33672 HAS SOUS 21338 HAS SOUPS 11741 WITH SCORE 11882.253
AT ITER 9772 NEW BEST:: SOT 194200 SOS 141245 HAS SOPS 33670 HAS SOUS 21338 HAS SOUPS 11741 WITH SCORE 11882.245
AT ITER 9796 NEW BEST:: SOT 194198 SOS 141243 HAS SOPS 33666 HAS SOUS 21324 HAS SOUPS 11737 WITH SCORE 11878.243
AT ITER 9814 NEW BEST:: SOT 194185 SOS 141235 HAS SOPS 33652 HAS SOUS 21319 HAS SOUPS 11726 WITH SCORE 11867.235
AT ITER 9898 NEW BEST:: SOT 194187 SOS 141229 HAS SOPS 33674 HAS SOUS 21315 HAS SOUPS 11724 WITH SCORE 11865.229

BK_STOP 1678357474350

--------------------
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="CloudDeployment-PT-7a"
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 CloudDeployment-PT-7a, 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 r075-smll-167814401100448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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