About the Execution of Smart for Peterson-PT-4
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
7875.268 | 3600000.00 | 3599879.00 | 272.70 | [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-167863534800624.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 Peterson-PT-4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534800624
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.0M
-rw-r--r-- 1 mcc users 68K Feb 25 22:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 323K Feb 25 22:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 71K Feb 25 22:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 340K Feb 25 22:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 31K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 39K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 138K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 255K Feb 25 22:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.1M Feb 25 22:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 225K Feb 25 22:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.1M Feb 25 22:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 298K 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 1678837984187
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=Peterson-PT-4
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Peterson (PT), instance 4
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: 480 places, 690 transitions, 2120 arcs.
AT ITER 0 NEW BEST:: SOT 232065 SOS 98737 HAS SOPS 92617 HAS SOUS 93350 HAS SOUPS 89750 WITH SCORE 89848.737
AT ITER 1 NEW BEST:: SOT 232065 SOS 98697 HAS SOPS 92577 HAS SOUS 93350 HAS SOUPS 89750 WITH SCORE 89848.697
AT ITER 2 NEW BEST:: SOT 231968 SOS 98396 HAS SOPS 92276 HAS SOUS 93049 HAS SOUPS 89449 WITH SCORE 89547.396
AT ITER 6 NEW BEST:: SOT 231934 SOS 98425 HAS SOPS 92305 HAS SOUS 93015 HAS SOUPS 89415 WITH SCORE 89513.425
AT ITER 8 NEW BEST:: SOT 231883 SOS 98414 HAS SOPS 92242 HAS SOUS 92983 HAS SOUPS 89383 WITH SCORE 89481.414
AT ITER 11 NEW BEST:: SOT 231883 SOS 98386 HAS SOPS 92214 HAS SOUS 92983 HAS SOUPS 89383 WITH SCORE 89481.386
AT ITER 21 NEW BEST:: SOT 231783 SOS 98186 HAS SOPS 92014 HAS SOUS 92783 HAS SOUPS 89183 WITH SCORE 89281.186
AT ITER 22 NEW BEST:: SOT 231676 SOS 97972 HAS SOPS 91800 HAS SOUS 92569 HAS SOUPS 88969 WITH SCORE 89066.972
AT ITER 29 NEW BEST:: SOT 231663 SOS 97969 HAS SOPS 91822 HAS SOUS 92551 HAS SOUPS 88951 WITH SCORE 89048.969
AT ITER 30 NEW BEST:: SOT 231663 SOS 97957 HAS SOPS 91806 HAS SOUS 92551 HAS SOUPS 88947 WITH SCORE 89044.957
AT ITER 32 NEW BEST:: SOT 231604 SOS 97839 HAS SOPS 91688 HAS SOUS 92433 HAS SOUPS 88829 WITH SCORE 88926.839
AT ITER 33 NEW BEST:: SOT 231635 SOS 97911 HAS SOPS 92079 HAS SOUS 92152 HAS SOUPS 88751 WITH SCORE 88848.911
AT ITER 37 NEW BEST:: SOT 231625 SOS 97891 HAS SOPS 91627 HAS SOUS 91700 HAS SOUPS 88299 WITH SCORE 88396.891
AT ITER 38 NEW BEST:: SOT 231555 SOS 97851 HAS SOPS 91519 HAS SOUS 91642 HAS SOUPS 88241 WITH SCORE 88338.851
AT ITER 42 NEW BEST:: SOT 231510 SOS 97805 HAS SOPS 91473 HAS SOUS 91597 HAS SOUPS 88196 WITH SCORE 88293.805
AT ITER 45 NEW BEST:: SOT 231435 SOS 97787 HAS SOPS 91455 HAS SOUS 91447 HAS SOUPS 88046 WITH SCORE 88143.787
AT ITER 47 NEW BEST:: SOT 231412 SOS 97741 HAS SOPS 91409 HAS SOUS 91401 HAS SOUPS 88000 WITH SCORE 88097.741
AT ITER 51 NEW BEST:: SOT 231370 SOS 97661 HAS SOPS 91449 HAS SOUS 91292 HAS SOUPS 87933 WITH SCORE 88030.661
AT ITER 53 NEW BEST:: SOT 231360 SOS 98003 HAS SOPS 91791 HAS SOUS 91278 HAS SOUPS 87919 WITH SCORE 88017.003
AT ITER 54 NEW BEST:: SOT 231331 SOS 97938 HAS SOPS 91749 HAS SOUS 91213 HAS SOUPS 87877 WITH SCORE 87974.938
AT ITER 55 NEW BEST:: SOT 231304 SOS 97884 HAS SOPS 91695 HAS SOUS 91159 HAS SOUPS 87823 WITH SCORE 87920.884
AT ITER 58 NEW BEST:: SOT 231280 SOS 97938 HAS SOPS 91723 HAS SOUS 91161 HAS SOUPS 87795 WITH SCORE 87892.938
AT ITER 62 NEW BEST:: SOT 231257 SOS 97922 HAS SOPS 91707 HAS SOUS 91137 HAS SOUPS 87771 WITH SCORE 87868.922
AT ITER 63 NEW BEST:: SOT 230034 SOS 98509 HAS SOPS 92571 HAS SOUS 90455 HAS SOUPS 87262 WITH SCORE 87360.509
AT ITER 69 NEW BEST:: SOT 229970 SOS 98381 HAS SOPS 92443 HAS SOUS 90327 HAS SOUPS 87134 WITH SCORE 87232.381
AT ITER 74 NEW BEST:: SOT 229970 SOS 98306 HAS SOPS 92368 HAS SOUS 90327 HAS SOUPS 87134 WITH SCORE 87232.306
AT ITER 75 NEW BEST:: SOT 228443 SOS 97431 HAS SOPS 91702 HAS SOUS 89024 HAS SOUPS 85978 WITH SCORE 86075.431
AT ITER 76 NEW BEST:: SOT 228086 SOS 97125 HAS SOPS 91403 HAS SOUS 88667 HAS SOUPS 85638 WITH SCORE 85735.125
AT ITER 78 NEW BEST:: SOT 228086 SOS 97073 HAS SOPS 91351 HAS SOUS 88667 HAS SOUPS 85638 WITH SCORE 85735.073
AT ITER 85 NEW BEST:: SOT 227968 SOS 96837 HAS SOPS 91115 HAS SOUS 88431 HAS SOUPS 85402 WITH SCORE 85498.837
AT ITER 88 NEW BEST:: SOT 227936 SOS 96747 HAS SOPS 91145 HAS SOUS 88347 HAS SOUPS 85350 WITH SCORE 85446.747
AT ITER 91 NEW BEST:: SOT 227862 SOS 96525 HAS SOPS 91145 HAS SOUS 88125 HAS SOUPS 85202 WITH SCORE 85298.525
AT ITER 98 NEW BEST:: SOT 227862 SOS 96502 HAS SOPS 91122 HAS SOUS 88125 HAS SOUPS 85202 WITH SCORE 85298.502
AT ITER 99 NEW BEST:: SOT 227849 SOS 96476 HAS SOPS 91096 HAS SOUS 88112 HAS SOUPS 85189 WITH SCORE 85285.476
AT ITER 102 NEW BEST:: SOT 227849 SOS 96425 HAS SOPS 91045 HAS SOUS 88112 HAS SOUPS 85189 WITH SCORE 85285.425
AT ITER 103 NEW BEST:: SOT 227717 SOS 96219 HAS SOPS 91101 HAS SOUS 86505 HAS SOUPS 83757 WITH SCORE 83853.219
AT ITER 104 NEW BEST:: SOT 227657 SOS 96099 HAS SOPS 90981 HAS SOUS 86385 HAS SOUPS 83637 WITH SCORE 83733.099
AT ITER 105 NEW BEST:: SOT 226177 SOS 96025 HAS SOPS 91207 HAS SOUS 85101 HAS SOUPS 82547 WITH SCORE 82643.025
AT ITER 107 NEW BEST:: SOT 226156 SOS 96004 HAS SOPS 91186 HAS SOUS 85059 HAS SOUPS 82505 WITH SCORE 82601.004
AT ITER 108 NEW BEST:: SOT 225798 SOS 95681 HAS SOPS 90828 HAS SOUS 84737 HAS SOUPS 82148 WITH SCORE 82243.681
AT ITER 114 NEW BEST:: SOT 225798 SOS 95535 HAS SOPS 90828 HAS SOUS 84737 HAS SOUPS 82148 WITH SCORE 82243.535
AT ITER 116 NEW BEST:: SOT 225686 SOS 95182 HAS SOPS 90475 HAS SOUS 84513 HAS SOUPS 81924 WITH SCORE 82019.182
AT ITER 117 NEW BEST:: SOT 225671 SOS 95167 HAS SOPS 90460 HAS SOUS 84501 HAS SOUPS 81912 WITH SCORE 82007.167
AT ITER 119 NEW BEST:: SOT 225655 SOS 95135 HAS SOPS 90428 HAS SOUS 84456 HAS SOUPS 81880 WITH SCORE 81975.135
AT ITER 126 NEW BEST:: SOT 225597 SOS 95019 HAS SOPS 90312 HAS SOUS 84340 HAS SOUPS 81764 WITH SCORE 81859.019
AT ITER 128 NEW BEST:: SOT 225537 SOS 95030 HAS SOPS 90266 HAS SOUS 84351 HAS SOUPS 81718 WITH SCORE 81813.03
AT ITER 140 NEW BEST:: SOT 225466 SOS 94685 HAS SOPS 90124 HAS SOUS 84209 HAS SOUPS 81576 WITH SCORE 81670.685
AT ITER 145 NEW BEST:: SOT 225381 SOS 94515 HAS SOPS 89954 HAS SOUS 84039 HAS SOUPS 81406 WITH SCORE 81500.515
AT ITER 147 NEW BEST:: SOT 225300 SOS 94329 HAS SOPS 89768 HAS SOUS 83877 HAS SOUPS 81244 WITH SCORE 81338.329
AT ITER 148 NEW BEST:: SOT 225241 SOS 94270 HAS SOPS 89709 HAS SOUS 83867 HAS SOUPS 81234 WITH SCORE 81328.27
AT ITER 152 NEW BEST:: SOT 223793 SOS 93986 HAS SOPS 89663 HAS SOUS 82773 HAS SOUPS 80313 WITH SCORE 80406.986
AT ITER 153 NEW BEST:: SOT 223732 SOS 93989 HAS SOPS 89666 HAS SOUS 82712 HAS SOUPS 80252 WITH SCORE 80345.989
AT ITER 154 NEW BEST:: SOT 223726 SOS 93977 HAS SOPS 89654 HAS SOUS 82700 HAS SOUPS 80240 WITH SCORE 80333.977
AT ITER 156 NEW BEST:: SOT 223642 SOS 93911 HAS SOPS 89606 HAS SOUS 82616 HAS SOUPS 80174 WITH SCORE 80267.911
AT ITER 157 NEW BEST:: SOT 223590 SOS 93870 HAS SOPS 89514 HAS SOUS 82564 HAS SOUPS 80122 WITH SCORE 80215.87
AT ITER 165 NEW BEST:: SOT 223589 SOS 93868 HAS SOPS 89512 HAS SOUS 82562 HAS SOUPS 80120 WITH SCORE 80213.868
AT ITER 170 NEW BEST:: SOT 223455 SOS 93466 HAS SOPS 88708 HAS SOUS 81892 HAS SOUPS 79450 WITH SCORE 79543.466
AT ITER 171 NEW BEST:: SOT 223661 SOS 93468 HAS SOPS 88347 HAS SOUS 81684 HAS SOUPS 79176 WITH SCORE 79269.468
AT ITER 173 NEW BEST:: SOT 223649 SOS 93444 HAS SOPS 88323 HAS SOUS 81660 HAS SOUPS 79152 WITH SCORE 79245.444
AT ITER 176 NEW BEST:: SOT 223643 SOS 93440 HAS SOPS 88311 HAS SOUS 81591 HAS SOUPS 79140 WITH SCORE 79233.44
AT ITER 178 NEW BEST:: SOT 223657 SOS 92918 HAS SOPS 87765 HAS SOUS 81532 HAS SOUPS 79081 WITH SCORE 79173.918
AT ITER 182 NEW BEST:: SOT 223109 SOS 92589 HAS SOPS 87786 HAS SOUS 81327 HAS SOUPS 78959 WITH SCORE 79051.589
AT ITER 184 NEW BEST:: SOT 223080 SOS 92531 HAS SOPS 87728 HAS SOUS 81269 HAS SOUPS 78901 WITH SCORE 78993.531
AT ITER 186 NEW BEST:: SOT 223054 SOS 92448 HAS SOPS 87598 HAS SOUS 81242 HAS SOUPS 78874 WITH SCORE 78966.448
AT ITER 189 NEW BEST:: SOT 222887 SOS 91811 HAS SOPS 87509 HAS SOUS 79866 HAS SOUPS 77665 WITH SCORE 77756.811
AT ITER 193 NEW BEST:: SOT 222856 SOS 91784 HAS SOPS 87453 HAS SOUS 79864 HAS SOUPS 77634 WITH SCORE 77725.784
AT ITER 197 NEW BEST:: SOT 222777 SOS 91675 HAS SOPS 87344 HAS SOUS 79792 HAS SOUPS 77562 WITH SCORE 77653.675
AT ITER 198 NEW BEST:: SOT 222345 SOS 91377 HAS SOPS 87143 HAS SOUS 79382 HAS SOUPS 77227 WITH SCORE 77318.377
AT ITER 199 NEW BEST:: SOT 222165 SOS 90795 HAS SOPS 86831 HAS SOUS 78393 HAS SOUPS 76335 WITH SCORE 76425.795
AT ITER 200 NEW BEST:: SOT 222081 SOS 90627 HAS SOPS 86663 HAS SOUS 78225 HAS SOUPS 76167 WITH SCORE 76257.627
AT ITER 201 NEW BEST:: SOT 222048 SOS 90464 HAS SOPS 86605 HAS SOUS 77887 HAS SOUPS 75862 WITH SCORE 75952.464
AT ITER 203 NEW BEST:: SOT 221845 SOS 90113 HAS SOPS 86287 HAS SOUS 77515 HAS SOUPS 75490 WITH SCORE 75580.113
AT ITER 205 NEW BEST:: SOT 221792 SOS 90007 HAS SOPS 86181 HAS SOUS 77409 HAS SOUPS 75384 WITH SCORE 75474.007
AT ITER 206 NEW BEST:: SOT 221769 SOS 89984 HAS SOPS 86158 HAS SOUS 77363 HAS SOUPS 75338 WITH SCORE 75427.984
AT ITER 208 NEW BEST:: SOT 221769 SOS 89945 HAS SOPS 86119 HAS SOUS 77363 HAS SOUPS 75338 WITH SCORE 75427.945
AT ITER 211 NEW BEST:: SOT 221768 SOS 89952 HAS SOPS 86126 HAS SOUS 77361 HAS SOUPS 75336 WITH SCORE 75425.952
AT ITER 225 NEW BEST:: SOT 221761 SOS 89923 HAS SOPS 86097 HAS SOUS 77353 HAS SOUPS 75328 WITH SCORE 75417.923
AT ITER 230 NEW BEST:: SOT 221692 SOS 89854 HAS SOPS 86028 HAS SOUS 77215 HAS SOUPS 75190 WITH SCORE 75279.854
AT ITER 234 NEW BEST:: SOT 221731 SOS 89340 HAS SOPS 85436 HAS SOUS 77173 HAS SOUPS 75135 WITH SCORE 75224.34
AT ITER 254 NEW BEST:: SOT 221731 SOS 89260 HAS SOPS 85356 HAS SOUS 77173 HAS SOUPS 75135 WITH SCORE 75224.26
AT ITER 256 NEW BEST:: SOT 221746 SOS 88853 HAS SOPS 85251 HAS SOUS 76117 HAS SOUPS 74205 WITH SCORE 74293.853
AT ITER 267 NEW BEST:: SOT 221719 SOS 88799 HAS SOPS 85197 HAS SOUS 76063 HAS SOUPS 74151 WITH SCORE 74239.799
AT ITER 271 NEW BEST:: SOT 221719 SOS 88435 HAS SOPS 84833 HAS SOUS 76061 HAS SOUPS 74149 WITH SCORE 74237.435
AT ITER 274 NEW BEST:: SOT 221705 SOS 88407 HAS SOPS 84805 HAS SOUS 76033 HAS SOUPS 74121 WITH SCORE 74209.407
AT ITER 276 NEW BEST:: SOT 221589 SOS 88052 HAS SOPS 84450 HAS SOUS 75710 HAS SOUPS 73798 WITH SCORE 73886.052
AT ITER 278 NEW BEST:: SOT 221627 SOS 87417 HAS SOPS 84075 HAS SOUS 74463 HAS SOUPS 72733 WITH SCORE 72820.417
AT ITER 283 NEW BEST:: SOT 221610 SOS 87383 HAS SOPS 84041 HAS SOUS 74429 HAS SOUPS 72699 WITH SCORE 72786.383
AT ITER 293 NEW BEST:: SOT 221855 SOS 87358 HAS SOPS 83579 HAS SOUS 74423 HAS SOUPS 72521 WITH SCORE 72608.358
AT ITER 295 NEW BEST:: SOT 221855 SOS 87357 HAS SOPS 83579 HAS SOUS 74422 HAS SOUPS 72520 WITH SCORE 72607.357
AT ITER 296 NEW BEST:: SOT 221791 SOS 87327 HAS SOPS 83597 HAS SOUS 74342 HAS SOUPS 72440 WITH SCORE 72527.327
AT ITER 298 NEW BEST:: SOT 222082 SOS 87631 HAS SOPS 84054 HAS SOUS 73527 HAS SOUPS 71718 WITH SCORE 71805.631
AT ITER 299 NEW BEST:: SOT 221756 SOS 87426 HAS SOPS 83632 HAS SOUS 73525 HAS SOUPS 71620 WITH SCORE 71707.426
AT ITER 305 NEW BEST:: SOT 221686 SOS 87106 HAS SOPS 83262 HAS SOUS 73305 HAS SOUPS 71400 WITH SCORE 71487.106
AT ITER 308 NEW BEST:: SOT 221742 SOS 86768 HAS SOPS 82910 HAS SOUS 73256 HAS SOUPS 71374 WITH SCORE 71460.768
AT ITER 311 NEW BEST:: SOT 221623 SOS 86530 HAS SOPS 82672 HAS SOUS 73018 HAS SOUPS 71136 WITH SCORE 71222.53
AT ITER 320 NEW BEST:: SOT 221514 SOS 86312 HAS SOPS 82454 HAS SOUS 72800 HAS SOUPS 70918 WITH SCORE 71004.312
AT ITER 322 NEW BEST:: SOT 221452 SOS 86250 HAS SOPS 82392 HAS SOUS 72759 HAS SOUPS 70877 WITH SCORE 70963.25
AT ITER 324 NEW BEST:: SOT 221452 SOS 86228 HAS SOPS 82381 HAS SOUS 72759 HAS SOUPS 70877 WITH SCORE 70963.228
AT ITER 326 NEW BEST:: SOT 221378 SOS 86132 HAS SOPS 82285 HAS SOUS 72663 HAS SOUPS 70781 WITH SCORE 70867.132
AT ITER 334 NEW BEST:: SOT 221370 SOS 86124 HAS SOPS 82283 HAS SOUS 72661 HAS SOUPS 70779 WITH SCORE 70865.124
AT ITER 337 NEW BEST:: SOT 221368 SOS 86053 HAS SOPS 82173 HAS SOUS 72657 HAS SOUPS 70775 WITH SCORE 70861.053
AT ITER 338 NEW BEST:: SOT 221281 SOS 85918 HAS SOPS 82038 HAS SOUS 72483 HAS SOUPS 70601 WITH SCORE 70686.918
AT ITER 340 NEW BEST:: SOT 219872 SOS 84710 HAS SOPS 81039 HAS SOUS 71104 HAS SOUPS 69390 WITH SCORE 69474.71
AT ITER 353 NEW BEST:: SOT 219860 SOS 84686 HAS SOPS 81015 HAS SOUS 71080 HAS SOUPS 69366 WITH SCORE 69450.686
AT ITER 354 NEW BEST:: SOT 219123 SOS 84600 HAS SOPS 79745 HAS SOUS 70874 HAS SOUPS 68972 WITH SCORE 69056.6
AT ITER 358 NEW BEST:: SOT 219156 SOS 84596 HAS SOPS 79681 HAS SOUS 70810 HAS SOUPS 68908 WITH SCORE 68992.596
AT ITER 360 NEW BEST:: SOT 219156 SOS 84591 HAS SOPS 79678 HAS SOUS 70805 HAS SOUPS 68903 WITH SCORE 68987.591
AT ITER 361 NEW BEST:: SOT 219140 SOS 84559 HAS SOPS 79646 HAS SOUS 70773 HAS SOUPS 68871 WITH SCORE 68955.559
AT ITER 365 NEW BEST:: SOT 219040 SOS 84295 HAS SOPS 79382 HAS SOUS 70573 HAS SOUPS 68671 WITH SCORE 68755.295
AT ITER 373 NEW BEST:: SOT 218979 SOS 84379 HAS SOPS 79470 HAS SOUS 70545 HAS SOUPS 68643 WITH SCORE 68727.379
AT ITER 374 NEW BEST:: SOT 218966 SOS 84353 HAS SOPS 79444 HAS SOUS 70519 HAS SOUPS 68617 WITH SCORE 68701.353
AT ITER 378 NEW BEST:: SOT 218965 SOS 84344 HAS SOPS 79435 HAS SOUS 70517 HAS SOUPS 68615 WITH SCORE 68699.344
AT ITER 379 NEW BEST:: SOT 218965 SOS 84272 HAS SOPS 79339 HAS SOUS 70493 HAS SOUPS 68591 WITH SCORE 68675.272
AT ITER 380 NEW BEST:: SOT 219007 SOS 83540 HAS SOPS 79004 HAS SOUS 70073 HAS SOUPS 68268 WITH SCORE 68351.54
AT ITER 381 NEW BEST:: SOT 219017 SOS 83466 HAS SOPS 78836 HAS SOUS 69905 HAS SOUPS 68100 WITH SCORE 68183.466
AT ITER 382 NEW BEST:: SOT 219010 SOS 83452 HAS SOPS 78822 HAS SOUS 69891 HAS SOUPS 68086 WITH SCORE 68169.452
AT ITER 387 NEW BEST:: SOT 218974 SOS 83299 HAS SOPS 78669 HAS SOUS 69876 HAS SOUPS 68071 WITH SCORE 68154.299
AT ITER 391 NEW BEST:: SOT 218935 SOS 83352 HAS SOPS 78722 HAS SOUS 69846 HAS SOUPS 68041 WITH SCORE 68124.352
AT ITER 392 NEW BEST:: SOT 218925 SOS 83332 HAS SOPS 78702 HAS SOUS 69826 HAS SOUPS 68021 WITH SCORE 68104.332
AT ITER 402 NEW BEST:: SOT 218888 SOS 83171 HAS SOPS 78541 HAS SOUS 69752 HAS SOUPS 67947 WITH SCORE 68030.171
AT ITER 406 NEW BEST:: SOT 218866 SOS 83149 HAS SOPS 78497 HAS SOUS 69708 HAS SOUPS 67903 WITH SCORE 67986.149
AT ITER 409 NEW BEST:: SOT 218849 SOS 83124 HAS SOPS 78472 HAS SOUS 69674 HAS SOUPS 67869 WITH SCORE 67952.124
AT ITER 413 NEW BEST:: SOT 218842 SOS 83110 HAS SOPS 78472 HAS SOUS 69674 HAS SOUPS 67869 WITH SCORE 67952.11
AT ITER 418 NEW BEST:: SOT 218826 SOS 83094 HAS SOPS 78440 HAS SOUS 69646 HAS SOUPS 67841 WITH SCORE 67924.094
AT ITER 422 NEW BEST:: SOT 218764 SOS 83085 HAS SOPS 78412 HAS SOUS 69586 HAS SOUPS 67756 WITH SCORE 67839.085
AT ITER 425 NEW BEST:: SOT 218764 SOS 83079 HAS SOPS 78406 HAS SOUS 69580 HAS SOUPS 67750 WITH SCORE 67833.079
AT ITER 427 NEW BEST:: SOT 218755 SOS 83034 HAS SOPS 78361 HAS SOUS 69571 HAS SOUPS 67741 WITH SCORE 67824.034
AT ITER 429 NEW BEST:: SOT 218734 SOS 82992 HAS SOPS 78319 HAS SOUS 69529 HAS SOUPS 67699 WITH SCORE 67781.992
AT ITER 430 NEW BEST:: SOT 218714 SOS 82972 HAS SOPS 78299 HAS SOUS 69489 HAS SOUPS 67659 WITH SCORE 67741.972
AT ITER 432 NEW BEST:: SOT 218424 SOS 83034 HAS SOPS 78412 HAS SOUS 69387 HAS SOUPS 67567 WITH SCORE 67650.034
AT ITER 434 NEW BEST:: SOT 218438 SOS 82241 HAS SOPS 77619 HAS SOUS 69260 HAS SOUPS 67440 WITH SCORE 67522.241
AT ITER 441 NEW BEST:: SOT 218278 SOS 81847 HAS SOPS 77225 HAS SOUS 68940 HAS SOUPS 67120 WITH SCORE 67201.847
AT ITER 450 NEW BEST:: SOT 218209 SOS 81657 HAS SOPS 77087 HAS SOUS 68802 HAS SOUPS 66982 WITH SCORE 67063.657
AT ITER 456 NEW BEST:: SOT 218158 SOS 81761 HAS SOPS 77191 HAS SOUS 68778 HAS SOUPS 66958 WITH SCORE 67039.761
AT ITER 465 NEW BEST:: SOT 218007 SOS 81447 HAS SOPS 76877 HAS SOUS 68464 HAS SOUPS 66644 WITH SCORE 66725.447
AT ITER 488 NEW BEST:: SOT 218143 SOS 81168 HAS SOPS 76963 HAS SOUS 68330 HAS SOUPS 66560 WITH SCORE 66641.168
AT ITER 499 NEW BEST:: SOT 218160 SOS 80981 HAS SOPS 76930 HAS SOUS 68194 HAS SOUPS 66527 WITH SCORE 66607.981
AT ITER 501 NEW BEST:: SOT 217945 SOS 80551 HAS SOPS 76500 HAS SOUS 67764 HAS SOUPS 66097 WITH SCORE 66177.551
AT ITER 510 NEW BEST:: SOT 217793 SOS 80284 HAS SOPS 76233 HAS SOUS 67460 HAS SOUPS 65793 WITH SCORE 65873.284
AT ITER 511 NEW BEST:: SOT 217663 SOS 80144 HAS SOPS 76093 HAS SOUS 67310 HAS SOUPS 65643 WITH SCORE 65723.144
AT ITER 523 NEW BEST:: SOT 217630 SOS 80116 HAS SOPS 76065 HAS SOUS 67276 HAS SOUPS 65609 WITH SCORE 65689.116
AT ITER 524 NEW BEST:: SOT 217624 SOS 80104 HAS SOPS 76053 HAS SOUS 67264 HAS SOUPS 65597 WITH SCORE 65677.104
AT ITER 527 NEW BEST:: SOT 217742 SOS 80015 HAS SOPS 76085 HAS SOUS 66789 HAS SOUPS 65165 WITH SCORE 65245.015
AT ITER 531 NEW BEST:: SOT 217601 SOS 79682 HAS SOPS 75935 HAS SOUS 66626 HAS SOUPS 65015 WITH SCORE 65094.682
AT ITER 533 NEW BEST:: SOT 217544 SOS 79700 HAS SOPS 75953 HAS SOUS 66512 HAS SOUPS 64901 WITH SCORE 64980.7
AT ITER 534 NEW BEST:: SOT 217543 SOS 79698 HAS SOPS 75951 HAS SOUS 66510 HAS SOUPS 64899 WITH SCORE 64978.698
AT ITER 542 NEW BEST:: SOT 217426 SOS 79464 HAS SOPS 75717 HAS SOUS 66276 HAS SOUPS 64665 WITH SCORE 64744.464
AT ITER 551 NEW BEST:: SOT 217365 SOS 79418 HAS SOPS 75671 HAS SOUS 66202 HAS SOUPS 64591 WITH SCORE 64670.418
AT ITER 566 NEW BEST:: SOT 217262 SOS 79212 HAS SOPS 75465 HAS SOUS 65996 HAS SOUPS 64385 WITH SCORE 64464.212
AT ITER 573 NEW BEST:: SOT 217483 SOS 79199 HAS SOPS 75739 HAS SOUS 65732 HAS SOUPS 64208 WITH SCORE 64287.199
AT ITER 575 NEW BEST:: SOT 217483 SOS 79119 HAS SOPS 75659 HAS SOUS 65732 HAS SOUPS 64208 WITH SCORE 64287.119
AT ITER 580 NEW BEST:: SOT 217415 SOS 79036 HAS SOPS 75532 HAS SOUS 65605 HAS SOUPS 64081 WITH SCORE 64160.036
AT ITER 589 NEW BEST:: SOT 217415 SOS 78307 HAS SOPS 74803 HAS SOUS 65605 HAS SOUPS 64081 WITH SCORE 64159.307
AT ITER 590 NEW BEST:: SOT 217363 SOS 78146 HAS SOPS 74642 HAS SOUS 65553 HAS SOUPS 64029 WITH SCORE 64107.146
AT ITER 591 NEW BEST:: SOT 217334 SOS 78088 HAS SOPS 74584 HAS SOUS 65495 HAS SOUPS 63971 WITH SCORE 64049.088
AT ITER 595 NEW BEST:: SOT 217310 SOS 78040 HAS SOPS 74536 HAS SOUS 65447 HAS SOUPS 63923 WITH SCORE 64001.04
AT ITER 598 NEW BEST:: SOT 217287 SOS 77994 HAS SOPS 74490 HAS SOUS 65401 HAS SOUPS 63877 WITH SCORE 63954.994
AT ITER 608 NEW BEST:: SOT 217235 SOS 77890 HAS SOPS 74386 HAS SOUS 65297 HAS SOUPS 63773 WITH SCORE 63850.89
AT ITER 611 NEW BEST:: SOT 217213 SOS 77846 HAS SOPS 74342 HAS SOUS 65253 HAS SOUPS 63729 WITH SCORE 63806.846
AT ITER 618 NEW BEST:: SOT 217174 SOS 77768 HAS SOPS 74264 HAS SOUS 65175 HAS SOUPS 63651 WITH SCORE 63728.768
AT ITER 620 NEW BEST:: SOT 217252 SOS 77536 HAS SOPS 74012 HAS SOUS 64956 HAS SOUPS 63432 WITH SCORE 63509.536
AT ITER 629 NEW BEST:: SOT 217250 SOS 77532 HAS SOPS 74008 HAS SOUS 64952 HAS SOUPS 63428 WITH SCORE 63505.532
AT ITER 631 NEW BEST:: SOT 217253 SOS 77465 HAS SOPS 73941 HAS SOUS 64885 HAS SOUPS 63361 WITH SCORE 63438.465
AT ITER 632 NEW BEST:: SOT 217193 SOS 77420 HAS SOPS 73881 HAS SOUS 64825 HAS SOUPS 63301 WITH SCORE 63378.42
AT ITER 639 NEW BEST:: SOT 217193 SOS 77420 HAS SOPS 73881 HAS SOUS 64799 HAS SOUPS 63275 WITH SCORE 63352.42
AT ITER 644 NEW BEST:: SOT 216840 SOS 77574 HAS SOPS 73710 HAS SOUS 64730 HAS SOUPS 63115 WITH SCORE 63192.574
AT ITER 652 NEW BEST:: SOT 216800 SOS 77574 HAS SOPS 73680 HAS SOUS 64710 HAS SOUPS 63085 WITH SCORE 63162.574
AT ITER 656 NEW BEST:: SOT 216788 SOS 77550 HAS SOPS 73656 HAS SOUS 64686 HAS SOUPS 63061 WITH SCORE 63138.55
AT ITER 661 NEW BEST:: SOT 216664 SOS 77677 HAS SOPS 73799 HAS SOUS 64634 HAS SOUPS 63009 WITH SCORE 63086.677
AT ITER 666 NEW BEST:: SOT 216725 SOS 77764 HAS SOPS 73894 HAS SOUS 64591 HAS SOUPS 62974 WITH SCORE 63051.764
AT ITER 667 NEW BEST:: SOT 216725 SOS 77706 HAS SOPS 73836 HAS SOUS 64533 HAS SOUPS 62916 WITH SCORE 62993.706
AT ITER 670 NEW BEST:: SOT 216694 SOS 77644 HAS SOPS 73774 HAS SOUS 64471 HAS SOUPS 62854 WITH SCORE 62931.644
AT ITER 674 NEW BEST:: SOT 216721 SOS 77457 HAS SOPS 73693 HAS SOUS 64300 HAS SOUPS 62710 WITH SCORE 62787.457
AT ITER 680 NEW BEST:: SOT 216714 SOS 77443 HAS SOPS 73679 HAS SOUS 64286 HAS SOUPS 62696 WITH SCORE 62773.443
AT ITER 687 NEW BEST:: SOT 215609 SOS 78597 HAS SOPS 72583 HAS SOUS 63552 HAS SOUPS 61703 WITH SCORE 61781.597
AT ITER 689 NEW BEST:: SOT 215611 SOS 78629 HAS SOPS 72567 HAS SOUS 63531 HAS SOUPS 61682 WITH SCORE 61760.629
AT ITER 695 NEW BEST:: SOT 215293 SOS 79033 HAS SOPS 72971 HAS SOUS 63523 HAS SOUPS 61674 WITH SCORE 61753.033
AT ITER 697 NEW BEST:: SOT 215205 SOS 78857 HAS SOPS 72795 HAS SOUS 63347 HAS SOUPS 61498 WITH SCORE 61576.857
AT ITER 699 NEW BEST:: SOT 215123 SOS 78693 HAS SOPS 72631 HAS SOUS 63183 HAS SOUPS 61334 WITH SCORE 61412.693
AT ITER 710 NEW BEST:: SOT 215085 SOS 78005 HAS SOPS 72389 HAS SOUS 62796 HAS SOUPS 61053 WITH SCORE 61131.005
AT ITER 711 NEW BEST:: SOT 214970 SOS 77666 HAS SOPS 72159 HAS SOUS 62566 HAS SOUPS 60823 WITH SCORE 60900.666
AT ITER 722 NEW BEST:: SOT 214963 SOS 77641 HAS SOPS 72134 HAS SOUS 62550 HAS SOUPS 60807 WITH SCORE 60884.641
AT ITER 725 NEW BEST:: SOT 214867 SOS 77461 HAS SOPS 71954 HAS SOUS 62472 HAS SOUPS 60729 WITH SCORE 60806.461
AT ITER 734 NEW BEST:: SOT 214870 SOS 77449 HAS SOPS 71942 HAS SOUS 62469 HAS SOUPS 60726 WITH SCORE 60803.449
AT ITER 735 NEW BEST:: SOT 214870 SOS 77464 HAS SOPS 71827 HAS SOUS 62381 HAS SOUPS 60638 WITH SCORE 60715.464
AT ITER 740 NEW BEST:: SOT 214797 SOS 77274 HAS SOPS 71637 HAS SOUS 62235 HAS SOUPS 60492 WITH SCORE 60569.274
AT ITER 742 NEW BEST:: SOT 214633 SOS 76921 HAS SOPS 71309 HAS SOUS 61906 HAS SOUPS 60164 WITH SCORE 60240.921
AT ITER 752 NEW BEST:: SOT 214585 SOS 76825 HAS SOPS 71213 HAS SOUS 61810 HAS SOUPS 60068 WITH SCORE 60144.825
AT ITER 758 NEW BEST:: SOT 214530 SOS 76687 HAS SOPS 71064 HAS SOUS 61676 HAS SOUPS 59934 WITH SCORE 60010.687
AT ITER 760 NEW BEST:: SOT 213738 SOS 76774 HAS SOPS 70213 HAS SOUS 61895 HAS SOUPS 59881 WITH SCORE 59957.774
AT ITER 772 NEW BEST:: SOT 213698 SOS 76702 HAS SOPS 70141 HAS SOUS 61815 HAS SOUPS 59801 WITH SCORE 59877.702
AT ITER 776 NEW BEST:: SOT 213622 SOS 76532 HAS SOPS 70012 HAS SOUS 61773 HAS SOUPS 59759 WITH SCORE 59835.532
AT ITER 795 NEW BEST:: SOT 213630 SOS 76893 HAS SOPS 70270 HAS SOUS 61867 HAS SOUPS 59742 WITH SCORE 59818.893
AT ITER 798 NEW BEST:: SOT 213608 SOS 76827 HAS SOPS 70248 HAS SOUS 61669 HAS SOUPS 59566 WITH SCORE 59642.827
AT ITER 822 NEW BEST:: SOT 213391 SOS 76358 HAS SOPS 69779 HAS SOUS 61200 HAS SOUPS 59097 WITH SCORE 59173.358
AT ITER 823 NEW BEST:: SOT 213395 SOS 76354 HAS SOPS 69781 HAS SOUS 61184 HAS SOUPS 59083 WITH SCORE 59159.354
AT ITER 831 NEW BEST:: SOT 213324 SOS 76212 HAS SOPS 69639 HAS SOUS 61042 HAS SOUPS 58941 WITH SCORE 59017.212
AT ITER 837 NEW BEST:: SOT 214019 SOS 76026 HAS SOPS 70272 HAS SOUS 60746 HAS SOUPS 58837 WITH SCORE 58913.026
AT ITER 843 NEW BEST:: SOT 213845 SOS 75678 HAS SOPS 69924 HAS SOUS 60398 HAS SOUPS 58489 WITH SCORE 58564.678
AT ITER 846 NEW BEST:: SOT 213842 SOS 75672 HAS SOPS 69918 HAS SOUS 60392 HAS SOUPS 58483 WITH SCORE 58558.672
AT ITER 848 NEW BEST:: SOT 213762 SOS 75713 HAS SOPS 69961 HAS SOUS 60340 HAS SOUPS 58431 WITH SCORE 58506.713
AT ITER 853 NEW BEST:: SOT 213637 SOS 76371 HAS SOPS 70036 HAS SOUS 60415 HAS SOUPS 58403 WITH SCORE 58479.371
AT ITER 854 NEW BEST:: SOT 213634 SOS 76365 HAS SOPS 70030 HAS SOUS 60409 HAS SOUPS 58397 WITH SCORE 58473.365
AT ITER 863 NEW BEST:: SOT 213549 SOS 76273 HAS SOPS 69931 HAS SOUS 60311 HAS SOUPS 58299 WITH SCORE 58375.273
AT ITER 866 NEW BEST:: SOT 213549 SOS 75743 HAS SOPS 69918 HAS SOUS 60253 HAS SOUPS 58277 WITH SCORE 58352.743
AT ITER 879 NEW BEST:: SOT 213549 SOS 75743 HAS SOPS 69916 HAS SOUS 60251 HAS SOUPS 58275 WITH SCORE 58350.743
AT ITER 882 NEW BEST:: SOT 213467 SOS 75673 HAS SOPS 69752 HAS SOUS 60087 HAS SOUPS 58111 WITH SCORE 58186.673
AT ITER 884 NEW BEST:: SOT 213467 SOS 75655 HAS SOPS 69734 HAS SOUS 60087 HAS SOUPS 58111 WITH SCORE 58186.655
AT ITER 887 NEW BEST:: SOT 213388 SOS 75497 HAS SOPS 69576 HAS SOUS 59929 HAS SOUPS 57953 WITH SCORE 58028.497
AT ITER 889 NEW BEST:: SOT 213374 SOS 75413 HAS SOPS 69492 HAS SOUS 59901 HAS SOUPS 57925 WITH SCORE 58000.413
AT ITER 891 NEW BEST:: SOT 213399 SOS 75403 HAS SOPS 69398 HAS SOUS 59867 HAS SOUPS 57891 WITH SCORE 57966.403
AT ITER 895 NEW BEST:: SOT 213365 SOS 75500 HAS SOPS 69495 HAS SOUS 59844 HAS SOUPS 57868 WITH SCORE 57943.5
AT ITER 896 NEW BEST:: SOT 213253 SOS 75132 HAS SOPS 69127 HAS SOUS 59620 HAS SOUPS 57644 WITH SCORE 57719.132
AT ITER 917 NEW BEST:: SOT 213197 SOS 75015 HAS SOPS 69071 HAS SOUS 59508 HAS SOUPS 57532 WITH SCORE 57607.015
AT ITER 923 NEW BEST:: SOT 213177 SOS 74975 HAS SOPS 69031 HAS SOUS 59468 HAS SOUPS 57492 WITH SCORE 57566.975
AT ITER 930 NEW BEST:: SOT 213176 SOS 74973 HAS SOPS 69029 HAS SOUS 59466 HAS SOUPS 57490 WITH SCORE 57564.973
AT ITER 932 NEW BEST:: SOT 213118 SOS 74857 HAS SOPS 68913 HAS SOUS 59350 HAS SOUPS 57374 WITH SCORE 57448.857
AT ITER 949 NEW BEST:: SOT 213078 SOS 74778 HAS SOPS 68834 HAS SOUS 59294 HAS SOUPS 57318 WITH SCORE 57392.778
AT ITER 955 NEW BEST:: SOT 213003 SOS 74628 HAS SOPS 68684 HAS SOUS 59144 HAS SOUPS 57168 WITH SCORE 57242.628
AT ITER 960 NEW BEST:: SOT 213003 SOS 74596 HAS SOPS 68652 HAS SOUS 59144 HAS SOUPS 57168 WITH SCORE 57242.596
AT ITER 961 NEW BEST:: SOT 212947 SOS 74484 HAS SOPS 68540 HAS SOUS 59112 HAS SOUPS 57136 WITH SCORE 57210.484
AT ITER 964 NEW BEST:: SOT 212935 SOS 74460 HAS SOPS 68516 HAS SOUS 59088 HAS SOUPS 57112 WITH SCORE 57186.46
AT ITER 996 NEW BEST:: SOT 212942 SOS 74220 HAS SOPS 68290 HAS SOUS 59049 HAS SOUPS 57073 WITH SCORE 57147.22
AT ITER 997 NEW BEST:: SOT 212935 SOS 74199 HAS SOPS 68276 HAS SOUS 59028 HAS SOUPS 57059 WITH SCORE 57133.199
AT ITER 1000 NEW BEST:: SOT 212917 SOS 74012 HAS SOPS 68089 HAS SOUS 58992 HAS SOUPS 57023 WITH SCORE 57097.012
AT ITER 1003 NEW BEST:: SOT 212888 SOS 73830 HAS SOPS 67907 HAS SOUS 58903 HAS SOUPS 56934 WITH SCORE 57007.83
AT ITER 1006 NEW BEST:: SOT 211815 SOS 74225 HAS SOPS 66960 HAS SOUS 58875 HAS SOUPS 56645 WITH SCORE 56719.225
AT ITER 1015 NEW BEST:: SOT 211653 SOS 74173 HAS SOPS 66953 HAS SOUS 58758 HAS SOUPS 56528 WITH SCORE 56602.173
AT ITER 1016 NEW BEST:: SOT 211645 SOS 74149 HAS SOPS 66937 HAS SOUS 58742 HAS SOUPS 56512 WITH SCORE 56586.149
AT ITER 1023 NEW BEST:: SOT 211645 SOS 73977 HAS SOPS 66763 HAS SOUS 58738 HAS SOUPS 56508 WITH SCORE 56581.977
AT ITER 1025 NEW BEST:: SOT 211281 SOS 75734 HAS SOPS 68587 HAS SOUS 58690 HAS SOUPS 56460 WITH SCORE 56535.734
AT ITER 1028 NEW BEST:: SOT 211269 SOS 75702 HAS SOPS 68563 HAS SOUS 58676 HAS SOUPS 56446 WITH SCORE 56521.702
AT ITER 1032 NEW BEST:: SOT 211158 SOS 75501 HAS SOPS 68362 HAS SOUS 58475 HAS SOUPS 56245 WITH SCORE 56320.501
AT ITER 1041 NEW BEST:: SOT 211146 SOS 75505 HAS SOPS 68366 HAS SOUS 58463 HAS SOUPS 56233 WITH SCORE 56308.505
AT ITER 1046 NEW BEST:: SOT 211203 SOS 75505 HAS SOPS 68423 HAS SOUS 58425 HAS SOUPS 56214 WITH SCORE 56289.505
AT ITER 1048 NEW BEST:: SOT 211169 SOS 75437 HAS SOPS 68355 HAS SOUS 58357 HAS SOUPS 56146 WITH SCORE 56221.437
AT ITER 1055 NEW BEST:: SOT 211169 SOS 75387 HAS SOPS 68305 HAS SOUS 58357 HAS SOUPS 56146 WITH SCORE 56221.387
AT ITER 1073 NEW BEST:: SOT 211103 SOS 75459 HAS SOPS 68295 HAS SOUS 58375 HAS SOUPS 56136 WITH SCORE 56211.459
AT ITER 1084 NEW BEST:: SOT 211098 SOS 75449 HAS SOPS 68285 HAS SOUS 58365 HAS SOUPS 56126 WITH SCORE 56201.449
AT ITER 1086 NEW BEST:: SOT 211075 SOS 75403 HAS SOPS 68239 HAS SOUS 58356 HAS SOUPS 56117 WITH SCORE 56192.403
AT ITER 1092 NEW BEST:: SOT 211081 SOS 75409 HAS SOPS 68233 HAS SOUS 58356 HAS SOUPS 56111 WITH SCORE 56186.409
AT ITER 1098 NEW BEST:: SOT 211020 SOS 75242 HAS SOPS 68066 HAS SOUS 58234 HAS SOUPS 55989 WITH SCORE 56064.242
AT ITER 1100 NEW BEST:: SOT 210765 SOS 74762 HAS SOPS 67717 HAS SOUS 57973 HAS SOUPS 55728 WITH SCORE 55802.762
AT ITER 1102 NEW BEST:: SOT 210769 SOS 74797 HAS SOPS 67752 HAS SOUS 57884 HAS SOUPS 55639 WITH SCORE 55713.797
AT ITER 1108 NEW BEST:: SOT 210751 SOS 74689 HAS SOPS 67644 HAS SOUS 57848 HAS SOUPS 55603 WITH SCORE 55677.689
AT ITER 1112 NEW BEST:: SOT 210749 SOS 74685 HAS SOPS 67640 HAS SOUS 57844 HAS SOUPS 55599 WITH SCORE 55673.685
AT ITER 1120 NEW BEST:: SOT 210685 SOS 74534 HAS SOPS 67485 HAS SOUS 57750 HAS SOUPS 55505 WITH SCORE 55579.534
AT ITER 1142 NEW BEST:: SOT 210515 SOS 74219 HAS SOPS 67275 HAS SOUS 57540 HAS SOUPS 55295 WITH SCORE 55369.219
AT ITER 1144 NEW BEST:: SOT 210508 SOS 74175 HAS SOPS 67231 HAS SOUS 57539 HAS SOUPS 55294 WITH SCORE 55368.175
AT ITER 1152 NEW BEST:: SOT 210470 SOS 74099 HAS SOPS 67155 HAS SOUS 57463 HAS SOUPS 55218 WITH SCORE 55292.099
AT ITER 1185 NEW BEST:: SOT 210446 SOS 74051 HAS SOPS 67107 HAS SOUS 57415 HAS SOUPS 55170 WITH SCORE 55244.051
AT ITER 1187 NEW BEST:: SOT 210242 SOS 73721 HAS SOPS 66780 HAS SOUS 57160 HAS SOUPS 54915 WITH SCORE 54988.721
AT ITER 1208 NEW BEST:: SOT 210180 SOS 73650 HAS SOPS 66768 HAS SOUS 57152 HAS SOUPS 54907 WITH SCORE 54980.65
AT ITER 1210 NEW BEST:: SOT 210132 SOS 74694 HAS SOPS 67786 HAS SOUS 56871 HAS SOUPS 54626 WITH SCORE 54700.694
AT ITER 1221 NEW BEST:: SOT 210064 SOS 74558 HAS SOPS 67650 HAS SOUS 56735 HAS SOUPS 54490 WITH SCORE 54564.558
AT ITER 1222 NEW BEST:: SOT 210064 SOS 74555 HAS SOPS 67647 HAS SOUS 56732 HAS SOUPS 54487 WITH SCORE 54561.555
AT ITER 1229 NEW BEST:: SOT 209997 SOS 74358 HAS SOPS 67513 HAS SOUS 56598 HAS SOUPS 54353 WITH SCORE 54427.358
AT ITER 1235 NEW BEST:: SOT 209968 SOS 74322 HAS SOPS 67448 HAS SOUS 56540 HAS SOUPS 54295 WITH SCORE 54369.322
AT ITER 1247 NEW BEST:: SOT 209877 SOS 74044 HAS SOPS 67170 HAS SOUS 56358 HAS SOUPS 54113 WITH SCORE 54187.044
AT ITER 1251 NEW BEST:: SOT 209961 SOS 74059 HAS SOPS 67129 HAS SOUS 56313 HAS SOUPS 54068 WITH SCORE 54142.059
AT ITER 1257 NEW BEST:: SOT 209931 SOS 73999 HAS SOPS 67069 HAS SOUS 56253 HAS SOUPS 54008 WITH SCORE 54081.999
AT ITER 1259 NEW BEST:: SOT 209926 SOS 73983 HAS SOPS 67053 HAS SOUS 56247 HAS SOUPS 54002 WITH SCORE 54075.983
AT ITER 1260 NEW BEST:: SOT 209926 SOS 73967 HAS SOPS 67037 HAS SOUS 56247 HAS SOUPS 54002 WITH SCORE 54075.967
AT ITER 1271 NEW BEST:: SOT 209953 SOS 73832 HAS SOPS 66983 HAS SOUS 56193 HAS SOUPS 53975 WITH SCORE 54048.832
AT ITER 1277 NEW BEST:: SOT 209864 SOS 73717 HAS SOPS 66868 HAS SOUS 56034 HAS SOUPS 53816 WITH SCORE 53889.717
AT ITER 1279 NEW BEST:: SOT 209814 SOS 73604 HAS SOPS 66768 HAS SOUS 55934 HAS SOUPS 53716 WITH SCORE 53789.604
AT ITER 1280 NEW BEST:: SOT 209807 SOS 73590 HAS SOPS 66754 HAS SOUS 55920 HAS SOUPS 53702 WITH SCORE 53775.59
AT ITER 1289 NEW BEST:: SOT 209643 SOS 73601 HAS SOPS 67022 HAS SOUS 55865 HAS SOUPS 53647 WITH SCORE 53720.601
AT ITER 1297 NEW BEST:: SOT 209643 SOS 73553 HAS SOPS 66938 HAS SOUS 55825 HAS SOUPS 53607 WITH SCORE 53680.553
AT ITER 1301 NEW BEST:: SOT 209643 SOS 73553 HAS SOPS 66938 HAS SOUS 55813 HAS SOUPS 53595 WITH SCORE 53668.553
AT ITER 1309 NEW BEST:: SOT 209641 SOS 73551 HAS SOPS 66936 HAS SOUS 55811 HAS SOUPS 53593 WITH SCORE 53666.551
AT ITER 1311 NEW BEST:: SOT 209537 SOS 73394 HAS SOPS 66779 HAS SOUS 55654 HAS SOUPS 53436 WITH SCORE 53509.394
AT ITER 1314 NEW BEST:: SOT 209494 SOS 73265 HAS SOPS 66693 HAS SOUS 55568 HAS SOUPS 53350 WITH SCORE 53423.265
AT ITER 1318 NEW BEST:: SOT 209386 SOS 73121 HAS SOPS 66554 HAS SOUS 55442 HAS SOUPS 53224 WITH SCORE 53297.121
AT ITER 1319 NEW BEST:: SOT 209224 SOS 72970 HAS SOPS 66403 HAS SOUS 55118 HAS SOUPS 52900 WITH SCORE 52972.97
AT ITER 1322 NEW BEST:: SOT 209224 SOS 72946 HAS SOPS 66379 HAS SOUS 55118 HAS SOUPS 52900 WITH SCORE 52972.946
AT ITER 1329 NEW BEST:: SOT 209224 SOS 72937 HAS SOPS 66370 HAS SOUS 55118 HAS SOUPS 52900 WITH SCORE 52972.937
AT ITER 1334 NEW BEST:: SOT 209224 SOS 72927 HAS SOPS 66370 HAS SOUS 55118 HAS SOUPS 52900 WITH SCORE 52972.927
AT ITER 1337 NEW BEST:: SOT 209309 SOS 72897 HAS SOPS 66337 HAS SOUS 55055 HAS SOUPS 52837 WITH SCORE 52909.897
AT ITER 1343 NEW BEST:: SOT 209293 SOS 72816 HAS SOPS 66256 HAS SOUS 55023 HAS SOUPS 52805 WITH SCORE 52877.816
AT ITER 1349 NEW BEST:: SOT 209214 SOS 72283 HAS SOPS 65746 HAS SOUS 54848 HAS SOUPS 52630 WITH SCORE 52702.283
AT ITER 1355 NEW BEST:: SOT 209178 SOS 72275 HAS SOPS 65749 HAS SOUS 54800 HAS SOUPS 52582 WITH SCORE 52654.275
AT ITER 1356 NEW BEST:: SOT 209161 SOS 72149 HAS SOPS 65623 HAS SOUS 54766 HAS SOUPS 52548 WITH SCORE 52620.149
AT ITER 1357 NEW BEST:: SOT 209161 SOS 72149 HAS SOPS 65608 HAS SOUS 54751 HAS SOUPS 52533 WITH SCORE 52605.149
AT ITER 1384 NEW BEST:: SOT 209135 SOS 72097 HAS SOPS 65556 HAS SOUS 54699 HAS SOUPS 52481 WITH SCORE 52553.097
AT ITER 1402 NEW BEST:: SOT 208983 SOS 72014 HAS SOPS 65473 HAS SOUS 54562 HAS SOUPS 52344 WITH SCORE 52416.014
AT ITER 1404 NEW BEST:: SOT 208707 SOS 72489 HAS SOPS 65168 HAS SOUS 54372 HAS SOUPS 52039 WITH SCORE 52111.489
AT ITER 1410 NEW BEST:: SOT 208687 SOS 72441 HAS SOPS 65128 HAS SOUS 54332 HAS SOUPS 51999 WITH SCORE 52071.441
AT ITER 1431 NEW BEST:: SOT 208762 SOS 71573 HAS SOPS 64274 HAS SOUS 54256 HAS SOUPS 51923 WITH SCORE 51994.573
AT ITER 1449 NEW BEST:: SOT 208707 SOS 71463 HAS SOPS 64164 HAS SOUS 54146 HAS SOUPS 51813 WITH SCORE 51884.463
AT ITER 1474 NEW BEST:: SOT 208679 SOS 71407 HAS SOPS 64108 HAS SOUS 54090 HAS SOUPS 51757 WITH SCORE 51828.407
AT ITER 1486 NEW BEST:: SOT 208732 SOS 71301 HAS SOPS 63953 HAS SOUS 53849 HAS SOUPS 51516 WITH SCORE 51587.301
AT ITER 1504 NEW BEST:: SOT 208597 SOS 71104 HAS SOPS 63756 HAS SOUS 53652 HAS SOUPS 51319 WITH SCORE 51390.104
AT ITER 1516 NEW BEST:: SOT 207687 SOS 70262 HAS SOPS 62679 HAS SOUS 53051 HAS SOUPS 50597 WITH SCORE 50667.262
AT ITER 1525 NEW BEST:: SOT 207681 SOS 70234 HAS SOPS 62659 HAS SOUS 53039 HAS SOUPS 50585 WITH SCORE 50655.234
AT ITER 1543 NEW BEST:: SOT 207677 SOS 70226 HAS SOPS 62651 HAS SOUS 53031 HAS SOUPS 50577 WITH SCORE 50647.226
AT ITER 1546 NEW BEST:: SOT 207763 SOS 69323 HAS SOPS 61748 HAS SOUS 52989 HAS SOUPS 50535 WITH SCORE 50604.323
AT ITER 1568 NEW BEST:: SOT 207705 SOS 69352 HAS SOPS 61864 HAS SOUS 52960 HAS SOUPS 50506 WITH SCORE 50575.352
AT ITER 1576 NEW BEST:: SOT 207694 SOS 69330 HAS SOPS 61831 HAS SOUS 52938 HAS SOUPS 50473 WITH SCORE 50542.33
AT ITER 1590 NEW BEST:: SOT 207575 SOS 69197 HAS SOPS 61698 HAS SOUS 52852 HAS SOUPS 50387 WITH SCORE 50456.197
AT ITER 1592 NEW BEST:: SOT 207532 SOS 69111 HAS SOPS 61612 HAS SOUS 52766 HAS SOUPS 50301 WITH SCORE 50370.111
AT ITER 1596 NEW BEST:: SOT 207470 SOS 68951 HAS SOPS 61488 HAS SOUS 52642 HAS SOUPS 50177 WITH SCORE 50245.951
AT ITER 1608 NEW BEST:: SOT 207429 SOS 68747 HAS SOPS 61284 HAS SOUS 52589 HAS SOUPS 50124 WITH SCORE 50192.747
AT ITER 1623 NEW BEST:: SOT 207440 SOS 68730 HAS SOPS 61281 HAS SOUS 52517 HAS SOUPS 50059 WITH SCORE 50127.73
AT ITER 1630 NEW BEST:: SOT 207418 SOS 68708 HAS SOPS 61259 HAS SOUS 52495 HAS SOUPS 50037 WITH SCORE 50105.708
AT ITER 1648 NEW BEST:: SOT 207412 SOS 68698 HAS SOPS 61249 HAS SOUS 52485 HAS SOUPS 50027 WITH SCORE 50095.698
AT ITER 1652 NEW BEST:: SOT 207398 SOS 68752 HAS SOPS 61261 HAS SOUS 52533 HAS SOUPS 50019 WITH SCORE 50087.752
AT ITER 1653 NEW BEST:: SOT 207366 SOS 68688 HAS SOPS 61197 HAS SOUS 52469 HAS SOUPS 49955 WITH SCORE 50023.688
AT ITER 1657 NEW BEST:: SOT 207342 SOS 68820 HAS SOPS 61173 HAS SOUS 52457 HAS SOUPS 49931 WITH SCORE 49999.82
AT ITER 1661 NEW BEST:: SOT 207332 SOS 68791 HAS SOPS 61144 HAS SOUS 52431 HAS SOUPS 49905 WITH SCORE 49973.791
AT ITER 1662 NEW BEST:: SOT 207233 SOS 68197 HAS SOPS 60550 HAS SOUS 52233 HAS SOUPS 49707 WITH SCORE 49775.197
AT ITER 1673 NEW BEST:: SOT 207182 SOS 68106 HAS SOPS 60459 HAS SOUS 52143 HAS SOUPS 49617 WITH SCORE 49685.106
AT ITER 1674 NEW BEST:: SOT 207127 SOS 68051 HAS SOPS 60349 HAS SOUS 51978 HAS SOUPS 49452 WITH SCORE 49520.051
AT ITER 1688 NEW BEST:: SOT 207127 SOS 67731 HAS SOPS 60189 HAS SOUS 51978 HAS SOUPS 49452 WITH SCORE 49519.731
AT ITER 1698 NEW BEST:: SOT 207118 SOS 67713 HAS SOPS 60171 HAS SOUS 51960 HAS SOUPS 49434 WITH SCORE 49501.713
AT ITER 1704 NEW BEST:: SOT 207032 SOS 67541 HAS SOPS 59999 HAS SOUS 51870 HAS SOUPS 49344 WITH SCORE 49411.541
AT ITER 1722 NEW BEST:: SOT 207024 SOS 67525 HAS SOPS 59983 HAS SOUS 51854 HAS SOUPS 49328 WITH SCORE 49395.525
AT ITER 1761 NEW BEST:: SOT 207018 SOS 67513 HAS SOPS 59971 HAS SOUS 51842 HAS SOUPS 49316 WITH SCORE 49383.513
AT ITER 1762 NEW BEST:: SOT 206985 SOS 67438 HAS SOPS 59905 HAS SOUS 51776 HAS SOUPS 49250 WITH SCORE 49317.438
AT ITER 1765 NEW BEST:: SOT 206951 SOS 67370 HAS SOPS 59837 HAS SOUS 51708 HAS SOUPS 49182 WITH SCORE 49249.37
AT ITER 1766 NEW BEST:: SOT 206930 SOS 67592 HAS SOPS 60059 HAS SOUS 51666 HAS SOUPS 49140 WITH SCORE 49207.592
AT ITER 1771 NEW BEST:: SOT 206930 SOS 67584 HAS SOPS 60051 HAS SOUS 51666 HAS SOUPS 49140 WITH SCORE 49207.584
AT ITER 1772 NEW BEST:: SOT 206685 SOS 68019 HAS SOPS 59708 HAS SOUS 51763 HAS SOUPS 49139 WITH SCORE 49207.019
AT ITER 1773 NEW BEST:: SOT 206658 SOS 67965 HAS SOPS 59654 HAS SOUS 51709 HAS SOUPS 49085 WITH SCORE 49152.965
AT ITER 1778 NEW BEST:: SOT 206657 SOS 67963 HAS SOPS 59652 HAS SOUS 51707 HAS SOUPS 49083 WITH SCORE 49150.963
AT ITER 1790 NEW BEST:: SOT 206645 SOS 67939 HAS SOPS 59634 HAS SOUS 51689 HAS SOUPS 49065 WITH SCORE 49132.939
AT ITER 1794 NEW BEST:: SOT 206618 SOS 67885 HAS SOPS 59580 HAS SOUS 51635 HAS SOUPS 49011 WITH SCORE 49078.885
AT ITER 1795 NEW BEST:: SOT 206618 SOS 67724 HAS SOPS 59532 HAS SOUS 51604 HAS SOUPS 49004 WITH SCORE 49071.724
AT ITER 1808 NEW BEST:: SOT 206623 SOS 67845 HAS SOPS 59542 HAS SOUS 51567 HAS SOUPS 48967 WITH SCORE 49034.845
AT ITER 1810 NEW BEST:: SOT 206608 SOS 67824 HAS SOPS 59524 HAS SOUS 51546 HAS SOUPS 48949 WITH SCORE 49016.824
AT ITER 1811 NEW BEST:: SOT 206453 SOS 67435 HAS SOPS 59214 HAS SOUS 51236 HAS SOUPS 48639 WITH SCORE 48706.435
AT ITER 1818 NEW BEST:: SOT 206320 SOS 67610 HAS SOPS 58640 HAS SOUS 51324 HAS SOUPS 48622 WITH SCORE 48689.61
AT ITER 1819 NEW BEST:: SOT 206320 SOS 67531 HAS SOPS 58640 HAS SOUS 51324 HAS SOUPS 48622 WITH SCORE 48689.531
AT ITER 1853 NEW BEST:: SOT 206320 SOS 67527 HAS SOPS 58636 HAS SOUS 51324 HAS SOUPS 48622 WITH SCORE 48689.527
AT ITER 1854 NEW BEST:: SOT 206022 SOS 67313 HAS SOPS 58300 HAS SOUS 51026 HAS SOUPS 48286 WITH SCORE 48353.313
AT ITER 1863 NEW BEST:: SOT 205944 SOS 67157 HAS SOPS 58144 HAS SOUS 50870 HAS SOUPS 48130 WITH SCORE 48197.157
AT ITER 1868 NEW BEST:: SOT 205938 SOS 67145 HAS SOPS 58132 HAS SOUS 50858 HAS SOUPS 48118 WITH SCORE 48185.145
AT ITER 1877 NEW BEST:: SOT 205772 SOS 66978 HAS SOPS 57928 HAS SOUS 50654 HAS SOUPS 47914 WITH SCORE 47980.978
AT ITER 1891 NEW BEST:: SOT 205659 SOS 67773 HAS SOPS 57736 HAS SOUS 50682 HAS SOUPS 47862 WITH SCORE 47929.773
AT ITER 1896 NEW BEST:: SOT 205642 SOS 67594 HAS SOPS 57586 HAS SOUS 50648 HAS SOUPS 47828 WITH SCORE 47895.594
AT ITER 1899 NEW BEST:: SOT 205642 SOS 67571 HAS SOPS 57563 HAS SOUS 50625 HAS SOUPS 47805 WITH SCORE 47872.571
AT ITER 1904 NEW BEST:: SOT 205592 SOS 67547 HAS SOPS 57489 HAS SOUS 50598 HAS SOUPS 47778 WITH SCORE 47845.547
AT ITER 1915 NEW BEST:: SOT 205533 SOS 67385 HAS SOPS 57371 HAS SOUS 50480 HAS SOUPS 47660 WITH SCORE 47727.385
AT ITER 1933 NEW BEST:: SOT 205500 SOS 67366 HAS SOPS 57352 HAS SOUS 50414 HAS SOUPS 47594 WITH SCORE 47661.366
AT ITER 1958 NEW BEST:: SOT 205474 SOS 67314 HAS SOPS 57300 HAS SOUS 50362 HAS SOUPS 47542 WITH SCORE 47609.314
AT ITER 1959 NEW BEST:: SOT 205456 SOS 67278 HAS SOPS 57264 HAS SOUS 50326 HAS SOUPS 47506 WITH SCORE 47573.278
AT ITER 1967 NEW BEST:: SOT 205455 SOS 67276 HAS SOPS 57262 HAS SOUS 50324 HAS SOUPS 47504 WITH SCORE 47571.276
AT ITER 1988 NEW BEST:: SOT 205424 SOS 67214 HAS SOPS 57200 HAS SOUS 50262 HAS SOUPS 47442 WITH SCORE 47509.214
AT ITER 1991 NEW BEST:: SOT 205424 SOS 67163 HAS SOPS 57149 HAS SOUS 50211 HAS SOUPS 47391 WITH SCORE 47458.163
AT ITER 2004 NEW BEST:: SOT 205320 SOS 67083 HAS SOPS 57133 HAS SOUS 50195 HAS SOUPS 47375 WITH SCORE 47442.083
AT ITER 2020 NEW BEST:: SOT 205259 SOS 66949 HAS SOPS 57011 HAS SOUS 50073 HAS SOUPS 47253 WITH SCORE 47319.949
AT ITER 2023 NEW BEST:: SOT 205254 SOS 67078 HAS SOPS 57001 HAS SOUS 50063 HAS SOUPS 47243 WITH SCORE 47310.078
AT ITER 2025 NEW BEST:: SOT 205234 SOS 67022 HAS SOPS 56961 HAS SOUS 50059 HAS SOUPS 47239 WITH SCORE 47306.022
AT ITER 2029 NEW BEST:: SOT 205177 SOS 66935 HAS SOPS 56911 HAS SOUS 50009 HAS SOUPS 47189 WITH SCORE 47255.935
AT ITER 2043 NEW BEST:: SOT 205171 SOS 66929 HAS SOPS 56899 HAS SOUS 49997 HAS SOUPS 47177 WITH SCORE 47243.929
AT ITER 2046 NEW BEST:: SOT 205168 SOS 66911 HAS SOPS 56878 HAS SOUS 49985 HAS SOUPS 47165 WITH SCORE 47231.911
AT ITER 2048 NEW BEST:: SOT 205158 SOS 66891 HAS SOPS 56858 HAS SOUS 49965 HAS SOUPS 47145 WITH SCORE 47211.891
AT ITER 2066 NEW BEST:: SOT 205158 SOS 66891 HAS SOPS 56856 HAS SOUS 49963 HAS SOUPS 47143 WITH SCORE 47209.891
AT ITER 2072 NEW BEST:: SOT 205153 SOS 66866 HAS SOPS 56846 HAS SOUS 49953 HAS SOUPS 47133 WITH SCORE 47199.866
AT ITER 2097 NEW BEST:: SOT 205151 SOS 66862 HAS SOPS 56844 HAS SOUS 49951 HAS SOUPS 47131 WITH SCORE 47197.862
AT ITER 2099 NEW BEST:: SOT 205197 SOS 66902 HAS SOPS 56837 HAS SOUS 49944 HAS SOUPS 47124 WITH SCORE 47190.902
AT ITER 2119 NEW BEST:: SOT 205154 SOS 66873 HAS SOPS 56694 HAS SOUS 49801 HAS SOUPS 46981 WITH SCORE 47047.873
AT ITER 2135 NEW BEST:: SOT 205096 SOS 66815 HAS SOPS 56669 HAS SOUS 49776 HAS SOUPS 46956 WITH SCORE 47022.815
AT ITER 2139 NEW BEST:: SOT 205087 SOS 66792 HAS SOPS 56646 HAS SOUS 49753 HAS SOUPS 46933 WITH SCORE 46999.792
AT ITER 2145 NEW BEST:: SOT 205049 SOS 66868 HAS SOPS 56541 HAS SOUS 49361 HAS SOUPS 46506 WITH SCORE 46572.868
AT ITER 2150 NEW BEST:: SOT 205050 SOS 66898 HAS SOPS 56543 HAS SOUS 49335 HAS SOUPS 46480 WITH SCORE 46546.898
AT ITER 2152 NEW BEST:: SOT 204938 SOS 66938 HAS SOPS 56501 HAS SOUS 49217 HAS SOUPS 46362 WITH SCORE 46428.938
AT ITER 2155 NEW BEST:: SOT 204938 SOS 66938 HAS SOPS 56488 HAS SOUS 49204 HAS SOUPS 46349 WITH SCORE 46415.938
AT ITER 2171 NEW BEST:: SOT 204947 SOS 66924 HAS SOPS 56433 HAS SOUS 49149 HAS SOUPS 46294 WITH SCORE 46360.924
AT ITER 2174 NEW BEST:: SOT 204940 SOS 66917 HAS SOPS 56419 HAS SOUS 49135 HAS SOUPS 46280 WITH SCORE 46346.917
AT ITER 2176 NEW BEST:: SOT 204767 SOS 67240 HAS SOPS 56212 HAS SOUS 49141 HAS SOUPS 46216 WITH SCORE 46283.24
AT ITER 2185 NEW BEST:: SOT 204703 SOS 67112 HAS SOPS 56084 HAS SOUS 49013 HAS SOUPS 46088 WITH SCORE 46155.112
AT ITER 2187 NEW BEST:: SOT 204638 SOS 67029 HAS SOPS 55999 HAS SOUS 48928 HAS SOUPS 46003 WITH SCORE 46070.029
AT ITER 2197 NEW BEST:: SOT 204651 SOS 67147 HAS SOPS 55986 HAS SOUS 48928 HAS SOUPS 45990 WITH SCORE 46057.147
AT ITER 2204 NEW BEST:: SOT 204637 SOS 67129 HAS SOPS 55969 HAS SOUS 48910 HAS SOUPS 45973 WITH SCORE 46040.129
AT ITER 2206 NEW BEST:: SOT 204613 SOS 67081 HAS SOPS 55921 HAS SOUS 48862 HAS SOUPS 45925 WITH SCORE 45992.081
AT ITER 2213 NEW BEST:: SOT 204632 SOS 67058 HAS SOPS 55888 HAS SOUS 48829 HAS SOUPS 45892 WITH SCORE 45959.058
AT ITER 2214 NEW BEST:: SOT 204597 SOS 66975 HAS SOPS 55866 HAS SOUS 48807 HAS SOUPS 45870 WITH SCORE 45936.975
AT ITER 2215 NEW BEST:: SOT 204582 SOS 66960 HAS SOPS 55836 HAS SOUS 48777 HAS SOUPS 45840 WITH SCORE 45906.96
AT ITER 2235 NEW BEST:: SOT 204564 SOS 66936 HAS SOPS 55776 HAS SOUS 48717 HAS SOUPS 45780 WITH SCORE 45846.936
AT ITER 2249 NEW BEST:: SOT 204550 SOS 66908 HAS SOPS 55748 HAS SOUS 48689 HAS SOUPS 45752 WITH SCORE 45818.908
AT ITER 2267 NEW BEST:: SOT 204543 SOS 66894 HAS SOPS 55734 HAS SOUS 48675 HAS SOUPS 45738 WITH SCORE 45804.894
AT ITER 2290 NEW BEST:: SOT 204517 SOS 67154 HAS SOPS 55994 HAS SOUS 48623 HAS SOUPS 45686 WITH SCORE 45753.154
AT ITER 2303 NEW BEST:: SOT 204485 SOS 67117 HAS SOPS 55962 HAS SOUS 48591 HAS SOUPS 45654 WITH SCORE 45721.117
AT ITER 2327 NEW BEST:: SOT 204451 SOS 67205 HAS SOPS 56054 HAS SOUS 48586 HAS SOUPS 45649 WITH SCORE 45716.205
AT ITER 2334 NEW BEST:: SOT 204461 SOS 67215 HAS SOPS 56053 HAS SOUS 48585 HAS SOUPS 45648 WITH SCORE 45715.215
AT ITER 2344 NEW BEST:: SOT 204452 SOS 67093 HAS SOPS 55931 HAS SOUS 48487 HAS SOUPS 45550 WITH SCORE 45617.093
AT ITER 2348 NEW BEST:: SOT 204452 SOS 67684 HAS SOPS 56397 HAS SOUS 48465 HAS SOUPS 45528 WITH SCORE 45595.684
AT ITER 2376 NEW BEST:: SOT 204424 SOS 67628 HAS SOPS 56341 HAS SOUS 48409 HAS SOUPS 45472 WITH SCORE 45539.628
AT ITER 2388 NEW BEST:: SOT 204423 SOS 67496 HAS SOPS 56339 HAS SOUS 48407 HAS SOUPS 45470 WITH SCORE 45537.496
AT ITER 2406 NEW BEST:: SOT 204348 SOS 67400 HAS SOPS 56340 HAS SOUS 48381 HAS SOUPS 45444 WITH SCORE 45511.4
AT ITER 2416 NEW BEST:: SOT 204304 SOS 67309 HAS SOPS 56249 HAS SOUS 48290 HAS SOUPS 45353 WITH SCORE 45420.309
AT ITER 2459 NEW BEST:: SOT 204292 SOS 67297 HAS SOPS 56237 HAS SOUS 48278 HAS SOUPS 45341 WITH SCORE 45408.297
AT ITER 2461 NEW BEST:: SOT 204292 SOS 67297 HAS SOPS 56233 HAS SOUS 48274 HAS SOUPS 45337 WITH SCORE 45404.297
AT ITER 2470 NEW BEST:: SOT 204287 SOS 67292 HAS SOPS 56228 HAS SOUS 48269 HAS SOUPS 45332 WITH SCORE 45399.292
AT ITER 2488 NEW BEST:: SOT 204279 SOS 67284 HAS SOPS 56212 HAS SOUS 48253 HAS SOUPS 45316 WITH SCORE 45383.284
AT ITER 2523 NEW BEST:: SOT 204285 SOS 67298 HAS SOPS 56224 HAS SOUS 48224 HAS SOUPS 45287 WITH SCORE 45354.298
AT ITER 2529 NEW BEST:: SOT 204237 SOS 67202 HAS SOPS 56128 HAS SOUS 48128 HAS SOUPS 45191 WITH SCORE 45258.202
AT ITER 2542 NEW BEST:: SOT 204223 SOS 67138 HAS SOPS 56064 HAS SOUS 48064 HAS SOUPS 45127 WITH SCORE 45194.138
AT ITER 2550 NEW BEST:: SOT 204112 SOS 66851 HAS SOPS 55777 HAS SOUS 47879 HAS SOUPS 44942 WITH SCORE 45008.851
AT ITER 2556 NEW BEST:: SOT 204105 SOS 66837 HAS SOPS 55763 HAS SOUS 47865 HAS SOUPS 44928 WITH SCORE 44994.837
AT ITER 2569 NEW BEST:: SOT 204090 SOS 66807 HAS SOPS 55753 HAS SOUS 47855 HAS SOUPS 44918 WITH SCORE 44984.807
AT ITER 2574 NEW BEST:: SOT 204142 SOS 66693 HAS SOPS 55639 HAS SOUS 47737 HAS SOUPS 44800 WITH SCORE 44866.693
AT ITER 2584 NEW BEST:: SOT 204123 SOS 66674 HAS SOPS 55653 HAS SOUS 47714 HAS SOUPS 44777 WITH SCORE 44843.674
AT ITER 2591 NEW BEST:: SOT 204063 SOS 66572 HAS SOPS 55585 HAS SOUS 47655 HAS SOUPS 44718 WITH SCORE 44784.572
AT ITER 2595 NEW BEST:: SOT 204063 SOS 66568 HAS SOPS 55585 HAS SOUS 47655 HAS SOUPS 44718 WITH SCORE 44784.568
AT ITER 2604 NEW BEST:: SOT 204062 SOS 66567 HAS SOPS 55584 HAS SOUS 47654 HAS SOUPS 44717 WITH SCORE 44783.567
AT ITER 2616 NEW BEST:: SOT 204060 SOS 66557 HAS SOPS 55572 HAS SOUS 47654 HAS SOUPS 44715 WITH SCORE 44781.557
AT ITER 2621 NEW BEST:: SOT 204060 SOS 65907 HAS SOPS 54922 HAS SOUS 47524 HAS SOUPS 44585 WITH SCORE 44650.907
AT ITER 2624 NEW BEST:: SOT 204060 SOS 65907 HAS SOPS 54922 HAS SOUS 47452 HAS SOUPS 44513 WITH SCORE 44578.907
AT ITER 2630 NEW BEST:: SOT 204022 SOS 65762 HAS SOPS 54713 HAS SOUS 47283 HAS SOUPS 44344 WITH SCORE 44409.762
AT ITER 2633 NEW BEST:: SOT 204010 SOS 65750 HAS SOPS 54701 HAS SOUS 47271 HAS SOUPS 44332 WITH SCORE 44397.75
AT ITER 2666 NEW BEST:: SOT 203999 SOS 65728 HAS SOPS 54679 HAS SOUS 47249 HAS SOUPS 44310 WITH SCORE 44375.728
AT ITER 2673 NEW BEST:: SOT 204008 SOS 65737 HAS SOPS 54672 HAS SOUS 47242 HAS SOUPS 44303 WITH SCORE 44368.737
AT ITER 2686 NEW BEST:: SOT 204095 SOS 65824 HAS SOPS 54774 HAS SOUS 47211 HAS SOUPS 44272 WITH SCORE 44337.824
AT ITER 2687 NEW BEST:: SOT 204094 SOS 65821 HAS SOPS 54772 HAS SOUS 47208 HAS SOUPS 44270 WITH SCORE 44335.821
AT ITER 2688 NEW BEST:: SOT 203950 SOS 65603 HAS SOPS 54554 HAS SOUS 46990 HAS SOUPS 44052 WITH SCORE 44117.603
AT ITER 2700 NEW BEST:: SOT 203913 SOS 65513 HAS SOPS 54509 HAS SOUS 46945 HAS SOUPS 44007 WITH SCORE 44072.513
AT ITER 2721 NEW BEST:: SOT 203913 SOS 65499 HAS SOPS 54509 HAS SOUS 46945 HAS SOUPS 44007 WITH SCORE 44072.499
AT ITER 2729 NEW BEST:: SOT 203869 SOS 65498 HAS SOPS 54508 HAS SOUS 46944 HAS SOUPS 44006 WITH SCORE 44071.498
AT ITER 2747 NEW BEST:: SOT 203863 SOS 65494 HAS SOPS 54504 HAS SOUS 46940 HAS SOUPS 44002 WITH SCORE 44067.494
AT ITER 2759 NEW BEST:: SOT 203749 SOS 66577 HAS SOPS 54263 HAS SOUS 46897 HAS SOUPS 43832 WITH SCORE 43898.577
AT ITER 2771 NEW BEST:: SOT 203659 SOS 66681 HAS SOPS 54150 HAS SOUS 46815 HAS SOUPS 43719 WITH SCORE 43785.681
AT ITER 2779 NEW BEST:: SOT 203675 SOS 66575 HAS SOPS 53998 HAS SOUS 46786 HAS SOUPS 43690 WITH SCORE 43756.575
AT ITER 2802 NEW BEST:: SOT 203671 SOS 66567 HAS SOPS 53990 HAS SOUS 46778 HAS SOUPS 43682 WITH SCORE 43748.567
AT ITER 2806 NEW BEST:: SOT 203643 SOS 66546 HAS SOPS 53962 HAS SOUS 46750 HAS SOUPS 43654 WITH SCORE 43720.546
AT ITER 2817 NEW BEST:: SOT 203641 SOS 66530 HAS SOPS 53918 HAS SOUS 46706 HAS SOUPS 43610 WITH SCORE 43676.53
AT ITER 2824 NEW BEST:: SOT 203611 SOS 66470 HAS SOPS 53858 HAS SOUS 46646 HAS SOUPS 43550 WITH SCORE 43616.47
AT ITER 2835 NEW BEST:: SOT 203527 SOS 66548 HAS SOPS 53936 HAS SOUS 46566 HAS SOUPS 43470 WITH SCORE 43536.548
AT ITER 2854 NEW BEST:: SOT 203468 SOS 66274 HAS SOPS 53689 HAS SOUS 46491 HAS SOUPS 43395 WITH SCORE 43461.274
AT ITER 2856 NEW BEST:: SOT 203400 SOS 66414 HAS SOPS 53825 HAS SOUS 46423 HAS SOUPS 43327 WITH SCORE 43393.414
AT ITER 2866 NEW BEST:: SOT 203353 SOS 66348 HAS SOPS 53759 HAS SOUS 46357 HAS SOUPS 43261 WITH SCORE 43327.348
AT ITER 2870 NEW BEST:: SOT 203353 SOS 66348 HAS SOPS 53718 HAS SOUS 46335 HAS SOUPS 43239 WITH SCORE 43305.348
AT ITER 2894 NEW BEST:: SOT 203353 SOS 66340 HAS SOPS 53708 HAS SOUS 46330 HAS SOUPS 43234 WITH SCORE 43300.34
AT ITER 2903 NEW BEST:: SOT 203350 SOS 66334 HAS SOPS 53702 HAS SOUS 46324 HAS SOUPS 43228 WITH SCORE 43294.334
AT ITER 2908 NEW BEST:: SOT 203350 SOS 66261 HAS SOPS 53702 HAS SOUS 46317 HAS SOUPS 43226 WITH SCORE 43292.261
AT ITER 2913 NEW BEST:: SOT 203348 SOS 66257 HAS SOPS 53698 HAS SOUS 46313 HAS SOUPS 43222 WITH SCORE 43288.257
AT ITER 2915 NEW BEST:: SOT 203288 SOS 66106 HAS SOPS 53547 HAS SOUS 46165 HAS SOUPS 43074 WITH SCORE 43140.106
AT ITER 2920 NEW BEST:: SOT 203288 SOS 66106 HAS SOPS 53547 HAS SOUS 46156 HAS SOUPS 43065 WITH SCORE 43131.106
AT ITER 2947 NEW BEST:: SOT 203235 SOS 65998 HAS SOPS 53439 HAS SOUS 46083 HAS SOUPS 42992 WITH SCORE 43057.998
AT ITER 2960 NEW BEST:: SOT 203176 SOS 66299 HAS SOPS 53280 HAS SOUS 45993 HAS SOUPS 42861 WITH SCORE 42927.299
AT ITER 2963 NEW BEST:: SOT 203159 SOS 66265 HAS SOPS 53246 HAS SOUS 45959 HAS SOUPS 42827 WITH SCORE 42893.265
AT ITER 3005 NEW BEST:: SOT 203159 SOS 66209 HAS SOPS 53246 HAS SOUS 45959 HAS SOUPS 42827 WITH SCORE 42893.209
AT ITER 3012 NEW BEST:: SOT 203121 SOS 66171 HAS SOPS 53208 HAS SOUS 45912 HAS SOUPS 42780 WITH SCORE 42846.171
AT ITER 3048 NEW BEST:: SOT 203046 SOS 66058 HAS SOPS 53095 HAS SOUS 45799 HAS SOUPS 42667 WITH SCORE 42733.058
AT ITER 3049 NEW BEST:: SOT 203042 SOS 66050 HAS SOPS 53087 HAS SOUS 45791 HAS SOUPS 42659 WITH SCORE 42725.05
AT ITER 3050 NEW BEST:: SOT 203040 SOS 66046 HAS SOPS 53084 HAS SOUS 45788 HAS SOUPS 42656 WITH SCORE 42722.046
AT ITER 3051 NEW BEST:: SOT 202965 SOS 66041 HAS SOPS 53030 HAS SOUS 45778 HAS SOUPS 42646 WITH SCORE 42712.041
AT ITER 3053 NEW BEST:: SOT 202890 SOS 66265 HAS SOPS 53269 HAS SOUS 45776 HAS SOUPS 42644 WITH SCORE 42710.265
AT ITER 3064 NEW BEST:: SOT 202880 SOS 65962 HAS SOPS 53249 HAS SOUS 45603 HAS SOUPS 42624 WITH SCORE 42689.962
AT ITER 3073 NEW BEST:: SOT 202902 SOS 65942 HAS SOPS 53355 HAS SOUS 45298 HAS SOUPS 42382 WITH SCORE 42447.942
AT ITER 3085 NEW BEST:: SOT 202878 SOS 65915 HAS SOPS 53328 HAS SOUS 45271 HAS SOUPS 42355 WITH SCORE 42420.915
AT ITER 3093 NEW BEST:: SOT 202890 SOS 65939 HAS SOPS 53316 HAS SOUS 45247 HAS SOUPS 42331 WITH SCORE 42396.939
AT ITER 3102 NEW BEST:: SOT 202859 SOS 65894 HAS SOPS 53271 HAS SOUS 45202 HAS SOUPS 42286 WITH SCORE 42351.894
AT ITER 3129 NEW BEST:: SOT 202858 SOS 65893 HAS SOPS 53269 HAS SOUS 45200 HAS SOUPS 42284 WITH SCORE 42349.893
AT ITER 3132 NEW BEST:: SOT 202791 SOS 65808 HAS SOPS 53184 HAS SOUS 45196 HAS SOUPS 42280 WITH SCORE 42345.808
AT ITER 3155 NEW BEST:: SOT 202779 SOS 65784 HAS SOPS 53160 HAS SOUS 45172 HAS SOUPS 42256 WITH SCORE 42321.784
AT ITER 3172 NEW BEST:: SOT 202733 SOS 65692 HAS SOPS 53130 HAS SOUS 45142 HAS SOUPS 42226 WITH SCORE 42291.692
AT ITER 3173 NEW BEST:: SOT 202733 SOS 65686 HAS SOPS 53124 HAS SOUS 45136 HAS SOUPS 42220 WITH SCORE 42285.686
AT ITER 3206 NEW BEST:: SOT 202721 SOS 65662 HAS SOPS 53100 HAS SOUS 45112 HAS SOUPS 42196 WITH SCORE 42261.662
AT ITER 3209 NEW BEST:: SOT 202745 SOS 65635 HAS SOPS 53063 HAS SOUS 45126 HAS SOUPS 42193 WITH SCORE 42258.635
AT ITER 3227 NEW BEST:: SOT 202745 SOS 65626 HAS SOPS 53063 HAS SOUS 45117 HAS SOUPS 42193 WITH SCORE 42258.626
AT ITER 3232 NEW BEST:: SOT 202745 SOS 65466 HAS SOPS 52903 HAS SOUS 45117 HAS SOUPS 42193 WITH SCORE 42258.466
AT ITER 3234 NEW BEST:: SOT 202739 SOS 65342 HAS SOPS 52779 HAS SOUS 45105 HAS SOUPS 42181 WITH SCORE 42246.342
AT ITER 3248 NEW BEST:: SOT 202597 SOS 65200 HAS SOPS 52495 HAS SOUS 44833 HAS SOUPS 41897 WITH SCORE 41962.2
AT ITER 3283 NEW BEST:: SOT 202756 SOS 65261 HAS SOPS 52633 HAS SOUS 44721 HAS SOUPS 41830 WITH SCORE 41895.261
AT ITER 3286 NEW BEST:: SOT 202754 SOS 65257 HAS SOPS 52629 HAS SOUS 44717 HAS SOUPS 41826 WITH SCORE 41891.257
AT ITER 3300 NEW BEST:: SOT 202754 SOS 65248 HAS SOPS 52629 HAS SOUS 44717 HAS SOUPS 41826 WITH SCORE 41891.248
AT ITER 3306 NEW BEST:: SOT 202746 SOS 65232 HAS SOPS 52613 HAS SOUS 44701 HAS SOUPS 41810 WITH SCORE 41875.232
AT ITER 3311 NEW BEST:: SOT 202741 SOS 65222 HAS SOPS 52589 HAS SOUS 44677 HAS SOUPS 41786 WITH SCORE 41851.222
AT ITER 3320 NEW BEST:: SOT 202688 SOS 65169 HAS SOPS 52579 HAS SOUS 44667 HAS SOUPS 41776 WITH SCORE 41841.169
AT ITER 3330 NEW BEST:: SOT 202688 SOS 65169 HAS SOPS 52571 HAS SOUS 44659 HAS SOUPS 41768 WITH SCORE 41833.169
AT ITER 3341 NEW BEST:: SOT 202678 SOS 65149 HAS SOPS 52551 HAS SOUS 44639 HAS SOUPS 41748 WITH SCORE 41813.149
AT ITER 3344 NEW BEST:: SOT 202723 SOS 65355 HAS SOPS 52496 HAS SOUS 44584 HAS SOUPS 41693 WITH SCORE 41758.355
AT ITER 3360 NEW BEST:: SOT 202681 SOS 65271 HAS SOPS 52412 HAS SOUS 44500 HAS SOUPS 41609 WITH SCORE 41674.271
AT ITER 3368 NEW BEST:: SOT 202532 SOS 64987 HAS SOPS 52204 HAS SOUS 44292 HAS SOUPS 41401 WITH SCORE 41465.987
AT ITER 3413 NEW BEST:: SOT 202519 SOS 64903 HAS SOPS 52178 HAS SOUS 44266 HAS SOUPS 41375 WITH SCORE 41439.903
AT ITER 3417 NEW BEST:: SOT 202466 SOS 64835 HAS SOPS 52059 HAS SOUS 44211 HAS SOUPS 41269 WITH SCORE 41333.835
AT ITER 3420 NEW BEST:: SOT 202438 SOS 64779 HAS SOPS 52003 HAS SOUS 44155 HAS SOUPS 41213 WITH SCORE 41277.779
AT ITER 3423 NEW BEST:: SOT 202423 SOS 64749 HAS SOPS 51973 HAS SOUS 44125 HAS SOUPS 41183 WITH SCORE 41247.749
AT ITER 3442 NEW BEST:: SOT 202409 SOS 64721 HAS SOPS 51945 HAS SOUS 44097 HAS SOUPS 41155 WITH SCORE 41219.721
AT ITER 3448 NEW BEST:: SOT 202409 SOS 64730 HAS SOPS 51945 HAS SOUS 44083 HAS SOUPS 41141 WITH SCORE 41205.73
AT ITER 3486 NEW BEST:: SOT 202409 SOS 64715 HAS SOPS 51930 HAS SOUS 44068 HAS SOUPS 41126 WITH SCORE 41190.715
AT ITER 3500 NEW BEST:: SOT 202405 SOS 64707 HAS SOPS 51922 HAS SOUS 44060 HAS SOUPS 41118 WITH SCORE 41182.707
AT ITER 3512 NEW BEST:: SOT 202357 SOS 64707 HAS SOPS 51874 HAS SOUS 44012 HAS SOUPS 41070 WITH SCORE 41134.707
AT ITER 3515 NEW BEST:: SOT 202356 SOS 64727 HAS SOPS 51872 HAS SOUS 44010 HAS SOUPS 41068 WITH SCORE 41132.727
AT ITER 3526 NEW BEST:: SOT 202340 SOS 64705 HAS SOPS 51869 HAS SOUS 44007 HAS SOUPS 41065 WITH SCORE 41129.705
AT ITER 3535 NEW BEST:: SOT 202301 SOS 64627 HAS SOPS 51791 HAS SOUS 43929 HAS SOUPS 40987 WITH SCORE 41051.627
AT ITER 3549 NEW BEST:: SOT 202294 SOS 64613 HAS SOPS 51784 HAS SOUS 43922 HAS SOUPS 40980 WITH SCORE 41044.613
AT ITER 3610 NEW BEST:: SOT 202275 SOS 64574 HAS SOPS 51781 HAS SOUS 43919 HAS SOUPS 40977 WITH SCORE 41041.574
AT ITER 3612 NEW BEST:: SOT 202275 SOS 64568 HAS SOPS 51775 HAS SOUS 43919 HAS SOUPS 40977 WITH SCORE 41041.568
AT ITER 3618 NEW BEST:: SOT 202268 SOS 64554 HAS SOPS 51761 HAS SOUS 43905 HAS SOUPS 40963 WITH SCORE 41027.554
AT ITER 3629 NEW BEST:: SOT 202242 SOS 64528 HAS SOPS 51748 HAS SOUS 43892 HAS SOUPS 40950 WITH SCORE 41014.528
AT ITER 3639 NEW BEST:: SOT 202336 SOS 64512 HAS SOPS 51802 HAS SOUS 43781 HAS SOUPS 40874 WITH SCORE 40938.512
AT ITER 3642 NEW BEST:: SOT 202147 SOS 65164 HAS SOPS 51654 HAS SOUS 43824 HAS SOUPS 40824 WITH SCORE 40889.164
AT ITER 3653 NEW BEST:: SOT 202135 SOS 65140 HAS SOPS 51630 HAS SOUS 43800 HAS SOUPS 40800 WITH SCORE 40865.14
AT ITER 3656 NEW BEST:: SOT 202114 SOS 65077 HAS SOPS 51588 HAS SOUS 43758 HAS SOUPS 40758 WITH SCORE 40823.077
AT ITER 3693 NEW BEST:: SOT 202107 SOS 65070 HAS SOPS 51581 HAS SOUS 43751 HAS SOUPS 40751 WITH SCORE 40816.07
AT ITER 3700 NEW BEST:: SOT 202108 SOS 65005 HAS SOPS 51516 HAS SOUS 43686 HAS SOUPS 40686 WITH SCORE 40751.005
AT ITER 3722 NEW BEST:: SOT 202106 SOS 65003 HAS SOPS 51512 HAS SOUS 43682 HAS SOUPS 40682 WITH SCORE 40747.003
AT ITER 3728 NEW BEST:: SOT 202096 SOS 64991 HAS SOPS 51500 HAS SOUS 43670 HAS SOUPS 40670 WITH SCORE 40734.991
AT ITER 3767 NEW BEST:: SOT 202096 SOS 64970 HAS SOPS 51500 HAS SOUS 43670 HAS SOUPS 40670 WITH SCORE 40734.97
AT ITER 3768 NEW BEST:: SOT 201836 SOS 64764 HAS SOPS 51400 HAS SOUS 43581 HAS SOUPS 40581 WITH SCORE 40645.764
AT ITER 3785 NEW BEST:: SOT 201739 SOS 64674 HAS SOPS 51323 HAS SOUS 43504 HAS SOUPS 40504 WITH SCORE 40568.674
AT ITER 3824 NEW BEST:: SOT 201719 SOS 64657 HAS SOPS 51283 HAS SOUS 43464 HAS SOUPS 40464 WITH SCORE 40528.657
AT ITER 3825 NEW BEST:: SOT 201692 SOS 64603 HAS SOPS 51229 HAS SOUS 43410 HAS SOUPS 40410 WITH SCORE 40474.603
AT ITER 3829 NEW BEST:: SOT 201686 SOS 64591 HAS SOPS 51217 HAS SOUS 43398 HAS SOUPS 40398 WITH SCORE 40462.591
AT ITER 3831 NEW BEST:: SOT 201686 SOS 64547 HAS SOPS 51173 HAS SOUS 43398 HAS SOUPS 40398 WITH SCORE 40462.547
AT ITER 3832 NEW BEST:: SOT 201684 SOS 64543 HAS SOPS 51169 HAS SOUS 43394 HAS SOUPS 40394 WITH SCORE 40458.543
AT ITER 3854 NEW BEST:: SOT 201682 SOS 64539 HAS SOPS 51165 HAS SOUS 43390 HAS SOUPS 40390 WITH SCORE 40454.539
AT ITER 3865 NEW BEST:: SOT 201692 SOS 64459 HAS SOPS 51085 HAS SOUS 43374 HAS SOUPS 40374 WITH SCORE 40438.459
AT ITER 3876 NEW BEST:: SOT 201712 SOS 64478 HAS SOPS 51082 HAS SOUS 43371 HAS SOUPS 40371 WITH SCORE 40435.478
AT ITER 3887 NEW BEST:: SOT 201711 SOS 64476 HAS SOPS 51080 HAS SOUS 43369 HAS SOUPS 40369 WITH SCORE 40433.476
AT ITER 3891 NEW BEST:: SOT 201730 SOS 64495 HAS SOPS 51044 HAS SOUS 43333 HAS SOUPS 40333 WITH SCORE 40397.495
AT ITER 3928 NEW BEST:: SOT 201690 SOS 64435 HAS SOPS 50944 HAS SOUS 43233 HAS SOUPS 40233 WITH SCORE 40297.435
AT ITER 3935 NEW BEST:: SOT 201690 SOS 64434 HAS SOPS 50943 HAS SOUS 43232 HAS SOUPS 40232 WITH SCORE 40296.434
AT ITER 3955 NEW BEST:: SOT 201676 SOS 64406 HAS SOPS 50915 HAS SOUS 43204 HAS SOUPS 40204 WITH SCORE 40268.406
AT ITER 3976 NEW BEST:: SOT 201635 SOS 64315 HAS SOPS 50833 HAS SOUS 43122 HAS SOUPS 40122 WITH SCORE 40186.315
AT ITER 3979 NEW BEST:: SOT 201620 SOS 64134 HAS SOPS 50652 HAS SOUS 42941 HAS SOUPS 39941 WITH SCORE 40005.134
AT ITER 3996 NEW BEST:: SOT 201573 SOS 64040 HAS SOPS 50511 HAS SOUS 42800 HAS SOUPS 39800 WITH SCORE 39864.04
AT ITER 4004 NEW BEST:: SOT 201563 SOS 64030 HAS SOPS 50491 HAS SOUS 42780 HAS SOUPS 39780 WITH SCORE 39844.03
AT ITER 4020 NEW BEST:: SOT 201414 SOS 64718 HAS SOPS 51077 HAS SOUS 42593 HAS SOUPS 39625 WITH SCORE 39689.718
AT ITER 4028 NEW BEST:: SOT 201413 SOS 64716 HAS SOPS 51075 HAS SOUS 42591 HAS SOUPS 39623 WITH SCORE 39687.716
AT ITER 4035 NEW BEST:: SOT 201441 SOS 64716 HAS SOPS 51067 HAS SOUS 42583 HAS SOUPS 39615 WITH SCORE 39679.716
AT ITER 4038 NEW BEST:: SOT 201509 SOS 64728 HAS SOPS 51015 HAS SOUS 42540 HAS SOUPS 39572 WITH SCORE 39636.728
AT ITER 4046 NEW BEST:: SOT 201509 SOS 64703 HAS SOPS 51015 HAS SOUS 42540 HAS SOUPS 39572 WITH SCORE 39636.703
AT ITER 4050 NEW BEST:: SOT 201504 SOS 64693 HAS SOPS 51005 HAS SOUS 42530 HAS SOUPS 39562 WITH SCORE 39626.693
AT ITER 4073 NEW BEST:: SOT 201455 SOS 64534 HAS SOPS 50907 HAS SOUS 42392 HAS SOUPS 39464 WITH SCORE 39528.534
AT ITER 4075 NEW BEST:: SOT 201453 SOS 64530 HAS SOPS 50903 HAS SOUS 42388 HAS SOUPS 39460 WITH SCORE 39524.53
AT ITER 4085 NEW BEST:: SOT 201327 SOS 64463 HAS SOPS 50836 HAS SOUS 42369 HAS SOUPS 39441 WITH SCORE 39505.463
AT ITER 4101 NEW BEST:: SOT 201141 SOS 64293 HAS SOPS 50477 HAS SOUS 42113 HAS SOUPS 39119 WITH SCORE 39183.293
AT ITER 4120 NEW BEST:: SOT 201101 SOS 64213 HAS SOPS 50421 HAS SOUS 42057 HAS SOUPS 39063 WITH SCORE 39127.213
AT ITER 4146 NEW BEST:: SOT 201063 SOS 64137 HAS SOPS 50409 HAS SOUS 42045 HAS SOUPS 39051 WITH SCORE 39115.137
AT ITER 4160 NEW BEST:: SOT 201268 SOS 64029 HAS SOPS 50212 HAS SOUS 42029 HAS SOUPS 39035 WITH SCORE 39099.029
AT ITER 4182 NEW BEST:: SOT 201137 SOS 63937 HAS SOPS 50149 HAS SOUS 41961 HAS SOUPS 38967 WITH SCORE 39030.937
AT ITER 4210 NEW BEST:: SOT 201137 SOS 63922 HAS SOPS 50149 HAS SOUS 41961 HAS SOUPS 38967 WITH SCORE 39030.922
AT ITER 4221 NEW BEST:: SOT 201131 SOS 63982 HAS SOPS 50143 HAS SOUS 41961 HAS SOUPS 38961 WITH SCORE 39024.982
AT ITER 4230 NEW BEST:: SOT 201083 SOS 63883 HAS SOPS 50047 HAS SOUS 41865 HAS SOUPS 38865 WITH SCORE 38928.883
AT ITER 4240 NEW BEST:: SOT 201042 SOS 63834 HAS SOPS 49965 HAS SOUS 41791 HAS SOUPS 38791 WITH SCORE 38854.834
AT ITER 4247 NEW BEST:: SOT 201041 SOS 63744 HAS SOPS 49875 HAS SOUS 41789 HAS SOUPS 38789 WITH SCORE 38852.744
AT ITER 4268 NEW BEST:: SOT 201031 SOS 63724 HAS SOPS 49855 HAS SOUS 41769 HAS SOUPS 38769 WITH SCORE 38832.724
AT ITER 4290 NEW BEST:: SOT 201042 SOS 63715 HAS SOPS 49836 HAS SOUS 41750 HAS SOUPS 38750 WITH SCORE 38813.715
AT ITER 4300 NEW BEST:: SOT 201032 SOS 63709 HAS SOPS 49816 HAS SOUS 41730 HAS SOUPS 38730 WITH SCORE 38793.709
AT ITER 4305 NEW BEST:: SOT 201036 SOS 63713 HAS SOPS 49805 HAS SOUS 41719 HAS SOUPS 38719 WITH SCORE 38782.713
AT ITER 4311 NEW BEST:: SOT 201036 SOS 63365 HAS SOPS 49457 HAS SOUS 41719 HAS SOUPS 38719 WITH SCORE 38782.365
AT ITER 4326 NEW BEST:: SOT 201028 SOS 63590 HAS SOPS 49682 HAS SOUS 41706 HAS SOUPS 38706 WITH SCORE 38769.59
AT ITER 4342 NEW BEST:: SOT 201028 SOS 63586 HAS SOPS 49678 HAS SOUS 41702 HAS SOUPS 38702 WITH SCORE 38765.586
AT ITER 4357 NEW BEST:: SOT 201024 SOS 63551 HAS SOPS 49643 HAS SOUS 41694 HAS SOUPS 38694 WITH SCORE 38757.551
AT ITER 4358 NEW BEST:: SOT 201021 SOS 63545 HAS SOPS 49637 HAS SOUS 41688 HAS SOUPS 38688 WITH SCORE 38751.545
AT ITER 4382 NEW BEST:: SOT 200958 SOS 63356 HAS SOPS 49448 HAS SOUS 41499 HAS SOUPS 38499 WITH SCORE 38562.356
AT ITER 4410 NEW BEST:: SOT 200958 SOS 63342 HAS SOPS 49448 HAS SOUS 41499 HAS SOUPS 38499 WITH SCORE 38562.342
AT ITER 4417 NEW BEST:: SOT 200954 SOS 63358 HAS SOPS 49464 HAS SOUS 41497 HAS SOUPS 38497 WITH SCORE 38560.358
AT ITER 4421 NEW BEST:: SOT 200948 SOS 64510 HAS SOPS 49455 HAS SOUS 41581 HAS SOUPS 38488 WITH SCORE 38552.51
AT ITER 4430 NEW BEST:: SOT 200948 SOS 64144 HAS SOPS 49111 HAS SOUS 41495 HAS SOUPS 38402 WITH SCORE 38466.144
AT ITER 4443 NEW BEST:: SOT 200977 SOS 64035 HAS SOPS 49124 HAS SOUS 41470 HAS SOUPS 38396 WITH SCORE 38460.035
AT ITER 4446 NEW BEST:: SOT 200972 SOS 63617 HAS SOPS 48706 HAS SOUS 41460 HAS SOUPS 38386 WITH SCORE 38449.617
AT ITER 4447 NEW BEST:: SOT 200963 SOS 63599 HAS SOPS 48688 HAS SOUS 41442 HAS SOUPS 38368 WITH SCORE 38431.599
AT ITER 4453 NEW BEST:: SOT 200963 SOS 63483 HAS SOPS 48572 HAS SOUS 41326 HAS SOUPS 38252 WITH SCORE 38315.483
AT ITER 4496 NEW BEST:: SOT 200963 SOS 63391 HAS SOPS 48480 HAS SOUS 41326 HAS SOUPS 38252 WITH SCORE 38315.391
AT ITER 4500 NEW BEST:: SOT 201004 SOS 63082 HAS SOPS 48107 HAS SOUS 41233 HAS SOUPS 38159 WITH SCORE 38222.082
AT ITER 4568 NEW BEST:: SOT 200954 SOS 63308 HAS SOPS 48291 HAS SOUS 41133 HAS SOUPS 38059 WITH SCORE 38122.308
AT ITER 4579 NEW BEST:: SOT 200935 SOS 63213 HAS SOPS 48269 HAS SOUS 41095 HAS SOUPS 38021 WITH SCORE 38084.213
AT ITER 4590 NEW BEST:: SOT 200919 SOS 63200 HAS SOPS 48237 HAS SOUS 41063 HAS SOUPS 37989 WITH SCORE 38052.2
AT ITER 4617 NEW BEST:: SOT 200927 SOS 63216 HAS SOPS 48253 HAS SOUS 41055 HAS SOUPS 37981 WITH SCORE 38044.216
AT ITER 4620 NEW BEST:: SOT 200913 SOS 63202 HAS SOPS 48246 HAS SOUS 41048 HAS SOUPS 37974 WITH SCORE 38037.202
AT ITER 4627 NEW BEST:: SOT 200885 SOS 63174 HAS SOPS 48218 HAS SOUS 41020 HAS SOUPS 37946 WITH SCORE 38009.174
AT ITER 4628 NEW BEST:: SOT 200907 SOS 63145 HAS SOPS 48174 HAS SOUS 41033 HAS SOUPS 37944 WITH SCORE 38007.145
AT ITER 4673 NEW BEST:: SOT 201117 SOS 63059 HAS SOPS 48213 HAS SOUS 40727 HAS SOUPS 37707 WITH SCORE 37770.059
AT ITER 4676 NEW BEST:: SOT 201108 SOS 63120 HAS SOPS 48116 HAS SOUS 40630 HAS SOUPS 37610 WITH SCORE 37673.12
AT ITER 4705 NEW BEST:: SOT 201040 SOS 62984 HAS SOPS 47980 HAS SOUS 40494 HAS SOUPS 37474 WITH SCORE 37536.984
AT ITER 4713 NEW BEST:: SOT 201022 SOS 62985 HAS SOPS 47944 HAS SOUS 40458 HAS SOUPS 37438 WITH SCORE 37500.985
AT ITER 4723 NEW BEST:: SOT 200926 SOS 63060 HAS SOPS 48073 HAS SOUS 40428 HAS SOUPS 37408 WITH SCORE 37471.06
AT ITER 4725 NEW BEST:: SOT 200882 SOS 62972 HAS SOPS 47985 HAS SOUS 40340 HAS SOUPS 37320 WITH SCORE 37382.972
AT ITER 4736 NEW BEST:: SOT 200818 SOS 62907 HAS SOPS 47920 HAS SOUS 40324 HAS SOUPS 37304 WITH SCORE 37366.907
AT ITER 4742 NEW BEST:: SOT 200818 SOS 62810 HAS SOPS 47920 HAS SOUS 40324 HAS SOUPS 37304 WITH SCORE 37366.81
AT ITER 4757 NEW BEST:: SOT 200787 SOS 62748 HAS SOPS 47858 HAS SOUS 40262 HAS SOUPS 37242 WITH SCORE 37304.748
AT ITER 4849 NEW BEST:: SOT 200747 SOS 62123 HAS SOPS 47842 HAS SOUS 40101 HAS SOUPS 37131 WITH SCORE 37193.123
AT ITER 4853 NEW BEST:: SOT 200739 SOS 62111 HAS SOPS 47830 HAS SOUS 40089 HAS SOUPS 37119 WITH SCORE 37181.111
AT ITER 4863 NEW BEST:: SOT 200739 SOS 62091 HAS SOPS 47830 HAS SOUS 40089 HAS SOUPS 37119 WITH SCORE 37181.091
AT ITER 4868 NEW BEST:: SOT 200727 SOS 62067 HAS SOPS 47806 HAS SOUS 40065 HAS SOUPS 37095 WITH SCORE 37157.067
AT ITER 4887 NEW BEST:: SOT 200691 SOS 62031 HAS SOPS 47770 HAS SOUS 40029 HAS SOUPS 37059 WITH SCORE 37121.031
AT ITER 4913 NEW BEST:: SOT 200685 SOS 61967 HAS SOPS 47804 HAS SOUS 40014 HAS SOUPS 37052 WITH SCORE 37113.967
AT ITER 4914 NEW BEST:: SOT 200680 SOS 61957 HAS SOPS 47794 HAS SOUS 40004 HAS SOUPS 37042 WITH SCORE 37103.957
AT ITER 4935 NEW BEST:: SOT 200680 SOS 61813 HAS SOPS 47650 HAS SOUS 40004 HAS SOUPS 37042 WITH SCORE 37103.813
AT ITER 4938 NEW BEST:: SOT 200633 SOS 61773 HAS SOPS 47598 HAS SOUS 39964 HAS SOUPS 36990 WITH SCORE 37051.773
AT ITER 4950 NEW BEST:: SOT 200615 SOS 61737 HAS SOPS 47562 HAS SOUS 39928 HAS SOUPS 36954 WITH SCORE 37015.737
AT ITER 5007 NEW BEST:: SOT 200615 SOS 61735 HAS SOPS 47562 HAS SOUS 39928 HAS SOUPS 36954 WITH SCORE 37015.735
AT ITER 5018 NEW BEST:: SOT 200610 SOS 61702 HAS SOPS 47529 HAS SOUS 39895 HAS SOUPS 36921 WITH SCORE 36982.702
AT ITER 5025 NEW BEST:: SOT 200602 SOS 61690 HAS SOPS 47517 HAS SOUS 39883 HAS SOUPS 36909 WITH SCORE 36970.69
AT ITER 5026 NEW BEST:: SOT 200626 SOS 61594 HAS SOPS 47421 HAS SOUS 39895 HAS SOUPS 36909 WITH SCORE 36970.594
AT ITER 5027 NEW BEST:: SOT 200535 SOS 61502 HAS SOPS 47329 HAS SOUS 39803 HAS SOUPS 36817 WITH SCORE 36878.502
AT ITER 5045 NEW BEST:: SOT 200311 SOS 61422 HAS SOPS 47369 HAS SOUS 39783 HAS SOUPS 36808 WITH SCORE 36869.422
AT ITER 5059 NEW BEST:: SOT 200268 SOS 61336 HAS SOPS 47326 HAS SOUS 39740 HAS SOUPS 36765 WITH SCORE 36826.336
AT ITER 5065 NEW BEST:: SOT 200370 SOS 61109 HAS SOPS 47346 HAS SOUS 39419 HAS SOUPS 36527 WITH SCORE 36588.109
AT ITER 5094 NEW BEST:: SOT 200358 SOS 61085 HAS SOPS 47322 HAS SOUS 39395 HAS SOUPS 36503 WITH SCORE 36564.085
AT ITER 5101 NEW BEST:: SOT 200347 SOS 61089 HAS SOPS 47300 HAS SOUS 39373 HAS SOUPS 36481 WITH SCORE 36542.089
AT ITER 5118 NEW BEST:: SOT 200339 SOS 61073 HAS SOPS 47284 HAS SOUS 39357 HAS SOUPS 36465 WITH SCORE 36526.073
AT ITER 5145 NEW BEST:: SOT 200277 SOS 61029 HAS SOPS 47255 HAS SOUS 39308 HAS SOUPS 36416 WITH SCORE 36477.029
AT ITER 5164 NEW BEST:: SOT 200274 SOS 61026 HAS SOPS 47252 HAS SOUS 39305 HAS SOUPS 36413 WITH SCORE 36474.026
AT ITER 5167 NEW BEST:: SOT 200257 SOS 60988 HAS SOPS 47218 HAS SOUS 39271 HAS SOUPS 36379 WITH SCORE 36439.988
AT ITER 5177 NEW BEST:: SOT 200198 SOS 60570 HAS SOPS 46845 HAS SOUS 39238 HAS SOUPS 36346 WITH SCORE 36406.57
AT ITER 5181 NEW BEST:: SOT 200149 SOS 60504 HAS SOPS 46747 HAS SOUS 39140 HAS SOUPS 36248 WITH SCORE 36308.504
AT ITER 5188 NEW BEST:: SOT 200119 SOS 60419 HAS SOPS 46687 HAS SOUS 39080 HAS SOUPS 36188 WITH SCORE 36248.419
AT ITER 5194 NEW BEST:: SOT 200100 SOS 60400 HAS SOPS 46686 HAS SOUS 39079 HAS SOUPS 36187 WITH SCORE 36247.4
AT ITER 5208 NEW BEST:: SOT 200019 SOS 60351 HAS SOPS 46680 HAS SOUS 38997 HAS SOUPS 36159 WITH SCORE 36219.351
AT ITER 5229 NEW BEST:: SOT 199965 SOS 60275 HAS SOPS 46572 HAS SOUS 38889 HAS SOUPS 36051 WITH SCORE 36111.275
AT ITER 5247 NEW BEST:: SOT 199957 SOS 60155 HAS SOPS 46556 HAS SOUS 38865 HAS SOUPS 36035 WITH SCORE 36095.155
AT ITER 5270 NEW BEST:: SOT 199923 SOS 60087 HAS SOPS 46488 HAS SOUS 38797 HAS SOUPS 35967 WITH SCORE 36027.087
AT ITER 5277 NEW BEST:: SOT 199822 SOS 59894 HAS SOPS 46387 HAS SOUS 38696 HAS SOUPS 35866 WITH SCORE 35925.894
AT ITER 5307 NEW BEST:: SOT 199806 SOS 59862 HAS SOPS 46355 HAS SOUS 38664 HAS SOUPS 35834 WITH SCORE 35893.862
AT ITER 5316 NEW BEST:: SOT 199797 SOS 59844 HAS SOPS 46337 HAS SOUS 38646 HAS SOUPS 35816 WITH SCORE 35875.844
AT ITER 5383 NEW BEST:: SOT 199799 SOS 59847 HAS SOPS 46339 HAS SOUS 38645 HAS SOUPS 35815 WITH SCORE 35874.847
AT ITER 5413 NEW BEST:: SOT 199780 SOS 59832 HAS SOPS 46324 HAS SOUS 38630 HAS SOUPS 35800 WITH SCORE 35859.832
AT ITER 5433 NEW BEST:: SOT 199774 SOS 59826 HAS SOPS 46318 HAS SOUS 38621 HAS SOUPS 35791 WITH SCORE 35850.826
AT ITER 5461 NEW BEST:: SOT 199776 SOS 59841 HAS SOPS 46333 HAS SOUS 38597 HAS SOUPS 35767 WITH SCORE 35826.841
AT ITER 5475 NEW BEST:: SOT 199770 SOS 59848 HAS SOPS 46276 HAS SOUS 38540 HAS SOUPS 35710 WITH SCORE 35769.848
AT ITER 5480 NEW BEST:: SOT 199765 SOS 59903 HAS SOPS 46331 HAS SOUS 38530 HAS SOUPS 35700 WITH SCORE 35759.903
AT ITER 5498 NEW BEST:: SOT 199754 SOS 59884 HAS SOPS 46317 HAS SOUS 38516 HAS SOUPS 35686 WITH SCORE 35745.884
AT ITER 5505 NEW BEST:: SOT 199718 SOS 59821 HAS SOPS 46273 HAS SOUS 38472 HAS SOUPS 35642 WITH SCORE 35701.821
AT ITER 5515 NEW BEST:: SOT 199709 SOS 59805 HAS SOPS 46257 HAS SOUS 38456 HAS SOUPS 35626 WITH SCORE 35685.805
AT ITER 5518 NEW BEST:: SOT 199707 SOS 59870 HAS SOPS 46253 HAS SOUS 38452 HAS SOUPS 35622 WITH SCORE 35681.87
AT ITER 5531 NEW BEST:: SOT 199671 SOS 60238 HAS SOPS 46657 HAS SOUS 38403 HAS SOUPS 35609 WITH SCORE 35669.238
AT ITER 5534 NEW BEST:: SOT 199674 SOS 60241 HAS SOPS 46653 HAS SOUS 38401 HAS SOUPS 35605 WITH SCORE 35665.241
AT ITER 5541 NEW BEST:: SOT 199666 SOS 60223 HAS SOPS 46637 HAS SOUS 38385 HAS SOUPS 35589 WITH SCORE 35649.223
AT ITER 5555 NEW BEST:: SOT 199615 SOS 60695 HAS SOPS 46582 HAS SOUS 38370 HAS SOUPS 35534 WITH SCORE 35594.695
AT ITER 5564 NEW BEST:: SOT 199597 SOS 60677 HAS SOPS 46546 HAS SOUS 38334 HAS SOUPS 35498 WITH SCORE 35558.677
AT ITER 5572 NEW BEST:: SOT 199495 SOS 60707 HAS SOPS 46615 HAS SOUS 38255 HAS SOUPS 35419 WITH SCORE 35479.707
AT ITER 5592 NEW BEST:: SOT 199494 SOS 60709 HAS SOPS 46617 HAS SOUS 38253 HAS SOUPS 35417 WITH SCORE 35477.709
AT ITER 5622 NEW BEST:: SOT 199458 SOS 60637 HAS SOPS 46545 HAS SOUS 38181 HAS SOUPS 35345 WITH SCORE 35405.637
AT ITER 5644 NEW BEST:: SOT 199361 SOS 60524 HAS SOPS 46432 HAS SOUS 38068 HAS SOUPS 35232 WITH SCORE 35292.524
AT ITER 5648 NEW BEST:: SOT 199344 SOS 60484 HAS SOPS 46398 HAS SOUS 38034 HAS SOUPS 35198 WITH SCORE 35258.484
AT ITER 5684 NEW BEST:: SOT 199340 SOS 60476 HAS SOPS 46390 HAS SOUS 38026 HAS SOUPS 35190 WITH SCORE 35250.476
AT ITER 5699 NEW BEST:: SOT 199377 SOS 60259 HAS SOPS 46150 HAS SOUS 37990 HAS SOUPS 35154 WITH SCORE 35214.259
AT ITER 5703 NEW BEST:: SOT 199354 SOS 60243 HAS SOPS 46134 HAS SOUS 37974 HAS SOUPS 35138 WITH SCORE 35198.243
AT ITER 5716 NEW BEST:: SOT 199316 SOS 60167 HAS SOPS 46090 HAS SOUS 37930 HAS SOUPS 35094 WITH SCORE 35154.167
AT ITER 5740 NEW BEST:: SOT 199306 SOS 60137 HAS SOPS 46060 HAS SOUS 37910 HAS SOUPS 35074 WITH SCORE 35134.137
AT ITER 5745 NEW BEST:: SOT 199299 SOS 60102 HAS SOPS 46046 HAS SOUS 37896 HAS SOUPS 35060 WITH SCORE 35120.102
AT ITER 5751 NEW BEST:: SOT 199186 SOS 59982 HAS SOPS 45921 HAS SOUS 37891 HAS SOUPS 35050 WITH SCORE 35109.982
AT ITER 5778 NEW BEST:: SOT 199141 SOS 59946 HAS SOPS 45920 HAS SOUS 37870 HAS SOUPS 35029 WITH SCORE 35088.946
AT ITER 5783 NEW BEST:: SOT 199139 SOS 59942 HAS SOPS 45916 HAS SOUS 37866 HAS SOUPS 35025 WITH SCORE 35084.942
AT ITER 5786 NEW BEST:: SOT 199120 SOS 59904 HAS SOPS 45878 HAS SOUS 37828 HAS SOUPS 34987 WITH SCORE 35046.904
AT ITER 5788 NEW BEST:: SOT 199148 SOS 59894 HAS SOPS 45879 HAS SOUS 37746 HAS SOUPS 34916 WITH SCORE 34975.894
AT ITER 5790 NEW BEST:: SOT 199132 SOS 59846 HAS SOPS 45863 HAS SOUS 37730 HAS SOUPS 34900 WITH SCORE 34959.846
AT ITER 5805 NEW BEST:: SOT 199132 SOS 59846 HAS SOPS 45857 HAS SOUS 37724 HAS SOUPS 34894 WITH SCORE 34953.846
AT ITER 5808 NEW BEST:: SOT 199139 SOS 59853 HAS SOPS 45864 HAS SOUS 37723 HAS SOUPS 34893 WITH SCORE 34952.853
AT ITER 5820 NEW BEST:: SOT 199145 SOS 59858 HAS SOPS 45870 HAS SOUS 37721 HAS SOUPS 34892 WITH SCORE 34951.858
AT ITER 5832 NEW BEST:: SOT 199135 SOS 59823 HAS SOPS 45835 HAS SOUS 37706 HAS SOUPS 34877 WITH SCORE 34936.823
AT ITER 5866 NEW BEST:: SOT 199125 SOS 59803 HAS SOPS 45835 HAS SOUS 37706 HAS SOUPS 34877 WITH SCORE 34936.803
AT ITER 5872 NEW BEST:: SOT 199113 SOS 59779 HAS SOPS 45811 HAS SOUS 37682 HAS SOUPS 34853 WITH SCORE 34912.779
AT ITER 5907 NEW BEST:: SOT 199113 SOS 59785 HAS SOPS 45805 HAS SOUS 37676 HAS SOUPS 34847 WITH SCORE 34906.785
AT ITER 5910 NEW BEST:: SOT 199043 SOS 59689 HAS SOPS 45709 HAS SOUS 37580 HAS SOUPS 34751 WITH SCORE 34810.689
AT ITER 5919 NEW BEST:: SOT 199038 SOS 59684 HAS SOPS 45694 HAS SOUS 37565 HAS SOUPS 34736 WITH SCORE 34795.684
AT ITER 5923 NEW BEST:: SOT 199037 SOS 59682 HAS SOPS 45692 HAS SOUS 37563 HAS SOUPS 34734 WITH SCORE 34793.682
AT ITER 5974 NEW BEST:: SOT 198909 SOS 60037 HAS SOPS 46033 HAS SOUS 37516 HAS SOUPS 34687 WITH SCORE 34747.037
AT ITER 5977 NEW BEST:: SOT 198874 SOS 60084 HAS SOPS 46093 HAS SOUS 37511 HAS SOUPS 34682 WITH SCORE 34742.084
AT ITER 5983 NEW BEST:: SOT 198843 SOS 60053 HAS SOPS 46073 HAS SOUS 37491 HAS SOUPS 34662 WITH SCORE 34722.053
AT ITER 5998 NEW BEST:: SOT 198835 SOS 60037 HAS SOPS 46057 HAS SOUS 37475 HAS SOUPS 34646 WITH SCORE 34706.037
AT ITER 6012 NEW BEST:: SOT 198846 SOS 60093 HAS SOPS 46065 HAS SOUS 37450 HAS SOUPS 34621 WITH SCORE 34681.093
AT ITER 6044 NEW BEST:: SOT 198864 SOS 59845 HAS SOPS 45792 HAS SOUS 37400 HAS SOUPS 34571 WITH SCORE 34630.845
AT ITER 6050 NEW BEST:: SOT 198857 SOS 59838 HAS SOPS 45785 HAS SOUS 37393 HAS SOUPS 34564 WITH SCORE 34623.838
AT ITER 6051 NEW BEST:: SOT 198857 SOS 59809 HAS SOPS 45756 HAS SOUS 37364 HAS SOUPS 34535 WITH SCORE 34594.809
AT ITER 6055 NEW BEST:: SOT 198851 SOS 59806 HAS SOPS 45753 HAS SOUS 37358 HAS SOUPS 34529 WITH SCORE 34588.806
AT ITER 6065 NEW BEST:: SOT 198851 SOS 59837 HAS SOPS 45784 HAS SOUS 37353 HAS SOUPS 34524 WITH SCORE 34583.837
AT ITER 6103 NEW BEST:: SOT 198799 SOS 59764 HAS SOPS 45722 HAS SOUS 37291 HAS SOUPS 34462 WITH SCORE 34521.764
AT ITER 6106 NEW BEST:: SOT 198765 SOS 59696 HAS SOPS 45654 HAS SOUS 37223 HAS SOUPS 34394 WITH SCORE 34453.696
AT ITER 6107 NEW BEST:: SOT 198739 SOS 59644 HAS SOPS 45628 HAS SOUS 37197 HAS SOUPS 34368 WITH SCORE 34427.644
AT ITER 6138 NEW BEST:: SOT 198728 SOS 59622 HAS SOPS 45606 HAS SOUS 37175 HAS SOUPS 34346 WITH SCORE 34405.622
AT ITER 6171 NEW BEST:: SOT 198728 SOS 59606 HAS SOPS 45587 HAS SOUS 37172 HAS SOUPS 34343 WITH SCORE 34402.606
AT ITER 6173 NEW BEST:: SOT 198804 SOS 59630 HAS SOPS 45524 HAS SOUS 37163 HAS SOUPS 34334 WITH SCORE 34393.63
AT ITER 6228 NEW BEST:: SOT 198799 SOS 59704 HAS SOPS 45520 HAS SOUS 37165 HAS SOUPS 34330 WITH SCORE 34389.704
AT ITER 6236 NEW BEST:: SOT 198775 SOS 59656 HAS SOPS 45472 HAS SOUS 37117 HAS SOUPS 34282 WITH SCORE 34341.656
AT ITER 6243 NEW BEST:: SOT 198759 SOS 59608 HAS SOPS 45424 HAS SOUS 37072 HAS SOUPS 34237 WITH SCORE 34296.608
AT ITER 6269 NEW BEST:: SOT 198744 SOS 59578 HAS SOPS 45394 HAS SOUS 37042 HAS SOUPS 34207 WITH SCORE 34266.578
AT ITER 6290 NEW BEST:: SOT 198744 SOS 59383 HAS SOPS 45199 HAS SOUS 37042 HAS SOUPS 34207 WITH SCORE 34266.383
AT ITER 6309 NEW BEST:: SOT 198737 SOS 59404 HAS SOPS 45185 HAS SOUS 37028 HAS SOUPS 34193 WITH SCORE 34252.404
AT ITER 6317 NEW BEST:: SOT 198736 SOS 59386 HAS SOPS 45183 HAS SOUS 37010 HAS SOUPS 34191 WITH SCORE 34250.386
AT ITER 6416 NEW BEST:: SOT 198731 SOS 59346 HAS SOPS 45173 HAS SOUS 37000 HAS SOUPS 34181 WITH SCORE 34240.346
AT ITER 6444 NEW BEST:: SOT 198731 SOS 59310 HAS SOPS 45131 HAS SOUS 36976 HAS SOUPS 34157 WITH SCORE 34216.31
AT ITER 6447 NEW BEST:: SOT 198713 SOS 59292 HAS SOPS 45114 HAS SOUS 36959 HAS SOUPS 34140 WITH SCORE 34199.292
AT ITER 6456 NEW BEST:: SOT 198687 SOS 59266 HAS SOPS 45062 HAS SOUS 36907 HAS SOUPS 34088 WITH SCORE 34147.266
AT ITER 6484 NEW BEST:: SOT 198687 SOS 59264 HAS SOPS 45062 HAS SOUS 36907 HAS SOUPS 34088 WITH SCORE 34147.264
AT ITER 6488 NEW BEST:: SOT 198679 SOS 59248 HAS SOPS 45046 HAS SOUS 36891 HAS SOUPS 34072 WITH SCORE 34131.248
AT ITER 6507 NEW BEST:: SOT 198679 SOS 59237 HAS SOPS 45035 HAS SOUS 36880 HAS SOUPS 34061 WITH SCORE 34120.237
AT ITER 6524 NEW BEST:: SOT 198662 SOS 59203 HAS SOPS 45001 HAS SOUS 36846 HAS SOUPS 34027 WITH SCORE 34086.203
AT ITER 6525 NEW BEST:: SOT 198564 SOS 59072 HAS SOPS 44916 HAS SOUS 36761 HAS SOUPS 33942 WITH SCORE 34001.072
AT ITER 6543 NEW BEST:: SOT 198564 SOS 59050 HAS SOPS 44894 HAS SOUS 36759 HAS SOUPS 33940 WITH SCORE 33999.05
AT ITER 6546 NEW BEST:: SOT 198554 SOS 59041 HAS SOPS 44885 HAS SOUS 36750 HAS SOUPS 33931 WITH SCORE 33990.041
AT ITER 6556 NEW BEST:: SOT 198571 SOS 59094 HAS SOPS 44902 HAS SOUS 36748 HAS SOUPS 33929 WITH SCORE 33988.094
AT ITER 6570 NEW BEST:: SOT 198568 SOS 59088 HAS SOPS 44896 HAS SOUS 36742 HAS SOUPS 33923 WITH SCORE 33982.088
AT ITER 6571 NEW BEST:: SOT 198552 SOS 59056 HAS SOPS 44864 HAS SOUS 36710 HAS SOUPS 33891 WITH SCORE 33950.056
AT ITER 6578 NEW BEST:: SOT 198508 SOS 58968 HAS SOPS 44816 HAS SOUS 36662 HAS SOUPS 33843 WITH SCORE 33901.968
AT ITER 6612 NEW BEST:: SOT 198471 SOS 58894 HAS SOPS 44742 HAS SOUS 36588 HAS SOUPS 33769 WITH SCORE 33827.894
AT ITER 6618 NEW BEST:: SOT 198471 SOS 58737 HAS SOPS 44585 HAS SOUS 36575 HAS SOUPS 33756 WITH SCORE 33814.737
AT ITER 6626 NEW BEST:: SOT 198463 SOS 58733 HAS SOPS 44581 HAS SOUS 36571 HAS SOUPS 33752 WITH SCORE 33810.733
AT ITER 6649 NEW BEST:: SOT 198459 SOS 58780 HAS SOPS 44628 HAS SOUS 36563 HAS SOUPS 33744 WITH SCORE 33802.78
AT ITER 6655 NEW BEST:: SOT 198459 SOS 58672 HAS SOPS 44520 HAS SOUS 36563 HAS SOUPS 33744 WITH SCORE 33802.672
AT ITER 6674 NEW BEST:: SOT 198447 SOS 58660 HAS SOPS 44496 HAS SOUS 36551 HAS SOUPS 33720 WITH SCORE 33778.66
AT ITER 6687 NEW BEST:: SOT 198390 SOS 58489 HAS SOPS 44382 HAS SOUS 36437 HAS SOUPS 33606 WITH SCORE 33664.489
AT ITER 6705 NEW BEST:: SOT 198381 SOS 58471 HAS SOPS 44364 HAS SOUS 36419 HAS SOUPS 33588 WITH SCORE 33646.471
AT ITER 6724 NEW BEST:: SOT 198386 SOS 58451 HAS SOPS 44344 HAS SOUS 36414 HAS SOUPS 33583 WITH SCORE 33641.451
AT ITER 6734 NEW BEST:: SOT 198379 SOS 58437 HAS SOPS 44330 HAS SOUS 36400 HAS SOUPS 33569 WITH SCORE 33627.437
AT ITER 6741 NEW BEST:: SOT 198378 SOS 58435 HAS SOPS 44328 HAS SOUS 36398 HAS SOUPS 33567 WITH SCORE 33625.435
AT ITER 6747 NEW BEST:: SOT 198378 SOS 58428 HAS SOPS 44328 HAS SOUS 36398 HAS SOUPS 33567 WITH SCORE 33625.428
AT ITER 6756 NEW BEST:: SOT 198412 SOS 58398 HAS SOPS 44281 HAS SOUS 36394 HAS SOUPS 33563 WITH SCORE 33621.398
AT ITER 6774 NEW BEST:: SOT 198412 SOS 58377 HAS SOPS 44239 HAS SOUS 36373 HAS SOUPS 33542 WITH SCORE 33600.377
AT ITER 6797 NEW BEST:: SOT 198413 SOS 58440 HAS SOPS 44238 HAS SOUS 36372 HAS SOUPS 33541 WITH SCORE 33599.44
AT ITER 6800 NEW BEST:: SOT 198372 SOS 58418 HAS SOPS 44156 HAS SOUS 36290 HAS SOUPS 33459 WITH SCORE 33517.418
AT ITER 6817 NEW BEST:: SOT 198372 SOS 58404 HAS SOPS 44142 HAS SOUS 36276 HAS SOUPS 33445 WITH SCORE 33503.404
AT ITER 6820 NEW BEST:: SOT 198354 SOS 58326 HAS SOPS 44064 HAS SOUS 36236 HAS SOUPS 33405 WITH SCORE 33463.326
AT ITER 6825 NEW BEST:: SOT 198330 SOS 58326 HAS SOPS 44040 HAS SOUS 36212 HAS SOUPS 33381 WITH SCORE 33439.326
AT ITER 6834 NEW BEST:: SOT 198330 SOS 58323 HAS SOPS 44037 HAS SOUS 36212 HAS SOUPS 33381 WITH SCORE 33439.323
AT ITER 6878 NEW BEST:: SOT 198236 SOS 58232 HAS SOPS 43849 HAS SOUS 36024 HAS SOUPS 33193 WITH SCORE 33251.232
AT ITER 6884 NEW BEST:: SOT 198227 SOS 58223 HAS SOPS 43840 HAS SOUS 36015 HAS SOUPS 33184 WITH SCORE 33242.223
AT ITER 6904 NEW BEST:: SOT 198227 SOS 58222 HAS SOPS 43839 HAS SOUS 36015 HAS SOUPS 33184 WITH SCORE 33242.222
AT ITER 6964 NEW BEST:: SOT 198204 SOS 58176 HAS SOPS 43793 HAS SOUS 35969 HAS SOUPS 33138 WITH SCORE 33196.176
AT ITER 6989 NEW BEST:: SOT 198142 SOS 57998 HAS SOPS 43786 HAS SOUS 35962 HAS SOUPS 33131 WITH SCORE 33188.998
AT ITER 7029 NEW BEST:: SOT 198142 SOS 57998 HAS SOPS 43783 HAS SOUS 35959 HAS SOUPS 33128 WITH SCORE 33185.998
AT ITER 7035 NEW BEST:: SOT 198123 SOS 58059 HAS SOPS 43764 HAS SOUS 35948 HAS SOUPS 33109 WITH SCORE 33167.059
AT ITER 7066 NEW BEST:: SOT 198162 SOS 57999 HAS SOPS 43704 HAS SOUS 35925 HAS SOUPS 33086 WITH SCORE 33143.999
AT ITER 7067 NEW BEST:: SOT 198162 SOS 58007 HAS SOPS 43667 HAS SOUS 35888 HAS SOUPS 33049 WITH SCORE 33107.007
AT ITER 7070 NEW BEST:: SOT 198162 SOS 58007 HAS SOPS 43655 HAS SOUS 35876 HAS SOUPS 33037 WITH SCORE 33095.007
AT ITER 7073 NEW BEST:: SOT 198210 SOS 57896 HAS SOPS 43507 HAS SOUS 35836 HAS SOUPS 32997 WITH SCORE 33054.896
AT ITER 7103 NEW BEST:: SOT 198194 SOS 57913 HAS SOPS 43475 HAS SOUS 35804 HAS SOUPS 32965 WITH SCORE 33022.913
AT ITER 7115 NEW BEST:: SOT 198194 SOS 57904 HAS SOPS 43466 HAS SOUS 35804 HAS SOUPS 32965 WITH SCORE 33022.904
AT ITER 7132 NEW BEST:: SOT 198198 SOS 57936 HAS SOPS 43401 HAS SOUS 35739 HAS SOUPS 32900 WITH SCORE 32957.936
AT ITER 7175 NEW BEST:: SOT 198173 SOS 57911 HAS SOPS 43376 HAS SOUS 35714 HAS SOUPS 32875 WITH SCORE 32932.911
AT ITER 7199 NEW BEST:: SOT 198199 SOS 57921 HAS SOPS 43358 HAS SOUS 35738 HAS SOUPS 32861 WITH SCORE 32918.921
AT ITER 7207 NEW BEST:: SOT 198198 SOS 57919 HAS SOPS 43356 HAS SOUS 35736 HAS SOUPS 32859 WITH SCORE 32916.919
AT ITER 7263 NEW BEST:: SOT 198203 SOS 57874 HAS SOPS 43311 HAS SOUS 35731 HAS SOUPS 32854 WITH SCORE 32911.874
AT ITER 7271 NEW BEST:: SOT 198199 SOS 57866 HAS SOPS 43303 HAS SOUS 35723 HAS SOUPS 32846 WITH SCORE 32903.866
AT ITER 7295 NEW BEST:: SOT 198179 SOS 58042 HAS SOPS 43479 HAS SOUS 35716 HAS SOUPS 32839 WITH SCORE 32897.042
AT ITER 7300 NEW BEST:: SOT 198160 SOS 58028 HAS SOPS 43465 HAS SOUS 35678 HAS SOUPS 32801 WITH SCORE 32859.028
AT ITER 7302 NEW BEST:: SOT 198157 SOS 58016 HAS SOPS 43459 HAS SOUS 35666 HAS SOUPS 32795 WITH SCORE 32853.016
AT ITER 7314 NEW BEST:: SOT 198144 SOS 58005 HAS SOPS 43400 HAS SOUS 35653 HAS SOUPS 32782 WITH SCORE 32840.005
AT ITER 7342 NEW BEST:: SOT 198189 SOS 58047 HAS SOPS 43373 HAS SOUS 35626 HAS SOUPS 32755 WITH SCORE 32813.047
AT ITER 7374 NEW BEST:: SOT 198189 SOS 58029 HAS SOPS 43364 HAS SOUS 35617 HAS SOUPS 32746 WITH SCORE 32804.029
AT ITER 7387 NEW BEST:: SOT 198185 SOS 58025 HAS SOPS 43360 HAS SOUS 35613 HAS SOUPS 32742 WITH SCORE 32800.025
AT ITER 7412 NEW BEST:: SOT 198183 SOS 58021 HAS SOPS 43356 HAS SOUS 35609 HAS SOUPS 32738 WITH SCORE 32796.021
AT ITER 7423 NEW BEST:: SOT 198180 SOS 58015 HAS SOPS 43350 HAS SOUS 35616 HAS SOUPS 32733 WITH SCORE 32791.015
AT ITER 7445 NEW BEST:: SOT 198164 SOS 57983 HAS SOPS 43318 HAS SOUS 35584 HAS SOUPS 32701 WITH SCORE 32758.983
AT ITER 7472 NEW BEST:: SOT 198150 SOS 57955 HAS SOPS 43316 HAS SOUS 35582 HAS SOUPS 32699 WITH SCORE 32756.955
AT ITER 7502 NEW BEST:: SOT 198131 SOS 57942 HAS SOPS 43303 HAS SOUS 35544 HAS SOUPS 32661 WITH SCORE 32718.942
AT ITER 7560 NEW BEST:: SOT 198129 SOS 57938 HAS SOPS 43299 HAS SOUS 35540 HAS SOUPS 32657 WITH SCORE 32714.938
AT ITER 7569 NEW BEST:: SOT 198133 SOS 57925 HAS SOPS 43286 HAS SOUS 35527 HAS SOUPS 32644 WITH SCORE 32701.925
AT ITER 7585 NEW BEST:: SOT 198136 SOS 57924 HAS SOPS 43285 HAS SOUS 35526 HAS SOUPS 32643 WITH SCORE 32700.924
AT ITER 7612 NEW BEST:: SOT 198049 SOS 57841 HAS SOPS 43175 HAS SOUS 35536 HAS SOUPS 32640 WITH SCORE 32697.841
AT ITER 7622 NEW BEST:: SOT 198043 SOS 57849 HAS SOPS 43163 HAS SOUS 35524 HAS SOUPS 32628 WITH SCORE 32685.849
AT ITER 7630 NEW BEST:: SOT 198068 SOS 57872 HAS SOPS 43188 HAS SOUS 35515 HAS SOUPS 32621 WITH SCORE 32678.872
AT ITER 7635 NEW BEST:: SOT 198068 SOS 57861 HAS SOPS 43177 HAS SOUS 35515 HAS SOUPS 32621 WITH SCORE 32678.861
AT ITER 7656 NEW BEST:: SOT 198041 SOS 57927 HAS SOPS 43211 HAS SOUS 35462 HAS SOUPS 32574 WITH SCORE 32631.927
AT ITER 7658 NEW BEST:: SOT 198059 SOS 57963 HAS SOPS 43207 HAS SOUS 35458 HAS SOUPS 32570 WITH SCORE 32627.963
AT ITER 7666 NEW BEST:: SOT 198049 SOS 57943 HAS SOPS 43192 HAS SOUS 35443 HAS SOUPS 32555 WITH SCORE 32612.943
AT ITER 7687 NEW BEST:: SOT 198047 SOS 57939 HAS SOPS 43188 HAS SOUS 35439 HAS SOUPS 32551 WITH SCORE 32608.939
AT ITER 7689 NEW BEST:: SOT 197991 SOS 57893 HAS SOPS 43180 HAS SOUS 35395 HAS SOUPS 32543 WITH SCORE 32600.893
AT ITER 7704 NEW BEST:: SOT 197989 SOS 57892 HAS SOPS 43180 HAS SOUS 35395 HAS SOUPS 32542 WITH SCORE 32599.892
AT ITER 7738 NEW BEST:: SOT 197983 SOS 57895 HAS SOPS 43168 HAS SOUS 35398 HAS SOUPS 32530 WITH SCORE 32587.895
AT ITER 7751 NEW BEST:: SOT 197980 SOS 57889 HAS SOPS 43162 HAS SOUS 35392 HAS SOUPS 32524 WITH SCORE 32581.889
AT ITER 7754 NEW BEST:: SOT 197971 SOS 57871 HAS SOPS 43144 HAS SOUS 35374 HAS SOUPS 32506 WITH SCORE 32563.871
AT ITER 7764 NEW BEST:: SOT 197959 SOS 57859 HAS SOPS 43132 HAS SOUS 35362 HAS SOUPS 32494 WITH SCORE 32551.859
AT ITER 7769 NEW BEST:: SOT 197959 SOS 57813 HAS SOPS 43086 HAS SOUS 35342 HAS SOUPS 32474 WITH SCORE 32531.813
AT ITER 7775 NEW BEST:: SOT 197952 SOS 57799 HAS SOPS 43079 HAS SOUS 35335 HAS SOUPS 32467 WITH SCORE 32524.799
AT ITER 7783 NEW BEST:: SOT 197938 SOS 57771 HAS SOPS 43051 HAS SOUS 35307 HAS SOUPS 32439 WITH SCORE 32496.771
AT ITER 7794 NEW BEST:: SOT 197926 SOS 57854 HAS SOPS 43071 HAS SOUS 35283 HAS SOUPS 32415 WITH SCORE 32472.854
AT ITER 7815 NEW BEST:: SOT 197926 SOS 57822 HAS SOPS 43039 HAS SOUS 35283 HAS SOUPS 32415 WITH SCORE 32472.822
AT ITER 7818 NEW BEST:: SOT 197921 SOS 57813 HAS SOPS 43039 HAS SOUS 35283 HAS SOUPS 32415 WITH SCORE 32472.813
AT ITER 7828 NEW BEST:: SOT 197921 SOS 57742 HAS SOPS 43039 HAS SOUS 35283 HAS SOUPS 32415 WITH SCORE 32472.742
AT ITER 7835 NEW BEST:: SOT 197976 SOS 57739 HAS SOPS 43036 HAS SOUS 35280 HAS SOUPS 32412 WITH SCORE 32469.739
AT ITER 7841 NEW BEST:: SOT 197960 SOS 57759 HAS SOPS 43045 HAS SOUS 35257 HAS SOUPS 32389 WITH SCORE 32446.759
AT ITER 7845 NEW BEST:: SOT 197792 SOS 57556 HAS SOPS 42842 HAS SOUS 35216 HAS SOUPS 32348 WITH SCORE 32405.556
AT ITER 7846 NEW BEST:: SOT 197746 SOS 57469 HAS SOPS 42755 HAS SOUS 35124 HAS SOUPS 32256 WITH SCORE 32313.469
AT ITER 7850 NEW BEST:: SOT 197745 SOS 57467 HAS SOPS 42753 HAS SOUS 35122 HAS SOUPS 32254 WITH SCORE 32311.467
AT ITER 7898 NEW BEST:: SOT 197749 SOS 57471 HAS SOPS 42748 HAS SOUS 35117 HAS SOUPS 32249 WITH SCORE 32306.471
AT ITER 7923 NEW BEST:: SOT 197706 SOS 57385 HAS SOPS 42701 HAS SOUS 35070 HAS SOUPS 32202 WITH SCORE 32259.385
AT ITER 7934 NEW BEST:: SOT 197688 SOS 57381 HAS SOPS 42697 HAS SOUS 35066 HAS SOUPS 32198 WITH SCORE 32255.381
AT ITER 7972 NEW BEST:: SOT 197882 SOS 57707 HAS SOPS 43023 HAS SOUS 35025 HAS SOUPS 32157 WITH SCORE 32214.707
AT ITER 7993 NEW BEST:: SOT 197882 SOS 57707 HAS SOPS 43004 HAS SOUS 35006 HAS SOUPS 32138 WITH SCORE 32195.707
AT ITER 8019 NEW BEST:: SOT 197873 SOS 57689 HAS SOPS 42996 HAS SOUS 34998 HAS SOUPS 32130 WITH SCORE 32187.689
AT ITER 8048 NEW BEST:: SOT 197861 SOS 57665 HAS SOPS 42972 HAS SOUS 34974 HAS SOUPS 32106 WITH SCORE 32163.665
AT ITER 8066 NEW BEST:: SOT 197811 SOS 57806 HAS SOPS 43113 HAS SOUS 34971 HAS SOUPS 32103 WITH SCORE 32160.806
AT ITER 8082 NEW BEST:: SOT 197811 SOS 57813 HAS SOPS 43106 HAS SOUS 34964 HAS SOUPS 32096 WITH SCORE 32153.813
AT ITER 8110 NEW BEST:: SOT 197787 SOS 57781 HAS SOPS 43074 HAS SOUS 34940 HAS SOUPS 32072 WITH SCORE 32129.781
AT ITER 8134 NEW BEST:: SOT 197765 SOS 57825 HAS SOPS 43029 HAS SOUS 34942 HAS SOUPS 32063 WITH SCORE 32120.825
AT ITER 8135 NEW BEST:: SOT 197764 SOS 57823 HAS SOPS 43027 HAS SOUS 34940 HAS SOUPS 32061 WITH SCORE 32118.823
AT ITER 8144 NEW BEST:: SOT 197760 SOS 57958 HAS SOPS 43163 HAS SOUS 34937 HAS SOUPS 32058 WITH SCORE 32115.958
AT ITER 8171 NEW BEST:: SOT 197758 SOS 57954 HAS SOPS 43160 HAS SOUS 34934 HAS SOUPS 32055 WITH SCORE 32112.954
AT ITER 8193 NEW BEST:: SOT 197744 SOS 57964 HAS SOPS 43175 HAS SOUS 34924 HAS SOUPS 32045 WITH SCORE 32102.964
AT ITER 8205 NEW BEST:: SOT 197734 SOS 57540 HAS SOPS 42751 HAS SOUS 34904 HAS SOUPS 32025 WITH SCORE 32082.54
AT ITER 8237 NEW BEST:: SOT 197715 SOS 57426 HAS SOPS 42637 HAS SOUS 34866 HAS SOUPS 31987 WITH SCORE 32044.426
AT ITER 8274 NEW BEST:: SOT 197686 SOS 57594 HAS SOPS 42616 HAS SOUS 34885 HAS SOUPS 31982 WITH SCORE 32039.594
AT ITER 8298 NEW BEST:: SOT 197659 SOS 57540 HAS SOPS 42562 HAS SOUS 34831 HAS SOUPS 31928 WITH SCORE 31985.54
AT ITER 8344 NEW BEST:: SOT 197591 SOS 57472 HAS SOPS 42494 HAS SOUS 34763 HAS SOUPS 31860 WITH SCORE 31917.472
AT ITER 8355 NEW BEST:: SOT 197590 SOS 57470 HAS SOPS 42492 HAS SOUS 34761 HAS SOUPS 31858 WITH SCORE 31915.47
AT ITER 8363 NEW BEST:: SOT 197492 SOS 57467 HAS SOPS 42492 HAS SOUS 34761 HAS SOUPS 31858 WITH SCORE 31915.467
AT ITER 8384 NEW BEST:: SOT 197492 SOS 57465 HAS SOPS 42492 HAS SOUS 34761 HAS SOUPS 31858 WITH SCORE 31915.465
AT ITER 8428 NEW BEST:: SOT 197475 SOS 57431 HAS SOPS 42458 HAS SOUS 34727 HAS SOUPS 31824 WITH SCORE 31881.431
AT ITER 8463 NEW BEST:: SOT 197445 SOS 57251 HAS SOPS 42278 HAS SOUS 34667 HAS SOUPS 31764 WITH SCORE 31821.251
AT ITER 8464 NEW BEST:: SOT 197364 SOS 57341 HAS SOPS 42343 HAS SOUS 34638 HAS SOUPS 31752 WITH SCORE 31809.341
AT ITER 8471 NEW BEST:: SOT 197341 SOS 57301 HAS SOPS 42314 HAS SOUS 34609 HAS SOUPS 31723 WITH SCORE 31780.301
AT ITER 8473 NEW BEST:: SOT 197392 SOS 57291 HAS SOPS 42304 HAS SOUS 34599 HAS SOUPS 31713 WITH SCORE 31770.291
AT ITER 8476 NEW BEST:: SOT 197361 SOS 57260 HAS SOPS 42273 HAS SOUS 34568 HAS SOUPS 31682 WITH SCORE 31739.26
AT ITER 8516 NEW BEST:: SOT 197345 SOS 57228 HAS SOPS 42241 HAS SOUS 34536 HAS SOUPS 31650 WITH SCORE 31707.228
AT ITER 8568 NEW BEST:: SOT 197340 SOS 57218 HAS SOPS 42231 HAS SOUS 34526 HAS SOUPS 31640 WITH SCORE 31697.218
AT ITER 8586 NEW BEST:: SOT 197334 SOS 57206 HAS SOPS 42219 HAS SOUS 34514 HAS SOUPS 31628 WITH SCORE 31685.206
AT ITER 8600 NEW BEST:: SOT 197329 SOS 57196 HAS SOPS 42209 HAS SOUS 34504 HAS SOUPS 31618 WITH SCORE 31675.196
AT ITER 8611 NEW BEST:: SOT 197321 SOS 57180 HAS SOPS 42201 HAS SOUS 34496 HAS SOUPS 31610 WITH SCORE 31667.18
AT ITER 8636 NEW BEST:: SOT 197316 SOS 57170 HAS SOPS 42191 HAS SOUS 34486 HAS SOUPS 31600 WITH SCORE 31657.17
AT ITER 8680 NEW BEST:: SOT 197214 SOS 56663 HAS SOPS 41684 HAS SOUS 34383 HAS SOUPS 31497 WITH SCORE 31553.663
AT ITER 8710 NEW BEST:: SOT 197153 SOS 56541 HAS SOPS 41562 HAS SOUS 34261 HAS SOUPS 31375 WITH SCORE 31431.541
AT ITER 8711 NEW BEST:: SOT 197151 SOS 56539 HAS SOPS 41560 HAS SOUS 34259 HAS SOUPS 31373 WITH SCORE 31429.539
AT ITER 8718 NEW BEST:: SOT 197125 SOS 56513 HAS SOPS 41534 HAS SOUS 34233 HAS SOUPS 31347 WITH SCORE 31403.513
AT ITER 8739 NEW BEST:: SOT 197125 SOS 56645 HAS SOPS 41633 HAS SOUS 34200 HAS SOUPS 31314 WITH SCORE 31370.645
AT ITER 8785 NEW BEST:: SOT 197084 SOS 56584 HAS SOPS 41551 HAS SOUS 34118 HAS SOUPS 31232 WITH SCORE 31288.584
AT ITER 8798 NEW BEST:: SOT 197075 SOS 56566 HAS SOPS 41543 HAS SOUS 34110 HAS SOUPS 31224 WITH SCORE 31280.566
AT ITER 8834 NEW BEST:: SOT 197052 SOS 56480 HAS SOPS 41497 HAS SOUS 34064 HAS SOUPS 31178 WITH SCORE 31234.48
AT ITER 8851 NEW BEST:: SOT 197108 SOS 56545 HAS SOPS 41622 HAS SOUS 34030 HAS SOUPS 31166 WITH SCORE 31222.545
AT ITER 8906 NEW BEST:: SOT 197104 SOS 56237 HAS SOPS 41314 HAS SOUS 34004 HAS SOUPS 31140 WITH SCORE 31196.237
AT ITER 8922 NEW BEST:: SOT 197057 SOS 56135 HAS SOPS 41267 HAS SOUS 33965 HAS SOUPS 31101 WITH SCORE 31157.135
AT ITER 8926 NEW BEST:: SOT 197052 SOS 56125 HAS SOPS 41257 HAS SOUS 33955 HAS SOUPS 31091 WITH SCORE 31147.125
AT ITER 8953 NEW BEST:: SOT 196911 SOS 55995 HAS SOPS 41203 HAS SOUS 33901 HAS SOUPS 31037 WITH SCORE 31092.995
AT ITER 8955 NEW BEST:: SOT 196910 SOS 55993 HAS SOPS 41201 HAS SOUS 33899 HAS SOUPS 31035 WITH SCORE 31090.993
AT ITER 8993 NEW BEST:: SOT 196910 SOS 55983 HAS SOPS 41191 HAS SOUS 33899 HAS SOUPS 31035 WITH SCORE 31090.983
AT ITER 9001 NEW BEST:: SOT 196875 SOS 55913 HAS SOPS 41121 HAS SOUS 33829 HAS SOUPS 30965 WITH SCORE 31020.913
AT ITER 9014 NEW BEST:: SOT 196860 SOS 55883 HAS SOPS 41091 HAS SOUS 33799 HAS SOUPS 30935 WITH SCORE 30990.883
AT ITER 9029 NEW BEST:: SOT 196859 SOS 55881 HAS SOPS 41089 HAS SOUS 33797 HAS SOUPS 30933 WITH SCORE 30988.881
AT ITER 9036 NEW BEST:: SOT 196859 SOS 55881 HAS SOPS 41089 HAS SOUS 33790 HAS SOUPS 30926 WITH SCORE 30981.881
AT ITER 9057 NEW BEST:: SOT 196858 SOS 55872 HAS SOPS 41087 HAS SOUS 33788 HAS SOUPS 30924 WITH SCORE 30979.872
AT ITER 9077 NEW BEST:: SOT 196857 SOS 55879 HAS SOPS 41085 HAS SOUS 33795 HAS SOUPS 30922 WITH SCORE 30977.879
AT ITER 9089 NEW BEST:: SOT 196845 SOS 55861 HAS SOPS 41073 HAS SOUS 33783 HAS SOUPS 30910 WITH SCORE 30965.861
AT ITER 9106 NEW BEST:: SOT 196923 SOS 55973 HAS SOPS 41185 HAS SOUS 33742 HAS SOUPS 30869 WITH SCORE 30924.973
AT ITER 9191 NEW BEST:: SOT 196954 SOS 55982 HAS SOPS 41210 HAS SOUS 33642 HAS SOUPS 30784 WITH SCORE 30839.982
AT ITER 9255 NEW BEST:: SOT 196916 SOS 56106 HAS SOPS 41163 HAS SOUS 33607 HAS SOUPS 30730 WITH SCORE 30786.106
AT ITER 9258 NEW BEST:: SOT 196895 SOS 56068 HAS SOPS 41146 HAS SOUS 33590 HAS SOUPS 30713 WITH SCORE 30769.068
AT ITER 9297 NEW BEST:: SOT 196867 SOS 56040 HAS SOPS 41090 HAS SOUS 33481 HAS SOUPS 30604 WITH SCORE 30660.04
AT ITER 9316 NEW BEST:: SOT 196835 SOS 56015 HAS SOPS 40959 HAS SOUS 33375 HAS SOUPS 30498 WITH SCORE 30554.015
AT ITER 9363 NEW BEST:: SOT 196828 SOS 56008 HAS SOPS 40945 HAS SOUS 33361 HAS SOUPS 30484 WITH SCORE 30540.008
AT ITER 9384 NEW BEST:: SOT 196831 SOS 55987 HAS SOPS 40951 HAS SOUS 33355 HAS SOUPS 30481 WITH SCORE 30536.987
AT ITER 9386 NEW BEST:: SOT 196844 SOS 55951 HAS SOPS 40915 HAS SOUS 33319 HAS SOUPS 30445 WITH SCORE 30500.951
AT ITER 9389 NEW BEST:: SOT 196817 SOS 55901 HAS SOPS 40818 HAS SOUS 33265 HAS SOUPS 30391 WITH SCORE 30446.901
AT ITER 9390 NEW BEST:: SOT 196808 SOS 55883 HAS SOPS 40808 HAS SOUS 33255 HAS SOUPS 30381 WITH SCORE 30436.883
AT ITER 9411 NEW BEST:: SOT 196757 SOS 55850 HAS SOPS 40706 HAS SOUS 33153 HAS SOUPS 30279 WITH SCORE 30334.85
AT ITER 9427 NEW BEST:: SOT 196714 SOS 55807 HAS SOPS 40695 HAS SOUS 33142 HAS SOUPS 30268 WITH SCORE 30323.807
AT ITER 9432 NEW BEST:: SOT 196696 SOS 55931 HAS SOPS 40819 HAS SOUS 33118 HAS SOUPS 30244 WITH SCORE 30299.931
AT ITER 9478 NEW BEST:: SOT 196696 SOS 55917 HAS SOPS 40819 HAS SOUS 33118 HAS SOUPS 30244 WITH SCORE 30299.917
AT ITER 9525 NEW BEST:: SOT 196688 SOS 55901 HAS SOPS 40803 HAS SOUS 33102 HAS SOUPS 30228 WITH SCORE 30283.901
AT ITER 9581 NEW BEST:: SOT 196657 SOS 55858 HAS SOPS 40760 HAS SOUS 33059 HAS SOUPS 30185 WITH SCORE 30240.858
AT ITER 9622 NEW BEST:: SOT 196657 SOS 55862 HAS SOPS 40764 HAS SOUS 33058 HAS SOUPS 30184 WITH SCORE 30239.862
AT ITER 9653 NEW BEST:: SOT 196646 SOS 55840 HAS SOPS 40742 HAS SOUS 33036 HAS SOUPS 30162 WITH SCORE 30217.84
AT ITER 9673 NEW BEST:: SOT 196633 SOS 55815 HAS SOPS 40740 HAS SOUS 33034 HAS SOUPS 30160 WITH SCORE 30215.815
AT ITER 9675 NEW BEST:: SOT 196633 SOS 55812 HAS SOPS 40737 HAS SOUS 33031 HAS SOUPS 30157 WITH SCORE 30212.812
AT ITER 9684 NEW BEST:: SOT 196644 SOS 55859 HAS SOPS 40723 HAS SOUS 33017 HAS SOUPS 30143 WITH SCORE 30198.859
AT ITER 9700 NEW BEST:: SOT 196659 SOS 55857 HAS SOPS 40721 HAS SOUS 33015 HAS SOUPS 30141 WITH SCORE 30196.857
AT ITER 9818 NEW BEST:: SOT 196656 SOS 55848 HAS SOPS 40715 HAS SOUS 33009 HAS SOUPS 30135 WITH SCORE 30190.848
AT ITER 9841 NEW BEST:: SOT 196657 SOS 55849 HAS SOPS 40676 HAS SOUS 32960 HAS SOUPS 30086 WITH SCORE 30141.849
AT ITER 9853 NEW BEST:: SOT 196653 SOS 55805 HAS SOPS 40668 HAS SOUS 32952 HAS SOUPS 30078 WITH SCORE 30133.805
AT ITER 9875 NEW BEST:: SOT 196646 SOS 55791 HAS SOPS 40654 HAS SOUS 32938 HAS SOUPS 30064 WITH SCORE 30119.791
AT ITER 9881 NEW BEST:: SOT 196635 SOS 55769 HAS SOPS 40632 HAS SOUS 32916 HAS SOUPS 30042 WITH SCORE 30097.769
AT ITER 9883 NEW BEST:: SOT 196629 SOS 55720 HAS SOPS 40583 HAS SOUS 32904 HAS SOUPS 30030 WITH SCORE 30085.72
AT ITER 9890 NEW BEST:: SOT 196604 SOS 55766 HAS SOPS 40631 HAS SOUS 32846 HAS SOUPS 29974 WITH SCORE 30029.766
AT ITER 9909 NEW BEST:: SOT 196604 SOS 55766 HAS SOPS 40628 HAS SOUS 32843 HAS SOUPS 29971 WITH SCORE 30026.766
AT ITER 9950 NEW BEST:: SOT 196604 SOS 55710 HAS SOPS 40572 HAS SOUS 32843 HAS SOUPS 29971 WITH SCORE 30026.71
AT ITER 9961 NEW BEST:: SOT 196604 SOS 55686 HAS SOPS 40542 HAS SOUS 32837 HAS SOUPS 29959 WITH SCORE 30014.686
AT ITER 9968 NEW BEST:: SOT 196587 SOS 55656 HAS SOPS 40538 HAS SOUS 32833 HAS SOUPS 29955 WITH SCORE 30010.656
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 8314420 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16147404 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="Peterson-PT-4"
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 Peterson-PT-4, 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-167863534800624"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Peterson-PT-4.tgz
mv Peterson-PT-4 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 '
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 ;