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.r227-tall-167856410900744.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 Medical-PT-24, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410900744
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.6M
-rw-r--r-- 1 mcc users 7.4K Feb 25 14:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 14:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 14:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 14:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 25 14:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 25 14:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.1M 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 1678625151420

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=Medical-PT-24
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 24
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: 312 places, 5431 transitions, 28790 arcs.
AT ITER 0 NEW BEST:: SOT 1171486 SOS 639970 HAS SOPS 636874 HAS SOUS 256115 HAS SOUPS 253298 WITH SCORE 253937.97
AT ITER 6 NEW BEST:: SOT 1171647 SOS 642963 HAS SOPS 639867 HAS SOUS 254473 HAS SOUPS 251656 WITH SCORE 252298.963
AT ITER 8 NEW BEST:: SOT 1171647 SOS 642843 HAS SOPS 639747 HAS SOUS 254473 HAS SOUPS 251656 WITH SCORE 252298.843
AT ITER 10 NEW BEST:: SOT 1171647 SOS 607470 HAS SOPS 604374 HAS SOUS 254404 HAS SOUPS 251587 WITH SCORE 252194.47
AT ITER 18 NEW BEST:: SOT 1171036 SOS 610095 HAS SOPS 606999 HAS SOUS 254372 HAS SOUPS 251555 WITH SCORE 252165.095
AT ITER 22 NEW BEST:: SOT 1169881 SOS 611885 HAS SOPS 608789 HAS SOUS 253811 HAS SOUPS 250994 WITH SCORE 251605.885
AT ITER 39 NEW BEST:: SOT 1169926 SOS 611846 HAS SOPS 608834 HAS SOUS 248913 HAS SOUPS 246173 WITH SCORE 246784.846
AT ITER 42 NEW BEST:: SOT 1169858 SOS 611778 HAS SOPS 608766 HAS SOUS 248725 HAS SOUPS 245985 WITH SCORE 246596.778
AT ITER 43 NEW BEST:: SOT 1169650 SOS 611768 HAS SOPS 608756 HAS SOUS 248616 HAS SOUPS 245876 WITH SCORE 246487.768
AT ITER 47 NEW BEST:: SOT 1169650 SOS 613112 HAS SOPS 610100 HAS SOUS 248408 HAS SOUPS 245668 WITH SCORE 246281.112
AT ITER 54 NEW BEST:: SOT 1169371 SOS 612833 HAS SOPS 609821 HAS SOUS 248060 HAS SOUPS 245320 WITH SCORE 245932.833
AT ITER 59 NEW BEST:: SOT 1169425 SOS 612887 HAS SOPS 609875 HAS SOUS 248043 HAS SOUPS 245303 WITH SCORE 245915.887
AT ITER 78 NEW BEST:: SOT 1168303 SOS 611708 HAS SOPS 608817 HAS SOUS 244768 HAS SOUPS 242069 WITH SCORE 242680.708
AT ITER 82 NEW BEST:: SOT 1167511 SOS 610868 HAS SOPS 608025 HAS SOUS 242945 HAS SOUPS 240279 WITH SCORE 240889.868
AT ITER 87 NEW BEST:: SOT 1166503 SOS 609816 HAS SOPS 607017 HAS SOUS 240635 HAS SOUPS 238011 WITH SCORE 238620.816
AT ITER 94 NEW BEST:: SOT 1166503 SOS 632112 HAS SOPS 629313 HAS SOUS 240502 HAS SOUPS 237878 WITH SCORE 238510.112
AT ITER 101 NEW BEST:: SOT 1167051 SOS 632664 HAS SOPS 629865 HAS SOUS 239728 HAS SOUPS 237104 WITH SCORE 237736.664
AT ITER 110 NEW BEST:: SOT 1165938 SOS 633999 HAS SOPS 631200 HAS SOUS 239269 HAS SOUPS 236645 WITH SCORE 237278.999
AT ITER 111 NEW BEST:: SOT 1165923 SOS 633720 HAS SOPS 630921 HAS SOUS 239239 HAS SOUPS 236615 WITH SCORE 237248.72
AT ITER 113 NEW BEST:: SOT 1165842 SOS 633639 HAS SOPS 630840 HAS SOUS 239068 HAS SOUPS 236444 WITH SCORE 237077.639
AT ITER 117 NEW BEST:: SOT 1165842 SOS 633639 HAS SOPS 630840 HAS SOUS 239062 HAS SOUPS 236438 WITH SCORE 237071.639
AT ITER 130 NEW BEST:: SOT 1165842 SOS 633639 HAS SOPS 630840 HAS SOUS 239022 HAS SOUPS 236398 WITH SCORE 237031.639
AT ITER 134 NEW BEST:: SOT 1164954 SOS 632709 HAS SOPS 629952 HAS SOUS 237949 HAS SOUPS 235362 WITH SCORE 235994.709
AT ITER 135 NEW BEST:: SOT 1163757 SOS 634104 HAS SOPS 631347 HAS SOUS 237144 HAS SOUPS 234557 WITH SCORE 235191.104
AT ITER 136 NEW BEST:: SOT 1163741 SOS 634264 HAS SOPS 631507 HAS SOUS 237128 HAS SOUPS 234541 WITH SCORE 235175.264
AT ITER 137 NEW BEST:: SOT 1163606 SOS 634129 HAS SOPS 631372 HAS SOUS 236843 HAS SOUPS 234256 WITH SCORE 234890.129
AT ITER 140 NEW BEST:: SOT 1163609 SOS 635932 HAS SOPS 633175 HAS SOUS 236795 HAS SOUPS 234208 WITH SCORE 234843.932
AT ITER 158 NEW BEST:: SOT 1164878 SOS 636835 HAS SOPS 634078 HAS SOUS 236529 HAS SOUPS 233942 WITH SCORE 234578.835
AT ITER 166 NEW BEST:: SOT 1164158 SOS 636072 HAS SOPS 633358 HAS SOUS 234832 HAS SOUPS 232275 WITH SCORE 232911.072
AT ITER 169 NEW BEST:: SOT 1164158 SOS 636155 HAS SOPS 633470 HAS SOUS 234320 HAS SOUPS 231763 WITH SCORE 232399.155
AT ITER 172 NEW BEST:: SOT 1163532 SOS 641385 HAS SOPS 638700 HAS SOUS 234120 HAS SOUPS 231563 WITH SCORE 232204.385
AT ITER 176 NEW BEST:: SOT 1163609 SOS 641462 HAS SOPS 638777 HAS SOUS 233039 HAS SOUPS 230482 WITH SCORE 231123.462
AT ITER 181 NEW BEST:: SOT 1163609 SOS 641462 HAS SOPS 638777 HAS SOUS 232199 HAS SOUPS 229642 WITH SCORE 230283.462
AT ITER 183 NEW BEST:: SOT 1157037 SOS 634909 HAS SOPS 632224 HAS SOUS 225646 HAS SOUPS 223089 WITH SCORE 223723.909
AT ITER 189 NEW BEST:: SOT 1156998 SOS 634936 HAS SOPS 632243 HAS SOUS 224940 HAS SOUPS 222383 WITH SCORE 223017.936
AT ITER 191 NEW BEST:: SOT 1156998 SOS 635224 HAS SOPS 632531 HAS SOUS 224868 HAS SOUPS 222311 WITH SCORE 222946.224
AT ITER 201 NEW BEST:: SOT 1156484 SOS 640326 HAS SOPS 637633 HAS SOUS 224192 HAS SOUPS 221635 WITH SCORE 222275.326
AT ITER 208 NEW BEST:: SOT 1156616 SOS 640405 HAS SOPS 637765 HAS SOUS 220576 HAS SOUPS 218058 WITH SCORE 218698.405
AT ITER 211 NEW BEST:: SOT 1156616 SOS 640405 HAS SOPS 637765 HAS SOUS 220437 HAS SOUPS 217919 WITH SCORE 218559.405
AT ITER 212 NEW BEST:: SOT 1156239 SOS 640004 HAS SOPS 637388 HAS SOUS 219684 HAS SOUPS 217179 WITH SCORE 217819.004
AT ITER 213 NEW BEST:: SOT 1155756 SOS 639137 HAS SOPS 636521 HAS SOUS 219292 HAS SOUPS 216787 WITH SCORE 217426.137
AT ITER 218 NEW BEST:: SOT 1155756 SOS 638081 HAS SOPS 635465 HAS SOUS 219292 HAS SOUPS 216787 WITH SCORE 217425.081
AT ITER 224 NEW BEST:: SOT 1155754 SOS 638247 HAS SOPS 635631 HAS SOUS 219248 HAS SOUPS 216743 WITH SCORE 217381.247
AT ITER 226 NEW BEST:: SOT 1155754 SOS 638487 HAS SOPS 635871 HAS SOUS 219014 HAS SOUPS 216509 WITH SCORE 217147.487
AT ITER 230 NEW BEST:: SOT 1155649 SOS 641046 HAS SOPS 638430 HAS SOUS 216954 HAS SOUPS 214449 WITH SCORE 215090.046
AT ITER 231 NEW BEST:: SOT 1155649 SOS 641046 HAS SOPS 638430 HAS SOUS 216851 HAS SOUPS 214346 WITH SCORE 214987.046
AT ITER 236 NEW BEST:: SOT 1155649 SOS 643398 HAS SOPS 640782 HAS SOUS 216132 HAS SOUPS 213627 WITH SCORE 214270.398
AT ITER 238 NEW BEST:: SOT 1155948 SOS 643763 HAS SOPS 641147 HAS SOUS 216084 HAS SOUPS 213579 WITH SCORE 214222.763
AT ITER 243 NEW BEST:: SOT 1155309 SOS 643332 HAS SOPS 640716 HAS SOUS 215323 HAS SOUPS 212818 WITH SCORE 213461.332
AT ITER 244 NEW BEST:: SOT 1155365 SOS 643268 HAS SOPS 640652 HAS SOUS 214922 HAS SOUPS 212417 WITH SCORE 213060.268
AT ITER 247 NEW BEST:: SOT 1151837 SOS 730415 HAS SOPS 727799 HAS SOUS 211346 HAS SOUPS 208841 WITH SCORE 209571.415
AT ITER 250 NEW BEST:: SOT 1151761 SOS 730339 HAS SOPS 727723 HAS SOUS 211324 HAS SOUPS 208819 WITH SCORE 209549.339
AT ITER 263 NEW BEST:: SOT 1151761 SOS 730339 HAS SOPS 727723 HAS SOUS 211228 HAS SOUPS 208723 WITH SCORE 209453.339
AT ITER 264 NEW BEST:: SOT 1151757 SOS 730335 HAS SOPS 727719 HAS SOUS 211225 HAS SOUPS 208720 WITH SCORE 209450.335
AT ITER 292 NEW BEST:: SOT 1151757 SOS 730170 HAS SOPS 727195 HAS SOUS 211276 HAS SOUPS 208412 WITH SCORE 209142.17
AT ITER 303 NEW BEST:: SOT 1151444 SOS 729957 HAS SOPS 726982 HAS SOUS 210659 HAS SOUPS 207795 WITH SCORE 208524.957
AT ITER 317 NEW BEST:: SOT 1151444 SOS 729957 HAS SOPS 726982 HAS SOUS 210593 HAS SOUPS 207729 WITH SCORE 208458.957
AT ITER 319 NEW BEST:: SOT 1151444 SOS 742917 HAS SOPS 739942 HAS SOUS 210461 HAS SOUPS 207597 WITH SCORE 208339.917
AT ITER 332 NEW BEST:: SOT 1150959 SOS 742733 HAS SOPS 739801 HAS SOUS 210220 HAS SOUPS 207356 WITH SCORE 208098.733
AT ITER 336 NEW BEST:: SOT 1150957 SOS 742735 HAS SOPS 739803 HAS SOUS 210218 HAS SOUPS 207354 WITH SCORE 208096.735
AT ITER 342 NEW BEST:: SOT 1150964 SOS 744350 HAS SOPS 741418 HAS SOUS 209831 HAS SOUPS 206967 WITH SCORE 207711.35
AT ITER 350 NEW BEST:: SOT 1150964 SOS 833854 HAS SOPS 830962 HAS SOUS 208700 HAS SOUPS 205876 WITH SCORE 206709.854
AT ITER 352 NEW BEST:: SOT 1150652 SOS 833542 HAS SOPS 830650 HAS SOUS 208241 HAS SOUPS 205417 WITH SCORE 206250.542
AT ITER 354 NEW BEST:: SOT 1150652 SOS 833535 HAS SOPS 830650 HAS SOUS 208101 HAS SOUPS 205284 WITH SCORE 206117.535
AT ITER 355 NEW BEST:: SOT 1150655 SOS 833552 HAS SOPS 830653 HAS SOUS 207747 HAS SOUPS 204916 WITH SCORE 205749.552
AT ITER 366 NEW BEST:: SOT 1150645 SOS 833542 HAS SOPS 830763 HAS SOUS 207512 HAS SOUPS 204801 WITH SCORE 205634.542
AT ITER 369 NEW BEST:: SOT 1150804 SOS 837177 HAS SOPS 834398 HAS SOUS 205333 HAS SOUPS 202622 WITH SCORE 203459.177
AT ITER 370 NEW BEST:: SOT 1150804 SOS 836769 HAS SOPS 833990 HAS SOUS 205333 HAS SOUPS 202622 WITH SCORE 203458.769
AT ITER 375 NEW BEST:: SOT 1150804 SOS 836750 HAS SOPS 833990 HAS SOUS 204427 HAS SOUPS 201735 WITH SCORE 202571.75
AT ITER 379 NEW BEST:: SOT 1150804 SOS 836942 HAS SOPS 834182 HAS SOUS 204126 HAS SOUPS 201434 WITH SCORE 202270.942
AT ITER 383 NEW BEST:: SOT 1150804 SOS 836846 HAS SOPS 834086 HAS SOUS 204126 HAS SOUPS 201434 WITH SCORE 202270.846
AT ITER 398 NEW BEST:: SOT 1150036 SOS 836027 HAS SOPS 833318 HAS SOUS 200572 HAS SOUPS 197931 WITH SCORE 198767.027
AT ITER 400 NEW BEST:: SOT 1150036 SOS 836052 HAS SOPS 833318 HAS SOUS 200305 HAS SOUPS 197639 WITH SCORE 198475.052
AT ITER 402 NEW BEST:: SOT 1149983 SOS 837041 HAS SOPS 834307 HAS SOUS 200091 HAS SOUPS 197425 WITH SCORE 198262.041
AT ITER 409 NEW BEST:: SOT 1150383 SOS 837427 HAS SOPS 834707 HAS SOUS 199726 HAS SOUPS 197074 WITH SCORE 197911.427
AT ITER 410 NEW BEST:: SOT 1150519 SOS 838015 HAS SOPS 835295 HAS SOUS 199625 HAS SOUPS 196973 WITH SCORE 197811.015
AT ITER 411 NEW BEST:: SOT 1150519 SOS 839982 HAS SOPS 837311 HAS SOUS 198667 HAS SOUPS 196064 WITH SCORE 196903.982
AT ITER 412 NEW BEST:: SOT 1150519 SOS 839991 HAS SOPS 837311 HAS SOUS 198640 HAS SOUPS 196028 WITH SCORE 196867.991
AT ITER 413 NEW BEST:: SOT 1150519 SOS 839978 HAS SOPS 837311 HAS SOUS 198553 HAS SOUPS 195954 WITH SCORE 196793.978
AT ITER 416 NEW BEST:: SOT 1150519 SOS 839974 HAS SOPS 837311 HAS SOUS 198496 HAS SOUPS 195901 WITH SCORE 196740.974
AT ITER 420 NEW BEST:: SOT 1150519 SOS 852091 HAS SOPS 849428 HAS SOUS 198418 HAS SOUPS 195823 WITH SCORE 196675.091
AT ITER 423 NEW BEST:: SOT 1150402 SOS 852986 HAS SOPS 850404 HAS SOUS 198271 HAS SOUPS 195757 WITH SCORE 196609.986
AT ITER 427 NEW BEST:: SOT 1150402 SOS 853748 HAS SOPS 851179 HAS SOUS 198240 HAS SOUPS 195739 WITH SCORE 196592.748
AT ITER 428 NEW BEST:: SOT 1133079 SOS 838567 HAS SOPS 837000 HAS SOUS 181084 HAS SOUPS 179525 WITH SCORE 180363.567
AT ITER 430 NEW BEST:: SOT 1133037 SOS 838525 HAS SOPS 836958 HAS SOUS 180587 HAS SOUPS 179028 WITH SCORE 179866.525
AT ITER 437 NEW BEST:: SOT 1133169 SOS 838677 HAS SOPS 837090 HAS SOUS 179918 HAS SOUPS 178359 WITH SCORE 179197.677
AT ITER 444 NEW BEST:: SOT 1135476 SOS 840984 HAS SOPS 839397 HAS SOUS 178503 HAS SOUPS 176944 WITH SCORE 177784.984
AT ITER 448 NEW BEST:: SOT 1135476 SOS 840984 HAS SOPS 839397 HAS SOUS 177411 HAS SOUPS 175852 WITH SCORE 176692.984
AT ITER 452 NEW BEST:: SOT 1134270 SOS 839778 HAS SOPS 838191 HAS SOUS 176455 HAS SOUPS 174896 WITH SCORE 175735.778
AT ITER 459 NEW BEST:: SOT 1136028 SOS 841536 HAS SOPS 839949 HAS SOUS 175897 HAS SOUPS 174338 WITH SCORE 175179.536
AT ITER 460 NEW BEST:: SOT 1136028 SOS 841272 HAS SOPS 839685 HAS SOUS 175889 HAS SOUPS 174330 WITH SCORE 175171.272
AT ITER 462 NEW BEST:: SOT 1136028 SOS 841272 HAS SOPS 839685 HAS SOUS 175845 HAS SOUPS 174286 WITH SCORE 175127.272
AT ITER 464 NEW BEST:: SOT 1136028 SOS 841272 HAS SOPS 839685 HAS SOUS 175797 HAS SOUPS 174238 WITH SCORE 175079.272
AT ITER 477 NEW BEST:: SOT 1135973 SOS 871647 HAS SOPS 870060 HAS SOUS 175506 HAS SOUPS 173947 WITH SCORE 174818.647
AT ITER 478 NEW BEST:: SOT 1135973 SOS 871676 HAS SOPS 870060 HAS SOUS 175223 HAS SOUPS 173635 WITH SCORE 174506.676
AT ITER 480 NEW BEST:: SOT 1135914 SOS 871617 HAS SOPS 870001 HAS SOUS 175209 HAS SOUPS 173621 WITH SCORE 174492.617
AT ITER 484 NEW BEST:: SOT 1135947 SOS 871650 HAS SOPS 870034 HAS SOUS 174739 HAS SOUPS 173151 WITH SCORE 174022.65
AT ITER 485 NEW BEST:: SOT 1135947 SOS 871650 HAS SOPS 870034 HAS SOUS 174576 HAS SOUPS 172988 WITH SCORE 173859.65
AT ITER 487 NEW BEST:: SOT 1135814 SOS 871517 HAS SOPS 869901 HAS SOUS 174426 HAS SOUPS 172838 WITH SCORE 173709.517
AT ITER 495 NEW BEST:: SOT 1135809 SOS 871344 HAS SOPS 869728 HAS SOUS 174414 HAS SOUPS 172826 WITH SCORE 173697.344
AT ITER 500 NEW BEST:: SOT 1135280 SOS 870815 HAS SOPS 869199 HAS SOUS 174242 HAS SOUPS 172654 WITH SCORE 173524.815
AT ITER 503 NEW BEST:: SOT 1134805 SOS 870300 HAS SOPS 868724 HAS SOUS 172479 HAS SOUPS 170911 WITH SCORE 171781.3
AT ITER 512 NEW BEST:: SOT 1134805 SOS 870372 HAS SOPS 868796 HAS SOUS 172471 HAS SOUPS 170903 WITH SCORE 171773.372
AT ITER 515 NEW BEST:: SOT 1138023 SOS 876700 HAS SOPS 875168 HAS SOUS 171809 HAS SOUPS 170285 WITH SCORE 171161.7
AT ITER 517 NEW BEST:: SOT 1138023 SOS 876868 HAS SOPS 875336 HAS SOUS 171448 HAS SOUPS 169924 WITH SCORE 170800.868
AT ITER 519 NEW BEST:: SOT 1138023 SOS 876893 HAS SOPS 875384 HAS SOUS 171311 HAS SOUPS 169810 WITH SCORE 170686.893
AT ITER 533 NEW BEST:: SOT 1138021 SOS 876891 HAS SOPS 875382 HAS SOUS 171309 HAS SOUPS 169808 WITH SCORE 170684.891
AT ITER 538 NEW BEST:: SOT 1138021 SOS 876891 HAS SOPS 875382 HAS SOUS 169694 HAS SOUPS 168193 WITH SCORE 169069.891
AT ITER 539 NEW BEST:: SOT 1138723 SOS 874680 HAS SOPS 873190 HAS SOUS 169633 HAS SOUPS 168151 WITH SCORE 169025.68
AT ITER 551 NEW BEST:: SOT 1138729 SOS 874686 HAS SOPS 873196 HAS SOUS 169515 HAS SOUPS 168033 WITH SCORE 168907.686
AT ITER 573 NEW BEST:: SOT 1136186 SOS 869033 HAS SOPS 867499 HAS SOUS 169516 HAS SOUPS 167990 WITH SCORE 168859.033
AT ITER 576 NEW BEST:: SOT 1136130 SOS 869027 HAS SOPS 867493 HAS SOUS 169495 HAS SOUPS 167969 WITH SCORE 168838.027
AT ITER 583 NEW BEST:: SOT 1136173 SOS 869080 HAS SOPS 867546 HAS SOUS 169487 HAS SOUPS 167961 WITH SCORE 168830.08
AT ITER 590 NEW BEST:: SOT 1136173 SOS 868984 HAS SOPS 867450 HAS SOUS 169479 HAS SOUPS 167953 WITH SCORE 168821.984
AT ITER 602 NEW BEST:: SOT 1136078 SOS 868889 HAS SOPS 867355 HAS SOUS 169417 HAS SOUPS 167891 WITH SCORE 168759.889
AT ITER 603 NEW BEST:: SOT 1136118 SOS 868929 HAS SOPS 867395 HAS SOUS 169268 HAS SOUPS 167742 WITH SCORE 168610.929
AT ITER 607 NEW BEST:: SOT 1137937 SOS 870748 HAS SOPS 869214 HAS SOUS 169231 HAS SOUPS 167705 WITH SCORE 168575.748
AT ITER 610 NEW BEST:: SOT 1137937 SOS 870748 HAS SOPS 869214 HAS SOUS 169177 HAS SOUPS 167651 WITH SCORE 168521.748
AT ITER 617 NEW BEST:: SOT 1137937 SOS 868648 HAS SOPS 867114 HAS SOUS 169173 HAS SOUPS 167647 WITH SCORE 168515.648
AT ITER 618 NEW BEST:: SOT 1138484 SOS 869603 HAS SOPS 868069 HAS SOUS 168931 HAS SOUPS 167405 WITH SCORE 168274.603
AT ITER 624 NEW BEST:: SOT 1138484 SOS 869867 HAS SOPS 868333 HAS SOUS 168065 HAS SOUPS 166539 WITH SCORE 167408.867
AT ITER 637 NEW BEST:: SOT 1139515 SOS 871378 HAS SOPS 869844 HAS SOUS 167947 HAS SOUPS 166421 WITH SCORE 167292.378
AT ITER 638 NEW BEST:: SOT 1139515 SOS 871373 HAS SOPS 869844 HAS SOUS 167909 HAS SOUPS 166388 WITH SCORE 167259.373
AT ITER 641 NEW BEST:: SOT 1139515 SOS 871373 HAS SOPS 869844 HAS SOUS 167787 HAS SOUPS 166266 WITH SCORE 167137.373
AT ITER 653 NEW BEST:: SOT 1139558 SOS 871544 HAS SOPS 870015 HAS SOUS 167128 HAS SOUPS 165607 WITH SCORE 166478.544
AT ITER 667 NEW BEST:: SOT 1140786 SOS 872756 HAS SOPS 871243 HAS SOUS 166432 HAS SOUPS 164919 WITH SCORE 165791.756
AT ITER 671 NEW BEST:: SOT 1140786 SOS 872724 HAS SOPS 871211 HAS SOUS 166424 HAS SOUPS 164911 WITH SCORE 165783.724
AT ITER 674 NEW BEST:: SOT 1140070 SOS 872008 HAS SOPS 870495 HAS SOUS 165410 HAS SOUPS 163897 WITH SCORE 164769.008
AT ITER 677 NEW BEST:: SOT 1140030 SOS 871972 HAS SOPS 870459 HAS SOUS 165330 HAS SOUPS 163817 WITH SCORE 164688.972
AT ITER 679 NEW BEST:: SOT 1140030 SOS 870244 HAS SOPS 868731 HAS SOUS 165269 HAS SOUPS 163756 WITH SCORE 164626.244
AT ITER 681 NEW BEST:: SOT 1140003 SOS 870217 HAS SOPS 868704 HAS SOUS 165224 HAS SOUPS 163711 WITH SCORE 164581.217
AT ITER 682 NEW BEST:: SOT 1139591 SOS 874525 HAS SOPS 873012 HAS SOUS 165182 HAS SOUPS 163669 WITH SCORE 164543.525
AT ITER 696 NEW BEST:: SOT 1140477 SOS 875411 HAS SOPS 873898 HAS SOUS 164235 HAS SOUPS 162722 WITH SCORE 163597.411
AT ITER 697 NEW BEST:: SOT 1140178 SOS 875112 HAS SOPS 873599 HAS SOUS 162365 HAS SOUPS 160852 WITH SCORE 161727.112
AT ITER 707 NEW BEST:: SOT 1139860 SOS 874794 HAS SOPS 873281 HAS SOUS 161981 HAS SOUPS 160468 WITH SCORE 161342.794
AT ITER 710 NEW BEST:: SOT 1139859 SOS 874793 HAS SOPS 873280 HAS SOUS 161980 HAS SOUPS 160467 WITH SCORE 161341.793
AT ITER 722 NEW BEST:: SOT 1139859 SOS 876434 HAS SOPS 874936 HAS SOUS 161846 HAS SOUPS 160348 WITH SCORE 161224.434
AT ITER 729 NEW BEST:: SOT 1138943 SOS 875518 HAS SOPS 874020 HAS SOUS 160355 HAS SOUPS 158857 WITH SCORE 159732.518
AT ITER 733 NEW BEST:: SOT 1139065 SOS 875633 HAS SOPS 874142 HAS SOUS 159395 HAS SOUPS 157904 WITH SCORE 158779.633
AT ITER 741 NEW BEST:: SOT 1139065 SOS 875633 HAS SOPS 874142 HAS SOUS 159099 HAS SOUPS 157608 WITH SCORE 158483.633
AT ITER 747 NEW BEST:: SOT 1138860 SOS 875428 HAS SOPS 873937 HAS SOUS 158627 HAS SOUPS 157136 WITH SCORE 158011.428
AT ITER 748 NEW BEST:: SOT 1138860 SOS 875472 HAS SOPS 873959 HAS SOUS 158627 HAS SOUPS 157114 WITH SCORE 157989.472
AT ITER 749 NEW BEST:: SOT 1140059 SOS 876659 HAS SOPS 875158 HAS SOUS 157890 HAS SOUPS 156389 WITH SCORE 157265.659
AT ITER 751 NEW BEST:: SOT 1140497 SOS 877097 HAS SOPS 875596 HAS SOUS 156578 HAS SOUPS 155077 WITH SCORE 155954.097
AT ITER 753 NEW BEST:: SOT 1140511 SOS 877111 HAS SOPS 875610 HAS SOUS 155872 HAS SOUPS 154371 WITH SCORE 155248.111
AT ITER 757 NEW BEST:: SOT 1140461 SOS 877073 HAS SOPS 875572 HAS SOUS 155843 HAS SOUPS 154342 WITH SCORE 155219.073
AT ITER 760 NEW BEST:: SOT 1140452 SOS 877064 HAS SOPS 875563 HAS SOUS 155834 HAS SOUPS 154333 WITH SCORE 155210.064
AT ITER 783 NEW BEST:: SOT 1140743 SOS 877397 HAS SOPS 875896 HAS SOUS 155636 HAS SOUPS 154135 WITH SCORE 155012.397
AT ITER 784 NEW BEST:: SOT 1140684 SOS 877338 HAS SOPS 875837 HAS SOUS 154430 HAS SOUPS 152929 WITH SCORE 153806.338
AT ITER 786 NEW BEST:: SOT 1140249 SOS 876903 HAS SOPS 875402 HAS SOUS 153625 HAS SOUPS 152124 WITH SCORE 153000.903
AT ITER 789 NEW BEST:: SOT 1139801 SOS 878495 HAS SOPS 876994 HAS SOUS 153611 HAS SOUPS 152110 WITH SCORE 152988.495
AT ITER 793 NEW BEST:: SOT 1140220 SOS 878914 HAS SOPS 877413 HAS SOUS 152446 HAS SOUPS 150945 WITH SCORE 151823.914
AT ITER 803 NEW BEST:: SOT 1140303 SOS 878997 HAS SOPS 877496 HAS SOUS 152034 HAS SOUPS 150533 WITH SCORE 151411.997
AT ITER 819 NEW BEST:: SOT 1140330 SOS 879024 HAS SOPS 877523 HAS SOUS 151821 HAS SOUPS 150320 WITH SCORE 151199.024
AT ITER 821 NEW BEST:: SOT 1140330 SOS 878742 HAS SOPS 877111 HAS SOUS 151797 HAS SOUPS 150166 WITH SCORE 151044.742
AT ITER 824 NEW BEST:: SOT 1140475 SOS 878887 HAS SOPS 877256 HAS SOUS 150983 HAS SOUPS 149352 WITH SCORE 150230.887
AT ITER 829 NEW BEST:: SOT 1141026 SOS 879438 HAS SOPS 877807 HAS SOUS 150837 HAS SOUPS 149206 WITH SCORE 150085.438
AT ITER 846 NEW BEST:: SOT 1140879 SOS 879291 HAS SOPS 877660 HAS SOUS 149449 HAS SOUPS 147818 WITH SCORE 148697.291
AT ITER 847 NEW BEST:: SOT 1140895 SOS 878932 HAS SOPS 877301 HAS SOUS 149434 HAS SOUPS 147803 WITH SCORE 148681.932
AT ITER 851 NEW BEST:: SOT 1140405 SOS 878442 HAS SOPS 876811 HAS SOUS 148877 HAS SOUPS 147246 WITH SCORE 148124.442
AT ITER 852 NEW BEST:: SOT 1141313 SOS 879350 HAS SOPS 877719 HAS SOUS 148456 HAS SOUPS 146825 WITH SCORE 147704.35
AT ITER 859 NEW BEST:: SOT 1141321 SOS 879358 HAS SOPS 877727 HAS SOUS 147694 HAS SOUPS 146063 WITH SCORE 146942.358
AT ITER 873 NEW BEST:: SOT 1141579 SOS 882448 HAS SOPS 880817 HAS SOUS 146174 HAS SOUPS 144543 WITH SCORE 145425.448
AT ITER 877 NEW BEST:: SOT 1141847 SOS 882698 HAS SOPS 881085 HAS SOUS 146046 HAS SOUPS 144433 WITH SCORE 145315.698
AT ITER 879 NEW BEST:: SOT 1142000 SOS 882851 HAS SOPS 881238 HAS SOUS 145758 HAS SOUPS 144145 WITH SCORE 145027.851
AT ITER 883 NEW BEST:: SOT 1140479 SOS 881330 HAS SOPS 879717 HAS SOUS 145208 HAS SOUPS 143595 WITH SCORE 144476.33
AT ITER 891 NEW BEST:: SOT 1141185 SOS 882036 HAS SOPS 880423 HAS SOUS 144320 HAS SOUPS 142707 WITH SCORE 143589.036
AT ITER 902 NEW BEST:: SOT 1139491 SOS 880582 HAS SOPS 878969 HAS SOUS 142829 HAS SOUPS 141216 WITH SCORE 142096.582
AT ITER 903 NEW BEST:: SOT 1139467 SOS 880560 HAS SOPS 878947 HAS SOUS 142826 HAS SOUPS 141213 WITH SCORE 142093.56
AT ITER 906 NEW BEST:: SOT 1139457 SOS 880550 HAS SOPS 878937 HAS SOUS 142816 HAS SOUPS 141203 WITH SCORE 142083.55
AT ITER 911 NEW BEST:: SOT 1139011 SOS 880104 HAS SOPS 878491 HAS SOUS 142339 HAS SOUPS 140726 WITH SCORE 141606.104
AT ITER 919 NEW BEST:: SOT 1139007 SOS 880096 HAS SOPS 878487 HAS SOUS 142327 HAS SOUPS 140718 WITH SCORE 141598.096
AT ITER 920 NEW BEST:: SOT 1138871 SOS 879960 HAS SOPS 878351 HAS SOUS 142040 HAS SOUPS 140431 WITH SCORE 141310.96
AT ITER 926 NEW BEST:: SOT 1138663 SOS 879714 HAS SOPS 878143 HAS SOUS 141945 HAS SOUPS 140374 WITH SCORE 141253.714
AT ITER 928 NEW BEST:: SOT 1138663 SOS 879666 HAS SOPS 878095 HAS SOUS 141945 HAS SOUPS 140374 WITH SCORE 141253.666
AT ITER 932 NEW BEST:: SOT 1138663 SOS 879997 HAS SOPS 878455 HAS SOUS 141856 HAS SOUPS 140314 WITH SCORE 141193.997
AT ITER 936 NEW BEST:: SOT 1138650 SOS 879984 HAS SOPS 878442 HAS SOUS 141715 HAS SOUPS 140173 WITH SCORE 141052.984
AT ITER 938 NEW BEST:: SOT 1138630 SOS 879964 HAS SOPS 878422 HAS SOUS 141714 HAS SOUPS 140172 WITH SCORE 141051.964
AT ITER 948 NEW BEST:: SOT 1139107 SOS 880657 HAS SOPS 879115 HAS SOUS 141466 HAS SOUPS 139924 WITH SCORE 140804.657
AT ITER 966 NEW BEST:: SOT 1138698 SOS 880248 HAS SOPS 878706 HAS SOUS 141011 HAS SOUPS 139469 WITH SCORE 140349.248
AT ITER 976 NEW BEST:: SOT 1138758 SOS 883945 HAS SOPS 882414 HAS SOUS 138319 HAS SOUPS 136788 WITH SCORE 137671.945
AT ITER 985 NEW BEST:: SOT 1138758 SOS 884167 HAS SOPS 882720 HAS SOUS 137969 HAS SOUPS 136522 WITH SCORE 137406.167
AT ITER 987 NEW BEST:: SOT 1138749 SOS 884158 HAS SOPS 882711 HAS SOUS 137960 HAS SOUPS 136513 WITH SCORE 137397.158
AT ITER 998 NEW BEST:: SOT 1139933 SOS 885342 HAS SOPS 883895 HAS SOUS 137829 HAS SOUPS 136382 WITH SCORE 137267.342
AT ITER 1002 NEW BEST:: SOT 1139250 SOS 884675 HAS SOPS 883228 HAS SOUS 136873 HAS SOUPS 135426 WITH SCORE 136310.675
AT ITER 1004 NEW BEST:: SOT 1139000 SOS 884425 HAS SOPS 882186 HAS SOUS 136623 HAS SOUPS 134384 WITH SCORE 135268.425
AT ITER 1005 NEW BEST:: SOT 1139000 SOS 884369 HAS SOPS 882130 HAS SOUS 136609 HAS SOUPS 134370 WITH SCORE 135254.369
AT ITER 1011 NEW BEST:: SOT 1139160 SOS 884529 HAS SOPS 882290 HAS SOUS 136594 HAS SOUPS 134355 WITH SCORE 135239.529
AT ITER 1014 NEW BEST:: SOT 1138220 SOS 883589 HAS SOPS 881350 HAS SOUS 136484 HAS SOUPS 134245 WITH SCORE 135128.589
AT ITER 1045 NEW BEST:: SOT 1137764 SOS 883133 HAS SOPS 880894 HAS SOUS 135968 HAS SOUPS 133729 WITH SCORE 134612.133
AT ITER 1048 NEW BEST:: SOT 1136745 SOS 885500 HAS SOPS 883261 HAS SOUS 135189 HAS SOUPS 132950 WITH SCORE 133835.5
AT ITER 1054 NEW BEST:: SOT 1136334 SOS 885089 HAS SOPS 882850 HAS SOUS 134228 HAS SOUPS 131989 WITH SCORE 132874.089
AT ITER 1057 NEW BEST:: SOT 1136338 SOS 885381 HAS SOPS 883142 HAS SOUS 134184 HAS SOUPS 131945 WITH SCORE 132830.381
AT ITER 1059 NEW BEST:: SOT 1138051 SOS 887094 HAS SOPS 884855 HAS SOUS 133898 HAS SOUPS 131659 WITH SCORE 132546.094
AT ITER 1066 NEW BEST:: SOT 1138030 SOS 887073 HAS SOPS 884834 HAS SOUS 133892 HAS SOUPS 131653 WITH SCORE 132540.073
AT ITER 1068 NEW BEST:: SOT 1138477 SOS 887520 HAS SOPS 885281 HAS SOUS 132738 HAS SOUPS 130499 WITH SCORE 131386.52
AT ITER 1071 NEW BEST:: SOT 1138205 SOS 887268 HAS SOPS 885029 HAS SOUS 132082 HAS SOUPS 129843 WITH SCORE 130730.268
AT ITER 1075 NEW BEST:: SOT 1138205 SOS 887268 HAS SOPS 885029 HAS SOUS 132056 HAS SOUPS 129817 WITH SCORE 130704.268
AT ITER 1076 NEW BEST:: SOT 1138205 SOS 887239 HAS SOPS 885029 HAS SOUS 131524 HAS SOUPS 129314 WITH SCORE 130201.239
AT ITER 1098 NEW BEST:: SOT 1138201 SOS 887235 HAS SOPS 885025 HAS SOUS 131520 HAS SOUPS 129310 WITH SCORE 130197.235
AT ITER 1103 NEW BEST:: SOT 1138201 SOS 887431 HAS SOPS 885221 HAS SOUS 130741 HAS SOUPS 128531 WITH SCORE 129418.431
AT ITER 1108 NEW BEST:: SOT 1136998 SOS 886228 HAS SOPS 884018 HAS SOUS 130559 HAS SOUPS 128349 WITH SCORE 129235.228
AT ITER 1110 NEW BEST:: SOT 1137873 SOS 887347 HAS SOPS 885137 HAS SOUS 129067 HAS SOUPS 126857 WITH SCORE 127744.347
AT ITER 1112 NEW BEST:: SOT 1137873 SOS 887255 HAS SOPS 885041 HAS SOUS 129071 HAS SOUPS 126857 WITH SCORE 127744.255
AT ITER 1113 NEW BEST:: SOT 1137430 SOS 887052 HAS SOPS 884838 HAS SOUS 128829 HAS SOUPS 126615 WITH SCORE 127502.052
AT ITER 1133 NEW BEST:: SOT 1135174 SOS 884796 HAS SOPS 882582 HAS SOUS 128640 HAS SOUPS 126426 WITH SCORE 127310.796
AT ITER 1135 NEW BEST:: SOT 1135174 SOS 883234 HAS SOPS 881020 HAS SOUS 128640 HAS SOUPS 126426 WITH SCORE 127309.234
AT ITER 1156 NEW BEST:: SOT 1135167 SOS 883227 HAS SOPS 881013 HAS SOUS 128633 HAS SOUPS 126419 WITH SCORE 127302.227
AT ITER 1160 NEW BEST:: SOT 1135203 SOS 883263 HAS SOPS 881049 HAS SOUS 128556 HAS SOUPS 126342 WITH SCORE 127225.263
AT ITER 1167 NEW BEST:: SOT 1135640 SOS 902060 HAS SOPS 899846 HAS SOUS 128243 HAS SOUPS 126029 WITH SCORE 126931.06
AT ITER 1169 NEW BEST:: SOT 1135640 SOS 902038 HAS SOPS 899824 HAS SOUS 128232 HAS SOUPS 126018 WITH SCORE 126920.038
AT ITER 1183 NEW BEST:: SOT 1135621 SOS 901891 HAS SOPS 899661 HAS SOUS 128181 HAS SOUPS 125951 WITH SCORE 126852.891
AT ITER 1188 NEW BEST:: SOT 1134167 SOS 903147 HAS SOPS 900917 HAS SOUS 126602 HAS SOUPS 124372 WITH SCORE 125275.147
AT ITER 1200 NEW BEST:: SOT 1134137 SOS 903117 HAS SOPS 900887 HAS SOUS 126277 HAS SOUPS 124047 WITH SCORE 124950.117
AT ITER 1212 NEW BEST:: SOT 1134137 SOS 903117 HAS SOPS 900887 HAS SOUS 126255 HAS SOUPS 124025 WITH SCORE 124928.117
AT ITER 1221 NEW BEST:: SOT 1134137 SOS 903691 HAS SOPS 901461 HAS SOUS 126043 HAS SOUPS 123813 WITH SCORE 124716.691
AT ITER 1258 NEW BEST:: SOT 1134137 SOS 903462 HAS SOPS 901221 HAS SOUS 126054 HAS SOUPS 123813 WITH SCORE 124716.462
AT ITER 1259 NEW BEST:: SOT 1133494 SOS 904643 HAS SOPS 902402 HAS SOUS 125801 HAS SOUPS 123560 WITH SCORE 124464.643
AT ITER 1271 NEW BEST:: SOT 1134643 SOS 905822 HAS SOPS 903581 HAS SOUS 125218 HAS SOUPS 122977 WITH SCORE 123882.822
AT ITER 1286 NEW BEST:: SOT 1134619 SOS 905797 HAS SOPS 903557 HAS SOUS 125193 HAS SOUPS 122953 WITH SCORE 123858.797
AT ITER 1292 NEW BEST:: SOT 1134479 SOS 905657 HAS SOPS 903417 HAS SOUS 124943 HAS SOUPS 122703 WITH SCORE 123608.657
AT ITER 1306 NEW BEST:: SOT 1135134 SOS 906863 HAS SOPS 904623 HAS SOUS 124625 HAS SOUPS 122385 WITH SCORE 123291.863
AT ITER 1311 NEW BEST:: SOT 1133976 SOS 907601 HAS SOPS 905361 HAS SOUS 124562 HAS SOUPS 122322 WITH SCORE 123229.601
AT ITER 1315 NEW BEST:: SOT 1133889 SOS 907764 HAS SOPS 905524 HAS SOUS 124473 HAS SOUPS 122233 WITH SCORE 123140.764
AT ITER 1328 NEW BEST:: SOT 1133564 SOS 910055 HAS SOPS 907815 HAS SOUS 122738 HAS SOUPS 120498 WITH SCORE 121408.055
AT ITER 1330 NEW BEST:: SOT 1135411 SOS 912068 HAS SOPS 909662 HAS SOUS 122594 HAS SOUPS 120188 WITH SCORE 121100.068
AT ITER 1342 NEW BEST:: SOT 1135410 SOS 911841 HAS SOPS 909341 HAS SOUS 122653 HAS SOUPS 120153 WITH SCORE 121064.841
AT ITER 1348 NEW BEST:: SOT 1132879 SOS 810665 HAS SOPS 808133 HAS SOUS 122744 HAS SOUPS 120212 WITH SCORE 121022.665
AT ITER 1354 NEW BEST:: SOT 1132894 SOS 808832 HAS SOPS 806300 HAS SOUS 122744 HAS SOUPS 120212 WITH SCORE 121020.832
AT ITER 1356 NEW BEST:: SOT 1132832 SOS 809046 HAS SOPS 806514 HAS SOUS 122691 HAS SOUPS 120159 WITH SCORE 120968.046
AT ITER 1369 NEW BEST:: SOT 1132832 SOS 809032 HAS SOPS 806500 HAS SOUS 122684 HAS SOUPS 120152 WITH SCORE 120961.032
AT ITER 1377 NEW BEST:: SOT 1132832 SOS 809032 HAS SOPS 806500 HAS SOUS 122528 HAS SOUPS 119996 WITH SCORE 120805.032
AT ITER 1380 NEW BEST:: SOT 1136195 SOS 814767 HAS SOPS 812240 HAS SOUS 122313 HAS SOUPS 119786 WITH SCORE 120600.767
AT ITER 1386 NEW BEST:: SOT 1136045 SOS 814617 HAS SOPS 812090 HAS SOUS 122134 HAS SOUPS 119607 WITH SCORE 120421.617
AT ITER 1390 NEW BEST:: SOT 1135863 SOS 814435 HAS SOPS 811908 HAS SOUS 121853 HAS SOUPS 119326 WITH SCORE 120140.435
AT ITER 1396 NEW BEST:: SOT 1135129 SOS 802474 HAS SOPS 799084 HAS SOUS 121064 HAS SOUPS 118474 WITH SCORE 119276.474
AT ITER 1397 NEW BEST:: SOT 1135034 SOS 802379 HAS SOPS 798989 HAS SOUS 120891 HAS SOUPS 118301 WITH SCORE 119103.379
AT ITER 1407 NEW BEST:: SOT 1136158 SOS 803625 HAS SOPS 800235 HAS SOUS 120642 HAS SOUPS 118052 WITH SCORE 118855.625
AT ITER 1408 NEW BEST:: SOT 1135824 SOS 803291 HAS SOPS 799901 HAS SOUS 119854 HAS SOUPS 117264 WITH SCORE 118067.291
AT ITER 1413 NEW BEST:: SOT 1135615 SOS 803082 HAS SOPS 799692 HAS SOUS 119723 HAS SOUPS 117133 WITH SCORE 117936.082
AT ITER 1416 NEW BEST:: SOT 1135624 SOS 803226 HAS SOPS 799836 HAS SOUS 119714 HAS SOUPS 117124 WITH SCORE 117927.226
AT ITER 1419 NEW BEST:: SOT 1135624 SOS 803168 HAS SOPS 799778 HAS SOUS 119712 HAS SOUPS 117122 WITH SCORE 117925.168
AT ITER 1440 NEW BEST:: SOT 1135624 SOS 801925 HAS SOPS 798666 HAS SOUS 119476 HAS SOUPS 117052 WITH SCORE 117853.925
AT ITER 1443 NEW BEST:: SOT 1135624 SOS 801580 HAS SOPS 798306 HAS SOUS 119461 HAS SOUPS 117022 WITH SCORE 117823.58
AT ITER 1460 NEW BEST:: SOT 1135444 SOS 801400 HAS SOPS 798126 HAS SOUS 119383 HAS SOUPS 116944 WITH SCORE 117745.4
AT ITER 1468 NEW BEST:: SOT 1135269 SOS 799501 HAS SOPS 796227 HAS SOUS 118810 HAS SOUPS 116371 WITH SCORE 117170.501
AT ITER 1469 NEW BEST:: SOT 1135324 SOS 799556 HAS SOPS 796282 HAS SOUS 118716 HAS SOUPS 116277 WITH SCORE 117076.556
AT ITER 1482 NEW BEST:: SOT 1138422 SOS 806374 HAS SOPS 803100 HAS SOUS 118478 HAS SOUPS 116039 WITH SCORE 116845.374
AT ITER 1488 NEW BEST:: SOT 1138572 SOS 806524 HAS SOPS 803250 HAS SOUS 118369 HAS SOUPS 115930 WITH SCORE 116736.524
AT ITER 1507 NEW BEST:: SOT 1138572 SOS 806462 HAS SOPS 803188 HAS SOUS 118314 HAS SOUPS 115875 WITH SCORE 116681.462
AT ITER 1511 NEW BEST:: SOT 1138572 SOS 806184 HAS SOPS 802900 HAS SOUS 118302 HAS SOUPS 115853 WITH SCORE 116659.184
AT ITER 1522 NEW BEST:: SOT 1138428 SOS 806042 HAS SOPS 802758 HAS SOUS 118093 HAS SOUPS 115644 WITH SCORE 116450.042
AT ITER 1534 NEW BEST:: SOT 1138402 SOS 806016 HAS SOPS 802732 HAS SOUS 117963 HAS SOUPS 115514 WITH SCORE 116320.016
AT ITER 1539 NEW BEST:: SOT 1138681 SOS 810758 HAS SOPS 807331 HAS SOUS 117594 HAS SOUPS 115103 WITH SCORE 115913.758
AT ITER 1550 NEW BEST:: SOT 1138647 SOS 810724 HAS SOPS 807297 HAS SOUS 117590 HAS SOUPS 115099 WITH SCORE 115909.724
AT ITER 1571 NEW BEST:: SOT 1138447 SOS 810524 HAS SOPS 807097 HAS SOUS 117561 HAS SOUPS 115070 WITH SCORE 115880.524
AT ITER 1597 NEW BEST:: SOT 1137948 SOS 810025 HAS SOPS 806598 HAS SOUS 117059 HAS SOUPS 114568 WITH SCORE 115378.025
AT ITER 1618 NEW BEST:: SOT 1138633 SOS 810710 HAS SOPS 807283 HAS SOUS 116895 HAS SOUPS 114404 WITH SCORE 115214.71
AT ITER 1620 NEW BEST:: SOT 1138633 SOS 810698 HAS SOPS 807271 HAS SOUS 116886 HAS SOUPS 114395 WITH SCORE 115205.698
AT ITER 1624 NEW BEST:: SOT 1138632 SOS 810721 HAS SOPS 807294 HAS SOUS 116884 HAS SOUPS 114393 WITH SCORE 115203.721
AT ITER 1636 NEW BEST:: SOT 1138632 SOS 810385 HAS SOPS 806958 HAS SOUS 116870 HAS SOUPS 114379 WITH SCORE 115189.385
AT ITER 1637 NEW BEST:: SOT 1138632 SOS 810385 HAS SOPS 806958 HAS SOUS 116821 HAS SOUPS 114330 WITH SCORE 115140.385
AT ITER 1642 NEW BEST:: SOT 1138713 SOS 810779 HAS SOPS 807337 HAS SOUS 116372 HAS SOUPS 113866 WITH SCORE 114676.779
AT ITER 1644 NEW BEST:: SOT 1139529 SOS 936035 HAS SOPS 932593 HAS SOUS 116004 HAS SOUPS 113498 WITH SCORE 114434.035
AT ITER 1651 NEW BEST:: SOT 1139529 SOS 936035 HAS SOPS 932593 HAS SOUS 115956 HAS SOUPS 113450 WITH SCORE 114386.035
AT ITER 1672 NEW BEST:: SOT 1138284 SOS 934790 HAS SOPS 931348 HAS SOUS 115824 HAS SOUPS 113318 WITH SCORE 114252.79
AT ITER 1675 NEW BEST:: SOT 1138284 SOS 934783 HAS SOPS 931348 HAS SOUS 115738 HAS SOUPS 113239 WITH SCORE 114173.783
AT ITER 1687 NEW BEST:: SOT 1138284 SOS 934783 HAS SOPS 931348 HAS SOUS 115737 HAS SOUPS 113238 WITH SCORE 114172.783
AT ITER 1692 NEW BEST:: SOT 1138659 SOS 935158 HAS SOPS 931723 HAS SOUS 115007 HAS SOUPS 112508 WITH SCORE 113443.158
AT ITER 1701 NEW BEST:: SOT 1138659 SOS 935144 HAS SOPS 931709 HAS SOUS 115007 HAS SOUPS 112508 WITH SCORE 113443.144
AT ITER 1703 NEW BEST:: SOT 1138041 SOS 934526 HAS SOPS 931091 HAS SOUS 114439 HAS SOUPS 111940 WITH SCORE 112874.526
AT ITER 1708 NEW BEST:: SOT 1137299 SOS 933568 HAS SOPS 930133 HAS SOUS 113821 HAS SOUPS 111322 WITH SCORE 112255.568
AT ITER 1716 NEW BEST:: SOT 1137299 SOS 933436 HAS SOPS 930001 HAS SOUS 113821 HAS SOUPS 111322 WITH SCORE 112255.436
AT ITER 1724 NEW BEST:: SOT 1133423 SOS 929560 HAS SOPS 926125 HAS SOUS 111917 HAS SOUPS 109418 WITH SCORE 110347.56
AT ITER 1725 NEW BEST:: SOT 1133423 SOS 929560 HAS SOPS 926125 HAS SOUS 111896 HAS SOUPS 109397 WITH SCORE 110326.56
AT ITER 1748 NEW BEST:: SOT 1134222 SOS 930344 HAS SOPS 926924 HAS SOUS 110498 HAS SOUPS 108014 WITH SCORE 108944.344
AT ITER 1753 NEW BEST:: SOT 1134775 SOS 930945 HAS SOPS 927525 HAS SOUS 109077 HAS SOUPS 106593 WITH SCORE 107523.945
AT ITER 1759 NEW BEST:: SOT 1134775 SOS 930945 HAS SOPS 927525 HAS SOUS 109062 HAS SOUPS 106578 WITH SCORE 107508.945
AT ITER 1768 NEW BEST:: SOT 1134025 SOS 930483 HAS SOPS 927063 HAS SOUS 108381 HAS SOUPS 105897 WITH SCORE 106827.483
AT ITER 1770 NEW BEST:: SOT 1134044 SOS 930600 HAS SOPS 927180 HAS SOUS 108300 HAS SOUPS 105816 WITH SCORE 106746.6
AT ITER 1774 NEW BEST:: SOT 1134093 SOS 930649 HAS SOPS 927229 HAS SOUS 108211 HAS SOUPS 105727 WITH SCORE 106657.649
AT ITER 1783 NEW BEST:: SOT 1137474 SOS 934512 HAS SOPS 931138 HAS SOUS 108145 HAS SOUPS 105707 WITH SCORE 106641.512
AT ITER 1786 NEW BEST:: SOT 1138180 SOS 935053 HAS SOPS 932192 HAS SOUS 106657 HAS SOUPS 104242 WITH SCORE 105177.053
AT ITER 1796 NEW BEST:: SOT 1137956 SOS 934829 HAS SOPS 931968 HAS SOUS 106637 HAS SOUPS 104222 WITH SCORE 105156.829
AT ITER 1800 NEW BEST:: SOT 1137956 SOS 934493 HAS SOPS 931632 HAS SOUS 106550 HAS SOUPS 104135 WITH SCORE 105069.493
AT ITER 1805 NEW BEST:: SOT 1137611 SOS 933910 HAS SOPS 931287 HAS SOUS 105271 HAS SOUPS 102868 WITH SCORE 103801.91
AT ITER 1806 NEW BEST:: SOT 1137562 SOS 928764 HAS SOPS 926141 HAS SOUS 105231 HAS SOUPS 102828 WITH SCORE 103756.764
AT ITER 1812 NEW BEST:: SOT 1137562 SOS 928780 HAS SOPS 926141 HAS SOUS 105215 HAS SOUPS 102796 WITH SCORE 103724.78
AT ITER 1823 NEW BEST:: SOT 1140253 SOS 931471 HAS SOPS 928832 HAS SOUS 104817 HAS SOUPS 102398 WITH SCORE 103329.471
AT ITER 1824 NEW BEST:: SOT 1140253 SOS 931505 HAS SOPS 928832 HAS SOUS 104789 HAS SOUPS 102370 WITH SCORE 103301.505
AT ITER 1826 NEW BEST:: SOT 1140253 SOS 934927 HAS SOPS 932422 HAS SOUS 104715 HAS SOUPS 102322 WITH SCORE 103256.927
AT ITER 1828 NEW BEST:: SOT 1140253 SOS 934895 HAS SOPS 932390 HAS SOUS 104715 HAS SOUPS 102322 WITH SCORE 103256.895
AT ITER 1848 NEW BEST:: SOT 1140388 SOS 935188 HAS SOPS 932683 HAS SOUS 104460 HAS SOUPS 102067 WITH SCORE 103002.188
AT ITER 1858 NEW BEST:: SOT 1142293 SOS 939303 HAS SOPS 936842 HAS SOUS 104115 HAS SOUPS 101738 WITH SCORE 102677.303
AT ITER 1869 NEW BEST:: SOT 1142293 SOS 931239 HAS SOPS 928778 HAS SOUS 104101 HAS SOUPS 101724 WITH SCORE 102655.239
AT ITER 1871 NEW BEST:: SOT 1142208 SOS 931154 HAS SOPS 928693 HAS SOUS 104100 HAS SOUPS 101723 WITH SCORE 102654.154
AT ITER 1878 NEW BEST:: SOT 1142208 SOS 931202 HAS SOPS 928741 HAS SOUS 104094 HAS SOUPS 101717 WITH SCORE 102648.202
AT ITER 1881 NEW BEST:: SOT 1141467 SOS 930461 HAS SOPS 928000 HAS SOUS 103813 HAS SOUPS 101436 WITH SCORE 102366.461
AT ITER 1888 NEW BEST:: SOT 1141467 SOS 930461 HAS SOPS 928000 HAS SOUS 103812 HAS SOUPS 101435 WITH SCORE 102365.461
AT ITER 1905 NEW BEST:: SOT 1141467 SOS 930091 HAS SOPS 927630 HAS SOUS 103812 HAS SOUPS 101435 WITH SCORE 102365.091
AT ITER 1917 NEW BEST:: SOT 1141453 SOS 930077 HAS SOPS 927616 HAS SOUS 103715 HAS SOUPS 101338 WITH SCORE 102268.077
AT ITER 1926 NEW BEST:: SOT 1141453 SOS 930048 HAS SOPS 927587 HAS SOUS 103715 HAS SOUPS 101338 WITH SCORE 102268.048
AT ITER 1927 NEW BEST:: SOT 1141453 SOS 929952 HAS SOPS 927491 HAS SOUS 103715 HAS SOUPS 101338 WITH SCORE 102267.952
AT ITER 1930 NEW BEST:: SOT 1141835 SOS 930154 HAS SOPS 927693 HAS SOUS 103702 HAS SOUPS 101325 WITH SCORE 102255.154
AT ITER 1942 NEW BEST:: SOT 1141760 SOS 930079 HAS SOPS 927618 HAS SOUS 103692 HAS SOUPS 101315 WITH SCORE 102245.079
AT ITER 1951 NEW BEST:: SOT 1141625 SOS 929944 HAS SOPS 927483 HAS SOUS 103414 HAS SOUPS 101037 WITH SCORE 101966.944
AT ITER 1953 NEW BEST:: SOT 1140531 SOS 928938 HAS SOPS 926477 HAS SOUS 102396 HAS SOUPS 100019 WITH SCORE 100947.938
AT ITER 1960 NEW BEST:: SOT 1140235 SOS 928642 HAS SOPS 926181 HAS SOUS 102096 HAS SOUPS 99719 WITH SCORE 100647.642
AT ITER 1967 NEW BEST:: SOT 1139794 SOS 928201 HAS SOPS 925740 HAS SOUS 101427 HAS SOUPS 99050 WITH SCORE 99978.201
AT ITER 1987 NEW BEST:: SOT 1139895 SOS 928302 HAS SOPS 925841 HAS SOUS 100290 HAS SOUPS 97913 WITH SCORE 98841.302
AT ITER 2000 NEW BEST:: SOT 1139880 SOS 928287 HAS SOPS 925826 HAS SOUS 100161 HAS SOUPS 97784 WITH SCORE 98712.287
AT ITER 2004 NEW BEST:: SOT 1140597 SOS 929004 HAS SOPS 926543 HAS SOUS 100149 HAS SOUPS 97772 WITH SCORE 98701.004
AT ITER 2006 NEW BEST:: SOT 1139800 SOS 928207 HAS SOPS 925746 HAS SOUS 99228 HAS SOUPS 96851 WITH SCORE 97779.207
AT ITER 2007 NEW BEST:: SOT 1139800 SOS 928009 HAS SOPS 925530 HAS SOUS 99246 HAS SOUPS 96851 WITH SCORE 97779.009
AT ITER 2012 NEW BEST:: SOT 1139800 SOS 927985 HAS SOPS 925506 HAS SOUS 99234 HAS SOUPS 96839 WITH SCORE 97766.985
AT ITER 2017 NEW BEST:: SOT 1139735 SOS 927920 HAS SOPS 925441 HAS SOUS 99169 HAS SOUPS 96774 WITH SCORE 97701.92
AT ITER 2028 NEW BEST:: SOT 1137964 SOS 883909 HAS SOPS 881430 HAS SOUS 97598 HAS SOUPS 95203 WITH SCORE 96086.909
AT ITER 2035 NEW BEST:: SOT 1137964 SOS 880711 HAS SOPS 878226 HAS SOUS 97598 HAS SOUPS 95197 WITH SCORE 96077.711
AT ITER 2037 NEW BEST:: SOT 1137962 SOS 880751 HAS SOPS 878258 HAS SOUS 97596 HAS SOUPS 95187 WITH SCORE 96067.751
AT ITER 2043 NEW BEST:: SOT 1137123 SOS 879902 HAS SOPS 877400 HAS SOUS 97436 HAS SOUPS 95018 WITH SCORE 95897.902
AT ITER 2057 NEW BEST:: SOT 1137123 SOS 878990 HAS SOPS 876488 HAS SOUS 97398 HAS SOUPS 94980 WITH SCORE 95858.99
AT ITER 2074 NEW BEST:: SOT 1135803 SOS 877070 HAS SOPS 874568 HAS SOUS 96962 HAS SOUPS 94544 WITH SCORE 95421.07
AT ITER 2076 NEW BEST:: SOT 1135803 SOS 877062 HAS SOPS 874560 HAS SOUS 96954 HAS SOUPS 94536 WITH SCORE 95413.062
AT ITER 2083 NEW BEST:: SOT 1135551 SOS 870555 HAS SOPS 867881 HAS SOUS 96688 HAS SOUPS 94227 WITH SCORE 95097.555
AT ITER 2089 NEW BEST:: SOT 1135541 SOS 870545 HAS SOPS 867871 HAS SOUS 96678 HAS SOUPS 94217 WITH SCORE 95087.545
AT ITER 2090 NEW BEST:: SOT 1135287 SOS 870291 HAS SOPS 867617 HAS SOUS 96653 HAS SOUPS 94192 WITH SCORE 95062.291
AT ITER 2096 NEW BEST:: SOT 1135287 SOS 864603 HAS SOPS 861923 HAS SOUS 96647 HAS SOUPS 94180 WITH SCORE 95044.603
AT ITER 2121 NEW BEST:: SOT 1135347 SOS 864663 HAS SOPS 861983 HAS SOUS 96627 HAS SOUPS 94160 WITH SCORE 95024.663
AT ITER 2122 NEW BEST:: SOT 1135989 SOS 865857 HAS SOPS 863177 HAS SOUS 95946 HAS SOUPS 93479 WITH SCORE 94344.857
AT ITER 2137 NEW BEST:: SOT 1135989 SOS 865850 HAS SOPS 863177 HAS SOUS 95918 HAS SOUPS 93458 WITH SCORE 94323.85
AT ITER 2154 NEW BEST:: SOT 1135697 SOS 865558 HAS SOPS 862885 HAS SOUS 95671 HAS SOUPS 93211 WITH SCORE 94076.558
AT ITER 2156 NEW BEST:: SOT 1139786 SOS 872141 HAS SOPS 869518 HAS SOUS 95124 HAS SOUPS 92714 WITH SCORE 93586.141
AT ITER 2158 NEW BEST:: SOT 1139802 SOS 872157 HAS SOPS 869534 HAS SOUS 95106 HAS SOUPS 92696 WITH SCORE 93568.157
AT ITER 2163 NEW BEST:: SOT 1139802 SOS 871437 HAS SOPS 868814 HAS SOUS 95101 HAS SOUPS 92691 WITH SCORE 93562.437
AT ITER 2171 NEW BEST:: SOT 1139802 SOS 871434 HAS SOPS 868814 HAS SOUS 95084 HAS SOUPS 92677 WITH SCORE 93548.434
AT ITER 2181 NEW BEST:: SOT 1140224 SOS 871856 HAS SOPS 869236 HAS SOUS 94716 HAS SOUPS 92309 WITH SCORE 93180.856
AT ITER 2191 NEW BEST:: SOT 1141358 SOS 888886 HAS SOPS 886522 HAS SOUS 94604 HAS SOUPS 92261 WITH SCORE 93149.886
AT ITER 2222 NEW BEST:: SOT 1142186 SOS 889714 HAS SOPS 887350 HAS SOUS 94577 HAS SOUPS 92234 WITH SCORE 93123.714
AT ITER 2232 NEW BEST:: SOT 1142171 SOS 889339 HAS SOPS 886975 HAS SOUS 94532 HAS SOUPS 92189 WITH SCORE 93078.339
AT ITER 2257 NEW BEST:: SOT 1142464 SOS 889336 HAS SOPS 886934 HAS SOUS 94559 HAS SOUPS 92178 WITH SCORE 93067.336
AT ITER 2305 NEW BEST:: SOT 1140601 SOS 887511 HAS SOPS 885071 HAS SOUS 94478 HAS SOUPS 92059 WITH SCORE 92946.511
AT ITER 2334 NEW BEST:: SOT 1140601 SOS 887415 HAS SOPS 884975 HAS SOUS 94478 HAS SOUPS 92059 WITH SCORE 92946.415
AT ITER 2348 NEW BEST:: SOT 1140327 SOS 887141 HAS SOPS 884701 HAS SOUS 94373 HAS SOUPS 91954 WITH SCORE 92841.141
AT ITER 2350 NEW BEST:: SOT 1139896 SOS 886710 HAS SOPS 884270 HAS SOUS 94119 HAS SOUPS 91700 WITH SCORE 92586.71
AT ITER 2359 NEW BEST:: SOT 1139896 SOS 886494 HAS SOPS 884054 HAS SOUS 94119 HAS SOUPS 91700 WITH SCORE 92586.494
AT ITER 2361 NEW BEST:: SOT 1140249 SOS 886847 HAS SOPS 884407 HAS SOUS 93587 HAS SOUPS 91168 WITH SCORE 92054.847
AT ITER 2369 NEW BEST:: SOT 1139691 SOS 886289 HAS SOPS 883849 HAS SOUS 93545 HAS SOUPS 91126 WITH SCORE 92012.289
AT ITER 2374 NEW BEST:: SOT 1138943 SOS 885541 HAS SOPS 883101 HAS SOUS 93517 HAS SOUPS 91098 WITH SCORE 91983.541
AT ITER 2383 NEW BEST:: SOT 1138943 SOS 885541 HAS SOPS 883101 HAS SOUS 93496 HAS SOUPS 91077 WITH SCORE 91962.541
AT ITER 2391 NEW BEST:: SOT 1138193 SOS 884791 HAS SOPS 882351 HAS SOUS 92914 HAS SOUPS 90495 WITH SCORE 91379.791
AT ITER 2416 NEW BEST:: SOT 1136553 SOS 883151 HAS SOPS 880711 HAS SOUS 92851 HAS SOUPS 90432 WITH SCORE 91315.151
AT ITER 2434 NEW BEST:: SOT 1136553 SOS 882161 HAS SOPS 879721 HAS SOUS 92808 HAS SOUPS 90389 WITH SCORE 91271.161
AT ITER 2442 NEW BEST:: SOT 1136553 SOS 882101 HAS SOPS 879661 HAS SOUS 92808 HAS SOUPS 90389 WITH SCORE 91271.101
AT ITER 2443 NEW BEST:: SOT 1138026 SOS 883574 HAS SOPS 881134 HAS SOUS 92804 HAS SOUPS 90385 WITH SCORE 91268.574
AT ITER 2444 NEW BEST:: SOT 1137924 SOS 883472 HAS SOPS 881032 HAS SOUS 92718 HAS SOUPS 90299 WITH SCORE 91182.472
AT ITER 2459 NEW BEST:: SOT 1137455 SOS 883003 HAS SOPS 880563 HAS SOUS 92607 HAS SOUPS 90188 WITH SCORE 91071.003
AT ITER 2462 NEW BEST:: SOT 1138052 SOS 883600 HAS SOPS 881160 HAS SOUS 92361 HAS SOUPS 89942 WITH SCORE 90825.6
AT ITER 2467 NEW BEST:: SOT 1136670 SOS 882218 HAS SOPS 879778 HAS SOUS 92225 HAS SOUPS 89806 WITH SCORE 90688.218
AT ITER 2468 NEW BEST:: SOT 1136664 SOS 876254 HAS SOPS 873814 HAS SOUS 92203 HAS SOUPS 89784 WITH SCORE 90660.254
AT ITER 2478 NEW BEST:: SOT 1136496 SOS 876086 HAS SOPS 873646 HAS SOUS 92203 HAS SOUPS 89784 WITH SCORE 90660.086
AT ITER 2489 NEW BEST:: SOT 1136494 SOS 876084 HAS SOPS 873644 HAS SOUS 92201 HAS SOUPS 89782 WITH SCORE 90658.084
AT ITER 2512 NEW BEST:: SOT 1136494 SOS 876143 HAS SOPS 873644 HAS SOUS 91869 HAS SOUPS 89391 WITH SCORE 90267.143
AT ITER 2522 NEW BEST:: SOT 1136494 SOS 876119 HAS SOPS 873620 HAS SOUS 91869 HAS SOUPS 89391 WITH SCORE 90267.119
AT ITER 2533 NEW BEST:: SOT 1136520 SOS 876145 HAS SOPS 873646 HAS SOUS 91863 HAS SOUPS 89385 WITH SCORE 90261.145
AT ITER 2543 NEW BEST:: SOT 1137116 SOS 876741 HAS SOPS 874266 HAS SOUS 91691 HAS SOUPS 89237 WITH SCORE 90113.741
AT ITER 2559 NEW BEST:: SOT 1137212 SOS 876837 HAS SOPS 874362 HAS SOUS 91454 HAS SOUPS 89000 WITH SCORE 89876.837
AT ITER 2569 NEW BEST:: SOT 1137409 SOS 877034 HAS SOPS 874559 HAS SOUS 91285 HAS SOUPS 88831 WITH SCORE 89708.034
AT ITER 2574 NEW BEST:: SOT 1137409 SOS 877034 HAS SOPS 874559 HAS SOUS 91277 HAS SOUPS 88823 WITH SCORE 89700.034
AT ITER 2575 NEW BEST:: SOT 1137409 SOS 877002 HAS SOPS 874527 HAS SOUS 91213 HAS SOUPS 88759 WITH SCORE 89636.002
AT ITER 2588 NEW BEST:: SOT 1136322 SOS 875915 HAS SOPS 873440 HAS SOUS 90753 HAS SOUPS 88299 WITH SCORE 89174.915
AT ITER 2601 NEW BEST:: SOT 1136343 SOS 875991 HAS SOPS 873537 HAS SOUS 90594 HAS SOUPS 88161 WITH SCORE 89036.991
AT ITER 2611 NEW BEST:: SOT 1136344 SOS 876016 HAS SOPS 873562 HAS SOUS 90591 HAS SOUPS 88158 WITH SCORE 89034.016
AT ITER 2619 NEW BEST:: SOT 1136344 SOS 876016 HAS SOPS 873562 HAS SOUS 90567 HAS SOUPS 88134 WITH SCORE 89010.016
AT ITER 2626 NEW BEST:: SOT 1135549 SOS 875221 HAS SOPS 872767 HAS SOUS 89721 HAS SOUPS 87288 WITH SCORE 88163.221
AT ITER 2641 NEW BEST:: SOT 1135525 SOS 875197 HAS SOPS 872743 HAS SOUS 89697 HAS SOUPS 87264 WITH SCORE 88139.197
AT ITER 2644 NEW BEST:: SOT 1135404 SOS 875076 HAS SOPS 872622 HAS SOUS 89446 HAS SOUPS 87013 WITH SCORE 87888.076
AT ITER 2649 NEW BEST:: SOT 1135404 SOS 875076 HAS SOPS 872622 HAS SOUS 89438 HAS SOUPS 87005 WITH SCORE 87880.076
AT ITER 2653 NEW BEST:: SOT 1135404 SOS 874880 HAS SOPS 872406 HAS SOUS 89458 HAS SOUPS 87005 WITH SCORE 87879.88
AT ITER 2660 NEW BEST:: SOT 1133916 SOS 873392 HAS SOPS 870918 HAS SOUS 87779 HAS SOUPS 85326 WITH SCORE 86199.392
AT ITER 2662 NEW BEST:: SOT 1133175 SOS 859023 HAS SOPS 856401 HAS SOUS 87750 HAS SOUPS 85260 WITH SCORE 86119.023
AT ITER 2681 NEW BEST:: SOT 1133097 SOS 858945 HAS SOPS 856323 HAS SOUS 87556 HAS SOUPS 85066 WITH SCORE 85924.945
AT ITER 2691 NEW BEST:: SOT 1133456 SOS 859304 HAS SOPS 856682 HAS SOUS 87332 HAS SOUPS 84842 WITH SCORE 85701.304
AT ITER 2697 NEW BEST:: SOT 1134904 SOS 860752 HAS SOPS 858215 HAS SOUS 87228 HAS SOUPS 84823 WITH SCORE 85683.752
AT ITER 2702 NEW BEST:: SOT 1134684 SOS 860532 HAS SOPS 857995 HAS SOUS 86972 HAS SOUPS 84567 WITH SCORE 85427.532
AT ITER 2705 NEW BEST:: SOT 1134684 SOS 860436 HAS SOPS 857899 HAS SOUS 86968 HAS SOUPS 84563 WITH SCORE 85423.436
AT ITER 2714 NEW BEST:: SOT 1134684 SOS 860332 HAS SOPS 857795 HAS SOUS 86942 HAS SOUPS 84537 WITH SCORE 85397.332
AT ITER 2731 NEW BEST:: SOT 1134684 SOS 860226 HAS SOPS 857689 HAS SOUS 86877 HAS SOUPS 84472 WITH SCORE 85332.226
AT ITER 2736 NEW BEST:: SOT 1134684 SOS 860222 HAS SOPS 857685 HAS SOUS 86877 HAS SOUPS 84472 WITH SCORE 85332.222
AT ITER 2739 NEW BEST:: SOT 1135443 SOS 856621 HAS SOPS 854356 HAS SOUS 86421 HAS SOUPS 84174 WITH SCORE 85030.621
AT ITER 2747 NEW BEST:: SOT 1135698 SOS 856660 HAS SOPS 854403 HAS SOUS 86128 HAS SOUPS 83883 WITH SCORE 84739.66
AT ITER 2748 NEW BEST:: SOT 1135698 SOS 856660 HAS SOPS 854403 HAS SOUS 86126 HAS SOUPS 83881 WITH SCORE 84737.66
AT ITER 2759 NEW BEST:: SOT 1135698 SOS 856542 HAS SOPS 854285 HAS SOUS 86048 HAS SOUPS 83803 WITH SCORE 84659.542
AT ITER 2762 NEW BEST:: SOT 1135698 SOS 838809 HAS SOPS 836552 HAS SOUS 85960 HAS SOUPS 83715 WITH SCORE 84553.809
AT ITER 2766 NEW BEST:: SOT 1135078 SOS 838189 HAS SOPS 835932 HAS SOUS 85604 HAS SOUPS 83359 WITH SCORE 84197.189
AT ITER 2773 NEW BEST:: SOT 1135078 SOS 838186 HAS SOPS 835932 HAS SOUS 85601 HAS SOUPS 83359 WITH SCORE 84197.186
AT ITER 2801 NEW BEST:: SOT 1135078 SOS 838186 HAS SOPS 835932 HAS SOUS 85600 HAS SOUPS 83358 WITH SCORE 84196.186
AT ITER 2824 NEW BEST:: SOT 1135034 SOS 838142 HAS SOPS 835888 HAS SOUS 85556 HAS SOUPS 83314 WITH SCORE 84152.142
AT ITER 2825 NEW BEST:: SOT 1134794 SOS 837902 HAS SOPS 835648 HAS SOUS 85521 HAS SOUPS 83279 WITH SCORE 84116.902
AT ITER 2842 NEW BEST:: SOT 1134767 SOS 837875 HAS SOPS 835621 HAS SOUS 85494 HAS SOUPS 83252 WITH SCORE 84089.875
AT ITER 2860 NEW BEST:: SOT 1134692 SOS 837800 HAS SOPS 835546 HAS SOUS 85491 HAS SOUPS 83249 WITH SCORE 84086.8
AT ITER 2861 NEW BEST:: SOT 1134692 SOS 831035 HAS SOPS 828781 HAS SOUS 85423 HAS SOUPS 83181 WITH SCORE 84012.035
AT ITER 2870 NEW BEST:: SOT 1132731 SOS 830974 HAS SOPS 828720 HAS SOUS 83868 HAS SOUPS 81626 WITH SCORE 82456.974
AT ITER 2880 NEW BEST:: SOT 1132953 SOS 831196 HAS SOPS 828942 HAS SOUS 83408 HAS SOUPS 81166 WITH SCORE 81997.196
AT ITER 2887 NEW BEST:: SOT 1133015 SOS 832674 HAS SOPS 830420 HAS SOUS 83254 HAS SOUPS 81012 WITH SCORE 81844.674
AT ITER 2889 NEW BEST:: SOT 1133421 SOS 833080 HAS SOPS 830826 HAS SOUS 83249 HAS SOUPS 81007 WITH SCORE 81840.08
AT ITER 2906 NEW BEST:: SOT 1133421 SOS 833080 HAS SOPS 830826 HAS SOUS 83246 HAS SOUPS 81004 WITH SCORE 81837.08
AT ITER 2910 NEW BEST:: SOT 1131934 SOS 831593 HAS SOPS 829339 HAS SOUS 83162 HAS SOUPS 80920 WITH SCORE 81751.593
AT ITER 2911 NEW BEST:: SOT 1131935 SOS 831720 HAS SOPS 829466 HAS SOUS 83108 HAS SOUPS 80866 WITH SCORE 81697.72
AT ITER 2922 NEW BEST:: SOT 1131932 SOS 831717 HAS SOPS 829463 HAS SOUS 83105 HAS SOUPS 80863 WITH SCORE 81694.717
AT ITER 2930 NEW BEST:: SOT 1131932 SOS 830781 HAS SOPS 828527 HAS SOUS 83059 HAS SOUPS 80817 WITH SCORE 81647.781
AT ITER 2937 NEW BEST:: SOT 1131934 SOS 830783 HAS SOPS 828529 HAS SOUS 83030 HAS SOUPS 80788 WITH SCORE 81618.783
AT ITER 3000 NEW BEST:: SOT 1131934 SOS 806021 HAS SOPS 803767 HAS SOUS 82975 HAS SOUPS 80733 WITH SCORE 81539.021
AT ITER 3008 NEW BEST:: SOT 1131904 SOS 805991 HAS SOPS 803737 HAS SOUS 82906 HAS SOUPS 80664 WITH SCORE 81469.991
AT ITER 3010 NEW BEST:: SOT 1131964 SOS 806612 HAS SOPS 804358 HAS SOUS 82468 HAS SOUPS 80226 WITH SCORE 81032.612
AT ITER 3013 NEW BEST:: SOT 1131964 SOS 800264 HAS SOPS 798010 HAS SOUS 82454 HAS SOUPS 80212 WITH SCORE 81012.264
AT ITER 3042 NEW BEST:: SOT 1132202 SOS 800176 HAS SOPS 797960 HAS SOUS 82406 HAS SOUPS 80202 WITH SCORE 81002.176
AT ITER 3085 NEW BEST:: SOT 1132202 SOS 800176 HAS SOPS 797960 HAS SOUS 82380 HAS SOUPS 80176 WITH SCORE 80976.176
AT ITER 3087 NEW BEST:: SOT 1131793 SOS 799767 HAS SOPS 797551 HAS SOUS 81958 HAS SOUPS 79754 WITH SCORE 80553.767
AT ITER 3090 NEW BEST:: SOT 1131352 SOS 799335 HAS SOPS 797110 HAS SOUS 81760 HAS SOUPS 79547 WITH SCORE 80346.335
AT ITER 3100 NEW BEST:: SOT 1131322 SOS 799305 HAS SOPS 797080 HAS SOUS 81709 HAS SOUPS 79496 WITH SCORE 80295.305
AT ITER 3105 NEW BEST:: SOT 1131312 SOS 799295 HAS SOPS 797070 HAS SOUS 81699 HAS SOUPS 79486 WITH SCORE 80285.295
AT ITER 3118 NEW BEST:: SOT 1131312 SOS 799231 HAS SOPS 797006 HAS SOUS 81699 HAS SOUPS 79486 WITH SCORE 80285.231
AT ITER 3177 NEW BEST:: SOT 1131312 SOS 798967 HAS SOPS 796742 HAS SOUS 81699 HAS SOUPS 79486 WITH SCORE 80284.967
AT ITER 3199 NEW BEST:: SOT 1131298 SOS 799537 HAS SOPS 797312 HAS SOUS 81671 HAS SOUPS 79458 WITH SCORE 80257.537
AT ITER 3203 NEW BEST:: SOT 1131298 SOS 799837 HAS SOPS 797612 HAS SOUS 81665 HAS SOUPS 79452 WITH SCORE 80251.837
AT ITER 3232 NEW BEST:: SOT 1131240 SOS 799779 HAS SOPS 797554 HAS SOUS 81599 HAS SOUPS 79386 WITH SCORE 80185.779
AT ITER 3239 NEW BEST:: SOT 1131240 SOS 799779 HAS SOPS 797554 HAS SOUS 81598 HAS SOUPS 79385 WITH SCORE 80184.779
AT ITER 3244 NEW BEST:: SOT 1131240 SOS 799779 HAS SOPS 797554 HAS SOUS 81595 HAS SOUPS 79382 WITH SCORE 80181.779
AT ITER 3264 NEW BEST:: SOT 1131148 SOS 799687 HAS SOPS 797462 HAS SOUS 81569 HAS SOUPS 79356 WITH SCORE 80155.687
AT ITER 3272 NEW BEST:: SOT 1131154 SOS 799693 HAS SOPS 797468 HAS SOUS 81223 HAS SOUPS 79010 WITH SCORE 79809.693
AT ITER 3278 NEW BEST:: SOT 1131154 SOS 799381 HAS SOPS 797156 HAS SOUS 81208 HAS SOUPS 78995 WITH SCORE 79794.381
AT ITER 3283 NEW BEST:: SOT 1131099 SOS 799326 HAS SOPS 797101 HAS SOUS 81153 HAS SOUPS 78940 WITH SCORE 79739.326
AT ITER 3287 NEW BEST:: SOT 1131016 SOS 799243 HAS SOPS 797018 HAS SOUS 81137 HAS SOUPS 78924 WITH SCORE 79723.243
AT ITER 3290 NEW BEST:: SOT 1131016 SOS 798955 HAS SOPS 796730 HAS SOUS 81137 HAS SOUPS 78924 WITH SCORE 79722.955
AT ITER 3297 NEW BEST:: SOT 1130649 SOS 798588 HAS SOPS 796349 HAS SOUS 81095 HAS SOUPS 78868 WITH SCORE 79666.588
AT ITER 3317 NEW BEST:: SOT 1130649 SOS 798588 HAS SOPS 796349 HAS SOUS 80870 HAS SOUPS 78643 WITH SCORE 79441.588
AT ITER 3322 NEW BEST:: SOT 1130564 SOS 798503 HAS SOPS 796264 HAS SOUS 80545 HAS SOUPS 78318 WITH SCORE 79116.503
AT ITER 3354 NEW BEST:: SOT 1133529 SOS 801162 HAS SOPS 799013 HAS SOUS 80267 HAS SOUPS 78130 WITH SCORE 78931.162
AT ITER 3360 NEW BEST:: SOT 1133511 SOS 801144 HAS SOPS 798995 HAS SOUS 80251 HAS SOUPS 78114 WITH SCORE 78915.144
AT ITER 3371 NEW BEST:: SOT 1133942 SOS 801575 HAS SOPS 799697 HAS SOUS 79557 HAS SOUPS 77691 WITH SCORE 78492.575
AT ITER 3390 NEW BEST:: SOT 1133942 SOS 801575 HAS SOPS 799697 HAS SOUS 79549 HAS SOUPS 77683 WITH SCORE 78484.575
AT ITER 3406 NEW BEST:: SOT 1133942 SOS 801345 HAS SOPS 799475 HAS SOUS 79543 HAS SOUPS 77679 WITH SCORE 78480.345
AT ITER 3413 NEW BEST:: SOT 1133830 SOS 801233 HAS SOPS 799363 HAS SOUS 79335 HAS SOUPS 77471 WITH SCORE 78272.233
AT ITER 3436 NEW BEST:: SOT 1133830 SOS 803127 HAS SOPS 801257 HAS SOUS 79295 HAS SOUPS 77431 WITH SCORE 78234.127
AT ITER 3454 NEW BEST:: SOT 1133830 SOS 802736 HAS SOPS 800897 HAS SOUS 79264 HAS SOUPS 77431 WITH SCORE 78233.736
AT ITER 3482 NEW BEST:: SOT 1132678 SOS 801584 HAS SOPS 799745 HAS SOUS 78854 HAS SOUPS 77021 WITH SCORE 77822.584
AT ITER 3495 NEW BEST:: SOT 1133396 SOS 802302 HAS SOPS 800463 HAS SOUS 78752 HAS SOUPS 76919 WITH SCORE 77721.302
AT ITER 3502 NEW BEST:: SOT 1133396 SOS 798096 HAS SOPS 796257 HAS SOUS 78728 HAS SOUPS 76895 WITH SCORE 77693.096
AT ITER 3520 NEW BEST:: SOT 1133396 SOS 797256 HAS SOPS 795417 HAS SOUS 78634 HAS SOUPS 76801 WITH SCORE 77598.256
AT ITER 3540 NEW BEST:: SOT 1133383 SOS 796599 HAS SOPS 794760 HAS SOUS 78608 HAS SOUPS 76775 WITH SCORE 77571.599
AT ITER 3585 NEW BEST:: SOT 1133162 SOS 796378 HAS SOPS 794366 HAS SOUS 78719 HAS SOUPS 76713 WITH SCORE 77509.378
AT ITER 3592 NEW BEST:: SOT 1133229 SOS 796445 HAS SOPS 794433 HAS SOUS 78707 HAS SOUPS 76701 WITH SCORE 77497.445
AT ITER 3594 NEW BEST:: SOT 1133532 SOS 796748 HAS SOPS 794736 HAS SOUS 78609 HAS SOUPS 76603 WITH SCORE 77399.748
AT ITER 3621 NEW BEST:: SOT 1133492 SOS 796708 HAS SOPS 794696 HAS SOUS 78567 HAS SOUPS 76561 WITH SCORE 77357.708
AT ITER 3630 NEW BEST:: SOT 1135192 SOS 798408 HAS SOPS 796396 HAS SOUS 78131 HAS SOUPS 76125 WITH SCORE 76923.408
AT ITER 3634 NEW BEST:: SOT 1135084 SOS 798300 HAS SOPS 796288 HAS SOUS 77920 HAS SOUPS 75914 WITH SCORE 76712.3
AT ITER 3637 NEW BEST:: SOT 1135128 SOS 798344 HAS SOPS 796332 HAS SOUS 77700 HAS SOUPS 75694 WITH SCORE 76492.344
AT ITER 3640 NEW BEST:: SOT 1134823 SOS 796815 HAS SOPS 794803 HAS SOUS 77488 HAS SOUPS 75482 WITH SCORE 76278.815
AT ITER 3681 NEW BEST:: SOT 1134717 SOS 796709 HAS SOPS 794697 HAS SOUS 77475 HAS SOUPS 75469 WITH SCORE 76265.709
AT ITER 3711 NEW BEST:: SOT 1134717 SOS 798043 HAS SOPS 796031 HAS SOUS 77446 HAS SOUPS 75440 WITH SCORE 76238.043
AT ITER 3724 NEW BEST:: SOT 1134717 SOS 798043 HAS SOPS 796031 HAS SOUS 77403 HAS SOUPS 75397 WITH SCORE 76195.043
AT ITER 3730 NEW BEST:: SOT 1134717 SOS 798431 HAS SOPS 796419 HAS SOUS 77385 HAS SOUPS 75379 WITH SCORE 76177.431
AT ITER 3732 NEW BEST:: SOT 1134717 SOS 801809 HAS SOPS 799797 HAS SOUS 77363 HAS SOUPS 75357 WITH SCORE 76158.809
AT ITER 3741 NEW BEST:: SOT 1134717 SOS 801384 HAS SOPS 799389 HAS SOUS 77346 HAS SOUPS 75357 WITH SCORE 76158.384
AT ITER 3752 NEW BEST:: SOT 1133205 SOS 799872 HAS SOPS 797877 HAS SOUS 77343 HAS SOUPS 75354 WITH SCORE 76153.872
AT ITER 3777 NEW BEST:: SOT 1133205 SOS 799716 HAS SOPS 797721 HAS SOUS 77337 HAS SOUPS 75348 WITH SCORE 76147.716
AT ITER 3788 NEW BEST:: SOT 1133343 SOS 799854 HAS SOPS 797859 HAS SOUS 77040 HAS SOUPS 75051 WITH SCORE 75850.854
AT ITER 3848 NEW BEST:: SOT 1131640 SOS 798151 HAS SOPS 796156 HAS SOUS 76204 HAS SOUPS 74215 WITH SCORE 75013.151
AT ITER 3857 NEW BEST:: SOT 1131626 SOS 798137 HAS SOPS 796142 HAS SOUS 76182 HAS SOUPS 74193 WITH SCORE 74991.137
AT ITER 3864 NEW BEST:: SOT 1129466 SOS 795977 HAS SOPS 793982 HAS SOUS 74993 HAS SOUPS 73004 WITH SCORE 73799.977
AT ITER 3867 NEW BEST:: SOT 1129467 SOS 796026 HAS SOPS 794031 HAS SOUS 74992 HAS SOUPS 73003 WITH SCORE 73799.026
AT ITER 3893 NEW BEST:: SOT 1129425 SOS 795984 HAS SOPS 793989 HAS SOUS 74971 HAS SOUPS 72982 WITH SCORE 73777.984
AT ITER 3913 NEW BEST:: SOT 1129439 SOS 795998 HAS SOPS 794008 HAS SOUS 74954 HAS SOUPS 72970 WITH SCORE 73765.998
AT ITER 3917 NEW BEST:: SOT 1131122 SOS 798167 HAS SOPS 796177 HAS SOUS 74679 HAS SOUPS 72695 WITH SCORE 73493.167
AT ITER 3931 NEW BEST:: SOT 1131124 SOS 798424 HAS SOPS 796434 HAS SOUS 74670 HAS SOUPS 72686 WITH SCORE 73484.424
AT ITER 3943 NEW BEST:: SOT 1131128 SOS 798428 HAS SOPS 796438 HAS SOUS 74582 HAS SOUPS 72598 WITH SCORE 73396.428
AT ITER 3947 NEW BEST:: SOT 1131128 SOS 798428 HAS SOPS 796438 HAS SOUS 74574 HAS SOUPS 72590 WITH SCORE 73388.428
AT ITER 3949 NEW BEST:: SOT 1131908 SOS 799208 HAS SOPS 797218 HAS SOUS 74426 HAS SOUPS 72442 WITH SCORE 73241.208
AT ITER 3962 NEW BEST:: SOT 1131936 SOS 799236 HAS SOPS 797246 HAS SOUS 74199 HAS SOUPS 72215 WITH SCORE 73014.236
AT ITER 3979 NEW BEST:: SOT 1131936 SOS 799356 HAS SOPS 797366 HAS SOUS 74197 HAS SOUPS 72213 WITH SCORE 73012.356
AT ITER 4017 NEW BEST:: SOT 1132129 SOS 799549 HAS SOPS 797559 HAS SOUS 74101 HAS SOUPS 72117 WITH SCORE 72916.549
AT ITER 4026 NEW BEST:: SOT 1131353 SOS 798773 HAS SOPS 796783 HAS SOUS 73695 HAS SOUPS 71711 WITH SCORE 72509.773
AT ITER 4041 NEW BEST:: SOT 1131357 SOS 798777 HAS SOPS 796787 HAS SOUS 73599 HAS SOUPS 71615 WITH SCORE 72413.777
AT ITER 4052 NEW BEST:: SOT 1131363 SOS 798783 HAS SOPS 796793 HAS SOUS 73485 HAS SOUPS 71501 WITH SCORE 72299.783
AT ITER 4065 NEW BEST:: SOT 1131362 SOS 798782 HAS SOPS 796792 HAS SOUS 73484 HAS SOUPS 71500 WITH SCORE 72298.782
AT ITER 4121 NEW BEST:: SOT 1131362 SOS 798518 HAS SOPS 796528 HAS SOUS 73484 HAS SOUPS 71500 WITH SCORE 72298.518
AT ITER 4148 NEW BEST:: SOT 1131362 SOS 796694 HAS SOPS 794704 HAS SOUS 73481 HAS SOUPS 71497 WITH SCORE 72293.694
AT ITER 4186 NEW BEST:: SOT 1131201 SOS 796533 HAS SOPS 794543 HAS SOUS 73416 HAS SOUPS 71432 WITH SCORE 72228.533
AT ITER 4195 NEW BEST:: SOT 1131004 SOS 796336 HAS SOPS 794346 HAS SOUS 73213 HAS SOUPS 71229 WITH SCORE 72025.336
AT ITER 4197 NEW BEST:: SOT 1131004 SOS 796336 HAS SOPS 794346 HAS SOUS 73212 HAS SOUPS 71228 WITH SCORE 72024.336
AT ITER 4243 NEW BEST:: SOT 1131004 SOS 796078 HAS SOPS 794130 HAS SOUS 73170 HAS SOUPS 71228 WITH SCORE 72024.078
AT ITER 4249 NEW BEST:: SOT 1131004 SOS 795330 HAS SOPS 793382 HAS SOUS 73170 HAS SOUPS 71228 WITH SCORE 72023.33
AT ITER 4263 NEW BEST:: SOT 1131004 SOS 795330 HAS SOPS 793382 HAS SOUS 73164 HAS SOUPS 71222 WITH SCORE 72017.33
AT ITER 4305 NEW BEST:: SOT 1130956 SOS 795282 HAS SOPS 793334 HAS SOUS 73155 HAS SOUPS 71213 WITH SCORE 72008.282
AT ITER 4313 NEW BEST:: SOT 1131221 SOS 795547 HAS SOPS 793599 HAS SOUS 73076 HAS SOUPS 71134 WITH SCORE 71929.547
AT ITER 4328 NEW BEST:: SOT 1131226 SOS 793288 HAS SOPS 791320 HAS SOUS 73081 HAS SOUPS 71134 WITH SCORE 71927.288
AT ITER 4352 NEW BEST:: SOT 1131226 SOS 793281 HAS SOPS 791320 HAS SOUS 72884 HAS SOUPS 70944 WITH SCORE 71737.281
AT ITER 4393 NEW BEST:: SOT 1131155 SOS 792751 HAS SOPS 790790 HAS SOUS 72839 HAS SOUPS 70899 WITH SCORE 71691.751
AT ITER 4403 NEW BEST:: SOT 1131155 SOS 792745 HAS SOPS 790784 HAS SOUS 72839 HAS SOUPS 70899 WITH SCORE 71691.745
AT ITER 4421 NEW BEST:: SOT 1131155 SOS 792745 HAS SOPS 790784 HAS SOUS 72835 HAS SOUPS 70895 WITH SCORE 71687.745
AT ITER 4424 NEW BEST:: SOT 1132753 SOS 794378 HAS SOPS 792487 HAS SOUS 72542 HAS SOUPS 70672 WITH SCORE 71466.378
AT ITER 4453 NEW BEST:: SOT 1132753 SOS 794018 HAS SOPS 792127 HAS SOUS 72542 HAS SOUPS 70672 WITH SCORE 71466.018
AT ITER 4485 NEW BEST:: SOT 1131616 SOS 792881 HAS SOPS 790900 HAS SOUS 71405 HAS SOUPS 69445 WITH SCORE 70237.881
AT ITER 4507 NEW BEST:: SOT 1131778 SOS 793147 HAS SOPS 791166 HAS SOUS 70637 HAS SOUPS 68677 WITH SCORE 69470.147
AT ITER 4559 NEW BEST:: SOT 1131778 SOS 792887 HAS SOPS 790821 HAS SOUS 70652 HAS SOUPS 68607 WITH SCORE 69399.887
AT ITER 4595 NEW BEST:: SOT 1131778 SOS 792779 HAS SOPS 790713 HAS SOUS 70652 HAS SOUPS 68607 WITH SCORE 69399.779
AT ITER 4600 NEW BEST:: SOT 1131778 SOS 792755 HAS SOPS 790689 HAS SOUS 70652 HAS SOUPS 68607 WITH SCORE 69399.755
AT ITER 4604 NEW BEST:: SOT 1131224 SOS 792257 HAS SOPS 790191 HAS SOUS 70384 HAS SOUPS 68339 WITH SCORE 69131.257
AT ITER 4622 NEW BEST:: SOT 1130285 SOS 791318 HAS SOPS 789252 HAS SOUS 70291 HAS SOUPS 68246 WITH SCORE 69037.318
AT ITER 4636 NEW BEST:: SOT 1130345 SOS 791378 HAS SOPS 789330 HAS SOUS 70126 HAS SOUPS 68099 WITH SCORE 68890.378
AT ITER 4651 NEW BEST:: SOT 1132668 SOS 793412 HAS SOPS 791437 HAS SOUS 69883 HAS SOUPS 67929 WITH SCORE 68722.412
AT ITER 4663 NEW BEST:: SOT 1132668 SOS 792240 HAS SOPS 790265 HAS SOUS 69854 HAS SOUPS 67900 WITH SCORE 68692.24
AT ITER 4685 NEW BEST:: SOT 1132542 SOS 792114 HAS SOPS 790139 HAS SOUS 69597 HAS SOUPS 67643 WITH SCORE 68435.114
AT ITER 4696 NEW BEST:: SOT 1132616 SOS 792260 HAS SOPS 790333 HAS SOUS 69441 HAS SOUPS 67535 WITH SCORE 68327.26
AT ITER 4933 NEW BEST:: SOT 1132449 SOS 792093 HAS SOPS 790166 HAS SOUS 69415 HAS SOUPS 67509 WITH SCORE 68301.093
AT ITER 4950 NEW BEST:: SOT 1132449 SOS 792181 HAS SOPS 790254 HAS SOUS 69411 HAS SOUPS 67505 WITH SCORE 68297.181
AT ITER 4974 NEW BEST:: SOT 1132399 SOS 792131 HAS SOPS 790204 HAS SOUS 69370 HAS SOUPS 67464 WITH SCORE 68256.131
AT ITER 4976 NEW BEST:: SOT 1132279 SOS 792011 HAS SOPS 790084 HAS SOUS 69235 HAS SOUPS 67329 WITH SCORE 68121.011
AT ITER 5003 NEW BEST:: SOT 1132054 SOS 791789 HAS SOPS 789859 HAS SOUS 69094 HAS SOUPS 67185 WITH SCORE 67976.789
AT ITER 5038 NEW BEST:: SOT 1132054 SOS 791778 HAS SOPS 789859 HAS SOUS 69050 HAS SOUPS 67152 WITH SCORE 67943.778
AT ITER 5063 NEW BEST:: SOT 1131660 SOS 791384 HAS SOPS 789465 HAS SOUS 68647 HAS SOUPS 66749 WITH SCORE 67540.384
AT ITER 5086 NEW BEST:: SOT 1131660 SOS 790760 HAS SOPS 788841 HAS SOUS 68647 HAS SOUPS 66749 WITH SCORE 67539.76
AT ITER 5088 NEW BEST:: SOT 1131660 SOS 790736 HAS SOPS 788817 HAS SOUS 68647 HAS SOUPS 66749 WITH SCORE 67539.736
AT ITER 5096 NEW BEST:: SOT 1131660 SOS 790352 HAS SOPS 788433 HAS SOUS 68647 HAS SOUPS 66749 WITH SCORE 67539.352
AT ITER 5136 NEW BEST:: SOT 1132629 SOS 791321 HAS SOPS 789402 HAS SOUS 68081 HAS SOUPS 66183 WITH SCORE 66974.321
AT ITER 5179 NEW BEST:: SOT 1132645 SOS 790525 HAS SOPS 788634 HAS SOUS 68028 HAS SOUPS 66137 WITH SCORE 66927.525
AT ITER 5194 NEW BEST:: SOT 1132645 SOS 790429 HAS SOPS 788538 HAS SOUS 68026 HAS SOUPS 66135 WITH SCORE 66925.429
AT ITER 5234 NEW BEST:: SOT 1132814 SOS 790598 HAS SOPS 788707 HAS SOUS 67948 HAS SOUPS 66057 WITH SCORE 66847.598
AT ITER 5236 NEW BEST:: SOT 1135540 SOS 793065 HAS SOPS 791217 HAS SOUS 67752 HAS SOUPS 65904 WITH SCORE 66697.065
AT ITER 5238 NEW BEST:: SOT 1135495 SOS 793020 HAS SOPS 791172 HAS SOUS 67707 HAS SOUPS 65859 WITH SCORE 66652.02
AT ITER 5266 NEW BEST:: SOT 1135495 SOS 793020 HAS SOPS 791172 HAS SOUS 67691 HAS SOUPS 65843 WITH SCORE 66636.02
AT ITER 5308 NEW BEST:: SOT 1135489 SOS 793014 HAS SOPS 791166 HAS SOUS 67685 HAS SOUPS 65837 WITH SCORE 66630.014
AT ITER 5341 NEW BEST:: SOT 1135489 SOS 793014 HAS SOPS 791166 HAS SOUS 67603 HAS SOUPS 65755 WITH SCORE 66548.014
AT ITER 5349 NEW BEST:: SOT 1135246 SOS 792771 HAS SOPS 790923 HAS SOUS 67599 HAS SOUPS 65751 WITH SCORE 66543.771
AT ITER 5378 NEW BEST:: SOT 1135231 SOS 792756 HAS SOPS 790908 HAS SOUS 67521 HAS SOUPS 65673 WITH SCORE 66465.756
AT ITER 5381 NEW BEST:: SOT 1135094 SOS 792619 HAS SOPS 790771 HAS SOUS 67440 HAS SOUPS 65592 WITH SCORE 66384.619
AT ITER 5390 NEW BEST:: SOT 1135094 SOS 792571 HAS SOPS 790723 HAS SOUS 67440 HAS SOUPS 65592 WITH SCORE 66384.571
AT ITER 5402 NEW BEST:: SOT 1135069 SOS 792546 HAS SOPS 790698 HAS SOUS 67439 HAS SOUPS 65591 WITH SCORE 66383.546
AT ITER 5418 NEW BEST:: SOT 1134519 SOS 791996 HAS SOPS 790148 HAS SOUS 67417 HAS SOUPS 65569 WITH SCORE 66360.996
AT ITER 5422 NEW BEST:: SOT 1134179 SOS 791656 HAS SOPS 789753 HAS SOUS 67413 HAS SOUPS 65510 WITH SCORE 66301.656
AT ITER 5441 NEW BEST:: SOT 1134928 SOS 792405 HAS SOPS 790502 HAS SOUS 67041 HAS SOUPS 65138 WITH SCORE 65930.405
AT ITER 5472 NEW BEST:: SOT 1134928 SOS 792405 HAS SOPS 790502 HAS SOUS 67033 HAS SOUPS 65130 WITH SCORE 65922.405
AT ITER 5497 NEW BEST:: SOT 1134928 SOS 791303 HAS SOPS 789400 HAS SOUS 66987 HAS SOUPS 65084 WITH SCORE 65875.303
AT ITER 5623 NEW BEST:: SOT 1135295 SOS 791670 HAS SOPS 789767 HAS SOUS 66918 HAS SOUPS 65015 WITH SCORE 65806.67
AT ITER 5658 NEW BEST:: SOT 1133857 SOS 790208 HAS SOPS 788305 HAS SOUS 66556 HAS SOUPS 64653 WITH SCORE 65443.208
AT ITER 5687 NEW BEST:: SOT 1132319 SOS 788670 HAS SOPS 786767 HAS SOUS 66319 HAS SOUPS 64416 WITH SCORE 65204.67
AT ITER 5694 NEW BEST:: SOT 1132321 SOS 788672 HAS SOPS 786769 HAS SOUS 66316 HAS SOUPS 64413 WITH SCORE 65201.672
AT ITER 5747 NEW BEST:: SOT 1132321 SOS 788240 HAS SOPS 786337 HAS SOUS 66316 HAS SOUPS 64413 WITH SCORE 65201.24
AT ITER 5753 NEW BEST:: SOT 1132331 SOS 788250 HAS SOPS 786347 HAS SOUS 66294 HAS SOUPS 64391 WITH SCORE 65179.25
AT ITER 5796 NEW BEST:: SOT 1132276 SOS 788195 HAS SOPS 786292 HAS SOUS 66233 HAS SOUPS 64330 WITH SCORE 65118.195
AT ITER 5803 NEW BEST:: SOT 1132276 SOS 788195 HAS SOPS 786292 HAS SOUS 66226 HAS SOUPS 64323 WITH SCORE 65111.195
AT ITER 5812 NEW BEST:: SOT 1132276 SOS 788099 HAS SOPS 786196 HAS SOUS 66224 HAS SOUPS 64321 WITH SCORE 65109.099
AT ITER 5860 NEW BEST:: SOT 1132304 SOS 788127 HAS SOPS 786224 HAS SOUS 66199 HAS SOUPS 64296 WITH SCORE 65084.127
AT ITER 5881 NEW BEST:: SOT 1132304 SOS 788127 HAS SOPS 786224 HAS SOUS 66188 HAS SOUPS 64285 WITH SCORE 65073.127
AT ITER 5889 NEW BEST:: SOT 1133474 SOS 789297 HAS SOPS 787394 HAS SOUS 66164 HAS SOUPS 64261 WITH SCORE 65050.297
AT ITER 5897 NEW BEST:: SOT 1133474 SOS 789297 HAS SOPS 787394 HAS SOUS 66160 HAS SOUPS 64257 WITH SCORE 65046.297
AT ITER 5935 NEW BEST:: SOT 1133474 SOS 786397 HAS SOPS 784494 HAS SOUS 66162 HAS SOUPS 64259 WITH SCORE 65045.397
AT ITER 5942 NEW BEST:: SOT 1133474 SOS 786397 HAS SOPS 784494 HAS SOUS 66148 HAS SOUPS 64245 WITH SCORE 65031.397
AT ITER 5946 NEW BEST:: SOT 1133324 SOS 786247 HAS SOPS 784344 HAS SOUS 66142 HAS SOUPS 64239 WITH SCORE 65025.247
AT ITER 5950 NEW BEST:: SOT 1133324 SOS 786247 HAS SOPS 784344 HAS SOUS 66136 HAS SOUPS 64233 WITH SCORE 65019.247
AT ITER 5974 NEW BEST:: SOT 1130881 SOS 783706 HAS SOPS 781803 HAS SOUS 65837 HAS SOUPS 63934 WITH SCORE 64717.706
AT ITER 5988 NEW BEST:: SOT 1130885 SOS 776600 HAS SOPS 774697 HAS SOUS 65753 HAS SOUPS 63850 WITH SCORE 64626.6
AT ITER 6017 NEW BEST:: SOT 1130885 SOS 776600 HAS SOPS 774697 HAS SOUS 65746 HAS SOUPS 63843 WITH SCORE 64619.6
AT ITER 6053 NEW BEST:: SOT 1130885 SOS 776600 HAS SOPS 774697 HAS SOUS 65742 HAS SOUPS 63839 WITH SCORE 64615.6
AT ITER 6150 NEW BEST:: SOT 1130597 SOS 775352 HAS SOPS 773449 HAS SOUS 65681 HAS SOUPS 63778 WITH SCORE 64553.352
AT ITER 6183 NEW BEST:: SOT 1130334 SOS 775089 HAS SOPS 773186 HAS SOUS 65403 HAS SOUPS 63500 WITH SCORE 64275.089
AT ITER 6225 NEW BEST:: SOT 1130163 SOS 774918 HAS SOPS 773015 HAS SOUS 65354 HAS SOUPS 63451 WITH SCORE 64225.918
AT ITER 6242 NEW BEST:: SOT 1129822 SOS 774577 HAS SOPS 772674 HAS SOUS 65252 HAS SOUPS 63349 WITH SCORE 64123.577
AT ITER 6261 NEW BEST:: SOT 1129822 SOS 774650 HAS SOPS 772744 HAS SOUS 65252 HAS SOUPS 63346 WITH SCORE 64120.65
AT ITER 6270 NEW BEST:: SOT 1129822 SOS 774430 HAS SOPS 772524 HAS SOUS 65252 HAS SOUPS 63346 WITH SCORE 64120.43
AT ITER 6274 NEW BEST:: SOT 1129898 SOS 774506 HAS SOPS 772600 HAS SOUS 65191 HAS SOUPS 63285 WITH SCORE 64059.506
AT ITER 6278 NEW BEST:: SOT 1129839 SOS 774447 HAS SOPS 772541 HAS SOUS 65132 HAS SOUPS 63226 WITH SCORE 64000.447
AT ITER 6295 NEW BEST:: SOT 1129839 SOS 773643 HAS SOPS 771737 HAS SOUS 65132 HAS SOUPS 63226 WITH SCORE 63999.643
AT ITER 6311 NEW BEST:: SOT 1129564 SOS 773368 HAS SOPS 771462 HAS SOUS 65109 HAS SOUPS 63203 WITH SCORE 63976.368
AT ITER 6333 NEW BEST:: SOT 1129579 SOS 773398 HAS SOPS 771492 HAS SOUS 65012 HAS SOUPS 63106 WITH SCORE 63879.398
AT ITER 6359 NEW BEST:: SOT 1129567 SOS 773386 HAS SOPS 771480 HAS SOUS 65000 HAS SOUPS 63094 WITH SCORE 63867.386
AT ITER 6361 NEW BEST:: SOT 1129567 SOS 773386 HAS SOPS 771480 HAS SOUS 64992 HAS SOUPS 63086 WITH SCORE 63859.386
AT ITER 6388 NEW BEST:: SOT 1128705 SOS 773556 HAS SOPS 771650 HAS SOUS 64482 HAS SOUPS 62576 WITH SCORE 63349.556
AT ITER 6391 NEW BEST:: SOT 1128705 SOS 773120 HAS SOPS 771214 HAS SOUS 64467 HAS SOUPS 62561 WITH SCORE 63334.12
AT ITER 6415 NEW BEST:: SOT 1128971 SOS 773386 HAS SOPS 771480 HAS SOUS 64200 HAS SOUPS 62294 WITH SCORE 63067.386
AT ITER 6427 NEW BEST:: SOT 1128971 SOS 772906 HAS SOPS 771000 HAS SOUS 64200 HAS SOUPS 62294 WITH SCORE 63066.906
AT ITER 6447 NEW BEST:: SOT 1128971 SOS 770938 HAS SOPS 769032 HAS SOUS 64191 HAS SOUPS 62285 WITH SCORE 63055.938
AT ITER 6448 NEW BEST:: SOT 1128971 SOS 770886 HAS SOPS 768980 HAS SOUS 64191 HAS SOUPS 62285 WITH SCORE 63055.886
AT ITER 6468 NEW BEST:: SOT 1128971 SOS 767236 HAS SOPS 765330 HAS SOUS 64182 HAS SOUPS 62276 WITH SCORE 63043.236
AT ITER 6505 NEW BEST:: SOT 1128827 SOS 767092 HAS SOPS 765186 HAS SOUS 64082 HAS SOUPS 62176 WITH SCORE 62943.092
AT ITER 6517 NEW BEST:: SOT 1128828 SOS 767071 HAS SOPS 765165 HAS SOUS 64080 HAS SOUPS 62174 WITH SCORE 62941.071
AT ITER 6530 NEW BEST:: SOT 1128448 SOS 766691 HAS SOPS 764785 HAS SOUS 63952 HAS SOUPS 62046 WITH SCORE 62812.691
AT ITER 6574 NEW BEST:: SOT 1128447 SOS 766830 HAS SOPS 764924 HAS SOUS 63950 HAS SOUPS 62044 WITH SCORE 62810.83
AT ITER 6586 NEW BEST:: SOT 1128433 SOS 766816 HAS SOPS 764910 HAS SOUS 63919 HAS SOUPS 62013 WITH SCORE 62779.816
AT ITER 6595 NEW BEST:: SOT 1128433 SOS 766792 HAS SOPS 764886 HAS SOUS 63919 HAS SOUPS 62013 WITH SCORE 62779.792
AT ITER 6607 NEW BEST:: SOT 1128433 SOS 766744 HAS SOPS 764838 HAS SOUS 63919 HAS SOUPS 62013 WITH SCORE 62779.744
AT ITER 6632 NEW BEST:: SOT 1128480 SOS 766839 HAS SOPS 764933 HAS SOUS 63873 HAS SOUPS 61967 WITH SCORE 62733.839
AT ITER 6649 NEW BEST:: SOT 1128230 SOS 766589 HAS SOPS 764683 HAS SOUS 63854 HAS SOUPS 61948 WITH SCORE 62714.589
AT ITER 6668 NEW BEST:: SOT 1128230 SOS 761357 HAS SOPS 759451 HAS SOUS 63855 HAS SOUPS 61949 WITH SCORE 62710.357
AT ITER 6675 NEW BEST:: SOT 1128230 SOS 761285 HAS SOPS 759379 HAS SOUS 63852 HAS SOUPS 61946 WITH SCORE 62707.285
AT ITER 6679 NEW BEST:: SOT 1128230 SOS 761285 HAS SOPS 759379 HAS SOUS 63821 HAS SOUPS 61915 WITH SCORE 62676.285
AT ITER 6691 NEW BEST:: SOT 1128230 SOS 761225 HAS SOPS 759319 HAS SOUS 63821 HAS SOUPS 61915 WITH SCORE 62676.225
AT ITER 6736 NEW BEST:: SOT 1128230 SOS 761225 HAS SOPS 759319 HAS SOUS 63795 HAS SOUPS 61889 WITH SCORE 62650.225
AT ITER 6758 NEW BEST:: SOT 1128231 SOS 761208 HAS SOPS 759302 HAS SOUS 63717 HAS SOUPS 61811 WITH SCORE 62572.208
AT ITER 6785 NEW BEST:: SOT 1128231 SOS 760560 HAS SOPS 758654 HAS SOUS 63717 HAS SOUPS 61811 WITH SCORE 62571.56
AT ITER 6827 NEW BEST:: SOT 1128161 SOS 760490 HAS SOPS 758584 HAS SOUS 63608 HAS SOUPS 61702 WITH SCORE 62462.49
AT ITER 6836 NEW BEST:: SOT 1128281 SOS 760610 HAS SOPS 758704 HAS SOUS 63584 HAS SOUPS 61678 WITH SCORE 62438.61
AT ITER 6862 NEW BEST:: SOT 1128281 SOS 761251 HAS SOPS 759345 HAS SOUS 63567 HAS SOUPS 61661 WITH SCORE 62422.251
AT ITER 6868 NEW BEST:: SOT 1128281 SOS 761251 HAS SOPS 759345 HAS SOUS 63560 HAS SOUPS 61654 WITH SCORE 62415.251
AT ITER 6888 NEW BEST:: SOT 1127788 SOS 760758 HAS SOPS 758852 HAS SOUS 63341 HAS SOUPS 61435 WITH SCORE 62195.758
AT ITER 6911 NEW BEST:: SOT 1127788 SOS 760766 HAS SOPS 758860 HAS SOUS 63333 HAS SOUPS 61427 WITH SCORE 62187.766
AT ITER 6917 NEW BEST:: SOT 1127815 SOS 760793 HAS SOPS 758887 HAS SOUS 63294 HAS SOUPS 61388 WITH SCORE 62148.793
AT ITER 6950 NEW BEST:: SOT 1127916 SOS 760894 HAS SOPS 758988 HAS SOUS 63175 HAS SOUPS 61269 WITH SCORE 62029.894
AT ITER 6981 NEW BEST:: SOT 1127916 SOS 760150 HAS SOPS 758244 HAS SOUS 63175 HAS SOUPS 61269 WITH SCORE 62029.15
AT ITER 7008 NEW BEST:: SOT 1127916 SOS 759766 HAS SOPS 757860 HAS SOUS 63175 HAS SOUPS 61269 WITH SCORE 62028.766
AT ITER 7011 NEW BEST:: SOT 1127898 SOS 759748 HAS SOPS 757842 HAS SOUS 63130 HAS SOUPS 61224 WITH SCORE 61983.748
AT ITER 7032 NEW BEST:: SOT 1127967 SOS 759817 HAS SOPS 757911 HAS SOUS 63042 HAS SOUPS 61136 WITH SCORE 61895.817
AT ITER 7101 NEW BEST:: SOT 1127952 SOS 759802 HAS SOPS 757896 HAS SOUS 63009 HAS SOUPS 61103 WITH SCORE 61862.802
AT ITER 7126 NEW BEST:: SOT 1127952 SOS 758866 HAS SOPS 756960 HAS SOUS 63009 HAS SOUPS 61103 WITH SCORE 61861.866
AT ITER 7181 NEW BEST:: SOT 1127902 SOS 758816 HAS SOPS 756910 HAS SOUS 63006 HAS SOUPS 61100 WITH SCORE 61858.816
AT ITER 7364 NEW BEST:: SOT 1127909 SOS 754191 HAS SOPS 752285 HAS SOUS 62905 HAS SOUPS 60999 WITH SCORE 61753.191
AT ITER 7424 NEW BEST:: SOT 1127937 SOS 754219 HAS SOPS 752313 HAS SOUS 62749 HAS SOUPS 60843 WITH SCORE 61597.219
AT ITER 7453 NEW BEST:: SOT 1127028 SOS 753310 HAS SOPS 751404 HAS SOUS 62689 HAS SOUPS 60783 WITH SCORE 61536.31
AT ITER 7469 NEW BEST:: SOT 1126829 SOS 750807 HAS SOPS 748901 HAS SOUS 62486 HAS SOUPS 60580 WITH SCORE 61330.807
AT ITER 7480 NEW BEST:: SOT 1126829 SOS 750807 HAS SOPS 748901 HAS SOUS 62485 HAS SOUPS 60579 WITH SCORE 61329.807
AT ITER 7541 NEW BEST:: SOT 1126836 SOS 750814 HAS SOPS 748908 HAS SOUS 62477 HAS SOUPS 60571 WITH SCORE 61321.814
AT ITER 7613 NEW BEST:: SOT 1126486 SOS 750464 HAS SOPS 748558 HAS SOUS 62463 HAS SOUPS 60557 WITH SCORE 61307.464
AT ITER 7620 NEW BEST:: SOT 1126486 SOS 750176 HAS SOPS 748270 HAS SOUS 62463 HAS SOUPS 60557 WITH SCORE 61307.176
AT ITER 7689 NEW BEST:: SOT 1126486 SOS 749144 HAS SOPS 747238 HAS SOUS 62462 HAS SOUPS 60556 WITH SCORE 61305.144
AT ITER 7703 NEW BEST:: SOT 1126486 SOS 748856 HAS SOPS 746950 HAS SOUS 62448 HAS SOUPS 60542 WITH SCORE 61290.856
AT ITER 7707 NEW BEST:: SOT 1126485 SOS 748855 HAS SOPS 746949 HAS SOUS 62447 HAS SOUPS 60541 WITH SCORE 61289.855
AT ITER 7726 NEW BEST:: SOT 1126485 SOS 748855 HAS SOPS 746949 HAS SOUS 62408 HAS SOUPS 60502 WITH SCORE 61250.855
AT ITER 7765 NEW BEST:: SOT 1126485 SOS 749081 HAS SOPS 747189 HAS SOUS 62376 HAS SOUPS 60484 WITH SCORE 61233.081
AT ITER 7792 NEW BEST:: SOT 1126485 SOS 749127 HAS SOPS 747233 HAS SOUS 62376 HAS SOUPS 60482 WITH SCORE 61231.127
AT ITER 7811 NEW BEST:: SOT 1126857 SOS 749499 HAS SOPS 747605 HAS SOUS 62152 HAS SOUPS 60258 WITH SCORE 61007.499
AT ITER 7851 NEW BEST:: SOT 1126854 SOS 749496 HAS SOPS 747602 HAS SOUS 62149 HAS SOUPS 60255 WITH SCORE 61004.496
AT ITER 7874 NEW BEST:: SOT 1126854 SOS 749628 HAS SOPS 747734 HAS SOUS 62143 HAS SOUPS 60249 WITH SCORE 60998.628
AT ITER 7882 NEW BEST:: SOT 1126857 SOS 749631 HAS SOPS 747737 HAS SOUS 62071 HAS SOUPS 60177 WITH SCORE 60926.631
AT ITER 7906 NEW BEST:: SOT 1126848 SOS 749622 HAS SOPS 747728 HAS SOUS 62054 HAS SOUPS 60160 WITH SCORE 60909.622
AT ITER 7912 NEW BEST:: SOT 1126838 SOS 749612 HAS SOPS 747718 HAS SOUS 62032 HAS SOUPS 60138 WITH SCORE 60887.612
AT ITER 7926 NEW BEST:: SOT 1127054 SOS 749724 HAS SOPS 747831 HAS SOUS 61975 HAS SOUPS 60082 WITH SCORE 60831.724
AT ITER 7973 NEW BEST:: SOT 1127054 SOS 742956 HAS SOPS 741063 HAS SOUS 61980 HAS SOUPS 60087 WITH SCORE 60829.956
AT ITER 8014 NEW BEST:: SOT 1127054 SOS 733716 HAS SOPS 731823 HAS SOUS 61960 HAS SOUPS 60067 WITH SCORE 60800.716
AT ITER 8068 NEW BEST:: SOT 1127054 SOS 735780 HAS SOPS 733887 HAS SOUS 61798 HAS SOUPS 59905 WITH SCORE 60640.78
AT ITER 8073 NEW BEST:: SOT 1127054 SOS 735588 HAS SOPS 733695 HAS SOUS 61798 HAS SOUPS 59905 WITH SCORE 60640.588
AT ITER 8089 NEW BEST:: SOT 1127026 SOS 735281 HAS SOPS 733337 HAS SOUS 61849 HAS SOUPS 59905 WITH SCORE 60640.281
AT ITER 8092 NEW BEST:: SOT 1127026 SOS 735137 HAS SOPS 733193 HAS SOUS 61847 HAS SOUPS 59903 WITH SCORE 60638.137
AT ITER 8139 NEW BEST:: SOT 1127026 SOS 735137 HAS SOPS 733193 HAS SOUS 61765 HAS SOUPS 59821 WITH SCORE 60556.137
AT ITER 8241 NEW BEST:: SOT 1127026 SOS 735089 HAS SOPS 733145 HAS SOUS 61765 HAS SOUPS 59821 WITH SCORE 60556.089
AT ITER 8325 NEW BEST:: SOT 1127026 SOS 735089 HAS SOPS 733145 HAS SOUS 61763 HAS SOUPS 59819 WITH SCORE 60554.089
AT ITER 8334 NEW BEST:: SOT 1127026 SOS 734777 HAS SOPS 732833 HAS SOUS 61757 HAS SOUPS 59813 WITH SCORE 60547.777
AT ITER 8342 NEW BEST:: SOT 1127028 SOS 734779 HAS SOPS 732835 HAS SOUS 61742 HAS SOUPS 59798 WITH SCORE 60532.779
AT ITER 8356 NEW BEST:: SOT 1127004 SOS 734755 HAS SOPS 732811 HAS SOUS 61718 HAS SOUPS 59774 WITH SCORE 60508.755
AT ITER 8379 NEW BEST:: SOT 1127004 SOS 733030 HAS SOPS 731086 HAS SOUS 61718 HAS SOUPS 59774 WITH SCORE 60507.03
AT ITER 8388 NEW BEST:: SOT 1127001 SOS 733027 HAS SOPS 731083 HAS SOUS 61715 HAS SOUPS 59771 WITH SCORE 60504.027
AT ITER 8430 NEW BEST:: SOT 1127001 SOS 733027 HAS SOPS 731083 HAS SOUS 61709 HAS SOUPS 59765 WITH SCORE 60498.027
AT ITER 8447 NEW BEST:: SOT 1127290 SOS 733316 HAS SOPS 731372 HAS SOUS 61619 HAS SOUPS 59675 WITH SCORE 60408.316
AT ITER 8448 NEW BEST:: SOT 1127214 SOS 733240 HAS SOPS 731296 HAS SOUS 61552 HAS SOUPS 59608 WITH SCORE 60341.24
AT ITER 8488 NEW BEST:: SOT 1127467 SOS 733493 HAS SOPS 731549 HAS SOUS 60976 HAS SOUPS 59032 WITH SCORE 59765.493
AT ITER 8559 NEW BEST:: SOT 1127459 SOS 733485 HAS SOPS 731541 HAS SOUS 60968 HAS SOUPS 59024 WITH SCORE 59757.485
AT ITER 8566 NEW BEST:: SOT 1127459 SOS 732837 HAS SOPS 730893 HAS SOUS 60965 HAS SOUPS 59021 WITH SCORE 59753.837
AT ITER 8576 NEW BEST:: SOT 1127449 SOS 732827 HAS SOPS 730883 HAS SOUS 60942 HAS SOUPS 58998 WITH SCORE 59730.827
AT ITER 8599 NEW BEST:: SOT 1127449 SOS 732543 HAS SOPS 730599 HAS SOUS 60942 HAS SOUPS 58998 WITH SCORE 59730.543
AT ITER 8641 NEW BEST:: SOT 1127449 SOS 732543 HAS SOPS 730599 HAS SOUS 60940 HAS SOUPS 58996 WITH SCORE 59728.543
AT ITER 8687 NEW BEST:: SOT 1126847 SOS 731941 HAS SOPS 729997 HAS SOUS 60760 HAS SOUPS 58816 WITH SCORE 59547.941
AT ITER 8707 NEW BEST:: SOT 1126847 SOS 731629 HAS SOPS 729685 HAS SOUS 60760 HAS SOUPS 58816 WITH SCORE 59547.629
AT ITER 8728 NEW BEST:: SOT 1126547 SOS 731041 HAS SOPS 729097 HAS SOUS 60746 HAS SOUPS 58802 WITH SCORE 59533.041
AT ITER 8818 NEW BEST:: SOT 1126547 SOS 730897 HAS SOPS 728953 HAS SOUS 60746 HAS SOUPS 58802 WITH SCORE 59532.897
AT ITER 8852 NEW BEST:: SOT 1126523 SOS 730873 HAS SOPS 728929 HAS SOUS 60734 HAS SOUPS 58790 WITH SCORE 59520.873
AT ITER 8934 NEW BEST:: SOT 1126521 SOS 730823 HAS SOPS 728879 HAS SOUS 60730 HAS SOUPS 58786 WITH SCORE 59516.823
AT ITER 8968 NEW BEST:: SOT 1129547 SOS 735303 HAS SOPS 733369 HAS SOUS 60590 HAS SOUPS 58656 WITH SCORE 59391.303
AT ITER 8979 NEW BEST:: SOT 1129547 SOS 734991 HAS SOPS 733057 HAS SOUS 60590 HAS SOUPS 58656 WITH SCORE 59390.991
AT ITER 8987 NEW BEST:: SOT 1129542 SOS 737549 HAS SOPS 735620 HAS SOUS 60552 HAS SOUPS 58623 WITH SCORE 59360.549
AT ITER 9004 NEW BEST:: SOT 1129542 SOS 737950 HAS SOPS 736021 HAS SOUS 60533 HAS SOUPS 58604 WITH SCORE 59341.95
AT ITER 9036 NEW BEST:: SOT 1129542 SOS 737926 HAS SOPS 735997 HAS SOUS 60533 HAS SOUPS 58604 WITH SCORE 59341.926
AT ITER 9051 NEW BEST:: SOT 1129534 SOS 737918 HAS SOPS 735989 HAS SOUS 60526 HAS SOUPS 58597 WITH SCORE 59334.918
AT ITER 9099 NEW BEST:: SOT 1129534 SOS 737918 HAS SOPS 735989 HAS SOUS 60513 HAS SOUPS 58584 WITH SCORE 59321.918
AT ITER 9103 NEW BEST:: SOT 1129530 SOS 737722 HAS SOPS 735793 HAS SOUS 60509 HAS SOUPS 58580 WITH SCORE 59317.722
AT ITER 9115 NEW BEST:: SOT 1129416 SOS 737608 HAS SOPS 735679 HAS SOUS 60491 HAS SOUPS 58562 WITH SCORE 59299.608
AT ITER 9231 NEW BEST:: SOT 1129416 SOS 736888 HAS SOPS 734959 HAS SOUS 60491 HAS SOUPS 58562 WITH SCORE 59298.888
AT ITER 9248 NEW BEST:: SOT 1129416 SOS 736840 HAS SOPS 734911 HAS SOUS 60491 HAS SOUPS 58562 WITH SCORE 59298.84
AT ITER 9284 NEW BEST:: SOT 1129418 SOS 736842 HAS SOPS 734913 HAS SOUS 60483 HAS SOUPS 58554 WITH SCORE 59290.842
AT ITER 9293 NEW BEST:: SOT 1129428 SOS 736852 HAS SOPS 734923 HAS SOUS 60418 HAS SOUPS 58489 WITH SCORE 59225.852
AT ITER 9330 NEW BEST:: SOT 1129636 SOS 737060 HAS SOPS 735131 HAS SOUS 60390 HAS SOUPS 58461 WITH SCORE 59198.06
AT ITER 9333 NEW BEST:: SOT 1129636 SOS 737022 HAS SOPS 735093 HAS SOUS 60390 HAS SOUPS 58461 WITH SCORE 59198.022
AT ITER 9367 NEW BEST:: SOT 1129612 SOS 736998 HAS SOPS 735069 HAS SOUS 60387 HAS SOUPS 58458 WITH SCORE 59194.998
AT ITER 9372 NEW BEST:: SOT 1129614 SOS 737000 HAS SOPS 735071 HAS SOUS 60375 HAS SOUPS 58446 WITH SCORE 59183.0
AT ITER 9452 NEW BEST:: SOT 1128606 SOS 735940 HAS SOPS 733998 HAS SOUS 60328 HAS SOUPS 58386 WITH SCORE 59121.94
AT ITER 9455 NEW BEST:: SOT 1128606 SOS 735959 HAS SOPS 733994 HAS SOUS 60328 HAS SOUPS 58363 WITH SCORE 59098.959
AT ITER 9556 NEW BEST:: SOT 1128606 SOS 735875 HAS SOPS 733910 HAS SOUS 60328 HAS SOUPS 58363 WITH SCORE 59098.875
AT ITER 9611 NEW BEST:: SOT 1128641 SOS 735910 HAS SOPS 733945 HAS SOUS 60317 HAS SOUPS 58352 WITH SCORE 59087.91
AT ITER 9690 NEW BEST:: SOT 1128626 SOS 735895 HAS SOPS 733930 HAS SOUS 60290 HAS SOUPS 58325 WITH SCORE 59060.895
AT ITER 9811 NEW BEST:: SOT 1129215 SOS 736484 HAS SOPS 734519 HAS SOUS 60286 HAS SOUPS 58321 WITH SCORE 59057.484
AT ITER 9902 NEW BEST:: SOT 1129215 SOS 736052 HAS SOPS 734087 HAS SOUS 60286 HAS SOUPS 58321 WITH SCORE 59057.052
AT ITER 9904 NEW BEST:: SOT 1129215 SOS 735465 HAS SOPS 733487 HAS SOUS 60245 HAS SOUPS 58271 WITH SCORE 59006.465
AT ITER 9954 NEW BEST:: SOT 1129215 SOS 735441 HAS SOPS 733463 HAS SOUS 60245 HAS SOUPS 58271 WITH SCORE 59006.441
AT ITER 9957 NEW BEST:: SOT 1129275 SOS 735501 HAS SOPS 733523 HAS SOUS 60233 HAS SOUPS 58259 WITH SCORE 58994.501
AT ITER 9986 NEW BEST:: SOT 1129335 SOS 735561 HAS SOPS 733583 HAS SOUS 60221 HAS SOUPS 58247 WITH SCORE 58982.561
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 10999220 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16144972 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="Medical-PT-24"
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 Medical-PT-24, 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 r227-tall-167856410900744"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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