fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r259-smll-167863534300296
Last Updated
May 14, 2023

About the Execution of Smart for NoC3x3-PT-5A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
11667.928 3600000.00 3600047.00 268.80 [undef] Time out reached

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 688K
-rw-r--r-- 1 mcc users 7.4K Feb 26 09:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 09:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 09:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 09:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 09:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 09:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 09:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Feb 26 09:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 248K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678744677114

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

Filename model.pnml
Petri model created: 417 places, 933 transitions, 3585 arcs.
AT ITER 0 NEW BEST:: SOT 315375 SOS 247722 HAS SOPS 247085 HAS SOUS 169121 HAS SOUPS 168739 WITH SCORE 168986.722
AT ITER 2 NEW BEST:: SOT 314760 SOS 247139 HAS SOPS 246502 HAS SOUS 168538 HAS SOUPS 168156 WITH SCORE 168403.139
AT ITER 3 NEW BEST:: SOT 314434 SOS 246813 HAS SOPS 246176 HAS SOUS 168241 HAS SOUPS 167859 WITH SCORE 168105.813
AT ITER 5 NEW BEST:: SOT 313022 SOS 245322 HAS SOPS 244685 HAS SOUS 167032 HAS SOUPS 166650 WITH SCORE 166895.322
AT ITER 16 NEW BEST:: SOT 313284 SOS 245966 HAS SOPS 245402 HAS SOUS 166834 HAS SOUPS 166489 WITH SCORE 166734.966
AT ITER 17 NEW BEST:: SOT 313510 SOS 246192 HAS SOPS 245628 HAS SOUS 166730 HAS SOUPS 166385 WITH SCORE 166631.192
AT ITER 18 NEW BEST:: SOT 313543 SOS 246321 HAS SOPS 245773 HAS SOUS 166679 HAS SOUPS 166350 WITH SCORE 166596.321
AT ITER 26 NEW BEST:: SOT 313554 SOS 246332 HAS SOPS 245784 HAS SOUS 166148 HAS SOUPS 165819 WITH SCORE 166065.332
AT ITER 28 NEW BEST:: SOT 313106 SOS 245753 HAS SOPS 245205 HAS SOUS 165635 HAS SOUPS 165306 WITH SCORE 165551.753
AT ITER 29 NEW BEST:: SOT 313369 SOS 246048 HAS SOPS 245500 HAS SOUS 165610 HAS SOUPS 165281 WITH SCORE 165527.048
AT ITER 32 NEW BEST:: SOT 310525 SOS 243319 HAS SOPS 242771 HAS SOUS 163187 HAS SOUPS 162858 WITH SCORE 163101.319
AT ITER 36 NEW BEST:: SOT 310510 SOS 243212 HAS SOPS 242664 HAS SOUS 162682 HAS SOUPS 162353 WITH SCORE 162596.212
AT ITER 50 NEW BEST:: SOT 310697 SOS 243477 HAS SOPS 242929 HAS SOUS 162632 HAS SOUPS 162303 WITH SCORE 162546.477
AT ITER 52 NEW BEST:: SOT 310697 SOS 243181 HAS SOPS 242589 HAS SOUS 162644 HAS SOUPS 162293 WITH SCORE 162536.181
AT ITER 58 NEW BEST:: SOT 310339 SOS 242635 HAS SOPS 242043 HAS SOUS 162412 HAS SOUPS 162061 WITH SCORE 162303.635
AT ITER 60 NEW BEST:: SOT 308853 SOS 241007 HAS SOPS 240415 HAS SOUS 160814 HAS SOUPS 160463 WITH SCORE 160704.007
AT ITER 63 NEW BEST:: SOT 308843 SOS 241026 HAS SOPS 240434 HAS SOUS 160736 HAS SOUPS 160385 WITH SCORE 160626.026
AT ITER 64 NEW BEST:: SOT 308770 SOS 240598 HAS SOPS 240006 HAS SOUS 160528 HAS SOUPS 160177 WITH SCORE 160417.598
AT ITER 69 NEW BEST:: SOT 308572 SOS 240400 HAS SOPS 239808 HAS SOUS 160522 HAS SOUPS 160171 WITH SCORE 160411.4
AT ITER 70 NEW BEST:: SOT 308571 SOS 240401 HAS SOPS 239809 HAS SOUS 160516 HAS SOUPS 160165 WITH SCORE 160405.401
AT ITER 78 NEW BEST:: SOT 308449 SOS 240199 HAS SOPS 239607 HAS SOUS 160200 HAS SOUPS 159849 WITH SCORE 160089.199
AT ITER 79 NEW BEST:: SOT 307803 SOS 239468 HAS SOPS 238876 HAS SOUS 159503 HAS SOUPS 159152 WITH SCORE 159391.468
AT ITER 81 NEW BEST:: SOT 307178 SOS 238854 HAS SOPS 238262 HAS SOUS 158852 HAS SOUPS 158501 WITH SCORE 158739.854
AT ITER 82 NEW BEST:: SOT 307207 SOS 238970 HAS SOPS 238378 HAS SOUS 158823 HAS SOUPS 158472 WITH SCORE 158710.97
AT ITER 83 NEW BEST:: SOT 307206 SOS 238624 HAS SOPS 238032 HAS SOUS 158705 HAS SOUPS 158354 WITH SCORE 158592.624
AT ITER 84 NEW BEST:: SOT 305739 SOS 237778 HAS SOPS 237186 HAS SOUS 157286 HAS SOUPS 156935 WITH SCORE 157172.778
AT ITER 86 NEW BEST:: SOT 305739 SOS 237764 HAS SOPS 237151 HAS SOUS 157279 HAS SOUPS 156921 WITH SCORE 157158.764
AT ITER 87 NEW BEST:: SOT 303654 SOS 234978 HAS SOPS 234365 HAS SOUS 154923 HAS SOUPS 154565 WITH SCORE 154799.978
AT ITER 89 NEW BEST:: SOT 303530 SOS 234964 HAS SOPS 234351 HAS SOUS 154779 HAS SOUPS 154421 WITH SCORE 154655.964
AT ITER 91 NEW BEST:: SOT 303630 SOS 234598 HAS SOPS 233985 HAS SOUS 154138 HAS SOUPS 153780 WITH SCORE 154014.598
AT ITER 96 NEW BEST:: SOT 303726 SOS 234582 HAS SOPS 234013 HAS SOUS 154068 HAS SOUPS 153732 WITH SCORE 153966.582
AT ITER 98 NEW BEST:: SOT 303652 SOS 234454 HAS SOPS 233885 HAS SOUS 154018 HAS SOUPS 153682 WITH SCORE 153916.454
AT ITER 101 NEW BEST:: SOT 302649 SOS 233451 HAS SOPS 232882 HAS SOUS 152966 HAS SOUPS 152630 WITH SCORE 152863.451
AT ITER 102 NEW BEST:: SOT 302471 SOS 233273 HAS SOPS 232704 HAS SOUS 152957 HAS SOUPS 152621 WITH SCORE 152854.273
AT ITER 107 NEW BEST:: SOT 302474 SOS 233276 HAS SOPS 232707 HAS SOUS 152930 HAS SOUPS 152594 WITH SCORE 152827.276
AT ITER 110 NEW BEST:: SOT 301952 SOS 232697 HAS SOPS 232128 HAS SOUS 152498 HAS SOUPS 152162 WITH SCORE 152394.697
AT ITER 111 NEW BEST:: SOT 301067 SOS 231812 HAS SOPS 231243 HAS SOUS 151500 HAS SOUPS 151164 WITH SCORE 151395.812
AT ITER 113 NEW BEST:: SOT 300843 SOS 231588 HAS SOPS 231019 HAS SOUS 151496 HAS SOUPS 151160 WITH SCORE 151391.588
AT ITER 114 NEW BEST:: SOT 300843 SOS 231700 HAS SOPS 230945 HAS SOUS 151374 HAS SOUPS 150945 WITH SCORE 151176.7
AT ITER 118 NEW BEST:: SOT 300776 SOS 231763 HAS SOPS 231008 HAS SOUS 151358 HAS SOUPS 150929 WITH SCORE 151160.763
AT ITER 120 NEW BEST:: SOT 300687 SOS 230953 HAS SOPS 230198 HAS SOUS 151166 HAS SOUPS 150737 WITH SCORE 150967.953
AT ITER 123 NEW BEST:: SOT 300774 SOS 230998 HAS SOPS 230243 HAS SOUS 151100 HAS SOUPS 150671 WITH SCORE 150901.998
AT ITER 132 NEW BEST:: SOT 299992 SOS 229533 HAS SOPS 228778 HAS SOUS 150008 HAS SOUPS 149579 WITH SCORE 149808.533
AT ITER 133 NEW BEST:: SOT 300146 SOS 230081 HAS SOPS 229326 HAS SOUS 149820 HAS SOUPS 149391 WITH SCORE 149621.081
AT ITER 136 NEW BEST:: SOT 300785 SOS 230660 HAS SOPS 229905 HAS SOUS 149710 HAS SOUPS 149281 WITH SCORE 149511.66
AT ITER 140 NEW BEST:: SOT 298509 SOS 227338 HAS SOPS 226583 HAS SOUS 147254 HAS SOUPS 146825 WITH SCORE 147052.338
AT ITER 141 NEW BEST:: SOT 297619 SOS 226559 HAS SOPS 225804 HAS SOUS 146470 HAS SOUPS 146041 WITH SCORE 146267.559
AT ITER 143 NEW BEST:: SOT 297082 SOS 226353 HAS SOPS 225598 HAS SOUS 145801 HAS SOUPS 145372 WITH SCORE 145598.353
AT ITER 146 NEW BEST:: SOT 297003 SOS 226186 HAS SOPS 225431 HAS SOUS 145275 HAS SOUPS 144846 WITH SCORE 145072.186
AT ITER 147 NEW BEST:: SOT 295477 SOS 224401 HAS SOPS 223646 HAS SOUS 143252 HAS SOUPS 142823 WITH SCORE 143047.401
AT ITER 149 NEW BEST:: SOT 295477 SOS 224254 HAS SOPS 223449 HAS SOUS 143208 HAS SOUPS 142779 WITH SCORE 143003.254
AT ITER 150 NEW BEST:: SOT 295727 SOS 224491 HAS SOPS 223744 HAS SOUS 142887 HAS SOUPS 142487 WITH SCORE 142711.491
AT ITER 154 NEW BEST:: SOT 295726 SOS 223980 HAS SOPS 222893 HAS SOUS 142963 HAS SOUPS 142393 WITH SCORE 142616.98
AT ITER 156 NEW BEST:: SOT 295204 SOS 223458 HAS SOPS 222371 HAS SOUS 142417 HAS SOUPS 141847 WITH SCORE 142070.458
AT ITER 157 NEW BEST:: SOT 294970 SOS 222937 HAS SOPS 221850 HAS SOUS 142197 HAS SOUPS 141627 WITH SCORE 141849.937
AT ITER 158 NEW BEST:: SOT 294908 SOS 222695 HAS SOPS 221608 HAS SOUS 141919 HAS SOUPS 141349 WITH SCORE 141571.695
AT ITER 159 NEW BEST:: SOT 294023 SOS 221810 HAS SOPS 220723 HAS SOUS 140962 HAS SOUPS 140392 WITH SCORE 140613.81
AT ITER 163 NEW BEST:: SOT 294023 SOS 220946 HAS SOPS 219347 HAS SOUS 140462 HAS SOUPS 139636 WITH SCORE 139856.946
AT ITER 164 NEW BEST:: SOT 292751 SOS 220058 HAS SOPS 218459 HAS SOUS 139529 HAS SOUPS 138703 WITH SCORE 138923.058
AT ITER 165 NEW BEST:: SOT 292549 SOS 219935 HAS SOPS 218336 HAS SOUS 139309 HAS SOUPS 138483 WITH SCORE 138702.935
AT ITER 169 NEW BEST:: SOT 292567 SOS 219953 HAS SOPS 218354 HAS SOUS 138889 HAS SOUPS 138063 WITH SCORE 138282.953
AT ITER 171 NEW BEST:: SOT 292448 SOS 219662 HAS SOPS 218063 HAS SOUS 138142 HAS SOUPS 137316 WITH SCORE 137535.662
AT ITER 172 NEW BEST:: SOT 291298 SOS 218424 HAS SOPS 216825 HAS SOUS 137021 HAS SOUPS 136195 WITH SCORE 136413.424
AT ITER 176 NEW BEST:: SOT 291070 SOS 218196 HAS SOPS 216597 HAS SOUS 136643 HAS SOUPS 135817 WITH SCORE 136035.196
AT ITER 177 NEW BEST:: SOT 291043 SOS 218169 HAS SOPS 216570 HAS SOUS 136643 HAS SOUPS 135817 WITH SCORE 136035.169
AT ITER 179 NEW BEST:: SOT 288733 SOS 215843 HAS SOPS 213463 HAS SOUS 134800 HAS SOUPS 133193 WITH SCORE 133408.843
AT ITER 180 NEW BEST:: SOT 288775 SOS 215885 HAS SOPS 213505 HAS SOUS 134794 HAS SOUPS 133187 WITH SCORE 133402.885
AT ITER 182 NEW BEST:: SOT 288823 SOS 216005 HAS SOPS 213625 HAS SOUS 134770 HAS SOUPS 133163 WITH SCORE 133379.005
AT ITER 191 NEW BEST:: SOT 288670 SOS 215830 HAS SOPS 213450 HAS SOUS 134720 HAS SOUPS 133113 WITH SCORE 133328.83
AT ITER 195 NEW BEST:: SOT 288417 SOS 215523 HAS SOPS 213143 HAS SOUS 134563 HAS SOUPS 132956 WITH SCORE 133171.523
AT ITER 198 NEW BEST:: SOT 288364 SOS 215470 HAS SOPS 213090 HAS SOUS 134563 HAS SOUPS 132956 WITH SCORE 133171.47
AT ITER 201 NEW BEST:: SOT 288020 SOS 214706 HAS SOPS 212718 HAS SOUS 134141 HAS SOUPS 132730 WITH SCORE 132944.706
AT ITER 202 NEW BEST:: SOT 288015 SOS 214701 HAS SOPS 212713 HAS SOUS 134136 HAS SOUPS 132725 WITH SCORE 132939.701
AT ITER 203 NEW BEST:: SOT 287818 SOS 214488 HAS SOPS 212500 HAS SOUS 134124 HAS SOUPS 132713 WITH SCORE 132927.488
AT ITER 204 NEW BEST:: SOT 286663 SOS 213168 HAS SOPS 211180 HAS SOUS 132696 HAS SOUPS 131285 WITH SCORE 131498.168
AT ITER 206 NEW BEST:: SOT 286544 SOS 212577 HAS SOPS 210589 HAS SOUS 132164 HAS SOUPS 130753 WITH SCORE 130965.577
AT ITER 207 NEW BEST:: SOT 286376 SOS 211765 HAS SOPS 209777 HAS SOUS 131917 HAS SOUPS 130506 WITH SCORE 130717.765
AT ITER 210 NEW BEST:: SOT 286322 SOS 211711 HAS SOPS 209723 HAS SOUS 131872 HAS SOUPS 130461 WITH SCORE 130672.711
AT ITER 212 NEW BEST:: SOT 285988 SOS 211377 HAS SOPS 209389 HAS SOUS 131519 HAS SOUPS 130108 WITH SCORE 130319.377
AT ITER 213 NEW BEST:: SOT 284595 SOS 209984 HAS SOPS 207996 HAS SOUS 129785 HAS SOUPS 128374 WITH SCORE 128583.984
AT ITER 214 NEW BEST:: SOT 283780 SOS 208973 HAS SOPS 206985 HAS SOUS 128460 HAS SOUPS 127049 WITH SCORE 127257.973
AT ITER 216 NEW BEST:: SOT 283784 SOS 208859 HAS SOPS 206864 HAS SOUS 128457 HAS SOUPS 127046 WITH SCORE 127254.859
AT ITER 219 NEW BEST:: SOT 283784 SOS 209302 HAS SOPS 207307 HAS SOUS 128125 HAS SOUPS 126714 WITH SCORE 126923.302
AT ITER 220 NEW BEST:: SOT 283784 SOS 209186 HAS SOPS 207191 HAS SOUS 128018 HAS SOUPS 126607 WITH SCORE 126816.186
AT ITER 221 NEW BEST:: SOT 283784 SOS 209210 HAS SOPS 207215 HAS SOUS 128014 HAS SOUPS 126603 WITH SCORE 126812.21
AT ITER 231 NEW BEST:: SOT 283313 SOS 209171 HAS SOPS 207176 HAS SOUS 127701 HAS SOUPS 126290 WITH SCORE 126499.171
AT ITER 234 NEW BEST:: SOT 282408 SOS 208328 HAS SOPS 206333 HAS SOUS 126780 HAS SOUPS 125369 WITH SCORE 125577.328
AT ITER 235 NEW BEST:: SOT 282408 SOS 208328 HAS SOPS 206333 HAS SOUS 126776 HAS SOUPS 125365 WITH SCORE 125573.328
AT ITER 246 NEW BEST:: SOT 282610 SOS 208530 HAS SOPS 206535 HAS SOUS 126628 HAS SOUPS 125217 WITH SCORE 125425.53
AT ITER 248 NEW BEST:: SOT 282634 SOS 208475 HAS SOPS 206480 HAS SOUS 126605 HAS SOUPS 125194 WITH SCORE 125402.475
AT ITER 263 NEW BEST:: SOT 282660 SOS 208647 HAS SOPS 206652 HAS SOUS 126477 HAS SOUPS 125066 WITH SCORE 125274.647
AT ITER 264 NEW BEST:: SOT 282052 SOS 208111 HAS SOPS 206116 HAS SOUS 125929 HAS SOUPS 124518 WITH SCORE 124726.111
AT ITER 265 NEW BEST:: SOT 281354 SOS 207840 HAS SOPS 205845 HAS SOUS 125350 HAS SOUPS 123939 WITH SCORE 124146.84
AT ITER 267 NEW BEST:: SOT 280956 SOS 207476 HAS SOPS 205481 HAS SOUS 124883 HAS SOUPS 123472 WITH SCORE 123679.476
AT ITER 268 NEW BEST:: SOT 280956 SOS 206863 HAS SOPS 204868 HAS SOUS 124873 HAS SOUPS 123462 WITH SCORE 123668.863
AT ITER 272 NEW BEST:: SOT 280946 SOS 206853 HAS SOPS 204858 HAS SOUS 124848 HAS SOUPS 123437 WITH SCORE 123643.853
AT ITER 274 NEW BEST:: SOT 280555 SOS 206750 HAS SOPS 204755 HAS SOUS 124374 HAS SOUPS 122963 WITH SCORE 123169.75
AT ITER 275 NEW BEST:: SOT 280555 SOS 206494 HAS SOPS 204499 HAS SOUS 124170 HAS SOUPS 122759 WITH SCORE 122965.494
AT ITER 277 NEW BEST:: SOT 280442 SOS 206408 HAS SOPS 204413 HAS SOUS 123537 HAS SOUPS 122126 WITH SCORE 122332.408
AT ITER 281 NEW BEST:: SOT 280509 SOS 206475 HAS SOPS 204480 HAS SOUS 123468 HAS SOUPS 122057 WITH SCORE 122263.475
AT ITER 283 NEW BEST:: SOT 280412 SOS 206300 HAS SOPS 204305 HAS SOUS 123277 HAS SOUPS 121866 WITH SCORE 122072.3
AT ITER 284 NEW BEST:: SOT 280683 SOS 206144 HAS SOPS 204149 HAS SOUS 123225 HAS SOUPS 121814 WITH SCORE 122020.144
AT ITER 288 NEW BEST:: SOT 280365 SOS 205688 HAS SOPS 203693 HAS SOUS 122653 HAS SOUPS 121242 WITH SCORE 121447.688
AT ITER 289 NEW BEST:: SOT 279371 SOS 204171 HAS SOPS 202176 HAS SOUS 121510 HAS SOUPS 120099 WITH SCORE 120303.171
AT ITER 293 NEW BEST:: SOT 279393 SOS 204123 HAS SOPS 202128 HAS SOUS 121492 HAS SOUPS 120081 WITH SCORE 120285.123
AT ITER 297 NEW BEST:: SOT 279384 SOS 202269 HAS SOPS 199838 HAS SOUS 120533 HAS SOUPS 119122 WITH SCORE 119324.269
AT ITER 302 NEW BEST:: SOT 279110 SOS 201915 HAS SOPS 199484 HAS SOUS 120393 HAS SOUPS 118982 WITH SCORE 119183.915
AT ITER 307 NEW BEST:: SOT 279006 SOS 201759 HAS SOPS 199328 HAS SOUS 120185 HAS SOUPS 118774 WITH SCORE 118975.759
AT ITER 308 NEW BEST:: SOT 278958 SOS 201711 HAS SOPS 199280 HAS SOUS 119935 HAS SOUPS 118524 WITH SCORE 118725.711
AT ITER 309 NEW BEST:: SOT 278958 SOS 201699 HAS SOPS 199268 HAS SOUS 119931 HAS SOUPS 118520 WITH SCORE 118721.699
AT ITER 319 NEW BEST:: SOT 278927 SOS 201707 HAS SOPS 199277 HAS SOUS 119901 HAS SOUPS 118490 WITH SCORE 118691.707
AT ITER 323 NEW BEST:: SOT 278927 SOS 201749 HAS SOPS 199319 HAS SOUS 119831 HAS SOUPS 118420 WITH SCORE 118621.749
AT ITER 326 NEW BEST:: SOT 278688 SOS 201289 HAS SOPS 198859 HAS SOUS 118758 HAS SOUPS 117347 WITH SCORE 117548.289
AT ITER 333 NEW BEST:: SOT 278622 SOS 201223 HAS SOPS 198793 HAS SOUS 118692 HAS SOUPS 117281 WITH SCORE 117482.223
AT ITER 347 NEW BEST:: SOT 278665 SOS 201266 HAS SOPS 198836 HAS SOUS 118604 HAS SOUPS 117193 WITH SCORE 117394.266
AT ITER 349 NEW BEST:: SOT 278692 SOS 200600 HAS SOPS 197816 HAS SOUS 117893 HAS SOUPS 116482 WITH SCORE 116682.6
AT ITER 353 NEW BEST:: SOT 278692 SOS 200522 HAS SOPS 197616 HAS SOUS 117752 HAS SOUPS 116280 WITH SCORE 116480.522
AT ITER 355 NEW BEST:: SOT 278692 SOS 200522 HAS SOPS 197616 HAS SOUS 117712 HAS SOUPS 116240 WITH SCORE 116440.522
AT ITER 358 NEW BEST:: SOT 278672 SOS 200520 HAS SOPS 197626 HAS SOUS 117698 HAS SOUPS 116232 WITH SCORE 116432.52
AT ITER 359 NEW BEST:: SOT 277401 SOS 199991 HAS SOPS 197472 HAS SOUS 117315 HAS SOUPS 115855 WITH SCORE 116054.991
AT ITER 367 NEW BEST:: SOT 277294 SOS 199735 HAS SOPS 197216 HAS SOUS 116814 HAS SOUPS 115354 WITH SCORE 115553.735
AT ITER 371 NEW BEST:: SOT 277038 SOS 199530 HAS SOPS 197011 HAS SOUS 116609 HAS SOUPS 115149 WITH SCORE 115348.53
AT ITER 372 NEW BEST:: SOT 276433 SOS 199275 HAS SOPS 196756 HAS SOUS 115718 HAS SOUPS 114258 WITH SCORE 114457.275
AT ITER 373 NEW BEST:: SOT 276343 SOS 199185 HAS SOPS 196666 HAS SOUS 115628 HAS SOUPS 114168 WITH SCORE 114367.185
AT ITER 379 NEW BEST:: SOT 276199 SOS 199041 HAS SOPS 196522 HAS SOUS 115512 HAS SOUPS 114052 WITH SCORE 114251.041
AT ITER 381 NEW BEST:: SOT 276199 SOS 199023 HAS SOPS 196504 HAS SOUS 115506 HAS SOUPS 114046 WITH SCORE 114245.023
AT ITER 383 NEW BEST:: SOT 274771 SOS 197096 HAS SOPS 194577 HAS SOUS 113818 HAS SOUPS 112358 WITH SCORE 112555.096
AT ITER 393 NEW BEST:: SOT 274846 SOS 196954 HAS SOPS 194435 HAS SOUS 113755 HAS SOUPS 112295 WITH SCORE 112491.954
AT ITER 395 NEW BEST:: SOT 274846 SOS 197307 HAS SOPS 194788 HAS SOUS 113723 HAS SOUPS 112263 WITH SCORE 112460.307
AT ITER 396 NEW BEST:: SOT 274842 SOS 197303 HAS SOPS 194784 HAS SOUS 113719 HAS SOUPS 112259 WITH SCORE 112456.303
AT ITER 400 NEW BEST:: SOT 273768 SOS 196265 HAS SOPS 193746 HAS SOUS 112744 HAS SOUPS 111284 WITH SCORE 111480.265
AT ITER 401 NEW BEST:: SOT 273464 SOS 196502 HAS SOPS 193983 HAS SOUS 112494 HAS SOUPS 111034 WITH SCORE 111230.502
AT ITER 405 NEW BEST:: SOT 273233 SOS 196271 HAS SOPS 193752 HAS SOUS 112339 HAS SOUPS 110879 WITH SCORE 111075.271
AT ITER 407 NEW BEST:: SOT 273236 SOS 196260 HAS SOPS 193741 HAS SOUS 112303 HAS SOUPS 110843 WITH SCORE 111039.26
AT ITER 408 NEW BEST:: SOT 272729 SOS 195767 HAS SOPS 193248 HAS SOUS 111846 HAS SOUPS 110386 WITH SCORE 110581.767
AT ITER 409 NEW BEST:: SOT 272607 SOS 195841 HAS SOPS 193126 HAS SOUS 111774 HAS SOUPS 110216 WITH SCORE 110411.841
AT ITER 414 NEW BEST:: SOT 270637 SOS 193912 HAS SOPS 191197 HAS SOUS 109837 HAS SOUPS 108279 WITH SCORE 108472.912
AT ITER 417 NEW BEST:: SOT 270637 SOS 193867 HAS SOPS 191152 HAS SOUS 109837 HAS SOUPS 108279 WITH SCORE 108472.867
AT ITER 419 NEW BEST:: SOT 270634 SOS 193852 HAS SOPS 191137 HAS SOUS 109710 HAS SOUPS 108152 WITH SCORE 108345.852
AT ITER 420 NEW BEST:: SOT 270634 SOS 193441 HAS SOPS 190726 HAS SOUS 109690 HAS SOUPS 108132 WITH SCORE 108325.441
AT ITER 428 NEW BEST:: SOT 270551 SOS 193358 HAS SOPS 190643 HAS SOUS 109433 HAS SOUPS 107875 WITH SCORE 108068.358
AT ITER 429 NEW BEST:: SOT 270551 SOS 193422 HAS SOPS 190707 HAS SOUS 109419 HAS SOUPS 107861 WITH SCORE 108054.422
AT ITER 445 NEW BEST:: SOT 270492 SOS 193353 HAS SOPS 190638 HAS SOUS 109350 HAS SOUPS 107792 WITH SCORE 107985.353
AT ITER 447 NEW BEST:: SOT 270426 SOS 192933 HAS SOPS 190218 HAS SOUS 109151 HAS SOUPS 107593 WITH SCORE 107785.933
AT ITER 457 NEW BEST:: SOT 270426 SOS 193099 HAS SOPS 190384 HAS SOUS 108842 HAS SOUPS 107284 WITH SCORE 107477.099
AT ITER 460 NEW BEST:: SOT 270418 SOS 193091 HAS SOPS 190376 HAS SOUS 108826 HAS SOUPS 107268 WITH SCORE 107461.091
AT ITER 461 NEW BEST:: SOT 270343 SOS 192779 HAS SOPS 190301 HAS SOUS 108688 HAS SOUPS 107255 WITH SCORE 107447.779
AT ITER 462 NEW BEST:: SOT 270031 SOS 192526 HAS SOPS 190048 HAS SOUS 108233 HAS SOUPS 106800 WITH SCORE 106992.526
AT ITER 469 NEW BEST:: SOT 269956 SOS 192461 HAS SOPS 189983 HAS SOUS 108183 HAS SOUPS 106750 WITH SCORE 106942.461
AT ITER 473 NEW BEST:: SOT 269948 SOS 192055 HAS SOPS 189577 HAS SOUS 108042 HAS SOUPS 106609 WITH SCORE 106801.055
AT ITER 476 NEW BEST:: SOT 269948 SOS 192015 HAS SOPS 189570 HAS SOUS 108024 HAS SOUPS 106602 WITH SCORE 106794.015
AT ITER 479 NEW BEST:: SOT 269859 SOS 191926 HAS SOPS 189481 HAS SOUS 107691 HAS SOUPS 106269 WITH SCORE 106460.926
AT ITER 482 NEW BEST:: SOT 269859 SOS 191906 HAS SOPS 189461 HAS SOUS 107601 HAS SOUPS 106179 WITH SCORE 106370.906
AT ITER 488 NEW BEST:: SOT 269756 SOS 191738 HAS SOPS 189293 HAS SOUS 107053 HAS SOUPS 105631 WITH SCORE 105822.738
AT ITER 495 NEW BEST:: SOT 269751 SOS 191733 HAS SOPS 189288 HAS SOUS 107046 HAS SOUPS 105624 WITH SCORE 105815.733
AT ITER 502 NEW BEST:: SOT 269751 SOS 190748 HAS SOPS 188303 HAS SOUS 107012 HAS SOUPS 105590 WITH SCORE 105780.748
AT ITER 503 NEW BEST:: SOT 268847 SOS 189815 HAS SOPS 187370 HAS SOUS 106502 HAS SOUPS 105080 WITH SCORE 105269.815
AT ITER 506 NEW BEST:: SOT 268861 SOS 189829 HAS SOPS 187384 HAS SOUS 106368 HAS SOUPS 104946 WITH SCORE 105135.829
AT ITER 510 NEW BEST:: SOT 268826 SOS 189797 HAS SOPS 187352 HAS SOUS 106365 HAS SOUPS 104943 WITH SCORE 105132.797
AT ITER 512 NEW BEST:: SOT 268751 SOS 189599 HAS SOPS 187154 HAS SOUS 106196 HAS SOUPS 104774 WITH SCORE 104963.599
AT ITER 519 NEW BEST:: SOT 268751 SOS 189602 HAS SOPS 187025 HAS SOUS 106252 HAS SOUPS 104764 WITH SCORE 104953.602
AT ITER 526 NEW BEST:: SOT 268597 SOS 190075 HAS SOPS 187558 HAS SOUS 105967 HAS SOUPS 104509 WITH SCORE 104699.075
AT ITER 528 NEW BEST:: SOT 269038 SOS 190719 HAS SOPS 187999 HAS SOUS 106072 HAS SOUPS 104415 WITH SCORE 104605.719
AT ITER 530 NEW BEST:: SOT 268214 SOS 190298 HAS SOPS 187578 HAS SOUS 105485 HAS SOUPS 103828 WITH SCORE 104018.298
AT ITER 531 NEW BEST:: SOT 268102 SOS 190186 HAS SOPS 187466 HAS SOUS 105373 HAS SOUPS 103716 WITH SCORE 103906.186
AT ITER 535 NEW BEST:: SOT 267986 SOS 190136 HAS SOPS 187416 HAS SOUS 105327 HAS SOUPS 103670 WITH SCORE 103860.136
AT ITER 545 NEW BEST:: SOT 267958 SOS 190108 HAS SOPS 187388 HAS SOUS 105299 HAS SOUPS 103642 WITH SCORE 103832.108
AT ITER 552 NEW BEST:: SOT 267455 SOS 189554 HAS SOPS 186834 HAS SOUS 105043 HAS SOUPS 103386 WITH SCORE 103575.554
AT ITER 556 NEW BEST:: SOT 267447 SOS 189542 HAS SOPS 186822 HAS SOUS 105027 HAS SOUPS 103370 WITH SCORE 103559.542
AT ITER 560 NEW BEST:: SOT 267447 SOS 189562 HAS SOPS 186842 HAS SOUS 104981 HAS SOUPS 103324 WITH SCORE 103513.562
AT ITER 562 NEW BEST:: SOT 266740 SOS 188699 HAS SOPS 185979 HAS SOUS 104300 HAS SOUPS 102643 WITH SCORE 102831.699
AT ITER 568 NEW BEST:: SOT 266740 SOS 188679 HAS SOPS 185959 HAS SOUS 104290 HAS SOUPS 102633 WITH SCORE 102821.679
AT ITER 572 NEW BEST:: SOT 266608 SOS 188441 HAS SOPS 185685 HAS SOUS 104053 HAS SOUPS 102367 WITH SCORE 102555.441
AT ITER 574 NEW BEST:: SOT 266590 SOS 188423 HAS SOPS 185667 HAS SOUS 104017 HAS SOUPS 102331 WITH SCORE 102519.423
AT ITER 586 NEW BEST:: SOT 266571 SOS 188448 HAS SOPS 185692 HAS SOUS 103948 HAS SOUPS 102262 WITH SCORE 102450.448
AT ITER 592 NEW BEST:: SOT 266529 SOS 188400 HAS SOPS 185644 HAS SOUS 103900 HAS SOUPS 102214 WITH SCORE 102402.4
AT ITER 593 NEW BEST:: SOT 266469 SOS 188325 HAS SOPS 185569 HAS SOUS 103840 HAS SOUPS 102154 WITH SCORE 102342.325
AT ITER 600 NEW BEST:: SOT 266248 SOS 188104 HAS SOPS 185348 HAS SOUS 103736 HAS SOUPS 102050 WITH SCORE 102238.104
AT ITER 601 NEW BEST:: SOT 266163 SOS 188039 HAS SOPS 185283 HAS SOUS 103691 HAS SOUPS 102005 WITH SCORE 102193.039
AT ITER 602 NEW BEST:: SOT 266236 SOS 187638 HAS SOPS 184882 HAS SOUS 103543 HAS SOUPS 101857 WITH SCORE 102044.638
AT ITER 606 NEW BEST:: SOT 266362 SOS 187617 HAS SOPS 184861 HAS SOUS 103417 HAS SOUPS 101731 WITH SCORE 101918.617
AT ITER 618 NEW BEST:: SOT 266341 SOS 187596 HAS SOPS 184840 HAS SOUS 103179 HAS SOUPS 101493 WITH SCORE 101680.596
AT ITER 619 NEW BEST:: SOT 266268 SOS 186959 HAS SOPS 184123 HAS SOUS 103199 HAS SOUPS 101433 WITH SCORE 101619.959
AT ITER 621 NEW BEST:: SOT 265771 SOS 186348 HAS SOPS 183512 HAS SOUS 103188 HAS SOUPS 101422 WITH SCORE 101608.348
AT ITER 625 NEW BEST:: SOT 265291 SOS 185688 HAS SOPS 182852 HAS SOUS 103022 HAS SOUPS 101256 WITH SCORE 101441.688
AT ITER 641 NEW BEST:: SOT 265291 SOS 185685 HAS SOPS 182846 HAS SOUS 103025 HAS SOUPS 101256 WITH SCORE 101441.685
AT ITER 644 NEW BEST:: SOT 265132 SOS 183958 HAS SOPS 181119 HAS SOUS 102472 HAS SOUPS 100703 WITH SCORE 100886.958
AT ITER 650 NEW BEST:: SOT 265222 SOS 183751 HAS SOPS 181199 HAS SOUS 102331 HAS SOUPS 100702 WITH SCORE 100885.751
AT ITER 652 NEW BEST:: SOT 265188 SOS 183673 HAS SOPS 181121 HAS SOUS 102256 HAS SOUPS 100627 WITH SCORE 100810.673
AT ITER 654 NEW BEST:: SOT 265129 SOS 183614 HAS SOPS 181062 HAS SOUS 102182 HAS SOUPS 100553 WITH SCORE 100736.614
AT ITER 655 NEW BEST:: SOT 264915 SOS 183448 HAS SOPS 180896 HAS SOUS 102006 HAS SOUPS 100377 WITH SCORE 100560.448
AT ITER 662 NEW BEST:: SOT 264188 SOS 182782 HAS SOPS 180230 HAS SOUS 101560 HAS SOUPS 99931 WITH SCORE 100113.782
AT ITER 671 NEW BEST:: SOT 264184 SOS 182774 HAS SOPS 180222 HAS SOUS 101550 HAS SOUPS 99921 WITH SCORE 100103.774
AT ITER 672 NEW BEST:: SOT 264193 SOS 182850 HAS SOPS 180298 HAS SOUS 101524 HAS SOUPS 99895 WITH SCORE 100077.85
AT ITER 674 NEW BEST:: SOT 264193 SOS 182781 HAS SOPS 180155 HAS SOUS 101545 HAS SOUPS 99879 WITH SCORE 100061.781
AT ITER 679 NEW BEST:: SOT 263948 SOS 182815 HAS SOPS 180189 HAS SOUS 101394 HAS SOUPS 99728 WITH SCORE 99910.815
AT ITER 681 NEW BEST:: SOT 263764 SOS 182787 HAS SOPS 180161 HAS SOUS 101273 HAS SOUPS 99607 WITH SCORE 99789.787
AT ITER 682 NEW BEST:: SOT 263748 SOS 182771 HAS SOPS 180145 HAS SOUS 101264 HAS SOUPS 99598 WITH SCORE 99780.771
AT ITER 683 NEW BEST:: SOT 263722 SOS 182701 HAS SOPS 180093 HAS SOUS 101234 HAS SOUPS 99586 WITH SCORE 99768.701
AT ITER 686 NEW BEST:: SOT 263694 SOS 182673 HAS SOPS 180065 HAS SOUS 101149 HAS SOUPS 99501 WITH SCORE 99683.673
AT ITER 694 NEW BEST:: SOT 263672 SOS 182637 HAS SOPS 180029 HAS SOUS 101133 HAS SOUPS 99485 WITH SCORE 99667.637
AT ITER 707 NEW BEST:: SOT 263672 SOS 182635 HAS SOPS 180027 HAS SOUS 101133 HAS SOUPS 99485 WITH SCORE 99667.635
AT ITER 709 NEW BEST:: SOT 263669 SOS 182632 HAS SOPS 180024 HAS SOUS 101130 HAS SOUPS 99482 WITH SCORE 99664.632
AT ITER 721 NEW BEST:: SOT 263748 SOS 182805 HAS SOPS 180197 HAS SOUS 101115 HAS SOUPS 99467 WITH SCORE 99649.805
AT ITER 725 NEW BEST:: SOT 263748 SOS 181981 HAS SOPS 179373 HAS SOUS 101052 HAS SOUPS 99404 WITH SCORE 99585.981
AT ITER 728 NEW BEST:: SOT 263748 SOS 182074 HAS SOPS 179466 HAS SOUS 101024 HAS SOUPS 99376 WITH SCORE 99558.074
AT ITER 730 NEW BEST:: SOT 263276 SOS 182112 HAS SOPS 179579 HAS SOUS 100888 HAS SOUPS 99278 WITH SCORE 99460.112
AT ITER 734 NEW BEST:: SOT 263276 SOS 182332 HAS SOPS 179799 HAS SOUS 100813 HAS SOUPS 99203 WITH SCORE 99385.332
AT ITER 737 NEW BEST:: SOT 263306 SOS 182360 HAS SOPS 179827 HAS SOUS 100740 HAS SOUPS 99130 WITH SCORE 99312.36
AT ITER 738 NEW BEST:: SOT 263250 SOS 182296 HAS SOPS 179763 HAS SOUS 100648 HAS SOUPS 99038 WITH SCORE 99220.296
AT ITER 743 NEW BEST:: SOT 263279 SOS 182205 HAS SOPS 179672 HAS SOUS 100495 HAS SOUPS 98885 WITH SCORE 99067.205
AT ITER 749 NEW BEST:: SOT 263017 SOS 181643 HAS SOPS 179110 HAS SOUS 100428 HAS SOUPS 98818 WITH SCORE 98999.643
AT ITER 757 NEW BEST:: SOT 262998 SOS 181682 HAS SOPS 179251 HAS SOUS 100357 HAS SOUPS 98798 WITH SCORE 98979.682
AT ITER 762 NEW BEST:: SOT 262998 SOS 181682 HAS SOPS 179251 HAS SOUS 100197 HAS SOUPS 98638 WITH SCORE 98819.682
AT ITER 765 NEW BEST:: SOT 262881 SOS 181471 HAS SOPS 179040 HAS SOUS 100071 HAS SOUPS 98512 WITH SCORE 98693.471
AT ITER 777 NEW BEST:: SOT 262712 SOS 181302 HAS SOPS 178871 HAS SOUS 99872 HAS SOUPS 98313 WITH SCORE 98494.302
AT ITER 778 NEW BEST:: SOT 263831 SOS 182489 HAS SOPS 180069 HAS SOUS 99700 HAS SOUPS 98147 WITH SCORE 98329.489
AT ITER 780 NEW BEST:: SOT 263870 SOS 182458 HAS SOPS 180038 HAS SOUS 99622 HAS SOUPS 98069 WITH SCORE 98251.458
AT ITER 784 NEW BEST:: SOT 263590 SOS 182102 HAS SOPS 179682 HAS SOUS 99358 HAS SOUPS 97805 WITH SCORE 97987.102
AT ITER 786 NEW BEST:: SOT 263470 SOS 181982 HAS SOPS 179562 HAS SOUS 99198 HAS SOUPS 97645 WITH SCORE 97826.982
AT ITER 788 NEW BEST:: SOT 263323 SOS 181805 HAS SOPS 179385 HAS SOUS 98840 HAS SOUPS 97287 WITH SCORE 97468.805
AT ITER 790 NEW BEST:: SOT 263278 SOS 180860 HAS SOPS 178440 HAS SOUS 98595 HAS SOUPS 97042 WITH SCORE 97222.86
AT ITER 802 NEW BEST:: SOT 262930 SOS 180999 HAS SOPS 178579 HAS SOUS 98465 HAS SOUPS 96912 WITH SCORE 97092.999
AT ITER 803 NEW BEST:: SOT 262930 SOS 180999 HAS SOPS 178572 HAS SOUS 98437 HAS SOUPS 96877 WITH SCORE 97057.999
AT ITER 805 NEW BEST:: SOT 262969 SOS 181038 HAS SOPS 178611 HAS SOUS 98354 HAS SOUPS 96794 WITH SCORE 96975.038
AT ITER 808 NEW BEST:: SOT 262947 SOS 181016 HAS SOPS 178589 HAS SOUS 98332 HAS SOUPS 96772 WITH SCORE 96953.016
AT ITER 817 NEW BEST:: SOT 262801 SOS 180432 HAS SOPS 178005 HAS SOUS 97748 HAS SOUPS 96188 WITH SCORE 96368.432
AT ITER 818 NEW BEST:: SOT 262680 SOS 180275 HAS SOPS 177848 HAS SOUS 97724 HAS SOUPS 96164 WITH SCORE 96344.275
AT ITER 821 NEW BEST:: SOT 262413 SOS 180110 HAS SOPS 177683 HAS SOUS 97666 HAS SOUPS 96106 WITH SCORE 96286.11
AT ITER 834 NEW BEST:: SOT 262399 SOS 180089 HAS SOPS 177662 HAS SOUS 97638 HAS SOUPS 96078 WITH SCORE 96258.089
AT ITER 837 NEW BEST:: SOT 262329 SOS 180045 HAS SOPS 177618 HAS SOUS 97568 HAS SOUPS 96008 WITH SCORE 96188.045
AT ITER 839 NEW BEST:: SOT 261903 SOS 179619 HAS SOPS 177192 HAS SOUS 96687 HAS SOUPS 95127 WITH SCORE 95306.619
AT ITER 840 NEW BEST:: SOT 261903 SOS 179619 HAS SOPS 177192 HAS SOUS 96681 HAS SOUPS 95121 WITH SCORE 95300.619
AT ITER 841 NEW BEST:: SOT 261905 SOS 179549 HAS SOPS 177118 HAS SOUS 96615 HAS SOUPS 95051 WITH SCORE 95230.549
AT ITER 846 NEW BEST:: SOT 261857 SOS 179487 HAS SOPS 177056 HAS SOUS 96557 HAS SOUPS 94993 WITH SCORE 95172.487
AT ITER 850 NEW BEST:: SOT 261896 SOS 179526 HAS SOPS 177095 HAS SOUS 96542 HAS SOUPS 94978 WITH SCORE 95157.526
AT ITER 860 NEW BEST:: SOT 261896 SOS 179501 HAS SOPS 177070 HAS SOUS 96372 HAS SOUPS 94808 WITH SCORE 94987.501
AT ITER 868 NEW BEST:: SOT 261883 SOS 179488 HAS SOPS 177057 HAS SOUS 96359 HAS SOUPS 94795 WITH SCORE 94974.488
AT ITER 869 NEW BEST:: SOT 261893 SOS 179755 HAS SOPS 177324 HAS SOUS 96330 HAS SOUPS 94766 WITH SCORE 94945.755
AT ITER 874 NEW BEST:: SOT 261893 SOS 179703 HAS SOPS 177272 HAS SOUS 96330 HAS SOUPS 94766 WITH SCORE 94945.703
AT ITER 885 NEW BEST:: SOT 261103 SOS 178805 HAS SOPS 176374 HAS SOUS 96274 HAS SOUPS 94710 WITH SCORE 94888.805
AT ITER 887 NEW BEST:: SOT 259890 SOS 177692 HAS SOPS 175261 HAS SOUS 95026 HAS SOUPS 93462 WITH SCORE 93639.692
AT ITER 901 NEW BEST:: SOT 259890 SOS 177716 HAS SOPS 175285 HAS SOUS 94990 HAS SOUPS 93426 WITH SCORE 93603.716
AT ITER 907 NEW BEST:: SOT 259403 SOS 177154 HAS SOPS 174028 HAS SOUS 94328 HAS SOUPS 92415 WITH SCORE 92592.154
AT ITER 914 NEW BEST:: SOT 259339 SOS 177090 HAS SOPS 173964 HAS SOUS 94264 HAS SOUPS 92351 WITH SCORE 92528.09
AT ITER 919 NEW BEST:: SOT 259364 SOS 177129 HAS SOPS 174003 HAS SOUS 94013 HAS SOUPS 92100 WITH SCORE 92277.129
AT ITER 920 NEW BEST:: SOT 259237 SOS 176756 HAS SOPS 173630 HAS SOUS 93763 HAS SOUPS 91850 WITH SCORE 92026.756
AT ITER 928 NEW BEST:: SOT 259243 SOS 176650 HAS SOPS 173524 HAS SOUS 93743 HAS SOUPS 91830 WITH SCORE 92006.65
AT ITER 950 NEW BEST:: SOT 259128 SOS 176506 HAS SOPS 173380 HAS SOUS 93559 HAS SOUPS 91646 WITH SCORE 91822.506
AT ITER 961 NEW BEST:: SOT 259303 SOS 175465 HAS SOPS 172339 HAS SOUS 93430 HAS SOUPS 91517 WITH SCORE 91692.465
AT ITER 963 NEW BEST:: SOT 259306 SOS 175468 HAS SOPS 172342 HAS SOUS 93426 HAS SOUPS 91513 WITH SCORE 91688.468
AT ITER 965 NEW BEST:: SOT 258448 SOS 175156 HAS SOPS 172081 HAS SOUS 93180 HAS SOUPS 91270 WITH SCORE 91445.156
AT ITER 966 NEW BEST:: SOT 258376 SOS 175112 HAS SOPS 172049 HAS SOUS 93084 HAS SOUPS 91186 WITH SCORE 91361.112
AT ITER 967 NEW BEST:: SOT 258332 SOS 175068 HAS SOPS 172005 HAS SOUS 92985 HAS SOUPS 91087 WITH SCORE 91262.068
AT ITER 994 NEW BEST:: SOT 258168 SOS 174814 HAS SOPS 171751 HAS SOUS 92809 HAS SOUPS 90911 WITH SCORE 91085.814
AT ITER 1000 NEW BEST:: SOT 258168 SOS 174744 HAS SOPS 171681 HAS SOUS 92711 HAS SOUPS 90813 WITH SCORE 90987.744
AT ITER 1002 NEW BEST:: SOT 258064 SOS 174706 HAS SOPS 171643 HAS SOUS 92543 HAS SOUPS 90645 WITH SCORE 90819.706
AT ITER 1003 NEW BEST:: SOT 258041 SOS 174684 HAS SOPS 171621 HAS SOUS 92534 HAS SOUPS 90636 WITH SCORE 90810.684
AT ITER 1017 NEW BEST:: SOT 258033 SOS 174676 HAS SOPS 171613 HAS SOUS 92511 HAS SOUPS 90613 WITH SCORE 90787.676
AT ITER 1021 NEW BEST:: SOT 258044 SOS 174687 HAS SOPS 171624 HAS SOUS 92425 HAS SOUPS 90527 WITH SCORE 90701.687
AT ITER 1024 NEW BEST:: SOT 257579 SOS 174222 HAS SOPS 171159 HAS SOUS 92014 HAS SOUPS 90116 WITH SCORE 90290.222
AT ITER 1027 NEW BEST:: SOT 257501 SOS 174180 HAS SOPS 171117 HAS SOUS 91972 HAS SOUPS 90074 WITH SCORE 90248.18
AT ITER 1028 NEW BEST:: SOT 257459 SOS 174138 HAS SOPS 171075 HAS SOUS 91936 HAS SOUPS 90038 WITH SCORE 90212.138
AT ITER 1031 NEW BEST:: SOT 257356 SOS 174035 HAS SOPS 170972 HAS SOUS 91833 HAS SOUPS 89935 WITH SCORE 90109.035
AT ITER 1041 NEW BEST:: SOT 257484 SOS 174769 HAS SOPS 171706 HAS SOUS 91766 HAS SOUPS 89868 WITH SCORE 90042.769
AT ITER 1045 NEW BEST:: SOT 257334 SOS 174633 HAS SOPS 171570 HAS SOUS 91623 HAS SOUPS 89725 WITH SCORE 89899.633
AT ITER 1046 NEW BEST:: SOT 257394 SOS 174817 HAS SOPS 171824 HAS SOUS 91549 HAS SOUPS 89684 WITH SCORE 89858.817
AT ITER 1051 NEW BEST:: SOT 257550 SOS 174877 HAS SOPS 171884 HAS SOUS 91282 HAS SOUPS 89417 WITH SCORE 89591.877
AT ITER 1068 NEW BEST:: SOT 257540 SOS 174867 HAS SOPS 171874 HAS SOUS 91196 HAS SOUPS 89331 WITH SCORE 89505.867
AT ITER 1069 NEW BEST:: SOT 257540 SOS 174895 HAS SOPS 171902 HAS SOUS 91051 HAS SOUPS 89186 WITH SCORE 89360.895
AT ITER 1093 NEW BEST:: SOT 257348 SOS 174511 HAS SOPS 171518 HAS SOUS 90811 HAS SOUPS 88946 WITH SCORE 89120.511
AT ITER 1102 NEW BEST:: SOT 257511 SOS 174692 HAS SOPS 171699 HAS SOUS 90710 HAS SOUPS 88845 WITH SCORE 89019.692
AT ITER 1104 NEW BEST:: SOT 257546 SOS 174635 HAS SOPS 171613 HAS SOUS 90693 HAS SOUPS 88828 WITH SCORE 89002.635
AT ITER 1111 NEW BEST:: SOT 257361 SOS 174684 HAS SOPS 171662 HAS SOUS 90211 HAS SOUPS 88346 WITH SCORE 88520.684
AT ITER 1113 NEW BEST:: SOT 257361 SOS 174776 HAS SOPS 171754 HAS SOUS 90207 HAS SOUPS 88342 WITH SCORE 88516.776
AT ITER 1115 NEW BEST:: SOT 257319 SOS 174177 HAS SOPS 171155 HAS SOUS 89955 HAS SOUPS 88090 WITH SCORE 88264.177
AT ITER 1122 NEW BEST:: SOT 257127 SOS 174034 HAS SOPS 171012 HAS SOUS 89497 HAS SOUPS 87632 WITH SCORE 87806.034
AT ITER 1125 NEW BEST:: SOT 256735 SOS 172938 HAS SOPS 169916 HAS SOUS 89427 HAS SOUPS 87562 WITH SCORE 87734.938
AT ITER 1127 NEW BEST:: SOT 256151 SOS 171547 HAS SOPS 168525 HAS SOUS 89228 HAS SOUPS 87363 WITH SCORE 87534.547
AT ITER 1128 NEW BEST:: SOT 256155 SOS 171561 HAS SOPS 168537 HAS SOUS 89228 HAS SOUPS 87361 WITH SCORE 87532.561
AT ITER 1130 NEW BEST:: SOT 256015 SOS 171455 HAS SOPS 168431 HAS SOUS 89083 HAS SOUPS 87216 WITH SCORE 87387.455
AT ITER 1131 NEW BEST:: SOT 255978 SOS 171430 HAS SOPS 168406 HAS SOUS 89048 HAS SOUPS 87181 WITH SCORE 87352.43
AT ITER 1144 NEW BEST:: SOT 255942 SOS 171127 HAS SOPS 168141 HAS SOUS 89038 HAS SOUPS 87171 WITH SCORE 87342.127
AT ITER 1150 NEW BEST:: SOT 255961 SOS 171034 HAS SOPS 168035 HAS SOUS 88974 HAS SOUPS 87107 WITH SCORE 87278.034
AT ITER 1163 NEW BEST:: SOT 255933 SOS 170877 HAS SOPS 167835 HAS SOUS 88880 HAS SOUPS 87013 WITH SCORE 87183.877
AT ITER 1170 NEW BEST:: SOT 255855 SOS 170624 HAS SOPS 167582 HAS SOUS 88745 HAS SOUPS 86878 WITH SCORE 87048.624
AT ITER 1171 NEW BEST:: SOT 255785 SOS 170558 HAS SOPS 167512 HAS SOUS 88666 HAS SOUPS 86795 WITH SCORE 86965.558
AT ITER 1173 NEW BEST:: SOT 255737 SOS 170362 HAS SOPS 167316 HAS SOUS 88618 HAS SOUPS 86747 WITH SCORE 86917.362
AT ITER 1181 NEW BEST:: SOT 255722 SOS 170350 HAS SOPS 167304 HAS SOUS 88603 HAS SOUPS 86732 WITH SCORE 86902.35
AT ITER 1185 NEW BEST:: SOT 255552 SOS 169976 HAS SOPS 166930 HAS SOUS 88450 HAS SOUPS 86579 WITH SCORE 86748.976
AT ITER 1194 NEW BEST:: SOT 255440 SOS 169684 HAS SOPS 166638 HAS SOUS 88412 HAS SOUPS 86541 WITH SCORE 86710.684
AT ITER 1204 NEW BEST:: SOT 255440 SOS 169700 HAS SOPS 166654 HAS SOUS 88404 HAS SOUPS 86533 WITH SCORE 86702.7
AT ITER 1205 NEW BEST:: SOT 255444 SOS 168988 HAS SOPS 165942 HAS SOUS 88321 HAS SOUPS 86450 WITH SCORE 86618.988
AT ITER 1213 NEW BEST:: SOT 255116 SOS 168660 HAS SOPS 165614 HAS SOUS 87473 HAS SOUPS 85602 WITH SCORE 85770.66
AT ITER 1215 NEW BEST:: SOT 255011 SOS 168415 HAS SOPS 165439 HAS SOUS 87368 HAS SOUPS 85532 WITH SCORE 85700.415
AT ITER 1225 NEW BEST:: SOT 255011 SOS 168491 HAS SOPS 165485 HAS SOUS 87337 HAS SOUPS 85486 WITH SCORE 85654.491
AT ITER 1237 NEW BEST:: SOT 254888 SOS 168286 HAS SOPS 165280 HAS SOUS 87098 HAS SOUPS 85247 WITH SCORE 85415.286
AT ITER 1243 NEW BEST:: SOT 255069 SOS 168355 HAS SOPS 165349 HAS SOUS 86978 HAS SOUPS 85127 WITH SCORE 85295.355
AT ITER 1249 NEW BEST:: SOT 254927 SOS 168223 HAS SOPS 165217 HAS SOUS 86851 HAS SOUPS 85000 WITH SCORE 85168.223
AT ITER 1261 NEW BEST:: SOT 255216 SOS 168196 HAS SOPS 164777 HAS SOUS 86882 HAS SOUPS 84717 WITH SCORE 84885.196
AT ITER 1276 NEW BEST:: SOT 255216 SOS 167974 HAS SOPS 164555 HAS SOUS 86850 HAS SOUPS 84685 WITH SCORE 84852.974
AT ITER 1284 NEW BEST:: SOT 255216 SOS 168043 HAS SOPS 164624 HAS SOUS 86746 HAS SOUPS 84581 WITH SCORE 84749.043
AT ITER 1289 NEW BEST:: SOT 255216 SOS 167378 HAS SOPS 163959 HAS SOUS 86474 HAS SOUPS 84309 WITH SCORE 84476.378
AT ITER 1325 NEW BEST:: SOT 255073 SOS 167130 HAS SOPS 163711 HAS SOUS 85907 HAS SOUPS 83742 WITH SCORE 83909.13
AT ITER 1337 NEW BEST:: SOT 255065 SOS 167122 HAS SOPS 163703 HAS SOUS 85843 HAS SOUPS 83678 WITH SCORE 83845.122
AT ITER 1342 NEW BEST:: SOT 254746 SOS 166630 HAS SOPS 163384 HAS SOUS 85500 HAS SOUPS 83475 WITH SCORE 83641.63
AT ITER 1345 NEW BEST:: SOT 254788 SOS 166672 HAS SOPS 163426 HAS SOUS 85495 HAS SOUPS 83470 WITH SCORE 83636.672
AT ITER 1349 NEW BEST:: SOT 254858 SOS 166866 HAS SOPS 163620 HAS SOUS 85467 HAS SOUPS 83442 WITH SCORE 83608.866
AT ITER 1354 NEW BEST:: SOT 255078 SOS 167269 HAS SOPS 164023 HAS SOUS 85179 HAS SOUPS 83154 WITH SCORE 83321.269
AT ITER 1362 NEW BEST:: SOT 255078 SOS 167149 HAS SOPS 163903 HAS SOUS 85179 HAS SOUPS 83154 WITH SCORE 83321.149
AT ITER 1369 NEW BEST:: SOT 255078 SOS 167139 HAS SOPS 163893 HAS SOUS 85179 HAS SOUPS 83154 WITH SCORE 83321.139
AT ITER 1371 NEW BEST:: SOT 254191 SOS 165534 HAS SOPS 162288 HAS SOUS 85120 HAS SOUPS 83095 WITH SCORE 83260.534
AT ITER 1374 NEW BEST:: SOT 254213 SOS 165497 HAS SOPS 162251 HAS SOUS 84838 HAS SOUPS 82813 WITH SCORE 82978.497
AT ITER 1376 NEW BEST:: SOT 254213 SOS 165195 HAS SOPS 161949 HAS SOUS 84754 HAS SOUPS 82729 WITH SCORE 82894.195
AT ITER 1378 NEW BEST:: SOT 254213 SOS 165155 HAS SOPS 161929 HAS SOUS 84734 HAS SOUPS 82719 WITH SCORE 82884.155
AT ITER 1381 NEW BEST:: SOT 254195 SOS 165137 HAS SOPS 161911 HAS SOUS 84716 HAS SOUPS 82701 WITH SCORE 82866.137
AT ITER 1383 NEW BEST:: SOT 254279 SOS 165147 HAS SOPS 161921 HAS SOUS 84627 HAS SOUPS 82612 WITH SCORE 82777.147
AT ITER 1385 NEW BEST:: SOT 254335 SOS 164445 HAS SOPS 161219 HAS SOUS 84468 HAS SOUPS 82453 WITH SCORE 82617.445
AT ITER 1396 NEW BEST:: SOT 254057 SOS 164053 HAS SOPS 160716 HAS SOUS 83753 HAS SOUPS 81627 WITH SCORE 81791.053
AT ITER 1397 NEW BEST:: SOT 254072 SOS 164068 HAS SOPS 160731 HAS SOUS 83711 HAS SOUPS 81585 WITH SCORE 81749.068
AT ITER 1400 NEW BEST:: SOT 254076 SOS 163648 HAS SOPS 160311 HAS SOUS 83233 HAS SOUPS 81107 WITH SCORE 81270.648
AT ITER 1403 NEW BEST:: SOT 254088 SOS 163666 HAS SOPS 160334 HAS SOUS 83224 HAS SOUPS 81103 WITH SCORE 81266.666
AT ITER 1415 NEW BEST:: SOT 254018 SOS 163108 HAS SOPS 159776 HAS SOUS 83147 HAS SOUPS 81026 WITH SCORE 81189.108
AT ITER 1423 NEW BEST:: SOT 254018 SOS 163133 HAS SOPS 159801 HAS SOUS 83122 HAS SOUPS 81001 WITH SCORE 81164.133
AT ITER 1454 NEW BEST:: SOT 253897 SOS 163069 HAS SOPS 159737 HAS SOUS 83062 HAS SOUPS 80941 WITH SCORE 81104.069
AT ITER 1466 NEW BEST:: SOT 253897 SOS 163429 HAS SOPS 160097 HAS SOUS 82997 HAS SOUPS 80876 WITH SCORE 81039.429
AT ITER 1469 NEW BEST:: SOT 253776 SOS 163503 HAS SOPS 160171 HAS SOUS 82952 HAS SOUPS 80831 WITH SCORE 80994.503
AT ITER 1470 NEW BEST:: SOT 253936 SOS 163074 HAS SOPS 159742 HAS SOUS 82825 HAS SOUPS 80704 WITH SCORE 80867.074
AT ITER 1473 NEW BEST:: SOT 253514 SOS 162849 HAS SOPS 159702 HAS SOUS 82678 HAS SOUPS 80614 WITH SCORE 80776.849
AT ITER 1476 NEW BEST:: SOT 253488 SOS 163106 HAS SOPS 159959 HAS SOUS 82531 HAS SOUPS 80467 WITH SCORE 80630.106
AT ITER 1484 NEW BEST:: SOT 253488 SOS 163091 HAS SOPS 159944 HAS SOUS 82526 HAS SOUPS 80462 WITH SCORE 80625.091
AT ITER 1485 NEW BEST:: SOT 253460 SOS 162735 HAS SOPS 159588 HAS SOUS 82516 HAS SOUPS 80452 WITH SCORE 80614.735
AT ITER 1486 NEW BEST:: SOT 253460 SOS 162718 HAS SOPS 159571 HAS SOUS 82516 HAS SOUPS 80452 WITH SCORE 80614.718
AT ITER 1490 NEW BEST:: SOT 253354 SOS 162634 HAS SOPS 159520 HAS SOUS 82432 HAS SOUPS 80401 WITH SCORE 80563.634
AT ITER 1500 NEW BEST:: SOT 253336 SOS 162593 HAS SOPS 159479 HAS SOUS 82422 HAS SOUPS 80391 WITH SCORE 80553.593
AT ITER 1502 NEW BEST:: SOT 252940 SOS 162170 HAS SOPS 159056 HAS SOUS 81937 HAS SOUPS 79906 WITH SCORE 80068.17
AT ITER 1530 NEW BEST:: SOT 252930 SOS 162160 HAS SOPS 159046 HAS SOUS 81932 HAS SOUPS 79901 WITH SCORE 80063.16
AT ITER 1539 NEW BEST:: SOT 252933 SOS 162163 HAS SOPS 159049 HAS SOUS 81551 HAS SOUPS 79520 WITH SCORE 79682.163
AT ITER 1546 NEW BEST:: SOT 252874 SOS 162132 HAS SOPS 158990 HAS SOUS 81520 HAS SOUPS 79461 WITH SCORE 79623.132
AT ITER 1573 NEW BEST:: SOT 252874 SOS 162212 HAS SOPS 159070 HAS SOUS 81412 HAS SOUPS 79353 WITH SCORE 79515.212
AT ITER 1588 NEW BEST:: SOT 252875 SOS 162305 HAS SOPS 159163 HAS SOUS 81377 HAS SOUPS 79318 WITH SCORE 79480.305
AT ITER 1597 NEW BEST:: SOT 252718 SOS 162374 HAS SOPS 159232 HAS SOUS 81304 HAS SOUPS 79245 WITH SCORE 79407.374
AT ITER 1599 NEW BEST:: SOT 252746 SOS 162476 HAS SOPS 159334 HAS SOUS 81263 HAS SOUPS 79204 WITH SCORE 79366.476
AT ITER 1605 NEW BEST:: SOT 252744 SOS 162465 HAS SOPS 159323 HAS SOUS 81234 HAS SOUPS 79175 WITH SCORE 79337.465
AT ITER 1608 NEW BEST:: SOT 252707 SOS 162419 HAS SOPS 159277 HAS SOUS 81176 HAS SOUPS 79117 WITH SCORE 79279.419
AT ITER 1612 NEW BEST:: SOT 252583 SOS 162295 HAS SOPS 159153 HAS SOUS 80956 HAS SOUPS 78897 WITH SCORE 79059.295
AT ITER 1623 NEW BEST:: SOT 252456 SOS 161857 HAS SOPS 158273 HAS SOUS 81114 HAS SOUPS 78828 WITH SCORE 78989.857
AT ITER 1626 NEW BEST:: SOT 252392 SOS 161793 HAS SOPS 158209 HAS SOUS 81022 HAS SOUPS 78736 WITH SCORE 78897.793
AT ITER 1639 NEW BEST:: SOT 252078 SOS 162197 HAS SOPS 158699 HAS SOUS 80931 HAS SOUPS 78731 WITH SCORE 78893.197
AT ITER 1644 NEW BEST:: SOT 252078 SOS 162191 HAS SOPS 158693 HAS SOUS 80922 HAS SOUPS 78722 WITH SCORE 78884.191
AT ITER 1647 NEW BEST:: SOT 251903 SOS 162016 HAS SOPS 158518 HAS SOUS 80724 HAS SOUPS 78524 WITH SCORE 78686.016
AT ITER 1648 NEW BEST:: SOT 251838 SOS 161472 HAS SOPS 157862 HAS SOUS 80708 HAS SOUPS 78443 WITH SCORE 78604.472
AT ITER 1650 NEW BEST:: SOT 251854 SOS 160647 HAS SOPS 157037 HAS SOUS 80677 HAS SOUPS 78412 WITH SCORE 78572.647
AT ITER 1654 NEW BEST:: SOT 251854 SOS 160647 HAS SOPS 157037 HAS SOUS 80654 HAS SOUPS 78389 WITH SCORE 78549.647
AT ITER 1666 NEW BEST:: SOT 251688 SOS 160491 HAS SOPS 156881 HAS SOUS 80557 HAS SOUPS 78292 WITH SCORE 78452.491
AT ITER 1670 NEW BEST:: SOT 251685 SOS 160044 HAS SOPS 156348 HAS SOUS 80414 HAS SOUPS 78063 WITH SCORE 78223.044
AT ITER 1672 NEW BEST:: SOT 251685 SOS 159946 HAS SOPS 156250 HAS SOUS 80410 HAS SOUPS 78059 WITH SCORE 78218.946
AT ITER 1678 NEW BEST:: SOT 251742 SOS 159777 HAS SOPS 156081 HAS SOUS 80381 HAS SOUPS 78030 WITH SCORE 78189.777
AT ITER 1726 NEW BEST:: SOT 251577 SOS 159663 HAS SOPS 155967 HAS SOUS 80308 HAS SOUPS 77957 WITH SCORE 78116.663
AT ITER 1730 NEW BEST:: SOT 251374 SOS 159436 HAS SOPS 155740 HAS SOUS 80304 HAS SOUPS 77953 WITH SCORE 78112.436
AT ITER 1758 NEW BEST:: SOT 251254 SOS 159236 HAS SOPS 155540 HAS SOUS 80064 HAS SOUPS 77713 WITH SCORE 77872.236
AT ITER 1768 NEW BEST:: SOT 251235 SOS 159175 HAS SOPS 155465 HAS SOUS 80055 HAS SOUPS 77690 WITH SCORE 77849.175
AT ITER 1771 NEW BEST:: SOT 250925 SOS 158333 HAS SOPS 154623 HAS SOUS 79773 HAS SOUPS 77408 WITH SCORE 77566.333
AT ITER 1779 NEW BEST:: SOT 250894 SOS 158270 HAS SOPS 154592 HAS SOUS 79694 HAS SOUPS 77345 WITH SCORE 77503.27
AT ITER 1787 NEW BEST:: SOT 250810 SOS 157898 HAS SOPS 154220 HAS SOUS 79544 HAS SOUPS 77195 WITH SCORE 77352.898
AT ITER 1793 NEW BEST:: SOT 250905 SOS 156276 HAS SOPS 152598 HAS SOUS 79170 HAS SOUPS 76821 WITH SCORE 76977.276
AT ITER 1795 NEW BEST:: SOT 250556 SOS 156207 HAS SOPS 152529 HAS SOUS 78830 HAS SOUPS 76481 WITH SCORE 76637.207
AT ITER 1800 NEW BEST:: SOT 250556 SOS 156207 HAS SOPS 152529 HAS SOUS 78828 HAS SOUPS 76479 WITH SCORE 76635.207
AT ITER 1803 NEW BEST:: SOT 250554 SOS 156205 HAS SOPS 152527 HAS SOUS 78808 HAS SOUPS 76459 WITH SCORE 76615.205
AT ITER 1829 NEW BEST:: SOT 250455 SOS 156142 HAS SOPS 152464 HAS SOUS 78601 HAS SOUPS 76252 WITH SCORE 76408.142
AT ITER 1832 NEW BEST:: SOT 250416 SOS 156085 HAS SOPS 152407 HAS SOUS 78499 HAS SOUPS 76150 WITH SCORE 76306.085
AT ITER 1884 NEW BEST:: SOT 250416 SOS 155461 HAS SOPS 151989 HAS SOUS 78351 HAS SOUPS 76105 WITH SCORE 76260.461
AT ITER 1885 NEW BEST:: SOT 250402 SOS 155447 HAS SOPS 151975 HAS SOUS 78337 HAS SOUPS 76091 WITH SCORE 76246.447
AT ITER 1893 NEW BEST:: SOT 250143 SOS 155328 HAS SOPS 151856 HAS SOUS 78294 HAS SOUPS 76048 WITH SCORE 76203.328
AT ITER 1898 NEW BEST:: SOT 250089 SOS 155222 HAS SOPS 151750 HAS SOUS 78188 HAS SOUPS 75942 WITH SCORE 76097.222
AT ITER 1902 NEW BEST:: SOT 249944 SOS 155076 HAS SOPS 151604 HAS SOUS 77949 HAS SOUPS 75703 WITH SCORE 75858.076
AT ITER 1903 NEW BEST:: SOT 249944 SOS 155240 HAS SOPS 151768 HAS SOUS 77909 HAS SOUPS 75663 WITH SCORE 75818.24
AT ITER 1908 NEW BEST:: SOT 249942 SOS 155224 HAS SOPS 151752 HAS SOUS 77905 HAS SOUPS 75659 WITH SCORE 75814.224
AT ITER 1909 NEW BEST:: SOT 249942 SOS 155374 HAS SOPS 151902 HAS SOUS 77898 HAS SOUPS 75652 WITH SCORE 75807.374
AT ITER 1928 NEW BEST:: SOT 250017 SOS 155424 HAS SOPS 151952 HAS SOUS 77810 HAS SOUPS 75564 WITH SCORE 75719.424
AT ITER 1930 NEW BEST:: SOT 250044 SOS 155483 HAS SOPS 151979 HAS SOUS 77798 HAS SOUPS 75520 WITH SCORE 75675.483
AT ITER 1943 NEW BEST:: SOT 250060 SOS 155563 HAS SOPS 152059 HAS SOUS 77790 HAS SOUPS 75512 WITH SCORE 75667.563
AT ITER 1961 NEW BEST:: SOT 250055 SOS 155615 HAS SOPS 152116 HAS SOUS 77774 HAS SOUPS 75501 WITH SCORE 75656.615
AT ITER 1970 NEW BEST:: SOT 250045 SOS 155605 HAS SOPS 152106 HAS SOUS 77771 HAS SOUPS 75498 WITH SCORE 75653.605
AT ITER 1976 NEW BEST:: SOT 250039 SOS 155596 HAS SOPS 152097 HAS SOUS 77744 HAS SOUPS 75471 WITH SCORE 75626.596
AT ITER 1996 NEW BEST:: SOT 249985 SOS 155542 HAS SOPS 152043 HAS SOUS 77704 HAS SOUPS 75431 WITH SCORE 75586.542
AT ITER 2015 NEW BEST:: SOT 250271 SOS 155610 HAS SOPS 152111 HAS SOUS 77703 HAS SOUPS 75430 WITH SCORE 75585.61
AT ITER 2023 NEW BEST:: SOT 250283 SOS 155581 HAS SOPS 152085 HAS SOUS 77651 HAS SOUPS 75407 WITH SCORE 75562.581
AT ITER 2026 NEW BEST:: SOT 250537 SOS 155799 HAS SOPS 152303 HAS SOUS 77647 HAS SOUPS 75403 WITH SCORE 75558.799
AT ITER 2037 NEW BEST:: SOT 250490 SOS 155685 HAS SOPS 152189 HAS SOUS 77590 HAS SOUPS 75346 WITH SCORE 75501.685
AT ITER 2052 NEW BEST:: SOT 250321 SOS 155498 HAS SOPS 152002 HAS SOUS 77376 HAS SOUPS 75132 WITH SCORE 75287.498
AT ITER 2056 NEW BEST:: SOT 250321 SOS 155769 HAS SOPS 152273 HAS SOUS 77350 HAS SOUPS 75106 WITH SCORE 75261.769
AT ITER 2062 NEW BEST:: SOT 250307 SOS 155741 HAS SOPS 152259 HAS SOUS 77322 HAS SOUPS 75092 WITH SCORE 75247.741
AT ITER 2064 NEW BEST:: SOT 250307 SOS 155765 HAS SOPS 152283 HAS SOUS 77313 HAS SOUPS 75083 WITH SCORE 75238.765
AT ITER 2067 NEW BEST:: SOT 250307 SOS 155863 HAS SOPS 152381 HAS SOUS 77309 HAS SOUPS 75079 WITH SCORE 75234.863
AT ITER 2081 NEW BEST:: SOT 250307 SOS 156095 HAS SOPS 152497 HAS SOUS 77251 HAS SOUPS 74963 WITH SCORE 75119.095
AT ITER 2087 NEW BEST:: SOT 250049 SOS 155817 HAS SOPS 152219 HAS SOUS 76914 HAS SOUPS 74626 WITH SCORE 74781.817
AT ITER 2119 NEW BEST:: SOT 249979 SOS 155747 HAS SOPS 152149 HAS SOUS 76844 HAS SOUPS 74556 WITH SCORE 74711.747
AT ITER 2124 NEW BEST:: SOT 249975 SOS 155845 HAS SOPS 152145 HAS SOUS 76942 HAS SOUPS 74552 WITH SCORE 74707.845
AT ITER 2133 NEW BEST:: SOT 250188 SOS 156124 HAS SOPS 152440 HAS SOUS 76600 HAS SOUPS 74182 WITH SCORE 74338.124
AT ITER 2145 NEW BEST:: SOT 250188 SOS 156112 HAS SOPS 152416 HAS SOUS 76600 HAS SOUPS 74176 WITH SCORE 74332.112
AT ITER 2146 NEW BEST:: SOT 249517 SOS 154473 HAS SOPS 150610 HAS SOUS 76484 HAS SOUPS 73996 WITH SCORE 74150.473
AT ITER 2148 NEW BEST:: SOT 249515 SOS 154471 HAS SOPS 150608 HAS SOUS 76483 HAS SOUPS 73995 WITH SCORE 74149.471
AT ITER 2167 NEW BEST:: SOT 249276 SOS 154354 HAS SOPS 150491 HAS SOUS 76360 HAS SOUPS 73872 WITH SCORE 74026.354
AT ITER 2170 NEW BEST:: SOT 249149 SOS 154220 HAS SOPS 150357 HAS SOUS 76210 HAS SOUPS 73722 WITH SCORE 73876.22
AT ITER 2172 NEW BEST:: SOT 249475 SOS 154855 HAS SOPS 150992 HAS SOUS 76072 HAS SOUPS 73584 WITH SCORE 73738.855
AT ITER 2187 NEW BEST:: SOT 249404 SOS 154784 HAS SOPS 150921 HAS SOUS 75920 HAS SOUPS 73432 WITH SCORE 73586.784
AT ITER 2189 NEW BEST:: SOT 249404 SOS 154804 HAS SOPS 150941 HAS SOUS 75902 HAS SOUPS 73414 WITH SCORE 73568.804
AT ITER 2193 NEW BEST:: SOT 249125 SOS 154632 HAS SOPS 150769 HAS SOUS 75731 HAS SOUPS 73243 WITH SCORE 73397.632
AT ITER 2196 NEW BEST:: SOT 248840 SOS 154372 HAS SOPS 150509 HAS SOUS 75429 HAS SOUPS 72941 WITH SCORE 73095.372
AT ITER 2198 NEW BEST:: SOT 248837 SOS 154348 HAS SOPS 150485 HAS SOUS 75426 HAS SOUPS 72938 WITH SCORE 73092.348
AT ITER 2212 NEW BEST:: SOT 248837 SOS 154306 HAS SOPS 150443 HAS SOUS 75426 HAS SOUPS 72938 WITH SCORE 73092.306
AT ITER 2220 NEW BEST:: SOT 248956 SOS 154564 HAS SOPS 150769 HAS SOUS 75281 HAS SOUPS 72846 WITH SCORE 73000.564
AT ITER 2223 NEW BEST:: SOT 248941 SOS 154468 HAS SOPS 150664 HAS SOUS 75276 HAS SOUPS 72832 WITH SCORE 72986.468
AT ITER 2236 NEW BEST:: SOT 248990 SOS 154493 HAS SOPS 150689 HAS SOUS 75186 HAS SOUPS 72742 WITH SCORE 72896.493
AT ITER 2241 NEW BEST:: SOT 248963 SOS 154466 HAS SOPS 150662 HAS SOUS 75158 HAS SOUPS 72714 WITH SCORE 72868.466
AT ITER 2264 NEW BEST:: SOT 248931 SOS 154408 HAS SOPS 150604 HAS SOUS 75054 HAS SOUPS 72610 WITH SCORE 72764.408
AT ITER 2289 NEW BEST:: SOT 248931 SOS 154369 HAS SOPS 150551 HAS SOUS 75058 HAS SOUPS 72607 WITH SCORE 72761.369
AT ITER 2297 NEW BEST:: SOT 248539 SOS 153867 HAS SOPS 150049 HAS SOUS 74933 HAS SOUPS 72482 WITH SCORE 72635.867
AT ITER 2317 NEW BEST:: SOT 248539 SOS 154591 HAS SOPS 150773 HAS SOUS 74928 HAS SOUPS 72477 WITH SCORE 72631.591
AT ITER 2345 NEW BEST:: SOT 248562 SOS 154519 HAS SOPS 150666 HAS SOUS 74922 HAS SOUPS 72436 WITH SCORE 72590.519
AT ITER 2346 NEW BEST:: SOT 248528 SOS 154485 HAS SOPS 150632 HAS SOUS 74888 HAS SOUPS 72402 WITH SCORE 72556.485
AT ITER 2347 NEW BEST:: SOT 248528 SOS 154485 HAS SOPS 150632 HAS SOUS 74886 HAS SOUPS 72400 WITH SCORE 72554.485
AT ITER 2349 NEW BEST:: SOT 248297 SOS 154254 HAS SOPS 150401 HAS SOUS 74561 HAS SOUPS 72075 WITH SCORE 72229.254
AT ITER 2370 NEW BEST:: SOT 248227 SOS 154223 HAS SOPS 150372 HAS SOUS 74559 HAS SOUPS 72075 WITH SCORE 72229.223
AT ITER 2376 NEW BEST:: SOT 248220 SOS 154237 HAS SOPS 150386 HAS SOUS 74552 HAS SOUPS 72068 WITH SCORE 72222.237
AT ITER 2381 NEW BEST:: SOT 248210 SOS 154227 HAS SOPS 150376 HAS SOUS 74542 HAS SOUPS 72058 WITH SCORE 72212.227
AT ITER 2383 NEW BEST:: SOT 248180 SOS 154197 HAS SOPS 150346 HAS SOUS 74437 HAS SOUPS 71953 WITH SCORE 72107.197
AT ITER 2411 NEW BEST:: SOT 248173 SOS 154148 HAS SOPS 150297 HAS SOUS 74416 HAS SOUPS 71932 WITH SCORE 72086.148
AT ITER 2412 NEW BEST:: SOT 248184 SOS 154159 HAS SOPS 150308 HAS SOUS 74400 HAS SOUPS 71916 WITH SCORE 72070.159
AT ITER 2413 NEW BEST:: SOT 248261 SOS 153961 HAS SOPS 150110 HAS SOUS 73787 HAS SOUPS 71303 WITH SCORE 71456.961
AT ITER 2419 NEW BEST:: SOT 248261 SOS 153951 HAS SOPS 150095 HAS SOUS 73782 HAS SOUPS 71298 WITH SCORE 71451.951
AT ITER 2438 NEW BEST:: SOT 248263 SOS 153953 HAS SOPS 150097 HAS SOUS 73773 HAS SOUPS 71289 WITH SCORE 71442.953
AT ITER 2447 NEW BEST:: SOT 248263 SOS 153929 HAS SOPS 150069 HAS SOUS 73773 HAS SOUPS 71289 WITH SCORE 71442.929
AT ITER 2455 NEW BEST:: SOT 248313 SOS 154175 HAS SOPS 150296 HAS SOUS 73783 HAS SOUPS 71280 WITH SCORE 71434.175
AT ITER 2466 NEW BEST:: SOT 248326 SOS 154212 HAS SOPS 150333 HAS SOUS 73776 HAS SOUPS 71273 WITH SCORE 71427.212
AT ITER 2468 NEW BEST:: SOT 248338 SOS 154224 HAS SOPS 150345 HAS SOUS 73754 HAS SOUPS 71251 WITH SCORE 71405.224
AT ITER 2473 NEW BEST:: SOT 248329 SOS 154215 HAS SOPS 150336 HAS SOUS 73738 HAS SOUPS 71235 WITH SCORE 71389.215
AT ITER 2478 NEW BEST:: SOT 248315 SOS 154231 HAS SOPS 150352 HAS SOUS 73714 HAS SOUPS 71211 WITH SCORE 71365.231
AT ITER 2502 NEW BEST:: SOT 248126 SOS 153847 HAS SOPS 149968 HAS SOUS 73536 HAS SOUPS 71033 WITH SCORE 71186.847
AT ITER 2506 NEW BEST:: SOT 248126 SOS 153131 HAS SOPS 149252 HAS SOUS 73390 HAS SOUPS 70887 WITH SCORE 71040.131
AT ITER 2507 NEW BEST:: SOT 248126 SOS 153125 HAS SOPS 149246 HAS SOUS 73384 HAS SOUPS 70881 WITH SCORE 71034.125
AT ITER 2512 NEW BEST:: SOT 248126 SOS 153078 HAS SOPS 149199 HAS SOUS 73342 HAS SOUPS 70839 WITH SCORE 70992.078
AT ITER 2513 NEW BEST:: SOT 247757 SOS 151740 HAS SOPS 147861 HAS SOUS 73152 HAS SOUPS 70649 WITH SCORE 70800.74
AT ITER 2517 NEW BEST:: SOT 247837 SOS 151713 HAS SOPS 147796 HAS SOUS 73147 HAS SOUPS 70644 WITH SCORE 70795.713
AT ITER 2521 NEW BEST:: SOT 247837 SOS 151707 HAS SOPS 147796 HAS SOUS 73141 HAS SOUPS 70644 WITH SCORE 70795.707
AT ITER 2528 NEW BEST:: SOT 247815 SOS 151685 HAS SOPS 147774 HAS SOUS 73141 HAS SOUPS 70644 WITH SCORE 70795.685
AT ITER 2532 NEW BEST:: SOT 247758 SOS 151393 HAS SOPS 147482 HAS SOUS 73035 HAS SOUPS 70538 WITH SCORE 70689.393
AT ITER 2535 NEW BEST:: SOT 247742 SOS 151337 HAS SOPS 147426 HAS SOUS 73013 HAS SOUPS 70516 WITH SCORE 70667.337
AT ITER 2538 NEW BEST:: SOT 247550 SOS 150797 HAS SOPS 146886 HAS SOUS 72743 HAS SOUPS 70246 WITH SCORE 70396.797
AT ITER 2543 NEW BEST:: SOT 247427 SOS 150485 HAS SOPS 146670 HAS SOUS 72578 HAS SOUPS 70126 WITH SCORE 70276.485
AT ITER 2553 NEW BEST:: SOT 247387 SOS 150429 HAS SOPS 146630 HAS SOUS 72526 HAS SOUPS 70090 WITH SCORE 70240.429
AT ITER 2556 NEW BEST:: SOT 247342 SOS 150405 HAS SOPS 146606 HAS SOUS 72526 HAS SOUPS 70090 WITH SCORE 70240.405
AT ITER 2561 NEW BEST:: SOT 247338 SOS 149943 HAS SOPS 145973 HAS SOUS 72223 HAS SOUPS 69787 WITH SCORE 69936.943
AT ITER 2563 NEW BEST:: SOT 247269 SOS 149874 HAS SOPS 145904 HAS SOUS 72202 HAS SOUPS 69766 WITH SCORE 69915.874
AT ITER 2568 NEW BEST:: SOT 247092 SOS 149405 HAS SOPS 145535 HAS SOUS 71996 HAS SOUPS 69660 WITH SCORE 69809.405
AT ITER 2578 NEW BEST:: SOT 247082 SOS 149404 HAS SOPS 145534 HAS SOUS 71952 HAS SOUPS 69616 WITH SCORE 69765.404
AT ITER 2589 NEW BEST:: SOT 247054 SOS 149376 HAS SOPS 145506 HAS SOUS 71924 HAS SOUPS 69588 WITH SCORE 69737.376
AT ITER 2602 NEW BEST:: SOT 246956 SOS 149141 HAS SOPS 145340 HAS SOUS 71865 HAS SOUPS 69560 WITH SCORE 69709.141
AT ITER 2610 NEW BEST:: SOT 246940 SOS 149125 HAS SOPS 145324 HAS SOUS 71571 HAS SOUPS 69266 WITH SCORE 69415.125
AT ITER 2669 NEW BEST:: SOT 246880 SOS 149055 HAS SOPS 145254 HAS SOUS 71511 HAS SOUPS 69206 WITH SCORE 69355.055
AT ITER 2680 NEW BEST:: SOT 246105 SOS 147796 HAS SOPS 143995 HAS SOUS 71171 HAS SOUPS 68866 WITH SCORE 69013.796
AT ITER 2681 NEW BEST:: SOT 246033 SOS 147862 HAS SOPS 144077 HAS SOUS 71057 HAS SOUPS 68768 WITH SCORE 68915.862
AT ITER 2687 NEW BEST:: SOT 246033 SOS 147627 HAS SOPS 143842 HAS SOUS 71052 HAS SOUPS 68763 WITH SCORE 68910.627
AT ITER 2690 NEW BEST:: SOT 245891 SOS 147485 HAS SOPS 143700 HAS SOUS 70910 HAS SOUPS 68621 WITH SCORE 68768.485
AT ITER 2692 NEW BEST:: SOT 245822 SOS 147416 HAS SOPS 143631 HAS SOUS 70782 HAS SOUPS 68493 WITH SCORE 68640.416
AT ITER 2694 NEW BEST:: SOT 245806 SOS 147285 HAS SOPS 143500 HAS SOUS 70751 HAS SOUPS 68462 WITH SCORE 68609.285
AT ITER 2702 NEW BEST:: SOT 245762 SOS 146922 HAS SOPS 143021 HAS SOUS 70500 HAS SOUPS 68188 WITH SCORE 68334.922
AT ITER 2726 NEW BEST:: SOT 245671 SOS 146690 HAS SOPS 142789 HAS SOUS 70362 HAS SOUPS 68050 WITH SCORE 68196.69
AT ITER 2744 NEW BEST:: SOT 245621 SOS 146600 HAS SOPS 142727 HAS SOUS 70334 HAS SOUPS 68036 WITH SCORE 68182.6
AT ITER 2751 NEW BEST:: SOT 245637 SOS 146619 HAS SOPS 142746 HAS SOUS 70290 HAS SOUPS 67992 WITH SCORE 68138.619
AT ITER 2755 NEW BEST:: SOT 245571 SOS 146553 HAS SOPS 142716 HAS SOUS 70204 HAS SOUPS 67942 WITH SCORE 68088.553
AT ITER 2760 NEW BEST:: SOT 245569 SOS 146551 HAS SOPS 142714 HAS SOUS 70200 HAS SOUPS 67938 WITH SCORE 68084.551
AT ITER 2761 NEW BEST:: SOT 245570 SOS 146612 HAS SOPS 142806 HAS SOUS 70139 HAS SOUPS 67897 WITH SCORE 68043.612
AT ITER 2763 NEW BEST:: SOT 245570 SOS 146049 HAS SOPS 142243 HAS SOUS 69931 HAS SOUPS 67689 WITH SCORE 67835.049
AT ITER 2768 NEW BEST:: SOT 245748 SOS 146227 HAS SOPS 142421 HAS SOUS 69915 HAS SOUPS 67673 WITH SCORE 67819.227
AT ITER 2771 NEW BEST:: SOT 245692 SOS 146208 HAS SOPS 142402 HAS SOUS 69880 HAS SOUPS 67638 WITH SCORE 67784.208
AT ITER 2772 NEW BEST:: SOT 245718 SOS 146112 HAS SOPS 142306 HAS SOUS 69845 HAS SOUPS 67603 WITH SCORE 67749.112
AT ITER 2791 NEW BEST:: SOT 245718 SOS 146044 HAS SOPS 142238 HAS SOUS 69845 HAS SOUPS 67603 WITH SCORE 67749.044
AT ITER 2800 NEW BEST:: SOT 245718 SOS 146012 HAS SOPS 142206 HAS SOUS 69841 HAS SOUPS 67599 WITH SCORE 67745.012
AT ITER 2812 NEW BEST:: SOT 245608 SOS 145992 HAS SOPS 142186 HAS SOUS 69716 HAS SOUPS 67474 WITH SCORE 67619.992
AT ITER 2824 NEW BEST:: SOT 245345 SOS 145591 HAS SOPS 141785 HAS SOUS 69390 HAS SOUPS 67148 WITH SCORE 67293.591
AT ITER 2834 NEW BEST:: SOT 245349 SOS 145727 HAS SOPS 141921 HAS SOUS 69310 HAS SOUPS 67068 WITH SCORE 67213.727
AT ITER 2855 NEW BEST:: SOT 245342 SOS 145444 HAS SOPS 141638 HAS SOUS 69227 HAS SOUPS 66985 WITH SCORE 67130.444
AT ITER 2861 NEW BEST:: SOT 245222 SOS 145324 HAS SOPS 141518 HAS SOUS 69137 HAS SOUPS 66895 WITH SCORE 67040.324
AT ITER 2883 NEW BEST:: SOT 245348 SOS 144601 HAS SOPS 140795 HAS SOUS 68998 HAS SOUPS 66756 WITH SCORE 66900.601
AT ITER 2902 NEW BEST:: SOT 245274 SOS 144527 HAS SOPS 140721 HAS SOUS 68924 HAS SOUPS 66682 WITH SCORE 66826.527
AT ITER 2910 NEW BEST:: SOT 245393 SOS 144477 HAS SOPS 140671 HAS SOUS 68922 HAS SOUPS 66680 WITH SCORE 66824.477
AT ITER 2916 NEW BEST:: SOT 245484 SOS 144243 HAS SOPS 140295 HAS SOUS 68899 HAS SOUPS 66608 WITH SCORE 66752.243
AT ITER 2927 NEW BEST:: SOT 245471 SOS 144387 HAS SOPS 140439 HAS SOUS 68862 HAS SOUPS 66571 WITH SCORE 66715.387
AT ITER 2934 NEW BEST:: SOT 245450 SOS 144345 HAS SOPS 140397 HAS SOUS 68728 HAS SOUPS 66437 WITH SCORE 66581.345
AT ITER 2943 NEW BEST:: SOT 245405 SOS 144114 HAS SOPS 140166 HAS SOUS 68604 HAS SOUPS 66313 WITH SCORE 66457.114
AT ITER 2957 NEW BEST:: SOT 245405 SOS 144079 HAS SOPS 140145 HAS SOUS 68583 HAS SOUPS 66299 WITH SCORE 66443.079
AT ITER 2968 NEW BEST:: SOT 245403 SOS 144077 HAS SOPS 140143 HAS SOUS 68582 HAS SOUPS 66298 WITH SCORE 66442.077
AT ITER 2969 NEW BEST:: SOT 244961 SOS 144527 HAS SOPS 140593 HAS SOUS 68576 HAS SOUPS 66292 WITH SCORE 66436.527
AT ITER 2970 NEW BEST:: SOT 244961 SOS 144439 HAS SOPS 140505 HAS SOUS 68576 HAS SOUPS 66292 WITH SCORE 66436.439
AT ITER 2986 NEW BEST:: SOT 244953 SOS 144435 HAS SOPS 140501 HAS SOUS 68543 HAS SOUPS 66259 WITH SCORE 66403.435
AT ITER 3013 NEW BEST:: SOT 244871 SOS 144372 HAS SOPS 140438 HAS SOUS 68333 HAS SOUPS 66049 WITH SCORE 66193.372
AT ITER 3014 NEW BEST:: SOT 244838 SOS 144328 HAS SOPS 140372 HAS SOUS 68322 HAS SOUPS 66027 WITH SCORE 66171.328
AT ITER 3024 NEW BEST:: SOT 244965 SOS 144543 HAS SOPS 140587 HAS SOUS 68249 HAS SOUPS 65954 WITH SCORE 66098.543
AT ITER 3040 NEW BEST:: SOT 244965 SOS 144555 HAS SOPS 140599 HAS SOUS 68245 HAS SOUPS 65950 WITH SCORE 66094.555
AT ITER 3050 NEW BEST:: SOT 244965 SOS 145507 HAS SOPS 141642 HAS SOUS 68123 HAS SOUPS 65883 WITH SCORE 66028.507
AT ITER 3059 NEW BEST:: SOT 244965 SOS 144491 HAS SOPS 140626 HAS SOUS 67996 HAS SOUPS 65756 WITH SCORE 65900.491
AT ITER 3063 NEW BEST:: SOT 244839 SOS 145248 HAS SOPS 141383 HAS SOUS 67685 HAS SOUPS 65445 WITH SCORE 65590.248
AT ITER 3071 NEW BEST:: SOT 244547 SOS 144664 HAS SOPS 140799 HAS SOUS 67661 HAS SOUPS 65421 WITH SCORE 65565.664
AT ITER 3087 NEW BEST:: SOT 244493 SOS 144610 HAS SOPS 140745 HAS SOUS 67607 HAS SOUPS 65367 WITH SCORE 65511.61
AT ITER 3100 NEW BEST:: SOT 244490 SOS 144604 HAS SOPS 140739 HAS SOUS 67599 HAS SOUPS 65359 WITH SCORE 65503.604
AT ITER 3103 NEW BEST:: SOT 244530 SOS 144778 HAS SOPS 140779 HAS SOUS 67412 HAS SOUPS 65038 WITH SCORE 65182.778
AT ITER 3105 NEW BEST:: SOT 244530 SOS 144244 HAS SOPS 140245 HAS SOUS 67411 HAS SOUPS 65037 WITH SCORE 65181.244
AT ITER 3107 NEW BEST:: SOT 244528 SOS 144250 HAS SOPS 140255 HAS SOUS 67407 HAS SOUPS 65035 WITH SCORE 65179.25
AT ITER 3114 NEW BEST:: SOT 244480 SOS 144202 HAS SOPS 140207 HAS SOUS 67388 HAS SOUPS 65016 WITH SCORE 65160.202
AT ITER 3118 NEW BEST:: SOT 244370 SOS 144132 HAS SOPS 140137 HAS SOUS 67234 HAS SOUPS 64862 WITH SCORE 65006.132
AT ITER 3132 NEW BEST:: SOT 244379 SOS 144114 HAS SOPS 140119 HAS SOUS 67225 HAS SOUPS 64853 WITH SCORE 64997.114
AT ITER 3160 NEW BEST:: SOT 244377 SOS 144112 HAS SOPS 140117 HAS SOUS 67074 HAS SOUPS 64702 WITH SCORE 64846.112
AT ITER 3168 NEW BEST:: SOT 244367 SOS 144102 HAS SOPS 140107 HAS SOUS 67064 HAS SOUPS 64692 WITH SCORE 64836.102
AT ITER 3174 NEW BEST:: SOT 244233 SOS 144041 HAS SOPS 140046 HAS SOUS 67036 HAS SOUPS 64664 WITH SCORE 64808.041
AT ITER 3177 NEW BEST:: SOT 244233 SOS 144021 HAS SOPS 140026 HAS SOUS 66916 HAS SOUPS 64544 WITH SCORE 64688.021
AT ITER 3181 NEW BEST:: SOT 244271 SOS 144083 HAS SOPS 140073 HAS SOUS 66927 HAS SOUPS 64540 WITH SCORE 64684.083
AT ITER 3183 NEW BEST:: SOT 244271 SOS 144080 HAS SOPS 140070 HAS SOUS 66927 HAS SOUPS 64540 WITH SCORE 64684.08
AT ITER 3193 NEW BEST:: SOT 243936 SOS 143477 HAS SOPS 139601 HAS SOUS 66793 HAS SOUPS 64473 WITH SCORE 64616.477
AT ITER 3213 NEW BEST:: SOT 243869 SOS 141562 HAS SOPS 137686 HAS SOUS 66745 HAS SOUPS 64425 WITH SCORE 64566.562
AT ITER 3216 NEW BEST:: SOT 243827 SOS 141520 HAS SOPS 137644 HAS SOUS 66709 HAS SOUPS 64389 WITH SCORE 64530.52
AT ITER 3234 NEW BEST:: SOT 243651 SOS 141165 HAS SOPS 137289 HAS SOUS 66661 HAS SOUPS 64341 WITH SCORE 64482.165
AT ITER 3266 NEW BEST:: SOT 243588 SOS 141102 HAS SOPS 137226 HAS SOUS 66596 HAS SOUPS 64276 WITH SCORE 64417.102
AT ITER 3267 NEW BEST:: SOT 243401 SOS 140854 HAS SOPS 136978 HAS SOUS 66452 HAS SOUPS 64132 WITH SCORE 64272.854
AT ITER 3270 NEW BEST:: SOT 243305 SOS 140632 HAS SOPS 136756 HAS SOUS 66363 HAS SOUPS 64043 WITH SCORE 64183.632
AT ITER 3273 NEW BEST:: SOT 243272 SOS 140542 HAS SOPS 136666 HAS SOUS 66314 HAS SOUPS 63994 WITH SCORE 64134.542
AT ITER 3277 NEW BEST:: SOT 243272 SOS 139992 HAS SOPS 136116 HAS SOUS 66264 HAS SOUPS 63944 WITH SCORE 64083.992
AT ITER 3280 NEW BEST:: SOT 243288 SOS 140008 HAS SOPS 136132 HAS SOUS 66254 HAS SOUPS 63934 WITH SCORE 64074.008
AT ITER 3289 NEW BEST:: SOT 243183 SOS 139928 HAS SOPS 135861 HAS SOUS 66236 HAS SOUPS 63795 WITH SCORE 63934.928
AT ITER 3303 NEW BEST:: SOT 243138 SOS 139874 HAS SOPS 135807 HAS SOUS 66164 HAS SOUPS 63723 WITH SCORE 63862.874
AT ITER 3327 NEW BEST:: SOT 243083 SOS 139819 HAS SOPS 135752 HAS SOUS 66096 HAS SOUPS 63655 WITH SCORE 63794.819
AT ITER 3335 NEW BEST:: SOT 243083 SOS 139779 HAS SOPS 135712 HAS SOUS 66096 HAS SOUPS 63655 WITH SCORE 63794.779
AT ITER 3336 NEW BEST:: SOT 243078 SOS 139794 HAS SOPS 135727 HAS SOUS 66071 HAS SOUPS 63630 WITH SCORE 63769.794
AT ITER 3374 NEW BEST:: SOT 243194 SOS 139808 HAS SOPS 135693 HAS SOUS 66036 HAS SOUPS 63595 WITH SCORE 63734.808
AT ITER 3394 NEW BEST:: SOT 243146 SOS 139724 HAS SOPS 135609 HAS SOUS 65931 HAS SOUPS 63490 WITH SCORE 63629.724
AT ITER 3403 NEW BEST:: SOT 243143 SOS 139621 HAS SOPS 135488 HAS SOUS 65948 HAS SOUPS 63489 WITH SCORE 63628.621
AT ITER 3423 NEW BEST:: SOT 243143 SOS 139537 HAS SOPS 135404 HAS SOUS 65927 HAS SOUPS 63468 WITH SCORE 63607.537
AT ITER 3435 NEW BEST:: SOT 243019 SOS 139413 HAS SOPS 135280 HAS SOUS 65775 HAS SOUPS 63316 WITH SCORE 63455.413
AT ITER 3464 NEW BEST:: SOT 243040 SOS 139441 HAS SOPS 135308 HAS SOUS 65638 HAS SOUPS 63179 WITH SCORE 63318.441
AT ITER 3468 NEW BEST:: SOT 242650 SOS 138934 HAS SOPS 135043 HAS SOUS 65343 HAS SOUPS 63005 WITH SCORE 63143.934
AT ITER 3470 NEW BEST:: SOT 242691 SOS 138077 HAS SOPS 134186 HAS SOUS 65114 HAS SOUPS 62776 WITH SCORE 62914.077
AT ITER 3473 NEW BEST:: SOT 242326 SOS 136837 HAS SOPS 132946 HAS SOUS 64658 HAS SOUPS 62320 WITH SCORE 62456.837
AT ITER 3479 NEW BEST:: SOT 242303 SOS 136724 HAS SOPS 132815 HAS SOUS 64653 HAS SOUPS 62306 WITH SCORE 62442.724
AT ITER 3487 NEW BEST:: SOT 242305 SOS 136531 HAS SOPS 132565 HAS SOUS 64670 HAS SOUPS 62299 WITH SCORE 62435.531
AT ITER 3495 NEW BEST:: SOT 242157 SOS 136173 HAS SOPS 132365 HAS SOUS 64549 HAS SOUPS 62257 WITH SCORE 62393.173
AT ITER 3498 NEW BEST:: SOT 242074 SOS 136089 HAS SOPS 132281 HAS SOUS 64436 HAS SOUPS 62144 WITH SCORE 62280.089
AT ITER 3507 NEW BEST:: SOT 242076 SOS 136091 HAS SOPS 132283 HAS SOUS 64434 HAS SOUPS 62142 WITH SCORE 62278.091
AT ITER 3515 NEW BEST:: SOT 241992 SOS 135937 HAS SOPS 132059 HAS SOUS 64420 HAS SOUPS 62093 WITH SCORE 62228.937
AT ITER 3530 NEW BEST:: SOT 241994 SOS 135929 HAS SOPS 132038 HAS SOUS 64417 HAS SOUPS 62079 WITH SCORE 62214.929
AT ITER 3538 NEW BEST:: SOT 241954 SOS 135889 HAS SOPS 131998 HAS SOUS 64385 HAS SOUPS 62047 WITH SCORE 62182.889
AT ITER 3579 NEW BEST:: SOT 241927 SOS 135867 HAS SOPS 132012 HAS SOUS 64332 HAS SOUPS 62019 WITH SCORE 62154.867
AT ITER 3607 NEW BEST:: SOT 241497 SOS 135539 HAS SOPS 131501 HAS SOUS 64004 HAS SOUPS 61508 WITH SCORE 61643.539
AT ITER 3614 NEW BEST:: SOT 241235 SOS 135316 HAS SOPS 131278 HAS SOUS 63821 HAS SOUPS 61325 WITH SCORE 61460.316
AT ITER 3646 NEW BEST:: SOT 241235 SOS 135410 HAS SOPS 131372 HAS SOUS 63786 HAS SOUPS 61290 WITH SCORE 61425.41
AT ITER 3650 NEW BEST:: SOT 241234 SOS 135406 HAS SOPS 131368 HAS SOUS 63785 HAS SOUPS 61289 WITH SCORE 61424.406
AT ITER 3652 NEW BEST:: SOT 241242 SOS 135374 HAS SOPS 131336 HAS SOUS 63785 HAS SOUPS 61289 WITH SCORE 61424.374
AT ITER 3662 NEW BEST:: SOT 241226 SOS 135309 HAS SOPS 131271 HAS SOUS 63783 HAS SOUPS 61287 WITH SCORE 61422.309
AT ITER 3667 NEW BEST:: SOT 240890 SOS 135498 HAS SOPS 131460 HAS SOUS 63751 HAS SOUPS 61255 WITH SCORE 61390.498
AT ITER 3680 NEW BEST:: SOT 240894 SOS 135502 HAS SOPS 131464 HAS SOUS 63731 HAS SOUPS 61235 WITH SCORE 61370.502
AT ITER 3696 NEW BEST:: SOT 240894 SOS 134878 HAS SOPS 130840 HAS SOUS 63653 HAS SOUPS 61157 WITH SCORE 61291.878
AT ITER 3699 NEW BEST:: SOT 240657 SOS 135117 HAS SOPS 130603 HAS SOUS 63740 HAS SOUPS 60985 WITH SCORE 61120.117
AT ITER 3706 NEW BEST:: SOT 240522 SOS 135168 HAS SOPS 130654 HAS SOUS 63698 HAS SOUPS 60943 WITH SCORE 61078.168
AT ITER 3710 NEW BEST:: SOT 240480 SOS 135041 HAS SOPS 130527 HAS SOUS 63695 HAS SOUPS 60940 WITH SCORE 61075.041
AT ITER 3715 NEW BEST:: SOT 240346 SOS 134936 HAS SOPS 130422 HAS SOUS 63530 HAS SOUPS 60775 WITH SCORE 60909.936
AT ITER 3726 NEW BEST:: SOT 240296 SOS 134886 HAS SOPS 130372 HAS SOUS 63480 HAS SOUPS 60725 WITH SCORE 60859.886
AT ITER 3738 NEW BEST:: SOT 240236 SOS 134679 HAS SOPS 130165 HAS SOUS 63366 HAS SOUPS 60611 WITH SCORE 60745.679
AT ITER 3751 NEW BEST:: SOT 240266 SOS 134865 HAS SOPS 130351 HAS SOUS 63324 HAS SOUPS 60569 WITH SCORE 60703.865
AT ITER 3761 NEW BEST:: SOT 240244 SOS 134944 HAS SOPS 130430 HAS SOUS 63278 HAS SOUPS 60523 WITH SCORE 60657.944
AT ITER 3766 NEW BEST:: SOT 240246 SOS 134946 HAS SOPS 130432 HAS SOUS 63276 HAS SOUPS 60521 WITH SCORE 60655.946
AT ITER 3777 NEW BEST:: SOT 240063 SOS 134818 HAS SOPS 130322 HAS SOUS 63145 HAS SOUPS 60408 WITH SCORE 60542.818
AT ITER 3785 NEW BEST:: SOT 240038 SOS 134788 HAS SOPS 130292 HAS SOUS 63107 HAS SOUPS 60370 WITH SCORE 60504.788
AT ITER 3837 NEW BEST:: SOT 240002 SOS 134746 HAS SOPS 130250 HAS SOUS 63050 HAS SOUPS 60313 WITH SCORE 60447.746
AT ITER 3856 NEW BEST:: SOT 239923 SOS 134667 HAS SOPS 130045 HAS SOUS 63034 HAS SOUPS 60234 WITH SCORE 60368.667
AT ITER 3873 NEW BEST:: SOT 239899 SOS 134664 HAS SOPS 130021 HAS SOUS 63025 HAS SOUPS 60213 WITH SCORE 60347.664
AT ITER 3874 NEW BEST:: SOT 239899 SOS 134724 HAS SOPS 130081 HAS SOUS 62995 HAS SOUPS 60183 WITH SCORE 60317.724
AT ITER 3879 NEW BEST:: SOT 239899 SOS 134733 HAS SOPS 130104 HAS SOUS 62986 HAS SOUPS 60181 WITH SCORE 60315.733
AT ITER 3883 NEW BEST:: SOT 239811 SOS 134645 HAS SOPS 129999 HAS SOUS 62842 HAS SOUPS 60020 WITH SCORE 60154.645
AT ITER 3904 NEW BEST:: SOT 239711 SOS 134748 HAS SOPS 130136 HAS SOUS 62798 HAS SOUPS 60010 WITH SCORE 60144.748
AT ITER 3932 NEW BEST:: SOT 239539 SOS 134602 HAS SOPS 129990 HAS SOUS 62616 HAS SOUPS 59828 WITH SCORE 59962.602
AT ITER 3945 NEW BEST:: SOT 239532 SOS 134589 HAS SOPS 129975 HAS SOUS 62607 HAS SOUPS 59817 WITH SCORE 59951.589
AT ITER 3958 NEW BEST:: SOT 239448 SOS 134505 HAS SOPS 129891 HAS SOUS 62607 HAS SOUPS 59817 WITH SCORE 59951.505
AT ITER 3969 NEW BEST:: SOT 239434 SOS 134484 HAS SOPS 129870 HAS SOUS 62572 HAS SOUPS 59782 WITH SCORE 59916.484
AT ITER 3972 NEW BEST:: SOT 239420 SOS 134449 HAS SOPS 129835 HAS SOUS 62537 HAS SOUPS 59747 WITH SCORE 59881.449
AT ITER 4005 NEW BEST:: SOT 239436 SOS 134465 HAS SOPS 129851 HAS SOUS 62521 HAS SOUPS 59731 WITH SCORE 59865.465
AT ITER 4014 NEW BEST:: SOT 239436 SOS 133429 HAS SOPS 128815 HAS SOUS 62521 HAS SOUPS 59731 WITH SCORE 59864.429
AT ITER 4039 NEW BEST:: SOT 239436 SOS 133325 HAS SOPS 128711 HAS SOUS 62506 HAS SOUPS 59716 WITH SCORE 59849.325
AT ITER 4040 NEW BEST:: SOT 239295 SOS 133184 HAS SOPS 128570 HAS SOUS 62436 HAS SOUPS 59646 WITH SCORE 59779.184
AT ITER 4044 NEW BEST:: SOT 239277 SOS 133166 HAS SOPS 128552 HAS SOUS 62418 HAS SOUPS 59628 WITH SCORE 59761.166
AT ITER 4052 NEW BEST:: SOT 239277 SOS 133166 HAS SOPS 128552 HAS SOUS 62416 HAS SOUPS 59626 WITH SCORE 59759.166
AT ITER 4081 NEW BEST:: SOT 239167 SOS 132973 HAS SOPS 128359 HAS SOUS 62120 HAS SOUPS 59330 WITH SCORE 59462.973
AT ITER 4096 NEW BEST:: SOT 239167 SOS 132954 HAS SOPS 128340 HAS SOUS 62107 HAS SOUPS 59317 WITH SCORE 59449.954
AT ITER 4097 NEW BEST:: SOT 239003 SOS 132914 HAS SOPS 128300 HAS SOUS 62104 HAS SOUPS 59314 WITH SCORE 59446.914
AT ITER 4100 NEW BEST:: SOT 238665 SOS 132370 HAS SOPS 127962 HAS SOUS 61663 HAS SOUPS 58976 WITH SCORE 59108.37
AT ITER 4127 NEW BEST:: SOT 238709 SOS 132026 HAS SOPS 127551 HAS SOUS 61562 HAS SOUPS 58808 WITH SCORE 58940.026
AT ITER 4165 NEW BEST:: SOT 238855 SOS 132119 HAS SOPS 127644 HAS SOUS 61526 HAS SOUPS 58772 WITH SCORE 58904.119
AT ITER 4167 NEW BEST:: SOT 238851 SOS 132079 HAS SOPS 127604 HAS SOUS 61498 HAS SOUPS 58744 WITH SCORE 58876.079
AT ITER 4196 NEW BEST:: SOT 238851 SOS 131987 HAS SOPS 127512 HAS SOUS 61491 HAS SOUPS 58737 WITH SCORE 58868.987
AT ITER 4225 NEW BEST:: SOT 238830 SOS 132497 HAS SOPS 128022 HAS SOUS 61440 HAS SOUPS 58686 WITH SCORE 58818.497
AT ITER 4227 NEW BEST:: SOT 238739 SOS 132406 HAS SOPS 127931 HAS SOUS 61345 HAS SOUPS 58591 WITH SCORE 58723.406
AT ITER 4228 NEW BEST:: SOT 238735 SOS 132402 HAS SOPS 127927 HAS SOUS 61330 HAS SOUPS 58576 WITH SCORE 58708.402
AT ITER 4245 NEW BEST:: SOT 238687 SOS 132333 HAS SOPS 127858 HAS SOUS 61294 HAS SOUPS 58540 WITH SCORE 58672.333
AT ITER 4255 NEW BEST:: SOT 238610 SOS 132292 HAS SOPS 127817 HAS SOUS 61214 HAS SOUPS 58460 WITH SCORE 58592.292
AT ITER 4275 NEW BEST:: SOT 238392 SOS 131970 HAS SOPS 127599 HAS SOUS 61020 HAS SOUPS 58370 WITH SCORE 58501.97
AT ITER 4292 NEW BEST:: SOT 238334 SOS 131854 HAS SOPS 127483 HAS SOUS 60927 HAS SOUPS 58277 WITH SCORE 58408.854
AT ITER 4296 NEW BEST:: SOT 238339 SOS 131794 HAS SOPS 127423 HAS SOUS 60926 HAS SOUPS 58276 WITH SCORE 58407.794
AT ITER 4337 NEW BEST:: SOT 237954 SOS 130993 HAS SOPS 126622 HAS SOUS 60416 HAS SOUPS 57766 WITH SCORE 57896.993
AT ITER 4359 NEW BEST:: SOT 237816 SOS 130505 HAS SOPS 126134 HAS SOUS 60410 HAS SOUPS 57760 WITH SCORE 57890.505
AT ITER 4366 NEW BEST:: SOT 237816 SOS 130499 HAS SOPS 126128 HAS SOUS 60410 HAS SOUPS 57760 WITH SCORE 57890.499
AT ITER 4368 NEW BEST:: SOT 237850 SOS 130727 HAS SOPS 126367 HAS SOUS 60365 HAS SOUPS 57715 WITH SCORE 57845.727
AT ITER 4382 NEW BEST:: SOT 237850 SOS 130672 HAS SOPS 126356 HAS SOUS 60353 HAS SOUPS 57714 WITH SCORE 57844.672
AT ITER 4408 NEW BEST:: SOT 237976 SOS 131107 HAS SOPS 126791 HAS SOUS 60264 HAS SOUPS 57625 WITH SCORE 57756.107
AT ITER 4448 NEW BEST:: SOT 237870 SOS 131006 HAS SOPS 126690 HAS SOUS 60201 HAS SOUPS 57562 WITH SCORE 57693.006
AT ITER 4464 NEW BEST:: SOT 237840 SOS 130966 HAS SOPS 126650 HAS SOUS 60171 HAS SOUPS 57532 WITH SCORE 57662.966
AT ITER 4469 NEW BEST:: SOT 237809 SOS 130721 HAS SOPS 126405 HAS SOUS 60142 HAS SOUPS 57503 WITH SCORE 57633.721
AT ITER 4471 NEW BEST:: SOT 237777 SOS 130689 HAS SOPS 126373 HAS SOUS 60110 HAS SOUPS 57471 WITH SCORE 57601.689
AT ITER 4503 NEW BEST:: SOT 237598 SOS 130400 HAS SOPS 126084 HAS SOUS 59877 HAS SOUPS 57238 WITH SCORE 57368.4
AT ITER 4507 NEW BEST:: SOT 237557 SOS 129671 HAS SOPS 125321 HAS SOUS 59677 HAS SOUPS 57004 WITH SCORE 57133.671
AT ITER 4511 NEW BEST:: SOT 237545 SOS 129659 HAS SOPS 125309 HAS SOUS 59665 HAS SOUPS 56992 WITH SCORE 57121.659
AT ITER 4525 NEW BEST:: SOT 237505 SOS 129619 HAS SOPS 125269 HAS SOUS 59663 HAS SOUPS 56990 WITH SCORE 57119.619
AT ITER 4530 NEW BEST:: SOT 237435 SOS 129369 HAS SOPS 125199 HAS SOUS 59510 HAS SOUPS 56924 WITH SCORE 57053.369
AT ITER 4532 NEW BEST:: SOT 237404 SOS 129338 HAS SOPS 125168 HAS SOUS 59493 HAS SOUPS 56907 WITH SCORE 57036.338
AT ITER 4535 NEW BEST:: SOT 237393 SOS 129478 HAS SOPS 124701 HAS SOUS 59511 HAS SOUPS 56767 WITH SCORE 56896.478
AT ITER 4543 NEW BEST:: SOT 237393 SOS 129368 HAS SOPS 124591 HAS SOUS 59484 HAS SOUPS 56740 WITH SCORE 56869.368
AT ITER 4576 NEW BEST:: SOT 237257 SOS 129232 HAS SOPS 124455 HAS SOUS 59252 HAS SOUPS 56508 WITH SCORE 56637.232
AT ITER 4585 NEW BEST:: SOT 237257 SOS 129684 HAS SOPS 124907 HAS SOUS 59251 HAS SOUPS 56507 WITH SCORE 56636.684
AT ITER 4588 NEW BEST:: SOT 237142 SOS 129215 HAS SOPS 124438 HAS SOUS 59018 HAS SOUPS 56274 WITH SCORE 56403.215
AT ITER 4603 NEW BEST:: SOT 237142 SOS 128807 HAS SOPS 124258 HAS SOUS 58835 HAS SOUPS 56205 WITH SCORE 56333.807
AT ITER 4618 NEW BEST:: SOT 237007 SOS 128721 HAS SOPS 124221 HAS SOUS 58786 HAS SOUPS 56205 WITH SCORE 56333.721
AT ITER 4654 NEW BEST:: SOT 237007 SOS 128750 HAS SOPS 124250 HAS SOUS 58784 HAS SOUPS 56203 WITH SCORE 56331.75
AT ITER 4656 NEW BEST:: SOT 236959 SOS 128698 HAS SOPS 124200 HAS SOUS 58663 HAS SOUPS 56084 WITH SCORE 56212.698
AT ITER 4671 NEW BEST:: SOT 236959 SOS 128698 HAS SOPS 124200 HAS SOUS 58661 HAS SOUPS 56082 WITH SCORE 56210.698
AT ITER 4676 NEW BEST:: SOT 237026 SOS 128606 HAS SOPS 124108 HAS SOUS 58639 HAS SOUPS 56060 WITH SCORE 56188.606
AT ITER 4682 NEW BEST:: SOT 237026 SOS 128598 HAS SOPS 124108 HAS SOUS 58623 HAS SOUPS 56048 WITH SCORE 56176.598
AT ITER 4691 NEW BEST:: SOT 237026 SOS 128262 HAS SOPS 123772 HAS SOUS 58623 HAS SOUPS 56048 WITH SCORE 56176.262
AT ITER 4702 NEW BEST:: SOT 237026 SOS 128278 HAS SOPS 123788 HAS SOUS 58599 HAS SOUPS 56024 WITH SCORE 56152.278
AT ITER 4707 NEW BEST:: SOT 236975 SOS 128200 HAS SOPS 123710 HAS SOUS 58563 HAS SOUPS 55988 WITH SCORE 56116.2
AT ITER 4728 NEW BEST:: SOT 236958 SOS 128183 HAS SOPS 123693 HAS SOUS 58546 HAS SOUPS 55971 WITH SCORE 56099.183
AT ITER 4732 NEW BEST:: SOT 236974 SOS 128199 HAS SOPS 123709 HAS SOUS 58540 HAS SOUPS 55965 WITH SCORE 56093.199
AT ITER 4736 NEW BEST:: SOT 236906 SOS 128100 HAS SOPS 123649 HAS SOUS 58448 HAS SOUPS 55895 WITH SCORE 56023.1
AT ITER 4741 NEW BEST:: SOT 236510 SOS 127524 HAS SOPS 123073 HAS SOUS 58017 HAS SOUPS 55464 WITH SCORE 55591.524
AT ITER 4743 NEW BEST:: SOT 236283 SOS 127417 HAS SOPS 122846 HAS SOUS 57923 HAS SOUPS 55250 WITH SCORE 55377.417
AT ITER 4775 NEW BEST:: SOT 236283 SOS 127332 HAS SOPS 122761 HAS SOUS 57902 HAS SOUPS 55229 WITH SCORE 55356.332
AT ITER 4796 NEW BEST:: SOT 236278 SOS 127297 HAS SOPS 122726 HAS SOUS 57750 HAS SOUPS 55077 WITH SCORE 55204.297
AT ITER 4801 NEW BEST:: SOT 236044 SOS 127117 HAS SOPS 122546 HAS SOUS 57578 HAS SOUPS 54905 WITH SCORE 55032.117
AT ITER 4821 NEW BEST:: SOT 236004 SOS 127037 HAS SOPS 122466 HAS SOUS 57558 HAS SOUPS 54885 WITH SCORE 55012.037
AT ITER 4837 NEW BEST:: SOT 235759 SOS 126792 HAS SOPS 122221 HAS SOUS 57339 HAS SOUPS 54666 WITH SCORE 54792.792
AT ITER 4841 NEW BEST:: SOT 235745 SOS 126778 HAS SOPS 122207 HAS SOUS 57323 HAS SOUPS 54650 WITH SCORE 54776.778
AT ITER 4844 NEW BEST:: SOT 235739 SOS 126772 HAS SOPS 122201 HAS SOUS 57311 HAS SOUPS 54638 WITH SCORE 54764.772
AT ITER 4869 NEW BEST:: SOT 235709 SOS 126730 HAS SOPS 122159 HAS SOUS 57278 HAS SOUPS 54605 WITH SCORE 54731.73
AT ITER 4870 NEW BEST:: SOT 235700 SOS 126721 HAS SOPS 122150 HAS SOUS 57251 HAS SOUPS 54578 WITH SCORE 54704.721
AT ITER 4879 NEW BEST:: SOT 235673 SOS 126614 HAS SOPS 122103 HAS SOUS 57204 HAS SOUPS 54571 WITH SCORE 54697.614
AT ITER 4881 NEW BEST:: SOT 235664 SOS 126577 HAS SOPS 122066 HAS SOUS 57149 HAS SOUPS 54516 WITH SCORE 54642.577
AT ITER 4901 NEW BEST:: SOT 235730 SOS 126618 HAS SOPS 122107 HAS SOUS 57125 HAS SOUPS 54492 WITH SCORE 54618.618
AT ITER 4917 NEW BEST:: SOT 235735 SOS 126623 HAS SOPS 122112 HAS SOUS 57056 HAS SOUPS 54423 WITH SCORE 54549.623
AT ITER 4919 NEW BEST:: SOT 235736 SOS 126624 HAS SOPS 122113 HAS SOUS 57055 HAS SOUPS 54422 WITH SCORE 54548.624
AT ITER 4951 NEW BEST:: SOT 235802 SOS 126666 HAS SOPS 122124 HAS SOUS 57000 HAS SOUPS 54367 WITH SCORE 54493.666
AT ITER 4996 NEW BEST:: SOT 235904 SOS 126572 HAS SOPS 122030 HAS SOUS 57000 HAS SOUPS 54367 WITH SCORE 54493.572
AT ITER 5002 NEW BEST:: SOT 235706 SOS 126258 HAS SOPS 121858 HAS SOUS 56860 HAS SOUPS 54298 WITH SCORE 54424.258
AT ITER 5004 NEW BEST:: SOT 235702 SOS 126254 HAS SOPS 121854 HAS SOUS 56828 HAS SOUPS 54266 WITH SCORE 54392.254
AT ITER 5019 NEW BEST:: SOT 235696 SOS 126242 HAS SOPS 121842 HAS SOUS 56798 HAS SOUPS 54236 WITH SCORE 54362.242
AT ITER 5029 NEW BEST:: SOT 235682 SOS 126221 HAS SOPS 121821 HAS SOUS 56767 HAS SOUPS 54205 WITH SCORE 54331.221
AT ITER 5043 NEW BEST:: SOT 235689 SOS 126190 HAS SOPS 121828 HAS SOUS 56717 HAS SOUPS 54174 WITH SCORE 54300.19
AT ITER 5059 NEW BEST:: SOT 235638 SOS 126139 HAS SOPS 121777 HAS SOUS 56717 HAS SOUPS 54174 WITH SCORE 54300.139
AT ITER 5063 NEW BEST:: SOT 235121 SOS 125374 HAS SOPS 120461 HAS SOUS 56472 HAS SOUPS 53651 WITH SCORE 53776.374
AT ITER 5075 NEW BEST:: SOT 235094 SOS 125347 HAS SOPS 120434 HAS SOUS 56445 HAS SOUPS 53624 WITH SCORE 53749.347
AT ITER 5080 NEW BEST:: SOT 235222 SOS 124855 HAS SOPS 119836 HAS SOUS 56473 HAS SOUPS 53571 WITH SCORE 53695.855
AT ITER 5083 NEW BEST:: SOT 235175 SOS 124801 HAS SOPS 119802 HAS SOUS 56428 HAS SOUPS 53541 WITH SCORE 53665.801
AT ITER 5103 NEW BEST:: SOT 235115 SOS 124756 HAS SOPS 119757 HAS SOUS 56419 HAS SOUPS 53532 WITH SCORE 53656.756
AT ITER 5127 NEW BEST:: SOT 235099 SOS 124648 HAS SOPS 119649 HAS SOUS 56401 HAS SOUPS 53514 WITH SCORE 53638.648
AT ITER 5131 NEW BEST:: SOT 235101 SOS 124648 HAS SOPS 119649 HAS SOUS 56391 HAS SOUPS 53504 WITH SCORE 53628.648
AT ITER 5148 NEW BEST:: SOT 235051 SOS 124576 HAS SOPS 119577 HAS SOUS 56340 HAS SOUPS 53453 WITH SCORE 53577.576
AT ITER 5149 NEW BEST:: SOT 234897 SOS 124476 HAS SOPS 119477 HAS SOUS 56196 HAS SOUPS 53309 WITH SCORE 53433.476
AT ITER 5183 NEW BEST:: SOT 234885 SOS 124424 HAS SOPS 119425 HAS SOUS 56160 HAS SOUPS 53273 WITH SCORE 53397.424
AT ITER 5194 NEW BEST:: SOT 234778 SOS 124905 HAS SOPS 119906 HAS SOUS 56049 HAS SOUPS 53162 WITH SCORE 53286.905
AT ITER 5209 NEW BEST:: SOT 234778 SOS 124905 HAS SOPS 119906 HAS SOUS 56019 HAS SOUPS 53132 WITH SCORE 53256.905
AT ITER 5212 NEW BEST:: SOT 234788 SOS 124982 HAS SOPS 119983 HAS SOUS 56018 HAS SOUPS 53131 WITH SCORE 53255.982
AT ITER 5237 NEW BEST:: SOT 234788 SOS 125052 HAS SOPS 120053 HAS SOUS 55994 HAS SOUPS 53107 WITH SCORE 53232.052
AT ITER 5244 NEW BEST:: SOT 234793 SOS 125060 HAS SOPS 120055 HAS SOUS 55999 HAS SOUPS 53106 WITH SCORE 53231.06
AT ITER 5259 NEW BEST:: SOT 234769 SOS 125024 HAS SOPS 120019 HAS SOUS 55957 HAS SOUPS 53064 WITH SCORE 53189.024
AT ITER 5280 NEW BEST:: SOT 234751 SOS 125006 HAS SOPS 120001 HAS SOUS 55957 HAS SOUPS 53064 WITH SCORE 53189.006
AT ITER 5281 NEW BEST:: SOT 234557 SOS 124363 HAS SOPS 119358 HAS SOUS 55843 HAS SOUPS 52950 WITH SCORE 53074.363
AT ITER 5294 NEW BEST:: SOT 234551 SOS 124357 HAS SOPS 119352 HAS SOUS 55837 HAS SOUPS 52944 WITH SCORE 53068.357
AT ITER 5298 NEW BEST:: SOT 234501 SOS 124232 HAS SOPS 119227 HAS SOUS 55800 HAS SOUPS 52907 WITH SCORE 53031.232
AT ITER 5316 NEW BEST:: SOT 234461 SOS 123952 HAS SOPS 118947 HAS SOUS 55789 HAS SOUPS 52896 WITH SCORE 53019.952
AT ITER 5317 NEW BEST:: SOT 234419 SOS 123634 HAS SOPS 118629 HAS SOUS 55681 HAS SOUPS 52788 WITH SCORE 52911.634
AT ITER 5337 NEW BEST:: SOT 234322 SOS 123278 HAS SOPS 118273 HAS SOUS 55675 HAS SOUPS 52782 WITH SCORE 52905.278
AT ITER 5344 NEW BEST:: SOT 234322 SOS 123338 HAS SOPS 118333 HAS SOUS 55640 HAS SOUPS 52747 WITH SCORE 52870.338
AT ITER 5348 NEW BEST:: SOT 234322 SOS 123344 HAS SOPS 118345 HAS SOUS 55622 HAS SOUPS 52735 WITH SCORE 52858.344
AT ITER 5368 NEW BEST:: SOT 234330 SOS 123064 HAS SOPS 118065 HAS SOUS 55577 HAS SOUPS 52690 WITH SCORE 52813.064
AT ITER 5383 NEW BEST:: SOT 234320 SOS 123055 HAS SOPS 118056 HAS SOUS 55541 HAS SOUPS 52654 WITH SCORE 52777.055
AT ITER 5399 NEW BEST:: SOT 234425 SOS 122976 HAS SOPS 117977 HAS SOUS 55508 HAS SOUPS 52621 WITH SCORE 52743.976
AT ITER 5419 NEW BEST:: SOT 234394 SOS 123005 HAS SOPS 118006 HAS SOUS 55477 HAS SOUPS 52590 WITH SCORE 52713.005
AT ITER 5457 NEW BEST:: SOT 234394 SOS 122975 HAS SOPS 117976 HAS SOUS 55477 HAS SOUPS 52590 WITH SCORE 52712.975
AT ITER 5461 NEW BEST:: SOT 234415 SOS 122771 HAS SOPS 117743 HAS SOUS 55398 HAS SOUPS 52482 WITH SCORE 52604.771
AT ITER 5487 NEW BEST:: SOT 234415 SOS 122723 HAS SOPS 117695 HAS SOUS 55398 HAS SOUPS 52482 WITH SCORE 52604.723
AT ITER 5492 NEW BEST:: SOT 234378 SOS 122700 HAS SOPS 117672 HAS SOUS 55386 HAS SOUPS 52470 WITH SCORE 52592.7
AT ITER 5499 NEW BEST:: SOT 234364 SOS 122686 HAS SOPS 117658 HAS SOUS 55372 HAS SOUPS 52456 WITH SCORE 52578.686
AT ITER 5500 NEW BEST:: SOT 234194 SOS 122236 HAS SOPS 117208 HAS SOUS 55266 HAS SOUPS 52350 WITH SCORE 52472.236
AT ITER 5503 NEW BEST:: SOT 234221 SOS 122290 HAS SOPS 117267 HAS SOUS 55231 HAS SOUPS 52318 WITH SCORE 52440.29
AT ITER 5534 NEW BEST:: SOT 234221 SOS 122206 HAS SOPS 117183 HAS SOUS 55217 HAS SOUPS 52304 WITH SCORE 52426.206
AT ITER 5544 NEW BEST:: SOT 234251 SOS 122148 HAS SOPS 117125 HAS SOUS 55203 HAS SOUPS 52290 WITH SCORE 52412.148
AT ITER 5550 NEW BEST:: SOT 234228 SOS 122004 HAS SOPS 116981 HAS SOUS 55083 HAS SOUPS 52170 WITH SCORE 52292.004
AT ITER 5567 NEW BEST:: SOT 234228 SOS 121708 HAS SOPS 116685 HAS SOUS 54993 HAS SOUPS 52080 WITH SCORE 52201.708
AT ITER 5578 NEW BEST:: SOT 234228 SOS 121741 HAS SOPS 116711 HAS SOUS 54991 HAS SOUPS 52071 WITH SCORE 52192.741
AT ITER 5593 NEW BEST:: SOT 234228 SOS 121908 HAS SOPS 116900 HAS SOUS 54961 HAS SOUPS 52063 WITH SCORE 52184.908
AT ITER 5636 NEW BEST:: SOT 234228 SOS 121857 HAS SOPS 116849 HAS SOUS 54961 HAS SOUPS 52063 WITH SCORE 52184.857
AT ITER 5658 NEW BEST:: SOT 234224 SOS 121847 HAS SOPS 116839 HAS SOUS 54961 HAS SOUPS 52063 WITH SCORE 52184.847
AT ITER 5732 NEW BEST:: SOT 234077 SOS 121602 HAS SOPS 116594 HAS SOUS 54814 HAS SOUPS 51916 WITH SCORE 52037.602
AT ITER 5734 NEW BEST:: SOT 234078 SOS 121657 HAS SOPS 116649 HAS SOUS 54808 HAS SOUPS 51910 WITH SCORE 52031.657
AT ITER 5745 NEW BEST:: SOT 234085 SOS 121632 HAS SOPS 116624 HAS SOUS 54797 HAS SOUPS 51899 WITH SCORE 52020.632
AT ITER 5746 NEW BEST:: SOT 234016 SOS 121471 HAS SOPS 116463 HAS SOUS 54682 HAS SOUPS 51784 WITH SCORE 51905.471
AT ITER 5785 NEW BEST:: SOT 233906 SOS 121373 HAS SOPS 116365 HAS SOUS 54665 HAS SOUPS 51767 WITH SCORE 51888.373
AT ITER 5804 NEW BEST:: SOT 233782 SOS 121543 HAS SOPS 116535 HAS SOUS 54620 HAS SOUPS 51722 WITH SCORE 51843.543
AT ITER 5849 NEW BEST:: SOT 233798 SOS 121551 HAS SOPS 116543 HAS SOUS 54613 HAS SOUPS 51715 WITH SCORE 51836.551
AT ITER 5861 NEW BEST:: SOT 233721 SOS 121442 HAS SOPS 116434 HAS SOUS 54568 HAS SOUPS 51670 WITH SCORE 51791.442
AT ITER 5927 NEW BEST:: SOT 233719 SOS 121516 HAS SOPS 116514 HAS SOUS 54534 HAS SOUPS 51642 WITH SCORE 51763.516
AT ITER 5934 NEW BEST:: SOT 233688 SOS 121437 HAS SOPS 116435 HAS SOUS 54420 HAS SOUPS 51528 WITH SCORE 51649.437
AT ITER 5952 NEW BEST:: SOT 233688 SOS 121699 HAS SOPS 116697 HAS SOUS 54376 HAS SOUPS 51484 WITH SCORE 51605.699
AT ITER 5969 NEW BEST:: SOT 233687 SOS 121694 HAS SOPS 116692 HAS SOUS 54376 HAS SOUPS 51484 WITH SCORE 51605.694
AT ITER 5971 NEW BEST:: SOT 233687 SOS 121684 HAS SOPS 116682 HAS SOUS 54376 HAS SOUPS 51484 WITH SCORE 51605.684
AT ITER 5974 NEW BEST:: SOT 233641 SOS 121638 HAS SOPS 116636 HAS SOUS 54307 HAS SOUPS 51415 WITH SCORE 51536.638
AT ITER 5991 NEW BEST:: SOT 233509 SOS 121524 HAS SOPS 116478 HAS SOUS 54216 HAS SOUPS 51302 WITH SCORE 51423.524
AT ITER 6011 NEW BEST:: SOT 233478 SOS 121495 HAS SOPS 116449 HAS SOUS 54185 HAS SOUPS 51271 WITH SCORE 51392.495
AT ITER 6014 NEW BEST:: SOT 233535 SOS 121446 HAS SOPS 116400 HAS SOUS 54116 HAS SOUPS 51202 WITH SCORE 51323.446
AT ITER 6015 NEW BEST:: SOT 233515 SOS 121404 HAS SOPS 116380 HAS SOUS 54062 HAS SOUPS 51159 WITH SCORE 51280.404
AT ITER 6020 NEW BEST:: SOT 233463 SOS 121518 HAS SOPS 116494 HAS SOUS 54059 HAS SOUPS 51156 WITH SCORE 51277.518
AT ITER 6039 NEW BEST:: SOT 233474 SOS 121669 HAS SOPS 116575 HAS SOUS 53952 HAS SOUPS 51011 WITH SCORE 51132.669
AT ITER 6052 NEW BEST:: SOT 233389 SOS 121251 HAS SOPS 116157 HAS SOUS 53854 HAS SOUPS 50913 WITH SCORE 51034.251
AT ITER 6087 NEW BEST:: SOT 233470 SOS 121338 HAS SOPS 116199 HAS SOUS 53840 HAS SOUPS 50872 WITH SCORE 50993.338
AT ITER 6113 NEW BEST:: SOT 233428 SOS 121232 HAS SOPS 116127 HAS SOUS 53807 HAS SOUPS 50856 WITH SCORE 50977.232
AT ITER 6135 NEW BEST:: SOT 233454 SOS 121232 HAS SOPS 116127 HAS SOUS 53794 HAS SOUPS 50843 WITH SCORE 50964.232
AT ITER 6156 NEW BEST:: SOT 233450 SOS 121224 HAS SOPS 116119 HAS SOUS 53794 HAS SOUPS 50843 WITH SCORE 50964.224
AT ITER 6159 NEW BEST:: SOT 233343 SOS 120779 HAS SOPS 115660 HAS SOUS 53727 HAS SOUPS 50762 WITH SCORE 50882.779
AT ITER 6200 NEW BEST:: SOT 233335 SOS 120771 HAS SOPS 115652 HAS SOUS 53699 HAS SOUPS 50734 WITH SCORE 50854.771
AT ITER 6239 NEW BEST:: SOT 233382 SOS 120832 HAS SOPS 115699 HAS SOUS 53626 HAS SOUPS 50647 WITH SCORE 50767.832
AT ITER 6252 NEW BEST:: SOT 233362 SOS 120812 HAS SOPS 115679 HAS SOUS 53595 HAS SOUPS 50616 WITH SCORE 50736.812
AT ITER 6256 NEW BEST:: SOT 233282 SOS 120732 HAS SOPS 115599 HAS SOUS 53487 HAS SOUPS 50508 WITH SCORE 50628.732
AT ITER 6266 NEW BEST:: SOT 233260 SOS 120716 HAS SOPS 115586 HAS SOUS 53446 HAS SOUPS 50470 WITH SCORE 50590.716
AT ITER 6296 NEW BEST:: SOT 233217 SOS 120585 HAS SOPS 115455 HAS SOUS 53425 HAS SOUPS 50449 WITH SCORE 50569.585
AT ITER 6328 NEW BEST:: SOT 233245 SOS 120634 HAS SOPS 115504 HAS SOUS 53424 HAS SOUPS 50448 WITH SCORE 50568.634
AT ITER 6338 NEW BEST:: SOT 233224 SOS 120601 HAS SOPS 115471 HAS SOUS 53397 HAS SOUPS 50421 WITH SCORE 50541.601
AT ITER 6362 NEW BEST:: SOT 233250 SOS 120711 HAS SOPS 115581 HAS SOUS 53395 HAS SOUPS 50419 WITH SCORE 50539.711
AT ITER 6371 NEW BEST:: SOT 233250 SOS 119962 HAS SOPS 114832 HAS SOUS 53247 HAS SOUPS 50271 WITH SCORE 50390.962
AT ITER 6386 NEW BEST:: SOT 233270 SOS 119982 HAS SOPS 114852 HAS SOUS 53238 HAS SOUPS 50262 WITH SCORE 50381.982
AT ITER 6415 NEW BEST:: SOT 233270 SOS 120009 HAS SOPS 114879 HAS SOUS 53235 HAS SOUPS 50259 WITH SCORE 50379.009
AT ITER 6418 NEW BEST:: SOT 233234 SOS 119973 HAS SOPS 114843 HAS SOUS 53163 HAS SOUPS 50187 WITH SCORE 50306.973
AT ITER 6420 NEW BEST:: SOT 233232 SOS 119969 HAS SOPS 114841 HAS SOUS 53161 HAS SOUPS 50186 WITH SCORE 50305.969
AT ITER 6430 NEW BEST:: SOT 233250 SOS 119254 HAS SOPS 114126 HAS SOUS 53117 HAS SOUPS 50142 WITH SCORE 50261.254
AT ITER 6435 NEW BEST:: SOT 233240 SOS 119244 HAS SOPS 114116 HAS SOUS 53107 HAS SOUPS 50132 WITH SCORE 50251.244
AT ITER 6453 NEW BEST:: SOT 233273 SOS 119243 HAS SOPS 114115 HAS SOUS 53021 HAS SOUPS 50046 WITH SCORE 50165.243
AT ITER 6470 NEW BEST:: SOT 233271 SOS 119241 HAS SOPS 114113 HAS SOUS 53021 HAS SOUPS 50046 WITH SCORE 50165.241
AT ITER 6479 NEW BEST:: SOT 233661 SOS 120619 HAS SOPS 115722 HAS SOUS 52928 HAS SOUPS 50029 WITH SCORE 50149.619
AT ITER 6484 NEW BEST:: SOT 233535 SOS 120598 HAS SOPS 115701 HAS SOUS 52860 HAS SOUPS 49961 WITH SCORE 50081.598
AT ITER 6535 NEW BEST:: SOT 233535 SOS 120393 HAS SOPS 115496 HAS SOUS 52845 HAS SOUPS 49946 WITH SCORE 50066.393
AT ITER 6547 NEW BEST:: SOT 233535 SOS 120247 HAS SOPS 115244 HAS SOUS 52865 HAS SOUPS 49903 WITH SCORE 50023.247
AT ITER 6548 NEW BEST:: SOT 233469 SOS 120181 HAS SOPS 115178 HAS SOUS 52785 HAS SOUPS 49823 WITH SCORE 49943.181
AT ITER 6549 NEW BEST:: SOT 233427 SOS 120139 HAS SOPS 115136 HAS SOUS 52743 HAS SOUPS 49781 WITH SCORE 49901.139
AT ITER 6562 NEW BEST:: SOT 233473 SOS 120784 HAS SOPS 115795 HAS SOUS 52709 HAS SOUPS 49761 WITH SCORE 49881.784
AT ITER 6575 NEW BEST:: SOT 233405 SOS 120666 HAS SOPS 115609 HAS SOUS 52565 HAS SOUPS 49583 WITH SCORE 49703.666
AT ITER 6620 NEW BEST:: SOT 233407 SOS 120666 HAS SOPS 115609 HAS SOUS 52562 HAS SOUPS 49580 WITH SCORE 49700.666
AT ITER 6631 NEW BEST:: SOT 233365 SOS 120635 HAS SOPS 115598 HAS SOUS 52539 HAS SOUPS 49577 WITH SCORE 49697.635
AT ITER 6634 NEW BEST:: SOT 233257 SOS 120527 HAS SOPS 115490 HAS SOUS 52428 HAS SOUPS 49466 WITH SCORE 49586.527
AT ITER 6635 NEW BEST:: SOT 233236 SOS 120492 HAS SOPS 115469 HAS SOUS 52393 HAS SOUPS 49438 WITH SCORE 49558.492
AT ITER 6645 NEW BEST:: SOT 233152 SOS 120447 HAS SOPS 115495 HAS SOUS 52387 HAS SOUPS 49432 WITH SCORE 49552.447
AT ITER 6685 NEW BEST:: SOT 233164 SOS 120463 HAS SOPS 115511 HAS SOUS 52385 HAS SOUPS 49430 WITH SCORE 49550.463
AT ITER 6696 NEW BEST:: SOT 233091 SOS 120279 HAS SOPS 115327 HAS SOUS 52327 HAS SOUPS 49372 WITH SCORE 49492.279
AT ITER 6704 NEW BEST:: SOT 233139 SOS 120399 HAS SOPS 115447 HAS SOUS 52316 HAS SOUPS 49361 WITH SCORE 49481.399
AT ITER 6745 NEW BEST:: SOT 233196 SOS 120422 HAS SOPS 115470 HAS SOUS 52314 HAS SOUPS 49359 WITH SCORE 49479.422
AT ITER 6754 NEW BEST:: SOT 233120 SOS 119727 HAS SOPS 114775 HAS SOUS 52303 HAS SOUPS 49348 WITH SCORE 49467.727
AT ITER 6760 NEW BEST:: SOT 233139 SOS 119797 HAS SOPS 114844 HAS SOUS 52297 HAS SOUPS 49342 WITH SCORE 49461.797
AT ITER 6762 NEW BEST:: SOT 233139 SOS 119695 HAS SOPS 114742 HAS SOUS 52297 HAS SOUPS 49342 WITH SCORE 49461.695
AT ITER 6775 NEW BEST:: SOT 233111 SOS 119653 HAS SOPS 114700 HAS SOUS 52283 HAS SOUPS 49328 WITH SCORE 49447.653
AT ITER 6779 NEW BEST:: SOT 233092 SOS 119634 HAS SOPS 114681 HAS SOUS 52276 HAS SOUPS 49321 WITH SCORE 49440.634
AT ITER 6790 NEW BEST:: SOT 232989 SOS 118952 HAS SOPS 113916 HAS SOUS 52311 HAS SOUPS 49273 WITH SCORE 49391.952
AT ITER 6804 NEW BEST:: SOT 232970 SOS 118933 HAS SOPS 113897 HAS SOUS 52294 HAS SOUPS 49256 WITH SCORE 49374.933
AT ITER 6853 NEW BEST:: SOT 232982 SOS 118966 HAS SOPS 113900 HAS SOUS 52274 HAS SOUPS 49211 WITH SCORE 49329.966
AT ITER 6865 NEW BEST:: SOT 232967 SOS 118844 HAS SOPS 113778 HAS SOUS 52230 HAS SOUPS 49167 WITH SCORE 49285.844
AT ITER 6905 NEW BEST:: SOT 233026 SOS 118903 HAS SOPS 113837 HAS SOUS 52160 HAS SOUPS 49097 WITH SCORE 49215.903
AT ITER 6927 NEW BEST:: SOT 233000 SOS 118877 HAS SOPS 113811 HAS SOUS 52136 HAS SOUPS 49073 WITH SCORE 49191.877
AT ITER 6939 NEW BEST:: SOT 233031 SOS 118706 HAS SOPS 113579 HAS SOUS 52124 HAS SOUPS 49061 WITH SCORE 49179.706
AT ITER 6941 NEW BEST:: SOT 233023 SOS 118658 HAS SOPS 113509 HAS SOUS 52121 HAS SOUPS 49048 WITH SCORE 49166.658
AT ITER 6964 NEW BEST:: SOT 232969 SOS 118674 HAS SOPS 113545 HAS SOUS 52088 HAS SOUPS 49035 WITH SCORE 49153.674
AT ITER 6968 NEW BEST:: SOT 232947 SOS 118652 HAS SOPS 113523 HAS SOUS 52033 HAS SOUPS 48980 WITH SCORE 49098.652
AT ITER 6975 NEW BEST:: SOT 232642 SOS 118423 HAS SOPS 113294 HAS SOUS 51902 HAS SOUPS 48849 WITH SCORE 48967.423
AT ITER 6991 NEW BEST:: SOT 232664 SOS 118445 HAS SOPS 113316 HAS SOUS 51898 HAS SOUPS 48845 WITH SCORE 48963.445
AT ITER 7066 NEW BEST:: SOT 232661 SOS 118441 HAS SOPS 113312 HAS SOUS 51876 HAS SOUPS 48823 WITH SCORE 48941.441
AT ITER 7071 NEW BEST:: SOT 232640 SOS 118420 HAS SOPS 113291 HAS SOUS 51835 HAS SOUPS 48782 WITH SCORE 48900.42
AT ITER 7085 NEW BEST:: SOT 232640 SOS 118294 HAS SOPS 113165 HAS SOUS 51835 HAS SOUPS 48782 WITH SCORE 48900.294
AT ITER 7123 NEW BEST:: SOT 232587 SOS 118253 HAS SOPS 113124 HAS SOUS 51766 HAS SOUPS 48713 WITH SCORE 48831.253
AT ITER 7155 NEW BEST:: SOT 232567 SOS 118233 HAS SOPS 113104 HAS SOUS 51746 HAS SOUPS 48693 WITH SCORE 48811.233
AT ITER 7257 NEW BEST:: SOT 232483 SOS 118149 HAS SOPS 113020 HAS SOUS 51726 HAS SOUPS 48673 WITH SCORE 48791.149
AT ITER 7276 NEW BEST:: SOT 232429 SOS 118138 HAS SOPS 113015 HAS SOUS 51661 HAS SOUPS 48614 WITH SCORE 48732.138
AT ITER 7282 NEW BEST:: SOT 232409 SOS 118541 HAS SOPS 113418 HAS SOUS 51641 HAS SOUPS 48594 WITH SCORE 48712.541
AT ITER 7298 NEW BEST:: SOT 231571 SOS 118157 HAS SOPS 113034 HAS SOUS 51479 HAS SOUPS 48432 WITH SCORE 48550.157
AT ITER 7301 NEW BEST:: SOT 231561 SOS 118147 HAS SOPS 113024 HAS SOUS 51469 HAS SOUPS 48422 WITH SCORE 48540.147
AT ITER 7317 NEW BEST:: SOT 231553 SOS 118135 HAS SOPS 113012 HAS SOUS 51458 HAS SOUPS 48411 WITH SCORE 48529.135
AT ITER 7326 NEW BEST:: SOT 231507 SOS 118276 HAS SOPS 113196 HAS SOUS 51435 HAS SOUPS 48408 WITH SCORE 48526.276
AT ITER 7327 NEW BEST:: SOT 231427 SOS 118013 HAS SOPS 112933 HAS SOUS 51354 HAS SOUPS 48327 WITH SCORE 48445.013
AT ITER 7330 NEW BEST:: SOT 231444 SOS 118030 HAS SOPS 112950 HAS SOUS 51348 HAS SOUPS 48321 WITH SCORE 48439.03
AT ITER 7331 NEW BEST:: SOT 231498 SOS 118078 HAS SOPS 112944 HAS SOUS 51360 HAS SOUPS 48297 WITH SCORE 48415.078
AT ITER 7340 NEW BEST:: SOT 231474 SOS 118070 HAS SOPS 112936 HAS SOUS 51336 HAS SOUPS 48273 WITH SCORE 48391.07
AT ITER 7341 NEW BEST:: SOT 231494 SOS 117869 HAS SOPS 112735 HAS SOUS 51313 HAS SOUPS 48250 WITH SCORE 48367.869
AT ITER 7419 NEW BEST:: SOT 231494 SOS 116731 HAS SOPS 111377 HAS SOUS 51423 HAS SOUPS 48250 WITH SCORE 48366.731
AT ITER 7428 NEW BEST:: SOT 231485 SOS 116722 HAS SOPS 111368 HAS SOUS 51402 HAS SOUPS 48229 WITH SCORE 48345.722
AT ITER 7431 NEW BEST:: SOT 231420 SOS 116564 HAS SOPS 111210 HAS SOUS 51400 HAS SOUPS 48227 WITH SCORE 48343.564
AT ITER 7432 NEW BEST:: SOT 231420 SOS 116810 HAS SOPS 111456 HAS SOUS 51394 HAS SOUPS 48221 WITH SCORE 48337.81
AT ITER 7455 NEW BEST:: SOT 231404 SOS 116778 HAS SOPS 111424 HAS SOUS 51382 HAS SOUPS 48209 WITH SCORE 48325.778
AT ITER 7469 NEW BEST:: SOT 231394 SOS 116751 HAS SOPS 111334 HAS SOUS 51377 HAS SOUPS 48159 WITH SCORE 48275.751
AT ITER 7491 NEW BEST:: SOT 231322 SOS 116630 HAS SOPS 111213 HAS SOUS 51280 HAS SOUPS 48062 WITH SCORE 48178.63
AT ITER 7554 NEW BEST:: SOT 231304 SOS 116632 HAS SOPS 111215 HAS SOUS 51264 HAS SOUPS 48046 WITH SCORE 48162.632
AT ITER 7558 NEW BEST:: SOT 231304 SOS 116634 HAS SOPS 111213 HAS SOUS 51260 HAS SOUPS 48040 WITH SCORE 48156.634
AT ITER 7590 NEW BEST:: SOT 231292 SOS 116610 HAS SOPS 111189 HAS SOUS 51254 HAS SOUPS 48034 WITH SCORE 48150.61
AT ITER 7592 NEW BEST:: SOT 231292 SOS 116600 HAS SOPS 111179 HAS SOUS 51245 HAS SOUPS 48025 WITH SCORE 48141.6
AT ITER 7701 NEW BEST:: SOT 231327 SOS 116614 HAS SOPS 111193 HAS SOUS 51203 HAS SOUPS 47983 WITH SCORE 48099.614
AT ITER 7704 NEW BEST:: SOT 231311 SOS 116598 HAS SOPS 111177 HAS SOUS 51189 HAS SOUPS 47969 WITH SCORE 48085.598
AT ITER 7732 NEW BEST:: SOT 231243 SOS 116590 HAS SOPS 111179 HAS SOUS 51169 HAS SOUPS 47949 WITH SCORE 48065.59
AT ITER 7733 NEW BEST:: SOT 231243 SOS 116598 HAS SOPS 111167 HAS SOUS 51153 HAS SOUPS 47913 WITH SCORE 48029.598
AT ITER 7737 NEW BEST:: SOT 231195 SOS 116466 HAS SOPS 111035 HAS SOUS 51145 HAS SOUPS 47905 WITH SCORE 48021.466
AT ITER 7741 NEW BEST:: SOT 231197 SOS 116417 HAS SOPS 110986 HAS SOUS 51145 HAS SOUPS 47905 WITH SCORE 48021.417
AT ITER 7746 NEW BEST:: SOT 231055 SOS 116328 HAS SOPS 110897 HAS SOUS 51131 HAS SOUPS 47891 WITH SCORE 48007.328
AT ITER 7750 NEW BEST:: SOT 231055 SOS 116304 HAS SOPS 110873 HAS SOUS 51125 HAS SOUPS 47885 WITH SCORE 48001.304
AT ITER 7754 NEW BEST:: SOT 230712 SOS 115961 HAS SOPS 110530 HAS SOUS 50940 HAS SOUPS 47700 WITH SCORE 47815.961
AT ITER 7797 NEW BEST:: SOT 230723 SOS 115955 HAS SOPS 110524 HAS SOUS 50874 HAS SOUPS 47634 WITH SCORE 47749.955
AT ITER 7857 NEW BEST:: SOT 230648 SOS 115955 HAS SOPS 110524 HAS SOUS 50799 HAS SOUPS 47559 WITH SCORE 47674.955
AT ITER 7884 NEW BEST:: SOT 230657 SOS 115777 HAS SOPS 110346 HAS SOUS 50795 HAS SOUPS 47555 WITH SCORE 47670.777
AT ITER 7897 NEW BEST:: SOT 230636 SOS 115747 HAS SOPS 110312 HAS SOUS 50761 HAS SOUPS 47517 WITH SCORE 47632.747
AT ITER 7918 NEW BEST:: SOT 230634 SOS 115745 HAS SOPS 110310 HAS SOUS 50757 HAS SOUPS 47513 WITH SCORE 47628.745
AT ITER 7924 NEW BEST:: SOT 230528 SOS 115853 HAS SOPS 110423 HAS SOUS 50682 HAS SOUPS 47443 WITH SCORE 47558.853
AT ITER 7950 NEW BEST:: SOT 230619 SOS 115929 HAS SOPS 110496 HAS SOUS 50683 HAS SOUPS 47441 WITH SCORE 47556.929
AT ITER 7960 NEW BEST:: SOT 230633 SOS 115943 HAS SOPS 110510 HAS SOUS 50658 HAS SOUPS 47416 WITH SCORE 47531.943
AT ITER 7980 NEW BEST:: SOT 230561 SOS 115751 HAS SOPS 110318 HAS SOUS 50610 HAS SOUPS 47368 WITH SCORE 47483.751
AT ITER 7985 NEW BEST:: SOT 230615 SOS 115836 HAS SOPS 110403 HAS SOUS 50596 HAS SOUPS 47354 WITH SCORE 47469.836
AT ITER 7986 NEW BEST:: SOT 230615 SOS 115836 HAS SOPS 110403 HAS SOUS 50592 HAS SOUPS 47350 WITH SCORE 47465.836
AT ITER 8040 NEW BEST:: SOT 230843 SOS 116088 HAS SOPS 110345 HAS SOUS 50707 HAS SOUPS 47310 WITH SCORE 47426.088
AT ITER 8051 NEW BEST:: SOT 230801 SOS 116020 HAS SOPS 110277 HAS SOUS 50673 HAS SOUPS 47276 WITH SCORE 47392.02
AT ITER 8079 NEW BEST:: SOT 230744 SOS 116088 HAS SOPS 110345 HAS SOUS 50671 HAS SOUPS 47274 WITH SCORE 47390.088
AT ITER 8082 NEW BEST:: SOT 230748 SOS 116088 HAS SOPS 110341 HAS SOUS 50663 HAS SOUPS 47266 WITH SCORE 47382.088
AT ITER 8129 NEW BEST:: SOT 230748 SOS 115740 HAS SOPS 110125 HAS SOUS 50597 HAS SOUPS 47266 WITH SCORE 47381.74
AT ITER 8154 NEW BEST:: SOT 230746 SOS 115586 HAS SOPS 109938 HAS SOUS 50580 HAS SOUPS 47232 WITH SCORE 47347.586
AT ITER 8159 NEW BEST:: SOT 230746 SOS 115559 HAS SOPS 109911 HAS SOUS 50571 HAS SOUPS 47223 WITH SCORE 47338.559
AT ITER 8196 NEW BEST:: SOT 230486 SOS 115441 HAS SOPS 109846 HAS SOUS 50417 HAS SOUPS 47069 WITH SCORE 47184.441
AT ITER 8213 NEW BEST:: SOT 230516 SOS 115414 HAS SOPS 109760 HAS SOUS 50368 HAS SOUPS 47000 WITH SCORE 47115.414
AT ITER 8231 NEW BEST:: SOT 230513 SOS 115417 HAS SOPS 109763 HAS SOUS 50362 HAS SOUPS 46994 WITH SCORE 47109.417
AT ITER 8232 NEW BEST:: SOT 230492 SOS 115390 HAS SOPS 109742 HAS SOUS 50338 HAS SOUPS 46973 WITH SCORE 47088.39
AT ITER 8250 NEW BEST:: SOT 230498 SOS 115396 HAS SOPS 109748 HAS SOUS 50270 HAS SOUPS 46905 WITH SCORE 47020.396
AT ITER 8254 NEW BEST:: SOT 230482 SOS 115380 HAS SOPS 109732 HAS SOUS 50250 HAS SOUPS 46885 WITH SCORE 47000.38
AT ITER 8264 NEW BEST:: SOT 230476 SOS 115372 HAS SOPS 109724 HAS SOUS 50238 HAS SOUPS 46873 WITH SCORE 46988.372
AT ITER 8318 NEW BEST:: SOT 230480 SOS 115420 HAS SOPS 109772 HAS SOUS 50213 HAS SOUPS 46848 WITH SCORE 46963.42
AT ITER 8325 NEW BEST:: SOT 230447 SOS 115441 HAS SOPS 109793 HAS SOUS 50204 HAS SOUPS 46839 WITH SCORE 46954.441
AT ITER 8382 NEW BEST:: SOT 230444 SOS 115438 HAS SOPS 109790 HAS SOUS 50201 HAS SOUPS 46836 WITH SCORE 46951.438
AT ITER 8387 NEW BEST:: SOT 230444 SOS 115436 HAS SOPS 109788 HAS SOUS 50193 HAS SOUPS 46828 WITH SCORE 46943.436
AT ITER 8388 NEW BEST:: SOT 230422 SOS 115430 HAS SOPS 109782 HAS SOUS 50189 HAS SOUPS 46824 WITH SCORE 46939.43
AT ITER 8390 NEW BEST:: SOT 230422 SOS 115405 HAS SOPS 109757 HAS SOUS 50189 HAS SOUPS 46824 WITH SCORE 46939.405
AT ITER 8427 NEW BEST:: SOT 230073 SOS 115400 HAS SOPS 109614 HAS SOUS 50305 HAS SOUPS 46815 WITH SCORE 46930.4
AT ITER 8451 NEW BEST:: SOT 230054 SOS 115565 HAS SOPS 109779 HAS SOUS 50238 HAS SOUPS 46748 WITH SCORE 46863.565
AT ITER 8456 NEW BEST:: SOT 230039 SOS 115618 HAS SOPS 109832 HAS SOUS 50225 HAS SOUPS 46735 WITH SCORE 46850.618
AT ITER 8458 NEW BEST:: SOT 230052 SOS 114956 HAS SOPS 109155 HAS SOUS 50220 HAS SOUPS 46730 WITH SCORE 46844.956
AT ITER 8486 NEW BEST:: SOT 230048 SOS 115116 HAS SOPS 109315 HAS SOUS 50212 HAS SOUPS 46722 WITH SCORE 46837.116
AT ITER 8487 NEW BEST:: SOT 230048 SOS 114974 HAS SOPS 109173 HAS SOUS 50186 HAS SOUPS 46696 WITH SCORE 46810.974
AT ITER 8489 NEW BEST:: SOT 230017 SOS 114943 HAS SOPS 109142 HAS SOUS 50155 HAS SOUPS 46665 WITH SCORE 46779.943
AT ITER 8500 NEW BEST:: SOT 229937 SOS 114863 HAS SOPS 109062 HAS SOUS 50116 HAS SOUPS 46626 WITH SCORE 46740.863
AT ITER 8563 NEW BEST:: SOT 229936 SOS 114862 HAS SOPS 109061 HAS SOUS 50116 HAS SOUPS 46626 WITH SCORE 46740.862
AT ITER 8609 NEW BEST:: SOT 229968 SOS 115015 HAS SOPS 109214 HAS SOUS 50104 HAS SOUPS 46614 WITH SCORE 46729.015
AT ITER 8666 NEW BEST:: SOT 229968 SOS 114737 HAS SOPS 108994 HAS SOUS 50048 HAS SOUPS 46587 WITH SCORE 46701.737
AT ITER 8719 NEW BEST:: SOT 229817 SOS 114600 HAS SOPS 108860 HAS SOUS 49904 HAS SOUPS 46443 WITH SCORE 46557.6
AT ITER 8790 NEW BEST:: SOT 229816 SOS 114336 HAS SOPS 108555 HAS SOUS 49900 HAS SOUPS 46420 WITH SCORE 46534.336
AT ITER 8800 NEW BEST:: SOT 229747 SOS 114267 HAS SOPS 108486 HAS SOUS 49832 HAS SOUPS 46352 WITH SCORE 46466.267
AT ITER 8851 NEW BEST:: SOT 229713 SOS 114233 HAS SOPS 108452 HAS SOUS 49799 HAS SOUPS 46319 WITH SCORE 46433.233
AT ITER 8865 NEW BEST:: SOT 229698 SOS 114132 HAS SOPS 108351 HAS SOUS 49730 HAS SOUPS 46250 WITH SCORE 46364.132
AT ITER 8888 NEW BEST:: SOT 229704 SOS 114120 HAS SOPS 108327 HAS SOUS 49736 HAS SOUPS 46250 WITH SCORE 46364.12
AT ITER 8909 NEW BEST:: SOT 229654 SOS 113895 HAS SOPS 108102 HAS SOUS 49732 HAS SOUPS 46246 WITH SCORE 46359.895
AT ITER 8933 NEW BEST:: SOT 229654 SOS 113817 HAS SOPS 108024 HAS SOUS 49732 HAS SOUPS 46246 WITH SCORE 46359.817
AT ITER 8947 NEW BEST:: SOT 229701 SOS 113826 HAS SOPS 108032 HAS SOUS 49731 HAS SOUPS 46244 WITH SCORE 46357.826
AT ITER 8949 NEW BEST:: SOT 229701 SOS 113773 HAS SOPS 107943 HAS SOUS 49726 HAS SOUPS 46227 WITH SCORE 46340.773
AT ITER 8981 NEW BEST:: SOT 229665 SOS 113737 HAS SOPS 107907 HAS SOUS 49668 HAS SOUPS 46169 WITH SCORE 46282.737
AT ITER 8982 NEW BEST:: SOT 229619 SOS 113687 HAS SOPS 107859 HAS SOUS 49586 HAS SOUPS 46089 WITH SCORE 46202.687
AT ITER 9008 NEW BEST:: SOT 229600 SOS 113345 HAS SOPS 107504 HAS SOUS 49522 HAS SOUPS 46025 WITH SCORE 46138.345
AT ITER 9069 NEW BEST:: SOT 229533 SOS 112988 HAS SOPS 107147 HAS SOUS 49494 HAS SOUPS 45997 WITH SCORE 46109.988
AT ITER 9160 NEW BEST:: SOT 229513 SOS 112968 HAS SOPS 107127 HAS SOUS 49494 HAS SOUPS 45997 WITH SCORE 46109.968
AT ITER 9195 NEW BEST:: SOT 229478 SOS 112936 HAS SOPS 107099 HAS SOUS 49467 HAS SOUPS 45973 WITH SCORE 46085.936
AT ITER 9258 NEW BEST:: SOT 229480 SOS 112995 HAS SOPS 107158 HAS SOUS 49455 HAS SOUPS 45961 WITH SCORE 46073.995
AT ITER 9260 NEW BEST:: SOT 229468 SOS 112746 HAS SOPS 106909 HAS SOUS 49296 HAS SOUPS 45802 WITH SCORE 45914.746
AT ITER 9280 NEW BEST:: SOT 229408 SOS 112550 HAS SOPS 106713 HAS SOUS 49216 HAS SOUPS 45722 WITH SCORE 45834.55
AT ITER 9321 NEW BEST:: SOT 229312 SOS 112376 HAS SOPS 106539 HAS SOUS 49081 HAS SOUPS 45587 WITH SCORE 45699.376
AT ITER 9322 NEW BEST:: SOT 229305 SOS 112350 HAS SOPS 106513 HAS SOUS 49072 HAS SOUPS 45578 WITH SCORE 45690.35
AT ITER 9331 NEW BEST:: SOT 229249 SOS 112216 HAS SOPS 106457 HAS SOUS 48968 HAS SOUPS 45513 WITH SCORE 45625.216
AT ITER 9343 NEW BEST:: SOT 228882 SOS 111822 HAS SOPS 106063 HAS SOUS 48856 HAS SOUPS 45401 WITH SCORE 45512.822
AT ITER 9414 NEW BEST:: SOT 228924 SOS 111864 HAS SOPS 106105 HAS SOUS 48836 HAS SOUPS 45381 WITH SCORE 45492.864
AT ITER 9423 NEW BEST:: SOT 228920 SOS 111941 HAS SOPS 106179 HAS SOUS 48832 HAS SOUPS 45377 WITH SCORE 45488.941
AT ITER 9437 NEW BEST:: SOT 228740 SOS 111437 HAS SOPS 105675 HAS SOUS 48528 HAS SOUPS 45073 WITH SCORE 45184.437
AT ITER 9438 NEW BEST:: SOT 228740 SOS 111437 HAS SOPS 105675 HAS SOUS 48524 HAS SOUPS 45069 WITH SCORE 45180.437
AT ITER 9442 NEW BEST:: SOT 228740 SOS 111430 HAS SOPS 105668 HAS SOUS 48496 HAS SOUPS 45041 WITH SCORE 45152.43
AT ITER 9473 NEW BEST:: SOT 228750 SOS 111749 HAS SOPS 105987 HAS SOUS 48262 HAS SOUPS 44807 WITH SCORE 44918.749
AT ITER 9474 NEW BEST:: SOT 228750 SOS 111763 HAS SOPS 106001 HAS SOUS 48260 HAS SOUPS 44805 WITH SCORE 44916.763
AT ITER 9479 NEW BEST:: SOT 228724 SOS 111729 HAS SOPS 105967 HAS SOUS 48212 HAS SOUPS 44757 WITH SCORE 44868.729
AT ITER 9481 NEW BEST:: SOT 228701 SOS 111706 HAS SOPS 105944 HAS SOUS 48181 HAS SOUPS 44726 WITH SCORE 44837.706
AT ITER 9581 NEW BEST:: SOT 228657 SOS 111765 HAS SOPS 106003 HAS SOUS 48143 HAS SOUPS 44688 WITH SCORE 44799.765
AT ITER 9585 NEW BEST:: SOT 228743 SOS 111849 HAS SOPS 106087 HAS SOUS 48069 HAS SOUPS 44614 WITH SCORE 44725.849
AT ITER 9603 NEW BEST:: SOT 228681 SOS 111787 HAS SOPS 106025 HAS SOUS 48017 HAS SOUPS 44562 WITH SCORE 44673.787
AT ITER 9605 NEW BEST:: SOT 228625 SOS 111676 HAS SOPS 105914 HAS SOUS 47972 HAS SOUPS 44517 WITH SCORE 44628.676
AT ITER 9638 NEW BEST:: SOT 228609 SOS 111656 HAS SOPS 105894 HAS SOUS 47936 HAS SOUPS 44481 WITH SCORE 44592.656
AT ITER 9648 NEW BEST:: SOT 228479 SOS 111098 HAS SOPS 105336 HAS SOUS 47616 HAS SOUPS 44161 WITH SCORE 44272.098
AT ITER 9649 NEW BEST:: SOT 228492 SOS 111118 HAS SOPS 105358 HAS SOUS 47565 HAS SOUPS 44111 WITH SCORE 44222.118
AT ITER 9661 NEW BEST:: SOT 228487 SOS 111111 HAS SOPS 105351 HAS SOUS 47555 HAS SOUPS 44101 WITH SCORE 44212.111
AT ITER 9664 NEW BEST:: SOT 228396 SOS 111315 HAS SOPS 105467 HAS SOUS 47572 HAS SOUPS 44030 WITH SCORE 44141.315
AT ITER 9670 NEW BEST:: SOT 228380 SOS 111291 HAS SOPS 105443 HAS SOUS 47531 HAS SOUPS 43989 WITH SCORE 44100.291
AT ITER 9696 NEW BEST:: SOT 228380 SOS 111349 HAS SOPS 105501 HAS SOUS 47527 HAS SOUPS 43985 WITH SCORE 44096.349
AT ITER 9697 NEW BEST:: SOT 228380 SOS 111343 HAS SOPS 105495 HAS SOUS 47527 HAS SOUPS 43985 WITH SCORE 44096.343
AT ITER 9719 NEW BEST:: SOT 228339 SOS 111302 HAS SOPS 105454 HAS SOUS 47519 HAS SOUPS 43977 WITH SCORE 44088.302
AT ITER 9800 NEW BEST:: SOT 228245 SOS 111194 HAS SOPS 105346 HAS SOUS 47373 HAS SOUPS 43831 WITH SCORE 43942.194
AT ITER 9805 NEW BEST:: SOT 228241 SOS 111091 HAS SOPS 105265 HAS SOUS 47347 HAS SOUPS 43816 WITH SCORE 43927.091
AT ITER 9815 NEW BEST:: SOT 228262 SOS 111112 HAS SOPS 105286 HAS SOUS 47277 HAS SOUPS 43746 WITH SCORE 43857.112
AT ITER 9842 NEW BEST:: SOT 228262 SOS 111040 HAS SOPS 105214 HAS SOUS 47277 HAS SOUPS 43746 WITH SCORE 43857.04
AT ITER 9862 NEW BEST:: SOT 228177 SOS 110887 HAS SOPS 105061 HAS SOUS 47181 HAS SOUPS 43650 WITH SCORE 43760.887
AT ITER 9863 NEW BEST:: SOT 228223 SOS 110875 HAS SOPS 105049 HAS SOUS 47144 HAS SOUPS 43613 WITH SCORE 43723.875
AT ITER 9907 NEW BEST:: SOT 228229 SOS 110881 HAS SOPS 105055 HAS SOUS 47138 HAS SOUPS 43607 WITH SCORE 43717.881
AT ITER 9958 NEW BEST:: SOT 228230 SOS 110800 HAS SOPS 104974 HAS SOUS 47138 HAS SOUPS 43607 WITH SCORE 43717.8
AT ITER 9965 NEW BEST:: SOT 228216 SOS 110786 HAS SOPS 104960 HAS SOUS 47102 HAS SOUPS 43571 WITH SCORE 43681.786
AT ITER 9981 NEW BEST:: SOT 228210 SOS 110792 HAS SOPS 104978 HAS SOUS 47089 HAS SOUPS 43570 WITH SCORE 43680.792
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 4526276 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153532 kB

BK_TIME_CONFINEMENT_REACHED

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

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="NoC3x3-PT-5A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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