Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469500480.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldPPPs-PT-010A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469500480
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 252K
-rw-r--r-- 1 mcc users 2.9K May 14 01:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K May 14 01:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 18:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 18:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.6K May 13 13:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 13:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 08:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 08:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 88K May 12 20:42 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 1590442946164

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

Filename model.pnml
Petri model created: 313 places, 263 transitions, 1006 arcs.
AT ITER 0 NEW BEST:: SOT 53213 SOS 37253 HAS SOPS 37253 HAS SOUS 28703 HAS SOUPS 28703 WITH SCORE 28740.253
AT ITER 4 NEW BEST:: SOT 53171 SOS 37043 HAS SOPS 37043 HAS SOUS 28702 HAS SOUPS 28702 WITH SCORE 28739.043
AT ITER 11 NEW BEST:: SOT 53039 SOS 37037 HAS SOPS 37037 HAS SOUS 28696 HAS SOUPS 28696 WITH SCORE 28733.037
AT ITER 18 NEW BEST:: SOT 53020 SOS 36942 HAS SOPS 36942 HAS SOUS 28696 HAS SOUPS 28696 WITH SCORE 28732.942
AT ITER 30 NEW BEST:: SOT 52930 SOS 36851 HAS SOPS 36851 HAS SOUS 28605 HAS SOUPS 28605 WITH SCORE 28641.851
AT ITER 31 NEW BEST:: SOT 52930 SOS 36850 HAS SOPS 36850 HAS SOUS 28604 HAS SOUPS 28604 WITH SCORE 28640.85
AT ITER 33 NEW BEST:: SOT 52925 SOS 36845 HAS SOPS 36845 HAS SOUS 28599 HAS SOUPS 28599 WITH SCORE 28635.845
AT ITER 54 NEW BEST:: SOT 52862 SOS 36782 HAS SOPS 36782 HAS SOUS 28536 HAS SOUPS 28536 WITH SCORE 28572.782
AT ITER 59 NEW BEST:: SOT 52815 SOS 36724 HAS SOPS 36724 HAS SOUS 28478 HAS SOUPS 28478 WITH SCORE 28514.724
AT ITER 64 NEW BEST:: SOT 52806 SOS 36679 HAS SOPS 36679 HAS SOUS 28477 HAS SOUPS 28477 WITH SCORE 28513.679
AT ITER 69 NEW BEST:: SOT 52797 SOS 36658 HAS SOPS 36658 HAS SOUS 28449 HAS SOUPS 28449 WITH SCORE 28485.658
AT ITER 79 NEW BEST:: SOT 52741 SOS 36605 HAS SOPS 36605 HAS SOUS 28395 HAS SOUPS 28395 WITH SCORE 28431.605
AT ITER 82 NEW BEST:: SOT 52657 SOS 36519 HAS SOPS 36519 HAS SOUS 28309 HAS SOUPS 28309 WITH SCORE 28345.519
AT ITER 91 NEW BEST:: SOT 52657 SOS 36441 HAS SOPS 36441 HAS SOUS 28297 HAS SOUPS 28297 WITH SCORE 28333.441
AT ITER 106 NEW BEST:: SOT 52653 SOS 36437 HAS SOPS 36437 HAS SOUS 28293 HAS SOUPS 28293 WITH SCORE 28329.437
AT ITER 111 NEW BEST:: SOT 52599 SOS 36369 HAS SOPS 36369 HAS SOUS 28225 HAS SOUPS 28225 WITH SCORE 28261.369
AT ITER 119 NEW BEST:: SOT 52843 SOS 35994 HAS SOPS 35994 HAS SOUS 28197 HAS SOUPS 28197 WITH SCORE 28232.994
AT ITER 124 NEW BEST:: SOT 52812 SOS 35970 HAS SOPS 35970 HAS SOUS 28173 HAS SOUPS 28173 WITH SCORE 28208.97
AT ITER 130 NEW BEST:: SOT 52829 SOS 35831 HAS SOPS 35831 HAS SOUS 28052 HAS SOUPS 28052 WITH SCORE 28087.831
AT ITER 132 NEW BEST:: SOT 52751 SOS 35765 HAS SOPS 35765 HAS SOUS 27986 HAS SOUPS 27986 WITH SCORE 28021.765
AT ITER 138 NEW BEST:: SOT 52633 SOS 35690 HAS SOPS 35690 HAS SOUS 27942 HAS SOUPS 27942 WITH SCORE 27977.69
AT ITER 150 NEW BEST:: SOT 52618 SOS 35666 HAS SOPS 35666 HAS SOUS 27918 HAS SOUPS 27918 WITH SCORE 27953.666
AT ITER 158 NEW BEST:: SOT 52626 SOS 35634 HAS SOPS 35634 HAS SOUS 27893 HAS SOUPS 27893 WITH SCORE 27928.634
AT ITER 167 NEW BEST:: SOT 52466 SOS 35384 HAS SOPS 35384 HAS SOUS 27493 HAS SOUPS 27493 WITH SCORE 27528.384
AT ITER 171 NEW BEST:: SOT 52375 SOS 35255 HAS SOPS 35255 HAS SOUS 27364 HAS SOUPS 27364 WITH SCORE 27399.255
AT ITER 190 NEW BEST:: SOT 52336 SOS 35216 HAS SOPS 35216 HAS SOUS 27325 HAS SOUPS 27325 WITH SCORE 27360.216
AT ITER 204 NEW BEST:: SOT 52151 SOS 34963 HAS SOPS 34963 HAS SOUS 27042 HAS SOUPS 27042 WITH SCORE 27076.963
AT ITER 211 NEW BEST:: SOT 52170 SOS 34680 HAS SOPS 34680 HAS SOUS 27040 HAS SOUPS 27040 WITH SCORE 27074.68
AT ITER 223 NEW BEST:: SOT 52147 SOS 34664 HAS SOPS 34664 HAS SOUS 27030 HAS SOUPS 27030 WITH SCORE 27064.664
AT ITER 231 NEW BEST:: SOT 52139 SOS 34652 HAS SOPS 34652 HAS SOUS 27018 HAS SOUPS 27018 WITH SCORE 27052.652
AT ITER 232 NEW BEST:: SOT 52082 SOS 34595 HAS SOPS 34595 HAS SOUS 26961 HAS SOUPS 26961 WITH SCORE 26995.595
AT ITER 233 NEW BEST:: SOT 51968 SOS 34479 HAS SOPS 34479 HAS SOUS 26845 HAS SOUPS 26845 WITH SCORE 26879.479
AT ITER 235 NEW BEST:: SOT 51968 SOS 34469 HAS SOPS 34469 HAS SOUS 26835 HAS SOUPS 26835 WITH SCORE 26869.469
AT ITER 245 NEW BEST:: SOT 51967 SOS 34468 HAS SOPS 34468 HAS SOUS 26834 HAS SOUPS 26834 WITH SCORE 26868.468
AT ITER 249 NEW BEST:: SOT 51907 SOS 34408 HAS SOPS 34408 HAS SOUS 26773 HAS SOUPS 26773 WITH SCORE 26807.408
AT ITER 255 NEW BEST:: SOT 51878 SOS 34379 HAS SOPS 34379 HAS SOUS 26744 HAS SOUPS 26744 WITH SCORE 26778.379
AT ITER 264 NEW BEST:: SOT 51836 SOS 34337 HAS SOPS 34337 HAS SOUS 26702 HAS SOUPS 26702 WITH SCORE 26736.337
AT ITER 277 NEW BEST:: SOT 51833 SOS 34261 HAS SOPS 34261 HAS SOUS 26626 HAS SOUPS 26626 WITH SCORE 26660.261
AT ITER 298 NEW BEST:: SOT 51833 SOS 34259 HAS SOPS 34259 HAS SOUS 26623 HAS SOUPS 26623 WITH SCORE 26657.259
AT ITER 303 NEW BEST:: SOT 51572 SOS 34073 HAS SOPS 34073 HAS SOUS 26440 HAS SOUPS 26440 WITH SCORE 26474.073
AT ITER 305 NEW BEST:: SOT 51565 SOS 34066 HAS SOPS 34066 HAS SOUS 26433 HAS SOUPS 26433 WITH SCORE 26467.066
AT ITER 315 NEW BEST:: SOT 51565 SOS 33970 HAS SOPS 33970 HAS SOUS 26433 HAS SOUPS 26433 WITH SCORE 26466.97
AT ITER 318 NEW BEST:: SOT 51681 SOS 34100 HAS SOPS 34100 HAS SOUS 26398 HAS SOUPS 26398 WITH SCORE 26432.1
AT ITER 328 NEW BEST:: SOT 51628 SOS 33379 HAS SOPS 33379 HAS SOUS 26065 HAS SOUPS 26065 WITH SCORE 26098.379
AT ITER 333 NEW BEST:: SOT 51628 SOS 33378 HAS SOPS 33378 HAS SOUS 26064 HAS SOUPS 26064 WITH SCORE 26097.378
AT ITER 338 NEW BEST:: SOT 51627 SOS 33375 HAS SOPS 33375 HAS SOUS 26063 HAS SOUPS 26063 WITH SCORE 26096.375
AT ITER 344 NEW BEST:: SOT 51627 SOS 33311 HAS SOPS 33311 HAS SOUS 26061 HAS SOUPS 26061 WITH SCORE 26094.311
AT ITER 354 NEW BEST:: SOT 51598 SOS 33284 HAS SOPS 33284 HAS SOUS 26034 HAS SOUPS 26034 WITH SCORE 26067.284
AT ITER 367 NEW BEST:: SOT 51598 SOS 33222 HAS SOPS 33222 HAS SOUS 25972 HAS SOUPS 25972 WITH SCORE 26005.222
AT ITER 368 NEW BEST:: SOT 51536 SOS 33179 HAS SOPS 33179 HAS SOUS 25920 HAS SOUPS 25920 WITH SCORE 25953.179
AT ITER 372 NEW BEST:: SOT 51466 SOS 33109 HAS SOPS 33109 HAS SOUS 25850 HAS SOUPS 25850 WITH SCORE 25883.109
AT ITER 398 NEW BEST:: SOT 51417 SOS 33019 HAS SOPS 33019 HAS SOUS 25760 HAS SOUPS 25760 WITH SCORE 25793.019
AT ITER 402 NEW BEST:: SOT 51391 SOS 32863 HAS SOPS 32863 HAS SOUS 25708 HAS SOUPS 25708 WITH SCORE 25740.863
AT ITER 408 NEW BEST:: SOT 51362 SOS 32834 HAS SOPS 32834 HAS SOUS 25678 HAS SOUPS 25678 WITH SCORE 25710.834
AT ITER 409 NEW BEST:: SOT 51335 SOS 32799 HAS SOPS 32799 HAS SOUS 25631 HAS SOUPS 25631 WITH SCORE 25663.799
AT ITER 410 NEW BEST:: SOT 51037 SOS 32501 HAS SOPS 32501 HAS SOUS 25332 HAS SOUPS 25332 WITH SCORE 25364.501
AT ITER 414 NEW BEST:: SOT 51032 SOS 32480 HAS SOPS 32480 HAS SOUS 25319 HAS SOUPS 25319 WITH SCORE 25351.48
AT ITER 420 NEW BEST:: SOT 51058 SOS 32487 HAS SOPS 32487 HAS SOUS 25312 HAS SOUPS 25312 WITH SCORE 25344.487
AT ITER 439 NEW BEST:: SOT 51049 SOS 32478 HAS SOPS 32478 HAS SOUS 25303 HAS SOUPS 25303 WITH SCORE 25335.478
AT ITER 465 NEW BEST:: SOT 51049 SOS 32478 HAS SOPS 32478 HAS SOUS 25281 HAS SOUPS 25281 WITH SCORE 25313.478
AT ITER 466 NEW BEST:: SOT 51048 SOS 32321 HAS SOPS 32321 HAS SOUS 25275 HAS SOUPS 25275 WITH SCORE 25307.321
AT ITER 470 NEW BEST:: SOT 50957 SOS 32207 HAS SOPS 32207 HAS SOUS 25161 HAS SOUPS 25161 WITH SCORE 25193.207
AT ITER 480 NEW BEST:: SOT 50904 SOS 32154 HAS SOPS 32154 HAS SOUS 25108 HAS SOUPS 25108 WITH SCORE 25140.154
AT ITER 482 NEW BEST:: SOT 50937 SOS 32036 HAS SOPS 32036 HAS SOUS 24990 HAS SOUPS 24990 WITH SCORE 25022.036
AT ITER 489 NEW BEST:: SOT 51058 SOS 31628 HAS SOPS 31628 HAS SOUS 24949 HAS SOUPS 24949 WITH SCORE 24980.628
AT ITER 492 NEW BEST:: SOT 51070 SOS 31640 HAS SOPS 31640 HAS SOUS 24904 HAS SOUPS 24904 WITH SCORE 24935.64
AT ITER 494 NEW BEST:: SOT 51233 SOS 31791 HAS SOPS 31791 HAS SOUS 24882 HAS SOUPS 24882 WITH SCORE 24913.791
AT ITER 495 NEW BEST:: SOT 51186 SOS 31744 HAS SOPS 31744 HAS SOUS 24835 HAS SOUPS 24835 WITH SCORE 24866.744
AT ITER 499 NEW BEST:: SOT 51178 SOS 31736 HAS SOPS 31736 HAS SOUS 24823 HAS SOUPS 24823 WITH SCORE 24854.736
AT ITER 510 NEW BEST:: SOT 51063 SOS 31355 HAS SOPS 31355 HAS SOUS 24780 HAS SOUPS 24780 WITH SCORE 24811.355
AT ITER 512 NEW BEST:: SOT 51063 SOS 31299 HAS SOPS 31299 HAS SOUS 24778 HAS SOUPS 24778 WITH SCORE 24809.299
AT ITER 514 NEW BEST:: SOT 51007 SOS 31248 HAS SOPS 31248 HAS SOUS 24744 HAS SOUPS 24744 WITH SCORE 24775.248
AT ITER 515 NEW BEST:: SOT 50984 SOS 31082 HAS SOPS 31082 HAS SOUS 24705 HAS SOUPS 24705 WITH SCORE 24736.082
AT ITER 516 NEW BEST:: SOT 50918 SOS 30799 HAS SOPS 30799 HAS SOUS 24466 HAS SOUPS 24466 WITH SCORE 24496.799
AT ITER 520 NEW BEST:: SOT 50912 SOS 30798 HAS SOPS 30798 HAS SOUS 24465 HAS SOUPS 24465 WITH SCORE 24495.798
AT ITER 521 NEW BEST:: SOT 50867 SOS 30687 HAS SOPS 30687 HAS SOUS 24444 HAS SOUPS 24444 WITH SCORE 24474.687
AT ITER 536 NEW BEST:: SOT 50868 SOS 30532 HAS SOPS 30532 HAS SOUS 24444 HAS SOUPS 24444 WITH SCORE 24474.532
AT ITER 539 NEW BEST:: SOT 50870 SOS 30534 HAS SOPS 30534 HAS SOUS 24443 HAS SOUPS 24443 WITH SCORE 24473.534
AT ITER 551 NEW BEST:: SOT 50849 SOS 30514 HAS SOPS 30514 HAS SOUS 24423 HAS SOUPS 24423 WITH SCORE 24453.514
AT ITER 560 NEW BEST:: SOT 50849 SOS 30468 HAS SOPS 30468 HAS SOUS 24423 HAS SOUPS 24423 WITH SCORE 24453.468
AT ITER 566 NEW BEST:: SOT 50809 SOS 30428 HAS SOPS 30428 HAS SOUS 24383 HAS SOUPS 24383 WITH SCORE 24413.428
AT ITER 571 NEW BEST:: SOT 50667 SOS 30361 HAS SOPS 30361 HAS SOUS 24316 HAS SOUPS 24316 WITH SCORE 24346.361
AT ITER 585 NEW BEST:: SOT 50649 SOS 30152 HAS SOPS 30152 HAS SOUS 24015 HAS SOUPS 24015 WITH SCORE 24045.152
AT ITER 587 NEW BEST:: SOT 50647 SOS 30150 HAS SOPS 30150 HAS SOUS 24013 HAS SOUPS 24013 WITH SCORE 24043.15
AT ITER 598 NEW BEST:: SOT 50611 SOS 30114 HAS SOPS 30114 HAS SOUS 23977 HAS SOUPS 23977 WITH SCORE 24007.114
AT ITER 623 NEW BEST:: SOT 50419 SOS 29973 HAS SOPS 29973 HAS SOUS 23809 HAS SOUPS 23809 WITH SCORE 23838.973
AT ITER 627 NEW BEST:: SOT 50393 SOS 29817 HAS SOPS 29817 HAS SOUS 23757 HAS SOUPS 23757 WITH SCORE 23786.817
AT ITER 631 NEW BEST:: SOT 50393 SOS 29748 HAS SOPS 29748 HAS SOUS 23684 HAS SOUPS 23684 WITH SCORE 23713.748
AT ITER 636 NEW BEST:: SOT 50393 SOS 29737 HAS SOPS 29737 HAS SOUS 23673 HAS SOUPS 23673 WITH SCORE 23702.737
AT ITER 637 NEW BEST:: SOT 50330 SOS 29660 HAS SOPS 29660 HAS SOUS 23596 HAS SOUPS 23596 WITH SCORE 23625.66
AT ITER 648 NEW BEST:: SOT 50382 SOS 29600 HAS SOPS 29600 HAS SOUS 23584 HAS SOUPS 23584 WITH SCORE 23613.6
AT ITER 663 NEW BEST:: SOT 50380 SOS 29275 HAS SOPS 29275 HAS SOUS 23556 HAS SOUPS 23556 WITH SCORE 23585.275
AT ITER 667 NEW BEST:: SOT 50270 SOS 29198 HAS SOPS 29198 HAS SOUS 23492 HAS SOUPS 23492 WITH SCORE 23521.198
AT ITER 669 NEW BEST:: SOT 50172 SOS 28904 HAS SOPS 28904 HAS SOUS 23492 HAS SOUPS 23492 WITH SCORE 23520.904
AT ITER 675 NEW BEST:: SOT 50198 SOS 28730 HAS SOPS 28730 HAS SOUS 23455 HAS SOUPS 23455 WITH SCORE 23483.73
AT ITER 682 NEW BEST:: SOT 50080 SOS 28612 HAS SOPS 28612 HAS SOUS 23337 HAS SOUPS 23337 WITH SCORE 23365.612
AT ITER 683 NEW BEST:: SOT 50037 SOS 28544 HAS SOPS 28544 HAS SOUS 23258 HAS SOUPS 23258 WITH SCORE 23286.544
AT ITER 686 NEW BEST:: SOT 50022 SOS 28530 HAS SOPS 28530 HAS SOUS 23244 HAS SOUPS 23244 WITH SCORE 23272.53
AT ITER 709 NEW BEST:: SOT 50054 SOS 28520 HAS SOPS 28520 HAS SOUS 23234 HAS SOUPS 23234 WITH SCORE 23262.52
AT ITER 719 NEW BEST:: SOT 50054 SOS 28225 HAS SOPS 28225 HAS SOUS 23215 HAS SOUPS 23215 WITH SCORE 23243.225
AT ITER 721 NEW BEST:: SOT 50054 SOS 28131 HAS SOPS 28131 HAS SOUS 23170 HAS SOUPS 23170 WITH SCORE 23198.131
AT ITER 723 NEW BEST:: SOT 50027 SOS 28099 HAS SOPS 28099 HAS SOUS 23135 HAS SOUPS 23135 WITH SCORE 23163.099
AT ITER 742 NEW BEST:: SOT 50027 SOS 28097 HAS SOPS 28097 HAS SOUS 23133 HAS SOUPS 23133 WITH SCORE 23161.097
AT ITER 753 NEW BEST:: SOT 50024 SOS 28094 HAS SOPS 28094 HAS SOUS 23130 HAS SOUPS 23130 WITH SCORE 23158.094
AT ITER 776 NEW BEST:: SOT 50013 SOS 28082 HAS SOPS 28082 HAS SOUS 23118 HAS SOUPS 23118 WITH SCORE 23146.082
AT ITER 785 NEW BEST:: SOT 49984 SOS 27901 HAS SOPS 27901 HAS SOUS 23111 HAS SOUPS 23111 WITH SCORE 23138.901
AT ITER 794 NEW BEST:: SOT 49980 SOS 27897 HAS SOPS 27897 HAS SOUS 23107 HAS SOUPS 23107 WITH SCORE 23134.897
AT ITER 802 NEW BEST:: SOT 49983 SOS 27902 HAS SOPS 27902 HAS SOUS 23103 HAS SOUPS 23103 WITH SCORE 23130.902
AT ITER 820 NEW BEST:: SOT 49943 SOS 27862 HAS SOPS 27862 HAS SOUS 23063 HAS SOUPS 23063 WITH SCORE 23090.862
AT ITER 821 NEW BEST:: SOT 49925 SOS 27687 HAS SOPS 27687 HAS SOUS 23037 HAS SOUPS 23037 WITH SCORE 23064.687
AT ITER 829 NEW BEST:: SOT 49912 SOS 27674 HAS SOPS 27674 HAS SOUS 23024 HAS SOUPS 23024 WITH SCORE 23051.674
AT ITER 832 NEW BEST:: SOT 50094 SOS 27741 HAS SOPS 27741 HAS SOUS 22931 HAS SOUPS 22931 WITH SCORE 22958.741
AT ITER 834 NEW BEST:: SOT 50036 SOS 27683 HAS SOPS 27683 HAS SOUS 22873 HAS SOUPS 22873 WITH SCORE 22900.683
AT ITER 844 NEW BEST:: SOT 49979 SOS 27572 HAS SOPS 27572 HAS SOUS 22770 HAS SOUPS 22770 WITH SCORE 22797.572
AT ITER 845 NEW BEST:: SOT 49980 SOS 27573 HAS SOPS 27573 HAS SOUS 22765 HAS SOUPS 22765 WITH SCORE 22792.573
AT ITER 859 NEW BEST:: SOT 50002 SOS 27531 HAS SOPS 27531 HAS SOUS 22741 HAS SOUPS 22741 WITH SCORE 22768.531
AT ITER 868 NEW BEST:: SOT 49992 SOS 27462 HAS SOPS 27462 HAS SOUS 22731 HAS SOUPS 22731 WITH SCORE 22758.462
AT ITER 879 NEW BEST:: SOT 49984 SOS 27448 HAS SOPS 27448 HAS SOUS 22721 HAS SOUPS 22721 WITH SCORE 22748.448
AT ITER 882 NEW BEST:: SOT 49999 SOS 27463 HAS SOPS 27463 HAS SOUS 22719 HAS SOUPS 22719 WITH SCORE 22746.463
AT ITER 883 NEW BEST:: SOT 49980 SOS 27418 HAS SOPS 27418 HAS SOUS 22676 HAS SOUPS 22676 WITH SCORE 22703.418
AT ITER 884 NEW BEST:: SOT 49962 SOS 27398 HAS SOPS 27398 HAS SOUS 22656 HAS SOUPS 22656 WITH SCORE 22683.398
AT ITER 889 NEW BEST:: SOT 49909 SOS 26962 HAS SOPS 26962 HAS SOUS 22516 HAS SOUPS 22516 WITH SCORE 22542.962
AT ITER 897 NEW BEST:: SOT 49875 SOS 26953 HAS SOPS 26953 HAS SOUS 22515 HAS SOUPS 22515 WITH SCORE 22541.953
AT ITER 906 NEW BEST:: SOT 49831 SOS 27022 HAS SOPS 27022 HAS SOUS 22493 HAS SOUPS 22493 WITH SCORE 22520.022
AT ITER 910 NEW BEST:: SOT 49830 SOS 26997 HAS SOPS 26997 HAS SOUS 22476 HAS SOUPS 22476 WITH SCORE 22502.997
AT ITER 921 NEW BEST:: SOT 49830 SOS 26964 HAS SOPS 26964 HAS SOUS 22410 HAS SOUPS 22410 WITH SCORE 22436.964
AT ITER 928 NEW BEST:: SOT 49775 SOS 26845 HAS SOPS 26845 HAS SOUS 22189 HAS SOUPS 22189 WITH SCORE 22215.845
AT ITER 929 NEW BEST:: SOT 49775 SOS 26843 HAS SOPS 26843 HAS SOUS 22187 HAS SOUPS 22187 WITH SCORE 22213.843
AT ITER 933 NEW BEST:: SOT 49759 SOS 26827 HAS SOPS 26827 HAS SOUS 22171 HAS SOUPS 22171 WITH SCORE 22197.827
AT ITER 938 NEW BEST:: SOT 49741 SOS 26474 HAS SOPS 26474 HAS SOUS 21941 HAS SOUPS 21941 WITH SCORE 21967.474
AT ITER 943 NEW BEST:: SOT 49689 SOS 26422 HAS SOPS 26422 HAS SOUS 21889 HAS SOUPS 21889 WITH SCORE 21915.422
AT ITER 951 NEW BEST:: SOT 49672 SOS 26383 HAS SOPS 26383 HAS SOUS 21850 HAS SOUPS 21850 WITH SCORE 21876.383
AT ITER 958 NEW BEST:: SOT 49673 SOS 26378 HAS SOPS 26378 HAS SOUS 21837 HAS SOUPS 21837 WITH SCORE 21863.378
AT ITER 959 NEW BEST:: SOT 49673 SOS 26357 HAS SOPS 26357 HAS SOUS 21833 HAS SOUPS 21833 WITH SCORE 21859.357
AT ITER 965 NEW BEST:: SOT 49560 SOS 26244 HAS SOPS 26244 HAS SOUS 21720 HAS SOUPS 21720 WITH SCORE 21746.244
AT ITER 969 NEW BEST:: SOT 49538 SOS 26217 HAS SOPS 26217 HAS SOUS 21688 HAS SOUPS 21688 WITH SCORE 21714.217
AT ITER 974 NEW BEST:: SOT 49502 SOS 26172 HAS SOPS 26172 HAS SOUS 21643 HAS SOUPS 21643 WITH SCORE 21669.172
AT ITER 983 NEW BEST:: SOT 49461 SOS 25979 HAS SOPS 25979 HAS SOUS 21591 HAS SOUPS 21591 WITH SCORE 21616.979
AT ITER 1000 NEW BEST:: SOT 49504 SOS 25879 HAS SOPS 25879 HAS SOUS 21573 HAS SOUPS 21573 WITH SCORE 21598.879
AT ITER 1010 NEW BEST:: SOT 49504 SOS 25850 HAS SOPS 25850 HAS SOUS 21573 HAS SOUPS 21573 WITH SCORE 21598.85
AT ITER 1022 NEW BEST:: SOT 49504 SOS 25851 HAS SOPS 25851 HAS SOUS 21572 HAS SOUPS 21572 WITH SCORE 21597.851
AT ITER 1023 NEW BEST:: SOT 49442 SOS 25777 HAS SOPS 25777 HAS SOUS 21498 HAS SOUPS 21498 WITH SCORE 21523.777
AT ITER 1025 NEW BEST:: SOT 49463 SOS 25798 HAS SOPS 25798 HAS SOUS 21477 HAS SOUPS 21477 WITH SCORE 21502.798
AT ITER 1040 NEW BEST:: SOT 49463 SOS 25794 HAS SOPS 25794 HAS SOUS 21463 HAS SOUPS 21463 WITH SCORE 21488.794
AT ITER 1056 NEW BEST:: SOT 49455 SOS 25767 HAS SOPS 25767 HAS SOUS 21443 HAS SOUPS 21443 WITH SCORE 21468.767
AT ITER 1064 NEW BEST:: SOT 49464 SOS 25766 HAS SOPS 25766 HAS SOUS 21442 HAS SOUPS 21442 WITH SCORE 21467.766
AT ITER 1071 NEW BEST:: SOT 49454 SOS 25756 HAS SOPS 25756 HAS SOUS 21442 HAS SOUPS 21442 WITH SCORE 21467.756
AT ITER 1074 NEW BEST:: SOT 49352 SOS 25725 HAS SOPS 25725 HAS SOUS 21395 HAS SOUPS 21395 WITH SCORE 21420.725
AT ITER 1076 NEW BEST:: SOT 49244 SOS 25617 HAS SOPS 25617 HAS SOUS 21287 HAS SOUPS 21287 WITH SCORE 21312.617
AT ITER 1082 NEW BEST:: SOT 49253 SOS 25616 HAS SOPS 25616 HAS SOUS 21286 HAS SOUPS 21286 WITH SCORE 21311.616
AT ITER 1096 NEW BEST:: SOT 49249 SOS 25614 HAS SOPS 25614 HAS SOUS 21284 HAS SOUPS 21284 WITH SCORE 21309.614
AT ITER 1103 NEW BEST:: SOT 49256 SOS 25612 HAS SOPS 25612 HAS SOUS 21282 HAS SOUPS 21282 WITH SCORE 21307.612
AT ITER 1110 NEW BEST:: SOT 49174 SOS 25541 HAS SOPS 25541 HAS SOUS 21167 HAS SOUPS 21167 WITH SCORE 21192.541
AT ITER 1124 NEW BEST:: SOT 49215 SOS 25554 HAS SOPS 25554 HAS SOUS 21140 HAS SOUPS 21140 WITH SCORE 21165.554
AT ITER 1125 NEW BEST:: SOT 49198 SOS 25537 HAS SOPS 25537 HAS SOUS 21064 HAS SOUPS 21064 WITH SCORE 21089.537
AT ITER 1132 NEW BEST:: SOT 49189 SOS 25528 HAS SOPS 25528 HAS SOUS 21055 HAS SOUPS 21055 WITH SCORE 21080.528
AT ITER 1138 NEW BEST:: SOT 49185 SOS 25524 HAS SOPS 25524 HAS SOUS 21051 HAS SOUPS 21051 WITH SCORE 21076.524
AT ITER 1139 NEW BEST:: SOT 49186 SOS 25525 HAS SOPS 25525 HAS SOUS 21050 HAS SOUPS 21050 WITH SCORE 21075.525
AT ITER 1142 NEW BEST:: SOT 49152 SOS 25465 HAS SOPS 25465 HAS SOUS 20980 HAS SOUPS 20980 WITH SCORE 21005.465
AT ITER 1149 NEW BEST:: SOT 49135 SOS 25427 HAS SOPS 25427 HAS SOUS 20949 HAS SOUPS 20949 WITH SCORE 20974.427
AT ITER 1150 NEW BEST:: SOT 49135 SOS 25416 HAS SOPS 25416 HAS SOUS 20938 HAS SOUPS 20938 WITH SCORE 20963.416
AT ITER 1152 NEW BEST:: SOT 49127 SOS 25413 HAS SOPS 25413 HAS SOUS 20929 HAS SOUPS 20929 WITH SCORE 20954.413
AT ITER 1155 NEW BEST:: SOT 49152 SOS 25206 HAS SOPS 25206 HAS SOUS 20858 HAS SOUPS 20858 WITH SCORE 20883.206
AT ITER 1166 NEW BEST:: SOT 49131 SOS 25081 HAS SOPS 25081 HAS SOUS 20793 HAS SOUPS 20793 WITH SCORE 20818.081
AT ITER 1167 NEW BEST:: SOT 49131 SOS 25079 HAS SOPS 25079 HAS SOUS 20791 HAS SOUPS 20791 WITH SCORE 20816.079
AT ITER 1171 NEW BEST:: SOT 49131 SOS 25240 HAS SOPS 25240 HAS SOUS 20767 HAS SOUPS 20767 WITH SCORE 20792.24
AT ITER 1177 NEW BEST:: SOT 49131 SOS 25090 HAS SOPS 25090 HAS SOUS 20671 HAS SOUPS 20671 WITH SCORE 20696.09
AT ITER 1180 NEW BEST:: SOT 49122 SOS 25079 HAS SOPS 25079 HAS SOUS 20660 HAS SOUPS 20660 WITH SCORE 20685.079
AT ITER 1185 NEW BEST:: SOT 49106 SOS 25047 HAS SOPS 25047 HAS SOUS 20644 HAS SOUPS 20644 WITH SCORE 20669.047
AT ITER 1194 NEW BEST:: SOT 49053 SOS 24994 HAS SOPS 24994 HAS SOUS 20591 HAS SOUPS 20591 WITH SCORE 20615.994
AT ITER 1196 NEW BEST:: SOT 49041 SOS 24970 HAS SOPS 24970 HAS SOUS 20575 HAS SOUPS 20575 WITH SCORE 20599.97
AT ITER 1199 NEW BEST:: SOT 49041 SOS 24956 HAS SOPS 24956 HAS SOUS 20568 HAS SOUPS 20568 WITH SCORE 20592.956
AT ITER 1206 NEW BEST:: SOT 49024 SOS 24948 HAS SOPS 24948 HAS SOUS 20560 HAS SOUPS 20560 WITH SCORE 20584.948
AT ITER 1209 NEW BEST:: SOT 49013 SOS 24981 HAS SOPS 24981 HAS SOUS 20448 HAS SOUPS 20448 WITH SCORE 20472.981
AT ITER 1230 NEW BEST:: SOT 49032 SOS 25000 HAS SOPS 25000 HAS SOUS 20425 HAS SOUPS 20425 WITH SCORE 20450.0
AT ITER 1236 NEW BEST:: SOT 49042 SOS 25009 HAS SOPS 25009 HAS SOUS 20423 HAS SOUPS 20423 WITH SCORE 20448.009
AT ITER 1240 NEW BEST:: SOT 48960 SOS 24922 HAS SOPS 24922 HAS SOUS 20342 HAS SOUPS 20342 WITH SCORE 20366.922
AT ITER 1245 NEW BEST:: SOT 49001 SOS 24707 HAS SOPS 24707 HAS SOUS 20306 HAS SOUPS 20306 WITH SCORE 20330.707
AT ITER 1257 NEW BEST:: SOT 48925 SOS 24596 HAS SOPS 24596 HAS SOUS 20195 HAS SOUPS 20195 WITH SCORE 20219.596
AT ITER 1289 NEW BEST:: SOT 48948 SOS 24673 HAS SOPS 24673 HAS SOUS 20183 HAS SOUPS 20183 WITH SCORE 20207.673
AT ITER 1296 NEW BEST:: SOT 48931 SOS 24598 HAS SOPS 24598 HAS SOUS 20108 HAS SOUPS 20108 WITH SCORE 20132.598
AT ITER 1301 NEW BEST:: SOT 48925 SOS 24586 HAS SOPS 24586 HAS SOUS 20101 HAS SOUPS 20101 WITH SCORE 20125.586
AT ITER 1304 NEW BEST:: SOT 48956 SOS 24568 HAS SOPS 24568 HAS SOUS 20077 HAS SOUPS 20077 WITH SCORE 20101.568
AT ITER 1309 NEW BEST:: SOT 48783 SOS 24395 HAS SOPS 24395 HAS SOUS 19962 HAS SOUPS 19962 WITH SCORE 19986.395
AT ITER 1313 NEW BEST:: SOT 48756 SOS 24350 HAS SOPS 24350 HAS SOUS 19917 HAS SOUPS 19917 WITH SCORE 19941.35
AT ITER 1315 NEW BEST:: SOT 48798 SOS 24427 HAS SOPS 24427 HAS SOUS 19911 HAS SOUPS 19911 WITH SCORE 19935.427
AT ITER 1316 NEW BEST:: SOT 48796 SOS 24425 HAS SOPS 24425 HAS SOUS 19909 HAS SOUPS 19909 WITH SCORE 19933.425
AT ITER 1317 NEW BEST:: SOT 48827 SOS 24435 HAS SOPS 24435 HAS SOUS 19905 HAS SOUPS 19905 WITH SCORE 19929.435
AT ITER 1347 NEW BEST:: SOT 48811 SOS 24364 HAS SOPS 24364 HAS SOUS 19845 HAS SOUPS 19845 WITH SCORE 19869.364
AT ITER 1361 NEW BEST:: SOT 48763 SOS 24255 HAS SOPS 24255 HAS SOUS 19766 HAS SOUPS 19766 WITH SCORE 19790.255
AT ITER 1368 NEW BEST:: SOT 48864 SOS 24022 HAS SOPS 24022 HAS SOUS 19765 HAS SOUPS 19765 WITH SCORE 19789.022
AT ITER 1370 NEW BEST:: SOT 48864 SOS 24015 HAS SOPS 24015 HAS SOUS 19751 HAS SOUPS 19751 WITH SCORE 19775.015
AT ITER 1373 NEW BEST:: SOT 48872 SOS 23859 HAS SOPS 23859 HAS SOUS 19751 HAS SOUPS 19751 WITH SCORE 19774.859
AT ITER 1377 NEW BEST:: SOT 48863 SOS 23857 HAS SOPS 23857 HAS SOUS 19748 HAS SOUPS 19748 WITH SCORE 19771.857
AT ITER 1378 NEW BEST:: SOT 48863 SOS 23857 HAS SOPS 23857 HAS SOUS 19747 HAS SOUPS 19747 WITH SCORE 19770.857
AT ITER 1381 NEW BEST:: SOT 48882 SOS 23858 HAS SOPS 23858 HAS SOUS 19656 HAS SOUPS 19656 WITH SCORE 19679.858
AT ITER 1383 NEW BEST:: SOT 48800 SOS 23583 HAS SOPS 23583 HAS SOUS 19528 HAS SOUPS 19528 WITH SCORE 19551.583
AT ITER 1393 NEW BEST:: SOT 48736 SOS 23499 HAS SOPS 23499 HAS SOUS 19444 HAS SOUPS 19444 WITH SCORE 19467.499
AT ITER 1396 NEW BEST:: SOT 48735 SOS 23498 HAS SOPS 23498 HAS SOUS 19443 HAS SOUPS 19443 WITH SCORE 19466.498
AT ITER 1402 NEW BEST:: SOT 48735 SOS 23480 HAS SOPS 23480 HAS SOUS 19425 HAS SOUPS 19425 WITH SCORE 19448.48
AT ITER 1430 NEW BEST:: SOT 48735 SOS 23426 HAS SOPS 23426 HAS SOUS 19413 HAS SOUPS 19413 WITH SCORE 19436.426
AT ITER 1438 NEW BEST:: SOT 48727 SOS 23418 HAS SOPS 23418 HAS SOUS 19405 HAS SOUPS 19405 WITH SCORE 19428.418
AT ITER 1441 NEW BEST:: SOT 48667 SOS 23298 HAS SOPS 23298 HAS SOUS 19315 HAS SOUPS 19315 WITH SCORE 19338.298
AT ITER 1454 NEW BEST:: SOT 48658 SOS 23284 HAS SOPS 23284 HAS SOUS 19301 HAS SOUPS 19301 WITH SCORE 19324.284
AT ITER 1457 NEW BEST:: SOT 48657 SOS 23249 HAS SOPS 23249 HAS SOUS 19266 HAS SOUPS 19266 WITH SCORE 19289.249
AT ITER 1462 NEW BEST:: SOT 48679 SOS 23085 HAS SOPS 23085 HAS SOUS 19218 HAS SOUPS 19218 WITH SCORE 19241.085
AT ITER 1467 NEW BEST:: SOT 48657 SOS 23014 HAS SOPS 23014 HAS SOUS 19148 HAS SOUPS 19148 WITH SCORE 19171.014
AT ITER 1472 NEW BEST:: SOT 48626 SOS 22944 HAS SOPS 22944 HAS SOUS 19077 HAS SOUPS 19077 WITH SCORE 19099.944
AT ITER 1485 NEW BEST:: SOT 48626 SOS 22943 HAS SOPS 22943 HAS SOUS 19074 HAS SOUPS 19074 WITH SCORE 19096.943
AT ITER 1495 NEW BEST:: SOT 48626 SOS 22921 HAS SOPS 22921 HAS SOUS 19074 HAS SOUPS 19074 WITH SCORE 19096.921
AT ITER 1498 NEW BEST:: SOT 48669 SOS 22905 HAS SOPS 22905 HAS SOUS 19062 HAS SOUPS 19062 WITH SCORE 19084.905
AT ITER 1499 NEW BEST:: SOT 48695 SOS 22906 HAS SOPS 22906 HAS SOUS 19057 HAS SOUPS 19057 WITH SCORE 19079.906
AT ITER 1512 NEW BEST:: SOT 48694 SOS 22900 HAS SOPS 22900 HAS SOUS 19051 HAS SOUPS 19051 WITH SCORE 19073.9
AT ITER 1534 NEW BEST:: SOT 48692 SOS 22898 HAS SOPS 22898 HAS SOUS 19049 HAS SOUPS 19049 WITH SCORE 19071.898
AT ITER 1535 NEW BEST:: SOT 48766 SOS 22381 HAS SOPS 22381 HAS SOUS 18972 HAS SOUPS 18972 WITH SCORE 18994.381
AT ITER 1536 NEW BEST:: SOT 48769 SOS 22384 HAS SOPS 22384 HAS SOUS 18971 HAS SOUPS 18971 WITH SCORE 18993.384
AT ITER 1547 NEW BEST:: SOT 48769 SOS 22282 HAS SOPS 22282 HAS SOUS 18956 HAS SOUPS 18956 WITH SCORE 18978.282
AT ITER 1567 NEW BEST:: SOT 48768 SOS 22232 HAS SOPS 22232 HAS SOUS 18913 HAS SOUPS 18913 WITH SCORE 18935.232
AT ITER 1585 NEW BEST:: SOT 48786 SOS 22161 HAS SOPS 22161 HAS SOUS 18716 HAS SOUPS 18716 WITH SCORE 18738.161
AT ITER 1595 NEW BEST:: SOT 48729 SOS 22092 HAS SOPS 22092 HAS SOUS 18660 HAS SOUPS 18660 WITH SCORE 18682.092
AT ITER 1601 NEW BEST:: SOT 48729 SOS 22086 HAS SOPS 22086 HAS SOUS 18660 HAS SOUPS 18660 WITH SCORE 18682.086
AT ITER 1604 NEW BEST:: SOT 48729 SOS 22013 HAS SOPS 22013 HAS SOUS 18638 HAS SOUPS 18638 WITH SCORE 18660.013
AT ITER 1617 NEW BEST:: SOT 48724 SOS 22008 HAS SOPS 22008 HAS SOUS 18633 HAS SOUPS 18633 WITH SCORE 18655.008
AT ITER 1621 NEW BEST:: SOT 48697 SOS 21954 HAS SOPS 21954 HAS SOUS 18582 HAS SOUPS 18582 WITH SCORE 18603.954
AT ITER 1622 NEW BEST:: SOT 48673 SOS 21930 HAS SOPS 21930 HAS SOUS 18558 HAS SOUPS 18558 WITH SCORE 18579.93
AT ITER 1625 NEW BEST:: SOT 48651 SOS 21890 HAS SOPS 21890 HAS SOUS 18524 HAS SOUPS 18524 WITH SCORE 18545.89
AT ITER 1634 NEW BEST:: SOT 48649 SOS 21880 HAS SOPS 21880 HAS SOUS 18520 HAS SOUPS 18520 WITH SCORE 18541.88
AT ITER 1642 NEW BEST:: SOT 48655 SOS 21904 HAS SOPS 21904 HAS SOUS 18514 HAS SOUPS 18514 WITH SCORE 18535.904
AT ITER 1644 NEW BEST:: SOT 48641 SOS 21897 HAS SOPS 21897 HAS SOUS 18507 HAS SOUPS 18507 WITH SCORE 18528.897
AT ITER 1650 NEW BEST:: SOT 48638 SOS 21879 HAS SOPS 21879 HAS SOUS 18499 HAS SOUPS 18499 WITH SCORE 18520.879
AT ITER 1667 NEW BEST:: SOT 48530 SOS 21771 HAS SOPS 21771 HAS SOUS 18391 HAS SOUPS 18391 WITH SCORE 18412.771
AT ITER 1674 NEW BEST:: SOT 48532 SOS 21755 HAS SOPS 21755 HAS SOUS 18380 HAS SOUPS 18380 WITH SCORE 18401.755
AT ITER 1675 NEW BEST:: SOT 48522 SOS 21745 HAS SOPS 21745 HAS SOUS 18373 HAS SOUPS 18373 WITH SCORE 18394.745
AT ITER 1677 NEW BEST:: SOT 48518 SOS 21741 HAS SOPS 21741 HAS SOUS 18369 HAS SOUPS 18369 WITH SCORE 18390.741
AT ITER 1679 NEW BEST:: SOT 48518 SOS 21731 HAS SOPS 21731 HAS SOUS 18357 HAS SOUPS 18357 WITH SCORE 18378.731
AT ITER 1683 NEW BEST:: SOT 48634 SOS 21467 HAS SOPS 21467 HAS SOUS 18290 HAS SOUPS 18290 WITH SCORE 18311.467
AT ITER 1686 NEW BEST:: SOT 48626 SOS 21458 HAS SOPS 21458 HAS SOUS 18281 HAS SOUPS 18281 WITH SCORE 18302.458
AT ITER 1740 NEW BEST:: SOT 48633 SOS 21350 HAS SOPS 21350 HAS SOUS 18231 HAS SOUPS 18231 WITH SCORE 18252.35
AT ITER 1747 NEW BEST:: SOT 48605 SOS 21322 HAS SOPS 21322 HAS SOUS 18231 HAS SOUPS 18231 WITH SCORE 18252.322
AT ITER 1775 NEW BEST:: SOT 48598 SOS 21315 HAS SOPS 21315 HAS SOUS 18224 HAS SOUPS 18224 WITH SCORE 18245.315
AT ITER 1778 NEW BEST:: SOT 48642 SOS 21343 HAS SOPS 21343 HAS SOUS 18220 HAS SOUPS 18220 WITH SCORE 18241.343
AT ITER 1783 NEW BEST:: SOT 48642 SOS 21298 HAS SOPS 21298 HAS SOUS 18220 HAS SOUPS 18220 WITH SCORE 18241.298
AT ITER 1784 NEW BEST:: SOT 48664 SOS 21305 HAS SOPS 21305 HAS SOUS 18026 HAS SOUPS 18026 WITH SCORE 18047.305
AT ITER 1799 NEW BEST:: SOT 48592 SOS 21231 HAS SOPS 21231 HAS SOUS 17991 HAS SOUPS 17991 WITH SCORE 18012.231
AT ITER 1808 NEW BEST:: SOT 48586 SOS 21210 HAS SOPS 21210 HAS SOUS 17975 HAS SOUPS 17975 WITH SCORE 17996.21
AT ITER 1809 NEW BEST:: SOT 48586 SOS 21177 HAS SOPS 21177 HAS SOUS 17930 HAS SOUPS 17930 WITH SCORE 17951.177
AT ITER 1813 NEW BEST:: SOT 48531 SOS 21122 HAS SOPS 21122 HAS SOUS 17875 HAS SOUPS 17875 WITH SCORE 17896.122
AT ITER 1817 NEW BEST:: SOT 48443 SOS 21013 HAS SOPS 21013 HAS SOUS 17809 HAS SOUPS 17809 WITH SCORE 17830.013
AT ITER 1828 NEW BEST:: SOT 48387 SOS 20957 HAS SOPS 20957 HAS SOUS 17753 HAS SOUPS 17753 WITH SCORE 17773.957
AT ITER 1833 NEW BEST:: SOT 48341 SOS 20867 HAS SOPS 20867 HAS SOUS 17713 HAS SOUPS 17713 WITH SCORE 17733.867
AT ITER 1844 NEW BEST:: SOT 48334 SOS 20863 HAS SOPS 20863 HAS SOUS 17709 HAS SOUPS 17709 WITH SCORE 17729.863
AT ITER 1847 NEW BEST:: SOT 48334 SOS 20856 HAS SOPS 20856 HAS SOUS 17702 HAS SOUPS 17702 WITH SCORE 17722.856
AT ITER 1863 NEW BEST:: SOT 48329 SOS 20851 HAS SOPS 20851 HAS SOUS 17686 HAS SOUPS 17686 WITH SCORE 17706.851
AT ITER 1867 NEW BEST:: SOT 48329 SOS 20888 HAS SOPS 20888 HAS SOUS 17679 HAS SOUPS 17679 WITH SCORE 17699.888
AT ITER 1912 NEW BEST:: SOT 48306 SOS 20865 HAS SOPS 20865 HAS SOUS 17589 HAS SOUPS 17589 WITH SCORE 17609.865
AT ITER 1917 NEW BEST:: SOT 48306 SOS 20859 HAS SOPS 20859 HAS SOUS 17571 HAS SOUPS 17571 WITH SCORE 17591.859
AT ITER 1930 NEW BEST:: SOT 48296 SOS 20849 HAS SOPS 20849 HAS SOUS 17551 HAS SOUPS 17551 WITH SCORE 17571.849
AT ITER 1932 NEW BEST:: SOT 48220 SOS 20773 HAS SOPS 20773 HAS SOUS 17475 HAS SOUPS 17475 WITH SCORE 17495.773
AT ITER 1943 NEW BEST:: SOT 48184 SOS 20720 HAS SOPS 20720 HAS SOUS 17422 HAS SOUPS 17422 WITH SCORE 17442.72
AT ITER 1947 NEW BEST:: SOT 48184 SOS 20747 HAS SOPS 20747 HAS SOUS 17417 HAS SOUPS 17417 WITH SCORE 17437.747
AT ITER 1951 NEW BEST:: SOT 48153 SOS 20702 HAS SOPS 20702 HAS SOUS 17371 HAS SOUPS 17371 WITH SCORE 17391.702
AT ITER 1954 NEW BEST:: SOT 48151 SOS 20690 HAS SOPS 20690 HAS SOUS 17354 HAS SOUPS 17354 WITH SCORE 17374.69
AT ITER 1977 NEW BEST:: SOT 48146 SOS 20665 HAS SOPS 20665 HAS SOUS 17344 HAS SOUPS 17344 WITH SCORE 17364.665
AT ITER 1996 NEW BEST:: SOT 48146 SOS 20668 HAS SOPS 20668 HAS SOUS 17320 HAS SOUPS 17320 WITH SCORE 17340.668
AT ITER 2008 NEW BEST:: SOT 48146 SOS 20668 HAS SOPS 20668 HAS SOUS 17317 HAS SOUPS 17317 WITH SCORE 17337.668
AT ITER 2012 NEW BEST:: SOT 48132 SOS 20645 HAS SOPS 20645 HAS SOUS 17298 HAS SOUPS 17298 WITH SCORE 17318.645
AT ITER 2013 NEW BEST:: SOT 48128 SOS 20641 HAS SOPS 20641 HAS SOUS 17294 HAS SOUPS 17294 WITH SCORE 17314.641
AT ITER 2036 NEW BEST:: SOT 48117 SOS 20613 HAS SOPS 20613 HAS SOUS 17248 HAS SOUPS 17248 WITH SCORE 17268.613
AT ITER 2041 NEW BEST:: SOT 48079 SOS 20560 HAS SOPS 20560 HAS SOUS 17205 HAS SOUPS 17205 WITH SCORE 17225.56
AT ITER 2042 NEW BEST:: SOT 48072 SOS 20516 HAS SOPS 20516 HAS SOUS 17153 HAS SOUPS 17153 WITH SCORE 17173.516
AT ITER 2051 NEW BEST:: SOT 48091 SOS 20428 HAS SOPS 20428 HAS SOUS 17121 HAS SOUPS 17121 WITH SCORE 17141.428
AT ITER 2055 NEW BEST:: SOT 48090 SOS 20421 HAS SOPS 20421 HAS SOUS 17119 HAS SOUPS 17119 WITH SCORE 17139.421
AT ITER 2064 NEW BEST:: SOT 48034 SOS 20374 HAS SOPS 20374 HAS SOUS 17068 HAS SOUPS 17068 WITH SCORE 17088.374
AT ITER 2083 NEW BEST:: SOT 48021 SOS 20335 HAS SOPS 20335 HAS SOUS 17025 HAS SOUPS 17025 WITH SCORE 17045.335
AT ITER 2089 NEW BEST:: SOT 47979 SOS 20293 HAS SOPS 20293 HAS SOUS 16983 HAS SOUPS 16983 WITH SCORE 17003.293
AT ITER 2117 NEW BEST:: SOT 47974 SOS 20288 HAS SOPS 20288 HAS SOUS 16978 HAS SOUPS 16978 WITH SCORE 16998.288
AT ITER 2141 NEW BEST:: SOT 47931 SOS 20182 HAS SOPS 20182 HAS SOUS 16973 HAS SOUPS 16973 WITH SCORE 16993.182
AT ITER 2152 NEW BEST:: SOT 47915 SOS 20025 HAS SOPS 20025 HAS SOUS 16929 HAS SOUPS 16929 WITH SCORE 16949.025
AT ITER 2156 NEW BEST:: SOT 47915 SOS 20023 HAS SOPS 20023 HAS SOUS 16929 HAS SOUPS 16929 WITH SCORE 16949.023
AT ITER 2179 NEW BEST:: SOT 47867 SOS 19951 HAS SOPS 19951 HAS SOUS 16842 HAS SOUPS 16842 WITH SCORE 16861.951
AT ITER 2189 NEW BEST:: SOT 47693 SOS 19663 HAS SOPS 19663 HAS SOUS 16602 HAS SOUPS 16602 WITH SCORE 16621.663
AT ITER 2195 NEW BEST:: SOT 47632 SOS 19581 HAS SOPS 19581 HAS SOUS 16587 HAS SOUPS 16587 WITH SCORE 16606.581
AT ITER 2214 NEW BEST:: SOT 47622 SOS 19583 HAS SOPS 19583 HAS SOUS 16577 HAS SOUPS 16577 WITH SCORE 16596.583
AT ITER 2220 NEW BEST:: SOT 47606 SOS 19601 HAS SOPS 19601 HAS SOUS 16574 HAS SOUPS 16574 WITH SCORE 16593.601
AT ITER 2308 NEW BEST:: SOT 47606 SOS 19590 HAS SOPS 19590 HAS SOUS 16563 HAS SOUPS 16563 WITH SCORE 16582.59
AT ITER 2312 NEW BEST:: SOT 47590 SOS 19562 HAS SOPS 19562 HAS SOUS 16516 HAS SOUPS 16516 WITH SCORE 16535.562
AT ITER 2319 NEW BEST:: SOT 47588 SOS 19554 HAS SOPS 19554 HAS SOUS 16510 HAS SOUPS 16510 WITH SCORE 16529.554
AT ITER 2328 NEW BEST:: SOT 47552 SOS 19518 HAS SOPS 19518 HAS SOUS 16485 HAS SOUPS 16485 WITH SCORE 16504.518
AT ITER 2342 NEW BEST:: SOT 47547 SOS 19512 HAS SOPS 19512 HAS SOUS 16479 HAS SOUPS 16479 WITH SCORE 16498.512
AT ITER 2348 NEW BEST:: SOT 47545 SOS 19510 HAS SOPS 19510 HAS SOUS 16477 HAS SOUPS 16477 WITH SCORE 16496.51
AT ITER 2359 NEW BEST:: SOT 47525 SOS 19494 HAS SOPS 19494 HAS SOUS 16461 HAS SOUPS 16461 WITH SCORE 16480.494
AT ITER 2367 NEW BEST:: SOT 47507 SOS 19461 HAS SOPS 19461 HAS SOUS 16428 HAS SOUPS 16428 WITH SCORE 16447.461
AT ITER 2378 NEW BEST:: SOT 47485 SOS 19428 HAS SOPS 19428 HAS SOUS 16395 HAS SOUPS 16395 WITH SCORE 16414.428
AT ITER 2389 NEW BEST:: SOT 47476 SOS 19410 HAS SOPS 19410 HAS SOUS 16386 HAS SOUPS 16386 WITH SCORE 16405.41
AT ITER 2400 NEW BEST:: SOT 47563 SOS 19460 HAS SOPS 19460 HAS SOUS 16319 HAS SOUPS 16319 WITH SCORE 16338.46
AT ITER 2439 NEW BEST:: SOT 47565 SOS 19453 HAS SOPS 19453 HAS SOUS 16314 HAS SOUPS 16314 WITH SCORE 16333.453
AT ITER 2440 NEW BEST:: SOT 47563 SOS 19342 HAS SOPS 19342 HAS SOUS 16275 HAS SOUPS 16275 WITH SCORE 16294.342
AT ITER 2447 NEW BEST:: SOT 47523 SOS 19300 HAS SOPS 19300 HAS SOUS 16233 HAS SOUPS 16233 WITH SCORE 16252.3
AT ITER 2466 NEW BEST:: SOT 47532 SOS 19259 HAS SOPS 19259 HAS SOUS 16217 HAS SOUPS 16217 WITH SCORE 16236.259
AT ITER 2468 NEW BEST:: SOT 47546 SOS 19395 HAS SOPS 19395 HAS SOUS 16213 HAS SOUPS 16213 WITH SCORE 16232.395
AT ITER 2484 NEW BEST:: SOT 47546 SOS 19366 HAS SOPS 19366 HAS SOUS 16184 HAS SOUPS 16184 WITH SCORE 16203.366
AT ITER 2494 NEW BEST:: SOT 47545 SOS 19357 HAS SOPS 19357 HAS SOUS 16175 HAS SOUPS 16175 WITH SCORE 16194.357
AT ITER 2502 NEW BEST:: SOT 47535 SOS 19347 HAS SOPS 19347 HAS SOUS 16165 HAS SOUPS 16165 WITH SCORE 16184.347
AT ITER 2515 NEW BEST:: SOT 47535 SOS 19345 HAS SOPS 19345 HAS SOUS 16163 HAS SOUPS 16163 WITH SCORE 16182.345
AT ITER 2536 NEW BEST:: SOT 47441 SOS 19234 HAS SOPS 19234 HAS SOUS 16049 HAS SOUPS 16049 WITH SCORE 16068.234
AT ITER 2553 NEW BEST:: SOT 47459 SOS 19252 HAS SOPS 19252 HAS SOUS 16041 HAS SOUPS 16041 WITH SCORE 16060.252
AT ITER 2564 NEW BEST:: SOT 47470 SOS 19159 HAS SOPS 19159 HAS SOUS 16026 HAS SOUPS 16026 WITH SCORE 16045.159
AT ITER 2573 NEW BEST:: SOT 47527 SOS 18832 HAS SOPS 18832 HAS SOUS 15978 HAS SOUPS 15978 WITH SCORE 15996.832
AT ITER 2574 NEW BEST:: SOT 47506 SOS 18850 HAS SOPS 18850 HAS SOUS 15975 HAS SOUPS 15975 WITH SCORE 15993.85
AT ITER 2576 NEW BEST:: SOT 47506 SOS 18845 HAS SOPS 18845 HAS SOUS 15973 HAS SOUPS 15973 WITH SCORE 15991.845
AT ITER 2602 NEW BEST:: SOT 47488 SOS 18828 HAS SOPS 18828 HAS SOUS 15936 HAS SOUPS 15936 WITH SCORE 15954.828
AT ITER 2615 NEW BEST:: SOT 47467 SOS 18936 HAS SOPS 18936 HAS SOUS 15915 HAS SOUPS 15915 WITH SCORE 15933.936
AT ITER 2627 NEW BEST:: SOT 47457 SOS 18926 HAS SOPS 18926 HAS SOUS 15913 HAS SOUPS 15913 WITH SCORE 15931.926
AT ITER 2635 NEW BEST:: SOT 47394 SOS 18867 HAS SOPS 18867 HAS SOUS 15860 HAS SOUPS 15860 WITH SCORE 15878.867
AT ITER 2649 NEW BEST:: SOT 47318 SOS 18764 HAS SOPS 18764 HAS SOUS 15746 HAS SOUPS 15746 WITH SCORE 15764.764
AT ITER 2651 NEW BEST:: SOT 47301 SOS 18747 HAS SOPS 18747 HAS SOUS 15729 HAS SOUPS 15729 WITH SCORE 15747.747
AT ITER 2652 NEW BEST:: SOT 47395 SOS 18820 HAS SOPS 18820 HAS SOUS 15662 HAS SOUPS 15662 WITH SCORE 15680.82
AT ITER 2657 NEW BEST:: SOT 47390 SOS 18795 HAS SOPS 18795 HAS SOUS 15652 HAS SOUPS 15652 WITH SCORE 15670.795
AT ITER 2660 NEW BEST:: SOT 47389 SOS 18791 HAS SOPS 18791 HAS SOUS 15649 HAS SOUPS 15649 WITH SCORE 15667.791
AT ITER 2662 NEW BEST:: SOT 47401 SOS 18784 HAS SOPS 18784 HAS SOUS 15647 HAS SOUPS 15647 WITH SCORE 15665.784
AT ITER 2671 NEW BEST:: SOT 47395 SOS 18772 HAS SOPS 18772 HAS SOUS 15637 HAS SOUPS 15637 WITH SCORE 15655.772
AT ITER 2678 NEW BEST:: SOT 47395 SOS 18733 HAS SOPS 18733 HAS SOUS 15637 HAS SOUPS 15637 WITH SCORE 15655.733
AT ITER 2679 NEW BEST:: SOT 47339 SOS 18497 HAS SOPS 18497 HAS SOUS 15536 HAS SOUPS 15536 WITH SCORE 15554.497
AT ITER 2691 NEW BEST:: SOT 47323 SOS 18481 HAS SOPS 18481 HAS SOUS 15522 HAS SOUPS 15522 WITH SCORE 15540.481
AT ITER 2703 NEW BEST:: SOT 47294 SOS 18452 HAS SOPS 18452 HAS SOUS 15493 HAS SOUPS 15493 WITH SCORE 15511.452
AT ITER 2711 NEW BEST:: SOT 47288 SOS 18439 HAS SOPS 18439 HAS SOUS 15484 HAS SOUPS 15484 WITH SCORE 15502.439
AT ITER 2718 NEW BEST:: SOT 47249 SOS 18395 HAS SOPS 18395 HAS SOUS 15440 HAS SOUPS 15440 WITH SCORE 15458.395
AT ITER 2745 NEW BEST:: SOT 47242 SOS 18393 HAS SOPS 18393 HAS SOUS 15438 HAS SOUPS 15438 WITH SCORE 15456.393
AT ITER 2757 NEW BEST:: SOT 47242 SOS 18365 HAS SOPS 18365 HAS SOUS 15424 HAS SOUPS 15424 WITH SCORE 15442.365
AT ITER 2766 NEW BEST:: SOT 47233 SOS 18328 HAS SOPS 18328 HAS SOUS 15386 HAS SOUPS 15386 WITH SCORE 15404.328
AT ITER 2784 NEW BEST:: SOT 47191 SOS 18306 HAS SOPS 18306 HAS SOUS 15364 HAS SOUPS 15364 WITH SCORE 15382.306
AT ITER 2804 NEW BEST:: SOT 47188 SOS 18284 HAS SOPS 18284 HAS SOUS 15342 HAS SOUPS 15342 WITH SCORE 15360.284
AT ITER 2807 NEW BEST:: SOT 47170 SOS 18271 HAS SOPS 18271 HAS SOUS 15329 HAS SOUPS 15329 WITH SCORE 15347.271
AT ITER 2815 NEW BEST:: SOT 47168 SOS 18248 HAS SOPS 18248 HAS SOUS 15281 HAS SOUPS 15281 WITH SCORE 15299.248
AT ITER 2821 NEW BEST:: SOT 47160 SOS 18240 HAS SOPS 18240 HAS SOUS 15273 HAS SOUPS 15273 WITH SCORE 15291.24
AT ITER 2823 NEW BEST:: SOT 47158 SOS 18202 HAS SOPS 18202 HAS SOUS 15247 HAS SOUPS 15247 WITH SCORE 15265.202
AT ITER 2825 NEW BEST:: SOT 47158 SOS 18181 HAS SOPS 18181 HAS SOUS 15235 HAS SOUPS 15235 WITH SCORE 15253.181
AT ITER 2830 NEW BEST:: SOT 47141 SOS 18102 HAS SOPS 18102 HAS SOUS 15189 HAS SOUPS 15189 WITH SCORE 15207.102
AT ITER 2852 NEW BEST:: SOT 47130 SOS 17719 HAS SOPS 17719 HAS SOUS 14937 HAS SOUPS 14937 WITH SCORE 14954.719
AT ITER 2861 NEW BEST:: SOT 47128 SOS 17690 HAS SOPS 17690 HAS SOUS 14903 HAS SOUPS 14903 WITH SCORE 14920.69
AT ITER 2862 NEW BEST:: SOT 47043 SOS 17297 HAS SOPS 17297 HAS SOUS 14836 HAS SOUPS 14836 WITH SCORE 14853.297
AT ITER 2867 NEW BEST:: SOT 47037 SOS 17291 HAS SOPS 17291 HAS SOUS 14830 HAS SOUPS 14830 WITH SCORE 14847.291
AT ITER 2872 NEW BEST:: SOT 47034 SOS 17288 HAS SOPS 17288 HAS SOUS 14827 HAS SOUPS 14827 WITH SCORE 14844.288
AT ITER 2908 NEW BEST:: SOT 47032 SOS 17241 HAS SOPS 17241 HAS SOUS 14811 HAS SOUPS 14811 WITH SCORE 14828.241
AT ITER 2915 NEW BEST:: SOT 47032 SOS 17237 HAS SOPS 17237 HAS SOUS 14803 HAS SOUPS 14803 WITH SCORE 14820.237
AT ITER 2924 NEW BEST:: SOT 47007 SOS 17227 HAS SOPS 17227 HAS SOUS 14800 HAS SOUPS 14800 WITH SCORE 14817.227
AT ITER 2925 NEW BEST:: SOT 46963 SOS 17183 HAS SOPS 17183 HAS SOUS 14756 HAS SOUPS 14756 WITH SCORE 14773.183
AT ITER 2929 NEW BEST:: SOT 46923 SOS 17121 HAS SOPS 17121 HAS SOUS 14694 HAS SOUPS 14694 WITH SCORE 14711.121
AT ITER 2935 NEW BEST:: SOT 47002 SOS 17144 HAS SOPS 17144 HAS SOUS 14686 HAS SOUPS 14686 WITH SCORE 14703.144
AT ITER 2937 NEW BEST:: SOT 47009 SOS 17029 HAS SOPS 17029 HAS SOUS 14642 HAS SOUPS 14642 WITH SCORE 14659.029
AT ITER 2951 NEW BEST:: SOT 46985 SOS 16980 HAS SOPS 16980 HAS SOUS 14624 HAS SOUPS 14624 WITH SCORE 14640.98
AT ITER 2955 NEW BEST:: SOT 46977 SOS 16968 HAS SOPS 16968 HAS SOUS 14612 HAS SOUPS 14612 WITH SCORE 14628.968
AT ITER 2974 NEW BEST:: SOT 46971 SOS 16984 HAS SOPS 16984 HAS SOUS 14601 HAS SOUPS 14601 WITH SCORE 14617.984
AT ITER 2975 NEW BEST:: SOT 46947 SOS 16948 HAS SOPS 16948 HAS SOUS 14571 HAS SOUPS 14571 WITH SCORE 14587.948
AT ITER 2979 NEW BEST:: SOT 46935 SOS 16942 HAS SOPS 16942 HAS SOUS 14565 HAS SOUPS 14565 WITH SCORE 14581.942
AT ITER 2989 NEW BEST:: SOT 46927 SOS 16922 HAS SOPS 16922 HAS SOUS 14543 HAS SOUPS 14543 WITH SCORE 14559.922
AT ITER 2996 NEW BEST:: SOT 46882 SOS 16926 HAS SOPS 16926 HAS SOUS 14526 HAS SOUPS 14526 WITH SCORE 14542.926
AT ITER 3000 NEW BEST:: SOT 46840 SOS 16807 HAS SOPS 16807 HAS SOUS 14460 HAS SOUPS 14460 WITH SCORE 14476.807
AT ITER 3008 NEW BEST:: SOT 46840 SOS 16789 HAS SOPS 16789 HAS SOUS 14445 HAS SOUPS 14445 WITH SCORE 14461.789
AT ITER 3017 NEW BEST:: SOT 46814 SOS 16763 HAS SOPS 16763 HAS SOUS 14441 HAS SOUPS 14441 WITH SCORE 14457.763
AT ITER 3026 NEW BEST:: SOT 46828 SOS 16643 HAS SOPS 16643 HAS SOUS 14417 HAS SOUPS 14417 WITH SCORE 14433.643
AT ITER 3028 NEW BEST:: SOT 46828 SOS 16621 HAS SOPS 16621 HAS SOUS 14404 HAS SOUPS 14404 WITH SCORE 14420.621
AT ITER 3051 NEW BEST:: SOT 46844 SOS 16636 HAS SOPS 16636 HAS SOUS 14403 HAS SOUPS 14403 WITH SCORE 14419.636
AT ITER 3061 NEW BEST:: SOT 46844 SOS 16584 HAS SOPS 16584 HAS SOUS 14370 HAS SOUPS 14370 WITH SCORE 14386.584
AT ITER 3063 NEW BEST:: SOT 46707 SOS 16295 HAS SOPS 16295 HAS SOUS 14232 HAS SOUPS 14232 WITH SCORE 14248.295
AT ITER 3072 NEW BEST:: SOT 46697 SOS 16285 HAS SOPS 16285 HAS SOUS 14222 HAS SOUPS 14222 WITH SCORE 14238.285
AT ITER 3078 NEW BEST:: SOT 46696 SOS 16282 HAS SOPS 16282 HAS SOUS 14219 HAS SOUPS 14219 WITH SCORE 14235.282
AT ITER 3081 NEW BEST:: SOT 46655 SOS 16247 HAS SOPS 16247 HAS SOUS 14184 HAS SOUPS 14184 WITH SCORE 14200.247
AT ITER 3085 NEW BEST:: SOT 46646 SOS 16223 HAS SOPS 16223 HAS SOUS 14147 HAS SOUPS 14147 WITH SCORE 14163.223
AT ITER 3113 NEW BEST:: SOT 46652 SOS 16143 HAS SOPS 16143 HAS SOUS 14066 HAS SOUPS 14066 WITH SCORE 14082.143
AT ITER 3173 NEW BEST:: SOT 46612 SOS 16103 HAS SOPS 16103 HAS SOUS 14026 HAS SOUPS 14026 WITH SCORE 14042.103
AT ITER 3178 NEW BEST:: SOT 46597 SOS 16088 HAS SOPS 16088 HAS SOUS 14011 HAS SOUPS 14011 WITH SCORE 14027.088
AT ITER 3182 NEW BEST:: SOT 46600 SOS 16095 HAS SOPS 16095 HAS SOUS 13992 HAS SOUPS 13992 WITH SCORE 14008.095
AT ITER 3187 NEW BEST:: SOT 46591 SOS 16086 HAS SOPS 16086 HAS SOUS 13983 HAS SOUPS 13983 WITH SCORE 13999.086
AT ITER 3191 NEW BEST:: SOT 46571 SOS 16038 HAS SOPS 16038 HAS SOUS 13972 HAS SOUPS 13972 WITH SCORE 13988.038
AT ITER 3195 NEW BEST:: SOT 46567 SOS 16034 HAS SOPS 16034 HAS SOUS 13968 HAS SOUPS 13968 WITH SCORE 13984.034
AT ITER 3199 NEW BEST:: SOT 46519 SOS 15986 HAS SOPS 15986 HAS SOUS 13920 HAS SOUPS 13920 WITH SCORE 13935.986
AT ITER 3213 NEW BEST:: SOT 46519 SOS 15959 HAS SOPS 15959 HAS SOUS 13893 HAS SOUPS 13893 WITH SCORE 13908.959
AT ITER 3220 NEW BEST:: SOT 46515 SOS 15750 HAS SOPS 15750 HAS SOUS 13850 HAS SOUPS 13850 WITH SCORE 13865.75
AT ITER 3222 NEW BEST:: SOT 46511 SOS 15713 HAS SOPS 15713 HAS SOUS 13834 HAS SOUPS 13834 WITH SCORE 13849.713
AT ITER 3229 NEW BEST:: SOT 46488 SOS 15690 HAS SOPS 15690 HAS SOUS 13811 HAS SOUPS 13811 WITH SCORE 13826.69
AT ITER 3241 NEW BEST:: SOT 46574 SOS 15652 HAS SOPS 15652 HAS SOUS 13779 HAS SOUPS 13779 WITH SCORE 13794.652
AT ITER 3257 NEW BEST:: SOT 46591 SOS 15632 HAS SOPS 15632 HAS SOUS 13759 HAS SOUPS 13759 WITH SCORE 13774.632
AT ITER 3258 NEW BEST:: SOT 46591 SOS 15632 HAS SOPS 15632 HAS SOUS 13751 HAS SOUPS 13751 WITH SCORE 13766.632
AT ITER 3277 NEW BEST:: SOT 46573 SOS 15609 HAS SOPS 15609 HAS SOUS 13730 HAS SOUPS 13730 WITH SCORE 13745.609
AT ITER 3298 NEW BEST:: SOT 46586 SOS 15594 HAS SOPS 15594 HAS SOUS 13727 HAS SOUPS 13727 WITH SCORE 13742.594
AT ITER 3303 NEW BEST:: SOT 46586 SOS 15553 HAS SOPS 15553 HAS SOUS 13703 HAS SOUPS 13703 WITH SCORE 13718.553
AT ITER 3329 NEW BEST:: SOT 46585 SOS 15552 HAS SOPS 15552 HAS SOUS 13702 HAS SOUPS 13702 WITH SCORE 13717.552
AT ITER 3342 NEW BEST:: SOT 46579 SOS 15543 HAS SOPS 15543 HAS SOUS 13693 HAS SOUPS 13693 WITH SCORE 13708.543
AT ITER 3361 NEW BEST:: SOT 46579 SOS 15573 HAS SOPS 15573 HAS SOUS 13686 HAS SOUPS 13686 WITH SCORE 13701.573
AT ITER 3394 NEW BEST:: SOT 46573 SOS 15567 HAS SOPS 15567 HAS SOUS 13680 HAS SOUPS 13680 WITH SCORE 13695.567
AT ITER 3405 NEW BEST:: SOT 46538 SOS 15478 HAS SOPS 15478 HAS SOUS 13609 HAS SOUPS 13609 WITH SCORE 13624.478
AT ITER 3437 NEW BEST:: SOT 46538 SOS 15478 HAS SOPS 15478 HAS SOUS 13604 HAS SOUPS 13604 WITH SCORE 13619.478
AT ITER 3457 NEW BEST:: SOT 46524 SOS 15392 HAS SOPS 15392 HAS SOUS 13544 HAS SOUPS 13544 WITH SCORE 13559.392
AT ITER 3481 NEW BEST:: SOT 46524 SOS 15391 HAS SOPS 15391 HAS SOUS 13543 HAS SOUPS 13543 WITH SCORE 13558.391
AT ITER 3485 NEW BEST:: SOT 46476 SOS 15291 HAS SOPS 15291 HAS SOUS 13481 HAS SOUPS 13481 WITH SCORE 13496.291
AT ITER 3504 NEW BEST:: SOT 46454 SOS 15269 HAS SOPS 15269 HAS SOUS 13455 HAS SOUPS 13455 WITH SCORE 13470.269
AT ITER 3534 NEW BEST:: SOT 46438 SOS 15253 HAS SOPS 15253 HAS SOUS 13440 HAS SOUPS 13440 WITH SCORE 13455.253
AT ITER 3542 NEW BEST:: SOT 46417 SOS 15243 HAS SOPS 15243 HAS SOUS 13430 HAS SOUPS 13430 WITH SCORE 13445.243
AT ITER 3543 NEW BEST:: SOT 46410 SOS 15226 HAS SOPS 15226 HAS SOUS 13408 HAS SOUPS 13408 WITH SCORE 13423.226
AT ITER 3566 NEW BEST:: SOT 46402 SOS 15216 HAS SOPS 15216 HAS SOUS 13398 HAS SOUPS 13398 WITH SCORE 13413.216
AT ITER 3573 NEW BEST:: SOT 46399 SOS 15213 HAS SOPS 15213 HAS SOUS 13395 HAS SOUPS 13395 WITH SCORE 13410.213
AT ITER 3578 NEW BEST:: SOT 46388 SOS 15202 HAS SOPS 15202 HAS SOUS 13384 HAS SOUPS 13384 WITH SCORE 13399.202
AT ITER 3588 NEW BEST:: SOT 46390 SOS 15186 HAS SOPS 15186 HAS SOUS 13360 HAS SOUPS 13360 WITH SCORE 13375.186
AT ITER 3591 NEW BEST:: SOT 46452 SOS 15145 HAS SOPS 15145 HAS SOUS 13298 HAS SOUPS 13298 WITH SCORE 13313.145
AT ITER 3594 NEW BEST:: SOT 46451 SOS 15144 HAS SOPS 15144 HAS SOUS 13297 HAS SOUPS 13297 WITH SCORE 13312.144
AT ITER 3599 NEW BEST:: SOT 46443 SOS 15132 HAS SOPS 15132 HAS SOUS 13281 HAS SOUPS 13281 WITH SCORE 13296.132
AT ITER 3657 NEW BEST:: SOT 46405 SOS 15039 HAS SOPS 15039 HAS SOUS 13217 HAS SOUPS 13217 WITH SCORE 13232.039
AT ITER 3669 NEW BEST:: SOT 46398 SOS 15034 HAS SOPS 15034 HAS SOUS 13210 HAS SOUPS 13210 WITH SCORE 13225.034
AT ITER 3695 NEW BEST:: SOT 46383 SOS 15003 HAS SOPS 15003 HAS SOUS 13187 HAS SOUPS 13187 WITH SCORE 13202.003
AT ITER 3696 NEW BEST:: SOT 46381 SOS 14977 HAS SOPS 14977 HAS SOUS 13161 HAS SOUPS 13161 WITH SCORE 13175.977
AT ITER 3751 NEW BEST:: SOT 46392 SOS 14942 HAS SOPS 14942 HAS SOUS 13126 HAS SOUPS 13126 WITH SCORE 13140.942
AT ITER 3770 NEW BEST:: SOT 46359 SOS 14851 HAS SOPS 14851 HAS SOUS 13055 HAS SOUPS 13055 WITH SCORE 13069.851
AT ITER 3776 NEW BEST:: SOT 46336 SOS 14859 HAS SOPS 14859 HAS SOUS 13048 HAS SOUPS 13048 WITH SCORE 13062.859
AT ITER 3805 NEW BEST:: SOT 46336 SOS 14856 HAS SOPS 14856 HAS SOUS 13048 HAS SOUPS 13048 WITH SCORE 13062.856
AT ITER 3811 NEW BEST:: SOT 46342 SOS 14760 HAS SOPS 14760 HAS SOUS 12996 HAS SOUPS 12996 WITH SCORE 13010.76
AT ITER 3813 NEW BEST:: SOT 46342 SOS 14760 HAS SOPS 14760 HAS SOUS 12992 HAS SOUPS 12992 WITH SCORE 13006.76
AT ITER 3859 NEW BEST:: SOT 46339 SOS 14757 HAS SOPS 14757 HAS SOUS 12989 HAS SOUPS 12989 WITH SCORE 13003.757
AT ITER 3882 NEW BEST:: SOT 46331 SOS 14768 HAS SOPS 14768 HAS SOUS 12981 HAS SOUPS 12981 WITH SCORE 12995.768
AT ITER 3942 NEW BEST:: SOT 46322 SOS 14750 HAS SOPS 14750 HAS SOUS 12967 HAS SOUPS 12967 WITH SCORE 12981.75
AT ITER 3969 NEW BEST:: SOT 46298 SOS 14725 HAS SOPS 14725 HAS SOUS 12942 HAS SOUPS 12942 WITH SCORE 12956.725
AT ITER 3984 NEW BEST:: SOT 46272 SOS 14713 HAS SOPS 14713 HAS SOUS 12925 HAS SOUPS 12925 WITH SCORE 12939.713
AT ITER 4001 NEW BEST:: SOT 46268 SOS 14707 HAS SOPS 14707 HAS SOUS 12919 HAS SOUPS 12919 WITH SCORE 12933.707
AT ITER 4002 NEW BEST:: SOT 46268 SOS 14613 HAS SOPS 14613 HAS SOUS 12857 HAS SOUPS 12857 WITH SCORE 12871.613
AT ITER 4034 NEW BEST:: SOT 46234 SOS 14579 HAS SOPS 14579 HAS SOUS 12823 HAS SOUPS 12823 WITH SCORE 12837.579
AT ITER 4035 NEW BEST:: SOT 46236 SOS 14581 HAS SOPS 14581 HAS SOUS 12822 HAS SOUPS 12822 WITH SCORE 12836.581
AT ITER 4057 NEW BEST:: SOT 46227 SOS 14560 HAS SOPS 14560 HAS SOUS 12800 HAS SOUPS 12800 WITH SCORE 12814.56
AT ITER 4070 NEW BEST:: SOT 46224 SOS 14560 HAS SOPS 14560 HAS SOUS 12791 HAS SOUPS 12791 WITH SCORE 12805.56
AT ITER 4080 NEW BEST:: SOT 46223 SOS 14558 HAS SOPS 14558 HAS SOUS 12790 HAS SOUPS 12790 WITH SCORE 12804.558
AT ITER 4081 NEW BEST:: SOT 46226 SOS 14538 HAS SOPS 14538 HAS SOUS 12779 HAS SOUPS 12779 WITH SCORE 12793.538
AT ITER 4098 NEW BEST:: SOT 46210 SOS 14511 HAS SOPS 14511 HAS SOUS 12752 HAS SOUPS 12752 WITH SCORE 12766.511
AT ITER 4110 NEW BEST:: SOT 46233 SOS 14500 HAS SOPS 14500 HAS SOUS 12751 HAS SOUPS 12751 WITH SCORE 12765.5
AT ITER 4174 NEW BEST:: SOT 46220 SOS 14474 HAS SOPS 14474 HAS SOUS 12728 HAS SOUPS 12728 WITH SCORE 12742.474
AT ITER 4183 NEW BEST:: SOT 46187 SOS 14430 HAS SOPS 14430 HAS SOUS 12684 HAS SOUPS 12684 WITH SCORE 12698.43
AT ITER 4189 NEW BEST:: SOT 46174 SOS 14442 HAS SOPS 14442 HAS SOUS 12666 HAS SOUPS 12666 WITH SCORE 12680.442
AT ITER 4201 NEW BEST:: SOT 46174 SOS 14440 HAS SOPS 14440 HAS SOUS 12664 HAS SOUPS 12664 WITH SCORE 12678.44
AT ITER 4213 NEW BEST:: SOT 46182 SOS 14480 HAS SOPS 14480 HAS SOUS 12661 HAS SOUPS 12661 WITH SCORE 12675.48
AT ITER 4218 NEW BEST:: SOT 46183 SOS 14473 HAS SOPS 14473 HAS SOUS 12660 HAS SOUPS 12660 WITH SCORE 12674.473
AT ITER 4230 NEW BEST:: SOT 46181 SOS 14469 HAS SOPS 14469 HAS SOUS 12658 HAS SOUPS 12658 WITH SCORE 12672.469
AT ITER 4241 NEW BEST:: SOT 46174 SOS 14439 HAS SOPS 14439 HAS SOUS 12656 HAS SOUPS 12656 WITH SCORE 12670.439
AT ITER 4247 NEW BEST:: SOT 46129 SOS 14394 HAS SOPS 14394 HAS SOUS 12611 HAS SOUPS 12611 WITH SCORE 12625.394
AT ITER 4248 NEW BEST:: SOT 46129 SOS 14387 HAS SOPS 14387 HAS SOUS 12604 HAS SOUPS 12604 WITH SCORE 12618.387
AT ITER 4263 NEW BEST:: SOT 46117 SOS 14377 HAS SOPS 14377 HAS SOUS 12591 HAS SOUPS 12591 WITH SCORE 12605.377
AT ITER 4279 NEW BEST:: SOT 46099 SOS 14372 HAS SOPS 14372 HAS SOUS 12565 HAS SOUPS 12565 WITH SCORE 12579.372
AT ITER 4294 NEW BEST:: SOT 46088 SOS 14356 HAS SOPS 14356 HAS SOUS 12558 HAS SOUPS 12558 WITH SCORE 12572.356
AT ITER 4302 NEW BEST:: SOT 46057 SOS 14271 HAS SOPS 14271 HAS SOUS 12464 HAS SOUPS 12464 WITH SCORE 12478.271
AT ITER 4315 NEW BEST:: SOT 46057 SOS 14254 HAS SOPS 14254 HAS SOUS 12464 HAS SOUPS 12464 WITH SCORE 12478.254
AT ITER 4317 NEW BEST:: SOT 45985 SOS 14101 HAS SOPS 14101 HAS SOUS 12354 HAS SOUPS 12354 WITH SCORE 12368.101
AT ITER 4333 NEW BEST:: SOT 45997 SOS 14111 HAS SOPS 14111 HAS SOUS 12352 HAS SOUPS 12352 WITH SCORE 12366.111
AT ITER 4346 NEW BEST:: SOT 45952 SOS 14066 HAS SOPS 14066 HAS SOUS 12307 HAS SOUPS 12307 WITH SCORE 12321.066
AT ITER 4379 NEW BEST:: SOT 45938 SOS 14036 HAS SOPS 14036 HAS SOUS 12272 HAS SOUPS 12272 WITH SCORE 12286.036
AT ITER 4389 NEW BEST:: SOT 45937 SOS 14032 HAS SOPS 14032 HAS SOUS 12268 HAS SOUPS 12268 WITH SCORE 12282.032
AT ITER 4409 NEW BEST:: SOT 45933 SOS 14023 HAS SOPS 14023 HAS SOUS 12259 HAS SOUPS 12259 WITH SCORE 12273.023
AT ITER 4421 NEW BEST:: SOT 45906 SOS 13996 HAS SOPS 13996 HAS SOUS 12232 HAS SOUPS 12232 WITH SCORE 12245.996
AT ITER 4426 NEW BEST:: SOT 45891 SOS 13981 HAS SOPS 13981 HAS SOUS 12217 HAS SOUPS 12217 WITH SCORE 12230.981
AT ITER 4448 NEW BEST:: SOT 45881 SOS 13986 HAS SOPS 13986 HAS SOUS 12216 HAS SOUPS 12216 WITH SCORE 12229.986
AT ITER 4522 NEW BEST:: SOT 45862 SOS 13967 HAS SOPS 13967 HAS SOUS 12197 HAS SOUPS 12197 WITH SCORE 12210.967
AT ITER 4564 NEW BEST:: SOT 45854 SOS 13922 HAS SOPS 13922 HAS SOUS 12172 HAS SOUPS 12172 WITH SCORE 12185.922
AT ITER 4571 NEW BEST:: SOT 45870 SOS 13876 HAS SOPS 13876 HAS SOUS 12126 HAS SOUPS 12126 WITH SCORE 12139.876
AT ITER 4644 NEW BEST:: SOT 45850 SOS 13824 HAS SOPS 13824 HAS SOUS 12086 HAS SOUPS 12086 WITH SCORE 12099.824
AT ITER 4647 NEW BEST:: SOT 45853 SOS 13823 HAS SOPS 13823 HAS SOUS 12085 HAS SOUPS 12085 WITH SCORE 12098.823
AT ITER 4675 NEW BEST:: SOT 45853 SOS 13801 HAS SOPS 13801 HAS SOUS 12074 HAS SOUPS 12074 WITH SCORE 12087.801
AT ITER 4687 NEW BEST:: SOT 45850 SOS 13794 HAS SOPS 13794 HAS SOUS 12071 HAS SOUPS 12071 WITH SCORE 12084.794
AT ITER 4695 NEW BEST:: SOT 45850 SOS 13786 HAS SOPS 13786 HAS SOUS 12063 HAS SOUPS 12063 WITH SCORE 12076.786
AT ITER 4734 NEW BEST:: SOT 45850 SOS 13781 HAS SOPS 13781 HAS SOUS 12056 HAS SOUPS 12056 WITH SCORE 12069.781
AT ITER 4745 NEW BEST:: SOT 45844 SOS 13775 HAS SOPS 13775 HAS SOUS 12052 HAS SOUPS 12052 WITH SCORE 12065.775
AT ITER 4778 NEW BEST:: SOT 45841 SOS 13772 HAS SOPS 13772 HAS SOUS 12049 HAS SOUPS 12049 WITH SCORE 12062.772
AT ITER 4782 NEW BEST:: SOT 45837 SOS 13765 HAS SOPS 13765 HAS SOUS 12043 HAS SOUPS 12043 WITH SCORE 12056.765
AT ITER 4791 NEW BEST:: SOT 45837 SOS 13666 HAS SOPS 13666 HAS SOUS 12040 HAS SOUPS 12040 WITH SCORE 12053.666
AT ITER 4820 NEW BEST:: SOT 45802 SOS 13628 HAS SOPS 13628 HAS SOUS 12002 HAS SOUPS 12002 WITH SCORE 12015.628
AT ITER 4845 NEW BEST:: SOT 45802 SOS 13624 HAS SOPS 13624 HAS SOUS 12000 HAS SOUPS 12000 WITH SCORE 12013.624
AT ITER 4892 NEW BEST:: SOT 45802 SOS 13621 HAS SOPS 13621 HAS SOUS 11997 HAS SOUPS 11997 WITH SCORE 12010.621
AT ITER 4941 NEW BEST:: SOT 45802 SOS 13549 HAS SOPS 13549 HAS SOUS 11986 HAS SOUPS 11986 WITH SCORE 11999.549
AT ITER 4952 NEW BEST:: SOT 45752 SOS 13421 HAS SOPS 13421 HAS SOUS 11882 HAS SOUPS 11882 WITH SCORE 11895.421
AT ITER 4971 NEW BEST:: SOT 45743 SOS 13417 HAS SOPS 13417 HAS SOUS 11878 HAS SOUPS 11878 WITH SCORE 11891.417
AT ITER 4974 NEW BEST:: SOT 45726 SOS 13410 HAS SOPS 13410 HAS SOUS 11866 HAS SOUPS 11866 WITH SCORE 11879.41
AT ITER 4993 NEW BEST:: SOT 45696 SOS 13394 HAS SOPS 13394 HAS SOUS 11851 HAS SOUPS 11851 WITH SCORE 11864.394
AT ITER 4999 NEW BEST:: SOT 45702 SOS 13371 HAS SOPS 13371 HAS SOUS 11828 HAS SOUPS 11828 WITH SCORE 11841.371
AT ITER 5035 NEW BEST:: SOT 45694 SOS 13360 HAS SOPS 13360 HAS SOUS 11817 HAS SOUPS 11817 WITH SCORE 11830.36
AT ITER 5036 NEW BEST:: SOT 45694 SOS 13337 HAS SOPS 13337 HAS SOUS 11815 HAS SOUPS 11815 WITH SCORE 11828.337
AT ITER 5043 NEW BEST:: SOT 45707 SOS 13350 HAS SOPS 13350 HAS SOUS 11802 HAS SOUPS 11802 WITH SCORE 11815.35
AT ITER 5080 NEW BEST:: SOT 45664 SOS 13307 HAS SOPS 13307 HAS SOUS 11759 HAS SOUPS 11759 WITH SCORE 11772.307
AT ITER 5125 NEW BEST:: SOT 45664 SOS 13305 HAS SOPS 13305 HAS SOUS 11757 HAS SOUPS 11757 WITH SCORE 11770.305
AT ITER 5127 NEW BEST:: SOT 45652 SOS 13304 HAS SOPS 13304 HAS SOUS 11756 HAS SOUPS 11756 WITH SCORE 11769.304
AT ITER 5184 NEW BEST:: SOT 45646 SOS 13219 HAS SOPS 13219 HAS SOUS 11730 HAS SOUPS 11730 WITH SCORE 11743.219
AT ITER 5202 NEW BEST:: SOT 45649 SOS 13221 HAS SOPS 13221 HAS SOUS 11724 HAS SOUPS 11724 WITH SCORE 11737.221
AT ITER 5205 NEW BEST:: SOT 45646 SOS 13208 HAS SOPS 13208 HAS SOUS 11723 HAS SOUPS 11723 WITH SCORE 11736.208
AT ITER 5219 NEW BEST:: SOT 45622 SOS 13213 HAS SOPS 13213 HAS SOUS 11702 HAS SOUPS 11702 WITH SCORE 11715.213
AT ITER 5243 NEW BEST:: SOT 45618 SOS 13209 HAS SOPS 13209 HAS SOUS 11702 HAS SOUPS 11702 WITH SCORE 11715.209
AT ITER 5260 NEW BEST:: SOT 45616 SOS 13207 HAS SOPS 13207 HAS SOUS 11700 HAS SOUPS 11700 WITH SCORE 11713.207
AT ITER 5280 NEW BEST:: SOT 45614 SOS 13205 HAS SOPS 13205 HAS SOUS 11698 HAS SOUPS 11698 WITH SCORE 11711.205
AT ITER 5281 NEW BEST:: SOT 45607 SOS 13188 HAS SOPS 13188 HAS SOUS 11684 HAS SOUPS 11684 WITH SCORE 11697.188
AT ITER 5320 NEW BEST:: SOT 45576 SOS 13157 HAS SOPS 13157 HAS SOUS 11653 HAS SOUPS 11653 WITH SCORE 11666.157
AT ITER 5328 NEW BEST:: SOT 45576 SOS 13151 HAS SOPS 13151 HAS SOUS 11647 HAS SOUPS 11647 WITH SCORE 11660.151
AT ITER 5333 NEW BEST:: SOT 45571 SOS 13142 HAS SOPS 13142 HAS SOUS 11645 HAS SOUPS 11645 WITH SCORE 11658.142
AT ITER 5334 NEW BEST:: SOT 45573 SOS 13134 HAS SOPS 13134 HAS SOUS 11641 HAS SOUPS 11641 WITH SCORE 11654.134
AT ITER 5347 NEW BEST:: SOT 45539 SOS 13100 HAS SOPS 13100 HAS SOUS 11607 HAS SOUPS 11607 WITH SCORE 11620.1
AT ITER 5380 NEW BEST:: SOT 45534 SOS 13085 HAS SOPS 13085 HAS SOUS 11592 HAS SOUPS 11592 WITH SCORE 11605.085
AT ITER 5383 NEW BEST:: SOT 45534 SOS 13081 HAS SOPS 13081 HAS SOUS 11592 HAS SOUPS 11592 WITH SCORE 11605.081
AT ITER 5418 NEW BEST:: SOT 45534 SOS 13072 HAS SOPS 13072 HAS SOUS 11583 HAS SOUPS 11583 WITH SCORE 11596.072
AT ITER 5432 NEW BEST:: SOT 45544 SOS 13082 HAS SOPS 13082 HAS SOUS 11574 HAS SOUPS 11574 WITH SCORE 11587.082
AT ITER 5461 NEW BEST:: SOT 45527 SOS 13078 HAS SOPS 13078 HAS SOUS 11554 HAS SOUPS 11554 WITH SCORE 11567.078
AT ITER 5475 NEW BEST:: SOT 45525 SOS 13072 HAS SOPS 13072 HAS SOUS 11548 HAS SOUPS 11548 WITH SCORE 11561.072
AT ITER 5500 NEW BEST:: SOT 45518 SOS 13060 HAS SOPS 13060 HAS SOUS 11538 HAS SOUPS 11538 WITH SCORE 11551.06
AT ITER 5519 NEW BEST:: SOT 45511 SOS 13029 HAS SOPS 13029 HAS SOUS 11515 HAS SOUPS 11515 WITH SCORE 11528.029
AT ITER 5555 NEW BEST:: SOT 45494 SOS 13012 HAS SOPS 13012 HAS SOUS 11498 HAS SOUPS 11498 WITH SCORE 11511.012
AT ITER 5556 NEW BEST:: SOT 45459 SOS 12954 HAS SOPS 12954 HAS SOUS 11436 HAS SOUPS 11436 WITH SCORE 11448.954
AT ITER 5561 NEW BEST:: SOT 45471 SOS 12806 HAS SOPS 12806 HAS SOUS 11407 HAS SOUPS 11407 WITH SCORE 11419.806
AT ITER 5595 NEW BEST:: SOT 45469 SOS 12804 HAS SOPS 12804 HAS SOUS 11405 HAS SOUPS 11405 WITH SCORE 11417.804
AT ITER 5605 NEW BEST:: SOT 45468 SOS 12787 HAS SOPS 12787 HAS SOUS 11396 HAS SOUPS 11396 WITH SCORE 11408.787
AT ITER 5621 NEW BEST:: SOT 45484 SOS 12795 HAS SOPS 12795 HAS SOUS 11395 HAS SOUPS 11395 WITH SCORE 11407.795
AT ITER 5623 NEW BEST:: SOT 45479 SOS 12787 HAS SOPS 12787 HAS SOUS 11395 HAS SOUPS 11395 WITH SCORE 11407.787
AT ITER 5672 NEW BEST:: SOT 45460 SOS 12769 HAS SOPS 12769 HAS SOUS 11371 HAS SOUPS 11371 WITH SCORE 11383.769
AT ITER 5673 NEW BEST:: SOT 45450 SOS 12740 HAS SOPS 12740 HAS SOUS 11362 HAS SOUPS 11362 WITH SCORE 11374.74
AT ITER 5681 NEW BEST:: SOT 45428 SOS 12702 HAS SOPS 12702 HAS SOUS 11350 HAS SOUPS 11350 WITH SCORE 11362.702
AT ITER 5688 NEW BEST:: SOT 45425 SOS 12690 HAS SOPS 12690 HAS SOUS 11336 HAS SOUPS 11336 WITH SCORE 11348.69
AT ITER 5709 NEW BEST:: SOT 45425 SOS 12682 HAS SOPS 12682 HAS SOUS 11332 HAS SOUPS 11332 WITH SCORE 11344.682
AT ITER 5753 NEW BEST:: SOT 45429 SOS 12686 HAS SOPS 12686 HAS SOUS 11320 HAS SOUPS 11320 WITH SCORE 11332.686
AT ITER 5775 NEW BEST:: SOT 45429 SOS 12674 HAS SOPS 12674 HAS SOUS 11318 HAS SOUPS 11318 WITH SCORE 11330.674
AT ITER 5828 NEW BEST:: SOT 45429 SOS 12657 HAS SOPS 12657 HAS SOUS 11309 HAS SOUPS 11309 WITH SCORE 11321.657
AT ITER 5845 NEW BEST:: SOT 45428 SOS 12656 HAS SOPS 12656 HAS SOUS 11308 HAS SOUPS 11308 WITH SCORE 11320.656
AT ITER 5855 NEW BEST:: SOT 45409 SOS 12638 HAS SOPS 12638 HAS SOUS 11293 HAS SOUPS 11293 WITH SCORE 11305.638
AT ITER 5867 NEW BEST:: SOT 45388 SOS 12569 HAS SOPS 12569 HAS SOUS 11269 HAS SOUPS 11269 WITH SCORE 11281.569
AT ITER 5888 NEW BEST:: SOT 45405 SOS 12550 HAS SOPS 12550 HAS SOUS 11268 HAS SOUPS 11268 WITH SCORE 11280.55
AT ITER 5895 NEW BEST:: SOT 45401 SOS 12544 HAS SOPS 12544 HAS SOUS 11266 HAS SOUPS 11266 WITH SCORE 11278.544
AT ITER 5970 NEW BEST:: SOT 45382 SOS 12525 HAS SOPS 12525 HAS SOUS 11247 HAS SOUPS 11247 WITH SCORE 11259.525
AT ITER 5986 NEW BEST:: SOT 45358 SOS 12493 HAS SOPS 12493 HAS SOUS 11215 HAS SOUPS 11215 WITH SCORE 11227.493
AT ITER 6008 NEW BEST:: SOT 45337 SOS 12467 HAS SOPS 12467 HAS SOUS 11176 HAS SOUPS 11176 WITH SCORE 11188.467
AT ITER 6016 NEW BEST:: SOT 45333 SOS 12458 HAS SOPS 12458 HAS SOUS 11171 HAS SOUPS 11171 WITH SCORE 11183.458
AT ITER 6019 NEW BEST:: SOT 45347 SOS 12514 HAS SOPS 12514 HAS SOUS 11157 HAS SOUPS 11157 WITH SCORE 11169.514
AT ITER 6026 NEW BEST:: SOT 45329 SOS 12481 HAS SOPS 12481 HAS SOUS 11124 HAS SOUPS 11124 WITH SCORE 11136.481
AT ITER 6048 NEW BEST:: SOT 45338 SOS 12450 HAS SOPS 12450 HAS SOUS 11120 HAS SOUPS 11120 WITH SCORE 11132.45
AT ITER 6070 NEW BEST:: SOT 45312 SOS 12424 HAS SOPS 12424 HAS SOUS 11094 HAS SOUPS 11094 WITH SCORE 11106.424
AT ITER 6113 NEW BEST:: SOT 45296 SOS 12401 HAS SOPS 12401 HAS SOUS 11081 HAS SOUPS 11081 WITH SCORE 11093.401
AT ITER 6118 NEW BEST:: SOT 45276 SOS 12356 HAS SOPS 12356 HAS SOUS 11041 HAS SOUPS 11041 WITH SCORE 11053.356
AT ITER 6195 NEW BEST:: SOT 45275 SOS 12351 HAS SOPS 12351 HAS SOUS 11037 HAS SOUPS 11037 WITH SCORE 11049.351
AT ITER 6197 NEW BEST:: SOT 45239 SOS 12283 HAS SOPS 12283 HAS SOUS 10995 HAS SOUPS 10995 WITH SCORE 11007.283
AT ITER 6199 NEW BEST:: SOT 45237 SOS 12281 HAS SOPS 12281 HAS SOUS 10993 HAS SOUPS 10993 WITH SCORE 11005.281
AT ITER 6212 NEW BEST:: SOT 45248 SOS 12276 HAS SOPS 12276 HAS SOUS 10990 HAS SOUPS 10990 WITH SCORE 11002.276
AT ITER 6240 NEW BEST:: SOT 45230 SOS 12258 HAS SOPS 12258 HAS SOUS 10972 HAS SOUPS 10972 WITH SCORE 10984.258
AT ITER 6256 NEW BEST:: SOT 45226 SOS 12254 HAS SOPS 12254 HAS SOUS 10968 HAS SOUPS 10968 WITH SCORE 10980.254
AT ITER 6262 NEW BEST:: SOT 45206 SOS 12194 HAS SOPS 12194 HAS SOUS 10959 HAS SOUPS 10959 WITH SCORE 10971.194
AT ITER 6312 NEW BEST:: SOT 45226 SOS 12186 HAS SOPS 12186 HAS SOUS 10943 HAS SOUPS 10943 WITH SCORE 10955.186
AT ITER 6313 NEW BEST:: SOT 45225 SOS 12184 HAS SOPS 12184 HAS SOUS 10942 HAS SOUPS 10942 WITH SCORE 10954.184
AT ITER 6338 NEW BEST:: SOT 45213 SOS 12157 HAS SOPS 12157 HAS SOUS 10930 HAS SOUPS 10930 WITH SCORE 10942.157
AT ITER 6422 NEW BEST:: SOT 45200 SOS 12138 HAS SOPS 12138 HAS SOUS 10911 HAS SOUPS 10911 WITH SCORE 10923.138
AT ITER 6447 NEW BEST:: SOT 45200 SOS 12133 HAS SOPS 12133 HAS SOUS 10908 HAS SOUPS 10908 WITH SCORE 10920.133
AT ITER 6457 NEW BEST:: SOT 45190 SOS 12123 HAS SOPS 12123 HAS SOUS 10898 HAS SOUPS 10898 WITH SCORE 10910.123
AT ITER 6499 NEW BEST:: SOT 45189 SOS 12071 HAS SOPS 12071 HAS SOUS 10868 HAS SOUPS 10868 WITH SCORE 10880.071
AT ITER 6508 NEW BEST:: SOT 45171 SOS 12017 HAS SOPS 12017 HAS SOUS 10841 HAS SOUPS 10841 WITH SCORE 10853.017
AT ITER 6541 NEW BEST:: SOT 45117 SOS 11883 HAS SOPS 11883 HAS SOUS 10747 HAS SOUPS 10747 WITH SCORE 10758.883
AT ITER 6596 NEW BEST:: SOT 45107 SOS 11863 HAS SOPS 11863 HAS SOUS 10727 HAS SOUPS 10727 WITH SCORE 10738.863
AT ITER 6605 NEW BEST:: SOT 45046 SOS 11867 HAS SOPS 11867 HAS SOUS 10695 HAS SOUPS 10695 WITH SCORE 10706.867
AT ITER 6606 NEW BEST:: SOT 45043 SOS 11863 HAS SOPS 11863 HAS SOUS 10691 HAS SOUPS 10691 WITH SCORE 10702.863
AT ITER 6662 NEW BEST:: SOT 45057 SOS 11858 HAS SOPS 11858 HAS SOUS 10674 HAS SOUPS 10674 WITH SCORE 10685.858
AT ITER 6711 NEW BEST:: SOT 45056 SOS 11856 HAS SOPS 11856 HAS SOUS 10672 HAS SOUPS 10672 WITH SCORE 10683.856
AT ITER 6727 NEW BEST:: SOT 45055 SOS 11759 HAS SOPS 11759 HAS SOUS 10603 HAS SOUPS 10603 WITH SCORE 10614.759
AT ITER 6745 NEW BEST:: SOT 44997 SOS 11738 HAS SOPS 11738 HAS SOUS 10582 HAS SOUPS 10582 WITH SCORE 10593.738
AT ITER 6916 NEW BEST:: SOT 44997 SOS 11734 HAS SOPS 11734 HAS SOUS 10582 HAS SOUPS 10582 WITH SCORE 10593.734
AT ITER 6926 NEW BEST:: SOT 44985 SOS 11710 HAS SOPS 11710 HAS SOUS 10570 HAS SOUPS 10570 WITH SCORE 10581.71
AT ITER 6980 NEW BEST:: SOT 44985 SOS 11703 HAS SOPS 11703 HAS SOUS 10561 HAS SOUPS 10561 WITH SCORE 10572.703
AT ITER 6983 NEW BEST:: SOT 44960 SOS 11665 HAS SOPS 11665 HAS SOUS 10522 HAS SOUPS 10522 WITH SCORE 10533.665
AT ITER 7015 NEW BEST:: SOT 44953 SOS 11662 HAS SOPS 11662 HAS SOUS 10522 HAS SOUPS 10522 WITH SCORE 10533.662
AT ITER 7017 NEW BEST:: SOT 44886 SOS 11596 HAS SOPS 11596 HAS SOUS 10453 HAS SOUPS 10453 WITH SCORE 10464.596
AT ITER 7026 NEW BEST:: SOT 44902 SOS 11612 HAS SOPS 11612 HAS SOUS 10442 HAS SOUPS 10442 WITH SCORE 10453.612
AT ITER 7059 NEW BEST:: SOT 44908 SOS 11598 HAS SOPS 11598 HAS SOUS 10421 HAS SOUPS 10421 WITH SCORE 10432.598
AT ITER 7086 NEW BEST:: SOT 44909 SOS 11591 HAS SOPS 11591 HAS SOUS 10412 HAS SOUPS 10412 WITH SCORE 10423.591
AT ITER 7150 NEW BEST:: SOT 44888 SOS 11547 HAS SOPS 11547 HAS SOUS 10379 HAS SOUPS 10379 WITH SCORE 10390.547
AT ITER 7176 NEW BEST:: SOT 44886 SOS 11545 HAS SOPS 11545 HAS SOUS 10377 HAS SOUPS 10377 WITH SCORE 10388.545
AT ITER 7196 NEW BEST:: SOT 44879 SOS 11524 HAS SOPS 11524 HAS SOUS 10356 HAS SOUPS 10356 WITH SCORE 10367.524
AT ITER 7197 NEW BEST:: SOT 44874 SOS 11509 HAS SOPS 11509 HAS SOUS 10334 HAS SOUPS 10334 WITH SCORE 10345.509
AT ITER 7221 NEW BEST:: SOT 44871 SOS 11500 HAS SOPS 11500 HAS SOUS 10331 HAS SOUPS 10331 WITH SCORE 10342.5
AT ITER 7224 NEW BEST:: SOT 44870 SOS 11503 HAS SOPS 11503 HAS SOUS 10329 HAS SOUPS 10329 WITH SCORE 10340.503
AT ITER 7235 NEW BEST:: SOT 44868 SOS 11503 HAS SOPS 11503 HAS SOUS 10327 HAS SOUPS 10327 WITH SCORE 10338.503
AT ITER 7317 NEW BEST:: SOT 44851 SOS 11549 HAS SOPS 11549 HAS SOUS 10325 HAS SOUPS 10325 WITH SCORE 10336.549
AT ITER 7357 NEW BEST:: SOT 44826 SOS 11444 HAS SOPS 11444 HAS SOUS 10217 HAS SOUPS 10217 WITH SCORE 10228.444
AT ITER 7442 NEW BEST:: SOT 44826 SOS 11450 HAS SOPS 11450 HAS SOUS 10215 HAS SOUPS 10215 WITH SCORE 10226.45
AT ITER 7443 NEW BEST:: SOT 44828 SOS 11452 HAS SOPS 11452 HAS SOUS 10214 HAS SOUPS 10214 WITH SCORE 10225.452
AT ITER 7488 NEW BEST:: SOT 44828 SOS 11446 HAS SOPS 11446 HAS SOUS 10208 HAS SOUPS 10208 WITH SCORE 10219.446
AT ITER 7525 NEW BEST:: SOT 44814 SOS 11432 HAS SOPS 11432 HAS SOUS 10194 HAS SOUPS 10194 WITH SCORE 10205.432
AT ITER 7549 NEW BEST:: SOT 44833 SOS 11393 HAS SOPS 11393 HAS SOUS 10183 HAS SOUPS 10183 WITH SCORE 10194.393
AT ITER 7617 NEW BEST:: SOT 44814 SOS 11376 HAS SOPS 11376 HAS SOUS 10164 HAS SOUPS 10164 WITH SCORE 10175.376
AT ITER 7699 NEW BEST:: SOT 44803 SOS 11365 HAS SOPS 11365 HAS SOUS 10153 HAS SOUPS 10153 WITH SCORE 10164.365
AT ITER 7702 NEW BEST:: SOT 44799 SOS 11303 HAS SOPS 11303 HAS SOUS 10120 HAS SOUPS 10120 WITH SCORE 10131.303
AT ITER 7732 NEW BEST:: SOT 44789 SOS 11299 HAS SOPS 11299 HAS SOUS 10110 HAS SOUPS 10110 WITH SCORE 10121.299
AT ITER 7743 NEW BEST:: SOT 44789 SOS 11295 HAS SOPS 11295 HAS SOUS 10108 HAS SOUPS 10108 WITH SCORE 10119.295
AT ITER 7813 NEW BEST:: SOT 44811 SOS 11215 HAS SOPS 11215 HAS SOUS 10064 HAS SOUPS 10064 WITH SCORE 10075.215
AT ITER 7814 NEW BEST:: SOT 44817 SOS 11214 HAS SOPS 11214 HAS SOUS 10062 HAS SOUPS 10062 WITH SCORE 10073.214
AT ITER 7868 NEW BEST:: SOT 44822 SOS 11215 HAS SOPS 11215 HAS SOUS 10052 HAS SOUPS 10052 WITH SCORE 10063.215
AT ITER 7869 NEW BEST:: SOT 44819 SOS 11253 HAS SOPS 11253 HAS SOUS 10042 HAS SOUPS 10042 WITH SCORE 10053.253
AT ITER 7883 NEW BEST:: SOT 44793 SOS 11188 HAS SOPS 11188 HAS SOUS 9990 HAS SOUPS 9990 WITH SCORE 10001.188
AT ITER 7887 NEW BEST:: SOT 44787 SOS 11106 HAS SOPS 11106 HAS SOUS 9947 HAS SOUPS 9947 WITH SCORE 9958.106
AT ITER 7918 NEW BEST:: SOT 44787 SOS 11100 HAS SOPS 11100 HAS SOUS 9926 HAS SOUPS 9926 WITH SCORE 9937.1
AT ITER 7923 NEW BEST:: SOT 44780 SOS 11092 HAS SOPS 11092 HAS SOUS 9917 HAS SOUPS 9917 WITH SCORE 9928.092
AT ITER 7963 NEW BEST:: SOT 44779 SOS 11089 HAS SOPS 11089 HAS SOUS 9914 HAS SOUPS 9914 WITH SCORE 9925.089
AT ITER 7985 NEW BEST:: SOT 44776 SOS 11086 HAS SOPS 11086 HAS SOUS 9911 HAS SOUPS 9911 WITH SCORE 9922.086
AT ITER 7986 NEW BEST:: SOT 44776 SOS 11079 HAS SOPS 11079 HAS SOUS 9904 HAS SOUPS 9904 WITH SCORE 9915.079
AT ITER 8000 NEW BEST:: SOT 44776 SOS 11075 HAS SOPS 11075 HAS SOUS 9900 HAS SOUPS 9900 WITH SCORE 9911.075
AT ITER 8031 NEW BEST:: SOT 44776 SOS 11064 HAS SOPS 11064 HAS SOUS 9896 HAS SOUPS 9896 WITH SCORE 9907.064
AT ITER 8123 NEW BEST:: SOT 44766 SOS 11054 HAS SOPS 11054 HAS SOUS 9873 HAS SOUPS 9873 WITH SCORE 9884.054
AT ITER 8196 NEW BEST:: SOT 44764 SOS 11050 HAS SOPS 11050 HAS SOUS 9869 HAS SOUPS 9869 WITH SCORE 9880.05
AT ITER 8210 NEW BEST:: SOT 44755 SOS 11036 HAS SOPS 11036 HAS SOUS 9860 HAS SOUPS 9860 WITH SCORE 9871.036
AT ITER 8243 NEW BEST:: SOT 44753 SOS 11034 HAS SOPS 11034 HAS SOUS 9859 HAS SOUPS 9859 WITH SCORE 9870.034
AT ITER 8271 NEW BEST:: SOT 44713 SOS 10974 HAS SOPS 10974 HAS SOUS 9812 HAS SOUPS 9812 WITH SCORE 9822.974
AT ITER 8296 NEW BEST:: SOT 44713 SOS 10969 HAS SOPS 10969 HAS SOUS 9809 HAS SOUPS 9809 WITH SCORE 9819.969
AT ITER 8352 NEW BEST:: SOT 44705 SOS 10959 HAS SOPS 10959 HAS SOUS 9799 HAS SOUPS 9799 WITH SCORE 9809.959
AT ITER 8422 NEW BEST:: SOT 44687 SOS 10944 HAS SOPS 10944 HAS SOUS 9786 HAS SOUPS 9786 WITH SCORE 9796.944
AT ITER 8467 NEW BEST:: SOT 44686 SOS 10941 HAS SOPS 10941 HAS SOUS 9784 HAS SOUPS 9784 WITH SCORE 9794.941
AT ITER 8520 NEW BEST:: SOT 44676 SOS 10921 HAS SOPS 10921 HAS SOUS 9771 HAS SOUPS 9771 WITH SCORE 9781.921
AT ITER 8564 NEW BEST:: SOT 44675 SOS 10914 HAS SOPS 10914 HAS SOUS 9756 HAS SOUPS 9756 WITH SCORE 9766.914
AT ITER 8592 NEW BEST:: SOT 44666 SOS 10887 HAS SOPS 10887 HAS SOUS 9748 HAS SOUPS 9748 WITH SCORE 9758.887
AT ITER 8649 NEW BEST:: SOT 44670 SOS 10881 HAS SOPS 10881 HAS SOUS 9745 HAS SOUPS 9745 WITH SCORE 9755.881
AT ITER 8671 NEW BEST:: SOT 44672 SOS 10879 HAS SOPS 10879 HAS SOUS 9743 HAS SOUPS 9743 WITH SCORE 9753.879
AT ITER 8680 NEW BEST:: SOT 44669 SOS 10872 HAS SOPS 10872 HAS SOUS 9736 HAS SOUPS 9736 WITH SCORE 9746.872
AT ITER 8696 NEW BEST:: SOT 44674 SOS 10871 HAS SOPS 10871 HAS SOUS 9736 HAS SOUPS 9736 WITH SCORE 9746.871
AT ITER 8732 NEW BEST:: SOT 44658 SOS 10847 HAS SOPS 10847 HAS SOUS 9709 HAS SOUPS 9709 WITH SCORE 9719.847
AT ITER 8754 NEW BEST:: SOT 44655 SOS 10846 HAS SOPS 10846 HAS SOUS 9702 HAS SOUPS 9702 WITH SCORE 9712.846
AT ITER 8758 NEW BEST:: SOT 44645 SOS 10830 HAS SOPS 10830 HAS SOUS 9686 HAS SOUPS 9686 WITH SCORE 9696.83
AT ITER 8897 NEW BEST:: SOT 44629 SOS 10798 HAS SOPS 10798 HAS SOUS 9678 HAS SOUPS 9678 WITH SCORE 9688.798
AT ITER 8961 NEW BEST:: SOT 44623 SOS 10786 HAS SOPS 10786 HAS SOUS 9666 HAS SOUPS 9666 WITH SCORE 9676.786
AT ITER 9011 NEW BEST:: SOT 44623 SOS 10782 HAS SOPS 10782 HAS SOUS 9664 HAS SOUPS 9664 WITH SCORE 9674.782
AT ITER 9021 NEW BEST:: SOT 44606 SOS 10770 HAS SOPS 10770 HAS SOUS 9642 HAS SOUPS 9642 WITH SCORE 9652.77
AT ITER 9054 NEW BEST:: SOT 44600 SOS 10754 HAS SOPS 10754 HAS SOUS 9626 HAS SOUPS 9626 WITH SCORE 9636.754
AT ITER 9065 NEW BEST:: SOT 44599 SOS 10753 HAS SOPS 10753 HAS SOUS 9626 HAS SOUPS 9626 WITH SCORE 9636.753
AT ITER 9127 NEW BEST:: SOT 44552 SOS 10668 HAS SOPS 10668 HAS SOUS 9591 HAS SOUPS 9591 WITH SCORE 9601.668
AT ITER 9137 NEW BEST:: SOT 44556 SOS 10659 HAS SOPS 10659 HAS SOUS 9582 HAS SOUPS 9582 WITH SCORE 9592.659
AT ITER 9163 NEW BEST:: SOT 44567 SOS 10657 HAS SOPS 10657 HAS SOUS 9580 HAS SOUPS 9580 WITH SCORE 9590.657
AT ITER 9198 NEW BEST:: SOT 44549 SOS 10622 HAS SOPS 10622 HAS SOUS 9537 HAS SOUPS 9537 WITH SCORE 9547.622
AT ITER 9232 NEW BEST:: SOT 44525 SOS 10609 HAS SOPS 10609 HAS SOUS 9515 HAS SOUPS 9515 WITH SCORE 9525.609
AT ITER 9264 NEW BEST:: SOT 44526 SOS 10609 HAS SOPS 10609 HAS SOUS 9514 HAS SOUPS 9514 WITH SCORE 9524.609
AT ITER 9281 NEW BEST:: SOT 44526 SOS 10610 HAS SOPS 10610 HAS SOUS 9512 HAS SOUPS 9512 WITH SCORE 9522.61
AT ITER 9282 NEW BEST:: SOT 44515 SOS 10555 HAS SOPS 10555 HAS SOUS 9490 HAS SOUPS 9490 WITH SCORE 9500.555
AT ITER 9351 NEW BEST:: SOT 44515 SOS 10548 HAS SOPS 10548 HAS SOUS 9483 HAS SOUPS 9483 WITH SCORE 9493.548
AT ITER 9434 NEW BEST:: SOT 44510 SOS 10543 HAS SOPS 10543 HAS SOUS 9478 HAS SOUPS 9478 WITH SCORE 9488.543
AT ITER 9452 NEW BEST:: SOT 44509 SOS 10536 HAS SOPS 10536 HAS SOUS 9474 HAS SOUPS 9474 WITH SCORE 9484.536
AT ITER 9472 NEW BEST:: SOT 44511 SOS 10530 HAS SOPS 10530 HAS SOUS 9471 HAS SOUPS 9471 WITH SCORE 9481.53
AT ITER 9487 NEW BEST:: SOT 44511 SOS 10528 HAS SOPS 10528 HAS SOUS 9470 HAS SOUPS 9470 WITH SCORE 9480.528
AT ITER 9520 NEW BEST:: SOT 44507 SOS 10520 HAS SOPS 10520 HAS SOUS 9462 HAS SOUPS 9462 WITH SCORE 9472.52
AT ITER 9569 NEW BEST:: SOT 44509 SOS 10502 HAS SOPS 10502 HAS SOUS 9451 HAS SOUPS 9451 WITH SCORE 9461.502
AT ITER 9592 NEW BEST:: SOT 44507 SOS 10500 HAS SOPS 10500 HAS SOUS 9443 HAS SOUPS 9443 WITH SCORE 9453.5
AT ITER 9596 NEW BEST:: SOT 44492 SOS 10476 HAS SOPS 10476 HAS SOUS 9418 HAS SOUPS 9418 WITH SCORE 9428.476
AT ITER 9599 NEW BEST:: SOT 44475 SOS 10459 HAS SOPS 10459 HAS SOUS 9401 HAS SOUPS 9401 WITH SCORE 9411.459
AT ITER 9606 NEW BEST:: SOT 44471 SOS 10441 HAS SOPS 10441 HAS SOUS 9398 HAS SOUPS 9398 WITH SCORE 9408.441
AT ITER 9616 NEW BEST:: SOT 44471 SOS 10435 HAS SOPS 10435 HAS SOUS 9388 HAS SOUPS 9388 WITH SCORE 9398.435
AT ITER 9697 NEW BEST:: SOT 44471 SOS 10424 HAS SOPS 10424 HAS SOUS 9388 HAS SOUPS 9388 WITH SCORE 9398.424
AT ITER 9730 NEW BEST:: SOT 44440 SOS 10360 HAS SOPS 10360 HAS SOUS 9372 HAS SOUPS 9372 WITH SCORE 9382.36
AT ITER 9736 NEW BEST:: SOT 44432 SOS 10354 HAS SOPS 10354 HAS SOUS 9369 HAS SOUPS 9369 WITH SCORE 9379.354
AT ITER 9758 NEW BEST:: SOT 44432 SOS 10353 HAS SOPS 10353 HAS SOUS 9367 HAS SOUPS 9367 WITH SCORE 9377.353
AT ITER 9804 NEW BEST:: SOT 44424 SOS 10345 HAS SOPS 10345 HAS SOUS 9359 HAS SOUPS 9359 WITH SCORE 9369.345
AT ITER 9813 NEW BEST:: SOT 44424 SOS 10344 HAS SOPS 10344 HAS SOUS 9358 HAS SOUPS 9358 WITH SCORE 9368.344
AT ITER 9816 NEW BEST:: SOT 44411 SOS 10355 HAS SOPS 10355 HAS SOUS 9345 HAS SOUPS 9345 WITH SCORE 9355.355
AT ITER 9896 NEW BEST:: SOT 44392 SOS 10325 HAS SOPS 10325 HAS SOUS 9299 HAS SOUPS 9299 WITH SCORE 9309.325
AT ITER 9959 NEW BEST:: SOT 44390 SOS 10322 HAS SOPS 10322 HAS SOUS 9296 HAS SOUPS 9296 WITH SCORE 9306.322
AT ITER 9961 NEW BEST:: SOT 44390 SOS 10322 HAS SOPS 10322 HAS SOUS 9292 HAS SOUPS 9292 WITH SCORE 9302.322
AT ITER 9963 NEW BEST:: SOT 44391 SOS 10320 HAS SOPS 10320 HAS SOUS 9288 HAS SOUPS 9288 WITH SCORE 9298.32

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="ShieldPPPs-PT-010A"
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 ShieldPPPs-PT-010A, 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 r207-tajo-159033469500480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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