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.r163-tall-167838848100680.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 FunctionPointer-PT-b008, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838848100680
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 5.7K Feb 25 11:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 25 11:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 11:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 11:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:08 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:08 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 11:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 173K Feb 25 11:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 11:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 32K Feb 25 11:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:08 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:08 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 391K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678458897567

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=FunctionPointer-PT-b008
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FunctionPointer (PT), instance b008
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: 306 places, 840 transitions, 3392 arcs.
AT ITER 0 NEW BEST:: SOT 250343 SOS 198996 HAS SOPS 192595 HAS SOUS 100055 HAS SOUPS 99609 WITH SCORE 99807.996
AT ITER 12 NEW BEST:: SOT 250343 SOS 199364 HAS SOPS 192963 HAS SOUS 99984 HAS SOUPS 99538 WITH SCORE 99737.364
AT ITER 16 NEW BEST:: SOT 250327 SOS 199348 HAS SOPS 193045 HAS SOUS 99966 HAS SOUPS 99520 WITH SCORE 99719.348
AT ITER 18 NEW BEST:: SOT 250327 SOS 199170 HAS SOPS 192867 HAS SOUS 99877 HAS SOUPS 99431 WITH SCORE 99630.17
AT ITER 19 NEW BEST:: SOT 250327 SOS 199028 HAS SOPS 192725 HAS SOUS 99806 HAS SOUPS 99360 WITH SCORE 99559.028
AT ITER 20 NEW BEST:: SOT 250327 SOS 198808 HAS SOPS 192505 HAS SOUS 99749 HAS SOUPS 99303 WITH SCORE 99501.808
AT ITER 26 NEW BEST:: SOT 250327 SOS 197914 HAS SOPS 190311 HAS SOUS 99853 HAS SOUPS 98107 WITH SCORE 98304.914
AT ITER 33 NEW BEST:: SOT 250327 SOS 197806 HAS SOPS 190203 HAS SOUS 99771 HAS SOUPS 98025 WITH SCORE 98222.806
AT ITER 34 NEW BEST:: SOT 250327 SOS 197458 HAS SOPS 189855 HAS SOUS 99684 HAS SOUPS 97938 WITH SCORE 98135.458
AT ITER 35 NEW BEST:: SOT 250327 SOS 197337 HAS SOPS 189784 HAS SOUS 99563 HAS SOUPS 97867 WITH SCORE 98064.337
AT ITER 38 NEW BEST:: SOT 250327 SOS 197157 HAS SOPS 189604 HAS SOUS 99518 HAS SOUPS 97822 WITH SCORE 98019.157
AT ITER 48 NEW BEST:: SOT 250327 SOS 197133 HAS SOPS 189592 HAS SOUS 99512 HAS SOUPS 97816 WITH SCORE 98013.133
AT ITER 50 NEW BEST:: SOT 250327 SOS 197091 HAS SOPS 189550 HAS SOUS 99501 HAS SOUPS 97805 WITH SCORE 98002.091
AT ITER 51 NEW BEST:: SOT 250327 SOS 197059 HAS SOPS 189569 HAS SOUS 99348 HAS SOUPS 97703 WITH SCORE 97900.059
AT ITER 52 NEW BEST:: SOT 250327 SOS 196915 HAS SOPS 189425 HAS SOUS 99168 HAS SOUPS 97523 WITH SCORE 97719.915
AT ITER 53 NEW BEST:: SOT 250327 SOS 196785 HAS SOPS 189295 HAS SOUS 99038 HAS SOUPS 97393 WITH SCORE 97589.785
AT ITER 55 NEW BEST:: SOT 250327 SOS 196647 HAS SOPS 189157 HAS SOUS 98965 HAS SOUPS 97320 WITH SCORE 97516.647
AT ITER 57 NEW BEST:: SOT 250327 SOS 196543 HAS SOPS 189053 HAS SOUS 98899 HAS SOUPS 97254 WITH SCORE 97450.543
AT ITER 59 NEW BEST:: SOT 250327 SOS 196535 HAS SOPS 189045 HAS SOUS 98891 HAS SOUPS 97246 WITH SCORE 97442.535
AT ITER 63 NEW BEST:: SOT 250327 SOS 196533 HAS SOPS 189043 HAS SOUS 98890 HAS SOUPS 97245 WITH SCORE 97441.533
AT ITER 64 NEW BEST:: SOT 250327 SOS 196504 HAS SOPS 189014 HAS SOUS 98854 HAS SOUPS 97209 WITH SCORE 97405.504
AT ITER 69 NEW BEST:: SOT 250327 SOS 196372 HAS SOPS 188752 HAS SOUS 98788 HAS SOUPS 97013 WITH SCORE 97209.372
AT ITER 73 NEW BEST:: SOT 250311 SOS 196354 HAS SOPS 188772 HAS SOUS 98782 HAS SOUPS 97007 WITH SCORE 97203.354
AT ITER 82 NEW BEST:: SOT 227240 SOS 173965 HAS SOPS 165827 HAS SOUS 98181 HAS SOUPS 96346 WITH SCORE 96519.965
AT ITER 87 NEW BEST:: SOT 227240 SOS 173581 HAS SOPS 165443 HAS SOUS 98085 HAS SOUPS 96250 WITH SCORE 96423.581
AT ITER 89 NEW BEST:: SOT 227240 SOS 173518 HAS SOPS 165380 HAS SOUS 98064 HAS SOUPS 96229 WITH SCORE 96402.518
AT ITER 92 NEW BEST:: SOT 227244 SOS 173452 HAS SOPS 165294 HAS SOUS 97942 HAS SOUPS 96107 WITH SCORE 96280.452
AT ITER 95 NEW BEST:: SOT 227244 SOS 173443 HAS SOPS 165285 HAS SOUS 97942 HAS SOUPS 96107 WITH SCORE 96280.443
AT ITER 104 NEW BEST:: SOT 227244 SOS 173259 HAS SOPS 165055 HAS SOUS 97896 HAS SOUPS 96015 WITH SCORE 96188.259
AT ITER 108 NEW BEST:: SOT 227228 SOS 173079 HAS SOPS 164941 HAS SOUS 97823 HAS SOUPS 95942 WITH SCORE 96115.079
AT ITER 109 NEW BEST:: SOT 227212 SOS 172915 HAS SOPS 164798 HAS SOUS 97828 HAS SOUPS 95910 WITH SCORE 96082.915
AT ITER 116 NEW BEST:: SOT 227212 SOS 172112 HAS SOPS 163703 HAS SOUS 97235 HAS SOUPS 95317 WITH SCORE 95489.112
AT ITER 119 NEW BEST:: SOT 227212 SOS 172060 HAS SOPS 163651 HAS SOUS 97147 HAS SOUPS 95229 WITH SCORE 95401.06
AT ITER 121 NEW BEST:: SOT 227272 SOS 172072 HAS SOPS 163663 HAS SOUS 97121 HAS SOUPS 95203 WITH SCORE 95375.072
AT ITER 122 NEW BEST:: SOT 227272 SOS 172028 HAS SOPS 163619 HAS SOUS 97038 HAS SOUPS 95120 WITH SCORE 95292.028
AT ITER 126 NEW BEST:: SOT 227282 SOS 172038 HAS SOPS 163613 HAS SOUS 97044 HAS SOUPS 95114 WITH SCORE 95286.038
AT ITER 130 NEW BEST:: SOT 227282 SOS 171986 HAS SOPS 163561 HAS SOUS 96938 HAS SOUPS 95008 WITH SCORE 95179.986
AT ITER 131 NEW BEST:: SOT 227279 SOS 171980 HAS SOPS 163552 HAS SOUS 96929 HAS SOUPS 94999 WITH SCORE 95170.98
AT ITER 137 NEW BEST:: SOT 227279 SOS 171964 HAS SOPS 163520 HAS SOUS 96937 HAS SOUPS 94999 WITH SCORE 95170.964
AT ITER 141 NEW BEST:: SOT 227279 SOS 171808 HAS SOPS 163416 HAS SOUS 96937 HAS SOUPS 94999 WITH SCORE 95170.808
AT ITER 148 NEW BEST:: SOT 227279 SOS 171792 HAS SOPS 163427 HAS SOUS 96910 HAS SOUPS 94999 WITH SCORE 95170.792
AT ITER 153 NEW BEST:: SOT 227195 SOS 171540 HAS SOPS 163175 HAS SOUS 96784 HAS SOUPS 94873 WITH SCORE 95044.54
AT ITER 157 NEW BEST:: SOT 227195 SOS 171276 HAS SOPS 163043 HAS SOUS 96784 HAS SOUPS 94873 WITH SCORE 95044.276
AT ITER 162 NEW BEST:: SOT 227241 SOS 171352 HAS SOPS 163352 HAS SOUS 96586 HAS SOUPS 94857 WITH SCORE 95028.352
AT ITER 167 NEW BEST:: SOT 227241 SOS 171398 HAS SOPS 163398 HAS SOUS 96437 HAS SOUPS 94708 WITH SCORE 94879.398
AT ITER 175 NEW BEST:: SOT 227241 SOS 171388 HAS SOPS 163423 HAS SOUS 96362 HAS SOUPS 94668 WITH SCORE 94839.388
AT ITER 182 NEW BEST:: SOT 227241 SOS 171322 HAS SOPS 163357 HAS SOUS 96329 HAS SOUPS 94635 WITH SCORE 94806.322
AT ITER 183 NEW BEST:: SOT 227241 SOS 171002 HAS SOPS 163037 HAS SOUS 96311 HAS SOUPS 94617 WITH SCORE 94788.002
AT ITER 186 NEW BEST:: SOT 227297 SOS 170854 HAS SOPS 162889 HAS SOUS 96159 HAS SOUPS 94465 WITH SCORE 94635.854
AT ITER 194 NEW BEST:: SOT 229033 SOS 172015 HAS SOPS 163125 HAS SOUS 93452 HAS SOUPS 91737 WITH SCORE 91909.015
AT ITER 202 NEW BEST:: SOT 229033 SOS 171805 HAS SOPS 163017 HAS SOUS 93299 HAS SOUPS 91635 WITH SCORE 91806.805
AT ITER 207 NEW BEST:: SOT 229017 SOS 171789 HAS SOPS 163001 HAS SOUS 93283 HAS SOUPS 91619 WITH SCORE 91790.789
AT ITER 209 NEW BEST:: SOT 229049 SOS 171107 HAS SOPS 162319 HAS SOUS 93086 HAS SOUPS 91422 WITH SCORE 91593.107
AT ITER 216 NEW BEST:: SOT 229036 SOS 170901 HAS SOPS 161813 HAS SOUS 93143 HAS SOUPS 91325 WITH SCORE 91495.901
AT ITER 221 NEW BEST:: SOT 229104 SOS 170858 HAS SOPS 161774 HAS SOUS 92997 HAS SOUPS 91189 WITH SCORE 91359.858
AT ITER 223 NEW BEST:: SOT 229104 SOS 170858 HAS SOPS 161774 HAS SOUS 92973 HAS SOUPS 91165 WITH SCORE 91335.858
AT ITER 232 NEW BEST:: SOT 229120 SOS 170699 HAS SOPS 161610 HAS SOUS 92794 HAS SOUPS 90986 WITH SCORE 91156.699
AT ITER 236 NEW BEST:: SOT 229120 SOS 170687 HAS SOPS 161598 HAS SOUS 92772 HAS SOUPS 90964 WITH SCORE 91134.687
AT ITER 243 NEW BEST:: SOT 229151 SOS 170239 HAS SOPS 161119 HAS SOUS 92275 HAS SOUPS 90467 WITH SCORE 90637.239
AT ITER 252 NEW BEST:: SOT 229151 SOS 170695 HAS SOPS 161575 HAS SOUS 91901 HAS SOUPS 90093 WITH SCORE 90263.695
AT ITER 253 NEW BEST:: SOT 229231 SOS 170659 HAS SOPS 161523 HAS SOUS 91881 HAS SOUPS 90073 WITH SCORE 90243.659
AT ITER 256 NEW BEST:: SOT 229391 SOS 170651 HAS SOPS 161364 HAS SOUS 91957 HAS SOUPS 90063 WITH SCORE 90233.651
AT ITER 257 NEW BEST:: SOT 229391 SOS 170279 HAS SOPS 161398 HAS SOUS 91487 HAS SOUPS 89593 WITH SCORE 89763.279
AT ITER 262 NEW BEST:: SOT 229391 SOS 170071 HAS SOPS 161514 HAS SOUS 90735 HAS SOUPS 88841 WITH SCORE 89011.071
AT ITER 270 NEW BEST:: SOT 229391 SOS 170025 HAS SOPS 161468 HAS SOUS 90699 HAS SOUPS 88805 WITH SCORE 88975.025
AT ITER 280 NEW BEST:: SOT 229587 SOS 170623 HAS SOPS 162094 HAS SOUS 89612 HAS SOUPS 87718 WITH SCORE 87888.623
AT ITER 281 NEW BEST:: SOT 229614 SOS 169869 HAS SOPS 161309 HAS SOUS 89503 HAS SOUPS 87609 WITH SCORE 87778.869
AT ITER 282 NEW BEST:: SOT 229614 SOS 169865 HAS SOPS 161305 HAS SOUS 89475 HAS SOUPS 87581 WITH SCORE 87750.865
AT ITER 290 NEW BEST:: SOT 229692 SOS 169523 HAS SOPS 160989 HAS SOUS 89354 HAS SOUPS 87460 WITH SCORE 87629.523
AT ITER 291 NEW BEST:: SOT 229692 SOS 169521 HAS SOPS 160987 HAS SOUS 89353 HAS SOUPS 87459 WITH SCORE 87628.521
AT ITER 301 NEW BEST:: SOT 229692 SOS 169521 HAS SOPS 160833 HAS SOUS 89199 HAS SOUPS 87305 WITH SCORE 87474.521
AT ITER 303 NEW BEST:: SOT 229711 SOS 169173 HAS SOPS 160485 HAS SOUS 89101 HAS SOUPS 87207 WITH SCORE 87376.173
AT ITER 309 NEW BEST:: SOT 229711 SOS 168565 HAS SOPS 159877 HAS SOUS 88935 HAS SOUPS 87041 WITH SCORE 87209.565
AT ITER 313 NEW BEST:: SOT 229711 SOS 168645 HAS SOPS 159957 HAS SOUS 88924 HAS SOUPS 87030 WITH SCORE 87198.645
AT ITER 320 NEW BEST:: SOT 229671 SOS 168465 HAS SOPS 159737 HAS SOUS 88754 HAS SOUPS 86860 WITH SCORE 87028.465
AT ITER 322 NEW BEST:: SOT 229671 SOS 168623 HAS SOPS 159895 HAS SOUS 88176 HAS SOUPS 86282 WITH SCORE 86450.623
AT ITER 326 NEW BEST:: SOT 229671 SOS 168759 HAS SOPS 160031 HAS SOUS 88106 HAS SOUPS 86212 WITH SCORE 86380.759
AT ITER 331 NEW BEST:: SOT 229623 SOS 168745 HAS SOPS 159995 HAS SOUS 87953 HAS SOUPS 86059 WITH SCORE 86227.745
AT ITER 332 NEW BEST:: SOT 229614 SOS 168575 HAS SOPS 159816 HAS SOUS 87826 HAS SOUPS 85932 WITH SCORE 86100.575
AT ITER 339 NEW BEST:: SOT 229580 SOS 168507 HAS SOPS 159748 HAS SOUS 87809 HAS SOUPS 85915 WITH SCORE 86083.507
AT ITER 345 NEW BEST:: SOT 229607 SOS 168484 HAS SOPS 159477 HAS SOUS 87684 HAS SOUPS 85665 WITH SCORE 85833.484
AT ITER 348 NEW BEST:: SOT 229967 SOS 168844 HAS SOPS 159837 HAS SOUS 87452 HAS SOUPS 85433 WITH SCORE 85601.844
AT ITER 349 NEW BEST:: SOT 229953 SOS 168830 HAS SOPS 159823 HAS SOUS 87406 HAS SOUPS 85387 WITH SCORE 85555.83
AT ITER 350 NEW BEST:: SOT 229953 SOS 168820 HAS SOPS 159813 HAS SOUS 87391 HAS SOUPS 85372 WITH SCORE 85540.82
AT ITER 356 NEW BEST:: SOT 229953 SOS 168750 HAS SOPS 159813 HAS SOUS 87356 HAS SOUPS 85372 WITH SCORE 85540.75
AT ITER 370 NEW BEST:: SOT 230019 SOS 168816 HAS SOPS 159801 HAS SOUS 87200 HAS SOUPS 85216 WITH SCORE 85384.816
AT ITER 380 NEW BEST:: SOT 230019 SOS 168696 HAS SOPS 159669 HAS SOUS 87166 HAS SOUPS 85182 WITH SCORE 85350.696
AT ITER 384 NEW BEST:: SOT 230019 SOS 168640 HAS SOPS 159613 HAS SOUS 87138 HAS SOUPS 85154 WITH SCORE 85322.64
AT ITER 390 NEW BEST:: SOT 230019 SOS 168612 HAS SOPS 159585 HAS SOUS 87133 HAS SOUPS 85149 WITH SCORE 85317.612
AT ITER 394 NEW BEST:: SOT 230019 SOS 168458 HAS SOPS 159431 HAS SOUS 87126 HAS SOUPS 85142 WITH SCORE 85310.458
AT ITER 395 NEW BEST:: SOT 230019 SOS 168242 HAS SOPS 159020 HAS SOUS 86940 HAS SOUPS 84870 WITH SCORE 85038.242
AT ITER 401 NEW BEST:: SOT 230019 SOS 168212 HAS SOPS 158990 HAS SOUS 86940 HAS SOUPS 84870 WITH SCORE 85038.212
AT ITER 404 NEW BEST:: SOT 230019 SOS 167930 HAS SOPS 158802 HAS SOUS 86893 HAS SOUPS 84870 WITH SCORE 85037.93
AT ITER 411 NEW BEST:: SOT 230019 SOS 167908 HAS SOPS 158780 HAS SOUS 86882 HAS SOUPS 84859 WITH SCORE 85026.908
AT ITER 418 NEW BEST:: SOT 230019 SOS 165532 HAS SOPS 157344 HAS SOUS 86813 HAS SOUPS 84855 WITH SCORE 85020.532
AT ITER 420 NEW BEST:: SOT 230019 SOS 165506 HAS SOPS 157318 HAS SOUS 86788 HAS SOUPS 84830 WITH SCORE 84995.506
AT ITER 422 NEW BEST:: SOT 230019 SOS 165498 HAS SOPS 157273 HAS SOUS 86801 HAS SOUPS 84824 WITH SCORE 84989.498
AT ITER 423 NEW BEST:: SOT 230053 SOS 165079 HAS SOPS 156831 HAS SOUS 86801 HAS SOUPS 84824 WITH SCORE 84989.079
AT ITER 428 NEW BEST:: SOT 230053 SOS 164863 HAS SOPS 156615 HAS SOUS 86754 HAS SOUPS 84777 WITH SCORE 84941.863
AT ITER 429 NEW BEST:: SOT 230053 SOS 164919 HAS SOPS 156643 HAS SOUS 86670 HAS SOUPS 84679 WITH SCORE 84843.919
AT ITER 431 NEW BEST:: SOT 229889 SOS 164605 HAS SOPS 156367 HAS SOUS 86553 HAS SOUPS 84581 WITH SCORE 84745.605
AT ITER 432 NEW BEST:: SOT 229889 SOS 163997 HAS SOPS 155759 HAS SOUS 86400 HAS SOUPS 84428 WITH SCORE 84591.997
AT ITER 433 NEW BEST:: SOT 229889 SOS 163985 HAS SOPS 155747 HAS SOUS 86391 HAS SOUPS 84419 WITH SCORE 84582.985
AT ITER 436 NEW BEST:: SOT 234992 SOS 168601 HAS SOPS 160757 HAS SOUS 85487 HAS SOUPS 83460 WITH SCORE 83628.601
AT ITER 438 NEW BEST:: SOT 235048 SOS 168651 HAS SOPS 160807 HAS SOUS 85297 HAS SOUPS 83270 WITH SCORE 83438.651
AT ITER 444 NEW BEST:: SOT 235032 SOS 168477 HAS SOPS 160757 HAS SOUS 85282 HAS SOUPS 83255 WITH SCORE 83423.477
AT ITER 447 NEW BEST:: SOT 235002 SOS 168447 HAS SOPS 160727 HAS SOUS 85252 HAS SOUPS 83225 WITH SCORE 83393.447
AT ITER 451 NEW BEST:: SOT 235002 SOS 168557 HAS SOPS 160837 HAS SOUS 85054 HAS SOUPS 83027 WITH SCORE 83195.557
AT ITER 453 NEW BEST:: SOT 235298 SOS 169038 HAS SOPS 161463 HAS SOUS 84484 HAS SOUPS 82537 WITH SCORE 82706.038
AT ITER 456 NEW BEST:: SOT 235298 SOS 169038 HAS SOPS 161463 HAS SOUS 84468 HAS SOUPS 82521 WITH SCORE 82690.038
AT ITER 459 NEW BEST:: SOT 235298 SOS 168906 HAS SOPS 161331 HAS SOUS 83199 HAS SOUPS 81252 WITH SCORE 81420.906
AT ITER 462 NEW BEST:: SOT 235310 SOS 168962 HAS SOPS 161119 HAS SOUS 83257 HAS SOUPS 81153 WITH SCORE 81321.962
AT ITER 463 NEW BEST:: SOT 235324 SOS 168914 HAS SOPS 161071 HAS SOUS 83240 HAS SOUPS 81136 WITH SCORE 81304.914
AT ITER 471 NEW BEST:: SOT 235324 SOS 169594 HAS SOPS 161411 HAS SOUS 83198 HAS SOUPS 81094 WITH SCORE 81263.594
AT ITER 476 NEW BEST:: SOT 235324 SOS 169402 HAS SOPS 161219 HAS SOUS 83152 HAS SOUPS 81048 WITH SCORE 81217.402
AT ITER 479 NEW BEST:: SOT 235324 SOS 169246 HAS SOPS 161063 HAS SOUS 83112 HAS SOUPS 81008 WITH SCORE 81177.246
AT ITER 480 NEW BEST:: SOT 235324 SOS 169238 HAS SOPS 161055 HAS SOUS 83108 HAS SOUPS 81004 WITH SCORE 81173.238
AT ITER 482 NEW BEST:: SOT 235324 SOS 169238 HAS SOPS 161055 HAS SOUS 83105 HAS SOUPS 81001 WITH SCORE 81170.238
AT ITER 486 NEW BEST:: SOT 235324 SOS 169328 HAS SOPS 160949 HAS SOUS 81885 HAS SOUPS 79755 WITH SCORE 79924.328
AT ITER 488 NEW BEST:: SOT 235324 SOS 169424 HAS SOPS 161045 HAS SOUS 81860 HAS SOUPS 79730 WITH SCORE 79899.424
AT ITER 494 NEW BEST:: SOT 235324 SOS 167984 HAS SOPS 160085 HAS SOUS 81764 HAS SOUPS 79666 WITH SCORE 79833.984
AT ITER 495 NEW BEST:: SOT 235324 SOS 167840 HAS SOPS 159941 HAS SOUS 81728 HAS SOUPS 79630 WITH SCORE 79797.84
AT ITER 504 NEW BEST:: SOT 235324 SOS 167840 HAS SOPS 159941 HAS SOUS 81690 HAS SOUPS 79592 WITH SCORE 79759.84
AT ITER 505 NEW BEST:: SOT 235324 SOS 167946 HAS SOPS 160047 HAS SOUS 81558 HAS SOUPS 79460 WITH SCORE 79627.946
AT ITER 509 NEW BEST:: SOT 235324 SOS 167898 HAS SOPS 160015 HAS SOUS 81534 HAS SOUPS 79444 WITH SCORE 79611.898
AT ITER 511 NEW BEST:: SOT 235336 SOS 167910 HAS SOPS 160027 HAS SOUS 81514 HAS SOUPS 79424 WITH SCORE 79591.91
AT ITER 516 NEW BEST:: SOT 235336 SOS 167880 HAS SOPS 159997 HAS SOUS 81499 HAS SOUPS 79409 WITH SCORE 79576.88
AT ITER 521 NEW BEST:: SOT 235336 SOS 167880 HAS SOPS 159997 HAS SOUS 81497 HAS SOUPS 79407 WITH SCORE 79574.88
AT ITER 531 NEW BEST:: SOT 235336 SOS 167892 HAS SOPS 160009 HAS SOUS 81487 HAS SOUPS 79397 WITH SCORE 79564.892
AT ITER 532 NEW BEST:: SOT 235360 SOS 168081 HAS SOPS 160201 HAS SOUS 79786 HAS SOUPS 77696 WITH SCORE 77864.081
AT ITER 539 NEW BEST:: SOT 235360 SOS 168065 HAS SOPS 160185 HAS SOUS 79770 HAS SOUPS 77680 WITH SCORE 77848.065
AT ITER 544 NEW BEST:: SOT 235360 SOS 168019 HAS SOPS 160412 HAS SOUS 78970 HAS SOUPS 76880 WITH SCORE 77048.019
AT ITER 547 NEW BEST:: SOT 235360 SOS 167799 HAS SOPS 160192 HAS SOUS 78840 HAS SOUPS 76750 WITH SCORE 76917.799
AT ITER 552 NEW BEST:: SOT 235360 SOS 167629 HAS SOPS 160022 HAS SOUS 78830 HAS SOUPS 76740 WITH SCORE 76907.629
AT ITER 561 NEW BEST:: SOT 235419 SOS 167371 HAS SOPS 159509 HAS SOUS 78772 HAS SOUPS 76561 WITH SCORE 76728.371
AT ITER 572 NEW BEST:: SOT 235419 SOS 167247 HAS SOPS 159583 HAS SOUS 78673 HAS SOUPS 76561 WITH SCORE 76728.247
AT ITER 577 NEW BEST:: SOT 235608 SOS 167639 HAS SOPS 159996 HAS SOUS 77931 HAS SOUPS 75819 WITH SCORE 75986.639
AT ITER 578 NEW BEST:: SOT 235602 SOS 167633 HAS SOPS 159990 HAS SOUS 77901 HAS SOUPS 75789 WITH SCORE 75956.633
AT ITER 587 NEW BEST:: SOT 235602 SOS 167625 HAS SOPS 159982 HAS SOUS 77899 HAS SOUPS 75787 WITH SCORE 75954.625
AT ITER 591 NEW BEST:: SOT 235710 SOS 167413 HAS SOPS 159445 HAS SOUS 77887 HAS SOUPS 75611 WITH SCORE 75778.413
AT ITER 592 NEW BEST:: SOT 235710 SOS 167413 HAS SOPS 159415 HAS SOUS 77897 HAS SOUPS 75591 WITH SCORE 75758.413
AT ITER 596 NEW BEST:: SOT 235710 SOS 167519 HAS SOPS 159223 HAS SOUS 77950 HAS SOUPS 75495 WITH SCORE 75662.519
AT ITER 597 NEW BEST:: SOT 235710 SOS 167369 HAS SOPS 159073 HAS SOUS 77875 HAS SOUPS 75420 WITH SCORE 75587.369
AT ITER 605 NEW BEST:: SOT 234989 SOS 166648 HAS SOPS 158352 HAS SOUS 77154 HAS SOUPS 74699 WITH SCORE 74865.648
AT ITER 607 NEW BEST:: SOT 235000 SOS 165893 HAS SOPS 157863 HAS SOUS 77127 HAS SOUPS 74691 WITH SCORE 74856.893
AT ITER 614 NEW BEST:: SOT 235000 SOS 165779 HAS SOPS 157749 HAS SOUS 76985 HAS SOUPS 74549 WITH SCORE 74714.779
AT ITER 621 NEW BEST:: SOT 235000 SOS 165779 HAS SOPS 157749 HAS SOUS 76979 HAS SOUPS 74543 WITH SCORE 74708.779
AT ITER 626 NEW BEST:: SOT 235000 SOS 165599 HAS SOPS 157569 HAS SOUS 76971 HAS SOUPS 74535 WITH SCORE 74700.599
AT ITER 627 NEW BEST:: SOT 235016 SOS 165593 HAS SOPS 157541 HAS SOUS 76943 HAS SOUPS 74507 WITH SCORE 74672.593
AT ITER 640 NEW BEST:: SOT 235016 SOS 162831 HAS SOPS 154779 HAS SOUS 76877 HAS SOUPS 74441 WITH SCORE 74603.831
AT ITER 644 NEW BEST:: SOT 235016 SOS 162349 HAS SOPS 154297 HAS SOUS 76806 HAS SOUPS 74370 WITH SCORE 74532.349
AT ITER 646 NEW BEST:: SOT 235016 SOS 162311 HAS SOPS 154259 HAS SOUS 76725 HAS SOUPS 74289 WITH SCORE 74451.311
AT ITER 648 NEW BEST:: SOT 235016 SOS 162311 HAS SOPS 154259 HAS SOUS 76368 HAS SOUPS 73932 WITH SCORE 74094.311
AT ITER 655 NEW BEST:: SOT 235016 SOS 162203 HAS SOPS 154151 HAS SOUS 76323 HAS SOUPS 73887 WITH SCORE 74049.203
AT ITER 656 NEW BEST:: SOT 235016 SOS 161045 HAS SOPS 152993 HAS SOUS 76316 HAS SOUPS 73880 WITH SCORE 74041.045
AT ITER 657 NEW BEST:: SOT 235016 SOS 158314 HAS SOPS 150262 HAS SOUS 76208 HAS SOUPS 73772 WITH SCORE 73930.314
AT ITER 659 NEW BEST:: SOT 235016 SOS 158388 HAS SOPS 150424 HAS SOUS 76115 HAS SOUPS 73728 WITH SCORE 73886.388
AT ITER 660 NEW BEST:: SOT 235254 SOS 155152 HAS SOPS 147090 HAS SOUS 75984 HAS SOUPS 73597 WITH SCORE 73752.152
AT ITER 669 NEW BEST:: SOT 235254 SOS 155204 HAS SOPS 147098 HAS SOUS 75924 HAS SOUPS 73515 WITH SCORE 73670.204
AT ITER 676 NEW BEST:: SOT 235254 SOS 155134 HAS SOPS 147028 HAS SOUS 75791 HAS SOUPS 73382 WITH SCORE 73537.134
AT ITER 684 NEW BEST:: SOT 235254 SOS 154072 HAS SOPS 145966 HAS SOUS 75661 HAS SOUPS 73252 WITH SCORE 73406.072
AT ITER 685 NEW BEST:: SOT 235254 SOS 153980 HAS SOPS 145874 HAS SOUS 75638 HAS SOUPS 73229 WITH SCORE 73382.98
AT ITER 695 NEW BEST:: SOT 235308 SOS 153387 HAS SOPS 145044 HAS SOUS 75629 HAS SOUPS 73085 WITH SCORE 73238.387
AT ITER 705 NEW BEST:: SOT 235303 SOS 153323 HAS SOPS 144943 HAS SOUS 75533 HAS SOUPS 72989 WITH SCORE 73142.323
AT ITER 706 NEW BEST:: SOT 235303 SOS 153319 HAS SOPS 144939 HAS SOUS 75529 HAS SOUPS 72985 WITH SCORE 73138.319
AT ITER 713 NEW BEST:: SOT 235303 SOS 153315 HAS SOPS 144935 HAS SOUS 75527 HAS SOUPS 72983 WITH SCORE 73136.315
AT ITER 722 NEW BEST:: SOT 235303 SOS 153319 HAS SOPS 144939 HAS SOUS 75522 HAS SOUPS 72978 WITH SCORE 73131.319
AT ITER 723 NEW BEST:: SOT 235303 SOS 153443 HAS SOPS 145063 HAS SOUS 75436 HAS SOUPS 72892 WITH SCORE 73045.443
AT ITER 724 NEW BEST:: SOT 235303 SOS 153443 HAS SOPS 145063 HAS SOUS 75400 HAS SOUPS 72856 WITH SCORE 73009.443
AT ITER 725 NEW BEST:: SOT 235413 SOS 146821 HAS SOPS 141018 HAS SOUS 74626 HAS SOUPS 72264 WITH SCORE 72410.821
AT ITER 728 NEW BEST:: SOT 235410 SOS 143735 HAS SOPS 138082 HAS SOUS 74366 HAS SOUPS 72048 WITH SCORE 72191.735
AT ITER 734 NEW BEST:: SOT 235410 SOS 142407 HAS SOPS 136857 HAS SOUS 74297 HAS SOUPS 71979 WITH SCORE 72121.407
AT ITER 737 NEW BEST:: SOT 235628 SOS 142619 HAS SOPS 137063 HAS SOUS 74135 HAS SOUPS 71817 WITH SCORE 71959.619
AT ITER 741 NEW BEST:: SOT 235628 SOS 142603 HAS SOPS 137047 HAS SOUS 74131 HAS SOUPS 71813 WITH SCORE 71955.603
AT ITER 745 NEW BEST:: SOT 235550 SOS 142479 HAS SOPS 136899 HAS SOUS 74068 HAS SOUPS 71750 WITH SCORE 71892.479
AT ITER 746 NEW BEST:: SOT 235550 SOS 142443 HAS SOPS 136889 HAS SOUS 74050 HAS SOUPS 71745 WITH SCORE 71887.443
AT ITER 749 NEW BEST:: SOT 235606 SOS 142322 HAS SOPS 136768 HAS SOUS 73867 HAS SOUPS 71562 WITH SCORE 71704.322
AT ITER 764 NEW BEST:: SOT 235606 SOS 142302 HAS SOPS 136748 HAS SOUS 73827 HAS SOUPS 71522 WITH SCORE 71664.302
AT ITER 765 NEW BEST:: SOT 235606 SOS 142282 HAS SOPS 136728 HAS SOUS 73827 HAS SOUPS 71522 WITH SCORE 71664.282
AT ITER 767 NEW BEST:: SOT 235606 SOS 142240 HAS SOPS 136686 HAS SOUS 73820 HAS SOUPS 71515 WITH SCORE 71657.24
AT ITER 774 NEW BEST:: SOT 235646 SOS 139632 HAS SOPS 134046 HAS SOUS 73162 HAS SOUPS 70857 WITH SCORE 70996.632
AT ITER 776 NEW BEST:: SOT 235646 SOS 139682 HAS SOPS 134096 HAS SOUS 73144 HAS SOUPS 70839 WITH SCORE 70978.682
AT ITER 778 NEW BEST:: SOT 235646 SOS 139672 HAS SOPS 133928 HAS SOUS 73218 HAS SOUPS 70834 WITH SCORE 70973.672
AT ITER 779 NEW BEST:: SOT 235646 SOS 139668 HAS SOPS 133902 HAS SOUS 73216 HAS SOUPS 70816 WITH SCORE 70955.668
AT ITER 783 NEW BEST:: SOT 235646 SOS 139336 HAS SOPS 133570 HAS SOUS 73209 HAS SOUPS 70809 WITH SCORE 70948.336
AT ITER 784 NEW BEST:: SOT 235646 SOS 139298 HAS SOPS 133532 HAS SOUS 73190 HAS SOUPS 70790 WITH SCORE 70929.298
AT ITER 787 NEW BEST:: SOT 235646 SOS 139270 HAS SOPS 133504 HAS SOUS 73184 HAS SOUPS 70784 WITH SCORE 70923.27
AT ITER 790 NEW BEST:: SOT 235617 SOS 139005 HAS SOPS 133275 HAS SOUS 73095 HAS SOUPS 70695 WITH SCORE 70834.005
AT ITER 795 NEW BEST:: SOT 235617 SOS 139000 HAS SOPS 133270 HAS SOUS 73085 HAS SOUPS 70685 WITH SCORE 70824.0
AT ITER 803 NEW BEST:: SOT 235617 SOS 138976 HAS SOPS 133246 HAS SOUS 73069 HAS SOUPS 70669 WITH SCORE 70807.976
AT ITER 804 NEW BEST:: SOT 235617 SOS 138912 HAS SOPS 133182 HAS SOUS 73038 HAS SOUPS 70638 WITH SCORE 70776.912
AT ITER 810 NEW BEST:: SOT 235617 SOS 138728 HAS SOPS 132998 HAS SOUS 73022 HAS SOUPS 70622 WITH SCORE 70760.728
AT ITER 813 NEW BEST:: SOT 235617 SOS 138562 HAS SOPS 132950 HAS SOUS 72927 HAS SOUPS 70586 WITH SCORE 70724.562
AT ITER 820 NEW BEST:: SOT 235617 SOS 138486 HAS SOPS 132950 HAS SOUS 72851 HAS SOUPS 70548 WITH SCORE 70686.486
AT ITER 821 NEW BEST:: SOT 235617 SOS 138760 HAS SOPS 133224 HAS SOUS 72782 HAS SOUPS 70479 WITH SCORE 70617.76
AT ITER 825 NEW BEST:: SOT 235617 SOS 138748 HAS SOPS 133224 HAS SOUS 72776 HAS SOUPS 70479 WITH SCORE 70617.748
AT ITER 832 NEW BEST:: SOT 235617 SOS 138658 HAS SOPS 133134 HAS SOUS 72761 HAS SOUPS 70464 WITH SCORE 70602.658
AT ITER 841 NEW BEST:: SOT 235617 SOS 138657 HAS SOPS 133133 HAS SOUS 72761 HAS SOUPS 70464 WITH SCORE 70602.657
AT ITER 845 NEW BEST:: SOT 235617 SOS 138657 HAS SOPS 133133 HAS SOUS 72760 HAS SOUPS 70463 WITH SCORE 70601.657
AT ITER 846 NEW BEST:: SOT 235617 SOS 138617 HAS SOPS 133093 HAS SOUS 72684 HAS SOUPS 70387 WITH SCORE 70525.617
AT ITER 847 NEW BEST:: SOT 235605 SOS 138593 HAS SOPS 133057 HAS SOUS 72648 HAS SOUPS 70351 WITH SCORE 70489.593
AT ITER 850 NEW BEST:: SOT 235605 SOS 138555 HAS SOPS 133019 HAS SOUS 72648 HAS SOUPS 70351 WITH SCORE 70489.555
AT ITER 851 NEW BEST:: SOT 235749 SOS 138039 HAS SOPS 132407 HAS SOUS 72306 HAS SOUPS 70009 WITH SCORE 70147.039
AT ITER 853 NEW BEST:: SOT 235749 SOS 137919 HAS SOPS 132287 HAS SOUS 72306 HAS SOUPS 70009 WITH SCORE 70146.919
AT ITER 856 NEW BEST:: SOT 235749 SOS 137991 HAS SOPS 132271 HAS SOUS 72331 HAS SOUPS 69990 WITH SCORE 70127.991
AT ITER 857 NEW BEST:: SOT 235752 SOS 137976 HAS SOPS 132256 HAS SOUS 72316 HAS SOUPS 69975 WITH SCORE 70112.976
AT ITER 870 NEW BEST:: SOT 235752 SOS 137772 HAS SOPS 132052 HAS SOUS 72273 HAS SOUPS 69932 WITH SCORE 70069.772
AT ITER 871 NEW BEST:: SOT 235752 SOS 137676 HAS SOPS 131956 HAS SOUS 72243 HAS SOUPS 69902 WITH SCORE 70039.676
AT ITER 872 NEW BEST:: SOT 235654 SOS 136297 HAS SOPS 130610 HAS SOUS 71958 HAS SOUPS 69617 WITH SCORE 69753.297
AT ITER 874 NEW BEST:: SOT 235654 SOS 136149 HAS SOPS 130462 HAS SOUS 71958 HAS SOUPS 69617 WITH SCORE 69753.149
AT ITER 877 NEW BEST:: SOT 235654 SOS 136059 HAS SOPS 130372 HAS SOUS 71913 HAS SOUPS 69572 WITH SCORE 69708.059
AT ITER 884 NEW BEST:: SOT 235491 SOS 135603 HAS SOPS 129916 HAS SOUS 71800 HAS SOUPS 69459 WITH SCORE 69594.603
AT ITER 891 NEW BEST:: SOT 235491 SOS 135541 HAS SOPS 129854 HAS SOUS 71780 HAS SOUPS 69439 WITH SCORE 69574.541
AT ITER 895 NEW BEST:: SOT 235491 SOS 135514 HAS SOPS 129809 HAS SOUS 71789 HAS SOUPS 69439 WITH SCORE 69574.514
AT ITER 905 NEW BEST:: SOT 236469 SOS 134561 HAS SOPS 129531 HAS SOUS 70973 HAS SOUPS 68729 WITH SCORE 68863.561
AT ITER 911 NEW BEST:: SOT 236454 SOS 134472 HAS SOPS 129354 HAS SOUS 70921 HAS SOUPS 68628 WITH SCORE 68762.472
AT ITER 912 NEW BEST:: SOT 236454 SOS 134385 HAS SOPS 129306 HAS SOUS 70911 HAS SOUPS 68622 WITH SCORE 68756.385
AT ITER 919 NEW BEST:: SOT 236454 SOS 134369 HAS SOPS 129290 HAS SOUS 70911 HAS SOUPS 68622 WITH SCORE 68756.369
AT ITER 921 NEW BEST:: SOT 236454 SOS 134411 HAS SOPS 129222 HAS SOUS 70932 HAS SOUPS 68588 WITH SCORE 68722.411
AT ITER 924 NEW BEST:: SOT 236454 SOS 134309 HAS SOPS 129120 HAS SOUS 70889 HAS SOUPS 68545 WITH SCORE 68679.309
AT ITER 925 NEW BEST:: SOT 236454 SOS 134273 HAS SOPS 129084 HAS SOUS 70880 HAS SOUPS 68536 WITH SCORE 68670.273
AT ITER 927 NEW BEST:: SOT 236479 SOS 134291 HAS SOPS 129102 HAS SOUS 70864 HAS SOUPS 68520 WITH SCORE 68654.291
AT ITER 928 NEW BEST:: SOT 236479 SOS 134245 HAS SOPS 129056 HAS SOUS 70829 HAS SOUPS 68485 WITH SCORE 68619.245
AT ITER 942 NEW BEST:: SOT 236479 SOS 134328 HAS SOPS 129105 HAS SOUS 70844 HAS SOUPS 68483 WITH SCORE 68617.328
AT ITER 944 NEW BEST:: SOT 236479 SOS 134340 HAS SOPS 129117 HAS SOUS 70839 HAS SOUPS 68478 WITH SCORE 68612.34
AT ITER 948 NEW BEST:: SOT 236602 SOS 132916 HAS SOPS 127612 HAS SOUS 70276 HAS SOUPS 67915 WITH SCORE 68047.916
AT ITER 954 NEW BEST:: SOT 236602 SOS 132852 HAS SOPS 127548 HAS SOUS 70209 HAS SOUPS 67848 WITH SCORE 67980.852
AT ITER 957 NEW BEST:: SOT 236598 SOS 132813 HAS SOPS 127470 HAS SOUS 70131 HAS SOUPS 67770 WITH SCORE 67902.813
AT ITER 969 NEW BEST:: SOT 236598 SOS 132805 HAS SOPS 127470 HAS SOUS 70123 HAS SOUPS 67766 WITH SCORE 67898.805
AT ITER 977 NEW BEST:: SOT 236598 SOS 132793 HAS SOPS 127458 HAS SOUS 70117 HAS SOUPS 67760 WITH SCORE 67892.793
AT ITER 994 NEW BEST:: SOT 236598 SOS 130645 HAS SOPS 125310 HAS SOUS 69834 HAS SOUPS 67477 WITH SCORE 67607.645
AT ITER 995 NEW BEST:: SOT 236598 SOS 130501 HAS SOPS 125166 HAS SOUS 69762 HAS SOUPS 67405 WITH SCORE 67535.501
AT ITER 1001 NEW BEST:: SOT 237497 SOS 131195 HAS SOPS 126106 HAS SOUS 67844 HAS SOUPS 65598 WITH SCORE 65729.195
AT ITER 1008 NEW BEST:: SOT 237530 SOS 131181 HAS SOPS 126085 HAS SOUS 67823 HAS SOUPS 65577 WITH SCORE 65708.181
AT ITER 1013 NEW BEST:: SOT 237530 SOS 131075 HAS SOPS 125923 HAS SOUS 67826 HAS SOUPS 65552 WITH SCORE 65683.075
AT ITER 1022 NEW BEST:: SOT 237530 SOS 131059 HAS SOPS 125907 HAS SOUS 67822 HAS SOUPS 65548 WITH SCORE 65679.059
AT ITER 1023 NEW BEST:: SOT 237530 SOS 131449 HAS SOPS 126297 HAS SOUS 67706 HAS SOUPS 65432 WITH SCORE 65563.449
AT ITER 1026 NEW BEST:: SOT 237530 SOS 131447 HAS SOPS 126295 HAS SOUS 67639 HAS SOUPS 65365 WITH SCORE 65496.447
AT ITER 1031 NEW BEST:: SOT 237530 SOS 131457 HAS SOPS 126305 HAS SOUS 67631 HAS SOUPS 65357 WITH SCORE 65488.457
AT ITER 1032 NEW BEST:: SOT 237530 SOS 131745 HAS SOPS 126593 HAS SOUS 67616 HAS SOUPS 65342 WITH SCORE 65473.745
AT ITER 1037 NEW BEST:: SOT 237530 SOS 131259 HAS SOPS 126107 HAS SOUS 67493 HAS SOUPS 65219 WITH SCORE 65350.259
AT ITER 1039 NEW BEST:: SOT 237530 SOS 131183 HAS SOPS 126031 HAS SOUS 67455 HAS SOUPS 65181 WITH SCORE 65312.183
AT ITER 1042 NEW BEST:: SOT 237515 SOS 130994 HAS SOPS 125806 HAS SOUS 67415 HAS SOUPS 65141 WITH SCORE 65271.994
AT ITER 1043 NEW BEST:: SOT 237515 SOS 130988 HAS SOPS 125800 HAS SOUS 67412 HAS SOUPS 65138 WITH SCORE 65268.988
AT ITER 1051 NEW BEST:: SOT 237515 SOS 128834 HAS SOPS 123646 HAS SOUS 67409 HAS SOUPS 65135 WITH SCORE 65263.834
AT ITER 1053 NEW BEST:: SOT 241265 SOS 132071 HAS SOPS 127372 HAS SOUS 66820 HAS SOUPS 64561 WITH SCORE 64693.071
AT ITER 1054 NEW BEST:: SOT 241265 SOS 132065 HAS SOPS 127366 HAS SOUS 66817 HAS SOUPS 64558 WITH SCORE 64690.065
AT ITER 1058 NEW BEST:: SOT 241265 SOS 132171 HAS SOPS 127628 HAS SOUS 66730 HAS SOUPS 64549 WITH SCORE 64681.171
AT ITER 1061 NEW BEST:: SOT 241265 SOS 132151 HAS SOPS 127608 HAS SOUS 66668 HAS SOUPS 64487 WITH SCORE 64619.151
AT ITER 1062 NEW BEST:: SOT 241265 SOS 132163 HAS SOPS 127620 HAS SOUS 66657 HAS SOUPS 64476 WITH SCORE 64608.163
AT ITER 1064 NEW BEST:: SOT 241265 SOS 132103 HAS SOPS 127560 HAS SOUS 66633 HAS SOUPS 64452 WITH SCORE 64584.103
AT ITER 1065 NEW BEST:: SOT 241265 SOS 132168 HAS SOPS 127625 HAS SOUS 66631 HAS SOUPS 64450 WITH SCORE 64582.168
AT ITER 1069 NEW BEST:: SOT 241265 SOS 132194 HAS SOPS 127581 HAS SOUS 66644 HAS SOUPS 64428 WITH SCORE 64560.194
AT ITER 1070 NEW BEST:: SOT 241265 SOS 132112 HAS SOPS 127499 HAS SOUS 66627 HAS SOUPS 64411 WITH SCORE 64543.112
AT ITER 1073 NEW BEST:: SOT 241293 SOS 131714 HAS SOPS 127101 HAS SOUS 66451 HAS SOUPS 64235 WITH SCORE 64366.714
AT ITER 1076 NEW BEST:: SOT 241293 SOS 131642 HAS SOPS 127029 HAS SOUS 66451 HAS SOUPS 64235 WITH SCORE 64366.642
AT ITER 1078 NEW BEST:: SOT 241293 SOS 131632 HAS SOPS 127019 HAS SOUS 66446 HAS SOUPS 64230 WITH SCORE 64361.632
AT ITER 1083 NEW BEST:: SOT 241337 SOS 131672 HAS SOPS 127055 HAS SOUS 66372 HAS SOUPS 64156 WITH SCORE 64287.672
AT ITER 1086 NEW BEST:: SOT 241337 SOS 132030 HAS SOPS 127413 HAS SOUS 66333 HAS SOUPS 64117 WITH SCORE 64249.03
AT ITER 1094 NEW BEST:: SOT 241322 SOS 132038 HAS SOPS 127424 HAS SOUS 66310 HAS SOUPS 64097 WITH SCORE 64229.038
AT ITER 1097 NEW BEST:: SOT 241335 SOS 131391 HAS SOPS 126777 HAS SOUS 66094 HAS SOUPS 63881 WITH SCORE 64012.391
AT ITER 1101 NEW BEST:: SOT 241335 SOS 131387 HAS SOPS 126773 HAS SOUS 66086 HAS SOUPS 63873 WITH SCORE 64004.387
AT ITER 1103 NEW BEST:: SOT 241335 SOS 131377 HAS SOPS 126763 HAS SOUS 66081 HAS SOUPS 63868 WITH SCORE 63999.377
AT ITER 1108 NEW BEST:: SOT 241335 SOS 131243 HAS SOPS 126629 HAS SOUS 66018 HAS SOUPS 63805 WITH SCORE 63936.243
AT ITER 1109 NEW BEST:: SOT 241335 SOS 131189 HAS SOPS 126521 HAS SOUS 66018 HAS SOUPS 63778 WITH SCORE 63909.189
AT ITER 1112 NEW BEST:: SOT 241335 SOS 131023 HAS SOPS 126355 HAS SOUS 65935 HAS SOUPS 63695 WITH SCORE 63826.023
AT ITER 1114 NEW BEST:: SOT 241335 SOS 130821 HAS SOPS 126153 HAS SOUS 65879 HAS SOUPS 63639 WITH SCORE 63769.821
AT ITER 1119 NEW BEST:: SOT 241335 SOS 130821 HAS SOPS 126153 HAS SOUS 65867 HAS SOUPS 63627 WITH SCORE 63757.821
AT ITER 1128 NEW BEST:: SOT 241335 SOS 129453 HAS SOPS 124785 HAS SOUS 65703 HAS SOUPS 63463 WITH SCORE 63592.453
AT ITER 1130 NEW BEST:: SOT 241335 SOS 129407 HAS SOPS 124739 HAS SOUS 65611 HAS SOUPS 63371 WITH SCORE 63500.407
AT ITER 1136 NEW BEST:: SOT 241335 SOS 129405 HAS SOPS 124737 HAS SOUS 65607 HAS SOUPS 63367 WITH SCORE 63496.405
AT ITER 1143 NEW BEST:: SOT 241335 SOS 129209 HAS SOPS 124541 HAS SOUS 65509 HAS SOUPS 63269 WITH SCORE 63398.209
AT ITER 1146 NEW BEST:: SOT 241335 SOS 129209 HAS SOPS 124665 HAS SOUS 65385 HAS SOUPS 63207 WITH SCORE 63336.209
AT ITER 1147 NEW BEST:: SOT 241121 SOS 128995 HAS SOPS 124451 HAS SOUS 65363 HAS SOUPS 63185 WITH SCORE 63313.995
AT ITER 1152 NEW BEST:: SOT 241095 SOS 128969 HAS SOPS 124425 HAS SOUS 65337 HAS SOUPS 63159 WITH SCORE 63287.969
AT ITER 1161 NEW BEST:: SOT 241095 SOS 128627 HAS SOPS 124083 HAS SOUS 65304 HAS SOUPS 63126 WITH SCORE 63254.627
AT ITER 1172 NEW BEST:: SOT 241095 SOS 128651 HAS SOPS 124045 HAS SOUS 65316 HAS SOUPS 63107 WITH SCORE 63235.651
AT ITER 1180 NEW BEST:: SOT 241105 SOS 128687 HAS SOPS 124091 HAS SOUS 65319 HAS SOUPS 63103 WITH SCORE 63231.687
AT ITER 1189 NEW BEST:: SOT 241105 SOS 128465 HAS SOPS 123869 HAS SOUS 65319 HAS SOUPS 63103 WITH SCORE 63231.465
AT ITER 1196 NEW BEST:: SOT 241105 SOS 128457 HAS SOPS 123943 HAS SOUS 65278 HAS SOUPS 63103 WITH SCORE 63231.457
AT ITER 1200 NEW BEST:: SOT 241105 SOS 128433 HAS SOPS 123955 HAS SOUS 65248 HAS SOUPS 63091 WITH SCORE 63219.433
AT ITER 1204 NEW BEST:: SOT 241105 SOS 128431 HAS SOPS 124005 HAS SOUS 65222 HAS SOUPS 63091 WITH SCORE 63219.431
AT ITER 1211 NEW BEST:: SOT 241105 SOS 128465 HAS SOPS 124039 HAS SOUS 65205 HAS SOUPS 63074 WITH SCORE 63202.465
AT ITER 1213 NEW BEST:: SOT 241105 SOS 128451 HAS SOPS 124025 HAS SOUS 65198 HAS SOUPS 63067 WITH SCORE 63195.451
AT ITER 1214 NEW BEST:: SOT 241105 SOS 128487 HAS SOPS 124061 HAS SOUS 65172 HAS SOUPS 63041 WITH SCORE 63169.487
AT ITER 1217 NEW BEST:: SOT 241105 SOS 128483 HAS SOPS 124057 HAS SOUS 65170 HAS SOUPS 63039 WITH SCORE 63167.483
AT ITER 1219 NEW BEST:: SOT 241105 SOS 128253 HAS SOPS 123827 HAS SOUS 65107 HAS SOUPS 62976 WITH SCORE 63104.253
AT ITER 1220 NEW BEST:: SOT 241087 SOS 128235 HAS SOPS 123809 HAS SOUS 65107 HAS SOUPS 62976 WITH SCORE 63104.235
AT ITER 1223 NEW BEST:: SOT 241087 SOS 127787 HAS SOPS 123361 HAS SOUS 65030 HAS SOUPS 62899 WITH SCORE 63026.787
AT ITER 1229 NEW BEST:: SOT 241087 SOS 127787 HAS SOPS 123361 HAS SOUS 65024 HAS SOUPS 62893 WITH SCORE 63020.787
AT ITER 1231 NEW BEST:: SOT 241087 SOS 127857 HAS SOPS 123431 HAS SOUS 64972 HAS SOUPS 62841 WITH SCORE 62968.857
AT ITER 1244 NEW BEST:: SOT 241087 SOS 127855 HAS SOPS 123429 HAS SOUS 64971 HAS SOUPS 62840 WITH SCORE 62967.855
AT ITER 1247 NEW BEST:: SOT 241087 SOS 127733 HAS SOPS 123307 HAS SOUS 64971 HAS SOUPS 62840 WITH SCORE 62967.733
AT ITER 1261 NEW BEST:: SOT 241087 SOS 127661 HAS SOPS 123235 HAS SOUS 64971 HAS SOUPS 62840 WITH SCORE 62967.661
AT ITER 1263 NEW BEST:: SOT 241087 SOS 127937 HAS SOPS 123511 HAS SOUS 64947 HAS SOUPS 62816 WITH SCORE 62943.937
AT ITER 1269 NEW BEST:: SOT 241087 SOS 127853 HAS SOPS 123455 HAS SOUS 64905 HAS SOUPS 62788 WITH SCORE 62915.853
AT ITER 1271 NEW BEST:: SOT 241087 SOS 127789 HAS SOPS 123391 HAS SOUS 64873 HAS SOUPS 62756 WITH SCORE 62883.789
AT ITER 1274 NEW BEST:: SOT 241087 SOS 127763 HAS SOPS 123365 HAS SOUS 64858 HAS SOUPS 62741 WITH SCORE 62868.763
AT ITER 1276 NEW BEST:: SOT 241087 SOS 127560 HAS SOPS 123159 HAS SOUS 64700 HAS SOUPS 62583 WITH SCORE 62710.56
AT ITER 1282 NEW BEST:: SOT 241087 SOS 127388 HAS SOPS 123061 HAS SOUS 64651 HAS SOUPS 62571 WITH SCORE 62698.388
AT ITER 1284 NEW BEST:: SOT 241087 SOS 127324 HAS SOPS 122997 HAS SOUS 64605 HAS SOUPS 62525 WITH SCORE 62652.324
AT ITER 1290 NEW BEST:: SOT 241087 SOS 126732 HAS SOPS 122589 HAS SOUS 64420 HAS SOUPS 62432 WITH SCORE 62558.732
AT ITER 1301 NEW BEST:: SOT 241087 SOS 126724 HAS SOPS 122487 HAS SOUS 64463 HAS SOUPS 62428 WITH SCORE 62554.724
AT ITER 1302 NEW BEST:: SOT 241087 SOS 126950 HAS SOPS 122381 HAS SOUS 64576 HAS SOUPS 62375 WITH SCORE 62501.95
AT ITER 1309 NEW BEST:: SOT 241087 SOS 126896 HAS SOPS 122327 HAS SOUS 64567 HAS SOUPS 62366 WITH SCORE 62492.896
AT ITER 1310 NEW BEST:: SOT 241087 SOS 127112 HAS SOPS 122543 HAS SOUS 64527 HAS SOUPS 62326 WITH SCORE 62453.112
AT ITER 1325 NEW BEST:: SOT 241087 SOS 127086 HAS SOPS 122517 HAS SOUS 64527 HAS SOUPS 62326 WITH SCORE 62453.086
AT ITER 1328 NEW BEST:: SOT 241087 SOS 127046 HAS SOPS 122477 HAS SOUS 64507 HAS SOUPS 62306 WITH SCORE 62433.046
AT ITER 1336 NEW BEST:: SOT 242849 SOS 128730 HAS SOPS 124287 HAS SOUS 64499 HAS SOUPS 62304 WITH SCORE 62432.73
AT ITER 1341 NEW BEST:: SOT 242849 SOS 128682 HAS SOPS 124239 HAS SOUS 64475 HAS SOUPS 62280 WITH SCORE 62408.682
AT ITER 1353 NEW BEST:: SOT 242849 SOS 128546 HAS SOPS 124103 HAS SOUS 64441 HAS SOUPS 62246 WITH SCORE 62374.546
AT ITER 1359 NEW BEST:: SOT 225659 SOS 112483 HAS SOPS 107058 HAS SOUS 55847 HAS SOUPS 53655 WITH SCORE 53767.483
AT ITER 1361 NEW BEST:: SOT 225659 SOS 112203 HAS SOPS 106778 HAS SOUS 55636 HAS SOUPS 53444 WITH SCORE 53556.203
AT ITER 1369 NEW BEST:: SOT 225659 SOS 112035 HAS SOPS 106610 HAS SOUS 55622 HAS SOUPS 53430 WITH SCORE 53542.035
AT ITER 1371 NEW BEST:: SOT 225659 SOS 112091 HAS SOPS 106666 HAS SOUS 55616 HAS SOUPS 53424 WITH SCORE 53536.091
AT ITER 1373 NEW BEST:: SOT 225659 SOS 112019 HAS SOPS 106558 HAS SOUS 55616 HAS SOUPS 53406 WITH SCORE 53518.019
AT ITER 1381 NEW BEST:: SOT 225659 SOS 112135 HAS SOPS 106824 HAS SOUS 55507 HAS SOUPS 53372 WITH SCORE 53484.135
AT ITER 1388 NEW BEST:: SOT 225659 SOS 112105 HAS SOPS 106794 HAS SOUS 55507 HAS SOUPS 53372 WITH SCORE 53484.105
AT ITER 1393 NEW BEST:: SOT 225659 SOS 111955 HAS SOPS 106644 HAS SOUS 55499 HAS SOUPS 53364 WITH SCORE 53475.955
AT ITER 1400 NEW BEST:: SOT 225659 SOS 111915 HAS SOPS 106604 HAS SOUS 55479 HAS SOUPS 53344 WITH SCORE 53455.915
AT ITER 1404 NEW BEST:: SOT 225659 SOS 111891 HAS SOPS 106592 HAS SOUS 55467 HAS SOUPS 53338 WITH SCORE 53449.891
AT ITER 1405 NEW BEST:: SOT 225659 SOS 111883 HAS SOPS 106588 HAS SOUS 55463 HAS SOUPS 53336 WITH SCORE 53447.883
AT ITER 1406 NEW BEST:: SOT 225659 SOS 111891 HAS SOPS 106596 HAS SOUS 55448 HAS SOUPS 53321 WITH SCORE 53432.891
AT ITER 1418 NEW BEST:: SOT 225627 SOS 111859 HAS SOPS 106562 HAS SOUS 55448 HAS SOUPS 53321 WITH SCORE 53432.859
AT ITER 1431 NEW BEST:: SOT 225627 SOS 111487 HAS SOPS 106190 HAS SOUS 55262 HAS SOUPS 53135 WITH SCORE 53246.487
AT ITER 1432 NEW BEST:: SOT 225627 SOS 111497 HAS SOPS 106200 HAS SOUS 55230 HAS SOUPS 53103 WITH SCORE 53214.497
AT ITER 1435 NEW BEST:: SOT 225627 SOS 111485 HAS SOPS 106188 HAS SOUS 55222 HAS SOUPS 53095 WITH SCORE 53206.485
AT ITER 1440 NEW BEST:: SOT 225627 SOS 111489 HAS SOPS 106192 HAS SOUS 55219 HAS SOUPS 53092 WITH SCORE 53203.489
AT ITER 1454 NEW BEST:: SOT 225627 SOS 111444 HAS SOPS 106116 HAS SOUS 55148 HAS SOUPS 53021 WITH SCORE 53132.444
AT ITER 1460 NEW BEST:: SOT 225627 SOS 111590 HAS SOPS 106262 HAS SOUS 55111 HAS SOUPS 52984 WITH SCORE 53095.59
AT ITER 1462 NEW BEST:: SOT 225646 SOS 111609 HAS SOPS 106281 HAS SOUS 55052 HAS SOUPS 52925 WITH SCORE 53036.609
AT ITER 1471 NEW BEST:: SOT 225638 SOS 111601 HAS SOPS 106265 HAS SOUS 55044 HAS SOUPS 52909 WITH SCORE 53020.601
AT ITER 1474 NEW BEST:: SOT 225638 SOS 111595 HAS SOPS 106259 HAS SOUS 55041 HAS SOUPS 52906 WITH SCORE 53017.595
AT ITER 1481 NEW BEST:: SOT 225638 SOS 111561 HAS SOPS 106225 HAS SOUS 55036 HAS SOUPS 52901 WITH SCORE 53012.561
AT ITER 1482 NEW BEST:: SOT 225638 SOS 111539 HAS SOPS 106203 HAS SOUS 55025 HAS SOUPS 52890 WITH SCORE 53001.539
AT ITER 1484 NEW BEST:: SOT 225638 SOS 111539 HAS SOPS 106203 HAS SOUS 55014 HAS SOUPS 52879 WITH SCORE 52990.539
AT ITER 1488 NEW BEST:: SOT 225644 SOS 111545 HAS SOPS 106209 HAS SOUS 55008 HAS SOUPS 52873 WITH SCORE 52984.545
AT ITER 1513 NEW BEST:: SOT 225644 SOS 111485 HAS SOPS 106149 HAS SOUS 54998 HAS SOUPS 52863 WITH SCORE 52974.485
AT ITER 1515 NEW BEST:: SOT 225621 SOS 111461 HAS SOPS 106102 HAS SOUS 54951 HAS SOUPS 52816 WITH SCORE 52927.461
AT ITER 1516 NEW BEST:: SOT 225621 SOS 111375 HAS SOPS 106058 HAS SOUS 54908 HAS SOUPS 52794 WITH SCORE 52905.375
AT ITER 1518 NEW BEST:: SOT 225621 SOS 111017 HAS SOPS 105700 HAS SOUS 54827 HAS SOUPS 52713 WITH SCORE 52824.017
AT ITER 1522 NEW BEST:: SOT 225650 SOS 110979 HAS SOPS 105643 HAS SOUS 54794 HAS SOUPS 52680 WITH SCORE 52790.979
AT ITER 1532 NEW BEST:: SOT 225650 SOS 110935 HAS SOPS 105599 HAS SOUS 54788 HAS SOUPS 52674 WITH SCORE 52784.935
AT ITER 1538 NEW BEST:: SOT 225698 SOS 110461 HAS SOPS 105125 HAS SOUS 54575 HAS SOUPS 52461 WITH SCORE 52571.461
AT ITER 1544 NEW BEST:: SOT 225698 SOS 110431 HAS SOPS 105095 HAS SOUS 54568 HAS SOUPS 52454 WITH SCORE 52564.431
AT ITER 1547 NEW BEST:: SOT 225570 SOS 110278 HAS SOPS 104866 HAS SOUS 54367 HAS SOUPS 52253 WITH SCORE 52363.278
AT ITER 1553 NEW BEST:: SOT 225570 SOS 110136 HAS SOPS 104724 HAS SOUS 54367 HAS SOUPS 52253 WITH SCORE 52363.136
AT ITER 1555 NEW BEST:: SOT 225570 SOS 110056 HAS SOPS 104686 HAS SOUS 54327 HAS SOUPS 52234 WITH SCORE 52344.056
AT ITER 1559 NEW BEST:: SOT 225570 SOS 110032 HAS SOPS 104662 HAS SOUS 54315 HAS SOUPS 52222 WITH SCORE 52332.032
AT ITER 1564 NEW BEST:: SOT 225570 SOS 110006 HAS SOPS 104636 HAS SOUS 54302 HAS SOUPS 52209 WITH SCORE 52319.006
AT ITER 1570 NEW BEST:: SOT 225570 SOS 110016 HAS SOPS 104646 HAS SOUS 54210 HAS SOUPS 52117 WITH SCORE 52227.016
AT ITER 1580 NEW BEST:: SOT 225491 SOS 109937 HAS SOPS 104586 HAS SOUS 54179 HAS SOUPS 52086 WITH SCORE 52195.937
AT ITER 1585 NEW BEST:: SOT 225509 SOS 109917 HAS SOPS 104566 HAS SOUS 54159 HAS SOUPS 52066 WITH SCORE 52175.917
AT ITER 1592 NEW BEST:: SOT 225509 SOS 110029 HAS SOPS 104478 HAS SOUS 54194 HAS SOUPS 52001 WITH SCORE 52111.029
AT ITER 1604 NEW BEST:: SOT 225509 SOS 110119 HAS SOPS 104568 HAS SOUS 54155 HAS SOUPS 51962 WITH SCORE 52072.119
AT ITER 1618 NEW BEST:: SOT 225509 SOS 109847 HAS SOPS 104264 HAS SOUS 54127 HAS SOUPS 51918 WITH SCORE 52027.847
AT ITER 1634 NEW BEST:: SOT 225509 SOS 109773 HAS SOPS 104190 HAS SOUS 54088 HAS SOUPS 51879 WITH SCORE 51988.773
AT ITER 1639 NEW BEST:: SOT 225509 SOS 109753 HAS SOPS 104170 HAS SOUS 54078 HAS SOUPS 51869 WITH SCORE 51978.753
AT ITER 1641 NEW BEST:: SOT 225509 SOS 109867 HAS SOPS 104284 HAS SOUS 54077 HAS SOUPS 51868 WITH SCORE 51977.867
AT ITER 1646 NEW BEST:: SOT 225509 SOS 109689 HAS SOPS 104106 HAS SOUS 54068 HAS SOUPS 51859 WITH SCORE 51968.689
AT ITER 1653 NEW BEST:: SOT 225509 SOS 109625 HAS SOPS 104090 HAS SOUS 54036 HAS SOUPS 51851 WITH SCORE 51960.625
AT ITER 1660 NEW BEST:: SOT 225509 SOS 109649 HAS SOPS 104114 HAS SOUS 54016 HAS SOUPS 51831 WITH SCORE 51940.649
AT ITER 1661 NEW BEST:: SOT 225509 SOS 109477 HAS SOPS 104080 HAS SOUS 53891 HAS SOUPS 51775 WITH SCORE 51884.477
AT ITER 1670 NEW BEST:: SOT 225509 SOS 109437 HAS SOPS 104040 HAS SOUS 53847 HAS SOUPS 51731 WITH SCORE 51840.437
AT ITER 1672 NEW BEST:: SOT 225509 SOS 109411 HAS SOPS 104014 HAS SOUS 53834 HAS SOUPS 51718 WITH SCORE 51827.411
AT ITER 1674 NEW BEST:: SOT 225509 SOS 109347 HAS SOPS 103950 HAS SOUS 53796 HAS SOUPS 51680 WITH SCORE 51789.347
AT ITER 1686 NEW BEST:: SOT 225509 SOS 109471 HAS SOPS 104074 HAS SOUS 53707 HAS SOUPS 51591 WITH SCORE 51700.471
AT ITER 1688 NEW BEST:: SOT 225509 SOS 109275 HAS SOPS 103878 HAS SOUS 53689 HAS SOUPS 51573 WITH SCORE 51682.275
AT ITER 1691 NEW BEST:: SOT 225509 SOS 109261 HAS SOPS 103864 HAS SOUS 53682 HAS SOUPS 51566 WITH SCORE 51675.261
AT ITER 1704 NEW BEST:: SOT 225509 SOS 109191 HAS SOPS 103794 HAS SOUS 53647 HAS SOUPS 51531 WITH SCORE 51640.191
AT ITER 1721 NEW BEST:: SOT 229318 SOS 112420 HAS SOPS 107659 HAS SOUS 52614 HAS SOUPS 50463 WITH SCORE 50575.42
AT ITER 1729 NEW BEST:: SOT 229416 SOS 112342 HAS SOPS 107551 HAS SOUS 52566 HAS SOUPS 50415 WITH SCORE 50527.342
AT ITER 1744 NEW BEST:: SOT 229416 SOS 112538 HAS SOPS 107747 HAS SOUS 52504 HAS SOUPS 50353 WITH SCORE 50465.538
AT ITER 1755 NEW BEST:: SOT 229416 SOS 112218 HAS SOPS 107427 HAS SOUS 52476 HAS SOUPS 50325 WITH SCORE 50437.218
AT ITER 1768 NEW BEST:: SOT 228731 SOS 111573 HAS SOPS 106738 HAS SOUS 51789 HAS SOUPS 49636 WITH SCORE 49747.573
AT ITER 1769 NEW BEST:: SOT 228755 SOS 111503 HAS SOPS 106668 HAS SOUS 51765 HAS SOUPS 49612 WITH SCORE 49723.503
AT ITER 1773 NEW BEST:: SOT 229035 SOS 111713 HAS SOPS 106808 HAS SOUS 51761 HAS SOUPS 49608 WITH SCORE 49719.713
AT ITER 1778 NEW BEST:: SOT 229035 SOS 111645 HAS SOPS 106740 HAS SOUS 51761 HAS SOUPS 49608 WITH SCORE 49719.645
AT ITER 1783 NEW BEST:: SOT 229035 SOS 111427 HAS SOPS 106690 HAS SOUS 51652 HAS SOUPS 49583 WITH SCORE 49694.427
AT ITER 1787 NEW BEST:: SOT 229035 SOS 111251 HAS SOPS 106514 HAS SOUS 51538 HAS SOUPS 49469 WITH SCORE 49580.251
AT ITER 1803 NEW BEST:: SOT 228998 SOS 111278 HAS SOPS 106544 HAS SOUS 51517 HAS SOUPS 49448 WITH SCORE 49559.278
AT ITER 1804 NEW BEST:: SOT 228962 SOS 111242 HAS SOPS 106490 HAS SOUS 51499 HAS SOUPS 49430 WITH SCORE 49541.242
AT ITER 1811 NEW BEST:: SOT 228962 SOS 110914 HAS SOPS 106310 HAS SOUS 51351 HAS SOUPS 49356 WITH SCORE 49466.914
AT ITER 1815 NEW BEST:: SOT 229020 SOS 110924 HAS SOPS 106268 HAS SOUS 51294 HAS SOUPS 49299 WITH SCORE 49409.924
AT ITER 1819 NEW BEST:: SOT 229020 SOS 110894 HAS SOPS 106238 HAS SOUS 51287 HAS SOUPS 49292 WITH SCORE 49402.894
AT ITER 1839 NEW BEST:: SOT 229020 SOS 110616 HAS SOPS 106238 HAS SOUS 51148 HAS SOUPS 49292 WITH SCORE 49402.616
AT ITER 1842 NEW BEST:: SOT 229020 SOS 110512 HAS SOPS 106134 HAS SOUS 51129 HAS SOUPS 49273 WITH SCORE 49383.512
AT ITER 1847 NEW BEST:: SOT 228944 SOS 110436 HAS SOPS 106080 HAS SOUS 51063 HAS SOUPS 49207 WITH SCORE 49317.436
AT ITER 1851 NEW BEST:: SOT 228944 SOS 110404 HAS SOPS 106048 HAS SOUS 51047 HAS SOUPS 49191 WITH SCORE 49301.404
AT ITER 1852 NEW BEST:: SOT 228944 SOS 110262 HAS SOPS 105906 HAS SOUS 50969 HAS SOUPS 49113 WITH SCORE 49223.262
AT ITER 1860 NEW BEST:: SOT 228944 SOS 110180 HAS SOPS 105824 HAS SOUS 50947 HAS SOUPS 49091 WITH SCORE 49201.18
AT ITER 1862 NEW BEST:: SOT 228985 SOS 110204 HAS SOPS 105829 HAS SOUS 50896 HAS SOUPS 49040 WITH SCORE 49150.204
AT ITER 1878 NEW BEST:: SOT 228985 SOS 110204 HAS SOPS 105829 HAS SOUS 50871 HAS SOUPS 49015 WITH SCORE 49125.204
AT ITER 1886 NEW BEST:: SOT 228985 SOS 110153 HAS SOPS 105778 HAS SOUS 50855 HAS SOUPS 48999 WITH SCORE 49109.153
AT ITER 1887 NEW BEST:: SOT 228985 SOS 110117 HAS SOPS 105742 HAS SOUS 50844 HAS SOUPS 48988 WITH SCORE 49098.117
AT ITER 1895 NEW BEST:: SOT 228985 SOS 110045 HAS SOPS 105670 HAS SOUS 50788 HAS SOUPS 48932 WITH SCORE 49042.045
AT ITER 1896 NEW BEST:: SOT 228985 SOS 110039 HAS SOPS 105664 HAS SOUS 50785 HAS SOUPS 48929 WITH SCORE 49039.039
AT ITER 1898 NEW BEST:: SOT 228985 SOS 109927 HAS SOPS 105552 HAS SOUS 50729 HAS SOUPS 48873 WITH SCORE 48982.927
AT ITER 1907 NEW BEST:: SOT 228972 SOS 109898 HAS SOPS 105540 HAS SOUS 50682 HAS SOUPS 48839 WITH SCORE 48948.898
AT ITER 1925 NEW BEST:: SOT 228972 SOS 109876 HAS SOPS 105518 HAS SOUS 50682 HAS SOUPS 48839 WITH SCORE 48948.876
AT ITER 1941 NEW BEST:: SOT 228972 SOS 109890 HAS SOPS 105532 HAS SOUS 50675 HAS SOUPS 48832 WITH SCORE 48941.89
AT ITER 1947 NEW BEST:: SOT 228972 SOS 109846 HAS SOPS 105488 HAS SOUS 50653 HAS SOUPS 48810 WITH SCORE 48919.846
AT ITER 1956 NEW BEST:: SOT 228972 SOS 109834 HAS SOPS 105476 HAS SOUS 50647 HAS SOUPS 48804 WITH SCORE 48913.834
AT ITER 1962 NEW BEST:: SOT 228972 SOS 110104 HAS SOPS 105472 HAS SOUS 50782 HAS SOUPS 48802 WITH SCORE 48912.104
AT ITER 1964 NEW BEST:: SOT 228972 SOS 110090 HAS SOPS 105458 HAS SOUS 50775 HAS SOUPS 48795 WITH SCORE 48905.09
AT ITER 1967 NEW BEST:: SOT 228972 SOS 110088 HAS SOPS 105482 HAS SOUS 50761 HAS SOUPS 48794 WITH SCORE 48904.088
AT ITER 1976 NEW BEST:: SOT 228972 SOS 109980 HAS SOPS 105458 HAS SOUS 50707 HAS SOUPS 48782 WITH SCORE 48891.98
AT ITER 1986 NEW BEST:: SOT 228972 SOS 109936 HAS SOPS 105414 HAS SOUS 50707 HAS SOUPS 48782 WITH SCORE 48891.936
AT ITER 1998 NEW BEST:: SOT 228948 SOS 110056 HAS SOPS 105504 HAS SOUS 50487 HAS SOUPS 48539 WITH SCORE 48649.056
AT ITER 2012 NEW BEST:: SOT 228948 SOS 110034 HAS SOPS 105482 HAS SOUS 50487 HAS SOUPS 48539 WITH SCORE 48649.034
AT ITER 2016 NEW BEST:: SOT 229056 SOS 109702 HAS SOPS 105110 HAS SOUS 50358 HAS SOUPS 48410 WITH SCORE 48519.702
AT ITER 2019 NEW BEST:: SOT 229056 SOS 109674 HAS SOPS 105082 HAS SOUS 50344 HAS SOUPS 48396 WITH SCORE 48505.674
AT ITER 2021 NEW BEST:: SOT 229056 SOS 109630 HAS SOPS 105038 HAS SOUS 50333 HAS SOUPS 48385 WITH SCORE 48494.63
AT ITER 2028 NEW BEST:: SOT 229016 SOS 109590 HAS SOPS 104998 HAS SOUS 50293 HAS SOUPS 48345 WITH SCORE 48454.59
AT ITER 2031 NEW BEST:: SOT 229016 SOS 109586 HAS SOPS 104994 HAS SOUS 50291 HAS SOUPS 48343 WITH SCORE 48452.586
AT ITER 2033 NEW BEST:: SOT 229030 SOS 109875 HAS SOPS 104900 HAS SOUS 50468 HAS SOUPS 48323 WITH SCORE 48432.875
AT ITER 2034 NEW BEST:: SOT 229050 SOS 109489 HAS SOPS 104514 HAS SOUS 50442 HAS SOUPS 48297 WITH SCORE 48406.489
AT ITER 2041 NEW BEST:: SOT 229050 SOS 109505 HAS SOPS 104530 HAS SOUS 50411 HAS SOUPS 48266 WITH SCORE 48375.505
AT ITER 2047 NEW BEST:: SOT 229050 SOS 109567 HAS SOPS 104524 HAS SOUS 50442 HAS SOUPS 48263 WITH SCORE 48372.567
AT ITER 2049 NEW BEST:: SOT 231145 SOS 111465 HAS SOPS 106614 HAS SOUS 50208 HAS SOUPS 48037 WITH SCORE 48148.465
AT ITER 2053 NEW BEST:: SOT 231145 SOS 111405 HAS SOPS 106450 HAS SOUS 50230 HAS SOUPS 48007 WITH SCORE 48118.405
AT ITER 2068 NEW BEST:: SOT 231145 SOS 111377 HAS SOPS 106422 HAS SOUS 50224 HAS SOUPS 48001 WITH SCORE 48112.377
AT ITER 2069 NEW BEST:: SOT 231145 SOS 111369 HAS SOPS 106414 HAS SOUS 50220 HAS SOUPS 47997 WITH SCORE 48108.369
AT ITER 2099 NEW BEST:: SOT 231145 SOS 111369 HAS SOPS 106382 HAS SOUS 50220 HAS SOUPS 47981 WITH SCORE 48092.369
AT ITER 2102 NEW BEST:: SOT 231145 SOS 111297 HAS SOPS 106310 HAS SOUS 50202 HAS SOUPS 47963 WITH SCORE 48074.297
AT ITER 2113 NEW BEST:: SOT 231145 SOS 111511 HAS SOPS 106524 HAS SOUS 50122 HAS SOUPS 47883 WITH SCORE 47994.511
AT ITER 2118 NEW BEST:: SOT 231145 SOS 111451 HAS SOPS 106464 HAS SOUS 50113 HAS SOUPS 47874 WITH SCORE 47985.451
AT ITER 2119 NEW BEST:: SOT 231145 SOS 111863 HAS SOPS 106876 HAS SOUS 50060 HAS SOUPS 47821 WITH SCORE 47932.863
AT ITER 2120 NEW BEST:: SOT 231145 SOS 111607 HAS SOPS 106620 HAS SOUS 49987 HAS SOUPS 47748 WITH SCORE 47859.607
AT ITER 2124 NEW BEST:: SOT 231145 SOS 111551 HAS SOPS 106564 HAS SOUS 49959 HAS SOUPS 47720 WITH SCORE 47831.551
AT ITER 2128 NEW BEST:: SOT 231145 SOS 111541 HAS SOPS 106564 HAS SOUS 49954 HAS SOUPS 47720 WITH SCORE 47831.541
AT ITER 2145 NEW BEST:: SOT 231145 SOS 111451 HAS SOPS 106474 HAS SOUS 49909 HAS SOUPS 47675 WITH SCORE 47786.451
AT ITER 2146 NEW BEST:: SOT 231145 SOS 111417 HAS SOPS 106440 HAS SOUS 49841 HAS SOUPS 47607 WITH SCORE 47718.417
AT ITER 2154 NEW BEST:: SOT 231145 SOS 111303 HAS SOPS 106326 HAS SOUS 49805 HAS SOUPS 47571 WITH SCORE 47682.303
AT ITER 2178 NEW BEST:: SOT 231145 SOS 111137 HAS SOPS 105874 HAS SOUS 49800 HAS SOUPS 47423 WITH SCORE 47534.137
AT ITER 2188 NEW BEST:: SOT 231145 SOS 111021 HAS SOPS 105758 HAS SOUS 49760 HAS SOUPS 47383 WITH SCORE 47494.021
AT ITER 2198 NEW BEST:: SOT 231145 SOS 111107 HAS SOPS 105844 HAS SOUS 49717 HAS SOUPS 47340 WITH SCORE 47451.107
AT ITER 2207 NEW BEST:: SOT 231145 SOS 111179 HAS SOPS 105916 HAS SOUS 49710 HAS SOUPS 47333 WITH SCORE 47444.179
AT ITER 2210 NEW BEST:: SOT 231145 SOS 111151 HAS SOPS 105888 HAS SOUS 49701 HAS SOUPS 47324 WITH SCORE 47435.151
AT ITER 2228 NEW BEST:: SOT 231145 SOS 111147 HAS SOPS 105818 HAS SOUS 49732 HAS SOUPS 47322 WITH SCORE 47433.147
AT ITER 2238 NEW BEST:: SOT 231145 SOS 111119 HAS SOPS 105790 HAS SOUS 49718 HAS SOUPS 47308 WITH SCORE 47419.119
AT ITER 2241 NEW BEST:: SOT 231145 SOS 111111 HAS SOPS 105782 HAS SOUS 49714 HAS SOUPS 47304 WITH SCORE 47415.111
AT ITER 2247 NEW BEST:: SOT 231145 SOS 110975 HAS SOPS 105646 HAS SOUS 49646 HAS SOUPS 47236 WITH SCORE 47346.975
AT ITER 2249 NEW BEST:: SOT 231145 SOS 110921 HAS SOPS 105592 HAS SOUS 49577 HAS SOUPS 47167 WITH SCORE 47277.921
AT ITER 2250 NEW BEST:: SOT 231145 SOS 110921 HAS SOPS 105592 HAS SOUS 49574 HAS SOUPS 47164 WITH SCORE 47274.921
AT ITER 2251 NEW BEST:: SOT 231145 SOS 110928 HAS SOPS 105599 HAS SOUS 49547 HAS SOUPS 47137 WITH SCORE 47247.928
AT ITER 2257 NEW BEST:: SOT 231145 SOS 110646 HAS SOPS 105317 HAS SOUS 49412 HAS SOUPS 47002 WITH SCORE 47112.646
AT ITER 2263 NEW BEST:: SOT 231145 SOS 111008 HAS SOPS 105679 HAS SOUS 49334 HAS SOUPS 46924 WITH SCORE 47035.008
AT ITER 2266 NEW BEST:: SOT 231047 SOS 110910 HAS SOPS 105581 HAS SOUS 49254 HAS SOUPS 46844 WITH SCORE 46954.91
AT ITER 2293 NEW BEST:: SOT 231047 SOS 110698 HAS SOPS 105369 HAS SOUS 49254 HAS SOUPS 46844 WITH SCORE 46954.698
AT ITER 2294 NEW BEST:: SOT 231047 SOS 110424 HAS SOPS 105095 HAS SOUS 49185 HAS SOUPS 46775 WITH SCORE 46885.424
AT ITER 2306 NEW BEST:: SOT 231047 SOS 110216 HAS SOPS 104887 HAS SOUS 49164 HAS SOUPS 46754 WITH SCORE 46864.216
AT ITER 2315 NEW BEST:: SOT 231027 SOS 110116 HAS SOPS 104747 HAS SOUS 49109 HAS SOUPS 46699 WITH SCORE 46809.116
AT ITER 2322 NEW BEST:: SOT 231027 SOS 110108 HAS SOPS 104739 HAS SOUS 49105 HAS SOUPS 46695 WITH SCORE 46805.108
AT ITER 2328 NEW BEST:: SOT 231027 SOS 110102 HAS SOPS 104733 HAS SOUS 49080 HAS SOUPS 46670 WITH SCORE 46780.102
AT ITER 2329 NEW BEST:: SOT 231027 SOS 109638 HAS SOPS 104321 HAS SOUS 49052 HAS SOUPS 46668 WITH SCORE 46777.638
AT ITER 2336 NEW BEST:: SOT 231027 SOS 109598 HAS SOPS 104281 HAS SOUS 49032 HAS SOUPS 46648 WITH SCORE 46757.598
AT ITER 2343 NEW BEST:: SOT 231027 SOS 109592 HAS SOPS 104275 HAS SOUS 49032 HAS SOUPS 46648 WITH SCORE 46757.592
AT ITER 2349 NEW BEST:: SOT 231027 SOS 109712 HAS SOPS 104395 HAS SOUS 49025 HAS SOUPS 46641 WITH SCORE 46750.712
AT ITER 2352 NEW BEST:: SOT 231027 SOS 109656 HAS SOPS 104339 HAS SOUS 48997 HAS SOUPS 46613 WITH SCORE 46722.656
AT ITER 2360 NEW BEST:: SOT 231027 SOS 109538 HAS SOPS 104221 HAS SOUS 48991 HAS SOUPS 46607 WITH SCORE 46716.538
AT ITER 2362 NEW BEST:: SOT 231027 SOS 109432 HAS SOPS 104115 HAS SOUS 48978 HAS SOUPS 46594 WITH SCORE 46703.432
AT ITER 2375 NEW BEST:: SOT 231027 SOS 109414 HAS SOPS 104097 HAS SOUS 48969 HAS SOUPS 46585 WITH SCORE 46694.414
AT ITER 2385 NEW BEST:: SOT 230995 SOS 109374 HAS SOPS 104053 HAS SOUS 48935 HAS SOUPS 46549 WITH SCORE 46658.374
AT ITER 2392 NEW BEST:: SOT 230995 SOS 109338 HAS SOPS 104017 HAS SOUS 48926 HAS SOUPS 46540 WITH SCORE 46649.338
AT ITER 2408 NEW BEST:: SOT 230995 SOS 109316 HAS SOPS 103995 HAS SOUS 48915 HAS SOUPS 46529 WITH SCORE 46638.316
AT ITER 2420 NEW BEST:: SOT 230995 SOS 109292 HAS SOPS 103971 HAS SOUS 48903 HAS SOUPS 46517 WITH SCORE 46626.292
AT ITER 2433 NEW BEST:: SOT 230995 SOS 109286 HAS SOPS 103932 HAS SOUS 48900 HAS SOUPS 46495 WITH SCORE 46604.286
AT ITER 2436 NEW BEST:: SOT 230995 SOS 109210 HAS SOPS 103856 HAS SOUS 48862 HAS SOUPS 46457 WITH SCORE 46566.21
AT ITER 2438 NEW BEST:: SOT 230995 SOS 109190 HAS SOPS 103836 HAS SOUS 48862 HAS SOUPS 46457 WITH SCORE 46566.19
AT ITER 2446 NEW BEST:: SOT 230995 SOS 109178 HAS SOPS 103836 HAS SOUS 48853 HAS SOUPS 46454 WITH SCORE 46563.178
AT ITER 2468 NEW BEST:: SOT 230995 SOS 109002 HAS SOPS 103660 HAS SOUS 48849 HAS SOUPS 46450 WITH SCORE 46559.002
AT ITER 2469 NEW BEST:: SOT 230945 SOS 108988 HAS SOPS 103867 HAS SOUS 48722 HAS SOUPS 46436 WITH SCORE 46544.988
AT ITER 2476 NEW BEST:: SOT 230945 SOS 108994 HAS SOPS 103873 HAS SOUS 48712 HAS SOUPS 46426 WITH SCORE 46534.994
AT ITER 2481 NEW BEST:: SOT 230945 SOS 108884 HAS SOPS 103763 HAS SOUS 48682 HAS SOUPS 46396 WITH SCORE 46504.884
AT ITER 2489 NEW BEST:: SOT 230945 SOS 109770 HAS SOPS 104649 HAS SOUS 48623 HAS SOUPS 46337 WITH SCORE 46446.77
AT ITER 2525 NEW BEST:: SOT 230945 SOS 109748 HAS SOPS 104627 HAS SOUS 48597 HAS SOUPS 46311 WITH SCORE 46420.748
AT ITER 2533 NEW BEST:: SOT 230945 SOS 109738 HAS SOPS 104617 HAS SOUS 48592 HAS SOUPS 46306 WITH SCORE 46415.738
AT ITER 2534 NEW BEST:: SOT 230945 SOS 109680 HAS SOPS 104709 HAS SOUS 48517 HAS SOUPS 46306 WITH SCORE 46415.68
AT ITER 2535 NEW BEST:: SOT 230945 SOS 109630 HAS SOPS 104659 HAS SOUS 48500 HAS SOUPS 46289 WITH SCORE 46398.63
AT ITER 2536 NEW BEST:: SOT 230945 SOS 109426 HAS SOPS 104455 HAS SOUS 48487 HAS SOUPS 46276 WITH SCORE 46385.426
AT ITER 2538 NEW BEST:: SOT 230945 SOS 109384 HAS SOPS 104413 HAS SOUS 48487 HAS SOUPS 46276 WITH SCORE 46385.384
AT ITER 2542 NEW BEST:: SOT 230945 SOS 109352 HAS SOPS 104365 HAS SOUS 48487 HAS SOUPS 46268 WITH SCORE 46377.352
AT ITER 2545 NEW BEST:: SOT 230945 SOS 109306 HAS SOPS 104319 HAS SOUS 48405 HAS SOUPS 46186 WITH SCORE 46295.306
AT ITER 2548 NEW BEST:: SOT 230945 SOS 109242 HAS SOPS 104255 HAS SOUS 48373 HAS SOUPS 46154 WITH SCORE 46263.242
AT ITER 2556 NEW BEST:: SOT 230945 SOS 109230 HAS SOPS 104243 HAS SOUS 48370 HAS SOUPS 46151 WITH SCORE 46260.23
AT ITER 2557 NEW BEST:: SOT 230945 SOS 109202 HAS SOPS 104215 HAS SOUS 48349 HAS SOUPS 46130 WITH SCORE 46239.202
AT ITER 2558 NEW BEST:: SOT 230945 SOS 109202 HAS SOPS 104209 HAS SOUS 48349 HAS SOUPS 46127 WITH SCORE 46236.202
AT ITER 2575 NEW BEST:: SOT 230945 SOS 109070 HAS SOPS 104077 HAS SOUS 48283 HAS SOUPS 46061 WITH SCORE 46170.07
AT ITER 2584 NEW BEST:: SOT 230945 SOS 109066 HAS SOPS 104073 HAS SOUS 48282 HAS SOUPS 46060 WITH SCORE 46169.066
AT ITER 2588 NEW BEST:: SOT 230945 SOS 109034 HAS SOPS 104041 HAS SOUS 48266 HAS SOUPS 46044 WITH SCORE 46153.034
AT ITER 2596 NEW BEST:: SOT 230945 SOS 108846 HAS SOPS 103853 HAS SOUS 48050 HAS SOUPS 45828 WITH SCORE 45936.846
AT ITER 2600 NEW BEST:: SOT 230945 SOS 108824 HAS SOPS 103831 HAS SOUS 48039 HAS SOUPS 45817 WITH SCORE 45925.824
AT ITER 2601 NEW BEST:: SOT 230945 SOS 108812 HAS SOPS 103819 HAS SOUS 48033 HAS SOUPS 45811 WITH SCORE 45919.812
AT ITER 2607 NEW BEST:: SOT 230945 SOS 108976 HAS SOPS 103983 HAS SOUS 48026 HAS SOUPS 45804 WITH SCORE 45912.976
AT ITER 2627 NEW BEST:: SOT 230945 SOS 108958 HAS SOPS 103977 HAS SOUS 48017 HAS SOUPS 45801 WITH SCORE 45909.958
AT ITER 2629 NEW BEST:: SOT 230945 SOS 108958 HAS SOPS 103977 HAS SOUS 48012 HAS SOUPS 45796 WITH SCORE 45904.958
AT ITER 2633 NEW BEST:: SOT 230945 SOS 108904 HAS SOPS 103923 HAS SOUS 47985 HAS SOUPS 45769 WITH SCORE 45877.904
AT ITER 2641 NEW BEST:: SOT 230945 SOS 108610 HAS SOPS 103457 HAS SOUS 47884 HAS SOUPS 45582 WITH SCORE 45690.61
AT ITER 2658 NEW BEST:: SOT 230945 SOS 108528 HAS SOPS 103375 HAS SOUS 47876 HAS SOUPS 45574 WITH SCORE 45682.528
AT ITER 2680 NEW BEST:: SOT 230945 SOS 108556 HAS SOPS 103403 HAS SOUS 47872 HAS SOUPS 45570 WITH SCORE 45678.556
AT ITER 2682 NEW BEST:: SOT 230945 SOS 108554 HAS SOPS 103401 HAS SOUS 47871 HAS SOUPS 45569 WITH SCORE 45677.554
AT ITER 2683 NEW BEST:: SOT 230945 SOS 108497 HAS SOPS 103344 HAS SOUS 47840 HAS SOUPS 45538 WITH SCORE 45646.497
AT ITER 2689 NEW BEST:: SOT 230945 SOS 108497 HAS SOPS 103344 HAS SOUS 47836 HAS SOUPS 45534 WITH SCORE 45642.497
AT ITER 2696 NEW BEST:: SOT 230945 SOS 108477 HAS SOPS 103324 HAS SOUS 47834 HAS SOUPS 45532 WITH SCORE 45640.477
AT ITER 2714 NEW BEST:: SOT 230945 SOS 108449 HAS SOPS 103310 HAS SOUS 47827 HAS SOUPS 45532 WITH SCORE 45640.449
AT ITER 2725 NEW BEST:: SOT 230945 SOS 108447 HAS SOPS 103308 HAS SOUS 47793 HAS SOUPS 45498 WITH SCORE 45606.447
AT ITER 2744 NEW BEST:: SOT 230945 SOS 108608 HAS SOPS 103469 HAS SOUS 47766 HAS SOUPS 45471 WITH SCORE 45579.608
AT ITER 2746 NEW BEST:: SOT 230945 SOS 108294 HAS SOPS 103155 HAS SOUS 47659 HAS SOUPS 45364 WITH SCORE 45472.294
AT ITER 2755 NEW BEST:: SOT 230945 SOS 108268 HAS SOPS 103129 HAS SOUS 47646 HAS SOUPS 45351 WITH SCORE 45459.268
AT ITER 2761 NEW BEST:: SOT 230945 SOS 108310 HAS SOPS 103097 HAS SOUS 47667 HAS SOUPS 45335 WITH SCORE 45443.31
AT ITER 2762 NEW BEST:: SOT 230945 SOS 108292 HAS SOPS 103043 HAS SOUS 47667 HAS SOUPS 45317 WITH SCORE 45425.292
AT ITER 2764 NEW BEST:: SOT 230945 SOS 108036 HAS SOPS 102623 HAS SOUS 47685 HAS SOUPS 45253 WITH SCORE 45361.036
AT ITER 2792 NEW BEST:: SOT 230945 SOS 108036 HAS SOPS 102615 HAS SOUS 47685 HAS SOUPS 45249 WITH SCORE 45357.036
AT ITER 2836 NEW BEST:: SOT 230945 SOS 107798 HAS SOPS 102377 HAS SOUS 47685 HAS SOUPS 45249 WITH SCORE 45356.798
AT ITER 2852 NEW BEST:: SOT 230945 SOS 107722 HAS SOPS 102301 HAS SOUS 47647 HAS SOUPS 45211 WITH SCORE 45318.722
AT ITER 2854 NEW BEST:: SOT 230945 SOS 107802 HAS SOPS 102381 HAS SOUS 47605 HAS SOUPS 45169 WITH SCORE 45276.802
AT ITER 2870 NEW BEST:: SOT 230945 SOS 107788 HAS SOPS 102367 HAS SOUS 47598 HAS SOUPS 45162 WITH SCORE 45269.788
AT ITER 2884 NEW BEST:: SOT 230945 SOS 107782 HAS SOPS 102361 HAS SOUS 47595 HAS SOUPS 45159 WITH SCORE 45266.782
AT ITER 2889 NEW BEST:: SOT 230945 SOS 107772 HAS SOPS 102351 HAS SOUS 47575 HAS SOUPS 45139 WITH SCORE 45246.772
AT ITER 2906 NEW BEST:: SOT 230945 SOS 107750 HAS SOPS 102329 HAS SOUS 47575 HAS SOUPS 45139 WITH SCORE 45246.75
AT ITER 2923 NEW BEST:: SOT 230945 SOS 106725 HAS SOPS 101304 HAS SOUS 47575 HAS SOUPS 45139 WITH SCORE 45245.725
AT ITER 2924 NEW BEST:: SOT 230945 SOS 106541 HAS SOPS 101120 HAS SOUS 47483 HAS SOUPS 45047 WITH SCORE 45153.541
AT ITER 2930 NEW BEST:: SOT 230945 SOS 106377 HAS SOPS 100956 HAS SOUS 47439 HAS SOUPS 45003 WITH SCORE 45109.377
AT ITER 2937 NEW BEST:: SOT 230945 SOS 106359 HAS SOPS 100938 HAS SOUS 47430 HAS SOUPS 44994 WITH SCORE 45100.359
AT ITER 2940 NEW BEST:: SOT 230945 SOS 106287 HAS SOPS 100896 HAS SOUS 47400 HAS SOUPS 44979 WITH SCORE 45085.287
AT ITER 2941 NEW BEST:: SOT 230945 SOS 106203 HAS SOPS 100812 HAS SOUS 47398 HAS SOUPS 44977 WITH SCORE 45083.203
AT ITER 2945 NEW BEST:: SOT 230945 SOS 106203 HAS SOPS 100812 HAS SOUS 47387 HAS SOUPS 44966 WITH SCORE 45072.203
AT ITER 2988 NEW BEST:: SOT 230945 SOS 106201 HAS SOPS 100810 HAS SOUS 47386 HAS SOUPS 44965 WITH SCORE 45071.201
AT ITER 2993 NEW BEST:: SOT 230945 SOS 106053 HAS SOPS 100798 HAS SOUS 47312 HAS SOUPS 44959 WITH SCORE 45065.053
AT ITER 3001 NEW BEST:: SOT 230961 SOS 106069 HAS SOPS 100814 HAS SOUS 47280 HAS SOUPS 44927 WITH SCORE 45033.069
AT ITER 3017 NEW BEST:: SOT 230961 SOS 105957 HAS SOPS 100702 HAS SOUS 47224 HAS SOUPS 44871 WITH SCORE 44976.957
AT ITER 3034 NEW BEST:: SOT 230961 SOS 105951 HAS SOPS 100696 HAS SOUS 47224 HAS SOUPS 44871 WITH SCORE 44976.951
AT ITER 3042 NEW BEST:: SOT 230961 SOS 105871 HAS SOPS 100616 HAS SOUS 47184 HAS SOUPS 44831 WITH SCORE 44936.871
AT ITER 3053 NEW BEST:: SOT 230961 SOS 105693 HAS SOPS 100438 HAS SOUS 47154 HAS SOUPS 44801 WITH SCORE 44906.693
AT ITER 3054 NEW BEST:: SOT 230961 SOS 105711 HAS SOPS 100456 HAS SOUS 47153 HAS SOUPS 44800 WITH SCORE 44905.711
AT ITER 3056 NEW BEST:: SOT 230981 SOS 105631 HAS SOPS 100348 HAS SOUS 47134 HAS SOUPS 44781 WITH SCORE 44886.631
AT ITER 3065 NEW BEST:: SOT 230981 SOS 105405 HAS SOPS 100122 HAS SOUS 47045 HAS SOUPS 44692 WITH SCORE 44797.405
AT ITER 3068 NEW BEST:: SOT 230981 SOS 105305 HAS SOPS 100022 HAS SOUS 47035 HAS SOUPS 44682 WITH SCORE 44787.305
AT ITER 3076 NEW BEST:: SOT 230981 SOS 105189 HAS SOPS 99906 HAS SOUS 46977 HAS SOUPS 44624 WITH SCORE 44729.189
AT ITER 3082 NEW BEST:: SOT 230981 SOS 105093 HAS SOPS 99810 HAS SOUS 46929 HAS SOUPS 44576 WITH SCORE 44681.093
AT ITER 3094 NEW BEST:: SOT 230981 SOS 105123 HAS SOPS 99794 HAS SOUS 46930 HAS SOUPS 44554 WITH SCORE 44659.123
AT ITER 3109 NEW BEST:: SOT 230981 SOS 105105 HAS SOPS 99776 HAS SOUS 46921 HAS SOUPS 44545 WITH SCORE 44650.105
AT ITER 3117 NEW BEST:: SOT 230981 SOS 105103 HAS SOPS 99774 HAS SOUS 46920 HAS SOUPS 44544 WITH SCORE 44649.103
AT ITER 3121 NEW BEST:: SOT 230981 SOS 105097 HAS SOPS 99768 HAS SOUS 46917 HAS SOUPS 44541 WITH SCORE 44646.097
AT ITER 3132 NEW BEST:: SOT 230981 SOS 104977 HAS SOPS 99648 HAS SOUS 46857 HAS SOUPS 44481 WITH SCORE 44585.977
AT ITER 3151 NEW BEST:: SOT 230981 SOS 104963 HAS SOPS 99634 HAS SOUS 46857 HAS SOUPS 44481 WITH SCORE 44585.963
AT ITER 3177 NEW BEST:: SOT 230983 SOS 104965 HAS SOPS 99610 HAS SOUS 46833 HAS SOUPS 44457 WITH SCORE 44561.965
AT ITER 3181 NEW BEST:: SOT 230983 SOS 104633 HAS SOPS 99450 HAS SOUS 46716 HAS SOUPS 44426 WITH SCORE 44530.633
AT ITER 3211 NEW BEST:: SOT 230983 SOS 104621 HAS SOPS 99438 HAS SOUS 46712 HAS SOUPS 44422 WITH SCORE 44526.621
AT ITER 3229 NEW BEST:: SOT 230921 SOS 104575 HAS SOPS 99424 HAS SOUS 46695 HAS SOUPS 44405 WITH SCORE 44509.575
AT ITER 3244 NEW BEST:: SOT 230897 SOS 104629 HAS SOPS 99520 HAS SOUS 46684 HAS SOUPS 44394 WITH SCORE 44498.629
AT ITER 3251 NEW BEST:: SOT 230897 SOS 104593 HAS SOPS 99484 HAS SOUS 46666 HAS SOUPS 44376 WITH SCORE 44480.593
AT ITER 3267 NEW BEST:: SOT 230897 SOS 104579 HAS SOPS 99470 HAS SOUS 46652 HAS SOUPS 44362 WITH SCORE 44466.579
AT ITER 3302 NEW BEST:: SOT 230897 SOS 104559 HAS SOPS 99470 HAS SOUS 46642 HAS SOUPS 44362 WITH SCORE 44466.559
AT ITER 3316 NEW BEST:: SOT 230897 SOS 104569 HAS SOPS 99480 HAS SOUS 46633 HAS SOUPS 44353 WITH SCORE 44457.569
AT ITER 3325 NEW BEST:: SOT 230897 SOS 104555 HAS SOPS 99466 HAS SOUS 46633 HAS SOUPS 44353 WITH SCORE 44457.555
AT ITER 3329 NEW BEST:: SOT 230897 SOS 104519 HAS SOPS 99430 HAS SOUS 46622 HAS SOUPS 44342 WITH SCORE 44446.519
AT ITER 3337 NEW BEST:: SOT 230897 SOS 104503 HAS SOPS 99414 HAS SOUS 46614 HAS SOUPS 44334 WITH SCORE 44438.503
AT ITER 3347 NEW BEST:: SOT 230897 SOS 104389 HAS SOPS 99152 HAS SOUS 46576 HAS SOUPS 44222 WITH SCORE 44326.389
AT ITER 3349 NEW BEST:: SOT 230897 SOS 104385 HAS SOPS 99148 HAS SOUS 46574 HAS SOUPS 44220 WITH SCORE 44324.385
AT ITER 3352 NEW BEST:: SOT 230897 SOS 104379 HAS SOPS 99142 HAS SOUS 46574 HAS SOUPS 44220 WITH SCORE 44324.379
AT ITER 3362 NEW BEST:: SOT 230897 SOS 104345 HAS SOPS 99108 HAS SOUS 46557 HAS SOUPS 44203 WITH SCORE 44307.345
AT ITER 3377 NEW BEST:: SOT 230897 SOS 104301 HAS SOPS 99064 HAS SOUS 46546 HAS SOUPS 44192 WITH SCORE 44296.301
AT ITER 3415 NEW BEST:: SOT 230897 SOS 104297 HAS SOPS 99060 HAS SOUS 46544 HAS SOUPS 44190 WITH SCORE 44294.297
AT ITER 3416 NEW BEST:: SOT 230897 SOS 104321 HAS SOPS 99084 HAS SOUS 46528 HAS SOUPS 44174 WITH SCORE 44278.321
AT ITER 3418 NEW BEST:: SOT 230897 SOS 104425 HAS SOPS 99188 HAS SOUS 46448 HAS SOUPS 44094 WITH SCORE 44198.425
AT ITER 3442 NEW BEST:: SOT 230897 SOS 104421 HAS SOPS 99184 HAS SOUS 46447 HAS SOUPS 44093 WITH SCORE 44197.421
AT ITER 3443 NEW BEST:: SOT 230897 SOS 104407 HAS SOPS 99170 HAS SOUS 46409 HAS SOUPS 44055 WITH SCORE 44159.407
AT ITER 3449 NEW BEST:: SOT 230897 SOS 104353 HAS SOPS 99116 HAS SOUS 46405 HAS SOUPS 44051 WITH SCORE 44155.353
AT ITER 3471 NEW BEST:: SOT 230892 SOS 104348 HAS SOPS 99115 HAS SOUS 46404 HAS SOUPS 44050 WITH SCORE 44154.348
AT ITER 3476 NEW BEST:: SOT 230892 SOS 104298 HAS SOPS 99065 HAS SOUS 46396 HAS SOUPS 44042 WITH SCORE 44146.298
AT ITER 3480 NEW BEST:: SOT 230892 SOS 104262 HAS SOPS 99029 HAS SOUS 46378 HAS SOUPS 44024 WITH SCORE 44128.262
AT ITER 3510 NEW BEST:: SOT 230892 SOS 104226 HAS SOPS 98993 HAS SOUS 46360 HAS SOUPS 44006 WITH SCORE 44110.226
AT ITER 3515 NEW BEST:: SOT 230892 SOS 104220 HAS SOPS 98987 HAS SOUS 46354 HAS SOUPS 44000 WITH SCORE 44104.22
AT ITER 3537 NEW BEST:: SOT 230892 SOS 104200 HAS SOPS 98967 HAS SOUS 46344 HAS SOUPS 43990 WITH SCORE 44094.2
AT ITER 3548 NEW BEST:: SOT 230892 SOS 104182 HAS SOPS 98931 HAS SOUS 46335 HAS SOUPS 43972 WITH SCORE 44076.182
AT ITER 3551 NEW BEST:: SOT 230892 SOS 104142 HAS SOPS 98891 HAS SOUS 46325 HAS SOUPS 43962 WITH SCORE 44066.142
AT ITER 3559 NEW BEST:: SOT 230892 SOS 104114 HAS SOPS 98863 HAS SOUS 46325 HAS SOUPS 43962 WITH SCORE 44066.114
AT ITER 3572 NEW BEST:: SOT 230906 SOS 103584 HAS SOPS 98287 HAS SOUS 46274 HAS SOUPS 43911 WITH SCORE 44014.584
AT ITER 3578 NEW BEST:: SOT 230906 SOS 103554 HAS SOPS 98257 HAS SOUS 46259 HAS SOUPS 43896 WITH SCORE 43999.554
AT ITER 3591 NEW BEST:: SOT 230906 SOS 103554 HAS SOPS 98257 HAS SOUS 46258 HAS SOUPS 43895 WITH SCORE 43998.554
AT ITER 3608 NEW BEST:: SOT 230920 SOS 103546 HAS SOPS 98249 HAS SOUS 46256 HAS SOUPS 43893 WITH SCORE 43996.546
AT ITER 3666 NEW BEST:: SOT 230920 SOS 103554 HAS SOPS 98217 HAS SOUS 46275 HAS SOUPS 43892 WITH SCORE 43995.554
AT ITER 3678 NEW BEST:: SOT 230920 SOS 103524 HAS SOPS 98160 HAS SOUS 46275 HAS SOUPS 43880 WITH SCORE 43983.524
AT ITER 3706 NEW BEST:: SOT 230920 SOS 103444 HAS SOPS 98080 HAS SOUS 46270 HAS SOUPS 43875 WITH SCORE 43978.444
AT ITER 3712 NEW BEST:: SOT 230920 SOS 103426 HAS SOPS 98062 HAS SOUS 46261 HAS SOUPS 43866 WITH SCORE 43969.426
AT ITER 3727 NEW BEST:: SOT 230920 SOS 103232 HAS SOPS 97868 HAS SOUS 46196 HAS SOUPS 43801 WITH SCORE 43904.232
AT ITER 3736 NEW BEST:: SOT 230920 SOS 103200 HAS SOPS 97836 HAS SOUS 46180 HAS SOUPS 43785 WITH SCORE 43888.2
AT ITER 3741 NEW BEST:: SOT 230920 SOS 103066 HAS SOPS 97836 HAS SOUS 46113 HAS SOUPS 43785 WITH SCORE 43888.066
AT ITER 3762 NEW BEST:: SOT 230920 SOS 103052 HAS SOPS 97822 HAS SOUS 46106 HAS SOUPS 43778 WITH SCORE 43881.052
AT ITER 3786 NEW BEST:: SOT 230920 SOS 103154 HAS SOPS 97924 HAS SOUS 46051 HAS SOUPS 43723 WITH SCORE 43826.154
AT ITER 3812 NEW BEST:: SOT 230920 SOS 103125 HAS SOPS 97895 HAS SOUS 46015 HAS SOUPS 43687 WITH SCORE 43790.125
AT ITER 3822 NEW BEST:: SOT 230920 SOS 103113 HAS SOPS 97883 HAS SOUS 46009 HAS SOUPS 43681 WITH SCORE 43784.113
AT ITER 3826 NEW BEST:: SOT 230920 SOS 103117 HAS SOPS 97887 HAS SOUS 46005 HAS SOUPS 43677 WITH SCORE 43780.117
AT ITER 3837 NEW BEST:: SOT 230920 SOS 103109 HAS SOPS 97879 HAS SOUS 45998 HAS SOUPS 43670 WITH SCORE 43773.109
AT ITER 3858 NEW BEST:: SOT 230920 SOS 103055 HAS SOPS 97825 HAS SOUS 45971 HAS SOUPS 43643 WITH SCORE 43746.055
AT ITER 3862 NEW BEST:: SOT 231014 SOS 103035 HAS SOPS 97779 HAS SOUS 45884 HAS SOUPS 43556 WITH SCORE 43659.035
AT ITER 3873 NEW BEST:: SOT 231014 SOS 103019 HAS SOPS 97763 HAS SOUS 45876 HAS SOUPS 43548 WITH SCORE 43651.019
AT ITER 3882 NEW BEST:: SOT 231014 SOS 102968 HAS SOPS 97712 HAS SOUS 45821 HAS SOUPS 43493 WITH SCORE 43595.968
AT ITER 3886 NEW BEST:: SOT 231014 SOS 102966 HAS SOPS 97710 HAS SOUS 45821 HAS SOUPS 43493 WITH SCORE 43595.966
AT ITER 3902 NEW BEST:: SOT 231014 SOS 102836 HAS SOPS 97580 HAS SOUS 45809 HAS SOUPS 43481 WITH SCORE 43583.836
AT ITER 3968 NEW BEST:: SOT 231014 SOS 102798 HAS SOPS 97580 HAS SOUS 45790 HAS SOUPS 43481 WITH SCORE 43583.798
AT ITER 3999 NEW BEST:: SOT 231014 SOS 102742 HAS SOPS 97524 HAS SOUS 45776 HAS SOUPS 43467 WITH SCORE 43569.742
AT ITER 4009 NEW BEST:: SOT 231014 SOS 102642 HAS SOPS 97424 HAS SOUS 45774 HAS SOUPS 43465 WITH SCORE 43567.642
AT ITER 4029 NEW BEST:: SOT 231014 SOS 102594 HAS SOPS 97400 HAS SOUS 45750 HAS SOUPS 43453 WITH SCORE 43555.594
AT ITER 4032 NEW BEST:: SOT 231028 SOS 102594 HAS SOPS 97341 HAS SOUS 45757 HAS SOUPS 43428 WITH SCORE 43530.594
AT ITER 4045 NEW BEST:: SOT 231028 SOS 102572 HAS SOPS 97319 HAS SOUS 45746 HAS SOUPS 43417 WITH SCORE 43519.572
AT ITER 4051 NEW BEST:: SOT 231028 SOS 102512 HAS SOPS 97259 HAS SOUS 45745 HAS SOUPS 43416 WITH SCORE 43518.512
AT ITER 4055 NEW BEST:: SOT 231038 SOS 102094 HAS SOPS 96802 HAS SOUS 45581 HAS SOUPS 43279 WITH SCORE 43381.094
AT ITER 4068 NEW BEST:: SOT 231038 SOS 102090 HAS SOPS 96798 HAS SOUS 45581 HAS SOUPS 43279 WITH SCORE 43381.09
AT ITER 4109 NEW BEST:: SOT 231038 SOS 102052 HAS SOPS 96760 HAS SOUS 45572 HAS SOUPS 43270 WITH SCORE 43372.052
AT ITER 4173 NEW BEST:: SOT 231023 SOS 102037 HAS SOPS 96730 HAS SOUS 45542 HAS SOUPS 43240 WITH SCORE 43342.037
AT ITER 4184 NEW BEST:: SOT 231023 SOS 102037 HAS SOPS 96706 HAS SOUS 45529 HAS SOUPS 43214 WITH SCORE 43316.037
AT ITER 4189 NEW BEST:: SOT 231023 SOS 101751 HAS SOPS 96420 HAS SOUS 45476 HAS SOUPS 43161 WITH SCORE 43262.751
AT ITER 4198 NEW BEST:: SOT 231023 SOS 101679 HAS SOPS 96348 HAS SOUS 45459 HAS SOUPS 43144 WITH SCORE 43245.679
AT ITER 4219 NEW BEST:: SOT 231023 SOS 101629 HAS SOPS 96298 HAS SOUS 45434 HAS SOUPS 43119 WITH SCORE 43220.629
AT ITER 4227 NEW BEST:: SOT 231023 SOS 101619 HAS SOPS 96288 HAS SOUS 45434 HAS SOUPS 43119 WITH SCORE 43220.619
AT ITER 4240 NEW BEST:: SOT 231023 SOS 101523 HAS SOPS 96192 HAS SOUS 45434 HAS SOUPS 43119 WITH SCORE 43220.523
AT ITER 4244 NEW BEST:: SOT 231023 SOS 101501 HAS SOPS 96170 HAS SOUS 45423 HAS SOUPS 43108 WITH SCORE 43209.501
AT ITER 4245 NEW BEST:: SOT 231023 SOS 101499 HAS SOPS 96168 HAS SOUS 45423 HAS SOUPS 43108 WITH SCORE 43209.499
AT ITER 4246 NEW BEST:: SOT 230989 SOS 101465 HAS SOPS 96100 HAS SOUS 45367 HAS SOUPS 43052 WITH SCORE 43153.465
AT ITER 4249 NEW BEST:: SOT 230989 SOS 101545 HAS SOPS 96180 HAS SOUS 45357 HAS SOUPS 43042 WITH SCORE 43143.545
AT ITER 4255 NEW BEST:: SOT 230989 SOS 101525 HAS SOPS 96160 HAS SOUS 45321 HAS SOUPS 43006 WITH SCORE 43107.525
AT ITER 4272 NEW BEST:: SOT 230989 SOS 101521 HAS SOPS 96156 HAS SOUS 45319 HAS SOUPS 43004 WITH SCORE 43105.521
AT ITER 4282 NEW BEST:: SOT 230989 SOS 101319 HAS SOPS 95954 HAS SOUS 45316 HAS SOUPS 43001 WITH SCORE 43102.319
AT ITER 4283 NEW BEST:: SOT 230989 SOS 101305 HAS SOPS 95954 HAS SOUS 45309 HAS SOUPS 43001 WITH SCORE 43102.305
AT ITER 4288 NEW BEST:: SOT 230985 SOS 101301 HAS SOPS 95944 HAS SOUS 45309 HAS SOUPS 43001 WITH SCORE 43102.301
AT ITER 4292 NEW BEST:: SOT 230985 SOS 101289 HAS SOPS 95938 HAS SOUS 45303 HAS SOUPS 42998 WITH SCORE 43099.289
AT ITER 4301 NEW BEST:: SOT 230985 SOS 101303 HAS SOPS 95930 HAS SOUS 45310 HAS SOUPS 42994 WITH SCORE 43095.303
AT ITER 4307 NEW BEST:: SOT 230985 SOS 101129 HAS SOPS 95756 HAS SOUS 45223 HAS SOUPS 42907 WITH SCORE 43008.129
AT ITER 4329 NEW BEST:: SOT 230985 SOS 101095 HAS SOPS 95722 HAS SOUS 45206 HAS SOUPS 42890 WITH SCORE 42991.095
AT ITER 4369 NEW BEST:: SOT 230985 SOS 101065 HAS SOPS 95692 HAS SOUS 45196 HAS SOUPS 42880 WITH SCORE 42981.065
AT ITER 4397 NEW BEST:: SOT 230969 SOS 101010 HAS SOPS 95700 HAS SOUS 45142 HAS SOUPS 42860 WITH SCORE 42961.01
AT ITER 4421 NEW BEST:: SOT 230969 SOS 100980 HAS SOPS 95673 HAS SOUS 45136 HAS SOUPS 42857 WITH SCORE 42957.98
AT ITER 4422 NEW BEST:: SOT 230969 SOS 100978 HAS SOPS 95671 HAS SOUS 45135 HAS SOUPS 42856 WITH SCORE 42956.978
AT ITER 4440 NEW BEST:: SOT 230969 SOS 100940 HAS SOPS 95633 HAS SOUS 45109 HAS SOUPS 42830 WITH SCORE 42930.94
AT ITER 4448 NEW BEST:: SOT 230969 SOS 100928 HAS SOPS 95621 HAS SOUS 45103 HAS SOUPS 42824 WITH SCORE 42924.928
AT ITER 4455 NEW BEST:: SOT 230969 SOS 100960 HAS SOPS 95491 HAS SOUS 45176 HAS SOUPS 42816 WITH SCORE 42916.96
AT ITER 4462 NEW BEST:: SOT 230969 SOS 100922 HAS SOPS 95453 HAS SOUS 45176 HAS SOUPS 42816 WITH SCORE 42916.922
AT ITER 4485 NEW BEST:: SOT 230969 SOS 100908 HAS SOPS 95439 HAS SOUS 45175 HAS SOUPS 42815 WITH SCORE 42915.908
AT ITER 4491 NEW BEST:: SOT 230969 SOS 100874 HAS SOPS 95405 HAS SOUS 45158 HAS SOUPS 42798 WITH SCORE 42898.874
AT ITER 4496 NEW BEST:: SOT 230969 SOS 101178 HAS SOPS 95709 HAS SOUS 45148 HAS SOUPS 42788 WITH SCORE 42889.178
AT ITER 4505 NEW BEST:: SOT 230969 SOS 101192 HAS SOPS 95723 HAS SOUS 45144 HAS SOUPS 42784 WITH SCORE 42885.192
AT ITER 4524 NEW BEST:: SOT 230858 SOS 101067 HAS SOPS 95521 HAS SOUS 45002 HAS SOUPS 42641 WITH SCORE 42742.067
AT ITER 4565 NEW BEST:: SOT 230858 SOS 100903 HAS SOPS 95357 HAS SOUS 44976 HAS SOUPS 42615 WITH SCORE 42715.903
AT ITER 4573 NEW BEST:: SOT 231018 SOS 100833 HAS SOPS 95183 HAS SOUS 44948 HAS SOUPS 42587 WITH SCORE 42687.833
AT ITER 4574 NEW BEST:: SOT 231018 SOS 100745 HAS SOPS 95095 HAS SOUS 44948 HAS SOUPS 42587 WITH SCORE 42687.745
AT ITER 4649 NEW BEST:: SOT 231018 SOS 100731 HAS SOPS 95081 HAS SOUS 44941 HAS SOUPS 42580 WITH SCORE 42680.731
AT ITER 4672 NEW BEST:: SOT 231018 SOS 100489 HAS SOPS 94839 HAS SOUS 44887 HAS SOUPS 42526 WITH SCORE 42626.489
AT ITER 4678 NEW BEST:: SOT 231018 SOS 100393 HAS SOPS 94743 HAS SOUS 44864 HAS SOUPS 42503 WITH SCORE 42603.393
AT ITER 4682 NEW BEST:: SOT 231018 SOS 100337 HAS SOPS 94687 HAS SOUS 44842 HAS SOUPS 42481 WITH SCORE 42581.337
AT ITER 4708 NEW BEST:: SOT 231030 SOS 100349 HAS SOPS 94663 HAS SOUS 44836 HAS SOUPS 42475 WITH SCORE 42575.349
AT ITER 4734 NEW BEST:: SOT 231030 SOS 100359 HAS SOPS 94673 HAS SOUS 44834 HAS SOUPS 42473 WITH SCORE 42573.359
AT ITER 4736 NEW BEST:: SOT 231030 SOS 100359 HAS SOPS 94671 HAS SOUS 44832 HAS SOUPS 42471 WITH SCORE 42571.359
AT ITER 4772 NEW BEST:: SOT 231030 SOS 100359 HAS SOPS 94671 HAS SOUS 44807 HAS SOUPS 42446 WITH SCORE 42546.359
AT ITER 4795 NEW BEST:: SOT 231030 SOS 100511 HAS SOPS 94823 HAS SOUS 44759 HAS SOUPS 42398 WITH SCORE 42498.511
AT ITER 4816 NEW BEST:: SOT 231030 SOS 100511 HAS SOPS 94791 HAS SOUS 44759 HAS SOUPS 42382 WITH SCORE 42482.511
AT ITER 4822 NEW BEST:: SOT 231030 SOS 100487 HAS SOPS 94767 HAS SOUS 44754 HAS SOUPS 42377 WITH SCORE 42477.487
AT ITER 4838 NEW BEST:: SOT 231030 SOS 100449 HAS SOPS 94729 HAS SOUS 44735 HAS SOUPS 42358 WITH SCORE 42458.449
AT ITER 4851 NEW BEST:: SOT 231030 SOS 100499 HAS SOPS 94779 HAS SOUS 44719 HAS SOUPS 42342 WITH SCORE 42442.499
AT ITER 4859 NEW BEST:: SOT 231030 SOS 100505 HAS SOPS 94785 HAS SOUS 44680 HAS SOUPS 42303 WITH SCORE 42403.505
AT ITER 4896 NEW BEST:: SOT 231030 SOS 100045 HAS SOPS 94325 HAS SOUS 44667 HAS SOUPS 42290 WITH SCORE 42390.045
AT ITER 4900 NEW BEST:: SOT 231030 SOS 100045 HAS SOPS 94325 HAS SOUS 44654 HAS SOUPS 42277 WITH SCORE 42377.045
AT ITER 4916 NEW BEST:: SOT 231030 SOS 100050 HAS SOPS 94330 HAS SOUS 44645 HAS SOUPS 42268 WITH SCORE 42368.05
AT ITER 4921 NEW BEST:: SOT 231030 SOS 100242 HAS SOPS 94408 HAS SOUS 44693 HAS SOUPS 42259 WITH SCORE 42359.242
AT ITER 4963 NEW BEST:: SOT 231013 SOS 100201 HAS SOPS 94286 HAS SOUS 44584 HAS SOUPS 42147 WITH SCORE 42247.201
AT ITER 4968 NEW BEST:: SOT 231013 SOS 100234 HAS SOPS 94251 HAS SOUS 44611 HAS SOUPS 42139 WITH SCORE 42239.234
AT ITER 5006 NEW BEST:: SOT 231013 SOS 100378 HAS SOPS 94395 HAS SOUS 44546 HAS SOUPS 42074 WITH SCORE 42174.378
AT ITER 5020 NEW BEST:: SOT 231013 SOS 100306 HAS SOPS 94323 HAS SOUS 44510 HAS SOUPS 42038 WITH SCORE 42138.306
AT ITER 5030 NEW BEST:: SOT 231013 SOS 100276 HAS SOPS 94293 HAS SOUS 44510 HAS SOUPS 42038 WITH SCORE 42138.276
AT ITER 5031 NEW BEST:: SOT 231013 SOS 100741 HAS SOPS 94758 HAS SOUS 44495 HAS SOUPS 42023 WITH SCORE 42123.741
AT ITER 5058 NEW BEST:: SOT 231013 SOS 100731 HAS SOPS 94748 HAS SOUS 44490 HAS SOUPS 42018 WITH SCORE 42118.731
AT ITER 5069 NEW BEST:: SOT 231013 SOS 100653 HAS SOPS 94670 HAS SOUS 44490 HAS SOUPS 42018 WITH SCORE 42118.653
AT ITER 5078 NEW BEST:: SOT 231013 SOS 100603 HAS SOPS 94718 HAS SOUS 44416 HAS SOUPS 41993 WITH SCORE 42093.603
AT ITER 5082 NEW BEST:: SOT 231013 SOS 100569 HAS SOPS 94684 HAS SOUS 44414 HAS SOUPS 41991 WITH SCORE 42091.569
AT ITER 5097 NEW BEST:: SOT 231013 SOS 100545 HAS SOPS 94660 HAS SOUS 44414 HAS SOUPS 41991 WITH SCORE 42091.545
AT ITER 5101 NEW BEST:: SOT 231013 SOS 100503 HAS SOPS 94618 HAS SOUS 44393 HAS SOUPS 41970 WITH SCORE 42070.503
AT ITER 5123 NEW BEST:: SOT 231013 SOS 100489 HAS SOPS 94604 HAS SOUS 44386 HAS SOUPS 41963 WITH SCORE 42063.489
AT ITER 5134 NEW BEST:: SOT 231013 SOS 100457 HAS SOPS 94572 HAS SOUS 44370 HAS SOUPS 41947 WITH SCORE 42047.457
AT ITER 5189 NEW BEST:: SOT 231013 SOS 100445 HAS SOPS 94560 HAS SOUS 44366 HAS SOUPS 41943 WITH SCORE 42043.445
AT ITER 5197 NEW BEST:: SOT 231013 SOS 100439 HAS SOPS 94554 HAS SOUS 44366 HAS SOUPS 41943 WITH SCORE 42043.439
AT ITER 5276 NEW BEST:: SOT 231013 SOS 100327 HAS SOPS 94498 HAS SOUS 44310 HAS SOUPS 41915 WITH SCORE 42015.327
AT ITER 5297 NEW BEST:: SOT 231013 SOS 100307 HAS SOPS 94478 HAS SOUS 44300 HAS SOUPS 41905 WITH SCORE 42005.307
AT ITER 5323 NEW BEST:: SOT 231013 SOS 100181 HAS SOPS 94464 HAS SOUS 44237 HAS SOUPS 41898 WITH SCORE 41998.181
AT ITER 5378 NEW BEST:: SOT 231013 SOS 100135 HAS SOPS 94462 HAS SOUS 44213 HAS SOUPS 41896 WITH SCORE 41996.135
AT ITER 5474 NEW BEST:: SOT 231013 SOS 100135 HAS SOPS 94462 HAS SOUS 44212 HAS SOUPS 41895 WITH SCORE 41995.135
AT ITER 5497 NEW BEST:: SOT 231013 SOS 100129 HAS SOPS 94456 HAS SOUS 44209 HAS SOUPS 41892 WITH SCORE 41992.129
AT ITER 5520 NEW BEST:: SOT 228861 SOS 98420 HAS SOPS 92325 HAS SOUS 43678 HAS SOUPS 41374 WITH SCORE 41472.42
AT ITER 5543 NEW BEST:: SOT 228861 SOS 98416 HAS SOPS 92321 HAS SOUS 43676 HAS SOUPS 41372 WITH SCORE 41470.416
AT ITER 5564 NEW BEST:: SOT 228861 SOS 98409 HAS SOPS 92314 HAS SOUS 43670 HAS SOUPS 41366 WITH SCORE 41464.409
AT ITER 5640 NEW BEST:: SOT 228861 SOS 98443 HAS SOPS 92348 HAS SOUS 43658 HAS SOUPS 41354 WITH SCORE 41452.443
AT ITER 5646 NEW BEST:: SOT 228861 SOS 98439 HAS SOPS 92344 HAS SOUS 43656 HAS SOUPS 41352 WITH SCORE 41450.439
AT ITER 5654 NEW BEST:: SOT 228861 SOS 98449 HAS SOPS 92354 HAS SOUS 43649 HAS SOUPS 41345 WITH SCORE 41443.449
AT ITER 5661 NEW BEST:: SOT 228861 SOS 98445 HAS SOPS 92350 HAS SOUS 43646 HAS SOUPS 41342 WITH SCORE 41440.445
AT ITER 5743 NEW BEST:: SOT 228861 SOS 98363 HAS SOPS 92268 HAS SOUS 43644 HAS SOUPS 41340 WITH SCORE 41438.363
AT ITER 5763 NEW BEST:: SOT 228861 SOS 98367 HAS SOPS 92256 HAS SOUS 43646 HAS SOUPS 41334 WITH SCORE 41432.367
AT ITER 5765 NEW BEST:: SOT 228861 SOS 98233 HAS SOPS 92122 HAS SOUS 43637 HAS SOUPS 41325 WITH SCORE 41423.233
AT ITER 5791 NEW BEST:: SOT 228863 SOS 98235 HAS SOPS 92120 HAS SOUS 43631 HAS SOUPS 41319 WITH SCORE 41417.235
AT ITER 5807 NEW BEST:: SOT 228863 SOS 98231 HAS SOPS 92116 HAS SOUS 43629 HAS SOUPS 41317 WITH SCORE 41415.231
AT ITER 5816 NEW BEST:: SOT 228863 SOS 98147 HAS SOPS 92032 HAS SOUS 43629 HAS SOUPS 41317 WITH SCORE 41415.147
AT ITER 5827 NEW BEST:: SOT 228863 SOS 98071 HAS SOPS 91956 HAS SOUS 43604 HAS SOUPS 41292 WITH SCORE 41390.071
AT ITER 5853 NEW BEST:: SOT 228863 SOS 98029 HAS SOPS 91914 HAS SOUS 43604 HAS SOUPS 41292 WITH SCORE 41390.029
AT ITER 5855 NEW BEST:: SOT 228863 SOS 98025 HAS SOPS 91974 HAS SOUS 43570 HAS SOUPS 41290 WITH SCORE 41388.025
AT ITER 5859 NEW BEST:: SOT 228862 SOS 98015 HAS SOPS 91963 HAS SOUS 43530 HAS SOUPS 41250 WITH SCORE 41348.015
AT ITER 5861 NEW BEST:: SOT 228862 SOS 97961 HAS SOPS 91909 HAS SOUS 43517 HAS SOUPS 41237 WITH SCORE 41334.961
AT ITER 5872 NEW BEST:: SOT 228862 SOS 97915 HAS SOPS 91863 HAS SOUS 43508 HAS SOUPS 41228 WITH SCORE 41325.915
AT ITER 5877 NEW BEST:: SOT 228862 SOS 97725 HAS SOPS 91673 HAS SOUS 43469 HAS SOUPS 41189 WITH SCORE 41286.725
AT ITER 5949 NEW BEST:: SOT 228862 SOS 97713 HAS SOPS 91661 HAS SOUS 43463 HAS SOUPS 41183 WITH SCORE 41280.713
AT ITER 5965 NEW BEST:: SOT 228857 SOS 97707 HAS SOPS 91650 HAS SOUS 43452 HAS SOUPS 41172 WITH SCORE 41269.707
AT ITER 5975 NEW BEST:: SOT 228857 SOS 97707 HAS SOPS 91634 HAS SOUS 43452 HAS SOUPS 41164 WITH SCORE 41261.707
AT ITER 5991 NEW BEST:: SOT 228857 SOS 97705 HAS SOPS 91632 HAS SOUS 43451 HAS SOUPS 41163 WITH SCORE 41260.705
AT ITER 6012 NEW BEST:: SOT 228857 SOS 97681 HAS SOPS 91608 HAS SOUS 43445 HAS SOUPS 41157 WITH SCORE 41254.681
AT ITER 6033 NEW BEST:: SOT 228857 SOS 97677 HAS SOPS 91604 HAS SOUS 43444 HAS SOUPS 41156 WITH SCORE 41253.677
AT ITER 6060 NEW BEST:: SOT 228857 SOS 97655 HAS SOPS 91582 HAS SOUS 43444 HAS SOUPS 41156 WITH SCORE 41253.655
AT ITER 6071 NEW BEST:: SOT 228857 SOS 97643 HAS SOPS 91570 HAS SOUS 43438 HAS SOUPS 41150 WITH SCORE 41247.643
AT ITER 6114 NEW BEST:: SOT 228857 SOS 97637 HAS SOPS 91564 HAS SOUS 43438 HAS SOUPS 41150 WITH SCORE 41247.637
AT ITER 6118 NEW BEST:: SOT 228854 SOS 97634 HAS SOPS 91558 HAS SOUS 43432 HAS SOUPS 41144 WITH SCORE 41241.634
AT ITER 6121 NEW BEST:: SOT 228854 SOS 97618 HAS SOPS 91542 HAS SOUS 43424 HAS SOUPS 41136 WITH SCORE 41233.618
AT ITER 6199 NEW BEST:: SOT 228924 SOS 97688 HAS SOPS 91526 HAS SOUS 43386 HAS SOUPS 41098 WITH SCORE 41195.688
AT ITER 6244 NEW BEST:: SOT 228924 SOS 97668 HAS SOPS 91516 HAS SOUS 43376 HAS SOUPS 41093 WITH SCORE 41190.668
AT ITER 6261 NEW BEST:: SOT 228947 SOS 97692 HAS SOPS 91531 HAS SOUS 43361 HAS SOUPS 41078 WITH SCORE 41175.692
AT ITER 6293 NEW BEST:: SOT 228947 SOS 97676 HAS SOPS 91515 HAS SOUS 43353 HAS SOUPS 41070 WITH SCORE 41167.676
AT ITER 6312 NEW BEST:: SOT 228947 SOS 97644 HAS SOPS 91483 HAS SOUS 43353 HAS SOUPS 41070 WITH SCORE 41167.644
AT ITER 6373 NEW BEST:: SOT 228947 SOS 97576 HAS SOPS 91415 HAS SOUS 43337 HAS SOUPS 41054 WITH SCORE 41151.576
AT ITER 6473 NEW BEST:: SOT 228947 SOS 97550 HAS SOPS 91389 HAS SOUS 43324 HAS SOUPS 41041 WITH SCORE 41138.55
AT ITER 6476 NEW BEST:: SOT 228947 SOS 97494 HAS SOPS 91333 HAS SOUS 43317 HAS SOUPS 41034 WITH SCORE 41131.494
AT ITER 6503 NEW BEST:: SOT 228947 SOS 97492 HAS SOPS 91331 HAS SOUS 43316 HAS SOUPS 41033 WITH SCORE 41130.492
AT ITER 6540 NEW BEST:: SOT 228947 SOS 97490 HAS SOPS 91329 HAS SOUS 43315 HAS SOUPS 41032 WITH SCORE 41129.49
AT ITER 6554 NEW BEST:: SOT 223346 SOS 93532 HAS SOPS 85804 HAS SOUS 42483 HAS SOUPS 40177 WITH SCORE 40270.532
AT ITER 6580 NEW BEST:: SOT 223346 SOS 93468 HAS SOPS 85740 HAS SOUS 42483 HAS SOUPS 40177 WITH SCORE 40270.468
AT ITER 6583 NEW BEST:: SOT 223346 SOS 93464 HAS SOPS 85736 HAS SOUS 42481 HAS SOUPS 40175 WITH SCORE 40268.464
AT ITER 6669 NEW BEST:: SOT 223346 SOS 93428 HAS SOPS 85700 HAS SOUS 42481 HAS SOUPS 40175 WITH SCORE 40268.428
AT ITER 6680 NEW BEST:: SOT 223338 SOS 93406 HAS SOPS 85550 HAS SOUS 42417 HAS SOUPS 40111 WITH SCORE 40204.406
AT ITER 6693 NEW BEST:: SOT 223338 SOS 93408 HAS SOPS 85546 HAS SOUS 42418 HAS SOUPS 40109 WITH SCORE 40202.408
AT ITER 6722 NEW BEST:: SOT 223291 SOS 93838 HAS SOPS 86199 HAS SOUS 42398 HAS SOUPS 40089 WITH SCORE 40182.838
AT ITER 6739 NEW BEST:: SOT 223291 SOS 93852 HAS SOPS 86213 HAS SOUS 42392 HAS SOUPS 40083 WITH SCORE 40176.852
AT ITER 6781 NEW BEST:: SOT 223291 SOS 93852 HAS SOPS 86213 HAS SOUS 42380 HAS SOUPS 40071 WITH SCORE 40164.852
AT ITER 6823 NEW BEST:: SOT 223283 SOS 93844 HAS SOPS 86183 HAS SOUS 42364 HAS SOUPS 40055 WITH SCORE 40148.844
AT ITER 6841 NEW BEST:: SOT 223283 SOS 93810 HAS SOPS 86149 HAS SOUS 42363 HAS SOUPS 40054 WITH SCORE 40147.81
AT ITER 6863 NEW BEST:: SOT 223283 SOS 93778 HAS SOPS 86117 HAS SOUS 42345 HAS SOUPS 40036 WITH SCORE 40129.778
AT ITER 6865 NEW BEST:: SOT 223283 SOS 93770 HAS SOPS 86109 HAS SOUS 42343 HAS SOUPS 40034 WITH SCORE 40127.77
AT ITER 6867 NEW BEST:: SOT 223283 SOS 93714 HAS SOPS 86053 HAS SOUS 42326 HAS SOUPS 40017 WITH SCORE 40110.714
AT ITER 6879 NEW BEST:: SOT 223283 SOS 93646 HAS SOPS 85985 HAS SOUS 42326 HAS SOUPS 40017 WITH SCORE 40110.646
AT ITER 6892 NEW BEST:: SOT 223283 SOS 93634 HAS SOPS 85973 HAS SOUS 42314 HAS SOUPS 40005 WITH SCORE 40098.634
AT ITER 6957 NEW BEST:: SOT 223290 SOS 93643 HAS SOPS 85986 HAS SOUS 42301 HAS SOUPS 40004 WITH SCORE 40097.643
AT ITER 6975 NEW BEST:: SOT 223282 SOS 93635 HAS SOPS 85998 HAS SOUS 42301 HAS SOUPS 40004 WITH SCORE 40097.635
AT ITER 6983 NEW BEST:: SOT 223282 SOS 93629 HAS SOPS 85992 HAS SOUS 42297 HAS SOUPS 40000 WITH SCORE 40093.629
AT ITER 6990 NEW BEST:: SOT 223282 SOS 93573 HAS SOPS 85936 HAS SOUS 42293 HAS SOUPS 39996 WITH SCORE 40089.573
AT ITER 6994 NEW BEST:: SOT 223282 SOS 93547 HAS SOPS 85910 HAS SOUS 42280 HAS SOUPS 39983 WITH SCORE 40076.547
AT ITER 7002 NEW BEST:: SOT 223282 SOS 93479 HAS SOPS 85842 HAS SOUS 42280 HAS SOUPS 39983 WITH SCORE 40076.479
AT ITER 7011 NEW BEST:: SOT 223282 SOS 93479 HAS SOPS 85842 HAS SOUS 42261 HAS SOUPS 39964 WITH SCORE 40057.479
AT ITER 7064 NEW BEST:: SOT 223282 SOS 93457 HAS SOPS 85820 HAS SOUS 42254 HAS SOUPS 39957 WITH SCORE 40050.457
AT ITER 7177 NEW BEST:: SOT 223282 SOS 93453 HAS SOPS 85816 HAS SOUS 42252 HAS SOUPS 39955 WITH SCORE 40048.453
AT ITER 7200 NEW BEST:: SOT 223282 SOS 93437 HAS SOPS 85800 HAS SOUS 42244 HAS SOUPS 39947 WITH SCORE 40040.437
AT ITER 7213 NEW BEST:: SOT 223282 SOS 93433 HAS SOPS 85796 HAS SOUS 42236 HAS SOUPS 39939 WITH SCORE 40032.433
AT ITER 7239 NEW BEST:: SOT 223282 SOS 93379 HAS SOPS 85742 HAS SOUS 42234 HAS SOUPS 39937 WITH SCORE 40030.379
AT ITER 7240 NEW BEST:: SOT 223207 SOS 93304 HAS SOPS 85720 HAS SOUS 42159 HAS SOUPS 39915 WITH SCORE 40008.304
AT ITER 7245 NEW BEST:: SOT 223197 SOS 93294 HAS SOPS 85724 HAS SOUS 42155 HAS SOUPS 39911 WITH SCORE 40004.294
AT ITER 7254 NEW BEST:: SOT 223197 SOS 93274 HAS SOPS 85704 HAS SOUS 42154 HAS SOUPS 39910 WITH SCORE 40003.274
AT ITER 7268 NEW BEST:: SOT 223197 SOS 93270 HAS SOPS 85700 HAS SOUS 42152 HAS SOUPS 39908 WITH SCORE 40001.27
AT ITER 7271 NEW BEST:: SOT 223197 SOS 93268 HAS SOPS 85698 HAS SOUS 42151 HAS SOUPS 39907 WITH SCORE 40000.268
AT ITER 7281 NEW BEST:: SOT 216453 SOS 88919 HAS SOPS 79137 HAS SOUS 38676 HAS SOUPS 36481 WITH SCORE 36569.919
AT ITER 7324 NEW BEST:: SOT 216453 SOS 88911 HAS SOPS 79129 HAS SOUS 38676 HAS SOUPS 36481 WITH SCORE 36569.911
AT ITER 7370 NEW BEST:: SOT 216453 SOS 88911 HAS SOPS 79105 HAS SOUS 38676 HAS SOUPS 36469 WITH SCORE 36557.911
AT ITER 7388 NEW BEST:: SOT 216453 SOS 88677 HAS SOPS 78871 HAS SOUS 38675 HAS SOUPS 36468 WITH SCORE 36556.677
AT ITER 7389 NEW BEST:: SOT 216453 SOS 88675 HAS SOPS 78869 HAS SOUS 38674 HAS SOUPS 36467 WITH SCORE 36555.675
AT ITER 7394 NEW BEST:: SOT 216453 SOS 88655 HAS SOPS 78849 HAS SOUS 38660 HAS SOUPS 36453 WITH SCORE 36541.655
AT ITER 7398 NEW BEST:: SOT 216453 SOS 88655 HAS SOPS 78871 HAS SOUS 38638 HAS SOUPS 36431 WITH SCORE 36519.655
AT ITER 7417 NEW BEST:: SOT 216453 SOS 88741 HAS SOPS 78957 HAS SOUS 38629 HAS SOUPS 36422 WITH SCORE 36510.741
AT ITER 7429 NEW BEST:: SOT 216443 SOS 88723 HAS SOPS 78936 HAS SOUS 38602 HAS SOUPS 36401 WITH SCORE 36489.723
AT ITER 7454 NEW BEST:: SOT 216473 SOS 88753 HAS SOPS 78954 HAS SOUS 38596 HAS SOUPS 36395 WITH SCORE 36483.753
AT ITER 7470 NEW BEST:: SOT 216807 SOS 88903 HAS SOPS 79280 HAS SOUS 38345 HAS SOUPS 36146 WITH SCORE 36234.903
AT ITER 7471 NEW BEST:: SOT 216807 SOS 88901 HAS SOPS 79276 HAS SOUS 38345 HAS SOUPS 36145 WITH SCORE 36233.901
AT ITER 7522 NEW BEST:: SOT 216807 SOS 88851 HAS SOPS 79226 HAS SOUS 38345 HAS SOUPS 36145 WITH SCORE 36233.851
AT ITER 7542 NEW BEST:: SOT 216830 SOS 88852 HAS SOPS 79190 HAS SOUS 38357 HAS SOUPS 36134 WITH SCORE 36222.852
AT ITER 7557 NEW BEST:: SOT 216500 SOS 88503 HAS SOPS 78883 HAS SOUS 38137 HAS SOUPS 35914 WITH SCORE 36002.503
AT ITER 7560 NEW BEST:: SOT 216482 SOS 88485 HAS SOPS 78847 HAS SOUS 38130 HAS SOUPS 35907 WITH SCORE 35995.485
AT ITER 7593 NEW BEST:: SOT 216482 SOS 88473 HAS SOPS 78835 HAS SOUS 38130 HAS SOUPS 35907 WITH SCORE 35995.473
AT ITER 7611 NEW BEST:: SOT 216482 SOS 88455 HAS SOPS 78817 HAS SOUS 38121 HAS SOUPS 35898 WITH SCORE 35986.455
AT ITER 7623 NEW BEST:: SOT 216482 SOS 88455 HAS SOPS 78817 HAS SOUS 38112 HAS SOUPS 35889 WITH SCORE 35977.455
AT ITER 7690 NEW BEST:: SOT 217052 SOS 88749 HAS SOPS 79396 HAS SOUS 37889 HAS SOUPS 35669 WITH SCORE 35757.749
AT ITER 7716 NEW BEST:: SOT 217052 SOS 88703 HAS SOPS 79246 HAS SOUS 37889 HAS SOUPS 35617 WITH SCORE 35705.703
AT ITER 7722 NEW BEST:: SOT 217052 SOS 88659 HAS SOPS 79202 HAS SOUS 37889 HAS SOUPS 35617 WITH SCORE 35705.659
AT ITER 7779 NEW BEST:: SOT 217052 SOS 88611 HAS SOPS 79196 HAS SOUS 37865 HAS SOUPS 35614 WITH SCORE 35702.611
AT ITER 7800 NEW BEST:: SOT 217052 SOS 88565 HAS SOPS 79150 HAS SOUS 37865 HAS SOUPS 35614 WITH SCORE 35702.565
AT ITER 7801 NEW BEST:: SOT 217016 SOS 88529 HAS SOPS 79042 HAS SOUS 37805 HAS SOUPS 35554 WITH SCORE 35642.529
AT ITER 7898 NEW BEST:: SOT 217016 SOS 88517 HAS SOPS 79042 HAS SOUS 37799 HAS SOUPS 35554 WITH SCORE 35642.517
AT ITER 7938 NEW BEST:: SOT 217016 SOS 88443 HAS SOPS 79002 HAS SOUS 37779 HAS SOUPS 35551 WITH SCORE 35639.443
AT ITER 7968 NEW BEST:: SOT 217016 SOS 88387 HAS SOPS 79008 HAS SOUS 37748 HAS SOUPS 35551 WITH SCORE 35639.387
AT ITER 8014 NEW BEST:: SOT 217016 SOS 88367 HAS SOPS 79022 HAS SOUS 37721 HAS SOUPS 35541 WITH SCORE 35629.367
AT ITER 8037 NEW BEST:: SOT 217016 SOS 88391 HAS SOPS 79046 HAS SOUS 37720 HAS SOUPS 35540 WITH SCORE 35628.391
AT ITER 8059 NEW BEST:: SOT 217016 SOS 88391 HAS SOPS 79058 HAS SOUS 37702 HAS SOUPS 35528 WITH SCORE 35616.391
AT ITER 8106 NEW BEST:: SOT 217016 SOS 88311 HAS SOPS 78978 HAS SOUS 37696 HAS SOUPS 35522 WITH SCORE 35610.311
AT ITER 8117 NEW BEST:: SOT 217016 SOS 88303 HAS SOPS 78970 HAS SOUS 37692 HAS SOUPS 35518 WITH SCORE 35606.303
AT ITER 8143 NEW BEST:: SOT 217016 SOS 88295 HAS SOPS 78962 HAS SOUS 37690 HAS SOUPS 35516 WITH SCORE 35604.295
AT ITER 8217 NEW BEST:: SOT 217016 SOS 88281 HAS SOPS 78948 HAS SOUS 37690 HAS SOUPS 35516 WITH SCORE 35604.281
AT ITER 8363 NEW BEST:: SOT 217016 SOS 88253 HAS SOPS 78920 HAS SOUS 37683 HAS SOUPS 35509 WITH SCORE 35597.253
AT ITER 8385 NEW BEST:: SOT 217016 SOS 88205 HAS SOPS 78872 HAS SOUS 37683 HAS SOUPS 35509 WITH SCORE 35597.205
AT ITER 8388 NEW BEST:: SOT 217016 SOS 88327 HAS SOPS 78994 HAS SOUS 37667 HAS SOUPS 35493 WITH SCORE 35581.327
AT ITER 8389 NEW BEST:: SOT 217016 SOS 88313 HAS SOPS 78980 HAS SOUS 37667 HAS SOUPS 35493 WITH SCORE 35581.313
AT ITER 8409 NEW BEST:: SOT 217016 SOS 88319 HAS SOPS 78986 HAS SOUS 37638 HAS SOUPS 35464 WITH SCORE 35552.319
AT ITER 8411 NEW BEST:: SOT 217016 SOS 88183 HAS SOPS 78850 HAS SOUS 37621 HAS SOUPS 35447 WITH SCORE 35535.183
AT ITER 8476 NEW BEST:: SOT 217016 SOS 88171 HAS SOPS 78838 HAS SOUS 37615 HAS SOUPS 35441 WITH SCORE 35529.171
AT ITER 8537 NEW BEST:: SOT 217016 SOS 88197 HAS SOPS 78864 HAS SOUS 37610 HAS SOUPS 35436 WITH SCORE 35524.197
AT ITER 8571 NEW BEST:: SOT 217011 SOS 88192 HAS SOPS 78881 HAS SOUS 37609 HAS SOUPS 35435 WITH SCORE 35523.192
AT ITER 8576 NEW BEST:: SOT 217011 SOS 88183 HAS SOPS 78872 HAS SOUS 37609 HAS SOUPS 35435 WITH SCORE 35523.183
AT ITER 8597 NEW BEST:: SOT 217011 SOS 88193 HAS SOPS 78882 HAS SOUS 37606 HAS SOUPS 35432 WITH SCORE 35520.193
AT ITER 8599 NEW BEST:: SOT 216997 SOS 88179 HAS SOPS 78840 HAS SOUS 37571 HAS SOUPS 35397 WITH SCORE 35485.179
AT ITER 8620 NEW BEST:: SOT 216977 SOS 88129 HAS SOPS 78780 HAS SOUS 37553 HAS SOUPS 35379 WITH SCORE 35467.129
AT ITER 8640 NEW BEST:: SOT 216977 SOS 88129 HAS SOPS 78780 HAS SOUS 37546 HAS SOUPS 35372 WITH SCORE 35460.129
AT ITER 8700 NEW BEST:: SOT 216977 SOS 88069 HAS SOPS 78720 HAS SOUS 37544 HAS SOUPS 35370 WITH SCORE 35458.069
AT ITER 8714 NEW BEST:: SOT 216977 SOS 88059 HAS SOPS 78710 HAS SOUS 37542 HAS SOUPS 35368 WITH SCORE 35456.059
AT ITER 8810 NEW BEST:: SOT 216977 SOS 88023 HAS SOPS 78674 HAS SOUS 37542 HAS SOUPS 35368 WITH SCORE 35456.023
AT ITER 8839 NEW BEST:: SOT 216977 SOS 88001 HAS SOPS 78742 HAS SOUS 37486 HAS SOUPS 35357 WITH SCORE 35445.001
AT ITER 8851 NEW BEST:: SOT 216917 SOS 87938 HAS SOPS 78652 HAS SOUS 37413 HAS SOUPS 35284 WITH SCORE 35371.938
AT ITER 8858 NEW BEST:: SOT 216917 SOS 87906 HAS SOPS 78636 HAS SOUS 37397 HAS SOUPS 35276 WITH SCORE 35363.906
AT ITER 8861 NEW BEST:: SOT 216917 SOS 87898 HAS SOPS 78628 HAS SOUS 37397 HAS SOUPS 35276 WITH SCORE 35363.898
AT ITER 8894 NEW BEST:: SOT 216917 SOS 87814 HAS SOPS 78544 HAS SOUS 37397 HAS SOUPS 35276 WITH SCORE 35363.814
AT ITER 8921 NEW BEST:: SOT 216917 SOS 87766 HAS SOPS 78438 HAS SOUS 37399 HAS SOUPS 35249 WITH SCORE 35336.766
AT ITER 8924 NEW BEST:: SOT 216917 SOS 87766 HAS SOPS 78438 HAS SOUS 37396 HAS SOUPS 35246 WITH SCORE 35333.766
AT ITER 8929 NEW BEST:: SOT 216917 SOS 87732 HAS SOPS 78404 HAS SOUS 37396 HAS SOUPS 35246 WITH SCORE 35333.732
AT ITER 8943 NEW BEST:: SOT 216917 SOS 87728 HAS SOPS 78400 HAS SOUS 37394 HAS SOUPS 35244 WITH SCORE 35331.728
AT ITER 8981 NEW BEST:: SOT 216917 SOS 87708 HAS SOPS 78392 HAS SOUS 37384 HAS SOUPS 35240 WITH SCORE 35327.708
AT ITER 8987 NEW BEST:: SOT 216917 SOS 87590 HAS SOPS 78274 HAS SOUS 37364 HAS SOUPS 35220 WITH SCORE 35307.59
AT ITER 9002 NEW BEST:: SOT 216917 SOS 87596 HAS SOPS 78270 HAS SOUS 37367 HAS SOUPS 35218 WITH SCORE 35305.596
AT ITER 9027 NEW BEST:: SOT 216737 SOS 87416 HAS SOPS 78135 HAS SOUS 37316 HAS SOUPS 35167 WITH SCORE 35254.416
AT ITER 9068 NEW BEST:: SOT 216737 SOS 87390 HAS SOPS 78109 HAS SOUS 37303 HAS SOUPS 35154 WITH SCORE 35241.39
AT ITER 9083 NEW BEST:: SOT 216737 SOS 87390 HAS SOPS 78109 HAS SOUS 37290 HAS SOUPS 35141 WITH SCORE 35228.39
AT ITER 9108 NEW BEST:: SOT 216629 SOS 87282 HAS SOPS 78001 HAS SOUS 37182 HAS SOUPS 35033 WITH SCORE 35120.282
AT ITER 9121 NEW BEST:: SOT 216629 SOS 87272 HAS SOPS 77991 HAS SOUS 37177 HAS SOUPS 35028 WITH SCORE 35115.272
AT ITER 9187 NEW BEST:: SOT 216488 SOS 87131 HAS SOPS 77920 HAS SOUS 37036 HAS SOUPS 34957 WITH SCORE 35044.131
AT ITER 9218 NEW BEST:: SOT 216488 SOS 87121 HAS SOPS 77910 HAS SOUS 37034 HAS SOUPS 34955 WITH SCORE 35042.121
AT ITER 9240 NEW BEST:: SOT 216488 SOS 87117 HAS SOPS 77906 HAS SOUS 37034 HAS SOUPS 34955 WITH SCORE 35042.117
AT ITER 9248 NEW BEST:: SOT 216488 SOS 87113 HAS SOPS 77902 HAS SOUS 37030 HAS SOUPS 34951 WITH SCORE 35038.113
AT ITER 9264 NEW BEST:: SOT 216488 SOS 87181 HAS SOPS 77970 HAS SOUS 37008 HAS SOUPS 34929 WITH SCORE 35016.181
AT ITER 9272 NEW BEST:: SOT 216488 SOS 87169 HAS SOPS 77958 HAS SOUS 37005 HAS SOUPS 34926 WITH SCORE 35013.169
AT ITER 9299 NEW BEST:: SOT 216488 SOS 87149 HAS SOPS 77938 HAS SOUS 37005 HAS SOUPS 34926 WITH SCORE 35013.149
AT ITER 9304 NEW BEST:: SOT 216488 SOS 87147 HAS SOPS 77722 HAS SOUS 37111 HAS SOUPS 34925 WITH SCORE 35012.147
AT ITER 9341 NEW BEST:: SOT 216488 SOS 87175 HAS SOPS 77750 HAS SOUS 37110 HAS SOUPS 34924 WITH SCORE 35011.175
AT ITER 9348 NEW BEST:: SOT 216468 SOS 87146 HAS SOPS 77713 HAS SOUS 37098 HAS SOUPS 34912 WITH SCORE 34999.146
AT ITER 9349 NEW BEST:: SOT 216468 SOS 87222 HAS SOPS 77789 HAS SOUS 37080 HAS SOUPS 34894 WITH SCORE 34981.222
AT ITER 9383 NEW BEST:: SOT 216468 SOS 87202 HAS SOPS 77769 HAS SOUS 37066 HAS SOUPS 34880 WITH SCORE 34967.202
AT ITER 9411 NEW BEST:: SOT 216468 SOS 87198 HAS SOPS 77765 HAS SOUS 37065 HAS SOUPS 34879 WITH SCORE 34966.198
AT ITER 9436 NEW BEST:: SOT 216468 SOS 87146 HAS SOPS 77713 HAS SOUS 37039 HAS SOUPS 34853 WITH SCORE 34940.146
AT ITER 9440 NEW BEST:: SOT 216468 SOS 87170 HAS SOPS 77737 HAS SOUS 37036 HAS SOUPS 34850 WITH SCORE 34937.17
AT ITER 9469 NEW BEST:: SOT 216468 SOS 87170 HAS SOPS 77737 HAS SOUS 37035 HAS SOUPS 34849 WITH SCORE 34936.17
AT ITER 9472 NEW BEST:: SOT 216396 SOS 87098 HAS SOPS 77638 HAS SOUS 36936 HAS SOUPS 34750 WITH SCORE 34837.098
AT ITER 9500 NEW BEST:: SOT 217904 SOS 87947 HAS SOPS 79160 HAS SOUS 36883 HAS SOUPS 34704 WITH SCORE 34791.947
AT ITER 9525 NEW BEST:: SOT 217904 SOS 87927 HAS SOPS 79140 HAS SOUS 36883 HAS SOUPS 34704 WITH SCORE 34791.927
AT ITER 9612 NEW BEST:: SOT 217904 SOS 87915 HAS SOPS 79128 HAS SOUS 36883 HAS SOUPS 34704 WITH SCORE 34791.915
AT ITER 9632 NEW BEST:: SOT 217987 SOS 87998 HAS SOPS 79000 HAS SOUS 36812 HAS SOUPS 34633 WITH SCORE 34720.998
AT ITER 9670 NEW BEST:: SOT 217987 SOS 87994 HAS SOPS 78996 HAS SOUS 36810 HAS SOUPS 34631 WITH SCORE 34718.994
AT ITER 9746 NEW BEST:: SOT 217987 SOS 87990 HAS SOPS 78992 HAS SOUS 36808 HAS SOUPS 34629 WITH SCORE 34716.99
AT ITER 9758 NEW BEST:: SOT 217987 SOS 87938 HAS SOPS 78940 HAS SOUS 36808 HAS SOUPS 34629 WITH SCORE 34716.938
AT ITER 9760 NEW BEST:: SOT 217987 SOS 87932 HAS SOPS 78948 HAS SOUS 36792 HAS SOUPS 34621 WITH SCORE 34708.932
AT ITER 9765 NEW BEST:: SOT 217987 SOS 87928 HAS SOPS 78940 HAS SOUS 36794 HAS SOUPS 34621 WITH SCORE 34708.928
AT ITER 9923 NEW BEST:: SOT 217987 SOS 87982 HAS SOPS 78994 HAS SOUS 36792 HAS SOUPS 34619 WITH SCORE 34706.982
AT ITER 9978 NEW BEST:: SOT 217987 SOS 87964 HAS SOPS 78976 HAS SOUS 36789 HAS SOUPS 34616 WITH SCORE 34703.964
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 13865120 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16155636 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="FunctionPointer-PT-b008"
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 FunctionPointer-PT-b008, 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 r163-tall-167838848100680"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FunctionPointer-PT-b008.tgz
mv FunctionPointer-PT-b008 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;