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.r099-tall-167814472900816.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 DLCshifumi-PT-3a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472900816
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 9.3K Feb 26 09:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 26 09:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 08:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 08:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 10:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 10:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 10:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 103K Feb 26 10:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:54 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 778K 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 1678265713341

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=DLCshifumi-PT-3a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 3a
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: 544 places, 3097 transitions, 11545 arcs.
AT ITER 0 NEW BEST:: SOT 1161244 SOS 902926 HAS SOPS 486037 HAS SOUS 143202 HAS SOUPS 74919 WITH SCORE 75821.926
AT ITER 5 NEW BEST:: SOT 1161244 SOS 902926 HAS SOPS 486037 HAS SOUS 143132 HAS SOUPS 74849 WITH SCORE 75751.926
AT ITER 39 NEW BEST:: SOT 1161128 SOS 902694 HAS SOPS 486180 HAS SOUS 142891 HAS SOUPS 74733 WITH SCORE 75635.694
AT ITER 41 NEW BEST:: SOT 1161042 SOS 902522 HAS SOPS 486245 HAS SOUS 142726 HAS SOUPS 74647 WITH SCORE 75549.522
AT ITER 43 NEW BEST:: SOT 1160275 SOS 907048 HAS SOPS 488287 HAS SOUS 142552 HAS SOUPS 74197 WITH SCORE 75104.048
AT ITER 44 NEW BEST:: SOT 1160275 SOS 907048 HAS SOPS 488287 HAS SOUS 142542 HAS SOUPS 74187 WITH SCORE 75094.048
AT ITER 47 NEW BEST:: SOT 1160275 SOS 907048 HAS SOPS 488287 HAS SOUS 142514 HAS SOUPS 74159 WITH SCORE 75066.048
AT ITER 51 NEW BEST:: SOT 1159353 SOS 907216 HAS SOPS 487303 HAS SOUS 142036 HAS SOUPS 73553 WITH SCORE 74460.216
AT ITER 53 NEW BEST:: SOT 1158921 SOS 907094 HAS SOPS 486863 HAS SOUS 141755 HAS SOUPS 73272 WITH SCORE 74179.094
AT ITER 55 NEW BEST:: SOT 1157563 SOS 908901 HAS SOPS 487224 HAS SOUS 140975 HAS SOUPS 72492 WITH SCORE 73400.901
AT ITER 59 NEW BEST:: SOT 1156636 SOS 909459 HAS SOPS 486513 HAS SOUS 140484 HAS SOUPS 71860 WITH SCORE 72769.459
AT ITER 73 NEW BEST:: SOT 1156524 SOS 909235 HAS SOPS 486538 HAS SOUS 140289 HAS SOUPS 71748 WITH SCORE 72657.235
AT ITER 74 NEW BEST:: SOT 1155592 SOS 909212 HAS SOPS 485471 HAS SOUS 139761 HAS SOUPS 71104 WITH SCORE 72013.212
AT ITER 80 NEW BEST:: SOT 1155390 SOS 908588 HAS SOPS 484847 HAS SOUS 139449 HAS SOUPS 70792 WITH SCORE 71700.588
AT ITER 82 NEW BEST:: SOT 1155390 SOS 908588 HAS SOPS 484847 HAS SOUS 139371 HAS SOUPS 70714 WITH SCORE 71622.588
AT ITER 91 NEW BEST:: SOT 1152472 SOS 905161 HAS SOPS 482793 HAS SOUS 139193 HAS SOUPS 70601 WITH SCORE 71506.161
AT ITER 93 NEW BEST:: SOT 1152366 SOS 904949 HAS SOPS 482944 HAS SOUS 138966 HAS SOUPS 70495 WITH SCORE 71399.949
AT ITER 105 NEW BEST:: SOT 1152188 SOS 904593 HAS SOPS 482885 HAS SOUS 138610 HAS SOUPS 70238 WITH SCORE 71142.593
AT ITER 106 NEW BEST:: SOT 1151876 SOS 904047 HAS SOPS 482573 HAS SOUS 138403 HAS SOUPS 70109 WITH SCORE 71013.047
AT ITER 108 NEW BEST:: SOT 1150979 SOS 904681 HAS SOPS 481902 HAS SOUS 137932 HAS SOUPS 69493 WITH SCORE 70397.681
AT ITER 112 NEW BEST:: SOT 1150839 SOS 904401 HAS SOPS 482045 HAS SOUS 137651 HAS SOUPS 69353 WITH SCORE 70257.401
AT ITER 115 NEW BEST:: SOT 1150741 SOS 904009 HAS SOPS 481653 HAS SOUS 137553 HAS SOUPS 69255 WITH SCORE 70159.009
AT ITER 117 NEW BEST:: SOT 1150510 SOS 903547 HAS SOPS 481746 HAS SOUS 137040 HAS SOUPS 68927 WITH SCORE 69830.547
AT ITER 120 NEW BEST:: SOT 1149215 SOS 903914 HAS SOPS 481135 HAS SOUS 136098 HAS SOUPS 67985 WITH SCORE 68888.914
AT ITER 122 NEW BEST:: SOT 1148955 SOS 903836 HAS SOPS 480927 HAS SOUS 135968 HAS SOUPS 67855 WITH SCORE 68758.836
AT ITER 123 NEW BEST:: SOT 1148742 SOS 904404 HAS SOPS 480856 HAS SOUS 135897 HAS SOUPS 67713 WITH SCORE 68617.404
AT ITER 124 NEW BEST:: SOT 1148654 SOS 904228 HAS SOPS 481154 HAS SOUS 135651 HAS SOUPS 67625 WITH SCORE 68529.228
AT ITER 128 NEW BEST:: SOT 1148452 SOS 903824 HAS SOPS 481053 HAS SOUS 135247 HAS SOUPS 67322 WITH SCORE 68225.824
AT ITER 133 NEW BEST:: SOT 1148356 SOS 903584 HAS SOPS 480957 HAS SOUS 135151 HAS SOUPS 67274 WITH SCORE 68177.584
AT ITER 135 NEW BEST:: SOT 1148312 SOS 903496 HAS SOPS 481088 HAS SOUS 134991 HAS SOUPS 67187 WITH SCORE 68090.496
AT ITER 138 NEW BEST:: SOT 1147555 SOS 903158 HAS SOPS 479967 HAS SOUS 134503 HAS SOUPS 66612 WITH SCORE 67515.158
AT ITER 140 NEW BEST:: SOT 1147347 SOS 904452 HAS SOPS 480649 HAS SOUS 134497 HAS SOUPS 66606 WITH SCORE 67510.452
AT ITER 146 NEW BEST:: SOT 1146087 SOS 905347 HAS SOPS 480164 HAS SOUS 133716 HAS SOUPS 65825 WITH SCORE 66730.347
AT ITER 150 NEW BEST:: SOT 1143499 SOS 902406 HAS SOPS 478288 HAS SOUS 133608 HAS SOUPS 65742 WITH SCORE 66644.406
AT ITER 152 NEW BEST:: SOT 1143493 SOS 902344 HAS SOPS 478226 HAS SOUS 133602 HAS SOUPS 65736 WITH SCORE 66638.344
AT ITER 161 NEW BEST:: SOT 1143369 SOS 901788 HAS SOPS 477670 HAS SOUS 133478 HAS SOUPS 65612 WITH SCORE 66513.788
AT ITER 165 NEW BEST:: SOT 1143352 SOS 901754 HAS SOPS 478185 HAS SOUS 133272 HAS SOUPS 65589 WITH SCORE 66490.754
AT ITER 167 NEW BEST:: SOT 1143243 SOS 901835 HAS SOPS 478059 HAS SOUS 133193 HAS SOUPS 65487 WITH SCORE 66388.835
AT ITER 175 NEW BEST:: SOT 1143243 SOS 901835 HAS SOPS 478059 HAS SOUS 133177 HAS SOUPS 65471 WITH SCORE 66372.835
AT ITER 180 NEW BEST:: SOT 1143233 SOS 901815 HAS SOPS 478054 HAS SOUS 133157 HAS SOUPS 65456 WITH SCORE 66357.815
AT ITER 186 NEW BEST:: SOT 1143169 SOS 901655 HAS SOPS 477894 HAS SOUS 133061 HAS SOUPS 65360 WITH SCORE 66261.655
AT ITER 187 NEW BEST:: SOT 1142573 SOS 905284 HAS SOPS 479993 HAS SOUS 132947 HAS SOUPS 65246 WITH SCORE 66151.284
AT ITER 188 NEW BEST:: SOT 1139718 SOS 901757 HAS SOPS 478034 HAS SOUS 132836 HAS SOUPS 65238 WITH SCORE 66139.757
AT ITER 190 NEW BEST:: SOT 1139638 SOS 901576 HAS SOPS 478240 HAS SOUS 132627 HAS SOUPS 65158 WITH SCORE 66059.576
AT ITER 194 NEW BEST:: SOT 1137995 SOS 899725 HAS SOPS 477169 HAS SOUS 132619 HAS SOUPS 65150 WITH SCORE 66049.725
AT ITER 205 NEW BEST:: SOT 1137680 SOS 899003 HAS SOPS 476886 HAS SOUS 132429 HAS SOUPS 65059 WITH SCORE 65958.003
AT ITER 208 NEW BEST:: SOT 1137654 SOS 898912 HAS SOPS 476795 HAS SOUS 132414 HAS SOUPS 65044 WITH SCORE 65942.912
AT ITER 219 NEW BEST:: SOT 1137436 SOS 898476 HAS SOPS 476686 HAS SOUS 131978 HAS SOUPS 64717 WITH SCORE 65615.476
AT ITER 223 NEW BEST:: SOT 1137322 SOS 898248 HAS SOPS 476764 HAS SOUS 131762 HAS SOUPS 64603 WITH SCORE 65501.248
AT ITER 225 NEW BEST:: SOT 1136887 SOS 897413 HAS SOPS 476229 HAS SOUS 131127 HAS SOUPS 64068 WITH SCORE 64965.413
AT ITER 236 NEW BEST:: SOT 1135981 SOS 897152 HAS SOPS 475881 HAS SOUS 130726 HAS SOUPS 63758 WITH SCORE 64655.152
AT ITER 239 NEW BEST:: SOT 1135955 SOS 897087 HAS SOPS 475816 HAS SOUS 130622 HAS SOUPS 63654 WITH SCORE 64551.087
AT ITER 244 NEW BEST:: SOT 1135882 SOS 896941 HAS SOPS 475802 HAS SOUS 130476 HAS SOUPS 63552 WITH SCORE 64448.941
AT ITER 256 NEW BEST:: SOT 1135849 SOS 896875 HAS SOPS 475736 HAS SOUS 130443 HAS SOUPS 63519 WITH SCORE 64415.875
AT ITER 258 NEW BEST:: SOT 1135785 SOS 896747 HAS SOPS 475608 HAS SOUS 130379 HAS SOUPS 63455 WITH SCORE 64351.747
AT ITER 272 NEW BEST:: SOT 1135713 SOS 896664 HAS SOPS 475708 HAS SOUS 130246 HAS SOUPS 63383 WITH SCORE 64279.664
AT ITER 281 NEW BEST:: SOT 1135574 SOS 896386 HAS SOPS 475901 HAS SOUS 129885 HAS SOUPS 63179 WITH SCORE 64075.386
AT ITER 287 NEW BEST:: SOT 1136836 SOS 900753 HAS SOPS 478206 HAS SOUS 129769 HAS SOUPS 63049 WITH SCORE 63949.753
AT ITER 295 NEW BEST:: SOT 1136804 SOS 900673 HAS SOPS 478126 HAS SOUS 129737 HAS SOUPS 63017 WITH SCORE 63917.673
AT ITER 310 NEW BEST:: SOT 1136644 SOS 900414 HAS SOPS 478050 HAS SOUS 129657 HAS SOUPS 62998 WITH SCORE 63898.414
AT ITER 316 NEW BEST:: SOT 1136644 SOS 900237 HAS SOPS 477873 HAS SOUS 129657 HAS SOUPS 62998 WITH SCORE 63898.237
AT ITER 322 NEW BEST:: SOT 1136644 SOS 900063 HAS SOPS 477699 HAS SOUS 129657 HAS SOUPS 62998 WITH SCORE 63898.063
AT ITER 334 NEW BEST:: SOT 1134351 SOS 897513 HAS SOPS 475996 HAS SOUS 129340 HAS SOUPS 62695 WITH SCORE 63592.513
AT ITER 335 NEW BEST:: SOT 1134287 SOS 897385 HAS SOPS 475964 HAS SOUS 129244 HAS SOUPS 62631 WITH SCORE 63528.385
AT ITER 337 NEW BEST:: SOT 1134226 SOS 897263 HAS SOPS 475842 HAS SOUS 129153 HAS SOUPS 62540 WITH SCORE 63437.263
AT ITER 343 NEW BEST:: SOT 1132249 SOS 894946 HAS SOPS 474365 HAS SOUS 128985 HAS SOUPS 62397 WITH SCORE 63291.946
AT ITER 346 NEW BEST:: SOT 1132537 SOS 895408 HAS SOPS 474485 HAS SOUS 128927 HAS SOUPS 62225 WITH SCORE 63120.408
AT ITER 353 NEW BEST:: SOT 1132471 SOS 895287 HAS SOPS 474397 HAS SOUS 128883 HAS SOUPS 62192 WITH SCORE 63087.287
AT ITER 366 NEW BEST:: SOT 1132430 SOS 895040 HAS SOPS 474315 HAS SOUS 128806 HAS SOUPS 62170 WITH SCORE 63065.04
AT ITER 373 NEW BEST:: SOT 1132430 SOS 895040 HAS SOPS 474315 HAS SOUS 128766 HAS SOUPS 62130 WITH SCORE 63025.04
AT ITER 377 NEW BEST:: SOT 1132430 SOS 895040 HAS SOPS 474315 HAS SOUS 128758 HAS SOUPS 62122 WITH SCORE 63017.04
AT ITER 378 NEW BEST:: SOT 1131278 SOS 896691 HAS SOPS 474514 HAS SOUS 128469 HAS SOUPS 61833 WITH SCORE 62729.691
AT ITER 388 NEW BEST:: SOT 1128966 SOS 893951 HAS SOPS 472925 HAS SOUS 128413 HAS SOUPS 61830 WITH SCORE 62723.951
AT ITER 389 NEW BEST:: SOT 1128966 SOS 893951 HAS SOPS 472925 HAS SOUS 128381 HAS SOUPS 61798 WITH SCORE 62691.951
AT ITER 393 NEW BEST:: SOT 1126993 SOS 890747 HAS SOPS 472299 HAS SOUS 128137 HAS SOUPS 61730 WITH SCORE 62620.747
AT ITER 401 NEW BEST:: SOT 1125129 SOS 888470 HAS SOPS 470886 HAS SOUS 127942 HAS SOUPS 61535 WITH SCORE 62423.47
AT ITER 404 NEW BEST:: SOT 1125121 SOS 886774 HAS SOPS 469190 HAS SOUS 127942 HAS SOUPS 61535 WITH SCORE 62421.774
AT ITER 407 NEW BEST:: SOT 1125121 SOS 886774 HAS SOPS 469190 HAS SOUS 127874 HAS SOUPS 61467 WITH SCORE 62353.774
AT ITER 408 NEW BEST:: SOT 1124073 SOS 886770 HAS SOPS 468292 HAS SOUS 127096 HAS SOUPS 60689 WITH SCORE 61575.77
AT ITER 415 NEW BEST:: SOT 1123868 SOS 886808 HAS SOPS 468042 HAS SOUS 127038 HAS SOUPS 60599 WITH SCORE 61485.808
AT ITER 423 NEW BEST:: SOT 1123732 SOS 886128 HAS SOPS 467770 HAS SOUS 126727 HAS SOUPS 60424 WITH SCORE 61310.128
AT ITER 428 NEW BEST:: SOT 1120016 SOS 881176 HAS SOPS 465298 HAS SOUS 126416 HAS SOUPS 60427 WITH SCORE 61308.176
AT ITER 437 NEW BEST:: SOT 1119997 SOS 881138 HAS SOPS 465107 HAS SOUS 126429 HAS SOUPS 60389 WITH SCORE 61270.138
AT ITER 444 NEW BEST:: SOT 1119888 SOS 880920 HAS SOPS 464889 HAS SOUS 126236 HAS SOUPS 60196 WITH SCORE 61076.92
AT ITER 457 NEW BEST:: SOT 1119884 SOS 880867 HAS SOPS 464836 HAS SOUS 126232 HAS SOUPS 60192 WITH SCORE 61072.867
AT ITER 459 NEW BEST:: SOT 1120184 SOS 881257 HAS SOPS 465046 HAS SOUS 126172 HAS SOUPS 60132 WITH SCORE 61013.257
AT ITER 460 NEW BEST:: SOT 1118924 SOS 879729 HAS SOPS 464262 HAS SOUS 126152 HAS SOUPS 60112 WITH SCORE 60991.729
AT ITER 461 NEW BEST:: SOT 1118936 SOS 879753 HAS SOPS 464286 HAS SOUS 126132 HAS SOUPS 60092 WITH SCORE 60971.753
AT ITER 463 NEW BEST:: SOT 1115404 SOS 875523 HAS SOPS 461980 HAS SOUS 125932 HAS SOUPS 60047 WITH SCORE 60922.523
AT ITER 470 NEW BEST:: SOT 1115271 SOS 875004 HAS SOPS 461923 HAS SOUS 125689 HAS SOUPS 59958 WITH SCORE 60833.004
AT ITER 508 NEW BEST:: SOT 1115253 SOS 875066 HAS SOPS 462279 HAS SOUS 125573 HAS SOUPS 59940 WITH SCORE 60815.066
AT ITER 514 NEW BEST:: SOT 1115085 SOS 874730 HAS SOPS 461943 HAS SOUS 125386 HAS SOUPS 59753 WITH SCORE 60627.73
AT ITER 517 NEW BEST:: SOT 1115142 SOS 874958 HAS SOPS 462000 HAS SOUS 125386 HAS SOUPS 59696 WITH SCORE 60570.958
AT ITER 529 NEW BEST:: SOT 1114942 SOS 874558 HAS SOPS 461600 HAS SOUS 125186 HAS SOUPS 59496 WITH SCORE 60370.558
AT ITER 531 NEW BEST:: SOT 1114626 SOS 875700 HAS SOPS 462550 HAS SOUS 125121 HAS SOUPS 59494 WITH SCORE 60369.7
AT ITER 538 NEW BEST:: SOT 1113880 SOS 874452 HAS SOPS 462034 HAS SOUS 124700 HAS SOUPS 59317 WITH SCORE 60191.452
AT ITER 539 NEW BEST:: SOT 1113880 SOS 874452 HAS SOPS 462034 HAS SOUS 124698 HAS SOUPS 59315 WITH SCORE 60189.452
AT ITER 541 NEW BEST:: SOT 1114215 SOS 874653 HAS SOPS 462235 HAS SOUS 124566 HAS SOUPS 59250 WITH SCORE 60124.653
AT ITER 542 NEW BEST:: SOT 1114164 SOS 874840 HAS SOPS 462269 HAS SOUS 124566 HAS SOUPS 59233 WITH SCORE 60107.84
AT ITER 554 NEW BEST:: SOT 1114164 SOS 874840 HAS SOPS 462269 HAS SOUS 124552 HAS SOUPS 59219 WITH SCORE 60093.84
AT ITER 556 NEW BEST:: SOT 1114076 SOS 874576 HAS SOPS 462357 HAS SOUS 124464 HAS SOUPS 59219 WITH SCORE 60093.576
AT ITER 563 NEW BEST:: SOT 1114028 SOS 874492 HAS SOPS 462273 HAS SOUS 124416 HAS SOUPS 59171 WITH SCORE 60045.492
AT ITER 564 NEW BEST:: SOT 1113463 SOS 873567 HAS SOPS 462208 HAS SOUS 124281 HAS SOUPS 59146 WITH SCORE 60019.567
AT ITER 566 NEW BEST:: SOT 1113320 SOS 873400 HAS SOPS 462109 HAS SOUS 124140 HAS SOUPS 59027 WITH SCORE 59900.4
AT ITER 568 NEW BEST:: SOT 1112864 SOS 873744 HAS SOPS 461769 HAS SOUS 124105 HAS SOUPS 58916 WITH SCORE 59789.744
AT ITER 579 NEW BEST:: SOT 1110798 SOS 870450 HAS SOPS 461305 HAS SOUS 123787 HAS SOUPS 58900 WITH SCORE 59770.45
AT ITER 587 NEW BEST:: SOT 1109758 SOS 871655 HAS SOPS 461394 HAS SOUS 123307 HAS SOUPS 58420 WITH SCORE 59291.655
AT ITER 589 NEW BEST:: SOT 1109758 SOS 871823 HAS SOPS 461394 HAS SOUS 123306 HAS SOUPS 58363 WITH SCORE 59234.823
AT ITER 594 NEW BEST:: SOT 1109758 SOS 871823 HAS SOPS 461394 HAS SOUS 123244 HAS SOUPS 58301 WITH SCORE 59172.823
AT ITER 595 NEW BEST:: SOT 1109473 SOS 870705 HAS SOPS 460849 HAS SOUS 122612 HAS SOUPS 57860 WITH SCORE 58730.705
AT ITER 599 NEW BEST:: SOT 1108279 SOS 869357 HAS SOPS 459961 HAS SOUS 122632 HAS SOUPS 57839 WITH SCORE 58708.357
AT ITER 603 NEW BEST:: SOT 1108388 SOS 868115 HAS SOPS 459157 HAS SOUS 122621 HAS SOUPS 57828 WITH SCORE 58696.115
AT ITER 604 NEW BEST:: SOT 1108113 SOS 867640 HAS SOPS 458682 HAS SOUS 122537 HAS SOUPS 57744 WITH SCORE 58611.64
AT ITER 606 NEW BEST:: SOT 1108113 SOS 867640 HAS SOPS 458682 HAS SOUS 122527 HAS SOUPS 57734 WITH SCORE 58601.64
AT ITER 611 NEW BEST:: SOT 1108113 SOS 867080 HAS SOPS 458290 HAS SOUS 122499 HAS SOUPS 57706 WITH SCORE 58573.08
AT ITER 616 NEW BEST:: SOT 1108406 SOS 867373 HAS SOPS 458415 HAS SOUS 122456 HAS SOUPS 57663 WITH SCORE 58530.373
AT ITER 618 NEW BEST:: SOT 1108329 SOS 866815 HAS SOPS 457857 HAS SOUS 122379 HAS SOUPS 57586 WITH SCORE 58452.815
AT ITER 638 NEW BEST:: SOT 1108119 SOS 866515 HAS SOPS 457647 HAS SOUS 122349 HAS SOUPS 57556 WITH SCORE 58422.515
AT ITER 640 NEW BEST:: SOT 1107951 SOS 866256 HAS SOPS 457619 HAS SOUS 122188 HAS SOUPS 57472 WITH SCORE 58338.256
AT ITER 645 NEW BEST:: SOT 1107729 SOS 866390 HAS SOPS 457447 HAS SOUS 122152 HAS SOUPS 57402 WITH SCORE 58268.39
AT ITER 649 NEW BEST:: SOT 1107729 SOS 866390 HAS SOPS 457447 HAS SOUS 122082 HAS SOUPS 57332 WITH SCORE 58198.39
AT ITER 682 NEW BEST:: SOT 1108609 SOS 867188 HAS SOPS 457887 HAS SOUS 121872 HAS SOUPS 57163 WITH SCORE 58030.188
AT ITER 683 NEW BEST:: SOT 1108157 SOS 868319 HAS SOPS 457956 HAS SOUS 121656 HAS SOUPS 56829 WITH SCORE 57697.319
AT ITER 695 NEW BEST:: SOT 1107383 SOS 866995 HAS SOPS 457304 HAS SOUS 121358 HAS SOUPS 56755 WITH SCORE 57621.995
AT ITER 700 NEW BEST:: SOT 1106785 SOS 868102 HAS SOPS 457403 HAS SOUS 121270 HAS SOUPS 56555 WITH SCORE 57423.102
AT ITER 704 NEW BEST:: SOT 1106310 SOS 867160 HAS SOPS 457242 HAS SOUS 121054 HAS SOUPS 56496 WITH SCORE 57363.16
AT ITER 705 NEW BEST:: SOT 1105297 SOS 869843 HAS SOPS 458425 HAS SOUS 120661 HAS SOUPS 56103 WITH SCORE 56972.843
AT ITER 720 NEW BEST:: SOT 1105296 SOS 869841 HAS SOPS 458423 HAS SOUS 120660 HAS SOUPS 56102 WITH SCORE 56971.841
AT ITER 728 NEW BEST:: SOT 1104876 SOS 868545 HAS SOPS 457827 HAS SOUS 120577 HAS SOUPS 56045 WITH SCORE 56913.545
AT ITER 730 NEW BEST:: SOT 1104081 SOS 869184 HAS SOPS 457584 HAS SOUS 120192 HAS SOUPS 55660 WITH SCORE 56529.184
AT ITER 736 NEW BEST:: SOT 1100935 SOS 865133 HAS SOPS 455516 HAS SOUS 119917 HAS SOUPS 55579 WITH SCORE 56444.133
AT ITER 747 NEW BEST:: SOT 1100640 SOS 864249 HAS SOPS 454632 HAS SOUS 119824 HAS SOUPS 55486 WITH SCORE 56350.249
AT ITER 754 NEW BEST:: SOT 1100588 SOS 863991 HAS SOPS 454374 HAS SOUS 119772 HAS SOUPS 55434 WITH SCORE 56297.991
AT ITER 773 NEW BEST:: SOT 1100564 SOS 864315 HAS SOPS 454698 HAS SOUS 119576 HAS SOUPS 55238 WITH SCORE 56102.315
AT ITER 779 NEW BEST:: SOT 1100564 SOS 864315 HAS SOPS 454698 HAS SOUS 119550 HAS SOUPS 55212 WITH SCORE 56076.315
AT ITER 783 NEW BEST:: SOT 1099647 SOS 866066 HAS SOPS 455009 HAS SOUS 119212 HAS SOUPS 54874 WITH SCORE 55740.066
AT ITER 787 NEW BEST:: SOT 1099453 SOS 865171 HAS SOPS 454756 HAS SOUS 118826 HAS SOUPS 54702 WITH SCORE 55567.171
AT ITER 789 NEW BEST:: SOT 1098286 SOS 863618 HAS SOPS 454218 HAS SOUS 118822 HAS SOUPS 54698 WITH SCORE 55561.618
AT ITER 795 NEW BEST:: SOT 1098056 SOS 862669 HAS SOPS 453809 HAS SOUS 118355 HAS SOUPS 54411 WITH SCORE 55273.669
AT ITER 802 NEW BEST:: SOT 1097045 SOS 861340 HAS SOPS 453173 HAS SOUS 118258 HAS SOUPS 54391 WITH SCORE 55252.34
AT ITER 810 NEW BEST:: SOT 1096948 SOS 861146 HAS SOPS 452979 HAS SOUS 118064 HAS SOUPS 54197 WITH SCORE 55058.146
AT ITER 814 NEW BEST:: SOT 1096372 SOS 859974 HAS SOPS 452749 HAS SOUS 117859 HAS SOUPS 54165 WITH SCORE 55024.974
AT ITER 816 NEW BEST:: SOT 1096260 SOS 859576 HAS SOPS 452351 HAS SOUS 117666 HAS SOUPS 53972 WITH SCORE 54831.576
AT ITER 822 NEW BEST:: SOT 1096280 SOS 859044 HAS SOPS 452352 HAS SOUS 117641 HAS SOUPS 53960 WITH SCORE 54819.044
AT ITER 823 NEW BEST:: SOT 1096277 SOS 859038 HAS SOPS 452346 HAS SOUS 117635 HAS SOUPS 53954 WITH SCORE 54813.038
AT ITER 825 NEW BEST:: SOT 1096325 SOS 859010 HAS SOPS 451946 HAS SOUS 117734 HAS SOUPS 53929 WITH SCORE 54788.01
AT ITER 826 NEW BEST:: SOT 1096296 SOS 858952 HAS SOPS 451978 HAS SOUS 117675 HAS SOUPS 53900 WITH SCORE 54758.952
AT ITER 836 NEW BEST:: SOT 1096284 SOS 858916 HAS SOPS 451978 HAS SOUS 117639 HAS SOUPS 53876 WITH SCORE 54734.916
AT ITER 842 NEW BEST:: SOT 1096255 SOS 858774 HAS SOPS 451920 HAS SOUS 117547 HAS SOUPS 53812 WITH SCORE 54670.774
AT ITER 848 NEW BEST:: SOT 1096149 SOS 859616 HAS SOPS 452444 HAS SOUS 117494 HAS SOUPS 53759 WITH SCORE 54618.616
AT ITER 869 NEW BEST:: SOT 1094974 SOS 859857 HAS SOPS 452648 HAS SOUS 116928 HAS SOUPS 53339 WITH SCORE 54198.857
AT ITER 877 NEW BEST:: SOT 1095073 SOS 859983 HAS SOPS 452702 HAS SOUS 116928 HAS SOUPS 53330 WITH SCORE 54189.983
AT ITER 880 NEW BEST:: SOT 1095211 SOS 860259 HAS SOPS 452590 HAS SOUS 116939 HAS SOUPS 53304 WITH SCORE 54164.259
AT ITER 884 NEW BEST:: SOT 1095245 SOS 859970 HAS SOPS 452352 HAS SOUS 116888 HAS SOUPS 53253 WITH SCORE 54112.97
AT ITER 888 NEW BEST:: SOT 1095409 SOS 860460 HAS SOPS 452326 HAS SOUS 116860 HAS SOUPS 53130 WITH SCORE 53990.46
AT ITER 895 NEW BEST:: SOT 1095703 SOS 860604 HAS SOPS 452470 HAS SOUS 116624 HAS SOUPS 52894 WITH SCORE 53754.604
AT ITER 901 NEW BEST:: SOT 1095289 SOS 858045 HAS SOPS 452166 HAS SOUS 116611 HAS SOUPS 52881 WITH SCORE 53739.045
AT ITER 903 NEW BEST:: SOT 1095261 SOS 858003 HAS SOPS 452166 HAS SOUS 116604 HAS SOUPS 52881 WITH SCORE 53739.003
AT ITER 904 NEW BEST:: SOT 1097176 SOS 860093 HAS SOPS 453071 HAS SOUS 116402 HAS SOUPS 52584 WITH SCORE 53444.093
AT ITER 934 NEW BEST:: SOT 1096257 SOS 859333 HAS SOPS 452875 HAS SOUS 116505 HAS SOUPS 52502 WITH SCORE 53361.333
AT ITER 941 NEW BEST:: SOT 1095395 SOS 858249 HAS SOPS 452205 HAS SOUS 116489 HAS SOUPS 52486 WITH SCORE 53344.249
AT ITER 944 NEW BEST:: SOT 1095413 SOS 858138 HAS SOPS 452307 HAS SOUS 116411 HAS SOUPS 52479 WITH SCORE 53337.138
AT ITER 963 NEW BEST:: SOT 1095269 SOS 857850 HAS SOPS 452019 HAS SOUS 116218 HAS SOUPS 52286 WITH SCORE 53143.85
AT ITER 965 NEW BEST:: SOT 1095269 SOS 857850 HAS SOPS 452019 HAS SOUS 116140 HAS SOUPS 52208 WITH SCORE 53065.85
AT ITER 970 NEW BEST:: SOT 1095239 SOS 857820 HAS SOPS 451989 HAS SOUS 116122 HAS SOUPS 52190 WITH SCORE 53047.82
AT ITER 977 NEW BEST:: SOT 1095015 SOS 857296 HAS SOPS 451465 HAS SOUS 115969 HAS SOUPS 52037 WITH SCORE 52894.296
AT ITER 1006 NEW BEST:: SOT 1094933 SOS 857050 HAS SOPS 451547 HAS SOUS 115846 HAS SOUPS 51996 WITH SCORE 52853.05
AT ITER 1009 NEW BEST:: SOT 1094882 SOS 856948 HAS SOPS 451445 HAS SOUS 115795 HAS SOUPS 51945 WITH SCORE 52801.948
AT ITER 1017 NEW BEST:: SOT 1094526 SOS 857161 HAS SOPS 451208 HAS SOUS 115670 HAS SOUPS 51770 WITH SCORE 52627.161
AT ITER 1024 NEW BEST:: SOT 1094388 SOS 856935 HAS SOPS 451168 HAS SOUS 115625 HAS SOUPS 51750 WITH SCORE 52606.935
AT ITER 1026 NEW BEST:: SOT 1094347 SOS 856715 HAS SOPS 450948 HAS SOUS 115610 HAS SOUPS 51735 WITH SCORE 52591.715
AT ITER 1044 NEW BEST:: SOT 1094261 SOS 856543 HAS SOPS 450776 HAS SOUS 115517 HAS SOUPS 51642 WITH SCORE 52498.543
AT ITER 1058 NEW BEST:: SOT 1094249 SOS 856462 HAS SOPS 450722 HAS SOUS 115496 HAS SOUPS 51624 WITH SCORE 52480.462
AT ITER 1061 NEW BEST:: SOT 1094194 SOS 856232 HAS SOPS 450885 HAS SOUS 115347 HAS SOUPS 51606 WITH SCORE 52462.232
AT ITER 1063 NEW BEST:: SOT 1094258 SOS 856293 HAS SOPS 450917 HAS SOUS 115352 HAS SOUPS 51595 WITH SCORE 52451.293
AT ITER 1069 NEW BEST:: SOT 1094549 SOS 857248 HAS SOPS 451032 HAS SOUS 115204 HAS SOUPS 51391 WITH SCORE 52248.248
AT ITER 1074 NEW BEST:: SOT 1094450 SOS 857083 HAS SOPS 450966 HAS SOUS 115171 HAS SOUPS 51391 WITH SCORE 52248.083
AT ITER 1080 NEW BEST:: SOT 1094440 SOS 857058 HAS SOPS 450941 HAS SOUS 115161 HAS SOUPS 51381 WITH SCORE 52238.058
AT ITER 1093 NEW BEST:: SOT 1094376 SOS 856963 HAS SOPS 450846 HAS SOUS 115077 HAS SOUPS 51297 WITH SCORE 52153.963
AT ITER 1102 NEW BEST:: SOT 1092498 SOS 853933 HAS SOPS 450118 HAS SOUS 114872 HAS SOUPS 51294 WITH SCORE 52147.933
AT ITER 1109 NEW BEST:: SOT 1092109 SOS 853476 HAS SOPS 449865 HAS SOUS 114857 HAS SOUPS 51279 WITH SCORE 52132.476
AT ITER 1115 NEW BEST:: SOT 1092109 SOS 853476 HAS SOPS 449865 HAS SOUS 114843 HAS SOUPS 51265 WITH SCORE 52118.476
AT ITER 1120 NEW BEST:: SOT 1090923 SOS 851920 HAS SOPS 448843 HAS SOUS 114853 HAS SOUPS 51260 WITH SCORE 52111.92
AT ITER 1128 NEW BEST:: SOT 1090923 SOS 852106 HAS SOPS 448843 HAS SOUS 114853 HAS SOUPS 51198 WITH SCORE 52050.106
AT ITER 1132 NEW BEST:: SOT 1090665 SOS 848548 HAS SOPS 448415 HAS SOUS 114673 HAS SOUPS 51062 WITH SCORE 51910.548
AT ITER 1133 NEW BEST:: SOT 1089163 SOS 846816 HAS SOPS 447637 HAS SOUS 114638 HAS SOUPS 51027 WITH SCORE 51873.816
AT ITER 1137 NEW BEST:: SOT 1089163 SOS 846816 HAS SOPS 447637 HAS SOUS 114628 HAS SOUPS 51017 WITH SCORE 51863.816
AT ITER 1140 NEW BEST:: SOT 1089163 SOS 846816 HAS SOPS 447637 HAS SOUS 114606 HAS SOUPS 50995 WITH SCORE 51841.816
AT ITER 1142 NEW BEST:: SOT 1089216 SOS 846922 HAS SOPS 447827 HAS SOUS 114515 HAS SOUPS 50988 WITH SCORE 51834.922
AT ITER 1147 NEW BEST:: SOT 1087229 SOS 843712 HAS SOPS 447183 HAS SOUS 114231 HAS SOUPS 50910 WITH SCORE 51753.712
AT ITER 1149 NEW BEST:: SOT 1087137 SOS 843620 HAS SOPS 447091 HAS SOUS 114181 HAS SOUPS 50860 WITH SCORE 51703.62
AT ITER 1171 NEW BEST:: SOT 1087365 SOS 843905 HAS SOPS 447205 HAS SOUS 114166 HAS SOUPS 50826 WITH SCORE 51669.905
AT ITER 1177 NEW BEST:: SOT 1087269 SOS 845078 HAS SOPS 447703 HAS SOUS 114220 HAS SOUPS 50805 WITH SCORE 51650.078
AT ITER 1179 NEW BEST:: SOT 1087145 SOS 844677 HAS SOPS 447488 HAS SOUS 113972 HAS SOUPS 50619 WITH SCORE 51463.677
AT ITER 1192 NEW BEST:: SOT 1086668 SOS 844003 HAS SOPS 447168 HAS SOUS 113892 HAS SOUPS 50579 WITH SCORE 51423.003
AT ITER 1206 NEW BEST:: SOT 1086668 SOS 844003 HAS SOPS 447168 HAS SOUS 113838 HAS SOUPS 50525 WITH SCORE 51369.003
AT ITER 1214 NEW BEST:: SOT 1086693 SOS 844281 HAS SOPS 447077 HAS SOUS 113874 HAS SOUPS 50438 WITH SCORE 51282.281
AT ITER 1221 NEW BEST:: SOT 1084709 SOS 841997 HAS SOPS 445707 HAS SOUS 113776 HAS SOUPS 50398 WITH SCORE 51239.997
AT ITER 1230 NEW BEST:: SOT 1084705 SOS 841989 HAS SOPS 445707 HAS SOUS 113772 HAS SOUPS 50398 WITH SCORE 51239.989
AT ITER 1241 NEW BEST:: SOT 1084611 SOS 841801 HAS SOPS 445378 HAS SOUS 113678 HAS SOUPS 50257 WITH SCORE 51098.801
AT ITER 1247 NEW BEST:: SOT 1084598 SOS 841762 HAS SOPS 445378 HAS SOUS 113655 HAS SOUPS 50247 WITH SCORE 51088.762
AT ITER 1249 NEW BEST:: SOT 1081879 SOS 838279 HAS SOPS 443527 HAS SOUS 113426 HAS SOUPS 50161 WITH SCORE 50999.279
AT ITER 1252 NEW BEST:: SOT 1081351 SOS 837364 HAS SOPS 443035 HAS SOUS 113153 HAS SOUPS 50029 WITH SCORE 50866.364
AT ITER 1263 NEW BEST:: SOT 1081225 SOS 837220 HAS SOPS 442945 HAS SOUS 113135 HAS SOUPS 50011 WITH SCORE 50848.22
AT ITER 1267 NEW BEST:: SOT 1081211 SOS 837192 HAS SOPS 442917 HAS SOUS 113121 HAS SOUPS 49997 WITH SCORE 50834.192
AT ITER 1294 NEW BEST:: SOT 1080706 SOS 835636 HAS SOPS 441994 HAS SOUS 113023 HAS SOUPS 49931 WITH SCORE 50766.636
AT ITER 1316 NEW BEST:: SOT 1080914 SOS 835844 HAS SOPS 442046 HAS SOUS 112971 HAS SOUPS 49879 WITH SCORE 50714.844
AT ITER 1318 NEW BEST:: SOT 1080483 SOS 836023 HAS SOPS 442114 HAS SOUS 112638 HAS SOUPS 49610 WITH SCORE 50446.023
AT ITER 1323 NEW BEST:: SOT 1080352 SOS 837841 HAS SOPS 442010 HAS SOUS 112552 HAS SOUPS 49558 WITH SCORE 50395.841
AT ITER 1325 NEW BEST:: SOT 1080154 SOS 837445 HAS SOPS 441614 HAS SOUS 112260 HAS SOUPS 49266 WITH SCORE 50103.445
AT ITER 1334 NEW BEST:: SOT 1080187 SOS 837437 HAS SOPS 441216 HAS SOUS 112163 HAS SOUPS 49104 WITH SCORE 49941.437
AT ITER 1364 NEW BEST:: SOT 1080187 SOS 837437 HAS SOPS 441216 HAS SOUS 112129 HAS SOUPS 49070 WITH SCORE 49907.437
AT ITER 1365 NEW BEST:: SOT 1080110 SOS 837339 HAS SOPS 441153 HAS SOUS 112129 HAS SOUPS 49070 WITH SCORE 49907.339
AT ITER 1371 NEW BEST:: SOT 1080064 SOS 837247 HAS SOPS 441113 HAS SOUS 112039 HAS SOUPS 49006 WITH SCORE 49843.247
AT ITER 1379 NEW BEST:: SOT 1080146 SOS 837274 HAS SOPS 441140 HAS SOUS 111910 HAS SOUPS 48877 WITH SCORE 49714.274
AT ITER 1384 NEW BEST:: SOT 1080092 SOS 839326 HAS SOPS 441140 HAS SOUS 111856 HAS SOUPS 48823 WITH SCORE 49662.326
AT ITER 1392 NEW BEST:: SOT 1080092 SOS 839300 HAS SOPS 441127 HAS SOUS 111830 HAS SOUPS 48810 WITH SCORE 49649.3
AT ITER 1395 NEW BEST:: SOT 1079816 SOS 839024 HAS SOPS 440989 HAS SOUS 111830 HAS SOUPS 48810 WITH SCORE 49649.024
AT ITER 1407 NEW BEST:: SOT 1079754 SOS 838900 HAS SOPS 440631 HAS SOUS 111846 HAS SOUPS 48748 WITH SCORE 49586.9
AT ITER 1411 NEW BEST:: SOT 1079127 SOS 838881 HAS SOPS 439757 HAS SOUS 111641 HAS SOUPS 48448 WITH SCORE 49286.881
AT ITER 1428 NEW BEST:: SOT 1079127 SOS 838881 HAS SOPS 439757 HAS SOUS 111587 HAS SOUPS 48394 WITH SCORE 49232.881
AT ITER 1436 NEW BEST:: SOT 1079127 SOS 838839 HAS SOPS 439685 HAS SOUS 111557 HAS SOUPS 48364 WITH SCORE 49202.839
AT ITER 1442 NEW BEST:: SOT 1079127 SOS 838839 HAS SOPS 439685 HAS SOUS 111547 HAS SOUPS 48354 WITH SCORE 49192.839
AT ITER 1446 NEW BEST:: SOT 1079101 SOS 838753 HAS SOPS 439689 HAS SOUS 111399 HAS SOUPS 48221 WITH SCORE 49059.753
AT ITER 1453 NEW BEST:: SOT 1078070 SOS 837582 HAS SOPS 439010 HAS SOUS 111302 HAS SOUPS 48124 WITH SCORE 48961.582
AT ITER 1457 NEW BEST:: SOT 1078070 SOS 837582 HAS SOPS 439010 HAS SOUS 111270 HAS SOUPS 48092 WITH SCORE 48929.582
AT ITER 1461 NEW BEST:: SOT 1078300 SOS 837549 HAS SOPS 438977 HAS SOUS 111260 HAS SOUPS 48082 WITH SCORE 48919.549
AT ITER 1465 NEW BEST:: SOT 1078020 SOS 836653 HAS SOPS 438473 HAS SOUS 111232 HAS SOUPS 48082 WITH SCORE 48918.653
AT ITER 1477 NEW BEST:: SOT 1077857 SOS 836369 HAS SOPS 438017 HAS SOUS 111310 HAS SOUPS 48054 WITH SCORE 48890.369
AT ITER 1481 NEW BEST:: SOT 1077740 SOS 836226 HAS SOPS 437874 HAS SOUS 111310 HAS SOUPS 48041 WITH SCORE 48877.226
AT ITER 1491 NEW BEST:: SOT 1075596 SOS 833322 HAS SOPS 436446 HAS SOUS 110983 HAS SOUPS 47874 WITH SCORE 48707.322
AT ITER 1496 NEW BEST:: SOT 1075614 SOS 833358 HAS SOPS 436482 HAS SOUS 110966 HAS SOUPS 47857 WITH SCORE 48690.358
AT ITER 1514 NEW BEST:: SOT 1075028 SOS 832560 HAS SOPS 436068 HAS SOUS 110860 HAS SOUPS 47799 WITH SCORE 48631.56
AT ITER 1522 NEW BEST:: SOT 1075020 SOS 832804 HAS SOPS 436030 HAS SOUS 110876 HAS SOUPS 47721 WITH SCORE 48553.804
AT ITER 1524 NEW BEST:: SOT 1074968 SOS 832757 HAS SOPS 435869 HAS SOUS 110860 HAS SOUPS 47667 WITH SCORE 48499.757
AT ITER 1528 NEW BEST:: SOT 1074966 SOS 832753 HAS SOPS 435865 HAS SOUS 110858 HAS SOUPS 47665 WITH SCORE 48497.753
AT ITER 1532 NEW BEST:: SOT 1074928 SOS 832677 HAS SOPS 435789 HAS SOUS 110820 HAS SOUPS 47627 WITH SCORE 48459.677
AT ITER 1533 NEW BEST:: SOT 1074905 SOS 832631 HAS SOPS 435789 HAS SOUS 110797 HAS SOUPS 47627 WITH SCORE 48459.631
AT ITER 1535 NEW BEST:: SOT 1073180 SOS 829769 HAS SOPS 435279 HAS SOUS 110505 HAS SOUPS 47629 WITH SCORE 48458.769
AT ITER 1539 NEW BEST:: SOT 1073866 SOS 830929 HAS SOPS 435803 HAS SOUS 110698 HAS SOUPS 47610 WITH SCORE 48440.929
AT ITER 1543 NEW BEST:: SOT 1073846 SOS 830631 HAS SOPS 435958 HAS SOUS 110518 HAS SOUPS 47581 WITH SCORE 48411.631
AT ITER 1549 NEW BEST:: SOT 1073660 SOS 830693 HAS SOPS 435772 HAS SOUS 110425 HAS SOUPS 47457 WITH SCORE 48287.693
AT ITER 1562 NEW BEST:: SOT 1073651 SOS 830657 HAS SOPS 435763 HAS SOUS 110398 HAS SOUPS 47439 WITH SCORE 48269.657
AT ITER 1565 NEW BEST:: SOT 1073631 SOS 830500 HAS SOPS 435792 HAS SOUS 110297 HAS SOUPS 47400 WITH SCORE 48230.5
AT ITER 1575 NEW BEST:: SOT 1073631 SOS 830500 HAS SOPS 435792 HAS SOUS 110287 HAS SOUPS 47390 WITH SCORE 48220.5
AT ITER 1588 NEW BEST:: SOT 1073543 SOS 830435 HAS SOPS 435727 HAS SOUS 110231 HAS SOUPS 47334 WITH SCORE 48164.435
AT ITER 1589 NEW BEST:: SOT 1073453 SOS 830465 HAS SOPS 435607 HAS SOUS 110126 HAS SOUPS 47229 WITH SCORE 48059.465
AT ITER 1592 NEW BEST:: SOT 1073249 SOS 830193 HAS SOPS 435335 HAS SOUS 110003 HAS SOUPS 47106 WITH SCORE 47936.193
AT ITER 1605 NEW BEST:: SOT 1074761 SOS 832083 HAS SOPS 436091 HAS SOUS 110079 HAS SOUPS 47032 WITH SCORE 47864.083
AT ITER 1617 NEW BEST:: SOT 1074665 SOS 831939 HAS SOPS 435923 HAS SOUS 110055 HAS SOUPS 47008 WITH SCORE 47839.939
AT ITER 1638 NEW BEST:: SOT 1073252 SOS 829820 HAS SOPS 435168 HAS SOUS 110095 HAS SOUPS 46995 WITH SCORE 47824.82
AT ITER 1671 NEW BEST:: SOT 1072643 SOS 830104 HAS SOPS 434888 HAS SOUS 109923 HAS SOUPS 46823 WITH SCORE 47653.104
AT ITER 1673 NEW BEST:: SOT 1071723 SOS 829000 HAS SOPS 434336 HAS SOUS 109923 HAS SOUPS 46823 WITH SCORE 47652.0
AT ITER 1677 NEW BEST:: SOT 1071866 SOS 829169 HAS SOPS 434427 HAS SOUS 109897 HAS SOUPS 46797 WITH SCORE 47626.169
AT ITER 1680 NEW BEST:: SOT 1071866 SOS 829169 HAS SOPS 434427 HAS SOUS 109831 HAS SOUPS 46731 WITH SCORE 47560.169
AT ITER 1696 NEW BEST:: SOT 1071734 SOS 828938 HAS SOPS 434295 HAS SOUS 109765 HAS SOUPS 46698 WITH SCORE 47526.938
AT ITER 1697 NEW BEST:: SOT 1071724 SOS 828918 HAS SOPS 434295 HAS SOUS 109745 HAS SOUPS 46698 WITH SCORE 47526.918
AT ITER 1709 NEW BEST:: SOT 1071728 SOS 828925 HAS SOPS 434299 HAS SOUS 109745 HAS SOUPS 46697 WITH SCORE 47525.925
AT ITER 1722 NEW BEST:: SOT 1071372 SOS 828509 HAS SOPS 434105 HAS SOUS 109728 HAS SOUPS 46680 WITH SCORE 47508.509
AT ITER 1723 NEW BEST:: SOT 1071366 SOS 828497 HAS SOPS 434093 HAS SOUS 109632 HAS SOUPS 46584 WITH SCORE 47412.497
AT ITER 1734 NEW BEST:: SOT 1071460 SOS 828638 HAS SOPS 434093 HAS SOUS 109657 HAS SOUPS 46562 WITH SCORE 47390.638
AT ITER 1737 NEW BEST:: SOT 1071444 SOS 828622 HAS SOPS 434077 HAS SOUS 109641 HAS SOUPS 46546 WITH SCORE 47374.622
AT ITER 1740 NEW BEST:: SOT 1071428 SOS 828606 HAS SOPS 434061 HAS SOUS 109625 HAS SOUPS 46530 WITH SCORE 47358.606
AT ITER 1743 NEW BEST:: SOT 1071289 SOS 828328 HAS SOPS 433705 HAS SOUS 109627 HAS SOUPS 46460 WITH SCORE 47288.328
AT ITER 1744 NEW BEST:: SOT 1071293 SOS 828244 HAS SOPS 433657 HAS SOUS 109623 HAS SOUPS 46460 WITH SCORE 47288.244
AT ITER 1748 NEW BEST:: SOT 1071293 SOS 828244 HAS SOPS 433657 HAS SOUS 109597 HAS SOUPS 46434 WITH SCORE 47262.244
AT ITER 1766 NEW BEST:: SOT 1071303 SOS 828064 HAS SOPS 433507 HAS SOUS 109577 HAS SOUPS 46414 WITH SCORE 47242.064
AT ITER 1769 NEW BEST:: SOT 1072418 SOS 828838 HAS SOPS 434041 HAS SOUS 109199 HAS SOUPS 46151 WITH SCORE 46979.838
AT ITER 1776 NEW BEST:: SOT 1072096 SOS 828305 HAS SOPS 433508 HAS SOUS 108765 HAS SOUPS 45717 WITH SCORE 46545.305
AT ITER 1781 NEW BEST:: SOT 1072066 SOS 828215 HAS SOPS 433433 HAS SOUS 108735 HAS SOUPS 45687 WITH SCORE 46515.215
AT ITER 1793 NEW BEST:: SOT 1072069 SOS 828250 HAS SOPS 433458 HAS SOUS 108725 HAS SOUPS 45677 WITH SCORE 46505.25
AT ITER 1794 NEW BEST:: SOT 1072073 SOS 828258 HAS SOPS 433458 HAS SOUS 108721 HAS SOUPS 45673 WITH SCORE 46501.258
AT ITER 1799 NEW BEST:: SOT 1072003 SOS 828048 HAS SOPS 433528 HAS SOUS 108592 HAS SOUPS 45614 WITH SCORE 46442.048
AT ITER 1812 NEW BEST:: SOT 1071123 SOS 826903 HAS SOPS 432743 HAS SOUS 108462 HAS SOUPS 45484 WITH SCORE 46310.903
AT ITER 1814 NEW BEST:: SOT 1071009 SOS 826998 HAS SOPS 432667 HAS SOUS 108438 HAS SOUPS 45441 WITH SCORE 46267.998
AT ITER 1831 NEW BEST:: SOT 1071279 SOS 827442 HAS SOPS 432727 HAS SOUS 108480 HAS SOUPS 45435 WITH SCORE 46262.442
AT ITER 1839 NEW BEST:: SOT 1071242 SOS 827679 HAS SOPS 432842 HAS SOUS 108446 HAS SOUPS 45401 WITH SCORE 46228.679
AT ITER 1843 NEW BEST:: SOT 1071158 SOS 827166 HAS SOPS 432674 HAS SOUS 108272 HAS SOUPS 45342 WITH SCORE 46169.166
AT ITER 1853 NEW BEST:: SOT 1071072 SOS 826994 HAS SOPS 432528 HAS SOUS 108199 HAS SOUPS 45269 WITH SCORE 46095.994
AT ITER 1866 NEW BEST:: SOT 1071064 SOS 826962 HAS SOPS 432496 HAS SOUS 108199 HAS SOUPS 45269 WITH SCORE 46095.962
AT ITER 1879 NEW BEST:: SOT 1071056 SOS 826946 HAS SOPS 432480 HAS SOUS 108175 HAS SOUPS 45245 WITH SCORE 46071.946
AT ITER 1889 NEW BEST:: SOT 1070750 SOS 826640 HAS SOPS 432282 HAS SOUS 108157 HAS SOUPS 45227 WITH SCORE 46053.64
AT ITER 1892 NEW BEST:: SOT 1070750 SOS 826688 HAS SOPS 432138 HAS SOUS 108161 HAS SOUPS 45183 WITH SCORE 46009.688
AT ITER 1893 NEW BEST:: SOT 1070772 SOS 827040 HAS SOPS 432160 HAS SOUS 108249 HAS SOUPS 45161 WITH SCORE 45988.04
AT ITER 1904 NEW BEST:: SOT 1070621 SOS 826738 HAS SOPS 432074 HAS SOUS 107950 HAS SOUPS 44970 WITH SCORE 45796.738
AT ITER 1917 NEW BEST:: SOT 1070378 SOS 826252 HAS SOPS 431588 HAS SOUS 107461 HAS SOUPS 44481 WITH SCORE 45307.252
AT ITER 1964 NEW BEST:: SOT 1070086 SOS 825763 HAS SOPS 431194 HAS SOUS 107169 HAS SOUPS 44284 WITH SCORE 45109.763
AT ITER 1971 NEW BEST:: SOT 1070086 SOS 825763 HAS SOPS 431194 HAS SOUS 107123 HAS SOUPS 44238 WITH SCORE 45063.763
AT ITER 1973 NEW BEST:: SOT 1070076 SOS 825818 HAS SOPS 431234 HAS SOUS 107118 HAS SOUPS 44233 WITH SCORE 45058.818
AT ITER 1978 NEW BEST:: SOT 1070286 SOS 826118 HAS SOPS 431234 HAS SOUS 107134 HAS SOUPS 44169 WITH SCORE 44995.118
AT ITER 1979 NEW BEST:: SOT 1070213 SOS 825972 HAS SOPS 431234 HAS SOUS 107042 HAS SOUPS 44150 WITH SCORE 44975.972
AT ITER 1997 NEW BEST:: SOT 1070169 SOS 825884 HAS SOPS 431146 HAS SOUS 106954 HAS SOUPS 44062 WITH SCORE 44887.884
AT ITER 2000 NEW BEST:: SOT 1069909 SOS 825599 HAS SOPS 430873 HAS SOUS 106958 HAS SOUPS 44038 WITH SCORE 44863.599
AT ITER 2007 NEW BEST:: SOT 1069909 SOS 825599 HAS SOPS 430873 HAS SOUS 106922 HAS SOUPS 44002 WITH SCORE 44827.599
AT ITER 2008 NEW BEST:: SOT 1069893 SOS 825555 HAS SOPS 430829 HAS SOUS 106904 HAS SOUPS 43984 WITH SCORE 44809.555
AT ITER 2016 NEW BEST:: SOT 1067196 SOS 822454 HAS SOPS 429159 HAS SOUS 106664 HAS SOUPS 43854 WITH SCORE 44676.454
AT ITER 2078 NEW BEST:: SOT 1064941 SOS 819976 HAS SOPS 427845 HAS SOUS 106604 HAS SOUPS 43794 WITH SCORE 44613.976
AT ITER 2084 NEW BEST:: SOT 1064664 SOS 819532 HAS SOPS 427684 HAS SOUS 106386 HAS SOUPS 43628 WITH SCORE 44447.532
AT ITER 2098 NEW BEST:: SOT 1064040 SOS 820021 HAS SOPS 427948 HAS SOUS 106281 HAS SOUPS 43523 WITH SCORE 44343.021
AT ITER 2099 NEW BEST:: SOT 1064785 SOS 820841 HAS SOPS 428106 HAS SOUS 106225 HAS SOUPS 43471 WITH SCORE 44291.841
AT ITER 2101 NEW BEST:: SOT 1064813 SOS 820937 HAS SOPS 428067 HAS SOUS 106255 HAS SOUPS 43466 WITH SCORE 44286.937
AT ITER 2107 NEW BEST:: SOT 1064765 SOS 820889 HAS SOPS 428019 HAS SOUS 106255 HAS SOUPS 43466 WITH SCORE 44286.889
AT ITER 2111 NEW BEST:: SOT 1064732 SOS 820823 HAS SOPS 427953 HAS SOUS 106222 HAS SOUPS 43433 WITH SCORE 44253.823
AT ITER 2140 NEW BEST:: SOT 1064711 SOS 820781 HAS SOPS 427911 HAS SOUS 106201 HAS SOUPS 43412 WITH SCORE 44232.781
AT ITER 2155 NEW BEST:: SOT 1064650 SOS 821571 HAS SOPS 428269 HAS SOUS 106236 HAS SOUPS 43399 WITH SCORE 44220.571
AT ITER 2159 NEW BEST:: SOT 1064648 SOS 821567 HAS SOPS 428283 HAS SOUS 106226 HAS SOUPS 43395 WITH SCORE 44216.567
AT ITER 2173 NEW BEST:: SOT 1062509 SOS 818950 HAS SOPS 427070 HAS SOUS 106025 HAS SOUPS 43334 WITH SCORE 44152.95
AT ITER 2174 NEW BEST:: SOT 1062503 SOS 818947 HAS SOPS 427058 HAS SOUS 106019 HAS SOUPS 43325 WITH SCORE 44143.947
AT ITER 2176 NEW BEST:: SOT 1062567 SOS 819059 HAS SOPS 427122 HAS SOUS 106019 HAS SOUPS 43309 WITH SCORE 44128.059
AT ITER 2187 NEW BEST:: SOT 1062063 SOS 818555 HAS SOPS 426870 HAS SOUS 106019 HAS SOUPS 43309 WITH SCORE 44127.555
AT ITER 2211 NEW BEST:: SOT 1062145 SOS 818575 HAS SOPS 426962 HAS SOUS 105885 HAS SOUPS 43247 WITH SCORE 44065.575
AT ITER 2215 NEW BEST:: SOT 1062145 SOS 818575 HAS SOPS 426962 HAS SOUS 105859 HAS SOUPS 43221 WITH SCORE 44039.575
AT ITER 2217 NEW BEST:: SOT 1062531 SOS 818961 HAS SOPS 427348 HAS SOUS 105837 HAS SOUPS 43199 WITH SCORE 44017.961
AT ITER 2249 NEW BEST:: SOT 1062518 SOS 818948 HAS SOPS 427335 HAS SOUS 105824 HAS SOUPS 43186 WITH SCORE 44004.948
AT ITER 2261 NEW BEST:: SOT 1062371 SOS 818962 HAS SOPS 427242 HAS SOUS 105764 HAS SOUPS 43075 WITH SCORE 43893.962
AT ITER 2306 NEW BEST:: SOT 1062283 SOS 818830 HAS SOPS 427242 HAS SOUS 105742 HAS SOUPS 43075 WITH SCORE 43893.83
AT ITER 2308 NEW BEST:: SOT 1062283 SOS 818830 HAS SOPS 427242 HAS SOUS 105741 HAS SOUPS 43074 WITH SCORE 43892.83
AT ITER 2314 NEW BEST:: SOT 1060011 SOS 815861 HAS SOPS 425848 HAS SOUS 105457 HAS SOUPS 42965 WITH SCORE 43780.861
AT ITER 2315 NEW BEST:: SOT 1060038 SOS 815537 HAS SOPS 425767 HAS SOUS 105430 HAS SOUPS 42965 WITH SCORE 43780.537
AT ITER 2318 NEW BEST:: SOT 1057463 SOS 812169 HAS SOPS 424181 HAS SOUS 104969 HAS SOUPS 42702 WITH SCORE 43514.169
AT ITER 2319 NEW BEST:: SOT 1056810 SOS 811398 HAS SOPS 424060 HAS SOUS 104875 HAS SOUPS 42608 WITH SCORE 43419.398
AT ITER 2328 NEW BEST:: SOT 1056017 SOS 810543 HAS SOPS 423577 HAS SOUS 104872 HAS SOUPS 42605 WITH SCORE 43415.543
AT ITER 2329 NEW BEST:: SOT 1055984 SOS 810378 HAS SOPS 423412 HAS SOUS 104825 HAS SOUPS 42558 WITH SCORE 43368.378
AT ITER 2335 NEW BEST:: SOT 1053915 SOS 807995 HAS SOPS 421972 HAS SOUS 104684 HAS SOUPS 42456 WITH SCORE 43263.995
AT ITER 2345 NEW BEST:: SOT 1052220 SOS 805996 HAS SOPS 420698 HAS SOUS 104526 HAS SOUPS 42295 WITH SCORE 43100.996
AT ITER 2349 NEW BEST:: SOT 1051533 SOS 805085 HAS SOPS 420179 HAS SOUS 104287 HAS SOUPS 42112 WITH SCORE 42917.085
AT ITER 2366 NEW BEST:: SOT 1051237 SOS 804567 HAS SOPS 419661 HAS SOUS 104213 HAS SOUPS 42038 WITH SCORE 42842.567
AT ITER 2370 NEW BEST:: SOT 1051285 SOS 804639 HAS SOPS 419661 HAS SOUS 104189 HAS SOUPS 42014 WITH SCORE 42818.639
AT ITER 2388 NEW BEST:: SOT 1051283 SOS 804637 HAS SOPS 419659 HAS SOUS 104183 HAS SOUPS 42008 WITH SCORE 42812.637
AT ITER 2401 NEW BEST:: SOT 1051825 SOS 804082 HAS SOPS 419247 HAS SOUS 104122 HAS SOUPS 41947 WITH SCORE 42751.082
AT ITER 2403 NEW BEST:: SOT 1051825 SOS 804082 HAS SOPS 419247 HAS SOUS 104110 HAS SOUPS 41935 WITH SCORE 42739.082
AT ITER 2413 NEW BEST:: SOT 1051825 SOS 804082 HAS SOPS 419247 HAS SOUS 104076 HAS SOUPS 41901 WITH SCORE 42705.082
AT ITER 2420 NEW BEST:: SOT 1051740 SOS 802552 HAS SOPS 418482 HAS SOUS 103821 HAS SOUPS 41731 WITH SCORE 42533.552
AT ITER 2423 NEW BEST:: SOT 1051740 SOS 802552 HAS SOPS 418482 HAS SOUS 103801 HAS SOUPS 41711 WITH SCORE 42513.552
AT ITER 2435 NEW BEST:: SOT 1051615 SOS 802352 HAS SOPS 418482 HAS SOUS 103776 HAS SOUPS 41711 WITH SCORE 42513.352
AT ITER 2457 NEW BEST:: SOT 1051535 SOS 802480 HAS SOPS 418610 HAS SOUS 103744 HAS SOUPS 41695 WITH SCORE 42497.48
AT ITER 2462 NEW BEST:: SOT 1051558 SOS 802457 HAS SOPS 418656 HAS SOUS 103721 HAS SOUPS 41695 WITH SCORE 42497.457
AT ITER 2469 NEW BEST:: SOT 1052397 SOS 803078 HAS SOPS 419277 HAS SOUS 103551 HAS SOUPS 41660 WITH SCORE 42463.078
AT ITER 2504 NEW BEST:: SOT 1052393 SOS 803070 HAS SOPS 419269 HAS SOUS 103512 HAS SOUPS 41621 WITH SCORE 42424.07
AT ITER 2518 NEW BEST:: SOT 1052368 SOS 803000 HAS SOPS 419199 HAS SOUS 103482 HAS SOUPS 41591 WITH SCORE 42394.0
AT ITER 2519 NEW BEST:: SOT 1052336 SOS 802920 HAS SOPS 419071 HAS SOUS 103450 HAS SOUPS 41543 WITH SCORE 42345.92
AT ITER 2534 NEW BEST:: SOT 1052496 SOS 803140 HAS SOPS 418991 HAS SOUS 103514 HAS SOUPS 41507 WITH SCORE 42310.14
AT ITER 2542 NEW BEST:: SOT 1051109 SOS 801724 HAS SOPS 418040 HAS SOUS 103543 HAS SOUPS 41493 WITH SCORE 42294.724
AT ITER 2548 NEW BEST:: SOT 1050219 SOS 800565 HAS SOPS 417502 HAS SOUS 103412 HAS SOUPS 41431 WITH SCORE 42231.565
AT ITER 2564 NEW BEST:: SOT 1050154 SOS 800549 HAS SOPS 417327 HAS SOUS 103374 HAS SOUPS 41340 WITH SCORE 42140.549
AT ITER 2584 NEW BEST:: SOT 1048870 SOS 798944 HAS SOPS 416685 HAS SOUS 103267 HAS SOUPS 41340 WITH SCORE 42138.944
AT ITER 2585 NEW BEST:: SOT 1048984 SOS 799094 HAS SOPS 416727 HAS SOUS 103249 HAS SOUPS 41310 WITH SCORE 42109.094
AT ITER 2586 NEW BEST:: SOT 1048949 SOS 798919 HAS SOPS 416657 HAS SOUS 103145 HAS SOUPS 41241 WITH SCORE 42039.919
AT ITER 2596 NEW BEST:: SOT 1049045 SOS 799039 HAS SOPS 416705 HAS SOUS 103145 HAS SOUPS 41233 WITH SCORE 42032.039
AT ITER 2602 NEW BEST:: SOT 1049045 SOS 799036 HAS SOPS 416702 HAS SOUS 103145 HAS SOUPS 41233 WITH SCORE 42032.036
AT ITER 2609 NEW BEST:: SOT 1047536 SOS 794404 HAS SOPS 413960 HAS SOUS 102932 HAS SOUPS 41128 WITH SCORE 41922.404
AT ITER 2610 NEW BEST:: SOT 1047507 SOS 794345 HAS SOPS 413901 HAS SOUS 102915 HAS SOUPS 41111 WITH SCORE 41905.345
AT ITER 2636 NEW BEST:: SOT 1047498 SOS 794356 HAS SOPS 413861 HAS SOUS 102906 HAS SOUPS 41086 WITH SCORE 41880.356
AT ITER 2666 NEW BEST:: SOT 1047512 SOS 794412 HAS SOPS 413875 HAS SOUS 102904 HAS SOUPS 41070 WITH SCORE 41864.412
AT ITER 2687 NEW BEST:: SOT 1047333 SOS 793870 HAS SOPS 413678 HAS SOUS 102870 HAS SOUPS 41059 WITH SCORE 41852.87
AT ITER 2698 NEW BEST:: SOT 1047333 SOS 793855 HAS SOPS 413699 HAS SOUS 102858 HAS SOUPS 41059 WITH SCORE 41852.855
AT ITER 2725 NEW BEST:: SOT 1047393 SOS 793881 HAS SOPS 413443 HAS SOUS 102870 HAS SOUPS 40977 WITH SCORE 41770.881
AT ITER 2729 NEW BEST:: SOT 1047185 SOS 793645 HAS SOPS 413297 HAS SOUS 102857 HAS SOUPS 40964 WITH SCORE 41757.645
AT ITER 2738 NEW BEST:: SOT 1046670 SOS 792948 HAS SOPS 412882 HAS SOUS 102851 HAS SOUPS 40958 WITH SCORE 41750.948
AT ITER 2739 NEW BEST:: SOT 1046874 SOS 793203 HAS SOPS 412984 HAS SOUS 102851 HAS SOUPS 40941 WITH SCORE 41734.203
AT ITER 2749 NEW BEST:: SOT 1046154 SOS 792339 HAS SOPS 412552 HAS SOUS 102779 HAS SOUPS 40869 WITH SCORE 41661.339
AT ITER 2789 NEW BEST:: SOT 1044949 SOS 788807 HAS SOPS 410625 HAS SOUS 102572 HAS SOUPS 40743 WITH SCORE 41531.807
AT ITER 2792 NEW BEST:: SOT 1044941 SOS 788791 HAS SOPS 410609 HAS SOUS 102570 HAS SOUPS 40741 WITH SCORE 41529.791
AT ITER 2833 NEW BEST:: SOT 1045084 SOS 788960 HAS SOPS 410700 HAS SOUS 102568 HAS SOUPS 40739 WITH SCORE 41527.96
AT ITER 2841 NEW BEST:: SOT 1045618 SOS 789629 HAS SOPS 410964 HAS SOUS 102607 HAS SOUPS 40733 WITH SCORE 41522.629
AT ITER 2843 NEW BEST:: SOT 1045170 SOS 789048 HAS SOPS 410698 HAS SOUS 102474 HAS SOUPS 40635 WITH SCORE 41424.048
AT ITER 2854 NEW BEST:: SOT 1044521 SOS 788291 HAS SOPS 410265 HAS SOUS 102382 HAS SOUPS 40543 WITH SCORE 41331.291
AT ITER 2864 NEW BEST:: SOT 1043776 SOS 787127 HAS SOPS 410071 HAS SOUS 102126 HAS SOUPS 40446 WITH SCORE 41233.127
AT ITER 2876 NEW BEST:: SOT 1043776 SOS 787097 HAS SOPS 410071 HAS SOUS 102115 HAS SOUPS 40445 WITH SCORE 41232.097
AT ITER 2897 NEW BEST:: SOT 1043512 SOS 786657 HAS SOPS 409983 HAS SOUS 102027 HAS SOUPS 40401 WITH SCORE 41187.657
AT ITER 2905 NEW BEST:: SOT 1043618 SOS 786689 HAS SOPS 410015 HAS SOUS 101919 HAS SOUPS 40293 WITH SCORE 41079.689
AT ITER 2911 NEW BEST:: SOT 1044298 SOS 788161 HAS SOPS 410299 HAS SOUS 102103 HAS SOUPS 40279 WITH SCORE 41067.161
AT ITER 2913 NEW BEST:: SOT 1044298 SOS 788161 HAS SOPS 410299 HAS SOUS 102097 HAS SOUPS 40273 WITH SCORE 41061.161
AT ITER 2914 NEW BEST:: SOT 1044245 SOS 788108 HAS SOPS 410246 HAS SOUS 102044 HAS SOUPS 40220 WITH SCORE 41008.108
AT ITER 2922 NEW BEST:: SOT 1044245 SOS 788089 HAS SOPS 410236 HAS SOUS 102042 HAS SOUPS 40219 WITH SCORE 41007.089
AT ITER 2924 NEW BEST:: SOT 1043759 SOS 787327 HAS SOPS 410124 HAS SOUS 101942 HAS SOUPS 40163 WITH SCORE 40950.327
AT ITER 2927 NEW BEST:: SOT 1042762 SOS 786017 HAS SOPS 409498 HAS SOUS 101804 HAS SOUPS 40101 WITH SCORE 40887.017
AT ITER 2931 NEW BEST:: SOT 1042507 SOS 785620 HAS SOPS 409666 HAS SOUS 101780 HAS SOUPS 40077 WITH SCORE 40862.62
AT ITER 2958 NEW BEST:: SOT 1042515 SOS 785636 HAS SOPS 409682 HAS SOUS 101779 HAS SOUPS 40076 WITH SCORE 40861.636
AT ITER 2966 NEW BEST:: SOT 1042510 SOS 784970 HAS SOPS 409754 HAS SOUS 101755 HAS SOUPS 40070 WITH SCORE 40854.97
AT ITER 2977 NEW BEST:: SOT 1042528 SOS 784963 HAS SOPS 409747 HAS SOUS 101698 HAS SOUPS 40013 WITH SCORE 40797.963
AT ITER 2979 NEW BEST:: SOT 1040294 SOS 782015 HAS SOPS 408329 HAS SOUS 101383 HAS SOUPS 39868 WITH SCORE 40650.015
AT ITER 2980 NEW BEST:: SOT 1040294 SOS 782015 HAS SOPS 408329 HAS SOUS 101327 HAS SOUPS 39812 WITH SCORE 40594.015
AT ITER 2981 NEW BEST:: SOT 1040292 SOS 782011 HAS SOPS 408329 HAS SOUS 101325 HAS SOUPS 39812 WITH SCORE 40594.011
AT ITER 2982 NEW BEST:: SOT 1040288 SOS 782003 HAS SOPS 408321 HAS SOUS 101321 HAS SOUPS 39808 WITH SCORE 40590.003
AT ITER 2990 NEW BEST:: SOT 1040207 SOS 781982 HAS SOPS 408227 HAS SOUS 101321 HAS SOUPS 39761 WITH SCORE 40542.982
AT ITER 2996 NEW BEST:: SOT 1038523 SOS 780062 HAS SOPS 407393 HAS SOUS 101251 HAS SOUPS 39691 WITH SCORE 40471.062
AT ITER 3007 NEW BEST:: SOT 1038743 SOS 779666 HAS SOPS 406913 HAS SOUS 101299 HAS SOUPS 39677 WITH SCORE 40456.666
AT ITER 3012 NEW BEST:: SOT 1036191 SOS 776371 HAS SOPS 405427 HAS SOUS 101065 HAS SOUPS 39644 WITH SCORE 40420.371
AT ITER 3018 NEW BEST:: SOT 1036187 SOS 776363 HAS SOPS 405427 HAS SOUS 101061 HAS SOUPS 39644 WITH SCORE 40420.363
AT ITER 3032 NEW BEST:: SOT 1036494 SOS 777132 HAS SOPS 405731 HAS SOUS 101027 HAS SOUPS 39579 WITH SCORE 40356.132
AT ITER 3038 NEW BEST:: SOT 1034335 SOS 774339 HAS SOPS 404408 HAS SOUS 100831 HAS SOUPS 39538 WITH SCORE 40312.339
AT ITER 3042 NEW BEST:: SOT 1033929 SOS 775462 HAS SOPS 404847 HAS SOUS 100768 HAS SOUPS 39475 WITH SCORE 40250.462
AT ITER 3043 NEW BEST:: SOT 1033571 SOS 774746 HAS SOPS 404131 HAS SOUS 100691 HAS SOUPS 39398 WITH SCORE 40172.746
AT ITER 3047 NEW BEST:: SOT 1033768 SOS 774942 HAS SOPS 404261 HAS SOUS 100690 HAS SOUPS 39397 WITH SCORE 40171.942
AT ITER 3053 NEW BEST:: SOT 1032724 SOS 773952 HAS SOPS 403399 HAS SOUS 100560 HAS SOUPS 39267 WITH SCORE 40040.952
AT ITER 3062 NEW BEST:: SOT 1032684 SOS 773882 HAS SOPS 403329 HAS SOUS 100540 HAS SOUPS 39247 WITH SCORE 40020.882
AT ITER 3074 NEW BEST:: SOT 1032684 SOS 773882 HAS SOPS 403329 HAS SOUS 100536 HAS SOUPS 39243 WITH SCORE 40016.882
AT ITER 3110 NEW BEST:: SOT 1032647 SOS 773805 HAS SOPS 403247 HAS SOUS 100489 HAS SOUPS 39196 WITH SCORE 39969.805
AT ITER 3115 NEW BEST:: SOT 1032595 SOS 773722 HAS SOPS 403164 HAS SOUS 100437 HAS SOUPS 39144 WITH SCORE 39917.722
AT ITER 3147 NEW BEST:: SOT 1032595 SOS 773722 HAS SOPS 403164 HAS SOUS 100369 HAS SOUPS 39076 WITH SCORE 39849.722
AT ITER 3161 NEW BEST:: SOT 1032412 SOS 773422 HAS SOPS 403059 HAS SOUS 100138 HAS SOUPS 38884 WITH SCORE 39657.422
AT ITER 3167 NEW BEST:: SOT 1032356 SOS 774363 HAS SOPS 402893 HAS SOUS 100134 HAS SOUPS 38853 WITH SCORE 39627.363
AT ITER 3177 NEW BEST:: SOT 1032426 SOS 774503 HAS SOPS 402905 HAS SOUS 100118 HAS SOUPS 38837 WITH SCORE 39611.503
AT ITER 3220 NEW BEST:: SOT 1032432 SOS 774515 HAS SOPS 402905 HAS SOUS 100097 HAS SOUPS 38819 WITH SCORE 39593.515
AT ITER 3234 NEW BEST:: SOT 1031859 SOS 772965 HAS SOPS 402300 HAS SOUS 99962 HAS SOUPS 38747 WITH SCORE 39519.965
AT ITER 3259 NEW BEST:: SOT 1031857 SOS 772961 HAS SOPS 402296 HAS SOUS 99960 HAS SOUPS 38745 WITH SCORE 39517.961
AT ITER 3262 NEW BEST:: SOT 1031844 SOS 771705 HAS SOPS 401737 HAS SOUS 99941 HAS SOUPS 38743 WITH SCORE 39514.705
AT ITER 3268 NEW BEST:: SOT 1031288 SOS 770819 HAS SOPS 401665 HAS SOUS 99868 HAS SOUPS 38743 WITH SCORE 39513.819
AT ITER 3283 NEW BEST:: SOT 1030942 SOS 771328 HAS SOPS 401670 HAS SOUS 99768 HAS SOUPS 38587 WITH SCORE 39358.328
AT ITER 3292 NEW BEST:: SOT 1030942 SOS 771328 HAS SOPS 401670 HAS SOUS 99700 HAS SOUPS 38519 WITH SCORE 39290.328
AT ITER 3308 NEW BEST:: SOT 1030762 SOS 771144 HAS SOPS 401618 HAS SOUS 99696 HAS SOUPS 38515 WITH SCORE 39286.144
AT ITER 3324 NEW BEST:: SOT 1030704 SOS 770953 HAS SOPS 401587 HAS SOUS 99623 HAS SOUPS 38489 WITH SCORE 39259.953
AT ITER 3337 NEW BEST:: SOT 1029509 SOS 769547 HAS SOPS 400763 HAS SOUS 99419 HAS SOUPS 38326 WITH SCORE 39095.547
AT ITER 3346 NEW BEST:: SOT 1029509 SOS 769463 HAS SOPS 400679 HAS SOUS 99391 HAS SOUPS 38298 WITH SCORE 39067.463
AT ITER 3355 NEW BEST:: SOT 1028782 SOS 768736 HAS SOPS 400318 HAS SOUS 99375 HAS SOUPS 38282 WITH SCORE 39050.736
AT ITER 3356 NEW BEST:: SOT 1028906 SOS 768300 HAS SOPS 399900 HAS SOUS 99334 HAS SOUPS 38202 WITH SCORE 38970.3
AT ITER 3369 NEW BEST:: SOT 1028816 SOS 768201 HAS SOPS 399801 HAS SOUS 99325 HAS SOUPS 38184 WITH SCORE 38952.201
AT ITER 3399 NEW BEST:: SOT 1029610 SOS 768898 HAS SOPS 400201 HAS SOUS 99301 HAS SOUPS 38160 WITH SCORE 38928.898
AT ITER 3414 NEW BEST:: SOT 1029600 SOS 768678 HAS SOPS 400041 HAS SOUS 99281 HAS SOUPS 38140 WITH SCORE 38908.678
AT ITER 3418 NEW BEST:: SOT 1028358 SOS 767279 HAS SOPS 399443 HAS SOUS 99069 HAS SOUPS 37919 WITH SCORE 38686.279
AT ITER 3425 NEW BEST:: SOT 1028354 SOS 767271 HAS SOPS 399379 HAS SOUS 99037 HAS SOUPS 37887 WITH SCORE 38654.271
AT ITER 3428 NEW BEST:: SOT 1028354 SOS 767271 HAS SOPS 399379 HAS SOUS 99003 HAS SOUPS 37853 WITH SCORE 38620.271
AT ITER 3448 NEW BEST:: SOT 1027794 SOS 766503 HAS SOPS 398875 HAS SOUS 98965 HAS SOUPS 37815 WITH SCORE 38581.503
AT ITER 3456 NEW BEST:: SOT 1027760 SOS 766453 HAS SOPS 398825 HAS SOUS 98949 HAS SOUPS 37799 WITH SCORE 38565.453
AT ITER 3461 NEW BEST:: SOT 1027762 SOS 766298 HAS SOPS 398829 HAS SOUS 98834 HAS SOUPS 37737 WITH SCORE 38503.298
AT ITER 3466 NEW BEST:: SOT 1027745 SOS 766264 HAS SOPS 398829 HAS SOUS 98681 HAS SOUPS 37737 WITH SCORE 38503.264
AT ITER 3492 NEW BEST:: SOT 1027993 SOS 766560 HAS SOPS 398945 HAS SOUS 98677 HAS SOUPS 37717 WITH SCORE 38483.56
AT ITER 3507 NEW BEST:: SOT 1027912 SOS 766347 HAS SOPS 398885 HAS SOUS 98593 HAS SOUPS 37684 WITH SCORE 38450.347
AT ITER 3520 NEW BEST:: SOT 1027784 SOS 766315 HAS SOPS 398757 HAS SOUS 98593 HAS SOUPS 37684 WITH SCORE 38450.315
AT ITER 3556 NEW BEST:: SOT 1028099 SOS 766730 HAS SOPS 398947 HAS SOUS 98610 HAS SOUPS 37676 WITH SCORE 38442.73
AT ITER 3583 NEW BEST:: SOT 1028107 SOS 766746 HAS SOPS 398939 HAS SOUS 98513 HAS SOUPS 37579 WITH SCORE 38345.746
AT ITER 3610 NEW BEST:: SOT 1028684 SOS 767495 HAS SOPS 399283 HAS SOUS 98553 HAS SOUPS 37574 WITH SCORE 38341.495
AT ITER 3622 NEW BEST:: SOT 1028662 SOS 767451 HAS SOPS 399239 HAS SOUS 98526 HAS SOUPS 37547 WITH SCORE 38314.451
AT ITER 3625 NEW BEST:: SOT 1028422 SOS 767051 HAS SOPS 399079 HAS SOUS 98446 HAS SOUPS 37467 WITH SCORE 38234.051
AT ITER 3636 NEW BEST:: SOT 1028032 SOS 766567 HAS SOPS 398817 HAS SOUS 98425 HAS SOUPS 37446 WITH SCORE 38212.567
AT ITER 3641 NEW BEST:: SOT 1027992 SOS 766483 HAS SOPS 398741 HAS SOUS 98363 HAS SOUPS 37384 WITH SCORE 38150.483
AT ITER 3649 NEW BEST:: SOT 1026591 SOS 765056 HAS SOPS 397776 HAS SOUS 98240 HAS SOUPS 37261 WITH SCORE 38026.056
AT ITER 3669 NEW BEST:: SOT 1025838 SOS 764077 HAS SOPS 397227 HAS SOUS 98116 HAS SOUPS 37176 WITH SCORE 37940.077
AT ITER 3696 NEW BEST:: SOT 1025786 SOS 764153 HAS SOPS 397033 HAS SOUS 98152 HAS SOUPS 37122 WITH SCORE 37886.153
AT ITER 3735 NEW BEST:: SOT 1025753 SOS 764087 HAS SOPS 396967 HAS SOUS 98137 HAS SOUPS 37107 WITH SCORE 37871.087
AT ITER 3764 NEW BEST:: SOT 1025752 SOS 764005 HAS SOPS 396921 HAS SOUS 98124 HAS SOUPS 37098 WITH SCORE 37862.005
AT ITER 3785 NEW BEST:: SOT 1025748 SOS 764009 HAS SOPS 396877 HAS SOUS 98104 HAS SOUPS 37066 WITH SCORE 37830.009
AT ITER 3789 NEW BEST:: SOT 1025730 SOS 763559 HAS SOPS 396589 HAS SOUS 98032 HAS SOUPS 37012 WITH SCORE 37775.559
AT ITER 3793 NEW BEST:: SOT 1025753 SOS 763605 HAS SOPS 396566 HAS SOUS 98036 HAS SOUPS 36993 WITH SCORE 37756.605
AT ITER 3835 NEW BEST:: SOT 1025742 SOS 763561 HAS SOPS 396555 HAS SOUS 98025 HAS SOUPS 36993 WITH SCORE 37756.561
AT ITER 3855 NEW BEST:: SOT 1026008 SOS 763853 HAS SOPS 396712 HAS SOUS 98015 HAS SOUPS 36980 WITH SCORE 37743.853
AT ITER 3863 NEW BEST:: SOT 1026106 SOS 763999 HAS SOPS 396708 HAS SOUS 98013 HAS SOUPS 36928 WITH SCORE 37691.999
AT ITER 3864 NEW BEST:: SOT 1026002 SOS 763893 HAS SOPS 396308 HAS SOUS 98041 HAS SOUPS 36858 WITH SCORE 37621.893
AT ITER 3919 NEW BEST:: SOT 1025950 SOS 763841 HAS SOPS 396256 HAS SOUS 98041 HAS SOUPS 36858 WITH SCORE 37621.841
AT ITER 3928 NEW BEST:: SOT 1025950 SOS 763841 HAS SOPS 396256 HAS SOUS 98031 HAS SOUPS 36848 WITH SCORE 37611.841
AT ITER 3938 NEW BEST:: SOT 1025914 SOS 763769 HAS SOPS 396238 HAS SOUS 98022 HAS SOUPS 36848 WITH SCORE 37611.769
AT ITER 3954 NEW BEST:: SOT 1025638 SOS 763453 HAS SOPS 396042 HAS SOUS 98006 HAS SOUPS 36832 WITH SCORE 37595.453
AT ITER 3962 NEW BEST:: SOT 1025558 SOS 763363 HAS SOPS 395982 HAS SOUS 97976 HAS SOUPS 36812 WITH SCORE 37575.363
AT ITER 3966 NEW BEST:: SOT 1025475 SOS 763197 HAS SOPS 395816 HAS SOUS 97758 HAS SOUPS 36650 WITH SCORE 37413.197
AT ITER 3969 NEW BEST:: SOT 1025491 SOS 763139 HAS SOPS 395848 HAS SOUS 97716 HAS SOUPS 36638 WITH SCORE 37401.139
AT ITER 4031 NEW BEST:: SOT 1025493 SOS 763258 HAS SOPS 395820 HAS SOUS 97749 HAS SOUPS 36622 WITH SCORE 37385.258
AT ITER 4052 NEW BEST:: SOT 1024464 SOS 761881 HAS SOPS 394834 HAS SOUS 97583 HAS SOUPS 36437 WITH SCORE 37198.881
AT ITER 4053 NEW BEST:: SOT 1021762 SOS 759087 HAS SOPS 392916 HAS SOUS 97416 HAS SOUPS 36270 WITH SCORE 37029.087
AT ITER 4070 NEW BEST:: SOT 1021619 SOS 758900 HAS SOPS 392828 HAS SOUS 97372 HAS SOUPS 36237 WITH SCORE 36995.9
AT ITER 4074 NEW BEST:: SOT 1021575 SOS 758856 HAS SOPS 392808 HAS SOUS 97372 HAS SOUPS 36237 WITH SCORE 36995.856
AT ITER 4086 NEW BEST:: SOT 1021548 SOS 758823 HAS SOPS 392786 HAS SOUS 97368 HAS SOUPS 36233 WITH SCORE 36991.823
AT ITER 4102 NEW BEST:: SOT 1021530 SOS 759053 HAS SOPS 392890 HAS SOUS 97378 HAS SOUPS 36229 WITH SCORE 36988.053
AT ITER 4139 NEW BEST:: SOT 1023156 SOS 761072 HAS SOPS 393736 HAS SOUS 97477 HAS SOUPS 36221 WITH SCORE 36982.072
AT ITER 4142 NEW BEST:: SOT 1023141 SOS 761042 HAS SOPS 393586 HAS SOUS 97510 HAS SOUPS 36214 WITH SCORE 36975.042
AT ITER 4144 NEW BEST:: SOT 1023834 SOS 761877 HAS SOPS 393944 HAS SOUS 97513 HAS SOUPS 36173 WITH SCORE 36934.877
AT ITER 4214 NEW BEST:: SOT 1023484 SOS 761475 HAS SOPS 393559 HAS SOUS 97495 HAS SOUPS 36120 WITH SCORE 36881.475
AT ITER 4219 NEW BEST:: SOT 1023374 SOS 761335 HAS SOPS 393499 HAS SOUS 97455 HAS SOUPS 36106 WITH SCORE 36867.335
AT ITER 4241 NEW BEST:: SOT 1022780 SOS 760507 HAS SOPS 392941 HAS SOUS 97374 HAS SOUPS 36025 WITH SCORE 36785.507
AT ITER 4244 NEW BEST:: SOT 1022822 SOS 760549 HAS SOPS 392947 HAS SOUS 97366 HAS SOUPS 36017 WITH SCORE 36777.549
AT ITER 4259 NEW BEST:: SOT 1022954 SOS 760669 HAS SOPS 393019 HAS SOUS 97358 HAS SOUPS 36009 WITH SCORE 36769.669
AT ITER 4262 NEW BEST:: SOT 1022946 SOS 759693 HAS SOPS 392331 HAS SOUS 97254 HAS SOUPS 35905 WITH SCORE 36664.693
AT ITER 4274 NEW BEST:: SOT 1023113 SOS 759488 HAS SOPS 392302 HAS SOUS 97219 HAS SOUPS 35882 WITH SCORE 36641.488
AT ITER 4279 NEW BEST:: SOT 1021475 SOS 757346 HAS SOPS 391294 HAS SOUS 97000 HAS SOUPS 35789 WITH SCORE 36546.346
AT ITER 4290 NEW BEST:: SOT 1021468 SOS 757332 HAS SOPS 391280 HAS SOUS 96969 HAS SOUPS 35758 WITH SCORE 36515.332
AT ITER 4293 NEW BEST:: SOT 1021652 SOS 757498 HAS SOPS 391372 HAS SOUS 96964 HAS SOUPS 35753 WITH SCORE 36510.498
AT ITER 4305 NEW BEST:: SOT 1021622 SOS 757330 HAS SOPS 391276 HAS SOUS 96946 HAS SOUPS 35741 WITH SCORE 36498.33
AT ITER 4308 NEW BEST:: SOT 1021553 SOS 757238 HAS SOPS 391184 HAS SOUS 96900 HAS SOUPS 35695 WITH SCORE 36452.238
AT ITER 4309 NEW BEST:: SOT 1021500 SOS 757676 HAS SOPS 391430 HAS SOUS 96890 HAS SOUPS 35685 WITH SCORE 36442.676
AT ITER 4346 NEW BEST:: SOT 1021860 SOS 758081 HAS SOPS 391640 HAS SOUS 96866 HAS SOUPS 35676 WITH SCORE 36434.081
AT ITER 4351 NEW BEST:: SOT 1021828 SOS 758065 HAS SOPS 391608 HAS SOUS 96818 HAS SOUPS 35628 WITH SCORE 36386.065
AT ITER 4355 NEW BEST:: SOT 1021894 SOS 758164 HAS SOPS 391608 HAS SOUS 96769 HAS SOUPS 35546 WITH SCORE 36304.164
AT ITER 4371 NEW BEST:: SOT 1021875 SOS 758130 HAS SOPS 391599 HAS SOUS 96750 HAS SOUPS 35532 WITH SCORE 36290.13
AT ITER 4372 NEW BEST:: SOT 1021866 SOS 758112 HAS SOPS 391554 HAS SOUS 96741 HAS SOUPS 35514 WITH SCORE 36272.112
AT ITER 4374 NEW BEST:: SOT 1021866 SOS 758184 HAS SOPS 391554 HAS SOUS 96723 HAS SOUPS 35472 WITH SCORE 36230.184
AT ITER 4377 NEW BEST:: SOT 1022143 SOS 758598 HAS SOPS 391554 HAS SOUS 96722 HAS SOUPS 35428 WITH SCORE 36186.598
AT ITER 4383 NEW BEST:: SOT 1022142 SOS 758596 HAS SOPS 391549 HAS SOUS 96722 HAS SOUPS 35427 WITH SCORE 36185.596
AT ITER 4387 NEW BEST:: SOT 1021626 SOS 757951 HAS SOPS 391291 HAS SOUS 96660 HAS SOUPS 35408 WITH SCORE 36165.951
AT ITER 4388 NEW BEST:: SOT 1021374 SOS 757159 HAS SOPS 390823 HAS SOUS 96660 HAS SOUPS 35408 WITH SCORE 36165.159
AT ITER 4404 NEW BEST:: SOT 1021156 SOS 756859 HAS SOPS 390625 HAS SOUS 96636 HAS SOUPS 35384 WITH SCORE 36140.859
AT ITER 4436 NEW BEST:: SOT 1019409 SOS 754611 HAS SOPS 389557 HAS SOUS 96462 HAS SOUPS 35384 WITH SCORE 36138.611
AT ITER 4439 NEW BEST:: SOT 1018464 SOS 753666 HAS SOPS 389104 HAS SOUS 96408 HAS SOUPS 35330 WITH SCORE 36083.666
AT ITER 4445 NEW BEST:: SOT 1018464 SOS 753666 HAS SOPS 389104 HAS SOUS 96352 HAS SOUPS 35274 WITH SCORE 36027.666
AT ITER 4457 NEW BEST:: SOT 1018239 SOS 753494 HAS SOPS 388932 HAS SOUS 96301 HAS SOUPS 35223 WITH SCORE 35976.494
AT ITER 4469 NEW BEST:: SOT 1018237 SOS 753492 HAS SOPS 388930 HAS SOUS 96299 HAS SOUPS 35221 WITH SCORE 35974.492
AT ITER 4486 NEW BEST:: SOT 1018192 SOS 752866 HAS SOPS 388304 HAS SOUS 96295 HAS SOUPS 35217 WITH SCORE 35969.866
AT ITER 4504 NEW BEST:: SOT 1017876 SOS 752540 HAS SOPS 387978 HAS SOUS 96285 HAS SOUPS 35173 WITH SCORE 35925.54
AT ITER 4528 NEW BEST:: SOT 1017863 SOS 752514 HAS SOPS 387978 HAS SOUS 96272 HAS SOUPS 35173 WITH SCORE 35925.514
AT ITER 4542 NEW BEST:: SOT 1017799 SOS 752386 HAS SOPS 387978 HAS SOUS 96242 HAS SOUPS 35173 WITH SCORE 35925.386
AT ITER 4554 NEW BEST:: SOT 1017794 SOS 751449 HAS SOPS 387041 HAS SOUS 96239 HAS SOUPS 35170 WITH SCORE 35921.449
AT ITER 4593 NEW BEST:: SOT 1017391 SOS 751093 HAS SOPS 386835 HAS SOUS 96236 HAS SOUPS 35167 WITH SCORE 35918.093
AT ITER 4601 NEW BEST:: SOT 1017377 SOS 750990 HAS SOPS 386807 HAS SOUS 96183 HAS SOUPS 35139 WITH SCORE 35889.99
AT ITER 4608 NEW BEST:: SOT 1017125 SOS 750675 HAS SOPS 386681 HAS SOUS 96162 HAS SOUPS 35139 WITH SCORE 35889.675
AT ITER 4615 NEW BEST:: SOT 1016852 SOS 750402 HAS SOPS 386447 HAS SOUS 96162 HAS SOUPS 35139 WITH SCORE 35889.402
AT ITER 4621 NEW BEST:: SOT 1017105 SOS 750733 HAS SOPS 386553 HAS SOUS 96165 HAS SOUPS 35117 WITH SCORE 35867.733
AT ITER 4634 NEW BEST:: SOT 1017165 SOS 750799 HAS SOPS 386583 HAS SOUS 96159 HAS SOUPS 35111 WITH SCORE 35861.799
AT ITER 4650 NEW BEST:: SOT 1016370 SOS 749836 HAS SOPS 386124 HAS SOUS 96120 HAS SOUPS 35072 WITH SCORE 35821.836
AT ITER 4660 NEW BEST:: SOT 1014182 SOS 747629 HAS SOPS 384444 HAS SOUS 95995 HAS SOUPS 35028 WITH SCORE 35775.629
AT ITER 4661 NEW BEST:: SOT 1012430 SOS 745257 HAS SOPS 383278 HAS SOUS 95782 HAS SOUPS 34945 WITH SCORE 35690.257
AT ITER 4690 NEW BEST:: SOT 1012371 SOS 745047 HAS SOPS 383209 HAS SOUS 95731 HAS SOUPS 34941 WITH SCORE 35686.047
AT ITER 4697 NEW BEST:: SOT 1011793 SOS 744467 HAS SOPS 383061 HAS SOUS 95729 HAS SOUPS 34939 WITH SCORE 35683.467
AT ITER 4704 NEW BEST:: SOT 1012344 SOS 745035 HAS SOPS 383379 HAS SOUS 95675 HAS SOUPS 34885 WITH SCORE 35630.035
AT ITER 4718 NEW BEST:: SOT 1012022 SOS 744529 HAS SOPS 383141 HAS SOUS 95614 HAS SOUPS 34824 WITH SCORE 35568.529
AT ITER 4724 NEW BEST:: SOT 1011903 SOS 744291 HAS SOPS 382903 HAS SOUS 95429 HAS SOUPS 34639 WITH SCORE 35383.291
AT ITER 4727 NEW BEST:: SOT 1011828 SOS 744258 HAS SOPS 382753 HAS SOUS 95315 HAS SOUPS 34486 WITH SCORE 35230.258
AT ITER 4757 NEW BEST:: SOT 1011828 SOS 744258 HAS SOPS 382753 HAS SOUS 95299 HAS SOUPS 34470 WITH SCORE 35214.258
AT ITER 4775 NEW BEST:: SOT 1011789 SOS 744219 HAS SOPS 382714 HAS SOUS 95260 HAS SOUPS 34431 WITH SCORE 35175.219
AT ITER 4789 NEW BEST:: SOT 1011711 SOS 743973 HAS SOPS 382468 HAS SOUS 95118 HAS SOUPS 34289 WITH SCORE 35032.973
AT ITER 4804 NEW BEST:: SOT 1011545 SOS 743880 HAS SOPS 382349 HAS SOUS 95134 HAS SOUPS 34285 WITH SCORE 35028.88
AT ITER 4815 NEW BEST:: SOT 1011236 SOS 743295 HAS SOPS 382188 HAS SOUS 95027 HAS SOUPS 34252 WITH SCORE 34995.295
AT ITER 4821 NEW BEST:: SOT 1011152 SOS 742487 HAS SOPS 381740 HAS SOUS 94977 HAS SOUPS 34242 WITH SCORE 34984.487
AT ITER 4822 NEW BEST:: SOT 1011176 SOS 742487 HAS SOPS 381740 HAS SOUS 94953 HAS SOUPS 34218 WITH SCORE 34960.487
AT ITER 4856 NEW BEST:: SOT 1011147 SOS 742477 HAS SOPS 381682 HAS SOUS 94943 HAS SOUPS 34192 WITH SCORE 34934.477
AT ITER 4885 NEW BEST:: SOT 1011131 SOS 742445 HAS SOPS 381682 HAS SOUS 94905 HAS SOUPS 34173 WITH SCORE 34915.445
AT ITER 4892 NEW BEST:: SOT 1011028 SOS 742309 HAS SOPS 381614 HAS SOUS 94952 HAS SOUPS 34150 WITH SCORE 34892.309
AT ITER 4899 NEW BEST:: SOT 1008525 SOS 739410 HAS SOPS 379808 HAS SOUS 94761 HAS SOUPS 34121 WITH SCORE 34860.41
AT ITER 4902 NEW BEST:: SOT 1008196 SOS 738866 HAS SOPS 379720 HAS SOUS 94660 HAS SOUPS 34077 WITH SCORE 34815.866
AT ITER 4922 NEW BEST:: SOT 1008172 SOS 738860 HAS SOPS 379474 HAS SOUS 94704 HAS SOUPS 34041 WITH SCORE 34779.86
AT ITER 4953 NEW BEST:: SOT 1007828 SOS 738516 HAS SOPS 379388 HAS SOUS 94661 HAS SOUPS 33998 WITH SCORE 34736.516
AT ITER 4985 NEW BEST:: SOT 1007940 SOS 738666 HAS SOPS 379168 HAS SOUS 94551 HAS SOUPS 33888 WITH SCORE 34626.666
AT ITER 4995 NEW BEST:: SOT 1007932 SOS 738656 HAS SOPS 379158 HAS SOUS 94538 HAS SOUPS 33875 WITH SCORE 34613.656
AT ITER 5012 NEW BEST:: SOT 1007750 SOS 738446 HAS SOPS 379032 HAS SOUS 94482 HAS SOUPS 33819 WITH SCORE 34557.446
AT ITER 5016 NEW BEST:: SOT 1007725 SOS 738414 HAS SOPS 379008 HAS SOUS 94479 HAS SOUPS 33816 WITH SCORE 34554.414
AT ITER 5023 NEW BEST:: SOT 1007709 SOS 738382 HAS SOPS 378976 HAS SOUS 94463 HAS SOUPS 33800 WITH SCORE 34538.382
AT ITER 5029 NEW BEST:: SOT 1007709 SOS 738341 HAS SOPS 378976 HAS SOUS 94462 HAS SOUPS 33800 WITH SCORE 34538.341
AT ITER 5040 NEW BEST:: SOT 1007707 SOS 738297 HAS SOPS 378973 HAS SOUS 94461 HAS SOUPS 33800 WITH SCORE 34538.297
AT ITER 5059 NEW BEST:: SOT 1007678 SOS 738239 HAS SOPS 378915 HAS SOUS 94432 HAS SOUPS 33771 WITH SCORE 34509.239
AT ITER 5080 NEW BEST:: SOT 1007678 SOS 738239 HAS SOPS 378915 HAS SOUS 94420 HAS SOUPS 33759 WITH SCORE 34497.239
AT ITER 5124 NEW BEST:: SOT 1007636 SOS 738155 HAS SOPS 378831 HAS SOUS 94385 HAS SOUPS 33724 WITH SCORE 34462.155
AT ITER 5127 NEW BEST:: SOT 1007510 SOS 738071 HAS SOPS 378747 HAS SOUS 94403 HAS SOUPS 33721 WITH SCORE 34459.071
AT ITER 5131 NEW BEST:: SOT 1007494 SOS 738039 HAS SOPS 378731 HAS SOUS 94387 HAS SOUPS 33705 WITH SCORE 34443.039
AT ITER 5139 NEW BEST:: SOT 1007480 SOS 738023 HAS SOPS 378721 HAS SOUS 94384 HAS SOUPS 33702 WITH SCORE 34440.023
AT ITER 5159 NEW BEST:: SOT 1007395 SOS 737904 HAS SOPS 378656 HAS SOUS 94303 HAS SOUPS 33631 WITH SCORE 34368.904
AT ITER 5164 NEW BEST:: SOT 1006027 SOS 736194 HAS SOPS 377972 HAS SOUS 94070 HAS SOUPS 33512 WITH SCORE 34248.194
AT ITER 5171 NEW BEST:: SOT 1005976 SOS 736190 HAS SOPS 377968 HAS SOUS 94019 HAS SOUPS 33461 WITH SCORE 34197.19
AT ITER 5182 NEW BEST:: SOT 1005828 SOS 735993 HAS SOPS 377837 HAS SOUS 93999 HAS SOUPS 33441 WITH SCORE 34176.993
AT ITER 5184 NEW BEST:: SOT 1005717 SOS 735697 HAS SOPS 377652 HAS SOUS 93851 HAS SOUPS 33330 WITH SCORE 34065.697
AT ITER 5193 NEW BEST:: SOT 1005721 SOS 734345 HAS SOPS 376997 HAS SOUS 93818 HAS SOUPS 33314 WITH SCORE 34048.345
AT ITER 5194 NEW BEST:: SOT 1005736 SOS 734075 HAS SOPS 376817 HAS SOUS 93818 HAS SOUPS 33314 WITH SCORE 34048.075
AT ITER 5206 NEW BEST:: SOT 1005807 SOS 734163 HAS SOPS 376853 HAS SOUS 93818 HAS SOUPS 33308 WITH SCORE 34042.163
AT ITER 5224 NEW BEST:: SOT 1005751 SOS 734107 HAS SOPS 376805 HAS SOUS 93818 HAS SOUPS 33308 WITH SCORE 34042.107
AT ITER 5242 NEW BEST:: SOT 1005749 SOS 734103 HAS SOPS 376783 HAS SOUS 93810 HAS SOUPS 33294 WITH SCORE 34028.103
AT ITER 5243 NEW BEST:: SOT 1005514 SOS 733676 HAS SOPS 376644 HAS SOUS 93623 HAS SOUPS 33155 WITH SCORE 33888.676
AT ITER 5289 NEW BEST:: SOT 1005514 SOS 733676 HAS SOPS 376644 HAS SOUS 93614 HAS SOUPS 33149 WITH SCORE 33882.676
AT ITER 5328 NEW BEST:: SOT 1005542 SOS 733688 HAS SOPS 376656 HAS SOUS 93608 HAS SOUPS 33147 WITH SCORE 33880.688
AT ITER 5333 NEW BEST:: SOT 1005457 SOS 734746 HAS SOPS 377164 HAS SOUS 93639 HAS SOUPS 33119 WITH SCORE 33853.746
AT ITER 5343 NEW BEST:: SOT 1005445 SOS 734722 HAS SOPS 377140 HAS SOUS 93618 HAS SOUPS 33098 WITH SCORE 33832.722
AT ITER 5363 NEW BEST:: SOT 1004721 SOS 733805 HAS SOPS 376754 HAS SOUS 93470 HAS SOUPS 33009 WITH SCORE 33742.805
AT ITER 5373 NEW BEST:: SOT 1004409 SOS 733406 HAS SOPS 376580 HAS SOUS 93433 HAS SOUPS 32997 WITH SCORE 33730.406
AT ITER 5382 NEW BEST:: SOT 1004405 SOS 733402 HAS SOPS 376576 HAS SOUS 93327 HAS SOUPS 32891 WITH SCORE 33624.402
AT ITER 5384 NEW BEST:: SOT 1004207 SOS 733132 HAS SOPS 376468 HAS SOUS 93309 HAS SOUPS 32891 WITH SCORE 33624.132
AT ITER 5393 NEW BEST:: SOT 1004135 SOS 733010 HAS SOPS 376412 HAS SOUS 93281 HAS SOUPS 32885 WITH SCORE 33618.01
AT ITER 5404 NEW BEST:: SOT 1004845 SOS 734494 HAS SOPS 376738 HAS SOUS 93389 HAS SOUPS 32801 WITH SCORE 33535.494
AT ITER 5414 NEW BEST:: SOT 1004701 SOS 734326 HAS SOPS 376642 HAS SOUS 93389 HAS SOUPS 32801 WITH SCORE 33535.326
AT ITER 5430 NEW BEST:: SOT 1003742 SOS 733008 HAS SOPS 376062 HAS SOUS 93304 HAS SOUPS 32798 WITH SCORE 33531.008
AT ITER 5434 NEW BEST:: SOT 1003742 SOS 733008 HAS SOPS 376062 HAS SOUS 93348 HAS SOUPS 32782 WITH SCORE 33515.008
AT ITER 5436 NEW BEST:: SOT 1003740 SOS 733004 HAS SOPS 376058 HAS SOUS 93344 HAS SOUPS 32778 WITH SCORE 33511.004
AT ITER 5478 NEW BEST:: SOT 1003532 SOS 731696 HAS SOPS 375146 HAS SOUS 93173 HAS SOUPS 32597 WITH SCORE 33328.696
AT ITER 5492 NEW BEST:: SOT 1003004 SOS 731009 HAS SOPS 374828 HAS SOUS 93044 HAS SOUPS 32509 WITH SCORE 33240.009
AT ITER 5517 NEW BEST:: SOT 1003020 SOS 731041 HAS SOPS 374860 HAS SOUS 93010 HAS SOUPS 32475 WITH SCORE 33206.041
AT ITER 5533 NEW BEST:: SOT 1002933 SOS 730971 HAS SOPS 374742 HAS SOUS 92971 HAS SOUPS 32436 WITH SCORE 33166.971
AT ITER 5542 NEW BEST:: SOT 1003058 SOS 729611 HAS SOPS 374222 HAS SOUS 92910 HAS SOUPS 32420 WITH SCORE 33149.611
AT ITER 5556 NEW BEST:: SOT 1003070 SOS 729515 HAS SOPS 374162 HAS SOUS 92910 HAS SOUPS 32420 WITH SCORE 33149.515
AT ITER 5564 NEW BEST:: SOT 1003094 SOS 729083 HAS SOPS 373874 HAS SOUS 92910 HAS SOUPS 32420 WITH SCORE 33149.083
AT ITER 5566 NEW BEST:: SOT 1002237 SOS 727394 HAS SOPS 373433 HAS SOUS 92632 HAS SOUPS 32350 WITH SCORE 33077.394
AT ITER 5580 NEW BEST:: SOT 1002171 SOS 727328 HAS SOPS 373367 HAS SOUS 92482 HAS SOUPS 32200 WITH SCORE 32927.328
AT ITER 5581 NEW BEST:: SOT 1002051 SOS 727178 HAS SOPS 373307 HAS SOUS 92472 HAS SOUPS 32200 WITH SCORE 32927.178
AT ITER 5644 NEW BEST:: SOT 1002080 SOS 727245 HAS SOPS 373366 HAS SOUS 92460 HAS SOUPS 32188 WITH SCORE 32915.245
AT ITER 5671 NEW BEST:: SOT 1002724 SOS 728039 HAS SOPS 373680 HAS SOUS 92460 HAS SOUPS 32139 WITH SCORE 32867.039
AT ITER 5687 NEW BEST:: SOT 1003276 SOS 728679 HAS SOPS 373972 HAS SOUS 92458 HAS SOUPS 32137 WITH SCORE 32865.679
AT ITER 5688 NEW BEST:: SOT 1003210 SOS 728547 HAS SOPS 373840 HAS SOUS 92399 HAS SOUPS 32078 WITH SCORE 32806.547
AT ITER 5700 NEW BEST:: SOT 1003142 SOS 728423 HAS SOPS 373800 HAS SOUS 92379 HAS SOUPS 32072 WITH SCORE 32800.423
AT ITER 5713 NEW BEST:: SOT 1002977 SOS 728183 HAS SOPS 373671 HAS SOUS 92311 HAS SOUPS 32022 WITH SCORE 32750.183
AT ITER 5723 NEW BEST:: SOT 1002739 SOS 727793 HAS SOPS 373591 HAS SOUS 92245 HAS SOUPS 31982 WITH SCORE 32709.793
AT ITER 5732 NEW BEST:: SOT 1002135 SOS 727149 HAS SOPS 373229 HAS SOUS 92243 HAS SOUPS 31980 WITH SCORE 32707.149
AT ITER 5733 NEW BEST:: SOT 1001631 SOS 726645 HAS SOPS 372797 HAS SOUS 92212 HAS SOUPS 31961 WITH SCORE 32687.645
AT ITER 5742 NEW BEST:: SOT 1001631 SOS 726645 HAS SOPS 372797 HAS SOUS 92182 HAS SOUPS 31931 WITH SCORE 32657.645
AT ITER 5751 NEW BEST:: SOT 1001517 SOS 726531 HAS SOPS 372683 HAS SOUS 92146 HAS SOUPS 31911 WITH SCORE 32637.531
AT ITER 5758 NEW BEST:: SOT 1001512 SOS 726540 HAS SOPS 372683 HAS SOUS 92146 HAS SOUPS 31910 WITH SCORE 32636.54
AT ITER 5767 NEW BEST:: SOT 1000917 SOS 725761 HAS SOPS 372318 HAS SOUS 91983 HAS SOUPS 31793 WITH SCORE 32518.761
AT ITER 5783 NEW BEST:: SOT 1000923 SOS 725773 HAS SOPS 372330 HAS SOUS 91972 HAS SOUPS 31782 WITH SCORE 32507.773
AT ITER 5785 NEW BEST:: SOT 1000925 SOS 725742 HAS SOPS 372299 HAS SOUS 91972 HAS SOUPS 31782 WITH SCORE 32507.742
AT ITER 5796 NEW BEST:: SOT 999459 SOS 723658 HAS SOPS 370851 HAS SOUS 91614 HAS SOUPS 31424 WITH SCORE 32147.658
AT ITER 5809 NEW BEST:: SOT 999443 SOS 723564 HAS SOPS 370839 HAS SOUS 91612 HAS SOUPS 31422 WITH SCORE 32145.564
AT ITER 5817 NEW BEST:: SOT 999468 SOS 723589 HAS SOPS 370739 HAS SOUS 91582 HAS SOUPS 31392 WITH SCORE 32115.589
AT ITER 5819 NEW BEST:: SOT 998265 SOS 722415 HAS SOPS 370035 HAS SOUS 91582 HAS SOUPS 31392 WITH SCORE 32114.415
AT ITER 5821 NEW BEST:: SOT 997897 SOS 721315 HAS SOPS 369345 HAS SOUS 91558 HAS SOUPS 31368 WITH SCORE 32089.315
AT ITER 5827 NEW BEST:: SOT 997897 SOS 721315 HAS SOPS 369345 HAS SOUS 91520 HAS SOUPS 31330 WITH SCORE 32051.315
AT ITER 5847 NEW BEST:: SOT 997843 SOS 721261 HAS SOPS 369291 HAS SOUS 91511 HAS SOUPS 31325 WITH SCORE 32046.261
AT ITER 5852 NEW BEST:: SOT 997703 SOS 721071 HAS SOPS 369191 HAS SOUS 91481 HAS SOUPS 31305 WITH SCORE 32026.071
AT ITER 5878 NEW BEST:: SOT 997685 SOS 721035 HAS SOPS 369155 HAS SOUS 91463 HAS SOUPS 31287 WITH SCORE 32008.035
AT ITER 5883 NEW BEST:: SOT 997491 SOS 720647 HAS SOPS 369155 HAS SOUS 91365 HAS SOUPS 31287 WITH SCORE 32007.647
AT ITER 5953 NEW BEST:: SOT 997462 SOS 720566 HAS SOPS 369105 HAS SOUS 91355 HAS SOUPS 31277 WITH SCORE 31997.566
AT ITER 5954 NEW BEST:: SOT 997158 SOS 720165 HAS SOPS 368911 HAS SOUS 91273 HAS SOUPS 31218 WITH SCORE 31938.165
AT ITER 6000 NEW BEST:: SOT 997400 SOS 720469 HAS SOPS 369035 HAS SOUS 91277 HAS SOUPS 31202 WITH SCORE 31922.469
AT ITER 6026 NEW BEST:: SOT 997356 SOS 720381 HAS SOPS 369013 HAS SOUS 91256 HAS SOUPS 31192 WITH SCORE 31912.381
AT ITER 6044 NEW BEST:: SOT 997251 SOS 720211 HAS SOPS 368979 HAS SOUS 91234 HAS SOUPS 31178 WITH SCORE 31898.211
AT ITER 6087 NEW BEST:: SOT 996395 SOS 719040 HAS SOPS 368375 HAS SOUS 91001 HAS SOUPS 31008 WITH SCORE 31727.04
AT ITER 6102 NEW BEST:: SOT 996052 SOS 718588 HAS SOPS 368157 HAS SOUS 90937 HAS SOUPS 30970 WITH SCORE 31688.588
AT ITER 6139 NEW BEST:: SOT 996034 SOS 718463 HAS SOPS 367765 HAS SOUS 90993 HAS SOUPS 30937 WITH SCORE 31655.463
AT ITER 6144 NEW BEST:: SOT 996034 SOS 718463 HAS SOPS 367765 HAS SOUS 90751 HAS SOUPS 30695 WITH SCORE 31413.463
AT ITER 6149 NEW BEST:: SOT 996030 SOS 718455 HAS SOPS 367757 HAS SOUS 90747 HAS SOUPS 30691 WITH SCORE 31409.455
AT ITER 6150 NEW BEST:: SOT 995895 SOS 718065 HAS SOPS 367592 HAS SOUS 90717 HAS SOUPS 30676 WITH SCORE 31394.065
AT ITER 6168 NEW BEST:: SOT 995883 SOS 718041 HAS SOPS 367568 HAS SOUS 90699 HAS SOUPS 30658 WITH SCORE 31376.041
AT ITER 6173 NEW BEST:: SOT 995435 SOS 717593 HAS SOPS 367184 HAS SOUS 90699 HAS SOUPS 30658 WITH SCORE 31375.593
AT ITER 6198 NEW BEST:: SOT 995429 SOS 717641 HAS SOPS 367214 HAS SOUS 90696 HAS SOUPS 30655 WITH SCORE 31372.641
AT ITER 6215 NEW BEST:: SOT 995417 SOS 717497 HAS SOPS 367271 HAS SOUS 90610 HAS SOUPS 30636 WITH SCORE 31353.497
AT ITER 6233 NEW BEST:: SOT 995461 SOS 717563 HAS SOPS 367271 HAS SOUS 90592 HAS SOUPS 30616 WITH SCORE 31333.563
AT ITER 6253 NEW BEST:: SOT 995422 SOS 717498 HAS SOPS 367245 HAS SOUS 90566 HAS SOUPS 30603 WITH SCORE 31320.498
AT ITER 6256 NEW BEST:: SOT 995371 SOS 714664 HAS SOPS 366697 HAS SOUS 90457 HAS SOUPS 30545 WITH SCORE 31259.664
AT ITER 6284 NEW BEST:: SOT 995304 SOS 714556 HAS SOPS 366693 HAS SOUS 90442 HAS SOUPS 30543 WITH SCORE 31257.556
AT ITER 6295 NEW BEST:: SOT 995700 SOS 714952 HAS SOPS 366873 HAS SOUS 90388 HAS SOUPS 30489 WITH SCORE 31203.952
AT ITER 6333 NEW BEST:: SOT 995619 SOS 714759 HAS SOPS 366848 HAS SOUS 90346 HAS SOUPS 30475 WITH SCORE 31189.759
AT ITER 6344 NEW BEST:: SOT 995567 SOS 714668 HAS SOPS 366796 HAS SOUS 90320 HAS SOUPS 30462 WITH SCORE 31176.668
AT ITER 6357 NEW BEST:: SOT 995553 SOS 714640 HAS SOPS 366855 HAS SOUS 90272 HAS SOUPS 30443 WITH SCORE 31157.64
AT ITER 6362 NEW BEST:: SOT 995348 SOS 714289 HAS SOPS 366681 HAS SOUS 90185 HAS SOUPS 30415 WITH SCORE 31129.289
AT ITER 6374 NEW BEST:: SOT 994464 SOS 712955 HAS SOPS 366247 HAS SOUS 90103 HAS SOUPS 30408 WITH SCORE 31120.955
AT ITER 6377 NEW BEST:: SOT 994464 SOS 712910 HAS SOPS 366247 HAS SOUS 90088 HAS SOUPS 30408 WITH SCORE 31120.91
AT ITER 6395 NEW BEST:: SOT 994512 SOS 712970 HAS SOPS 366271 HAS SOUS 90084 HAS SOUPS 30400 WITH SCORE 31112.97
AT ITER 6421 NEW BEST:: SOT 994488 SOS 712910 HAS SOPS 366223 HAS SOUS 90060 HAS SOUPS 30388 WITH SCORE 31100.91
AT ITER 6428 NEW BEST:: SOT 994487 SOS 712888 HAS SOPS 366207 HAS SOUS 90058 HAS SOUPS 30386 WITH SCORE 31098.888
AT ITER 6440 NEW BEST:: SOT 994198 SOS 712600 HAS SOPS 366207 HAS SOUS 90059 HAS SOUPS 30386 WITH SCORE 31098.6
AT ITER 6463 NEW BEST:: SOT 994206 SOS 712607 HAS SOPS 366211 HAS SOUS 90057 HAS SOUPS 30384 WITH SCORE 31096.607
AT ITER 6479 NEW BEST:: SOT 994056 SOS 712357 HAS SOPS 366111 HAS SOUS 90007 HAS SOUPS 30384 WITH SCORE 31096.357
AT ITER 6496 NEW BEST:: SOT 993996 SOS 712237 HAS SOPS 366036 HAS SOUS 89977 HAS SOUPS 30369 WITH SCORE 31081.237
AT ITER 6604 NEW BEST:: SOT 994052 SOS 712321 HAS SOPS 366050 HAS SOUS 89964 HAS SOUPS 30356 WITH SCORE 31068.321
AT ITER 6606 NEW BEST:: SOT 994035 SOS 712287 HAS SOPS 366016 HAS SOUS 89938 HAS SOUPS 30330 WITH SCORE 31042.287
AT ITER 6738 NEW BEST:: SOT 994040 SOS 712297 HAS SOPS 366026 HAS SOUS 89936 HAS SOUPS 30328 WITH SCORE 31040.297
AT ITER 6839 NEW BEST:: SOT 994137 SOS 711592 HAS SOPS 365528 HAS SOUS 89960 HAS SOUPS 30292 WITH SCORE 31003.592
AT ITER 6855 NEW BEST:: SOT 994069 SOS 711648 HAS SOPS 365536 HAS SOUS 89940 HAS SOUPS 30272 WITH SCORE 30983.648
AT ITER 6892 NEW BEST:: SOT 994077 SOS 711116 HAS SOPS 365537 HAS SOUS 89902 HAS SOUPS 30247 WITH SCORE 30958.116
AT ITER 6927 NEW BEST:: SOT 994077 SOS 711116 HAS SOPS 365537 HAS SOUS 89800 HAS SOUPS 30145 WITH SCORE 30856.116
AT ITER 6942 NEW BEST:: SOT 994071 SOS 711110 HAS SOPS 365531 HAS SOUS 89797 HAS SOUPS 30142 WITH SCORE 30853.11
AT ITER 6951 NEW BEST:: SOT 994083 SOS 711122 HAS SOPS 365537 HAS SOUS 89796 HAS SOUPS 30141 WITH SCORE 30852.122
AT ITER 6977 NEW BEST:: SOT 994029 SOS 710839 HAS SOPS 365340 HAS SOUS 89766 HAS SOUPS 30087 WITH SCORE 30797.839
AT ITER 6990 NEW BEST:: SOT 994437 SOS 711247 HAS SOPS 365442 HAS SOUS 89715 HAS SOUPS 30036 WITH SCORE 30747.247
AT ITER 6998 NEW BEST:: SOT 994439 SOS 711247 HAS SOPS 365442 HAS SOUS 89714 HAS SOUPS 30035 WITH SCORE 30746.247
AT ITER 7025 NEW BEST:: SOT 994351 SOS 711101 HAS SOPS 365416 HAS SOUS 89688 HAS SOUPS 30024 WITH SCORE 30735.101
AT ITER 7036 NEW BEST:: SOT 994327 SOS 711359 HAS SOPS 365566 HAS SOUS 89682 HAS SOUPS 30018 WITH SCORE 30729.359
AT ITER 7044 NEW BEST:: SOT 994342 SOS 711089 HAS SOPS 365386 HAS SOUS 89682 HAS SOUPS 30018 WITH SCORE 30729.089
AT ITER 7063 NEW BEST:: SOT 994300 SOS 711041 HAS SOPS 365356 HAS SOUS 89676 HAS SOUPS 30012 WITH SCORE 30723.041
AT ITER 7067 NEW BEST:: SOT 994300 SOS 711041 HAS SOPS 365356 HAS SOUS 89660 HAS SOUPS 29996 WITH SCORE 30707.041
AT ITER 7073 NEW BEST:: SOT 994682 SOS 712905 HAS SOPS 365577 HAS SOUS 89628 HAS SOUPS 29940 WITH SCORE 30652.905
AT ITER 7086 NEW BEST:: SOT 994543 SOS 712431 HAS SOPS 365331 HAS SOUS 89605 HAS SOUPS 29925 WITH SCORE 30637.431
AT ITER 7100 NEW BEST:: SOT 994651 SOS 712610 HAS SOPS 365401 HAS SOUS 89624 HAS SOUPS 29908 WITH SCORE 30620.61
AT ITER 7133 NEW BEST:: SOT 994648 SOS 712619 HAS SOPS 365407 HAS SOUS 89622 HAS SOUPS 29907 WITH SCORE 30619.619
AT ITER 7155 NEW BEST:: SOT 993144 SOS 710675 HAS SOPS 364345 HAS SOUS 89386 HAS SOUPS 29804 WITH SCORE 30514.675
AT ITER 7159 NEW BEST:: SOT 993140 SOS 710667 HAS SOPS 364345 HAS SOUS 89383 HAS SOUPS 29804 WITH SCORE 30514.667
AT ITER 7160 NEW BEST:: SOT 993228 SOS 708862 HAS SOPS 363146 HAS SOUS 89351 HAS SOUPS 29772 WITH SCORE 30480.862
AT ITER 7174 NEW BEST:: SOT 992844 SOS 708094 HAS SOPS 362954 HAS SOUS 89215 HAS SOUPS 29732 WITH SCORE 30440.094
AT ITER 7194 NEW BEST:: SOT 992594 SOS 707577 HAS SOPS 362834 HAS SOUS 89109 HAS SOUPS 29691 WITH SCORE 30398.577
AT ITER 7201 NEW BEST:: SOT 992594 SOS 707577 HAS SOPS 362834 HAS SOUS 89107 HAS SOUPS 29689 WITH SCORE 30396.577
AT ITER 7241 NEW BEST:: SOT 992538 SOS 707521 HAS SOPS 362786 HAS SOUS 89107 HAS SOUPS 29689 WITH SCORE 30396.521
AT ITER 7243 NEW BEST:: SOT 992415 SOS 707335 HAS SOPS 362726 HAS SOUS 89077 HAS SOUPS 29659 WITH SCORE 30366.335
AT ITER 7286 NEW BEST:: SOT 992360 SOS 707270 HAS SOPS 362696 HAS SOUS 89067 HAS SOUPS 29654 WITH SCORE 30361.27
AT ITER 7300 NEW BEST:: SOT 992032 SOS 706902 HAS SOPS 362544 HAS SOUS 89027 HAS SOUPS 29614 WITH SCORE 30320.902000000002
AT ITER 7305 NEW BEST:: SOT 991828 SOS 706630 HAS SOPS 362425 HAS SOUS 89010 HAS SOUPS 29614 WITH SCORE 30320.63
AT ITER 7309 NEW BEST:: SOT 991772 SOS 706574 HAS SOPS 362377 HAS SOUS 89010 HAS SOUPS 29614 WITH SCORE 30320.574
AT ITER 7394 NEW BEST:: SOT 991720 SOS 706426 HAS SOPS 362289 HAS SOUS 88990 HAS SOUPS 29598 WITH SCORE 30304.426
AT ITER 7395 NEW BEST:: SOT 991727 SOS 706317 HAS SOPS 362303 HAS SOUS 88943 HAS SOUPS 29592 WITH SCORE 30298.317
AT ITER 7421 NEW BEST:: SOT 991660 SOS 706219 HAS SOPS 362205 HAS SOUS 88923 HAS SOUPS 29572 WITH SCORE 30278.219
AT ITER 7439 NEW BEST:: SOT 991625 SOS 706184 HAS SOPS 362185 HAS SOUS 88923 HAS SOUPS 29572 WITH SCORE 30278.184
AT ITER 7508 NEW BEST:: SOT 990853 SOS 705312 HAS SOPS 361577 HAS SOUS 88771 HAS SOUPS 29426 WITH SCORE 30131.312
AT ITER 7539 NEW BEST:: SOT 990855 SOS 705315 HAS SOPS 361577 HAS SOUS 88769 HAS SOUPS 29423 WITH SCORE 30128.315
AT ITER 7544 NEW BEST:: SOT 990987 SOS 705480 HAS SOPS 361643 HAS SOUS 88764 HAS SOUPS 29407 WITH SCORE 30112.48
AT ITER 7593 NEW BEST:: SOT 990671 SOS 705056 HAS SOPS 361453 HAS SOUS 88736 HAS SOUPS 29405 WITH SCORE 30110.056
AT ITER 7594 NEW BEST:: SOT 990603 SOS 704935 HAS SOPS 361377 HAS SOUS 88707 HAS SOUPS 29391 WITH SCORE 30095.935
AT ITER 7604 NEW BEST:: SOT 990686 SOS 705015 HAS SOPS 361457 HAS SOUS 88698 HAS SOUPS 29382 WITH SCORE 30087.015
AT ITER 7623 NEW BEST:: SOT 990671 SOS 704420 HAS SOPS 361231 HAS SOUS 88681 HAS SOUPS 29374 WITH SCORE 30078.42
AT ITER 7636 NEW BEST:: SOT 990675 SOS 702998 HAS SOPS 360176 HAS SOUS 88668 HAS SOUPS 29370 WITH SCORE 30072.998
AT ITER 7652 NEW BEST:: SOT 990663 SOS 702894 HAS SOPS 360108 HAS SOUS 88644 HAS SOUPS 29350 WITH SCORE 30052.894
AT ITER 7655 NEW BEST:: SOT 990632 SOS 702889 HAS SOPS 359965 HAS SOUS 88659 HAS SOUPS 29319 WITH SCORE 30021.889
AT ITER 7665 NEW BEST:: SOT 990708 SOS 702897 HAS SOPS 359973 HAS SOUS 88624 HAS SOUPS 29302 WITH SCORE 30004.897
AT ITER 7666 NEW BEST:: SOT 990792 SOS 703002 HAS SOPS 360015 HAS SOUS 88617 HAS SOUPS 29288 WITH SCORE 29991.002
AT ITER 7684 NEW BEST:: SOT 990652 SOS 702812 HAS SOPS 359915 HAS SOUS 88567 HAS SOUPS 29248 WITH SCORE 29950.812
AT ITER 7692 NEW BEST:: SOT 990604 SOS 702760 HAS SOPS 359883 HAS SOUS 88563 HAS SOUPS 29244 WITH SCORE 29946.76
AT ITER 7702 NEW BEST:: SOT 990487 SOS 702598 HAS SOPS 359775 HAS SOUS 88554 HAS SOUPS 29235 WITH SCORE 29937.598
AT ITER 7706 NEW BEST:: SOT 989613 SOS 701462 HAS SOPS 359251 HAS SOUS 88465 HAS SOUPS 29214 WITH SCORE 29915.462
AT ITER 7729 NEW BEST:: SOT 989648 SOS 700742 HAS SOPS 358846 HAS SOUS 88430 HAS SOUPS 29214 WITH SCORE 29914.742
AT ITER 7741 NEW BEST:: SOT 988292 SOS 699233 HAS SOPS 358015 HAS SOUS 88326 HAS SOUPS 29110 WITH SCORE 29809.233
AT ITER 7754 NEW BEST:: SOT 988314 SOS 699277 HAS SOPS 358011 HAS SOUS 88297 HAS SOUPS 29057 WITH SCORE 29756.277000000002
AT ITER 7766 NEW BEST:: SOT 986940 SOS 697719 HAS SOPS 356991 HAS SOUS 88220 HAS SOUPS 29057 WITH SCORE 29754.719
AT ITER 7828 NEW BEST:: SOT 986940 SOS 697719 HAS SOPS 356991 HAS SOUS 88214 HAS SOUPS 29051 WITH SCORE 29748.719
AT ITER 7954 NEW BEST:: SOT 986849 SOS 697628 HAS SOPS 356913 HAS SOUS 88188 HAS SOUPS 29025 WITH SCORE 29722.628
AT ITER 7974 NEW BEST:: SOT 986825 SOS 697580 HAS SOPS 356913 HAS SOUS 88164 HAS SOUPS 29025 WITH SCORE 29722.58
AT ITER 8021 NEW BEST:: SOT 986894 SOS 697349 HAS SOPS 356651 HAS SOUS 88185 HAS SOUPS 28996 WITH SCORE 29693.349
AT ITER 8044 NEW BEST:: SOT 986973 SOS 697430 HAS SOPS 356690 HAS SOUS 88173 HAS SOUPS 28984 WITH SCORE 29681.43
AT ITER 8066 NEW BEST:: SOT 986901 SOS 697286 HAS SOPS 356654 HAS SOUS 88086 HAS SOUPS 28943 WITH SCORE 29640.286
AT ITER 8074 NEW BEST:: SOT 986910 SOS 697304 HAS SOPS 356672 HAS SOUS 88084 HAS SOUPS 28941 WITH SCORE 29638.304
AT ITER 8075 NEW BEST:: SOT 987073 SOS 697575 HAS SOPS 356778 HAS SOUS 88135 HAS SOUPS 28937 WITH SCORE 29634.575
AT ITER 8077 NEW BEST:: SOT 986570 SOS 696966 HAS SOPS 356410 HAS SOUS 88095 HAS SOUPS 28897 WITH SCORE 29593.966
AT ITER 8089 NEW BEST:: SOT 986583 SOS 697015 HAS SOPS 356367 HAS SOUS 88108 HAS SOUPS 28887 WITH SCORE 29584.015
AT ITER 8115 NEW BEST:: SOT 986087 SOS 696383 HAS SOPS 356095 HAS SOUS 88057 HAS SOUPS 28876 WITH SCORE 29572.383
AT ITER 8121 NEW BEST:: SOT 986383 SOS 696763 HAS SOPS 356223 HAS SOUS 88036 HAS SOUPS 28827 WITH SCORE 29523.763
AT ITER 8191 NEW BEST:: SOT 986650 SOS 697222 HAS SOPS 356457 HAS SOUS 88036 HAS SOUPS 28752 WITH SCORE 29449.222
AT ITER 8200 NEW BEST:: SOT 986680 SOS 697270 HAS SOPS 356457 HAS SOUS 88038 HAS SOUPS 28748 WITH SCORE 29445.27
AT ITER 8219 NEW BEST:: SOT 986680 SOS 697270 HAS SOPS 356457 HAS SOUS 88014 HAS SOUPS 28724 WITH SCORE 29421.27
AT ITER 8224 NEW BEST:: SOT 986660 SOS 697250 HAS SOPS 356457 HAS SOUS 88014 HAS SOUPS 28724 WITH SCORE 29421.25
AT ITER 8261 NEW BEST:: SOT 986478 SOS 697068 HAS SOPS 356301 HAS SOUS 88014 HAS SOUPS 28724 WITH SCORE 29421.068
AT ITER 8303 NEW BEST:: SOT 986196 SOS 696144 HAS SOPS 355692 HAS SOUS 88002 HAS SOUPS 28712 WITH SCORE 29408.144
AT ITER 8305 NEW BEST:: SOT 986201 SOS 697384 HAS SOPS 356235 HAS SOUS 87999 HAS SOUPS 28692 WITH SCORE 29389.384
AT ITER 8334 NEW BEST:: SOT 986021 SOS 696837 HAS SOPS 355943 HAS SOUS 87968 HAS SOUPS 28678 WITH SCORE 29374.837
AT ITER 8350 NEW BEST:: SOT 986309 SOS 697444 HAS SOPS 356065 HAS SOUS 88002 HAS SOUPS 28629 WITH SCORE 29326.444
AT ITER 8353 NEW BEST:: SOT 985409 SOS 696244 HAS SOPS 355543 HAS SOUS 87916 HAS SOUPS 28618 WITH SCORE 29314.244
AT ITER 8378 NEW BEST:: SOT 985459 SOS 696327 HAS SOPS 355575 HAS SOUS 87932 HAS SOUPS 28617 WITH SCORE 29313.327
AT ITER 8403 NEW BEST:: SOT 985495 SOS 696408 HAS SOPS 355586 HAS SOUS 87942 HAS SOUPS 28604 WITH SCORE 29300.408
AT ITER 8427 NEW BEST:: SOT 985460 SOS 696352 HAS SOPS 355586 HAS SOUS 87935 HAS SOUPS 28604 WITH SCORE 29300.352
AT ITER 8443 NEW BEST:: SOT 985452 SOS 696488 HAS SOPS 355558 HAS SOUS 87927 HAS SOUPS 28592 WITH SCORE 29288.488
AT ITER 8447 NEW BEST:: SOT 985064 SOS 695991 HAS SOPS 355340 HAS SOUS 87864 HAS SOUPS 28560 WITH SCORE 29255.991
AT ITER 8450 NEW BEST:: SOT 985062 SOS 695947 HAS SOPS 355337 HAS SOUS 87863 HAS SOUPS 28560 WITH SCORE 29255.947
AT ITER 8462 NEW BEST:: SOT 984992 SOS 695826 HAS SOPS 355289 HAS SOUS 87797 HAS SOUPS 28505 WITH SCORE 29200.826
AT ITER 8490 NEW BEST:: SOT 984924 SOS 695713 HAS SOPS 355245 HAS SOUS 87752 HAS SOUPS 28483 WITH SCORE 29178.713
AT ITER 8499 NEW BEST:: SOT 984196 SOS 694985 HAS SOPS 354621 HAS SOUS 87752 HAS SOUPS 28483 WITH SCORE 29177.985
AT ITER 8530 NEW BEST:: SOT 984364 SOS 695195 HAS SOPS 354705 HAS SOUS 87752 HAS SOUPS 28469 WITH SCORE 29164.195
AT ITER 8533 NEW BEST:: SOT 984054 SOS 694682 HAS SOPS 354598 HAS SOUS 87665 HAS SOUPS 28427 WITH SCORE 29121.682
AT ITER 8539 NEW BEST:: SOT 984019 SOS 694647 HAS SOPS 354568 HAS SOUS 87665 HAS SOUPS 28427 WITH SCORE 29121.647
AT ITER 8560 NEW BEST:: SOT 984014 SOS 694616 HAS SOPS 354558 HAS SOUS 87655 HAS SOUPS 28424 WITH SCORE 29118.616
AT ITER 8562 NEW BEST:: SOT 983886 SOS 694396 HAS SOPS 354446 HAS SOUS 87615 HAS SOUPS 28420 WITH SCORE 29114.396
AT ITER 8569 NEW BEST:: SOT 983706 SOS 694174 HAS SOPS 354350 HAS SOUS 87615 HAS SOUPS 28420 WITH SCORE 29114.174
AT ITER 8570 NEW BEST:: SOT 983570 SOS 694038 HAS SOPS 354316 HAS SOUS 87598 HAS SOUPS 28403 WITH SCORE 29097.038
AT ITER 8582 NEW BEST:: SOT 983510 SOS 693963 HAS SOPS 354286 HAS SOUS 87593 HAS SOUPS 28403 WITH SCORE 29096.963
AT ITER 8673 NEW BEST:: SOT 983110 SOS 693427 HAS SOPS 354056 HAS SOUS 87548 HAS SOUPS 28392 WITH SCORE 29085.427
AT ITER 8734 NEW BEST:: SOT 983092 SOS 693403 HAS SOPS 354047 HAS SOUS 87542 HAS SOUPS 28386 WITH SCORE 29079.403
AT ITER 8736 NEW BEST:: SOT 982956 SOS 693218 HAS SOPS 353862 HAS SOUS 87529 HAS SOUPS 28373 WITH SCORE 29066.218
AT ITER 8749 NEW BEST:: SOT 982578 SOS 692732 HAS SOPS 353556 HAS SOUS 87455 HAS SOUPS 28299 WITH SCORE 28991.732
AT ITER 8750 NEW BEST:: SOT 982572 SOS 692720 HAS SOPS 353544 HAS SOUS 87449 HAS SOUPS 28293 WITH SCORE 28985.72
AT ITER 8759 NEW BEST:: SOT 982572 SOS 692720 HAS SOPS 353544 HAS SOUS 87428 HAS SOUPS 28279 WITH SCORE 28971.72
AT ITER 8784 NEW BEST:: SOT 982244 SOS 692064 HAS SOPS 353544 HAS SOUS 87322 HAS SOUPS 28279 WITH SCORE 28971.064
AT ITER 8812 NEW BEST:: SOT 981971 SOS 691791 HAS SOPS 353310 HAS SOUS 87304 HAS SOUPS 28261 WITH SCORE 28952.791
AT ITER 8874 NEW BEST:: SOT 981970 SOS 691789 HAS SOPS 353310 HAS SOUS 87303 HAS SOUPS 28261 WITH SCORE 28952.789
AT ITER 8895 NEW BEST:: SOT 982025 SOS 691691 HAS SOPS 353134 HAS SOUS 87288 HAS SOUPS 28220 WITH SCORE 28911.691
AT ITER 8904 NEW BEST:: SOT 982019 SOS 691517 HAS SOPS 353249 HAS SOUS 87273 HAS SOUPS 28212 WITH SCORE 28903.517
AT ITER 8909 NEW BEST:: SOT 981389 SOS 690887 HAS SOPS 352709 HAS SOUS 87273 HAS SOUPS 28212 WITH SCORE 28902.887
AT ITER 8931 NEW BEST:: SOT 983349 SOS 696441 HAS SOPS 355509 HAS SOUS 87415 HAS SOUPS 28171 WITH SCORE 28867.441
AT ITER 8947 NEW BEST:: SOT 983206 SOS 696254 HAS SOPS 355421 HAS SOUS 87372 HAS SOUPS 28139 WITH SCORE 28835.254
AT ITER 8963 NEW BEST:: SOT 983122 SOS 696149 HAS SOPS 355379 HAS SOUS 87363 HAS SOUPS 28137 WITH SCORE 28833.149
AT ITER 9009 NEW BEST:: SOT 982870 SOS 695813 HAS SOPS 355169 HAS SOUS 87363 HAS SOUPS 28137 WITH SCORE 28832.813
AT ITER 9016 NEW BEST:: SOT 982850 SOS 695789 HAS SOPS 355157 HAS SOUS 87359 HAS SOUPS 28133 WITH SCORE 28828.789
AT ITER 9029 NEW BEST:: SOT 982830 SOS 695749 HAS SOPS 355117 HAS SOUS 87257 HAS SOUPS 28031 WITH SCORE 28726.749
AT ITER 9039 NEW BEST:: SOT 982910 SOS 695853 HAS SOPS 355149 HAS SOUS 87241 HAS SOUPS 28007 WITH SCORE 28702.853
AT ITER 9051 NEW BEST:: SOT 982117 SOS 695803 HAS SOPS 354225 HAS SOUS 87388 HAS SOUPS 27974 WITH SCORE 28669.803
AT ITER 9063 NEW BEST:: SOT 982063 SOS 695704 HAS SOPS 354153 HAS SOUS 87343 HAS SOUPS 27938 WITH SCORE 28633.704
AT ITER 9086 NEW BEST:: SOT 982063 SOS 695704 HAS SOPS 354153 HAS SOUS 87349 HAS SOUPS 27928 WITH SCORE 28623.704
AT ITER 9088 NEW BEST:: SOT 981895 SOS 695494 HAS SOPS 354069 HAS SOUS 87335 HAS SOUPS 27928 WITH SCORE 28623.494
AT ITER 9093 NEW BEST:: SOT 981895 SOS 695494 HAS SOPS 354069 HAS SOUS 87309 HAS SOUPS 27894 WITH SCORE 28589.494
AT ITER 9117 NEW BEST:: SOT 981779 SOS 695346 HAS SOPS 353993 HAS SOUS 87283 HAS SOUPS 27868 WITH SCORE 28563.346
AT ITER 9139 NEW BEST:: SOT 981781 SOS 695358 HAS SOPS 353993 HAS SOUS 87286 HAS SOUPS 27867 WITH SCORE 28562.358
AT ITER 9145 NEW BEST:: SOT 979894 SOS 693379 HAS SOPS 352774 HAS SOUS 87261 HAS SOUPS 27866 WITH SCORE 28559.379
AT ITER 9153 NEW BEST:: SOT 979346 SOS 691733 HAS SOPS 351870 HAS SOUS 87190 HAS SOUPS 27848 WITH SCORE 28539.733
AT ITER 9158 NEW BEST:: SOT 979470 SOS 691871 HAS SOPS 351948 HAS SOUS 87184 HAS SOUPS 27842 WITH SCORE 28533.871
AT ITER 9191 NEW BEST:: SOT 979338 SOS 691739 HAS SOPS 351882 HAS SOUS 87173 HAS SOUPS 27831 WITH SCORE 28522.739
AT ITER 9237 NEW BEST:: SOT 979146 SOS 691467 HAS SOPS 351754 HAS SOUS 87141 HAS SOUPS 27815 WITH SCORE 28506.467
AT ITER 9266 NEW BEST:: SOT 979174 SOS 691523 HAS SOPS 351810 HAS SOUS 87130 HAS SOUPS 27804 WITH SCORE 28495.523
AT ITER 9276 NEW BEST:: SOT 979097 SOS 691464 HAS SOPS 351839 HAS SOUS 87036 HAS SOUPS 27705 WITH SCORE 28396.464
AT ITER 9277 NEW BEST:: SOT 979086 SOS 691452 HAS SOPS 351833 HAS SOUS 87036 HAS SOUPS 27705 WITH SCORE 28396.452
AT ITER 9369 NEW BEST:: SOT 977678 SOS 689572 HAS SOPS 350889 HAS SOUS 86796 HAS SOUPS 27569 WITH SCORE 28258.572
AT ITER 9422 NEW BEST:: SOT 977440 SOS 689267 HAS SOPS 350755 HAS SOUS 86729 HAS SOUPS 27521 WITH SCORE 28210.267
AT ITER 9451 NEW BEST:: SOT 977342 SOS 689169 HAS SOPS 350671 HAS SOUS 86729 HAS SOUPS 27521 WITH SCORE 28210.169
AT ITER 9458 NEW BEST:: SOT 975941 SOS 688203 HAS SOPS 349544 HAS SOUS 86735 HAS SOUPS 27454 WITH SCORE 28142.203
AT ITER 9510 NEW BEST:: SOT 975941 SOS 688203 HAS SOPS 349544 HAS SOUS 86723 HAS SOUPS 27442 WITH SCORE 28130.203
AT ITER 9533 NEW BEST:: SOT 975940 SOS 688201 HAS SOPS 349517 HAS SOUS 86732 HAS SOUPS 27442 WITH SCORE 28130.201
AT ITER 9580 NEW BEST:: SOT 975900 SOS 687971 HAS SOPS 349492 HAS SOUS 86727 HAS SOUPS 27437 WITH SCORE 28124.971
AT ITER 9608 NEW BEST:: SOT 975990 SOS 688061 HAS SOPS 349568 HAS SOUS 86726 HAS SOUPS 27436 WITH SCORE 28124.061
AT ITER 9612 NEW BEST:: SOT 975992 SOS 688065 HAS SOPS 349572 HAS SOUS 86625 HAS SOUPS 27335 WITH SCORE 28023.065
AT ITER 9716 NEW BEST:: SOT 976008 SOS 688071 HAS SOPS 349560 HAS SOUS 86625 HAS SOUPS 27331 WITH SCORE 28019.071
AT ITER 9726 NEW BEST:: SOT 975943 SOS 688001 HAS SOPS 349520 HAS SOUS 86620 HAS SOUPS 27326 WITH SCORE 28014.001
AT ITER 9729 NEW BEST:: SOT 975950 SOS 685854 HAS SOPS 347783 HAS SOUS 86609 HAS SOUPS 27325 WITH SCORE 28010.854
AT ITER 9752 NEW BEST:: SOT 975956 SOS 685872 HAS SOPS 347783 HAS SOUS 86609 HAS SOUPS 27322 WITH SCORE 28007.872
AT ITER 9758 NEW BEST:: SOT 975858 SOS 685732 HAS SOPS 347685 HAS SOUS 86595 HAS SOUPS 27308 WITH SCORE 27993.732
AT ITER 9764 NEW BEST:: SOT 975902 SOS 684700 HAS SOPS 346989 HAS SOUS 86583 HAS SOUPS 27296 WITH SCORE 27980.7
AT ITER 9781 NEW BEST:: SOT 975874 SOS 684611 HAS SOPS 346975 HAS SOUS 86569 HAS SOUPS 27296 WITH SCORE 27980.611
AT ITER 9785 NEW BEST:: SOT 975441 SOS 684051 HAS SOPS 346721 HAS SOUS 86516 HAS SOUPS 27277 WITH SCORE 27961.051
AT ITER 9834 NEW BEST:: SOT 975544 SOS 684330 HAS SOPS 346736 HAS SOUS 86525 HAS SOUPS 27242 WITH SCORE 27926.33
AT ITER 9977 NEW BEST:: SOT 975620 SOS 684085 HAS SOPS 346571 HAS SOUS 86506 HAS SOUPS 27223 WITH SCORE 27907.085
AT ITER 9981 NEW BEST:: SOT 975431 SOS 683896 HAS SOPS 346409 HAS SOUS 86502 HAS SOUPS 27219 WITH SCORE 27902.896
AT ITER 9995 NEW BEST:: SOT 975386 SOS 683800 HAS SOPS 346394 HAS SOUS 86471 HAS SOUPS 27203 WITH SCORE 27886.8

BK_STOP 1678266887869

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 366 Killed ${SMART}/smart ${INPUT_SM}

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="DLCshifumi-PT-3a"
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 DLCshifumi-PT-3a, 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 r099-tall-167814472900816"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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