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.r171-tall-167838858900672.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 FunctionPointer-PT-b004, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858900672
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 876K
-rw-r--r-- 1 mcc users 5.8K Feb 25 11:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 25 11:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 11:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 25 11:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:08 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:08 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 11:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 137K Feb 25 11:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 96K Feb 25 11:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:08 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:08 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 391K 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 1679493867001

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=FunctionPointer-PT-b004
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 14:04:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 14:04:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 14:04:28] [INFO ] Load time of PNML (sax parser for PT used): 80 ms
[2023-03-22 14:04:28] [INFO ] Transformed 306 places.
[2023-03-22 14:04:28] [INFO ] Transformed 840 transitions.
[2023-03-22 14:04:28] [INFO ] Parsed PT model containing 306 places and 840 transitions and 3392 arcs in 145 ms.
[2023-03-22 14:04:28] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 306 places, 840 transitions and 3392 arcs took 9 ms.
Total runtime 180 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FunctionPointer (PT), instance b004
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: 306 places, 840 transitions, 3392 arcs.
AT ITER 0 NEW BEST:: SOT 250193 SOS 199462 HAS SOPS 193223 HAS SOUS 100184 HAS SOUPS 99748 WITH SCORE 99947.462
AT ITER 8 NEW BEST:: SOT 250193 SOS 199678 HAS SOPS 193439 HAS SOUS 100032 HAS SOUPS 99596 WITH SCORE 99795.678
AT ITER 9 NEW BEST:: SOT 250193 SOS 199678 HAS SOPS 193439 HAS SOUS 99934 HAS SOUPS 99498 WITH SCORE 99697.678
AT ITER 12 NEW BEST:: SOT 250193 SOS 199526 HAS SOPS 193287 HAS SOUS 99850 HAS SOUPS 99414 WITH SCORE 99613.526
AT ITER 13 NEW BEST:: SOT 250193 SOS 199774 HAS SOPS 193535 HAS SOUS 99602 HAS SOUPS 99166 WITH SCORE 99365.774
AT ITER 20 NEW BEST:: SOT 250193 SOS 199774 HAS SOPS 193535 HAS SOUS 99598 HAS SOUPS 99162 WITH SCORE 99361.774
AT ITER 21 NEW BEST:: SOT 250193 SOS 199438 HAS SOPS 193199 HAS SOUS 99566 HAS SOUPS 99130 WITH SCORE 99329.438
AT ITER 24 NEW BEST:: SOT 250193 SOS 199503 HAS SOPS 193264 HAS SOUS 99526 HAS SOUPS 99090 WITH SCORE 99289.503
AT ITER 25 NEW BEST:: SOT 250193 SOS 199677 HAS SOPS 193438 HAS SOUS 99506 HAS SOUPS 99070 WITH SCORE 99269.677
AT ITER 28 NEW BEST:: SOT 250193 SOS 199661 HAS SOPS 193422 HAS SOUS 99490 HAS SOUPS 99054 WITH SCORE 99253.661
AT ITER 30 NEW BEST:: SOT 250193 SOS 199645 HAS SOPS 193406 HAS SOUS 99474 HAS SOUPS 99038 WITH SCORE 99237.645
AT ITER 37 NEW BEST:: SOT 250193 SOS 199469 HAS SOPS 193230 HAS SOUS 99294 HAS SOUPS 98858 WITH SCORE 99057.469
AT ITER 42 NEW BEST:: SOT 250193 SOS 199325 HAS SOPS 193086 HAS SOUS 99230 HAS SOUPS 98794 WITH SCORE 98993.325
AT ITER 44 NEW BEST:: SOT 250193 SOS 199003 HAS SOPS 192764 HAS SOUS 99209 HAS SOUPS 98773 WITH SCORE 98972.003
AT ITER 45 NEW BEST:: SOT 250193 SOS 199003 HAS SOPS 192764 HAS SOUS 99187 HAS SOUPS 98751 WITH SCORE 98950.003
AT ITER 50 NEW BEST:: SOT 250193 SOS 198987 HAS SOPS 192748 HAS SOUS 99185 HAS SOUPS 98749 WITH SCORE 98947.987
AT ITER 51 NEW BEST:: SOT 250193 SOS 198987 HAS SOPS 192748 HAS SOUS 99149 HAS SOUPS 98713 WITH SCORE 98911.987
AT ITER 54 NEW BEST:: SOT 250193 SOS 198621 HAS SOPS 192382 HAS SOUS 99011 HAS SOUPS 98575 WITH SCORE 98773.621
AT ITER 55 NEW BEST:: SOT 250177 SOS 198605 HAS SOPS 192384 HAS SOUS 99007 HAS SOUPS 98571 WITH SCORE 98769.605
AT ITER 59 NEW BEST:: SOT 250177 SOS 198605 HAS SOPS 192384 HAS SOUS 98991 HAS SOUPS 98555 WITH SCORE 98753.605
AT ITER 61 NEW BEST:: SOT 250177 SOS 198969 HAS SOPS 192748 HAS SOUS 98827 HAS SOUPS 98391 WITH SCORE 98589.969
AT ITER 62 NEW BEST:: SOT 250177 SOS 198969 HAS SOPS 192748 HAS SOUS 98809 HAS SOUPS 98373 WITH SCORE 98571.969
AT ITER 64 NEW BEST:: SOT 250169 SOS 198961 HAS SOPS 192732 HAS SOUS 98769 HAS SOUPS 98333 WITH SCORE 98531.961
AT ITER 65 NEW BEST:: SOT 250169 SOS 198931 HAS SOPS 192702 HAS SOUS 98743 HAS SOUPS 98307 WITH SCORE 98505.931
AT ITER 67 NEW BEST:: SOT 250169 SOS 199015 HAS SOPS 192786 HAS SOUS 98645 HAS SOUPS 98209 WITH SCORE 98408.015
AT ITER 68 NEW BEST:: SOT 250169 SOS 199211 HAS SOPS 192982 HAS SOUS 98061 HAS SOUPS 97625 WITH SCORE 97824.211
AT ITER 70 NEW BEST:: SOT 250169 SOS 199389 HAS SOPS 193160 HAS SOUS 97921 HAS SOUPS 97485 WITH SCORE 97684.389
AT ITER 75 NEW BEST:: SOT 250169 SOS 199373 HAS SOPS 193144 HAS SOUS 97913 HAS SOUPS 97477 WITH SCORE 97676.373
AT ITER 78 NEW BEST:: SOT 250169 SOS 199175 HAS SOPS 193266 HAS SOUS 97310 HAS SOUPS 96874 WITH SCORE 97073.175
AT ITER 83 NEW BEST:: SOT 250169 SOS 199016 HAS SOPS 193107 HAS SOUS 97283 HAS SOUPS 96847 WITH SCORE 97046.016
AT ITER 94 NEW BEST:: SOT 250169 SOS 198860 HAS SOPS 192951 HAS SOUS 97212 HAS SOUPS 96776 WITH SCORE 96974.86
AT ITER 97 NEW BEST:: SOT 250189 SOS 198820 HAS SOPS 192911 HAS SOUS 97164 HAS SOUPS 96728 WITH SCORE 96926.82
AT ITER 99 NEW BEST:: SOT 250189 SOS 198960 HAS SOPS 193051 HAS SOUS 97099 HAS SOUPS 96663 WITH SCORE 96861.96
AT ITER 106 NEW BEST:: SOT 250189 SOS 198868 HAS SOPS 192959 HAS SOUS 97053 HAS SOUPS 96617 WITH SCORE 96815.868
AT ITER 107 NEW BEST:: SOT 250189 SOS 198556 HAS SOPS 192647 HAS SOUS 96977 HAS SOUPS 96541 WITH SCORE 96739.556
AT ITER 108 NEW BEST:: SOT 250189 SOS 198500 HAS SOPS 192591 HAS SOUS 96947 HAS SOUPS 96511 WITH SCORE 96709.5
AT ITER 112 NEW BEST:: SOT 250189 SOS 198468 HAS SOPS 192559 HAS SOUS 96940 HAS SOUPS 96504 WITH SCORE 96702.468
AT ITER 120 NEW BEST:: SOT 250189 SOS 198460 HAS SOPS 192551 HAS SOUS 96932 HAS SOUPS 96496 WITH SCORE 96694.46
AT ITER 126 NEW BEST:: SOT 250189 SOS 198460 HAS SOPS 192551 HAS SOUS 96908 HAS SOUPS 96472 WITH SCORE 96670.46
AT ITER 131 NEW BEST:: SOT 250189 SOS 198534 HAS SOPS 192625 HAS SOUS 96825 HAS SOUPS 96389 WITH SCORE 96587.534
AT ITER 135 NEW BEST:: SOT 250189 SOS 198286 HAS SOPS 192377 HAS SOUS 96763 HAS SOUPS 96327 WITH SCORE 96525.286
AT ITER 137 NEW BEST:: SOT 250189 SOS 198496 HAS SOPS 192587 HAS SOUS 96748 HAS SOUPS 96312 WITH SCORE 96510.496
AT ITER 139 NEW BEST:: SOT 250189 SOS 198624 HAS SOPS 192715 HAS SOUS 96733 HAS SOUPS 96297 WITH SCORE 96495.624
AT ITER 143 NEW BEST:: SOT 250189 SOS 198776 HAS SOPS 192867 HAS SOUS 96724 HAS SOUPS 96288 WITH SCORE 96486.776
AT ITER 149 NEW BEST:: SOT 250189 SOS 198736 HAS SOPS 192827 HAS SOUS 96554 HAS SOUPS 96118 WITH SCORE 96316.736
AT ITER 150 NEW BEST:: SOT 250189 SOS 198726 HAS SOPS 192817 HAS SOUS 96554 HAS SOUPS 96118 WITH SCORE 96316.726
AT ITER 153 NEW BEST:: SOT 250189 SOS 198726 HAS SOPS 192817 HAS SOUS 96058 HAS SOUPS 95622 WITH SCORE 95820.726
AT ITER 154 NEW BEST:: SOT 250189 SOS 198726 HAS SOPS 192817 HAS SOUS 95970 HAS SOUPS 95534 WITH SCORE 95732.726
AT ITER 155 NEW BEST:: SOT 250189 SOS 198698 HAS SOPS 192789 HAS SOUS 95896 HAS SOUPS 95460 WITH SCORE 95658.698
AT ITER 156 NEW BEST:: SOT 250189 SOS 198580 HAS SOPS 192671 HAS SOUS 95837 HAS SOUPS 95401 WITH SCORE 95599.58
AT ITER 158 NEW BEST:: SOT 250189 SOS 198538 HAS SOPS 192671 HAS SOUS 95764 HAS SOUPS 95328 WITH SCORE 95526.538
AT ITER 161 NEW BEST:: SOT 250189 SOS 198324 HAS SOPS 192457 HAS SOUS 95657 HAS SOUPS 95221 WITH SCORE 95419.324
AT ITER 162 NEW BEST:: SOT 250206 SOS 198540 HAS SOPS 192674 HAS SOUS 95594 HAS SOUPS 95159 WITH SCORE 95357.54
AT ITER 167 NEW BEST:: SOT 250206 SOS 198200 HAS SOPS 192334 HAS SOUS 95429 HAS SOUPS 94994 WITH SCORE 95192.2
AT ITER 170 NEW BEST:: SOT 250118 SOS 197936 HAS SOPS 192070 HAS SOUS 95209 HAS SOUPS 94774 WITH SCORE 94971.936
AT ITER 174 NEW BEST:: SOT 250118 SOS 197952 HAS SOPS 192086 HAS SOUS 95201 HAS SOUPS 94766 WITH SCORE 94963.952
AT ITER 175 NEW BEST:: SOT 250118 SOS 197808 HAS SOPS 191942 HAS SOUS 95129 HAS SOUPS 94694 WITH SCORE 94891.808
AT ITER 176 NEW BEST:: SOT 250118 SOS 197375 HAS SOPS 191509 HAS SOUS 95000 HAS SOUPS 94565 WITH SCORE 94762.375
AT ITER 179 NEW BEST:: SOT 250118 SOS 197163 HAS SOPS 191297 HAS SOUS 94894 HAS SOUPS 94459 WITH SCORE 94656.163
AT ITER 184 NEW BEST:: SOT 250118 SOS 197209 HAS SOPS 191343 HAS SOUS 94865 HAS SOUPS 94430 WITH SCORE 94627.209
AT ITER 188 NEW BEST:: SOT 250110 SOS 197201 HAS SOPS 191327 HAS SOUS 94849 HAS SOUPS 94414 WITH SCORE 94611.201
AT ITER 189 NEW BEST:: SOT 250110 SOS 196987 HAS SOPS 191113 HAS SOUS 94768 HAS SOUPS 94333 WITH SCORE 94529.987
AT ITER 191 NEW BEST:: SOT 250145 SOS 196278 HAS SOPS 190404 HAS SOUS 94617 HAS SOUPS 94182 WITH SCORE 94378.278
AT ITER 192 NEW BEST:: SOT 250145 SOS 196298 HAS SOPS 190414 HAS SOUS 94612 HAS SOUPS 94177 WITH SCORE 94373.298
AT ITER 197 NEW BEST:: SOT 250145 SOS 195952 HAS SOPS 190068 HAS SOUS 94565 HAS SOUPS 94130 WITH SCORE 94325.952
AT ITER 200 NEW BEST:: SOT 250145 SOS 196076 HAS SOPS 190192 HAS SOUS 94385 HAS SOUPS 93950 WITH SCORE 94146.076
AT ITER 205 NEW BEST:: SOT 250145 SOS 196248 HAS SOPS 190364 HAS SOUS 94223 HAS SOUPS 93788 WITH SCORE 93984.248
AT ITER 206 NEW BEST:: SOT 250145 SOS 196248 HAS SOPS 190364 HAS SOUS 94199 HAS SOUPS 93764 WITH SCORE 93960.248
AT ITER 207 NEW BEST:: SOT 250163 SOS 196798 HAS SOPS 190666 HAS SOUS 94102 HAS SOUPS 93667 WITH SCORE 93863.798
AT ITER 208 NEW BEST:: SOT 250163 SOS 196870 HAS SOPS 190738 HAS SOUS 94092 HAS SOUPS 93657 WITH SCORE 93853.87
AT ITER 209 NEW BEST:: SOT 250163 SOS 196874 HAS SOPS 190742 HAS SOUS 93995 HAS SOUPS 93560 WITH SCORE 93756.874
AT ITER 210 NEW BEST:: SOT 250163 SOS 197038 HAS SOPS 190906 HAS SOUS 92987 HAS SOUPS 92552 WITH SCORE 92749.038
AT ITER 211 NEW BEST:: SOT 250163 SOS 197112 HAS SOPS 190980 HAS SOUS 92933 HAS SOUPS 92498 WITH SCORE 92695.112
AT ITER 214 NEW BEST:: SOT 250163 SOS 197050 HAS SOPS 190918 HAS SOUS 92678 HAS SOUPS 92243 WITH SCORE 92440.05
AT ITER 217 NEW BEST:: SOT 250163 SOS 197050 HAS SOPS 190918 HAS SOUS 92594 HAS SOUPS 92159 WITH SCORE 92356.05
AT ITER 218 NEW BEST:: SOT 250163 SOS 195458 HAS SOPS 189125 HAS SOUS 92421 HAS SOUPS 91785 WITH SCORE 91980.458
AT ITER 219 NEW BEST:: SOT 250163 SOS 194835 HAS SOPS 188502 HAS SOUS 91963 HAS SOUPS 91327 WITH SCORE 91521.835
AT ITER 220 NEW BEST:: SOT 250163 SOS 195227 HAS SOPS 188908 HAS SOUS 91817 HAS SOUPS 91195 WITH SCORE 91390.227
AT ITER 221 NEW BEST:: SOT 250163 SOS 195225 HAS SOPS 188906 HAS SOUS 91792 HAS SOUPS 91170 WITH SCORE 91365.225
AT ITER 234 NEW BEST:: SOT 250163 SOS 195167 HAS SOPS 188848 HAS SOUS 91771 HAS SOUPS 91149 WITH SCORE 91344.167
AT ITER 242 NEW BEST:: SOT 250163 SOS 195165 HAS SOPS 188848 HAS SOUS 91771 HAS SOUPS 91149 WITH SCORE 91344.165
AT ITER 253 NEW BEST:: SOT 250163 SOS 195021 HAS SOPS 188704 HAS SOUS 91699 HAS SOUPS 91077 WITH SCORE 91272.021
AT ITER 254 NEW BEST:: SOT 250163 SOS 194787 HAS SOPS 188470 HAS SOUS 91698 HAS SOUPS 91076 WITH SCORE 91270.787
AT ITER 259 NEW BEST:: SOT 250163 SOS 194359 HAS SOPS 188042 HAS SOUS 91506 HAS SOUPS 90884 WITH SCORE 91078.359
AT ITER 261 NEW BEST:: SOT 250163 SOS 194241 HAS SOPS 187924 HAS SOUS 91447 HAS SOUPS 90825 WITH SCORE 91019.241
AT ITER 263 NEW BEST:: SOT 250158 SOS 193522 HAS SOPS 187205 HAS SOUS 91376 HAS SOUPS 90754 WITH SCORE 90947.522
AT ITER 264 NEW BEST:: SOT 250158 SOS 193666 HAS SOPS 187349 HAS SOUS 91317 HAS SOUPS 90695 WITH SCORE 90888.666
AT ITER 267 NEW BEST:: SOT 250158 SOS 193304 HAS SOPS 186987 HAS SOUS 91248 HAS SOUPS 90626 WITH SCORE 90819.304
AT ITER 271 NEW BEST:: SOT 250158 SOS 193291 HAS SOPS 186974 HAS SOUS 91213 HAS SOUPS 90591 WITH SCORE 90784.291
AT ITER 278 NEW BEST:: SOT 250142 SOS 192981 HAS SOPS 186852 HAS SOUS 91210 HAS SOUPS 90588 WITH SCORE 90780.981
AT ITER 281 NEW BEST:: SOT 250142 SOS 188306 HAS SOPS 183892 HAS SOUS 91093 HAS SOUPS 90580 WITH SCORE 90768.306
AT ITER 282 NEW BEST:: SOT 250186 SOS 188465 HAS SOPS 183892 HAS SOUS 91087 HAS SOUPS 90574 WITH SCORE 90762.465
AT ITER 285 NEW BEST:: SOT 250186 SOS 188046 HAS SOPS 183473 HAS SOUS 91040 HAS SOUPS 90527 WITH SCORE 90715.046
AT ITER 287 NEW BEST:: SOT 250186 SOS 187558 HAS SOPS 182426 HAS SOUS 90907 HAS SOUPS 89835 WITH SCORE 90022.558
AT ITER 288 NEW BEST:: SOT 250186 SOS 187488 HAS SOPS 182356 HAS SOUS 90852 HAS SOUPS 89780 WITH SCORE 89967.488
AT ITER 290 NEW BEST:: SOT 250186 SOS 187548 HAS SOPS 182436 HAS SOUS 90812 HAS SOUPS 89760 WITH SCORE 89947.548
AT ITER 294 NEW BEST:: SOT 250186 SOS 187436 HAS SOPS 182324 HAS SOUS 90724 HAS SOUPS 89672 WITH SCORE 89859.436
AT ITER 297 NEW BEST:: SOT 250186 SOS 187262 HAS SOPS 182150 HAS SOUS 90562 HAS SOUPS 89510 WITH SCORE 89697.262
AT ITER 299 NEW BEST:: SOT 250186 SOS 187164 HAS SOPS 182052 HAS SOUS 90513 HAS SOUPS 89461 WITH SCORE 89648.164
AT ITER 304 NEW BEST:: SOT 250168 SOS 187136 HAS SOPS 182060 HAS SOUS 90504 HAS SOUPS 89452 WITH SCORE 89639.136
AT ITER 307 NEW BEST:: SOT 250203 SOS 180827 HAS SOPS 178606 HAS SOUS 90114 HAS SOUPS 89241 WITH SCORE 89421.827
AT ITER 311 NEW BEST:: SOT 250203 SOS 180669 HAS SOPS 178448 HAS SOUS 90033 HAS SOUPS 89160 WITH SCORE 89340.669
AT ITER 320 NEW BEST:: SOT 250203 SOS 180559 HAS SOPS 178338 HAS SOUS 90009 HAS SOUPS 89136 WITH SCORE 89316.559
AT ITER 322 NEW BEST:: SOT 250203 SOS 180559 HAS SOPS 178097 HAS SOUS 90009 HAS SOUPS 88895 WITH SCORE 89075.559
AT ITER 325 NEW BEST:: SOT 250203 SOS 180423 HAS SOPS 177961 HAS SOUS 89827 HAS SOUPS 88713 WITH SCORE 88893.423
AT ITER 326 NEW BEST:: SOT 250152 SOS 180135 HAS SOPS 177673 HAS SOUS 89632 HAS SOUPS 88518 WITH SCORE 88698.135
AT ITER 330 NEW BEST:: SOT 250152 SOS 180135 HAS SOPS 177673 HAS SOUS 89614 HAS SOUPS 88500 WITH SCORE 88680.135
AT ITER 334 NEW BEST:: SOT 250152 SOS 179959 HAS SOPS 177497 HAS SOUS 89570 HAS SOUPS 88456 WITH SCORE 88635.959
AT ITER 339 NEW BEST:: SOT 250152 SOS 179358 HAS SOPS 176896 HAS SOUS 89438 HAS SOUPS 88324 WITH SCORE 88503.358
AT ITER 340 NEW BEST:: SOT 250152 SOS 179214 HAS SOPS 176818 HAS SOUS 89390 HAS SOUPS 88276 WITH SCORE 88455.214
AT ITER 350 NEW BEST:: SOT 250152 SOS 179198 HAS SOPS 176802 HAS SOUS 89382 HAS SOUPS 88268 WITH SCORE 88447.198
AT ITER 352 NEW BEST:: SOT 250152 SOS 178666 HAS SOPS 176270 HAS SOUS 89252 HAS SOUPS 88138 WITH SCORE 88316.666
AT ITER 354 NEW BEST:: SOT 250152 SOS 177304 HAS SOPS 174908 HAS SOUS 89163 HAS SOUPS 88049 WITH SCORE 88226.304
AT ITER 363 NEW BEST:: SOT 250132 SOS 177008 HAS SOPS 174710 HAS SOUS 89130 HAS SOUPS 88016 WITH SCORE 88193.008
AT ITER 369 NEW BEST:: SOT 250132 SOS 176992 HAS SOPS 174702 HAS SOUS 89130 HAS SOUPS 88016 WITH SCORE 88192.992
AT ITER 371 NEW BEST:: SOT 250132 SOS 177447 HAS SOPS 175157 HAS SOUS 88225 HAS SOUPS 87111 WITH SCORE 87288.447
AT ITER 372 NEW BEST:: SOT 250132 SOS 177792 HAS SOPS 175502 HAS SOUS 88160 HAS SOUPS 87046 WITH SCORE 87223.792
AT ITER 374 NEW BEST:: SOT 250132 SOS 177664 HAS SOPS 175374 HAS SOUS 88110 HAS SOUPS 86996 WITH SCORE 87173.664
AT ITER 375 NEW BEST:: SOT 250132 SOS 177266 HAS SOPS 174976 HAS SOUS 87958 HAS SOUPS 86844 WITH SCORE 87021.266
AT ITER 381 NEW BEST:: SOT 250132 SOS 177204 HAS SOPS 174914 HAS SOUS 87941 HAS SOUPS 86827 WITH SCORE 87004.204
AT ITER 382 NEW BEST:: SOT 250094 SOS 175671 HAS SOPS 173446 HAS SOUS 87165 HAS SOUPS 86051 WITH SCORE 86226.671
AT ITER 384 NEW BEST:: SOT 250094 SOS 175383 HAS SOPS 173158 HAS SOUS 85947 HAS SOUPS 84833 WITH SCORE 85008.383
AT ITER 387 NEW BEST:: SOT 250094 SOS 175434 HAS SOPS 173293 HAS SOUS 85766 HAS SOUPS 84736 WITH SCORE 84911.434
AT ITER 389 NEW BEST:: SOT 250008 SOS 176653 HAS SOPS 173841 HAS SOUS 85690 HAS SOUPS 84600 WITH SCORE 84776.653
AT ITER 394 NEW BEST:: SOT 250008 SOS 176647 HAS SOPS 173835 HAS SOUS 85684 HAS SOUPS 84594 WITH SCORE 84770.647
AT ITER 396 NEW BEST:: SOT 250008 SOS 176364 HAS SOPS 173552 HAS SOUS 85578 HAS SOUPS 84488 WITH SCORE 84664.364
AT ITER 400 NEW BEST:: SOT 250008 SOS 176467 HAS SOPS 173634 HAS SOUS 85560 HAS SOUPS 84470 WITH SCORE 84646.467
AT ITER 403 NEW BEST:: SOT 250008 SOS 176295 HAS SOPS 173462 HAS SOUS 85560 HAS SOUPS 84470 WITH SCORE 84646.295
AT ITER 406 NEW BEST:: SOT 250008 SOS 175877 HAS SOPS 173044 HAS SOUS 85418 HAS SOUPS 84328 WITH SCORE 84503.877
AT ITER 411 NEW BEST:: SOT 250008 SOS 175601 HAS SOPS 172768 HAS SOUS 85382 HAS SOUPS 84292 WITH SCORE 84467.601
AT ITER 412 NEW BEST:: SOT 250008 SOS 175495 HAS SOPS 172662 HAS SOUS 85272 HAS SOUPS 84182 WITH SCORE 84357.495
AT ITER 419 NEW BEST:: SOT 250008 SOS 173931 HAS SOPS 171098 HAS SOUS 84730 HAS SOUPS 83640 WITH SCORE 83813.931
AT ITER 426 NEW BEST:: SOT 250008 SOS 173617 HAS SOPS 170917 HAS SOUS 84710 HAS SOUPS 83620 WITH SCORE 83793.617
AT ITER 427 NEW BEST:: SOT 250008 SOS 173493 HAS SOPS 170793 HAS SOUS 84616 HAS SOUPS 83526 WITH SCORE 83699.493
AT ITER 431 NEW BEST:: SOT 250008 SOS 173496 HAS SOPS 170796 HAS SOUS 84560 HAS SOUPS 83470 WITH SCORE 83643.496
AT ITER 433 NEW BEST:: SOT 250008 SOS 173318 HAS SOPS 170618 HAS SOUS 84520 HAS SOUPS 83430 WITH SCORE 83603.318
AT ITER 440 NEW BEST:: SOT 250008 SOS 171896 HAS SOPS 169196 HAS SOUS 83518 HAS SOUPS 82428 WITH SCORE 82599.896
AT ITER 445 NEW BEST:: SOT 250008 SOS 171383 HAS SOPS 168648 HAS SOUS 83221 HAS SOUPS 82096 WITH SCORE 82267.383
AT ITER 446 NEW BEST:: SOT 250008 SOS 169831 HAS SOPS 167096 HAS SOUS 81685 HAS SOUPS 80560 WITH SCORE 80729.831
AT ITER 447 NEW BEST:: SOT 250008 SOS 169256 HAS SOPS 166521 HAS SOUS 81394 HAS SOUPS 80269 WITH SCORE 80438.256
AT ITER 448 NEW BEST:: SOT 250008 SOS 168908 HAS SOPS 166173 HAS SOUS 81165 HAS SOUPS 80040 WITH SCORE 80208.908
AT ITER 450 NEW BEST:: SOT 250008 SOS 168497 HAS SOPS 165762 HAS SOUS 80918 HAS SOUPS 79793 WITH SCORE 79961.497
AT ITER 452 NEW BEST:: SOT 250029 SOS 167278 HAS SOPS 165038 HAS SOUS 80745 HAS SOUPS 79662 WITH SCORE 79829.278
AT ITER 463 NEW BEST:: SOT 250029 SOS 167234 HAS SOPS 164994 HAS SOUS 80734 HAS SOUPS 79651 WITH SCORE 79818.234
AT ITER 465 NEW BEST:: SOT 250029 SOS 166338 HAS SOPS 164098 HAS SOUS 80698 HAS SOUPS 79615 WITH SCORE 79781.338
AT ITER 466 NEW BEST:: SOT 250029 SOS 166358 HAS SOPS 164118 HAS SOUS 80373 HAS SOUPS 79290 WITH SCORE 79456.358
AT ITER 469 NEW BEST:: SOT 250029 SOS 166150 HAS SOPS 163910 HAS SOUS 80326 HAS SOUPS 79243 WITH SCORE 79409.15
AT ITER 470 NEW BEST:: SOT 250029 SOS 166137 HAS SOPS 163892 HAS SOUS 80280 HAS SOUPS 79192 WITH SCORE 79358.137
AT ITER 471 NEW BEST:: SOT 250029 SOS 166113 HAS SOPS 163868 HAS SOUS 80256 HAS SOUPS 79168 WITH SCORE 79334.113
AT ITER 476 NEW BEST:: SOT 250017 SOS 166101 HAS SOPS 163856 HAS SOUS 80244 HAS SOUPS 79156 WITH SCORE 79322.101
AT ITER 491 NEW BEST:: SOT 250017 SOS 165923 HAS SOPS 163589 HAS SOUS 80324 HAS SOUPS 79147 WITH SCORE 79312.923
AT ITER 494 NEW BEST:: SOT 250017 SOS 165668 HAS SOPS 163469 HAS SOUS 79912 HAS SOUPS 78870 WITH SCORE 79035.668
AT ITER 495 NEW BEST:: SOT 250017 SOS 165656 HAS SOPS 163457 HAS SOUS 79909 HAS SOUPS 78867 WITH SCORE 79032.656
AT ITER 499 NEW BEST:: SOT 250017 SOS 165248 HAS SOPS 163049 HAS SOUS 79774 HAS SOUPS 78732 WITH SCORE 78897.248
AT ITER 507 NEW BEST:: SOT 250017 SOS 165248 HAS SOPS 163049 HAS SOUS 79678 HAS SOUPS 78636 WITH SCORE 78801.248
AT ITER 511 NEW BEST:: SOT 249940 SOS 165068 HAS SOPS 162792 HAS SOUS 79457 HAS SOUPS 78415 WITH SCORE 78580.068
AT ITER 513 NEW BEST:: SOT 249940 SOS 162080 HAS SOPS 159804 HAS SOUS 77648 HAS SOUPS 76606 WITH SCORE 76768.08
AT ITER 518 NEW BEST:: SOT 249924 SOS 162004 HAS SOPS 159742 HAS SOUS 77631 HAS SOUPS 76589 WITH SCORE 76751.004
AT ITER 520 NEW BEST:: SOT 250021 SOS 160915 HAS SOPS 159151 HAS SOUS 77261 HAS SOUPS 76261 WITH SCORE 76421.915
AT ITER 521 NEW BEST:: SOT 250021 SOS 161025 HAS SOPS 159261 HAS SOUS 77254 HAS SOUPS 76254 WITH SCORE 76415.025
AT ITER 522 NEW BEST:: SOT 250021 SOS 161021 HAS SOPS 159257 HAS SOUS 77252 HAS SOUPS 76252 WITH SCORE 76413.021
AT ITER 526 NEW BEST:: SOT 250003 SOS 161003 HAS SOPS 159249 HAS SOUS 77252 HAS SOUPS 76252 WITH SCORE 76413.003
AT ITER 527 NEW BEST:: SOT 250003 SOS 160915 HAS SOPS 159161 HAS SOUS 77252 HAS SOUPS 76252 WITH SCORE 76412.915
AT ITER 528 NEW BEST:: SOT 250003 SOS 160861 HAS SOPS 159107 HAS SOUS 77246 HAS SOUPS 76246 WITH SCORE 76406.861
AT ITER 535 NEW BEST:: SOT 250003 SOS 160731 HAS SOPS 158977 HAS SOUS 77087 HAS SOUPS 76087 WITH SCORE 76247.731
AT ITER 536 NEW BEST:: SOT 250003 SOS 160712 HAS SOPS 158968 HAS SOUS 77052 HAS SOUPS 76057 WITH SCORE 76217.712
AT ITER 544 NEW BEST:: SOT 250003 SOS 161506 HAS SOPS 159762 HAS SOUS 77002 HAS SOUPS 76007 WITH SCORE 76168.506
AT ITER 550 NEW BEST:: SOT 250003 SOS 159306 HAS SOPS 157562 HAS SOUS 76723 HAS SOUPS 75728 WITH SCORE 75887.306
AT ITER 551 NEW BEST:: SOT 250003 SOS 159179 HAS SOPS 157435 HAS SOUS 76670 HAS SOUPS 75675 WITH SCORE 75834.179
AT ITER 554 NEW BEST:: SOT 250003 SOS 159155 HAS SOPS 157411 HAS SOUS 76670 HAS SOUPS 75675 WITH SCORE 75834.155
AT ITER 556 NEW BEST:: SOT 250003 SOS 159131 HAS SOPS 157387 HAS SOUS 76586 HAS SOUPS 75591 WITH SCORE 75750.131
AT ITER 565 NEW BEST:: SOT 250003 SOS 158685 HAS SOPS 156941 HAS SOUS 76362 HAS SOUPS 75367 WITH SCORE 75525.685
AT ITER 567 NEW BEST:: SOT 250003 SOS 158669 HAS SOPS 156873 HAS SOUS 76398 HAS SOUPS 75351 WITH SCORE 75509.669
AT ITER 571 NEW BEST:: SOT 250003 SOS 158671 HAS SOPS 156924 HAS SOUS 76282 HAS SOUPS 75284 WITH SCORE 75442.671
AT ITER 576 NEW BEST:: SOT 250003 SOS 158645 HAS SOPS 156898 HAS SOUS 76200 HAS SOUPS 75202 WITH SCORE 75360.645
AT ITER 577 NEW BEST:: SOT 250003 SOS 158457 HAS SOPS 156710 HAS SOUS 76106 HAS SOUPS 75108 WITH SCORE 75266.457
AT ITER 579 NEW BEST:: SOT 250003 SOS 158411 HAS SOPS 156664 HAS SOUS 76090 HAS SOUPS 75092 WITH SCORE 75250.411
AT ITER 582 NEW BEST:: SOT 250003 SOS 158629 HAS SOPS 156882 HAS SOUS 75847 HAS SOUPS 74849 WITH SCORE 75007.629
AT ITER 583 NEW BEST:: SOT 250003 SOS 158535 HAS SOPS 156726 HAS SOUS 75774 HAS SOUPS 74714 WITH SCORE 74872.535
AT ITER 588 NEW BEST:: SOT 249899 SOS 158382 HAS SOPS 156630 HAS SOUS 75696 HAS SOUPS 74693 WITH SCORE 74851.382
AT ITER 590 NEW BEST:: SOT 249899 SOS 158813 HAS SOPS 157096 HAS SOUS 75647 HAS SOUPS 74679 WITH SCORE 74837.813
AT ITER 596 NEW BEST:: SOT 249899 SOS 158639 HAS SOPS 156922 HAS SOUS 75611 HAS SOUPS 74643 WITH SCORE 74801.639
AT ITER 603 NEW BEST:: SOT 249899 SOS 157839 HAS SOPS 156122 HAS SOUS 75381 HAS SOUPS 74413 WITH SCORE 74570.839
AT ITER 604 NEW BEST:: SOT 249899 SOS 157443 HAS SOPS 155726 HAS SOUS 75282 HAS SOUPS 74314 WITH SCORE 74471.443
AT ITER 611 NEW BEST:: SOT 249899 SOS 157159 HAS SOPS 155442 HAS SOUS 75204 HAS SOUPS 74236 WITH SCORE 74393.159
AT ITER 613 NEW BEST:: SOT 249899 SOS 157141 HAS SOPS 155424 HAS SOUS 75195 HAS SOUPS 74227 WITH SCORE 74384.141
AT ITER 614 NEW BEST:: SOT 249899 SOS 157337 HAS SOPS 155620 HAS SOUS 75130 HAS SOUPS 74162 WITH SCORE 74319.337
AT ITER 616 NEW BEST:: SOT 249899 SOS 157298 HAS SOPS 155616 HAS SOUS 75072 HAS SOUPS 74139 WITH SCORE 74296.298
AT ITER 619 NEW BEST:: SOT 249899 SOS 157206 HAS SOPS 155524 HAS SOUS 75047 HAS SOUPS 74114 WITH SCORE 74271.206
AT ITER 624 NEW BEST:: SOT 249899 SOS 157206 HAS SOPS 155473 HAS SOUS 75047 HAS SOUPS 74063 WITH SCORE 74220.206
AT ITER 625 NEW BEST:: SOT 249899 SOS 156990 HAS SOPS 155257 HAS SOUS 75011 HAS SOUPS 74027 WITH SCORE 74183.99
AT ITER 627 NEW BEST:: SOT 249899 SOS 156718 HAS SOPS 154985 HAS SOUS 74877 HAS SOUPS 73893 WITH SCORE 74049.718
AT ITER 631 NEW BEST:: SOT 249899 SOS 156704 HAS SOPS 154971 HAS SOUS 74875 HAS SOUPS 73891 WITH SCORE 74047.704
AT ITER 636 NEW BEST:: SOT 249899 SOS 156656 HAS SOPS 154923 HAS SOUS 74875 HAS SOUPS 73891 WITH SCORE 74047.656
AT ITER 638 NEW BEST:: SOT 249899 SOS 156616 HAS SOPS 154883 HAS SOUS 74860 HAS SOUPS 73876 WITH SCORE 74032.616
AT ITER 639 NEW BEST:: SOT 249899 SOS 156388 HAS SOPS 154655 HAS SOUS 74852 HAS SOUPS 73868 WITH SCORE 74024.388
AT ITER 640 NEW BEST:: SOT 249899 SOS 156273 HAS SOPS 154540 HAS SOUS 74807 HAS SOUPS 73823 WITH SCORE 73979.273
AT ITER 642 NEW BEST:: SOT 249899 SOS 156273 HAS SOPS 154540 HAS SOUS 74797 HAS SOUPS 73813 WITH SCORE 73969.273
AT ITER 643 NEW BEST:: SOT 249900 SOS 156660 HAS SOPS 154927 HAS SOUS 74571 HAS SOUPS 73587 WITH SCORE 73743.66
AT ITER 648 NEW BEST:: SOT 249900 SOS 156546 HAS SOPS 154813 HAS SOUS 74540 HAS SOUPS 73556 WITH SCORE 73712.546
AT ITER 650 NEW BEST:: SOT 249900 SOS 156781 HAS SOPS 155048 HAS SOUS 74523 HAS SOUPS 73539 WITH SCORE 73695.781
AT ITER 655 NEW BEST:: SOT 249900 SOS 156483 HAS SOPS 154624 HAS SOUS 74647 HAS SOUPS 73537 WITH SCORE 73693.483
AT ITER 659 NEW BEST:: SOT 249900 SOS 156416 HAS SOPS 154552 HAS SOUS 74609 HAS SOUPS 73494 WITH SCORE 73650.416
AT ITER 660 NEW BEST:: SOT 249900 SOS 156374 HAS SOPS 154562 HAS SOUS 74505 HAS SOUPS 73442 WITH SCORE 73598.374
AT ITER 664 NEW BEST:: SOT 249900 SOS 156692 HAS SOPS 154880 HAS SOUS 74472 HAS SOUPS 73409 WITH SCORE 73565.692
AT ITER 669 NEW BEST:: SOT 249883 SOS 156581 HAS SOPS 154769 HAS SOUS 74408 HAS SOUPS 73345 WITH SCORE 73501.581
AT ITER 671 NEW BEST:: SOT 249883 SOS 156512 HAS SOPS 154700 HAS SOUS 74287 HAS SOUPS 73224 WITH SCORE 73380.512
AT ITER 676 NEW BEST:: SOT 249883 SOS 156318 HAS SOPS 154506 HAS SOUS 74184 HAS SOUPS 73121 WITH SCORE 73277.318
AT ITER 677 NEW BEST:: SOT 249867 SOS 156302 HAS SOPS 154490 HAS SOUS 74168 HAS SOUPS 73105 WITH SCORE 73261.302
AT ITER 678 NEW BEST:: SOT 249867 SOS 153642 HAS SOPS 151380 HAS SOUS 72322 HAS SOUPS 71259 WITH SCORE 71412.642
AT ITER 679 NEW BEST:: SOT 249867 SOS 153648 HAS SOPS 151386 HAS SOUS 72320 HAS SOUPS 71257 WITH SCORE 71410.648
AT ITER 680 NEW BEST:: SOT 249847 SOS 153583 HAS SOPS 151346 HAS SOUS 72303 HAS SOUPS 71240 WITH SCORE 71393.583
AT ITER 687 NEW BEST:: SOT 249847 SOS 153128 HAS SOPS 150891 HAS SOUS 72054 HAS SOUPS 70991 WITH SCORE 71144.128
AT ITER 689 NEW BEST:: SOT 249847 SOS 153106 HAS SOPS 150869 HAS SOUS 72042 HAS SOUPS 70979 WITH SCORE 71132.106
AT ITER 706 NEW BEST:: SOT 249847 SOS 153106 HAS SOPS 150869 HAS SOUS 72006 HAS SOUPS 70943 WITH SCORE 71096.106
AT ITER 707 NEW BEST:: SOT 249847 SOS 153901 HAS SOPS 151664 HAS SOUS 71933 HAS SOUPS 70870 WITH SCORE 71023.901
AT ITER 710 NEW BEST:: SOT 249847 SOS 154109 HAS SOPS 151872 HAS SOUS 71930 HAS SOUPS 70867 WITH SCORE 71021.109
AT ITER 716 NEW BEST:: SOT 249847 SOS 154087 HAS SOPS 151850 HAS SOUS 71912 HAS SOUPS 70849 WITH SCORE 71003.087
AT ITER 717 NEW BEST:: SOT 249799 SOS 153956 HAS SOPS 151760 HAS SOUS 71858 HAS SOUPS 70820 WITH SCORE 70973.956
AT ITER 728 NEW BEST:: SOT 249799 SOS 153878 HAS SOPS 151614 HAS SOUS 71852 HAS SOUPS 70769 WITH SCORE 70922.878
AT ITER 729 NEW BEST:: SOT 249799 SOS 153976 HAS SOPS 151712 HAS SOUS 71835 HAS SOUPS 70752 WITH SCORE 70905.976
AT ITER 731 NEW BEST:: SOT 249799 SOS 154042 HAS SOPS 151778 HAS SOUS 71834 HAS SOUPS 70751 WITH SCORE 70905.042
AT ITER 732 NEW BEST:: SOT 249799 SOS 152455 HAS SOPS 150191 HAS SOUS 71689 HAS SOUPS 70606 WITH SCORE 70758.455
AT ITER 736 NEW BEST:: SOT 249799 SOS 152397 HAS SOPS 150133 HAS SOUS 71689 HAS SOUPS 70606 WITH SCORE 70758.397
AT ITER 738 NEW BEST:: SOT 249799 SOS 152367 HAS SOPS 150103 HAS SOUS 71689 HAS SOUPS 70606 WITH SCORE 70758.367
AT ITER 741 NEW BEST:: SOT 249799 SOS 152071 HAS SOPS 149807 HAS SOUS 71533 HAS SOUPS 70450 WITH SCORE 70602.071
AT ITER 742 NEW BEST:: SOT 249799 SOS 151835 HAS SOPS 149571 HAS SOUS 71506 HAS SOUPS 70423 WITH SCORE 70574.835
AT ITER 743 NEW BEST:: SOT 249799 SOS 150869 HAS SOPS 148413 HAS SOUS 71553 HAS SOUPS 70374 WITH SCORE 70524.869
AT ITER 744 NEW BEST:: SOT 249799 SOS 150805 HAS SOPS 148349 HAS SOUS 71553 HAS SOUPS 70374 WITH SCORE 70524.805
AT ITER 747 NEW BEST:: SOT 249799 SOS 148932 HAS SOPS 146562 HAS SOUS 71078 HAS SOUPS 69985 WITH SCORE 70133.932
AT ITER 748 NEW BEST:: SOT 249799 SOS 148947 HAS SOPS 146546 HAS SOUS 71070 HAS SOUPS 69969 WITH SCORE 70117.947
AT ITER 751 NEW BEST:: SOT 249799 SOS 148835 HAS SOPS 146434 HAS SOUS 71014 HAS SOUPS 69913 WITH SCORE 70061.835
AT ITER 752 NEW BEST:: SOT 249799 SOS 148735 HAS SOPS 146314 HAS SOUS 71024 HAS SOUPS 69913 WITH SCORE 70061.735
AT ITER 754 NEW BEST:: SOT 249799 SOS 148587 HAS SOPS 146166 HAS SOUS 70987 HAS SOUPS 69876 WITH SCORE 70024.587
AT ITER 755 NEW BEST:: SOT 249799 SOS 148455 HAS SOPS 146034 HAS SOUS 70774 HAS SOUPS 69663 WITH SCORE 69811.455
AT ITER 758 NEW BEST:: SOT 249799 SOS 148323 HAS SOPS 145902 HAS SOUS 70756 HAS SOUPS 69645 WITH SCORE 69793.323
AT ITER 759 NEW BEST:: SOT 249799 SOS 148151 HAS SOPS 145730 HAS SOUS 70752 HAS SOUPS 69641 WITH SCORE 69789.151
AT ITER 762 NEW BEST:: SOT 249799 SOS 148103 HAS SOPS 145682 HAS SOUS 70752 HAS SOUPS 69641 WITH SCORE 69789.103
AT ITER 765 NEW BEST:: SOT 249798 SOS 148092 HAS SOPS 145671 HAS SOUS 70733 HAS SOUPS 69622 WITH SCORE 69770.092
AT ITER 771 NEW BEST:: SOT 249798 SOS 148091 HAS SOPS 145665 HAS SOUS 70735 HAS SOUPS 69619 WITH SCORE 69767.091
AT ITER 780 NEW BEST:: SOT 249798 SOS 147933 HAS SOPS 145507 HAS SOUS 70613 HAS SOUPS 69497 WITH SCORE 69644.933
AT ITER 784 NEW BEST:: SOT 249798 SOS 147135 HAS SOPS 144709 HAS SOUS 70381 HAS SOUPS 69265 WITH SCORE 69412.135
AT ITER 785 NEW BEST:: SOT 249798 SOS 147217 HAS SOPS 144667 HAS SOUS 70431 HAS SOUPS 69211 WITH SCORE 69358.217
AT ITER 786 NEW BEST:: SOT 249798 SOS 147481 HAS SOPS 144931 HAS SOUS 70378 HAS SOUPS 69158 WITH SCORE 69305.481
AT ITER 787 NEW BEST:: SOT 249798 SOS 147368 HAS SOPS 144818 HAS SOUS 70314 HAS SOUPS 69094 WITH SCORE 69241.368
AT ITER 793 NEW BEST:: SOT 249798 SOS 147354 HAS SOPS 144776 HAS SOUS 70328 HAS SOUPS 69094 WITH SCORE 69241.354
AT ITER 796 NEW BEST:: SOT 249798 SOS 147040 HAS SOPS 144462 HAS SOUS 70326 HAS SOUPS 69092 WITH SCORE 69239.04
AT ITER 808 NEW BEST:: SOT 249798 SOS 147012 HAS SOPS 144434 HAS SOUS 70312 HAS SOUPS 69078 WITH SCORE 69225.012
AT ITER 816 NEW BEST:: SOT 249798 SOS 147012 HAS SOPS 144434 HAS SOUS 70290 HAS SOUPS 69056 WITH SCORE 69203.012
AT ITER 817 NEW BEST:: SOT 249798 SOS 146492 HAS SOPS 143914 HAS SOUS 70160 HAS SOUPS 68926 WITH SCORE 69072.492
AT ITER 821 NEW BEST:: SOT 249798 SOS 146360 HAS SOPS 143782 HAS SOUS 70116 HAS SOUPS 68882 WITH SCORE 69028.36
AT ITER 822 NEW BEST:: SOT 249798 SOS 145481 HAS SOPS 142861 HAS SOUS 70083 HAS SOUPS 68807 WITH SCORE 68952.481
AT ITER 829 NEW BEST:: SOT 249798 SOS 145379 HAS SOPS 142759 HAS SOUS 69981 HAS SOUPS 68705 WITH SCORE 68850.379
AT ITER 830 NEW BEST:: SOT 249798 SOS 145382 HAS SOPS 142787 HAS SOUS 69920 HAS SOUPS 68644 WITH SCORE 68789.382
AT ITER 831 NEW BEST:: SOT 249798 SOS 145218 HAS SOPS 142623 HAS SOUS 69920 HAS SOUPS 68644 WITH SCORE 68789.218
AT ITER 833 NEW BEST:: SOT 249798 SOS 145164 HAS SOPS 142569 HAS SOUS 69893 HAS SOUPS 68617 WITH SCORE 68762.164
AT ITER 836 NEW BEST:: SOT 249798 SOS 145156 HAS SOPS 142536 HAS SOUS 69893 HAS SOUPS 68592 WITH SCORE 68737.156
AT ITER 844 NEW BEST:: SOT 249798 SOS 145160 HAS SOPS 142532 HAS SOUS 69893 HAS SOUPS 68588 WITH SCORE 68733.16
AT ITER 846 NEW BEST:: SOT 249798 SOS 145902 HAS SOPS 143274 HAS SOUS 69862 HAS SOUPS 68557 WITH SCORE 68702.902
AT ITER 847 NEW BEST:: SOT 249798 SOS 145832 HAS SOPS 143214 HAS SOUS 69862 HAS SOUPS 68557 WITH SCORE 68702.832
AT ITER 849 NEW BEST:: SOT 249798 SOS 145356 HAS SOPS 142738 HAS SOUS 69624 HAS SOUPS 68319 WITH SCORE 68464.356
AT ITER 851 NEW BEST:: SOT 249798 SOS 145341 HAS SOPS 142733 HAS SOUS 69614 HAS SOUPS 68314 WITH SCORE 68459.341
AT ITER 853 NEW BEST:: SOT 249798 SOS 143619 HAS SOPS 141011 HAS SOUS 69297 HAS SOUPS 67997 WITH SCORE 68140.619
AT ITER 860 NEW BEST:: SOT 249798 SOS 143569 HAS SOPS 140860 HAS SOUS 69272 HAS SOUPS 67915 WITH SCORE 68058.569
AT ITER 861 NEW BEST:: SOT 249798 SOS 143575 HAS SOPS 140978 HAS SOUS 69167 HAS SOUPS 67902 WITH SCORE 68045.575
AT ITER 865 NEW BEST:: SOT 249769 SOS 142860 HAS SOPS 140263 HAS SOUS 69033 HAS SOUPS 67768 WITH SCORE 67910.86
AT ITER 866 NEW BEST:: SOT 249769 SOS 143018 HAS SOPS 140421 HAS SOUS 69014 HAS SOUPS 67749 WITH SCORE 67892.018
AT ITER 870 NEW BEST:: SOT 249769 SOS 142750 HAS SOPS 140153 HAS SOUS 68891 HAS SOUPS 67626 WITH SCORE 67768.75
AT ITER 871 NEW BEST:: SOT 249769 SOS 142630 HAS SOPS 140033 HAS SOUS 68831 HAS SOUPS 67566 WITH SCORE 67708.63
AT ITER 872 NEW BEST:: SOT 249769 SOS 142662 HAS SOPS 140065 HAS SOUS 68824 HAS SOUPS 67559 WITH SCORE 67701.662
AT ITER 876 NEW BEST:: SOT 249769 SOS 142599 HAS SOPS 139939 HAS SOUS 68887 HAS SOUPS 67559 WITH SCORE 67701.599
AT ITER 879 NEW BEST:: SOT 249769 SOS 142589 HAS SOPS 139929 HAS SOUS 68883 HAS SOUPS 67555 WITH SCORE 67697.589
AT ITER 880 NEW BEST:: SOT 249769 SOS 142649 HAS SOPS 139989 HAS SOUS 68788 HAS SOUPS 67460 WITH SCORE 67602.649
AT ITER 881 NEW BEST:: SOT 249769 SOS 142469 HAS SOPS 139809 HAS SOUS 68788 HAS SOUPS 67460 WITH SCORE 67602.469
AT ITER 884 NEW BEST:: SOT 249769 SOS 142667 HAS SOPS 140142 HAS SOUS 68566 HAS SOUPS 67312 WITH SCORE 67454.667
AT ITER 897 NEW BEST:: SOT 249769 SOS 142665 HAS SOPS 140140 HAS SOUS 68565 HAS SOUPS 67311 WITH SCORE 67453.665
AT ITER 898 NEW BEST:: SOT 249769 SOS 142051 HAS SOPS 139526 HAS SOUS 68354 HAS SOUPS 67100 WITH SCORE 67242.051
AT ITER 899 NEW BEST:: SOT 249769 SOS 142027 HAS SOPS 139502 HAS SOUS 68342 HAS SOUPS 67088 WITH SCORE 67230.027
AT ITER 903 NEW BEST:: SOT 249769 SOS 142056 HAS SOPS 139392 HAS SOUS 68406 HAS SOUPS 67066 WITH SCORE 67208.056
AT ITER 904 NEW BEST:: SOT 249769 SOS 141930 HAS SOPS 139266 HAS SOUS 68335 HAS SOUPS 66995 WITH SCORE 67136.93
AT ITER 908 NEW BEST:: SOT 249769 SOS 141596 HAS SOPS 138952 HAS SOUS 68278 HAS SOUPS 66958 WITH SCORE 67099.596
AT ITER 919 NEW BEST:: SOT 249769 SOS 141100 HAS SOPS 138456 HAS SOUS 68118 HAS SOUPS 66798 WITH SCORE 66939.1
AT ITER 922 NEW BEST:: SOT 249769 SOS 140952 HAS SOPS 138426 HAS SOUS 68035 HAS SOUPS 66777 WITH SCORE 66917.952
AT ITER 926 NEW BEST:: SOT 249769 SOS 140891 HAS SOPS 138365 HAS SOUS 67967 HAS SOUPS 66709 WITH SCORE 66849.891
AT ITER 929 NEW BEST:: SOT 249769 SOS 140857 HAS SOPS 138331 HAS SOUS 67967 HAS SOUPS 66709 WITH SCORE 66849.857
AT ITER 934 NEW BEST:: SOT 249778 SOS 140710 HAS SOPS 138184 HAS SOUS 67868 HAS SOUPS 66610 WITH SCORE 66750.71
AT ITER 936 NEW BEST:: SOT 249778 SOS 139814 HAS SOPS 137288 HAS SOUS 67399 HAS SOUPS 66141 WITH SCORE 66280.814
AT ITER 939 NEW BEST:: SOT 249778 SOS 139784 HAS SOPS 137258 HAS SOUS 67397 HAS SOUPS 66139 WITH SCORE 66278.784
AT ITER 943 NEW BEST:: SOT 249778 SOS 139346 HAS SOPS 136820 HAS SOUS 67377 HAS SOUPS 66119 WITH SCORE 66258.346
AT ITER 948 NEW BEST:: SOT 249914 SOS 138977 HAS SOPS 136665 HAS SOUS 67258 HAS SOUPS 66024 WITH SCORE 66162.977
AT ITER 955 NEW BEST:: SOT 249914 SOS 137925 HAS SOPS 135613 HAS SOUS 67257 HAS SOUPS 66023 WITH SCORE 66160.925
AT ITER 961 NEW BEST:: SOT 249914 SOS 137767 HAS SOPS 135455 HAS SOUS 67194 HAS SOUPS 65960 WITH SCORE 66097.767
AT ITER 967 NEW BEST:: SOT 249914 SOS 137743 HAS SOPS 135431 HAS SOUS 67182 HAS SOUPS 65948 WITH SCORE 66085.743
AT ITER 969 NEW BEST:: SOT 249914 SOS 137853 HAS SOPS 135541 HAS SOUS 67165 HAS SOUPS 65931 WITH SCORE 66068.853
AT ITER 970 NEW BEST:: SOT 249914 SOS 137847 HAS SOPS 135535 HAS SOUS 67162 HAS SOUPS 65928 WITH SCORE 66065.847
AT ITER 973 NEW BEST:: SOT 249914 SOS 137822 HAS SOPS 135481 HAS SOUS 67164 HAS SOUPS 65901 WITH SCORE 66038.822
AT ITER 995 NEW BEST:: SOT 249914 SOS 138452 HAS SOPS 136111 HAS SOUS 67054 HAS SOUPS 65791 WITH SCORE 65929.452
AT ITER 1000 NEW BEST:: SOT 249902 SOS 138218 HAS SOPS 135877 HAS SOUS 66961 HAS SOUPS 65698 WITH SCORE 65836.218
AT ITER 1006 NEW BEST:: SOT 249902 SOS 137957 HAS SOPS 135616 HAS SOUS 66917 HAS SOUPS 65654 WITH SCORE 65791.957
AT ITER 1007 NEW BEST:: SOT 249902 SOS 138075 HAS SOPS 135734 HAS SOUS 66904 HAS SOUPS 65641 WITH SCORE 65779.075
AT ITER 1008 NEW BEST:: SOT 249902 SOS 137680 HAS SOPS 135414 HAS SOUS 66700 HAS SOUPS 65512 WITH SCORE 65649.68
AT ITER 1009 NEW BEST:: SOT 249902 SOS 137648 HAS SOPS 135382 HAS SOUS 66679 HAS SOUPS 65491 WITH SCORE 65628.648
AT ITER 1011 NEW BEST:: SOT 249902 SOS 134890 HAS SOPS 132624 HAS SOUS 66300 HAS SOUPS 65112 WITH SCORE 65246.89
AT ITER 1014 NEW BEST:: SOT 249902 SOS 134955 HAS SOPS 132689 HAS SOUS 66296 HAS SOUPS 65108 WITH SCORE 65242.955
AT ITER 1016 NEW BEST:: SOT 249902 SOS 134701 HAS SOPS 132435 HAS SOUS 66189 HAS SOUPS 65001 WITH SCORE 65135.701
AT ITER 1018 NEW BEST:: SOT 249902 SOS 133983 HAS SOPS 131717 HAS SOUS 66095 HAS SOUPS 64907 WITH SCORE 65040.983
AT ITER 1022 NEW BEST:: SOT 249902 SOS 133949 HAS SOPS 131647 HAS SOUS 66091 HAS SOUPS 64885 WITH SCORE 65018.949
AT ITER 1026 NEW BEST:: SOT 249902 SOS 133895 HAS SOPS 131593 HAS SOUS 66073 HAS SOUPS 64867 WITH SCORE 65000.895
AT ITER 1039 NEW BEST:: SOT 249902 SOS 133873 HAS SOPS 131571 HAS SOUS 66051 HAS SOUPS 64845 WITH SCORE 64978.873
AT ITER 1040 NEW BEST:: SOT 249902 SOS 133863 HAS SOPS 131561 HAS SOUS 66051 HAS SOUPS 64845 WITH SCORE 64978.863
AT ITER 1043 NEW BEST:: SOT 249902 SOS 133767 HAS SOPS 131465 HAS SOUS 66022 HAS SOUPS 64816 WITH SCORE 64949.767
AT ITER 1051 NEW BEST:: SOT 249902 SOS 133667 HAS SOPS 131365 HAS SOUS 65972 HAS SOUPS 64766 WITH SCORE 64899.667
AT ITER 1053 NEW BEST:: SOT 249902 SOS 133602 HAS SOPS 131311 HAS SOUS 65956 HAS SOUPS 64750 WITH SCORE 64883.602
AT ITER 1056 NEW BEST:: SOT 249902 SOS 133460 HAS SOPS 131169 HAS SOUS 65956 HAS SOUPS 64750 WITH SCORE 64883.46
AT ITER 1059 NEW BEST:: SOT 249902 SOS 133202 HAS SOPS 130911 HAS SOUS 65773 HAS SOUPS 64567 WITH SCORE 64700.202
AT ITER 1062 NEW BEST:: SOT 249902 SOS 133322 HAS SOPS 131031 HAS SOUS 65769 HAS SOUPS 64563 WITH SCORE 64696.322
AT ITER 1063 NEW BEST:: SOT 249902 SOS 133148 HAS SOPS 130857 HAS SOUS 65682 HAS SOUPS 64476 WITH SCORE 64609.148
AT ITER 1064 NEW BEST:: SOT 249902 SOS 133106 HAS SOPS 130769 HAS SOUS 65661 HAS SOUPS 64409 WITH SCORE 64542.106
AT ITER 1065 NEW BEST:: SOT 249902 SOS 133082 HAS SOPS 130733 HAS SOUS 65657 HAS SOUPS 64393 WITH SCORE 64526.082
AT ITER 1066 NEW BEST:: SOT 249902 SOS 133060 HAS SOPS 130711 HAS SOUS 65593 HAS SOUPS 64329 WITH SCORE 64462.06
AT ITER 1072 NEW BEST:: SOT 249902 SOS 133011 HAS SOPS 130662 HAS SOUS 65547 HAS SOUPS 64283 WITH SCORE 64416.011
AT ITER 1078 NEW BEST:: SOT 249902 SOS 132899 HAS SOPS 130606 HAS SOUS 65491 HAS SOUPS 64255 WITH SCORE 64387.899
AT ITER 1080 NEW BEST:: SOT 249902 SOS 132905 HAS SOPS 130548 HAS SOUS 65494 HAS SOUPS 64226 WITH SCORE 64358.905
AT ITER 1091 NEW BEST:: SOT 249902 SOS 132907 HAS SOPS 130550 HAS SOUS 65493 HAS SOUPS 64225 WITH SCORE 64357.907
AT ITER 1096 NEW BEST:: SOT 249902 SOS 132889 HAS SOPS 130532 HAS SOUS 65478 HAS SOUPS 64210 WITH SCORE 64342.889
AT ITER 1110 NEW BEST:: SOT 249906 SOS 132047 HAS SOPS 129690 HAS SOUS 65221 HAS SOUPS 63953 WITH SCORE 64085.047
AT ITER 1112 NEW BEST:: SOT 249906 SOS 132047 HAS SOPS 129690 HAS SOUS 65220 HAS SOUPS 63952 WITH SCORE 64084.047
AT ITER 1113 NEW BEST:: SOT 249906 SOS 132041 HAS SOPS 129684 HAS SOUS 65190 HAS SOUPS 63922 WITH SCORE 64054.041
AT ITER 1114 NEW BEST:: SOT 249906 SOS 131987 HAS SOPS 129648 HAS SOUS 65163 HAS SOUPS 63904 WITH SCORE 64035.987
AT ITER 1116 NEW BEST:: SOT 249906 SOS 131947 HAS SOPS 129608 HAS SOUS 65143 HAS SOUPS 63884 WITH SCORE 64015.947
AT ITER 1121 NEW BEST:: SOT 249906 SOS 131511 HAS SOPS 129050 HAS SOUS 64966 HAS SOUPS 63646 WITH SCORE 63777.511
AT ITER 1130 NEW BEST:: SOT 249906 SOS 131506 HAS SOPS 129045 HAS SOUS 64941 HAS SOUPS 63621 WITH SCORE 63752.506
AT ITER 1131 NEW BEST:: SOT 249906 SOS 131608 HAS SOPS 129147 HAS SOUS 64849 HAS SOUPS 63529 WITH SCORE 63660.608
AT ITER 1135 NEW BEST:: SOT 249906 SOS 131686 HAS SOPS 129225 HAS SOUS 64844 HAS SOUPS 63524 WITH SCORE 63655.686
AT ITER 1137 NEW BEST:: SOT 249906 SOS 131656 HAS SOPS 129158 HAS SOUS 64829 HAS SOUPS 63472 WITH SCORE 63603.656
AT ITER 1144 NEW BEST:: SOT 249906 SOS 131648 HAS SOPS 129150 HAS SOUS 64825 HAS SOUPS 63468 WITH SCORE 63599.648
AT ITER 1146 NEW BEST:: SOT 249907 SOS 131695 HAS SOPS 129052 HAS SOUS 64926 HAS SOUPS 63437 WITH SCORE 63568.695
AT ITER 1153 NEW BEST:: SOT 248804 SOS 130592 HAS SOPS 127949 HAS SOUS 64519 HAS SOUPS 63030 WITH SCORE 63160.592
AT ITER 1157 NEW BEST:: SOT 248804 SOS 130588 HAS SOPS 127945 HAS SOUS 64517 HAS SOUPS 63028 WITH SCORE 63158.588
AT ITER 1162 NEW BEST:: SOT 248804 SOS 130588 HAS SOPS 127933 HAS SOUS 64517 HAS SOUPS 63022 WITH SCORE 63152.588
AT ITER 1170 NEW BEST:: SOT 248804 SOS 130576 HAS SOPS 127921 HAS SOUS 64511 HAS SOUPS 63016 WITH SCORE 63146.576
AT ITER 1195 NEW BEST:: SOT 248804 SOS 130548 HAS SOPS 127842 HAS SOUS 64548 HAS SOUPS 63002 WITH SCORE 63132.548
AT ITER 1197 NEW BEST:: SOT 248804 SOS 130542 HAS SOPS 127836 HAS SOUS 64545 HAS SOUPS 62999 WITH SCORE 63129.542
AT ITER 1198 NEW BEST:: SOT 248804 SOS 129436 HAS SOPS 126730 HAS SOUS 64335 HAS SOUPS 62789 WITH SCORE 62918.436
AT ITER 1207 NEW BEST:: SOT 248804 SOS 129360 HAS SOPS 126654 HAS SOUS 64216 HAS SOUPS 62670 WITH SCORE 62799.36
AT ITER 1215 NEW BEST:: SOT 248804 SOS 129336 HAS SOPS 126630 HAS SOUS 64216 HAS SOUPS 62670 WITH SCORE 62799.336
AT ITER 1218 NEW BEST:: SOT 248804 SOS 129256 HAS SOPS 126550 HAS SOUS 64184 HAS SOUPS 62638 WITH SCORE 62767.256
AT ITER 1224 NEW BEST:: SOT 248804 SOS 129260 HAS SOPS 126550 HAS SOUS 64184 HAS SOUPS 62636 WITH SCORE 62765.26
AT ITER 1228 NEW BEST:: SOT 248804 SOS 129508 HAS SOPS 126798 HAS SOUS 64175 HAS SOUPS 62627 WITH SCORE 62756.508
AT ITER 1240 NEW BEST:: SOT 248804 SOS 129222 HAS SOPS 126512 HAS SOUS 64040 HAS SOUPS 62492 WITH SCORE 62621.222
AT ITER 1264 NEW BEST:: SOT 248804 SOS 129208 HAS SOPS 126498 HAS SOUS 64033 HAS SOUPS 62485 WITH SCORE 62614.208
AT ITER 1269 NEW BEST:: SOT 248804 SOS 129198 HAS SOPS 126488 HAS SOUS 64028 HAS SOUPS 62480 WITH SCORE 62609.198
AT ITER 1288 NEW BEST:: SOT 248804 SOS 129160 HAS SOPS 126450 HAS SOUS 63987 HAS SOUPS 62439 WITH SCORE 62568.16
AT ITER 1304 NEW BEST:: SOT 248804 SOS 129191 HAS SOPS 126353 HAS SOUS 64082 HAS SOUPS 62429 WITH SCORE 62558.191
AT ITER 1308 NEW BEST:: SOT 248804 SOS 128655 HAS SOPS 125817 HAS SOUS 63938 HAS SOUPS 62285 WITH SCORE 62413.655
AT ITER 1314 NEW BEST:: SOT 248804 SOS 128655 HAS SOPS 125817 HAS SOUS 63932 HAS SOUPS 62279 WITH SCORE 62407.655
AT ITER 1317 NEW BEST:: SOT 248804 SOS 128653 HAS SOPS 125815 HAS SOUS 63931 HAS SOUPS 62278 WITH SCORE 62406.653
AT ITER 1327 NEW BEST:: SOT 248804 SOS 128611 HAS SOPS 125773 HAS SOUS 63910 HAS SOUPS 62257 WITH SCORE 62385.611
AT ITER 1336 NEW BEST:: SOT 248804 SOS 128519 HAS SOPS 125681 HAS SOUS 63887 HAS SOUPS 62234 WITH SCORE 62362.519
AT ITER 1339 NEW BEST:: SOT 248804 SOS 128205 HAS SOPS 125367 HAS SOUS 63785 HAS SOUPS 62132 WITH SCORE 62260.205
AT ITER 1350 NEW BEST:: SOT 248804 SOS 128175 HAS SOPS 125337 HAS SOUS 63780 HAS SOUPS 62127 WITH SCORE 62255.175
AT ITER 1355 NEW BEST:: SOT 248804 SOS 128139 HAS SOPS 125301 HAS SOUS 63762 HAS SOUPS 62109 WITH SCORE 62237.139
AT ITER 1362 NEW BEST:: SOT 248804 SOS 128125 HAS SOPS 125287 HAS SOUS 63755 HAS SOUPS 62102 WITH SCORE 62230.125
AT ITER 1365 NEW BEST:: SOT 248804 SOS 128109 HAS SOPS 125271 HAS SOUS 63747 HAS SOUPS 62094 WITH SCORE 62222.109
AT ITER 1369 NEW BEST:: SOT 248804 SOS 128017 HAS SOPS 125179 HAS SOUS 63701 HAS SOUPS 62048 WITH SCORE 62176.017
AT ITER 1371 NEW BEST:: SOT 248804 SOS 128013 HAS SOPS 125175 HAS SOUS 63699 HAS SOUPS 62046 WITH SCORE 62174.013
AT ITER 1382 NEW BEST:: SOT 248804 SOS 127975 HAS SOPS 124973 HAS SOUS 63767 HAS SOUPS 62032 WITH SCORE 62159.975
AT ITER 1385 NEW BEST:: SOT 248804 SOS 127935 HAS SOPS 124953 HAS SOUS 63747 HAS SOUPS 62022 WITH SCORE 62149.935
AT ITER 1403 NEW BEST:: SOT 248804 SOS 127238 HAS SOPS 124256 HAS SOUS 63593 HAS SOUPS 61868 WITH SCORE 61995.238
AT ITER 1422 NEW BEST:: SOT 248804 SOS 126820 HAS SOPS 123838 HAS SOUS 63514 HAS SOUPS 61789 WITH SCORE 61915.82
AT ITER 1431 NEW BEST:: SOT 248804 SOS 126800 HAS SOPS 123818 HAS SOUS 63504 HAS SOUPS 61779 WITH SCORE 61905.8
AT ITER 1432 NEW BEST:: SOT 248804 SOS 126796 HAS SOPS 123814 HAS SOUS 63459 HAS SOUPS 61734 WITH SCORE 61860.796
AT ITER 1433 NEW BEST:: SOT 248804 SOS 126490 HAS SOPS 123508 HAS SOUS 63449 HAS SOUPS 61724 WITH SCORE 61850.49
AT ITER 1450 NEW BEST:: SOT 248804 SOS 126250 HAS SOPS 123268 HAS SOUS 63398 HAS SOUPS 61673 WITH SCORE 61799.25
AT ITER 1470 NEW BEST:: SOT 248804 SOS 127500 HAS SOPS 123783 HAS SOUS 60757 HAS SOUPS 59032 WITH SCORE 59159.5
AT ITER 1471 NEW BEST:: SOT 248804 SOS 127510 HAS SOPS 123793 HAS SOUS 60752 HAS SOUPS 59027 WITH SCORE 59154.51
AT ITER 1481 NEW BEST:: SOT 248804 SOS 127038 HAS SOPS 123489 HAS SOUS 60516 HAS SOUPS 58875 WITH SCORE 59002.038
AT ITER 1487 NEW BEST:: SOT 248804 SOS 126820 HAS SOPS 123271 HAS SOUS 60392 HAS SOUPS 58751 WITH SCORE 58877.82
AT ITER 1493 NEW BEST:: SOT 248804 SOS 126738 HAS SOPS 123189 HAS SOUS 60351 HAS SOUPS 58710 WITH SCORE 58836.738
AT ITER 1500 NEW BEST:: SOT 248804 SOS 126714 HAS SOPS 123165 HAS SOUS 60339 HAS SOUPS 58698 WITH SCORE 58824.714
AT ITER 1503 NEW BEST:: SOT 248804 SOS 126722 HAS SOPS 123173 HAS SOUS 60334 HAS SOUPS 58693 WITH SCORE 58819.722
AT ITER 1505 NEW BEST:: SOT 248804 SOS 126722 HAS SOPS 123173 HAS SOUS 60329 HAS SOUPS 58688 WITH SCORE 58814.722
AT ITER 1506 NEW BEST:: SOT 248804 SOS 126618 HAS SOPS 123069 HAS SOUS 60277 HAS SOUPS 58636 WITH SCORE 58762.618
AT ITER 1508 NEW BEST:: SOT 248804 SOS 126890 HAS SOPS 123341 HAS SOUS 60191 HAS SOUPS 58550 WITH SCORE 58676.89
AT ITER 1510 NEW BEST:: SOT 248804 SOS 126878 HAS SOPS 123329 HAS SOUS 60185 HAS SOUPS 58544 WITH SCORE 58670.878
AT ITER 1520 NEW BEST:: SOT 248804 SOS 126976 HAS SOPS 123427 HAS SOUS 60172 HAS SOUPS 58531 WITH SCORE 58657.976
AT ITER 1547 NEW BEST:: SOT 248814 SOS 126794 HAS SOPS 123564 HAS SOUS 59931 HAS SOUPS 58466 WITH SCORE 58592.794
AT ITER 1549 NEW BEST:: SOT 248814 SOS 126564 HAS SOPS 123334 HAS SOUS 59922 HAS SOUPS 58457 WITH SCORE 58583.564
AT ITER 1550 NEW BEST:: SOT 248814 SOS 126458 HAS SOPS 123228 HAS SOUS 59922 HAS SOUPS 58457 WITH SCORE 58583.458
AT ITER 1564 NEW BEST:: SOT 248814 SOS 126394 HAS SOPS 123164 HAS SOUS 59898 HAS SOUPS 58433 WITH SCORE 58559.394
AT ITER 1566 NEW BEST:: SOT 248814 SOS 126358 HAS SOPS 123128 HAS SOUS 59878 HAS SOUPS 58413 WITH SCORE 58539.358
AT ITER 1573 NEW BEST:: SOT 248814 SOS 126004 HAS SOPS 122774 HAS SOUS 59669 HAS SOUPS 58204 WITH SCORE 58330.004
AT ITER 1586 NEW BEST:: SOT 248814 SOS 125572 HAS SOPS 122342 HAS SOUS 59666 HAS SOUPS 58201 WITH SCORE 58326.572
AT ITER 1588 NEW BEST:: SOT 248814 SOS 125548 HAS SOPS 122318 HAS SOUS 59654 HAS SOUPS 58189 WITH SCORE 58314.548
AT ITER 1591 NEW BEST:: SOT 248814 SOS 125292 HAS SOPS 122180 HAS SOUS 59522 HAS SOUPS 58116 WITH SCORE 58241.292
AT ITER 1594 NEW BEST:: SOT 248814 SOS 125330 HAS SOPS 122218 HAS SOUS 59452 HAS SOUPS 58046 WITH SCORE 58171.33
AT ITER 1595 NEW BEST:: SOT 248814 SOS 125538 HAS SOPS 122426 HAS SOUS 59406 HAS SOUPS 58000 WITH SCORE 58125.538
AT ITER 1603 NEW BEST:: SOT 248814 SOS 127072 HAS SOPS 123960 HAS SOUS 59319 HAS SOUPS 57913 WITH SCORE 58040.072
AT ITER 1609 NEW BEST:: SOT 248814 SOS 127080 HAS SOPS 123968 HAS SOUS 59315 HAS SOUPS 57909 WITH SCORE 58036.08
AT ITER 1611 NEW BEST:: SOT 248814 SOS 127066 HAS SOPS 123954 HAS SOUS 59308 HAS SOUPS 57902 WITH SCORE 58029.066
AT ITER 1616 NEW BEST:: SOT 248814 SOS 127066 HAS SOPS 123946 HAS SOUS 59308 HAS SOUPS 57898 WITH SCORE 58025.066
AT ITER 1645 NEW BEST:: SOT 248814 SOS 127386 HAS SOPS 124266 HAS SOUS 59299 HAS SOUPS 57889 WITH SCORE 58016.386
AT ITER 1647 NEW BEST:: SOT 248814 SOS 127474 HAS SOPS 124354 HAS SOUS 59293 HAS SOUPS 57883 WITH SCORE 58010.474
AT ITER 1657 NEW BEST:: SOT 248814 SOS 127480 HAS SOPS 124360 HAS SOUS 59284 HAS SOUPS 57874 WITH SCORE 58001.48
AT ITER 1668 NEW BEST:: SOT 248814 SOS 126824 HAS SOPS 123642 HAS SOUS 59230 HAS SOUPS 57789 WITH SCORE 57915.824
AT ITER 1669 NEW BEST:: SOT 248815 SOS 126813 HAS SOPS 123631 HAS SOUS 59220 HAS SOUPS 57779 WITH SCORE 57905.813
AT ITER 1677 NEW BEST:: SOT 248815 SOS 126621 HAS SOPS 123615 HAS SOUS 59102 HAS SOUPS 57749 WITH SCORE 57875.621
AT ITER 1678 NEW BEST:: SOT 248815 SOS 127649 HAS SOPS 124643 HAS SOUS 59039 HAS SOUPS 57686 WITH SCORE 57813.649
AT ITER 1683 NEW BEST:: SOT 248815 SOS 127797 HAS SOPS 124791 HAS SOUS 59000 HAS SOUPS 57647 WITH SCORE 57774.797
AT ITER 1684 NEW BEST:: SOT 248815 SOS 127599 HAS SOPS 124593 HAS SOUS 58993 HAS SOUPS 57640 WITH SCORE 57767.599
AT ITER 1689 NEW BEST:: SOT 248815 SOS 127653 HAS SOPS 124593 HAS SOUS 58966 HAS SOUPS 57586 WITH SCORE 57713.653
AT ITER 1697 NEW BEST:: SOT 248815 SOS 127809 HAS SOPS 124749 HAS SOUS 58957 HAS SOUPS 57577 WITH SCORE 57704.809
AT ITER 1717 NEW BEST:: SOT 248815 SOS 127725 HAS SOPS 124665 HAS SOUS 58954 HAS SOUPS 57574 WITH SCORE 57701.725
AT ITER 1724 NEW BEST:: SOT 248815 SOS 127707 HAS SOPS 124647 HAS SOUS 58945 HAS SOUPS 57565 WITH SCORE 57692.707
AT ITER 1730 NEW BEST:: SOT 248815 SOS 127701 HAS SOPS 124641 HAS SOUS 58945 HAS SOUPS 57565 WITH SCORE 57692.701
AT ITER 1745 NEW BEST:: SOT 248815 SOS 127497 HAS SOPS 124437 HAS SOUS 58913 HAS SOUPS 57533 WITH SCORE 57660.497
AT ITER 1752 NEW BEST:: SOT 248815 SOS 127527 HAS SOPS 124467 HAS SOUS 58906 HAS SOUPS 57526 WITH SCORE 57653.527
AT ITER 1756 NEW BEST:: SOT 248815 SOS 127518 HAS SOPS 124440 HAS SOUS 58897 HAS SOUPS 57508 WITH SCORE 57635.518
AT ITER 1773 NEW BEST:: SOT 248815 SOS 127538 HAS SOPS 124360 HAS SOUS 57947 HAS SOUPS 56558 WITH SCORE 56685.538
AT ITER 1780 NEW BEST:: SOT 248815 SOS 127482 HAS SOPS 124304 HAS SOUS 57935 HAS SOUPS 56546 WITH SCORE 56673.482
AT ITER 1800 NEW BEST:: SOT 248795 SOS 127462 HAS SOPS 124284 HAS SOUS 57873 HAS SOUPS 56484 WITH SCORE 56611.462
AT ITER 1804 NEW BEST:: SOT 248795 SOS 127424 HAS SOPS 124198 HAS SOUS 57863 HAS SOUPS 56450 WITH SCORE 56577.424
AT ITER 1807 NEW BEST:: SOT 248795 SOS 127388 HAS SOPS 124090 HAS SOUS 57863 HAS SOUPS 56414 WITH SCORE 56541.388
AT ITER 1815 NEW BEST:: SOT 248777 SOS 127370 HAS SOPS 124054 HAS SOUS 57825 HAS SOUPS 56376 WITH SCORE 56503.37
AT ITER 1822 NEW BEST:: SOT 248777 SOS 127274 HAS SOPS 123958 HAS SOUS 57825 HAS SOUPS 56376 WITH SCORE 56503.274
AT ITER 1823 NEW BEST:: SOT 248777 SOS 127206 HAS SOPS 123890 HAS SOUS 57791 HAS SOUPS 56342 WITH SCORE 56469.206
AT ITER 1825 NEW BEST:: SOT 248777 SOS 127138 HAS SOPS 123822 HAS SOUS 57757 HAS SOUPS 56308 WITH SCORE 56435.138
AT ITER 1835 NEW BEST:: SOT 248777 SOS 127134 HAS SOPS 123818 HAS SOUS 57757 HAS SOUPS 56308 WITH SCORE 56435.134
AT ITER 1837 NEW BEST:: SOT 248749 SOS 127550 HAS SOPS 124149 HAS SOUS 57782 HAS SOUPS 56287 WITH SCORE 56414.55
AT ITER 1850 NEW BEST:: SOT 248749 SOS 127470 HAS SOPS 124069 HAS SOUS 57782 HAS SOUPS 56287 WITH SCORE 56414.47
AT ITER 1863 NEW BEST:: SOT 248749 SOS 127598 HAS SOPS 124117 HAS SOUS 57802 HAS SOUPS 56267 WITH SCORE 56394.598
AT ITER 1868 NEW BEST:: SOT 248749 SOS 127618 HAS SOPS 124099 HAS SOUS 57803 HAS SOUPS 56249 WITH SCORE 56376.618
AT ITER 1877 NEW BEST:: SOT 248749 SOS 127522 HAS SOPS 124003 HAS SOUS 57779 HAS SOUPS 56225 WITH SCORE 56352.522
AT ITER 1880 NEW BEST:: SOT 248749 SOS 126820 HAS SOPS 123301 HAS SOUS 57701 HAS SOUPS 56147 WITH SCORE 56273.82
AT ITER 1895 NEW BEST:: SOT 248749 SOS 126698 HAS SOPS 123179 HAS SOUS 57701 HAS SOUPS 56147 WITH SCORE 56273.698
AT ITER 1902 NEW BEST:: SOT 248749 SOS 126234 HAS SOPS 122715 HAS SOUS 57701 HAS SOUPS 56147 WITH SCORE 56273.234
AT ITER 1903 NEW BEST:: SOT 248714 SOS 125855 HAS SOPS 122336 HAS SOUS 57580 HAS SOUPS 56026 WITH SCORE 56151.855
AT ITER 1904 NEW BEST:: SOT 248702 SOS 125913 HAS SOPS 122394 HAS SOUS 57577 HAS SOUPS 56023 WITH SCORE 56148.913
AT ITER 1906 NEW BEST:: SOT 248702 SOS 125785 HAS SOPS 122266 HAS SOUS 57530 HAS SOUPS 55976 WITH SCORE 56101.785
AT ITER 1932 NEW BEST:: SOT 248702 SOS 125765 HAS SOPS 122246 HAS SOUS 57530 HAS SOUPS 55976 WITH SCORE 56101.765
AT ITER 1933 NEW BEST:: SOT 248702 SOS 125725 HAS SOPS 122206 HAS SOUS 57517 HAS SOUPS 55963 WITH SCORE 56088.725
AT ITER 1934 NEW BEST:: SOT 248702 SOS 125725 HAS SOPS 122206 HAS SOUS 57513 HAS SOUPS 55959 WITH SCORE 56084.725
AT ITER 1949 NEW BEST:: SOT 248702 SOS 125677 HAS SOPS 122158 HAS SOUS 57431 HAS SOUPS 55877 WITH SCORE 56002.677
AT ITER 1981 NEW BEST:: SOT 248702 SOS 125617 HAS SOPS 122098 HAS SOUS 57416 HAS SOUPS 55862 WITH SCORE 55987.617
AT ITER 1991 NEW BEST:: SOT 248702 SOS 125529 HAS SOPS 122042 HAS SOUS 57372 HAS SOUPS 55834 WITH SCORE 55959.529
AT ITER 2002 NEW BEST:: SOT 248702 SOS 125529 HAS SOPS 122042 HAS SOUS 57370 HAS SOUPS 55832 WITH SCORE 55957.529
AT ITER 2021 NEW BEST:: SOT 248702 SOS 125515 HAS SOPS 122028 HAS SOUS 57367 HAS SOUPS 55829 WITH SCORE 55954.515
AT ITER 2030 NEW BEST:: SOT 248702 SOS 125523 HAS SOPS 122036 HAS SOUS 57342 HAS SOUPS 55804 WITH SCORE 55929.523
AT ITER 2050 NEW BEST:: SOT 248702 SOS 125541 HAS SOPS 122054 HAS SOUS 57335 HAS SOUPS 55797 WITH SCORE 55922.541
AT ITER 2062 NEW BEST:: SOT 248702 SOS 125637 HAS SOPS 122150 HAS SOUS 57186 HAS SOUPS 55648 WITH SCORE 55773.637
AT ITER 2086 NEW BEST:: SOT 248702 SOS 125541 HAS SOPS 122054 HAS SOUS 57156 HAS SOUPS 55618 WITH SCORE 55743.541
AT ITER 2093 NEW BEST:: SOT 248702 SOS 125519 HAS SOPS 122032 HAS SOUS 57134 HAS SOUPS 55596 WITH SCORE 55721.519
AT ITER 2104 NEW BEST:: SOT 248702 SOS 125529 HAS SOPS 122042 HAS SOUS 57114 HAS SOUPS 55576 WITH SCORE 55701.529
AT ITER 2107 NEW BEST:: SOT 248702 SOS 125505 HAS SOPS 122018 HAS SOUS 57071 HAS SOUPS 55533 WITH SCORE 55658.505
AT ITER 2113 NEW BEST:: SOT 248698 SOS 125501 HAS SOPS 122014 HAS SOUS 57067 HAS SOUPS 55529 WITH SCORE 55654.501
AT ITER 2114 NEW BEST:: SOT 248698 SOS 124775 HAS SOPS 121288 HAS SOUS 57064 HAS SOUPS 55526 WITH SCORE 55650.775
AT ITER 2119 NEW BEST:: SOT 248698 SOS 124735 HAS SOPS 121228 HAS SOUS 57064 HAS SOUPS 55516 WITH SCORE 55640.735
AT ITER 2120 NEW BEST:: SOT 248698 SOS 124599 HAS SOPS 121092 HAS SOUS 57030 HAS SOUPS 55482 WITH SCORE 55606.599
AT ITER 2128 NEW BEST:: SOT 248698 SOS 124627 HAS SOPS 121120 HAS SOUS 56971 HAS SOUPS 55423 WITH SCORE 55547.627
AT ITER 2141 NEW BEST:: SOT 248698 SOS 124617 HAS SOPS 121110 HAS SOUS 56966 HAS SOUPS 55418 WITH SCORE 55542.617
AT ITER 2148 NEW BEST:: SOT 248698 SOS 124565 HAS SOPS 121058 HAS SOUS 56953 HAS SOUPS 55405 WITH SCORE 55529.565
AT ITER 2154 NEW BEST:: SOT 248698 SOS 124347 HAS SOPS 120948 HAS SOUS 56843 HAS SOUPS 55349 WITH SCORE 55473.347
AT ITER 2155 NEW BEST:: SOT 248698 SOS 124157 HAS SOPS 120758 HAS SOUS 56789 HAS SOUPS 55295 WITH SCORE 55419.157
AT ITER 2156 NEW BEST:: SOT 248698 SOS 124147 HAS SOPS 120748 HAS SOUS 56784 HAS SOUPS 55290 WITH SCORE 55414.147
AT ITER 2176 NEW BEST:: SOT 248698 SOS 124155 HAS SOPS 120754 HAS SOUS 56783 HAS SOUPS 55288 WITH SCORE 55412.155
AT ITER 2180 NEW BEST:: SOT 248698 SOS 123669 HAS SOPS 120361 HAS SOUS 56711 HAS SOUPS 55263 WITH SCORE 55386.669
AT ITER 2181 NEW BEST:: SOT 248698 SOS 123505 HAS SOPS 120197 HAS SOUS 56641 HAS SOUPS 55193 WITH SCORE 55316.505
AT ITER 2182 NEW BEST:: SOT 248698 SOS 123421 HAS SOPS 120113 HAS SOUS 56627 HAS SOUPS 55179 WITH SCORE 55302.421
AT ITER 2183 NEW BEST:: SOT 248698 SOS 123145 HAS SOPS 119837 HAS SOUS 56563 HAS SOUPS 55115 WITH SCORE 55238.145
AT ITER 2194 NEW BEST:: SOT 248698 SOS 123075 HAS SOPS 119767 HAS SOUS 56528 HAS SOUPS 55080 WITH SCORE 55203.075
AT ITER 2227 NEW BEST:: SOT 248698 SOS 123031 HAS SOPS 119723 HAS SOUS 56528 HAS SOUPS 55080 WITH SCORE 55203.031
AT ITER 2231 NEW BEST:: SOT 248698 SOS 122979 HAS SOPS 119671 HAS SOUS 56502 HAS SOUPS 55054 WITH SCORE 55176.979
AT ITER 2239 NEW BEST:: SOT 248698 SOS 123019 HAS SOPS 119711 HAS SOUS 56471 HAS SOUPS 55023 WITH SCORE 55146.019
AT ITER 2246 NEW BEST:: SOT 248698 SOS 122985 HAS SOPS 119677 HAS SOUS 56463 HAS SOUPS 55015 WITH SCORE 55137.985
AT ITER 2267 NEW BEST:: SOT 248698 SOS 122963 HAS SOPS 119655 HAS SOUS 56463 HAS SOUPS 55015 WITH SCORE 55137.963
AT ITER 2278 NEW BEST:: SOT 248690 SOS 122925 HAS SOPS 119617 HAS SOUS 56461 HAS SOUPS 55013 WITH SCORE 55135.925
AT ITER 2280 NEW BEST:: SOT 248690 SOS 122837 HAS SOPS 119529 HAS SOUS 56459 HAS SOUPS 55011 WITH SCORE 55133.837
AT ITER 2290 NEW BEST:: SOT 248690 SOS 122693 HAS SOPS 119385 HAS SOUS 56457 HAS SOUPS 55009 WITH SCORE 55131.693
AT ITER 2301 NEW BEST:: SOT 248690 SOS 122613 HAS SOPS 119305 HAS SOUS 56426 HAS SOUPS 54978 WITH SCORE 55100.613
AT ITER 2334 NEW BEST:: SOT 248690 SOS 122595 HAS SOPS 119287 HAS SOUS 56417 HAS SOUPS 54969 WITH SCORE 55091.595
AT ITER 2341 NEW BEST:: SOT 248690 SOS 122505 HAS SOPS 119087 HAS SOUS 56445 HAS SOUPS 54942 WITH SCORE 55064.505
AT ITER 2349 NEW BEST:: SOT 248690 SOS 122499 HAS SOPS 119081 HAS SOUS 56439 HAS SOUPS 54936 WITH SCORE 55058.499
AT ITER 2372 NEW BEST:: SOT 248690 SOS 122525 HAS SOPS 119107 HAS SOUS 56408 HAS SOUPS 54905 WITH SCORE 55027.525
AT ITER 2373 NEW BEST:: SOT 248690 SOS 122525 HAS SOPS 119107 HAS SOUS 56370 HAS SOUPS 54867 WITH SCORE 54989.525
AT ITER 2396 NEW BEST:: SOT 248690 SOS 122419 HAS SOPS 119001 HAS SOUS 56298 HAS SOUPS 54795 WITH SCORE 54917.419
AT ITER 2402 NEW BEST:: SOT 248690 SOS 122341 HAS SOPS 118923 HAS SOUS 56298 HAS SOUPS 54795 WITH SCORE 54917.341
AT ITER 2415 NEW BEST:: SOT 248690 SOS 122506 HAS SOPS 119088 HAS SOUS 56214 HAS SOUPS 54711 WITH SCORE 54833.506
AT ITER 2432 NEW BEST:: SOT 248690 SOS 122490 HAS SOPS 119072 HAS SOUS 56206 HAS SOUPS 54703 WITH SCORE 54825.49
AT ITER 2433 NEW BEST:: SOT 248688 SOS 122488 HAS SOPS 119068 HAS SOUS 56204 HAS SOUPS 54699 WITH SCORE 54821.488
AT ITER 2451 NEW BEST:: SOT 248688 SOS 122480 HAS SOPS 119060 HAS SOUS 56200 HAS SOUPS 54695 WITH SCORE 54817.48
AT ITER 2454 NEW BEST:: SOT 248688 SOS 122372 HAS SOPS 118952 HAS SOUS 56188 HAS SOUPS 54683 WITH SCORE 54805.372
AT ITER 2463 NEW BEST:: SOT 248688 SOS 122348 HAS SOPS 118928 HAS SOUS 56182 HAS SOUPS 54677 WITH SCORE 54799.348
AT ITER 2476 NEW BEST:: SOT 248688 SOS 122328 HAS SOPS 118908 HAS SOUS 56172 HAS SOUPS 54667 WITH SCORE 54789.328
AT ITER 2478 NEW BEST:: SOT 248688 SOS 122318 HAS SOPS 118920 HAS SOUS 56161 HAS SOUPS 54667 WITH SCORE 54789.318
AT ITER 2485 NEW BEST:: SOT 248688 SOS 122272 HAS SOPS 118874 HAS SOUS 56161 HAS SOUPS 54667 WITH SCORE 54789.272
AT ITER 2521 NEW BEST:: SOT 248688 SOS 122200 HAS SOPS 118802 HAS SOUS 56152 HAS SOUPS 54658 WITH SCORE 54780.2
AT ITER 2525 NEW BEST:: SOT 248688 SOS 122128 HAS SOPS 118730 HAS SOUS 56134 HAS SOUPS 54640 WITH SCORE 54762.128
AT ITER 2535 NEW BEST:: SOT 248688 SOS 122136 HAS SOPS 118718 HAS SOUS 56138 HAS SOUPS 54634 WITH SCORE 54756.136
AT ITER 2540 NEW BEST:: SOT 248688 SOS 122098 HAS SOPS 118680 HAS SOUS 56138 HAS SOUPS 54634 WITH SCORE 54756.098
AT ITER 2550 NEW BEST:: SOT 248688 SOS 121993 HAS SOPS 118467 HAS SOUS 56189 HAS SOUPS 54631 WITH SCORE 54752.993
AT ITER 2555 NEW BEST:: SOT 248688 SOS 121971 HAS SOPS 118445 HAS SOUS 56189 HAS SOUPS 54631 WITH SCORE 54752.971
AT ITER 2565 NEW BEST:: SOT 248688 SOS 121927 HAS SOPS 118423 HAS SOUS 56167 HAS SOUPS 54620 WITH SCORE 54741.927
AT ITER 2566 NEW BEST:: SOT 248688 SOS 121913 HAS SOPS 118403 HAS SOUS 56164 HAS SOUPS 54614 WITH SCORE 54735.913
AT ITER 2570 NEW BEST:: SOT 248688 SOS 121971 HAS SOPS 118305 HAS SOUS 56197 HAS SOUPS 54569 WITH SCORE 54690.971
AT ITER 2575 NEW BEST:: SOT 248666 SOS 121766 HAS SOPS 118149 HAS SOUS 56187 HAS SOUPS 54559 WITH SCORE 54680.766
AT ITER 2584 NEW BEST:: SOT 248666 SOS 121742 HAS SOPS 118125 HAS SOUS 56175 HAS SOUPS 54547 WITH SCORE 54668.742
AT ITER 2591 NEW BEST:: SOT 248666 SOS 121752 HAS SOPS 118009 HAS SOUS 56219 HAS SOUPS 54528 WITH SCORE 54649.752
AT ITER 2615 NEW BEST:: SOT 248666 SOS 121500 HAS SOPS 117757 HAS SOUS 56156 HAS SOUPS 54465 WITH SCORE 54586.5
AT ITER 2633 NEW BEST:: SOT 248666 SOS 121468 HAS SOPS 117725 HAS SOUS 56132 HAS SOUPS 54441 WITH SCORE 54562.468
AT ITER 2641 NEW BEST:: SOT 248666 SOS 121486 HAS SOPS 117743 HAS SOUS 56120 HAS SOUPS 54429 WITH SCORE 54550.486
AT ITER 2642 NEW BEST:: SOT 248666 SOS 121482 HAS SOPS 117739 HAS SOUS 56120 HAS SOUPS 54429 WITH SCORE 54550.482
AT ITER 2653 NEW BEST:: SOT 248666 SOS 121674 HAS SOPS 117831 HAS SOUS 56166 HAS SOUPS 54425 WITH SCORE 54546.674
AT ITER 2684 NEW BEST:: SOT 248666 SOS 121654 HAS SOPS 117811 HAS SOUS 56156 HAS SOUPS 54415 WITH SCORE 54536.654
AT ITER 2688 NEW BEST:: SOT 248666 SOS 121606 HAS SOPS 117763 HAS SOUS 56132 HAS SOUPS 54391 WITH SCORE 54512.606
AT ITER 2704 NEW BEST:: SOT 248666 SOS 121514 HAS SOPS 117745 HAS SOUS 56086 HAS SOUPS 54382 WITH SCORE 54503.514
AT ITER 2713 NEW BEST:: SOT 248666 SOS 121488 HAS SOPS 117693 HAS SOUS 56073 HAS SOUPS 54356 WITH SCORE 54477.488
AT ITER 2718 NEW BEST:: SOT 248666 SOS 121524 HAS SOPS 117691 HAS SOUS 56091 HAS SOUPS 54355 WITH SCORE 54476.524
AT ITER 2723 NEW BEST:: SOT 248666 SOS 121476 HAS SOPS 117643 HAS SOUS 56067 HAS SOUPS 54331 WITH SCORE 54452.476
AT ITER 2728 NEW BEST:: SOT 248666 SOS 121460 HAS SOPS 117643 HAS SOUS 56059 HAS SOUPS 54331 WITH SCORE 54452.46
AT ITER 2746 NEW BEST:: SOT 248666 SOS 121436 HAS SOPS 117619 HAS SOUS 56057 HAS SOUPS 54329 WITH SCORE 54450.436
AT ITER 2747 NEW BEST:: SOT 248666 SOS 121436 HAS SOPS 117437 HAS SOUS 56057 HAS SOUPS 54238 WITH SCORE 54359.436
AT ITER 2755 NEW BEST:: SOT 248666 SOS 121376 HAS SOPS 117409 HAS SOUS 56011 HAS SOUPS 54208 WITH SCORE 54329.376
AT ITER 2759 NEW BEST:: SOT 248666 SOS 121292 HAS SOPS 117325 HAS SOUS 55983 HAS SOUPS 54180 WITH SCORE 54301.292
AT ITER 2771 NEW BEST:: SOT 249039 SOS 120917 HAS SOPS 117263 HAS SOUS 55936 HAS SOUPS 54176 WITH SCORE 54296.917
AT ITER 2773 NEW BEST:: SOT 249039 SOS 120915 HAS SOPS 117261 HAS SOUS 55934 HAS SOUPS 54174 WITH SCORE 54294.915
AT ITER 2812 NEW BEST:: SOT 249040 SOS 120890 HAS SOPS 117218 HAS SOUS 55915 HAS SOUPS 54155 WITH SCORE 54275.89
AT ITER 2814 NEW BEST:: SOT 249040 SOS 120754 HAS SOPS 117082 HAS SOUS 55847 HAS SOUPS 54087 WITH SCORE 54207.754
AT ITER 2827 NEW BEST:: SOT 249040 SOS 120754 HAS SOPS 117082 HAS SOUS 55839 HAS SOUPS 54079 WITH SCORE 54199.754
AT ITER 2830 NEW BEST:: SOT 249040 SOS 120738 HAS SOPS 117066 HAS SOUS 55831 HAS SOUPS 54071 WITH SCORE 54191.738
AT ITER 2832 NEW BEST:: SOT 249040 SOS 120690 HAS SOPS 117018 HAS SOUS 55807 HAS SOUPS 54047 WITH SCORE 54167.69
AT ITER 2850 NEW BEST:: SOT 249040 SOS 120673 HAS SOPS 117001 HAS SOUS 55807 HAS SOUPS 54047 WITH SCORE 54167.673
AT ITER 2873 NEW BEST:: SOT 249040 SOS 120719 HAS SOPS 117001 HAS SOUS 55807 HAS SOUPS 54024 WITH SCORE 54144.719
AT ITER 2874 NEW BEST:: SOT 249040 SOS 120715 HAS SOPS 116975 HAS SOUS 55816 HAS SOUPS 54022 WITH SCORE 54142.715
AT ITER 2875 NEW BEST:: SOT 249040 SOS 120619 HAS SOPS 116879 HAS SOUS 55794 HAS SOUPS 54000 WITH SCORE 54120.619
AT ITER 2887 NEW BEST:: SOT 249040 SOS 120617 HAS SOPS 116877 HAS SOUS 55793 HAS SOUPS 53999 WITH SCORE 54119.617
AT ITER 2892 NEW BEST:: SOT 249012 SOS 120519 HAS SOPS 116779 HAS SOUS 55765 HAS SOUPS 53971 WITH SCORE 54091.519
AT ITER 2897 NEW BEST:: SOT 249012 SOS 120585 HAS SOPS 116845 HAS SOUS 55737 HAS SOUPS 53943 WITH SCORE 54063.585
AT ITER 2911 NEW BEST:: SOT 249012 SOS 120469 HAS SOPS 116839 HAS SOUS 55679 HAS SOUPS 53940 WITH SCORE 54060.469
AT ITER 2912 NEW BEST:: SOT 249012 SOS 120457 HAS SOPS 116827 HAS SOUS 55673 HAS SOUPS 53934 WITH SCORE 54054.457
AT ITER 2916 NEW BEST:: SOT 249012 SOS 120449 HAS SOPS 116819 HAS SOUS 55669 HAS SOUPS 53930 WITH SCORE 54050.449
AT ITER 2928 NEW BEST:: SOT 249012 SOS 120397 HAS SOPS 116767 HAS SOUS 55656 HAS SOUPS 53917 WITH SCORE 54037.397
AT ITER 2938 NEW BEST:: SOT 249012 SOS 120379 HAS SOPS 116749 HAS SOUS 55656 HAS SOUPS 53917 WITH SCORE 54037.379
AT ITER 2946 NEW BEST:: SOT 249012 SOS 120793 HAS SOPS 117163 HAS SOUS 55593 HAS SOUPS 53854 WITH SCORE 53974.793
AT ITER 2956 NEW BEST:: SOT 249012 SOS 120781 HAS SOPS 117151 HAS SOUS 55593 HAS SOUPS 53854 WITH SCORE 53974.781
AT ITER 2963 NEW BEST:: SOT 249012 SOS 120794 HAS SOPS 117164 HAS SOUS 55567 HAS SOUPS 53828 WITH SCORE 53948.794
AT ITER 2982 NEW BEST:: SOT 249012 SOS 120786 HAS SOPS 117156 HAS SOUS 55563 HAS SOUPS 53824 WITH SCORE 53944.786
AT ITER 3010 NEW BEST:: SOT 249012 SOS 120713 HAS SOPS 117083 HAS SOUS 55508 HAS SOUPS 53769 WITH SCORE 53889.713
AT ITER 3018 NEW BEST:: SOT 248996 SOS 120737 HAS SOPS 117107 HAS SOUS 55494 HAS SOUPS 53755 WITH SCORE 53875.737
AT ITER 3025 NEW BEST:: SOT 248996 SOS 120628 HAS SOPS 116998 HAS SOUS 55446 HAS SOUPS 53707 WITH SCORE 53827.628
AT ITER 3067 NEW BEST:: SOT 249349 SOS 121079 HAS SOPS 117654 HAS SOUS 54796 HAS SOUPS 53092 WITH SCORE 53213.079
AT ITER 3073 NEW BEST:: SOT 249349 SOS 121043 HAS SOPS 117618 HAS SOUS 54793 HAS SOUPS 53089 WITH SCORE 53210.043
AT ITER 3081 NEW BEST:: SOT 249349 SOS 121021 HAS SOPS 117596 HAS SOUS 54771 HAS SOUPS 53067 WITH SCORE 53188.021
AT ITER 3084 NEW BEST:: SOT 249349 SOS 120963 HAS SOPS 117538 HAS SOUS 54761 HAS SOUPS 53057 WITH SCORE 53177.963
AT ITER 3111 NEW BEST:: SOT 249349 SOS 120955 HAS SOPS 117530 HAS SOUS 54757 HAS SOUPS 53053 WITH SCORE 53173.955
AT ITER 3129 NEW BEST:: SOT 249348 SOS 120929 HAS SOPS 117480 HAS SOUS 54746 HAS SOUPS 53029 WITH SCORE 53149.929
AT ITER 3135 NEW BEST:: SOT 249348 SOS 120911 HAS SOPS 117462 HAS SOUS 54712 HAS SOUPS 52995 WITH SCORE 53115.911
AT ITER 3137 NEW BEST:: SOT 249348 SOS 120911 HAS SOPS 117436 HAS SOUS 54705 HAS SOUPS 52975 WITH SCORE 53095.911
AT ITER 3144 NEW BEST:: SOT 249348 SOS 121229 HAS SOPS 117754 HAS SOUS 54689 HAS SOUPS 52959 WITH SCORE 53080.229
AT ITER 3178 NEW BEST:: SOT 249348 SOS 121171 HAS SOPS 117696 HAS SOUS 54660 HAS SOUPS 52930 WITH SCORE 53051.171
AT ITER 3203 NEW BEST:: SOT 249348 SOS 121167 HAS SOPS 117692 HAS SOUS 54658 HAS SOUPS 52928 WITH SCORE 53049.167
AT ITER 3208 NEW BEST:: SOT 249348 SOS 121125 HAS SOPS 117650 HAS SOUS 54637 HAS SOUPS 52907 WITH SCORE 53028.125
AT ITER 3214 NEW BEST:: SOT 249348 SOS 121413 HAS SOPS 117938 HAS SOUS 54608 HAS SOUPS 52878 WITH SCORE 52999.413
AT ITER 3230 NEW BEST:: SOT 249348 SOS 121077 HAS SOPS 117602 HAS SOUS 54608 HAS SOUPS 52878 WITH SCORE 52999.077
AT ITER 3246 NEW BEST:: SOT 249348 SOS 121065 HAS SOPS 117590 HAS SOUS 54602 HAS SOUPS 52872 WITH SCORE 52993.065
AT ITER 3256 NEW BEST:: SOT 249348 SOS 121033 HAS SOPS 117558 HAS SOUS 54586 HAS SOUPS 52856 WITH SCORE 52977.033
AT ITER 3260 NEW BEST:: SOT 249348 SOS 121003 HAS SOPS 117446 HAS SOUS 54589 HAS SOUPS 52818 WITH SCORE 52939.003
AT ITER 3266 NEW BEST:: SOT 249348 SOS 120973 HAS SOPS 117416 HAS SOUS 54586 HAS SOUPS 52815 WITH SCORE 52935.973
AT ITER 3269 NEW BEST:: SOT 249338 SOS 120999 HAS SOPS 117449 HAS SOUS 54575 HAS SOUPS 52804 WITH SCORE 52924.999
AT ITER 3282 NEW BEST:: SOT 249338 SOS 121083 HAS SOPS 117533 HAS SOUS 54536 HAS SOUPS 52765 WITH SCORE 52886.083
AT ITER 3328 NEW BEST:: SOT 249338 SOS 121039 HAS SOPS 117489 HAS SOUS 54532 HAS SOUPS 52761 WITH SCORE 52882.039
AT ITER 3332 NEW BEST:: SOT 249338 SOS 121019 HAS SOPS 117469 HAS SOUS 54532 HAS SOUPS 52761 WITH SCORE 52882.019
AT ITER 3351 NEW BEST:: SOT 249338 SOS 121019 HAS SOPS 117469 HAS SOUS 54523 HAS SOUPS 52752 WITH SCORE 52873.019
AT ITER 3352 NEW BEST:: SOT 249338 SOS 120997 HAS SOPS 117387 HAS SOUS 54553 HAS SOUPS 52752 WITH SCORE 52872.997
AT ITER 3374 NEW BEST:: SOT 249338 SOS 120885 HAS SOPS 117307 HAS SOUS 54529 HAS SOUPS 52744 WITH SCORE 52864.885
AT ITER 3376 NEW BEST:: SOT 249338 SOS 120857 HAS SOPS 117279 HAS SOUS 54515 HAS SOUPS 52730 WITH SCORE 52850.857
AT ITER 3378 NEW BEST:: SOT 249338 SOS 120995 HAS SOPS 117417 HAS SOUS 54498 HAS SOUPS 52713 WITH SCORE 52833.995
AT ITER 3390 NEW BEST:: SOT 249338 SOS 120991 HAS SOPS 117413 HAS SOUS 54496 HAS SOUPS 52711 WITH SCORE 52831.991
AT ITER 3397 NEW BEST:: SOT 249338 SOS 120969 HAS SOPS 117391 HAS SOUS 54485 HAS SOUPS 52700 WITH SCORE 52820.969
AT ITER 3421 NEW BEST:: SOT 249338 SOS 120963 HAS SOPS 117392 HAS SOUS 54445 HAS SOUPS 52665 WITH SCORE 52785.963
AT ITER 3445 NEW BEST:: SOT 249338 SOS 120960 HAS SOPS 117389 HAS SOUS 54445 HAS SOUPS 52665 WITH SCORE 52785.96
AT ITER 3459 NEW BEST:: SOT 249338 SOS 121298 HAS SOPS 117679 HAS SOUS 54465 HAS SOUPS 52661 WITH SCORE 52782.298
AT ITER 3469 NEW BEST:: SOT 249338 SOS 121228 HAS SOPS 117609 HAS SOUS 54465 HAS SOUPS 52661 WITH SCORE 52782.228
AT ITER 3479 NEW BEST:: SOT 249332 SOS 121216 HAS SOPS 117591 HAS SOUS 54456 HAS SOUPS 52649 WITH SCORE 52770.216
AT ITER 3484 NEW BEST:: SOT 249332 SOS 121200 HAS SOPS 117559 HAS SOUS 54464 HAS SOUPS 52649 WITH SCORE 52770.2
AT ITER 3504 NEW BEST:: SOT 249332 SOS 121196 HAS SOPS 117555 HAS SOUS 54462 HAS SOUPS 52647 WITH SCORE 52768.196
AT ITER 3516 NEW BEST:: SOT 249332 SOS 121192 HAS SOPS 117551 HAS SOUS 54460 HAS SOUPS 52645 WITH SCORE 52766.192
AT ITER 3519 NEW BEST:: SOT 249332 SOS 121166 HAS SOPS 117525 HAS SOUS 54459 HAS SOUPS 52644 WITH SCORE 52765.166
AT ITER 3531 NEW BEST:: SOT 249332 SOS 121142 HAS SOPS 117501 HAS SOUS 54447 HAS SOUPS 52632 WITH SCORE 52753.142
AT ITER 3538 NEW BEST:: SOT 249332 SOS 121136 HAS SOPS 117501 HAS SOUS 54441 HAS SOUPS 52629 WITH SCORE 52750.136
AT ITER 3559 NEW BEST:: SOT 249332 SOS 121058 HAS SOPS 117423 HAS SOUS 54415 HAS SOUPS 52603 WITH SCORE 52724.058
AT ITER 3571 NEW BEST:: SOT 249332 SOS 121204 HAS SOPS 117569 HAS SOUS 54392 HAS SOUPS 52580 WITH SCORE 52701.204
AT ITER 3594 NEW BEST:: SOT 249332 SOS 121210 HAS SOPS 117575 HAS SOUS 54375 HAS SOUPS 52563 WITH SCORE 52684.21
AT ITER 3597 NEW BEST:: SOT 249332 SOS 121182 HAS SOPS 117481 HAS SOUS 54408 HAS SOUPS 52563 WITH SCORE 52684.182
AT ITER 3614 NEW BEST:: SOT 249332 SOS 121170 HAS SOPS 117469 HAS SOUS 54408 HAS SOUPS 52563 WITH SCORE 52684.17
AT ITER 3628 NEW BEST:: SOT 249332 SOS 121174 HAS SOPS 117473 HAS SOUS 54402 HAS SOUPS 52557 WITH SCORE 52678.174
AT ITER 3640 NEW BEST:: SOT 249332 SOS 121157 HAS SOPS 117456 HAS SOUS 54394 HAS SOUPS 52549 WITH SCORE 52670.157
AT ITER 3648 NEW BEST:: SOT 249332 SOS 121109 HAS SOPS 117408 HAS SOUS 54379 HAS SOUPS 52534 WITH SCORE 52655.109
AT ITER 3651 NEW BEST:: SOT 249332 SOS 121037 HAS SOPS 117336 HAS SOUS 54379 HAS SOUPS 52534 WITH SCORE 52655.037
AT ITER 3657 NEW BEST:: SOT 249332 SOS 121031 HAS SOPS 117330 HAS SOUS 54376 HAS SOUPS 52531 WITH SCORE 52652.031
AT ITER 3674 NEW BEST:: SOT 249332 SOS 121031 HAS SOPS 117328 HAS SOUS 54376 HAS SOUPS 52530 WITH SCORE 52651.031
AT ITER 3720 NEW BEST:: SOT 249332 SOS 121071 HAS SOPS 117368 HAS SOUS 54351 HAS SOUPS 52505 WITH SCORE 52626.071
AT ITER 3723 NEW BEST:: SOT 249332 SOS 121063 HAS SOPS 117360 HAS SOUS 54347 HAS SOUPS 52501 WITH SCORE 52622.063
AT ITER 3729 NEW BEST:: SOT 249325 SOS 120979 HAS SOPS 117276 HAS SOUS 54313 HAS SOUPS 52467 WITH SCORE 52587.979
AT ITER 3736 NEW BEST:: SOT 249325 SOS 120963 HAS SOPS 117268 HAS SOUS 54309 HAS SOUPS 52467 WITH SCORE 52587.963
AT ITER 3766 NEW BEST:: SOT 249325 SOS 120635 HAS SOPS 116940 HAS SOUS 54292 HAS SOUPS 52450 WITH SCORE 52570.635
AT ITER 3775 NEW BEST:: SOT 249308 SOS 120560 HAS SOPS 116855 HAS SOUS 54291 HAS SOUPS 52447 WITH SCORE 52567.56
AT ITER 3779 NEW BEST:: SOT 249308 SOS 120414 HAS SOPS 116739 HAS SOUS 54244 HAS SOUPS 52415 WITH SCORE 52535.414
AT ITER 3785 NEW BEST:: SOT 249308 SOS 120122 HAS SOPS 116447 HAS SOUS 54239 HAS SOUPS 52410 WITH SCORE 52530.122
AT ITER 3787 NEW BEST:: SOT 249308 SOS 120086 HAS SOPS 116411 HAS SOUS 54230 HAS SOUPS 52401 WITH SCORE 52521.086
AT ITER 3791 NEW BEST:: SOT 249308 SOS 120100 HAS SOPS 116425 HAS SOUS 54158 HAS SOUPS 52329 WITH SCORE 52449.1
AT ITER 3801 NEW BEST:: SOT 249308 SOS 120100 HAS SOPS 116435 HAS SOUS 54148 HAS SOUPS 52324 WITH SCORE 52444.1
AT ITER 3805 NEW BEST:: SOT 249308 SOS 119572 HAS SOPS 115907 HAS SOUS 54136 HAS SOUPS 52312 WITH SCORE 52431.572
AT ITER 3807 NEW BEST:: SOT 249308 SOS 119528 HAS SOPS 115863 HAS SOUS 54114 HAS SOUPS 52290 WITH SCORE 52409.528
AT ITER 3819 NEW BEST:: SOT 249308 SOS 119541 HAS SOPS 115876 HAS SOUS 54101 HAS SOUPS 52277 WITH SCORE 52396.541
AT ITER 3820 NEW BEST:: SOT 249308 SOS 119569 HAS SOPS 115904 HAS SOUS 54100 HAS SOUPS 52276 WITH SCORE 52395.569
AT ITER 3823 NEW BEST:: SOT 249308 SOS 119533 HAS SOPS 115868 HAS SOUS 54091 HAS SOUPS 52267 WITH SCORE 52386.533
AT ITER 3834 NEW BEST:: SOT 249308 SOS 119503 HAS SOPS 115838 HAS SOUS 54076 HAS SOUPS 52252 WITH SCORE 52371.503
AT ITER 3845 NEW BEST:: SOT 249308 SOS 119477 HAS SOPS 115812 HAS SOUS 54063 HAS SOUPS 52239 WITH SCORE 52358.477
AT ITER 3862 NEW BEST:: SOT 249308 SOS 119473 HAS SOPS 115804 HAS SOUS 54063 HAS SOUPS 52237 WITH SCORE 52356.473
AT ITER 3867 NEW BEST:: SOT 249308 SOS 119439 HAS SOPS 115770 HAS SOUS 54063 HAS SOUPS 52237 WITH SCORE 52356.439
AT ITER 3893 NEW BEST:: SOT 249308 SOS 119381 HAS SOPS 115712 HAS SOUS 54056 HAS SOUPS 52230 WITH SCORE 52349.381
AT ITER 3901 NEW BEST:: SOT 249308 SOS 119369 HAS SOPS 115700 HAS SOUS 54056 HAS SOUPS 52230 WITH SCORE 52349.369
AT ITER 3905 NEW BEST:: SOT 249308 SOS 119253 HAS SOPS 115584 HAS SOUS 54056 HAS SOUPS 52230 WITH SCORE 52349.253
AT ITER 3910 NEW BEST:: SOT 249308 SOS 119985 HAS SOPS 116316 HAS SOUS 54050 HAS SOUPS 52224 WITH SCORE 52343.985
AT ITER 3926 NEW BEST:: SOT 249308 SOS 119993 HAS SOPS 116324 HAS SOUS 54046 HAS SOUPS 52220 WITH SCORE 52339.993
AT ITER 3946 NEW BEST:: SOT 249308 SOS 119975 HAS SOPS 116324 HAS SOUS 54037 HAS SOUPS 52220 WITH SCORE 52339.975
AT ITER 3951 NEW BEST:: SOT 249308 SOS 119941 HAS SOPS 116290 HAS SOUS 54020 HAS SOUPS 52203 WITH SCORE 52322.941
AT ITER 3963 NEW BEST:: SOT 249308 SOS 119943 HAS SOPS 116292 HAS SOUS 54018 HAS SOUPS 52201 WITH SCORE 52320.943
AT ITER 3964 NEW BEST:: SOT 249308 SOS 119911 HAS SOPS 116276 HAS SOUS 54002 HAS SOUPS 52193 WITH SCORE 52312.911
AT ITER 3980 NEW BEST:: SOT 249308 SOS 119887 HAS SOPS 116252 HAS SOUS 53990 HAS SOUPS 52181 WITH SCORE 52300.887
AT ITER 3986 NEW BEST:: SOT 249308 SOS 119847 HAS SOPS 116212 HAS SOUS 53980 HAS SOUPS 52171 WITH SCORE 52290.847
AT ITER 3999 NEW BEST:: SOT 249308 SOS 119883 HAS SOPS 116248 HAS SOUS 53970 HAS SOUPS 52161 WITH SCORE 52280.883
AT ITER 4000 NEW BEST:: SOT 249308 SOS 119879 HAS SOPS 116244 HAS SOUS 53968 HAS SOUPS 52159 WITH SCORE 52278.879
AT ITER 4013 NEW BEST:: SOT 249308 SOS 119877 HAS SOPS 116242 HAS SOUS 53968 HAS SOUPS 52159 WITH SCORE 52278.877
AT ITER 4039 NEW BEST:: SOT 249308 SOS 119877 HAS SOPS 116217 HAS SOUS 53974 HAS SOUPS 52151 WITH SCORE 52270.877
AT ITER 4044 NEW BEST:: SOT 249308 SOS 119807 HAS SOPS 116323 HAS SOUS 53850 HAS SOUPS 52115 WITH SCORE 52234.807
AT ITER 4046 NEW BEST:: SOT 249308 SOS 119871 HAS SOPS 116387 HAS SOUS 53845 HAS SOUPS 52110 WITH SCORE 52229.871
AT ITER 4049 NEW BEST:: SOT 249308 SOS 119869 HAS SOPS 116385 HAS SOUS 53844 HAS SOUPS 52109 WITH SCORE 52228.869
AT ITER 4078 NEW BEST:: SOT 249308 SOS 119851 HAS SOPS 116367 HAS SOUS 53844 HAS SOUPS 52109 WITH SCORE 52228.851
AT ITER 4082 NEW BEST:: SOT 249308 SOS 119769 HAS SOPS 116285 HAS SOUS 53837 HAS SOUPS 52102 WITH SCORE 52221.769
AT ITER 4103 NEW BEST:: SOT 249308 SOS 119767 HAS SOPS 116283 HAS SOUS 53836 HAS SOUPS 52101 WITH SCORE 52220.767
AT ITER 4154 NEW BEST:: SOT 249308 SOS 119735 HAS SOPS 116251 HAS SOUS 53820 HAS SOUPS 52085 WITH SCORE 52204.735
AT ITER 4187 NEW BEST:: SOT 249308 SOS 119575 HAS SOPS 116091 HAS SOUS 53803 HAS SOUPS 52068 WITH SCORE 52187.575
AT ITER 4205 NEW BEST:: SOT 249308 SOS 119607 HAS SOPS 116123 HAS SOUS 53802 HAS SOUPS 52067 WITH SCORE 52186.607
AT ITER 4228 NEW BEST:: SOT 249362 SOS 119701 HAS SOPS 116250 HAS SOUS 53761 HAS SOUPS 52041 WITH SCORE 52160.701
AT ITER 4231 NEW BEST:: SOT 249362 SOS 119697 HAS SOPS 116246 HAS SOUS 53761 HAS SOUPS 52041 WITH SCORE 52160.697
AT ITER 4243 NEW BEST:: SOT 249362 SOS 119693 HAS SOPS 116246 HAS SOUS 53759 HAS SOUPS 52041 WITH SCORE 52160.693
AT ITER 4256 NEW BEST:: SOT 249362 SOS 119659 HAS SOPS 116212 HAS SOUS 53742 HAS SOUPS 52024 WITH SCORE 52143.659
AT ITER 4285 NEW BEST:: SOT 249362 SOS 119645 HAS SOPS 116198 HAS SOUS 53730 HAS SOUPS 52012 WITH SCORE 52131.645
AT ITER 4313 NEW BEST:: SOT 249362 SOS 119637 HAS SOPS 116190 HAS SOUS 53726 HAS SOUPS 52008 WITH SCORE 52127.637
AT ITER 4327 NEW BEST:: SOT 249362 SOS 119597 HAS SOPS 116150 HAS SOUS 53706 HAS SOUPS 51988 WITH SCORE 52107.597
AT ITER 4357 NEW BEST:: SOT 249362 SOS 119477 HAS SOPS 116030 HAS SOUS 53706 HAS SOUPS 51988 WITH SCORE 52107.477
AT ITER 4372 NEW BEST:: SOT 249362 SOS 119517 HAS SOPS 116044 HAS SOUS 53713 HAS SOUPS 51982 WITH SCORE 52101.517
AT ITER 4379 NEW BEST:: SOT 249362 SOS 119521 HAS SOPS 116048 HAS SOUS 53712 HAS SOUPS 51981 WITH SCORE 52100.521
AT ITER 4386 NEW BEST:: SOT 249362 SOS 119485 HAS SOPS 116012 HAS SOUS 53694 HAS SOUPS 51963 WITH SCORE 52082.485
AT ITER 4390 NEW BEST:: SOT 249362 SOS 119459 HAS SOPS 115986 HAS SOUS 53681 HAS SOUPS 51950 WITH SCORE 52069.459
AT ITER 4400 NEW BEST:: SOT 249362 SOS 119459 HAS SOPS 115986 HAS SOUS 53679 HAS SOUPS 51948 WITH SCORE 52067.459
AT ITER 4412 NEW BEST:: SOT 249362 SOS 120855 HAS SOPS 117382 HAS SOUS 53668 HAS SOUPS 51937 WITH SCORE 52057.855
AT ITER 4418 NEW BEST:: SOT 249362 SOS 120851 HAS SOPS 117378 HAS SOUS 53668 HAS SOUPS 51937 WITH SCORE 52057.851
AT ITER 4421 NEW BEST:: SOT 249362 SOS 121215 HAS SOPS 117742 HAS SOUS 53647 HAS SOUPS 51916 WITH SCORE 52037.215
AT ITER 4427 NEW BEST:: SOT 249362 SOS 121133 HAS SOPS 117660 HAS SOUS 53606 HAS SOUPS 51875 WITH SCORE 51996.133
AT ITER 4432 NEW BEST:: SOT 249362 SOS 121123 HAS SOPS 117682 HAS SOUS 53586 HAS SOUPS 51871 WITH SCORE 51992.123
AT ITER 4443 NEW BEST:: SOT 249362 SOS 121035 HAS SOPS 117594 HAS SOUS 53558 HAS SOUPS 51843 WITH SCORE 51964.035
AT ITER 4463 NEW BEST:: SOT 249362 SOS 121031 HAS SOPS 117572 HAS SOUS 53565 HAS SOUPS 51841 WITH SCORE 51962.031
AT ITER 4481 NEW BEST:: SOT 249362 SOS 120419 HAS SOPS 116960 HAS SOUS 53565 HAS SOUPS 51841 WITH SCORE 51961.419
AT ITER 4497 NEW BEST:: SOT 249362 SOS 120377 HAS SOPS 116826 HAS SOUS 53574 HAS SOUPS 51804 WITH SCORE 51924.377
AT ITER 4501 NEW BEST:: SOT 249362 SOS 119487 HAS SOPS 115936 HAS SOUS 53570 HAS SOUPS 51800 WITH SCORE 51919.487
AT ITER 4510 NEW BEST:: SOT 249362 SOS 119435 HAS SOPS 115884 HAS SOUS 53557 HAS SOUPS 51787 WITH SCORE 51906.435
AT ITER 4536 NEW BEST:: SOT 249362 SOS 117921 HAS SOPS 114370 HAS SOUS 53553 HAS SOUPS 51783 WITH SCORE 51900.921
AT ITER 4552 NEW BEST:: SOT 249362 SOS 118181 HAS SOPS 114630 HAS SOUS 53534 HAS SOUPS 51764 WITH SCORE 51882.181
AT ITER 4624 NEW BEST:: SOT 249362 SOS 118248 HAS SOPS 114697 HAS SOUS 53533 HAS SOUPS 51763 WITH SCORE 51881.248
AT ITER 4625 NEW BEST:: SOT 249362 SOS 118232 HAS SOPS 114681 HAS SOUS 53528 HAS SOUPS 51758 WITH SCORE 51876.232
AT ITER 4639 NEW BEST:: SOT 249362 SOS 118102 HAS SOPS 114673 HAS SOUS 53463 HAS SOUPS 51754 WITH SCORE 51872.102
AT ITER 4640 NEW BEST:: SOT 249362 SOS 117918 HAS SOPS 114489 HAS SOUS 53448 HAS SOUPS 51739 WITH SCORE 51856.918
AT ITER 4644 NEW BEST:: SOT 249362 SOS 117900 HAS SOPS 114471 HAS SOUS 53439 HAS SOUPS 51730 WITH SCORE 51847.9
AT ITER 4690 NEW BEST:: SOT 249362 SOS 117886 HAS SOPS 114471 HAS SOUS 53432 HAS SOUPS 51730 WITH SCORE 51847.886
AT ITER 4694 NEW BEST:: SOT 249362 SOS 117832 HAS SOPS 114417 HAS SOUS 53423 HAS SOUPS 51721 WITH SCORE 51838.832
AT ITER 4698 NEW BEST:: SOT 249362 SOS 117848 HAS SOPS 114433 HAS SOUS 53409 HAS SOUPS 51707 WITH SCORE 51824.848
AT ITER 4701 NEW BEST:: SOT 249362 SOS 117988 HAS SOPS 114573 HAS SOUS 53386 HAS SOUPS 51684 WITH SCORE 51801.988
AT ITER 4709 NEW BEST:: SOT 249362 SOS 117925 HAS SOPS 114510 HAS SOUS 53335 HAS SOUPS 51633 WITH SCORE 51750.925
AT ITER 4752 NEW BEST:: SOT 249358 SOS 118018 HAS SOPS 114614 HAS SOUS 53332 HAS SOUPS 51630 WITH SCORE 51748.018
AT ITER 4772 NEW BEST:: SOT 249358 SOS 118130 HAS SOPS 114726 HAS SOUS 53308 HAS SOUPS 51606 WITH SCORE 51724.13
AT ITER 4792 NEW BEST:: SOT 249358 SOS 117790 HAS SOPS 114386 HAS SOUS 53305 HAS SOUPS 51603 WITH SCORE 51720.79
AT ITER 4810 NEW BEST:: SOT 249358 SOS 117770 HAS SOPS 114366 HAS SOUS 53280 HAS SOUPS 51578 WITH SCORE 51695.77
AT ITER 4821 NEW BEST:: SOT 249358 SOS 117762 HAS SOPS 114358 HAS SOUS 53278 HAS SOUPS 51576 WITH SCORE 51693.762
AT ITER 4825 NEW BEST:: SOT 249358 SOS 117778 HAS SOPS 114366 HAS SOUS 53280 HAS SOUPS 51572 WITH SCORE 51689.778
AT ITER 4858 NEW BEST:: SOT 249358 SOS 117002 HAS SOPS 113694 HAS SOUS 53214 HAS SOUPS 51558 WITH SCORE 51675.002
AT ITER 4894 NEW BEST:: SOT 249274 SOS 116935 HAS SOPS 113606 HAS SOUS 53215 HAS SOUPS 51552 WITH SCORE 51668.935
AT ITER 4900 NEW BEST:: SOT 249274 SOS 117077 HAS SOPS 113748 HAS SOUS 53191 HAS SOUPS 51528 WITH SCORE 51645.077
AT ITER 4904 NEW BEST:: SOT 249274 SOS 117063 HAS SOPS 113734 HAS SOUS 53184 HAS SOUPS 51521 WITH SCORE 51638.063
AT ITER 4915 NEW BEST:: SOT 249274 SOS 117067 HAS SOPS 113738 HAS SOUS 53182 HAS SOUPS 51519 WITH SCORE 51636.067
AT ITER 4928 NEW BEST:: SOT 249274 SOS 117071 HAS SOPS 113742 HAS SOUS 53177 HAS SOUPS 51514 WITH SCORE 51631.071
AT ITER 4963 NEW BEST:: SOT 249256 SOS 117083 HAS SOPS 113754 HAS SOUS 53169 HAS SOUPS 51506 WITH SCORE 51623.083
AT ITER 4975 NEW BEST:: SOT 249256 SOS 117081 HAS SOPS 113752 HAS SOUS 53168 HAS SOUPS 51505 WITH SCORE 51622.081
AT ITER 4983 NEW BEST:: SOT 249256 SOS 117081 HAS SOPS 113752 HAS SOUS 53160 HAS SOUPS 51497 WITH SCORE 51614.081
AT ITER 5008 NEW BEST:: SOT 249256 SOS 117129 HAS SOPS 113800 HAS SOUS 53149 HAS SOUPS 51486 WITH SCORE 51603.129
AT ITER 5009 NEW BEST:: SOT 249256 SOS 117173 HAS SOPS 113844 HAS SOUS 53148 HAS SOUPS 51485 WITH SCORE 51602.173
AT ITER 5029 NEW BEST:: SOT 249256 SOS 117171 HAS SOPS 113842 HAS SOUS 53147 HAS SOUPS 51484 WITH SCORE 51601.171
AT ITER 5053 NEW BEST:: SOT 249248 SOS 117163 HAS SOPS 113826 HAS SOUS 53147 HAS SOUPS 51476 WITH SCORE 51593.163
AT ITER 5057 NEW BEST:: SOT 249256 SOS 117180 HAS SOPS 113844 HAS SOUS 53076 HAS SOUPS 51406 WITH SCORE 51523.18
AT ITER 5125 NEW BEST:: SOT 249256 SOS 117136 HAS SOPS 113800 HAS SOUS 53065 HAS SOUPS 51395 WITH SCORE 51512.136
AT ITER 5140 NEW BEST:: SOT 249256 SOS 117138 HAS SOPS 113802 HAS SOUS 53053 HAS SOUPS 51383 WITH SCORE 51500.138
AT ITER 5167 NEW BEST:: SOT 249256 SOS 117122 HAS SOPS 113786 HAS SOUS 53053 HAS SOUPS 51383 WITH SCORE 51500.122
AT ITER 5174 NEW BEST:: SOT 249256 SOS 117120 HAS SOPS 113784 HAS SOUS 53052 HAS SOUPS 51382 WITH SCORE 51499.12
AT ITER 5199 NEW BEST:: SOT 249256 SOS 117112 HAS SOPS 113776 HAS SOUS 53048 HAS SOUPS 51378 WITH SCORE 51495.112
AT ITER 5206 NEW BEST:: SOT 249256 SOS 117106 HAS SOPS 113770 HAS SOUS 53045 HAS SOUPS 51375 WITH SCORE 51492.106
AT ITER 5207 NEW BEST:: SOT 249256 SOS 117070 HAS SOPS 113734 HAS SOUS 53036 HAS SOUPS 51366 WITH SCORE 51483.07
AT ITER 5240 NEW BEST:: SOT 249256 SOS 117046 HAS SOPS 113710 HAS SOUS 53028 HAS SOUPS 51358 WITH SCORE 51475.046
AT ITER 5256 NEW BEST:: SOT 249256 SOS 117046 HAS SOPS 113710 HAS SOUS 53024 HAS SOUPS 51354 WITH SCORE 51471.046
AT ITER 5259 NEW BEST:: SOT 249256 SOS 117038 HAS SOPS 113702 HAS SOUS 53014 HAS SOUPS 51344 WITH SCORE 51461.038
AT ITER 5268 NEW BEST:: SOT 249256 SOS 117026 HAS SOPS 113690 HAS SOUS 53008 HAS SOUPS 51338 WITH SCORE 51455.026
AT ITER 5280 NEW BEST:: SOT 249256 SOS 117046 HAS SOPS 113710 HAS SOUS 53006 HAS SOUPS 51336 WITH SCORE 51453.046
AT ITER 5287 NEW BEST:: SOT 249256 SOS 116952 HAS SOPS 113682 HAS SOUS 52959 HAS SOUPS 51322 WITH SCORE 51438.952
AT ITER 5313 NEW BEST:: SOT 249256 SOS 116950 HAS SOPS 113680 HAS SOUS 52958 HAS SOUPS 51321 WITH SCORE 51437.95
AT ITER 5327 NEW BEST:: SOT 249256 SOS 116934 HAS SOPS 113664 HAS SOUS 52958 HAS SOUPS 51321 WITH SCORE 51437.934
AT ITER 5365 NEW BEST:: SOT 249256 SOS 116936 HAS SOPS 113662 HAS SOUS 52914 HAS SOUPS 51277 WITH SCORE 51393.936
AT ITER 5404 NEW BEST:: SOT 249256 SOS 117000 HAS SOPS 113726 HAS SOUS 52912 HAS SOUPS 51275 WITH SCORE 51392.0
AT ITER 5406 NEW BEST:: SOT 246255 SOS 114018 HAS SOPS 110729 HAS SOUS 52132 HAS SOUPS 50488 WITH SCORE 50602.018
AT ITER 5419 NEW BEST:: SOT 246255 SOS 114018 HAS SOPS 110729 HAS SOUS 52116 HAS SOUPS 50472 WITH SCORE 50586.018
AT ITER 5460 NEW BEST:: SOT 246255 SOS 114070 HAS SOPS 110781 HAS SOUS 52103 HAS SOUPS 50459 WITH SCORE 50573.07
AT ITER 5470 NEW BEST:: SOT 246255 SOS 114200 HAS SOPS 110911 HAS SOUS 52084 HAS SOUPS 50440 WITH SCORE 50554.2
AT ITER 5487 NEW BEST:: SOT 246255 SOS 114194 HAS SOPS 110905 HAS SOUS 52082 HAS SOUPS 50438 WITH SCORE 50552.194
AT ITER 5490 NEW BEST:: SOT 246255 SOS 114212 HAS SOPS 110923 HAS SOUS 52073 HAS SOUPS 50429 WITH SCORE 50543.212
AT ITER 5494 NEW BEST:: SOT 246255 SOS 114280 HAS SOPS 110991 HAS SOUS 52051 HAS SOUPS 50407 WITH SCORE 50521.28
AT ITER 5522 NEW BEST:: SOT 246255 SOS 114226 HAS SOPS 110937 HAS SOUS 52042 HAS SOUPS 50398 WITH SCORE 50512.226
AT ITER 5559 NEW BEST:: SOT 246255 SOS 114182 HAS SOPS 110893 HAS SOUS 52042 HAS SOUPS 50398 WITH SCORE 50512.182
AT ITER 5561 NEW BEST:: SOT 246255 SOS 114162 HAS SOPS 110873 HAS SOUS 52032 HAS SOUPS 50388 WITH SCORE 50502.162
AT ITER 5584 NEW BEST:: SOT 246255 SOS 114120 HAS SOPS 110777 HAS SOUS 52034 HAS SOUPS 50363 WITH SCORE 50477.12
AT ITER 5586 NEW BEST:: SOT 246255 SOS 113932 HAS SOPS 110589 HAS SOUS 51987 HAS SOUPS 50316 WITH SCORE 50429.932
AT ITER 5590 NEW BEST:: SOT 246255 SOS 114034 HAS SOPS 110627 HAS SOUS 52018 HAS SOUPS 50315 WITH SCORE 50429.034
AT ITER 5592 NEW BEST:: SOT 246255 SOS 114028 HAS SOPS 110621 HAS SOUS 52016 HAS SOUPS 50313 WITH SCORE 50427.028
AT ITER 5616 NEW BEST:: SOT 246255 SOS 114124 HAS SOPS 110577 HAS SOUS 52075 HAS SOUPS 50302 WITH SCORE 50416.124
AT ITER 5632 NEW BEST:: SOT 246255 SOS 113922 HAS SOPS 110301 HAS SOUS 52106 HAS SOUPS 50296 WITH SCORE 50409.922
AT ITER 5668 NEW BEST:: SOT 246255 SOS 113902 HAS SOPS 110281 HAS SOUS 52079 HAS SOUPS 50269 WITH SCORE 50382.902
AT ITER 5683 NEW BEST:: SOT 246255 SOS 113968 HAS SOPS 110347 HAS SOUS 52074 HAS SOUPS 50264 WITH SCORE 50377.968
AT ITER 5702 NEW BEST:: SOT 246255 SOS 113958 HAS SOPS 110337 HAS SOUS 52069 HAS SOUPS 50259 WITH SCORE 50372.958
AT ITER 5712 NEW BEST:: SOT 246255 SOS 113966 HAS SOPS 110325 HAS SOUS 52073 HAS SOUPS 50253 WITH SCORE 50366.966
AT ITER 5743 NEW BEST:: SOT 246255 SOS 113962 HAS SOPS 110291 HAS SOUS 52086 HAS SOUPS 50251 WITH SCORE 50364.962
AT ITER 5762 NEW BEST:: SOT 246255 SOS 113902 HAS SOPS 110231 HAS SOUS 52086 HAS SOUPS 50251 WITH SCORE 50364.902
AT ITER 5778 NEW BEST:: SOT 246255 SOS 113948 HAS SOPS 110277 HAS SOUS 52075 HAS SOUPS 50240 WITH SCORE 50353.948
AT ITER 5804 NEW BEST:: SOT 246255 SOS 113936 HAS SOPS 110265 HAS SOUS 52074 HAS SOUPS 50239 WITH SCORE 50352.936
AT ITER 5823 NEW BEST:: SOT 246255 SOS 113834 HAS SOPS 110163 HAS SOUS 52008 HAS SOUPS 50173 WITH SCORE 50286.834
AT ITER 5824 NEW BEST:: SOT 246255 SOS 113892 HAS SOPS 110221 HAS SOUS 52000 HAS SOUPS 50165 WITH SCORE 50278.892
AT ITER 5832 NEW BEST:: SOT 246255 SOS 113892 HAS SOPS 110221 HAS SOUS 51999 HAS SOUPS 50164 WITH SCORE 50277.892
AT ITER 5842 NEW BEST:: SOT 246255 SOS 113840 HAS SOPS 110169 HAS SOUS 51988 HAS SOUPS 50153 WITH SCORE 50266.84
AT ITER 5857 NEW BEST:: SOT 246272 SOS 113919 HAS SOPS 110337 HAS SOUS 51931 HAS SOUPS 50142 WITH SCORE 50255.919
AT ITER 5858 NEW BEST:: SOT 246272 SOS 113983 HAS SOPS 110331 HAS SOUS 51963 HAS SOUPS 50139 WITH SCORE 50252.983
AT ITER 5891 NEW BEST:: SOT 246272 SOS 113913 HAS SOPS 110261 HAS SOUS 51963 HAS SOUPS 50139 WITH SCORE 50252.913
AT ITER 5894 NEW BEST:: SOT 246272 SOS 113903 HAS SOPS 110251 HAS SOUS 51958 HAS SOUPS 50134 WITH SCORE 50247.903
AT ITER 5910 NEW BEST:: SOT 246272 SOS 113867 HAS SOPS 110233 HAS SOUS 51947 HAS SOUPS 50132 WITH SCORE 50245.867
AT ITER 5915 NEW BEST:: SOT 246272 SOS 113861 HAS SOPS 110227 HAS SOUS 51944 HAS SOUPS 50129 WITH SCORE 50242.861
AT ITER 5927 NEW BEST:: SOT 246272 SOS 113861 HAS SOPS 110227 HAS SOUS 51931 HAS SOUPS 50116 WITH SCORE 50229.861
AT ITER 5980 NEW BEST:: SOT 246272 SOS 113849 HAS SOPS 110215 HAS SOUS 51900 HAS SOUPS 50085 WITH SCORE 50198.849
AT ITER 6023 NEW BEST:: SOT 246272 SOS 113853 HAS SOPS 110219 HAS SOUS 51890 HAS SOUPS 50075 WITH SCORE 50188.853
AT ITER 6031 NEW BEST:: SOT 246272 SOS 113835 HAS SOPS 110201 HAS SOUS 51890 HAS SOUPS 50075 WITH SCORE 50188.835
AT ITER 6040 NEW BEST:: SOT 246272 SOS 113827 HAS SOPS 110193 HAS SOUS 51882 HAS SOUPS 50067 WITH SCORE 50180.827
AT ITER 6043 NEW BEST:: SOT 246272 SOS 113827 HAS SOPS 110187 HAS SOUS 51882 HAS SOUPS 50064 WITH SCORE 50177.827
AT ITER 6070 NEW BEST:: SOT 246272 SOS 113723 HAS SOPS 110083 HAS SOUS 51881 HAS SOUPS 50063 WITH SCORE 50176.723
AT ITER 6113 NEW BEST:: SOT 246272 SOS 113765 HAS SOPS 110125 HAS SOUS 51839 HAS SOUPS 50021 WITH SCORE 50134.765
AT ITER 6125 NEW BEST:: SOT 246272 SOS 113738 HAS SOPS 110044 HAS SOUS 51866 HAS SOUPS 50021 WITH SCORE 50134.738
AT ITER 6141 NEW BEST:: SOT 246272 SOS 113664 HAS SOPS 109970 HAS SOUS 51829 HAS SOUPS 49984 WITH SCORE 50097.664
AT ITER 6190 NEW BEST:: SOT 246272 SOS 113662 HAS SOPS 109968 HAS SOUS 51828 HAS SOUPS 49983 WITH SCORE 50096.662
AT ITER 6200 NEW BEST:: SOT 246272 SOS 113670 HAS SOPS 109976 HAS SOUS 51822 HAS SOUPS 49977 WITH SCORE 50090.67
AT ITER 6214 NEW BEST:: SOT 246272 SOS 113658 HAS SOPS 109964 HAS SOUS 51819 HAS SOUPS 49974 WITH SCORE 50087.658
AT ITER 6223 NEW BEST:: SOT 246272 SOS 114354 HAS SOPS 110660 HAS SOUS 51800 HAS SOUPS 49955 WITH SCORE 50069.354
AT ITER 6278 NEW BEST:: SOT 246272 SOS 114430 HAS SOPS 110736 HAS SOUS 51755 HAS SOUPS 49910 WITH SCORE 50024.43
AT ITER 6286 NEW BEST:: SOT 246272 SOS 114424 HAS SOPS 110730 HAS SOUS 51752 HAS SOUPS 49907 WITH SCORE 50021.424
AT ITER 6309 NEW BEST:: SOT 246272 SOS 114354 HAS SOPS 110660 HAS SOUS 51752 HAS SOUPS 49907 WITH SCORE 50021.354
AT ITER 6328 NEW BEST:: SOT 246360 SOS 114442 HAS SOPS 110748 HAS SOUS 51746 HAS SOUPS 49901 WITH SCORE 50015.442
AT ITER 6330 NEW BEST:: SOT 246360 SOS 114442 HAS SOPS 110748 HAS SOUS 51728 HAS SOUPS 49883 WITH SCORE 49997.442
AT ITER 6359 NEW BEST:: SOT 246360 SOS 114418 HAS SOPS 110724 HAS SOUS 51727 HAS SOUPS 49882 WITH SCORE 49996.418
AT ITER 6364 NEW BEST:: SOT 246360 SOS 114610 HAS SOPS 110916 HAS SOUS 51691 HAS SOUPS 49846 WITH SCORE 49960.61
AT ITER 6377 NEW BEST:: SOT 246360 SOS 114598 HAS SOPS 110904 HAS SOUS 51685 HAS SOUPS 49840 WITH SCORE 49954.598
AT ITER 6378 NEW BEST:: SOT 246360 SOS 114596 HAS SOPS 110902 HAS SOUS 51685 HAS SOUPS 49840 WITH SCORE 49954.596
AT ITER 6431 NEW BEST:: SOT 246360 SOS 114516 HAS SOPS 110822 HAS SOUS 51680 HAS SOUPS 49835 WITH SCORE 49949.516
AT ITER 6479 NEW BEST:: SOT 246360 SOS 114532 HAS SOPS 110838 HAS SOUS 51679 HAS SOUPS 49834 WITH SCORE 49948.532
AT ITER 6505 NEW BEST:: SOT 246360 SOS 114524 HAS SOPS 110830 HAS SOUS 51675 HAS SOUPS 49830 WITH SCORE 49944.524
AT ITER 6544 NEW BEST:: SOT 246360 SOS 114440 HAS SOPS 110788 HAS SOUS 51654 HAS SOUPS 49830 WITH SCORE 49944.44
AT ITER 6552 NEW BEST:: SOT 246360 SOS 114440 HAS SOPS 110788 HAS SOUS 51644 HAS SOUPS 49820 WITH SCORE 49934.44
AT ITER 6560 NEW BEST:: SOT 246360 SOS 114424 HAS SOPS 110788 HAS SOUS 51644 HAS SOUPS 49820 WITH SCORE 49934.424
AT ITER 6575 NEW BEST:: SOT 246360 SOS 114368 HAS SOPS 110732 HAS SOUS 51631 HAS SOUPS 49807 WITH SCORE 49921.368
AT ITER 6578 NEW BEST:: SOT 246360 SOS 114360 HAS SOPS 110724 HAS SOUS 51627 HAS SOUPS 49803 WITH SCORE 49917.36
AT ITER 6614 NEW BEST:: SOT 246360 SOS 114358 HAS SOPS 110722 HAS SOUS 51626 HAS SOUPS 49802 WITH SCORE 49916.358
AT ITER 6630 NEW BEST:: SOT 246360 SOS 114352 HAS SOPS 110716 HAS SOUS 51623 HAS SOUPS 49799 WITH SCORE 49913.352
AT ITER 6723 NEW BEST:: SOT 246360 SOS 114348 HAS SOPS 110712 HAS SOUS 51621 HAS SOUPS 49797 WITH SCORE 49911.348
AT ITER 6750 NEW BEST:: SOT 246360 SOS 114328 HAS SOPS 110724 HAS SOUS 51602 HAS SOUPS 49794 WITH SCORE 49908.328
AT ITER 6758 NEW BEST:: SOT 246360 SOS 114328 HAS SOPS 110716 HAS SOUS 51602 HAS SOUPS 49790 WITH SCORE 49904.328
AT ITER 6763 NEW BEST:: SOT 246360 SOS 114322 HAS SOPS 110716 HAS SOUS 51599 HAS SOUPS 49790 WITH SCORE 49904.322
AT ITER 6823 NEW BEST:: SOT 246360 SOS 114318 HAS SOPS 110712 HAS SOUS 51597 HAS SOUPS 49788 WITH SCORE 49902.318
AT ITER 6842 NEW BEST:: SOT 246360 SOS 114318 HAS SOPS 110668 HAS SOUS 51603 HAS SOUPS 49772 WITH SCORE 49886.318
AT ITER 6849 NEW BEST:: SOT 246360 SOS 114242 HAS SOPS 110592 HAS SOUS 51603 HAS SOUPS 49772 WITH SCORE 49886.242
AT ITER 6909 NEW BEST:: SOT 246360 SOS 114269 HAS SOPS 110619 HAS SOUS 51584 HAS SOUPS 49753 WITH SCORE 49867.269
AT ITER 6927 NEW BEST:: SOT 246360 SOS 114199 HAS SOPS 110549 HAS SOUS 51579 HAS SOUPS 49748 WITH SCORE 49862.199
AT ITER 6944 NEW BEST:: SOT 246360 SOS 114306 HAS SOPS 110656 HAS SOUS 51573 HAS SOUPS 49742 WITH SCORE 49856.306
AT ITER 6947 NEW BEST:: SOT 246360 SOS 114254 HAS SOPS 110604 HAS SOUS 51565 HAS SOUPS 49734 WITH SCORE 49848.254
AT ITER 6960 NEW BEST:: SOT 246360 SOS 114252 HAS SOPS 110602 HAS SOUS 51564 HAS SOUPS 49733 WITH SCORE 49847.252
AT ITER 6998 NEW BEST:: SOT 246360 SOS 114228 HAS SOPS 110590 HAS SOUS 51558 HAS SOUPS 49733 WITH SCORE 49847.228
AT ITER 7102 NEW BEST:: SOT 246360 SOS 114284 HAS SOPS 110590 HAS SOUS 51558 HAS SOUPS 49705 WITH SCORE 49819.284
AT ITER 7103 NEW BEST:: SOT 246360 SOS 114090 HAS SOPS 110396 HAS SOUS 51556 HAS SOUPS 49703 WITH SCORE 49817.09
AT ITER 7110 NEW BEST:: SOT 246360 SOS 114090 HAS SOPS 110396 HAS SOUS 51554 HAS SOUPS 49701 WITH SCORE 49815.09
AT ITER 7212 NEW BEST:: SOT 246360 SOS 114054 HAS SOPS 110360 HAS SOUS 51554 HAS SOUPS 49701 WITH SCORE 49815.054
AT ITER 7225 NEW BEST:: SOT 246360 SOS 114062 HAS SOPS 110368 HAS SOUS 51535 HAS SOUPS 49682 WITH SCORE 49796.062
AT ITER 7241 NEW BEST:: SOT 246360 SOS 114014 HAS SOPS 110320 HAS SOUS 51523 HAS SOUPS 49670 WITH SCORE 49784.014
AT ITER 7257 NEW BEST:: SOT 246360 SOS 114026 HAS SOPS 110308 HAS SOUS 51529 HAS SOUPS 49664 WITH SCORE 49778.026
AT ITER 7259 NEW BEST:: SOT 246360 SOS 114000 HAS SOPS 110282 HAS SOUS 51519 HAS SOUPS 49654 WITH SCORE 49768.0
AT ITER 7293 NEW BEST:: SOT 246360 SOS 114012 HAS SOPS 110294 HAS SOUS 51515 HAS SOUPS 49650 WITH SCORE 49764.012
AT ITER 7311 NEW BEST:: SOT 246360 SOS 113988 HAS SOPS 110270 HAS SOUS 51502 HAS SOUPS 49637 WITH SCORE 49750.988
AT ITER 7327 NEW BEST:: SOT 246360 SOS 113946 HAS SOPS 110228 HAS SOUS 51494 HAS SOUPS 49629 WITH SCORE 49742.946
AT ITER 7333 NEW BEST:: SOT 246360 SOS 113966 HAS SOPS 110248 HAS SOUS 51490 HAS SOUPS 49625 WITH SCORE 49738.966
AT ITER 7354 NEW BEST:: SOT 246360 SOS 113958 HAS SOPS 110296 HAS SOUS 51458 HAS SOUPS 49621 WITH SCORE 49734.958
AT ITER 7373 NEW BEST:: SOT 246360 SOS 113944 HAS SOPS 110296 HAS SOUS 51451 HAS SOUPS 49621 WITH SCORE 49734.944
AT ITER 7419 NEW BEST:: SOT 246360 SOS 113858 HAS SOPS 110210 HAS SOUS 51451 HAS SOUPS 49621 WITH SCORE 49734.858
AT ITER 7446 NEW BEST:: SOT 246360 SOS 113846 HAS SOPS 110198 HAS SOUS 51451 HAS SOUPS 49621 WITH SCORE 49734.846
AT ITER 7457 NEW BEST:: SOT 246360 SOS 113860 HAS SOPS 110212 HAS SOUS 51439 HAS SOUPS 49609 WITH SCORE 49722.86
AT ITER 7463 NEW BEST:: SOT 246360 SOS 113846 HAS SOPS 110198 HAS SOUS 51432 HAS SOUPS 49602 WITH SCORE 49715.846
AT ITER 7485 NEW BEST:: SOT 238946 SOS 106936 HAS SOPS 102811 HAS SOUS 50208 HAS SOUPS 48356 WITH SCORE 48462.936
AT ITER 7512 NEW BEST:: SOT 238946 SOS 106880 HAS SOPS 102783 HAS SOUS 50180 HAS SOUPS 48342 WITH SCORE 48448.88
AT ITER 7576 NEW BEST:: SOT 238946 SOS 107004 HAS SOPS 102907 HAS SOUS 50176 HAS SOUPS 48338 WITH SCORE 48445.004
AT ITER 7578 NEW BEST:: SOT 238946 SOS 106958 HAS SOPS 102907 HAS SOUS 50138 HAS SOUPS 48323 WITH SCORE 48429.958
AT ITER 7604 NEW BEST:: SOT 238946 SOS 106956 HAS SOPS 102905 HAS SOUS 50138 HAS SOUPS 48323 WITH SCORE 48429.956
AT ITER 7624 NEW BEST:: SOT 238946 SOS 106944 HAS SOPS 102893 HAS SOUS 50138 HAS SOUPS 48323 WITH SCORE 48429.944
AT ITER 7642 NEW BEST:: SOT 238946 SOS 106958 HAS SOPS 102929 HAS SOUS 50123 HAS SOUPS 48319 WITH SCORE 48425.958
AT ITER 7646 NEW BEST:: SOT 238946 SOS 106926 HAS SOPS 102897 HAS SOUS 50123 HAS SOUPS 48319 WITH SCORE 48425.926
AT ITER 7663 NEW BEST:: SOT 238946 SOS 106922 HAS SOPS 102887 HAS SOUS 50124 HAS SOUPS 48317 WITH SCORE 48423.922
AT ITER 7672 NEW BEST:: SOT 238946 SOS 106914 HAS SOPS 102879 HAS SOUS 50124 HAS SOUPS 48317 WITH SCORE 48423.914
AT ITER 7674 NEW BEST:: SOT 241499 SOS 109266 HAS SOPS 105579 HAS SOUS 49426 HAS SOUPS 47630 WITH SCORE 47739.266
AT ITER 7729 NEW BEST:: SOT 241499 SOS 109264 HAS SOPS 105547 HAS SOUS 49437 HAS SOUPS 47626 WITH SCORE 47735.264
AT ITER 7761 NEW BEST:: SOT 241464 SOS 109298 HAS SOPS 105635 HAS SOUS 49407 HAS SOUPS 47596 WITH SCORE 47705.298
AT ITER 7768 NEW BEST:: SOT 241464 SOS 109278 HAS SOPS 105635 HAS SOUS 49397 HAS SOUPS 47596 WITH SCORE 47705.278
AT ITER 7797 NEW BEST:: SOT 241464 SOS 109276 HAS SOPS 105655 HAS SOUS 49385 HAS SOUPS 47595 WITH SCORE 47704.276
AT ITER 7833 NEW BEST:: SOT 241464 SOS 109368 HAS SOPS 105747 HAS SOUS 49364 HAS SOUPS 47574 WITH SCORE 47683.368
AT ITER 7854 NEW BEST:: SOT 241464 SOS 109352 HAS SOPS 105731 HAS SOUS 49364 HAS SOUPS 47574 WITH SCORE 47683.352
AT ITER 7870 NEW BEST:: SOT 241464 SOS 109316 HAS SOPS 105713 HAS SOUS 49355 HAS SOUPS 47574 WITH SCORE 47683.316
AT ITER 7903 NEW BEST:: SOT 241464 SOS 109248 HAS SOPS 105645 HAS SOUS 49354 HAS SOUPS 47573 WITH SCORE 47682.248
AT ITER 7928 NEW BEST:: SOT 241464 SOS 109240 HAS SOPS 105645 HAS SOUS 49350 HAS SOUPS 47573 WITH SCORE 47682.24
AT ITER 7936 NEW BEST:: SOT 241464 SOS 109238 HAS SOPS 105643 HAS SOUS 49349 HAS SOUPS 47572 WITH SCORE 47681.238
AT ITER 7978 NEW BEST:: SOT 241464 SOS 109354 HAS SOPS 105759 HAS SOUS 49348 HAS SOUPS 47571 WITH SCORE 47680.354
AT ITER 8016 NEW BEST:: SOT 241464 SOS 109352 HAS SOPS 105757 HAS SOUS 49347 HAS SOUPS 47570 WITH SCORE 47679.352
AT ITER 8026 NEW BEST:: SOT 241464 SOS 109328 HAS SOPS 105733 HAS SOUS 49335 HAS SOUPS 47558 WITH SCORE 47667.328
AT ITER 8074 NEW BEST:: SOT 241464 SOS 109294 HAS SOPS 105699 HAS SOUS 49335 HAS SOUPS 47558 WITH SCORE 47667.294
AT ITER 8111 NEW BEST:: SOT 241464 SOS 109317 HAS SOPS 105752 HAS SOUS 49313 HAS SOUPS 47551 WITH SCORE 47660.317
AT ITER 8145 NEW BEST:: SOT 241445 SOS 109328 HAS SOPS 105786 HAS SOUS 49280 HAS SOUPS 47511 WITH SCORE 47620.328
AT ITER 8155 NEW BEST:: SOT 241445 SOS 109312 HAS SOPS 105770 HAS SOUS 49276 HAS SOUPS 47507 WITH SCORE 47616.312
AT ITER 8167 NEW BEST:: SOT 241445 SOS 109340 HAS SOPS 105798 HAS SOUS 49248 HAS SOUPS 47479 WITH SCORE 47588.34
AT ITER 8192 NEW BEST:: SOT 241445 SOS 109968 HAS SOPS 106426 HAS SOUS 49239 HAS SOUPS 47470 WITH SCORE 47579.968
AT ITER 8214 NEW BEST:: SOT 241445 SOS 110004 HAS SOPS 106462 HAS SOUS 49228 HAS SOUPS 47459 WITH SCORE 47569.004
AT ITER 8228 NEW BEST:: SOT 241445 SOS 109978 HAS SOPS 106436 HAS SOUS 49228 HAS SOUPS 47459 WITH SCORE 47568.978
AT ITER 8269 NEW BEST:: SOT 241445 SOS 109962 HAS SOPS 106372 HAS SOUS 49231 HAS SOUPS 47438 WITH SCORE 47547.962
AT ITER 8273 NEW BEST:: SOT 241445 SOS 109966 HAS SOPS 106368 HAS SOUS 49233 HAS SOUPS 47436 WITH SCORE 47545.966
AT ITER 8283 NEW BEST:: SOT 241445 SOS 109914 HAS SOPS 106316 HAS SOUS 49229 HAS SOUPS 47432 WITH SCORE 47541.914
AT ITER 8286 NEW BEST:: SOT 241445 SOS 109910 HAS SOPS 106312 HAS SOUS 49227 HAS SOUPS 47430 WITH SCORE 47539.91
AT ITER 8295 NEW BEST:: SOT 241445 SOS 109896 HAS SOPS 106284 HAS SOUS 49222 HAS SOUPS 47418 WITH SCORE 47527.896
AT ITER 8327 NEW BEST:: SOT 241445 SOS 109899 HAS SOPS 106287 HAS SOUS 49221 HAS SOUPS 47417 WITH SCORE 47526.899
AT ITER 8360 NEW BEST:: SOT 241445 SOS 109897 HAS SOPS 106285 HAS SOUS 49220 HAS SOUPS 47416 WITH SCORE 47525.897
AT ITER 8413 NEW BEST:: SOT 241445 SOS 109659 HAS SOPS 106047 HAS SOUS 49193 HAS SOUPS 47389 WITH SCORE 47498.659
AT ITER 8461 NEW BEST:: SOT 241445 SOS 109635 HAS SOPS 106023 HAS SOUS 49188 HAS SOUPS 47384 WITH SCORE 47493.635
AT ITER 8488 NEW BEST:: SOT 241445 SOS 109635 HAS SOPS 105999 HAS SOUS 49196 HAS SOUPS 47380 WITH SCORE 47489.635
AT ITER 8496 NEW BEST:: SOT 241445 SOS 109648 HAS SOPS 106012 HAS SOUS 49194 HAS SOUPS 47378 WITH SCORE 47487.648
AT ITER 8511 NEW BEST:: SOT 241445 SOS 109644 HAS SOPS 106008 HAS SOUS 49193 HAS SOUPS 47377 WITH SCORE 47486.644
AT ITER 8514 NEW BEST:: SOT 241445 SOS 109616 HAS SOPS 105980 HAS SOUS 49193 HAS SOUPS 47377 WITH SCORE 47486.616
AT ITER 8524 NEW BEST:: SOT 241445 SOS 109600 HAS SOPS 105964 HAS SOUS 49189 HAS SOUPS 47373 WITH SCORE 47482.6
AT ITER 8545 NEW BEST:: SOT 241445 SOS 109624 HAS SOPS 105988 HAS SOUS 49185 HAS SOUPS 47369 WITH SCORE 47478.624
AT ITER 8553 NEW BEST:: SOT 241349 SOS 109528 HAS SOPS 105892 HAS SOUS 49183 HAS SOUPS 47367 WITH SCORE 47476.528
AT ITER 8592 NEW BEST:: SOT 241349 SOS 109394 HAS SOPS 105758 HAS SOUS 49183 HAS SOUPS 47367 WITH SCORE 47476.394
AT ITER 8620 NEW BEST:: SOT 241349 SOS 109348 HAS SOPS 105712 HAS SOUS 49160 HAS SOUPS 47344 WITH SCORE 47453.348
AT ITER 8690 NEW BEST:: SOT 241349 SOS 109356 HAS SOPS 105720 HAS SOUS 49148 HAS SOUPS 47332 WITH SCORE 47441.356
AT ITER 8691 NEW BEST:: SOT 241349 SOS 109356 HAS SOPS 105720 HAS SOUS 49147 HAS SOUPS 47331 WITH SCORE 47440.356
AT ITER 8728 NEW BEST:: SOT 241349 SOS 109354 HAS SOPS 105718 HAS SOUS 49146 HAS SOUPS 47330 WITH SCORE 47439.354
AT ITER 8749 NEW BEST:: SOT 241349 SOS 109350 HAS SOPS 105714 HAS SOUS 49144 HAS SOUPS 47328 WITH SCORE 47437.35
AT ITER 8751 NEW BEST:: SOT 241318 SOS 109319 HAS SOPS 105680 HAS SOUS 49110 HAS SOUPS 47294 WITH SCORE 47403.319
AT ITER 8765 NEW BEST:: SOT 241318 SOS 109167 HAS SOPS 105528 HAS SOUS 49110 HAS SOUPS 47294 WITH SCORE 47403.167
AT ITER 8860 NEW BEST:: SOT 241318 SOS 109085 HAS SOPS 105446 HAS SOUS 49105 HAS SOUPS 47289 WITH SCORE 47398.085
AT ITER 8918 NEW BEST:: SOT 241318 SOS 109291 HAS SOPS 105652 HAS SOUS 49101 HAS SOUPS 47285 WITH SCORE 47394.291
AT ITER 8938 NEW BEST:: SOT 241318 SOS 109289 HAS SOPS 105650 HAS SOUS 49101 HAS SOUPS 47285 WITH SCORE 47394.289
AT ITER 8947 NEW BEST:: SOT 241318 SOS 109341 HAS SOPS 105702 HAS SOUS 49089 HAS SOUPS 47273 WITH SCORE 47382.341
AT ITER 8959 NEW BEST:: SOT 241115 SOS 109468 HAS SOPS 105789 HAS SOUS 48989 HAS SOUPS 47173 WITH SCORE 47282.468
AT ITER 8993 NEW BEST:: SOT 241115 SOS 109570 HAS SOPS 105891 HAS SOUS 48986 HAS SOUPS 47170 WITH SCORE 47279.57
AT ITER 9003 NEW BEST:: SOT 241115 SOS 109560 HAS SOPS 105881 HAS SOUS 48979 HAS SOUPS 47163 WITH SCORE 47272.56
AT ITER 9035 NEW BEST:: SOT 241115 SOS 109558 HAS SOPS 105879 HAS SOUS 48979 HAS SOUPS 47163 WITH SCORE 47272.558
AT ITER 9063 NEW BEST:: SOT 241115 SOS 109582 HAS SOPS 105881 HAS SOUS 48980 HAS SOUPS 47153 WITH SCORE 47262.582
AT ITER 9077 NEW BEST:: SOT 241115 SOS 109580 HAS SOPS 105879 HAS SOUS 48979 HAS SOUPS 47152 WITH SCORE 47261.58
AT ITER 9108 NEW BEST:: SOT 241115 SOS 109588 HAS SOPS 105887 HAS SOUS 48974 HAS SOUPS 47147 WITH SCORE 47256.588
AT ITER 9152 NEW BEST:: SOT 241115 SOS 109586 HAS SOPS 105885 HAS SOUS 48973 HAS SOUPS 47146 WITH SCORE 47255.586
AT ITER 9155 NEW BEST:: SOT 241115 SOS 109510 HAS SOPS 105809 HAS SOUS 48973 HAS SOUPS 47146 WITH SCORE 47255.51
AT ITER 9168 NEW BEST:: SOT 241115 SOS 109482 HAS SOPS 105781 HAS SOUS 48973 HAS SOUPS 47146 WITH SCORE 47255.482
AT ITER 9197 NEW BEST:: SOT 241115 SOS 109437 HAS SOPS 105736 HAS SOUS 48959 HAS SOUPS 47132 WITH SCORE 47241.437
AT ITER 9235 NEW BEST:: SOT 241115 SOS 109401 HAS SOPS 105700 HAS SOUS 48959 HAS SOUPS 47132 WITH SCORE 47241.401
AT ITER 9303 NEW BEST:: SOT 241115 SOS 109385 HAS SOPS 105690 HAS SOUS 48951 HAS SOUPS 47127 WITH SCORE 47236.385
AT ITER 9318 NEW BEST:: SOT 241115 SOS 109379 HAS SOPS 105684 HAS SOUS 48948 HAS SOUPS 47124 WITH SCORE 47233.379
AT ITER 9387 NEW BEST:: SOT 241115 SOS 109365 HAS SOPS 105670 HAS SOUS 48941 HAS SOUPS 47117 WITH SCORE 47226.365
AT ITER 9411 NEW BEST:: SOT 241115 SOS 109351 HAS SOPS 105656 HAS SOUS 48939 HAS SOUPS 47115 WITH SCORE 47224.351
AT ITER 9412 NEW BEST:: SOT 241107 SOS 109343 HAS SOPS 105640 HAS SOUS 48923 HAS SOUPS 47099 WITH SCORE 47208.343
AT ITER 9441 NEW BEST:: SOT 241107 SOS 110025 HAS SOPS 106234 HAS SOUS 48966 HAS SOUPS 47098 WITH SCORE 47208.025
AT ITER 9465 NEW BEST:: SOT 241110 SOS 110091 HAS SOPS 106355 HAS SOUS 48933 HAS SOUPS 47065 WITH SCORE 47175.091
AT ITER 9474 NEW BEST:: SOT 241110 SOS 110131 HAS SOPS 106395 HAS SOUS 48921 HAS SOUPS 47053 WITH SCORE 47163.131
AT ITER 9489 NEW BEST:: SOT 241110 SOS 110471 HAS SOPS 106735 HAS SOUS 48914 HAS SOUPS 47046 WITH SCORE 47156.471
AT ITER 9495 NEW BEST:: SOT 241110 SOS 110391 HAS SOPS 106655 HAS SOUS 48904 HAS SOUPS 47036 WITH SCORE 47146.391
AT ITER 9525 NEW BEST:: SOT 241110 SOS 110429 HAS SOPS 106693 HAS SOUS 48903 HAS SOUPS 47035 WITH SCORE 47145.429
AT ITER 9547 NEW BEST:: SOT 241110 SOS 110430 HAS SOPS 106692 HAS SOUS 48903 HAS SOUPS 47034 WITH SCORE 47144.43
AT ITER 9576 NEW BEST:: SOT 241110 SOS 110406 HAS SOPS 106680 HAS SOUS 48885 HAS SOUPS 47022 WITH SCORE 47132.406
AT ITER 9620 NEW BEST:: SOT 241110 SOS 110394 HAS SOPS 106676 HAS SOUS 48877 HAS SOUPS 47018 WITH SCORE 47128.394
AT ITER 9646 NEW BEST:: SOT 241110 SOS 110406 HAS SOPS 106688 HAS SOUS 48874 HAS SOUPS 47015 WITH SCORE 47125.406
AT ITER 9667 NEW BEST:: SOT 241110 SOS 110402 HAS SOPS 106684 HAS SOUS 48872 HAS SOUPS 47013 WITH SCORE 47123.402
AT ITER 9678 NEW BEST:: SOT 241110 SOS 110630 HAS SOPS 106792 HAS SOUS 48918 HAS SOUPS 46999 WITH SCORE 47109.63
AT ITER 9709 NEW BEST:: SOT 241110 SOS 110626 HAS SOPS 106788 HAS SOUS 48916 HAS SOUPS 46997 WITH SCORE 47107.626
AT ITER 9719 NEW BEST:: SOT 241110 SOS 110620 HAS SOPS 106740 HAS SOUS 48934 HAS SOUPS 46994 WITH SCORE 47104.62
AT ITER 9722 NEW BEST:: SOT 241110 SOS 110644 HAS SOPS 106736 HAS SOUS 48945 HAS SOUPS 46991 WITH SCORE 47101.644
AT ITER 9726 NEW BEST:: SOT 241110 SOS 110666 HAS SOPS 106758 HAS SOUS 48940 HAS SOUPS 46986 WITH SCORE 47096.666
AT ITER 9783 NEW BEST:: SOT 241110 SOS 110638 HAS SOPS 106730 HAS SOUS 48935 HAS SOUPS 46981 WITH SCORE 47091.638
AT ITER 9811 NEW BEST:: SOT 241110 SOS 110580 HAS SOPS 106672 HAS SOUS 48906 HAS SOUPS 46952 WITH SCORE 47062.58
AT ITER 9840 NEW BEST:: SOT 241110 SOS 110544 HAS SOPS 106636 HAS SOUS 48897 HAS SOUPS 46943 WITH SCORE 47053.544
AT ITER 9860 NEW BEST:: SOT 241110 SOS 110460 HAS SOPS 106552 HAS SOUS 48883 HAS SOUPS 46929 WITH SCORE 47039.46
AT ITER 9872 NEW BEST:: SOT 241110 SOS 110460 HAS SOPS 106552 HAS SOUS 48879 HAS SOUPS 46925 WITH SCORE 47035.46
AT ITER 9874 NEW BEST:: SOT 241110 SOS 110278 HAS SOPS 106370 HAS SOUS 48879 HAS SOUPS 46925 WITH SCORE 47035.278
AT ITER 9903 NEW BEST:: SOT 241110 SOS 110258 HAS SOPS 106370 HAS SOUS 48869 HAS SOUPS 46925 WITH SCORE 47035.258
AT ITER 9914 NEW BEST:: SOT 241110 SOS 110150 HAS SOPS 106262 HAS SOUS 48842 HAS SOUPS 46898 WITH SCORE 47008.15
AT ITER 9944 NEW BEST:: SOT 241110 SOS 110148 HAS SOPS 106260 HAS SOUS 48841 HAS SOUPS 46897 WITH SCORE 47007.148
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 165308 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16287448 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FunctionPointer-PT-b004"
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 FunctionPointer-PT-b004, 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 r171-tall-167838858900672"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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