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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 7.4K Feb 26 10:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 10:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 10:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 10:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 10:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 123K Feb 26 10:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 26 10:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 26 10:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 814K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679927954209

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

Filename model.pnml
Petri model created: 242 places, 946 transitions, 6609 arcs.
AT ITER 0 NEW BEST:: SOT 203338 SOS 157500 HAS SOPS 141102 HAS SOUS 76116 HAS SOUPS 73035 WITH SCORE 73192.5
AT ITER 1 NEW BEST:: SOT 203338 SOS 157654 HAS SOPS 137564 HAS SOUS 76229 HAS SOUPS 71068 WITH SCORE 71225.654
AT ITER 2 NEW BEST:: SOT 203338 SOS 157916 HAS SOPS 137826 HAS SOUS 75972 HAS SOUPS 70811 WITH SCORE 70968.916
AT ITER 3 NEW BEST:: SOT 203338 SOS 158028 HAS SOPS 137788 HAS SOUS 75757 HAS SOUPS 70596 WITH SCORE 70754.028
AT ITER 10 NEW BEST:: SOT 203338 SOS 158130 HAS SOPS 137890 HAS SOUS 75364 HAS SOUPS 70203 WITH SCORE 70361.13
AT ITER 11 NEW BEST:: SOT 203338 SOS 158118 HAS SOPS 137848 HAS SOUS 75358 HAS SOUPS 70182 WITH SCORE 70340.118
AT ITER 12 NEW BEST:: SOT 203338 SOS 158010 HAS SOPS 137706 HAS SOUS 75366 HAS SOUPS 70100 WITH SCORE 70258.01
AT ITER 14 NEW BEST:: SOT 203338 SOS 158006 HAS SOPS 137706 HAS SOUS 75364 HAS SOUPS 70100 WITH SCORE 70258.006
AT ITER 16 NEW BEST:: SOT 203338 SOS 157910 HAS SOPS 138314 HAS SOUS 75358 HAS SOUPS 70094 WITH SCORE 70251.91
AT ITER 19 NEW BEST:: SOT 203338 SOS 158005 HAS SOPS 138409 HAS SOUS 75301 HAS SOUPS 70018 WITH SCORE 70176.005
AT ITER 21 NEW BEST:: SOT 203338 SOS 158045 HAS SOPS 138381 HAS SOUS 75321 HAS SOUPS 70004 WITH SCORE 70162.045
AT ITER 22 NEW BEST:: SOT 203338 SOS 158125 HAS SOPS 138461 HAS SOUS 75281 HAS SOUPS 69964 WITH SCORE 70122.125
AT ITER 27 NEW BEST:: SOT 203338 SOS 158269 HAS SOPS 138483 HAS SOUS 75005 HAS SOUPS 69744 WITH SCORE 69902.269
AT ITER 28 NEW BEST:: SOT 203338 SOS 158269 HAS SOPS 138483 HAS SOUS 74957 HAS SOUPS 69696 WITH SCORE 69854.269
AT ITER 32 NEW BEST:: SOT 203338 SOS 157671 HAS SOPS 137775 HAS SOUS 74893 HAS SOUPS 69577 WITH SCORE 69734.671
AT ITER 35 NEW BEST:: SOT 203338 SOS 157669 HAS SOPS 137775 HAS SOUS 74892 HAS SOUPS 69577 WITH SCORE 69734.669
AT ITER 36 NEW BEST:: SOT 203338 SOS 157811 HAS SOPS 137896 HAS SOUS 74840 HAS SOUPS 69504 WITH SCORE 69661.811
AT ITER 41 NEW BEST:: SOT 203338 SOS 157847 HAS SOPS 137860 HAS SOUS 74858 HAS SOUPS 69486 WITH SCORE 69643.847
AT ITER 44 NEW BEST:: SOT 203418 SOS 158171 HAS SOPS 138138 HAS SOUS 74805 HAS SOUPS 69410 WITH SCORE 69568.171
AT ITER 49 NEW BEST:: SOT 203418 SOS 158131 HAS SOPS 138018 HAS SOUS 74760 HAS SOUPS 69326 WITH SCORE 69484.131
AT ITER 52 NEW BEST:: SOT 203418 SOS 158071 HAS SOPS 138018 HAS SOUS 74726 HAS SOUPS 69326 WITH SCORE 69484.071
AT ITER 53 NEW BEST:: SOT 203418 SOS 158141 HAS SOPS 137948 HAS SOUS 74796 HAS SOUPS 69256 WITH SCORE 69414.141
AT ITER 54 NEW BEST:: SOT 203418 SOS 158139 HAS SOPS 137948 HAS SOUS 74795 HAS SOUPS 69256 WITH SCORE 69414.139
AT ITER 61 NEW BEST:: SOT 203418 SOS 158051 HAS SOPS 137928 HAS SOUS 74805 HAS SOUPS 69242 WITH SCORE 69400.051
AT ITER 62 NEW BEST:: SOT 203418 SOS 158167 HAS SOPS 138044 HAS SOUS 74701 HAS SOUPS 69138 WITH SCORE 69296.167
AT ITER 63 NEW BEST:: SOT 203418 SOS 158039 HAS SOPS 137916 HAS SOUS 74668 HAS SOUPS 69105 WITH SCORE 69263.039
AT ITER 69 NEW BEST:: SOT 203418 SOS 158079 HAS SOPS 138444 HAS SOUS 74419 HAS SOUPS 68937 WITH SCORE 69095.079
AT ITER 70 NEW BEST:: SOT 203418 SOS 158135 HAS SOPS 138444 HAS SOUS 74335 HAS SOUPS 68839 WITH SCORE 68997.135
AT ITER 71 NEW BEST:: SOT 203418 SOS 158449 HAS SOPS 134246 HAS SOUS 71875 HAS SOUPS 66235 WITH SCORE 66393.449
AT ITER 72 NEW BEST:: SOT 203474 SOS 158345 HAS SOPS 134090 HAS SOUS 71765 HAS SOUPS 66143 WITH SCORE 66301.345
AT ITER 73 NEW BEST:: SOT 203474 SOS 158638 HAS SOPS 133733 HAS SOUS 71745 HAS SOUPS 66024 WITH SCORE 66182.638
AT ITER 74 NEW BEST:: SOT 203474 SOS 158582 HAS SOPS 133733 HAS SOUS 71737 HAS SOUPS 66024 WITH SCORE 66182.582
AT ITER 75 NEW BEST:: SOT 203431 SOS 158492 HAS SOPS 133659 HAS SOUS 71678 HAS SOUPS 65965 WITH SCORE 66123.492
AT ITER 81 NEW BEST:: SOT 203431 SOS 158014 HAS SOPS 133241 HAS SOUS 71324 HAS SOUPS 65626 WITH SCORE 65784.014
AT ITER 86 NEW BEST:: SOT 203431 SOS 158436 HAS SOPS 132283 HAS SOUS 71291 HAS SOUPS 65614 WITH SCORE 65772.436
AT ITER 87 NEW BEST:: SOT 203431 SOS 158292 HAS SOPS 132139 HAS SOUS 71278 HAS SOUPS 65601 WITH SCORE 65759.292
AT ITER 90 NEW BEST:: SOT 203431 SOS 158504 HAS SOPS 131935 HAS SOUS 71179 HAS SOUPS 65366 WITH SCORE 65524.504
AT ITER 91 NEW BEST:: SOT 203431 SOS 158504 HAS SOPS 131887 HAS SOUS 71179 HAS SOUPS 65354 WITH SCORE 65512.504
AT ITER 96 NEW BEST:: SOT 203431 SOS 158494 HAS SOPS 131877 HAS SOUS 71174 HAS SOUPS 65349 WITH SCORE 65507.494
AT ITER 99 NEW BEST:: SOT 203431 SOS 158768 HAS SOPS 132151 HAS SOUS 71165 HAS SOUPS 65340 WITH SCORE 65498.768
AT ITER 100 NEW BEST:: SOT 203431 SOS 158644 HAS SOPS 132073 HAS SOUS 71103 HAS SOUPS 65301 WITH SCORE 65459.644
AT ITER 101 NEW BEST:: SOT 203431 SOS 158704 HAS SOPS 131653 HAS SOUS 71058 HAS SOUPS 65016 WITH SCORE 65174.704
AT ITER 107 NEW BEST:: SOT 203679 SOS 159568 HAS SOPS 132305 HAS SOUS 68189 HAS SOUPS 62142 WITH SCORE 62301.568
AT ITER 108 NEW BEST:: SOT 203679 SOS 159560 HAS SOPS 132257 HAS SOUS 68163 HAS SOUPS 62116 WITH SCORE 62275.56
AT ITER 112 NEW BEST:: SOT 203827 SOS 159752 HAS SOPS 132291 HAS SOUS 67789 HAS SOUPS 61663 WITH SCORE 61822.752
AT ITER 114 NEW BEST:: SOT 203827 SOS 159584 HAS SOPS 131609 HAS SOUS 67265 HAS SOUPS 61139 WITH SCORE 61298.584
AT ITER 115 NEW BEST:: SOT 203827 SOS 159341 HAS SOPS 130137 HAS SOUS 67172 HAS SOUPS 60744 WITH SCORE 60903.341
AT ITER 116 NEW BEST:: SOT 203827 SOS 159751 HAS SOPS 130465 HAS SOUS 67074 HAS SOUPS 60646 WITH SCORE 60805.751
AT ITER 118 NEW BEST:: SOT 203827 SOS 159629 HAS SOPS 130335 HAS SOUS 67086 HAS SOUPS 60641 WITH SCORE 60800.629
AT ITER 121 NEW BEST:: SOT 203827 SOS 159493 HAS SOPS 130319 HAS SOUS 67086 HAS SOUPS 60641 WITH SCORE 60800.493
AT ITER 122 NEW BEST:: SOT 203827 SOS 160121 HAS SOPS 129183 HAS SOUS 67165 HAS SOUPS 60542 WITH SCORE 60702.121
AT ITER 124 NEW BEST:: SOT 203827 SOS 160449 HAS SOPS 128995 HAS SOUS 67329 HAS SOUPS 60536 WITH SCORE 60696.449
AT ITER 128 NEW BEST:: SOT 203827 SOS 160673 HAS SOPS 129107 HAS SOUS 65978 HAS SOUPS 59676 WITH SCORE 59836.673
AT ITER 130 NEW BEST:: SOT 203827 SOS 160773 HAS SOPS 129107 HAS SOUS 65920 HAS SOUPS 59568 WITH SCORE 59728.773
AT ITER 133 NEW BEST:: SOT 203827 SOS 159982 HAS SOPS 128501 HAS SOUS 65797 HAS SOUPS 59504 WITH SCORE 59663.982
AT ITER 136 NEW BEST:: SOT 203827 SOS 159978 HAS SOPS 128501 HAS SOUS 65795 HAS SOUPS 59504 WITH SCORE 59663.978
AT ITER 137 NEW BEST:: SOT 203827 SOS 160298 HAS SOPS 128821 HAS SOUS 65648 HAS SOUPS 59357 WITH SCORE 59517.298
AT ITER 142 NEW BEST:: SOT 203827 SOS 160328 HAS SOPS 128851 HAS SOUS 65405 HAS SOUPS 59114 WITH SCORE 59274.328
AT ITER 143 NEW BEST:: SOT 203827 SOS 160304 HAS SOPS 128827 HAS SOUS 65405 HAS SOUPS 59114 WITH SCORE 59274.304
AT ITER 150 NEW BEST:: SOT 203827 SOS 159888 HAS SOPS 128411 HAS SOUS 65301 HAS SOUPS 59010 WITH SCORE 59169.888
AT ITER 154 NEW BEST:: SOT 203827 SOS 159944 HAS SOPS 128467 HAS SOUS 65225 HAS SOUPS 58954 WITH SCORE 59113.944
AT ITER 156 NEW BEST:: SOT 203827 SOS 160048 HAS SOPS 128571 HAS SOUS 65209 HAS SOUPS 58938 WITH SCORE 59098.048
AT ITER 157 NEW BEST:: SOT 155736 SOS 147220 HAS SOPS 144048 HAS SOUS 38896 HAS SOUPS 38839 WITH SCORE 38986.22
AT ITER 159 NEW BEST:: SOT 155602 SOS 147086 HAS SOPS 143914 HAS SOUS 38216 HAS SOUPS 38159 WITH SCORE 38306.086
AT ITER 161 NEW BEST:: SOT 155602 SOS 146936 HAS SOPS 143754 HAS SOUS 38220 HAS SOUPS 38158 WITH SCORE 38304.936
AT ITER 165 NEW BEST:: SOT 155680 SOS 147014 HAS SOPS 143832 HAS SOUS 38202 HAS SOUPS 38140 WITH SCORE 38287.014
AT ITER 168 NEW BEST:: SOT 154254 SOS 145588 HAS SOPS 142406 HAS SOUS 37466 HAS SOUPS 37404 WITH SCORE 37549.588
AT ITER 169 NEW BEST:: SOT 154444 SOS 145778 HAS SOPS 142596 HAS SOUS 37464 HAS SOUPS 37402 WITH SCORE 37547.778
AT ITER 170 NEW BEST:: SOT 154822 SOS 146156 HAS SOPS 142974 HAS SOUS 37255 HAS SOUPS 37193 WITH SCORE 37339.156
AT ITER 172 NEW BEST:: SOT 154822 SOS 145664 HAS SOPS 142292 HAS SOUS 37255 HAS SOUPS 37193 WITH SCORE 37338.664
AT ITER 174 NEW BEST:: SOT 154774 SOS 145616 HAS SOPS 142244 HAS SOUS 37231 HAS SOUPS 37169 WITH SCORE 37314.616
AT ITER 175 NEW BEST:: SOT 154797 SOS 145639 HAS SOPS 142267 HAS SOUS 37166 HAS SOUPS 37104 WITH SCORE 37249.639
AT ITER 177 NEW BEST:: SOT 157556 SOS 124270 HAS SOPS 100094 HAS SOUS 38439 HAS SOUPS 35412 WITH SCORE 35536.27
AT ITER 180 NEW BEST:: SOT 157758 SOS 124397 HAS SOPS 100221 HAS SOUS 38300 HAS SOUPS 35273 WITH SCORE 35397.397
AT ITER 181 NEW BEST:: SOT 157758 SOS 124397 HAS SOPS 100509 HAS SOUS 38249 HAS SOUPS 35213 WITH SCORE 35337.397
AT ITER 183 NEW BEST:: SOT 155372 SOS 122075 HAS SOPS 97931 HAS SOUS 37450 HAS SOUPS 34350 WITH SCORE 34472.075
AT ITER 185 NEW BEST:: SOT 155372 SOS 121811 HAS SOPS 96275 HAS SOUS 36791 HAS SOUPS 33901 WITH SCORE 34022.811
AT ITER 186 NEW BEST:: SOT 154646 SOS 121085 HAS SOPS 95549 HAS SOUS 35785 HAS SOUPS 32895 WITH SCORE 33016.085
AT ITER 189 NEW BEST:: SOT 154646 SOS 121085 HAS SOPS 95229 HAS SOUS 35739 HAS SOUPS 32789 WITH SCORE 32910.085
AT ITER 192 NEW BEST:: SOT 154664 SOS 121213 HAS SOPS 93139 HAS SOUS 35214 HAS SOUPS 32266 WITH SCORE 32387.213
AT ITER 196 NEW BEST:: SOT 154664 SOS 121213 HAS SOPS 93139 HAS SOUS 34710 HAS SOUPS 31762 WITH SCORE 31883.213
AT ITER 202 NEW BEST:: SOT 154664 SOS 121069 HAS SOPS 93067 HAS SOUS 34638 HAS SOUPS 31726 WITH SCORE 31847.069
AT ITER 204 NEW BEST:: SOT 150532 SOS 116937 HAS SOPS 88935 HAS SOUS 33270 HAS SOUPS 30358 WITH SCORE 30474.937
AT ITER 205 NEW BEST:: SOT 150448 SOS 116853 HAS SOPS 88851 HAS SOUS 33270 HAS SOUPS 30358 WITH SCORE 30474.853
AT ITER 206 NEW BEST:: SOT 150448 SOS 116873 HAS SOPS 88831 HAS SOUS 33241 HAS SOUPS 30348 WITH SCORE 30464.873
AT ITER 207 NEW BEST:: SOT 150840 SOS 116975 HAS SOPS 88933 HAS SOUS 33187 HAS SOUPS 30294 WITH SCORE 30410.975
AT ITER 227 NEW BEST:: SOT 150840 SOS 116805 HAS SOPS 88879 HAS SOUS 33084 HAS SOUPS 30194 WITH SCORE 30310.805
AT ITER 230 NEW BEST:: SOT 150840 SOS 117035 HAS SOPS 89103 HAS SOUS 32517 HAS SOUPS 29898 WITH SCORE 30015.035
AT ITER 231 NEW BEST:: SOT 150840 SOS 116961 HAS SOPS 89045 HAS SOUS 32515 HAS SOUPS 29869 WITH SCORE 29985.961
AT ITER 234 NEW BEST:: SOT 150840 SOS 116899 HAS SOPS 88983 HAS SOUS 32470 HAS SOUPS 29824 WITH SCORE 29940.899
AT ITER 238 NEW BEST:: SOT 150840 SOS 116863 HAS SOPS 88971 HAS SOUS 32452 HAS SOUPS 29809 WITH SCORE 29925.863
AT ITER 240 NEW BEST:: SOT 150945 SOS 116934 HAS SOPS 89038 HAS SOUS 32097 HAS SOUPS 29597 WITH SCORE 29713.934
AT ITER 244 NEW BEST:: SOT 150945 SOS 116822 HAS SOPS 88926 HAS SOUS 32083 HAS SOUPS 29583 WITH SCORE 29699.822
AT ITER 250 NEW BEST:: SOT 151593 SOS 117582 HAS SOPS 89574 HAS SOUS 30988 HAS SOUPS 28723 WITH SCORE 28840.582
AT ITER 254 NEW BEST:: SOT 147903 SOS 115068 HAS SOPS 85608 HAS SOUS 29402 HAS SOUPS 27015 WITH SCORE 27130.068
AT ITER 256 NEW BEST:: SOT 147903 SOS 110162 HAS SOPS 85608 HAS SOUS 29381 HAS SOUPS 27015 WITH SCORE 27125.162
AT ITER 259 NEW BEST:: SOT 147977 SOS 110236 HAS SOPS 85682 HAS SOUS 29352 HAS SOUPS 26986 WITH SCORE 27096.236
AT ITER 263 NEW BEST:: SOT 147977 SOS 110280 HAS SOPS 85374 HAS SOUS 29218 HAS SOUPS 26676 WITH SCORE 26786.28
AT ITER 264 NEW BEST:: SOT 147839 SOS 110142 HAS SOPS 85236 HAS SOUS 29122 HAS SOUPS 26580 WITH SCORE 26690.142
AT ITER 267 NEW BEST:: SOT 147801 SOS 110104 HAS SOPS 85350 HAS SOUS 29027 HAS SOUPS 26561 WITH SCORE 26671.104
AT ITER 268 NEW BEST:: SOT 147829 SOS 110132 HAS SOPS 85378 HAS SOUS 28945 HAS SOUPS 26479 WITH SCORE 26589.132
AT ITER 269 NEW BEST:: SOT 147869 SOS 110172 HAS SOPS 85418 HAS SOUS 28897 HAS SOUPS 26431 WITH SCORE 26541.172
AT ITER 271 NEW BEST:: SOT 148475 SOS 110794 HAS SOPS 86040 HAS SOUS 27778 HAS SOUPS 25312 WITH SCORE 25422.794
AT ITER 273 NEW BEST:: SOT 148475 SOS 110882 HAS SOPS 86128 HAS SOUS 27752 HAS SOUPS 25286 WITH SCORE 25396.882
AT ITER 275 NEW BEST:: SOT 148009 SOS 110416 HAS SOPS 85662 HAS SOUS 27471 HAS SOUPS 25005 WITH SCORE 25115.416
AT ITER 276 NEW BEST:: SOT 147749 SOS 110156 HAS SOPS 85402 HAS SOUS 27208 HAS SOUPS 24742 WITH SCORE 24852.156
AT ITER 277 NEW BEST:: SOT 147785 SOS 110088 HAS SOPS 85334 HAS SOUS 27103 HAS SOUPS 24637 WITH SCORE 24747.088
AT ITER 280 NEW BEST:: SOT 147775 SOS 110042 HAS SOPS 85378 HAS SOUS 27070 HAS SOUPS 24631 WITH SCORE 24741.042
AT ITER 282 NEW BEST:: SOT 147643 SOS 109910 HAS SOPS 85250 HAS SOUS 26953 HAS SOUPS 24515 WITH SCORE 24624.91
AT ITER 285 NEW BEST:: SOT 147403 SOS 109670 HAS SOPS 85010 HAS SOUS 26912 HAS SOUPS 24474 WITH SCORE 24583.67
AT ITER 287 NEW BEST:: SOT 147561 SOS 109408 HAS SOPS 84748 HAS SOUS 26819 HAS SOUPS 24381 WITH SCORE 24490.408
AT ITER 289 NEW BEST:: SOT 147561 SOS 109682 HAS SOPS 85022 HAS SOUS 26773 HAS SOUPS 24348 WITH SCORE 24457.682
AT ITER 296 NEW BEST:: SOT 147561 SOS 109610 HAS SOPS 85022 HAS SOUS 26671 HAS SOUPS 24348 WITH SCORE 24457.61
AT ITER 297 NEW BEST:: SOT 147561 SOS 109630 HAS SOPS 85042 HAS SOUS 26639 HAS SOUPS 24326 WITH SCORE 24435.63
AT ITER 298 NEW BEST:: SOT 147561 SOS 109526 HAS SOPS 84938 HAS SOUS 26556 HAS SOUPS 24248 WITH SCORE 24357.526
AT ITER 309 NEW BEST:: SOT 147525 SOS 109454 HAS SOPS 84866 HAS SOUS 26545 HAS SOUPS 24237 WITH SCORE 24346.454
AT ITER 316 NEW BEST:: SOT 146819 SOS 108837 HAS SOPS 84249 HAS SOUS 26222 HAS SOUPS 23914 WITH SCORE 24022.837
AT ITER 318 NEW BEST:: SOT 146879 SOS 109030 HAS SOPS 82942 HAS SOUS 26288 HAS SOUPS 23860 WITH SCORE 23969.03
AT ITER 320 NEW BEST:: SOT 146893 SOS 109044 HAS SOPS 82956 HAS SOUS 26268 HAS SOUPS 23840 WITH SCORE 23949.044
AT ITER 324 NEW BEST:: SOT 147073 SOS 109224 HAS SOPS 83136 HAS SOUS 26230 HAS SOUPS 23802 WITH SCORE 23911.224
AT ITER 326 NEW BEST:: SOT 147085 SOS 109170 HAS SOPS 83054 HAS SOUS 26238 HAS SOUPS 23796 WITH SCORE 23905.17
AT ITER 329 NEW BEST:: SOT 145565 SOS 107650 HAS SOPS 81534 HAS SOUS 25740 HAS SOUPS 23298 WITH SCORE 23405.65
AT ITER 336 NEW BEST:: SOT 145557 SOS 107642 HAS SOPS 81526 HAS SOUS 25680 HAS SOUPS 23238 WITH SCORE 23345.642
AT ITER 340 NEW BEST:: SOT 145567 SOS 107852 HAS SOPS 81096 HAS SOUS 25129 HAS SOUPS 22687 WITH SCORE 22794.852
AT ITER 342 NEW BEST:: SOT 145977 SOS 108348 HAS SOPS 80196 HAS SOUS 24752 HAS SOUPS 22424 WITH SCORE 22532.348
AT ITER 343 NEW BEST:: SOT 145977 SOS 108520 HAS SOPS 80282 HAS SOUS 24498 HAS SOUPS 22127 WITH SCORE 22235.52
AT ITER 345 NEW BEST:: SOT 145869 SOS 108412 HAS SOPS 80174 HAS SOUS 24471 HAS SOUPS 22100 WITH SCORE 22208.412
AT ITER 352 NEW BEST:: SOT 145101 SOS 110218 HAS SOPS 87214 HAS SOUS 24115 HAS SOUPS 21956 WITH SCORE 22066.218
AT ITER 354 NEW BEST:: SOT 145087 SOS 110204 HAS SOPS 87200 HAS SOUS 24032 HAS SOUPS 21873 WITH SCORE 21983.204
AT ITER 356 NEW BEST:: SOT 145087 SOS 109894 HAS SOPS 87954 HAS SOUS 24032 HAS SOUPS 21873 WITH SCORE 21982.894
AT ITER 358 NEW BEST:: SOT 144483 SOS 109341 HAS SOPS 87384 HAS SOUS 24015 HAS SOUPS 21839 WITH SCORE 21948.341
AT ITER 364 NEW BEST:: SOT 144357 SOS 109215 HAS SOPS 87258 HAS SOUS 23981 HAS SOUPS 21805 WITH SCORE 21914.215
AT ITER 366 NEW BEST:: SOT 144357 SOS 109104 HAS SOPS 86925 HAS SOUS 23979 HAS SOUPS 21699 WITH SCORE 21808.104
AT ITER 369 NEW BEST:: SOT 144389 SOS 106933 HAS SOPS 79047 HAS SOUS 24078 HAS SOUPS 21564 WITH SCORE 21670.933
AT ITER 374 NEW BEST:: SOT 145201 SOS 107949 HAS SOPS 80075 HAS SOUS 23283 HAS SOUPS 20787 WITH SCORE 20894.949
AT ITER 377 NEW BEST:: SOT 145041 SOS 107789 HAS SOPS 79915 HAS SOUS 23270 HAS SOUPS 20774 WITH SCORE 20881.789
AT ITER 378 NEW BEST:: SOT 144817 SOS 107521 HAS SOPS 79575 HAS SOUS 23248 HAS SOUPS 20734 WITH SCORE 20841.521
AT ITER 381 NEW BEST:: SOT 144705 SOS 107409 HAS SOPS 79463 HAS SOUS 23241 HAS SOUPS 20727 WITH SCORE 20834.409
AT ITER 399 NEW BEST:: SOT 144681 SOS 107385 HAS SOPS 79439 HAS SOUS 23229 HAS SOUPS 20715 WITH SCORE 20822.385
AT ITER 400 NEW BEST:: SOT 144705 SOS 107409 HAS SOPS 79463 HAS SOUS 23223 HAS SOUPS 20709 WITH SCORE 20816.409
AT ITER 402 NEW BEST:: SOT 144681 SOS 107385 HAS SOPS 79439 HAS SOUS 23199 HAS SOUPS 20685 WITH SCORE 20792.385
AT ITER 404 NEW BEST:: SOT 144045 SOS 107107 HAS SOPS 79213 HAS SOUS 23134 HAS SOUPS 20646 WITH SCORE 20753.107
AT ITER 407 NEW BEST:: SOT 144039 SOS 107100 HAS SOPS 79206 HAS SOUS 23132 HAS SOUPS 20644 WITH SCORE 20751.1
AT ITER 412 NEW BEST:: SOT 144029 SOS 107090 HAS SOPS 79196 HAS SOUS 23125 HAS SOUPS 20637 WITH SCORE 20744.09
AT ITER 414 NEW BEST:: SOT 144128 SOS 105841 HAS SOPS 79027 HAS SOUS 23045 HAS SOUPS 20624 WITH SCORE 20729.841
AT ITER 417 NEW BEST:: SOT 144147 SOS 105859 HAS SOPS 79045 HAS SOUS 23044 HAS SOUPS 20623 WITH SCORE 20728.859
AT ITER 420 NEW BEST:: SOT 144147 SOS 105555 HAS SOPS 78707 HAS SOUS 22917 HAS SOUPS 20496 WITH SCORE 20601.555
AT ITER 423 NEW BEST:: SOT 144173 SOS 105581 HAS SOPS 78733 HAS SOUS 22876 HAS SOUPS 20455 WITH SCORE 20560.581
AT ITER 425 NEW BEST:: SOT 144181 SOS 105425 HAS SOPS 78505 HAS SOUS 22769 HAS SOUPS 20348 WITH SCORE 20453.425
AT ITER 430 NEW BEST:: SOT 144047 SOS 105269 HAS SOPS 78447 HAS SOUS 22684 HAS SOUPS 20312 WITH SCORE 20417.269
AT ITER 432 NEW BEST:: SOT 144047 SOS 105159 HAS SOPS 78425 HAS SOUS 22673 HAS SOUPS 20312 WITH SCORE 20417.159
AT ITER 436 NEW BEST:: SOT 144098 SOS 105121 HAS SOPS 78378 HAS SOUS 22678 HAS SOUPS 20294 WITH SCORE 20399.121
AT ITER 438 NEW BEST:: SOT 144098 SOS 105121 HAS SOPS 78378 HAS SOUS 22542 HAS SOUPS 20158 WITH SCORE 20263.121
AT ITER 444 NEW BEST:: SOT 144098 SOS 105033 HAS SOPS 78378 HAS SOUS 22537 HAS SOUPS 20158 WITH SCORE 20263.033
AT ITER 445 NEW BEST:: SOT 144218 SOS 105153 HAS SOPS 78498 HAS SOUS 21995 HAS SOUPS 19616 WITH SCORE 19721.153
AT ITER 446 NEW BEST:: SOT 144240 SOS 105175 HAS SOPS 78520 HAS SOUS 21930 HAS SOUPS 19551 WITH SCORE 19656.175
AT ITER 447 NEW BEST:: SOT 144092 SOS 105027 HAS SOPS 78372 HAS SOUS 21930 HAS SOUPS 19551 WITH SCORE 19656.027
AT ITER 454 NEW BEST:: SOT 145728 SOS 106663 HAS SOPS 80008 HAS SOUS 21864 HAS SOUPS 19485 WITH SCORE 19591.663
AT ITER 455 NEW BEST:: SOT 145602 SOS 106537 HAS SOPS 79882 HAS SOUS 21353 HAS SOUPS 18974 WITH SCORE 19080.537
AT ITER 459 NEW BEST:: SOT 145718 SOS 106953 HAS SOPS 79722 HAS SOUS 21353 HAS SOUPS 18927 WITH SCORE 19033.953
AT ITER 462 NEW BEST:: SOT 145718 SOS 106953 HAS SOPS 79722 HAS SOUS 21351 HAS SOUPS 18925 WITH SCORE 19031.953
AT ITER 464 NEW BEST:: SOT 145572 SOS 106807 HAS SOPS 79576 HAS SOUS 21278 HAS SOUPS 18852 WITH SCORE 18958.807
AT ITER 472 NEW BEST:: SOT 145572 SOS 106807 HAS SOPS 79576 HAS SOUS 21276 HAS SOUPS 18850 WITH SCORE 18956.807
AT ITER 474 NEW BEST:: SOT 145602 SOS 106731 HAS SOPS 79532 HAS SOUS 21165 HAS SOUPS 18743 WITH SCORE 18849.731
AT ITER 481 NEW BEST:: SOT 145560 SOS 106689 HAS SOPS 79490 HAS SOUS 21134 HAS SOUPS 18712 WITH SCORE 18818.689
AT ITER 485 NEW BEST:: SOT 145492 SOS 106621 HAS SOPS 79422 HAS SOUS 21082 HAS SOUPS 18660 WITH SCORE 18766.621
AT ITER 487 NEW BEST:: SOT 145390 SOS 106535 HAS SOPS 79336 HAS SOUS 21063 HAS SOUPS 18641 WITH SCORE 18747.535
AT ITER 497 NEW BEST:: SOT 145316 SOS 106461 HAS SOPS 79262 HAS SOUS 21049 HAS SOUPS 18627 WITH SCORE 18733.461
AT ITER 501 NEW BEST:: SOT 144136 SOS 105625 HAS SOPS 79442 HAS SOUS 20477 HAS SOUPS 18286 WITH SCORE 18391.625
AT ITER 502 NEW BEST:: SOT 144356 SOS 105865 HAS SOPS 79682 HAS SOUS 19991 HAS SOUPS 17820 WITH SCORE 17925.865
AT ITER 507 NEW BEST:: SOT 144292 SOS 105801 HAS SOPS 79618 HAS SOUS 19895 HAS SOUPS 17724 WITH SCORE 17829.801
AT ITER 508 NEW BEST:: SOT 144236 SOS 105738 HAS SOPS 79564 HAS SOUS 19867 HAS SOUPS 17719 WITH SCORE 17824.738
AT ITER 515 NEW BEST:: SOT 143204 SOS 104851 HAS SOPS 78638 HAS SOUS 19656 HAS SOUPS 17508 WITH SCORE 17612.851
AT ITER 519 NEW BEST:: SOT 143204 SOS 104785 HAS SOPS 78638 HAS SOUS 19651 HAS SOUPS 17508 WITH SCORE 17612.785
AT ITER 521 NEW BEST:: SOT 143204 SOS 104457 HAS SOPS 78238 HAS SOUS 19635 HAS SOUPS 17483 WITH SCORE 17587.457
AT ITER 522 NEW BEST:: SOT 143192 SOS 104445 HAS SOPS 78226 HAS SOUS 19632 HAS SOUPS 17480 WITH SCORE 17584.445
AT ITER 523 NEW BEST:: SOT 143110 SOS 104363 HAS SOPS 78144 HAS SOUS 19591 HAS SOUPS 17439 WITH SCORE 17543.363
AT ITER 540 NEW BEST:: SOT 143110 SOS 104291 HAS SOPS 78224 HAS SOUS 19555 HAS SOUPS 17422 WITH SCORE 17526.291
AT ITER 549 NEW BEST:: SOT 143002 SOS 104183 HAS SOPS 78116 HAS SOUS 19501 HAS SOUPS 17368 WITH SCORE 17472.183
AT ITER 551 NEW BEST:: SOT 143002 SOS 104153 HAS SOPS 78056 HAS SOUS 19511 HAS SOUPS 17368 WITH SCORE 17472.153
AT ITER 558 NEW BEST:: SOT 142942 SOS 104023 HAS SOPS 77926 HAS SOUS 19411 HAS SOUPS 17268 WITH SCORE 17372.023
AT ITER 559 NEW BEST:: SOT 143066 SOS 104413 HAS SOPS 78136 HAS SOUS 19392 HAS SOUPS 17202 WITH SCORE 17306.413
AT ITER 564 NEW BEST:: SOT 143050 SOS 104397 HAS SOPS 78120 HAS SOUS 19376 HAS SOUPS 17186 WITH SCORE 17290.397
AT ITER 568 NEW BEST:: SOT 143050 SOS 104477 HAS SOPS 78192 HAS SOUS 19296 HAS SOUPS 17150 WITH SCORE 17254.477
AT ITER 577 NEW BEST:: SOT 142448 SOS 105315 HAS SOPS 77590 HAS SOUS 19012 HAS SOUPS 16821 WITH SCORE 16926.315
AT ITER 580 NEW BEST:: SOT 142448 SOS 105323 HAS SOPS 77594 HAS SOUS 18982 HAS SOUPS 16789 WITH SCORE 16894.323
AT ITER 585 NEW BEST:: SOT 142448 SOS 105697 HAS SOPS 77534 HAS SOUS 18959 HAS SOUPS 16759 WITH SCORE 16864.697
AT ITER 595 NEW BEST:: SOT 142442 SOS 105691 HAS SOPS 77528 HAS SOUS 18953 HAS SOUPS 16753 WITH SCORE 16858.691
AT ITER 600 NEW BEST:: SOT 142354 SOS 105677 HAS SOPS 77554 HAS SOUS 18801 HAS SOUPS 16682 WITH SCORE 16787.677
AT ITER 606 NEW BEST:: SOT 142354 SOS 105821 HAS SOPS 77554 HAS SOUS 18789 HAS SOUPS 16672 WITH SCORE 16777.821
AT ITER 610 NEW BEST:: SOT 142466 SOS 102892 HAS SOPS 77620 HAS SOUS 18630 HAS SOUPS 16636 WITH SCORE 16738.892
AT ITER 611 NEW BEST:: SOT 142406 SOS 102832 HAS SOPS 77560 HAS SOUS 18600 HAS SOUPS 16606 WITH SCORE 16708.832
AT ITER 645 NEW BEST:: SOT 142406 SOS 102882 HAS SOPS 77610 HAS SOUS 18592 HAS SOUPS 16598 WITH SCORE 16700.882
AT ITER 646 NEW BEST:: SOT 142266 SOS 101480 HAS SOPS 77328 HAS SOUS 18465 HAS SOUPS 16478 WITH SCORE 16579.48
AT ITER 649 NEW BEST:: SOT 142326 SOS 101540 HAS SOPS 77388 HAS SOUS 18441 HAS SOUPS 16454 WITH SCORE 16555.54
AT ITER 656 NEW BEST:: SOT 142288 SOS 101502 HAS SOPS 77350 HAS SOUS 18426 HAS SOUPS 16439 WITH SCORE 16540.502
AT ITER 657 NEW BEST:: SOT 142288 SOS 101386 HAS SOPS 77234 HAS SOUS 18339 HAS SOUPS 16352 WITH SCORE 16453.386
AT ITER 658 NEW BEST:: SOT 142170 SOS 101268 HAS SOPS 77116 HAS SOUS 18262 HAS SOUPS 16275 WITH SCORE 16376.268
AT ITER 659 NEW BEST:: SOT 142170 SOS 100947 HAS SOPS 76404 HAS SOUS 18333 HAS SOUPS 16260 WITH SCORE 16360.947
AT ITER 666 NEW BEST:: SOT 142044 SOS 100821 HAS SOPS 76278 HAS SOUS 18302 HAS SOUPS 16229 WITH SCORE 16329.821
AT ITER 668 NEW BEST:: SOT 142044 SOS 100815 HAS SOPS 76278 HAS SOUS 18299 HAS SOUPS 16229 WITH SCORE 16329.815
AT ITER 672 NEW BEST:: SOT 142044 SOS 100815 HAS SOPS 76278 HAS SOUS 18296 HAS SOUPS 16226 WITH SCORE 16326.815
AT ITER 673 NEW BEST:: SOT 142044 SOS 100745 HAS SOPS 76944 HAS SOUS 18228 HAS SOUPS 16186 WITH SCORE 16286.745
AT ITER 675 NEW BEST:: SOT 142044 SOS 100745 HAS SOPS 76944 HAS SOUS 18181 HAS SOUPS 16139 WITH SCORE 16239.745
AT ITER 680 NEW BEST:: SOT 141976 SOS 100677 HAS SOPS 76876 HAS SOUS 18143 HAS SOUPS 16101 WITH SCORE 16201.677
AT ITER 684 NEW BEST:: SOT 141976 SOS 100781 HAS SOPS 76876 HAS SOUS 18143 HAS SOUPS 16075 WITH SCORE 16175.781
AT ITER 693 NEW BEST:: SOT 141976 SOS 100823 HAS SOPS 76918 HAS SOUS 18136 HAS SOUPS 16068 WITH SCORE 16168.823
AT ITER 696 NEW BEST:: SOT 141976 SOS 100823 HAS SOPS 76918 HAS SOUS 18115 HAS SOUPS 16047 WITH SCORE 16147.823
AT ITER 698 NEW BEST:: SOT 141656 SOS 100451 HAS SOPS 76650 HAS SOUS 17945 HAS SOUPS 15929 WITH SCORE 16029.451
AT ITER 701 NEW BEST:: SOT 141960 SOS 100782 HAS SOPS 76981 HAS SOUS 17891 HAS SOUPS 15875 WITH SCORE 15975.782
AT ITER 702 NEW BEST:: SOT 141960 SOS 100750 HAS SOPS 76965 HAS SOUS 17875 HAS SOUPS 15867 WITH SCORE 15967.75
AT ITER 705 NEW BEST:: SOT 141962 SOS 100776 HAS SOPS 76991 HAS SOUS 17866 HAS SOUPS 15858 WITH SCORE 15958.776
AT ITER 708 NEW BEST:: SOT 141962 SOS 101484 HAS SOPS 76985 HAS SOUS 17896 HAS SOUPS 15855 WITH SCORE 15956.484
AT ITER 715 NEW BEST:: SOT 141962 SOS 101424 HAS SOPS 76925 HAS SOUS 17896 HAS SOUPS 15855 WITH SCORE 15956.424
AT ITER 725 NEW BEST:: SOT 142912 SOS 102374 HAS SOPS 77779 HAS SOUS 17805 HAS SOUPS 15770 WITH SCORE 15872.374
AT ITER 728 NEW BEST:: SOT 142888 SOS 102350 HAS SOPS 77755 HAS SOUS 17781 HAS SOUPS 15746 WITH SCORE 15848.35
AT ITER 735 NEW BEST:: SOT 142888 SOS 101718 HAS SOPS 77667 HAS SOUS 17759 HAS SOUPS 15719 WITH SCORE 15820.718
AT ITER 739 NEW BEST:: SOT 142888 SOS 101718 HAS SOPS 77667 HAS SOUS 17744 HAS SOUPS 15704 WITH SCORE 15805.718
AT ITER 741 NEW BEST:: SOT 142936 SOS 101766 HAS SOPS 77715 HAS SOUS 17732 HAS SOUPS 15692 WITH SCORE 15793.766
AT ITER 750 NEW BEST:: SOT 142936 SOS 101784 HAS SOPS 77733 HAS SOUS 17713 HAS SOUPS 15673 WITH SCORE 15774.784
AT ITER 757 NEW BEST:: SOT 142936 SOS 101754 HAS SOPS 77703 HAS SOUS 17713 HAS SOUPS 15673 WITH SCORE 15774.754
AT ITER 765 NEW BEST:: SOT 142932 SOS 101750 HAS SOPS 77699 HAS SOUS 17712 HAS SOUPS 15672 WITH SCORE 15773.75
AT ITER 769 NEW BEST:: SOT 142932 SOS 103374 HAS SOPS 77683 HAS SOUS 17819 HAS SOUPS 15624 WITH SCORE 15727.374
AT ITER 775 NEW BEST:: SOT 142644 SOS 103104 HAS SOPS 77413 HAS SOUS 17747 HAS SOUPS 15552 WITH SCORE 15655.104
AT ITER 780 NEW BEST:: SOT 142588 SOS 103048 HAS SOPS 77357 HAS SOUS 17747 HAS SOUPS 15552 WITH SCORE 15655.048
AT ITER 781 NEW BEST:: SOT 142588 SOS 103192 HAS SOPS 77309 HAS SOUS 17699 HAS SOUPS 15504 WITH SCORE 15607.192
AT ITER 786 NEW BEST:: SOT 142612 SOS 103230 HAS SOPS 77347 HAS SOUS 17577 HAS SOUPS 15382 WITH SCORE 15485.23
AT ITER 793 NEW BEST:: SOT 142696 SOS 103314 HAS SOPS 77431 HAS SOUS 17455 HAS SOUPS 15260 WITH SCORE 15363.314
AT ITER 805 NEW BEST:: SOT 142696 SOS 103146 HAS SOPS 77431 HAS SOUS 17452 HAS SOUPS 15260 WITH SCORE 15363.146
AT ITER 806 NEW BEST:: SOT 142696 SOS 103104 HAS SOPS 77410 HAS SOUS 17438 HAS SOUPS 15260 WITH SCORE 15363.104
AT ITER 813 NEW BEST:: SOT 142717 SOS 103106 HAS SOPS 77412 HAS SOUS 17348 HAS SOUPS 15170 WITH SCORE 15273.106
AT ITER 817 NEW BEST:: SOT 142561 SOS 102950 HAS SOPS 77256 HAS SOUS 17348 HAS SOUPS 15170 WITH SCORE 15272.95
AT ITER 823 NEW BEST:: SOT 142475 SOS 102864 HAS SOPS 77170 HAS SOUS 17268 HAS SOUPS 15090 WITH SCORE 15192.864
AT ITER 824 NEW BEST:: SOT 142475 SOS 105528 HAS SOPS 77018 HAS SOUS 17268 HAS SOUPS 15052 WITH SCORE 15157.528
AT ITER 841 NEW BEST:: SOT 142475 SOS 105528 HAS SOPS 77018 HAS SOUS 17257 HAS SOUPS 15041 WITH SCORE 15146.528
AT ITER 855 NEW BEST:: SOT 142475 SOS 105400 HAS SOPS 76890 HAS SOUS 17241 HAS SOUPS 15025 WITH SCORE 15130.4
AT ITER 867 NEW BEST:: SOT 142475 SOS 105394 HAS SOPS 76884 HAS SOUS 17232 HAS SOUPS 15022 WITH SCORE 15127.394
AT ITER 892 NEW BEST:: SOT 142565 SOS 105440 HAS SOPS 76930 HAS SOUS 17197 HAS SOUPS 14987 WITH SCORE 15092.44
AT ITER 898 NEW BEST:: SOT 142563 SOS 105438 HAS SOPS 76928 HAS SOUS 17195 HAS SOUPS 14985 WITH SCORE 15090.438
AT ITER 902 NEW BEST:: SOT 142365 SOS 104887 HAS SOPS 76970 HAS SOUS 17037 HAS SOUPS 14976 WITH SCORE 15080.887
AT ITER 914 NEW BEST:: SOT 142223 SOS 104823 HAS SOPS 76906 HAS SOUS 17037 HAS SOUPS 14976 WITH SCORE 15080.823
AT ITER 920 NEW BEST:: SOT 142239 SOS 104839 HAS SOPS 76922 HAS SOUS 16812 HAS SOUPS 14751 WITH SCORE 14855.839
AT ITER 923 NEW BEST:: SOT 142577 SOS 104937 HAS SOPS 76912 HAS SOUS 16735 HAS SOUPS 14674 WITH SCORE 14778.937
AT ITER 927 NEW BEST:: SOT 142577 SOS 104853 HAS SOPS 76912 HAS SOUS 16735 HAS SOUPS 14674 WITH SCORE 14778.853
AT ITER 931 NEW BEST:: SOT 142575 SOS 104851 HAS SOPS 76910 HAS SOUS 16701 HAS SOUPS 14640 WITH SCORE 14744.851
AT ITER 936 NEW BEST:: SOT 142575 SOS 104913 HAS SOPS 76972 HAS SOUS 16658 HAS SOUPS 14597 WITH SCORE 14701.913
AT ITER 941 NEW BEST:: SOT 142571 SOS 104909 HAS SOPS 76968 HAS SOUS 16655 HAS SOUPS 14594 WITH SCORE 14698.909
AT ITER 967 NEW BEST:: SOT 142571 SOS 104857 HAS SOPS 76916 HAS SOUS 16655 HAS SOUPS 14594 WITH SCORE 14698.857
AT ITER 970 NEW BEST:: SOT 142561 SOS 104847 HAS SOPS 76906 HAS SOUS 16650 HAS SOUPS 14589 WITH SCORE 14693.847
AT ITER 972 NEW BEST:: SOT 142585 SOS 104871 HAS SOPS 76930 HAS SOUS 16635 HAS SOUPS 14574 WITH SCORE 14678.871
AT ITER 975 NEW BEST:: SOT 142509 SOS 104795 HAS SOPS 76854 HAS SOUS 16627 HAS SOUPS 14566 WITH SCORE 14670.795
AT ITER 987 NEW BEST:: SOT 142479 SOS 104711 HAS SOPS 76804 HAS SOUS 16551 HAS SOUPS 14497 WITH SCORE 14601.711
AT ITER 992 NEW BEST:: SOT 142849 SOS 105081 HAS SOPS 77174 HAS SOUS 16409 HAS SOUPS 14355 WITH SCORE 14460.081
AT ITER 998 NEW BEST:: SOT 142849 SOS 105053 HAS SOPS 77160 HAS SOUS 16402 HAS SOUPS 14348 WITH SCORE 14453.053
AT ITER 1012 NEW BEST:: SOT 142829 SOS 104563 HAS SOPS 77088 HAS SOUS 16310 HAS SOUPS 14303 WITH SCORE 14407.563
AT ITER 1020 NEW BEST:: SOT 142829 SOS 105729 HAS SOPS 77022 HAS SOUS 16334 HAS SOUPS 14275 WITH SCORE 14380.729
AT ITER 1027 NEW BEST:: SOT 142829 SOS 105861 HAS SOPS 77088 HAS SOUS 16263 HAS SOUPS 14237 WITH SCORE 14342.861
AT ITER 1028 NEW BEST:: SOT 142895 SOS 105791 HAS SOPS 77018 HAS SOUS 16206 HAS SOUPS 14180 WITH SCORE 14285.791
AT ITER 1036 NEW BEST:: SOT 142895 SOS 105779 HAS SOPS 77006 HAS SOUS 16200 HAS SOUPS 14174 WITH SCORE 14279.779
AT ITER 1041 NEW BEST:: SOT 141905 SOS 108041 HAS SOPS 83172 HAS SOUS 15701 HAS SOUPS 14019 WITH SCORE 14127.041
AT ITER 1059 NEW BEST:: SOT 141791 SOS 107927 HAS SOPS 83058 HAS SOUS 15686 HAS SOUPS 14004 WITH SCORE 14111.927
AT ITER 1060 NEW BEST:: SOT 141729 SOS 107827 HAS SOPS 82958 HAS SOUS 15605 HAS SOUPS 13923 WITH SCORE 14030.827
AT ITER 1062 NEW BEST:: SOT 141159 SOS 107257 HAS SOPS 82388 HAS SOUS 15604 HAS SOUPS 13922 WITH SCORE 14029.257
AT ITER 1080 NEW BEST:: SOT 141159 SOS 107219 HAS SOPS 82350 HAS SOUS 15595 HAS SOUPS 13913 WITH SCORE 14020.219
AT ITER 1084 NEW BEST:: SOT 141223 SOS 107283 HAS SOPS 82414 HAS SOUS 15579 HAS SOUPS 13897 WITH SCORE 14004.283
AT ITER 1090 NEW BEST:: SOT 141223 SOS 107266 HAS SOPS 82358 HAS SOUS 15582 HAS SOUPS 13892 WITH SCORE 13999.266
AT ITER 1092 NEW BEST:: SOT 141239 SOS 107282 HAS SOPS 82374 HAS SOUS 15578 HAS SOUPS 13888 WITH SCORE 13995.282
AT ITER 1147 NEW BEST:: SOT 141239 SOS 107370 HAS SOPS 82398 HAS SOUS 15594 HAS SOUPS 13876 WITH SCORE 13983.37
AT ITER 1160 NEW BEST:: SOT 141337 SOS 107468 HAS SOPS 82496 HAS SOUS 15588 HAS SOUPS 13870 WITH SCORE 13977.468
AT ITER 1175 NEW BEST:: SOT 141372 SOS 107503 HAS SOPS 82531 HAS SOUS 15582 HAS SOUPS 13864 WITH SCORE 13971.503
AT ITER 1194 NEW BEST:: SOT 140728 SOS 106859 HAS SOPS 81887 HAS SOUS 15498 HAS SOUPS 13780 WITH SCORE 13886.859
AT ITER 1200 NEW BEST:: SOT 140728 SOS 106624 HAS SOPS 81863 HAS SOUS 15460 HAS SOUPS 13742 WITH SCORE 13848.624
AT ITER 1212 NEW BEST:: SOT 140920 SOS 106732 HAS SOPS 81971 HAS SOUS 15323 HAS SOUPS 13605 WITH SCORE 13711.732
AT ITER 1213 NEW BEST:: SOT 140894 SOS 106706 HAS SOPS 81945 HAS SOUS 15310 HAS SOUPS 13592 WITH SCORE 13698.706
AT ITER 1217 NEW BEST:: SOT 140894 SOS 106710 HAS SOPS 81925 HAS SOUS 15301 HAS SOUPS 13579 WITH SCORE 13685.71
AT ITER 1228 NEW BEST:: SOT 141366 SOS 107182 HAS SOPS 82397 HAS SOUS 15240 HAS SOUPS 13518 WITH SCORE 13625.182
AT ITER 1232 NEW BEST:: SOT 141366 SOS 107078 HAS SOPS 82293 HAS SOUS 15194 HAS SOUPS 13472 WITH SCORE 13579.078
AT ITER 1234 NEW BEST:: SOT 141362 SOS 107074 HAS SOPS 82289 HAS SOUS 15192 HAS SOUPS 13470 WITH SCORE 13577.074
AT ITER 1244 NEW BEST:: SOT 140454 SOS 106166 HAS SOPS 81381 HAS SOUS 14968 HAS SOUPS 13246 WITH SCORE 13352.166
AT ITER 1247 NEW BEST:: SOT 140462 SOS 106174 HAS SOPS 81389 HAS SOUS 14791 HAS SOUPS 13069 WITH SCORE 13175.174
AT ITER 1251 NEW BEST:: SOT 140462 SOS 106146 HAS SOPS 81325 HAS SOUS 14777 HAS SOUPS 13037 WITH SCORE 13143.146
AT ITER 1254 NEW BEST:: SOT 140462 SOS 106168 HAS SOPS 81367 HAS SOUS 14725 HAS SOUPS 13023 WITH SCORE 13129.168
AT ITER 1258 NEW BEST:: SOT 140384 SOS 106090 HAS SOPS 81289 HAS SOUS 14708 HAS SOUPS 13006 WITH SCORE 13112.09
AT ITER 1260 NEW BEST:: SOT 140376 SOS 106082 HAS SOPS 81281 HAS SOUS 14704 HAS SOUPS 13002 WITH SCORE 13108.082
AT ITER 1268 NEW BEST:: SOT 140390 SOS 101472 HAS SOPS 77079 HAS SOUS 14694 HAS SOUPS 12992 WITH SCORE 13093.472
AT ITER 1273 NEW BEST:: SOT 140276 SOS 101332 HAS SOPS 76939 HAS SOUS 14632 HAS SOUPS 12930 WITH SCORE 13031.332
AT ITER 1277 NEW BEST:: SOT 140276 SOS 101380 HAS SOPS 76939 HAS SOUS 14631 HAS SOUPS 12917 WITH SCORE 13018.38
AT ITER 1298 NEW BEST:: SOT 140284 SOS 101388 HAS SOPS 76947 HAS SOUS 14630 HAS SOUPS 12916 WITH SCORE 13017.388
AT ITER 1299 NEW BEST:: SOT 140260 SOS 101364 HAS SOPS 76923 HAS SOUS 14630 HAS SOUPS 12916 WITH SCORE 13017.364
AT ITER 1300 NEW BEST:: SOT 140102 SOS 101206 HAS SOPS 76765 HAS SOUS 14472 HAS SOUPS 12758 WITH SCORE 12859.206
AT ITER 1315 NEW BEST:: SOT 140061 SOS 101165 HAS SOPS 76724 HAS SOUS 14472 HAS SOUPS 12758 WITH SCORE 12859.165
AT ITER 1343 NEW BEST:: SOT 140061 SOS 101085 HAS SOPS 76644 HAS SOUS 14492 HAS SOUPS 12738 WITH SCORE 12839.085
AT ITER 1347 NEW BEST:: SOT 140061 SOS 100733 HAS SOPS 76278 HAS SOUS 14499 HAS SOUPS 12738 WITH SCORE 12838.733
AT ITER 1360 NEW BEST:: SOT 140025 SOS 100697 HAS SOPS 76242 HAS SOUS 14463 HAS SOUPS 12702 WITH SCORE 12802.697
AT ITER 1371 NEW BEST:: SOT 140025 SOS 100697 HAS SOPS 76242 HAS SOUS 14460 HAS SOUPS 12699 WITH SCORE 12799.697
AT ITER 1397 NEW BEST:: SOT 139993 SOS 100665 HAS SOPS 76210 HAS SOUS 14460 HAS SOUPS 12699 WITH SCORE 12799.665
AT ITER 1419 NEW BEST:: SOT 139903 SOS 100575 HAS SOPS 76120 HAS SOUS 14421 HAS SOUPS 12660 WITH SCORE 12760.575
AT ITER 1423 NEW BEST:: SOT 139903 SOS 100497 HAS SOPS 76042 HAS SOUS 14382 HAS SOUPS 12621 WITH SCORE 12721.497
AT ITER 1436 NEW BEST:: SOT 139791 SOS 100482 HAS SOPS 76036 HAS SOUS 14350 HAS SOUPS 12592 WITH SCORE 12692.482
AT ITER 1439 NEW BEST:: SOT 139671 SOS 100362 HAS SOPS 75916 HAS SOUS 14350 HAS SOUPS 12592 WITH SCORE 12692.362
AT ITER 1443 NEW BEST:: SOT 139671 SOS 100312 HAS SOPS 75866 HAS SOUS 14372 HAS SOUPS 12570 WITH SCORE 12670.312
AT ITER 1452 NEW BEST:: SOT 139671 SOS 100328 HAS SOPS 75778 HAS SOUS 14320 HAS SOUPS 12518 WITH SCORE 12618.328
AT ITER 1470 NEW BEST:: SOT 139653 SOS 100262 HAS SOPS 75712 HAS SOUS 14311 HAS SOUPS 12509 WITH SCORE 12609.262
AT ITER 1485 NEW BEST:: SOT 139613 SOS 100222 HAS SOPS 75672 HAS SOUS 14271 HAS SOUPS 12469 WITH SCORE 12569.222
AT ITER 1487 NEW BEST:: SOT 139599 SOS 100166 HAS SOPS 75616 HAS SOUS 14265 HAS SOUPS 12463 WITH SCORE 12563.166
AT ITER 1543 NEW BEST:: SOT 139533 SOS 100100 HAS SOPS 75550 HAS SOUS 14199 HAS SOUPS 12397 WITH SCORE 12497.1
AT ITER 1554 NEW BEST:: SOT 139509 SOS 100076 HAS SOPS 75526 HAS SOUS 14187 HAS SOUPS 12385 WITH SCORE 12485.076
AT ITER 1555 NEW BEST:: SOT 139509 SOS 100076 HAS SOPS 75526 HAS SOUS 14170 HAS SOUPS 12368 WITH SCORE 12468.076
AT ITER 1560 NEW BEST:: SOT 139479 SOS 100046 HAS SOPS 75496 HAS SOUS 14164 HAS SOUPS 12362 WITH SCORE 12462.046
AT ITER 1573 NEW BEST:: SOT 139445 SOS 100012 HAS SOPS 75462 HAS SOUS 14063 HAS SOUPS 12261 WITH SCORE 12361.012
AT ITER 1586 NEW BEST:: SOT 139445 SOS 99994 HAS SOPS 75446 HAS SOUS 14054 HAS SOUPS 12253 WITH SCORE 12352.994
AT ITER 1588 NEW BEST:: SOT 139415 SOS 99964 HAS SOPS 75416 HAS SOUS 14039 HAS SOUPS 12238 WITH SCORE 12337.964
AT ITER 1597 NEW BEST:: SOT 139413 SOS 99962 HAS SOPS 75414 HAS SOUS 14037 HAS SOUPS 12236 WITH SCORE 12335.962
AT ITER 1614 NEW BEST:: SOT 139413 SOS 99940 HAS SOPS 75388 HAS SOUS 14038 HAS SOUPS 12223 WITH SCORE 12322.94
AT ITER 1621 NEW BEST:: SOT 139413 SOS 99966 HAS SOPS 75388 HAS SOUS 14025 HAS SOUPS 12197 WITH SCORE 12296.966
AT ITER 1645 NEW BEST:: SOT 139409 SOS 99962 HAS SOPS 75384 HAS SOUS 14020 HAS SOUPS 12192 WITH SCORE 12291.962
AT ITER 1651 NEW BEST:: SOT 139289 SOS 99706 HAS SOPS 75264 HAS SOUS 13891 HAS SOUPS 12131 WITH SCORE 12230.706
AT ITER 1652 NEW BEST:: SOT 139489 SOS 99842 HAS SOPS 75328 HAS SOUS 13813 HAS SOUPS 12035 WITH SCORE 12134.842
AT ITER 1657 NEW BEST:: SOT 139393 SOS 99734 HAS SOPS 75220 HAS SOUS 13783 HAS SOUPS 12005 WITH SCORE 12104.734
AT ITER 1658 NEW BEST:: SOT 139393 SOS 98230 HAS SOPS 75220 HAS SOUS 13801 HAS SOUPS 12005 WITH SCORE 12103.23
AT ITER 1659 NEW BEST:: SOT 139321 SOS 98158 HAS SOPS 75148 HAS SOUS 13759 HAS SOUPS 11963 WITH SCORE 12061.158
AT ITER 1671 NEW BEST:: SOT 139321 SOS 98128 HAS SOPS 75148 HAS SOUS 13744 HAS SOUPS 11963 WITH SCORE 12061.128
AT ITER 1673 NEW BEST:: SOT 139131 SOS 97938 HAS SOPS 74958 HAS SOUS 13531 HAS SOUPS 11750 WITH SCORE 11847.938
AT ITER 1685 NEW BEST:: SOT 139131 SOS 97934 HAS SOPS 74954 HAS SOUS 13528 HAS SOUPS 11748 WITH SCORE 11845.934
AT ITER 1689 NEW BEST:: SOT 139125 SOS 98248 HAS SOPS 75268 HAS SOUS 13514 HAS SOUPS 11734 WITH SCORE 11832.248
AT ITER 1720 NEW BEST:: SOT 139125 SOS 98152 HAS SOPS 75268 HAS SOUS 13490 HAS SOUPS 11734 WITH SCORE 11832.152
AT ITER 1725 NEW BEST:: SOT 139139 SOS 98158 HAS SOPS 75274 HAS SOUS 13481 HAS SOUPS 11733 WITH SCORE 11831.158
AT ITER 1728 NEW BEST:: SOT 139097 SOS 98116 HAS SOPS 75232 HAS SOUS 13460 HAS SOUPS 11712 WITH SCORE 11810.116
AT ITER 1746 NEW BEST:: SOT 139097 SOS 97904 HAS SOPS 75016 HAS SOUS 13444 HAS SOUPS 11694 WITH SCORE 11791.904
AT ITER 1752 NEW BEST:: SOT 139097 SOS 96960 HAS SOPS 74064 HAS SOUS 13398 HAS SOUPS 11647 WITH SCORE 11743.96
AT ITER 1758 NEW BEST:: SOT 139069 SOS 96932 HAS SOPS 74036 HAS SOUS 13372 HAS SOUPS 11621 WITH SCORE 11717.932
AT ITER 1769 NEW BEST:: SOT 139052 SOS 96907 HAS SOPS 74011 HAS SOUS 13346 HAS SOUPS 11595 WITH SCORE 11691.907
AT ITER 1772 NEW BEST:: SOT 138722 SOS 96569 HAS SOPS 73673 HAS SOUS 13243 HAS SOUPS 11492 WITH SCORE 11588.569
AT ITER 1782 NEW BEST:: SOT 138564 SOS 96411 HAS SOPS 73515 HAS SOUS 13243 HAS SOUPS 11492 WITH SCORE 11588.411
AT ITER 1788 NEW BEST:: SOT 138460 SOS 96307 HAS SOPS 73411 HAS SOUS 13095 HAS SOUPS 11344 WITH SCORE 11440.307
AT ITER 1811 NEW BEST:: SOT 138460 SOS 96307 HAS SOPS 73411 HAS SOUS 13086 HAS SOUPS 11335 WITH SCORE 11431.307
AT ITER 1828 NEW BEST:: SOT 138468 SOS 96315 HAS SOPS 73419 HAS SOUS 13083 HAS SOUPS 11332 WITH SCORE 11428.315
AT ITER 1840 NEW BEST:: SOT 138548 SOS 96395 HAS SOPS 73499 HAS SOUS 13063 HAS SOUPS 11312 WITH SCORE 11408.395
AT ITER 1851 NEW BEST:: SOT 138528 SOS 96375 HAS SOPS 73479 HAS SOUS 13043 HAS SOUPS 11292 WITH SCORE 11388.375
AT ITER 1879 NEW BEST:: SOT 138646 SOS 96493 HAS SOPS 73597 HAS SOUS 13016 HAS SOUPS 11265 WITH SCORE 11361.493
AT ITER 1888 NEW BEST:: SOT 138816 SOS 96663 HAS SOPS 73767 HAS SOUS 12960 HAS SOUPS 11209 WITH SCORE 11305.663
AT ITER 1915 NEW BEST:: SOT 138270 SOS 96117 HAS SOPS 73221 HAS SOUS 12800 HAS SOUPS 11049 WITH SCORE 11145.117
AT ITER 1921 NEW BEST:: SOT 138128 SOS 95975 HAS SOPS 73079 HAS SOUS 12709 HAS SOUPS 10958 WITH SCORE 11053.975
AT ITER 1933 NEW BEST:: SOT 138128 SOS 95483 HAS SOPS 72587 HAS SOUS 12709 HAS SOUPS 10958 WITH SCORE 11053.483
AT ITER 1954 NEW BEST:: SOT 138128 SOS 95391 HAS SOPS 72495 HAS SOUS 12684 HAS SOUPS 10933 WITH SCORE 11028.391
AT ITER 1961 NEW BEST:: SOT 138254 SOS 95517 HAS SOPS 72621 HAS SOUS 12646 HAS SOUPS 10895 WITH SCORE 10990.517
AT ITER 1963 NEW BEST:: SOT 138270 SOS 95533 HAS SOPS 72637 HAS SOUS 12596 HAS SOUPS 10845 WITH SCORE 10940.533
AT ITER 1971 NEW BEST:: SOT 138450 SOS 95713 HAS SOPS 72817 HAS SOUS 12594 HAS SOUPS 10843 WITH SCORE 10938.713
AT ITER 1975 NEW BEST:: SOT 138450 SOS 95709 HAS SOPS 72817 HAS SOUS 12593 HAS SOUPS 10843 WITH SCORE 10938.709
AT ITER 1981 NEW BEST:: SOT 138540 SOS 95511 HAS SOPS 72619 HAS SOUS 12579 HAS SOUPS 10829 WITH SCORE 10924.511
AT ITER 1993 NEW BEST:: SOT 138540 SOS 95483 HAS SOPS 72591 HAS SOUS 12573 HAS SOUPS 10823 WITH SCORE 10918.483
AT ITER 2000 NEW BEST:: SOT 138610 SOS 95553 HAS SOPS 72661 HAS SOUS 12411 HAS SOUPS 10661 WITH SCORE 10756.553
AT ITER 2016 NEW BEST:: SOT 138458 SOS 95401 HAS SOPS 72509 HAS SOUS 12405 HAS SOUPS 10655 WITH SCORE 10750.401
AT ITER 2095 NEW BEST:: SOT 138402 SOS 95345 HAS SOPS 72453 HAS SOUS 12384 HAS SOUPS 10634 WITH SCORE 10729.345
AT ITER 2147 NEW BEST:: SOT 138492 SOS 95435 HAS SOPS 72543 HAS SOUS 12376 HAS SOUPS 10626 WITH SCORE 10721.435
AT ITER 2159 NEW BEST:: SOT 138492 SOS 95411 HAS SOPS 72519 HAS SOUS 12356 HAS SOUPS 10606 WITH SCORE 10701.411
AT ITER 2161 NEW BEST:: SOT 138492 SOS 95407 HAS SOPS 72515 HAS SOUS 12356 HAS SOUPS 10606 WITH SCORE 10701.407
AT ITER 2196 NEW BEST:: SOT 138492 SOS 95447 HAS SOPS 72555 HAS SOUS 12352 HAS SOUPS 10602 WITH SCORE 10697.447
AT ITER 2197 NEW BEST:: SOT 138492 SOS 95443 HAS SOPS 72553 HAS SOUS 12351 HAS SOUPS 10601 WITH SCORE 10696.443
AT ITER 2204 NEW BEST:: SOT 138498 SOS 95449 HAS SOPS 72559 HAS SOUS 12262 HAS SOUPS 10574 WITH SCORE 10669.449
AT ITER 2215 NEW BEST:: SOT 138498 SOS 95446 HAS SOPS 72557 HAS SOUS 12261 HAS SOUPS 10574 WITH SCORE 10669.446
AT ITER 2216 NEW BEST:: SOT 138411 SOS 95377 HAS SOPS 72488 HAS SOUS 12232 HAS SOUPS 10545 WITH SCORE 10640.377
AT ITER 2238 NEW BEST:: SOT 138411 SOS 95373 HAS SOPS 72484 HAS SOUS 12230 HAS SOUPS 10543 WITH SCORE 10638.373
AT ITER 2251 NEW BEST:: SOT 138343 SOS 95293 HAS SOPS 73184 HAS SOUS 12162 HAS SOUPS 10505 WITH SCORE 10600.293
AT ITER 2275 NEW BEST:: SOT 138271 SOS 95555 HAS SOPS 71936 HAS SOUS 12025 HAS SOUPS 10419 WITH SCORE 10514.555
AT ITER 2286 NEW BEST:: SOT 138214 SOS 95498 HAS SOPS 71879 HAS SOUS 12008 HAS SOUPS 10402 WITH SCORE 10497.498
AT ITER 2302 NEW BEST:: SOT 138214 SOS 95492 HAS SOPS 71879 HAS SOUS 11997 HAS SOUPS 10371 WITH SCORE 10466.492
AT ITER 2306 NEW BEST:: SOT 138098 SOS 95376 HAS SOPS 71763 HAS SOUS 11942 HAS SOUPS 10316 WITH SCORE 10411.376
AT ITER 2319 NEW BEST:: SOT 138098 SOS 96176 HAS SOPS 71747 HAS SOUS 11939 HAS SOUPS 10308 WITH SCORE 10404.176
AT ITER 2320 NEW BEST:: SOT 138074 SOS 96152 HAS SOPS 71723 HAS SOUS 11931 HAS SOUPS 10300 WITH SCORE 10396.152
AT ITER 2364 NEW BEST:: SOT 138074 SOS 96128 HAS SOPS 71715 HAS SOUS 11935 HAS SOUPS 10300 WITH SCORE 10396.128
AT ITER 2375 NEW BEST:: SOT 138040 SOS 96094 HAS SOPS 71681 HAS SOUS 11923 HAS SOUPS 10288 WITH SCORE 10384.094
AT ITER 2381 NEW BEST:: SOT 138034 SOS 96088 HAS SOPS 71675 HAS SOUS 11921 HAS SOUPS 10286 WITH SCORE 10382.088
AT ITER 2428 NEW BEST:: SOT 138034 SOS 96088 HAS SOPS 71675 HAS SOUS 11655 HAS SOUPS 10020 WITH SCORE 10116.088
AT ITER 2450 NEW BEST:: SOT 138034 SOS 96076 HAS SOPS 71663 HAS SOUS 11654 HAS SOUPS 10019 WITH SCORE 10115.076
AT ITER 2476 NEW BEST:: SOT 138034 SOS 96076 HAS SOPS 71663 HAS SOUS 11595 HAS SOUPS 9960 WITH SCORE 10056.076
AT ITER 2522 NEW BEST:: SOT 138017 SOS 96042 HAS SOPS 71629 HAS SOUS 11586 HAS SOUPS 9951 WITH SCORE 10047.042
AT ITER 2524 NEW BEST:: SOT 138017 SOS 95380 HAS SOPS 70703 HAS SOUS 11568 HAS SOUPS 9927 WITH SCORE 10022.38
AT ITER 2530 NEW BEST:: SOT 138003 SOS 95366 HAS SOPS 70689 HAS SOUS 11568 HAS SOUPS 9927 WITH SCORE 10022.366
AT ITER 2531 NEW BEST:: SOT 138003 SOS 95386 HAS SOPS 70679 HAS SOUS 11578 HAS SOUPS 9922 WITH SCORE 10017.386
AT ITER 2538 NEW BEST:: SOT 137895 SOS 95278 HAS SOPS 70571 HAS SOUS 11570 HAS SOUPS 9914 WITH SCORE 10009.278
AT ITER 2539 NEW BEST:: SOT 137481 SOS 95004 HAS SOPS 70297 HAS SOUS 11498 HAS SOUPS 9842 WITH SCORE 9937.004
AT ITER 2572 NEW BEST:: SOT 137351 SOS 94874 HAS SOPS 70167 HAS SOUS 11460 HAS SOUPS 9804 WITH SCORE 9898.874
AT ITER 2578 NEW BEST:: SOT 137357 SOS 94880 HAS SOPS 70173 HAS SOUS 11405 HAS SOUPS 9749 WITH SCORE 9843.88
AT ITER 2584 NEW BEST:: SOT 137433 SOS 94956 HAS SOPS 70249 HAS SOUS 11396 HAS SOUPS 9740 WITH SCORE 9834.956
AT ITER 2599 NEW BEST:: SOT 137409 SOS 94936 HAS SOPS 70229 HAS SOUS 11386 HAS SOUPS 9730 WITH SCORE 9824.936
AT ITER 2614 NEW BEST:: SOT 137489 SOS 95016 HAS SOPS 70309 HAS SOUS 11366 HAS SOUPS 9710 WITH SCORE 9805.016
AT ITER 2617 NEW BEST:: SOT 137293 SOS 94820 HAS SOPS 70113 HAS SOUS 11322 HAS SOUPS 9666 WITH SCORE 9760.82
AT ITER 2646 NEW BEST:: SOT 137293 SOS 94820 HAS SOPS 69463 HAS SOUS 11327 HAS SOUPS 9646 WITH SCORE 9740.82
AT ITER 2694 NEW BEST:: SOT 137293 SOS 93468 HAS SOPS 69463 HAS SOUS 11308 HAS SOUPS 9646 WITH SCORE 9739.468
AT ITER 2708 NEW BEST:: SOT 137375 SOS 93550 HAS SOPS 69545 HAS SOUS 11281 HAS SOUPS 9619 WITH SCORE 9712.55
AT ITER 2726 NEW BEST:: SOT 137291 SOS 93466 HAS SOPS 69461 HAS SOUS 11260 HAS SOUPS 9598 WITH SCORE 9691.466
AT ITER 2758 NEW BEST:: SOT 137291 SOS 93460 HAS SOPS 69455 HAS SOUS 11260 HAS SOUPS 9598 WITH SCORE 9691.46
AT ITER 2771 NEW BEST:: SOT 137281 SOS 93443 HAS SOPS 69438 HAS SOUS 11252 HAS SOUPS 9590 WITH SCORE 9683.443
AT ITER 2772 NEW BEST:: SOT 137025 SOS 93187 HAS SOPS 69182 HAS SOUS 11124 HAS SOUPS 9462 WITH SCORE 9555.187
AT ITER 2774 NEW BEST:: SOT 137025 SOS 93151 HAS SOPS 69182 HAS SOUS 11124 HAS SOUPS 9462 WITH SCORE 9555.151
AT ITER 2820 NEW BEST:: SOT 137035 SOS 93161 HAS SOPS 69192 HAS SOUS 11120 HAS SOUPS 9458 WITH SCORE 9551.161
AT ITER 2833 NEW BEST:: SOT 137035 SOS 92211 HAS SOPS 69192 HAS SOUS 11111 HAS SOUPS 9458 WITH SCORE 9550.211
AT ITER 2844 NEW BEST:: SOT 136945 SOS 92121 HAS SOPS 69102 HAS SOUS 10969 HAS SOUPS 9316 WITH SCORE 9408.121
AT ITER 2847 NEW BEST:: SOT 136939 SOS 92111 HAS SOPS 69092 HAS SOUS 10960 HAS SOUPS 9307 WITH SCORE 9399.111
AT ITER 2867 NEW BEST:: SOT 136939 SOS 92067 HAS SOPS 69048 HAS SOUS 10960 HAS SOUPS 9307 WITH SCORE 9399.067
AT ITER 2872 NEW BEST:: SOT 137017 SOS 92145 HAS SOPS 69126 HAS SOUS 10873 HAS SOUPS 9220 WITH SCORE 9312.145
AT ITER 2919 NEW BEST:: SOT 137017 SOS 92199 HAS SOPS 69124 HAS SOUS 10846 HAS SOUPS 9197 WITH SCORE 9289.199
AT ITER 2924 NEW BEST:: SOT 137003 SOS 92185 HAS SOPS 69110 HAS SOUS 10844 HAS SOUPS 9195 WITH SCORE 9287.185
AT ITER 2947 NEW BEST:: SOT 137003 SOS 92185 HAS SOPS 69110 HAS SOUS 10837 HAS SOUPS 9188 WITH SCORE 9280.185
AT ITER 2959 NEW BEST:: SOT 136985 SOS 92167 HAS SOPS 69092 HAS SOUS 10807 HAS SOUPS 9158 WITH SCORE 9250.167
AT ITER 2963 NEW BEST:: SOT 137023 SOS 92205 HAS SOPS 69130 HAS SOUS 10748 HAS SOUPS 9099 WITH SCORE 9191.205
AT ITER 2970 NEW BEST:: SOT 136991 SOS 92173 HAS SOPS 69098 HAS SOUS 10739 HAS SOUPS 9090 WITH SCORE 9182.173
AT ITER 3008 NEW BEST:: SOT 136975 SOS 92157 HAS SOPS 69082 HAS SOUS 10739 HAS SOUPS 9090 WITH SCORE 9182.157
AT ITER 3020 NEW BEST:: SOT 137033 SOS 92215 HAS SOPS 69140 HAS SOUS 10701 HAS SOUPS 9052 WITH SCORE 9144.215
AT ITER 3023 NEW BEST:: SOT 137045 SOS 92227 HAS SOPS 69152 HAS SOUS 10604 HAS SOUPS 8955 WITH SCORE 9047.227
AT ITER 3062 NEW BEST:: SOT 136859 SOS 92188 HAS SOPS 69161 HAS SOUS 10562 HAS SOUPS 8937 WITH SCORE 9029.188
AT ITER 3069 NEW BEST:: SOT 136385 SOS 94302 HAS SOPS 73675 HAS SOUS 10354 HAS SOUPS 8883 WITH SCORE 8977.302
AT ITER 3085 NEW BEST:: SOT 136377 SOS 94294 HAS SOPS 73667 HAS SOUS 10289 HAS SOUPS 8818 WITH SCORE 8912.294
AT ITER 3133 NEW BEST:: SOT 136387 SOS 94315 HAS SOPS 73688 HAS SOUS 10286 HAS SOUPS 8815 WITH SCORE 8909.315
AT ITER 3162 NEW BEST:: SOT 136399 SOS 94327 HAS SOPS 73700 HAS SOUS 10277 HAS SOUPS 8806 WITH SCORE 8900.327
AT ITER 3174 NEW BEST:: SOT 136399 SOS 94259 HAS SOPS 73700 HAS SOUS 10260 HAS SOUPS 8806 WITH SCORE 8900.259
AT ITER 3180 NEW BEST:: SOT 136295 SOS 94155 HAS SOPS 73596 HAS SOUS 10235 HAS SOUPS 8781 WITH SCORE 8875.155
AT ITER 3188 NEW BEST:: SOT 135879 SOS 93739 HAS SOPS 73180 HAS SOUS 10205 HAS SOUPS 8751 WITH SCORE 8844.739
AT ITER 3198 NEW BEST:: SOT 135871 SOS 93731 HAS SOPS 73172 HAS SOUS 10205 HAS SOUPS 8751 WITH SCORE 8844.731
AT ITER 3203 NEW BEST:: SOT 135851 SOS 93711 HAS SOPS 73152 HAS SOUS 10185 HAS SOUPS 8731 WITH SCORE 8824.711
AT ITER 3207 NEW BEST:: SOT 135847 SOS 93703 HAS SOPS 73128 HAS SOUS 10181 HAS SOUPS 8719 WITH SCORE 8812.703
AT ITER 3209 NEW BEST:: SOT 135847 SOS 93691 HAS SOPS 73116 HAS SOUS 10193 HAS SOUPS 8719 WITH SCORE 8812.691
AT ITER 3225 NEW BEST:: SOT 135805 SOS 93649 HAS SOPS 73074 HAS SOUS 10187 HAS SOUPS 8713 WITH SCORE 8806.649
AT ITER 3252 NEW BEST:: SOT 135877 SOS 93721 HAS SOPS 73146 HAS SOUS 10151 HAS SOUPS 8677 WITH SCORE 8770.721
AT ITER 3270 NEW BEST:: SOT 135877 SOS 93741 HAS SOPS 73126 HAS SOUS 10151 HAS SOUPS 8667 WITH SCORE 8760.741
AT ITER 3287 NEW BEST:: SOT 135877 SOS 93741 HAS SOPS 73126 HAS SOUS 10127 HAS SOUPS 8643 WITH SCORE 8736.741
AT ITER 3298 NEW BEST:: SOT 135877 SOS 93739 HAS SOPS 73124 HAS SOUS 10126 HAS SOUPS 8642 WITH SCORE 8735.739
AT ITER 3323 NEW BEST:: SOT 135867 SOS 93729 HAS SOPS 73114 HAS SOUS 10117 HAS SOUPS 8633 WITH SCORE 8726.729
AT ITER 3343 NEW BEST:: SOT 135863 SOS 93725 HAS SOPS 73110 HAS SOUS 10116 HAS SOUPS 8632 WITH SCORE 8725.725
AT ITER 3380 NEW BEST:: SOT 136013 SOS 93878 HAS SOPS 73263 HAS SOUS 10087 HAS SOUPS 8603 WITH SCORE 8696.878
AT ITER 3416 NEW BEST:: SOT 136299 SOS 94164 HAS SOPS 73549 HAS SOUS 10085 HAS SOUPS 8601 WITH SCORE 8695.164
AT ITER 3506 NEW BEST:: SOT 136299 SOS 94182 HAS SOPS 73543 HAS SOUS 10094 HAS SOUPS 8598 WITH SCORE 8692.182
AT ITER 3507 NEW BEST:: SOT 136299 SOS 94152 HAS SOPS 73543 HAS SOUS 10079 HAS SOUPS 8598 WITH SCORE 8692.152
AT ITER 3520 NEW BEST:: SOT 136377 SOS 94140 HAS SOPS 73531 HAS SOUS 10012 HAS SOUPS 8531 WITH SCORE 8625.14
AT ITER 3522 NEW BEST:: SOT 136375 SOS 94138 HAS SOPS 73529 HAS SOUS 10012 HAS SOUPS 8531 WITH SCORE 8625.138
AT ITER 3531 NEW BEST:: SOT 136424 SOS 94187 HAS SOPS 73578 HAS SOUS 10007 HAS SOUPS 8526 WITH SCORE 8620.187
AT ITER 3534 NEW BEST:: SOT 136708 SOS 94539 HAS SOPS 73930 HAS SOUS 9998 HAS SOUPS 8517 WITH SCORE 8611.539
AT ITER 3542 NEW BEST:: SOT 136963 SOS 94803 HAS SOPS 74194 HAS SOUS 9985 HAS SOUPS 8504 WITH SCORE 8598.803
AT ITER 3543 NEW BEST:: SOT 136963 SOS 94801 HAS SOPS 74192 HAS SOUS 9984 HAS SOUPS 8503 WITH SCORE 8597.801
AT ITER 3552 NEW BEST:: SOT 136963 SOS 94773 HAS SOPS 74192 HAS SOUS 9970 HAS SOUPS 8503 WITH SCORE 8597.773
AT ITER 3558 NEW BEST:: SOT 136939 SOS 94749 HAS SOPS 74168 HAS SOUS 9969 HAS SOUPS 8502 WITH SCORE 8596.749
AT ITER 3595 NEW BEST:: SOT 136933 SOS 94743 HAS SOPS 74162 HAS SOUS 9966 HAS SOUPS 8499 WITH SCORE 8593.743
AT ITER 3621 NEW BEST:: SOT 136967 SOS 94777 HAS SOPS 74196 HAS SOUS 9948 HAS SOUPS 8481 WITH SCORE 8575.777
AT ITER 3626 NEW BEST:: SOT 136825 SOS 94635 HAS SOPS 74054 HAS SOUS 9887 HAS SOUPS 8420 WITH SCORE 8514.635
AT ITER 3628 NEW BEST:: SOT 136821 SOS 94630 HAS SOPS 74049 HAS SOUS 9885 HAS SOUPS 8418 WITH SCORE 8512.63
AT ITER 3656 NEW BEST:: SOT 136835 SOS 94644 HAS SOPS 74063 HAS SOUS 9880 HAS SOUPS 8413 WITH SCORE 8507.644
AT ITER 3664 NEW BEST:: SOT 136807 SOS 94609 HAS SOPS 74028 HAS SOUS 9866 HAS SOUPS 8399 WITH SCORE 8493.609
AT ITER 3691 NEW BEST:: SOT 136807 SOS 94601 HAS SOPS 74020 HAS SOUS 9862 HAS SOUPS 8395 WITH SCORE 8489.601
AT ITER 3699 NEW BEST:: SOT 136752 SOS 94551 HAS SOPS 73970 HAS SOUS 9862 HAS SOUPS 8395 WITH SCORE 8489.551
AT ITER 3743 NEW BEST:: SOT 136676 SOS 94475 HAS SOPS 73894 HAS SOUS 9850 HAS SOUPS 8383 WITH SCORE 8477.475
AT ITER 3764 NEW BEST:: SOT 136689 SOS 94531 HAS SOPS 73950 HAS SOUS 9848 HAS SOUPS 8381 WITH SCORE 8475.531
AT ITER 3776 NEW BEST:: SOT 136674 SOS 94516 HAS SOPS 73935 HAS SOUS 9842 HAS SOUPS 8375 WITH SCORE 8469.516
AT ITER 3817 NEW BEST:: SOT 136620 SOS 94462 HAS SOPS 73881 HAS SOUS 9834 HAS SOUPS 8367 WITH SCORE 8461.462
AT ITER 3822 NEW BEST:: SOT 136500 SOS 94342 HAS SOPS 73761 HAS SOUS 9817 HAS SOUPS 8350 WITH SCORE 8444.342
AT ITER 3839 NEW BEST:: SOT 136466 SOS 94308 HAS SOPS 73727 HAS SOUS 9817 HAS SOUPS 8350 WITH SCORE 8444.308
AT ITER 3850 NEW BEST:: SOT 136210 SOS 94052 HAS SOPS 73471 HAS SOUS 9757 HAS SOUPS 8290 WITH SCORE 8384.052
AT ITER 3863 NEW BEST:: SOT 136210 SOS 94052 HAS SOPS 73471 HAS SOUS 9753 HAS SOUPS 8286 WITH SCORE 8380.052
AT ITER 3874 NEW BEST:: SOT 136174 SOS 94016 HAS SOPS 73435 HAS SOUS 9718 HAS SOUPS 8251 WITH SCORE 8345.016
AT ITER 3895 NEW BEST:: SOT 136172 SOS 94014 HAS SOPS 73433 HAS SOUS 9717 HAS SOUPS 8250 WITH SCORE 8344.014
AT ITER 3909 NEW BEST:: SOT 136114 SOS 93956 HAS SOPS 73375 HAS SOUS 9688 HAS SOUPS 8221 WITH SCORE 8314.956
AT ITER 3918 NEW BEST:: SOT 136110 SOS 93910 HAS SOPS 73299 HAS SOUS 9685 HAS SOUPS 8212 WITH SCORE 8305.91
AT ITER 3938 NEW BEST:: SOT 136076 SOS 93876 HAS SOPS 73265 HAS SOUS 9685 HAS SOUPS 8212 WITH SCORE 8305.876
AT ITER 3941 NEW BEST:: SOT 136076 SOS 93872 HAS SOPS 73261 HAS SOUS 9681 HAS SOUPS 8210 WITH SCORE 8303.872
AT ITER 3958 NEW BEST:: SOT 136076 SOS 93868 HAS SOPS 73259 HAS SOUS 9679 HAS SOUPS 8209 WITH SCORE 8302.868
AT ITER 4047 NEW BEST:: SOT 136064 SOS 93878 HAS SOPS 73269 HAS SOUS 9654 HAS SOUPS 8184 WITH SCORE 8277.878
AT ITER 4048 NEW BEST:: SOT 135872 SOS 93686 HAS SOPS 73077 HAS SOUS 9621 HAS SOUPS 8151 WITH SCORE 8244.686
AT ITER 4085 NEW BEST:: SOT 135872 SOS 93682 HAS SOPS 73053 HAS SOUS 9606 HAS SOUPS 8139 WITH SCORE 8232.682
AT ITER 4088 NEW BEST:: SOT 135868 SOS 93678 HAS SOPS 73049 HAS SOUS 9604 HAS SOUPS 8137 WITH SCORE 8230.678
AT ITER 4093 NEW BEST:: SOT 135860 SOS 93686 HAS SOPS 73005 HAS SOUS 9595 HAS SOUPS 8122 WITH SCORE 8215.686
AT ITER 4103 NEW BEST:: SOT 135808 SOS 93634 HAS SOPS 72953 HAS SOUS 9543 HAS SOUPS 8070 WITH SCORE 8163.634
AT ITER 4125 NEW BEST:: SOT 135754 SOS 93580 HAS SOPS 72899 HAS SOUS 9543 HAS SOUPS 8070 WITH SCORE 8163.58
AT ITER 4138 NEW BEST:: SOT 135770 SOS 93596 HAS SOPS 72915 HAS SOUS 9534 HAS SOUPS 8061 WITH SCORE 8154.596
AT ITER 4152 NEW BEST:: SOT 135770 SOS 93566 HAS SOPS 72885 HAS SOUS 9534 HAS SOUPS 8061 WITH SCORE 8154.566
AT ITER 4191 NEW BEST:: SOT 135770 SOS 93514 HAS SOPS 72833 HAS SOUS 9534 HAS SOUPS 8061 WITH SCORE 8154.514
AT ITER 4209 NEW BEST:: SOT 135770 SOS 93532 HAS SOPS 72835 HAS SOUS 9533 HAS SOUPS 8057 WITH SCORE 8150.532
AT ITER 4259 NEW BEST:: SOT 135742 SOS 93504 HAS SOPS 72807 HAS SOUS 9526 HAS SOUPS 8050 WITH SCORE 8143.504
AT ITER 4273 NEW BEST:: SOT 135630 SOS 93392 HAS SOPS 72695 HAS SOUS 9522 HAS SOUPS 8046 WITH SCORE 8139.392
AT ITER 4284 NEW BEST:: SOT 135630 SOS 93392 HAS SOPS 72695 HAS SOUS 9496 HAS SOUPS 8020 WITH SCORE 8113.392
AT ITER 4289 NEW BEST:: SOT 135738 SOS 92698 HAS SOPS 71233 HAS SOUS 9550 HAS SOUPS 8014 WITH SCORE 8106.698
AT ITER 4300 NEW BEST:: SOT 135734 SOS 92694 HAS SOPS 71229 HAS SOUS 9542 HAS SOUPS 8006 WITH SCORE 8098.694
AT ITER 4301 NEW BEST:: SOT 135678 SOS 92638 HAS SOPS 71173 HAS SOUS 9506 HAS SOUPS 7970 WITH SCORE 8062.638
AT ITER 4326 NEW BEST:: SOT 135688 SOS 92614 HAS SOPS 71137 HAS SOUS 9488 HAS SOUPS 7952 WITH SCORE 8044.614
AT ITER 4339 NEW BEST:: SOT 135584 SOS 92510 HAS SOPS 71033 HAS SOUS 9445 HAS SOUPS 7909 WITH SCORE 8001.51
AT ITER 4346 NEW BEST:: SOT 135568 SOS 92494 HAS SOPS 71017 HAS SOUS 9437 HAS SOUPS 7901 WITH SCORE 7993.494
AT ITER 4373 NEW BEST:: SOT 135536 SOS 92462 HAS SOPS 70985 HAS SOUS 9433 HAS SOUPS 7897 WITH SCORE 7989.462
AT ITER 4381 NEW BEST:: SOT 135524 SOS 92450 HAS SOPS 70973 HAS SOUS 9421 HAS SOUPS 7885 WITH SCORE 7977.45
AT ITER 4445 NEW BEST:: SOT 135514 SOS 92440 HAS SOPS 70963 HAS SOUS 9412 HAS SOUPS 7876 WITH SCORE 7968.44
AT ITER 4497 NEW BEST:: SOT 135514 SOS 92296 HAS SOPS 70927 HAS SOUS 9394 HAS SOUPS 7867 WITH SCORE 7959.296
AT ITER 4502 NEW BEST:: SOT 135514 SOS 91988 HAS SOPS 70927 HAS SOUS 9383 HAS SOUPS 7867 WITH SCORE 7958.988
AT ITER 4514 NEW BEST:: SOT 135514 SOS 91960 HAS SOPS 70927 HAS SOUS 9316 HAS SOUPS 7814 WITH SCORE 7905.96
AT ITER 4575 NEW BEST:: SOT 135542 SOS 91988 HAS SOPS 70955 HAS SOUS 9302 HAS SOUPS 7800 WITH SCORE 7891.988
AT ITER 4595 NEW BEST:: SOT 135454 SOS 91900 HAS SOPS 70867 HAS SOUS 9297 HAS SOUPS 7795 WITH SCORE 7886.9
AT ITER 4667 NEW BEST:: SOT 135446 SOS 91892 HAS SOPS 70859 HAS SOUS 9297 HAS SOUPS 7795 WITH SCORE 7886.892
AT ITER 4711 NEW BEST:: SOT 135424 SOS 91898 HAS SOPS 70865 HAS SOUS 9274 HAS SOUPS 7772 WITH SCORE 7863.898
AT ITER 4713 NEW BEST:: SOT 135406 SOS 91880 HAS SOPS 70847 HAS SOUS 9247 HAS SOUPS 7745 WITH SCORE 7836.88
AT ITER 4775 NEW BEST:: SOT 135504 SOS 91978 HAS SOPS 70945 HAS SOUS 9241 HAS SOUPS 7739 WITH SCORE 7830.978
AT ITER 4781 NEW BEST:: SOT 135504 SOS 91992 HAS SOPS 70953 HAS SOUS 9236 HAS SOUPS 7733 WITH SCORE 7824.992
AT ITER 4838 NEW BEST:: SOT 135355 SOS 91843 HAS SOPS 70804 HAS SOUS 9198 HAS SOUPS 7695 WITH SCORE 7786.843
AT ITER 4851 NEW BEST:: SOT 135378 SOS 91866 HAS SOPS 70827 HAS SOUS 9194 HAS SOUPS 7691 WITH SCORE 7782.866
AT ITER 4895 NEW BEST:: SOT 135320 SOS 91808 HAS SOPS 70769 HAS SOUS 9190 HAS SOUPS 7687 WITH SCORE 7778.808
AT ITER 4899 NEW BEST:: SOT 135364 SOS 91852 HAS SOPS 70941 HAS SOUS 9112 HAS SOUPS 7673 WITH SCORE 7764.852
AT ITER 4902 NEW BEST:: SOT 135376 SOS 91904 HAS SOPS 71041 HAS SOUS 9039 HAS SOUPS 7669 WITH SCORE 7760.904
AT ITER 4915 NEW BEST:: SOT 135450 SOS 91978 HAS SOPS 71115 HAS SOUS 9011 HAS SOUPS 7641 WITH SCORE 7732.978
AT ITER 4919 NEW BEST:: SOT 135516 SOS 92044 HAS SOPS 71181 HAS SOUS 8967 HAS SOUPS 7597 WITH SCORE 7689.044
AT ITER 4937 NEW BEST:: SOT 135470 SOS 91998 HAS SOPS 71135 HAS SOUS 8964 HAS SOUPS 7594 WITH SCORE 7685.998
AT ITER 4953 NEW BEST:: SOT 135430 SOS 91958 HAS SOPS 71095 HAS SOUS 8946 HAS SOUPS 7576 WITH SCORE 7667.958
AT ITER 4958 NEW BEST:: SOT 135333 SOS 91852 HAS SOPS 70989 HAS SOUS 8875 HAS SOUPS 7505 WITH SCORE 7596.852
AT ITER 4967 NEW BEST:: SOT 135343 SOS 91862 HAS SOPS 70999 HAS SOUS 8872 HAS SOUPS 7502 WITH SCORE 7593.862
AT ITER 4976 NEW BEST:: SOT 135367 SOS 91886 HAS SOPS 71023 HAS SOUS 8859 HAS SOUPS 7489 WITH SCORE 7580.886
AT ITER 4992 NEW BEST:: SOT 135355 SOS 91874 HAS SOPS 71011 HAS SOUS 8853 HAS SOUPS 7483 WITH SCORE 7574.874
AT ITER 5057 NEW BEST:: SOT 135349 SOS 91868 HAS SOPS 71005 HAS SOUS 8851 HAS SOUPS 7481 WITH SCORE 7572.868
AT ITER 5069 NEW BEST:: SOT 135453 SOS 91972 HAS SOPS 71109 HAS SOUS 8843 HAS SOUPS 7473 WITH SCORE 7564.972
AT ITER 5095 NEW BEST:: SOT 135359 SOS 91878 HAS SOPS 71015 HAS SOUS 8796 HAS SOUPS 7426 WITH SCORE 7517.878
AT ITER 5127 NEW BEST:: SOT 135363 SOS 91882 HAS SOPS 71019 HAS SOUS 8787 HAS SOUPS 7417 WITH SCORE 7508.882
AT ITER 5142 NEW BEST:: SOT 135425 SOS 91944 HAS SOPS 71081 HAS SOUS 8786 HAS SOUPS 7416 WITH SCORE 7507.944
AT ITER 5148 NEW BEST:: SOT 135361 SOS 91880 HAS SOPS 71017 HAS SOUS 8786 HAS SOUPS 7416 WITH SCORE 7507.88
AT ITER 5168 NEW BEST:: SOT 135321 SOS 91864 HAS SOPS 71007 HAS SOUS 8765 HAS SOUPS 7401 WITH SCORE 7492.864
AT ITER 5176 NEW BEST:: SOT 135171 SOS 91714 HAS SOPS 70857 HAS SOUS 8738 HAS SOUPS 7374 WITH SCORE 7465.714
AT ITER 5177 NEW BEST:: SOT 135171 SOS 91690 HAS SOPS 70833 HAS SOUS 8738 HAS SOUPS 7374 WITH SCORE 7465.69
AT ITER 5282 NEW BEST:: SOT 135167 SOS 91686 HAS SOPS 70829 HAS SOUS 8738 HAS SOUPS 7374 WITH SCORE 7465.686
AT ITER 5317 NEW BEST:: SOT 135167 SOS 91686 HAS SOPS 70829 HAS SOUS 8732 HAS SOUPS 7368 WITH SCORE 7459.686
AT ITER 5320 NEW BEST:: SOT 135151 SOS 91670 HAS SOPS 70813 HAS SOUS 8731 HAS SOUPS 7367 WITH SCORE 7458.67
AT ITER 5351 NEW BEST:: SOT 135161 SOS 91680 HAS SOPS 70823 HAS SOUS 8723 HAS SOUPS 7359 WITH SCORE 7450.68
AT ITER 5358 NEW BEST:: SOT 135161 SOS 91676 HAS SOPS 70819 HAS SOUS 8722 HAS SOUPS 7358 WITH SCORE 7449.676
AT ITER 5363 NEW BEST:: SOT 135161 SOS 91680 HAS SOPS 70807 HAS SOUS 8717 HAS SOUPS 7352 WITH SCORE 7443.68
AT ITER 5417 NEW BEST:: SOT 134799 SOS 94230 HAS SOPS 76013 HAS SOUS 8545 HAS SOUPS 7342 WITH SCORE 7436.23
AT ITER 5427 NEW BEST:: SOT 134799 SOS 94306 HAS SOPS 75993 HAS SOUS 8572 HAS SOUPS 7332 WITH SCORE 7426.306
AT ITER 5447 NEW BEST:: SOT 134733 SOS 94240 HAS SOPS 75927 HAS SOUS 8558 HAS SOUPS 7318 WITH SCORE 7412.24
AT ITER 5456 NEW BEST:: SOT 134733 SOS 93216 HAS SOPS 75927 HAS SOUS 8550 HAS SOUPS 7318 WITH SCORE 7411.216
AT ITER 5463 NEW BEST:: SOT 134677 SOS 93160 HAS SOPS 75871 HAS SOUS 8513 HAS SOUPS 7281 WITH SCORE 7374.16
AT ITER 5477 NEW BEST:: SOT 134669 SOS 93152 HAS SOPS 75863 HAS SOUS 8503 HAS SOUPS 7271 WITH SCORE 7364.152
AT ITER 5603 NEW BEST:: SOT 134815 SOS 93344 HAS SOPS 76055 HAS SOUS 8496 HAS SOUPS 7264 WITH SCORE 7357.344
AT ITER 5642 NEW BEST:: SOT 134823 SOS 93352 HAS SOPS 76063 HAS SOUS 8494 HAS SOUPS 7262 WITH SCORE 7355.352
AT ITER 5644 NEW BEST:: SOT 134777 SOS 93306 HAS SOPS 76017 HAS SOUS 8492 HAS SOUPS 7260 WITH SCORE 7353.306
AT ITER 5650 NEW BEST:: SOT 134797 SOS 93326 HAS SOPS 76037 HAS SOUS 8489 HAS SOUPS 7257 WITH SCORE 7350.326
AT ITER 5654 NEW BEST:: SOT 134761 SOS 93290 HAS SOPS 76001 HAS SOUS 8471 HAS SOUPS 7239 WITH SCORE 7332.29
AT ITER 5674 NEW BEST:: SOT 134869 SOS 93398 HAS SOPS 76109 HAS SOUS 8454 HAS SOUPS 7222 WITH SCORE 7315.398
AT ITER 5715 NEW BEST:: SOT 134869 SOS 93398 HAS SOPS 76109 HAS SOUS 8454 HAS SOUPS 7220 WITH SCORE 7313.398
AT ITER 5731 NEW BEST:: SOT 134852 SOS 93334 HAS SOPS 76045 HAS SOUS 8452 HAS SOUPS 7218 WITH SCORE 7311.334
AT ITER 5753 NEW BEST:: SOT 134808 SOS 93290 HAS SOPS 76001 HAS SOUS 8415 HAS SOUPS 7181 WITH SCORE 7274.29
AT ITER 5791 NEW BEST:: SOT 134867 SOS 93349 HAS SOPS 76060 HAS SOUS 8356 HAS SOUPS 7122 WITH SCORE 7215.349
AT ITER 5792 NEW BEST:: SOT 134867 SOS 93355 HAS SOPS 76054 HAS SOUS 8356 HAS SOUPS 7119 WITH SCORE 7212.355
AT ITER 5808 NEW BEST:: SOT 134839 SOS 93327 HAS SOPS 76026 HAS SOUS 8342 HAS SOUPS 7105 WITH SCORE 7198.327
AT ITER 5809 NEW BEST:: SOT 134839 SOS 93327 HAS SOPS 75964 HAS SOUS 8418 HAS SOUPS 7102 WITH SCORE 7195.327
AT ITER 5872 NEW BEST:: SOT 134851 SOS 93339 HAS SOPS 75976 HAS SOUS 8406 HAS SOUPS 7090 WITH SCORE 7183.339
AT ITER 5906 NEW BEST:: SOT 134881 SOS 93369 HAS SOPS 76006 HAS SOUS 8403 HAS SOUPS 7087 WITH SCORE 7180.369
AT ITER 5948 NEW BEST:: SOT 134885 SOS 93373 HAS SOPS 76010 HAS SOUS 8401 HAS SOUPS 7085 WITH SCORE 7178.373
AT ITER 5952 NEW BEST:: SOT 134885 SOS 94133 HAS SOPS 76006 HAS SOUS 8403 HAS SOUPS 7083 WITH SCORE 7177.133
AT ITER 5956 NEW BEST:: SOT 134861 SOS 94109 HAS SOPS 75982 HAS SOUS 8391 HAS SOUPS 7071 WITH SCORE 7165.109
AT ITER 6078 NEW BEST:: SOT 134849 SOS 94097 HAS SOPS 75970 HAS SOUS 8380 HAS SOUPS 7062 WITH SCORE 7156.097
AT ITER 6155 NEW BEST:: SOT 134849 SOS 94097 HAS SOPS 75970 HAS SOUS 8379 HAS SOUPS 7061 WITH SCORE 7155.097
AT ITER 6158 NEW BEST:: SOT 134849 SOS 94069 HAS SOPS 75942 HAS SOUS 8372 HAS SOUPS 7054 WITH SCORE 7148.069
AT ITER 6212 NEW BEST:: SOT 134749 SOS 93969 HAS SOPS 75842 HAS SOUS 8368 HAS SOUPS 7050 WITH SCORE 7143.969
AT ITER 6245 NEW BEST:: SOT 134585 SOS 93805 HAS SOPS 75678 HAS SOUS 8368 HAS SOUPS 7050 WITH SCORE 7143.805
AT ITER 6274 NEW BEST:: SOT 134561 SOS 93793 HAS SOPS 75666 HAS SOUS 8368 HAS SOUPS 7050 WITH SCORE 7143.793
AT ITER 6310 NEW BEST:: SOT 134561 SOS 93793 HAS SOPS 75666 HAS SOUS 8360 HAS SOUPS 7042 WITH SCORE 7135.793
AT ITER 6311 NEW BEST:: SOT 134549 SOS 93763 HAS SOPS 75636 HAS SOUS 8346 HAS SOUPS 7028 WITH SCORE 7121.763
AT ITER 6316 NEW BEST:: SOT 134549 SOS 93755 HAS SOPS 75628 HAS SOUS 8339 HAS SOUPS 7025 WITH SCORE 7118.755
AT ITER 6323 NEW BEST:: SOT 134537 SOS 93743 HAS SOPS 75616 HAS SOUS 8327 HAS SOUPS 7013 WITH SCORE 7106.743
AT ITER 6471 NEW BEST:: SOT 134693 SOS 93899 HAS SOPS 75772 HAS SOUS 8326 HAS SOUPS 7012 WITH SCORE 7105.899
AT ITER 6488 NEW BEST:: SOT 134661 SOS 93867 HAS SOPS 75740 HAS SOUS 8299 HAS SOUPS 6985 WITH SCORE 7078.867
AT ITER 6523 NEW BEST:: SOT 134647 SOS 93853 HAS SOPS 75726 HAS SOUS 8291 HAS SOUPS 6977 WITH SCORE 7070.853
AT ITER 6548 NEW BEST:: SOT 134647 SOS 93849 HAS SOPS 75730 HAS SOUS 8290 HAS SOUPS 6977 WITH SCORE 7070.849
AT ITER 6562 NEW BEST:: SOT 134647 SOS 93809 HAS SOPS 75690 HAS SOUS 8290 HAS SOUPS 6977 WITH SCORE 7070.809
AT ITER 6563 NEW BEST:: SOT 134683 SOS 93845 HAS SOPS 75726 HAS SOUS 8282 HAS SOUPS 6969 WITH SCORE 7062.845
AT ITER 6631 NEW BEST:: SOT 134727 SOS 93889 HAS SOPS 75770 HAS SOUS 8273 HAS SOUPS 6960 WITH SCORE 7053.889
AT ITER 6645 NEW BEST:: SOT 134849 SOS 94011 HAS SOPS 75850 HAS SOUS 8212 HAS SOUPS 6920 WITH SCORE 7014.011
AT ITER 6648 NEW BEST:: SOT 134831 SOS 93993 HAS SOPS 75832 HAS SOUS 8194 HAS SOUPS 6902 WITH SCORE 6995.993
AT ITER 6677 NEW BEST:: SOT 134815 SOS 93977 HAS SOPS 75816 HAS SOUS 8181 HAS SOUPS 6889 WITH SCORE 6982.977
AT ITER 6704 NEW BEST:: SOT 134805 SOS 93971 HAS SOPS 75810 HAS SOUS 8180 HAS SOUPS 6888 WITH SCORE 6981.971
AT ITER 6708 NEW BEST:: SOT 134775 SOS 93941 HAS SOPS 75780 HAS SOUS 8166 HAS SOUPS 6874 WITH SCORE 6967.941
AT ITER 6730 NEW BEST:: SOT 134775 SOS 93941 HAS SOPS 75780 HAS SOUS 8161 HAS SOUPS 6869 WITH SCORE 6962.941
AT ITER 6742 NEW BEST:: SOT 134775 SOS 93941 HAS SOPS 75780 HAS SOUS 8154 HAS SOUPS 6862 WITH SCORE 6955.941
AT ITER 6754 NEW BEST:: SOT 134763 SOS 93929 HAS SOPS 75768 HAS SOUS 8154 HAS SOUPS 6862 WITH SCORE 6955.929
AT ITER 6755 NEW BEST:: SOT 134763 SOS 93665 HAS SOPS 75768 HAS SOUS 8154 HAS SOUPS 6862 WITH SCORE 6955.665
AT ITER 6757 NEW BEST:: SOT 134763 SOS 91877 HAS SOPS 75768 HAS SOUS 8182 HAS SOUPS 6862 WITH SCORE 6953.877
AT ITER 6835 NEW BEST:: SOT 134695 SOS 91809 HAS SOPS 75700 HAS SOUS 8164 HAS SOUPS 6844 WITH SCORE 6935.809
AT ITER 6860 NEW BEST:: SOT 134685 SOS 91799 HAS SOPS 75690 HAS SOUS 8159 HAS SOUPS 6839 WITH SCORE 6930.799
AT ITER 6953 NEW BEST:: SOT 134672 SOS 91786 HAS SOPS 75677 HAS SOUS 8158 HAS SOUPS 6838 WITH SCORE 6929.786
AT ITER 6975 NEW BEST:: SOT 134474 SOS 91588 HAS SOPS 75479 HAS SOUS 8119 HAS SOUPS 6799 WITH SCORE 6890.588
AT ITER 6979 NEW BEST:: SOT 134306 SOS 91500 HAS SOPS 75391 HAS SOUS 8104 HAS SOUPS 6784 WITH SCORE 6875.5
AT ITER 6983 NEW BEST:: SOT 134254 SOS 91435 HAS SOPS 75326 HAS SOUS 8045 HAS SOUPS 6725 WITH SCORE 6816.435
AT ITER 7031 NEW BEST:: SOT 134226 SOS 91407 HAS SOPS 75298 HAS SOUS 8036 HAS SOUPS 6716 WITH SCORE 6807.407
AT ITER 7044 NEW BEST:: SOT 134224 SOS 91405 HAS SOPS 75296 HAS SOUS 8035 HAS SOUPS 6715 WITH SCORE 6806.405
AT ITER 7139 NEW BEST:: SOT 134224 SOS 91401 HAS SOPS 75296 HAS SOUS 8033 HAS SOUPS 6715 WITH SCORE 6806.401
AT ITER 7156 NEW BEST:: SOT 134192 SOS 91369 HAS SOPS 75264 HAS SOUS 8016 HAS SOUPS 6698 WITH SCORE 6789.369
AT ITER 7201 NEW BEST:: SOT 134192 SOS 91081 HAS SOPS 75228 HAS SOUS 7998 HAS SOUPS 6680 WITH SCORE 6771.081
AT ITER 7207 NEW BEST:: SOT 134194 SOS 91083 HAS SOPS 75230 HAS SOUS 7997 HAS SOUPS 6679 WITH SCORE 6770.083
AT ITER 7230 NEW BEST:: SOT 134158 SOS 91047 HAS SOPS 75194 HAS SOUS 7997 HAS SOUPS 6679 WITH SCORE 6770.047
AT ITER 7235 NEW BEST:: SOT 134168 SOS 91053 HAS SOPS 75216 HAS SOUS 7964 HAS SOUPS 6650 WITH SCORE 6741.053
AT ITER 7237 NEW BEST:: SOT 134156 SOS 91041 HAS SOPS 75204 HAS SOUS 7952 HAS SOUPS 6638 WITH SCORE 6729.041
AT ITER 7250 NEW BEST:: SOT 134156 SOS 90999 HAS SOPS 75204 HAS SOUS 7952 HAS SOUPS 6638 WITH SCORE 6728.999
AT ITER 7290 NEW BEST:: SOT 134038 SOS 90881 HAS SOPS 75086 HAS SOUS 7952 HAS SOUPS 6638 WITH SCORE 6728.881
AT ITER 7294 NEW BEST:: SOT 134048 SOS 90891 HAS SOPS 75096 HAS SOUS 7950 HAS SOUPS 6636 WITH SCORE 6726.891
AT ITER 7353 NEW BEST:: SOT 134048 SOS 90903 HAS SOPS 75090 HAS SOUS 7947 HAS SOUPS 6633 WITH SCORE 6723.903
AT ITER 7404 NEW BEST:: SOT 134052 SOS 90907 HAS SOPS 75052 HAS SOUS 7949 HAS SOUPS 6614 WITH SCORE 6704.907
AT ITER 7417 NEW BEST:: SOT 134052 SOS 90903 HAS SOPS 75048 HAS SOUS 7952 HAS SOUPS 6613 WITH SCORE 6703.903
AT ITER 7427 NEW BEST:: SOT 134042 SOS 90893 HAS SOPS 75038 HAS SOUS 7933 HAS SOUPS 6594 WITH SCORE 6684.893
AT ITER 7503 NEW BEST:: SOT 134054 SOS 90905 HAS SOPS 75050 HAS SOUS 7931 HAS SOUPS 6592 WITH SCORE 6682.905
AT ITER 7581 NEW BEST:: SOT 133996 SOS 90847 HAS SOPS 74992 HAS SOUS 7902 HAS SOUPS 6563 WITH SCORE 6653.847
AT ITER 7619 NEW BEST:: SOT 133997 SOS 90848 HAS SOPS 74993 HAS SOUS 7899 HAS SOUPS 6560 WITH SCORE 6650.848
AT ITER 7625 NEW BEST:: SOT 133989 SOS 90840 HAS SOPS 74985 HAS SOUS 7898 HAS SOUPS 6559 WITH SCORE 6649.84
AT ITER 7712 NEW BEST:: SOT 133990 SOS 90841 HAS SOPS 74986 HAS SOUS 7895 HAS SOUPS 6556 WITH SCORE 6646.841
AT ITER 7723 NEW BEST:: SOT 133986 SOS 90837 HAS SOPS 74982 HAS SOUS 7891 HAS SOUPS 6552 WITH SCORE 6642.837
AT ITER 7726 NEW BEST:: SOT 133958 SOS 90815 HAS SOPS 74960 HAS SOUS 7891 HAS SOUPS 6552 WITH SCORE 6642.815
AT ITER 7746 NEW BEST:: SOT 133958 SOS 90807 HAS SOPS 74960 HAS SOUS 7890 HAS SOUPS 6552 WITH SCORE 6642.807
AT ITER 7755 NEW BEST:: SOT 133958 SOS 90803 HAS SOPS 74972 HAS SOUS 7888 HAS SOUPS 6552 WITH SCORE 6642.803
AT ITER 7926 NEW BEST:: SOT 133952 SOS 90797 HAS SOPS 74966 HAS SOUS 7888 HAS SOUPS 6552 WITH SCORE 6642.797
AT ITER 7985 NEW BEST:: SOT 133952 SOS 90797 HAS SOPS 74966 HAS SOUS 7887 HAS SOUPS 6551 WITH SCORE 6641.797
AT ITER 8020 NEW BEST:: SOT 133994 SOS 90839 HAS SOPS 75008 HAS SOUS 7880 HAS SOUPS 6544 WITH SCORE 6634.839
AT ITER 8034 NEW BEST:: SOT 133994 SOS 90327 HAS SOPS 75008 HAS SOUS 7849 HAS SOUPS 6544 WITH SCORE 6634.327
AT ITER 8052 NEW BEST:: SOT 133790 SOS 90123 HAS SOPS 74804 HAS SOUS 7849 HAS SOUPS 6544 WITH SCORE 6634.123
AT ITER 8081 NEW BEST:: SOT 133784 SOS 90117 HAS SOPS 74798 HAS SOUS 7847 HAS SOUPS 6542 WITH SCORE 6632.117
AT ITER 8096 NEW BEST:: SOT 133824 SOS 90157 HAS SOPS 74838 HAS SOUS 7841 HAS SOUPS 6536 WITH SCORE 6626.157
AT ITER 8159 NEW BEST:: SOT 133824 SOS 90145 HAS SOPS 74838 HAS SOUS 7838 HAS SOUPS 6536 WITH SCORE 6626.145
AT ITER 8160 NEW BEST:: SOT 133824 SOS 90141 HAS SOPS 74834 HAS SOUS 7836 HAS SOUPS 6534 WITH SCORE 6624.141
AT ITER 8184 NEW BEST:: SOT 133824 SOS 90093 HAS SOPS 74834 HAS SOUS 7812 HAS SOUPS 6534 WITH SCORE 6624.093
AT ITER 8190 NEW BEST:: SOT 133824 SOS 90115 HAS SOPS 74856 HAS SOUS 7809 HAS SOUPS 6531 WITH SCORE 6621.115
AT ITER 8208 NEW BEST:: SOT 133808 SOS 90099 HAS SOPS 74840 HAS SOUS 7807 HAS SOUPS 6529 WITH SCORE 6619.099
AT ITER 8217 NEW BEST:: SOT 133808 SOS 90095 HAS SOPS 74838 HAS SOUS 7805 HAS SOUPS 6528 WITH SCORE 6618.095
AT ITER 8331 NEW BEST:: SOT 133794 SOS 90081 HAS SOPS 74824 HAS SOUS 7799 HAS SOUPS 6522 WITH SCORE 6612.081
AT ITER 8379 NEW BEST:: SOT 133794 SOS 90069 HAS SOPS 74812 HAS SOUS 7793 HAS SOUPS 6516 WITH SCORE 6606.069
AT ITER 8417 NEW BEST:: SOT 133794 SOS 90067 HAS SOPS 74810 HAS SOUS 7792 HAS SOUPS 6515 WITH SCORE 6605.067
AT ITER 8422 NEW BEST:: SOT 133796 SOS 90069 HAS SOPS 74812 HAS SOUS 7791 HAS SOUPS 6514 WITH SCORE 6604.069
AT ITER 8468 NEW BEST:: SOT 133796 SOS 90069 HAS SOPS 74812 HAS SOUS 7788 HAS SOUPS 6511 WITH SCORE 6601.069
AT ITER 8471 NEW BEST:: SOT 133796 SOS 90065 HAS SOPS 74798 HAS SOUS 7792 HAS SOUPS 6510 WITH SCORE 6600.065
AT ITER 8486 NEW BEST:: SOT 133676 SOS 89945 HAS SOPS 74678 HAS SOUS 7792 HAS SOUPS 6510 WITH SCORE 6599.945
AT ITER 8532 NEW BEST:: SOT 133676 SOS 89935 HAS SOPS 74682 HAS SOUS 7785 HAS SOUPS 6510 WITH SCORE 6599.935
AT ITER 8537 NEW BEST:: SOT 133686 SOS 89945 HAS SOPS 74692 HAS SOUS 7776 HAS SOUPS 6501 WITH SCORE 6590.945
AT ITER 8540 NEW BEST:: SOT 133670 SOS 89929 HAS SOPS 74676 HAS SOUS 7770 HAS SOUPS 6495 WITH SCORE 6584.929
AT ITER 8586 NEW BEST:: SOT 133674 SOS 89933 HAS SOPS 74680 HAS SOUS 7767 HAS SOUPS 6492 WITH SCORE 6581.933
AT ITER 8600 NEW BEST:: SOT 133692 SOS 89951 HAS SOPS 74698 HAS SOUS 7761 HAS SOUPS 6486 WITH SCORE 6575.951
AT ITER 8621 NEW BEST:: SOT 133658 SOS 89897 HAS SOPS 74664 HAS SOUS 7731 HAS SOUPS 6466 WITH SCORE 6555.897
AT ITER 8664 NEW BEST:: SOT 133658 SOS 89897 HAS SOPS 74662 HAS SOUS 7731 HAS SOUPS 6465 WITH SCORE 6554.897
AT ITER 8669 NEW BEST:: SOT 133654 SOS 89895 HAS SOPS 74660 HAS SOUS 7731 HAS SOUPS 6465 WITH SCORE 6554.895
AT ITER 8725 NEW BEST:: SOT 133686 SOS 89927 HAS SOPS 74692 HAS SOUS 7715 HAS SOUPS 6449 WITH SCORE 6538.927
AT ITER 8733 NEW BEST:: SOT 133684 SOS 89925 HAS SOPS 74690 HAS SOUS 7715 HAS SOUPS 6449 WITH SCORE 6538.925
AT ITER 8833 NEW BEST:: SOT 133684 SOS 89983 HAS SOPS 74684 HAS SOUS 7716 HAS SOUPS 6446 WITH SCORE 6535.983
AT ITER 8851 NEW BEST:: SOT 133684 SOS 89979 HAS SOPS 74682 HAS SOUS 7714 HAS SOUPS 6445 WITH SCORE 6534.979
AT ITER 8862 NEW BEST:: SOT 133684 SOS 89979 HAS SOPS 74682 HAS SOUS 7699 HAS SOUPS 6430 WITH SCORE 6519.979
AT ITER 8995 NEW BEST:: SOT 133676 SOS 89971 HAS SOPS 74674 HAS SOUS 7699 HAS SOUPS 6430 WITH SCORE 6519.971
AT ITER 9007 NEW BEST:: SOT 133670 SOS 89965 HAS SOPS 74668 HAS SOUS 7693 HAS SOUPS 6424 WITH SCORE 6513.965
AT ITER 9017 NEW BEST:: SOT 133670 SOS 89957 HAS SOPS 74668 HAS SOUS 7689 HAS SOUPS 6424 WITH SCORE 6513.957
AT ITER 9047 NEW BEST:: SOT 133666 SOS 89953 HAS SOPS 74664 HAS SOUS 7687 HAS SOUPS 6422 WITH SCORE 6511.953
AT ITER 9054 NEW BEST:: SOT 133666 SOS 89949 HAS SOPS 74660 HAS SOUS 7685 HAS SOUPS 6420 WITH SCORE 6509.949
AT ITER 9213 NEW BEST:: SOT 133632 SOS 89915 HAS SOPS 74626 HAS SOUS 7685 HAS SOUPS 6420 WITH SCORE 6509.915
AT ITER 9247 NEW BEST:: SOT 133520 SOS 89803 HAS SOPS 74514 HAS SOUS 7681 HAS SOUPS 6416 WITH SCORE 6505.803
AT ITER 9308 NEW BEST:: SOT 133544 SOS 89827 HAS SOPS 74538 HAS SOUS 7668 HAS SOUPS 6403 WITH SCORE 6492.827
AT ITER 9411 NEW BEST:: SOT 133526 SOS 89809 HAS SOPS 74520 HAS SOUS 7661 HAS SOUPS 6396 WITH SCORE 6485.809
AT ITER 9422 NEW BEST:: SOT 133498 SOS 89781 HAS SOPS 74492 HAS SOUS 7637 HAS SOUPS 6372 WITH SCORE 6461.781
AT ITER 9427 NEW BEST:: SOT 133494 SOS 89777 HAS SOPS 74488 HAS SOUS 7637 HAS SOUPS 6372 WITH SCORE 6461.777
AT ITER 9438 NEW BEST:: SOT 133494 SOS 89669 HAS SOPS 74488 HAS SOUS 7637 HAS SOUPS 6372 WITH SCORE 6461.669
AT ITER 9512 NEW BEST:: SOT 133494 SOS 89615 HAS SOPS 74488 HAS SOUS 7610 HAS SOUPS 6372 WITH SCORE 6461.615
AT ITER 9515 NEW BEST:: SOT 133486 SOS 89607 HAS SOPS 74480 HAS SOUS 7610 HAS SOUPS 6372 WITH SCORE 6461.607
AT ITER 9521 NEW BEST:: SOT 133486 SOS 89599 HAS SOPS 74476 HAS SOUS 7606 HAS SOUPS 6370 WITH SCORE 6459.599
AT ITER 9526 NEW BEST:: SOT 133486 SOS 89599 HAS SOPS 74476 HAS SOUS 7604 HAS SOUPS 6368 WITH SCORE 6457.599
AT ITER 9576 NEW BEST:: SOT 133682 SOS 89783 HAS SOPS 74672 HAS SOUS 7575 HAS SOUPS 6344 WITH SCORE 6433.783
AT ITER 9594 NEW BEST:: SOT 133636 SOS 89737 HAS SOPS 74626 HAS SOUS 7567 HAS SOUPS 6336 WITH SCORE 6425.737
AT ITER 9833 NEW BEST:: SOT 133498 SOS 89599 HAS SOPS 74488 HAS SOUS 7562 HAS SOUPS 6331 WITH SCORE 6420.599
AT ITER 9918 NEW BEST:: SOT 133594 SOS 89651 HAS SOPS 74540 HAS SOUS 7540 HAS SOUPS 6309 WITH SCORE 6398.651
AT ITER 9936 NEW BEST:: SOT 133594 SOS 89659 HAS SOPS 74536 HAS SOUS 7544 HAS SOUPS 6307 WITH SCORE 6396.659
AT ITER 9959 NEW BEST:: SOT 133588 SOS 89653 HAS SOPS 74530 HAS SOUS 7544 HAS SOUPS 6307 WITH SCORE 6396.653

BK_STOP 1679929991628

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 367 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="SemanticWebServices-PT-S128P09"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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