Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680200560.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-14, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680200560
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 320K
-rw-r--r-- 1 mcc users 3.1K Mar 26 02:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 26 02:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 156K Mar 24 05:37 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 1590869260985

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 14
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 624 places, 564 transitions, 1657 arcs.
AT ITER 0 NEW BEST:: SOT 223547 SOS 85893 HAS SOPS 85893 HAS SOUS 83009 HAS SOUPS 83009 WITH SCORE 83094.893
AT ITER 7 NEW BEST:: SOT 223547 SOS 85874 HAS SOPS 85874 HAS SOUS 82990 HAS SOUPS 82990 WITH SCORE 83075.874
AT ITER 16 NEW BEST:: SOT 223446 SOS 85966 HAS SOPS 85966 HAS SOUS 82980 HAS SOUPS 82980 WITH SCORE 83065.966
AT ITER 20 NEW BEST:: SOT 223382 SOS 85892 HAS SOPS 85892 HAS SOUS 82906 HAS SOUPS 82906 WITH SCORE 82991.892
AT ITER 24 NEW BEST:: SOT 223340 SOS 85844 HAS SOPS 85844 HAS SOUS 82861 HAS SOUPS 82861 WITH SCORE 82946.844
AT ITER 29 NEW BEST:: SOT 220834 SOS 83568 HAS SOPS 83568 HAS SOUS 80585 HAS SOUPS 80585 WITH SCORE 80668.568
AT ITER 40 NEW BEST:: SOT 220834 SOS 83569 HAS SOPS 83569 HAS SOUS 80584 HAS SOUPS 80584 WITH SCORE 80667.569
AT ITER 43 NEW BEST:: SOT 220849 SOS 83523 HAS SOPS 83523 HAS SOUS 80538 HAS SOUPS 80538 WITH SCORE 80621.523
AT ITER 48 NEW BEST:: SOT 220849 SOS 83386 HAS SOPS 83386 HAS SOUS 80401 HAS SOUPS 80401 WITH SCORE 80484.386
AT ITER 49 NEW BEST:: SOT 220868 SOS 83398 HAS SOPS 83398 HAS SOUS 80394 HAS SOUPS 80394 WITH SCORE 80477.398
AT ITER 66 NEW BEST:: SOT 220879 SOS 83215 HAS SOPS 83215 HAS SOUS 80390 HAS SOUPS 80390 WITH SCORE 80473.215
AT ITER 68 NEW BEST:: SOT 220780 SOS 83214 HAS SOPS 83214 HAS SOUS 80389 HAS SOUPS 80389 WITH SCORE 80472.214
AT ITER 89 NEW BEST:: SOT 220665 SOS 83097 HAS SOPS 83097 HAS SOUS 80363 HAS SOUPS 80363 WITH SCORE 80446.097
AT ITER 96 NEW BEST:: SOT 220802 SOS 83094 HAS SOPS 83094 HAS SOUS 80360 HAS SOUPS 80360 WITH SCORE 80443.094
AT ITER 115 NEW BEST:: SOT 220802 SOS 83063 HAS SOPS 83063 HAS SOUS 80340 HAS SOUPS 80340 WITH SCORE 80423.063
AT ITER 116 NEW BEST:: SOT 220802 SOS 83015 HAS SOPS 83015 HAS SOUS 80292 HAS SOUPS 80292 WITH SCORE 80375.015
AT ITER 124 NEW BEST:: SOT 220801 SOS 83013 HAS SOPS 83013 HAS SOUS 80290 HAS SOUPS 80290 WITH SCORE 80373.013
AT ITER 132 NEW BEST:: SOT 220776 SOS 82963 HAS SOPS 82963 HAS SOUS 80290 HAS SOUPS 80290 WITH SCORE 80372.963
AT ITER 134 NEW BEST:: SOT 220630 SOS 82766 HAS SOPS 82766 HAS SOUS 80113 HAS SOUPS 80113 WITH SCORE 80195.766
AT ITER 149 NEW BEST:: SOT 220630 SOS 82727 HAS SOPS 82727 HAS SOUS 80074 HAS SOUPS 80074 WITH SCORE 80156.727
AT ITER 152 NEW BEST:: SOT 220525 SOS 82618 HAS SOPS 82618 HAS SOUS 79968 HAS SOUPS 79968 WITH SCORE 80050.618
AT ITER 160 NEW BEST:: SOT 220524 SOS 82493 HAS SOPS 82493 HAS SOUS 79843 HAS SOUPS 79843 WITH SCORE 79925.493
AT ITER 166 NEW BEST:: SOT 220632 SOS 82445 HAS SOPS 82445 HAS SOUS 79795 HAS SOUPS 79795 WITH SCORE 79877.445
AT ITER 169 NEW BEST:: SOT 220526 SOS 82233 HAS SOPS 82233 HAS SOUS 79583 HAS SOUPS 79583 WITH SCORE 79665.233
AT ITER 173 NEW BEST:: SOT 220483 SOS 82160 HAS SOPS 82160 HAS SOUS 79510 HAS SOUPS 79510 WITH SCORE 79592.16
AT ITER 174 NEW BEST:: SOT 220483 SOS 82078 HAS SOPS 82078 HAS SOUS 79428 HAS SOUPS 79428 WITH SCORE 79510.078
AT ITER 177 NEW BEST:: SOT 220483 SOS 82062 HAS SOPS 82062 HAS SOUS 79412 HAS SOUPS 79412 WITH SCORE 79494.062
AT ITER 192 NEW BEST:: SOT 220483 SOS 81989 HAS SOPS 81989 HAS SOUS 79339 HAS SOUPS 79339 WITH SCORE 79420.989
AT ITER 204 NEW BEST:: SOT 220483 SOS 81947 HAS SOPS 81947 HAS SOUS 79297 HAS SOUPS 79297 WITH SCORE 79378.947
AT ITER 209 NEW BEST:: SOT 220483 SOS 81928 HAS SOPS 81928 HAS SOUS 79278 HAS SOUPS 79278 WITH SCORE 79359.928
AT ITER 211 NEW BEST:: SOT 220482 SOS 81926 HAS SOPS 81926 HAS SOUS 79276 HAS SOUPS 79276 WITH SCORE 79357.926
AT ITER 212 NEW BEST:: SOT 220481 SOS 81785 HAS SOPS 81785 HAS SOUS 79135 HAS SOUPS 79135 WITH SCORE 79216.785
AT ITER 219 NEW BEST:: SOT 220481 SOS 81745 HAS SOPS 81745 HAS SOUS 79095 HAS SOUPS 79095 WITH SCORE 79176.745
AT ITER 221 NEW BEST:: SOT 220550 SOS 81725 HAS SOPS 81725 HAS SOUS 79075 HAS SOUPS 79075 WITH SCORE 79156.725
AT ITER 224 NEW BEST:: SOT 220549 SOS 81679 HAS SOPS 81679 HAS SOUS 79029 HAS SOUPS 79029 WITH SCORE 79110.679
AT ITER 228 NEW BEST:: SOT 220549 SOS 81678 HAS SOPS 81678 HAS SOUS 79028 HAS SOUPS 79028 WITH SCORE 79109.678
AT ITER 232 NEW BEST:: SOT 220549 SOS 81539 HAS SOPS 81539 HAS SOUS 78889 HAS SOUPS 78889 WITH SCORE 78970.539
AT ITER 235 NEW BEST:: SOT 220447 SOS 81414 HAS SOPS 81414 HAS SOUS 78764 HAS SOUPS 78764 WITH SCORE 78845.414
AT ITER 239 NEW BEST:: SOT 220258 SOS 81264 HAS SOPS 81264 HAS SOUS 78614 HAS SOUPS 78614 WITH SCORE 78695.264
AT ITER 241 NEW BEST:: SOT 220253 SOS 81213 HAS SOPS 81213 HAS SOUS 78563 HAS SOUPS 78563 WITH SCORE 78644.213
AT ITER 259 NEW BEST:: SOT 220057 SOS 81017 HAS SOPS 81017 HAS SOUS 78367 HAS SOUPS 78367 WITH SCORE 78448.017
AT ITER 262 NEW BEST:: SOT 220057 SOS 80953 HAS SOPS 80953 HAS SOUS 78303 HAS SOUPS 78303 WITH SCORE 78383.953
AT ITER 263 NEW BEST:: SOT 220086 SOS 80904 HAS SOPS 80904 HAS SOUS 78263 HAS SOUPS 78263 WITH SCORE 78343.904
AT ITER 275 NEW BEST:: SOT 219993 SOS 80811 HAS SOPS 80811 HAS SOUS 78170 HAS SOUPS 78170 WITH SCORE 78250.811
AT ITER 277 NEW BEST:: SOT 219932 SOS 80689 HAS SOPS 80689 HAS SOUS 78048 HAS SOUPS 78048 WITH SCORE 78128.689
AT ITER 278 NEW BEST:: SOT 219523 SOS 80866 HAS SOPS 80866 HAS SOUS 77747 HAS SOUPS 77747 WITH SCORE 77827.866
AT ITER 280 NEW BEST:: SOT 219526 SOS 80863 HAS SOPS 80863 HAS SOUS 77744 HAS SOUPS 77744 WITH SCORE 77824.863
AT ITER 287 NEW BEST:: SOT 219525 SOS 80861 HAS SOPS 80861 HAS SOUS 77742 HAS SOUPS 77742 WITH SCORE 77822.861
AT ITER 288 NEW BEST:: SOT 219335 SOS 80688 HAS SOPS 80688 HAS SOUS 77569 HAS SOUPS 77569 WITH SCORE 77649.688
AT ITER 312 NEW BEST:: SOT 219335 SOS 80621 HAS SOPS 80621 HAS SOUS 77502 HAS SOUPS 77502 WITH SCORE 77582.621
AT ITER 334 NEW BEST:: SOT 219335 SOS 80570 HAS SOPS 80570 HAS SOUS 77451 HAS SOUPS 77451 WITH SCORE 77531.57
AT ITER 340 NEW BEST:: SOT 213038 SOS 84316 HAS SOPS 84316 HAS SOUS 71537 HAS SOUPS 71537 WITH SCORE 71621.316
AT ITER 346 NEW BEST:: SOT 212907 SOS 84126 HAS SOPS 84126 HAS SOUS 71532 HAS SOUPS 71532 WITH SCORE 71616.126
AT ITER 347 NEW BEST:: SOT 212808 SOS 83989 HAS SOPS 83989 HAS SOUS 71395 HAS SOUPS 71395 WITH SCORE 71478.989
AT ITER 348 NEW BEST:: SOT 212893 SOS 84074 HAS SOPS 84074 HAS SOUS 71394 HAS SOUPS 71394 WITH SCORE 71478.074
AT ITER 364 NEW BEST:: SOT 212696 SOS 83680 HAS SOPS 83680 HAS SOUS 71215 HAS SOUPS 71215 WITH SCORE 71298.68
AT ITER 367 NEW BEST:: SOT 212683 SOS 83749 HAS SOPS 83749 HAS SOUS 71202 HAS SOUPS 71202 WITH SCORE 71285.749
AT ITER 376 NEW BEST:: SOT 212691 SOS 83757 HAS SOPS 83757 HAS SOUS 71105 HAS SOUPS 71105 WITH SCORE 71188.757
AT ITER 379 NEW BEST:: SOT 212666 SOS 83732 HAS SOPS 83732 HAS SOUS 71105 HAS SOUPS 71105 WITH SCORE 71188.732
AT ITER 380 NEW BEST:: SOT 212404 SOS 83306 HAS SOPS 83306 HAS SOUS 70996 HAS SOUPS 70996 WITH SCORE 71079.306
AT ITER 395 NEW BEST:: SOT 212302 SOS 83204 HAS SOPS 83204 HAS SOUS 70996 HAS SOUPS 70996 WITH SCORE 71079.204
AT ITER 398 NEW BEST:: SOT 211680 SOS 82799 HAS SOPS 82799 HAS SOUS 70474 HAS SOUPS 70474 WITH SCORE 70556.799
AT ITER 404 NEW BEST:: SOT 211672 SOS 82783 HAS SOPS 82783 HAS SOUS 70458 HAS SOUPS 70458 WITH SCORE 70540.783
AT ITER 411 NEW BEST:: SOT 211656 SOS 82781 HAS SOPS 82781 HAS SOUS 70456 HAS SOUPS 70456 WITH SCORE 70538.781
AT ITER 414 NEW BEST:: SOT 211478 SOS 82425 HAS SOPS 82425 HAS SOUS 70352 HAS SOUPS 70352 WITH SCORE 70434.425
AT ITER 425 NEW BEST:: SOT 211213 SOS 83319 HAS SOPS 83319 HAS SOUS 70291 HAS SOUPS 70291 WITH SCORE 70374.319
AT ITER 445 NEW BEST:: SOT 211083 SOS 83120 HAS SOPS 83120 HAS SOUS 70092 HAS SOUPS 70092 WITH SCORE 70175.12
AT ITER 446 NEW BEST:: SOT 208368 SOS 80306 HAS SOPS 80306 HAS SOUS 67332 HAS SOUPS 67332 WITH SCORE 67412.306
AT ITER 456 NEW BEST:: SOT 208368 SOS 80084 HAS SOPS 80084 HAS SOUS 67221 HAS SOUPS 67221 WITH SCORE 67301.084
AT ITER 457 NEW BEST:: SOT 207761 SOS 79477 HAS SOPS 79477 HAS SOUS 66608 HAS SOUPS 66608 WITH SCORE 66687.477
AT ITER 459 NEW BEST:: SOT 207756 SOS 79467 HAS SOPS 79467 HAS SOUS 66598 HAS SOUPS 66598 WITH SCORE 66677.467
AT ITER 468 NEW BEST:: SOT 207731 SOS 79573 HAS SOPS 79573 HAS SOUS 66579 HAS SOUPS 66579 WITH SCORE 66658.573
AT ITER 470 NEW BEST:: SOT 207697 SOS 79520 HAS SOPS 79520 HAS SOUS 66410 HAS SOUPS 66410 WITH SCORE 66489.52
AT ITER 472 NEW BEST:: SOT 207565 SOS 79388 HAS SOPS 79388 HAS SOUS 66410 HAS SOUPS 66410 WITH SCORE 66489.388
AT ITER 475 NEW BEST:: SOT 207565 SOS 79374 HAS SOPS 79374 HAS SOUS 66396 HAS SOUPS 66396 WITH SCORE 66475.374
AT ITER 480 NEW BEST:: SOT 207542 SOS 79259 HAS SOPS 79259 HAS SOUS 66350 HAS SOUPS 66350 WITH SCORE 66429.259
AT ITER 481 NEW BEST:: SOT 207444 SOS 79132 HAS SOPS 79132 HAS SOUS 66252 HAS SOUPS 66252 WITH SCORE 66331.132
AT ITER 484 NEW BEST:: SOT 207438 SOS 79126 HAS SOPS 79126 HAS SOUS 66246 HAS SOUPS 66246 WITH SCORE 66325.126
AT ITER 492 NEW BEST:: SOT 207130 SOS 78751 HAS SOPS 78751 HAS SOUS 65976 HAS SOUPS 65976 WITH SCORE 66054.751
AT ITER 506 NEW BEST:: SOT 207129 SOS 78749 HAS SOPS 78749 HAS SOUS 65974 HAS SOUPS 65974 WITH SCORE 66052.749
AT ITER 512 NEW BEST:: SOT 207144 SOS 78720 HAS SOPS 78720 HAS SOUS 65964 HAS SOUPS 65964 WITH SCORE 66042.72
AT ITER 514 NEW BEST:: SOT 207143 SOS 78718 HAS SOPS 78718 HAS SOUS 65962 HAS SOUPS 65962 WITH SCORE 66040.718
AT ITER 521 NEW BEST:: SOT 207143 SOS 78616 HAS SOPS 78616 HAS SOUS 65837 HAS SOUPS 65837 WITH SCORE 65915.616
AT ITER 527 NEW BEST:: SOT 207142 SOS 78615 HAS SOPS 78615 HAS SOUS 65836 HAS SOUPS 65836 WITH SCORE 65914.615
AT ITER 528 NEW BEST:: SOT 207074 SOS 78551 HAS SOPS 78551 HAS SOUS 65817 HAS SOUPS 65817 WITH SCORE 65895.551
AT ITER 533 NEW BEST:: SOT 207146 SOS 78623 HAS SOPS 78623 HAS SOUS 65790 HAS SOUPS 65790 WITH SCORE 65868.623
AT ITER 539 NEW BEST:: SOT 207133 SOS 78610 HAS SOPS 78610 HAS SOUS 65788 HAS SOUPS 65788 WITH SCORE 65866.61
AT ITER 546 NEW BEST:: SOT 207080 SOS 78544 HAS SOPS 78544 HAS SOUS 65722 HAS SOUPS 65722 WITH SCORE 65800.544
AT ITER 547 NEW BEST:: SOT 207080 SOS 78535 HAS SOPS 78535 HAS SOUS 65722 HAS SOUPS 65722 WITH SCORE 65800.535
AT ITER 550 NEW BEST:: SOT 206904 SOS 78183 HAS SOPS 78183 HAS SOUS 65481 HAS SOUPS 65481 WITH SCORE 65559.183
AT ITER 556 NEW BEST:: SOT 206818 SOS 78091 HAS SOPS 78091 HAS SOUS 65469 HAS SOUPS 65469 WITH SCORE 65547.091
AT ITER 565 NEW BEST:: SOT 206818 SOS 78090 HAS SOPS 78090 HAS SOUS 65468 HAS SOUPS 65468 WITH SCORE 65546.09
AT ITER 571 NEW BEST:: SOT 206805 SOS 78025 HAS SOPS 78025 HAS SOUS 65455 HAS SOUPS 65455 WITH SCORE 65533.025
AT ITER 572 NEW BEST:: SOT 206787 SOS 77989 HAS SOPS 77989 HAS SOUS 65419 HAS SOUPS 65419 WITH SCORE 65496.989
AT ITER 574 NEW BEST:: SOT 206761 SOS 77937 HAS SOPS 77937 HAS SOUS 65374 HAS SOUPS 65374 WITH SCORE 65451.937
AT ITER 588 NEW BEST:: SOT 206761 SOS 77933 HAS SOPS 77933 HAS SOUS 65366 HAS SOUPS 65366 WITH SCORE 65443.933
AT ITER 621 NEW BEST:: SOT 206571 SOS 77487 HAS SOPS 77487 HAS SOUS 65110 HAS SOUPS 65110 WITH SCORE 65187.487
AT ITER 622 NEW BEST:: SOT 206488 SOS 77343 HAS SOPS 77343 HAS SOUS 64966 HAS SOUPS 64966 WITH SCORE 65043.343
AT ITER 633 NEW BEST:: SOT 206499 SOS 77174 HAS SOPS 77174 HAS SOUS 64876 HAS SOUPS 64876 WITH SCORE 64953.174
AT ITER 680 NEW BEST:: SOT 206617 SOS 77292 HAS SOPS 77292 HAS SOUS 64875 HAS SOUPS 64875 WITH SCORE 64952.292
AT ITER 682 NEW BEST:: SOT 206615 SOS 77485 HAS SOPS 77485 HAS SOUS 64870 HAS SOUPS 64870 WITH SCORE 64947.485
AT ITER 687 NEW BEST:: SOT 206651 SOS 77390 HAS SOPS 77390 HAS SOUS 64775 HAS SOUPS 64775 WITH SCORE 64852.39
AT ITER 692 NEW BEST:: SOT 206648 SOS 77387 HAS SOPS 77387 HAS SOUS 64775 HAS SOUPS 64775 WITH SCORE 64852.387
AT ITER 700 NEW BEST:: SOT 206433 SOS 77192 HAS SOPS 77192 HAS SOUS 64742 HAS SOUPS 64742 WITH SCORE 64819.192
AT ITER 706 NEW BEST:: SOT 206106 SOS 76865 HAS SOPS 76865 HAS SOUS 64437 HAS SOUPS 64437 WITH SCORE 64513.865
AT ITER 708 NEW BEST:: SOT 206018 SOS 76753 HAS SOPS 76753 HAS SOUS 64325 HAS SOUPS 64325 WITH SCORE 64401.753
AT ITER 713 NEW BEST:: SOT 206010 SOS 76594 HAS SOPS 76594 HAS SOUS 64166 HAS SOUPS 64166 WITH SCORE 64242.594
AT ITER 717 NEW BEST:: SOT 205844 SOS 76438 HAS SOPS 76438 HAS SOUS 64090 HAS SOUPS 64090 WITH SCORE 64166.438
AT ITER 719 NEW BEST:: SOT 205833 SOS 76424 HAS SOPS 76424 HAS SOUS 64082 HAS SOUPS 64082 WITH SCORE 64158.424
AT ITER 721 NEW BEST:: SOT 205744 SOS 76246 HAS SOPS 76246 HAS SOUS 63992 HAS SOUPS 63992 WITH SCORE 64068.246
AT ITER 723 NEW BEST:: SOT 205809 SOS 76147 HAS SOPS 76147 HAS SOUS 63889 HAS SOUPS 63889 WITH SCORE 63965.147
AT ITER 726 NEW BEST:: SOT 205752 SOS 76727 HAS SOPS 76727 HAS SOUS 63842 HAS SOUPS 63842 WITH SCORE 63918.727
AT ITER 737 NEW BEST:: SOT 205751 SOS 76725 HAS SOPS 76725 HAS SOUS 63840 HAS SOUPS 63840 WITH SCORE 63916.725
AT ITER 746 NEW BEST:: SOT 205751 SOS 76680 HAS SOPS 76680 HAS SOUS 63795 HAS SOUPS 63795 WITH SCORE 63871.68
AT ITER 749 NEW BEST:: SOT 205704 SOS 76586 HAS SOPS 76586 HAS SOUS 63701 HAS SOUPS 63701 WITH SCORE 63777.586
AT ITER 757 NEW BEST:: SOT 205726 SOS 76420 HAS SOPS 76420 HAS SOUS 63612 HAS SOUPS 63612 WITH SCORE 63688.42
AT ITER 761 NEW BEST:: SOT 205782 SOS 76444 HAS SOPS 76444 HAS SOUS 63580 HAS SOUPS 63580 WITH SCORE 63656.444
AT ITER 771 NEW BEST:: SOT 205206 SOS 77099 HAS SOPS 77099 HAS SOUS 63206 HAS SOUPS 63206 WITH SCORE 63283.099
AT ITER 780 NEW BEST:: SOT 205200 SOS 77087 HAS SOPS 77087 HAS SOUS 63194 HAS SOUPS 63194 WITH SCORE 63271.087
AT ITER 803 NEW BEST:: SOT 205199 SOS 76996 HAS SOPS 76996 HAS SOUS 63105 HAS SOUPS 63105 WITH SCORE 63181.996
AT ITER 814 NEW BEST:: SOT 205230 SOS 76752 HAS SOPS 76752 HAS SOUS 62861 HAS SOUPS 62861 WITH SCORE 62937.752
AT ITER 825 NEW BEST:: SOT 205230 SOS 76721 HAS SOPS 76721 HAS SOUS 62830 HAS SOUPS 62830 WITH SCORE 62906.721
AT ITER 826 NEW BEST:: SOT 205192 SOS 76700 HAS SOPS 76700 HAS SOUS 62809 HAS SOUPS 62809 WITH SCORE 62885.7
AT ITER 830 NEW BEST:: SOT 204921 SOS 76234 HAS SOPS 76234 HAS SOUS 62508 HAS SOUPS 62508 WITH SCORE 62584.234
AT ITER 832 NEW BEST:: SOT 204883 SOS 76196 HAS SOPS 76196 HAS SOUS 62508 HAS SOUPS 62508 WITH SCORE 62584.196
AT ITER 838 NEW BEST:: SOT 204902 SOS 76234 HAS SOPS 76234 HAS SOUS 62489 HAS SOUPS 62489 WITH SCORE 62565.234
AT ITER 843 NEW BEST:: SOT 204900 SOS 76232 HAS SOPS 76232 HAS SOUS 62487 HAS SOUPS 62487 WITH SCORE 62563.232
AT ITER 845 NEW BEST:: SOT 204862 SOS 76194 HAS SOPS 76194 HAS SOUS 62487 HAS SOUPS 62487 WITH SCORE 62563.194
AT ITER 850 NEW BEST:: SOT 204772 SOS 76298 HAS SOPS 76298 HAS SOUS 62460 HAS SOUPS 62460 WITH SCORE 62536.298
AT ITER 855 NEW BEST:: SOT 204794 SOS 76342 HAS SOPS 76342 HAS SOUS 62443 HAS SOUPS 62443 WITH SCORE 62519.342
AT ITER 864 NEW BEST:: SOT 204806 SOS 76326 HAS SOPS 76326 HAS SOUS 62427 HAS SOUPS 62427 WITH SCORE 62503.326
AT ITER 868 NEW BEST:: SOT 204411 SOS 75774 HAS SOPS 75774 HAS SOUS 62071 HAS SOUPS 62071 WITH SCORE 62146.774
AT ITER 913 NEW BEST:: SOT 204409 SOS 75772 HAS SOPS 75772 HAS SOUS 62069 HAS SOUPS 62069 WITH SCORE 62144.772
AT ITER 946 NEW BEST:: SOT 204341 SOS 75636 HAS SOPS 75636 HAS SOUS 61963 HAS SOUPS 61963 WITH SCORE 62038.636
AT ITER 947 NEW BEST:: SOT 204303 SOS 75596 HAS SOPS 75596 HAS SOUS 61923 HAS SOUPS 61923 WITH SCORE 61998.596
AT ITER 948 NEW BEST:: SOT 204303 SOS 75473 HAS SOPS 75473 HAS SOUS 61923 HAS SOUPS 61923 WITH SCORE 61998.473
AT ITER 950 NEW BEST:: SOT 204304 SOS 75364 HAS SOPS 75364 HAS SOUS 61813 HAS SOUPS 61813 WITH SCORE 61888.364
AT ITER 952 NEW BEST:: SOT 204313 SOS 75307 HAS SOPS 75307 HAS SOUS 61756 HAS SOUPS 61756 WITH SCORE 61831.307
AT ITER 958 NEW BEST:: SOT 204312 SOS 75305 HAS SOPS 75305 HAS SOUS 61754 HAS SOUPS 61754 WITH SCORE 61829.305
AT ITER 960 NEW BEST:: SOT 204286 SOS 75278 HAS SOPS 75278 HAS SOUS 61752 HAS SOUPS 61752 WITH SCORE 61827.278
AT ITER 962 NEW BEST:: SOT 204271 SOS 75280 HAS SOPS 75280 HAS SOUS 61738 HAS SOUPS 61738 WITH SCORE 61813.28
AT ITER 965 NEW BEST:: SOT 204215 SOS 75099 HAS SOPS 75099 HAS SOUS 61631 HAS SOUPS 61631 WITH SCORE 61706.099
AT ITER 971 NEW BEST:: SOT 204143 SOS 75027 HAS SOPS 75027 HAS SOUS 61559 HAS SOUPS 61559 WITH SCORE 61634.027
AT ITER 979 NEW BEST:: SOT 204199 SOS 75007 HAS SOPS 75007 HAS SOUS 61539 HAS SOUPS 61539 WITH SCORE 61614.007
AT ITER 984 NEW BEST:: SOT 204199 SOS 74817 HAS SOPS 74817 HAS SOUS 61391 HAS SOUPS 61391 WITH SCORE 61465.817
AT ITER 985 NEW BEST:: SOT 204198 SOS 74544 HAS SOPS 74544 HAS SOUS 61118 HAS SOUPS 61118 WITH SCORE 61192.544
AT ITER 1010 NEW BEST:: SOT 204198 SOS 74537 HAS SOPS 74537 HAS SOUS 61111 HAS SOUPS 61111 WITH SCORE 61185.537
AT ITER 1016 NEW BEST:: SOT 204180 SOS 74501 HAS SOPS 74501 HAS SOUS 61075 HAS SOUPS 61075 WITH SCORE 61149.501
AT ITER 1018 NEW BEST:: SOT 204129 SOS 74389 HAS SOPS 74389 HAS SOUS 60967 HAS SOUPS 60967 WITH SCORE 61041.389
AT ITER 1034 NEW BEST:: SOT 204123 SOS 74377 HAS SOPS 74377 HAS SOUS 60964 HAS SOUPS 60964 WITH SCORE 61038.377
AT ITER 1035 NEW BEST:: SOT 204143 SOS 74374 HAS SOPS 74374 HAS SOUS 60961 HAS SOUPS 60961 WITH SCORE 61035.374
AT ITER 1040 NEW BEST:: SOT 204053 SOS 74133 HAS SOPS 74133 HAS SOUS 60751 HAS SOUPS 60751 WITH SCORE 60825.133
AT ITER 1041 NEW BEST:: SOT 203994 SOS 74092 HAS SOPS 74092 HAS SOUS 60710 HAS SOUPS 60710 WITH SCORE 60784.092
AT ITER 1042 NEW BEST:: SOT 203991 SOS 74086 HAS SOPS 74086 HAS SOUS 60704 HAS SOUPS 60704 WITH SCORE 60778.086
AT ITER 1047 NEW BEST:: SOT 203962 SOS 74056 HAS SOPS 74056 HAS SOUS 60701 HAS SOUPS 60701 WITH SCORE 60775.056
AT ITER 1070 NEW BEST:: SOT 203934 SOS 73866 HAS SOPS 73866 HAS SOUS 60618 HAS SOUPS 60618 WITH SCORE 60691.866
AT ITER 1072 NEW BEST:: SOT 203912 SOS 73822 HAS SOPS 73822 HAS SOUS 60574 HAS SOUPS 60574 WITH SCORE 60647.822
AT ITER 1089 NEW BEST:: SOT 203973 SOS 73883 HAS SOPS 73883 HAS SOUS 60544 HAS SOUPS 60544 WITH SCORE 60617.883
AT ITER 1092 NEW BEST:: SOT 203973 SOS 73881 HAS SOPS 73881 HAS SOUS 60542 HAS SOUPS 60542 WITH SCORE 60615.881
AT ITER 1099 NEW BEST:: SOT 203973 SOS 73871 HAS SOPS 73871 HAS SOUS 60532 HAS SOUPS 60532 WITH SCORE 60605.871
AT ITER 1119 NEW BEST:: SOT 204121 SOS 74001 HAS SOPS 74001 HAS SOUS 60495 HAS SOUPS 60495 WITH SCORE 60569.001
AT ITER 1141 NEW BEST:: SOT 204121 SOS 73979 HAS SOPS 73979 HAS SOUS 60473 HAS SOUPS 60473 WITH SCORE 60546.979
AT ITER 1147 NEW BEST:: SOT 204108 SOS 73953 HAS SOPS 73953 HAS SOUS 60457 HAS SOUPS 60457 WITH SCORE 60530.953
AT ITER 1158 NEW BEST:: SOT 204108 SOS 73953 HAS SOPS 73953 HAS SOUS 60445 HAS SOUPS 60445 WITH SCORE 60518.953
AT ITER 1159 NEW BEST:: SOT 203936 SOS 73746 HAS SOPS 73746 HAS SOUS 60375 HAS SOUPS 60375 WITH SCORE 60448.746
AT ITER 1192 NEW BEST:: SOT 203698 SOS 73482 HAS SOPS 73482 HAS SOUS 60323 HAS SOUPS 60323 WITH SCORE 60396.482
AT ITER 1209 NEW BEST:: SOT 203677 SOS 73440 HAS SOPS 73440 HAS SOUS 60281 HAS SOUPS 60281 WITH SCORE 60354.44
AT ITER 1212 NEW BEST:: SOT 203498 SOS 73261 HAS SOPS 73261 HAS SOUS 60227 HAS SOUPS 60227 WITH SCORE 60300.261
AT ITER 1214 NEW BEST:: SOT 203537 SOS 73289 HAS SOPS 73289 HAS SOUS 60226 HAS SOUPS 60226 WITH SCORE 60299.289
AT ITER 1223 NEW BEST:: SOT 203489 SOS 73193 HAS SOPS 73193 HAS SOUS 60130 HAS SOUPS 60130 WITH SCORE 60203.193
AT ITER 1231 NEW BEST:: SOT 203458 SOS 73131 HAS SOPS 73131 HAS SOUS 60099 HAS SOUPS 60099 WITH SCORE 60172.131
AT ITER 1235 NEW BEST:: SOT 203475 SOS 73097 HAS SOPS 73097 HAS SOUS 60065 HAS SOUPS 60065 WITH SCORE 60138.097
AT ITER 1257 NEW BEST:: SOT 203475 SOS 72995 HAS SOPS 72995 HAS SOUS 59963 HAS SOUPS 59963 WITH SCORE 60035.995
AT ITER 1258 NEW BEST:: SOT 203479 SOS 72990 HAS SOPS 72990 HAS SOUS 59958 HAS SOUPS 59958 WITH SCORE 60030.99
AT ITER 1263 NEW BEST:: SOT 203479 SOS 72965 HAS SOPS 72965 HAS SOUS 59908 HAS SOUPS 59908 WITH SCORE 59980.965
AT ITER 1264 NEW BEST:: SOT 203479 SOS 72855 HAS SOPS 72855 HAS SOUS 59719 HAS SOUPS 59719 WITH SCORE 59791.855
AT ITER 1268 NEW BEST:: SOT 203350 SOS 72667 HAS SOPS 72667 HAS SOUS 59652 HAS SOUPS 59652 WITH SCORE 59724.667
AT ITER 1281 NEW BEST:: SOT 203350 SOS 72651 HAS SOPS 72651 HAS SOUS 59636 HAS SOUPS 59636 WITH SCORE 59708.651
AT ITER 1294 NEW BEST:: SOT 203346 SOS 72647 HAS SOPS 72647 HAS SOUS 59632 HAS SOUPS 59632 WITH SCORE 59704.647
AT ITER 1296 NEW BEST:: SOT 203346 SOS 72641 HAS SOPS 72641 HAS SOUS 59626 HAS SOUPS 59626 WITH SCORE 59698.641
AT ITER 1303 NEW BEST:: SOT 201514 SOS 71118 HAS SOPS 71118 HAS SOUS 57928 HAS SOUPS 57928 WITH SCORE 57999.118
AT ITER 1319 NEW BEST:: SOT 201490 SOS 70943 HAS SOPS 70943 HAS SOUS 57627 HAS SOUPS 57627 WITH SCORE 57697.943
AT ITER 1325 NEW BEST:: SOT 201483 SOS 70929 HAS SOPS 70929 HAS SOUS 57613 HAS SOUPS 57613 WITH SCORE 57683.929
AT ITER 1327 NEW BEST:: SOT 201551 SOS 70822 HAS SOPS 70822 HAS SOUS 57506 HAS SOUPS 57506 WITH SCORE 57576.822
AT ITER 1333 NEW BEST:: SOT 201551 SOS 70768 HAS SOPS 70768 HAS SOUS 57452 HAS SOUPS 57452 WITH SCORE 57522.768
AT ITER 1337 NEW BEST:: SOT 201387 SOS 70522 HAS SOPS 70522 HAS SOUS 57288 HAS SOUPS 57288 WITH SCORE 57358.522
AT ITER 1339 NEW BEST:: SOT 201387 SOS 70443 HAS SOPS 70443 HAS SOUS 57251 HAS SOUPS 57251 WITH SCORE 57321.443
AT ITER 1343 NEW BEST:: SOT 201327 SOS 70323 HAS SOPS 70323 HAS SOUS 57191 HAS SOUPS 57191 WITH SCORE 57261.323
AT ITER 1363 NEW BEST:: SOT 201262 SOS 70257 HAS SOPS 70257 HAS SOUS 57125 HAS SOUPS 57125 WITH SCORE 57195.257
AT ITER 1364 NEW BEST:: SOT 201262 SOS 70160 HAS SOPS 70160 HAS SOUS 56985 HAS SOUPS 56985 WITH SCORE 57055.16
AT ITER 1366 NEW BEST:: SOT 201332 SOS 70104 HAS SOPS 70104 HAS SOUS 56929 HAS SOUPS 56929 WITH SCORE 56999.104
AT ITER 1368 NEW BEST:: SOT 201268 SOS 69976 HAS SOPS 69976 HAS SOUS 56801 HAS SOUPS 56801 WITH SCORE 56870.976
AT ITER 1375 NEW BEST:: SOT 201317 SOS 69930 HAS SOPS 69930 HAS SOUS 56714 HAS SOUPS 56714 WITH SCORE 56783.93
AT ITER 1378 NEW BEST:: SOT 201100 SOS 69777 HAS SOPS 69777 HAS SOUS 56561 HAS SOUPS 56561 WITH SCORE 56630.777
AT ITER 1388 NEW BEST:: SOT 201100 SOS 69777 HAS SOPS 69777 HAS SOUS 56558 HAS SOUPS 56558 WITH SCORE 56627.777
AT ITER 1397 NEW BEST:: SOT 201163 SOS 69698 HAS SOPS 69698 HAS SOUS 56274 HAS SOUPS 56274 WITH SCORE 56343.698
AT ITER 1425 NEW BEST:: SOT 201088 SOS 69548 HAS SOPS 69548 HAS SOUS 56203 HAS SOUPS 56203 WITH SCORE 56272.548
AT ITER 1427 NEW BEST:: SOT 201075 SOS 69535 HAS SOPS 69535 HAS SOUS 56203 HAS SOUPS 56203 WITH SCORE 56272.535
AT ITER 1430 NEW BEST:: SOT 200495 SOS 68975 HAS SOPS 68975 HAS SOUS 55643 HAS SOUPS 55643 WITH SCORE 55711.975
AT ITER 1432 NEW BEST:: SOT 200353 SOS 68850 HAS SOPS 68850 HAS SOUS 55518 HAS SOUPS 55518 WITH SCORE 55586.85
AT ITER 1445 NEW BEST:: SOT 200290 SOS 68787 HAS SOPS 68787 HAS SOUS 55381 HAS SOUPS 55381 WITH SCORE 55449.787
AT ITER 1457 NEW BEST:: SOT 200271 SOS 68749 HAS SOPS 68749 HAS SOUS 55343 HAS SOUPS 55343 WITH SCORE 55411.749
AT ITER 1462 NEW BEST:: SOT 200234 SOS 68665 HAS SOPS 68665 HAS SOUS 55306 HAS SOUPS 55306 WITH SCORE 55374.665
AT ITER 1465 NEW BEST:: SOT 200234 SOS 68665 HAS SOPS 68665 HAS SOUS 55281 HAS SOUPS 55281 WITH SCORE 55349.665
AT ITER 1470 NEW BEST:: SOT 200227 SOS 68658 HAS SOPS 68658 HAS SOUS 55274 HAS SOUPS 55274 WITH SCORE 55342.658
AT ITER 1472 NEW BEST:: SOT 200245 SOS 68644 HAS SOPS 68644 HAS SOUS 55260 HAS SOUPS 55260 WITH SCORE 55328.644
AT ITER 1504 NEW BEST:: SOT 200242 SOS 68638 HAS SOPS 68638 HAS SOUS 55254 HAS SOUPS 55254 WITH SCORE 55322.638
AT ITER 1505 NEW BEST:: SOT 200242 SOS 68540 HAS SOPS 68540 HAS SOUS 55156 HAS SOUPS 55156 WITH SCORE 55224.54
AT ITER 1515 NEW BEST:: SOT 200209 SOS 68503 HAS SOPS 68503 HAS SOUS 55119 HAS SOUPS 55119 WITH SCORE 55187.503
AT ITER 1545 NEW BEST:: SOT 200206 SOS 68497 HAS SOPS 68497 HAS SOUS 55113 HAS SOUPS 55113 WITH SCORE 55181.497
AT ITER 1557 NEW BEST:: SOT 200237 SOS 68479 HAS SOPS 68479 HAS SOUS 55095 HAS SOUPS 55095 WITH SCORE 55163.479
AT ITER 1600 NEW BEST:: SOT 199991 SOS 67987 HAS SOPS 67987 HAS SOUS 54647 HAS SOUPS 54647 WITH SCORE 54714.987
AT ITER 1605 NEW BEST:: SOT 199925 SOS 67855 HAS SOPS 67855 HAS SOUS 54647 HAS SOUPS 54647 WITH SCORE 54714.855
AT ITER 1608 NEW BEST:: SOT 199925 SOS 67855 HAS SOPS 67855 HAS SOUS 54618 HAS SOUPS 54618 WITH SCORE 54685.855
AT ITER 1613 NEW BEST:: SOT 199867 SOS 67728 HAS SOPS 67728 HAS SOUS 54561 HAS SOUPS 54561 WITH SCORE 54628.728
AT ITER 1614 NEW BEST:: SOT 199855 SOS 67716 HAS SOPS 67716 HAS SOUS 54549 HAS SOUPS 54549 WITH SCORE 54616.716
AT ITER 1627 NEW BEST:: SOT 199853 SOS 67692 HAS SOPS 67692 HAS SOUS 54545 HAS SOUPS 54545 WITH SCORE 54612.692
AT ITER 1630 NEW BEST:: SOT 199822 SOS 67630 HAS SOPS 67630 HAS SOUS 54452 HAS SOUPS 54452 WITH SCORE 54519.63
AT ITER 1639 NEW BEST:: SOT 199711 SOS 67501 HAS SOPS 67501 HAS SOUS 54323 HAS SOUPS 54323 WITH SCORE 54390.501
AT ITER 1640 NEW BEST:: SOT 199650 SOS 67456 HAS SOPS 67456 HAS SOUS 54278 HAS SOUPS 54278 WITH SCORE 54345.456
AT ITER 1644 NEW BEST:: SOT 199662 SOS 67467 HAS SOPS 67467 HAS SOUS 54276 HAS SOUPS 54276 WITH SCORE 54343.467
AT ITER 1655 NEW BEST:: SOT 199661 SOS 67445 HAS SOPS 67445 HAS SOUS 54254 HAS SOUPS 54254 WITH SCORE 54321.445
AT ITER 1670 NEW BEST:: SOT 199642 SOS 67244 HAS SOPS 67244 HAS SOUS 54162 HAS SOUPS 54162 WITH SCORE 54229.244
AT ITER 1709 NEW BEST:: SOT 199642 SOS 67244 HAS SOPS 67244 HAS SOUS 54161 HAS SOUPS 54161 WITH SCORE 54228.244
AT ITER 1715 NEW BEST:: SOT 199640 SOS 67241 HAS SOPS 67241 HAS SOUS 54159 HAS SOUPS 54159 WITH SCORE 54226.241
AT ITER 1716 NEW BEST:: SOT 199576 SOS 67177 HAS SOPS 67177 HAS SOUS 54095 HAS SOUPS 54095 WITH SCORE 54162.177
AT ITER 1732 NEW BEST:: SOT 199576 SOS 67157 HAS SOPS 67157 HAS SOUS 54075 HAS SOUPS 54075 WITH SCORE 54142.157
AT ITER 1748 NEW BEST:: SOT 199571 SOS 67152 HAS SOPS 67152 HAS SOUS 54070 HAS SOUPS 54070 WITH SCORE 54137.152
AT ITER 1760 NEW BEST:: SOT 199567 SOS 67144 HAS SOPS 67144 HAS SOUS 54062 HAS SOUPS 54062 WITH SCORE 54129.144
AT ITER 1785 NEW BEST:: SOT 199640 SOS 67213 HAS SOPS 67213 HAS SOUS 54058 HAS SOUPS 54058 WITH SCORE 54125.213
AT ITER 1788 NEW BEST:: SOT 199602 SOS 67293 HAS SOPS 67293 HAS SOUS 54040 HAS SOUPS 54040 WITH SCORE 54107.293
AT ITER 1797 NEW BEST:: SOT 199602 SOS 67241 HAS SOPS 67241 HAS SOUS 53936 HAS SOUPS 53936 WITH SCORE 54003.241
AT ITER 1810 NEW BEST:: SOT 199538 SOS 67113 HAS SOPS 67113 HAS SOUS 53808 HAS SOUPS 53808 WITH SCORE 53875.113
AT ITER 1844 NEW BEST:: SOT 199470 SOS 67019 HAS SOPS 67019 HAS SOUS 53739 HAS SOUPS 53739 WITH SCORE 53806.019
AT ITER 1852 NEW BEST:: SOT 199466 SOS 67011 HAS SOPS 67011 HAS SOUS 53731 HAS SOUPS 53731 WITH SCORE 53798.011
AT ITER 1873 NEW BEST:: SOT 199425 SOS 66929 HAS SOPS 66929 HAS SOUS 53649 HAS SOUPS 53649 WITH SCORE 53715.929
AT ITER 1883 NEW BEST:: SOT 199598 SOS 67074 HAS SOPS 67074 HAS SOUS 53621 HAS SOUPS 53621 WITH SCORE 53688.074
AT ITER 1912 NEW BEST:: SOT 199397 SOS 66809 HAS SOPS 66809 HAS SOUS 53511 HAS SOUPS 53511 WITH SCORE 53577.809
AT ITER 1947 NEW BEST:: SOT 199397 SOS 66783 HAS SOPS 66783 HAS SOUS 53459 HAS SOUPS 53459 WITH SCORE 53525.783
AT ITER 1953 NEW BEST:: SOT 199388 SOS 66765 HAS SOPS 66765 HAS SOUS 53419 HAS SOUPS 53419 WITH SCORE 53485.765
AT ITER 1966 NEW BEST:: SOT 199388 SOS 66638 HAS SOPS 66638 HAS SOUS 53418 HAS SOUPS 53418 WITH SCORE 53484.638
AT ITER 1984 NEW BEST:: SOT 199359 SOS 66580 HAS SOPS 66580 HAS SOUS 53366 HAS SOUPS 53366 WITH SCORE 53432.58
AT ITER 1988 NEW BEST:: SOT 199379 SOS 66549 HAS SOPS 66549 HAS SOUS 53315 HAS SOUPS 53315 WITH SCORE 53381.549
AT ITER 2044 NEW BEST:: SOT 199235 SOS 66212 HAS SOPS 66212 HAS SOUS 53076 HAS SOUPS 53076 WITH SCORE 53142.212
AT ITER 2046 NEW BEST:: SOT 199214 SOS 66184 HAS SOPS 66184 HAS SOUS 53048 HAS SOUPS 53048 WITH SCORE 53114.184
AT ITER 2056 NEW BEST:: SOT 199214 SOS 66182 HAS SOPS 66182 HAS SOUS 53047 HAS SOUPS 53047 WITH SCORE 53113.182
AT ITER 2057 NEW BEST:: SOT 199214 SOS 66182 HAS SOPS 66182 HAS SOUS 52999 HAS SOUPS 52999 WITH SCORE 53065.182
AT ITER 2069 NEW BEST:: SOT 199214 SOS 66230 HAS SOPS 66230 HAS SOUS 52981 HAS SOUPS 52981 WITH SCORE 53047.23
AT ITER 2074 NEW BEST:: SOT 199077 SOS 65956 HAS SOPS 65956 HAS SOUS 52844 HAS SOUPS 52844 WITH SCORE 52909.956
AT ITER 2080 NEW BEST:: SOT 199077 SOS 65879 HAS SOPS 65879 HAS SOUS 52767 HAS SOUPS 52767 WITH SCORE 52832.879
AT ITER 2083 NEW BEST:: SOT 198997 SOS 65715 HAS SOPS 65715 HAS SOUS 52726 HAS SOUPS 52726 WITH SCORE 52791.715
AT ITER 2091 NEW BEST:: SOT 198997 SOS 65714 HAS SOPS 65714 HAS SOUS 52725 HAS SOUPS 52725 WITH SCORE 52790.714
AT ITER 2098 NEW BEST:: SOT 198795 SOS 65628 HAS SOPS 65628 HAS SOUS 52553 HAS SOUPS 52553 WITH SCORE 52618.628
AT ITER 2099 NEW BEST:: SOT 198723 SOS 65413 HAS SOPS 65413 HAS SOUS 52338 HAS SOUPS 52338 WITH SCORE 52403.413
AT ITER 2101 NEW BEST:: SOT 198685 SOS 65375 HAS SOPS 65375 HAS SOUS 52300 HAS SOUPS 52300 WITH SCORE 52365.375
AT ITER 2116 NEW BEST:: SOT 198643 SOS 65293 HAS SOPS 65293 HAS SOUS 52218 HAS SOUPS 52218 WITH SCORE 52283.293
AT ITER 2124 NEW BEST:: SOT 198643 SOS 65279 HAS SOPS 65279 HAS SOUS 52204 HAS SOUPS 52204 WITH SCORE 52269.279
AT ITER 2126 NEW BEST:: SOT 198644 SOS 65246 HAS SOPS 65246 HAS SOUS 52172 HAS SOUPS 52172 WITH SCORE 52237.246
AT ITER 2127 NEW BEST:: SOT 198561 SOS 65217 HAS SOPS 65217 HAS SOUS 52143 HAS SOUPS 52143 WITH SCORE 52208.217
AT ITER 2130 NEW BEST:: SOT 198561 SOS 65217 HAS SOPS 65217 HAS SOUS 52133 HAS SOUPS 52133 WITH SCORE 52198.217
AT ITER 2131 NEW BEST:: SOT 198555 SOS 65212 HAS SOPS 65212 HAS SOUS 52128 HAS SOUPS 52128 WITH SCORE 52193.212
AT ITER 2134 NEW BEST:: SOT 198475 SOS 65096 HAS SOPS 65096 HAS SOUS 52012 HAS SOUPS 52012 WITH SCORE 52077.096
AT ITER 2139 NEW BEST:: SOT 198547 SOS 65017 HAS SOPS 65017 HAS SOUS 51933 HAS SOUPS 51933 WITH SCORE 51998.017
AT ITER 2153 NEW BEST:: SOT 198531 SOS 64985 HAS SOPS 64985 HAS SOUS 51901 HAS SOUPS 51901 WITH SCORE 51965.985
AT ITER 2175 NEW BEST:: SOT 198415 SOS 64869 HAS SOPS 64869 HAS SOUS 51785 HAS SOUPS 51785 WITH SCORE 51849.869
AT ITER 2191 NEW BEST:: SOT 198415 SOS 64856 HAS SOPS 64856 HAS SOUS 51744 HAS SOUPS 51744 WITH SCORE 51808.856
AT ITER 2195 NEW BEST:: SOT 198497 SOS 64801 HAS SOPS 64801 HAS SOUS 51689 HAS SOUPS 51689 WITH SCORE 51753.801
AT ITER 2209 NEW BEST:: SOT 198496 SOS 64799 HAS SOPS 64799 HAS SOUS 51687 HAS SOUPS 51687 WITH SCORE 51751.799
AT ITER 2222 NEW BEST:: SOT 198419 SOS 64697 HAS SOPS 64697 HAS SOUS 51530 HAS SOUPS 51530 WITH SCORE 51594.697
AT ITER 2227 NEW BEST:: SOT 198367 SOS 64641 HAS SOPS 64641 HAS SOUS 51524 HAS SOUPS 51524 WITH SCORE 51588.641
AT ITER 2245 NEW BEST:: SOT 198354 SOS 64636 HAS SOPS 64636 HAS SOUS 51516 HAS SOUPS 51516 WITH SCORE 51580.636
AT ITER 2247 NEW BEST:: SOT 198332 SOS 64592 HAS SOPS 64592 HAS SOUS 51464 HAS SOUPS 51464 WITH SCORE 51528.592
AT ITER 2251 NEW BEST:: SOT 198323 SOS 64519 HAS SOPS 64519 HAS SOUS 51437 HAS SOUPS 51437 WITH SCORE 51501.519
AT ITER 2259 NEW BEST:: SOT 198301 SOS 64475 HAS SOPS 64475 HAS SOUS 51371 HAS SOUPS 51371 WITH SCORE 51435.475
AT ITER 2267 NEW BEST:: SOT 198243 SOS 64414 HAS SOPS 64414 HAS SOUS 51310 HAS SOUPS 51310 WITH SCORE 51374.414
AT ITER 2275 NEW BEST:: SOT 198145 SOS 64218 HAS SOPS 64218 HAS SOUS 51212 HAS SOUPS 51212 WITH SCORE 51276.218
AT ITER 2277 NEW BEST:: SOT 198195 SOS 64179 HAS SOPS 64179 HAS SOUS 51173 HAS SOUPS 51173 WITH SCORE 51237.179
AT ITER 2285 NEW BEST:: SOT 198023 SOS 64083 HAS SOPS 64083 HAS SOUS 51077 HAS SOUPS 51077 WITH SCORE 51141.083
AT ITER 2307 NEW BEST:: SOT 198020 SOS 64077 HAS SOPS 64077 HAS SOUS 51071 HAS SOUPS 51071 WITH SCORE 51135.077
AT ITER 2312 NEW BEST:: SOT 198132 SOS 64189 HAS SOPS 64189 HAS SOUS 51041 HAS SOUPS 51041 WITH SCORE 51105.189
AT ITER 2315 NEW BEST:: SOT 198117 SOS 64144 HAS SOPS 64144 HAS SOUS 51011 HAS SOUPS 51011 WITH SCORE 51075.144
AT ITER 2318 NEW BEST:: SOT 197952 SOS 63814 HAS SOPS 63814 HAS SOUS 50884 HAS SOUPS 50884 WITH SCORE 50947.814
AT ITER 2319 NEW BEST:: SOT 197918 SOS 63743 HAS SOPS 63743 HAS SOUS 50813 HAS SOUPS 50813 WITH SCORE 50876.743
AT ITER 2320 NEW BEST:: SOT 197748 SOS 63573 HAS SOPS 63573 HAS SOUS 50643 HAS SOUPS 50643 WITH SCORE 50706.573
AT ITER 2334 NEW BEST:: SOT 197747 SOS 63571 HAS SOPS 63571 HAS SOUS 50641 HAS SOUPS 50641 WITH SCORE 50704.571
AT ITER 2337 NEW BEST:: SOT 197741 SOS 63431 HAS SOPS 63431 HAS SOUS 50501 HAS SOUPS 50501 WITH SCORE 50564.431
AT ITER 2344 NEW BEST:: SOT 197713 SOS 63418 HAS SOPS 63418 HAS SOUS 50434 HAS SOUPS 50434 WITH SCORE 50497.418
AT ITER 2350 NEW BEST:: SOT 197441 SOS 70176 HAS SOPS 70176 HAS SOUS 50273 HAS SOUPS 50273 WITH SCORE 50343.176
AT ITER 2362 NEW BEST:: SOT 197456 SOS 70119 HAS SOPS 70119 HAS SOUS 50216 HAS SOUPS 50216 WITH SCORE 50286.119
AT ITER 2373 NEW BEST:: SOT 197456 SOS 69910 HAS SOPS 69910 HAS SOUS 50007 HAS SOUPS 50007 WITH SCORE 50076.91
AT ITER 2376 NEW BEST:: SOT 197444 SOS 69886 HAS SOPS 69886 HAS SOUS 49890 HAS SOUPS 49890 WITH SCORE 49959.886
AT ITER 2382 NEW BEST:: SOT 197334 SOS 69725 HAS SOPS 69725 HAS SOUS 49788 HAS SOUPS 49788 WITH SCORE 49857.725
AT ITER 2383 NEW BEST:: SOT 197297 SOS 69535 HAS SOPS 69535 HAS SOUS 49714 HAS SOUPS 49714 WITH SCORE 49783.535
AT ITER 2393 NEW BEST:: SOT 197295 SOS 69533 HAS SOPS 69533 HAS SOUS 49711 HAS SOUPS 49711 WITH SCORE 49780.533
AT ITER 2407 NEW BEST:: SOT 197249 SOS 69487 HAS SOPS 69487 HAS SOUS 49665 HAS SOUPS 49665 WITH SCORE 49734.487
AT ITER 2408 NEW BEST:: SOT 197248 SOS 69485 HAS SOPS 69485 HAS SOUS 49662 HAS SOUPS 49662 WITH SCORE 49731.485
AT ITER 2410 NEW BEST:: SOT 197246 SOS 69483 HAS SOPS 69483 HAS SOUS 49662 HAS SOUPS 49662 WITH SCORE 49731.483
AT ITER 2438 NEW BEST:: SOT 197184 SOS 69359 HAS SOPS 69359 HAS SOUS 49600 HAS SOUPS 49600 WITH SCORE 49669.359
AT ITER 2455 NEW BEST:: SOT 197179 SOS 69349 HAS SOPS 69349 HAS SOUS 49590 HAS SOUPS 49590 WITH SCORE 49659.349
AT ITER 2461 NEW BEST:: SOT 197043 SOS 69213 HAS SOPS 69213 HAS SOUS 49454 HAS SOUPS 49454 WITH SCORE 49523.213
AT ITER 2463 NEW BEST:: SOT 196665 SOS 68696 HAS SOPS 68696 HAS SOUS 49308 HAS SOUPS 49308 WITH SCORE 49376.696
AT ITER 2493 NEW BEST:: SOT 196665 SOS 68693 HAS SOPS 68693 HAS SOUS 49308 HAS SOUPS 49308 WITH SCORE 49376.693
AT ITER 2494 NEW BEST:: SOT 196594 SOS 68602 HAS SOPS 68602 HAS SOUS 49268 HAS SOUPS 49268 WITH SCORE 49336.602
AT ITER 2501 NEW BEST:: SOT 196571 SOS 68556 HAS SOPS 68556 HAS SOUS 49222 HAS SOUPS 49222 WITH SCORE 49290.556
AT ITER 2521 NEW BEST:: SOT 196599 SOS 68549 HAS SOPS 68549 HAS SOUS 49215 HAS SOUPS 49215 WITH SCORE 49283.549
AT ITER 2529 NEW BEST:: SOT 196599 SOS 68518 HAS SOPS 68518 HAS SOUS 49153 HAS SOUPS 49153 WITH SCORE 49221.518
AT ITER 2533 NEW BEST:: SOT 196592 SOS 68395 HAS SOPS 68395 HAS SOUS 49139 HAS SOUPS 49139 WITH SCORE 49207.395
AT ITER 2542 NEW BEST:: SOT 196469 SOS 68251 HAS SOPS 68251 HAS SOUS 48995 HAS SOUPS 48995 WITH SCORE 49063.251
AT ITER 2552 NEW BEST:: SOT 196455 SOS 68237 HAS SOPS 68237 HAS SOUS 48995 HAS SOUPS 48995 WITH SCORE 49063.237
AT ITER 2556 NEW BEST:: SOT 196418 SOS 68200 HAS SOPS 68200 HAS SOUS 48958 HAS SOUPS 48958 WITH SCORE 49026.2
AT ITER 2557 NEW BEST:: SOT 196423 SOS 68181 HAS SOPS 68181 HAS SOUS 48910 HAS SOUPS 48910 WITH SCORE 48978.181
AT ITER 2560 NEW BEST:: SOT 196482 SOS 68299 HAS SOPS 68299 HAS SOUS 48752 HAS SOUPS 48752 WITH SCORE 48820.299
AT ITER 2613 NEW BEST:: SOT 196463 SOS 68241 HAS SOPS 68241 HAS SOUS 48694 HAS SOUPS 48694 WITH SCORE 48762.241
AT ITER 2622 NEW BEST:: SOT 196460 SOS 68220 HAS SOPS 68220 HAS SOUS 48673 HAS SOUPS 48673 WITH SCORE 48741.22
AT ITER 2624 NEW BEST:: SOT 196451 SOS 68200 HAS SOPS 68200 HAS SOUS 48673 HAS SOUPS 48673 WITH SCORE 48741.2
AT ITER 2646 NEW BEST:: SOT 196430 SOS 68198 HAS SOPS 68198 HAS SOUS 48671 HAS SOUPS 48671 WITH SCORE 48739.198
AT ITER 2656 NEW BEST:: SOT 196430 SOS 68130 HAS SOPS 68130 HAS SOUS 48671 HAS SOUPS 48671 WITH SCORE 48739.13
AT ITER 2690 NEW BEST:: SOT 196412 SOS 68099 HAS SOPS 68099 HAS SOUS 48653 HAS SOUPS 48653 WITH SCORE 48721.099
AT ITER 2691 NEW BEST:: SOT 196411 SOS 68098 HAS SOPS 68098 HAS SOUS 48653 HAS SOUPS 48653 WITH SCORE 48721.098
AT ITER 2707 NEW BEST:: SOT 196378 SOS 68085 HAS SOPS 68085 HAS SOUS 48640 HAS SOUPS 48640 WITH SCORE 48708.085
AT ITER 2710 NEW BEST:: SOT 196388 SOS 68060 HAS SOPS 68060 HAS SOUS 48615 HAS SOUPS 48615 WITH SCORE 48683.06
AT ITER 2719 NEW BEST:: SOT 196379 SOS 68042 HAS SOPS 68042 HAS SOUS 48597 HAS SOUPS 48597 WITH SCORE 48665.042
AT ITER 2757 NEW BEST:: SOT 196445 SOS 68108 HAS SOPS 68108 HAS SOUS 48590 HAS SOUPS 48590 WITH SCORE 48658.108
AT ITER 2764 NEW BEST:: SOT 196367 SOS 68094 HAS SOPS 68094 HAS SOUS 48576 HAS SOUPS 48576 WITH SCORE 48644.094
AT ITER 2778 NEW BEST:: SOT 196367 SOS 68102 HAS SOPS 68102 HAS SOUS 48542 HAS SOUPS 48542 WITH SCORE 48610.102
AT ITER 2782 NEW BEST:: SOT 196365 SOS 68100 HAS SOPS 68100 HAS SOUS 48539 HAS SOUPS 48539 WITH SCORE 48607.1
AT ITER 2793 NEW BEST:: SOT 196378 SOS 68093 HAS SOPS 68093 HAS SOUS 48532 HAS SOUPS 48532 WITH SCORE 48600.093
AT ITER 2810 NEW BEST:: SOT 196391 SOS 68057 HAS SOPS 68057 HAS SOUS 48527 HAS SOUPS 48527 WITH SCORE 48595.057
AT ITER 2812 NEW BEST:: SOT 196395 SOS 67958 HAS SOPS 67958 HAS SOUS 48504 HAS SOUPS 48504 WITH SCORE 48571.958
AT ITER 2815 NEW BEST:: SOT 196359 SOS 68090 HAS SOPS 68090 HAS SOUS 48468 HAS SOUPS 48468 WITH SCORE 48536.09
AT ITER 2836 NEW BEST:: SOT 196320 SOS 68012 HAS SOPS 68012 HAS SOUS 48390 HAS SOUPS 48390 WITH SCORE 48458.012
AT ITER 2850 NEW BEST:: SOT 196187 SOS 67746 HAS SOPS 67746 HAS SOUS 48275 HAS SOUPS 48275 WITH SCORE 48342.746
AT ITER 2855 NEW BEST:: SOT 196173 SOS 67732 HAS SOPS 67732 HAS SOUS 48261 HAS SOUPS 48261 WITH SCORE 48328.732
AT ITER 2856 NEW BEST:: SOT 196127 SOS 67899 HAS SOPS 67899 HAS SOUS 48244 HAS SOUPS 48244 WITH SCORE 48311.899
AT ITER 2870 NEW BEST:: SOT 196071 SOS 67843 HAS SOPS 67843 HAS SOUS 48188 HAS SOUPS 48188 WITH SCORE 48255.843
AT ITER 2871 NEW BEST:: SOT 196075 SOS 67835 HAS SOPS 67835 HAS SOUS 48180 HAS SOUPS 48180 WITH SCORE 48247.835
AT ITER 2878 NEW BEST:: SOT 196067 SOS 67827 HAS SOPS 67827 HAS SOUS 48176 HAS SOUPS 48176 WITH SCORE 48243.827
AT ITER 2891 NEW BEST:: SOT 196032 SOS 67770 HAS SOPS 67770 HAS SOUS 48119 HAS SOUPS 48119 WITH SCORE 48186.77
AT ITER 2892 NEW BEST:: SOT 196025 SOS 67756 HAS SOPS 67756 HAS SOUS 48105 HAS SOUPS 48105 WITH SCORE 48172.756
AT ITER 2897 NEW BEST:: SOT 196020 SOS 67707 HAS SOPS 67707 HAS SOUS 48056 HAS SOUPS 48056 WITH SCORE 48123.707
AT ITER 2904 NEW BEST:: SOT 196020 SOS 67702 HAS SOPS 67702 HAS SOUS 48051 HAS SOUPS 48051 WITH SCORE 48118.702
AT ITER 2916 NEW BEST:: SOT 195903 SOS 67546 HAS SOPS 67546 HAS SOUS 47973 HAS SOUPS 47973 WITH SCORE 48040.546
AT ITER 2920 NEW BEST:: SOT 195903 SOS 67493 HAS SOPS 67493 HAS SOUS 47973 HAS SOUPS 47973 WITH SCORE 48040.493
AT ITER 2923 NEW BEST:: SOT 195861 SOS 67476 HAS SOPS 67476 HAS SOUS 47956 HAS SOUPS 47956 WITH SCORE 48023.476
AT ITER 2927 NEW BEST:: SOT 195858 SOS 67473 HAS SOPS 67473 HAS SOUS 47952 HAS SOUPS 47952 WITH SCORE 48019.473
AT ITER 2955 NEW BEST:: SOT 195891 SOS 67405 HAS SOPS 67405 HAS SOUS 47884 HAS SOUPS 47884 WITH SCORE 47951.405
AT ITER 2956 NEW BEST:: SOT 195860 SOS 67343 HAS SOPS 67343 HAS SOUS 47822 HAS SOUPS 47822 WITH SCORE 47889.343
AT ITER 2966 NEW BEST:: SOT 195850 SOS 67337 HAS SOPS 67337 HAS SOUS 47816 HAS SOUPS 47816 WITH SCORE 47883.337
AT ITER 2986 NEW BEST:: SOT 195850 SOS 67217 HAS SOPS 67217 HAS SOUS 47731 HAS SOUPS 47731 WITH SCORE 47798.217
AT ITER 2990 NEW BEST:: SOT 195762 SOS 67085 HAS SOPS 67085 HAS SOUS 47643 HAS SOUPS 47643 WITH SCORE 47710.085
AT ITER 3035 NEW BEST:: SOT 195762 SOS 66783 HAS SOPS 66783 HAS SOUS 47552 HAS SOUPS 47552 WITH SCORE 47618.783
AT ITER 3036 NEW BEST:: SOT 195754 SOS 66765 HAS SOPS 66765 HAS SOUS 47534 HAS SOUPS 47534 WITH SCORE 47600.765
AT ITER 3085 NEW BEST:: SOT 195751 SOS 66759 HAS SOPS 66759 HAS SOUS 47528 HAS SOUPS 47528 WITH SCORE 47594.759
AT ITER 3088 NEW BEST:: SOT 195751 SOS 66729 HAS SOPS 66729 HAS SOUS 47491 HAS SOUPS 47491 WITH SCORE 47557.729
AT ITER 3100 NEW BEST:: SOT 195771 SOS 66709 HAS SOPS 66709 HAS SOUS 47491 HAS SOUPS 47491 WITH SCORE 47557.709
AT ITER 3132 NEW BEST:: SOT 195747 SOS 66661 HAS SOPS 66661 HAS SOUS 47443 HAS SOUPS 47443 WITH SCORE 47509.661
AT ITER 3139 NEW BEST:: SOT 195594 SOS 66508 HAS SOPS 66508 HAS SOUS 47290 HAS SOUPS 47290 WITH SCORE 47356.508
AT ITER 3166 NEW BEST:: SOT 195576 SOS 66428 HAS SOPS 66428 HAS SOUS 47210 HAS SOUPS 47210 WITH SCORE 47276.428
AT ITER 3183 NEW BEST:: SOT 195494 SOS 66138 HAS SOPS 66138 HAS SOUS 47115 HAS SOUPS 47115 WITH SCORE 47181.138
AT ITER 3184 NEW BEST:: SOT 195376 SOS 66229 HAS SOPS 66229 HAS SOUS 47072 HAS SOUPS 47072 WITH SCORE 47138.229
AT ITER 3201 NEW BEST:: SOT 195344 SOS 66181 HAS SOPS 66181 HAS SOUS 47040 HAS SOUPS 47040 WITH SCORE 47106.181
AT ITER 3204 NEW BEST:: SOT 195335 SOS 66167 HAS SOPS 66167 HAS SOUS 47026 HAS SOUPS 47026 WITH SCORE 47092.167
AT ITER 3224 NEW BEST:: SOT 195302 SOS 66174 HAS SOPS 66174 HAS SOUS 47001 HAS SOUPS 47001 WITH SCORE 47067.174
AT ITER 3241 NEW BEST:: SOT 195221 SOS 66071 HAS SOPS 66071 HAS SOUS 46904 HAS SOUPS 46904 WITH SCORE 46970.071
AT ITER 3314 NEW BEST:: SOT 195120 SOS 65924 HAS SOPS 65924 HAS SOUS 46757 HAS SOUPS 46757 WITH SCORE 46822.924
AT ITER 3315 NEW BEST:: SOT 195065 SOS 65869 HAS SOPS 65869 HAS SOUS 46731 HAS SOUPS 46731 WITH SCORE 46796.869
AT ITER 3326 NEW BEST:: SOT 195065 SOS 65846 HAS SOPS 65846 HAS SOUS 46708 HAS SOUPS 46708 WITH SCORE 46773.846
AT ITER 3339 NEW BEST:: SOT 194911 SOS 65538 HAS SOPS 65538 HAS SOUS 46400 HAS SOUPS 46400 WITH SCORE 46465.538
AT ITER 3345 NEW BEST:: SOT 194890 SOS 65517 HAS SOPS 65517 HAS SOUS 46379 HAS SOUPS 46379 WITH SCORE 46444.517
AT ITER 3362 NEW BEST:: SOT 194890 SOS 65525 HAS SOPS 65525 HAS SOUS 46370 HAS SOUPS 46370 WITH SCORE 46435.525
AT ITER 3378 NEW BEST:: SOT 194890 SOS 65510 HAS SOPS 65510 HAS SOUS 46344 HAS SOUPS 46344 WITH SCORE 46409.51
AT ITER 3380 NEW BEST:: SOT 194890 SOS 65508 HAS SOPS 65508 HAS SOUS 46342 HAS SOUPS 46342 WITH SCORE 46407.508
AT ITER 3451 NEW BEST:: SOT 194890 SOS 65470 HAS SOPS 65470 HAS SOUS 46316 HAS SOUPS 46316 WITH SCORE 46381.47
AT ITER 3457 NEW BEST:: SOT 194887 SOS 65464 HAS SOPS 65464 HAS SOUS 46307 HAS SOUPS 46307 WITH SCORE 46372.464
AT ITER 3514 NEW BEST:: SOT 194924 SOS 65427 HAS SOPS 65427 HAS SOUS 46223 HAS SOUPS 46223 WITH SCORE 46288.427
AT ITER 3543 NEW BEST:: SOT 194917 SOS 65413 HAS SOPS 65413 HAS SOUS 46209 HAS SOUPS 46209 WITH SCORE 46274.413
AT ITER 3599 NEW BEST:: SOT 194791 SOS 65075 HAS SOPS 65075 HAS SOUS 45871 HAS SOUPS 45871 WITH SCORE 45936.075
AT ITER 3604 NEW BEST:: SOT 194749 SOS 65033 HAS SOPS 65033 HAS SOUS 45862 HAS SOUPS 45862 WITH SCORE 45927.033
AT ITER 3618 NEW BEST:: SOT 194731 SOS 64997 HAS SOPS 64997 HAS SOUS 45850 HAS SOUPS 45850 WITH SCORE 45914.997
AT ITER 3655 NEW BEST:: SOT 194638 SOS 64785 HAS SOPS 64785 HAS SOUS 45757 HAS SOUPS 45757 WITH SCORE 45821.785
AT ITER 3663 NEW BEST:: SOT 194495 SOS 64573 HAS SOPS 64573 HAS SOUS 45575 HAS SOUPS 45575 WITH SCORE 45639.573
AT ITER 3665 NEW BEST:: SOT 194495 SOS 64565 HAS SOPS 64565 HAS SOUS 45567 HAS SOUPS 45567 WITH SCORE 45631.565
AT ITER 3687 NEW BEST:: SOT 194434 SOS 64546 HAS SOPS 64546 HAS SOUS 45548 HAS SOUPS 45548 WITH SCORE 45612.546
AT ITER 3713 NEW BEST:: SOT 194382 SOS 64468 HAS SOPS 64468 HAS SOUS 45496 HAS SOUPS 45496 WITH SCORE 45560.468
AT ITER 3725 NEW BEST:: SOT 194382 SOS 64467 HAS SOPS 64467 HAS SOUS 45495 HAS SOUPS 45495 WITH SCORE 45559.467
AT ITER 3727 NEW BEST:: SOT 194380 SOS 64463 HAS SOPS 64463 HAS SOUS 45491 HAS SOUPS 45491 WITH SCORE 45555.463
AT ITER 3746 NEW BEST:: SOT 194371 SOS 64454 HAS SOPS 64454 HAS SOUS 45491 HAS SOUPS 45491 WITH SCORE 45555.454
AT ITER 3763 NEW BEST:: SOT 194317 SOS 64411 HAS SOPS 64411 HAS SOUS 45466 HAS SOUPS 45466 WITH SCORE 45530.411
AT ITER 3778 NEW BEST:: SOT 194304 SOS 64407 HAS SOPS 64407 HAS SOUS 45462 HAS SOUPS 45462 WITH SCORE 45526.407
AT ITER 3789 NEW BEST:: SOT 194296 SOS 64399 HAS SOPS 64399 HAS SOUS 45454 HAS SOUPS 45454 WITH SCORE 45518.399
AT ITER 3790 NEW BEST:: SOT 194296 SOS 64353 HAS SOPS 64353 HAS SOUS 45408 HAS SOUPS 45408 WITH SCORE 45472.353
AT ITER 3800 NEW BEST:: SOT 194285 SOS 64333 HAS SOPS 64333 HAS SOUS 45388 HAS SOUPS 45388 WITH SCORE 45452.333
AT ITER 3804 NEW BEST:: SOT 194285 SOS 64309 HAS SOPS 64309 HAS SOUS 45364 HAS SOUPS 45364 WITH SCORE 45428.309
AT ITER 3909 NEW BEST:: SOT 194301 SOS 64301 HAS SOPS 64301 HAS SOUS 45340 HAS SOUPS 45340 WITH SCORE 45404.301
AT ITER 3913 NEW BEST:: SOT 194301 SOS 64265 HAS SOPS 64265 HAS SOUS 45304 HAS SOUPS 45304 WITH SCORE 45368.265
AT ITER 3922 NEW BEST:: SOT 194304 SOS 64256 HAS SOPS 64256 HAS SOUS 45280 HAS SOUPS 45280 WITH SCORE 45344.256
AT ITER 3932 NEW BEST:: SOT 194252 SOS 64725 HAS SOPS 64725 HAS SOUS 45265 HAS SOUPS 45265 WITH SCORE 45329.725
AT ITER 3935 NEW BEST:: SOT 194247 SOS 64720 HAS SOPS 64720 HAS SOUS 45260 HAS SOUPS 45260 WITH SCORE 45324.72
AT ITER 3941 NEW BEST:: SOT 194137 SOS 64555 HAS SOPS 64555 HAS SOUS 45150 HAS SOUPS 45150 WITH SCORE 45214.555
AT ITER 4008 NEW BEST:: SOT 194136 SOS 64554 HAS SOPS 64554 HAS SOUS 45149 HAS SOUPS 45149 WITH SCORE 45213.554
AT ITER 4009 NEW BEST:: SOT 194146 SOS 64546 HAS SOPS 64546 HAS SOUS 45113 HAS SOUPS 45113 WITH SCORE 45177.546
AT ITER 4033 NEW BEST:: SOT 193884 SOS 64264 HAS SOPS 64264 HAS SOUS 44981 HAS SOUPS 44981 WITH SCORE 45045.264
AT ITER 4053 NEW BEST:: SOT 193633 SOS 64013 HAS SOPS 64013 HAS SOUS 44823 HAS SOUPS 44823 WITH SCORE 44887.013
AT ITER 4068 NEW BEST:: SOT 193594 SOS 64038 HAS SOPS 64038 HAS SOUS 44804 HAS SOUPS 44804 WITH SCORE 44868.038
AT ITER 4087 NEW BEST:: SOT 193585 SOS 64021 HAS SOPS 64021 HAS SOUS 44795 HAS SOUPS 44795 WITH SCORE 44859.021
AT ITER 4111 NEW BEST:: SOT 193581 SOS 64013 HAS SOPS 64013 HAS SOUS 44787 HAS SOUPS 44787 WITH SCORE 44851.013
AT ITER 4117 NEW BEST:: SOT 193496 SOS 64291 HAS SOPS 64291 HAS SOUS 44766 HAS SOUPS 44766 WITH SCORE 44830.291
AT ITER 4145 NEW BEST:: SOT 193496 SOS 64286 HAS SOPS 64286 HAS SOUS 44761 HAS SOUPS 44761 WITH SCORE 44825.286
AT ITER 4152 NEW BEST:: SOT 193493 SOS 64142 HAS SOPS 64142 HAS SOUS 44756 HAS SOUPS 44756 WITH SCORE 44820.142
AT ITER 4202 NEW BEST:: SOT 193494 SOS 64143 HAS SOPS 64143 HAS SOUS 44751 HAS SOUPS 44751 WITH SCORE 44815.143
AT ITER 4207 NEW BEST:: SOT 193510 SOS 64102 HAS SOPS 64102 HAS SOUS 44710 HAS SOUPS 44710 WITH SCORE 44774.102
AT ITER 4223 NEW BEST:: SOT 193411 SOS 63967 HAS SOPS 63967 HAS SOUS 44575 HAS SOUPS 44575 WITH SCORE 44638.967
AT ITER 4233 NEW BEST:: SOT 193406 SOS 63962 HAS SOPS 63962 HAS SOUS 44570 HAS SOUPS 44570 WITH SCORE 44633.962
AT ITER 4253 NEW BEST:: SOT 193399 SOS 63961 HAS SOPS 63961 HAS SOUS 44569 HAS SOUPS 44569 WITH SCORE 44632.961
AT ITER 4267 NEW BEST:: SOT 193390 SOS 63943 HAS SOPS 63943 HAS SOUS 44551 HAS SOUPS 44551 WITH SCORE 44614.943
AT ITER 4321 NEW BEST:: SOT 193494 SOS 63813 HAS SOPS 63813 HAS SOUS 44421 HAS SOUPS 44421 WITH SCORE 44484.813
AT ITER 4326 NEW BEST:: SOT 193454 SOS 63733 HAS SOPS 63733 HAS SOUS 44364 HAS SOUPS 44364 WITH SCORE 44427.733
AT ITER 4338 NEW BEST:: SOT 193454 SOS 63704 HAS SOPS 63704 HAS SOUS 44306 HAS SOUPS 44306 WITH SCORE 44369.704
AT ITER 4347 NEW BEST:: SOT 193445 SOS 63643 HAS SOPS 63643 HAS SOUS 44255 HAS SOUPS 44255 WITH SCORE 44318.643
AT ITER 4348 NEW BEST:: SOT 193461 SOS 63572 HAS SOPS 63572 HAS SOUS 44187 HAS SOUPS 44187 WITH SCORE 44250.572
AT ITER 4350 NEW BEST:: SOT 193461 SOS 63334 HAS SOPS 63334 HAS SOUS 43949 HAS SOUPS 43949 WITH SCORE 44012.334
AT ITER 4356 NEW BEST:: SOT 193442 SOS 63361 HAS SOPS 63361 HAS SOUS 43867 HAS SOUPS 43867 WITH SCORE 43930.361
AT ITER 4395 NEW BEST:: SOT 193373 SOS 63276 HAS SOPS 63276 HAS SOUS 43838 HAS SOUPS 43838 WITH SCORE 43901.276
AT ITER 4466 NEW BEST:: SOT 193367 SOS 63267 HAS SOPS 63267 HAS SOUS 43826 HAS SOUPS 43826 WITH SCORE 43889.267
AT ITER 4472 NEW BEST:: SOT 193238 SOS 63138 HAS SOPS 63138 HAS SOUS 43804 HAS SOUPS 43804 WITH SCORE 43867.138
AT ITER 4519 NEW BEST:: SOT 193218 SOS 63098 HAS SOPS 63098 HAS SOUS 43764 HAS SOUPS 43764 WITH SCORE 43827.098
AT ITER 4529 NEW BEST:: SOT 193218 SOS 62999 HAS SOPS 62999 HAS SOUS 43764 HAS SOUPS 43764 WITH SCORE 43826.999
AT ITER 4539 NEW BEST:: SOT 193183 SOS 62826 HAS SOPS 62826 HAS SOUS 43591 HAS SOUPS 43591 WITH SCORE 43653.826
AT ITER 4548 NEW BEST:: SOT 193183 SOS 62821 HAS SOPS 62821 HAS SOUS 43586 HAS SOUPS 43586 WITH SCORE 43648.821
AT ITER 4550 NEW BEST:: SOT 193140 SOS 62778 HAS SOPS 62778 HAS SOUS 43586 HAS SOUPS 43586 WITH SCORE 43648.778
AT ITER 4561 NEW BEST:: SOT 193139 SOS 62777 HAS SOPS 62777 HAS SOUS 43585 HAS SOUPS 43585 WITH SCORE 43647.777
AT ITER 4574 NEW BEST:: SOT 193042 SOS 62690 HAS SOPS 62690 HAS SOUS 43569 HAS SOUPS 43569 WITH SCORE 43631.69
AT ITER 4601 NEW BEST:: SOT 193042 SOS 62673 HAS SOPS 62673 HAS SOUS 43535 HAS SOUPS 43535 WITH SCORE 43597.673
AT ITER 4653 NEW BEST:: SOT 193031 SOS 62671 HAS SOPS 62671 HAS SOUS 43533 HAS SOUPS 43533 WITH SCORE 43595.671
AT ITER 4665 NEW BEST:: SOT 193000 SOS 62640 HAS SOPS 62640 HAS SOUS 43533 HAS SOUPS 43533 WITH SCORE 43595.64
AT ITER 4673 NEW BEST:: SOT 192992 SOS 62439 HAS SOPS 62439 HAS SOUS 43431 HAS SOUPS 43431 WITH SCORE 43493.439
AT ITER 4730 NEW BEST:: SOT 192992 SOS 62200 HAS SOPS 62200 HAS SOUS 43381 HAS SOUPS 43381 WITH SCORE 43443.2
AT ITER 4740 NEW BEST:: SOT 192972 SOS 62170 HAS SOPS 62170 HAS SOUS 43361 HAS SOUPS 43361 WITH SCORE 43423.17
AT ITER 4755 NEW BEST:: SOT 192972 SOS 62162 HAS SOPS 62162 HAS SOUS 43353 HAS SOUPS 43353 WITH SCORE 43415.162
AT ITER 4785 NEW BEST:: SOT 192896 SOS 62067 HAS SOPS 62067 HAS SOUS 43258 HAS SOUPS 43258 WITH SCORE 43320.067
AT ITER 4793 NEW BEST:: SOT 192907 SOS 61569 HAS SOPS 61569 HAS SOUS 43229 HAS SOUPS 43229 WITH SCORE 43290.569
AT ITER 4859 NEW BEST:: SOT 192907 SOS 61555 HAS SOPS 61555 HAS SOUS 43215 HAS SOUPS 43215 WITH SCORE 43276.555
AT ITER 4860 NEW BEST:: SOT 192914 SOS 61543 HAS SOPS 61543 HAS SOUS 43203 HAS SOUPS 43203 WITH SCORE 43264.543
AT ITER 4888 NEW BEST:: SOT 192973 SOS 61602 HAS SOPS 61602 HAS SOUS 43189 HAS SOUPS 43189 WITH SCORE 43250.602
AT ITER 4921 NEW BEST:: SOT 192971 SOS 61593 HAS SOPS 61593 HAS SOUS 43180 HAS SOUPS 43180 WITH SCORE 43241.593
AT ITER 4951 NEW BEST:: SOT 192924 SOS 61499 HAS SOPS 61499 HAS SOUS 43133 HAS SOUPS 43133 WITH SCORE 43194.499
AT ITER 4981 NEW BEST:: SOT 192911 SOS 61486 HAS SOPS 61486 HAS SOUS 43120 HAS SOUPS 43120 WITH SCORE 43181.486
AT ITER 4984 NEW BEST:: SOT 192904 SOS 61472 HAS SOPS 61472 HAS SOUS 43106 HAS SOUPS 43106 WITH SCORE 43167.472
AT ITER 4996 NEW BEST:: SOT 192904 SOS 61503 HAS SOPS 61503 HAS SOUS 43097 HAS SOUPS 43097 WITH SCORE 43158.503
AT ITER 5011 NEW BEST:: SOT 192878 SOS 61451 HAS SOPS 61451 HAS SOUS 43045 HAS SOUPS 43045 WITH SCORE 43106.451
AT ITER 5012 NEW BEST:: SOT 192875 SOS 61448 HAS SOPS 61448 HAS SOUS 43042 HAS SOUPS 43042 WITH SCORE 43103.448
AT ITER 5073 NEW BEST:: SOT 192874 SOS 61444 HAS SOPS 61444 HAS SOUS 43042 HAS SOUPS 43042 WITH SCORE 43103.444
AT ITER 5127 NEW BEST:: SOT 192860 SOS 61319 HAS SOPS 61319 HAS SOUS 42921 HAS SOUPS 42921 WITH SCORE 42982.319
AT ITER 5128 NEW BEST:: SOT 192751 SOS 61176 HAS SOPS 61176 HAS SOUS 42853 HAS SOUPS 42853 WITH SCORE 42914.176
AT ITER 5160 NEW BEST:: SOT 192768 SOS 61210 HAS SOPS 61210 HAS SOUS 42817 HAS SOUPS 42817 WITH SCORE 42878.21
AT ITER 5172 NEW BEST:: SOT 192715 SOS 61104 HAS SOPS 61104 HAS SOUS 42764 HAS SOUPS 42764 WITH SCORE 42825.104
AT ITER 5204 NEW BEST:: SOT 192715 SOS 61094 HAS SOPS 61094 HAS SOUS 42754 HAS SOUPS 42754 WITH SCORE 42815.094
AT ITER 5216 NEW BEST:: SOT 192683 SOS 61068 HAS SOPS 61068 HAS SOUS 42728 HAS SOUPS 42728 WITH SCORE 42789.068
AT ITER 5236 NEW BEST:: SOT 192657 SOS 61016 HAS SOPS 61016 HAS SOUS 42647 HAS SOUPS 42647 WITH SCORE 42708.016
AT ITER 5250 NEW BEST:: SOT 192688 SOS 60956 HAS SOPS 60956 HAS SOUS 42465 HAS SOUPS 42465 WITH SCORE 42525.956
AT ITER 5251 NEW BEST:: SOT 192608 SOS 60872 HAS SOPS 60872 HAS SOUS 42427 HAS SOUPS 42427 WITH SCORE 42487.872
AT ITER 5307 NEW BEST:: SOT 192654 SOS 60895 HAS SOPS 60895 HAS SOUS 42425 HAS SOUPS 42425 WITH SCORE 42485.895
AT ITER 5313 NEW BEST:: SOT 192677 SOS 60895 HAS SOPS 60895 HAS SOUS 42407 HAS SOUPS 42407 WITH SCORE 42467.895
AT ITER 5339 NEW BEST:: SOT 192308 SOS 60683 HAS SOPS 60683 HAS SOUS 42233 HAS SOUPS 42233 WITH SCORE 42293.683
AT ITER 5371 NEW BEST:: SOT 192291 SOS 60665 HAS SOPS 60665 HAS SOUS 42231 HAS SOUPS 42231 WITH SCORE 42291.665
AT ITER 5446 NEW BEST:: SOT 192291 SOS 60655 HAS SOPS 60655 HAS SOUS 42221 HAS SOUPS 42221 WITH SCORE 42281.655
AT ITER 5470 NEW BEST:: SOT 192288 SOS 60652 HAS SOPS 60652 HAS SOUS 42218 HAS SOUPS 42218 WITH SCORE 42278.652
AT ITER 5475 NEW BEST:: SOT 192351 SOS 60393 HAS SOPS 60393 HAS SOUS 42180 HAS SOUPS 42180 WITH SCORE 42240.393
AT ITER 5489 NEW BEST:: SOT 192394 SOS 60322 HAS SOPS 60322 HAS SOUS 42109 HAS SOUPS 42109 WITH SCORE 42169.322
AT ITER 5495 NEW BEST:: SOT 192414 SOS 60317 HAS SOPS 60317 HAS SOUS 42104 HAS SOUPS 42104 WITH SCORE 42164.317
AT ITER 5496 NEW BEST:: SOT 192428 SOS 60272 HAS SOPS 60272 HAS SOUS 42059 HAS SOUPS 42059 WITH SCORE 42119.272
AT ITER 5509 NEW BEST:: SOT 192408 SOS 60212 HAS SOPS 60212 HAS SOUS 42036 HAS SOUPS 42036 WITH SCORE 42096.212
AT ITER 5585 NEW BEST:: SOT 192402 SOS 60200 HAS SOPS 60200 HAS SOUS 42026 HAS SOUPS 42026 WITH SCORE 42086.2
AT ITER 5601 NEW BEST:: SOT 192484 SOS 60105 HAS SOPS 60105 HAS SOUS 42002 HAS SOUPS 42002 WITH SCORE 42062.105
AT ITER 5612 NEW BEST:: SOT 192491 SOS 60100 HAS SOPS 60100 HAS SOUS 41997 HAS SOUPS 41997 WITH SCORE 42057.1
AT ITER 5616 NEW BEST:: SOT 192431 SOS 60056 HAS SOPS 60056 HAS SOUS 41987 HAS SOUPS 41987 WITH SCORE 42047.056
AT ITER 5673 NEW BEST:: SOT 192508 SOS 60024 HAS SOPS 60024 HAS SOUS 41955 HAS SOUPS 41955 WITH SCORE 42015.024
AT ITER 5698 NEW BEST:: SOT 192508 SOS 59929 HAS SOPS 59929 HAS SOUS 41860 HAS SOUPS 41860 WITH SCORE 41919.929
AT ITER 5712 NEW BEST:: SOT 192566 SOS 59925 HAS SOPS 59925 HAS SOUS 41736 HAS SOUPS 41736 WITH SCORE 41795.925
AT ITER 5738 NEW BEST:: SOT 192564 SOS 59921 HAS SOPS 59921 HAS SOUS 41732 HAS SOUPS 41732 WITH SCORE 41791.921
AT ITER 5759 NEW BEST:: SOT 192625 SOS 59925 HAS SOPS 59925 HAS SOUS 41703 HAS SOUPS 41703 WITH SCORE 41762.925
AT ITER 5809 NEW BEST:: SOT 192625 SOS 59916 HAS SOPS 59916 HAS SOUS 41694 HAS SOUPS 41694 WITH SCORE 41753.916
AT ITER 5837 NEW BEST:: SOT 192609 SOS 59904 HAS SOPS 59904 HAS SOUS 41682 HAS SOUPS 41682 WITH SCORE 41741.904
AT ITER 5849 NEW BEST:: SOT 192520 SOS 59896 HAS SOPS 59896 HAS SOUS 41674 HAS SOUPS 41674 WITH SCORE 41733.896
AT ITER 5867 NEW BEST:: SOT 192520 SOS 59889 HAS SOPS 59889 HAS SOUS 41667 HAS SOUPS 41667 WITH SCORE 41726.889
AT ITER 5875 NEW BEST:: SOT 192494 SOS 59837 HAS SOPS 59837 HAS SOUS 41649 HAS SOUPS 41649 WITH SCORE 41708.837
AT ITER 5933 NEW BEST:: SOT 192472 SOS 59798 HAS SOPS 59798 HAS SOUS 41610 HAS SOUPS 41610 WITH SCORE 41669.798
AT ITER 5950 NEW BEST:: SOT 192473 SOS 59783 HAS SOPS 59783 HAS SOUS 41562 HAS SOUPS 41562 WITH SCORE 41621.783
AT ITER 5952 NEW BEST:: SOT 192477 SOS 59774 HAS SOPS 59774 HAS SOUS 41553 HAS SOUPS 41553 WITH SCORE 41612.774
AT ITER 5978 NEW BEST:: SOT 192499 SOS 59742 HAS SOPS 59742 HAS SOUS 41536 HAS SOUPS 41536 WITH SCORE 41595.742
AT ITER 6013 NEW BEST:: SOT 192421 SOS 59664 HAS SOPS 59664 HAS SOUS 41458 HAS SOUPS 41458 WITH SCORE 41517.664
AT ITER 6054 NEW BEST:: SOT 192416 SOS 59654 HAS SOPS 59654 HAS SOUS 41450 HAS SOUPS 41450 WITH SCORE 41509.654
AT ITER 6064 NEW BEST:: SOT 192416 SOS 59286 HAS SOPS 59286 HAS SOUS 41427 HAS SOUPS 41427 WITH SCORE 41486.286
AT ITER 6086 NEW BEST:: SOT 192408 SOS 59280 HAS SOPS 59280 HAS SOUS 41421 HAS SOUPS 41421 WITH SCORE 41480.28
AT ITER 6115 NEW BEST:: SOT 192387 SOS 59259 HAS SOPS 59259 HAS SOUS 41400 HAS SOUPS 41400 WITH SCORE 41459.259
AT ITER 6136 NEW BEST:: SOT 192370 SOS 59197 HAS SOPS 59197 HAS SOUS 41338 HAS SOUPS 41338 WITH SCORE 41397.197
AT ITER 6250 NEW BEST:: SOT 192377 SOS 59211 HAS SOPS 59211 HAS SOUS 41258 HAS SOUPS 41258 WITH SCORE 41317.211
AT ITER 6334 NEW BEST:: SOT 192377 SOS 59199 HAS SOPS 59199 HAS SOUS 41246 HAS SOUPS 41246 WITH SCORE 41305.199
AT ITER 6393 NEW BEST:: SOT 192377 SOS 59199 HAS SOPS 59199 HAS SOUS 41244 HAS SOUPS 41244 WITH SCORE 41303.199
AT ITER 6432 NEW BEST:: SOT 192394 SOS 59232 HAS SOPS 59232 HAS SOUS 41239 HAS SOUPS 41239 WITH SCORE 41298.232
AT ITER 6457 NEW BEST:: SOT 192392 SOS 59224 HAS SOPS 59224 HAS SOUS 41233 HAS SOUPS 41233 WITH SCORE 41292.224
AT ITER 6481 NEW BEST:: SOT 192392 SOS 59222 HAS SOPS 59222 HAS SOUS 41231 HAS SOUPS 41231 WITH SCORE 41290.222
AT ITER 6483 NEW BEST:: SOT 192334 SOS 59193 HAS SOPS 59193 HAS SOUS 41229 HAS SOUPS 41229 WITH SCORE 41288.193
AT ITER 6515 NEW BEST:: SOT 192337 SOS 59147 HAS SOPS 59147 HAS SOUS 41183 HAS SOUPS 41183 WITH SCORE 41242.147
AT ITER 6525 NEW BEST:: SOT 192328 SOS 59129 HAS SOPS 59129 HAS SOUS 41173 HAS SOUPS 41173 WITH SCORE 41232.129
AT ITER 6531 NEW BEST:: SOT 192320 SOS 59113 HAS SOPS 59113 HAS SOUS 41157 HAS SOUPS 41157 WITH SCORE 41216.113
AT ITER 6540 NEW BEST:: SOT 192317 SOS 59110 HAS SOPS 59110 HAS SOUS 41154 HAS SOUPS 41154 WITH SCORE 41213.11
AT ITER 6549 NEW BEST:: SOT 192317 SOS 59110 HAS SOPS 59110 HAS SOUS 41132 HAS SOUPS 41132 WITH SCORE 41191.11
AT ITER 6552 NEW BEST:: SOT 192314 SOS 59087 HAS SOPS 59087 HAS SOUS 41109 HAS SOUPS 41109 WITH SCORE 41168.087
AT ITER 6559 NEW BEST:: SOT 192308 SOS 59081 HAS SOPS 59081 HAS SOUS 41103 HAS SOUPS 41103 WITH SCORE 41162.081
AT ITER 6566 NEW BEST:: SOT 192311 SOS 59073 HAS SOPS 59073 HAS SOUS 41095 HAS SOUPS 41095 WITH SCORE 41154.073
AT ITER 6576 NEW BEST:: SOT 192307 SOS 59067 HAS SOPS 59067 HAS SOUS 41091 HAS SOUPS 41091 WITH SCORE 41150.067
AT ITER 6589 NEW BEST:: SOT 192355 SOS 59086 HAS SOPS 59086 HAS SOUS 41087 HAS SOUPS 41087 WITH SCORE 41146.086
AT ITER 6598 NEW BEST:: SOT 192305 SOS 58986 HAS SOPS 58986 HAS SOUS 40998 HAS SOUPS 40998 WITH SCORE 41056.986
AT ITER 6619 NEW BEST:: SOT 192190 SOS 58811 HAS SOPS 58811 HAS SOUS 40883 HAS SOUPS 40883 WITH SCORE 40941.811
AT ITER 6666 NEW BEST:: SOT 192132 SOS 58695 HAS SOPS 58695 HAS SOUS 40818 HAS SOUPS 40818 WITH SCORE 40876.695
AT ITER 6674 NEW BEST:: SOT 192132 SOS 58605 HAS SOPS 58605 HAS SOUS 40638 HAS SOUPS 40638 WITH SCORE 40696.605
AT ITER 6681 NEW BEST:: SOT 192132 SOS 58605 HAS SOPS 58605 HAS SOUS 40619 HAS SOUPS 40619 WITH SCORE 40677.605
AT ITER 6683 NEW BEST:: SOT 192128 SOS 58597 HAS SOPS 58597 HAS SOUS 40611 HAS SOUPS 40611 WITH SCORE 40669.597
AT ITER 6692 NEW BEST:: SOT 192099 SOS 58558 HAS SOPS 58558 HAS SOUS 40572 HAS SOUPS 40572 WITH SCORE 40630.558
AT ITER 6693 NEW BEST:: SOT 192097 SOS 58534 HAS SOPS 58534 HAS SOUS 40548 HAS SOUPS 40548 WITH SCORE 40606.534
AT ITER 6695 NEW BEST:: SOT 192097 SOS 58445 HAS SOPS 58445 HAS SOUS 40468 HAS SOUPS 40468 WITH SCORE 40526.445
AT ITER 6748 NEW BEST:: SOT 192073 SOS 58290 HAS SOPS 58290 HAS SOUS 40462 HAS SOUPS 40462 WITH SCORE 40520.29
AT ITER 6757 NEW BEST:: SOT 191992 SOS 58186 HAS SOPS 58186 HAS SOUS 40358 HAS SOUPS 40358 WITH SCORE 40416.186
AT ITER 6762 NEW BEST:: SOT 191998 SOS 58192 HAS SOPS 58192 HAS SOUS 40347 HAS SOUPS 40347 WITH SCORE 40405.192
AT ITER 6764 NEW BEST:: SOT 191991 SOS 58185 HAS SOPS 58185 HAS SOUS 40340 HAS SOUPS 40340 WITH SCORE 40398.185
AT ITER 6768 NEW BEST:: SOT 191965 SOS 58156 HAS SOPS 58156 HAS SOUS 40324 HAS SOUPS 40324 WITH SCORE 40382.156
AT ITER 6788 NEW BEST:: SOT 191958 SOS 58254 HAS SOPS 58254 HAS SOUS 40315 HAS SOUPS 40315 WITH SCORE 40373.254
AT ITER 6831 NEW BEST:: SOT 191968 SOS 58246 HAS SOPS 58246 HAS SOUS 40307 HAS SOUPS 40307 WITH SCORE 40365.246
AT ITER 6836 NEW BEST:: SOT 191820 SOS 58021 HAS SOPS 58021 HAS SOUS 40219 HAS SOUPS 40219 WITH SCORE 40277.021
AT ITER 6847 NEW BEST:: SOT 191808 SOS 57987 HAS SOPS 57987 HAS SOUS 40207 HAS SOUPS 40207 WITH SCORE 40264.987
AT ITER 6854 NEW BEST:: SOT 191809 SOS 57813 HAS SOPS 57813 HAS SOUS 40196 HAS SOUPS 40196 WITH SCORE 40253.813
AT ITER 6872 NEW BEST:: SOT 191806 SOS 57807 HAS SOPS 57807 HAS SOUS 40190 HAS SOUPS 40190 WITH SCORE 40247.807
AT ITER 6916 NEW BEST:: SOT 191802 SOS 57799 HAS SOPS 57799 HAS SOUS 40171 HAS SOUPS 40171 WITH SCORE 40228.799
AT ITER 6918 NEW BEST:: SOT 191792 SOS 57790 HAS SOPS 57790 HAS SOUS 40151 HAS SOUPS 40151 WITH SCORE 40208.79
AT ITER 6927 NEW BEST:: SOT 191772 SOS 57769 HAS SOPS 57769 HAS SOUS 40149 HAS SOUPS 40149 WITH SCORE 40206.769
AT ITER 6935 NEW BEST:: SOT 191739 SOS 57703 HAS SOPS 57703 HAS SOUS 40083 HAS SOUPS 40083 WITH SCORE 40140.703
AT ITER 6936 NEW BEST:: SOT 191722 SOS 57662 HAS SOPS 57662 HAS SOUS 40042 HAS SOUPS 40042 WITH SCORE 40099.662
AT ITER 6944 NEW BEST:: SOT 191760 SOS 57705 HAS SOPS 57705 HAS SOUS 40040 HAS SOUPS 40040 WITH SCORE 40097.705
AT ITER 6995 NEW BEST:: SOT 191753 SOS 57694 HAS SOPS 57694 HAS SOUS 40036 HAS SOUPS 40036 WITH SCORE 40093.694
AT ITER 7043 NEW BEST:: SOT 191752 SOS 57664 HAS SOPS 57664 HAS SOUS 40006 HAS SOUPS 40006 WITH SCORE 40063.664
AT ITER 7045 NEW BEST:: SOT 191730 SOS 57609 HAS SOPS 57609 HAS SOUS 39951 HAS SOUPS 39951 WITH SCORE 40008.609
AT ITER 7053 NEW BEST:: SOT 191730 SOS 57603 HAS SOPS 57603 HAS SOUS 39938 HAS SOUPS 39938 WITH SCORE 39995.603
AT ITER 7056 NEW BEST:: SOT 191620 SOS 57493 HAS SOPS 57493 HAS SOUS 39883 HAS SOUPS 39883 WITH SCORE 39940.493
AT ITER 7080 NEW BEST:: SOT 191620 SOS 57497 HAS SOPS 57497 HAS SOUS 39880 HAS SOUPS 39880 WITH SCORE 39937.497
AT ITER 7089 NEW BEST:: SOT 191620 SOS 57476 HAS SOPS 57476 HAS SOUS 39880 HAS SOUPS 39880 WITH SCORE 39937.476
AT ITER 7118 NEW BEST:: SOT 191549 SOS 57334 HAS SOPS 57334 HAS SOUS 39779 HAS SOUPS 39779 WITH SCORE 39836.334
AT ITER 7131 NEW BEST:: SOT 191559 SOS 57327 HAS SOPS 57327 HAS SOUS 39772 HAS SOUPS 39772 WITH SCORE 39829.327
AT ITER 7157 NEW BEST:: SOT 191559 SOS 57302 HAS SOPS 57302 HAS SOUS 39747 HAS SOUPS 39747 WITH SCORE 39804.302
AT ITER 7162 NEW BEST:: SOT 191542 SOS 57284 HAS SOPS 57284 HAS SOUS 39745 HAS SOUPS 39745 WITH SCORE 39802.284
AT ITER 7181 NEW BEST:: SOT 191560 SOS 57281 HAS SOPS 57281 HAS SOUS 39740 HAS SOUPS 39740 WITH SCORE 39797.281
AT ITER 7188 NEW BEST:: SOT 191540 SOS 57251 HAS SOPS 57251 HAS SOUS 39717 HAS SOUPS 39717 WITH SCORE 39774.251
AT ITER 7221 NEW BEST:: SOT 191517 SOS 57228 HAS SOPS 57228 HAS SOUS 39694 HAS SOUPS 39694 WITH SCORE 39751.228
AT ITER 7226 NEW BEST:: SOT 191516 SOS 57238 HAS SOPS 57238 HAS SOUS 39692 HAS SOUPS 39692 WITH SCORE 39749.238
AT ITER 7236 NEW BEST:: SOT 191514 SOS 57237 HAS SOPS 57237 HAS SOUS 39691 HAS SOUPS 39691 WITH SCORE 39748.237
AT ITER 7268 NEW BEST:: SOT 191539 SOS 57262 HAS SOPS 57262 HAS SOUS 39648 HAS SOUPS 39648 WITH SCORE 39705.262
AT ITER 7306 NEW BEST:: SOT 191539 SOS 57262 HAS SOPS 57262 HAS SOUS 39641 HAS SOUPS 39641 WITH SCORE 39698.262
AT ITER 7324 NEW BEST:: SOT 191544 SOS 57247 HAS SOPS 57247 HAS SOUS 39626 HAS SOUPS 39626 WITH SCORE 39683.247
AT ITER 7330 NEW BEST:: SOT 191526 SOS 57211 HAS SOPS 57211 HAS SOUS 39590 HAS SOUPS 39590 WITH SCORE 39647.211
AT ITER 7348 NEW BEST:: SOT 191525 SOS 57262 HAS SOPS 57262 HAS SOUS 39589 HAS SOUPS 39589 WITH SCORE 39646.262
AT ITER 7454 NEW BEST:: SOT 191503 SOS 57258 HAS SOPS 57258 HAS SOUS 39585 HAS SOUPS 39585 WITH SCORE 39642.258
AT ITER 7495 NEW BEST:: SOT 191503 SOS 57256 HAS SOPS 57256 HAS SOUS 39583 HAS SOUPS 39583 WITH SCORE 39640.256
AT ITER 7498 NEW BEST:: SOT 191503 SOS 57229 HAS SOPS 57229 HAS SOUS 39556 HAS SOUPS 39556 WITH SCORE 39613.229
AT ITER 7501 NEW BEST:: SOT 191502 SOS 57228 HAS SOPS 57228 HAS SOUS 39555 HAS SOUPS 39555 WITH SCORE 39612.228
AT ITER 7538 NEW BEST:: SOT 191472 SOS 57181 HAS SOPS 57181 HAS SOUS 39508 HAS SOUPS 39508 WITH SCORE 39565.181
AT ITER 7566 NEW BEST:: SOT 191471 SOS 57143 HAS SOPS 57143 HAS SOUS 39470 HAS SOUPS 39470 WITH SCORE 39527.143
AT ITER 7603 NEW BEST:: SOT 191463 SOS 57135 HAS SOPS 57135 HAS SOUS 39462 HAS SOUPS 39462 WITH SCORE 39519.135
AT ITER 7604 NEW BEST:: SOT 191437 SOS 57109 HAS SOPS 57109 HAS SOUS 39449 HAS SOUPS 39449 WITH SCORE 39506.109
AT ITER 7624 NEW BEST:: SOT 191421 SOS 57115 HAS SOPS 57115 HAS SOUS 39440 HAS SOUPS 39440 WITH SCORE 39497.115
AT ITER 7644 NEW BEST:: SOT 191405 SOS 57261 HAS SOPS 57261 HAS SOUS 39438 HAS SOUPS 39438 WITH SCORE 39495.261
AT ITER 7651 NEW BEST:: SOT 191380 SOS 57209 HAS SOPS 57209 HAS SOUS 39412 HAS SOUPS 39412 WITH SCORE 39469.209
AT ITER 7652 NEW BEST:: SOT 191380 SOS 57209 HAS SOPS 57209 HAS SOUS 39404 HAS SOUPS 39404 WITH SCORE 39461.209
AT ITER 7659 NEW BEST:: SOT 191371 SOS 57191 HAS SOPS 57191 HAS SOUS 39386 HAS SOUPS 39386 WITH SCORE 39443.191
AT ITER 7679 NEW BEST:: SOT 191307 SOS 57127 HAS SOPS 57127 HAS SOUS 39386 HAS SOUPS 39386 WITH SCORE 39443.127
AT ITER 7680 NEW BEST:: SOT 191310 SOS 57133 HAS SOPS 57133 HAS SOUS 39383 HAS SOUPS 39383 WITH SCORE 39440.133
AT ITER 7709 NEW BEST:: SOT 191310 SOS 57109 HAS SOPS 57109 HAS SOUS 39382 HAS SOUPS 39382 WITH SCORE 39439.109
AT ITER 7720 NEW BEST:: SOT 191308 SOS 57107 HAS SOPS 57107 HAS SOUS 39380 HAS SOUPS 39380 WITH SCORE 39437.107
AT ITER 7725 NEW BEST:: SOT 191316 SOS 57087 HAS SOPS 57087 HAS SOUS 39360 HAS SOUPS 39360 WITH SCORE 39417.087
AT ITER 7735 NEW BEST:: SOT 191326 SOS 57097 HAS SOPS 57097 HAS SOUS 39346 HAS SOUPS 39346 WITH SCORE 39403.097
AT ITER 7743 NEW BEST:: SOT 191319 SOS 57080 HAS SOPS 57080 HAS SOUS 39339 HAS SOUPS 39339 WITH SCORE 39396.08
AT ITER 7782 NEW BEST:: SOT 191351 SOS 57031 HAS SOPS 57031 HAS SOUS 39290 HAS SOUPS 39290 WITH SCORE 39347.031
AT ITER 7787 NEW BEST:: SOT 191318 SOS 56968 HAS SOPS 56968 HAS SOUS 39180 HAS SOUPS 39180 WITH SCORE 39236.968
AT ITER 7799 NEW BEST:: SOT 191318 SOS 56962 HAS SOPS 56962 HAS SOUS 39174 HAS SOUPS 39174 WITH SCORE 39230.962
AT ITER 7810 NEW BEST:: SOT 191316 SOS 56960 HAS SOPS 56960 HAS SOUS 39172 HAS SOUPS 39172 WITH SCORE 39228.96
AT ITER 7830 NEW BEST:: SOT 191239 SOS 56858 HAS SOPS 56858 HAS SOUS 39070 HAS SOUPS 39070 WITH SCORE 39126.858
AT ITER 7883 NEW BEST:: SOT 191239 SOS 56839 HAS SOPS 56839 HAS SOUS 39051 HAS SOUPS 39051 WITH SCORE 39107.839
AT ITER 7904 NEW BEST:: SOT 191239 SOS 56839 HAS SOPS 56839 HAS SOUS 39049 HAS SOUPS 39049 WITH SCORE 39105.839
AT ITER 7918 NEW BEST:: SOT 191232 SOS 56832 HAS SOPS 56832 HAS SOUS 39042 HAS SOUPS 39042 WITH SCORE 39098.832
AT ITER 7960 NEW BEST:: SOT 191222 SOS 56818 HAS SOPS 56818 HAS SOUS 39028 HAS SOUPS 39028 WITH SCORE 39084.818
AT ITER 8003 NEW BEST:: SOT 191209 SOS 56792 HAS SOPS 56792 HAS SOUS 39002 HAS SOUPS 39002 WITH SCORE 39058.792
AT ITER 8025 NEW BEST:: SOT 191209 SOS 56788 HAS SOPS 56788 HAS SOUS 38998 HAS SOUPS 38998 WITH SCORE 39054.788
AT ITER 8080 NEW BEST:: SOT 191209 SOS 56770 HAS SOPS 56770 HAS SOUS 38980 HAS SOUPS 38980 WITH SCORE 39036.77
AT ITER 8125 NEW BEST:: SOT 191224 SOS 57248 HAS SOPS 57248 HAS SOUS 38978 HAS SOUPS 38978 WITH SCORE 39035.248
AT ITER 8178 NEW BEST:: SOT 191215 SOS 57240 HAS SOPS 57240 HAS SOUS 38970 HAS SOUPS 38970 WITH SCORE 39027.24
AT ITER 8189 NEW BEST:: SOT 191214 SOS 57238 HAS SOPS 57238 HAS SOUS 38968 HAS SOUPS 38968 WITH SCORE 39025.238
AT ITER 8203 NEW BEST:: SOT 191192 SOS 57194 HAS SOPS 57194 HAS SOUS 38935 HAS SOUPS 38935 WITH SCORE 38992.194
AT ITER 8261 NEW BEST:: SOT 191166 SOS 57142 HAS SOPS 57142 HAS SOUS 38913 HAS SOUPS 38913 WITH SCORE 38970.142
AT ITER 8292 NEW BEST:: SOT 191142 SOS 57106 HAS SOPS 57106 HAS SOUS 38889 HAS SOUPS 38889 WITH SCORE 38946.106
AT ITER 8302 NEW BEST:: SOT 191126 SOS 57090 HAS SOPS 57090 HAS SOUS 38881 HAS SOUPS 38881 WITH SCORE 38938.09
AT ITER 8328 NEW BEST:: SOT 191175 SOS 57136 HAS SOPS 57136 HAS SOUS 38875 HAS SOUPS 38875 WITH SCORE 38932.136
AT ITER 8350 NEW BEST:: SOT 191165 SOS 57116 HAS SOPS 57116 HAS SOUS 38855 HAS SOUPS 38855 WITH SCORE 38912.116
AT ITER 8373 NEW BEST:: SOT 191147 SOS 57080 HAS SOPS 57080 HAS SOUS 38819 HAS SOUPS 38819 WITH SCORE 38876.08
AT ITER 8377 NEW BEST:: SOT 191147 SOS 57074 HAS SOPS 57074 HAS SOUS 38813 HAS SOUPS 38813 WITH SCORE 38870.074
AT ITER 8430 NEW BEST:: SOT 191088 SOS 56956 HAS SOPS 56956 HAS SOUS 38730 HAS SOUPS 38730 WITH SCORE 38786.956
AT ITER 8441 NEW BEST:: SOT 191049 SOS 56856 HAS SOPS 56856 HAS SOUS 38674 HAS SOUPS 38674 WITH SCORE 38730.856
AT ITER 8447 NEW BEST:: SOT 191049 SOS 56851 HAS SOPS 56851 HAS SOUS 38664 HAS SOUPS 38664 WITH SCORE 38720.851
AT ITER 8448 NEW BEST:: SOT 191041 SOS 56835 HAS SOPS 56835 HAS SOUS 38662 HAS SOUPS 38662 WITH SCORE 38718.835
AT ITER 8467 NEW BEST:: SOT 191079 SOS 56880 HAS SOPS 56880 HAS SOUS 38659 HAS SOUPS 38659 WITH SCORE 38715.88
AT ITER 8514 NEW BEST:: SOT 191055 SOS 56832 HAS SOPS 56832 HAS SOUS 38635 HAS SOUPS 38635 WITH SCORE 38691.832
AT ITER 8533 NEW BEST:: SOT 190996 SOS 56773 HAS SOPS 56773 HAS SOUS 38576 HAS SOUPS 38576 WITH SCORE 38632.773
AT ITER 8540 NEW BEST:: SOT 190982 SOS 56758 HAS SOPS 56758 HAS SOUS 38538 HAS SOUPS 38538 WITH SCORE 38594.758
AT ITER 8548 NEW BEST:: SOT 190982 SOS 56730 HAS SOPS 56730 HAS SOUS 38538 HAS SOUPS 38538 WITH SCORE 38594.73
AT ITER 8620 NEW BEST:: SOT 190953 SOS 56707 HAS SOPS 56707 HAS SOUS 38515 HAS SOUPS 38515 WITH SCORE 38571.707
AT ITER 8639 NEW BEST:: SOT 190942 SOS 56685 HAS SOPS 56685 HAS SOUS 38493 HAS SOUPS 38493 WITH SCORE 38549.685
AT ITER 8665 NEW BEST:: SOT 190993 SOS 56718 HAS SOPS 56718 HAS SOUS 38488 HAS SOUPS 38488 WITH SCORE 38544.718
AT ITER 8704 NEW BEST:: SOT 190991 SOS 56714 HAS SOPS 56714 HAS SOUS 38484 HAS SOUPS 38484 WITH SCORE 38540.714
AT ITER 8748 NEW BEST:: SOT 190991 SOS 56711 HAS SOPS 56711 HAS SOUS 38481 HAS SOUPS 38481 WITH SCORE 38537.711
AT ITER 8756 NEW BEST:: SOT 190990 SOS 56709 HAS SOPS 56709 HAS SOUS 38479 HAS SOUPS 38479 WITH SCORE 38535.709
AT ITER 8778 NEW BEST:: SOT 190983 SOS 56702 HAS SOPS 56702 HAS SOUS 38458 HAS SOUPS 38458 WITH SCORE 38514.702
AT ITER 8779 NEW BEST:: SOT 190983 SOS 56701 HAS SOPS 56701 HAS SOUS 38457 HAS SOUPS 38457 WITH SCORE 38513.701
AT ITER 8811 NEW BEST:: SOT 190992 SOS 56677 HAS SOPS 56677 HAS SOUS 38441 HAS SOUPS 38441 WITH SCORE 38497.677
AT ITER 8832 NEW BEST:: SOT 190978 SOS 56562 HAS SOPS 56562 HAS SOUS 38311 HAS SOUPS 38311 WITH SCORE 38367.562
AT ITER 8969 NEW BEST:: SOT 190978 SOS 56531 HAS SOPS 56531 HAS SOUS 38280 HAS SOUPS 38280 WITH SCORE 38336.531
AT ITER 8972 NEW BEST:: SOT 190947 SOS 56500 HAS SOPS 56500 HAS SOUS 38269 HAS SOUPS 38269 WITH SCORE 38325.5
AT ITER 8985 NEW BEST:: SOT 190919 SOS 56444 HAS SOPS 56444 HAS SOUS 38241 HAS SOUPS 38241 WITH SCORE 38297.444
AT ITER 8992 NEW BEST:: SOT 190716 SOS 56089 HAS SOPS 56089 HAS SOUS 38029 HAS SOUPS 38029 WITH SCORE 38085.089
AT ITER 9029 NEW BEST:: SOT 190716 SOS 56089 HAS SOPS 56089 HAS SOUS 38025 HAS SOUPS 38025 WITH SCORE 38081.089
AT ITER 9045 NEW BEST:: SOT 190756 SOS 56126 HAS SOPS 56126 HAS SOUS 38020 HAS SOUPS 38020 WITH SCORE 38076.126
AT ITER 9049 NEW BEST:: SOT 190414 SOS 55784 HAS SOPS 55784 HAS SOUS 37926 HAS SOUPS 37926 WITH SCORE 37981.784
AT ITER 9070 NEW BEST:: SOT 190373 SOS 55794 HAS SOPS 55794 HAS SOUS 37912 HAS SOUPS 37912 WITH SCORE 37967.794
AT ITER 9084 NEW BEST:: SOT 190360 SOS 55768 HAS SOPS 55768 HAS SOUS 37903 HAS SOUPS 37903 WITH SCORE 37958.768
AT ITER 9106 NEW BEST:: SOT 190360 SOS 55758 HAS SOPS 55758 HAS SOUS 37893 HAS SOUPS 37893 WITH SCORE 37948.758
AT ITER 9149 NEW BEST:: SOT 190344 SOS 55726 HAS SOPS 55726 HAS SOUS 37826 HAS SOUPS 37826 WITH SCORE 37881.726
AT ITER 9209 NEW BEST:: SOT 190284 SOS 55626 HAS SOPS 55626 HAS SOUS 37726 HAS SOUPS 37726 WITH SCORE 37781.626
AT ITER 9212 NEW BEST:: SOT 190257 SOS 55599 HAS SOPS 55599 HAS SOUS 37699 HAS SOUPS 37699 WITH SCORE 37754.599
AT ITER 9279 NEW BEST:: SOT 190254 SOS 55595 HAS SOPS 55595 HAS SOUS 37695 HAS SOUPS 37695 WITH SCORE 37750.595
AT ITER 9312 NEW BEST:: SOT 190256 SOS 55546 HAS SOPS 55546 HAS SOUS 37665 HAS SOUPS 37665 WITH SCORE 37720.546
AT ITER 9335 NEW BEST:: SOT 190225 SOS 55515 HAS SOPS 55515 HAS SOUS 37634 HAS SOUPS 37634 WITH SCORE 37689.515
AT ITER 9393 NEW BEST:: SOT 190188 SOS 55502 HAS SOPS 55502 HAS SOUS 37621 HAS SOUPS 37621 WITH SCORE 37676.502
AT ITER 9401 NEW BEST:: SOT 190177 SOS 55491 HAS SOPS 55491 HAS SOUS 37610 HAS SOUPS 37610 WITH SCORE 37665.491
AT ITER 9441 NEW BEST:: SOT 190177 SOS 55489 HAS SOPS 55489 HAS SOUS 37608 HAS SOUPS 37608 WITH SCORE 37663.489
AT ITER 9444 NEW BEST:: SOT 190071 SOS 55376 HAS SOPS 55376 HAS SOUS 37596 HAS SOUPS 37596 WITH SCORE 37651.376
AT ITER 9478 NEW BEST:: SOT 190059 SOS 55364 HAS SOPS 55364 HAS SOUS 37584 HAS SOUPS 37584 WITH SCORE 37639.364
AT ITER 9487 NEW BEST:: SOT 190047 SOS 55340 HAS SOPS 55340 HAS SOUS 37560 HAS SOUPS 37560 WITH SCORE 37615.34
AT ITER 9517 NEW BEST:: SOT 190014 SOS 55274 HAS SOPS 55274 HAS SOUS 37547 HAS SOUPS 37547 WITH SCORE 37602.274
AT ITER 9565 NEW BEST:: SOT 189983 SOS 55223 HAS SOPS 55223 HAS SOUS 37496 HAS SOUPS 37496 WITH SCORE 37551.223
AT ITER 9581 NEW BEST:: SOT 189984 SOS 55225 HAS SOPS 55225 HAS SOUS 37494 HAS SOUPS 37494 WITH SCORE 37549.225
AT ITER 9582 NEW BEST:: SOT 190056 SOS 55316 HAS SOPS 55316 HAS SOUS 37492 HAS SOUPS 37492 WITH SCORE 37547.316
AT ITER 9587 NEW BEST:: SOT 190009 SOS 55262 HAS SOPS 55262 HAS SOUS 37461 HAS SOUPS 37461 WITH SCORE 37516.262
AT ITER 9736 NEW BEST:: SOT 190003 SOS 55237 HAS SOPS 55237 HAS SOUS 37436 HAS SOUPS 37436 WITH SCORE 37491.237
AT ITER 9791 NEW BEST:: SOT 189937 SOS 55193 HAS SOPS 55193 HAS SOUS 37414 HAS SOUPS 37414 WITH SCORE 37469.193
AT ITER 9826 NEW BEST:: SOT 189905 SOS 55148 HAS SOPS 55148 HAS SOUS 37353 HAS SOUPS 37353 WITH SCORE 37408.148
AT ITER 9851 NEW BEST:: SOT 189917 SOS 55138 HAS SOPS 55138 HAS SOUS 37343 HAS SOUPS 37343 WITH SCORE 37398.138
AT ITER 9857 NEW BEST:: SOT 189896 SOS 55075 HAS SOPS 55075 HAS SOUS 37301 HAS SOUPS 37301 WITH SCORE 37356.075
AT ITER 9859 NEW BEST:: SOT 189911 SOS 55090 HAS SOPS 55090 HAS SOUS 37291 HAS SOUPS 37291 WITH SCORE 37346.09
AT ITER 9889 NEW BEST:: SOT 189901 SOS 55080 HAS SOPS 55080 HAS SOUS 37271 HAS SOUPS 37271 WITH SCORE 37326.08
AT ITER 9909 NEW BEST:: SOT 189902 SOS 55082 HAS SOPS 55082 HAS SOUS 37266 HAS SOUPS 37266 WITH SCORE 37321.082
AT ITER 9919 NEW BEST:: SOT 189904 SOS 55086 HAS SOPS 55086 HAS SOUS 37255 HAS SOUPS 37255 WITH SCORE 37310.086
AT ITER 9930 NEW BEST:: SOT 189869 SOS 55051 HAS SOPS 55051 HAS SOUS 37255 HAS SOUPS 37255 WITH SCORE 37310.051
AT ITER 9931 NEW BEST:: SOT 189830 SOS 54988 HAS SOPS 54988 HAS SOUS 37216 HAS SOUPS 37216 WITH SCORE 37270.988
AT ITER 9951 NEW BEST:: SOT 189830 SOS 54983 HAS SOPS 54983 HAS SOUS 37211 HAS SOUPS 37211 WITH SCORE 37265.983
AT ITER 9977 NEW BEST:: SOT 189804 SOS 54957 HAS SOPS 54957 HAS SOUS 37185 HAS SOUPS 37185 WITH SCORE 37239.957

BK_TIME_CONFINEMENT_REACHED

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

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="BusinessProcesses-PT-14"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-14, 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 r018-oct2-158897680200560"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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